From d58f1c7ee6cacdba499d4a97c677e3f57d4f38fe Mon Sep 17 00:00:00 2001 From: Giorgio Gilestro Date: Mon, 7 Sep 2026 10:27:28 +0100 Subject: [PATCH] intro: thesis sentence recast from perspective-claim to motivation + activity 'The claim of this paper is that the vocabulary should be given its mathematics' framed the paper as advocacy; a research paper states what it does. Now: the population observation motivates the work, and we transfer the framework and use it to treat inheritance, diversity, and compatibility as measurable, predictable, manageable quantities. Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01BkRLcc18rwT2Lysu6PbG7v --- paper/pnas/body.tex | 2 +- paper/pnas/main.md | 9 ++++----- paper/pnas/main.pdf | Bin 301917 -> 301840 bytes 3 files changed, 5 insertions(+), 6 deletions(-) diff --git a/paper/pnas/body.tex b/paper/pnas/body.tex index 41449b7..aef65a4 100644 --- a/paper/pnas/body.tex +++ b/paper/pnas/body.tex @@ -12,7 +12,7 @@ AI development increasingly resembles a population process. Models are specialis Machine learning has become a population-scale phenomenon. Public repositories host millions of models (Hugging Face alone grew past three million by 2026), and these are not independent creations: the overwhelming majority are fine-tunes, distillations, or merges of a small number of foundation models, forming large family trees whose lineage structure, inherited traits, and mutation dynamics are already being mapped with explicitly phylogenetic methods (1--3). This population also reproduces. Weight-space \emph{model merging}, the direct combination of trained parents into a new model, is mainstream community practice with standard tooling and thousands of hybrid checkpoints, including leaderboard-topping ones (4--7), and the engineering literature describes it in evolutionary vocabulary: ``crossover,'' ``mutation,'' ``mate choice,'' populations of merging models that climb benchmarks (5, 8--10). -The generations are coupled through data as well as through weights. Successive models increasingly learn from model output rather than from fresh human experience: frontier alignment pipelines are now predominantly synthetic (over 98\% in documented cases; 11, 12), self-generated instruction data seeds whole lineages of descendants (13), a large and growing share of the public web is machine-generated or machine-translated text (14, 15), and the stock of human text is projected to be exhausted by frontier training within this decade (16). Meanwhile persistent multi-agent systems and emerging agent economies put many interacting models into sustained contact (17--20). A population whose members inherit from one another, recombine, and retransmit under these conditions is an evolving population in the technical sense. The claim of this paper is that the vocabulary should be given its mathematics: multigenerational model populations are systems whose inheritance, diversity, and compatibility must be managed, not merely collections of models to optimise, and the branch of biology that studies exactly this problem, the population genetics of the evolution of sex, transfers as a quantitative framework. +The generations are coupled through data as well as through weights. Successive models increasingly learn from model output rather than from fresh human experience: frontier alignment pipelines are now predominantly synthetic (over 98\% in documented cases; 11, 12), self-generated instruction data seeds whole lineages of descendants (13), a large and growing share of the public web is machine-generated or machine-translated text (14, 15), and the stock of human text is projected to be exhausted by frontier training within this decade (16). Meanwhile persistent multi-agent systems and emerging agent economies put many interacting models into sustained contact (17--20). A population whose members inherit from one another, recombine, and retransmit under these conditions is an evolving population in the technical sense, and that observation motivates this work. Here we transfer the quantitative framework of the branch of biology built for exactly this situation, the population genetics of the evolution of sex, and use it to treat multigenerational model populations as systems whose inheritance, diversity, and compatibility can be measured, predicted, and managed. The diagnosis comes first. 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 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. It is also only the 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, carried as one framework from closed forms to trained networks to language models. diff --git a/paper/pnas/main.md b/paper/pnas/main.md index e09cf2f..b7ae8fc 100644 --- a/paper/pnas/main.md +++ b/paper/pnas/main.md @@ -61,11 +61,10 @@ machine-generated or machine-translated text (14, 15), and the stock of human te exhausted by frontier training within this decade (16). Meanwhile persistent multi-agent systems and emerging agent economies put many interacting models into sustained contact (17–20). A population whose members inherit from one another, recombine, and retransmit under these conditions is an -evolving population in the technical sense. The claim of this paper is that the vocabulary should be -given its mathematics: multigenerational model populations are systems whose inheritance, -diversity, and compatibility must be managed, not merely collections of models to optimise, and the -branch of biology that studies exactly this problem, the population genetics of the evolution of sex, -transfers as a quantitative framework. +evolving population in the technical sense, and that observation motivates this work. Here we +transfer the quantitative framework of the branch of biology built for exactly this situation, the +population genetics of the evolution of sex, and use it to treat multigenerational model populations +as systems whose inheritance, diversity, and compatibility can be measured, predicted, and managed. The diagnosis comes first. Training each generation of a model on the previous generation's output degrades it (*model collapse*): rare capabilities vanish first, and the lineage drifts toward its own diff --git a/paper/pnas/main.pdf b/paper/pnas/main.pdf index eea9c28b5e8ca425e01f1fb1210d92d9985f49e5..f471abdc1487e56e531828da7000fddb910348d9 100644 GIT binary patch delta 12509 zcmai*LvW@Iu!WO}&50(qZG4&7$z)>Nw)4ie&54tVt%+^hww>I6aW{8$tE;PeaaLVj zy?DCMMiY8m6MD@aBEZSa1p>i4IXjvd*ucB5R%y4#khRZDewCzQs4dD%~kextLv5y&J0j zI=A`S{Q9`qn-T%uy8YHs9Xt)iwj3ZYz#!Am8;bz{7>{}hPK>JUka6+GOcWWpOCt0-Opiu^sIMl=mf;?Sz-@Rgz_I z;$xg=q1p_5Ir-p|ujcL{24hZA#_){RoVtAhZ?Cc}_guTnBVi5b)0Cb*6CXNk10e6K z#S-Xlg3n6=6NFdxQnwZJ1s~QLf4PuCsf(+}zOyV;CLS9Dd=-F@Zbpu4A0kaYuaOha z^NeY~^8rO$tz$>f%d%6AUXMXL9O0gEwrjSZR0+6DGFK>Hap4CvPdU???7lr<(;j91 z6mb0n|63WXU&xceknIE+)~p zUjj;p0)svGlln597%+$lx%%>3&DCd44abYwlAL#fn`ml&h@ltwXgSZ*1o_t9vj1DL)3Tz$XBumTY zaO)xzUfXLlDU|FBT50;wl0AE=`hWf@2m(l@$g>?v7>yPyvg}GKtA2fDiuWy;P{`0n z%gX_~rBBz~3RY4sXe|6KPoahl&97C~hPv%t$Lh8;Fx!TCn1z`3!Ix zq7U@dacoTPZ}VHvD9n%OYe1N9Q|b=WR$D`c?jo zO$TlSGCr4@2=;YFoXfzmNvIb}ucxTT4r6c|x(ECkC!3RF}UcG^KohAKL26vy?f70 zuG*M~v|kHkD&qVKWfMv#TU_#CUXi`=kQDIW%?dLYs17{5u~*UH)QgGno`4l;OJ~?i(c2dJ+LO zyE3sNNj73%e^@{wM2Jsc<8j5qLEVM#T@zEAu3=d?F_I(qD+#$;HG;xW_LZfh&Fy1N zFuS+l_uKa2t{rOL>7tyzcw#(S>El7^=mDn<4$u%OX4^K#$&zl2YhHuB^?#pBDIDdSU@H4m~V4T>2a^8Pz{57Sst}Y zISYNBJsfLnV2aSAkSwX6bR=IQRE7AH|9M0tv>*ZxWJ07@p##N2aWE0^SYeVA#F~sK z+e6CUCQ|8Ny6PlWpdTZEPFBK55EoD53<+25gc-~L+lIJ+53p-Ist}Df|JE(jAgq;k z>Er4RllQ!)DW`_<5_zs;N1iA90M8gc7-cX%(nsp)7w6)cU5Py4#tw^9MeFa9)oT2osMilDjGaTtlXkh^OcV&sGlvgwkRDvD0x{7p2dT6ci|6ocS^*(2hMMD7zoj*w;0>dy1kG$;7pHs{5q`s@6x zis2H-2zwCs@{=P=@785l%8l$;Iniz|d}nP)hrs|INH+&BI}Xly(JGkfzGwV7tlew) zeRy|t1bgM;Tx)*?r=5(PpnCF zj&j!{mMaPO;adv*LO1n@`oV0!ZXgDhQ=Q>wTj;OZXZS?Y!6Wb3Rel>(k;o;QS37tx zH`Vk9fGg7@u`(rJ0mnEq8M*0KE*q2HW@Ph1)Ld3(yO!2iEB$fV2f4K(J!9qE?ziHZ zQ;{F&=_h0E$-Kp?a*&@$|j@dF(N1J_f$P`j$F z3)?|5z)AScVW7LQT)D1!Cl&*nkiPhvleo^lS^2M~g)Jz*Bf>?>w&2L&lRHkKzg zoVNW9&Ce6^OwsPBLx;Qk_#u*X-qVL-_BRQS=(QZ-VqYaXV*GycrEd?03iE{uJ_#aQ zw?z<A3xP(28radiC4WZj+Rt2<7H_^q_cQ8cvNoX5t)({s%ETNBcH?Fn2~P1@89;CW>q;{ zxZc%>_U(10Wkv$^u}~*F-UVr`9?$B*WK+kzeaC-l9}BPiI3Q--%6=*=UxwPcnDW^``B23%3ScaH< zInOXZ@!XH*s)+sE`Z96ODm~$#K480_`-jL+#4{DhTvCUg*|(pA_pFV}7TxkIlnkv8d%UUw*D z_MatZDBF94oOG?SgEYt{Vk+F4)=GX+0tc5nas5CcvO*wyLZUh-tj-SA)kDzU;rveC zoeS$gRaM!f%KgNQ2du%CSBH&w%BZS8noYyMZo{zoCVUg1tngEjE_yEGu5S^mE5yf- zuU{Sfb?2hP)<}GduFANBw2$CbyUNzeGtzOgs~>=cW6$V&f)H!C7%Zr*d)PCloE)LC z=DkpEv3a7noz(0QkIXi-vfq1GkcO}Irl(xcs|yj+GU3EMPsewftDDU(kCr12j;=>Q zfqpr@Up)oHIyLHNFM?0giWbcbB@iyoPx-`VlC)Xsz241kuOgS}&|ok&8H4kGOtkby z>+D>3L+_Ol%q^FdJ6XY0O9db8)AehnIt;s(;xw0umSLAW5$mbp@PS@B>!#b}I9QYm zDHOlicGbiP_@N!>xia96?LgM6D^H?tO&S1nF45Mc$44D~m5|4Gt!IM(mR*yiAozyMu2C-)p-(*_)g!Jt0*}-ptA^GsE z_mly6;_W9d)G+%E_&~42Bie2SynZevzir2!^#p7yJLK z8JZc}!pbr%WAKt=u!0MrzyJpiJGlzFbPk5^YTk56X)yIHHkaP8hM( zJq!1u?E+J`-gJ4}cy6s&JWWf)j>?!-14)7T=ahQP!936l?9o_UE=n}Ahl~Uu@SngV z@mav~%^AoQ;ZAa7GUjT!?Ao0EVTK!K_k5-H~n&fl_^JzOduENrmJ=BG#tRO}n z?_muiF!zM{qpZ3Q3DedDgr;P#8QCbAj@)Oz^nFYA6L&dG$DZ*-?3;{fdla7di}$Ed zs@@y{Uas!CbK{s$G7p`qXTeonhC48(EoX$_nbe1-(R4SwqzWs$MG!uyIyISv)1@XQ zbw0w~xHRyNIW>GqG}t~9b5uqx^p27cutnp_T@#yQIL|SzWO0A|kag8xUfO;W0<#;n z_jZ#WuH>CMAYv7^I|(vIOHJ+^U`UW&)(q%Okf|;BC;uq&jVoKV=3p%Bq6ILTY3cKH zTjWmv^-vj^(g1mE6>F43^;9xAck(&!w?x_TTTgA#Gm=i`rm<`JGZX$KepK7gI!-_Nj2#vwb_%W>%H_iY#c6(0caicui=O$eK_f9j zaewvnuK-ul2W2~Cp`Gn!zANy~3DI`OV~v35$CQKQv){PMTRfPGJ(uI#Mf;X2MaSs7 z;w7OnSVDri4|oZPnDWrpOQ5)dvmHe`W(i7zah^Vd(_LfAgXqxaC{nZPjZa-h#x@Ld z#Z-=iPu(%P>OgfP=L`stt03#^#^o#7BwU$3j>%eXz_mPGcVG9;7XTNeCX#+{usHhX z67AdGqFSg&VWpei5x2fe88OfKKoLwr2%`9jE5npIys8=*6(&5~j7; zJ~&8jqI{)CGdM$Exv4F|p3i;=3mTR-F={gUw*J+z$K(4Gs^7lfwU&$E8ZUC>881QJ zFVbKuHL=)8$hWPs4pD(q$bWK&zYwQ96}>beZm93Pb(wUsV=+Ii!OiBTZkY|gY8gVN zm&er;X~N#1yY0RhnWcHu|ohaH#f0gZ$xE(iXKyiLclQ+UkNDzRt~oRLyolC zW9VCvCO*D@Kq#e@a!nuq^RxMv?w^T^++=5GxBu@eR~=m{{&$(Fsm+z4eaSsmZs?!G z$E(cF^w;iAik2evm@FCi=G?Dxo9>0&?#<8py~m;MpiB-4mVtfmx0}BgL>GMfj&C=w zLmN2mKlXrsX~u+cm(T4}gOFOl`yK@R{Gz%gO7#8I;_2$LvKL}Zva0(iJlbm3P-szh zM~_D5)Uk#q%%z;-6ZBdae>RH;uU>ITm$o1w!Cf%6r4re-82@9b$r}G#qL)2mhXq^)X)zf@r6w-qFC_8gex1`swM&E<*PP1{@&L&VS;m;qXV!<{shYW{L=C|9F96 zo!_h!%!+LiH7sQcjYdOvU^gw^-|H*-Id=DuCi?M9Bi05 zYaQ_Ohh;b{>&)l=BjcKPGHEX?vc_h$OoGk;3X_RJS2DvTH6x|oRcJGOvf<4VqmLG^ zACIB5yxjI#X6Wyz$d7*n`jOE_O(<_Rqu^jHQ4X(7+36w4L19tG1Pqdf`C72t)rxF2 zzqk`7=-C9q{G5d#n|L*&4mTOt9IRwK&wc~lhcM61^YzL~&juT4-r!xiO0Gpx?k4Q< zD$C0&t5JG?E^Lfj_aeD!Yh$1WIOP}1oLSn!f4v1O8=en=*Y>) z6Ar4YI@pYz3>$NX?#4zU8f6TL<*=qOu`C;!olQAq7<}Xi_ighgMl2nBVfh$RnrQ*q z=ch39GH>04rhf z6;4C4hCLpEdd({vaxW}K&PvVF=WtD~**yS<8hy4f?#Qu+tmOC`tLk@)^Br(01s*ta zJAMgDyNAN-^#~ljO8@9<>wJw5JlXXx*ha*sIkHEGa+LJ3?@T1XX&a+a$tI>`v$FjYB=>3@4A3r!iqngq!qmPI(=DT%h5PY+6`J!M?}Q zZu{dRIT!CK-pARby|b&U;SsQ+W$(;D_J_nPadl!Rk46&`xi3BP)`w#vj}v+%t6&Hk z-KM3btH33AwGQQNVER?FC~)*Eu&@xV3suh{`f=@FcK??6-+kP1V#FOC(i+*sY+otZ z02a*H#Z!;N=^rKVC4E$Gb zV)OOU@*9f8;T|^CMqKPxhmcR^0zou$%k>5>P0*_kafa$=^3#Yf)lmy)ZahDs#v65m{YQB(hW`QVR~|w3n%sgtu(Xk>#`LV**J1IiA3lrQFr*Ou33tyk=o0RV zd|P;=VCP1UmX_UKiu$Bj``Kw@otWg>EQ&>2%+VBMDiw;jO)%jDzA;0+$5cVjD6BdU zW;33vz_YTw`K>*!oF!Rh)4vO`z*TtD2b?mKtk=!t<3Jb}Tf70d@;(wB`+4!*ec{(i z^E3kigXv@YISgTLVe5BU77D(WC|ce>)oc`9$pgnuxXRAbbbK8AO5<8x3Y*l9t^q~t z0sYxz0sSA`*Wr(#vn%o$jL;RK9ekT^4H-8t;&u3sq#c1C?b*SebX;^hM;lFP5=>sP zJtPwVq(AI^omdD6(_NUsHY2cFLe{{sF0Zn5sgrT@BSqeVas9LU>yDj7Iq{jOmf{|u zc9aC8q$}^Gt8ujY`T|YGbeFmZy)~?7tD>ldw}tlk?}mWViBRck61;`W>Ss8Emf*Zs zlP}cHvlTQOf!zI_`HQV4J)MEH)=cxU(m2T;x}IOGM5!W>t)jt!CD?z!)`D7lZD33Q z+v5iIut-MKv#D|kKcj`C2%ZkRDHVGJhMA+*nt2LMhdy$|pN-~MA3XY9F(m3#Vn&uF zlwl;h5hn%nhoFAY*frpG4u zR*(`fdc=#bsHk5oF5{lwBWJZDOf&V}H*z-{jaD*^)Xp1&sHbfVSXqb;KuKp4yk$f) zjdGRN_7fy2L2y%lkEbOm>R6aElW%EP)2E^tWPOB=on8)x9wt(V0AY(y8y2PJ0op?h zJaM0UrNr?UiZ|JAe6S4QQY`?L!n*k2fDwQ^u|y0;FopA%6lqX#RV;twMuy!VO_JX! zOp{_3pJRt&ET%TiHQ&nC-FzG}pIz|~XVlJ6Z<1QyWzA~;6Z2&Y10Bg@9(9icTgPiH zxqITxF>EqtZlqC7@twJvF_@YlT@RR$?lvN?evgRE(0 zJ$E^UMg{ncLj@SnmgmI6m%d_(_q1Jo)J13Bq{O1Nis8f4e-|}enFtWHdx1Dd7uwC5 zvc?b{EEOM=)6z?ArW4P$3*sY~lYo410FBKzV~3#E0BdY6XkbM}1^+y$K+<=O$4%{3 zhU_i6Q|%?b+L5Sb?w2MEed(kQ0_{{A{md6A-ip)?OpP`Vcq8@Dn9l)hKT(NS* z3}NSlp$Vg&fQcVQLLQG@PhUyplKR7%=k!#?X05e5{K@d5X!y@}rYw+$_aEn6QdXM% zwY;>kkX$7kR-U(2B^W z>6QEn<|O1PvG={aJ5VBDSpK(Jn*T+W<&NPSZO4z3n4#z(HB zav_OLWUzyQms2>);{3O3spZBh7ioZvIlIP0b813`h@XPmD}t(SZ+%_R_CuR6B0~4V zVP1O`_n&5OWQlFMo^#cV22n3ly{pH5$j%u$In;CKDjIea@`J?cr5E7IV3k9(_qW0V ztS#>gVlX)>MB!&Keq+~Xv}LWB~5ydb;d^+gitOk#vY zR7=hP14J+B5>GwrrW-a9ejMCMvqw+H52`Rg z$hc(~PNoq!7mR2YBjl4}K`BV~&IIol(qXkv_p4mdh(@yt$uBhBz9P#$uJwW%*Cmqc zJX$l0LG7arC2-BO3Vkb-W!uu^SOp?$^HMYbC0LZY?kx!Bi(lVouWxmZ!g>$;sP?{t zy~pRt+s&9#PzzaYyHbhjmDf$NY*TAY!7huYdiOm z%M38NJ%Xd}EfO_cBNdiVQJs>(w2Sd!rC6H_iQKn`5F2J_Pvv^Jas1W z8)l#?eW)ru_<#AWS(P4QH4-!m@ryo4JqH!KrlAP&u7^o>mHw$&xk*UIRzzT@`EO~U zL{gLdzv2|mBpcRrr15=UQ?`CTzbdxV4g2OLeg zOVIFPH5f)h%?u4~9I8LH^9aKO$x#KQsjI#?EobKMl56=&uEx#@qB7aOJr12#5~}~A zJdH1Y{a~vzz-e(fz8|(g?u!U{lUavZAdBsqiR!>B<_r8z>4xuuo}a>^QYZB zbiImQ-ky^D8(Tszq5wQ)Aj|Lmc{%CiWoe5LaPK1L3!mYt->~MPoHPl4fJr=0`nO*t zN*smx`9zwh#IxDKs2N($@tPjWBMR^)3{uMJ#BXqh`{i%^$GN6rzpw}fmJT9Hs=45*r zH&<$b{!S`Pn|I}izXHi3tD|*^NnG3Sl_Kb>hpbn}&Ylq z3yi}L$!8^#ZelTn!{hXmvSdY4SCAt_bxKXUB6hXZg0zRw8I7mpN9;2+-XgF$!jX4Zq;)~MA_C6U1?p0+eXfXrTl2LL+O(qSA6)1dhEr6oG8Vb z9C+%G$U@^8w5lDh1R>qW$h(}ODa^C|)0RlNXgMf1RGKENY55}Mw9%|DEp=?s{X=Br zx(eA;Tq*C=iWP&#No(N@2GAZQqxA%&TqUb))*jyH`5I|afH@YK)kCwP#Qe0|`j~#< zZCp%(j9Ug$I{Q6Z%J(7&hRoZBgPZ7y<}^ekCyuFdRB$kwkl8PO3rE;4XRA;&>TpCo zLSh5NccL^ER;qo(R7q`y-Bd6?f3Sv|5I@e86D`D4rMVmMcW(U;dP<$NSsnrWiFe|} zp&MeY-fGeS07g+#+Zbh{@zm4?>6H)T>;`?V1~_Rm%Grfiy8o zmT7?N6UcpDQMGWiUiecMhUfom!J}TE1Sj2cl;E%sk0}V$OY4lD2v{+9CGQXA9i@XO^0z zg5&>&2y9SG+TL8EV&Kk*{sxAr8fcfc8r~z@OeBUz8H%J-jLpR->;~>W=H{^L752)M zVNlGl&CcI$$9BtKocTX|Qbr^0Ms_Vf4>osJ&YKTEw^!aP(-n%3o?@nIT5`30T4OC3 znV5hK1?{s)7?jz0iHY4lZ^!UpS6-c6%g1AeW)x_9vR7p5Hl8aOg)eVSm`q1F)`ObiuPChHxnL_Z8R#%=#bRsM(T4_}eaa5;}sdu6p>q|NcW+sbJ6NQ5YO|ht}68ue+9x z9yccT9uA$)?CH8p&`0ZL-);n#_9A)pc>oDIPj~Wg z-9k8YYw+&P3iBbVK@Y6^^{Il2Dd!t;N&U&We7%oX%X+w8x6*sTtkzKVZ%eHvvs{(; zg6*q8CfYHGXegc@QmB+Zt-hr#^sZW*E{Zdk!lj2ou5+|bsK+h(HS`?sT4H^DC7 zk8?$;RAatPC}l$;THWDlDd1r-S;@!ld-y4BiKptWW!KeHxQ@UgH zk1ay`hL#)Q3;)b-Z$1u%{c`Ki9}Z6LxBD}1i4+l6_Tk&XoBh!r<(L>UG|*iaJL0SZ z_Dk`(B~nieO0pxKI;CkK<;OC9`17Zb(G*OK$I#KtLar~*hXRQ8cA!k@C42|^S6BIM z+$`pqa#fooT&2=Wy7i{U%xmUS*_zz4m`wHawPWtC5#3#9ZC%lQ*qhP8%+6lwRW74R zxLca)zWBk;ftm`TdQOtA#N@pyV}}0D(IV$U*^ZVfA;q0b9H|Ns%^N1+f4wjitN5XQ zV_4nWH>SI@vmm~c4`?^vPFo=n=JJ1?989Sz=Mvgg@UL%`^8ado09T|J>{wOxHMiBi zmhm*0y^*SZAJ+R;H5U6aq@fjnC=Y#680sCT!g&dh{U*ESH{ejvTIc71%Vjhh8-Q333MfO4V>;bz-7hSwke(1oma+`@+EOQnB5c4)6Wt3e)37bGcij%4J*21x|Ct_2i&U zw~7`X7a*$)>$tF@^Zc@MvJ+`WgW06cwP_QUnGnt<>XB0qK9gq~vF&BbGA$iZ&H_FtH=f%yMFMJjb7 zqy)hIe?A#GmOPYIhj5{<-zL2W2?~W2g;3Q{Q>o!E5g1ELhr1%b1(1dfcLn-|iHfa9 zXB3FIzSw#n01z-VT>42&vk{=Dly zb=_#NR4tw{)RY`E4_DVU^yF1fm#4F6Rrghpvw~4Ijo>(tQSyjM))=>KK)8_P3vb+) zJJM0lpD6~+YEyDpR)SrNHu~Y;Fg!z2dxs@)9)eF+bSl%3DW3`ifa5#Efl2YHmNRA$ z3?+VOcz5U+KC=g-_Dm#U2+a!f1HSBDqpB~`oS;AM&V9AL3Z%9Vtf_5)20qnVZWqcD zVKC1EGgpo;;*wc!2N`oW8kT2oL1N8vs%lR{aLqk}I_R5fjoAQ=`p6*nYV5LvQlEG;hd%T<`SwUzs`z#GYW^>*Th^#%~FSw&kAn?w#N1urMi&DD=hp`_q zDX#V&SNok+`xX~*fG@d-hPm?N1qB@rg~NlJKsYo))Z65=Pn2{`_VIi8pjRr6uE3!V zju-Y|r_pOvp0D#C$#;SV(+!rY!e{Y-w34}6XLbUz1VNmSJ04S#Tye#)mo;p$2(=7; z|Cqv0QVK6Qz^6mf!fzze91IDQMrP3b;K_hO)nECBNA0LLBeJFmda<@K=j!h#)pE@b z+wx)s10yn075PcY+EL4Av3!1Xn_`=9O;9+mxL$wafTj*O5+ zqj!NJ9tB-3a0U8Ms+W6thsj*|05kNRGq`Jdv)fi~_Z+L!Z$~d;n*&AEPRZ%>n|6Vs zoBuW`auwLC>Up?KBl#s+l6fk}(LBzXlUpkx=QK5$%IAFMcw>`a3f3cK2QFKG&L6K8 zv*soT0|lmpEXh!nL1CH+rnCqe8l<$fKA~_16w1n`Z}MGX$wlK1^OKQfcXoF*L*@LH zd@9qQS=nTmlxg@v^bzy!vmxI+h6@!s z7j%rm^Op#eL$lO)43>7xo|kuQRVr^R@{hHzXl>y zfv<|dt(y_=DXv=_uVBxB?^VA2y7|7lcJ2`yS^|B@dA^6RHcR%Owclu5*%+iS_28>I z^9m8pnG@=!oR+nmCA^1RN@Qy8aF&Zu&OPy5b44@r5f<|> z@?v0%8MQs}(f1pSKuBPBsEF&od##3v}B?sgnHnnN* z44I`!E*J_UsxM%C??AzzXJ- zB9+n7!Wc`ta|GQ7elb#hhas=4e0FWnu56Loz_i`=sdJhK_}?DQMU7^C&bP_|?FAn7 z6HguH0c@qC96t}Xs~E<<@%e-J!_7!hwMvfGtd!~B zGb+!kr>8OZu{FgXm0FaZeV{}-Ky2yOV*V!PbSlI1dsQ(<0oN@fGCgP2k7J&;)TfvFO7bIGxPNOcOW;Q$=R=`pxv;+Ny7i_dq3(4V}&hoN*cz3^PyY zDxZJp@dmuk#5-epan7Ww<57L%4sDBSP`Z1b-RTB{QQv*e1e7m#MN6(6K0eX6h(Egc-u--ArtV`gJ~9;)UrIaC znO==9({r_1k|AfF989Ny5!PhUncPb*9-VtLIZCQ<-+9BjyR&QHIDTYIRIt;y?oQ@r zd|}_%!F?$s>umhuBQ?_K*(mXDUJ!^sBA2~R;GrXUXgKcZv2^8f$< delta 12561 zcmai)LvSSww1g+dL=)S#C&nb1*!BcBwtX|PIk9b9H@0otc5?In<$J5Q=-pX$)#>W$ z`r?|=H=EIG_mO~Hyu3m}h|Vrf03%yOkF_Gb$?AQ+n5}8mOq|jvKPEi*sr@BZNulfS=nbpX~3zCx*6~#>$q=Wz25B zuWRsy;d^&C@bmC^83>;ATXncMsyn}Xyl)f!GMcoF_5^;uy}n#`u=QSj5pQo@09nq# z)3_Ly&#`Ykg3oZVpI-!BNY$N{MBw9NVYjo}3MGz;(KcoGSF;9v$iy!|)TchJPebRgHJ!?r!eMka`jZKuxoW?}xv_mnmH<6yB#*^)qIYC3c=< z4t;*K4l)a?)6bLh*F8%!d;(XGaop>#lw-t9W5$_-W&*86H&mg9t*W}ypT?ZmF9E_Ih#@AxHCtg!$ zz|3DP)%@f2L!7wPNP^O+$^LG4OKyB5?e(rWA9IClJjsE6v5GWbGiAxMY1lbyW7EZ< zvg^qdy*~Gbj}`%D@Y*N0zp<`<>P(auB~+fB&mWuErr{T$CI#*<$ec$uteJtJDXpjp zq=VQm6!22aTp}i(OR|90AXh$h-j%@i+FasW zJq#wh*|cth`?U@ki`k4UGqOj(`qK#c=zO^wl&hLa5tHYA85f?I&_Vf}Ag(wnP%>#E zySKlkKF%NMd=8TzBdg9e+%I0CI(bnYIdidshs*Xl1MH-xspq@=Qm(kDR8dk$D7@0w zWS2CYkCi}0F!HXJawNT$hqB#?-0U!^kPr)yzc#(RwCi2Nee$g5(NG|lUjJ!tG%I6; zka1TQ4J#}7c$mBy&oOI?S44;kOj+*rn`sY|;XaF0=a94?cXUxQP+V);mc0e9-^r4_Po zCcQ9w$mfmiwcGFV@q}r7wJRab&^#MS1!uN`s<~bff9kes-aySgD}h0Y*bI#F9F%5Y zQcT;gi-4)MCC+}aLxTwmBD8)yxFe|tS3Ef!RbOHaMfF=Z(@&z$12dyj%iF%?Vj?Jy z$|OrYPpfTS;A1%LX_YWg$3h|&LwtQKU`h8FLldhL;HG=-m&aBy&ml^Q0aWiU0hde8 z_?&~A^zn#949?DK7aB^t)}EX*k3aqp$|Y8APj0Q0Xo9G2oQ|0ry)S%!;iY=-Lu7ZL z+#9UTjo;Xvgy6)Ycn>1N=e$s!*kllF3sDm)CF%*Y0 zYv>{$w7IDJ;Jo;p@Q$|OiGZ2)J=R9JC@L9Jdb_NnSyD(u}EszL{gXRk&cm2@7i z3&=w?U(*T{bUvVTl+#UkAr=D1s!;(7zjNcMeDf2ni_)sT$HwdU*-Wzm9B0J#KiV*y zLfm7ti?%pt8aDfi><;pi2W)_Z7!GxG=sp&~i&}0Njj9obv?!g@z4h^B0VHfKoxh>( z!w&fmBcp`~fJ#3d>!NfmgQGJ>#*N5_TyBgYzR55%;S4aI%%`$MAnk`iX}x5Rtm-t% zXhioL^cSMQyqyZ+-IDScqN-X6lj#@foTbSi2UIUppKt{?I~&5X%{jVcJiTd#-Oyim!r_RSNA~ zL5BMmwdH<6*Ejr%QLEb@G2eKD%lrJAcCa8d+!XBmTu;CKtd%i7X+)Gby!hivbqV!7 zoO>3?HH;rb28CkhRi)u&c8b^I;QD|U@lf#Oh;@C$Z9WBhx?hjlXDvPQYFo3Q{uobVP0uw4W^z>tu>qdNo5jSDK)UV@`Yl#SC0KC~2P5#}%KV@|gm z_RPs=MpgsRHY|*?AS~Ric)7DQtv^pNTowWDPm~l=zDjQ}tXaWfQ~qbv<$LwZ?i@Q5 z$WrpP=OqcEVs%G07%&{LiW`6YNDu|%oLQ>K!gjiKgM9ND*g#L=Gt(g|W;{9s-AusY zT11IG8aP`+3Z0=)(S4O+D=U@GSR#}W@#h8E4un+kplJvyvLi3}M)Dy=zx9lbw=k}n zka0rFIQvbr#ytVPgOjo~LJ9u_Wz6ltV%Q_>qX}zk^BYq|nlL^2bhCSU|KjBw3e8tE zI5TIXx6(m11~cb)157}@sEU(o91gJe@+_)z?`d_rtpxAyx=je7{{f%JyFg*@aG|$O z=;Z+i4Nh1M()N(v19f@qY> zNnxmdfIJb?Y7-AWToGkx_R4ctnv$)SPGQU@mfR1;G>*b{QaD#J#Vl%B)_vfPVIlu2 z%XKE{=xT9z$O0q*_Y&dTEuLdQ`}1FUFi)2ZK(=Jm$c$EhpzQS$`WsCJtd#84J|3ZUmGbz6liE(Z5|z~2UWx72GkN~J2N54g zGJbX=?^ViPAz7u-q5fm^-!;$=uNe=HOwHZrWKuVm@18ug3S6GVH`L9^^jp>Hqk{i% z2o;x%Un{-(K*N6T>#1!dO%SGTddApZGZms=R6k_ak-@Qd6efx$7}~lM%hc7kB&H`c zSvq>J`&w}x(m?xgNp!cbF1IIGLNYQ_;~v4$p?Sp(=0ydO0>!Nwl@wUE>{m%%oCQU? zw{;YLq5-pWL1yGN^VtZhkx4Plf&Qhq6Q^A(8ztG{bM164FZ5xHFnX+wNq>M1Bw_7^ z6GqlG#FgRt<4XoX=uZ{p$yF~ArHxu|=x9Avrrxt+>49%4dH-h``|DRgiKKTtQmy~O z6;!Ck`29$~lRHFHYzeTJ#+&2Zs%hs?9U`#=va+9hT0*$^v-UW%T?hZyt7!Wf2(D!d z5rm8Sp3SyBAxq}P^14b^ZhOPS+G3OCgu~Qoxlq9TgD(l?jJpY2%s2<3Ot>8T!*Oj0c*H(Te>Kqblga%m=n&9C-q9W#`S&WMoSIaHI zyCbo2ve-1sF}-9C^D(kphUpV)@o{NjJqGK|Dn5a*u*tHm_n= zjI{reUkAX!sRI?lJ$LDUgqy?+AWLn?ntDEt+||Sb9*es?=C$DRAv`s|vp%La4W$K^ z&Tha3I^&%||AzUYp)DdsrW%IhV!5gH4P#0AA3u)_+A6t7@oo-m;4rI8@R&;7FW(=( zC1O7Vn9&L~&j`U^)`1XBup=Go(xT_T@ftPp4u$spNh$y9{|%{Ul;dH5ku3#NGoLX< zGf(>gmsS5@F}K3N06#kT`N7gH1A~rRY?L1~WY#MHTUmIe4EMecZaR*J{5aC2vTK{J zTD#OrtEN6^Efj=rEn2mY7A>d9%&Im1WO;?08jA^`YST^*;!}tM`hAQT*fH{9dXR*X z-f%lwgyq1l!RT+peYtB|TB9p;ReiHKc3Q8PJ6$)5_@IKKHXXjaa!WnSgdVEuOKv0i z1l*wcK!fan2rsX(6JHPi8*uW+t|pwc6$9J8ZvR_wQe+IIP8)_?woXaxekb8p=Mol<-R7}q ztpG66k81hYl-4AW$2DjCHV45ZSp7JIvnA8!na?JlSFakeIGO8tdHSSXNx;Bz@11q{ zgDL@Fbip2o$2}BXc{}QaE_-`)yT$N$E^ork-%VGfiObjpzPaI=nPCo%ltM6SM1F;U zJ9tp&^WVRqc&T8wAb=I9eq{3pwO89!w?~2Qn14x5Dvmz}{&}D78^mpQ9 zzaPt11@byX)v~UPlEW9X>Z$EMUsJKSe(CCRBO?{D+qRyq8UD=8=LR}fRI1N}_g>%X z$aS9}2WG#Wm%c~yqvrtJ^k9n7UbQwZoHi>-W3oX?Y@Op=r|%aGlQ@jKG7yoXi9k4_ zDnvNcZ=VToN0?^MD*VMsF+heT(M_wLdax?IVlc!cu#3i^ju={Zi1|pJ`bfrUNeCEG zcZBPZ=EF-g-fF~Q6Z&2y&OjF24ctKTNrgyBj(@CfN6dtvz@8^kVjapmSz@P*j$J<0Oy)^-o*x2?{{2UkWj z=m?(|p_`FVBL z)pS$L#yY3~3 z*zmoz#W&v8xIhN~utvBWd@c+|J{|B+fiQ-`NQ5Av0djEupTVd~w{41|?Z?z7rWZt$ zCy9vIUx;;o4yZ&tlx9f=Nt6$8xb#vlc?Of^^44H%e7oo3r#hDF`?UPF+N{196op3w&4c!bqPJvZTks))iD6E<|xwc zYQSax>SWpq|8d23JU*7$=hzULk8L+}3h&g!pqBe^-%K?FJzba;4H{K^jmHRUj1)c_ zc&0msHw%dj+Ux&%_KrWj#(n1}mWccfwZ0&hx^J{+&^^C99hxh)UVs7R-MbN&_AQtq zTdJMOzAv4VygR!YR8>M|HN^+dTlJeqKa-!ryBbw!JUm=6BgqfFyw#knUk z(9dY2^zf1n^b*wBWNE&hC@JDU8#ZDI(&Q@y=2l=y4Rs_ z13L(%4A9ZbR5LV6s6oPC-&7ZVUUHuYOy#BLw{Hfn=07plV<8qr5U0@Gg-Kj0Nyn7J z)q3&yd(NRr69|w+l3hh2%OCR#ki~N?i?n}U6!XVWt|RBR(R`_faa+zy!-b0Tqc*fp zCBBP##cgYt^BI1cE${=co?*_E`KG=_|?A?{;ke&TTB;5+YW$TGA~{AnV0BcPzN9waTqLy`Em z>H}J93zb<#P5D!&7j@G!8n(41;dYy_(+d71B>0A&Xrzf#C_y zIZPj)@u0z%+MX-6B7>Wbkkoch_asOzo*)}V#X@m}Z?sQBX|YCx;cdIJ(zFg!CZizZ zw@6SxcLa1?8SZ#~q76t5h#_0cnFlRtws%W}K}AY#Y&;BvlXuNT(H-GF)piXt#02Q8 zksR#h!%mkPV&?^%#e_hT2mULFa*mF~88i7zPCPSRCkJd(0*HLA40!#8?V6KsZHy-K zAvv8sYdX*$d<`byAx6l!2WW7~>qSfPqRu@!;2;hh$>ik=={m|X^KUGI``g;wLt#&n z7R(W!4F-Xz7Vt-GDTW0vs~t@)d%NnYs7f#uh={VIIcgA4Dg=5Kb5V7X;C3EeA_3*b zCmr*4>;*idYYlUg^p7~K0=SB{xP|H_+PWSn&bqVb*hp4KJ5+e|uD;8^_O4%>+K z{B6y>uE9=Eg8rNbZ1imFqU;v7HAUp~o%%P@`{E8v(^pN4IO&}_?Gfxc2}cSe5wD77 zfn+Xck4&G*lTDw@^W%VAS~HR3qUGOvfH_38UQmqUR|X~N&;Ce-!2Q($Eyfq^_qM8v zHj-!2$T{5*WWcI^G|~FEaq}r?PLLEt(i>Lr6DM_MZhf9jR6GZQQWAGoRlE)8s$OZ_ zmSGMgBGS$MhCRQgaAdc$w4jcN#0tRmcB|B|r%MuZ8`g1SUyT2f(dzPJ{B-4&W<>CX`)aD*=@Rl>X`J}4w6uvhMPhnkyDdg#-N+IU zSQZIr7X{rRL&kj{lo{=4$o>wWG6+>W{HFz|L}@lvol?0Y$|s4r*dzt?rxAp#d%v^1 z-qn1=G2E3>%4dbx{{66Bf&9`OQN@uc!3B;g6KDuP{NXEs zFyjIC80&>=p)pHRQO`>l)ujlBScnI03V&y)!~E{7t2 zfz35=I_N*wU#R}pCR5uv2**+KYhR4O||cjDEX;giRyJaqCc%KV7v2@?N#n2c+I#1V6{KkNERc!@K3#{99g3B$`PmO;n7?}PaH`ef$?Ckb zG@Jq|32q58CC0Q+ch!RcKu~Y}njxWv*IAxUqXnNiof-xR% z!0MJQnaBKh+z~~Vzl(&aHi%)ut=KmQgnpLcv-V58%1O_(3?bIrX=o!riU%Ik$^!>U z6rJ>H^$ZnWM)~Ki7$iXO;g-TUsEj|4(!KhPRL8BGcQ=TR!mGclJh?R_7yfG0I89J| z7JqtXV$_kzj|aJ>FLSG-TE_Ly$3f!-vHZg`79bhYCw?|v1x!{3>Id~-G;86muIpaGqZ(wAX zU&KX@qVX+C#VDcQxpt4Kh!uPcy07o2~k$M1{;2H{TEovvl;53V=bg}RU| zw0?P6Y(|yft1z+fbjSKGF|43|cflb#auWdI=yMT2Gxx-vV_27_^FA2qgW3sq`s%mj ziX%r{`P`E(HT?$ZQqf_`$-Ak+4m8m+nBiEN+QtdAnE4iNNd)b(UpGMlGML!u# z;q0x*YLg<#tG=R(`t=ZfXT;;*A7k(Z@%SjMXp{CpDW5JLn`d=-iCg3i#X7~P{TQ=~ zTm@)FsC=cU%-6PTCbhpzHYBEAn)}Ab@~Ed(lLpUL)hdD7coJ8Sw$_)-7dVpK5m^|I z@rq5TE8)>g_$q4FHCRbz`pp)W(0fVW<@5sNnJrC1ztxxH=-bzGJ|7%|F-3Uc&zmNT zo?Tx}S_@fQ4EBrjxx{j*sl!BUqmksy+HF~z%xoug7bjZpdIZnz4g#O0Nfwv5q9{^;;v$2Jk6_ z!bz-^ZC4U%2E%cmakoKyv&P)-iMa$RMu%4P)Lu*fKDyPsyGE5d>^1p5%sWTW=%NcjuUUfCR_rY^FxO~?4ZXSn? zUCsesh2Dh?VoA3X$=`(3zIBw})pj+hw(Kp0CgMa_zP1;JeGDA^AiFx$uWBwAM{l6G z`>fZxZL*W$s3A~}Me>{wyEbXJ*2$S5sJl2&(%*35)#~0OU)KpyykL%K&u@UyzYpof zbgLNlqp5j*Z>nH63fARB(xsfoW6|wsr40utUL$s9#6-_v)9|)C z#Zz6{yVBi8`+Ga+db)w6rg5#zEda84x#?o7YE<^RAvAGHH#Gw+mvZBy#Ps zTHCxeRi4Aay#<;BuL|3ibqW(DZihY}H+j*)6t%qtB^?S5yg{-wXN>=@8Z&+mlqCRp zxPMr2^^o)4oXUjnUY<7FA0V3i(@Z+0@9q>^F?M?tF5923c09I{(4W7^pCg9bpeILG z&+vk4F*hdmb5HP3`ZR|OK^t$_p8lHyH{tFx;*}o4w718DU6b;=p{DxU32+AjJC22S zFB!O$YvM=+#&dY#8`V_fICJjY^|J|>2hB|yJ(PD?Zk?uX#D4GwikW|VjrM(xq=R?$ z3PT@SnM_^=YmkR+%BT>%rf7E0*o%X~pSYc)-1Y;ddUv=OJ!+4sBy)DYiz^!3fuMaDGc#}E`|3w3nXQ#vHQJT2{`(8~l}mvwuJKlLe4pa`3-V_Bm19eJEC!}(#aQ&=*0F_m>C-MI z?iY}%pme0DnFRKV4_|oB?c^U3UKZu7N{OL^-t}5M7Ha{qHvhs7!65aqpCkxh7<~1^RhG>jTgz%oILRPWZfYCou zm~5_zDpbuX=|GZuxoGLIO*Ye~eD9eBiA;jZC3#V$678WO=$$Vih=43%f*!qPU z#Om-Jd>jj7(V6`oNtg-Qh(-J(&nG=T>0& zCVN4))<5fbyyD@FPAnyjLrb=lp}v$FboPe1!mG>-{sT^{bm;D|IK-05>B-Q0) zei$jn+w8;G&6NHWM&wD;T~e1wdiPlEEGhyg1qUViI&Fj;^AJ2hGV#T?OPj>QK*0II z8ZP%qP&_3!UaQCejc_675CKI3y9IEQm4FjPp1J=U;T|bvs8Q)eSb}YoRzL{ypM-Qd zs3p}zxPc9-BmS_gHEf6tkrbyw1l0aoTs$85Fq5EMo?{k8y2OIEyhsHGxOZsNoY1+J zG^3(6%cwzA?Ulyai|`9VcaVw_M%`FofIm5Pv=hB2*6jEw{B6*8Tvc&!DJpPPT$+0{ ziFOw0XJD2LQN0~|hZ6c9#AUMYMZRt%(~_*2KXx;v<8Ad~Z2CuxOvjh3H{MYpw%Eg2 zvP2Pd%t?=$Mxte+rQMTkIWoqkj4?E!GdgrqGQ@LtRT8gHd-u3B|?jRB1aH6S|bpEry}FU z0=Aw$CihI#V*PrP4fNvQL?ZGYgcZ{X16VfKjG$%6`%~bgaG}27%#tP$c>Af)H6vfB zzWpKnX4^@Y8x45F?mt{`@%biB>mFrhP>OZkeqUk=rLjoOe7sq>(PDdSEDP0-OckRhB8ynO zcbg;R?&RJeDd5~m+X@4gA-AcAUD*VTu|>1{>A>>(Au$%wdMP-d`QIj^6Ryo#-G1Q8 ze)Nu?Z&%OZ-@SxAQ-<~S-{wm%?9+q}UvK+-JvRYXZh!lZ2 zMfH0=^{wf^Hg^y1_o_Bw4{l-Wqr}tKu6+*1D;iD1E0gr`@krni#`4=EO2 zj-GK|mO@Hvx}ewiWnk~Ri&xW{r4B*|F&mGb4`~f4VGC&P@o$vb4Z2F#t~L_(V2Wb; z=L5QM}PKA{Pl;Hv|VV7CQ5n}-jZkm1dN zq7KBBAv3Ka-6nLb|9RM6VcT6C zg1(w%=)OZFa$8*X1HX|+7xMcSK)-ee*`w!@Y4i|jP7esdSRIDp{aqpA>HHVfLoWIt zu@c?wHVzY*TIT?4!3#dT-CbX1upA)DFWMBdtm-P31wTW&wV_!5E?mpDB& z;Lo$s$dYd(r#5^Y^ETVW%?$x$DoLa9Z`F`;0||GdzeJ%iQgT&cLZsn_)IXj1l|1uj@t(@X=sUOBKAONQ6!QJ;U(qb}I_ieQeT)-)%Pq!ZwLBp9T+_{=c~-=&D0-NbWZ4+JBZ}BW8C^n32zN)Hdm#(h>E-vIU zjF+K4z<$4K`|dC9`_-N2QIbhg;G!uJl$-k6rXR?@yEeSP>D2`;SeOWWesG{qf4L`r zAI#4HbglbnI$iflLFw{-iu8T2I@>f(>R`6xAG)OPY;at+UrZjFB*DN6&~tUe@$+-@ zdfC%P3}#x2b|=^?Hr+!~&OWvg;VdN}+p5#k#FMHbi+H;NF6uf!BLeJF0143azf9Q7 zI5_}pJe+1cCfppn#=LCortBuX0B$1_BU5%(ULk@1?;>S30a_CH^XLC2B)OK|UDVaF zVQ)I7J>e1Zpy3O}ezA$1s9?Z%iAhPZKtn=@1&Pp~24kXA<~{e!6uC=?xTrZqaPaM8 z>Yw#Bo1qc?_|7bDy7jzy4}PucdgA4M-c)@OtYaMadQ;Ob?~N#N7E;B`@sZYS~6SnIxRzT@wc@E0)OqR46dv35+rKi=oFfrv)HA+?XNEVj_ zra3ldCP!f5o9O7WaTrwIj8fktabV!O7hE-R*-~hjdLQd*#hc3mf7a#eq_qm#$_frd z5JzOs0z=tKjP!y|R~0H>)G*xhi7X`R(4T<$<|;UE+;V=1s_(rpbgWe{%wvV!JrBAL z(gb7X0J-3C*x5vfS9mYPY7cl0;a~<{g(cWl`cyDtgRs9fb6=*?8|;KH(!Ee149rX$ zbZrEf0GlX)>PKxOesZ08Td_^m2nWXwoyOsB4ELfeOPsp$;f&4{Ev{_pC+rIDjSFDD z*N-p6V+-_|zr?J*KBX*=7zi8oZ<;goM`9N4XNpkbZ#ly}dCF#)BJmJ3avOD@eFPQQ3he{d8u!L!Yn|JX1jeJdSXg zoM;MD{;JeHWq)0MW@;dqyA(<8R{l3aLQKU3JNx;^Q|xvsc_II9I}+BSd}|HQDeAJY zk58qe-j<}~-Wu?g*sHxlpDv++?hyy39+p&Usp^es1^?U8N$pJH=k^rFOhLYz{iq{M-n&B4yh6%jCWTjy#f=3@7v$9xyq@ z#iw?PbM`2u`20aU#U|J<5wieH<@t4Rg4{^Ff6Y7Pd$-4MGobE~(BK~74SvA#IARy@ zM#$b*5CTFN?4-4i`1*z0JHAGFj(J!uuZNRsDs>#p%NM(%KMzsHv(%(bn3_>Xeq)&{p^3#!ddjEFT}5)wF0g6(AY5s z$iJkQ9$h{Vv?82WHxB@NtGsu(W10p1+Z8r^l=(O1Get}+GfVa1W}Kh-=J8pqVpDm- zspm1%>8)7kQ{V1lP8<9=Y^Gy<3#3XcUGhphO1;k*eBKwjK5x#ud+fpAzcc|u+LULy zEEwi9gD&Bv@6I##LJBQjtgwFDIADK_D!&h0p@Rv5gNTnPojf4%u6Tu^62pQCIK)u7 zYY{{3+ao50MFq!Tl;v#+50}oaY@REbOJTnT*A3p2W%OG9`VN2frhtW@iy@34VeO`w z7f$mq-U3lU9*tk#RgiuO|GQGA_GZy+=ex?Rfuvlfbjs{ueuvSrrM(ZJQITfeJlJB} zfZBj=4b@fp-2^Cn^6la$(TL$X5thpHjy?P@*SX&Rpc<(aYvxb@3*{Nwn)Mn<%SW_UpRdtYaFrf$Y8I-xH6G zG8b}CA0GmjJk53}-6|_q3wxLUd1^>`1&*=%=|hskEiJIM5R>^3gF}h;vEIbNlU3qz zo}qX?(UHM5nxU0OuaqiJ76Q>K-P%evt)tzSI9O_=#(iLKu?gd9La;-Yj zLBaJFPYeBb9f#|w<^5G~{p$#S<5{eiwX-o!Ew0q|t9GjV3X;@TJr`v2f@FKO z<+TF_3o2lh)6pyTdrbP0l~?xF9^YCE`+N7d_o_Mx zDE|NA)PjF4d(HhqXNahb=2HBU|JYzizZ8eVwJ|%bx{=_qSZE>Tt?t-s2+Zl9hCTGR zk^fROaAmEBC-tfDzergNUHe)0+si)4)dx;NvFSN^7Y;#5mYK*0 z^e(xY8KwuWH}5xC-$amv{p`96gKq{%Ja!)E6u~P2B-b)q@qpzOZBX*_ME;F$Q^9>E zYY(XPoVa>iV96MrYf|bfTW8PiT!+CW6K_7HYA7k>E&)}xBI)q z{{90Du}%6}qW6OGc@8x%to-2JAMd%HB#r*5xHN$(AWyCR5ZcOd61&ZwhB=$#W50(q z>keXdEI)aFmb>`i^Z7YB@LgQ^mbLC)_EycbD13h4$3uMhau~(RA~28V7rA`qag<`J zM?4R;Sw`y&-dF#?>0X!(n`0dZcyb_eu#TsH05G-k_@2U}nYTKy+L)lB+TpbjZZe+3 cbpAyP;>k%lPKPEz{K?LNNJS-~_#5$m0P}0e%K!iX