From 6233b5a09f8b65658626a8bf381593b88e8a97dc Mon Sep 17 00:00:00 2001 From: Kumar Shridhar Date: Sun, 23 Dec 2018 10:00:16 +0530 Subject: [PATCH] Conclusion updated. And thesis over. Final commit. Hopefully! --- Chapter2/chapter2.tex | 2 +- Chapter4/Figs/bbb.pdf | Bin 0 -> 81083 bytes Chapter4/Figs/det.pdf | Bin 0 -> 50943 bytes Chapter4/chapter4.tex | 24 +++++++++++++++++++++--- Chapter7/chapter7.tex | 11 +++++++---- References/references.bib | 22 ++++++++++++---------- 6 files changed, 41 insertions(+), 18 deletions(-) create mode 100644 Chapter4/Figs/bbb.pdf create mode 100644 Chapter4/Figs/det.pdf diff --git a/Chapter2/chapter2.tex b/Chapter2/chapter2.tex index 00920f5..f458561 100644 --- a/Chapter2/chapter2.tex +++ b/Chapter2/chapter2.tex @@ -147,7 +147,7 @@ \subsection{Local reparametrisation trick} \section{Uncertainties in Bayesian Learning} -Uncertainties in a network is a measure of how certain the model is with its prediction. In Bayesian modeling, there are two main types of uncertainty one can model \citep{der2009aleatory}: \textit{Aleatoric} uncertainty and \textit{Epistemic} uncertainty. +Uncertainties in a network is a measure of how certain the model is with its prediction. In Bayesian modeling, there are two main types of uncertainty one can model \citep{Kiureghian}: \textit{Aleatoric} uncertainty and \textit{Epistemic} uncertainty. \textit{Aleatoric} uncertainty measures the noise inherent in the observations. This type of uncertainty is present in the data collection method like the sensor noise or motion noise which is uniform along the dataset. This cannot be reduced if more data is collected. \textit{Epistemic} uncertainty, on the other hand, represents the uncertainty caused by the model. This uncertainty can be reduced given more data and is often referred to as \textit{model uncertainty}. Aleatoric uncertainty can further be categorized into \textit{homoscedastic} uncertainty, uncertainty which stays constant for different inputs, and \textit{heteroscedastic} uncertainty. Heteroscedastic uncertainty depends on the inputs to the model, with some inputs potentially having more noisy outputs than others. Heteroscedastic uncertainty is in particular important so that model prevents from outputting very confident decisions. diff --git a/Chapter4/Figs/bbb.pdf b/Chapter4/Figs/bbb.pdf new file mode 100644 index 0000000000000000000000000000000000000000..454e6dc653f04493c3e5a5db238c2924fb159439 GIT binary patch literal 81083 zcmYhiWmFtZ)HRv}0>Og>3GU9|F2UX18QceV2_(1#26uO7aCaNrHMqMw+&uUF-h01a z)u&eNz0cXbR&{k(HKmf61S1O*J0fNIDoI%jA`1yK3CP$Qk)NLgpairqb0%T^*P}uL zQ1f&!BLRp4U4XVA3lc#=L^FHS{|0jZUjT6r7fDqYpoK=v*qZ2xnu1axsR zbFwGl_%B2RC^>;lRLxvSbpPpyN&MqC^Kc;nNZb9>6!|}`=>KV@N%Tnos+K@gD|-tP z&i{dHDH>awnYfT}{lDb@e>yD8|2qD+0AYK3kc;y_iGO&}f2o++|BHD3hd|N^1wc45pNhD;Qi*?L$(FJVoLm`)Y;Q zr$j=MU5#v-4;O>?)x$SkQT_BU{*r$oe$Y{83#+1+S5sQrVWs5tg8w7E|LcC$&8^|h z`TO&&kpC;->HPgJq4Q1t{cXP!?00YYPUm^h`M&56)p=46e}BvJf4%j8xg~zfV|w*> z>F<0^Sa3f!^sGGByTQ5szV4j4{_gB&sPS$O^_$qOT3=p!TUq#%wo}tl_7=D2PH6c4 z>i_t9rlf^m`3?XYqYSd%r)vy2;SBwkp&v@?)DHYL9Qb?yqmHQ&T0LNE&a`D9uZ7 zbzEVYA0^+7cy?pl(|SJYfK=3JWNmNFd9AeW*V(jt{H@ztF4#|VFN4gb%rre3%OcPg(BwO-uaY-TueP(N0^tYn5w4_qJ6~r&B9rz7Dnhk0)fTl=DIcrd$?#^EdnWyXek_MIMQm(SX*VbhQ8w0&GYXvJCO@lUF zS@96d3SZ~-!g|6oejxzY-{x7?>$xHuzHidU%J$Jt`Z@-7k%J2}m`UZ39EgkKI{4Py zb!XqV1fHpY0b#_a-aj!qcvgb(4}Kh!OB; z>v=c)U1c>>fvaLq%iT;aJqhS+?wrTG)JeqZprz}2dH;9b7gny!te(FLMJ{6&b2-$B z64O=Be{q~Bt4j0YpS|=r1un-+PU4T-njK3xqH@tZF8fsKW#7{#QqzlKGQc+_$5DOY zFU#!{KIA&3sC9|th77eG2J)RX+H|HE(%a7xe z0n_hX?)KAdG{a?4Ief<^hFU3Y*^$iJTFc`&=Hh9xyzOhJxoxUz?R)!@<2ua+su}Z9 z%5>s7+~r(Zie4b8{Tr7WK1eheD~o7nz!Xp0>C4LD-mjAZmIOTS97!GXfa{=5wT{?z z#(l>;zx`Fwy~**3s-#Yv3Re4kT>FOC$;Wf&L<=Yuo2+7vyWZoT7F4|tTUrw=)kz15 zcX6#e2B*{?Df|HxkI{acmYL!E%MgsUbfUj^-hUq#K)P$N06~rkS#Iz#^+d+G6KV+c z^WAJD4W$UI9^G4Op?qv%9kX{SZHOs%on5~sGuhm6%o&Zr4q|g6x1juJn(2lYvU`;6 z=F8t)IKe6l)tFv<+ShhS6_|CGbt(j{GDvrq%KMvH43otzIOQxLeeyhD`xAk06IM^n zCHNHNIJKKPf{QnS7Td{!U^YCDRAFFNe^NuaHXo&*Wky;xb-cau?bO4!krx^iTOPIK zdS}teY<7G<%_@~(;K99%udBLTBcxk|VON`4JKA{DBzt|1G$e)Ydb*shrwjF5llSSERoDC4FbxcBqqrz$Z(s zS3FG#@YU4!AvY*UFg4n>5GD2hQ|nMP2)WOia|DrD^A{4bAKCCy{2~a=E z?milOZ!u*ggL*cjURUNl8gkHuz-O*Wo@Q&5R)K5Fkl0+axPprH=r+*r?AfIJ-$Yv? z)@ce1?y(#3W|Ko%{vDvV#H2FSDttr!Ukz398PSJP@mj1_6y%u;IX=fm2c%A3oXp4W zamv)B3=uayf(NyqD7OpZ?N7RN2IP((H%!oNFpFX{qlg((%ezXchq%z%zErpYHI*GB zUmZ;_WX&}*ya}iG`$9fPhpS1hPhiVG?ioq78FFKQlb-CRnp?vOWTz-S332EU^fhPV zagyy_GIoA5pdo}y=8)M0N-Z#PDV7ro9qY85JF_Pj8^+cHq&+T&cu6o;y@A~ZU&2=t z6=vF$b_rtELQLn?y9%wHk3_31$_irdmdTz72YZZt7@AkbiVKqP2ek7v@l6) zK62ok>FggsaoV*x3CVf(a5~WDRT%MIuL)df*7J73^|&}$Fi|nmF1z%^9U~XTJb%i% z925ES))UhrOVzZro9kPPW7$3NPpK}7<*TBo(5XR(RBjv?z>x@NI+l2^IL*wgwJ<7( zogG;!PIn)Z^1923Lmt4kt=0|P=jHZbrdDT0{4`?6(ELqc(BrP0;;&9hUs7hm`?{!N zxuX2nJx^lUg!%g84kTvPv+7ta98jYpnyIy*x9!!|u1EgV9^_gkpK+Li@oJ2ic!{B> z@EEkkt5v{?un!q!V12HK17l8vhfU~t@X^lr-yV)kXYKF4Kht?2csB@Aey$9RHe)=E z95mBi_jI~aX_j#r)~1(kc!vNU?&n3-GAw+f2hrL)E5w9}W}@12*<|EysjwM&guY1L zrjZCH))`cw7d2^ZmsIh$x*S5frVAHDp*wA%C-y4L%OblX0&YkThr%}~0I~tzC)1TI zP@9Y3j&EcOQ=iPUfyszV+9};Ur+J#yegwDX4ow~IHBaMAX8}*cORAr0It5FPVYzR8 zP=gDu#8AJ^(AU&uTdP}(f(v)54S;rXScCuw=@G%Iek!Y%vfOD74($EX7DrnVv!6xd z(8?^oi&ztq>ATo@{W5Q-s$IZO+)?pMrn+HbpFa$>el;QL{{02($)`ODeAIIBH&y+0 zh^CFZK-TT+HyfNZ185<9=ApzFX=%l%U2 z@-sQc%TuO6k_f%z4yTqcWng7IKB!DGj_0!NS%RBmM``h-ily$zwf}1BwQg?Fcm=ud zX1C0c2}?mc6Mx#RK&#!hQ>@|~QiDi&?W&pD{Xqg^Rhnz!BY<9Zyg#a58fcM7`>b~q zF_0$fb{~}?NkOHFcQl~_@l$P*2;bnDOT;&ZSn00DCq(Y?bYr^aIoA_DZToW|~+hjgHQ=e2Ic(exiSrx}#6=XUN6@N%Jb;({V@1s1=g@Fo(XVx<84DC>`D&cO1`4jQa}W7?W+w%#C|A=rA8q>O8ebN!^3&MpjF9ynTM(Rd^fY&09EI z`pRZ;F4Ja?amfNvP9q`&11Ui|3(~cE2e*19r!iK{tM*P@@a>~7bQZI31qgWp`ze>dIM-BemjDI2zmhd|xi0yw@l4MW_9+t+B`}~LEOGYm)w8cA zOCmd^eyGIg7F^lWX{M^v9Cn=MUTBFxVqmm!b|$6I~g2{5MH7KapNJ%*)$`KX8`> z`qad&aE-SKuKO4?T~>f3yU&9(zVjA}8nZR-e=SSQmC-^8OSBNSB&sbp`OcZyX#S?) zWvccB$xA4(*TJtSiU4!7d+E39Sj~+!Q>oE7^9li+$u)}&_act8D{Ffq~2Rvq8cSU{i%}&2~ot@vhzYBSC7S zcd0-*rpUyaxP#17rzN9(u0N5hERN(3=-Qht2)td&N(_UyzQw~Nx2XH6?9>nV3F}B6 zj&jdT&>l%&k4n7owDgKW-`!7VMD!b-K!pq^jD=;kO~u8+aY{7Y(4h0WjsonF7{%vuI`q+- z{V3l{EW!x~jPZ`Jt%LatkDaE2H*x~uszddS7;g26*}u2@+4|I30=J9LOU_mlKCP7I z_OP0<(^eBx8b=RY^PA!aX$Kdxck!+6sx_heQOqqPK1HdL#7#I{g{E0X|=sRN&cegv3Xu3RAGVH`9Eqy8cc&`df>%>wzqQRI@$YDRI{*o-*gy&_HIgB|g( zDB)a$7S!capp&x9bcYrD+(#>}Fb>?$H^*0i)1|C$j0wLR5;5KDW+bcii>cNekSzX&&L2rL$)41W~gxO>mZ?5)13m z^?^EEg2Y7pH>u`?-)UwMY8^9iJVl#T;RuyAu}_DHfZl%}McwMv)Tp97w-G5algOs< z&sC>`IH6?(bv`uOu{tM6_i=Z2k&rS1syS9(-)(JErNu;sC69g|Qs;&Vx7Y=6F!&;# z$2$+d4kJ|5t{{!fS}-e`*8X&R4n|Ue>PJWMbKm$^dfwEv z<4iHylp1ku7?VP&K_zDoWShzgzGyMib3Hl4G?WS$96>g9DbHiv`1drT;J}6>^{Gl{ zc#lp8BA8`X+viKIOey*(A{={`-Xdt|a!0z|5-&s7%Mf(6p`93dqtN<=Bk>7E`-AKEi43x4nadN(OV92# zDu5`W%o((;S`|mX)a_FiT7#!WEx^fJ0r3v>>W{VDw)7Yyx-+lY`NhtR4zq^F!js8o zE8PW;g4Hz>CZ7QF(Lxvgj%q}(U^S_{X}?7~FcT&m^T`H4kd1X?6on;Z;nv~QAWM&lEIb|9fE3@IO9XwB&Cbv+u=J!Apcn( zOe#t7w3kvwAk;P&QS3t`9^$oDOsfsR_^|w3i=Oq%_SyRzqMwZ~D(F?ensE8#Hkg=k zhL9$V#^iRZX%8d=^AJ2SU5wWYPZ;ig=q5*K1M>ITd1QQ#!`*7)(MYI8ADYcL#x$RY)6At zh!H@`bt&Al_4%pNqC|NEhH8`%?IL{941aJ;{Nj5_aRq5jR_1XT#Xaedn0h*)!^@N! z`(3^0Hh{<)co&y>63alV(Q?7@+V67-u>EqoFo8-NUfbr`_}8?Tq_!0Jrlp#`2o@Rq zLPpJSx;%5@Ii41&%c)TiJK`}e7=I^F&oPpT!><&BV1~hUT=;{qS*q|;)w}Vb=^ytz zcQ3)f&xjaTW4F1}G9v8fD)~F-(@*u(->m^6!mNcmSus~FG-9(+)V}k_xlP0kVj6Y^ zvyj&eGfT{uAsqb_b|ocw`gYIDkB5)RNG&n@kcwUz%)?x*ePcd=>Lsg!{fGckO^6Ss z)V^*J6DIS0nxIp30uhY&b`Nv+cnr$Z%Mdhm$vG2eA0++Je6bmTt6ls}D}E#Twfuvt zR6afJ#{--w?dgk{`Qt8w->V~yt~eAvrD zo-R>Ivsf3ebBU;Q!JwN)hMk} zXZ2+HnhMim$3agcE7+Q6zwEoukPxkizIFiIs&<67Bq zCrjTiY*OU)v5k2M{uU64ErnAfuiYaXY%CtXekmZ^EBfXXCvaL2liwk=G3hY$NPgy< z6Jl2^)frBpJS+3?kQ<$+Y(~*)c^?tM7J28YT6prZxv-&e?-V00 zlbEE@swP*@5%s(r=(SME+_%jECr*4<~{4F@N=GOht+2lxFCC2M4q%VgT zdgGf?6?q9*NQ8v6d>ha?!j@Nu*||rdIalM?;ZP>2c2;E)TQW zDlrG&J%fs}rWP1-gxd8gnqIHxwqA>#EA1aM-D)Vy#bPH#{jsaD3}T*hqYoZQLkj@f z%-e=plM{J=o*C#X_Vp?S;hh(}UdKvbolGh&^Do{nPqS|h9ufhiVM4yqB1rksDxUl~ zoB;}%2Q7=ebyrnAKEHK{iM6mf(+$}@4bo8<0SXgd*h2EMiy!vdl#ObwkbH)rklsg{kic`kqQFv&pmO64^h!CBYVpf)gjUf}Bx z&bNJsOz+nfbk0XSp5JpNYHDAkTt|o<|KZErS$sLzecxvKdzEt7+oA-|OwZzV_}Jma zN4wG%b$a)By3=$b;&Ujn#6d73fxWZE2Stl9Y<&iqz6{nXd)wJ!Rh8iRWBu@)kni4x zc<9TW%c{Ky*{sSP!;HdU^{l08WR2UkFTdBolQVUe?wLz0l_6I3oV)u7=8jG+;u&&>=#bUx4=*+mH+_&)JH zqnqS+wqy%0i4rU`MS(!a-&$+E!n)giYNEa|wr|s&OCX^;ssarsOaqrg|3s0f=@Kq0 zDDeV{U_kw_w1B|phP^_VodleR>!_%sCjtDOi6_GmWv2u6q+7{X#gag*b;yrQ@ZZF{ z;t54$#pcm)b;Gq{|2rE*$#eHl$IirQA&uDxEsHmJqG;ei&AO9`BehC-MOVW`Ev0Z^ zUxN#JY0QUg$_6EGUv#}G6T#7a2ut3)fSiapm5tz2E9b23C5{7Z&!u- zAd(h(U;Z*HSnAbpF(T2DEcx5B62E+RJbQsN(7MG60}t%wyOiWd3hujd@8`gBB?IU+ zd`jJltUR0b)<9kMeRBsA>>CM~ax*!S^jFpUG2c7Cvd4!>1b%~+4$1(Bv}xz~3y|!X zY9?pZ)}QGwoMA^~K4PrN6JOCL^PWHcyLx6?vc9FMifOHxq-h zqh9U5QcY>s_RnXD$}fTE)G7@xXZ+yt;bR6-sH-odYcAnj@h%7T; z^m#d9VP4Uu0~=@l+e+~(c0GWl>&+k*GRUO|vMAnai#MEiKm4$P?es7h_(%`5J)YplQVgJ{thgN*#dpgin3!`=L{s;+Hz2e-LT0EBjljQF z@zcty%#cD0%PH+`6pcXDEXDYI@M1)7Prv4APP`CMDGLEsegd_L^Ezb!Z}|nPChVHc zu>&im_9br~KEYAUnJ+U;wU%-{jOKLwl5c#|$u0HjL|M6;h{I0Du0mz{^g~t&+FV@2 zOdf=A95fRl@uBW4yz3U5!CU&(;r9y;2|{*UBfpW_dbp1KM^M4DKJ`uS%3ml?GYc~= z@d3w0=~+uOp;>mSVx(c8S_p_V@kIX!*1M8wvNq$s8tZ*w5a^A`q-BpVV9-s-lk}bK zyaD-5|9H{AtthcQ#Iaf##gVQfk9sY~o^Qlzsa(C~QRAvua98Sg-wbA6Lbh6m=287> zmEbhc-Cn9MR%>9UuGdTc``r3x_x=7r+#X*{_i(HQJza$q2I)#$?_gz$PO|smy6`;a z^nkfQljD*&k5rqU)P(e1;_GW21NV%I8P1ZA3K9oYpLjwCFfHGnzi$J-?6PtW7-xTF zj}&4&-O6^OIvl0!v=!1-_~mF|C!@Yjb0q!8_q(PbYyDk3r2rJfN9+~qOUi}+4by}7 znx`OSIS7CsYAT%lbO!yXnn_4j27{Dox;gtni!t_Q15w`Z7Al z*gZvqP*vK$w+O+kcT(~QAmz0uDfinl=9m;l=60I=8_V68y!6Kjk@jup^vXl1azCJP z>(Rzm;36=#MUSG$p*+R!DUje!REEubGT}uRKP`GY;wihD>aIP)CT!Ttg{aC=QK_BkaNj^zf zO4Sg7_zxe0xi{Q{0<#oXd5TTIe4fa+lYq`_VEm;w5Q-6IS?9aI-_CDz5j%c-_^1m- zjddhk_*g{N9tnEp$?2D&6M{)tg?A z!-_`!BR@_9DM`8Da;Yx8d?=fq2!_G2yZAUUn*PB~tf0-d_A5#%2(wRXLLDw9P35=X zW`2v3)x(ZMx4^!6vg7Jb(cVkC&z>zn;DV?V+Vob9Kgk=HyG#%HLzdUqH-{u^!F;*~ zCY+$cT5__S2L!T3Of{mojYg#YmbN!P+WWW76B6vEhwQnDLmB44oX~fB$i-5vC`qso zkl6E=Nn|c%7@~wW=eDUYOEMQ2*-T?ckHtS7Y?x`199c)kAiZ$W&&EcsF^%NZ8xi^Q z)>^7VPb`5}ZSbrN$4!Fztq#FXK-P(Tru^5&JfvyvZxR=CiK&NP1gazaY2hK)w?9Jb zOsX1m#|PTYtXbmGIPIA@3At*Y&C`fHVx{#j`q{Y^nW7s6ImDlT<<{>Lat#}jVSreP zprt}L=gzykWEE|svMrYdrY%s`o{;8Ht(BNXvALNbS&Q2+B-Aq`kca<-nHVD%LiVLy zdXi}ph!c#$9NXl}S;JztiK6hl6wG1{22Wbz9FJyq4m?!9w5HoH$Oxy)g{rNzs3y6q zD%sgLj0$Oa03!3ozj%$T65+svKbT#^0o1bFfY!c9J&#NH0|^0y1$s?Ov(nHWdt|HT z*oHLz;i!Yuf$rZ3{>r)OK8TdI%{Yp&rbx1<%u1&Ns>eaWqnBx=rHaBKa|O@eeGkPa z9l>Hl-fOUKrc~BBlo{uoY_4d17@6`bACC*Lj-4%k-XUQ)V}wmS_lP{e^qk;RJ7}5t z5qou~*%LonY2>{yG%a(D0+0#(?>cBsVwOmb@5mh5rBz1gi5mrQ)yZO=Ch@bfhYJ}v z1&$a=6g1^TC9-G=s-nyz1UA20JUYax#ci*XQ{U6N1A%1gS5&X;+X5 zQ<32~=@xzN+*vy)QvXfMq6-Ert37^RIEd8*IWVE}h|7r}7neU2i6IL|^{*jw+S&~mUVbG)0?D*M?%Y&{GZj+E3V_kJ=8#!UzLNNUuxrXD@HUqETx zej{_C`NL}4-lLovF|GrL_-NQe`5ql!3t!EUlqF^J$uP<-<3QT+K(?9Y{8S=NK0UTb zg+QyjX$yp8nM(brcTojxJ}x`~)puLlfNvw}A!ef2b`Rc89}9os3pYhp<;vm!TE!pd z-MZy^e$N&$!8fGdoKYvX1a4M$a5yVTfe%0l=$dH+bVQ=#oK>?%ODpkEbR%6k^YAp= z_C&wvntJwS>z`%O6gL5IGnFiB>ecOOHSp?s?k;lJlhg_`Xm~h) z9_xN2$^*1o%FRKFOs|=?E>jN}*B|xoQ~_KuPN z32V#amIJg+!w(%sdWQbpw-{y&J|ZeTM9B&53V^oZP`0;N-M7ko8=-5gP8IY)LZ0vK zu!^w)-z*6~S*7tH_+lh-eATcVW*1=18{Lxe(X&HZ)1}{io;9vBr7C>wI@KCZQQUkx z4o5ov&HW>!x{fEpgm60gvwu34V+rcG+*11I2p+@B1ssfQOh^g^=?PB-I(FKkL<+S0 zJX(j?u7*2@NC-_bY*?m-nFWccWUp9`AiQi8QJz*^(oFr(k!7afC^_G@xLklje9!Dv ziq*S_MT}h6C+A^drB5ICcU&yb9NHjNg6#JX-EabWs~-X{;R^PRxhEZzo{=o-m^B7v z?oom^`P1$NDKMJqz?f5na0a%LB79OSPxfE=8$Ma&l;D2?Q7YvIdwCuf zwn3o#;mP$DNo2CJy0n#q2%kUEb+5Gka%P2ll`V~tc{CtMxR?(~T&~+v(3J=iMEGMz z9-3{*nL=KtBwjufv?48^mp6uM+WGxhn5!sH>;olB8U>fCdPJUTWvibJv!Gcy(( z;UjGn!AW^XOC6~#p`_BGUJ_b)Xd-)671bqa!hBMm8pv{;9hJ{VD7r^2M}F3YGbt*9 zLoMsK{wgz*IctzcNlmQaTpT(Fz|BkhKqf??@kNb`P&3E4w!0rx*;KUI5t;Ia4-p-zbg_xXno>WgH5~q zJ`MslAGChV7#yO#knaX4~rd^@G z5fqPtp)n6b$;B5$`W=^Jg{?1=%vY~F0u<||M}z2x9oYoB;{7C5H7UNB{fRXA~R z8R|bUj0;Ouv2pw*zJ2|aio!;phPALMqm484>t|wT{&$*T>cc-g$&y0ydO%#Ztl|Ks z3=vF30>#rGJis^}L#eNl@F_J_(mIMy^!C~EVIrCM(YjpcE@0Ih!B-o~Jp^O%W;r- zk;ciilh%|GFYD&!yVlnV5xz2yM>ODui!Lrsp+cgGY^I-;#;?B^$)lX z=q%~qbrP4B3%MwBF`|Fh`H0+bLd3u8E_&s;OUO|_A4FN7e2iU@$cI{vMvpxH^e~4Y zwpTUv)&Wfn)6|O@?W-9O-s?*~#r=W}<(?Jwvtw|2TkR%8r-As9U#j}xr!Dv9CyXtU zmt39}H>5JeR7JTGP|5dh*r-exdMlHzxMjzDkk+-65R5*F_z6jI%y%}XkGB%ZS&D>Z zv#Gwmm?pHFhX60OmQs6>tF86y^a&$lSUt98q03Tp)Tyo^1@4qhpShB&lWQrGlNkGS z%rbNNR1lk7dcFkm;Phz{B*OOReK45I^?`G55lixH<_%tsM3r5$jzct%n%d3w5gx(0 zg$-TWBerG*{MgcMNPBE(28B?LGTZ%h45`g?3dAttl#yHiAl8brOo7=CW;5R^u2JNv z2qZm;;dW5-{{D*`^Y6~*QzBf;L?Be-c?3%>#P#LdeD{r&C7T(tFhx>(Glfa;^U6jL3kw0&c=>5O5SV0V z!m7$l?oxA(hdQSCrz`|72T$^khp-zKCl;f_03Q87nF+H1_@qdL34TG@Vc*#$^)IX3 z29||u$gYw49p+yIL0@MrsMw`26K4-cn&D(l^YE7lTZL<>eJZD*Jx(>w&CyHD`=7MJ z7h66{twSFs*V714Pk>>3e2p0mbe?)T)F~0a*EPCgRDrjeZ(EsrWG=^+4CZ$;-a>2T zM@vQYN0-d|bo+xq0X?9kdNc;5RF{(&K6aWBVSz|qRPU&E_sw7rZFLd%s!`n$oa~~U zzdhBk7PmO4f9K8|t^$v}n6?{pp)nO@>arlEhf*lOrSAD@ZO@T8iX+cp!9}!Dl?7oi zzB_{1(JlF;v_V!Ve_o2`0vxr!fFo9#7I6_M%+N)7TaThovk?0$PFq5lwbez!_ z(~umbyY#JM7xWeuS!7h7p`Vnxyek+}^V-58^)f@dwp&F_S+glnQrdy*O(_|nCCQ(~ zZOLE1$}#2=)<%C7C9+Te=0Qi5haML#)3Indko3Onjn)<{j&r0SA0#$4Bz0pk%Aq-G zS^q(=Uur-y;R~Q70;37jXIq6{ftDRzUH|LkK!a@TFjR7%BaZ+jv6)*b)}>5 zx}V@9=`j_ucy*wyvHm2=%t$!D!0ZsMPcy>b|CNxRm;g$VLXcRYzNAE`>5Y0l-2D58 z1ZT3ernvxOp?N$ZrAb0JexWLCUMyP&6TA;qM5BwBCY(0u=`+Y=rY1p0LabTZNLT|N zn$#QQS7=?G$#nm-Ov4$2R@||dWUm@lX>-1~?C{Qj`h4gC)IHgP9H*zXQa2$d%9W1U zK*o#7e&USwf`f2)=0F=|ofpZ-x2f&eq%x+#XpAHZ25GeDQv}v4_4Z&mB5^k+0l`KE z1B74TVW6oApHj^;QBKx`TNG=RvN~H&@K3nyY(DjW4zXOMHS(prFunf>tzLB_$eB(5 zefk;mB^4V6*JC4I6oJEVEa;+|g1eo`(^&b&dj6@aZFX?uafo50gccQNJCNOj3BS&Y z+4HdbTAo*PIyy~?=0~`UPg+dIVSE6Yxx>$msH9^j8>0qvz{i5Hm38IT9*?U|7Y#}r za8^n{dWusUY{&#Yv#GUhk+^OfLH^I@%DQhKXNEV+^toxHPV1__B=Ok>hHVT*PvG_u z`QvgDp>0J*3ar{GRdlm*G*bY|yvqV)9F)wy$ZQNQ=opeuMUW)-LROQo7+~@*_n;JR zNLbG%*ABMhD)P?AK3AqfAb(wZZaz9f8vHj|Djf9U-Rx-W@~36+G*|snFjo0?pQQz% zX~RlGFTjH}JqK@8O%@aU@Dur!>IN1q`gxgvhER!fMxsJ`MLq;+U&ox{?=aCvPM!_u zrdhXf$nMBio%s?Jd5Bw6_B&R?^gu!o<_Pepl~>UM2E9-`22P+RU8(zmU;X{(S=@px zjqQiIsR7%)*8+Ws54jIW(@o5j>#%ID9nDi*!C{1igkfU7@`Mqm7lrl^q)O~Ou0QUR z)0QtzwTEFFyWbrOvWsye-PS&e3eHBIxg~Qu#fum7XAvc!)2#sajq2l*@!Sw?}h7WXjPRX0r2GtZc7A+{xR7u|( z=QZVc%YrUi_9c+bhp=;i-OGVvIN>$6=^EWGW^CHiKs>KvH3W5f@L4oQ$)pv{Xm?y= z3XDW@k?lpTig^f5f0!8C?Ii`P?Q7^a3hfd8P+E?AQCN#yYaN=DX#}0cLuS+6c09R@ zmGM#bXoBDcEcz_kH4QQ5UmSILh=*jkJWD{mMq?UrUGqw5Cu(U_H>_c7wNW>%=^u$f zM%)*P)MR?&m=5%bY}x{6!X~AC!3;{H4?skvi|QxFU+^a!W55R$Z%!>hg4}|9-nJPm zDsynhFJ5gOk7rNzhvkKD$l93C!*KIOv0Fz5R&h1%-IN?zpe-?x63gmKF87cU1f6~( zLWt>z>(&6Z8?&%g_@|IOhu&K|hwUOjh%15Yb(ypwha?{+FxWTgW2}h#qIE=S_p)3j zLTa@u*43`hY7kwGxZNJjieGJ4UTbTd1k)CvLAXwvfmeawQn}Z5MS8(&N2z+$09@3y zq|;AWm{{Sy9v7#g7P3IaX;S?r!O>4HpLXDO|2mFVmuHHYEX16=Mb6h2C)Yz&+MA+% z#Ur1CbQbfGK}cpAp0UzgZ~431MIB;E{~YVrrzj(GR|7E0G5Y8; z9DU3h>8RqqtWXWdgifmcfqpUngs>tl;y-oGOkjUOf~|^vfvuHn$`mKPqV)X-gF8w5 z!|`gNd4A6tUKVl)3!Oo{O7OQC`*ypluYRAs#-tbtnIM;lmcm<`*pJDkn~t~g7S=cx z5gYR0#*}IJnd*KgWH^&pZeE0r0f9Q1{`f{;iu+Ad=R>oah^BhvW83G{Pp_JT{ByzCpvS7dl3f~)NGL>p;NaE-SFN*kZvVL3n z-?oJg*l37 zhIw1P^SfvXjC0F+Jk$=d3w*PX!_)IOyj`AqJWVuE*Qc{JV|F-IOqFdmk$QBYDT(5T zkocL6rH3G)EU!D10s-Bz5yQnGB=}V~!`$}8P4l@iIFs_h{`itDOp)QA>6O6hzpC&7S@Is7dW#Q`n5nEs^|+s=5l|3(wD&gIOuhZ^EtFM4RSU57Ld( zDd|w4l@8zxIW%Hf&sBzQw7A3)kj@@N$hX$!Y1jg@poMsRO`#kQn&r$ri(4#zd%nj8 z3|=vWC>_q(R(=jR0&g#ed+vHinkEkS_NQw{B)41;oUVFe+dw&4v|EG*%*(2qn11e- zUXrcgJ{Kpk4L4TI4j92b+a~EmZq~eX7xsj=C<&CZ+ljP^=)10))72B&>pY;YM zj!HH{Isfvj6J=wnb}Qj0iQRH6|912(oQJiEGfw)bI%?jk=@7R(Qt6$l4CP&A^anC~ zI}gYg%B}uexH>|xG)-zYw6hmngq}mW)29b|eVNDivyfk#taPIIq zDTIrM7ek608v#<}o&3Q)xf#%Fbj@1U8^^k9{zTk4%KqCZgK(Uac?Soz7ZHqyY++y6 z5NCBGk9TWeuZ^7XAr9dS=Bc`~Iuf+QcbmPBJ{R4ClqI4!uIID6I%R`Jm@ddflr=eA z^4i^1fkc2qvtH$Dqg!X%V3dCZ4wH!4U&kT&SX^+tGA9gM@Qr|2=?9g`Y;ID<4OFY zbd^R{UW}*pmz0CW(io+N8;I5oVpm~$-PW+XFTUr3wA+C~RCT+W5M5MGh%O{B4MlY%U^HfQy$8528w#&7w*!V@=s4wRBQkX)!CD3g zt!~N_Eda|&_#?!C;@6|pwZC|ZmXMv61Gl%-SKk_|h|insB268)39IG^K1^q8GiCd_ zoFWcvh`*8b$Vp|(A*%5EXF`07fumnCJvj4K(V%6XZOMr9LG561|9-y~i5fyUw+W@8z z+@$e~5?7Pox4^b~5t|%eT|g6cd;$?S5e&0X^Q8p~3d05XdC7kh zWufoUiimP-FGjiKklX6>dvKJ9$R5E@=x2}Z+0MEPqI!Y~I0N9r8j+$bEw->zAUJxL z8MsW)1Z%25_Wj6Vi&}OyfFv9cP z9fh^pn^-%h!4v@X%_Uj6_%{F9BV_Y$?-%y*iJ$dlv=;E^l5Iahi%o^wEm`YkzAKo| zs?o6$sL2ey7bKsta%%F7ylMOTQHuP|S0#js24=c04BR%v>|UHQ#?;178+|<7zPDiw ze}C)diua8qR!#Ft$yEmq{tUP2B%O-oCN^uq7GTU32sl7>(FSYa%r|~X7Z9xk zW;tXW-y(A_V6TF8S#>v_rk@5c#qAd_jC%+9UB*xDFp6Q7bf6c(oeMD3_yVuAw3}M+ z#B*T(4Xoj|v*`ErSK1J+WZn*HrbNlT>0_@zSnM{o)$nSVB#Xq_kP~dmQ#J=w!>j$e zqYa{_=+o%?9)Cr6!zb;ArBJI@to(L&QDBZSu?+4h6Ut|%x!TLxz%Jj;XA^$S2iki^m;GtMunoGwTFJ~33qd+EDG};(OtW& zRlABjLm>-Y_zY1ij)=Y!w@w_IJL1Vqo*Ux!ZXTu_QHx0)nXuht`mF5{pZGB;ZaGXo zg+-_=V}`Lls&0i2CXv}1g@kN8E!KdTg_Ht=W#1+|&pIqm(xPSW1|fmroOCazCM~?nxi?Wcdp%;)-ht7%vQvBIRJG&00M4xgUNnkHMUP zPYht=><$D9_JWU@Z?+;LRnlM`5Y{bZfAQ)K<)i&MIuG3qWIHAE#K`XMN`pBcbJ_|% zMrz5;QKap~*n23I4F0MhMRl2C72hTXCadh*fSvHJdBC=W50PqrygeaH%6DNtbb_X6 zJ=HxPX;mpgh(6Y$1u+G79imj1OBYEw*E?rXS_n=%IGs0iYUG?L*{4;dHq=?Xbro1N zm?<#-FuFxece+8Jn91cGEuF-bTHWR;(){=fGZ6H~@9p;I@h5o;nRm|z??$=dQu(BS zwH^}tWbDPo1%=CG%5d{;UDg&I!{FTnyp2ex{#$ZPQR7dbX>x}(@|@ki(^GSZ5arg8 zKV6h`^MFQPIhA0zSya;c=ZYP9r~Fe^ad77LRKOpQjTsaD#NuNjv0M6d)(-Wjy98f{ z)YgXeED7?)hXb3Qj_Ww z5?zdT_D<>X>fKBc zvzA@uXHbhuoHbcs!!&^vtP@yX@~^*l&T4M-j7nMNJq*QeQZSfc0@G4P{HZO6Wor(` zWk+u8%E4OBA;q=hfB{K`PMWlPJmNfLpK{k(pPfxj!X&I#PO{vpX#bG@Gv9+)0|Sd}`&(_diuHGtD=k2EE@`zdK8(}wUXu2dfXYhd62%OW zO>N0;RJmO>{JYAbLYqCrgLDHFFjF?yi*cqQcfkEkhmirehh5b*Slu8txZ>iekusYJ zOsIZ7vFy+Lp3qTCv%FZ}a+l-g%4{>{_$6RscP{npQ&OA(%(*>DQ}^G}s_z1-kc6qN z`srsuRs;{u-umO0ACvUr8#I|kUL{1;Qsu3+Cy|dm3NA@Flq)D8JI?lzykY zs3~V!TZ_>jc`R{imT2OEEz$4SL~`A8aBgr3JNJGn;e>VXkSx5#<&EZBT*WwJSVq;8 z=qk2AlR!u2zD|=p(UMv7+JF{Muchks{}HuIESHKkG|c3IW8(b0ddk8d>DUE325iaqUW{lNc4pRmU{r5Rf;;^R50H~DwU<<; z;{8-5$AUsCVs?YrWfu9jBUF1wDMLe`Jl}m+ zO8dX_Q+!;iD3Tk?JaXJ0Kn94%-20INL5^{@(T&?_hqOx<0`1e`P9AnPWze1zvhA|TJOz%Ojo7BCd1FscJqhHTl=hsE50id z{|^9FK&rnKf+U{dlkC6>oUu7p5k^vm321?ndn*2%3%1u9IHYA(6~-B^UMvDG8?z^W zPRM@Tg=kh?yR9y)8_9v2{`8tM1B~afBKX!0uB&Ys2uTj_as`%`)NH4jyzt5u@B!0- zUk_tlET^%cHQQ+<3L*w1SPE$4=wQuBQMy^$8UdbWJB|DSZIXdw0VjXT3Y*dnoCUGH zhCAMZPoi16Xib02$_%x0ALyfOuOYE$jtE?qKjXi^Ti$M&HkrenhjX|_*C)7)DK zsa1@vNgyH}xX*Za*rKpB9dsI#eo z*NQ$gTxO$}gn;WerRTs`Pv?64c)tzB749-NoC&JT0*|Tz>(+pL+8>iz=NvFmqSOPP zwV%r=F4}Q>HrxoDX~oNzMiOwkk=zJFaR0!|h;5Jbhf({5`{h;!Nb)ysv*UwMe#21B zz@wrPoQBrY51!_^k6tC`STy<5>0CdcL5jyLeZ}h%hDh-RI}-$byV6Ur`V5?1mIKcW z4~<33HKO~pPovx8F_X0)Io{>=w06E>+UNez(%0C3TFclwl;Oik6?>$6UYY)v1l4ahF}YDHGy)YZmTV>9l9Yt5*IH=Np*bNeYvH}+bkTXF`j zyRYSsS?iHqotpYwW3Rysw*&SrFGEvHs|1XEh^-s5zoUAYO2*8CmOs0Z^gG@Hz#bJ+u;0d z*JGOs&vP3}vzP1Djaf1S=QlI-7z{&xdq}&eF>$=FFiblw&s4HHUQoD!w@SDm^d}a2 z;6%s$^4ZgV-Cj$En`gL|tsk6mKgl0+OzQ~&X9*cU8EU@w10(vDKc)QMnhp->=5+1f znL{@MAG*)*r$i#g(_1eJ8`7+faZ)tGH%_NNCPlIyz3s-;L1UF!FN^UtflHS4?2lQY z5IEO2q@OPXY~OB0bokqI+x|TI)$(XEtzyds1}bp&I1}V+R~wG&CdFf9^rXou?Y?T1 zLC=88?#;HEaR!fAOcJV<L%W24bA|!;ci5MVr&I& znM!|7vVQ&CM^Yr4uS3B@O}-iEQj}d7z7EaKt|e$2%NB7lrv`Ii1hzi<+ZfnV_C6WF#_J{y=veK10b3?YIlPHmXAU@!C(vJmB911 z4m$8mZAA^7=KtyrqO8@k7ude8h-o}o5tpK|Oj|ShUZB0~2VaB9sfG`fnLj0mxS2m} zjp$~YI8NkXdUFYN1a2M;JgDqW7Gb`VIUhtLQuEs&A=0@$oO{*#ODH6AsX5>slP4DK zC}TzNVxW(pr!;)(N5$gPxY1g;)l5lq;XcfISla`{O(xVh*LMc5c&`wIiLT=4D>akf zT8Q?Xv16IAVJ(mzXWrhJLBAIPQ_t(!eWy!iE_>4T{|$E#euf^k-R;& zLx?CgC)CN*NO{aBp8zziXRBpP>rjV;=@B@o+2Jvz2F>5OKjYynuR{jJ%zNQS?k=vg1=P=zSQgf^L5uH@Q&feBZ{Y4=U{btD~q+6hmZnzxygpb!# zc9riRutZ;q3}R+xsy`+ZcyqUaJN=~1$=<+aYHrU(%;4z(rKDhbF02ph7jk@P{l|=` zruo2*6Zq_&3)7nH*L@^Eck>j*W@wqe6arlvutYR9MQE3Xw4HYGBsRTOej?xt>PD|< z$?Z{F{9N)O*2iu^-0mcFz>}uB5gCx=4W;1PA8UGqc($MqqZ?a>VT~57Uaig0aYnem zda(BJm=fLF(_^>@>k%4d(txm5bYU&5?-DpRLiVHyDIOPh)7S%6@{*3$rx%dY1y1C1 zdx;6TL=P#^g_g@)UI>%&Jl~M`mHr@-CN@tmaLN2vcEJoQhgXI>+;EAVUJs59Qa%1J z!)M0U!3)6`_9`malX~Dfd^5LKkybg^w=GHPrD1xHC^4JEF4|s=rNxYRA*4-Z=eeV_ ztwh3;9`YM))feQa0|FHCEmNwC3u~#6TCO;1-1@_+|vukF0pM!%sxs$ z=wVxx-c9R?$iunoU^{?0z_uA#xTpYGX8o<~-5IE}c`mQ$dv6rkIxg#6uiZ4Q&4w~U z%&Ne3GRpK;5n7G?@X*O7K`^`zg^niwf=kx0e6Q}!EMvCwR+7B>p3S>i$XC^a>yqM^ zlWz!6dVEH+4K!NgT#S-V-s9Hjai4)p@heq!nsK!u% zm5d|fB#(v-l?e_VYW_vVRtPWq$;ZDmawU07x^nzf;NX=~*8NlAS8~!jSad!N1aN(Z z$icqti3+i)Y_l*?U-k#MwTPVixVciRWyT^+_qJ{-1qwSzEIzCua5zsrdG)rQDuov< zM_})5ZGq=Gj{otp&MH+Sg*h%ijX7`<@blP&Zu`}0en1?!x2ag+p<6w8_1~5yIOKx+ zry*J?AR-{se;Tgfq{72zdl|abn3aPojC(n{CfT4s@YBtx76KKlF{{+$bH2Q)TC6KNf=h2N47}mkwZPqJtAxxLBsBvLAFoEJ ztDW12PgpHR)gw&$_94NE>!pK-&sixRwidU*!$qxDm6*b0e!H}l+UHW@>0cf&uy(#T zEPr^+)dnGN=Oz5`u)!-+bAR#3t4B9_I{tom@ZgogyB&CV{FSf-HvG@{0C1&k{MJRrTa`1}&fNS%dP5TNKRqM(rv-}cVs@CsRk86Ko zQ5Bb#qE3&zy+T*u1n?qt@CtQ-L;71zh%G{6)mryzt|w#`p)_!^$mN&NTcr(Bzl=cX zD^v%bv20J|&?9@*`qy4@+gBhETv9VE$#>we;x1Ap+X9b3BREAeulqz`veI6hYM62F zKqh#D^~xXT75D^C647pwyaS~bM~_L%Iq(Rqg6C9!3By+UIXk*L@Ce(2GtqpWyGNL} z(&MgQtrJC#urN5Y17FeTh$7Q7yLyzyegvIqyp`LsPtf@UscHRB(PRA?)P_G`Mx5az z2EMKEck~mIKQVKBE-Cj{Ed9jTAwHPtWRYGWc_=|(-upFzzl}<$MjqoG@uw+#y|N_l z3;~QD7e^>@O8#`<;K&X4>CzS1b`b(@n9q4&Sl530#$SWq*_KVW{#^Uyeol4!i$^x$oj1h&)0TMU4I|CC zjJzX){qLkC&K#-p8Td(J;1iY~vxUfcCrR>SQ%w-n0gz-de0m0aiV2KGe?-~(NAUrM_gWEr{3uqyz}8BQQ>eE+o!@Jl56Sx|)=087*Gay-`%Ix5$m;<#!Gkd%A|(zW|n-) zq)u5CjF#3q_|K0jER3G9RzEdir)tZrn;_Kqtn$K&DJLoMQ56QEC!wixeH4*ll;FD@ z_>`PMEjp}g`=1{rY7msd29g6mC2hmHyTaW5D1pPC$RqmaKT75xTxB{)3;dMW4XX|= zXdBZpg!|?hj;2RbL%cq?1)cZj;3$gO4_dE50==EalW&ixBCq#iW4e8hV!{N;1 z>s%k@il&g6a0~oV-H764oZqRcJk^k>SUr6d@4l-ii6ZtObNZ~dgnjt%SbP*`qBAMY z8iAi;PScGoT&Z{MC#=Z@!jFJYspzojWf2eiC@mc}MXA3^S5GM_N-f(^+JAnOuA1`7 zVQhbty23r3R*;B%RK`MJoeo39MAUh4wWC*zReM+JntCbi-&OX)-kl;~ z^-%}hjWaC7%SYWX>H^}!5qOjtqZZ(7K9`@WWXQ{{4fCHLMa(du=e=SP-bK$ydB!)K zlIl|=-A%OjKu<|EG8sxWQ@eBy*dM!tgxcx?xT+YA(pMr^PeAm z2i;7XeA*yRn*t*tU`{!05T~ty0TKk0OW>ysf+-X|yq}M*351VC>O7a9E{pC{_1dpp z8AusM(fr!Q!L*HJAIU(6vP9=lKeLB zmX&6QYDL-lyTyg$4w2fyPfHBPT0eFk{It;6td&;!x&LXoVPZ?&(NF%-qGMBEN(lB> zLr=5$y2a1KNBfVRu)Wi{`m_silF%PH@Y7vnN25fe>_;~evv-VpB=FO{#GX#m39~=D zo!Fy#fVj`QJBqznPocs`Hx)yR!VvlBy=um!>`dC9y;|%FBI-Nv)7!;Y-aBG0AH85q zfRb>lzqF3=b)cj;ooT1jjIWTIQ(k^{rm?QfMftUp%|>U@YZmzFe6#iF5t#evl&eh@X9cN?TNXqM>Z|7e?JeBSKq)x~+*EUk?+ zH9rs^ZJEsWBTKUbKW&^gg0Qq-yFRP&BSt&ON0TT$xmX%68X<_ zr_WL9`6y& zP9Oce%*teAp6gHlui+yKWj^|a!B3scySvyL%Q@KrpI&5}x!I3!dG{{!G*B)Ed|I7t z7-vMyKRTmnMPKQBzjr4!b2_Dz(!o#Xb@AGwbDQYXwg&YSH5ngm-Nj^BEeAhs;5M|V zNBhr5+c=HuF!P=E^V4QdgE|a`=RT(`z1kGINO692v9oQ`2yOMz^=@;HT9n~^bjkD4 zqz%)-Pgi|)i(nu8bm22j(q`5Le!BJ<5;;qMF#?<}e-4h<%D)l_Fp?3v z^B(vi9AMI-5vl}!2nrB7(EJ_z5E>v<=V9ynAV6TMVPrTz=n@!Us9y#P#G76Lfl0^b zp;0(=49qKp81c|C9Qp-5iku#jMrN;a3nPI6dF zx)ZCWgCCZYZv8O(kenP&6x@OIqS|r53XKo89z1aw!{xB}9CjakWtl?buml}8Ae>pq zKo8r{VGn8^>dOZ|Y(sd1dbAKzZ+4<)ImKY%_+T@_Zj=Pthh6EgA7LMs5>5LbY)MQp zqwW2$C>?esMs1R_EP)?3CJbH4)OM~v>`m3iScP5sCVMhtYs_D%p)hG?ZS^ox9V#hm z4brI{_@JJ$k@qER{12+CYH@|+tN+1lg&xs*%)_X4n6QxBxc7&d>o8|AtCFCKYVwF z=ZJBB@Z*6~!sYjW^XVDhLP>n^?-|aBk-!gMpW{)N`9bezc#f{4HydEU^;hyhzs(_H ze3K0tUW4l3gPPDEGeXH9REFoZ0zS-#2JbQtBjRC7^wo*#z7J+a!)7DaHGD4V-B2?G7>p-(+@sNlFHJMcrF3eJeC zU+Gp&5)B`*@JY{FEF~M=?H_cm))1J2iSdK})$kGNt2bM0apL7*XMK~)8d*w;{LBX# zt&^yPmiZvB1!w;6A)`H9w}zig#s@Vn`0mju@Ij?p%qWPE|C@Q&%#ZZ%iFyrRQR4qW z>|5MJF6a6~1Z-thHELZyh=Z-YGVgToLo{5X*XCDZV#9X{LgY7*F*uuT1b&E*!3nM% z{17FBOHl{w^qW{2T;Hc2!sSE6jCm%n%B9E$aWi<{aS-1;&(=+v>%XIg25&Vi#19&2 zaGi;H$g2AO2A|RC{6T7MM&wRG&-~`Vrs*}Ma0@;-v%z&iIoBVKZEKQk z!H@aD$qim@@XS9yIK06L)QrFn=QsGs5z71E2siGZ8k+A-DGn@C`gQqXAh%xL6bYjb z#&Yl+lQljG&cSWYLEwiF-AwNiL>3fkz}^;g36V&fnWeR{C7o8hv8hVX;T-5QbW zjx~OhzZX+EA=f_0;=y%NJofxSE)Py9^pMUUF8X4joG_C=xa+~mO!@V1uKVI?uz9%j z4>!IwQpW(VPcHppCETqa{BZA^ACrT<>4U2uoB~l6`GeXYxH9VI>vIl(Ra>q$0zESW zfc17G1`nJG1Hi_O`}JcU0iKpz4||f2=>^tFp1jiKW7YvM1+x9?$7BR^*Qz&Ge#}uQ zHq3MVI(4B~#ijGke9UM7W~5g9$TQKwhWKSSh(6{&;5kx45tAj(w1{HeicZn_o-9Gz zeU9$kk1-V1jbFTD`(tPY&MMKB_=#u41+bTme2l{=7HD*WyN}r!<_CADYWtY9f!*H2 z<$h1)z?s&{`0R}L2oK;@o$BCY;0KfjopjUJkMSVxsC(JT$1oB6`crfIF?s}83U0+s z&Y%)V8fZw3`6Xwp2|ALjj>YIJ znsa)83~wQ>v7B(}J?O=PAj9kbKc>PI=akJcTIS4Wvw_)!*~abb$LJgL*UIo+cE;owxl8wK+s8;9`q03+bmyhHmv z?FbYm6LTNlvyp(Acd!GFNlL)m$V0w9#xCI;=jny}?-5O)=(iTrpJJes1+?Wh^td{v zKUw5jU&wdlYgUwnqIdCzlJ{gO+;rI>KA!nKhsr|BBgeeC*U&19>8I*ba^54ZJb*l7 zXx(cd7NG&%d!MUgdX{Aob~K8;M{NNUelsWcJ(!EQ1HC3C#)H`qFF<)frq18vzAVil ziBtlP;b0b)_Cbc9qr?bw6tsWL42!vAmRhO98{6Mg%8Dfu1u#h}vnBs*ujBa~P z4Rp?q>XUZgGX{-QV^&x7?}>y)Z9%}?UgkBw(3vNeGkCwJ9U3zPW%1?fb2cKdB~xQI zVoXvr#)Y|J0^Dovq7fx%1NykQGo;a2y)9My^*Pbe2n*bH{G9)2`~!VByWx9Ur1J?> zuM&OFmh>?QL9qLtL}@etjMWG@=2lu)zs(o;`WSNQz5B`MP`(CYT8lpM!?-raXIdxz zjAq~WuuUJjVujG3qd9Ff3=>`A>KNo{ZS{G15&wJYr_INK(tUk>&Iq;Uc|xr9>vN*0 zHP5qvU!TKAZ7@-;w%mD<=N694<_bFirmVamhHY2IT{twX+AUFyfoRO^q&nFurn zta^L=_Gv%wajZ6mD)lqcHDCpyKnU~t!>ehg@~s98>D zZu1%EY|OO`ng04Q{MiV+Vv66#sAxAb{fvGLmbN5Zb=IAaG1ORF^3=>6{}@_brlo9s z2Ksx%H424k8|&+H9=0XL=kj6V@8Q{GhPBq_n|+MhCXv8=;Q94qFt_Eqw@>%^7~_r7 zq*%6m{h0Y(vvpSb@aFe~aPs|3GH+j>ACt-{cxcyAE zlvAYQB$FRg(8*Ox1fQ$V%=C%_5d9_}^VKOS@iv|x)7Ys@S$egA&+K*zTuSq%U*46~;^MOH}-Sl@SB z^$vxs*=cU5lWwqcy7^PGn@|&d3wx8nG{v~=qlk32Fb5a?W?Vfs^_v^_f?dLVi|H_> z&9SGn2CW3#Wg=xaOzYTgaZzavmswP6NadJgC0JHzs%|->0PIuJUAC=)*(~_r<{orA zu4E1dom$iDt_FU+GYc}+b>(w$vsk9vN+af04$1>cKP1O{`Fs{CwPnbraKq~I^zbl0 zVFZOTnRD}}={BR<&0S;}XC4_H)J@rt52x#^PA5TGw{&u_=>>Zwt!5c!fCw>7_lhX> zZnUR-c|^K;Mdh&c+*lr3t;>6zsQ)H;7Tn#ip$vydwJ3&Dvkfmh9>c23vonKJGSmX5 zd8Inznf8+x9#JdKOa$j0Ct_z7@~~Mnv%4goBVweqlF6?dhaEk&bG2-oIcLy|`QR*} z@|DW+sTz8wW-5rX@)e^tWCZ!35P=y&5ohdTu!X5~YR$V%^f4kYf~MW!xtMe6x<-f5 zvNVSNSTxG$4Ng>F zWrru@2Az|CFdDEqEW2iBC%a+->4|8xD0Czb4sg7UJrA6T8lAJM#u$B z$UW_t&qXp~I68e6xy{caS`ioP2<&xusH}w2VDhQkEs5E!Ex}+WnkF|(bp$-3P1_hp z)6G((x_<-&O^VTQhNs~ZeS zZkOr>oZ@Fd-7h&Eb}1FyaTD8$$1aV=J6gr0Lx%)jVn%+KZ% zcT;hqC`$W#3PvTFLOw&gTlvGBK5CdsMhhWR@SpKVjUq|LoTs!p%s<403?7g^8qBcI zQO&;~C)%8Hm!>g_cAZa2+svy?I-b2g^){FmO<&bXaBZ1?VfLIGr?iYE=Dry{lC0u- z;Dm?iBuk76@mC)-=-27UHKOU+?q$8fqN z`3&bCGK)!E)5>O(+42F{ItQeWuTgAM$g}dZd`CG7Q9E z=_F@l6RcB0umQp&$b!v#qytQMPBFNiV=^3;pn)F6#@ufbEe@OOw2keEnYN~CsFPwE zoT2(tk4N@moCCcWOsS&zT(IHLvR{n_iCmoaT;6jLu-0#9m86>lf8;&0wOd zEH(w0`XQ?uYK$ApVJQ)k{Z63->4U?a&9x0~)P)X*TQvbdd?`n;&YD9q{4Bj2oMZ%cWGeaF7&FsgM-jp~1>21-U1Byz=&qFkp6g?a?93vJfpGp=9!i#j3i29bTSe$<_FLnv`ueL zo0jHDzh->^1OkBJlJYHLUHe2};b?){(xPw;-iVI32|N%q@e>nTY#J;NsoQ3)@C_}z z8Y6mPd|h@}wjrmQj%Qhnacw6sm<@$4%v7GWB3Zqyk+#T@F(ZHiddOUOJaXgJJKt&K zN*Fx`qo?iX=?oHmnufwXYT;Fi_6MY62J2sEHl>Lx(F6kH3HFQ$Kk9NTouCF&T4@_w zaE774>SAN`f8bDoHb)7Nz1t*Y1>LD z=&x*@)59fYwFwspD`z3;o^qnxd5~N%ScXRV{}_9lo?DjeD!0FXMK+;vsEqH3rY*n{ z(rsW$mjs+;{9x~H}m7%3g2;azVi^c=cy zyXwLd_Z;jeHg3>vxE&N%if8l4Y&ZfU6R#@9d5~UqNC|Mp))nh1k-mxU*FtU&D~W>> z%57MxoQ)z1;%`}h>v)DkZ)9h0#mF($K>*vkkWwne)>!xVkXg9vlYrx|VQIfOA@3Rq z3cCo5>RRZa2L+qbU9l8RZ(t0M7Pth3OLphgsSUaTkb4IbX=LQ#tK3`1pg)ComRC{R#0!`MbG_Ri(Ctq$}N z$&-Q=2G$_&wg4(^MM7shD7-3Pr`W>50z;MLueHN!Tn>zB6+_RUvjO(6cgG2(+DxF! z&L|F|a675k>zHvnI=s5}fD|=U?KYa}X7@%cn_5ZKGyMZ!4MtWU3Hkn7f}yjm!@yW^ zLDjbm%e(=fR~R~A>qo~BwC~C9g_}v&6vuqM(bOnI2p)8-DNIbFxL_H(6*siR=tp8< zf3S_FW)V`I>(FA_6Lfe0%RLA0)g6;1^- z^FeJO;PB&AYDFACs|$q8a9SinSoNawTQPRBbymU=LX*MD-sD9xp*EPpU{*b#id)=T zzbib>7EDgm1fqBAK*quz-Q!AS9JQlE+7<1}sKL9Z%x~;T!_gcV-eaa2mX*D|f&Bej$H@Qo}3rpMQ9M_hSF!n%z8UM4mUaJ-|Wuum1S_?*FOJzyAO3tKq!{H!6rw<^weV zdRjGz;ZI-u8+Pom6}Z$0U_cHHqcU`B{OPN=y73hxaIOcZsRO+bC>4MG&N%MSe{j%= zvtL>2!?OGrFIUIVjwJz_9e=~oii}qSh3Kzd{u@$WWMGwo2$H1VaHNkGodK=gFJ6vS z2o?*o!*S?0bQEGo!S-T)@%pOqmG;l0jt|I##1#9dFIE$Xu2fpWjerZ#BqgReQVDFmPB7%P+o(^>!5fr^*E?s)3!j z(SG&Ki*|RzluriRrDk3zO2@D6Llhe@?SbE?{3h6akOu_XxL-Z_u(B;suweGY&n@*H zLglgk{l)jjZgqt!58~0^(C}RA8LG7V)olpz{R`JwOq5k+)3PK#IO+MteS*XFIqjck z>U4))x%taqP(9EZj>*s-gzHmb!6N^q|LS=gx)X-haP%Yort@RL^{K!7J8h$;>puf8 zN3uPr4n^fJFVJtr3~uCUlR*uks0|BWoF)J2PJw^q+hK;c z@WpVa$jW}I6Ur~Hry9Dx`j35-?iJMW%YkB=ld05%_^RC%m*`LUNiJ0h0}1gNB<3tYnWf&{_COq^WfuLdBKQrp{wE-H#vMF?x6D9&>h~5gRNiv z;u?um;mm;DG>o-!%fk7t{qoOLS2w>Cm(F0A0bsG)e|d>?mXd|fMBF2uk%o4KfvM%! z!y$HQ^b{LT;W$3g^Q`&Hc|!L*rv9@qA>r04GLHXp6#5No{Jmwl(y{2qH-j4pj%R*3 z+QMjJ!`nmiv*0K&(RKODpIn{&rvLMxD3iNZs_S3>hA`@smAn*lFuTP7hrKp+$N1%F zyEPcW{&`+Cc&S?(W%I@VUMs4f>LqzlpMU<7s_7<`sCofgwSWA9gR=TzfB5m^&*dxp zvlm&v={JEeW9gya!s#hG+;C6*`19XCzx%fsFrVN5*B@wElBe!hu+U$oz#nH}+svIM|adhwMW`AXl9&}0pSc++Pj`#*mOPE}+*S7G0H z^6&oB57Ac40b88>kYxYo4^jVk47?S4`uLC+O%x(5SMKVTTIb`iWGSYRyI5*{cB*(>{_qnj1tdRae&BER8c{3=hw@eO$e@Tpf^Y z_Rs{&0I*z35PF1SUdz)(7oq1Ukk?KZOr)~J0{WUu4?_ru#wzr`nldxB!DZ;NwJGt_ zQUYCNuykF|$AJPPjugl1XTu6yq%+$IyOXdf!9L}D|HKPM_xzhDuaS2QjtF4Z^RqV% z%+}tyuCq>9=wOSwx_t)O4nePUyw!$1pRn$)xY@wjQwre%%dP*?$_nf4QLfuocy?*D z=bY$+Xavh9Jbb4v2!RkE^K!0JHszAd=Z-pyiDuIwvKSCL$HSV zH>QbdSBIMs`A<4Xz`@S@r+>wM{0E*a@F3enfeGUKSbj!>Kl*=#qquH8%KOAzlCQ9j z`@H0*_uzknUg7`FFW=*Le^zW>!lk_ln0)N-M)Oja0XyQzUFoH#Dkk5jJ#6S1>?Gy0p3jL0)C_0)=~JGbK+RB(W#8pd3&aewm}-a4 zWzZA>6B2)qIK_dOp*EAh(wPr>CFIw(zcEjUrmA9=A7I6C60{6uTjK{EKB0pG6XtsO zqzY073u&N3Ep$~NWXo|JfkDa8o6UT5UWi4bFdjupU}I*RbY6=FkJ8P#l1_KAPuZv4 zsdN@R)!NL@cKz5GO&_m2@Y5MH>T{`(&rc`P*hgH|{A%g^8oeM;0yvJ-Zb%uBrR8rD zXXB7E%xMcdI!V_S5etQ+V|Vq^KNinIhxAY~$e8hZ13(<CsA&O0hVHGE)Z&0P6C_=EpF}i7Otqs~`=|B^ z2pPKOxqO-}rW#4Dz_&F+Lwo$2P$LKa+-)-fw|!tu`9`0~?Gb?lLU%BJ?kG9UdL_Tz zCu%k4FXmnq`TBZt_vveq71YsIU2cNG&2lWKhFfL|qDE|S!3{QOV|QOlZpV?kR)*{5 z_%`oocl)$v5Nh?o^I*d=bp_$s*_NEhEkv(MotC!{MZ*z-a7sDRa1`xHkTD>N!@HKE znF(DmNaFKut7v`F;DKp@q0}ffblbwtYpJaY%`tKh1&$^xIBdS2;7Bc7&@q^|@~6RT zsQSaA8mJviyJnCF|9qOqpk$Cs7JX^nX$Bz!(tiCtqAd+V1{|$xN+SDS7 z&K;>Yt2e7gL#cM|%yazJ(SABi^>4kS*{lj7Lo^FfYb%5dQp!$$bu_~2daGM@7`4p~ zZPPOwPHM6pnuu)0F}37E$bjTX@Ai!bUUd546wmv5quWK=^e7Jv7PD`i4b4Mi#rz$j`FUt=%Ct7vY?any&^fBNaz|q| zbPQ*k$|k$8(G!H&IPcAlmTmL|&DyM8I2*jt6C{(ub{y^C2(&>kpW|pASFhq-bu^<^ zbL`eZUf!QiW4g8qRkP8fHg>cM4R2barg!uTZEW;CpB8z`bS1XJ%kKU#_AW$ z_IoH9wq=}9uReN+O7GFD?~VOk-MdXALn?r-=H0f-M4ExF=IXZHLka_Iz{s4cMIXr# zpkr9xs7vAnJ(017VNyEa-)qM^lv5XhPmx>Y^|uZc1p+OQ#N@9I%?09X8k}98k3s`~ zF82G*^U-sl=?Jz?>-nfZ&~ya#;a4is)i=vBhe%h_)ied?O&uljP?qPKlIRk} zN_lNFjU<||>hA7MmV!j~G%s3z9u|=UBdnsjKHVkfMXlVI31U;Au6Z<4@Sd-l9T-~?+p%lk5&v>@ z|LGy2yk^nV;%fG*st2C%-|G)+@PTElGDo0P>}wEBtG3IT`hH;S2gR%14M1~fkYP0* zwhqu38dV-WY&4)LG;$lhj@_0(Q)tRD>+du%u%jYt)KA9)3!$+Mp0r2M2%6@C_%u_{ z1e)cUq}O=?bir48K5WyVM_B_|;}4rUX!^{l7EYNK5WrI2z2<{(4I?ytW?@h9VS9<9 z_I2Id*3*mvcv(kS6}zI@Ppo>zH^?fp7t3UM}tj$$8NTPvpuDH7SQ^c1b5+`Y0AnMuId+o}JvSU43Z0fBz_>g0%rX5(fYCjw z&w09)=%M6UZi8^WO@Lu2Gu`sUd{98;hdN<|;-)DYPJ<(!uf>XH)8HQRSGysLM$@2y zMt|;W-vTV_T+=$H*^36#U^XicTf+dOsMC4+`p6UwE1D||W88E`(`qo8y6KEN)M!|Z z%vRIAa@@~GvuY3`xgU1F0e+|Nf2LQCCfIZnQKhjCDDt#lH`Z|*9u2mUvD?g~u4zwE z2f=E}+_d=7SR1+1%xLKv0s*5{>UEzWw-3@&XJ22W*N{ftoY$VmYfPjxvToDG2pB3L z-6BiRBag*7=2>XkqUUA2k;Yh>@Z%A} z>7r%1KixgSuIH9w^g{U?yF-`aw_ChJ`gs92Otx+;<}DzKrRMlrg(<}tRUY;gQ;cJn zhfT>Y*}WwSPp9%oGC^VoLjBA9hzYTCOvGPW_a0_a9XX|dpFxJ0E|F$zfEH{ z`+g7^K5XNrSYBNGz1{RpG3=k+InFKO>=!w<`c6YR#itZ^uru>H{jEI;I*sa-_GUhd zX=|t0ENj^WPwxc854-E0Tjtqq(@gQ3{(6dc_h2iC*pg!-tX>~m~RhDuL20cqME>Tt1b z&PD8!1pRDDYzuKFXH0djX+^-F!<$qPb zC$DE@F$>{Z-MrErCKbOP;gNon_KD^klIE34S99my>vXAjSdo*qm`eMw)7do9R1BwR zef726R4mW%b|+3Z=v4gLK~c72>Cc20l!v`PZ7P8M@54@^_M>)7O}nn57KheNcbpca zijh+6*bPe+qvWX%+nXwe`?g~@LpA*NcyG5(RgCt<^{~;Z;<8O-cU@VHHWN#wg{$J% z&S$a_&FC1>pXTnchT9wNu0Yk0fi>-E4jJS{LQ z4Ra0KiEFy+8f~`umR`J$-6r`u_c}Jaw`=q3bo}HAY&f9%2m5QSy&&C&4OhRduQ##b zVo!fM85@2r8zFs<9b0{zCdvLL=E|Oy%8r-2A-n&we-V=srdzZBE$(l8y`BB1Hs{WC zg7ynj1DkEMUtCk0XHTNx+Nyt|J5t+wEZhD}|LXV~?E$-P*H&wFn|9M1+r~KfDL&lq z=tEyAY`U!wo~7eqgKopGWh$hdx8l*wCNRyv6?fAjr&GAmu;;zL;)-#3{XN`;+;F!E zEIrE=*JBoS>2Pki+v!pIp&Nefj3V9B6&L>_(`((ZdrYS@yJDp1xv9FjxEsa%^swc- z;dg4WkOuMAWV!5-NjrJ(ymd< zV7Qj@%`!0j+TLI$A1Fo>ss182C&92R#6O`5M(2zddjNysVRdlEH5l%8){)^3hMR5H zXB32CcMZtk2*<5_Vq>Q%FNRE8GG`^ z=RG2&BR)^-&y4hlZ>M8U27tuhQatIy<3ju|H&@$?7IEy*V@Uir)$%DbOZ)=V<(VZG zaN<|1c)p2;q4=e>fjOg7{64T0s|;E(ylZ5;cr1(GOg@I(5EsAo)=!Zy_eS+>7Y~T> z+uCZujFa()z#6Wz=iKnLz0ZuQF}&;Yyc-X;@u$u@=Q0K-o>99~BQwXSjK}_B57_bQ z*j37z$76iW_ow_G|jAJnK92gpAKtBKOGihm3C%3s7E>jf^Ft zu5P}O52RLnP#%);X)Yv`pJaS5&u6=NOE!F$NC=B~CLip}Pf<>Wmq*!W^po)ud1W^$ z$|o34B+qCmB_LXJyS52@x23kj+V`^)fOU@yJdWM z`eo*H`9xhk*w%T-E{^ODiizEf3ltHbkr66%b56EP*)DKBn!N(p$z$9seKJTcGsIUZJa6ZVu# z{WRkBp2%k$qm^?D@KfAuN~gF##gJb%=N=De+_hK~C#Zb5;{?SI8rSv8A2_a1x%Tfl z_jp6&Gw$$6LsY!nA&J5hjqiA@ZrGyo?fy#?&S?CYF%E?}DnFi7p4pGU1Kqfh<>*r%Olq#oaSvoVctTVPX^rgHgr&o_2c z@pvsDhEh6>FMlF3)l)eRubXpE0acE_JW@bCHPrZusLq=*s$8nK65LZsm815z_wfu< zqr3D-Huc0)a4eTSw)Q5ZDlgTa^GsAVe%guGdjhL+gg3;edSI(^jDm`9zN=y>Wh^u> z^I(nJ*)YY&Dju`e;GQnZ7s0S$Qee zHAbn=%B#EoP)f9Mx5lDWY2|Id9zA?hsFnBSX`(4HR6eHv$e}P)iXQgn*cFD#WrDNm zGb6N>@7Zl8$jEK*^Va4$%QvE1xfJgAeLT`zIXaw&bB_R54rkbSy+?-Y!4v`^?fq}W zxbk))EBi*0E0>@9#Opo6T+h9raT(4%@?81c)&))x>EH-D@<%ZO)fHoBQD2_<>v7s< zQ&8r$E8oi#Z8P6p5A84+#Opl|UeEYSF?AB<$18_u|2X%&d2m_a4gcJmPp=%pmhIey zqI$B3MQywu&F#~^54LXXk=B%~t{uEMpp<9wjn~T)(Yqg9B7*%m$MDtcXG24pO}R*} zSvCyf_;XwIAux<$UOQVw^M-JM;3l%|bhYAsInEKYxa@dUE=zn( zm^NXVpj_&Gzgozpl|@=njIho(^s=>UQ$jU23;&}KIl7zPYX>u;kK!q>1)tH5O7dDe zNM8NEy%fRg`1>DA2rHU+DRqkdI2gn2!A&);{!wH3aAbLvb=Z$qntLLGqjRQj|B<^F z*2tiQr{MH!HKzaga5?X*+O=Ky0gVszP*%U!CThXy+*QDO4_0rI2S@E@x0?KzHg`Z< z_3pWjKPlUeTZ;w?tupP2K+D4$9HYVT2e&uRoJKaJOjEwtIqCr89J*yML6N5E-v)=1 zrTAiJVf(!}N83Q0u3(Ms7zu8^*ujDCcB~!{w*(!2L!pUiys_Akn&0OCdZo~|zaHk_xkro zmuv5SaEGp1|6DZ1R;zJ!%VqC)AG8#$IH{J)8L!{36&R4HVS(;g{?+bhcN0=5dmHWN zJzI{KVOtG&wu?ZEVpyVU2ItcJ=Q*L z9p}d<^oBNPh=crn+~SXf==QnZNl`Rc{;>&w<|op-F|KYq195@5KFO#9JLR`=i=1EpWu z=@TE?hG3lIR~7>K=^SyS_G%dn?MOg-k~)I@jJIjwm88bE^H)>kkr-d`o^Oj!-RL8= zFL}^OY+tgW-?A+G#ZE7l1Z%xlvcxWae>dwtAyL0R4_E{h=ThrTFF|Fr*!G;D4@@3% zU+lmX%O(!AjZJ8MAAf|G{|XvH9K~9}Nk(@L6QIGoE*_QrV(Y|w)51tqu*FEWJNFr*f+FrzA)yoIifW? zxzL7BDLc0nP0&$K$6b>(4WBYsyo+XKTFo@D7A?+~rnlR)SKEE}^Xd}8o3VVOsiC~Y zrm9V=CXdo4SovLw7fc6@-_B(byI=c`2kF$!InJbyS4MMNl7n{S4m9oBBri4Lj@QfY zRi{nALm=ccDJI%x}kZ;n)jq+w1*iT z*{>`ct-Y``?}@esZuE#)51{Jrox7ulj_`Pz?fbyg3Hy3Fz?av${j8ZBf)Z~$9M(il z1|T}{zwaAZ#*f!q4AC#Id-B@XzHz#$d?6t>UN2AY>mQ4wD_dcqYrf(X&zdH;+d81f z9xplCV)^bKZ(rdoh$9Z2KeiWp=|*CWnz05)yZ^zlgmR4PE8bpy0X=SSW|v^&I>ZF6 zAPr6Do82rIK(z-)RX3P#RIcZ^Pk0_#hv|0Jw+b5?b_kS1owDO?us&_}b+lWmIEQYf zdS5GAf%Qg%#-gh%K_{qVf>8C0E!Y^brdgQ3$ICl9eXYk9uA%;;bp(p;Wi7b_PMgj7 z)-WvPv$W-36J5_5^=K`;o+zN=lL6O8Yxsp+|2UTd8Nq?zr^fOP%9f*tJlZxqn*YeK zH$#JpshXS#?_A|Fomt13nh7^dht~0o z=!xYV`-#K)rsuNETGa>5JIiDLJV4dUYUg;d$=))S#(L`*ucHc14$75p+ z=+$=?q2ZFk1nV5kyQub?^M-yP`<@%81MzwsrIzMh??{h#?uI@(A4~P|#{0;)_gY`R zS~S|daFE|T*6~*RVyYF@wxPXtS!X^{G2-=Y;(S;+8mWA|IO^Pqg^o7(yKqIFy5EY; zVx7K6EYqOMTiVa4(>JyR^yV2lgpLpuOpAB}hO^c&bps{~o8F)h#E&^mn{W`G<$ORZ zZ~6v#`b@^DR^>QSZl-%svj^u=kDp;02dqi0)*jf2u)hi`g5fK9!4;kK$HW%!f;!I8 zURz9U0S_G;ePO;1H$?lIaOSM>_SmRDrUrSB{(#2!(W5IZ4_>uW1((rgYHT356z|J! zLO8@%Jwk1o_hg5;swb7nTJNX+pNVofSK0uEI0TvfRK{{Npwr3`q$f1& z7AS`S;C&zLlH1GWmMZaT`NfLLqM&dsap%ipBU8ld!mT=daXU1J1t-E<;mGV|#X0on za?!U*%P?Q~t&Fx?dFJZlm5*81gJbzLO-6=hLjRFr&~!}xhK1;SXS_d5k=qW9nir<9 zuEa29N;kA-Ta`TY#2i-$9P8^9yhBD|S~pBtE%<~l5bpLa)<%e!e z^J#~EJ6E9oj+*Y7^fPSCC4agl8RJ^V*wI2|}I!6wO-f8V$c?Kw4Jmgz0v${un zqK(KfVuz$?D<6oIE6(L!TyDm{iYEwwLl9r=ebiETIEUf!+g%!4EeOkkbt?9iP;R|r zo3vfcO`t+C^=?7Wb#Qd|&EtYx`9qd-sJe&icVTzCoy!PsqoI`V&S4&e`-f30GL_BKIJ*KYRvGyz@p{eR5 ztdeYRCsJD;xhr4OWJAHYFKuPvOzG$*>xbYO{ zGNtMgOM@*+iI*d}+ulVMd#~SsaNF3YnSgzwWw<*>ig+~%JCxS8P@D4Ax{5TdM(yha zmvO7VCSr%*mH(DgJ1tyf|H5fCxGcMx-f7E5wBYjPw}pnFXTeGiNX?{x7$*3~?x z@>hmh^f^a8*33Hr$}s;mu@j+P=O~QdUH#=a$Jr}v9N^epoXZSVjs?fO5hDiP)rwKM z{HM6_F@g7@P7XNIf%BSkS#->4P7~-I^Pdw_wNBw$Nn_(wKNs?|t-ej_rch1P3k*}n zYOWUxXFAQf)X~%PZ6G7GN(urrDXKjV=iqQVxIBB~m@~(#2d2(Xt1w}-%DZ`I4&-Js z6|L~*FwL);)y?yIjE}6IED8<0Ltwcr3}{qeCqr=d>Xf5~ATxqVV4NpUK{fvn9J=)2 zr?)pEh~DZA2TLXVLo={cALqXg1plfLP}_##0nW+q9rglKCQIM@obEfHcHwpSPn7^7ejXdx^ ziohUp>DH~9L%j83xuV~*<#k}22E?&pueye@w#u*fu)6gO|&HJam+#r8}YX2g*_~^%jO|fi)X-sx2~=0 zY9fUpIrxyGe42|CYIi&KhhlAGnl&#fEI5O28H}*dF~5s=g0R{;{__1+(+z2|?B3d= zrD=5Ar=W#J)g13~x2&+5M z>p7@tFPG=9+RG6?>(NuX0lA8OOL%MaczYQ}>T5oI=xg)@tETbwY8Qqbv*rWdhJ$V| z+noAZ!6L}HEDom{hT#-rRlCO_U@K}cr_O%e>@hU(dg%ey&<6MBw#~5q#i^%qc!1iJ zvSAcFXSHt$e_8)=;43_erq;fyD7ESW>DvSPCgrdOXz_Yk!M<4RsE6V7MtI2E(3Wk6 zhuR@EoiFTeS;S|DtRvp%puOG`K@kocPU7#G`e?yL1grPuyiP1pm2cD+!Mk}%=%TP6 z%lQSD`F9jEh?JV9`tM^--P2AStg`#xxOww`kN090pUW)1BeVE>lI7pdEPf|u@tZP> z-=A4rD`s(BljS|YEbbR(erqv`n~+)Du*~A-PL>Y>vv_Ej#RJC7pG8LT*fNVpJXwwg z%wptV7NZQa7?GI8=*28Xx@0*jGK&$ES&X*KVq|9KgE*rY?~~=+z%1qwW-;e5i}{IJ z%w^1c+PjEmNMKp!i@Jtc)IiB@xx^?c zD`ruJF^h_gSyXq)vJzw#RU@;gFquU)$}B2ZW>MuP%Ziv;RL{)3&}I}hIkTwWnMJLi zEY}6hVhzD8mK)4`Wx^;HG0bAYlPniU%wi$MEEZkNVtK|amU7Hu*_SMrh|FR&$t+f$ z%wm_{<--799X)5R=y#ggR?8nf7K zV-`De%wiXhS?u^Ri`~Iwxsk}s_Z%6;_9U~|%48PXp3Gv4G+Az^GK;NOX1+_yDE4!i z#ojNo*e6bwd&|ljX)bv)F`Z78~}=Y-^uM90D+l1A}CF zxWFt9BACUY1+zHdU>1iV%;MlASst=5ivt;Ead^Wl4tkjRnNXrUJYp6HP0Zp@idmdr zF^jV1ky#v1GK-^3W^wGvERIN% z<#8%AKY3*ohqTP%K$lq@{xXY$;$(TK%q$L|nZ;o>vpCph7Kh->;=nvv9CNR}N2%%U5CS#&Ni^CkyI(GS5adMA=)p9Qn%$zT@!8_c5DgIV;2 zFpD0NWZ7=QELu~TMH>sVXnA4g-7$=!ktSI--7t#=9cIzY!z>zqm_?HiGw&x#l&we1 zqD_fev@|h`_9tf1D#gsZsxG1iEN0QH#Vi`Tm_-v9vuGG&7R_bJZXX(>Xjx+x?QP7W z6^>c7%`uA>yJXpp$1Ga+m_?f(vuFuq7VU$~qSY{2wk0z24n{`N>&PtnBAG=GWwPwI zWEQ=d%%YEznYVm0itbQm(Mg&tyH1%!hbpt^W@Q$gugs!LmRU5^Cd=kqX3?n2ESh?m zMFTK1?-gbgZNIAMW@ga^%`7^mnMHGTvTVd=7ERmCqQRS4^nx>szHw&W zVxB0w(V0c(I<%*H6O&TK7`nnk`TM9lgmh2!!)O%JiF{~>m@Ld34Fh}hL2T}FB(VprQl?CPM1g=C7*RaX(aO03IB zwMFbIyog;j7_qAyBX(70#I7RkGE%P*yGl1=R}@F=3h0Q1){fAXmlO)H@*evo zG@+}TCU!N}#I7FuGSY4nyE<=TR})Sw)Z>J%(45#6rC&w@c4AlTPV5TfiCqyru`9SI zcE$OZk&d6()%+8?{s6?TmjJP_9Uyca3N9lv17g?sfY>!jAa)HEh+XpqV&T(p5m`DA zyY>&nu2lrFYb!zQT2K(Xb`_VAwFR+jgF)^kHS8{eXUU3Z9GhaO_r&F3<5{vmc9cEzZ9`+MMdn|R$WF8SH!Lx7P0G`MeMq4 z5xb6D#N4~<5_0(>b{)ZpUH33z*J+H{btNNq9n3CEvok{17me8UP$PEz)`(qiHe%Pu zEf{;g5xf3y#IBbdv1>a=>{`?jyLNV$k@X$1aLFTd4fTj!^F3nMsE^n+^}CD=0Eu0* zKw@DlNa#8c61#4N#ICd9W#ocL>^deAyY7m_t`j4%>)J@{Iy_!RZji*TaU`*8GD$4_ zC<$HbN@CaM@-lM7BzE01iCw2nV%LH7ADzWR(O6m_!reVwrjaH6maPI7&P6I}=5MAxf0(RDQrME=K#u2XWN>#3aRx-TcX zKFx`)qjMngeok~9Hp zp7DvUyL_VSL!apVlzZ%JpXfT^C%RtwiLR@DqU*n(=sNWWB2WKB*Zn`y%?U_!69p38 z?14l#r65qo86>&62Z?S%LZX|ckm#l^B)a(wjyTC7(an5FbkiXc-5iNTH*g}+jiv}h zAr^@|>>|Mp#YlAHGZNjPjYKz+BM^mmB)Tyli6Rdq$qf!kbR$L*-7u0s6kC$$=9?tC zNhpbKW=f))u9E2HumqySmP9w(CDF}*Nfco*Np7l4qMJVxh>~g&-AJ26H~c2ijmb%L z19bvX^iHB1(v#@M`6Rl*KZ$NaP@;$u3PPDfiEcVkqMKus=q4T|y4gsHZi-T%j9W@_ zbD0v|1gAtd>nYI~g z-I%yQ6eySIM$aX>A$5r&%r40dy-RfC@d8nhUZNYhm*|G`CAu+wiEiLuq8kkuh(ZJt z-MGO-H<&QdO)yLpQHM!xCSo8;PfT=k78Bh>#zZ%}G0_cqOcY^|K`1pc(ao1kbdx9( z-OS2FH{CMP&A|*riJ6IRwq~N6!kOsibtbyWo{4S-XrK%WO>$F36W#dHL^r53(Ty}s zbi+>_aZGBW8>pJ-Ca)&C8Lf$Knrk4+eNA)|ViQG_Y?7Nfo9L#~Cb~Jcfhh4d(apw9 zbW?N_Mci(Zo6DQ%Cin)*tY1Qr3QQ>Sg9$~_FrmmKCKTz#7iG>dp-4m~6xqpyB4wFS z{pchpwE3cpcP11;(1ao~noxvG6N(sWLY`NBNd{XJiU@2%k(Es-LbVA+{5GKo>b@u= zy$MD5H=&3LClrC=gd%#JP=u6Ubkod`C2uLRsQR;*ube&MdvtN`!?t~)ools=M z6N(UdLXkF4D01loQGz`oPr4@}Pix^45gSHdFCjRk$dYn?&_a{Z{-A;Q$@4)CmQm${q;zjw zS3oY_PyiEx3*Bg3SD+{Qpji7Ld0-nq*HFTb&xSDip^wbgUnHxC!zCn?`$$*mA0)%w z;Sv)4(FJ+oA0*T8;Sv(21pCv_jpk^nD!7D%(Lu+}^+8f4y<9?~Gy263@j(r3Tl<5` z{C-iXW8U&|1qsK9R>$X3%g}--nEpZXl+VwlZirSWTtUJNW9<34)H1Z3&kj2rHfoul zD_zyEn=44Te8_0}xzZJJkA*8pc!%^gKUW${BpF-I2W_};l@FT8u&f^>qxJe+>Vn+q z$`zzqu*e#j|7sap&!&L=5jpRn+ z3KF(RQvGsSfu?6!T5$ylvn525jt_!i3s;a`(}M#kA3{6xVbvj>am}wPw{eMuE$CIx$48697v?hZ2N1J@DVG|}-h$~3=jLDz< zxz+=b#f2+KxSF+(@Dl!K@^Eqmi4JEO_&?XW!$Z4r1qr*h3EPSflB-j>f`kbix;4)S z$=}SQR9EBL^|{ni$jDR26(s!aq(a``f3aa0nIBYT@xv7)%=r3gTvl|r_sHtEe2^5s zjq3_H1e$p$Bbiki*A?h!e&^;2QV@&?xvqfw;YXo@W@bbWmJb>*munw{#VS`7=vqGG za0Lkm$SQXPe}xwvBA>-6dX~>;;1@EavgQgB=9Z(4&y|*uMIIimAko5%p_x7qZk#Zj z-XA12B|j=?V3sPD3rKi`N^Qtj8aAVFG3_7pN*%*jx*^(T6)qrQe>x%A|Df@Hw884N z3N^t8$)r-afK+E!^f`RcmJxyrNVSp07SIQE^b?;CYH))rA5=!ITtKQrZd-h*(XcEp z;{sCsc;RsLLGoBsE*H_R{C>K%U=!SBHO$`uPQ!I`0f|;+q#XATn(#rKA0%I)@sxp{ z<^mAhi@MwPx<&<>WWy{ zm+LaMU6;v*KM*UV^KuOVlXv;|KG(V+k)`l_2S@qZ=I2@$jn(C`S#9kRQb*{88&%MvF^dX}xTOWj06Ta5SK3JcQLXC-n zTqL-X?oy%U{Ogb)IOv)T_r;~QUUI>DUCjX(bNYa7K=wg1iwfP`}w($V>1pvu?XNnsk=U?&HXty zN5}E|{`8_3-jDo8!|uFwt}4)3ERQEwkbWU1l^|{nCw9HyR-%Ey;)7IxwS6KO1E+7S!G1uoR z!kKwjE+8wGNN0UtB-g8Q0a-1p;&Z8`j**{%%L+lI%NW6bwTvuFtxy@EuaFB!K{6M7 zzWa;Djm-rlnu!r*(>|ymeTExkWMq-S?bD@r(716vZIxId$s}?(7Co31rWmJ}24#`E%4&L$xPpGO^ED_wV`qE3f>tzZLl< zA^RU{tfL_lGEx5ikMh61`mg`bfB37v`N#heZ&06qC;aCN^1FZiH~;JJ{_1c3@-P1U z`Ky2WUeiCue}!KY{M>&0ho9`){&@fU=OsVA$JgL3Ut#~wFW=*Le^%@s`gih&{;mAq zf7Uyv=$(UqS#53d-?jhxhhMnK{rVo|Hz|5R@nG+0KmYhQ&wqUWLGIy+&&MzPKL2Pp za{OWj|5Coq5Bpz#{KtaW|U2{1#}I)m`Q0)D^NDP!`!)P{wbO+ZAlU|Qx(mw-x|zAa~kvvukKWTWj)qd%mc~!IUp8eAtU0{%Lw%!Ren->f*$3nnp-iJ_Oc}OHx z2!g9;$5AO!hDHgfPiNK~1?#420d!QH6l}_Li|wN_25JPHgw=1s14RPNm&^_Oj3`s`LuZkowVd1*!=PwqL4+ zmQnRsaGlGmITBQ77LAK|)v+@R(t^;5Gv@hLu22}r-%{(h#)Zg0R+;KqPSr4U2J-*< z{?^R}4ZOYEpPm)AN(*oR|E3VIW`<0w0O$#1;To@w^#UXX z<+X%mT3J9rAj^CEnQ{#R5kcgL(Q4(@7&{B@qIJy+E5gy#j+|CNFO-*c+BeCy64V3j zooe|?t11Wx%JFZK>#x@=2<=JFl^P@iXZxRXmvkx`IK|&0mVQE!q}_g6B)%}Is9jCh zX*v07m#zgy(83d9fnjk@v_gekK<-byooFrlLdUe4&IGyWeW%79tC2CSj$gISv7wgM z(NGCAR9i;*t=a8Y(_f+Pzb!O>II`c z1i>B2V2)$A0h$2VDm|ZV38(^&_9A{ZFdz&-JIH!ITOBVH-_?>Nb5G>O@lds7LE1cd z;YHE*PrEG80~`;?qWzc`HaV}^G1Jb?iyoI%y1zR1cpwZY+A00n4T3hH>ht>9H-bC> zoz~;|>@dAWQ%}{=nf9Vy97Wf6{F;MJ4AKA@6V(+ux6D)= zP%I*m_ST>efZIiTKD%&`2*9Jm-y`XR-5A;lM<$QRD8)^d0qewz&!HeuklVxl-g{sLmBR2?&OF(IR6#029b5AVOw|hW z=+u;FWd|ems#^Nxp&B#`GDa-_G(UYiRgbZC?RHP;4yx^XG^H$0^B`xCA2eR-$9@O0 zDGb67pASOR@V@K#JNQ8&bPe#~*bkpLs!(SwD~I@75io*wvRyzlUL@KaXkA4;=G>^zQz1j5FOJhfE~L}@|&co#AVb;f)6 z9C#l!i+%lF{lFMv2q*>S!zardE{VPB;xCV&w`TrYer29jLntAGhNhg{Gi{YhY>PO_ zv+u2@u6_GU{g8a4t@*s$Kg>_lx0)ypT~X$-`^I=ymrfCRJ`XuXwdk8X$A_Ro9`EKa z^#lK{TGFZu$LtK)7>UoC{$buiu+gG8UyWnPUIXYYhAQ~EDM2U}(c7taFKjIur_MdM z%VEQR(I)UGj^N(vS9;a4HR$wTJP+D zUgNwLV0}A4pxBu0)ytcmB5K7ytpLxKlC9aEy*l;Y6IFAJrhi&CsX)+S_N?5^0-Jsr zyLA5}+g_mbkjl0BJ9vK##2#{)>^s~>8t6SxQ`Uz&ZeZarzk=S-*_s0(2m}M?;T|4X z`^%G}1#dR{sJZ`c)j!Reg5d5yk>K)h^U&7CX$k6GMsWRyX1zY#jsyWou>_TDTS6Fs zJm|V6%l;;)NOs*?zhxs75&?#a3aMcV>Jms+_rr}<2nvAosy^I-wXG3cAGB=MLRi3n zv(&>qU0Y4uY;BayUkDK>-EvfJlNb~zr`u{Go5>I)u<$58+;s+NicHG-P-c7D_S9p4 zt@p7(v{IHu(PhIMLI%#+x=zf_I7nBJ@Kzt{phNZmdkZeSR90nU_ z{o#(qZN-aCtY1r#I?_t-+jgZSh1a5FB1 zJW>Yfqn=&6ONE10{bqZwDtv5*Bin$H#~=%SeW}W=ULmRp-$j)bog=Dg-{!(v|hF++ttt0nRBiaEE$$q%$T9riS z)gdUmvo-ReRr?Wc8#g3Iee3w1?cPg;0LNeHZQ)QJ$slas;P#J0e1r#MJltrGh=~1K zd3GDpAxb*xZ_ADApol>l4|ljDPy);G{ctNhG)%Gx)g^uQ%tOW`f0)jQ*<6pPiLqb% zac>ts^i8U%d9qm_0TkQzm$RjRY2NhK**kmxLFExCPF*CRa;W#!ficwt$g6md?lYw7 z05Yla>b^m$6Odvd3kV$#QpN!Jl+1KmhNa#C3aV<^P^pX1c#A!?cuxTZq*cxLu~TV* z*b6Ca?DxKsjAed=b{~Xv1F9=|#B`r7B_7DbkmACA!m9;=9BXe2p-s^U=xh0cDK0^H zhCE>Q%Ul%-#9OjP9{yUFs~}YaD~0iptOcSjnGjxwE`M2eIdv*aoeXFlHW8(u1|b|$ zJlf51l{cW!3Gas`IuM7A*M5X6njg>((~^h9K`JHdV>xvd(b7rW@-S0w zv~(Y6>w}ZJB+#y*04!hvm3ip(*P74?@O_U~1SyC@a0n{k^00DhsaV!dT2o>L+N~%_ zDV8RWXu-~!Eu{znepuY4Z*X)7P7#>Cv`ziRQ!Tda(blOfWo1y+;ee|=tUm*l;k@|! zx=>9Oc(5*hSkVUB&d~YkD&Lj{2iq23D&#;Bd^jJL(jiqvhJKv}Qga77;S2V#I1g0j z4!e?9#Rn?uaNR6OxgXSl&CcbnDiHrcmK?hLNcA8BTd);79+nv*vPG&f`x&nu5ud8r zZ4V0W$bv= zV4iXw*1PLtS&s&Cr!XFmFoI_0!wPyl%xlcaPi-(a7tlbfY1>BEgaA+H>2{EiW(6oL_8InrUsnS> za&NOp=(In;!_}%DDW^@s(i6<0n{Vl-fagV)t-9n(;{`k!8*bSTJ2c=K=y+5gwsOGj zjsvIpu;&A6@2+`mYz~2ve(FuZE)uwf_iIN?X*Ypo$$M-DzqS-u?MPW_U*XzU=pqV7 z77zPe;9ip}XVY{RDx?QwQ=#c zbw?A;KwP#Flh!AAt^BXLut<*-+(L3qt5Y{q!R?0WaXjq0g8TLOrM&Jec5B;)Wth0& zuU$3%ZMS;Stp@+MuO$o~HxxWh-8%-q?9@|RHkrXyn9JtxbfdvO!D`!X{cBr;9f7^x z=I`MCHn`@9vc;W{MmW0m_tf!p%-L$3YNr@!t%D`~(Os)_;K9Avk+b%&RS%Z#=e3Z~ zYw3g0v=`gLOzR)q;@Ep14|@b*l!oopde}?|&j_}&&%>@mSfooqrB6=U6X`1b?Lpng z2+v;AC?7UF!YaKqEoajh2@mhlzmXl3Y_76NBdwM&ugzwKc6u^lP(U)Mzt+v0Ff+=k z*gnlYo^&~`!wXwM>3ZA`>e4d`lW;}x`>?sx(pZk!ow^GZhA=F*A9kx+dOY~rCA+p( zr~?p1_K^FPuEuxKdMjPBFj`8ft5bK{X`$vgr}&$??UoiIzVJ?eE{$<))(n(l6E;w}hC0fnTieqA-FEZS)@`YM z5hV}UeauD>B0Q6cfGEBpz@&Ukec>=R+cY4<4d1E6bWnD z^L70I0cC>L(&hRFEfX>mX$Vjt(OcG<7L ztZrbnZYk?&MGM?oy{~rHT3s=;;y1}PxW%TxYBi`^;ez&NY4vHE3tDN^Y_(N&RX%#ZUhWEz3q=YgMqQLW54OO7Y4@2G@g$WF_u-k zmR_EZX)*99yAe9>BPP?1NXyxWxZ~)=$`%`*xeo&hZON@H^Rq8&DKQJ zKd@&$u&hY@O|HE@a4WXHCMSN~145szV>j(z`qPvXuXcZb4WxdDO&u8p09^a)_@)M6 zFA7(wIre}7-J*KuIF3DwKzBTS9FNQb-Q$Y8{bn0z1a>vKNTwhxJ#KrOedQaN0Nhbz zIQDD>V7YBpyxLU55=zX;(HrTeDwPR+s!_pJ{V*_8NK;W%gvCcXQjIdwB8Z{|f zLa*Y?S9=VFZld8Sb?k{1`Xr$h#Ic84=#KYm2WgapVW$km@6;Qaq30^6*WuXHHEcHS zZ*}ZJ99GWwXq%ZGdhk`dKS?*w&3 zh(&jwY*|c^E!bVa0<}B#bQf$;$f%{e(i8-P{Y#k>?8@B880?4axab)!v$f*%54?^rU7t>abIfHr*89s1g zn0D-uWlQ_TZ8IUm&GcZXj?tZZ3>y9x`5yj6-^4V%UVGXUk>P5<74^7d&tX%&XM6n; z+{iZks5q7Fjy>H?xAKq45-12xJ2i?gZ8I}&X~V&=UnJw@uxC?FvDrA2=&(N{HZ_4A?AY@i?XRg;BxV$( z{vvhT=#r_C`unY6v-i!H)a|os`aw#f1V#s5aqOX$xV~saJdQozQn%~27jhYe34Hv- zlu|QsLm~S1IQD=|-5ZurRLC2o(3A~2&sZkiHJ_xnipq;s) zx~F-3BPJt8wQ(s{MK_ET1r5rd;?!eH^_08WE;J>aE{&A0{zTp|RDDo;wLv>`Q-S3! zKk;ghSk+U$(rq}(G*;c=#ck)nVGDAxfEi{vBxXx7pcD5$|Pp} zYqVkD4;xkm(hzt!!(NV^@*z?7K;nYzadlb2zdDU}Y?WyI!r}-q2 z0p}K2Wffju@Jtu1KPFOEH79{3!et!@@Q7IRqJ1ohN?U~MidmMXW zLpCrZ%dZ|#Zj+Z8Zn(Yd=v40g8FW-B8obYymJx=@sLg73=pt>W^khr=j_t-kGgm|2P*FUw<7TD)2=$n+&f zdCd_9cu$-%>B6HlEB(4$R{1HHVj25lFgn=gL-Q0Cva$;GzXqKeSXSvFcU!~1HWZ^6 zv2=Z_S`f#wuoz93Krc4@;=Q*NU{z1xrAGBbkb$2~6-Py-lJ+z~nDauZ;EQChDg~qA zXiw|aAKRuB!7^v#CcrU1dSv3&3oaqHq%Nv2GrVQVJglVy4S@Q!2iErb$7mnrv?)(0 z+ImBEfHpP9=)c6ORYi#L+JSvE{dTgh_pL<1t9BeoL*yVciWLS!wGDf#C_@GjYu7BJ zLhpkfI+ahzCoaboiv?|qDBGTC=ytHPYpo@(AJq+XQ%Fs#>;0ih7RQ(=tM*VxL1+CI z!1AD@8(CE#!)wZcUcibePdhgD_TLUGdp)w&y@WBX@PkfAK7Q%O!?7u1peansbZteE zvdj)Ygf86Dy6b@5G<%E&wq*P2+V~>Vy`PCdz9VB((_IIQH+DY`>|Gbk*yu)?#}5qQ zP*n8>!$%jB%Y$N<0ArtUO>2rd&1yb~cpxF~w*Aq% zE!qTEnXHD2j<7lEUu57e#PJ5Ys7|v6BVcS2>x*R?S}oo~<%X&|>Nv|Tj^$rO7csUp z;6Y)3&D16{^e%O6v@1@lTwL36k$L0wZ;jJpd5&~jWXpT|uZmUui|#S#vWCyQ171K! zB}r&XEqe!+`35zNc4M{S7!~nUDU6<`6@LV@Y{hZ_O0w5_l0c;jf(m1+YlvS(Y#tP} z2sZ=L3a&%mO1qWN6gx0de=Lep~wN~x{Z4qmwr z$ji02TQI&xjW?0f4dMgzb>T7>$6E%@qJqB>>$`zXMOne9;tz9--%gkip+aXaD2ZcYF74jM1eXtQ-4VofB#Qt_djMa!2=L2tYX?vJjDNT?j*6VHas6^cl7 z)ahS7WnSqR-c&s~x4E7GLuK%)C{jk}9WU;f1XL7>nbT%y!EzU(fdd*&Z0T0V=*&f1 z69k`S*}Mahj}!t^HKSEVVcW8q*#6QX8A>YmB>-)ZfoxNqTKgcVEVCfAP=%`Ye;b}s z%NCQf!c8GwEh`h4JVE=4MtJ>AA?kTyRH8!JGyJGzVo48Cm8xp>>N-Z>{Zv^k2H)mX z)*vVg(M49hV+UA91b9F&w)A&fvE8iuYlFm^&si(G2) zMcl-i-o?mw%$iUNLSGNuTa*tF{cKrEs~}n?MQ<;ddP0R;A3bKX`ig3HG!woaWjAV&=~PBttpATrq1$fBiL+ts$f#!A zyXj!m_M)mDpa<)~M>4c@kR znvlXQw5S|4gfi(!nP?3esJYNt1}lu}ScV}yYX_I;oE8`|Qi$5IOI-YzZo*im;GRQ! z*}#M6SibdEg8?*l_js`k32m4gK`qu$B&#+lHRS54O#*r*{K{a5KUo*6c=exqa0&QkEURsV9TAtM^L2jY=S+Pumb&L8n$e?Q*O%vj=g`+OCmGyV~ zH$l7Ggo6?K%H$i_hzhX;*P>f0GfKosF38>gi8e)mjj=IZsViB z`|*cb#qCSx3-pl{>ktKnO_>Z!Xe2AeYz)*QP$s6WUK_hqQC)Pn_= zpgZnRx2cT_jPYzjfh0&KVOdzf-DOUn@D`p$`8EX!#-TTyu+Z=&e07Hx$>^SE+MBYsun0f$YBn@>TuvYpGg1j9#IRY^f(JLD=-(5eEwL)oyL%j#sg zKNftAY*!SmdouUCL6)q@hu=GpMq+c)+_x5PB%BI$MPLSpfzL4yFPVdze|_vI z%evs0KUh68J{CGaHObNg{MYIrY|YB^sxDb5n~pE~wY{}Z^~pk4Ee!9R%eYX~C<_&6 z^Suq-ca#F4x;npW{4Xqi{qF-tbIf!q9rJuApZmvU^4*%Dv(p~lc( zAG?~P`$boW#&?=O93=UE3vO)LW2gs5XX}pl+1Ls&|2mvH`p+YyZPCn57}za!WHKye zKbnTL*9aP@>b#AK9u93QYHoK0F3&caQ`}>3*LZs=kvs0Sg43EfLc)fMtQ26IrOiU- zoK$q@1eFDPbY6@c&9MwjP>rZ(;EF~WY=+1L+st_o{xBt857BkC_c<~-TJMz#LV7Rm zYuL9Hzu3xHGGLfBB2M0HqY=9ky+D(x4Lq=(?9O3Pvdwo9yKuvC!zPh&?4a8;r>FR` zo;LeNxxf8X&`yh6A8rjf&3^`5Dg`vIXsb;%UyXt-gP}%|+EY{A+f?@kUhHbBcO_b8 zgE#C}nAK%%-tmeR|G+9HB^-cHUlp5FO6RhOr$j+M zS+phPMJKXy?HxlYqs=F!SN~WU5YftE)~XX~GRN|`V|8batM*J`dA-gwcUE-iTIqp> zv=0m$> z!t~n@n*{GrKW=DUPF?Xn3wujPIb_%?-sj-vGOt|u!oJ0f_3)YcRKe&}hFU9obma>R z59NIp6UY{Is%d(y(0j3`@BLwwD^rLYl9%EZH-Bm!{3~Z+{;&QnjQj%``FCUFe@3GF z7c=r7hmrq|jQl5O>p@G4jnN zM!pS|=x$gs@~tgKz6r+2x62s$#u_8vf=hHa>loRt9uwdGW8@o!jC@Oxk#9aGy4#eD zd_$9w?R+xvEmB6lnaaqwT@&5?Sw_B-%gDBTnfTr?Bi}`4*iqMZ6Aqlg9syUC1K=ECycx~ zg^{728+aI5r_UwX62!=xhZuRA5hHI%V&tt$jJ(My zQFKEw@wO>O-eASZTd^2<(-tFd?@DwV!5DeV7^7$|BNT0DgrZ@MP_(vPludAiyjzY) zwAB%c20TL1s&`Q~^%08pKSI$cNXR=1iA3ump=eUPDBBqcMdKr(Xptlo&6I?q?UGP5 zXkL_^oP?t1lTdVr5{f=jLf&vnBsx{KTdE$xJ&`JGU-$rFl(dP329e^K`66Y^$$BGL6vDD(k@LPiV<>6*(IqxBNQq%LZN3P6v{V3p^*zjYC1xpyCW0|Jwl=7 zBNVDXLZJ`5D3yeSTyjVxw26d5#YiaRj)X!Oc~MFz35C{@P^dBqg?^JzC_M>-Gjc6EBNM$R zx$1aEuA^tS6s6h2HBUBf0K;p{{xET9O5SrnnLl_C@dRDsB< zicpwZ5eoY&LSd9eC@i%Ih4C#2W?YxMD?-!wP2qP3;VuZqV?4tB1BNR?%gxv9r zNLZs03KKO#VYhZs8nY1!2RA}t^+qU6;RuC&9HB6pyC^N`2!(eYp>Vk)tqbiF=JE2uso=;ar*|98Qyj6KarjOidETs!76tHA(oiCJ8^+B;orSB>iEN zgpX_zx0_86uCz(Qy*5d>+y+TE+$7p{|poroK@6LDjAB5nXr#Es&KxS{+d*LR+Xn$y#NcME$W?sQMY z9r1~{bN(gQVV{UQ@e?t_egf|6PsIKIiFi)HB{xrii02Lv@q7Xzo?}47^A3o3F2W@@ zKY@tnED-TL1|k;QK)}--h(roRkW7n65~&hNB7GuBq*Nq{G>agadXXg3F_J`xMv@5I zND`qONj$qFKt_Bdi6D?95g3vrf<=-<07;SvDhYD)OcF%wNs@?1NfI$CNg{3~NyM@Q z$@rEe5%ZEH(qNKAYD|(ymq`*SG)^e3CW(jIB#7*rB$1JmB(ijpMCMMA%;rfF89qro z>L)=Y0wsy$pd^tn6eN>~l0;%rl1Mg65(!92A}J|JBq{~TykvyU631xmmpH}l0>>*l1Sl85@~%&BGu0crT-;~l)xkrCYU5b2a`lNVUP?l zOcG&-NjwuVK}07eiHOA{5ycoJ6C0C6vSX4+fK1{+kqIJCGD+l42FZNNB#~p8B;qcU zL@Z{Kh|f$CDVsquj5A4ub|#5%&m<87nxt}*I^~H5$=uN-kx!Z=a!iv%-f5D^MNQ)I zsR1%&HA$qgCW+M6BoXeKBr;%=L{@B&%#=+M*|SL^qc%xo*(Qm|+awW<8{{VFCWxTj zBoWA)B!YXBM80p5$N>(LdBI5{S2#(;4=0J3;v^ntOvGc4gJe815lc}f;9<)|Jd~M; zhc^@PkmpNo7&H-&j3#2q(gZw!nurHg6Y)UnOK$Kr5f8{F;z8O(JaC(c2Xhng0Pjm~ z&^Hke1SjIb;Y2K7oPfuW6Y;q6OKz+=5syD7;xXw&JWid6rLGh3aP~`Xh&vGvdne+d z@I*X3o`_}46YwbdOKxO65s$Vfg7{y)pi)p&*pV=i@oVx0)yz)*8>FD9W%BieVT#lW zjY*eLkgq4a#%7_iO-Si$^7X`mLk5V$1eqUvK?}S)E0t|RWPn|KL8YL0N2RiDzzjl` zmGpY%k8v6suY?u z%cDgVK|J|~b}1;DS|brzb8?F!no*_dpex#8mB0^4NA6b{?L%IflBjI!uw&?hE@+2W z@O-IkLmMhwpf{5)>nJMQgj9Lj=!yz?XTwhj}bzV_$eY8VVAlL`lq%|u4QMzegc=rY(;wxI>J)JD_1kkO^&?@VO;Z#2!L z|MZ=k$~GZVCN-MoyILk5{_o4|H;Jg#Mq`3i9!>ISGDV8=Wb(p|o<93UV*xMg&|-Rc zoE9*oexkaNYLAz-|QVOisHua~cL9c19;iSvi)Of#8)rOAJgVS;*Tb}eanaHg@ z>2fypf-ZDHg|w=sB1Folm8!Nj;iI_df}*`tUPM(}gTvljbU~Y@;#Dfr&|La**G_}u zpR6G1!;$h%|(<*3mYwscLJQ9N%b? zZ!m6@Uu-auTDiZU_km#>Rc#IHjniq8Z%xe`scLI5Zm6ARdGwN&#@f-Q+2NgL`PMY& zkE%8_lFBVevwV|+qI1_%gDWU5DUP0)C$Dnh^LLDp6htT!~ujmVOJ ziLWSppK75QNl344@)d<~>?kyzqEmFw$yXFUREVf$vO4c92!MMum2GGoEp_r0m4c$n zwAGm)kCCn@x<*kHEhcD9petHoX3Sk<=op2oWo1$unpBy*6HPTqwkFY1*(LXcyiYC#D>`{5vHWf0wn+rs?)8(+k#jJ2DlWywM|obT*Y zyLLS?BO@c$LgduR98bHAU@M*x`|g(~or4~G|5ns(uH7d2AlrHShAj1=^ZfadIp#tO z+twH#VnJz>JcXd~wprM=rj+U7H#F882uIycmiX@7!5q)6MQtl8ee2;j6nUV)KjWGG{@bE9Ny0gY>_{G*NJ|Mlg|Z@>I}`t$VTe_E&CeLKz5@1|w?!xYzN`s?%`(|-o}b^PDY z_?w&wF3Z4wZG`50j`-y#UzX{wU;Z5bf1Z9c$I-ZMX!9)jIr0Q29eBU``pZwgntuE* zh^$Rt{r1b99!@iV6@UKqm;V#P{69=z{o%_$e-%d~PzxUadH+ZJ`yc=GH-Gr$zyIYI zzx?LgAASA%Z~pS_^wU3m`FZ>&PoL~)1iIZV@U@Y@f4Vf!M*K-jPJHfve!4Ni{O?XT zi<6dduKMG5PW0m(o-74L1!SCNok?D}Db7SkCffVFafW{A8)##QrONT$n`b}RzJ}e6 z&kJto2fv1NZmh??d(rJNu&*gmD%70z^sQI zIwe$(`zr?d!Ebm-SuN~llX|FcxWD%svThc^J^K!0Klm*v9=JtZ7?D@Z_jR$>_iH}> z1rPR*co45LJxJa0mH+o2pO;BWr)`)_~q{_}PE*TCN$3E~m{@8AFGH~;ptpG?2{ z_G2vhT7Mc+VqbpoDIfOr--wOnCq9qxAvZSuUjO2IkMQGvT590>*Z7IQi~s&>4p;HN z-+#;=s{Pyi;~)Q4+U$FWML)!nTRjuWy?gq9znT8;^i2$#XMQ_vxDPgaF$dQOsw?*8 zKBi}S&F`a}h8^^D*1gsZPK2{t*?BBs}F$*wF*YMC7RV zk0^tVcoglIk7$Hcu+D$e|c8mq%X5d%!346g(~@b^Blm{}Dfu;(eAQ)eAe$ zM6Td2zlIJ+$q(Zlxp>ry) zcYg%mC^FE+{28Q^0KZBme1!6($zRdlj`-1ixURBv=#>FU_SE_KSV0`=s8J&Kz0x2> zf5{EBS0rTeQFGmW;et8^9sbwH`i5mf#R^|V_lV-4JD@C z%P%xE9x2fGGL6CPIm#VltmaVQpzL@5So9&)F)wFIdG_Kkw?lHr%NLRCn#^}uVDw@W zNst9e&B+&~?71x2vEz%^6cjnjVyYLp?AWlcFRH~bJ3ITb=2+9`-cy-}_R1f1m8a~zJ3(+{CCr?UT_+OQ-=Y|F zn>^vbJ{T<`&*X^-#9r3pnMIYrU>9vW<~)Uw=RhikDk*)L(jjcY;j5HiHqs_XHanG# za;I02q`9ARx9l_w+BG;w?USc#azAh{yQWU-9BGMoUivnrf6&OGyC#o2(nRb!qH=mq zo=#$Sl2TPsrJWA>SMHOir`X#}!LG^ESnPrFi}l&cb|Lw5oyYN+6k`LGU}&2>dB#R- zT)KSGI?2X{EaB2;G7bqMzTh)y$98T^rv4T1JdthMj#6IkyeNC$RQK(Z=TA|6 zBDxS&o|T>RIKMjCk&k7E9W9a1ye;ZdF$L%A+xcDg=Oc!xoBpPO(WZ(is&3B67PH$w zALYc?S!KkoVq(5Tm3^jG0NKuE@+>u4Su3s0lV`KD(twKN$+O-_Z6R~DPM#g7PGMim zuC%l0)H9%*^-P{^Pf0IKBqz_xQw?!YUp9I6{>)8|itjqhPb~$SZTf6&22gTQ-#<1C z5FI=BGTG~m1*$b(i^AT3K(mZSihc5piZiQ6_1KOL4QfKpGRNtCkCaB6&(u&K+ap;| za#a}EyC?{&9ov(kUGKI~jIt{*>RlO%R^rm8UViW1oLL;Zq*Ye$@=)@!(JC<6W)Sjk z>-x<4sP>Ggmtm2_+4kO2s>khfJ|4XXRn<0gUWDGOLVWHf;+lL zfk+KVp4ZqErci9%YrQ@8j?qu#eOV^oVus%GY3{9PYR`~zJSX3>CaH0(a}IaCwT*fs zEmV2Q#}+shZd{LL@~v_xC4kT5Tk1$c#&I`MZM|pJ+*x*fy+sdwP`#dfE1!xxN`~{y z#+Lt?rTyuc(3Js{>&-}$O;$hvJZWs2yv_iLOFR*DRMjJ#so-6XG+nnqT_Evyp6#e_ zNZm|cgvsk5pa%x(lh;ciyE!8wJb7IObbsn8ALSQ7G<|dcm1$7ED1VEt<^W#VFzi(y zsD4Huwd=F04uNi0jpL(;1bAj8y4RXOANtZJuSub#a@n?gOS*QY3N7bZR5dQpJymVJ z76uvvS8CmN%?vc6nO#Sy(i-5CGC5v>gT!eBxoP>>l{zVWdd>MGx}paf!|O{``ID4F z)yXS_>a+EpbR|(9_q-N;n<|d-9L~CFU73{U``o*zDwv>hG3-L8{Jm>k#!(NImuB5_ zLEUvz&=m!y$;zwp?%d^2-Bnn5Co6XDVl5!IX_>sJi>HQ~@^kXyuYADdo7qKTXO0B5 z6zpO$=z7*dY}B096IyHBE=@~%)N-~<*pi;>ti!6*t&UJ07hMupUshpum(Jyht>r{C zD(vdjxpR{0LOkes=~)^Dd-?7yOAa7i*at0ti7x-+jgD73qk=9IgvO(uqkESVGE&5V znM?9fby#J^`=yVnIFX?S1vVX4MT`tq&$^zXDt3e-(36K9MUgoK&SjF*#ghz|5!t7e zM;BQ#w8rwGo|;jNnS=AKGaE&lDqz0#SrvCO6)@oD!!(LO&uqi4g?1N<=EQUCId^tZ zDKi&-+V^C&r%ZD3+j4&B5>@6ys&e&ZDrIG!J*k(SyyTTR8D)}t^3qr)^&_<*yo8ou z;jX(g3T+81W*&;k>T!uyD3sShRklkMgp(l;NSF7XsnS^<-(3bw#6{c6IeED-G26E0 z;NDfmsRTT)d9Gc3Oe}dQmh38JqS5#Tc@4Un`Aln@IfJ0CdL|wYnqfs(M-x%ssRZg( z)F}j9LtqzMpXsq%mN}y)n{~n^lkzUz<|oE-JFjAwc(Z~bi@Qx;3Z84A>{IfRaaK_X z$ljBemUHijY?sMP(7F3D732uirRuCOVmB}$xc4&~jTgV5%F)oe8Scu>qlruv?|-3RT#I?Ok7nk+8u7l z-^Fy7E8^~iL+-9z5xip##k>6||IqHN%XIa>x|0_na##O@-bPiM~V4Gx&wzC`GJlp|^PFXj>U zB|U3LnHf~cSEA+r|UI(CNtrFR2HOrE0H9On6IwE=)okhJ=fZ-TQ#@zy{JcK zbaYlq_{@j7J3mRsE^InZ-XTgZ^gNDRpH(L*8lP9~33S6L`MQ0p+-^6flI_B8dz-w0 zbx(`CTKA4V*A(7e_Cp6yJ1n}yv5HvrQMJvoR7FJOp1i%5t-qtZcDoCgA%91?Y4UE} zBLmEOI7U-1Q7N72=j6@5NB(`KX1ht4=`_Z|O#O8;afVY{r9isrnD}ASY}n1ona$ev z9PGM@xdOJOo{qQIndopUGx_d_Cc2Cjc-`{RIbD%xg^b-{opjDAwi~fCy1dI0yc@QO z4fkDNHX6H$T5zg)ChPwu*g1~c5$rbcOnM*rCUiG>O6>1tsMcNQDO7(~I<33Yxnm20 zW|McZv(mkEP_??}vObd|-V&c8-&Yy?cI!OJoSl(y@)moNSJ#|3raSRT){(N_C-2xt zG&!zMJ{;ZIkM?k!%6o(o07y+=_PHk43D`2#a_0i9^#pjs7A>G!cL2dxe&aT|J^`CV z%)t7rbPO1+FN_H$*E?VYCi>tx8nOs$nLp***y;)FV=|VXldCMS!5V*kh)RutEneiy z@5xmg*iS~mWS?B!fz4~Cw7d~R1p*DqhX-(SwFtJ_=US$;s6+}%YAe6RC)nzbmm-&^ zEmDDCQb?Zm^_OuZv!+ITJ4WXh~zNDL^}CNYe@$R6(F}xlgXNkrswm=IvXM z1F^{5H+J0)$}k@CSd;5}AQ{Q>_?cV>ghGxh!_8I;K}izV^T|a;r~`@R_4`#4A6ar& zAcxe}C_!TqAE#$>Et7O|{6v% zt;hnskGp=uP;TMNV#Lc)xfNc@VzTnLtpo!-m)diG^oSR$C1{#A$Mun|73k@HAPJ*8UgdeyHOl2FtS9V92F7LGz{_E;+U+VWCs zhQn)yL@h(bK!X(5HMv|BlD5}ULrTk9QE8-dl~%uE{JO8QU2c^u%8#CN&j)XaX;FX_ zEBc)FTXSp8z4v@|TAB-aUiRcBSMZ`JDFU8ZAC=MQXzo@!AEmSq9cRx9=vHe(W4G7xhCG&GIl3^QlfLTPIXtCz#^ z&{JDew{*$3zh&1bb|S1?CYNVJV|i85pk>^$+UY7Y?v{H)qWL0EI=L)d8m-QIPTegZ zx8@$#mdm7}GFLTFwL{Tjbd))sPwnruXdTmLT&4OEL);D#>Upg(zeVtZNkLYwf)?Qy@!b>|3J`sq8pF=CE7Kk6C^_D&%d=KZLf|=c>~k+JF>S zr5V}e8iEv8?R&*=LuwE`Z>-bS$rTB+;wmd@KBNoL17}NSnLb1g*IY!@qRiwF5fsm@ zrRhUBF{Q`%Cx5g_EE3z?cR7%^7GtjA=E?|~Y9q_FS;>FXcVu-KtW>b-0G4nMbIgpk$)!3e?pn@D8k(jj!R4Jkvmff8se`Zm zThj@pzAFw=X2q>2$~ulSSyGp6olTy_m3awi{in6dCQm#~WA<6!JSembd>|FNu z!%~MOLqpPY`jC;ub>U=jIDH7t=7PPZAycL$^%Kk1XPrJYY$?||_HBQ$)NZNQVnhF# zK6G(ODs9{QR1O8*tj&5VpJ`gVX=#!9$`4gu3bD}Go<8Jzw{&(_HS*B;#dKqSYNONy zfk}kjY-&y)(!p4J98bA|x5hBFR5)0?SZc(SO+|FOoYRMH@s{J>`v?z(V^(AFXpLi+ z6f)IN@srMV`p`_K@F||LGJtP&Ws00wsfbF3nR2FWtCfTaHdDFusMf}$opFh|x8*&u zG@waC#v)f|H`Jo3F}hdX#nzS1Oy*u8m?==>p0jLK&}CZHWJ7mWLc&tD-ZN^v>)~tt z>nz{dDnr;p*?SgjUrT-CP}EM3qFJXmq_;`n#*BL`!V>AmLTS#m+aF!d8%riq;qRd( z{JrOvMO8YRL^#>y^QzR}kP@fNWPYkz+a$*+9yyoF?V31wI%es(L&ThVjtJ48_qdWf z$KmV3r&w6R=xHLhXmDx?^~}ldwJbKV_3R2*YM;ww*~wQv65y!|l4*L$se98*7A9Sn~e4xp<#N zhY!G+l@O1h`~ujRTb}t6m9YTzT4b=^BcuTVd#w>NY>S|b3UbHzSZeTXOM|Q~*%m!D z!~6ipTN3Z5uxt{r-X#mP3d>O8%q`u@#C}>YWHRsl^xt|k$jE{1l;x_8V6%M4Qn2%> zF}=+pvTpRM>U*=1ph)4tX;N5*6J%H;_|+RetSKIl*N-u5b3!o>AG-cQSjg_T+awDo4SWebbFnCkEP#@E}0b>Xtt+S*KD zSXu_vZya_pWbE#(vJ_@4!_ne8RgBOUG%R|rbg=)Uo7Lo*?zfITY;E{mM2VYl`QNY} z-`RT+l~GPM1jW<22+LB3)qlJ#>nSYr9q_f))}`6>aM>SHB8i8g4__G%Up?<_{ljX% zil+bQCPBI0e;>2qCd6ew-&vr2hq!*RGOzcs9g4Wx^ob=MRz}<~JW*dP)1$nQTh$7; zI}#TxfRRc%6NMPzL?#m$I?SdHLqO2x0ial6iM*jKGpFi~+y8(s1EW&4+~EU|c? z;_jaBL1doA!w?hF`W{3!TfE3IVP3ni47tdE5%tukhjmvD63e4Ea+rLrxyw-va%Kkx zo>fa?#$jaV`1?n=9L6$}w?5;;vLXY=#G$J_Ov}I#W7q88_GXnLJkIyiGD6FP92()< zGK~|VHDD2zxmsof=UGqMuwi2)j2X2Ck~VD1jNY--U1)1JhCEh~o3Kpa)^fTP0-MqmPF*=7U=Gw3#1obu7d7_rtRNW6+*gtr^=Oke8hu z;1|nEkWrIT>-y!xbZ|}A_G+0ld%|iRtbD#18D{U`RTTqfdB~74zk_9)BQm|+cVpQo zGHjmfRbzY`F6IC;Z#8VUHRGDLjg=T|4@bs^y_#dp>yg1IhS>EImMi31*4N|6@{eTL z)JC)!O=iO&Q>3sgDM@O@v#Qe==9Q$X;ytL*xos|q4vxz0n;#}gra0REVmW8h2^f=@ z9;o55N#2MJm3_e7RFP07Inwvvc4FGLen)#RK)?+rTO|$IaPguAT3bFw9?h)t2Rcsa#^oZp1)YOPThQ z<=u%zqi(=(o~5BIF2MU?S=92>$LRi2dD&J!ShaDQ>n%?#3(`Y4-EnyY$s;9f7v0Q2 z>{ZQbe!HX^cFLfH<;=TfR zo6|7gz0cLkWS+!(Za!%V(C)?bF6-SSd-L1#JdIw3b(Do>Gz-o=EX7<$Hkq3 z>RY(n$LZ}@P6Y*RQ%-XS(ff;KXij?vGuew}eZJ?e?XB}0Cg~^_u!(*M%TApRkGQTn z$S__Gy7nNDg zlf~Jp$IQIx>GZhRG7*-G{gG+5OLu+v-6IS@8SE__Q~t7*GC)KKdWK^Lh?#NC`qd+@ zpPs*)+}^Te;^>SQ=zfn)vSKbFfb&t@LfYz_Um<`?i%JA4BF?30nDA+>Y7H>`U1v7p zvlh^aP|tAC)l1j^a_P>nkxni!GgZs2;ex4UJ+|!6XEJ%-Bj1#WW?G9fje2Rgd)rgO z0n|y>hq-w(*E010VgRcNJ#QWrt|`)5FWVe@8!L!cFO>*<% zmL8=P5RX~Cc+>(P`CB$7!KxdBat+qf3fN{X7xFG$`;uY-lzc3rbZ^Zm77#bLS~0*8 zandJEZ_9jYS<3CGb`Nlj^SU4_+0N~%LTGkHH{ms_-l0_H@1ikrZ+oWy@(XX_m}c%R zPw!xB;>9rs((g#)4Bc>taJ=Yr$sCz$QWTtdMi#Fn!!kdW%jBo+#GEB)Kw4XPpR+O# zNrQM@E0@FfUnzfaWW(Z7BRPNIxz3-%+jzV3c8G{#&QGpdj z;!Dqa${FNy2HlqZ{V;isr_PUc%_4jqxl5g=eQKsYDnh;L{74zpZ9gatT+X^uH(|Z- z8uQhW=Xa7jzl7r-(pwIWm32kfH1Ry_%RX047g@IzNY-N{&+>Ch)h z#ksP<^oi8KK>C)7vOK>StJWGA5Eh6_a;^37T-pQ6+P?WX>q(<7{5^IGaO9O@cd9ae z2eT9#xcRuoNGrE_s4$b%Yd-D3LY{-W$3SMb8+k>ycvnxAtaf z>A72soOQ+C)H>2{wwK<> zR)PoMGvb6bhlbn;T!mvcf0i7i=%v=1dRKva4xvoo`sv74(TiB4;-)kJogfi@T{VQp zoTE{I>M=_9a=?uR-u&Vi5m0G(Zx7hGE{B_rv#j?$!7bvq%YgEbPFrAXVp! z8ZN+V@M?XDcmBPPRIHOl%m8=Ka>c?_sT^4|Oulgyz2=+pOd_>?-)efJDUvZStIszS z2kO%&!W(SvWS~tuzA%|j>e^}6CSVp$0hFzx^+gM*z_HSysem@{ST5_yi9akToDif^ z{BVlKsK9nFJv&5db*>QMs|FR`8=;q%65v;Zv>9U~?X(Su$Z)YIbGesb*= z0ewYXCk3I`Qj53D4(-A;D&AEV9!s#A^=J;Nt`$~bartT-4jdu>dFFC)ric5*5AoBY zwPoF3+Jh+in^JD!o@-LM5HP!!TD2aRHdimQBoRAZx#zu}TF_nD%dym=HAYM=lXC-b zBY(w0b-l+i;vP|I>n(Z%CLpC%&SkIG-$!mJ$AC8C#tGnx{<;z7EijXpwG0!!UUtF{- za3t}uWvM~oSlGsm%*4iX)L?tjQ5Z|?2O4Xk<$jNGt{3fvq*_QEtil&96KB>?JSmY= znC+l=uSlgF)xQx>SA6@%ju$E_ag54!(jPRljRj_XP|x1Q;+_eOyb;;l_rr9f$E%sS zn^oy4dW7gayui%v%XT?d6p5j8^NqAImdpHQ3<6*5nD!_+%^(d!nx za!AjvH~OL^kh&9;YR>2ViKJ9xz{wq8L=h_%ri17{NwATj8%zERDS#tJuBvW%&h5n! zz>`Cyvxs_?U6_9HIU6#Lta%bn(VGR#O1uKrz&F)URZzn+`VfBNWX~+9L4iY;^`cOb zyZ|}NTjl9sdMPN2Vuxr~-uuc9HA<&Q!tL3{T{r@IcCj)^nwk5;_fEbURU)#Jb?7@M ze(IvG+?=R5Ht<4U=mp+lEm=eMMPu(l-3Uosg!C@qV~K#dDv!p2&wD+NJh_=|ic|QG zv4E;5da1V34vOo88WSI8PFgg;(NuKbb5%u=IjL|V@D>wjRYe_d0}vS1u_}v-fnck- zipHXNn(sVzJX!Pl9vfvO%A!*FLi_D^?sx53BQRgLW-ywIVuG*Ens`2{l@m+_!**3F z_0d>+XJUq!g1r5v%{_XFVy({OMBgv_L&9jp%~=q}f~%HAcf^;-5@q#R+_q{o0I&3( zWJ(uxj7>D6_w7s^<6bG?fhle}^7PnBUEf2~M!9Ff1L5vVW0s_4h~14d;~FqEe(Sa> zvwUlzedl_Bs!S^6&_LUTH!=@dWf!M>)vypa9vXVb(JP~f;QcfMY?aw@hn5$|rH&vr zbKJYqD>o^Q7-%x{9cu*DW874C#{iS(7Yo3W8UV*KaLt0j=M}?&qK6!-ge@b^Rrf2G z;_I9pQrGboBhp>Ok|*=>Ck<(ZcWM-o0%h|`GAhsr$cTPP;$LqiAq_?``O%pGQbP(y% zG!nX$kVZmLfsh0dkbsI}p@b?mbOfw4g-8HJx=28Z3Q{bHjb5Y*(iEjj6G0SEk-I^C zU)%S6KKHqQ-ta7Y&Ya!Z*_qj$-|orDkqc~)7!UBKv)yjypM|H#I*Yl5TWOw(K=M*0hHKK5|rlz6=|-~et9AXe?(3!TReKr3tCtRAqgts zg!ZHd)S4RYK0Uu{l<1WPZK6_<=QY}+CUde!Wo_5{(R=!7r`8fUH%lnAdeCF&ZQ}PZ zrZGdrffy)@F;&n8CHD9dG}M(U_zFvse@)cMgoY+W;~^8oE%}*eT~p=Red!)Ow6&9X z=vqIz#S7Y%K!VU0%{Gn4w7r7SHSLu&VFhYQiYGnvJoI{ugp+colEo-xI)@)CDPTM;}Eot_npE;4)Ai>=( z%1UU^$B>>?(B{Oc@f@D?6oX9lyMws>8wm|v7?OQ0jk1Fpuk4JR+ewW-NueLS0JSTX zP*@ouCKlnLS4VSV-Hqe3yy!t`P`fV@3WRP)vVf$*%pdC!oEpF09mzjNjkocmlgpu5(~=60 zXNZ<-qHD5GLS0oc?f5fL*Zr8h>(R2dyj3(`LkXuN)ihr#38#V@ny(M5Sl@Qz5|d$~ z=1ywK!Z7ikIkhCc({U;Y+rB9gI-QMee~=8FZpF4AKAd@TaxCW-TdL#cHX2$&(&=bB z4Xq{~J#9?r-RMJCHYfDD_|RSV6M7%HB5wssI+=BwPH)m|Ll;9`iJI-td@^s=PZRqF zs3o3na(uf}9k=$=(9@uPFhOyh2R(KTK~cqn4qr!5v~Wc36qm?lub?%^NaPk)nC`K{ znC9X$O*;mNAoQ5a4-$oBsOHB8bIzJ4ML7!-@{W1ZIYkM1S)TMfal)Q71hH!tL#jRx zy}*hk@z9`q#IdA9q|DnV>LV3XC30mOXn9v9a+@1yibZ14y~>2VISQQuBPdFE(fJVs zMf_1@!!wCJ!N~$b6?Lpv=GDVdx0l%}{{a!+KAKxZskY|mAydD;Xq^cvNCZh}~PlWMNt z=h)GwL9)96?R=|2DlLF^vS{Y59hA*%@1{A&O6CUk&?ZtObESG|&R5w2k6x3^5$>bq z-IB~L@1spTlFYR!Z_82kqf2=c6!-bjD|`ugC;aFKmhhQ5{ib_fYMLfKfC|lPlExoG zQ5;Ay@FPea{;zVx1XFV29@7FhN#tr?X?vaNL8o#NoSQu8vg--X3m){E7<}gGDq5hC zMDEsVQ=bBiY4SNJstPG~9YO6N4-uy^)Q&qtMCEPN4(<-e5*{q+G!0rRg(W?W&75$f zTtVmHGp!qF2l6Fy*&1nOr4qT<8%^IIM~Oz;P&-JY#3l!7NA@U@$CcS%o_fFzk4P}=6`jT(NKdIm{@r#w0;aJrmIPnt{)-}YEz}>hKOKZBB660 z$B0m*w@49Ul_=7lP(rK@MfyG+Ur-n;pa8?h?u~=yYG7l(#6cDGc{-9vRQk3NB76^3 z+Hr)~zK=?$bvouaVHJCn<=V$6(lV-q_Rkb)pF+GI{t0bet;7X*qJY6AZ0xf{Xzmr1 z*heQSy=0V_KAQY)uL@w+*n-kZZr~B`s5q*F&_>I^IhdgtyQH zKS>z$wb0C&#CgCkOOu4XrFnD-q^;iOMPbJD!P!RAkCz2>i z3PpmFlqJbI$zn9lJif>*FK)&IsI*=y>$CH3oHJw2o_h2JP$N^rO+l z!DkV4kLY-t8*4Zw#b``35WSqPh;_ly#6^&uiY5}fBj&@{M9Zr1^dl}fcrBhD=0eBC z@enNoVlp1P;7Cn)>2ViadkbEg&z1baDt{z9ns~7{VmLpVI0~}DXd?Pp%$5RI9Q-+6 zy2}+;)Q^{50cQiJ%bf>V4>!%q7N7&-_EnbG=lk>zcY>c8nVy#|s0obQckX_Deh(n| zy3aX3dPpxFOpd=2w6fHh>OME|R6W3FD!DvxLDlKdXW4>~5P|wBb^p%AK1DvK6|o?ZqvXI-?pV64B)OSuZ`Fh5>?0T7-KC)#*OOY$+~2my*_@}iHz$f zoaR0!4J{(Ur5a_RBTvXXSdH=Id1M{z3|#7^JajGrF11+^I+qWZvdq^B`*eZtE?Jb8 ze337}O;q8i3Nz)c7#R~RN`qeF!-k8}DnUjQRj4dl6IPJOS6?U!p6lUT$`z%}fUKAY z9`rn_Zl) zlX)C*!lzDi=j%X=q>-fNP*$>sBMu*dCtt$U!S*7hnDJ1!Gm;cSWhH-d#C?c4%`I*K zElNg8S?+`u6(FS&455@t3Gy9#G1|RszC;f(+WxDw&T}1oi(WC-8=P_YD|j--8COHc zldYWTLB?zweRJ^SWM|xmJUqG58RvT)PoC7MD?E;pO16L&#i6A7_Ct%VqNK$8bPnIP zWQJFxq-G96=eki+s)wO-Q<7x=PhvE-LcRbNaavX(-+o?kn*OX|Z$mc`yGcAot%$Ej zPMp>RGBsYfOLBBwe-H8Q4)K`%C47lH#c50PkV<-Q#FJ~$b@L#*8C{3#i+FO2O*H#C zp4{(>lYNPA;Cg;SsWQ6mKv0aejvEd?f+st=;cCY44Vzz_aOq$Z^_|3%8{Kdprt#!= zZuIA`cmVdn< z(3atKvyjJn3-|dczoJ){hk6XI`Kmn3AU0ml4|Qc{I@C9!j@c^y|%K+b>1AqU+5P17F?-jZ9ukvo}FB zjNB^Zd68mqqFdS|)me#G*+oxT?&1-2Jv3h6oH$n>NoK6aHI@L8OB3Yk+ierIa?jh8edF;Oqh(l1O3l>=s0L|s;H1hsK;WYN7{ro?xiJsizQOO!!1rrOt}NL&A7R? zb{u(oe~{6sj}0fM?!?I)X6NdY$Jk+}3v?}5s+0Q+sysh@HggkG%hY!jKie>Az2IfY z)zWhX?Q8_ST=?m(by0w_aOsvaly;Y?;Y;_~_!Hxzo!#WrKC23snwowrw0yJf-JWy3 zyA`m+a7>TFn&1?dqZ0)2{ZyaQ9G*nlqL8nif@(DH{*JIRc7gU0=}jLxPa)45Iu!Kk zpvmWj=)u@g%A~8QcxaYgzt!+_YTsJeymoVZ3cP6Bc!PuVs8}+Zbl3K-vU6q-Qdcy2 z*mTrl=&Yo%)ZYHF^Fvjy-dX_0tf-O?BSgp6h#_f}X18LkQhMX){meS6soalN>$WSL z>m{{Hg+^Mx0Qn+wsA>gBA>g>HkE|?vWK?_gT?sc!*qG~+2q_IpL zye#(g*&FhM_R+U8PjfKiFdMO8QH5lZ|;)^L!BIvGAh`bXBkE!>N}BuCFVb zFAL^!$QOIh^ZlP#$?Jo>Y_h zz#;VLxKDbBUK{=0@ZO}$H8CqXyOm0Fln+5ZJe_gq)mQqkGk&FYd?D_AP4Oa+{z10~ zpTlYvJ#OTu^OhkQ1O8A0csQuAAJg18vp0&@uh&#uXWyqGsN5#@b8*_j>qGQza`&ny zk9eNy89H=(bCR$h@c#JYR}L&#KIvlo-YyG>ty-cseCyos%Azjfux((b9qNa$LzF7qXV zc>T&`W5UajrKS0?@!FLVMc+AJzTD6 zo?3>S6j^zbf8_YmcD05T@UrR64?e%!=Ls7uc{Q89aJ=f_%B;!pci~6Ad;$;2G`c@n zZtHruGOGI0c>D6xg!J0ub5jOXd`e%_+9R4v_Z$poT+XC>55GG2Zo78hrNdwR9FnsP z8Zn&<=hMfQJlC5DpSrSUF3m2Lc=(orF^)~P<5T%jYRD_D*Va2Of70}84!IG`r751i zudj_am@D_W#kt_Ivwcvjmr~Vv%GWc}J_}FqODw0lXE+ZhQTnSBPN7m%x|Z+1ym|Gi z^7VxwO|j)yeyz)kRyWF?nwcIcN_qK7X1H|W`Ax|q?cgD#b+nW0842O`9>Mix50A{v zs`}?0ud*dpex|i>DL?b-?Ft6^*?<1+%)_PW^pJ(dm&f02BBy>qeHp!HtD{x3vi#}D z^61Nu4{_uBUWP=;9+@;LpbaD(37QBGUj8yW#GJnJMbFLUbMW%%nNJJbSLRmMG+A;V z;k0ujdwEmrtX&yL?l#VxYHAP|gmIt_gCUXsP_f^rT3QfQypxN!9R=hr*4}nFJ6m_M z9Yl4PotuNVBLo3MLbh$={KnHiMLSkAwi3pzcP#akNL|!o-0(ZH+=YcN)7#+ndrufd zGRdp@Bo<|BL7ZecR@w#zY&1vwy3?ATJSxSh3N$LTWNfW^uD?{27+qGRQJq%_OSPQO zNjVp06qhunXefG{E3L9La_nMo6|Xunhs`J2u!84Br{jLkCJ&z#&HIENKa`e8viU@Z z$axV{q0yx+CRf78cMb+=$!|G$42BoxA2w^-K`lObeeSUChxNC`iYj!R4aSP)w7Pu) zO;p@Onl|u~@0u?fn@&x)A|6cb?g&eOby(C;>#z6-koF`RC!pdV=}!`Alc4g zW#wp?(!?h&&gUQbxJ75U#`0NI(qeM`q1k&{LYp{lpOQ0OcR1`=4~L5T#)M_elc2YU z4`AcOOyCfap82=n4e<#(UO$==>#$CClKU8TriDsGiSIW)V%Tb!zd_!lC*&&E&XVgB zEz`v+CDTVuFg??`au-Y>X_iH66QcL+61Ekc$Bn2|&+FtBho+sGyArg%Xenn4|Dh`> zC*@e#GIwYej@?R++!uP;$0z+(bcUFMq{#{zi87EH7LZBlX}@E+_$BSw@@M93bF=h6 zsO!7;{x3g;!_|LQmx*Q(^A_$&Y^X|%Xq2l}OL3yP>VkVZxrm4V3vq59JVSVRw2u8+ z&+IK>(FoB+VYAr+?di%h6WVve*+&L-FIh{cpeFAmUmdD`cxVLi?D0LG2R0W)*4=`| zy}wYM*y#J%LQKxnxJcZ#3+G~cXmVWe8Q(5><}InyFqt|DA%)n&{ z1z0I{-m{2C@M*2@Nx>>7_Pn_|y(@^uvn7iQ|^{oDSaJ;YyX4}pdMq&;ntp&N@DdtZyf zogG}y z+h?QbZ!I4minQKsY1s!J7HZu9Ho>F$5Yug=59!ho@C>r3ULa@U{7Tk5g9>yy z%531~uV|iz&H2{^^z;jrjLzd6GjW?bsC?S;Mb#rILWNg9Uu(K4k;W@~%)R7%{F5g+ zXM{R@19NV**h+TzrG5JNd5sEFhUgy*iu_B1sv!_R8Pw>!4u2(#op~lCH0{LAHSf~A z19yHot{j7Y!!jLpf))m2*RtWBgvpc#ej3;U7gzl|ws_1$@wQliIaC-mdJ-4J&Pi?ZCIHS@gJ*U6ctJ@sbGErk_ zc>d~iPyc57ZHTTv^ak~py@4Zto(PRh@44c@;C?B1@D=pEm*U2O`Xq+LJUv3>Mzy}956p}gcvyG3jUmL1oX3wx_d zZEawCdESoOt9jv7=7t0-S)|o9cLQ0G&T<5~A~J(osgrEJ(a%Uw>4s1fqHcPxdXYvk z#Km7mV6cV>x2{JdrpYQZ>gI)*YRaY@&RCWMR$b%brsqy=jeo}BedSqI*^^iKV;_9g z^;G9x<&^mcb59x;R=mzSrWABTck`3^U7CId(ED$*!9)7IETqI#+64`5o8a3!R?_XZ zE`F+SdAH0ZB!5ux5Bfv@rT(x#hh3v+9sWlU;0)zbCcAO1E8c*57|*yf#u; z|I|Fn*%0>T4qWKyZiP$n36J)`4s!Lrxzg|jZm=sg?CG)F%%_WHJx{kAeEQ%S$dtbv z$ohh}T|&y@4-%^XrGy9s<|lvECmB+zVeEZlf(IdpQHP;-<;MHQmv3M2(0HLW&&|#O z*R~^OKSy6ApBa{z%i2ed=!{9nQ*l)rUMgffx-oaR{9@I?I=9H3vl)`x6SCCdO*dNe zZWFGe&*4#9p<@ueGl6?wKY3%?N3NXo-7>CWCLHdew4%pS6z|iZ5Wmh<=VdqawY#tu z-*eXDQA+XMU2g9mzOm#=>(a2i>B_c)qFqq_-SC8g@qI6=}VLwYqWaGbGQoZ>7ZD4oT{l zx|ob{lx$awMcB|cRkd-@I%1po1QS@_w~Bqb6De8{T{W8a;KlX|Z2IIU5#c+hU;V)} zn7=d)`e(}^;J0_fb{8Vo@P`S@a*o=waw>!!-0>hc@~*Cm2$8$0VNEgji4vKVQxTTB zNS*jo78|ncW$iZ@V3?&6Sefceghu`#%a6!iSJ&MiVhK@JgTd7x%1ATXrqv(h0yWmpDB8IgN9K5^p#;s_M7G7MB9E*;WB*>^ zO;EC=>7f_o4c4WVDQ; zzG_^d%t9;YY;feL;KGZ}i^Y1#1V?NL7eX;lT=J|#(pzQMVO2kJVS8wLM;hSz+ zLR#roUAG{VTHcM^j}ryXNpbHqVqLjTSs*>1(Ux$(5)tqH_Qul4d}E7pxv@4CS9X8t z>`~8b4NjZ~-g)k+-paE(wUf-@ zXG!yaP|x22Q_RnEuYS}$o<}ft+_7w{bs@6$>GBtfkBdWgKKC#wJ9bBd9}Zq#5Ei~J zjawT%$VYd3Sv5FFbW>Y^Xl|&T$_iPP+m%A@|nk^`4RkyFACppK7Jm&Wp;{txK- zz1sGDC6>Gwod_2MFP@%uYHl1hoK)IZJG2A=fK^l1dEbdEFu$4r6)N1-4tLbr;WWLb z`on1V`K)z^Uf0;sF>99+6)Tu`COvVv0{K!mzU3->L-vjFopQHLh5RP!4;J4oPc?vB zF6f_a5^SEVNPO>i37+4i8E{b`%UFL=^w_O+JgGwyJx3Em@wc&$x5@;eeFG_T_mlSX z*5?w5LQl&$jWg>64ZANcCY?=c?`VAcGGRgV_{ti@V9=UB80Bwq(66Bkfi?r747Qd( zJ3EYX6n}9wlx>T+(8watxTg4t(vy=)P_CGZ5-NIJwlG&47rK?b4J&y+L=95b&O}+{ zr~N^ezeYT2KMw;GKs;a=^gT55IN5yZVQ`vvk@K5}*U!jpEmYp2tD?HU-7us>rZ1~< zc;Ds)nVY)X&QB*jAyqF37Ynv17Z6(bZYy)HGZoNYgv$v@b+mN6*6_DZ*v4G2!B|1q zpDm7wwP4_gf4uSON1EdBe!e)G*aqpxNrvZ)i1FG6pSO;@r(ZyNhsbXAS~^C_6?D$5 zXBUE4-0fzgZ&lbNEubAqETY_3-y6{%voE&RK}J?|!wcD)MkSAio?j?AlXyv&Wz^zC zr+0DLM~Ph)LxpE%6|IFkPaCD7a?jY8P;JST{tFemB16L}`FAG=U*O0~IRErH2Q-^t ztlPq^H)B4)KPS2^H@q{g`%A$j zEJ;Tfye(LB7RG+<-5k2L`fb~lO7$=3&V1VoN}J09Nqc$6W5Ublgmyc@Oshio?~>HB zZobq|cM*PDeBhSR>1!?*%&(vJ)netnb=5APJtWuFdO~TIyJFAbJGDI9V+^nR-QV-z zxULy2;SYWJ5gh%uZB01xXQZZVij8H~VQ(B03e@#_I&-s;wy-kJ*|6qxm>xt!*>iV| z$%czt`{(NRlnl%yZhY+bIOAo5kGL>)gAlQOqq$Mep>pu+D83T*Yv0jPN~c99nYY_= zst0=d@2csU_7O#`JJxm7#C|t?tB7ZP6^ofqcU@woNp=+1^uZRMy1RVO>^9PqFVsYx zff{Wg5i=%aa}hc*>oW6AGovM{L&h7Ssn&a-&fK348uoR02{el#HHGuFuvvtCDUJ2j zTwB?e%bOnQn~UXZZQ%EK*r&IgGBvE;-+s5adVcY+S5Y}k$YOT1R6NG0bWvS(a8Y|` za_KX3PL`$c?+QfzHD*))*%^#tjMnRJ*>HLx<%$R_;~n$)ca8_aBEbPvCI~JL zT;kF>H8oc$vJpo=ddVG??h_Xha_{M(jx3*rr%=w6I_hq2aSxX6r`qeE^Eb~V$v!k! z5KYF!^O}p$ih4LgbFyp_%=S1&4er&RId^z^Y0cvgnxFpA=f6j9KjRbB?nWLk4c&9# z6wVP`dy<^C_rA}{QP);YYrYj-i@JFBfZY0Kg>l1e8oPLJsXV+X#dY0BW~w0xlD2gw zBeCdaTlb)qhnVc)6T<3NubraBP~HQlvQ;kVo~)L6n;7JC?DYc^QGaJqitjo;y?QGS z=Q3du8<2DMm1?61!8?kPwHw(5^fze* z=x2Kj7C-arMDlmoa~WS;bHjLh)Osc>sl)qEOx?g?4cn<%>F(vV3%om+%u0S&4VZWT zh48x8UUqnQH*bh4&d%9-uaB9vn-@e?&(WH)o8oTk1yN&6BqUB%eK&9i!O6`5qNT;D zigU8Jx1-p(+1h!5g$fc4QT4E+IJuJ{U;wHH+ELsgs_t%J1>)`J4ne^os`lI6|!gF#e5 zVRvwZgs1{WKtLd`59AQ%x7E!*!hxF_;Km2V%bU>wAUIe9xq1Ju^%N+Av-7g0IC*%x zQy^-LSPDAKsA**FO#$LsLSQN|7{j5!-#fYx>_I3pNW#B0i1BrgWwew>v*YUEo1GWJ#ZvZy2_8@*$80Z&6V8#_?I09%N z+~aZZf*{~urT&Zl{wgX&)xg`@#mQF3&B4VE0^?LQvi4sU5Tb@a0t1?P+qv!qf_~FC zqX$2zOx5Ba!G7q+cc5qqLBnAGFB0efEguAMVkEF15)Ff3z&;Baf#$@bU=Ve%G=Zz5 zAPBHM#7HP0C*wM!JOV6VS963qqx^qMoZqh_Kv_m&@c5okAik=>7z)53K?01h7>K$$ zI0yI`1sYdpBrr(eSQIBn5Ht!6L4g$l2CVzl!FW=~00Cg&n2|HCBR~T8|I|T!22U&o z3-YftM!wn^ggPf9X9&UQ6eFS45UX`jpyOY8fU=<7)nfz_C<3#ZQ0my#9IFoG1$49; z9CYw&yGYP33T#R+cFP&pP$0(uWij&A1ZR{(uPT9&GumG@8bg6V2B1(*Mw=*5XH_ZR zg=6Hap2lbi$vA;ARKyUQ(KSX6(yBce&3#RrsBbp=ht<~uAmCRPaL{8=4aJZONY1Fv zaD(sW`kn)maefzMl>-ulLD210@fm*b4}V4}MxR!l32dhHtnEE)^> zo*0hs)dv`U@N-(#HSi0DPyCQp{ej^V-_xqEeDev0Km3>&a;=^N9t_|3o)|qx!%)D6 zKvsqi{2^g6z$Og80JG7L>AO#S&lySqcIRBp8OJ}QRa<|(&M5OwV)zBas*L>5Ka<># z@YEWj#z1%^2$=s@@1%kwG6Yz0m1YNlGjaR+O{$B7ua{OBKhuHW%q=2sdtDPU><-f!qAxBzCM6kL4}H7GUacW7qp_*X00n)agXD_!SU=opWI}c zvDtq8M#B$m2h!g-pD&8sTl_}t2=4mz_ivVCqz;^!i8VooOSbPCKdMS9`;V!YF*6~zSsHaTSv7w7x1|HH2I)OxK5yH+2nL)y^@{z}z4zT?J zWB%yV|6gH$p|BqZ`FDkZ?SJ5x;O~EI`>TP;>u0a|j*S1b?+?6&=L7_JjV241gp)pQ zp9hbC?XKr5U1+J?$D2tvY9~!OZ@@;qFl5S=HeQc+Dm z;M!5$k5-l{~)NJ9B_CV8FR~)AGx=_n7DJ zRU~k81#g)4X0~F|clh037{l=U_|kLt0mv3iABIk3#`*%_f5vD8I`}&6?6!6Q>yCd1 zCjh8FR0dy@@^*4}!!hPVd7K6uriOuG!GA0Yfj}$6ka94XoC2q+9-|z9`|_^V-X1RQ z-Y!ly5V#6l1)&6S^!E19P*wf+f{HuE0aO7CBC?My_)gW2bv(%S5F2aTqX4~st*`Kd zWd0O8drlYxiQohX@Y@FfJQN5d_K<&Qj1>pt19AICQ^zs@|1UHQ8mzN^qXE$ND-DYT zV~_Fqmmda;2JZDM4IrzZY2Xa~I}P!Na&Xvh?ZQytOJzUvQ^&%7Zx@RIpy=0fXaF{U zp#l8zTR+snJ+NQPq19o(@xvh0f72BV#Xtp&&%b(sVF9rIg{B6F{Z>v5^#>Y;fj@rc z2ZsYN{woa$0Nk%M3}e~%OI@rw2wFeWz)j)b^bGLx?=;4u;@7%Z2BP_y9}><$TEEZ` z0IdE>Ljth&D@~n&!+x%dQe)t&Uubaj?=&=6(EM5s1CaGEG_)E3qQBCRzuOJVSoHi; z&YNQG}2+lDj)&9$Cd>W=?^2U?4IEr;EnO|F^@!{4epp1Bf^}I=Q?3v-qbM``3zvwg{O^~g{ss)>wl5DtBIqVvx%#PqnXeDPX0gV{~0kUSeVwIl9?Jho-2a!Ds)d`AhpX8?g#R)6{}BF1_5b4cUpxQXucVFrKSZQVlJ@@?id&dD zng2sBZ{cX=ZcWPa-_5B0Cvo&@Xo94ok(DmNzLbKs2szoD%)ZbgM#9o{qY^? zOT4>H@RJ@?b+Dn)DO<}jpXVYEHDQ=|d-wP;7T(&>M*T#_LBr>b*2han!`;2nozUmy z(&yWK|8dZ#lhO035IE@LyrC@U^|4=;_+{&}`O{!=R;c`G>+{Gc=$$0!J@T`v{4-JW zt+M~-#qpiK@_J(p*X%@SsweQYzX$l?0USTsivRNz^zfqPcM|mea@}b1=~8g+XZhZ6 z-+Oxh8Svim`FmxL14&{xhf#l)(^R6(k{;ffGLTSpVEwHln z_FhWr8DMd_qB?$X8ub3y@OdRv(eSzR8OW%#)pf6P|G9bR_>#H0B+tLvN*IPTEO@j3`7Q#rZt znfkMIfOWI^;>tmCwoK@TNYwc8w$2mN_nQ!GOki2xt4_4@$7?!snHF5_#(xo7P!mKO za7s^drejodB7XV)w*IRpW9j*qm2YHSVaBTW$1uN^QAtJ<@zO_r-`sjvdETM_hfC?A z&RqlC<=VtW?D7)wK79QbXizNTrS1xtF%;~4pTwXi>8Q>(J0uI#4BHFD;?NgH9JuB3^t5Nj>$5S5jV?5k8=9Fzf6 zKjy6}Qo}h;{rxlmp)Bqumw#K5wL&mvTxm2^v==Q@pcVqc@XR#TXyz9`oK-njQ#m(TkNQ*v$5Pw1n`pV8N}0FT=i7>zPR|b7c?-z(hK4s`&4&Bp zEz$RUr%LIdbwwj@1w z_B&~%W&Mn6lo*V%n=MKOd;TzFA&EE9%Z(a62P?@!H0X7cHNb(Te6p+4^&NY!Nv8x0clwz8A$NY_9N2a2S&7$ zdJLrLNd0?_MYk{wi$crISuv2F{xZk2uWEB*>;Yh`oTOIJcV_`BBf%GaP!mtUNB3a6 zbq8?9c)plG{(}Ohk}arcYkzU#Z2VO)>VU`oyUmr-+_wr2sOA<&xMeExN>zU{K}Wd3zhhx8ZS5v+ zeI_&#U^9~~6fK5nU{g+B@`vbRE2bO6r}k(~q^y#;isnOTY{)tktD)>ZPwi<9on^V) zrHIu-%FWRa2<_v4^K`)quT~6h85QqcOuL-|KPw;e;fyrK{8|HUETMe&)}uBos7<-k z_3^|+sQ&J%3iheWOE;8hST#^HF+?UgEuq{g?HTRspIa?yZ<#Jt94#Jw zpDZWP0pw0T4^{vJ0Xiek{<&DH6z?_aYb{7b-A}wH3NC-6k%1C;T+- zJTVOpB24uX`xS{pL}%-Zc6Ctn;<$3&MnB$0Z%VB6hu~PP zvq+gi`SEG=l9BsyN676F{@j~m%#%g&S~iXV0@`nHMI$tkQ^C_yB6DH)N;p}=i{)UL zofA1qp|!-1x^3zOhWs~wx=tSl3}t?5Is!0}jZ@b#2xXLNEbp`*mpVEPZ?i{{|;9^Y*fhN3y&*DYR- z@amvEI1gH%d20)w2RPcO2gdYrTpjHDVR-GZvAVPu!cUYK7GBBI?fR0AQDKy{)ML?^ zko1khb0^I&nH9+T0$(NWuvxkMZ1|AX>k^VLz~j0>x((Bw(w9Pvo2+Sa4Yl-s%JC}m zax4ynX`Hb4+P{*0u10U77AXi+3hRcp!cVr+xKzt}kR9R6|CW7j4cY*T$jU~RL_+j? zf~N}2gpLq-WqJo`d7tLxm{d;5+1~v3J8PS3qf-uU^`s5vOA5W5`S0I34@w1)V+c-j zhev*^3Lbrn+(qkpXr_XLGvZsK6%PUOvaFO&)+sF)oZ853IVC{89gu2kM(KY2GTV}o ztIAY;MuqXziAVHUa5Cx(h&V}&+jRLdD#B6*#-v?7QD;Op%yx}~>W98BDO{4w|9*57 zM+7#^-Z6M}Gt~TGTA+Pi0D+l^I-^5H4zI4ov?L^GX`k%j+BO*qi9ju?Spv?sa=H$5 zn?C*)BfPzFdA@;~x|YS5=Vh+j&cGA%6}DX-5M9+2)X=pEGD;t4$N5Gkb=dIc6GTXRi<17udvauXd1M>h(_M}Dr8r%eq zB7>afc2f~XqE+npaJnu)#ahKDD&}RgZu@b9_?>)k2V(rPw73p8f-*R#qHU5o+bfyh zGgPajdH0@W9q5ldk^k(S@M5OQwMl;`?!;rg3a0~B!P$htrZoe6(m_n|nN0W1TD(^W z?U?dQpUHK;Z}WS4f`xCxZOHbC4BNKCmMBH@n4J{~6(2{>w`k@qPi2PcKLTm$)!F?~ zuTixg!g}0Pmx=|+p}7nAaHjz>g}S5nJTlGw9>nb12WJc1ux|+! z{l{tlG|XctGxvJC{zwqKMw^oWCrGD+%W}VC^Y=J7v$N(5#N{LLq zWhji4>cb62SV)^stjbha(qzpF9(g1k7i_tODvurb9I=wp3U9ZO6b#F9AyS;Zt5E{*Fb&7Dx-`6L@vBhC7Krg6VW+W9WTdV%^HRPb#{}3* z@ebG?IaMp>#~2p$vdP7E^kP}@QxA8lxvFAZ-sqbwn9_B;1XC;GFfQ1jG9*}m0><1x zyr6doDEN>vSwAe@3gjCrUfdhoM|j)yTHRzQBDkkQs)n+;KWoT@NDh*tOUL&RRcb)g z6!Fxd7yW)l^(0K~j8OLoN_$;k+E~FHU6ob$a~Y`6X=fWp_xCGBSL(HsN8BA!;jQG& z@!cNppBIWCjzKVTozQjjy;HL~TruK^@5N;9=K5*-$UUyd>#V8iTAuG^@ z2$IkyM&*|_a<{?Fqq@6#2Gm4oOs2Yg{+%iDJmx;i*{>EzU_qO3YH6voH!;s&yB}#h z!HOY(BCMXjuKOiGV5QAV83wvX&C~H&tIkjw=iW*VX7wAD)6wyfMtHF?HigfktMA=d z#?uyD_((!G1m-5PA-?>;S?d@PEx98{z#~X0qcC_W^HK2HNH&|`_KGkY0-Q+?Fz|-> zx%M)vBY4X_c99`thCrGZI%-<&_dH;uzWPfsFIfJzcYPRxeYQd>Fg^8<>V1ImTbrWk z#5xuRMfPbxQiB3JBfIYl@_>0P6-94kUO#k|JTrDHbXc*c57P!3QP-c|qT!s1x3`Ch z;~k85R^EFSyvl&>2?sD^{(-E}d2%XKd7j6<;{2ku*{r0mYP5{cZr#O^XnS8&Lhi4; zk298IIlBqhjq|T~vzR>-H3DOiChpdb7dKJJ_-w2j*e?{P!Xv#N2_z8H{+|UnZ@(^>KuuyT-dxfH}PlX_qdUFi;-iH>VhXki* zE9wT7K8r{9j0u0qixi0^o2f6s)JQb3zPBR1a)LdrNAp< z!5Hb$$L_qZ@T&ShwJIHkj9t|W4ISlQM2yUL5FToKT(_4@Tgv-ZfgTH&r|f}f0(sU@ z=%25{N@c#{TULDAJ2QI6x3po|_fcnIn3VA|aJt|1ETHx0At{3eixg+hVnhnJd?tR+ z%>e9P{o~5OWk4LB$nW7bRX#{vEO3n%<+&wxPf|IFw7q41G z9uT|L%j~9r5um2z5Jodt=cIJqmj1-*nwiF4e4ozTRmVvB!OVw1Ok6E6&M zd+BYvj`EE{roT)G;wOr6XM-QvK)#t}rRf>Zhzl5~qtH^nFp7k}rl?VhH`DxDT!4b{ z(FYi>I_H_Ah@U@5>QKFPoBOi*%@c9F3)F!4}1<;3QR6;AovTS-Phk zPZ>495|%;#R>VcYQ7PwJ!}c~Y)Vz|%o}*A@rS7|;#2+8IbmHSsoBTp`8I(8EiF7UN zqk?ET{P%1k`G?!$MaEjZf;{Ll=GEi^GKtFbZFhTPKy+ZU)qYG@7caJJI`X;$*j;#x znTVJoazD>&%ok-l@&@Vn$<}-v*)apkL;u55)Ehz@7Z#HB6i$()D!pJaSdD>?o`7P> zIFIoAbNyZPR9*q}egy<8!P!F*oIvs`ook#DJMOs3R?gHZ+uLPQsrsx41pH*G>|R>F z00fq%%^feWolw1ql+`Bbny5?{)8Boz>b5La1&uWVL;4c_pd^HnFekJ{Wk>Q$*6kTC zgRYWlodAiua@u`-I0V6meIl4U!lIFgbh(WEFrhWK_Lp3g6IsHZGy(<;>OT1Sni~m^ z3KZ-Ky*aU?;cOvkF>?p^n$x2120|)Mq)rMdH^GKssj&Ntj&QdS-7qIZ<2{Lq?Uo9m z03o=%?q(#KGV-ZXME2gy+cM7OYskTf@phuC<0R@s;_=I%1Py#xXY&ew+188o45hCGPdd*9H7F`cg~hKG3JGr$hj_U1H|AR zA)-QeIq(a(6CqK(5DKjj;6DWOL`beqZ%A3)7T_^!~}N3T_B`eYwP|rudc*{7^zH*u*$F)@VCfI4}6zr`3cR zPAW3$y5C}QlmyK0U~VO%0GQE!OWcX#d|oqRwq=M{f^O-V8d-d89s2{Bv&7cE6?%(o z4Wx6wzmFqM=z_ZQPF+aKjI?Yf-@AUT3SERch}tkUhix&zt`vL!y2m+PAR%7wbZqOm z34wjnmcK{g{=v`U!>!CEqODs<%nvVH=5s?o_;TbVB1IaY-oLp^0uMKSIPD`OsM8mM zRXxD@;ac}$9UT7?v($;MWiXFBD1gE-7DwMnxv}B-?Kb9b$m&i0;$Gj1j@`WLpS{TT z`Zv|_lLph3%fyPNa8Ib4>r<2fz1NPv9IA*5a(?`|Y0qA4`{R2qH4wSMtF811PeXD8 zmZVF1x(CmbY}n9Hcd7*o;;~;0vq6typmJE0t*Jp>FfpBN!}RW>U1}5580o{ylfL9n z4ad*ei<3klWJBVwpCnu%DX8lj&`4Krzh5vpam)k@C!#~8MDIt8?juJK7<6SMKkvQM zImJ$8lNEWVv!|OF^Yh^Y5Qq51cQXbKh{tqHzPCdB*;DL3T=6D|Alq+0V|X81BIXF@ju_(C z3y93CFpX954pwINjDNsf_6QpFn_BZ!EgTM>Ll-LTl=t&0e3Zo?j3x0L?kP|fCq)8k zI4@R8bRR`R)9Qu#Sh0zlpp&TBf0%ttI}c z6E*L(?g)IiqY<5vL6#c2MYA?# z$(C(oJ5S@~Z(dRGD%zhz?N?~5-QfspiBbAvh z>6U=9_>~1jHf4*Cu?H?7ErKZisG+$Z>;!QC;P2zW#gMe184&7PMF7#rPW7SuJ}6OM zI2JO>BMs7Q#}nLm$bo*dN<{*iRdAgR2r@IWvt-?yUn11X-fffkXIw5KAT~Du;)MDn zsg`oxd=v#|n7)c_TlWKhynofC_y5Mku&WlRJ@qsOBF+?TMFy1-E*wdVNfiRmFPm3M zIut~VOc9pN*sb0Kh9y&o>|ugSOj9_5aA1S@S7Cur6K5c!Fq2s~yt|{7plsKAxE7KV zH|JInYGK^BH<1)j0eOVauO-!JokiWlcby})Oe9=`2{@j41icP*2Lb5>L{!pMxXJmw zBjc*{lBx>f>m?@_J%)o7dqFXw&QHrGaK+d;X;=v@Chm|3l)ejNV*qW2)#(p8z2n}h zy=TJIVp>jd@XE`M1Lb!oL%55bM#1XVS+|_1Vu5(irH8lECr@XE%B|xIk|jmKZ_qu5 zPR%@pYoq>y`lCCi8UVb-5KV>z*8>^`n~vap3QM^!PXQyFY{xgxd@qoJ8|f z$KQ6LD~^8g?6Z*y?mGwwYC$rWc{se+D+e^NQzcP1_PvdY^nP}Z;D9Za3pdDeDt08m z{WTgv718L`e!X|Wj4VaoqpnfSvM*0YWq zUTlh_=^L-;r==@863=xW>->D?f;nB2!+6pa1P|PX%S0r*hMR7w+?14=f4QN)SI<$# zTfRN>l+`;%MT^a&A$KAmSrNq% z!-l&v7P$oHMH>^K1cL{%%I>?)_R0Yde1;QACN%qZx~TFKY!O+he%u33oKEaj3HEqa zcLa{NPih2k;EH7x5Q%~Uqvd1t^8Vg zaN%UAe;gsHjQ%9`8QjPq=UH8GV&EqCu2QGX$t7z1V=Clh<8N|sr$6dJqLU4GZvERE zvHa>k^m|a%k9q}{qJ4733hxC#{;%k z{$@M&8pCQT#!3+}(%PdbzN5h&bqBdDJLToydlcMyes@FLbA%@0(ajYaR6`+QL-#A5 zG-hPfpeFB!;xh?ox@qMwE8e`v9p>`MaTHXktY`64-Pd3!rS+K?ae-8be!5t`-`1XU zl@}@H)q9wvVbIk4@($0qnf&9gX?pJG$X#&C&rLA=%IOatKyZDlGb*uGD(IiEgy5n( zgLtLe@{z%zspk=9U}jda6VW49_ogzK4L4B-^-(Gg4h+_TNF;=%{^7Zzv3p4q@xo!y4cyiYPN%J@!QBq2vMVIp2cljw>-;tQYcm$>IBe=S8x z+u$P2M$EhuX||K5KY1%Ou3~9Qk4Stua~UIMf@x@(bWcJhj?Nx*wbb_iU|EX8yOw7T?AyHeQz;4YzwOeo2%6&w!+Ef` zn0Zs}bf3;oZ_hPTSurwf@{boK>vqxDq^giYyK$jaw#d(=A-CH8Jmo2+j}o+@Sl54b+%R0 z<}EW$*XaYe!|y~EEpdqc<*9E9CYor&&~8GdGmP=W%j|d=q4Nx84s300-<^;I#Oh9X zG!ipkuEv(vma-v?KZ)H( zW+oc4h>bVhtTYarlSc4BK&A<(>0pJ9S+|r@&AG$-m5#l2%9uxN%X|uJxFQt^zr-uW z7#_rR9k?Rx=ipgrOtn#`B1)3W$*Z%GqQU$1)qVYZyBTax^^lTlSi?c918GVIJikYo z4w>Q>X-IS5`Uo}_dkrD}vG45E#EVI#J%D#zS*Oo3=!H0{17{uXhFL zk>`Et5bt;(Rz+-vI*%V#;I6l}Rt$Pu^j2Xeb+g}@93Fdoa@T{5CPqvB-#bVYwidzf zA58rhp9e-l9~1o_Hy!l*8Q5;Q{T~A2+_eZV6Zl4-qU_e%8J$i~#K#@1O@iRO6j^x2 zF5ZQ5y@#JI-u@Hx=QiYvLCf0@a40{Va%<%5Am?aYS_CydLvwj+Fgu1}j8`6nI{T}~ zoix?1F78}%ya(%tZ2_GhLzGSHQR3RGaoGTlrz(RyT5?JFCA%H zV4xlO&C`Zmm@7Glnru|3X;^u$_-6%hXB`%>m?>*!wrF>z!|nA>)iGGEE15o_Y#<>Xk8Q05P{9DP;7c#=8PmLElR8NGm$3Z$!q0@!C zhUeKI4(J|>HFazc1p%vpIxE`NfsYgy=<*YA@OJt!Q`$S%UDgfnytyLYy&q(x%QW{r zF>?aOXrjEiSy^5zwx(zd`3Haweu@LBbFecu>31PH2p6V5_jJ>C28S)sgM^&cRy6=K zfDt_`)lE%*T>FvrZwq1L6WPeR6{q;46Z$WP%o7vDPSTR(Ue5F{I`}OFlTsBUlp`4S z=(|tNgV3m(S*Wv3j^Vq3tVFZKwSy+CI$jO!GD(HA=V?zfWO3Z|n4 z6=^_~p#}-C-k{u8@n%mh$i&(Pp*jskk^l1&)1p#tMvOIgwlD_o0FjiV{d)lWat)3^ zE1)*pr8p_)L6SN}j)1WwJr)+&HnHF3fM+l(f*W%-TOQ>Qs9|8CGh*p|fN#bJY>3Ds}&a zhz}2N2~g6`!`@<4P5K_KVpG-e8>&GMctI8R<=H6T$Yuy6Z#!UHM>LI1`Dyu*zaq(U zXXBJ%cCL+a!Y;!_Q9M`fdU*Bt3YF4-R>?@fPz6m>Xg|%gWuVJy@`8h$_jatQZ)<>X zYq#wlm$nDb3sjv|hCoAmNOJ9HU4Z_wM%V{#WwDS{Ma-8YLfj&J))>`#=2+!|5m8%Q zpkg`3U_PrsB*-yVO-bu62t_Ba{RXh88e>neGq`)gTH94$nPWkkK3yZ-;5^2E!YBMV zbBs~+dJr6htTgkSicP8z-BU}-cdM2gI-?;x|i2fs=w7njSIhy0o=AE@9G z)tUXJZ|TfYH{ZoR0Im9}tngr$k}z|QKzkg3Hw!FI(x3+{|XWC2=&DJx{LuL{D z2{DNobLwDecS$(qSe4r6Nf$<u+m^bn&_@=b?PwCy*VvaEl9?z`On^TlG!C2kVwq;p z%xdt-_2qJ$wtl}A3s*-<9Sg0cT({MZ&OA5!Rj<-=AP%%V7pI8oIB~cRR0@DQu0}36 zSQdlHo>RvVLzIRtwj0A9|9Ym55U7!n7QJAJq7svoV#7#X?zF{B+rdscv{6O%Zm3s7 z&{75K?+_q3Vcgj|CNJCILGn~?zv;X=I~Fn4#4rkFGf}Tz2VJ( z8ablNd4*pia9bjxQE}nE| z2^MvrqFQCgb3y z(O7^4%B*HKQVnn1B}LDKd{9x$)K;Y1ux9!>{;Y4gowm)wEu8our+m};J-8vEC;F~A zbX&?Kc|mE~od9!&Dr)hKUDIDmKVle*-V?PFCih7#JcAn}wBRw*j8|L~G6_~h43Oz- z*ET#t?G)j?s_#&?$XHvLauaXW+boPF}&`@lSy5bJFv$DFggOF`^l zWc}P*s?*{^hKfSh^moJ=!%1^b;g42wcizoou1s)T4j_ZzYewMH?ua%JRVzZJ*>^it zeJc^B5WmWFIKR56$ydIMyU#b&qydo8X0I%QjSlVb+O@d_8&X9TA+xRzb}X06@k7IS z%`u~4*=CD%gq&mRT_5TF>#&uVXIe2}wOd_P{c^IgVUvyts|%$casUHt9=@?7bCq2f zj{9Icpmrf^5>l8f`g)5w`E9Y_m|4Bma^lcawpJRm1D%C2U0_(4TV6EH@xavdP`R2Qz(xoNfqZz-xCD_@T{Sb~`Z ztM7buasvOD^BX1GPI+9Y0VNGTwT2%Cz3mm^F=;7CnhL{?x+P#og@L10M`6E8D=rc- z*WY3{hMuVA;1{bJ*IE%;tQss?abIe~Lb+g#-03{fal(xZgzW{=*7EpgeH! z?H@0Ssoae@gHS~h8a0Z=a+0tjz-Bl*`79mWa_wUg$~-cSse69DMl_kL4OMttM|j#K zrfit7!cGO={b1ti!!3jpG76zokLplVWm+&8CK_xmW_tt=zjLx_%IEz=SGdR*{^CqJX1e^OKZ?L~_4;h=GD_>nb= zZ}`dbi6)FgTxV?r%lR)WOFVQ_ry2oygSf)f>;#piv4CZF@~ie-Nu0?Co6oB}Zi${T zwkb2Zc92DOC#z#|SLXoZNsSFREnopDFUzJGfu8a+!S%Nn8An`Jbo_T>#=WsIrr~Mu zD~#9-rtU4P;Ztic2z{@9xpOKGj{bFLty{V^ISRxbK|vT1TfT+iiO*ywvCmWV0&?y& zUr#CdN>|WpoNmlPhV&H!=M-OrC5I(VHRv!?m-J`q@X1be#i409$yKHWdmEqvuOhgb z(A>j~+D|L?6R0qX)IAiJKvUNPYdl7sO&jeZ+-(($38FGp*Gw(3xyV%g=7nnB*9I#d!I8D9oa;UZUP|(hiG0(^1 zF?i%|P*_&>|1Jw9(A3xUFt7T@@TgOpf_#txvdaR_A7v(03RU5`kycaVDjXjW_%-gN9-6NX z68oNzKa_`tPS}+dXr%t^drJhqTTHH%tliUmFY-k9 z|LZyv2U|NrXc7&lhEx%&hf*98HS6zSG|Fgd8pAcRRN_3jm2;Jj!)NYmw<_}X2XU1K zN7FaCXzlwS+dQ*c_CjMT5Kl^|j$yaKK5=&@6SXtJs_@zI51}?=nMk}J9GW@9@Zv8+ zBNCrPn!dB|?HjwvKo#R3=>^Aw>2myGE-~6Rf!P296cze25 zwk&ik5xJ+!wf#*XW1*yRwyF#`X^f+W3|#++UUaPtM87ZzXyir+e3KU~se>rX?Z#W5 z(C+EVuE-rD)&4Clgzczb%PuH+a*?CZxzkmD%vFKiBi~2OROm8;h;m{|2e-m*ZiVa0 z@16KE;k!?ucL@5>%PlZ{vFRd@X0!5&Z*NoS6VmjJuS_+?4 z3pYE0fQ4rtMr52~nXvF}_0#eW+-$psiHBdUr~1Y0w?3nrAda9pjCyF+{7c-z-TdP@ zwvGPf-^1x=ve$3|{mOnWbro0g%xn%`vPpad%fPNt%GZW^!+{zY% z4+G7uARoP4TR!Z&X9}BRGR?8FK+Tbbdt_!h{#!s(&4ZvXN5xaKP*?pG_7}|u@epGZ zfL=t`LyIi5(H;;1mlC?_JZj64PwHa8c^gF(oJ0Oc>=^5}Fc&nhcgojrBD`*>%a?gidGlUYP?JNr;Vs#v4dSKI`n@|y3%-GUg<8+FH8 zZ*ry#3~hrmn%r4`Yji6(c{LmL;5<3p0CvTE!Dwfk#C^F!HWlTeWP67iNl{efV6jWCWK^Q1UOdb*6>j0;MohhOeqkOIV!aHFa?4ZAtlJ7?c0rhxH6M z!kUyEH6wAFNu}t@5@I-vK=@d%j7)lPVB{}9=8MTAL|_*2X#CCpnUCmcN`>#4qRv=I z)|6ny@g1o@(CN^}aWY9E!&$7G@nUmD)pP~Ni9hecG*^J<9q%Qf!jN;Y-DT)|#g&FB zhw{iyO&jIL-B%y?L$t1VLmEB5WYemflZK7dKW%H%eG;#jzR7w`g-2HBw7%>nI-kNo+K=r{+%l=hkw%|1?}!quuZ`1g z$1ZZ#j%QHTI$A-LfAUq7t%+`^>hrIQ0qxa!BOEl8QHQ3h5RLQVmCdm9nrtyBatcv; zgjOBd>|7$1-^-_t@PFu{OhQ+Tw;AhVo3w<@oY(Jgh1=jj>&x`z$o7QW=juYU$q3Ze zjpjOG}80=hYzY`+7DT<6k0B z_>IA_O$a<_x~t9J6Y?;-J^SW&tu`Db=@C1k;r-l6OhyPU=g3`#H2@`Pb<+0$?G)Jz zPWj9Qs1!+=>kqm^D0^!g*U;$w{)WXjqX(v`(Krusp-S>yUXUTWLXZ~(kbbwSfNb*g z%UQ8p%*s~GOjW9)%9tQPoe}@ptKusO5VFd?wYA_Nf@)bGfrnAB$9#pE5U4eyKEiTc znd0~NfixBp+syH&LSfwhrmr^?zCdq}!oyoiCt825J+gG_&AqB_YS3WgH^l6fuNcHX zr-ch;=K2HAE?mElDhH@vB`>8n=ECBDlaj9U+EyTpMBs>bmH&9}Z|P++%xCEX`;tCR zni><(i>wq6E%CE0sbB!4C!g0q*1(+4l&Ti^lX5?wW@Cv>j=Q~bu1?lv;BCbA&JbWk zkX8?)-qIh)^sM7tN96?hDkAR+cy)DH>HSK|o;26k>^D|?G|-G8#;Np3wiul4BOcS_ z`^)S=lcx%pdCHk#*Hw#JF)pfTlbn|9wA3uLZ7ty0q?; zHmSgP3#(4vpfi9ml7A#LD~a{8N_dsMo*Qy$lY*{gfi9FOxP(Ai+}ec1(Gu2CFPoA10(9Npl4+$>GY z(~G58pJ;+xp1%OYFULpW63aY+RBHV!bXWG_JJK9>wf+J&IK^;k)X@aL33<_&d^C5A z;n!P&=--$u-G+ZuAjeF^Vo3jeJf3F$=GZs&^*(;QLCrDxIbbA~HsXSS*e2W{pQ$p}0lLz= zxNKs zl}2@ugjY`Y_nh)n!?ET~OiP82cVRpDcj+li)H*_LV;=jX5BJTojE03PH>6SW1zH2y zi11_!;rCKg49j-!@^@jm{0@lvV>lxwMo#-R4}z^NNxcd8Ki&Xc*p-;4Y-o;SCKuXG z1>gamefgQ3CPSyU6s3sqr%*I6Sua0h8<8^i z&w$fLI0c#jk{k+1^cuaBYH;Ax^NZ)*rbEl-XR?WGE_UjB>p^E?(2M5ayK8*qmXOi4V7zbnFWUbAFo z&TqGwEZL&VeKYt-tCa={@7uqDo{hm2?Ykf&VnR5tJVJGs9E!sd(`Nj37d>&EEh>0m zq*LY;N3w@Lv7E4bFZ2D@{rSt;dR?6L!15UYV>u_JVW*2RfWzx&tc#HFiV`H9*D0w7 zj}2n25YI|H0>ZO+onLRF@$9?sG5}9-RNW>?oOlA)(Eb+z{VD&rdikbbM z)!43I%!!1DEQKR`aCwq=tn)+r@>r9Z`k&g(4NDR?hZy^$Y3&Vg5*I)5@IXh+ zM2U*vGmJd`6Hl!10Cr^$&2=@k@m)R8qF}BqFeF&7U=@EMHhSzpOC;4wrc_VQk>+qs$Z>RG{>;U2E(h=rhmG#(L7D^W& z{2~q&RlJCEU!}Jkt0rPFsyDdZHE#Dbq36`bR5UVx_kn~yn&H`g_5rp57bd2MX7|Y| z#28G2>>#@KUv@N87zQ>p^IVwa9GpN5%H$6n!_kDEU-&vDYq+~{8TPIYTBpzD0Co7L z$4mnBA#PnZ8=O2Qz2&igyXHT|Fn8~TirsUN_-Zwy;lz92V^Nir%hr=m@k$LQ!2Y?& z2-978fl1)GWFeC_Zv@K`G0zYJax~BzFwyNPXG9dQ+ggcxHrj+_U9^(7nNPb&avhaD z*D=8^uUCQ&F}SNcU6GH!7D@2KcglD;rRVU;WL?rAvfH15Eh z>GyxjDfMqf>ke$1t}jS9s47v$Klh&2uV)AIRNZiDX~BL7(|Z6?L@jvT(fq*W)46F_8CW< zd^}AtW`%l-&M)MXbd+1O9nf~f6oD`EPkzOJEv<{)&}y4x->R`5CtL3TDIbww%5JvF z+UVVBc}-;D0Lg}&bS6!&mSEow=d`R)hC5DjCs}CM^S8yrg-kK@a{h7YV(fI96jHD$ zDvy?oVmztDwCK!;SIJ#T4?!bAGBHiZ<|7{@dA|xx9U!xMh}WQ-RdQO~Qmg)SGR`yy zXS>eV1)`mi4l>D`rH^B4XlUFtvKP`U^U4WWo=)bmNls$J@h^xegz;0!CO{Z+Jw{5B zdQGwLov&tc`WkW7zDn^f^tiWlHu8rhr{TF==at?@`avb9$_r3G`hnj^Kg7+b+q;PDe|n#i;U}66^82ZOpUF+p>tF0EX{@ z??gTnqR9Rid`?IKuJs@fbU6w=(pEJvIqi-HI4*cxGdZb)nU_UxiR2VFR(JhKJJ6sb zLvmb=>`hk4A)~e4Z}L#f>(HKC)~grEDNvHk3pw4ugY`57Frmfdg@lMa+^<6JqDRQr z?VTxT6*5G+zw27wGDv303$?~kLo8>TPf<{O;#_R+G)KHLShKIf z=NZZ2MP}9(04>S0&C-j<7{`>frsUwSa*o%bD-sxxzV<483 z^)F;7z|&rGy#u<%iaIkiZ#PcJv{}A9X&hoY40Jxg7-_LvXBvbS)$^|s6|#ISm-0d5 zkhbU~)j~YUoFNBVzCu^@Zm52JrvX|#uh=mIC<4hT)H0<+T+h)aq_3*8Qidg-qkcu7 zPz4?&IUGKinUL!n(CAdiXVm6kO2cw5>JyTKBwxjISTqZHn_(H&^tWAGuu;|8dkV;E zZAY9Zt15SRD-7zq9PMsJG!lZkJ)i>Uwre4m-J*}P06Cy4yF-qN?X0&^MkNl~GG6J* zdX!@iO-v|5o z_PS(+6o|B$|5=(TL2O9Oecx$ba`@q8{G|YZ3S5uhHmW_d9^?>;HRRfI(7Ofb9pqXe zrh#Iy9CF@PuBU9~OR#!ady#+KK}#jRi{!Zbsd>mm{}4ER)-URy#W$Y@qK-L~d|RQ# zV`?hDRkj26MnIuVdkpy^X$!{$E<~R00#QLGd&_znZ7!FFCZeu;%X&a_)7uCwe^(Rz zqXksWbbPGUtrLeqVk@ph_L&v|v?|L1=k4YO6nC`qe95sKR3}VM2M5ts!R3I-DuA{qbWt z4EMMsY{u#2)hlamXr!U4)vFa_?vOJiZc0po4u2=a3`mgSmj?oH)D0)yL^{CIoVsyv zY?OLEMOGU0r1lt^BWJHMtOJQnt*01i1RWu-$$AT_@m5E-wqqt11>#D7X|~2smk;k! ztaOsn$bCJ36>ILTHrh1!Gc3)@pdQxKL^-3xNn_DmO@_Z_1FY|Kt=DSGrj_2#e8Dq7 zh~SR1p1zkh;N zjfkmSw(Y-ZS`r=LcqPK9)0?FXz1Bc{)MlgsDV75}XgDRc8S9~A+zkUKwItnNtv%j- zBKnRfUg^4#5h=|ZBP>~lf?_p@Cf(W+a$3O}>kY?LT#FK1@3jl-akHYYjzUFdiUI4p zAp}BNX?|oiyfl&VpR{9E6h!StqP+c(;R66g&_3c?dEUi3Bb$ROGZCV*~r`3b}E=vfgM#b_sExz>Fo1rluKk68>|Ue2?HF@Wf+*jH%Kc z$)9pLy_t-6k{m4)peln{8be7n#+Q`i1Ja#2sV-I^-d7`+)o}FN6YGiM=4zK5To+78 z-YM4|O#t9?8ofoG$rD+=o525VK(#zF;?Z@98Q0NRZd?J85uqPR*Q>CcMuccMb@ZwB zmi73UyRJ(PF@Vf|57yz?j9hKsxi6jU`b>Vs9x3^x4x4h zAn*J&){~l)fxn(JDW7UR4K8!PpTA@!W%ui{qIr$?r>>Dmu1Wb){SB1>S{&u6`?IKN zhN~(ulmCWE_s%_C;x7LiyHC4=_RK>fnv*6S;Fa{uM#YC%F%YneN{axq%KR}#Frn)J zVxLKsC8QWGG=c%^Ti5{lldK|K0l&+U>6dsk1B};g5Y`a~XIVQ6rr!YL*Q?XAX%N~9 zs(U%j4CyM=KZbu-2bb26*Jil$YDnnjeRI~BXbdrucjK6H15c-t&IE>^B1s8|5!o>K zhFCtot!vU5G^xz%KCzr+@*Zvn7k!(HG81y3Bkhty@PXY2zAA(2i9>6NT*Ngk8Pj~u z*Yo8G(a0?a&rEK*{aW9ewaGMj zX{7#qduR~IR<4qR_HEHF1SpMpmwaLtZUyZ1TNI96!1{8x0l> zYK9qP3&@AecxO51;3~SKtp;OYC8xt;2I7{MCTW|(dJ?~&5JO(9?jm`&4;~+ip9s&8 zG}Q3o|43eq896=*?VeN}Bsb;g z2i{l zT&!P)@NzC;R6!xN*qZkc`yrvtNp6=kR-=vv=>J*|A)Pd9!wX!)i8YaTd_2}0tx$7i zN1PAVhxH)O*Q%Esw7zVA^CVncXL_CViS*lBHyBN1m$zfg$1pja=YHKb$@~n@V*?-loi*-DUaDV4-}028ZuQA_p?u;FHQ33g;hE?^t1hKREn zcS-gJ6XeY>Obvb!n1Vt&h*WjuEOKut-jcE%$)#rQVXx~F%eluKHGam zPi*8{)?Y92E7|8W>A|YMc!j82{(Rv%JUaUE^F~xff9^&vsr+;I8ZJ`(#ct>F`pEZ> zQ?e7!{rs5F0{!yiFK@d0$6=Yy%k+=KHQM;)VT2X=7l#*8pgwS8@*9^27BrBCTJzisZU}=kB@|f|q}Kx`sB% zzwnH&oc#|+de$hg{&2i?c>DF3yQ5yI$o|u>&)^*VXMMy0CAD>h2ludH&C5^!3^O2j zY$3mgB~lylYd^!7IwFVh8TO2fJ~H`7m^9P%aX+J~)$=PlyGLPTT}tpXYU@Ek@)6|$ zC2eV6&%Z^5aP^fdNWDjqyViXLsrR6ByqQ2IZDV4YJhn1060 z#*1;q(zg&>cdka#<1-}pe8azfMDUY&5m%&s3;0(Gm;WO>(1ZKsM=n8EvW`psPCaaA z1^w4&rh**1QE&e1BeBr{=+<TEZ0ZchZ&Q9sf!A6Y=?#=PwHnKd+u{T%XJk`dZZ zzoGY}Bz@*V2l|o3kle0v$*ugsMEQKlU*(bvw@@^q-O4N0VbcSxdoRZT zBywhxkLryx>&9bl)gE$#qr9p{uj-Jo`qijm-Kt4Y?5C?3dn-OcfVgVZC~w6oNG1AS zS1s&S+~Qo-P{;RLShn`beAU!$wX;^Djq$V8Cgm1J?6WinRl%#&b}Qw{2Jd~95O1YF z#a{tx|11@P&v~uCl@VMjPAaki2>2+CE_q6xMEfkI zE=J|fkl#wL^wh3v{jF5H>66PLzm;}3laKyU3P#IE)#qM0?!b-%#&fSU(@06HOvqoA zX%KZg`bF-QY$~`lLXmsr+XfQ_8t_&rr)}4m-a`JWtQ*@}f7Rz-g?K=E{auN_>h?4X zmiAiyD)SHef1;u54GLgerw^@C35lHF{ufXohU#oCDJF z0zZIqAnmg*P{f6m00Mor#owV7%g#!=VBQZZIB5Q~JEbFVs(WM!6C47fJ{|?H=IxJE{nlo9rZN zA0Q+GxV6?Lzd%a_8H8+?`~o>G<0k5U7;c~_+;RPmeSx1|AgT@PZnR3=L03kf6Udo6 zNDI(!nr_POpsrz_UAyEj5E#aMq}Ov^pfSVA?0tdBULZ4ogmdHz#CCzwCg>_UWkY^} z*rtt>ilY4u^fsAdRsx4}2g%Vxkz2mxFHjxaE#^%B>l1_r0YVF8%?-0>EyU%8AACXl zXvFL5Cm@jctzCH38-CC?ArO8qxFPDNZ|4lYgA<3P^)KMx3(IKqAT{#AH|V3?vF2Q0 zH>9M2{y|oT_yw%oHiG%}^cN75CZ5{Xg$sQFH?f&L4BQ>)363#o?vy|EDsJ3xs`ihiy}+~=tQ7!lcZS|O3Klr;4w9ccYSu^_X5_Z+AX_qj zDe^RTP%a+MEc1H)3&XpN&}3Yg;tTT&0-ebaJ>(Zgm@$Ql&Or7ujhwQH0M@%qM4Tle}Z8>{DA`k;N3^;v6v`v+eUzqXgUAFVWo?jUAYOYe;i5n)pTH-Cbgl-si zb02dQ6K|MzFx@)kFG&4`k%vTFacHc6W9pe2m;m#J{DR=yysZ^j^&4a#w)DCq19gM= zGfqq=&kKjIh5&|_rJVoKK0uGC5vqkex(#Sem9rV`L+|DU@L_Zn|LA2Pw^(yz=WeYJ zHr;Lo80p<9L3c6yM>)h-V+An&mE)@18ZpQ@5>)?e+^}|l9_?}c&wOvdD@3s@`P5=k?qfG^Q$t#Ma@2(cQ8~`Xvhj-6Uu_1M>w;w%1$eA$tl1EPwtsc_| z-%S4MK|&7YMSR0o&k`*o9K<+huO27lQs?XSoal){E`5~S)%z4ZRJ5c}74u@{yXVSU zRo19i>sGXAA(mge^VOmiEnRfHfW>at`e*?|-mhrn-7$uk!I=5_tI=UrvMcC#n^#Ag zx7p-WuEw_LU_*|78NEZVhPPrYJS(E6cY_?=J%FyGGwjt+M>i1s)cg9o(SKL)^ZO3A zvUk58O+^g&DOcNH^!L%5B;#;bP9xaHOF2}un>+K&3DMJrdgvN&+nextI2j6cqG^#ZaujZGPz4j-FkQd;Y%n%~4dbr{bB@c*uLkz3A)U%BWH&YBR|7kRXqpgm$ghU?O%9WRwP`IP;O-tUVefnLj0Yfcx{LQpCorvtuT)C@tv zfE*&Gb*&G|2IQoP_9YLB2NWHY!~3FU2ucW3fcPXANs{!QS4yf>eP zd!ze6tRU<~_Yv$Mi1B6X#Z?k)B4#w`_AMa~_7UX3?P`dFtOW6FE%Lf=auXV0*_nA! zqy!ZTa_D=@wLYj*uwhalQB-(Stysfsdy)6Ns9DSw))^SlH!kg*FJS?unB@bpC96MRv z;DmV*=^$R?s@=YccZ$uBpE`(?fAJ&P!71h1;1`{e-3EQx zebFpA`x18?S3JJ=i>wLN0&{+FXuZju(0_QGJTi~H*0%A&Li|NKvGEoit?dQom&R9v_x zm!fzRcTok-k)^)Td{IgT^>ERPU9@17G>su8=%TFPh!v*w#ZkL}b?e^K;ZlzUc5-9Z<6qv*qD)Hm)wDgCJ6`moV|eNX^W@!c(O zxHrZ?lArapI@kp%GtUckeIp~pfn_Rm3wcl%GJ~dvMY<6k;ugv*dj>P0a5=DXx-GEnN`)4cdGY5xV>w?lsMX&NvjM+@eS ze{qQTD9Pno(i=DWQ{Y48z5HTJweIC`jBn(s^wHE3mHrzU>$2QT_**yf*5z~d zUgWSB*(*>ih6Y{hFLGFvYrQB(Ze+5QJph6DF1*QSnX5p?^y0j|xN3p0k(HVuzqoBd z!qst+!@jw27e;vma{k7hOPBQ=(IbB2+FgcKDfOcAy|{U)@=)N~A-|}6K_>#z4e`bN zYsI1z_>mh^Fxbk%{Em`IW_=$t9Xl?cpk?9bqp6_?eYWYOEk z=gfHZH@P%z<4}?PB%@}^17o9V$S?A00=aP!H@~^AsWH~JU-F9^8zDlE(uUba zwz6E@*cbPpN99B~NtDMd5u>d*k7(?Q_uYRNxFOpjobl{GtwL1_7?$CBLY~ zwW(@?btU53S5KFL^MfTTm#wTrLLnU{)_i&p-CM z)&~l8QOCHSaL|ZbaBVEk!!SrrX8)g5C0X~@FEee}EYN~H0c?+Kyl)6J6%=5^1 zk3o|+rg|LM+HH#5zwXTT9uYCKHsnEs?-5a37ZHB&<|C#V^2N&^Jp0IHtO9KM=H<6Q z38v&7^5F4Dj<;Q|=>b9ek9^g2jT(p{0l4aNGy|#dnkisW)f(4;gVzXxVuzh#b;x~U z0l}6m?M06N8gPJ|DPnO%u6YQS*97#jLmcB1ESw-)cgcO)0%9n6^N-;So;Dp(HGL0r zuuzVx;XC=7{eYZ8Z}70cW<@xQ(jJb;e9x9ZzV>CC-?JzzBwTsDo*%O-kV|pR*K=al z1#&_bGh^@37{pp~S)Iz`JxBvFmDTcfpSpom7R*x#?-?D4nMs;r>PAfTutauQG5X{+ z|HIPWC3(B%ds>JEgSqT$;z*1Zv7|Z(i&!0lNDzZ-^~pA`u_cIYqFJntAt%LLo#Kdq z_ed1NQu&E)0p9~u5I21E{dFI=V%3A;zUF&23sRDrJ)RMRToBWSXd%;k?2A<>wteI%BR+%;bq|g7cfdC-@*n5seVXydT63C};h;4F^KnS4^6G zPZF{cQ8%#5ZR!xxNnA9)?jwp2OCPxId(AU4sVMWP<8BB;dojxS$HL=OWJH|o3=Q|-*DCEPmUc;a)hayGf2j?|93bFLQ^MAev zO<9GFs?FzED#S8_KG5_%#LC2E(8kw&BnOFbyaJAFlWsxrW`*C+#y<$AC67 zrIK1%@jcGX5~k6H@t*x=S>x3_Abd}XGXlUELHV94x2;0tm4@34I^zU}sOalsVx92? z6=%J^&9{R;H!uLVVR#&^Wd(tc!FhbSQJ2q}dym;$)|jx(>AMZ(<39v;(7x^y{1ynI z;Z>#ExW8qJ-1Eop*?^9=_x7sWAVKS#=*tI1zNQX3W5V*!@*YuW<*nwKrT08TqiW~^LY6-gwe)B^?2#`$VR9>VHe+D9|ImiMuLdV zUmxQjZRm4$u*H3N|N;414x5^AbQ1<7wyD z$AnA++GNjB-{xs{W-cTT&TrEL%uRQGwLQ13=h?`?W%XFP0n2H)GPQ{EfLc7J_LM(s91!inT= zV^jedF)iKR1Ap#|R3y()4aS&RMgMAm)2t$Acl&wHDO3*HmPx_I<8JJ(RD*{RxYlXmHj zXv5j2ZgY8QrkKlz^}UDq4pdHZHi7%ZUvMYIJ2-B`fz4NOyKS`x;{X8cS{C@nTl` zdx$j_4)k>X`WSibz0AeOqQ3`ZL*>s%zWVhsP8&w{7G#09;oHXcK0P^d8`ZsS)}6PU z-^O~Ihg!V*_cjE4)7n{GMcqb*vwB32y=UCo`mm4Q<^`_U` zsB`>Th>Y9U$6WLc0QH*k{+^<~p)IT4dwQF>j*H3=1AF#+Li?tWG#vqbo9Dg_r@3;h zzJ|ZE-!xONua8mjR+-<9m%a^_-&VkgG3xIz^xF#B_T=}-`fcezhr8Sc+?(g6!yIC= z;KiW>%+59YP5mJoCd(<4o$-R!qiW2>xB#-&mN1|cGTNL0jOo+qfhN6@om#h#cvZ0|dh64hJ z;XZSB^|G!GALp%N6amE}?wuVQ+KqJbY_`j`+EHX|6;d|V%C&>Z4PSiGE(UGai#H-xL&RWsB!$J?2jX)?;zrfSYhZ4R{p zO0H0N`Dz@o9jg<_2wz>M7xCC01<~0TCrIy_izjK4<&5z;a&xp7k*BUPr7wGF43Iig z>3ww{(Lp?{L90)vov*ui9gyClY=dbGovkZqYMa&~f;C@Fle0O0qZ{PZEH#LxDcZKLmkMv$M`=C^>8sT zQlBG0`X$9PS~J8(OtW{hhcTy#(dU{&4j7B&8SI!jK*NNKeQ4;6`3=*9N_vTy@D$Sq zTlbOa!$?A_3n9ChE+lTrzE=C?nKk-|Xx{O6mapdoRkRV&fiT>SmGUwB!*Ef$L40)| z(~E}z(^6So+-Wa})j5&_+>|zQ^3^aB)p&@NUt&h0wUr{K8FNs%^dSt@-B=qJ zV0lxYsF=Mpf%7lLHGHGsdooka40bTJB|Ol!{Of|38*|6%tJe!x4UlH6Zc)Rex1miN z|BTp%@wj*b{EO8kz|4cRqdt19&c#V==pF(|7OUYjh}E*+G(5Pt_`G=fCZ-vA7w2k+ zwHsN{%Cf}?_n&0@9Gk~!-}jR@aJ{G9E%5!!}i z9(Js5(dI(eklfG|tGgFoA#Q=An^>FDB6|MAyc(dV8-ET_kNYO2uDfc#5Ih2%*+|wL)1Z zOX!r_b|2U1P9Jqcn-H*qYc@!;Q%RE$3CuXc*~<@fr%bC5nb_O(i9eD}WH6qXx^pZo z^kDS3GTvlFZ_sO~DD(6zz0hg2>~(~gp3CgwnNoahDah%cl~#`qNY2D9aBDOM5mUzX zhaR@OI5X|XS6{5Rv;`5j_+l`gmLIbTG>X-I@dC%VT|DrQ^QGYYhGK8%CK)j$MNVIK zam51*-MN+{A?OK`Rm(n>l@><3TsERame_-DdU{MPV{l{~o3G9*<~z|4ggNomg(z&g zSPCCy>;qVugEBBUs4ZVj`or=>-6)Vs^3_rx+44k$s9X$R-Hkxn#gpEc8Pi&7{2Zgo z?A=3N%l3vCCwF+ryP^=#4bd`}FW!ZgITs_{Zb>Qanis(ycWdLf#-)M->f#}%KCCo1 z*e?t{m9>PGmVe~QOS|!_hLzUtna-jEh>EZ;mTB=!tR*s54%~ej#!+K+c*e=FN9KN~&d*)A)Bq=}%-JOwpZy_?B zKi!Bc-1!+Eoi^i|?>=@|hTDrB4U^aSy zK5)Dnoj#=8JdMRHV2eX+q(Yz5R}YBGL)=zc+gGm*UZ9a}gvNlXuEQ*VD^lJCjgRFdZF+T3_)zS*yAWoA{Wk!_cTlfLyQuxan9z@kjN^YjWF-8~B6vJW*UoU&LBW@p*5>NCwNvmj%&)G&b1 z=sR}C8G3uTvc6gl)-czR)*for%hO79R@-VCB`bQ#dZXpnnEy^=Pg*cAT5gnfh!9hC zE4~_%hvHIt%4(#h#`JC#ca7}ue*?mO1d8C4iFJ5Cfbd7Evg%&nP%1GMcE*T9oAb4xvhrrH$3rIv$ zKQ@I84ukAssW5wKuC&`W`gjx@CQqkotpK z)S+`UuaWMZVHh~Xjke|KVySEMWSl$3Ywk4f;1gyGn@bL3Pwx&)b{&Xw+9&^v>+{u|dfA;J_wsa7UJ9J)p%Sx_6BTnNEP@Cv*so?}y%6x-i z7KRnAK{!a?PPX*A)4Rxhj@1cDpc#ELv_c80-F44FBD4Woi(HfmJ^V8U))T->2z z@p4Bh&b~v(4$ka~BFOG3o&m^WIi8ZTyPduYSHYyY##n&}zLtwA$781fNXq<}!J}Kp z84L^wS%Y$pW*t}vyvt@Vm#w-O>STl4PSXXZ=4jQSsl7U`k&K{;$=j{Ayd_6R-*YZ> z>I|DviI|Q#^OmZS&`v{enw@j?T)p?F`uJ8lIL!1~E9~0M$G0X+{h2g@f@(geu}q)$ zXe9nS+qg%Hlgn8I>CvH!pqZHTx+x5Lbm*bm4i#+997l%^&1OBiyOK}vl{j11slfqP zazGR9IW#YMf=fPXEUwo6?Nib+W$5YBK|_q^$S^r0#O?np?M!wqNscSM|DWP6rA4wL z++$p_K#72WUXU!P7lIZ9Cl$e@Kvh$G{r1o7n43lBWkKi`)vc;S|L+ht!UwZ6+@>*O z{=Ynv3}Frui`{8`dvj?hx*XV~R(wO;Vw-woIWYEjgAq{MJk-q}juSKmylq?oo7|D* zKmrZ;Bj5zaV2M8GDMC;m)~=3(cIaJgc@hFE~K;YNKXew z)W|Yu@VMnSE97+FZ6ZR31ApPN=I_>(SB46QmVdWaF`Yu2aj@y3M}8@9Zg z;MW9b1~W0Zd75 z%33I5@P<}LH_9-(aSX=l)9o;f=Eew+#_OV`b~(Co)c4T59daEg49sPbAZ9#v)^u$M z7mcrJysM*~t6-c5Tt9qVlF6X8;oK7WdYk*6HB^hsZZt9qio2I`8~cp?FcujC)^)W7 z8L7>XuFVb1-Ph>jxepZ4Fu;_YG}s85&1Cck+=$a*7(|fB8q8~& zlMaswfMpf!{MTAK^6k#zb;=_~LUna|Sr0)yDgb#SBtSGd+N}DjQP8hN{c# z2=>LjU`W^*4;-YLW~xay?m%GEc!UhT-Otqh+_9m<7Xf1izZs}+z_BwM1$6hTM$_uH z{64B+N|!=i)2L*abpsTCJNY&9gIbjiICh*)D#Y*fG*3A*hPZa8oMD!Qv$SUe9xmB3 zn6J3F?Zk$d@Njsi{(YN!1w^DSxO14?%M7-LK3yj5g1t>0#WadFd0 zLmUd#c*OotRI%}TQ2Zh=w9*1}d{Je(K^-sbDk=z9pJwFo74vl5Lg=f>@yz=%A+zP7KJc5*uW$ZWd;RP`=lD+)e&Bp8 zjWa(xB8;`I5c_5{q7nGe_P?)#{@_goaNMwOMw>7b+Ayv)pEz-?a5JEEzZuQ}l*s%8@?XBnjYR6u6sIyCAqx8v)bD-t1!GCkbEvXJO2skKaNHqSC)5zOvVwDA~kLX>0 z+K^i8lmY3gem&ld3C4a1v$XMi(d8Ydj_dtRc(LMd#(~&gpX~6y$RX&i9{XH#OKoqBk`)GQq|pu^@GR_uJFXg^F$-#awULdYzWXSseA&yG-)P&+ zMHwdT{r2}~;T%iz< z*3sSQt#3ZLS(hV;G&wI^nhk;;Y~ptpy_uYJ95{@7v9|JkZCA6-sTaAjD}jR)xzFgM{17gI0ug>@OV4@H`D;lc4wW>h1>rP z2lnk?V=W?zTTRh~Bi~6~t-t%0bP}KlHuI4Fw5~?{qOJ0Grf72~zQ-pw`n6k&9{94n z|M5@kSo#f5ok9#&YcR;(3|=^y_`Ee{YYfz}_%yTpcaIP>80aK7Qu$AG2{y_rsQ1hG zU)VYPvJgx14t5p8Y!^2zdr4vWYJhcOBM`!aI{~%^!Q7M9^VFmo+Ny;?7gFE_E!e{g7Tw~}JGAU$958ADS zR78q>4xX%5_frs$b~0o686Z2qo@`-=0{3_{o>IKo=K?Rdzk4`)hXwd@}d>na7%UODqsP|IM7!j!pFcsUc`)^lUZV zBKd&JJl@gj^{I8?f*ePvr&73se3CMmL_wkc8SvO7IZ-CXOjc;bt;Cc&Q!~de1LM_& zZBqfrkA9JM`h~>Q^zL+7Lm?}rt(WX~DUOS79uD7%CjRww1E6s?_M~o3QyeOctkci0 z95$fItfCuL2M;(g%O&&mVjKc1W?j5)R1HXW^V3nJUok$Rt2`c-JMb`2p_xmnN0_{X z3kw`LYEYrU|2Q8bRm_f?K(L@FGH{JSjdQchzeCA2nk*%3w z(RIHAK7LhqNvu}BLtFpbS^|`*T*x6re&Cjj+6Lp7KcD~Y$Csb+>kp8{Ma%~%8SRfsq*)j&l*t}tOLHC=v#CGKQR4(1kD5G> zWzK$rOt8R}(WVwBw%M$-e~qj`Yt7Z)|5>NJ>; zcWHL_W?O=t(wKyIq3U7a2evlnxn#owm25w*XoILbLWC3d#PzDJ6q>iR=7g&4a#;eR zlR&da)GJc=hpeZzJDDY0MRce6n(7p(uY|ekm<78~HKAyGGl{Ex zq>dFGavGU-eP?^?G7qsUQ1!ytS>3DKk7whIKK<6+xpFqy%@7b3`6Gx#&y-hVS*|@G) z6}@W5^K^SWe^O?9^fZTTr>JBv6;8*ttL--%uSmt38%<=BmYw$67PWuX&^?Wl*rHdg z?yqaJPQO29tN3)2y-O`&^_9(bOiAI{gg(vCUA?#2u{LY8#eJBwy^SH;Y3`1-6@D5c z**BNjH%D)Dbw4y^liebVdS5kG9r=^)?mk~Z?R&I8IJg@@VfOkF^B^zjugVLcoC}FS zlmn3n4$H~*aE@dgaGoMbU8v{@=w$kG8Yeor4A8g^v0an+aF}Y|cMeICK(f*$1xrE& z8kEyQMJxM)6X3e4P&&ezI{wy2RacbHsY6v0|JE(bANF_L>RHcqjVF=E+F+M6x(+lE*wbS%7Mqp+JX<`92d4?>*Y>E$%iqXqH%nZI)mszExjb!plw(#m&i;) z4qAotbO)Lw??BE(a@Ajj=wtlO=G*)v1)(OO=_&S)2t@Eq$HAhDKqR&iT-9;@+J%am z1mBfX+mpw%n+^7DhnD0#8C~C2w@Q$Lm`}{vlTAh2L{^>2yxPs+$h{zvre!+w)ww9i z>4FH2Z1YI~gJX^Tkx;S4cH3d}>q#x!y?DO9Dh&;O`blK7f-@)rABywwq&rJ-vi)FnuOj62KbshpVrxQmJ~sanN$rHv+&53rNgn7%P4K+!ypyC+x+j;6 z$0xyb+lsk+)`!JSkZ`y8y+9vdQy%z zQ)aniVe*st-rbEolFCdj@!p=KXRh$sJWV(m()>pE<}oJ8rsnq~JXEhB>a|(qA8vz| zJne3$O;>^^sk(0Pn`xb(Lz;#ktw9)%D)VE$6|YyqSom?oPXvyy2~sLEKv4viHpzaO^uImGxEho9-} zmQzj={yW_2!)2wZ4(LeZ51(yPO29meeX3qpx`V!(e6MS)L<$`N{OXL&R5aKMKsV=A z}VkdPg-8}V=P`=&#bwNDkAjfqyO< z>e3m@v&M<=Rb@7qxL>y)+ftL$P2YAbPXP~Gq-F8!n^gOBe1~se`BEB$d3#%&ahN)y zZVk7+>lGwAGUN8e=e1NQu_-(*Kg*|_i4Ek~z}Tft=@T`yl_K-2>ZF>PbNB`zMOAEK z$&Pp`u-Nd9!+HE|p=aQ~4~P69g4BV+1Xo@zUeF1@+< zIHh^bm{7jy%2r4-NB8ZNL{OqXtlDqU>{B7gp^8f`fuQ7s9Kgoy-lQg!_K?Hc;Wi$r zQ^dKwv)z4FO(V70TeXZ7KyolVR%t$`T9PwlyS;ihm6aSf?@Qlzsxa|!XNPE?D-@d? zS8-uDURB)LY!34!c?v-}1QQ>3zN%!j?Iz|vr2}<­&4kC{&;Do*cXcChtqs#ZCM zugxtZQsJs2yJW9Y!*aU67U$%rbk?{er^iU8&ermoa9({?QEszMh1ZZ%z)OW;JY+Vn zrP>#dc$y#gt4f2ZQ8Y!Qri|E_qnqa=rR10_D0+!@ZKpn&ipZk4i4-$aJ-Kf`ho$n_ zBJ4$2OqsOTU)u6))={gu4~api02`|7nBTiZ+)`^dbJK83l$3T;16tgPJZ0cC7FH!! zrDmKWQd_(TmjZK~>D%Svx>TcE#?|fl^C?|7xBA5mJyPdRg6lE1{nE-y6i?BMo{h#z zL63j^n3UbVVan~@)qV+7+I)&>%_rT|@mt8&;=fvo{;9?ti?__vA)uLF*S$p3P5=~t zl~=VMXw0aaA6U|-zzc$YtWQ$|+B_z?dQ}GmN{V9#b_zAK1hBTdzCL{wj7HO4a5Oy_ zs8f=tV&7o;HGr-p#J!5Q1BK45d*p2TKs4**E$aHZWds-$nDtfdC9HgU?t!X7+&q%6 z%ltyd6`*4mRgVtob)fW1QPUiC3ZF zqQi+r($ZqNbF+i=-FLC)xh-wN-M`Yyhf?a{=Fi3W$82w1kL|s6T$D{0Hx3903rLp| zON!(!v2-up4H5!N*Aj~$(xo6R4I-fk(%mJUibzRG3L=ew0lwFI-#)i@{GR9j{66oW z@A4UD=3HlH&N*{-&Ua>auS?r3)a~d~bu^-iB7dpn%XO{`d6$YS@!wP`nCCk)2S8iS z;aR-BTSlK`_zMo_7RFxl4eEjo#RIMjgg&TkWb{6;vc5ij^30YzgBN%0L%#2%(6@M#np3rSe3SlBSUT1V&eFLcn|?sHw&@RA1N z*#dplqdE5B)~(q7w%e#X?;;WxKap=slvUi@UQ{@q+R4tX-7Hvcm}%C*6U&xnL)=&l zBC$*rG8T6ucMznLPNh(iwd?L3h79iI5wwWf=F(95J?Uf9FN{nR(j=Z`j>KdxB6NJs zofz+P2T?%773x-g&chp%yZv^3jV3iVZP4}O1;<5P4s&Cm6|PE_tq=7VYdZX9k-^+X zb&EdQZ?6-`j*~I%e2qdEq^?sI3=fBjWE&@!r>9<7dp}{FhwtaMdzu-Tbwc0DXgDG& z+vco)rXNUq-d(tTU3x5?zr7N#ZDih#`jqnE=Tn^ff`c#KGfN$w7+U3dd9)grv+o-DwjO>% z21@ZnRvN)39V*T+`>{wAqs>0Iu!CmWDq+CjlF8I~wpM>= zkYlNTq3Ee@PI8&Iv2J&fX_l`8|gYb1NSP3dPos zkNOS#hnTKcAKjI7h`qiL7BD&EE~Di9O5&t`=BeIesQ@jV*2&_VC}DXH#gEUPy7}43 zG}k}gRFm8*HEvy1p2!Z?{`OAG>v^;h-jVN6)9H=)Gf1XAPFq{Cw%JzHqo#$ZXCgDV za;|bvf2(Zik7@XvSmwJr_igdTj#SKXhFQFx+r{C0!{?*gJ8bb6vG!CpKpAYjAZ@xnZe0KOb8Gzgl^#wx?a`0(1C$ zOCp&pwNugefL=w#u=A~-5shpggr;~1-;k{aGau!{Yl-jMn78q@yy1zg`=Nu<6Dc?f zyRCmhjhW3p)JxOL!hP^baOxeg*cxnOh`F$IVsh<+tf`8-+$lDMYF4+kUc`*&O0@A+ zzki%@Ef?W^tLMN#=3d??^`QC@Mq9a%t~kZHmBT56OLce)jy=q@O+dfr)o5A0KuC}F z9?IsXN&}7g62Dz-R9*?eoWSMY_DqM(j0|fBuK+LH(%>Xx$^)Kg1hi2}bwVA9x$6W; zsiY3`vByYup$TgcPqIj6ML2X^FMUUQFO9|8HCYd_f2Mx^>3$v5_tT0&<*2v2rgOj8-k?9^1!c|_fb2-bBr8qnK^@fV)+IWp)>kll!<>jU1PBA1t z&uTvjc?}HXYTn@{RY-W%5D;(qL|L%eHAyPWl>t*(U$;Un?Z#13u(x}~mTKzhjAZz4w?s;Fu)r>X zuYv5-Ct)4i(Rw~iublLSW&Y3;a@qA@$r)(UP zEYw>#`=Q|6K*a=6-27&pGsC6xBmXK7<#L~skA)@{XB0BkzO`lU4*va`Pt{vTqavc( z%}tnG{&6^`@1W$RrDCR!h{s>rSJHEdP8Q2hhFxwwagL>sARa{sxYr^mi-OziTB-L2 zZRj4mUZ)bS;#m&p9f-C*-3@of??*Jg?s zB`j&+QRJE+@uk$tg@fOwswspdrQ;DM*5DgqUEPK(XTQsC>@Ti^P(E5ix|M zI>x8cN-la*mbxpy<5g=w>}+JfGf3v7!I*-IpF&GJR_=m6bo8UYgQU;{f-y->7qU1 z2x&2a;WsGHiP~sbQmV^_nBbz{F&vFz@XY7q(Tj8!m&-ECV0&Bbv*` zp;^LRph#Q>y)Pf0S7fjd&8HPyE`8%Djx$$&q-EfYOMszrz+{{;)!Dzh6Ou1;Y0>7I z8ClKFr4Lwk?e*rDNl7CE73cqo>Ks8cbnsIAiYys$xk?5sxA_=qg{&h2Wbk;&5%#pBZi{MMXAr@07PZVI7=6$ipo6M;@KN1D(S%bdjdi zLC*zVU(~yNln1YjY$z=Yw8QFO_%2*+u>VxZ!aY`LTwgu+b7ss zxX40)W4kp3vDn0_F`rlD8t7iHvBl&&FSVdGW(K--HLI8}cY)np0X*G|(<#pBsPutpE{ zz5t2kScW)q30#gxY}?}IdaGuo=Fp)VS*Wczr6o*x6~rUARLrf15aAtbGF$}ivFS_c zDu-3LyNRfmUJnsOIMw8AoKET!VP%Vi@ZRyRy^C36UFuZZBmrqruk-4oMiZn{>8$5s zwRj=vj$_$N^Y?5^Yo;~fbIbFeK2ni#*zy#=ZY0uFXPgwB5VPtK4#h|MFWh6z)#G=% z6Vbv|8$36Y>Q>@Yex+d>m;F**u}Yl?@V%C)1y!nRYL^^IZw+XcnFaab5<_sIX~M~4 z=ljNH6jX>QiPnNQMimoS!c>}jTV`oSuw949OO&(KQfD`D_{K1v=lmU#K-+wmW;uL!6Jsb%0YAF zt6>|9;dYU5>|+~V+)y@@-J`Y<`5mo7EsMTlC!Z54r|JYzwF{T?2jco~^v*|~E2W%K za36RHgkfKg!K#_Fi;DEDZDFxbgv;ZbA<8%HPWl{^Q#K((@!he34Y3Rz8se7x(H`PS=3z1+G1`yxhX=Yv4umJM_7`pL)UjTe_sP3~Es94|*Q zT)Jg_O(Kv+GTs=gT%uYrp#F7c0itI30!LM--M{6X2VOz1^^=d2l-Uk1`(xF}upbUS zEx!i&*1moFOy2{N@?jzR&X@oOgHbYbv188|i^b|1wk4|zUdfSA9|8H;5UUfBP1tz0 zxAGP3dactEoZdCp5lfgeqbrfE#I?d<&}+Q(fRe|dcTy?miC|r;Di&>T0+{4LXML9J zoHpjvpk)(8piPQPNpz-z=G4Qew6*~T1AUvT+4eEQZ8|P)q45U`ntTuFUdLk{wSKpV z(N7BztDQLOY;e>iRE&bbu%C^G-(WWjz1Cl|@p5ZNbE;D!d^Bgm+x&Kbn$6?@eJMWv zUM@a+SGN4-#-|*E{YIX&VMTJzj~rT!26h=1eehLc^5?PFI`F-M9-a}Qy4ycg-f$8< zj$xYHf0Qt8e|m&>c2k4M`Dp&R7xN1uY3Iy@fmuJ1=2wT}Wd`b)qiMv+*XFFF1=lR^gF^4ZO$CcJ zPMVN+R3yQ0s_aYv|?$EF?nL74WDM~kens&fWH`se> zeT6eFOt>!aoAKN+${6}t;!#x;xpgbv%Ij{9tW}+*V{h#uCbpxC4t^%?@Y{43Eqn>C zr&7$c6?hCr_D1Dd)HJt!lU9x21|&+>%H(g*03W_OKI#1WB`o_=N%d}azkxmcn2vrc zlINY850>P(48b_8o`9wyOMowAxf`~GQ~KFSIKP_1Esc=Uy=vVV z=QJ-|^O%jw8^r;u0e;Mt3Zz!k^Vu~GPFC`7LR1Qg7)))RrJ9(%aysO=K3eygS-kn` z(o=+E6G+M=$Mx7)?GelwUq<;vL99uCob|)K?jlzoB!#=izR0f7GmqE|r%6+55vRLC zHPLQj)+~E8*Zl20W96Sd%#vuc_t?IBwKtQK)c2hV=LeI$i~aol&g@rO7+Iw;+=cy@ zoM#NlEbibh@^FmONUKe&u~-URsZWd~kq1TIu8zK_`%Dx+RIv9z*?joJOX)ij!#ghQ zD+AxY#Sg9KFKml1%Rh6mVW=mpaV>ntxT%sixE#2tuLUM9p3lAC-#Qfc3Q_t*b35N+ z(U1#QiR;JADzi-KIm0yEH<+Wj({m&v4k4$=o=+$ zCuhVmmzHm~#Jl=P6c}RO%#4p9e2X1_;{+y7J;ZWQEV|{vDx6;69~1d8=*woDP?V+q z%X{&KCGQFxm18H!*gfWx$|EX+?Lb(g@1U5QIx88HQQNp13#$r!aiosq`{_H!HA{BW z{+~AuP+kwd0Oz&AJ~NmTm=0D!R{M=2~C9k{f-F<>J@YD|u-&nme!-s@YK^ zlqIIesF~=4tItyGWvf`E!(Wfz3fP}T<;#+-6my}xB@X+^?)4RK9#-A;$xBxlXqXEs zyTbSc|LL>3xrc%q!Ws{YJXgm0}D9M~=3)HKWl9M_8%49h3RgcG@#F?Ox?_`(=9 z1gt1qc{sL#nOAx+{xxcTbXlX0Dx#E8%7 zj(O;vI4D10brUqC+tqlvYAYGHTVTaVAKDMK^1fB}37)}y#yqKAVEZr#9CfWE43{r+ z82`@IuiX=u8D;4qz^ziQURgcj^<64cwApVSo{1rvbSr$DDvi>hp|)a-=`C-={g7A% zZ5L{6IV5Y`dBBHvM$$Lqab@*mt6$ot=d&Aec`8<{|!VRj4XBxeqPevd1V=1k;(IdyQmpntTX*Wo1cnId9@*H=QR zKX3f*5gV<^Ad%^`)hP9V>i+!6;}|thU^#94Do13#@KWK7uYQUu)$S^3#m zJ|NE`ui$gpZFhH|2E>E`EPH)!tyz{7RX~C^9r%veOW6HR~ z_m#dv)*_{1qEguZgOY=1^(e*1D^#88%k8=a;UA!W*Y?V%8_gDwQ0kF4SN)yz;-=Qj z{5kuDUTfWO(C8~@aN5ty|AuegyLTGF+{y0l!uC=P;fO)7IA2bV^18&K-3V^M?YD}f z`vPV1X%lo@3|-dyqDo}?x?$Eqa}(?&$Q{r{Z>k;ZCdN!27}=&2WB3-onOuEc=;r6x zPMS9^SKFFJ=JH>|>?rS1Q!`^OHnY9#)0(Ha}O(DmYzrYS%|3d~m*Y_;3`9 zkZy669*JEKZM>sFc8)(Qe$~IJA8X%OwW4s`$d{#@z19R#8|O+r)a=!PIBv%E_ngh_ z-p$7m3+yYubyzKZDROV=Ekl^lvc=~1SY5xvBP3r#l;hQaMp@#054zL*@&2lQ=lGqM zclsTkCEe7{9%i7A8-6<)wReB~K?UQc&Xt~>D+SG@tq(mqK)2tEyz>%L^1f%FDU;+0 z+)1jSP9|SP^yF*wxOE6vwd<2+LBpK=JVDbV99L0)T-6<~2VGwR9P_L>ncuL1Ivbig z#IH7qwT!-LAmk6Y`+&2TTas>~kJw-cle}}e{0en-a$rA!%ww`>&%Ddrt7@nlY3#sv zP_K0KznXXLCktzfiGbK(&kak}u#uURymyPf zP*!Ty;Tc@9=EC+_ur3_AnMSh^7px-Jh&X<3f{DfU9e*YbtB3R69U`&TGb&IWsQ*f= z1yVZQLYw04;@!^XP>zEb=vrmVsp%ouKZ&YxkMLD#Ov+C5c#c?QT^=O+><&xwjDWjS>FJHY8O3HCWOMGwuaq#W+;K#I;X^Pqv z#|8Az=C4m*kf4M@^DMuQzp8-v^lY*lO;46yGL11DqXeZ^sTprLNH;BD+w=6(7fc$- zck_=e*~i?5lJ2wLbJFg3>tHNGwi~jG86Om9I&?8OK4;GumS&n$v$fW;nQ*>1?{l$z z?|$y0-7+G--4{5M zJI%SxRn+=%zyq`hFjEk{S(lV$){DrrMc-iS$4O(Rgz0A24kdmVUFOR5R43qg=@pV3 zwq$gB7PI-WD8!N9}7OBp$%}zc98V;|f638oktIjbj9_qy8AZNm#sZEu} zo@`r$Z`kmqc8bvZ1rv{Qq_**nz904ZnkJxkjVbR9TL!?*q9A!qW8 zLLZb#J~;F~+%5veY@+(;6?c;+t8>kjN#u|;_kxRHfY`2p*kK5{Sx|;HOoKgn zhf=nVR3Oh~R-GeDoO}rOD!lrZVBSY={O6K@*bPo{v(uT{w>#OB+xTVcN?>^(J2W`N zy~#6q+M;askaFWJ6xw&A$TKziqilRUTBI-Dp(yutktUOg$6=Q5JI!jL1b^zu%cM>62KD_%B5MM*y8qb5Bu~I-hHJ|25y6j9abdMC6uXModlxz z_7n?eqFAOYic`Dt8Hhrn1fPwiM5b#2sJ4PA{423=yh>%dpjp~U;~47%LQw!E8GfalHGw9_od`;@OI30!oQBG!eW0lC#!OH)^33cZ zP*i{k(}5rttD=2G&w1&q!^Xowwz7nWnq17cog%XPZjv6DlY^{X6nb*Y5*q6%$+#Ni z^7jmt;Y;D{ERAw2SB#XoS3yznW=zmDF4j0NxrapNOb3NrtdZUkJ-y`##&eWp9pZU| z*cAyPtCVCdt#T`QM#?dt!r2?zge0Gf}JP!=0i*O&_h9i(eKc5QuUzcPT}f(dv?_D05QC29sx2 zCxcWvb(vJmIazhoBUm37CxpZBZB?y8SQm@6ZRn^tR!9ga2BUD21~~FY%()Z7)hLsC zisi`U4V0^k!wcJ=%jsGhI7G^^Q+y}~zL!%flSh-KtvU>%V6MfAxLGEX=gg(e@eV|B zvkCucQMn9L2bVV9ClEzaJ66OAQZA2_TgCyOfOXtTR_>88xR{23%(EX~!`wzzPTC|_ z`z93!YX%PJz%E2?Lo|;foQmT~0S+k9F+?uzW-duNaJ3wh66z8n2Q$qjnE|dg;(*3? z!*v%;!T2Futb^_mti0t3HUpGNmZEt#T+6j>`l*yXw?Hb!=1eM;Toj*c$%i=Ruv9QC z^6*~pB*51xqiGhfRElz5CD$4$ubhIKRNI+#CyWMcPovZW0wc@@Zjs_&aIN)WP$q`R zM9e#a6CG8wnKG#Lm0_1DlbGZp>_j}|_)U}@nxXp2?L?GG-SQD@I68UvRdQY(rxj_3 zb5kqlP*O(U-@qEYTp;H;qU>e;4y14&6=H*_%ajqJ&f%&6%+DlFl7UKu zjgxMkayxHAj4oMbDko*qXVnOs30)@IW_{%;K73nlpAehtdQ7K}itiITajt2?C==H; zp76pp>j;}3V7k1PKl<)`lU_;B>W|XQ#S@pRJ*Cc_wAjce{wSHzrJX{0xGS~or`&TBK!qI9rK}1*{h3et%-~}xkGmihvqgz<@QR-q!5<~8zEDsjMs+B zCv})lU%JY!-7_Wmyg>!OXvRq-M#|buizhm6o080ar-H+}a1tN6%i4&Wk<5~7*}SEp zhTrbT0iF>qYx5W&aRVeMHN1WlC$Y^-*5;Bq$*clUeNCQmGJ%t*;Vo-p50EUV;U_aV z9@IPd>NPu|jn{oJZ5GT)e9m}-V>$^|+?L7Hb5?K?Pkm+AbSy~jWKhF%-jio6ZsH_H z_{rMTS&*1iQ^Tira1wjJ!V4+=Wo>A0k(dlq!>NvO5)A@m*Bqo1xBPFBh^|q?HNW5_ zt_I55j4&!+J)?#ze#g-P%g9pDX_KrIP{5(s>k)tM8OA1Y%{V<%w>N5M%nnMu=u>NYDGrbHB6T?e=EN=FY7kBmtyL5}*_fGBG*ub?kd2Jg z4p7VlOnX078T%O<8KyHJoGCNu3{Y*sNy2oGf@_;GCtgoe?iphv+d@Ubqs_q?x6_oL ztN_(JQSc!PX3#1DnB^;(DC6btWEko9J+a8|i*&)0#b{(A$=S)6BBS6lR?MW)>B`~P zf$9S}RT=~{>06*G4pbAOIJiBT1@x=IpvT8Oz>)1e%s^kL+5%IO-W@7M<@LdZnxae#D(8lJI4o-z9lM<>!( zHd)Am#5Rc3&vU_$j|*8 z%8}3x29-Y^7-`@e=-OC^+Jz0C(oC56G9nDCxsM{lAcHT)Ir%r{yza(`rXMpP`qaH2 z$3tVEoj@aP?(r7`&jE;YresPflJ5IxR&9|OsJmV^Ad>QU8bK&yf(cgHZ3Bg#Oun{! ziy$1|oI?=u?4LvJ=vz)bJ(v2siK!3E(ag3u!SqpgHxY!Qbm!2*M?ULe^08(kLc%2J ziLrr!3Vjc!_WIM$OZDB26CXS+r?AO>Io7|#U5h(J5|in?bxCTiajBv|q3yZ)vfS>O zmyr!UfmKE4jKhvCW-z|!#?xvHnQ+$XeW)GXV8vIc-8Y@}lFl$X0)G>XTv@W|0DYTp z?*f8in4%7RV`y8(+PE>?!9D~Aym-x@sxdl)&Ei_PF-X97OBPhm;=eZS#zW6gIq}d{ z%q>7ih6!MduZ{7PN6!aBTTO?E! zx$Qu4>j47n{%ZuoJg0SPoh_l@R$vMaM*FI7^lpDT{oYW2dMxUFe>&{MWezd2qWFkB z1l+a**l4Tq4GX@6Qt3BFd9lG|N}8{ao8RACZ8V%@BJ8gcVIW=;;VknCqi92(B9xyY z>kVz@pW2&XS_+dTv>Mu|i+Mi^o4>yU$Qb$j8x)sz{E#N>lZt3lw@Xi2xxrevLx7>p zvnpWjb&{p}1Z^_op#+Eh{J0D#XIq@jSGoOV-)L&GQVbNtlB!FXx%kUkxx`JR?J18s z?VcQ+(RhI;?!?TJbV&3GVzb3VxtL@5?czrshQ7-)HVh8=Sb4k`?E+b1L|k<_>`#xF za-bE+2`qZ)qoBFj6Au-qSm;l`a^zhx;FO4u)5+7sjpqtl$e*Qs_(k)(Z6OpVm*aVl_mDVMXfJr<3RvHf@|p zf29jSn1eZuP%l^l^eY{)H^CD7Xjix#9V7p_O|tLfF$p6=tgWe^=Iq{jwdtb$+>q+r z$e1smnvB59l>#$+iPu|VfKEO``FMFPZb^-7!>2EkKGW> z{bug4kd-LTY05Cst4^Xe^y3?A2838$Tt7|u;R#KRyCxqZmmg_5dq`4=nt#c3?O9_R z^LZCtaNGdq6T*;gGiN1iaAim!*oMP`a%SeMWMu6@pDjMvJ7hs^F=d~me=(OE^A(9O zK`HmZm5OC(VU4FmU#FKb1A@w~jURXFFdb()nogqLUZF26FqsVlm$_jcG2*LOUX5)z zG=?M2oKL}V4=zUy)Rx$eaPBW2+sj??s zb8?h`AMdn(J*1Jh(YPC9((tyVo5J60LY1XiBw4yuSmfcYX@qjd@b}f#)l8`+0>0|L8l8y z=?klGcHhsw?8Y;GKVI;K#-MPeF37(_E-tbjpYO(ZTugUde3%ZpSe|&l_x&3ni}cr* z@wZ~W&pdl(CYGA}xjOvK&T`24iRkDZUQdtMT6DlK;ElP6o`beMmBv2O0b&!aX~CncTBcsGr_ zkLb-=zYw3W>>cXUqPH>FL|q=O1pW!2wxBdz$@jihA$^;7>9YIuzFuUV-PIP^OUcDx)twrsw-%{xm)?KFg4}t>rTn`R8$;;QY$Cqh({v{1QDLT5KY(0V8#R_E$w?!arY{7i$wr=()2QWXsFjz_o^n0Ja z*+N?4)t8tEw?!j(6KG>xEnn7T=<}T-AKO$DkzFVs9>bN`Ej9-5N@ox1sc7%ho>A!? zR7mc0hkuZ4yoa~GBA0H(nk}^5nDuP6x5Ip0V5+NysNFi18oM6y@KZ`}#_;Vf_@==CSGYy70Iv&*eP zdHB6z;vh~+oU{*KLkm*h9n4KN{%%2j$iKCfpwORerJ&ssD-R{ymc*gPvpna%o8zOL zGS?xgs^}iUbW=L%CRzIZPBp@+WaNsHqO2rA2X(}XK+j9+2-&glCo>yg}Kol{6%+_6V>qLTNk z!P#t4o{ZVuXFKZt#K!CyI_ozcz2}#@UVLPx8L(SJKfad#)ZlCO`C?+~A#>ea-sF}M zn@&dTNM<{G-Z6mLuDHFo;0fF#Y5UC^==slrY@*(zZ3A}TMgTQ*Cd#z%vKyPR@V zU|`2kxLT|R?BdHtzS4&Q$DXB57_}^jsY*%c^<*dlCE?t(oZh;o^B|Nfc?utuKh@Jb z@~-6l$!%eIzQcD#&AtJI+iI0BHlN<*_Ai%X9644O_fcVK+b<+1wIjyS&3KfUA|`1a z&>-{uu`Sox*TI)Z=LD1-W}N?EKmLE|eK3(fIiCQ3gEmCFQV^3Yl8PO)VTTL45ospV zUL4gV$4jkD*fWG#Ll|7kmK}QER8CMfInM4+ZlG!UVujVNpRalwUvqZ2sRD6#-!opPsih>W(|G&?q83UBP_%Kgz~h z)=stv)Snbtv-Rmf0(x?f3RwaY$a~-?54u^akhtE~5nLx@E zf2_}U6XqsFwubE;Z1`l=Az3$|sn;IN=;vy&`r?&Mm7#pVo-@{6_(^sH_fT#_M(}l^@8hODq2hl(R0nX>w z=qJ=*neLqA&AId40$+$+QI`zwF;tm?Up=v$t_OSe6VniOWspB$CREkH{a)sIsyn|Y zNr%k8pN!fs|Ga)Y{F0|tQ!)GI?MwHfb&vnSJg|Rh9udf&tfLUqLevStgWoN*#13S) zd(4qi6Lbx%I`6L4e78}Ij9+ijD)Jt74k34>-T`h#fu&HRqHgS?j|G)(x4c6({Papb zonGeDx_#S2a&(yXpX3t$mvRY;{z)zYSS|3jh6q9~Cn-kCq$WnmMKe(=WAu!yhvIJp zo8Zb^%@?^`&VG-J2%~S4i2WZ7BJwW>77*b7)5tu!qH(NH!r^mJpe4rk;Xw|A`kSxc zQ7Q&FIL}>%CDuH<;cS8233EEmE7OX0xi9uBN=72~l;;M-?mG`Cm<^`Bu!nQ6L3<>6 zLigs*Xc<12jttgZ?&F(1r8WFmj6W>b_duYwn=`JPbD+v{oB8=&U%e;Y#jG={557zF zdI5LWX=ichl0Vf{IHSE=k4^Mw^~0=l zMucL6XcrfoKkT-j=V4o>3GraDvNGjFGf1;wfI@91^(-?w^YxqI{iU>1+Mw^40xSNQ z|1c^47LGv${<2)f4-;WC5z6oBFOwb8N)_Lm%$d2U*oI`v%ALtFiyuJnN{W-VWlo9`ek9a zC2)!BpV^k+1s1znec(PId|_bG*iR&#pjPJ7X3!oarw2*S2dh?`h5#Dgc%ko4;JI`(C*VBN#$BR95AR|-pior^6AQ38uGqIB}zi6 z{F+8zqsY9Kq3!Z*IykZr*W_e^~ zz~V&s)l6+}+KYVbs-QSkiG=7=C8O-&!CnHc%jd15oeKI_OC(6h+&kvv&$BuS3;J-#p&_AzPLfXSbz>3~t z527lfzzVU+F>Lex?(F(X+=}$Oobf<1-ksvXu^U@zQex`F^}HQb%miiLY#)a*!8u%e zc^TDJ<1;Ik?pN6@f~kZpHyvZI3Za%m3wcxILVDTuGyJ{pZnkUD`a02i-o_@CAGE}G zYNpaKu9bM4pozKi9eBPC&stv6(NNB{&)2ed_Qh-5majYAW*+yXG51?Gd>I$0Td>sh&Zf%)VetUR?nkq9p^6ur{vg7_5NfE|san>|=U0>lS* zw6nAIv~@$+dI8`?5C-ORxAk;H+JFT`z9pa37tcg+MEXPB5szkG4X9;=lC)@B-uh zC<_Pzh7kFYgoH(ZDXafQ=00sr2#}oqE{4mN-;n4XHPeYF+h^|1;CPIsiRt=p4>BoGahx;vo zga8$Pv_#wYj{+dzZ(Z;M8l$hEr2-^JH%Gg{&*}P^15*b2Daa401cd=6D4-hJ7XUx_ zlc;Fo4`%{;Lbv))FKD445YUfnzjq)C69xZFXh-Qqn^K=Xzj1gcbM) zc;u7i|H%gZuWSPUgAKy_dw+sI86mttVINHuS+M+N3|D7=%{@ z27~Ym2|@q|=lN6Z|GNSpga3L20d)26k3(D&#__u$gz)b|5!50D9Oe2IuY|CkVpo4h zJ|rv0pNc2FzMZ3~XQD8yc5?aV<6Wot>L|mSUFa=%S=p!E^91Ib;d@D1uzU2cO?Y1L zipUbbIz@iH#uVntyy-#a#sT{raBSbC{G#6>G$z7>E#~fODuIeS>#3}tGAp%`>I=3N zr8S;gT?{ub{{uMt)m8tW!TyE8etqx$G#GG}2KXiL_dm|ipunp7XRrB*KmX|v4e%PG zU@+h{;y46!jtX!icOr6x`uz847;|wKqi%WswhsPv4`UT#<;MG~koAy<3nF$Vhjg7D z7JWBjpHuL@=zVh2^-Z%chP1 z#K>^IwBK^+xaCC}AwdAi4(gI6hJyXy{pHt#O?jj@fGmOKNX^j(4a@<2jea)*Hu!Bd z(YCS&0Q(>BbwK&wKGpcK-T|L?pd68IaP%_A0T<(kKt&*;z<&T%3Bho-7r z@@PH)RCBmmq1;`NC>KX-Fh4IpuK+jL0fllGD?Y6aql9ztPaa3H|zI3<&TE#h+nBc`di*#Y3=_h6`tM55n+KVqbwqn|C{ bz-XuTLRopDez>#{gdZXRVq;U#QUv`UU%Wam literal 0 HcmV?d00001 diff --git a/Chapter4/chapter4.tex b/Chapter4/chapter4.tex index fc3bf23..082619e 100644 --- a/Chapter4/chapter4.tex +++ b/Chapter4/chapter4.tex @@ -42,14 +42,14 @@ \section{Bayesian convolutional neural networks with variational inference} \centering \includegraphics[width=\linewidth]{Chapter4/Figs/CNNwithdist.png} \end{minipage} -\caption{Input image with exemplary pixel values, filters, and corresponding output with point-estimates (top) and probability distributions (bottom) over weights.} +\caption{Input image with exemplary pixel values, filters, and corresponding output with point-estimates (top) and probability distributions (bottom) over weights.\cite{shridhar2018bayesian}} \label{fig:filter_scalar} \end{figure} % \begin{figure}[b!] \begin{center} \includegraphics[width=\linewidth]{Chapter4/Figs/CNNwithdist_grey.png} -\caption{Fully Bayesian perspective of an exemplary CNN. Weights in filters of convolutional layers, and weights in fully-connected layers have the form of a probability distribution.} +\caption{Fully Bayesian perspective of an exemplary CNN. Weights in filters of convolutional layers, and weights in fully-connected layers have the form of a probability distribution. \cite{shridhar2018bayesian}} \label{fig:CNNwithdist_grey} \end{center} \end{figure} @@ -94,7 +94,25 @@ \section{Uncertainty estimation in CNN} \end{aligned} \end{equation} where $\Bar{p} = \frac{1}{T}\sum_{t=1}^T \hat{p}_t$ and $\hat{p}_t = \text{Softmax}\big ( f_{w_{t}}(x^*) \big )$. -\newline It is of paramount importance that uncertainty is split into aleatoric and epistemic quantities since it allows the modeler to evaluate the room for improvements: while aleatoric uncertainty (also known as statistical uncertainty) is merely a measure for the variation of ("noisy") data, epistemic uncertainty is caused by the model. Hence, a modeler can see whether the quality of the data is low (i.e. high aleatoric uncertainty), or the model itself is the cause for poor performances (i.e. high epistemic uncertainty). The former cannot be improved by gathering more data, whereas the latter can be done so. \cite{der2009aleatory} \cite{kendall2017uncertainties}. + +\begin{figure}[H] +\centering +\begin{minipage}{.4\textwidth} +\centering +\includegraphics[width=\linewidth]{Chapter4/Figs/det.pdf} +\end{minipage} +% +\begin{minipage}{.4\textwidth} +\centering +\includegraphics[width=\linewidth]{Chapter4/Figs/bbb.pdf} +\end{minipage} +\caption{Predictive distributions is estimated for a low-dimensional active learning task. The predictive distributions are visualized as mean and two standard deviations shaded. \textcolor{blue}{$\blacksquare$} shows the epistemic uncertainty and \textcolor{red}{$\blacksquare$} shows the aleatoric noise. Data points are shown in \textcolor{grey}{$\blacksquare$}. +\textbf{(Left)} A deterministic network conflates uncertainty as part of the noise and is overconfident outside of the data distribution. +\textbf{(Right)} A variational Bayesian neural network with standard normal prior represents uncertainty and noise separately but is overconfident outside of the training distribution as defined by \cite{hafner2018reliable}} +\label{fig:filter_scalar} +\end{figure} + +\newline It is of paramount importance that uncertainty is split into aleatoric and epistemic quantities since it allows the modeler to evaluate the room for improvements: while aleatoric uncertainty (also known as statistical uncertainty) is merely a measure for the variation of ("noisy") data, epistemic uncertainty is caused by the model. Hence, a modeler can see whether the quality of the data is low (i.e. high aleatoric uncertainty), or the model itself is the cause for poor performances (i.e. high epistemic uncertainty). The former cannot be improved by gathering more data, whereas the latter can be done so. \cite{Kiureghian} \cite{kendall2017uncertainties}. \section{Model pruning} diff --git a/Chapter7/chapter7.tex b/Chapter7/chapter7.tex index 7b8a269..6c05875 100644 --- a/Chapter7/chapter7.tex +++ b/Chapter7/chapter7.tex @@ -1,6 +1,9 @@ \chapter{Conclusion and Outlook} -We propose Bayesian \acp{cnn} utilizing \textit{Bayes by Backprop} as a reliable, variational inference method for \acp{cnn} which has not been studied to-date, and estimate the models' aleatoric and epistemic uncertainties. -\newline There has been previous work by Gal and Ghahramani \cite{gal2015bayesian} who utilized the various outputs of a Dropout function to define a distribution, and concluded that one can then speak of a Bayesian \ac{cnn}. This approach finds, perhaps also due to its ease, a large confirming audience. However, we argue against this approach and claim deficiencies. Specifically, in Gal's and Ghahramani's \cite{gal2015bayesian} approach, no prior probability distributions $p(w)$ are placed on the \ac{cnn}'s parameters. But, these are a substantial part of a Bayesian interpretation for the simple reason that Bayes' theorem includes them. Thus we argue, starting with prior probability distributions $p(w)$ is essential in Bayesian methods. In comparison, we place prior probability distributions over all model parameters and update them according to Bayes' theorem with variational inference, precisely \textit{Bayes by Backprop}. We show that these neural networks achieve state-of-the-art results as those achieved by the same network architectures trained by frequentist inference. Furthermore, we examine how aleatoric and epistemic uncertainties can be computed for our proposed method and show the natural regularization effect of Bayesian methods. -\newline As an add-on method to further enhance the stability of the optimization, \textit{posterior sharpening} \cite{fortunato2017bayesian} could be applied to Bayesian \acp{cnn} in future work. There, the variational posterior distribution $q_{\theta}(w|\mathcal{D})$ is conditioned on the training data of a batch $\mathcal{D}^{(i)}$. We can see $q_{\theta}(w|\mathcal{D}^{(i)})$ as a proposal distribution, or \textit{hyper-prior} when we rethink it as a hierarchical model, to improve the gradient estimates of the intractable likelihood function $p(\mathcal{D}|w)$. Finally, the model is pruned with simple methods like L1 norm and more compression tricks like vector quantization \cite{DBLP:journals/corr/GongLYB14} and group sparsity regularization \cite{DBLP:conf/nips/AlvarezS16} can be applied. -% \ No newline at end of file +We propose Bayesian \acp{cnn} utilizing \textit{Bayes by Backprop} as a reliable, variational inference method for \acp{cnn} which has not been studied to-date, and estimate the models' aleatoric and epistemic uncertainties for prediction. Furthermore, we apply different ways to pruning the Bayesian \ac{cnn} and compare its results with frequentist architectures. +\newline There has been previous work by Gal and Ghahramani \cite{gal2015bayesian} who utilized the various outputs of a Dropout function to define a distribution, and concluded that one can then speak of a Bayesian \ac{cnn}. This approach finds, perhaps also due to its ease, a large confirming audience. However, we argue against this approach and claim deficiencies. Specifically, in Gal's and Ghahramani's \cite{gal2015bayesian} approach, no prior probability distributions $p(w)$ are placed on the \ac{cnn}'s parameters. But, these are a substantial part of a Bayesian interpretation for the simple reason that Bayes' theorem includes them. Thus we argue, starting with prior probability distributions $p(w)$ is essential in Bayesian methods. In comparison, we place prior probability distributions over all model parameters and update them according to Bayes' theorem with variational inference, precisely \textit{Bayes by Backprop}. We show that these neural networks achieve state-of-the-art results as those achieved by the same network architectures trained by frequentist inference. +\newline Furthermore, we examine how uncertainties (both aleatoric and epistemic uncertainties) can be computed for our proposed method and we show that how epistemic uncertainties can be reduced upon more training data. We also compare the effect of dropout in a frequentist network to the proposed Bayesian \ac{cnn} and show the natural regularization effect of Bayesian methods. To counter the twice number of parameters (mean and variance) in a Bayesian \ac{cnn} compared to a single point estimate weight in a frequentist method, we apply methods of network pruning and show that the Bayesian \ac{cnn} performs equally good or better even when the network is pruned and the number of parameters is made comparable to a frequentist method. +\newline Finally, we show the applications of Bayesian \acp{cnn} in various domains like Image recognition, Image Super-Resolution and Generative Adversarial Networks (GANs). The results are compared with other popular approaches in the field and a comparison of results are drawn. Bayesian \acp{cnn} in general, proved to be a good idea to be applied on GANs as prior knowledge for discriminator network helps in better identification of real vs fake images. \\ + + +As an add-on method to further enhance the stability of the optimization, \textit{posterior sharpening} \cite{fortunato2017bayesian} could be applied to Bayesian \acp{cnn} in future work. There, the variational posterior distribution $q_{\theta}(w|\mathcal{D})$ is conditioned on the training data of a batch $\mathcal{D}^{(i)}$. We can see $q_{\theta}(w|\mathcal{D}^{(i)})$ as a proposal distribution, or \textit{hyper-prior} when we rethink it as a hierarchical model, to improve the gradient estimates of the intractable likelihood function $p(\mathcal{D}|w)$. Finally, the model is pruned with simple methods like L1 norm and more compression tricks like vector quantization \cite{DBLP:journals/corr/GongLYB14} and group sparsity regularization \cite{DBLP:conf/nips/AlvarezS16} can be applied. Also, the concept of Bayesian \ac{cnn} can be applied to the generative network of a GAN to generate fake images that capture a better representation of a real image. \ No newline at end of file diff --git a/References/references.bib b/References/references.bib index e87b630..8b6d9d0 100644 --- a/References/references.bib +++ b/References/references.bib @@ -18,16 +18,6 @@ @inproceedings{he2016deep pages={770--778}, year={2016} } -@article{der2009aleatory, - title={Aleatory or epistemic? Does it matter?}, - author={Der Kiureghian, Armen and Ditlevsen, Ove}, - journal={Structural Safety}, - volume={31}, - number={2}, - pages={105--112}, - year={2009}, - publisher={Elsevier} -} @inproceedings{kendall2017uncertainties, title={What uncertainties do we need in bayesian deep learning for computer vision?}, author={Kendall, Alex and Gal, Yarin}, @@ -601,4 +591,16 @@ @article{DBLP:journals/corr/RadfordMC15 volume = {abs/1511.06434}, year = {2015} } +@article{shridhar2018bayesian, + title={Bayesian Convolutional Neural Networks with Variational Inference}, + author={Shridhar, Kumar and Laumann, Felix and Llopart Maurin, Adrian and Olsen, Martin and Liwicki, Marcus}, + journal={arXiv preprint arXiv:1806.05978}, + year={2018} +} +@article{hafner2018reliable, + title={Reliable uncertainty estimates in deep neural networks using noise contrastive priors}, + author={Hafner, Danijar and Tran, Dustin and Irpan, Alex and Lillicrap, Timothy and Davidson, James}, + journal={arXiv preprint arXiv:1807.09289}, + year={2018} +} \ No newline at end of file