From 2e61c2353a96699150044efcf327df5645f11043 Mon Sep 17 00:00:00 2001 From: Tommi Niemi Date: Mon, 6 Apr 2026 19:46:32 +0700 Subject: [PATCH] Explain penultimate layer choice for trigger extraction Co-Authored-By: Claude Opus 4.6 (1M context) --- paper.log | 18 +++++++----------- paper.md | 2 +- paper.pdf | Bin 192843 -> 193342 bytes paper.tex | 4 +++- 4 files changed, 11 insertions(+), 13 deletions(-) diff --git a/paper.log b/paper.log index cf3cbe2..9ca2ff8 100644 --- a/paper.log +++ b/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.3.11) 6 APR 2026 19:44 +This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.3.11) 6 APR 2026 19:46 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -429,7 +429,7 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] -Overfull \hbox (41.58173pt too wide) in paragraph at lines 118--122 +Overfull \hbox (41.58173pt too wide) in paragraph at lines 120--124 \OT1/cmr/m/n/10.95 it (1536-dim, 35 lay-ers), E4B base (2560-dim, 42 lay-ers). Quan-ti-za-tion tested at f32/f16/bf16/int8/int4 [] @@ -440,18 +440,14 @@ Quan-ti-za-tion tested at f32/f16/bf16/int8/int4 LaTeX2e <2025-11-01> L3 programming layer <2026-01-19> *********** - - -LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. - Package rerunfilecheck Info: File `paper.out' has not changed. (rerunfilecheck) Checksum: 4198C661EF4EF302CF6CA8FE934684BD;2020. ) Here is how much of TeX's memory you used: - 12070 strings out of 467525 - 177761 string characters out of 5425861 - 607691 words of memory out of 5000000 - 40819 multiletter control sequences out of 15000+600000 + 12071 strings out of 467525 + 177779 string characters out of 5425861 + 607805 words of memory out of 5000000 + 40820 multiletter control sequences out of 15000+600000 639085 words of font info for 84 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 75i,8n,79p,324b,557s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -468,7 +464,7 @@ public/amsfonts/cm/cmr17.pfb> -Output written on paper.pdf (5 pages, 192843 bytes). +Output written on paper.pdf (5 pages, 193342 bytes). PDF statistics: 207 PDF objects out of 1000 (max. 8388607) 168 compressed objects within 2 object streams diff --git a/paper.md b/paper.md index 75bbdaa..76cb698 100644 --- a/paper.md +++ b/paper.md @@ -23,7 +23,7 @@ Fine-tuning modifies weights. RAG re-encodes text each time. LoRA requires gradi **Frozen backbone**: any transformer. Produces hidden-state vectors from input tokens. Weights never modified. **Reflex bank**: stores (trigger, response) pairs: -- **Trigger**: hidden-state vector h at the final token position — the model's activation pattern for a given input. +- **Trigger**: hidden-state vector h at the final token position, extracted from the penultimate layer (N-1). The final layer is optimized for next-token prediction via the lm_head projection; earlier layers retain richer semantic structure for similarity matching. - **Response**: per-position logit biases [(token_id, boost)] — one pair per answer token. Both are sub-symbolic. The trigger is an opaque high-dimensional vector; the response is a list of (integer, float) pairs. The reflex bank resists inspection without the backbone that produced it. diff --git a/paper.pdf b/paper.pdf index 17a45ec8aeb625d11cdb31577959510892339b1d..34a607d61c1acb453100555711d567618872b41c 100644 GIT binary patch delta 18489 zcmV(-K-|B};tRg!3$XYH12Zx?m$8HbD1X&iOK;pb62ALa=(cLWqD4~FV+MPO11Gz4 z$Rx2Bb4UhQxy9~Q+%0wV@MADPeydod+-kFv46s;WFK&q{7ORR?Up*WL>mUx^p2bJM zmp5k@Z?ZJtF)QMN2RAEt6f7%}AT1J>Ca_cmpTf_A$BW-@ewj92yh+93u1}GQWepWP89yMh!UBGo4TrW6ZJzm=tU%X7TzyJ7V72D+KtEDk!IuN37^ui z9Ei=ZvHU*AJZZ|UU2X3cA`f*#ulq#=Z*5->b=#c7nutUFICSN5&=rxax^{QOk#+$O z_&aWgIznksk~}Mdh)brDf{e8@T7L-{huadVpUmMMEq#tvOnPM5+&1s*az0m&#|3PP zW4}Q;@Z$`u3RE|Xh=Y-MsNGT41}8+Rd-xSa*zSjVSO0;!#SnQIJhkGiVHy|-{`V3_YujwU_dgzk$u-LBBjDF z+KB!$+^9@KU3S|VjUlC++ovajP7h_>(D$xh;1j~%~>j~!nJR^WHRT$ z0To;=PqXmW!xa2Nav#gNtS?w%gn9K1*M439Y#U9++LyI;7c^=XI)CRWoBqK?BGOF& z#mI>TPgz=^6BjH?NQ}#N*Z_6R!_v4ITy8(!M*Y(c9qHEaZ@2Xl!2pi9F}MZPgT-UB z14G`hXy~`ymtRLh41C?x>rGVEJKgkf_Xa*;_1?&a*o=Y01;qOEmd-dBIt)6PS*m-| z0+cAgh$a#hDFI+1Q-8pSx<_|PL4Xylpnud9Pa32}R89?wtF|1>4Hz;sXb&1Hp{#}} zihy+bkw|XK=8m2~G&rZHm%6cXYKvaD_)rgUfW<{9Lqko7lQ=6DBJilsssyKzv<*v*IXP_*VYab({>`IIG`P~K8mFWQxl z_V{9!6yhLf`Ey3_mt!E_0oBB6CST43B%zGOxmDteSASi}3Xt!B?B8BpRg%th{o=d# zl;u!098f*W@ACrRNnEi6F#PZ+m$&mk0U1;*CU?dvM=HV9H?ww{27={ExTNieCa6l3 zKYV}kyH4!8JMfsC=STO)k1%J>30$FI9Q{ZZOwuOl4bp4KirS%sil<~tz~pUZ@YBYx z);A1slz(Rr_#X#3e)_LeVNhi=X-et;$102(BPvAloE3#jJGP$s)fH(_s6SxZC_8{{ zn+W%1-!rO<-?g-~?n+FLwaJfEsr23~Kh-^$>!(yNZK{VBIk7GBcanYLP4-_whEaD< zr(iV+Km1QJ@lm~wM6+A{>XRZfHOv8(%iYHr?tiqSemH&Gbe*20og5X|&sM-YQgJeG zt^DbD+4j#;9T~=J6o8J5(D2wObDaRiQ#FqsFK%E&xpR`kFeQA0bF$20bC0N0`79-% zd6r3VKzm@hHFUeCFvpy}b@dK8s|$xq?I@^+wM78zwwH%XG|jR5HvnCmc3VAP3oIPp z1ApMH$keqd8_t>+79hz7ks5g0&yqTV>i>4^%~QK zSUp}=i-dvTj)@ZU*2UUS+X8mgX}x_~D(lh)wwRgBjm%Ik)4kdVs7#Wj%;-98>wkIuzFcbbn?!`KKmHTlJ)YnRJ)^LrkpjJeeoa%4 zbT7iRlpEUU$VG9rcT%w%N(KMFo#ZV8=?CB`|ST4Pj0(2Yx*9uxF z)LoHcy>sf(-Sp8lrggI)2h36Y+#+)0#u3ezXJ<`9*RM`vsvdZhZZuU@2Y-(4hJr_} zuWzP>*n8mr36n|c{9j6zJ0rM4=;{#%lb}n7^Ck?1p+6Nq3CpIO!0rBPJ&gMw7?!+2 zJZnd+$(4BN20e~HW2l-QoN7oWn8F7c0;5Z})70JYgx8oCDGti4wMANlZ}o0h5t?1n_pr+;bkjJE72j(K<`E+d~C8J>c8awSv86MA&1=+k_f?RWwK z$V3!Y9r02$pfaL)*_eMd#s2 z;#1H0p1l!rb?&AR@1JhWg?5LvN8PM2AuP4^{MYaQbxvN{SQy9Zy(zXSqdzPZae8qu zn72Jv?UK~20Ku_ro?+2ku-rA~Vn%aybM_xOIkdR5U=Z{Y0XdhkgaRmk#ai2L8_5xU z=U4Qj4J0#tzXZYpT07odU@wlPV3Wvtpru)vu}B&emDv0BIj3jXoRLUztY~3C>>l>i zRGq3i-CaGD5>hx}r0_!dAd*li2qlF!Q79vHFhW^jtQ9H<6L3EY>u_HQ8{I@};j9nUIdebP9pe3rO`ltw-GT&s1Qkds1V62LG98@flDQmn^-NBPWbL%722RvS(^m@ zl!aATR30`R;CP3gcxV-1gQIl-!+j5Z(W!}tzNED9kWT>btxp};fPTwW`TKsgQLzxJf%GHp}~)U9w}#@V!n$W8FSDPlbFZVp(|PZ!(+mdt%i zrv>J$r01%CxU>2){r0~8UrVGu_p|$bQG8jNrr6m?ofMa+!!X~BWzlJQ4!6HxCBL>>}04kf5119}lS6!I)nPkgV&^MfLmLf%!uiW_CsKWT?;jZvuza4+y&W}Sn&K`DQ-^}jxhlA_)#SXeZ6rwW}bW*$#^{d(XoXU@mCiUs( zkBz8*Ur(=^N&RBEST~FH4fc8pPU<(!&GL42(cG|_%OgKEm$T`&%TMA=V!)$72}z$% zpkRe31?s9ScDz_Dq34XXBTa_f;>B`lSB*n;-aj z_I|zoc=MOKzM8G8)pGq|SuL7%y_=zFQNbV=f6Zmh){Q789}|bxV^qU-zVrPC|%_biy3G|wRu=jg-|7wl!pbKs#u7B z4g_C;c!F$wg_;=kX3J6(+(CBNDCluE=&o6VcGs*&H>`%OV7qG!hD>7eynek}UYs;Y z6PW(;m8egfPwTs6yfX!&ygLPO!1#hGunj>-Ba<``WUO37@q@DZupl(5G~4Rdh-jP4$bagC#L+{i$_%n}@J&Huyn6z(!TxyLa*`H@T?2<~5w z`eHbpV(G_W*h?%l>99(hOeMW~SSc8kaHcm<&a?eNr8oo_@4g+Xh3+x4#Neb zQ6^TAuVX=GANkTaR)()_eX3lv`vF}y|D6$%TurZ@aE?jjC%6Jf>sV=jY^7fb4$7=b zqn0qN%}8kUd~Zv5(mViX-sCy2SIc?xgwX+c49#!gfIW)vz7m`WF1v!pAa@4q;aD_g z-ppr%TT7FB_r$#PCe z?DF~KriD{DjP7ltL5^?^mBJZ56BLgKZQDuUcpOE-5+6JzwBx;h)`C;C78UIWYyhfU zXZu;kawd0etFeFAILdFdJ%n^j+v)7Jt*yRHJHpw)7a!OyHa=sa^Z|P-f0d&T!EiLo z@dXXyp&0}E;dMY{W9n(jTHEJ43pnjy9rMgVXQ7qMZA#SBAMq+%>czDmmA+5y2y>S6 zR=#!dE@S;?IND}^uFX)3s~?xFPpgu#jy-1cG}msvu|UMm!8w$&ERHB+v?Z#{q;^~< zNBiwKj*_t(iFsveW%}~1jD^=M-cxQ(h4t>tT3}}H7}?z78#XbbLWH5;8DfA}3PF)!(13$1j)^fBaljr>qTs};az?Q(KvM{ehR$t!?WDYacQvL}65_7=jDKu|(%kGG z-PqfX^n|zHea>*(?iAI*b&@TQa~mUh(6-!#T;@;Pwi4M@of+P?J&>)n0G>Pkyv=xG zA;b*gsS(#%QblUPngu(^n&a>FlyCK5_wtcB#yLt-gr^m#^mHb*WX?cs;6wTC1{DCF zb{RsubhV~`@+9+lf@Wg&UER_4LYB`YJK9b3O%74p>J4>BTA%WpHZC$QcuuF7QAnMM z2t9_#UH(smb^~h1_&+OoVx;T`ya6J|yI$vKfsuDP5>bJx{Jin>*E^KNchj63-6Ol} zv1iOjADAf4Fhjv%%rWJGWf`yqj$(7q|NcNiM8=_i+jcNrNhqc~+Qi79VD%ye$;Co) z0*BTo%K}K|Wjb|>C8NnK_`E^2kxe--j0pdsgYvxV2N`PHZB%ULki#=RFDV+hvc}9d z>&Yq`iPVPB<91W5r&2`NEI0fBe^@_C;B|D5+d zJ7@b|*Y&yb{#^I@j)TR(m|xKu?g&wX!%+N!0w5`XvaYVCAP4{g2@8NgLIfNfCQy_o z(Pk^8>Ku}CdP+STG0tkUXl79o? zNGX5{*bnLq&=mk^!C?>|0uE(3A`l66bwi=^{QU^va^eOEN=l0J{oxK!^nxIvPGA^7 z7mRX)c%d^ofjt4na3?4P75HBvxMbW=D1;Oc=Hzc+5ZIq!oj(D5fWL+V5EKynC){7&zXL&Ge>j7koZwyvFf0%Xa|O6SJs|*nH5~y| z0E!O)hB^NRf<1lUXn%jO9~kNhc0>dIC>;z?Q#1sC(H;KPpN|s~ia_}Y_&_~>_XzwQ z20dm~n6on6%L@WS`4IfBPX&sEIHBhr2>k1CJz#KuSn%JH3l!$;^1BUZUj)z;2KDxZ zXsY~$L8}P<)wx1Y08x;HxUhsM0OAdR1UR_?eAA1?oYH2)pt|H}0Ltw_z+)AJ8I*Pnp@j~(m<^$h$Afu^o63cUup zaP%_3{ugQv`Ez%5AO&iGA9r8HR6Nj=AS084|?TLe;nj*8G>G_|E@z7 z<^*^Cy?sKWVgN7_2@WJcA3jx&M4_ZtV z095>~`hPdFt2@n8i@UJ8Y02=-yNuvE6|B*z|e&}n#3;d5p5QI(x z{TD6<0DAtp@&7{5^aH~Fje(AcK(hw!{2vIk+kZHq5ok7{{><`ULviv&BGFU(gU#rP z{Vo4-KS3Y?5GR89S-6w*Blo69JwF>1>HYaP$A4t74|9H62=R}V+u@-GRVVG&(u@lW z7POzM&A$;;vvcp$Q}X^!2|QX~=`7fw^>lPO54(ajobcz25$Y>H-~V21&F1FGi?N z$A7mbo1!N)4~oBdJ&9URvWd^u%VX7+>AfIG^RFjc9UghRNdAWLRbr%;-^0!C>@g^E zRq3}3Dk8Y`W{agHzly8;_VOr#9n~on_M8V_tZ--jY|=Y&+c?^@W#P)`7k6{Wa7hx} z54vC^M=Vk)!r|{pG8j zt!X_z^oWa3H%<1YW@A6JmE&cypGyp8*Mo*E@(op9>H_ZFP?xCEA$HHg#WSwxX>%cK zi5#~c6S>Mo$wyrg7UaUh#D376I#Uv0>(^o23d^(LAd#EWp}Ln_0!Q9Ef*l6n+ZPdbYexu+WGr@s;PRLe%<2}nNs zTCjH_>`G5}Tp&xrY~5?meCv1%x4-vYiNUOV<#OoZd)&4ob5`bWw3r)hg@5_4SHVX+ za4R(*{Z#Hp8RZ;@&O%3>{z-b>wNn~$rz)YR-|;>drVd(WlJtCQX%uv~s*7^1Cc)_w zbnNXc(0UFIap-kRu5t|Le&uf&b?9Wx33AW)-eiFx9{AIhfHKF8*0?>oloLBVlmcVu5_>4(Yym zYm?9j0$!kURq!Gnt2aPy#O0Gl^QASjt%>T{EB8F3w+UfD-Yde54S(ugKwb{nlBdK* zki}veqUoeKzfgn4?0hlOxs9bQLfToRw9KS}bY4`7Z~fAbip@#;3D4rJG;h%OJzR^V zdWs-o55WC$!>JYjK{>GZkfYe9V6x_A=a@DbXS6)z`%PdZOL*a*MIrnM3rpb_W52sta$T1l=5DfkpNl8ZqD~W$RQ>3;K>}c|G zw8sS}=F7K|+TeJd$vw`v{(gcHi$cluk;>J}^MlqEIr&J+g^d=IlDW6=10(;usWmBr zSf+eP=OF>`2tU4Sn~~ua4Rzqvw+@ofMXnSu8yWD0y*gxoXr?RwUty2v>CiJq7ic15oS%S|T(OKR$$DSN?JHbG+? zHK9)tpYJ<=4R)gzkxQURz_s&Nsr;@0F+6c5d4shJhB{kL*sUt`waVimh@isK3{8i*=HqF7li(*B zD)78QvhsdIF{>E3r-hsZV!4wSnt~&6j&wJAND>TbmXCw z7B_U`c_8PXwrsI0^F_llxnbyTfFH$6%Fu`nHGcMd)_g}Q7OvJH4;4crN0fB)Fv*U4 zdB>YV4}Zc9J=!yo+9@27i`I*U4DJ=Z#JHT$Nv?-$ynW5}PtVQbss# ze^8MAIiQRo3EAOPv*t=9DE$?Ek#bQfKSq;`#7Ov-)6->tQWuR&KIx*5XTJOqbG^E_ z+V=vqbe@{*0ZgmotQS2cdN)~p(K<7SAKA#iqJLv)X7${0U&NxwdKBb4>P{`EI_=RE z(Zpgg*sqh)+xGM6aH?r`!&&}1KsVO&(nN#dEo|~8F#iq2bZF@Imru0f-Nk|gc(gF{ zScok%px!ojV~akhGjd6)>z{fWCx`XV1vL@q~IaoG< zt=zEt@?Aw{+YhzcXqhf>c$weQdw`=$tf_+*M_qCnBPg;zxoGk%S-a56V(L;*3r}%# z^!#{MN0#pWysk~33%k#T--;!PmZ@k@Ykz=1gPQ?qc$U)2XefGC7H&f0s1pj58x!@Q z*rz#{HS{mlzY(Vv{T0VXFO~U;uhi6@TE{>>wRL#pzMgX3ma*>H4D@h@ctI|cgnVfH zJZ_U{^M^3cCwDgUfkKsCiS0!8qp6UiB9?Zwgq4xegpM1!odunAY5Q;jXTvNlO@H>b zuB-vew_I~H)Lus3+mz>JTGljaVJ@>|Sdx5MFT|R^+_x9JESn1R2M~7eJ!3HD!(DfX;$VLpzn}Jnm%=0u^;L=qm1N3i)lSR` zbA4C-g{;|ENu&)LJBTeB60imi6Mrk7O;GvuYck;E6w@PBcQfqZLc#cB!Oq*f-bM26zh{@yi?C&89Z7AGwcO~bYXfxTmpn2hiev?_Pu%0dJrry?@8DWQOzmgjS z3>jrgq-$pWJpWAKE2SkrYCAV)r=hk?BV#hiq;@asXn zO2&^ycmSQmZv`$x0b4>UTv-oCVI@rqvjv}_i^SszZtT6fnE|i8Df- zzG!kx&{qs(>*Ekfkam(8lGl~a)krN;yi&!r^IfUwnxEXGr@OOgD9fW_?c}Oko2kw# zaY

zFhIa)~9}}uBm7}l0>BIeJpNx{AMLY8la7PAV$`&xN<%{ z?BKA`>n;T(#JrDT)%+yl_Qtf5gXdC=-e&H&O=)W_eIZq5WOvgbi5-FEUK`OrwBtX3 zispq@FGK6fwVqEGwSWJb2D~(_7<~WTXWO!?&^EWWLf)(s|VId?Q(n6=XXN!B^;+xe=7Lc-TxV&ek+g~gGahYqkkTg zXO(#1UcatJWwO}wk(iGid>BP%^ts{E$0ehstbESKE5gY`5Z=hU6^<7>y0vmQ;+5)d ztm9!KpK_h|@qYkk%(VsOo@QD8&~(mSI+CgYm7)!m@|L{5rNMs>EBVi#FEF{7W^ z=(#lhF;JG_q}nb>R5dA*Hi-S^;d`fV%b@oj#tDcgFMk!kW4cu#eF&pp#yMbXeMrCY zNbKnxRabSJ=G>OQ7ZnXCqg<_{cgQSUSCC9($${G_=%j;9vTcn}g!`mHef1CMcwU{G zO2_c4PS9;er^CBV9KS5}iEh-l_x*Y)l+i2qVqZJJTX>*i^_@Mcim^6-C*@9sVD! zx@(GKK|T&Xj-e?wnjm*m3H9LynOwpHqCf_+F85s(njT zpxQ^O*LIj*T0^KV`el>6XJ1Q`6BWhA4TeF*`3VaIuk7MQZf~ev_lML}<|XX#2&pU z%YXBIqY2h2Bey^HinN;zN{d)(N>Wh0BuMx zd+tq?I@(eHBBPdU7V*`!T7T!nVq<(YKw>8VMl$V0N2 z{^Hk9s`N?^r^!}vdOh}5-#D)ZywY@2l^u?%imR|qvqb_-()vS*yACuTUVY0KT7ROg zV9LBHf_@`u9f_xZ@gcG==21wGg~4=**~>w$ zouK83U9VujmyZYZP&~z>Kk}T&FjR6IN9ocC?WIv3)64w%g}Wk*9930q*lN`mhq<&w zKbO8W(cQsP)Gy|$i}88q(#XNJcz=Z$Q~9jHD#VGM!;eTH)IJPrh<98+5oVF~RXsM` z$;igz+EbB{Zgy{YGtz#!GOxLLA>>2FSlYI7rP$&cqn`dj&v-b&X-H`LSJx*bg+R>G zy7-LpV>@M~lC{L`1}fPlWXgm?))7^Kr*|!vknK`mt{#NGPqpb3{UQkKDl^%=ngBR(t7IUiD&2n?66Evzhlez6@!@E`-l+{V53;FpCiG#n}5| zY5KIrI|{p%2h*Vh33zs{NLZV0Dls%X2v6Zb_z*E%5UW<4d3sbiD!>eRk4L4AQj=gs zY4JjV<1zKrkLKG#nYy>NcYo%z%}k=$UP#cbB^6~NRHb_TM+%E3s8yXP2-AxPY6fIA zPj}+0w1yqNzss=THVQagPTNVrdJ}*zIw7#&R?UXjrJ_N*TRabXi|N!F_NtRwtAc1f zrsFWOLdyFt_0U_lK<%ZL8#QSe%iH3Q(Z9k5LXKXvui#IUQ=XUrk$-*HmCW^rifRmWVj>VXC2y>=Upm6RNE0OF zD(A$p{tHtsArVR^R$`(Nlsys`GCsB2tIx!};{9=xOf3_IpMRxaj9Dfd&{WYih@H4V zJXdMIH7I+VPIk?kT|cQWxf!DvI!g1@hHx#=j+9R}z&`2K3sdawC;cl=#q{xF-IW&B zCFG;!AAQ|a!R}7RNM*2od=jXVG2e&lWnO8|mgblUzRe2p=O)*5SS76;fP%px;31!v z`~q5qCJ0vHw||NXoLhkkFTYWLnR*Ds!HLG~&w>Nbo}eb^2m=T+k573=sd>cP4mHN@ ze;Uf1&@g#n?QG$5nWgc#G0NG)93j5x9cVNuGt9IWKqz~{U*H#a z_m}!ORcM1{=RuHD?(|9hI6pTO^M{w&>LFr9hJ$v_=^7bw95$2Uji6vQw#9RRK+$JJ1<8na>E|v_|-FB$r}a|xUWWkEGl2i2!BPG6T;u%q(gT1(MgNRUGn0C zps=^(~ zd1k(rV7}MJ+%)*I!%gd|z4BEFLn)Vg@~z`054CIvDv6%YX)+x|F$nT(KWu3E;3H$! z<&RM_EI65Q{*;-A`H32B)KNBn^}y%m3-a(FxPNHW+ls{(&CWGgWUArmS0kJQR1fEH zhN{YchU;_+$b(vz_-ED^j2)DTFdm9~Lrn6@sjFlhD+mz?R8#x%WCO~?T;CyvVe-3( zfPMgbKw7|8@*j_XT6EBs)Vz0<&{n6iKL9neM9#ubf-23UzK_0#N)6+f_wXLw&DL)2 z>3{n*YjW5B>oXtkSd*Gww})cLh20~abWSOA%Y-*Qxv7A4*XQM}I?i%Q@v)fNxcS5i zSHd$k2gZ6*5>LyhAGqG#sa(M`m0#xGm^O0cn7CSiC$&f9Y|ABx5wE`)4&%O*=`1Dl~14#E2&gO=gFxlaFbF_Jf z->8I3u7YRm5`VIK|E-W{oLkTKVONNzfT-^)2SbCh^Vx^o4nLk{8yXI`?Qs3VJr_wA zrO9lztBP8F^pHw-r5+x~h$pJf;~@XRNKLnzcy%D+W@glN{qZiM-(_J16NYtz(SIvC zBuMI9Q{I{SP5aFrg|!YrV23w;i&B3Z`+&j&+PD$19TxMwRf4gUOVxXALz_#yHtlbjpLp994J%4RrdRB&O ze-Yy5m#8Az#Cp#F#rEJRX0x|5Uf_;;sp!cdfomAfqq7th2m> zf9s&$FJ~=|vba{89N_+T0-7+4~Rr$%TT zawAs0h-*9jkf{K1?8KRwbbm)v3nu##SgIX#Z{l{$kzlk%c=o|Vg6KMl7HK&wH#Z+zwAgsdZd#Ehif}wgSHd}LKYdT2Fu$T&MUeqw2u_t z1`ernlozKoB3o)xlUnAD7QwU%T81_zdGYK*>@bzcEgp=HMUK`7L)*nmmEnS0t4FnU zWj<^OnK4M!)A$e~L6LA(>MtOOyOdi-wVK-94Pg--r5BirL4W0ij={gaeGC|=jw$B| z;rwXZP%}kO#+_Z)$#87x-3_dZT@DFfafq|Z!feC)qEupg$0~0wwD7wMJo@X`S2S+( z#rssl`AIO$7>h{ks7iUSueH(Fp38z1{)QqvY02^T+#UNmpjpO^Y2-bIXV1W5*5}tj zV?ns!og(sDK7Ya~qoM0!%wCEQ_DvRxlC=E+ZXy%wC57YIzW1EG6&U6hMd^>c<=O8U zr}tweO6u)9hq;Cph7pA<@qWWPx}B;@tGe+4Io&#?^S>|$d{wF}fi z6E@<>_z{`nv>4Z2)#Eoa}hfw#agpkOVtxyRXu11eXrhI%4j04abKO`E2)E zJ>NQhz<(v<5S%k2bu~$!Ulf`3XT#l1g0(u`Yi-8-6}WYu`94X;ijrjsWWIs)(*4$Q5uY+MtIkrzg?hTuQWLqHqssEa@X1P#jt?Xkm=4i z?XQrHY_(-Keq@e{f1viWEnE zR$FBWVE1AG%;boMIQKb>E&-w_@zz(%#UeM#P zGJjYhkNHu|et@_NAB`X+%tw-n-1*W=MJz3A&2i!kTBZU#+Oe;!@ppE7f!Su9ZnwLN z(D90y>*15XIyT!qS=mA*#0I;imRmQcOreCn6#jU)W+0^Oc^JO&emA;_t`);qJT(+U zoihE?Quei-ej#>suaOH6SYIDSC2tJDp?|pi@wEhF>@oQ}f{4(NQH~s$MoTP9Gm|VU zEX@ef>mOy6_j=bo8Cp;lwsS-rJRiFOKE$syv{$QlK>`*kHC%i;rp7*SP6*_}Jz?WM)9ARK;BL^5UM;k?MH6 zn!%=;meeRK6`9Pzi0}x*rTb>$(|=DrLmbBYR^}?UOfVUC;uPoAI{6#&gI9qhWSWV3 zYUxB{u`!q4lcBd3V|PRo6Bn&1XA8+EEB0i1zh6tdHwlgGsvb9!TMAC6w~ZZ=k<anSlvXMl&Bu6WO6XP3s8(0Gf_{U6O5@D}s2FK{cThIAXxSKW=STS`Xx z{mAbx{X_vaCUc1ptSb3_L4R^jv(Ee7;sC;>QI9xzT~z8ajktoR_^M_L=lUi>DX5dj z(*U;|z=Q<)#nVOBvyHGx&7wD<-wwm*8Rs8AJT@`>RF#d?63rby6MDv`mS5LJl6bm_ z161<^b~c17WAf3p9N3Q53uG_5$!WI@5{%V{8kTJxNeI*VB`VuI;C~pS9E@zAa%zZO z*Z{#+HNNyVQadWmW943#sjZ@aDO8l`+&me##+b-6m^E5At5pQ z-Fcv!E}h0t!mGa17jH!#lb{)M>P6N{S^679cvc~oNVik3A)d*GzWB8cyW_VDAzpkE zO)jy%8~K1@ERG`8fhP)XuYd|}#w zJ6qQ?$Ml>F*~+5%ldI!nu+QC7ZC^JZvc=gg7skM-02U~?a}fMUkIzkj5O21-Xl=U>3AKgt>U zs0&t#`!(;g=~BL1SJ#CWY-)`qw+iow?jLuHa3Og*NwlK}j{2{&6K_drogIjuB|*r3b)eg2mZ-RuA%4<@6s|o>SFA0@>hEfihL-iP0iqyOFdw*Liwem`Z(+b{3NOisRJguj@ zHbl?Gi^!73xoYQ|ETVPxJqTV~oo7k0G4*YAW5>}*V?0pS>zffRCwg!q)sS?HkiO)7lJ!+{^N3o&p1G<)e>$CPOGs@!$0DGY=Rv*E@Fvw7yH!u3 z_!9+B_{0z?FJ`;&;Id3ozZ6@+O< z6m!@SM41fE0;S5qG}DG?&T+;OEdd@gjA)a|2{VFdr{OH4h~c=)7-FOVJ;D;B0iogW zZDCmxV+B|R^A4ooP|J8mtRt3dO+ds-#wVcCDg{EYWHQtbTcjm`%{pu(PyxyrAaWeE z7?_aU5dh^B;IN!H!x@1yf1I^;f>t>+M1#Fq1~e*-9avXDMTUfdewK0Agal_Cc1RQ! zNFfSK&I$6CNmxQEGNssrqp$`FISLyFk|=B}v?y%hAe05X1VrH|;LiCT;A9RyjN@Jh z8<=O-flHa@K&^wF%=^f}JP2Dj21XoR#WU~==l*Coi3_le16hm%e}&MK*aKpCrm*MK zalm(1kc_>UFTu;ulyG=WE@3 zM-ydPJTXXz{#r`ljdMG;wi9+kzzMq}AwCVt zSqU@NIM5-%y=bAee;Mr1M(sF^4}&y$0V^d;!PDT0#J&{{R?!{Ca!_iu^m5K~sCn#$ zR@=3&@SK#5)FLG{s79seC;!a^piKRXvn{VXY{N|Oir?4BhIOeBhlCwAdTG5D7z+K^ zW*NkrLW%!ALmy;EDSR$`YXy2KwA>irSY&<`pSI4&s0{ode<5W2h;xWV%TEQGD zQw#+$?R7p@n-;ff8^HA}UBwC>iE!tw5X)zHk;whh8crC29?=KQYx{ zMT2n&-PkAYZcs$Dkg8a0!%VQw!Y##WyDY=#i4h^7e|4DzWDZD_AzJ)Smmy=?I|T1^ z_(Bou!xQd&ROtIQWKB=JMF}6S;b6wR6C(=W8qZfiu9JS(Dh0QFP#Sy_`yB6=wKv0T z>SLYhW+wO|?rfxkgfwV7)Q3KR(KqR8;41V(>rr3|V|Zu%*Z$wP;45i;q4Gm5hf2Qw z7|6RYf3LA-32m4$0-q4klt)JT{HwK(rcnC`FC`$(;OU2&6?bxSkfn}Kpzn<2zC=r;T?LN!t-gwXUjRC?*U-{I#JTqxF$EsJ{_sjwz| z%_l6v4gK|6fE)Uu4d(?N4oX9;%O#wIFEjYae}xw6c8^=(4tQ|&Xp5BND~m>Vgc&G1 zffeSOy;dL!=QDShkNSNZWDH!xtkq8?g_1ti$hAzmnz07+X0+earr1IoZ4u!;0oyPW zY}X3w@Mtyg01R-8VU>9+xW-j4DLBeV!=eUEoA~yb#r3Gw?~Z-&C)Uszrapf{Jkz%h ze@<4d8Kv>MNtx*P)0v<-crWdzo)7b_i14>cX7V~PqSY0m5+iJ0#`0-IbgO%4O#|P(s{POT{@0?|@FwL)5L20wre-~GD zNmq1Lexa*rzPh0mt!|b@L95RTdPhIe&-4rZO8=&R7t6){K)^u>u$i@>auN$-s+iub^Pi{aG~80qdteS>}Pqr|2CiTc_3NI%{c ztEvP5AMX}badk2ElJy`6`%&nI6gw*e=ykH)@*>k)W!~M>*DsGweF%))V?u^|%vt+$ zB0z13fPL`&5%~EGofX_vUr7t#yT02iPs8T{Wq>ix2@82#g$i$=?3! zmv{r8jN~>^*N2(Oeo7n|JsJmS@*)`4HfgJT{q*g@-q9N{>GY4$qQa2}zNUbx7itQ% zHVQ2Kv4oAq$cS0_a=G{%o`3a=dmk#Trm&K%K6=j&hDmFc{}|I@jff3`La#K zR%!nHXz%dsEf8@wUVEte=Hl`v-CTP7=E6MxG|B9B$fuzWQ63_^j&GrlW7ydYgH!D*rbI2!S4y%TSpEtX2HvzEndx`2Dw5DM$*hCMBO*z4k9Qdx`_BFBGyObwnx-`x$GhmT|`+5Xbng7 z39{MtaJp}TT{x;okWKM0oggxOL~MIRop-b@AkzbssT2{88h=EhkBI+35Vc>mx`^C2 z5Vbf`eMDk=M4eZq4kG=nsFq1o4^Skx2h=ItyMTH@E$t{E-3O$$2h=I1yMWXdnP?!a z_4a_;C2beaKvZX=F~s|T%=Un~1!)(O+n9(llK>iU*$?FEZeiE~WY{-+mL-V#x!V3f zuI`p;T}1t`)_-G8lYOVTA4u2TBC3l>ZGottirf#R>weYK#ng{&(E=sX*p5+GS0?^1 z0(&qAa`?;qx>!L8w73IMfZ}<11(i%lJS5!H#Q8YIUj>A3?!P-V&hcF}E$67q119mB zMYtsXFe9E~nvG=z6;_>fcS-!Q7hqaq{f2)^7{<%u6MyOal+SOiFE!XIH*JkEbX0t4 zu(b7vMo+duPyFRV&@+UmF4T5Oos9?e@RlAvphq=&cuP;cGr$?JL^fm!JHE3{JRX3Q zeKn#XR>%!%QeKD9h=x~@4XW`w#Q>AMVUllRGF4N1Cxl;(&BtF|6o>eGAUkI@Z1XnT zsjYm#Jb&Jh&Ftt#mU7JpxMmI4Opa?wsUE_@8md_~q{VM!157tWZ{k^|r?+@!DbIW( z&kfCN_$05rb^qb}A!MU_`-{s5r&YeJ?vwB{6LRkeUD;V>T%jk=8R#u(EYN>Z!Kz?4s?vN4hU4NEUv2&HLc*f;4UzW3cc_06bI9Yv< zoCJwtHl5CJ-6rdQ<@0M?yo4jBiwc)bvOFz5m$*4w=GXV}(oWW9h2P4Ti&=qdtZPyY zcR;*nS}G!D1!zE(JUQ+*|1@2Eg4@L4N^0ZkLph%pOYo?LB@r>+!WDzA(k2|Om&eaD7w;p#OXTN&4x|~MO^ge zh3AqD%mXT+2IfJ(a0By5m*`p1LDt>UGk>MZFQz^KT|6U9AVpc0&Y+oD@8M~-H&V?B zp;%%u3*f&Pgzs1{ITOEa{C1mi&6pYC5FVgz1&jw{{C_QMIJmbPs!$NZ|8VG)ix2ZE zpDwN^p>8B~janCfNiz53+|t%`M}czj#TcfHAE{VSh;0GdevqL(J_ z0&!6^K|@3|H8DmtH#0>uH9{~lL_$P0G(ki;H#kH_L^3!&AUrfdLqs$+F-A2vGet8s zLNGE!LPRw*K}0z>I7CK7GB`e63NK7$ZfA68AT={Gm+`g&DSsW)%WsTf6vy#%4mIs` zrZdxasxC#aM7}y0vblv?cxne}hert|YdW)k__$q+n2?)=ydli(x&r?W7u50^QWMkup#V zRcc#Fb&!QVYJXt$kOLm^Eu=g&07Lm^QUQvvlUgsS1dXtp8WUL)G{atMn@DA7fgx%e zNlT#>PE+e4EraE7h8ml(6|fS{QrkdkgH^B^)M?Julr15a%gqv`SH#j^OwfPZ-a_*^fPo3N8+)n3CI(O1DD%Ih5u2$vFe55*+ zC(j~fRewG{id3(%FdiwVTAYrQSFOf*c!TP6Po#qCOtjOBsz0V8mDFk$A~mX2;vRUD z+E^u0v)bL;k;-cKA4Y0Xdpw!8@bp1qW;XFWmv~W5ylP9lsU+TwCf?sm%)U;{{Z4%P zkocTUeEFOB`ZLDsg7`EzUyl!hL-zO#IBDlH_&)$}=FXWrXYPY)-|}gwU)}N_gNbf2 s3T19&b98cLVQmU!Ze(v_Y6^37VRCeMa%E-;F*!0dH8ct(B}Gq03O}|6d;kCd delta 17966 zcmV(~K+nIv<_pW>3$XYH1Tir&AeT`k0w;gfSWA=JI1aw&SNJw^Rjei{>NQh)NT-tQ z?qMd6o|?mCt5$8%wh~)%L}|KvD?fe#0v&&2Hi z`sUfy>oi$N5#}P7i<=ERsxZydx}v;WD`O0n*$zm{(y{^?)~5>)0?z}2cg_FXtT(WxI+ z!yZcF+7J2Ry|G|qq=Kfl=AtJwcmmG?)M{7s(Adh^=#<ewtic`HnpL{Iu=z+UZ+Si{8rTV&IJL7h6_uK2^R?H=p;~Wm!Z`|IM-Z(nH`g z?XKGHR%LZCwFT#6*5E1yET(@X9B(8QB-fdxbrFUUgAwMIDobX76?v3Qa|5#=5y8H) z7*Gjlu%Q)3GD8Kcw!&JBpcnkY;%&M+B%2a;XDe3fRw z-5x^lppv^={Gge z`E!KkYWA7IyJ!6M#UqHO67;0AA3-#P`DZ_uQtFZq+0Yj*J4q!&D((D$HmxBSm8_l! znK_4y<1kS%oSOn{q+|2JJoGA=`Zmlbp_UVv=O8*1_q=;PsS1B$k%bw68J7ehd_qCH z5!Ff5M87OlP=(S^4AK9|Yi$(fpx=n>-(Fi|olI=~OX$@s~#og@ntW(bN@wf)EhZAt9U-k<%EBYeJtM9XA0^PikS z&QubFLLN$tBMpBQIEjcY@@DA=sEcNRiCCPY^*jw(ufD*lFA1;3Zs}A1%cr8wTycW-Tc2~}v zTUpi@pBAYzYeY3v?|F^89I5XvyPHR?$7Ng3n(Xr_pp#;usUXXz>hZdmw82PfZibK(zy8z&3-{BIC@yx#i=-M^=^6V8@n7aWGSEcc^FY+VqsSn9z zur;-53vTFh7>PP_ypR__eWBriVMB{JD9Z8@tMDS3)Nz=`--fa@OkkQF*UpBtcZ0QE z@&;}=*-$mfC85#wfM8SH!`UY?30`bE*JB|)P2zu!)ZFii-ga!q<93lS5W-Q%YC5~{ z`5EqDH?1-Ihh-K818@q!h;)jZZsF`&DnN5uZ|d~}y;i(@;K9i3SEb?Ut1b;; zCz=$+!FA#8U(ATZUAnM{HFy>lI+_i8Gpz1R%X0P)P;9iyal-4`e%-CQzNXms&!A_m z*y?}M497rm&2wlo%s;GoH@Xr*Aoy^aBw-;6)v4ZG8v9O_KyxMdW4DZCfQOdG!Qb6o z7(IW$3o-kgUVd#ldT@oq+;`tmGTyr+d4mJF!ZWn}f#$l?3XR(L9WC5db?FlK4mTA! zSiJ&&4kyKI1ydWEvv%~>8bAm`7h`*7FKT}-r6LM?d*Y`*YmNn(I174f}3S%SZ>yaGef&S@6Pk83~pO~dCIxeyF4lW0TG8B1) zE;9JKMnz$$shP@FhiYH6Rfn7pyr-qD%zd%;UKU{B$RBHJp;;eaB|?0j#&q&xwH|+F zQ+J(+RZ2c*Os14=& zNS}w9p%Z#_kGGRxON)0-mkKd6EuMyFj9=q~bJq`nlcc22= zrn|v3BvWCG4^aSut_M!ndBYRBG0T4wye#9>R!JVbF^5Az1e$nX>FX8Voen%IP6RSB zgI4ruUr-FWv$Q9PS@23-uY6(TWGa#=<0u(q!k8Y#^ywrs8_NU&(1|G69Q9Z=pmM5t z#b6&Gvfy1`aQOX)3ow!cY;|~ZgwF*lxrx-(MkZIc_`~3uxd%uu?K5wPJ@!oqg}NLr zBHljSIES|5?xU(VSQ6HTBmd>w-=9-d)(qs>zgJu|?6_0J3ydL$&$k!VP^Km=2;R+R zDR#|ym}SF7-h}4W&9nakrVldJvpNy<5&}0Mmr*4GCx69SYi}FJ75&a%F&}N9-JSQN z5CS-Modif)*HV$TvOdt#MrJLN21T`YetpiFT@H6CQd~O<3|KSEnLGD+=FXj6D2Uu6NNHD2P2df##*6*Fah&XSciEfY;+T?g|l90CtOrQdl5_$I*H&D znMMQNMt{U0!9pbI!9paf1i4Eu1s;`5Zeq1iI^nm2RB!`NWo;7pr!1sGqVkaGppJLw zsSl+>+2AN0iecV^Uvz5X!7nK-Jm?dY_f}|$!Qh0}8ovWA^ukA>t%hajJhX=;5-eeg zvr%|ZyO<_WKnLXnO^lq!c*Hyy=ol01gUv7(27l-jpaPAD^aMjCR8AUwf&<`5W#Bb~ zK438fYx)&*5F|oGpOQ%MlZ7b>za7@oi;nBT*TbKNePEp6*P!CWVl2>RN!Ln9#ENKX z2}CA(QEE6FbPBT;TI0bAYYj)>Z^zIgK9*ipu+c`JCQ3%QUXcbdP!3T6HXLwkA%1Av_>ViimbJ1-|wUXjE{r#~kq`f~E-A9^frO z!Fb@56T!k$$^Z*C(*zNv){~PHQJ;$XyMN``Qq(WRliTKUJzFj+^;CTG&E&}&xF3Jv zjg;~^n4ZYc_vk^9C+q|F=TA?hpUOreQNL1S>Y5o*q_N=miz1oVp9|}E`yKO#Ak6IZ;^~mIPSH{7N}69?I4R)1vwQhtuuv1T96|51#Y4k7Uwx}KHcn?059 z`*MC9!g2Pn35Rxe$3Gm+-kBeJIhoXFpFT9Aet$K+ZYK5f z_xU){Ybz@^W!88A#1kllt4`>Z(~~hU%jJzW$+pjvuH)E~vrfTAW+wDvKJ!DqSTM zgf^whp#HJiRw!*icY61B4S$~XkF&-5`q{}zmQX*-uB=b%f4=^Ke^1`6*B@^GQrFkB zb+uZq-!H30v#!_6`FvJiu4Yf6-j`{JLay?td8|~GG%S#9l~5>CV-(+igoeF<{_EfW z5fLsz-GwxQdT()eb8~Ts(34QQ${!~);EHPVIH3xmN+>Ch6FOC~5PuyIz69_D(fSfK zG3w10r6{=ek9Tdgoo2npA5HCq<&n6JrJzZ zah4XFM|$-zQ-kvacX|WnyxSjTssqxzH%FM-DkNT`nLE=#jDPfEJHSN`3w`Wt@$!Xn zR?6)LnlBT+=ve0)5voF`wY}|n*Y&>ZL)XWyZ(++fA#Ja^UO!MEbVsMiXXoM5SZ+__ zpen>4r>{hYNJ47_&nP4-gVX}DXJWVPx}2?>>c7*)wU*jmPUp?da-A!%M^Q)vXa@PB zD1;oR{8v;+A%AV#$hTpk;%lrVf$Na<(?%Uu=$GZ)Vm-a3PR;!0X8wp8C8T}lHX3Ot z=umZjMU4zHh~H{tEsjL%k85<*YI8GP&F0h9sWx< zN4_+UmEmh!pDGvaVTEp*|IetBTurYZagRyFC%B@H)_<|mI7+{gIx5;qqn0o@1NpX8 zqvv~Dswd3@>dc$G=k;niZywP*0FR;gjXFS&qIzFRod_(uqK!f94D#VvZOpux&j#u6 z1@B;XWc@Luzf+8iir)20!0p)u`!Jm@F&ToV+p2yNR@L=ElD$zfFlIS!9A`hLm$v?>wn&|@~MnY&R2d3fvsm_sSc;)paxTWXb&)Q;=qD8C)YRWf!X zF=wWhrcd9}SXj;CJ>}L^$am+~LTC1lp3N2kL*cM}%CDt>bBw`{ zz%oxx=oUDN{F}c}bB9Fwq00>LD3A|*9ZtSP&!DF8A_d8KO8PjoHd&rgGVi3+;eVOl zr00FkA+2YVwVg-!&7Jg|MMjAkb-i}$6{|AtvBu}9Yv`3Z^7;Z#6W2CUQyW4TM-=Ux z1GZZ_4-7_1#<}gKB#)SJB55aChjHw2Mhd$E2nk2L8hSGix7n0Uu*NSN!8AAf zM>q0zaJEb4a}H?Ry`(z0jYldevV3dZ({8-qhjrQ97n9!r%0qgw3T19&bC=dG0S>cM zE^VO@HaQ9}Ol59obZ9alH#s#klhDr;1voi5IUtu&B?2gaw*^$we-}TFl!Q_u(hLM7 z1U9<6yF&#WFkr+sw$TmJptOW^D%~L|DIiFQbV!2;(joAh-+Z3u|3ByVJ3D9l+c7pt^Ct@>( zAW={_O#DB85DG{L7>&^>g3%bD790jpcXa}Q1OOmmagc~O5D4H00>%CY!ja+tMX(#x z2B5_YP=~`HC?YlmIKmSNwX;WK&iVThz+ue^0Evl-JpRKSAm?+XM6=CDN`Fj4gW0>fj|Hos5Kg31+jy|i2jX^QA2G1lri&1LOlRaff)LM0Kng$ zf1b=S46}j5oIL-9|1n}d1sxs5Co0^3mHdxUULNiN@a7TV2k`I<0RbSOpeR5D^Wgh` z-*I%o(7*Ed4_`HyEgbMW*zbHXjru!hx4%fh@z;iM0{%OgHXK7;2!P{XrauD;0j)7# zp#NvS|KalgNAurN{;y2`-;9)9ot*x#bNmVT|JcFKP$$p75E$yZqA_cr1;;D{?0=yq zkUw`<3t|Ixb^c$g8XAmQ2RWD>hSEHLAVFTB;GcRZN*U?_vC)O1t?mD$&7XRs-wWpi zg+X-TDCqAi2IB<;{*Mi_W!8?EYXpVi=AR}o3bS(PKL+_*hG3TJzw=OnS;K99Zy&#q zFaV51f<1{a!^cQM0B;axO>H0^f3O?C#|wj_F)jd1&AtFzIFji1poN71d~&~kRewk# zVgNp!eLfKT^d2?XHN`$rNJ1@Kw@BMD*rFc*O{_#X`jhzSh+7cLCobNX|~|Ak-( z#|Qg21|}i`!xOm8e;_b!|KWf^VEBXn^OXN;gS9IXiRsfH{KfR>Z~2cK2?FteSQAZ8 z!mTA4U!TXe+Ws9CA*@LCa5JlEO zC}U&SW57o0^QgLOD#4wdvRGL}J)}jut)sH|jV2YnnDO^-`sgOBe#13?p(E-?S>K#r z1+PRui+HV_#-btFc1{%UUO~3hH_$&v-p$Y%6{zkOw6@P0iY8Z*=%-f{yj@{DmrL?1 ztH^C9jl$bX<(}-0O;5=pXYyIK_JRHC!HzjIM`DMF{qscIXwY}Ba|Uw69Ho2;GCOZQ z(q=X@j0vZqPdecgW!#m23RV5EQ1*?%Q9Ud~!*gb$Yjo+CtHx`!rz5>DI38=oOI??) ze)p|oYmITU4aIJLRGCb^s>Dt8hI8B3HaNGJ)hT1{gd=3ag#W2%ihYZrbm5%Xi{=1R zash$6ZqSr+BND#4jlSCjW+&cWg4el+ZEf=GGcFZTuo#MHucexQIiIxroQpjW-^W_( z)T(F&FL&qV6Q2r?Wpm9wXLx~cnOBRm(C*S#@|V$YaR5{1+wJzq7ctbl%@HhRvn$=< z$Bd=eu{K!6+Sw%+M}btIdf_ct0z_`bfzcN`UROKVX#i~^M6DOzJKg&d#$)Yv!hN|t z#Msi)k8gfTH^0_@2~ZbwmIDr5=?m0PHgQq*d$)1tQZ=tqh>a zwplXWSlz%a@9)dg8|N=x^ac&yu0JqgVcMm^Uaika|F8sqKG=dkQAX*+alS~*XWO&k zKWK7~)_z|$t}1=3=zF|RFq;wAW0pkHvRhjPa(Gf6Y*$Qz-wv{BYkH&p4(#*1%|52c z%Ad2--7I*|`YAimA#uOj6idYO%#P?@iam`%Lr5+=p1&^z;+kh{+ji0d0KS~GBqIBm$?+ zLwdmWt7^@~QzmmmrISvFH2wZaKR)hD;?-5EZ9rOo3fa7q=&G0LTs)%sC@VcfmD%`o zF3_f)xjsO`Mld(euz+-0Nc{22g&XBVYmHZ2bCVL>UL*H!n?_eqc-?gbJjmA@Uv%%0 z2D|iH39o@-)GnHaHOSaQWFVivoW@CoZ`(H2OYS>p{CYXg>e%RXvcP6}^?-Rv^&2+gq_ z_VA7lq5;zkv6X?srHj)ab&Jw6f%j%sYYnrf`r$wH-P6XG#ficg(;-cJM0^K?5zU(n z^qtgHo|n6gB)%`Q!_ez9rn$k*EFu91F6bA3OSTuj9Te-MiJX<8qPPb7ih~djFt$3^83}0LW4zrc|<{)Mt*lc*)Qwd5( zQbgXia91qcmxbsZ*^qSOY=faTW}_BMvh8&;1c*CO0SWr*K>3~~IR?n(C1c;w@g1Ch zQI;|d>#cQ5BBCSdUmt%N!bhd@x#;gTejL2;%nz7;h`5K(nrbvm4=xO-4#*JF<9{L` zPMy&}*Dq*9g6H39?}YN3TSLLiCxVAJQhN-a zkg4z8JZCHHEx0;WHKwb4o*hk@MY!L8tE1K0$rE_YRo5NqCgjWeu0X8tL1h+;Fu0|b zoCIRFmF63ZBm9=%S0fns!_v5tYWRKh?b#u|BH<3d!3f}iqkMdL@3qqpY4`XA({0Ib zs%9~jy|^B36s`As16GxJSkqb3ttgo}>bx8k_4KXK5;c7!TMqe+-5HL=tJ*YwCxT_; z_=4xDM~gLcHx6=K>Cf%P!t~x%RTFX)Zb%FUR_fg~VtS!~u-g12D{6 z==jdZvEuW(FH?kpRXmHDX2wr{-dTMYG|hZE1auv8ppsUaaI6lfW;X5V(2Q-XKg;Qh zGkRTllD-1a3Uj(JRHg5Sja_@DcSDSNdvAWBLgaAg-bBJf1ek_>%$Wcc=BcaebY4w? z^V;R?NwkS7UyMMqb)md`V%QRWqiVOdN0hx1Sqs|&jHdWBuyLHe+6sGrxGZHe5PA|- zyZcrJsjBkTaIsy?S|vFqRQxil@`QVQu6HQ^@!BJ=+MqQB=b2|6C+vYtbEffTka|50 z<2gPzQ$L*}I3)WimDk*mZAw)D#p|!OYFzVAZE2*iwJ4|r#yQzqe!eXyOK^EtUa!M} z*Zz#>33D_JW9E)}7m+G|Cp}W{B({!0Pv|7i-;ml$)0a}tqE16&d;=@U~iJnDI zCyt;M&09?)==a%7ID1C16hFRi5_Zs(ILnT4QC-FwQi{dSDm7sjnCRH?%p^~CMw3>m zZXwpGNx-W3j4T9y&%E-lK9KQ^jWfPbaxlj8&HzOmf`)<(tCEa0uf~KtO*DMG0>%zk zUhn(N)T3|bJILE?g&0efdrb?>bQn&m`?ah;t!}Hk{vz=F$}RgE0Ye5G-O(~Od6#~| zyK&Eq2fdk^vQ=4D&F_`*Na220M2 zC#i=MmJl)}5(D(z0wZgo@1GQwWut=NJwjxC9-4}u+T~Ir>;12Kvk|Mpqjule z_Ij-ID{>?U4Z*UjXC~jwLg!-Mjf}pHM&0e2Zixy0cEO8WAgIJ)JXCu6mItTws^R-F z$!2hIpjT^u^4cq8IUecu(im%j{5xVzY`)0Y4e>^Ks$;<9!dLbH6}rr^VUVjZ&>ZzV zkSP8r$tSHjfuo8_Fl(`hV{2c&`ih6#vE_YJW^b}%!Sd1Ndkw~N=cswv1xKHRLI74Ax!sd>abpZeK}z!PI6#-O*fhqf#XmX(9yf)-h~d~h88bC%k$OW zO=LEI{F(r?8Wr>m?xQx%nll_id~=DOeL$-!Y~S7+IA=`dBT`&m1H2y~^oByZSMH?Z zluG7Q(6w!kT={(9^?q$#8Rm2be3=){QA9Q4uRxH({o@mTBmMM~#%lyCfc+;KxQMit zRq0*4vTBSo7U$xFg?s_LQuLz!8Z_OB70Bj);mCZYkSZP^wzXk7%=6yY(NA+!c4N2n z!`(p@scwrB`>AbC$BOhOD50p;c-)yR%HqM9hsq6aTqptQ4z+Yrny=)fgk+Q_bFmhIWusqolB%5MM?QN>(H|9C zcnK**2hw=4UIz_Y?=Aob9StH8uUh4Q_Ob1YkSOAi*6`Yoy>9iv*BhE$a7C)hV- z?gxhe^6o8_(>+hhSdkTrVorfSlhsTB8@@KzM-zW1^=hwpM9bBAY9tZLqclpp7Love zZ)o*xzFlawqM`j)D}Q2}bjf!O4;O*1f~Aj^=pu%)^sU&>KBFdI*}{Q&LsIL1N^!Ck z&568w{1!{dnga1G4hB`}Qpo0v?$CVAgha*ZRNvQ}7rxFWZ?<@T)@d!v4SS)UqpW;m zGoz=kx=@X>l$Hso7C!9PnJdcS?Jr1m;*~y>ymtB#wP62D<+;_Z6ELG_ep&-7$HGCs zg^|F$3YWCniQ~PMLj^pRk{h>w_Nc~Vhih`I7@3r;i@8BLhVh1VA>Lw?c$;}2orEfX zc}Q!uj8l7UwKXNh>NS>b!RZk*gdlHrn+FYgImJiI*B56c8Jd(Zcjb7=x8}Wwzcrc& zPan>{_u|#3UYwQh1)?f!SavQya4jjIiumpR|u`Ra9BBF54@p#|xO z`D?10P!Yk0{zcq%xGAjgRz$__WmC%eM>=uRb9pH-*5lhh`*x^V)43XisMUCF1w_RtqTEvC8?*~YCs99v!squb8jZmlo7 zw9#ByLqF53$*>ettA=Rfi7h42juQ(!=^5LC3~WV3^?1s~=XqZQt*b(uZVn6cxj;^pS>Kl zSxG51kBl9Co_s+0#>u6OgWr6kprh5#j>{v@`DNjV^)yifjI z*U#XFNlIh>Mn>s;U4t$?oxO(pFd`56jFq2|_377WK95O+KpWQ1H#4K0QkP)7Ixg(z z*+{_KQ#s)LO(7VmKh(x?>Q1$LG@y~ z-k0(HrpDHPl!mck@WT>O+U4lXB!rT9oBKdU<|vhtH3e}(R#$14l-luDM3H*m^Zk#B zrkwg7dkgVfu{hlxghHddGxo&~37QpEX|}Vbf&JLlb$*>qRO$tHRze&10t>`laH)Fx z?L9T-Yp<0hB+YKJK8O7B>+(4$X;>tjAisBH$cJoyzba&^*putF+HUE~tG!%xDrIx> zIs&GF{ZJbTinv~Mp2S8U@&>lJU{&^|3}jM{rJ*v3tK9m`^Y;J@UR-v3|TkTv`&^iqp;FM zsRa3dv>1FU8`>XcNj(>)?Zv~!i$mYNH!SKnzzEIV#Fw->PkNKpbc<*ui#nW}Q9|l& zIt$h|gupkyXVv##G`v zXw5Lu(JJ8UfpDLZ@$EJpM$Sc-&ue7LNoc}$K9=&ZjP5Kk!h8R!V=+fqhak*Ber82fCPe1N#+oAD z`xvY^`lm0CJQWkC+iyFY6k0xvw~7MaB>T8?lB+#mA}#BJg26uEUQ{a&uX=_df<>Tz zUrv^N-BY%8m+ISi5Fb8%2zEy@obTindX$#fgE;B%n0ttdOQe2Jb;R;aPx6Qwe@wEEaoK}d>WJr!TR847l@UtcO0%XP zUe>7-M-?MHoKWna&c>6A9Hp9R$txy*c2RF{T_cC3_^L?T*+I&NzDnjlTLf|ziwxN4 z*|i!yWAe-t@)HTI&Q}@>W4HR6mZK*~AF7}~7Ly;0uKmV}Uhbd!Az3om(A4Hk%*E3c3 zv^LtSUp5qWX4B_#IKXa1T^yfVPr zd7dvTGX~EU?qCIpxIhfk@~Mg>tqO<{2y}JB!dNBR&_w5XDE-*JAg_)Gt4F-Y2KmpI zXQqub*`OP$!)5##t=Re=R*3;{&-{San`&2MNh&rjpq9}ObMG&Rd zVg)>$fj~%w>$%J)ePylUyGvaG*I$P0R$gu+I&5bav0*sZSZzXoy&zJX()^~lU5)M? zil>@Ho{cVqwelVHtX;B?Xu=1Cx0p?KmWYO9FO=@r_o_AR37k4U4%R_Dr7+ z`;l-``!*$* zdL>=UBjKvQkHu1d^Yw)c{RbNgt_$(7N#Gv8xrhhH_hvx^ak;K&3l}{vuA2};CTh@1 z^7v(qxu#wyaF6S(USl`uD|dseG=!ID2L5jR)#kMVO*suIZgNgbwV@MOh;)ET?bMS^S3!1L|wP4K;0A6Qlbr!*)zr;_o1ZQgCmb02%RC`F-amixNs zhmQ_I*V>vQcyFoXD*YfZP#-ZFOd5Jet9@4v_sO?WWXSoq73Pod-A1bK`7Bw%rdP^i zT|8$8oY}an7G@;NRX)&H0R6YUa=1b_Qsg>z+n*F*U{NowQvMOhwQ&C2ZS#pB#y5yV zYxbn*TWacmFsW9)Tn(@Lqc_7=L_@U#laGRAe|Z}Z=(F3wNgC9^?@}aYuU1F9rao?b zgQ>MyF5gaz>Vb?6H>@-!n@J(>w%dNHb}pE``>HI|e}Rw>Nn0J)sh8FwVT#Z4o)Rbd zV@=zNlo0xkiF(v3h2VSF$n(imi?yi`A&wdBqK)u>n$e;A9!cBeb@JM;y_Z>Xr$oVm zk8?kSS_j{uGe0%YoL360-!sc8@f`6H;_5S;e;TFdX8h&QnbM0`{?4wo7oc4E5O0Fp zCOavyy}#ll-<6tvisfQhr-z0cA~!mZWky{EIK}FeTURZ4n?QSgXH0-DZYE3r$WLm3 zFzfq&S+X1Ov$X1a5mj>&+5J0>!P$uu^1n<@GI`gTG+YwRWv~=9b4zW}L(|D09fg|n zou#hBdHq38&Po_5lg6ob3?(m6Lc#@iXh~$4oxFiyma9(wD|W7(SpMsYOrx%YPEtZYnDsL7a88HCefM`P>a5%ZTyBtfg zYn7@(&uyUS*jt$AXUfl|L9k`^Z$nG*T#_i6rir?na%+E$-nD=&Rx2vXfTjI;i#SeXdzkkDwp)t{pfcCF-DJKi;{Qq_lOZ@ zqO|wVr|~Y{#~`>Lazb-Xg}+hF5kj?C@dGuNrZywUHv9DsTSKJ@*xV^R+tGNMYMc+M z-c^xpIHLmyj}z!PnJM#}1pMjjbAAwiF~m(-#PyH`UeU@>XR0}>v)d*4Wu?v?DY@f{ zvAHaj291gCwtp0CW34cW2srBAhx9iubgYb&S!Y^(KmDN*!P3u=)C7$B}hPMUiF~(}Wq4=G_W^$Z-wy zr9Z5R{3x}sH9;P^rv&g%6WopunB`2^E(l7g@&qA5`vC4Le->ir-NY)F<#^QxZjXdBT-km(V zG}oF&Dtf5#P=8O}Cmsu*F6)(l_!|Bo411|%=9m6Un;fKJU5u4kylctNL>(9V3BqT1 zhN*SJb5(aXDz_dLm8f6lWl+wVoV>%vuLT1eCrQom7d$HOowR?{X2*^1rf?U`LDDXk zpnc!2=bEV7cUYP-e$;^jN$)*CC2+rA&Qc_vmZgEzT=>P&l;S(_&&`{EyN0oVZjYCo zhz-q!@Z-}qP&ywE(^k;!mqxd%+D0XS=|eA^%3T~~TPaSKJ2&HVnCFQydR<2=TUA?K zk{t%=T@-9apRBGCljypP8ot8%^)`q$w&9)JH=Ff6fma#K{Jrbw7D|eR3@)wXhptL9 zBpVRjYa;WJP~7M4@9>O&LnuziQp$lreKpzDUi1+t3M1=Eua5f-H}P-;7U6i|cgY^< zkvQFrOcY>Mp~SGT#ZSWHb0B?jpliiYLjAaHwh?I2*=O7SJzIo z)sm?27jJVtwly7p#ATpa;k}%h>7c!+hi5VNgNaO8ZqE}_>Iu)v-NsmlnQ8FkpZDfM&?j3wNR2 zv_w3C@Y|&V==qaTMbtlj8-B1|#u?-qw4t&y@7P z+VL`(u0!-4a;F+X4hup&!i7=WD!JMx59ivbSA;d4xbli*-bqNfAAYx!Fuf2Rj}a|D zlJ;$X3315F-CHjkBamSn}GSc}&mIMzh zygq|!%rWE;G3~2+|2|u43fd=+UG_@GfB%LJd+oxao9B=x+Z~m9s2BN33BX#E%I|;j8^}{5AE~Wo331j< za+G+b;kE8f1*;BNl^FZfoL{I)=SEoYwRdw>CQZ%Xj>|%Lp1*uwifEBrp;V9W{{X)r zg>skCE&&sRVDz_O^Z_;P0yH$2m*D~-0yH$2y5R!Q0y7|&Q6&N=f9+dIa}>D}zWZ0` z2=4{fzC}z-gcl497&Ep34-*{Pc42Dh#dMch=GVVWNmZ@d8k*to4s&R=mQ?D?FSAlv zUbysx5w19K&tObSIe-q^$C){wNxyOzq+M+Nh)gIQlvBU_0GoBcQhgwdIWnzb0NsKq3 z&}w1@?y{CxB|(pL#2Sgy@a-ft#5&=LgLx0)P7%k!CI?f(zyPN>+X0nMYY=9{Sq2B; z7O>L8ya#{|sgQ7zaKsCMZWZwgH~~;z<8DE~YEJ-(ch2l^f7t2K5CgO_#ti}O&;bk@ zkTYaX0ToQZCM1{%I7Xqc3|vA-2}Y1NreH~+uvUIYps)ch1qxdZLlm}P8b@KL6*`f5 z4*Cd(qkuafdVrIA@ERBBRu9{FVAjKj1KWTa=6Udu2OoeiIGVvZ0(~Zc7%oIO8cq^Y zJLrK<0Te9*U?H zvJ^m%ZJa^VEOUq{nq|-m0}quUMx$YnU?IFvP8z<;LwMJAhSbJQT2FIfZ_+Le?g)e@ z{W{VKdA~UxK8B;}wV~Z!MnO=Pypi=Y?}gcxe^13)M{wKKSbsfytJ|sDb{J8)ECEyxFRFI%hGS1gp zfw&NS@hp^%y+ok&Y6|qU}&0h5$z2MfhmmR zo%L_~f8T3TYHpdp*WQ&aN3E0M&XuHu^hbOCn2Vg)r3@a9_5C&I+q!cKlEKeFRZ2~)ZafS7y zHSA7(@F&*L3{zh?A)Ogo4=3x^e~dPG-Q-O4`}s`N9KDzKbI-^5Rz!qbC2^tU^|{IWyOzup#v9xdk8VX?YembcYnxf90ECo@=ib$W7i z@yCA;j`uI%)tw$qCpRmiqQw6G;tTon0lc?95LjMuc*%#t>g^8QTU{0Ne+t+F$%D!5 za>4VtSV-&@ZEBUUZhP>?|_c?ljT`ak$ZHH z?$ZN$NFUN8`iMTE&*(8dp)cquJ)`GzLNDnRy`}{Xo9R3HuKZNccT;*p-_!SBZ{HVl zTG9`6N@sLV7j!W%=qdzpQ`3-~~0GW^I z<3Q!}K<4j>&ew_1tHo?K3A7@iiPOd1^7~mWK7j~w+hsLy+M*L8e`yOk4=;YZc=!V7 zd^j4PLIIr~e>SAF!Y66Xr(!vsEF;q}HbSPd8JCjhT;5KW#e7=4t1io%I9Q?>jM^58 zZ7e)EIXQfT0dxFh%t9&B6UdbNM!?8T0rLPKylABrqgL*v7`aSwQPOF|4Zcr4M=uxE zq;0j@#_EShhtE!4e+8?}pwXNsn}y;($!4cVZ7$oUn5~}pmnSbDKMbb04G|hLC}%&* ze{S3s`WO93tF}d3<*?WLzwIAhfJLWc5vf=mk<9-Si<+m-_zm%xUkQ)lQuvKN9mr-c z=_|-+7xWMMCgiot<>cx^QQ`Ai_rv2F65ez%&(dDJO^Vqye_jm5Jbrz=n@sbBI337| ze>GWgUP4lAQe&McvMf{X!Q^MLVN zrR4L&!>6x*e-Fmn5#wcyf3KhhRsOq;*CWPjnH$e?;}5`etb^(bsE*!rU5C*|nM_EX}(n$b8wlNZsjwnnCrH_Mg87 zlg|DaEh#*C5Go3&d7+}vYooxzA4}L+ij0^wSuPi!f8(=$Iaxvq215d^VyiTN@qGXI{0$IsK3;j~`sNbqC*53T{N}ypC_EF<-;jgz(Yp>PfahIHi@z$(7~s6c01g`lgb>@`boHZM zBtt(me-CqBYsa+Twt1`c_Tu8{?~jh6%_GSji!c0PjKH4;>3?qXcy6D-y_=g_8`?2& ztE6>&divt!)Bm0wogTxhksdJ-?k%XS@wEYxxL4V0!`NHH*eio(quKlN4sQ33Ed$x= z;rwcGUCwXdtn%Hv0&0eiFo$vz?h{sjU0@dH8Be%0zC^4~zz;z;)q$?Xw!UX?nC%(tRiWl=pqk=hIJoOqksmYNN*3QQ%rXO=`Avm?E^B~18SGFT|5I(%|>HL^a0uJ0d)(~E+oG(5iy$q z8er%La&@;b>;SU-8$M$hqJFM+Kai`tWm*?eKYy&vnA23>Y5oV&b+?G>BGOwR>Zci`yV_UXB$vn1G)YX+q_j~{%L*#2I_vI{^kXl;w8Z)i|Bx__ zmw&}4()lT0*jis|uvKl^nqugA@uk7i)*~A|Y=fTktA(g%2v1$8?U6bg59$#uJz_wQ zZuE$jo_c45Ghm5o$dqn;XI*gw07~`M$c9*{HmJ#Y9YP};UL_k;6L!i0CPl-f*u-S6 zruI$@zZzSJzq%-n@%KP=&T7~eZMJh;#eaZ#q9L2R(TzOkS`2W_8?Lz;*OF5`goQU$ zb2g+UY~%w>H$-pZS>>m@BY)nz zDyw4mda@EssOe-`&L+$I_(#Oq>O15lN))r{bcX9LTmNe^zrn>TIAXe}aM@h7{Z7%brf z^MIY}F47D|SGtclUkAJS(CMH^$lkmRT=Ic=Kqd9SJm{BxU>@m`Ju5oMx_?`Grc{&5 zX$U}{&WIC85o7rbn#p<(PqV#|YEFp75>HtG|G^-Br+UfT^zG8O-;`^{%!r4G2z4u9 zA{rC^XJNy^z1>iSf)M_HL$6#sm{gPL;$|n-jijzo>*6m<=7D_t&xn-kZ;E3mLg~v@ zv91(PZj1R|Fqy1> zmx|1?r+`=DPX{~(&isqTc`uow2j0XPW5a0m{=2poZvB@w=Icx zor(87iRn_}!=1#(XNgZUi7)9hwXfe3-wKJ@Ok(a|^y`NBG&o<64}wGX_zXB{=Q8*Z p6>#RxnLB6h!)iZTQ>#CN@*k9_YkHRz^8z0VFf}#`B_%~qMhYRC<5B