From dd02bb9c51002a4c1246fcd090ce43d431557944 Mon Sep 17 00:00:00 2001 From: KulaginVladimir Date: Thu, 11 Jul 2024 14:51:42 +0300 Subject: [PATCH 1/7] theory for surface kinetics bc --- docs/source/bibliography/references.bib | 12 +++++++ docs/source/images/potential_diagram.png | Bin 0 -> 130980 bytes docs/source/theory.rst | 39 +++++++++++++++++++++-- 3 files changed, 49 insertions(+), 2 deletions(-) create mode 100644 docs/source/images/potential_diagram.png diff --git a/docs/source/bibliography/references.bib b/docs/source/bibliography/references.bib index 210037d89..5a08d9d7d 100644 --- a/docs/source/bibliography/references.bib +++ b/docs/source/bibliography/references.bib @@ -54,4 +54,16 @@ @article{Schmid2016 pages = {014025}, issn = {0031-8949}, url = {https://iopscience.iop.org/article/10.1088/0031-8949/T167/1/014025} +} + +@article{Guterl2019, + title={Effects of surface processes on hydrogen outgassing from metal in desorption experiments}, + author={Guterl, Jerome and Smirnov, RD and Snyder, P}, + journal={Nuclear Fusion}, + volume={59}, + number={9}, + pages={096042}, + year={2019}, + publisher={IOP Publishing}, + url = {https://iopscience.iop.org/article/10.1088/1741-4326/ab280a/meta} } \ No newline at end of file diff --git a/docs/source/images/potential_diagram.png b/docs/source/images/potential_diagram.png new file mode 100644 index 0000000000000000000000000000000000000000..6033ce03e47c288777a36c3749dde2ae5d63d0f1 GIT binary patch literal 130980 zcmeFZcU+X&vM!9Zzwzkgm4+ zhF^GoVPRp}aO|ks2^N-hMJy~o-T#j@@RM2+YXkfx=W_V8%SmS|7x!})Em^eAxm<8? zc5$#hFXU!<@sh2xla#oe_}<+@HZCp~F3C$sIR5y6xbsD8iT(dPS^yXM`NGjNmsnWD zx8a{v9;qsBEUQ>pj;S5g_lO(mcE5Xjpj~CmKHB88d_(GMQBhGX_A6`H%?&qs2L-$d-)J@S(*ed(A6Vg^u4m=_GjVWokP?< z_)Y&+tD2aK3NABa+YQWbu&@Mlkc6T%QZMrVv2G5SHsiy z_S+ko`5#YIR-)11hpHyJx6yTdNsUlhI$-KOn(y(oMmD*$RPj?yELRAZMEKzl&WhpY z%;a;guGOdOCEGNm>*d+Eip#qWZ;F?94IVA%6!-e}nO(_yI&^xpb8xORT}oIhW|PW% zdmZ&rT0-y?t#wcyr-$*%4_M`HSC+UqVm;B>yCkDG-fU>bA8qF6St+HsG}A{M$*B?^ zR$BP-%KY2sdhR+FmRY-jH&GKGuCP^(7WN8|$aBNO-qCvqoNw>!2?<{_)lI*6M)yFCSlV&{_HA_xH`ORwd8T%a{4B6Mfy@-Id&CZeN?IqLSb{ z-R?2nZoO@5lHcN-q;pTHP0QmmmDB08v66A}%nLTZUmxkOjI25U=Bw&Wl$bd@wxs{k z!rgtAZ`MqK$+p2osdD}%+P4geG3sw@G z%cANRxg<>a;DZ`Xou!^%x9qbxdW60Hx;~iG+RqofVR z-&68-i-XZ#>pUkW?K}5v=gyr+=kF@}dS&;4t=vdE@kl?ES5~}MVZ3zbo;_jy3w?sm z!v6`wXgaTbAx(RWyo=54=xC8)eq|qzZ=;>E=H4oEpObUEriRtZMB*;|e*5-q3kTXKRlpl(bccU>BkPkE(n8hU*!K8r@%7qgLeFv?r}faiL?Ey*%WWopESMBCYVs<{`vg_ z?oO_=_EMKVy@LU3&8ItjiO*_u_Ma!b8YSdpC>G+rxIaBN>g>;3K2srakso(l`c=NG z8u9N796Jy6-#Bz0EHQR89;QZddEqPZ!yjv%Cdj!~HNleRmD`8+z&xy4y~bf8f#pWs zL+yATLu2CMY;#>L4iW9pXO{+rhxhE>9SWu?0~U~I)0|0p1jU9pM^EfVYA66_v$rjlO?wW6AGv_WK%p zy3EU!aVz2DN4vbo%jlK6(&A2Bv4sn;ROh?WS}G*`CPFAGSMZ^Zz6?-st<+QJ-&_+b z8&MI$v{I?bnCE9v*{)K?zd~&30BOpj!QiB>N>8w{Oa?nV{p9Sy(y11LjHTHhc?%wC}`MuieG4^F8Uti5N zUE{FrDP=G#S<}iaPx3wb!elp2je;X5&W{$VpF4LhszqYw&On%;!{C^x!D4MyLS|97Z&U6cyuz^E0L2zCTMsa%BtoH6kV?ICN1m;8 z98P4q=J5pGwDnu|3TbF+a+Fn1ll&LOICr1^bq}H7af|7(wOzdXZGIJrcWDsz#+8i} z(Fv#b`l|?Q$8AaUnLPF`Mp_I4+2(bey91-d3@gz|jdtWSd}rH}b9qkP^71a9f5jF0 zHry;mUL19<0tYAX(@#G&&-rBxm(hDdV9Tg^dU_sDP?WQ(jhi)SfnBc^vp?veR&1qP zrz4lb$dg0gM%txtuYB$-bZ#PnqI$+=f*G%dLNSo!jj$3z8}Ih7KWbN0n$oA>t*<~erC$h(j6t>wF* zx?Vu>z}&Z?lexWH&NM$dnWnMqGX^$%r%{*V;qiO7(#Id?)@DqCdo*J$S)PdS4~3xS zFyWQ|y8m@#-%WLaplDOCT^Q)T4%S5syp2{b^O{P6C7tNHR96A3f0uSQVYTBQ?YY)f zu&}(&w@i7xiI_Hydrq>O^wtfVqax_wn<5w-~4E@b1zvEhPh?G%?()*STGiL z_WGp5AqQsrBl|wZI%_vA&kiQGUf2r1xvzcfAph65W=s1vvj+(jcDoVsr#+^c4LQb% zUBs$XlRmhO_To&HiuTlauZn@Oahyk)mJ-D5+jH%8es^MEd)`^tcxt#&M@7rTZ+74j zpay*fbBGovssy|phL`5Ydq@1x-zG`d9q0=c^%VruG)rx8vD>AyVRD|^p;xarZOzHkL`16|!4HZ?D~nWbZ3V(~ULDYP;OhC!FC=By=W$)=)F8d+xL%C0SE ztaq3ef)jd_V_qd}#0%G$d~ruG>}SF~h`+*P7~%4#)8F_;4LqBnhV-%d&m1b9?y%2s z8||)OX3x4Sk%?BPUoCX(Q>bs{nM*#|k@ zsf5*G01J!V#|2>WtxD&HGn?m@JziY?X`-ZeQ5=2zOpUW22d$MvI>m|hHf9ShA$waB z_vX!;iLg7XOx(Mp(#s7pPcaPs`5&w84{*Z=Ey7p156AJlwf%-$SglN=eBol$+Nc(i znIN0eH{GNj8OILFx$FF=Qm3TOK``7slYUR?5u3TqRo;e!_-i>#CkBR@{6mf1StqQkfSUljHpCKLuj$v`?Fcb@CEPdto&3!^q~;ObFW20 zY*V%31_Y$x73?h<6%0Fpq+t&uSq^7F043PM$wfs)8Z_&Mwj6Ww>Knf`E5}2qTd?K> zkFMR3WsYDJ0El1CVSB|13I}5ywr(9O>I*OW)}UEvQ%^<8y%PQAY>j=Vnz_%cOXr3#e6&l!>fK#jc?N>-U0$M3z%H!>oM^Y#WE60D z(gC>9qHla<%Mzc>)Nr$;$CnQt15t){E{w$qKR^w%^L>MH?uqLh#9}I>16n@!8!-Zb z^*{co?@BPZ-s#?M8SOEY8hswz8R?@1d|X#5_#!{c#dEQa1wr7Qs*)p=i`#p^n@IF{ z4#t1(E}>g_8$LeGzU@fp(c9;uP27SYF7Fu5vISpavQW3YpaX7DSa12ypE;-yGcIm) z;Lo>f&Io;+>oYqEquRD_uD2d`%jQ<&OIlRfCoJvx0AUSh6Cmr6GX>up7`SuSuApxB zUZuGy8ok*ZkXA6@{p0Fc(l`QR^=f;<*Gu;W7eA}xl2}@jCMPG0J|~4x0f)bP;|I^6 zTH^`MKRMl|PmtYEU!U^w>bhjG3<3XziPOa{wp3|S*>uP8BmKM?@?B(b@DxaYII;+Z z*~}TZgkW>S53p&ev+u)Ff25AEa`#jDw8GX*LkU<1PDD%bZXLT~WSs@HVr9ZA!+5J; z3!yE12(-~$1(>bj%Z%gQbJrj+}W2#$QdWk zA1QGgMWB~+;p590@O2F2*lOmlWPYX5LMKvKiwfo+f-}P->%@n6#DD2)qNH_goEklC z-Z@V_LI4xSBZIZ^<}iv07;`0TFOIB22>4qh&#T3`G#oRSQw|vUT%W8y^7O5^q-{fr zU3WRG4@S#ANIn;bjQ}L}K{D!wTanm*Q~ijot?fhVEp^4U9q-|CeRl{>j~bL#uVoEA zcxBDus&M|~q@=CNkga-5z7|0=5;Rs$%PyhbKB*mag;hRXV;-Hx?7(!Vb3~_exso{z zBXRg4Hl_XMw44VStc7f_1CNC9AQE3O!dzSeaGU4q0Seufb?&k99tQ+dv@}PP_5OVX zbIehb)2Fu}3{UET31%R9bwOVjK9~0gF)>%8L*i!5@Ta{?(}ik_xDAs&W<#!)tC9Ai z1y-?EWqDy{w$5K*w6lfkH+fLt(S1Tyd$2;M5EAMN>N-MT(lws7>p(*T`pTC+{m)ZX2b66pa* zEsA$9` z>m(`@As2UGS9k06zg%iOF;>!;Ypv zvYrI{D{2}-`^@6Ff8v2djSsc@9$XjDaJi^{?AWn5VkI~HXH9vo8{;NUsA_v<7|f3>u<47&IY z5NU${(yT`Bh#pupm+^&zc@FLSw3VisYO)PYO$F*ymVE$5_8!YqnYBes@=9=NujA zi&cnUgc%HmC~D=<3j~h5c=6|?J<66J!7Ft3KW}MubUHl@^Ar9$QbeR@9z%1!@|{V@ zIrpZ-4LX%hROY=JHIs)_Q+7URty$sMT7@bd|G7pD+SRL9gLEt*QKoZ@Yxm9a&kSA5UD(*`Geu=To023P~&-*OR4ie!{6)Zd#pt+3tvVt`*Q(=HJAM!gbKLj4{ z)3@6qb$`e#@_mNrrJZ*QU^x|+|J$)ONEP(KOlaqg0rZGWX9HtQFT*TuU|=8z&@fC# z6ix@)2Y4KdBA^rlj4B}a??~_-<1QI_s+rWIF5tQS6v@=Yc9A?krkSS=H`o~OU=sE5 zgVrul(cq=Ud6D7nt`9AN?AtbudjlG*xbfSejdcH$V14=Hsa8`%jn=s$g)+7c+cB3U zc|!1an*MV@X}WD&y%9jUFjxhVp4f#Pi`Tb`K3?N(P`f7YXV0 zfJTQMjEpngknkOBL6b|}o`8z}ejw#2nKRYo-Pb4hQmoLW_MQ3R? zJSYQ>Q^fRZ^|pvE2c2kflZ~W8NJS}Ss!k4&olClnv=uE(zU7GDTebrL4SSWKzfZi9 zo*fuR#A?<9LamY)lM0m9#_YE}vD>(4uim(O`Fyu%7NpAl3iWKimxI@s`SOY_GfxJd zOIHChTJ;=23soFCiZ^LH^DEi>zFeWa8U++`rVDl{x58cwHIqT$jY=D}6~LWFE}q%~ zxk(2Nyq_5(IY1VPSU}QDJuv~>rNV4^uC?gH<#p62uUJC_l)Tgc%HnhD85{F~|F#vR zcU{s+Qj&4~{URV)_a0A?dim}W_lN`~Z{cA}T5hYU_l{wE@JLkh_E$6mPxESUHXG^x zc-9E$vnC30azGgyN1GvKJMiWC>df27h7f_^ zt^%6y*F@jxGf`t%89-*7GK!V9KlRwOOuk+o0$#QL_DNm(SU1O%w9R|4HgL;vz_#q1 zH9G_OPmuQ?U9^T&P4JHXK{z4-$kw(<+vzL9)FHhaI`$RQs9M;e>1O4AM_Oy#F?-J5 zrXMn>${P!OY7!Zeo7T_%gU2r2NE~h@36^=&v-9AwRY%>>8Q-%`xK~gB0FnWVvI={G zG3QJ0nS8BgpM5%KE0X;fvVGDwHJ=103iQyWI6(N%!qFb2-vlTCX=ngAjts8b12D~b zh__}Yv3t+`UJB4QXj*Qn=_E(_lR`*WF~8`O@SoLuOehquS0dP*JoMtyV69fEHsBy( z>Wwr;rXevD;N36~tYL~$r2 zwBagCGiuID5)u*-*9H9!Xv+_!?B1SLvIJO)#|a8G_qD%pdIbg|w*c@kF5P|R%g5LS zuannU`D4KBvSPKc_MtXrm`_na%H|&r3leYUxsRP6;*v^`N z6#U@4V;}pX9Ann^C_w+>#QkNitwdmf` z%G9VewhRs2Df(vQy1#{&Qh}*sXF(WbDJi~4bG1%XuLe*a)EA+mjJ)ApFmJ2`c}=L>5!eSV`eE+29f55E0s`GhZMhwK;{Xs7(}3P54!0rdb! zC*y^HE2#DH@mLwhjdX1w=|kvmQ!)}bZ)HZfJ=V|`RQdUfSw%&~3VZuBE&m>mY7aa> zdyEHbo+sv6^;5X!4Yq)8sXdVKSX$H-&q+l>yatL{Of2LOt6WO$20A!3U3aWAGG^rf z?9o1SfL7kUfEISHY=rubwSqnulDL+IkKg?jk|OQAPvCi}fG$Ill4_P^Omog3PLh^Q z1u_!3Sv85BWC%%wQnQWV-h<}uNSGyf)Bwg(OqTdlxMqu9ejJDJ@pNsz0Ha6dRpB|1 z$q38y+g99^VPER%;j8=O)=)>jeG(aY9biXKB%gt&2`I)IRggE7nc{9L(T3}e zBj<`Wpd_6nAKbrLsxgxWLiJMN8%UugC`WVJhnY40B# z>hhvx1+6LBx)qY3JL%3RAv;JmB$)uyF-LJk7T(XQD3?F)OF z!KxUy)++r37clHTV7sGc%T2{W*e@JVFna8?Js^%-*2(zxojaAwi@nQehWiS}VDkHb zmw-whqzYOsnUjNV4IhWV4EBP$1;|$}PuAP-V4L6hY@TuQk^TbgyvI3wjAxses1h_B z+OP;#*khs8sM2{4W@rJJDeb0`{Lifp!rL6`WI7!p zZL)x7rU1n$(<$q>FoQ*jjam2fp#VcYDPs!sotiJ;tJynh|EPXs`SwnQbgMB3R$hVY z6Pe(xlo^1q8~W2a&h5k9z=O!1(V27CRC}sYh~-~k34E#2G|{?0mJ+p;)@Fc}AfsO| zkF3m*-lHc@o#Mn?`CXixlsSXMo81$oQ4!(yEgABZpz(HM6+d2aj?j>J51A+=Zq>>N zk&r^D2zY&dKuNTi8Og1ygy}OA^WOuLksb@~PS%HB(yO&_UT>oT_g!bGg(s1rrh$Zu zY^OUwt}1l#lzHdcfK{u{U*~r_+7zpiie=l(mPg!RHw^A0cC^zn8laSvU=MD5dF?i2ce7*2+6b6R!&vzEGS+(0U?ftXI`g74@Hj5V2%3^Q3uNsDZ?Ojx~WcxzDgSR$b| zR#qZhemGs!H;yiwW&CWP04#kQq%n*-gwM>E(}hkZ`K^ev3Ir1UmpqYoMT$k3oCcex z9*9k?>Fta6UL!>UKDg7O4yptL3 z0O5*Q{o8d5i>!u*hAqH6QkP%}b_^3rJ&25g8t})dSrR72`D>9zhoZEwE_h zi+NV^oGMU9nD>-=PC%WmQgG?Zbrd2nh-Cn-Lq3?ue80Q%-x_ryc%6!VBQC=; zaiZ?wu~|8J%}I!6sx@!BB%5_Z;vk`t1O><*(?KwEO`nY4)hGZ4ql)Oj{Dy#NLm6wK zZBTkihKPg-AqFzN+S=SciiW4H6V8ZOo!tDRo7=4lG4-D19zQ#NWmw?dS{sBKdZR}{TGNn z3lmjQ78WCPE!->K^WlBZZy2ggUjS|fsg z@T2;>))5kcy)u|9eOkbV8i8LCZ&bkqCrr2k;ZKD@^g8rHC5D4ETdyv77{n`mSTct! zL@GEW#2f%E*4cr+bGiPSg= z*+l`#M)5a`gL=XQ#ANA-4qOuBOEuEXVMl-?Fj&j)qKldpaOm#a$<}aLd`e`0D=)%B zu=or?H6WZHY(3X^ah@Ilx*ib$T{8elKsPGkz#VKUSsh4?;k2tP4(SBVVZ~SN%9;&S zsFB-8vGze$72xx6Pv?yz$iG3kpO9Ax$uvKd_c9xl5c|OsJJ*wYo1mC`VC2cGeZ`-! z@_;P3X{nGKFoF2ZBdrdw+DBULAsa(b$!#Ll$i2$0Zl>EXS6C$L8cRanai# zj6;rr_${i}+}JARx{PGi=Z4g`oTH1WNl8gXkOn4$59U5IPDAQ#1|WgJ;ls}sg#v-% zsERT)y_YlP2Ld1U<)uZbf}ZGXpeWmb!;*S>YJPgO?_sRdn`$E#*B8hP`TLAVJC#kf zg!=kG!aWu{@o}`H8jOAy6gK=9X=XWf%JcpEQCz26$nQ7vQSxGcHD<13=uF(K>fvbP`CXtop2HQUAy{4P7AdWep0W3%vJsg(JA%w01 zJE{+rZV(@wCXDjqVbxjzw|PLCYYq!7SA*EUNeLo&aI91Dt`(LxtDy|-2JBA_)6fI2 zKqf%gww7xk6W~_`z!0<4Rx&2Ll_=t2KKeatTu)uyU(plikMS#dTyV&(k!kM1Oc4vQ z2Hwxfwv7)bfFX36*!At$2w-MOB9(FgluMZ|^6J7c)e;Fn`5yT8{!pf?KN8FEEMfN9 z&xBvSmT|$18A!hjrG5-EmFOY?Ib4DYr$rTHb^_>iF~o5zJSy48uizF6-aujumVBqU zcyPiq~x5p}0BrMWT)iY0J zQDMGAfB`rR(aYX~?P(ggIi#dheNj`=Isvm+Z4TE%qG$#*4;xX$31p87NWe1kPeDFL z1-ujiG=l+c33$Z{95yVFd;VB&Of&ejBcWULQeQ0DlgebU4!JUyme2WR9u&XQySF7{ z7^Eh*qoOK);xfMBAyf>~NsL(@u*OuF$sX$ZWBH&AbSfTtI0NsgXfU<$3WnZUu;i8C zYZ<5~YRn$+U?`v5J}00&DOcohd69;Nh(T>SsgtGMC8_}RKrE6GDeUUttNeEbc}|0 zq7Mf-jCB#^NPJAmA;!aB{zmshbIi6x67VjtFiT*kWO3c$I3 z2E`8G1m${?Svk~Y+mp(G<>f)-jzxnvZ{D280YPk2BNB-yghlad?`*9*mBOJD3NlcO z{`stMP;e;VK8M|Hj6zTp(~22pha!l9ss9yAVSJwbH;L~Lu04G20ezd^JOX@Nw!D0x z-<>BCH}n^RI0}{^7;Djxb#KH4N0ly0AyNK{In(68TjarcK)D4_5`wix%< zu<~ueV&6?4pk5+?&QbUAb20f@(XG~FtqbQ$U->6^ZEuG5)5E4 zZ4PF@cTw+OVeOzU!Zs#@c(4lgpP+N;#F0|?(ga{1%1C>zIfyH;27&c#`0Frumt?3% z3ZP0PzA;Z+Xd?V zXRm9(S5*1`rG4VV(X;U5@2|FyDBAiP{5v2<7DcllG$jC4WaKj1AzktZeh6M4c;gsSa40!a;@x}h6-<|n z`$_#rm<^B1b4hS=xw zjP=Lu;pbRV`^$^{FM|Uw&GGlQ>;5}$4>Rv%Q3ccu72KdU!5i4eB#^kD(MDY*zIahy z55jv2>JXsz8r8!1F{o8qQ62Aj4m8G+XP*b;Ynj>cIx|_?foB`0!);=2oCSTN}x0N-bsL3--CWiue2P;BU`=dHdq;zx|)TeXx^p>3|VXm1!N1J0R)k2vIi-?=2MNdM0^ zg>+90ypXNu7qK>siA{#(xDf9{8VxE9p-GYE}>X+Yr0MukrC zKWy~LgUc|$H?BCz_djX<*X(FztTSsE=5($$PL2qYl(Z}*D0bD8edl+JU^$5K66$2` z2oQZ>mGXbf+7S)m!eI-eO8|v<2EC5hjhmDC9n}2LfSn0+8 zbeJn+W4Zr-z{oMZ2j`oTC2ilb`-Ky5pMvkNHQ3l$Tj=o(w%cCP#Wc)GHiJ~4WSzW+e& z@2y2Te}60Sqtl3A-X##kUOyJ=hCRch-Veu{e;aBP`FF+)3<$C;dHEQE!RY^WklzOZ zyJuba?>~0nzv+1Tmtp-cz5VeF$Z(;i($*f8uebvJNSLG*WMF&y(F&;q-MX{3g|>b`dQ7iA#!0O78;#gFTA zt*jXKOdxUCDtR`u05UvKY*LT3LMF|NBCaEJJJ=~m|0FZWYJfRpY%1%&3M>-^jD2&ci*WAuJGAY+(u?dVyj(#g2!Ew-LrynBaq?(K2X0#^V7|V%wb~gfWr0Xq zC(}@#|MKO+>{-h9IvD6~tlxpKCD{u!VpQ+mdDDeq!}5%V@vm6pL4sk6ir<3pJm%!k zH^LC%Aw{-Rbn@0V#?4up2h+6RU%Kj;G1tn|9_QtQN{0Kwb?3Vv0|6f2FPR3iliGtZ z-=G(V8v)z#nEj6$5->$U{i6r)-hEJo34@(v8)=^nH6m@$&_mmlOVWDqLLn&C#X8=B z!8pcT8O&m@0KCqwhDi@7eFEWs25OOU1#VEE+Hz|Zix3SQX@luF07D& zvrk+RToA(EjKh#(muCPApp50fBJ7w9kst>K1_C#;8%seD)BGE<<$zrSl5T0DxfS&m zNbrS&3~r}r$4n{(RtMW@`yf9Kg~qq>dkfRd2})1?4tFQ@idWI0sD-=(YlFkc+mF-8 zQ#p}mKW(@MHV(xluC%y|8o;Zps|Qw*l&t~xZ${^tkl4I3i=5v?w#p285LC_&5?$6^0gV0FP7bs3vDy`C|1gn&JLBHHj&y6T%YZ>|7> zIC@&IedwL8p%!EmATlhgp8`UAP)KWFX?%G}La%ojMDr**BhSqN%Nzt=#Az}CT=&C8 zY3Aev#8|ArO6_?03V=C{%9y&*JZ>2N#d;im2NT3bjiXHjV0u9{^m0wBDa8D+Ip8vu znwL!>t1)(Kw}Surf!a(8D!W`kV5;Vc=& zjG(7WG(#$A16e@D&j(xnc#Rc6DM(F&LV=-3A)_@6E5NW%__3@e`-*up-9851egOF@ zl26#i8W5Q7^PHhVy)NLjGue9s&;E3y)niygII)a`? zN!0x@q{9%}e0}CSd&8mUl!6jcq-UcpF@5Lrhuc-C4Bs;x0NfGCj@&DnnGCIXdFdrE=t{Z4I1XfwpiEK)H9IcYRgX@rZ0qz; zru&_VLDuGuxJgX@B4mrv`DM3wK+|y?u7M3J$So%WePcVX3|x5;=aRQh`3%MQ4 z*~!28{YnVB#tgeTx-z}&=3wW`&Uis5M!SVSBpWDNn_zS)iW_eMxf`Pti4zs3eI*gt z4L;Wi0+%**<$;Fp=0NNxFDz{|7<0N?TGR4vr?^dBul2<-Sk1CC6XT$rA| z6Fa7`R-yJru`uaE%15k|{GLPGkm zRRM)?&{#UtJca)Po{li;%0x%cSEBmWPj!ic$OB1;9F^jb+-@`3NA9v0M&a=W~Xw*Vc1y zgzINc(^sI?kCa`?>Rlj!?bIx-yL*2tb{V<_S+nl^zo{VJ*FYf~6XYz9SgVAjC3uPU zK#CSPGd?tgF$b^>1>~IHE3FPsDxoyN3-KoNTisoUr(Vds|b1%%|SjAf<-E~WfQmd9ez+7s{%B^g+=gu z@(QmwQ~aHC2mmuQ^t#m#?M+D#G1@o$lO_K~x$^@z2229cs3b64s82?VVxGDgOc2gSNLr>KTs{R1eS`OdWBQ43i9*SFo!R=k;u zs|qbAGz*%VHesxX6}NOiR0FRzK1Mv#Ro@Q@z4){KTg;;Z;5PvpjEMjHf1+f@7vO*Y zr#a2 z01p%^Vao09<NbV-$M+u!{$vB+3BVG zls@e~W034UHPp40wI|Djues!qOUFaKBP}k!D{k)_P-NPMofIQ=!Q`X4ki2y>y-af3 z(wC9zIW`p?kH<`Of1McRH>&#C+b#HzcV5Jr!&3!k_pBbf@n`f`=J(TUzVCI2EZFG- zq>ZYVv+q-(C1=XKr0w)A(eA>9SHv8f5vBU!Cz?qqU$dKgRHA}CJl`zfADhO!gK;@@ zH{x(%L5L$yD`^rN(=y#y)7Js=+Pqf4SrTElfBJr&O4ENJ@yGJ~luh?s@XXt< zC#eqyRf2;>m);J*%9c5U(FguzzovG3SG?S8Z$3?pnrMF+H8D|Y2~XZI<52&`ZqPx$+%)c)PU`{p z_pJ4gQ;IrhEbPD^Fc@68>$a_oIxrq(Q}u{Br`U7Kc)b2B9ZpI+Jv8E~Sc_9Z;X%D~ zd?o5>2hP=L*QcEf0hTuq;10;&ts(dGZI*@18kY!JDIw+RoAfO80%j?hb?>o^Bh)H1K~X5aSRqYqL7C+nzJ z*O!jd4!zuVWe##0%|FN>-p69X6g!{6W2Xu<0n zrLC)+8u9s=|lWx__bQn_scV)MICWt${^CcnHK zcy6^upZeNSz74ci%~HW8%U;E@MNMrY)79UXVG^I7W7AwJ;r5AhXCswrG=iyxRdld% z2ZF7RWm=*CuAyCHy?HhjF{$><%pYprBBBxOa&2@YFAvWfDzRQShic(r_K%rQ69!^#c@L=|#50 zf$E^x5jnDRTG3crf?nypRTDKhFT)AcCD*s7NFkk-K757c`=whRXSO*kkC_-z!qP?r z;tOo^4$uGYnEUK+I%}4Je2G6%DeO-zx@}YQ3x(^L&O>f?$wlH%)p1QCotCGi-Z_@C$ z!LDO?EUdiqfu_dRUPoz4ALyFjARq|IKCCknsOs7$&Y69hU|W}8^(}PVPptg{93tbq zd_q`ZHM!LW^mIKDHeT1H^ZG`lzs=Ek{|a)zOtfs#Rb_ zhw8QrLhSV`)t7(~=0=l~@teC`H1_CNRLfcyd;V6wMk!FRY$QF~0sHLHLv3P2;LdEr zEz7bVtwlp6CF-xJUQyF~jB{kPm*;5{Z>ql9?_Sp*Ih^p9t?(qD8MEc`JO(<7J}*t4 zHoU1p=*>1rE}CspN-8pKUi!HlFYg-`BM&Qa#oIM-ZQYQdV~k9Co^?gc6tTs`x$-XC zV2cfBb^ac?znJV!BwYcCKpHW{NZC#-#H3+xl7PZW^5+_^c0 z5^0p7?t8kD?OL2{R_;aJOLd@Jh+)NYmog|yyggJ3&`a(%pLA+mz;BP(#y)Xr+%9zk>ayXc5T}VtsKrg;tuH;f!6)( za9sH^YqL?IFgT_YGCH_f;EW_qwow69^;-A68 zn=8$<+m)_$D=C{M>{D^9t9G}laNEOMp~KoP_jZVRQI_g|GQ%E}JW$;_3;Bu{G ze`T?FFSw*6cjvKDbb*^oB5O_^YgTTY4Xycpx@nhJhXC=VBdK!jr8^HtpAB8zm1B~5 zg!nQcJ~xgDxmW`B7%*#Ny0K*{_QbB`%Fw+0BU7}B)a#=_FA&Nf?x-LR-djv^Y+MsH zy+ECyQ%7~UEG6(9K74UAk9oCw@4Pg1Fy+LM{or`-o(@@w*G~71k`9Gjo1jb09R{av zO9S?X;z=iO{u-TCdvPE0+bjitGOGo@AyPG+v+?UNioO$ezAd0(w@8MGmz$k{znmo< z+9}Ku%RCI?R7!WZWRt3$_O5(AV@2T;5FD&;y!;K$-0>$;#Pv?R9_rif{yuw@I=Rg) zD{pBo?42oqek;lCE31P7`KUq1KGvRmlRF&Erq;eC_JFmkG-&SO zv79=ki)T1jvI7=fWTpa2-$SJwbab|YDA;yYWJ$jTZ8=nWo!@EO#fDeK>IV-VXJ$)w-H*x3UTLom7sp6s!5Z%G2ynT(gFA#^?#Tn#wr{8p#!UXy;fdKat0JL?yd52)} z96R@C3(CfodT-)PA(ej}N-FxOB4{a#=KB29L#VLWdovO|GBefK_hI5`U0hFs^|YuX zcQjwo$RVJqWEmgtb>X(2^lalr?ewTJMF(&VsgI-C?44$XU^ zW6e;bu>qHLq!se~0#io3I=fD3ekty*yuW8hN6@0YT$$4K;mw?sM4d5?>)l^Y>^@Dl zN}g+iG;1zRB~UD)W6xTKrKj8R3R!;yDyj{)~o z3|$kTr#l5l2H{bH9UWLo8@aYBK-6QZPl6hMFQl<0d?eq|#i<>{QAY=#By?6vmbiyj zy;ad9EDyaJr!=bYZGl8AH*P&#UPuMXnJT;Qe=pNFNv~8+3AqF@n2fE|xJ6hrooq$B zLYv;l+Z`QSs0PHT>L8{{?nZe-{D&T3pFTsI7UKkNS2!#HuABZaDEAHpfRPS?H}6tx zn`Nif8EwkL{m!TP%9Y5I5%2x_v+hk?+_CJBrrWdw^`k#?2s^lx8Iso#_=sh}v6b9Qb0RrbzK1(HmPbl_H*MMkRNFD>46{w;a@mG)KJ)gl zh^70b!$+Eb1D~2OU;*P}nSB7;VbqnurnIBJw0a%Vyr^5j!+e7tn-(gM`Hq6}BzzA~ z<%^Pnw->i&WGqi-QE!(OQx=`ywWXiB89dXT%s~xWN9M1X@?p?my7Ye)FX*<;?Ail2 z)USu&R<&Sh-_TOqW?iy#-=;EyqHj;efLXhemmicHP2rc&f}6lc0~Wr3!o=Cd5&M&G z-MTe$9VUO6PX*KX08wzg#KE^iYZG~!Nn9dRGze7shF`B$5T|YkM71n0B)*pH3)y_; zI1*@wl?>j-!8)f?G|sE54nXr+;P~}zRq{A?2^>P zSEgL2Iv$d%yjCp1vb3XWg@t9~-1+ulkKt}Ppe)^-I8w8C;YRn~7o0h^u<*nL9I4#o z;%Q(Cn8BxC+ft;64e|;|pY}}`LF0JtLOcwEfEh77=KDi^)|D|+n{Dk6(R;+-+E%AT z&bx;9#1m4oYK)8aIq^&FVCr%&raWCmKaO7X=~L*Ldosn0g+D(g9j*A%ssgyPE$Q4y z;YsifTO$#{wjT0QJ9uzz&e1%r5~!VAUX*zVy@lgT_%D4*S^np%<95*C1IJ%xR?=ZW z1=>u={YOsZU?n6!jV zPEjHue#VpUDPf*(J36g&&wnH1sF~iRKdtAzTn^=EIJD>>$~QX-9C@+N15ZPSMvL|IEMByNDuHtrMqx$ z3Y;mnJexs=Hg!B^iXD|;$)MACwhop;{|u8lP$hdmcCbPSmNs5y;`U0nFT6MTuH@tNc0B16&#lIC2lA{(GM;kHz$Pp0W2i~m{sd^H zxZlsJqa)lgmXZ*){`cG|I4mkK^ZE$q6=xs0QC{Aq$u4!`hyZ_bROCDuK!A}2=(_ND zGzfE`*PB1ra5UNxW%3}6K!FQGK9A=OfVN-@^e!x9SYuyn{b8;OJfjWI@IqBsY|bi{ z06V5KCiV+pI7#yt!FlYAc!y6*-_k%3I;~|1r*R0Gw0xR9c-S&lC2t)@a*^Q zg3Xb-B3YPhf7K@|a3LJdp4c6j>^^>XV82CU1Z#&}%>JYPGS7WUb%AVyyK9)fE9N9B zpuEU&9}@I|R-rX!CjE$cc`an$6w@U3y`<#SI9lz+`*j4+KW6FKR$ML57X}4f1Kbwlsr4}^7^IR zIEMJvDuwp~=29-SJ4-A9S%7H|Vv~I+Xiugy?J+ij50Sb42p*#beMtXRDET2n)}apV z?r?gxuDTK$4$U!ECh!l1g4b}f2Ps9SE8cCsX>E>^@0{#GSSS{UJ%}CPF+Lt?1#K7i z)vE-$%`vD2^g+jF*M|;#N=WqHXbAx(%Pko5zY1Sc-7tHh78*|*!P{2RM>idwT8J#p zK2T~s|GCu_tbW&}=n8YoL`z25N!1FArf?=_`FCx`r+5%_;b{>hvMGq56hR>)hatlu zII$A^g(?qQ*m7P&2b4c*&u_e#1+_eJ!BYFwDU~Jfi;s;;CfEYN*jWlV8D0eqz2uuSR3}!+t!q<__n&C zQP<`OwjQ})+UAt3?#Y+8PnVu|WU62-j{H?^(}Zr#`O8#V;;E&d!{ITVm<11K59;W* zv_e^1-A&i&4v7Q%`$K9W4Yge?)Fcp|+L?6ibJJj6&*2$lKb25KEv%oy!!h7sr~ikp zH;;$1{o==OsXQ%s+9+$QLTEA8EImrulQq+j?8cI;k);$*Nh*o#S+fkXO~#&3WF1D9 zv1S=#jX~D$x%Kq<{=R?w{GnGh%XQz^xz2f?_j#Xlzw*C?K^+qJeL2t+^q|9DBLuhmCteaQYZh6i{-$l=8B@r0)E%%=wO>qqS;-^=qR z%Cp=o4{s=o4r8iY#q>FP@%xKb{{vwD>K_{nd*{h|1WzMWKXSOc$%m7D$B!gkm?G zSErrE+vm1*gY+QA<(X=UhKoSa(LkSq0Dm{swv`-53vdPauG$_mVd#dr2G zHVB3v24RLKjFXgmjUvK|%4QUfquzJo6_>qW=DEz6b4PDTL^TXvnsGbHs;0m3`LC)j zPVCcsSFPmgC+JHNgslNoKO$=@7ciBjnVA!QDhv?o{Jgr!o3dQ-|IOpS8i`VO3{UDj zM#4sHE&Jp^q}7o7g>{3NpB#M9M)*+>(HrBX0a{dpCOh2oe+1JxPIX(Rgt4z6v9Eq+DRa z*}XFd;J^I*-&F#n^?3Z~(N=FLImAN#FqXs-q3-DZ-9Az}KdRcMAOD;;B7Q(Fq2NRO zProj$8!Pz|#G8paW^$WG4Q4%;o|)NpBK#(*KwWDZlI*$T4`Z#y-)(}!u1{06%~c>C zuj+>>oY(~}O3HkY!OcrK)ld5Ib`ntz7qZH2)@akYBI+pGLy+d8_V#wr`WUx;UE#)%l9LP{{6udj?@R)xt(^)WG7~q^$cNF`o^j}R?I}I zW^nVu;k(drK!FVJmX;P0Ov!SEK8&xHc?Hfw=t6ia|94-W!hH$HKHZJiS*{g6cf1*_ z+2YE4F!|ruvjGK;g$M8}y+U~A-v`R&Hnfknf&9;4_{Wbi&^@LWp?6~Di28q4XGEV9 z&L`$p=14eOO9qiEIy&tnaK7p$xaAtIs^#-Rd5npo#M7F;HPHQWaQ^|5?dRjm0#-5| z8negy%FCe{G#Nx_?|nDcW1pjtqW?_G?~^x{U-rGEV`f${P@{IYdcG9vYGoVK4z6gP zWP%r4G^NaX&e$Tn?L8cK77);)KT90M?n&BaA?w2D|6TG!ut+$kyYW{R=;>q4ib4A- z`M<+LB?;N44U=zTSB`WKUfO*B=C6M2pF^d}{Zm-iP}|W^*7WKtFix%K{I8RI1a!Ja z9ls}*nqxfB)}Iz;n85QQPP;(|M5&FX!_7 z*;n*!ej$I>OFP|TccE0S!ht;NzYos0uj}}iDb?p}XEPgayv!I6u>5~6b20JHY4}KW z@GeUJk|Xg!EBZDN-kMu|4~*r|bB}p(Q_{JO=BMf|{Qtbu{6NPkVrFBG1b)+M`eNh? zQxlY!S@GE-R6-3$>K|{4uCt=}k2UC)by{91r8IY=8fY zzG%1!NYVGePYKp zcZ>Gmv4^gdh*(dr%Tr7RxD{K*}}ge=M3C%AfAK8Pyh z62ArHm(L7o;;a7eOZ_=1o|&S} zXwbwId|Y2ESs6Q2CCA%t_P=}DXD58_{)Hpw46D388**=tp;&}^9g_H1+|wFWf7hks ziT{NcJCSA%SpB)6^a6Ru^4zER{EU3%;)QlwM+>FmHQpUBE4g0mPh)!W68+-=H9`Ea z;46U(h+^vX?(Yd2+rqkZuf2;|vCVfjA-GLtXkW%T7q9+ui+a76J7s;tvy2zsb&;CT zCMvPQy=S@<6?|b{v@=4`%-`hz6 zi_i4`F~15Q2Oe?@v74~^)05EDm;Eil7X0TaFO%S(b>nd3_~%z_emnMx5R5EtSw8V| zj@!42ODSI}&Rtx3>`ifhqM=bxu<6NCBm_Ff*CrRH)6_q^;f5BhmJiI7r^M7wUVswXG^haKF?j9 zd)U>*+$X$cUG&0*9`YVP&12;ynhKVaXt+_GD8$OL91e>2Or{g~J>Y%5^uMZoela(I8 zQPnl;zgI-lzwsM@wbrktE~6zPEN$uB*!h9+`#71Ra5MlNPs>R#?z0!8u)kf&x3jVd zl*}hy_RiB$%T?PbWjZe2{7!If$aSLP67Tsl+8+ik@@f8sRJ?O4rgjw)RfEo}&MS?` z1H$Ng$2w`RXGBgCBXZE{3FUTvK_P!p&eC?sI9yA3KE|Eh9RFP576&{5Wx$uE-@eB| zY-t;^lxCT#mf>8-fY0!b(@p@$s&(bn@!>b^g2YTs=MIjmua;d{J3cV)bDfC46s$@+ z%ED}eAo3}2aMavh+d3&f;jnu1K8e&qe!02@^>^@7zS!WaVZP#MdXY_IVxN^0my26! z@Wi{?vO3+%xH+bRj_^s!<MqE;<4QlYD9Ly)Ild%ul)!P+2gQA z7sgfbp(b~`(iQfxbj3g_c@`=EVB0Q)Y8}aEk@5kElA_uF%t`JapVRQtGp4WYGjpHH zXm9i`o*&dIZaZ=M+W9~?GA+@|+Pvvtr`>(coyd%)hKT6e>jJGgiT&f<_SLp_v#UA# zeU(sLKC@F#PtOy23wGn7c`yyoD+DxThSP!AonN{3ejRsU@Auh#-~Bc?xPCPM8q#5W z8=PRa1&6q7iG69gn}#~c=6g~&2XA7j;WVL+tR<^DJRk7kLty3b8~sVqj&$lU$-Pov zgFiayyz*i*1b6Av+u&;pf<+>UW!Lx#BF#0cJGE-1?N}Q`y+0&hHL(-Ce$(THCg00U z^bP$##@yDtY;8--az$^29eXbI59t0oVB87hcb;F!PDq@-ZfE?W{;*B&@;}329rt7! zO}kAxGTrq@Xfa{;#(DX($jYuAHi@36qy^f@Er9Zm+f#MY77d2!a0m1IZbcmE`Y+VM zqsr(ox?Mao=5C!J3RBpymQDpb7dp5pzk_c-C#R-*dyvAUZr)r)K%Ie4uLj&imlwH_ z%BAHpCevBpbW9)5(*666%7|Zc+H>(KJG=g+tA60xw@FRx%LJABFBr5$=AqjI5l%VPD^>MTsNrHJz`~Ozlwd>BQ z9tR@2gV=g!#xNzpO`(MM7Ew_CsNw9(i%)m3UccjqyU0|2p>O+lds{oFw6e}L2#e#9 zM)}z!?Gx?6wl=9epm}91b=>g$+07eyR!SwD=VeMu8ZKg-4avC)fiJs|gVtan&6~ST z9D)}btFCMnJ}TAU*Hm;d=Dyd#>CH?O@v(QRk*})dg{w(EX&AkI>GD6i|7vo*$<(57 z@?FD*7MpO-35%ClJ!4cN6$!aozj`yDUTJ&8*j~(jH!}_XBcfZDIo^O+?%=G+fQ@sSGSh z`#kBE@zW%*{;n$hwcbs_w?X)DJ^W}H7q0_*7-55F1%i27m%w0dA zU3PVG17~EE4ic*?(2??zWgk;nVl}PRDr#Y@n%`Y8@%^&o#yxl=MoL=Md*9KvRQ#i5 zflH@ONT|2GdyvaN=$utQtbfBkbU~kjewzhA&y2C~MN*(wa}Vtth1%nhHCPFm}mPpS|m zv-FDV3uIDn>IF(omXbbP&KB(?NWK{!o7bkgQuBSpNz6zWnu5QYxV|=5Y)7aQRG3gm z^-_PIG9S|M{D4+e!^W2Y#R=Jp(lJ&B3oa<1gsod@LRQ>Di z@tC5OjWs@ZdThGV`kdqe-SH59yXMe7OIlZ&H=2!XUKP&5JFnL;GSMJ>Lgq)4Iht(P zsM}`NFrK!LwTW`Q+*`HsS?ROvW?Jvpm!65Ibln`nIH@}Zrn1ub2s=v63T}5iU_Bh? z*p(q`$*Oz*QVxV|zv=FxY~>K&ur#s4{k)XL)RULTA>WqqR5S=4J2dn%YWM+Lv2uz_ z%a_-pq@VBQZJkK@0`BEyo%)%OEdzZ!*|1wP9Lt|2*nE<{({&_*k7Q|U!WjD}Q5NYZ zVk2?s5HH&TR-Y=Z8y9PE^$BZ|Tlcxl`(=$s{XOvViR+$9rpVUvjFeS+{0%sQKE2xM zjzmuS%Co&;9TEk-dO&CWClZf6ck5Oi1|+SEW4T^?O8P6B4#Pu;n`+ z|DH@68V(~OcM+(A(Y1a@bLV1epfnLk&-k?;KYqLiE+U`+n&sdjfel@X03~LArO1&M zsEmMu>~*Qj%&(4$X#S9ckz=;#GsaL?>jHeZmyBjA;Dw{OUkgT6T^hBE9R=j&8_|FD z+JPbh9hD5p-0P?)I!(&YKnTEsLK*d)yTS0+d;cEm*126J?sX|wlP@;Y=SlAxSLLLe zaK=aFISS`^sOvVNH2HkS#|Latq7g4rxS!Kf$Idw90$qo*)Gpxrb-UQ-OON}PK3Q;` znulIyqS-b+$(?`PmDFQYRIDDCDU5;}y^bFjlBTEka=hmbp=UeSCO5mVtky$c?(5iC zA4UJ-ho^NBf&;qGmLXRuPX2ojaQvVu7%((6 zy~DLLLtxiZd6NTIW6OZcn2N?+(_uODeLHez%qUv4lqjU713~#sEMt9RKo<@$7SyOk%On?ILP?^^He$6 zW%f(k_bSu8PRLiT6JuUvMLnNJ6U4~kLPZk?!Ru<=kw|2WLusK4afBe&9QT|*-nnKW ziN=OB3!Knng@||BJ4ePOu+^PoAIJMX2p@U1Den#Ld(>{TvtldO2wnb+zaHm7Rq)Cw z>$#o;sRe#`idoX>P$yuQ;!(%;?s{ieNU&Vm%2Pfw$GmNsUoZhrvlL?Ql|Da{FlqD( z=XtfS1LDl6*41`kC=ZM(bstfJ`{eXpjHO>Sojdm&Qmg#`sq8 zVWfk(U4zwmoAnl>#SLxb+kUX;r&3ag8&3tN#wOCaA{mR>=NOcyHwy|9>n%f5Sg$re z4sCTY@AK$fGryY&^k9hW0(_YCvS7v}){Mt3s*yV`Au5Ian(klNdIYI~WYMK#RU~kp zXWw4y4#8t2`okw_z{*h{&<_7cmG-9=PNa$3IfQ?XyzUW}SG&-r(+AHB9Il8eb`)(w zSzz`3dJnW`lah4pf!fXpD5Oa{a z4zxaMTL12tst|(&w%7P&280>Axvib^Nmqf`jI-RW@~TQpptImlM4n%i1#DNQ(YKG2 zFUd=jFEcd2H4#`-nWC;54!H%rlwPCQMF07hYuzo(q;ZlBwCiFD&8qIbty{J%Ei@+r zhXlTVX8A{UDmzLR^K!Gz?6rT}yDpsaF){C}ST@;Y#Ic3_t$oyC?y(#i@Mta!ZSSzX zoRmshiJHR=LhLX3VvXRbax{&dijy;>CMd~D@gf!7gs*}fymJ!Zty45Qt^{r$&xJ78 zk|cgPF!#V`+Y;{0W4Dw%eO_%hKYyQWAz6}GwQ^JHYy;$F0GgNSv??@J>rK1m8{@EU z9r|Wk2v269ShD^ZlZ=gFZeOOg!hVS2ja=O@mt!I;q~pLCf8W$KZ9S!oJ{?F4=zZ91 ztq#udm*fDUvqGN}@)5)lp6_2^jxgt(ISGVTtc|< zja)UcjS@B127=_Q<$gVS{^*zcp`Val@7TqbPE?a9nK&{F)D%yTI zw)5C4SMn@#+xbFgOyPzQM)W3XsU4d1j8w3Kd-PrG%W}XwQGUi)pq^^Y!A^_KnOX5< zTk}NQzCLr>aGZOZ$gxU)<_Xg3mtMdoy-#<)`#{x+_|2Zr$R=ZgxmKEq0sPl`yax}X zGzH^b$!@TvrbA6)WWd}k7x>@=KkW|DRzE1rE-NeWG4VVE@?~rL2U8n%*r=4kD`2N6 z27~R0tX@~c=>)-H3^!hd14)^7+p(+dSSl;|*%1|vBxc0JzvhjJ!*cn&PPfBy>gNDj z;l5VaPcM$c8|!=PJmr=xETbZ)j@u~SPKuTB+S*;*Ph_+3T*;0YWb-9Lszmh7Rq1n( ze(l3h!F zi~)S5YkPD7$zn>my>MV-5kdM2fn(BKAH5E)pfajkiJ6yVW=SerBWnZF;%=DS&?1gq zllxV?Cvq`Rh3oBJ=Vm%MGtA1{WY6JI+})xGEtU=EQ{--627SMK1wXLrSIKe9=wiT% z8J~V7GAhINSvyFcNw9i0VvNz=xL}n;s^ux!Guu5`9l74tWE9;}=nqwvzF{acObpt^ z{G4c&zz{=JpR`zYXj1lB1;-ar)&46i&Bz9wUpyoq%fXpqJUhUV%G709^Wyl4OI%uP zp6(WW8f=J6G9($8Ie12d3t0iuMSc@Gm5^u&UEHTm&z8ukv+q2YqhESX|J-5kX+J*@ zxuxO$vX%Xp?6IXg2vQFf+tT85T6x_b0Ywx5xal=Y5{mhXdYa&yG7 zbZI=0&TZob;E)Z}X@qRY=!8Rdsy1N_mSmNxP)0*s%Gl3iUSEA)Y#4-5#K&Jr>eHuw zVcWhB<_jE0Dz2YsXO-Cq3-g@FP{+t(%gZ?q?2Ql9;!Q6y&}ePuYvDL?2|EL17W`CX z=S$(11?xXnu8lE42C=x)<-2R|l5Uj|aFTB(Pv=1a#^X8NgzVaQ@80958C=*>2_X1n zt=QT|J2WVek8qrrXNOJ{S`hd1HjK{7ss6*f2yl`zbB`_1K;FZ`P2Yvg90IbQG_b}> zGV8U(6y(d}q@`spiQ&!|L1`~VW8d}JU63s~*CdY>EAS@2RSISET+5BIi2OCbm+-yX zOK~Z%>bD23iu)1XLHow}hTbq-#8T>ZsmVm(OYd3d_)q>=g~N|G{sJq817%ZL5Q<6i zYP*>23sI`^zG>0Vdiv?BEJ#irc$rAX{9X~qDzEg=z?1ZD1^#3}H(z{m_Fd26`NIh2 z9x4APjL{HKU_%rCSXCTzzAV+of1o&n&1Y^GvU(9cNj_!;d@DjajsAAo2Z3iX>A906 z8rO2w<{|q^Bol%cdc#0g)TNn9Is)Qc%St|B@%%l6w`#(uNyZL zws9}=%y;G0%r_fIYPQV!v-ifcn(fd&;yG2);z@hhGH#n&N;d!>Co>IOI#3(KbJ|~P zMFdV!^?vsyf1p%sM#u_yor@M39owWQP{`nYpK+X3Ro=s2;u)F|YHi$kG!^mIr`i5| z)J`GSL51+Km1nnuTA2`;x@;w#MlXxU3wlI(@e@GxWE+bsYsHqYwlFnm(3kG>JDR=t?FZ zxp?0hzLZ=Yh<)8y&Z_#n^`vh^5B2Br(;J)+ExN z)!GF;n<0O-3UfYhNwnH+V170JGHtbc)<1NWuLik9ukOyLzTF#gYVsZ z(ii<~LZ%}n*)g+a$X?2t9k^3H)`sOZEPnpG!CRT{**_0$es4(IS!S%S*7l~&nw7`n zhYz>FsQ*Jgpq}xN;X^6{S4*ls9&xxHCj~W~)0)gYq`8_@F8SWUyYxg%iRhO8at?>C zjPtQ3S)ZOR>u0NJJ#BkPf8MNjg)xxgE4vF$9eJKTMBraSPi&iiSiIrD3y-4uY zpKU0-9kbkXeVFIRnJxYH(8;wKeoS=EuYN*wk5-Z}2-7Ucq1ba_7Vn0Wu;;O|l{ zz{y1VPVOPyR(0%T`?=>66t-Qfv3Ol-MddkU=0vd?-gP`rjp40KkJC}!&NB8SFM$4Q z?uwvj0)t>Q!}hz*+uYik(9?6XN=!a~E0W*7-X&l!ByK$C2~+_1V74Y`zf%p~bv_fE zXNcfG$m(-I;`>aj#v|Q3fKu!nFBpBU)sou5^KSmQet~<^2b&Meg8|1-c7$MTK>nUk z-)l(dcr)>)yJ2o0;!zw~!-12wBE;T^rjEN_WGhA?7u<`;sCC{imU*)0*KbkwFD4$Wm~!teOP{iz(t~otj~FE7ll&u68yPs@U|@(?cTLkp7_YsA!UH zqmkU2H$B*G;3AuxcjHyL`{UOnat)84JAO?o8gr99PDb}4+Z=X>DA8qOwA*Dg727sp z7q?viQCxwU>tq`^Ka$-~v8AHG3!>2s*z2K`^2^tUJ~0OL_PJJW9kMqrPX~j4oSoGQ zS(u3GcAm0@=uLE6WpKJ)w0*)VT&OrHrJXLoctZX}KZz!-L9a~Vw@8UkE+pgj3=)u< z4L)vZ`lGM0ARW2$9(dzkLlTy=v`jUOL2&H-Xni|<#8^&SP@pQgzw{4j7#x@P?BrX< z*xqz;`FuZiX)_mgvgIeB?LonW$S8wPMPp2v{MAI9=k+A{Vh5Duu+u)bS_k{sGbuc!ai7WY@xO?`Yjo$Yj%il1#rF{-GGetKY0JOPLS2_#z`#3Le zWf|*qzCtVORNBu|(Y)W}(r+nLg&2qkM7~Nm+)>CiF%W2~O#OU$D<05DRoCL7>Mk8^ zN2jBRwTX0cfz0GDi>?!Mo_8_Rpv5f?N+q*WEJPc%!cxeq>!rQZoO>qjU+D9I6q*QH4dR=lC`MB^GV~VSH z+%;RQp~ZEYpre#WPB2&OcK!UDY3Qv3DyN7)*L8>m1`DVr;>_>(85dh;qDcUcn|$`d zYjB*z#;YCRm$l*lXs!*K#P#_BjoHP>@KYvF%BRbP2WtVQhX^||#skDg!nVs$7;f|EAbVUU*oU{Y{Kl=nX` zAPF&rWL2q;0{D!Mub*!lQ53zs1p1AGMs2(D&luV zk0MD2W3(AaDJ2+7Ci@yRtW@n8uWH^OSBrKe^dA@;8e)K^Xp^prh|60zB=0~}30hXy?ZVaeNtEWN2dbb_=TQ($W?;pnl0{q9&=-j#6xnH&O2 zSg8pKs=Raj^6^V!jrXG3C&bH&OboTN&l?-2bcph0Xba*_YwkcG3-feyDg+)Sqn!@N zf4=T96f4fQCYW1ifHbJoXVwr!q`ii3%si=2al^~hAmRCu6J}w5AGnQEtoRJFSXn!W z8Zg=aA`XU*@YFppfcp1%z+wkIgHTN{b~i8gkaKQ4bvf{ZV0HJr#=mW;zEb}fl;`OS zyM;v=FLt$3h0+|F``>z1^77blTT^`%}0|uCJV2ybdq`oqLMfzt> zca<1OmX!DA3mUy5T@D;$sMQF`3D$iwm(sNgrlsY7yaO~V*JSqjST3w~N2arh@w?F` zenJ{^#I?T=eJD$#IKp!_6$iTq+hI()m5-`?R0EU_^ykofLs>GkfULyj=xK(gedu1) zr-5zSG+GRWaqv4hsrLKo>FT6?0SpvkakCUIIp?WU z8l%#?5SeI*$<$qi){Q&oYEG-jI2lT&gewy;$E0{OXjomjR`)Auv%$C>>Kz3}&*PsNrOwBrR9gFEI%Lk353LR6mYB407k zXiIj?YJqZf6&|=>++3rKoa@40@JXFren|5Z$el>TLmJEGIMa*{oR7H})#sC9=cIVo zuUE%bT-#R+)Z0!tW?r|^2pzycfmCKCc{p-zW!A3h!Ik8c6d??zK%>Kr);iqR2eZr~ zozLR>6;Ti9L&G2>m~EJIhLXPdDk1`@^9G|6 z9ls!wW5b`Bd7VaF;(;u7smu`8)5ov!U3~>YB03|e))wSWyFx34CdxO}gG(hRWS@0Z zC~sx4zSMLO6j_rK5M2X8im9zv@IOHqhXjs*R*WydXf6LG_3izUs==cV8B^1>cva!R zo!FZWxQ$-V2CQ%Y0}-Ucv17u8w!GLu?CNpIQ*n=zy6WD@b;-FngsbbA5sE<4oJInp z)$oxn3u?mo$zdsKNX39KIEGF!5yyfexpPvAj>a<2N8I?`#=r2PyS#JPxjwhNv*rJc zmX!Q6Oc2LyLD>3$8;MzK{iz?-?Nu8{56w8)(lb^2C!mzXxgX4yi~W95^8s7$@+V@j z>Jx1+c+<(mf^Byr)%R{ew7h=7`OadzNm6@$m5lnNcqBI4`-TUExKit9n!Gl>6$5wG ze3$Pe%HM1lIE`3qiD-s9c=(ob*o&SktuZCi()xm%lS933MC|500u+{Wc4X2KYQxEV zgEkC3I^4k8yVqw|D3jlYFw|>`#Ikkuoq}l?r-6$orjKkp+55?S>@S^Vcho4Zf!cwF z>0Z#MO@zP6$WLkcWRCQ2Nc=DuTQ$&6Pk&cE9|_7}%;LC;o%Dip&+nO-OZjUcC^J8I z)=E{u;dsR&C{Sb0H+no>>8;xi$fEZag2c{uy`p+rw=C#q7daT2P=O5Vv{Qe{U;$2W z-Dl(u?t);$JQop*+H7R;8o4^w>1>kbJTtWl`=b4ih$pwK0LAZh$xHLxG4B<`l~No3E8e*gLXEixWd zVJ_>!!Ub{YcZe45*B^gqV33~DQc~n?XT;g?Yt5s&@a|tb)*oy~8&MHIEi5Td*CCXN z0tI4Q`-AcR-}qkI$xxT7FzTPS_2YVPzDZnB=%b8d(87!Yzk=V0n}Qj!+oegx-(~o9 zFGM5obIW!^d_mWl{Cv?kPD`Zt#szGbnIEq_4)(wE<&g)TL#-cRHyY<7#{)QG zHpW#g_UplxBCA@LsbUS2hc36Lbj&|vZHJ?;8<(|*L%{z4#OJXp;gji5TBc#(1*HCh zFhJ0SXAU7tap-vinX(?W?#IHhm1=r}TCE_6jX#;s?Eg=!DnB`TdWhC8M|vcLd0yZ$ z!wwK8(xLVB&j!kEfvrq4T+aGG#$&f(v85vqI{jVSwY^WPZq0z*rMiJrjG}bRbA@A< z0h7(Q>(4y_`J}UGIF|U0nxrKeAxXRfSs0$GmZe3^_iO-n-o9-gIdjL>kPo2jo||Q!A01kbG9Gd%a-|m28A_H< z9)CqD7J*Qsmfi}IH#WHCsR019cYVzxSR<(5%%KZMjyJ#K6gx;5+I}L^SO+v?bH+E` z_2e3%CvG|eZ`)Fxo!tteU^0IB#HBHR;gdpwGM`}+9s!59JOfEJ8PhW#39SL7c}9CW zKH)1b!d9IH)ciGhQ}YWmXD8*U*Kg& z`jdf0(%aNY=bDs2vGKXl@U9DykNCj8}P{Ve<~Bvyk)9H zTc#{bU=ft~F)Ke+59mq2+K~GOI`v}HdX!PU2xD?F{$p>^{SwgS5_WA50sUzUxEI}N z{m34J;n#HdqV%+C3scD5ahJnbN&W45LWHx94hlZk64sp-u5OdDcAv6aGJ&=nkH@cG z?Tvw_f(4kIIH3;1WDjBsf$%AA5YU+51w~xES?8og%-JrFr(Vk11%*>*O~Q5~yf&bQ z#K~F3M2pV(ODx7*FyvIfT5#q-Np<^`#TM4u`SS#jIk^CXkRLpH7Lj@nX*-472b6l% zdV7z&OhM4&w0_ntyl!iAJuguq0vW$kc-*xGpP_rB!wy}x97^Ua-|_e9HC^q@I}Vtf zR$71Z)R9+TCu1}^zT7HZS=pibg!O#s$S7|z-1gwR1wW;CAd2bl@vV=u3F5q#0xBRw znEzIkXzehav}CfW2JX*$^HzO@2Y4aeCx75-TrT8ocUM`yqfz!)1?lI+F6xfwO6q5P z2>WX8EA8|`H1f42?vzK20$;b50bhG}zA^QCLXfdZ^6FiQk4%1Vp@M-TQ+4{02X3Wq zvxb{Cd!R(+j-L`r%7iXQ@Gmt%s$$`or4Kn5>g;79V@4q*NHoC1HhsTV>h){u3FVfa z-Ww+X!cyyNqa3$WO5)@BQr`7+E4zs2WBAqS6*A+oxFC|F3xz3BPx}Ipa;j$+S=1mniK1}0 z`@v|dNYu-$AguIQ4%8+%OGwv&YNTvqM)+sFl|MKvTZh`neKAFozV@xXyWBm2*(|-= zaxhrqeB59;2t=~H-Aj$4M_BeV#pj{2FA#@k*~kIAJB^dS_>~|ok?1_uazcH2)u&`{ z;zNz>duBJD$F7*BK2Ad_B*hCpx-g<$jlvB~JsW@+LitYg407%^4*U}u>O|Ad+QUHT zR%G{*KhUJm_>}(cvWdM&t`w_ZV|q!U3TJs4sonC2aLPQT{R-m)7~oq-7^o-NT06~x z<7$r!reLC*2uKo7n-+(ZzlHyXz!6 zQ31?K#?R9*(xkTmlIcP%30iHYcS^_Z={u~ zUXioV61fGWRAbM$B4bE{1WXss2=Cc&!_0GRVPC67Ugv4`?T%K^k<^@~gaP)Ch5;^@ z5$H}i3+p>R46JyoB;|csn1%*g!8jk_l6U67{foez8kd_#d%CkqmX1JG)pHy>r>u#L zsr!66-2#QovxGnv>G_%yX6=$kKEd^D18Ld(a<$n34)fke_kdoSN4+y_mDk!(F)sk! zcQ&OUs4MmPDs_1)cOQ$==s&-GrCTu$I&uO`++@W-EyrS1nAbKlYbuv;;Lu*^VW^M+ zvuWUKq2?62Sf!y{yyn*U^G-!Q%X5L;kOP#{FmM~jL1EC^!=?mPj}0lWq#DLKg%?XY z6nSdiEnyuCCKuZ<*9Ov$U0-1f5w+lRPt#As^R9a>rn)HX zoo+#FE#2Y4j;`mo%W#sa0iYOMRZ-EteEIQ!f$C045EO6JgQl)J>uyySSS`?+nTw!t zVC8o&_WkAeH_+;RW#5`VHF#;z_j%RQ_^m>8{rp2>O+_J$g^TedLhYIiOM9CN60bsN z8S@B9;Rw%)&QtC@fl2AODV)v-FAdG9gC;N!#td#%gfa4(_7;@*;cMwC9gNLN-ik>f_hPUJ!pdImxy-|~&W zfhNFLuH8Fm@O@&yeFL{2tar!H39lGRP8RMpPNXImaKJ2;rgRYIoygAC*A`~2U2Nb> zIHW{^k1DfU_;-plnshORAqR16lj5<3bB=iQJ|DD2Ra6++;Az}8mhTKWz3q~f_YZED zIr#^GS#>r7l>qP-S_W@}EqY2sX#g`|YABrfzT+v*g5%_t{^>WC;V25zpg+;B^jv%O z;pxsD`EY=6w{`#RCD}pW&$A8cM`|nUv}5zgL)9R_9itZ(t299m(VQ<|W{}AzXBGjz z6!wgcrq>FMe1dtt5|G%F=7Zb2OuEhO&mc2@r`8kD8vL^aTQWW?x)u97UanT207>Qn z9nUC=B&R-5ERtWo`t3zxE&g^0p`x*PGirTgC^e-Ox2LRy}t`xY@MF z$pF;rXka>v?_qM;f|lWjOspa)Dm)&ay$@%Ukuj2~mq)fR z6+&j7)s{E5Egm|N!hnjM3w?KCa{o+^#4+6Y?I+(-*cT$%kyTWcp-_^i5Bl+xjvi^} z!`;_!J^ka^ZQMxtw#3==1r_f>NIN|=!)Ffj%ATssDYULP){_*+M*rofknUhjneH=6 ztn(b|69muD6f3FfADSqlx!w0%nS1oQXV)3Br;2N0)_pGmcutO#EeIY(up!gg;oasD zR`)NxK$(vOjY4C@-s#uNQrE_h`^n37)M3w=IeQL)EeO4#@7jB)h}anMLyzOhMy?~p zG4_H|7l5PJT6cI9uy|%8^9L$0Uf(`PkVE>}K{F7gKXI-sRT$;h+o46~M#Nub0e>#5 z6B=Ad0z)Gya9MyZJSc|}y$;IvHczy2Mg_q?RP=#*o;tI>9hy=i047cxk@57KHRbNV z7A;Q-%!;FQ*Fy9MWI40BP5vBSD|=)r$SD0gB0?AQ3OU4`;e<+<1ChxE#4(AA|HIHe-yJ~Yz>@UAz{X$91L|mDQ?R0ae z*GAZV`Q%_IxPZ10=G$vXI^<$V2ZFu zf!Y!vCo4FH1E9|KE5A3N@l4;K(By(3R5c{ykexi~sB#d>t5FmMBW%26_^=`8U&!g1 z`nm;ILYAHH>bC)|mh&~FYcqJrO=IO8UqcH|gt2o+DmGujy&M8g{1DJPV^4`4?>|&q z7>4X-Yt8_d5&hN5zTzFq$m2Of^dLttEd_xCTG48aRE9&TSZh>JeAB(D@3xT^RM^O) z&%p66SmZzVJ%Z+$NL;R6s+0f9_k6=`+h!y@mZwgDIr!d-|RDEOL zKmv~m9lr*pRDIm1Ev$6l$+IH!^Z|l{kMnzuR{8auDd`{UKEC{J85%3^4((+T{Oe3? zwSK-Br%2XQy*i!o3g2#|3WWM|BK`OU-8TBTG`@ZCT<@oY+zT)JXA>8d%9Y}xctbEp#h4(0$P&M)s z9$g(udjcT4qa;rgEoZ^{79@R@-Wi)jni-*ag2RQva@PmVX^<3?okxS;R5|oGp&}N8 z#v2)E2jf=|!pbfEaw9ZloFVi9kC(!BHAnPsnXok44w8i@=&STJi};rAM?HRm#G8p1 zO1Uy*>AL#e=7#J*ZT8$tY&$RUZP0v1ujj$$4lO-{EG;Ee9jZ@6Db{}8?Z+?MS}$5x zb=Bf`{W$j)iXF=7+>x%s(FMTrJD5KO!+_APo&PmoD_-un^5e1UUCP2=e*9g%PO`+! zP04UgAxrt7@TV@!T9Q416^dP@{?(}w8S-G^4D@qO$veHU@iz0>#_EpT?=4|$+k~$u z@8t@vLPY&h<5+s4Cp~Fk1bYt^pZ(%KsK2Fxi0X9gzh%P}d;PqnG1gFVE}s`ojVpxV z2`DsZo|IS>5)%69aslxRH!RBNnVJ3a0)YZJK-PY_#)I}3s!O4VO4yxyqX((j7!+@~2L z;2z0{}cke2p9|$+`rFxz~zQa<% ziDvdtD4G<)$X~N0sx(EPe-$>F^9(>bbLwsooF63P9X1}J7m=E~9?opR+EBxN5qjYm zt=j-$jO9ojlF4X39B53s^K9^w|86?;FXAv(1Y0gF3fjsW7E1L4hOnRj8@ioMsMj`0BMyli7XmtDP6h>5PDjty5u6<0<52GX&t6&5TpsaN9 z9;O)#sB0y?^R=ZdTmxL8CE2QxH|_KLzk@>G<Cb(9%VmuCgwo`A!u z7)XO+tR8{q6k2vh#kBE=QJB-%lEEe>o7oYyOITfj=TM();6`Ub#_aVTIj!0j1Funt0Q;qUQ6UplBG?0+E;JE1!_Y z-}ge)TR(P0=o09wj)UQ^e#%gDqetnpy{1C+-nXQFi0|Ax_h^S$`HK89=+G`L6R#yH zB6lJnYXuVuy^EE;wg3(9uPYv$;}Q4+vrJJqTnl1+kjPp9%v#~W#6y^P*3sRF!`?y{ zJJ^xtR;?Etz(8Y|ly5$?LPHo|z4FhGO71C#4fFG`mJ%ZiTwa#1qkpu($vRJPSRc*@ z)>{rK9=eb!!s_mr{iWc{9)yR~uq_Pq$0OWzmTVfW(;*WUrbqh~4K!)M5FK*-@jB^B z+4rnqm;|wHi(l0Y)I*@p>`T7S$_|>{K#k*O$^wV=WM-FrPd~~-Y~d{_-3CNN%(;YO zQ~TkmyTjq!TFo#sp_F7!ENeP-mY{IA>l*7s&Bb#by-U4Lq~x%GO~J|)yj1hH3R%>^ zVNW-E(m@sHIk4LDbmsspdioZtJG*F47Vw0pVVaJ;0SGYgeb`jX)Y%8Qy|^mI*dd-% z{-Z$m$pJx|T=V!4B?<}+AoJM7Kf94GfyDQ!i@s$I`SQ-zuSBE1Jvg^2!4!-3NgY-> zd-f~|hRmzuA*&@ovrr_@&~|tIuUj^pmdE%!ExtN{+obQDuQgjip_F8|?zNV2-C_`? zjJ3U#gZ1Q3Jryi1fPf3#r*?+rQ2Pv44c6{^bQKMy^pVVOcm>m02BDSHqEDDDtQAUZ!Tybp z2nZ;{Q>wC4&7je}t*}%t-Tp2Y#n7H*wYI`Ro2yk$6}yu?I%RQ|v<0U?h?{VezqWOz zUbmRui*=M~7X?Kh%HLF{`BBgt>^5@8B2v7kT~gL{5@<&n=E|w#%>xe}A$Q^@y)xz% zg>@#uZ7HQb6Yu@J)k76hnpj!K*P31qZ%wPHjot+$$4ZH{$!Df~pd+gp$r5Q^W%W|0 zFE;T(BL-}u`=Qr7$t;?O5>VKcDF%&wp+E>{o|OX|M@CT0n5$;H8-J0>P0nlT6x-`} zxSXorbQD8>>KqKf;JMY21LC|?rjl-2;`QL zcYwiDHrBSh(dXCWtClMCfso_7kxzvI8Mh|F)7f168BvKLAnXqEu5jFp>N zf@V{Z@7BFncOv@0sI*Y$h>;X6=m9yeocC^bFYO!Xm~Dkw_@>{M>vf)JM{%)poPAH? zqQPhsW#b$^e!E*x?wLKShyG)Lvx#@z-wq5N)49E$M{$mKrq42D%%N+3akdL3F=mwc zv%Yp%5yX#CCB1T%1F7yDFqB3f@~Q^; z$&3%M2$64MZy92tNzRrV;>y;FsEHnfL@$nf`SvOGl&(sao1T{&2hsXyVQ8(<7! zB4}=`JsqQZV~_dW(UtjpkjlH{DAI%>^vN8i7J*c1IF+6tW^MHLd2~dE3$? zTOna0B}5`Ux2*HiCFC$#Ifkx9uzC-5g;NYNF!7mknVY5QHWcd!Kl^x8WLd^#>v2Zp`t0YUBlx?#%@VL96 zIG+MvB~wf^_%S}pTN8@$jj`oKN1zDx6N|^+%cCW#913U$p+69Y43Ob$%j6ZyQxjm! zK$X#L-5fqye`bprIbbqSs>cP}8C$oVT6`;`It_8Lgm$a7Usb_(-=0>9ZkE;ejj&zs zc$RxwX4>w={^R22IWHarN-|{rvNJy?lD|eqZnFy3X@F&f_>v_&5xG zSkb826QC3wxi2R53RfP(a^~5Wt&;D&+O$2?gM_9eXCFSEK-o}VYxZbINbfqesEGS5 zE$bRLZ*@!gN*m)y=)yToevk4}db^U%@AC#<2IF2QUqI|qILC?3m9tqXA^;0q(M|D= zk_kcmj!M#81rqZ%?6-&RvakVwhik58kt1b5k#IkANBCMUT;}1njuZ4XgH9SX{i9Y& zn~4y7ZiXg#6~(pYMx_CL7>WTM_fh?rS{Z~MIpduw%VXFZ3|uv0g_KTQwx5C&F=I=k z*LgNddMKDyQ{S25(Zh#=JD;ihwIRh!&wtLb*lqd((1h?vCw+Cj^Vs=r`&9euVq`-* z!dSv8?yjddU0t?pcnHj_3TA^!v{~tBm!OvgA z8|;4hh^((9@0moIpJnr9g2)3Q%X+|a9=Ch4sfUio1>Tz5L|VVm`L^UY-Q(kcW0Bi+ zP#blV$6N}H_nM|TMdV&tBSKNoKoUkICiYWz7BRx)KTZ0vRSJzQ1@qqPA|{pEVd`X{ zIh+Z9k_zWi!gl)tL4bvqE!ytZQKqd%E?dvNpAh&kSBAVwf=3GdUnmM#V6Nja+!DZs zu}@_@Edm!$)<1hEcbV2T9kxy`nPs}2UHzW-S^W>?4@0<(`?XUJ8=N;>at};J0%xH= z7z>ae-a>K{$Q`(-Y`9*Os26sz3*y@;>@z$}i;$ycuM&yupT3`=eVUL97pmEw>bEt~ zvrZLTi=OppnM})%Iq56@h61W)($6`gpqVZgW%Jd6gI093=t>s){zpOLfkTgB7jQx2 z*9(49@C|HXb0nmA`u^ix*Lio@gnsI*lGuUWRL~+VrAUZ#-`x1LD;`4sNCM8OO;J`b zX6dTh5%_@Bktp$L1$}h(o2BHY>+?!{b~4U)GFIj8UF2xFHmWTMk^$f*od z2qoS(H_7OkSx)dm?3g$BU`JB(r?XsFk_KU z*b7+_szrv)j)}8|`9JRA2vtl^Ga^ zq_w2WDBNApr)ENAW_1IrXHPR?n#Dz6(M`Xf|JJoR^;SxURdA=3Yz z7gDs6BDWMy07JhjfJpN`l-#3UwFa3>f_ri4+3sb+PKJbxF%{`dR15*bBUg_lGNh+p z$-#Qyzmp<tDDqg^F!o*Z|eSrn-uSCIu}@sdl*#OmI`7LU&ih z-svD1(nIAv3q+Fnh=Ye}ev9R)O_b?qSoD~vHm?t5q?9hXF zwmmnMp%2N)uBlXaTfkcl36yjqOq{mDBoOog$OqH62~Z@_+Snr7J4Nb@;cC_Hw4xb@+E1eSu`Tf^>0WAk!Ri9Dn&qzsq1 zmN|RDPF-*+A(yz%nsIS657O8^EjY(*mQXRIYR2C0cJ1Ue9cw9Ri%LqB)ej??01M@0dHix}gA0cYsP> zKJKK7+>WPju5!vcNjAY#M`9|y86kC_Oxxo5y&3`S3 z%4XL0-rAlL4`fr`4TnKd!L2^PgJe5r^xK>0;Q-&P-ROB?ty_DD=pHMHdwybl9knJ!kHTV+r<+Oae$=RWRjA;GW}krA52%8G4P}RMKxDAp+Ob z36jfr33mM*L$8L<|lH`^}0n)D1`0YR9NhgnxEOblQPiaT5=M;Cl8{BbG27J zz3|~*T$Ih<@9}kY3oSWmSRxkBgtY-l4wJ`SOU%R@j#(RWy4DeaAH!1e1KWTn8&58Q zm)Ql2R5>_h`)fi?Mv!gOlD)suHQ;f>$2xkva7Z-s+}rbiP*~U)-W~IeAO172l|<7B$vwB$6q#_b+WTrD zIiKAQe~zcLR4!K!F~9;Ojytdw>{BnX8xyvMZ} z@ZerV?Ch1VxOor}EK1oLA@#SgCz2-x_sfrWu_IydiUEe!BwaF@QjFFVV%{61&c0Myj&)RVpn6H|2YZ0fkI?*be5q%6=sJ}9-d6TEPz`cZkt5|ixw~@_P0y=_c$-oNHc?$i z1yocLe9}QDLPVXckZ(JxLG4d^%z&B)9Z)c*)YsqW5bF#8s-b z)!yNh?X3wmnn03Ruwt^eMB{Fa3?Hi~+Pw;{P|tk9vGA%`NysLaL1ki;(jU)bYeQPXoX>cnV86<9V)I6&;6J%QE!NRE z#0r3%h&YRE4n*)Iw9vSy@OwQ1XAUgOsv943Y?Q}d{$5`Xi!EITubUUIP+BT?$Y{t4 z)dI>MofJQ5=Ybtb%QB(onj@C)NSLeOFE3{$D?nf1b{r&wuI!yfjTZnN4^gmuld8^J zc0{hH!+Z|(9ykrsoX6T;Ox;~2c-*k@nBnuR&<;a^e`vM2Gii=!I80Ac+bh?@+RFOW z+JcpTFOwsn->(f>U}kl6wv;tT4=myhVOJx)8rKW#T3-)m79wLp9Plkh$M-1V zsEWgiq(Z!$aL1f$zPfdhlf^KTe-=D0vT{a+ZFLhG49qgI$TX~PKt22fMf0~uuJ@Vw z@n#|S@mx`h_3+Oj8STSguw8P{VjFNK4r||8YYUC{xKMER^!|%EkJ8h1G5Gn#7Xy3y z=P_+;lr6_)UYp+D$86L6Gy-#pSXmk-zw5k`}~2t&o|BTyEN+jC1% z>UwwT4$@~TX0mk@M{97C)3Ut5=7Eq=GGQ2`Ntl?BYepPm-uj2^QJMtvI%)D?z0VMB z4zA?9?@%x#I%&O(#7^c}6m|c2QB-k}C{=!SE$8uN3;(=Rlo6q{XN^e6bGFI(*aE9czg}PL_u{?R zZEUCAo{=Bc8%2p5H$F@S@;!Ca=s1))&F%H?>p>ZpP2lcc{tWdCUej*2;e%tA{6Z${ z?ZD3$_8QLf8ye-UbjS%S&Dgepw)y27(rf14;NPbu*rbdh++{w}M z;LmSYu|0NmpR2@jv&(;T_&USGYeE^XOOHJFjb(ScFjyp@eJa`6qZ`ySTskh>cqKks z+}=`It|eS!3iT*I>mW63=v$T%;a%9H`UAZu-acGCwcv|VJw6s1L2f-mZus<$g`0Ph<)9fDMj9Xn0=V@qz68m8 z=XzYlu^=-CW}w5peJAh0+IWvpVn@YAC94sM2Gnj;*R&=Z!vN6MU};HexezncRFg9z znyTby%;6l>=Wycm$K9M+@y*}1iBe_=+3)^(PB$8y&D_f6+TMsD6@ZwAjtk1`D7=l( z5{5$+YLKfuoJd+KJ^teL7`2eo`S=>}ddf`JR?qxd{M0&)Pj(gCm?PmqI%#MtTcw1_ zJc%{#`L#(ZjC&!iSl-kLdq^P=~Zw8l{iBX@&pi=jg}x!?`bE1f)Kg0NEN^-QF_L*rZ@Z%WE)x z`l}(D<0OhkRs}3kP@}_U1$xZvg@U85Ct2!ZQ4AX^*!-@zxF<-qdE4aG z;NVeU0BZALrvUqGOGAP8Plcj(hbt$=l#UNK8{MKhuA~Guo7{~7#Lh(pYv{px&h+!> zl!usfX0J@Fva0#p7($c;5~1@0!tIUoJHG8Cn{X#s6P~5~ zD8XI6co01GHTwWB^>oQ_SD%H!_Y1Jd;byr8(kat@IF2>euJ^ygbCamFzV0b_^rd_@ ziWjsYg_iaGY!ebVDm6`6t~Md>{OZ){oghxZ(Gb{mK>#5U_a;+i63SMEJyrLs^O~C; zYP37o-Z$B>(D==?_v<0%R(!matIY4L*PNNi`q9(}l#1kPEK4A`H+icF^T7(ot<|YN zj*_1{sP2A#`nO-E{Zw?`*K|taC)l4gyw89^-iSg4SaH<`>$a3&|wF!mq2r z-Vc|}DuqADgiw}BGOonw1-BsC5frbif{kA+`16*IXjijp*oAH%(S`01X!p0Sgr_0clxflTjGJ?YM##3CIP zirXrf$xbYH2w{GgNicWU6^4k_1}WYQ(X_+hh>HpZmGZB>f!N4y>3}ViNA8}ns=(Xm zN1Zo`Q}a>uakx6q{hDL~JhJS{uO7oHciN%YkwOFAQhcqPnry{3)iL(g0YdtJdu~-= z25)UU)yn^3##xG6Hb{4OO^;d`3b580lQjR-+SY*qd*aznDR=_^#XF=17kE&Olv=H0 zICs19vQ-w7N2=&0t_j>6YOvR={$+Y1FavZyG=Eia?J5MT3d^chJu1>kK((-cv!=fc z+gNl=e&eIm29ZMI0V_=iu~%s2Z=ih1t3MCe);HvtYe=LfC9n9qYtJlGu2z_7Kx_g; z@cWRW6E_~%j8C69eYM28fSm%z8D^|#K0`9G<#e@0eHm*7yV)!biko`B2ZsDPf`ba7gBsnM0+?jWA=>R;H`Zh z;%y}GPp9?P@Q2aqa&4Nlp21C00alO5XSl#Yv7W@CnpWQXSlvEaIy#$!b;h0HG~4!tGP(vT0{4LjX@Phz z_~j9f_;FW@?^oCPY<~ZA!9QvfFa2zCc5wvpI_KqY(pJ10lr_yZAPAe(|InTMhjIsY zikQr0OAm&CvQLFEInZu}UH+)v-V(phvN2*4Jku&tmM{NSnYg1G=WkNx)h;s9fr1DA zys)r%f3%zBULlJYZx~hlbXbbFF}W``RCuH7LQF%zXya%7$TZjg(BPn?$}T8gU|EYD zE0d@??H=77c0IG#oB) zp4CYYEZiD;XxXx5f#zF7O9<~o5N4Xx*Ni!%N5m37a45ZTxawnd?T~N+BMSyM3#Qr{ z1>@|coWhiyed9=bl589p_{QMw<72_mYPecE7Y`Ek8hktDPY0PldUr6F5h2UksMEO) zt`f*ur4z)3mBRbj zTBrO!G{hiq1!ml-+eRuItVzoak_@#j!x)rL&kn69On#-*w(KB$YC_G;k|jf~R6aRs zMb6@FDL1W~{@X(%t zzl;0Aju(oWli>IiHh?e_uB24|b&p!d^2MFx<7@VScU$grq+q}DPtAMX^zgt8VqWT5 z`w#xha1$UqFu9AfOawHn?MFX>f1&pg_yUETWxS_akPj00T!g)0{@);JWQ)E8i8$9^ z$Z%2A(PvHqYhWb{@(kknPJU^zdH#oOj-Ow8oHTzQI3L)C8uXN=zI(zf6VW6R&HK`> z+De6`0kN%Mj+>^<`v^?=?sJ;7ZuAO3A~+>0{Kz(YL)+hACg?~UjLRI%4*f<5W*QLP3B)(KyG_y-qi&={2j-?g!!IW z%BOvHUTZj#ze9UP8dnfvN#`d+@+9j~6{Fmg`tM}Wug9oy3}^*!`FOMb*TtTgVV!ga z)qx_o873UHTD??5Vqs@}gv5f$gtGmBs{ ziB=6C3wAp?`rCDUX(O=S8?Jop7(Hxa!)0-COY6=mEQ^2GPdD{Y6Yu-<8Cpf1LDMW{ z)ez1hZY8s6@R&1_cxjMCEEBWij=-*qV1higB%^}}Aut0ib3*gNUrsjyIQ#VEP^@Kd z?)AmuC0jE9comY<0w>?96d9jAk^*U8n13I44}23FNBOmLrA*Yh3ltJHulYMNoO;et z!V4yYE;bysn|vq-!36wy9k8)xT7EA%dY6BNjp2k?$*VK-X`W}g8@JSiY0&a4c7;`c zEhJUROs@OB9DrR*M9jxd#T<+ak_9_j2s}hyancoW+?NBq!+>2$3^YX(oBP6jzIIg} zFH80DQ~d8?w%8@wwmWJkPp*@KKMluk9#odUY@wUuKLpsmX{$%>*oKe@-_1EMi?C?J9$vc z#&`{7>ASKGl!5(d#lX3awJuCOgBE%p-m8$~uVl3+e9$}3u>P0g z2;p9A$MSxugtfLNN%gzYTC>+9B!6j6wUy^!g*mU0&%S2m;*sb^P zpTwq0yt06^+MRh_!1b6@7tAZkZB0`A(5vy+v!>A%3Mvbyh4O_gk6)sZxrrohH5+EH z{zM_8J8RNToReL}tQacT*m~&irhZp+4rlNZJ>lIPi`VecCS=6~AY3n^myZQSjLRI7 z7AZ@C)25!YOc=$?7L3erxdghUBZerLO;n%YQ%Ab? zhtw9@pR!bNR>FlL{O4f}lfd$Wr&eIb7v^cl?7LJX4JOl^xBO7FA*qnbca@c3vB?48T{si(18?&_< zy$0Io^%9}1Y}K_N^RE^J5_W^pW>yD`5f?-wK0r$bnRw1djJ_z zi-&+lNa4epz9>q=xi7+Fp|fde%ES60kFL;p;DoJ%F*?k&?F~zy;|gEQ9_0=^V4LHI zmv9gM6F5u|h?(#AKjmZbhnbE~)ILB+u!zGLj^M0cJI>T5oK3C29;3%T@M=lmdV8Su zg~p&fwI@ldY+G31&9_%?+#=&=g*A3I$x6tj_kOr|NDs&Nzn#7*iJ)scz(_KPW>kEG zXIa?x^$Y}#;@L4x7@_wPRKdVt(Y+Tpl5}Jng@>3MGMuVM2hmx?f{&ejR{v~vOazOB z5AE6TvD>4p%5T|{<#vYj+$1%K1_27uZiNOk{8uz17vv9FPQ~WE^cK{caw87Sp5TD+ zXXsXOE@9jD)ni6do#pWSEgn@zW96l6HfQ+8TIXn1en$qqkWvBE*xo(mZTPCMfsuco zQ$B6p=ojTDiQE9!AOLuvH3d!2brF@;e@TW@*RZgDNj2fiVk;Id5`=xPhSPNJjQe0q zuT0kfo5d9j0wHECg~s6BnAkoADX`$n%DdHjMR|H`3>y(rLjAv1O1IjpTK6(56c2J! zu@!SHcE#ZeTy=v}Bzn^ZnbMRIj9!>}bzU=q7V~<5WJOYZEG_spfb&1|iHFkg*>OC{5F5$Tg_76K$|mn^sxwdi zW!%=qz7A|Afq80ljE#7FL=0o1Dr9=~{Lh4=2ou(={q(pvU($Sy&x*~~Y?0^!)H;gZ zZ4#k~3H`*h=HO^8`Fk6j-0gqy zOPdT`>goP;$T3#kF42t6Ry1{*O|k7MErST;x<{L^FQwDzfIzV?3!L32F%F~W#AF)X z^yrgO{SHD11*?#pcSp%%zsBvSmV$rexRH`ykF-4Q8l$4`v-{kJoMJDN)wCPLBwjSH z9Hks%jZ;AfhDyOE^rrpP&*U9?wV#fo9=V+k#|C7m`~;XAy7XiMQ;Jgd{hdt&&txWa-huaUGb1f~RuzoBLLa2f~u0_Uazb zEydwfg8Q4KHY5MSte==+`=~a0s9_Qo(QKUFDxkeX+~N_0KhGsYG{a-AA7BljOE{0c za_hbrkE#UArgRr(Gsj67cXeUxHWKo>o6#Ar1b=bGlq!-+Jq82164uQ0`g{~V~DfPsKlT$j=LkL z|A9U4BswR=`1;HGM3m#ogMOJ#k@A%s3|e^%Sb@8*l{!zhzyRnRyP*sBSRCA&yWxch zwWyDpqrJxiG6N4XdGFPHmA{w%NM>#pX`DO<>(mE`JKDMK-Z^>o#t9-ZJ+uZ)wfJOY z1 zcSb;Sii^IrETdp13xXx2=GzjGYjig}pPDVZnw0!#=QP7?%uRAkU`mZ0(fJVWyYW93 zw?$@Q41l{*P%=%Mc;7WHXxB`GrIIGM$fbj9>B;+-pNM__y`acIJqL9fzd4(5=;9U8 z*F^Z7RnXt*`l8Qsm)%Yk*fH^l0o0mscA-lpJJ-zne5ctw@C3T~HI)v&ZB~1NiNlH9 z7DTw&E>vP_o>71DM=(NKn~rVG>U)s?KHa}?J9dB3LZgCOj5_EZ-OsP8Dx=us-3ome zDd*8YR36s6XFru>#4#(xofEZgmFmVLvtahGk3Bvio!Aod5UOe(rvIrAYH72>)UE{tT^9Vf|$8-bnoriv~5mWkPY&5>lt{+O^B=(~>H!P9k#@7^YxVr8KOj<{`u5wp^Sa0AG|hUC4&F#RR!^@#w4%82KZrMr~zqb zb=qM_P|__DCqAbtkjppYEKRFm799gT4Zkn#D@T0u{u!eaC;5#bWyd+;aEa+S_=S_^ z_L@&3CS^*}{aYC4m$gQ5FBlL72cS>+Op5(fKib@{SYv4tluORDd#V9@3XJbE=6sx? z0WLEmSPCZJymRL%Mg+eZ*eoW-AZST%ROXAlM(=9^rPD-KQ<~$c)+yzZ4?bqZr|Wad z3IvQTbX!hp8%*dZG`?Aw1bpd3gBoRvC45x+)z6>ETr>WlKTS`!-U7^=iZW9JiyZL; z%;E!BW@9fzVO_rV4=XZQ*7?Uv=mdDoIC_7)kl3NuRC(M`5pL#1qc;f4YO_YCU<@b{ zI}-Fj;lYa__zXA`&~=J{u8~k>qTi2b88JJIh(ak?Y_f3k2@msIFpqa8#*-i%3;NDX zI$b&@wInLU6_myPG{=+MfAeMg9+ZGU!UVJkJ;FOPdJ@EYwnkch7z9-8^|54#q+s0^ zXg>w3Eit(QOGG7o1!v!@^VaV}rx0$dxzOg5A4Ik{?&6q7HW@K?OefDxx?;Q7gBrP7 z(5p!F*);nb(f!>7zlD^05lf!~(<6(&>JMCeukM)LB%3XgPME9BQWuCqj!_uGO;tR2 zk~CnkMVi0BDhS zU+7ZjUcqRm-y(U?NG<=&4N9d4*ms^1b(^vntIktnhV?MkhQQ>TLJChLgWp1&;S%Gv$i+wmsfWA=jFAhT?xY&LJtB5`_|7rPXt-xHh& z$%#e&VKC3X03EHj%NH5uxM146O-gmyUCU@Qm%;H0DjorIVMjpxL#6%f`3z{UU%%W^ zoU$CFJ0(QJNMl5pj5%PD*?m`YY^J8@8d!yC+dh;WP|GC{{|@9cfNBfY5wBcjtKHnx zc-N0)nil!N4zMX%f-33%-rss*>)L{$8Du9+S6Vk;19_KbMYz zPvV#Mx(*kpt#X!}$=rz^ZfaZgarf$NZS4Y-=?*ydcSo+YG;9P-3b)1!nSWdN6YmY9 z6g_c~`Fs5XtR;v&E%sE*=j~Lo15AV=%(rd0&)M1v-t2HEA=>3?^FJjfcIYh~JP@_p zvrJNT&v-#cqn=TVgXP+Se1{Lom6xasxu}>RMl8VaE)jp2?oov}2vkq|L`z3QUc8FA zXOmRhaC)_b&SxX-YvpTmpYB6HotXkz+-QW-{lpDwqDbIjJ2#KcB1JLDa7EZBi(>@- z&|Sb_t<{hY@LO0gL&hrz-;kMp>6!aXvE5Ps8uJ925~@l#1Zc5xQGvfoi7NvlqbPNa z?YyFZXk(d(VS2#<@7tHQx)ArW)6F1AA<+^eemQ$+o_}X$e#s2e!06sbs5d#;qjnEz zU;l)HCNLw>CoWws?H$&8m@MPNETb~5HV#2}IMzgc+X!mzKstz0nvv_M{3dQQwvFVx z<$*X#B%;i5g1lghPHJ z1JsyeNcnN5$xjJfn4{p0U^t{h2>(n`rG86V@aexhNnjz(pp*XZ^OBe$ znS_^3)q;^J@^j^ulDPSN z(vUcu<6yh=MOmcs3Yo$OaWbqM?wr(ihjN_O;^Wtpn07+i<3bzR9*HYYX33-t$OA)s~`g31ZN`NXI<+ z?_f4$WTiG^>pG8nQ*X`c*f`;J(5x@Blr5Z%?1+NR-@bnrBYexv5)u_8Q0DL4YZ`*Q zjf)D_#PkWQyyhX<2$58G?Yn4(gW40-M)csktoz!x{RZwlLKip+5D{;Bz6s?_`Z!b1-ILrs~tzYSTz3nM89xG%GbP z0}-G&%RuN@&KG*zkm`{GMz*-?Po)Jb!D>P5DUnQ6-R5(77dyK173_dNMJU1T+DxoPh~s^wgVLNfOot&Ohd_?@BIe%s zPETvf#EkIVJcpsb@>y|T`&gd+IAz1Wi?gI9#m@FS+F1aY-jjV(chvBCZRq!vEZC^r z(g7jUcJszrA`)gi?RJ#0cM)bO8_T3A22p$)f{KS_9oKsS(3V!LujFV6)iI8b$=?w< zIo2wMUE&f2N*t()zTMwZSW|%&B4qSuxeS`2%VcYKjcY-rxz;K$$tigj1W}Z2_Bws= z8pKPg&F=!Yx6b?q_O&TaGGe`A!v6GG1p$6CDx*y7;<91y$<2eB8fv!R;F?D0^vQcA z9^Q|Br2H6^6|cWuCxRzWKRR_@QMjBkjq!H}F}+ql?2a$qt zhdh6vW{ZL4pNDMUf}W`2zA?m_ZKXn8`yDbWv*Gg;E0FzFUC$v;>Jx@b3LF8aetV%? zuV(uv>5D47gF&<@kDF6u(iOS;XsQ$7+-W%bs!W+?@|!%wMrf!YBZ8o|vJ{tGujUDk zlG6Ko^ZGg~Cx{KSQQ@6O3{z%lyb#bNe7LE` ziLHi#!K7qZym+ycbF)%mGKRX7v7W0$VBrKmJX(HFlk~2b;BKf5;3oqH9b#U3Fd^x~ zR~BoCBNfF>!c^Fki7-}wME>3h%`oq?(*IaE^EodRFdvs$o_mg4k zHQZ(R0R94K)HbTtCp3t(UD1I`QWF0r-PF%b_?hV5|0rBYfbgnb!9=DZ@0?~o1*Zh6 zi{zzfwp9-iv>_MJ^SW7>l6TzTWwS{cn}eGfD8xemr=ZmU3mF69klD1xgXKF6i(Abe zGMCH5nD6SGv0V8?hq=VE2Gj$%7+e+@bN-_NQz#V);oW>`Bx(^9Lx4cLK<_Kd!>DEN zpZf;|VrjAjfWvILlZKoN(tDg^ctb!eqcm(pm#4UVrIW(h@sQz*KyvHI>Ui0GkpUB) zpGD+Qm;;BmDF}tbc#Y$Z`CuR$-Fc+EY#7h@YPZg{L&S1bD@1%AsiYwwAna@jMH`F9 z7<49+0FG9Zq-RK2co8$6E#RJc^SFLxBbW=pTe@w=v6{+msqb`*7E2#Be2s(n-U>NzOw6di;i zmS1*sL5fY9dT_*cjWuVBLhiE_l%8ojDh2!E*&eTFY2%ix#%#ul0fUOI<@y+DYAKG{ z4v?sRKr%S_25o+Qc#v8;Ha2gJf46g56E-wQ@kJ z#KszYMV)!^*VNB%qNIzU&kAcO2jhV8T!-Fm^2a#Fh)S6X?8{PIs`8Eg;izSQcgwr> zU2R>xx25htUlil|{mAQOR9BrL*o1$sq}7_FoC*e7<}gdeuj4EH)+#cGR)~27sRbP z=a8&M$@7Wvu_6;r8}8m{Vqk@>qWS<>>1M9w*01-AvC{pW0gBcWq=v+ympLDjPmAA7K~3yt9s3gw@= zQ`RY_M5~0^m}LwmMN1~QFW_`=|0PMAvFgt&e6oo-6C7Y866Ch{=xR3hIsb?+5M*1H z;<@wc<9|l-SWOwBrX@K^IU`%^*p9p~Sh`nX{hfc=A6-~{;Oxz2+xF4<@v2j_^85L-YKY!xCGYolwa@sA}Tr_v*+q zy`q?NJUz`X$}7%M{tWlA6R{WJ?&GjJC$7aFwc)->YHrS@2?3UW-NSf2MNXXLPZdC7 zlHH~5@?2lQsu3MZms>{5>`q3>T${oZnBlkgu6HX_3aiKx+mu`djhAd<#mXAfC*FZ3 z5Z;-5hda%?Z+m{rT{qd_-yD|gY0w8Xy+t^;59e^{V=x-dckmn*4Gf{!vEO>*pVR*X z37_rq6DJFscY*c3+{g2~)6^^JmX!9M6SeuGq94njN2&cCT`$F%CZ=}f#Us`{w#v0* zUiHJZ%+la<0pCj8UTWMZny2(Vd|7V#`azmyS&0)fU*f>+EOjd`$|~^yVF_gwu_}0S zG^zOI`9~tT==nThALe>>GdFenBf+839gFeiQQ|#ImOZ6wXz_*c%=qT4%m0KlM|x9S zc+QDtg_~O2jkQ8KV-{43RrHZ2GQ%nk7tm&_km~g6#^}9!}#|`Jl&MeqJ!$|R02^aN^znS;gBwB(%QD;=Ai^qskm_Yq5?^h+|>pUbHyv(ya+=xsYx7>i4_- z6uaxW6+dEx!hy){T_!!=b8h&d_c<9WbIXf;ruU&`K6A{Ic_o-qxw09`!mzL{<`Ql9 zt_=Gu9Db_}oNBIAWMt;IE_`7`L1=|yEmU#Q+es)~a)Skcu$^&a+Ll9yBnMH>NkN8A zHq_d}u;frvZ7uaXh2?>gQEO%)SMj%JIp(|7p9tmi7nE};AZ5*dd!|YouhZjme#;hp zBknNbjM#`T3NOv?Sc)eHcP}E6Dc39n(M`ylv&?aomhUjrylk0OZxZ|Kfso(I zH+;&wW5zxZJTOtf(~?5|XgcX+LXV4KRP&<>g}-_$UZ;;>CZCSa!jCA!Cj-QCdAoiq zIPV%VsJKk>GrQp1xq;o$3))5ZDvh`YW`4hm9N*5{d27@2?}|M9tXDr|l$FJe1bv}^ zVXtg1#ThRi?XxB;*O8)L_vPGd(eyi3H$>#mB z*a5Y%_>o{Owj5s#-a=#d#6#G`U~Lsxp3uw4acov#(*JE6-`9EjRufcMQB66PzOQcQ z1oE@uPMVUVs#lwXzn8itF27-XG|NPzM>g`43Ar}rvR696j#qiRy!sl!SKK{{Ja>NX z*kqhBmpa-_*OZSQ7L8di_O4~DLX{%*>~MfEevpwqT|e%JiO4?{Jjc*H_K@&alGYz-~@Ls?X)tSP!Qi=k|m%$I46vG zKGN~%JqFbfzhY{F-Dwvk!QN=n{{Yk=FM_~Kf*cHeR1nVxgp4F-k)n4?a`QB8BY&g$lgITH?%0_En_v#w320|=uyehai4c9<*+PC zcGa%^D& zH45&``C^;m(G0cPrPz7)G*sUOr&0Ay`|W)Emfe@DXMRbXd(Wi%Y*U8gMtQ_J*Qu#> z#J6Ph+Nbm{P?pc31T3$9W1_94dAq*YAU<{B(2w9o9HLd{_tH-f7bPod_GCpi?4Odi zUqYL|!JWG%QFK%$G5=Qyk9hNKTX;y-DNRl3CpNi%Ab>2^K>ucB7W{)U&;KWOQ42ZP zXsg8c!QtQz+KA(x;BDb|?UeX()8q7KCf7E7-DBrGJ?tJ>of;%-d#2ve+iBcl?&&4$ zv`g5cU8*{ZHG2+a34SV3bk5`3H?Om2LRX7|yy#42woL^&@2EtCUstvkU+iCU%O7M>4j&#X% zyL^YT+C%QX%TE`Md2t7GLS0xn@;70UTvnsySh86|3r{Z?dvT4_jfY_hcB--SH?f;5#7LMhY0b*yYKOvg+s%V z2_4G~x}ryQW-}zNZJ9k551bOMcGrIpvdpn(*XgCCE0LVApK&F6_*tV}_U@8jP0_1f zXM5$^Pvx9??S`Ze;Zv>fdcVN)_#3jSi9dcvW_A@{KZd_`_xUxEXq-6(p_r=9?N9Pg zVQoUoy!Q7H)Zf9~^g1BaB5V%ZCq^SCwk$!x964i8PvyCTyV$XwBhsl_Bt+8)vbCX4 z)_dptCf-5((LP=@p>U}W>3P1zJC*kq3L4Y!&650N_ihjo_=qDuRC@9J_g34z6!A~? z9FL_3v-@xg0ve+C((SX)cbpL1$m}JFI&atVxJIq*s`9)PrQYP22a)=4M=mvuQJ(u9 zALhDWme_uYnir3Le0-tob~Jw@UdU14PgNyi#o8hlb?x{35Xu1k%PGq+Nhwx}zG+W& zxUlohYwKF84h-t|vtCL2AlzQRR$JE`j^jt!-~ajP)*Kfv1LpX(Ygs)LZv1_%@~BRb z$uirgid5GftPat+y;Sh4Eqrn1ygkF~wK;O;AbAeY(#qwnc9~!CJl3PT!Lv5ZX(Q*z zV0GFG?t5A1M^;nBLxV$2B{YN|Td1}%KVIETb#L;a>KV1A%kd4&kR8$3L3iGG=qh(r ziE7Ueld0XxciN!8>Rbkld1P+{*N$B{fW<0! z@pI6l^Vzja)i@?FmG6nTC~(*E*Mo%hB$Ij}I7JL3i=(Oc^CKeeIT&k~Y-R0^j4^=` z)cIfC#-^iv#&>o3oHufIwI+7N@ZJhu(VMNN^L1t;N$=D`K9p`glEFM-D6q0{jwgkC ziBM;Je(m<}->Q;jr~yYV;sooj+7!=%`<0%1;!mocTS_FkUO=LO*=TFsr&w6YEr2E)Oo$!;pvY}*gQPW8*?YD2DwjQ=eF20y7`NcazCFX zyizE3i|N4Nl>6IG7$5O>_IpVU)17bkl1SBTJAJ6sRCVT{e0rVA&2UEK^vRH}xoswdA+=8hF2aAQ-8 zCr{S2t@+iLz9)BHd!M$y2MgA|#LuS=^ZMK5J^C@$9PU=aaM;LEIsVz>pm0#%G8lif zrb#81Z^9mF$d&bPdVaBI1VXQ{O8SzIG@Dt+L%T&Iy^S&7zF8M0`%RPv7*Z(dtLUlM zxROQp%x5&d367-jmpf&3nTO0{)P9qz5Z>`?sNTDI-QzDpzg^Sr^~)j87)|i!Z+J~m z?Wit|1DC5cmweUiF?TGjI<4x2VABv!j1JlAnqJ$bAmoK#4^Nz- zM9F`4brlW@>bEuy=$=R%N0y20*i7sZ2Gzq@y<$?Pr)TP?q_YJC$fFWB>SJ<-Rd4(Q z-C;TKb4nLCRGJ)LLkKwrzghgt?!dTn@KoLK*A2UuEpN3tB}uVU2xs>jemk`0mt=kH z>8NyLOibH{$PANE<@yNoIJ(M#y9|HH_ZK`WcQEB1aoK78!Ls;?W!<1Z7@!s)hTCmU zTGhDw{PF9uj8%Xylp~)qdS!mQ@!d=piC4p|v?CE8b@o%*v;oy(5sbP1+Puw~R`Z$C zS!E_MC@Pjm@ACPDoM`ySM>FR5(>L35taUv}NEqx~+8G~e%XK%Ham5NXZccZv^rq(t zFYsm@uv$ZGHP|QE-z6lMm5vtYw+wF+C$)7b7zf&w9@yZ7^3kP;)~;>-+E8r#lZ`=g!!=v{GyK zUf2TYR8L)J3I9Wx7=r`TEzhx->N^b`-H88=Wb(kr$RX`=CY6l10;wi!J4 zrA{gQka_L$^Iv!F!7TXpNhMF4!Vd4#dggfFIakxEa$^;%ogs`5Vl3|dXZMBbh4{Y3 z8{jKOGKx4Uc8Ob8^2cv39@&;C@$mx_6%KxRLymUsiJmUu%rFdI`iF@OURz-vjn)0; z^gKJSWBZxo0eOva6|8=8v?Wm?2l(cxt2&p-nw~COpe${FAmQS3+Q_w^d(bIk=&|H7 zq_g%Y^4_r@edF4@bz^PPIoICJ36;nI^;p?l`4W@Y^H-YXe^1+@Zgl%8@Dr)1Ln-r$ zF4*Z-xNu)xaI4Vzu_&cL0U91Z@VA)uoulb_GFRJy(6tPF;)e9rN5-B)tQY!q2Mh zQ+TSVaxB?aV$~MKoaGDWWz3E5o+zBp9ND|>&oN_l_n(ud+}e4&&EAz_JJ+;_3%e$xiM z5^++;PUDJSwxm1eQB&a-txK8hWzUSfslT@}$FuVmjW>2JK(uL)%>iFt?a3Ye8Umv{ z>r;7JCcmNKRlcFo{Er$jGSaMajuQ=MqBP7M>Lk<`4v(_x#9r~S3TlrFpX=RLE0{ArXHdQ0PMDzdCiiU` zEY_;82i@^y&DHWq1k>*e1srv)MKdXNH>Snh&vm>;-+mjXB zV6UX~5jAwJEsu`ZY!EC^ShO?G+r4O;rvI4-aVLW(CsJ})&*GcS;x0bh3;lE24Z%`Ra-0JW5 zYXj+-q3wymmpPfcJ9zGt!7+{ENN;jt>M(EL{a4UB zr~Uo=Mrr3^Cr+J5i7tSU0BlsJmbLhh@<@dD`v(t-qxt3hEVD>?jh+5QX>(1Tx}tfH z-bFEgN-}-!{6q0>^*?GhZAsp4I*5}Sc%5RmV&40}&gah=(ZlCbPnycuW-Kg;PvpEP zv(9~VO_QXAo>PcfsD-M;Yk%B(6K6~Wxa>M+kq%M@8^3IeiWrmG-JvoQAE+|<+G%{X zUVlQ}v!SW?_hiy)W1gn!53+t#y#$#1DKxaFQB&SE^C>15?pt=xfUeaG#7a#kr~QH% zKdZ@Wp^8NDMq?r{SU;Pj=DNhPfO{QBd@{Z(RW$)zhl-s+_^1gV)zyq2eCuRUKH zbEX+V5kVP)W{eg8-VP2jGpA1jUnVFjC#H_rzTZEu>+Yezk0sV&wtItgLd%R2mFE`e zG_$Qk)H5B%WX`0vin11M?aD3=MU(p&8`6{Tt{mqBWWD$VH|T}^EIKH-F)@tvlN(bTQ{ zRhqRCbxbl@VAnCv;}V(zteW&Zg`S&EzN&jOwAyS=vicUZf9ruy zonu-UdodtDkQdr|2J(dZOpYACX>aa{4&EGx@{?sIY5V88zq;kTP=>y=we4_>nz=i7 zPgF!W`zPi9BkMb$no75}ql{t$RIJpo00IIQ0!mjDM4I#(5b0f{ca%|71e7iv=`Dct zKtQA^NDU;?6{JQ$N{9pk|32Pt?)R@2Bk%Q|J>O*!ZY30e_b#1`TD3{UjJ7sS#o} z8qYRt`T5pf094NYcVZZmC2EKp%$Xs4%>D7d9}>{A4qb%NR0oTFT=Uw-1{rUiv6{pi zs{~CanY=1qmN1x279=~t%8Nn`)huje(QFn>gj70-_3zqw{T)n2Y9~H2^rOF+jyBN; zD$E&ghq%F=;&wlbKd?-7`sobw z+z@k9Qa_2gs8NrdN=BgR_WdiXeMue91kXNK?LrMz4Xe#%VD?PW{OB@GNL>a)uZpZp z#f*cQ@!c-+9X~^--LPEV7E;}9j6E0Yx$mPfbH8Wt9O}5 zUrfvNzCW&~ZNjOQBX57tV6s2PxhQWndR{5m99j{Wl(6U94w6nBP=oo9MXnXN{#!gLEm@oYr2aU zd#a%JYoYlIU<-?=E+bBJ_?TLXs$uxH%a~kp%-5RUK@_UbDvBkL=K1H)TSweg<58?J z>tBvGsU}PfK!R<+%M)Xl6avOX50&d|9uO3r4AT*~D4rVdyNa+mpOh*5=eF9z$igAl z+?&o@I6_H%L$2o4G5x$fq;TCf6n7{goyQ2b5ajf>R?Vu31JcfU-vKt_t_V%1ogzgPk17qBF?Cx z4g)kG9l1}77-f5{z7qMy#3UXZ$v<{$<4g%rGfKv)hXX;q&+VVt?ZWi z6P7vj2B-;q?SnWO{R$&*o>ti(Xl)=e+1SUGoGnVgpDG>FZLao;+;k{E0`fcs8A2J26OC0Sgq(eLm+R9hh&z+a>QorN0QMkak* z27xVA{Vks+Vb9eTU3qkO4VtF4;)6$}Uo&?K6<2G<)zxcmlCM3TU%4#pHu?gO%$pG! zm$qIfH1-Jy8Cy%~c=!gqg~3HJWB5mzHzj^~@6W8LJ>W)xoqR!5MyVHOo}|PU_AVzQ z(;I~1;EIbe5-J1}1MDjfI1B1Ws!f5ep;7m|cu)AjtOUJ#R$yRROF7rinXD=i?!2xu zNtFz!h8GL7#mK+%i-=t1d`|rpmpC=E(8H5~GfH9>dIJ-T$7P1nxW(90nFTrP8#Y#6 zrLQbclpp)>$Jm_4`4ze?QryoTMgGBjEV}-*PAc;lbJ&ZeOx8`ezWx4Z`=zDQUTASi znu>&Uo$5ERJ~Uq#<{P@UA~H;wdPb)NjPvCU8dj9ab(=&NA|)Oqt2=hDZ)px(3v2sL zS%Q{3Xc}Ga8^7&gXetfNl$rnHy!739w){{9$Ywm9fZQ$27VYlBwR={$>8&5aIOwib zzQPFECg{Rn@GF7bpm#!OQZkBZZg$fdLfWj5dRkq}<{%+d+fs_m!nte_mg0Td4MvRbz?v^WysG0;{qNRY@a8SL2`TLuH>0rmuBPog3iq zX>;pjEbt%$2UR268}6Ut<%`{&qZpBPU@Kx`HBGY{+$OZ@(QPcZMF)=ZQbzYFzW@$O4Av^XV{xIHsV_#&^e`ggP;^x=_w`+(vXDy3m&04&`g}R0 z3k^ev0BF5_TX84lsF1S8Z8%11G*4gW$+q9?d2k@~B+Ga7KGgj8rO7O$%JIzH$nGC7 z2ytskLi_3VFgocK1j7@m;*3oeDj*v|4GrQ^r z`&-pq0#fYyZ|rl2{p`}|Alk#q^C*<#9a{YZX?l~ce`<1Gc=HhPsj^kDom0sS+V6b4GKVBBjwykI&N!7(A2Hv8DA9Kr!2y$5-$&uGMFs z_(jZZpwjSzNsu`>)}UO1I18-JcF7(b&a+w@{p63>$?Rw$&73%kM>L{D%z_#N3TlT^BS+jmj`xMroeliVEi7=B| zH~lgeS-Fl9o}61J8!9!QPNB2yyHw}jK{W-H3;~n~XP_CL4SU-p>bedc^QqMG&3O?? zizv65)BCsRLu!7|-Z&*Tn7EHr_Casb0DLQKYGRZQLI_pTTKJ)UU%hbc+=dAE zMpPQpEJxpsCDZG7FQ-rEjML%Vwdyj->JwPC9kXEj9PxVl$?oR_Ec z=&No0UqKm{-&~HMfxt5VFA~vV>r~8#9o=a?^b3xZeCn zJ-rM54I4k!p*~+5(>ZsX>l42U>fuG)vkfx6KtVv@>(){)fDmq<$$~oCW-BN7gFLv}nd0bewe7b13R?uT^ zorRn-vP~k;=I2>`4B!nNinmw)nPsF7G31^#S;N!Cq!FE3DDDJ7;Yg=vF#Tz3&@#-m zCV02_)@IN5@P=kI^4$Y0`6k47AV;-}`b8p8oO%G>zlq(^8_)e4+A5`nEyp^nM7nii z648VkgiLhulUwx7C(ROkS;zE<^L^ra^KnHRC$brWh&=v*Z)_3OZOVPnh4pwdh-Mn) z&Ly-peD291v(;ZemJ)^0PtPm9sApx8H<#dKw(YZ%ukrHGN*RpgE|(r{Vp!YO$>`4u z@4QJ~KW0a>7u3Gj=H^_k)=|mX^GaMdFEgBD|li33`)3D=_pDiz+;MpBi34W&*GRwclOSzhU0*ZhrOI}+BkY2bR*2_-B9x(VhgTKi+u7ouW1K^5mqOn}A5!w1fwr$o|+n1eHymh=?BaPy{r>0dB)0!nFDN zpyZk;FZcB`>V;{01x3sysBXSQFT_j@nQEJvT@lRzj@*4PX+WUZBLRCF3QG~wE86uY z%y98?!^pWL?fU)x^?92|JLl0x;&rL-+SyhcQhR*>9;Z`7ihO=|bh=|}&HO}0A3bu0 zLF{tFR%L_Ro@W)hB}k(?bG*`37qpzjb8^b}#Gus>mI#4p=Ga7PRYgpsv?p253aRY< zrr$HV7w(eAJ>4Qn*`c%-BEkdD@YAfWJ2v-Jo{uG=RSr6z%7Dl9e(;OzMaKxhPHet2 znTuX(^=p3!_yu`fxi`*z3-uRjK?hEZCNf^b&E}(j%yYBuhJeke%rmAVHz7x6`^ki6! zfIxBSrPB$9Mc}hNkv-QSYeB481d<;Sr;Kzk1o2ux5DMw^ew^*iQ9g624Z7|q)ixnX zIAO%7?Bj}Er8eHX z_i-wlLIn|R5SGDnHB26LKc;b1V*Uj`Fvt__hR}~2*0jVxKkgrJr+WZKuHQ4`Wa7Y| zV?ggDOdew$YJ}0&Jps*%dj~eDKeylAMcPMbkV@b${t|33S7j~c;Z-3HesG}$+2F4P zBd?xt4$CWIK^!yGo8H5%^M&#WEA3Yn3d|WU8Dd`oq7Nm@Qt=382G@{0rstWY;3|m{ zWrUW0Sbd>DQf)zN2Ir~w698`)pS$)I)O$6&4Ryu^Wz27}%d3^-inmQ}ux?=i+Z+;6 zN8%KxAH5WC@8)B#xX|PmGKci`14TJ&#Bwvtl;xG8qlyQ9QTpI&2;;E!pmt`%=DF9n zH~I4WI8I+m{>t}p;vZDcO0*uyZl>`{lOeK;mmi+tX|pjk%i`MMZ7NBDok`imG_OW4 zLend4BXek4+rS`CHBk&byKiJ|%}q&DM<<3@Xh2A7qf)7Q4FPn+7S)v+s5uwa#qzN? zl<1O-P zj4FY#V7S`ku z_Hiq#tL)|LJ?Zidf$H*sT?+#RaS|Rsy}oP|YQhVMfWQ5tPu;P;zmm2S(AgpAbW|E= zt;RQ=R*a zIy~W7Qr;ss#SR2F$Y#_L1vCpUzWPf^gPUXPYE76jt~tDNSCs^lcrn)JXY(h0D_=6{EEp(RhJkuo zO_q37W%A>94CPbvjYnTMmiD7`4We|?I;@JZt10(hr^cnE%4FVV`L3j@I`I08d;;bA z*|TTMoyTRoy(>mG&44(WdwIQ}Vlrqs={mky7^yhJI@8K&G7b1s!#3aC*UV!+@NDlcve{uSp;Vug9)vUb5~wEKKeG$E z&$O|#_m2bsFiU?p`~pYsuNSQnj|5yBWXwGkeCt;*pd;x6OovDuIr`@wmw5-4ey5Ov()AGXEu`UjQ@C;tbYT3C3dz}6Dilj2SC(@?3?xK-B3Pep1JH}K7DCVN%~2Y z)LFpMpi0i~>UA6;19O5Lo{Z4Q$e%?CMK?smK^0&OhmI<#kT(A2m%FN; ztsMg+bAL3yR>HzEx7WAFR;ekT7j+k}<*u6Q=f6tAsVm?Dj76lc^C*qEt7z{=i8e6H zFypV7=L#2Ex6ck?Lfpny8w7-EKfSZaMMmvOLS@_sbz;fL*42v$tCu8m>#Aa#!AWM+ z{ajGJoG_Nejqzu27Y=2db}s)CW(hM2oy+JPLj`&w7{BF~&XuoW8Xzgca69*dFs8#m zF$V)G7WiX^89tRGQAFrEPjQYbtzu7SJ(o~ZN6wg~kD{Zs56|(%Rvh-`iNVbdKt#d9 zm;{L_f}FdD#Fg_k{7~p$hF2F4?LvJsv-dnc`^7qLHmd)p4+-%%z%f7In6n;}>e(S3 zP%2ac1Mz+(?LxFoZk@3sM?t6AFCkm_7chiVj}pbsU)i%uPWc1~Z>U&~yy}OmEEReH zytWh<^`yVI>v)9ho}DYz^i3-1$LFZTsnQ5!H-?&?v_{gKzt6c79+-G`vx@Nc>_L>! z)3_#V8!uB|Cm#jtI$95>zK`wOG1D3&C-Ky`UUv<2ijbz2Dx{+2$eD@(25W9qP+|Vn zjbtGeMpUjca0@ckcF}5!deqk$G0@Zy%aqIQtRLV0%$DuBG}bBBLWhkyDo(FMV$@#! zMoo5IoeEHNd9Ik$+$JrHO$A1S=tHP`sUY=ObCJ%;xzh)Ijs3i!U^x^6w?E&vm#Cd0$)7}71DU38&RTv7?WSG4Re&cw_fMv6&LoTJb5WWqJbrYN?3eEf&@@amnI&n_&OaS2=Oa1aO0baf1x7C}_;^_98^uW!F<$7Q52+AZbRxM1l@7 z5_(xvb3|0U85M?e-1dplGxEH0fVty~P_MVh#Ujr%1rU_eemuL()_d;DI}23MGYLPR z_DdN5n^0v>#c0pHBk9h@q*hhshFNxAZo%`YIq!g^(^|Ur7MV))_vr*=bM1RY#z0nh z_gNGwr5E^)RAX5M(8O!c;GjEqUw3Vo&k^!I!PDdn0XZhWZ4-rk9G|YtU&l|wkvF?B zCx7bH{_-P2Gt5AzE_?!dA48iK0BnZnlM~279@8)#_p8IQlax)EO>jliQzhh@xnQys z^BTp}({5~j6hI3U%Wz%8*I&3%UP{=5-A96AMR?1D#~SQ1fo6(G9ZfLG|12UxO4)6n zy&_6EMvWE2`vb_BOo5eLQnSb|2Lv@`nUaA%bEX}+1?HDs9u`hxFjS4j$TcOq$}Zo4 zyeqC@>OnUNo7XIhyZi(4z!pHPaRPyuP+h<)pWA;K!lHRt4w|w>nX=TB_@oQYAse4{ zp@RkdDjl9u!N*5rwQ~i^t|~6hN`ztiBw^|G0V{;AJg!H?zg+@l;o9^UvjcPA95p0R zA9~>z2svo4E6pH&pu-*^d3`2^4}ltt_>cX}f%bf)v4a01lwVMR)bOAdbn7;tPnEcy zz0jlE!^4OQYSHxI?i=jh&bJ(9A=Y#u`=dI!0Dz~qFkY5b>T(~DjRlH)s~MlcXObN~ z8iL^NDN*&^)s50vtssftmyW>D)*fjoxh0H&r}-FYLXcOHxWw_vpdkpo5iIn`B}a|^?(EY8mZr{Xx>v4}7V)Tub=6%LgEkoBR%jD(aU=U5rr z3sUyZoeUVleijiTgm2-*Ph_~nT1=C_SjW!J6uCE4AqeY;y~5m+^wJYN4EK+Z-DW`D zKLXWWRjj4$kYGoQma)OiQ1!z=f45Pa(MvM*qd$c^J30s(GpWwMW8!8u%@wUrgI94gd@~AG8wx$} zKCaD$nTuZF&FpfAI3?hY1*Cru^6C)FzUS4Tr{Mj#gdYW%4nqB*J%`f&JU#6UTEPU2w|mjzwpYdpqHB~=WcH!30eD#Vf}A_9S@jAS z7#Pg=W`vkI&U7We3=J(4d;Nmv?M4FHw<3v`Ny2=hiLyR*ZnzWXSuGI0wgrkNecVJ) zCxBD9?)+o!GU`s6n~F0f%CkuKTc}pZ*;h2=-bC1l;nj|LW6xoJe>cKEUV{#uR1@d< z{yf^RCKh(esnzLDLVuoC;)UK`*P0R9eTtLx%9K@%9%=L*z}P+JQG4g=ew+&J+l5L9 zhGQK8yi!dabls)f%0t|K5y5Vi>v~jDoNRCBdrxDbzoDVC=Vz7y1sk^T^#(u^x4>)D znQ{=-;|C5F+RVv0ALpq>A5yF0-uch`O2Fg{Z8fS`SXl|2Idel;Z*+-ez7GljOA8CH z@LT+KjCi3#Y3`fEM3yDv%m_TIm}cf;WIAykhsBKn+U%mel)ZLEUz=vm5a^Np9x z-$GV3*NfRQvPyBFl#)26OT zd)@Lj&%ey6AJ0#m!D@NCJC<46{(Q!&uI@Y@tM~4pDJI=lMya5x2JdN+CR6Kj2mv?t zLY3BeO<3(9R#L5$vr}E+P3F6oY={p8(WtF+2~=G$8(v){`X$rGQ<0A2QNsm)Z^AOv z)pG3LfS!Ywd#-^HIgp-Wg?04KO87mYDZRGA8>5RJ?=E$>eaXL=k~FsH#+fn{u%aa^ zo?AoD-oNZaefj3kPdI$~XAZTPBhOy#r@_(?C{*3xH<6R43?2=*M)JG@7tVZox47+! za>u-*6ASoOYC`vtQ)gH*YdCEt5!FoEX@FwWR!xobg=%=*vFtrO`lj1cUO+4lzO%4- zr5r)V<~2P4FS_s;7P>32f}#q`c-pqmMb4to78n-)k~8&xNVyR9{9u9Ws5O~7w{|AgL!~>mBP7W8lV)jy>cVp3R-O61Fyun zcUnQniM@JsZ756r_{5T<#!Xbv@h)zTjBY26jIlS5-LbAUS%b=DZu45Q_Px`_p?&m0 zDD8c}$mXoi4=6)6p$jXYT|5APqH`@-@Y2)7_qnZ6iJ%%FuWN0#cidoSMwK52f!Cr$ zMk;74wbLnEDmtLN+msp2gj2a-)r4*P3+y(D<#dUS&rR&rhsvd(zdseP(!#?)KOMKxIxRFG`Ic|Nk3o%+eOP-{f`@}GS# z=am#91(UA5poQ+j?fCz-;XU{EU=(Go++t(%;iKcI^4n*&$9xw0%n;)!MJ=`{*Jb`q zu^4$|Ce99lOnDrV?UIG@&}8#T*XXAf6>nzVQJNp*mqSDrq@=IPVu_tk{z0J%DB%(# z-_Z7M#&~<`ah-Wk%FHHs5^YG0xSV%l6|E{R)aJEycps#j_r$3+59|;{F#>mb{FrEd=@11vq2J#%UbNA}iS>szDjTc~nQF;CZ#rwo9_Aln{T17QH>FxhwpB(}0$oM{IY-O4T) zbi~HQWN}IRoFaNGj^tHWU$bXGe^?BjlGv=_5x|P3j9fl*M$`EVN2}^Blw&(XYW7^w zRBd>*3}Edt^#QLKkABz3c#gXJY)r*bdgNI+U9SrD=)#+F^ zkCVYKL9_`rV#@arZmt39mqc-OtsFJSJ`Q(8jC#)0$*JcunDB9W)!SEjlrT335AQ)O zw1jVIj!FdLk@}>EM%a4`mNktZt0lL(*ZwvDl>tMMIg0fog$o-@_IK*msuywOR{`_i znlxY+GP(Hq3kfXSdQL9%V9z>Eu}(J59Cp4n-8+o-YQH~y`J#RE<`ZM=v(%yg*^%{$ z-%KXm=J3aB*TB5ZDNx*SrWYu1#K?O(1Lw-U4>hzOSnjG=>$%e6tJ)Z&9eYF28jpgw z9wYjWozHLUhM9Lo%BBmH@hLh>AC4)_b4=v$@$%U^Fn}V&#^}%9vOh*=U_REHyyovS z+9uWN@iQ$>m@EHA>6sHe_8SKd99WA8+-fTE*r8JeFJ6QsNTyYD1*~vtS!?-rPYr`; z*)D<>_>tq++aDE;7(8sIfKY${hnV-@N5YRYEy~gB$Er=Mx=eH06L8MDxAtz#1Ct8= zmRw%n#qx4dCbs@x4SJi@rQ$GlajwbI;w?b@+pIy&Tj$qvuC!P{@M<^S3#2IbM(hZ=^9!_kasmPkT!5O1WOah?G{ zkN$z9vdym+k7MC*v|ZUB@hd6NF9j}sRScz^Jzm>42j(FKi) zGBYiz0`&l?X@=#;SAA4aAN4rQM-&tDN~mp!kiQyE#uh{@4KA{ciUX5*HS`LlX&M(| zv(>xyW^|28IC^ZNTQv}6vs6DEoq?Fxk|x^s7DX_x6DX6uwm|K64$TILYK;`dk8K;7 zZ-U=itolZ2aFskFU(kEC(0JYiWitcYSEoq=q;ZUEE(Jx8ADTT{Xr#875w&@{vOs|f zri^LqP*GgqSnoF~U$Xqx8n}P}7@xILV@%^gY|BBsCFdHn5g^x>Wngse3h3XZ-4;>a ztLb`)nsDC%HX~R?bu#(C+l|~kp|?T1QJwq%ik{=fSm-DE!htw{8lt{L_rf}D0&ywg z8n3u;u6V2heEmRb)LDhSh$_~b9NR&=z4Ud35<}}ARxfZc-MfH&?CV(XxDhpFz%=Sv zb9q4`8Wn^Cx)BjO!A28$w}4Hos3@5FU4aVn^?Meqj%V%jG(EZdz;i-~VDjo-PL$Dj z?Bh1^H&dwn+Z^uQD5;Fh_X_F(RXQ-IUQ=H3=DT3J+rkTJw57h@p5J2X=HBu-)#5X2 z9xz19S$qm{0lXa}UA_YQAxpBP9Hwb2k>?~T&3yLWh6EC@)4VJH$ykD`I!z9DQF9@sDSe&2|*zF;E*p4+zk) zV;|m{Lb5cUuvxUpxZ3hCIR^qdR*sRSiM zR<@DH8HfmSK9ZBxU1g+A&fl3V{~FG@Rz+ZSTTknHFFwJ0TRyv5ylu?`x*%}A+jaF_ zM1+P+zlC<3R(kXiZ0)Iw-Eq{1=IwU}=##5%{>ia~Z%fPXhuw4^SR*?qkUe7N687Lb zUmIwpCxDuR%yw+p5jLkWBry`W{Xy{~fT zYBobp0^)6zJGWKNqfTl_go8I{E&*^AX>tFOR%%%JrPEU1K|Sc!&1Z`Q)*3z>wPCWA z7r(!&T()@oJtiU`#-*8(d*8IEZqtJ0{7rNCX&i~=KhJ`uldA@v3|lZONPvF4fUiJ5zoq+MeAYuQ3>zVRbvtU={ z5sowB&aooDaK0LzKiB0HrM7r7%eJX@{vVkmsvZ(9{#ql6k9=yOp?QYColxsj1#$#2 zPE89i|H1{IBE!NNaQ@AnVm(e%r3 zQifx|->U9cdmBO;2EVb)`??+I$!c>a{YWoW9DS}wI!4WoA2We%NBy)ns8fw(9Y1S@ ztmoomnMyhG3Z} z2Cu(i8M#Lza0hY4QVX})j&+Di0$w9Yghz9LodLD@6_KN;I8W8oIkfv z%Mxq<9p`{(gTomt6)AWKTlcUtfj4W}loX zl@O^3eIO~epd_H$x!@t_uAY7(+lt)5wCP?_NXxAs2QLJouMmt_Iupn(2BH865JRCj z7|Qln28v$d)i1LSyLan#@omtZBOXZG9r|r=-l!_%Kn|3YZUi@ek7$>l)r&qV_jQA1 z&}_^vUfqQHfDQJVv}G`;^&^0Cxj8`)M=D1K*j(R>-#;5Rc#PVr;w%eF z9EczxgVUG(o)QGxYk>AoXJn70|29bwt1Ixse{J56vPnW#4lSVo<$SG|x}6;C{s_WsMnp6rTR?QS?8me&Xp>)Z zGFEsg*PpQbVW)nhMML%(m~0Wbm?~e3;FafaQC|>B;)4bt&f$4RWdnzX;euB zb4B|xhrw52keL-g32v?r_H;up`YB$=T{iA;%2EQq88s!EKp0Ek9(i-=*9XEN5wl11 zf6iYB0OE3w@=~#3OzxAt3yKExdqw?ZKKdzD7ukfl1tc|xm;9QzDA1E%C_hwE^(#00 z1wEtdOaLyxuP&Q8G^>;o;zQaC>?w;co5B_u??%-3VkEXUI$k@agB&T_Y*f+?l)m5t zvYp6O1P&EQVPiyho`4A{f6#VgL8?8kG%)%Y`@2N-#iC_@TL(szD85w;ryL^g5;1!u z8zkjyTqi+u{(5in1AEaHx=nT!Ndno%G};&C4Wr!eKtRE@dH5l2tsiVguboM0^+3s$ z-RThiQ@PMD!;jL01*))qZOcbeN?64|Blt&2+IKvhhG4Ma+`cYeAlKo^AvGU$KVWjk zk+gPX)V=eC^zq{==8{3QKSU4%Z2WX`;vw+fhf9!><3?_SmO3&*uS4eO=}xi;cjkN< zrByK;gmrUe>}@O7$ZQjk#`DQiLd_OB8eUCJs|)r=vW>)DG^ErxBsmwfvlHin`z5d3!=K$faJ^YQeS1uCRLX?xHV2wDkCV~%Mq}SeBaRzc zcgOYIzNl^lih>J{O%sRN>C{^If^KtnqlB z^>ilJkzF7qmwa%ce zz)xVK0CFeVob7)bY+%V?1gJNc7$rwM@xwDWOe-+vsavGcZtdZ(%xE|p?9X04_;W{~ z7&}n^u_;y189YPlbyple3lXR3JZ)>Pzti6oa)dnGzuuZe(p10PDEIlNrA zSTcN!`!vXW%h7pxd9l)@=SR+6^c5}_L2RL^IGnB|{{V3m({A-5 z-=gOBJQYDx5EIIY>_x)QEXkO+dOj)2X~~D zLfA*>Pi|5|3yK4v7z7AXLSMHCN=*gv5q9te41jnLdM(WH)6Hwpb-3?!+uy6D73B_U zQ6J|PCy0C@U3QKX&dVQ2*h%JE4}{HIP~xk4W55{v9SWdU0Ezv3rF;*ZHioPV%BlDH zhEs9cb8@yi8RFrmm7X*Aed%?PkiD+J>31rA_qW+U@2+%`aMj|5MaDFC3=n?buAeyt zYO}T)`IR}9mAbyvMRZ|HYpdAoo%Y!CKvpBlbZnqVOUd?x`mnpnqgOs|2aw8uBT)#l z+rZ^{spVu?Y~+J2pFs|rhl;MD5r_I#2_dtwbw{PClVTtb+qtY>4Re-2pq59!9TS;3 zl&Pdivm5l=su&0ix^i_T;R-Fa8GKmHjh7RyT+|(H^6ox>`o$44njJ;EJqNy-cHqsn z(7qr?_HP%=vx{si_P|AhM(5|pm%QF}8R!eVw-7`Qj&AVltl!y-LY;?56lIXT5^kTv z*=>XeL!e}3z1r}&1(P$#?Ln-c&B@rl?b)I?rh(Uvs>R4Ks1LjoVodzu{R*o4W&Al& zZ<|6j?o&d}jC?<#7va0|NxdqiPmvU{lm*?!{A4tqW@%r~cKrg~6GXrQ7oBOU510_V z8WJzud!IY8agp9U=0~x$OnZn^UhN0vcsR7_FnH4BAZg($#=J@?!t`}6KS2BOg$tkC z+chJ&qz~CkdM;{%!mHwO!Y9g7(SRPi>mhr@C}kAKG!r6$D*CA7T-*z`94N*FOUppO z-puf#N1uf8Og0JFu#{fwk;m<9Z%QZd@bfFNi#gb=&$wLU5D*a1ltXpmO1hwBz*jw} zLd++O9pR2_-P}4eOOfX;sf07D$_}DGbt@w}_7}nCqEf=IqVgcoC>B&@fI=gDT)k3< z#%)!CdV;+gu%m9<--HvcT~kUp$W1-FnF4rl~yk}-828-Xon4Y0vK5oH!Os$3GDX|c|-x$=7@GXn<` zii-)4+@{mIVAcytvCZL$@6BVKr)-k)^98bUa=2amXM58BXf@VqZpzEsI)zLj$!(lD zlz}j?Dr+gEKs8QOH(Jr2l&Zv{QlBrXCWr`+?EKOm`R5K(=)tInlUhIF?xZ$35rBzB zLRh55J|jtG^KG5phUM4wHn%-jl$0NoDFOQ+!GA^*=mB(^@+Afq6sqV6s2_Nl!v~rh zOTj`)1apXC^qZU(_%=<0;n}t-$-0E{no+ReP5L~u_Z#1*dgr-j)x#ZLUkBiCv_SF) z3fvszALv1#{*yxbLqQJ?sp;;>M6ElF&Y*C+3Ezk00m7E*C2=%J?9Y_%Loi+n1Rl>o zCj(X}X<7g0YV3y{&90P-ftwdc{t`eN-aVODzVllO18eSHnuv1;JXlCM8^YXk(kHX4 z21~M8Pqv2T7fG)?n*~jQ`%JQ@&)-LSq_*lfCCu+xCtuDj1KTTw5GzHGe^Z=V^&_u( zf5L7y0mv(00!mqa@}rw^_d^h`rZobel@IzeQBb!*lh-fX#hwNyOVL-Cd-fijeM5!v z?fjMX-(h+sO<|9%zOf?H!kC8ny?hADzrnH?>^4X5NY z5-Te!0I#r|MmUW;=z+^uT!1gPY$Om51Fj8gWe2_Irx7eVX1_&3CKc3Hnstd!|QL%ZyhB;c7zajJP)8puT ztb1PTTx7>WY;l}CG@~0n!&Brb#A6G5pTL!`dK!%Zke(;VC=Mp&1xQBLa!?Fx@mSj- zP{8^NJwddQaaP^LT@Y{NL4+dIEjk0$+B#(9HkdFc`f~nrIq#fpWD8_u8LC)FkybmNP~2nrJZ`eexCB+t-3*}y=j(6&Sucg zzm}ecM_}mz8R4|C%+02qZkB^`{;=kVpd3I-QpJ9xqA-fj_9nfWcy=M^1bNAQMrz9a8pxr|E9cnzyOAz&cqbizm)h;ps#>#FNj&ZN*3s0a6?++vZ4Md6UnH-*EF}b+Rb#G zOKb=%sMv#GssJ10j7;R8vqRG3rdsKU{0+)gxlz!d@jYDmi|zBAn_bg0CPia)6_qtP zHYC*OKOZ^eKe6$VDF)GbBqm<_omNr@R@{n-@SF?8mM29-L|R%}yd@OM4y>#a5g1UF zo8x+(ZX{wW0gR{RjVa3T7=U*|HLXmG{!=TK zZ&*x%UELfqHfRFwG-C;#8)zgTG_|99t#i)r5kTCF5^dk)|Q= zvBbR5LMGH+iZ#2^D1Aoa)5Lk3P-2mhXLE&&KkZX@cQ@_Qzdsp;3Oe!l&+RA!!&Y3k zK@m7H<`P0cGEl}^3%6rI6#^}s5)M1-1K|oh736JuG3-U@+bUz1pC#67h*oE~c>MgD z{_*3-b67qe9s}iS!>AD>pGVTXg#S4W# zOQp3yD5V+%8&12`K!0kdPwx23Q&iK=F8@2Fx%pOT)c;;G%J3)>0kEI|UM1mFM69m^ zkpkQVdGS}`DfvvIXt1&_N}Ovf-(GSCCE$aXlBn*_z%}L@PO_>WeHSbQcbb=nr{$Lf zf=d1S>8bzo{7xdGG;sM3MH)T8SpkkX>Z>aYn&5*`>3B*1`{fGFPfru!7$Tlzry3>g zLv1${U2iQ;^hku$r)NUc#vb0ERR8rs(7LIvQ~H!e47Mae3I6X#^jTaE{Af}p}cwsms|)9y#6)qY<6_bcIl6M(M(58Tq=?cs7@ zs|mE8MNTA~N%XLk9d|^K9W!0+->VYDrzfh5t@h~Xy1=#Du%m>!iA;HVr z*VkypII!Gn`N5z=<#+>^->(}TAP)KWBWK?N*=ll$6%NC@5ZhKZr3A%|I7h+W2k(W18m#@0}0FZz?=gyR#yuzBO3+sHq#UAu^J8z4pGwTnwpwX z(tq;j{_{;A*pQuRC=&!wxOGT?aIaw^!x4yNG_|-Rz25!BSS{Kt!F^ME!HrYH*JarQ zbM0N?6MA9l&4X$FU{n%_iql{l>9w(99pU!=apY+T3}gDgZ%X7>X-;?I;6mgE$1rWI3Qh$hKd+UX}`u@WGGTHv0kt1Cu?+yt6CTCqT=DSQ^?3;83#?>Fhgh?kmuo z%D;$8FjWYL-OTS+S{=vFnATDtfBV6v8d05+l;q%l>c7_msj2e8zO4Es_aB>hecw}r zsnzA-X;u9jg|e@M{no#XzpY#bA`x*999Ryrrl+4hcdp{$_nYc%zpB+9*W(^Jut;xC zR-Uut(W&rpol_h2xy#LRo}p*V0S%LS*f}j+j+UbpU}y~g|F`i!FZEUZMluZ?m}m*L zbz(%Z7(pZQC!iz1Z%GZele7!oT39#XV=;Vd+IJWy`4^CUWguLTdmZsbO@59QY?5rS z&%x%w3VYChKLBud3jF=IoQsP~N;vFIAHg9%dc`w&#A(u}>QbPzXYc*%KSirDrXUuP z7{klQ6s=91hl357!?_5*zEE58v4kit@n;K(hu!|apWIN`G0Kkz1O(i@d$+H|tVz`2 z>m?>`8Dlz)LKt>#DC!Wd{Q|kzX{v(Q!d_^9HI#H9niL>-JrT})FzSXz?P_zHj=zSl zviJ_aCz$$NCrpV0_*;7T!#;*{r>I6lDSca_oWJ;(K@xB zOS-T{z;?BJ_wHlIk0V-(3zsiza7wt@tU1 zS+~^w`?o-)QQkG;_m8-COVhdox6g@)Y`a4YDJXB9606i807r!+1;TaYbj{w)Ci1o0 zC@x|leP{c%_pPGbcM8rT<5}#jzV$~A%MC-N-TccZtvK$%P4@AT(Dj14I%A_shwBrx zv>U+|RlbX_YdpvO^}3~2U%`6UnvsBtgo#r^o0U(kf1zqTpg)x%IyQFxjUrcXqH}#- zU0vO|`NqaZ+}2751ujkN@#Cb}|8w2`D#licwN(gjj2>D z%#K7Jc(SBtY(zu^s2(cC#0q2b7e{NkH=Pgvd)?3zok0%sqCPO>jLHNi+v2TrP)PnJ zv!s?)FAgJ988T*^V0o>GPT>I)i(Ar`zn3y&nyq6eI`Nwt@-m{)1HW*5ywy25Ib?Xg z+jP>ABS(C;H)hbbedn9BhG3SIZm~&Gx6G!BbKP>QhBQgAxbB^N2(wZowqe_czM8tD zt*`%e$vuaVx3M}y&Q5gdYYb-OQ5qZ^#7(>uTx(*H<>-KjoBw_cg=&#Q{9!qw6h`7c zbQeSm8EHOq1Ii%+z)!Y(4$3|`zm)MdBaE-=M6{0m_B=B6sfP$zNPUg(VH}w$oCS9j zm=-;1F~NJ8-b;1Nqy}#1n2P9^$bqB?kufsQa9n?s$pvS{!WiBN)+bW{c06I2+kZ_1 z|LfzyKs%?n^C3;?p~AR3vh=kmnDiOYP;b+Fwli6>si_GSOiEGCTR_{7xvjFt0sLR7w z)5U|nw}j5++zPFl1|aMXat;#XRUhWSZf?1Lb^aL>`x2p?QDL* zN`W1PLjAm;E=`F(A!1Sp?}O${l56+_bMwTD-C)|Ys1o;U{qXC1)6NaG#bQGH#JjhsJeJc&pYspYD z&i8M_P&hE@M1%hlX5E#e0oV~J5F5MK3N6VqP$bYOWFg=BXHFmM7b=I>h(^x*XU|SN z9}4G`T({Sk>9n3RCNSLY-%mNW%0uT2 zSi;dMDFMxtbor3^t<`SlzL^6|OgeIMa#1q8sIBSmBI5RQmBHB*a03@C?^h{O*mPNV zfnQt5Hf|c~fUsuRdti>JoY8wU$;+qqJm3dcPlscytg`Rk{j%eSuK3;*BJQ=26=#yK z6vb;hR_AR91y}%`q8Aez%T?;s5i5iPrzmBOpiYKTuh%vwnHc@%f3Fg?14SEqh0CM@ z98_E`{wqH|BS)3=>wT#3F$k0Sle|HD8~o0lUTs3$bF=JacsNmAmTqC#WQJr#fH1+Z zrtI7EAvfvuxYgFyRygD* zl5NzLc}#3H*SN>;;?<{5N28tT&enKdKNx2>2^g0cyZHEcDh==yz%UcgmO#hv!r2n? zw!+?*%cuetI!h9+Wy+tJY0VcWy?t4qf1CA5`l&aH5Rpo%W-xWwK6i*_1smfG5!BT4 z6P!&8BXs~UEp9H4)P=zPkm-N=zYYjEA5zygIHp!&zZ~r>W;xz;%!TV<9NE^q`FVHu zu&G^39(sa@v2Y&K7FY6&e`p?Qtq*(P(K%d1;x$-@;(zS0aS{dnE@Csb_D z*dZ4v?kI=c(QMJTZ{LRV>bFFvJ$dqkZ`^@|Rxswe_ZdFD)Vh%tcevs?$uLgJ-=t|3 zfB6o6Ad;$*Aaui)!a0vCUIMvvUM-`O$<&fQWWs#7#xupuJr{kx*Lc*pViD}R4^x3X1W@tQOhc4#=r zZm!I1Zg*7E*mes#Q=DQAYrF0k+-;{EvofSNtW{pPKW@fuxlK6-YWyQj1HAr^bt0XG@MBy89j zmd>ic1wwQ5v+0yv^yf{9HZxr%j-UA6j2L3jSc}nMYV{1;lhr?nXXr=&)**Pv2qxkm z1UV42ze`PR`}f5O6c66I2VP}co~h=G7cXjhdQ{y{(X}MXMr0dyq)9kw+S=wv*-ySZ zCeg^(p%#~3x^bIEz~t)*uHqQ9;c+*7?}c!x-@kV+Hpj5zA`8oy{6K4gg>K3EXat0S zzB^8bWYF+0kU<^Z^1g4+^gaDTl9(9XW=|sSk5*?{1Ar@aZ;S7{$3>#mB^)Q@8GVV!!sy zoq`;@>u@lWZn)Aj;^x()_fAXAQXAuO{`)CjwK((X&Wx+Dx%hy|;Oo#Yk_znaQkqfE zg{1rz%le~ZCz~KNIiXM<2tmm*csJDToMl_)ghWKDnB?VrfDbB;*@URtJFIgeRwzmQ zFHPY(qrtVqmnrze-_}odq(_4xPb!)%l+MY?xh*f>0a`gIGBPzF;4~n9;4-}fVY)3R zr?ff?1qq!ftnG0c-n|drxINC3WeJ9BP!qsZ3(08{lQeL_zs5U>>71iT-4_-(RBNkU);+fw!d&30+Q$At$u3uL{qE-1LQfo>z>?aa# z=n^*VK+_ztjkc#84~jZ0>!B|Kx&vjJxAlnB6M$9$fM94?Y*cQ>^voB?`vc|rJn?)0bVFj=^!+!^kAI`|C18Q1_~eAwY!&)31q&!1ZpRh_c_ zJAu!o9&1UL^+%CvCPRggfrqAd&Cs~s(CuyIL`wq71t9OH-{)>0F-`9WLv@7bK_zqD z(RT#dI;f3nK3vkEkSr0Qb?9rZIp9BC1$0|t;WOiL5|TVYUufpDvt*dp6JL}=?@h_o zzBWJPvb*fb5|v!(O)0=kP2ioH6EbCnoFBtswR}eH)&z%9ziq~&5F~Cn@ zG(g?7KFE)=x%WN&9!b#s!DpKZQopfb{fAI6f)riI2JzCx9a{|zrSeBrau2OvLxR+BzsuQ)QC)9AvE0lZ5DbYsX~vWgU1zYd)&v5 zcYstPinBL2&s=^?knI3%8Bs40#d|7-g`-fFhjPZy;(4YTu3j1$y6haWy0V}SqSO?C zdclj8efb#t;~wQ7Z~jgIC;opxx(f&j3IaHiV5Sei4fTbp+Z4eap=kxSIs&NT2E9`n z(x;I^tlb}1q@R`oTLJlR($IDHz8s`@+PNTibNI*+fJb(A-;{p34NN}1?VL9kSwDdD z1>E-Sp<=i%&NTAb1R-_{{W|R}7w!{O^Bv9334McG{18YJx8Bh2uFCwH*AWCeg2c ze+Sp51Pj!gyD~wB9$c2E59&D5T7XpoiJ%y!T2!1Y?}57C9&8!(;IllNdjxI|13bHq zw1bG4`a)6UE|ws?1J)SdkC0L^JWZ(7h6OtN{=RN6g!)H8dF;9!O&MiqkwG51&V(0m z?ugY8s`d@5#Qz*!+hcu=#-AW;2A>mv>!6_Fzj+C|1A#2BzBYM$BqUVcgrSdJEgkx} zLfhTEqe|%V7ak%j{uE%A%R@I0q%)anxZd6SQzhqds;1>D_}roAR9yKs73jpeQtI;v zLlHq1%%AAf4w zHxfLWK03hO6lL77my`UjUZBT~Oc3Z5<4q3yKTT?=M@ZdRijvCm>m;eIr$DW>U(7_k z921TaE2ye|P%p9$Yky{hs32>fCE@Zcu~>d6Y5-m=6iC)Xw#4>f)ebZnyIWogej3Qr zp&5O84AJXRAL`y2>!M@C)cEx(L^aVu4vNsErh55gM^A`9aAoReT$8}6stXo>c+3HK zPMOXqUfMId;vq{3wBf@qwHOyQ8Zj_10HD?yyR1nLMSK&~_G5}YyP`}9X7qoA`C}HZ3nvp(fdG%m>GlBz{e}2ipI8}w-oc8A^2;}P! z9W$y)2-2d5zDTgkKs+m(l9+fyHP56C{73|6gC9Wn>#wYrF3CXS6>t^S7U3KWo4XJKIx09Q{k05Em>P5UgkOfm~Pfk2KN(7utG zkE%f@KQ-q+yQU0I5%4x(6cHQ{)AOTL>0U(2pJSW;R0GBS|7@N^~jMUQGUm>ZQF7!Yzl;7ev0xXiMT` zHsx6%u#>H2Hfjl9uzhURelz*O~C{tbWxI+BmsK>GVH9VY~u%@0)z=*^_4WFh?LY&#s} zrFwyZahP`VkiSG)fyJ1?@aNanLBHvdz}0t_+YW3G1MFfNtg>!YPrwz0b#fLW)F9P& zvYys2So-iorLcbO$28PCL+UHE@i2hy1xz-?IpS0V{+-1G(ELLD%BxnOIsbfIrNA%x z=Y}8cJA{%XMLQQ3TF=;DbAmKOA;41Edd;x|=_MPJA5h*1z%!SxjnF_3V3ds;PsFJi zZ}@ziF7Rsu4a0N`99l&7<9qz?uMhxB@9gY!7g~KljLB_)qQJjxd6yLR9-xB{(87sc zjyPKsHQa(r3gGS#=+@vOA@*lS)aS3dF**5W9z3oR+Ps>Kpb;V+W(y!2+2%#TZrP@&e3m~?`kt0nEVRQBQ3p5DrO+8dpm*`{ zv&{Dx!@|O7a$r6dZ?^FJU}<*3%D&&tADksbTvTp+bF@ zt+D~}IGk3Wb&oN<+{tWF!_4EBJ13;4j7)4gjZqglb%8W=PT5b>;gT{+7*85Trw$}R zF(HKTwzY8WS^DBOA`Kjbgdj}1y!iqx&k0W~O(aEM6cQ@hXG65s{-bMC7_);@E*F;Oe#DOAzwq0DUr~~{H(LWfII_eKOq!t|Ls2XXMNL{QOq#1gwm;DQmVt zHtxbLgq}Ztt~dPWCh7@^7}QE*h0q-rn(O)BN8muf5j_*c2c*+4emoMF;{Z*_ z(6nw(Bofb-qqy+kLG@DfnUBh!OKjVNsMFtWDFxW@I_Rgo3pEfgkVtHObcdA0hcv4R z)X#Uc0D5B&@v7@)-Gcg3d4E~z3k+NuoUXZ8yjFQo(GB%o&~xK6cy1{_P0nAuG!lot z>N;j;CoJiZ{j{DMaMq<&&7K+SNQ(v`dYP}{Q>DWuRkKF_xZDY1*?xbN-l>Pgy?QIUZuepej>hF?u zU9RJGYd2*|eS6dFWBQwfF$F-yeBVB}>u`&@i3$5(rx(eQmRynoWS07((;$0tJtLz^ z;eInOAP|hkOM@F~>j3 zq0TZJwr*)oHpV6OGf6A{ExH1}3DC2Hg_FvlxI7K|>q$Hr1{B6 z0lCwlyu3X3z$5jIkb#7bUFg=PDPt27C`v3+_W24;8Dn7ubP+=u3VJHK{mM72;$O<}4Ou3PWzq$}Plx10l%QGuPo33=uSiks(O5j2F%$ATbCnN6PuS{6^O|Ogo z$xZ>`Kss-FX>=v59~gnZHUA%s13#+n5{EoF@pT<=o41@fgoIQyUAA+8%^@0^VhrHd z6mnp01yuRbeE=Wr9vFXmxG6jxZqD0)zW;Fb?c)+dbW!nyehoBZOIde2BJ~!WL=@U zc6YXgVcQU3JCM$F;lenOSrqm3lEmC$)MA_ngo9QjcYMAr%^&Khu z?O`gEY>F*jP3&K@N-|J~UPaN7ohtq^wDFJ{ITL@h>7fj-{`#Zbn--c>=3?KwX5jrx4l;^(>y^!(y=<=k`A0yTj;LdKD(P?GxklfZ>-?sKnc@7 z1b<*JJpKLA$to(E%k-zKZEw?xSU*j=C3l)cKm3~^Su|!PzD8fW*YfkN)+&>TM6-J= z4fh4ihGcT5jx<_}x^c&G-*gSdUi#L1Quc zh3(Om7y%K>e8ySZQt_R~HHDqIWh0^DN%rHP))v{HR#RA1v*jMGo{7|z@u+T}nY1ij zlr$7oFB0j$ELK23LSCk*8Yqw-E!@9i{liy?$!E>CQE+f@*y^9#*60NXAw5#@{(UTj zGIS@-Tw;X}<_Y({_SWPWpw=wf9ZBx#bCih=tiR?s+#9|&tt#hNyKqDd^ZWP*&PX2q z(r07R&E1guU8$qYW6QtF)oxYp^q}_EzGLDiQ(h7Qsy=*e9f(rh)!@AEd}G-8qspIw z!OF_2+A+GNr6p9*OpD~gulC;UD;4vtl)2b4(M)lEdhHCc^IHAG@7KKZ8a-Q?FD4)9 zQ{eu{%PF29JnO9Qkklo{o?EF|JoJ_7P5_7Gl^Bszxw%p^vu>VQUHrhk+Rcm%pP&TA+N?wc+X*V+UQRB3;e*awL$Jg%YkoO)r zu2a#FxYnO8P$eJLLrc_iieYh#n3LU8o->@DLB!=@5DDu<`9H7HW_t3fHwSiiuwB4G zqSvnWlNGwVYxyl@lIosPz?#~|NM`Es*`^bz-QA(K8ZdEYVg`))KC9l9QQ;ZU&E~fi zbn{K&FW0`cM&MqD*wA;31;5c5a?_RflUElMd+#2+dgm`zOmJ|p?eJ@pYYbjUQ<>2o4j~?Y2K4?HL-og*4FrHu~kFZN81 zu~)yJ>!OjTrciVv!j_I+jeJ_>XcqBYWa<2jyNFi(%27`q!u=p7hKeo!=84(?iP2r^psXt4zyYgjJE{n;~`kI2F z!~K&>#ut{3O;Lx(rj{_8@jGA+cGZzLkf89f%i>$xLTek*g@p!N+nI*W%(*tQ(hiS5 zp3IkLF;};lCVRrk9_42GG+$&syM}%4Q1{mFL8iSFni1hmLfUi+)qq`!up>-if_7h; zf_{c0w2{w6K5^HMm}fj0_%M$f-JUntNZ}(Am*@M$xUVh2$7*2!$#QS)+W!LXuP|#$1xNc7#n$ zL}-Z~p1KZOLaV3m-zS@zQIf%A&6`{0R~4K*uxT(Y)EOL-zFO3Pxgy$cGa8@oIGdkL zHBNexJda&oo-?087~{REJmc}90TblRIv7ef`?>Nx=keJjKjoh;p;w^wh?#w>GW|u6 z?2s^?w^#bDyVq=c^oO(-K9|4nJNoR)s60JA+52Oa!A@}LL*I4_KcNk)IgK@cC8%(g z2BU*ly?HJo8TEvR^hDxG{}Z~3)r74tE7xj|?274oJ8jxO<#7yHSXf}?;*!Ae(b3U0 zcZL>s@e#ufMz8Ci`rFD%OG^V+EyuMeF-uT-mzLK&g`$L*fbWZtp&{A2#jj z?(U8)5R%w!`C?kMHvDbAL|2%ymq9g;o!@wX;>}0`3?MEub0K*ZP*X4XK(VgqnJCY` zv9M4EeQ~mAjgD8g8sYWW&Ohlq8~GZsvx_ocNbvud7XSb4zeL(~wKNk4PrV}2zDQI> zljQG(mT;ZtM)k+?T}6Yk!RIG%K)YqTnMh-j{|A6*j#xu}<8E@GJj$}%c@9%de)moY z$EUfo5HeInV=BYaH1{A|@2)6>J5nVkz&6M*8>)&T2^tg`SeH|?sOOU^9-Xgd@COX& za-`&M<^{cX)7QTyiBshDS*sq`7cK(yYp7^od-iTRjku$2qx;0a(0Y@cQteqeY5IDz zzcV?o0gU_0th?62xMwR|Iwp!s7%8*3)=LEQ7s^AgJh}a~t&MJ315uE4aiq4)*3r7S zDdMs&KfO|gH7i?`ZjXVcwB4g{^kdNa0E35yd)<>%l8o+G(^ zg_Po`bez_sTla%Qs>Z!Csl>7`z2Dv3m3x2DzlQPHb*t+txTh;d{4{WIq_%}+Wo4To zXH6#YBJLs=mp>dZMvd0yW>Q~YUpA)6l+4U4nO)PQ>H7Nmo?!cePM2uFzXHFQcDb;s zs%m_E{N^8bb=`ScuGoTt0;$rS%#Eu2Q6es;hMmdUvt}du+G1pjpLo!Y?nW2( z)z3GWa>!!(R=&03mVT=#(-k8tN*8d7UaOIJzOpl-xx-`v4C6H%W!YMxp(vUE7Z3@@ z=uRhe5I6rnpSdaaMr^6fo&u)*O}&FG;C{H+H;0ia@pW(Vu;PST%{0-Sr3LFOt*tro z*NvJAm8(<5U}1ttK9BOzNNTn>zxK8$E4~2g*E+o9$x3Mc2&3+qa}>`mNNDCViCb)D z%8hl&U~6dxsNHIBw~$dEE;*{Vh80>HFCnZVK_sEMD7vH`k8KN->4vp@=9}kIgw9#9z zg?F~j$eg8*b3Y}6=__$mt<`sBoEZOHS-lLutCWO*^>`qQydO}n znHw&$vn$A5RqhwoHQM?^1tO}1`;+eD#CO{QxBj@jOHTs0(N zCs~h!#|}i(<8*Fuf)10PsUB)j6Fuw}sh?FXxLQtkJjHqLL&k2~)x(aMz~?i<@QxBG z6@7lrs5fd_WiD-gg1xV$g-E~mC>eDPj2Nxh?o#j9GTqri-xTCD6|yqIt*0fnKghK+ zg-sb)(Q+~`FL^pVn0$%h)uDw;LJMc6V!1HR$}YRZztI0iPp`pX6pzo|`JXyPukL*k-|{C3Y)L;gBsUT( z%&WXF^ntdeTGHA^U8@GLCip4JM+jc(JGZw>1O$DLd>IJtkXz4mQ@CtZyI=%2CzZ>n zfv$F2h*Zh~W--Jy_b^frjScyb3Ua@0D{p@Ddyv6r=e9XFUM&tMA+Sc&~$Ji|y+5RGfIZKjQJ1__NjIpl&}I zie1z-SjG0c8M7t*y)%`tF+4MK^!62Q!`?$)FGdipom^)^lAo;T+~@0}AMK@T^<#GJ zGn_SX>uf_8wIAu@&B8y?wvh1~PB(?}YTdz2m%`$`3La56dM06f_>f!T4+_hr zz#42qR$yMf#KuB{o{6En5b2Uc>WsT~{Yn+KYl7@U3-P{N+$5Xu0(c|8lit01mlQ6& zu?pew>QI%VqZx26&TYk?{^ zmTvaVoe@69@~AxM8@KsQm1*(LcKuu(D>n#RKH~R}h?vzg@P>oienm@Dk zha21k#xg*0B>r*jzYci@SCgXQpyB764M$Vw zTY`rdI9@SuS>1gWEs}BZKs@YXU|S{gA_cT9gRC;x>}$eb2DM7=HutvEPf?$`&>$Dh zdr0{E(AkpAQ#^UeH!I2aCWb?$gmHwo$t9(;g^I3VIP7QjtE6c>`b!Np(GSA&jw9_= zouy?=@Rt&o(g#9p#j}ff4Q`y06FB)}z>@T=5Rt#4q>R3jSl1Q6mz#f8es5;Io)zZ< zYvK>^kWHiwK6~F{JXT$!eetv|Nt($`A>t*HI{rCX(f>0yB(jqImN}K%^UBthAB^20 z)^X~YO>FNh9&5vPoeg|{u*$ z#HlBVXdx2C(kS%X2pc?eTv?>X#7fj5Qr4LcsnZ$+ZE784Ck#> zzalMBu&FyrP(-`s`$3dBj6WB4iYnsg8lw2mo8{`%gT0X)$jZP7yu6f7y&bQpjDHr;F7KPj0e>e`SMM^qU?eCu;9bzpM zXHzg7G`ZH2uEYf5-1_^RgrRw@XN>8@`$6Zb`1kiMeylFRFvRnqzaWgk`S3KbTAp0c zsr~#1x6{(A2W5+olDbY4+KdM)_nfK@pCLM}d!VmOLpV^a|3;#;+}S|eowY*sX7ll9 zph4zr_3L(!xxv&&sJ$`S$1+?+(U!(YsquouZna%?ADZYEL+hp8HCp01cC}7gyF1zI z(0YX+Z7rq+$M~*_MmXN!qPK%}0{sLEmR&q#|(Xx~$O5B+)e9{cC`mygD(w0Vw2tngNEL=u7QmJC3Q+gVt~WQJUiy=RFK z&3P&GI*Y%b471$|pgooqk_;cwwvm$R%B0=q*q2mE`MYR})jlayog+#UL=?T>@;UGu z*5dIeLI@7_*WMLBfXUb}7(iqDjAvEwRalIEWBg+1%1}p{?`Pg!qwfCLTp+!BN0=0{ znOScycSu1X`rhtyG>X>-`gYBe7FYb#L_txiId=o>^SnQ4`Otq>`eTSy%^=6c+Xj=C2d@e$SG`jZpC5WB7M)d za8hLs1XZa7s`6nGkFc;g8_VOWQ}#VGyiLL?O)=jI{U9m4dJRfzzJGYJ0SRT zOOANA>6G{12}}o;cl<1Vx$_t0s41Q>)eP8+=O=;}*CZlV##S&``l$B%fj_xKi%gh( z@2kHP%vQ2V!9yhP{gzC9DjPd0md@NTDzEfYiEQ|_`~}H^Ka?<73B|1zJ$h;- znrot*v`9I%S`Av98&F-ea^GI~A{7*U@6E$~DR7NK5<&g~N>r*KL8dlNwG`w1RIxh5 zIp?C;%J=S<`IBF6p+y*aAq$JZ0pG=?XL1I*|6vF-%zDAB?wDD5M{hq6F-{rj#2BT%B`Pcfce&#?f~j} zny31ttk6DJOtKNL5BZ)XbP1YPC1bnX49R={s96Ls5%eZS0@KdT{Xr~obb~dGpTwW1 zbY9*{fEHnPxZt`GTmfJ|Czwg(54{&@f^&+L4KkehQk}R{Wgn0i3&1(fsGl6o2LHs& zp-G-oYGG$ehpQ9iTaZ8=au&Gs>FF&dUG0MTbZn~pWMrgKE6Bl+xA9z-8{ok`XLf@4fuvpGT2`^~?gm4y-(R$O_=u|0WI-&z>+0a2fdd=Y;znnz}k2 z6qx9S@N6V{gW}=IiOjpt1uBl3S~a#XvzXvr%y%VYL!VL58d)zCqz?Rwb7J^)rvgN+ zcrkMBlI6*JE2CZ7IMZ2`KtYE`R#zRrPuIW!!o6Cm^7rsqIMNl$GT$GJl4 zDlM!W$aHnvd|<*qCMa2mtOsjy+VNRqcM)83hz%r&j+<7bxn*oVQpFj4yMM5Yrg$?J z(-8WAVlRZvGj{;H^gSxIFVI#4z}e!OiUY{^6({=T@rx1lSf->4re-eBWUtafdIvT= zMRzjb#B5fz;*H8rEeCclUK&XWfYy=Fned-;;VK5W+kB9m{TkQ~?gu>4h&i<`^QEBQxCh-n0 z=S1uvJ?Z=>1J&M%o~U;{u$y9*k7Ve%1rOHn#alR^lFgxlj?XZ{rB}?X2W}JEY~&^h zOv{OCKHxcjB~0efK;p8S;3MbH1G21L8^osGFfP$A>L3Fv);X~iRw$N{UcmAGSO~>A zilr2!Fp446n8xTcf*br}Bkl-xYk|{@5_AA-QV1WrK3Jbsjg=)ynX+`wXQU)aG4WXC z3&rgRF-G^G z%3Ey|2a1FhZ&bZ*gMrU$I150BQD2&1lR4|iwWh_wi}}$!#yUDz!Vct>+z%<9>thS8 zAkFCXl=C6O7G?D@M=ZEwP975}W_<0?qTt0lmdCW^JC%aaWix9KB$%(*)Vi-jTnS@{ zponhw=RdN)ffdZ7&zQxGBl)NGR%keGXd@A-G{JsHxz@I8fH~8#K6*`PgFxj?Ekfv$S~gt z0-?=c`Z~-pOOmSZ0j@EOW?^oB{OFYJJsXVZ?0dD3B>75J;xZXic#2?co&WJ#@XQoE_bD0-TR!&RSy?vkoKCX2`_Ul73O#j1Pacf~c z*19`N+edtMW{S_o#cDm$2TNcR-nZD2`v4FuaQDbomtKmQ02D$0Cx?gR{tZ9m3ZBy@$Gq7oc1&1p@nc+_fMayd=KHD zMt^gVpaUrTL-PdJ3SyJvBS&xJKrdWqm{rdZd)Pw)0x9=}Ox?)Te=YqdWI(VDSqXpz zt57mMib2oVU#fi;6a^-fMWYMk(fI2tDosAtgTqmI9Vt?cAz2oGuiAwcY!_FEsk9I= zZJ8P;rF?Nfae3cQQUd|nO#9d1$5K#yUQ<_ksmCN4!h!;(!Hx8-qBJ&}SgZ{JfW<{w;n^31c_1GV%wAX!oPH>-j2 z7g_Kb>1I7Pm1cja;b%H1p9^Li+eMSa{_}KPySAr={W|^)Cq;1<+F28DwP_<*3OoBX zl)`;^3}1qS@E z@w?mdCW(czm&9fmW%WVL`=yLDeX~t7F~v>8(S-kD{|mPGFR(|7n>|1_&TJ(sK^4xn z)QZeZl%Db2O-!Usz|Yh0$rQf_>`$(Q*;b#eQSFTeW5YjV0`Rxx47f|oQOb}v!u(co zNDmjo2D`@IQBWWQFJoQ`*6i)j-S~d9s((0jB~+h!i&PH12KhA&=SE(@A(hXC7pBxe zaNTFI!!sQcs)bC@4GYkVtkg{nU!WIwW>>X#$_}~^0tieCQ`Jqa!dePD z?8WG&!glw)ellXbqVen0{U*uZKfs9D%zCVa1MF1;y?Tfmr0k#S`9Q_PAz_lm9|Gg0 zroYYlZ`G)NbXmu>;{&p5-*>YaW)bV>HijcyNchli@Q#_rocbd3g{V34&NKdHP~!2D zxA;LB7aqZGh(>t)RY1QH@oly+8ukHBSO}Qz{>xM#@e1}0Hehh zpNW9P1>~k>`(ud3W?oy>>^}b_)OzFEy6dpOlOLZTSi<8rOTW!w1pb&W9=RjcTcia} z>p2v+fcoSz%N-wXK7=JR;fF-lFX*J>^PVbHaC4$%144Ezl0qQdU^X=K>fgV~icM?v?D;pn>{t=A^ zH2JH~k|F7j!JhMk{kcOP9uYA#Cb4UWn}+5-w*^j?v^$)Uxp^sn%$!uh>9Mrq2JS53 z&Fd~f5MVYVuX7Kc2{b?d<2A1Rf2blz>=jp%AH$g>pAV31ns;;>HZKSwYt~Hdw?1c0 zuP2L%l+d<3I79X%Nc1*>z@-YcE!CH|5LGB*8R1=0CMoOPOUBd4QNKAzh4kaqwfIP+ zu8)5UlBMd!WwxZZW%kdkAcusIE1(S>$VCZ0MsuqD?De-v^`CGX8z%bd5`i=$Ab+B)%BdXes12G~Z81HdLyJa@l!wehx}T{(Bza z5~Y7}@9%&TcU{k_IzYx^LQoj(^)Ga<$H7uwv^=@tfiR=be>_3KO;Q(Kqp8xfBqq0nktbo*_#-#oX7G;z$Y<3zu|oq{5_yOF*k6AE7BoL zc5PqeO1#lAb82~=n>_&Q?saQiJ}R|`402awx|EI7frl1R3Y{?Vi6FB#WRl8j!6~Uqeu96N6|zbHSi93V~C;GL-EP z#qUPNFYtk>8Q|z;1`M0pnYui+sMQ~z;-5D1A}%_GAARJZ0o}q6$PoJ~)3)xNHbCGh z{iGr!*@+mB(v%M~Ghs4VLY|*#N&>$Z_?dPSHH2eq`}<#ei$tXZ*x{t23|T=IrON-r zLQNw0)0-3t#!Tj{5UAa`MiV$wfC6m90tPq_+85hZnRQ@)1eJdHGLUemUtX^1$!3wm zP$eXk8h^urc~~oX5r|{oEy!(6F|o1Ovagu6tysECc=LwlLT6o3YzgCf{b|Zb1k~?6 z&r*0RAv(IFsmXvi90%rXT%o_{k=E9>6Bo;wSFl1^&qexjb(a0Gix~jG05R>5Or-D0 zg!~8khxC*-8P_)@l#TpLka@bM2_UePXcIVau?p{jz7!7)H}{^HRfO5ZXxi?o1d=uO zoU*~nhnU=gg{o<#S-GYy?SPvO;Ou{}FZq&J@MrPGqOOnMZ;EcGb@L>$*zjgxoPAck zKy2O-AgtoY8_5TjW61>X4xKM0GW}rS1AI^D`W-S^b12h8{sP#S zK%ilRL-{vJv1-mjz9nozT(-dbwr2PvksrhYCQSO<=AXdWGO=1&|@#r^DzpC(cRyb6!Xz6RlfyX#bgIDd!nO!oDzP;azkn=b%8sV9*vl4n}QHk-3Dx%C0N`6#2u#947M}Y>C*``)=XgR|aZeWwW z{{DY`!R93in>V{WL$sg+?oHqP?W+o~3&xYH{MBA4&!2}eaM*XX_p-z>nj4=B6bdoh zpU&9$;UK46h=EjQC;3kz%n}EFAkr3arY6YTf$uT2z9HDz4PKpnpo6jr&=ss4pU6-j zj@O;=8h5+hy)hL~u%>Q$3H3szzROG0#6%Bq1%+asJUu@Ph6?d|$axBp{0zRkV!Ldj zlYRa0dWd+|PT#?DSsJPPAHwYL10m6Bj1rrtbeX60%;IvM_eKE+7#IfNn0gL~Sln}5 zY$lF;I%PxeBh^0R1Bfo=xwDni%5{0nQSuC87v$&_ULPo)Qsi*69tRSQ*UvM(6x)-#);5Azt z#D^VS+Edn*bt0!gDzvOS7L3&!(nQ79JNE4@LA4xGcg}N#iw1=lr!mj&rRR5+oV%`< zJ3*Ss?B4RBobeI@@d%b27FkIATUky?W44!GaAb@TkRdO%G8h+YWQ<+ zCB^ZM;~Y4S`Lo6EJhR$Y{MPbx`4eC;OCLCM^Q5k+aoac^xMv$_KfDP%QaD66H*S7R zY-XXgs#0^HL>SM5ahmI}n$HlB_0GIEM>5msoa1PSTgUwN<}Q!HA;Y!7497Z#^}e!l zb))l276fn%G$IPnLRxi{LX_vfzq)% zK^8*XxFF%h!wj=hz)?_85)k#TBMU2%B4IgNV1O#iQ6#%OgjmgVkQoGx! z{8M}0K1UcQ|I zVTeg*3~*_F2=tOM+S>0TK+PdNVfc~-4}}=m(8&mqzF2?|KEv2W8aJ)J$Z`Pb#>^qC z!}Ztb2fUy+LcH@wngRKFduM0p#RhgUv&9Hyq7Eq%C-j9^gPn zXWwc=Yh>)dtCk^Vwlbvw8BZ?*yt z`$CjI?Y%Q&(V~Z3_-#ml5fE5Dmb}F;zLBW!nRPUEW9(yg9^m$f$~HIDPBGNGjVW>1!Twh>NFdce$oi6)x@qLh>UKK4*W7j?XP@L! zvIxYWK#(f7=wCauUtBeYtVam$@k6t4+wr&Vg_u9zs;^ePn@?9aGTd#CqrpvD7;1f% z9MD*`=79KJUh^hre%a%V&r||Nu(Us>NU%XkObh2QC?upBaNj%QR80wwflbZ_bZr;= z@i%f=2o)icH}>)83I~HZ+*-n(C#5YtCcu5|TCwg9_RxSNx=;?!wI3HZChPmh6DH3r zRry2wF_3Zs!9G)uR)|(bukkUK+Bm7$VAamqj{Fd1)7o1)sKlc}3Y33B2s#2g? zxzNzhXZqL4NnHJYL`krht*3P#kT5kkN&QOAa%YrrN*fsHL1eGFB%DnwLb3)_1=%Wp z(yX`fhnUv=HO0{(#xc2D7{1)>Y5@lIX!G+6-OBD5Zz^Z4~qc;FH0jH5=Q7 zz>^LJN2ZZ$mK`KfP^=)XCwU8%0vs~RW%wWc>bNAUpbdU4w#z@NiySm|62^lp$5~fF zbf-2A+toAb=lyo%@ZrOwV4r?Vrg}gfUHHfzH{JA2&2i@M5Cu7`=f*dM2(TFA7&bQM z{Sy%L1A3vRp&5c2HCYV0srjyoN|^b1!9tQq9wu}ma%W8^c#AA1g4eLI6QB#;65g!J zFfcLnj}|QxGUKs-_5&eu^F2 z8A_1LQsczct)_UYrmH+~)uH{MS(?wcM;QAF=G@fGMUZ@qfJ5V!CpREoD5*(}%dirG z31vVDz287c_@9gx*IncSu^vYx5-1mi zbc1ExSidm)tZEKpcejXeed+Q8W5>ai8gB3{ez`D|$Cr~^J=16;hmi$e=1e_RYVdyvK`64U=a7bU>mC%G>p#rQPDaC6hbk@+sTEn{S>(WUe} z!a_qm2CN&sj5Ew^EO65<7%`z^Z{8eu(XIn{s)yZ*gRY#Hincp*1OK!r)qryf|H!p# z*8nb9tEvDU423a{YnX7$qx*v1gkTDSVHJQAcW`tTg_zwTw<)c~s9_G=5(Y3KuQyPN zp=&DP0$i!{y|S5W38GS zlRk#k^xOTxF701QGY|vgr`OO#fj^mFJ30`)hx6aq0HoZF4ArP;mRiW^T&Y>?aaN~9 zNoaxl5*DpTr$AxU9{TRRAJmqanHf|lz^U655h?!eqPT7QFsi8%t~W36Xza@no!$8o zfl615m32&v)=9;sd&pJI-dRaGN}^!x=&Tc0PwlLk`Nip0$$h z6lu8B)V!WB$PwS)3_|?0*?`~ryUTW3YazyEs+kxnfSe`>Cy5|=w|R`-}r%lX}fLj)|x@#H1%vtDSLK zZxEXIWDt!O++7*UK{@}Stw5OlY>ILK%CrxgHqQIHXsrQU*od}86Ixt(LcxUk!Di!X_rS@&T zoMY1MyjT=#L*I~ZQu3xgzC{sax*?b=%xBsmHUD$1tMNhC@!{v-HuljZSqtrcC{hA4 znlBskWZw#{k#||y?g&M7lil4V=nB>A6*2yypT7FoCV$8?MhhU z1WbyJO2!kH-ks@0Y!}pQnQb$%K+$P%c0L}Nc)4!_2LHjE8q&3ZBhE#Y8cG9!z|#z}Sk%GkBf}hMev#D&*zZ-U0~_r? zvuWj4AL#6)g0~}{FH}iYF9|`P34>m%4t4HlgP&%v{a{wQaw3oa`rEWL&P2J$aKR6$ zslMUipnLy30(D@yYhOt;$IW*V&&J`}4bN1$2JCE;TtP%xar+*i1!o2r^;&F4Xl;yZ zv(Nmc3AZo23>9~>_jmRMtfdoLU7n=jPmwBv^NWABm3K|BkaZ<3+{!kapI=O}5^{lz zcm6j@_Be?$<(!O>J6m0iO0W$T-g5U$k_N)~jUTE(|4gwBK43FE9NDkywGTo^oct}) zwg5|g<{Xo-w^!I&te8@exvzF+*YOEH3npSGbKOzvZlg)YOD(GkVu7X35-33%I-$At zmwz9_k3pSB-dYSR0?(%yFboQCbK63AS&5DD*7$@hTjIr2Xsx#_CxWpm%w+Q;t6zLG z@40+^>mt1Pg~!3jdo!m)1C?fonVbH2;Tmx&G{a}Thr-g-j!Qm3A1W*!-QAi_K*yh4 zfucQkJH2YRU@?JnOgUPW3<7+4Zc_5-s7{>8&m*jl2a^BdkMM;xW!m}t)T!>TT|OYR z<&RY8-cY%P z%Fg?_*q_IHF=O&+UJNc;GA`Rsx`kYYg*HHhLHiJOIs%Tv%6YPn!dSlb!upLv-w1GZ*cK;aVSupaaj@?)>!jRUCyYty{Dv_BROVs^L{`J zcm9X6vyxnIApHX64RpI3wlk#Z5n^dqO0AZ|5Y6OvO<__TBc;pABE@`Ml7N+6Jt6c= zO;zTa&gq%>LzX48@*sPByb`rS8czWB%vM*A9CA`eNz+wxQn~wANc=02w{zPX2MF%G zi?j8x`6dtv^4GT)gL=MEMSeacNvz~F=-iMXfT6_A4%31!pQk#8 zbm#IwDnZu_E%fdP-!rQ@(ijA#y4==us%D;TX@av|Si3|)o5lSeH(YYb`5u^c_1(GM z<{%ny&YjL1c-Lo>G1U3}Cgx!N z;(8DnjAS#2S6Nq+tK#79ymI>Mb#q4YGON9F_GmQZAN%-ZDhtTPM}5HJ=I>alg{v`w z0GB5%R@GTb34?9P+%CwRH@CighaIOm$sXJuzXuN9OLBVe9(&M=5=ORFqUEpEpk|~=uOfo?R0Qu>j zGsps`re-wlNvG_A*Wk9S zs~EKy_0LVBr#xNxAVhAy)7yls_WM0g6TRP870UEKE38MeB-y`s^5l{56Zjv(E^s~xuHLeX@;U9b=}fMy&6iT6`hrdvs>_xq zTFIdEzk_CP!wHml3#5Y~&i9oDtJ?cmT(Q-b{$q?e3pW1(nCzSA+<}vmLBX@+c)oja zJF8Z#FASYr@=S8tPZ6hQ62ep^XHlzlzt0JHoiU5#iKBB<**nE~^^#O6!$v#BGmA8H z-16V5u{LfBsn$7huk$YJoD$bWL*@jb0 zrbre|m7>ha(hI*dC~vD6C#`wre#QP;`@2V-y>*07a4U&VW)5BmZYqfD1@LW?ywMyW zH(3^VcV6wQlxG!Q3(Ust%kw?HX6xd!R0C)PYkK9vLSn+IaV~C9cG>KH&gV-53;K5?+ZvdfngYa&;cz{K(^qtp9v~bx zKev*>0HT`zJxT5 zeEFU~3U@hu#bKBS6b_+wIL{OfMYkr`hK^y>G`<%OeDk#?MKpZrZul*17|DYIK2J4R z!7y9=_H~knc5oE%@@&XNPzX{~Mfb{_!9Fh5k9=LjKcYKt`vQrK9kx z7r4Ndqpip14Bw25j5F%{cGbtHq^O_~z#~l6V;!y7BK*<-3qD{qe2Wp#5NNdciyPhVf(ob~>xMKQy-t>d5Ur|1h9x_{+ve_h56?>xWWXJCdKH;BYCiD2>Nkwes|_m{SF<_UBoJ2Y+tqqMwy zQk?O%A0mpPv@}pDMcD~f$cIh(;B(SS>I;}B!;AXOr<-)_zy0`ut0t*h<7`y_mKs{Z zCj8jJ(6ws#AT6OHq53s0?#LCR*m=d6)^g$U<$1uM2L$s%a{GZo9k`Xb2QPcEKo?-a=eE+qU`t;=g_sO*AxvAg~O?1Q6w&ZxZuZhxJ z23)ta+wH^R2%^*r7iM>H;F^8KXx2_l6~2r_=3jXi5t<7}E)4^FGXKY}+#wP33k^&( z+R|n-yK1|0RMF(|j{;&L3h`q8A*dgrEA#QmaG87mk-5epgS`UpV)|_2*>A@66Da+Dvf6lBc zFQV>kt;Y~0CDF*_c3F|&za&xqka%Lz`8jCRwulN%@_i5 z$tax~W@WjLS|u06^MXn?a(PGRjAZs9EG~UBMA8W z+$a%&w3E-l07{W~>;`IFd$=1cEG&G5CG-3OPCRI-+}pZb9SE{Uq$t=cbrmhxo$K2k zpg127;2^XoA-?#L0P95q9Y)*CAf4p=^DQ7C<`uq7q_aV5r*k#>16PrCyG!B^O) zm<2b`j{+Zf*7#Mk4;%~4o)-s`+_?2_m_j#umi3EU`?(D#))inA$3~3vn4g%c>sVe@ zH5GdJjk9;b6x)l!xy8QHg3=)0I#iokW4H$svp5RphMKpVrEAsa2JEJSr4f%uFb-X} z&JWn(=*V$y3lah&tRqB^*4?nG>RD6+kS^KFpZVUg1CJ3yJ(i+TX%ul9QIe0!7eA85 zx7Q!kUyvEx5s1N6rOKYwf^97d4;|iCK4*6Q`a(1NF}_2uDs7{Ka6*@Px1WgCLras` zUbwLJWd<@q)J`WMppUp-;yHFH6K0;_xSXlQXM!zo3C&EKEh|H zmw9h)=z`Rdw|rojXsy&*;*;wS>kRy4oj#aK{XN8ddVc5s61{lP8!dF>Bj>rhon)5m zSpP6$Su$g%U;~5vCgZ00`q}FYD8(1 zl4X_}W~@xA>nTtLAHQLl#Y-6JJhbZ7h%AZJP(`QeFELPzF5f6Y3j-L)w4uJ1u~H+O zmj|@2ce8Xn*F!Ui=9@e4f*id&!j&DW)6!o4GOhjO)puwac?zAC-Z*Rf3=MpCQDC}b z<_io@^K+aFdDH82igkDcX${9$pL{+dW-MlO*;nKH+|w)26N`;CE_#q1a9gw&u1`u> zm|6qwSyq<~w?5z9P~h$9YV)O0YekY2Be(>OzauL82Y=TYSZT>ISydyHR7PngUu4`b zJsZa;OgwjPCT(5A`zW0uZU|`s_iWp9*r)i%rcfkkUOj(MScKiVfRxV+C5h)FUgXty zv|KAIFF#%3nSxD0pX;y+&q+T#8r^MVxNI(ZDvlM-3ipi?K>WI#Zo;t;u!?KAylv(t z?t8vFm3k09XIqV7JOYWOVs>{nf~Weu(f#Hj)fx(D=Na_NFTWTzbu^U>D=rTL02rma zLoHlPsod&R;!SkNe1^v93$4a7JTfm@yE!JKEpc9ld&jFw(*#<~_eX&iYaWChvugev zTnqHhmr!4kik`wtK01&5C?%s+i{rlT+-wHpi(ke`nKgf2bNWZ8lC6uFpGc&MFs-AY zpul}%v~F&3@v^1}l-{BXgp=k_Yu%6nKel}onj?YUoUh9g->0NzD@axs90dQ;zKsopZZ=?CLzr3QN5J!Z%2b2MZ2H5?}S5wB@6a@Oy-&LpYwZQ~T z_g-O%c;{UBHi)isSeVrP@(^JuLTA&dTD#}ASiuAqXB3~?>{ zYFxsbW1cImOiWB9W%^1FkGI9~|BXW5Xv|l_!(;ZZJg0k&5!~D-<>fBw(W;J?shpZ8 zPb7TaoA^vjt@W^5vSf*Kn2E7*0g!P?tG-8}=h2t!45$B~%)ktXoZeS%&`iN@7C31S@NPhV`=lPAvAIs(!2&AD$j1H!@a zHge8wK7Yi+>w*TOa}0;}eAUpn+xpJWUr-4yc1F?~6G9U$a*;et!#BeaMfu4ZU3PY_<0~<|WOkeV zv)_JFc5SPktm=F4cIxu!;FuuhZpT^VXF(Y+6C+s&MK zov}KRsh$(>^9^XGkrVHgYVH)z?zSL5zjdrPM%+tEELlu%=T;5C%5m8;Jhh?bkf8-G zoLVVyaSS>35Ap82z`Zq6Y)!ZTy9?+zj)f%IO<)A zV0&W{DKo&>c%gY5!@z~)RA%6|jB|^$46mneVDA|maKe=Test<)bXNA^Y)>w`CoxNzJ6YS{4o(3*h`?Pq5 zaf10244!-A92Ih)KYFk-TI%sWLf5R}Rwc3q$mPH=nc$vf=rZhAUS96dC^#L>{0o6%Kg<@vTuEQ>5&|6kfR=pHRyj>u*}Wqrhv@Fd8WL6 zH(Iq%nlXhTQQTa1flVfe`uipAdV2L)miu1p>OyJE_w1=|(w4+LNJZy7=_FVgL)+gE zi-kbDy0qkAl-hZbKso7C+HI=`x?_c;7~S*;kNz=YkOpPY@a+#3&i#_bj4bL5J_5jB|Rp`Ka<6Q zAHvS?hU_QyyK!o>{VP~q$zy>qOghBgn-=M@LYd@ zOzitY!IR-T1Ntqh`rT;GuG58~ayrodwVVE!5IOcHDHe($@oM;4Z5hX48Ev z#A^=Z>6^Ntu2l9lN0uGh-p#R01tipSM>6LdnkiiE$;pNa-8Ezli-t{ya=uCx|uuS#I3 zgGP;=lozWr_!{-z8rE=im>92_hiNI6nU}9!QyA(A;q{~~5^P52HbLmGTL#}P0I!q! zxEFJ3r(!bpo324C=w-llYOh+NSzVPCtSpR0m@rf|a`abz-C0dqTqq&+d27zRtLjbk z8Ek=zt@g5Cu;6^Ni>KEu>%qQE#}LR}u^nPwFGiv@DhAe*cVFnd8_hWf8s_V`*Hlic zefNulEg5^)-2R$G4a{$D>0${F%mGn!`iHtC3!*7CdjhY_PeAkzI62W-T}I2pnOZ>K ze_ql1Aa~$_TSs`E*OQi<_tzZrQIBiY-vb9N2>wRX+?6|DxA1nQpvAaSw@_4CAu7J- zORKA=>+pI@CfE}Cf(oga5TI8QnLzO4l5hYFn=sOaWjXc*8RLPXx`DM`7%0MN52I5w z1Z&W_&(^2su+JH{R)y5+@u61U?rS2{xMy;PFx;Gt!8=~9Y*_0vXuzq=QWO|^D?u9` zc;8k7^^)8spP{D6;=-V5l0KaVJ||NXjnJo7T-*w0uU?GzPRs^$^~7))Z7(&N)JzuB z8m(XwBdwfnkK)?{ZWM2zgg4zN)-cF5yTyV_K8H(Nb!B6P54?_gk~|=m6~(pOU{}3u z+Zw;%MerYl(KnuwZ+MOal{Z^>j!kVBZp60??DuJ7PCn-QlKIWg+eXXYF=M}s*}5AO z9bYG$I}$fmR&2}0^Xr+xua{3=a->N5;wAY-zj@sq>A-ZlcCf5!<1XK&2MhkDczBAF z*VI+}Z{PjtOn-NwL&x5*X=kRio$U`hThTJT_-sqZU~OHC*7U}(3yukcq10RLM%3)z^8iYLJR}dtR^enOdUNZSK{wr7i$=*i+fPy#dy5Gd!^ZN1y)ZZjGl* z!o0S_nIz@5>e9wStyE}S9019d@@q%@P(<}z-Wg>Z>s!7f%Ao4p(1^zdZF!R5X3vYB zrsni_ufZ0plB#ZjVJxi_h80rQtyMRZ_BIt0;0D1iBtsvr>KF{dRA4`3Z5rIt2fKd3 zu;Jr9UUF)gv_=8s2k^130TAek`Iz$awsun z>cYi~a}=}Q-DyS|BCaGZF);+{kC+=-J@rR6pzGw79~bs@zMep@1Gg{#?y=d=Uup=1 zzImzuweWRGC65pv2+6cuzy2EvBq$K4W9$5PVfyO$9GwdO$9xkUvAsc7h$rTc9yfh5 z)K~!7r<1Zq_2-W$2EhNGK2M;pXMBwQxV&^V3)VIm=ui6oUKs{^6dVqPu@wici1l|7I2I!HGFS?kyWF5suhE zex<YSSAR3biwcbkly^_)AY-K@Y<1&(Bf#ABuWZ6Me7T_ITr5j?#Y#av09@i`c8QFPYwgteFJ70 zGOwW<1qLT;sC?t!RewaO01;<+QS93ANdQsqEuZCEeEY*PVQ>eYZ3jMbJ+R}83GLggiI5Ftw|6fH7KpdZRu7ie z3Ts&*isR-Kds8GQ=7JnFjjS7W zn}ZFquDrf22@SB#4gTh9xV%g#XhXR_sz(|&slzVa$m>Vq#qG_N*szDiYV5#Y!I*q( zsG(qRB_sOUmec~EwKi}-Hkg>WRIHQ z8289o2Zja-xM{0H6?Z>wB9`Ri=%E|OH5$$|DL5+zKoaS4Ho$W0&H@F!5Z=?Gp{t3B zCHpkT$G|;jdm*NmifG{VH!Ar|fjo0ffSDCvzmW=fso?%8xpl7t34dW?KDw=}cM_yAqK&m*xGXIl

XVI${GZVJuaG#;04vIzQ#XX z+Q`IgqDFOLPm>$|bV851o&B=SHk#$qiTN&Tn=sjps4NsTkCRfDz>%u$N=eN>I&OpviKRcLZt7!Hx7WLaGJ%h2C|C*SbI_R`LidjS z@=NQ^=Cam3DvUX0(CFt85!G-W$C)G|Ns=Re=+L27ZzbV7h>FTOc|-%DfG}iWpnUL|7rZLU{@TD?0O5LUPc873J-gmgcwTi) zH%bAl4k(D=_-GP-Rqx&hR@(>78LO@m>c&JMlk&Wm3I_=Az=StxEsxF}sr|wY@f4T` zwPOGUR>eLpdUZ`UO=j7iIf|KYulMB5*JeHnS~~EwK($)B>k3 zyS}#D-VuH8gXgY3P1>ovSbo6*Kd5foR!v58a29exbonL_iQZRFj+ClCQBmE{*qBfFDkVPY;P*k7 z)W`eCruw{IZ580iYT2@uAmG?Y7c-j3!OfenPVc9meqs+`2!cK#dkQ)048ma_j7u_K zUk<$46bM-29QpZ?(X__cRpnhzesy`^vhcLL>3BMG@#g8* zi)_uYo0MmjzxYSQSJD+tgNiccw}YZsy?b;j9%T+l)DOh2n$=6Z;SRd zla;OYB7g`oF_D_gFXdBXPr5>tUaR7DrRHYe+qZUYk!(%w1vn*9qJ3kvo zzfUh=DProm1aj_yaKM+EKF{`aeOsHYLH7f5b@BE!=BQbvbfX@iu`T( zF%F(6XPk%Bs7PTkf`2DQGf;>Jc3mnhsR?C+M6aFFgb8aqJI=yh1uxtCDlcN$UV;%Q zkxvSds7)#k)svC^vaimBUFj*r>;gWEpV8}TA!w_oqO#H zhp(m7mr$n3yig$gzIsH-8~@UA=#^vrt^Fg@gO?u|7--UgBM#M?1>d>kK8%~dx}k?9 z5tW(P?#;R0EP1mV3s6}uE-sEbeM(x9B$_$D0?cc6>Lp-IpD=UDi4$+W>0n%I{1AM* zYfWP?{P)5*0@z=f+-soSevB-5RbvzkoF9DHMNz<~hyyXT30B(~S)v=wffy*{T86ws zy{7|QxqI*P{3mP~FcrK7xTOIUPppa{dNJUxu%bjv%yY?g&GjCv50FdPu_*59)m>$_ z-SGG+J7;zy6^9DRiRW8gZjX|@(VQ&$qS8$S_#IvF_19l>PbGR?s`Nq}qzr)^ckd_= zl7@_!7-+*mOq+Rjo`sI8-St4tcV&4a%{GmEmLr_uK-Pj^GU(q9{`XP>VC{2&q8m>v z;#oJ|KLy;Srhd>di~Ah`;XAVwpmaeL68b#kACXxdhjgtIA0xW#?zEkcFSFZZpa(TEd01pa(Rag#ACa&B2h>*WQvVAs51vc zcg3HA`Br!n1f{3f*;1hdTe_!uDdWWxcM&80sIv$p7p*;m@!y9Vf51j?w?9J8Gx?DB ztXYV;fojiUSAm!_0g%A|7c}$_faJwT2+t~JG8j{*POV1_Fr@;X>oj-wAxmjS#KKQE zZFnJl_1^7L8U6`=$iD{F|K;NRnUDTFKzO#F-?LmFA7Wszt8n_CP6pF%%>2)M6AC{d zal?QmM1vyAf}4nZ7APvVJ=0~Bj{4}3xD$@{;rg^}V$P>U8~%S-J0ZZRheS6!qa{J3 zZ7Rd*%}03JFjh4D{SAKs#{R?2{|u5WLcn1nnXo&7b}%JDS(-jdVhqDmO#=E7gYi8T zbj-O^o9#*2AhsFc0>bs|QD}1D!&|8*ZXdRnfcnJ$!sZUELU<#hz{D50f$gj7KOKdPfE@{Tc$jg3XyMGyx2_u(C5=*|b0ZOVs!b6EXhMZjdD zKcLKD{<$wmTX`BOpluQB&U}0B;BfCWK+sJfXPUZX9mph*M0DNq$IRf!iK>n#;F zhLJJr6QRBSE8)t7q)JWuTg(J?rx&`!J!V(IkWFl3%ozJ&X9@rHO}I!PUbP^vOt%Kn zx&b37j(oh&F|Cv*%Qy}oV|y|zm;sZ?JZuYm_X?;C>nQE+=a)9n{@?5!>SVah7ec<%qmbB(7$ewT5on7geu)QI?ak}2GXOf0 z-23wv6R?9Z9k1c=A}nc4v(xP-AD`mz>6&ieqW3#{T3ydC=QW&{N2LnyKF31n{bU>f zcS2RW_ue{{a2>Go5H)m8pYtXM=pLmBxXICj^7#LH0R3eE&lW6P7_eF~eGcO937DQ( zyl)NcC~)J+i?-fnR%DBiVTNxorbC%7a;(kjDNoILYLCOxMZCE^M}O_FgoTv1%F%@T zI*lek*O&mdhqHAAuUUw&Q2pDPj5#IuzHIY32RfH>-~=>DyP^+ zh=ZibtlAmdxL{NFQNvgp(43N-Uq3STNkQa}L7|jCkvcv?xBcdg7ekUFv=&(Pe3XkG z0CjbNynG-CLaJw@L2TxR*A2`ATzwd5GLZ71Q*tILy@6EH2s}u7t}7$sQu(B6-ii;e z*hPu4(uwd(;!KHV#mDC#XX8M1o+NaGJbrf9bH|d6NJ2}~VMY9m)aZ1;$w8omHh=^v zyeu$`XX|pHgay4lT(*YV_ubdwZ*4{mfpPId5MuzLZ*P=mG#g6Ph@6-oqiI5&Qd-ICydV?w^)!_wXB(TE4B&f`M})Ucp}m7MhPN@npZ5-c8wJ*lSHY4f?0B9ChIRIO61ayf+_Q-t`5HtFN zbFgi&+A`ZiA97S)GRpTN0QC@J64Y?^V!QK+DgaWTWoDf)AO|~jCo#_>FOAPxOhqhdDT7PpkR^4 z6TIjg z;3LNBAg9_44fLi5i}q3XKqE49&MqG?W7RP`4HE!!!bV%en39bGK*}X>fe6D$4D%sM zNWig{GxIUIT>^~lyM5^pFT<0kPXmH|(LmyhI*=(9gcw49CO#ZpzP|VKoQ7*XajuMIBHOXNjdwU-JcK<+jk9 zZ-$72ij+T9DERr^J2AfyAax{@Gg3_Rn+KsvA+}&4{%rfIsi_dLt_|wJxtIX2-QIDc zw=fUI5#tdk-tS8XXJhx8a217?rqAY^Y}&N1`anPNxbpM!rKWwJ;g2KeB9|sPX;MLx zc6WLjz(7*%t$T)Jh>X*usEgyF*x|e-yRZJT4Me(KdsqlSZuSikS#ByFM?kL*DNSH% z(8K4?*XH`4pyms2T3T$7k>DOu@|rnLM!WjW8mVnvZ!3{WJox~X?4gXJ3=kxtdW;nyNO445MZpTNu6K5IcF4;x8R2{p^JrO<7 z0KMPtZlf_L`V&tfHij%-*4$CuemvHZe)OrBJ&Q6m^hLCqW}TG~xcs)7%xQ^BDACbr%jzh827yh!P? zj@-F(hZHA8f#6vT7v3|}z!)t3PT*XX+1EZwg?$8oJx4LS^HD(yj5j-H;?Ommf$1Td z?W@@Pgqaun6h{bQkd@eUwQs?=7rUXhW%=^u4UKboA%1}J^J2B%Uolc=Q=KF7SV-bA zoLK=vXc~$lv?0}G=D8HdI%yEDcdIzAy{&b=H@t!aPvwO7cBDjs$U82vEQwgQc;l5P zU+5TtT|_yCxa<2y0~IBiqk^$;Z7VY~B43t#@55s-@`bn_gHeTM@;A`l&a}YYZfqO! zayto>=l0zmBlB=`gijm*b5-xi&``<6w#5(AIFTGLTXqE&f!T5`HD%!z+hadmBDgyV z7$;a|-$_VFL^%221s|SKo}FS}IUbzs4Gv>`Ply0;D2NNfC@E%f1|HrfKVV|fE4T*4 z{xOcc2^@`TTOEDicZ={%PtG8HKNP&Ch(Eh3m z zJBFd2iaZmECHsAam1Bf#is=4Fk&iDO4Z$f(w8|ydY!Q_pSOZzwt==)vQ4#`@8(O_l z-uB&{u}n0MP|0+J@uQ!_#py#-?{EPLrTLouRBJ`i9^qnlSX4dIl8~uLm?(*EIHvx_ zbo7>hLP@zERI!!En|?Ts4QnVau&L;57iS7s;J=8dz5!3j=#aBnD zbC7Cp0B46iL=JpPBKj#sppa;{wk!C3+|rd|OD*BUE~AX2pC8!jx?cf+Mq>>f1HC+A zu=fmdeCl3#WN!%S-1n|)2_g}s) zdL`3)*TC>fwX`^8Tjy0Et?Mw*hltNXKGn9$b0H-ifn9B*N*BsMFD;G+;EYQ2dsQrv zM~Og152yYVwts>_@bsN3xv#?P413>-v6@#Z?`gPO(2{z(s?N-Xg9nGKvrlrmD+o-b z?BWSi(0$530Kp8#SwwYm#Jix@7u!4FAQqzg!n)o8gpg1y_F39kn)ofLibJTx$wOjf zY7?m<&~zf(2N&HdDRJCmv3`B2;xGhK2HMaw5My)Z(dv( z%%Vw=H}^E&himG<&8|b;9gR+ZLd!@&s_OS9<`R46#2f@(MN-1iC<@VUoJ5) z1f>8((Fyd7rkV=K)CD*JOcw~G0g^M%hl&_CRzPx*;cfpfsB}lS_IGoron?NFYn>F( zX}gphRy46(FjV4?+@m2JLzx`f=OW zBhZ9H43T+%o)uGvWLLv4!_KA%NBzHeL9c>?oOu(ylzDOeJvpWotzJ_V8JY@Q+~)#?jCJ6qY8!q?EEdH+sFbk$I5T1**{! z0Pf}ggwzVQEm+*hN=UhW%~0F-QB==Q!VbU5pW`74Npw`=Ml2HM|9AwM^f3R71=>+o z1&Iz9A>Ui55LRV~Ku29@w38=KZZ(gKj}NS`uMY+eV{!CT*K~NJdr%>R2=!S4OPLiYc6a|G-Cmss3?sAc%{ d4FAj<^Uid~3S;Yi#&oOi^$qnBR{Z_I{{a(Uy7d46 literal 0 HcmV?d00001 diff --git a/docs/source/theory.rst b/docs/source/theory.rst index 9eb5713da..5ed6d4de7 100644 --- a/docs/source/theory.rst +++ b/docs/source/theory.rst @@ -272,9 +272,44 @@ Finally, convective heat fluxes can be applied to boundaries: where :math:`h` is the heat transfer coefficient and :math:`T_{\mathrm{ext}}` is the external temperature. ---------------- +Kinetic surface model +^^^^^^^^^^^^^^^^^^^^^ + +Modelling hydrogen retention or outgassing might require considering the kinetics of surface processes :cite:`Guterl2019`. +A representative example is the hydrogen uptake from a gas phase, when the energy of incident atoms/molecules is not high enough to +to overcome the surface barrier for implantation. The general approach to accound for surface kinetics consists in +introducing hydrogen surface species :math:`c_\mathrm{s}`. Evolution of hydrogen surface concentration is governed by the atomic flux +balance at the surface, as sketched in diagram below: + +.. math:: + :label: eq_surf_conc + + \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs} + +where :math:`J_\mathrm{bs}` is the flux of hydrogen atoms from the bulk onto the surface, :math:`J_\mathrm{sb}` is the flux of hydrogen atoms from the surface +into the bulk, and :math:`J_\mathrm{sv}` is the net flux of hydrogen atoms from the vacuum onto the surface. + +.. figure:: images/potential_diagram.png + :align: center + :width: 800 + :alt: Potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state + + Potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state + + +The connection condition between surface and bulk domains represents the Robin boundary condition for the diffusion problem. + +The Robin boundary condition can be used to account for kinetic processes occurring on a surface . The general approach consists in considering +a temporal evolution of hydrogen surface species (:math:`c_\mathrm{s}`): + +.. math:: + :label: eq_surf_conc + + \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs} + +------------ References ---------------- +------------ .. bibliography:: bibliography/references.bib :style: unsrt \ No newline at end of file From 781838d7a92678065c0e52f80505afad35025c7d Mon Sep 17 00:00:00 2001 From: KulaginVladimir Date: Thu, 11 Jul 2024 16:55:44 +0300 Subject: [PATCH 2/7] upd theory for surface kinetics --- docs/source/bibliography/references.bib | 66 +++++++++++++++++++----- docs/source/theory.rst | 68 ++++++++++++++++++------- 2 files changed, 104 insertions(+), 30 deletions(-) diff --git a/docs/source/bibliography/references.bib b/docs/source/bibliography/references.bib index 5a08d9d7d..79eb74285 100644 --- a/docs/source/bibliography/references.bib +++ b/docs/source/bibliography/references.bib @@ -4,7 +4,7 @@ @article{McNabb1963 year = 1963, journal = {Trans. Metall. Soc. AIME}, volume = 227, - pages = 618, + pages = 618 } @article{Longhurst1985, title = {{The soret effect and its implications for fusion reactors}}, @@ -33,7 +33,7 @@ @article{Delaporte-Mathurin2021 number = 3, pages = {036038}, issn = {0029-5515}, - url = {https://iopscience.iop.org/article/10.1088/1741-4326/abd95f}, + url = {https://iopscience.iop.org/article/10.1088/1741-4326/abd95f} } @phdthesis{Delaporte-Mathurin2022, title = {{Hydrogen transport in tokamaks : Estimation of the ITER divertor tritium inventory and influence of helium exposure}}, @@ -55,15 +55,57 @@ @article{Schmid2016 issn = {0031-8949}, url = {https://iopscience.iop.org/article/10.1088/0031-8949/T167/1/014025} } - @article{Guterl2019, - title={Effects of surface processes on hydrogen outgassing from metal in desorption experiments}, - author={Guterl, Jerome and Smirnov, RD and Snyder, P}, - journal={Nuclear Fusion}, - volume={59}, - number={9}, - pages={096042}, - year={2019}, - publisher={IOP Publishing}, - url = {https://iopscience.iop.org/article/10.1088/1741-4326/ab280a/meta} + title = {Effects of surface processes on hydrogen outgassing from metal in desorption experiments}, + author = {Guterl, Jerome and Smirnov, RD and Snyder, P}, + year = 2019, + journal = {Nuclear Fusion}, + publisher = {IOP Publishing}, + volume = 59, + number = 9, + pages = {096042}, + url = {https://iopscience.iop.org/article/10.1088/1741-4326/ab280a/meta} +} +@article{Pick1985, + title = {A model for atomic hydrogen-metal interactions—application to recycling, recombination and permeation}, + author = {Pick, MA and Sonnenberg, K}, + year = 1985, + journal = {Journal of Nuclear Materials}, + publisher = {Elsevier}, + volume = 131, + number = {2-3}, + pages = {208--220}, + url = {https://www.sciencedirect.com/science/article/abs/pii/0022311585904593} +} +@article{Hodille2017, + title = {Simulations of atomic deuterium exposure in self-damaged tungsten}, + author = {Hodille, EA and Zalo{\v{z}}nik, A and Markelj, S and Schwarz-Selinger, T and Becquart, CS and Bisson, R{\'e}gis and Grisolia, Christian}, + year = 2017, + journal = {Nuclear Fusion}, + publisher = {IOP Publishing}, + volume = 57, + number = 5, + pages = {056002}, + url = {https://iopscience.iop.org/article/10.1088/1741-4326/aa5aa5/meta} +} +@article{Schmid2021, + title = {On the use of recombination rate coefficients in hydrogen transport calculations}, + author = {Schmid, K and Zibrov, M}, + year = 2021, + journal = {Nuclear Fusion}, + publisher = {IOP Publishing}, + volume = 61, + number = 8, + pages = {086008}, + url = {https://iopscience.iop.org/article/10.1088/1741-4326/ac07b2/meta} +} +@article{Hamamoto2020, + title = {Comprehensive modeling of hydrogen transport and accumulation in titanium and zirconium}, + author = {Hamamoto, Yoshiki and Uchikoshi, Takeru and Tanabe, Katsuaki}, + year = 2020, + journal = {Nuclear Materials and Energy}, + publisher = {Elsevier}, + volume = 23, + pages = 100751, + url = {https://www.sciencedirect.com/science/article/pii/S2352179120300272} } \ No newline at end of file diff --git a/docs/source/theory.rst b/docs/source/theory.rst index 5ed6d4de7..55b39909c 100644 --- a/docs/source/theory.rst +++ b/docs/source/theory.rst @@ -275,38 +275,70 @@ where :math:`h` is the heat transfer coefficient and :math:`T_{\mathrm{ext}}` is Kinetic surface model ^^^^^^^^^^^^^^^^^^^^^ -Modelling hydrogen retention or outgassing might require considering the kinetics of surface processes :cite:`Guterl2019`. -A representative example is the hydrogen uptake from a gas phase, when the energy of incident atoms/molecules is not high enough to -to overcome the surface barrier for implantation. The general approach to accound for surface kinetics consists in -introducing hydrogen surface species :math:`c_\mathrm{s}`. Evolution of hydrogen surface concentration is governed by the atomic flux -balance at the surface, as sketched in diagram below: +Modelling hydrogen retention or outgassing might require considering the kinetics of surface processes. +A representative example is the hydrogen uptake from a gas phase, when the energy of incident atoms/molecules is not high enough to +overcome the surface barrier for implantation. The general approach to account for surface kinetics :cite:`Pick1985, Hodille2017, Guterl2019, Schmid2021` consists in +introducing hydrogen surface species :math:`c_\mathrm{s}`. -.. math:: - :label: eq_surf_conc - - \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs} - -where :math:`J_\mathrm{bs}` is the flux of hydrogen atoms from the bulk onto the surface, :math:`J_\mathrm{sb}` is the flux of hydrogen atoms from the surface -into the bulk, and :math:`J_\mathrm{sv}` is the net flux of hydrogen atoms from the vacuum onto the surface. +Evolution of hydrogen surface concentration is determined by the atomic flux balance at the surface, as sketched in the simplified energy diagram below. .. figure:: images/potential_diagram.png :align: center :width: 800 - :alt: Potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state + :alt: Idealised potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state Potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state - -The connection condition between surface and bulk domains represents the Robin boundary condition for the diffusion problem. - -The Robin boundary condition can be used to account for kinetic processes occurring on a surface . The general approach consists in considering -a temporal evolution of hydrogen surface species (:math:`c_\mathrm{s}`): +The governing equation for surface species is: .. math:: :label: eq_surf_conc \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs} +where :math:`J_\mathrm{bs}` is the flux of hydrogen atoms from the subsurface (bulk region just beneath the surface) onto the surface, +:math:`J_\mathrm{sb}` is the flux of hydrogen atoms from the surface into the subsurface, and :math:`J_\mathrm{vs}` is the net flux of hydrogen +atoms from the vacuum onto the surface. The current model does not account for possible surface diffusion and, therefore, is limited to +one-dimensional hydrogen transport simulations. + +The connection condition between surface and bulk domains represents the Robin boundary condition for the hydrogen transport problem. + +.. math:: + :label: eq_subsurf_conc + + -D \nabla c_\mathrm{m} \cdot \mathbf{n} = \lambda_{\mathrm{IS}} \dfrac{\partial c_{\mathrm{m}}}{\partial t} + J_{\mathrm{bs}} - J_{\mathrm{sb}} + +where :math:`\lambda_\mathrm{IS}` is the distance between two interstitial sites in the bulk. + +.. note:: + + At steady state and :math:`x=0`, :eq:`eq_subsurf_conc` is reduced to :math:`D\frac{\partial c_\mathrm{m}}{\partial x}=J_\mathrm{bs}-J_\mathrm{sb}` + representing eq. (12) in the original work of M.A. Pick & K. Sonnenberg :cite:`Pick1985`. + +The fluxes for subsurface-to-surface and surface-to-subsurface transitions are defined as follows: + +.. math:: + :label: eq_Jbs + + J_\mathrm{bs} = k_\mathrm{bs} \lambda_\mathrm{abs} c_\mathrm{m} \left(1-\dfrac{c_\mathrm{s}}{n_\mathrm{surf}}\right) + +.. math:: + :label: eq_Jsb + + J_\mathrm{sb} = k_\mathrm{sb} c_\mathrm{s} \left(1-\dfrac{c_\mathrm{m}}{n_\mathrm{IS}}\right) + +where :math:`n_\mathrm{surf}` is the surface concentration of adsorption sites, :math:`n_\mathrm{IS}` is the bulk concentration of interstitial sites, +:math:`\lambda_\mathrm{abs}=n_\mathrm{surf}/n_\mathrm{IS}` is the characteristic distance between surface and subsurface sites, :math:`k_\mathrm{bs}` +and :math:`k_\mathrm{sb}` are the rate constants for subsurface-to-surface and surface-to-subsurface transitions, respectively. +Usually, these rate constants are expressed in the Arrhenius form: :math:`k_i=k_{i,0}\exp(-E_i / kT)`. Both these processes are assumed to take place +if there are available sites on the surface (in the subsurface). Possible surface/subsurface saturation is accounted for with terms in brackets. + +.. note:: + + In eq. :eq:`eq_Jsb`, the last term in brackets is usually omitted, since :math:`c_\mathrm{m} \ll n_\mathrm{IS}` is assumed. + However, this term is included in some works (e.g. :cite:`Hamamoto2020`) to better reproduce the experimental results. + + ------------ References ------------ From 2269552a7b47096ef43e3636e0a74049bf7d2d47 Mon Sep 17 00:00:00 2001 From: KulaginVladimir Date: Thu, 11 Jul 2024 21:07:08 +0300 Subject: [PATCH 3/7] added UG for surface kinetics --- docs/source/theory.rst | 2 +- docs/source/userguide/boundary_conditions.rst | 25 +++++++++++++++++++ 2 files changed, 26 insertions(+), 1 deletion(-) diff --git a/docs/source/theory.rst b/docs/source/theory.rst index 55b39909c..b075f322b 100644 --- a/docs/source/theory.rst +++ b/docs/source/theory.rst @@ -287,7 +287,7 @@ Evolution of hydrogen surface concentration is determined by the atomic flux bal :width: 800 :alt: Idealised potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state - Potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state + Idealised potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state The governing equation for surface species is: diff --git a/docs/source/userguide/boundary_conditions.rst b/docs/source/userguide/boundary_conditions.rst index c1cf4b3ab..fa2719263 100644 --- a/docs/source/userguide/boundary_conditions.rst +++ b/docs/source/userguide/boundary_conditions.rst @@ -105,6 +105,31 @@ Where :math:`Kd` is the dissociation coefficient, :math:`P` is the partial press my_bc = DissociationFlux(surfaces=2, Kd_0=2, E_Kd=0.1, P=1e05) +Kinetic surface model (1D) +^^^^^^^^^^^^^^^^^^^^^^^^^^ + +Surface kinetic model can be included to account for the evolution of adsorbed hydrogen on a surface with the :class:`festim.SurfaceKinetics` class. +Refer to the :ref:`theory` section for more details. + +.. testcode:: BCs + + from festim import t + import fenics as f + + def k_bs(T, surf_conc, t): + return 1e13*f.exp(-0.2/k_b/T) + + def k_sb(T, surf_conc, t): + return 1e13*f.exp(-1.0/k_b/T) + + def J_vs(T, surf_conc, t): + + J_des = 2e13*surf_conc**2*f.exp(-1.2/k_b/T) + J_ads = 1e17*(1-surf_conc/1e17)**2*f.conditional(t<10, 1, 0) + + return J_ads - J_des + + my_bc = SurfaceKinetics(k_bs=k_bs, k_sb=k_sb, lambda_IS=1.1e-10, n_surf=1e17, n_IS=6.3e28, J_vs=J_vs, surfaces=3, initial_condition=0, t=t) Sievert's law of solubility ^^^^^^^^^^^^^^^^^^^^^^^^^^^ From 18062fb887075d9cdfc698947b6774e0fb847d11 Mon Sep 17 00:00:00 2001 From: KulaginVladimir Date: Thu, 11 Jul 2024 21:36:32 +0300 Subject: [PATCH 4/7] upd UG --- docs/source/userguide/boundary_conditions.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/userguide/boundary_conditions.rst b/docs/source/userguide/boundary_conditions.rst index fa2719263..050184bf2 100644 --- a/docs/source/userguide/boundary_conditions.rst +++ b/docs/source/userguide/boundary_conditions.rst @@ -108,7 +108,7 @@ Where :math:`Kd` is the dissociation coefficient, :math:`P` is the partial press Kinetic surface model (1D) ^^^^^^^^^^^^^^^^^^^^^^^^^^ -Surface kinetic model can be included to account for the evolution of adsorbed hydrogen on a surface with the :class:`festim.SurfaceKinetics` class. +Kinetic surface model can be included to account for the evolution of adsorbed hydrogen on a surface with the :class:`festim.SurfaceKinetics` class. Refer to the :ref:`theory` section for more details. .. testcode:: BCs @@ -124,7 +124,7 @@ Refer to the :ref:`theory` section for more details. def J_vs(T, surf_conc, t): - J_des = 2e13*surf_conc**2*f.exp(-1.2/k_b/T) + J_des = 2e5*surf_conc**2*f.exp(-1.2/k_b/T) J_ads = 1e17*(1-surf_conc/1e17)**2*f.conditional(t<10, 1, 0) return J_ads - J_des From dba60375a16828de4ab5528d83a4f0b24eb98a35 Mon Sep 17 00:00:00 2001 From: KulaginVladimir Date: Fri, 12 Jul 2024 23:07:03 +0300 Subject: [PATCH 5/7] added units and notes on 1D simulations --- docs/source/theory.rst | 49 ++++++++++--------- docs/source/userguide/boundary_conditions.rst | 14 +++++- .../userguide/export_post_processing.rst | 6 ++- 3 files changed, 43 insertions(+), 26 deletions(-) diff --git a/docs/source/theory.rst b/docs/source/theory.rst index b075f322b..a8994622b 100644 --- a/docs/source/theory.rst +++ b/docs/source/theory.rst @@ -8,14 +8,17 @@ Bulk physics H transport ^^^^^^^^^^^ -The model developed by McNabb & Foster :cite:`McNabb1963` is used to model hydrogen transport in materials in FESTIM. The principle is to separate mobile hydrogen :math:`c_\mathrm{m}` and trapped hydrogen :math:`c_\mathrm{t}`. The diffusion of mobile particles is governed by Fick’s law of diffusion where the hydrogen flux is +The model developed by McNabb & Foster :cite:`McNabb1963` is used to model hydrogen transport in materials in FESTIM. +The principle is to separate mobile hydrogen :math:`c_\mathrm{m}\,[\mathrm{m}^{-3}]` and trapped hydrogen :math:`c_\mathrm{t}\,[\mathrm{m}^{-3}]`. +The diffusion of mobile particles is governed by Fick’s law of diffusion where the hydrogen flux is .. math:: :label: eq_difflux J = -D \nabla c_\mathrm{m} -where :math:`D=D(T)` is the diffusivity. Each trap :math:`i` is associated with a trapping and a detrapping rate :math:`k_i` and :math:`p_i`, respectively, as well as a trap density :math:`n_i`. +where :math:`D=D(T)\,[\mathrm{m}^{2}\,\mathrm{s}^{-1}]` is the diffusivity. +Each trap :math:`i` is associated with a trapping and a detrapping rate :math:`k_i\,[\mathrm{m}^{3}\,\mathrm{s}^{-1}]` and :math:`p_i\,[\mathrm{s}^{-1}]`, respectively, as well as a trap density :math:`n_i\,[\mathrm{m}^{-3}]`. The temporal evolution of :math:`c_\mathrm{m}` and :math:`c_{\mathrm{t}, i}` are then given by: @@ -29,7 +32,7 @@ The temporal evolution of :math:`c_\mathrm{m}` and :math:`c_{\mathrm{t}, i}` are \frac {\partial c_{\mathrm{t}, i}} { \partial t} = k_i c_\mathrm{m} (n_i - c_{\mathrm{t},i}) - p_i c_{\mathrm{t},i} -where :math:`S_j=S_j(x,y,z,t)` is a source :math:`j` of mobile hydrogen. In FESTIM, source terms can be space and time dependent. These are used to simulate plasma implantation in materials, tritium generation from neutron interactions, etc. +where :math:`S_j=S_j(x,y,z,t)\,[\mathrm{m}^{-3}\,\mathrm{s}^{-1}]` is a source :math:`j` of mobile hydrogen. In FESTIM, source terms can be space and time dependent. These are used to simulate plasma implantation in materials, tritium generation from neutron interactions, etc. These equations can be solved in cartesian coordinates but also in cylindrical and spherical coordinates. This is useful, for instance, when simulating hydrogen transport in a pipe or in a pebble. FESTIM can solve steady-state hydrogen transport problems. Soret effect @@ -41,18 +44,18 @@ FESTIM can include the Soret effect :cite:`Pendergrass1976,Longhurst1985` (also J = -D \nabla c_\mathrm{m} - D\frac{Q^* c_\mathrm{m}}{k_B T^2} \nabla T -where :math:`Q^*` is the Soret coefficient (also called heat of transport) and :math:`k_B` is the Boltzmann constant. +where :math:`Q^*\,[\mathrm{eV}]` is the Soret coefficient (also called heat of transport) and :math:`k_B` is the Boltzmann constant. Conservation of chemical potential at interfaces ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -Continuity of local partial pressure :math:`P` at interfaces between materials has to be ensured. In the case of a material behaving according to Sievert’s law of solubility (metals), the partial pressure is expressed as: +Continuity of local partial pressure :math:`P\,[\mathrm{Pa}]` at interfaces between materials has to be ensured. In the case of a material behaving according to Sievert’s law of solubility (metals), the partial pressure is expressed as: .. math:: :label: eq_Sievert P = \left(\frac{c_\mathrm{m}}{K_S}\right)^2 -where :math:`K_S` is the material solubility (or Sivert's constant). +where :math:`K_S\,[\mathrm{m}^{-3}\,\mathrm{Pa}^{-0.5}]` is the material solubility (or Sivert's constant). In the case of a material behaving according to Henry's law of solubility, the partial pressure is expressed as: @@ -61,7 +64,7 @@ In the case of a material behaving according to Henry's law of solubility, the p P = \frac{c_\mathrm{m}}{K_H} -where :math:`K_H` is the material solubility (or Henry's constant). +where :math:`K_H\,[\mathrm{m}^{-3}\,\mathrm{Pa}^{-1}]` is the material solubility (or Henry's constant). Two different interface cases can then occur. At the interface between two Sievert or two Henry materials, the continuity of partial pressure yields: @@ -85,7 +88,7 @@ At the interface between a Sievert and a Henry material: It appears from these equilibrium equations that a difference in solubilities introduces a concentration jump at interfaces. -In FESTIM, the conservation of chemical potential is obtained by a change of variables :cite:`Delaporte-Mathurin2021`. The variable :math:`\theta` is introduced and: +In FESTIM, the conservation of chemical potential is obtained by a change of variables :cite:`Delaporte-Mathurin2021`. The variable :math:`\theta\,[\mathrm{Pa}]` is introduced and: .. math:: :label: eq_theta @@ -111,7 +114,7 @@ According to the latter, the rate :math:`k(T)` of a thermally activated process k(T) = k_0 \exp \left[-\frac{E_k}{k_B T} \right] -where :math:`k_0` is the pre-exponential factor, :math:`E_k` is the process activation energy, and :math:`T` is the temperature. +where :math:`k_0` is the pre-exponential factor, :math:`E_k\,[\mathrm{eV}]` is the process activation energy, and :math:`T\,[\mathrm{K}]` is the temperature. Heat transfer ^^^^^^^^^^^^^^ @@ -122,7 +125,8 @@ To properly account for the temperature-dependent parameters, an accurate repres \rho C_p \frac{\partial T}{\partial t} = \nabla \cdot (\lambda \nabla T) + \sum_i Q_i -where :math:`T` is the temperature, :math:`C_p` is the specific heat capacity, :math:`\rho` is the material's density, :math:`\lambda` is the thermal conductivity and :math:`Q_i` is a volumetric heat source :math:`i`. As for the hydrogen transport problem, the heat equation can be solved in steady state. In FESTIM, the thermal properties of materials can be arbitrary functions of temperature. +where :math:`T` is the temperature, :math:`C_p\,[\mathrm{J}\,\mathrm{kg}^{-1}\,\mathrm{K}^{-1}]` is the specific heat capacity, :math:`\rho\,[\mathrm{kg}\,\mathrm{m}^{-3}]` is the material's density, +:math:`\lambda\,[\mathrm{W}\,\mathrm{m}^{-1}\,\mathrm{K}^{-1}]` is the thermal conductivity and :math:`Q_i\,[\mathrm{W}\,\mathrm{m}^{-3}]` is a volumetric heat source :math:`i`. As for the hydrogen transport problem, the heat equation can be solved in steady state. In FESTIM, the thermal properties of materials can be arbitrary functions of temperature. --------------- Surface physics @@ -278,14 +282,13 @@ Kinetic surface model Modelling hydrogen retention or outgassing might require considering the kinetics of surface processes. A representative example is the hydrogen uptake from a gas phase, when the energy of incident atoms/molecules is not high enough to overcome the surface barrier for implantation. The general approach to account for surface kinetics :cite:`Pick1985, Hodille2017, Guterl2019, Schmid2021` consists in -introducing hydrogen surface species :math:`c_\mathrm{s}`. +introducing hydrogen surface species :math:`c_\mathrm{s}\,[\mathrm{m}^{-2}]`. Evolution of hydrogen surface concentration is determined by the atomic flux balance at the surface, as sketched in the simplified energy diagram below. -.. figure:: images/potential_diagram.png +.. thumbnail:: images/potential_diagram.png :align: center :width: 800 - :alt: Idealised potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state Idealised potential energy diagram for hydrogen near a surface of an endothermic metal. Energy levels are measured from the :math:`\mathrm{H}_2` state @@ -296,10 +299,9 @@ The governing equation for surface species is: \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs} -where :math:`J_\mathrm{bs}` is the flux of hydrogen atoms from the subsurface (bulk region just beneath the surface) onto the surface, -:math:`J_\mathrm{sb}` is the flux of hydrogen atoms from the surface into the subsurface, and :math:`J_\mathrm{vs}` is the net flux of hydrogen -atoms from the vacuum onto the surface. The current model does not account for possible surface diffusion and, therefore, is limited to -one-dimensional hydrogen transport simulations. +where :math:`J_\mathrm{bs}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the flux of hydrogen atoms from the subsurface (bulk region just beneath the surface) onto the surface, +:math:`J_\mathrm{sb}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the flux of hydrogen atoms from the surface into the subsurface, and :math:`J_\mathrm{vs}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the net flux of hydrogen +atoms from the vacuum onto the surface. It worth noticing that the current model does not account for possible surface diffusion and is available only for 1D hydrogen transport simulations. The connection condition between surface and bulk domains represents the Robin boundary condition for the hydrogen transport problem. @@ -308,7 +310,7 @@ The connection condition between surface and bulk domains represents the Robin b -D \nabla c_\mathrm{m} \cdot \mathbf{n} = \lambda_{\mathrm{IS}} \dfrac{\partial c_{\mathrm{m}}}{\partial t} + J_{\mathrm{bs}} - J_{\mathrm{sb}} -where :math:`\lambda_\mathrm{IS}` is the distance between two interstitial sites in the bulk. +where :math:`\lambda_\mathrm{IS}\,[\mathrm{m}]` is the distance between two interstitial sites in the bulk. .. note:: @@ -327,16 +329,17 @@ The fluxes for subsurface-to-surface and surface-to-subsurface transitions are d J_\mathrm{sb} = k_\mathrm{sb} c_\mathrm{s} \left(1-\dfrac{c_\mathrm{m}}{n_\mathrm{IS}}\right) -where :math:`n_\mathrm{surf}` is the surface concentration of adsorption sites, :math:`n_\mathrm{IS}` is the bulk concentration of interstitial sites, -:math:`\lambda_\mathrm{abs}=n_\mathrm{surf}/n_\mathrm{IS}` is the characteristic distance between surface and subsurface sites, :math:`k_\mathrm{bs}` -and :math:`k_\mathrm{sb}` are the rate constants for subsurface-to-surface and surface-to-subsurface transitions, respectively. +where :math:`n_\mathrm{surf}\,[\mathrm{m}^{-2}]` is the surface concentration of adsorption sites, :math:`n_\mathrm{IS}\,[\mathrm{m}^{-3}]` is the bulk concentration of interstitial sites, +:math:`\lambda_\mathrm{abs}=n_\mathrm{surf}/n_\mathrm{IS}\,[\mathrm{m}]` is the characteristic distance between surface and subsurface sites, :math:`k_\mathrm{bs}\,[\mathrm{s}^{-1}]` +and :math:`k_\mathrm{sb}\,[\mathrm{s}^{-1}]` are the rate constants for subsurface-to-surface and surface-to-subsurface transitions, respectively. Usually, these rate constants are expressed in the Arrhenius form: :math:`k_i=k_{i,0}\exp(-E_i / kT)`. Both these processes are assumed to take place if there are available sites on the surface (in the subsurface). Possible surface/subsurface saturation is accounted for with terms in brackets. .. note:: - In eq. :eq:`eq_Jsb`, the last term in brackets is usually omitted, since :math:`c_\mathrm{m} \ll n_\mathrm{IS}` is assumed. - However, this term is included in some works (e.g. :cite:`Hamamoto2020`) to better reproduce the experimental results. + In eq. :eq:`eq_Jsb`, the last term in brackets is usually omitted :cite:`Guterl2019, Pick1985, Hodille2017, Schmid2021`, + since :math:`c_\mathrm{m} \ll n_\mathrm{IS}` is assumed. However, this term is included in some works (e.g. :cite:`Hamamoto2020`) + to better reproduce the experimental results. ------------ diff --git a/docs/source/userguide/boundary_conditions.rst b/docs/source/userguide/boundary_conditions.rst index 050184bf2..4418deb6e 100644 --- a/docs/source/userguide/boundary_conditions.rst +++ b/docs/source/userguide/boundary_conditions.rst @@ -109,7 +109,7 @@ Kinetic surface model (1D) ^^^^^^^^^^^^^^^^^^^^^^^^^^ Kinetic surface model can be included to account for the evolution of adsorbed hydrogen on a surface with the :class:`festim.SurfaceKinetics` class. -Refer to the :ref:`theory` section for more details. +The current class is supported for 1D simulations only. Refer to the :ref:`Kinetic surface model` theory section for more details. .. testcode:: BCs @@ -129,7 +129,17 @@ Refer to the :ref:`theory` section for more details. return J_ads - J_des - my_bc = SurfaceKinetics(k_bs=k_bs, k_sb=k_sb, lambda_IS=1.1e-10, n_surf=1e17, n_IS=6.3e28, J_vs=J_vs, surfaces=3, initial_condition=0, t=t) + my_bc = SurfaceKinetics( + k_bs=k_bs, + k_sb=k_sb, + lambda_IS=1.1e-10, + n_surf=1e17, + n_IS=6.3e28, + J_vs=J_vs, + surfaces=3, + initial_condition=0, + t=t + ) Sievert's law of solubility ^^^^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/docs/source/userguide/export_post_processing.rst b/docs/source/userguide/export_post_processing.rst index c37cab230..dc14a0e23 100644 --- a/docs/source/userguide/export_post_processing.rst +++ b/docs/source/userguide/export_post_processing.rst @@ -167,7 +167,11 @@ Finally, you can add the :class:`festim.DerivedQuantities` object to the simulat my_model.exports = [my_derived_quantities] -The complete list of derived quantities can be found at: :ref:`Exports`. +The complete list of derived quantities can be found at: :ref:`Exports`. + +.. note:: + + There is a specific derived quantity :class:`festim.AdsorbedHydrogen` which can be used only with :class:`festim.SurfaceKinetics`. The data can be accessed in three different ways: - directly from the :class:`festim.DerivedQuantities` (plural) object: From d05f27eab8d679094ca752eeb64d9837a7cf8a0c Mon Sep 17 00:00:00 2001 From: KulaginVladimir Date: Fri, 19 Jul 2024 20:13:27 +0300 Subject: [PATCH 6/7] upd theory --- docs/source/theory.rst | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/source/theory.rst b/docs/source/theory.rst index a8994622b..f4762c58d 100644 --- a/docs/source/theory.rst +++ b/docs/source/theory.rst @@ -297,7 +297,7 @@ The governing equation for surface species is: .. math:: :label: eq_surf_conc - \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs} + \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs}~\text{on}~\delta\Omega where :math:`J_\mathrm{bs}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the flux of hydrogen atoms from the subsurface (bulk region just beneath the surface) onto the surface, :math:`J_\mathrm{sb}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the flux of hydrogen atoms from the surface into the subsurface, and :math:`J_\mathrm{vs}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the net flux of hydrogen @@ -308,14 +308,14 @@ The connection condition between surface and bulk domains represents the Robin b .. math:: :label: eq_subsurf_conc - -D \nabla c_\mathrm{m} \cdot \mathbf{n} = \lambda_{\mathrm{IS}} \dfrac{\partial c_{\mathrm{m}}}{\partial t} + J_{\mathrm{bs}} - J_{\mathrm{sb}} + -D \nabla c_\mathrm{m} \cdot \mathbf{n} = \lambda_{\mathrm{IS}} \dfrac{\partial c_{\mathrm{m}}}{\partial t} + J_{\mathrm{bs}} - J_{\mathrm{sb}}~\text{on}~\delta\Omega where :math:`\lambda_\mathrm{IS}\,[\mathrm{m}]` is the distance between two interstitial sites in the bulk. .. note:: - At steady state and :math:`x=0`, :eq:`eq_subsurf_conc` is reduced to :math:`D\frac{\partial c_\mathrm{m}}{\partial x}=J_\mathrm{bs}-J_\mathrm{sb}` - representing eq. (12) in the original work of M.A. Pick & K. Sonnenberg :cite:`Pick1985`. + At the left boundary, the normal vector :math:`\textbf{n}` is :math:`-\vec{x}`. The steady-state approximation of eq. :eq:`eq_subsurf_conc` at the left boundary + is, therefore, :math:`D\frac{\partial c_\mathrm{m}}{\partial x}=J_\mathrm{bs}-J_\mathrm{sb}` representing eq. (12) in the original work of M.A. Pick & K. Sonnenberg :cite:`Pick1985`. The fluxes for subsurface-to-surface and surface-to-subsurface transitions are defined as follows: @@ -332,7 +332,7 @@ The fluxes for subsurface-to-surface and surface-to-subsurface transitions are d where :math:`n_\mathrm{surf}\,[\mathrm{m}^{-2}]` is the surface concentration of adsorption sites, :math:`n_\mathrm{IS}\,[\mathrm{m}^{-3}]` is the bulk concentration of interstitial sites, :math:`\lambda_\mathrm{abs}=n_\mathrm{surf}/n_\mathrm{IS}\,[\mathrm{m}]` is the characteristic distance between surface and subsurface sites, :math:`k_\mathrm{bs}\,[\mathrm{s}^{-1}]` and :math:`k_\mathrm{sb}\,[\mathrm{s}^{-1}]` are the rate constants for subsurface-to-surface and surface-to-subsurface transitions, respectively. -Usually, these rate constants are expressed in the Arrhenius form: :math:`k_i=k_{i,0}\exp(-E_i / kT)`. Both these processes are assumed to take place +Usually, these rate constants are expressed in the Arrhenius form: :math:`k_i=k_{i,0}\exp(-E_{k,i} / kT)`. Both these processes are assumed to take place if there are available sites on the surface (in the subsurface). Possible surface/subsurface saturation is accounted for with terms in brackets. .. note:: From 71a75516c00236e1aa6beb12c2cee7794a3ba2d1 Mon Sep 17 00:00:00 2001 From: KulaginVladimir Date: Thu, 25 Jul 2024 22:29:05 +0300 Subject: [PATCH 7/7] theory upd --- docs/source/theory.rst | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/docs/source/theory.rst b/docs/source/theory.rst index f4762c58d..e3281c189 100644 --- a/docs/source/theory.rst +++ b/docs/source/theory.rst @@ -300,8 +300,12 @@ The governing equation for surface species is: \dfrac{d c_\mathrm{s}}{d t} = J_\mathrm{bs} - J_\mathrm{sb} + J_\mathrm{vs}~\text{on}~\delta\Omega where :math:`J_\mathrm{bs}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the flux of hydrogen atoms from the subsurface (bulk region just beneath the surface) onto the surface, -:math:`J_\mathrm{sb}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the flux of hydrogen atoms from the surface into the subsurface, and :math:`J_\mathrm{vs}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the net flux of hydrogen -atoms from the vacuum onto the surface. It worth noticing that the current model does not account for possible surface diffusion and is available only for 1D hydrogen transport simulations. +:math:`J_\mathrm{sb}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the flux of hydrogen atoms from the surface into the subsurface, and :math:`J_\mathrm{vs}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` +is the net flux of hydrogen atoms from the vaccuum onto the surface. The latter is defined as :math:`J_\mathrm{vs}=J_\mathrm{in}-J_\mathrm{out}`, where :math:`J_\mathrm{in}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` +is the sum of all fluxes coming from the vacuum onto the surface and :math:`J_\mathrm{out}\,[\mathrm{m}^{-2}\,\mathrm{s}^{-1}]` is the sum of all fluxes coming from the surface to the vacuum. +:math:`J_\mathrm{in}` can be used to set up adsorption fluxes from different processes such as molecular dissociation, adsorption of low-energy atoms, etc. Similarly, +:math:`J_\mathrm{out}` can be used to define desorption fluxes from various processes such as Langmuir-Hinshelwood recombination, Eley-Rideal recombination, sputtering, etc. +It worth noticing that the current model does not account for possible surface diffusion and is available only for 1D hydrogen transport simulations. The connection condition between surface and bulk domains represents the Robin boundary condition for the hydrogen transport problem.