From 44d484d6d3e5a5aeeafce65e5b5543224e16a41d Mon Sep 17 00:00:00 2001 From: Tommi Niemi Date: Mon, 6 Apr 2026 20:06:35 +0700 Subject: [PATCH] =?UTF-8?q?Add=20Hopfield=20(1982)=20=E2=80=94=20mathemati?= =?UTF-8?q?cal=20bridge=20between=20Pavlov=20and=20CRI?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Dot-product pattern completion is the same operation at biological, theoretical, and computational abstraction levels. Co-Authored-By: Claude Opus 4.6 (1M context) --- paper.aux | 27 +++++++++++++++------------ paper.log | 24 ++++++++++++------------ paper.md | 3 +++ paper.pdf | Bin 215762 -> 216565 bytes paper.tex | 11 +++++++++++ 5 files changed, 41 insertions(+), 24 deletions(-) diff --git a/paper.aux b/paper.aux index 2296f66..89d09be 100644 --- a/paper.aux +++ b/paper.aux @@ -35,29 +35,32 @@ \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.5.6}Competing Reflexes}{5}{subsubsection.3.5.6}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.5.7}Summary}{5}{subsubsection.3.5.7}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {4}Privacy by Representation}{5}{section.4}\protected@file@percent } +\citation{hopfield1982} \citation{jang2024camelot} \citation{fountas2024emllm} \citation{das2024larimar} \citation{lewis2020rag} -\citation{meng2022rome,meng2023memit} \@writefile{lot}{\contentsline {table}{\numberline {7}{\ignorespaces Summary of advanced conditioning experiments.}}{6}{table.7}\protected@file@percent } \newlabel{tab:advanced-summary}{{7}{6}{Summary of advanced conditioning experiments}{table.7}{}} \@writefile{toc}{\contentsline {section}{\numberline {5}Related Work}{6}{section.5}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Behavioral Conditioning}{6}{subsection.5.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Training-Free External Memory}{6}{subsection.5.2}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Associative Memory}{6}{subsection.5.2}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Training-Free External Memory}{6}{subsection.5.3}\protected@file@percent } +\citation{meng2022rome,meng2023memit} \bibstyle{plainnat} \bibcite{das2024larimar}{{1}{2024}{{Das et~al.}}{{}}} \bibcite{fountas2024emllm}{{2}{2024}{{Fountas et~al.}}{{}}} -\bibcite{jang2024camelot}{{3}{2024}{{Jang et~al.}}{{}}} -\bibcite{lewis2020rag}{{4}{2020}{{Lewis et~al.}}{{}}} -\bibcite{meng2022rome}{{5}{2022}{{Meng et~al.}}{{}}} -\bibcite{meng2023memit}{{6}{2023}{{Meng et~al.}}{{}}} -\bibcite{pavlov1927}{{7}{1927}{{Pavlov}}{{}}} -\bibcite{raz2005}{{8}{2005}{{Raz et~al.}}{{}}} -\bibcite{skinner1938}{{9}{1938}{{Skinner}}{{}}} -\bibcite{weitzenhoffer1957}{{10}{1957}{{Weitzenhoffer}}{{}}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Other Approaches}{7}{subsection.5.3}\protected@file@percent } +\bibcite{hopfield1982}{{3}{1982}{{Hopfield}}{{}}} +\bibcite{jang2024camelot}{{4}{2024}{{Jang et~al.}}{{}}} +\bibcite{lewis2020rag}{{5}{2020}{{Lewis et~al.}}{{}}} +\bibcite{meng2022rome}{{6}{2022}{{Meng et~al.}}{{}}} +\bibcite{meng2023memit}{{7}{2023}{{Meng et~al.}}{{}}} +\bibcite{pavlov1927}{{8}{1927}{{Pavlov}}{{}}} +\bibcite{raz2005}{{9}{2005}{{Raz et~al.}}{{}}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Other Approaches}{7}{subsection.5.4}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {6}Limitations}{7}{section.6}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {7}Conclusion}{7}{section.7}\protected@file@percent } -\bibcite{hypnosis1930}{{11}{1930}{{Hypnosis \& CR}}{{}}} +\bibcite{skinner1938}{{10}{1938}{{Skinner}}{{}}} +\bibcite{weitzenhoffer1957}{{11}{1957}{{Weitzenhoffer}}{{}}} +\bibcite{hypnosis1930}{{12}{1930}{{Hypnosis \& CR}}{{}}} \gdef \@abspage@last{8} diff --git a/paper.log b/paper.log index 65e6385..87851f8 100644 --- a/paper.log +++ b/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.3.11) 6 APR 2026 20:03 +This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.3.11) 6 APR 2026 20:06 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -460,16 +460,16 @@ LaTeX2e <2025-11-01> L3 programming layer <2026-01-19> *********** Package rerunfilecheck Info: File `paper.out' has not changed. -(rerunfilecheck) Checksum: 9E4F24708DF7FC07D8C0756D2571294A;3992. +(rerunfilecheck) Checksum: 3756D58C00A2F2930884C6307B1B689B;4143. ) Here is how much of TeX's memory you used: - 12123 strings out of 467525 - 178603 string characters out of 5425861 - 609396 words of memory out of 5000000 - 40848 multiletter control sequences out of 15000+600000 + 12129 strings out of 467525 + 178710 string characters out of 5425861 + 609424 words of memory out of 5000000 + 40852 multiletter control sequences out of 15000+600000 640039 words of font info for 87 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 75i,9n,79p,324b,573s stack positions out of 10000i,1000n,20000p,200000b,200000s + 75i,9n,79p,324b,571s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on paper.pdf (8 pages, 215762 bytes). +Output written on paper.pdf (8 pages, 216565 bytes). PDF statistics: - 285 PDF objects out of 1000 (max. 8388607) - 238 compressed objects within 3 object streams - 60 named destinations out of 1000 (max. 500000) - 209 words of extra memory for PDF output out of 10000 (max. 10000000) + 293 PDF objects out of 1000 (max. 8388607) + 246 compressed objects within 3 object streams + 62 named destinations out of 1000 (max. 500000) + 217 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/paper.md b/paper.md index 5d26e05..12bb5fb 100644 --- a/paper.md +++ b/paper.md @@ -281,6 +281,8 @@ This is privacy by representation, not encryption — an architectural consequen **Pavlov (1927)** described hypnotic suggestion as the best example of a conditioned reflex in humans — learned associations triggered by words. **"Hypnosis and the Conditioned Reflex" (1930)** formalized this: suggestion installs stimulus-response links that fire without the subject's awareness. CRI implements the same mechanism on transformers: activation pattern (CS) paired with logit biases (US) produces token sequence (CR). **Weitzenhoffer (1957)** modeled hypnosis through conditioning and inhibition principles. **Raz et al. (2005)** showed post-hypnotic suggestion reduces conflict in human brains by modulating activity in specific regions — external behavioral modification without the subject's awareness, analogous to CRI's logit injection. **Skinner (1938)**: operant conditioning — responses shaped by consequences. CRI currently performs respondent conditioning only, but bias magnitude modulation via reward is a natural extension. +**Hopfield (1982)**: formalized associative memory as pattern completion via dot-product similarity — store patterns as attractors, retrieve by nearest match. CRI's cosine similarity matching is the same computation at a different abstraction level. + **CAMELoT** (Jang et al., 2024): training-free associative memory, stores KV pairs from attention layers, injects as attention prefixes. **EM-LLM** (Fountas et al., 2024): KV pairs from attention heads, k-NN retrieval, KV cache extension. **Larimar** (Das et al., 2024): memory matrix with pseudo-inverse retrieval, requires training. All inject at the attention level. CRI injects at the output logits — simpler, cheaper, no attention recomputation. **RAG** (Lewis et al., 2020): retrieves text, re-encodes into context. RAG informs; CRI conditions. **ROME/MEMIT** (Meng et al., 2022, 2023): rank-one weight edits. CRI modifies zero weights. **NTM/DNC** (Graves et al., 2014, 2016): gradient-trained read/write controllers. CRI requires no training. @@ -313,6 +315,7 @@ Capture activation pattern, store logit biases, match by cosine similarity, inje - Fountas, Z. et al. (2024). EM-LLM. arXiv:2407.09450. - Graves, A. et al. (2014). Neural Turing Machines. arXiv:1410.5401. - Graves, A. et al. (2016). DNC. Nature 538, 471-476. +- Hopfield, J. J. (1982). Neural networks and physical systems with emergent collective computational abilities. PNAS 79(8), 2554-2558. - Jang, J. et al. (2024). CAMELoT. arXiv:2402.13449. - Lewis, P. et al. (2020). RAG. NeurIPS 2020. - Meng, K. et al. (2022). ROME. NeurIPS 2022. diff --git a/paper.pdf b/paper.pdf index 6fa1d7ef8e63beec0ec01aab4364b6e6ae0f11ee..798db1bdc4ee0025b5397e4861219cbf3adf22f9 100644 GIT binary patch delta 33347 zcmV)8K*qn)l@0Zq4H6|#L`E$!E;kA#(A34)3NbM>u@WcB7 zOYZFNEsO$Aa&C)juQ}UA@0$37W2>Ryh z&7{bYQRInzphTPku_A3Eu^}A{u_a?IaUc`$Jd$;I&Sayjv?gagX-6(HX-~l<(usmk z0vZjl4aJ}UK}mUkKv1$wg08$GT(U~8vYJ>Yj2%`58Zg<~MEJ)xTEdF#y(b5E0$?2c zi3#`NYyz~4q?L~3;e_(B@|rYmkasu(98L2VZzu+I*~aKD?#v1_{Iz`SqC3h^2bP$4G5hvGip;Y(q*H#W+WvFwn&^! z$d1P3lwgW~+&g7NEry&%Pz;)#Q6M_tj2yrPXFw!0;oxhBzZg_*U%(NmC%w&ki z8x~NQSWwH5kGG;N=*J^2LP>aMZFO)!%?UL>Oi!nO)V!i+^U*~+o=$3hPTzlDJ$sA9 z;eU9mlzJ(LsT?M9xRk?K4sE_#J{{+)_j33~4sRhWIsYr0wyU>)k;6z1H`!n&hx_MS z-PD_IE@3+KtBiHo19SH-BlU%Rn0>g&Sj&({`9U|l%f_QUE9tLC?w*y*=1Qm8&2di8 z`y9@H>~Z*Z6aV+j)ctC9f6Ty_`7p}sEUZp)$mb=^^Pws_%~L*g&$er)hns)odAB`` z+>}0d%g%QaWcoyPQVO(_&FvnT9>x5c9qF*X&Cpl<#QZG^Gkq+cl&Cj3%IkbJU-j&V zlGi2c=Xp{G^uJOUYc4O)&dU&s?lR76|Cxt>11i?^>HOb0nDbH+kMQ+0-@fjNe3JXi zKKI;~*3~iau@7*ApD*d|3yiN;K1FO>Yv?Yobh}Js&hUH(?{Ags&ad<1d3NdB+^z02 z^rS4QaprLW_#)?UnxB1mSc!+kxb2m2m6JCv3*>S`N4tCaAf|hY`Slu1N$6UIwi|7K z|Lb<0(p$Sl^*1F`OCg;1Y2cq_g8wS3@v@|HG5ObASW9YVED;CFqJ+>|BV?q~tW+3L@d$WP0B4Dl!Is`;CII3MznXt$_($=I?*UTi4%-Nv0| zjD3A)t;6-c1Gf9xBZT7~A+-HM_`UppaQ?9Kwb9#HUu58A=lNKAzxHbWTfZ-Q8{=Ww z`w09wZLqC9#1|rhX)7U3e90hWOLH|cKnn4e|FWj zxAX6s=KZ*>XVdn>w4RLGrk&p0jGK$u_&MBr@Nku^|NQq4iqIMbi*IMIX>xaceYVxo zi>1O#Xn>vZT>EHB%OfO#By~r!55nOgWmYzY;={m$A5M#bY|E*Kfsw&~BF!Fiw0;=K zu97y3fyJQ9vFMh-VrhNtjU8gCZOwx$jSsaCVTdK;>mm(_T?hPnH-jvlsyPf{No$l} z91;;*yl;4`%nM;|7xRjLWHFGP(1lr$UGRmO>_3{UdD$m*izi~{7XxuieNh3}%^qp> zQwzYFp#@M_?kIo_J0H1LHVv^v$BpP#J1tqKIweQerCR<1u^-kXu4R9JH>}ZhQU>x0 zHOgxMECA-okuJyjh}ZK@+aSsiJxI?^hYwhoDZWv9JXagT9FrE^>- z69!n?n2?^h&jF1_%4liOlSu<$jf%BNLo7AJ(wYI5+%>AL`Y0u_+Df)Jrb0P@X16el z@|OztWy;xnvAQR}Sl!?k>#C*Hwv|7)fI1)D9%IPN0nxEW*VtqHSv<(H4J$tUAJ7r~ z1qx+uWOHrL_An1V-dUxON86;o2Xc?l~ZmODS1b`9%cg zX!P;**WHSOO%MftJBbc{Kb^$z8wGJtWMLZQ5ewri4XXC!=3^Apu=6&E!Xl@^gE`j* zXA%84nv~>c@w8Y{nvxGuoOZSBHj9s|w)7UiIBAUr!AmQ3xL9Y7vuu>T3JCZtzA>8R!!Mi{dhIX`vuDgsN8pUPY=8j$9#C!Lfj-@ELm10Na}shSO;V6Nu!`5Hxuw z9-WA~2ipxGkAbakUB-@>f#!k|02n47orf|D0Io)f-$=7OCYMtAw9sR(ghTg(?DkP+ z)In*o8toCle_`KDCWOb+ot0%6(c){k$+O&%w2!kQOyVS9MHEI^ZjD}Hmh*KZtcv+} zNJ%NsLECcWSgF5tu&XWTy2={~7S$3BkO+W{T@+supALT*mu za98;Kl#w-p(mbQjkft2wP_#*bQ{2qK(WAW~x=K9_f4K9RcXo-Z3eRulD5`N%1|qNw z7HIKlf(ybf7-R9*8^IkKU`?7p0cx_aq}e`t#;rKy!EYQ;rD3U2sLlh^Bx~rHfd+9J z(lkpjNPtO7!@NwaR0f8|2_x?X@+f*eXHY*%Q$L>X$6?8szn`RG?&u0in-lQ8*zyI9 z$-V5Yf9)XW{5g7?z4(C8bRRh(EmM#TQ7WD24@n#yT*?kuj71UT3rz^eKlhNK_;Z}` z(xL!9WKmouIsAg!X`X-+b*1FmMxw^G7$_a-V}MvAUE?V|0S{vM>_e1STe_@WUfxXddYI%16_Cseby~rdElOp{p zZ(>dO5pCBJ%b-;oGNHCF#$bFn-?0J~62OmD`OR_fCp2^3r;+tOuH5#jg);ZM5d!by zR%+k}3N*Oua@+#48=+9?FMQ_E0!LfppJviaNMM^>n0wC!+I0!zmXEu&+CD$XaobOB ze}iK_Jy<3dP~HASkH6=?!#ANv6ZmcXB09VYU+`nWj31LIV$P2RIBVO_3L9U-+F+_x zugB%qu-kwHY9Vc|?D`kpJ*oJ13fI<(OSf$rg1H~T6}!WT^R%cWdb4^3(;N7h{tTsZ z=BYVxwx(py)B#!C+G<-{sdF2W?8XVfe~F#LbDYq1`qb^gNBT`aX?t(%?eh8ipT2QR zuni_1Db%w24{$hq^3MzV^_}cG=thorXDssBQec#^X6E@$#qixe9z;Tc(0ZN?;ViH> znCZ4BrCgCTEm>L;F9y?3+fzFkQ;S3C62znQSa=1gC)XJ#3lr^uR|1yM4ico?n}! zeX+(5Tq-|}AkZCm8JyaY2E6J!e_#~&4=d2T56U~b@&nP>-x*GDZT(IoVrD@Wfi>r7 z#CsGIzEtmvFr&U-2oqQE&$Pyrib*9onodopj%EK!v^}(TM%X^~qx};9V?SVei>7{| zX49P9z#-7mojYBa#keezkKp(WI{Doql0v26MlZ11>1D?NywzI0%(E%se{?5AxLEaw z7+2?E(;yT#>V8}vBZ?iDW9eswol#^f8#9X{V*>YnHhnuDDCZBFaRwK-{~bpKAnFwo zSX#zJ`Ps*SPMXKr9JsKar^AwT0tnEwAMgT$rUh__(3~j`w<;*?-O(vdTcu}?H=U-L zbw>EQopt9t_ZjMXQWy?-e=Gb9(hk!&r#U6uLDyxoVRS0gGt1!K+K+d}2lL%VSc98a zp-DY7se|SU`&TSppz!k2ya&=c-OC9p1^P3^3KmRzVm3p zQ~Q)eN&3-DON{*dPnY7r4}Shted`@O3OfL}LB;fpSiwA%cqSf9e`A@#u=#pni~dka zySQ4udw2DUwU;;w_LCc{oE^eL;E3U=GaUa7WDzZnRe}F$$Jb31?;s0cHhsmAAG||f zkDBKjlS+J4^6}IcyiXGly(ejhR9n$-PEGde*;xZnbe zlRdy<$OD*RKkW+BMEla9u^J}#Y^sj_tW6bFsCkqS7X|KH2)B&?fUt5viRCLZ?3~$3 z>=4C%6oUk=;=dq3WLOl1y_)Tvxmcb27mJ{hlaoOa69G7v0Tlxi1Ti%@HZl7oh6q*2+%gx*z^g(q*qQj9hmI9^s&)=?o1d=8p+)Q7H zkXO>~x8Hs%kg)d!1Le{_aXU<5_4>_kZ#=eflK_L&GR8mZ#FI7WUgr7`h~4+Ro&yc{0C z8y*kO#yjvNS#Uk%ata=k+`IO$tE3BweT%~C*?$-AhL+AZW3#h%e<(0PKJ>hUzM6WA}fsovI2I)~1 z+Zl%?S#NyO$dtusBH0Cl0NniwiqgFs0oQ z#YP#!iW`!W?I$IKe1GvL{YrGNkmH^G!`89OUrV#&++6Dk+AVATu_dRasK+^REARCXi=?4{`bLo{4 z+;3cIKo0@(qyN7w8I95rLT}60bT6msHIBBavovVYP)sg0ee?L@P1rGBfu zNV#;oFlTJ3^sk8VlTcL)Y9pCtS~r0p`LtydJRJXf5PF8A^jR!8ua{Cl)7z8C0^%PH zKA%9BhajqEzG%5p{&JB2ByBr8m|C!kuY@lrzuRsp9a%_Blhl4ya0Ht;0XXIJIkWS} z*~ds|mlJ|SMt|*i&Bft$%WbsoAt%0_`Hlin z+A3C_VN6#D&dlkZ_h5V1_Z|Cr*YCNm-*049FL$*nvfk$VY@wIfk7%#-S?#*40>KFg zuLf#MC?B{A(UJs8H^v^m)y))S!7R0`cP2KL0%I}XaDV)0$5o>cMsvAzySSbSI~g-5 zR=16i|Crv0Mp(bg7I|y7nHn-me`ReWLqW36K4$d=u3^hSFsjz0>!a_ zO_=f*U$8Jz3%{!*Zf@ag|8BWhU*Xd0>_;3_1MKb%=bgpO4e%OJyRoIm^RG{Gvn?*+ zDr#w!wSQS!;_%5BTjCs879*{T;N1N7f(yQc4sYiq zH|#geY}z|zXALpXbYY$Vk4jX2fqGP$&z1dbl^&;|-L}(J$Hf`Ew{lb0c)_stpy*}w3oa2ZL;g6;q{ z@_+t3hxVMwsatyP2*RC)u9De58Xgat@n$w@oTOP+zB-%c(R~Q--Gg{1RGCRSz`Cf$>j9$VhJE;ySKa=X-=XceJHVgP)ncoB%QN9z z;T>yL6Y#8G3#~(;U)KZH~up{sZnlqqCDi5fcG9mjM+669Y9cIhSDq z11W!vQ^9WAFbuutD|8xUU{NJYvgO^9VrdtkThIpBA>F}=)mT_72bMD|?axmV)onqW ztrtI1B1Jy(nW8PC=wd`q;B+}UoADemN-A10w7f&AAOaPYAcgRLgI4&uete&ec`5OP zWDF;JmMM;F8$E&NBpL5K6eV6{xx$^Zx=(-SR|GCTMJ({;VQ0I+Y`}B-?N+pIW5$UT z74Teqp4>p}@kCaUGUu4l{FX|ZEB|F5s;X2^Ri${m6*#9<##%3??8~Hbc}^sgQ0{-` zyRm6L{_QCNoW0uaDppuVrc&Xlr={Eahv|Aa=+n11pC^^V zUyx9E;ST@no?{W@&7K0VKSH3#giy{3qDqd&Qg9-a04C}v=;Lzq3wi$*3JQ}F&k_PM zGLyeT6%jZ!3NK7$ZfA68G9WQHGdD1o@DBkL1u;1{F*KL4tN|x~jQ0glUR%}$isJ6> ze7L*2ySqCd?oROF?(PJK;2H=PJUGGK-Gck&^y%)L{@<&*x2S?Wrq8kFTzf-7qO8Us zV(w@Plyr1(V_;!q<^_l;h-$Mi1DKiF7@3(_;V3B7t=;T^|B=H{XaZeatsNbB|6w8K z0yJ^^kcpePeHbc#I644i-R%G@YycKcUKTE1W@Z2@Gc(VB3>{r~0pcbe*5&{OMu4oN z1JD(YLd?<0+r`?_%Izc1e;xtUW;6g69v&|Gf4Kuh?13)UW+n~*1rs+bp#4WiGZQ<2 znxmOD(9QdQLQwNtxw$#Bt=vJCLbOCyFXVm7i%XsS4LNByT5v5`YX%_ z%@PjgVvhFqKnFKhxWDQXw{`)Veemwh^zXy9b#U}_@c9q2uy!!F_^S-7E0T1#v-_8x`fr2(AH9jawVn6B zEj}jK-R)xw6dXTx!Qua!Y61UVT~S9n^Z%=VlW{Zo*aZ;>OS}KlXzeO#?FBSfwsteK z`g>gdmTUaAXm-{PKxIc)>%XoR00Rp%^Z(I(Y?qns$Mxa*F_ZsN0Y8@Ke^W|0m^qsN zwPmayCv4*4V&V<=amXKt1K`8*v5w|IuYXN3fQiw;(e1+p@X?$fz{1f5?ynQ&# ziTow{8*u`dME@Wz0F&4s#0_8)|ATk{OcMV^T+9F_$v=n%z$Entu>zQ+{~$I1lguCV zkzMW&`p7Q-2YqB$_=7(3Dg765f8J4 z)W-$I>uinVx9h|KYX1&-XacmK#MheD!N8|K#eGEj1a$d3)&H!2x|zGn2cd5Nx{N>Wf&buty z(Ba>bRXU!1UyKq}r}sMG7N@WVCyP%+8V3kr2^iFc_kCZTeKmt@!P`N9yJaZ~oZY#R zl#9?GJo}}*8V4#@#=_?JRQ78*<=|f`XBc8NV)TQ`eo+*f=FZ`eLb)*z!qB2!dLjS1 zy_-eLpL{2lO{9bKJB?*4@zLF6jeDH?v{tRo>e_=#j;o792!4w;HcjaxdYC4Qz2H+` z8nYp=kjE7nKfD~$pEM_br-@7IuZ-goQo$gQ9Vp+8PTrI6X_oC`r)f5+2%w}QZiMj( zr6`xONUk9pDL2X`unu^9B_mWz(groB``$~`b9%1PP3xN!kHgCndoW>7bSHqm-IeRl z`SJ+GRAn+PB@dZu0kTfEtf+)FGp<(XC!spx8rxLtqc`wg$XI%R&tL;?6Yg8;X0N}_ z+Yj%>jjcTKY^vOJn0#^eTGE|hHKNyChjEJ;JcVM^#S^hJ<;MEPmfXU16+$n=iYOQ%6ap>tnWhQ7FmSDRRwaF%svQa?dr1JE z_Yk(GKE6Wg$^|G(UnaUpX7k@m$QCs`XYt{0PBSX{pHu{YYR=X;f&k|So~e!?ZagqcREkQQ0y>Y5i4B(2K(l8fzjnl|Fe zM?1Y2VaEY~-wiJ*i72YI`@|BeMnv*909MRO+kA=-^=sT1KZcuEJK=W#x;f7;QIpN$ zXq3;P%X)ERCW+)}mJKW&FBZtq`iH5|%tx?XXGA7{s*{GO)LAd`*fywSKS}I8*I7Hr zIvjqwY?1p$zfY^9oykL|BpXcmRB4wPzdx}LFiNF*qPJAmd|S%U4y`#j#F(mt-ApQYnY!=uxysq7-LmUa|9 zS5s1dl{Bu+<~>B(UTg2;w8M2^HsuMkH|V^)qCa6;E-%s7A?L)?qYKiI zh$0(oi%}?4I;BROY+w|B*^;l_uEf#5rQH&K_{2t4R!TXQ%2^t6$(p_j71d1vNk^S} zlVuxd+<+s#@y66J43=t3jW&`L7jK(^;#7-&sO_j}Zn_)K5c)2J0lplm3T15^q>Z0xyK0fU2~U@g`RihT zCQ`-YVjAf?tn#B=q9BO4qy)m@I@ex+VTYMjXC_4)ye%#s$9$M#i_AQ;FfMB3|)y15cw!8NU z;g^O@*C!1F=rb=g+g)=%^`yS+iI^bsO5Peb;lWsK!ua}Q4 z=Y+^j8*>}zA=U?5HJH*a7`C(g1wQ)SHpxJTW*)+2=@yck>f)Q=#wM3^enE$SF=&4r zbY}one+vz&3*5KumYKN5e5sN7TCkELa9#gwv4eEDXbnaPM2TpzjxDx)NWb}ykAt-S zvTX_U#A=eqAh8!cud#8j8izhHXR>B8b?a}8C^yy*S_@29)_b(ULUP8-BYB1WC`+&S z?|w&?d=uS?4an8W!o}ZX1m~rHYXhr$Po5tyDpu?rc*a;VpBTdL_X?gdEA&v3z(A|d z1`vNB9JtwV!Naf(D6DyJe<}^xr{5CNy=)cUe^SLz7PS_<-kmxrxj0?%h|rXr(-*O_ zt#{05se#-?$>D||h62lkxVWH&>K-JFRFuI}@hIbA2m93V9?8CNZy$tz3~=D4Ar#L& z-Y_*7TFQfd=f4=&ptjt*U3^@pE;d$TO^Y8T*DPE1OK3IHEg1ue2cN>crp@n9}-7hgP>*Z zsv+|raAEK?n~9>}I}4eWXfFGpuT!atR3+sdh}_Ce%5SV;$xdmwM8V20a?%8|YQUmX+34ROc502K6JiZnD5N*jbYI>8_gQdDQ+_(nr6u5q5`47e|L@LIt#vUAwCP5pD)0izSeM- zvt-XAmtMKYX`#pf!91R76WX5MbCH(wLL0I8#I*+)-zRc9?5i zt0yWM-nC9IPw~rMgCM8#5WPth7}!ZmUPtWU=(WWr2SB;)yVfM{(ks&Ijd=~tu+ZSc zWq*r~ZOFq_fwF18PI?MyOpJoE>iY%$Qwj9w6cDyp$4h z!_96uKRvpCjodvgp5H=X^1{P~uv6UDGv)Jjq%0e)N|&U`$e6)p*={MG_M*cX^m8^& z-Y&t?x5cPJHv|ZIF;L4HI9>-+S=fjt`EUKs@pvgiE(bOohW$L?m5QpGjk3rGU%7yo zo4*qr8YoV;ChO3322tU_8F$j-zuJ%n(=82G z%h|>vs&HUO=8Vb&SK9o1kqEmoRi`;eu0<{&jSXuQZ1y}_^LTFD@+HS+WIs-(6`pk! zT7k2Eh?sN&X)+zy)^~x83g{kG>>r&_a-KCeDrqzvLu=~rTphHU!%D<#*ylRBoCA0O|`v$ zbUrQ(iZNS0@Ev&sQBmV_H``)ASc$$p|XNpVIei?**@N>zG z*NIxzRhTBlGa>i_pq{~HLIhQK{$n|Ry5Q{9fb;X_3q_Q1K`*{_q!G9>|A-tjrUL21 z$tpUcxG@S*`=b^Ht|6Y}!S_o6Aun2DzyA5z@h^_pgXRmR7j zB{YUe2yg~|>JzUgxT1SXyk9?5*DjrMeyh@2h=mVBSK)?5JZt1fpzyMz48kvio4@&r za_%o`wJoqI*;KSa%BtUPK))L>TQBSaq%KFYlRTguh|=MDS&Cg=G%kj(cTy9gXtVbH z8U5(y3!(>ek7dgLh|i@U@R&1y!-efSGUd>W_jwAXWxCRnm3J6fM$?M)9UBteoj76s=;D3E&v$R1yyxwH(Y(KsHUL&GZ{-Sq(IK;GYh_#@@=4Z$G5hU?_L>BfE5VR z>*O#JNrLX1U7ui~fczev8FhPnFDYQO$ilqwRpdI9wyI?^Y)j?gm?8Fr;2tY)U!*u zX&0)0&%eayI`a$|!a?tMm9H&ms7^gz*rO(^dL?8v119u%y6sE&z#>jv5|CWLNMeDf zNxL&YSE7@K~Q7J5!FYfDo)UU3WJyxUFA7$mp~?t66J}n-J=-dKso0v zjXa*f;NKEE&(F00e$(3_Y8F z;S{s}S1k{@5?I{fm9Jjf+Jj_ZGLE5K(eQCScdMv#Tkz$wX4||YbZSK1!5vW4fb>Hr zld=s6($isA1IqN;m2HC@+v~GFwI=xs@6&aoH=Bo_8LA5{{1-cb-(&4_FfL53RlV5R zme9Sc-h?~ra$o2%6Z#x6IMk#O$>j2Xk+JnC5f-X(_HWDv5DIW1fAjHYo3|6AK>TRf z*d7#FqB^1@;1>4wR#7`~A4R=LnbiLDmS=yo#OAed6KO3+68qKFJ$fq1Ji2j7zy(LF zUR&tet}{4wOfx{s+Ll!xqar)49^@RCk`T<_;TZfg}nq2#CEKM6GWFS$0;KEZS zUSw*sU7P8a>m`2On-Ay-uZ&NVF(p9F>22;8LIY?~Mq-W5x@8%-AWy~p)HncT)n(j* zB$)Th0;cDt0}}BvA98yt;7C~HNe(tk$TF@ELNU=f>^L2Q9i)L9g{D7Vy<{AAzzn1Z zZLK^*RjqweZgiaY#FqWbHO8uc8cdqs5+56X+RE{0GyicqKuyCCY$7_|(dh=I>D_{q zLs%plwrKy#)EVO#)PUfwOKYB1Qz@QE;j7#7JiXebr4fvgL306fXjIKHgVd<@+{35F zLpmwnB$z@Aqa+st38}=D4HM^;oH)ybGJDuLgJuPXFYoCv9@KT>4NOgcH_P&-Rj2_+ z(F^9=7fY&N`BtQ|g@jCGe`u;BZ@qaN9|jp4j=YlNo%y@<&QW~aSiMqKEFNO@S~~obs>$lj&@7?yOT+7zg%p&9 zGw>HK9~*T&K?EbY!q0PfqV%l+xnm2V9%Z!3x>q+)`oQm@7*q>)u= z(@PVnT5)Nl+B0%aa&|ZQ&SsQaSyRwvxK5dKMHw8i`5fnF6GpjzOjP>8uLy#HVoBa` zcBwF2RC)Fm$?%j-j-xCCTNS*a`_^wWp%tim?t~49_PuLB#mPX>{7f)m7CwNe=<_M& zxt}g|;V*1_WpuV4P(h2xT^Qra8+*@ZZ}7$HhRtq+WIuUk7-z>V*@d$qK<3TT#U?KM z?wY2UsAy1y{K2z-*Eox-QAIT_wLa_Uj_z)kF5~PfoRrZ0+BSaBF%T~|rpdjfh5HB* znQhZ4?S&gv+?hUku#56x4Ox#(0pVuL6{_EDo(X-jvbRkgf$!iv>A3}2j1M!#KwP}u zop}um`U}EbvC4~{z^A~s(GulCS~)Qd=Oo(#kd)vZvPleop#$6YI(S4H1=y>zXDI?z zqPih18AM`IRUNL&GOf3c)ftf4LZrovar{*GG#BV|z7j?Mr&mV2mvy4CT}A6?*LiOy(H>nh$Tr*rl`4D{~c|AG!&mrxrM6D?>tNF7ytU|Hli%r zbQqo4oiJoP$5nC%S~9?p1r}+cSjy;1FE?9Ea(Kn-?9RRK$k3EFGPbr5IU8fnhrNS> zxU`<#igTrOh2kuMCv!2)OzNrrgx`mW)XgvqQHfyTlonvePwR>@HYnTl8TYKSD5uK; zZ;sY~%o$0^4}US#|3?d&0bQ$!oU#=+y@$CtX$?+h{u@^YYUDtVEy-@+IFvmKuH7U2 zDeT$LNjlA|1R33MsZ|lF)CRjXa{D%8^<<$@ykD)Ho zTrya=7toW1EG;s|B;d@TlQ;&E@}iQbr;fx+^FqmZ3n>8Zgv6JuCJ-oy)52&ndH^YZ zzccPxnvahQ8}8yCiURM62ga1ufC+=C8_!@=kB~8C*pM_KF%;k$<6!5`yxWOrFSrm@ z^R0^9g;Jnq4Nc3O1!;WDCJNc-sjYiYg zujn@o=gU8c!|8W6njM?qsJ5Q#0iV);5yWX>eZ~kZez_p7oXKhU0-PTXz?C?d_zSKL zc^y ze+w>Zxw1kGDo(6A5yl~`T>p+1>cYbca)i53%q&O`_qpzRjc=F|*XSH`Uhw6#*9YO;7Hkom`s{(R@6P z^wFj79UCKPO~dJdP2rLgy?-%$CUn7XQ)F1 z6<(=>d_Kwh7&94UHog#NE0A+gR+d^rIkfBQ?dVr$Qg)Kt_u8LXes=*V(`5C@6C6IA8;=0gD6eBlD179X)3bzSZ$X$8xcOv%g-Hi_GAFsln7Nh^q%5?TAvzaVD{xJFYcU#VFh6OFX*h@M?V63%Q$ zf||@8>l4U^u^wb80N!X|0wnPiK|wD;Z|~V8ByP5GRJ0d$4HJ__Q;%XwR87NJ&v1?pK^OeDoY5I1!S>}H`aAfQ zk4r>rtmUU3NNz8?dj@;???~o2ttOF3LYL@6P{Ist-E|2&V#4fg-2|HPY4WNtS^6zl zJat5+bWmi%xzfvmpMtg8WO#;lc)kgVJPPs(G6=qwTKK-o=xEM=V>jffzEdrA+H~oS z6nr+V%I#qw&wN~ZlyZVIgMYQr{H3$;#iL+@l!K+0UPBjKDXy?UDray%b!macg1@X! zi!o_Q4)7~HdR2eH9LX_HdHi4~Lm@!_zNnf?2y+`#JvzYfQ3L5jvnFkbO5lIn|>Lwu}Xdh1LX=t!KZ^Xql7ntoLVf z3>19fgR4Ej=H)E{^$icvWK4%Hq5hqQs@+1vJst1e%6_7M%mrInz;i2xB}V`^B_i3+ z=aDcS|${tpW>k)Tg0XqeX~9uY0)n^GvApwb-rXaYIp$Tw)mT&*FVw zcM#Mw_9P2&gC>OEb9?lOIoJ8Eu(Z-H!hRK-PflKs!9$XYinPisg4L?s%ZkY1**75M z$nfq>kcm-$2^~(*{+cr*4Hz3KZ9HQ&nefGcel4}B?j-4%dI9Q(r8D{Kj7mH!wI^Bu}r63wb-~P`P=AQQQZ@TwOCgo=T}G zYCB(}GN%A0$(5<#Ta7Yy&6lav0&Shs5i0#uMMqBdu}N#I`9+h@a>+>r9C$*hROWtu zWgQ#+JuUkdc<;0+XNkZHg8+L(w;oa#^y9&Q*o>|GIG$*0q4`UwjAi#iE~U-Z-4#v*dg!Y z{23R)ge{L^C@c%}V%IV)pThW;tpt3WR{XM>GE@EC%{J0E{-ZrJWT>v-n)29MmoyT8 zc$9N*_C8Dr{E=TG7oWY_r;y5F2b?4UOZ{*oO7MnS6gkU#wGI{g)pbcThM#`wGglns zh049R;dP2?QG{XaWF36}6riE#%-*FV2V8Kp%73UjWKSf!*ijKkd1x>U#9te>8$1R5 zDqvmLJGBSe_w(t*@epC&&R&406jPXg7DF72RR@-$VVR8%(p)78IFBL~LdY2$n;z#D zgX0A+SV48a4np+-TI^*RDKbUgmmvw%yQQXE+vzSMu?dynhCNwuW*G z8grFRlUO>4RHcWcEzZ=g7@GMVy$I-b=Npbex)u<>aw=H zGVLZ!2-r$qpYRz1s@z+LV`;6{XxP>H5pA}t4)7gpIzKYft)Lqc6Esq@AmeQ=|0^t3 zf>-!V(i0i?k=Fy5)pyD~`JzgEhq3f*AH$5TK4J=!wK4n$`DQnya zf79ma?r+q=yh!>Sdz*Uh-&SbRW9f){4taETm}sZHYkQE^m%Piy=EOMpDXm&}LJ&(z z#dVREZ@sCLn^c2LzQ;0N62T#Tj-=D}Hv9aEjV z6eRa?T+bmBj_~dZ`M7i`B>u}rhZHh}npLUsrdNMw&Tf#(C^58cp4zP>eNB9J(H{8T!>tL(3I58;9JgneUhX3^4aY}*stwr$(Ctv8q?6WcZ?wr$&(*tTxIbH023 z-hbVz_p^Fc?W$dCH=g#m8roo3&pg5#E9$}Q>38U9Jpu4LkckjaAOqLh9!jVsg?r1= z-L!BtYamHXRyNF122_a$$;QY+U=6Sdw!pMC%L=XB;P+Ny_nmh|y+fWc z3`Zp5CD^nQGpom=aC6vkZr0QOSt(1Qg#Th$pDQf<+oGa%5E19EyfrYCUS_dYZpk`0 zjdlw!dY1>Ttk4u~gOi@ynwGgEjvD{%wOac8lp5Q4^_E^ER1cDzLqU|$A&VnF_ zWXtc?N<6@9r-tBVHx%ed^2vbp0}fkx7!!$80t z_;GU`F6vQYPIrSFaJa=%`Q{gAaIFkF^29DC3Sj?V^h#0+8b|ZEIuer#6UptfXfUyU0Xx`TG^-M(~M_sTI zgT=5wptavu3LaeX>Dd_Gx-6vQm<=F4k7ty^#fLxyTAWVcV;guqdrLif+91;123eQS zd+8+3zFsB|q6bh}k|&{z|(emdV%zwz*G!LHbCf zKi`0igybhA+C>R|lx5D{AxepOLWa)exzvfnyOvYY=GrmgzO#zb849?lmD zUIxkkU3J5|4w3ye(ak{F~k(0T=>0UQc%IA-=# zWtUx=U={<7@A(_INgCjdTHpZMA_}BCdiH3PVaZ4`fsvT!ec6P^ z6HlSd2V7Zzlj1mf{PHBHdyt-OcYjJp0NNqx6RbAYjs1qYE(rG-16_a&69IkR`P2Qb;PbJ90oJYW)z z)kw*PAnXN}N|8sWtGQU?0&u&<;0HG&9=DH781`%ndGvZ-|Kaed3stmG+9}?k9aQ0I z(#H}@S#Cbrc>(6M3sB;$)Pf%&{QLOHO$)m7OZ$34ek*Jul8_K(`WZ4bbyM8rAxO;- zSWX^o_D;YC#^Q(#%@a?VfoqUPeEGDTMil8rBHjdF{*>!DZo05uup$!0S3pXqtC4tg zgnUx_?bDA#JNvZ^+>h1R7pJ~5@Vaw29zCIZ*$Kz%s{#xP&wBc4p@gJ8*iYwQl`tRL zWtd$x5@{O39D}0+x-s^YWJv@xsM`a)F#AtgNc;)z4bSUepr{P8^&C>I z%B7UEi(-^tOQL*#irc{!()g}lfNitR6XjzO9$)|f9YZIL%D@y=fxoDcr`XT;wk=Vq zc`Fr*)1>kNf5#e$+Xp6bo9A54AJvl9#2*4=JOxfD6e8G&6 zXZP1fP9yS|k|?l*NTrz&p=$a+q|GmnSvu{6vq{X>mu6VJJ(#fqCLndx|65->9e&#zhb&-2G$f{irfR7 zznRwuc$588gEb4#5$M5l9d1^3WgC*z6BusEW0?-DQ|;!sm{LjD;h7CpSUc_v@auiN zpBX*jbw?oJ_*X8%DsJZ0&gF-e3Mvj?%1u=(Mh~Z$Xk`Z+d<^Wk&i|04>N5=W=Q6Rm zc?)Ho0U1yofQX+epRYk%TJhpVU`YTPm=QQ?hl#`Z$wJp4K9^Vbs0j5D=+aHLh{ldN8JuB4bhA?uJ5MDK2t}yc# zIkDqD%mFu#(D#EZHc20%KzV8G)dkWRF~=6AAyeR#1{CEt{8gUaOF{rSp|X+C zDfzj9Wfzg3l3Fg4y+^)d0%pLozy(wxCxjK-flB7)(!2UflD&L7M;v1OsmWU$_Bw*FtW3ok)up8Bq~j=>12^z&GKrkfb+ra`NlUpr zlrptY3KDguhDDDdvE$nS)X?u1qz(H|_LJ zvh?}Jw={f$DwFDwF;!k`WP^;S8IVgw-$2S7mR>A{GD~r^&Y@K6Mz_*+%J|AOr@*v* zZ*5;f$F~@1yfsB#)?wGsF_0`?c_7OnW-EY}C))CFV;o_h_;n%{4A{3)dy|a%rm^sn9Z!)Rc%{X}~ z0?h~Z0(`fND5lwpU&vba8L=S?6??eh(mw4QFVp(lL9Xv9K|ECOA+*yUmo^|-+m9|wTUMZ;tc-VPu5`~9~{ znY0?pXR$-mxNmf@a~`zFZ$1Nj)A3UG6P5r=UgkofBAbz|prKU_gOS!FZSp@&*Xb1v zUbI?h+?~sRV9U?nB40^rJ<7tluu}f+F{3v@u%$t^=Wia-%ZWB?<@5Bfz2{5{H-;JP@$AaTO|%Q?f4Rv zW`jDxnDQxlr_2PC5Uy+c{lrN9)bbBVB^JITpjGo#2pI-&16gDKPDj-q2ul_%abavQ zyUpfVzoPlQKbKZS~?-xY2Qn6tr zok(Rnd*NPyw!}H`>sv+?7hxlJ!^PbWXL*g@1fxqIO=pQk5+z%ZE25K%5o%Z(95#p_q00+pTEy)F(&L zqgIW{kXRz-)ctD36xU%(hBw3D<)y|z*6(_TB3Gpysf}i79ag)rfSkFQQue8;@3k|YY7v1}^!jPVR76zeZU9|Km zdVx&rPMcw0dl`nis}kJDDU?WvU`Jve8Q9@5Fzj=*LZK5Qiw-Fqr0t4Pa|^anrGY=9 zZ(^-Xa^N5T=!>Z_0Jl57T+>q9lCS-&imYt-uPro`R(4;HhSuL$P`ONlK z+)#{@^Rf6V@-Jk;H+fR;OH80lOLiO*d(2q%vE)S z=1C^pV$EI=I3E5BJ>*G?vX0sjRi!@k6s~%sdB9d2Ei%zWy!25(;2c2?>`HvcNV%U> z&A#usx*QmoA2#3H-lQ$du)GY|nF)wdc>IY|43z|7m!OuS6+;v;d$ALs{ZmG%N_;_L zLA1s)W*zK&+t|rv#8&J z7)9AQ5hgi9e3|yTlUNJD)tw;;uDuH#y0X>kOwwb^K)vJD1V0ZYq2_(= zv=U=yN_KaXX%4Pi`K76q7^<%RU}q9fxnlxD?e>hp%F;O;)Tj9P1+Vp*j%pHOAY=Dn zTuHHB!@b5h5i&{F#a=k>Z4LFLoR~frH-y=V)!-3$lM0*a`KJf=G!>y-|_C?8MT|M_mB=dvO4hFz`}b~Q8MIQ*;XYLyf85#G;vhmHQDsB z9LtH;i^6golU+-!r)6&ctplA)IM+r#8J;HSMpQgq zCO7h5CY7h32GIb3*UqClOIz5SIg{5Uu-Nakr|l<>pso*s?(PYYZ}^j+?2uyMl-Gck z`)xN;)HpCaNA6flBwVz3f~65eir>_blz8a;gNfXCUco(nyLUU~X+`K&O+=A#N1Vl0 zF^d{qtB7W8HO$4ch2<>VgP$GijNw){euwc4yhsY{z2YPQE!GIvwtbq4ZS$pgSiw1I z`gqJ>cG}0g$6*I)EbTYjyA84cvw`??EK&-uae9th*e>GjgLC1r^2_l2LX4^fqO|i{ zxXSLqZ?UrRCIxQ7t3(Q`i=gIBSzJC%Klk%TH{_BWluQ4Ol`C&ogj#)R__>9W<(*^K ztvok+BQ#Nf&L~EhGRRmF=s!9^?qxsRhT;74%(Za|?q0>Q(WsyaC?qdqYm%hmP6VT~ zeZSlse{n~p?E%LI4liwG4rgOpb7VL&6y#5X;ls&XCv4o#f>y%X5aINWoCiBb1g zy^c)F?(dXKl0>`o$D<_Z(He~N+9uPiS+U}G*DXxV+IXO%o-3xlHB7cqiyhNeo1ZTK z>6Oh@1^+m>yYNwAg<8^Kv${c3aA)AA+VFH;YLBc*aGbeAN6a?$#)M8lzcq@)Fo^ZO zpSuoVMkw&EoRS5lammA%VdQ0%VafIMx>Hjc^XTfjURc-`HEO5CPK&gq`qMvNLr^n} z$V*q(g-peU+nKb=@XhmAW^~7{`tOUTbmqGpDJ&DIHxh%w4gzZNV2 zo)HXmthE0!9Zy?_VRQj6)YTrx8<^DnH-Ci_L>@2aajA5bt8!M#KhK#^pPxAl!#z!wr*?&T| zxKcGgtyUy87)wEZ^;SKOqf#ZmUr$mMsDSQav7F)4^?tQS=iI#)FwEI1hbX)bSclzG zQV3AOXo+>kVk^8Mk}4(1VKoFasj#X| zE~bv^DZf2VQ^$3U@^mEx3TEN}&?uJd?=C{|69d|D)o9Cqh*-Na20``hhX2(N(we0X z9aHoQlHLxB(sX@Xjy;9^T*#&p_C_{J;H;rL36NlKxZ~CvA_o+%lB_8f72<0`?eF_AId}ZW z@cc6-UZZY7^NLYb!JDH8rW~=nn(xlVIsXs{|FE9=TaWAZHlg!h4GF_cfO&VfyhuTk zArN(d;nBKSH~tx`PcF6sz)V@_A#NlH;F*3^3l-@vj51DKb~h=|*aVo;F=|p7CiK3` zJtmXu-~OWs*|roP9tdJtV=>e5yRLG2y)M{;TzuIICQO%BFRVTO%pN@4->vzW_ zSQ%x-mzeMtZcM1g97-5FS{9dcv=EGpzW={QE-HuAIHaXVhfwmJOAO$}(rIvh|)+$tUVDMW2 z*cLYN;pG0gdEyfJ{OW1PFj^;`VTy6L(60Kuo|yQd{i);gG+=U8K5y{2fdazVepd6g zliISyzsnQn*RCa`-PFL-i3Ki?^8PQ+x`; zOwuJ-&-?Q8ZsuuQW8;!FhF~t~spE+>2hN66ud84Bf^a#sepRa=b^zJ)lwK&N=X((F zX0AADK=7bGR?`yx1K=^1nj2AX0)&BT*zsf9Hv=n^emX`0{U-K84qrRG<=fYE~XabECuQ$VNQ z(1s)#%5Eta*t;0wVBwl9US92DIxT~c*M5a8fXBXzV&^~rZyzWjM%f<&u2BUmU)XJn<|rAo-hfCY=13M06TO-I~aO=ySR}!&g+51XUxi`vbip^t3D%K zFQ;b0vm*oM?jK2<-x@_20*Xx2az$4?$tDsr{yJ+4?k{eJBAUygwsk%la}Knu0g#?h z%gkWCnD!s`?z?THhp}ax#5y?(m_?o}|H2t06Bf31VF>Zd5m&%-?P=$LZifu<0qq)h z-SS}@{~*~a($;ky`zM%qS0xsO&`b57{}5nzow9G{Tg3c%nf)Z8srRX~fCe{h7!W`G zN`X9-AWV})kFCh})hZox4&R7I8FEOP(5ON>s=@2Ke4*AJ*FZP~!3h9LdudOe)D#d8 zV*Ft;$!GKTBG0RY~jS2B=KFt&@`59EUA= z?8tF+sn6ZTsKT&R1qbKerqMnkk;138c#VN1eB2+xzw7ucH`4~A*)l575xny6)x#BL zX6Kx9K_`zi5;~MCqFuwZx3TNofnu1TFTW*A?%R4d%LFzkJ0q@`EHdCn0lbcX<2k0H z>G!p%6|G>oE!CHel2F4EF;<;(7TvjGSd3ZKIAcwfDny?HP>oAMeD?oLLLAq-DV> zvi7^lIbJKB;(eo{O&6gu0Hl8o&@yoK$3YbgBvIYYby-&H7~OI&eQgm0bj}SAnh`>X z(XRiZCx1U^DmBoZ6(fmpS-8IxKbt3{rdlhpUwYp)rLfJVTON{^qY5hj=7-neSI{NC z2UBY~67|E@EJclx8~QlDx&S^dn2tQTM&*xSC=~(as~884QJRzK0?cawY_^mwiLf)% zixgYl@t#(<-MrYBJhx;JI9jgq) zz_Ee2uKB%ooyzlKf9=@!f^lSxyq~d0#icaGLt_551(bUO9hxwvgL!NGRc6r0ZI;cW zUUAeNt;pBcD6NGV03az)>dX1Im**&x-ntUsyiu~uo!4;xL#?w(BqKY`B|awIqIq$b z&M~RVc&6hHDpg>?Jv9}Wpeb~M<=d^pf!?E;_+ZNG!3@aaIOnkNQBIPWa0_`dP4R;| zGAsrQ5ZfEefspaP$R_M^8C7U*VZDxcr}eA{Bt8yBLxqh zNRe(;s5MIldYf!^;MAo2n#*D%jo!i7VAI(R9kBuq{FnTdy&)sFPO_7-H)oX+p4lJB zqn0}=xJG~Q9-#UD;7|($=GOEEdHgwDbj3S!Qy3f42A1C zJn}TyG`a4`lzr|5sD9KX$UrFzzyD54UGE4atCT1t0swu6L)AD;|8o@$`Zvq%Lb1wh z!%xccg5K8}pt5y#m9cLmc@T+9tdR@#a72VFi6%mO8C9pH`oca|vWr#Dn%pFsUiNn7 zWMV1sXnc|Zx?eAka}z_rrQMV`{}s53lkyK4A}7sA;|wzfwnE zFOpSk9}uwc2X5L=Fy_;%|FIg_ic*ko)&jWvFrBw1#X{^QG2L~*(5s<*5qZ@{@S%Hc6)CT* zw_Wq{<9A2xVBM6T$-k@z;fm*CXMo;j(qjIRN4iphsm=J9OLSz}Ckz0tOgHoL~7?|d?aqm`69%;BQkH+-*%ujS^C-xN#`) zjQExVVW%k5P68(+RK8P-o%mBy@utZcq%J4)S`MSZ8hZhwdT6sw-Xl~g5^ZWQMiHy+F!<~PhgBLf|@UDTLJ7WO_&MGLO+pj>`@zvir$^Oex4ya2`G z;I%#KJ-K*-S=i3?J_w4anTZ=^qjvL*m(RWJQouAzip0Cbpo}oUIqaBHbq86Ntb6Ii zn{P{esagGjeq_5?n}hMtTidi2^aZptp``K_%pOe}NH#574LatHmM$$X5lF`P=*rg5CVdxiY;?pufU9=I;m+TFXk{KhWP1JIeYn0`t*gQW%OjY z8GE`Z+U)~kFaxnd%~IeZCLdSH(Wn@b;j*0rq0>Xit+^;^qCk&g!?pN4#yM|e*WTQxg`hY2WE6lCme0)afOTG`4j2h7~Ch?V{GI9vgph^O+ zkGqyV8cnLJF~r%vq}U2Bw@&qK#y$8R+LX+HCy2_#=y9;m#VL3{rawT&WE!VWF#REG zIlS2sjY-#Z(tKG8=oQOV-EqBZ$1YajUp_tIEChyO^d!GVvFaB)^L9)WEn?5&>N`E^GHEhemLEJ3@tl|z}R>oEX@Da5NLq~ z2tZg^TNI>$iH$*6{)0wu`BMc9OZ@}?529=tn2G^}^?&il;2`3-Aguqzr~cp(T9k-D z#0WrGS^wj$<*xw9=`Rr0|DL0z$^b-!516y%XD5E@)TIv))E1!;5K4qpX%JA<7T+Zh zV~A88C{WbY9}%&66C@WuH5CCAJ@xDZq_M^F4a6QKbrKmAz2*D^gb4IM1cpt&Kxsiz z*|C1$`XHc>AgNZkplGQMP@oMhI1r#hAgTPnK+#%$^aqesKjI%#CBl!18V=MBB-Nhm z$MmBUf~Fc!{_MJo{68Xq=EvcWDAuBl4!QvX!p@$W{|bVdT7~el6pQt<1kBN5gA2O& zp97$^sQdz@0R`qtbtD5FY7r#?rT($UBcrwik%4Z3fN(Ii7*T=}fP!!^w*=CF{sIMI zXGx5tAxGk3V*bA@dxWfP%p8eIP?RYQpojnqN5~3g9WtGi#MOFqDR*Bgf!TRY^ZrO- z<+_F*|DG#?gk43F_z3w|UfX17W5(#=6--wSaS=#0RWZkqB{4~{#t`Rj#dUO;;PrnS z8~xN#UK&5I?lMx*$`>+D!gqw2tfQ3oib}_bn4jBNTrs3RR2*a#;-Az53@ZHXoEQL3 z)IJhyJYWcAVU{pJH2Vonk5pvRHJ>H}Q#QY87>d3zUoB9Z2OI-At_xJ|r-)<>R5QP@ zuK?YWMIhI(r6^)D8%6*}T!pmw zrIj*~FX#!Jd9MrOKwJlDP>fTtR4mQ})h5(G&vg-fJ5VoFt!3j-qUYecxrQSC`K;UF zORF$!@}SDp+;cp^=-)T z<6ZyNlew#`6i&*I7670HQ0MM~!0{&_9mnaXFE)fe1znTfHI{i7S-f~K;DERLEq_}n z@n>eq!K7XNIu7>QdS`BX<1Gurq!#;Bm_Hfl4F@v;ha@V-G<>^;C_QT%<*7QRi9m(0 zuc5kl);;Xl`&j;EKwPzc|5ZjHe}otY#Z-w&Swf5Cwd8^Z-3`Dc<}{x%v52FHFP23^ z=h_mnKZAJia^}lQwAtG%+iD`G|vZ5EQ*9|=OH3~Jd{gk}b5!V8U+%cz03^MK8| zj3hl;oZ$0X$UJ8?4qp%p^})!M}Nu82w3#V ztVQ)k0xGPLi%UxAf9ksRqP_*`wmtRSp zBEVXEFKve{<^*%oUZh=a<7QG@i>5Rl*_jY@g;8*6RF;ZVG|F271v1OrSHyz&TqF@e z5}^i^6<1|Aylwo$96Y;B_QCY0k2wE;o$Oy?Y+P&_Ti22Hm{|gHJ@$s3*V2g(SISJj zQXL>mQ_}I!+sI#=j&9jAR%`Mphfzxbr=bYZGpA2$F%GgMqLXqKu8_{iv?swS8!tcJ zDGS?#1;vX7R!*LQ6@wdyI=NLWVuX8nynQ)7r;Q9PM@eL7_ZrS9AgV&rwV;>%(9H_c z7+od{R0gHir-(DmFP^QJ3T!_5Nd2w4f*s(!(O3b}X2ZXsun|PX!4XTptP^cISZOo! zl=395EQk1-rrepafi*@`RNQ*GnpuPngQ3>YBa<1Jv;@*g&@t&XUn&k9)Dht;$U-I` zv>OB^KC?x)7OBJF%e&NLYEsk?A?YdxR|`!fi?U*#SJufGeokl%ZH_mYA1?v-DhHuj&G+&r0F(>vnZ@crQz8JZ&^ zAWHs95GF^AaK$q+kIH}&B@jYHKn6%5%AxeTlZ6o{N*t(LLL`?mpdbiAVW8XX5;EWJ zm{TLHmqTY4$<+rPyOL$d*<#K^@f}lmx1X=jl3q&Fr1*^*#T>^K1V(bzw`eKon~@MT z5wW_nUX);L6S)!q)6b7nR`B|w^AbbmkJoG zQpH!Qa>|mC>tJSd=EwccIsY1o+g3HUQ{W`{FF2bP^dA9oaRqes6V2{iG0QKkw8I0% z>!;x36O4DM1rEaFt5u4**l4On8uHpL4wb6m$t*e8Si|@V_K`;9yWjKnSlYRdMSV%@Xqa38dQOm3%RsE^wB4XF2p%*Z2z)+H5D6LOv zm7btE!t->I{3dtR%Qb&O5erU<1hFy`EsCVR(@H+<=Sr1^y@lm2ERK-Q5*^d=4YeqV zfF)&*tayo(B<7)7!ml`$2+yl}kwm*_tgls8euROs2R)aGdk0kQq(tb$BbOLwmef$K zR8>(Gwnd-zZ5oT(&Q0nn!-gE*m;X@A*xhv$(45LlP*P@5O<25tH+|3OP(u~Zc4}0f ze&!vaBKh%kVGdAuTAPt#trMARQG-t?t@=EXmj}bCVDoDf1{|hm1k-~MkKnd5e3+UK zWWpNZ^ZT^{owlV%-1W|;wDWc$E3LgHGfi5 zd5mx1F?Vkv>_Ouhtoori`SG`eaQbL0vGP9&jytTd8EpumG#%4UjC&^g2)P|eWIRjo z5euO}jM3Vusx^kP2%@X_v5L`jZjEnc>u zS%|ruJ!&q)J@PTt)hJ>TKmFqyW_0bV;y15aD6tue-_8}Me zdGNcOOeFv?Nieh!d>HKQ&X2DOwxG3tXkvZOMQk;Qh3u4SPq_GXpQo(DKb0RCK2NRWITrj-+$g7 z*3$QWx$4Jm&vLoc_-@DwFM$#mys3B>ea1TX_yTnKsSw9Y4~<@-y0YX zI{{gM^kp}$Z*HoZ34w{4!U^iFsa&)0vjC1q+ieFZv}T}W0G(`X1QoFU`pP$K~V7K_Swuf;jO1pz9m)+ z=>YJ5f54*lTR%NCe37J>x#rPckEO{5tW#@PB~vYGsD%mJjXqeZR?iee`s3)D%m1l# zgZ`vP;okuO9ul5z=M?l%aJDW?yaS)zOPN}@rbyPiiOpuSm9H4O4pjEBgPkcyjXsCZ zOpm>{4N`foh@Te*f-!5hYd62d>yoXDN<1uoiJzTt7ZX&469c5T)RQ!747$DmO0rlE zw@NXC72cGv!}eO^JL3Z5ukE5dV)dmAh_TOzL~~N93hUN;iE3{=D0I)+3N446=drt$4PP%H{vTHB0^eOZF5Z@J3HX#R@D%&BVAA##5|~Mp zXLY`xPFuf}9Xm;k_tcRqc=IBGJsi(83nzue z2R`*kQUA^zy*tGLsA)~mbBN}b?%$6M8Ty7dLF5XoP`;c*k0Fk~go1wFR4Pr5$g!DT z(=8BY9XbKj?_oo6XMC3%hkJ|;QkfAU7uK>IF%Nba-X>smKe=1e0O{xtnUW=ZnVkfM zQJsWF+{7bxf7WAp*Z*uH{MjTgsO2emLJejwm=#w&3}EI2ERkom@?<^TcEeNHQBodx zCe0wF%ZXZfi2e=sfQ{?q=!7V9<|1y_Cajo;AU3#+DRc9;Ct>y=)Lw{R7cIKVFMPar zz@016sAQ{Y#?GsSmb^wNb9=G|U3av`?EpHJ>v=Nw5d3?uh&x-NlUeOor@AmE^{s? z_zbmpnb8SPxw$8-RaMQd64oP8Wsf;vCyFa?=VyU;m-*)kxpJe}8a7^qhj2Y=X^)`J zyP?_EWc}f?7J~Yqdkf1;iRJd&p%(a_0NA&|)^=c1C~D6fzGTeJq9xEvM6=Xje)6Q0 zb;Z?F^NUtIOk8RP5>pjNdYL-O-oMfz^OxlMQOn!Zx83ZAXHw+wH%P~B$KZb=a9qr( zdxD@LpzJKHsa8Tiai#weqJ%)xK{!}{;y<`Jtn4rh;#STsu7p1W7XDu(h>3-XGg0aM zXK>_({U$q--%ic0iE^)&vnON_kWdha*h10CVfkpV@j}dcmyw2hhOeK6WVnn}5>9Vu zQCk+53ui$iiayJ9ue3QH0V`^6`fdz#-#6 zM+X|UU0onLk=lwll{(ki0d4gqo^M-c)^eIiWs#HWRY&8{axzgjlzz3bl}*{{g^?}qE|;wztG8}}E0lv)0Vt_is69qh zv}alW`~_u`ExU!AlvI~h)K^&7GbMp7T7E!qJAJ$rt(m^Bsa zgvJ-IR}?f)TFW$ns8sx=ww|bJK2S?bqoT1EQO8|w-ka+hl{qz|>cY8vjhH^vXR6Yh*Gl4k zzNE9QT?sSkQq~?y*n2nsbz}8?ae4c6^jyv5F>@P2eP=r3f7bsMA}E4WzYS!n7$TI= zhXEl5p@GGU?du)A+HLb}$3eyQ+b?TA!aex(wAy6GeuKWV)rP)T2ymI<(%~?DBBxNZ z?V~VX^rv>`^67w~LEx9dv)$?z^mQ5Lxy;VW!k(uUL%+-yUa25PcTeU3Xy7(+%U1kv z>1UC(h2EANCL0Fv%l_1q)jOB_fV}R5c0^?0=@CD|Uz2{$ziK(TWa>+gtUP@C!DI;3 zJg28Pc6C)eIvEYVtN@5%j^bz%^h}pk!frX54mUEE9S(apubuz}r*-AP?nKmX-(hUj zcE;KE00uZ#lZvQ3?1cix*(fUmGre+wgGnd}9{8*#aL(`(Y5o}1OZZgBji!+S#5(vH z3Gw=|I&hx`l?;(3V#{G$$9y!ykvPhqVlE=C%_2s(AqsZuC;*~mY_9WbBdJOTc!lK)t^X_T&Wf%-5#my_(@GB)mg zJ-M%#6sHrr9e~=3?|Sj4MEbliC=abg{cM>vC7lzja&gEL;XVGQ6(|m~xo={yy*dlE zM2q#?nrhJT30^Yr!nLO)!_e)57%3v~MLZKhcdJSJSwSIh0m{!nI#jr&NL9NpWU)2Al0?;_=P>c5QM$CX!+ zmqSm?W`KVGBkX9H3TJ0b_AEzv{w83ccqae9UtE?{5(!WucrI2w7zPz9Z!F4j~f z2~boUE~cLmy~;2QQugK!Kda3DtBDfo@CtE?GYheBuyL`8igGZDGO-J@v9OD9aWb(A zi-<6>iSiTv{~!7BCu?SJ;c7|vGb+ar1e6*;me}DCV}v!F`~Ir^nPmN5-mG15T!LlZn`99JtzN{a#-EJXVFK|jH;;?p(ro>hGg zPxSi|OBfELod9gnaK0^=5)>J3A79W+5E!ekQVcx^-w>?^LJh3m5XC{jnt~GI__hL| z)X{6t7^@LN4eZkkqEA+VmJ}$~=~w0)2Rh-2Ue+aO4XzN2Q>9hCdkRZegs(fapt@e< z-V<87-rmFHf?v)LB7-$WXdzNbiXA)z4K2gt~KbT zXR&8{JHl+ZMri5AB}mxq_^s>ZRvsjPA*|FiCZO=Afj8m;>tu*0pj0(B7}XQ<7VTMT z7V@nRh|`29se+-j*Q&b}qB@Aq5m*;E(-8ciPp&%+SOlXUG~uvaG( z{VgYONiXX*_Zgm{WLA@6cfspXFNz`VEw^TqqMv~S8@kO4d=mRK(ux-c9cw3Gi8I>- zzSzlY0`L4d#04-t#LaOfx@UUu`?% zu39Vu8sTaLJ#h7a^qusb^qusb%w3ref`2n$2q?y33lqaycf`V@mr|n^-oKI>v+(1& z)VNu0OKQTb=b_Z3+1yvDDYF+@scExM9a85kW^YNIx7hSrYR2MNx74h~{C_oP@##IO zd5dq~NG(|W7^D_0e!eTUWbtobu(*9YSSCJ8DEN|4^gW^YS3=33gz}z*ihM%V<3)s; zcL{YNq2WV9OGQF^VM6Ecgq}+M>}HvXCsO*S>%bvU4;nxtXadck1t`Hb&<;94C+Gr) jLAPbbFQ4h_b^RUd;R0{cJr zHt7N^A}1WPf`x;Xn>7h5H&=2GJw0IWxXy+0b!FsCtY@6;<#&vNAhT|P|FlGj+g3Fh z!7+iD`o#g?MTl z$%tzg1)drBC9_oUdsK>hE-UBp4`J)bA3?}u8EQBoSZj_RE{qT`2+BiH(NTa6w(TzZ zW`wRaadCjJ;F5)YCUA6#s!zCS7R}Q9T9CH|9b|t;S-}h03O(O|qRNc|nK~t&yjpf2 z(mR5`hgC!G5XQkKMs_E`11I990lr0#hnOrZFaec}$o(dbqAcNp28wTgsjpQJGdFO76b=QXDwVuPvCwbAm;e{uAgG4MLBhG2 z{9mjg>?f(HR41rK^E#1#+xa2DRe7L;abUruZ)U+5Xc9@`%^^>{qzrLOy5>0t_7UZ=L(TG~7(kfmU~!O_V4@yjTpOCD zA5j;#mEub^y7Q^;kAO--Wok^};_7Z9L2t9*VI!}i6d$Jaa(yZn-t=*8Ci?*0r?~rh z{#HNIbnb-I4PdI|^6dQg!Q99p9sb0D%ez}qw$J7yr9wnNV(pZ#vBQ?-pRR=GdSokH zJ6xA!{BT0my``r<`EdeHQJ@#sB6 zWt_`MDdpsS0Uh6zxR9HFcH?~iB)9j5J2JUe@$_cHeHBEekSbv+*rmB^CwPf8Yqz;H zUnMj9gQPI)cTArGaf~$OnP%J_oA9KT;Cs`7`{IDErA+dyGk?EMCC zcoc|f_vZFx2Ou3aqzr)j2~Jfr`;z@Wc&i&1Y%XwfNBG!;ZW)>`)p&*+veFZh{E5Fj zqnLN%M_+A!Vjt{AXKI(@xwAVvDq^6;M!sca z6h9sQz)w+n-R_N~#24#++?R#2;Q5Dj`;RAK$3@!CMgU&}&}3`G=(G6^6+najq1=i$ zEl-CX0*u1j$xc>o>}Ey$>9zvx9wA9zeO{L?1|q=&)~QD|TmP&xQtq(meQKh;nqwG zH#^{W0%4CjP=-J9y5+C0?I*v_pCuhl1eiK;9M{s? zCc>wi51CUAH)2Mgd_9_N%I9OM?9LpX@=`y|TB+lkW89$wR$k4HDv#G4*G;_`hasYo z%7t*6se`+kxhvuwtMMz0^1AG#9`8^8*i&8R065(nCcG8M*{=_l9!nGLAt6_b%9F1z z533L0omlwOSz>e4*4*S1Mv9g1DIK9-l>Tt8N}!6MPIp<=ua~ ztA7^-{eGZkd)JY#ZmdgX4et>fTuZ*Kts{EIp}!osIyth3pLiR-J@D`BZeE^Lx%QM; z0;C@uBeuu4lVh4X^8n4|>mhs2?569|#XmOZ9zO1z|E4YXOP#K#`ZenUzW0@*S1@U{ z{c3y^le5RilYgZdGGNkugYfUS-p!_@LCb*2o*^BChD{obRf_g+aSFVcG+RezcH51> zLNm`@SSWPZjl4pZO7@ef8pKILKaQ_H02gJT%PM^_;1%)N$d{jfo9U5Fc4)J2qG&n= zQrQLO*lBtrhV|gHnjFr7#lH&FMiFWoy6%RMY8RUJMAL>M#v)h-l4^@fNo&soe@|E@ z6sxD^cq7&c-@GhEwH*vtak2ar$p(x(@hdQgBp>sN#mCi0^_%MQ60vK`} zP|N{yU^VBQa|6RnAj#oOfqgFHVA}QfiS!opDDoN`BORMb?iFfD;(HpSyC)9X$t_9! zbC)$zTC%t!^cvcR;KsZpOoz~;e>D~=BH?zcXwGKOZtTu#o@&o(9Lo59FseFMB;cGv zh&o3&OBcK9Q=&s@uVp0UwTy%QvJ)Glv6)Gh1vmZ`ohmENz}Y{S1)8>jS@G+QhO$;y zjtjd)j92xG*~|oMcK;xP0{oUlq)qaNFwHVzMYIIyN^u2@8p%sV$sia8`HLN*T?S74uwr#j^M;>3e9`#!i_ zw7DX?cbzA@R93BK+e&imZFkHM9-WqXHU7+jOF1dUKXR|(uX}TbzX0Is4hr zuQU|FhDDjNY(Y$Nq=R#VSyp#fW!sdW48Y?KoD=KGZ3dZa3T8JkI}0Lul}cTg`6o+i z9S_UsOWQb7D;G+>N;-)D0BDebi@9#Mn_#gF zVGmmOdgbhE4f0X@6B&V8LIa7=$W>*O42ECi9!(d}(0uF$I4g^c6HBnA^LPp*YFpwn zN4ah8WM@P_n*%qXo4VX_`AwnLz(c@#VBF6IQcyt-SZqI}vJP4KmqL``*`GpOPP%3{ zxyCB_XcV=`?Li5ifJt-l7U4}vop4n(fv{|W@k`lv9(pmNdl3v(91C7t|2Q2cW;{u{ zBO`LkVi9P2dgx)f&*BgR#r$(RM+$8XI}QyE>4mFx8Y+ z0(^oN`i}s*70BSZuA=FL5`rU@2E`!kmW+@hX}*Fs+ZMfDV9aWDHidw0qkEyKV#uZj zCCH|xr%V~0K!wBP*I+5P7#~MZPE!!rg1Jei`T7ZNx@|i2Z~lDSakU~mK4gXL$^x@+ zipY5uS@t+lFa;`>F-_iu>+4I)GH`TQ_XFv!^p7g^zFFZl)$`6Mhwt7Kr zDk;O@JTDd+5RG`=)%ytv^QUBe1~!=ua#qDoPK#COhG&g8<#Hw?l1wHels!s#Iic`n zMcLa%6@)aJhRGXAS%rU+*K1ZIq$^)#fd?DBlpLreSs7Vw8CMX22ya0do|~B;f{5n< z%_!xmcCcu-#Xw})X_20DLbQ1yfZ`wWqi;65)G;9h3}bx%E-#EZKwq{`<@hG%M37D8 z9Vjxu3Flu*nGsSnl49E8X@}e%I`zY4?0}G{y{-ma-&445DU;m^P3b?0!@FNG(?bmH ztKpMGLU=jNAGSdJ2qE2}0YT|Y32!fqK`c3$So3>h3 zxF0dt&l6$ZZ^-49pKV> z{|FZAdIDfE{nXw1E7SknmPLi@x`ojbmD9nBVl~;PxoyL*pPk9s;6j(s?O}X_x_cFx z1rS5%lbdMe<&Or9zi`(Y6ImPAQvZnx$o&?^*>D#RVXU*0XKHYRZ63lJvElL=v-^n; zlq0&Zy15(S{|;Z+kug#=34A$?jsNvaH0b~Z95s4m5y`G&2Sn{)*F9atHEjSQrLs8# z8=|9x`on~CSg@+lmWkh9H|uP3j%Ot%Nc4DhU2K9x0FvUyVLi58%SEDP9z@*7%X0py zm#;g?=Y|_Cw9Sk;Mx$*hP|qJb77U;Sf;>9#I!fsQTD*7qakzht+tyMS{wfm2lcadJ zNQ0rsiyvsZ?E}kxSGHfgTyP_(C||F&gfx=H-zP%jCToVO*yAQ`pNLq0LR>_i&CuR~x< zt0}N_W>I*GIMFPwG}G6OPneh2e_+k*qIH)@;q!03IPc2^yMTN6zJIn;_0!>6_u4H7 zltAK4&-gB?c-K9Wzkn@cK}?$&>~hmOcHR#m#RNqmbON;~?i(Y-u1P#*{6KnUb!<(a z^efpaPpVDwIglSkPSO|1geE|MH5RsJdB#fgDrc9?CBww#lQ;boK_YY zV?ao)*wn{2yaGkF`z~lGv%h1ELj_;!OEHDAqL>GnFn0P~g&LWb(rU zFDO3m4UE(4ie>6HY?Q!yA#2{BF7;F@*-vYxR_Ud>ucfLDe|sb=VT4(v4d%`ol#cW_ zB&XYCl&V^BTy1#iWW0!C3}$*-loZ~E{K@tnj*(QqA5$iC1n3&R|C4fS7#<4zsPOVX zq&$XckdxUiAz0zrU)+7ShEUhFQ-+nXHz9D%wr*CGO|K_(yMz?E5RwG$9NzXsZMT1g z^%@Dm$2(!vXZZWWg< zl{*(!q;3u|0m!=uUf@@K1GuYy+uJhFn^&?RIuEFvK<*wdtzp{YaeXORSS&NdN3vjT@1#Cc4jcS3Ok*@gOKaj39XIY7-@ z-_RE1cCw-26BCll`=O2@2B3R`IKg(Qjv?whEL6{208nW^Y{gG-C7Y;Pp_a->Q>N`5%(b zzdqQW0X*K!miibBZT@UoM3pO8%0~_op?$=*5qk3LPlkIMNQXJgZd9H$6<B?`)mEoF z-g+Pv4znJg`Dm^Mx)u=6c65j*q#^<5-^%h*Rf@(1!*}kRh@zZx9<7971dX(ba@m$T zKqm156tyLfDs$PwwF13biUXYMSo+#WEY7yP0cSo}H2M4;OfW`rc>Lw=)2V1yIU%L8 zY3;pbIR!_jU=#z%m&tcOt(!MYVa0Kbl=Y?|QXTOhdn@R9c*CgF8;c9>i?ryGzCIqg zo2qc~mkfvB1ktqmVmkg*%ICqVfnB~F#Ae7@=)0zi%GPUW{I+P-HWEFhd@lf51Znpj_O8pA z>oEkkOG>cyGOYf zodX@&Q8*FIq4;erJ%i#;pt>uVOReZlT=ru+f3}LL-Ra+@WZ*}%+{=>y%qi)2fCNw! zx*~J2f=Q!wMH|Le(98UE9m>?FYS&UT+woV?Yj!DU&-)7nUoG1t;d_cx63V8>-rVp>ypvflZ%e&np5+23K z!{J)`n%8R37?~vl@dlHiG-NjgD$qD(Cp6Fv+ACBHg_1N{%yp^4g( zOueJodJ5@G-@1N$i18ZhK21!W#$a^Jg6mw)+#uOSJ4MaDxWM2sqFL9XE=^aq(KEC0 zObRF-I~-bKT00ZlL66qX;1P5^sLX-2D8gY9_}x>%n&;^1FOqKG*cCR!jb(H@DeO>x zCF!ufS$(qPKHlD0GPN#zu{WxkH=@5>#KOgX>-|_f!;VV8RBXOT`W2aZb3%K86Qh?Rtmjhp5F3T-wLRvs4K zbk$W*EC^l>cJAaL2^!!DQYA-k2?}n%H+N^IcXM--w1uDJ>gtMUV{=omr5$|(776w$ zo!!dP<>>vp!uRjrwr#5_t5ZX}ZpAlA!>AuKD@!OemUjCR<1)iNkSJ-GYF6eTEG#VZ ztSl_ONlA3s{5qiDuXM*A*2@|98PZuQ8+yQC>DUdJ&4-W4-hF!5OREM za(--Z@W7~`pnG8nJ!q!D$e@^3R*^I$5(_(Uw@^yVrbbs!7H&@0x5)e7(jZ}|l!1xK z$+<^HM@k`+V(Q*Z-*#pUDP)~NiIG{c>*+iy#@LsOxPK;$i$1IQH0Q!`liaGj-1c8Cb zL8+~%Gefui1FJ(gCm=78NGeGwpni?uYafbfuh}BtFP^R-v2L;7?$3_r-2|EIALA=M zBO^;|Q$0hQ8$%ezrVfx0ewfJxt}d>Hpg1cy-;x|PE)BqE4Yw03OEVkG2gwJ$J9uD5 zK3LCAQ6I2;Y<*ztaC{(hZ0+!<_3Hs>eYLJH`&C<0)yO$BG>ZCE{UI?y7$`;T?^*i& zysNvm(zfRH1)Z6(j+6bN8D3jY*ctt+wUb>%?O;0x8TEoVlXeESXRN2EXKDx(WDPvf zLCW$0fCN-Ln!&&1M_BF%>${rR8~h$PzD3rP#Yfiz zIo>`EcsLcNZU69vqWS71NeTRZq_lcxZ506-{4Kg{X>7sr_G0?+EpYYC_WI3z2zb8& zgb&}@i5c~&i`@?x0Qwj30JU`VDS83ovnw14F2Z~V?F@Dz`5m)@ z3-VwJppXX|ejuBI&B%XTWprmN{sV_|xd8o>c^}0-z{-g9_hqy)&D?o+M|s=dKRhe?;7pvVTK=&`jPD z-xP8E1$yH5D!+T;--Eu0{|Pxz_^b=}3bhblR{~|iNsaGCUp0;IUiK^6po(7$(|s?F z<^A6cVTVPk9>jVM@1?0Z0P)sEu6=IcQ23AU{ou^Q_&uPLg)N}$YnFZ}eva__;f@)? z?N!=QTlgf7`1u&9e>wS8lp0jDDy;8E@kHG-+$nKwegyLI-}p}B^uYEVIRu$_>N}A5 z)BP3t<0SK(c;vz4@(KB6ckA=Nc)^K)r1zTxP`4NUh3|`|#QJ_fT0Hm5{XKx;3%Kbv zEEUPepMmkP7+s3wA1M?nyD#{GvYh&49POF+Ai|iMwB$Ot+kTI}S4uIKH4(@d!QcC5 zR_NeSP&HaFNV89CdcJ8$x!@8Oj&RzL*=HNW3YpIsnD8UYViLgoi8Bz9w!|3p-@Kl;4hx^k0F8cK&YVL_yhh&m{ zLU({H*rjkVqC~9IMO?R~Gh2ExGk`kfO$zbcA8S(opuBYw4rwv391adEtl{n_7-a!4y$3!1a!YfFB{)uUie@eq?Z zW^fSa({(IsCl1@bnSMOt@(?w;tIzm{J`~$1gn6=;=GFOet8B4=qw1jQ@X3&va#ioM zK--?LF1!;Eqf%{3ZFi~o50r-+N#V8JO8j-GD0KXOx$ugoUbU)3_dzeV2iLrlX{x3Z zm%4=eDAe-FNR%TT6-!eIuUKwiSHiO&Bmk4hdtTrBlGK>0DBeCZyMHTq~nE`;8|0)aC>2J{4)p z*jD4fw6sQ|K|3aaDQsU;&9;GrNs^Sy@+tx&l zm^(T|Uhv=McXO&7;}u0OK+oOU@=NIS$+8?>EYodJA5I?8ck8AvBTNJ&e2Q zDvh`ZX&6`bud$&VcrmE;u*4D2-oLu6=uq1-Ns8yV{Duk%LN>&d{-!+PCc@M#DmhDl zWPuEj*xMjNO7v}d**3Z$x?#e8RU^KK`6~1`)`#hymQ~bhs9vm7;`=koB0))D6tk+; z1(=lo3X(k;aO<3XT$`zruH?c;nlk!VH!u*)Ka}yCXDT`}>#`E8dm7_{W$FGFE9}hq zeop|>7Ypf^l&lGHVtEVscWY8?$3h7Jr>EC#C{4;nlW-2>>{(P5KMA)U-kZQapj&!> zhCNC9X={_%1O8)^-OJlw+UONREihIu=l1obDtziC$R zRjN|CIml-Z3;ae$J^tIH0{SNUR_dMxKKjQv=1sdNOAC*6QKoO0=I&5cNe>mA)1iZ*k+8&#hS5d+9xig z;vz`7-p`*nU6^t5ZwGo4^4e6L&#kf$y?rH8Nh5>?f*9BV27gx1gDTkp=F0D-r0WrZ zzx9rX2)Gc0lT}=23pJCi@x;wM=1oii5F*JQUl<5e%u(4aT4nQw4T8R>aE?oBpvEWGhty>ip+BDZ6VAs*PQR%ar=SjCSgv%J` zzuAQI;SSQ5j0h*E@I?&02mPOgxDNBqzJA1OWRj@72u3@~77kSdb+h`&mcA^8b7?(;9g-~UNF&yY?cbsuTQ^z0^+wRI%$ zZa;oa*vuZTX31w%tQ0ooXIkXi+q!ZdaJf)HLy%%<;|&~AVro321hnK(#0AU4Qp0CR z5Bu_r-*q+$qxFOXA!tSv=jP)oR$i3v^Ze6?f8fGSdoSaM6{E#Is}*Py?W@DI?TErB z5)gcy_M02D$0{20ayeO$ebCaK6Wa=O4MaHT3wAdRLQ`-)u+wN-jd}w=^Ga)`?fv{V zJ9=`^EW<)^*W6s7o>!~x*(!5z_Vj42IYGc5mZWf)+MiqjmWp{yyGK4QS2r?d6NPUL z>Zf=QmgAciULO*~}>xTS0hKMvhFK+XCTlQyW-?WN-Ir7Def+Q#8F-vl& zG1%r4{HD^PuV+zKjKv$Y;f)9u(|q6W?}OjP=T&Cdi~?O57` z<^$8`8(l#lN=Q%8RvN^OLAruh!(^UFgt;1m+1tC6n7{$F;=QfQQv-U*p&6s+U9Mxh zV@=$w(THf<u0iqA_Mw>DM0uj~0fI>BrS= z;|`^WbG=($KCIh9RsoU4>9RF!RG5eT+(-hG_TL=~526B2IM7eNav57#`=6U08O5L@ z&Hl?36b8Dlx}B=kz2#JN8!HTsiL;NZD{v}U_RF`*qKMmM`3n4Eu!`zUKe?AtyAt;P z?&LoMZdqa2sqU5P4CbI24)JSgu6S+dVE6LYApF19ZMM5jZ6-qpl}~N%hs$_>-N!=A zyEaSqbE6W{?P=;bK4>1BtNhqbEwG9lvgVI1W9@sMnjTuG!kWwvYPn_%t5$(il+d^F zgsseaBbHW_ztsbmxV+Rt3vuAlc1yP$_DF04tR!8sZV?Q5R(GG_^n5J^{z}QSsnBzD zbDW*d^Hu6r4X7D-tb{Bv8DvW`X<>B*TfIX5_r7W z^j7fqz#1}@maUP5J=8}NM%I4vPnG07{IqJrQZ%C(^&YSp<<2xlBtuBHDC2aAAI_5j zCS_%^`IT!PK-G?m^FfmGzp$1e>=qU`H|4T|)T)noij)f2&KQJHSx3W~5~cpYhYjBk|}b$;UfS(OUd83^kaQgn8r zMcp?-CPnQDGIrhF78^zUk%BW1D1(awpb`G2PE#;(ZATK?!_>W3zy3LML@5RdvGi$4 z-U_uxi{HNGalc&z5&BDM{X6$B~B?TQ~?K2mWb|a+HGAGz3xI`6-wP?0 zkd`H0YMsW0KyH82um$YrKg?17-mRDVOW$`sUoGg*{P;0YZZui@D+mL>mA{5AoKB1i zon^PU`9+FbHxvKb)Tyq@Eun7`_$S6^GK$zm4bDvQ2iP^&IYA^}^9)=#C?%vSh-BfA zrAYH|`4^{;f7W;<sx za46;~-m&4>g&t$8{AJ522G(tPdtri}1p)3j*vVVe09^j%md?qKijA`u(4hmx##T&s z8A(z3FMMiKhSCFoJ0u9bUQec>hx3>oH`%f;X6giGTQo zBq=r{$Z6?`baqtdud|^E;IgNqVetY_w6xR0wQHF}p7ru-&8ys1nJR37p*a7xpP7(7iEIwhC>AFeV>=xLpE6+Xhimoih%_}b3ggN9bhto#%SByBe5UIKkP%nJ&ZWo$%04n# zfA~*jmqyG&xzjaJKFzFagUR1x(S zk)oQ5IHeus8RGX21B-c9l@n0`ljsuqPdJ!$8?PuLnfDgq_SCjkvg-xTae~?jv zXnhB3PX>rkWa$>y#8KlUt?{(gb>By*2JIXE=e5XM_oxmNK*Lf`*U=~JMiD!ef3UFm zjxY1kme_fmy$$K=cQHR?+PHL4qHF~7Q%9aQOje#aTo%n15WgDdFe@nz<#MYN_EWCB zE(i3K0+G9dOtai}u0h_ny78Kq?9$B)D|jt7gbCww+*+3WyV(=VQRb{SYBsxLLEdaP zs#xHvT^;N;=-(PxcVB_1qG|7tS7k?C_&Be5ey24)F`9OBp#rZ$PxkKzWKgtfOw`7T zhLKl%AMaKufMzq3!jcZ^blv}ZKWO=}088%L`^L81Oh>(t7j20;&dA501hX$rp-=IG zV@`)xCT8_xMx9W7KBYB6)`TJZMmh34b|Bxs=@N6)o-qR_DfCQA=k8h9uTKvL6mob5 zsvG>tJqAk0kX35+<`|up@unNA8qXL63IWBjcXhV>pDbumeEH#>A4=4K%WqPHpQ=e7_U5Jg=gC98^W-(y z%h_Wa`o^;!Jt>%YB3Te)qfFfHl6$-8rR&T1phH%S^UUPU!`|0K0c$fcgf38sU@Y1t zp;=UbhIau*!TxW3FrB@Ni3(N|)ebYd?$}Jt|9Ui$Ko3ePkva8;p0K4Hr;>*4)h7sn zf=$vbG4||B+FW~!kCfpRDO6niSkI8cgTOpt{6HlV1G!WFNcEXrof^UnmdvOJ9k$V( z#_5l(U?xr#RoXjA*D5Jkm*OuLUtkXU}zoMaC&p z)B~c50~v(#Wd%3oou5n`>sEX z`|H$o$@O&qJ?BZTe-mTvPD=GFf9W6r>Q*wV#PQ*Lx|socG1-8lyFN5lgIRjI;xqo@ z!Bu;M0Yog1Bb0~}kS9t!FD~z)&65&-Pt+DB>!w$slBF*5s4S9rk@HzYC`ZP1LI82CmKH`112*_B!)uk+HcuD`$tglO zzl0lExaG#}vpa@a!%=CXR2NLAX3@?RUniT*S}O1(mK~EiWu7?eF46BU>I)j7*&xpM z*?KPFQv^jnb-IoXZ?Gwlhj4{Z_Z=0@ut=1e?ch3l<_Zk6@Zffj!?A87n2Rl+zS1ap zh)M@9{(F&1EeGO7tqe!{_>K{mf@$RTkf78orBMi`is6cTxY>1sgc%8 zImn}+470q{u|p>nV67Cn6^zs8+UnF-t=uz2pWZp*L7ESo5^1 zv|PPx9?iFw340$Mnsd8>ox&!ks^Uiz+T6@qvLc~7?xy^{>0(9CR$i^oL`eW&8^DNq zR$yHdz%CHa{H^w_Tay#n;fE%4#FawJFmsEQN@B-7ScHiWOtMTGy}=P2LCtFjwMG>q zF{v+%HT$s;<}gJCNDss03@UI0B3x0?HA^p4vFo>0T(0Tj1{JLN-VO%vyS51Hy&h^# z4lV{)!qH+=KQw9$f;+nz^xce!bVx~n)gI-9{t6wGEvbiXl^R27fNfI06H`Ky_oAKe z8Vyw9LkzP7%HZ;*m3g)Zm*`-#as}4cC_v*XXFXz_ol0ZrUuHh+nOYDIdvLpndfPm~ zX}B+;vy!2xdPWdY(0qjYTW*&AjOg_Yq)MAzfgZBMZbvLJch`FOdq97y>U3{bCGRly zgV;N^lQ;SaA;`4rv~CPpu5PPfVxiqJC%?X4aE+b-Wm-R?6bmLfno3)@i)FdHk?5y@ z?%J4h0Bm41+Sbj%;fO~{#B{4kK44b_wYF3i=ZwsEMP$x2Ev$RhITX)Hw@^Bp>Dpd1 z{P@co^?M_hV&Yd~89ABS@k9;iQ#nXLt;()s%yR#=eWi?0yqvD~pwJc@HU+Cwycb^X zcc}%S$4CHH%rH@XZ{;i?8N6n~DGMP+CW-j;7p<{5?vXd)HMzK8ZT@DwK@iF|s61Tq z5Rv!L->x)n4Mq9O@CUG_HH$iN+{5ti@}V$FP@?m3e8F z3bzUg7l#WG%ppGO5T*{h08V30-6n+I^qU8;lK1|kJ3-H$I9%y~f^56&5*pF&^X02v zelHFPRdCIa;F`(rEB5s<@ikQ=sIUI4MlVvxr;{mY!Y^$Ee|E6bqKk;V9s-s% zpTk2Ni!swwW}=S?mM)@o{rgh=tRAf-M2=+L4IjGC?e9)pVW0cqi=K#kM~8W!L#!<3 z{@Lj)VBgdN@){}AewD{Im&=R{c-aeFTa1vmH9})FT}b1wKX9m2%8JB34T(W2d480- zOcu>bX?~H=w9CLL*I&kCZWozVPIEBB%7q7g>(W~&3X}D!$Ax}qC$=;tgVpQH*UXGg zo5Ss|nql60ZBeD+83v1idXoVfcu`Uy;0Uf`2DHvso^n%=uqaeaiuzI}+fJ5e6^rg> zqi6Vi^Kq-`Q=Er2BQc2Tm3m zm27EKoCuR1k#TlA^|eM_-6Zv&%LtLl%cW~c$7g#zj~-Zdakd`oYb=1>%t`M#Jt&@Mj|D)>%qg<-E1ZV`&oW4%>4=)}2Uinvr%F2X9u4zpqkeCdhMf zJN4s{{y|wcvz{udO}|0vL!4C$btBUETB_Dtz5-dV9iLN9Q!79jA$~g~lN{IAuut;ZjowrGSF89op13B42G8!Q&?w`L<<(&{LGRW;6tw# z0?!OAIN5<_7)tbf9ZYpDWy6PW4w^rz&>rGZi}(bvpZ3sO2W$Y3-sT@B%(n-*%zgd< z+FsM2wXlJN%39Vr1s~)(?+1G#MkXK%99`GYCeUH+(e;Xtx^m^6 zJ`fh(o+)Tm_n#bD(^?vUTz?Ke6yIgQAuP54kdM>I!mha6+tS^-doqjA#qTF z9@<{|FR%LL$7g0W`ZR1rp3Qb_AC+Jj3;pV=A&& zndK*iFHJK!UczUD^*XEssY4k4b^sw~SLBT+iEqSm%Y(HBjfqhIaMTv}1xr`hHGxnL z`@pSRb^c~eSHU-tBOG;Gk`-DGT>JK;-RJ~qfgK=a8$(7hXgBeX$*jqP8nx9)VaA^l zitx$xSsXJkGlQa@9G?WWJ zdj42+EPIn3SNP z7ZwoX)l8h!%wN)CG9YAj`tgsnaGyUc1xKlskx)+uje(%6Z4SJZOqr5f_-HVp?(+p= zFA!=Uk*WdLw`sf{e(|D1N{Xnv{ZZEBPFb2(&Y__kI!m}nR1ms>_X;|b^JeI%2Qnd( zPA7S@DGlHyie^Qq+OKIv&}9^maWz(ac?EE1l^T8pO<<#zw#$*zDeaeAktXbOH6MJa zxPEpe?4!2hm1{*)>}>LfVrZF-@Kv&4C+v{3(p^ilGida{G(pz3_j5G03AkqGVa18z z%WvFF@W`2~9c>z!kAkJvIEiZDdRYrwRx6Hu_5Xbx87eP(l3%HYWND>*v18WyQdON1|#C=T4x;IU?@)I9e)xxq-W13w=g(XqvMwJoc{u!6lh+Zi{Ue8i=U>0IOQcUs zcmdlJ@lGQ+Oai2-RiU1AL;)A&tacLBmeTz`hwU~4)+1T-4fCg()7jPHgazIhr_>NO za$(tRR_sgP=<8jK`VVJft<;|tSsS3GZ*EMVsuo1GPcSf_(IGe;NWWI(-qwI!|G3rg zfbDE(h&5LVjoS-?a?5z1#y~Bje?4AZrg*;;SkR>VBTcn(f!zsp*?O3~KNz8mh>G->CeI z_7OH*^E&2Y+O=191{~gL>^1=G^*^2!^VTf!uXs$u-=42eLL~-z$0fHzeu%MQ;5w430TVN$Ld#%_@mB1N|mYpy#Dl8$xH+c$Mj9H~Hs# zl@+KRT2HntOYAVX6k{nLg?wIzddQDC1xDK-%-#HH_Z2+g)aP@=8a3Pyf4;zPPXr19{8LV<+*}?fnX4 zSirO*DGvqH8TWX~#k3UbRHK|UdQ~GLg|9bE36HDk2rC9x;hqMO0{Q2ly9paqHTPG4NGFVSOd`D%$X*1Mq%D;#W@Ae zPEmN5MT0)yG=1l-RXkSLo0o%q)n?3-r;-C|FEP##GnrOWgnn0)N|z)YeNHhX1li2P(HC&}+uobL}%@8Wq_ zryFXQ(zS8ug3Qw{?5Qbn8+|U(^p53f(1!^rLSq_)mgB|{2Y+L9Z=t?h>-3dL=*26N zyh*D^@+jn&L8*l;g-?A` z=7{O@WY1mtkT#S<2(-M(WP3ak>`VO7RiqDD>{{bcWaX>KW`J2H`qmOVBFvqbf!Q z!aCZ$_GFXpJi#1%lSMcMW=R_u*|OQ*z&#o_W`K`5cqjrlPu$NE=;H}-rIe|b%VlfA zx|!{+5LPi3I}gyj&<=X=<%V-()7q}5h6>7@2V8}-&A)6U8I#Jf-F9562HNL#;P9SR z##Lj7J}fADZwGzp$N|y#I&57*-3?yh$aEbfH0RvASqxncn=p>I`Gj5E zRKOYQ+VU^guzOlu^@jmJBex9*anY6YjBsA#JSeU*y3%_)xvxU6<={%h28MiySe0nlNdfTr1N0A( zS`@EoidEB)0kN=bkI8v*iv~SOQf0>6)M?ip%-4Uk%-HPG`^zr;{v^0lmh9-e>@(%E z*`N8TMEfa4_n4B~BousvjNx0tTl zR2^lpQ}w?Lk$v9ny-IOki%K!3A_JLsEB~jkZ;Gxg=(g^hla6iMwr$%f55TWxvs={4|_AqNFmZK50-6CRV@jxgH1& z=9q)(*AJ7}a^rL)Yy3kT*qY z1f8pB%9++dlzykS_}nQRqQIfyQyA^hVB4+MM(r-P{IIej2P21Y0cu1>d z$nNM4?9dxM-Vz$q$)L9@mv68Z?^htbYT2}PmPo4@-KKg9xxt(R_~T+C5#s~bG#c`3 zs?ujUU*_RQnT#$koXvbdvtuB6}9b!YQ7_|)4D<;Sa4+z28W$e zeArB3ORG^1($sEvK4q}7&ZNa?J}ml&gT`=kgtU8i8F(0BB@RIWQ}j_Sm2r@nn!JTv zL2!8qy51{_Ja+OmsrO9u5(jpc6X z%v>vnl#iae+F(wta|sF9!|n)CqHCC;)a~cg`6yT8Myy6i6Nm-?vB-B31Tk|Y8O+Gn zrNKscmhkP9KM$r`&~6|CUKzG%$e@>R2FP3Jf!VMGMf2L+Me^!Bot_qhxe%B+IzHI& zSPDgzrmC*UL2z%#^(@EpURDS3KaJx|6qeCXCq*BrB7FA)$3V5DP_A}QJ7@4zPO2QF z0|q{hp^SNWdr{^1#{?3tXy#vQJoPJ*e->k7t~B@`P%m{gqX$Lr%Ov$V$B$xr=r_}K`I?1~E+S)ceM{aZFlB=YX4qH;b;0W!Q@2mfTVe%0 z(3ZKCt;A%kvx5?!N9FLNYuyE`DN?S?w5{=pZ48yA9K9}L82If6y`1Ga52+t(&XGvfZl-{!fs&*zA;C{RCSCdfzq zbv6lb6Rzyk9as@_0#QgS1+y8^uRhK$u2I?eqBX*~27;gmmrRv!aIs0%!6XG@*|wUA zzn4-_Smrc`Y{S$(qG6nrPOBdnH;Fgkv(OCZNqCpBsEC3NSxU~L^CpQmJPG*XX0;Q^ z-mk>{Fjn37#)6Y@8rl_$v*pl$)*Q~_+{kKo@6RH~x(Vp6m(r3(++Pg1^8qx2@eb1C-_*MY-%E)oVpBQVJ9zsx)}k2F zPyEiS4C24Y<0v_?)lc$;ycdJiB}OjiuH_w!Dh>c`NBt1ST{ciqrg(;I{7TA^CU@FB z`bg%TWfQQQc(S?8VEw38AWqYd?zZToU9dWg^ev_%6v`IIuUEE?o^=r|!Gs7EZFMd3 z^xN9|94xtO#>&jW`EYrItXQ@jU0@vDpanDAx5wA6B*>xAW6zqyJmP}_XOyl`aDSua zwv7QTtbO?S$K`ys6D$H-)fuN#>?9-V{0VEWXOhze5HK0)5AXwA@{bA!!in7})g^{h zcw`Fk1G7J$GW93MwXI^r87Okt7zpg!m|NlwCWl9Thv)J$07{=EYP6y-sc;0x3B~jV zD#QBUZ0HBfO?NoA+yJv^Kl2^qKVTi7tN8!bUkz67Vka0xwPP^qS<9{$)Xb`HN*KbD zBuftUDn`-y!i(NpYiN@)l`v+13_n!MCo6Xyk)8B!g{`7|K<6SP_1^n76|ulIBQ$(e z`kvst)U!Bv_e$4N`zRw))}3%xkmJC-wQk1PB0UsFPpkqInZ$P0*r|Wdu)Msa+XR4y zZ3l@ZpsB{wp`)CKI#O#}-zPrI#@gL|gwhTOp6(~Oi9d%HdYdKxE)SmNMmzrC`A`hK z!>%((+R3s#jS%EW3$T#rz!T!ZkWQZeBlm^?r2t*}(f5VHHT!GWKei3}P$XIDyjBnc zJV{uMReOivFZT;K5Hym2ac<|=kzooVsun&RGAR10WLaW!2jfH!6vRHRQ;Olk+3I@@<=pF{_pay6uG zpOf;c&!qbt$4ln6t{blW*8VQxsC#A?SONT_N>xvK4dZR6)nqL#8pkhZjmZyAZkb#M(1cAfm0-TOzetHfuYZ z9XD$O$zU52 z+n0u1>Weq4-w0koEEC0mc?cQEv2A0lV_VNV*PPl;aeE*_+1DY#M>BZbie(Y65p>Gc zry^-LynrlZAAk~@qji1I)us;1V}#I;OU~g%X3U6PT_yhLxruieq~-M^mKlOAM#i&i zhdsb*Ou2netY})nDa+IMa0`V2yGez{69@1rlUZ`V&bF!WuR7B?7W#V__;I(e zMO@S>)RWh=!nCARnmGhAUY|Zi@Jbc9PSxo*ca60kW#C(2LwL)i$%1a5=AxT0X%-AY zhE_xU0s1cM{oTU-If-wauT0(|!3xeX4C#(Mx5-U<;IzQ}9-!sRx_V;C(@{vd^Rm%z z)x`0TSaK@m2r~kTPRLvPiASe&z;_Ea-xZV1MXcmh=(qQ%Hh%-cEzylzZ(G!wu+l^{ zL*Ob5K*{5r@zk5GRFppj(&^WN*?p-42sSs@S7>z)WsyEKJ}l3^h+q}YZ=#s(hNJdx zZTlPp*-l7Cday+d!i&Ry^wMfhL*DmQI76O$+*tpTVu^BeG6!LV;Cd?VMQivI-YNci zeKa4l&P7_n^=bk+&>9tMBxh*6N^GMSQCei#b-e75crO2 zDRBU!4y^k)|bJ;6~>lj2YLU+;1>U(je3$+tmdwmlrQqj3)iSRPlL8 z;v+ey%ChYS^VI6pkJD;*g;c=O%E{dCfkcQPg`C`VpQ8sc>x?|3`z_#_=V31C&5^k$ zy6lY9sXONO1jD;m2qK9RuTEun#a{P2m!vKwXw|LlsoF_Vx7-#(;~qN`O1x2)YJFG8 zvJF}DUpw5&czVUA79Bkxs6zaq4OSazwh#l(hw>nk0GArenhp|oTWcLtXHg!rKEs0`Z3#=%ElKkG zp6GMhy4?}l?#XrXcOvYJW3)U0ewx(j&ta}O2P4Cos0!fB_O=hIDnvuQ={;wAJ8vtO zz&sVmmuCdGk24Xbim>(DXMjps)Wa)0du}z0gl%)v=2$-gE8lF347Ak@fjvV}Lua!@ zSx_2fx+dWy1=VJ*Yb=(E?^$N{3Ac*0Qds0NwB!4?R2Hh|>5P1mESv3BHc6be($1KRZ^zyK_IK?e zHgH0V%UP8p)<-Q}QZ)NUrql$#dyb5vsL7OKcd7$tB zUC!|)3W3I*Zk_6cUGSITOE2}0rYldZV#o%%QFe_CvhWGB3paTq85q?uI+FiEVD2=W zl#@i_$CaFOrFJS~0z`_}terQb!2Mr|!4qd%(u6Dj_&P(I=JR04uTJq}5NjQ_v)zef zJR8h4HKXbd$RM3yJrr)74wuE>9fg9%pSTNz-3wRodhGHF_mGBS6a$)p!X3AHX-C{G zVMAq7v9gg=FA!`JB)b*3+U6x$#_dZU)GYn2a|Njdj{R7nD$FTb*ek@;YV!~#H27=V zIuPZJJ}>v}iK&315DatvDRvyW{pc9*vSo4vD>j-3MFK59wD9cF54>+RhI1f}UvI7K zpD-m-;qF=e^r$tjR(Jd9dnzNZ_xCWoWDtg@(FSW~gE!txmJ(dq_#QKOzIA(rSGSKG z){bVgc3tb0qx|^_-)px5(P{AA#iD7l6HKJ^`fU=5sRL^(@3*u)*G6xJntTTsGn$?f zDER&KbX|`p{V1y3)@I$&^?X4g%8ABtaX}>Ds#31WSq?1X)5fWC$i@$>5nw0gb1$#@g6_uy@*{j>E#_1 zSE)!k$a?r5!#|J?_Z4JEJnL|R!6B`q3?bGm-8x%4@MxH`HBIC2P61llpME;r2xbva z?0#J8-;I4&d4=2|QgQ=7yRog;(sKTG2~AUcpu@XtDCCDYwsr2q2ev<{GAF$rGHB-p z_aRMqMAjf#>p~x>{SJta8 zY9(9>JFmocZ!=TQiQ}I-z)9+|ekw4H2slplG%R&Nthcv7aOd1aWrZjUu{Wq(Dt&&#}2u*f}N~{|0`j4=1T(S5&(tJWoGA3 zhlOG`)MHscoriGESn-0VjrNwa_hZ>84-Zu6+MupTA_D%@2Op{#=|?8Yac%{kXBlk_b0z*{BX9t_mJ=upRWv`B^!C*uJpw z!CXPa?9X&@T(6I3fVX7b8nj7A8;+P)=5^8HN4XH&Q$1Qz0vvXh=3g(gpCu8=-{!SV z84L2(qzHcX^QlpL-gm^aYRLUWmy&lBr?LY@Vxb??%uJqupguU`rN(akQ>3Qj+z-KZ zaXsyx6&YWDLtKbrfgg@lT*63JQ{~d1(i&0IW#yY{;A_jBnyoMUF9ut9pjP7ezsYZ$Pen7#JMB+3In9re^#)p{`=jHN-^4tR+n$P>#8EG>s znGcj|CVuAxVV(n*T5C$wAjAHB-9@{F=1r_2nW*8D4*K0%5QYq+iM>$mRfBon&tM8H zaw@u2cr~gFzEcMue?w_~v862#NHiR;Fe!Yxy!lq;@h8E0Kj@N#gq~40@*8)XAt!sp zrrpVwh07E+83gv$7_J^dZ0@`4aj4OnhkZhvS80tb2vM-~97{KH*>juE)$)QV+r7od z{59-%nj#mKLQF%z{AlH}oBq}3yG^!8ts2$y49xh(q+%L?%=?#z+ggo^EUK$&EmTFb zWbrgk9=F(gkKH9P4x_xg*Ew_iosbqzN_44Q%J?|M??Aj-)I4Te$6u-JtEF!PeRs?4 zU8GxqAPC>L5bb9r>{}SmeCSWk7?MP9w0=L82WaNXE7zn6tsM#KJhpYyD*-=tc5#`1 zncT>pYvl<67UA)9!*>>@nIkkK4BJHrd3_V4f&K@16EzFi*VPeQGK4{B42Q=KhTi#BUf z>p6pSO~+l&9L;ha=Cg~&#-1F-Xg$vflbJ;UE$6@bAYuoNd=R5?45rH>TZ_Rsu4`r2{j6=0OdmW=yrb0|l zwSzoT!;3xv&SYKvjAO`^fp~<3j#7Ip)hfj0GPZ5qtTTPCZ4ghR@0_!Ezh4q8s7i!_ z!wFZ&|7>`=YN7v!^|JE2h=>Hi-CgEO-h@!EfgUprPgY9AX*vzooaElQh3ZbJDd}co z^Yu~-%$!(4zrJQNUN+uL*Sf}~#YT26A)b!|0-YtR9Yb<_Mz*`e!Aa^Ar=#il_>g86 z7?nin9rUS%o4Zw7>bCfylZ=lk$S^${)uzlphamPqy6mH^f4lD^G7H1&fja{-tE-!! z@F0>^oC;Sxh?CoUu`9jhAO!I?g*RLHuh(CN0>y^zWE6el5?`uh26Az!|W@+VVK5VTmnL$5?U8C5eFV`HJ5%;xJ}14P=vx1SZ(Fo z*E$Vv?!oM1R~&`gJR!z>5XudOGUFnd2%F{e8IwuJ3C1VUl|s)agNn^IjpEN|d_l>~ zV47bRUe`pi!bnoP!hfA)9v_pEBb)`-OL4Z^+G=t1@mcgDwTC`CLqs&`D3K6Yb}rP0 zK?<9D{R%)hmES#bE0@^8pl%%PqHnNwzl5bU-FmJTER^hdYaiiYy3FzKmP2pTF?=TP zZtYAy#*uDaf%MStTf!K97h034rR(R{6R<`<)eKnY@CDp|b?H|6!iswIgCjHssC%s& zI2gJvDJJIgbzBZD$`?hw!0}yn=%Ioi#G`&C)I6$YkmlpuA(*ATfuxmp9(n&X=2y@A z9u6(9r^Eur=(F9GV(C>D7>Zw?z}TPSLB(fNN1G?)OHS{VJQUz#CKKvcYBFAr&+G@a zPCD{cX>~J{b+_d6rCo=}>uW5;aaK5V)kMCHs;HgiN-3Q6>&w{Efo3Wm+A4~XyPCrU zqk%X*`k&_T$c6^ApjGVipUErTs8oBY(blnSA?(VLA(RT*F2jHM&eY%KAx=wdOjOyj z=(J`P$fwAN(G0mK80mSoRps>Pv|=5}kVLVupv1__GN=S)gr|99Mv@ZePz-j027LPw z)<8PL?CcfAWz=Y0343qq5;*fHMI|=a0VxF>-vr64i7o^nK(fgBB8U~(#4$eHrl8cf z-%tFVS`(CPHHoyZIS&2AJRXhOra~!JRE)Vt$sbZGc0L+rA(J-Ey9=YxS)t%=rdjhg ze@WExEf4z%MUp3HY7oV6eBvIk;O;UhSLs{MM4vb-bju-l9RK9{ffIZQ{QL+1{|Xql`G8!%E!0 z)dZSK5DV-*{fg(i1Nwh6qKv9fgRG?bG4;Oe;8TuwG=r4o?41t4VyKKHS6Q?|DLAGh zO>(N-y+xneJ96SxEe_?(#fl1Q!Ko#KO7H>Ll}+*ra2ol=MD-K(og#J~`Vr zP1hJ#M<4;fmsIShqPCH~>_a-E#vic_w!O!OG}0|;Ryci=M8NhIy8*$V--Pmny)5LL(~t>}yxl?cO2s zedV_gGY@#fwO-^XTzvMJ$$Ldvym%tx_fjg%yKelA0aDV=s1;9cK@$h&s!rA_*mWk% zC{UfwnVjvP;>;bOP~3OeK2~jyG>jJNqNIB&k`Ol*mj3D=*ttKR`w;5>%tVePT)X9k zvG9Ix#F)RR4<)WQjbWQgx?HAyHo43I9DbC8rw!`@R?vWme=TYDHTe{d=%kDcFng`e}6U#f8nnB?vu-ARkgYAj1 zhM%c)E+SIunn*@^LOT;?;{V-4pkof1cp0dGik^kn)cr(g8eXnLh2_>;=&;&PzyKwd z*3q5U!R3&BevRH>5qp&WX_^#&uV6&nXgLBGfh*}LO`oUTua7Y3J}q-8^Nz?dHdOu& zSG-+=k7vEHli3~=ik;Z?t|8l3y;xM@uVT50`+Vc|seK#;0}u-HM-cl!q5-mQhkHaA z-iqGyah#~Pm=Bj!w~OM-?tlwFe*>}L@pm}TUvtu7>#w;(opgteVMzj$s4+w0(_ad5 zOJv8CBKEL$raqlckJ|-xv3!Gw^9oAT-L;(kTPtmk7Cu7jo9NgbvR`2$#BV(TY?*m? zxX;gGhF#K>=tJK4an^H`3LFp=c}w0|qbw4fzji+2t$&%&@qg)?hnfcZKY$X53V%8t zs|Z+#O(w65&Jz?}2n4&2bu{=9`kgbG`nTjyXR7AkEVRzQP-jUqou0@iu`lhSnIKiV zR;n8~Qku@D@h++y6=$rR9u z_XaHwal@}q5<7?}-P%tP+XR}-=gD9>l?()qCL5-M7gV)LNwYdZ;}BnXu9lo2fBQL)2v->)IMsp89bg)sjP1VfM3r3HJDT=a?@xe=@$kKXCg-Vi zX&eFO!sNx!i}d1W;2ROboa5(GuWr1+viW-Ig0TOpFBN_nfej?-VGbx<_!tWI>tJ&1 zJS;5F2-PZ{5eA!$8#*Z8;aY}qW@+g)T*$97d3lK_F;N=Rb7i>vZjzQ?m2(O=j-W|_ zf zbbTv(6V0|q`g)%wZ#ZEGiX>`l7op%Rqb=I8k4iv%7vF?P&`|AFs@p$T z`cU)@vsQjH38Te%5jUyDY%0CB65V(<==6tJHc8}E=E7PR{}IT^E)6MtnX$Uvkpi}N#S zA0mZZW;=biXNDd%>cM`t7rJulBG$Z6F3stcxs?r?OfP1>aTNL1Cu(l6h`?ccey@j8 zce>S8>2h}9=oFNuW(D!ZA^iqCX{#p$)|IEksD9h4$^uOLC#z0ha4NlC=>1Hoot)1y zsm`^6ToDSk`sSo=dRv97J0ZRK(O@YUP3n-DD^9&z5pzeXdq77=0h>(_Fg z!Dl$)SCb~uG0Dptl2W>**bpMU)F`<;!0Pwib_mInz(p?Zs!5PSwGpPom){M~Bzuuu zdu5fQVgGmTLG<*Vz&?B+Ss{UOYNWr^N-%DBxQi;sS=tXGThh-_hG5J$c7+(22g_Ds zx>cJL+4rdl>PH=Ae<&vtMSc#86`C!tT+;l_6 zhd9nvUUJkcQ=qRBww_KA_>-K!ly$)_Im-TY{}B;YPb4iEKBr~0iEyt(n)wnUzW~c0RLAz$)xd#&WbrhL;-~L00x5i#nu}Gu6gE~I-kQ*(JQc>a8&Hpk$#0qiLN? zrED`elw#nH>bEzSSUd#bQOihyG|9K+zT8>0Mmm!K7K&0I_x=oY!|B2>TYR&Ow?)uu z`y#y70^!x52gzUuW{tlX?bFYU!`&AZmmf|05^Y0)<0J2vTSx|xFu<)2bCU+ho&nJE z^ ru4!8YS0~>Pne1_`1P$gqJMbp-I~WZ3>)`#iA=v>Gjr;e3zUHfJaH9Uk1_g-7 z*P?IslLvFYnv^`d!N8K!zhUM;kAP$sy(;aN0MY^+?AI565d(U^gbDe`1&yG%H`3{X zh5#JGb}|wX^wrL(CVsQVI^G}XwacL4?zg~0K*C;!M<--p&+XYb3io$xyONS_xjv#u zED8L~1RmL%i^@Kqj&qIe%G}WcNL*?yQP}Q@8T1q_hY;bQuNuOmqY-@j{hhlWzGJ0h zx6)b%b25aqpV%@Z5VdnXV_P42{?C!Z%=gSJnFwB{+1P_WkNPzOC3ol?q6vW~AAeGb zWq_yvX3mDL_`iYxX6{rb5dd1l-0UhY81sK@^oG96JTd?a>wg0+?kHf`cmNjm|9YwG zqyU7LMg}lu0ssqV%ds37i4lP1e;`^2Yr)`X{s#lCMQ9a_ni0VIzaStefCMgp^?yKG z{(-0x09ZL&{+;$k2w>%IVKM?}^8eq~tXu#M4S?;xThUuKM*(CA05S{Su%#aXXbVW?`~aY*A|U|lTb_{rxUo(17cJ)ItCdt)&VRNDNHf0|%m|A|e1KS}1Y<6S{!>_bBKDzT5d`@xt8P_kGVX+@+e|VZ zW0Oi~VM)iDFBMW`WDffD+x#Z&FcL2%Ug|{f6hH(qZ{g!B>~8!gJ~p|mNIf||`Jo~K zVOv2>hvy1c(zwEjWJgzXOUEaZ1_npc01L@WRT}#+=K)JuM^kuzJ&fi>#)`ZGswP9r z)8*GU&pcCddXNOH_TH6cl7s^?yoFv>5)^`scyUs{gHrO`4zg|WuLX7RkUA|n3l}Du zy83#Ys^9JP0tNfDhiDd^qG2hpB`W%n{Mfxix*|ck0&@T&1PCEuNtjT*VMJK~28#t4 z`bb$m!8j2ulw=DXPcRpci^xhMGR*=`zgR57PZ@`036MWOg%A)0Um8ClegTmht%#|} z^*cPaN(o9cOQfZqX&}2d3|$o%qD3f=KQ+ljVLmoBO)0rVo+hRt1UWjLSs8F%oJv6& zxF3gOxI+c^@)OWV|Ae+Wn%D|+2OChF94IG(%yu}kgyBWP3pH0rQr&x%7O+^%mQp2J zvqK)u4RV4JH%+df0}T#jw?MWfAm zkYFwD#)$!k_ao|03yB75H#pI)O2v%R7c-|VInVX`8D(eY6F~w{tpE%hm(z6Fzi$68 zaA$32xfVg3=)N=3VUm844iewWkLvrD(e0ET-I=s${m-ML`(L#N2ogP)i?PFrQD*%} z2c>VrZ=Rpvm|8oi0Rmx-P-6VDv%;(Tpd$QY*VvXcgf1e|lPB$M`-->K7Z<%gwZB}1 z6B%2zpR?po4cylT>;tzKxkY~BgRXQw1#Q!G~!gmXQ@EBpk(M$;!OF6ZI*3XC!>*i@bw2a*pM&T;L}Z0dW>Y z1)Htp!qvPbLaN0F{}pTaQ)tXcwD9-45L!tmO@ESj+TFhvKC>SYsvEW)jo z7Y?aT@7+hXq509Z5V85;Nx)E2MM1$ck!Ls_;LXLb?O`vAm&OA}>;9c`a&M`Kr+5Bf zt_(XC^P+}#Eq%y!=1>Sf9r6!s6p5C(_PrHc3)`%?;wnd9Dm;bQ5G<4e>1Te@(!96i zM`)=t%vyw0N07M4vb|Nb;Y|GNA`Z7To`)e1fk2#g)t%uE5DQYdv6G2zjRM_y!pflI zo20a;uB{Y$1Q(#pZrDj$+aQ(}RZF2K1a2o($Jx}|S|E>lAtbMBG-8xs>fS9jn_s%s z=YL&ewNAcMA%_5|1b@l`^;QC0(DltK~i`FXM`b40X>z3Us`aoBZD z9nku?k(@h=%Hr1KkkMKtFNChc0mx|2b1-W4J2Ui_zKCp2v&WC=5XUe26SjL=TZ<_t z#~XH{?edwP7`8fQf1SxPs@Y=1+Uylt4wm1fZm=1;?L2 zRA>2rMLZf6<>L_u&k(Uu+h2c5@f;I0X&!W}ij%0L<0e<^qAIJd2er7vBoYr3LQrZ{ z7$+1*Lk8=gPhM@n|Mg1XTTa9Y?0DjsOUe^qefNwn#n!>@AMr~bQf~~Vh~`~5@+7-? zl4B$HEnuDjQyLwiX9008F;i4q)19X4itJ*sKfr%!phApLRZ2YyHWSpsB2W#*d-tt2 zkU=dpvnbd5#>4fFde24gaXg;($#k^H%Oa+GjM>dM{~VheRX?mFf1$q5s4EEt*JJjPyDnzofw<*q@KUSG# zl{p(j#*|bN-m99NFRe9{trj<2M=Z2y$g z;f$>Z9s08gnSf4fRQWKmP8p)X(LH31_jwbRwdYlBS)B`E%v(a9ZSIxbZO|%5MYfD4 z5=Oho@FCN%3wgf9i_Qdzg3pO6h^*8cD4E>(`#?|T<+-T;S%v5mnSpqcrVust-^s&w zJ|VMB_(z#rS+qLhMjS0vIT3Z$jt*PwR*pU(V8T4?Cyh`GG-v!w674^p6QFTpS%UY%Gj7k#m zOtKz8YjlR6G>kpr`cs!UeR%L~xG&|kh&d;-&06L{dN;jC{wzs^KBeW}$&A{fL$l03 z-4tYv_Sx^n*KVZRbPz9Zs9BC05~CJ;=JFu}L48F5rXtuRo151tDr_)cG?Hv<)g<>F zs40c^p_AMDUA$(OG>k|7P1am!Ts(_d4N6rkeL6I~a;Km4pedZ^QHI7i+}g@>Fac;E zwXhvrbDn6sC+oMofQ`qWfE!>$4hbQ?C zLYDsdTofsKww^`nk^OWXMb)1SSPI{p9?QhfHX1~u2cO$WA99_By8w2O(Q+Sp z=^2h71a8G+HZ1w>k2z*NiVWN47^$1s@vJ5iN;+u|0QZ*`Etax2<&*U%E;>p+Z~KtU zbiCP;k9t-o0Sd=H1ZZ?21&KBV3uE`xvStWq9QpV%dOm{AhpTOhg0}vLCl{b}jS*`n z+*cFr7%j=ul7&BBJ$TYtiH~D`malBxd&pVp^>!;7o_3>&mPc-~)O~c+qFy3>Z##Z= zmXC^qL9Sj!J~MLDltJgK9ti}@J!b~HQ|s=vTRnX5%ZY`<<|;cwzd_v9as?g})60a~ zn*1ti`m>0NN?NnIMJ2}%Nt+;XC4p0ezbkMIJ$o#zT^T9)-mzqxJ_6^6kjL+Zujb6B&WI3bcdqE}NlSv+EqN8MMe4(^ep!%!`83wTKrr6Yv<4+F zXTw+I#_OXT)FqX$|r<>I8mYSC38*RD?pi&s=z$V&sb^na%|-rv2@RoBk`cdCH>4 zQ?p-Knwv&Xtssb~{;_taa{lWC;P>GW^=|Wam1i5> zer383*KYk*burNj$Zr=oZV-g=tIHq z?O|tUkWsMVrd!k_+f9s(%2s|u$77wibFuiQ0PPD}3={*;#8`2ppQZW|*XeYcc;A@q z!V)CwV}EGUrFtOX>3H*$>Z>9iMzN#8y+-{= zS)T5X3PT1Bx<-mD;ZovOM>eXSYzg|k?jG=qdEIw67)36UGNhfj3vaC#E5+UTt%lQ7 zBhMN46 zMV1>{B&VmTM04FRwcU0bj{;O0Vcm-w&9lZ*B5Xiyx#QV#kIP1|nCj0q`i8YMW~IN~ z9(EsRR~3uW=BMNkyDZ+AAr&fT(XHa0#OYnyl%iCup7{h3jpb9`TI5xZ(OO6vR;m5) zbGu$%R}B-|NaK}HrKcNCO0#CaT+=)5wFsLesL%9fQv7+vn}QNst`+^>mNN$uN#A(I z!oopd%0ly%f)BcPWuGczHL9x1@uQJba;~#_1t{9drY)?GqocR$nA#X)$(g3mWU%;P zef&6&Ad>N8Ts2er4x4ZhMakp+sJ;^vYxr&-OQoCHSVBRWOBP7421eSW`F5O01LAq2 ztV2i8+RZi0GQmrgMYKWu{wP`ZViY`WO4lKBk7Z~d1m(PwFMMy zu~~T-shMe%8{sPC<}Os-pa~nN?`(z217>?;-NKu<z~2yPsWRcBH{nZ)^V|=>WBhEC|KD! zX_+`FnV2Z4VHoA@O~edcOo^z(cvzTNIGEU&I9QmN{w+!UE(S~oaB%%MjfBI>^?z9; z*8e1w{!bB?nS<@WViLZZqcI!*G>V=zZ!92xhtXa68}|N2CX(6%S8#&yi8JT2CGUc3 zXLq}(RYWIultC#DA}UYOtR>*24vZrK-%W;+p!z3O2F3$(9jqbafwU&R8^|O9V;(GC znAi`2v;=MbI0cZvHberC9tz*->fH&)xC~C9fr0mk4aW;su>e6xm*-d?&mGGl1I*93EG}+?qpo_wN#NNxG^l zzYwvKm;*XBXd%s1WDhRn1wXCr1Dmf%Ng(N6{=GbpR_^!a>-Y)bIO^}eJ3L8$mwr5W zJ4=_wuw581o`PUUGYqy$|MDRJ@bmo4=nLlR2iFWaWzA2pl%GPZtV!z-jgj4WU2c+w?lzLRzV&kyOH;Gc7r$MOHMIS%Em!ntBaQzL!YZoTD7e=_)Ux zsZXk@?|}c>ZLlv&G|$bQ5)cexw8CBSKeoz@Tq`N79^m zB@?%*=0a!zM{9NQ^zxp`t~J9aS8LFNn?|J+qUxzjFE7p+c(K1ipA1k5)#|76X^(zRL)&L*IPRm0%6mm7}3a6Kjd~v2X;t+dk%$=F9Kt z%IAGAwx-Qx`u6AK_rZqTb{C)Woa6bA(Qg(f$7?@lOlBs2j{HpPOCWZB54UX`Zq7`` z8xWYXH0>yK+1}r5{^8}htS21E&6fJKqBpY+BBTs@&M7)2ox645O2{<_eLXqw7_3)D z>J-!p) zQTL*l=>5_Rxz>3rSPnDGy;D=EsLh0DOYUU>%99U}TF_um!!4v7QnPV?7~u_h8OvoW zr66EwX_%#rExW8Y9nT}CyQSfbay0y8^t0+S>(z`f{DIN5!_ofRldv>x>Og_K|^FT4Z1gMOjK%bdsSM=BInoGjc@FFp~01+`cR5sBRXI@0uz=*Fv@ql%RW; zv)2~FfzCTxKz@k1uT+szCUSB7gg~12S9L@%>+=V^JJyv~Yi9MnqwOoaI0U~TSLIKx zt2{vrPR#+FYs3A3uSEOkWs>(F?M6s&f?oSAqb*@%c3T`joVl(~3r%80A@+0U?PE9d z`Ax@Pk`so}a=xUVPnYk1w7;Hbpbq_%^Oh>*Y(w2RACp}EJN`u<`@eS{dn$(vkQl_p z@dJiY)zZt9h=q#-hEbE~ADJ2}5%a%E6?=P^f0O^wI8}jRl(sXo|L3v&uO~*N%g4kf zBE~H$!Xhlj#w@|kCM+T$%+ACjDki}!CeF;x&M83j|6hXe@1Xy^GdZ}K{zrg^Jh4qd zLm5qCS|FUHkZO!Cr~r%MlrOeg^O#PpX}JQvXe8s>>4ZJC7)vHx=U-0Re%ET zdEcYNxC_s}e{=)TdHB`2%f3~*cx}iieP23xkXX!vsG2`jw-&}z^2Of$B_s*`++Em_Em3)?+gAnIM z>tw>)_5&iH-k)}fG24UmAcy68o-|2^qg}YM^gLD_^P?EJn8cWfe*^Sy6cEt6Tv=n< zII%g~ICVPdIfLJlz;+=%@S3>Fxv)92IUhJ3I3+ppmv2}!GCjz)Ri-j9bwTp=xmY$cU* zXnZkMv>e;};w-j|0_lH`0trHn!?Zy=(hz$y6Pwc$+f(M>h>P5Y1t$ar*VhD(bp@|| z1&4+~Pd>Aw=y0Iw5L%jp-;zm{NP|{Xlpw~0zn6il=iw~)>nK5<2?H&_4FF#it|{`zVF diff --git a/paper.tex b/paper.tex index 778b3eb..d5b84f3 100644 --- a/paper.tex +++ b/paper.tex @@ -363,6 +363,13 @@ operating in the model's internal space. CRI implements the Pavlovian mechanism on transformers: activation pattern (CS) paired with logit biases (US) produces token sequence (CR). +\subsection{Associative Memory} + +\textbf{Hopfield}~\citep{hopfield1982}: formalized associative memory as +pattern completion via dot-product similarity---store patterns as attractors, +retrieve by nearest match. CRI's cosine similarity matching is the same +computation at a different abstraction level. + \subsection{Training-Free External Memory} \begin{itemize} @@ -415,6 +422,10 @@ Das, P. et~al. Larimar. \emph{ICML}, 2024. arXiv:2403.11901. \bibitem[Fountas et~al.(2024)]{fountas2024emllm} Fountas, Z. et~al. EM-LLM. arXiv:2407.09450, 2024. +\bibitem[Hopfield(1982)]{hopfield1982} +Hopfield, J.~J. Neural networks and physical systems with emergent collective +computational abilities. \emph{PNAS}, 79(8):2554--2558, 1982. + \bibitem[Jang et~al.(2024)]{jang2024camelot} Jang, J. et~al. CAMELoT. arXiv:2402.13449, 2024.