From 738bf63d98aca63d7def93181eb16d648a6c0edb Mon Sep 17 00:00:00 2001 From: tiyn Date: Sun, 1 Mar 2026 06:11:33 +0100 Subject: [PATCH] added example image --- README.md | 2 ++ viper-nvim-example.png | Bin 0 -> 58923 bytes 2 files changed, 2 insertions(+) create mode 100644 viper-nvim-example.png diff --git a/README.md b/README.md index 8020488..eee6b94 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # viper.nvim +![viper-nvim-example](viper-nvim-example.png) + viper.nvim is a simple plugin that adds basic highlighting capabilities to NeoVim for the verification language [Viper](https://github.com/viperproject). diff --git a/viper-nvim-example.png b/viper-nvim-example.png new file mode 100644 index 0000000000000000000000000000000000000000..fe4c8f9c18e8cec9a035564fe3c5755e64da42ed GIT binary patch literal 58923 zcmZ^~WmFv95-vvK4`S37SJU(P(hPwK50uYVXf~;~BlWOU$lcr;^sXt01zqg)hPmWVg zD0>_GK{knQusywM#DC#-`(*bvgng9F==mn;J{(?fbxYxlYC3b>UtP{*F99h7ySBbW=4_3pI0hNzot1B?ygf zg(WA?-BSQDBe#p>Rr93EtKAI~03KB;C7gvzQSxs&lboe{xBuLi+(~y-5N;)~cII&b zeJ%lq1W}ukzI>>9Gm%{TH(SuhyUoJZn{SL>L(PKU<%_#BZ68PaolD1`f5XDD=FGn9 zmRKS33j(sP35M!z=vi0kG?pO+Z=Al(AL?I#{fW>H-_a3_UVI+Ypq6~_?)yf^8H6vl zdoq5eGf;3RaC`AI((u)^{3m!%cT03L$<>NVj&5pU`{{K|AN zp?ltmNn}+!0AWqe$Xt1nL#Z_#@D1XK)>MooN=_VZxI3=_JezN|yC7BK+Bn_~D;y*k zH;e{Gt`t=7)V+`OF`sdFN7WhKAiz z2sKO(_g5$7>iQf=>cl<#)r`u#{Q=tC9BY|jA~lY@){W7-u;1kqwBkWpx59nk74+Yk z_lUmzixc*7KKv(BtOm0ztG<<(S>FcK#dxTjik(l49+s%g?7aAD*7)TlXI!qxIFfE* z0C(d>MC>glB}Cju8xQ|on@h;4t0chLnKQbYMVY&-3vSip*4~0tYi!Pzf{Jkqk(`t> zET(jU=;5GXYM<5Il-Fw=Zt#9+yV%8VM8lAT@M#S`d&50rV#`IWX1bCi1 zmO1VqFlnXl2xr;uJS{Ea7zs1|R0j4Rk$GyPA9fjwe2Cy<&7g+C#t8u%Sll8He4fKI zeL2-S4LWK*;~ITst+$>tdm$Aa6f}9kB|48E*TR^YgMVFpSTTP~fcvi3lJoS6_txXo zbf>#wLC=wNO&?Fx%iTU-!#K)fCV=D4ITY7qGq-aX;>3 z{hCz*pT1yTK00OU0WLd`RR5@cVfITxUAyLYP8r~L0%!uxX9H;N5M}9jxChl~2qxsVkq_BKLeq$O1|YtEue-k2KmB zYJ+>+3tqWRRF1NNP8Nd-gcS^_=Gb=|m1}Y04SRVavBfZzDT(-k@xU?c4f>~|X#s}6&_Akv`(;k+18+@5-R?|oO zi~WNA(vf#H;Qx~nduy+9 zX+bzO?(hw)+@1nslyWSzRRQYTNt&Ea{>yqTbBhnnGc1b)|bYAINE?TPn#8d_0}xQmq@ANk&K&oRLK(?28x%PQ4)>q<6r z4^O4hHb6$*;zUQctb#!P)IA(oob?K(y48Kj`|85Pdj9TYUy{Z$SyN*7 z#fuIM1~oHB7+bLZT(o4np4k}MSSBojg4=8Sv}z|8U8BjaoniG7@ZIUjQElPM6Daa5 zOYk7TZ2a9kMUazef6y53+Wd!|^efTUctGLP*psWf?omq6=%vSEZE;T+d<*a9OzN!l zA&&bV>j%R_r8)&TIIX&t)LCCjA6oqL)dHhm(At9M(U{BTtjt1nD;hl{sbvpgohk~< zR?K{3@A9?&mioRTR42o*_L|5BdX{$J*aM zP9EbcS>A5P-{&=Q@3Jn%0M&1YpIle@&ZB!|Q@Fna5LGSKgwrO=SbcT+c0FvY@3>B* zALDu%$lR?K-Sj;8Qo&RNab!?K3qT~%_?kZ~rm405=FKc|W>bScNo4Ofb6$yG`L59Z zK7V%Zww6%d?BM{(X;iMyyhFQ>5vzUw!!pO6L4oi3=$!$@B{0}?e>wMV>V7A9ZF5An$%Bu&2yPD-X%-Ff-@Q_Bm}%Smd+Ey7Qy$$X8*s`pdn9I` z=Bcsr*||(Fb_B&44O$kO4Gsb|glCXZ%K2wT3~%VG@#E;O9o=M*xD>!XI4Cqk#B@y} z#^I4fPuyD{h!&NuGOlgl8#_D2%UkEja~@!`IT(xN=Gw(A7H{=!m~ub2BBb>C+Dssl zXw%bRi8p!9MS-B~czk7Q8_*k$9^4cs+ahD#V8BUU5MmYvn)#S3|^3MY^trDmLZK+ah8=6bXt~ z>Rx;Et>l-p9o>&i`dTieT{W(e)bCwTP&cc`NvQ2t82T?>eY23dwTQTLdh&{ETV!h- zFN!D+K=Bz3zA$XqAzk54C!m5>^U{x8kVg7)M-P~$#Rntkh)YzyHaBFO*$86!fd_~o{OX5;vy~a zs2cu=c6mBwVTJV)K}p{2{w{kFJUCLl%@@YE$$fs(xOvAw90ip(u_|rz;@l)q;Cq!} z42l|aN86R-9lI$TconrXhbF;F7pf6mZFR#R{R^J`@ZQS+c#`5KL{`cQF?MqCwmlLn z+j16sp2a+>%&0h(KDGSHTm4hS=qd4+XoY~;@$wL3e8)GVGz=?K&qf}3(-qm%di}F; zmr|1bt!Rii$YzB(HM4{^(HcH`CTN=RNA0*S_i^o85VxWPO0S&(`lEiLuU7V3M0V2Bk_)O z;n3cf#>!k#?>mn@a%N7NYAI8ji1-q4N|g9Lp?zBgBx|%64@BmGQ+OuiboPYnZSPX= zMUL0y#_ZBcuV>7r>Hu8vKBkY_BGq6Nf(P^657#QUbVKCz-tB>ZI4K`!eeO?$`Q?r! zYKXJ2yvM>oUMYF$m;uR#i)qx zzO&THVYbZmx`&(Tk@0@?@saE6KnG41f8WyL`!(*C37?>>3I~+0a=W|L0?$o(wa~Vc z&o{hGMtFjute+GLRgo`B!$G)%z5r||4xHT3d?Kz#)h{l-bf0(z>{v`?A{AsT1Wkz7 zt(B_*8pv0ue$!@S+e18zd}*K4lt-mD9zV7CS0wWo)5NXcvFhq5GjX>`w!2%d{ z``PrGhfy=$f_-I~25$RbBa*KC-kar(K3>wk%eWKc1w+Ed-ARk$QxoLyXU@)>74;EB zeD$w>xj`J|JwwCzLv%6e#iAL0h^oDRvdwiUo3EkB?8yc>hW{LsALE4JI3hgnd{qbz zR#`K&17v#mSa+v_KX1Ls;3wMH_zaHw`3-$+-jS@l(#54scX@Cw2yw$|PnyHu#$-BB zm7DY}EeA)q3N7$_TqKzopYM2kL)v$8le8*wITO zA>=zJ_>g%rtEoa6Y0gQp&asY!GkxzPYAA5m?wioYeQoHDeQd|7A={=54USyph>1L* z;}S}$XwDSd>AU2E*TvzY@*5M>rNz2VgHAsmFA;>Y^ot3~ATAYX3Z+Ep;7}8Q5o;-z zH=j6rIj!^DJ)exI*279Q^>#&T%V^|eLlFHm1{12#A=00mF416*KV_& z4$fk|MVgUbyWmqX73%t_ZL_hFZi&719nSN0%TD{y)+vVa^opqN;W+=!e4dr2eF8IM z`|gr<0h{UKyC>I`)7Hz18Q8;4x;PPoltx$g6S>CXn8awqS6meVf~#XjWuXkIl!kAH zpct90W;NCO1XlgzX$@K-CvreN8l=n8#_-$afhw29x}4$K4Q9&I96Jl>cuyIM=h5CA z`5`N7_~FqtNTz6QX=+m%@Md%OI}@<5vUErdtM{-OXP{|Y?%sMyLc4cC8pznhSI~U& zCc%rp0jCgj8(X72P)8F_nCbOBh*2W>x2OF5TJKGS=Jl`z;JvHtd^*k6LaE&}FNC$}ORhldL7&D8O70&ng->ZO_+m%ul45x=!}_=Z${zddbZ2%;5@ZVLT`;TA3@wf{!&y zwMdEfjX21IS2|SIFMDx%(7m^CUB3nY$>W247$4w9T1L)4n}7QH=@c&5GPuSJJT7-= z;UJ)E=!N}eHmCg5_a1SsG^zm*c89%GFd^+__2G`VN>bt-xz7{r2hI0v^As^3NXKU$ zniDI8!of-?*A?b2sT#?p(=GQ{l0p+dC=ohEO&;m%%hu$7D@PH}T%=N2{gxa~_n4?N zhm-IPNeP?9lv__^Z+km<9W-q*Q&>JIX=v!7@ar_S22EYw`n5!6wo zI_==%s1*35!vxFz)i^gM^9i68_^G$J2zwP$(O99)FTGE{jw41k{ygS8^V$-UU-(ne zkX2r#7~Co%E>K%wapO+KC=}-#O-iYN{Bgb^RAWJGT%+8fP9%BezTy|IX~&%XBFEs+ zmmVEr)-)`4T)XjK>lDjr>aWP@{9LaY=)x7^`^g3?{e_qlGA9S|){k{Dx-qOj{`U3- zwJ>G|g#csCOT?2E;2T#g8C5#asc3)?Ok*_EIeJS0Kgz&-W-hPQ$0Uz;Yqe?lk!Ue& zKm3Nl3wi@lA}}&2!7Y5QF2`@M*3L|;0kkWFI4xoOPK;C@S>L;IE?dA?Hfrd)K)Q0t zKOtg@mn3FtD{w{A<-1W9CDKdjHr)dl#u8PgbLLYz<<$Wb$G(myU7myj^l`S;u7yp7 zuFeyVtojbvRpvrS6y$?|3iJWr8LX+&`uyk08)Fy@!*_=X&cVT=M+-xUGu+-*P`a~P zs5g~(!qQIvpto!@&s)6#oVoHS;7RVCHd%otrQIBJwN65KWhSd!-#%8K5O*+$5nTpL z%=4x&IGE<#DMzPXDSWj;LE62dHVZhJ%*${*bbA4}qh6U(9^RA zwzj(Uc9ll(#n>>2Y4M$8nk|kEg%g~v%W+VZ%A0~>{l`2rnJcHLOKieIgic4rGl$gGwz>4y?{bbWb zn;KuNFi{h_){^Qdaa^h;9_)2Pj#$l7bhEq$CR?E*U|>AM zs3Ts7I6jk&Pim+sUh(?q2_~_!+~?wtkT=B5CG~`!G_YT+wx?K~lcK^v=IPu&p@ZpM z2S_HrFHNlGUddUN;}Fz=Y;VZ&k4L*SbZ&dI?88W%{s>k=_nkqg+d)3k3%%&zb|?pW zwh}sTTI?gLiX6mQFUGpP?5%CTS~<-OOLIO@{8(t{0tX^CAm`U7=e- zTZeF1g}U|!^=qi!yZX-YwLoK!w zlkKDfiv(NKu8khFsrHYs29ts)F8jOTCG;xQVhLO14Mr{NSiBeFm4jN=V6kBba)|AX z(YS>;Eq(rF8MR>+SDiiCxw8l3wE7~Sr)9m}-7TLqoXh%fm{Pd>8eBRp+r{LI#S_>=4y4iJt9D8 z_88Zo2EH)#lvL+pp{1azCDqwhe24ung2ZYhI^sglN76wrBzI+{&S@x}EJ}M_`Xn8l zXO_u|sPY}w2jxq~^dGZEI~RSK(A4=;vU=?c=?^be3b9y9y}#uOu~3v9hIvEfe~*VG zkdcv#{ix1S!V5Be2Lr&-dao=g|EXnsR#KY?Dg&iF`m@pTM~|3|BwbYgk^6Vr)O)b` zzXgw?Zwz~1T3>1(_U>teIPpns&P6A^CRN{9X;oO&@{nl6Zx~OV$y#P2TdVZmZmM+VA|gLsaO? zKo%m^p&BO7;=wlWSz24soCSF6x2Qo&-#(+ar&i(EG9SK1e$P-eg$_{z$_f7<u zM-M;~e!Ib4riFTv&KtTKHMP*d7|d-w-2C}o(W_`Bm#8bchLjIKpjEqwgMG^3kF4Md zbJUD}`$3q#!)OfJKX^=WD6Z1%{Qcv&ceR?jZtZQ#SqAS~eKRq^+cl11Ew7!}y?H!&T zy+WbVgy3s7Iuj;y`>)p3d67kbR4wY-Ko7zM`Ux^=l6md0eYI`EOIn{1*QGdFYgI6F zGf~?HoZjP}F6e;NZZN;)0$eop3#ZJV(O@(Yj+h6zzseF>A6B1v+%dXyIivJuWg?NL zDLAP1LEijV(D_p9wiV2i>QY2+M6@E>$@*B+|o zG6FHyC>q_hjq9C(6lg{NXr@i}kHV<=8g0$H0kJ2Us%KZ;zAW`Q^zB$~YxDKZpq&v) z8V{u5h7nVvRz86gaAUzzNbA(Pt)5op&&>tkPxNakjus%i56pl;7H7=2Xoj#i1lD3_ zH|&7M`~c>f$CQ#JTyhyPIGF@|T`37E-FD1$8MSMFs-*Q4(GJbI?YT0;_M>`wo4(^c z^7|UANzzrVq<()qbl@c45lmSdSwp&79m%)$Bxxpja)B`6vaTX%uTM*iNaMbp`BSOlMbk|xw(B) zjo?|ATjY&rU2Gq?+#GOpI~xAYr%}6)w%tOZBiGj<4MY?aO!2f;yx(5fAPr~Cq0Ik$ zs01ez+k-@<d!No) z_)G;#Ht{(pkz)A6HSNArN{IoR1@B1l{O~Xn?R$o7W%T^a`k|+F zHdf{$Oq^44ztjCbujXT3qSZNvQ~4gZ$+@vW{f3`Ep^vr}vUAyeBYM?8amQ!T8ol2D z*J8z{vxPq>16?+7%BPwn!^sa1u&_NVh+IhqQOyVAGoEcud-3kjqK#v7&hafNL&jWX35fTn3N+~49~k1F&tVYw9<2K+TT!$ z^j;9#I@2U|It(k1BFhr&tBrr&-1wn#Uv0~)?UOd{pC!wm;)-2ksejWELBBUk%zjss zD!82e3;#)Nb5I%+o7)`AKmw$pq6h6lVDO3ZWLu97X{vC1hb*9eu|JWp|d>(Uc4kvF((p8VPz=lNn0~@cZi^Wv7_Fh`}HqtqplMcr;aA(GH(s+ z)B<>hu9*W!<~=K;E3EH5?I*e%GC1q z`S~8pT;AJl$NWsZAfwXV>L)WAIA5=p1oAf8iFWIEs0#hLd6QSOtDNIs2c~b6tCn8d zMXG2SwP#I-kiS3t>T%CDdaMldcJZSk<#P_tL{~KoR~8=TdxGu5Kf%7g zCwoAH#QxomXLD}Y71^aO+%Nq9_5vh7j}q0S4~UBb+#eg5$>I1hB8UzXBh~SeDmKwN z+Jr#5AZo`hH7_lITX#?E*_~3qcU8z$1bjQn3MQ@>@y)l+pCL^hj_=NWpGO9O%tn`C zsw_}i$LmMs><`mDYC#F(s=Fp2Lg-tbkd(8EThdL;sO`kMN%zB2#L4rGDzuIoWRS2P zS~^EYrM-S7Ei|U0h#|aubNVvU826_w@=OC0G;#Pl)7`1T+OrU=U<*pwAJNu;t+&wp zECL5_$9!F_w2buO zylL1+rD8+Ac}~sLVIQ^2ol=Wakb9Sk;P}@+aiVhZjp-4M3+3!b^s)pnDipUW$!N8t8Mw z8Ot~5#6i^)mP5@|YHl}+!5b!Q9~apP61e~^OQRC@)hnG+1$?AE+w-awi^1P+3CoQdor&&0?RmH2quR(J?a#r*2 z4I?td4KU7EGb~d9H|FGvy#5t2%?m7w(a;}1xZwvTJI1)%-8}Fud!|?@T3b}s#G3Rm zHSoR)*S&(##uPTxM+0eryG~`#=NCl;goOODeSB2MC_fs6d#0bcjK`1W++4GeT;)LB zzjmW9M-E9Uo!vn(1-07~+T&+8vv1}un2R5h3_2Xt3}6z#2*{tDBF3Q}n3t|4LCZ|= zq>4-ByWC$oYND++4eQfUbQq{(uURts5*0-I6c4e4y&dezfof-rPe$wz#*hsEEBP{|kvHOcys5^o~kbG9$9P*Ro@fnw~9v{D^P04NM ztXxAgp>X$7shtN!36*%>gc>JpTJI&Mf^qkZ=j)?B@fAzunPIr-H#a^anHmISA2xHb z3|)r`?>N`{p-AkFwgj&s_3zT`_Ma8^&aXam`*MR6vz8A>Gk;0yEv&Kx&E*;I^zNRu zCm}%_s2!mpzXg5FKdDqff5fL4g?u@7L8YQ`S25b~O0pIfwP4TCN7?Za(h+uewXO1c z$xc_C_PG_1zJ_Vs)dh5Gm<(y2_vhx!U(5>v!A>$qN(q zOxu^)FFR35N6?(xm&3JJddXI|yC)dFNI3_VAGp&?;Nk6ppULlE(9pQt@SlUNx{S@f4AW zN^k})m{`VK(h&raEdLG}4q-0xqQR8=Iymyj$Ev8X#&t}9$@20&&H$;&$ddM#X)ZZ( z#H$fB7ADLpkWRONeuL@k{ObI(Pu3)AjQzP)jo4Ct;DL5Z+<^wmuKt&ngy|O&zQUHJ zE`rQc5)C7QHmx8h?U8+mktT?aTSM)gesjjh0@^$zk}8_4Z8?{-T({W*2`+uB{gbgc z)#8~gACCvp-8mSN^emb2_s`YPJ5g*c*AMejL7Yh0@foqN_1*`%(UFexi_o)ITF47t z8)MfjxBYC?!qgbnSkCy^OP$NZWhg)*ZG2NFUaXuoi|$?7pE*jezj6}L$h^nKsD4DF z5}bdJ*|A(MSOvb%tvXAfzvLr8u=YUEf4#IEEy8hom*xlbVZG?|df> zsUOg~jcn5KgpL&cz39qesDvWJG(w=0HB0{6F{bq%Y@JH*>d17N$BZgV-ZRKM%T{#99=AY`;w!dCb6Kx#p8x#dY1*>hv0VyJ{0dX^E^v{i@ zXed7yHEgT!$VDL3wT`?zsiKkZt!_u~geM}vM~oPiCopzHH>Mm$v4Qc7E=TUp>8X?& z&0I+alU!EN1(T{%$oAWmNG?G=l>nFT2J)7VJsCu2)Sfc0nPj<1sb6Xrx|Q!N$odC-^w~V3be$f;8ZAG&eC5U{_IJL^t1vsATvcfm+2}n!P#?=i-C15$RZegE0YnG+a=S<4$ zgln&>h}ayS8;SeE1J|fcj@~C2~lMI_BJqwv!enpAE_KQ<1kMo9dMXhfv3= zc=~QcH4s$t?54IUT(O>>o75E&PT2~A;RTg4H9ux754P?D7BUWO?vIY{Z4f=fn^=NW zkejS2^G-2GE(_|lLB5gN6N3+%Bp~lo%6u1~JzqF-ck=lIcrp;glu4kRC@=CSi_3R7oz3FjJb%Jo?6}1pzvk;t&>zDGnQG1^U(8et;mj>kvldb# z*Npz?d9~wojWQef_B~v}&!0b0++5DPsVLtDiUz^KB1`gLXrFZXNeD@ ze|d_Rd3bUNt5s@JtV0F6|BS^{?eLrwyzrB@0N-{0AvoT?ANq_y{=!xK9YGF0{%q(k)&tHMzDLNTB}xjo$d5JI;s zK*t3}>b-I+`I!h(nC!8MI&ikg$%JJ}$nrQo=2~y!1z<`7_0bT~8{Gm|!@#653rrQQ z`2Vg{oF4HUB`t)t1d#drN;Lz{cw>UA)ys>`Y=1udaf~K2vexPBrV9!oTzSdSD?}_# z#+^xATKv0;)+>#_H4G2u{!0b*DU~=voVAJ79VK1hvS6v;;OOuYy+KkJTKYlyb%IZc z5$d(Xg0RM|iDrbB8AM*Y6qTx_%zs6xq?7>p(i#m;>+jpB&P`Qx7H}Cz95I-a2Fec< zKdc{?`E7R?nImehGyJ>uKtMT)rchYE;Xb?l~qrIMrh3}UiqFf2J0Jrnq&S*dY3w_a8;U`$81iYiYJRbH>J7nNN$$ z?uS%~?R&v?4oCX&w+!Y(^r-@r!Saro@0R^|9$;wqRdA9MeP%1B>Y^1Q^N+A}f@JtI z)FxX?HVme!zV{k2*XtVKwzjq@Ix(ut`tTs|Hw&S*P>Z|d{@Z$tr&k=^TS_kK=0-eG zM$dcxX;?^Y#h_nlYp%XTwfG<=&OUhS_1eNmTYJ2J)j_|w{YaXfP)Siy?v-1L!?VIb zEKxv@VaM{b&R!J^2BTz7oEC#P{m=683eiST|78seRByvvjWejJ@{FT1)6x*TtoLWj z@vA~MrN^t|PCdV7;*&1?XvynT^89=Miv<KCOqzZyOk<+e;w5|llg2o!m6h$1^b9^r7!=90NQJP~+Io8(OWobXRxBjZFsA-h zIeX{75of?$zTfKkRK6tqAZ&6Nsn15do5P;{|KNn)K(!FOhXKIQp1r4N!I{|#f_&-9NTnBTZ4CXt*tyG7Dnwtw7aiv$R>H-T zP*SYitQ1hhrB$#*bZI%#`}nf1(4l;*`V`d{O9)`2Bl{{NS;D(_c%Z6lTfnP1z{E`bXyL<tODldnYmABMZh) zN8V7aa}Jdx5KB(>n)FDyHvx+Kf@<2vMF-B`?=AX0L>W5QW!`6_ro<^C_~<>!0jd0Y zOr2F{*uB0V1o_iz!b}Na9&-xsu9|Vw^yS3y6KU6#iCM)lTjLHzpf#GDH1n{uO*8#% zbO0Tmw|>RjPhZBq20Rdt`RU9gR0_|)MamRF?DV8e$^D>8hWr8C{%sOy$yEkZ{-k{qs=PHqcBL~q;MD5+&4J*{p%{qAyBZtjC zKP_Po>{r?yXt8p($tc>rdsqN}-uVa~j6|aiPMZE*(4{G`{_&w#n&Y+S#XNxCil4MA zwTP}8m}xjy{%Gr`QyQW$6w5Ut5_hX&x<%my?W4HYXnhy7Q~Jj7H2sorg~s)^rW#iE zsG3y%wKV%`oFr7m&A=7Y5MUH{EGhZ-6G@pcKh%8_2Gs__IR zV6RD=_xTMaY7K=y6El<#_EChQPkQaG*yC51zBqt(?0%A`TPElN4cFps=NsO9>R~Km zIYv@29$Fu0wC=h59Xhy_#FBW*fvSz3*_$Zt4ZW|3nHT}qfYL=M4&h_&kLm%bpj}^oIJrx9?EkgR} zt26>hAWk!LPVa6{vOb2`T*dngWeu^*MS5ui<-y38+s9lHh*^~aCDaH%NpX7W&I zFj+a}MO_!|wZN5WfR$y&Rn!J$B|Jh@T&b$HfFD-O zifppU%vt3}2a8h=eD5~DGNq=SFcJ%g&51%n2W{;G1h-uNnlHRf@oM^`#^HGRE$YEH?v;?&iICRC9ykjxPA3P-gD7bX6FU+#3k9YmS^zu`>A zpXn9uKRz(m|9>?($^TwvNI@a(J>2s^$Qb)KR`ueQWLGqC8p%h9zH%yLviLWYYb5_0 z@ZwkgEyVTC6u$-*{tFBKPrw@a=KQr_`F0g+(&c5t_{0K`{&4D_Xc#J%u#(}{hZFDn z4pE9jbD!vsFyQ-_>&~S)c+7ZAa;-sA)4dxa){(u40f}2wk4M)LGTzkq`drePh@VSR z6B+1MP#C2I|L0T{IWc#4yuI&>I&O8nckd)nb0tM{A|?eG7t@-7A&8(SH1@`wL{ z8W}4l?QAWtl}&~0bvM-~{Ca%G8NXKoE~bN~`ETlSG$XW%g4LJV%$d4cR=4Kr3hlK% zyj^oo8Ogo+LjCh_b)ip4Zf7MdBElt-!^F&mR%NZ7D8_fL=Hk|_`gPib<=H4_xMp7@ zeR|l~$xe6|QeGh|VgRDf<5urKs91;H*66Q6ZKPEbh0S@fyA#@_8AZJ7jKJQgHDb;G zeH92Jg*u85)|i>h6l34>NY$U@_KA-|sHh^X1$NkO_lSPm;7_`38Yi{CR0NLvCQ>WIr7?ZG zSH1Gw5!Ryf+S4EzILYXiX?Hc3K7G`+5b|=Df43(1$qqW_5H}B(x zxVAw>xi>GrO~izLV3?chc3=o6Y$N+2$`HuM?)I>azW&My)ulAJt7wC*Flh*k`!_Nr zlqq9E@Ko^RB*{EI7@|>lx4XX220Y@$4o0E#Pi>9&kPb%oMZG68KTZ4-U0Hbqr`J_@ z&Q@^M7_8#yvsDAI|0-YC)ZX){|F)jZe4ioLp&=e352bO|Y~AMa;e<}KuGmT55{nx? zMleOW+P<0fF{Za|twspQ#h$XnjcH)uZSxJ-nZ7>nov0*oZo|XSl-a=Ca|FzBdqk+^ z>Cv{yxZ3!f>prw)d^#!uhB^Ch_TDmOH6y(Ar|0FIPKMq8PJzvdT#eNXhSM)cZ zY=5D%i0A4`V+@WpfBWT(+6iY)#1B_IJHM-gd@o=UIyRZ80AY@064Vu!=jCOato<@W z)O2Hd5k=?}1_Tc%rw95b-)$j40Vx8BrlS$vwYxRB4 zKn27F&gW1pkj5i?dekr7Uv$8=w$Ruvyt`{f4MZ&t0TB*GALsZZyPI7s#n`7V2Q8M@%YG6F z_PwHvdQKg%jJSM~nQL+){wGN<=g%kXWh?@zvC-lG)=XUxjrPw?n?TD4lu2H{?d$=+ zX~tS1_gyeY>Puu{v_SG?*4>*ZdWD(`TvsHq_YQ!=2ExS6%0(SRdeV0?$+v&(j27*i z3sU6K6C*0D8z@q`ekn5jnGkE~5i0cKPa|O3MW?we@}>BZ${bC#w230Go^gL*KKU!v z@d;H{S&-WT;(kxpoHA4x?_i968M6hOCb~yj^EsD7-a-8e4vpdsF?FKBczyXeWK(Bw z#feYv`&Y+R$zK*h!k&V*SFd{19IlL*7uLMuufmhd%fyTNmMMZ+cPt?dV;Ty5gVjaW zIL4EjN!#sU{lg5BHikp!X-#AK>=qIOnX-cmZVqtYr0M8p-2SIjpra%dt{t}Hx#6>e z@&IhIO&-Dd?X`~sm(a=Y?z252)0wN@)1&Ir(u4BX2OT9ke9X>H@jv6%y|SmbF34F@ z`6Hu1-{-WTVv(jJHBd6FM64@yJ)(OQI(EG!S|(K}$@S;0cQV32%=Vkx{!ajYmN(~p ziZKv%_50?b{0m(ZgVG$Z8-B-XIzzIzd|Ch)6=X8KJR#fc+;xAjTR5cCYN7VhPdn-8 z?;~&%Nl1zh;(MF%4M^dXze`fEAbUu6D>nX9EQ1`A~j>BU%<=%*9QFcii)P$)??m>M)N z7L~B}N7#n{P3x5Q6Aj;;es0iaL3vELY_V5`P(D2-q%nakS21H4=pUh`W~&Wh{8S4# zpiZH(r-9I~K~eVVuPv^(ZfI8Luj9}lc(2p-#<^zD>52lUuO-=Mwie5IAe(SPhiK5- z3>w{MR_`)s!9~{}OZKl%8v*ZGs|&LG$`H0Q4!;A{cvV4Ns8d#2W{MLD}#X|W?h?LWDO4+P| zNuKqyZ``tHuw*JwPrQ8K@Xq3iKX%Pp^!w_n^xw#j5F1uUJvP!+2{Yzu30vIn0PHUJ zMYu7OK0)EzxrHS=#x@(JN7v_GRi z_B|aRZZV>Yv2rp7&17bZ6m!eh6N|Klu>{%jPJQzhgbL0TF()=Vj7~ZS7g+fnk~7cl zaprYy<(maX(#!wpM$8-lEYum9Jp#8oB!FV2Zm zO{J~==kTo(z4ZT!06@TiI6JkyR@nUy--n_$v0^^*6>O*ow?ZGG^$*L`JCpB^c>dB2 zW$a4)*S23sfRfJtHbFJ=|39Bw{6Z`U`k&w2G+q%zt5z$k#Pakf(?spW`1VP)xv=j~ zrXDpUJG-+KC|Y((jSyk?9KzPVr5`)&s~%uJL~8b=?SNCQkDm4n^uA__#pl%AIoZM2 z90&$O^1TA)8?#>Q|4(=!ZT$>7~Ke7xSe;anqS1J4)E`NBng4?^m>6q~Va+CiP(Af#QoE0dQ zh7c~-x6 z7W?&)d97Aa$tUQGu_cwnp!$t>YSl=Jfk`A$4Qp2FxI^+91>j}qC0xUvvAel({w1T%_|)?RnnCiwb6Ma!T+oP0<>pYcn+kv_+>Gl)R?WdRb76dv=kM-E$O3rkaz^-k1{tm$QHgdkRZo3MN& z&GMDg=)O(b@Os$se$)5++r>OWAU{ia<1Z(jRCBszKlN{fn*9~9h%4d;GuxDO2Fs*tQl;GH#Ve>rlj@9rTp!`+G!9sTh1hbC#{A($(c?;ZrF^Tf}g1w%nR zgKLKGqyPUndkdht)~s7J3Bdw{;O=h0-Q6J&+}+)s;O_43?k>UI-8Swn8;7@Zy3c>R z-+kTn?yXu?6nojX*8F77F~=NBpJ})l2#Xw(MGoa_Bi;6izuli0Bf9dAwUPtAj)o)c z`<->pmA5YT@bd&KI6#223fW0WXcs&iktYIzzDAuf7f7SOek6l&AzSH4QDeJLL>)_czTMdXYZeAsW&wg#_6+A{mzIZXZTLN|kppS~`gzHsm z!0`-<+U-65Lfd(R7UE{*?b+5o_DrOX(CNW5`;~O_wo)*O4DxCr%}LA65o1~y9B;sl z>q%bwxW969UVDV%*L}9t2EtKs_-!Q54ip2bu= z#|C0f$Pj~a`~Crd}BR|JDUh6(=+U2 zT!sg?6G2I;@!m*)LdO0X=H>;Bz5S{i`r^RW=kSWGgV7r2ZD-qTw@iuCs<@Qq?R-)G zE`kRHo>b2G{R7@d+`T-MsQp)NZy67YiP;{`P{0|H%Sj6=_Ny)g(mmPcb*bRu$6gHP zW&W|7I`(vD!0Ch|F;>_by)Qmgk7Mq(pUW_o}K7@+wvRBw0?v4lq& zZnQRC2S?NHO}3z9Bg9JRfRTo1_d#r>F?E6!uE_DM^d&xCfi7z?!b>diXZe%Gck`c) zI`BDaM5qxbQiE!e?5-Tz@r2^o>fBk5qIDmaF4w=b-eF3%vG7xea)m`o#ksp7=sl;g z^1h~YeEp>_G#sJA_U6?J{yrYc#@*EAZp@h5CEzBZq~(2Y7p=7RDgwCz@tusLq}u*> zH{5;1=25heQl#d{RTv(p*rTYz4Y2&YN7vp3{j_bBC*>)_iiFLc`$FnD2FK|aw~%W9 zowL~1YQ*!I=RhBGk;FEEQvs@dXPfOB>~BHzc9tr_b>aO?Srslv4ATSnl$gy-*>CAB z@d0r~wmn}jSz}ThT^wiP>dQNlz4aB~M-qN;DrR|q#rYE`EIt;As~tl-SuyV@ zN`1@1&QNrDbECgA8^(InTeJ0mWq`xQoUGo5e0bWKPoMd~R6E&su#Oym%S99FlM08q z8P}SyC&_BZ_mQn9rkLDmo;BL0Gu?eLrqbRNvmGBaOf^fU@U@%^bSKA}N(+Ab4v)fz zMMWmYXq}hMqEmlVDL0yuK9rD;0ZE3GYRH^^1#(*DdGXScW_A@6ik&LH5+-gN;C*h@79aQ_b$#|6>HcF(@8MULzMlgp3sua`8vfo@h!H?<>!Xy2JE<1|Kr*c_rZZxB2R zSA^0Zl=c+4nbM~I?bLii8YbEx9J^Pqv$zYLE_Ga`)Y15%d%>VQr7!o#Gs$c8C-Dwy$KOFc5`C9NN`~F z=Cb2pjg}OX15bywTR>*ncF?U&5YPS!kUcw@G&smXYb*b#lxV5*^A1zwBzC!P%8M+TsmJcs;rrew}MDB+L zInX5h#64JR2Jn;wzbdR4OPph~t|xRaS9kQ0e`sUJI2*49Q9eZnvmRX4&u0;bbv|g) zF5zm5iVj56=B%vS?M+94^3!*2E}2@LiUyV`<8v*7F2@t+w{3Z-iXGwEq;=j~3WYD| zBQ20t=Nh7FG7Mh@nW>HFE5yHj-f~m)0enD={T=Kdns||>xTxSThVRM&s{Ym#CnKZj z_%ym#FvrxHqF(yuJ9lYhW^kb^>d~2_E2zoAR31X}qK}Hh>%`N{3cfOJOB76N$(!Hf zTOW%9sk!(gibnT^>_nWZ8ako8&ULze?bn2+@9@eCi~V9yrfe47{5XG6^yW}a5IYj8 z%}^1MAnEPSZ?cuT{jl{Uh-(Q-ImoZO1r+hVkY{zPIGcNZ_m7(7AT1zC(?QX7?)U3i zJ@~ljp8;lf=6Xx00T73&5HrF}n6dHBa9T?~=ZREFUdZ${^Gmw0k{c(&3543BMRs=6 zVu6$JT?PeZv8P>3((AP-b^ zos$SF4~z2*N5VaexfN3}`x=P-xZLIVgrhmkFGmaup)Ivvd)xw=P=8=3=zOcn;W#_w zc~j{i(fE#rUXEU&m7SlbRVIna`Nt0mS`@(Tl_$wqe-HSHFRUJ>3n($bwYWkSoRlb+ zbwIS~&A7EVjmS;%{#HeG=lU?uf9Q>kKVF1!&%Fq(KS$`4amB7ZX@uT!FW7cTRtp65~P;4{TucguEL-PWAa>f+2Uxi5#@<2V8C(H+;JIiGI@q zoA?!sWDj3*At09tNRzJ>f`#i9HyPN_cepfc3`SN{*gRa3M4);s-!#kZVhR!NLt{FB zA#5e~9%r~Zb1gxh{%DS28`Uu&7#Fv6d*Fqw$YC>@tyOJ}m}6TSv^OC)32c|yCN+2WE|;8%T?ML)=tJjfAISoVA1=&*r$ zt%&|euK0y%&wjxXEVoWR<3#X$`v=r57_g+gd4mjg60@quHFTjZ)|NYUfA4FaIgRI$$ z)y9Xf6Jp`O+4Q%2P1FfB1)XIv=h2LvHRgyc)P?Q0L7vTFFC${;x$66r$8BX|R}X@d z{GbXWew7d>LH6qxE}FOYnUMEaB%X30A{ZW4@7xC}2%4bXAx-LJjxg!Rg&pS$4oWfm zd_CuqV#=jDSQHLO{%@dpharD+b5nvXd?$beA1W_D&uCEJS);7?L12#%;h|gfg-$?! ze-`P1r~*+-4djRV;wya7GX>)(2e+?4t+z)0^^s25a-!o^JrDbl7npRPCIkN0Wh+DQ zwZ2J6?B)Mz`?t@( ziInk!lcFo$&}}zsR}rW>VE%anV@jUjBv1OZh{Fk3jqUl{fBw8#^X2QdVYm`6?2_#Y z4vKoiKii-|LWqu#{&xeh(o}4{(dkV6cB!GLMbM~DDQ)+LMN7Os)wxg z&s(g?`5ZBQ3FXGhv;Lrj2L@^itdT(&UaeK{IkL6qKP~XtS>f=Qsg(-OJu!6o*l$@B zLV-yc0+>$SxBa&jHZwyt^$>B^6MT9TL33w10@DR z-#=fl0Ljk~KNlQLv^w2?wAlYd7F^bXhRP{D1zPM^Wk>I+G6VBxLoAOh3g|!y(a%>2 zG4%dL&*QpVjDjZC9TIu^`qEbJZ~C3;m+VN-_1#6)42g-bZ%=4m&*vx{kD39mbd82{ zvAmDK7SbW*9iab7>aI8AE17qHkL%AP0Lu@LWY8mN7*pE7iuN43gQ5OJ_?=3Xa7vA} z2ykO$h~Sjn=_m|xxqp82H??{RH5gdc8?d+?kk@e@VLH9#xjwNW45(0;c|c3S?+%bZ>kos&4UlSq_)v*Ug1e!=_&&{=+R$*2Hw z5T6vT;Pn)-BC($XXfcQVhgb3Z&Sh>XKWuXJrC&fY;(-@*vo?ynTs?Z&Exo)3ro9{bo)Q!S+)2K^k-6lH zUfszpVc?8PNQ#@p3t|yNLZU=guhfP9&pLd$PiM4r<$}U2GGt^{oG^gUUf>p5`{l@o zM%c7*0@2^{vD1)o^JsZ;5Z`fyrl(HDm(GMY#{YDA<&seNZAY|Hs)L@Su3=wcdASUr zIWIoBWNS}>pC`vMMb4?jM>-q*DWXFZoIXj#Ll14`7osEvYfbu(FYIc%ujDWcikN`0 zh@&=Wnp=845>oJ~Vq3>K?wbeTWChz2zx?I6hm*1~=H$j?PCE|eqPc(|yKexD*A{>+ z<6Y)q=BbUq!OGC^wJ?4AggkP;r@$vyI^?J`6p^Usb2(%FfLoZgoFfE?K z=ZQibFTHr%{4MKl2N;K8tEU0fFhA+v-3>2sRp3^~?1ACt{K8jxqsws>Af-wd)l2gB zmE}hP&=a=308D9dZp1v%osWrjILl7{wMOw7pZl|d!4{t+-d#=usS@37=p#Vf7wf{?sIMWp;gjch$E?_+BhZ^Ubf*0hqHOh??o1W`@} zj}dRlrxZeG>Z88PVN0%!5BA-22KZUB-q?#hG2yCiwH{W~>sDC_fgM@~yT7cM;HJc2 zHAi30=3O04zQI6r3`|}nWvW*0a4shS$t|r*!`jc59@C8T=Bso*z-M#*NM{g<3pbnm zCi@#SK~k1{!3kMZ6#X5eIvhGooWpLBgjZ8xF!OU#=cYm&4y;eHM9@-{QevLtvqX?s zg?yNqYEAkC8im+C%dJUu%KS-T%+`EpP%F<^vHNU@<{K8hD_~io$IPgFBQo44m0*$% zzuCbu-tXLa4b1b3yTzZj343sVJvONIt6pqX&k`?7oJK7995&xCcw#crp9&V)*s8xF zFDwSgF`&+Q(g|oJX2a}ZADE9t0LBoPHbwZc&gHwKa=bP4?d=oP&|RydmkahZY)`$g zr025Tdx}AoV1bNgwSLJ5#`eu?49E&H)LH!_l@~Y1VQm=9o}5Pk*i^5lYDToD6Srss zv-gLe6Gb^_X%rA!LnY_sH2U*rU7WYKI9Y4$_S>lMOhqn?pBaJU3NjH-F>&BuLuheY z=Z)XW7aw`nlM+2eZdS^W#3DUX@CfZ;M(&;&T#xxcw3VGa>)vWbOHsfU(PMRMPuRsv z0xLkE2Sjde=dDHA8a-e<)A=NG!QtR)_szP)^q@dF2|;rX+O&KykM^!W>-3A(YeD)a z7x)$9PE-6its|dyOM?3o`Pk6*E z-r{KeNAsO8Z{rI-d40)Pj3<#S_1Bu>QbtzA`K!50NEqNlOyyT>ZY91hDG&tCGea#Y z@NbWd)}Qo=p;DOG;S`kve3qZ3pRX(;&DDUE%=>F zZX_O<4tW>dAGu~Ig7eS1t{x?M>yCs(VptKZ@Bn%k#mm_rc}mnl#7rVcWKa=iNT{B& zCm1xzS}ErlBftfXHry?+&3F7^(KCWRC(p&$(&P6Vrf;)hH+km8I(k_Ynja~TY~Nwk za#Di36p7zQ@x|%e7oz3!b2M;a3Z4v++H}2nV|&%KQZRR@dCVFU4P%Z4wUOc3M>Wd- zJGc{Ps^%hNJoxR)5rwL2oaMjcom0#6Yc>F=%&+1GdrJk_T@O5>4BLALCx1!ud-N5OqvG!JH&TtF7yN(FJ# zU64e=FxC@9gbNHX{}n!r8O=@4#1Ty|<7jx1{tP)!cywyr2LY1k%z|dl<`|~1-OchY zTtyPA&VpfZU|@(F&f(c0g&rZH@8!$ZR=mAc*`B!Y&PbnAK{OR`)CS8(k zHFub%uYD#@Ys~>wq7z1zLPpcS+tgR>lSE!Z#4LQA86FZGSOSIZIam^Z%E_HB|7@*U z(_1wzmd%3JKO}h{PeLlRyACW$=6Zq4gu)w)y&*b7^to^ENt0#P0kB?NUwwqRmq{La zSd6?Gaev=zJ##dYvJgCc*V@YSj$1El`T#CGEr+5UV_cYN8`wMs^KLFHK^XV+pxqu{ zoGET6(K)mnGc+9hbIvyN*@WSn0yh-*IWhe~*pb0tI-yTmv7&Tf^V(|#InUah^XJL6 zbzdEAdn?QkV*Ooo)SLdrn2&kO;RR~Wf$$d61F7QFUudf9WzREVPsiJ++|VrSCLjut z+iIn^*37f~qq5-h$zmP6o;gB{w{7Km>%M&KKk6}Hc71UNc>+E27bDr61j&=Da+OxK8Nwt+wyfSO=>U} zUc-I)iE>_c6o)3o&|M67Sruq|3S|a{sI|ZdtY=|oqqqvO&(Cf|G4iAzJ+JOch2EY> z{Tl1HH^?AotjCnO7<90x&}g@dBDTiJ;N6c z@>boL3ksFtIx%=_(K#CWAb^ZC&D5$}SHr|Jr$2BD3?*`naXjw(Z zlQjLa{{oQOogXv&1(4!z{C9v@}vB};g{9{ zpxCgPR3jzIemHcRI9IInoLy4qj%ALyAIbbDTU;vNc&cTIWdvDa^{}wo zOr`2Bmt}_E+;5?DSG{$fUV0Udm}3dfJSFcoC1;tU4R;AywzZy-*T?Os|K zs=#{1Z3*EEL%6_dn|XiR?{AbYory1Gc9anvM6DJ36(pYR#Prv=&Ki5)Ee%gVaNGx8Z2dSD#zYpSNAHbzOJl^*6`w8j9MKYD?3ia^W z;8+ve)2KO}`$m0nn=t))&Z+8R=7*&b0;$SuPi>ymn6nsnkGN_5tN9vA!$HHx($&I5 z_Bi>V_DKaZv<1@=_eiGV^he}i;-qwHW@l1GkfN5G6{4WDH==HP2;|fKfcNZk_=+Rv zPi=3%w?XZL1De(0=4UxAZ<4eu;K7gkO0Qc}xAZEJs%&8MJqEWKEp1nmkHCSORv^VL z#oPS?kwTPK&uX04mH|PVvhwlGWtrd9I~!lBEaSO*CDK5#@F~a6QO%G44)GG}{U1QQ zk`C9V#F@dwy(=l5es20-#`(bO!^wd-p}pt)&laou46pYT;jX$6l0iPPcF`m!0&Wg~>6-8G zwc3{bKNnwxxjOb!Zae&lQ@)wLxU@LHg>B>gR+lQ`FvctO{(K-$9aW5Yx9YI~;7l$&@@6w5UM~r4v8m8+u7J`Aa~YB?v@w>_P^_sPPcjQt!62Z zcFI39prr5LPaaIWEg7v zB@IT$5Kh(5rD(h(;vYU^XKd`+eu3GRo;zjmg?>FoYBJ+8r;Y0=V3)6HQ&2!TRSlFM zgZ=|$RWebqu{9%#%xI~AxMcr8yapQ@M?Ch7Enmp3J2~UOCYm&Ue~y(+!uftBG)XnE zlqkpRAy&qmht9*>etW?{esTuA2p!T5$+I1VfXSGZ*^TFl1eX5`$i-;%Im)SAd}UzL z^<<|jgeFV)9E7C#mqn}8@{ywfgSB1Umk3&U7m_j^t-8Z{ALTti^OHxmD8a0-e(C;@ zT*h*+@m3)h`GWU+!@U*rVrHLr1vR>n(POQiHz})!`lt2qdc+{GZ>yA0?ls5MgSVDO zL{rqU5V7N4cHg5VIwNGeP6mVp4w3l&@n8RJ#RimDp}#rYa%kiKM)J(nNybB(cE+Um zJ~^D3VFx5d8?aY-N^H?qfdGgjhuy4a~bjG)dcggboe5Sx{rY%8kk4K5eEE?1qariQB!@!<8{J=T}CBN5&G)ODwQ>I<QY9POJIWz{j*NVlu1MQGr?a7Qcft`cEp>Cr)LZ@R;2}GtHEy*xNbtpB}T?+%6j@9 z*Gj>$M=!b?xgV7FQ})77x`q5hdA9@!4F#~<5z-fX2~FocweC1!-dw^meEO~T-qCVM zTdyH$!L&t>)3J+i^(}dj+-@7v2c_=}wuepFaw9su?C!~rr-EZ5{3XA_+SZ=reiP@x zla|qnIb39mq^bWWCPxD;;%tbRil|(MTv0 z)}nO?kU+oCD4hWc7Mf1Ve9n4JGM#-RoB_89*DvXm@+?DYVtz={CLEzdOl&V%Z^Ytu z18!!1rz!qUVs9}>+Ns?b7-#5;W47nPMOli6(tj8=zlbOJwxsEtLyjmC=YL$CL!MBh z4{C~lYS~hZizcKdRkc-XW!Tj{RsYKfTpQI|WvubG{oA+)Oddq!e&HoNdJ9GP&5r-T0xTX|%<# zK$@rNE@{YAhzDH-`H;xvzL|F~UF-dTkv-4?(lKd?z3~Dwu0ne@0Z9HaNr; zN9k;!*;Vi9UiXnrt|Y3I60J=E5kwMYW^8pTMp+Y)ezwsNBP`VS)^Y1Br!Zsc=E2e+pon8KS-q~Xw?r@q@#7VWm zO&fLH^S2qGtB8YlN_@U}xtKinVUY2iR%Msj3`ghF4!%*l$-FH(x9XrWCwv^(F9~_y zB7`ymR+riDUmhKBaG(WEi?Xq-cHf5auJlA{CvewB3h_v9mc5@tCa9lbWZ7$d;Ww7U z(4 z;3^*q%E0`Hp>!hF8t>DMt9erB9Zh{E(j4yAt#f5kQ`C#a$eV`|A0ODG-cM^NAJr^4 zo3)fX4GI5bfVtp;-I0usOQ_OzrY*zvYmA0^#U0CeZ9Y(`lPY9*?jvUq(N`VwnaHp6 zXtu;!;8IMcQ<1;Q*DYk(l)ECijR6}iV|#`je%ec(y6fiqu^J{ zro3yQzTgM(kZ)!9I1_>W<3pqkF=eRc9UQSsGxOi@1V6b@0K`>n%@-v+Yn#F?o0cgO zMv*dJRPAbGLk$Kf)dkqZ57bJGholZ9B}0QVhMMPUCRyiVBzGR^d2w+WJ{f%N(ulk3 zzI%U|5j!j^tmTur4@kv?+dfx5-wxFEGpA zW#!>Ili*-CGegy$-c|_&YHDdoNbjVz6dcov!C4oI0CAoA4kQ)n<_ZLRQ~gx_>G!8vKfC84(f z;|;Xj9IPsvF27m7J)QP@L&Dp8OcoCJu>FY8uMw(z+zwee;dNMot?~v9nFuxns`AcR zN7_kV@}}c{bIs63;&Qdi%U(kKfum%gI-mm_B-R=x11-GBxuAs&MH5WC5r3=o+t8?y z0ob9Q=diiJUo1T90#CojA5{<~a-8g5(>e1W{iqMzHLIo0%o^y$Wk!BJ&bbpjd{-Q@y(r>EYZLx*FPUlYaOncj}>RPC|6C)I5 z{l0fNP~d@sE>M)#G2EQ0%-eGOq?($qKOnw*{KKTZ9^#6QoONFr%tK!Y)t zsm1JKGMU@JY+xQ%y7cJj)ws5*9_Tg-A6%*p>8q6H*FAUHe38PK(_3<;Oo3GA>Yu7Z zJVDC%yk=q>}Qs*m0U1rl;{6KbP8x#yYbj+dL@;<}w zbY~3=AKz+fC>ko6Nj?YT+;;R}UX_VwAe^75KHt%`NL}?;Z@bSoj^YV#yHGu?d0u|G z*Dlv=3Lpv@d~nu0D*YJJO^Rcx)En&Yv&pd`wy#!yx(1Gia+^Mjz2+QS9y{S(Qtj0& zIf$~9I2Z`bk97TB7FCdwTsFNQb3QlnbYMB)5G8pdjL zv383wo)E%K#(1$OE71Qxp_AlI<-dha?%13w?AW%^>4lml8Fy&*lN#;ELI0VkvJ_QY zd5@i--`2HP^y~MU_o4|dotT&#qW23|s;g}#xJ{+L`NOtn0NInX?&fMojJ-Tti$03> z7$7_-jj}Z|-sVjmVZxj0E$Y`m(@cjkJc#tn(UFDKf8?3=coLQMcm{|wNP2K%`a22( zTowPWvv&Nz$Jr4+J(=_-UAhN=cRuQSe}l$Tau4x|iqJLth2obeXt((L|I4xr%o(;$(KKv@d{0?PUE1 zz2fkXTpFCOf4S?d!7&eZw*TV1_iY=3rjZla}aW)qW6^vimd0aDQw!QW{%0 zD<)PO{`oMqXC948`|J!vru(ytvQC1dWge{(7-W&edD zA_A&NMi+Ex1z@A{F!}?Pj;{Brlolm;|8ceNdA|1BB*bxeMrEwE)P9w@EwwhwbwBz~ z`u@e^XBg~M&i^-$->^m;fGefRk(h`D*ba$u-lV+DVjvLgG!(h#4)=CKg{*2t!xUee za)z*nB)!zif?wLEEKT=ulbtjGW|IbZK(#D!>VL27)GW-1-)xSMG&7b<=5 zJh}d)lqgD8h;rb`H~UV!F%RVU5f9i(G2SsIDA#zN{MyEHUzdMm!WH&=w-U!d{GpoE z;!pNn%<@DG)6>D~yr8rv4|;U5*E0<4iA@2f+HYb!GgfN}N9IVPLBx^$c0>uG%7yfx zL2l`)KvnFeIKC5>fTXx^p5*dQ^auu#7M!SSL@&xAIwZh zKuh1vCdbrzdrOu|DVCwf_U=FYve>t|-!KI~9v}%O+yYc)p2@hv-e?VY6~<=zmz;I8 zmaoftP(S56z{Fq20;{CXMoPLM6t(&B?E&v)uzPz}icp2@zW zh7#y6oxULtr){+Hs(Cr`++_8fMgg;L+uZFOA+<9x z>q5JWe&am4Hov8Gtge|J@z2~fH|-Mxpr_a;uZ7|TOvLI-Tl6PAi}6dJ9TS`@o;()3 zVVLR;)1_Rz*HwpX(_eTZBngMf($udPXh0*aVvWj2rrGDUfvxc_9gB^iiTT$bmIxNh z^huARvRS<9YbQZ%cdd)sI}v`5$1%8{Gv8-$2b_t5_FlPzyp`d1ZiZqbTPgl)68bnk zje9cv$hp>gUoX4^VyeRSgV_uM%lC)$<&)f-h;z*Ul!Lx7OYktAasMWWdnR#%^-90| zGkB#b5xfqq=EmacV`#}RA5YdBTV((dM%}H!e-x}5o^-7eb#$bW9JY?+Z#i&=O$BczA!QuXhBXl;hOk?1e0|T&fd#4|g-4Lv6 zARq};7Sp_YdGZyxD14eYZ-wzkA9?~llwmn&QHRrn9L5)Xqt>Rl=v8k=DCwbqE=#F# z<79v^3*_qkwV69AvCrc0Rjr406fMrmQW%gah~a9@Q8VgIBm$Wpw2Yb|o%GZ+_0UBZ zx!W&QxT$V(kkAtu9NgY5-BUD;PwHeYGS_K1#+4B~tC1FYmZc*_3%R3QPRR0Jg6}$8 zX^WF+;gw|QgeS1VGZ}nN8yCwIf+AiD`FdHtF?y#gtv0CajolZHR>AQ#j|@~Ud7x|e z;fJ^cxo~o6S+fF8zoHaJ#D6Zj!OsL12sS;9W!-TAik@d`Crz~69X}1n(B23dSn;=b zX_Lz01iweRdfZx~HLWps(n+23bbCndRh8&LHmO&YKK{+zzyczC^w zzu`7JAzAgEsI?fsUnNRZ`&hDL38no>k{$dKw|>%NmXEY!2F!I;fJYN4GS5xa?cUTc zWhqvXhBg0vOcl16R=d+8L}91@N*0m+O_Wd~UHPZefzN-ffjQmkC_8FgROM*l+#vb7 zU8l-hK#PaU{V@-j2@!}r^z1$j7Y~ZP7-I0D5)?r$_IKnU-(fZIu-t8j)<1EDwRd=I zXj!w|U@c(^XpV`Vv(T8(!|&iL*#sgx)FoZVbI$Iz74Byd;VZUYdyIg zO}2xYmL_{3X+bHRY7igwLnGa|k(@tcjrODPSXHDZLIWB~p(WUrkEL<{6b?Jk&z}Z$OMK1{n0p~Wn%msB1Z%22g zXQI51ydLUiCg}#&yH*Tgs{vM7v|mEyJvbr^*!xQ-_iI@cA%WjYnf0cdCmhNf;^T^L zglA*>YUXcLotdzH!2v3=)vIdi&5`1T#IFSh>|7M7 zUjoX5XYKC+py>9nDmpVZq3Ip???pH2U%^<{Sbd8G5mnipC6V<#gq(42s0LwU$VzaiL~oOAHg@FM00bO6ajn!IgV%mp1nAhv7J zM{&$HsrdxqTMC&om_fYnL7#D&{FB%QsiAcETM`yNMJPP$9nNn?=O+B6#q=~D{9$zV zzJtziA$e~VHL&@;T)jk69G7Ie;uU*hK1c2>}ROva-q$6gKW>>B;*W| z_=vLy(q!LGu1L;m$BS*9JquxcT_*D)SdIq+NK{ueA|LRSGsdn)r{j3iPFZ)u_aBO3 zC|(**?9OHx_1O{CdW!J-n@_!BN^houV9=*I-WRjuD&9{_=-zr!7H?KEwm5((iEvH1UQkUPzC9~I=Ad)%zizng-V>a{Pj6E8T1$KAeZEe;W0 z5m={lSM9;egpVZ;&HYXa4MUTeF@kl!ta8_%Rt`PM_fhIB@cJ=K@q5K!8CIOvS>mb! zNxXI9S%<@C419Mo`wdNzw`PS!dG@_4Klb}oGL)LE(01L{Q(LO6^oN^v^=pGH76a>y ziIJV8^JGNL0}>v1huX$5qvJIKE=ObMr**loQZ11mam!scls~;-`<CxQxX|#RqhY1N$|8YnOnyql=YeWRaCQI}yufBF+Wd)L9tf zNlIn;adC-STYGDc4NVu<*Yai{P9TkKlDnBpxT; zTH2?xLziz-?#B}IX;G_#g8!2<76z=LVqV3cLi<#j7Y`=Vy~W+-qog~^EG)NY%USUq zeE)4=>6O-UB1kJmS()Z1L%`pz4{uLOy%{Yl8Yp!*=qFomJdV~z3%8q~koy&TNOF`M z97IQI;_MzJ)Bf7%-;_lw9FeC5Y)){OX^$kb14rUfpIjD@39fCOSm%KMaI5f@`rRLF z^rJz$@A1@mh^^EqZ!+$C`$QEqIQ;eAin12_RT6;q3x%9+eth*xSX05jMdteLxdaKj<%zr7AB>aC|xkLU53&Bz96F@G%lTU@@^#v%7OS9b6< z6f3{h{k0}j`gDuCA2sI17aEwrmW*bpTBg_wkChVe)fr8ch@Bq1BLrGm1D4*kCRL#T zw*vEFQ!2b|iW&!2gdM=v_|GC5MT-CLA{tea&JAWz4b683=av6bLPKJ%;=0!-xxwV_ z0XqqB@U`AZ8_Wp{Y95VmJMaNzxVfaGvgy2D9cd|AC1kF}oh+6_X9P7%5QzPP;#x;( z$U1wD4kf;Z66(@D=rL#?0YMQ!McW^8J62u4|G8KX$;PEafY|?8tbgfijXnQ=7wb1B zovyJ2aP_}$xcMJXOS-tv(56#6+&1vQcX2?yMuFu&GVOF8aOj4s^?i>@B2f76IaUMV z|Bz!yNZDLC9)kN#!#Md#97Q*I0dV~HyW%5$YDDL zxhaj7-)FtEdXmwMsvXeDDIisAzatmaSVOOX@5Ld}{yfPH;acDcYPgWmSCn#vEV0Uj z{LfV_QFk6Rx7Q;fv{;CpcWErv!;w1@tuzqtTq(^byrX;Ss|ic)Iz$ve2l z9LxWXG;ncFgTC@LnXHdFrk^1)JFm0jaI1!TKKtMeJm+i=rS#lBb+ z-(rp{%WKH!(j5_=KJ_VyH!VIw`||Y0e#yn;duf)ok<=#Kz0I5J;!ll2wCGkKnGI+!B)6Z&yDh3y;QC-hFYXX*j4;~cnCPW1QA!-rGA2B#!@#G7yYPMa5Zb_!+={itc|Q&%)lpTg17u{&aXG^ ztaEzTIQowaP0(71AW;u&djrajZ`;W`7M>6XPQk+9>Ep6HrJcsQ7LT-8QLQlsAe|3U zDrk@}@gRDD(E(umXK!21DvJ?*(A*s!!%+lyzT}D@NHT*|V8--VNWUrzqzXddZ!(g4 zDbdK{6hPZDv{L%^8U;9#PNmG$71~Ar> zXBGd~@eBTci;J+a{3R|T3avak+g$AqNl57~p8QSVL+WhA;12u4;F*B6&?4;oR*z?~ zl@+$AZGI`!$r$)L=S+K|E4}Dd4g$d}r~TmBY_jJ8--IJ;uB@Fj4$axO+`?NW4Z1_& zjg&jg9k(og1Hnbn;MPKC{k|aWE8u#@6z0wwCSw7Ha`?MHI1DQG%gwUF`T3fPTE(p8 zVVlRB=sN1y-WCitoMs6}USGN(;Obo$7#?zahN`@i%@xjmg_%l*o3t9@3-4`3Dgutg zfg;Kz@!|o7A${jo+HATY zMZnvX+-mJBamwD&+@K9VVF9X=7}dQ`eZLyMy;zP>Zks`og{;KjNay^{6QDxnM>7i0 zAE_@my-wJWC>kdL!?3+ia4@ZidtRmF@w$=bkshfEVhMYiQh4&I*#pb;Ix%i<%nDzR z*dxIpUESyI7X+~VP}dp=7Nxa5{4!5rJ{iQtKo`K%D>`L8^N#SkEBN9ps5|6|&&A(< zJb-}_B*;kb%YQp!m3oW57Bj7b{OuB=8U^jEETe|pCKY*pjYE#U%%yT+2j{O8bd(Jj zW(>HQuViPO03mBT6+0pR7r8IOA&C_BbyRjvnCcoaZJq#VPC_|36W6PbHD@hB z#rjN&7;Ntqih8EmWso8}`cs&|95|S3c2W>?6<2p3$+PLq>|q0N?dig}h0PcR;L#CZ z0I(+PXtv@Rd!kULzaAd7sn8sF#yc%!Yb5G;+UO3py{rO3LCQN|N1L~Avh*+8pHN?& z5l@arD*SNuK4HM7w8w16R?H#2{mzTp5E~mgdI6}nfWC10?Oq05{M<86C38KVwtG9f za2Ed5*P)Trsxa}s+_7&Utuvy};m2ya)1eDahehbDw;nL=$R*1?!(9}pzvub$v0*LA zFIRNiMl|OH^YVb)5FMm7JB|`o`EZH0t9NXh@EIhE&4@Tpncqy;MXYnLyG)r`Eap%V z%@_9uG~KrF%hUUIYho&jWDE(cah;c7QLLuRYAkRvI(M`i0fqvLNrKUUt^74bom#{*q-u7IyBzVtE&OpQHW;+bYF0GN! z2zQDv>eV^6BMIx`Y?olP?U&5M{J$(MMnm+rjHZvB&cyX8v8U@{hGSe z01q%Nr!=V_q;eFT}y60U&Sc|*e5?m@Dc$rz^XO+60@>QQp^#RZJ8r}%+6{zSn| zH4$7MoqE(*@e=pN*~OH}zZrRZNAwRv$iadv36Id^EP!n#32ef?(E?)1b_&`{Dg@5Ty_2>BssYXYU2oqdPq>b!*gO zEY&!BNqWIl>jBuB=Ojuxsw7&pfvl`l#*fGwr%#CRQU4ERZy6TXvUQD;5Fog_1-Ibt zAwhyeg1bwQ#vM99f=h6R;O_43?rx1cjXSr=K6}6KIrsa{eQy8aVf9+8x@xXfqvja1 z28rxM0QmjWVv6La>_UN((kna#68VG;cyf%dLCp)q?)3&PC7t2 z&+X?)J&&wX&8`r~V3%G;qTI{65S?bGja1-cls>Pf+U@YHNAra{*CB5QO>I!r91i+i zzIj&6UHskGi8+8X1(VLtL|CvBmt@lQ?~DBo^Hglh_gwQr8#*Ovicai?z08y_Be|Nj zu|x90-&4xJOO)s;9OQ5mpBG|Gg1_8d91Mm6m2W}qB9tamaHJJ#=Q>Y!wD>>7p z1;6=h_#LAcbb71^Db^^|HW1|kdb6X~uF~dzxnnNN38NqNTKU5oJ2-Rrdm_(!g?z_J zbs%6+i)!pSi>al1H2W|`YWPg9qkVx%Kwr$aD%tvDpjJ6qdk_7Y3^44TCg6;Fr^Oq; zt_m@LJF&l-`=G}zoP%Sl-`F|^21;7e?Rkd%Xtk-KNt)(&j(y{T5J7ybuQmEra{d%O z>e>X&hGg`1XJufw@G&Hz^;gw|wrJqmVVKqJ>AmSqAFkw%wJ+Yn!K(`PG(E2zbzi5c zqNV)>3lpXdVcjPmOjPZW)^G;(9-!BX*4geTr9F_bb3Wks;c?SJNAg&!RySE@cv{X{)2UDuvt1yD0TRHS_n)nsZqB1!dF>Mes4CarO z_cF=9REwrz(boV69ZAXdV@I<#MRD4ZtiHA#!f)F%+gd$U^sY|1*oPbF)?06%m?3rG zt2nKh7$!x;xvzTALR=?HKWZoElV|NvG_MlA`^p`SQrFlp3LiaZdJwLr&I|Aj{%+G$ zVl!w>pp@H+WN5S#@50TBsh3usOSnO2xFSUgX9sGDhEMw2%z%e)dDt=eH=U-cmI@Xv z?!U~(CnJbrI_CWBW}2ZX&Hi2R2@g^RtJSD}bF%lozueoAQiC}D+zfRDAQ-3ZE-m&x zsG~-VUA?CI?RUUxg8XP9>H1*_ct}#{d#HHsU};XJGhKM=1N^}w)Z*uHJ{I>O#|s&? zfd_~CHCuJzm~>C%vkFA%ut7JkbVQ*0p+H0TFa>92Mq#K_l7+vW#10aU09)MARx1#T zSl$RrF}o$xia%iWpj5w%^xGrHg5xs-Jj|f$-A`1tBWN{=pj`GzIF*Wn{Sp8AxYAV8 z;RZg9z0ZM%A6F&rz;kWIA#V22KetfrX&=QV$FKMQkHGzue(=CD#yoK@H*Zf@g zP?~d*ksXOn^!E(!@B2!lOxmrvo=!BCEEP&OGcYj&3XZFOXjofv!#2AS5__d~vy;wv z0Y@;IHdfG`?bLmu;xS1L96)bVbt*~^hhqpvb?-v;#yE*>CEV&vm)<#rxkVvU(da5F zV=eYn42IAut%ixadts9=UT4Wadp%^j3nU18j#zXG>30KeV^$sfw%n_6j@~L~9>O_J zt@s_PlFgRypX)!cCH0bM1*janTcPBx_5l>r4~PiP3~o?iTdX=lVO(a&GNu_t(ZIUq0{~WDI)x9KEinkS4|j z!Ztb`=UAIz3%(cfAyQrUDikIaLOGP#{4iXg2_4wP@hFoMjyG~N2*++^G0z-SrlZ?2 zqx=5qF*bzz_zP^v&_-jH(p64&IX~4;#{>EnLHw>@Jm4>`@MRqnIS zioFocE8!Yt_5eb=dhgdLSx;f^y6Dul)r)BhVJn6b_SH4f+&ywes!2dLuRg=2h7Cm_ z0gjFWH0RsTB+sVqTuqlq%+_|c({r{Vu4eocG@hSMef(V=wNx>l0hFW9zmzMTI2O(e z?PrQJcRf3#R)~aRsQ3{JWPK6jTT5N}KTh-9ix5}WzPeY=D>z_w5+TsUu(;)@nc4Dt zdL%@kKl)c9M{Oq*vmr5s3a` z&qVWdL72}tx|N)#HSdmjvEZHBGSl;X+#jvHWy*!p0FHlu0dpw24)BxshF&Y=&2g|MxH;%LGcTF)PkumIa9*k#m z!!N8cT0<>wCyUd(AVf@cd(@k^rJ4E$lv+|xo?HR#;I4oUbc6NJ51L%g7-aDHzZauE z#fARlT3f5KZv?Hd`tPNc8kWLLrY6bu0)^W)G8^=C9LRV{L)NRmcx#3(C~9Q#w&FnS z@gjlXRXhP|AC;5VUK$23iq?_V+HWgizpj^P??slYYeU=)RnrS?J5gKoXc7NbnXovnr}H$usI1h*Z=CP*N{U{u=M34A1Stu`M2xaGAl&; zMgI_2bKZJmC;cxjYvEKF3zHiiZxC96L3@Lk&&lsS3|P6a-+-SSWeE9$bty(o*X9=M z*Jte2AMO@9p?c5xvAgLU#+-odX>5}(OWQ4h`Z8WCM9hs<<;I{KsNKTALo6jlY zdW@dmd(*Xv<;XH8td3wKHxB>qiEBW37Gc)0Nq?kN^2{{cesq9I%TW_(P5MasG=3t1 z(p#G?_ zU9vYK>WqDHP&?1+!*tab0QDqKOE;J&+D7KIKx;Yr-joF`Y?hQ^9G+5??%~T>zH_aa z2!{>=J<)MVkeG@%mlF+K`-R{kUA+nIuv~`p{pZ*Cd%&7DSY_rE-`vTX&On~LwK}!i zEUV>@Uu^hGhXkVfef`;Owpes@3GW8!P!_X|y>pZkEAccQk(>Z>9qwP{t)F|H54G!v zbq5i5-IvX24@AF&>YI)$mGch-|dPaqZ?S^&B%c-yq;P=`$wRlGh@fqrk9oAM2|lo`%#}5<#@C=@vv9 z3FfU2Deo7S%XYZq!3?@GUO%YpM?w3G$D3DhH0Rg+vFx|~xax^IxZ!~Zb!jR&?RO&3 z)wShX+yx4zykKR7$NO52?0LH6i2)P9Hw~CUn8i79R=@P$1&Tb$a6p1sh}qv#9u);a zP|ho^f=*u(XceeQj#q^23O}|&IrksiPmxo=s{SdDB?+;Y&|wYd4j%xUwgz8#B? zhiyz<0m(XE^VfxE37WfDG%U86c*!tsr;l)Ne2eW}cs}|)^jKK!50RMWmq2oDO`Rt)BqF>oPD-4~~^XBDVZj$D@&x0zzL)}jRsisxWnGF}sdRIxC z;O+-yHz8|{YG-E&`Gn3y0_IO<6^8Q$PD^8Pm`93sRh2= zN;6F+ze*VG=keefu|P|C{*Gz!LugAiCn$x}s=c1>INkP`I9<`W894-}Qp4_KVEIK- z+FYVz7WV@+e~Zp=i;f`v&1cp$=6PA$%CL)lpit^j@C~>&kywHsAXvzigw%Ks56j~PPzlCS4=HZV5~ z&qs7=g|^7Um>&}NTI15XcWL%=f$YPqkiwX75c%}r$`sYmiXQ9#H^-o%6(8hf(vGUA z#cv>xvhkh`qjfWTb~{2VSUaI{8+`GV%NK5`uMeKl=C)FD{sv}LNZ3ErKXv-<*0|@* ziVf;cnzLZHvD>SB3*n8UaM_+vftJMAS7+T8?7OVSv=p!oMflPp8mK(0j6`S z{^u^Fa0Rb>X3UrP?U>9}koQfE%k0h+W`^W`JBEl|wLIQ53Xd>OaRrn@2Vpt^JF?dA z=OR3QFuT2Oque@Ac;EU>z*&&%*YbvG8B?Q^Zb14aZjz^NQZqQmZVlF+Pn`%hCMe+uCQ&eahU(8N~JN`$P{EPeiGn?(bi=eYJ_ zPv)%Wud~0gO)D)fKkB623UWT}F5IhMbch=GuMS>b3w9uPyQ@8Si$0w+r_BMZw=d6g zPNxigB?)e+H*)Eb8ZYI?y{L9(6jYz4Oe-8|eo%tjEDY68mAInLMpj zukn-ASX{rVT`8B}nfI=Db14a%{l1#0yHhsASg^hI^;N+|F+Myx`mD?2M>U;=qy9wX zA%Z#ihKh_V9iBuGwPeo4p}Xh(g8%61+{)KE2-nb6{(tUe`TEcc zNlx9|=6nT%(XEm3PxX5bDw|%{1oAC)(NzRm=LBYfl4L*L3Y#9V^VEKNPrqjAMWA{q zh-f$noOi(ryNKRiyrq+0zGi5)KJJXMT3pk&AO5;d0BuNff_&1;v8qV?5q_MOXN0)j z9Z~#yLeG+-Z+uNPtH-fJ1F~n_PDwaF&*%^n`NL>70V>s*u z%sxjD=JF(xe`TW4Lz!jn@5Ut;0TOZp`OVUus$MBs19y@6Mm*QWqCeNn%QvLY7jx_e z+3~kK=@BNx{{Z8p)zrG4xk-A{BoZ(CIlebo!T9lfI1% z47g^!w}O~9hqN$A;JnPzlz1&kRXhqWJ)=R>_UY*Q{4|flPxu!5UMjRjvs?XU8mBI~ zcPjs{F_u`14+4+vkz? zyA@}T5&?|Zq}0CYyK90!4IocWG(-DC-`ax+|Dk*TgT5tz`J22A)7z3A-s{-_6FqD= zrIWU|DET8^r+e1h5_P9xWviPq?XE;@JKkx@i8=F*@Bi_w0O8qT`BRe{xtSip(bv9EVTt&$>zUYjTuoQa<-ZMNR&U>Dloyz>B<@(59=qcw$ z9>xqGJQ8j97v{#y^np(aq9DlS$B>;=U}1&+`6dXl+~~}-Q!!bzE}7@@t(J0^TF|*s zNsA>Kcdc-QT5tP#+`}XuiDo5kp~_Z|J@^wdTS@NlenL2Sdxx-(r^8Fn^7eb~>K%UR z5sjfURrMEbQPFxEUJ6@fyqzS=q-!ix&y5dOuJ{xr%@2L_(|zjhLYooZbQkzSK3-8z z;kz`XpjJWz-m~zmk4c0i1{cVTYV7B{I`Rv$QmGzekQY;c&0Bf2(gs`cp7k-A5IwZ! z3K3~RSZ5;+JeW5@KELa1T?}js6}0feev3>={Vy_=IBRS_jfl2vnD(`iAHyf>u=wZcw+O~vpdlClj{jT8+1+h#O+E&uZ zJqOOq=WKW$J026yhsRvYZmB*;9II~BVJ`g61`flWtClq{!K+++COW2d(1spZ71U5` zk@09*i%@xqIUf3->;3gU+d*Qg9yf?=Z{IK=c4KjxtaJT?q7s&vNP8QH3|4msf(t8>`t*yp zOr8v$ILOM90yV7^ZxA*+NN}P3_3L&JTRv_Lc2|#g0lnUUnuq7V7{p(~9h{4e(eRZf zW%Uk+Sv)rUL}o!@5?@~t*RuQcMSe9V=)U=8zfy&gY#Zde8dqd2pMC9F?$GRrcm4Dz zz}F@5JMrh?BBYQsx2YSn2_je(;9(*fd;mA2z(lLeeC)Y!PYD$tF4UzcfUf;2k#EIU zXJz=tM|M77@5gMdX8%U^6Jr?lAi3#w%W z{~i~-pOH4EU_N~-cSl9k5=vl?Eq{41NavqAuQmMjT1WfrnxZezxd(#~UL9XO=Aq={ zMfWGyvt#zTyOqL_#k#cLxs14%gdG83uPda)fo%d44Lr^5^TWy2Oa^-RW6 za4KB*^J7J>m7N$`-xO^T&JoL}K4*|)oj$AocA}Jqd--J<-nv&=E;bD*bM1$B_>Nzb zcdb!_)J0ho#6DmhA3-*vvIHO;M1F+|jS6psY4mxwa`x1>m`076o|o)0!*Xn$(iLL7 z`pe|i9M+C03CRzC1>t|C_7A%XtG=zK_9ZJ1CEXJzA$@1Gl$6w$<&Sxcscrb;bcLc) zy70=(VSkFW1G`IgQfDJ>Uf^o&W0eLRn7Te6TYxFALMv1*PFL3SP#7IWtQRZT>O zquy2g!EQoX^z9zDI9Ls5mkK~sq7bu1zsrP+qAX%t{nym4-E-wrVLZ>}pWFU2$&ec% z<90Ei5Gf9i)Ai_TolgZUC}@{M08<(9oVZCgH_G}-iRA2PA32pE;uwoOiUFZ|)*%EQ zVBaH*+Lq5N#nDyg`Y%znNN!CIgZAfDK0#Ch)c{bY5tSvo!qb2in)me&+RqN zVe%+p23;MR2 z(1rKI`Gn4rm!w6ay8}z*9FIFWrqJiC$f{#ERV()cTAG#yJ8Utr6Sg1f!N&}jpRi?z z$;uPyj-0Sfa|i5-p*_wA%rGdFl$;qxS|7bgNMd?UX<7|*^R+epg-?+0SrlFbPXz>P zgi4=+&Ag?#;c-mRi+Z(O7W*=JxJy@R5tR)~b@M*b&7xo_8qrdUiv9kjZQEzIQ)a#* zZJ7x7dp!^^IA1F?P}c%o2TJn4wFGVifC?=D+FM+GD_P0pZL(W(n2*%Q#kW|d79)qYWD(SJ-R`%>oh1m?)L~jLqcCjLThV=3 zm(H9?O1Jh1Z~}$$M36L}Y!<`=@Z48t5UAk}{z+oYUQy{}=l=s4&s(i-WeZB{Sy46YVFFR;kDit(`F#= zi7K!6WnX-jhfvg(YUoZ$FKmVT1JaCf9LkW@l_wZuv>H$RIZ1+@btd#1c2rE0pE_o4 z8F_1tcbeQzQZM*o3q5};LB^-})*Q$m{OnYpJGdwq~0$*TFTwKn~doWFQ zpoiJz>Xz5?B4%|#q!7`c?dr-Yim_9LWI>Kk(;}v z74M&gGEUjr3r18g+|v28OdiF3zjpq-(wSeqEQ^^gN;(REha==>LfiSoto2HO$YX&m zCfuoNJ9fu}^?5^53zIpx^X28a{*D6dm{C4^VwQ#O{>4--fT^Cj`q7B;#0Y3x>~|Sx zX^(IOB7*x0u#8%oD$c^@Xb+dl{Ea!eO}WsONHo_He3(gV{DK|KXfe8G17DWmFF1TW znseQOfN;@z=$bUN+3PQ;pZ_g`0*nxplMYp5Ja%JXod1{NGLK*OB4x)qc|4R?TWtR? zQRTiICS-5wKc|7_DF60)mxZ|De&kRtVaGq+&h>a2`P?8ecy|E#R#!RYzbh6^>T8YZ z%~DnBma(zSu@#cz{F}_R0|*rU2BpMX%vl(a6Ghe6;X%sWBYiwXiGk=y8T|AMeLV=9 zAoeFBRwX5F6nV-ZbWxno=ox-Nv#hrzgb6|3itWT@e{0heys}n0&Wu6lFbA1AFRguB z$?~F2W5Ce{uQT^`Pi@e{gW9<~2fsJDLeW68AQcK%Whgmhs*4n2}cQ>fME`Z>1Y{O=zX65ZYu^d#C~5HoFC~f9?wYuq(OvetSKAIh5fhdCZf(qHB-1)O zuSTCZyF6|T?Eu zY>LUVmBj410z-|iiplftSg3+Lu|=D3F3h)UpDSicP&a6t*qk8cF6>ho67#6zwtO~;hDW~nPh&HK$wYiX!I zZX{dNq%%v>K<%1BHUpAi%09czp*BwoHC=kp=0v#*WjuGi+B+G?j)8bA;<@y!FPb&T zIJ~U(!%UD*D`*Idpu|6jjc3?)i>AA>pTg10AiQPn4m`g49WV9^M7+#2mUfg2m62=Ckq?0LJbH)E?2x*ycN<>YhJ#>K`UO9SDd zzqC@!jWE4q;6L4IeZ)Ups86c#7H%l{KMMtxq5kh|y*E-ZF_)_*&iP7gg>dzi#~?qz zOVhTq5IyYNWDeIDKP5RE3@tcR0^#& z6_b-xPZobl?W+#D&Ess>pyHoT*x3y_&_s1WXN%7t5pfN>2g;s9aR`8|c<*N<@MoQ& zR6WjF(vFxHaX%I4QekRdo{OKaXBC>O>>W(WI1S^E{7T@b1)dP3ZW!pfTpQjkn=6YWSP}I#~<)zUgb+>w>+T#%{8=xs*1H?I}8|;c7BV$?pMfLP} zF~5#}Sh}`fdLVBj#`1rm6+T9pm&mxJeJ|3KQLiXHQ~8wxxlECmgoCi`b$kwdJf0V6 zSf5E91(uHpCI>1?Ehc}w^3Lrk$jtb^vQ8HLS;|RzTHMwo9#mE-lj>EBxSjJpCC|HJ z2N|L@xzlWMgA3gqvox8G;d+apYM`9ua%(Ki`K(`VpfPQiBVXFr@JU4lNi#xkkmYcK zAQR=pn?@JrR?9gt{e;mdkGhu^U}k9KuU|GlR!+Rp(h3E6B_=%D zBpkBsHAqDtUcJ&)M4k=0UJDA9P_-P&@Vt2lJ<8_%(rR;Km~z7zzA_B-D*hI&mF+q! z^s;KiO`iCxeq!)OZ-L0`^SwQ%>&1+g%QefL?syEQ;c}h|t9rkM+RYV~&{F)Q=tpfh z+>nIPAA=P1S{^+M_vo3h&BL*0{?d-=`P4b^i6sUw(6U+0FR%Z+&v-sJeq(dK3jfS) zY}2wYBLFEg_{SnX5$~la;pO`f1Y&~*FkB4fP0{^(<`c(EnJf5hMu4EF2^-3c69cJ# zcsadcQgpTd_@&H1RW;(D|NUo`!OOFTN%7BoDT8MZ;^dGQV5-H0A$?ks2`QkKp|?(E z1@D?Lb^p|Hg=wOd$UJYWb*-M|>sjLbsT<-~BJcWt*XVo9{f9=Mzbf*%{4DNt(~22v zpK0Oz$#xtJ@VsFtOn4radqCDEhO|Ay`zK9+>M{?-hK(7uI7`5B-Z3tgk~2Gz)b|hN zZ%#pY3T1xkrA*}6LqrC_$tf^%YFW%_9Y2U6{%=)HH#*1srRnqwpXsdmuJ)yMD{c&K z{2vr>#L;`9_{+kF3sox0 zBO@FE`{G_QFbceTS^OV-ZgNDz+ljG#HTaxreewK!juluQb&x(W*+F`>gZY2Y#!8J6 z#LJkWCa&OHV+Sdv&M#)m=dX@ib`a!(D|vp^MdOz?4F_Ea--kKvzsqU1qa&ng4fk>s zc5@2p9$M;fuGBHyubBFhk4ry1x<9=3ihH8@t3V=mO4f<6{vE$=c_*aKSv4?YlJlD7 zG$)wn=m#EAi{%%t_xdwaybm6~_rDK~=L?rM+ab2kcj5~=<2ptnW7<6~C3{>xBAv`e zeKlZY!-!)!&y5w};Yn4$7U-h6|HhhJ{GaoBdB;py=iag(`~5AUxvkmNh}kw!@NP}_ zh&)z)x6_`gUMBq#8dAuV)*lSiZvW)FVj|rSKQT%;>_6(TIeG8TYC22GSkThCd%Rom zO5poZ?_0B76y(XcaK$*d&k#_?%J6=VL#2#o(+b;^JsE{ClZCVrT@V8|R7uqN$!pK~ zef$HGJ%#*MV&mOe-v;j?3HVjxK-c7dfe3yYjY1)5b7}F@>@H77lug5!59`gpdyD0I;2?UUcPr;m3)lUg z94`+<_o1#f>TcSNzq>l==X2^vBoU#SM8>o?Z}`>P!;JlWb*)mkB32D!Vt+-k7?j8T zh=-fb<6BebP*b_HSC$-n+FqO~&C;$9Tk>iraC728Gv4!tC7GrjU$%1>zlQ=ImHe(a z`v#dd^@?ZC5w&j?4R^*Ftx56|u$Mgxs_LC+ogGH>+9~YkNoZHm{t}3SJ};txuJ0`H z4*fNRL!FkNr9QUXrFyMHtK37)M1b~&F1%w7`J&HFjttfxKkEl{1;f7WM{ZL^6Mc5p&GgyNpuFY%s8`PtoHq3muXowfA@D&(}SwtvmlutUB?~IvniMcyfrcIhJfAqcZ zU9Zv?wR1~LU%IVj{~TaPA`_>;;ZU<~N3TGQr8J%*r^V>Tn)R%{$?WCB8`#phkp5rf zklX2xi$)JE;qQ8t>sH4`l4Mt6yPImW59NymSI}f}Szvzwvc47} zI{s#Q_Oc$+R}B|wf?m!ygga-o#Lj*tUTXPIn#lX(OFR&_J2{CN=8`#(Y^a)q5q!C- z#lmhLL^EM*D4jx8=HT@2`oufSG*V|l9}9gRPO8Xv-&tcfr@fJ!GeQygjY_9)f5qat4#aY z{VzFO(W-yq%RD0pJg21{aUoCM^3swI=AQdU7nkLQop)+o>J&w1x!AFEMP{g@A!nVS z9gjsq8<qp{%W|PBhe9^GROHb^NZ5rukjLRIHhD&7p5+ox)wv?LOXaa?+=FNDTcYya9Z!_D zy&t>Lc37v-@%nKtgx9-2^~#1w(TtDrKkYOB8^_kiaPjguzC;+Z&q_#VOB?ET*Q_q1 z=wyZ{%`ddh<7`}A>h`Ic0s;m?oi>G*M zYEB$Wl`v#nWQ8OOaD(r%K z6_?Z(DiC9FavYY*=FizW%R$63UvA0DZ@oLXD}mthoRs21A(tg_!e39nP1v(i8}kVD z|3`yFuxbXSX7ms%)6xj%d0Y=GVIV}Ux0PGAKI`DYnU{9myVrEq{YHHCp5Fchn&KW; zNGmpAoV5Vw@-EY@QSIi=sOlKqQnTr5G_d%7wnFb|Vd12f4`RsfUa3&p6uDSJZ)EQc zQxkqMd?49h+HYHP^9Yolcj#q-4I>P=nrFtU;YriHOO2wfUW$GVqv|l5p!#d>i5M`onoiZk-JCJI5o_rpNOB zx`^IDIY`D`Z81p2w8hkKTB=V@JK(@b_xCm=CmSD>+vfN}-6ck-h6_X< zi;z_0NCpz;;j6;R`&Md6f!DqDKPldV%KN1?x{9(W=EREeD7{VrE5iD3xI;Z6R~mc_ zj&>&fPqu|yXKXyvR$JHVX;P5tuc`e6<_Vk4NF`UBJLb%Vqa~Bzi(8|OZ|zTEWMwct zetv5nVT9mQTT8`1MY*RDaH^I94F-ldN1ZzWOMqzfU0~1W|4^em?7qCdUgup07Jm%5 z+x$P(-UdXL)d775b<*y2kHxEl#F_(6Ob7z+v6iq zXCm@x_7DHNKJ#PtXE|!g^^%$7zY24g%`z}GUkY>i=3fePzl{ESVXoZ9Ux?ZK@bYCH z1`&a%|65||fmLQ)o9B|kJ+S!?AkPD0bdgpn$u(VK3+Y}^k;*^gUh71UDcKi78V*^< z@oG3YTukaOU?=8MrS5L?2+COk(YN9pR@9;e~twy!s>a8=a=jZ z>10R%V8y-^erfp@V`GUyo*+Li40=XQVmLUj+zf9QS(Va1xjhI$1au^zdaY_nNNx~L zQ{hS|pjf`EAqW%nFJ;GoN7^Z1Ht)bRvV|YHavJ|3`;&ko2`WiAVXo6Da7#$~Wk@r? z`LoI}+X87&e`^7b^q5+FzFZ?0Ao|k~sAh%6q&d%h<66)82Q$df559)Kb_#9u!fD(V z?2Z2V6u$md$f)i$n$ct7ql={?*NXy#I423~<=4DL$GL3esKbWLL`|fK#PV5$+Jh7d zz2_AF!{EGfuB)|Jy8LS9IL!i^cK&>{?3%2lobU`Dt=C-MFMueSD(50(-@RLd3gV+3 zLG@QxBkI-v0Bfu$s?c87_KwykgY8)OgGhot9Q$jKkEK2uu9q))(z_q;q+hEiQl`k| z#_eky+j#*ge;r>$%6-w+j`3J6Rn;lYy05tzf-f>+Y%_V{63e1 zll`E@FQmt?jD#~&`@1TJM5+qyhpSIWa5<~wlyv=^@LrOJ@%vbBRlYq(6usPel#5W| zB&k8c=!_qf-V@)y#xz5bLp~M81;4s9BSBIKnBTC|B2{J-3yK!676-W4b^I*7aPCQ) zP=}-O-plG`3o^FW@bU&ya|@wEKKLmbVTWZzPQ1q$B?87w)>Ffn=giw9TN*03kfY{r zq(IJUbPOl=D5ipm6U_$rg@_B$?;!V^ppEW2X&cZER-fXWR($E1zSwVTVXK#rtl7#2 zCgj`*abrF{J_43W4!qfJD6Y`_R;~KKkIeku;vf^T=T9xC^ktxnIVetT{O3^H7RSpE zBIl>30{{5~SzPjEv;#i-<{QX11t(e2V8Y@_Mb8$Kk=TFAZHG6FL{6V*P5ex?@#pK9 zDk(88G?Zqkvhl2xiX7fx^#_(VmAinLw&0hmSVquOf?>HQgG{BO?;G#@PEnvc`wejT=ePKEDoM3aM2AXh98=TX!T{d1=16iXm?T>>=` zMx>OmB2@?9D;=ItnHAqBYlE2Cmv01Esvt+Xkj~nd$5clL`yOytQKQGaNsd){Xro~2 zu11u2xl5MF^l2FloZ)+}KtJa!$;?YagHX*zg_lF31Zv1pH}M>=HellQ(T!}7vhr2d z|1^y{gMN#n2icaWa{c6g2QI6vIU4h-RJ?rvJvz@T>m2-999m_E{iwg%t3(#a%_G8~ z&-3ubtAv=eEXEoZ@jz2y!HhWD`^UQ>^i8dIWTAJo*l-H=1TXOv5tu)qFE43J^%K52 zsCF(d+-|D&s22O>(7ecW8MV%zMiz+tJ*0{l%rB!hp+~?ISgWQv+NggZ_$M&Um2xsO zGheaG`r2wE=}pGp4aWR^#7KD$Q`i09;-}Z6xtHeULZL<8gXVwk;Upsk%4RY$IqoEb zI}wRW*#B(w-eh5=X=6<=K`8%ZmDeQ!%9#y726=Xf6)>3Bj)vjFTN9Jy_+orJ2u#OU zELXte0Q+U+IPg!yD+<-c#z7nwM!@SAK7Y>Q2Av&?YVfHRM|3&i&FgnzB|8JKLTc0 zRN;PjBE8vX+&Rrz)oHU`eWDmIlW#cm+*j6en=?$lPiMHXZ{qZpq3%pJWZp`QQUzBV zKKa6BmiO=;-n9?bpGDVaJ}8I_c}AY^IrTUELvP?LLiusv^5{5*IJo?b{b8vdz#zp$3Y->f(x>7eDi95 za+81W^V12o03VuuIo6C5z!<}{uXRI7$W<*?g6Wo0x7iun(E2&lz~H?t5#Twh=}Dq) zeWFo~?JziE;{2mf#J< zTtW|jxEn5GFkpQ_H#DjZItyJ9!M5qq`L;YJM&R)t&eb3UAg;fM`Jhkty|V`0!TZukWgT+v1JQ8bG!C?1WfiEG4{)7nVGo45AZ6h$!V%7fbJo0nR z&-=PvKMPkkGdUxVkE^|$BvXqG{MdG*LtnZ9y;~cim_H)aKVzG zO9rr^6mlv5MU=-)G*B}@RI$iUDTY7zrITO;O zfs6k6=^K)^*gyuR)RV~QyMRmT)PR7)?*(7vqQo&Z11lw6Z69KB2>2k%^BZ)o)}~VnnPqdrEo(0)Jp-&h zMyr9$lI;?6d|g)?frHG<&j_`fD}529eBSmWC+l1CkMVJS&2?u@M`O!%PeH()o)rNA z-!^;l<^1Sm^G(!)8Tiio*t+*DyEIj1khF9wNmcNZ{#_F9)yDbF-B7%|$1RX+>WJ{n z-y<@3=Mj7KdDE@saz|My(P{e^kpCy*2(#_BDZqG74R!lyVBC~suw)RhQ7N33^~MVk zgm@*G!0dHLYV&M^xvG6Cu$2JV=`%!mr*}ISCqFw;jgupr#+A`#Jg5$P2m3jN=$0CK zD|FR(b`n+<@_3BP?CHx>_pK)eNM(y(7E!k$R>m9sGHY^Iao0-eF-4Siu>@nZ8DFcP z^oB)t<^B}5nI6TRG$L}Ef0hw?XfUn2QoXJefGNYep9zuapg~Ks)fO<6j0((pX0;XY z;tlO@8X|taCOAGSZ!>%^bFKHZv(mq)>x{@;jAw^xcr&OydtPV?_v&WYvDS7Medlx= zdLg0Jg%c;P9teEnj(fcEaPkz=I|v2T4{U_vPPr#RIjRd^YcLTd-UqDvELrl zHhDYjmAaGwZ)S%y#ADkbXrxbx8Z4wk-6npJrz}|*Wln_&tLJIiWHMB{UML9J{x7&u zePSNDjCH;MFjT z(w{u2-E`40c&O!iDbb$pX~JJ~P8HkCHN;kTXslAsT$;50ap%r~FU`cE{S6@#L2c#m zE;UXX*=(}!3e!xJlc)4714CeZwK4ZnS6wOe&Lz=#O5x2ep~^CMvT+qxz2>3obFXqVhQ7_O3_&j8{t!;z)N&0lsfZNy< zHbGBnl>-YMJ)i&UMbh{htSpatpp;VM;Y3d}*6ihs$CBu@y9Xv`#Qnm+JKyqjiq#+b zM>p_>XKc>E`;R1$m7&vP6FwvQa>HJFHC?~1_4d-qL!x6RQv^$y+b6E07H?;giS{;V zT)W{?+_U|R=2mI+L0Ul+xJOGLQ!OI zVNiCmFDaVFS{P)PeK%y^l8T{_eOEGMUmIh~K4Xye4rAZf#8|TPp3zhH^St-_ynoK; zGv~~;{I2iyU9NMcBfjvYytdoS$Ct7(O0SRmvDqjZz4=1uxxwm)y6$E9wWt(*K+ z$F|w5LXlcD?ao?Np2^vh)hKgAi>LV3+QTi8%T_Gy_>(dLN5;tPwDDGoHJtV6P-jKm zkUi3}wQmkO6zkL`W+{ZchmaZG=>WJltmEgUzAMTB$P%p>^#&DUfq6STlJ5;KEPIm0I?eUg27lJRecs;}(HQN;~aZsUBHD`XY_((+j#O^vieNX7e zD*pAy@#bTh=D;JEJv-y{Z}M3L0=B-6wScP&fHdapBFw8 z(YreQqOY~%Wg;q4uVY=S&HP8u=I-b??)vQ_5sBkA5~7ELV~q?8Cp$>?Wzp=HoRucs z#WW|h>{4sm#>ai1Wsn|QcZ|5&L>%=gzp6F1rB4+z`6Zeh*UNzYmsP%x#RI#!(-$|K zhF-}gMA{ko340OiEnekUSRrQN=9z|1LdAU zaRwst_(gs|^7<={`T!Aey~eZzqYmj}iC~Si{cF~5baX_B5#Zt(19_)~&YiC_hvxn) zB=~Y&x8WRTGw*6rJiHC*TxXg~3D8@@ zv1aq~f#J*xtfAI?5JU(fa-#X$L_IvD#%^zT+a{^}wwpekj{FX-J=X%a0fA4yh~9-f zUci?R8H*lsgr>1f6r`i|HZry zzwTo{g31&2WC`c}Fwyz9aj2sfQ6%0tf);U$p9~GrT78*vvF>J_V4igrg6R~)~!swY7 zj3e7VWEp=(eb|Hb+g&umV!}~Bvhux4OypyMR&3`q z=VE9&CNG#nKaTdAnOkp`NnbdV@+BrJI)32MEu}l*20#bEI)Ld54H-WF|Ldyl? z_SZW#FgyNlV1j7VP{{OIbIm^GAPJ}E*!KV@@yI+6scl8q#qJN%a;0F^3rJI_S5%xF zjVwhq!H4(dx>rx!*muS%kGt!{1H(uvKNEG%N-mnqPv%rkw7d%G&c$X&LAStL`GS>BpEKVY%m%&S;ub4f$&ia_<-lidvxFZ73*l1R7Z04VBH5?0PRfP_zt z-&xW{w-yLZiN=rF=MENXQ%ZMIK)ffd3A;^>0*(r}L7$in7HCY_aw(Viq5t=<$fBIL zD8ejeAwy(2k76nL&78<^E=M5_qu{DXSC9A(?L>%;6I(fg72{xbp82xsc*k!NH9x(N zcMleb6RO-aUVr7Rr>k<_r}Z@SV63f!FZ}R-*`Ck-!~0!GAbS)m7ktfFN^pOrBD;HP zGK4r?Xwqu^P2;x6OB^pxyyz{h@n<5+SB%LAgpDHz9>^V?evWak{&Q|>kDh=f!%6@; zZO}IRL9_=fg-xpcH*z>UYZs~Iw|zMS;n{m8pu%Ps+;3SwRn2~EMZ0EzSn+nA>))(z zpW?fJK1gm|HULljJQgZ1okDZ6ZaaMo!=QWPuxFy0oEBJ*dHH6vYg3k+iC(O&jk>zy z9UP^c4oMFt8MvXK%4{^+Qgg*TT6jqUuKF3n^JPD*c-U^A1uJs6dswbF$>_2(31k9Y z>4CK`*TzR6VTdv-ij?Ea(3@W>hSYFL3ZPG`DV~JITFrF)z(a_7NZHa0a*yeqzVQmP ze3HX&lQwpGM2xOF9qZP!G%-yHzOy+?(=}(m;}Lyke57lBzL>SKLddfkR4W?D#$JEC z_c(f%NiKxdw6&b_3Gt*P3)7RZd=t~D{&39UQm(q65X|ffM6$)*DD^$53Ahy~E7c?> z5S~JebjC_hk(th0yurO8dl+}?jvyL6@N8)fh0jA+pbHL=TXOxMTT}Ea1?ZU>;O4(TTJL> zs$u3UdEmV{$4H%n>xmT$!2Y>D`(k9t2kFTSVt9S%l}dTtEvdLv=tb z5afa;Z9NI#W;Zaep1VQt6LYNz<}`H;izh|pguA$W-TYH^UtRFW0Ug5r^4(>0etup+ zcS#e4OR`AGp|c=y@Q!-cay1waEUWAo+vL|7*r{sMn09)n<1Ks>h=oLq>6-eoMJp^_rbkOH^awMahxQse&zFS`T?()mCRbqbP*CTGo1a6t3ojFsS zn;sl#lid^~Sh_uKJli{(2~|Hl3P!hYXt>w4W!jiTNG)Eos+278nFSgCLHYQJtSrQx zSmnoRz}wvjYw~Y*dhnf>qd5nj&3Nc6OaKu?Jg~5$G%dk7()VI*Cr0~0(OAbUrFB1{Qw##7}`hn@EClw3k`;p zIgSxInH~$#6fC+`mh)N#)5VJNzpd9RzEOBlz=16tNWg?)oM&jGHQ8YW*o0qqu{5`5 zx&je5I3M$r?<$7%*lfn^!lGhU?zEuWPhP#F^B?(IYL<-&)1~QYHi^?1tr0r|yk4f0* z)A-VL#n(UBTX(cmhU6lC7s2H^Ze$O?eJMZ>0SN941zf4mM`&X$#(!jKqW_O+=Y&QOkDJZFZaw`M%H*o z&|ZvXdr!UxuFHvPJuMLp;(=BlyYN5fNFM#Q(4W~!mNmN$&7o9KfaQ#OEUwX6pD3MR z{{(nyK{4wRH+;ejQBb=kow{wKyc1?w!2ibN!Rd0}z7IL1E*SlssAQzY`id}b4!LAM zb{$KR>6NVmzNaj(?~^JR3?{KkCY!0g+K?^O9!Cf|EWmyLnJz)Q`3Qq79YMyQL%@wo zI3XT*h9bJ-qF0JEDfCzOxZxS1D+eVL0fS?QTgl;)t46@H{52ee3*FIXAZ{4|Zz0V@xgIIpfV=V!NlNtgnAR_wqLmD?;~j0|7gj$_W%1L;Z+laU?2~ z0aBnMmeA}*9vV$G^I{Yz6G5DFOs<}e*)3=;yz;Sp zoTk~3a<$q`Ug|D;TyCQTHAn9{45Ano4nq!7z2|3@_MH4#XsR^PR>m&iVAb+*$k<9bA@$nUX@|l;>DB_5>;9Ony)rk@NGc=R`z>ymUHm=qEiM$F|3nrdP z4c{okMkk4dIB4mOY>l1u!rATynKZ*F(gXy!lIqx<$3CX{iK&P&)1p@7^ZTt%t3d@? zzw!Z(-|WY8Yx2`$7NugMK|&z4QWTWNj8{E7PW9^Z?NWSlFV|Hl`~Qm{s3a_5y@$44 zgsM-=){b5{Bc9neA!4-=&PPX806ODhm(VbbQnm9})daETbkz^8eMlGP|Rkv1=i-n-(xiFG65eD8(c6vSk(0G2+g zs1iLR^HT=?z4|>75otO^Q9;{OzKK)Zbwrk?S91EX`E=8*XxGq{Y6%6(FA(QcYn1Xl617_qp_=+pp!uaK+f8H$_kilxA9VEu_;ZrgwjReA$Ia z8$u3>A19|;{2Wh-pa$aEciO7E`bewk3iWp%cb5wjlBPAWWv zkHSbYBe;O3aplvz;ERMNC(%;X{z^6pyybVqDFqh?_{+#B&nLn~H%1c3)Tak`%<7Md zYW9}yFt`oZNHKkG0Bjck#llfvzkW3-Lce-5p$Zy&kZsGPkl5^g?d|P1-`QuTt*oOR z)77J>O6C-hKhANe*v^&991q>|@sN5m6NyVmKUiC+qDW)8P57BUR9?B)>gS8|$=846 z2wx4Nz?T=kq`pi}CI;I0x1_Fe6**VL;GMUkM6Yz<`j-N^P|eq%Z#QY6!v6poM*~5^ zjc?r1e8n+7X|*A-MARDeg(`npiFPIW>)iS%apvqdSfN+8VpSk3d=U8+a+u$gRBlt6 z?`^rwZNL93$Flk1baQ%Wa_@DP;k5|&rT4)9F)&a;{(jFFN}YJ^8}t@3`O8 zrSSH9#n|{it_T}p_}^inuj0H^^q1Hl4?2w!VbCpD zbc@v6u#te8ODtAh>7@B4W)-izbjR#Z$68uMa?DmW{@R6-UZR-#wzQtT4cBPg0e(Ps z7;9Z_QGPwB=D6HrcKX*bg!>|Zx${lU?QLX624pgpd#9LH1V}O&Meithk1r8Zmt$s_ftHz!WB%R`bg5dq7?&dDi&KusU%ZF>Lo$hs1S?z`2{ve80 zFw~2v`FnHs>{jJg>11Drw<(UORE=@*d-ECOFJbkF!JE)aoSe2$xjQVyDhf}V8RV3i zrQ^=~pL7E@^6$r8CK|wo1Zo_r&6DQ-2OgBwYU=cSs(s)4gB*VhnL8MA@H6}cKQ&jF zjG;RJf&(2N2zHX1PeDVOV`+a5HuJjpbE;?&r5=lXxP4H?y=Vuu`k#Nm0K2}$?FbU@ z;|EeA;1G!)!9(SeHUxqFnPA{<tewBw`gHAOguY($;a!14M zv@I#}l70vBeRRgTtT{I2$M>S|+BRJO)^s}hqKSE1aEgvE@Dplyq<(n^Ui_i6a}4M2 z^NWKxsL2BQ2B3B`wu`^aB@1v?#1i4#H~v11^5^8jZ?%(nLX()}K0-8)l?9G%5kZvH K6^rhfzW5)(XMg$t literal 0 HcmV?d00001