From 859a3cf5f1a85db871989a6b6edc8b0e68ea9eac Mon Sep 17 00:00:00 2001 From: Antigravity Agent Date: Mon, 25 May 2026 12:12:06 +0000 Subject: [PATCH] fix(latex): apply Claude's final feedback to Paper 02 (bibliography, Fermi estimates, conclusion) --- latex_builds/paper02_paged_attention/main.aux | 6 ++- latex_builds/paper02_paged_attention/main.log | 39 +++++++++--------- latex_builds/paper02_paged_attention/main.pdf | Bin 98439 -> 108708 bytes latex_builds/paper02_paged_attention/main.tex | 28 ++++++++++++- 4 files changed, 50 insertions(+), 23 deletions(-) diff --git a/latex_builds/paper02_paged_attention/main.aux b/latex_builds/paper02_paged_attention/main.aux index 1c8aec1..ed5c4cb 100644 --- a/latex_builds/paper02_paged_attention/main.aux +++ b/latex_builds/paper02_paged_attention/main.aux @@ -8,4 +8,8 @@ \@writefile{toc}{\contentsline {section}{\numberline {4}PagedFieldprintAttention: A Custom Fused Triton Kernel Proposal}{2}{section.4}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Preliminary Benchmark Estimates}{2}{subsection.4.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {5}Conclusion}{2}{section.5}\protected@file@percent } -\gdef \@abspage@last{2} +\bibcite{memorizing}{1} +\bibcite{retro}{2} +\bibcite{flashattention}{3} +\bibcite{pagedattention}{4} +\gdef \@abspage@last{3} diff --git a/latex_builds/paper02_paged_attention/main.log b/latex_builds/paper02_paged_attention/main.log index 0c681a2..381642a 100644 --- a/latex_builds/paper02_paged_attention/main.log +++ b/latex_builds/paper02_paged_attention/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2026.5.25) 25 MAY 2026 11:50 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2026.5.25) 25 MAY 2026 12:12 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -382,8 +382,7 @@ LaTeX Info: Redefining \Relbar on input line 971. \mathdisplay@stack=\toks28 LaTeX Info: Redefining \[ on input line 2953. LaTeX Info: Redefining \] on input line 2954. -) -No file main.aux. +) (./main.aux) \openout1 = `main.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 24. @@ -404,6 +403,7 @@ LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 24. LaTeX Font Info: ... okay on input line 24. LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 24. LaTeX Font Info: ... okay on input line 24. + *geometry* driver: auto-detecting *geometry* detected driver: pdftex *geometry* verbose mode - [ preamble ] result: @@ -471,6 +471,7 @@ LaTeX Font Info: ... okay on input line 24. * (1in=72.27pt=25.4mm, 1cm=28.453pt) Package hyperref Info: Link coloring OFF on input line 24. +(./main.out) (./main.out) \@outlinefile=\write3 \openout3 = `main.out'. @@ -490,6 +491,7 @@ LaTeX Info: Redefining \showhyphens on input line 24. Package microtype Info: No adjustment of tracking. Package microtype Info: No adjustment of interword spacing. Package microtype Info: No adjustment of character kerning. + (/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-ptm.cfg File: mt-ptm.cfg 2006/04/20 v1.7 microtype config. file: Times (RS) ) @@ -554,29 +556,26 @@ LaTeX Font Info: Trying to load font information for TS1+ptm on input line 7 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. ) -[2] (./main.aux) +[2] [3] (./main.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> *********** -Package rerunfilecheck Warning: File `main.out' has changed. -(rerunfilecheck) Rerun to get outlines right -(rerunfilecheck) or use package `bookmark'. +LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. -Package rerunfilecheck Info: Checksums for `main.out': -(rerunfilecheck) Before: -(rerunfilecheck) After: 0FC071C82A1723F9BC8E142AE932A6CB;1472. +Package rerunfilecheck Info: File `main.out' has not changed. +(rerunfilecheck) Checksum: 0FC071C82A1723F9BC8E142AE932A6CB;1472. ) Here is how much of TeX's memory you used: - 12813 strings out of 476106 - 203551 string characters out of 5793933 + 12859 strings out of 476106 + 204087 string characters out of 5793933 1936975 words of memory out of 5000000 - 34494 multiletter control sequences out of 15000+600000 - 600462 words of font info for 147 fonts, out of 8000000 for 9000 + 34509 multiletter control sequences out of 15000+600000 + 601548 words of font info for 160 fonts, out of 8000000 for 9000 59 hyphenation exceptions out of 8191 - 79i,11n,93p,1013b,456s stack positions out of 10000i,1000n,20000p,200000b,200000s + 79i,11n,93p,1013b,466s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on main.pdf (2 pages, 98439 bytes). +Output written on main.pdf (3 pages, 108708 bytes). PDF statistics: - 71 PDF objects out of 1000 (max. 8388607) - 50 compressed objects within 1 object stream - 13 named destinations out of 1000 (max. 500000) - 42497 words of extra memory for PDF output out of 42996 (max. 10000000) + 100 PDF objects out of 1000 (max. 8388607) + 78 compressed objects within 1 object stream + 19 named destinations out of 1000 (max. 500000) + 42545 words of extra memory for PDF output out of 42996 (max. 10000000) diff --git a/latex_builds/paper02_paged_attention/main.pdf b/latex_builds/paper02_paged_attention/main.pdf index 9a3cf64e0bc0aeed0ab8c60923128ab0190b5fc2..2a8ddd714402d59ab2805f5c6ac2c2597e96fb00 100644 GIT binary patch delta 60205 zcmZUZQ*@vW(4>=0Y)x!uVsny-ZQHh;H@0otwlm?xwrv~x{k!MC+PkN_?(6ia>QH~k zqFG23a(Q7Lp%qwWu6krP_{1q(GzcPACT8YT6lYK>pjgw!X@foC>q?I) zxuSZ1!P6X!=p~`^ooL8m={#cJ8r@EZ{Phn4HNrHWqo8AzIq=CB4f#S5lU4angaG4* zkT-kcn*&*6r`zS3SSE8;8Xv{Z;g%`?*SBC!29LrwtzuH9=XI!a?aTGvZJzOIo)dXN z9=u2VfMN%Ou%%NRaR2TDPJOJt0u`T-x%=;(HBq|>Xk4V+7GJY+&(1bu68cL zxk+}}F4N9LgNtU7W#!yfk_TA&6Qm>J+q06bLlM2Ekp_C8b6<+yr>=Rkd?nQ__9J1n zUu?cV)+mnqF*xpCpo>8G`7meb!+q+k=R<8NRc12qb;efYg3YJVu7V9B+9!zQP6co3 z{U)D+xchvs#^SOKNyClm+>0l(r>wK&^5xL|>W%U&F_UWO#AE=~PC^>py|m?Z+i)9` zt9Pq;GCmim*$z8d%tRs?sFdw)xWcVDd288t{`h$Mlo^n-aTtI_cd?_`bl7blgx*xc zu7qk>tLkap+-5)KzBWfi!Kk^Ky1W^(S>;d4woyAm*12koIA%*%PIyr);w>)?^dmQU zZ#liV_g|`LXE-b1S}(Zf`>}$GVo_bEXm%N|Az3*7`~52D~CoTbH=5FnHcsbl6J5gCca4N7kXZK9Gb^Q37Hw9L%N`w^0V_hT(c>SPS!HTu9yXv2G zE-L$4-fy#Qe(L|Rs6yR8HRPYcJromkqCo?6y}j=Do-u95j0--{CtWIhf=yNk^*(?* zt-3LVSGTkl$;8P(3(pPlLmFp7>xxM^248OnnOmnCx0g`ik+@>-c+rhxi{fe4CkP73 zOXZ5(b0yN5Gm%s!5%_|Hnb;pZlinh&_L!EW#SAFh*`|vXrb^Zuo6ZP)HR_OHA$SwF zwU`r9d~CJpJ;>|DUuY$y%Q9vy{6zp^5gN;a6-8~`Ziv8l8#57XAWaJ|8gt{}V8o)q ze2_VLPzDzM>&fVHJzGRG9l7((WPS()KA}CoO0uLyrHNrs0;7?lQ8S_Ka zxh2k@%gqi~Xv#&&8z<0Ox*AB&(?S~9)4!nfU@>K{nmiBoVhZT_2U<0AVgCRM7Zs-8 zV+F9vDQpHmVn&Ap@9iNjTnMZ-?3401eiKfwhEzW?vU$VKU>gQb@m)svC>?9?L}l7U z4?@YO((%P9ah#aJ)6A`}uSEO1ZN9p%aY>_>F|nIRUrHC|Us06x2OA3~7c|!wR9#23 zl<72GL_9gcOeS~+9oGttM(jX@S*>#aGC#Y$u{y_KZ}^2x{jc+U;I7WLWpK?nYD7sx#8k6&%`-T9TYot!A zssW+&XQ*SngfY*6*dhQ?AJD_YZNv^-NE_d->7}f^X+Nkq*88(52ON&{^lL&BdHD|6 z4&V4Ae4ikkVCvI{Htdfp*tm~PYcyxd#`jFgZ?_*4z=7k9n&Xk{;fMCeFD%^^*0w#h z&@tax({zbL-Eacm3i#s~bSyV4auZ{UfJjrKFsj-PMPZS=`@H;A!yc;$Nv<3)s7z zGm+8QP2la9BN5Dwz0YI6sGKr0LFh`-L7`s0-NHbuA_GLbSiwc=s4}c^EkBc9AlNyW zo@ZL8$Oi-bRPT!Gv95De4tup1)%X#T(5?QhjMb2pr~mfd^f?4akU(JBGyy+rY{{)O zF7tXmD~!Z=7urP%vqEg6l0y5-&T~I)LozX7Y0`EE-9)Q!SOJ=L0HJ|fSz#%AAyNhw z=y66tkqt%tBi7o}#GIR^axsji0QDHpTRv>7tBYPf0?T${G46zVJd*sDZ>2W6^Na!AO~efv3-Z5m=`q3VS$R zfzwf4-$mc`t)gSpY@iV)qY^JkSrZ*8!o~%YMW=RFsI!2zxUX~iK_K~vLxTd-iWY4S z=?2P@?5LSI-#}WeP?+Gzm`Frz-4jeoaz?Sk+jss;U>USNhXjL?cd<8$F3Bs)WKGeioALCK=D%n5$WohJyw3p|*gbj@wTEzPvgN?FF?SD3Pxk z8xo$@a!&-~@8LvyKEcRisUIMi!Oe=r2^62s+^Z2aC?=iMBflPZ{90WW2yvd0RGdS# z<-g-g4Wi7YuWD4xr;ct!=BBVp>EXrZn+K7x{93(I{}MR0Cg}SiU}7G;eKqY@^=Dsn z+EIKugDI6wxqM34g&J>k<&@x38$C~s=u&v&dBHIzE%K=))c;&uY}|zLbhs#b8MueB zRowZPrp%j*J`?~(yQkq|e!;nC*2q98`Oh94^uXb@=&m{$3`@R)_*f_tMl0VOTW8{G2h^05RmFM+C^^0*@& zdIOri5$s+#7n@?Cc`SF$|Utc(QYtnZh2@CnIJq*EVN#pT@UPEvNREQQ&B zRwTD*hEKFW@Fp1Ys0Wf-63}img5ZJujW^C)dTO}u=>hYyfgta;SX{yRRCu^@pRDa< z$;uqWPQKJ|F_2T8E~+`Y1J{I?1FdDd#nosnZQ{)NFg#MtO4kBf-`LQa3YD|O8URnZ%pLJHZ%naQRbtJx8W`F# zdZ$LwxlXsh;_d|49OM3kBF;5d%;jJ3zQ|hLekR=R@s%pC1vsB-kmK4HKy%?T!07Ld z)?k&!Qa5wu4ZFtgyQI{pS6sOW#|5%&CD z5-Vk$U%mK{2Za4)^qs9(=^g{k55fA#(M399FUy7`tD#z+eRZFbGu=z+~Fq@4?CHk0x9C!1)?Ug6ftFRU^y^qYB!~P>j01OuPgTuc&c8G?(r#pZ+dze5Z zF4xp#iTm|%b+9E0_ZfTI*+x$5Nk`JYHu0};^c`7PzA7e-U(9K>z4}bhQq<_I=X-DQ zuj@>K_8&~P$ftAv#!g>z$fU-mz1#@&Gn}~aE4W0{oPK8iYEb9Gqpg|L789MdJ@WJw zza!K_03b#C)(BQEDhyd$B51a{!3_WNk)&f6%+rID$c2sFon#w{VqQw2fMl*Urr_Zp z``s3=Js1&bo^cEvwg0}dFk6tEB&t8V9C6qtm=<~v2btQxq6opfq6_W6#=iTJbb3Z^ zd_|zMjdo?003*MMDWO3xw{KV%mqGMA^ngG?T6B+ zNlHxnKgdd0IDa^>JF0ns>MIZTEc+YSHwHZrr#uF~SC;aahS0oBs330wT5?8xDOa2< z@bp(6BT!fn>o!QH67rH|WL3EdS4mvZMkf}V)mILg?%Ju%!$eTF<1PD+@_#uSco8LZ zKu97v7fd}qrty^`OxTdmZvv|X*ohRVI zCTyBq8e~P8Tc#G%s>(({XTvXnz|CTfb$Eia9@~yxj4)`i0(>n7GbNV9`MV)57Erl; z>wn|AXxSh=SM^(jYb8gW#Yg(RJn$qMhCKJ@pq?HP*S2uZ7}tF8YTzw5ar-catXqJ6 z!bKeE2=37`kxHI)3V+fOWMg`@GuIvPqo#d~4c5fg*vZ+^#K7i%$j;CbmW_#sk?4Pb zmlu{n+Qin(*_?=pg_-65h8W16hey(;zhp1MtuEHAb)kj_ zj8w=DMCOdM^?IX0v|PJ7F^S(K+yLi$&(FQ*PFh&UEJ|9KrFFk~bTb8lBHlsX*Z>z4 zZ-M!n^|wu;v^`$(1!%(J{rbHM5#$tc18zso_E zL~v#=V;+kV<}qMCPV8jueYA&dWvvJ?WbH+x}Txo1ef@qz$6H2 zaESs|^<{liO6ObBB5)YGL6{%errXIbuS(7)g_`gw7C|MK0yeH43NqU`)DakpKyB7A zAu$_dMFUonuBIh14^V!tm~5kFTQzs#o2_xA*DaszbT`Kw{EN1BT|!DDgjIA;0>iDi zDx#ZSh2s{Ki4bWBrc@x|IIUq~nDvsoJj#SI(V^*5%R<@=<&EG-+>)H8bMu^{2=8}l za1;1Bj`LF|qiAT$M%XwiL8UGtrFr#1%WR6msLx^=IDzD&F(46#WcZP!2V<~T@5sLW zP>`{b){#vv^JuE(>Nx+X$vs%mSf$xygU!sDJsZb?l?!DMm$UEOs6}DFLMx3|e_+1Z*h|~zc!B%xb4~}4N!m-M|Lz+> zK3nP(^o6w$29RAlp>C-*uff(Ix9+!|@c-6ohNf}kd}ZpW@)w8WgV;kSVsRZsH{K=x z4MG{#FQ#{eRr5ywcQS)Qnl^I!T8`OZ>-;*ugg{#}$SL4S6=#{>*F5%9K<%EjVUpO0 zD{|VVQ)miZ8;q^b`%eNFP?!f@0&>+;-njPm(12w|1~d#GDViU~NaTfi{edIe&{dFP zT}|7ZAdFdsreMXUmC3U+ZfBr+cl8MD5;}q9a`5xqgs1XIC}5CYBYvm3@WoJU&fKg6 z1@SstH?`{PK%gd4qZacyUgaoo#yMv+!N9BYIN2Sx5O02V^mP$h^8qQd#&ND{I_zP#Qowrx@SvvPf1*OifQkjd9aX~}6_E)|%wdI>p^PqXo+d)vR zpZVWG7+^UU82T(tb#O;CqSS*yPAQxRbzwVHz!Bz5xNJ8OpPWe6P+G#@lKp7&4WAH2 zr)4PUj`L|dE`in#KKAcqO1_6+j4R+Qyq9ZhnW`klIZ&?cdz*eI7FQr1EhQ)Sxd!#} zij!G4-Ct~0CruF3T&BX^7e}V~6e~1*BV*m5 zP>w5a9?PhWzb3m>7-HCD_HVJQ^Z>oo!W$Ic7hKd8#WZVwl%xK6kY!L659|Z$2obL? zJ@x9ivDAC3A8vQdhL*bkzS{LpoYg1<$WQzTXBnYHaqoJt<@iGpF{3rz(hW`psi$wX z$Ts7M=XB(bs6PvUPJ~Wc#3*6)nK^8Kfnn5fN96>%bRt_W{I(=@LSWvQaIm#mTZU4$ zu$^VL<-M=GG&fj_r)gX$U2+23W}X0PrtCK47QHd)^-sqx6A2XDyOxuRVZvtwgFkgm%IX8Ic8rmj88OW+Em=CKk^B z9a)GN{}+jvn3%XY66>|709Ock+>2!F#G3)Ux$^ zbhiJkBQV|QH#Zx-o_fD0x)ak6ymFUa1m&u0hA0e9^$`S+Jq45_vLCwKGX7)HNA9})xt z{6*ti9!h*AFsmQK6xlBVdjZn;`(k!r0x|DU9~4sH_qR!a#0n&=3;My1y_=gEN28m8 zn|%w0i77-|U_LttAQJ~Sx{6>7^ODW@XK{ky!OZlc>;c3Ex9(qVTT0;1h0O_UaCgXy zJ`AF;e~lqDe^C$M-CYr96y+hyxB`d(SekF@KG>H^b`T<-8#^b!;+q{jWt z+8pv0T&N0ERi6j>kBn+M{u!tVM4A9C0GF}a&dGb8*`DqXTuw~nLVSg7z!TBrgED%_ z-qb#5(`NO@$YZ)<)@@#+bNOa^)HJ~VRUGf%A^`XA$oq0_1~1BcMw|sIe>h(&cwzakg`Ua(dGAE?C%nJ|37}@D`2pU zP#S^6W#8&Rh=3|EH$CYF=>-DMm1~9sz4P(;`u=$2(M5|-M`T2eD>(68krU00s&9fVJ zKRwW(j}%wTjb&+Yf86vDe*Uq=%)Jzf1u*mb2x+*h|LQf==Kcy|IyGgQQ#LK*TjCD7)pxAZ1n%*{^cMutHSEWO2Exf#Ug$MB=3AgLT4(jOWW4pP{JUy zsz_4b`@_pYDCAVoJLjz5tGE71#9XOM^gesKTcYY{MV003g34f8{HsS;h64hYE3@UL zWjZi1*0xXUMResl;$c;`rj~Kh=@zKj>^$JL?2y8M+?KPmuvWXH&fiRpY7{y1W`%v> zmB=;9VG@xJ1UD)CW7_}wwlAZrEvs)5$D=?o$|wBH3wcau=hHKp=FD{5s$4qrUvYF$ z%mEt{#0SLH4pw06fo%fGY?PZqzu|P1SfM?r3I?Rr9SJV`JH47FxjGA&;x?dh$jSSz!=Xfhw9J}4yf0AIp%+5o!nZL&+p>MZrnNzaA{P^@)&or1 z5NqY)oukQXdy$*&5$T~$r(4dpt{)*rFI z`P3i%re5QC6IE}MG$Z)GlnD4r=pu)xId*dF@eN*q;Su-!n|XOpGv3;DCH%O4Mm80d z&2yERS4zaUNO^xfMoIZf#=gN^a(bQaIA^@Ze?Tk7VhODhct#N@$tkP)4`#JE@^^XC z{*s3o@HqGLhHBKsc2fBv6c@sCZ43IKp71o~oOR^p$U@$ZK)4R!atVNVkbn$!hSAo% zs?keHk;Fm!aGvSrqIN?{yolADKSG*%y^)#cubdR26OknWtGTf>sz4jcdXm?gi(c#D z!;zBHI&d{AtG?OFZWb2E$f?(tE!H|MwJ)3A$kaFukWFCt+6yA2Kl^O2&|0iX*PofM zPc1l^Z^hiPkkNcUcL9Lk36cpG7JA2Xp49`+Q&C7Z^50nNdG{?e9B&iziy+8*pJ`xr znE(F#ZrsiFY#|wVVEUN-)n%YDqEq0S)Ah@y0jkMyh9itf;=Ld_6HU+giY98R^p3huK*-(Qj1wEdX5wK}Z5LjW z$gCd8aXiufUhaK=?JaZl;m|iT@$h0N`7ZZs)Wt=wrzrd}F)bqdmhuv z$Llbke&R<~0VkS&jP}352_pmO+hSJs7jBw%Fu-xU_zV#5Ckjx4u{z8@Tr@)KNzM72 zG#`6SOLZEpnicaIosrSvvEaT@hA=N(gP!5oi?^)2h4x^rB^>8iBcGI0LA6z8jBTHS zAlm71UyV#DjjQ7Zwv*ME^`>OeCLvt2gT~x6f{?U=nH=`~mcFhLegK)&H91hED>ZJ? zQlO~lP7g2|gwQbcTpuXzXU)je>?p~X7B+UiduT27VaPREu84N=!{D67wq22nP$=MJ z8SE6a$}-kIz;-L*kx3Z1xVV=p4ljyaG+*GPCg5|AjU=p1D2B~$`YUihk=^*TnTu4> z$Wi;x1f;)=j4o!(hPz-iWeHTdlUf#?e;@`FbpzL1IK7*KsW#=7WQ%br{JgcUT)#N>i^AL&UoVN-%(OcNVgi>DHg_jaRBHKs)Lx(K zeZiia57}xs5XrM?{9qHIm>@C<)oVJr5}w2w#DxP~{zxCJl1Uxx@yYf4R~NpTfCSTu zDgcc2%t31B3)%T;Ho%^gNlDhSOMD+ey*Q!K2F3i2P~<>&^qI|N({l+9J;*&8vhM1n z;dl-RiniLy@QhfYW1ZPHxo$1TV^0=m?}qPeR*usZ8p*$Ei?grDnyi;(cf`ubDfmuR zPZ#VOJON1^7*je4lNg&_)B#f6F4S`AaG)!>5}qd?_L|VfT)Ii7@huElqlgpd06I;M zvA?#9%?y9feyy`9JdIuEL3U??oZvIb8&7#g`lf_3;n7}|V9ZF1iI+pgHTUI1st9{WrCR5<6|3va+e@VTT?+E%v~A>TfoWXz!#)AwaOd znWmk(_*5Rf8iaV_Oj7h*BH{h&gn5LB*7A|gPeR=(=0^%Yq17HLJ2FNS`#;gAfz+l7 zv%2e+U!+m5UfQJSsF_%Z=jS22$d5VMR>o?E=9T<9Z4f5gc>$2>`*?)M5`kHt)_Zoi zdpa<{5IDfX~>+gG7|1a*ws4vQ@HSd5!DHE!VL36jFGVX;nk5$!sDsHdTyXf#V`Y8X%YXWYqL( zW7?kuLG{7*hNAkZ?lwnf{=%yc66VC@>y>tHh@A}C{}5p#=Btp?n#jN@Qr4}tPnXK_2j)gxFm4=F6m&YevmnhZ z!BsrJ=j`$>A&wz!d@n@g(U_lY;>lcFF93{O`=1o^3_iK&3WCR7lWF_JCYr7$NZ!z^ zSOt-yA+Fw|HQHlOe%JdS z2dH5zn_>Z#P)UziTp1fOx}fU(Ya^md9w(l<3zPd%CNo|6kDg*#AFH#MP57jNdp_3V zht_T=osC6(P~2eRfq=hqJNiuvoTeeQte46Itm#9w<%x079OlXeOnz5O_n3Pp$f_0v zS<`B4h1qU!onWOEL`tj)zFTOW!{N#^4K3a7!0%wLaNJGzes}U4dYfRd0T;(vEJfxL z;tqZ%8&$3M&J!5cy-*W4yalb!r4jppj}u8lO^e~ScCDHP2*4B^QCF-3I%t47!!}9D z5RY^Ed=t8Y0v+$6U0VBrVnHdKR0ATv6j$klE|}5&wrw9{-6P*-UdHhhe_y4OA@~8W z3?_~L&}O#mr|B*N{HaUB=w6S;9u?~&?Q5ArFzQmSeo_320L4GW2IwVF8-vS)gy0QY*P59VN9kxeQ_7ukW$3c149 zD~6jEu97s-%l_%*)>x3b%m!BKi`2*^o9e;};nsjQxLt+HXX{8w(KFKkg$2MIY<;)R zG!TdM{5dA~V|WarF{XAcyBF&*`;$UVk&}obPS{=K5Wo{;H7+4@SUAhRAS^5|J9Mc) z-;!)_p@E|uwws?wq3_1X^I?WiWCsikGNIllXw`-6Y> zb(d>hiWk3~Y|rf>D_c;vwy&{>H4 z%hO)E9hj5=7tmsJgRgg0_%@apVK;Tw;Nndm&ZE6}!3S*x{fCIOS$eCZd0Dxs_4HL! zRLf8u;?>O?xe-vdBwaz?{R>jCaVys;yj`Y+h_wGQyIFf8$n|V6<4~cOBz?S9Ohyx$ zyu~%Q(APi0d$N~2(vaw?{PAeBHjcI}=?<3%3K%=hHMylymcX`M$l~aH+--pIKarwo z6&qrvF%2>BS6x0M;QhKIUIpj#VtBZ+3dT5~D!r{oxG`@dpY}MOx@xUmK8QA_kVJ^D z@s}8+4#nuISOz1HDbW6im`p%2bD_t(5!=?@+q~7Yw|d z6*vXoy4ht3+FbKeWehwQAJ}{Y)?BsEeu_}JSxDk2nM-D@`fNX!F^%OgjUrbask~~3 z*ERSw`2l!eUfUi6`BZmX=j=6V?du^YX$#!i|-z43?=zK8dS zOGL`VyM!{mxb~1nN85j^o$}0w-l1q!Uq|=Q2es_aRIOw|S4iDY2m>i3)Uqpw$ z_U%F$axsV?*(+|)9uvtAtbs6O2i@Gp#6U;2& zPwWucg3S}+?Cb35_;^-)>)6kGR~(?nlFRTv!ao zJ;Uz)L6f2bwilB`ac$}Sju)Vzwyi&-f@u+T z#Lp#U$Fm?s_kGDJDDwr=4p2pm9~@Z)&Dfeh-jwTIbQlI|A)31MWr}DjceG=YtHVVp zvKxYSQ4jQM{zXEc4CU`>`bLdqpq%<6!A4X0Xf`Mpf71vJe9un-0!S^Y!KbV^W7s8M zESCYN6I6fu)?NFP)<+Phq6-F^!WH`I-}~*FBRngg_>K()yN!1Gc!)72O77BAus7C8W&4Ysyr6Fl4hCJl212EAZ2Hr;oRh zciQswEf~;+enL(HrdyD3Msr+?oTzK-~vgHt_+cTswaXC*wa&$stVL%OGz2#4h$ zYqX7iHT0cmY>(TaG?2>pywFyJjEi>*OeEW=ukNRdwkRP$6BmDOGSJC2=UMsh$8Avi z2_)vcBHQ8S6aRTsuj+XFUB+l}cUw*74~#7X0WLn-g5Ncwh&8!+HFw@+U@1Za(pNBI9n?n|7ir%J#0@DO7tc3DDY1 zeW0BwuWqz}jcZOz3_fAhJ`ShRcTrqV8+uesR%?-Wz6MAycv!06Ufy+M^542WmRgSV zIn`h6^QG&~tyi(%6&S{Ch{q@bM+>+~$KiQ> zNe>H#k&~4l?ZWw!1yjo-Aq~;=OH!Wra%M%O!`-U@(VfY;(5hAc?tXSn{Ku8^&htDs zPcN4|t_DL@`FS%ZUOAHBD(KJt2g4Ox8_U>RUcyxrv6ADJ?DAC!L|X$w(Kdrad(M{A zmsWxFi7rI9IoH2GSR|Pr@M>*t${REoQEF;0`%<%gZ#%ng=(cV7k*Y3@x@*H26kCY$ z=@oJTPGZ`$t+ZrU!`jI1DH2pDds1OsS6zHXt_JE@ria7LenOh`2ry}@$P*svM90{a zp6AY_Ft+wj^D8Fyj_*EHF~-k4raILkOWU7!j`@e{j`k%#5F`&a%FAHVI zi9*jFtq?X+89 zKd-l7sZMf7G!B23#`f3pNAqrU|IMUXNacFT3fdg$X%*dMUy~RtXv-UlU1hiXqY*9* z^hCN_clrtRGxAZ^SB8BxIP+Y18L=>5@z#urBv?*i;OA;JW0bdmPC>0f?7p+hm5ZtRpbKyi}Tk@d1F&NnJxf&&JZgiE< z-ovKQheQ-Q>G|6$%{REJm=1~9qz69&*3uj*nghbQrjGBqTh;!mNG`=cOT7~^Gal-_ zNBE?;LZ49{&7UP6E(;(z-u^ROz-T z@>3YBP^e- zHga$XIu}~>v#n!mMxV=pHrv9Q4}z7n zB55akNNU!r-&ZG*r_Fb^To4okLRN1eoSPKqS_ACB$Tr)fHb?KXCbQubP`wFsdL_m@ zqY?Qr!OUb(TL*US0y}57nNA~HbvpncbIQQhXs*p+u&UCd2Ca74pNY_j+c`M&>06=4 z3aJF7?#FKBQ9sXOAq20}w{L=V@jW`;!oWOCo-5{5EDpdiAV0MJN^h`x-5~Dw!Taq~ z5Inp{E{Muwqi&?Zj|a)0zjIbDhgvI;qUzqan}DQE@mxdXd)IFZN2@WVv$! ze3x*aLon)Ar9Ar|4?-7g5Zo3EG8ZMBg!(V>_;kl0h?jzfRWSY6t|;G?Y(oUTpi-LK zxCVF#s`~f|+S8xrHsxaQD&k3_Opq=pu5??di%~I1<9JS!G2@l@t!OHW1US}bkBut- zS}6G^_v@@%uHy%Rp7~C2MXd>}+4#JNXMv_2twCRe8E+#%l%|q_xJG4@ZmF+nAp3`*+nF8LFM4|m^o7Z-g8{R$C1oFY zoBW*M-=6RQc8}#o$HFhn%zBrL8V?!VMz)FvUq7*=B}nO_5#gcP@_%&KBN1%s^)6iL zp{H}07<}au8&-3d9YbLbKATH}Y+k9mmv4I0xKZn|wle&@PYcRDBo72a#NHBb8qOBvKzn`g2k&Qnl2xQ16%3;a0KC z2vCOZZj&o3iloZucsE0Av13jMHHQ{nLA^D-t7#uX6*y12%B!D(a)i3KXOGf4C&!!B z6S%IOPq!%`Mp;&AF`KJwKdlRf^eN=-u%vzMkkaKe{Fmrk8me%2ctJTbUrM z^e`3x2s8*LWXpq}`)bcln-s?{Q*$0lLa|_bHXhLl|DfBBC@T=RfwXAXM!W7UDxTMj zChF>jwF$I$ENy7kiSVbH2LpR7_~sxlx`FIwDe)9V3g*EUqPZiPMoJW^yOPCYdKW}N zswUOPT3&07581L`5Gd z9{oTa9Ya65O_7|x5AtpI%hItHns0W=^4I5ZA%6UzE4P@){>mbXXoI%Djlxk;=U=() zhgGA~9~2cgO_NcDSbKu2**?veE;k~;m(|i~44EkWs=C#FJ?#rJE)LXY*V;Holvq() z(S2N`w<~u>reZ;Og3Gcx#aLS$AK4uY@!PHaq@+4Riz_Lv$dRHecMgkWHT7Lv%Qc}Y zBTVKE`#m1wXc({DNi7v7cb%LM*Xo`|mSW90yJKNsOz@D*Fx2PWP_Y=*Z6h||T<&?I zYolO8(|SdwuCGqxYNekr7tv>8q-@EGj5^aOE`jAM9kl~`8;H74N{(8I$8ToYna549 zX1elrZNNPWWn-M}q-Vd6Xi@;}FNtgf!TwQef080J7BqsxXQlG{&G1i4cKJeECRq=+ zDl?b(EcE)+kGEb9z9A(ynbmx{!4?wVS=apGVey?<58@YOXsZ~eXg_;{w<2>& z8)IWX{Nv>S`IEQk6ZAF_+4AHh1RE zo8+yZ2lpcsMZ}&;h>k8p)7ZRj_{PY@H_P2pkI;!k%?+%pCbAU3JiA4U)4qiBXbnF6v?@o z$XXG$sl3@J@QabP>0VLgegVjGZW|C#f%!*WErju17#dl2MdAv1?fNL)8co7uJ;y`$ z)-8S%CwWc#@mm!jL_n|f^W?w)B}5_5_vOEvD&$f4P58=vdDB?b^L;p;_Tk-6~pLY(vVh)ofSsB=m^SxA}EMa>gXHrz}j*WFhf(di| z*Bx~hC(m`dFX|UzCu@O(Xj!x;TTNAXPPRh|$XWxq)k17wd(cVU?gW2D)jh03YUQLQ zn(bDS$$JkVKB^{TxS&0a^dK65>u3}?NdJ07N0@fTQK&IHigvpx#Kyp|fXASMO~U;R zB53Hw>xRw^Q*pm0OSdxE%7&sh6^yfb{TH0H&eQ_Dg6KLr>U7@+wrMOuQ&2(2{4nlr zgTa*lx8kF#hT&3BjSQ-8a;LqEBBWX~q1kicER7PtG-&5{1qQPJ`TMWherK$tPQY`# zXCh0g`prax^#g$vNyphB{aTG2Vv}Er)73xO)=untd!$(aZO| z8{9-YQPY={*Ry?;=~tiwGP7okh1=R%;w3?Xo+)2x6TN$R(rejGA%)AjwvApA96l>6 zQkfm-5h=;t-|BwB@;(92qPV5QZ}qGOMjaL=eWVow#aj zdWCWA@A?fox!w?fusDQWRT!+}yQGj1-IJkow0H4L_)&eM3% zU&;9#NnUSLG7(UeEI}U`UbF5^^X)!*9iNfN-@mK3@#EO}H)r7DryYkBm2&~%c(Id= z{91`*>5E3y2R|PMc#}ufHT~Sxas&;7r%&Pzzf=!bjfFY|vjN zT%P34f~{&rW>zUWWOJ8i_KZ%XR;oRPJLGjXaEBxbKi_ZE6a&J~0_0cd)c@u%$82}g zL1z|@*xwy9RJxL>T_!)Hu}1(XVtRY%91KQr8dvqU;$btm{1a7DHlc{56$@SF@c0RV z*!S@}N?InnlfR1%Jk?|Ahx?u17&;7YBbmGntxJhA!Pr@;67 zUCJbm&}?m85l_{ARV&$9UpK-`eA&?6(rYv=ozlH#PElB&Xp=SmX{Q3Lkml7AgOgBH zuBr%`0(0KDJ`i_`gl*<{VaYDq4$qnL!ea+Yuv}u~|IE=A)xEoL-lN-Y8fzNxSCvNh zzho|$X2r>HKCYmy(;Wf*SFP=~D9#9p>4m7jqDxjQS8`um^}_z^_L>}gvt#X9aK!Cu zIYh5ExWT9>J0EHnVy)qM$jGn@$PP}*)oHdv|0XL3;Y{d~MTz-{uguRZk@@n28qJT zL^cht8u*L*Ze^n;?Fxw+SAJNiuE-1`044=hIB>YGBvPTUeK%U0@nLC`uSaW(!VLD$ z_chH)SMm~YlB+--#W~VZEd!`r7cP~JmD%G=oW|5 z#ByHj=GXQ}hp{aK`xduVXi`iiGMIYi%nFhl?rBC#Xv45g&sJ`WE$s-}#~4>|T9Mzy zcgY%WU6e49rBkMrF#KSy;grA~+laZ}{uTpP) zt6X%N*f%RBWN0KpP5gH990Q7=s>2W?sS9R#nR$eB8s8Hics9vg_S$IXxdy9!0sf?x zuTewUbR$u2&!Z2|Wu}L~?=-wOVawMML}DM7wGL)uY0=A%gN>6gwoJnY6kJF98CKUX zHUfm);>;4r0)91L}bEbF*H(f z?5gB8myc=ev#j#!RNUz$W^NMS&(kd<`NhS@cC8Ypf|Ol#k0efGixQyJD2cY^H$U@V zwRQ$F>Y*yVg!A_8-!Z;jRWWwnNZN1W@~9P3_YuIlL^K>@56)st%*!v)1eMj$YV57< zxSKnF2E6M?-{%H6r`PG0Luywkivp^82_C&J4EfmN{>s z-GG0o?M2-Qxfhn+7{wO(=S;Lii;pwtrPL)?I2P@TY3FVgn)U`_i>Zn8e-G3Jlw*NS?F@#dv@CD(yC_uNv!H^1@t%wyhywM#(QK`1 ze*I9?mk4W3kFUSmV{;K3(>bNq@v^oC)SmlnmP<9hp`v<$D6F;BSMVs zgORccfgW|KY8p`0?2ZHdZZbju)*T+{rN01SU-QBPpA#(mCbh13u34;?9KvMH8=7KwPz+|es<1h zt?Ee{J~3pSRc?nS<>s@l5#%m#Z$T_^L%WYWPd26o_lCXfuoBc3Q{&|}yEovZfcG(p z&g;u07%JYRhG2VFCZ?n3abloQjKYT#RiibqBh};Ym_(4mNHUdU2zDEDdoVT#DC~w4 zZraMj9ri<8piy#E_o%*Dl)Qdfcn&c*rv6+Pm8pfysq7P%Hht6&yk zW$IyNZU{@fQD{jaV8S3|Pf0YhNC<6zkPu@0Ou#6Wb6&(Okwq^FU1mP#ecpBd25N8g zb?JSd+2^M7HtwgDw0LwL;~_AvlDt$nDZm&(&>-YMe|g3+h=_oo(2&7Ez@fXl;0(>X zobK_kM$#@5LIUDsC10V1mq?JstQl}P@ucS@sKM_4QB&^OEg<6)Row=68Iudgrc55Q3Mhm5y0FHul1Ho_GIOIT6C zb)JfUe|<7&mx=bNaVadCJ4jrvNrf;Jc?tL?{C|U*fbbxINfxj$5yALZ@Pjn-_sgi` z7o0#zevsOKliq@V@ezQ?pgh#O0KVUF5aJ(RP~s#q+T1LI&=D>WJpKDB!FgG2B%Am% z$ROnZJzSy=xL}|iB0oV4?VIo;9C)9b1ZNe2g2Ywc*1xHscxT|_QAYh309I%o=n;-H zG*O=>Wwf8Ex)bM(XFNqodQpOadIA#||43uYb^i|7OcIksfr2bL zz?B8%UmvS94IT;HFAQ{aNYH{r5EbXBl=*r@ATDsbpfA49Q~?n*$VrAf7`zO@24osE z=9T10JVdY%q@^30qyI)2@!J43R0PBy2LiDnly4Aa_&XsXq!0;M&G_mb>H$p?iTe-% z*{@&g%d265YnCS47y2&yc53`t8PQo6!nJ2i`8`!p67~S~0t+J#20<|r41xkf0fmAM zU_(NDuqO!NJZTesA5=%Xh=5Uim&Edx_o+X9$b)YKh%m_e`Hdb)I7ecj+uvAk;srD) zKYYPI^N+r^j=sz9j8(t13%|Xk?1)@mocW)L2fxjsy9f7$09KaCM-lTf5$Nbl$YDTz zrT~!AhPFe#clmU#roxNMgpv#+ms$Y83jBZc`vWdGa)`%>t!t5mq)LFsJv8?#r?U$V zSXH9LK+p~g4l~JZpF;*|XoratDuz^6pQ6e%!l%2jCIp1-xBYsUx zDosCfSf-qR#j`Ujco+n#496&Ba3w3qey|7i*NTp*YB0+B%nacfV&LBpTQFes1s@xA zVE_7Bre4_b10M=3%)k@|dASe76k#7!dT5*F^&>t6M9e7ziu{T-9sHPw)$uJIGVGu` z^a^->$9_rFBO$uJ#!1{O8p3#cetTvF3-=Qz9cE9FiSo#}-)cBsl9PmD4p|ZX2p?Ik z@QJOHQRO&UmKUaW{DJV;C=JN9J=NR3=U*tNhb1b#vEN?jAo&V^{KOQy(82&XVaW)`=K87tBsU(GP>`Mw;N45 zTyWLZcry_W)kg`M2@zli>Fe^m*0Uzi)d(;vj2G0$7Qf}u7=GJ=xvF$@kOGrgr<25D zTDX5qP0kR?*{IzcaCj1jllQ zCw>n}2x1X9?Y7<{w?+=QghCMo74 zs$TvL5k#)vTLaSek*&gR)0oxd#Qnv|TccpsjdYM7K-WMAdEJ%2@8a_e-zHiXRg2KElCN5CkPK{VzNoJVQz-|01T z`0A%!D&rT?R?jW(cqQ`V^r>)avcm1${0q<7#|W#C&GA2v4fvw7sH1*bkVf6mYQ6Wd zpP9Tw4V8;hA`dDV=?yOmy@i?-i0z0D5pWM&F}#vLu*5$Y&929n|A|K%G+e;HYwpqR z&)vD1B?z2;?2*bUC(ccK=w=|WYot8Gw=dxzjy59C@us9N?K9Y|aUg@Y(l#RIia2Mi zG+jNx86!jAO7_d9D%XO9L%LsWhndFZA)$|}2t}H1GUV1erkw|)cL{7RP;^Se9u|jiTpt^P9G|*>8JXH`%&rLb?PIda-&WU4SI&&saW%r9vU>4;Gj0Dw zPg1$L_c=b@-M^6vq3nrwpZeqo&{w#loEF+!EUp6dp#@Kjz9)X6LqXKRu#z zD76oZpx#N&Ts!ge`qun5D6k%c0J!}Tvw;-Zq=XOC$FvW#Wc(Y8j1KCJWx@^KKomL? z-CO}#Qe$q_Wj}2S%1NJAy}?3S0+AbY6&%#fiZOI8aXlmq;%}}|(WfvPguk}gV89pM}v z6=8X9uVzr4c=gz>R}ND8>Z7t|dU3%*$Ngl4>LJfp*dVmat3ZAaCIQ-+Xh4kNK#zH` zd8Z6!&&9kzk8KymB)+(B#%|wB?141zpk%@Dvg9??L-a9p`LXR9bI#UE78{Lt(wd_c zFIvcH@qw;aeJYs3y30{zHEOxeG(+<>U4h@&)6$nK0R=cs2V-7+tXdXrT>kF1GB@!c^Rrrnh>4ah?@I_#1tyQPvqE)VN<0vM z(~nQ|h$>hXv!l4%(if;Gg7jF%02BS58Jq^3ZU#TN=&om|+ta_*086EK`4K`p)VGrR zVac_c)jywYn=R8_Y9gNJ5%P})&;vgXxSlVE8(MEUpdnH8|NXh^wqNJ3$soN$?C7(n zar-!YPWJbJs#aXCA94#cQhB8wnel7dej9k^5fYB!+jo1?Pd=L{7Ijbc)r!o1ZElS5kaKkuuP(QqY~4$CNlSt!Oa^+uLci<4iaq_>>iS7Vz~ zc(|9k-osiE$qKbt-_a|4?KiqDEfOp@jP;1hfgC?%N`N0Q)chRJI>+OUUwykyRFax< zqNc@#0$hDiHZUaq1OMruuVEr)d<|i>KL9j3H=Wn$$9$P8nwL-c(Z7D-; zXnss3xqjKHV45oFepM)>^VSp&r|9a`toWCPNvt_j?)&AkhTl#s7DeuKte$YdBNK6_ z#S*}s&Sz(sa$!6B^ABOpnw48WQC#WuPldk_)BvCSJ?pD#AGj3Czqn~SDn2g_yMInl z+4imGbD68Iud@O?I4TxdN2Fqx1ju_ec`Qy!WtTFE`AbB4B;9?F=D?61q*j2fZU=pM zvhTl6(T-fto2MSx;Y@%^>)h}ozo^VqAE}sXAv^IQ6kLgE^uw~=oQL)6jb9%Np{t#*;rcGtI^W=RkO=6EhSDmI7TJPw^ zjX4G;8Iy)k!M*t_LlK#{`9`klm~&y6ADBWDZcT>%Roi!aKUm#BijB!jtFq-v;9ULt zS&TL?kn+CU%ypx7Bu&~m())cv7i)JeakrW>$|_+zk$3~Ncfq^hQ$i!CU)XjzmE5ai zJ8tY{QLt~E?O+O8d8?jcrd9K#(Hm(CtXFw?quw275RNMn65I_x(g}%T4SVlZ0NAeL z%E&{gteKR7Nh%He90+-wMa0_uN>dXJDCA`Rn57Yqrg93;%q++KUGg&mD;&vCNpbCD z!`NsdvpL8^G35G@7Gc14e7bI9R3VjfRoPf3z^#)#DVX}uJ*)IW6i$h1oq@*b42|LP zDmD38gAej24@iPsBZ-J8l0NS4kam z0ag?&`CGz&KzHwgxtV1-_4}hF)%RCW_ucB_u>!3zTiB(iO0L4SIWg1P4Nay;O1z0I zw^p{+C0Xe4Mloic*p9+u7ICbPt((QV;YjFBZmpdYDU!tW(e=sO1q4 zStN;N%%i`@*z6De1V^bK-k-MiHwE&IiQ}|xv~L&}>?Efoa^{`697-ehmH(FMgriEr zN%Q=szDo1$$UKcj$JFchal1x5*2d&;k#FQYvJs+4Wq=xuXQ0u z_$>{ZHNro?LfwkMGl9sp8`+Ren7n#K6^)1s9`dmQ`7hg@33IQe=WmfbTD@54LGe_k2B!~D>fh`C_ z5^+<%Q3?a18|Vp@y}lcUOwC8UCjY4IR?Zn-AHnG-==P~W#gMI9fdj`3q$JdK1Kt1T zO%*HS>H`Kp&yZKbiPKIObfpCuM|DEAFRd?~EuEJD#LUU$y%uehkXsd<=wFNF$&N}a zN+zzi=MXk5Ui0P77#8yMTYY*8Ll>Uj_J!3DJ6^x1Rf|i?ZDPX&ME{HO+EzN1(tZ(_ zadrON|9#9m+Bex`Isp_+A691VI|)oNRP+0r|&#zs)(ptHhDIV(mBWe=CBW%u0`Mr%mC21+-k1 zp(M|E^TB z+eGUG_m$SN$J{F7i&Y)2eY>X(2Pr68^lQAOm)S&Klv>n@xN@p71Bktb-pE%iEl9=P z6T9CAAA?T#CNe;nGLaYy{!0T-l$)&f`Uoj|*=c5Z z>i{E(AUdWt3G2P{@?W^Q4~}xmX)n|mwm!%5i$11u4ABy*lE)gZKi*=q7Vmg#MqiUa z2C^S%vTk_BsI=&v#n3IKXNv2cjHqH(dlHe{kQYU#UdI8guzM!xE!x8tp*AW1UEB8aieVVYyP(l zjvDg$fn0L3j?WHfd%ZkrK?aO_UcwK#Dn)qN8PO(`Do%*R?>}#v(*}HSekRm9_c&;H z(fc5`vi1Rl=kYzxtvs5OeEXiHWzUi<`?g*ve$~P%zudUzJSzK2vg&i13Vwe)zQa@f zJGDdCkQvRMNOsC^UHLsr0d|;!W4QqD={-h?{-Ff70Q%Gsb;6qSmFn8+xDb}8{<|W* zPC?#6c#mSHwtwxPf#JT_?@%TM1dHX8crsqXahQHm)MCTB{gB9H56~zy${wC&! zF{=y8^o`YEp5cV(FSh3G88t~Mm7=6r8ss5l?1K?EyL#BaZsFNL2F$#7^xPDp<)vas zV!8AKxE>p{q_jS~x(`k>3A^gBgV+_Dqtwca^m;fGu;~IE&dcfeqC7-swpF#V6Ya$* z<%j>`6&@l;b}VKGC+pH6ji(-lkA4_V&l}w`&(L>>?On5AE?Ok1w@+nY^yV(+ zrp!xi^3N5PjZ4sw{gqj~VVl1xO(^P|R==zSC|@;3s=Yk5Z(*0N%qc#)YM#su@Qq<4 z=XWl5i^qewALF|E^LA6NDR8gvH*mB4 z=F~ri9-}Bd#by;ZWPjtILn=+JLHzR|mn;#~_K$7{qY~*+q-V&q-gy3!YO80qabYMD zFxm(rvywFj`b_ZANJwNINtSgRs?-q?C)4u3=9jv8wRHVMGyili!6j&V6z(|TFC2|_ z&#+}Hnr1F64JcD4MX|0 z6~|i#N*@%iO3L+=j~!ku>PS!QvHHs^0!uQguGr_{)g|2oArN@c$c-;ky^$Zts+cr4 zS77lDxSWiWN2yV^Jp+#AMcMJl!%{Z+CY^V4iF~-Q8G;>{(h=+)`DxX^?@E+`HlL&B z^y~9jJC+^|x|mN5We-t+a=LoRib4((XQqmi8I5ys&Z?L1ZRy`aDn-MjXlu6qX1wB4 z)f^}rWyV=i!e*Yz^&Xs20@dPsXS=0;bz;LfBkN4PX`zn#WrADPYAIX7PwgZ4wJiwC z{P#Ga#y(aaYa-26p=o{@n}UCU(mmPRrr!92M6Ib1dSc20tNwb7UGla`2awys$mEM1 zeZo6NJLM4Gc*JFaws$TKgTbGr_}K~D>wYPQ8@?}-%G+bYCh`y)KE!y{rIX1ITv&=?)!EBYh;2q`Q=fqXTzU2|1Vw1JI=hTV& z;zJKr^5h=6k!7Gd+?-QkEz7**Uh|_-=_P_1w((}8%5~^NSJ>rv%CWn9ER&moJuol= zoqFB1u;7k29d_a5DI#Xiv9mjm=4E8+&uhj+>y=d9crK+z%_~j7MVAwYt^oPRXS!Hq zga`64v#0i`^n_9m#Ox$+M!41zTdsok?@Su5FgTFu+8}mp@>sm)N%Yd$!8U~2fQUcv zYq`eFo$RDPYn`8ProM)HmtyHop#=VAs&DpRvibceeI_|V6aDK5zTQ*Ch(x< zMj)$W_nV_DAU$`2OA~IcWlQiW)u~2q=^@jnf-n5J@IRH_Oz%1%8ChZkYFtP-`TA8V zBZt>h%naw~aaWrXO6!wtZ8$#DaN-ek97u~_>rxBtnnlN<`tYmXy$ntB!6ZL6@77Dx zd_i?{jk8-OwEZEnJ5}mdpLf=9EZB$7&lpUZk0Iu@pmdDjhlbv7WKZW4smNMGhWz;o zC$w8;amDa48cR>$nxxXl2_9lE@*yK=CLOPsI}?@2@#h7kq*9=Q8M!k%i@hIimA5ZP zmP?}c+;fjC%A(6Yf-F<>evi(JfS{lP=5wIBm;8rT6QrZx%)hg-9mOC?Rf+uLA9@}! zDrp}hA|7vKm6$k`I>l4nPpci3cr0|dfS?XFv;DMy)ORZ2xZ?@hZ*c8%Sn7ZFyZjT| z(Anbzt{uH^@*{S7>xygS>LPDARLDP0Bi6Pp0H59JPR79hte}ZI&NF92hj3{oh5u+oJt(8!=PHz@~iXRz4+)}7qdG{dw-f>(X^ zf(TKk)NKg3KTVr`^k4r=bWLgf5*HzYyH0VipKCE)h&=q8O|L~ITJ2jAqYc&nBqU7# zV(1AOSB?80oCU6CwOgCiFH3$?*OG)2rXT;szY)IG93Ll*sK?F@La+b{EPFq#pxPow zVkDTfZwF@?Jb3YzS+7xx;+$ZqK8Hia{6{A`c+deL>7Qwk(_hLsr&D0sp||}!a<2Nb zS$dX7v{CaZHN#`+GMz)wFYB4N;CzU~ie^D6cpx?DS>E#gpW$$;7lI<{0-qt~0Ep3k z;;3DD6{f7OUF|@Y;TpyvzM5(Z^&0p(VOE09m(Z#oc=ZI|=82mi z=HnlLf?ZF0vC9pV`z+td%92r7)qv;;ae05Mh3=u2*oLYcP`2ULmdtF^!M4>Po5`B_ z-1u?~BA|$4NDxTDJwBsE*@YYuVLbP8yj6wD+0=zRfKO73V?7zz^V^xXxLK!mXvqJ)&?q}@7xS<>WG@7{t3>teQRvf>%QegQSSa&>Xcp!-D=#{z3uo5GJd1d-~C8KZ3+ z`3v8QaLRtYq8)Xil7V?|whBgERH+J+c-4-XM)9XXyJY~$?87`j-^m1^Ty-_)GEbg1 z_HnzU=-4K?^n?dVcI@b*ZG?#}qB2yXoO+{-7TlXqq{mlcA5n~(t zWT^Q|7Qu|}OKS>Goo;4GR!x^*XsTufM#)8qT787yFlXm}1k=F5dL?*lHHRF}V*iU* zQ*AX!N&uh8fBqzI2$>90GsZMq=~-+%nM@e}3z@=gIYHqC&ZAGnnKq!$fGv4j3dNN( zM?uE~KWDrv8#Egf#zq%p|_ipAGX7;d(M?U20-ffH!=So zsq+6wtuUKW2bs9Rxc^6LMMlWY#l!voJF5NB}=1Rk1YgBvgJ@0zyFklDhnoATM?WL-Vwy*2N#!V`M%l%my+L+l9 z+6zyJE=bNTvO77uzM{J^ptKtzpQf}iJ&1X$Jqsl+MfJzR>aW?63A5c_vr)u(7Iw&} ztW1!MOi%>_0|S7?0t6LWTA7+2ULG5yG^+^;6A|$Wko#f<#qs|_o-tOorib?jdEGPGN5AIB@#TAhdRh5@B0u!Mnt%v%_(#-A7)&xn@g}0@b z31U&JFnyUjQvq^}qy(}B5Q9)5J(X#F|2kIq#+Dz)H31-8yg1k!-!80CFFV7yn#){JCMzPQ z?_oAB06asFmwyw__bdJrdwOBw+}O5*Pk%%I!y2jugqj_moLXI<-TI`D1!(*}n*~;3 zUyQ4`-8@x# ziyYtCknhamBYmO!MdxQP-0j~LQnLdO0MS@f^dD|@1;Bl& zW_R%Mep0>~!|yw?+)cXG4ev#^Kg8hWuDz&0w)O}bPLO%vu}ti0}wLGTfr>ugr& zX`rYa&R^scH4bUozNq5M?QzU}u3UF|9KZOICs z+4zy}D{5ZVQiyI%S>4#z??4kh>6!U95}o=eC49(8JIbw4@qUwQPu#nv4~_$YyDFM6 z<3Y!GTvba@;9Ar2E8P30B)G75m*Og%b`IvHs`^8d1fMMG)+%-rUunVLeX}$#oubMT zK5}Zch~zXsjy(iud%*;dOdMgc78ApM9m&Z$6W5xc@>ph23}a-KR>1B}ByhHqY=nZIvfP(1_q?ezqdcAg21N=KWCh{!g&88P}ch z)@wHHcMAsR^@H)`Y%j&IZC15Ti)W$d%D38Hz8%3cGY8RIc(4fevA%2zIj=$i{K!@c zf2NR0i-Om~zxN+H>Okw9Fe+BOePmXajc1Xvhc}&TGk+Lh^(fVNQ+m5^4VqV{%lb6F z1F?JuBn(CRN^FoY3?r@-$|Qmc_VL%VaUUXXq224K^K#0}oFdeuW%TaRNr z3GvwpxUIHHn$`d+9W30fxUA)U`ws|kDb3tJH(GXSqm0kvp7$!P8-B?%T3IeEDU?f5 z2TA`5&uY_HC@YrR=t(wJ~;1THAVIC{IwWR&r?qR$n%>5WtEKtGJAX;1m zZOEd@cHs@N0NWl7^x_}VjXI#&bmq8WADilEVIZtCDaQBU_SL-sa%u%r)j^no9cHc8 zu3Qbz4TB~-@u+t_vBvHDH|=F1$9*bvY+_~~yM~u@*v%*PP-BopDQoYZbof>NiCbPY zei%XR+Iih*WxX_eN|Zkuer}}KG1pGXCaQ{B3-=El0WNlv5?zI7eUQBkX0Cp{l#l#A z>JKTUN@b@G=WGrCd=5I9r46?*N@Mpo{e0uSe|=LN-=7N z0+%WAxhU2ED-5GDjU;IN)3`k)+sc%LH)WqyHR;z)v$YoDSjEcPK#s%Oq;M(UhA#-g552xEjxzI5z7#8soy|D1DDYGow65=CfxOjJ*SE9gK z#G8$s`3yA1k=}#TV~5Y$OhcXp;sds!8nM@o`R_NqZA;~AcMEqkI)bzmM-hvDvrD;L zc9|plC^7zq;^8cLD?8C<(=hrk;A2LFpV}1V2Z-*Pccd8E2am+Vr7(xFzLLM}y=dahvKL2Bmlqeg=IpIgz)vwv>vwK_! zZeV1Ixy~l+@n)n#=4l*1vd`O}JLtt`*JAqd;0pE5*FjYAi1!Bbvga)=c?)u@o0uZ} zVdLMyL(=j!+;pyWAAjK%gc!)yz3iuv9wX7th&W8Y_O#2A5JiI@Lp!EUfwKrqs-m~B zpvXXbfVL)C?Y0L|pw;9)P2}f%1vAl@C_u!9hJ4hCHupnJ^!#)5QvnHtp|6LB_yke> zcmIFt3TOJEG{$bo>cz+ROG8$%%L?eHV^71PJ=OSW(fWQV{?rD0`SPe#G^9b!*m|Cx ztxA7G{pI3Z3j@g;6cL@H5b~c@aNC;2^b z5Z)Zxki1?hOR$Bml#zr|6g)n`dpnpM-gV9N&o@m{u`QPi<{q^BN^4P&4%ZAiJGFX( zf*|-NSWjOj6lbJo(R9YNnVuJ7_~Q3M{hE!8HJomz<94lshG_}TjqWi> zf;u&vl9Y-tlwE2LBhd61e$%%zC>o+%RA$1~xbH9e17<}bmKrXsE z@+ymVNbM81h>xitlcEj7cR5B?A>_-IRl08wu4fda}r3Kx~CjUKG_Zl@lRp)YLhr2=1%L)CpVL z$^1H{@>Dm1j4FeEQX({+U&EBYv8K>VhJC`N#SBF~`V2CfZF)a9v5GhP|Vk z$+t#}ol~Pf4ghC`pDO#fpAxN+JF*uAgL= zGZm8~^(T*NMog~-W5Bg%_aMb=%J3(|#siZVL3&hrRM{b(tTJz}e^Z=I`ObsnY_yfj z)z+JmP&|oeKVZEkLijPav%MuYCMr#JY_MyxF1UXq+#)5 zLoeew0$^3-Bo|TXUpWC{C16eMPm{&bgFz+eAz@el47MyorBx!Fo0IIPGvKcQ9e%{w zdzyTS_-klY^+F=vhvrzKRX;k{=uV@LFh7Dr5tRE@f6{0^;|Jqp>of|Z?DdE^1zVK! zO^EJnH0@tjg$ixLm4zrY*eCs0t-Hcq6wxf*Qb5T%2MStmo>S8y(y`aRCPo=k#W8ER z7R3;T2OV2vKQv*OlxCD!VLEeAgx-&}S?^C0ojRpN-{U7$A?14GdTJS$2th-(1WX?? za%dW|B@T?>WrC)PGs*=F%}(KTj}DRnPv#6RnScC1-{^|LYE375Pk(=@e0)y~tW}^w zGe8(OU7_3t)6e*2nZUEG()X+mo2Yf6jh6QkJ%l70=*B*Lu$u<M@h(mTL-|KCCUbFY4CRH#(dijyE`Vnn(EQ=!RB+y}j=!0<&YQZ}K1qW^Z{*dfb z9p54^pCZZBKxb9fwY^1-93s_(s*hJw8Q`>j)O8DE;Nwu-(%g-DY6rj5|JBYfMESY# zaMp>{x7)?)m#4%fHmK;$L{Wlwry`z$kQe+k7B|{izE2|JbYyJbO8daA5)R{y+Z5YD zW4sWax+48hf#J-ntV&M6z}f$5YEDFQhe$S9<7cRAU|DjyYH&(xFey%->Mq!o3t)pq zrQnL@%i5>!W=jk&#Mpl)O+NA5=MFl~uL0}L zukS&PrLC!)`u(@{Vi+?noo%J-3D@iI$+)0~O%X$a78))V!{t#DAQGupI);p3e{qHr z4*O!3FQ4I=sFZtftfQO$KA@220u49e-NBzNg5e%hbskKZ+F2No0koPYz9%SdA`Nwg29 zI!^0bhPxEZ@1J)&2L%3g)@e7_6Fp63cC}9)Z*K>daaxIfS!G)|`^$p~-d%x1w&P0+n{@HJ%9?hV~R=yoShRF7;Az~a~a6_ocWM#&^ z9J<-bVE4M<{Dgv{B|(d?M%1+1?}n~u8H5)hKcc;V+ljbWL=O#ZRETf)In;E#_3`zA z=X12yvHR!@{GFf7Sl%jC0cbH`N-)jFdYWlhNY8VpCHV@FiA9URD0lOCF+ zs+r2fcrDEGU1&IrrPf*$H1B6KX=rKolY>i`XiGcMX#L;o2 zP&X$L8mSkk^oVv20MX^4jFJ~GTyml~Yw$dWoNs%wqiDMP&$Xi1#aV+z00n^z*RCyH zxsbb1^{wwe-lSgaTFMXgS#=ijL7gS_a~>>o(J?>u_K|`BZ(S^Wc+4Rk*tkrcw`FIv z0kjtGu~&gK_6eSB?OHqqHric?J%3XOB}tkOO!2%|?E)jXoz5B4_Nu z?`gX?qpUn-bufnX%@UVVYYxUxtsm+awxBZ{k~0SF_>YrgV+1%9PgW?S)WjbOAXCB= zWidr>qT~%f0nJ;lQ_=u0pBHKIBa&+j6W`|*5!;#1^S-mFSYYp!%U)hWz~oEkTHl9QdzZh?s9Y7c!jN%D zzXZosEYAn|G`W{?j5_caly_S~_5i$&I2iUhR$lFV>lazuMMM_NuqnZ&24mWNAV#Ca z>UKiopK|9t7I`4EO|BQ$nW5^^=|^HheF6Ovgk0|(@+nC7D=a)qwsi|CGWzYg591AZ zgRHV4V9*hv`8xR#EhAgpCgibzy4B0;n+-0cwXUEKX?Otc+g7gN&JXKuEn45ok>(e( zW!1b&9zrESH)sN#&IuvOw4e1vo8U+Qf6HyF8K@T$U-aKsD7k(uu#$3cy_xV@`nd)n z_CvUA`kxYwLHn}1ZEw_^Df{XeM!snH4W4y3K&$NEA45)%q6XePF)AtxlM7AdptSl>7^p-KIPPZ%4X30HzprhnI!pGPTt zz=d3;8CFzdEE*s4pjDB!TCp=+ z8{6@L%TwgVUg^{n=i-0s^@&y!cnHKVh!er(R@;nfT~Y%7Zbh~jYs36$U3hsU2c%m! zc2(+78v1vfOEz1dWd_blN!4e>+Yh1_$GW1McQYG2QM1uyR9K{;SVRgt`cb&Txz>9X zc2F}*$+vAqv(d;&9?aoni+dW_kftjNlhwdo%vQ8(muxLiE zv9;bf_Ss!T7W!h=A55GJ@;XsRkKQSH{QKk1OgVR`z_uzhZ-ivsl+ckdNL{P55FRe| zPZH9pp`$p$*rVpl`TmbL&ib#7j+zhgzg_D1K8x}5*zHuj3vCN?Xq{DYz^Y*A8%*45 zvC~e&_JrHI*ZmBIr8A%{z37)|rT)07$&fN{w$w0ntrFWyrLCg86}|Cm(c7f9n2Uue zpqo}vjc+YkUB45Rur-?8hx@Hxz#QbmAdp@JkG-0=7yWJ}T!AbACkzgU!LsG0}~VfCT+|>_T29f_;vO?SCI2xy>CQd-zj@dFypLT)n~VzTSC{6duR_QC_O?z zuF(y=iTAL0QOZh@%S?NsdsHM^^`rYAYS0Js_OeGk73gW--{GxjtZR{VxuOF@B6vK? zi~sEXhd>qr=jy8^yRSjw>$*4ZTi%sYuEs-3>Vhs9C+dzVq1bP8z&FSzdAU$_H;_w3 zX4NRFh)tanJ#iZ`{5IBH;tAvhCWu924%=Oep0llxpouvwvL}`U#@FD8muZ(~N$Gf4 zbfBmZUQE9?83*=HdK6p@Nqi(`)CC$%3ws6z{t!%v075F!*V=H9(lz^JMV&m$-MU0r z_)k)f!7C`ET=*IhASm<)@1daRk5sro%p@&!uApLsOi6YD1~Ns;dn>x;=~3mcx6LDc zNFEM!l_KKWR|7Q}Yo7OL-Wv_wCX}%qux7h=f|YxEuD8?uOQD_( zBwp@S4Tp7*MmB>m5D%^KO*Yyx#PQZKh z2Si&wU<^YS;EoWZLkUJN=Furk=2`sE-H`u*i6w7mAXErFmAZHPxTd<#%3_LrVYh5l zw^Avz;WtJ13nu=^mcN{VFsO+xk)rS7JQOa$a`0W94eUCQued3c&*!wqBH|tEJ3j2D z^gd-jm*2~dA$ML()57grb?Fk+>$*m)!&!obyA?GVFu3{UtX52lpRmlY-0rdqC|I7E zU6*0|271KPND7Qd8)*9$Epd&5T94bK9x{4WXJ_j9{e-TA_SYtEIaHL7b8ibwBkXhQ zlk6K+K8jY!|1RJzA3Y?AdrwG?Ojy}yIEd^h*OfvlIb$NVY8Sj!A8n1>(MQ4ooAms zj1>Dj&zSy1@|(>TRkjC$D({^>Oc@;ATnAwj=%Py|zX7FOhp=$cQSJqi6R$XV$`)C< z7`_-tFg(xUQNRCklGxkWhB~V~cA-+RR%M1~4=zhmv)Ns#$ix7|5#4o22J zPno6248XW4~k!-V47XPp%^RxSeE(KBJ#__{9Jh7pT~qOBYN z_7EHS8!k~;KpAx2?(Z3Q_EE~tqJ2+-xLl2N49QA7`&!ZsbGys)R5YjqeMBjQtd7mUNhM( z(gmTVD!v!@5cIp#Ca7EFbTC$o8qWNBWX&ier>~^|)kKlBz80t(upoFh>=qdW6h-3YdHZP^q_wl z1IO8F9Y~KvLsO2-mMaifRlMim?@H}|A(sz^LEy?H5Z*T)O2@6KqgrIQI(FG%L|EuL#b`)np+{Isf zVkjjl*Af=uyT^~49CrL_vgsk1>q!`x4ha=g#xqsx`}nQB)Qh=E+8aS`E%645s1{sQ z&t{=~;SK7_vFgl**Aeq^n?pyb&WNuBUZ^@K_1E0|&kDZI{QPN+V~P(@9i~|_e$Pr! zl~wooi>+VEP*9s%;$~N2%sOB57lO@x*6Nu*@mq@vYRW=_;*M8MDp>lxN^G-ubyTq5RI+N+(e6BE@(J|)y0o6*9!N?34AhGuKSLJ-ovXO5v-5C` zh3AhNcGrW<|4MbFiq+fbtv-zyi0hcAC6gc_8T1MBPno~7gx-*}>m2F7{x}f{d;KU% z3vfu^LW&+-U*F+}aO8Wu1u(;7xnKC+Xn(B9vgnW*=PCufw~lQE z2@g(4Gl$meGD$$F>lVIhH{6egX=0`m+4ocS*CPK zPhl**ehH{2;(7u44thuTA$5>UXrC^)7Q`F2718ne-t9m`(-#Bqm&f9_mf;XyGYwqx zHiA1xFw4o_AGTgK*2mz!rcs0<7Y9-{im(0Bqy}Eh!;9#6PMps?g4UZNp*h;fdQ~*b zyng&zIsr|bAs(KS%PzfCR#h&f1Df0bh+ocXm(#e?DlJ?xNU4l;IP>$v)i0}5)XUCN*7%At$#CR zj;Zfsrk(iF!*l2=R6bTT9THS6a~Pm8;k&K8!eBw%tW#dK*iv*FVv`dcbU5;kWOr|- z9IN8rdNd|Q%P{uXSRbQM+;7v%({K#9CCE%H3|?AM$sl$D}j=_Y5d`lqa?Nr<8QT0 zXr-=pCENl;+Ap%T-ly8q`8NCIZhqPAvtw=gdy4S={FK>bpf_sGsH{<8wpK+Zy>5*= zc4m29oZ{Z3e|pq{EXCu^sTs5EmsChZ_nNsjKQGOzgqx9z#ZH5UWi`i@+>@=54`IQ! zqnLJj0oPLWU808f=0V^Zl{DFakuEYQN9VVRH6Q!hCs%`YwMd$F@9WZ6LE5$N-HyaD zu6M&0_9$pb8>F$edCg9RRrBgozgQ5iDhU*^HyRbxe>JHmHYkl}2t(L};6WnH)~DV; zE`r0&8ggclToL^JpGK-)I_%cK_RS%6I-R(fBr^7$GQU4q7(%}2!n;u+k3X;MBZ^vl z3q{o3a1O#XU*p*ua(7ZzuAM4tNC36%zghZ&)3ad;Ly6_9#m~%ET|uUI?Sa~BV1Y%q z?h5Cue>|6_IK}0wHOqB*d-j`}=V$x)-%0-DcpSG2(C(xzmb($k&0JlKRxAhIm_`j< zq^e@;dUjWVX@|Le&5-J-ZdLlIog_b!-)t~Lpi!h|<<<;@!(2DF<5Kz!d|W7GOJt@5 zxW2-~jG4AUBLsZ9w%cz(>sCfrg6;<@P)> zf1S`;reCx!E=EXca#TdXUlEIYEGF3xbm>$bdCBiB4B(Q6gxVT7^tm~{;?`4q-c?%1(79}eIT)9i_c(l0AEWgxfSIZevG&osQpGQ zjrB(c%N2e~uRU#U$e=HPliIkLxNw_hf0lf#gB)VoE}N!r%M7Ds0HjwzzU?`82;nuh zwVtLPnBYv>kxsHgl3t9SCn@c+t4VAcIHp_(D^ge7QjEs7-cy3GZ+%AYP&TOrr_Z!k zO zhT}?LpZ}ROOuR|_7>2((B9*tpT(%c4kC(YI92u?lfb~2Mdu+(HEZA}^g2{c#;HU^} zHzAWsCxJN#&4h}#Wz7YO+G*kte_4%v%#^Vism92;#{JdNMm29^Z{))lTyGYq@;v#F zd5~<>Y4%KxP7C;r)oRT<@&=B%gydzO_?wtZZ=NST0GFhbKjyOroKK-?ZiD00P!kpt z%^gG8$LOrrm@(KGLo)W!8C$NIPE`o2u}tZToC0N{B~LBbE0P|H_w^gNe>Gs=I#mJe zv%#5Gt()BIr|dDcFx(#%$+CeiC)1_!JFuQrdaqz#s5>23F4qV)BOoNg=56%MAHtTR z+zwBj;N3PSU$n3SN~g;^OqHy}dP!w0E|77c4l_6DE%Q3EUT)aX6*sx`YypIS?3+?; zDObQsB_8cKJx4LxgUJE}f5pJdG%9hD2spyFa8StntRh>j6IEo%OzV_vvBu6}aXuAQ z084XVv7^4Z(Y@T1Azoim8Iw%EI*i|8J=B*3ThN@B@=@lVF>1_F>^Ym!#lqL~Oor%# zkd_}ChkkP#hHARn$S%!Db#N5b2xoa3hGU3Cul_{6u+SDit2C^_e84DQ}*&%k_T`O|kCJYQPSr3=2xriMAmO?K_auhaw02Zt}r=v19e|&MSoxTh0qCQmKK0Ap? zSELfKfR#f1V`5z{dd}PkzJuXQ3QoP&FgT#_Hqo>)N$}v3pzoA0W#3hQX?zak+wwb3 z9r4{*ga?x+jO?Q?YLh5OIm2XG}8>NxsOB=gD;Dg_JblDbOS!&4+VCNKsM!o6xd>BU1L#+0N+We;n{eR2L)GDFs*7PLS*d9p zlMA1j6co(t(?nvxr47hdepW&M;trUBTStnt=YOSje_;ZXJRjFi{M@Jl2v;K%hdW=w zpMIde+{}xONRw53b0&-T3|6BUwAhWKlpB{-2I82>xXOBRJb8da((x7dJ7yzQ!fC~_ zjqg9l3!WCKt8~^<>y4|!H+LaE5~LFJGQHFbGB_JIoEdDRPYx)|@`Tb}MLd_Fuo3dV z&7Y}Me?klzvDRe?^8CcOYUi))CQaw9_{d2Hwp73n0hyqfrY+YGLJJ(-7dqN^E8&kU z^gWm*v(J~?!k)v&-6scO7$lXheirXTPB>(J6m*AQURA~gfwKGgxcr^Q zA^pCsafJhrMP_^@%{{AhdfJ_-cYylMxms^we}wcpnkkWh^>suA<&C7-_G^9&9VU%V z?YU$spDaz;N!R@ym@g1^oY^b>g8G+PTFGlhJ+*OCY-Iztt8_3v3teAs@4orpM?Hs{ z(-7*3@B_{Jf)b(hR{d$htj}x$-4Dk#ora3KB9=kej?Ed09!jCn_KaC@Bp^;CiaT}G zf3$O2px>hhQ#)^$-cpr+Vm-f|J`j=~5_mtsLmk9?=QQs|Q zlP(05o_H=JU5LXPjp4_nl@z8X@J?i^G5zn{xU#N)wb9$mVua%&OEeny3N~g+v<&xn z;D#|3`u08|3|s$^o09Ls8|?AN3^kyHf8i7z8nYGXMo>A-nl5KA792%AKgjgAn=`3r zymw;lNQIdDW<^;7OX;`bW^@NUB$S3tOfhMgBhZY^j>j{o4i~_ZKTV>JbfxQVA!0Hu z)u;~P;yMPO?jX6o%y;=EHYjU;7D`BgYkCV`5SO!SMe8df!q)tzUBSL#_>s2af9`mt zKf9P}DQ>8WUF?R7ifE5&filFIqM&Pdq*R$~6-GTO=p4 zkH#?pZk0IEO)R>>Mp8;`4&4R|f9XcW#Y{G;YR*#$2gqS<-6Jz>vYFz=j;BOpd;{Dd z%WJ6V5am-Pc_BB#i0)Yx&iVx8VHrkVt$!Zy=OYikr=PzFi-$$0NXnbcjB!zl`uJdf zq8w52q~ldYze_rc>J$%fr!aHhW~x8QJv($pYj2vk8sf~nmq&L@wXHrmf0WW(i_N!D z68Y5D#QBTdzK(5@Ym{i%v$cq zPq!|t7dyGKDMrr8U?N0$10uc^ObyG=mq+^biy0o~3{&R_pU?&UX{&aw`J?39jwWZz zKeZr8_OSn^kUni6?*S&(e-U0^WV>Wu>b1BkkpM!9W9Vj zRLAC-{gf9b>Xz413x6hD6EnQZM7ls$@v(Q~Q@L@Vx}4wm51sdX6P1D~Er&bI(+!`e zOR}^mt`fF9&k{(?foPIHe`*2A>chNc^D7?5nYiAr*$_XDNJ$7BJV9I4j%V`@p%3qIaC|1R zG~W0WR}xxW2Bfws371DEm?4pyxhjPAYon6)$$Q-V;rJvln3mNb4_ynv8`n*W)x@`m zOCsDZxRU0#uNN(f_n5}W4_CnkOtJ0=1_wfkr$M32H0gxle~mF5x*a4LZQ&vHA_jBv zlH-}tt+LL3wx)OfxEVLK>&)jq%RI-vAeYy3!k5m=U!%r?Qhrc(VjP4|I`(=H1Q8B) zavAiaqFUDK(x^v8>bAO%gG9bno`wQn=fNAbNcD3b%L!z#gWt-Zbglf6`H+GKX9u-)CP;k_eiY0{07fSx*2;XT7)f_8m)C8cyk?fSTE{yr(xW z`r=RV(^B$`Q#;Zu!GIg?q9id1``=g){BfC-f8?ozg+K~j@bQPS7a&Tg2Bl`5sL*&6 zF%}Ko&g9g!$V)3iicigAxeU(N9g(QzF+7u{949LEf9{oUI1GDuYsOpe-(}z*Lj#S@ zLwa%;O2Ei_(yvB#_BSy@KKH55Z@9-$QCyb2F(;H;#2PiH#Wz778#+^de0u<*CtL_8 z6Luq0fE;H@4h<{h_57L3q=#zCW04JzrJZPOxq+}v6`6w3DpE#e2H}LU4k~vvFN)j7 z>YDPRf13}c(`fCGe(*eD9rZ!T*CPANCBrqwtT6j6oG{-PQgRP#wucZNYZP(0GtG>(E zZ=Av}c0YnLW-!G$LSIwa1JSCZU@WK1eqg70U>m&9BkGC5b8a3AK8R9OCtC~jY%;Hp zf1+RiS)jiNS~*^BQhB>0FYf%bQJ>VyLg{F*0t2^gKrw7K5HUH4>fP~LyZOG40rA(A8*SWS5O;U|4% z)2pM#d%>zF9f+6Dt-$u>UCb|WnT>f$f83mTtlH}z1bSmn241+(xMnf}l8AV;AdCfh z6ODlZr1m-*NYX+f*>3CQjCvUL6%haT!QWRXGsN$mn4`KicdVto;%+I25cf2Q5;Oky zAp;d^Ms(mSaoi%NoQP(0PQ_GrNzpDu`v>ka_fH?sC9Hg@V5uaY-msc!3Ou%ryVnZ4N7%&pXnL-HYT4=1((RjOPO?PjU|>5FL(-XI zgBJ#3I1ubGs?~@>1Z2P@uT?kce>kFVd3eL+#M_8X_!0lp|72OMIVRB>D5AbmO+JR` zbBDt8(;hzPn7#KdH~z&s=x~Hr!&wH z6g=au#0Mh8-OGLW0j}Xn4^h~6iqkeiS=axoU(YspY4QAp%0!j+-GamafBU_-;Vmec z_zO12T6qp`QK!^MDCn82WDmxqaA+JFB>;D8$U(1dsSdui!{gnC!r>1-lr275up3aG z9%UXYymCyww^*z;Dh?|AoRpPw9pgjo+EQxG0E;p3B#e^^&HLWkiC$cuZ*RI!M{=OD z*zL0Oc2aS8eO=Ywl_pYTf1l;Z&!{>3$-`s*AN+iWZjGi34;k#^TS)Q}t9h>43&Kg^ zIq#tQmQzj@BL`X&?jrb9Cs_k;SQ)X-nlLkpF5k4ciUPqpxbpLpr2~bhBFrx{LBu;D z3v$D*u~D6VjJa@KtG~TLTQ$*oceW2_1)>m}66mji)r(iodZLMlf7<3lOHk>NT^_HS z8#B^cxS@(0Xl{W?NR){M3nMTg3`F`r$Y$ZECi*MvrZH?+I?7fj2iXvE`9FKK2*HX# zR-AbEY2dCYS5Lr|geQKG)t7z4iWY5zE#e`l|KbbS3n>sU+g*W#1<})`-duuz6>a+5 zK?-H!!8Xd_biDDIeJt1ifq#L0n{1B+W;=5w?Zea%9{*Sx4XfA7&xthcQd$!choAS$^)E(W4%BDT2I)L`fg^wd%Q;9TUB=khXai+J9@6)?B+=ewscRdzA;v5WNv|?%hAc$Y(P-bqF5=|(*SM3^hid& z51GH3U4@+sBlsyHUv~z*tH_iY#Y%H93RcoZmM@~wxTi$3wq;!bfgfwRu&DOfWv}vX zK6QCDAGdN2x&{v-|1E0Sf3CBPe%tmr0h1bje<#kD48U8l90;nc6 $4(id$)J0|; zBpepke!gcpVs*Ou9-(tuudU(n9@eNt%hTt{{e@9bdw9k$5iF@*P-GWuC^K9UB5p%$ zU~Z!e>1}UEvcyeus#Pzmlc#Wby-nI2@XO(zsp#doB$%0mCvfa#s<5^-b6dJBiTN23 ze?7#kVJGN(Y%>>AUNp3g@(&WIonN*jJ1m-ik>~>XN#cuFGm*X~474}vGBL6Lz)S~j z4HP1)2{W>+Xb%0}^SHvDqZ;I$&ZeWP7+6^ze8Udtc-n2M#`J}t-*IU-X2bdz`$6AwcyX~^YU#7-Iotg+xJ_CE<3 zXvNL)=2xipC|o^j%_bEHn=yu36*H4tM$VqTC6{na=HZ-M@}>^(?+0TcdzT4xe{er^ z%{|_xke)Jf)m4OaZ;sDi_8@KCFV9*gZ%Tjuj=8^ zaAG=6J3t3a7jDwv!t^h_O&EC!e*yiD!FAne~XdPkQ+kOnrVPU@rlXs&}U7gA>1#X24(B61FiME39bq= zoLand#z-{qpFau0v_Ws!KT57$rK^JC`mP>j#mT~ToRTU6`O~0B;=%L1j#ox%rYT=$ z^iuF}gks?XFU~*7OEonh#*Eb$Jvb#8w6LNs>u%;Brym+JsfG(fa;!mYiAfObh85ymp1=-0$%WiH}Od#X2=uNtvH{75bWT*|6o(!1-0qD!iQ<`q4B|!}I=3a3p(n}ZQ=DAH20@Gd(WbV)W`J7kRPYHymB*48dPkOjb?I6dUjwGZ(eDPmYLpw!-+sG7 z#(e0dh*q>3wRaTC1J=QP52cG}kf2TrIicf!6?x%nd4}bpf6rD}VI{lnj&W3O04rk~ znp8CFprOyM1)t_?gz!||)+u0Q#-dB#68BmPIVLz;FS9s6S6DZiYd##k&iiB{xFY0B zQO4J-sp~_YI<)p)URrcE73=@$!CLafvFr_nb~{garHC&E4+0(Ym3<7OCc`>9)Vp~T zR+w9mUh3lVe>Q6Z(v}gwmL|(ad6p8q?+0AGvy72n?wM#Oyh5QWTmE}3z3FqP z-+@;)$A}MjvPz4<&!6;Nmo;wcI9CG@%}Bm4!t=zYf9?X-10j3^bV^9wvWeENbvcc4 zV0MJE_ANr!VXuFFjFAHoQJJpO&zTZL+;{4@UD&>z-nH7;E--PrOxt?Sm!Z_uAJa%5 zO6rIV8_(5C$(V+~Eg>}^bh4|4*xzApzFZ7NKp3r549u&THCgJspQTXyWLkZNGSR^> zdF;jF;MK zI`glAl)g2dbH);Yg{l-Op&y)>wq=Y(7GVn=Q?slSQm(QMAeB#Th}@Bcxgmo^tPOKA ze*>X|8l3|}Lkl&%QGf`&jhN(7l6Xho_2S55lF)r5>J|%MMkLI7Exg1x#eNueC8xuzNM2?Iak_DerbV} zeGhysR9A8VTHUg4tw*T_^n$k&@19}qf9DskKk&FixM~Aw$>61osf4W|P*etwiU5*r zryTFgK2(xPnfiHx;~&$n4*pw2PvtdNmfE`bR`Pj~Wb;jDXmtHW2H!wK=qh5t_L0DH znpD!6W_&T?;|ul+H6+tK$TnP+G9aKwHvm^cC3=Jg@qkr={APG0f!4D1^n1Que>6ip zp-d+$WN(yZE-BykzPz3LQw)=a&=O_y5h4E&^}KPahrJe*N-shqT8e|N7g+z>2qms($>vh)(j zSF7GG`XL|E^ENS4B93ByEa5U5EE=m&oy!`xR=wfI#mX&OahQ(NQ9e;DMkFLp6);|)WQ-2Bh1_$M#O<7l=ec~ z-~}2?B$%dcMem@JG36{2sTnIp|3OH*RhS@j7NIUfGiFoVUl}~#51zv=e@ID7p5VL= zP<)IKM)Bdkr#m>CdQBsGk`4`N9rGOvUY}bxKE8GQU{dXl92X_%8*9D(@uMRp*oMi^ zchd~i=wXaIYPB0rilnOs{lKThj-k1RyG{FWn&=ylO6BB8+35M0lfw)7Lb0i$7 zdhK}nLbOfM9P}Q!@G`OpR27U#iaEM#BI|CB|2qD0vBYXrBeHMJFHEcVTsR->6yfS_ z*@Y`-hAjCJ3r|If4pf0&UFV(eML1Q{WSY@FI%VEEdXFN_47yy-f7+naI%D`cxe^1` zSbI|79_1W4w%I5Kl)j{&oxH26AdR>j!RM1&dl~s*Gn{eXQMgA_0WhV`{{0IEtbWYV&}pfxOU|1z^RpGc?l4jEZL!&h&Y&0NT}H%nIK3W`Bw6hs z?b?RoUO|*pkyt4Ya|nbP*PZpSAD3)w(YV%$YA!=}tI5;P2*iojBk81RxjFN0CA*6E zA!xzDxVqRH4OMKF&weclzt$dJlZCQ}D70pdyT`dFah=bXf335Pb8Or+KZxAD<8qRy z!$u#H?k1S3b&Y#cnMcJj9ns^rgC+LHBOzO@AW*kc(XmmTP0XExz+ArZ2Mnner4R@f zk_v_A>5!obXWvotQv>+f1ywYw!}QxOhHvtvl_;BLn5#@>On-&6Om$bv{qRxnxUCc8 z-1`#MSS|hke*#?xqWFp*oB#Kb#8U8>RiIq=nfAXhd25~BByX+s*9i}Dk<;$Bt!NjX zIf}hrdOvjg`cz9yQ_85mogPj3;Y`HZU+BvfGLN$8xd&42mo2w>3~Sf^n}j)*rKYgd!|;bi!^&f9a`{+Rjdgf`_$ z;WhQ%7Wo(T3#we&aKzo)@y>!&oPZ05a!^ihe;G|>>D`9~8SV~|D!bXpy{!B;T9!|{ zrk+KhVVScN(<@V|#)`ChiaT4icgJtyPw@GIpkhqBOD5E3XR2N+(bj_=+$DX1Y)bf_ z5;r6F*;%vJvh|#(peP~$(m!f?IWhN=jnY39e66{XJDAorNR*lKoln}d`gcAa)*Fur ze`T*#13VEW1^4`!-)Zy-r~>b=u}~5LO;UHH)>4 zM7<@omwy6dILh+YoWe*S0iD6nWEOL!UV@mIJHwZ$SieuaJHeLBJ&L?xkR}LWofJ8( z6@;W~D?b-neb}>sG?M@neVh?{L5Z@pb%xlkz5UFanizJz^vb=yk^jqB>EtS^e*lyZ zdf>M$Tv7nTOR^$k1JaC_hFi6iD1=&@bLNiweX-6ZSl8NHI5WhTyFnNR&q zj?ybU*#i3JYUDei<7y=IIS>)iQ0LDRD^)u8O?S&QR{@9H6*heUDfxRp#gknSoF$k4l*qT4*xunkNyt~2x^ z?2ZVu#7}aBxDWDYfwcHagBRF1fhltS0fEYY$n%osy5;^h7~w)SHo=A;X$yxu@_2bJ z7dzbwMl!p862_IY<0W44f9pn1u}`rx2TqcrGL}a2+keQsjbO{O$|@?*B0RKWQ{Qr$ z=47zQT{K?QZNJ(;CEV?(dU=`rZO4Xsw?Xs9;)#_~6-A|H3ucX8p@QE)@pRIRIWUEE9$e`?sL2@sThP=#5? z(BU@JkhTXy^Kkr^{$;sq`-+ywCU2#uE}3}|JBp+TdJrB@Ipb;#3F2b0|FJuXs}CqM zg2IT|Kh7$HwDf#TUhft&piT#y+f?lFZ@?q8#}k(Dm?=_B%U&cZV;otn>#fLok)EaU z4c!po8^gzCWJYCse|Hs~7T734nW%n};GTndJ`9HKqO<(}{~!MH8l{#@IHm>~Xxb0) z66MeA_e#?2p)Fu6ZH@*ptl)C_y<;8?fqBD0VtE4EFpI;3wB7wMaS z5?(?&CQLO?aM)HDRCNaRy_Oyc_OAU6QoBNzO3iMZI&qYNf2Nix9DCVtM7hR1Cp~lD zh`Fy>=eeFtBMAie;3GqL}Col-giWoBMe&}0J1MzNVNjJ(J_CV+dV_(#tUai3OwsRazpRa z$KOgPBgtT*e2udW=xe&<2y9OxnZ5(Lj2|T&w4Sb!pyy?9Dh=Z!upAqimIc^T6SR0r z{yR$!gA4-rO}Hs83%7wv@eN0CQ=XT-P}y`rlGpUxf8)d*xdn<>X1fCh8(?SFlNuuy z3zx<1GdVB~$5*C-6=|2A5b8cg(xh-S8V!{e?9rVHcJD{(L?rI4#A!7p7bV+aNlb@z4AYfd<;7SVwOa}nv>mh-Jj0s~Vk7V$R!X~@(h6m6WOHC+bqXU?UjhU4npbWA%b8}U9 zv{!cIQ)E&HTDi%AP3-{h7#9*1m4pk>6by27kTeAY`2jjW3x9wl&>XlhW@ZO62PlHffex-fI)J643&8Fl z2Y|Vwg9YfX)_+`?-?_wG0j2;~C!jg#Jq+k+4s`kpVgxt=UF<=wuJ6AAAXk8ui>U+n z{SLs60FZ;Zotwp91-#oW9se%K$;I*A!~Pw6CsTEF1-qKNfSka9_pGXt(*LLvY;6ku zE4M4?9R@gBzI$3Yn!Ekg(%;xS%{vM<1v$6^z(7y%Uw^sGfB*}StCO9n*L&`FGA9?% z-(|SDf*h>=Spg%!1!!gJVqph#b$zFK=l<(<{@EwsKXq^FJLV2_`TK%s|C$-P_aaO!93AYu z02V+?B!3oVNAP<}0PX)wW#<1ok^c`Q{y!1;|3u#Zow)z1(SLfx|J(Qcuhi0Rc6Q39 z_U{Amk39o;Uo@r;fcISkPz3z7Z0t;30DmnUkoo@?YHAO%^ZM_C|J7Ru_>Zdpjq_jO zf20s|uzFXBiH(by>mO#2t2D?HXrT%Mn_B}cO@Hm)FYj-=mV*V*#SY{Ed>8re`+W~$ zW&IaS(;8%M>+qKvT>pT84i^8~!@F*Ocfg{gt}G=k#_->4+rOPv-=_ks>E#3j{97g+ zB}a?@IQ&H=F7D_F@L^)(<^wRX^RT`@#`ovQ$Ij{ZU!?t;i0z+eB~!2q$P-||%FN2j z27h?}{`b#6PoMsUM#{n5(c-T;(g2$}SiFzke;EFP&D~sF-WC6Q8@zY^@8`cC0TAd3 zG)G!nb~G0VvB~(739iM@8=jOj=_g1!}_cViJ zBf~>ISFnBi9~g4u5vc@B@%>Xz$Wp*wCN8%P=5Mf1?mTYD9;iOpnXhgXK@Q{@j(-w$ z-t&*_fwUc^H^I|};_0ppYu1gd-WS8S))GP#fNlOj&bz1cek}t>__u_79%|`)5 zI7tOLE8xlDg4v$fk2UoQeGMfJQhzjwN6$%cg=0H-9!IiYeU(Nurw}+W?Lw%qyc6@D zj>+%OT*TF@H7r?#PwF-bS-)1;ti@b=ztmgv$ofyK<8)&eV9)y*4a!wQ`i@+&{BB`u zt}c``yXiTU*zO|umb=b98(PH;^(#47kY4mTRqgiR7)B>9_OklxE+WPfz<)5&N2+%A zRaqy(U+Jsuf4W%InSc2EZ{%pwND026;0baYb%;Sk9P1m*L;Pe|YC4kcy6vNZ zjM6NPp0*#69PF#^Mew_IT49zZ4)nS@D#7wn@<8Pyf?A|~8825EoEE;A!D`Z2ebLj6 zPND)<6!v-5=S)wRP${j5@J6@E`xjr?q2<%Wo)mm!IIyp3td;2T{D0VlOQb}Z*i*R3 zhrk^3JKwM~gpdCl3khNkDd-9W0PfT$kF0cPQG&Xw6mYz%KDZsI*C^sK@j&^lXP6s( zylfn3&)yI_?oT>~l(ZKuK!h7d5wXbgvTpn{Kdb>nu4hNndLm4YQ{-{G4$Ifaz?`|= zAGy)!Y!A}mg-1M|Wq(^3(rS9TwLj0wlj~chZtv}F75jWlM)R^(5gfq2T|q}_Q5{gKG?CiSeF-1e=KjWHE~E$bXnQntIz;X-S*d#HzPS z;nrbNjGV{itZ^b+OJ+k!l9O%gOmK(o!MyfF4*Wp1GnvRA!H2%7)eo*(`-yhX0ZVxy zNYAegP03Rp3g+v<%R$;aLkw-(@8!E05MVKdm`w4Rqm6+3CBW59Qd~Edz?l)%E$J2~ zCKmWd73$#3KhH-@Q^y2+Asl7D(|c90*pg`X++6x5nsHj1xJ zqimV}n}j{uZ8RUnP|@2(H z$XZ4{t6eOXD{&)DxN_Nwd9sFFS0K9Z8?$ttxZo_7p)fpuk@j?T>;KAq3{6TQsIZn# zY9#P$2RBncP3$*yuMC!2W;$vh>8nKor{p#C8Gf6jt+Gh~Px)9JZO;pE; zF8ki!#VpC97(AvdZEyb>Bo$gN*;sauDvs9;Tm%@cmLPHH9~;V5rljWTpIQ*5CA zp??c9+7@H#n`_kfPz1#eHU^Z33xy9fgLSqM07{D5@LS+dGvM9|Qb$z7J%n=NT>;X+L)m-|G!5MQ&Pgn7Ov zQ$7sskRy|FYz7w1$AohZrW(b5bAN#sGnU$BuETT75lyW{t9s_!j_Gi0Q9PY_g`FldPOk3#D4cX&(;UB1CeZ>> zb-OYOCg0w57I^aanupvss_!lEOYj7lnQLOc16W7p#=2_Hu){{OB}BMMUw=l`oEf@q_jX_@anZ!>o%c2VXXW=T_TXB4-P&kZCJ~BMup791dN@$?E8U z#Flg3a{ZZSWESPvjzOwN!eY_txoK}b>?S>-CnpD_N*L9x< z+{k`~KzCt(r$%pt(T4inD7Ze0Sp>mHd`;%{gP`Q%HD^>WN3obflz&>$W;n+k_7WNS zg)zwLi`0fGf+LEUG>;id+!VjZK*bGp<@a2D^+v6$KiPowqEaDhF`Pt<)&L_k2z?h} z{n$9tR*`GeA!ww^V@%?eq!X54-43snaxzkX>3E1`FBf z!Hhs7l?PSQe3*$sHh-vMS%FbWN27S&fv@^_Pq@^8I-LFujPY&Q%1*2B4x?h=AC#x5 zFUxS-e_~DMY+W%E~7eL_Jy;OJE+5Jz1=_Bsn;Hmxhy;NDz^97TMC&uN1%$v z65HFz`a*`Tf`5)4m~rJN_!up8x`9ic8-FRVVM~he88>7 zUHSWQHuK)5EMHdzq_gr_%-%AsGE8b0eJgN@46$(*0^a-dgFbXiDgF;lLMEJ!!s(T2 z^<^2E2?XZZOx;81-@_{uZSHC=OQRf^*Hu4jJ1;Q}$bSzu<;Pm?WX~vxSl}33j*q!J zhEQpn`a=1>4E3vF`PgHP9)I=p4+|10M=>Uy@1$&TlfByAy0yJ4KbS8q>hLPrU8*B- z+kp+8%Zr{}Se3vFIjQS_&D6FZcDR53@h8Epu3hwlujMu{g(8SvXx%R=&GV2 zBv0KX1O5J4O^Gy^x){mpGg;2;9+Qmhg9;WAtAB9_5i;E$%bN1ths#(3B(gm_WEq;z z0zmOoGFCoBy}1)-^Z49C`~<_XTMw6svG#jnOJ>w2YDE8ozYXvoQbQoC~^6 z{(sNzFw#%8FN%rkh9teTGEZ&`xCtKm{dm@L+UT)z%_zl%&Y0-)&|_Dbqe}|XCf4v< zfDGEka8@oakD6P;;JPP0o*mQU$)cWPiGD*k!KtiCLCGe!Piycb)uceuH3h{Dl?ul> za(hC8ygM0>Jy#wLg`*RWwbV~nMS>|sZGRi~D@QrEL)Fv@yu|>W&&$j`vi+zNnXe4h z)*9hniLklFJopFxFJ;?}eEo1Rg}+%fIBO&wK}wno(~~w}@XMC(sK`vHeNO^B%&EnH z^?zea7ekUG8^AMT&3P)GhCjeWF;3iHO+wF_RWHsOgSSeE^Mj40o9y8= zqby-n7E>gOowFK+C@OB(fvMSa7WEzsaR{b$E%xuO`lyp;A?EPs>43sQuK zQZpRv0%0frh>4;4i4JP{>Gdt*K$1>LVtt;A<-{IA$>}dB)y0b`c`D zn&q3iXo92gAx!K}DNBNAW9GHQNx$YpHzFsXdfwXHUP2ayvW5M?@RGNPM-^PX%kIO7 z``Xo(uA<83Ltf)CXcd(Ym48Q<`mkhJfS$Z0$c2ymS&yD^Zr^cD-`JL$+*@|pXJ`V1 zAj^ocjja$eqQe3G+F1^kwY9ddR;a|+dPCU(+KS#U+MM#RJ$3-;Y8 z`;>kAb+tJ}q4MY6YgKwIzy^}xl?#E@a;dRZDbU_)61Uh~YGj_y*nbG>lkNq)6h{$H z-nZA>5n%|pKYnGK>nA2LszMGOc^|9FSCS5mDmShDycWdjNU_#Y%T`awwP&CZs;@uY z1CllDDJF$d7v^METCNJpC7spb&6i&RSrpd_&LRm=ii7Hl2H1VOKi6CNm0~!U$;&x? z?PF*Qvy3T8_sq99cYkHb!c^#{H-uE5cZ|1ak~P&kH~p?ezD|%ZTuLVnOzTesxV(P0 z`=X7P6CUp0VH+-2BH^re9rZEW8hv0QS^^+cF$wnA5Aj5a(Tbnw(Bydfruth|tbo5+ zZ~VNQ_+)19pmZC?!kV9xRc{{Yc+e^iq`t@4V?~((pXVEgn12v68WhJQ`@)J?-TG%V zQoOlFw*1KE+VcB1dO13h9(y5egZa&|`EK7IUOqzk`4%w3NCk}^tSKji#^9y-i=#mQ zLA&(y9I{dUu!b{xQ}Kor+fU_sT<-R7sk55~Ad2) z`0J8Y@Yp}K=zsp8mnube{(geNb5uoAvgMl9ZY=dYomd2VNZ%rUjhdDQE;!X;NUh>8 z_83?AT_eeAj&aq~S7+P`6BrVOGdwP|`2A?H9k9pKcUtf30YpE_m)wuzAg{D*#$}=x zc7EWVSvvzjil(G7PTZK?{m3sGuwx-6A+6z(ito2V(SI=(6xBQCG!vOatfNMoS^M4E zS+wn3NE6G{?~S}}Zi?|ou$M<`UU5^urJ9&;~)QXR?_ShajkgU$Q+jRT*SK7PG4YzG7>5(y-7OH9*2vY6nD=Ykv`76 zms{K5A%A<*4fP0*KWzM|_)Y^^5|M&oCpsqW#NYw#;w09XAAyzBMk>);%p>WESfE0R zWPiv$i(4O(P=(}kP1!fMjRp((4GbPLG}kgnegP5~cb#1A!ejGtn2B7lEL^;rqU)ziyxO&q z_Fmz0%>_tGR%e)XW!gohCB!ez%#3UQKSfl^A9Ayd;oaUw3| z#Ph+-O0A>}QnN04e=4yr$5IVxOZ$ukF@OKqcr2;xg?&?SB~ZKU#F&_qWMbR4?PTH| z+n#X8-mz`lPA0Z(+xDFK>zs4zR^5mD_Vub>&#St=)!mgjkw0PiRhLJSqZ$@9fo!01 zj4VhWTp~006OGp=G5UO`@<+q?;C9DSmz_!RuecJId`MeX?kd;EIIdhu?nk7*PYK>b zZ`gWUGs;0=@zdhAi6cY)HDgKq0o8GZSUyL1FKCv(Cy<`Yc`Bl0d#M`mFzNoX)_XJp zS(9)&87ZJPM6r)Z%n}J6{gbFK+oc2YtGpsj6En5eM23@$*lO$Wwr<>yn0dft1}!8r zRZrG$>?KOLb=z#y6t)i9CN{DnjMGW9P64_Eg$#SFlbK0kO3(R5?>MZP2|hTa9>Hq6 zi@k92+cDo|M}IdzKkU_xh>vJ;G$42buiSeHArjfevDi2{Z8}^)ZJNE8>N&0w=!5-Jqxo_bzJ|-Sq4XAcKM8h1X7o@SGplu|I{7xbOFmpy|4$*m#b^ug2U_ z#N|om0_4095XVgcKP1~(zi{Oo+#?4P3Ck|~#B7Ia;-6Acl|IuC1V8bOe~_nJQ;4G07~xc z&Q`c3oKN!6$`r{JP^O0m3!slK)P}b!DpZMeE9AE)r1%;AaukE{cmbLU2FGrk{hS!g z5K7x{!sv0p_zVNk-hrmo0l{W{W$FQ$#caJb_$t<$5-pP8)58f&n2#5}pMx2!wR@19?5)Y~8oITVYX zPDf~5$tJ}?($hl+HiX@9n=8~WYTcnAx#{tW>M90^fM1KiSnOm7K9wJwu!97?3#vnw zf7^_=9S9An0e^3Ybo(GCjgt(7Ywp16MeGg3(b3Knp*E+r6E!&LG26*sZ`GXiCR?!v zpoYPH(LhfYbK?Qq$*AwQg-~lWh5eje4fcJ31osCoHVClQrqf54Xgx4px}BEO8~ij7 zo~B9e@_^sK6#xr^gf_&i9zy>u_H04MKnnPe4DFN zU{MVF4EiFl>-*=4;GA^pv93c!A_1*-3Uq@9jFDZu+SZp#Aq(k(&=bW(911=0#n$7w zd;mb9Go8a5{w<&**O*$3T$CsK%3E^sD#ZZf+m{#c^&Ap%(|WTc6AR4|=fsIt_44ue z6oyb3lzR9xTuqLo?DgkW{Ih1Pn&C|BfhaPlrt45HxLG=RlgiR(dv<;NiGD+(4$=ls zxjT^c``vg-ct)WxTFv<%jjXkin9GTH3BDl<|A$Ckino8IFWWb9P1c`oLaHUk`q)=$ z*&?yP7VhEDj3W$(3a^6!O4vP&<~748tE^`Z0ZO3tQ@ZNv)DJX#-=`vY+*y-s`ihCF zuUDRwao)$@w09->md4=v8MAWkqL=f_GZ2=!oP@t%_&-88Yg+lvq0HeKyYl>Jj_g9v z-j0>`Nv}!*1P9&Dr?U#a+jPFhyl`GwoX1!I8;8o2Wn}U{$*$1MZxSCHBUGC+_q>12 z488Av?4I*tZuF`l&zQ_wlfaEpL4U#sQp$`QKtD}}h5bHjm*K(MfnVwC0Urd_8hq$!5&>G)wWGjsx4|_2@qwH0r!%k&_h&KVdNclIkpxk8caP!aGOyB0lq_47&O4jFfm>V2B z1sqgR9(+x`L?1t0t^)tcNI)*vLXxSLUU)X=>2!E>Z`M-WnB{nM<4x` z5(XzUomDm1e2=*|2N%n8cegZ#OOJfnr1A>+qX9qpKaZgt5wpCo3&v?c00Y@)!<=4N z`CE(v_J$6-a^Q(dwu+VPRUp-i#N*WT;A~vRD7$PyOo_zoccjy%;%`lzj~hA2pVm<2 z+;moxP!OU#+R7tAqPvu-gxOP1>J7qZ3OYITMwC8+e-3g@O-JUlR7A4v2mRj>pTbUT zmaiHd^jDfGe+%j3kUU2K6B-;(O9Er+C_0ZJ7+L4n7fRmG?K96Co$?i_K{+z2i|UN~ zdyhOVd=92H%TNa>T*!DOCGqjH%`V|w1xFI%*rc|wVs_6eie17P9UMJf91kik?@LA+ zoJ#gs&cVp8LZ4!LKHTJTr*o2q6}hBL5q8nxd|&26-EZB&hY%RR*#{!27#MM@Kobwh ztnw~#LW@N3kn?e+dhlmYthkFh;_!?BV}uY7IE@6|>~`mV15n*)Oc+~*AOT!d54}EJ z3*XME&dmpha4_jB$K_w@loksf8u3=;$Si@*X5KwVhY%}>=%?2dNgcGbvpG~k4ZbGH{c-i8MC6IdVMJT0EqQw4HRQuah3pWx^k( z25M}fPf|`p;6AMZdo-Ni#Pl**>Bb0Xo|PbvFE>AuJQhgDB0YMtO-cIQq4O zVJpG{LR%P!m74s^+fTEAl)r)PO`t9!*SmR(-`0YcI^Cz3*0zSe_6)$6hejIfr)xFW zLL#TyGe-V>ibFc24ESvM06-2v|596Qsw8x<<^|o29{@v6>r4m%0{XBfBa3C#MbI`_Gr|<0*!B^&j2$8t^Tf!AHk?bW4I67I?H5V=(;re_Rt2djNqf(qj(6XtA z-%WM*2V~ceZ}t92pBu#k`&J#pb{tnNjh*9tcH4kuA9F%9^R^}T)=phbiH63@3)V@; zp1YUhyjqO*(^kbTtTQI#It5hA*yUM^(f~xnQ?;RNYKn7HsdxDEo|Jt7a;I_bZW<~E z;)Z?VS<{g6Qq1aKD7!1^|v zds+S{t&oR(O20flwWfv(7PN7WkUtsH`bzpM&3pb4-%(PF*KQ}mgy#`f=O0ei$&KgD zGo;1jt26dGuqx}K>M5F+lSKJ#zbfwyoKoQnhVf8Cock_nrr<)S==v|Q|8UE-e1WRs zL`$fO^S%GA;liWt&s}VRwS*R;*;xwU$G`BA+r@T3n{umpDDA)2gD3 zO7eark?<%qmnB_R_BK3{y0<^%q8>jC%Mx^t?Fi9Dklq3>}mE*D%kL{4X>bJAB5=QS)G<3O{UL` z-cnUJ2lx4GRTz6MU%VyzTU%d1ctQqkdg91e)!JJFTK5v1%8JYfoMo*SS17raM+xPm9^KNh#TaN;QCVjHO}#6E0-7%tjAO zg_bO3QahXaU2D9!U9s4Dohom(Yo|%cBg{fng%U#l80Q|Qgjna3#o6Db@ri`_?P@7F z5+jpgab|FXI(2uW)+dR>JPHQ(*uKc2(@Kmx&}92;&u)<~tGHQ*JgONT2#rqmRNMVT zp$)(+0(z4TkIu64|5S)bPN7fd%V1F*c5+12rx_7muuhQQ!TydoGj21$KtoM0)Kqk* zU-?-FIioDd;9O4_#Wvf3uT`MFa}p*=`1N+6BKrrQo0r_aY=fTPP8Q;-+`4!vxWOqq z@Il!@>OejxsrYn9jvNaG2oU;f!q102nT$WalFq@+tw3uPV%H?gzl@_LB03wmZ3yZ( z+yCA+t1KT^hR$mAur^qU&OV98t=mq$SM1LrF~0;VHPA8mgi3$jy%Il(i^(`(CeroV zf!|7DG}AjjO#12KvsctS<*!XF!=YlQyuPyr)4=n9g1Pf~58BZI>SusE7nQAIjghx~ zO+Vca(X*4T4@%9AF}X~&c|)7JVI#UYN(O<=>NeqT!i!8ZWg&0QiE#P95AxgMw+u@}kgpfBzTM}0kG&nD%U95+?7Tm?($wUh z1q_q_CPnVy<}SqQzEEgsundeDUr3uOQqBzbG)-Ut0JULUgrYGC8iWSqk4D&AGu9;)~)+Me)lV>N^;*NT1lFpvTXlCB}SbQp~+gfnw zq#q5@9qz=zF}aX~ z=p&u)NgV=#De*?2p5|1hz{D5iGlF2Yb zwvl+^kC+qPskI_xA%U4ekb>^ z;UD6tU8DTT-vyK!c8Bk`z@0(>=lrx>=9B9d7r8bpQuR_HfDoDy&6Z(T1Gc4G!dC zLR9kUU1bhZWE3F2_$2$E+I=lI_+|{rkUwJLi_oUqq4J3QI(W&Y}xf_K~ZIsp} zA~EiV&NmM(v-jCy!{GSQ`kpJZw5Z^3D@CFz?|i6hW#qW~y-oE{E8nE=B1>kAyO2#O zN$>?zQZMr?!Zn>2sb_poR~2a(>&}5_>~Sl?$rXV}kOi=>hJ&}l9P&xy2>x7 zd!Ew2W)aW!8X;M<15deSzZG~r$c($q_&oI_`v=c1i*mgmsW&0f5@-N$zp!N(Dw?l~ zYWxPxIcM8=2(xWcpeko+0o@29NRf^mcqsUNx#uRnUhGZB+n>?D!V#nmc1Wx`4VkNd z%FPg|%Wj+tZ}`9~7)Q<&S5_YAe$@k_`USRFZc&e^n`B}*MsCQv;n62${ zm>Ba+ip=knM1t`f-TXqKzPODBe2(bfM%v!3n+ieG!rySXyFY9^LG~`_yEKb0y>Y1? z9aHOz?-=L8U!~dyCrH54n|bgqsqfi0^zV1b(@6~P62Vd!OI)<)U+HtGJ%odEON!Lo z-@os}V;BjfO6AW*RFMeR3GNM+7Hq@aFSm7}4pAE0X)t=#0TZyhNuEMQ@A-Ao5T}u> zjnE|iR?_bHG2ZoU@?jk2zdTC+cAcRvA@Hk0OH|FxS`R3z)@cPo@G`7fwZhOvz5=}K z=XExMvzEvvtLxhmZeJ0v4m;lQBx}**vpe%dCD#3HgQS1%U!?#GPu zpVnL}^1U|hboMWQ90g5&6m#jt0%(Tw`w*-Veb!_k=n@&OpfTf60~}^GnAMYtPr@Gt zQxBjKWjxhS2zT@2OJiqagf>m%B$Q5?ftIB|&ce&_!Vb9IJMLgUP8bNfN3C&P5Y}HL zUBS-Fpdf!UjVqiC2_Y|;f5gvE;)cuM8*8vdQ<@SK@y7`(J;06HhhiyHJuDQ8$a?<5 zeCcBK+GV^lJJ@7^c)EPVjQPnlO6>Sz+Bjo@??(TXD}3rFYtW8O`}&RUsAM}T!he88 zb%nHtEDC7zIu=UaatZCz2phY{VrBR5%^jPq^XyDz^vo*TS5=SYE57zsy#s2PDjWRZ z?DN2THd!_U9IGu%cl?y)pghI{W96Z1`DuKdImr9zQX@Z3LWR$J$Q$HaZX_Z~^8WF! zS#5@jjI*4#Qy|lf|Dv``f6JqYSKUMMKAm;gfdokEkb=9}ufXLlu#hOVsX2N~W%0N> zZ!pYZX%4T4u#$7B#A%sT5?CnYC1un(G<}dury-}8{tnr-{KmW4#-vh0f%G@M<*>mF zFJb|%y7q;Bl<~F=s>sOKt_q9}N*VTr(=}W{x`fM06}A8ua#Q}Yw$j|ZKw=iTKD4|f zX%tW3FS2!7pu+#=qo1D}`Ab z480}J2#gQ{oQt!i-V|)^-@x@Bj&{qAC0NbB8{94b5F7*;cS@b@ z6IdV=3o{E7Qwoza*pL4i<(HB?v(AlI>ww=@O+5Xn)muRwjnjJ(0 zhXBpGt;W`l^UH>FSW(6H8(f$%r(6=nJ za3ar8-XGF~=!On0ICV$xx?xq&zzPJ;Q?w{6>v)6)gkqCa(?(oahZcke3*vF~aIGl= zq#rB{Xw(ic?$r+NG;vq~CTL=H4LfSmHOv#n6n zSghYP18Ts+iG@t_^@gA&3TVgCjAswoP=-jcAZRlTv+KhbQQ(&x5M*T2xD>8={Ut&w zRBxD4Ue@+l_Hyg3v-7O(7+Z$C?l`IJFaiu0+T-!xRm-=))vkexH^lBccU{-@-U|)0 zI9qi&o#;BS7zq*Qfk30rXbyzc{MomAmwwG>L$_7Th7G%-Wj!TxJs<1xd%I*!HpL3) zu2HOoWevoe_4*kPP67&0|oQ$T#H-BaQH$o#ju{k zFo>th|7tuxr!K4EfJ9m`;_f>$@XaL_;Hz^W?J3Yc33GZ2^!|0!;FJU_85Hv^K2ydgQ% z^g|m%q_jUI`P7F_Sq-V`;JKj@Ng|Jh3D3-qa5ySFFCgWLcwYpOeBwb0FQ9ItkusZG z-5C?H1it3XTx~PhTx~(E?-K$>sA|Lc+iCYS7=~9Y5W;0-1gt(!n7A`Wu04;}2|9#egt>hYBO{-bm;L{8B-&9yt!VkH{r zn>l|=&L@kylsi5rO|o~rEGAf`G(Vs9vh4h%$4X1DBuMj!f$@o0q`Gu%Q0V~9<~_SFqD(1@uwTc(Dx(r< zY%XLF3_>1qV!Z#HBniI1w1aqoHte+4yYg9GUwnIN&aA>W9u=(NUrY8u%%VC?$dB7g zK?AS+b2L@(91m`(z?9zw%@80t_&d#a3J8INgMO10)-gfGU2; zKYVi$Z}ieMAUL<6LsaAb$~nPYG-vxdVA&Ag<9=L>a!ehi29`RWC*K`aJWGVi+2hvF zn}vu6=43h%mxGT3W-(N={(iJ$#~W{voE#m;XFv^xq4Mo>G6k%7L+2f}?Fgy(CwlNC z!87yh$Y)iH7HGP^gx{~szWJGhSD7>S%|!Tp#*Vy5@CH&w-XL_zGX;+RUMKAiXeex( zds7a*B5rc`uLLsP@!(F|^15}+TvY~%Ml)1rF90Fjl`J^pt_sPUEnr?n;4nZLL+AQ+ zC~mTel)3U5k(OG=@@Oz2agdrd4)#EQDx|2M<}#jgOky<47E&uol5@?i#*(xWPu9>E zk6D0+T2O=6Ku>sPs!>Z=>C1EySpAp_AK*4rPU4r>{$*Hjm$zz$_&!V?v`ujqDH9eI zOy5HTcV@1S`vXq~M~9O1d^nZ}qNFd0c74qsGfq6@Y3+$v*ZQjfi0X*vs~3}>m2TS-tGvVVBROXCzBM_#Fqc3-Xriw=)9 ztrpK<%h}%3kJtKTf1n{J7-AP97=Jv07(TvX=Z`+O$8@hZ;hjQ zQLp&zM2*2q+uu59_+12$X$tT+b6Ewi0+{-~JZ}&C zsA_yZO|s%YosolUf(vVcv=N&U>LS+6;^H%*jmeSQDi_&|O44iQ8y;-moZpD?r%UFQ zJ+ro=Pkd7p?iR~|1*Kk5`R2zp0$E*;5$TtncQW!NND$UAo{Y0I?jJLOAW~ z3(>mu+0I(1=X64v?#x3}ipA*n>=P|iW&mSUFlfa67uOGmKIOg#{M)<{^km7ov=$x3 zHf)TMul)DJ@edxo=<3K@i#dN`e&~?no=zWE$EWKCBhMy)-b9JH^Yc;c*HH^8TcbP@ zt5(wIH_9hq9s>n~f=fUfzQ6!)>{DK` zX)iL^h}>ImmK&oD$T8?I5VACG+lJ0fyS~;xMb)Qb&*KFXY zD$Etuh5lU3Y0W96pFlcz*`kG87T_}ax#H0zJ_Y1|rkh>zYSGDX&qF9zBU#b0;*vnW z^nP7%ajZH-cuIKgk*2RN-zS<&G_S&4CjhYxUBsRtciZ`#DIUURyT;oBdOA)%mjP+*-4V!?RbiP|?Ka{Czq$x*d_iO;6Umjrz-YZL*C6n=cIS|q*a&~uEfMkCJ;OMRu}Bp9{P zjOsYJ{4BJWc>K7sgq}ioS1U|+yEXDJn4S%=UIBbhOcApM>DZJmTbQXZS)Ed zMN$Be3Gi7-ka#GnV@VECv8P8|kCpI&;o2;(rUYHcCZtK>j=?uEt%fkY-S$0L7iY7z zGa{Y~k!o8Wgs>gm&TVM4Kaj28SfI*MkcE<&Ds^Xy^`e3>E>m%QPNDAJctp2nuT=&(-f2#U97KUb>o7AhxT= zrI`!b0L_I?-0`4p%LhjP3M&dMskMjTazZ{Cu_E0^)s~9-%~zJc2?7C8riiQ_{0Zw* z6Se~zYy)@MrZlKiC(A~tp}amZIFBls<(duUAUfdT1+)bOtW!zhRY_jf(YWyg*^N~^s zXO0Ja>3J@KV@RcusXe>m8{>c+4`{#|`p7NIOv&q2FrU5+bap@+#X3sO8^wiwV-S1} z)4=xTlV@%9>63x!REOT3Uw6-yOBux5Lp!B@r;At{wb3;#-xUYfBh?!|;&`mM?zau7 zLtTe&C0DGE3?WkCxvn}-3;U>dM;~q|ELxvkatYbm%g@?8s>6e}z7h19sonaAwiI3+ zBj%F6u5Z5G+Gjvh)UK=lSH?2`QCT2Z&Mpa8sQ=)$(JfjAY4l@xe(SHtA z?Co8MxVea!h*aPirR~h@iMYA{2Z#~r@QE<9vWg3fb8;{JQKv%{dR1Vo~`Kfx~eH(S(U$ zALQX$<-#E4Vx8q8KjjhN62W=Rz{<}cT(U&Ivl^j<+O7o9HHzR}2no83q{9mU&x7n% zf)F)B5e{;(hYW<0y&qSJ5dJU~8bC@IA`TgXQy9V*6C<)R(aIKmc5`bnT(dKF{C?Js zO{xb()~CqUkgw_tT5FXn{H~H3B&<=_Xv-e&Xn-iBm5Mc)tXCn7Tw7c(~(JUO|zq6GYZ0pWCpCIA2c delta 49843 zcmYhCV{@Pl6Q!exlZkCx6Wg|J+sQ@pLq-MX3bpNAHky#Xt_++K z(&Vox_)|fky9zF$sKeG5OopYRM@Px8UkG)#$_$=eh+Uxb^k$iB7Fi zDbLO8)r>mqBdSXIZB1JkTJpBnLrwKK9@!b+^7smh>Rk)`z?#jt_p`u>$kkC^rrp3-G#@W3&rY6;j86A4Z1i|}m0dEFJR{mEO?#^cAwW=45X&f4Bze5$i8hPM4Nl~C-rW)}6I zrj1&@=ONwp@@`wRBqX-Fn^|kSQRj8tv^>kz6U1#BX6V&6btPoT(nTF5p$Y!vX6;R< z8~52yWv%pQd0ee!-QAz7k2W6fb)gLMvAt@``rDqsR^#(mrSR^%$!wb&KWm9#ffcU+S6s9x{Jt9{CCtTW08xdL#WC?_TCa%5_Tyl$nmw6E z(zyxXKK*mmHTq;v6ybWGDBW!~`5O^z5Os*>(SExjLvgM&Cu*tT&`!(5r7~6|Bt&Fr z-EN(^zrS>B=+>}t*nCEGC@GZUc|Qv`jD-Y-m60!_y!qwR^ao&OAPpWjFl$|ydG z`Tn&)sK7^yJ#3*`hbW4LXn*Gr3+3@}-2(x{^PD@*X-OHO?DLpp2b_~pW}QgI_!ekk zEgE7Tt_;&5V1yA#QJRdBQ!>t(#?G^Gd=kH(gk;D|*&t^m>Ux4;UO~__GQEmob*>Ew zLsf16tk$gtL6tVi($v6&qf(EM(tq4ml<$d_M`rsDKc!MMC4&-U$rG=UN?XfUDi($`KSEf>oz6{h?8Q z@TXnYI|K%Hr8-5pW1g<TYk-W%uVG~F_;qCdf6(_=}`j~ zWhS@dFH-lo!>b3Q%M!!p$E~eAI&tjcY-GbFi%<>b7Q*RSuhDM2yzqMo@!ni#{|0pB zuqMyT#6SUyrJ7+BZ9dTxtq6*!h3#6y zL0n#DFiq~%G51)z44*QRNR-;}QPz3P%xFj<1#MV~&nU{h zLcC(B(n(C^ku`s)AfVrYA!AFHNDCf`NrJP!sIOT;h;U>NN1*RGDqI;}Yo?>UPC41_#ay=`R3yk&9mYG=UB_S3_jbwXRKwg%5T!Yg z#NsAlqdGRzQhf!G8)^v`9?)wK4Sjc0F;;5G8waYz-&`BR`q>auJ(#N5!?EDBEc7@j zge&;8P!~taB=R)4DYbUMg@Nm;<5kMn)Il1LZT(F=Pji4HR7auY=YRkd!O_VR0!2CrS-N}7D39dd z*1XL$k#?m0?CF+zE!18OwjTx+z$pi}SUjD1q^!-04Ll4yg+#Rb8J>BeAGOw})mR!j zy>6$VA~(B`zz@<%8OG+xYT^32ZBeW^mMmq|B?=BxX*du@$QVb~G}Y8xOa+7yQYSw}e!35^{YCh7kvXs1s&}1*jZ>LUvGJEr} zypzW=L`M4jJlF8^N)*XZrDCd|-k+h#N;nBV9b^Zjc89*)gd$O#5?>IjcUbZt4Nf@p z8I_!+o@n$?3tIBX@`NqWV?w=r1zb^0kEtp8BaC7cb56JA8FNTYN?z*uu5MW!%0P{)LC>HdaZz~WR#wAJ7> zG?)kBOcm|?8@CVt%Fa3cyVChnPqkc6`iC94<23`%9|q2}itK3l1()T*XAa%a5Pb{m z%~g60cLe|6B>5ibzi=kXyz24~a<;Lp z#dUJ4OFK=4T4-vmVfdQHK^yg9vn!gv(heCJ^rjBICL&yY>>QfCGQ^V}y8Y^af66Zg z8Q;?ak$I@Lz&)=qdNup-iFATFdNUMcnf+@93J!u^ZrE*a#mk*)37NoI?l;Ay-y$Vv z(X+8&Js>+^Y#4uor{ZYMvdv3bKyE-ngo#kOUAY1{w4_7;M??jvSx-5!V28h>3MH!v zXc+FaV0K5OA1AM&NfP4o+QvITN9(OT_aBS0GD^JiXyj<&-|XLoiS?q9SsS$wGKvV$ zOo`wlUiYOsdek67$07%OV!0olX z4`!C~Sn98YtBzxZ3k7Hu1!FFQiRYZY?)}a_+1L6=-i^7GXjE4jM*%caU4ma9KT&G+ z&mr5f#ZG6(>9i-632{-`-2RiiclXEw+MmFqBJBDSXNlvLXn4 zQh1Q8I1@J$Wt_nE{9OEikbntxWTQmwl{ENegz+jvSoV)RFiT-y#Gjiqqf#Q{Ns^-m ze3x%YLW&_-6Co`f7D!GbM0h|2Zdx{_HGZ<2zacGhgHAb;7W`M6i0_wKMBRDQ;*~p0%zuBH;&Hi9MlaZ(c>_on@Fkfd^8Z6UUEno?1$J{0 zL3ccg@;8LO)r<)V*r_*#P(G{wMm6N^gwvT=vxjk0X)}96j&yptv59RyTi{F2;sys2 z+h$8e1U26Ctl$(j4$zL=b$1b2$XmwO*9w;udBK`F^jv@qhY^wc_Fz87__@!|t=D){ zy{(sa7){Xwp6fcC&JH@1IRuTe5^Du{)%`CIa%lSBS_9Xy_?Xtax%THpI$hzhLS%hp z>E@~?E`G}aI9<6kw9kbo))&OX-&X`w?RM5*9n{eu7RDQ6Wxf5W%tdQqG2*k^nyW2{ z1$J?@NezHfFP3zPg)iKja)W+shSR~Xp;r)%KBuTsQL(9yi+tXWgDy3Z{p*D3`|S6O%a04VqTb?|UfcH(dPA_6 zo%@}6|CAtb4S6c&^tOv)dhI-9ue`XI1E#GsEKD^GU5(;C`P}_%yo1?T%;7TP&sP6n znv%dPPtNcE_S!Of*kkfX@2WP=_br4!^qqq9#NfYiPS3c=!(J1J++kA-$Kz-(@BXGQ zpuETM>0w*}1^Cb@39Rts_537|cwnq72{T4$_1gTdq+qP9^)p5`#9*xK|F=fN_KO*o zQP#}f!qt+6h>MAd^?&Xc5!3%95i=9hFSZoqL{Lf~s_BO+nl>i8tRyr^7K%vdf}--= zW)v$pJQFuO6Z|H*q$Dg!)?8GOzpJE-M+(vA>%ZqNr|oZp^Y^6+HkYaToX+W03jyzH zqk_emqu7SJW{~mKek43Wd3z)OhBAy;+@8tF@zKf2z`>Cca3R57pkFi6%diD?fPmt| z0Ky93#0v84F%|p^m0iXMpL+oR1LQZTAgIv}oRPgf$WM;uneM+&jz<3QBR`CPC>}yk zt@iiGYevpJAznHDjiTS%O$F#d>5?lza${%Uo&>Hyq@|b}>wjzOz;%hCb^I|_VBkGKbwK?n;T6GG z1HQ*1Q6rFZP2il~;Fg=3#asUD81{gJ1Z(~=lK)9C#YD@5cjL$@sH5~F_X;HBQ%wCe zq6hKi-3~-hey6+t^YW7i3F2uO+tkX+;TYsktB4^xhz&Fvykd&Vu4oJK3Mf(Pq5}yu zaAx|w^V1nrD3>S#sxK!a5X3n?9b`u24^Vt;3KPmnl*ySzG_y_Z{E2vfGgik$Yvs+u z!vwz@^!V<_g2cIUx4XL8`c-y;o7zb`aep1f24QaY$pb@c0mYz)H86`^L3Ph@2-^4d z(;QqJ)d2bytS1_zCZmvk`TB+%xI)|!5Z`flAqIC)fbxd&e-uG6bok5mvI{jn z4|4zpNwhO%=rH}w{^1h(0|KmqC>h%S#|k7^|C_=C6qfDh^4Gr?$G^Bef8T|?1wo## zr@J*Me%{s9g$iwci+rmXFwpD$Mo-h2{vLbTW~Zk1=J2P4BINK749&p>`Jk`E1b)I@ z10k~@LSJ1&z$;B(#U-dPu=%u`_T^@h(*2|7&cme!>wV#-rwtKz# z@c|^i5vF_#1b;{00jRIv`jS)Fu%9O8uO{E$sY32ZCGXooP_x{m1UQ0=U;hvczhxGo zz84$H3~B$?Z+>f|Bj<*S#|Eteg5RH!NR(WEaaW|l|I{>m%FqM5ZQbqgumJ&V7gIj36MryF?xpp(FwqFQC~y zq52JA?VrfZ{t>9=F`kZ~yamSyHBF%=pH(GDNIhntP+DD}0&NOPS=^vdb5s<4dI-u zUe@O@XVxY?H>fQNk!lNZb|)+6E+tTLK9RKb+~oE;eeD*il=vzdNZmc5dr>8gxan&Y z*{Uq7cWnB;9B4ZdPxEJalH2_mEx8G8@;z-5nTAoiZ|ZsijYtE?vi||+*r=VaSNikt z&l{&O^;mPOJ+7lQJ4A-}nsJ!#D8kJ%Q+ot^1Yxv9Q32*nB9*tW2_;dIlJDN-xUFd8 zOw7e<&S?epnDd6S*)x8eNPD+t?FlyJ>(qQldk9Jp>As$!udyZkk2c9K&Ma=HRgHQ_ zVbLGgxJ--c^^FUF&wiSI`Qy3h81_FxwP$~3Jn(h=?l$%5bL-*Pt!q8JV+T}R1}~fL z>L#yq0OK01xWVa1-RK%l@Z=;cr3!f-Itiqr_Cs&DsOQBm20{pj8NuGXY|v0;4YZyl zJbQZ)p$7K@zcIcq`0D=WEpj#}>q!}tmjp!(u!Np>LC{9PJHjCh3X1EXsiW?Q+ChsY z!Axh{j6syyCS3K8%@7z|D`K*=B&QkdhLx(Z#!E3`JGS#H+Tr>#rHprfB>0Ab0j!zJ z)oId+U)0g`Qi0w&!ZFrL+3j^4Ec_J`cm0|+7cEUZ3;9;layu`T6GGCNZ+FE#3Dvz` zeX@a9M1mI(-(kurz4dzL`ECODX27k?(BR&v)bhs7Sgj7FeP^$`3WsinmF7~c#*@@6 zCel$PS7hqEK05wMCb^Zh^mePtUTRQ7#3$980ZgaXF-J%{EG_7idw5C^Kg#MHlSFKp zz?Ayl4foL4ZI93dQZ@{{{4$Wh7Yq_0fkDUV7v%w3&z?^`Z^>muSF+qRH~&pdO9^1f5)NmiK8-d#I5X9fe{t^bD0T|KXc7~it4VNqsOR*(WaNQr4-5!CBcan z=kL1(8l9{88@C5Hi6~VGVs$ zm#DzksC5-1tzD4YO*x3{IQ@sCY=PRWlX+hDSV@owy)c6Qs_YsO;x4R@`A1>9(P*)B zi&>`SJbu!gbfBd4UtzK$_i4AmRwR@g3qq>Kiq!i4>p z7-zl(M6(;3_UGnhH2e)b*?}Pf=I2+EbZG$LfZ?W3whi;M&92!%&zmc$ZpOyDCKkCt zv+gofOGQOLn{G?Sp26>f#3&SEy+Qzd@SZx5>rBysI+Se zx9S3ZNv1(x0jn5Brhdg)%?8<-WGSoK@d-^{c&(l1g<=QJTLJCL(>zH~G*imF0fjoxtr%sdGRXR15(U z^5pSJ%?V!u?=)TsZgmRFGneBdF9QHe&}{|c!$M~%w(=%O4|Gd&c*8bVw#eMu6gUSe6->5Uq6{#P`$Fx$y~H`)J&Kd8?1CeQ?a$9YcyQ;yKRjn z)~zRqP@-3X@(*T8*YweyIAL=Bv`o_iQ5@YpfQl>ad1;K%O@rlh7at#=JK$ru3-*ie zyfBK^Gdbb(FIf}L3lr*Mb(^Y@tR4+0~Zb&nI30Kuf7`2V@nnZ0UhCF z6=M#I-Vwe}ZMC6Q!Gl~iqocr_jAU>lK!SksuC8bxk7 z7VleLbQ?`MXuHRElmEYHJiWelA-02shGpIox1{$KHzpvLN&wba^%^D6~HW(&rMw=Th<>wiZmH{8)=O zf58!3Om93JymVBH0fNdB@#_z240X7THBzKWF6B~(vww5e2lIJZe&zRSc>Q}R*c_%z z$2Q~S#(6Gg2*6I!+_}D}MfCWE7T{>G-csJiX%XLlk_&x*tf&Ax;Zk$-D%y}1#8wKz z7~Gc!Ibt>tsO#asQo-x%Uou_;Ejg*)vVdk{W>)Cv2?qxq^j51)5ni-|nqaN2gG1b-uBCVG0 zfuCjpYl%%oQ<@)CVVT91>oj-@Sl7SwyE-9mt-z$l-+e*EglVI_THSKqT|jH)iyZvS zxU@PILiis40#<_qRHIuH$l1B7Qujn0zheMJ=wZb1Ng8-pr35QPjU<40Ah!gp)g(M2 zv+j2jd?0KKX($z6bi7J67mAu+M^`>`Z2p(Na{NX6_&VoyFyRbc(PTPY;Nz(E(WwyG zXWH(gU{NxiJz&;@&vi@5Fk&+D@bh>W!wSuAPV>(ufKLz)+q!?+F`{{uDItz+|44fe zom=1{WpsuLHA*Z`+GTr5O#rw2a-0kzDm0aillo^OS-Gg&nV>y^AuM^#qEhnU6%J}2 zPlLl5ED-%S-TZIA)wzJyN={?2G1vOmH;C8t`@=vx0SxO=${FpxIKJH1%-mncwfFa( zi&kyrfC+OPxVu5j))}%m-FvlJ1h#z%-v(h8*bSxE2+Tu(v%QG7iB4DqNCr=P>Ie=8 z-}8Jr_D7s5H>%f9!n%QJL%tZ!S}`Q-D9H*XtRQBIZu6qIF4 zfrsP3G|v}Z7}#8b6#GOQvPZ3V6Ps|P zth5B7PeZsiewN-8!|I$+v&3AH8!T$znObRP<>^pI9gF4*rOGyne#mMeue!8W#>>#z z89wtSj%!jc<2}e1o0`mGuVfq_K4V0p!2TJ8jUu9!2D{Dk3&WnFDp!peo(A!s);e+c zRYetJBn>AonBLS*_ng={IUB&TM+b%hwXKbLZ}NExljU?BFg%i|DMVsVN`PLDwj z$ET@^;&<_pl=KIq@ZXj_OI2ZP0Bw60my$1c8(uZ*{e0WxvF584%47Kt-jZ+Ys02yx!g5j>WNL+tL7W9G*dAdmktSVC0lGVUhp7`^U0EQ zg)a*!nj-cI=E(}$W}FS|7eht|p?K2_I@V}o^&qf=AvFywTW(*eAuN!*fzN@N?oy1j zq~dI%zF$NI`$^opIs9F#Et={~MY!}V!rdSg@D!hQ2O8~2G_FYdzyCd`ojtV-g~7Qo zUPK^_O9kN8QoO4Kr7E3r}_D{ zNQWjTQYR&&LBH7zSB}w{0CPlYE%64AF01*2QJq?OpG@$5&jvD%HrcO71}>dbF#2bi zQw5LuOflQ*aYl2+59idn88bd=)BaU8FTYWn3IC<4%)P8MTV%Sd`QIrT!;0%dDD?c| zSq+|iZ8q9tE#IynAzPf`RCP3j*$vyXG>0QAGViTt7p-OEw<6P10!ZSH77qKn?~)3I zF%Tho@C~$&Eys+{Y6kY2bGKRXjklE1%wD7GnmRt?y|fa%2hgei{F9sd7-;xX^+dRp zEZu7yP#|f}D-+bhuz$TK2}BsEPmiX$hHKm3K4DrWEZ7Yz2ovYw50tCqdMC}Lnd@oM zzz6vP4Hu;wP8~%Y1_)cf_H1_h2?VV!kLeRvaeCYdtsNP|*{4C+9paS#oJ~CE{!~ov zpT&WcJ%e-rgwIJ0Hi3-e}+>`e>BVn9D}^= z&qDgF7k`SUJE+;hA#g5%`!wu&ToL*CmxToQ^uE+UH_qfsN+(GCAT5BDB-`yp`S7c~ zk07N()5N4^HeM;c3~20Rfvpy)yHU^jyE_1C?*gNVn`vkKs~^?OEKS4#MaCi*pF|eM z>>)4XSI$^W4=`J?L~7$qFnZLu*|?`w9-b_TvIZ*)llN>HRqGwo!@xu)B>b(~3L?F) z))_9mHD#h0MpoJGyWr)cF%rHSXvL2**W<~d#ipP?!{5t_Sw znz<(iRvRNzo5A1i5zd8iiFF{$%0J{yQNw%}W$vlx z2_NsqEJ!}YPPnQzc?<|Esr&Gs$?tzxl7nL)+z?L<`q|yvTuR81zPAfN!|!;mtFjbZ z^eM&tQeVK*ZY{a@=aho@O2Ciqvvem}N&+AijpQ8yFUMkIXICtay=5=uScnfb?}$DS z@ejdfXhYaEGPYV6&jQ40sqA;B@!G-bHwmfh$Tm2-hW0gHbxT%^we~N~WH$Sd_KE9- zOL!JAF5ec3?tahP)&9HL`7$3?l(&GrSyw_>@W9!)tH52|cohZ&l;b*-*QmydD-W&d;#WHRN~^)m6^6Hb2CS*_Ytp;cP86P;Nou<)@HNzmjH zDT7@vZ;x|$lULREFLmyuKH8Az9CSCFh~GC^M7kCB zDmR!>;Gtvx9YLPh&bsPav3feVbAZ}OUSb=EFP&Dwvy zi*yx%In(Uyj1YyZ^L){nUls2yvnB^CN5zvMmY2Q_E{(cFlJS;2yXCacuWfyMMv1gd z;)w(q_1^rq8oU&Cvp%n|IgoYnlrj8iO^7^Y{+F~W{AXX>PrseBadCM*gaO->M%rUe zDNu~8khxd`lK+s8b(N#aWGc*`d+Lq#?+0^MeACx&QL%gF37Y2@e-e=wlHUKVpC1R! z|E@Om5TM+7bo|mSvctA7Hc?4m^t){^8}e_1PjH5_`+lTDM4ykb8l^9!oQ_}@?p_22 z$x?|uf2Zdrw@wl5D3{9pGXea+qy3UARLO6%9d7Qoiac57knUHne!mx1X4z-YiNc8@e z-O;bVcYh&uDWh5FW-ynTj?2P zl8b1GzF`cbZuOm$YxK5-ztpI_-$2hBtT3=kd7zy6%y_9dKQy(r%QxpLE^}4Xlxv(7 z=PU^{s@iJ4Sos%X?N&F?KQ}^YcDw?)5~ppsgA>zKTMxc9LUamivPr2JzA)l|DEaAtoH#ngVdjS$#)dzD!RkHiRA1@``o+p7@ z!mh5cOT!taleyOUtv{4Dmo)kkW5CSK2kCQim>JY~zY3q+ssZQO``HW00z{+6F!LF)i+a^8eQFZ)jQgb+VhbxwI_6*9jfjTY53 z-ipv1vxk^A+ef~Edya**rqI3^trhkoV<6k7ezbJ!(!e{mPgCPkPT~mv8;86VqA}_O zowWU)WbLL-PZoXv#aeh*N}-81>&N|Gyb~dt93Wy3f##aP>tu4jDqty_DKgWKDt{A< z$#frN6Naa}*DX~RbXU9>W;H9rb??*-xmK@rm?Id}VYTSOVsS-HXyY|;8M<;N211*> z*xPzM-7h|>w@0TQ}*uFNm-hALlJN6gBCROMv&`cm;I|uFV z95A?{dw>{3HDqe~D|xrT&Q!Iu=dXs7*wdVSkP@mVz23V5=BFk3{>py%!&T*9?jv0F zDs}qa)$i`m?x`>4j7AOJ!eR*5a2%opx&_t7vhcsL;%n3go$Wil_ivBCE>Uhrml3nn zLLO$%`^Ox*@55%-g(V-gEL+wdJ<)wuoq%_l<>{fi9PY=Ukf_oc_Y61g>RJ}W3KC`Txe%?YChPX0bY`RDED7-0fmayQSV{8${(cx!afR}4Rh5}BB zbNj)>LwQ>$0$Ul+i-sax2r-7@Lp91m{iErz(>mu?DVZ}%gi&8bFPM^cIx6F3o&_#K zbXSS93I?8SqkghKYn;63hr3`$F`R3oaFuJV~1Ng2=S%&I>UJkTvm2R)KSH1i-_&3bzV_&__x$K}qjz4ATWO5sGyz^3F_I^GTu3 z-qaDBRy`qkJ26VCJg)3gx#J|q%!8sC_LUJQly*vT;|R@qw0Tdd%X53g5fpP=@k>QR8T ztfHE4&YFXuwHfQqDV{sJO_AVG#!t=@;m0`s#~xCo(`mZLXSQ=?QG+CARP$x3Q%*AO zsjCYk+cP=D)a89sFO?f%1TgIu)R~X!8(PHLd@cN8d>Jm1I*k&Dx=!ZcmZ7bO)<3jL_ckgcLT7);zr_IWHtgJI?}y5R1l2%lGmxHYNtr25nA!X| zcXHna(V#gY*6mgo`P}Qj$J6RpoIxPdcFi>eO!K8WY2PP892I39)EID);Mo584m6Cd zvE)t3fnMalDQj#?vg^&>MXhF%+o?Nab8heUKcxDZUV#$KA`v<7i8rD-M6}cPV(P?b zPU^f@&l~lw?cwIq1#qxOxupX~y(kg|HI}NoSHBHu{3#1(IYV9Ht8c@w_Jf2A6QT9V zZlUIo1@fx}?*D`gA`S4hjLepINJ05zPfS7n$Z;*k$eohTowCd)ZW;`%e^3#q#}c}N zAB)P22q6l2EBMOZ+PAsILs1ioDROB6MuVxU4X(N>O}ek8fG<||f+wksy9A}1V3`Hk z9n4lGgM@s4P&HMyd=le`z2FVi?N(0CRkvJjoVfGDLtc*hY)1@4B=E%-B5 z>GbLkve@E6=p3@D%ce7Ru{sIu2RG>!kj(Z)aTjbi@{tOfvN|>3NMw)b2M>)VlhLRi z*q|v1Shs}%z((u3o3(ai$HH3!&&XhS+C`jRfnLrk(tGu=G?yekDpq{l#FyeBr{`?Q z=|H#}=VDqs90;*WjK3q53BNel(K|je9pgroT}ggh$bggi-4kfdF*9QW{}<_3Pm)+; zG}lD?bXb+=w{mV~tBstQMis1G-*BpuD?7JnXh1zK;5E2(2J#Ifx2$bKe9FwL{;!bD zt;R$O=LtDRGa5#{h4i^6`1C?g{YS)^K{;5GLA{bfHlsgwnFH3Vk5|L{i^VjsldrWc) zkR>q%2vg*#82at!e?|AcN)eqj?S)gu+joI1mWf2u-gQu@p7`otqghy}r>dpvi-KE3 zD_ScB2+=I}CbZ)aVMNSG`z&TRJgS5e;<28dIYjyB_pLih@&DZr>~5dr|6Q@szv?uD zg-g{jp9L-J2B{VShl2-&q&bO&K^F#wg7fgVueE~P zxMURF(|(1`#HH_`2_g4$P>%Ssc19|TlVqyz4y<=4*nJ77DhY(FC*GL9zo_k_C}&}F zfEjluJ~8yxaOD_Go~mZ%-z9xy#kBGJ^@lH7xWPP+F=qWN#9h2ybfd*ak^Et4;jw~` zd`pi335mVLz%*6V*Yw~h{SZN~X~xUH0dN7#Ei!XXx6`_AqU-&#%MuXf35q69^U?k& z4AxRF5?dP8#xy5XvaU_l8TLGDrvn>3AfB%)#t4bBeM6*|B`_~`Eld50N$cD4;&)ZL z0bY5}+EY~4?tpchVO1+t@fPe;7fn{Z{!?DedGh=%G;I+p4@J@*{9~mLRtb7ix>8HH zyx{sm+kNRlQ=Qu+(W4{GqovplXDMcqV^}rm-AC@JIIP^?VGU#V`^Mob8!Z)n;8S~! zd1xgq(+-n7*-}g50F$6HPVxhv*$0h+rKP%dk(pw%m}B9V8u`lf zf7bOv3iM??M44jk1wLm1KjKv@@UaHiZkYce#OIBCiH;!YdE@lemROdqxS=mtRyAd$ zJ^wl;CDl?)%Md&FjX5}vnG;r7J}shk)n}mmd=bb77j`IM6Y-O-xsfFX;>Q()UQ9iX zpA%yC_Ggaz>bh6Gj$FjcBKWOKFC5(WHG`+oaaF%ZgjE*g2n_K4ddWPB6=zvb)$wW` zv$=Nd-;%2(HDM|tFca{f#eyOJpsg1xAo!>$Db>NME@(eMou0{cPx97C)^rF5WEM2) z$@UpI3gd%FS+dZMl^ZPpOA#`+uBlaH56Xl)F%$v5SL)!#laEoky3FhBp_R|w0k{fqHU#mmgY9!L-8`@PWe7RX;Wh#wC*>h z)o}KjdB=)yV=ukz{obrBG2gc5AriwPPq`?YZWwa`L3JdMf<@cpCZx?|O zS?i&}=-zIn?@J7be>!zy-@^BQJks~x$C9V3mC14J8BF%rh*MjVaq)w4r#qm%dQ4WX zn_sLaiW&bR2@V%6#GQwAWoH#{?g`XD-_!*Mmv3#g%XV)F5J&Vnyr(34XI+udiqr5j zymm^;?@Cn)uOdIs#x6)HYVq2DOd-VMAG&4?GU34vWP$|*@{L+4yH{r#G+AUS!Ad+| zO5igg<~|~A?#KX*udCV?-;a^^2iVLmw$mC9F1l8F3b34F$q%h&lO|g&DvY^XVxHRy zGCGG-^a`s=ZB;nZ+sYkqE ze)26kCpgp>G=qEMZRCq{I^Qr*VJ(WZ`gLx_wW`+ zF=ohEN8-7s8qT&_@}X+#Dph^mXG1FdjIWEW8OKs!W<6sGRK}q@_`%esLO9y^M$x%; zFEdPu?-wIiMV^{CZR#KU6w!U5@%lp;cXumal6XKSR6Zlin|TDXZ#WidpD-j+t&HRo z%hwY94}@GpC2|>!Kf>i<&hmCt5%*yI2#HsOOS{*o!Dg6paS9vF@UuVtTdS4Sj9Hj4E2vx4Vfz5-7yVB1c?eI28uVu*vDsb*&BP zAsj%~$2sR+`o6{|l+DaU9ou^&&(%QZ6V_nfJt_`=N_?d@Wy(&0^-~D0k;8;pCepg% zv$z)TvVuu_YQ#wTFYElcO*-GG>ScUYOq0<`FN#B6E25S_&lu=hidtMda|Vc!dQ{|u zV2}BA)H9X&Gi9Ae7hcAB5lTr6x|0l#W(pt_)NqQ>sL<_4n6A9+bJagiH?Jczni4Cm zL&N+M>^N5$?qRxLVq8%&`7B2}8)CJ_Urq=Qz~Y{9ti&}3R~~Tk_!{Yb|6u#zF0Y+A z4%PP{&ei8${$&@pX&WvF0aeJQblz867XF;8tj@AY@} zqp!_UdfNSk#dZDj>NGzpT_pD#ud}FKni47^IInvs*vk*lkG{PRl088pK@e!P z_Y7zcR4A%7Pr(b2^bY@FM=Y#>;XDwJNB2NZP7R zB3vxNdB{^}ccDw@x&W|;T_R|#)6W>Bi}+~Cf^ts6oZ@22>L|EBn84K$(PS^eO%M@2 zsFxwc$|Sfg)QcL6;P}vw4-KmhPdX5A3Fy5TAwv6@hXyBba77R_FtC0kDol@5{1pWM zHT>M_BG4K4AN^mkY+pz%pa4Fie@@D`!S2`H7dkZ9`=u>7Sg)S0o#7TzDtHe8*bnfA zBsR}DeMx(Ngo!K6SpYKJKmWsy*Oo{TR|jp^l~aEW3JH0B58?Gl`XedIYHI!^1o49f@eaUy^|LeF0WM*`>^>0kt#9t#g4@9^ zl+64;iJlA>;IbL}hQQ$k+gbxZeZJ>!rqKxm1bPs`gu!fk5s|RAy7Ti5Yd&+>%D(N9 z82!1B$OZgBZkG2AuIUtE>jV39x4w(M?U{4p)4FN{2$l`VzsIQw~x>>|Xv(1zaEdRa(=kX#_%1ZbfpK=38e(IWvkLJMQ>{b-sGAQFlO zRPUiUKG+--q2VjQB?SF8nWz|vZn|wth{3t??U5m*)4Syi7vMi#49Kyd?VoK{AcBHG z+3oGww>(Sq^VNkx4Ez>U*8)2IBCvag;Q~pO7(i5`{6M^0aJQ<5U}3>t6!jga1ulhG z{rUv~kQ_LOqv#h*B7d-rf0BP`t+%_G{XlYP%iujAmdvluER|bx;V5KBAy*tGJ&kzIZ$T52 zonO!zNFZFmCyf^0Ex9NC4ADQEND7gg;LYC!cw2BDz2?%;8xqUXBScls^b!R2MsZ)< z*G@r-ngdmMBEvc&bxFBoX9`K{*oRpyWLUCWe>2RHx4a(N^xE+l&&%3k?toFX5t+*t z3Jr}MHeBa*Gntv{3n8ZS6GxM~{Zeq@Q2d40E(U;xbtXDQ6}=sGniFL3zr5auR&;Fv zDSs$m&oZGIc! zQ+1xlcHZ_ynZo)y#4Gc@h-jP0NKdn}xx>w^lvf#N<(zM2szKyU9#nkt{$(H$# zyf0plv_6fh!gTF|uvuAJO;`+p$+Jf$y$me_I=i*^+s-TYrbIc$#kX^~2~w7IA@p0n zq8VY!-y)fc^?k?u;gTZv{J2p|_2PKVRYvb2^$sr|M=2;VOM$xd&1a2>dfh2}Ng5Eb zD7BM(n5eqt3-G4s_k#m5Ot6Y%oS5X~HQ3cZF;W9=^SIVHb}B{87BH!RdymO916J|4 z1^x0C0zKDxKMI?we}~>1*WhgfRPgE;pI84#Uryn2!kTWN9Jo9sCIh~&ih^%da0U%0 zDJr1nCB_GfjiSh2i=5{BUn#hyC2*R-Y}CQzo@p|qcgv`|JU^a0DN0A6+*i1@H%qe{ zdtj;P%qM7NgdWz~oA?!pznIC3`NNCyR01&CpH1XC|FDUrrWm^ zCLkOxvN+xVMPY)ycqP`I<@N4+-`h$s`jhq`u~yV;_{K@QyPXbr?`I)9c4S^%;Op1W z>Y84fns)oNh2Th($;G0+EY8zUMQ2_4kuV~vX3`p8HKrD(J@g~L@Rkq)b~5mQSo~%! zC4yj*%R7ukuW=L}WmJnzStO^RRpfmse0)8JDG9KV9BmQ!*9lhKClK4v;BVgu6bRXn z8j1xhOY+riuFLtgx&P$)MFUL6+KcJU)6K`T*c|5B%MZTMT}pvsJPPg{dTeBLVXDqj zq4ZC;=l=#lVuGx$_>Z_LB>Iiz((2dr(vrwDrqUFVfA#^Z@5&L}AJE-w=y_zTV3nf8 z=KsvLO&Eu{|{T|6r_m~tlMeZwl!_rwrx(^*59^m z+qP}nw(UMU?tMJxsiGq4xgzV!T&pfFNn!S#wiM950xm^(b5~7DOJ6p7_777?BVuxA zNLL?y78lizl|x+3zG`+~r%wq%uhvoJx>MCEt3P&Sy5pPw%tw+h_mzp}Gz2U7bQj_~ z03OFQwJ&~tVjb79gawSoDJWn6;k7M97Juqz&-0f!AxG@-3^V8(3~h9F`Lc7hvOa_E zAX{@ze#NkQ9zG2Ph@fU5xBkG-4`E|(jAQh6SdPc{o7c^wm+)rCjO_(pBaWr%)Ge4NFwZ-yOv7=ni#sc2dT6~f~1gtW2=l|xx z>g|>>XlW2!Bb?V!P1kX3CZwN?i0|^(i=GH3F5rd-qxf2iyE|*58K2uAtVRr90zhaO zonNqAbm<+q4=w02w}R-kxyhidrj=T`K2~^7&W5w@yCsdNE>%&wb;-)mAk0?(NXn^v zerX;ahjI z;Ida@`^Qh`sSB7`RbcqpDgj*FHe>q|+@ro3gRGs9OwV%XcotMs(_Mk$X2qPiK33Bt z+L3UitOFgzhTN0bl~}!$q8F*KsEF(1-ZhN*eWb<+jBp-1PUlsoI(8qv0DTWRN9mnf zHkZwI*LoZ;O}ktlL(eHCgP35M7I`xk*DYwG(0w$JO z?#wGqrL6!6kaMC`fVUu>k9>m?FXhYOrbm>>bkDYC&jbwDgznLnQxuM>z1Uh;jL>#V z=t@6%VniK*?>v4#kgIJBK$I7dv-SPONZo5Q$j1@lfngfdLi;#T*#MrBqH|3XioFlA}iMt6= z3~6rUe~G=CtXjeK2PqeRuLfr`sWE^Z%cd#)!C>C;>6PPMyrs*RakkwMH~w6>tiED& z*FOcWt%Zp=6WQq{#&N)IjK{O%j_O-H!acmqN6=lpEjvACPfmswX7NEJogU8h`SHC@ zs_e{FGw?(MyfIp>lr5_|rw>rLp7-uIOE?pOFTUsmi!#{jO21j@PnHJ9^d5^s!JLUA z5R&=8DLOjTsGL$#vsP(}J#afLYkv0E|fk@lVys5PO_S^2J?(joh+vrO|! z1V%n6OwilSxeQSo9u+7@ZXV3O6J#tbAhN=JUn)gw)SOV{AEw!iHf2oOy`X_||#~`8QF&pCR59ivK>0XXx$3@gO^1Cs3 za7c_az4{sMDzSK?1bT@4zJ0%9qd)!PTM^1PSl>H3`;E;jolUh{&=J!pd~Ti^fPTB` z+IM`X-zt*6OQqoVe{{0u`!kre`g)6J-TOywWUu_u&D60)6oD01OvnMn_$sa&%sah+ z!9LC-lWi$MClRRdwa5+lI9vs54`a{Ox8&gETW>I?~a$ z+nfN?f$ko?E1*_PH{S;sG)JtW#sz7J%Cm+|R}&TVpmlyo`D&y4K~<^O&ssVF_hm2ZDAo(j!A|6mLYyOH0j zVnbe2bGrAzcdSRvbh=?rTTEDIYOO*#cNoG%l*WrSd);m#)k#&Rvzr5;qQ%D|E=R** zUb#4O)??OV=1VOq_f6)`CT%tRAlg`UI-&@zX^HVe~|2f=gO1(g!9denGMmYad0 z%ek6Z;2FfAw@R9Yt94G(S`r@|Xq(WcklpMjHeu>>d`W`A4a0+z4H3%@3S@54prGn3 z$CmeIS^AiM_YZnz89q^OcfeJ>?_jT0lTkgleowqm*H-!T!Qll6e>~I3QZSW4w%_Y9 zQm1;$sH$f1GZv&c@bc}pRsZdTm9v>Q zqac;}IhhEYH?mm7c7{`PCTHOKpg50yAYCYHh67F*wJ)zH{+U_v^XkwP7+eMWQIPqQ zR%!vyyu7oO+P?xui38SwhPYiQ@Ts}+{sCP?j`V0|C`$)0H99aBXHcN;4n>!fj!E)h z9^|5wZnJ78x8eMqjSIukv=%}it!ykHCrX?&S3m^X>wbk7Y!7uXG_U_5Csni@AiWsv z-W192cvbYb_0N#7uq&@%m}w@|28(h9NC&W)&_`!!%i;r)s`o2eDUVN{W)d4G+qZzU zq6we2<9M=3)sRRNAioE6hsA}q_vZ)BMPR#!xZU7OuC>B1wz&@8t0kz+YMh8NUBODP#0Vd`A;F>x5% zVDj5@ry+3d%C%s$oUe@Jv;Nv^f6)PU34$TAd%6UyO_1pDKE8Y&TG-P{mWJv(_|}2h zy)-?jCrl&tq}~}5a(VuUFcadi4ASvI#8k$&yW_WrnWg-M>G2K_;Wjq8RpwPXCx*$e zaZTnCV=+vdIrR@Ml>SU_aL`x~S+DgJp6eM;F+a@WGyuxS%N8(lC6fR?*|( z9oc$Z>89vygbA3+jbJ>y1k^>+MMdVxEHu7c)vOd%Kx|K&!qUi4N#RpRla6PVJDRX3TeMJ60+MRW0M!RG-~Uf4;N z=L3j9iml`;Ywm1D-EwgXZ4piIAA_n<$xsRF=b{9v#zi7YzQ5d_O>TOpgfB8eJ4)o#>($2SemrB8$$6is{h? zOX4#8({IY<6k3CM83h=<4RQhWH4eA|OY-OMw-c^0J-Oi<`=++#AaQaq2UzU*+$pj+??@Cfq zL5eXv9qEBg{TInOk@TMy%L5da8|d2kfB(Y%2Ce$$TgDVMaE)(xzHM#C`-~oV$(juu zBIFdd+tbT(Ts&fC#*ZKwMe+Iez0`a-DpZ(!Czh^=xmLq9$?zn+OKF>H{^JEKHEvq+ zC_!Nkm-Ucha`FwCv@_mM@1G+u8bo(15p)JoCoaVbdd<<;l{7*d0kjOw+0AL8)jv1y zYgo?-oZi!C?7jFRU>fuO8$BKM2xy&wNXB73Mf5`DM+Eo}?a! zz8CaFUUk|Xs2=I4{rQ#8I+OqjPZDd5;80dF1$y4Gw>0XoFsk4upLtj`k%I;do~Vfv z(!!RdX~&LL3b$n>MWL%rZJpV+z{Q>Et!VGsAlxNI4XZ6Wnb{kL=uUHgYw4{Aawx0@ z$nDU=xKWqSo9oND2Ctdd@l1GWuOg!sLOZ71fWO=d-;;Z77PXPbp*#U9doQ(?|2$>X z=Gh>(?)yd`+jkhubvp2YX8`1_KJM`zqdbeFUNjCFSSVBa^=CY^PYZJLwzC=CukBTK zT}!%l#^*7GVJ_#FK^3xg>$U$q+F;dd9DIL^=c@nCBRt6RCOoCIqEQ7iHFyrQ5^N{a z!u`6Z1q>RehPJPr^z;B8L94Amzp0hA`p7ar`}dfk#m+_hZ~HpZKDVoDX-juW`S;S~ zPVaq6@m5u;d7Wqls?--$#gCp1tuR7~gjz99r<8XLc?_GM)qY#ZC=xANU^6VdocBrQ zRT4{1c)vv~UTjb23Q)dQ$3=5G2WihcmctN7?0c|I|;eCpjl zmBsI`rZNbi7u)v>Nqyl$>i=C$%V9>1C~TIv4;du~k4^NMEl3@9<+Cvr&-q2|a@`ny z?td)_tP%dQ92EDd0?_rCTyiP2jyx3eGuf?Dlcc!UwyX?D{3Vg8ra$eO;2m@FM)Q0N z>A?;XmqH$aQKA70AYVw01PN(jT+Y#%`oZSAIr5}D2TL#SJ5w;0JTAawshJHsG=Pju z9FoY*&G-#8B3U+{I6XIq=Y8`~Z8=D`vX&~`RH1ws;20e;EvV2eppECKy}`_p9Y_3+T`f3)-_vs{2qlGXzyS8|V3Rms&9h@G%k zM%s0$4A#|`u6kJ9MLFWSFE|?zEBK92$9C&xTdRKw8I{awt)=SZ%YqVil?vkWGV`dj zqfnGsV$E(Zu}xNA)IJNHDrUPaD5-Of-J4&lXgSdB88s%4dcgZvd!ZACANWH?aiE?? zJg{q=^~->odAiU@%;*2oMsZuc>y}-WBD2IKrHzGUu^LuN>W-bA+!O?71&;;Y)F(j} z%fM{mm$6__!O@y_>l}EK4%bC{rME6!9L@hiVR1r6Ffsi^csfr)U#p*=0_LOP>(~?P zpZUS(S<+q3*afVy=Ch$$`g*+t;;0+jhGRqVGZ8>KCvffJi+$Y1M5>RY_UM(Pc6GdM z;BHV|OdMu#?Bu{SLBP5*271g&=|K7Gy@M_%hn2=HINyM=sRTW10bQgotK+7NGx7jC z-;FVyub!kKDj0=^Yg947m-eQVf!0QhD%$&#kLdE##kLAQ8123KX07z+>1S)o4=$TF z&lkY=dG}1^Ab6mRF`$@TW*zc|@zHS^UHY( z+P})9|8He71$z0#YEi5n7~jDj%{*tXWIMiS)9ORfz}blIUHCzyi?M9#gDxeu3PCww3RfxkrY>e&)b>#>`@5L+W}Z{XyOXTZCvmL1o-mjJ*e zAc>19mMIi-6tBH|Rve_L^XXDx5o0Vw+9t57 zffseTrEuyAXRu->*6eP}zBp>!|p5O0hu?8(k9`%N}l_0;|u)}|;Fytu4vnsE@w z`jZjK{euegvB~an3G7SM6nHBi$R}Ry*o4q4X(2Iwu!lM?oWOaR8cmxZz8?}k(YY&q z<4v{Xs27R$bssnw!P>L-`$uflxcPr~URfDZ?_`0{8V{%G*nwG@{@*5*5)23qkByb} z{}!pRGjnqOf00U6tFd#5ZYvq?rt8gG%eBhimj4!;&9b$Y=!!M8P9tr7-rLPm`PfI7 z-*Z0x8pfJ#28@#pt0-B)g0cZZBO^PLzyFy+2KolZreGB6nphoO)LL3q>rUhUDX_7+ zfqf-A^(iWZai#<7(p+B;`O}qj{ee?P@oOt*^h-wT8vqOrf`|hlHoDz8H?XwY11VHe zSn+d z@^7S9gBURLhp=zGe`)QZHnTjmzI>4Xucu#Nd17^O!5H_UA`T6*cwCEr$+WAQfQ5t^K14 zay9*kKgbvDEcTah>^tp^Wg~2>@0)unbK$p0!^N!1x!;$-d!B9lK^G z#r5Pj9f-GYdI>t9{)K=0eU=O8SNd510s?0i;Ia8Tc>y>vI6ttqG#-H* z9r$1`sh`|kJ4tc1m-(HFh{{gq^$ULAbwp7Q{he!1=lZS`T>71Yo!%w&BY$ya%lU(% z3}EIU2lGnpB?4Odb)#Yad5!T`bR)7}4G`ux<+CDgF7K?`j5 zg52HWfxLB^___M^dVv!ny#1SB`;+|x;1kf6#+m(1Tm>|*Fnqgp{6a8bVeIX;gsr9j z7KfzAzwZi3|C5wPP(~4z#xREQ!1I+%AsW&n+x-`@`F@H~9_ijKN7#N!U&~vH6 zNE=&q0wng{S|^rfj(XMZQfmOmvqiMU)r3^yuf3Xezf3A$+>mq?Iq(3dPl9FdM)vpI zP=JAm=r!-39ax&Itv}#uwkf@@w{}82RaZT~nQ_0sM(?wa?0J!i#Sj9gcH2`lfZvKA zfcLM*!Y4fgvg^nT`EOKA1kBvb(QVVWd_TXXu{uR*FX^up&{y>b|IBZOm$EW~vT<9p zsh4pNVrA5oOsePA*S!7#SKv3zUSU4GscgkCKd|NX=NB`vt9u3P?xhe`W~m21H&3b@ z9v{4k1;XfOy>;2gf($(jl=rwf0NgjvR>{?29uJ)HJe9~S$70C+zZQ<2u(=acCBe;) zlF|yjPbhKLjgeD8yJrCuq0=XlpWx4#-_gIU9n9GE=mppSHGOAKvGlLg^LR^lBWvfP zTX4s{Ke=@D_$dJhVb`giQV9nK7H7`8CSOqR7bC|y-ARijijf&rCpW>rfR-yMnIFW~ zz?lS(ele3DGT@F`nl5Wp`cq#ld~kwMtt?Urc^)dZ!oQWfbKNvfEfepbU5at+gIr$8 z6f?*_Wt^Uxe*>%1j4x4Cv$Zrl-5IsHY34<=veR+MlqIEkwG2WcyMg4xgoF^OwA%O# z3YbjQ+ep=VCx=rZ#quzU0Aj4hWkjzs@rEjW$XP@w$78$~JMp=i8XA*-qh4rEkUmt~ z19;`kV+jywY#Onon;a)9Jbj(vkhLfa$!Z{)XLN5Ia|5o?*l|@o7hBTP*u}_m4`xp3 zRC}xCOH0{>14tkp1jp=8-0L)JoH0fkEmWjCUV)2r;MEx9^7~?W0ji%@AQtmwwngpf zdK4eAH*#pca;4^4uKK8_de8)hYn9>DYA7v8eXGTI(S^ntlr^#5D4f2-YYe zshzweCiGO1z{GeZKSH@BYhTmFBONfq4in z;qg<>EoR3p;0o~MF>dET-Oy|4Q>kfM%#y4O&c9`%e%;tcQ3#HfF5E!Ty(ch{GtP@+=cWTVUN zbW)AtThwlPKe!5(Wq)Q%>_Ob!tV?m1@3-J6F?@M2DQzZIp!O&5zA#Pw==51N^cu*T zpw_1|UEb@APV9nKr$>7cZai*(j<84~ze@Q7a`T;Wr7WpVhK4?MFTwVy=Vx5L@VYLT zIyAkWV67BN+-YgqI?7hm+;$QzGQt{WVYMP&3rv&Mzfwa?m>}7rL&p%>D7V-#AL4`H z3RPvU<4c>Pk;%WiZR0_va!-*H7=2uN!_xk>az`CHQpCXO9L9(8^B}RUKc6eQTuK=O z%2kbe=7o0o9!C_>NkO~ep;$7_aqro=fY{as*71*HvW2Q^_bcLoG@<> z{MpC!gzwG6F^Xz`J#SrA!V3o%KD%;!B~T3l;dBLD8OP?Vp0@P-N?oS;mKpK@^>U&H zxpKR>ktXUX&JdQ*HA`E{xjY9|aEtDBil|k3eCZX~3)UR`MZd@d+xZ(((d^)re&NAuRx*_hw{(e{k=e~BbI$^lhbuAO>XcDoEYgdxIVg3Fn^`-S=AD9@T3C`7 zJ~tuZo*)VxO`L7V)?8HTY~xl`aGx>3;`rnW;-WX(yYk#IE|B7AqPrBy<%oq4ifQy>rwZLd_x1m2cyrT)L<{5T-#!dO5Ey60aNNq^p3 z+UNwxFEzg?SyVB25e{3TTPQAChfwRa??AF*?$YJ-C%Ho_o=a8$>;n!fph!0uZ|uuX zUj8Y6p})m}Y1;@x8-unHB-u8`;&)?Qd`Oknls=N*y;(wKoMWdFqYF8cJf)XEJ|E&q z5v{**zf4Bfe8JoOdQe8$-gce&-@(RKn4L(MsVrB;)W9Qgh7Ijd-1oWk`qp>suAEyT zDDN1b6|e^);mXAU5zLH(Fl4L|R1HdRIC0qQe@@a>Yk|+yXf3t5*Q~|4y`(h;E$NH0 z42NS!Ps?jdwdI`rA6+vV#}^q#%)DO9e<(iW&O+9UiAG7Wc*0-lfK;7(mM{%Y*22&m1Vx1BM#svf3f zjLrvRG?dc+xi}4(9p^Kj!JUl~X?XrBw}HKAQkB-R71;I;{AOjP)X4q-#Y@rwR8;GX ztc`sAiYV*==t|)p64&P66X&XP+*-q3O~c~Tj*jHX^yClxZ5o4dQYNo=JU@I?EBbza z@TX5`1&T*BGvaBaCBjStt3}Xx?z<~h*Qlb@uSiH-swxH$PsaF?E>4}Fse9-LSQUeh z$uLQSNR@~(9&vHQpRo~5QrL0h2Ulp4QIM~m?>J8Z5OA{gDG$?M;+mZa-+0j>;rIdX zMCt&9y2TF6N6-M$L`UAf$MaS2n^|4yQ`_(_=7byiYtUxK&dI+ zqV`sX+~U8{)b9EubQ$%hA{_lZUhKLHI5et99IGi95f5MYrTN%ZnLUSUnZddRoSF;C zBLl4fdwdn!ZI6d!7ORwJ+%Dx)TDM2_Q34gUAm>hj!WygLe~E=;;7X{Uo>q$M1S9_L z-{&(oA$RbKk;ST>+F#es{n7$E(yjQA%B9Aww!5qe=)h#p{%zvZpWujkxEuAC4N~Db z7|tFcmulJyf&l_ZoBxp?PW^X?Ia%2bm(uqDb6*~MivA%|i`1kM;b2uggJ|(mju2+m z%BuF48nAaWiAsqk{g7SATafI>)%fCYV8LhK&dqaY+P6x*o7^K`=b%5+?BcFCB{9`4 z#Ot)&iWp9IsIITX<_Qr}6B=>k*Y_;tkLdBg%6Z%jx6E7v~x?IP2$OC@R>ZA=ew;ASjrFF^N6D(j22)6Ax z%feB+?OKtOG~5+)sqXl>5mb4KsEvS3+vaKh><@_>7A~Ucs#ug zqfeYqlO!jY<_)UM5}X+!<8p$iov4s8HiRNMR!$ycVpFZNx@SR-SXUHcZ*@m>Q5!CA zNgY}SsZ?%_$4qh>`(JpYnNvbdR9<(mwzNO^73<%9;{|z5Gi=DXL&6k2N1_A($YvtJ zjTo?c*Zd}HFI(_t?Gn0JLOB1bKr$|)W@6$Ma1v+TmX=^&Jw2)LvW*k6MQKL&%&R`n zRgpU}a%k~$;{c;3gN6{~?_QT#oc+CND{%p-Wd!GR1(V6T)|wtA8l1rP-ZHDk=}w#A zflD_?%}f7ya97Z_BVqnFra>@(b1%gb79&8uR~bsM^Bocu!fOb{vb5j z)iBlFYF3`8kfrVUhfO=o+WKE+bDCV$f2lo;TnZ@e?pe!1LVlEsd>IHK2_e;FlJNIQjW_luLrMs7(3k zB4OJ!!!Mm6L4#(RB2ZQVj`cLxp4|~-QlV})9fS+_(}*wZy`f$i$Z4As%K6TMPmB=R zzl;$H1aOZsSly>uOQGOg8W==7M?zgTh{*?Oyqw zNA@7J9XfXMHGU#IWOuL<)XmoL-gV3Azi5q6zs6+Giyt~x_v#QpB>OENuOGa7$Yz94 z)-P|3bv0(qumfoMMDnu@J8-r%sFKRKl>hIVNO^D?!?X2~*M-S&_7E zA{~h6n#NvprZQBWIW3P}Fb01|#Cf^ff5RXcgv4)LpYM9Z?D&T!%%!jw3gE1ztnWt? z6|X$#y9uj+7>X=_+k(DIrt{!n{M@G#sM)=xdO|RF#3vqq9fOCiycKu~pLuDqZ4@mL z$9c$a>v)=}F|XQ%H<2zLD4?O3{lVtmY$f6@*8)vX;==c-phrQMuzKq5i1Hg;Ca{X@ z7%0__XsCYWv6~jltw?^~SSd6|aq{m-cWXDc~*w=!%xw5BVc7IOGq&$>#=xk%1Ram;541*T{wZgk|R; z)_|S9LCnNHK#n0^d@|lqN9b_pRSl(0t1d?Wy2UU&sZ|8~ni((8$va&P=WX803)%*{ zOZ<%GpgHX5Uu?ES{AWKgFzY^QVw9v$UQ97%QRLL)X9gnh_dN3=rc%Fou8V5bxUe!9 z*ewa*+G{8K@vI;jC2}eVq_jYX>-wT%M-YebL@C$PBLD9+PI@$Jkf`X#p0h*HpF}zL z5$QPMSbP5?PCJlr;^_t-h zlZs}uq#bdpd@~kFZS-~N9I%`X6F$+OB46-+Ym{CRq@-89$b-MPV z*>u6Imz2-Vuoa)U@1*=x88~R8xo^3XmdzZb^L*C+@x)s&GJ4~d#}6SWQwJQZ%M22r z-|W2WEkllEkKR$FL-!pe?^|qx0yeYh5Fz7Hk_5$&PsG(JQ8NC5=`E#O&TYgM-?(-s1tPSNJ9Rm7Bn+0F`8h#DsLe^!aibv&C&`yR zLpF~!%qp1GDAqD zaUBIm3SoNfjtvj$N zKv1|Wnjuk-DTbDpJ=oFpTapWm67)j(r%Iev!%uN9i; zum_u#MT$uK?AWmkjVy&JDYDyx3H!*6w|ZiQ@nr;qe&h^&K6?;>HO@~m=2-i5_AEL zD{kg8=IxpGu*@!b&fAGU^=zi&D0fJBa-d^`_9yZX<%Q_5Mem(vwG4|#1JW|8Q>V(< z@LYHwYnh8$K}}1(AdDS=i+!#J1U2p*-c>-l#)SOEXxmmqm16(;YP(d4CGSkGNtVR<{J~;hhigYxlSI+zB3$PL z3w$OU7KDE|(D@kzksUY~3x`SMc*N|aB>5g|_~S#ts#Y;;Fs40GoI}*@gtGbHeL1R( z%o-pN!VCTL`;Y7QJ;WH5szCyLu_vv;c+UEO-oic4 z^3nQeRLcv48?lcNyQ>Wv0Q)6ip>SP#D4o>__Kb|dj}(B2x2Kcw*hYrww=lKw9ZHRr z``Zs(i-32HfppP*SstK=8kOkL*G0)S?0a2Xa+Kb7pMU9W_86)TC4|zw>ApVZwrzQF z!)-a8tm_|(busVFF)dBFY4{ov?_Lav{c%s%AVDf*iNu;OcoW_S@7mD;ULYcRu)nl6 zPZrbAbXtH5m8MjS(l}XT{Q2gpzfa!t)$V#wVcRi@T`~AkB_{K0h`0*KkqyT>mQLy` zQ%X%hP>-6&>TCa*nnTI;chSjh(=%@;R|pSWuycs;N}qk|s&wdR^2fZ0WGfgNE&7K( zU6+q$h#PtUUxoWD?0jD?d~%p^N;LZ?e&?7=K*|4!e7J2E2<|#don;c%fSO2MbL#GD z_iNFe9lsh3%3WFLw;txnBFeM&L2act!35`NoXx5K%hZliB6QmCYi#+h#c$7#LseW! zyFBk+^d{ALWh{;_PxNN$%KA?5L0Fv5ly!XdHP;LGs&MG~{iKEAC_9%$HVeMii^S6g z-7f$oqvY=eERL&6VF4k+?L3{O)MvWq?lipM_E`0UH3;#4|HK|H<%1aRmxzvLc7P*r z0f&P)gV99PYohs9Ul8u~tL>$RJtvDhNgpXtmFA4mowHaBqB{iMdSjG0$M}jscG; zJzzEro?%i#ywHFWdh#_p#E&`h_eou0AZrrvUA)aLZ2h!&8}f5GI^hZ3&nP{C)*Q2N*_ zgr2p)cyLwy&I@>UjP;XmbD`E9YE6Lus}(sA{A*-#lkJcwz4_5EgFRFi0c+dkahD5uQ>+Gbzf0s?6!XjaD9~fj! zjS?&CvkYjqaZ1r2${$6f*4FIk<`=o$>+)^(oE&D#P)WL8bdv!feru^X z=)5~xb2vI^N(|+xo@F>Ruf1IxJgCS+*;Z;L-2eSKgTUCJZQ8w-{SSWr2Nl#M{8Wb! zzvZm=p74U}QzCVX(`l{k#5Dlll{QiO_)+uV z*}sT6vPtX8_agKgvsSH<-BP|8HCz-b`gwG6BMY@Qa|Midh?dRpqIq6$y=tqbrA1W8 zH+ZaF&jUUj-P0)w@qrLMkHOAS@nN0d2`da99wS=^+}I&IH3J-9=@$>k@!!btZ+~<7 zKnW>xJC%jARCi8^9?iX)4Y*Nc?S>!yym{Z`xF~ zHHU-zQZoP&IadnOR=o`!e>8P-`G^>SY?*=JR)jC`M>tU{(;R|Tl1780Vet7BiTrU} z+QMfZ-*8wrssfiUzuMqE({N9~n4M=h%=_ z4cwHGKHWTE?FET|#;T~FT*6Do4PQ(jE7&m-7|U~H4)Njv^UeX(xe5vv@;9ewCz=WM zry$cxDM2s8*MfSvRMEhI`UeWJzkwc-UfPT)ae$~V-2N#zI0m1D)-^X8*d)<+?8fcs zqrg)oGbtM?8>DgFA+k?T05d{y>)lz9bJ+|4kiPKwVX_@JiuDMzC(GoV+HU!5Kg&8v zW*`%y2=)j#!W;lsce9W360ofWaCUZ+4j}O{1y$P*iPZ;{ix93Mtd1@7P5y{gJysW9 z;P?B8!R!bqe#6wvJ`={_`i(f0q zkHi*fU{Bg9qeK~z3n{gSZa0#0AlNt}b0v#0N;8q40mmJH@#XWEqc-yeOOs7Fl?;vj z^V5Zmm3)+XZ|tdsU>!b{&iGkH3L>QuLlHU2EdHt)Emy&;OU(*0MB1rQlwHPRXNVb> z!@HeK(!#I??T@+8`-De!ULwXPZ9QCFnMb6(cMD+%NJX%Jyr|JFr?(~rTKG0hE}{@5 z7==ZRcg*U4BF#FusUQ3{*95CAO~VKvy^u*YbpAmS277;VSp90$Dexu1VJ{?WGTpC- z&TR38&LB9f+AAT4?|$*{icjp?z#?L{0VK;rT@7c;o7c5aJalh0-Ulo7_Te zReozuL?Il}LAld)mX~VnbkV)!CzvWja*)zOe4HhKMH{bllnlQjAYic`54xUBs7)pGL+2Rvo{;Cagcs0AqU4JNgD3krxaH@hob`zqFLD>M$s9V$WCM%P|6N~rr} z>!&YXC}KY1zzW40fFEeVWWO#%(!jz_tNMa)?&C*E(x-SQ6lpt+A^qsTRLfAF2hX~*?DLonE;ZSvwt zhehU-_9RQM8C7zQ$4(rm($q7WbO_+L{`n%;a0` zp%943DnC1@o~mBP494D9Jl=G3uN-#ktq|HOcrQCqgd>@1Ae0uZ28{WS&zcQ3i!V*7 ztl4TYN{T!uI8n=Z2tuM|?V^br^w|Q^_jpys3mc3*4bQvYJNGk$6#Y_d&g$&*oKA{0 zxLf6h{^dltlCPI|-Sret?#mXdYc`l-M={N>>KKZu@Hy|)yAa!G^v6?$`MWXK3A=bx zM)HVq_Q@dJ36&62B>W>b6)d|>$lK1Gkl`I0o=2ldnH*m^AZqm4u(_bFc5(v@T>>iK z9I%32@l@5IZxfAH8~`zO&P)1z(-P-_lI6~51q1x{n?*&grmU#9Y@A93%6-J(fwb2kgIT5IYjZ4B>#Ai!}wtw$}z$F8uIgH z591P=nW;qsVngV1=(C~#sEo#kn{Gzb%I>QXpQv6=HL;G1i{Ye2O3Q=K@@;1NK zIAW@`3UcQzq;y82pnW@(2^drHx42@xR>0g{bw`j>Fw=XI`lH`MOz%t9zI$9z@sjqi zfqtE?$lTF};x?kRE1W8_M)cu$$ZQvPXaO|R-h{Ue#ko@Th?Qg5>gRhU2v`Pz)Inp{ z{rwN1+$F%vh@T)n_qqVAyHPQIE3b7K8PBS&lJ98DekY*v9EyT=y|qMz=~hVjhe1C* z=wu}X0Ev~2Hmdckpg)m{{6mc4YN!Ulm%&tGJm<{7uh&uHnzVVqoOZk!$H9hhW$8(r zZ6_sP{H=HrdM~oAsZjymo%MsR)29H7@`tl3TJ8PSVTM zL;($|XSNgZ+SVZUcJq4w_^W_qj6r-wz(^H6SdJneb)p|p?K0p$S&<-~qvxqoN`W<3 zHWx;Ijvc9{Re@{t(5CM!ksx!=RK#k1nrT<&+@2E?LU3?_cioc96TdOh8^4XA+Pj<` zI;1jgh1-cOK|VmJ=#3oLYW%)E-I@(hvwMPTxlYH7ZTdVvv^E*y-b-O`G)OCRnUZPn zu!m*#?qg?1_U91?TMKv8R?A0%@lIHON4UjY>R`Q$T|%6XC(hDmq$_?%`H_tfOx-v} zc?2<0&LYpl-@9Wu5Fxv&s^2{!H4T#2Q_v=4yymz53L8*wPk7A(4p)d@^IvKX% z!O3Y{w0)=h8vYxZ0T6XAYW;_!0uq(5N)3f8`R}O9j^eh3K|4Rqyisx!>o+{vuA>hu z>Er(5q?E~kU2iU(9>e;zBN*82_*C@IOC0vA^O}n5A&XezE;Y``$G@Qq78*KI6&Gaa@$U!3XR$YNrw+yMOF`wr&xcthUa z$-?2oTTyLHc_F^Hzub!1P_y%OI4~pi?3W=p^2dRm<0-vV9?w~l9Rx!Cc}u?%0UKL7 zOWN*rgqJV}-Y_W(kw#z|y3wzaaFizrf$b72(kK94Kqz-$W#;&7ahap$QUb1C&@{ag zce(f{q@qN$ELXM%LIc4BtpM01K5*~U>FzELZ6s5BEu z$Mk@#uk`biA_7%EzDt&Aoz{uQ;ipHtVQ<#s?q|55!Yzk1@1G#@ubx90s zc34_g;jZtE9?*t~>Ury0LpsrYZNgXyec6z2HFKHnZEsl2Yo_2meJTE%lEhQ|IuSoU zD-av5T?WL%{a(10Bx%F~8V5vcWKS2|x`BZB7O)OhEQnpMg$>=(i;_OdXA59~8ypOu ze3g*n_3R%@+>IUCL0HNJR0)m+6d_0F4oVi!7Xd|}?Nu#Yn4fK~12#%YlscDccNWZc zF4?7*_Jsn~wLH3LCb~S#ibE;=T#h77PCQ_<)Jko%0$=cL@zr`$bCdY`mK>_B}p5y4b; zl$VV#g4{gorEBO@l~;3Ajow+{Ujjkz!PqE9TqI>!!y>cWx^DJ-`&YRMe~nbd=#VML zxS9ww@oqO{eJ;I&M8x-(Zp~Gnb4Ngx4g$GrRUyB}JkkR&8p;=-tck;m4Q@=?afY~A z7|Px_I(~TFb1&h2%*hYD!4XAg3N|2AZT6zdhT<4f~L473_gDtQbU&W+%pA8w~17B6humQlZ!P~OZ zn;k=`sj1@CDNXC1x?McoYpiw#ipP=Je-T@h5r|GWhDnq%`GL%YKNtO{S2&X02Ae)k zlRN^><-W7+W`8+;MWDNUJ=v3)Mw>Kb-Hkutd=qk3C3+0X6>mYJ(r7# za*HY9U7??LS2Tvqa`0R9jt>~(fY@0y!LaV0lb*NnVX|9BifWgul>itcdSuJqqmH1D zmN+wz=AKKBJ(Mn}YA>KttSD;$I=g|3aUx~Cae9x!ySQazI)bo--oA~s19eK0M0?4g zPRAUCxT%d$l%-Cmnb~X^+E7kb5jFfAxg#X}hIKAm5ga*8DNwG)h5(HM>FPr;c*+ZKRht7F?q$F^qH}$0spiVNL&= z|FY(z+2Eln!MSIub)fr_O*+>u7ztjt0xyi8wDdz|5lt$ zQNyD8_hr#EHT9RdH95{?>vkg8*S!B8nQF7Eb~z=nh7FVsd#2Ks%iT+&cS?@E5P^%= zZzO!IV3?1i@lEtd#W%B0J)@z-uWglkOliiZ4dDIe(QtUQdy(_mfJ%tSH8(R+e6e5Y z)J$(73g$zA-8e63427OoHNMSxb)*_!-r@2ag>-{L^rLev^ka+dKsc2Gwfq>H@u{Qj z;pU{kzp^l){vjra>Q*eY3~FnZBIuUGnCKZ%q8Gq`8_q;al*UOd_-3**`IVss+*Jdp zT-~tgY(tq@Y_wgZpPNCjrg00q=e{IUW#(0DZ);2I+ZCLM);Lld7o%}N7sCc zwoY00Vc#Rz;1rU&-74~Fg3?6|4uuH-&m%H{am@GH+d$sUM&3!BjJ#mKBX1)eDxSVv zMzat=IN$OaR!L{dgP7gsX+TjhA_H6mq<9)h5p;ehGJ&o>SaaA(OG6HD2-C%*d9_i3Tp|-~gs8zs~`>6!j1KQX2td|D^_i zlRuZG0oG484@cV^?-Jm46GDL~e9Z`oMZ;GTNuR-~x8T62#Mhti6-r@AO^}htS<=2x zU>J)xi9OPBiqMewSL9Yz(-0?T`D)H=^^0_w#YwDXEKsJVs4k8?HmL3|Yg}ce?{Q>H z`C1tN86$S|;v3Rbsp$a28%b#)PVzNib2`+NdPDZt@-J1?Umdo^w^@vjLqYQ&lOIU0 z@sN^!)q!nzXO2ygG*2Kc%t^Kk41WYT?)-9`;d0}ojTR01V2w!9K`pl|s$Ob`F1hT; zls%v0bOUzK{`f2sz$xSZ9YY>!p<%8n=>D?2;198tb<}U70~S7yW*-i{RIqgg^t)R7 z7A*4y>g6S%0Y}>BVKA*&2`AU;grq+7qD1Lr7B7R^`@ujF-ThEbbgxHh>MgGMXOXsGfNph%jJ($o<(x z)xp0ec_RC&-W{wj?H|d&o!!R3_3tHK!OtKezs(IQ^h(~jwnv3QLKi~Ecf?4H0g_-| z4;S1VPx+a`3WG){e%PUN5g(N4w^MO8E;!WVTa%blZxKA8IE?t8xe;A+YQFWlehf3W zukWRYGvP2d9A@XHAf|Bu{;noe16lgfzv>ADHYkwV+~t;~9DLBC9oD+ZUJ>!9_h7=K zL}6WNd{T8`$~0RYnN2z(M``DC9eAmnnEYiaS;uR$!+CaTm#s1-?=n#5)XOsRzb&u% z$I7VNy947CU_!FW!*u#I0<6=^QXP|k@Ad5DY8=~pux9vW@dOkB5IEH?3>0&v&XJ~K5+ITCMf{A@*& zxUNRZo0T!*3X1{&l9zdh<6_+}wr17<_nc<-n>fAPwg7+P66%zN$4X$mx3(iLmQcbbD;EMM$ zIm&i6O#x4>(f3tTx1b+ckcQB9MRTMxt%G1D(nIa}37Jv=lEyMOnw_~CGV6uUWb?EB z2D}rhvg`+{B{;S$s@=}gkCDFaPA8Zd;OJ*&{ro-ldv8<(G~kNJ7J@YGa%29)7Sr84 zdX*H`61`ZMhn>vri(fTXr?wor+Kwk*PeT5XPp+kB?=-Ee`H z?{?SMU`bAFa1doEmcZpX3n>BTlb17a{Q(QXEpXGzeL)~85c)&BRdrUVd84i}GF?tK z8uNx_bphcja)51Pjvg|}YWvkOkFsqvkORG&`L!K@lxt-gx^PGVr2m=FH$FZiURi2; z{`Z$~A^f@6I?#(p1`^&D_PI7tx_!yLOmH^b6aJiJDnyh~@U%VaiE6G%@G<+6GW;6x z@W%|VCO1fb0B1v&wFfIGNym;E0ZIH~40vH_NKJnltG3z{Y*S&6UEfvstvKpfNy@?qjw;myMlOn31%n^w@{g zp+b^@jG*?Np>QVoy*nG+wI$L<3|+rt;rR>@yXXiBU5am903wC(z7fVK&_b4eY0ogyH?;O4V4eU2?_7COvFcA`jt!@(?c5F^ZS$cD_QbW!7yqW zoQSm_B!G|KowYSgjtwvZ*Tb z$M5$OrMslOkvGMVm5Y9Nxt0B>{hrV5MNeH8mbkHeSk{p?PV$O_Q#=y+;2JDk;uRAL zI|tpY;-7ufK1P`L1THWBubi}*6bR=PE#9F5+Z8>w`IA61X|iyns3X}aRcTC@vko|E z^B)%IvJQ5Z3r&yW@y8 z!PE=Hg|hk^m=-RFd)f!|+ZGxD;0-+4^JlcRr*R+i7!{z!HYt@`#50G_BB2gm02Njr z1s(%JW}5)LUPV7UPup11(vSxHGqgb$mfG~$%H>{|_6!#LVu9F0{!}73 zVD_WC-#|5Xxojl+43+>q(qzyTCAZ}J!5Q^*)}gQO#{GRre*gW&_ZZE|KPnl3y5BtO z!QtwFk!37xU<>OzzADO~9W#NPu6Hy~eS2|ND49Nv)apbt z351)=LuNP%mYryUq2NWz#*|TpzqJ@;#uQGpk!_y#Sy`5RdtwQ2_@U>V!WLnP+rVzg zWFk@u-mI_t>J4!H*cszW`;F@vi{@LnAKkHBoEkFvbl=C}#NX`o=O$E3eHj@$<4%uL zY28_PC|bmS;uli=0;Kw`4o-a++z0-Ip;cP}1Rru?vz%VG*XvV?QU!PfD!a`M>LVVj zQy^$5N+t{BahN?oaKph$g=y|1QLJBb%E;jES6hB&Ba$RTP|1np%3$l;e113$X2;6! z>B?(^eHEaL@J*8TAe3!C^(B8oH1FXlEU-T-$9@ygIRhHz$#^g1LYs(hMc{BlK9( z)I6K;xTpH)78Bd3VpV!X*;kTBT6A5UGhUkWGk}eDzDs0Q*BwRl_x6UDJuOgSm9ps z`P|6jp0qz+m3~z$1VwUn346{0Tq+yO-q+TzkJ6nn;>2}$bu;t8rtJQ3CvNst41b&a z=bW*i`2Cj;Sw6XZE%aEvuuYfFy%vaqn;0Fe?5g_!n7NI$d#X7W$z`lhEDo51MJwHV zO619dKWo4{y7{jk5b??fK?vq3cQte8`!3Omnq0z{`#jwy?1EUMhAM2l{X(V1>9x+T zgD^D)y1MC2uFn`yL7N57#3={?yt3Hj?Z3)&+WOV z#acCh97L%VVJ(y104l3zg{ zmiVH_a$j0ArPH8)5A%?4SYkpe#dsWZva(FNQ>Dkf`0|64BDu#C!Au3h#U#`(r}|Wz zQCv;Lkr3hR^x7%pj^A>#p|=OsLOFPVQp<0DTz>QzuY~<8mgF&|lhs)YIr5 z9*PeuY9C$r;}=i+w%_b3Do11=6?KMCVU;|J;rOKO+k^-RwrwO29-{|_i-vS1QzfFa zW+xP!fF;Ex=2AB*G|BX6hkY#^&|h5AJ+l_hz?SBN&(S*vZA%)%D|y}g@7Kcus2LI= zuPB0AKLJKci+ZO_^Emo=-yS8G-BU0M;g}(B!BlABX;7J}7(Pk`8_lt|pptn!37ee{> zn!>TXV@wN)pX|mW?8x#A*|_qkCt|lRlN2OxEs_;ZVfm4(vyIov&AR1)+nVXCM0);| zEZw==y4MmQY_2(bMM!;L%J~(dqV_`)R!BbC-N!7Q0HuhuzE7F7qW)x*?6DFt;Zf&a zWVxjem1;-zFoXoR=^n(!T(-SM0`HEXG5B#ZQ>Dlh=>mlg7#q%_Oi$0Bi-ra3(Kg1rnF8>SCJzfuoBRWMt3 z5@1hJKzOM)Uzlf@TJP(;Mq?Iw6%~LS4ymw`BG$+Z>#ARK*u$DR0IvMK(*1P2baud3 zT}uCXG^X zSLsO}#y>-N`{;eq9cRAbMnv*?>~xh*^np?;UX4n#%IfkfvQqF>_l%H$99cT9yl6wu zO&x_aXv-qTc1zH-V~LQ9h9=#vV2=gpK^;9a?$(FNErSn`krn^xAh&3Gb%2rIxaXo-LBh%j(i)A zB9dPE%ycL&H%*jbdnnJj5I;$#EZO*55$PLKDpdjayX%l+PFa@orWuMpQMDc4r?W^j z274jm-~P$v5l)2jmyBExTarz)jNHkkjay55kk-~_$1?LJiI~D-3I~)0I@B?r&OxW! z4YdTHlLb`7(MOYCOic=FZ;Oj|_WLv}q|Y;h*hrgNaF-u{o zg~JH|7dGSF;kgU&fguWBi8x;l-ZzmFXuv%+BD$ zhY<3*?kKX#D^|{*TJW=D%SBxBA76=@dD|?z*T0EvJ~hXY%PFlt`vcSvOf`LRMTL!? zQ@U^P7>RGuel?4w%?10@vS58xb_u|yP*$9a>aWw4)##KBl;2&4P6GAbf)5o9UgdQF z$2Q4udah;Ao190@$K6BhGiSieYPAgfoVFZg$;Bje{@N$!dQr>Am-yLIqEfRZ*25iz zPmohDaPK}5ffE@G@URwFLCo|u1#1hnl<;xD9pb`oEqvl&QTJz~2m|I%(}T|B#@GI$ zoH+OsgMPw5vfMu5{Xfvd=zNp8dc9Bpub`8@lhVuqAPg3HA3TbOZfJ}liOH! zr!#75;!BgpIACmExX{_?-M)W%)$=*w!mLx;5aO;VQjH27T2^{Y_Xe6ta$5&(t4utE~n#4S7A~ek3NmCs~{|uzut@hw~uq8 zwf?%sz)`uhHMP#bh3}lZhN4jn-`{ZVC^VM;qMa-=NEO-_O{k-SuDKQi)?D&?l$@dl z@m*=IVtwr!ZLLcCE^tO|K~i|?oqJsxr)-mQ+{^<5oB@(=kG zz;ca%=Ow>=+d*A zY?-sSh^Ls5$Gt(5fzBWrF_Ip3uWP%OEBdA!5nm`~>t#}QRbd?)m|)W&vJ!ikVN;&}U*=LQ>dg2`O=L*LFuSelJ?nmvbug%kr|hBX-4{ea z4S{IM-7)d(3o8+M- zh#sDA-==TA;06~@i2sshf$JndS*rxsNSO0j2!eU_s6Xc7Bv4@gsx*Ku^BAB6H06KF zOKQ0MwRKm(@(=_Cbm~Psbm!36UN5rNz!)PXJmwV*)3BL4Zk(!$UN?fCgX z0zea3Ac00(ggJzN9_;@h?!q~S2rE)v+5@42*SUie&#tlykN_)yK^;SUX9F$Ug?%Q* zHPRq^gT@TknY>G&VuL${a1{ctmc3J30gl4mfC>PkVuJMyK$c4_JfVL`Ux*0n4wizsmo!5!m}7ieeZB1_k?N z3fal|1L_>s_U%b{y~FzelnI6uCDPXgWbkLpR!|o}ij9NZ_XSYa+})wL?-kq!ME3ol zd;S3SzjX_Ln1+6KJiob{GjQNaV1tcuc58V-`{=LX-&DNlRb zLG~2VR(_5@Up7kOdK+LH{2;P_w9pF#! zkLxmUfo^^dkTVf55s@L#^9MmLAe;6_tPl_ZMAYB=F$M)M;$L6=B0p%4d3bytq53() z)~EIz`;bfIFYqsxzp*nCPnd2n8eAmef@P~Eo*Uu$FTpt#lRE8*HnNsZFBK>I4W0j> z6vC!nOb<>CSp-<}initW(eavW++30YJ+O)hx-?;UZ{W2UC(S*oO5N2(Ky8{JkpyhA zz`tzcE#(Y)lhZw#c;?Ua%~HQa_*>@bEham>Jodw~y-Z@LTvALI`Q`m%H_m6=X&fmh z8rax4jhE%*+txd|xqDcy4q9oq4rHSV_v3))-@7;32qK>w9C<5%z6N?7QXM)E1ovgr zUl*c(1NCS4t9-xuyy_f+yZde%&I0^Hlz1xkGlh$1AGTshAWb>h`e;T{)o;jrKo%!f z8S>(Sx;v$-nMO^7qHcN~_}DymcI}?`+l-iEhQwv#v>(4xN=|?owoomeXY;khY$G-t zGN{gC=E4&)`%75?5EZ9UNzg9(;v)(R+9~r+)hQ9U!PM%D>!vJ%W-qwWqks&tnpn9~ zNB(?DPTI7feNUD3VXlkul*$Cd@c8V!&ymqHnfy(me^WHbnc4|FQkG8$xN>YNX38+% z>UGvg2VbriaQVs*{$!JiReZK;YJh#-M;sR!-(!Qu=ZKt41#Rs95qD7Gkt>h#{Zd0d$yK1p8(@WyM2sO;j>orX&>9q( zKeMKT8@suXT|*q#5v!rIY{2Q$a?ul5w{AheR3 zj(AXY8>3oX&WhXYu-C&l4U6ONUeVN=#DemU&nXX8#@KVauKzdxcK(hq-l&an!gonI zZ-tMrms>*7l*RLDk(M?CR4Hw3Up0q`A#O0AIiC-!4 z8z;qT;Z}O{Hd_ivv;I=GWr<9lU&}sPZ&Wpa#tiA#BNC1OLKiM|Z5VeHq5FiWge={u zF~d5t9VF4&%yj}H{%==&Y~PyaZFZ%P(;vqz82Z>olb%PrXuu+Fx$0hb=7sYXHyVuH zlhKU+xf5SBHflM#x^4KX&#q8vX9p4{AgPwdILT!s)Qj~b_s-MaeB0))5A1@=zyoKM z)`Wlo~?9tHC^tRaU{)9!lPr=t-sYJx;CM*KFLvtESfu+25d&fc4d=HV; zwt8cvs^}#xF`y!Re(h^Z@FIxv<~20}8%aKW$$&jb!*}&0J~VC*Gvl3;lpCW||JH7) zGkBZhyHkBc7~PUhYf5&UNxfi?ku529-I#mF_UZ$5Xjt5REtC_~wuA=942{;L`TUPXocgSl|oDudw)W0ca$!B2TDLxUakmIn#1#K-bC- zX3g;FxjOdwu+_d;Cdl15>3++0hCa;U=vOZA?&$IzxqgQ#AaQ&j=Um5SWW1Hsc!|7x zezhqz7u6Yz5+THYn!D#M(|i|xRHR+C2e)Gd5o;;gwzj^9mN&VxX;*2wW4MF74r!y) z=sOja06KN`b7dN3sCPFC|7ie06RdwX7Y}ZGc=RE{N_^vQdqHWOxHDWL+`k9B8AjiA z=~Bnei@zHEADgYD#p1!~ujjDH{vd1P*bmN}MaeN#XK2;W0DF`An+}Vy=MaLCIJXU4 zcNQ0N@3H03^!%m|;zOWH|3JtpPm>KByBO=G1xWj&otM@k$D#>8oIFHla6+3Qn0Nf8 zmxc;w1DU=8=}03P*0}R|6}y6H_jnavI(!(qXO_?(j)ogINi*?zF|kuZE-`XoBlb;* zC;x@A{1o}GWuoNu67nl5vZ+-+o_;q1r?^6DguR6rU-gJ32)@S8j(KtdmK=%&WPp#h z41oFT))-O2axk(w-pDjNj20I+NX@pMW!1KVFD`|#m&?e=Kc^&$zH`hr^Qikr9aw1b#kz(p`wPus~qDb zRNf^_b&hJxsg$8>C75LtY2@N;yW`y^1#me#^xz~}dTHb&dLXSDDQ=Nq)^WKZ%*5EN zwj*w=iDLei`+gjpWXOb=WQITcGWTlIT9bEs?ePoEp+=FCu%i7`JEENB`VRZl9f~4~ z`A?#7+88S%D7#F@I+cw+Yu$H+n}I2&bd)v&>GTFqqYnQR&E2C#G;a7k4wT&jKmGzR;3ZVt~&GQuf^uFJcppIoTa*Y z=fZBj295_`9uk}$P)t=s?wRj`noLFRfw#zLoh~-{N}wNk0x072O$jbx_w9`PNKzK? z9ij8RSvE^y5Iv^Q!5Bo--E}m}IKWY%eBhVudOJf`$>X9rnDy4g_g^CtmW?E5_Ra%Y z?*@4Kl-;l5z0dffnb7Kp4rx24bDK3zq_et19Kr1hyP;FuE;C}kQdb&F4tz8nSj3ib zU!{0<)OmvW9ogqo+c7QH?LP!xL%)$1Zr{~3?VtLS`|qZZJ)eD~ahE-lKmloR5+ej% z9V&0EM0zccV0s2O`p~PiA8C^e_fKsj{Rs$L-q~}+vZP(r^_C1u7F~PMg*a%fyL)*s&X?Ubn0&Z3r1!XJ%oJ*c>aAWqdit2 zXve%{w4)QkN;)094BS6edKUA?c%k!Vxiea|n#)Ox`8)~s(`<;xqtZ9D+#{ir6kdezv5ipV; z+YPKBRA;9U(L+cFPn>EYI*m~+;J>}J&>{&G^XPAMdRw#2Bz$UwCS8>ntsYHk>TPmy zbf%e6q1wovCg&ST@|AH%$|@MC<3ZDG% zQ{rF}F51lpp4dyb*$146&x%QcKY77y9mp?Fz8G`k6 zR(~@uJ&KYTGm=Capd~98{*z104*LJVp1S8=OHy_Jsb3j%r)^KsqwR3FdGnHQ#sT|v zNwRaUOZ%_YG=b)(VLwqty-u&!@6|?}C<0mGb+%N38ucgDI|V@5u9>7l=2$Ul@jFr5 zShZfD`qi1 z4KDIDI*tlO6TblizhhSa{Y7-+jvkWFwhr3JT}#5*edGI}>JGBsQB^ivQio?EnyhhI zqLaTDllxA|KNFN%kMAAn%~DA_4EDLhKzxi5TRq4JWq9#fP1A#AW?Yue-iz)}^34+Yzy zr}=DjoJ0z=H}NV;NlGHpGFy=ovkx=Fdh^-^x(I>*J-V0qh_MOk5G(#crxI8P%XGz+bI`dcs(TZ5+wau8%i4f5w0xrFJ3h#&o++>8+~Y8VBag5H z{fb_Qa>f07y_e@Gj#1^#qmRo3-+YKN-LFZYZ@+I2zJ9H$LnO@wy9 zX!&>KD>rE6T8^mh#nsz2^Sql@F9H>OD70D_u&V08Sw=D@hR6EMsn00(i0mm6k8Zxm zmSWjhG@_F_qMU{UpdvQbirMRKvlkYHF*9sCOYbXh<}?PV1G6MyzS9nW^DPdQ9)mQJ z=2;GctEBB`MoqEus`=SsH|&IrwmH zaNw3ydb;{dpWQ2i>i2H1HSmhKcW5wPx~B-`-l(EBWBq3wcmU_gyM?Uyhjil zlC`KM#5t+XQdG=rk|bQJVjGI}+yEiJ@>NJCN|fvHYq?%C6r7%ZHc9MjrxF%m865=z zHl#6V8cU%+)4Lpw-WJOzhB5Mi<-DWm6d&TSmqW#R4d95pj@4E9Svnv4rxM8SbQye+ zPl39oJhi~=hHQn0*A?$WaLvDPXk@L>4DLz?zlfI|V(UE{tnaZg{q#gI>K_5(qlc3jj66OU zt%_<`ER)p5NgCflHZCs%Oyck5+B%>q9_#@qO_iB;|!g!CmB6V_Jd z%3H+z>vHPGJj2mtx!i`VdLW0fH)A{>_mPR>C|OBv%S+#O4yO4W&Dbc#~<4Mb+Jkhq=zO$V(FnSQ~~drdTkp{5e0 z-sBGk(!U&YpCV%8L<7h5(DLuq$iFZ?LhAUu(mHrp#o`tVS=&{)ytCg`u_Do+?1xYI}Iov z!x(v51eL_*(p>>gpDN_L@VRK_EI>T9Dq^jkR$Ygtwrbt(6~qD>@ci~`CS$ydci3PR z@u6zP^&V7`$@VgTTRoPb3^2;K?PYO%8Q)0|($PI3+3EJk|ovVU#XsyLGROmKsG3{x*G% zWFF0Jw`O?NXsjhp()ZLkl`QTM2d6V2z@J3Aym(q+X*zR2%;{S{#5$n7@h_cgigiCO zqTaczc{pnDpWgbRj5m~*RpLu>d#ZUD%}-dLam(#w{Nu7+SE{wF2>m#Sob?u)*J^!z z?kAh`DYyXQaLFp?bJ0(9Yj!-AIDMh(iKq}Q^f1}&AjnhfwW0hI2)Y#m=@ zGt#r{q{3@mW$90w+$lGbim-UCi%GcjDhiAHMNK;7r{d4Er+edWgK#N#m;Ma`(*jsI>0c0_&~%qn zg>iT)U%k@NwbDP3JFH45LaBvR=Q=USNXPAlUTx?>^*Sn6GJk+L1V%9Uylb|p`NB|z z+!fob`eWAjz9ybn%Ar1H*fHZ|3-k5Bo2XtC&_$+y%H%h zck$#&lf43dFHLe%{y>V1z%Fz`>@=q=}FPjl++Tk-^Pr?D`Rt0 z+vQ=)j?MO)$6TbFe;jW!`-|lM(+-HW@DWD|U;a&?yIO1-m2M?Iil_7XjbhQ>fV7tK zBO*knqkLdIEAuLaXOx;zl72Rox7#d}`%pxtWb{vXBKoX9j(Iux(>Fe)Q@WY6QVr63 z8SF*>d~Us+WV2s&XO8WpA~CyInWnKQi}#qL!qoZ$g~@31w#RgA>u|GSdzN7@PZKdR3KM`mviy^+2@aPX>D->T7{%BPhFFBrnnL5hc z5i3cZfYs)0*>)r4asr-IOJ{an(|563>SG zV~t31pT8XpV1N6#6q6?I69ceL)5=DAGELpplKto1x%qoWpg!Auj2gE>1W87p0<|b<~MQDwK%@_x2QIAY=^VIV!#W@Pp99 zYPQ8HdJA-;G}O*M0W-lXa}O>)A9t~KhEss(8?NXc_axGiPV#wA$*m}jm!{OxO56sT zHiAAE2ePLWPA19^lqld***v8bx9=UTo$m-guH<5Km|-J0^;fb*inxjd9u{lsuY0yl zmpu?solU%JQT$%mobzRPKB1Hn^$ZKl!=f}lizGhjrNZ%>RtYDBHB4-Jz9k>$AlYQ7 zI60nnjSe&y<_ObEfzpzwLBXLYfx)RiOe)DiulWwjr$#d@J&SV{6zB3%)5 z@Q_R7af*WxDilPiiS2FcC$^!7ujf^oP-mpeY&0gD9mwh z7z&X0rn~txEQ<%bEv~`|QFZg)jgn#?gOEZoL!ZDx-Jtqmf!qNaR}V3T^vEoY#HEw# z+?rOz+rI=*lXU<|o{Id6bX^ifZFFRA)9217AK1fNH`Upfw-1(hn!An#EtS5#A#sD? zvB~LTko1k+7O_p2hv`s_Ll@!NjOH>qc{H@|QEHad*da|Uv`1_U#@og+GZ*7%?W;0E z0)7%hd-|g~SXA6GjsPVph-{!jYpW z)E+eBF=IiP729&v&6R)OQzmsyULS$juQZ&HCl7t5>i6hDsVn0Y{?1S?15|She!}L8 z9*oCCIpu)p(nG}$Ax&R%dgCj-3ItayQ3FX-Jgq0F#9qaANqW~sSfz?F&}6<`GM}tT z8Zr-j!-O18Ew+Hn(*-g*R?;_FqKBZ4Wu_XGj7>F{@t`TiOMDDf)k3Lv+2>8H(1)JI zLCUFvrZO}yau8mlBiw7W*)k;`+r*9==3KODV@D|qkEe_<5ZTI2kH zc|br|*;}XmfgwOaSUFmkgMh*R9XMOJLV+1ULD(2tks^TSL4ny4>v2(9pQC|aKtR}- zT5sZjq5s`7x4tI=!+?UYGo(VK0tbOJvNEtRrpBZKWB%{4G8MQ2o0S2EUd+#6oP435Z;U*l27gu} zvIbhXq>|w~IAAJxWuOC#O+i+OWJr+6Z=fQ~70d=bW*|l22NqXL9?;~5H37&H=)nHC zuq;7kE5x`-4J~{DQ1rwM&2Ud8;QCg$ifUj3s`O?Axv{h-Aq0@dev4y6Xc1DIIAA1r zXKZvW_yq%QAg&7lZ3)v!eTQou8pNPG9atI6q&YFp=QsC3X%s>7jr0iOYC8xxMHB)0 z68OgfA{^rD2f+*H!HpREoBvJf0(GvMvzdflpZvXNds_4ZXW1V-`}<0x$F9%mX=WFV zy5qnuOoMm02PpFJr403du7MMTHxMrzZ&W57d155I(kv7pf*@5v4$<)LKuAddDwvm! ztO>{L_83JeoggD;mdIy#tT#+Apyp5=3Fn*~Tnl|8t#4;);?7d9-ns34H}3A`?Iq&3 zEALpqtuL~`Eq%Q|+&dOFm(d?q$Q8n8d=wNl1m0o8k}xJ``SL|Q#AvkG%17WR!bl?6 zf?TC?Ce}xQ6b~8sn3-v7A(AQh*;*-zt)QjOUnr@o4*tR>Ia@*S;cu{?6KvIf6Rg5c z7rvG=aocy+F9eN@`r}dsP}Qm+$L-Fl zCLB&>-nNI;N)kACy|h{y0?F+buZo3|zl5f`Ln&OEd7-gh)4C z%^q3+h|ML5;L7|+zdaN@D0>l~#5r67Ic8t$Jd%TOq1r^*+KA%$-F#wuS}o-@k@$#_ z_V_yhBYgAjsd;8ix%XM8b+OJWzP4@-YyF7lU&#UjJ>FA=M7r7`r~FtvjtD&uEInwg zp&sOY)XXf34uoVZZUH>mdQo}CEM_wFSOEJy`P-IPf^|RP<>zb88SIq|B`(rKjZp z>IA~%y5(sU?4{NTe@e((|Dqp-m$YTTqTVmBVz#lVDN`em*OTyA3Wf}EWz0_vRmytN zCM+oPqA?ZHJ~Q6y5>7i_gTfIQ4_a5Ku|?jps5(~2fCcQ+yf!6O{G}5u(8F%OTX)jb z6K!Czr|g((09en>j|gv7Qs9+YIV6 z)5-E?A}n3K-ZtMKV?gS*WC^@Hr@SxPmyeoO61)dRDE<5L0 zfaqC`d+gXBSszG}g=j}pl2#tpW%h#`Od5Rmt*@msH&!oNy!);pj5jEF$?H>%_?jKr zJ>qp4=OkRDYNT$)sI*Q4F72EFn6AibjT8Nm%dl|SrHJ=$9%`HFN3_|svEuHSoZjw_ zjz35CANG1aBidB_Sy6Vka_OWwqwMLrSq1KQ6|mLVH{{cEuv6PUGW0Ci%Fp62^bh;T zEk+)Bq80`#W*%Ou(d5G(_Fl~6mbXn4H+)8;__s4pa9Nc3yKXFnD6h-_Klxh8#Ltcn zT06V>g{Z?*M+!qO+B|9VtCzA;86VFUcef@;l%1}1lY#^W#_L0_>jN5C+gV$bYW3eF z;P5Tcn`j-33**sd-{Y}w+TR#IW1~k~TYvQLGJkE^zmew7aEDIV!twgOoL|1$vMlo2 zl$K4Q-kCo97?xn*O!>?J#C_ljOS%r3^;|FKH&$Km_fDVs%~xF;!ui2Oru5OjF$Plv ztp>#!>C6l7c05H5*PD#v?msV#SoT(i`8nxJ->B2H114`CuzpY7P(;$rx#5I$ad3Y< zeuE)!el;*!f^I}}(wz3%PFL}OynJFWC0*k9Fl9_l*pCl%8g--r9y*7MsIMvb$94<4 zh>zZAd-ogXR2lJQxk^54W%yqopO?n(>_>;Uj*R@2w((N;p6I?dOojWjXWWu&VhbE3 zxS2Zqpsw!88taIdL`LCT4nldqvu++hzXJ*GQ$Nv=zgPh%iC=j0U%|P=6nunNRP-Z9 zMOnm8&VJEpl7`LzT{^Q*2rB1~gKxIn`@o+micdN-1-SBPL2v?+(c`ZDr7PMQ&!_4` z*l)z2{vX?qbsJTVnV9Jq#GlKzchX)>o_*^x9DV7n`{oBceVn=H<~kgoE7`wGj5Y)= zPjeZK>NVd(y?tA$pH7VFhfDJ}vU^jWIZiLvRxG`?%8Z@>|L7l^VaOwnpNU?&3F_XC ztRk@l!iwWzcfQ=&3g7vjyBiVQANJg2yyup6cm%nfE}xGx;ODWWOiYobxR~>@Q)UUY z`e8!emWt4Gb@;|jNZ&}|Ey+|zyzlY+7e*fpydZ*Aay^;RBUQ%k{`=u4)`*FuZ(wga z5@(c>$N4>gOi0TNK>>^_?Of7+K6%G6eY`NKNJDt`kTP5pCfP31$qK5l2bn~F$gLit ze9~6*(JsnE0Kl++Si-hTD1HUL-CIOi>Rv4=k1&L*Bb}ij<}mV!5|}9RFEyVMMVbd+ z#>pLjwRLHqoI<^a0I#4sW2U+Y!8QiO=Tn)d0HqIrx~5`-vn!W$CzYTC+yf*8hplCF z_7TyBm&FP`+NyB;5hg}6=%6KRfm`iqHjNLvcEh5qh1Fsa8@rb`W81JSY~*Q;2km^KVw!r(N%{;-9m>Tda6bIVRbDpaQ4 zJ?|o5v}GAz<%v>dT@t5k&$8?uqw9T$Z$79q1(C=_!kwn;-m=RIkKQ*bb77?oe6}A0 zfUf><+-UIL(nRam^vmdSO^|b&w_2>xDy%qGen!vG9yy{g+Qh5ON$n{Pq0hkD{n zAwCJUTTixu$v4f*4N-v9bYcC|)lprg+Y|?o&uUShi!PVjk~8(-s1r~ZZigW`ZkM{A zKXaW;*DbuW&8=$|*3J1O~Dl1EogIx`0#mEkb$ZkQPTSI=0Z<5lCt)xe=-Zg z)tlI5NRZl80*nS=XZp`#x%7iGt5Oxrjkxr~6`~Clj1>%lVnO-&B?@Mi3I+;6T>74Q zY55A~22hTRLbQ#gv$3U{xwD0#nX#pln~9Twg_*ITfwQrpp|gv#i-Dn?0%0XUTey5u z^U_N)6pRdwr}Ix?)U21iV6A^RQKIeR?|;^!OGBSu+t{}jxRdGS6K{oy9y~&d9zHX8 z%y#cI?Ao|m{{gqh8arn0_g{7P$K-!{QaLGn(mx~3$+dqqPfgey(vi+48_*mY(dhT0 zDepz2sYFwp_I`2hUkl_vZQ$wNz~CLw&M48sB(ji8RiaH$qSa8MopVOW7A^V0wK;EV z+=1<^(e&{k!x_Z@%-w?&h73cON+!{pgEg z;kPL}D*7Il-e~Z>(ZrT>J6u2W-M+Q;;X9;0Pp@9VD8plEZfS1DrK;-c@5TiHX5g(| diff --git a/latex_builds/paper02_paged_attention/main.tex b/latex_builds/paper02_paged_attention/main.tex index eb9d91a..daa2bbd 100644 --- a/latex_builds/paper02_paged_attention/main.tex +++ b/latex_builds/paper02_paged_attention/main.tex @@ -68,11 +68,35 @@ It must be explicitly noted that this concatenation modifies the underlying math \subsection{Preliminary Benchmark Estimates} To quantify the necessity of this kernel, we provide back-of-the-envelope estimates for a 13B parameter model operating at a 64k token context window: \begin{itemize} - \item \textbf{Naive Unfused Dual-Attention:} Requires materializing the full $N \times N$ attention matrix to HBM twice, transferring approximately 8GB of data per layer. At 40 layers, this incurs an estimated $O(\text{100+ ms})$ latency penalty per token, rendering the system unusable for interactive generation. + \item \textbf{Naive Unfused Dual-Attention:} Assuming a hidden dimension $d \approx 5120$ and standard FP16 precision (2 bytes per element), materializing the full $N \times N$ attention matrix ($64000 \times 64000$) requires $\approx 8$ GB of memory per layer. For a 40-layer model, this forces $\approx 320$ GB of intermediate HBM read/writes per token. On an NVIDIA A100 with $\approx 2$ TB/s of memory bandwidth, these transfers alone inject a mathematically unavoidable $O(\text{160 ms})$ latency penalty per token. This renders the system unusable for interactive generation, where target latencies are typically $<20$ ms per token. \item \textbf{PagedFieldprintAttention (Fused):} By maintaining intermediate softmax reductions in SRAM and relying on PagedAttention's block-level K/V caching, memory transfers are reduced by an order of magnitude, preserving the $O(N)$ memory complexity of FlashAttention and adding an estimated $<5\%$ overhead compared to standard inference. \end{itemize} \section{Conclusion} -Theoretical mathematics and alignment philosophy mean nothing if they cannot physically run on silicon. By diagnosing the catastrophic failures of synchronous hashing and unfused attention equations, we have engineered the required hardware optimizations. Asynchronous Merkle Validation, deterministic INT8 quantization, and the PagedFieldprintAttention fused kernel provide the physical blueprints for deploying Verifiable Dual-Path Architectures at massive scale. +Theoretical mathematics and alignment philosophy mean nothing if they cannot physically run on silicon. By diagnosing the catastrophic failures of synchronous hashing and unfused attention equations, we have specified the required hardware optimizations. Asynchronous Merkle Validation, deterministic INT8 quantization, and the PagedFieldprintAttention fused kernel provide the physical blueprints for deploying Verifiable Dual-Path Architectures at massive scale. + +\begin{thebibliography}{9} + +\bibitem{memorizing} +Wu, Y., Rabe, M. N., Hutchins, D., \& Szegedy, C. (2022). +\textit{Memorizing Transformers}. +International Conference on Learning Representations (ICLR). + +\bibitem{retro} +Borgeaud, S., Mensch, A., Hoffmann, J., Cai, T., Rutherford, E., Millican, K., ... \& Sifre, L. (2021). +\textit{Improving language models by retrieving from trillions of tokens}. +arXiv preprint arXiv:2112.04426. + +\bibitem{flashattention} +Dao, T., Fu, D., Ermon, S., Rudra, A., \& RĂ©, C. (2022). +\textit{FlashAttention: Fast and memory-efficient exact attention with IO-awareness}. +Advances in Neural Information Processing Systems (NeurIPS). + +\bibitem{pagedattention} +Kwon, W., Li, Z., Zhuang, S., Sheng, Y., Zheng, L., Yu, C. H., ... \& Stoica, I. (2023). +\textit{Efficient Memory Management for Large Language Model Serving with PagedAttention}. +Symposium on Operating Systems Principles (SOSP). + +\end{thebibliography} \end{document}