From e42fe497ff6b4a7d3d3380b8c8234ab1efa325e5 Mon Sep 17 00:00:00 2001 From: Giorgio Gilestro Date: Mon, 7 Sep 2026 11:21:06 +0100 Subject: [PATCH] Fig. 1 revision: pop-gen definitions as row labels, title into the caption, solid header row Row labels now teach the vocabulary (grounding = immigration, recombination = sex, epistasis, the composed society, speciation = reproductive isolation), each with a two-to-three-line definition in the left margin, replacing the question taglines. The in-figure title/arrow is removed (the caption carries it); the tier header row is now solid-colour with white text so the model-nature band reads as a header rather than a content row. Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01BkRLcc18rwT2Lysu6PbG7v --- paper/pnas/body.tex | 2 +- paper/pnas/build.py | 7 +++-- paper/pnas/figs/fig1.pdf | Bin 52321 -> 53784 bytes paper/pnas/main.pdf | Bin 349609 -> 351004 bytes paper/pnas/make_figs.py | 66 ++++++++++++++++++++------------------- 5 files changed, 39 insertions(+), 36 deletions(-) diff --git a/paper/pnas/body.tex b/paper/pnas/body.tex index b079251..69a57a3 100644 --- a/paper/pnas/body.tex +++ b/paper/pnas/body.tex @@ -20,7 +20,7 @@ An operator of a model population faces recurring decisions for which there is n \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). Rows are the paper's five questions; 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 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} \end{figure*} \section*{The minimal model, and where its exactness ends} diff --git a/paper/pnas/build.py b/paper/pnas/build.py index 3a9dc4c..7f2dbd8 100644 --- a/paper/pnas/build.py +++ b/paper/pnas/build.py @@ -28,9 +28,10 @@ FIGURES: dict[str, tuple[list[str], str]] = { "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). Rows are the paper's five questions; 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."), + "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."), "fig2": (["paper/pnas/figs/fig2.pdf"], "Grounding is immigration. (A) Stationary diversity against the grounding fraction in the " "minimal inheritance model: simulation (points, 95\\% CI) matches the exact immigration--drift " diff --git a/paper/pnas/figs/fig1.pdf b/paper/pnas/figs/fig1.pdf index 4076c53b42127568837e848defe9578059d9d93a..192650544c994390da24caf0a554e70bbd7a20e1 100644 GIT binary patch delta 16817 zcmZ`<2|SeD_cvtCK9&&1n%!*7j3xV?J^Q}zOO{A7c0ySm%D!ibvJ4?oBuR>-q>U`e zQfXJV|1+B2_l@7*`*}Ze-ZS^!bM86!eDC+%dEewy_@c?hf ziSs3PPd3xOxO#O6o)5mMn@25q!P-dBLbzp?dWva6M(b)@wV0#k(#4;(^B=3@3Q*qV zaTFt;%-Ah)78&7DUcpP-V^(BewmL-O z#|N|#PYf1Md55jsE3(n|wD%6qEXvsLoX_eYs7B&GmSW6Oh{+Tf1hSV{lMK_{(`pNYT=rx!Y9d;})%g z{f&*@AECesFB0H!JY3jZ$VqQmI(#r$uV;PuQ5TOpQu%FMSojGFYC*x^`3Vchx>{iy zv;;jPnwp+5U;NlBRNmbEzF*D{7jy>(gs{wVaTL%;`p=@&{b~lMcxQs6@^Wd+zBJIY zZ(55;_VmvjIu!%ai3;&m;ks4Pn1ZlzjJ-WnegG$V%cZ*PM)S`^hDIL0_J{aeac6n3 z%q($2wO2o@D~sH#G<69s$2kX!tvF|+E-GJl}lZmBL8e-Gh5_1a?OA+%CEm^-%KNaF*sp=KV5}9X{cdn2t?_8Qc`53xU zJP27y=5Q%Dq|3rI?RBt7$RDBjBVK(I>lb@QHBCW>CR};87 z@YZ8aNnT4g()xzr8yAb>`OI8-b$vn6Hv$qIe4;{afoBA)%^&tQ=$HAivt5j@cfFE1 zWc^+!Wc<0afmd^j;6ZpfzM;VGjV7OAaFEw+RoR8KveVRt`F98}6eubwr9IiqHd9mC zRRrDcWDe;CR6T^B;5qbk)0?}4>r@ePSqf1*JRM>2!;4wZS3W`4>|SbdE@qZfR4^5W zOr{YHGSes#`B@p~l3MQLoGM&WT(Mer1EnM?7*8YUmg)cdl1) z*tic@!X`bMgp-FN?X!u2f;xuLcER2sq541xH2-WL8PZ@!to`KajU?d*ZAa>#B|pC1_$Mz*pxpHECKJu#jZ zs@j~!aR_h6Pg5(siO(+LVtB6U$1xez>I2vGu=n(kxAkm$=4cr<32wAb~>M zrFEwgHDv#mn{T$T!mF62tKl*wpq1{Ck{co@^sPiRF;(y6Gbz}V%jZEefB*A6cTbAn zW0af{R&2}!R)JY>vD@P8z<95PN+dRmuh+~sVrZO8mn=x^6mQzsF z+c`A0Jnml6Kyx-OjpIet0ft6h$b*XhYG*>WbeMO#0E6(o-BVTYAO){7A@5&hdh4)P+>Ikc1~^ z1U-Kp#b=|E%7(06_&5670<5jy)Z$*god~~HUptV;Z8cqZ{cgNL6#GFLpBYWV%L;}f zRRQt0Eg`gwK<3DRrN^AYHC5eU>n6cI7v2o_vbJz?y-I;T5hRDb_ABS8RocF;{wFtW zgEb0vWLpn2U+^(YwXV?%7xf))@wvbi0Ek;I>f&qiqvuib)J3YzORC5_bS(GSBu5V% ztoDS)url03XSWo86R58ZTNUO=PeaEhl_JffmN?5sy4bxkk?Pusy@S2ZT9KP zOQA{U^?az`+PS*dp`4uao^)j6M*W|)=@cF{#~2-NEQQL6Pfi$X+v((?QOnt5b}Rf(zvZ9k2dubyR>(U8B+!?LJ|l zKZFbz*OaHPfcSWV3*Ckm$~$D5rg-yk_L ze!MuN=oAnDB zS0=7m^Gj!Xd#jzg>ZgRM7M)Q5Vh6U<*ry+6f5pt@4dz*O;{6XZW>+T%OQLMn}%y86T;K>@2x1y*zY@E8!s{XPJZc+@NzTEQ){7 zsx|rHo13y#H|Ht64H&f7W*48)Nk#WjHbUPmvATWPn*MZq?xKsvn`^Vjy z*$TCnuc_U_HKoM3*PewAI7(-{ZH~^sFB}_aXLf%Bk&JV9rz5ied7sR@BykbFlM zt&F&WOgTl{GO`sVK*Qvz=@a2D0A)?2e-^9Ldp7gH0)@<#oD;8%PN~RNx~p;pAENfY zd+QcVG2oW*LCG73bl-UlpZ;kuCCznr(!CCIkeh|tG3lb};XxnDhPmKRqLnoCY;|}x z$mn5~bf+k;!FXz&&aj|6v-14NH##T8-sLU2x6ShkUR}Aw^7Y}07KVrNm~(3~xk5>k zo+O)iW=LZi)H(@HQw+JC{Qh3T{ruWiGLG7=j^#R=10(EM;oD@XdR_Mnhr>Q)^k_8p zh0lw%a!$NcN*}>a4L5|h92qW3>KAy4Pnbrg`3_65myAWE!`s`|GA3C*TbPR^l_tb- zU$bx;xX^bDkyR7HPN_|!$*?V=dKfwcEt8>RRAQvjNs!oT>daMTPe?P@r)I}4NHmY% zuXuca$3A|Pn%hpV%5Ch-r*4lD>!pki`L*wJlyfsoam#tF&Ez8U}_h7!ave>DS0c?d`l8j=i(hP*`kzV&~e+sg+E%;d1aU zbBDqhA=ZsT<~*778Sc9t)9&QC-6|KzVL7$X^4Ehj-PBYXU3#zb>1LQHV#}__emsA^ zygh$l7sH#kGun8Iqs!yEl*9DL1L>6p?YU>!OzghrTR-wj((37u zx%B{TbE{uIINYWUphHM(i9@KR5Hqq2*SS$yPe4jSJ&CDTF0#X_eT=$oVc@ zj<}%qSaZs-J*&0(`sf#Ux2sB1CA;p0M5+oo2Zy5?=g7F|+7HjOR7RwPh4&?lY6z9m zn(SPllsc?zazwz_;@I(gxHI{)@ihGBr?EnOWFXV?`#hv`LW(1bvAS^a(~H!TsZMc0 z59^1aCm|6}mj!~_7c9LiDtVMwEy>(EOWMcEyVbLxZpFBC&%iS@m5NXO9GUjWrA02|lK@;Jw3cs8oOI5qgOdKbUC3 zdN}d9LUhYD_zd5H76qoG4}ZRfAlNAG(a-W8C;w5&!reKYgQf^SUZ-{G>6%5B-v`9% z=wO!n9h{N*gMrpaj_)z+PEwsF0nBFouF2n}kXIKJdidMbSp=vlnU&OChaDI3j{RTX zFNSYV7JYuRx;VG#H4$H5g;$)PlfXZZiu$~0c(k#y)-{dkOIcGI7iT~o{i$Rva$Wt? zlIrbLTRmkv)%~o_@h)ehQl~!sVomDlJu9vdD~b(syf+t?3vE`)&^4fV+OS|bRCSY^ zoDRO=nC50#AZ`*g!__QJNwLiQ^3b7V`x^m^ZPXgKs_WY~Tn(H29gc+8WNL8Y`JTS7 zDO8W6%V>5j^}u}%sFCm(P4M$%NPwko*nXTeaL%O(V?6QX%~=(tUywmb%Bc4=yjjwb zI`&jvtEZ+u1bnT3)Jcs!cK7pxg$Wk>FtuA}56E&Bers>xwH#HF+h}&l5~}GuU@+6E zo0_*L)W3Z>*?c7G)Xn zYmFJQzG|7$_tT_--QqwdJo(|$;fG^-IhJ)skzsVU$5Pb&tsJrghsNqsU5&WX-*Iu- zE@bBzW^TZ%SJK-If^mX`(Bq4vZB=IO?%K!Kav9pMo;^^bPOj;jDC@2_pWOTbpQ{?F zNG+>0UwBI<){WNuer4i#QMIF)O{D~Wa`SR)Gct=@;4Hgsn_xknR{@H@R*-j1j({I3 zxo$JdWw!Gt{N7#POnH0#n8de7 z!%PD9Gc?qB+>EbcYj4Qc+)`A#68EfJYqK<0 zLr;!A`9(!$dHTw$M{YE@`RjbonwpC6+|5&`2=$X!Oy5UvAGMz*OS+?El`~bU|1-=& z9BzN`QS9^1jVT3*mHZI6^U1?c_$?iAwT%SE>hYTjKqv zEM}u0DbcMl#bu>>Tq|BHvS`u0O|N;qy|a$nfa7xBvt+ZNqmuoc+)uuJ6Xm7hS^;MB z(jG`uArx|kEmJCax<=j}aGG{vWps>3FxYoA^lzMx?P$kna%ruuec=pGw-eHG;J?wbvv zc>d^Mni}^5^W2jM-KHIkSkdWkM&dphZBQXMUi0V$2r!x21yeUX9h| zBoEUHr?*#*A3S0vy?WuA@168|r=E9DgYmXUdIfFi8;$SJGUl6m3nW=TH|$tfKF2mj zWA$1nql%TguKV$)ocOP?s@{3aE1i$U8caB|crIre-e6Z>ww8l@9W$P;*K-$S^|`IH z!9_KdWPGWAN|uRJ){y-weR)=+q2Lc&M7~5_Aa8E3CYzIoadLbtEq}ns>7N!Jie!;^ zrx)kjJj`!>@3%hJV);zwh{geJFDpot)!EEOgVsZr?UbnKiushH`6Odrs!aqXPW*C@ zRzI^HcjM_LYJKDKbDCKbc2XfHC{7t)*SZoRmO1f5H$F2NOCezE;clMov#PB%p&0Y{ zvarI@)3wgDNrl%!U8cS59y&==+fG`vd-&l8ig{(IxSlm@nCG5WdeV9zy+1gs1TOFI z+4O$-<6R~f;1bQjsmR`evUUQw*1VP*J!^7S1@ptnlMWXIW#hD_1%@hrX0Wi7*({Ax zaWb-S3i^w{B5#ZTS-?PdA2sG zlph&g=pSQ=DYQ83Y=?+OVsj2~hwv9ZTfu6Yzi;YZKf$(ZN<(_oM62QD{X!>78TqsWK90Jn-%F20M;zYP0FS@8C*ILv{9JuRIzyoaz& zUkkb?a@rJO=OC}kPLnm~kB@~&8UrOAFR$aDR6qumWbZ319=^bb^O*ch5UT8?x$v2O zLEeN}=-Y6%^g+1;>;{Qq9W7UwDIFblX3_Rc&Ax`h+XCoDsBt z|3u3^g2_XLqZ%Rhghj}sIdHHtW9wlTOA6jUpk}3>Kaug}TOHX4yjecd-ZDi?bd8m| z=|9KB%UT}y&^MGZ2KirjJ_3icn@2M{A^4j-HeL+AjR^<)>&lvn@!E-bUlF~XTfM@Ii6Pd@~f5%8eMNGMn};v40Qn`Lu% zTl>*wxyz><7GEt)#->rI(7uIMu>PVX8+yfF%PPI)W?-&G{xNS=c=J8)lu$8OooZg( z6Woj1hlq34*>OVd28Gt#93KV_v{>-nBj9gpJ-ofLwgi3n?QGa~f|B{xy!(Z2T|cLi z-n^zxre-m=d1K=n=Eyr&l7;(9FR~9;upK!YXfzTc=n-G`QKIj|yj0Km9~a8>)fkGk zVYG(}C#t!M2_FCnXl%O%m&m1@X-OcWed1e1#792d2}JO%$_t}K4?8W>TPwO&`w>!j z&w_WUT_?3+{C9Dfe3rGZOzK$OIh(#r5GqB*v zx+xBNRQ@TuLYMMYyl)bR-DRN{H;`24`52@Q6x#De`pmOxljFu^PQ^RY=zX1MEx7TgLi)(BkHh zs!YkCQ`r5dx85_~P+ce{D1Xdrd>=&9SnZR3sLCU)(>%2EgK%|eF2Fkmo`w1!-!f5;^DaaQSTExRE_vv7LhnCGwMhofzIar3m zr}E1TDt3PK<_`+Rhkfa--oilTc7jtlH{QSAxv?`iu+^dX{-$f-4rS(pE1x4G+b8a~ zy^6xFFl2pqo~T~88{gPDGk$s%82khsI(MXY_1^lYxjy+XE6)8X#RatbGBea+;;E|7 zUv|h-CJTDT#yxLYGc9u)R7;k<=(}RJJc3VR0`kLEY}QA*5Nqn4^}<*cZ$InRxb9%h z(KjmzBJ{RMeiihtn?96=`os7>q!+}?6?+-n@$SM|-`29=tTF#+`z8vm_pJ(ZxT+~v) z*9-}j^rC9kgEfDkphwJ)M|>}!rRBqVAN*)Uoldb){VNW4Hd(Jxmtw^BL)}F*m#*a) zEVFI==C`tFg&FBfG)Ge#Xr)@?E$T0yy1Ej0bh((`Xd(XR=MwX?sV45%&iI#v+Rz#z zpMD5_cRprjmiIZPPwl;JTHLJ?VYQ*)(RF-=h6lURf`n3W3tg=%d+9dEfwt+3ifZ$> znijLoL0K#Z&XHL)lHz$8&g7j9ROTO&3-c7oJhcy!FOc^o{nXbRVzIhioW6 zVk#DXA1K-I{>>Rl&W9$O$1yTlL8*-AHF)UbC+qT5*9YFQHC*h$1ge=3@Cj>T1Frg`<6+rK<0=ozIi;@pv}|i<#cd5x z==6<_CC%sQ_g-u0|KRHJVYDxEI#2L+EwYp8B!^`yyMr*j|JRQf&8~N^Pe0Vs-Ql)t zA5SQ&yuqQ7@|5~Jd1*w0>dv8$u`-PUC4o~%tTxwi5qHMm+g+jEoLw*dG{t-S`NQ!K z*1Vnu@g*`?�B+`R^BfBmV_Q^7-MtYF`yub#JnEoOz~rU3Z63Woe@4D}Lt)d!bU$ z>)D$-p$eH1(<6_id{&$6(M7%&cnT@gUM!2qxY$Wjc(6-#WNR4I*yK;`n3iu%r#v5h z;WW#m9Wj)%Ri@!@1m9um(&Q`~4AO zQ_S=+>X!(;vH4p=rY79w9c6_QfzcY(TbF+fZWnyqcASlA?zn#I$D1=pxA@ZzV|4*Y z9F!gjgTsPced#b*ID!z!8$%6TM2QgAMX4dcEm1ZCR7?N@fUzRziGu=KoQ)780fzuS z5^R8Vys*C3NH@bRIL(2vQt?A^PH+mX?DWVTc?fIQ>Ddo748raTSr3Bi%9Cd9-I~8c zx${Y;KGUioFkIpO?AHLZ8}}w(y<86K|3+r^k&6{Lfr1j6B*ka}-aKKvvauqg27>*=1$K@E6|!(WH%=k zx-j_LKo#=Mo16Kr8eQ+BH#yfhXJj`oM;Fc&rr;|Trtu^2r$cc1=}PNGtFimeQ9!S> z<)Bia$djw9^^fRG`NtTqaD<<`_7Hu}zhZ1?eW)4o&!Fph!-X0wIS4SYSeU z<1PjY1pSH}B`5aQuf{J*oCm~ZHaaQ}3!l@<&#W8jzl95~oYPx9uG>clU#R{zvg8DfRTMudm@V01k5m zm_$zkH5e$smMTJcE9VIT!m&`m38Mp~RpoCN`1q67c00l~MIS>qh zP$-9Bfw*cm;H|uBkTgP|@y>D63Qs=(};#$|GR19w)+G{DGHBJREeg$6+`O zOx6V^>k5-~gUPys-@*U}WqAl4psDQnXLhsl0FZT*h8iu0fr0-5W0zq-bAvPm7KH`n z!-S7Vkq|vs7*Y;Ak!Hk&kn+DJcNh}$Tk?P*u_TFT9)`sI{x2^W3jSO2hM^Edi4F)< zRm8(&gJG!M8FaG2E+HO){vMuTFcfLlt|r9C%R3B)CQT24p?9alWJ6(SVrhVmga*5~ zdBD)9-DPFLvFP9WaBvsDr3e_B*@V42=aS)Pw<+c454O+5Nx-ICIYz_MNMF z-x3Irw@cjgb&N6z2Hy)>6Kn+MUS(V{Hj@f`dMd8v&a8L7IR@jJ%!dpRv8kS~0*95c(haS7p)Y{yG2MfIJqU+fhej6DjGo5c?a*7N!O-3j)WVcI=t`OpZT>+ zx@T6cZ!MzPqtrXHi~MM?0Wn@mp4@9QGvC>^=IhgX`D>zkXz4rx-9y7dJX`{Z5)sto zh^Y#41-3L93CGXQQ?sz+UW!vufoD%QQOnC0d ze(tDG@r~`8&Ii_mSxuZy^ql;_L48qxUiS<@Fn|(@b>kpF)-g7qSXTs))uJOf>zhG< zKqEFlIad@|HMj(18$*GuJQ2dZV>J+f(*z1km>mJ?jotx`pj>Sn3P_kj0SS}%-HN?w z;s?x`vk{J(CO`l?3n*d2j0pn#vS1_pFn5Ch=d9QW43?n90Bd%j%4!%evw;G!*5kl) z@N+d(7&vQV3TWCvf%G;J91>#zH)%$j!x8N!@HV&!93yX{ipv(2=JcRUfFAG>{`-B4u{%r{~AcId}W%kp7!*t zx(L?p7Q8u=%*tN<+@k%#qvmghOrIJAHn|@fk==m)Qvr(Ds|8cYsfPgzY(4$CC zrEaLLZ=(-rxT=!N!2t%P!+$iju3iu%z~rXL1VWDNiSVE>k5HdLFMki3-iv|$r)_M*f8 zx%HKlh`7C5CLq$e!sPw|UpW$@?Rp3UA^SHd2L%Lx<4GXw4wKvUkq*Rrc@lzp!ob^M zcdQpoo`j&@F!|q}%X*&*_Vx&b;pIsf>I0J}S@eg=?^>jj4S>m$tOdg4NtS|O@_#@Z zh9Oz{7tk@kA^$hT{|0mn$#k$sh)`egA(BM$safA_`5ZIb><$^8LxtTSKx#j6)2pXnd@W+bcn$MqS<5eZ@QAqF}r#Cp}cdvWk4nnInss3Y%E zw2G{q??%JAwURpD*0J;M+UYNC4zL`~1}n@1K4yPM?Z4J+f4w zUZ`(w-S z*E?c2N-b!uY*^TqD&MX17m7!T_^J8+=bzZ z)Ld{My(e{Oijq77>asMKGG(k%p|q!Ksv&zY;gUgP9o>&aFP|SVLz7wKUt(qp&4#T| zQC)g&AGkl1*Qqmj9nP2f()f5&Pi(=>?upjMqdU15dr774zYyp^%2WC0CqS zhk0JU;3u&Y!_L2QOp!cz9mMs8uUu!_FIKjR_XLNS9;-?%_eylV^GUQW?L5uT&#zp@ zMwGp-8gQUP0W03ZXAinR*RPzMSjd`j49t{a?Z}QHn|m!OyeOi3dgXrn482(ZZQ7mc zhq=r#$rns3-9)#3CYN*{b@P-{6I&f{?pz-GDr&x@nlX2v(m;V(dPy~GBMinpIij`g z!>fY{)R}hae82Q!C^rmFs$4z?2^XRx_XjhF(B>=0KEQCB~Kp^SOa~u)!}fEm^^GNh1#tioTuJt@B(MN|!I9A7k4w1Um;w4jA}v@f&?gEdM-j6vh<7mQ z_8ovTuYO~;gxYKDb z=-TAFC$Y2{;R>^}lXcA6#f@&^6wfb*73o_L=rf>^&n_f}e$4Q4px!)p-XM*qn6I7x z(|HIP{w#M@IJEev%e$Zb;e0HR%Nn$JGFX0P`n5W+hQu zu1KGgGbW8s59#^0)YpytYP@~>-i(I!!X{**{Nz{SVFyG)pg>PxHqa9SB{&BuK>)>2 zD9{xA9GDDc2TD$)0M23T0C%`BU?1WHP=>Puqal7k3HWIgnhxZgB=Vb+z*Gcr5n-Sp zED$(&3JQ)-00M3aOor(0*r#fY6Kqy2#sbZ@Si#l0Y05!1Nx#)1Cw|n zSBU}G;@EbVp^6R!wBn(JlxRN)@EjByq0p6a!28idf5t=ijApmV2l%SFgg#gQWP%xGt56tlZ z?p=fuAON@x-Fzs>Mn`}V@bhrqL%^#5O4!P~4*{wR*?^lSB0y|D4M3ZJ6v!-M1MKpH z0r3)cU?x8q7%pKWL={Lv0LM}&&{_Blm@S18s)|w|fN~kQWXXAep&SalE{O%2Dxly@ zQQ%^!0Z>;-Y)eIf9S0bItzrj*(F44wVk5xH!A#(**@4>?^MK_gVkSg@nMzv-8f;N9 zKuDD@L=Jf5i~-oH{XsI!4&+t$182MG0VyY1g8wBN2w)fl{)amqk)8n;YL0@)dBTq! zSgr{GCxU#80Mt4{cyJ_+@NeDYe&70F-IoXM);*wBUqOyTg1m~C0J;2>98V+&e`;He z*!J#H9d#Iv#0xZGI8v!=5n>+Vg`DkNTLP?ph%)c$3T$;LWZD7qC`fZNTMMo zph&cZ2U(gaDDPUMlQjcHk~wo20zoo&9280BEJ2a9ODj+$nR5ZfU2}A@E&(7z3Uvu| z2UR4quAoRV>jsLXE&k?#cm#s9QMX+th(PR`rvrO_1d?Rl0~AT-JwcIV-qYtK@e7g% zUZ6Tajp0x9S$t40sa)GGA2mYp)h~KXY;QN9{2$5WZ z6G?&iO*mnQKQ9V<2q@yu`$DjPcqllEJb3;0RH$Oa8rLC z8$vx!f?OK$=fxq^pLnw&(4++YX08Y{$uH1FIZ}ecyhA*|XvmSm6b_0cH%@{g$&Cn5 zB*iEa6iE@{2E+TOGl=pC0Ru_u48W3!J8_sm(Yylz=G)l_9IgEj;QBQ-Ajm=pU~2OL z>^q3PW(e>a{A6x_0yc_lz|ZzR@V$vx(x0#Sf;H;U5evRTfi#Wqse>E>OcEIWDPoQ; zWpKdpt~hde1X#fcfabcjC~2qv)-Qt8ar}FkBIIx&g^&bVu2+GkEV@xZL>q&FOK@;V zP~`3t77X#HH*pCG35p=4_fLNUUdg*b{nMp@_c!8CpW+FgLwO7^)6M>;CIWl{iAnv_ zs{Fa(5u}dgKVAV@#%u(I9!&^XsDJ8C8x8xD5^XscmUIxckuV%7585bjZ8*?$gWFtI z4FMz4i{qz)Jz%n0kzqRKVJ=~ysG$af%YeWp>*n%XAo3hFnk`Gi9!SSZwlkFNFs*)^(B}CVtcknCr8ZK9vz(6C;qL& zAc(!}9-SO9BY){Y2Z+T0$Aj8`0szONi7>loAZA~n;8^Uw0KjnwVz2o3T%0`d!q}t3 z5P{^6j%Xha2QL#McoP5qaR$6Uhyb!jhandB-#YM0*{?$pIqRNra;UvgKp^lq;tBnG zAo72t1c}-oR^K83zUn=sZvjxd`yU?#nZ7_lAPQ z_5Zsa9CH75aOiy{fWTq*8Aig90Av8_f!=2x3EzLrkl>Nu>k@eIhz~Y@Z3hWvVsC9A z5%PfP02}_VR1#+)L0H+F4I~mnBq@I{irVENdvqw`eY!^{M|>69qXRK!SBL-i7$8yD z{f5DFy3ZLjn%Fu1y&(A8$$lMnUm=0@M&w@q&LtjRq#Tm?xc0AdSBEBYs69G4BBT9V zheHw>=HEIj4!17_Sa~AR`giN^0&qKKsS?|~THz6wTS!2_{(92T|jJfP7S?A~$c zf1`!}rwY+19FbW6Wf(0dw|_x!Bm1KuPvpFR%>|2KAH<;GyHxo<q9f!)F0sDkGg{MFLnt_VaPIB^$>#}S`A|6U0RMtPr3 ze%~#PLSl)Wb%uSEPVIQAlCH1p~Mn@THRw9i`l;*7PqhNP&g0__s#{8 zeBVZJ^8aN~MEf8&1nep-nq!%Vg1Vp5=mtIf7?LH6CVx#CM0MiZXfP}$hr@#(Ww1b z85%5ueb9xHC$`jo8^)2C5Ge}O#Bb3!IDohh1%Fi8w*(HgALu|1u($fr@>t?8Eq|NB zfIlAX(}ApipHBYw_2K;A%wVwlXeJs9-*;W3L1w>iK`d%tV&sUV7hoDWED!#$BWo5E s1h%uk-&XVjJ;5&Y_b))iN8Qjcmyoc?5D!l}IXF@tK_?=jWvos2fAN-?_W%F@ delta 15816 zcmZu&cOaGj_wSO7WZf$fy7r8_xYrCB+1V>0dv7u?$tGp0b3Vt+F@ofqV3jEdo9dsy_GHTiEXl-+3Pj&vApZe0QYtq_Z3;Y zWJlV=rV#Q^LvtVRmTtU?R>`Hu<2OHUz5mifc_R7O>Z=u-9luqd$?3qAK#A&AnT-&c zFRPFp%OkY%avWD3fTJrDS&Plr$MEqMCFK-sny12LXmw*wbOkX@^`Aj|BWY&&rLtB# zKWr4OzUk)ga?E!qoZ{HH#XkM~o>b^PE$P+=-qTmgB6VpFb?`%UX-c9ERuub{#H(6j zgIv#CwURG>C_8hKKD#WQwWm)Iwv)_C@heQ4N@Oysh6eDA5G~5M|IOLvRY4j)jhlga zaI`rlE|{sQfAxZbp@6`17~!^&mcN#0#ge6zg!+?oq?r;^z_t~`={lsM`Wo6@Gb9?-gBHkm#8Oa ztQc}TONFE0#)_iH=xyV*5ev@JlX%KC2Av3F@{>mN_9F+E%e3TDr+^QrFmqNUYrEwg z&YQ&Y=Nm#Ar2^2O9ARI9YNeU9Xhe07>t#(8$2 zC@rJN4DD)Q+0mg*Tt!)U=heNy=wa>nhiXIl?T;?5Mf5+E6l+%}M0;nfItSeP74Q5e zF5c!%T(>a7R8Yr-zK;5()Dk}9#t8F=l)3o?Hi+Gj{?{iP% zE#qf~M9Xt*-b+??RCcJpwVUy8E3QgJQdEvd>BYNv=c)3QQnW1bb#SyDyGA)X{-VH}DzZ2VOCn`Fk4ld@uWhhpyru{I<{0x3cXh?vJNq_U+g#rRpPq$U3o4W+va4Q64%O^ zf*j%Tx$H8;%D+V3?vz~U4P5&!l>eODH(@8tgz=PKN?cWZg0iUUOx$Rk)y+7=gDLkD ztiOm!44I{hvmG;L#2hK-X1oeLIc6>Mvg?ep@TG236@*k}!U(JRDZZch@za9$OS&6l zn7~a0bq#sjz~e1*}M~J!>l;iBFyA{>ScAG67SZrKi}sY z-4Bcz){SpoF26nX;;K>a-8x}q9a?Q(9ude!&(tYZdu7Md+0hmBEivfxKjSlA`snKr z%&gJm%JZo$Tq^hiK2?Vzeo2R-3)}YsFUN1+VuBL1C;53Q4OHY*3SpbUT}?bnf}%19 zYfJ;EQh8Wg1GCR+oU@PZBfHMQzbxAM#9>;lR#PwFm|gw?f>Z5{+N7!mQ~a5LIClGV zCagrF99Oj1>ROIUcsU!D^?esOBFXOHSc;X9x6u(dx@#_YFjPo4JIR+9LSRPZQLctZ zuD0tv;I`)BxT;*h7RPSH!?#psy-Zz^&SW)V)PW6VBJ`opq$I4$>+_hC_x0Y`4pPm` zfYBx|aRVRvi%O^>Zivm@Sj zy?K($ZK81w--vzGb?M5Z1PT^LoIa0XR|%YriJi<}^igU90;(7`Bi$A(io0B9>O~cG ze<83&RpXNL<4JDT!*qK2nM-n9{$gHhj)&={c7&9>aEbP85XK&il4F7D)kK0ahS%Wo z6VpPWpec0QCqagT1Ez&k4EMDdFJ5>sVsmtkzHkwhh_@3pP*!1USi6jAYKf zJVRTq(eNcF6Zb)edG?!t{FM%E7Ww-v(VCV%rrncff~`R4v?bhcX`wY%ZAB zu*n=D_ba#%nq+vnGUQZTZL(nBvS+^T;PyPm+rxQUH9l+Et(tO2M{u8RaG!|e-}}gr>z!cw zT)2*Ot*J^P!=}iutR}DEzjK&goO?)&_u%oQj9ZeuC(};poL+wJ%u+%_ zn{{B-m(%(DRK(isE9H?T+nAvO)M{dquln@(a zn2!4Jb!EDx)q69dl|`wP+E^wwe5dKiigFT*Zfx=ix)b5g)MVsCnG*01IpsNHs=5d! zvnxlbp3w9}bM`kK$$RHkvwA|jYhgS6&8+A1*qN_`3n2q7Ur#*mn)y2aqHTOydut8* zW`6Tx)#`M++3*IzPx6GFxRs>?{kf)Rg}ynpfhqF2{U zv$scXZuhu3Y>xc;F3KY-i>Hj$33_bM9xFeY(6%2 z4Gp~+89nc}LUFB?Wuc-)StooN`(knf>3U}R+uKjk<;k))9h3giZ=EcxOE+Y&=mtGa zNqNs+BZe!u>qSOJ`~30XxR>^yR^#*d9x>dYc7SO0|77|YFLXGshRGaXY8H|4%_j=! zM7dM~`R=(Ad_-5laoA`1Q&n(;MbPIHDP#+2zeJ;|1!%(-?#74Io!e5W80VFxm#And zg2~pAHMbpzdp;fdZ&2Ixn7!4Q&_7(hufn=jxCWc zn{@|5T3=|C_1(Kr>8*e11D?sjY|f_mM0jcKc?w*ob*gpc?eA4x^cx+I4tRzeBc2hO zqfDNxJd-~wRkG3c?7~wLV{QV&w(fN@AbjoX5w;*-GCUvvd!?QjkDaXX?C_Qe!?cnl&bMDf|Fs*^Q;IT+pU- zp^+QUd{O3K=onv5-(~#ve13(>i4qa{^!m{kbF$nOXSM5kkDOCeXk>fz9w0x`C^Od4 zqoi>{5;f*Le(CUxf{)Ufq9`sJ*^e*CdJTihlorSQJtlHLET0|whKqwpC}~fktCWi@ zxMIF7Rtq2KD4>|6KP>Vc?=qm;+)phoQ_iojXqT8)|JoxwsA+@uR{E&4#Q_5)__ZCA zetIpqZfI>pMdpvnrr5P#G*?)9$yzG(N84AgwRzu8zyGr5SN7?ak48FdUb+oSzqUUM zYq-9Z4UxoGmkU$Kp{JwO&8g#J69>>27Q1DJMiQlT<9_h3$E;7=-og)E(5H+(7Utqm z74O|-y7H9zwxbM7#*3O>zvn?^*p4*QThJrxJmrI?$v8XSrUG#}enhAD}mk!mps5N%D{K#uZ)F+YOwv7;t zj|m)zAG425T29<68@RZPuODpWrlWaKX3}xzR8RR=%K3q}?=Ih&(*AK7d-zWKYimTJ z@I|H?#`kQD4`VS(AJxv+9cD@FT@t@ybd|8}kVA|63|}!zJI98?pqSoEF;0{Y^}q1D z^>oAF>u9>ud8WY+0iHcjZQ-wnnTXnbQu3dbw*RFo^ER;p(dXFr)AODM^3=D*E5&aDqje;b?MnexNWh`s%U(5|%R z%Y37LR<|73G@PsE4~W2D2(JASTUp~nf6Fc)qK(4r*~5efoU=FTDH-O_>=zUi9Y8 z(s3nT)@dB?kGJgByX1n;P3t?AKCGFmxv)|b|4Zj^y5NBJ9&2?{orG*mds6Ez@Mx(7h1s`Ha5*Um~L$v$AZq=ggH%|rJd&}W4 z={aotMzr8dC$h5hP1p9!)d}H<@8$~^3C}%ZT6DLeJ=J_yO24__Y0K9w(?07yPz-}L z!RODAC+|qVCtDG=P&01lesfem^$Gphx0~eIYsih!&V07Ru7fhqi-r5kM$dgPOndlh z(`c=^)KGU=JoF$PbjauUtG=n{WmbkkMjXr&*IpF0iGGbvu`~N=;BTg?+<0!2>+%}= z>QlO7G2$;QjvGws+!@9zxV^akaX<|g;<|lW_w~n6Eos-~TUFCx=M62r7$R8-G;0C_ zEC_5E!)MTE-IJC&tTgh6j;M?(GOF`5vE)uRIkn7Q*T^us_CS2`?2|suVGWta0$b_1 zx8s21ndTv{*+`lUZCw|skoTR})e?TT={~4n5o_($6!A3umQFYWHV`l;xOY1zR3}<()T`zjow+=*LIb-8>YZIf@jtcyZx;U1pbN z=ZhVBQllXRcSF2skiE@IjUy?s=FJPi-~X~8NsyhPv7@G39biLaKctIyGFMai~a(qka<+WqjXM*VwcL87W^`XjnM z^(j4WIxB1Ke5Yr4H@>|1yfDF4-OVQTAVe%(n8CrOPNMVtC@tP~f$N4o-D#%t0d|LJ zvO=0JlMhpsi$Hr}C0)X=Vm_SSbYM1Ls6TmU;HZs5{oK{_moGPb37mjPODpeJ9Kmt#Iw@L`w|j;Y{;-#d7tymP+m zD8GANS%dC$m*4}I@MpvVXUfOMzDV6WE9X>Zrxs9AKxwJ&j&Nb1-Kgk+sxOKU7OdNE zAw{P7PV#MF&^S($UCVJ>bibeOKU2I*-< zkJVMP`A22eM=HO#aD36R;L>*tF+ZJ7 zB!=`QIpP@{D)9JSE7|~)kHU*l?o~}Z+?gDgd)E9Es?6_jAeJ!6`iQDhE z8sh_dxt2x)ZChueXdS9txhI;8de+@*$tUdvdKV%d+!elETe9-Fplx~Pco&OFzF|lz ztC@>VTqoCQE_}AQd)7zpe&#Dpr!iORE9JPGKHShj;qZRkP@6uJ=xaVq13`LQr*$6CA!t@Nm>zNDOWcW!^D#ybx8noZ`5M0`aP?OpG9Oo5EzCw6Wa?g7CGJP7pWFS>Pr7N^dbiCSnt`SYv zr#m2#hMNEpXSU?+SY4;S4zTf}eKp&mEU{KZQ+NK_-536{@rSN)xb?*79#Y%+A@=?D zo#P%T`5YQX8CtpQd!BX%u4cKjv0qhQDLYDJnD@;XV~t9+Ulr3Kd!$|W zJl*r?gW!)+HwURI;|F!zIDfoekDiyFsFjCS*LpHj2FRimv%?JZ=_jswLr+u%se@Xlx7 z1<=jd%`Q7r@nz98k(QEZ)8Tqm;q)6~fkQHZhS)$p%P!fu%$)R->`$MfI{Y@iEzrw- z9`x3qUi5kX;h2@+@vVU;OrrPb?lY$U9BCfX$UWHAe;TjGego~>wzZY}i}okztmVS2r#Y{(QRkQSYlk7{rBxS{0xbEE6 zXyQDhX}LXxKPpvXykVfx7g%FHjFTc)ZVjzl5s=Oje*JddT?RE2dFR+mpxwQGtZv#T z>#J$O!6>ofTFO`6H96xBgIq(`yV9|PFjL4G!sZL1i96i<->LHgSggJ$WSVZ#FIA)m-C@y{NvUhMWBNUHucc9FRzBEGlE zY~nllJ9iZS<7RQoqrdb=U7uGje+@@;Fy4MnxG614C3335pVHn2hLD-OpG!tAQXFlX zy(Bg+-9))n2kpeW|N4#5+l)`+dLRFq{=)CRexud~E}- zzM9i&si{>gcQh9*4!L^dh`(R^F5e6Ho=p1HdKE4vA1QmYe=F9?yG=zi(6Ca9+WadWRnGjkjM3|;+|oTn72WW@o>Y1mwG(bPHaasYnbA^hD?m z)#7Z>EF-Rk`o-bfoAHm<%S7XP?(`1|yssQ=xxwzDnI#`o?A~1_Q{BDR2u$$jb9Re= z%BD>r*jN^5b7XdKf$#6n&YJl8W%s&TQL44!O$LNFOPB|oOkSP|r$;Qq|ytQ)*&kfdhuJ%j3%f0TP5q?fMY-(f4P_6H2vT|Wi@MA({wUO&+tK+i= z>pH4~c>Hmc!NxsC%L{%9o%5y7VncVrGcGl?vI))i7e2t$72z{QdrZ$M-CsA>Q+uk{ zr59+(7*O<))o|+B)b+U#A zB71Rm)cK`9e}2CCWI(LLsL^K*Q_}%I^H*v*_v(e@niFDHs}kGiXBL9#1)JJlrwD8b z+!!0<{qAhxI#iK-yved^;0w<*S08>JX0bN&UflbpdsDth>(YwH=;t;2F7ep1FAc#b z-mG3xtiscskgX^bPj(b4(>5}=^2%;Td-dua@leKy!Eqmv!3TDw>Lb&yvpAbSt>ZlL z@nfdT*Z8``11fY@YTtYbku9`%H&8r&$+U6nVZC+P&c$<5cMpHU#pd1p^wrG6DDmcF z`03k-XjNtkEBR&|{QLL%(gh2~{vVd%_)%=1z@V=;UPWiF_^@YQyx@Y`wa+h;21hMl zBVm@#D;JKQTMD!<4S%xwu5daF-*x{Zo#&}jO%H-MuD_fv3~9_$yl8X~d+^fbisa90 zrAGaq(h;&o876WKpNoHb`bvl8YDY#G%_mNyPlbNn_O`F`kE{yWxUhkbPKxNGvG=g^ z_4Bc}ai;+qQmANAa0J}*f(s26iI604!^0`bFi60rfCn#eUCP4_Nvr%7PjkK{;*sX8 zbNkI(VZZ!1UwIi`?zmgp{f=ML(oz&U6{wG zzS*-DbBICOQIbvptDVf>5*rk2r#}ome=a-g@+j)2^IB{DDJatQZU4rjba{Dg{|hDk zN9(RP9}kiH#VHg1_}BR#bkNgx^Pd*R>NH9PwjDY`F+3lI^cX)Q@Y*|XG*|8&+tKok zkBGB5htIL7WxYEg=;yVRM*CPkUwiQ_A=832DKp@4m}!&E&es#`S(({DouB})iQy%5 z3Q$4-h%hr@N)QeKup%%ZIgSsI7XAT*ib4q*B1i~<{-h8!u!(&Q9K=Ei)3_@T-~$#0 zG+FThMbccr3mg=%Di8q3WYPc+X(*voh8zNPOGAMc+3P^M3>27r%m*aMIRh24P~edK z%pnyW9TPoWK<^Y3AU}2HzaMW2p>c3=8+R{zA72{}JGi72TwDc?MZ(3^;8;nxxE36T zf{W|J#SP#9LIDP$0aO$uA#fm6!QsD6puo1m{ew6x3J#og5&?9bbO=I92#EH7+oB}E zlm&OW07pswmTciD>~F~qj>7$x?BOV>-;yI7jUY-i;!bcha#si3IW1#OBklzU9p2r` z2aYDK_Jw11SHs19y=-jl;h5h~i2K1Y#8Lt6`ol5k-%=nPgCR;Z;uql%mk|sx%Rdv?AI5gNywhS)796`08-8}oU``S6W^_sY#JTf5=V^h3 zQ%gfHkkNnyz8Rhx_AoWt`YbRwS-RC~mfYjFddMhtww2GUa>07|SoE8#i`fN+Z{2zl zY!|nLgf!EdUcRs1(q80T7@E?)ld56WpmORFVKgk84X@Z|pWE!M{IGPapft5Jw>HFO zb~ZpcE#`fgyK|W7L%Fmc_6?rsQrV6S_NQ7$)9WNYSp+^QXt=9aQeC9S_i3SdP4tF; zSZ}{nR*|kS-w*Br*10%L{(FTu0o8)55sbvBX#oGBx0E=pm;-dZiL=)iqS@K3BY z{Q}iX&JOU;NUqqqUjJODq;uu#f-k4%~F*Ac(7`LxAI|Fv6(XWeD&@4NCA< zH-P}>)u9058ZVHcX$Ev_K!HqcK7z2;IS62*2_s}`M?!#AO&B1q+XKXELkUOD_CNr3 zT__-DEC4X+e*(5Z`G|opFro(q0E0`wmOd1i&*lTP4OM{%11O=;5H!YY2qnlF(?bBj z5Js>zv4sFa#xUULBVMDEi86E%2-?%%v)k0peD$6SW4I8pU4^O9-1){Uk@Ggz1Shw8mE4eV@Pj^nf-(8@%pqYL)sqqOC=sh*oJ4+U9y<)3A@F?S`SE> z2oOe0BOpMBDHL!u?*&ZFnE@?}7Xa1*3W%Tc2iVU+0dI9ayxeuo017TD<=M(he1cY% z{XI{g-Xi>R7Hi@K4xJP%z1Mz2%giOzwj?zxwETAXBfm|~QpmTfcQ=!e;$L=N%TBwB zT3vr!Z1q7Ot>UOY2U}B@{laF>Z*Nh~Xo7rw+^RikqW5I+&G#AU(-J$p4Tqgqw!^!w z_#H(&F{CcsPIARZxjor*llNjU8se0n0+2GQSe9S0spNxW&Yo^>*m!yA46+ z#N6U|-*5M#%A4JyhU?7;LfEH9P9Mm&ev+@IMc1ggHwBDd+eB8OwKope2+bavl!>j-7`BjaF(vsTDK8YCR7e zw1xt2&;o$G%?v0u9-MAL|S``i2aIeU7* zaTp^0G6Uxv1nFr&U;`0NJOC~p2p7Kyyr^IX${gr;NqB1LY2@K->uF~Xm-vl?^76#O zAQl^F{hfm-1<9MEz*TQNyA&1!|DP4aO^8b^K-|Rv6N((bTSq=Jv?Pe?666wSBp~CY zPliMS$xbPNn{zn`_*%d*7dku^I80 z!6iv3?+%wFSpyf6EP28uNwM0EGs%`0vH9(G3ojcVdk;5z2R}HL)P;66KF*F#po(N1 z?3m7;cDD8&e)c~0c6d10{dOPzdu3RXFFtTE!n+;E7mg+Q^1Dxg4R-eta8r^${%|bG zn*cbL_dMIBwTC&42f`d&OYffeAYbfc+#j@RbK_VEWpgQ3%?`uOgufbj;DU z1!)WeLzcLO)3!3&atiMa&+sTma&9ddi(mVBoYD{NcDPGnYw_E7}3TN_zERPRtZ`SgUS#@^x@ysCm?Re$b zvO~*|HA|P&>uwtyc18**-Jy{@s!6!XFhgb$nbTr^{uaYoGL$7_k;p~(1Gl@^ z=4f~#$RsZ%j2XTK|2@|^bxppLX*Gre`b6QW;>RQ?og2UGSF>N7!Y5>!Q?_$HyHfe( zta5dR%p70f7@x>IA@_J=8&cf)pcA+a7CA(ih^f4Qr~6ql90n|KZVELOGaZ%d_9x&7 z8gVTfU%%5%Ha_6pimQ5h_$k}_+WI(q`FZ-lacHpmIsU9B7C*Ry1X%rCz=9W4%HG}1 z#@7jM3DzTA+{D?=&&iiazjkxyzpBRl&YJ&n0NnMRgUBIek`u(TPTnoR-*t>cAP{iN zKM;T;X5gPfB^kv1&OUj0;H4)swU)hyqn{HTh5Ai~t|_{9z!{=JG9=|ee?|S1-sS4X znHTQ{{B-Y9=G!u`G27B@e&=}i4kkU>vN0~uKUMVe!FMroysjes%~okoCNUdrHk*#8 zLBj#o+0Vb11jv8pZ{6!IOwVYD-$dDD5Rd<73PTSP)hrHxOdLy z3UJ#O3PkcjfiB+^2!>$hrvm}JgP_0*fDf4Pe*lm@fB_`|u>ipr1_%Z70?vU}fQcUr zxR=ZakX=*-3jJY#<;5$&jey^2aUw_`Km`)F;{}R?Jb-7QEEF6KXk3H>t-+JPr;AWR zO$cV!2w^*v6J!g)Fv7|3WC&0Z31fCUug3;s!Zl>Dr0*rG7UIu$R~e3S^5-PO9wfOIPq;HiHF9DN7{4nJ-K<{yDLUCawmG`Ij)>Y%`- z1`mL~9!5CWNCp9tN{)a9d=wCBk^>aHn1PTccQOeqSiVT$c(dtoQd0a^yhsv51*>r+b~NXMFA$ts(8LFGT8`oWP*)otAJ4$w^0gG2sBF z-X9|C2)^|r5=?J@8={uvhr6=}@m~KhTYnE{RVA>rktBlqJ4_Tr^Z?%rf>W(_t1?6p zMU3ihRjDH3e=a~(f;d|I)}rB3q`OeXfNOu><9{K?0B74_fOLB(@V)*B(B2-x1=b}} z1c4MlAOwW|XNI`wWA8vi^acl5b%^0HI7wo#h#$BIoMu*fa>JMV2`OU2?a^V0RkBBi zB909I>Lk&`s@?-ubVU2$M+!s4B;w~kXQZU|IRmx|BAEQM4r~s@BHyFK5r?^dbs$RbwSh!} zRkCkG@Nj$Y3j}gv5BhgQ)NaY_(V_MmK}qgQ4iKfmqk@lu=l^?R5Tc1x_}>lD62y+T zNB95a0tQJOYyVw`K@ov*j}AlR=6`j&@dr_o*ed=ii2?|h`%)hSOJZ66vkoPJ+h+tN zAxZ2ud)5)#>K>gW22UJQ|6M4F+kc-}1aUC^XB`rYBKE*NI!WS~|E~^**v)iM`Cp`Q zU}$#NfqniDC?IhXlKYI{r1m+8ltS-!MoRMceg2OTFlF|wLm|-r+91Xsg^(appntqZ zf#9((gkXK{JuwQ*>b)mMf%myzha+~ne{Fys;`i1p3WXuEp*;&FiJg9r4#d^HIy9I! z`*dhxGx_&fv?P(}5kL69;YVTiml&wqmxL$`dVgdvlKXH0g~8(X8OBHv`2q1mvJ1u^ zg_R;UuK!UIb=dtzu$cYVgauJ*@3S}rk&*4$54Fz*291#d&;Rd25C`|&Ck7=+q^;FEBMi3e79v%8O(EV=@0J}GF zn%c8alE{Yl==O62GzLuNz3VWTeLV&I&zwXm_IJPC9smY%Uk^Y_VE#ob@Da3x#C``s z=Ct?z(Gs|Q_Yao+zT5%P;po1mf|is(VF0n`AU)dOW6@a5{s*v<#BuKLk%$5s%&Wbr zj|NY^&r=+l_$Ktw0hYU_jclH}f!H>hIqWyAOXsRNYsvAnNbqZx|$gKdxes*!>8F+>5IS1O{wP z`y2!h_rIA(j5!7?wXbJmu-N^j0g{yckcR`C?4G*=vwI(EVI(B>QDqF+g!bkKMiTi? z*6zk1Y%crg3`P>tlMzDx|Wd&9#@g)NBL(Dfn9~);kdmkDF;_ovI zoP)th7JNip-_sKuaevQC>K+c@WJ>x?0yrl5`q}vS?an^n|JBCgX!!V4bX95o58Ll^ AssI20 diff --git a/paper/pnas/main.pdf b/paper/pnas/main.pdf index e1155f326f9c3df5b4a5e291b9d761cdc523bc86..87e39f01efa60be2973b3ff6a156a611d64bc6a3 100644 GIT binary patch delta 30568 zcmZ6S2Rv2(|Hs{7?|UyHdyC56vSnt=&faA2Tr#scakBR+E2CT4*-D{8MJQ58R*{VV zLEqo^_xnG3JlyyBd_L!M*7LmH?|XZFY97$!KcZ=5lK}3ivNv-}5yF5iNp!POxx_L|vNetF5!`ZNMx-t~XLS*l6kzCUI_B(G;w&p%X!|shFj#jN?ylAwPw=FmG z3IPj(<6Pkda>`xm&tdZyrHKtoG8$uYZOJ{%(9-t|8ylJHuRZM{(@UxSe9dA}j3j{G zU)oK;UwPN-x0QENSgGmq^|9wRp+M(FlL1*TuDA7THRB}uEMpXPGy#Dofdb0f<2h;C z2lBY3iw&1?DuRHm78$4HOue0cUTXx#|c5>@?B9 zd@%Vk9TnX)kc*CXu^PIZ4?l%l?D?9HtIzHO>I{oMh6A-Yj**t z3KUEPWaCD%VXX|FdqoRUwQtj0sfS5sF-MbZWXFe;6C;gmyK+1}x@C{3smE+fyKNYXRHS=NbRV}AY@=5Vnl zv6H1Tyqy@>yp9Ge_0i2kx_4o~h5@SCOaC?uFfl>__)hH2oQA?M;1jg*C6`T4EV+j| z5_%7hjeNL>czSj|OI~R_Zr~iC#391cqsZ&UURd-*8LAey~KnN*0V0ST|n=zFMMzuNK~by%h>@ zv%~_wtWjWkHi8|D{f~Z#s-ah0KlN>;%(75Xh%{Qz;1_W=CQGbfV4+7i`hlM zfK&$zFlavr+;l_%#SSllEk`tv6vzgYI_d*v&M4q{ExVMkgt4Grqo|>vP^+F`i=dvM zgt(r%(4w#?&PY(A$!G|_Ss_!(QqS0iK>ZS7{e^h`Xnt}$)+ZD_fUpY};O_h$cea7%>~uy9`jMxj^_5=K7{bHKwBdZj#)!B4N@ zC?LYK0xl#9u-#$Bilr%1AlQghck@5p=(``{0Kv%dhwbS zU2E@tUsCC;e)3-8Rof zlmY06qCp=?1O|j|HS`K+>fDSLB#ZlTK*G|dtXg6*p-JSra*6R*$-{z5W>z7Z2_pSs z!lT2rdjS*d3)hcE(4WeyR%(0?$-Y_8>79rJV?$2-3XfXKJ(UGD!Oag{OWax__*V)Z>b7Ys?Dv!S0-7ah@%Bm&DN7$T)t2)cSX1V`nQtcAvF-U%PO~>b!5#v zcS%0>!`ByL$XxUA%RZK})gKqWYy2MfJBO8LPHHqfxw(Lt_Zg6jHx0m&SvVSqQh*X! zx)uteKxMb^HV2VX*|Nrktp3HL52C5VYSx>pYLexoP0SJ+{vmEjV<|-hUEkcs`f1aj z9bvjw+CpB6eD>}kb0YMMmlY=$xqp#f4nI;h_o9f*StYhSQiZZ;bQPg}fg zk+e(Yr_b2%TYamfeq4&)r-%q0Akc7OAs|Yg6)Tsa5!la4hTP3px;hp~@bYteyFkQx zmkx)rxCwm}FU~OQ9{VP*&xp-_roQlb>{X$sOFQ&;TEWs5zIJb4eeJS@V&@pU{!Q-c z#8jf+TeG%fFXWu-wP;2Cfa^@T)1z%$HLHPdmeS{~z0xkBa2XMJpFi?*E_11etvV@i&E7Mg8ud8#m&&K)F?0IqaeeQSf?Mr_w`b97Q`446IiaEgMjRCBE&@f>@ zs2+M5^xE9|1gX}3(pXq0DnBBQi=>We8&GBL)1WaJniwIn(-`ty=z68uDVZK?^-HW* z@L=Lbm@|4~>g(G`;^YA7PoJi$snqgo?E?_+@B8Oz8aIAS4h47T3bq05^X};0W4KIe;<&Jirzx3POQ$l`wVy47dsi z2cv->m)QVRpcB9ra`FQB0uIp2KoyhN?1%z**z{6w22cYd11|+YC3KEkL zN*JIOfyz#Y=E@1(2i79cxWj08A`Ebd!~iO{LICyKCpyaxY~C^hBBM`cWdkB2Jb~I6 zbn{V!GYpW6MK=dWzJdYIV=*|-SOg~wIEH3k+CGLgA7Lke6V1s?nkgOz1g2tuqogU|dn)?m znq2_Nbj(Rk3;|}KV2%^;C@gcC18O6T@0X|o(WK7o!rl9Ks6iP z{2?P42C#x?T*Lzy1q?UHVJSbza+iaEdyAp{|io~r_|7omaW+-RV)2;F=uj|T?m6r({>5b+v#QH;Ua z6vCl`fujTih!!P5C0%z>Dv(x&f~N2SV#-laC8&B*)}2;?AWJ^tE>K^A!F8>lJc4VL zG~oRr#5}-Og*kZ!V0SUX6fPtI{HPZNkJykdfJ`+8nDbx`un;DTL`fVLjRz@B*3#KPEo0oErZLd!Twhb{cZgnS%sud zMi^Yyv-S6P^!0+ag-^E)U2Gj(y_`veq(s1C54Z+aLPA{p$`ukne_uyiPmobF zCY(=dfyLW{#E^&07SvZC-{>2OrqL4M$>7g4-Hcu%T))&>-eOr7OkHu~OHpPQK;ZPU zIBI~=CN=wh<4BEN?Q5B6t=;%_wIIay!jGb(jf1Uk=hCh)A0Iwn=-pY}dfPpCbAImU z&;axo`ynGO4ch3QpGxX+5qE_hhxqO34$p9w;s zI9z(Ysr&i+(7f&C$Ko&5_e$D7%`iAh9W;tqnaXvxGw+q#@D{wnZo2##F7XJN*VG=+ z@>DCCDKED*=~m(TjP^6()9!>d-Kzz}!_0-TQuMEh31%x?WjigSxR{oP^*&AZo8Ls`xgLD}eKA1jK4(0k8x z)GT?DLNz^Ve18cmeEz(!{Sd)8BK$o+ogu;{_ygZ?MJ!8Z$l&eB(T%N8%bxMg19Y6KLHkxcKC;Ea(C8g2!;re;FK+@1s!+Lk?02}F!i0U763_%vu! zNTLy=uxNx6iQ%sH(w=YQm3w|tD4|U}3KgCCZj~0)WZ_tDjZYwQ1Wg-<514?LK9l#r&yo=cgT(08gJ;3;YPm{Ef)xR`I-Ca zB3?W=KTp>U>k7)vdb8E|&ezpM!P$>GILj<6E0;biE71c!CW@`)yD40XXH{|6_ldE- zZYGq_#y^wy(~ceNM;wCQq-z<)y@;FhZSs@0u-S5T*DRoiGLm2?;dv?DqX>LmHlCF9m&= z=q3+b7$oRJ3WQe#gsMj7c8zzPsWjZgqty+D6Y}p$d^*R?p1>*`N5tJ=pj^Q9yEMu+ zq1e?XfwLgL1iMz;AtKAoew&EhKEX!VoW|YR3?J_nR2dT$RLT4@$ZO%L z5;v%#LZ#?HMy;*(!0tO)LlFsf&O#Z%-%I~Jv6zP485_r)k&zV{z$v1n_|hHb0cNf>X6iKc z?n@3|;lp|%GgVZYlovT=RQd$1!jvNGH-C1#J)mPy@3C`Xb<7`9_vDFSv%5_oPDsRX zuU(Vud``5>LpjZ{?h!FX#OeZ#xwds-C8b_Sj*IVEeaXUsQJs5R-nmyY5bPoGE8lU^#T7nIwHnYUb6c|~h^eepO+ zfFQ;Zn~P!3b~Pxtlk4x1>!@bonD|yIlaHHaFL|`*0+ok!y7ogQ72*C7ksf%>yO<&s zWnmo$f!E1T+4siKYSK$9VXN8aryGe7BBSkFS-Db6{50Q85l=N8F{CJ*^)mAlg5JS= zQ}MZk6}ccE#rjG-*6*AGH_MCBr~9XWkK2CC`u1JMjFB^QN#ni80+T});4z(BQf z3k~@Y6{{%gO5*RgP32ko3rk_EA2>u=50l3tjecvYUcfG(OIbxZFQ_T2S(V2KyuP60 zfbFGXNOw|mQIM7`aee!fE+FAiDJ+L7hCszisOvpvi!kqHYKFZ%@`Es$aQR4a78b$1 zo`NFD9orb@ScE^(0=f40{*BGg3%$C(iPF!rV3{7|Gv6TZz5e+f&$1#qa^s>PadO|g zv?x}ay_bIYp-XETth_ELb3kyh`MHANfDiUTclhS!+Rxt`cnq8QW~BG0lbt{R-ebM_ zOSRnec{_ezY+zRs24BICaUd)(fcb#>d!5J(pHQJ(in4Ou$NV%bJ@fJ4#xRs^Jl+pz zC%fMhsSPKb!0TcDLiUV6p0{Yb=%pfywvwQIE#5{^N3wE89O(mO^`p(T-`Y_Rdq2Lw z-d>Ptv)+TNXI{%&SThSp-o?di_S`2Azc;wMP_;GofU2?4H2vz@;e$<>Dc2=B2@@FR zH1nc+u=G74z!r z-_+z6d0z#j5Zd2uc3{Ys4&oM-Ssa}xbjAv~kCD9JXnZRdrabMB&g;1;cjr~`kCr%N z;wx8e9D8bhJagf!HMfnWOl!~2lM;I_*Q9T}C%kKR4a$uX&e z-H;uy9nZ6-hp6xnV-Xd5`Eg_bT&}?0BVteHiggzWeyqE#Ex~m;Gj9f_U~8r5#~qZ| zft5&8J<<7x%LyI%^rN=F>7M5#xU&sCLzuva1<2q@pOA*yn+b3Qf$L*5d!crw4iwuc zyTU(jwW*k2BuuP#D{*rY(Ko`>gv zYZ5AyKK49)cWbK2LO7LF_|38i12v&FHXc-99B{>dU@seXULQ$7Vw4!^Op(xkxr4;M zCz``Dw9&?=fHG&}wIpU|go*xQNPNPon-{WU+i7xC4Tio~TM~I~`F4v^#+K;deaYL# z(*#i>Hl{eakZ|VDMzr0ZM0ZV?M3W+)z~de0@PznY`2oWDvzb8&VviFURe#-Pz!rQM zN-nEwx26p%Z7<+sd=$1}p{7rsQ&EcE52UTkrY+o*R_b)SUp{6is5kp)C23mt9v{KP zPJL-NQB-wL7eRtOJmgceSx?j;?8A7m<}v>zF1`NZPj@F2@hP5=)b0q2hyE_|+xV?u z&+qC#<6m^>WzAzE{ke|3{m@}Rau2Iq99mJ^g8E4*j>PpnOAo4!qSq><%G2;a@a&(b zjLj;&1`}#|(;~-1u<1KVJD=me>XAjPBuAw z1ud3ApLY^DcuVV)6?h4Y-;f{Q0_bI zA|1s`E1A1o#%9ShQ#}%9#ZaS=6E%`@KJ5w^CyD5qI_c>KqOci&=lXlZMtJ$UNuY$(eB@E(s=xP1~=irI%!6P~D8( z6KRczt9-3FaD0DGVq7-zTfEIq{&E?OdUlMLlKa!A;c*NwVT_y95QoZ-z;7$J35(*@WYNV(7qO(KlEKB- zp4A%*>DwyB6WjRlk60j5gYjM%{i+@2U>SU9`c*33t#I%r$9vmjl5oFk#)XX{kDE;f z+uvTqDUs65e)Yn^>3YAH#}drah}UQxkc5$Y$|pSaq5NWX`77|IZdJqXQ!gZzIV^tBlZnZrK2|o!H*9rX!Cq#08DYIF zUq-9Vbok+3+5?x>{_&z$+qN`vG=|}s$Kh5l9=kkn7`jMH%*yxHB*ue$|2OZkMl4r1 zvKRHU(RpxH3$wK^9rqP4cYZ8{i}JPpweBrJ_KW1E4cQiKlt*sUdXap)28^X6+EJm1 zSCMsWbb9gg1Kom)pFCx%tQ{^qYy@x4@ ziIyXZuR--TA7}g9@-OaTT#K@M8f@lkZ3Sy<+V2RuSM$YaAh+XcS%kBn_uG13S#(pS z>5)q=@so}f@y{%$xsNVnj;4LhM*YF)dii-_(F>(?h6C(Rxs)Hs8Z>=-O0N90Q@srd z$_dM;1{|r#Tu@bWQo+}Kr-xn5Rkz{gR47;5Q_5EHB3ivh>~XVdJ~rMIJ&o@zVC(ko zQppZ?4QNzZJu)ZO<>pf1?{@75wP}e4Kg#UMX#Q_Wns1Q}Ifu&YmW4`%MU-Mfvai@k zd)BmTC377v_#gFbOcVdAiu(|fXMTsFwbXDS-d7;5-QH(9ilko_Z&74MDygZRNxecC@jLq>u{HVmvB+EcurS&DO;Ik1u zhfkE)V1{E>9?F?Gown9M?C;*yCGt^G8-hpO&s%y8a^~jaw5HSDo*XQM93YCG2iFo> zJv>8HeKqTJa0kdLpOggevub!3H&tsF^rU4_8$AByZhvt$RO6BiIVHIg1n zx00H#uP$oywnXomukG396a>s52y!wnnt5p6Op408byM?aRh^<-G8W59%7>BckHv62 z=~wb)7>duj+qXGu8!=A_dlgWvlyu9|W7FF`;*V78@Q#k;%_cYCN#6DcOT4`5{m|da z2}942t+L50PC?6g*y+W$U#j;MY2pN8?PnOCUOKk*v*OO$_g{#oy5t=btw|p5)&1I< z!EnBycv8V*Ec1&2F=&ppU0xNub%GF|?T_~~v-fStk+)bE1 z%B%c&{(?0Dxp`}^GiUGihdm@^mcdJ(8(N`JwaRjN!XF7bxI>$){U<8=c|6l2YQ9}k zHg^!0Gwb?v2lTUM3n7#Dob;YfU(e_!lamVRJL0Kptzi|PdbPAgfWXK+N z)WMQVrFzJUDj`+24f)E`i>2m2)oh=BOST?BUNp7zQjiH%6jBe`##D^_Y-xrw9Gq*qa-kIwG(49r{-RAU|vi^y0$SM){xa$1$*jYW-~ zB)JgX%$tnNj2iwXTPY!v81gVyv)9-AKlBS=+Zz_Sa5kw~++Fd7NQQ+G!WbVTC8m%dY3t1NbtJI0xyw?>R;tsz+|1vQ2ajbRB_mys>KFpqGHebzrSr6Z-MEx)W z9fXXuWTjF0%(CIkA`vq^^>aiuKgSP;RV%#e%-pR)i+7ObuP8D@lT-!jIo36_-k8U4 zsYj$C_rB6r*(aIMztdA;$ZKO?Vd|P4;gr4-Qe{INoBzlUTjJ$!@$$wfp*d*Ws^;Ez zm+2A#{j^>Q-w1=Q*ySE}Aw~zDWb*#C*84}lj@U3}iH+$g%iBlIfhNV%A>(oc@8Z%+ zs9sLpzoeBhC!VHIYk#j2V+r}GQpd^s@}Jp*>rktGRFNeOqB7UyX;g6%5&zmNGmtSzLe zot%>km=_!=npbc(h7ZiR4o*1UA-T>8{W-62k+YQ07f1|%uqEg;a@ZD(nJ+V-1q{$Y4h)-;9madooovUNUIG-^$gWi0g z?#)C4E_GGtJgw7<(3ts)qGL*K?U_8gJ^?uc?j;_Q-$YISJpRe&%f&ZX6MkF!$LAab znF_zkW3wIq zEQz;6coAWDov{)j77~MIcW)H@YTk-}rkl^-z4_`Di#R}wNVztrJMrm8_WAVorp6l! z_ag)v$p)Tpyu0Ap^!Y>Zm9T5e8APGFqU{C1ipGRmfdM0tTmLS6T$L|SZnmBGMN#R#d0~*_ zM{V!WQs$+JxFo6Kp0cAQmgT1*8wvN$EtFxMkLhpG(G@faGJnVrxli-+^`fPpvhroi z6)FBP3a!B48f=!^+l9UQh0@+$&Q!NS@dkH^rjUBdd`x<~H?XTSe52JYWGa7gOuu=` z$CzQWKMZv)mMmOt0^dG-VnYPv1`qwsP~( z=CZfsLz{g0CiCo;-`}cOHpew}oGTC0yU!6iVKbVb`UJZxv!upo@Lqe$Fbw_PCvQ&m zs@xTNOV8Jq;;%8Lsu>h@WGlp3UzQ&2s|MLNzj3-9RYUhF`jBRO)BI5vjd)j4?C5+p zqu0^u&dvQbf8`=df4-tmo9Uz-(y8YQKN-(Fdb48uXXZtasO?SdO`*tevjf9A%c?zE zg~zm1G3Q?CVvUIl^MCrsvLQ?`M($h%j@*`zYF~3Z z&cxN)klVB8(U0Z5k{5zMIV;Sqr(A=6dn)ut6(P6p=n)^n@fO#U4ewUn_%7rv&U$3p9waEGwq00h_a!#N>_5~>a*Wz z+v-1?%kQfw0cT>s$EK z1^F>kn;*CA*{V}t6LCf=N9T&(_M5n6;E2~4$ZPMxGQt}j)H)Wh{ZY>MQ|aeO)r*A^ z`QCN3j=f)+u%v^H_Z*ehlC1!reBWq#nC>6eH@Zt^W#&Xd9&z6BfkZg^`<#P?($5~! zY!*-@{2-3F!9*=BS#|AEY{aaC!%}Xq@6Owd@7DB8SJR|v;pCTs+TZvQb3`$^?xt2& zXm-xD_%X^$__flINQlpfQ+jX6&P>0^ky~*JFv`hZAHzQ13rRi@_%rsNYeG}p+;OaS z_1os~-01I&RMY(cN3_IR7t<%J{O`Yu9X#7u8&Q=Pf6=jc6sGDMK3?aHDa^;q7ZsWY z$X$$&$(Z78Tpl19zMFTXGKr8^NPLcGT1fTnpb}{9O80H$6BfFW;^HVd?Xa{E%@_`k zYTS^D-dn)hS@zu04QS8%IsR(>hg0dO{LJV6h_=@j{~a?ufO=-HSg1Gbi~|{ z9hx;#*H-os&y`Y5C$S5^<9Lp+!MA z5lV4`MZk6}^Y`BG=^M^jwwo!%x4ERN<&sFccBFriS|^i)dZxB5BKWQ{bO_J%F<#Ed zgegbK-=FwuU|G|P^XUc)(&(1b?#^0LXJs-4>sY>y^-8PHa_Y0ApZnd5ohqRP@lDLT1ThH)TO zhSB`okFic-3b!c(vbN8`Ot{}c;R7X2B=KrSRqixcik;6iS3B`x-*HRVsNU%lg!(+g zneqZk?0oC?x6vMA4YOHqsM*)jO{d7z@j5)X%1yR5O%M)_Tu=1p2OX4X&Mp}RIuI&0bI&YAaJ1(&6hAMP!*v6+;YYqnRI{v=) z>R~4ZcKOM&-B4k}MWfqH_8imtFRQnHZaWEab-3C5AtjGMU74w1??+DGywmxa)3v$Q z<0~-ys>?g>QoYA zZe7#oo_AsGipiHFy6|HwKH=~S(SK~5ZMiJQRg|ulU}dr(L#z zPO4X4WonJAn!PY~W#B^zsk=H$E=z=O#E6xUXfoDoW?l8t?uve5!{${hk%OG2Ji-z@ zQrRKw>mT+ZZI%iwY6JG`KNcJRe0h7RtIw0=SK+0Ju0dUCPwV}zV}K-2cCNi2d%Wyl zA2j!(IcH+J=*hH)o5-xUpRAugzq?~`?d>J;Cih_vZl_;ZjLY$E$*=8S;9lIgT$97` za=JKAup7a5rjPb5IbUWD0*Ct7U!{9&eZJob$C~1W9;^iwz4Dzfi=M!zzu;JP-Lop= zW39=4nAO#<<}!sryW>NjJ6)x63iA#%H3w@N+6=D+WHz%gO_>GEUdQ>kQWyR7?c(>t zg;jXCy*tE*{RtSAixBn3KIvcA-CmQJeU2Z@xoWVk)Z|#3ysoZy`^&ihM_7);HyCqL^_!XB4in!=b8=ITuZzgb7e# zz7k%=0u)*P**1)-S(Lu4b#M122Z?t1uJ$WBU0q(Im4a;yy}qr5ppz$#R$1nO%A?%(5&}&LgdFLQ zxBO-b^~O{JUUuP@E20x?3);H_OCP4r*0@gLxqR5Rt%hOwKak11Pb4Y1GEGPSaf8=n zu#6ft!d@?PC4GU|W8AeeZ@88)mYcffS@cg2{h;!g!q7`LfgA+q<9`j`PoovqQ~4P8 z;_NQvSd~8aJrJiEa2Lh=N?{b> zCb{)7%%F(!E@1xkUjOkj(uT6^m(mgKjmK5PmaQ}*a~)Xso(*|b7e~0_vQmtFson+r zJHPl2(`|IPiK8PFKEzO}y`d*ovv?8}Q7NJXeA!D!mKl;?qYD%q7jr9n-!i+@6Cdn@ ziNec!c&|!j?1RGlP%0f7wt4)9$<+}jQ81|mfz>o!yl*yhchw%FT=9i1cK?n_#?OR1 z%B2jr9gaKL!Uw3IFk4=R`w^Ajgq}J*m#q||Di8{Xk@;v#ZocfNO|=TzFH{Sae`TaI z{PpVNhIKi)*;{Kauf#R4E_a#S*2*aBOE86Bvg$2BYlqXeM%V?-^BmWA30~l0xiyJ? zzr!}!S<^N<#!XHx2|Vx3-qg2eYirgb=Nu_-?Uj3jk2SYg-+pW;ZLsvd=;Lc4ehGK$ zEBmYwo-8wQom;Zk)eGs>kH(`us_8vv0G$b{)~Y(Q!J=J$SMR%~>MOi=wPlp1M(MBF zrUgIM&<{K&>iiRr7Kg6|#phfdY4rU_W+&SJqA`Z?<)*YD@YPM2h(0pfnrunbouFvx zk~H0xTa)4PvC!70;&H?xkp9z3+H0Gn*1k2!pS)Yrm1+AXfx8bTW_!dooI}ELP$Gbv z+E+esb7q(R4c*f}Lrjqh*@<3+0d|SrGya#moC`Ryz&D#fNh8`1LKk*R^nUv?@4hRn z^m~`u0Scwo?0wR1@?+xK?%go2o(OYMARkd!(Lm~zJuyD!J&h03N9V*U*Wn; zIknm6db9hB>kZ7_x0eqEo-`6W*D>@hbvS$v+#{0r!PD}9y%De_*1bnNb@)6r75|$s zZ6Cl-XhSAtjTQ*lyn0oxS#2JVwON zg=<(P$Z1r)r}+BYppD)nhq0cx6uqActayUge;DwS=mdBf_g=r1R)1iP445aV zl?^*HMMGA@F*(eM&p8SPC<>!-@+UrL@D2z=30dF5SzusW35*t(N`MrAfybp#>q|o9Qy5rY20O97 zv4Kbqge53n0iyv6h>Tv@rpb)Yvvw@?eNN-TM3hFquyn)qF2zlNn!JTU8 zEFjaH8#vC6K!Z1U5y7C_1E}r9?FJ^-!Z1x~k}#074n_mq@M8mCT|l&g$8|6a_Zq23{1sAjbtEV0$hZmGkY7@_!vfmqgsOpL-*||bm}(6kbj{K z23_%YxDpuO4()QX%Hh=C2GVpu`<)uxz*Z;(p?krO!*0MSU|>Qgv|Uq#SU?C%2?B~9 z!eCc1!VE0!g68~db90ADfr=HdGnX4&SPI2o5>jI$+Rp z357{G1}D=CqlJMBZg6&-Umr}b0tPJ~QAb<=*InU`kiYFeG5Ee#n~0Dg4zjZ`lK*`n zK83(DkuYHpRt83D%zAqubC4Lrkl{PF{=?za%b_20;&liwK`yEv_*NP6z{6 zq9L=pw+uVDdK-QWwkN<*xPxeTG7Mb413$55LJ<2W!fF1ZTa^Sqc`n?be**j}xRMM< z{{gn`KBZMxFw@R|)O?FR*b{(3mq|IjffCH7N4x@M8=yNXSl@vVkq|pIUP26avmj`2l=bk-r@95sV~}h(-v&4W2A32(gSY!3 zTnwCSgm=OuPq5_&p#}h?Xohp2&`fZ$DGs(a!OhQT=REanf**|#B%on4Tu@p3f7zBe zBlo}9mK6D4wk6NrhJUP@B9daKR!tmb3;Z(%CUGL}=Z4{%NXYa0SFpWcVz~P+;n!i{ z<#9L)l4=GRC=b1yXRJm|L3hI=7QqDrb>BhZnarMl5B~?s8y}$7GboWWQ0p0#MYHg~ zP~Q0n^`AkBKlk5IWNtVYXaRac1s~zApu#7}G7CW&3O@e~MG%Vi;P*v1 z`cznBmZ0$)=~H0)7w9}sH5FWjX8ZUV^1*_EU*V|iC3q~j@fCXGPGOw<2F(k>I0SmG zLbE|Ij(`Uz(J71x-=UK|g>mjXG|Q)*ixTRsLFk|ItoS(KCAfbqoil2xj z^x$a_=V35W9CYE(WqhGSVEz%!LxiY=AhgC#7(7ppa0BZZAfdfS4~>F};})V3Q2vCm zA^u_V6+0B3F=@jA9pp?X%Q>OeGbS~-pw=@c7rCK>{7wB<;42KB(h_%bW{{zg))hLkS<^G7L(1^XUjbQ0NlkEZYx5!6}q5LCA%Dmgu4A1WHO6 z_*4jiK7~?D7&6+QLU~>Un)DRPCQ)co2+HT6k{IG|njaO1dLh618}OP0bf#xemPU!YSzg_Ir!evF2m;V077WPwhciSjv@;}h zu3%;!)C&pS8}M5m0`-@v=6tC8lqvl}Xr8mIn^lDPi&A1S)cr3?^dHtxx}Q-*!f4f#H1w8luM`@ zQKOC!KmF!}gKZ*=3BY@Q{$g?ReFhXffNo3MY2ha>cm@fU1_5Qsz60o4Kvf?;3?VKg z1k48r15|>JPz-&c@fQXi4-mHC(IEl_>NUVQaR&zw_@EISdHN+N4NO5G(IE6B*`O6h zP!WtnA~7e+fM!57eB|FkF_-}PPoemf5P2$e&|wpakteHmLO~-EsQV1Jd!$e|gqt9g zyUCE~6WrQh;CpiD5YX3~Ctx2167^T@u23TXqjo;v3rcA88Ey_#P{)bdy@!I+H9a6V z3W`n%q((y#R2s&EVi@QOPFZ}8fsPMdffNkHr$wUw{i^ek7CM`=(y;9uwBN~c9#EVP z`L{G=qKDc}OT%UcC^{_-6&RuDG#i7A$iLaxo(TzEp9mrfl6)3u#xpckS)u;Zf>4?b z+UFF_SB%IkaF`9clrxocVuyPEt00u(fVRz8k)PmVBB%A>O*W(jXv_&+2~-az1BwZM zi$N$mCH!5V1Cnt=$8_dIR>HtHywHt=#BCgsET|;JfZet5HiWpiD6a4qr0#HWXe~|@ z#PfVCD@e?TJjNj}A?5MGc@bnAE?)$hgMdpw^`9{E2;vy}I6SEjPd-603FN8Nv7BUY zv$L;1r<7k)6&E}cw||nexcC{s{~|6fdG=N3AH>D~7K8sFE-op0hPZ?z@&o(HS9}Qz zfg^V$Zct^HqqKQpwnyXl6~jLN2!iVb55wnME@aMU-W{^LUWHt|!5dHNWnz z0uDYJLx8-Npx|7+&DwK+oE1YoFHN;=6730FC!Z#$x;EB*{<_pRN3QWFhRi7H$Jp}m zdoc<5s^<*Ev;0tLTE& zM+Ykbj2KBoY>tVGhKt*csH-JnK9QT$s>`zaw3rKMP(zcAIsZuC4T;u^G4yf>j|{wrdbpH z&o9TiWAw{Ev}m?uWRyByb*J9OBe^9xA>{dunB4JgcDpiwl1*>OynA}!7X;2b!DvIE?nd^ zpM5{(n-N!kp_EmoY?#*NMe%sc{h?60A$&|Lyz@?}pHGcz(`EmnUbs;Cu%6)^KT``T zHFRAX29@30SK-3OAC1q7pOVl*y%iNlH$!S%_RD2dvF)3q`m;*FNc_}s+4-MQTfwH3y7#a4PWr9+R$pNiKw?%38=J#gty?|A3{3JTnl z)xC}|6aOlw@1Lq2{948R>Rl|)>*PNIIW#Nhefww#y(%i`y#*b{2$LDODep#eGVNuE zr{CeIc|zbmp(x|{M&)W#5Xt`Mgs>SU%zHmhvv^~Ern@K;YR1P3U$VZ8+E3WBju)OA zW20oYwfDir(_~mHw+&^e>ozan;s4RdE%&n5RH50`QF%u+fR%aM??Z>)mP zz_m|Ao@1{uNkx+IV3U#ai@Hp7x3*MrBsa@-jVU<2%eg~qf4s(|;%dtCe92>~Rca<# z{>B7NUa4!srffk97x^=TTbj-Fx-xlFcx0{Kids*w(OnIWbg2`1`?l-I_;_Ra=i>

xUqb<{nejIKUiMBx(@OH zNxyfBmVs~N5l746zCwkgL0*-+okvfPBEqHR2Nu7l+r~bhbuE26mr>65^qtVNuKoR0 ztVeVTZu|GowW5GqK3k#AS%h>OOeA8$l-Jg5_MQtcUTgTWLt07Eaq9*P){cu4?gkJ| zbLQ|it*ewoFH5|BUAB4fIHD74dMp?r-@tOCFh6Z~qG5JtbyJVW^TXo$vntUiE_^t0 zr;7C!3Y59Cd}W#B)i)oGf&)WEo)qfd{It*vJoh==SOTujF&*t5?alFAo?|Mo99{o$ z?efPr@#lD!MS^F7Kd-Ov9AYBVyd>6oZRb|)?a&{K z`{TjBM}gL2KXotu436*>lDg#`5Fs=$J{}(a8`X7{=La^wJ*TT8QiVI4lIl;tzI@Da zTA!hI1ZQV_T52D)r6XrVv^ywqLT4w)yB4M~K{ z-cA|8Ns_`SK(lHRTc_=I2u~G2fg9EtkMC={-6FwK-*JDOtCByH+;C~Yd3$8K|4tq+ zA@KBRRNI|CGHXuiDV{3(dz-<6@q`I|GA>xoBL&v;cXmx-8GGnSdDlMqR2sT?K9&Qv zIW76s^(Wsc?IwQi24}5fqm8YfRPKk|VOA9%_nXb-*%H>%+alii@U)L*Jhh3SV2|xb zjlmY*$ppW2Lu>};csFyZr8?OfP&yqvZ>a6A$%_X-OI zFP49;RoBcfHEE`)U^eOqyiBu+%6XUOntQLVu}EjkEi| z!oDghuAu2Qzzpv0?(Xg$+zIZkgZl(`NU*^P?(QCfyC+C+hv4p)Z~foB>wmisRkf>6 zb)Sdxa8|FqyIR)Q%J6X>PZ#SVTIPdH4*-v>pC+L8K0an?q;K@}q`%xbPtdY0(ez1{ z+~W-X#SV)edSc1y+Vn7g0?e7O?lqjceWp<<#hYi6rVMcPjrK<|;IUb*Xt&gwLKmo$ zaSvw6RE6C;&HLjrtQ(cN)Z;s9J;}uDVBDy89q~cY>}dP`;c!^@p3GEzHA-}$od@$# zH-e1!fxHfq+O$fhN9*y#v%0B@MQgMlJ_ zL^Wo?RJz%$s;JyO6O*%(Q_4yW&)PBC6^dd8ffWU|I6{b~WdV-NQO~z%I+3`8>P`O< zbj)<)#`l@4Gk>@bZ4VfmwV3>ycA{$ zU%t@N4@ZXCh-O9GP3v!G06c%dtlPY5! z77gj&)Ku$;3IZI2GQ419W6vcgz>xRZZ4sFDcBuuC&9}e|ONAu&e{3Hh7~eOEL6ReE z2LU0C14wFV{ZxGd+k2g{kGoIMB~k7&_LQE!Jne*7gcDoIn{gmQ@U%igF~BB1)>L8l z24u!7qe4B*r!FTwMOApzpMMhD0w_)SgLnR8BU|T97M?rOFeF*QaIeaZw39zu-Y{hXuHU|#PNq-!qb>tF8#WMH_kSq6hCS!99}~BL;-2#^ zCsTeNd2$$jHAKJz#|E`UZP6o5au~iSg9yxu#@tE-Ub46zI z=hF#8A1~4_eogS5UbjV6mOLmnIhoHo^F$OHLDumT?vUQZB2HqrdTifk{zy!B9qag6 z$T3XBXj(@#PBYZDbgauc{fi5KN-vwWs?=%wN+B&#X*-byHkWVl8|9Xn$6%?#aEypk zXxYGTu^N&Y&kp!(c3D+U_R~z?67!1vlcBu2x7eG zEv#F3w=P6s)ga79Himvom9yBofn}8bq;8X-pu2$c*hrcgS6QB#T9=Y@ENW`}NdETr zjJH0OgubXtuy%|qLDCO+h(t7(AFDvYb=D;ULIRPZWJk8)_fm`Og80b5h|mOO?wiri zDPm0wVb@Yf^>W_=^Xm=t!jXG#s($6twl*OW94)g`tNbb%X-m(cIifAc#abMivB4`Y z;DptpuRueR5h*fy!S+ZZn_Q*U8p8NYP|4#nEZYYB3LeI&wjI6eC`~@nXr4^rr zd~J@o{>kA8$r_wCw3g;pS5D7Pn^U>WQl$bN?OMW#!4DoelBUjQbO!m6e4{Ae1*a@RuAT+Q9M6 zMMTU!nMgZT!?d)V1k+f+1d{sv*gJJB`W!*Y>(_(=AJ;oA$4^a!rK%;vGZ+tZ62rM%Fc=Ii{=DS~IMa{soOk+W%pX6TmL2bqdauCK-Rdl4SRHS*E~%bhiD<5Qxt8Ay zKRYF^FGmAJ0`n~igOAVyQ|efQb2n`cXS8mWAoVxP&(EV#tIIbeDZx;!?u^YAMH-wl zLty!0%O)r2F)mRC0=v$lvCghKe7jiJBFj1_1uGvGVuqZvuixe}Sm7CRjG!rsnbe2j z1)FUPJqVmqL<{5RY?{>F?D?{~;HnWV)!qCcbx@as^% zWAwgxk0RRp94+*|U;*=3&Qp%seq4iqC~&=urdHdHd2FB9vqYGx=kqT^sXcQtFx(k2s=mnO-LI~y=CXz9qw zZ&%%V%SX0iNOM>tU2cn1rfEUdj$X)q(&rc>B_crh`mpW1t;X5({g9Bl#Rd@g2|QDw zctDuibK%}R%2G~Wh)M)49?l+fq@&FDNn07?D`~~U6#^BXMyp-hu1Jj(i3zS9nGbUR zPqk_IyX00UIS*cfyYB$K6epBVq9~yPQl`@h>=@{n5ohXTDDd9{@m{~qkaLPZtGJ!C z|J@3WMC$>2@wo}qW@e8wtW&Q8Q^6$xXeqnZ)->95y|HXxAI+jXZPQDXH>zQ*0U=MY6@FP6%rEdAf1F0zsSs%I)c1Hy7)T>dewZ-Y@{VhKh|D-Ea1 zuJ(ie4(N9Ey~AQdEOld&?+3y)+RN1UCIe$KwbwUF%k-L`pDWfjbjLpe_#>Xa_1NFv zYiFfb@N#H()r(bQAMj#xGOhpVt-)UHlDVk5I(wt^(ecd^1CGaBBi2nI48|F|GJE~S zp~KnztzCnnItwVpwdK~094`9;(w9)L-yYZ|p&$H+Dcfjj5ryW13^H*s+6H|7FZo8Z z`4yvg?Vjo&Rp}QRPVm!o&rVN?J*V7|%P!ept@e;-sP|Pik2uZbbUuOBAYnVkz2vzs|Ba@Fh(#xX>=~qwidO; z#W@-)`lQ{FqrUVVGF#v+K7*(-qQZe8-AOA`r}{UmjOYNRsjI z7L!~DF~oRT2c{_fUCO6#kBSrX(>yzG8_$6ld1|oPzcO{5^qs7lGbGK1Hkias{BTf+a8Sg8V70=0ct;)^Ozb85)Q!-E?9VU8 zc2m@EfMUF@DxH0c{$NAN0_Mv%j!~`^9^YmNMtADddR}x?o z%>J>TYotQqbY!76!gHRZvsiEvUw%gtud-gS!Ar3u*Wuc4G_k9E*C*G>y0H5C#VJb_ zVBUP1rti>cSAKgoyWR*9`zjuy$?9MAtt1CG?VhXo&lTL|@v$7~^<8j zHB~ir6fezWOsA(gelc&z%mCl$WH1L#T3u5QMmgWuhpk|1gFV>&JR;R@wQ`>Fd-Psja-M3bqh>FeY47!z0)t;dyp;mYfZ ztZ?o0I?s(HBh?dZ$r~SvmfP!dxwg}Z4M&u`V`||>?5LCws?0i76UVY+I*)6e)xf@* z624r*GQpe8_N&YtXAnpa=|!}?J|IW7p@V;IqZR7OoA4dxDWd_bwZ;7)f?#;;D11O* zh_hkz|4Sb}(g4|+_-Xi#O9BbL9`Tv@4KTjM`{v0l*!$*13SKa>G><{+RL?9cqGAX+ zqC%wFd2~K25mEbe__w#mEa-`S#z{(bV{kZr1Dk9^?CI@jJnvjfB68~`b7z8ld@SB` zBl`=9f{Ac@g;fyx{fV8MqCRe>fsUiJT}twls}#qP1RF3h0(2pT(Myy|C40{250-eX zt>EE#U;Z1$Yl|xlQXNhBmN#G~7wLp#z zsbK0G+1;>TZZ&UR4V>Vvi7~@#Gq6?7V_id)Lks609)paN%xdNjoA8{}!Tqo8by!!r z88vDve&qibx7RFJ82)k8u5oB#{Fv5U=FlSe5!b36TKtM@mXC`+=C~U*E`HP<%e2{h z64dDD^lMj+yDnyaq{`1*4$1x6<7p3QYO!D!lPsA{`}kKy#*Fdv$m-Xt+wE1e)^~NV z-qA3f7AKlT6%&)+{Le*1p}6{*rjDF%zYx9YDj=(Tk5{_ohdY{iYJG+)HuEg1%|kAP zhoXPMPp4aJ3;>BA4(=tWRKvc0vYMyn*FwLUYTrjRr{v5)0uUEbp0%h&)+CuO44Q%Ffz^REC5-*Y=_~k z!@nnB1ZJ7o{9NGt%@N{c_QN79+Pwy-RDI22YEN*0KX`t}_kp_GxY)4FeF)?q7itwn zatu}W8+U5&N=xti`X^u3brb6ay})5T_l(DX=XkQ_uzU7$l?4dNc<&v@@*eR2Xikj` zV-7d)>+tIg)(?TQn@}B&D$Ir~8%>!_>g}%65?KyB`)f!GghF2tK?IoKA>+Z^Z zyie|SY^{kb44eiv{kS!4MJEADrXK+Ba%`hh0P;JIg4qo>mx+Z6#nRFPGLI?qSJcXupmED$bfnJ*^98 zQo&6wrI67+%#OeYYxlK8V1GE--U?F#i!T+XL?j*9nfF(F>1Ciy!dJVb+TaA@asTFg4AV1k`~v&BXeBjh}u{^_5r!Rmc9$m4_D_g${S&& z(8KXTK~!nijOc2qLomx9T1U3eQ&I}Xd(y)wLenMFGrz9g<)C7J{a-cEwrDqBOhnslMMEyPq9ywUfAgIU!W=qm(2V+bAjPize44i5$} z>tWpxWXrc^i(@pnxvCjrh)8mU0M9Xq_6QhA3W0Zqi7em`OPR|>Ae;BpCJyzj{ZqCS zQeRY>rfh?lxxLXF+Z&h%l1Hojt5A=4jRQe<5RJ%QdM~wz%Z2&s5!V;#R)z0R4;NdG zv}elUErD`Llfm+53la14TL>D3#N8YC5??qn#HNlIF|7|o&);$%pvnHvl|JGjSSp9& zEmNuXEta}*B4s#vun9;^n`$5&qFLfz(S9HR{Uy8b+3+BHKwv|l)U{?>q{VwAWW(G# z_C)k?d61!L^t*(=!cL05sFiC47ypR52P~Xk%+wM&^(+A)V3CNqDYKnBtY{m|AR7m6 z;CNG!P)PeTD+00_f3 z0B!4Z6hHrfV80u9pC_Ca2@RRZ`R*zEwJR>mqo3^F8h?L(Zo+y)SYz^#8&sNPKya*xwC_p-htPl_zqVo=5glwSzgouk9SWc@0R+R~}k}IJwWuW4;CTN^YRqGhKD{8ak=tB<+nrA;Cd;T|R~KVf1PD zO)ZbI{;lmj$oNh&dI#_i4!un%$~`-Rlp4$@!Bc7#AX4fu>WG$&!6J7cl7^NSdEf`q z#1G;#9x3m!Gvxdpv|QIUk`;PX;6=ZcLC8T(8up75)|SUe$Z2I~y6A`X%kw^vmpA2uzB^e>u4 zhkrK(!iP1?i3_1k%U7B*a)0|R$r(W5^wpAv>4k1bKm~cLk{#Jk;p%UlBhhO*x#v%s%!X!AfKoL-v(59y=3>Qb?q1@c&$%hK;hUEo> zntejtvWkhrL`IRUq~3v7Vu=3g)23>MLj0hxg^5ZoM?t$To^XY33+#gpuESLc7iX?& z3XQ=1M`(KUtr%H&E11z$irl;eIdnTp9d=Lx1u3g5lrT*q*apgE6PO?gPWgo2CNt|P z+{%tSXDf09APOjg=BG)(A;G{#Lr?!SZ4VX6*hl<>cz`sx#j`{Vm0!Gncznln?rcN%~bqDT+0+!Ehq*#lX($Y zNpc7WA~Xp%Hz70(T__nGxXqlodQ(_mk3ddXJE9KpA`0QF%~zW(Mdql(FM~{*4Tz8o z6Wm6or(wY<&r@uL+@9A4w*=iaS8r#6nkv!Q}dk<4r1>R9v~N zO%py!@IPy?m553bqvR2$l0$G%#29e;j=uoEU~7oDGP~r;1v5;ae3Df7L_8|4tO-&> zpyh9nx3irVgaQesCVbk72n#7QMh$wrC7Hv%^yGQr>u&ENesz-f@rdFbB8+aO{&j|f z@dR%owSmL&SK?pH8kjn>Gpa{v!N{mP*0XI9$Ce3c@d-8GTkrD{UbIp;<@cldEQ;Tc zE6#KjmG-7xG`BEE-IeNBI<#JPtm!LNw#-~4lw*2Mj?uPSC>|`uUh$hrM%yH!R|Dd23@1X6l=HG9$&xbuu@1eckUNCn##)>wQtII%KHvTv?# zW<^Jd$+@DT{BENtO=Yj^_AQ|Sm!^JYML&gkmUE%rG6u1Gz>tbi7nSa;)=JZrsa$(h zYKii9gC*i!elwUUTIQ$YU;TN$twlQX&-sedM`Pwj;<(G0vr8-Em>8(X(0%t?R>x`@ zBggBnZt?UUY}v1ZC*K%oGJiL_0x9n(x?fJPa*nl=MAf0@Xacd-3>q|`n(~VhH41oX z0%txg)bHv!y4kC1;QE)ZWK?_K3%R@!0V`AunbaJlO{c*r1Lg;ML`LKVpbF2=RXioE zoH52vx6wv%ygAlJXlHF!(YrCGzFaBYy1qqcTe zc}-*9*yYKWD!m_2N(CxnCOn~dJ4kOX>q@nnno_@J9sT032h~af=WSj2bEcAf{=}R| zYud|!^g6+_u;9O`Vvc)|*;K#-kAJ~hP4G7%1vNZ*M<_8r*k#f~#o+JjiHY0c)< zEX>;OJsy(viA?6&t0DXHMO-eW(YQM22v+$EAw}0!8u|8000SasjLv{30+4C!)5f<= zFJzlGl+T@3RVytHy*@3gOBHMNI;Z;{3R$kNTtn*xWZ53-4EZVDeGI$v4gzXJ7c<41! zOWKl4#!MdvWEI$dJEm^N$TXgA>tbdvQyHh06&M5ToN{NQrf`g?A+n=z;FUfphZ;pOdvn^#|VFix^7T4^} zdXhh#H|QPw{!8}XSk;XQ+d-`R!_95&XE|>r79r9m^H{j{-kW|?Fp%shp@~G$N=}we zHjVr(#NygTPUok+NP|~dJi#*iE{w{_&4^t?F`hVVE9FI;@V+e9m3{gYvRCm`;Q=z$ z`8=Tn>L{U-V5}GZOfi9IQv@~4qeeP~i7x(yJjOgXgEl5pF#+sI>Rj^yMWO;qjwgOH z#pe@83KQFOdfUudaNP_Vixc|Mgd{@GMAUa3U%WXjn~1|<*{NU?n$V(Bi6i8vt7d{C z4b(Uaxvyl|4c)BJy+C}sw$Y9~J3mO+ z^>>W)5nWu0Za_$H#iD>;12>She~y|Zd{!kkJ%*XxXdlZL3}vBhjO$>xAaH7lIppn` zJ=M%|jGdE-+s8%;^92hMfQ>c4uIyB-8BC2ylOm>K(!eG|*fB~eo-nO(eUm<^7n8pW zfD=`SOi#V?wQ5thKBYh%WPP^uH4_l@JwYb&_$9BA1#L*aEjLE_EedJpdj%R>fp(!f z{u;XwFRJnx`1KR{Hbv1-iLi;0B&V7$A(1efNfAmg`}5xj%yTiX2^Lf>VgVk(I%D5y zm5}ExEYa!76Eh0JRmFN}c9>;}jd!ZFivlH^rn`{c(xPya+2RbhTaV(?=my-O{d#yT z<|5Kf`e<28HGIAg8OD84{S>S#vzrL3uJqBe+dQT_53C*#P%{_im_1RSBAxjQG@@Xa zw-aU2z{Qiz#V{B@&fuIbiKwrEt7+6?=JD?w=9hI+fNXeXlez@P3?&*P3T=*d3yUYC zT)dPahGVY15h-Rcs*+UC;gt+59~aHgw*$4*v&Fh3av*ya^~J;rhqv|{7$SC2>Q>_g*T2$Oc?z|OO@iN zi&HK+PiID_SBczVA}_*dfFldJ8)Ezsxp^dC`VZ0=jU+pyiDAd>8InCpkZdGi=ffj& zk0>7$Tj480I#DUi+z56%4f0o_c^MSnvIS3#W{VEw2xyJ>o3@f7Tu|CXEsG5-2&G7m zXr!0+M@F*kJSPM!+_d}6C+f8p*%Ne#*5sBF(2Un!f^zQs>4t^rB#=oH@RSR3g++yZ z@Ao51r;VpX6G}BmgtLuu-OnJKvOpRzm1z500NJ>qkr6LhI~yJvX;E=v*5Go0TevdF z&t)R#;L_kh7J0qoey&nZlgY|O05&qVv1u4DVR~%tGC0oq0#Uzv>%`d6w3d`FITp=# zZi@`hh3;U=$D)Mg?nW>aE3B9SRzAAQsF^WpvWllDU3L9&d0y3#l0^1C@Mv$iZ z>&-L-h1-uKcM5kh(fpAvYCR9GI{dFCo}v6z;iy%=_r6moY$>lAZ>x<%TJ5hU#Q@Ya zXE7h)2RlDrAvt>39EWAI0}ESr3%)e}m%gKaw;mzOD43TjBrQ^VTb;>#)9apEP>jy3 z!`J7*xSa{O?>x4k769(w-VRf6pAnj=1X_PLvVtxYb4?VMKb%U;+ll1hZ9eARSB1}S zJ+_xww)M}2d%F<1NEegZCX5X%77z-HN)V2IOz~jml1wbFxZcNTabx{)LqGejlyVu>VA6omyN`8 zy&rIKxqs#7=K1LB>gn6~z@M?s42u^)3)lub4?#jN7Z(HW7|2X`V+V(`8qq>814N(Q zRghqR7*Fm8Foq%YCLY|os4uwB1tA1HozD-mbb$B|mY!9iE;$%8g_Q?rC% zsP1ZSd*5!JZm$bfSVn_hNYyS+)S^u^kE@v=PwT9heA|Y{%YlUptFzX@Gb*wq|C~G@ zn5=qt$5@>u(fEx21!sjk1cE`y8=zYd)&20~R`Rgic`md1i%2VcQ1|P_Q>B6ub1MEo zOC-@K=FXMes$_?Yp1H#MiTL2X5L&P5fjW9GpH@o>ezTa?I&tsg!O=LXYp-VB@gE_y zckP_Wl#-=V`$ZWA(>y|!_h|8B&0D^6&DPGk*tDSQt$RDs7Q_uACU91D-r>b; zrMD`iW8hp*=eJPeg?0{H3tjO?GoJ38SlTZS?On=&_77<}a-)GHMPWfZ7zt; z{2p81p{6odjFX{EvB3QQk;uE4+an4KvuXLdTCsi6u(D?RENvic#%E<_$;r+qz-P^E z#$jnDz{$nO#bYU8X~DtAW6sYb`v0#mV$*PO@j(2a^B13;tzF3fdy9abpA|VjKOdVe z+{aA>T;!Za$$iK~U``%(?*F|-=UMXgQ2s*-cX7SyFE_#QTWOLTo`M>4fcRQ?QFt0t z*gQ8$9{Ia8H75c_G(!}AOo3MA{K<)aqHaZCld!#yer2G?kFMv}+#ImzNo$bJhWq)t z4O*`|$uMZWOFhB)ysC)l(5EAMXs+6WOZmqocnmbgpOAjUM-rJKZ5?)r+F?XI45usN zJ2(O8NG^%eyld*N$jFfAvL#%T;TkO0op0fuP%<|RO)D~P3gZvj@C{0x_d{^J7QI0W zcRKj>b$JnzL|IKewT<3n z_~O!5Bw#ppX);!dJ6cNYOUg?0xi@@Vw+{#Bkf^PK$dCl;&(jQYTMfZ0vhyKoAyGem z!qU(rdm0zT9eLc2(yAduG{V53&u86i6(N07?y(Y6PEEA-G@ENxKrH#%Oo1pJJXV_a z1SsJtsx=dQPVyzRuDALPYGXpScKOE!Ba_70uCL}f4xxBe`MNVyjX)?+DUuiWDn^C$E#%vQg_5N^fIWm9aO^S}7T z@c;!rEvEMIrFyAD6hWvR0Iy)!(p{-1#E07YuSo13yJn$bKQ`6JhsuZ&IZihVt0M`k z8frb5K6N``NeazQ6;Pfn-L)6|&Te$-U~fzZfmd=O=4uKGaJO=2Q_YaQESfp`gIco6 zmbL}vv+jO~$PB(lrDe^U>=9rlUP|0B|MeoHWsZnmGSI@D0;a}+z&b*8x@9Sq?5P{+ zIw7K=N7sjB>@cN8W6TJR5&cF+rgxTOy#5ypS}J-m2gP?Pq3!&jg&s0fQZN0~#A}(; zgFw_S6g1G08K%SY7Aq5Vx=<%! z@dbv2A-lW7ZVFy8@Hfz9+uv(r9f7$BW^(>56=m1qe9B6Xc4(T3XOR=6dhjQ z;}7QaJX#I~!S_x<35Ol(yr`wuhXJ#3~nQX?CN-OA$M{z6{{^JO9-By&WXPUYP5>M2sMQV zr_%|Rp?eKfEcEfad%~X+{Bk)Tm^}%3(u_n6Hu9f60oSbttv*f7@M7NgF_H|EiV8qdJksQl1yZa1*`sI#FQoj2%JdLr03 z&7=|6l4!%nGgMcb^4YY0*!~=TwXbQ#+)1ohA|*aziTRa>ZXJ>y++LU@{RhpUc&By^ zkAE0M;M&5c0<>5lXIfSJ>4@yR+oUkWlx@Wa)PC+Yl8J;rD z$X_{M8U;~2n^kOTxztpTCsJ>K6We^&7TU*aOE9;&fTvIU*nNiC{C;GN;GE&kJ>9}Y zC$`@)qH2bAa`U$yp@*SIw!XH_-GqD5CM!Nv;P_&YNAe-`KlP_azLxmsnuCN#m5zAl zd;^)@UsHu9uV_8{RsNyt1aO{F7-If;KB@tOL#uYs%GiZ!OoZ_Yi}=}ULnp8|Lxwyw z>MmIt{EbRSq;*Qv%&}ZkDZ@cl0T)C{;W>4b>!?aJ>-n7P(n_f+H|}3N8DC*_q_kZs zz&r6j7cNR2L){jra%0Qm?S~ioh|T=J&iOo9GPTkO;B+Bklm8dlOvY(Kl|ST&#Jd0d zP(=}b-fMiT9RBuSy>8`|kl{$;0fydkE zPG#2YPnmbvS0eAMg2;A)n#4%N;pQYf*hzlf`Euv=OuwiJ#-Wx{9m)&Fu-tQzDi5pO zd$1PZ9r->%iHM68L5}2ZutlV%XOV8myQOPq5+7N#%b#5mpKBAg7Nu_3xs00tET0u; z=bDf`-(TrX4dc@ad2IjZj|5(NgSWV!oDGy>o_^7OLf~>vWt||l`X|LS6VrrQtyDSF zTK0?^5QjUrvyG$wg0}RfBfFz{j9)N(D!=hal28INE6;IqSsNSu>s^tS@cb)n%g=S+ z)O6)C6=mT+p3nxgTP8@!aqs0yh-<#HEha3qInPo$AnW*aqiH8%I%~UWC!$&$O`nY+ zg8|}m>m5&XR=-uBEV^8~om=xW(PmIXy1#`}m&8P2Ij_p?0G=Z;jWO-tp`+Y~j`+gC z$~j%$Da_h2DBc8&TG~#>u2rnwrc2prezq16rstm{(M!UA0^Vi zTdjL;{fhm_vxF8(Yct34ETiy+N5V=4rE-$c9xJi6J?Y}ZJ~PJIOG=j%z%FQ&*ESb1> z+?jfMZqtsg?1BK$B_iSI_v0n?W_*j{(}gc%0|T;)&P`$IPFo$#@@Qd~$-(U==<;P< z-<#!wG|!UT&IigJF@A7B@eZNY-@;7ovQyei*}mi+t%krE^Y&dm=V6SbxH3NfGp< za!&cixc?`ox5&(~z2z;K(IO0P8q1HnnO@yp<{F)?*zLHU(C71m;A-Sz2gmiA@7CkA z5g+4Lvx|%;UHf8eS9f`Mv{PG$=j(QLR~f&L&FMZ$(Xwh$m2ay56qHSmRqVIRZSz#Y zRZJ9Bq`b_18tA;Z=%ruhcF9hA;0)#K$jU@f9siV`cFSBTI#|6cnDBKMD`&jxwdfEQKj-+gYne zm7aM*2>(P{Q+y{HX6%N4KI97Q|FPd$+bJ+V?;~R8?j?OA&NvPI*DRIyEx^v*5!Hl+^S?_=BG=BD)ndMair3LlQXzn@FVjl_z*IeS zy`I5+0F*UA)z2Fm1K^M$3JS?Uuz*L#*Fgzm6u4)?S|4}S0s!9{qw4oeumEU!6$K5h zAlSfK(_(PR1O={Vu;Mn-fMNi=Yl^N{Fe3#(qw8qU(%b_SFgw0_EU06Sf)cWjtPqwT zi4Ue*D1rm#C~)mIYdx8z6#!aUpg;vPcJPtaH}Incx<1F+1^`{HP#}2?%T@mPOXML! zXO;hCcdBdr@>~j{ycx1rE7qXBzsY{dM~SKji<+W#Ky#A!@Y!GV@0RO`(&WD|W-vz0 z@J04~b876EuG^Ce@#i77!5Pm&&1SrU@-NUeLk3HD7%3%pyMqxXl~~PYT2Q{c|%sLT(Y(wJ`0h`VofLqx0S_UUvF=I{gIPED?3QQ&t37j zD^2IR^F7=0l&pJI1;I@|JB$^;W?b>kLt(+6`|o8JTrOHAKQFWTVkoNWpt*$E(vCFE_S06~2v(m-IVsZ?y!VatL)d8c8onJvaNcw5@H<5WRUPydbGd;P)1E z11I?ruZ1r8K80VN5H9cG>Hv#d$((V%>T@oI@q%$3la$YI_O!d7yUA9M0icWn3d(N*l))ZHYEZ=K8_4K{s=w$=41n~`C{Qqx1$1<| z0gAhzAns0p75weu0(QEfp(;u|W-!Gy91Ip^h16;h6xgRlsgxsQ7E<4pZ7=D{Da;#d zu&LZ<++BC*sRC(;<#*)dzuzk=-7WV!IJ;y<>l-HeVLBsZ)SryLpi6r_`6A)y%H7_Z zW6CRF%G>_inVw}i7r?sk&75v0a!FIU%qLxucxOi5TMKQjAu0!r*o?im4$l+%h`J_M zAi~mu|4d?cAwLC;!n+pdNA`A}a!y#i?CEFwEIfFNU5-BcUZrruTBzo;f~$&7PFIO# ze(4QL++6u?nCC4XDOiWfjg}GeHRrxU^w40qDqVH>5v|EnIt~U?mRoN`?9ROrX`G>Y zd7nq=5s3tic6~bKXN1}PoOa86N_~Wg1yw1ZKXapNv3BAT30nw4A~a^gcvAI3k-4Te z2Y+gV@rdEE(X06NA)4HkQ});OBSv1POKnMeIm<3YJ~=;FUIu}BIiaLyeAh=HE&;h={*3W6As>{vyYZf42|IDkvLQN(I~GYGGH@p))!#7D1~u+Wy0 zp4ygt=g)k!Zv=VYK#@^9+_cv_GPOGi~f)y*tF@??*kJ(~r|)J=F3FY^)7K6}1On zl>3{AB5F6DNESVBxj?+Qj0!3eWG_!kx9E7`-Qh$-YUGj>B?->med7(jl?*u@& ze%4zXfPf?<8XQVy0j+#-AW(pY@}B_Apr)T4c-b2Tw)=&GGu|jjwi4#j?~Xdi>kE&* z6A4oL9Y+NgFxKAytcGoUZx)d9?rl)<4jN3n8w$4GK|%X?coU$BKL$Emk6^7A52OIV zDSs4nlmh$mzqbnp-$mi}q7bnFNEv_u*|2v3agZ@m6db}{2bJ%g`m_kS4SEJ)>Ze2O z;bB;G{k70R0L;RoaV{}P4glm1!QgU<@Mren-R0dO_#Bw09sZ0T@U3%~|3KSB_K?%68I87NT0m<9ZrZ3|9jpzFZSb}T?ZAvgu!V#R{m`jnL!T3^4y+Fl20G_Wv*UMG40tiV-@Sr*qAt?n8+KGa1 zYjhBj(jbt5hHA@^10YWo2Bdi02JTm*!2}%^5b?wrOs_$K!B1R4x>^)evxhhY-#*6F zlh;cCfDrUV2gwfIkj0}0gBu8mg{1_9r9{P~q@e3f2p%P7A!b8CQ@xwccD6pu!cr0^ z$EyB5>P9{`K6Y@6K_UAw_nZnzY)hYUImwB=8htt>XKU+9I!cintk2JzYQdY@ z__VD`-Y(c7^lgM9!LQ`I7IqCGH2NWKlR5%a9ca?9mb}BYpHo{qUvLTX>qiUE*G9LO z_I-Qym}b{291bWp{4kT}EZq+)5o_ojUZoAY)( zDdz??L_LN{7YU>@58v4x^&CER2wNyLU>n^azo-Au)8PZ{WmC?a*-uS}@2>U`;v;W{ zg>XfTb@FWIs~41Bo9${6W8ZaWa>q@6;lGnzd7rLNR}izGK!<-6G>j$Yn+_h?LkxkW$WN!i?T5n;Q*$-;Hr+Vj!t!rg|xWFt5TEqHmdW| zxhm{4XRe=VySpp4$WX);|1zhz+sVB3V`}rj9A`nzsH%nPE6m-%wbX@QYgw&|a@HSY ziAJ#P^AG1&EiJYT$~-@89a3~HI*A;e;h#6Lty8-+wj;;$O|L! zPF2Tz3~7)QVC`&9_Jps&O{-<9kkN+Dj4d?a?ay0^QNO&dp(@pj0M;(MEAMr>@ z1FHD%WbqSjompniPRj_Obs}WBuU8&GyQJ{z)uvOSY=Bcv86l_ImV$8+Bad$y?K1Bh z8Zy#K!c0693cK(5Iof$9_6%zMRl2@Z=yNBd(ql}zK2hJ0Z6e8%Z&d)KAp2`SvpHsy91l zw;uDNy(Q6uq6< z2K_{dRDN*%OB(AkFAfuQZP+&3GL;<#&!Fz(=ctWo{@utc_GLLT z=BEO^f<;6fmUw_oL@hw&p~hdsP;MP zQ&;z4J1wI`aN@M6`w~C0!*EXRV=fj_S^%`!>{yqwTyXPx;}x zmrCrrwEy}GuRig6Fs>Kf##B`>HxzgEZSgZ+l`Cg;+1dDj?Y=pAH9HjtsKcOgdgkLt5( zTBv9ZzbFPf2z5?8UXCR~;Kx>&YH$@j5!U*NGqcdcTX+*mRy>|2WUl0i&hSzRyWXN1 zz8Q$QiVSlxCX4GbXk@i!yAY>RL?6X)m5rmO(t4G+8bVpg8+S_vP!{%!Y9z({xNOLF z1KA&!ws%)8lMZuM2V|gpx%#jMfo^}QH8$anJ&h}8sw0z1Wl@D~whQ`Yh8K za8W9}($s?}?8*0Q4Qg7UPL;E)bfn}4g_$*SEWQFBTjxm0=k{4tdZgm*=mDxeF(rp0 zwYd0t6)|?B@K>fKJa^|sJHK&L;*DTUONc0+=ur9JY&5l@S)wSZ7Ky)g(MUy=zGX99 z>_z)KigErsLop2ZuSQ>MHAI)*E1u6jY*$ZeTI%GYY4Rx7CMTtnCFM{>3_t#yiVv9L z4J*`}$mChXn%EZGggi8k8%&BB@?9ky9;YhaIk4Mw3c%)a4)F6&a(n&?)BVki4Ql5} zEu)aytJC)s!P*-u-Pi)?@QNs+n%@v-q+iW_P0JFbKpDFU+!r1xrEW-?t`;kzkP2hk zVksDKPC#j{EOUGO3fo#wx;(qDIYyZ6e7(#c{z5tRgZ}HM6!wz{``L)w1ORE+&&H`A ze+Oplva*uJ*k$|p@plHZoFjzON5En58PdTp*(4&SKTaJ+JrUv7UBc+G2hYlX_Bef; zl3r!Kdfx`k96Z3*&&NQ?fJ^e5_MN#;1O%1}vLkgoy*1AS?GwoJO%l!N=PR+DEdhRg zuibT`e}t6{S_@v5k`l-h+E&sKZ+BiCN|?c6f!x=J`>KC-z_n4qyY72jgGxWf!PuI; zR{6W$B<}aEs~($wJN$fi`@33U{E`1hhncp4%kpxo$%BG*>zc?rf_i(Oe@zT^ep=Ao z-5UMAb+6_9_K!7omwkzxey)#w*PxF`$h~gKymU3EG~rJ;-M04~uiwogyVslocWw~-G)o;HI;{t%LKfyJG_1UAomV=-)FrkP~OK%cByrV{$S8LK_d5iS?Q+_ zoDay!t@~2WDsMh45M_&ee{PfVMc>c@sl2uamgOS)Eh0U4U-~WDi1V@&M}u+U8PTOL z1hzxulSarjtHmw)+>n8)FVn+$TW4@TJLOsNKkyx0C$Q6_4VWvA4t$oqt6DwHE=wU^ z-Cl~3eTHc3JQMYBIv|Ya+{$-5_XiAeNB$%x)|8=iqFXXf(PHLtB%jhT9Y)=bO#}|@ z_p#19&&~vP3~5#BO4`EgS#C&xK@ZusUv8si#V1-~Efs?Kz@-t(!{j^K zuRPTr1jsG%%qz6>Ql{Jw!5i1b{=EF{9QF)fNJfYQjm0a$7r$*g!r07rZ;g-mUcS`{ zfr6A)&)5n%)+s$LbmH^xOg~UpxD-OHlhzP&WihTnN&Jh5qz4(W+VupN;AEL{YftF7c_vr*%tlc8NU>hg}rcjm{Qzj@%s1O zQh9pYpTma=FU0DU-LRKgYYfis!Us#+ff` z&&|)M{PaP%Ym?thogxb>m@E>wsyMet5V2lCGV`9gweq54D5{NODumw;<$v}d_#9Se zec6>z=jh8C^#5H|L=WVzt`E1jlEiu5? z3zbkZXPf_>sP=mQHQ%4PM@b(K?$*V4`spq9h7^(`n6CB~vnaE%vE-tERBIjhTqVqm zlNYbO9sQL@*dn-&uc&C^Q}-^JkI-NM*3}yfy>3_e$M9!#6sb?@C0TdxKMy37rVAML zPLHd?;T(eR;ugNz$J`PLjKF0B> zPGq1xAbVz#ulusJ#f~2w?^%jm*byD$Oe)Y%`~n~Q9l-!(bZzZE9Rh2s<5t2d#}rRCz# zy|FrKf@@(|#c5>!!JdD?V11S_kW1`LNy3P7rl9Z5WjDGl-cnat*(#1Iv8!))QhrL` zy>wS^aOKm6fX12lHkN2#U2m^|@Fr30XVbK7^NLlhp0}5Cx;0lTB}q2NHeZQs+)$_B zPm_ijnO~FA)7M%2Dp>}Vvs0C>6xMzbbJHMru&X=PZnUufN?X>~`ZrgF2IC?vQ_V}i z?H4XXBt#W9+vFM3_na6?He2Lt z2S&-LSw2Wnk)Ba1QCd9u-hiASVT{JkEqqSLgn~CHH;u%rwJ()CA-0?UC@f0yP>t;6(kU*KP?TGh96%YS=b=3Yl> zOdi#I`j_|#yQWM{`v_B-Fq~ll4-Z2)edmu`^p8<$rVkNgenl6LdI-{YY^JlPd$;)d>IER}b&}`i@m2+Ha75a?z#kL&`J_QgUxPWqHsnECAEWyrO|j z*q50{Z19??n{=^Wr!h=<)n^y*78uy2y|*^+8XI9YIx$$Lo9piUi?dYX?sMrj-Gdq9 z3Ws0kE+Zm|ou9=m+uvEtvU2_D>}`BcQ7Mn4{_Q!nWV;=`tUeLea7oREY0qa(NR1uXtiJpg**sQl^@mt>4pCCW(1vLtnM;wh>TsaegBLqtj z{hF*kOTCjOzk^;&=1+}btL?ik*p&!vp`WdvuF+b50DdtUxS*LO-Vg5V6L44g-I#c3 zvmp>nNBFyIixc7I*ZOg6qS|2f4;^E_`x$HDp43~mWQMJoEcg#dJ2H&;?zH8qi{B`@ zcs8BCaQEOXA8D+KbCm4Z{>wXNCZBs_LQwNsuQo?^9G*u$cls`Qx6$dEK{^R8&Z+C@~Xu-0H189)dTyM7`KYhlNMv>v>c@LBe^8nXpgZv{(g6KpO zUE;Qk`>OQV1&CKw^`(YLn90raUXv~Tp-`-nraqbElEQ1#JcnA0s|jPQ#n>vGe z>Gt<}rDv1C**@jULTuz~R+rD%p|xk(6$cRo+tet1cqc)x0g_OnG*@x(}(j>R#`SPdI4Z!k)UNX}IUA zXSnCI`^1Cxv;H9NPbw<%B@Oujx20xu-j|PahO0()M)if#U(=c|-k8s^>vnqd!X{yr zw|1Omy}_=oamJA763NE&89^-a-UTsLhlu!6=T$XwiH7E;xU`ay+dfe7U4^J(;8pbZ5vjk2hR3u)l>Zmu8`fJR9NB z+HgBFcK_)O#w%j6%{Bb2m%X&P=(6QylAg91elWSHts@lx{~BH`BC$ z*QpMss6yR-hPW*9k<4AajH=-GZ3y@JGJ{_~gV7=HZ8nv5iy@(BB}WE}Ou=G$C& z5Jy&X>X&B|If9>beB3yVBt@TPW$|X|-qy7h?G5lRtxxp&b)`E+DrFX1?pzah*!VPO zYYy+T{rtv8@NI4Tx|tW~R_W*iv$iZN|5z&xMc&0b`Asf{FQyQY5^eek^n+Gok%egmGm7rJ7RS(MEgg-fbq#s zZU&2~zE^J?e2J+Ii&FIqn$1SfIKI5mo>@YP6Oq)$-|Bn%eg)|H@&IcY-d(u)oY~MN zi22eUzHT66bJ5qOj?9J1&55k<$*E$$0+VK1M=vzr{L&MaF_X1#3t6UlTa}vwSNOZ@ z#;+PaYw&qiF#W8c`5DiW))l1Pq8+KaSKV3R3zy~gloNKvvd8@8bG$$HoO|=&X~Ppd z(kf-w?qd1hf{n?99Y0pev8{w@qTZdmySYbaNhx2|GRx5RJP3Cv-;T0Rs~k_yz3f`< zRM9g=Mrrop>NJP#e-46T?IT+VK(9C+gL;fAY}gwA&j z?Gb*oP2aexvPmSbjg3pg+@$Wc=;ZxqF;NefczNUAMWj=?%glu&5L*!;Up#hCxza8k zWK+Prg-EfF>MOk7y_jxhQ@+3*L&YyWS@AsQl0Z*(4=V?)kK#MIvIm8$4rIQ{w>&r! z1l>z`A0ra|8aI!qsD+>DZ9jT;MwwTbXaTg7Ia5d%FZ|mbpO(oHc<}pN!WFKO^9NZH zmn?wIhXP-0Wf{G)8w#)&cWG{O4ZFoD#URsP2lJAe`sDSDl^bZtOiNvFKAXg61K>6(SFf_t>e>}U0A*<-Z*lz zGvmRg6Qk*c`ajq>C-!);l;%SzF8cI@?M7a?r zy{GbvTpyLV&)3UR?bZZk?h-! zQ{U>N1(SwS6pccLbnb^r9ciNX ziG3Xl{++8E2h9hOR*a8ww-&M+w{$m@0=T?&FHdV#&|+7ZNzY-&%~r7@B_(0}n%$os zUVE>pMIv7ohvMM+`sA0d=l=M+bgU(p9=uolF8{pw=*+?41fN7@*V>QS?<=M@ zW7&N5hdnpjJu=&hv2PBSjqI@E*W5y1{+j4!{M>TrafJ2aN$d4--0eSyPy41l+8q2m za-;$@%?QsvJMmq%t(<~TXkO|%GF@UcdPB=G}ojlU)3c)xPK zzZAs2{x$S*TwKs6sg8u9;5GV$cHl~gB~d>`cjL?#`Ai?7#~eRw?ri9r%>iuU?-hB_v#_7=9qK~akSHk)+ zA!iLK4qa7LH_0MK-o-E0=yJC0%i8q~ZkwN5Qxa4DxnQ_Niru?YO7DCnm{p{IbRyn2 zweiL%!DXYGcXvc84)^vFGdd&V2k1?le>7M8WMOKvD#>?$toCNN-bq~dvP*^gAZSMy ztIcgP!|Ti~?JTwAfk!hQTwg)lxn^s(riWXVA}J&MrtF_!A#*f}5!ZF(#;j%GEjpH znLmH;!re#Mo6RqDz4D$ms$B@0+&H+Gn#M#&;dEGN5*3xTpdrVKRvoRR5?YcCpil3)u+H|u!P2)+<`|sLJ)!V_+;j0mznm~9_4qmRkA18 zJT*9BwIDGbc&qm?)i=|4>7{P4xoh?az7Ip!pkc$#MfIy} zUj;O-aqB!QyA;1UA2K=PQc+i{Dob%^=fGx0EKjHJCAD;Mfx!M+x;Il%K*L;v->C0d z)ob)E>BP{4sYS-~DLy;2-5>YE)t=12mVYJalUc7h4!u2M}>5}{swPWvvG zJ6vnyFJafZGinco+h8;Nhc@ z!qUP?RP0z`VG-&7{v}`hwZ57KiL+CG`1X;W99rW@qB>d~v;5~k9bYr8RaZSd=GReH zj9|21wi6X?v}&~MJ%*T!V4YyE)rHctMpt|Vioe?JZcmT5HZCSC^@x?yd*$CgSnLnW zk{b&*i%jMuqP8cZ;?)X1IC!3Q`A8HSVbk6j6YAsp8IgcuWDg)#P9u?vWa@(Nq}z!d-l?D z3`xQCbvmBuA&k5FC=sz8)%y$QZ}}t4ev7@+wKG&M&{V0|u$FTfL-&Oy1z?0qslxh| z1C!U($%whxa8!XzUpY*MUSI1VT#yvQA;X^sl)8TtB~Y5?ov(LKSF9m@CB|+no!m0U zk&<5Jo{kz*&v;^6_${?A^bMR!E9nvEc4Om-We~SRAh7rxd2m+PZ(ac zMA4dl4A1>`KItW`6hw%xDZ9M&>rUs!6>=3c2S07PT9sMcmH8np1h_oVdu!x_i1S=g zU4L%h*YAopOmeyUF@^m@3q|xY_R&WfXBccIEx4yqq<@6oUbPT@vL19UZX0X#z(j!g zTO;M12Ii4rqHEr_Nc{0zO0;pvWzKs-bpskg6F1J&I@D2RioJYJ8CON0EwsrzEbdY` z(J;C*pw@yHqYz?u@n;IjrbyCLCY4cDB7e2_0ahR14*XaeiUS zLLHlHD!Wv?*ry8v@p;Yd`enIZv#k$F&IOBUCYKcJm^_TfW8vE2x7B5#m_T}DsI)S& zzPbGf9T)!Ta))6cnF#B%I+ft>SkwsHO5o*}z8>x5_63eCUq&6%$pVG;q&{<0T+j)B z;p0fd^Hh6i(s22{cyk@m@-NxtKSdQD)cq8u&CMFZA8l6rU4HbVgHRWYNnXC?!9$E2 z+`i%ITHtLTw5}#hygg&PC8XFrBb8NU>Abuu<;7Tf|LYi(@mQKMJGuPYx*K*aKXXQk zLTu%RfFt8a8VY)^^Y8ZkzNUH(NBmk<*u70lNTW6Fth6Iyw_)>m^`?01`wnWgN(Q_0 z^6P4{AuTysk+)6Ny@};+83@h>w6NEJJ2NktI)l26=_X>KA{qJox>s6acxSw~+=xfX z%+rnbVp-oAZMA)dtPb(z0deMIaSk92QCZ`0)USScO9_W1X*ev^&n|sO10u)PkAod5 zuBU@k6RBlfG#S8uv8Ki2kzSqK$skWLmWq` zyc0kU4WsZmadvkAeR4nq`q7Wzz)eH|bYu_}2rGd${Fxz{QG_c(L=*%9(YWWM2xS01 zc=`@;5r9@w01PbkVTJV4fZKowIGrJSEO#sgpr7fmIP+A*XbB)i#Kb^BGjUkNxCk|; z0T`Tl7QhccT3G-Jr!bDN2jIDi3TTKr7kC7S;BLeqCE$~Y;$_>%q!c_7_K01a-a1Q0rwh5%(i z5oA>ipYue~1FaPU)ZlddJE*w?z#MCOoYTsH6OHFxsIUxfIu`Rlmn+~Cov3*r?n>DA zVDfvY2sU6H&m8~~u7Z1m9s`sBR9*#7hLt=Ipsi{E4GpazUP03}u$yBE59IV19=Ki) z^a4=)6L=sj`E-ET>R^YkY6r4^3fMwNbpRSS`4r#+pvijJ!?AJ)dfEujJCW`{!cSq7 z{0HJL0KJCIW7&=ygx3V1VX3kbwAA$X#*cM75Vjeh#sy5fu{qADxbV9;?-G@ZAys z5IP(|eXJH|ftDi?N6^zq#ECX74ki`yltZFn0h-h!jN80!TvM@d$P3 zTNDC)Dnx@G#2}7WIUp?#L47JcgQVjTe=&XrTYoYB@(>>Pf8=^6z@ulAkb(eIl8C@S zm6Ui%(6=PGF(eHU2|zdy9(@dNXbRkWEJ%Z1rNS1hNDG8+r@?REP(lPmkPbJUV7via ze=&B=fTtc~yaOA@@WN0eXTk%IWoQsl7J|ACVgn%KY;;oti^0d%eip8p?Z8RSt6AO9Dn z2PN>?Pbf7mh3EYfn?cNF@Xth`x-?1$YZ9YX!Y86L9QiZE0tOI04(Bujh#z=>&_ABt0O4btuK^Go zFfpL%J?3L-DIt}2h;Pv07<_l9K~@y(aQTZXLR1=3%z+urBf>ieAjE{AAMx-j3=_`` zKmy|k)M=D0c@IxMjj}VxuKy2D(ocwgcwU}>SN;UgkV&`^#`6IHU73cT`Z1pLGjMPA z0>TNhg12Uz2qq!q9Ncz7W$rxe9}ce402IA|K%Y>F_ZfaUPJ(L^Y~iN9A>iOj`~?Q@ zXbBMk8Gl8fVVxv909{^$-N17D*U+19u~ z2ZH`MTz)``iJinsWoYse-ZiLdA3+A)Lm*E(5n^HxAdYu{8$Un*0OSQA|6*5(K+3B8 z)iwUpIf{v$0`(u{#KcaOkNJ%8opRG>sGakI?}x_)4bY#~~|jxbuY3A|7~S$+4&x(%^;L zP8eO_gT0(GI&cv#iH;+uCO`5oqvNo3%qUERt^hpwgwYH^_|i@o4HJUhoG?lOr^r)A zg+$@D6GmSjTgQy1iNjt_5uJd|6GWRN;5Hc1000t`gy+s)Lb^c=Qb-hJEsIoz>ZFmV zllKv(H5F2jfd`-F`?r^1r~g2OL%WVF@+6YZK}E9g<^PSO*C7u$jU9v94w1{lGyZ}4 z1yWaphn4EFLQy<;1E@$s} z4e-@qS8xDj$34+NA^^xq9Z7l|B{%=C5cmiMXdq7_=O*NdfWd`n|A?#8L~fBnMW+8i zhU2HKvgrSWPI2MWK=~hz#YO*@V{y^{8kXxS2nJc*XVf6LHEkZ=OravCa+65%B~VXiL;wqWLNL7f-z(Dk#4k^s~I z!j6uS(@TY&=cFUyMV?B9pIlo8G6FJ6Lt;*nbuI)?g_&}KV$)$lV5Z(d)fwC*Y=m zoT`wQ{=ZsKTw3^qiT`3i`ZU4*i)G@{r_}t5W#ZCer?E_^8dJk;VjY z{r0yabVW)Ci5=(As{lem=;Yy^MluQL{v`bD;lhFtu881mXYg(ZcxQu<9kjU*uUfkw z3v>&>vw?z+;JeaqK(OKV06ducmjE6L{xXV3NC+Q$17{Oi>d`(luyN00#_tZx6ibAb%5 z=ZWx8$JDg|P!lmc`frX-gVady(0{|<9a6lL@RtlVpN0LLf)_~+`#H|hMig-GNeKy2 z!qy3kvQ+RUu;UW)Jqm6*34|SJcgbCne-ZYP{1DlH(lS z-x89N7VbRB&?0oObrSvF99t(D8gU->0+SjJKr`pzyEz54nE~!U-X{f#Ux58&ljE^L z11xx{&;>?#_-U}KV}i&07oGAf@W|^NcykcMf_ED1+&S@XK(|=omHAsXI)h3IC#beT zDjdfb^KWwk)WZoow&%es0U#qDyc0}^;Y}#a@Je5~<_F44tADFsvvMeOyi+z*yL zmRuge2SGQS`<)#e((uz}$I3gK7ImE)i^fM20$x2T&(z}H7ftm@ZFrhoXGn9itig%5 znAcXP*yqcJtuF`t{qyX(9wnVYo!IMEb9qEE#w@d*4t%_?0%Nm0Ym+xqDpH)joh1=X z#sh$tv9GSZF*+ctaP?r%E^9E-ukuVCHf~a$BEwJ`mv=kOd8(C%h>{=F zlVjFI`G;2VvCAkE=p_%QI&WaZ^~a2)1j9=n76_nkB;L*9p3BbPJ8Num%WX5Q^0jQ@ z#pWzE&_k#^Iq?>nLl)@E$IvT|ykt?aEmL$DcI?_76y=S$JLKtkL@VoQvgiY(RO zi8~*MC_^mpozoB*I#@KF~_5UFPa zm6cx5KB*WH`xNiDiT9=pNt-KXS=}v7R!Lepyv3c%uCDiudyY60Z@hqvUXHISGQP3I zdpbEh;C6e{&?og?+Y#bqu>rbFkSx`8BfRkPs7Ye@Zx`kI`@3cnQi6|E^rYg5E;y7Z zn~C2zL%cddPQT5m#r;wnYx;i3=NI{?vDpU>G44L=jaY@k;l!6=syqZianEjkb5>4f ztH$V_SHC8_K6g$(H%635&e4%vYz#?I%}V@d*x&7SjM`{DK{0KnUVOZ04rfj(f-#cw zmO?qfc)O0G9$kXNaKwf>?UA8=>{(sTw~CXCy`DV0gCNBSnPw)tBGy;zGb9wPL&>hl zhIXuz`KFlG<@(O&VeZC*ftPe~8Mn^|u;!;eE%>Nm+uvzqbHf(TEHgc(q=ee%T|Vxj z{h4xvo+`~q`dKM1M=fOv7soV0F9mMR&bLhzFL=pHNCxPV_3K!yV!n=ERYkoCT@U?? zCoR=X!i89Wr$W5wSaTk$7o2z_x+K8M$zz%9RS_G-Et`axuTXejI0ajRZ9Kbrsb=TY zhEF1c>-X2r68Q(@tDqJ$nj+OC*~b(a$xxfV>2#=w z*~{lRHVb1{*sFQPy5=lwJgX4wP9wYl=IVMXgA5beUxu5%oUe$Noo+k4dbD}yWw>r( z{`TwEkN!&O3v$_(`zF}+!5T}w8p|Qpsg|m?%JuhmJVTat>ZZGFd$vZI)<*{=7Z;X3 z-upc$Ir@=0_;9^{)749E=0)b}y}jE93!iTtB0yWnVH&DUA>U<_&J_f9r=~-os@mN4E+LMH%SF(u#E?%Og3X&z={oO zmeel!btxE5l55_78GqH$y#?1ri z1}omtiq!bEYQ!58q|$gnr$(=)1p4*ys_Z?n%Xwpw35;?_b3cw4bq?i%{k&ycn_BDT zF9ljK<;2gJ+rEsKT!Zg_`b85mame_NSP6Z$boGyce9>Ax&U4=Rar#C}>@z?`+4@7l zwk(~QmYi$42i|;Bc?p9hT!H7@2RNl5aTnf- zDQ4O_DYkP$tCYSZ^@{lZgR6oh4yH|yJS;Pef8x_ra=(3SuQG?y*2mQFf?BOLI=nl( zUiU;gc+nJJJw6yTb!1XT$j@ySZjd7{ldJ>AM$pkh#3PO{A&14DOCJLd1$R0SDBpa$ z;y~SJ(+;nn-IT+&*XQL+@?-EsUw8DV@_!8fOhn~7(sKiCM{n>W6yGwIV)hYv!wq!F zk0ttnj)TtXp^-^Y&LN!)ON+tv)(cj{u6L#EuWJlvcwx@HwCQt8cGlne zB;6FeJp5(YKUh5I&rO_@YSAz`OUR_jbF=;EGxjCXRv5VWS zx?C%`Ojm-u8M0f^TC)i6?V8=n+j_n$chBg8!-052lqdaQuBA@FC|*vx?V<93%MrvC z8AzesB^T@~fju~|?>yxDz`@oTe8(8CFO5}o1^2z}47sUOdYoLc%LhQZgZy=Id638@ z`5wEM)32R=s|iRa7=6f`O73&(<>>kG`{2t&FFrHXC7!$>aIm%4Vdita`_J<2k1z2I z*q-y`@is9O{u<;g_4ZGG8D06|R-SXWLi&Iu=qsde$<~C8bFf)l+41o+hdLHT_> z^y0pSKKz$G_FOUvHb3mc5B#2og4^RW#BJl}$`XS=*^-Fe?xEn>(+uwCeiCHGbGblA z(KsS{j_lwms~3yrtL`*68@6QP+>yH^{PS|3*Ys=eV@qaJYYb=?R7o6KKQ;eI#R{1` znB1q&8(Ck%zE}^4R#^~5YW z28;9b4_q>b$-C@@NwU^x*%^JUDQkEFE`=qQO~k9)bYUOx1mw}qxc!;XeSS3iQSZ;2 zS6h)H8f0!0dKeQu67)!`aPy4e z!{CseM`EEVU$@y1Mg{>&MNTQf%(J~V$%(RvvLFU-;)i^Bidw$1k+BF6&-y9$=WbXW-^9VBUI7?=+&vBVE4g{{1!G<-ahITwwd3KPb> z2jyS$GVojGsov>ivHkfubV04mj?VYRi_D>&voFH?KaircI-tjNLBy8w)93<*;v=0J z`);0EWxEbaCtS>%mY@8*v28r8>?&ynA2VlsYU!hx`By*tPpE-3g%7#AX^8RDY%Gw^ z11ecrGO#tuCAS%yxmbCJ)94)Q9b(JgQhxaq`DUY@JoNy_T2H}pD0mR|L#BzLR)Ft? zqdrM}Git9R)xU9U%Vq2izO_JcC`yvv5bayxZa`&fim^4*~Wx_3NS3r2`pyU>~OIX6vQk`dW;k-hD zwzMs75`w#1aCdii3GO-*f_s7u?(XjH?oNQf1b27x z&2#Vl@&5a&&R%V+rRr35oj!Zj?xj-|((D@T=#@8X9N$rZ$ zsxljqLxshLRWgG`S;13lLA)j@=B34zN%9FG@UEhHW4c;jP#0g{c{ws?yRct5dFz?w zFTSJu3yM*X?Z3;nnS!p3I^N^!t$t%_{@ksS(_fvL?Wx-At-jogNnU4wU3&tRZygmS zn!yh9s$&~#oe9TOpwhw+;^a%}MU7UpUkATM>fL|%!a zv5vfivU<%T%XX$v;sp8zjd3#r%;wtmSqgK;}XJ?SyUHQWSiCp8WQ zFY=oVUvqW^{4&Wg$+ej4O??Kn_F@T2`8cBJUOj;}NlJMgj<6(x7SoSK6N-5rY4k}f zoS_K=^(RMyAo)Z_U9qt|y{HrF5leUZ%>POo12-ZzNwOoTdADhwk~$?`;}Z5$36eUg zNqxnR2Eu*%&Yh~vjM=hJAn-3h4&K$Zsj0o+={YlNRaQA`BPh}=>{ma6Ul)&)wz*iP zj?IAfO^aue!|EV%5$-|xCUhDl3ddz^4X(=t%?Qx+=k|EMv=}9H+9^-Q)tvy_oJ1aX z`LM`lD}gqa1b6C>E!hb)JV6B*aWXSGTgvEiVfc~NW@`TWwR6_RsKIR-LQ+n45eRSW zf0fK)iq4H;a`Qgq$}n`#Vo9XlZXw8csD8N3>0f2vFF;lXtUQXCnMd|Ps z8W*5Q?F;W4|B;(3Qksq6P?h22@7ezK56{(X9*Dp>q4EdvKC4Qq5LxyW6(lqcxZ97B z+kQ;mjo!`|BQh;iDL3U~b(yKjca`!^$9f=)9tyI}Ko|cHH|+L2o%A)SC%*9Xu|IWO zl^$Z!wYE~@NiL&!4@@MmWAgA2FXT{$u$Lz#xp!MK&!6Y^K!kKSI^6TFYMZ?tfbm6h9Z9tZz}s;lTPkXI@$ zRLN4wh|Wl;ICM=1pDimiT5upoQ z=G!}Xh6^+=m74)Qgx;O;&7q(NhOT@0>y~xCmzO_JeZeD$Er=L7{RHb?-kR(LKY7IQ zZa(NZ?@+88K?oXQ(s{+$mk|p(mQwC__LC(wxicfzHU6d`oR1Xd@-%Mvray3-WxCn2 zv8tn@m4Is-#@pOKcau!A>975urAnHdM9#A;Rz{*0{I^D@*SPY6bzKcopj%J7qf0a9 zNs*vy6CKX!q<`@Ky{G!AM5&xd{Jp<}bo`~JVInW!F~$ge$k_lFhq_dWKa_R^Bkp{Y zrd;=`g0iW{@Mx94JaeE!|hj%HL|6M4w5WiHL*DuJP8!^L~a_zO4!badP>O*nh zO+07m^mn1vUoyA}wUzrIexj#O%-04y`b@?RbDw)`3Zx#SNSL*^8t3u@mJq^&f~xjg z_lXnezE@et%k*kCl2AEA91g&uCh}>%> z0}N4YDzsMC?3>COgucFdUOc_koI5xIc|Y0g9eHWI!dIgqs8*~yOK#b7^WFMI{hpp( z7zd&vSxGQ?Hkcgk*Jg^37?=ZuC0_Pms&26#7u$<$o1EzNrwT_SgdqvpWOFS>lgpGx z02-c*+(H)y}1l(_7*z;*Nn z>4?vM^Z1tFR9Po?glHS=7+6>r%o>k=(j#j^FR)eB$((ye3D;A6d1hH-`-1i5s}+Rx zuHE3sv&XDv+u!T;Br(TX12f;~WfOA+$T!$zg6?`&B9RI*_(S={W@?04?JTMg_dmhVuPbPJ< zj!;D;o?k<>>Pp!UV}L5jXQ`k^mp;Jreu^CKD)Y}_TaQ#*`mo`R7Tcof<7 zVio-w6jQp(>wSNkr?dERE3GDJ{X2KL-DEajif&1W8C^t|G^#xbYfB-WB{Yk6NP3i4 zGhYoiX)$rUlSb_@lP`@oGhucUgj@X!295BdIAOPBo8U5RkqKm_NJx9EI8(i1Z&dp} z+{%uyO71^k_>90|{lc13Keb40Bc`tDuZuU^`Ur*f|6tl4fH7RSG^!m&RPn0<6-S#2 zgFW_K?fd8$+mG(GgbJLi7iKx>P|~`1Ha}EnU_2nuGNB?SC;QbcZ^cjk52&w3W+L@m z`{#x9fetF_#nN`s%<=u8Xs|<{=)f~1Cwb*AhCE=$wDj-Uponxud^~8}w@_#Q*A^}! zg|P4QZTL$IG9pQ$Yb`s`|0H8$Yd_^l9o7dOG-#|dIM_EDBiF(pQhc7%`Fz2J*EaVK z?@7Tshk)65_j*Xj5GlypP+Z@9Hg*cN-Bsy@s5?Q7*Qqa;M2F*W*a~5@_5X@sA`b{h zu#=(nY%D9G2ZYypR^-wCbvsMwA7=3MWXQZ`XDy(YIcX8C;R|*uNKrjU_Py_h-=W!%_2H2*BOcnRdtI;n-`vGvrIuU17Gie&AWce)Rsr{ z+KaN#5%jl2_3$B?Iyj732KwRQ`-3dXZxMjjPAw_$qLXiG+*In+@Qr@vsRwD;-EGCt(gJZ zt!eas)1|3z&GyvLwjvOe2<@~4B_6{YHnoRTXxp^fdm`&p8TV>ca2hrV3}{VcKdMX? z(tw=PKgj^9mq&ZPB>FC}HsNo-JwH<1fs23v(lj@0Bkddoyztf9qh@iQMT=*m9~l>` zMva}e|4x`Bv7Fg?1G|G&oLBqf!)7`agP|qm1)%^QPSU#H;|2RHE3lXgnt=WIgmR{9Oak251l!=qs`mxAe~+B5;`tp| zk-96aIDFK2Od-oK=Mr}Ca)`=#Os($N)!khs7_lEIwk@lgE7mP5&~LZbWnW{$ozQVu z@7%NKuvnO8rVu0r+rN;J$alfTp>*Y0(=AE|@_^3v?#rm9v?n|l`|-fT0u&0Q(Yv~5 zt;MPa_M`;%3c(O@M>|);(%6qiA36N)t}DUnMqOXC8QaAWNC`GSG)d+)+q)Q+R?RZ0 z{U03qZWd^Jf0r5}S2TfpESY+Id`LNLQNYr8HBf+?(nwdB%Ua&~fg^Q6ud9Yz1=6a` zr!zod9ItPyjbq9{IT_7wqZ7_M5w7w`Y^o<~av2)Szu~H+i)Jq|lhP}#`X4CU5_gQX zE)#duJjCX@SemFamiD?6ztNiWC!W$7%3ZMSX1Fc3M`=P!FZ%eupq8WH(yhW=P_Lg? zfM3mLbo)c>#&Zq@!4GsO?ijp(0tM?Mbw@4*uwQ{5{YPEF)_h~vh<04rA(2ZwP)X?* zpn`WU?nJ2Wf*q*`x73Q>>MX8fQ*9poy1ki%M&nXHPqA%9sH5VX_Ts^0u1T#PGi|&5 zFJr0g|A-RP{b9|EBs`6wTdkY;_JUj!`1S?DHg`YumCr!|?gD}C?%aB5bFF_J=DZ7~ z+5gH$7jlcJ+=W~NvQ=~`bH2mieAd-G!e%)v9R}B38=4Ol!dGflb^XQm7^O8G457G2 zPNfb)Vu1^<<_k%l&qk(LxKkyS@ZGK?GDjJj=i@#Vz_E=2X|lZE2Tp$ys&u0tVw%)3 zG_QOj^x6g8iI5fCp?;WWC%%|y&OhsRU}~QR$4YHKu@!*1R$YYA5+BV zxzl-sjpwNn5r>Og(2;%&&2x5P~W_b^1YN*83$B%MC5zGd^4^i<^3zVdj z%^;b&#+_?qxx0;UV$*S7Ds5k{Zhb-tjLv4RerW_vvnZ>j0iTkF%W4D0PkrX>GKb2P zA*9Nl>-(QKI+8fs#nsCJLW5E261%1rnzpO>a zk6r}LN^P7r!z))=NP8}s)_t`?U_DR>65w@l~B9D1(LyVdjGN86Iz;G?s8y^ zjINrGdidrx_Z@Fsk1{zgU#r)af{qyLltr4>WU=#sJQ^QJpe#kwKys@(7u)}bh(W(% z%gszd0&iehf0Se=wgX zseb(z=n@Bp^MCa%@j-w_s2uP=fvjCHAR4Ok`%h>^6beX&g;M&!0P2>-aDV{RL*0TA z3Ag}&Z$bbxEnngQQcxvII5Zm{4?u;5<%CLXzqIuI0(8NE(INq;zetE%3KIbvFyMc& z&>;$w0i>{C`*>(}4-9~cSU`yY6fjXFfWCz<4G;kb1||R3lnKE4PnH0N&cxZmmVeqTd_Qr$jc~Z;J{{o*dHL{y z>cTp{ba_7we$wRGR)j=+zIJ&%mtYzAS`eg!`pKdQ?XjS|u_aYf8({%{hp~V*W0K} z5Iod3BA0i)EO~ndbYf1m+#+0(eY(raL9@iU?HUY2_S4~ z0Yw_>N{>`DUP_iQd4|;^_IOR=aj_Il0iWbpFURrNqnzCH9F?e)tR*b8{IHlj{#qlST<*Qvt{{EIpPEO!iVgjWZ?UA4MNH+FlH-JUkm2!=|tYyx*1F zv|$fTL18f7O;Uj5zjA*G6%R^3{U{+K3vJ`lklztU+{fUW#i|VQ{@j3_2OIL!E46=i zg)jmKiOVHL4bwI+Z!Rj)9K`mh5l3iY7uw6GuSX2eyaCe7#8&Yz) z;3x8fzKe#1nPAZu@Y9A;QL}xfEdLtK#+@4@B}cl!V2=-jNyYfFlLQ2}$y83b^Yc&Y zvK^g9&a}BWQZ!88PPOTJ?|`~wAz(zVFABj>q3mb3B1xgOsc@}reW!0Wd@*NqD0T>a z1F33BaT(tSyL8`brjL$DWy+$N%0*PYt)KEJ%fZ1Wz`$@^$p9m?7A0pERv8cpHaS^- zY@M`MRfL;T;XwdevNlN4onUTTEJWj+@|Z)-+w+cP*{q6@)F*rv`gBxUeuGuac)(lB*n{U3)N=zGF}j zb|`5s4s-sclp&=R=FM?s29XEpKSRkdb$#|K% zOnXEB1a>ZWmEPntwl8!E`CinBM|9uRuq&#nq{gtBCCC(tOJ}FLl=5BoTy~%IdEny{ z^pn4aP@6L=fQn7Y^g9xC0h7a3+;2Rc&ytGt9+7lLdX*@npA9|}8~E#e?iVwnysc>9 z^`xV>^t|wG6T@vMmnpudXh?nW_o2Mls?MF)mvb?c%~w zFziMrtl2x#a=4?*0|zsK-S!Bq!vwE3TZ%Or8WR0;4t}vGL#oC6GQk5!9@1CxO}qZP z*PCR6puLkh=J!@c(CYY1aRsHQ^D2&&*pF?!A1AW9u_mU2Xu}msn>mWp1ZU|b_F!IW zxCHIpSj*ixgiX)mx2l|8`PuucwQRfeILublPQb-LVo?T{JJt;)gB)Blnv=c^W>Gt+uxU+SDj^r)I+OKC z{n$=2{fON^jr|(O?wOU^T(*?5_GZ4`ysFjVRkO~$tlnhMe8|x+v5jve+KO(igKXws z#io5u*QZ;j^@EvUY87k>xmWZSyP)d}HG+P;4$L>dX>IIW5G_=SFLisCt`ndtEJdY9 z@Jwzk|FhcB{oz>l$M&+4KPQG_S{RML#Oi{u-1JL|Le*h`FK2i5)P)dP4o{CJNV!@> zlY(snJS_vy1PWb`r0c|0*Y~F!+`f7MW<#E|IEB7K{@hdd6^z}{t=%|yZJ`>orXTRG zfD`E_UwmKd^a^=PNWqH6{7k+(wgE!jnMN*Wd5>NjIApI4!W-`g_p)4F-`p;CS@I|JT9bu&! z9`@;go(NQ=-_Q0>bTkoW#Ov}UuyS8okgp(@)Gz9Vc^OQwgRyAI;Uf;y>ZsJTe3x1R zgOy1$oCC2O-(~`t^6FJmcvEC(SEg&lXk)%K(f7iC1{N~GMz*q%mpxz7=yMZ?7LZtv z41@BTS3iZPaC!NmwNL^Yo9^f*kvTc`4c?;42tM*5Y*iAKQYvBb z$S9?%C^@GTN)GTh41`Xa)EH8#RTwDVIMa#hmJ)%V2=(t=8SJx2!|w9K2zgJXHUhRt^}@Mu*2p732!(Gs7#B?)l^R zXazL}_!HHCw`T5!(HG`YTd^-$kw}lc3sXAKjM-?G%8}sV!Z2Tp6+z#AvZF%QxEkbB zH4+a-6AJ})5V~S`z`|Yzs*|;R%%}J~hRqH$YNB^J#GdxV*Mzucq3XL_ig`6F9uQf> zu=c^rvh~u2`1wyVo?`K8sy^(-Nf?z-BKn8~d2E;{Q3GcUv5|Dlk|*p$NN;|1T66mS zkK{*}{*tU~54&(Ix~NHa)Grv9Sh~Ra!rP?}a>G9F*rL5igCx!oJ{EchLoWQ>L48&J z9F-SCmMGsuN)R!1Wi7=4PL?x|TA*>C^>6CqlqXeSdMi{++o!W13O$`I6m+|fj zuBGL4qriS9dt12~$G&d4JztzQ%BGBN9ES1cD==%>pLV2^227|3PX==e=23*F27MB4 zdk>&kFf=map=e_vz#uOyi_aKZ3vdgSa$V=$AHR8I4xmDC-k_eJm@e;}VdpcnftgIaVPod zcf~h4Ssj3NF?-rldjYraOvomv=Cp@rfr`74)DMiv!r@O0N{?F~CuY7vm7g{`Dv zWdT{5_jh5BLim}g@8kL3sRnN{t?yA86IZW-xkYE5E4Fpd-)46mkePgdo}j)TCFH$7 z$fZkaA~a!`sv~gx5tXCfPehA0AC1L^PGOQ0UIXWLoeQMS<5Ln%$jQ0`yXK_>R2o;6 z8Xs%K73vywaXM_pu*ohn*zF$eR(Pcq=0HY`t-|{K!l6Z!Ad|+y4O=x6b&311174!B zf#_R$4PYI+i6KQG;S3|c4@kf``!gXUTwJ^g(C_6wyuhXgn7oTm^GZO@dV5KMD>#rW=^Q0czi{+<^q;>5xe(U6(!~2e>=;rJ1 zH7H$wX{~g3os>*KGS9>2&ncZNVxc%)r=Irlr_2%CyuN!W$w3=E%m1DiPF7~(1)9FR zTnUN}9VwNr*3jQACo2Rx$KdxF+82tYZ|TY%D-UHX8R*FXJTWqB+PluH|h6^lzh+CO7Q=xn36>=H0UGD>j zz<=!j*uMGy>`UyEDls}FYVM#=+K%@ch}V^`dOiHR9?QCwnJpanW6jv2DqgIS z1((yLlb0v2Q#wg3O*K3Fd3yb~__hoGFc5I&A;9Lm&1O99>D-fa#P>y;U!Ye{LTBNM zE8Qt?<4C(b@mw`dW8QU85%fInni^>(O-MUyw9B{EdOXHxO*3nmPN!V9a9?h1{aLAi z-h)?(pd_Wn(JnP@u$6&Xy2}>JRUdff%P;~Wa`1#f@CdFt=#-v?k}VL(@5qb@FMs|z~_#dxr8$Pjyr7!IC$>!H99icd2MSZpdQjw<+~7W zo$_BVUT zb(wj}LXN3}|2Q|1H`y>oFtQw(k$k+AWyWSN~|CcuQ0p-X)7w&OS&k!L2 z{Vd_2k>)0y+w1(=`aCakdmGZX;_a8TI4fT#1iO#o{=~537?kDYC`q622yI=X7 zIh)ebSf+1O96-hBoSe4JvXK;y-7K7(Qucq>6ossmTp1>_HCR{v zJ1(2y%nG_TgCp_AZsS?ZHhGbpx}R(<<(D`L+@Oi@DmIdw>ay85h|u@!Yd#vE#2$vT zRe@@*37UY&=S12tVGu<%lKC?m|A;6$L(V`u)^!8TFZYg3$ZuK(0BO&{1G8I+Ry@JT z^)MV6$A2)xrkP9AvV_q>GDBA+kZAQxZw52rKoBwx#7x~aH6~H2=+B^LnFifPp~bSM zv|ZGbdPm8C(5kQIehV8TuC>Lsw!d#qrU2Um$K=8-|Kv96!^@ma^F^Q}8Phk&dm{xJ zzULuT9aqw$Cxup=&SlIi+LADGENyLRu`O5VK6e3MJ;cn+C9ND7K zbBmcrYblA;?7MWgqloz8R0|IaBoZA2{CD>WKjiBQp++q|nK#K-SQkIWZ0WXjZc9}c3QAEX~IKfjVEhxrX+`Gk1u zyv;Km4hKG5F+a&>DYpuPAH zW#y7jZ6RhtQx(`d1ludN?_3ZvZM0NYzFv`(a0h7iH5Z3Q1 zKM7q6?8?YZ#g%^IWzS3W<91#%A>+FN^s*BRR8P25o%S8HRk{#!QV&Q_tsH|x)YJS_ zmszwnu3+B%LDpNH%CYu=sVK=R@rh&${r4arMo$Axv39bHwYcrA?1B}nrONY=bTP!c zqS6nZ2XDhH`jQe-Aa4kv7pwS{*9m!p!^BX&e|7T}$6S{x_3>6fw(x42 z=e9*H#qme7$vG5$)E5iSBN!i>yIwdK%xM%MLg#Su1jO)NuDOBL=pFuhgOmk4kD^1Y z(3dBg_LS=U3aM~2+PR&~8Z@)!J>oem8Anp(mASios*C(Rn#D#xP6mlC5IkN|oZrV5 zbMQhoa(HR6M-0XgeSt-|>Y|T;6W{MpZ|#u+@&)8m&(HS!S&b>e!DFw(nw`l4X#Tm% z@kQGMF^Mi1%A{FoNDV$Mrwq4sXHuz$q^u;)g(S8ihrhWRf46KI$KDRsICiEv<*9M$ zdkEjtz1=oDLf(trN4`S$zgb6*jzgPO-&@XC`&ri3W8-@78rAT_mG^sL!LL``Bp3OD zc9n;`rFM50r89R1nX1E2*bJ3g1!_XX!JHF5cVSZ6{rP+lMb}fEVnB9Zl44Miz`%T` zL|Vmc2g)1ZS+StStPPi{{-axkr;dUqnlzO~L=cTCucUN8( z%DcF@kF$IvD-z~u)9Xj(unie}L~C)yjx9kpC;r34hE_YTIMBb&p{7`1z@v<{0JzAt zi+bDU8fY_3zp+#M7-ctRbLmaTz_{?Sqzbv06?cJ{v9GaD*aDVc+cEJhOT&&>iC_WU zKbq*oqQ=?<4c96Flu&12(c#%-Ak~rFK(W!qV_xP=iTeXsAnzU@$Yc@c`aF<8WaIZQw&Y#CuWSODak*4S zbOPzjH$?Gy7pe~)!eZMc1V>iwImSgghunTq*+mCO)PCQAq9TQ$-4@Nl^B#fo9^Nn= zjCqMkpSjPCgv`ncvk8lDBM>&ocq3Ppe4rh-e%7+-3suafN!&T>Ajc#~vW63)ebhgx zHoUbMo>Bzbv-Q;v(#}7x`D1a*$BbE{{Odm3;)vmRnE`T$D-b?ioacdMB&QRh7yZw8 zQee@U2DKwUlF;#@Q(N(icRyWbvNfZD(?K>)Fvv)eX_I@S*@Tvc+@@NNWwMeWF~JH# z$9^=&gO1})w>-S@^$Le1JeuFXf0*5TI=SHrf!*6f-GP*K-wBIECc;;BcvvpmCnc6@ zsPnGLwVW2c;Y#|7p=*7ZD7*D?Wr60Zd|_rdEt_v", color="#555", lw=1.1)) - ax.text(x0 + (1 - x0) / 2, 0.988, "the same population-genetic abstractions (Table 1), increasing realism", - ha="center", va="bottom", fontsize=8, style="italic", color="#333") + for j2, (name, arch, guarantee, edge, face) in enumerate(TIERS): + x = x0 + j2 * cw + ax.add_patch(FancyBboxPatch((x + gap, 0.825), cw - 2 * gap, 0.155, + boxstyle="round,pad=0.004", fc=edge, ec=edge, lw=1.4)) + ax.text(x + cw / 2, 0.966, name, ha="center", va="top", fontsize=9.5, + fontweight="bold", color="white") + ax.text(x + cw / 2, 0.922, arch, ha="center", va="top", fontsize=6.8, + linespacing=1.3, color="white") + ax.text(x + cw / 2, 0.833, guarantee, ha="center", va="bottom", fontsize=6.4, + style="italic", color="white", alpha=0.92) - for j, (name, arch, guarantee, edge, face) in enumerate(TIERS): - x = x0 + j * cw - ax.add_patch(FancyBboxPatch((x + gap, 0.795), cw - 2 * gap, 0.16, - boxstyle="round,pad=0.004", fc=face, ec=edge, lw=1.4)) - ax.text(x + cw / 2, 0.944, name, ha="center", va="top", fontsize=9, fontweight="bold", color=edge) - ax.text(x + cw / 2, 0.902, arch, ha="center", va="top", fontsize=6.8, linespacing=1.3) - ax.text(x + cw / 2, 0.803, guarantee, ha="center", va="bottom", fontsize=6.4, - style="italic", color="#555") - - for i, (label, question, cells) in enumerate(ROWS): - y1 = row_top - i * row_h + for i2, (label, definition, cells) in enumerate(ROWS): + y1 = row_top - i2 * row_h y0 = y1 - row_h + 2 * gap yc = (y0 + y1) / 2 - ax.text(0.0, yc + 0.012, label, ha="left", va="center", fontsize=8, fontweight="bold") - ax.text(0.0, yc - 0.022, question, ha="left", va="center", fontsize=6.8, style="italic", color="#555") - for j, cell in enumerate(cells): - x = x0 + j * cw - edge, face = TIERS[j][3], TIERS[j][4] + ax.text(0.0, y1 - 0.014, label, ha="left", va="top", fontsize=8, fontweight="bold") + ax.text(0.0, y1 - 0.054, definition, ha="left", va="top", fontsize=6.2, + style="italic", color="#555", linespacing=1.35) + for j2, cell in enumerate(cells): + x = x0 + j2 * cw + edge, face = TIERS[j2][3], TIERS[j2][4] if cell is None: ax.add_patch(FancyBboxPatch((x + gap, y0), cw - 2 * gap, y1 - y0, boxstyle="round,pad=0.004", fc="white", ec="#bbbbbb", @@ -126,7 +129,6 @@ def fig1(): ax.text(x + cw / 2, yc, cell, ha="center", va="center", fontsize=6.4, linespacing=1.35) save(fig, "fig1") - # ---------------------------------------------------------------- fig 2: grounding + MNIST def fig2(): from knowledge.analysis import critical_grounding, reduce_to_stationary