From 5cb49943db65d9ca3bb4332729202e0410dbc717 Mon Sep 17 00:00:00 2001 From: Giorgio Gilestro Date: Mon, 7 Sep 2026 11:31:56 +0100 Subject: [PATCH] Fig. 1: rename first tier "Exact model" -> "Population genetics (exact)" "Model" is reserved for AI models in this paper, so a tier named "Exact model" read as a kind of AI model; the tier is the Wright-Fisher theory run exactly. Caption and Introduction adjusted to match ("three tiers" rather than "three tiers of model architecture"; "an exact population-genetic simulator"). Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01BkRLcc18rwT2Lysu6PbG7v --- paper/pnas/body.tex | 4 ++-- paper/pnas/build.py | 2 +- paper/pnas/figs/fig1.pdf | Bin 53784 -> 54123 bytes paper/pnas/main.md | 2 +- paper/pnas/main.pdf | Bin 351004 -> 351262 bytes paper/pnas/make_figs.py | 2 +- 6 files changed, 5 insertions(+), 5 deletions(-) diff --git a/paper/pnas/body.tex b/paper/pnas/body.tex index 69a57a3..54c0dff 100644 --- a/paper/pnas/body.tex +++ b/paper/pnas/body.tex @@ -16,11 +16,11 @@ The generations are coupled through data as well as through weights. Successive Training each generation of a model on the previous generation's output degrades it (\emph{model collapse}): rare capabilities vanish first, and the lineage drifts toward its own most common behaviour (21). That degradation is, mathematically, \emph{genetic drift}, the loss of rare variants that any finite population suffers when each generation is a finite sample of the last --- the same sampling accident by which rare surnames vanish from small villages and rare alleles (gene variants) drift out of island populations with no selection against them. The identification has been made repeatedly and independently: for sequential inference chains before deep learning (22), for language-model text ecosystems (23), as a closed-form first-extinction law placing collapse onset at the Wright--Fisher first-extinction time (24), and in quantitative-genetic form for self-consuming diffusion models (25). A diagnosis reached so often, from such different starting points, marks population genetics as the natural mathematics of the setting, though only as its entry point: population genetics is not, at heart, a theory of decay; it is a theory of the mechanisms that maintain and build populations despite decay (immigration, recombination, selection, population structure) and of where those mechanisms reach their limits. This paper develops that fuller structure for model populations: the arc from drift through its remedies to its limit, reproductive isolation --- the point at which diverged lineages can no longer produce working offspring, biology's boundary between species --- carried as one framework from closed forms to trained networks to language models. -An operator of a model population faces recurring decisions for which there is no principled guidance: how much verified real data does retraining need before a lineage decays; will combining two particular models compose their abilities or damage them; can incompatibility be detected before paying for a failed merge; and when should specialists be kept separate rather than consolidated? In practice these are settled by convention and by trial-and-error search. They are also, recognisably, machine learning's oldest problem at a new scale: \emph{continual learning}, the struggle to acquire new abilities without losing old ones (26, 27), transposed from a single network to a population whose members inherit from one another. Population genetics, I will argue, prices these decisions. Table 1 summarises the correspondences on which the argument runs, and Fig. 1 maps the experimental programme built on them: the same abstractions tested at three tiers of model architecture --- an exact simulator, trained neural networks, and language models --- with the sections that follow climbing that ladder. +An operator of a model population faces recurring decisions for which there is no principled guidance: how much verified real data does retraining need before a lineage decays; will combining two particular models compose their abilities or damage them; can incompatibility be detected before paying for a failed merge; and when should specialists be kept separate rather than consolidated? In practice these are settled by convention and by trial-and-error search. They are also, recognisably, machine learning's oldest problem at a new scale: \emph{continual learning}, the struggle to acquire new abilities without losing old ones (26, 27), transposed from a single network to a population whose members inherit from one another. Population genetics, I will argue, prices these decisions. Table 1 summarises the correspondences on which the argument runs, and Fig. 1 maps the experimental programme built on them: the same abstractions tested at three tiers --- an exact population-genetic simulator, trained neural networks, and language models --- with the sections that follow climbing that ladder. \begin{figure*}[p]\centering % fig1 \includegraphics[width=\textwidth]{figs/fig1.pdf} -\caption{The experimental programme. Each population-genetic abstraction (Table 1) is tested at up to three tiers of model architecture, ordered left to right by increasing realism: an exact Wright--Fisher simulator over knowledge distributions (closed forms; bitwise-reproducible), trained neural networks measured against exact oracles (recurrent, feedforward, and variational-autoencoder generators on a synthetic mode universe, and a convolutional VAE on MNIST), and language models (LoRA specialists on Qwen bases at 0.5B and 7B, scored by an exact-match verifier). The same population-genetic abstractions are carried across the three tiers. Rows are the framework's mechanisms, each defined at the left margin; filled cells name the experiments run at each tier; dashed cells were not tested, and the composed society at language-model scale is the paper's stated gap.}\label{fig1} +\caption{The experimental programme. Each population-genetic abstraction (Table 1) is tested at up to three tiers, ordered left to right by increasing realism: an exact Wright--Fisher simulator over knowledge distributions (closed forms; bitwise-reproducible), trained neural networks measured against exact oracles (recurrent, feedforward, and variational-autoencoder generators on a synthetic mode universe, and a convolutional VAE on MNIST), and language models (LoRA specialists on Qwen bases at 0.5B and 7B, scored by an exact-match verifier). The same population-genetic abstractions are carried across the three tiers. Rows are the framework's mechanisms, each defined at the left margin; filled cells name the experiments run at each tier; dashed cells were not tested, and the composed society at language-model scale is the paper's stated gap.}\label{fig1} \end{figure*} \section*{The minimal model, and where its exactness ends} diff --git a/paper/pnas/build.py b/paper/pnas/build.py index 7f2dbd8..7bf9eb7 100644 --- a/paper/pnas/build.py +++ b/paper/pnas/build.py @@ -23,7 +23,7 @@ OUT = HERE / "body.tex" FIGURES: dict[str, tuple[list[str], str]] = { "fig1": (["paper/pnas/figs/fig1.pdf"], "The experimental programme. Each population-genetic abstraction (Table 1) is tested at up " - "to three tiers of model architecture, ordered left to right by increasing realism: an exact " + "to three tiers, ordered left to right by increasing realism: an exact " "Wright--Fisher simulator over knowledge distributions (closed forms; bitwise-reproducible), " "trained neural networks measured against exact oracles (recurrent, feedforward, and " "variational-autoencoder generators on a synthetic mode universe, and a convolutional VAE on " diff --git a/paper/pnas/figs/fig1.pdf b/paper/pnas/figs/fig1.pdf index 192650544c994390da24caf0a554e70bbd7a20e1..db474b3652dac70c365b4a83ad37e375a98a428d 100644 GIT binary patch delta 15084 zcmZu&c_5VC7jEp?8HALvjD4A%$-Wb%kUjgFeJ3)=F6$MAvSuyHSkh*RlBJ}56DdVn zP$bFk9Zlc&;Wz)xnbW=RbMLw5JmRu?EEvg#ysJGZi)=aEbZUpnl4TXw zqF%kK^`+rp?yGWXyc+$nWeU=H^GLlQu5*r4rForz!Q*aOJOexGc46bifjXD-4rYh!m~ZZNLxHf4=fD?Z_o z!S}Vay=IM+KP0csj6i*RZCXA3ar){r1<~KwQ91jep25EE*N*B%Bn^#H0o7UhC$|K) zYvfy%*j37<2#23zX?S0lEqOzVe_(u}^tF!$@ua+|eOg~+-LPD~T|RDz`Bbf2jPqTY zq&w}Jd>LV*9;U_;JH$G6i9 zJ;w+faXL2DXW(WxIoJYJkR2^wbueG7IWL}eP(K?H$g0{I?@9_jq9M>FLUc^r{<6QT zob{qk^uah<($`kQ3k%z2W%;_RhP&d^RFpZn;>BwG=e5<4cPb7#2bK|?0=rC{XU^6M zIkG=y3{fx;l{niKU%OrCRH|jq7~B?%zq@-|%7fx6-JGJ=ZnfjLC2S^m8E*G4$SRKl z^OZZ>*xl7m+?l5l(q};S+rZexR^KEIOZqy!vTg`tU?-Wp?2b=m5+a6y9W&BKe3{J0 zX@_CQb!-?jN;+n}-L()7{Dop%aMN+khji>Fy0Xq+wl|$-_T-4WY2Ys0%NrZl{N~_^ ziQ8AMz_MUMUsuX(jO0y+3yjG$dx|r<8iwj;9}d;dTDZaEs-5>m0WSIvGUxIKFQn&X zoE+e@)T<-ug-C`p(CFS17`(7o)WZ^)i*3m3e=0M3#`%r6{pmwSpnrC65o*Tgy-6n7 z;G)R>c{YvnBMqD(&s=<2?M^5HXYjWe^!S6wBf$zF4d`DQ?FEL-&q({d>PSr%;>(z?(#p;q{jwjWh$Ve&BoA=oY=U#el@V2V8yFkIo zRgcd}(~5=E-jk+UG(M(~9Pco|tFgphglh0?k6_Scu^p1C`oYB|8>@ROT{ss!*M}ma zjyk`5ALoyqS9gDCxg{puU*2;D^34PJdRqR24o0lG zbC*S1Rq=KTZ_-&sjZS-V8c`OIrunOfI{EG4Bei64M;wZk3&+NqTeXZH2;Z4If#%}U z_r>R=9_QNoO}ATBr^MxS>7(oW}|RxVaaEb zeVLkhsfOXHC2lFH{MFH>Oe6RkH`+->!aB6l)~sw*C*T5gpL!K_O-8z=wrSCVh%{%h z5N`Q4gYAOW9THwnYS(mFq{rBKN1_}VHnKsWU=-4L(rFWtVM z>IXp^fqTm9)B)l!wyB+8Re%9iHF{OP#q@0#vJT_Nfny7P%h0f*JM`_Cs3(b8Bll8| z`u8O7m5Ud9OhYaY*S+vHH%*hpH{QU8Wz!dali{-;?Mf@M2rJsF|AIc{0u8s2MCqxt z3j=q zw8z6;-8E-XqtaHdt&qcPbaFjiCfKH!8jtZ{ zM38PLoo#ZkXAJZTI5V+7ZFy#2jOMm*twnDAh_Gn3TGXwehOV=7%QIS$Bm;qRXF6_= zsPB7jRH}JCPH0Y!IGb$nRpqsVsZHlSBc+AsOxqqMXm*z!R#UjWD0PA^LdPzOXRJH> z;VsLd_tiqP4L{i1$D*un$7?e#r8Fpub>lP{gqUomS5h=N<9Oe9&>;5{Bh0gs*q1n- zJXsK~Sy>~l&j0>q!@%gucMDI7gW)P@^J&ISo#OPi{dQ(ge(iYttbL->Eo<1`i5d4< zV?l-U+-38XPig2qn9vRMDNZM0CNRrWq0ddMOf3zgq@Cl+hTr5&{!ssUQuVtGosMLz$cIK4B1oJ|wx5r< z9`2jsIS*%Y9M6?Js2h1c`>_G8rA+k+e)kX;Tb}oU_?M?gX7iPdqhs5Q*m|8K4Pm~6 zOcBR+7Iz1zrQYjGcr4g*@)e)i-MWBD!EJsL=f6(m7W!b{Gq8@FIJ2`7=Q{E%=KG6} zUf%>*Id#9>{IU1(2=UkFJwJ0D;z+#r$A#=y`R!myQp!?r2bYD)(uL)@hKu)uUk9G< zKBUN3GF^KEm-=GGsn;}>o}M+=B#$!I2?IJgPARlz}1 z&T54BN0-ZUH}(Z?moqCjPa;%LS)F^8mSkeciE*Ocy}U=AJ0ElTC$oKRS=T%%)TUPH)l9otL^@uYCLv6GyiZhUEKnWUMo5S%t+Zs3^K&e-Zr)iHcPgSz_i>a>}`b zRn^nWM^0zi^tH<->F~35o-30m-v7b00oB^_^~4jd`9tQ&B!`4}!L~!Cw+p&W&^gr+ zy!84^x@^CR&nke^o?pJx(HH0)x9Twknc5y*4 zF4sdt;i?S=kl=UzW((h%!&uZ3cTG znC(y1tic<1=%gY#73np_O(iw2lQOx&Iarf}!4))b*FD;}(kpRava-rf%Xw8GW3SiQ zdoe_^uEuh)O?)2LKcqf0YDho8YT^IYj`6VI8=eDpi>IvbzfaQp6=)ZC)w@yf>Pv!w z^_-J-68lx&+V9nwoDqqa1*^C)8uJ5(FYCF5Ya|lB&hGXFupRupg0tu_v3~23e#6vu z?O&&DHO!xQBPU7t&&6K5H9cQl4B*Zb9Dfy`@I+)kGL|V!#qh&w@(-S>lY1{aMD7al zrMoKQGvXX?RbbR4x98woFiv%-xGZ<5=(!BSR-Tll=r1gL&(^X!3!hWdP+y1Uf6ak@Tyn2 zRzwma%oy+7RQ`pLbWrK@P5cb~E1KPE7q1oY)FR~v!UxXQMjKvUI+njpa80v%N_wBF z_tm&$HtA&ZH_`?xre1H1&Qd?f8HM!}yeMt61Bq3Q`Rw1b9h(tjjwuiLTv*yyBBy%E%n-AOK znHwbkWa4@)Z#olEDsG&M+k8=CZ9%a5i-zzN>6op0$!bi=+6h}!*tahs>Wvi_JUvP3 z!zqWpS(wae{ay$|PgY#W6S;TEaGR0$J)>He^3tXGQVVMu6O`OR4z!AcV@1xBCulv! z5xSJSvQb4@!88S=6fSS?uA{9lnWN^dbTnbrFO7o+WU%xzY^t#^7_ZByWhM&^xVAi>X5nA%Xlu!A+lV`je8d7W}^a!&pUI{1v!3P zoe<n0Sk4F7!obZQuDI;`%+|29=xp_^N|k+V89zD_YaZ6ZZoMkZLAai62;r(6BE=t!r~ z(q<(E-Azv8_0FjCb=T5RKDE+`Msy3w=Y=r^#ly~l>JKmK@pg-yC=a=khz-rF;;o18 zK69M!LAmCuLsnHgNf?|=#VPY!qDS{9TSis6J(yHyo&G8MiQ7J_f0p~vve>6u9)Z(b zysGXx7kotH>vFc`3Qn-taCeBDS3z=)DRi@NbVyue8Mp3v*eq54O`@*QqM&x*HNLZ6 z?mTOirlCs`-vvXDcTrPAx9bcUV}@sigWu0{&;N{hD%-mt*vv^9YV1v~G^*BqFU*>K z7@>}T+30)(>GN=K|FI_*g6?N|kEUXBEg2a-zDZ1(nms`>sQddX1(w$~Rg%x$Y%4QA zF`(@cbYYD4^+7i{->cOCiR*@5!U-zf%Q8E~-!^n+-{WV(sL6>)<}0g_SqOCBzn-8W zdfmIg!PxKyE7F#tVa*iC=Cn;)#cAzl%GAy)-%~msJskYRp>I9io%_8;Lp7b0lfme( zGva^Y)$gxIqjj)sr{Xyyi^HvDKJI)OxE)qk@Iv_PEsd{X(cpWTY@3Fv2AdW3P6=lX zVB_K^Imf;GjiM!8X&ulsmtilz_9bX>LY)XFAbO(J!ecsz@9y~wJ8p94tX$Ek5BlP> z2=jW4Hiqv;zi4d?ohPmA4bi|(PP`^Q#@5J4==Iqt#^0P@?NeSwUCM5>@PNM$C*l$iuGfGR|wDOADOH$MV$36$VL7!h~P8w)FcGf7y zj4_a|TfX?Ay{8%|$g6uF|7N@|;`FE}S)lGGujw`WkIZ*me_ZNFxtScCP3Q5U?+$iR z!}~&Yf>&c{@h7%z=NE0Sg4>+I{b6c>_Kr$;C-Q=ad4O%@p3k_L=Ib!#jHpI&vf9b{ z;(h130_AmSkG%gJ(0$^|=9}JL%likbhlzgQBhF+ux0_bN7?c$7X&_ z-n{8&yCTt4l-&9(#g{1QtGW97L7ZJL$JOk6ZI;f@n1&N)?9ND37CrTT_LD@67r8OL~-31scmdhn%3;M zF6C(=S@>ECWZuuUXxqc{sy~e2`QzvPqQI}*B~f0Fk|R>(()I89IbuE%t_9xl);NCP zMa{^wv4h5YOl;zaIf}KjSDB(eIAzk2h(*%PYOQUD+JpuQ&TAcB(zAGR{opD8J(Y!* zG+FoxcaCH^9AF*wI$P0V$G`I6ySNsa|E>`KmzDq$g8b!r?n462MDvNXNBr;%RQ375 z*<+B;Lnq{VS>#Lj6 z+cRu_lLD>!jQzWXWGm@a9NEe`VvF8YCjm)4v*?QH4=?gi2ZUm5Efc)vugylaFcq~M zH&35D;%sB_p)gAJQBRr$%hhuiZ0B5Nb|_xKm%PBXiupSov*nBEDuHf!y`%nD`o4Hq z#pz$3hdB$K9MODrCaaLAijhvc!NRfcjJ{3Ml{nJN1IK)4E^wONuHRmk68m%iK2dnC z;ZF7Eil}~t7#ZHXu~C;Jz3T(rw?FlCeh@$pfWgfY@H^%L7Uf+RNZ_o$Ezl~2USkFzeSHy}{ zJ@%Z0&yW^4W?L214jiTN6HllbbIHxv*&jVBf8@GORMiaw?igIJ0MmULvEp zvAGwP$oq4BD)h!u4_nT#tmwZ8{vE6~a^*t3nw?m|Y#_S7D|uH@#mmXM$4G0QOR}5X;_c(l* zX}y0hUl4I>-X$l#@l~8ox?Y|&0+DN(l}JDxVT!MR+` zjFUO-^>xIj-7-SqSK4T%Kx)OHrgK@GL4l5J#E$*PLJm|`266Dt(934mi|sjQT>nXU z329MR9HyP*zn!F6eyBZlDM$O|z^L4zajV&m8AhS^q%06fKX)Pt_7jV|>d5!#{0`4S zfA>!faxH4gYd@Ynu5PFpSxjkev3xi^V4lP=PxEHEGPiyCUPVnxl=&Iv@zT5VvxI<; zi>ev(4G(@-{4D><@}4>HSK$+mt9lt}9yMR8z2=%eTIXBwz2R-FPg2i2Q8*FeAn1rY zb?<%uv}ztnOZZOml8>2~-t$`XbXu+Jzhd>+^$2SX%|&z7uVuX7{<1;R=&>IN(+?{% zoRQ1FR254!D-r+1Zs;1fRJePaTs5xc<-h~CLiu+8Ft0eY;z09VWXd^%{m)u|&8A8z zB%HgZ*}=xsYj{1_ZBUy{tB+e`z|U7!xBIXyUXosQR2+Lq-ZVufKtfsVV0N(g%|4-# zahtXI_Df>yySWxbV_4^AIx9d2zX*TK!vku~PgERGoKtLiV#6WF#;fAqCfQvB^Za;$ zwx{ei@27L?c6`e6Jtb#m*g8L@*}&F6hXk4eJ7EgIUI1~x@#2GPtPQ1X0lo##F2?3p2pAF|lJ1HHYDRpgf6-YwxzgN&Gs~ZeI$Zeb-IKU(L13&x-&0wCkBzi9oI9$@oXe7c~m#%&OdYF*lzgYeBxxy>yoj z?e>m+h(>D97OukMYMm{}bpZH{MY(7M~HvR#Vc)SiM!W|E}f6UCC=3=;1WtGKz zwEKKx!IiVoOP_P$J7^i@jx1lBPVi}!+F3NHAav8EAT8^Zk0;%HkbUrR0hs9;;$ikX zn@U^e2!)kT>5qPR`#dUU%A>ENA7$IS~Zt#d1|)n z*~Ce7;5RQPk&(CaUB+UCDDM8;@H_Bt+J+U9DPKctgCFfp+PTxem{B=$x4-Yy(Ah9D zL-^@}&m)6BqE7shTX~qlJ-wfBWw7jOlV`6aN$I@-L+~{2cZFRWgMZ2gdKpq-$*1Kq zH$Re&6LOzjFTcEb?-|>kFiDZ`Z|TOXGP-k*Xa+3Z!v!)Wx9u&v|GGhm6aB#As1ivz z=d;ukmTt2(7HN5%o-@`>`YjkC-{$#mTI@ICG_8M>X#Fa~j&&b1ScxoNsVrVX?&>^U zyPTqO?dg}VzrRc>N$l=?HT{D(gmham(%1iF=go$54(C2SzG)K>*TPsS(f2xUZ0!pe zb1glZRhsOtN_029m95RucG{59DXXH1kx5Io0dCa;NA0>&*BaJ^PT|%UX6fT{vDQi5+Ek6qa)y$y@%h{IrvFFFd(V zDS^4*L)oH?%&*apPZcB4G9Oy;U-CGrguK5E1j2o8=ZIP z?Uf=`%}$9p3ka;(()4AI#5%A#a965Yn^mf6fbyRehPQd5sum({@d#&qi1m2mn?7?_ z9V^mJ%jh@pYS}5ssnkLPC3zo}M&k93vl-m=Jx_x64zu9fT+5&Bzkw;^wMw4u+d=qv zJ*t=|s)?h2F3P6-cr zj#~U`qg{PIc;0tDuB7&--fTW&lcp`7!h99uTNdGP!Tx$y`xG<(*8;@HO5>{8_N>JD z)}+17uAjwK1_Tb>h;_*F8+XZCB<&FVB^q8NV5u- zQ*%PUejJv@#K;_9aq@IV+TGXd>C#_|l|FYhW9^lF;3_UPQf>-za`e108#!bGg!%B-{ANR8J3GWEOUUzUT*xMS+p}$rR+>Tm#@+0~FuI9Ht-scp- zueBsBvVTDzDIgZVX7`RoHFP)?|BAGBgvo7Fi(QN!^6dCuDqo4qH~F2wMYb#z7^0#XI!0aZ=-h z^8WI(1oDovHPc(A)U>fVr9Xbpd}FWohyyw-q4?fVOl^4~s4 z)OZ>GDe@t^z0g>wyF^Is`_~DXV;a9%)T_Xtm;_KtMuPXEOQ76`hdeKq4FhZvaFCCT z0-2I-M7URg8@aL7YW zxp;6<0ZtZ^&xCJ8z(D^V9&p1E32OF;fI<}rw@MPwsGI~BRN>@$6@!>nkAP&7vXl%_5dvtk$m zjV2;MjHbuGL*e8VO&b`k5*7=rw4aj>ATVesO`ut32n;1**5_lee=G|G21l`&6`c_n z{2!kS0z>#?xgs!1e=IiyM){BBj=&J9R#2F;F9M7D^UD)~UB_Wo^g>{%INk^>i3;R{ zz^(%!6rm|pAU_0_3gnN#Qh@>x*mWRg#Xtm>3KZxZ?C$UD?h%T>QNh+d!QP%;kc+yz zU<8he8iK&BgEA|I1Uf6Zx+8E@WN0uIIShfLB1a%_ROCnmj=IGt1da&ob;ZGbAWk}L zwlCl~iuL+}Z15~QZ<6-4y-eOS3POwJm(Eo0LZEp^nGTjQ{$8CG|5&9bYWn5b6tVe1 z$imZ8LA=uq#fLH)`1LDyDJ(pa=23Id2W}lBm9}CF?L~Wvt1Mpn52l;DCKKyqa&H_A zw0R{F&T;hfoC242mE!)&ox^&w>UaHeNY5KuUn`f}^oi8@ln0f)RtsC~C_YeiBl5LZ zdiKY*n&!?EOT!iYYWK8_k37EobbtBBA$l;QS;O~8vu6Lu2h!Xu|G-a?srMzrPb5!r z$L5CK8c(Xm3w~(o{%G{b5@S#hrYOy=%kLS2-BC`-)ha0G?y4nnJl*L+D6N|yQ_Ws zEYl?xrbW(Kk*CMo8N(C3IJ$Qys9jXs_dbGERcfsM1z&ALNXxd^@4wzgO;vWk2!H-8 zn3tq6ce!gjv%9}rNNBLTvmeExP#fqo;3X^S7s7yp5uE(YAPFk4y>N1nkrfQM7{kHm zGvZ)vuPc~`Y*daoIBjeVlJ^nGGA4&%K*$tMF4~s>13yjSK+$v%JUs{}vmF?O9Au~j6i6M0gR>n-@Y3D{@H@bP%Hda_ z-Vsigbs)h2of9wUbkqZM&Tz29X%>jO@PKDnNucih4z#%ZVJlk~TVUnN1J-KA!K{l9 zSaXGgBd#Z5IB-b;4&ZKmFbsGRAOe268Nkp$D^LhHxckAdV90%TC!Sg<76FI+ys1S%bPAqdo>^ok1fa`#7&2vkIG z1c8d^iy*8cGAsHa2vjtG1c8bafKd8N1_&i8(!WHZw2lao2!%TS5QP#II?z4XJHXA= z-9OYl*xe1G^k*F;#h|c&Q1=jTe@|a`gc5Zz!3d@G#XwYoP@--hA{B^Jl&A{|MJQ1h z6oycyE+`zKOkGd}#Mpo6F%qFnC8a2Y^52vAo8-{Z0B(71P-7uZe&*u<1D$?6K+#?t z1o%P!GQl4X9{5edFywZBF&Inp=2L|3J!pS_xA3&`< z8JeFc4FeV_aI#YJE*O|j;Q={vVjv^sFgTjZ13d!?L{e=*a~cmhJ5>w@exySsEh|C( zn8pV2PR5^Rj>#whoSAU)iwryrG-W|jBl83doXLiRo~##OR}N*XexMQhM&-l;<6LMP zIccCbmj^iHdIDYm2R@-l@@g(Wv=iuu6gUaa=fk1+y#y)+aB^pU3~YV%`wQSOuv$oo zrZ_lN=njad;bhKJ&<6O6AciqTg5cBDV7UkmWQ&HulM)`lb^u967uUdm)fpZzTjB#= zoPmS5N(qp2#u$X3rLbixXeou0)6UAmKxr8it zA`TKIl-Ys6xQZ82G^eC3U7HI$>fxZGu9rgC%vD5 zGO6jU51G{3G=fZOaT-G=m6%K*lUi2$Ad^Z;`yrD`1P34!0wYlr)j`N!hok5-G@1%$ z4w+Oq3&^CxSwbdthgOhDg>#0?bvQ_h`9T~N;_UARxu~!%kV%Dgg-q%m*O{0E{ig2p z4;P~`>+sBq(EPvJ&mA(U@E(v!h4=6dr~CnR1)h*e-LMyAQi+es&*;BO&>Q+AD!dP5 z5)q{J$oeACf0dvgWUlWTBJMEXQ13wBD9A%a_lHa>y1%zSg#K3+20$hiJz(8W#Seu1 z)SdrJ@8~}w5kcX1xxWOD{zosm2UF-Bf&L>Gp)Rma`Ot4PU~AbyqAn%SH!KA5QCAZL znbbf8LnieoCq7t4jUm1iDn;X{r}3vzp#OAYW<_W{ z`1P<@ArwQsg59CL`ap!&O<2{^A%lt?i6afJtnUwH_IufhS#)gBOVjZ&*w;OjLW zkZ>&kh9=KnUn*j5{xgzTpoB-7#Qir}a+i-u^93G_|Ee_^a0ukgn)} z5rJ114(#b>1+`u5q`&zc92^kwrxT<9_IgO;tw-!{$A`KP`ftzofHLZD*Y|`JA*EZd zUpUZz6@Z_&Kji@b%7DN93Qbi5>gwz56>zolllOI-!NjP+*2g21sR^ZzK@h1C*2h9{ zXwcL19THWSZzhXi(O7~k3N493NlGKA&w}JpWU#vjGYUe*0>@qy2}_YXln=rm!MtwZ zQR{WQ*+=Q3n|v4wt8MaODW$#HN6G6AKIjJ}geVkX?-Qj_CIU>K1c?%?4WppQP&CU% zA3^!g%>S$yI>D_zB^)KMHqKR2rtrfCA4(ZZ;XUXB(ZJsjpppt9;m_igz;gpTzAmZP=K!~R)Ww&V@ zfuim<`IIrF&4&aLE`>!l4#eOo-D8uFK;eN+K4ofH|BWidwUnFp#&K8-MNCpYq<_K> zEt*15l+S;B%3C9YTW6h(<8aumIfElmI_0Ku%9|nx#UJ7`3d3z2h{sZH=$m|a3T1Bc zDN{PmCLfU^MmPEh>#VuKhk=qBL)tVDLm+Gc!4TH_(8kG1IEwh)&L#cLel!t9(I6Wq6QLMx@ewG!f73XnEoFy6tyAoVaTpYSbGegH7?jdKtNFVa z4AjRrF9rj(m90L)7KXy0mA4!n22G?8^v1$;h93HoYlSvpT zs#`$tN?S@1gC|mi-bP>|o}#Zd`LGnlxY4Ifq{xYlJ|doyTkG-vr`|C{0!7ws9H@+; z+-5iVaQ_E{uq8im_;rcAVJ;4*{GSd+`qTb!IEeN(fk3T<@_u0BWCDRAV>b9OL?Y#d z;07O-Lh4(5IEqxi-rC>%)fL0)E^caxg~^H97Pgs+%Z;} zqBuADaM&$bjl~hRbU-YQ_+Q}lhhXuf^$XC(2SWW|OStg(E!qH!SKb;0!v8sU0*-R^ z*oZ+;rYQLJ`2QPzCDfK4ja9;IX{lHxs8w!$pc0;PXWIy(MA#x!u#lelZ&I(vAFI56 zS=l%l>XciKL|JKzqQMeT8y-k`2$qQ1BDt_c{1#fq5|zxhupX93q`U>%uo#F3xAX%j zrzt9U(>NuJ5-7NbBw@Cc9}c=RZ5a>siY-29>gJ8(pysnV?;yrd-a3~WG$^e994ij9 zm0@vM)E04q!*10fl-%B2LC`j~@)DFM|6Snvu|jN5xo~cb5D~vcsNx|0+OiXn3T gy0iXyJxjS(g@if>hpu0$@F=`8iW!O2Gu3DQA6SKnvH$=8 delta 14867 zcmZu%cOcaN|L<&)bw&thZ*IAPvR6eSTe8l`%*aU2-etTfTO=dOxRgplC6yvGP06UJ zv=#DuU#@ST-0%MJ^t{*W{d~Tj)jfK~Z~y@iyGOv@DO1ow!V(fJG23ND6kPX4H!{!krXgz-5Q&)EObO2C$AlNBEA z9sK6kpxvg=zdlH;MuvWUow+O__G|Uto7FG#Z)a|Dzv#JsoAvOL;IC`M#T!SLzDK$* z&cE@*mbAsKb!;d9s`U&MwAvJ3xfY8yf3aI<+k(oJj`aQhTY8a1t)=BmlT;n?a2&wE^ zmG`lT*uXFMg2ADG%&cU)YEkL2X&1vP_?Y5J-c^5sU1|e6nfF@x<*}ig#;DO(L0MeDp>n{{M9A7_S@yt(!22FvmIIlEy0Jr?ie83{6T z6lA=pFd-jy*hihr5xl9>t3G^(8|jux;RRs=@(?4dlvMEah>c5Kt&9U!iIWS<%E?uz zxceEV;MKkEpRNyPOmE(lCh%y)Gr}M4d=#zkSJOKoHW?gUkk4lIxq(w)#a>pqqi1q! zR4mLSI^>{^a93qxD$2nn?nd7!CZckeTXn^?<{wF08b$ru$Pc>W(?tn9yz$bt=RfIh zm%UT9*Dd%I(KT3M-Zd9UxLrMiw{}94i(sIF{khFo;_r8h-CR18w476Fn~5nBD9@D-+^n!zb*Nd=9f)`?xYi$(OHazZu;4 zXh3QGp~Kv`n|nK7rV2#!x~n;59dm2Qb1W}bJ!#AA##kSew59qDUJ1>fZc~`n9ItBL z!%`DC)idh{SHXp|iP|5P_II_(o-D{>U~rd`^G7K4vdEE7-)jC^U~8UCIg-U;y3&xi z33PjhE@9d)kL$7ay;>7{@9ikT&RuUOqg|bjSF)P$RVz$ON>$b46R!zexj9RErHwN( zjkLce_0r9zbUHg9r@vE5?xm!Xptzj$g}|ed_SO$N8+KOs3GkmxsCPe?-Dm$!I%Mdv z>n`u+7OBlh@~MU*r! z7I69j@{s7(u@xVYOTtkl=(j4U+Pg0zY`%N*m>t9=np)jSE6vAG3CT&NACnnnQpvHt z#lkc;skAJ~ggZVq{$($}TEG0D<>%u{BAnizdqID?e^3V9%GZ26DW&|-P)4Y3bA}*! ztCIvx1tyXWIi9D7MnatZ)bdj}~g&2}JdQ{5mCwWIM zCb^=|-c4e;=R$zJ{mWY7)7g>mi}kfP3q|7wb|E4YJmF7iV(_s51sctv1EYFGy;S6R~lHIasL1*J5r>zn+B4`=gcSr`P}Tx*K#I`?8~V@^wn`RUr#XSwT5jmmlvxPw#@OZ5R>ksLW=AI*dQ zS(=7V2IDwk`ixb9g)dZgISLE7bW%FE>oX1wKo2Si+E@L_Zigg?zCo2c)^o&WXCFFX z$PmX_3G?-W9&`gjfC9bZ0Zrt z*x)&DuA^HkxqD!mNsBBs-@<;r?*8&ieq~dRmiCg|`;h41?dAu>)OK`o7H>)liZ^qW zQH$kZg58KHR~}Rr;%3y-1B1m$k_Vib6Hv#Um}fI3)Liykd_ToIP}FuR<39Q2RB%-L zN&GU_s*&`ZVM_n%3zH0nQ$(&;*V;Qdf2DmJ6MmmhaMsQ+FgW+zMf{ic_NDAMuULoY zCN3N+5*|l-+yCIIh9zu&Ae^)%)^f+3j!VLh!erN8d)ValNZwSbEkd^JmI0}mCCLmP zsgL>-US5st_{5weQ-&M91(w(p$U*F{5^Y46nzKHv?wM|}lXP`!L1aH#wo5(YTF~zL z)SlV0eMu{FhUdTpi;{PNi~aM-F4^mKPc!$Zaog&NKGloyzT9x^E2)}r3+7|hBfY08 zY0+LnHQUEWFY3IXHo=g%tH!N9)LWlo{aoc;6fcG4+^H?xmG5u)_0&9h#2HJTcZ=yg zQmfIpbCJlPyxHQYgt4^SD2H-P*}YkPc!@M+G4yoHTQ@^C8nFX5&rrOpU3Cb7awoDI_YNc@?r}zv7ua*aEwb^ zy;AS#b5@UVLlp&)#YdqxT~xDXn`6jXGrMoL@p!(3DaU)-vcwx5N>HqcG=w2eD8J^2 z*^WAgPK{!3>0gbOWaIWS^o{V8g!3hFK8iExOwVSTVN^Spcj%c#l#Y6pr>=1DR#uv&6b-|qHg=sOV^YdqTzdV>X!izHRc5O{z&@5{* zQ|4F94r$DQ+b1L0N?|ur-rY&OS6JJ+NwD_vrMGnsO#K1`nH!tZ%r4(CzZ>>3tHYqN zJA7K9RcPe3c4j|e;%-BDi~QY^Zd6W9gaETKo8gvUvbx*geeeo34lZpjHj_l9)u#4*U4g_5>z%9ugc+sg zp?j6X_tu;f23SR$%uag@9{qTgRA&Ds>k@A9+biZ*licxd3tESEj_5q%(UulW=^z_y z>93q-Zz(doJsg|x3OFgg<>xWjW&UIfD$OqQ;-&#-C+~*cuN@6E=UPXd+&hJgQdpMV zHs9vCq&Y~5^I%jvzDf0{$ZgUKPlo)fIwu$qdA0CU&wJUfva%RlHhWgcG0DvsS8*lo z!|~&%id1~6WPdfEb@pM2$;D%JGMWtM7l8&S*f3TR=e%_1>ULSJa&m#{aF*2%bPEy^}nwjWGR1kBOE=+ zkZ7N{y(W-JSVWlpqivdw^}P36&2yeB>bH-=?=!w`6#ZsiwU@C&%W|Y^>^WiVG(0*C4<^#Y<()LM7J;4Zt`d^ zYa2XuRX^v-Y*X|2;CFIjooGZ*dbHl9I1_G_CRyf#W|^&Jt@3Zh`QEQ?m5uAw$*I3w znJypTJ=iRHD|ol|jL({YxpsZjL+l&o-Xu%DZAp(cV_GgEC&igsG`V*?`0*Tu;%B_W zIVHA_;d>RYNc)RCEMxe-I-@gVi#9oa?@-7)k=5*8P9lB@s8J#fB>H)6NkpVA zJAN47<(khH#&u})Wx9^`Pgt)qbM!klu^iP%6K59hg{X=50blALlG|AcyKjHGKQqGX z9H!Tm&ZI6>{I#t`%yvLqW4YNaN4ln+Y1d@Ce&G;vP3L3zl!~8qb$w^HVUMO?5S12% zuekMAn;vpxxtVbz%7ZuC9t@i0 z+16P^hH*IVPSy9f+n-Ag>>I30bGH!Ad@U^OIFp-ap1q8$p3l6nE0`!n3Eek0aN)F- zr>F70#r!R8=hK;L^cf5fCaHUxO{X-!&)1FAVpZ3kF78r`^I*5WSCuqWQte{pP^Cm3 zUpd>_jLu<@Oc!vxAXQZ0U4)USl@eRjppg5@?(OQk_t|X^=YU@ySs!_oNBOv15l0yr zseL$QX(ae+Qhh<=UUjXn2A6t`v}(+x?;1LaZ7X~@U#MfY|K!%CQ$GQZLe>ka45zL?$7r2 zr7&~IV7Ze77tbwkeSdB;nP*a@Yg5wUu3t0U_wix#+^M$K>SH=v-AIo-r?SbB{A&nr z?x!iIo;hCq^>XxQikAqIQF2l9UGu&Z`1Y543|6Y+I!|xvERsaCzn)Sa)6v%Avcudd z<+(k|v*7Q)lcOmieR=}xs%USY%@FLTcyBE>ZYCDbNTyu8t81;qMXv1laOhifNh!PN zyUAcTs!f_cNbJI+_j z9RHC0nUTyEdH#mlg-5r?RmCsPUaGJ*ufe~3>S+Tm-~XW@qzkus(MV0jXRqv5`ugxLx1{qV8*70G*R#0VYq**&ExmK` zk50+nKf|Zic5(ZcumH7bg>zi>rQsa|4UY=$G6NA_j)s^NMEzXypbBrx>d06@e*F|_ zu-ZoFsIijv^<#S$o2~B>J8hOeN+af*E6jz15?vYsVkE_e%}xqdT+sVTK2vjbw{Px5 z*1pvYc^8%Nru zno2~PC!#3z z>q4w;94Vd9usQURbT32u5%v@r`xsf1T}Ey`(r)heV%lc78MmCHI+wJi?ge>UaOP6r z_m6KLE2)T97Fix`81~!;*HU#_b1_JtufBQ1)_=lgD(0a!$0B!pP8#WA>0*gZi|Gwc z!z*p=bt1b2&lWsNu?pIu+#@71`t_@v7@P1sm@3G)uXGxvnRnMVwMz7IKY5nvz>5QX zTrLS1?sJb9xpIvj_SL`Je4Jr%a zTez*!Z{pF@y5W@T9%uKd@UtE@<(eKpNO)bd)gZ7~OLz0!P#-*eK>gFtsnaWSqi@i! zhdUIOzLsB+ugA|i_ZV(&^5R5N{M4km1AEn-&#iM0rF@>N-KnuVn@rkUd0_V3zRmJhstYGB9=w%V zf1u;_Sg@mfr<5aSolK8-PPfbc?nstXj$?=<8;K-!a%5XUYN(0}BI4M}TL}>~&woA`$+||1EtdlkiN2$1WjJR^_Q@xR(q>-PVG5SY;#a|mc!@6_NsbhvYBTi(M zkVA}7d#)Iri%`fO`EHt!okC!gbR>CN=lU)f8;xki4xg3L+;ODVl|8xmVyN2-AEyTg zR9PLzZQ4kFH%rCTScD%n8(8Nb(H?DO%IpcwDMRA?y_(*={cxMx4V+=yJQ3M>v!ac{ zU^H#y!O54BQ_1sS{P6x0QtI(WFC_b_$Um}pc`F>=46q1s@d`=#%OVp#--yu;f?Hf? z6_|L)gFQN;+z~OZ-=`gBxMvsqs2=wjqiF9OW#Xj}8GhBH;ol|A^m)UDxL)6z=vJQm zc(ZJ%&EWQ})@ZBdi^6SH$shXtA0GU5cCzc&QOSy4i)2hQQvX+eLXB<3W1(PgGXjwu zI_J!UD%3u61)+Ayhf^l1?&&gftz%`TjBU+o@_850)fJZQ4=qmg4D!Yn+iY`nLdBp7 zc}yZ962*@eD|=ad%7q`vkE^z{S*;C32=Nw=HhCqVb9nA&`?$ost>$54N7?f=tNI&E z^6vF=X7VaaMaIK?gHI;1MxLUF{SSHykq1mKpS^Qz6+F5wS@$E=^`mmQ;>->6ik>Z3 z*Mdycxx`ErIVVE-402ksoIUgcLIXry#~b;MjqFhzHa&RiE~-_a)yLD*pr`U_j%DdP z*=v>&4Ys*O(Y@zJhMGhi9WkPUUX9U7)2i4(gM%G;^4|}IJM_+1Him%vU2bQ89hxVH zPVd}#JoE=s(Q}i{tXtD;(}LrNQ+It+4pquD_P@kyDGT2s9{q0Y?So{Uy;o3-d&7hk zIQbX*LVRZ4_tXb*9Sp<1uhie}F|#+^ur|!1Z8fnoNhzFSQ8%dil3U@zTfvXwR%uQS z#b-EHGPc{T#=ROj#CIN1-h$L6S9yLvw3mE8I<|GecC7QR{*xQS*%kf)R}?q`$V$8X zjLOby+bki~5#>8XqDt0OqOUwCdAo1Zb*(#;CmrXW46EF2vRH0-o7yu_s@(PQzyX~F zK~=fpvd)sKTh~=Q_PRKv*|nb){Ar4INg1&9jd|$0qhfpQXH%A=GNR9$%#QKv@pQt-3JQ^=mPqFOH`#EEJDDQ$6;u!3C#gR?T zg+qfO%6mZBrKeX$D`CCb>i0C~ww(|slEyz#q^sK5PJH5=!CCT1f4!Tlx>B_bz-38LAz~cYvtvI9+Zk#(d)F!hm8>uw~6>d-o-E6`m4_68fVW0 zbCa&`=jHAyyr6%4`<805hw_w`G_OwHN?_6G(q1Bb2X0J2^YZrdvn-vzNX zR{LgdJx$7Jw+?N8FH>D!x~Vh_MX=iP`rWT07Ow6=TXyWvBVSphyoz^znB`_25}S#Z zw0}#MJVP>Vhu<4bvrS1fw-wjv>-Oeh+gyQ3lTho`YX9IP5fn-e``lT*iic~g1*Zxv zzk9xRZLRm_>Lsmr*WCljYs}gA&wYxBY#X_E;aN0ceoM|b*OBTar=jJwqeDj)K<`I* z-!b{xg*!_hUv=X?&%5@dmKL$^RGVZCQ%uu+{PYrzIYr7VF8*=L;@%36UcD6clLzOm z-u5SRgTinfho%0@s73wudKrR_kDvWQ{MBH?ftT}%vYd`+2_1>$d9uH^eT;OSYdY6K z^{O8AYZ&)Y|^*SF^hRyXS(x5W`3k|j-E8qtm%_3>%`P71si_Hz~!y?MSLq_XBQ{< zZ2n-un#s6a{WG4Jo?_NWHf8L0d|!7GD{N{zh{(P$bp2~ZjOL{38MYm14eTnd2{!d- zqt4F~uaC!0PKiCnck8`#%!uzQlhNx7 z9$3mUAPHE^C~23raMZdBl>ZWBy71zpmfmz1&a!naV$w+^->fo+{}s7#lF8}5Uxe(I zYBp9G9F{RpSKW#IOhHV?D3ilw@Kj;(Rjc)k{laonxMahbrcbQrJ)*QPlnke|qz>?* zNd-V2uudC}e(S$@#h(g~Z3ns)EYZBpHrCzfi_ zdb)J)%>3NUBNnw;A2PYJd!Q%v>b~ki*z)#=+@&(_0+k!yy*#Qc^uTguA6_jdD6Oz) z=C;A&=H>6@oc;={@qHImT)4%x=f!$OCowaQx`bo7a`QER!^sYOpq?cq zaZ%x>`_6%(uw3mSo%^SRRL=Xh{4&moU%km_(mgPkJYBG}^I}5}`Mo>o{Xlp2ivp<| zwdi*4!-BT00{dk+{l9!TX?5l5(u)U1rfVWjZ9|C_Ro4U!QpZ@oF_cF%=&o)35U18C zSr#}UZ@02UjJP$3{B=3>s?g=9euj#jJrd#f7rn=V#FMtzPwJJECGM4cW%!9ii~Eti zYoC?aU0vb3bo7zd71K2`m(H7!jxXdjd4Xc>pyyN9*FrV3BVP0mtN1Q7Ib%x>o)9f& z&Uo@xR?W>xnUN%*aw*qfSB*pA#M<6dt1nU?4?HCd+kk&Pn?cP4V;=NnVrH~2X_-W0l~{r)a?HEUJi^{Obt zxA|hN6`#pp?*y;v+^4(s#M_=GqqzdfK!8mH|n3km^vJMK*oZnNH~Z?Wq<$_ z9EhPwfCCMu6re3(AOQ^rOPDWU1_P(8VL4%70n1O3z$w812aX@?$KMA#@d7}H&<~Ud z{6K;@4mK0v6n4!_82CnngP*Q);J%h5$k*Zrt2{h?YxSKx$OjvoR;rWx`_V164y zs0Sc0G(&+149!pw0z)$tjKKUh#GxMS7D5X2CwYY-Ff?PoH6gy)akImB6v6_?E+~`T1vdzCaSx z-E2x&wZel>Dx4WQ=_<+jz6vKXXIxF5eY=X!niOo?b#|x2>yPcVV>*|l>+&-%wcT23 zZgf&vz8865dtKHK7e_Qmp18!KKd+XPujO2zbi~<);lZ!WSK;lA^B%Fr6BmxUD^3aR z{4P^gWyti>FgMXiU(|?a@7-*LhsJzTX2mjMviI{O?-<_63G27ioRvc95!j~lEy)YH z{2x8#*z)X5U2-=!`{|uGS}0~uz#a(xY?Nwvy9BL=WU$@D6wPv9#{ir@zTc;1+`Z|R z3+0-eiP*cgM}95ip4q3DR_Cw+(fXHiOZ?af0kPiNULuQ=li&DPr|UC1C2C?i*f~gn zo}pnOB)0&n6y$!8LxY;FAa^ik!$t8oISB*yCj1m3vm_W`G=o#l@3ez~lATb0RLB7B z-5!8>Hyi}!%7C%m_Mm(>KNz==rFfg~hXHkS0%gSl5^h?+fxqQF;9v=-?A&_~2Jm~~ zAlgnI?6H0g1gzm;=e|&Y-vGu2-0mnEPfH}fJol`$3a1sFN&VwM#88Ws%960Rf2hXp_0AZKi;N^Zeh;(@d zNG@=S&jB(F*c_mOf(e*&6#%wwZ-K5GKUl-cgCp)UK+l~DMl#@}ha+(HfCKHbvOv+( z4}A3C2X&tLAm0-X_K~2m)PNFbFVYgQExrxWGVrC_hw7GN3VV zF9;8W1D>E)U^Ng>m!i};`(uR>;S=` z0$??amC_$73j_KW;Xpk>1}KCFfRABtN?o`X4CIIN1FiyDAQo{6%s?}KE+QR_M8JXf z5gAY$=>~!$;oyCaEYOWI1#D5&AuJ2JqP##FBvS*hKiUe&MXx`2HaZYAL9+LeWU%iD z9IPFg1Pe#tlut1j7#`~Q;El8lC{A4h?x}EaCM_Q1rV0FhgiE>; zkWYtG`qO1#;Bq=Yg((va1B)4OPAI%5iTPus9CS z%XtFcWm69u0G{Mffh!g`Ht!h!QSK(E?i`$OCZTm0tj?^PyuD zJO#`7aLQ^y3=F(2fK#$g!eJolBsHE8{uPoyMIoGGQKSe1T18aIlLO7gH6WsxAGqLU z!10ngU{k_R*;(2TL0~Br=KO(RIX}2wEerOPvx3obLr_poMbNv2q8V)+EgTdKqehAZyf$AASh~#vDj5Bab zKutCbIM%=ccik*lsa*#)m3k-ewQim4T(3U}QtPQ8mkSin!olR(o8bOgIOS3U2MoA3 zQ7e24m~Pww!vN`X@ldTp2uGPbcK{|sYvI2oPF!!wza>t@&=5`#9B-L;WG3q5f3JMPX?PTAwbc^;ymV(O8rQEkR*EAtWdo8niG$7XS^K8;2p0 z=0*f0(qa?|iL?mGK;iu}y`xDXP#|g3`#*hyqZnM|V*pV-5L;>Qf!Inr9BjXG3@BZJ zgJ)Mlz+LF4`_)mf=PEzg)zJ;`9n@w%4mMxo2i@0#!1-%%ia{rIwHfbPrzk$xwHY*s zpyql43IV^s;P@?IiFhiSZO{>@{A7cUNTnPbbyNWRN2h^AQhWO!9rOz|K1d`m z@0DV}V8NkYIWiSr{#gaZib@MM=rq=M{>NkJfK;CK?>an+$^|#*G^i-`j}A#dQwtUP zkpG4NNx)JeaKl18U8s-*0$m7@L==^4{kxZlqk{Pc9iH0ce|2O?gn*t3Y=4!%by#Y1 zZ_weXP4}-3f_r)$hCmlVs7W_Q0RmzT@-A{Bf7vkr%M5wUa~fg%#<45N`yfoyOF4F!5b z>c|jG5a|~}4MDdV8me?5gz~hpbI>Rpb!h!_5HuROA@2}8p)pX}sr~n#;zFbGRJ!r6 z4)dE)Y|vrojbJpWcd!lXAVi|m5&qU2nTEe;sH!&>5*mx8UWWdCAol+;f+f(k9Ta>j zi~4u32AVpD{?U=4I;XOsf0Sqq4JtSNS4Tusx#GV%0+C2}Is#PI8`lxhbghUcVyNu& zcl`g?+h{zIuHVrFs6aM8kbt494=ff>*tib+|3nLmAyOGK?H~rU@u#6d|3K&<^ijZ3 z+3UYi0B%EYG6wmZ=Kk{y28p2(pA9-FGjuu}l}Kz@hbPjnBhpnJ1|s%!afB+C4jnKM zy`(dO!u>5pS|wsoMCuEOf1N=?S)kM5{xkK->v6=O2~>KzVKb5XF5q7s<~M2FprapA z7%Y-{FZg#ImOd{SG8RW~7>lRAG1#z~Nag1L>L3uIb5KKrJ_;Im>T8sL_u_tEp?=r# z|H>GHgT@ElLOk`Q(}v9idI#}H>V4whb$Aq!ZZ94R;oo)ZIEKOF=&%$6f&Ipk#SoBm zBML)+n&s~Ue|rG&2>Ry{h}6dY*Fho~f>SyrmToFwh&VdZhNVv64SS)q(~&@^e5n`L ze+*-h8ta_{CI%&;i{?hhu+V^@*Wu{u5sRXSP%H{^cB4ILkZdd!EE-Lv`cy9Ymn>k> zIKsv*!a|t0F-Q>j(hUtPhJN~Cp-%Wux_?Iji^2WFv47V9miRwz^}l+=5|MP7z!GqD zj06i|^2XZ3LY#u`AUFc`>hfHH~bn@QVoQM#UL0|w+ae^ZnEpIRm=jtpbO~w3t9wpu?h`y3ki!1A$f6VAkjD! Mhpep89%GLG1A$2h@ zKZq;hCB`$St|b49v!jg5-RR5TzoT2dF3wIC=R$Oqv{b&F9qlD#AQBIF@}u94Am-zb z5t;Ga2#vf!#vAIBR{I-4p1Ila%c%m1_yfp3(MhZNh6P9K?}@R323-egvo0 zc#^Ni&MINP-gxoF%R?1r)(?!0ZZ}Sirw9S%v5Nu0YKnz7HW-8k!jcC!*Qe1QChPXX zvJ!myE-&(GpE{>iUal3q6!O5eHS=2R4(2bZty4_d7MT3#cTTXAQ(FEmQ;OT0%c&*n ziequW?)l1q=n-w!SE!=>v%K#|1!E=q6R?|5mw}UmqBq5~Y2-V}`mKIDIPMBQS6m42 z1NztY3E8k4`-sEmLlG*kLz6`2ih+O?SPvgAr(AJ{&d#6JoDrm0yVoIy?Z9O>qnVlT zoV}%f_<XBz?1>T4HzGusM1X`9qv z73cH{x889@HWsyf6}P6gCcFROS0>|@;CPDRXm-#|Sv)SF)SvVIOp+n&+47^EdD}TH z&hCBvPNdYM0p*CR*(9g^9!iYg2h1F&!c5+4pRH_+Bdy?1qng#b!|8-EG?OO~B<N*w3EMj7qTMhv?ha^wSG*kP`Wn1?cl75=ZwU$stD>ScAI#aLs+Sad z&t`gCedO&kWvZnje~G(eVy*KouxVryed!3W{;XmeQ=I9z&&@$PI_{%abJx5kSVMUW zo@XK#XYNzgA7;dpq#t+wZmcCh0YOAaQ&ZQa8^tA^hWnzTme%A!T4>8L{sbBF7erP2 zNqC@yZZCSZ*nip#`SL%1Ioy-$)v^EJlRy|xo<8JNmrgOSk;d}D?DUQ?8Hnj2tn+yoSLX)cU zhuLg1mR_Hw)KXuHd@+-Iwaz+iZ~BtIEZs@xOJTJ)TTylC6@`kixW@CL1E*NwE;h1( zAl7~eGC^4GiKkp;&E8E|(b%$AsJRh`<^?d^$c%|Q=Mu3KYs#!i+8b0+8rDPvA+aK+ zVd3d-JY`Q@lk&rqcAn*+3LrypX%F&FBTcRXn=DfdlRo07!hJB#Xs-2G7vyY*7>)x5 z*$eZ(#V@goN;Gg~(El0L2q1J%7}<#r^=ueFw`Cht2&tON{X*RYxr96s2 z#Q}-bVvo8fXlZemYU>L{h(ipj4xbG_?8@Gr`J#T>UL3`CViPBi4LNh>^-;!FYk$#4 z66aqezTj&Ko~B!1DsS~QFzBbyL^s=o*!zYlhCAs2ziX>?jLwyAF%!9h_Rl3DEOn9bgvSGM)?2AQOEpXODaf_fJ0M{_NCuu$>SKKS@gJFt} zB3BF>r{HwtrSh(~B*Nq;t;<~7lJV2%GX)2eqtjnwf7A?>a&Id;^{Q4vGYxJvcgNH^ZNqPya3VPsc#*cm|@ zc`^5UAGHBfrdnBCf7$VTbNJV6U;Aekj%G;EOtxp(=fM`YGs4zT8JBFQS~)8*;uG$i z{+i8JDRTafBnHOvA)jyN>PGk-Rh=rIF}@m&OsQ5|0;~KxOKNjEM}rq!7}t%0`s5|+ zF{ZNNo*ESbJo~=~bwsDAa(7NA7^vQ_WouJK zn>SHkB4PhZmxEYgvbLUUsh((Ua;7Pf724=J8cMC3F;gfQ=|bC@A%t!%G@P|*g3*Ny zp`x>y76I^;$C7B3il^D30ajFgQ8W}!w9-THcU>NMhBj|~%zpEBv`s0JSETXO?{N%! z80{NFC!)sk-Gy^{dkre5If+PgH%g;1^{(U#w$u}nbq_=@l!$9$wLI<*?`jxTo#@>4 z-V*;)MVI#&t`By_S&C1!wR&}EuT5rx6Qu~~MLyu^%m*ro44?ZheK4$U_|CpuPFk^a z#cT2Hx$~KTt6GCR=YzIzb`$;S3)Y~sms%%wNo8G&?d?}5OHo7kM=U^S(+jC%bxG6$2!{TJf8!P%GT$Ndq3|mn@r0} z*OvCYp3eP5CurFBhf-bKJMoUoxiH4|J+&nVd>%Z;enck0?*pA-ahiI-5YNSoVLC5Cpf2Tc8|q+%-)Z9xDc;n z)Q*8p1*$?q6f2)6g1kTd4d(;5GYRVq-Ei#P-2y9~ei%~A+r^f97A9NZM2(^6a8ge@ z?8Px$)PZrwT zaD7mvH88zB`F>6#wwpmg4(S=gt=M;D@#ojMxrHX;@I%+Mj>VgV6hS7{a`NIZugj<; zw=ViFNijF0t7R{E)*F-bU7jinRw*%)h~1i_+8VTFdC?qYIqibI!}RIIoY3$H3pT30 zJ$57fXrw{3m{%~}`=Onp5(W2@O%q20Uc9)fanS!o9!0)=GFKlJ#Jcf`fJ_eq{fmG% zZz11w_4Dj%^0)-6kg_ELh7!2^jvtlQ9-_-Gy=Nwk&BM+&3{bM2;#wV^?`Gg|s8Rl9 zVy%1e9zVn$2mX_ke3gMGP1La2aU{4cxS1oAN^WFZcw1Y&e^LYpW2Z;Z;X{&0`dm&A z7i2Zus;``?f^CG=Sk8kbrujSx=vN=X10*8JAgLW@zdkjcGZS~59L^JvVUN2eea-%+ z<@7;3Ue$-Q@tY*WM(y{8(!@Lum-cX%A-GVkWRv^Iz^7M=6I1KO>C!B!KO`z;`&I1s zeKPY|aetPc6q|;mqkZK^+%+PPS0}UVAZ+)JoobZadLK;>Yp82C3*2V9Qam<)K+KmS zUg}H{en<2@gjD0JjA#|qd;Kn(MgT-HS{yG9&u?6_4~hsebRT$2@kz&NPbqvK!tSOTqdGd5Sl?0-mya>O zKCgG=`N(YUt2w4VxouOfQKFn8e5k^3sru+0XufRC!1xb8j8?S`4zcnx<%VeP9~~Bb<v#{ke%S~;4#l6g_bDm1 zuhu#8?L|lF2^0srFrW@`-7*D6OSz0{qY+zK1##sR$LP!*k6AX$w{H@2V<nE-Ybmp7-f5de^EDK3_`r0$Qdy|7&W5Z6{ zD%Rs&LR@930ATgyb%&Z5C%RsG5;jY_*i}1mY1|u+c}4OQX@PMegpQoHpICFkwY<>v zuq}>bEKU@tp)>Yk>Vyvq9ou|kIa04<3d*SvjjLcKW*D-CE>wg~2vU#)_V@YLpJaj< zYG?SBi?wRWJqjhIbrP%-e=S@S6D#LuH+&w zH&_e*5g+jpcuD%PO~S?cZm7mj`r}ks?+0xkWY6M?ZD^GqzI#%;Lvkmt5vNzr2GUqc*ABOh&S9h~{I!D*i({z<`|4<)`qp2BfichW`Cr;K5VDOs#Zo5+GqY!Gl z!@Qi1B$*k)08NkU9t6deO|lXB$SeJt)Lt|-)UPQ|II%%IM%HsY*O@k0jTfD$3iK)? z%V}xiG5A?pS!Z{*Pq6R44h0tHfQJ=d7h=q+~>LXscUp}=kD*a#h-7qc#h$4HDB`R=O4351dWHUe-k9UGkiaOOV+aD+&ZJ^~*g03ZYhXoOqGJPv|WKP!%Ns z6cy-^@*-Fez*CGA`C60)0+foAfONA^2B1Rh3fPx`1BaoE$RFZ(5Wq(g9w+GoP)Wm) zF_PgB;GPT|;F3N73S~%u2O;!;hRjPq?jal)b!7nNWz2wDR9WYt2|y+XNA^B^0s$!G z;Q*`L5g?#I0&u@&1k~l%0J}$U|Uu6xyNs(>ZjGSb_Owk?S}<-Cm$B5k8UE4b}9PL>DM<>hrY2U zzxbK1YV%+5HF zA!Lr~+Wc9bIoj~CEGdSq`5lRo- z=)3^7bOn)-&t5?QkLPgYg)RaD=)8b~BRfz=p!|6*z^zXL9DHP`J4}S+L4d~wB*=&Q zC>Vzg;J|AGd%*A&>R}rofSFftFggXs03x_y7(mi1S-{2+4(!`9An{)tLV$21IPg%P z3CK3w1g?!qkZDH75FqLe97$y20|Bf|NrCJ)-GGW23E*iu0t}-*UzxoJ)Xh=B&Flbi z3pik8J`40(!jWngUJ!uRiWE#chROnzZ%F`Nt8GBY8jj?8dj|q^Si}Dw221OgfUyk; z$ld{=2TrZu0_e7+U09J{?-~fef7wFdrAweG4`aytS@8E!e89k8mP7Bzy zhXYvl%b;u;lmvNUPXK}N0meZjNE!!v2(ah~2Q(d{0ZwOlT?GtX6atXCkOCud41l3? z9Z=>12Qw;B*Hm#a1LR!cK%0vn(CkVAN|rzv02fzf;JMrF5e)_AQJ=RLjBwKeeB5ti z(gQ^9b^zQ14#c?oLxe!tVh9O%jgCG8$a#^0_(&){Qpl4K0yucX!JBwgI5)3zh$z4p zNm6$e3Jrq*$p|ul3E>K```%^*24EEN5*YCP7y6a29q`B>UiWYcY7POI14)s3{-Y4U zD2SxaCLG3udPKpbb*QXG0RgB($bgJsAD|@Ub}zkvg;0_@R7#>n?Rz*W@-XxP1lS2D zL7jaju$2Hk9^i>2ty_$R@j`&U52SUP#ONUq02xIJ%zv0ho%&HOm^;uEO?pe5JMb)q z6c~*T0fu7W;9&yH1R#$itux|*p|xLyMgZ?NkO_SXdh6ULW(^2*arawQc1v=6qq?s znTqOaf-r(~*-$LtU8+2wl173$2lT*tswohd4o4cKu|WXq3^<6B3L6J*GD+)rY0*&! zCpC){AjygVxU=CvMV2>Enhn2=WCK8R$WUoe0T|7>O@T}xZ5AvZu*o9@iO!)6bxS8u zO9)_`PYU?vt)S4M4G{oa^I*?`4+W&RnGw8VLAM0B3rRt?4oGBN5h=)-4{L?;i2x8! z)IHz8=s~&y*eZ-qLDY3$@==3s}a3;eBXTN;~M*;(N5i3x%k z@1ZK_BBK1ffP4)-BKJ6e>^m20GFr!@vK)l0 zTNdGzq;hnNHw)A|AvW!tM0oFCub+S30Ka8OU7KD;kAx78mk;Q{?zj3QL>Q@2U*9Q7 zO9vxFU;%~?Fmq;dF)laumSvb7ffy(@-qmlU@tMP!OErK9y@?bgA6{Y!&Tzr&faMPr4Bm%G5BO1q|b#?9{0DIh;{+?J3O3C>2!HK?d` ze)0`d?Pgv7q?P1_Ys&Y6)%LX7)PXNMd4YlAPhi>L0|;aAka}O57xuxV7#uzs z-JAtPfOy1U{phB6u|iXqqw=ag9kS1pv#J0V%Qc=wX({b2}VVo`@}h6fYcaa>enm{`d$OsqlD z{QZypM{7pjyc-ToCO;teLX+G4!Yr9TNo5IXuj~@oi#98(q8I&n6pZ7;6-V~k*#4)a zOaP;ln2ii&Th^x#z89~3J9{(H#W>rHb2FMM{siKGqPDIXMg`#%B_j4?EZ{kolVa}6 zerk-c&lEGVXWKD~6#%75xv;x%SN?yOTo%$^MqTo(a5td7gHTgfGMw)+Nl&DW&ll!% zAjny?W{g}L`{X;k&TziLC>^$uDxKY0BKZZUvntQUNz0D3VQbR?bux3 zTrt{L$8Lv`xX_Q!R8|p##Z3IQIMx zsPKCx<*&z&gB=={RN+@hL7fzNw{uqSr4ZThJ|73&(E~*YOMnK#{F1Z2K~EN|xAW#h zv_NTeV8{d~oOY~>ldNc0kX%inqcf524xzT5kI6}u18oWeljNt@v4<5L>c>i|)bz~6 zz#$PCE+Iht@>>hhCw7ZPy}Xecobbo(I+asOrk_rU#jI>A@<^ti$J+8{mW1gqE3~96 zEvN_kz3wNI`Av|F;6+;0xnL^bz8qxBJtHRO^ik*zzaIm-sLZzEC>7n7fn z^|WwPQ$QzH=q746t>%~-9z8EQawSx_G(J+|<{yZEB+E1Kno0#P_S*Z=TlZ<3hG{)h zB9(s00A;Pq&{Q>afVzPaF%Ha%591hkm@&5XKKKj2!qhs5%fi zs5)dbsQTs9cn_Q8o2(hjI#K=pe5PN5wLj)mCuem`hav@Pv+xzv zM;|IQ;Y_6;dK4Z0@KLLDR$h$C*de?U;kBwr4bClEBa|S zGt26*6sPmC7AqN3%pqXXo5B2CI#wVkqxZS-{qv4$=jYFt3&iHuC(LS#3c3=g^cFuh z_V_>cAj9RcT2gpYEdGQ!r_{ew7jlOHARO${HCq#}eW+~zyqp2iZcGztno;cxRmrAr zXXd|ap!mwzWAjdXL&xNO?)tLc8;cis*aL#>3S8s4;v_;_(}Dw$wf&?ej!fEW(ub5O z0ng~Bo#;NA1cjQ0Cs_DnXd&;&gaw->_dd_3bbfT0#Tx0uu9(@20YzwinAXYB|F>_<|IJD+)Gl(#<=%4aY@ozIQ zn;Pm`F+2_&_5H~y2OI0ceuDMk!_yE;PO2FChn5c~$WBVkR1lmw9Rt6o>Xa-Wo>OK) zijEV)b*?*D6=W@ybs~c!8*OXkUcAG%O=SBB#!rupAKGZ* zQ=?*Orumvd@bHN9?6=FA3!1I8w8>!rC+?6t7RM`5v=E|&w!znU8IqLJmo)bw?^l2a zZ(_%R65}%y$qU4|SkoPSGEKafI2%34cMOmGE@{X;BtOd#E{!gTcc#HtW>U_4(RTfJ znIrdiPw#0ON3Q7lNv*8Rj2}kv%XMNi4Ib}0dntJif5I@sKaeDhUUF>_yIes)}9 zV%49`kfvSjdsXAiE)kqICw`uNZc!jiI1oRAX%LOj|hm)z))peUAwOqcFMdK`lO zKydo<@S9hYI~fl5H~#^=GLNbyHKkv9vU3Yqj6M&!*o>z8RzsUpDTlZNoO?cEt3@84 z_$E9=@Z$zNgow72YM=bT=yJe#|7pgkRw6;3lv&VLtA?K}?o(#@A5M zL-8i`AH3?E&uLa>zK1gK&Si>VNIE{`^4WSufxxA`w>*}E5wYXd8(6-gIm-Flw0f0> zp{%5V_~&rSS*RdRQkyA0hLbpXE?Ic|&b^W!*t*7^*y?e{^TDTm?vaZx&?3g?^qoh! zriF?344?O9^`yT_P>fB^|2)ILhYWvbffHiOdzt8;Y$KjkZeje^YMHW}akV606-NpK zHi@t;k&fUF_-I1+nwQop)1^kMp0=clDMk^ox|&Ab~L5MF4a`CfG^6B=TG zq3c0O-F!JBcGi(unII^R$vEsIRZha0b~J^#aP879dKQ-Hk@u+@{)-fF1BBM6fW_K}GWws*GA;W%)%%7vO?a)_Ljrt#pv$0_9gOt1U1tRfT< zorqDNyk1;6VCxu2M#!SGsag84RKzy0p0R6^?nBINuV^=))h zM$tvovcZaqa!q7EMkdZFlhrvXZ%TX?6;9B^cN)C`%L%jt0@5ae3!NV!nsqC|!5G1b zBHA-$o3<+2I0tg|5;55jWy!L>-}_ISi<=Wdeqn!i{=OHCwo{L#k?dCw zW8!#uN0Mw5N}E{hnkYN2FoR#iZD#CzaANE7#iv^tQpMy%@^XA~O<)2$CQEZbmX_Y5 z?y(-ZPKb!Hn{&ES}K*VT$@9hZynG zIg#|C{7P`4x0K>od>ok8o>n8iUTW7s_OftO(e*P~8-*P!x8P=3g~}_rC)3uJ7qSx{ zJOvLtWb1sD2)W8JFy6{WRHaoFSl9}Bku&>tFA^8ItHU&A)iaIdLzju%`oCTaP`PQ1 zf3h0Gjl7e^B#NCc9XTx*;z`uCEr~c2E%3zZ(sV)>2zAw*sgExGaKU{?KvOB`rOsP? zL#&2%+RkfBygRz7KLjV$xFRe9?}yxc@yC5ZLC?%(ZaKoR^0KV6=P4(t#A+s*zml@r zOv>fRiLm#Td&12x_doWhCoDIVHAdT;dT*r5vP;R85Yi(d&wlEt9a&wUIPsiq_b8R!hH7Bp&p zX%{4UR$?p<$)9`tK9oZMV;f%*RvT>ekj9@H))^B~x0iZqgqg@7`EULlds$-hG}0|8_=C7Z=d;t@Uj#IUr002iiM0*< zne7ee)wZD8hPx!4zioANR<#I{TNGwLNKlhp8h7U^UsU7yV8AT!1B{=nA)W-jkbgq2 z#*idpdKFV?z(WvlLLb6ijJHZ!S{Q1gMj5dg zg;#p4+?SssjJI{pum?9d?cF7v`~%x7B&GaFOeSe2Uuw<3%NrIKnpD%aj-nqv`th33R_$bS%(b)3pitLa_IIuTJg@ zFOKRXDC&|u8ZO(hIi*Cat`9?Y&alMXmxOI*OKS%1zkcw}G9MyPf$=(@Cb9n#Q^cSn zSZ833aAf8FnZbgo)MhwhjnFk@`7O&wk{=aR{%Iecs4PF@jg?HnDeCa`=E~TaF7h}!?{nX}{tQK+*hNf>OJ+1@0pH^sjd*f~TOtd}p@#c0twToqJ z@V8gau&QF@mh}vj`Qr4smD67&GQ2Gb-UQ4mzEpO`%#jmT>t%BdC)bVxi}(5vK3z-19) zAl3bYo|2nLE|;Uwb&6ONE?v|-;7+O-&G-2zNvo6OudOIOI`Yn?3g~ z=0yLz3{Or~6gw8oJml$>&vJrezv|G(S8`+)8Sh@ivX)@RD^hp=%sPp7A#@#|eRuqJ zyu$93zAlwyD$D1lp_BW^=lLG;$0Zduf#z~GrNb;a!j(v~9hqs(AL8ssn%O)ls;MK% zN|0+~MkbSFZq`eL$y2T|UYNxEY)fGy$fd(siJ!O7#98}5F9D}7aUmB*|HfOlNvrb3 zn%!=(ZM3q8L;4VLi;pPQy(V-E+LtxUGz<~hv2WHMoAY$yf~mEP*fruoitb9>o4lsf zgHdj>dHW0#qwQ38t{numb0vRe!>}J$U^>s=eOl^~!#nSUP<-&l|1KAgNG45lCPnUN z_wX@ulii&YS$}iBR59L#S)DykYo;1Gy3|BIKI%6n@a}lZVf$AMj^VaRaVoC4^b%Dmd*MYEPwrLI&k!4yEN4=h;8j}fqj9G`W{h5yk{LLO z`1WUHV8v>b9O15YXri$ItWt+4DZ$ecyxyb>J?f-Yp8EOh$c1m<;68_YA9vClvudLr zBt&pZBWF(V{qZO4w}gWCy!GMYaRDO(YDDyIJE_YyRf7Sf_Xrd$bh zIiwDG8q6ncVSnAxQP8#$u6*DII(!IQoQYA`a5mghAUhr!lE z`WGn*`!%M#&oqZ5*}TKpT2!9|`{R>H&nEpoMyiUTxfxnNnl&J;Xc-0Hd}6K*nQF{M zmY_8win=_fm|x&c!lR?m3$O??dLr+;R_ut#z4dlNI6N)Vx1M?l(y~eUO(6qv7fgsF zc0xVJ;5AcOl5vZS5b4G*ThrOk6opA+yVuJ?J$l~N@rOleEU-V9qc7MqD5RcGJRv{v zn=*S=`jv{$EF?k}Q&`6`ysBG!=y8QI9@fkq#2a}&&(h-7W(4-5Lvx(+eMqrVVL|H}A-MBr*>se}H9T;Tn8>zR99UXt%f)LXI0 zW=4qwy(UzfM83&|N(w3<5dN8;I~Ym@dJ~fL#o*zIwT%}^=vkqSxL7~eR+q>Q-AwYF z_JD>yI3jzg?Yc2WX0X68)h~$nM**o|&E-T3zU$pUfW&q95m7*&cJZAbRSG$by^iCG zMta#1=(@pIVP(41duNzZU)2-kz7hLSJ=-W13;jrTbI zf1gZi`^ows!5&Ad?;<3GIniTv(ThNH06ir=n~tk3QZN zez$Wf8gX1Q?xS<9c^2k~A$ooEr_+4QB=hT5h|0^$?+&myy}PHJ29wbkiS2Hb(i?eC zTo7K=BNiiDl5p9Bu;4mJEh&}RLhW#vZ0VWLBZ5bQH`#;cO;&ZPRAN55VGmU7F&4Jp*!ggzEf1rApJtWUleWqDD zn2pCjPg1tQnW;;;rK-R*D>&06jA-q2Hy!~530nJnmsD1MHgHllm~uy5VYP|ke2v_!3*zbw>6s(mZN>Q`;CNyVokPBa;mkRlpdfpFS@V+pRx0wNyy%n3Q2*B8tS$sC`cGVq-aWIk4V`Gf?O8JD2K4h?sQHIF3PJ zNpo_j^^|7qZ+|C3Rc8eas!x=aY`=X9=0fFFQ?@+bzLS%%JNdj>*uxr7Vw*f*o(wHv z8_PyV|_^S)ENDg1Nd%jUNkDSv`lc0aI7W5zs)KolkHkS;>8zd`*EfBY$Wdz!aG z8;B)p_x|hfu};7iHSsIra;WVD6G^BFK zeQN5eQb0(4Cw_1;mQf@`qa=56O%uTrjX76-aw1`tyc80GQz0RCr+lS(tw&Cirhr%( zEd*1@3VkE@BDWvSXiu|yS~~tI=E2*no%LqV)viZ9kcgL(??jhha`y)hnUO~s^9=+} zQ+{Sy5naO+fTo|y7T)hiD%KF~Pvb2U>=D@s=%_?VIS0Ps{2@V4v`BK+Kf`S=%gO{NBtj9!2ZSg-&I#?^d({SA>d&HO##eyWloLjp%AYCyEOyff ziLTG0-%n)wW?f{BnAP-m`J|^2k~BH__VX&(QeqHME0YRV>e1qBN^yerQQbR&vo#(x z66RE@@45*kI%w8B=%2qu(67DKHZ^IX`r2<_(bwOJC3c1mHC}eaJPH`D_rLJlb`#mj z$&i{GQb<9#wMAUHd_x?x^1Z*=Q@S>jMDA$zUI|yg}htweIRk4 zum3*#=LQBY#y1(-nPjYDh1FrpBLzrX8oTkFm7+-4$yFfg3`J-aq=sTWG{5 zqh}m1TGx!-u!vJrT%N2{K2%WV|1Mms-tZ|9lhWE%G?KYJ5AtP{p zvjjjX0BcoY^4)s>@DiEwK*yu>pT1tpodh&b6QXuB`;XJo-+0puJC1ybkuuaTM3?AR ztjI}yy0)`1WTNUZ*>*}!b;;ya|M*e(or*=ccaO@L`HPuRR^UEj8G-jjqsHFPOTJ5u zONQ3paN5vw?5XBCcdXUNrhQ4bDe=f}?H2ttE@^U(8aKkhB}cY+%BX|D$&zs({fQ; zpNf$dl(}5JjQ?z6NpUknxDwrHekL#=LMR8h>lRb6*mLaC;42*&*)zA; zXZ(Ap< zxAkn@ss4vAFa~T*zs1d{4es8sjb0zf?``a99O36+nf6_e(A%mXPTi1$%Flz*dFh3 z2YxA$i-h76wny>*}8sxuQ+7r4;Von)*_OVsbD zQCC@?dDjTy?ke~))YDg}RLs<^ow_N?1TD|R|H%)j6Dz)v5>2BY&VSgpy-Fx++fsSq z8Fta$GKtYbcrduFu2wmAVwwJt#kugGz8V=BvLw~Ald6fh{OEGq zy~h_)}mM_Liir}}srBuBav znDq^mtThQf*0AOlv}P7AsVwb2i*VRb5l^Dc}f{%7AJN;2|K!uK6z@E+f zdo1*FzcB{wB9}wG`+q>VSLx+bq~N0#Zl{v-f{fCG?7B-{qg(rRXxN15lz!N--PJv6 z^QiiVd_}p)Ad--4W2K^{u#!U^{HVz0u{+<(mAS|l()g>GKL~X}(OcJTUKDOJO zJ!?Ka@$W};3J==}@@DrcGlWrnf5+$1&AAUxu-8L!#Qk88*r*rNpmkMF$O3ssDUX!n z)t(LXYa&l2wJ@EVCk2(?u#g7dwG{Sf5gvB@)}4T@B<7(k_E4k;ko%aGr#7*LC;^S$* z*5_J+%A^d$_dNQQ87VW?IbwvqCrCJy+2g<{;AFpout}{X=146qXup_^e6vi6`x7~~*{w~6r);!Ap^UOLPA?lzyJT#)|(EC8_ZDiD7&(E&Sln)$x zr@a2k5u%G&&3wK#)W1cVy>-JK{RCBhlriUVJyP^s#muksSLl?pk=YbqLnjHLeyXmy z4Ph#;eHt^d5JMU}XUc@ICDBoPKMobedqTPw7L@ie--&m|`wVAa^5XsA1f7`?ZhW(A zAL2qrsT%t_L{Sh&7@A}^@dsN=vr4?oOWk+h?}^1Ep2^qy9{!t#AM}eoY3qnq$99Nc z*p@pUFTc(Xeq8R2?kG&JYUybGX9H2+5YMA(B%!mF^jxobhpVq6t7*WeF(^O+ui}>z zLtHBX=qyxio*4O=q$hIp9qoEzlzbJruq{Gl&Y|m@Pv-IWB%d>&;B)58*FGtG{5DUD zJtyHpk}_>5IU(^lQ)Z)uIHOZ(bU!uAbm4rW0zqaIUa?SHD{3 zeHkZT;o5B;Q@FlEKa;LT-HKqg%4n*O`Sfm!_*hm+DNaKa*1zlHAC!w4@SOcD1^EajeCbnY9~evDX&je9Lh7UF37n4}g$BdHG_AnUH(a z!$jbFQW!IGX=|4RJQ{*BBag1mi6OVWbworE5dOEjZjb?T4FB6-w;}}j1&8p1@6j=s z>#mg{UBnQ9SYqb7&6f~9g4>M9TqkV>K?zl2x2NKw)n1E`S*u?4{-)SUl#f&~zeGZ|I= zXaBv1pzh>h8k7`?FvPhnLzvJ>>t3ZmxF8@b9r7O|4XjCrkb-3CkZkZU1M(jy4W!C~ z+^x&RM!yRIpJYSG{#j^XbPnWJL*s#fuks+IbwhaQjSz4jRg9Bl0MXfC`e0)|>fZkA zr-9c6s8N3fH87_TbrqBb7z;`lqZ9G|;>jVhWF>1D~{_2K=v; z2FA9b>ZrY7sPp*+C4hjz?WobddCMSa2daRQ2LGCBU^S|CYo|qlVV$Tuxb@RePmWIj zMgm6Ppe)Z@KkfEW3ZcNL>4IcHpaQ&L?Co=r`SckA6X4|siTP1|61@;|2x=HQU7bT8 zL^BW6dI$Xs?%6@jP*N~TK)Zwq@bUkzi3U=?hsw$e{T0ogYnZ$>d*ehW!23@;`(HIp zfLHAQsA&Rxy#Gf{6X4^kL#b&r`2P;ZvJVtM2gw4V{{yuxXcGh_y(L-!0;U9`ioQY6 zdyrf8vJSO8OwQ{dkT(lL2X2QzufdRT)UeA?Xe0!LMneBft=I=tt93Yx83Hz- zinot~1$6uXRR%YrP=o&Zl%QiY^mc1K!2B5Ke;MA4MIDI04A%mv5dRqVk4FvsA8fl5 zP#yoUwN6CE{);VU5~}eZwuh+VUu z2`xd@{~tDgqw0Uz4ElsB{12OqrKs9}HA?UlRr}{p3JCvI9skFlgbIkl(+Q zihu3rI+Phq1p)KFp>`kT`dUK3Ba5YT@P3jfEV`T}a! zKNhJLQJeHXEWTbsb^K!ywv5`ezbvNzKsEkjF?0nr`Zk54ucCTWSD4Ah5m)H7j)i3h5nmO_xDht|EAE%eN^c$jMj&!F#ljYM-~6V7;=niL&4|?0hf+Z z7ruqD_~bt;{0pPfMxCOr@n0BGNj=~`fq0JxP+qKYTvG* z3gDq8tO0bmfhvM?66kt)?_p2~@89GIz9WU6kJC@UHzBmalR2u9d{S!`iK#m{7fp;*+)fsxjIz(q%Wb1=+`D*l7fkPY_Vm-{O) zj~x~5AB)Nyu>Y{Q!igIEkHsM_*gqCkxc|Sx-ZG$yu6y7WI3V2}(jcAZ&>`JOOLw<` zG)JVQkvepDcS@*T=*l4nA|}3=szrS@&LJiSsZ%wdH{X_0jdEOZD3^lKpMc}G^|ztaDsnX6cYqa>(MX{3jwPC8b&2ypvsC6 zf)lJz7~wCK<jufBKXs!7#-DP5)8}{Fc?kfeQap3Ak^W7eMJp_dWe6{9__@VI>kk zHGs-)c)+{<3*{y}7jHtcDi7>E69}^zQ3}Bd4)#KmzcxfaSn|Q~2v`!&3ld zk9d`*0#!0o5CC%`od)RXN<|2T`KKfNW8luyfyw|twy+-=KrR5#49p`7Q1cfc_-sJU zBS5h^fSSJmZRH^R^{jQd|C}&j%#va73;=drr@)vHSYiR7^gqOe7Xk$zi6JTignx+9 zgY6dqM+AuJf%`uzwgn6>5mDo528@^~91L0plz1cr0W81+ds~L!|Hl$wmp|U{h2Mao zYF9$|W2gvWwiO6M|DP}pECBgK#eXOe`0FA6HB?}Mzuf$5sK5dOe+?C9B|^E}pY~4E zIf51v?ELn>c1r0U;a@xD`v8c4>{L<`(8d5lIb^`@CUkjnCt!10B0#u!5~|;D!z|!H zrhkT7`~ms~4g?Pe%R&G>+P-Mm4hX0TjOzi+!U7@)7j_E*Ex|ONg8tiE+&>}Smq+Q3DKjSkJ&vUbfh_>SUzvhzZR9}iA4>+N0Hi-&mHZhX{qd@G zl%RjxA7a#i#=ra}Qv<_C9-XNf4RE-}>l&p7B|i>B{IAuLq6f76hd}`bpztGu1CPQZ zgU$>fJ(x8kaJBygc6Knq=fK_n<5?kKzW>*VZ6H9v0?k@XKpP2m!UFme(M`a5S%I2B zLpG;J+k8L_mu)k8N~@WJJ8nzxG_ga+RH zyeLR4)7H@eWAFwszMs>7BnRMue9A~9z! zWC^3pAd2q6sKeDu`Lb#ns}Id6v7qH;|DwQrz(V%&?TI^I1Tx{f%0yRw+Lt9sB~=sH zyb9uX%*4+FaU0@V78VqImH8Akk9L(xD#S;6`I5BGS_ViQbFfhx1>Y-#e~IU&iF^AX z6-T$So0Eg%jtl3Aj2VF>3*QjjUzKYmslh0G=IpmgSEZ+m!$mj_cKho|#bghL@B=s81D<;S9UwO~&R5l7}D z5vR}-|2Qv$a%SF|z~FF+>46<);s$tzP!h7ml|;Irydw*$a*c9JWD7@L{Z(qYz^u1D zRBI@EuDOFw%Df^z65umvaHwTcP5_se1PTtlpsebvJ;;j-fwOnMdOcv0M~4pu|D&FiD_DspsY96mmmai{YPWQegtS@J?%oC0av zz+6tE19P@aPG62#^(D6ge^^#XYN>^ystsHvt6`yev=5a)TP&R{?uZ=GaRx(r+e%LM zZ#r+`Rh#9(=ehXRP*X$6dP-VMkI&vO)<==kczDS%bcMZytvQ>dx-UNoNa8vuyy*kg zxf7U|tEF_yBye!nWKQs=qVsaspvkwW3dIX&=37%JaE2a!+UOBT3+r^9*p_>-{E0Zt z6F0xdD=mSriF;fh)$T(exUe9LuckgR6qxsmJ-V3DCX_S^3`JN}+~s0NA3-O{sm>L^ zMA;1CcP7Y0Q+wweURBZav4K}CNt}g^_fvz6J*yt7Y}kThE-l^bm<@5Rx2`HLz2SHU z()a_}3=4G+SC%RYnaG!tlX%OyNGqaG)4ywEjFehT!<|lOsp8rah)CKD)~=R0=6sO; zNsS`7oiEjiu?f|ET^pki*oATIR5D^W>=33KX(V}o8H0X`V*Z3ZmM(Dm{n~kxkSjdi<#RkWG?1_9{VcAev2Met=~08u=}OOf~~n_%Goo ztTAMaj|{SMdft)AzLQ^WLPzD}IqN8Nkuh;93q&vAv?HOIcvZoB^gm{Krxhe|WvH+4 zTmGMIv)CVe3bx~DSbb5U`5-C6- zl4fvcbfgNk<`}5Q(<@5f{(X1-!v8G-f6(^tXU~MHvhOe726VOxXBrF_Klp)DM~_d% zsu_sZ)2|L4+D;Fef5)!ZU!fEYu`54`3Nh4+B5PHQq|{z9q`f_L?z$U*OnZrB8~?bi zui{WK-mltwtJ|RXlJ@7yXLgJ|dV-iD9k**l#*l9T(27{j#rP))^l;1a3@BM_%OR*) z!$sBu>sRu38^rFtqy6PZ5o17X|QZ{ zwSC&M0~bFxNV>sTalO~&<=Jb4A5a&UkDix5!q%bLqP}i^J|1q?P@j`J(Kdd6k01iR z<(4insK4iH+413){Dku6hAcAot&xRGJEI<^Sxvzq&nN18K~q0()`!aHPRmN6wuMhm zry_?ImS@T%xng3r*S}g{iU|5&oNjF1dVuKUH`}`dYG*EL?qyeT1jSHQYh+|sWm%Kd z`1`+*g=D`)%6HM*o&Ld5QzNsAUT%wTWQG&b3nl((fP3%d<`dY*`s^coOjPerh2lxZ zB>BRJm=IP}qE{VxF1o3j*95bX&y{MYrB>UxOV55zEnM!I`H5CX>1U)!2c>AvpqIYAs6kaAjUnj0CX>6B6I#d(b>(u{qH`Y4(s8i?`K{RODWgeH$tM zO0rX+>OH%NcqmP9AOSKbhv6rIUby!(CZ1P*woWrQ#eD0}(ML*#_N@Yruia(p_a>OW zN<@rK7a%jo*u5#%3@V!&o%yYi$R4Y*T|WeEPgp9-<(kpd^)gBz+)#FUZjtYEWR$6F ztWssP*}u7d?eaQ6w0~ZN>_X1CNE!i0Igly0M08_FVk zm*2K`d7|aUW`YqiGu3-@DK0iLcfS5=#W#| z;%zbo70pP&8Iz2t5GRZxMe)uJ(ve~W7j)dSNq^Y5|1HCOZY$ne;ORTF<}I=}_M+ZN zb4S(2vDM=Q`x_t4er$nnAkOp6-d{UMp!H8ByBAIzMcw`N<$fE+S|{u(a-)Tgeq}EB z^5Dgj8SBh2f&QWn4?QB&WIO~9Jv7s#W*;Oux#mb9?E49Oo=iO>?R)O~b)hRsuKo0a z{I})dVprr#)fJaE+4<9N{P(n>Pb4byR!YLV*u<-QnF%eWpDYnUPI$4`y;&}wy@rN8 zSw^}~moO%iq=a7=y)VkvUp(iy465aBK(BCRyJHE|SxV{#OS1H&_0F}ID-$6wikfo0 z%*|N1LkpT6vbB6_A?(}mnyqAPF{%5a8sYb11FBR#n^3BmDV2|_w`Dg?{pzI4Q~VAgaUMk&qz7uJUqru;!OY{)f^69&_I~XURrV!ZKE!_ z<^o00=Qi}HDX_G&bq22T#}jc!lL`kqh`GQksVNFp2?xPfnAvykM@|!?_fJrlPcfx0 zdT|P$Cw+qi98)v3%i=pYjEJh$s0q>ur$ix!o2&F{sQEncSHGdeeZHBZILHePlqqmb ze1^yNH83TvG=`G-1C7RK3kgABl+PJ?5)N2?vRjhRUkk9o$`C*0f5&F43+ zHGU9fPtF;u6F=)p>`DpeDrHYDwa6|BFzya>jHPE{^=jiF$L1WnI} zwcs7&m|M_51d-G=w?4gRzkC9V=8)-n;@~P>UwuSR;>x^h zV38Ci4Uv<^hRbW=NOP$T8}2qy@@vr+dj6V^onCH|yzcPEaUgT{o?LoE%S&))MoqN9 z;75`!`f`^7Z#SGwRaCx(BQ&Iymn_srKKDM5qSHXG^p(PWHk_HLZy-siK{uqop-%ZiVZ2fF% z(`-(ttoh~WZ3B4GbNy?~lWEC^;g^aHmcUe--)KU4q#);}{I|Dap+Eavj2i=hz7)!M9Zk{{n`Po%P$%ANZRfu-kgL@IFh zL!%Tre-NKr_Dhdt%*OYw>uMaC_B3>gRvei*x}$#0c>q~8xklGo#`mj}C~CQt=`t@tb;0wc`RsXt*Ni9u78Y0EH}P#BPsjtukP3Q|#W zKePSt9Lg$S3P%3mi@xwQdg%+R#eJbQ;W>V5q3)pOSZEwSNqU^?gplH_vNoGwS>O0J z(Wba1ZV7QoIB4wv6RO5FE|ixM@i9_DKSnK)%R7kAC0L)+E6PTCF~;-Mcfid?hjL%5 z{l%?v0ur^Do$u@vW~P;e`piZFKW0uoS#w0wTv6zeyP9B{bb^*(&^?20;f8mOxJnojDQxZYb3Jne1EpR0*( z{j_;1G;Ok~OWg4Q-oeomF?kr{tg;({-q~76nVXdSLzE_&5%ctb3SkY5pZRfBumaBk?iYP6s zET8_pw8>`40)?$M2x*ngz+Ho}q5)5cz~(sE@R?RxwDCUZKG6ybcFd(v zmxC?Oj2a~sg{_rQDsKiVdLAe9FXf8r73$oZ$-M+a4U13#x<)ESAbop^kLOGCSGSO% zrny9C9qy#~g(j53A6#NgskWa!n-v{I;GPh=7g*FeDztjBQ7~oh#>Gu8u%j?#>eEmc zvgpcwS=O(Kp0sXKyB>xpWG~1J? z_X$Ju8!nRu&h;*$4Xq09rbFrzRxcTcWL`7Ktjb`LgkHK%AMz)B9P zXxGR&GxV7Wn%67ab|3Uf^M(Z-(nvyQB4VI{z{%?usp4GHS&K+nXIAwMx;DG-DkG_M|2G4v*l;qe&}-3$NimaZ1+TQ z{OKQN-IMT0wU)ofre8+zT^dWQecnf|CM4D?g=Wl@{Mr)DwMx3UKmnJ(ff_g7+}L^l z*_18)&^fs8v_sICK`M&iJ1_2*QbtQ9IQnTUThM@>rM0|d{MI_D`3moqHo1YAz4FFcCq1#<#!K^AP6G}jv#nS=)99DFVhzx86ifk`)B(e8ljcW z@B1s)a3Z&2=)BdVq~$3NH2VF0Wz z*|!WwIb9du8b4Q@(F=IPNKa5is2ZT$A1x z_L>>;v(2PbzRFzi0GKZh>Hy~e_7#S2N`pfUdJ>A6xIKg4t?fqlqFcNC7E-V!x8_(V z5buRG#JWxYewYM+B&my{NC!`R(y?d# zo_Q&|{Wkv*E8pGd(xm5+S*e{axY+IqUA(#K(eZ48bp43qxp8l2f(E>^4}zO6J16_l ztcQi!kww$Yd)9DCjQu6_d3)+YOkR2;dv|e^8(+{^Mo!Thk&VJ}sfXf(-I97kn*0Zx zXC~Sf1?yqiO^EVyJ<6JPX9IC{4@B=@jZ};U6sDdEye&w5KQnvVC{@ukGDmIJNRTc6 z*=|v}arVuW=FhwJpaJMuKpR+|Z+5=m?2|&X8oi$5Q)3;9S?GsOb@z`vSS8o6oca_et#02#QV+Dl?QN}`>>;!f9L3t*@4QK&AMFgOx#!7c;5@Yhb9n<@Uqw(JpBfYtOhWymQbv;9}DKW$>?H3uSXo!-Ulf3OD zlAgRx?UmUtp_VxKFnXDdF&tvdMYC6C!QW+G{p$Ii5LmNu6z4lxcWw+}-A(Nz3!`^B zF5CuwNWmD;%)57{L!nFzzR@@P#(cka6vYGUbYf`Zo?9pqnHZi~nG4k^k-!uu$Ul zu;ZtWNwQ$r6|Jf0(7v@aMN84;nEFG^6}$rl~e_+c!^XmH<{wkE?pp zo**t;a2@ z(Oc?9*oR1$-GyOux=n>H%lI}RBZ1Q>7-=_GEDlY!NE^jGvYSNb5Q@9$plRayMm zJpp!afn8CaoqlVirORPx4w*6MPQUYT4)plMqf{G7%mJjS{qJ@*O)2Ua8W{^Yj!cG+oIdc)sxuRtUI4_TtW1KxhS3>W*)v-e>by6 zCV#Kj9*H3@maB^g*`n*HM7hmr_44=Ki^w8Wu&hvoNtZfn?S|o@T-P-VXnRntPHum> z%*J-5m@WH>jf*VN#jcyv%KRZVJl>l)cm&C>q5M&l8}ixxbpp2ZJ~sh-!v15k2I3s#)GWX#?|*prY$jpy#yuN1BXv?nq(nxd*j#Y+ywD3)lb!d+=!i<=5) zL*bdAABVqWoSIrfN3Uw?hV7fUx54_Ur)ia}z%uMTqD=@a1i-TS(W?BlQN5Ppe`JB` zg|dt}2dz>2CT5^o$Dn#+H*iBUHicSEfPaRST1ha5u|>|K;i=Qnea&SCzyvDaVK#YAZnyi?2# zQzz2lby&W04z#K7y`c&rxYxGeXmL&j;d!}plfRgN z44-4~R)EPk;Ob+gabR{Tw8c{WFsPxr2)Vv5wM5Oux~d{W0bi_DIxrXK%55atNmQd977P};acJ8 z5RoKUR#+ZNkT4=q>(^H_qA%LSf8JO7$+fiUhpTd_=e()ex222m1S01x($rW86>8JxJ?z=H{Va_ zDD6Lrd5xGp^E$7b@T^Yyhwl71q2y?9Xwx(qq#7225RR=!ZHTdR?_R% zoB5{5{vyl|UPkGXI{U3I?)w#Pm*J@bV`pA&iU(E6BU;z zHTo&6CmM+&0`_j*M0UcK+<{5ZG3bL-u`Q=2$15AzEp@y}Y*i>R*FECErBGnbI0_@ym14Pky?K|%SBNfaj zz7VC_=i5tM8eRu~bZbw+xWoEsQY(jH*f8RxUt^)op3I8)U996PiUH4A&Gah?y+-~G z1y#irr0X(xtHW;RsV}}|xs|>P+PFmeg<3Yr5lDV&qwuBZ1eNeIH{uiTO+2~4mw8(q z7Y@p*P?yntBoR&bd`_>>h}p7cgL&?IHiLN|IZInZQ|7NES@JA9EW3DU-3$j)A35S0 zB__=r~1yTC;h|9fPiW;Z-U*2nP_z>yhX{S1hF{~np25mAKXPygaa zU1ETmMR7z)C>Pg%Uu|~i+q>b(65e%onRT*he#s9IYf{%F5n?r>sxhH@G4Zr7i&%?f zh-Cp~zxsz;o9wTs0tjww$a4{%=9_c>4Buks3v8(hDT0C$%?iKqBn%rR0%1~p`Q7nQ z1=2`}_GJ2(TrCM5QL{Kg8_Pmg8CfkR=-F>I9X&HY-XsVyrGH^ZhssNNcyjkNuqj%zF4pLy8z59-HDlo`~h}4dZfNZmq6NvwE!jzdQ2bzyy z%v4IpkPxqD_T-s3d5R44@FrKRCTZxqHFW_w+HTn%2cx&Kp|{VrVBcQC9Zx(%r@thQ zI_8Y!{l>7wi9p=TIVr9X8(yfziJ?SOiD-Qs4|&UzrSP=M$h2i@rGoRj0HyqK|Dj|UM{%gnch8oN>b4Q#4I@(B)>cY`e5&d zEd!V0*$iUz#z27WlF9Q4*Jy1h=Y^6!Yqy) z%N3GaDG>d^#Kwd*zkB?JL_V~KvxWz_8r7&mLc+TeOUsORSxF~0@EP_gOz^je`rK(! zmIT?|3fes@i353_1f1<2`v@BXaJldjlW^}_#4AWZ#>dEXW}KY8O#HbZmZypine8swx}lpNND$!&QVkPJ z%o^~MO*7kMWQ3Im$D4Ps=Z!fXh-GPT=XV$pdD3K`$VpHC>cz%lqU0}X?q*>S8M4R) z1%7@0bUL9x3Dccp-9XnXLLMarPAF4d_U&s)i5Hq2PrGifF;7rs+elYAJ6b=I-#N;8 zxxa_>ld9<9_Pmx37Vd@4#d%9dd1ALa@P(hVn?1+#(9u3Jqj0he>G`4*IL zDHSU5Veoif8Rw^;V{-zw7FgX!F+R7r%M*OtprDBu{j<=S`Q)CRjr74f1T4z)@`WsA({79DgwXA@hO1k@;qQ4U-7*23`VsLnCY(8L z{P$jBvt?5Cwc65oZz%Gs@j^<1zLS0+`_L$(S@fn%+?{%QHtGH7j8`Dxd*)d#{P&PO z!Q_HQqgnbY?M1zx@Do%EOvW_0-c3@xd2i?ucAwj;nUz;oO3UN1Nm3}5m5ieegY#T1 zJ=ZeTv=OW0^^#bFq4Z{Kie)AgdhNLS{KNf~0{(bL{xn7SZBmI*(EwrYQ(UMM?hs5FALX5 z&qg3lrts@Iy`4t5@szIFkv{ZX!n^`~p-!E0@#Mcvf@C)Qu&+c zMtny}B14&$!=HI*$lDC_G334H20ex)OZ>$4&97bh3Kq0aSTI!_V%>>)tH^s}T)&}a zf1gag)6!ps9_>!CO3WMzY91hcQg6tkqrq}Mec*Ow?PRErVO*N*A)t7 zCJx_J|9Wk+993<7>Z>|XJi;+!obdBv#&;N!%?JHX`7vc|)Oj@Rsv~wAs!}!jaCuyN zeUMeM>3ngt9hk6i=H<8aUFiPlvZIRBYT>wg7y|V@H0I%OTOi9AJoSm^jT0ZrGvz8- z`E2X@Q>$a23E{5R&J3m8<*{|F5t@UHI%9Qj%NmQ2{FC38uix}EhOHeo6`x#PoZH>} z7|D9><2=-n-Y)Y1eUOl?_)>9ZJhol$|1R8kkYa|baR1eK1RLST^(595L-h%*W0=aq zhY4FMPbk~fx+n*wK3wJR!Ed<`D~nHY?bWlpAEwBYG2fzlHckxXJM+?3hwhG=XzdBx zjdK1H9l_a%lMIsgoWPu#<>9Mr<-xdDPoa)wLGPEt(coj!GGi$uK{`&FY`mauR=~*g zut}hi->aZjg(%@`j@a1jge42Ucekbnse;W4w4uu((=(~md$k|jh^ylzCN*;1pL%;c zAXRN3Sn|_!V~%bzQvZ&`w0-pp1($CFH~B)I@;vXE(dCEU!JTz=?exq|e`4Ddl&iK5 zxtR8_woM3rHtLdrUVj3Q$*j8GOoQf|~dRaO-Xk+T# zQPxn8{n6G+)FA;|+*=x&xAKkxF%IvDi>lZ>QR7~%74}iKbA)l|lBNw|dXIm`i5%96ZdiqKNPF!lCodIOHjGyDp3t++`V zzD%5DQx1~yxs=#0Oj--t!^CfFu>U~(vxR$*9Ns^}!SHZtq2 z7pC}_1`m?sN;oRkBLA1t4WnQ#M%r0CaT6_8i<5i_3q1M-y6iOq8~o-mt-ZLUgaz0x z)Iw=h&?2{CEZ{RZjE6Uahv{?lS869>2~_oXB1yw0r;Qhy$S&#fx4Q%ilRk*@;*sA= zrc>N?79caF`(TKxbWLlyN2@%DloNcF`xR^VyYO=i^j0kCT~Q2{(Hd2|+dcU@MLWmE zN5?8h@|wfHQwusMLBkDX--UdQ-8fE6F&7O(2!Em_?AOect3UMB zFLG#tv(!GcvZ#|-!H>T?#Cmsk7L)cRKFRjZAXoQOtQ9>KId=9BQ75mtv4wdC?SQ91>OB$q<5`x9pQD(O=@uS_Y-U zfifLjk#lp!Crb2BsW3!u|BS8;RD9JN4{u@DK&(1X@M7O6|X zu|jqKbm;dvt)JEf_BsF%m-jfdV*Ci!U=h|7!L zh&SBl*X8lXQaWXpsIR~cXO@D;vCA9p(avg7wyJb2#wjtYQcz0@Yt?r4Aw||$fb$_% z*4SA3m4%P%(FQr%$pS#(SyYujiJ@{2E%zXPMJj#1S+R$Vy=Yjk4Mhx%^5?;ejuHYd2Twq>G+ z&q=b+V%6l7Vd8hi)@D7I>LkrDSrrlx$}lp3BoPa@ksIe2cqr(>9cHtW$(@-AXR@VH z_We@D?hwP$!)P63Pl?-*P5258wcc_JM9PO?LtxhSY1Q8wfX+_IR$^Ylm$p6-p)eMt zOzQ=cZF4zJb8zy{o}S(P-|p|0G2l;BNSY)!SKAZ##+E&#;Fz7*2TqRy37cb*kHI#s zO(4RLU2P^k`dB8b7oxY5a%J$Z3~(6FF*EQF=0YNlBSer=jMOj=Nj9^qWq31@hd7QKNcgF`vy)3N;{0b$-_SF?jAh1J{L7=r z7X%pXwnna2K8co`0Ll>RBg%Pv{b?S!&oy^SmopTu*Ln8aa z((5mRPW(h~>{T$3a*Rf{z7t4<{TMjCX@0&(V%zmZ^zLGJ9i|EgjkB)b-EX(@wVqv{ zJHYRHe&n>S!_>&OSU<)bpmyN7PGq?mxJ8r{pPgtL-VXM=qgW-2T-C2L;`4D7^SOIA zp>NXVeEel3De%M1_O&t8=kEGSjS*%c6o6F{3@-6H0hcbfy)HYdq^Z3hEX|tXQ}3W~ zWI#T!nC@A&3geK6-q35jamDj(IeCrs9e@5PGW~p`ER3vC%n37FSk&jjB7E(rRqFWX zW*DDwl9?G(Uw5;}cex^BSl2S)r2kiZjXI;J%$>&Gm;TJL@HZW~b@Y8Zce%f|E=R;v zjo-Yz$=uWIGV;ExE)y=`?Gw~0XIF>+sd--?`cXgcH(#|zGc>&>GCAO6^@2&XiTei` zOL}1#*Nyq+&hbRKrz))O^HGX+ug@k+i)el0?LT4A;lu)f*Iw1Ca(_l6d z^Gcy|e`lkT#Q39ti2pUHzT>-<^hIUmb0_2Fug5#ViLbuJK1kS)1ZbZhT>P*SCA;Oi zswXMPt1$1bQixkZ{<-<%{wcTpx4eHpodbN27x;({%vl@}323_qyhJ3H;IXu{G~*Jm zG&3{j5#Z+KwBUtUnelQ0GC$bd%A8MB`2Vj2Z2l!874W~v)k{QrD6hc(wC%z3o|;-Z zgh7$H|elo*B!>+cCUGJtsOw#( zb$1o%o6~U+@noV^@1e7aYG8+5_p)gX*3kmAS@@3P{D%xQ7y)&)yWC}*m;cp*DB(rF z@q7y}o4o&L64JorPw724u$2;|Gg{(rM4?OX%&k7vimYCyxkzw!JYmGlT4I)I?PHIrX75`s);TLj^w? zlreX+_o>UoT$8eZD`8iItEFC`HomnyT7$tazLp9>1EVObZUV<0)0TK=^G)N`va4~S zp;exiHVOkC#H#iA%0<+C;d`d@EB%7hB|gApebvL(2&x7#cu&AqshAhoI&P^LjqmCuCSFITWzKp&8v^$c)6 zEvgQ{6q%<|RyT`El2%)h6+5Op(J8uAxZbl?q&)R0u8iL@Ai2uYP3Fe&pYazvQwL+L zAx_HrnR-5)SjFbQb96Ajs}IU2f(;0?S-=g4>qyKI0ZtP)h1UCqauJ;2Jj&Y>6$c&$xi z{S>xOFz{PNXSamjf48w)r}`ik_HD{Bwghn*hp3S=@!n(+G&R}~St5<)a6_(U&#?e8 zOufQe4{UgPAR{RiQr#^=Th=ou?K0(b)4U|@$ezaIZ=?E6Q4?P~H9`ieg?=thu$W{N z>>6uwtI%?Qt<=3-g?o}Ug9)wBPC8>!+TtimEaEWPGrJ}{?CmU=tQjjmtK~#!PxzAY zVu1lIzo?EyJqq@vXE*;fFb%Q@|IzfarAt@QN7ZL4>>f`Ta|AWtb%tI|9J`ob1G5r0 zm*i_X2){iqyptlhMPx&Z?Kc0pL$+AgRf0zic}BNK_oJWbe8)Xy1gi)tx${!ZdOmV2 zpk61;bw8OiOHOuT)jhZ*z2x2Wh-A~9oSHEyS!`}DuhO&*fBN(sd89sY^aIpm{R%1% zM%-lzl!p*-Nv9+@uX7-#>~OR9W`1l2fihyDDxh1wAmFonWx$$$K>tw5GqVSs*u0hX zug5Un%V6gfl-W9;2nDFT$oh^ipKtX;c!rxta zZIlacTJxry`Yjcf3snwPOnqM8rn%mNqir>#Fy3Tl(c3g|f zS}>V=0&h-B-P3mLQf$9r6*pDIh{(L-G^Z@?(8wrYTp{FL<(}Db29$_&xv|Hha?zl*%T6-(d?$M9d*7rU{ zogGd|Cdhm0Oa4^QJEZf$W|2&ewrvlxcA*)GHaU0a&QGF+&$XKmg~pl;SlfQ+k#P_# zJ>XYiuAHKO9<6vv5f&8NL+$4)iMGNy%q~K1uN^CHSRlLhaXi09(0%6xap;s(tQAN9 zesfn{6nio7VMDfWW3)SA?(~NAg78A&F&kcvsLgC**d13X(CE2|8TaU&5?>n<5jdwl zowqTq@aE84EUP_#2igAIWl0$|9{yZ5 z-Cp~2uYv*}oHQyEUFqh!wj)yN!g16zmVIyMTdVD!6&w9&*Qf2p8Ju74P7v9_OmrSr zcr@)ULtCm$ICOO2S)uXwM#t|Qq8FKrQ?E#sn3pS969BZsp?PLBJtpPVqh zr#Qy&ys=+G?^m|v`Iga?!)D8}H`|dKwK(21oMG`jrl}Z?H%`ZMiq%SRJf;B;Bd=$= za!qBz!K&?LbHGm-NgK~^L2bWZVXhlB@OhLs@mQm6r^VzR?i$E(jK}Usw`CjU!gjTM-enb8?|P@na!kbT zg6|_ZJRY{!@0|yZ_uzcuNU+#s6vyMI!;Av{hK!4fb%U#va!?)X*2GT-BHt{%8F}0&syJ6*qdcu-^CY9AI*#0 zk!X9zPE-$9T!}L9z^(-9%!=~W^R5nfZiP1LiZ?JrF_w&?%gIH~Fp)Xua5H13-l|wY zWI6kO$jfql#H=o&Q+qao$;)BghAZUG0s2v8xUUWp^Sl4l@uSgj$2Me{ed`{d%o+RC zr71e$=?)2zPU(JT6 zuXNPn!^2|K!&@k#ir2Z9si#)$DC!%YJ1!Ah({!W97(t1rR#iuW*~?+B-}FP&mcOST z*0i-8Ywvz?_dMxQ{Z6!Pz##c|gP@FHI*?dzwD>2LEBsFkdjFEthNY^d$H#e5d_+b@q6 zmNy^d_I<$I>31(_QcKkdC~7=kuQF}@k<*%eaG!=|w08dE{JcR?&712pL30e5FJDIe zZ28_ec^d!K@Z}9x93XlImoBysbAAqyw{-JOt;F=oeTvj89O@D(vf8zq$=fU6Wk`1cSIjz>g= z6&|_E!R98p1h|B$ULCsG6uYL>uU-y{~AiP~6lCH&D4J`ph&L2-P3+ z{T<+!s_(OqwS9#2!5o(8KivNO2|v@h?f1j>aZ#62l(69gTdGdfCQW82N+&@2>t}

<7z32b%#~&(3!7|ZZ>Q28hH`D72x%{O^}k2C{dP?*!6JW zV?1k9I7*b`?VvenSAm{O^xD%@)rn6g)6;S!E2Na^_A}{zGGEHhT8zu)MLt#&HH(6{hTgGV03;C^hJB)O&3yUX4cB% z&+AW(qr|uG24>jc_>)l22)a-*>OOQAdbvc;u2t9Jd3)g;lP0Y*C#98x&d`TDlZY*Q zcs@Ootnw&!`CRLUi$aRtfkkjJEuWbS%S;Q0z1hO=qDNeGZxWobE8(p&-)hZl8+ts@ z#tdLBW)u85Ntbc!PH>9De`a$X|zlFpBR`7xuQ<&OD!2)%WjyM(9GodHOiGa&S+0FNpeyPBr=l~7v&U8 z5*$$ml~4ca8Y) z(um8ZCD8)h{0Ww47R#~MR&S(}zP7^F19RfIgwJX%4CQyb16vugmYWUZ{+il|;@ z2~>u2dt0aP>8709enJeU5C4sE4@~@Kt8C?EJTrq{9Vs5er96C1T;2f9*)yvFxwEf{ zS!*=6jEu~|_dk;z>vn2YNh7!?v1JYj^PVv;z~7s1N^eR|rJXMlo4hn40CRV}CEEAj z-x=JdXM4B0<$gY2E|3(J+$0|}K8#B5|2V{=yk|2+aGjpwN1`_CHR7eG75YZQEq8Eb ze8i6G4)rIU9?&%6Pmp@&D`di)n1~3(I4`G;D;NuwZTL!h$r3t2xiPe3=2m|7Iaaz>@@sUrjv@NAT&{}o05J89RF$Nn{Gy8zBf9ze zM+Oz6arKB5+mX#Msj#O{`vn*?)*{f9%-tSlJIf!^T9hSUdANULOr&Mo2S-&%Kqni= zN%YNG35)(#Ey zwRk&X51xJbWHUUl#b!GvC*4*zWI0#9%_w9wa!REoaX*_b@Js}2lU8HJ7e&B(on^F` z@ObZOet?AZNXzLAI+aGLGAaENSLz$i`)V2fX32MT2YyI)Wiw$SF1&9lyeqvw4-$9W zVp{foXxy=6uSw0z_lhc8j;p2eCW1S1hQIJ5nU_+?tsSmDXs;mq_VlVZEdg?E&o zS?|8T$E|sUT$Mi!);-^&b_P_F^4wi659GuWt+SJqZO#TUg#z1>w*AQAn;P|zlCQ|I z6sk|0YSj{w#vC&ff!9ynEq1I$r;FuGx}jYvqMkFhOQ!#bL@uiuIh4A;@mg}LfR|PR2xLImk>SN@TywCZ_Fv$k5 zYDA!pq@i*_=*W(THY>nPypkf|e$9DZ+rxpofg;WUUuNG#zc&A(D^4s&9K49DWX~D> zZFWUBPZy1e&T7bsX98aAH!{bTudQSjWrP)3%SpR#^qGDOJBvnRhf*EZN*#_5sP*VShL4Zc zS}4!F|MH|znqBSFJ=>Uvz{=u9!{b7pN%WhiS#+Ur#W9p|q=k-zVFj*?eXULzhtw{= zJ>#)Rdx}m$`LfE#Z8l~{{i;?%1%4O@Z{#P=vuk&aiYFG~4r!emu5iuUv=p{jWi@$Q z2Df@VzH2xd+&vqJw#b-{6W92Olbc~Vs7sSYSI+SvH<`N*eQ;ziD%5k-s5v<#k2hny z`c_vaO@SO`Yrcl@j!Jn}bd%+?q+45DR?9Hg_r0UhnL~%?ymu#)%0t^z3$a&kx|Hhd zRa+?cZ2gFxuikbDz2LI=^yAVr@d35|Q6)ONLX+l%mE_ll(+F)@gO#$|Jhs(O6v(MJ zM!)Rhv*39dg-Y*HZ{;TwyF~D~Ha%nPHq?{)ENb%NE^1E+>rKoc%3*QnKrZ(2udkY& z{_Qte`(KtR6vsVc3g^J$31W{@**an;-cC5>^OC(gSB?9bBxs;pMnKOduNfTYfoh<4w@^(!c*($8yM1&c2v?&T`uvH!1tDbOxbI zXxgdAU+VR1xJPGC^d5g)UlgGapDjBtaRwmtn;#3Y!F5o4V_HF*&5C~wS1lIQnB3dE z%qh>HdbPFMD8A39(ki6#Nl&v|U0zD@U?ViRXnr2x#c@=2`itvAQFchIkozo+ghcuIFXp zI`Xd7h~o1J2|i*7FCF~KMWempsqd0`HqXmuXXeB{ozxYZ>uZGb><&MPM)cN?Yj@qU zX{WbDUOYO^MTJ->unCbrnl}3;WAJ%zv6An`z21XEmu&x>AK|ZIu;>pVVxNT@TYK={ zeunFszL~X=kkjOP)u*0SM*FCZ-^Vj(^rNfvXJItD8!%M4%{RkOF zwNA(BQR!%=QA^=98@-&~Q?ekw87|4;p*!`p2U$V319|FujV)Q{cRLn32(&OK_ZMcP z;I1A5dwN8u71JHBWfx(8a_c)MLFksyE~fzt)El5#g;yx8SQ-TOag zg6?HD&ZA~WL)t1#%*lDU+%4B0ip?~|hFfwgUmU*hev2Ob_`-yBniXYlLtE=!NA&B( zLwSNRRM6)atr$G~N9qTxb+b%}<0;Jr)_~Jg{EVB51j*gD`r(qzoIgFqOV(q*j8Cb>(9%BdE#hA9meTybu4o*g^~%a3CfwYrj=|M1t8?~^+I501 zPoKRr%_6`z6KwF%hyTb(4f%1z6nrz3uNuRfwa(mUjgc0&$%aw=tl(MOzO`fR!8tpe?HiV9O%GdKi>qP}UIuWRZZhoGrj3hiq<=(}V%V za!7zg;Q+XlM*?(itbmx}IsjKBZRS(D2?OYqkYK|OoEb<_t_F;i$pDqRBY@CdQh-%u z8X#671>ZbGFgNq4I>LYx6(lg`!U7DbF#%a>q@Y(doCTm)&j!A#AVZUiDrE%~Jg^8QnT?(ok#0^J^^F zN~${L)Y4P{i2H!XmfzydcqnO}%@t;D2!HcC`Ex*f?Ur4H@`slDww#}Cs2#HwlqzDb zDrUwg$yD=1e5;IPR(;G$$2OkDG@>|?;s07k;tMmsoEXm9L!E6@CfR{KJ5JU; z70XQg1~<89O52ZdqlK)zkCYM=hw=pE_~1qun4#F?G73OhnuT-YtZn^(Wpfw%UAmpt zIk(1H`}DGtiwz<2Pn zbNe21^L--=7@%q-)J$j$1@rfiz9%99|r8%B7sc%VIabu9Po4)2TUE1fTp7_An8a76x1^TM~)gmw<8kJb(#lc zoRG~@&fzeC+xZW+iokOhGJwVPD?sFmY^HO=g#q|($g5ps;%*ACyCXr~J{U8w;qD4F zxs!n}xe$y%yoWEK?|}sHJo{k+%@dvg3?>5HaTEZuz4ZWFZzOQ)y$Wo2Bb&EmXwd+E|6+j89|^jH2xjygCME?8nD8e9ZU=q<=mL?T1~s%(C4(FQoFF8q3WpA+ zgRFs~AX0FF43imf4psq#g8$jjpM#x%hTuPU$pqXF(F4>%kRZbhoC$!3dIA&B!PWU? zp*DbbC{!E5mH^B!WHVMcKMXhuBW+f_PXhx)?jxH6BcOt09|3K}$Y1~-NtTlV<#-io z3Zz9|C1eJ4qC5cFC?vW#84m6BjwrHb)tE^bAR2>2_sqfBV8D$yazI*;34EP`_zCF5 zlR@PP1w@K9#!E-sf&p(Hkb#pA;q3r%GFkI}vH%SDn2bb2 zayzL>z}T9`4wltBirkz>XI&!AwR7hwzB%_KuZ z%P9r}x-!WCIv^9k14uy`O3YcH4j@Ap@FRj?z@vv`Xf7&DLKwi3L-uExV*w=)>fC~} z!hj`^43uhy4FTl2BmYw{(ZKgIGW6?G1XRs?%E`cI6^K>9vXTreegz8!^sC7J z6wV}I6$&66Qvg&o8Hl=x*$pt%kfDj|;n*-3KN!^vCv9eYdI2E^9%R8u(cVL_4j4dF zN0wEe1nfRT0{Qh`KvF#tTyBI<0=Nz2Al@y^PGG0uDm^psz0nouX+#3vP40kY6B5{M zx`c^={CP0aW>||b3~bOxuz}W6nB;(WtC9d8R4MdsD+T-C)%UmYcVOff|5H2kZtK|i z`#bo0LdODE$NJ7T_AZ`Ic>Lm^jTu4>Q&dz$1Q2dxLiLZvkgM}>WO8R2AH-~5+vRO7 zZ!xb6CaJLcQk2yVU^~7kjvA!3PRn`HFj`|6uP%c?4FSjx3QDpl}>Sx5M@e zWjP!1el|D;Bk3w^e?Qf)%>Pb(BgEN%XCzM*rRHev>`!ONZ23u?^^hRr!&(>lhv}%{ zY$w8?9MTOR3&O@m;J{e9MS+D9^plxizkIU|XO{ihs zi;7Cbp%o9vys^otN|A~egBXX!ARO`Zk2Tg$d>f=6`H3U>4=@N7HCK8RTafPyCm+}N z1YQ%%w`66Do;hb$z>=XD!K>#J3oR__%`BvCE4sd-^S}UTTPu-diu#}6BBzf^>2if6lU4Ktw!;QP15p-Jq&0V&K)Z>qQLwV=kxzva{qCS zH+0ExgP(HdtJiLF(+^NaynafvLfHfB4tktDbJ*~~*TqQI$&VyB+ax>tF;#YUk~@4- zsFu@9pcKQR;-T+zLtWn{y$`RR+!S`%wf8iP{3>qu+)%au^%GWkNR};uXDQtPoQc^viW|`89nDN%(y~5U8#-UM}t~anp zBA@b+*dWXv#}a5*48)Dkav8gC5{opPDbMvhq3`9U!ouuV)R>bsNFmTrPPW!-eTzp!LSX;duyqo*}?kj~&a$F*pPuWQZfsgUonOAMpGh!2J zxMdncOvKYQNs#nL^(w)}(K`FvS|Euzq5^ z#UfzzD>1)CWNr%Ay>?iHa`Ih&oj3EcrneVIpX}}Rq@u8ED9uM7n$08;rC7Hd$@I<> z6Uk+m?FQ0^RXxhy@cGbDzCU-S7NrU)5ZL75uNqxGHavDBR&^DLQPCSo%zr5Q=>|J< zBBMY&4tu?xLIK-pX_QT3v5R#gYe9a=c5#>B9d_nu9A>*jYXMVoHz((dnUjud%)c8> z$|!OjMoSq%2UI<4yvpTE=GHszZRXqD0*R~+g>tN%5sF&u@B@5O5=CMv1x(;xP05?A z@V7mDijzWoidkQVZkl;0#t$hf63f|NC(%%TYP)m2z6cMsY^H$V?xWgCDkf)kif7Nv z%#I9T75bhMW0a4GHf-scJL?IYe|34|dG6a{%@#+WIu2AGwt~T+gOOu}gR*0VqljaL z?XQNw*aut10;GPAWF4)i40N?0a2me+*o=4}M3zIR*J2!~!pR|^x9lRH_{ctC9G*qT zUe7Zy_@yVz9n9Kp$kJ@;I};m`=JdqOQdDeGSYwq`?B}xxlaG9M@T2S9IVH79udOqq zL;kRe2S)^o$u=5WMh^(B~fGjljIGFxJ~ zX$N;1oSeOM4QF|krru-T_)6QLc8^rp#f`-#Egm;}`p!}4hZv4NjCg}kwEGUJxVP#P zjRk~e4DIvYO=%Lr`$faKue9xJ8;I`P%uDdp?oZRAJbgC>7H0H6sii*M(^#_WW$Q}9 z0)@Ow*$oRSv)&r@+B}WKOc=T5X#2Fum(GllRjl@2=1K#ha+CJFL=@}Wj1?pmK5yAG zKB@1qE9R@46BOq6)-IEIuwxw_lQHMG=oLJ8?C<{ALD|e9>795MCp*JQ%6KmqvAaZu zMx(r<0BT@VuoqtQA+|_SK|s@N$XBAaeM70P6j zca}XPFM+w(##Y7*4pu9)kP{3OGYTXu;n-&)Onz^EL_f z3F?I4JWMiNCQ^iff$yZZph)byO)PyJ!XIaqKx1cM|KRg#pY|zE1`Pv>?rA=~6+z#< z&mTB8=$*VC}hUt zKgFzWJJ>$eh-&Qn_&R!3vcvKOu9Bsdx4LZ-j`M|B2zS8KvO1UH~As>=g^V! zBIR{r#l5~0wfB?a=f@%6!A=a1nqHj33o^5)xZCZK0dT1TJNJkaNomV&Jghi38yoC< zQYPNibitPLG3{MMgPW1YIzlUr8;M={RO2?Mlw-MxZcM|k5JvD3p6l@BPnh}|2dG52 zEYH13@{>?oV|&6Qq;27^cN)a>uM?+sd*sEUz?xTDw1P1!!bpgWAPR33>G zSm7g_OpA(=3!INEqA&{O&zKy`I6jM3^{my9>{*H-^PLw87e^fC!blKP^V~eUy&sR!BnPma8Xb*OBA4 zt&Qjw`OHJ1p(kR|hI80ag4V`psgQ8`&ju7dpM;K$=!B9ZpTiUEDKYptC;R|`{H3g* zMB(-%TBV=S)CCK}DP?t?mK0&7oduk{ORG892Vho zyxQ*qBB7^6e*34gcHA!hi~dCyo|YU&5})e`Ixp-8#ZDB8Ln~@qkUxk-Fwy<5GJ>k3 zsMHII^HlxMJqA{Y;<8J%VEiqpnHDJy>;vET6f3!ITkhGonrDMJw%#4 z=^i~qsaTpV{R|Y@_~RJqCCj(Vn9S)Gt4G5usB2_%qefF{(xt(8F|3&!lm#hwsF`v9 zwK2H4rr*1{^)~TWN!LiZ{D(*Nw=`*(c5!@!RaopJ*0O(jCl7B&T=!V{AZ5ai;N?pc zp0nFj&M3*uB=(9s5p0c!ubfsJynM1O`u0xbn-`wTtkl9i9SAIhC1Sid{;#MNuBFQW~;j*H-fGgyV!%qv>7N18cA+%i|3u}f(@iRTd zyw*FDKw|dQn<(12;2OgQ%6~7CGAYd(`+$&(=D4xdr<=(Jd$U?6S*>n$i*a_*ZjK?9 zsW(YKzw+?|hXbDNvi)vjZ>9yt^4NjvJ0|w#V*w{OUE^#MXvt*vaUO7n0hb{kE9+(I z54)vrGrWng+>j}w(4f0mc$EIsd28Tp(ZrDrxfHp6c-CdO#p`zGrzrd3TNJpAobQZc z-3iW4Z(gd#vGri~A%8SD4Q;8D9iB-($Bc>Sx9glv zB536eSbK?M zD=ACaJ0BH`s8c&)`uusUiiik$m2P0>tL*!hm{`#)veAOi)TdQYqlKq9m7+vZErF_6MD<$12u0S!K(WPvmnHJ#n_QaNWJCR^k$j zN$0SvJy@cFhar z3yX+^`R`0H;rDK9)QUZ}=kovEyFZ8fvnqZeB+v8#b!(~qvZ$YViygI4sYa)mgR+T` zDlK_Ye6L1z>^~8qf~hYVIfxeHH9J}ZPy4pk3C4x2vDImsjG|=Q3QMpRb0T zBZ|g?Yp+=}o}*TO@|lmb`pMH8DKs=Ua&mU!v1d6=M^;$dNa6L=Rq$N?BFy=g1$SP>lGT zWMTtxWGv4I2O1$*|H|7rp;uXk*W z8bN|*&$K1A{z^gdds+9%tS@@Fps5){Xrs^#+lNL8I&TC%c5nq&`1Y17$G+k!vIb@j z<((fU&i&3qRsNvivcx7ZZS8Yn?K@gH!6eGod*frJ9vW4vAeATZ5xa{$w8_$cs$zh{ zBO{{b8?S z_1fX^uf3q3tFIRoUUA&W)9m^{{Vt+vb@dSYCeN4WS*X`-2BS{NYEi4Ea|G4d9Vl~U z2ReO1?AL^4XML}@Hy&m`7VL=Sdh>Fzi8=iq!Oc{Wly3?f3_J9@m95Kb?<#GUwiP_Z zIcgOye%mFO^#^sN-_9|z`G7MX>uOe@sqA6vH1;0VP|_cu_o;-;Oe9;ZNH`sS-lwe6 zFJz{5GG2-@F1NuBe9?MeH{iBOwUI52T33jfyVWx;@~m53s@LQP&uW7!Y@0`y<_s6; zGd=l?;{RR|z^Is~GQ} zLvO@jj@yd)S$DS9%pbp3agCD|yJcr9GT6_W!YP=)YAVZXtBJrXrub5>|#d1=%qC)iJEJG}@q6$6#&N5Ud9H*OStk-42- zC1!s>HS?(^{Wb@^ld>oq2S-O-1%BSaYzU2W6Kc=LRK@e-HAURa~dA+vTi6y zhP-{fx=1@h=Y!aqZZd}XUBAUjqTb=c-kng0!lYguy%y_ZAWs((Bw?AAu}h3Iu4mD& zR>q@XA^VJ5Mx@0EXT47e>3MCwVfJt?syBh5?ZGb9-W7;Adk^IE z*{ogzIpL$??`)+fT*6d%A{r;ob|1&;xz;gO?$?pK`04hX$y=p0=FHKXZe_iB2LE1( zMD3Y?_WTCwcO;Pc^moGP1tS)FpDp9m{CImYqEz8oXX0iNTKpZ;bb>G|G+Bw~8OyG! z`iyD9p-MzL=E+xzD!XJOst-Df)Oj7un{?evqpT9rAywA6arte2C7%9fZ>+|znSzF` z%5MD+>3FfJ=5$IpN2#@iZ}&3u)7o>S5V#L)w?6s(^EVTjNm4^b>c-LU=0Kz3xsbO~ z*dO9EN{HXgKH*i*Toy^!LE66!R!&dUe*N7k20tMYpG11`wcNsk)8LQn`4L21O(jgu zC)L@(UeDr)L!1+T?_$aY#VMIOWpMMOeObwFc?2A1028Aus3$8uzh7ibe3`!ersoyT zfj-`2(+Jn)cuD+MBM&4um=k-~INxFVn3TRHS$pou(!l*z3C`X3Tk+o0)WGnVLT3*3 zk}VvWRIb2=I!b9OT3mR*bE3SteWoF7=R(Rkj#-UHkGS7^fgB_v%~p9-ZR6iRI#%9q zuBmfzcl?+(+iie4?zh2!f`RP4$vp-Fky&Mb~&pMcy! zw-R@;Z$ieu+JA8RvT+X8ghy-aea=N(SL9Y~@AgflW2&U=#a@ntAd}+hY7E=^SOHt zCMFm}018B^*0T20C#xKqjLxP8tJNnFJPp?e$M!#Pc{HIuF9b`6X>DZUglY?Q766;7 zQ_2N;v^cH<$K1X*OHXe&h#fy8(ey=lZya?G(d~{>A4CQo5 zb)S;5pox!uAye=P`H$%}b3X-z+vc0%+>?arfx$J|uJ2Y)o~@Sl^|7Y84vEyei8h5i zBg!Ys==27THAk#kO+se#*CutFXMGH*4+g@JH{z~`p{Ba&GJTR>sg2tVz2i_|nIe1k zo1ZDlTJa>d&v#gYDE&G|{|_^!a?{Y}vUdc-2b}pvE6nCQ?-b3OX&I`5OWtaMjOn#$Z`+FWFs%vdRtu;CD%+(G-3%Tx^@! zH2k&rI!MUIOXGk)GTh``zs|hsghIBRf;jfZgtlSxZMtK|#Xg_pfBWLm)OVcg`c;pVr&NYWn!La~E|Ydr z(te{5*7V;L{6zJARoY^+cVC^RAF2FkF4Ns@yi+7dD^mot1_W(uj896i`30;EkFQR1 zeG3wQh#D({9ao*676@qWPv6IyE69(XJ@|NN$5fp*jl&wL5c60l+HdN!V!jsztkR;ASz7qMh-zy7$-_xrod9ZM>@ zyXg`Xa01?-&KW;kmMB`6)6ezY>8ey!wqq9ThTMBe*%7Uy2)N^Lp@806;c zPL7>~q@45onw)2wQWG(Cn5^CUb}+I$ewvwPd=}t9D!ScG_sJrE=d{?~ql2*lS$XRx zC4)PvFils#eU~-1Fdrjdh<^?sa5lWWPM2Wq{1lUV$FwVrPLQBN^m78;YMO5sF;8oE zhHopU0KZkLvxC^2{rYMQZ8$utVP8DvWYyNZ_r7*OXWoyu6T5qkrQ?4K?ibz>AsT-^7a`{@4%Gzp5{I%V|o(y>vb$95p7Fc(2!^{U4UK?-LDZ_ z(eQWAzC0aBGnE6`jghVkrm6^t%-wsNDx10xi| z-hu78?#hru)oA0~vDKEmk-FJ>kol1BlHs^Z-&~&)Zf?`)NLeq!w{-K^&%tRQuiRmk zSvyqr<-ScqTD96xz)go!t%=5$gd5K{Y=;Z$Zy7|>*|E&&zNtR^apcI)*5zvb3!fkY zDZN<1Jb*dp_2A`aR+r{l_piXnM7K98{!^7{yX;FQTlO3VqTbuv^-|w%-n=LrZqcv| zqQB!tH@LMTxNh2^Rr0(FMbr20L?k{rE!(tf?fz#9Okwdk`naw~Q-F{rtCc?;1~1E3 ztYkOSS__;hUF}65vU5xe70a4_w>++GX`?T{DZ?)O!()aB--uBQexVeU=i;ss z@A0N?QvJbQ3&Hc;^}K5(82ERFr}ykaI?QDmln3p0_tqMIeR;>*-S5HhvygYHdq`Wt z!}6^A62Qy5v)nm=y4>)87PS1jITtlGSM+?&-BobO+wYE_F1MRQac%UvNR!)$JGL#0 zn(&=6iJ8Kp;&Q0E=TVjUvDWA;%;N4>Q^~@hVbMm-q{Hl=ZM+tY7pzXqizd9hDGEDa+Cg9ZzH+P z%VmRb)$c4yx@0$EsFKM76zQeIs~CVH^Iu2$Q8jB4x7BaCgkFAp|FU&r=-ZIc2DKVv z>+hrSUw39JAL|AgyJR)=Y@65IJXufQ^E^ZC)PM8)_3Otw`suYLbBlm6fv!M5x-$pTcfJ~YkfhqQ>MF9TC=;`bG(wTgSyYRwGedl zKvO74K2>acJTJ=Alz5FLqy5ltu~27HG2l%%dZQvHskWfAC$O|JZK=j(7Q=br$fg>G z;$FBeIiG}AB0Wb*^>P2E(NGx)a+LX*q;$qAuKQb;%Dj=p-FXvf8V){_Y`>!O+Sk`KorGLee*jw^d zGBJIDz7qm7;fi$%X_KjserJj|MI`Fs+Hoe#-x*uxhUwF>fUoT<$`- z_3q0kIXl4RHsoXNN_Duf9{l9I$gtLA$Bl`QU5F)8o}t23HhUfwQ7I@7d^yR$EYl~@ zq73AFE9_b}-?Fscn-J_n7KM@5_^3*8azS=JlvtCTX$7nP{nn_X5SZM8K&ct8Juz8) zxMfGCQ1OK+?(BhL=8wb&3Z>NO?<@~cg-?+`U^X|YpF~uCS)p>M%!GmF$k)5=^}AA1OZT^(Cq&flZgd+(t7n$=CmO?fE&2*bHNq)c zBW#0KI4+-c^Kr2;+<#9x|DEam%bJd*Np=DPF<`7O=RntvsiRq)fOWLIwNGjW3uS7y zd(^Hkp|?I?^l_S>Thz@``iwEcgJCiL<>8%sDuq-kzu!iERMr`z2A#00wyR#|fJMjL zF3|4`R5ouu)R2^)9jDT=OEpULJE&6QyFTjiLFG)sm{*(`Su6N>{IQdJNs#{(_b~VC zfuB(^Y1n!z$`92Q#^(uzsuLW!ps#R@RJf;}3oCvlTR8=espX{efy@>Q(?}s1f$AKbChv2%(Z2m z-;sSrXwo1rzV*v9X|~%$vj_byUOiu2tjJEjy=mlm-hk^=N8P{PWxo@6f+ORDq3#Zw z;jzKhenc^QF_xBw^-X}HAK<=bLoqt_!+@3Wv%_1hJE8rqyOwvOI*(Rl(8anpy{sN# zilxXic|AB@(wY{D74&mv8&M2$99QWrzV|L@zc1N-vNt|e=Z7pK2H(9sJ#IYB08hid zd-v08&b(qL7=B~FXeeF+`GaAka6Z0F64vIU4{wNJf`6hfo7<$B#B9ySzt2cufBMiA zBrp(p)rp>BfgK{DUi3E+*bgL}U;Ix$rW&lD1oX+kWJB+m!2}4e$|qXU6$T@OiDiYa1+Wkpm|g%wf;2_2QV_QY_K$xCb`-(>BcOrbi(wRKNSmdDfsCav^1sd*s9y%n zO+5qg0tRN6Lsx?gS`e2LVGi0=!v5N5;CCp3bTmF_K2=cLN)9{|#H@i%yE4y`*>1g2TGpO;(M+4XDq3}vb z1HBrd{y#<Z#l^B*e>1bd+f($d1gv{%qvARR3Yr0s*E zKRz1xq7TY&C8Qw)#D&pM24D@)lN1;KKOwCP1~Q8ykZ73^7!?d`)I%_$gGXUH6)<72 zQ6Iqt9(lnXz+o?V2e_hzm_i8h^Z#jQz0%G=CSSOmg3y&!W~^=N>R{*3D9HEMGW(B* zCdeoDKOUMOpZNcHXoCEFAU`HT6}{^VpSk{bJ8Yof049v@Uz$C@kXXo{gJ@QQfz)wu zGIVYNf*J<;#KXzKi&HpLHX3scAt)dW6ebFS`-$-1Z~<{pmm5La931fg2JSq7lQ&OB zIl#b_Wa#88Q4+*Xh5udsz%;lz7^R9J{XcIK>`sG29O7Yyf?MhEKguKn3=GMD|I2S} zCY0qbzq?s~Mm~f;2fH3Zy5AMCiP=yaL@WTl$$|glQi47p)CkFxb0A?Z9Ql{npSjQ! z{?#c#-^b91KRzXR`6v1#RDzH4pey}lmoOh{{G(EWrUg*rUtpCAp~fp_g|Hq;Pk)=@kA8``g`x9M(=~@Qe-xZj;%_!X4TLGxG6%PL+S6+cy*#`d(hPA=1!80`63Ve))+kh|H;ifQ={{mL)Ib1?czrc$9Mf_iJQV=|l!c<3-y?}ovgNgnr)U*@u1I#O<_^SANf&??r8bP=! z!(gK5YwzK=u67yeUj_wcq1%TTV9^P;^CG!U+^zF-Cq0o%gr!2?>f`)dKKMDS{D{tw9i> z@BV_D!LDA4z+Te@TuA6@|D%U4;5T4@E8jV|_#3Vas)%FW0~ao#X#XDKc||Y+{-;L% zwQj*i1VT#TuXg)y`4bZQ%gTRf5)%G9;$IC{NcgXo`!7vG!UAZh{3(+Fy_;<4d~(Dh z0{Yp;mF=Ah22vsZd5MEJs1fArV05IQ9huzQ2=CQ zK)8XhV(8%&G9V~mV01IYuTD48GX|4Sj6Ak=?Fp@`6*{w+v*2PcG}Oji_Q ziy;21=Bj{y~Bu426NplF*X;c`f5g zA=JT{JBYupWj!gxKTOt0L6?P?Oor;CG&J@fCZXCyCJW61V)7GcEC)r_@=#_idBi_; zZ(bfc?}|ydFh6+k97c*>R77M$H3HasmJ50*Lz7{+i+BrOzYAskQ~LJqLaVjg^cyZL z@aItqp<7iEm{;QWZ*;pF;*jvaXoPAT9=P-W3VX}2I+kc#G{C~$J-EBOYj7vHyKC?j z+#$ghPH>mt5Hz@Zf&>V`A-MbNWbb|Mx$pgWKe~E$by;_fZ_KK$Iji+yIHmsh@My68 z2T2~zf9UN0K$3_1|Ar(F_x}w^9&XNmG;*Z@%rAz22bDeHFiw!TaNsS8N5IGez=;4v zKn;^X{R6V$C>TZXl327~Fq{gkR$U5x^K56yzoW z=wAS19Z(Q~55Noi%W|+uF#odL3?Ti(a=0l#xd6TZwce2ebj|;$Pwg}y$zP@U3y}U` zNdO9>2LZa_FP4hZfyjRVl$Zge{0pGZnLwmb77RdRidlbZ{i7U%vw_>0fB1=EM98joAm2Z9#lz2+%&NiF0uYtiA2$LtIRH+dD*izPG>-tJ z7Z{wh;8(#AL;bnR7XbaGBRq&pHH^^zYc$3q!1EUi|Euo>{!xGb(GicpKWO=nj(7wB z4}(9WG2R-OO8I~0DR4J1+HijyY5q(a;vsrZKwJOLEFkw!F#nN~#tZNc{vC_$q=th2 zdd5USa-aYS@O}wN?$yL@0n|1P)L%g5LZCn(90<@$e|>KVpddvc&>z>B7059x2lESD|^TY4$!9mL6{US5DyH{A|bQ5z*GIj znjIccz(2gT4v2rSwg_P+0R2^&K(`YR0x1EkML-0JKv@3{(58uilz+(zfdqJ}|J+<4 zn^#?t@`PzXKobyXfF>Bzf;J&aw1D(iQHs$4<^Sg z;2E44K_yU-{0abpn9M*;fPYFCB9yB)4AK#RGLC{kR3Oh&y;g9Cj zgMb7;(hxNc(3chfrjpQqBHu#u|D9U=okFNd{liWFaTPD`KWO|vc;)5)XFl;CUU~l= zoc)JaUViR>@G2|{TA_ppiGYwl5)-uun}POV!F>PwGvkqwfd_F*Qjl1;`RmQqdTUpB zl^lg?uLjbr1nhxHnQeHz63blq0?OHFkD#X@RPKnMt`Q}Uf;#psqxF8y;)OGNW0AQZ zZ7WK!kY1E%3~8#Xi>gw9Z>>(53gx2&nhZt)k3Z{e8!J+(!kitgq-Z)2z^M+5OWd~Q zn5kMmgMQraiQV`zPoY6X9BGrFMz%fUMhlvI+&vC@bV+S}gde|^ibXQ>VJt{;&Qftl zgAr1-FI$HQt9zq7$g`_c#9N>z!r(wEQQ|gb7v#MaGvqj!KLs%^bV8k=j!_rkN>!$N zh;;?_t!QT2G+$$3wieB#gTtb-W$-n4Q$4T}6}1J>_1@Sq;k#11{mg>95tr|hh}2jb zoqI)ndxIfK;|23Ixe5irp0NJhlqjsGgYL|(5t|${nj->^^8=jp)=(KEK^!z?1Oc&= zYm9UiaV8%^dA|CXIHeQ2ql_jMk(}z=0^!^qPsyLufcqs55m!EuA6Qbz51JDTPE}eD zdDBg0Pku(AeQF~H%QJ7tkp7J>46U++!l#~(NuP@1aB_R(r(mSN!kyekqP2^Ge1^fdM2dV!H6`?q?pNnvTYKl6W8N(;asLH z7|woAwug}06jCE7|22t0JJ%8AjXaaG?hFzwEG?pYPi9Y4Rk3#UCnGi7g5lPgcHVNU zOS7udO51@Cou4fs?9A!Hs=6?Gyn7<*o(W1mbJ7lSDRgsj;0NXm+yi3weq4Cx;$lKq zcFSq_I3il~lu&BY+mE~-qN&Q;;2dTpgskSJnfdj!-Bi#OjekfJKjNT_$@g+hCj1mfP)lIgzr4ozr_|77g> zsxJ0Z89FgT+_X%otWK(@He9`P!f(#E6z{}Yn38-N8}!w>lj!5=gpC%sjb|wcf7TNmOcgE|E*n zIs;9}%xS2>(Dum)i_{tP^~cirp}Tx@bA@M*twCMjw=e8LVzp!@x!H*~v$d<2hi7VZ zPAgl-UrV{$Y#CZmt&5Kv(XjMw#7YYJ<>ptOeZ2j++HzH0er+@)kGVaaZYRsFlRn=( z->%cKt&`>$P8^@8u&vEU;?wPN`TX$NJU+gBIt%Ov!zg>1$ib-gVui3O?fmu(;Hmwz z&C{fE8CVtKcd~UqfeJll zcc)Mr_xSU&xlX8t_icMJeurnwuEw!0_2hLMU4$R?HNw=zxwP|Tuo&KD}a^|)a%Ffmo zoh@{Hjp@0$>?}olRq_hi1v(A5#jmwGy`yVPGCX}fIlD7D#MbPHG>S_``zteB$*DLC z!AkM>BCUcsT^WWsyS>|+eqeWR-iYJe1e+lO$yxPPX6_CxCng`GrT09)LEmZ{-hMIu zMnI%v?|Sv-sa>>s-IRv1uyX3K<*fsO#FImyy2&@)E1XJ%UdKSqsRMyVvT}(hxu>pY z?47EF2ya)UeY z11Btc@SY{BF9V#V+3w>j@@a2jd34iwI!RV^iDrJBP#CyNOKIC!<6c+BrUIJh1Hq zv1P&8Z80SwSeH~G>ttoCB}C*ag~%|^`{6xq0l0XG%F4&n`ycQ8<-kEq5f zm`pdDQ5BWDVPbN2a!OgQ;aNREKSx!}Ahe>u5l0Nsv@F1t+3)%gO(zn!Tm9327y~OE zdQ3Tk-H7W}*$45dBu_}_dg>MiY((h(%7Iz28~wE65XO<<9Lj;n#HE_o3#R4{f$x)K zTit_E$hQ$|s|O2V;>KCrd7Emg(7`JO1rMlc3p5VnWON8?I z=012btOj)3>i(JESUW`JPcg2s^vp4cns{&a9Ex6Rn&Otz{jA!cMh>i@uxF&iN2jDvl7g{k-9%|E4>oDa=7$nf)db#PGhVs5M|%kiwfRYvu?~rb z^!?OSYmW*7?S?WuVrJvaCMUp<_u6d`nss-m1(D4)!wgAje$pL|-+)_Imi;Eps5Nmel2u5#z?%C3tO=**4> z)0Mj>2z-eeq@&4nyn!8BH)VodyLvpDNT2jaTLOKlUq@`&`K0U`_K?edK+^0M_mFos zkRux7m~~7Vw<)|)+B~7a(m2oG5S0Zz zmrfLVcbazkb)4_$qBW|rkhQilMf-eNE2kcU<^=dfALsrB3U63TcT-+wnAW`DU=+2)E1}CQB8jV?>-n z^EyGZ)u7B+cEB66v#N5k9y5KDlkf1S@hZJ6f|_FGdEcmfMAzr14o?6Fh2|hcF?IWhCVEnwuHkNSbL^S)Q6&my#1~YHET={TtyN9n$-`kG7I(uhR3zr;?h^0j2RH9d!BpSBzidtq?e2EVv~ z6Hbf10v%aKq{!$I$1{m+Vue;~5c3UTC6CXLY%A>hA{|YM?u$w4syFW|11mk( z&L!%g`wvK90d2oS;u3?DiB%WR&drzOtUOut<3ZkXaUz}G&XwvQZ(-b7IHy7w`hGiR4uW}9y)S$$>VO@9pS47E`u zTkjO9mLmu?yOe2WkFg}!M$$qy(CD1T9~(*87n!;PUw+7~`RG?!QPck*(@;?9=Q{UJ z`EUhFqqu8ekZtgc-swA*y@K6j(t)>|mL2b)dbhy+^~wxnNF9HrF6lGB67g))QZ2t3 zL3T=9Z;pl=Da?l?OgyE!!qjgpJ#R*$R+cVFQ-YydJQ$lSiZnQ< z2jz<`!HrJPqgBvCB6TZ&02h!#P?|ztW@5Ws4lzD zHA?TBcPFB~!_iFd3l=bs;7wBQzPmEJ@`Amp+*_X9O;q z_fugv^GCT=v)(B?SQZfuw(1zHs(7@K z^4nFnT=9`D8`A96NSE6pmuXs1wP6&pAND%NNQnp#J>C9t{-ws*_;HVjy4eO4_-eXB z5xh&3+I8yDG{RC&Ux-EwEgsGuv#+Df_extC^Zo0J+jB%JK8+T;)-915DN++WJ2D@X zz8AGXt-rt!;dD*5v`R1CGLvTXn z57ovD7}Ie!nthEsbx$CQ%HAxMNm=^eLS1Ad{Z)@udIG|7VO)MQt^ER{#>5hilvWx} zm7VVd{pi>2=zW31fmrIsB;WLhYqXWAZ%+iqWNNRimzL=@Jv>ybuIrBda{?bdciG?E zXlJEY@N#H(d={(5+2zIIWLo>)U4ygIA#+-Fe*8@7qvM+;20IpWfmAn+I1p#-%Iy6E zmkxL9n|2MV>I|q9&z4&^a;WUBo4$nl=U@H5Na+WFbILDtwTMFV0S1}47;OVS|Hpiz znf!{8>ozZSH&y9J8qWKvF7Reoi9M&>pv=`CIp8lh2v2F*X^y*XdOI_B;QbYy<_S-6 zSm-Lm_s;gE_bopQRWqq^FSk>@?g|TMobOPcdUKs|@j~zM>_{^Bo_NjL621b>x=u`D#+fGd^O+BoPYc(=UywCM3!D zcZx}_xiQ3eTL-2n{aDPWZ;Of(^V2*&X&uX#WbM>)ig?U;C!qDg#2O+6dxiLggwfOF zhq~Du-@EHvG7*6QV9T*j=Btgh#Jooj5y}r=&E~q?hDTfuBz6Ul6+8&v#o2pp;;UEh zSYD89NGF>pZP_Cx*z?pjA<_?guG%5`Ii}!&%D!rY|F+JWiyL-(rANm@*2Bnd@(eGy zI<0_s(O%`g-e%|A)OEslqH5OgbvCrY1YRN#Kq0|HkqD|4=7SL&d2Fz77VT5lL+7*K zJQ~|gQa^)=@i(e;b}agqu(nqDv!9rxmW3{{)Pk&0hgTZj@&#dXqIAK|0UbmMwaUGM zVm46&Y8<=KcZo(-<4NqENBF-CUu1Xs-VD$ELCP}~!G!L$rfF@j?ehWtRHx}ti zLL9=G@Ak6|RH&SeEYwE$&a-qD^G@PRFUaCm*7G*_DVF3qTssXWc9k#sfijbkmzK(5_W?xP3Yz zhwd&pJJPDP^+(3YWxOBLd$$UaZd$pdnTcde4Dx-R%TbVQm4$hOP>4}_Hiw%X=Bf=h zI1DTmQna0m2Eq>D%P=ehhamoXDCZHrMp}$U;}j6JTYz)qp&og@oQ$|^kz#~rDmTJ9Xy+}0E(fy#=xzIoW9tp0iLa&mCv)`^<`Y{7LNAIrX8S5^tl z^8N;TV^w2&@#1vGRC=1@Tl4zNj7yyiFmvF9)dlrHl=G#1*fNeb*puDQGg9s9*90vU zXCurk{$9IT6%8G?EUyfYLI4W`#qU0sliCD7s<2gd>iNjJTHZENSl&C>%Za3{uIdyEO*=)CXT)6?2aA^#5Gm0+#`@)A3UX?Pr7%d|l$x@#_QGsHZmX~g!nirKb63>I%QVn&l(tJro^+Ms*q2~~O^k3mmBQ>M&INXI z=JS_$ss&f*Mo?_D5B4b%lo`%H! zy|iOy+Ir=g+huvUKwiU69iju|F_ zuhdopIohRysV`->!oIrKJa^P{f;+}X4KK{BYVN>w^;HhdoZop2G7dAVnSo>6YeEO_ z-($Poy3*aKL0b{H{!ebJS*kGn?x?;yVv+@x`Dq{jq{x^tb`n|rbbj?~ z#jNE;9jv!MM5o1xZc)X=!kNDzbjxl;bJ(vi8?aVnobR{B>0Ysp_?I2c5a4s@n}X0 zoPKxU^KpoVQP-mgU5woaf-d?JD97j!r|^wfATawQ{Rw2I9$q)MBjFMHbNYt%h&c@o ziJ{_xOXC=x^~!=b7$&OsCih%>N6fEris)l!80FQ|3d3=%1PtZn()z+ZEjbMB*HGPx zv&K`8>cW{+@RCa@WVH9PBXG2Po56oW+3pHc1Bc zH!3Cfxg%dhGpjz0JL+UO-Ui zIl>!ZrO?FzEJ0Lh*9_}wsY9^JZ(D|cous7pcT4e3$85`jtM*aQIx@``Y2VG^+_96D}vY3{T?)%pJk5 zp!L&fnCHxgOQ}jixTr0Tvht)md;PqlA7s;t-2#G)o#LSJEZQNl+ zzZhiWz~Fk0XB7#xN00c}h(&uo$6|pxc_GfT6M^&Up`_rtyrAdsXU?QXKls6ogVlin zCPPc^1U4c%Z}Q9FScR|X+p#j0AOg}q$uU(QeP8tkMNQKN&hgz+1DtQBdX7Abm+Q*ko+hR&R;8*v=C4uV4VjT z`?t7+{aKMz2m?g&2v90CJ3sBo0G++Sh)(sMDp)3H6qyK3x1iK!@515Jljg6=W z#h?HynLt}ifE++vIQ8EqKuESg^1xP`e^cdcfhJ&qEI=w6NYVj_8_4nZ2Gk+w9nqgv za~eo4EUegnbrHb9_MrZ)>j@iH;=j6labQ`n|EY@xGEN7}54?lFrHIkPiV*%a{DtJe z!s0@jC19C=qJCO~2q5=>3})y0-z%G)22LJx@>tJ7-ID8Q_Dts;-G)x;xJlc?P{{C5 z-e>ore3-r3y^~8LtUqeIcQZbcj$DKMgF~+pigJ(lA*BX$NeGl$1xS=Sj5?xaqi`tg zNUuZ7i#!PeY2pV6826R8*%|ZQ&}dm0$z+O|TMMgjz_y|l3W}$4Ms_gIdyGdcc%M@- zOOP~lWEJBoIN!3$8)f`t&m2{lb+SU$>RJBAR7J%^$G@(tqTW@VeZ`MH4eKXU1uIG> z0c>NPA6u$UNeX`+!X~~eE_(3(isUlk?U=-gttmbrOi8#f^lVX*kelX*!fNzLM-~^o zk4JL=zj+g0_dcZ&t8xQ+9KpvD3hPC z31G>TR|KsxGhV_i?0B=bBKsiXfFfvqngm=@OdNEK^jA~%P?3ziB%et7Uk8^QeJCv> z_*KEvp(@p+f-FakR7I}PB%`!}O7be`RJNEj6+YCu<0mSK8u|Qm@EwfJ9)jP`RDwM` z%M@2FCa>O)ttHdr?9>rp`5UGL>iCWqjniZS5!9=wHpi=!dp%IuOW7tAnq z_)1dY70HOWvZk9FA}xQtyq)coAe5V6YQn3{h_H|{W3-^VE7DnL89mu>aWMRnD+=KQtP-JKO}y~fLEzAzeIH@%^MkY#(K3b;My`FFWjT$ztelO zh###KPWf^Fa~8$7yJcrOib{La4w@^N{mx4Da~)c5JJ$5&DqChQQp!<1C&y@8EmTjI zV(<8$Nk+d&MXhEI^lfF1HhH<< z=|@0g-VEud+VXy@ke{#Fy!0x-;IZFnj{7lO#Z$o9qzOyu?cL->Q{cffsu5gfPAU~_ zTUcZ9#^BJ(D9OI5x``D7H74hrhVrA0qBNDguKS0CdOVuX%gg#H%rl(xpDkmMI{OW& zh;-5Dj%%$nU75c;!JAm%J*|0iL(-=NjdvcGb_hid{5YL+Gt zN6nyK1FA86 zT|HtW@&dOCuQydZC9Iq=#`jmzi*WDeT;ik7Srxgp-l@Ci4o&l-qndI|5<|JCvUd~Mq{AC6X{3BJ&aT_v|3cBU-FIcS!{vf2FCh19CwZq1~ z33sv3eymEn8|yu#*|d^{Rol7EL%KGe$y|FrXkWg7$E7q9SLYnTDt{`Z=(<89-&P4? zK*EaA>Gwi}Wg308{^6%LicKr(n=e*X%gqkmKFuqO6|0|hj&?lDmrGa_z&MU}$dW^8 zfKsds%N{YHZq1>=!KzB%)UQ!o%-!1i^e*+&wljxQ>Xg|CgLadZ_f$IT92b6T#i|91 z_DY=$KIR%xTfGcEMvc^>w&bEQ6X0a3!2ZoK^=FJs!_hBYtn9_yeb!qenlRFfMs3mX zVyB17=Du~V620(>zyq}=Fgih61uhR}MrZZQ*w@dX6^-7RpL!mmgksr&MCa{RCj=Fy z)Xj?3dxgGSUAYq{BBXh|z!q8;hx!5NJyTWm-G4t77gvQx2UFf|rUikON?J(~6mM8^cpJ|O-ZV2?_36skBesT!>(HD@j_h^%1cpiZ4GsI(M!2q;#KSaIN3`no)|4F$r(%D@OlUg8Q$<;=a#OyL~%JG4?D>^s2_Uf(YYb@T%Nm0=n_)V^GeuKi!ZpodnA31bpR! zTwzgR-ww_z6>^vuD9^)~87Nog0V7j;6J*`I2MNeP=hw@LlM37d?dtld2+r zRFRoVX_L~Ms_Lua6d0qb)ScyIld7<>W+|Y&HcDWdt`VfEet$UyLFM-2$eqNSNHo8r zi(1QruMYoViEk)>UN~aa_io226t0w44b0nOJ9xlgW z$!yocmfeCc&Hu4?|M!(=$Py~nnF?vM)b_@gWWK32FD)oWXV#&MlVH3r33x9&wrbFmX}dbV@!=k9gq>+0p(aLb>u#teraKnwZ>b{>R;o-Hf{Tr-fF@Wu`dWi_CO zo&|_Lc&H%5eKMZd31AFE>`vUhaZ#W5m<>Vqy~7nh#p3&Ac(4>$IKMJu9Xzcf zOZwZ%>z2u?dux={SrVPk82mdpE95rNEqUGT%8lw~XksIINbV$;S^ZI@1tF;O>GZx* zL5Vq)puahicm!+nTy90O-9^t_VeL?S;6@0&TXk0*qnl5wIfbA}Olys#`)+rC49&G$ zGwjBU*PMb!(&`x zsQ(u0SpEh~JlpC59_;LA$C8a-%mTV!(!uFXBEvsNeiqEJUZSk5Cgz_EweH9{7V89g zo_~vHTg%QB4GdW@cD^Wh`euyN!gpfj=c%E<{4@m4Z`u)Kx_^Ff;mSi@Q+>9DD`z<5 zuXDii*9hMx4k4@KrgPe<;(+Dz?4k87!bN}z@JkO%9r}FpL@TV6m z{&M3S-;^e}5h$p!`bjQ?7lfyMl(ba#1v>%&K(}=C+b!NHVWJO z=vM}Me(HF5%FO|b9<~J8tb3fS*`RlOkPf-6b*LvepHvkw?fJAv56)J5aw&g08+8MZ z@+YM4^N~hoNLz=Up|u;448iM)_zsMN+LKG7G_M;wD>5?VxonA6Ww-{)b?2J7$CbIFGMfV!<}}&zMu6J`mOdF?mAe4$#e*s;1MUHDk8_BhqY-B zieNc4H)OS<=Xk*s9lYov`g_3t+8G+$H`*)uuy0a#Qd+mpvIwRjQCq#9T)`Hrchl34 zNyD?5Mr$O&LWvB5jf9_O`x&L~x+TT$CqTl5lHi0mbOr20afZF8%>U7X(+)d(e4Ur) zwMrIjX#@V;T{$7l&vA18Lu~#pXxV*d87m3K5f`+*cZ1gjadcf)n@Ei$ENm*^Tj)lV z7hGB4I;Vhsy)CCr#zx9&>d9XijfRgdtwjQcqh}_grFbKyB)+d%iQjaGkLmW};_eZ* zRuCJKLVdrVMro}fd_r;FLn|ciBS=^roM2DmqPQlH+f-UHgos8M81(wAnXMqE|CGC{ z#FA4Jtv$--S`iRSzA#fDP9H4=r`>}}c#3Mx1Rs)oiL5_ceRFGNLa}yv|HYK7Q47B+!fQ_q%#<|^I z=QL%sWMr^Tn&ho01zKBAlVIlkN?mxLkwJ-i?pQ*>)gTQ$xuQg6y%Q6*T9+|6K922s zlQh9?X5BUX+n#qWB?Ff7V~%49A=d^a2c1)i09P#Vk5ra@p?O`)2ew?d4_lTiUE#wC zbiB?|2I^uTwW>tlh``Tjn1W?JR_dGNt<&RS%EX+Ql5k_wa(lxThb(VY*-L4E#HO;g zA+oy&Z!ZJ{jRlR%3Vc9D_lk(jnhC7?ggRhMCs$Xqz322cDuZFDrKcbwah+<1hKY%853+vcdnigA8PBr zEU|UqnuU&Y*Z4U;R7RB8ajHpJ9a&h_Q0vz8zS9X?QfOwffbw|px~O(8sQbt(H^v1C+I4PX zM6wT2jE@8?i57f1GE93X%~mGrbfHed;`0m%gLc<@ofN!cAJD)Bp)xsUY+a8_#-v|u zZukbV_YeeA(6GHGkdJD&SFZbHjKEHt9G<|>kq!>=Y<)wge(jL@AU7r7<1xtxwxF%O zMmRA=tvGS}RYu0$k%f9P(ECCVvs82J-v`gnHlNrrC6z67fH{eF#g8P~dspxr`=lqb zjUYUruOs$^EV>Dv14oD$K4B?-)?cWN{OOU+d;qJHeeWdlxEi_E6iC8ykf_W1T6MkH zLZ*{Bw{KIrldQALDmt^*o#R1aF+cK?!^9>bz*B7kdFSS85h} z_hoyYq0w~|-dw8)9&h=2iRP8vnh&fymPv$)g5WL60zaGV`^ z$%S0Y$yBT~mnxJi_h9Z z`(Sku<|-F-|7r)P*D#ykkBkwVGxTL!w=mI(?OTkfnxUQC+?8kOUg*B9uWeH&(RQ@S zvJX{!G1$#Bc@O%x`u!bWbNoZiZo-{Pd%SbLflT+;$wHGS^sb#M|Ijr;c&{i-G5vdmNg{x#vWp4`t(X1}SGsq`-DY}>z)%{tRg z-O!*U%I;2;xHS5#kBGba^Gg;lKYpAT*vUZ4t%MXTB{Z&z{eE<`amda=up=Zm9g!B{ zAr8Dh{2585>77a`A-ARy!ZjXO`E8C!tVa)EGCAlRfAnp^8TUwMGJbI|(BR#nWeczO zp;-%@^CT}F;g=?7UJH}ukmjQ5GBPLS)%JIM7U1QyjJdd#nODoX-ai*axFa*fiKK;Q zO^GB|8IMKUAsLhN)$5XWy36t2rOqO0W36DiBbinEBj!!^<;ZKRAhOM%Mln)x_*n^0 zcG9oczTA0TQ;%wbacHGfd-8%Yz(3DlD-WsNc(NAY@B7|EiHM68LH6Y?aYUr1W{@w* zJEd!<6Yp5G%O6}4A8Hde7NjoOxr`e@EN>KNW*bqwUY_Vp4dc@ad2IjDNQ=*41dE%A znLsJ#sYmU5L@wu4)^QT6-%?D|F^yQ&N|nXFcTvCa%TR^jRM?=qEX`-t;nO^;_}DqRX}0yfQx)ZE~wm z_qTBBkQgs4=T*7t$9E*5F{b@7xSxC59$z?6IjhS%iB&ra#hZXxOZ&yKV+Fgr@l1A# zpRL&q%j^5T=o!&(fp^d73AtSi|KH!cd3c(+d-_074PoJtIQhAdXlP_qWs&|Lc%A;M diff --git a/paper/pnas/make_figs.py b/paper/pnas/make_figs.py index 176ef5e..2889acf 100644 --- a/paper/pnas/make_figs.py +++ b/paper/pnas/make_figs.py @@ -47,7 +47,7 @@ def fig1(): from matplotlib.patches import FancyBboxPatch TIERS = [ - ("Exact model", "Wright\u2013Fisher simulator (NumPy)", "closed forms \u00b7 bitwise-reproducible", + ("Population genetics (exact)", "Wright\u2013Fisher simulator (NumPy)", "closed forms \u00b7 bitwise-reproducible", "#3d7eb8", "#eaf2fa"), ("Trained networks", "RNN \u00b7 MLP \u00b7 VAE on a synthetic oracle;\nconvolutional VAE on MNIST", "sign-level tests \u00b7 exact oracles", "#3f8f4f", "#edf8ea"),