From 0355ff22f39318bb251cdd2160b6c1f984c7fe34 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Sat, 22 Aug 2026 18:42:29 +0200 Subject: [PATCH] coherence sweep wave 3 (book): the paper is published, not frozen Findings 13-16,26: ch14's 'frozen under journal review / thirteen-leaf snapshot' paragraph now states the published truth (v0.15, DOI, live nineteen-leaf deployment; July measurements byte-identical in history); 'additive' aligned to 'second, deterministic SLH-DSA signature'; the private control repo's 404 link row removed from the public README; claim count corrected to the gate's measured 96; publication history carries the companion paper's DOI. --- README.md | 3 +-- chapters/ch14-attestation-protocol.tex | 9 +++++---- main.pdf | Bin 704400 -> 704683 bytes main.tex | 4 ++++ 4 files changed, 10 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 6b95de6..b53979e 100644 --- a/README.md +++ b/README.md @@ -18,7 +18,6 @@ Lean 4 against models extracted from the actual Rust sources: | [risc0-ed25519-verified](https://github.com/saymrwulf/risc0-ed25519-verified) | the complete pyramid, RISC Zero's fork | | [betrusted-ed25519-verified](https://github.com/saymrwulf/betrusted-ed25519-verified) | the complete pyramid, Betrusted's fork | | [pasta-pallas-verified](https://github.com/saymrwulf/pasta-pallas-verified) | Pallas modulus primality (Lucas/Pratt), Montgomery foundations | -| [formal-verification-control](https://github.com/saymrwulf/formal-verification-control) | the method: invariants, terrain map, failure map, tooling | ## The book @@ -98,7 +97,7 @@ its claims — and it is the only source of the words "ALL GREEN" here: ./check-book.sh ``` -It rebuilds the PDF from the committed sources and then verifies ~90 +It rebuilds the PDF from the committed sources and then verifies 96 countable claims printed in the book against reality measured at run time: chapter and week-plan counts, exercise↔solution pairing per chapter, every chapter ending on its checkpoint, the recomputed SLH-DSA arithmetic diff --git a/chapters/ch14-attestation-protocol.tex b/chapters/ch14-attestation-protocol.tex index 79bd79c..32beb6f 100644 --- a/chapters/ch14-attestation-protocol.tex +++ b/chapters/ch14-attestation-protocol.tex @@ -274,7 +274,7 @@ And leaf 18 is the second summit you climbed in Chapter~\ref{ch:secondsummit} --- the eleven SLH-DSA certificates, the cone-growth table, the see-saw: you can now read every field of that leaf against a chapter of your own experience. -Since tree 14 every head also carries an \emph{additive} deterministic +Since tree 14 every head also carries a second, deterministic SLH-DSA signature beside the required Ed25519 one; heads published before then have none, and the verifier reports them as \code{ABSENT} rather than failing them --- an append-only log keeps its history, including the history @@ -285,9 +285,10 @@ read everything. First: for both signature algorithms the estate has proved \emph{verification} and nothing about \emph{signing} --- the heads are signed by unproven code and checkable by proven code, and every leaf names its trusted base; read a leaf's exclusions before believing anything beyond -them. Second: the estate's paper about this log is frozen under journal -review and describes the thirteen-leaf snapshot of July 2026. Nothing it -describes was altered --- the paper-era leaves and heads sit byte-identical +them. Second: the estate's paper about this log is published (v0.15, August +2026, DOI 10.5281/zenodo.22057482) and, since its August revisions, +describes the live nineteen-leaf deployment. Its July-era measurements +were never altered --- the paper-era leaves and heads sit byte-identical inside today's history, and \code{verify.py \ddash all} checks both eras in one run. A document that ages honestly inside a system that keeps moving is not a defect; it is what append-only means. diff --git a/main.pdf b/main.pdf index 2834b4035dd37156b9b60f96f5af9c89a290e883..76aeab7be64e63c8e2929bfce2abd86aad123709 100644 GIT binary patch delta 62198 zcmY(qbzGF+*EP({(A^;=NOyO4cXvujcMgp-NDLqylF~4=q#&J2N`pu@NWG|Ef6sgW z$7jtt`|LXBV%EMU>4~8-gt69xIOTwt2C`-buL&s-2hf1o`8h;Hklj7ptj!&feHNQ^ zR^69)P=i)Y3!qcpSg$m2r9Y~!v^gCfI<0I#eK8uPmfC(qF{*#*_!RU~oIm~jzO^xd zDHSqM4D;qhd}{EmG}66Z>N%Ya9P_fNRarh^O zh+n!KrB52*Ppnth9G%DCrVb79dXT6glm^Fzd=X9Wd~q3NtShFu40ORsf|^&xO)=tP zO4>_p$2#EZ)v%_H#&K%x)-B9B=pvO-sB+f3%|^$cr)CTR0i7HCnO8Hmr}`^vIbl8C zm3nXE4u09ye)hO2^ngbQYdhr3)Ck^ z{l#81_ccHez9!IrHb+p=#lvWzHjzjI)j23|cjd9gi#`mSO3OtzrBy<=p1&wIyH-h} zO`oMGgF5?lOz9}X0Ctw^fYTF?@$vOXzhU2Z+Y+a-j;1C<1I=H&PD{_5{1o19q7$&D&(NLPyvP*hE z@;O|pd1fW$C$Gn5GLnOEIgu!<%xS7G{3vo>8H^lfLG~)uNU-vqQhxmwhHu6h+c(|` zRku)n@IB#8H4UAY=bM_>44s#p^!>(9J!$)47~B!chQs!RqGpge8Dul34u${7co?Vh z^>)MCdI{9&%SfV27bap2011!-dG27^ZRgAU)uO3@-b??)!?FXlRi5qp! zH2zb{m@1-D95^i9NCM?^sAXo!IShuZ z6&Mm1DeF%uDcF!)D()amAJI{=)i-H4>af5|ajMPDSxPqbKG%3|=-v1fAiB=uL^30A zP6$87t-SsMY&R8g?z@P1wLmtenI)J~ik}w1Z@>{&9D8ZbFk>j}0^JDlLFXJatLX&={ zn@o(y4trdUOQE&pWAFg1Qt&JI(R0)gn{526YmnN@MTu^#huqeG*c=Xzt>CBnpWzgLY zIZYRdPs-FwzQ30l`w=X40}_QhYRUyOHRR+gf>sLlHB|!<3msZYn;>WQ#x$_V30{zINF8{TYa3A#(>|57JvgHo(rIESPVEq zOPLz>0dn#~*jJxT*~S)OrG)2Dr?BN{rC?oCHmnv@f54FK=&z-bz4uixN9($E2amIC=W|Lh8FM+ZcpLt07y!jKaPEG=}E6z~ll z!pi&?d-m_QFHmh}KpHy4Qs^I=A|6W(eJcdWhlPY%1HB;>Z;@%CpTz-{aFCy}e@GfY zPPRWuhhoS9UZO$DwEw~&PIk`UiJ^v$YXgX}Ar`iOalo@rfe19vC|kfaHssp>pAilS z01uu9N*VxohXbKY0{jm3**52&SfMIO0ADnS*mL6lgMVijLNkbj3H8hc&|yIEtN(q( zl_D-k4Hc{gw824~8vh^qya1Zg2+%=EPWD&sAC0rwu?JgtKrO1KplIfbL2v%jx5nBM2d3HjsU$~}TGhhN z9%&0KkKvqpuZKbgpJEZ?W2+(km=PbTaZ)t(_7{~iS2^d)k{5Uw@vmo9ldDtB>N5_+ zmDux^1L@nZi%7)zV6E=Jz4fb9hN~enH$W| zHJ7S&;?F}ZxLj05X>Tu`TvjE!s#V%yCW~*9f3Y^{i9R5^jnKGp2TqMzePZSwrD9FM=V?wwymYWux9Nn}O_o~4$+)%2>E;x*2w%EX7A8z8uB$3N z_StxtC|&s)fgH@4porq=#EUwS9_a!Yj!zo6`tR~r0~zTH83U~r`+qezzPNS3G2B@r zg+=%j>^~&^;^1t4G0%rK?d&i!{Q+WNFs(FNqZQfD;l6{XSk4sDnQFusVP^;yHZY(t zzLG;uqMAtm0E_Q$jclDLKAnWpyKIp5QliCznE`gfL2=)=L}}zZ1(Z9f4gUkRP3mp( zz)iYn!?$`H+f*sO65bz+!mSq;&?)aS)A5k_oERVbO9y{ z63rESAIvkQ>5Nl*u<5W;FR>TEkJB2B9vzxrQ%fKc(ZLn#{I^3qlJl+@o_+2Lu)aXg zb=GL_RHfmUxRG|Yk*UHm^oCj=(oCi%B-&wf)bC4ufx9QBH{z>ER`7WeApBGL1l`e+ zklPGK+8xX4cbSQ;_SPcB5#uk(Tf$V=@TS#a;t>zcB}}7FbP4GsmqKvCKO94X)acca zx5#*sxu*O=f?j%BJ;E|451FQIOYclniCeV2@QF~(hgB?`!y5_?rY(z}zMurll@OU5 zO-)a$$d&z=Nard1#WogCSuReQpPnRTPHJiK!UeT4lR$_-PEY|xRShM}(>Aa8Yv~$) zMYivNfz*jC!%Xswn#I>q@Hvr!3SJg-K=o{`7z^EtP{yx33^mC6@n@j@vdm4;odE?+ zi-de8K11yw=N(J!pu3t0k|E3j3Q3F`JUNJoV3D!|7;p5d2H7y;JJP{euK~PUmDKe1 zTW#D!jLDbugvc&<^CCm;FGU%cjm(~OFBq!lH9T7FuwiBr-JJx=hA0S9kbIPo#Z|xKczWtElDMwlqFx<|G(}|s-xZrMf@xEFY$b%6P#^IpJC#2? za7U6liJ)Nys11Sm?!7Z>Gbzz^k$t=GFbsZmPa`l3i%3)=o!giM@VGwC#- zUd@85LV-_x{Kt>`mkX;e{hdu6SC6FcC*C{rsAjeF&<08=uij61ub!OW<&96QcHB*j z?aUoDt#m%PZssU!-0$QqHLO(T;JMNdQa**m1V)(z(r8q%hW?Z>jG&+$s5qCQUerkR z)M2mCeIEq=(QJQF7z-2E^u1U#U(!@m80^}`?OSj^RYBs@STUS?(54e5Q1f%QV61cp zV(Nq+6xewe1id}GX8qm~67Ta68|d~WS??WMg1FEZng}FSFqgon1{vG$`Dh-jyedsiU%4q=~FP$kwg1kGMuw>h6kzDRqj zl?#EYfT`Atg1Qnel0s^qTea|)(~=C!zOIL2V?pl`AD!K6+;C`|q=MSU)(%d3W%&EJ z=2|oxqI+D%s^_DP6qQg*^WNPIH`4kZD~+m6AjjnZQ8wZfmFC9G-TdCTUb=KfnbcUl z5>*f!lJmMn3e`R=k7?3PJ6}@TVcn@;iy8E-P_fxQW7%krT3{>m$XY0^fxD0rZp`x> z$s3z=QX{hLt=5QIbH2TM%*<~@A~KUTZoDoI4~5;(^$$nLXKZK|m8{Q4zBy~!qb)~D zv4jfh^|>(4vi|!R&(wN_6v`*|aA`0CnHgVNcF*cU(Zm1LvXcKdBppWW&9>2Yn612N|sl)aXHYD)%mSq$B?Vg9A z-G>7E^)NWMfi+WGO-~N}>`iUgE5Mj_vH6*qn|10(<(V<-AAswSUyK#%m-r`EZ!@pPuZ`QMqP)Cc zq)qii6jc0xX*1AAq~7)RDb+yU6?UPkMk(dwGd(}RqBPc~*KQ_w6>eeWvWCWGXx&_( z(y3q);viRbfk8M#G)#p$C>&10pjI`y3Dy!eIDa1~CT%=kpM0)m|Ig zljdtoSS!UTyA%E@B1yjEW%VIvZ8<^$(tD3KVZJyRv`}a0%}MrRjKI?C zG^g(X75pS#!q_e|F(4Rs_-^6k6RMg4wcN&ca+R+76tC>9hcqxGOYLRVZiBcdKG{x< zKVjJMnxQ>r;|)GOO}+w;HK1--=(sD6E3!`O7@LilbdE|(3KJM3s?RR?6VBqzF~y?q zRU??UXVaV`H7l0gWx*cBH8;Mmvt1#5bo)re3?I_MehX`xk#Zm`XTQjp-S2MEZHRP= zA1m1>-2l=O?h;6Cala9vVDgjqLnUT2l7I`LyVSx=$H5{WsC7xs9=1YlFI>*l9V5Fc z39)GlSGW)X!-1;|ftoDhSXOdiwtA9W}#>qvLVkSa$tblZ!a`tA}BpZ0MIn zO3(|EeS}yu*m@%yTp0OZsI-9kpjyQAwFu;EJIG}EgG!iHX8_4?@8J$`Up~JI;!w-< za(l0~3X&MM03+j4c*$kaxY zJTQfAmJN#6ZsP&K5pjeUaCpCsEvlEk_{tzykxgGU-1foD*dD_!I-ovvM$AA|53*=! z5It@$ow5#T^8pSEXW=&;_9J@mc=E$o>#&~Fdxw&~_49dD+R;)LBmm}4dO%wY^A`IS zljhE>$iO|Ad-op19D4a}{Y|xyx-FdbXOjhOu+81V*@Jl~Z*)`rnN$z@Ua8Z)7Q&=< z&&ZX&dBAX3tR%axZl(?}?YW@&dXqNjI~g;MBH1Qk>h}u{c`Qt}1##HYM?qY8IQmCa zZV-do{-n+_(&rA2$oky3K?i#X0W;|+1X_y*Ct&*iYE$>!ICxsxr7T-R8qqfQVG@#v zO)}_vW9QG6b)tvKZS&ffX4($(vIsD22;(^fAY~&`B_F!tL_CRL*N`j^bWhQWW;yrh zeE`D(d+;&*fQ2e&juUJ!-Lc50Mnt+6+zbh;$scAB(@wuecQ@6u zxy0~QJy6E*EHgZ^ol3|PH;PdPH+BM89j2r2^grNy4N`8?%Z)%D^hZLa?HxWx+9m4& zIn73}d7rSoZdc-+P4qv<;$l7GS(9OkTi6j&7hXxoc-UY&#hW1Y@DP5xOQbGHEG-Hq z8coAAIW5!XYGg*oF|`)Wsg08;A)Sa14`V$Xm4#uo~G>AK$$z^SE5~J zMaNM{o7S-zD8+C7IAi0NhgvutT_7Q-G4q*c9R)LO#;V{^lKcx}0`pEmPkxP~IIHR6 z$M5c}* z60HNtjXlZA#%vWt^|^F4d@!d&P`^i1k@lOl5Lj>pkz{!YVOu-)9E}m8y=g1GbfQg5 z={Yn8@Yo8{2XIGtjjZKJ9+PZ>Zz|5e{_6NSr0DKxn&W+enJ2q_0b)h`uWs_VO8Zxl`(!!&q3`DvD&nN+(o=-~_v@`n*Ag;i83F z#uA;+)J<1hvr3vIa(Hfc#eoqr>-+TohW!Dz+CJko&2*|0V2lQGRf%FobmxBQ733gloc;r^grCE(XuFF?`)rkud_-VYqbb~?I=wEs zw-l5C+L<(bN|1TKMLNO8-p%Or5hr8Moj}Ll5BJ})ueQF<{U(DxPYt&!p-4E;_b4Ai>sJ;{$c(Xc=FGqE zhj~0T`pu@1DO<-<<;@*G9bLk)C0e(3fn$A{U)!Fn`0a9=Nr$q~AdTe@^{$+S&mOeZ z7nhIcJsm;t=v?hG$lbir4IcRm+9#zcY{5Go=Y82>p)Xy~8Jc;S-MtzbTg%sWl^_9D zK)a!uQ@UTbqw$C>eb+Rm<3uqAT7KNtH>@g~NiC4|1^^C(^;xw1EvA7uc{rfYLftnk z2pcSr_OHIi^DO+)K=ojO?AQ<>0q~FN2IA!XPtl_z05W1hM(O_IK+ZqnBQ^At4ycF@ zY2y7y=i~gXyF!bOjsT+j<)7*2NS@`xfGZCIM1=5&JuiRW zUh`RfrhyuXf#&ca6*~VBfqWdlMORwrv<|2e3vy-q&jG%_@+yfPC=(OH;`eOgcY>c~ z-``R)RLc)!j}76C|Hpn#!gIJr@gPKO$V%Qn+x&lX1I!1_!9vtZp5g9D*xyBhs+WM) z(IAx#|3QHN6yeDRP#7v?wEG|PpCWwL4Qj!Lyqf(F|6L(ksQfHQ2Ma>D^Uub!X#ebk z@D6AN9g=eSkLpVBT;Y~W5G6W96BhQb2hWo7bK$9>KCrMgD3JW;{Qq$b!1Xt{&zP`m zSP*B*XLxevch&eI&sC#=rc=Tq;z0=b{=@&&hz2Um2iuAVaaQ@yHjw*|yiW~HQ-NK@ zf*hLt+mq*yd)Vf%eb^8ckN?mVtSuU-y9aDCEF{qPAM?M{QRoYMiwePw`V0S_Bm7av z1)^X@FrQ254dUkeJ0yS-WWeTNK$y$^8Q}lh*P3OpMpzKKwr79WeBd;G9|A!ds7f2G zFdhVU@|j#a0jmY!crF5zeiC*N1!A}S7yLch_;WH6mthOBAQjJpf3`7gPNs&MG{F_3Kzw`t?yLde`!hs==JmjR#DNUV{eyp>1{&!892@`-V!i(#3grK< zjpFv@tl@89c+77zXo8}gp+AMwAU^w7bhVL@aC z;AtQ)DG@aOURQ4f;QR3)7K!)>4k!?J%Ky;cx7;6gCM7}? zIwX_*ADi!QM!MJ$2vH%bBL86iKYivQg3$gvpHliC`X>^|b51d#-<1%SF(91A&!4?? zLeP9J;_v1LbFuUC{hxu4;FotxGU?a1$lv2)FwM6@r3wR2hE~!C6LR--6xl@@eYxWXQj^w%OrF1o#DQ|U6}XLvtx#Vc&C7~*r z(XpN!3TnPRNL-pTa3Y#Lx{YnuF~80&-1P}zJjAwJ>+8+i368T{Xlh%9c@#XnGP9Q;kYUM-=hXk9 ziz@78j1iSA8}+cFamN&7H10@}xDv^JL{lyNCW;#oIY;BJgko8xeTj`Qk_+ zjXTQtVE6679LkH9MloA$eY+;G9zzPG`RnYH@D&mI14CTm$PGJJLzR0($?$drW2Hj6 zU8KnLHl9A=-Wjfu$^3*%@aD?xB4ywgxRV^Cp4=9kZI9~CUd1VCldMIK1^Ua@R9E+_ z;jIdm;0;!rCkd6=0Xqw99sPrEee?Zz-wZ;IWb-YItt%zNW^?EyJ}_$J@;NB52|)6(I#mUWqe< zb%`t3I%h;DI6+6JQRoHJJAph^w7KSbs~?y@dYa%-D%wM^Dzw@Q?Gl2Y-_vV5DekjO z!5B?5GF^Na&^dyfkTf%eH|b|LG7|O)ETvxL0B04qRpyXG zKVeEGaX&4fmqE#PrZ60}f=g zwt~y_HJY&Lx^*f7%maahp1HLWWft!;qq^nu^xd&+z-qVo?XD|qxFOGC=yky=h?>AB z*a10UZ5M*XDE-ZT5cb9N)SsRv6T9TqrSNR9Mg8O%MK#Cn(U=eJeGf}=<4#{`*31=h z@Rqf+MQAVCfw`>nM%{z>#Bo(BDJ5UBo|ieb4#c)jSW?Uc22Y>|&oSqqDi*wlXCb8~ z3%Tt}MICB1u&G2e{N5BO2*`82J4G&cZ{O<+Al&>2Ld@jUHAvIq!To$QQ$Wog+~lm= z#-tt3`IT;hiFonnH&b^v|Y#Z7an3P zTr9kI12CY^;Gr@ynWQ}4ga``+f$qZy`sh0p$%)xkR?lSAXvk{E?bWC6-_y6@`O3>G zsD@=z?Ov&(H_o}+kuD|_6Nb(F>~*remK&@kpxo0PDL5u0Quu|2!t`!4XoH~~fhkxa z2jL}-b3FkcS(Ez=sm`v0$rTm+Mq|;{)ls_C- ztGk43#)|5vYV6r@XJcgFYsH_b`!*;NMF+C@k=Sm<8^+-b)d)S?gny zOr0R{qEUg*f)ys%k>(~HBkOXYwm&R#N?zi2=fUg^Z#yP^6&{(uuozu#)<@Oz@C4wK z&g>wVr@$XBi&cM7e#c^L!f)7amGg2Uvlm28V;r}ntjo7*(xKBj)11zKQpI<{gQDFE zH&9T_>JG=^BLzUgu3Iri52)E!T&~|f%oO<|5OM~d5;zqQyda?4Ct76VuCihy$3rI2 zL8+iQdRCUAyI8^mwC9xvg(HYCgd80Qs58&WAR3u3eJfr@sW=Aqj9DmyUj&C4RT#J_b9Oj zuiO)uVF7J2q@2gmS~Y>xB6#0s_SH-iFEzK}mGqbIpn!=BM4eS@^6p7`td)EelZ~$! z??HP`la6Noe0INPOuKfm#C)j{hghG8{9ErRzPsb)ayjS#$V=i zFFQlKRwp>VVML*4&#|9`w-eGN(ajRo3Y_+TvE3C3q?D?F zrAvl%TwH(JTNy)7PCNkLy&*-zjhhj_(*oNb8kpIPM2ev#0(13#J8}p%;9lZ`2!r6* zFgW33=zIHRA2z3)85^L>L&k9kilSq~_KF4`i(zDSJ99<{d}51-Jf?}iN()heWzrr~ zPIq*5x9$Z*52U5cG(F@H$=dFxMu_o)!*DaWTJGydy-2nBP!_BnZ4NDSsd*`NpkbWQ zs4ex$?1r#8`J+mYUS!>F_C>IY?dpQ&IOFt}xwzi(wFq$P8$XB0(+c)nLqJ+P%`KE^k;jnn$t|Hf; z{mAZqxmr@Pt$kWe`jYsIii&&pI5Fnbps*YjvcoY)9Omh-zyR+k$|9{&6;WsSVmolp zYU@QI;nn23Of~&!Ovb$oN@cp6+?j>hwK96RNZ<>8Ut|4`x$K{dd$MJ)9BN8!vTt$0 z!Ipq4XzzvFmTLx$$R}#w;O_3ctvbt@T&aFSua7W@AqSBLp!Uj|qCiHeR>0J^*jt;B z999YJ<_gVP>}@@$#pHQm*W{Xga5vZhCb8#;3*ARXmR!ZCbz1A&49-tQYf%ajp>??R z&2^A;(-*63*k0jMU(|=lS53L3Zm@~2^ewvDCPXganzW7idTfQ+?7~ojT%NtnVd_}6 zay+I{`X529+y@V03~5c&k_KHHAr2v;wU?5wcDy}PYt$qzeaW_ntSx1US@gj@X@d5- z4h_`fnm@Z~ic~C0ds_xZqqh2>^-kAAEN~f=3yE9kmb;q$AckWMW;iyLlVpdDLM%b! z_`TNnZ*8Ix3Ti_`nJcasV{Bu%gQv1alE;oh=6g09u)QrL=~4?5Duoe_VJXmI9Pzw& zBBcRgo^mO_4f7Dqjt{1fpN3FE6zI8G zd>PLQnoOVe(Y}*tGX?40Kaij3_jDhx)lhv{^UqQXYtYoK;P_!(j@);ceeesfG%(O$ zmmuaX*thoEne55Apw#=zR^G4kPqIrk1f!r+m3Mn3ZP z8@EsTPyRT#YaX2JPRi)-hBF2dDl1NWzE3j?0D^fgbl$raoN4g$b!iCjmRw)D9w1FK z;hQ1sSnp~1!XIJ2aX%^kd4Af=;J#+MKcT}PMhcZ^pm8y16h!#YnWNLwnb#c3ok1Nx zz!0ZeRI6YkTv=MpX5X#{u2P+kSmNR{cU0^sdy!=PU4}(|8s#3lxY{j#56CZOx1Q?+ zs!13YgWG`-u=3F|hLJD!olsQ_js@X_kB|1jQRXrJz=`@Ku>OQ3$uQcSE+-QKM6Lnc z_9r$$FJeWjUk9~?s@p&L-X#wpzVYAT$jh7Wjb1RgH@LS1<86+B(>Pr$ed9OzwYtz~ z+b=U!spszxx37<5HE`Kt*mDu3+aB(h&@>^w+P4+O#J7s93ymx;Dkz{mhm%ykl^utz*YTQ^lC}(Ie=F{Nn8pgQ_d~y~5Q9*hX{av&lVg`0R!_M7r5; z<50ZZJhM=xm076@h;`5#csBSG*GJaMvtY&5RrK?R99XhDz&VX#?Ctju^9>eu7t*%q zW@=yK5&DPR_E2#DiUjMiu)?HC1XNeVZ;7{$kL=1_k;2DOv3Nx;TEj8KgFQb%Ee01D zoNkO#n{zr0&Pj{FqFT2k>g>!;0mgmJDaB~b31hdBOnNNsb7D22WySaArEh$oZ4*({ zEjviu+zcY)v7C2Kj1K46w={BXT%~5k&9B5i!beQ=nRdVOqk_LW!j%wEnr8X}k}a2U zv8TmO1)~tx7CB@gVaB-QO(~s z#1q!0RMl)zQX!!P079KN*kE7V4&rqxc5h_WymCP-lE!}Mt69_xY@*E()C^5)Vj}$k znWl>dQ-yHdYM+}D;pFcs0eW}+9zUH{BB+KCcf-cqCn#R{jhwjC9|Vi<`0Dl2e#*p9 zGmES!JfY8js)%3tIVQs6OVEe&WwJtIMr50P>G7(crUp5n>J=^rbcQS)#O!1)OrRjO}b{GIhhwL_+9U0uz`CHQrZxEXQJZi&HgB_w9SWE z#X_!1pV3HU=JMn5S*)FADsq~Rv9_vX5f~;IlhS{+ zG93PXxQI@LRC3%ocD7q$gxR|W7iM=stbVk8{}iYTAu7pcTZMf+6g-@n(cBO1c6b!| z4kill5>UC-e6h3(f0dU@_Sm!?y zGBlDml**xS@&F0>58tD(-jEb4jwaCt=3IH)HtthOdd(L+lvzVa_|FilA0My}l70;!^I)e^S=!XEih4t9S3WoWTi)vCNLP^0G>>x!afW ziuU>6h>Vq5K|9Z)L=p^~V3=03M;|Tx5PvQ?x6@W4)YZHf+lS5rW(4QpJJ*CagT-Lk zFcD!PpBM--q>@8_W8zk!9oEyVs=E5R?BZN#<})IWUx@C^jG=+%yP~vF+%hs@qOQH1 z;H52lBJTiS3+y8po?M5A92i|W03iCB#bn!>~*7#fo~{Gs>sVCYptYaJB6uec)_v^`66^^_MhW1?sm(U8a+fin^Ox7AXj0#A zuoggQihidt@^d%y0{w}RF;9BTpLcTGRz6lH56!K2Hj{l78Q*HFA>eyh>efpiYh`M5 z15+|J^{6g(^sT5VZ7By5$mq|ruWCr@IYaj)Mbp34J=Hrr;Ly1(4@nuBt$H?* zCX3GdA7pJ?5mNT~6?jGAp$GoZPZo=C6OODSt>eCsXpW5bs+_mU-(6X}uKP$f!R#rm zcqw`6K+PnV@Lplu2v^4bRedW@gn3MtE0~(^u4-yzaO=$H!Z}%baYr$cl1e&Bv}B~i z$%exXGb>tFpbQ^zezZJ0{r&<@^cFSFsma0&`6}z9xSjv~CGl3En$_6Zk>m>HU~5lJ z1R6Nn!$-XPN=+9})V;!bx*)!eA!vueJ_@q(>V>@O zCnY>AI;e_+lbke_&%0^83^-Pl!KO8HGS=5aVPqe0#%zu&shRHNxhx%*;^z=|_7w#} zW#=*(jcs?tMuSo$&IfV*1Rf>hL7rLmBwVoZVUfkI*<9$kiFVl=5gQ7mT;QXHIQLv| zneH66W5v3e^cubL<10B&JX{L@&=}vZW^Tk~AwqDIna;e=vdRi_{uDF2 zyOkT+_dQ*O;$;l6yuZJMKPp(tRy%c?AJ^j$`GcbDdqxpOHx*glDohnSUjc!G;I5&I zc$TWr#XW=z=?~80%hZ-T9v%`3wRqeH|VeO57BS^K0fN!>Q{JW4smJ(w4PCcMm2^V}#N?#&*e1KoIuc-f7xZMIr%n&JfuoY6 zAogersio<5s1h^7L1^3aqwI-UxYkm7r`mMN)=SxSB>J_FFFOpp_^tgdU3ZEm#m{)D zqZ`^2Je5K}Xf=i+-WPbWzDx1=S&^H3mG{U4>yzcggP)-y@cacR{4pmzKakKni)dSF zLlH}mQCwM{B#=2s^R80%aioHAC30;%K}zgvUWP~7ulQHwCoy=`k#dZjKuKOp-sAzM z_r$U$VlDc?XF`SGz+fTn;OVVM^<*hK92qzvtUfL(>^Ja>{APxQr%!CLfF&cq?QzdI znVGwtiW#T5DSUcA9N0ZBke%lplm3$SO0(HJtj&22`fPD}t=pDqekHm5-t3=f1r$=}bFY{BPn*Y_@-<+=swDToORKlzgY(YY6Z-@a z@aYm^YuJk+dg4wpTg4RE5(mcMyD!X`S0 z!=l)PhucPP52cJdiprY8&Rox*C2 zC{a0Cq~hkdJ;k>OUnZ&W(=jQ>KjPzospNoiCwc)T5!sE@lDbEeDgQ8q}`+g z2l6f0UH|~$_V@hoAosl}zqwzC>xGKizVQwVKEuG!P@3JSgagDKvu~SkjLME1TnV(z z%Go%+$r$T|6!h}<+tY3$m`2EV@UptFPn2WNhebH2gZ=N~Vsr~)3s|g8IOu`cOSCX> zBc=i1r=QHp-IF+b4B)%7cK*0`0z1r6vZk9L#ypvPk*##V6<$DX)-R2# z$fg!8#{?jOhyN&hjum=RraGecaY?!%Y>f^Uypaw(orK9Q_xH=|cw=h0;iE1+g9x}^ zBLJkoqvTVP0#2w}l;8!|Q84sShuObHh-;YiWMO8_P**aUWN9!YO0pRADa?oBEg)V8 zTu`XCB|%DQ095sI6@(j?G_>i$9M3>~Vi1@I-(r4;X}+iV2^XP=86Z+J=sgh{@0U5d zY_;}{2{a?y2cdw=3PGB+CQ5`OOxe986;Leo7)m>8pW*2(HJR1U9zA~yiY3G^$C62< zM+l9uJdX@)%P@{;R+dKDw|LN7d2s6j^SvO#37BKZ=3n=Q5y&wv>X&Lw>TXpvq>^Eg zINPKAqGaJ=keZc7>$BVTVlvr+P|VJYPKcKHCMakYu^p#?ZJt4(#NkLX(gdb0rd3o5 zVcu8o+Y<@kM3LvLTt!@8bi*y&t8F8;*v zs?8Ahj)Db+cfV9Ya#JEVAj*}OG~=utHOhxHXpfvxulTcuefEsj#;bt4OIFpB14E`e zin~1&bXS`kKSIJs;kR&!92RqPc60IPQlJw6UWJp zY&fOiH=;{HcuRazaV4CXfe$9P>3Y{cuJfF9dBOTxFw^yOVpVXlS}#%@%ivj>*p?A9 zxuf%u(Yl&P`Cy#TVs}YKiEv63YRC{{nKX59VIT_LQcg)#$n=L>o^M5v5z3%KzlPYE z$Ef16hECs)J^yuZf|Y%14yMry6W^%R3;Q;ssE39kTrrq?GA=OUgl+1&MCOLM<2V)` zE9HugJeq1(p<(xSd0ewJmhuGx9sCa}rWp3hk%yr{lvl&28*j1k&#e!0^VtXEb! zPdIZRXZoDaE!tsBj6`VZjM_H?XLk;KKS^A>px~dcVT|E zf5GFBA=sAqO3J|ggafABG(@IXV_>t1$~1sJ^*0|!60#m+F^g$Cj`VHw9Eeu68#iQ+ z(weyRb!=O1d3>BFCq}%1ifcLX>?oDaCJ*rpd=OwjZ9G zde+|u^(a>x=^FxtpOwpgli8qL9xiZ0y?OqDaJ*^6k^tAoBR22^r#Yrd3Av1rw>f^p zrg<{;s2vpb8m3kbL+J92ZWl(mAyt%rh#gVMd{htiM43}=ae$xVU@`j4Q0!~o;xO$} zdLo{FfYoR@q`&4%u;)R@OeayN^TbDM$&EVVz|pUtxf;1rP?6c#-)QqCO<~5*_|o>j zFt-+q0o>M`#F>I|wizHH>}*Nby;9K+wV?oPOUh{>p_qDSQh)5sq zLfW*XvX||wd4{RExaj*t`~5~UUcG9KX+SOf0F+(GEn)(fsOEE@wPCzM0?Z3;=$H3F=P>VTz0M z2C>ql$Y4{s5{IF$-3N{rv}vbC&CR{S(>9nNOIDCRJL@u?ElbJa`Ycbi>6|&c>FlN{ z2LM0dD)z4m;Z4amyw7&Op}hMN?S@IaD{PWHvL(@<4_?c}J<(47V%;Ght5S`Neou8H z43Bh9PtKC!lSkuxNJZhcMib3%864HH4TDm9NmMm{O4JqVaH-N_g3e~zc#k|`b(umi zsJjNA)r4?glCJ zif2pofS+1YZ294W2}w&4onq|yC+XqEdZYLTwrb0QZIEHM*a8oT;(uY+XyXglN&JV+OyC;=qw~A*=*DX_jH=+813v<$& z2wF3;KqXvD;xr-5&dF}_v4qLb@m%J|Kd6#Q0K05Fk2o@V7J`l8*WLB-W%xV{No4sv zZScC^>D5IR#U=Z}$wkYHxIOEw^Ezrlib5zbZ8#&lLf>fr0{qEpE-eKot^Esf z3_k2rh{v%kuHn0s^eng?{P37E{a_ZEZa#w!{@0XvNh1UAZisRf303=5Ah1I(eAC5T z3oT0&*AW{^~6*5kvwY=$&6 zvY4qLH@D|k!~jCCa$TfD-eI*Pcx|FhrM$ALVm@P1T)z|JuyCZv42IJKe3m{?Wy+L- zebWzL#j%myPt#2p-2E0a@kTWpu8NYMNDbjtc0S)(ZpM%oups&7`5jq{9VowhIN13V zrwVzNl2T8-{|h1;YD0)45?kD>QFzo%sDhKe#df@zWv~V1lZI!pl~8Ga1FRBOyq{vbtA4n(`MN@y&mLe23*EQ7)kk1Q4cZgf}g=)mnqcTBBDkC~qU z!$G^|@la|3;{zN}CXX&rfCjA$pu&;w{p0_$Vy6eD05~!r~AKx3>7Z z+TVAx?63Vgz8`O|-oHD(-#?eb`1SF>e7@(iIJ*1i03X{7&+htPANT$Ho9o|zug8S% zw|joT*Yc)1BH_2&_bvXmC7|tne)Gqx+c^y26Or55`F^!K9M*2{_q|Ja4e;#vw%8+N zyw|_t=jjT{V;5mZY9JnmvXT{*_Ca8JV7+#$(e*z;c7q?lVVp*?ohkwTWZ_{VL%4$0 zI*zRY=LV5sc_b391V6U_mjei$7Jka=cSE-@f%arY*7Bpl}7VRykUV&tlD%>SmNZ(}wHH093we*9|hHt^KX(0wl zB1Ot4!7aA3{u7~6s>@iWP&)-=^=d=prg&va?+jB+%7go0oxY+7ase31ip^6l!)ed| zEHZdZ&Yzi$ky`bb^2tVJ&xKx`il&$qxCiHyr%{G)*o!%)yVtX2UhwEpC0)?O`+}(I z$2sZL?q8Yu=r#e}^czFIpG9H_)lyRgO?d@Dv9GCTFrMyPrQdf@Id><2W(`ty(EF(! z;C!>v2C~oB@Bha>Qv(nmy9Fu1JBlb|L;1{$@C|C|O+E{S7SLg|JB|j)?SMhzuqV;+ zW-buTtQr#lmEMPiYRG$Lr}7fn=)AFlsD}jPHU8C$4syL5C8X^%9@O}|j&ufxn?Co7 zO2rm`3Z3vOfU|C7FUX@@B0pnh(EJK?DSCqVP|~(sz*2R>2o4a4Vtar)unDGL7V=ss z1IspEIofy|bIkp9ROqQG{|6BRqZ+Sv*GA2I7sH#vCdzS>EoUsr(|$5Ecek;-i4Hmu zG|~tel^35G36EU9SO7B3c3}WQ-i+w!vNDvT$*18j)l^Ge));3w3t#xC3%uaCn@f3l ze!bM6o=jKmEH6NLu(*5CH&`3X7add?L=d)L{PADI9P2jp-36-ZE#Q;**Vgo4*?;m! zNKuSTErw5m4k}9M1!D`0!K6XcoXR)a&7I1nTo+x(d(H|wi)I>8o{Rey^5hR+f3JHB zusEbS5zha)=lRExLrRmRI2I9rt*9MvRyR{z{NZD>T>A=WBLpHz<6K#mDn38=&Bf0RRby5{Q32 z@&&H@Xo?yZ;2!0S=-3W72#H(!MC8DecbvaNLQ;ixYt{Hp7qROofcLy|tFJ`)6MS{; z1qv&gP-+2%p0qe_(sR!4h#kDQNJ}^Mg&{ru&%J?W3;nMR5mU^$Qu^Mfuw})lXMt^8 zEA%t=LR`VjlPYlrG0qe4zz34h2KnUUoS)%SZ0exJp&3|OcwZC{BC<2q*a0zawF2n8 zpxuIDLu5Al!E{#*LdNdki@pT~Gu}4No^y&s!l(cZM=DG_0YsBe;ZtvRZBMRT)#al# zegtVb^z;?7&{H`$(`2RltP@3SGi>F4Bee)IncR%Ze&t{aG}I;HW(*-uu?TAqiMFj) zwq{A`BG@HK(jd%g~VS)$@i4-QdtvRQQV`Z9F9m+Ew|C+}X#F1zFx&6``HgH*}<#Xd=s$Z297)?Rh z^o>@7-BWuHg@sI!E|d>AroM0LKE}I~oy0coW}ov1jCyv~riMV_%j3m&4!<))NomYh zfvRKpo}nTWQ!Cc^fxJe~Qmf-zA|!*{WCwu24FXkB{-`rLodheU zYz49FO23Q0B(sbX;#5Xr)6=PYr&cFVJ?dg7Ve}Svi;7%BAQi1D5CtAt0wE+|ceKJwn@D{hu7~&}dR&y|irQGSV8-D~^^(A!5bs&ep<`7%?Eq zP|a0F1@~~L4(L|YhyGVu_ys!o0ZSq;=D{So(fnkFTTH~4mt6CLDTS_p%iaQIUrTNK z5zvbsC+qQyCCKIMB!u@Si#&fhvYAeg-cNP6sg?(0E0TsU=*FUwEW!A{bfAsKG!IX- zGD|>Yf=Be1B4@pwl?)m^`^V;zLFn)4QryoBw)A|E z#j$aLlvsKlwf?eEKG5b9DYMV4;_OwZVKWm=c!!3Z6#{Nck3;0utk+_Nor zD>lkiSADjTh8+YO>?!CzyqE=RjgoT%F2m?*hK*CyrA$nZn9!%^S?hor=c->TnxNK2 z@KF?nkj71hcx=r7bjO9G6fp$b43fzM*fS?z_PFRPQ9n++?&V_Zkf(IJ+%NG)P(eJ3 zm(L-bXp+tJEAi$AKzFtk_U!Hj z76pmOo8MFvK=H@*J}}j8Q9!*`n~r6Zzq+`LJ|tMOaaxAyf^wfIg5<>ogjIF;xT1By zNzi>l)0uP9BSGFz_K!ATRM86YUskkBB)YEmF@}Kw3CfZ^JU+Zg>_&&6g(qEu| zO?@fvc^LojHnf$+GGU+yv*8^>Ld*P#YOEV7UUPyV!T+Wmva7lSq>AmkE`C!)lqL0j zNrl3XlbP;cF7@^_A|RBbt5!=iT5-;Q{nFYO2NGD_mmJV2Uksa`;zhtvll$G!RuZsn zl|QMKCt(r@N?)KuW53b8_H7ZeuBYyYd6G1U}BGrvjIxn?+EB{GE^5`;g3XEEfTos~8t+Z1^=?08N&d#Ywnn6C%tc?T?M=-mTywH_ zS;F(V;F59svAHIc=@|3QCt$zTtk7%Yvt-FiGPs{DYL^ERkKWK1I*q+Vjh{>a*cAK< zYiZnepOsuq`_kQZ;Lm74Hjm+}v_YZE9nzEgx7Gvbs^g1cGVVg|{yRM*rhLgiHB{M% z9hI`yLZGq>8Tu9?nolg4WVmi6TY}aXYg^sda_NQD+L6?Qc>^LLytZV+O#mWei;aN^ z!Dp1qjP90UsBiBM6)b=(M-BHFM{9J944cN}%C^vfB4bIK9HrvvhJO$OS15g<+q53bX}BC*m0aVj{RCjHA(+ z3KVHr=cpssYn5nME!Dy_Hhn4PysEa8c}ov)>ZxK{x@7WHecq2`S~`{~|GmrhRFlfT zus)?aU$gus(_xXs@K(|LLoU?E0M1d*UrC$idaCxZN`xS75Y)paUHqkV)7`hzfT1D2 zj44lfqdU#6eeUUqqH%)1O!r7BL+QKa0WA0MN`y}YAB;)ds}vuFr)h0iJ5AMT_oo&B zpU!J`V?DftQ!|X(4Xo}yiDW2#0~bZhV;XK@dzkBswKA7e)?S;zInOQ~L}6F21xkAp z(R!V}X{@GQ&v1IXEy!`H>#g};s(}npUusz}D&zic$Q1>Q#m6!G;hxhkcqm1VhjpFL<{dyT6w`MVhV`hw^ z)HcpHklN{QGJBQ@KsPRy;6mDq_WkK zp*L?J;0dahacmlc2I~?wvA(nd4rs}omTV-|G}FCK&G#lw4L~(EuVn=6!=O?}T{>M3 z7SC)pF#uagPFr=_+)ciG{;OI@#l z%RjZ^jJqv!Rl~3YJ>4M96 zAbSr`!pTxTF|7yyhTYeFwrTz6cOTWgltt-2kGHf&wJjjVk86IEDF)G_%F7T$E+3%U zV7l{JOj|;g%=Iu<_c8RY6;l|ICa0cp51?2*D}*t%Gx@JbY1*%JNZ7Qh^#7yX{4b|$ zJ{|G`354@MR5JIUkN@Eo1$IGxLZ`iq{GTuDe+hW_qmWhbX(G!%*8j)^{;<-1SalT5 z*2|E=$Y~a*|7ZR$iI1{5{uHtXIj!~m2e91Hfm8xv|6lIY_B*5wNLs_!{{fl*qp;V! z_63;)m39OPMUjdD^}lpYI4G!T_%sy^DDwZ>{v$Wo?1=%TjF=`$0rg*=EC?6l|A^^X zQ$SfGq{*}WpZR|z?$Ul(c!sCE6#pgMa{ccj8^xh&pg~xEWDrfE$UvAl z{tJ>au`&I>>wPA5B<=CV6T7CXOAA;1qp*=%LEsHLqBnLVMwQRuoH2}dv)(pH)$elcsG>7;eKoq^}p-Y0B3V;c9EpDGQRJLozh=gvha zgLI+Zf*Db!!U>!WU;?c$C_(`YWHBltG?d{ijLsIoL0Xk1!KD6b`J^cy0+Eio<8X!$ z#(=LYU$8Dy+b|3zY-E7;W=oj|?q)Z#&|&*uPZ)Cs*}{eZVNe1q=$L1aivGR^i;8k1 z*Z{4WqCpNsw-?b6I`$R|psj;EI*%F|V`C=iI7ZPD<-6xPKvz}Z*1F!~pzj9FF* zl3)bf4UR|F>!Y|#&IU3^4hz;GofEa#h8C{rn}(u6g=1g?KAqXFV(@0<03J{o*~`I- zs=x^@LM@g=BhEu7>yH75%#Kv~El$-$8c&S^Z1jv3+HZ)@x|V{}3(Y^;3Mq`NgJ~oa z+YgdAWgLm1MFoM~i{Me{97-ofWk~Hi3B7^Zep(*iOy*TdJpzJAqy@u{am?~$Rt0Oq z@h{fVNKG77Sgb{@ zg`JZGjUEa;2+5Y#B(QvES&bYhy}Wb`oIH^uT@p!3m61r<@P!LYRHZWTrMP5Zr?rRX z*6U+#X9R&2oc2!?FJ1sJ`7KL}Z)QW;ZQCA~A+Oz;7|@aBReE*f-=Lox=V zw2t&(midyu7H}v)fh`&yW0Xy0f=39Q^VfDdCs1IG;_(cRpXc!?LjihZ#X3wq0&gS) zu*E`=!a1Kx6wz1wUke~&Z$3rm8iXDj^n<`N+8JBOayyi}evXkY%pvm(tOXwf1n`5%R4 zRPt$f-*uTuphVt^)IO9k@iOr4mQ4!IK1sibi_(YCX6e@$IFkxskl~<0B7VfFq?;Mb z30_tOasdvIRxWHz=Y-2N10*V`j14D2Iv{}F%WeGV;h(@m1+RdTQp)O5##96ss#KT> zF0cD27-G91Spln2n0zLb2gLeI3>5QajEn~}kx>Z!OvS?!o^XL7joM#~o{FwZVXG*# ztgpYJOf6q-@ERr%=OYJ;850bmsILe{I0+vMsI3%0oUO^~4DWtGl8o&IodOKcbk
    f>?)ex@;V+^Pe3xOyL zNoX37v-$P;xvoBaeWkzg^*LT`*WLbp`Sp~gulMEhEc*V^;p=n%S#SRR#0^ehNe7m5 z`y15*#ilBu6)MTVIb;Hz4aSpq){Tzy)NK!WGpNFq5z~g^N`}zcP;8S&E&clId2{p9 z+2Cfw;HyYtAhtj$XYxt^1i>jHU<#%$5#N77ruYNbm}Tld$+K$B zd?g5s!@KugD05NsDQ?P}K#jBb%##bqBHENRzd<9Yjp@zE{SAFEY8WV+A2!SzLOfEs*W!GxEWX_3i5S%f$?#rxxR?TG_u%t<4k zRR|WTI)>r|kk%MsYPg;P%|St`Y--FsD!I(eP$CtL-#gK0TzIxTV%v(*E=ReTpA^oR zB|}XHb_oX;ZXR+@IjT?C(C6o~sY40Z8Jt!o9)o^Bi z%xMc`MS&m*JxX62PaiR!v26h6P)q}b zqg}9vA|1LAHYG<#Bzdb1JKcE+O(X>SLRma=-wbxGhDnY@`B-l`34VU0p}Ih+P8XaY zU3k4><13mBV@gklA@Kzf%oQ2(khkgyCi(}l-!tDe9LrjYe3m+hi-GhJ8N|tk=9$tY_B>C z&6!)}R*15qe7lDA8YvH`OmEhR2Zx4DaODM!bD1@~A$bj`;uKp#m+xh)pb+f!HzrP; zIhPh2HPZ1F2?MBgn~AS~Y7cMXBC(2LFl_dJDS|WD!(mGcj-^2gQ-rDAm0e=}9SbTH zSF*xC@Z61sAsQKB>IHP@-cr;sqVmqLsat_}AZ)Tq4`A!Ty~YD_Q3$^R`~-5s&pens z8#y0Gz5aHARuY6Pk$&$%QW9rF9gg1DO!h6PdIpimttzI&`Kt0}@iXm~Evg>rn?jOu zu8~YBm8H3MG4c;t!{E)%7Y3D8HV*&1{xEkkSkP8!T*G}GyySrOrA*&>EUIwR#8P%@ zLH@lt-cdY8;_v~8Ma@&5G{u%2IPmh~vYx%(K`~6f_({5)Ow7*Sn62|SmYBN^x8}%y zpeGm?_WjgGiSC}zsXJRVmH1p92GIYe9`Ph^yXP*{0ZmN{X%wAOyH-InSC{y1sk7E4mZu<8v&E@&zMN%}j& z>gWT%W2_sRbq<>zUa}AYX!&-)K?AH?PQ)k|<%+GGU8JiPw z&Ci>I(_%bo82zl;Bc^h2 z&C-d;WSdawp>n>N9_Isfg>|GB^Up6l1Mm-alG-I zmhv)3+R{;#p!oC_tlGhIE`+u((U&Z(uyD`%8_`^c^7jhqlW7Y&W=$1j>%Ffv0_L2y zeOy@#bl4MVDQIzy%zb9d{MN}S#XQ3r!gMLpSjSYhkmL?cJZudA$j_aiqRrnK!8riT zlNxle%N+aX=Hoe!l`pWg?^&ywZsSZkG{fNDCY-uG7992K*YHAPY8Wp9`7MJ`MpYx= zFt=uIUMmU$;TYOG!pW)9zXkHPKA--j@l9;HW*+96OxzM1Ny9c73Dhv-bG}rAcb-A zseU;9jos`f7ELE?t`bNM^P`R0BMX^(L@IG@Ee$wDUJM2#Y}Q)ik=a=GkV6YGZl$4# zNNzDa+Y{4(1RgJ4xP+=^#2LWLn7>(2s|}n4KSU9~6EA<+nmPm~&%2-r|LY&ZK?zJo zt$wT~ugAiXpHU=X)JXjT9C(9<=_>e51Sk*$L3E6Xb~l)e2v!ytQur;Oj!_715UvEM6O$@AFL98Oac;={z@Wy z=4D;zG?FItDmYf;JHoB9YSH3*TIKwX?4bMfjOQE#2dG9C#?y_E1!+N7F*a%1K%b-pb}P*WbY z@}hCIHj+3~-2UFleg>^aEv*_G)_CFw^Ty?W&0HKgkq~$w9GdZ>ZFc$FvVEI)kczL9 zSDkPTQb|XK5_1<}S^jm?T9r}UzKpI3LQ=jB#*Pb-CRBPE3;;aXGSwWh^)^ZBa4B*u zkA`k^o!D01Ab5vmI*C1-MYB9v)W=1`@u?2Y>4)-=OvU)~V>*@3J5Uu-_B+Za_hh(8 zO)d=}SgLL&<0~EH>uQR0aW;k(*rWE!*TBt!ea%n0-Rb4@JU=PWh@VS5ygwn=vicBEQ7rH!d)s#!vV0@MKsq*jVMo}&hIiaFTJI; zVY5x+a6U)c|6msqdU751oAief+!{WR+IugYh;QX8*TXkDNW}OZJiFLDkmf#_orv>& zBWSNr#M#K0`pKB?w~G64r8!1%Vy#g_ z8}mi}G|F0(0LzFh(s#dwC6HqZwKal?B4;aUekqH<4Pv%8McV(wu}q4?VV}r8Ag$7V zQyd!UB5Z6V`LX@@W}l>=r~0Wd)&Z`?ZRs3_c^8%D+9an0`jHx%BzBF_En3Z~?* zxXKKg4R#|K#44^>6ZhBKabl%qIfhGq8hCV1u)7FYqM#I^N@E-gGX< z0EU_>MeqA*eZLlOMB7OQdv==h??D`kNq2(}qJa|Cwt{*dpsD4E13+D|&@;_daOC-+ z8JmN^uxeA39aQU>VC|oXvA}Ny&?*lsJbM0?<&#CzhZq#O;(P0fU5VdACX(DjGYnFE z#SMvumzYs0oY5`#QW2Ux<+5v`^-$B+udq5+aA}ha1DwchB&pwOB*h$XliX;Ch)sd3}iiW&~ z%TU;peT<276z;5-Z^Wy1anC)&luYxpm9$pL@hq#i%n=#jtKAeR7XLusl{{&HhOV+i z?oJ*&0hVy`?7%*tk6MPZW8pBe;MO;CfB1xV^439zq--T6$pG80>6FCQKhRfY|$_EMF7c@Hw$~#KPJNOGuH#@_3q> z=oF+qN2HkFcEZ?ekr-4g{iPH1@@>d#~eNS>q-{kUt;6^{1cVUC7#OELK{7_n~G)S;zOOP zbyUEm;8G@cF1|@~YNO{fPfl-RG7!kN63T zkiv0X**awnewEM_eeK;;=-QsO_2D4S#ywZu;YnJJTV>0T}7)jo?_I^|HOrrCcA zT79G;k&WbhN>U2e<0u#P82l*U_NSzd!DzLfY8r?vHezDs04+H1%5*|B(V1U} zW8p}}H$=4cYCcHj*V2f;Mzx!S3Yu*~AcV#b7A;;2vI+2ZxJ;$xWoEJtd!h4L%2Ju{ zFnH6EG)Qnw2eq72qKqmt#&HZ&LV~StQu(ADIx&t>cDXcNq=mLd>U4RiRVr{scsU?p zSuW~NQVZgZA|r|30YwzWBu^#*DM+1zh!Ix_AsUI^CXN`>HnDhDr@*!jW89 zt3s54UM5lXR0ZP{0{`-+$J9v=YN_WmI^_u?h2m@+)xajSJ`_rVF|1aKHCz^x^BC`i z8x1ODtB3`11{Z|l8r25bTIneAjt=PhkwxuK3z?ZmFpkgs0ftd_DHpyJ@~iJ>g=#ND z3fLgR&^>4c0#Pg1#IIm9CjH69bD2-1c_bBh-uG-^*G z5?Vm;$n+Hzsw6k`uo7804+YW#Q?q@e^N288M}X&|P_(@3U#f}!^= zAe3Q=Qvdk#fUM5%$cA&yZ^lnq!#k)k=}P;clU zvGZ;Q62RN)C@6sJXL}A$C|HRnNGYcn0}mvepbCG1K@)=pvDNn@rbg_O_b}fUxbMJl z4Q((pOdO;VV?o|SL8aiMOr1{jX8GqYmvh3v{04(I_^T+mpc#Wx32nF-BVyM=qDdkS z?S+~Tkf+iL5b4LE4O&n2xSrHQV;rvU8Ob548=R-nv(d{@;*}+!Vt}cJblnB+oa(_a z5mn}KIEf)3xlqN4gCb*H^)+QR>=xHe076bKBsnWMkcBF@;b&`?T4*!F%;|{85BB#i zD-ycu*)V@)G6Kuy8^(DU2Als1>&^h(Me_mql%dX0l;}pQW*uW!!{uUr^ZyPNxL51M$u5nM;9S z->*k{uo+mv=}6GIO0>Mv;mS^mKnw=nv`Az!tosFjYf@j`FUqrcr#mdkRG5bpZQvZ*9MrhR>XR|7 zf}zT8!6QOu9DL|akC3Bbcp>~6^-&LkI>H@nA;Mizh?Z@~W~|o8wFEgAL6ym?Srn5W5nFJXMrXhV`LEoj+!h!>P-7G5l*_Z2?==i5@uq( z%3G?H(73a>jWMzTn%(2X_P5P$qL{G&sh07VmqC>kfWPj`6gO9Ae8`}~yI1eV6u$Bzs^nkc!HTM}t&8a8`?Tclh3!fHWXbo83TR~*F>)6HwxjM#t@spVHkFW z>rolboi5xa`WfH{#$NKrji4bd#La|sP8Zf^dsE*N2)z0VDjkbjPN?jpn<)x567BqN zE8M1FNZ%+enzMEGgb=k)%XFv2P*z&~S5;j*8AGf9;Qed;dK>V0-fUI3h4rT@$+z61 z1M9cwbs_;|=+2_(kojKiIo*w)e*PwW)^I)F-;@#;i#EVtKKx9Va_YEDi(=^TQNsf0 z_)*952yxlEIk1HTo>{OJlT0`upbUQ5ou8#mpZ=>=TWL)ha-8%#&yGzzALBA$J|75+ z41lNb?7()^!@Ko0BWqL6-i|);n{-oTk8l2;T_j+MB+p7bsM3@PL0erFz=wLxM3Je0 z=&c3^XZfW(2Iqr3F8jVDkE;~BRuo_O@~JzPWfjPDQE zi6i5DlTFJl^OEYMR%(Ioc^Ujd3O30z$FVvWeTU35dst_|P_Nt#FhiF0b17VR93Gc7=hNB9~{7m8?P^UyLxF_KAsV*@oyfAX}yRbQKGrJw9RYu_$FgeZUAx?Vf&-@recF0f$GlEjtO4Z9lSZnlUYhiwL0{pEfi zu+m0ciZXNpJ~N||ux-t`@d6DBOzOzKXFazR$*Ps0E=C4b6!9+_c2)oj{|2FXXg6!9A+SugWrl--c_*_p+>~T7^2;MY|9o@b-(a87f~>*twO5dr zOk-Y8x)=sarzD6H&Z??PNHj;CkDT%f@uj=RM1A`^LD1pO2QJFGD&Ow8EyBiiq^`D0 z6VIb**zLv{Bj|mQCMV7T?Rgo=~<++nYHM_a^-TkU% zulVNut_K}}DX%rFXzRhbEFZIuw}j|HW!G&dyX7gwbU57dmOEJCQ@oUfPNhCnWfcE> z5xh)eK-uMA)917Mot<`xt{D&V4;1XQqvCRj`4~l;iKQntOXmu6-K5ihqb|bjF@q>x ztZR7ZnuScfpB;+{F{^6?G3=D7En>!P|0p(VY>k@$O~b}Y4;?Rhv%>ljCY^OkYk!-I zeZ92TJj(`LW%UdvniECPjP(=P$^SE|>tZj9mW=b!KtxO_PBfUSGG8O}0vDeYw``bL zD0_*Xfdlc zQW{`g!z$SUG-98|-8(&q!adJ%;(*+Yeq;k_-+vU}0FR-;t-1Fw6ay0W@rp!r!Ei8N zs3Fb-GWiME(vmPf^(nJ;rp`*s&Yn?lrIZE-5}HoX$&f5=Jy$rGJKUrw{HHtFBNuU6 zhr5UBj#hDkOo&FiU0a1{;<@s|E<4!L1^oC#|2Uqr$4*mj7W@9uTwBg4zGN&8=7oJK z*bAwmDNZZ>Il$w#P-JeQ3a9MW+PWfcxApRY^n&@Ukw1)-<=mLF@vS%k8p?Djw-@?Q zIn`A>2HK*6TPQ4?PuNV7tMv{ubn2Q$6s?SrAG}wF^58A zYH6~MhC`FCP&0>4n{QyMS+iiXhx{6>V-+Uvu};{C%{52PaP0k15F_>Iqp5mUXV;Pd6UWV2_{&P2BN}g! zyxe)ccNoN^sLstBi&XTpYz@FhC#Zz8F$Tqf8-emWeg*DaD}gx;EioyiWOaZZ2AQ|7UaFcs^PZXl+Gl`fd{RSj z8tcZG26yOq~1~% zJH$-w7TRG-yO;8RrVW&4$P!Ecr6h^pf>w5cI1!09i=wkOQ@qb!CPD6cqZFLFbk#Ig zNh*h4Ry3vi-6^at8p~+|s+k){ROCBKeko0FsqX~MP+r0gQ@S6jt%$y{C@UK4(F(fQ zw7Z0?i{5%*2m5bC5%7c1BQppp;clEkHAm{CB9NhT{jzokz>{}>e(-k#zTd02_nMKZ z(O+ph$4ACJSufKxDZ8Ui$|G6$FP(o`PCFI*w$PZW3Ck0grL745%{3HqsX;Z&<+JmX z%a^+wZ(jXOraCrPoR&K{_i_8E+w!{S4%r<{V{{$r=8M1Ayc^d!r@JnG{_5zU2V@vK zg=*kS^5!xCx+TJyeTR7D<-Wx;=DsL_EagLrFSQD8@mHq?4`CA!0X&XpWpX;Xh5 zI%@D6{c;A{TW?C|R$$|P0eEpgzln)2BWfFt=biol?9SHPrh_Illkbqp@#&tZ7N6(d zsb*QFzStT<11LTU!Qm}0WKVp@Q6Kh@WqI%9!`N=9{>*4^Nni6wDX$gw6XS#~+!iw-4v|>QL!M4k<3k>5y5MPh`Kdiz zhz#rjXh!alv)r+!J4ro{!uzF^vB>%p(6*(n@bWWA^}aIih_GXe)NKfhvtP=wPrGZE zN9YPEYuJjHJk(1cemSCKf=Ww5YV)!_Rvyr^^1x086yiaSLdp7pHvkxmUh#8U-Gj|z zUxr09J>%iTojhq;or@;$cKea>$=XS)1)in>vB`bvEJ|;9$D#XARJ!Y-m1x}^#1ACJ zdLj<0?uoCw56E;uwR>}QD z*zC?eG_CcT=Iv>K`09@_kT1ztX81pLpa8a)HQVd8oHlFkrs_+wzaLctjSNVCY(u!b zL93O}aYg5N~xm9ovIr#== z%R9mRFPxMn;{hcG`2Rsjn&VY?&B#9xl2=B1zQj@xnE_T!gG{`rnj{$Ag$NYbiX71D zcdj$1^Ixuco2e8GCHSaEzq%AFN$m|Ky1L?IsFze6zXhCT9d4p5R&oXQO8n9+Hqe>5 zqhh3*N)O00HEHmu^kxVQpb;)gp}fgj05XW9T?o>EB)A&$6l)Ocoeb|CoO*+44zQu7 zr`Slgxq;~nxVb-1l90nHo&G8}{KyP-3fPm7ZX}2yG#m_iqe!FjM&@4WuLbrs4K#t) zleK6J$yJ<2t1BQ2BrJ|;?N|^eb)c8U4WJ%Fc!W{vAZrLsITNJ_F!`Kfx_!iH0Gp90`M`E2MssYs9tiZ)a!(?vPpSE;B{ucn1U7|W7BAkWc)RUq_JKq|mX zAxE&R4p1Oq@KPouPzM-oEEqzJ4CGc?IKJEULHQC5b#uzdh7*nKIROPsN65e*Tzu&~;L!tGK46{`P2^W}p`VHJ}@Ls!0fbYF(h+C=}X;0OoLP>k~O* z8e$9=B-Y_fa4fTWxuk|cgi=RV-TtBvrMhg4K%;kpmq>DjmRAC16b2mEe=bMb@ zJ6DKRR<)7jTf{u!lZVvQ4Lh;Vkrv^hdhKflvrS897IeG_L!lAk0PJW)^s^WzVI4cZ zj5HUL75p@v0W@gUGW(GWO?m|osY6dOEDqK-84j>SrnjVKODoX{owx%m72zS`I&vpa z{wtTHZ#9%|+of1QlGthwT=F)I$YuqYEUP>A=3#x<7A&|jBGV4}rpWnsTh*jrPKH4d zF&gYx!V;ZvpyCIefH=_5{&!A)u`K-|;Eugc5&W))aZUjc4?@TpOa(&76OOA!WdX5# zTLjb&3wsnEn$F6diaB--sPLwIL(l?Skln4nX_P{|7AMYI7P##$5e@Kzu;GgLA|sj- zrD-VG?7IyzzGlSEQbrpy4nU3c{XfiwcR`X=ne`bEAi>*fKsVqyjiKA`_49m~-}m#Q zdiw_`YQ8a!PumUa^znLL&h`8Ja44KkZTYn2Tu9^7xk9`wmdC{Nd)p1Wrr0}E+{o?z zct01vIWx)Dc!No%nMsRgiRFhN#RB~mTy5nZgch{yo+}BJ?(cq_~0u_ z+oHTeyqCTPz#Q*w#Z`GCeiICIUMG~E2C$F@=+*AokRCJdPmHMg?#OhjdUFJBZiOP81FqG@;cG+JD8DW z^58L}$foUKMezIieg0t`naD=uC75LRKzt6!Y&+it81aqa!1HX#We2lFFg6Wxic%|{ zT3%3C={Oe@TSKsVgP(!#knUtx=VrJcS~p)gO4s7*XWV>l%YVP(6;*nq`k1QPS(e|8 zIm5jldbOdEZ<8-;Up1dM58We66YaVKzK8jnl|YuY>-|H&)(N{m?oQj|@V2WxssrvT zG=ateG=4(WCA(IysNKlx&iuvj8RSoOP?onb-;TH1Ft+V z`=mK&>uIk(b%y22-LI7h^HTm=vxnsQMb^LzXb?WqA=P&Z=h$9UA$+AooWyt_5N>dO zi;mo+`Fqr{fcX9n`kgozuO;qvVN87F>}5}v>>?KjDP5EGeIO8*ral7uStA~5bo}8g z?6m02Gjd*)gSQx!zd4a)6?cj}k22l2wMkl8HNWq_960w|obsWO_suMBmD);pdmaxF zkOF=E#^t*;o-_TfZX$cpR6xb6i&S5>b>p#3;G-TkBXhF9g8AS-JkGPxrbd6Mu*$XI z6Fa>K`Dl{ZiqxGauO(Cm?z^a9*EJos&~t;=W)v0H=hSo+@vIFKK?;4g?CizU5%?0w zcRuqV{#X?<+&2N+5mOfO_mJ4jQ#Nh^fN!S7wNrR;#Z_P^GVjbfRsz2eRwcG?KQ)?z z_zq&!E)WHupSz>DcuKJ~-exUxGV4;GGk>fTxOFnFu~h7ip2XAy`Gqa(i4}RtsFDQl z!D&6(JunuFPrS^W}roW4In1A-tSi5 zmX59J@IGqY>3mlByWjcWi%Z!bz)d$F*YIi>W(a&CmtVOL56ltwe%1hGN$%uIw_=B( znvd72$lvNGcz+YGsX-tC1z$! z%oMXdW@cL3F*7qW+c8s&F*8%lbo>6Nlm3%VYK^|F?HSE>?~JOe3p_AaJ9#=I3}*%P zONw}i^alz~o{QH`-TGfQ_`hwA{+)3vV0|pO7{Ac}(A-C{<7tKgDh7h?SUnte=GH}-!v`UF9Of$-$O|GT%RBbQ2DhOvH%?FR|X3$ZjKuiDcs-m`K1 z{+u%kU-B0r-&7@?IuvF3YVwNl#BZ;l^-waTXCHpo;d47#k=rXpAI$sBFpQsTZL%gB z#`agy!5ATJZesg3VqM2rIGp^b1HbPB+r7;=#EXe&T*Rn-`2g?5=yu4kSUFJ@#^+8( zJU6Lg7}dBLFV_JX*JaIdl|0n;TNO{3GUo++A#K-vi8$IV){VG>J9^xw@3pwpLhW1Z z$O9oM)B;{EiN^Y@{49+$dWQ_vy4xI?EYfoOWAtF%k%a9kAhZi-K(dfO7cYw#!BWpI?*Do?^q3}%jm}&NkD^ge(@D($#mYNSB3ML~cK-R}Gpc<8Nn84&O*cOtx zYLj$kSyV>TXtm;2_6u13h4d^FsgF)H(~e`eo_W?4L(w(b#;a=V?myQ}Pt-Q$QN`4O z4JNPcU0F>_6j!%al+#RcD>mQKT_tOR-k8dq_ySO?Ptf~~L^>hCi}^(pUicFavkW-; zqxnWg*Y>ws^vAK=6L4@6I0cz0k@9GvsSUGG6)8vUiK+gIZ51es{*~7_;c*-NmuClQ z2by7VN$erMaKmx+v$1<@}ipqh<*QwJ_u_j za5bCN)lqGaC0z?&v7)<)XaA2%CWs%E;n1O&Hxs3pepyox$OM|=@D(IX`I13=#4916 z_o76VQFYFW&`_@sBT25%44wL^vD;iVvEN-&0^$jnnjJhM;%c+nbllT9c!1JP<>;Yp5YiFW1fvZULSyW?}ZHfv>70H z?&Spl-tG=X-^sri9<|Zo-=}Wq1tM)E>QO&lhE3G_CPMjKX|R@!%Q@f)5}F4t<+yg; zF!>!Thx_lZ+>^#B|aNeF4z*)J%le@WLWxtfZ+%+8qsT=-7 z)#}>Q8mp;BV7SZfNr5)@x>5K@6$QK`lnoy`R%;gLVv!#*9F81w?odcBu0fv6Gjv@# zh`i2ObF$|d20L3oqMm-ic=t#4lJgCUOMu-z&a>tneVJEsQ zadYuJC;}L*;U6abmJxY6Wo#oG3YrxL8{S{eNCeHsvo0+9-(g7Zvw&s&3WvJmuMY8; zmo~eJUGsO(_*z$*azh(dqK5TYjhn}+J{ix}J*Gs4cxwMF>?bSEa_ViAKG;+CUjyvP zj>w9e>stW(Dw}7xr*g95VZR^ik<51}1W7S#p|QUQU%&^7)U8Km!x=Nlkp&M_UN;uQ zzKKn~J?pZUP||)Q;PSY%%a%ycnyp28SG(@aOgW9fbxo zs+jlp(S}^_?taxR0mmusSITFS9*Asfqt673uS-kDUBX%?pgxT$Y`X|OH2o;gLZhoN zx`aPA4(TK<2_2>1s6Hfm#*%$pwyXDzti~b}mUp{+1|~d200i#W7OT}m7uW6&10Zd} z?ylNMIm7DJ=3P_tIeXCiZNsIW#y;m2%XOjV(rE0}yki{BH!vIRYAey<$tv^f#tCSn zK3`rjrZG$4)8rwaQG~-jRhQ}Q z(Y&C$LsHGT?1Mm0A=@4l=@eSzE0DytKmM!kp6+c%f9fAQOV8Wytsf%2T@DKcp6Yt2 zcu}(8z~pY+XX(UM@3+tcb`+~5zy9LrZKdp^8-T;YM)*J0ARLf$5M~@_c?v0qLY9 zYD$5eo$T^##t=uKC{|P!^gF^?^59MH;=wt3otbfzNBlh6@!wPQ#o<}TX8LzjqA<7p zR445MpOyhf*yba^8fCJKgM_JE zflTM4vvQ-eDTLNSUfh`41Pjm~$hCE*YV?|pOBc$?psJX5G}Tto#okhOyv0&+wQ40I zC1{*!YM$@1lm`rpUzGM!POjZj;N?}6NP}4jgY>`D>HZ!9L<$tFvC6IW2P~-yZX8RD ztdYEG{PdTO2~Phq%On2vm;S|HGh2pnwvu?k(N`lEs-mv?qoB$Q%9OBT{-d~XORy3` z$iqO*mb6%(Dy326j6S7WzLZ>}ELyNMQv!oD=0YAiz44fBpO9p6TjGZqCG1Y*(r9_E zhdJIbAxbI^U{$IJ-6|hMGr=Hl<~~@EHo--{;zLR9KuGE2v>X7xtp3*%mYHFL;JG#w zItYs{z|?h)0rNM1AYvl2asXmtw6c=wg1$$^*U1p~;{{^fps|Qv16X4yUMVq(Rdg9n z%iR80&fJGyl15d#kl&3G=MZ7veS_u53rc@dh9{eF0)n7nb%j* zoC;sdE8q^2$PmER%p567#V2msHPLJC#YJH%h*xdVVyqb z8PDxkNia2x4G=O|$WUs=z#!P1ZkkCcKED4Z?eIOWx{Wp)r5i(9cVhATpL9Wm#WEjHjvY`0q5V#@{f&9G)1z z{WFiSl7k+Ix%=$_MT&sPccqi#QT=V**!uwt_KNH1AogRat>|3)#~?nlMY`by#f z`-O|W3wq_vU&hPX00evP0~4=9$UwJMdw4yE45ET}BMQ3cH*EV%Qw}vl1+RF_epf0S z*@L?b^i_7T4=Te4u764Eo^Cv#W$OMC8_6Db3m7(TIejFPO?wE3(Y)9^0pF{ePbkbH zM`4Zhj(vkb^iMbj0p`#4WSw<1ds8BgOx_StH0}0RlL~vVHLZZ{Bjx_7*ZP|P|0J(s zis~Ed4VjPd01dBWSy3!Xr*1^e?xe-9M=fE)7)&ekf{Rzo&C?x0r1hPrIlHIt=*_Q& zn^zAWlL|*vu3l1`u{ zqFZ;9;xRkb&!gL?7X??Zy?Hedl@q}8;`xk~|}PcM55DIXqqDi3!GqHgngJ{_GEELso0yC1K1`_%5K zz?H@vSFA2ut~&NdvK?Md`cpj|M7=K*CU8IgUR^h{T>4djgG2F8cb)eODul`6Y?dM- zJgz@bM7qrFuU6!Nv%LbAD3T55bHW;*yP{M5m)NimEZ-&mii-26rEX=_#qOh<_Rb+$ zgR_CUE0Bkz7F*5TKxxMq;35jl>q||tyzAyD!maIod#a1OY~7qRMxHf&9ms$j4z^83-ED_7U0Sd&EDSVNC^< z)w9+-p!@|~(%Wl12Gsw$d$`=U)?ClwzM~j6g?9}zEf5I_@8vWMH3@PXScTcR&vU0< z?5!Q$&UP+hzEyX4`lL9j8%?8-s(q}!8d)OoZq{sv=DjOc|KxpCjMdIqVlvb*o9feJ zBa@C7_7dv&i(7(Zh*7BED*y7d>o~H+SCDr>cjy324iUW{p7Ervd`GDv+nMdmI&&u@ z{dcpyMQm$tUQnl}`mnAQ5#<#-?}P2{)BjrrSKvZA7kkQ{7*lKfASG z-YrYtjik3Ztj-a=uG|j(%D%lRyDy`eK1|i0!Mt-4s{b2)`J`}d_sH=6k>m88^?&pY za4qZqBuxN;lE9`8uK%rZbQye$BN4FgIaFKV=n%_RSOAQTd%2?a;>opb58?;Yf?m3o zet&}UWJ&pM{pBBsA!y|c5B-^i!1 zpzzOL#rU|*2>Y!!(gDV6z8Xo)>kpeTPZt(|3-1=e%B<_@6^OT-cVlnhs{BaJDzjZ7 zSQ*8!z=mpB8+2q+x6ricR~Ono^iWk|pJn*h`WRy_H10Z9C$j)F+5VVf$Xn|X!}g1Z zd1HHAX1n0%Sb`-$`&NWCz=I1h6}`-=kW#{nppE9jrx$5wioUZ8(_3UYMyE5(p%MZ( zVq}&#p~7*(?{stxK}%N9dK8oNinKdFIYuPo&&l4&=_~Q3XQR%l<{nG@66vqnlyI@V zwG|Nv@9!cBB|SsE;yRuCU8}uhCqGNUZrxN9#dTk0iepYgOkC0$tkhDkl&U=b%`vEy zH#6q4A#Rf9(3R~E|B`{S_Bl!y;y4=^5MU3eUI?twX-AAg`hlEDk%`tW%LSG3I7HFq zbWHj+5y=(JYF0MsBAwYlcHDnwYSLx)~ij>q9Nc#Ssb(HO!MgsSPwulrBxR63Ow+P|wlm$o}1+sR|k7D{JIPVEugj zi>{ecsU^auJxWsB_RHl?ujZO7o@~Q!Qc9&TCHZXTrLscrLffxcdKfI2Kh=xyxPO?R zP@qH7t4@58@|H}+mz$q`oJ0Dp3t-}Xr=TbPB|}9o22E<)Z+n&Z<3I-dh=)kr&@5Mu^XY9DRMv8f!^>*S(V*h`_r(q);*Uy|m33qODf} zQWKNW(DZPTz&cbHl~=4iDyu_dz9X3ED_v1h00~4|@h0>by?AHiWBwZJckbls#$Qd*KT3P4)iyrdRJA|@tj zfs)uwM(KoWQnmx3bP%OS;@{FXxeRfD(v(JL9;fd`et;sg@GF!7rYAR9ILtAv%8q0r zu3-od&y8z(HeEja-_gsRl!9#)ZNii&`%2do?9sWR{KHajFB*((s@J}baoHR6(;JZc z$2-|an+HJQNimxP03Z9HocD_YNue>ctR8ZtjT0o!$?2v|q7JcXj38EeDZh80c(nhj4(e0ygDo1ap~`oo-_1UbJlM(` zOW-Y6duFHa$rhs!y+7AsU%KUzrZRc73a;;Z@}sK`hsRN+`%Bgt=_X zKVu!_&cx0z#WV_0etH|Mw@TcN=RQifKis_dXsAl0&I?*;$%fPHIGgL$)Tf%gXn(`* z_Z0D2MD@$wk5rh;^0dAzjy@uwYBn82!~cDf@n_~dF?Enyx_&2p+bW&nwMvwyJll$G zAu(A!pf5t#JQwcYS=)tM!gW1HnS7E)=a)u@&I@neA?Mnl~!ex zJ1O^tG38+H=JUD@A2puWUi}$A>e%3b|6?mwQaC!aIr-?Y5+W%2&tm9heZ9rrDSZ-G z$Bh6Dei#Wnqc^6X%c&JT^k*!IeO{9-UOO4C(vYnX(eij!A+N3uZ7XPbuRMqVf?Gi7 zwd5g1S@G8hKIachMNLgeOZItp(torQhL0saY*aaI5d=uW4Nkw#DFk^jX2g-sNY%{y zie3_nk%iv#l+P6D3(${g_w1gxat;N;)Q;O$br|gRTi-DWxj7W~e{`k2tl?u=Zmj6X z4gZ+j01j+QEc~a)XVd!vXFb*OMvee|7l&1#R*QFbqN)HZ@8s_1~wATst z%Eaa2@ZA)YjFMLDKI|nh_;9hm-A4%Pp+39SXK2l$BIlDx)@vxe61b~ht~z6>{tK_( zz{(3L764ZKY_P%6sxDr`nKfxdt$)8hm*-73Z*D+r&SF=W z&GSjeR37_;BEC4HWX+)#eSya2cbP2xYaR}Dm7fiIjzqObOB6wF!^S?g>DhP{1mu<+ zn%&JwGyCX#vK(R7#6nhwM~1<>d-wY!8f?(>3wz&9YR@(&@^b5wN;{RF%+#v`HLHd> zT!_4%u&U(`gc#S4@HdXd7P*1&s)|yjxcp|~^ruyh(cA*^Yq?L!&r~Z)qDvG{GgLW; zl3KIrywfAwL)EZI=U#RVYy0q76`tb~7%m_+wutPhe9I$GrJ#ct@^VMx|{pEM>x2|Cx$FqQD(v#Y&!%?CxJIlg~h8Dx>C(sC2re@-l)j zf&HOu4GRn~jfkC!q@JHj-PTxdvxxB0YJiPw|4C zJ2P{*KAY7$A6stCd4FT}>kD(4=PYI~&T_5$v@zt@#=S;ZeMe@`n0sN?nrv&%a&OOF`%^@so^wvXx10 zbA@B17|3#Aq{lkITg8{LRu>}bjK8xb=V8@N>wa6qq}sNr$4690%-lmhG;x0| zS>Zz2^)Fjt&xs(^DZ;LkgbymT+4Xy7*`kbrb_`tWV1@<}7n^GF_fVAwyUO&WN))^& zC~~Ds>#w+@gEMxU=;IyRhODSVx+^tVzS8Mwm=S?N%bcx%0D^t-D*x^Y0xTaFbPMAF z*S7w$E(?n>n%dfAx@s@E=Cs8J$%*2G$+_DX85Gx%mQPyJUT#@iP3t71?2*lAyfypH z6O0pua;P}JE{E`O{83keNq?q#fzzVoim2AXliPeE!`(-nJLy{9QL&6@E>vttLQBZw<4r$)55 zUh+O@BHK~Z+BnqL)A1Sw2Oc(U|IFl>^tI`Ei+5o?^{TUahA)iK4qOSsBJ(e=5#y0p zZgNCaKSduuxgFNFd$eB6I_q0B`yv9j8(<#{%WkIxRQs9^_`82$oGX&F#fp$we$v2g zLEsvrz2bxznDNi6+JVuN4t2x++{x>S-GY^(<c}TGCVKHZVIb2W4hLByw)fn( zq`7|1gc&{?VCo{JTC(*}Qajr)iZo>SIa!*0sd4#dQ`Z!_0@+c+QHLt> zp=>HaIn~#v*%SAHNA#7mS1gF%ByX7tNy*r2KgX@DG=q=OUs98r7< zU6O!$G@B4phxjMcJ3a=xDBP1oH(oX_O8U)s{dCAaB&tFFrYZd)G>Wm?+0QVHo!Kk- zmlPdd&Pcc?W@US^hwAbKu5ol5AJ>I!8L*TjuDa6p(_24%H^jtxDk6EasZ0{j3Pzq> zL_V)fBfp>`pURz8&{<S24)up``u5lH7g zQ2)k%r=dGO@T#o)P#81XG{)X~v=t=v-9e;+_|sWMcU{Z(xHE43^20~@dsm!a5aPKT zc7{!!+U*hR!;4g_q?cJF<6%vmFe&9!9MzF4uWi)o=a+9Q+EUA6vzu6?KfeokD$t75 z@7*iL)Eu`Q99iZma> z|0-{k12)YH?vvyG^%h0*OkH(+&Y1s_%Q*e89br~<-o4UwEy8AnO4e*;P6(WQoeH<` zG8cEe&#>5E635~aLpwG(PuC$hy11H9q7s_dei}g0)*y+!*7$ccO=4i1U-CFOWw3l* zQEBI}>ui{AbywZ6?lXrqW~x>r#A8@>zQ3ovaollxu;_Tcnmuu?L5#NmjYIZ*^xxk4 z)fbbjQX%TIpm=HgTj8X2f(5O49UVXd5JMlP) zUiZ+-%lxPNi?Y_OWk-6#c;MX0Do^~eLKtS*`TZrzxcjF;p7W(smQT7^c$@rACuz*- zCtqbP^7aeL4hn3q-~&&fT-aVcX*WNwE>S$Y%)AYz49%j9j(T{^LWcjL=vTSo5FexC zX<a)R-e6m3fXMXL^r?j{Z#?t*a94eWJ+0h zfueK}f(DAI@bPr{k=P%J>GX@rBxfc4`b|5TY5{`PnA~3?ULoB8oX^djSDU-}={3l9 zRnj5`+9sakTP3M?PL?$Lk1{IYVgY?eGTc7RgNa^9>5)tA+ z{Z;}zIx{gU_X%4otC|(n>Zxu5r&|ApiLk1Dt-4SY%6!k`qehaRU+1Q+S(W7j&Uu1f zol2(79(>XB)|Wc~?f2sQx6#)=|HMO`2gQ-?XocHt2p!PQp2*$lt*_k|!I@OFn2$J( zUaSGEN{K^B&YLT1E6)s2Pn`A%3*d`p{OiPPbFsrsB!d0((@S22ptkTzs`WSY9Q4$` z=`$l)O?xCVITL+7A_BWzn~&X)j~P*FgZg`{UtH+1xv=CbgY&b|BdeOEvj5ct@*P{* zdmArT#3yCHD>fVS^uey7Q)@AU z6Icoil2Cc3ae$4;_{ly7BR94k(@>M3%A4$$aWMwbx98Kh+w;R7Ly^(a5E7+G-5dSA zQkv*|+;m^LO>wes#>=rcB?F-kv>)yc-2&HVS`c}FS~nxt%kv<|&1D5W4VRksEuHp! zoK6KIgo98rY8>Pq*P_=K-hZQ0f`^Q>{Rp%ZaeY63OK0TXcYjt7Rs$!Ip1;rd6&BWkN5t&`$oVXN<-1>p z7OjyNIfsU?MhCIEWF*T3aU`G&&lPBrDfxqGxxCA%$$OUBT}N6?(Wj9zRUjl2Yw9+C z2oKt}VG|%x@4~5hd%I{t>TOs$sF4@BS*-(Z5KqoxvnsxoreuP+vu3H^W<0c>Ca?Y( z6-{vci5m-sqgh=Kwzy+xLkI?crAaGrs)0jVD(CA`M%pPVg3R+q-GBDFgcf6E8(u~C zx|eW&@qiQp$AlEI5e8#KhG}aFtyQf*M0cO8;o_>~HwBz8z_m2>)Vw*Aq}-L4b^xM2 z5sp?^iD$UpeunQK zh)!bbWNUFET2KmuOq<$pzad61rTg2voVTzqo@GG6BY<{W@UX02ocZ}=A@j-sJ2 zE8U0-i1Weo{oIPZ_W%q5#l(qPKOGOJIm55~#4%2~RDrsQ2#c@GE~Yw^sR;FdK^6#l zsnNUd#1A9vg~Shst)e4u0vFRxKRoOmy(>~C#PNzVP92o>2BKXFB4x!Qg)^M{+4 zLA)_5&bR5vzRYOj-5licre^n6gl?_~bt?@m=CN{vHP+){CVL-rZ;u?bTK$I7Pu}c_ zE)f0>YhVSyF8X3w9!19sN&*E__%^U<+ru}ulNnhQ{COE?pZb2*xf2(Y30lP=go&+Z z4kAOS`t#klZP|eqOkB-$p{%S>x?}9eS}sK-jNN#9)=+ULj{6{8`W2u#v|nM{ z9A6U5H#5r^_=cTV3iIy; zuoMdD$`UJxw*=Q=n;y9pY56uYO$NkoKvJBXe0*}{$~H-YFu;Oj=lQ>t`8fGN*KqK} zAh;@cJm8S&AKXC!DK$Ghx_P=1`>6evbUeN|_^l}1FuHk&t;2Gxx)*#A;=5v9ezK5M zq97k|ixG<*jw<&!?j=>}l1s(865>p4s$VK=+Kl9Ej>$|-j6Ie>MV7o8;^DYJMfbY@ zUGJ14*)fk4F+ku@vT1e7HJR4ns1yUTfwXCS3!s9<3VbpBVh!30=a9gF(3`N+5;3(l zf>c%fqlv(`M{59O>mP}{Mv24qjcTF~Ac&{LgQC-p$e4_@%LtfGW+Gq>d7>GxP0|=W z8(!4T`^@C_NB1o8Uq{Dk;yG5cL}*nl)yjLILYe18b9z}Dq?)E=p8wa$+rYQXv#G#1 zOu(^(At6)0xfnT2GR<<{Tqe1jY)L*Lh;mSqKVxf7y&{hlSAho)`zQuohQU}|i7^vV ztQA@Ti>C}X+Ez7y;}Efoz`kIaH61Fze*$)D@(8hIpO);UC}SBh3y~~-UkTyfq6x>I z?yF^&j^TF8>O;j!$eV2xE~YjrmH)&$1;Fnn$2|FoN`lhD9I4MD8H3GwtbRq0X|NX! z*KJgxnS>X~Icy6F^QgDz`-3(-guncn(K(q21fIr^j-xFxH@Sr6bG7j+>&@%Fh;vNb zl~)odH;d&_dYs}JHw4B$V)S!Ds;Ow}?N}sT9b+;&J?u3yrxr*7sumrajyhs}W?+%S z*v9TBj4LKOpA0_@?>;)yY%NT-ZS&QgmMZ_0G1QLWw zgV^8@(cCGyt(zhgv{gRpiN`QXO@LHqPLK{&!gs&kn8Zn@t7PjJOfn6MFX)bq1moC` zvPff+=tNbE?3B(;!QVZMrRpki@C_xvX|+qG`1SmIa!1cqMdYoG@?U2#Gm4$DsY#m| zaNks$Vl6L*SS@d{BMZatG}fy7G9lEWGJMQ6X00E$<5eqns4iIl+*4^OGy(VDv+(bb zUuRURmS~v%MqapSQ);Pa8DLh=Cz}CJh(eB5!W-^rKoH|hO(!W|f7c37hpC*CR%d@J4Yog?)hVim0=*|8?@!Rn$ zG`&h8x@MJ^qi$a3a7aMWNn@lNBS}P^dUFiUX$PTSWNcW z4zgHO-xi1i&n-LClf@ISNnFM17vufDhnyf8OZhy@qX5 zQz$U>66Bx_0d$FwtUT@A1H~pSQKn^oH8Kr7#MZrXj^dHYmtUf{hcoW43w;ZSSvkuJeWRDw_EQa02 zstIrD1AfM&O}WBOM=#B=ea}t3IY!r?f9AaO_;248W9R)-27RCwlb&einAl;a%eBx% zSdIw#FTAsH>DiFfharDramK-vYq=lAn5yqktg6gKy^XF5xzqeI5F2ChI8%yrSg*J0 zgEBP`U#JTo;sWw*+9fAS$Xvaw>FtTiThc_EXGKCSCB{h6hKWGpG~hx=DB{ALhH4`iOT$Rlnq~ zBW0ocy^B=X4bEStj-PPH`02_5xwCtnNpn=sbXq0cRK3Xq-I#G&gb0odn`FN77h$eZ zer{ZVbGC$mYB?uy@?Mz8euCzXEAOR*x6=hI!P%rc5Cn~uP{-b>b;dN zU8N6O>3`c=zs;(KY&hhdOyjyv6j%}#?CTn%a;c_sq0J6Wx6q4d;Mb|~)$gtUWG1~nOH6QIs*nIeisfC6BJ{|2<+R6%-i@b2q5>s@!ZfVZ zQ(fgOPPM5|epErF#84={G%Whg#_GAh+`?51QEim%1)-?wtl$rL=zE>3w9%-izs=;T z-iLS<;gXPmHo~2*8=3!Ux|h`$>D>KM&s^^G7k$&3pIf-jtwOD?mipaIe~JCmr5PO% ziu3aP-Ozo&fR1W{5G+fcZP>&rHCs*ZHa0@hW2SZ~bRIEEJSs?I0ZqwzLfLx89ae%R z5!=Y}mo8ZNE4$%hK9H# zTc*2N%98D~C=Pvjs}lah)|x^(kwbQXF+y)XKW^%wj!Nimw^4}YdB(M~bvlwi>41Cd zr9^t;pV7kUSz-yy^z&%NCM5^zWSCIa5Q{5KR>QX`F4Ml`<`5w}i%7HZdw%8U2Xq0b zL!UQ66SB-Y7pdYEG=u{Sv}iNA7xtvG*!XX(gJ)vJ#0enc>#_*}%G-jkV?^%&1sV-o zdvRr#vaIn%$l7C!@7Zt8CS7yA*496qx>@~1n&32gI@(nV6>7u*ZGW5_R%K}_FZ6$2 z3GT{w5|4aNdE$@#xhK!iwGBgNS3mr@8hh7w^gPA8_=unh%fnqJox{ekVTzj<+A2$5 z#xiSa1mTQ2alA3vW?AcCo7s#3DCt@;S9C|KAmiI#q_@eC(0AM9j)q$iVALX{$ZnAH zOUM%xVy7AOwOEHl*bPWOA$q?`U|6akQW#YWA79*p%Eronyk;=5MS1#JZ1(N?vwduX z!1Z;e;)qK<@$_f$M~|<=*ZLF3FK^US!TT~|7SEkpsngzOQ&dt9eUF`dz=2C3#ngfM z*n#=v0qI!g!f4HN3FrLwsSH5y=`ch?>AlJwp)w~!ztVV`R+Ei4}c#Ohhd z{#2>_n_DCQMSeMDwA8$T)Ax1x^I3L+uvJ*S&oJ>1W|$mN#E|i(d8@H{pW;{SlT4*y ztFeR~qD4U+9C^O*dClK8K*v1%>^Ui2aKaQ_2&V;5Zwa8$Oug^*y@zjH1$~p<&p`Ks zZngvlso33*W8NYfMAPdSt&(6EY)(($e^by@pMyGgMhw57VWcF<%pT*i}tsZw4+QbHFE>BlkEKUJ2Kdx zYlc@5c?(eq-_sIkQ53+1=T;WKzODXx3~CZ?X}*Zk#4}*+{Ce*yf6slf>sDWaRzKo> zN$l%b1sk?6Ne0B2I7D(c(vV4Xo@^@y%==$vQ$E!UB}HfX{%hQt&3654L2Lw}p2K+( zHZsMh!r%~fV^Ub$n7-!YEh&*@V2y}GuAoY50^QFle~|CIfxAB~$J1kxq-Lnp@;cpc z9duw}mclRLEW2M>3bnfi1n>B}5H09Bxe0TnU-rM2Q+~;4ADF2erEauO}0z(c# zUpN)eCAkd2OF&Oh>8?=twb!;vR_pPsY{nu(y^IPy`V_iL-cG0!BV>#*6o(>IxK zn_Ss+S5^q4t2IyoDtP5l99h)_duquYMs7Kvb=iL>mM3?6k3eoUOD=dRfDMwIg6C-w zZG(rx0aaYV^R{?^KU0G0kr23Bwy)r42|+p7U_3xVXoCm&;el};8=(RcWK9XidOU;{ zM9`2F0#8deB?3JqNJ1SfeU?J_f(9~i0;8Kc!YMK6(HV>>P6%cYAo&C^GP@v?4#4u)Z3Hf8kjOO{%?=RO5J5HX;Jb6VMi53xu|wo; z*?mWdfB;!zA@VlmBmTw&UjckMu9h4u#6t+sEHn&FO9c)hJ_JaY5Zw6z7tss~q)7tC zSVF`RNRYDtB2P;s3F0vkXhjMvEfGNEL;^8>0V9euA_)}eOb*<^=nG;D1SnVmEG3sm z1pn$jWw5kW0TB@f6s8K6-YX*}K!Cn#g0VvtF$oG}YXHVTO~eye(2y}0a}5xwp+JV_ z;M1Or5iOxWfrqA4LY|6cd-9~2*7}_oxn)pfOrc5O7#Te7bip|c#x7exbK)J zVlV^<(jP1h^hWfD{_lM7`Xl;7fv$1jXj;~S5LF;RX2Rg%Qwc#tf&h<1fCVINOHe3c zF2sK;8p(wt8bLt(x6J!g1fmrLBp>^KyzcN(IRx0*WPUiixRQfO0E7XaP=KBLe|zDr zfBxaJ)|$Bapmnu2wNR1P8ds&Iwomnycr5};=&;jA*>-g?mf4fqGtslhuY-sjMwMDg z;M(4r$qZp|R%|l{wzO{8lDQ$(O4BNkD933s*BHhJ{yVrp&1S4cqJr&Kx+^N9dU0+^ zNIfq9!q@~mF@T63)3?27u30wW6)Y)ccYr*x=X*c^F`xc`h{Vn|PwO&ak;z5x$m|hi zr;OQ1I>N4k7E2vF>(u>s#GYhjUH%kTOBhqAy|GGj__&t|LUPz}%=jp^tave}43u6W zDE%Nz$_koPF{xm2`d)3eGMt&a&?qs#OXL(We*C3n3~hMnat+8KxgBz2BwQ!^J+}GS zNO}i|RMlp_qEegO1y`2i%#uIhs(kVS~Ch|&bsPHEz> zNDGYUV$8b42j2y7!vy*#cG$l;vY_5Jx~d}@!+ecSWW#5{l*ZToWDSRjOx*iJ+|Wda ze6-cp1plTlVHLj=>M8Y$ed%qf*z$BfWL_?!HiZ_lHsn}uiZVa0_H>HG#=s{F{F~LJ z;yyqguG|$OO01O4j#4ddDRL<$ zW}S(AUMPdQOR@$+2HaoGLglNGQo1oN*;xSBTo{`fnQ<1ApuEwX(NX;0DCB23O9Wau znlYlfdGg4_0#<>*V9lT~d3^fcf#mQA?XpUb;cjqESgoP>PTcIseFbmIgPIWvnwT-E zeU_Xmn4rpZ=u`jJAIYet*x#eMR~;*{MhjlpB9$9gJ}mPU`;Jz(VY2|Kq&u+OPP#;tN}|9DxyyPLRfgg>6VuskI(r z_%N`V@bVJS{rO>ruqdUn-f$_}$%sr48B5>uM%ld@-Em8x@q+N>xJ!t$2o)IuIH9qS z8P$wYSl~rQ(Nz$xKFvZf>V%}?kzfJpg7k=mJ^ty`<%rHiLf`YDB=LSI%R=yDSJC}| z(%uq|cNfDaXS&+Y`Iy+mj#^oN?bMF9F<<%hdUm-+DN10lJ<^%R8pJo8y1wFyfD^UJ zQj5nple+T&UPHdb!P4{KWAm#+!f1YnDJN|8&vxf$4=_gP-+qL|Gu{1e7z+!8hmK9s zJXO<#)Ey_v=LYW|`gjXwvEWhQ2SoDNW)UN=UVmDR2s1`RR*e(Jfg^0gS!To(7b=Vb(sIxk{#!c0o`1CKqDVU zyxmxM1m{hMnH2gJp0HokBg-z(Vyy$MU62>$s3u)xghdY>N85_l?s+`(E__< zE+cI4woraQ6{B!|zn;qWdTA@{e{f0p+D`BgnhaHNhdgx5N*?Dgd~iq`j)v5rZs{Wl z9-HE8^YvPjinJT+=cAwXu3&9XCy22xcE;3PKibwJpfQLp2?J@x90=P4j$R>I0g87bR<{6g1l7LChRq?OSQ{2XfaE419eh(&Og^f|laBYOQQ8Ff?i-TX>{ zwaCa*sUf~e$z+Yg3~+WemdL5U0_%e5L?Swa{XFXxcxbu5VrV)4aFWelClt@VwBa+f z;xq7*9TSpt-zHRx%<*`PPsmzb7BoEct?+%>3L3Ge5g$;0!Ut#`@oA{3m1(+s!*O!s zqBfm4W({7Bs(oFTMA~i0{_^;oKHBZL2aiy79tn1ZUr7by#dO5Q&dAChNfT{$IR+)f zk}gE?be|&rAi$&A1&^+xYp~()kQ8uW5zIj4%t=YN#@+A!Qq(jg)3f&{Lne)sB85ca zL|&XxZtEp88n|@ktaklR>jt+ayWfBMwWF&kzZeWHH@g~_XG+}#?5RrOGs{OC<3!UZ z?LUhijtmWXG;+P%3svK}n4%}hjCS0bHfBx&0)$yOWc4+>`#;@Kk|qy__G_M2JOmit zJ$3XAIhQH8EV;oE-F!!d0amAGZT_O;_}m;ck^q@)5Thkdqd}+};kaa%QyyAu019Vc zUN>vM0NSky5FGbY^)1z5lcmP$ww2z(6b_mgPFeO%&yO?5;BOY*tx>nZD^GVaf65rYnNOx~ISHEl2*gcarH#9%X7KZBgq} zsFKD{m-&|ZJe%Zi(Ef2YNo>Dv;vMp65|N(@Q?&xyjW}e)bB)INP*Q>4{OAKjqVTMK zF$)~iOve~}y3GSo5`VF^rP$LUEsqyg$QNlRd*~PXV>=HBb5RmMc)b||4s)Th3xSYP ziMcq%>po`o?N1-M8EKuFxmeQxLGAc~V|8gJiJQ-6i6@ney}av!N^iO30|&+A(_i;5 zyds(0`&9mnoEIJV>@BllOe5e4;KZXDGKqT`e28+ulgrLG*a!)o2a2c=)wHuTI5H!m zZF{AQX~%xZ*vU$YF!>GDp_zz356!4lc>;0`sWbS(Hbwc7boiB~Nj|?L|G8dbhv(Zk z9z#KzKA-v~DDg)7Wh|9kXIU^`8lx2xHneZp|I;qnl4rT%K}EL|0bpX!hL?0eQe|XX zjo-!Br65^h@Yap(^0`^^C;Lj+lKePj3N==teiXe5uRIxE^6wod+9mvXCaP?uT5rbF zzWi|=_0r5ujy~3kX027NLFJhHSWLy&nM5nGiE@++E~@v#DO(XA@N>*+k*~w%G{0LZ z$#H(D)%s=C_I%NnHUS{A=YSUC;L9V#M)8i4#rl;<&9xp|qUpSLYSHQGs~JxD`1z57 zTA;;YfQy5!pRVAV=!M!;Fj2%T<`&qL-O4V_du_hfg5ULy;ns-- zcRx}-s`2%`n%K3QD&`V({eZ_sCSt|25MdHy`1kj?WAuSOejh283D#4FIKN_0Jy|IZ zFeJDKkPp4=mYEF6zIp=Quu9g?g*1Y%Sz?6FcbGpHe9 z7-0mn>6Q|QP zLHH-@pwD;_Emc6q@Rv7f?+FbG0?B?BIz~@SwwH2U=F!rq)=3x;t`tSuJs-x7O1~f* zE)KOc&ak3Qutxv&Z5_-%OU)_9pAdKAC6f z&thLQ!~cjTL`N)4b@oucn(geByefch0SkM0j&?SqGyy+3u#~)=7wtESt{WCFpbq#k zi%-jV|KZu2kN6!ZZi`>wLCUsyKZ4TVe|_d$T!sE~F4|b;MZkRYTIC=-XYk95Pp=N} z7^oN-zsSgC$!aKjhd0xu&Uy!#SPSt=hlK=1WPIWs3m+Md8mFH&H4 zHLXtL5*zeUI}7jE?(?8G%+$!4>JsTA5Xpir;c~4jsU|mT}&5|fWy~q zQw(GM%E52!+1kT6jX45TT{-8p>N6}V=}(KChMul^rHrHXH3vA-Xz`R-PY@^Pf*| zs*#;)gKvJpa%yYt(yyddrAH$D<``Oup2M!abxi9%)Ky@S>b(YiC&n_^1G~n~Ci>5Q zr;39|@6byiLQ{76$&N*0ZT|$V-yltkY=+8Af1A9Ye33*2itDtSgAN{hCs6^3rEDXF z;z2p`N~fQzb16_}%Mo)B^-Sd6awfBs716|M5>Ey!{$x^Dq!7ZB(FQ9Nb>%rL)aLZ* zIWL(ypC1SWzc@ln?cMx4^d(GJP&|fN&5S#0|K-G)XeN>BxE+F?X3dW|wu-l!dtPm- zd-(}djXBW<53Gksb()WF!vWfyo2@i(63w7A&!8bpRYGZ^nPMl9S>7kzmY%a7WhMIk z^F(urVJdpAM&`g++bA*w;BPgN5g{-oQ_>1J5gH=hQoo9{I1cCHr>m=1%0zjJRebZBvNk@DxNMgS2(>et&fuk4A5p2$7d7)_9x4<-`>w`IIvvd}E=7adNU&PoX zsY1`HY5i3e2U)iI?yqi}XKeaYbLKY-6lPJL#sU#`Rc~3d)35rA-Z?h8A%SEXP-DPM*er_X*`uFd0{#;mTM#r^z z0^g9bYXbPO=P&BxW`jMrkH<}6spD2}U(W5|*E5H6l-9m?A%dsW`kOb6z4Z^-FPpe| zy;Eta(A%pSZqDsMp`37E-}*=r2fUpZs(D5~t|L=~B0zDm# zR;*KHOkrwPsJAIywyL5}i1Md)pHX9!)#`I%zi0Mr@nNpJm+r^Q_4UHBpd*LmkhkQG zt#W^CMvGhAte>sE+W!9h`g=Z%Ijkq(^e}|KRW@Ut{~St`Mqao#(2<);cKYx;w6j$7 zFHDdEc*)q*wuiOmC6z_-iDChtNXo@LdX5YjN0rgnQCy! zCVZC0x6;p&Z4uM3P!N>pzV5|BJ)0db^#G27t;dVluS76p{jl1rs3aZ?ptOk;;VrHw+MzXf>_p=a5on>LOq0XM z`311gIKR~FN$8%>pF5~u*?5i!Mac2Fk=bNt z;}jVf78Wpd{OhRk6=w4%pRqpDv1HuPn6E_X$j09$en>$ofw0)ok*~$&cJ~8U^?iLw zEnlH$V(;yeHdR^ZL>rxqOr3St6+gLu0XSNvEez41xOF^nf4tL@Kqp?}qhAR{BH>+RO?s$#+(Cs<@R-ez9cNlRT0O z8K^wR{toGsb0Q7;0H0R1#?iAHyclsuv9zACwYtI8R-{LNvd2VIfMsXA!S=;*7Ek@3 z0>huepIG$&=+1hn%-5cm&x{j5B!N>z#Yco~^sLag1zc8-N2kn+cSXdOkB9p#tL=|> zh&Zw>PTw7E9%X}qAqrk4#%R|s+Pv)5-rPadK#RWSQrMwfw3PylK6?zlFMu8%hFoz? zTf?&2&JRM~LMA$++p#ii-iHtH)Z4pSj2>mcusGQzGQ?}o7^pBb6Ra&|fxq6Kdcuyq zDqZQC@f=`5$-wd~=%I~h#2Qu+`8!cHiUbM-6P~Tv-aqFMsqbnaRopM@7>dC^akI@< z#!6m|L1`^C9O{wfWY+-$f&7Etcq+W#f+{|h#QA$0*_OYk7!tv@ErinaO(J*EDUx@U zy1o+YlP{yxsUG;|#k+C+DZbVx zLVSwnL;AgeG@)dX+7a3q{OA~Dn$pw+ zDfVtmjV$wM90mdw&F81;$=fV9xPLY8^#(U;^7Lu&y4F+5)ynxofPoJnocaSM5flEE@!zNj2p;XbY$F z?F}b8umL1}5bsaNbqAsLw!i>qtAxl25oii&xEQICF)*})qv{xO>P}$~uHD7hp3|?&{QBa`o+5Y?#Y|BKA zgk;9{wD$6;l23v}KV-t7O5(zg4qfRvet?zWmtJ^Dvls~+5Y|rx)kxEIR99Oe=$=cP zH1*Wanv&G%k*b4Esx@o|7AMyB5O#eL&lduO&hblSC-#OHE53T)tTBg~=9wXYQAo5AHTs8QKnPS`jR z;X>Is_eMDY*xfAo0=QlZYa}skJUx+gkfVknCu%df*;Udq$#5e?Z12O~ll#0b3iUTa zO_#T8m(t8{EA#pEblj5eVBUS4b5}j%M-@B8vvYJC7mhm~O@c4>RW^zeWHyRkrun&C zK_<<0U@}1ok z`EyPUVWEK2S&c=8rHJE0iMNKdlLm_kh4oDl^+{v4_0@fKM6}wJZ8VzP&g-z@)9}d> znEOG?Roe$%yH-i_&lNj*@D04lH_P?s@V%8kcdR`+Cy>3@M#70wZN}Qq%NW-XRjlDsj0u@Oi|pjmS9|E zt?w*&yqu+*yzGBM6g(M@l;Nga@j=b8!s(Nmq}yGx_b-x{QQc$8y1n)Rvvih1+84Uf zM6L0+^;dfY#G!M<%zjh03m5*>s~3VXslp}ntDSD`TFCtoJJgOj^xXsfZQ?#@S1}>* z4{LT+Z%d^}T!CRkSfAMx(AEDMecSI-&ItL@Tmk+|qk`yUx>~4uM>R2R!1IQtef74M z0(pP2Soh(R&unn8B7#25WOAQ@omLZc;Am9oX5?urMvT+-xhBP2`7%;nyzxg)1Ky2b zw0RYAT)>Hw7mhf!M7IU`YDPs#{OLO2&wnE>>8{wl7b_q|T6wUAxU#wOYZVLOc1cNf zs%&km3i#FLw(_Sf$wQ8L=<1)MkcRlbc0|jqZ-C5#aUJB%p{v=DP!aR>-~R#|TXd!a zPzLq)-*;0TcZcaNt`iC>_kjT@H|k$hO5Rfsz2pF+rO-#ywyQ+#_HU8Y;=tT!@!(Ia zp75e37Z^bhs26yDb?x~ua}~c~;?TfK^Cc-Xn%xW*TI6{=y?=R8e`xvuPzjp)-JSBP$5qPKaaKH>*Vj$A{Ah@;V(2sHzwK~Ske52RMcNL zar<4tn02>Tmn+uhVmG5GpihG$W|bqw4fLu~;)!;<0@h3GJ`I%}y3J^vwmr>`L-16< zCppQ$%lmGpo39%FpGM#;Y3&{oPN3iT+;_!8LIA)dENdV z>~Dx~Ie$#2XreX#6|HG*o~pUGoVckKCwy0?v1yz|v=@qk&zB?xUw2TxDZc$>LFiYG z%;<03P{Un`v+u@chX(zw6Ygw(1gDMQQ*mL*8i>PFnb{SYu}Je^Ji7Cl3R{78FRc!N z`=Gvov@ZtAR$x9rzzlDdjMDSNis*1l2`rI6|9p|p;w&Dva8lrSeXI1%ztQjuZ*T(r|vz2s-!Z#>Nr2gYGxx&^fM1m(;H^)z#;4czic4kF!wHd2;Pi8luqva ztU8oM;lS^f(8zGPWunN%taZo~Z~6M@w0U*1;`(>x&0(<4=a#+a?mvu!NTsI=Y;1na z^c`)0@}{mWe^0dET6UyrnzjY<06x&YaT+)Wf<%pu0mlVdIQkQe&+g;S6_43Dy_~9C z5V#g&m-5`6Z;b^`qN zqV@s~{I&vib^@Y8)^>t+0(QK1wtTj4ZKVGH73MrT9v;5PqB7R>VdvJ4A~23Dgwf@{7Sj1qFp#u78P{#L9!)#3#tI}Hyp7#x(D+d%;I=GtuyWoGdI;LixxNkaMJ!2D zW6GZNk>tPfv;XqMH1gwI%9<7%ZU70`umA4yjD2wW3j3-;AFedt%*0$3WUH0IN2tr4%WBdO){t4l);#}*sewobjZnoBfsxh z%oc&>-@UVN0oJ}UPqAz~P~R`lPAq22))dZkOB;K(b0&F;^)v;ZXjLw@uDPwuhmHvz zrF*{pQVP)#uF^A2?vi~gh;D8+sk~wDj3*ZqpS%b-IHTUqv{N|KEad1JuEnp!ujtvY z#jeD2=~<{Ht|U0{b-%qlP#|>X){%k>fiwtUHNV!na}%+rh_>?ye*$r=I!=^NXPSmVmfjjND+#odzsO zV}K|`@=O%;JIJ+%qB!SaAnX`20K`cR(O$Uka3R1sBd8l7WE+d$GLNTMl{}T5G2#_&N^T-yZ7l_oZ{-fYBQi1)B3`#p3d@@!xCr;xFEWa+RwCq-?OWmY6dR=hTx5sjSzxJUIRd0BGLlok2^>H#d*%EyG zn?2qD*(H1{apWzvy6YqLMVBszb4NPE2P#eHt(}!K{gV_cM`K&BmybYU8+d)EwMh*j zWi-K}ZPMEF=Qg>?Pg4A3P_Jd)Y=AdoetgFkMzp{CS|cvXSLbYbUkiI*X@MfW!C;Z ztK)7(yuQQwlr}3rZu; z+!VfL53+mYiv!-G0Tegc_?rz1hLP!<7kjdq=gn9l8us1``T9Ki)`CXM@1$3^&bmG$ zP%k$F-oYXpt=tGgg;(sut_2{*F{9kOt>lR;Lo@^>{hd%#&dh*eOU&RMnq9!uE z?vWTP9tqODy@qChXiUv^rVlkro4oTO;rx6sxQpwa(wD^*1Q)LEid@~i&b-?EEEiCF zk~H*dH>v9cnkdhjr=OH#O+f$%^xKD>2T0X(d?SS}bD|#0#uhv*_bIiJ<~S$+UMZrF z9c*94u;kc@7b)+tAZNcR9^n)k1zoZDkhhW`Gohi@((!;^+tFEt;WhH^4&-hjLiI1x z+ItcF#HQbIL)?HpDMUIN^% z`^XAZ3jmt6#qoUcJV;Adv8 z&`EdZr(C)tJDdz4X>ggsK}(7J!M3zL6*Pj}4LAVXH@Jn>m?Z*~9lZsT4lRyJmdIU| zf}y_^oMLum@x;i8q-qv0ddFZv>V1y_>-811QC`#7cff3?22phlgF|F1xP^>-OH8{I z0y?inssD(2KvUf#Kj)6pGYG>iYj+cx#=DYt?#2-N1g4IxqU52qzqce19TW2^iL)I5 z46crH+chN*P2D+L{c(#r+_aQC{!m_M?%Ax6x_DrBuW5)tNp4y;?;ekfKU~{)bWuoC zbWG?}s`7ugnF#fjhMH#RyqQ84(*-`D-P2yk2L9IBM@?@{)2{gtr>26~-IiWT6^~iA z1DFrt#e}E@WJFy%K=zPaY&YQ(b_H~SA1Lo_hvCHSAohBdmTcp;&~Y#C+^8(m-hmmG1o(xEE6&cPSw8n#LaQ^~p#H9@|SZJdI1H}l zO1MXp{%Pc{o0%Hiw-wpO>bJj^SeanR0`vZvdDL7uSCJv*jM(D5+GE=RZjx3=;D+yF ztT7d>;|4nOumOWVJ43%~K59gH#osNKaPKUROR>so2*%&dRIS(ofaK;KIzsR-mNkPB zCHc=e5-0A5m{6%MHe@4oz{<-AJtMN%>U;5zD_`a>H-nZHmW%rZBi(fw->&+2uk6?Fxk2w17k;WtIQS(&Q3!NY>ykCh&*zD^Z}<}CJH)nfd^74I3ZCHRNm z)^n7xupu5Wkt=W~nac5VjnqN53Tk%5_(@B`M96py2Dyaw}~>JL@viC#J_;8Q%I;eXBb4s>rdkzcMc9RQFX8*F^qH+x>+9=j-R(7= z4+L;VRFJ3CxXs187D^D_wJ0vh2B*R!P(d=z{Nrz-*`bt(s{h#5810r1URUwO;lEw0 ze0Lp@kgxb*#*+wnm!}fOWwKSn52LQ``}Jg|4F(j7_f^-5-(#2hFJfHv&iBKXqXXcf zsIgs~lV{`P7o-Tn{pF@!H&5| z?2g?EUYyR})tE4xnYb$-H%i64?M@6WzpB~vZqZ0?!g$$){TL`wOT9xX)2>SG%V{+) zGJviya*imMK8j93oSJQ)ZqcU-O~jw{%R6kpIiva8Rtpt8@Hu(QH!@zU=c| z5j_%}dkh4nR38l26K{t(B;JSWF8rFX2aYiO`;tKkZl;hFZM*x69kIVB+HOieN1?kuiCeXy%^!k)NrMX-|3p%>hV=i}vm3doP4Ps*)vAg~{VuJ_OdSC`=n`63BDL|VpcF_a`jW3Nt~NWg4_wdKG7H7S4#5o&QsLBWDj-XGQxRaHwg_P9T&I| zDuw!y-20U3s6?1hl+nSu{Uj6w3sPd`#`0_ad?Oa@9ql*V>lpZkC1_KTIkrXo0?2pp zNr3C;&uSk-Us9{ebu8k1{a2#h%&(R+>{0c{(O86Z^>01gEc@vM7cRj@Bvj!)P+A(j zP~`iQlC`1}sbXtmBVx;qZk=3xOx73Xgc%=-Pd0eNQwQ}oJn{2byJH(3Y!FybX6u(4 z3=JxB2as^YO#!2b$syq&dt4YEu-ct;dg)G&Xhka#X{Go_aJ-)Rf!Ufpr13CD#92Ud z&4(sE$v~^mb2v}wWcvx>MrPDauwCJH54u+5ol6_HJBV5 zrCVLSP?J-x5R#d=X-)AyZjqPY+GML7E{SKXiLzJPt*L0LxJKTEYGa{HfX9P?ui@q^ zXq0n1Jy?Tr&}M2l;#8?nw0 zZczJ^0NG_x(kgNKA*UEXifE$u9C2ukGxzL)@!BUiCuYsMBR3_wAVFzP zK-99QVmDM|`IkZADSPR{zwoXn?!9}lvtVV*4va2}e+h+x6Ld6(`Bz>O-n9~8mKW$P zxJn#@Hd>PAcdgPiA9SB<3{ZW_9lRTnn}NOZWo{t^@q$Io@C@MqNw^%G7bWN^ndq-c z4R^?Xwp%3u^HeMlba$zoU3_$-ye_t1VhrW2%8b#rP8em2^3t-#r$7^3Ij2Q96NjKj z?9@tN#%xU14Nzf;OnTP#vnu?I?qbAu;|6*&?97c_lQA!o!-|Ur$RyZ;S%|30+(`FA z9ku6)ogE7y@BlU(Eqy3fhM?J{_qUiJ;v3NrqE)!dO7;+`fE7bFa+k4IaJ1j@gFDGg z7kR zWC62zovoGBxyus`ATlF>^<2s)^Q;q#@{t;KT9B)u_AgDt8=f3mO%XA)5F|-nK7Q1%8$JQ*YC?Smqiv_9EGMeR5tW^ z=5PR>rI;y_@)+mqw`jzX5ho-kX#*lAx=yTuwBsM0{bJUvOYd_058i+dEA?N3L5KIg zJIo>rK!A%!*z?>$=_gy+;UF)K{E43P6UKX|3wy+~#Ol_;yT&OXq2_j%*aIG%eLi}L zU8r>+lj90~sd+FMzx!Ovr3xF7nRlg2WKEjQu}fb2LUUTA@NQbKG#Sox;d)egsjq;d z2_&)@sv)dccLed#B=-M`o#oLp7J2D5P0GXz#MS6W-n_$C8+g>@6CBwpz2kxynX!_6 z!ACc`^mZvSt*)nv zYhi(ubWz%0(PvB>Yhv?9dcCy{PBgEQ2J=lOCvH{f|TVM%wHCvi40sQa5I`SjN&n*HWgAV{l3 zd8ZG{lfex0zd?s3wEqn{bT@j^nvn$bCU}xA5jJ;Mc~UPC2Xx_Zz8F>t+218>u}|b8}AjRj;q+e%Q=Vs zVb1a0Ck*a!*J4e(k8XXpoAUa301>K{YCXiw!vU!h3O!t~E1Q#NcqdPNinB%B_8-lg!>4tuX zCuSGB?1x$f#&oSH2d%M;F!zsPQC4`RU0RvpkB=26Nmg%pEn_92OYeRy-D7@#<~mEQ zlv+%Jm8xp!S=YU!sqy{}l|^&Y^znGm^58laPw?{WdNFZej?*dsd51gbbln=dd) z&inMN_>HdY?VMclhZ)_PU}IFXe#ep9skG2lYtjJFvgT*0Iu}@TYg}MwaONJ{u(h)1 z5j#oJPG=Q+7TQ7Q7^@=LL1z~$q}xvC8tV=TlI(xp@g`7m`gup!8Tc#n4fiFug&BJ* zND}CME@u!ZIr*IFY{L9=U4M(0MN*Ue6;sWSk&Q~2=;y}%QEUs4vCRrkI~^!Cirpfq zxqtZ3LbJAiA9V{dwYdYpcXQ9PeA;s{OS+vNjXKs&caY~3Gfaq)jSDjn!|X{F;vDOS z(b0u2Ro|bevjQ#a6+96&!x8RQ*J2&^Rn&0BS;D&R4%Mp9y}yQkV)oBHyOzejq*oTB z^26Q-aJaiwwOHMJ-zo1T`gXoAiT2JPjB7iQng;kJ>iRD=WKSN-SmuFDP!~QuzUW&) Md}d|^O-20w0f%ZZ`~Uy| delta 61287 zcmY(qbyytT?>@}3xVu|%cPmh&xVslGS{z!O#i6(_R$Pj^OL2GC;!xb(-hJB7_qyKS zf0N`+PLeriVDHS7`ZLA8F;=+}19-tE7tn4AuEew;4t9PHVPPZ}S7&n*J0$nzdM){c z6<(B%JMBMOHWmfAvfty=)E{M56ws{~8u{V%a_z z>Z$un;1VkLG;^A~4gubnuVTMhU#9SQ=~iWfN}-cIee_aO5HCq;!+*XGt*Q7L5-^!a zfGCxmO>YhN@1_|2rGC{N;s&MqKdi&6XppJVX|liv&zILpNnby#roJT2h-WO)_xJwb ze*c3dhr2u?z_fUibVy8ZE&k`ywt42aS`rK$0v6^LjwOCDwjsG{S&{Drg_BAke`k_> zP#ri=s-1^{zhX4VE$us(cg6O#{>Rdv>LA0Jw=ia>@65(60>3U#x=i%1+N3XxvzCcV zv4~a(3KXqaFgnud0(I>Qe;2je0r6#`et&kHGg;S{_OiX{4?q{YRjft0?ljSSW<&Md z6gsz5`n8xtqdZcwVTsDPNTZ7fJ*1X_1X$fg26(L$oT<)#E4M|N%K7zR=~}m~@LHp);Y9h-oHSJ;R~tUhtU!Hv zKHxAkfnIrbzBWjiz&kV`Nx7HY^#cUm57)h1;sf`EsV$%$_g$c9IedZYmVri*$KC^y zF-(x=fTWf~mEpBfAL>`Dr0?bM(=}+LRx3e%*hV2xrGEvzJQu zIF=M<%u4R~IAqk5HH!$z1aJ)xP5M9nTH#M?7EGZ?gewS(X|9c9Ag_iW^X>%=Sm?2@ zIS1}%=O38!WtZAZuuuR`t~B@AyR0=o?S9$*`5}Lw)zJf(2d5S^>TFunLHsf->Dggk z2xKj^TRae|*MGf@-c|aRciRvc@0kjW5@WlD6632i7AnXYWte~|^>?KoJ<3?f>OAiF zQn)$Elot?Fq?8phhQgoL<2tR3FOi;LurKnX+f5$f6%UR8_dFKaNUds(Egk2#Pvx#t zN*37H>kZ~+ne3gVEEhSth1~I|q9=_57A}T95|_Gxp0GkeQ|tcD1tnps)h*$Wg|;?~l^!+0f5$DMLXfUjNvH`9JjDQXOMnrltIZex zg!tF=sz6tpshEZUVE^}s;?tt5UC=6r1B*?8e|E(( z+S=o?U9|s&n{1`6b!eM{Aktvn5`;(SYJZOiBL6kIClD^s)HW^*q5R*o6SPBDOTKG@ z^{)osJNjDkds{rPYAB2w_&XYau8{#95P}Ba{V!2)1u1~GQIQO=_`jvV)GQE14+|jq z{}4Jt5XGGkARFetHh`1FAQ5;z0!m^3#s~kFhRD7$01DKE8Z8j7E_VB-sDcd&LlM80bW;9&mC4sik^7f%4Z z(4o0_|K?A03DLA%0%|eA)aw9R@MZ)835c7QpXdMor{=^!)xn@K&iAZx!>kbNEc(<;&fZk5Eg?z*e9*2Ru=|u{m1+`7revL_uhJvl!QjJY@wEPw!4smgCIq3wis%{GDp47# zJzLS=Z`ajra0{0Aoo}d3?<8uNIm&*r!A(7M9!5-M`8L=QQhu{@L42603?6>*vWS zjfZMisE}PaZ6u{x&t8-}-k;ImqQjFGF^uC8uS48I*Pg7AI^f1~{$ZLi&VyPD`$|Wi zYsaJtHdO)f2t^^sLiJp!Q+YNs1+3G`5#!34x*XZMV_{?#hx+`c|c4=_y zPi32$*MFN*&Ej1%+<-Gb%b!V7fVF6-v_o0eeC;i#cJM%=+<@6Vus`fQEM@JzWu?)v z!cW9(1YA)q#tp*iaw}D%GCC3E=!x>)JV3Y(WwqJHl4n*LHi8x*#g+JZsZrvVCViS<Jt^)`!k~tQw?4g`%wQ{G=a14jmVv_ zOHu=cFlGar{^PCbyC0%9u?Q-?VUjWu3g2)1pR&hlHavprwo}c3)|TNkk11+P`@buP zZ|PlOEZs+UTw%1SB*Hwt+wH8_Ho{&jE{WvjGY$L(X{0dP@`0faPD1RvK1(BgJV<`! z8T5DVmEV}2(nl6HHa9WCsw;DDqky9yN&2Zm!_=%IXBJ+H34=U>E~jCGwCnEAk)6}7 z9jjx0R!UPy`2_Ewb(yEu!@!N;sh7IdE!C{zTqs8K4z`8G_J!Ams7wb>ix7V!hqd$Mf>$;H}-q=kcXcS-C^_ z?O<-D7T+H^5*^TTNn`4wlmKL0&f#S;_`)5ubM6ZeAXa_KWb@lwKci_~=A3UY(sT*OV(? zeIIQf+*`c8L)}1kEBiaQI=^%8NnuS4p4WpD(%U>T5@IsEGZKC!C%nBFiM&o693k_9 zUg?a5XJ0;)EY?oaSgds@Ieqo~0b@PGL}Qw!c7W<4jy@Wtz=4=tQP|JAeJEo8Hl1>> z$z|#N(Eq*GW}1b2gHG;kSoco#K>U&I5k;IpYjgMdJ^L5d-=GvOYvW4c;V}mt`(A94 z<@OQ9(9baeS1Y&~udM#(KFDaQr+FKzpb(ENqetXn*40vq|!+PrF$Sz*DnSDMVY%_mo`Rj z)Ye`_Bwr$LSIzBuZjSk;AD6OB-zGW$Q2zuOpOb(@+^`~3Ud~@`@yg4&!_X=IQ zzr}w$77=~)l9`Rrs9or^NMoJ(5@cHpu9B3j~+?*B%o3#k!z7T%u$TCbvnZ%ew@AR>(a4lhLlJ zAf{+orjYx1Wo<;&R`zFpr`{wabmvP90!F2=ee#Y=iZZ_;-Ku%wsV8Eli4>@qX5IOR zk`8=#vd=*rI)T%WPkjDlA+{25^RsYn5#yn}dA9!TT;a?ZaLwvB!3Jijw55UC6=MRd zfFZt>-5(ab+r;!roi+8rj#Q;ndlDKw`Mz^bXNLRa$=LAIkcS}n?^@Tch=N&9ck1#`IPe9 zn-&RaUsFVRfRHh}F2lx|ZC_5F#6Zv~r;@@bA1`&@yK*HuAsKESsUtC+NsXOat*n`6 zGIT6b@vC9_hGn6=j@(f?0hwAq9dk#WAYY3}lPiW1*OowTbyX0@J-5~%ZjUWTx?Wg9 z-+KdmOI25}s+(@-=l*WqtfJCV?(kYsMX{iFnwX>JqU=P|d)Q>XsVPk`Qaq+&pL^*Q z&=oxdHpMcSP}oEnaG}1K$2PN#okA(|a?Fh1cQ|l)uAiAm;i5PO7hrQhan~d9XKg^4EJfPMYc_K!P9>cf#QeMlxcgwXDRsdi2cx#Qc3H863xSv0DafIKs$ z^u2?iPzH0%j9m@ZKTTXTSu3tJJwcqzU6GYBU#o8vpyr1mC5c*=SV<`@Yy=`st(DHLw0gqr3jmB>YXq#I*s3XKuop$ z?gQupL=ovmwzf?-@teN!&Rk#(lZ4g}F4Gqw0(GLi{B!MBEz(<3k4#U{P?@|pHZxsYL zRO{3fbo6;>)wfW=dqdS!5SnO@_6Z^W@i=O=7g;oBk}U0XgJjt??Ih>WrPhJako_NmmvFG-<}XkVQepW-z{-=&NEH4)m<2>|owVrOm-?pSbfwWo6Gp z4yS;}v)<(rwWXgS8!XnWW>Q+cnI$*cj=DraFdQ#AjBAIDMq-^c51}Qi`8=KSHb6*!&_;Bm7$j( zPO+98$x0@7F~ifViy=* z`Ht0#A&>v~gIY;!jZgdp9$DVU*`V6UBiN)mk)Bj7eLT5=P9H=}hMc=M&g=jdK+E;5 z@xR0qEtlkgO1QYrJZ=hv(r;Sll5i(xAd>)_3v4<8{f$fg*)e?Np>AQoUj^2tPL#Ql zRO=`s^ix#6Jfd|cIH~O?n{ZqU)}2R^VO#e-1dWKMh(_Rl_BRf7hta!|Zb5UcHI(|6 z-|@bW{=h?jS{u}|eV~=%`Ul^K1K@g`!tCIGtvh+=k7M=^SBb8>q ztxMKV(ld$C@%IYenosS4I+)-02~`D&B}G;inclS>f*q6l{xf|R*lfaO99uD4<|?o`^W=ZrQtxZeS$Z4`g_jL;v9bU z^>f%T5Ti$p%9}~#PL%(Ly_>ddhqWB-itBkh_C5lmM_7^;{Xn8`Y7Un)!sn?qn#ZEh z+7!N38c@9K0QF--79pUAjXCF(B^dRL}z;!%f8CZ}Rq!LXrZ)R3XF9d_M|% zJDrS7Wbd8=Vgx}B(?nK)v0?)^kEe^yt(d23aPHz6J6VXS+pD{X8ahv(HkvJK%}c{0 z(nu0oV<$FhiZkjx*IZt38)o998S4j&AT;5$!?u>RsYFg)Zf&(D{ApCeHgw&Uh^{?d zP+0km*?K`w9Q_y6TjOCX@gn4Uw`iZcs_WMK=AIsGlOvWoLAbMH>3xg=?ZC#&iBkVI zHEnbrcdu4%*ozlDk3V+X+H%GQb-p0s`GFJ*V%F-XIN_(T=VascM;m|Zi0Kafr`vMD zrWUx(g>N@GFs8dtP}@u@Y%H87>xq8opraM23oErj(X7Sm>91?Q_Wk4~(3i&)EkoDs zYQOa5+nL#WN%Cf1c^Ef#Hz8aqM1BJjN3e6W6Y=>xv~zUSc?+47M09oT`Qql(UmJsQ z?hSbMB+qId?bCg|D#%*A&H6fULE5#B=8_-oFB{gA!u!uH{=^USfAZB9zkTjU1bsoV zV~|eB?$y+61|VETEfhkDy0{45q;RB0Cu!w@a4$V$iz2cU5E6GQ#bRQN8&5%l6 z@y!*#j&v^X=*K=)0kp;41|xM9b3+Y(-hK%&H9RM_f0Rw5`919X#)tzFvK31iIdRLB zJCjB~2&I3K@I`b&Qdo5{>ubO@0?qU8^2TU=drd~HH>y7Ean|E`!Jtp2uyEtj&}Ou9 zsXWPHttF~Vh?9x2a7|`Rbb8a{m|%mgMF~7W(pT0u=c_-zl^U6=s(`!7LEDVkmf}kG z!b<6QzNHB%D#S6cD`nCp?6yyAt~mF2;z3Ct>LPiejVfh$D^ z>xqs}V%U|-t6h33H_UL&)gMoxiGQn!mVrPq^K zQWuWiHJ4K8E{LVOuR5=!ZU%Q-?e$kTu+70&He<3cLh!IO*JsVJ6`*O~!Q7>b26C#y z{iz#9;X4PYzUiJy$qM0JFOC9-hOE288)WwE_ZmoTSpRm6`4`XR0C6LB4R-ZD)5Fhz#VK415MkA3JcAN^^ddrfDcXAxP}kS{69_$ zo&h2kF+j_s{j;C*LF8C|=r-hk{_+wK|3e9AJY+ERJggh|RT-MTF-rwH755*W*8+l{ zw}6(!gfNDiyg)ZFkvqhr*&W&k14709)$n|WXlB1d(_{P}<|!4TNlSyCM*J7WCLa<7 zsQ~%{`5(teQ4OsDeyW0|X-ut#e!~CD&czQwFr35C`k4QGB32-oFt0-M;Qk}?j4mMd zw+rY5?7#3>SRh>^I~?#89l-M+Bj^rh#RJkdj^P1euoL1JXuzWG(CXkx28hmq5$J^S zm(Tmn3vu%01KuF~%hVn0A_@Uui2>(u{{nWkAb?XL1|KBQK zJRuq+FQ5(9-!z<~AP!j3K!pFXmw#6!%!Xi^vVn6j|CQnnjx2!4OohO9)PF?dUM<8a zqz)K}@|Om!a)nU`BXmJ9MP0yVEJ$i5vp{#S@hp(0@pTrcjhRqmmNzFiUC8{=#2@(j`=^j_`j7(DIrRE zDi}oEzZIzQ!_YTg@xwGj`uvwt{)32?hS~U!ban&Nn?PI!O<;QdS0yB44RC}j zWI2YfFmW*ds%r9pfOI@z9{%-OITRwEg~Etn{Qu&zq(I`1rod#P|HtFbLbj9jPlyJg z7{&k-oO=Y>fMzX_bYNOxKK#p0WD*i(eG+B>LSTcPJRpFARTx^Z3NHdiqsAIc!v6}3 zm4;OZ@0~)hA!jgQxPKdl0t-vmSOyCVjrHGJkU=5193P@lB!ErB_>YHo2k+6t(l!P& zz(Vdege!;KZ9#}UB?y~_{I_arX$Txq2G#+xYyUI5sYA?o8nEr?f6Y^7u=I`2pJ88d z{uTH)2L}%b2F(*z6yq;OAsiCoI2`sXgpvNQxqmUnX%Ng?8mutJznv~v3IVN@!logD z0~nzH2Xd{4fUp~2^N{~_x2_Aanr1g_`QPoIJP(m_=3xQ&p<{Uxdh#kYi;6e(n zri6C`O90?#8@B;)`q+?7^;h!&7ou6kg?s+5DStH!^bpNA1~|0;PWWFKxqCzdqOQLPYgF zxY~akDgK>081@e0lYa+?{J##C!^1;vECRe9WDfDKhC)1e+D1uy_%FzR&vgYQ1fWC( zABOg?hFK1X?8*sGfb#F*5-tpp8Aae*QU4XOqX16}hSZGNn5YQ9`oF^M4dCfO+?<^M zFZ(YzlDyKN^z?vq8YCx>s9 z|NEqSY#B%L^00q@h&$M+Whf%QJFECW(Ei!JX^QcnsN-~H!ePFFdkDRiY{mO>z~JYZ z6svNiqMynA*527!hpx}fDK_u@$m7)QWzz68Cli-n7YJ?vj`!%ww0?Y(mebBU@TtUK zaj{K7n53xq%b9f-u;^=p&v zm#m;-i}q{7?Ccxx_8?}hkcezyv#2EVb7q7(<0bcqf$AXl*LB#IHs)fu79m)$ zHYx35r?*>2os5w)z?%-gitbcmS76R?v)~W&*TOo5Z*o42=AZfuQ#6tYRi3e)ke5`6 z`{QJFXmVC=#YuTTeSz^L@C*MMXB*9<=7j`44hQY5sMs|d;7%K{LoY?56gwEFkl^r~ zl%g7)=;2D1e6l{d3|WSI)an)KM<}KLQTM`ve`rHM)PiCjFDOAC!dmwwWr(g*8S zT?T)eS7Vq#-@rW)4 zG_mq!ZrsEfGC}!yr&#{iZ6NUBnYju@gS^=riq@e;U&=L_!-(wV{G-L1_9U`zn&(c3 zA|G$Mqd(Li8cMsu5ly_R;KYUszxf|uN1{N#KC0%)!+wt3`6>T{e!__Q}}uiqV8{Q@ZJSHfHk6{08p-h6}+Un!+dd~94n zg=3d$Duxvf@U#ck@PW=M>2smH6akcmKBt><-JWGX$*bCca#?J^fmvKm7^|fUX-Y5S zKNuybf##b%RD2r(;!JkEChtpDY)lan5RyyuRowIZm|mI9ag8GoK1+HZEIAj^ReUA< zQwPLGJ-5>i#j*3F^jHxk6zq&c7n2(XUEX;E{Y(Y~14Bwky+VFalLfTW1!@_qu(M$r6+-xLX%i_vexHe`7RDOuoUbtrfkdhzKC=t@&t5S+$n%QUW@t}6 z*Mj%k@INyULQ5%U@BDWk1b7N)IT;bD^1MTtygHd^+6{(ZYNzI75vFMn(5%f*=gq&- z_O;_<`Wyd7yWUB79~xU&>R2)m7U|k=t@hfUFn{RYO4UAkQ;V3RI!}cy4nouwl%A)( zN#<1Tun%$ixGhCo^<6iAbl@D5?}l2?Uv5Gft3=al1%0eeJc96uSt$o98Zpe8^^DQ_ zLls2_e(9fB=Gaf4#xJ4SK&H@#t)WqJ_@)i=BhSSOMd-6yVPEzlAzxdx7Q z7FnXp%&f*{tKz!aH0hZ~$!DEbUr06)4XP#Jd3lO^IYl-FwGk(k6Y;oR=Q3ygVxIT9 z%7~-4xzBQl#4-#qO%)RHK5)H;RqqTTii+MNe(pqAV7@7s`~X;{T?NgwV{z7~k?$6o zvFSWfks+q)@lri~LEp&|OmCw>M&W74PnZozAJQNOJBN{NQPeUQ?^8XDGV3FN#Qgyj zvZ1f!pJ$*@^5MVh(Z90&ysWUv%V=`w2J%g!QaEDwds^jwG)qB z^#M)L>1?x&9bD!g|4XtQJD@1RjRCAV!{$Hn8zMj2}CEv zrcd_hwDY2m1&>g6kNv^kRvqW}r$w6a0RHZv63Est z3=)Oi6V3dxTr%!QP5Jw34a>ONBw#Yrqe*nf1>j?Pg)jIFX3y`oEf(h-#!=z-Oz4d% zXuOUP@fdn`1?0^>U)@qgU@qQ{N(--4kHq?YV7O=NrMbnguGiRwt6*lq1cd%{n;UZU z*|QsRdcB2yzLR7`;_o9+PNZD(eZ2_201=T?OkYGj7bLjq=sT$)0oC;#llYC22fTF| z@N9&irc@pWW8eq~7jc#bkzKn(I=c`Qh-KckgF?y*5Y%oT`;YR;Z*ewX+;M*Ee;8LOYdQHawewn)z3WE2q9DpIFN1A5P$ z;9ota>MMu7=Q2s!_GC7vmQvoUATpaSAoDS0=2yz(iFEjj$$0HAGJiPhpxmW_bGJYC z>Ct3~o$p*5*{HK^+m!1W$0RRb$Vf0eVLvAoiNgER9PK1j+kd1(Bl#%jlw*)=o9QmJ z;m0pJG{BG7FYk|VJ7?fJI81Qf-vhEKwV3GZ!8o+QasT5vs;#0ELsD83`HBT>)D)bq zq2~DVo^HJ_Y_oTbdbddnZB~2lBsk%>>sJw!fu32FKl=Kib;R^D#VoO`a5b26aUY>3 z>+}J<*oGeV=B6;RkIGVK$^0ChVdu4Vq>V1zd$tJEZ|9;sKy&*~#WxU-nW<1=Q>4q!aS=4EFlXWMQBvw`zSkKr9;i*dtPoVgv za}ZsyG7|VtQcZDnGvgKVi8jdexUeev_D%fSkA*BtjvDPN)B4HeS+m4T<~w^Ay|5YG zG;l#eMC=aTIV?hlYHl4IeG(^z#;ROKvKawt{Ga__Hj2A_X|8F+@D}sSIS4}v3^~-X zw7-zvf;j-5<4|g#?{8k?Y#!mOIxzsES!$i!eeIBSK@<2$PUROO;RDbdiXXI~hIwiX zVc&wH6`uooj?#+ChqxeSq`DKc*Q$dGDqicj%`e0r*DCd!_N4b5-Dy~;itch`OyGcb zLYDNZTJfTS#%iH~nJJS|&B4X%zao*ud#2JxQ1XMK5B&8}28}E-7=*a`4Y3NBg5D!D z)N#w$FD>tkZ13^*;`o77OzMAhPa@7MIRl=RV0%JmV10*V!b8;r02%35uUK5A&Ih0e3RYs8WC=*VGo;|~N>*ZY>CAU35T^>j$@%K<4rAtEQ zB1Oo=hU7veZHz!ovpWpuKN(oDYr1uwpI1`2V9{4OZtd901i3psC~u|he{7}rfRb6c zJ@?#2p`br^J)3CZ;okj>+v(=w(y>R1p9>D;p%q@X zQ{i||SK3I(#6Lie>svl%==<`{PN%2#{_QAcpN+cl9;8onuW9~Shz@$+$jCA#s~TnR zbCBxN(MqJgw$+KTN)D1;{-|N4@2HW(vnj&}C#a^1Hj7q730Zv)_fN!xu{DHQi`33NbSc_BGC_wyTjr-f_eQsF+Gvy{Zxv8PxEw7hyn zO#l_zmn63&fJEALg<6F4tCaP-v-pSaa3gEV3k%5(PT1MJ?HO3g!kt!AXVySuc)=o? zZXTK4H~}u#SWap8;SJ3X(1sKwRy;Pp1|C>w4jD@Fq14e!#X|PUX#Dd*rz;lHy?hD; zl!fU}X!X7#r=<<;bcJqRd&@2Ba2&|+>L8yOpw8mXce23rm2+eGLsY&~5d!jA5gE}x z-3VI4%}_Fb)b_Sv)GI@9Zvn}~Sl`XgxQ7xD0YrohT5<)Il3IQU2e8I(-m z(FXzwxw5%59yUsGnTh-KY+}_Gl;?J|v*!4Otwuj}6QRu9HZF021~d1!K~_%2N+6er zK;o{g4XGM_B|P|rP-dlzk4^>Acz2(>-cPLa9@zww%{iV^IwsM+k=3;zaXZpuPn9&> zW9iNBH3r6b`z-L1T8Z4q992o4N+lOHko?Kk#*mO>xdK;p<);pOAJgD^Jd!t^8UOw{ zZjJ>mail>XPY(&40Su-*Q1BHOPz3#QGmyyya}u5* zPc;}LB+13ROwU#3ZU_5JAb{S;6yF~fjT%>HBDxc%jcE1#sHLpZ`}l(cY!YrPSPle3 zhf;r{{H#pcdC4pk+SH6%qdq!W<8vF=D}Ss2DfH;XJ-nCJ;i8-+1Hvsw?b5BP+Nl4P=I843^$3rcQuJF%}UkBhIMn33CCMycY zQ2ES9dmVVr_73?^2}X}>4_a-iwaywm%sHM>>T!pmSb@M9^=IXYeSqhKnk)z3otC+$EY7>HV<9R(KC z-iL|VHy&9CVUxsY!RGFS~ojUe3g0k zPd_@-_z;PJG0|2STNZ)0#)y;(7Tnl3vgcz=UU6aJ(6JyNz!zuytucn%zEzo;9lHg^ z1%G*|NZ^n=H{@-VpF#2p#yFXoCH;ckMRH#nng>qI$PPv%53WSaRM; zT+Mx3=)d@O;+wApqfD{|?ZhduufC)IG;%9hEGAnlhJd&xlbg*>kSnwr5MwfE61(Vz047uvO)q@YT_lqfr*~$cGW#&tI5R&{0nO|x9=BV_ zVYEMQMapHc73o(?P{Ca-u_|NvP!kY^z5 z&MD#dCv}Ev=~`8kwdHDWO=8RWLSACJCSu_6<5`rv_Oz@8Yp1qz!kUd9%Fie_wHEsX zK*1BRfn2(Ec^K`3R<{d@)N(GcmR~*4A3mx8iON5U=ZppuQ0fK9eETW_E9xg(cy9?! zbaep=dv|LjOwI4d`YSwH3=um&E9T&GEMcP{lTMsZSGOtN|0?gojy}Kwi*-I+r_AKC zrVm)_Di>;V;Qxac%kZYGc*~H>i*ifmex?{-m!&M`MLqDY z)ZB-YGx@%RN1*GR3`!Y)fxcRUHJ^*TSw=Gvi!e1wkc; zlt_69`L#``8L<_+i`~7n5vKP{JjxKNBYaMz7k*I4K5Z?U@tBu{p!Xeym)X(Hm3Ev{ z35Y(6gkg$bVbg-bh3F;rG9IkaAxzCP=7?CkU^izw#l%Dkh)~<>osadE)CdippAK*i z^wZUKG%4N~ebBT;Sc}$@%Zw71gqrznqKS@AfVO{*q-wf2gBRRJwm>{AVACK!*lH6( z;K`oDS-s)!*5JF`D?=dJ{E;Quw=-L(1k_20JeHl4R$S{|e*myn9tlIcb4PI|NA?`k z;S-z%IlK1I2Hl?wS#MqlJ-OHAh+!$YIMUtV5vbUX>c+owqn6B3Z9rdx#@zN5aNIxR zB-xU@F92<1Q}Q%SkI^X77& zL>L<^a0-9}s)$5OHFGp72^j_>RH`F zIY4oJ^=Z&5B_XH1?l@T}O1`5X$ophSUdh^;)?`*9`pj0@+S+0OyfGTX)kTJaMczjy zlu6cYuk%M%#JQU*ow-%fxzFxNC4l{GdNf}KXFt0uQc*ogPW<*;s(=yB6u%!wC!L9E zWYRL3l&}GTsuI3*VwETnMcnjFhObAp<GCs)JM8!kJtB6^of0EpO8X=D~BP#Uvf}@1x_9W|7KP zOzP)J4XcSCIrc{3C6HA#!MFDw#FsJYzUvhhSKqUmOinIy9@Pf>>H>}m}swoU6sWhDsAKFM>Xo%KBfd*-55Bb9zW5 z>ex?fz!%LRm%p0}y*{5VvK-A%IJ5q9kpZ?IY#)k!tWJH5jQ{}_2*MTasH!z2PzskL z)3YtgB0UlLmNjB4EMi{&0us3s%PJM#I$!RMzcvAdW~GkZT19Nu&P zlrl$0{`GnAEX1Pw%qmIk0EVodL~Ze1iM)Uezjs>bzL=);A%kY35@Ep%HOrTm6W7}f z9qkl^JC^qnJInlMTLaV=%#MxZ@ny=4U*CRI!MwFB-Ycv-r>nxT>nEG{h)-cY>rxgB%=22zLn10bB zf)DUc;e=f21t11ICBS0eFhg!u`~=BhBKPJ6htd$zJQiREMU=2YzRwXgGt*{Evoa3~b*8C$^{`l`+!pdyj2e^-5UZ50CtFF= z?;3%Bq339?SjwC9gYU4rF-*o6R1$7iCh5*be8cEFRFGlyErJR>Ikqou_G(c#rsFAc zCTXyn#wNWo;0>S?E*L;B9TG=)s`4sF33TLOY(sNI&$$%nByxqLjF1XfXXb@o7E|Ca zA&`Xru!Y8u@&S57j4=*24F2Ymbs4o<1z9$l+@#|gz;zt6lF9ueOsv04Eaqf5=64$C z-(5|ZlptQ%aSbVeS z@cm5?$!1HC7khU?g7J7zIcEG;T2MK*8uVvuM*RUwz}8;{(j0l3s#HO4?QP|#A9P&B*#=D0$y`Q{b&JSoya3NZo! zXEapKp}%yjkd%KungUeP;yL0XTGFI!ulbla*(p*z6p-Ok0EGj~5wVP%stStDPX`*V z54#cZj4l%co`RjxPgAa~0!yni+b`ps=@l!Ni0YY0#%Wa~fSiNzx!zH8ktyJSzq>LU z#6AjVNc+(@&W{QZys2%A5|=1v7Dm||%M z+8dr3fqs;|`)i0UtuqG4v{KtQNjD25G)2JbK?3%^l&}KIAJRsRU2Ef ze-TDY6Tuf+SF!g^fs4G{ANap&f z&q#nGr6bn&o63c19bN$`Se&MjKFB3%BLP+!i(RowNG?*2b$}1UFMM5$%-!gH04VVy z`+Kp9w_mDeB!!5OhieYP)#^zi;o*043=yg4R+SV#K;iccNuZlX&L_lGRd=y)s!aq+ ztd(@CRb-@*ok0R~$M9TlIlvswuq@!N7eN_Qg;=Ty2xB&5nf1Z@>Q@#Sx$o0<%vl!M z@0Ytu<>#Y`x91BZ^j}_Yn+`GL9iSVGx!2ZEkq_QC=Y5TvkT2?;Rv==>+ulph8R(@4 za&>TU5h(xb;rS}`m(c6^HOrqqYl^|zOch@OEnG;$+SBPW*05XS(P21a8!pWK%JkE(Bst|i#IjcwbuZQFKEY#Tea z?VQ-wiEZb^wr!jwFZX`m8{@q{HFmABy1Ki%YmK#MtvS0j*TkLKtP+#~Ll?gl-*!al zn&=s>)MXbwP>}Ql8$KUq!^QyMB=Hs@#}jmp!Nd4%#lv znA7$yj%SqRnI;RL1)(yp@xpzUl?(i}&<~PpUHHab;sWInjNf0D+n_(?fY0f^Hghan z&K7@9LUIt^y_7Voz=#I`&M&MFv6rSEav>%0D8{OW{X1<8wZKEo!dS=WJ>qo$jjoLm4L~-ZOzA|HTT4UFO>0wgzVa-!?j{wZXEg#n3{O zpz`2S^>b|9YWGxEI&Tzi?VVoU)Xj4DEo;~FN-MdjvygK2{;4TQO+b8lg~sV_V_eqi z{5afDL-*3%NM3v#+Hj_ZyDGMY+ejhT`zvwkX=!6I!$Ao~~+=Cyr@YFU>K&>ZoDtQ+{q4~e%WxcuPU{>WUi&?^*Hk8%~0?%+7l=a{GbZK<7>GcD05>SK%RKvuFDTo z9?Nia&~=Q@znVP@+d0NuNU7x7orIEOK_wdntIY}OGQs|d5(=*!uK@jder*Bg|_tR+1Hbo!vs*hAX;`a1B% zf1KB*<8KQM>1i2o~Gs2BDKX~MNq&ekz76I`ji z=7^I_GupO{aK0S_i-K*Gsct!77K6l9*})9VeSJ7opPA*B*ZEX#z#cYlUV)L#T~ldL zk_M)Gv}ds>u5il3k$sty$Ox>FS!E<|+Q4Au56(J3&nJ*M*NLW!%Z~0Cf+lfv)i5NvJE>vqvO4l+T7GE)Y+CAECl$RqRb(cmo?jROf>V zq!$nH(j&0$ISo7YfUvSt^Mnebg8!Gmrt0&n{ft5jN!}!ECE4wz2XhrHHnMpV!tnR7 z=7DqPa8C{{%d^DG?WTVy?98+=-EY-@63^db`R$mhiwX|&rCempmm#jKprh z?+{;+#uM-#uzb}u{BHp>v%%~eEqvxU5>hbNQzp~(Wi2;Q4<`IHw`*3z%c*&Aw|&iw z41UuP{By@)vvz4{;P`NccK?wMH%2BNtpthXO7HOGAPBBJBl(b?lz7H`#}G-H=>tzn zk9blkmvq@FVW>-5O(CG-;HC$hl?@9}WKWl1(+`JUu0erY>FT=Is3M0yxh>*CUKUx) zJeHYiX-knd3?z9IiQkYMr_zRXfdfrbh?$>kz4+YBwhP2?43CZHiCJ75!VJo zt}LIMmq|}`gUo~`W@afU#tX&G1olt))8T>IOM`0F;NhI#67pYg52IPf8K`4`Y4P>| zi$268wu!Ib-i)USy;orR^W2w!cMX!eCnC*iD0+V$9BqTtycuEJMr@2VZ8T|>Dh5>8 zX^L5-K>O0`K08AV>pPbB!;I1z^a=4!ryIiI8iZ%b$_0WmZHl>J72YrG9x6eT=*~zx ziznvPf~6Bt97;R&x7vC~j?Pm+8!b+t@uAi;&hMD!dp$E6CF{h0mTtT&QUOracL{RU zs#5dl8X-PFz00ZmX`-WJDkxvh1ZO;jW}w|1g!`1tBWbw>ncys`rBb6&W+Mo3$B0 zPsEliOnc*JP&X2u*7IQ=xV7S;BP1CR1^5>iGiNCUmg5}iuc~+@9;g)tOKc5zIP}h8 zmcO45IvwXKQW;YibaIYXcEUfQSQLUyy=_(-HuETGFQo}1VEU0F|6dYMTSCzysdYw- zs{*>H&k2EwYKyu_Scp8JzeU%{_IO}_B}o(c5|cl*PEn5VNb1t?1RaK7X-?y}4aRe~ zF*WT+FPJU*2E({wW#8>DEt!J%#yUt;hE<~o?eh)!$#;cgFC(7Ti^LIRYg)1}>p!`K zWGrqBEfZNnxtJ4Wfw`>B9UT+8ys?~Y-`S?63XPJ=?w1o}?OYE48%WS}9xgf!wQiE7 z$^*HND$86#U?4L9E%M3F1p8A2hli>++Uw~5?RRLHGpCj=2!A9u&0*rK(*5w^%skXu zW2t^qU;Pb>l1E*&dNW)$y;?Tlj@}9~0AbQZGR&ic%AX*bfO~Wp%Q}`;SndY9d$x!OcZy=&?FQhznQq3R%C4M5_%w*x1rlmF~QD$Wp?!Cvn) zZ*CG>JsTS}k4YPPJO+v`UMtkL>%5O1rr?+qc;6GyqBLj{9@$%+^(Q`Xyy1{CzV1fq zgVFU+3UvA#gJXQECRFQ&G31yA^|U+h@oH9`x=h)0^9pUz7{Afz8Mpqk%cz@uZmJ9V65PVl zY+rqw_(rB@WI@-$y~QdI3ppiRt*M(?r}I3J&zhv=SJc@mD!Y7a>Oyetn)1K|fe!tN#_Dh%zrbR|Nm{{yA zILBcnKurk#hQaWa!HUsg+Hx&km(c3yc7va51afJsEe0k=geXUH-6ad^8srBOR3J%? z%jTk>b0UwTnrEg8rsyREMzY?efp-z0fxj~R))~r-n58|` z$TzW%R@{rcHmc~@54y*I!$(%@M-Sz<;$cSss~N2H=OJyL;U)hH<}Wtc;C(7)hoU*& z#Piv;#M17ApqK>BDj3ULE)Cxn$>Aw1gS8OV_SbPz$TYEYmSHYVpZCw;dM4M*W%(Ir zKwwE-w^RWGzRM@E;e%wfkY_+vL_N1g1it5C#tn*8-PgGd_!(aBG4usBoJNXRy`Y)^ zk4YqB$y<#c~KlJX3nW|-Dh(CFW%GA z!L3cy#Za;cv(kQ-*vk@gMvq;B%cR3$onQqV3BD9MOIL!A{IEpBZaeil2wK)T>+Cr? zwidRBa$(f8vFhqGUzMgFr+s-z#Fa3>$2Y1oIHpTm&Q-8)K7qnw6-sMhl z#BK}=-TP97G-PWD`omcbu0vtWi9*A~HOKDn4|8rf6Jda&U4O{QIujL$m6~?jL?cGt zv~-@U_}+O{CoX)(%on8#JbGKn0i*pmO86w;jV#W7dgVuH%N1-rRBoErn%fjW-n!}$ zB%!&=UMiuPJO>Y{N@9m$kgSFXE`99TRkhoMk2;POY@0Ex+V!BsnqPJlNnU?6Q@XWi z!=y%H!LqiI_AgX{(w5wv?oWXN=K5NNF50H0#}G)22FCl){yKHOvObU+N=&61huW{D z4~<#7((w0cq#P;BPjWjyS_NJJ?F^Pm*w8(F9QA54-|!OKU0)--2dGUtdNFMPsEq@d zM$!GhJe~V>;Hm-v<|vh`Zb+V2C?rRyR~@?^2IDqoM_Bod7EGl)fVyH+qfpdRyYAHb z%8EEI-X!I!x$R3*+{pyfDgHzl>L8bVOY?ILpAYNd!n>oD^=OyfpQ|oFYcNJWWtvey zy&by~A)AWU=sHXkOw+1y>jRmI2AY}fs1Ct$J>z3d_wI0yhOYJvRN1ikaByYMCu>9u zE_WEkpJK~o+Itt>|8ESd!Wf~{8 zhrY9BVh}@Re9r>Kxu1GOJv0B*or7=i@k=WhGkeqj6=yU{kNpP;`5%hf50LmDv~b=M zn7qxP7xEMOznm%U@gLmqZ5*-|K7FAZm^>MYK`p&(1(Li?d=)b6fB0ViwN0M=*sRVW zf5f@|D_4f|50a{_^B<%h$bT4g|KWRKeE*Ep`VE;31 z^wlw;RDbwr$ql^j>7^7u1_??iTZI3iUDdPy^nci9g~Vutp0Nyho@)Qw5n09ine{{aCt_S5!>!KZ_0-2oFE zbB@>4(nUGU3w^nH$%&Yn@G0?L1dj)DYhWRfhF}bj8M~a>cB`EfaHRpyuXs4W%k12J z)9%0$O%J|MIWBV>zGHPIDJA+vi6fPwKo=MRSeBN`2>u|$V2aF04i!5u#){mm0Ikab zb4INtyIAB3VLa~_2o4S7LF0`L)l@0dCV|>CfD=ob(UT&oW^I8R@GuV)JD;LNDQOy` z9d=9WBgNcIg|%l~_mT`7=3z92a_fdbDR@Ye8k+eS=rqcrB6B`LHA`K1gPR#{M^Kdl zNMY&`?{)s()zb?hrVo(Phw2XwureW0?)ZV0BQ8XcQ5M84m>MiGLz9O)%5!4&EJH;L zq6-w_9Aguu^yTWc5;w)OYWk8JjKIbBIDWjzk4%>su(_+;#z#R0Jg7}it1D#36RGs~ z+kQpBok&YT4w`VgwwoISK6H@+BZ32tkn{~G|B5Dp;j2<=;u^|cv(}QLMcZ-E;AMir1rET_%igI|(FE9}74~6FhOh7eeJCvayEHfPu+9i=nlVL&C zr+^#;OO@*(c&U`A1SO5eX-X16f9j!cr(jxw&Ixd=nuN@(WTW6%h^tfugvv@MIT)Ms zeleX~s0RV{%xPs9(JTVr(f*{iZKCgi)$S#wV@g%WVB>m_&>R>h>@1mPl75NhL>G2r zl6STG!(fcf#dGIUdh1XXl-s935uj&hivK{dWyraS)qO}zhAa;Bh?_)0P~Mpr-C*V8 zZ6B6=h}hLoMEfn(=pc#}Q-|V_tf+v9ndj!Yp}fTM)sj$Q;K~0XSET}o(Tdglu%VS% zF~#)62Q-sVMV{Dd2#V^+>?5cXK~p96Rhe$lGO}qSp{4wtcdLtaq?u$fS|CuR3^BzF zi9 zfzSiVFu*SB$g0Fj*)#wo<0TN(_)1zdLi^h)PpTu9#0&$%16d;Y5e`a`dFIp!DlSr) zaO6&QQ96*~Hib-#Fv19A=h38>L3BhVrHEp`$knAYr0}DGrBaAauy=m*Y)~%zBww^yKS|37@yguzmgHYigu*D6C9m2XH1eS4zsGJ;0Jux>J{@glNSZVNf>am-~- zAT*0Ek-YtT+u8wa_xe3;eGW!<_WHdoZN0qo3U2y6TukQQ^jZ?;x5Yd7dw%`fA!uO} zAKs#~MB`mSPE}jx$Y8W>-OS`aj>fioSRMBL2HafV2>3i4Ukz?~e81iW?tHz!Pk(Rv zeLa6FzT6lllzr@7GkWZ7`rV1Fr_VZWcz780etunTrRM{>-fz-x2(EWtp5c;uy8%zP z11i^RZo|d=sN0P<*vZVP2J-n@wSS_GO!WwXy9K0Xcb9hGfo?t$eEtD`_3x2j;_J-{ zKpV}08qCe3)A1enoF~6gre#xzcFsvwVXZV}WJ}$^^b(wpo|}t3HKJpl{=|AFOJ6zlU-i^u}4R27@sYj{wq>aG@X!m z;`h*}2;jASM55lb$4O=tWQRJWHVV2~8#MyV`}_gGc2j^rh0dJ_fOq1bl9NH;n$e-k zhs-WmJd+VP;VxVW32^N|KK~9ja&`AJ;%!0tmq_j{6G+Wyp1|I}lY#jSau?nW1Q%?_ zTbTeW78elE=PxkYW9j*;-%LbCEqg!|WQaT4vT1uRUs4nqrCp!Mh&O5|O5bS73`hz! z2Hq7wDBFQAX2Q5k31vD4>Ds%RPykmnJ!Z-Jt6jg8_hRkN#06qfq(?N&WOU$Sb#fDF zO;1F0)D9Yl_p(}!NUOa`=sPj5luCZQZ38AhrA$`&eem8fO4gy^6jLY>O_iom zKzi^g<_E{@Ku3a?QYs6alKmee zn2|6|^wc_n`~E>b3{@?GE&C!x(3QWM%{oaaaMe^Xe5^ww8)ezKZnZpD)NeqCcQvaMaBMaAMEk6}doT^elM z>Dhe$;_|vlboT2REKW4;GOs9K`}>U0<ETI~rSS^Z$V6<{qpdmiUvxdfy(hKCDZ>w6|z|CE*u&Zeu{ z1LB+*tuXN_cT3@XVjZ3`)FgY z*jaKwz$qo#8_hbmCve(n<<&;PIrkF`B@KfzaNAgLHN1=)K%7AsXtK zHh>dz$|VZzjRLPyf946m>@4;WCZF$fPl>~N$;np6=O^Nn>a7QINsm08bK&3>1K)S# zG`84PuzbfJx54J%1u+m;2HGOq@@{Tcooy{prvw-@v87*jPYyOBmDrNGri*7mBqzdf zuf1XGzxL&uaoI0pykcDq&|f3dkaE9j5cUH`XS!Dof9{l;N)G_+hv!21tTfp8Hkr?i2S4ku@C3Go zY_WDPvJctfFbM&O?Ru-HS@3U%*o1x~F9&h2t9=%OBYCMrtQ-V8Ztn=S#tyNpo%*j| zCl~qtKK(1!%-ucex`M&D0-uS_MfUzBxa!f#G>dfjcTk}5&HKoXs+pcc7A2uqT%FA) zxIT0beT~&x=9{Ld@j-PyvbctHZ>VVb+bnOszc})hbaVjII}+4ak>mfC7o0Ep!eFtd zF^M@hB=H3XZ?$WwHUW3GLn(sOs>U1&az*w{R^(?0vy))Ccg>L}wq0yY8H%*jcn_vw z({X@hx+)o~nTArGi50FH?R5m%TU#!6#!B+Zdla)=vLTD6tw9M8mFCkR!p3I3 zCSa7OuNTekM`ME8zf^|m`46HaX=(OGG)2YOJ)VLU^RJD}0OIY|TLggN!*YqeSpyzC=-I)}|<)IQlB z>?Wk?Rh7O)RH?P2b|2FO8|+imvPhw58x)bvBi7$jmGe}8jezs30d{^7O$bHkt8UJ| zhT;!fnL^8wgVqg`*6N5_6|Njx{tQG}%Oe(%a>Sk`y2UPC^wm1my2izII<*hW*3ft!(QnOrdv z3!;6G3USc%ygoL8=@iSgKhZf@e~&9fv|6ZrPYQp~G=fXWHX>S9-JYlInacDwmoS+z zW*l?m5cUl(TXXX;=}$V)A4lHGvWCKsP(5)6JQ(qmVQZ`8a!szVNRv%xG8VDkT`7Q3 zgd}%%X=8e;f=saFeoB+ot<;nz7edv{MpAy5I%V7Ln0nbbl2=0Z<7RVFLcg+8b%B%I z8kaX6zPNQBPgEEEruR&M$)(xV9BAiH*NTGa+3hJ&~a)z&l?lZY*@tcJTFV-B^N6*dikvaHXhN>IJV8; zL`NEVGgA5ZVrpdZzjnDZIrRl7Csyr<~e7Ad-Ii}NI^W!!i7#` zBlXO@h6gOUfgf22D`P1Q@@XwT=QrVosUu!q^wZBpCDY)uU6ip-re*+(AuP%5+;ii` zdC~Zv{r+wl}Wv8$#XGtT;XLbQ(U3I@=6hbC|+nmZW7bJGS(ec-k}Uw8M%YO zT6_@)CLd?}!ZmW_o!&Z297-0E2UV;S+Cv`Oi1OyH@kCy&IUE{@jD2Lkal zmlzt64=W+WJpd5pA`OUcyE5U#yCbSF<0fk9%p6gI`niTK2$EGM3Tc0uphm={%aSx~ zv_^-2QG7?N#E}WrDd4_=)548K!emEq!)4;Ip4&<$IrZhs=wzzLV@zfmVR?{&BNR^u zv<@GSdTUsmWG^UatrM2vL@=RPU>je=)Em5DYR*!sw*s)06{*!9)spDR-$+@PSryQG z6A!at_QaA5!@~q&;CIv%d6Oz(-qaQ*8284!pZI({Ej-;ISBe{1g|^fPFZ!5#B$&H0 zHot(@gy2HumK3-~*-u;#>sOcShrbpfX8Htc@YCX_GP0CgU-Pqnj_Tu`$}Lw~j;5ES zNul}4yug36NmH6Hr4sQ6%|O7nGFNtR)C*(Vjai)~`s1@9FV=R^mA zH*JC!k=&PsKEga{te{_T;zf!C#+K{*sqK`oCuV@$qJOTy%5KE9SY&Yf&yN)g=SnT9 zhCGy1y4e7ZH_0*-%L8H+arjYdmIFO31DaH27`bAkJ9DHdWXy(@KpoF6l-v%r5FL=_ zx=?oBQNOBu+|rT6VOQDu(=z?trOf>uQ)6ohIX=%sTT+9@!{qqRW8wD21ICiwGaC{EfNaS#kDK^gb|7E#w>EMz2cf!_sMC928+jTdva7Rq? zBm?R^Nh{od+b`kfdXB)1|BtwrsyA7C^v5mtgqAG^k~;d(ADId6aa9;14~KwDdXTDb3tA=j z`^7-FkO5JgV2hV~dUDjiPFzLBjmBr~nLbs&tvQ-=q30-N{&x+TXfS7CRG6LK+?W^Y zFE&rr;YvMD)@m9CTSajCZ)u-qJ@>F65rC3e2IjPlgxqnsjfT?T5M4zr1bLV*(nKl&>H8ahj_F0|!j+#k7doz_%qOE0NUM)AqPOn~a+ zQY_MznAZyu>bvuLglw~K=%M8sj675Zujp}da@|JxfXlt(y}|Dl(E;iDfu_Ubf+G>^ zAG|VNWmspM^Ej#{hXawn`q%pE&&dvOy!mGu2VL$@Wkj~eL@BlFm;aKI^J%68_X)(; zI)SKP-;5F1MP-(8zxxSA0EPzPbyNl>vC&vO-fy2_)`YuZ<8T`1_v zC!8?X@Y2L|N7=yWb_MXO%@@|B;n8o=5C>m6)dFKZpK27G9@JEd<=ZXo0&soi7is1K z2R1!|QKr^ZV`!OD^}{&zM+}rcs)gu?BWyGJj7ub!v%}0Fj6u{!b~?kD)L!g~3x0`+ z|Hg)LabpnfDok#}o(?H3o6ct7G$YdvFompQM5T*3f1;oulHY!8VL)*aCX(I_07{ZZ z_62rMB4!D?mqB+#QVJ)<12`iKSir3!9VR9?0Q(%q7y|p5DyhMcOrSjn39-m9LaStF z8uKt+r-?EIB%n*94e{doA`1!P24P($(`ra13>o|qnIp26W&=kaFyO~RLJa~%{0e$T z`A3?e4kd(I+|1+;jzm{rU=1S?lo*kQii`$%0d_)-vJ3Xh5@MrI006GY8;izf!xXyl zTbLT0c0l+9XbRpEoNK9KcpiQS?O1upAb1$00;ZBoT;Hl+FW3yHzAmFwnLSW9wsCu~ zvHSup4Sx=1l8Xs7O*lrBJc~**Xh)J=Vwe`CufI@u+Te&c3(4Hr6sVL$8|Sr}JqyZ0 z1m2pAu}F%2qUG>(8lcS1G#d9FkjSKi6^$Myl~M)*mnSL3#bQ1moum1v6R~F8LJWMq z?akV3ffi8`fuW`q0;P8*A3{}VFBRZJZaH9gWGRyIfRJ_DQn(Bc<(N7@R2|}pW4!|c z9M=68M#P574t9b$p#N_edbtE@296h7#rzOhi{<_(k~Ano7a-K|lF%*P@;xLA2~sq| z`guq2-`>mj*Jt`o@8|1e@7KYoL+{r&A!ex9eQnV`uNzm*Cg)n{GgaZYUKzPw_J-MAF?FtU_Mn1HPTm(BICokBpaE&Hb_kIxD_ z9oIpXQ+zoENM|J6n*vc3-y4Z!X5W_Ge19G=o^g?Vy>U?xz}I~=2_q&QF=QUkjPK>h z`4YjM22{3^|4GHUqwh#!6 zi>baACj$@hZfLUlWH>I%H8zPj+r!((zMtatN*Oc)pef#GdA_&pD1kO`FkM~)4c{U6#g3r}Z|@s!*jxVWr|z025Nr$AKyd*yKKQF{{1n^a*J zn4Ddj;}zr7n#ipLYlOBv4HM@fB9Jvwd18_ zYf6|Hf;3fmQvNH{+A&Zo25y;ai9%TaGfo+$4+#zapd~G8oND@3b@Nhwoun}PnPz@tjK!A1dg(H5o%TZ%pH}s#td;XyS%Rug^mAWaZxFtW1$#H z3ROM~I1f$@j_*zm->dXTk_|8UBG)4Bz`iCvYoa_-Gpmd3)Ze6pi{ft{C1_0G{n8Wx zMGm{_Mqqg!U$DirMKD2bGUj-f2m!@@!@{XZJ=YZ?-5}_-CvfL)|Md%fSd#2#A3>1p zg=BYv=1CFW#>5GISYJR#?>!Iz#$XGXX?|E<#Okz{Sr+OZ_`{mv<@&eC$2eVzvyG$8 zBIC6SW71veVRdiSW!7OA7s%(qNBmCD_xp>(l36!1k0IrU#=K{uOO(HiHx5?NPqkFW z8OV)S{09vGR=pSBg^PjJM0lys`9py;A$zJaY7HAObGrf?FpC*rai|DDp>G9ZEt6*n zVk?sg2Lu$_lhrpE(vS+cd6Kq)sO->?e39#ui7T<^-u)gY}C%dFc|D2lNQ zC`gP7yfD~{k-fkZrM*T7Ty#*=%IX(XE2I#QbSOd~naIaW%vl0J>uiPWo8{O7RUWyU zS*#mVDU_mSNML1@bKwFumU{B^Kgw~fI^$bS)OisSm+R~u8IvZ(05b$T*7ML)ICmMtf6_zWMVgO*HdiCeF|*!% zvH3Ai+B}pe4yM|Jph5y)7u<}E}%rfepWuNk=2(vget!)lO!o$H?PxO9~sGTGotDQ zy;s)x_^M&<77{ZF=F(v!+`d)U?^JKf05F`&al`bYum+!liqf^?>#lCi)^)jV8KiH| zCbZ{I`1|Vp%T1$3lF5DwO;RiEa~tuB<)GyIb7Kb(wtUdL_4$BzYXgI4y2B&vbg{j$HVN6SC3R*zQ0N`bhsA=9qoQJiF>K`>s{C;Y}ruyb-^D$m5B%wLLQ`tD&bB<=(s_O(LDGU0O6OzSH1BcsuT6 zVU*@ZyNLRXe8>Jiac^CehS=dL7I4!dJ;~`wVfyE}hZL(NTuoxX(vPH>_)9LCooNZ8 z)JD+H`^n4kR^Rl)J?u&5b&d3+hmFxtJj)?w-=wFtPCEa9{~~KjQ~nrt-EV5;+47NF z`k5W)Aw0j0=bqVcqiFuba~3D|tuo7Zur+>9_0b@!;AHqED(^m1YMGX{5uiHRA1P^d zLN0xg)it1HPaa8C+C${n!BO8UYj7V)rt zG}6^ZBSzwU!*rj(3sp$b#6NOxLYw?-SJmvGTav3!&In7@*3B7jivW|bpsom1M%UJ` zNwo)&)Tep&Tn{9FCWM+n4UnDEOK2yi08-`Y12dRd--1ZT)d8Vf?2JZJ4o?k$Nj;Hr z7qTKukogEuTemSUFk5Qg+%^iTSJq?$M$rj69FW3p>kWW%L!y>K_CTVZ88^*f>9ao?)-7V`tjQ^!4u4LmHpsRU0(rYF1Tauy-x*omp{t~ zr~LerJ2`WiI&k_&l}Oi8C1L$<9p}Qt(~9>Ksx!#@YIbjI>K#j=#^1^mL?rXc!cpXH ztns>>893HWl8W{0JWk2HV{@z`6+5<%lB)=x2imN(yN!yl6QBJMnC zsr_o#1eirdyOTdAvG7X`KP!zW5rPwYk3!1qN@$-osTQEvxv)z?3i=wsc$t$L6o)|8 zGsJt!9Cv>gBWKO~uVwUeT}$T0Y)xuozznW9{&k?%);G+9PMD-d#&mPQkId>^h$Jiy zf&AyFG%Bkkw-7_9Yo>kFE|arrj^;C|fGD-n8Ex?>m2l*r#xJJGpHFnf68q8d{->Gk*L4HYHydHWu?8G%??rD zunl*l-r>!fqNyD;$&f9Pfukag{|Bz(5^*XFfHse!w>)Qdz+ojt?sm%(lD2%^I#ENa z0AEo&v-R33swo~-BFVhoqPWXL2V;U zSJGAeFsYNioJ8_7vYkY-3ryP1v5It)#(5lHipH7D#si;R(EqFMCwZ8y+gWHsrbd4Q zq->iV9`R*8PbSsQmPMRaMX?HAxzO0nI=A@!sbZ-rKqPKYUllIP-xG1IM>WnDu>Z;s z$vsSWX!@X*o}Dce;7P1|Si76_zL~y3yJqaURJGW@0Oijo@0}X%eFrdhznmPoy-ns6 z^9-F!oxl0MiHj_pu^xLlzXMV#7H(Goc`!B`EsM_{ro5P%3`~aVE|Ib~bTI&k)lc!{ za=hVRW{-poSpw}p!IBbW%djb9bQIWIVAwzNqWj&z+bdB)^~~4@zhv2vuZ>Y2Vwmhu?lR*95mqR9h?|DdTDnXIyD_BYTRx;Exw^z-INN7`oRtLLS9>D30c!nG_MyaqWACGQ39>dRz$grC>$5n>TH zG%BuPnE)pV)0?`L>;|zBfjj@N+_c4$_4aE>65Q$+Kk++akc{U)-QBr9p8p z%@#e9ovYV->qD~jJN^`9>`lq$$ZeVH!kQ+_Q4dv#Iyxl66|8O(;48c3%xUjcJ;?F; z%$K$#-fX*8pJB+ikspWrL#*@yR1PLTj@M93JwL>+GNZEFw?qb4_ zx`S07bV?shy1C%|Jv_tAUS@%>NTX!%x%I-^4SkB;9r@;&uV+dx6Ci^4=dU$~3$n+V zhfIn;x0$#)2W|cOT7I10oqv1sA2H%b|5m7_YERbUwIOeP(0XTf7HBCZ z1sL}&un1#llOs3RqY@(-@dBHE0~DMHrZdeS4D2p(H1cVdJ3Yl)=F&JThg&D^zFU={ zL3;nlAoWO}iLEu$M5J-LAc}CdDWueRu9cguSGExmk*XrVtZrH>0ig~B0vcog1klE? z5(~NHM7DAbQmRnT^eH8A!OGCj5Xs0!vMQy462GpZeeXe3hXTj&CWg!OmyD5PfdLa> zvJWUa*x3*_0qww9N5MkX!^qi$A<{DZh2yDQTjn$TH-|@p3yc874!T)T(Qgc&w}%&n z#WaH>(szhgYbIqx62%Hy0@%~ii+~0W2o!R>j)0K~P!c8j;|lf%<=PZ$kR-6L=8hJL zyc~m*ey(&cN#{1#J4BU8Tvtr7uf@?R6o{ircn@NEfGg18G#8DR zbct{Ld!3y=gyc3QF&zyU*;Btc?Pl}qth?^wS7=xu`B-5S*4@wXI`rvl}Jn(NK zMe2KS;^ZF%MxwftERilP#cqfY>f)60m^_=PD(Tslpu+^&TCW^0$=&M1I7?+&yiKm? z9BQZDg})etvhW)+mVhebY~ov$!B!2Kl3rcQy5se_0mkO z{1O(hfRhqbxd;EMJ!tI6T3r8}#jHe*R1T6_kJkW%o@P1tvus2 zYc2b7q?S$O1dA=_!!R8!d&f?lHoQEsEC`aU7>~(4+9!K%K0tAaE`d9mUL!GuPRE|H zQs^GN>0*8MfkMmkjZ-p)`w9@-D*pBYhB>Ru3X2;!LS;Hhjs>=X-JCsIY6K1tda70+ zOO%Z1&@xu)Y9ac43DO<*i-=ehPMg7{S<|UJym^LLRlw2jtYHhKI_2;f6((`~Rt!ny zu)E0^A3_bKFn~Q+LTHgA*aUS?I8)np@@@AEL|itBRpFd*!V^j?lvX5LZA8tIWoA8I zirC!&>K}X+sQlFumtf%8XaCqLNkvh15rb%nyhPAE@_`8m8XP%^m!~o6oVR1NFte0Q zRkn7gJ%hQrV(`zwjZ|bIqokbuOEso2_)G@+{)!`gnz(* zW2_=xF#zYS!fM8PKlNripGT8*hW_90cZ!CB-xn{8-=FkLWQ;F_f)qY)kJqz?U!PB; z|CX87zcGSE?L!QqLvV-62>oB}N$y4ui-tfV0iS0pvxk5@ zE9nAl5|9F{+NR%%I^#vcL7F!ek0Xt#)%jJ9( zNY>6LA4Z5Blnq9RC6{zW3=s^7AL3SRd>^54ZVG(|&oh^Cf=t=6^kKOY4r) z`A#o8E9xF)PcdJn&sG?)U%;REfB)O|6qqR4>;Cu<{Ay24+O=SoU4{SQ9j6-#_`S@B z-uTv0kH|EIytyAK-qJuv&v6^D7i`bm0Yso>|56j^>JI4fjH=4^B<0I?7&3Bf;C2!( z{i_O7C~ya9A9d+K&q*}Zk0xH%( zZn({OM-P_R)D+Bgwi)xJ;_n+4;VRsQOt57#XYV|V%S28*pOP-G1-W;jQ%9peyu^=I z+kLwfRVz+>`!4+XxeXZ0+&L8)iU4x)aq| zeu@?NG^pE8E_^p;@sfwR+SDENfbFCVNLWXHF|SrXmds#50{enJ({L6_607JQh=A~(gZ9V+D*GQHls18{k5 z-#`oetS`@Qn>}&k`ydAs>pgvs2!gshsV(EuR8Yam>pW6i2{wL?QUJK;BKT9-aCcFKx}r8R@p!DL-l#vET-XgUOfTty=g$fqVEP zdY-25q@DAF1*U!zE9|r$QUhW@f#Fj4vx%x4UDjl;Jfp3^l`pm5`kNUCfyR4Lw}tj;Iv?E0!SY+BKi$!l9zQ3a)$OTR|BLlfrB`~y_J*88Q;<~WBuQUQt+ncn?=4qF9DzN2QQ_}fG0JO+Z~MQ}f7PG-ae5E0*@yJ7%CxqZs(gNE-Eh|YXb z_W!;?O$FV6UH+SkfpRl({6`aoES)|WiU`2=|L0`Vtp{8Pn=90=An43aeg*?X zRM6z_B6-%8HdBwQY?ue7(=SbfFj`P&s~;t|wsYn0?s~3?aWHxUxYb&ba6l{e27>LB zW5T4_9ioj}+04-* z#9>IFEUI-?Hxu>ScMYL}gtqO9REp5>W6GScMo^>*!gA%z*c7rG5ERmYQ*~FwMD*k5 zV4?7+vHbe=NacACAoG<_miV^eoUgzmei(^4Bw+nIYY(LSeGk^V2VpQifrc?6_^SE} zxdws`h+>Hjjk1)u7NmVxwd69ecWv}0Pb6THjqSIWQ~mi=Vei6I^FTF;a+b>fq3SGS zA`7~$jk~+M%iu1J```|PySqcySvNa&fxAYm-lgb8B%dQ~KIua!w|!6PGgoZu|EB(mXN0{|99+)W`K)qGOdOD)(UUS1@e? z(@Wmu=}J0=0|th^m=(r~v=}U#teC)5gg(uC?5SMH4WB%SFb8thO2J0T-|7@!oR^uc z9KYBhN|tMfgJwb5@yT4!JevaO#c;-TK#a}x*kf(wKFiJ#%qN|_GUd4tPu*e zFpMCnlUZsIFtfAiJ=-z$GP1h1Y=ymvc);B6v`3|_l1Q}SgH?EKPH*Kr-q6*f@t2E< zj*g0v30rWW97MI+k06gBDHCcGnuv9p6GSi^MV&dzzNp=OMrKB!Xjkh<{LG4EGqXP69 zt@gAgPs^qK`&&Rriw^epeJ*6gyerIXNNy2{^GPmbs^F1#F#cxy^iGzgPi~-CuI*u9 z>YM;>=JlMAbQM@;4&*A(rbZjBgZ~v0dbhC_u-(-xfpttv8QP2FI8i})oump&wao-c z4z(*YkP~es@uiY?Lal5$0vn8(ECA~TEd_DfTPc?zVIBb^z~E(*Q)F+Pjlp&OcNl5{ znKE7@)zq!33WFCNH%efq(`0rxL%wtIim785%qN7`>~E3)3OE-qBo6YHjL(xu%%Tu2 zB2Xind~YP1h8P+B+Gs6gEXDmStVxb&Y(&g06szYu=WgO`uoO|@lNC|S9B(Qwk&Y^! zQrO>MOlLYYI1zZ$z~3WcL}FLY6e#8`U<&@*+*c{}aJ^G@Y8}ID!v>QwE*3Q(kotZ3 zUu^(@&lg`tb4wGT>Kge=_vh>5*5?~{L33OGpq|U5!0s&>?%#=&?A~FY#Li<;7Fz!B zjjscaV~+!#H&d49=-@XfG=5 zwQEkIcP(4fWr<=#I5zyI|ASx~m~1O-337eUU79CBvU4iv-9yE)YfkXSv9aX4Qm(DwJRMSNCy(7)Kv%6Bt#>o@aai4$@7esN#lU|zgs z%2Jn@uv!b$dTYhb)?<87$GMq&xT!#%-e30t`yB%OHJyJb$1`)jU1NFFyI}I@qtvV( z{uV!T^*8Tvw|+IR@tew9PWQkj$^$w+?HS+biXfvev)VntE!ES%7H6h zdx-Bo1_{z?f!}@bSs`0Etf_bLCj%+rslma+=S&PR{yOHa*l*oBeAK1HWG+sPV>jfk z?tpaYq~WUuYZt%QR?cu5Il<57H=X08Yw_^fqVgL46XV_zG~hrn85&Rr(tNRB7oc$q zoW@!sSr)q)^EWYEf8<`g-*6|-do$Nu2TX?8PLuG1>qj0C=8@}CLRwqhBY z%%=ej$f>s;hsu3mA9W42*ek@}x?VV>Tt^?>((szP=BAdz*ZLFviKTC=ULsC@&aFjU z*w_ZhKLmXk+om+W|Fg=O2aNE%*K#e+A91T&GmR|U_2IhN(ahqw*`atN#7`eU3$Yw6 z6C?}{O;1)XKd%Mr`#Ju}x7-Ijy4@MvKobKyK__NT6Jo&qp+(yMu;YGxo#a!WlAHE_ z$rrZQs^|T3McrLD3P(v(wW-d;ydDJlid}o2J!;nVjQ!c4euPY=r*a?ctwTA5iq5C7 zOE)cZN>8q574>VI4gB92o3)V`KP9@4mHkZrDejMZmojNbQErWUp2ZHQ1sbXbxR(O` z4Wy+%YhLP4c{OWZu&cfI0L_l~rWe*-OQc^FA%o{3z`*$3trJ}Q8au7$eAJm+a1ycA z;*adL(dqz&K62nc_s>7BuFRv44@sZe?PvY#xyunB0$oiCXZ@SIi1%dUcSDa)Sc@hd z&W3+|)7`zC%v}vfhE>lP1MK{VaU*~-*4{-qSCntYk8jCCH=kRUEUlJYwBv6sy`Wy?8-Rmc+ zlOy6i9?4+o_~72$A!&L|RKUWMy&B=d{fnY-5 zXhGXCUug&5|4lpOJs4Y&b1bnNA;O=M*QKOnU+z#|?wDSuI~%GCHK@l(1T!hTM0Zh- zWPcIeqgCIt3P}jYyM0WWQhjox34Ap2QaP(akcuY+VOA*032=IG@6E*DVoNK)#NYMT zMp0_J)u9ULXG`BXZSMSYQWm`iQvOOdk>-7Z#Iq+EOks$JNDeQ`Js$}#>L}9KN5KiN zFS)nM)E}9JL5Wx>I^7oga#8q|P?Ru6ED(O<{lx85O|{AE;{>Z;$?0$n??wIKROqoo z5+A7`@;ZaBiBXr26vI9sY* zOy{`~VG8a~V-RW>NXPk0GC5@x|TtR@bsG@Jn6t?tC^atQl; zYlm`f?a6Oud)~)o-w*9CT}b*E8wxK*9-^sL@gM%wvb04TGs92E^0KqftlN zvnCB?CmlqK>id$_1ezgmKN{epbyP+%f4C_zZcO*{x{OIhqn?`Z(~uds!>Kjbi)N57*`#PR zx7khWdz0*7EJNtHi{>M9cJNc3hb-}GzbfgzIc``829MuWvK}BJpa_s~TR9jwP+Fuq zOO6tw9Hu2ldh%u6>wHiZiOA}VQ9x? z+Sk@)8aR1tvr-pIg|Y$2H#2sFoVt4Gvu>e`&nMih;=n%#s`k0x!Yh>yy)j~u^VJebQ(VP&f3Fa`N#|)GH z3_5wM0e-v!K817{ojjLIwl{#Emo?oVZ^NWaz^bidW#gb+;p1=~zu9)|aOF#A-2mBP zHH4c1`L=A z;C5x|CXd(T9LZ*yM($nFs@zFVfRU!A*Yse!!xaYg8jPbC(BY_J|GIE;l#M>_y(MCgxb#tI6wOS|YkY0TR%suv6GrkvnqqtlX7k-%3>(D=`Xjt&8Qxbkl z+opfn>9X|7A3MLdya^}qZM&>Tgq`pFIBR8bHav3`m$uhC{qXwTZdx_CFDI?#jgw%z z6cy$9=M%Y0(%L@6QPpLb)L!S}3b?uW`&zD9yKSoR@~IXuw8lPlcH;Ze$nv+u*3hl| z+n4JU?z_|S2leLc!l~^u>-g`ttqzt=PTcJ0=F9dy+UDMerx@VHy8z2|RIAkva8e28 z^%WoReDMDA79jpgNB9x^R+n0%3C!HWxaOLAn|pX>+vJokqj5aC9tyZ|1-@=_gQop? zq;`sH3=hL=TFa9sZTT161kwVoq}#PB9IoiL>WVl32llS7J9)va#u3dLU5=Bd5kMq2 zOXq_GKOdlx2cEzO9*JAT@RifcCo;)KL1(zY$KN<_Eb+!?m@RYs6UQsOnCTn;kZEU> z^Aqn(hEvr}$L-nl^4Dljpu(Vk#G_HdD?v@&jN_Gs%FU~Uw?SsURO$xy-KZZv)$KBewsHK-M$lC;GIlw>sp4?Y>yOsckagV z9T0V#-xR?G4?9?b*7n?b3A5d<6{`U(D4uS<90aQYE+32f9R8Cg`ts$dU?^;Xjq=rQV}xY16%$ z9g3#1;cxz2H05*CCS!@yyR-*$w~sRIqi^=k35>#3X^~4_q85O|gT|WYfmiL5hx^Cn zuQbdQcaYR_ughBA@yc>K#nESKT&ZzO&*ekF7d12HxhX7+rh)Sc6n} zi)#lbsh8c(Dg7l+>soO9sw8J#B~kE4rs^U zQ`;JWl}ErpAf6=s8;58q!c!lkmn5xUMIr?r&hKp{$6K`{>Qz6~0Vv|#G#GdaNm*(v z@=eHA>jW$+JfeZ}D>)Xa6~AewA*ha0kzboedgnOpzhPW#gM2490w_u18 zBNa`Duu-{@8Z}-$HXao3wyW>i4O}!tFurQGBc28HN1PtftJOpwSt8#x7Li&c{I$y1 z;jw_)$M&i!LJf$|4kAUY&)<;j)GxprFtIRRWqC_!PVM?+xqA2I)ejmvv+mjIbJ7-G z{4$jtIUfS+ttcx1KO1&VHe;7yv_%8aCqGsIgUYW~zfUGoWn`PoB~=E>F# z_8EA*M`F}aTi8p}&=Z&r3u4ft?Lw<3{wiTo)^+Cc=6n)hFe59VmxvkqX$kPj+Zx2( zeSnBoGvAn)|5cxCmh%T+`X=`I{P&dOzI^?WhNZaz&Nq7t;oV|+UIIA9nk*XX2AZ(j zJQ20VRT{7Z{YtR(0<9h}mYC3puSJdBY_B>wVn|UIZ$ztRbwWkQH}xv1-T2+9^yoS%~k5yzBCcfz14gm!m5<89$$J z5bg*8#LALqv`CKdbQ=MDef$IiDt8CULRo$@iuk(t8aE91$Wnqis1r_jB0@Wa2+ltY zG{5(T1K9<9K&(nm|Ip5Q5EcI{5PSq9sJ~XBs{@)(QkTH{GyDLHAG)i4s9Ss>K{MwL zfD+1{1)h=iTol^8)=upc8Z+dc0e<6RKYna<0Iy`~Kfc#~|0J7@$%;b-ZUmk$UeD_T zT0%l2Bm7dpqec_F7){o`?rW|^74)Aw1S0u5JT~bf3 zo_fjJtdl5Tn(Y1(TE<=Ww7=AQH|!Oj{Po_(<6&_HHWj>_2fROw zFR|b*Bv(VPG$}PPin+9--8$)8Ma%e^ixod|j0edmiqE+vGyvW`J}>QM2jGb(x)3>Q zSIt4N9%lrR4@>8z7>c*((H=9m6k2emo(F$A^Vm%+VzqlCNm*6@HkK7^QBOvVM(-_i z$WJ4PU#+80QrM3Q?3W*j1W&n$+s<8vS;Q zF-StKS?ax_lAbnC&QL&vFR4-W{zkmP(di-X;-0Wh(M}bq1-Uz~s6Z2pt{j+;$HSn{ ztx1c#g=@|@vZO-e=(&Fz&Gy@q4DDgy?O<_Q8P0+Nig~?+q~*KTjDkEl)IkE&9JaKh z2kt4e_-GF&kPO4rIO6lI%Ov`E3{RZqJXY42dKJmyMKNSEV};{W{Q`Tho`>5s$%5Oy zUPxk?27=!zXw5X5qQx(7UfqaR5Gy(h-W-c!BcsEf^le-aXdYt&tvgWUGJZ^cDv4 ztflXNGxLy3CRkmQATlFOJ&!-E1uDmquv=P8c=xXNybBEbIbgQqSn$>EAKJ-kqCZXf zIoA9Do;J(BHC&wg&ueYDql6h-_Q8qa9ls%%H=GbomK`#7(S%o2ICvsDK;qo;o6St( z#U?Ow%$PKS4KNKcEIDAb5$zrf94N<`9_|voBf4h)?dmGp6Ju5S9)$xl{xL~}z>wmM ztFCyctOHeTK|DNRe}=8t!jOB3);7!5F&|U~v`1TuESroiY{JNdKF0H!QAv8D0&{ua zIXlQZP4wHK%sc3hJetTj{C8!e6%y8@zjo%qCuYg!C`o5`A$LMOKdUjMoc4 z5RoLK0<>ZQzT4~0wsbVCd2E3+?cz;rj#V~}zTue;Pb}XMXZf2fEzL8qB)y0ppQ7NH zTM~6v9VTH2plEdP1gpkzrPr;B)NpZ|3Ex%My7Nb!c2e!%9%LcP!DOQqLm?f2?ZO1ktgqNNQorSNn~Cb(dUcVY4CD*Ebi8jjI&KwUSM_Ll-5`C2dqu8qrNFMexM+`p|cxOj^C?zyjp-{-V&(ym`zTt^& zd;DXeRL8BqhZ@M)ZA+)qgDKwZFJ5&P4%@|RX1ibO@qq1Z5>1VOV#2t60OV`Y`Qt3L zfC=T`0p~z*P`{(U%#e=bgQ~VRnW@{;qdD#V`D0vR!uZ@nMhe-DwgHTmLMV&I>)ZpD zJ+^QoWYV^axt^WFI$3<-z?UujOF=rTZP15%a}{DgDxba~A4m^PT_{uf;n+|FJ#0gk1O3fVN#Sv-k1b2HXxIeLnGQ+- zy-x;UmsKYJ>fq`)I3s1!@lZnNYjGP!@1;X%Fsw5_*9^ag%757Q+tRlrL1eX#Izxc> z8oUe!ydo*2LakIpBV1cCk4Ngyj;)MmG^}0%`7=>0Y#TaZk6W_-D{vqj{QS#(yj9!| zGb(-MISsd&je~*aiXFUvIj{ipIv6vlfKU>(<~zyYr9|3-o+C0~9eL+Q$=79%)pE%c zI%EX>sq=C@U5h^!+Qb3^J*m*Qp?(Fjng%!bvU#7F!`>=2-SXljyv71wPe^BO0A`)Q zV&gdnsdUAlUg-C-G?4J4h`lmmd?)_P4K_~kF9d&6@(4elE`&6Sm7+w{g?=iXI0H`< zhPctGcUOYDd1cUPeug?n&}tzfB(V&0q%6jK>w?i_mY$}rc_t-?-CBfckfnXO&=Mo@ zF!*eNS6bTk!bedog*!pC=;MI0f~Z7T05MC^*iCu5n==*nEzoa<6?R6-Z{yjVFKDVF z-+?-<+t8~;2rD`ho;v4tINg3$>rKO-w;pnl!N4t>R>^;1Oybk)UPmju879jB_8~9y zJtojXEz0E6!t9e>>ahdmI8}gV&UR2;Z_C$w+?5ArEz@AJuc1V_Y>wevV_4T#GJk9K1T3FxPJp($GXX`t-V*mO7}wLf4BnP@OokOL+8bD`?!-$BZf zfKX=1DO70?%0^KL)q!N$!A6K36{956=}fesg+3Dj%;{#22czFljpUli4j%o;r?FRW z;=bCWBu9)KeLoV)1KHY>tX)|P4!uCOgUzWH(qaQ87@(~C;o_yUc@%DVIp4Huz)}fH zP7Zci&=Xx)iDrDffrRvjzT2MUPB^KAbihVH6-dC=GQnGYbeWkezdyu&h%u$-{JO4a zHQiTvD}S|Kz@X5;$DwsCe9QgW=Gn$bA?9LM)k10jV4Q=S`x5^V6@5kp`M9%a&>rc> zkjZ)Q7dXL-ZC#yz5HZ(AYp?w~EuvQgmXu1&_me0mHOJ5-3H{j~E=YRK?hh@^cy7#|iaxYGO>pGs4n=U}a@!jMSlr!I_sP@`x>4ppCAm6fJML zHAWy{q4C^ae`@@;s@JnAOUXyfz>Ywnbf~hiGnt4{z~6Iqo#6M6wG=+l0cYo&{9Q=o z%-jw_68hArHt{}TcAWt>rM6+UKdk88l3YN8oZDFI?Zfb&>VKA1UEbN}^uZvPN=AQA zCRGW=Q1V3;>N5x@LGDDL3>pK*cWr$qND%?q@q?Mu)pu+CT*#g#)wq+gN`uYlg8xLY z{A1}|IHDEhmcQ?U@r;NN*SU+$TN`Q)+)u6y{AR&3F6W)Y7!d9Ey2vkx#V_&~dz1pA zW2{9!18eM5&b>i&yT6X|wpqr!juYoyCug$pE6wA7e`3P1&CxeHo5Fw6HFON=8BO85xoohxbQa~O!f-JGg?;Zg#o_J(#zI0BTli-sk#CXsW)Cai^%0~R%9SIYK zG|MvKTt+zmy!+-5Y+Qr*)xOjAFa>TtrJFRXEM!2|>cyk95 z%Y!8y&VGdp^-x>XP8SUUI` zEmtP)`YPOCrITbg@(p)nvE@PCp1>cxhbUeBnS=VH;%?fTvIf~7CHG1WY2L*E`2r8K zyczc-1&Mfyn#aX!yw(APp}S+}DK_{w>)n{3cm5RVOpV8*#7aWD_WQE7mm7*6JEjmS zKeWY^DuKh|{+T%BXU(a0uI;0@+bwlv-Qfqj^4N6uhtH?W>wXO=LC}U=I;AL`9hcfB zs;Df?((p!WdKeS0x#;b=cBganb0f=9QSenmWP{#tKhxiJ7w;K}N+Cx-p}zPAzc^vK zC_%n$A2GM166i9tiZr??R2MVF*DJx>8!9w9uw6tCYoTqyA4((nCGna2laj-95z*ow z{MX+per2fI^7`w9hS7CN!tl$p$*%tapFrj42(q!*;M{sBOllho~VS4_bp2$^fxj=kMRtQ zg6KI^JT+Qyz(`He0@xi9-2i^CO}4l-srNZmM=*c8>ES+n;3!j%m>?4!Z;F1Wm=OvaeF4 zSKGH(%t)%fQTdSK`1#A!=Abj_w?-?S(N`WE5qxHUu9l-Z*a8h-w-hT+H8eeePZ&E> z*;#D32dl!sFq$=TYY3s=DF^Pf2lgzE#Jw{KMByU@2uOpNdh_<7)pJxUlMinYpP$%s zfo*^WQh%H;&yGsNYmH#Yk4~9RhnkP)kFPV~t>2H$VJJLrcYy9qBk?~Vf)N1=c9FYK=lHeOjw1OT6&_Q#hT9oK-mjkbNVB+cv*=HrEq17X#V zE$^#)&F2{3*1oORoi{P9c?{N3pMWO$zOA`4pEcOx;SF`Ok5i@Jzpmy^th?hnfW zO7G}LbV~2uC(~-c+?U(Gd8Hq4X6pGL5ckqU#Sr(nWdJcK?6Pi=cjyxqw*`Ut1pzJ& zjHtxr3eR^=mJaa&35pW9+%rRTFgh_XNwj=8NUWeh3M^$P$Y>`KbTm3K2ubC9I7A?) zaS#pDOeplvS`kbft3HVD+WGK^cj3@+i4CfjVZXE}%=#g|QQdc}GUyGMTjbKzE!sH# zc+-S_wXsOM3W1!%I(66Pio^U1Wv;7X2=f^E9v80}znXiI?WE|)cXiIudCun zIOg!n0d6JPD*QpYyIxm@if-Y+2-Obw-rKHt*iPfld2JR--a>7dKN;`w(@A&DAT|G- zRe`mDJPyoYjazwp%XI%o>Fp29rH3E-DbjNus8J246$ONq#bLNAgUSsfiEdcZ)eGnj*3J&k3VklJ^bz*SG+A5Wq* zQUTg4c;<)IlnmomqEVpj^md%zZeyfOiDJ!+^(XZ|@DV~MaNyqGsFbiAj#D?o$eX0}pvCDD z=|fEtJ`r=enn2{a;Fw?9FI@l6I*$s1ojql?iU{;p4TlSy);dCEO1?J&4*?Hms)vVJ z!LNtIpd1+@i4}@@^H)?^u;G#0J1*S}c1RWq5D zit+r0g_EDa{9Y_w8SZ)yNr-%pXbv)Br`mMX(Lfyxw-;I580s|)^FfR$6=$PDJ(K*g z_FYA8qmW&yc2kI4Dwvdasf`Vb4QHrxXc^V8klIknaR;_vx@?9nbj49lodN!X#pT}e z1-MJb@SuY;I;=oq#;ffY)px~D$tyWFebEIaO)?`O*ArG>3-|XY>f!sD@>FLGd4z7& z;J;(>tHd@d1?pA!p(=eE7T+tp6v(;yTiaXzp7b`*EQG+IVpP%VtR;J=Vx&8nvOT(o zDV4YRxksoW7eRZXi)J|8iaU3cV}n)DweMeS_~=iwVwa1wG-xA6!B>GRdqSSCB;kYm zc;FoXrFvM!;OHq0plZ~(n{mHE@~@vyQGn9kAfy;D-=N+}$XrJ+#)wOjpYAX4p@|@T zDq4xyicZFe;(BX3UK0+rg9Q~wKdFhxe$);SS}u>!VNT8c?i<}jktu_QvC@wz?g{(E z<8C4?@eqoKni@Rk&G(>;|BJcEm}px`KXMQaG;-=q=GtdPgekA=7gftuwl1fa=9lr< zm%$j_d(MC|kF?G7tdZuy9T^ZGYLWJGDc0XQP>D~Ju`CZY zFqMkZ9F6HwZU~)})?STVB(Mkz#t2@vESei4VY}y)s`p-Z;W{6)ym!S31LbEuBL6gs zC89!wfB;ELONj>tatXzb|92-Sb%@ADBKc@aUKz5+CNYI8hx=G`!0_&rNKDyBjh8K^ z%UiKey(@b4#`FD*W@WQfLsd1w1bXUsAeUn&Jj`nR#9bTvWvsTCuiI=eozBg!Sj-xe z8f171bf4hpY@rinp_u{y$|U_6zK zahd&Wmy-u1;fE@&yJIUni8x^!xWpYX66V;=(BHAb_WlI*JEi`p;W^Ji@eiP10H#j_ z03aJFMQ>^^Ndi(V0LVouO3H;R8k$>bbu~JS#FsD1m+5`dyrG%VM*qs(Ew_{sS4KkS znp#RQ^zdy)*1T@wz(<4r2GuzKUH=v!bM}0gmB>TR)bw7K^Z0|qJK9REW(3o|G(iFj z@M8t{eWdQNB7}qLak%akmP#g9&k|c8sR+*pu8LQe0$egu zT;GsIyzyeI#>ZT>lN@_%dEQd#ex0KNIw2UXVH6%nGKdSu6tGxg7Uh+i;pPolY)4@2&xki8MN(tF|p=-(O zWZ$9df!N!P)&Fa7HbXw`ILE{d#(OBd(#cxo(MEOhgQK>SmnkJvzU$MU3#zLwrOD8J z6=lxPWd^e({q6j4MY~Ge&vs=YnZHUmvL<0QThXpTdlq0@fNsa5z~45{~JZ+odjpdp8dn(KHc0?7;YSkI6FX=RZVj`u}H;nSSL z|9l_-g1{LKqxkg_bXS^Oc1!tA%)ZLM9F_u^9M`N96XSBho#>CoO?3y>?M_nsPo9Kq zxdHHEa)P@XRBD^{{?|@spu3K>TxVlI-9qHvWaaMdfaK=D3Hs}Zo?p}mfLMYFN*9rxdHZ*&z z?kWS#1wgJKz_R}uv)~u$Sfj0278QYZidA@r)}JQp8<_x`nBb?}5f@VKOmgm@?X6=S zi^Hc@(;%D{@8SIIwJn)Iu1d>9e!fuaaCkW>)FM8`?B>gDiM-(~5?JwJ#b;MOj zL>B!aM<(M&q-q=k91;%Z^sI$@Bx2>hiF@p=c7H1yn=!F7b#DB> zi!l?T;Z@h-j_#c>D~zgF0xh}YRntP3X)K{44+vDt*bFWu9m_F)ak#}%u6wDx8cbdp zswHE3Ej=xqohpC&!^Rb}wl28sqb_}xxH+j5vL@@t$qlbW)2R_npU6YIWKy#cpcG-r z*=t)}ZO;ob$0^}Q%jD}A+pmw!fOVh_!D zb5kV7$qMm)kxm!aeYWILWz_1!l_70Cj@|h?GL%Q)2_J1embfUgQY~jAtz=KEtbf<3 zD(WArNyX4E*Q$^<^iz6&a;Opq%#{DR*-8Gt)YzSKwn*m&0dB zGN*<$wB17Ski%i*fZN*HDe`QnahDP(RM=uGodbzYkQNK_fa7qF+qJ4A<8M~MxdW|5N2{?Ee|4efePztH+5xRN)`LeS;0Wtu00@r z9BG3BA)_8DJ(0%C5W^u4zOGclE5HAmpB9E=RwHmN+w43mRtqo?+x&ZVYNk-?3geB5jihRR@4w@lVt-*N9(*$b$OR9ct2u=do{j=!Nck1Ll!TW- z1+`0lp{)k|DG`WA;|rr*;7!3nnl4{R?gmdx0y=Yr=PGqgh9?98lD~qb)$qC~AlK?I zhKFKZ{UTHK^!+G+=i?yYfrET;5D-B~9q{zcXSfKakf0V^1kUCVLWE%mkRsvN0w4*( zF(F8v)U5J_wQ2|{kRU&`FZ9$xIDr9)Ykgsw0Rj~y$jIPp*@ZEJ1th4=_$wM| zj!+5(QaAsKn%N)(K!aFpzM?oz2)E#%UB@pJa`}?31i`s{P3ZPP2n7el_K^gn}wqg z48g(K{$s5~-P|9IUFB`}?76A*m zRkPikQ(m3Xl2EOswof^=!wYhq9)}$)u|FS4mQJS4d^~M#2TvxGoJ+;LENNm-7a>Bv z+pr2G=#87yrfD(HM9*wwsDIk$aG+8r%!5B>KQ*Jl4{^+rt^5O+P8|x8viylyrIPu; zy6ze%LFR737lD9RgPxI=sfK{aeLDd(i|=g?cXZ&GN*%;WasCEJ#1tfu#@Ea7jS9t; z>7VM+glt)Iv`AYlqm>(m2pwu|>PSoYf~e<_d1|kLvSnsJKQ#4pKB2-Ml;{HfBT>GM z)h$K=L{qS65l0}bD_q~s2~q?D(Z3`pZ5A;~RoT{wUI{UuY`6n7gp-^QhDj%2Lx>MC zLBSN5U4+IW862t_f1KN_h;{ratcl!|#6eg{aFMq+4fHH&k6d}}FXKQA9IXlVaz2G@ zS;&dtE)=csN)3g%0dBQqIlHy(M8?%ig!FOTd;VjkWFvdU-Z5Lv+g z9yI>apLfm>r->nZZjiw;PJ{#%*ts~$>>8n=ZJM=c_N2hl@6~dag#?@7lq1-MQ=0;q zGRUe$xQ_#=3GTza2@vP$C5XN%`zdQgeZZx+6MKW}BO%-leuCF0L6OnooXV_VjX@p} zP=2|%h7<-)kW-5&mXUG;1-5@Vmqi6{i`GlFHkYN~s7PZ%p1|9R67WXN(TGZjJb@Fc z0}rWA2*focWkn#oqYk8kMZr}ID&*B+;u*;CkHe&q#d8*;ErO0SuYbKM-xSc=Acz-9 z4s73f2Pkh=+o`nycUhfF2I=~(s)cwr?<^&y)8=j`(f zA&`+-k%5BR5B4_DPS*(Y0D0x08T|?K{=S8W@t{ys#Z;^YD!>s zTujoGmZFDc7;OSDKvrkyK4=Qc-t1sem=^fL*bzB(?Ajb024iO<+C&?xBtZhU5Z2B< z%P6tK*-f3$i)!iEnONTh66AbHWTIZE5QM-U;h+*ZDLR>`hee3Asy>Vt>M~9%A7mHI zD1^GuXjvE?a^g_wlqzNEsGe<0nQ$(x~1pYJG*-U9|$k7$MLJzTgUGAf1bAG{f9uX?4>~)=XybA&6)n$S_Bt} z8MW~bldfzbgm0t_M#(f*`H$K&@z66p%`Kbuwa`Dq!=BCD+R)~k z(Z<&hqw=#afH3w+)zg9Ku)6}u|dUguMy_*MCpsP{$+#5Qqh zNDSzXJQ3rvxV>>-uX(6QKCo;wrhnU=3v*N(1gXLZ1MZS?m=Z1S%-BuH*O;8_e69Pw z%LEPyAjhh8sylUb*2+L1`-&XT=Bw{zsCp(ra3YOsz{E|cl9xv_UGppG$l80O|1w32SIa-Bu9(&KO;fi`Qxg+KQtuwfH3NmY z1KPi~4RfP0;bK+V^E{+I+!4Fm{Vo2=D-`!f=^=V<~EUUT1H(h6zcFsOVVV^(j-y|Bj`YOT6(}cuM zYei_i4xerjYqDxZHN9R~RaE1mB8<4ikexsSQmzX3_dF z{p{?_opZ+A^&XE5BY|BAe1P)?>L@J6?6XYMI7XwcEFHhFw}+0VkMF)My-m6aF@AU( zWan{|80*<`nrim&92Evxo|?7>0+wwNCL%{?VAt}adq2`MZ)X%uy~}vM-Sx87j#Bad zU6SN2H5NWgxcZ}5v30YNb-!Gif8@@Q3V;bSS@glq-;GY22Z1?1@m313;s z-?#{t1cbPumD(Bu$uBOI7E@MsA@0>(x*^wqww}r#tDg-xe}wNUPr}wkokNHR{1-R?=&x}4YFUywI*ocQjLoKt{lQKO~PQ)1pd}laf%^S!$vLPqH zTC;~8M!I5>kl|{yCA7RNgQ_GgX0U=G~j~uI{%%SvRb(JQ|x_gBF z1^dV;A(XM*hvR_JS?#7~tLc-H=+eO6P0zDVLfi)%$f3dFvh}TEke>e$7W6Kph%0{y z^C)(vkz`fhh*^a=_@BbQDk_es={5v+5@2viumle}*pNVg;1Jy1T?g;r2^u806C}9H z;1D2q2<{B-4DQ3_`|e$L{cnFi^y-K6(!EYq@2XvA?_7oKPW6Fnf~_pI5t=K)aJt^!ff%F{S6Ehr_OB`B0fNmzrKd6hS3ab@za zU8g$Vi8k8l9deKAWv9H87CK$vPJI33O*Gy!==gPqWYMccdcU+2f~#xs20M12u>4gA zoo47t%FFyL4Yo9aL?7&mPrrGl?HpfQ;SJztO%&sZCmM^+m45pOQQlwG{6jmiDjEd* zApS;2;E`l2(Z*;*0nw=qy$$10624SsRXmyoomnJbN)UM%P3r^OYC#_wRIkD#LHZr2u6G@RZ&qOV^OE7UJ!`=l+mIW>tYB3ipos}a;YIUmXpkNteMm8xsuf~OD*gL93#u= z54T%;$IU{ncS#$BCk21G{QBm05n3#Ja?#SSU-VeHH5-N((|=5n%bmc^_E>x?>m)(J zLViak!%|&}LH54-=LyM=Jn|fU;cyJPHA?rdBuhSp#`r03Rd{}9XPGeCec}V>16=l= zKPff7Q;HJ4ig;DVz>hrvmj%P=XcwwIWwVLme%Dl)w|oBVSs zsTx(t=l{}wV)}ik3PE;V#F*D-tAV;D&gu1#BM5Sq@L;OIP#m-dMdqfzlGJL}SX#ug zS%70i+w_jhKJMVdkOj2enuU#=fRu9XyRBON-nQVk_3RjFsuNu=5wkJgsHd1jDW6WG zn546u-JZYNTXmujPzZh@l_iCX=SFfU_=Chef&#-^nkAjnVZa1c!8*4S#dn-`GDyQT z>LALp$*_Q1R5eHA*^4}FEgu2-KpzBDKf%$Z3NrTa>!T3NYCV((uM2kRsq>38|e)?s#`F|qy7it_l7UbuSS2G2G_V) zbvC9fy=*6Mq}r_NmvA|;w_{r=dWcyY$UyN)ec`wWTvwscW`_AbkIc45?tu< zH(lp6WmU`rd!-myt*=*aimOH&n*K&H66}Ga?XI)?H)sHTT#g%`&Ht0__lr9M%|ei% z7p#sQ-E_v{M}3#Ste2}&K0N2L&WRi2Ykj42Y@4-vv!~B<%2aaRegpgR)lW(eclH_Q zS)S>Tc?GyL)oao)vD`AMX2+#LziSE3xK)1U_}aN`!QaV`*L_)uHT zhm^fXn^V9VAbJsqMmdk?Di@F2Dw|T5G&F%z8wej5SD)3r!aa<@7UociWA~8P)_gNz z#ka=%w}Zo?Z4ZAGEnk4xb)4x`T~6TiqQVM%WCfj9i(0C3s%@my7+$Zh(weqwR+Bdp^lR2_4^#t+ckeapOU>h=@T@y&Su_h{ zU>)S?Q8Hv1R~5~-+d>!Dx}ql_JM#!|J+p`=)b2UEny9_lWNkGh8Qn=Py+Cf7V=qMB z&oKf?&8s&(H@j>0!W~$RySwiGC!Ubd!RMvjOnGesB{@1-qRalLyGsB>B%rM+ZTO01 zhHaF#m6OxaGJ&alJx4o}vuI|&m!}nfqBY~+L0r#ufA9I4YxMTc&Cwo7Wr%f!>p`$Z zlDLkt<;29&O>fzkq680@3r;tPc!naUCJ`{&4eEU{Db_l2^2~_G_dVC2P7np*+?!Jlcn~ZiG7q9tS(NR!%#B0t$DC+u;@?rfM;>63DO^x?1+UNbOtRBUndvjYrXV{9I6=D6n6scuN@58 zYi3lIhBH;LaaD{mmk!>X|Ju1`iB12=dOCHkm&l&?5t1#@Pj6njW-I*0Q8}-;Am|e1)0qOuma{FMeKH< zX!kVQM+1#ttCRY2X}}Va1%)_%wc&<{#}oKMBfxcO@~%Jf=K0V3Y^DG{d2prn^WF%i=YGay@=-^o-#*Ww z`o&GU`YEU0fn?MZ7-nkIH42h?vjr1$BoMUJ{r_5MT2Uy!6vV*+4WUXx37c^?Jmi=I2L$grgLs4Sqa5F zrfu`i^x6slo%oum7KtRX_vzyRM5YN+dcXDE)(l0?h5Na#IomTwnYI3W*0+Q-2mQ0< z5pS7ti+_!zYaT1Y$Gk0pOGy6qDU7PFKaT&R%^9}EC!f<$i+W!p{a>q#=_g)+VtSAr!O=0Emz2OjP`At6TK=`+ zof>7vBPPnNfb`FV6*H+y8ba69Cv^?Rn(e8ugWe5wCf{%wE+9Kgly383Sb6ioi;el- z6*Z_)sdzDbPFtc8^@F1t&5YjO^$^r)SyY5I|KBT~1>eY4k%2NH>17Oie&jPEK@Qe* zM;byO9mwWcdMTH2LJ`^7z5P4M)`nQ7FAaZNZ`YB*5jxenp$?Lp4$``TmWd~CA8Rr) zkg8?aKe$xz*np^dCf%Zmr^Ms!{w5a*7((pqlb7T4$D6_CHlur^dH@e+xnCf zyIIgm;!ROYY)lMf&6Ih6=!rCq=b~uYo-8ym_@(%b>J{um#SYR-9!2-VrOrD&<y^wK4>SEmgC&|}nv{&*4olbAjWw^veeO>e``tY#= zVO+1O3MT-j&x>pbOcDo~0F}D6Wx9bIP*LoikU^m?=w>FQM~shVXw}nsZne@H(MT%O z?qA#TcyCb0!vYxj>kMlKN3==t{gTV7$x<6k%GApAG`v0t>|Z%vCqJAOP}75NOt}-_ z;q_5ju_yKF1bFc3DOXwnTGfN3^y%4(k7-$?zkw5OTNi_2NpQq{29iIO^lTz13Sij7 zA}rmVB9Y~5Za3s?4;4P}@o@7=RZbe}o%!C_`5EtR)wM-+%t&eP$ZgFRrqF&@Oic)* z+3GL;12!yOf|xxVMeW_jQ*W0Km4%qf9{kOQiprv4?mT}X{D&wXpBdSrC&_k(KUQD-6 z9u>_jk0+m;z^nf;kFLj5SX1#lho(-?5uZSuMilV-H&1Yx@hIon$SWi!{OL4vyMuBq z2NNtbbH0#Oa!5Xcl}?_2v(9QF8V$jb0FvF;r{}mN(9L zgnS!x8tAd&G7|N=geO@JzULoI3)tdt2AMjR+D%Jha(nB z2J*G&vfD~3jIU8%uIM#%)sE^B)~FNTin+mc884Tt5bl08n;)eR*o|ge87zp<48l^L>k`>>a#VYD_)}}UIc;N4CcE@$z|pE<=v!P+E^!b0 zT^O-iIX%N|Nyzd8I3{+Y+bNS--`eV#{Y&9sA}utebKN7g!p_Nnp;bm-V^dgJ2g_&Q zXVnN)DRD1CyQ@6K-suJ;5zvY(3JJsK>ys;?t$NgTOhsStuW5W-bNR*Z*$G}+xJf@$ z2!;Iv+c5kE{{mTzggq4Tk!>~nYk@57L^FB#GO$?eVGTDlR%eMp{BCO?G`kDtXLJD= zGmvkH%;YkE(MUIUr#yd9k#2g6mtE05(b4FY=TTZIflcYs^tjFp&^6b8S*^2TGM5zd zCdxqB$_oEvf8$zvccH0#9d`V@`}@t2AAfn4T4*fGCl8p_aZgWha$`1{{1H%?V7w%J zTg(``fhv{XUhRhGhkTEB0AtbP;cR<3E14J<_0R8sY3?29W+Hr>j^IjqaV~Lf8&>

    t((&cIpnvGkj;Rq-FD#W5oX5&z~y_DPjjPXaWMoTGT3Qoe5R;T@e!s*QsbwlQ8OZ_5o*({ELy~R>h05F`)s5-gihGh zX^}PYM4>zYP=ycN1ruV%9TRqx<9-E`1vgrSJiv>XGHK)gowzr|g!RrRp$nF5J0ph9 zU(fweSDvk#v7VPt&oQ!_mGW0<4OcFunw?ukxrALeRAi49mhR7O9G^E)pcJu;UMo~_ z&P?pr_Re_wU+YgZvP@`uxGf#Hx-GRQK&e*x0HF5{WX&JcX^k&Q{zQw%ap`rH z&w2H~Syt$drm^4pygnPas{PqXpKId*`|-uxN`4Pni*hVg>Uf~@`{gT<CT0xb8N! zdpcC0aiXJvl-Rg$z3_)KorD|XCI=l4>%y}6ocJtohOk*&#Z$ds7I4Z-D!_wnS@P^D~O{kHc-t9iVf>QYq`#u#pGeR4Fs_LZvH#|!zvLLUJw ze$QqJTwfX?zJEqWb*#R!AF3|ox=5-#_p~_j zLC_ANiF|KXbJe>$JK4;CXuH+#Sm>AYaDr%l9sST-hrqG=3E^+7h&%iTh!9GkKflCwJ_~DD!!-{^1v( zw4syEvFm>iA1{iK| z)XHp2qW1#J??*zGys&A{rY@=}mchl#6pyW&rgEP=UZxlh<7ss_qGM3!Kx250cI)#M zcJ6&5lJD2*1zO+CKO$8N4c18+hb{jB(L{@*t1U8LZCdrJF8-l?cV75le^+`z?>DvS ztsR~W8?E%@K#x!+#m-lRewOQEMWc4Wt!PF%ul52*}( z=#Mc23>(G_K%&sJ!YhkW2lKejWSAb0ED7QLcl(#0_kd@*e792n9TCvyhlgrnmp= zg5;bM9J=Sc;N-3n9AxE4_P;+-OsWQv-|%*iC$|SPlS55k3nD1=do5! z`4(Wa^Thde2A&(74~#lmlXLDi6K{jgp&28vqU=GCfk~#V;u0vYdGD0Xu6#-lEn-QP z0;y*n@n}3wSh0Q=Qt-gm$IwzKxBk%Qnml%0I|jT*lEYq>;gxolR8f`@*mb5=fy(gr zJKeR(rh_j`P*YH-x}~e$**{P3wglDfZvdlJOOim?h)@sl4ycOB9$l|Tpo+sDbD@Wz zis1lFq(@;E-7|E_7&?n;*_BmAc7T8PH>>oozlr!P9l;k=I6Zhah!b;()PrNM(i%%E zF`O1ByvrU;9rJ|&9_~y+jo;r{jbKPY?e98qex8BF(ly|WGaRb+^tLpkUwGl{0GMht z&vdk44ti>x`|BlianbqP!(ntZ9Hh^JJYsqfaQ<8SPBG zh}YOz?o72v0M+I`P=hwir6TR2t_|Bwv3Bg_YJ(d62Z$*HbuN`D7ihl6q8Mny66WXF zrDw`@Gi2@#x%;cPDuAn5=W+v(Lj3~7Z`jnKod(>^+YZP2uD&eUqVG?IZ|OzNy9Szu zGW553!v_|tR`<9v0FH$_8H7`QtS*AFUnBeew^pp`$ad46bBrEhZkzLr5Z$Sl*!)Nj zF~zj~*pzmqye9rJ+msOVuQ%wvrb!;@TB;nNaEh%v)<=Qc&auU_;s~6i)|zMKj&+?` zO0hL@DUCls+yaN?&!uYRXbkHAp&GS)yx_m(X*Hc*tr#*lzaG}$$xf-ii#}T*^HZ#V zckmCD9o`R%9JMB$gYfCKcW)*G>u0flScW}UoRL|=%RrRTpMwp(?d-js2bOE8 zapjQ;I_MNtf&T@?)Y{Ir{qXHcV{sZmKCsn8Wb zOmR<@faK^l?$5_s>AEUM#e{>1>s3k{I44+FtUmvll;~%ly!cY;$+lMdOMO3Qof`$W zs~bf5cVZK>_4MZT#(sWew`o;VD08{XfGlt}@RE`DFB3=Y_K+3mfanSI53+}KBF33sc=?AgYhZ^lPD z1Gw9Qo&iXUrsuU zRDx|(4qcmT#S85?f{=w7r2(}wS}kgs)^P}NmWNN~->-aE?S}8)DS-}b;?|BvsNZI7 zC$xQ1lG>-u{BRZM&+++?i_^%zaO{c!5T_}>{R zCQTS7$sW%;X5kue%quxCT>s~uP6+s5bWGTj9XlG<1IGgYd+kV{xZ#@p`2GG#|2xuN zc&{W~{&vs0M80|14Q#fm9Z7At5g*=hIS~7);{CSv#u|-QoBE1Yzp6nfEg_3GurcnD z?5)3G#T>5_nPna~)(G1Z5B2llnY!3{%T2ZyqYym7aat?hR2~57b>a^$7syRGyvLle zdkwtV;jb-r{7_oIt<4utJ-~R=JT}Z!iz-Gq+Gw5XWKeiOovriUlFTPpYGO$>Zx>xg z=c7lg)B?DJYrVZ zUI=PCEPhWllGA(VzCf|H1LqO!!>?~PULLM*srN2hM}8|&Di$Vaey-g`0<1X_I5bwGZIjPKp>c~~`>L|)0OZOa0X4nhPnYWXX%XhvA zr<|*9|D<@sDT{xxx5EKEQ1*fmap4XJ=rLXASYu)!ex^7g?}~73r8Y4`W|VGb@-7^4 zJV7A1$|0XB&}UKTzX?3$R#6GM>O}rV0}lr=BQd!P>|1i*PgzqaR}XSR+K2~Xr7fYU z7BI`Itk>Y@ispCPgBKK#Y#Ahzu2b(s(&=sCP^;`!DzEvn_8?i^G8uX~6!b_ef3x{0 z^r#it3J^SI7Tni&oITzy-)*0)=&|=+{L(JVQMREakua*$2IglfbeU(gE=WQ-G!KDH zBmaskeyRxFGFgjlL7@Zx5ueZO({S8v=)v|w={2R1LGTP5Kk~w3eNTG@7vh~@ZgS4y zMYSAwgQ)10ZlNWkQv17pRQ;pR>eXz8A_qs8 zfiNSS2kLg<3(Tl;)$Y2_RB!2uuc3U^_ZEAhFn6UJ3KID@Y!Rb>mU?AAsCzI6fFEz( zY=`?YdF9W8n6dX}=8|dTfduEBam;71O02`LG4( zZ#5?PGbEH*gHC#34*NMn-L6S#m&D0$d1tK#6MltPJY$onmu4zvD}SO8Y*n;WQKv(M z$L5oC_j#d-^9B#9d(Md%J5P{fujwMUgre$|JsMRHbJbgWjP#!W4>HON1fXrqK)sYW zzP~u@#LL07YF6f+A+}kGt={RDTKKX2os`Sb|+6*J`;(-JrUoc}Hro zL*JYLgZVJXvnjQh)l!**PN6=H?5??Q5JIl*?dz7mmAP4YOZHSjCdE!Gw8g&VMQky( zga&A!aG%m+nHj6G+cfI;T0v7e?IgESTSOd-7!5r_QAf{2ss)#TeFp0bdND1TarsrA z(;~!06ixV3sF%**a*NIbA_LGd?N=v%E2wKsrNi`ST>qk-XWTFM&W1VZPJ(UIbn_f@3-8@ zp7<)h0M@AWpVd?38ECf*;F#?WaKJ0~w<%$2ygKN=D$f zj~;UP#i{{8Y=_u)oqE?yCU3PVjm9p;sKs~*;l$MSvC=A%E`xcsaNkk!5F>)Us~vKM z)t#B`*DCqR?DrAY(Tq-OeqY-0kGnCie;8X(i`|U5@M-#?iw7Pfrj&V2$f(;=TRucv zdJs&R;Aa?SnCMVPb6l{sRusPu;BaTsMlTY8QI-Lt0k-QifxA_lWilF07sTKTo1Ua9 zQYBRPCni8<9d`Ltg+#3o33Tt`w5(gVLP-sSXHL>{oVpjlisLs3+Hx(z4hs92iDv@c zHi63+PvBHemQfZmB^43P_AoL-~2+x0E=2Dzh5wJvf+5Z-u1&;S#+47Mz z=V<1=J5v*u6_L-or=kY_gltw-?n#{i{uoPTJGc*Z8=Zjb;xj9-?y*B#sYe6D>L=>V z=H)=TJR=Ezk-BVEFt0Ic#&}(nrFnkNa?hGJ^+=Yh^Uwd5RRIJ(uhm<2Mekg?)b5zYNPe<%!)c1q?ipSoIvJ?Wl{<yF9^f?ezF_9Y;f+)Fb@o{F4fD$E8_Sf=Hz%+#)V@!l{E_;?&PD*N)+D z&RqBk|0&qwWMEuO9tPj#Zb8$^OEdXvHSKmX`0pmN$X2bF%bS54RWIsCtVFlxS-*wC zAn0eSHuvjK$@_Us1MD}Fe*y@se6S|0Tx9`!`|YEW2U23%T157FQ3_^BCx=klP4$bT z@@EfziFO&yP4Cg9Rz0Q|DPsQ6M!}g=RBIJo3F+*>;_4c@{$Zj)J;EN=1qW-5-{MYL zQ@1%x68CTiRRXFZw-O|M&V0TRJ%K6=Q+hjHDl2LiX(rrMd!iS#6MlOa&=k0cbn>hag2aRL zi{o4VMifY1Xpa2kV-`i{hm5z};>TnW0b&KW&l>^{bEF}ZXER}x4(*aN zp%*3??OU1yHi-o9DYTYXf)PNGG;3$kwRMf@j$VeaSoDs38PX(aAK+O)PA zbdp+uBhKeD-;z|!dM~fjOqh&cX_JGhCq0;!NF99Fn}CMnAN)Dft2T^Agtq4uFMMfI z2==@CfGUXnGhSoKS*(T-MPs$%sd3%d`R5Jc<;G8u+YowaOg4++8Ioyim4aRSUsMn- zW^6P|Y`gW3>M}6c`2TewxQjay?3Q*_Qt)NE;Ld2&*cZte)L_b(Kr^_EGtXoOR5arm zOSh~uM#ghDxH=erFSCJs v}M-xaG4Rc%72NQCB!G*tW!r%;)hx0U1SA1cEvo=vW zhT6e}n`j-sP{Em-C>#S@-~vrFM_+W+O6v1{uMMQ_LjF0|4XW-7)$^PYP3jKjBfz4l z${+kKj=CZdqLa4L<-V=h^)V-$t?0+^N9O3dFcCt2c-h^82y{R66_>4oTwr>f$#;=| zx|zuXtIvd_&)B4R%1#$o3(vNG0j-!+pEPH>>PN6f&UBVWkS?z#eqm2qmB6GeQ~6d2 zX8n=8!!nlbMWUv;&8CKL@sye_alsF917n$43d;}W7XQ);AXO~X&+2QeMX8_H=4zfs zebIH|#fb^j&CZ|7#f6iAu>spm1T4{p_3`UDrS_EtI{8&f zWf~;PF~%ul6I9sVHAt4v{k@H7Ltsq~;*=+YQDVFF5N5^oXhpfxuk^#nax}*b17~*M z>bew7{nRDCdj<(5%$;s(57KSE4RWZLJL3?p`h97MOg_Pytc1VQMgc&9w^A)c>?n~E z4}mF8-$0Mi0 z6KgX#mvg;q%4>#Dp#Hk0vhB$7q*B^{G|^){x|JgRLL~hdJfBGV#T|Hbuh8wpZI)Xnjb##$zg)| zZ(h*LpO>v)7|WmEmd{ACk6S(6Io=^cXL{J*c?HkRCH(=8)-Rmpqf+-Su;e#dFMWP8 zF@x%Q!jn?w2lrKzQZ7U)W%NuPu`BzvO?Lw-`*lsdyO82FzxR&Y+MT{#+!)3N6R$FY z(Un4<(85zIEtHVGy1HVe$FGS9Qun)1b=e4yPRCSU2S@b zjU00OX!^nz9w2Yuwt58+?LEGx3H{HH5mUK`1;H*#$R$zE@NbX4jjay3Ein0L)MWK- zh$CqA5rqMF(E!K7(cI15)xyN#KTrQ@6}!2cxVn3}T3F%;2!RCz1#y^|q?Dy`{tuzv Bcpm@& diff --git a/main.tex b/main.tex index 7ffc858..8678eb5 100644 --- a/main.tex +++ b/main.tex @@ -57,6 +57,10 @@ a proof assistant has checked.\par} \noindent\textbf{Second edition} --- published August 8, 2026: fourteen chapters, 132 pages. +\smallskip +\noindent The estate's companion paper: DOI +\href{https://doi.org/10.5281/zenodo.22057482}{10.5281/zenodo.22057482}. + \medskip \noindent\emph{Publication history} \begin{itemize}[leftmargin=1.4em]