From 203c08447f6c75589543875a0de30b6ebd1a2eb7 Mon Sep 17 00:00:00 2001 From: Craig Everett Date: Tue, 25 Feb 2025 15:58:55 +0900 Subject: [PATCH] Verup, new stdlib dir discovery procedure, remove oracles --- CHANGELOG.md | 7 +++++++ rebar.config | 25 ------------------------- rebar.lock | 30 ------------------------------ rebar3 | Bin 808730 -> 0 bytes src/so_aci.erl | 1 + src/so_ast.erl | 1 + src/so_ast_infer_types.erl | 1 + src/so_ast_to_fcode.erl | 1 + src/so_compiler.erl | 1 + src/so_errors.erl | 1 + src/so_fcode_to_fate.erl | 1 + src/so_parse_lib.erl | 1 + src/so_parser.erl | 1 + src/so_pretty.erl | 1 + src/so_scan.erl | 1 + src/so_scan_lib.erl | 1 + src/so_stdlib.erl | 1 + src/so_syntax.erl | 1 + src/so_syntax_utils.erl | 1 + src/so_utils.erl | 1 + src/so_vm_decode.erl | 1 + src/so_warnings.erl | 1 + src/sophia.app.src | 2 +- zomp.meta | 4 ++-- 24 files changed, 28 insertions(+), 58 deletions(-) delete mode 100644 rebar.config delete mode 100644 rebar.lock delete mode 100755 rebar3 diff --git a/CHANGELOG.md b/CHANGELOG.md index 8e35c60..9207476 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -11,6 +11,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Changed ### Removed +## [9.0.0] +### Changed +- The stdlib is now discovered relative to the location of the currently loaded Sophia modules. +### Removed +- Oracles + + ## [8.0.1] ### Changed - Upgrade aebytecode to v3.4.1 to fix C warnings diff --git a/rebar.config b/rebar.config deleted file mode 100644 index e2d02d9..0000000 --- a/rebar.config +++ /dev/null @@ -1,25 +0,0 @@ -%% -*- mode: erlang; indent-tabs-mode: nil -*- - -{erl_opts, [debug_info]}. - -{deps, [ {gmbytecode, - {git, "https://git.qpq.swiss/QPQ-AG/gmbytecode.git", - {ref, "97cea33be8f3a35d26055664da7aa59531ff5537"}}} - , {eblake2, "1.0.0"} - , {jsx, {git, "https://github.com/talentdeficit/jsx.git", {tag, "2.8.0"}}} - ]}. - -{dialyzer, [ - {warnings, [unknown]}, - {plt_apps, all_deps}, - {base_plt_apps, [erts, kernel, stdlib, crypto, mnesia]} - ]}. - -{relx, [{release, {sophia, "8.0.1"}, - [sophia, gmbytecode]}, - - {dev_mode, true}, - {include_erts, false}, - - {extended_start_script, true}]}. - diff --git a/rebar.lock b/rebar.lock deleted file mode 100644 index 2bd61be..0000000 --- a/rebar.lock +++ /dev/null @@ -1,30 +0,0 @@ -{"1.2.0", -[{<<"gmbytecode">>, - {git,"https://git.qpq.swiss/QPQ-AG/gmbytecode.git", - {ref, "97cea33be8f3a35d26055664da7aa59531ff5537"}}, - 0}, - {<<"gmserialization">>, - {git,"https://git.qpq.swiss/QPQ-AG/gmserialization.git", - {ref,"ac64e01b0f675c1a34c70a827062f381920742db"}}, - 1}, - {<<"base58">>, - {git,"https://git.qpq.swiss/QPQ-AG/erl-base58.git", - {ref,"e6aa62eeae3d4388311401f06e4b939bf4e94b9c"}}, - 2}, - {<<"eblake2">>, - {git,"https://git.qpq.swiss/QPQ-AG/eblake2.git", - {ref,"b29d585b8760746142014884007eb8441a3b6a14"}}, - 0}, - {<<"enacl">>, - {git,"https://git.qpq.swiss/QPQ-AG/enacl.git", - {ref,"4eb7ec70084ba7c87b1af8797c4c4e90c84f95a2"}}, - 2}, - {<<"getopt">>, - {git,"https://git.qpq.swiss/QPQ-AG/getopt.git", - {ref,"dbab6262a2430809430deda9d8650f58f9d80898"}}, - 1}, - {<<"jsx">>, - {git,"https://github.com/talentdeficit/jsx.git", - {ref,"3074d4865b3385a050badf7828ad31490d860df5"}}, - 0}]}. - diff --git a/rebar3 b/rebar3 deleted file mode 100755 index 1955cd7b45c3a92910b8bbd7a15b32686a089e4d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 808730 zcmaI7Ly#^^)TLXtZM#m{wr$(CZQFdywr$&XojPUP{q?;!;>JJd9%N*!9OPgPGI!>) zHYqWKn~O7pv6Vf8nY}xanTv_Dm7^;RIXRKCnX!>G3lR%FGc!HYe+$G!v@XW3ZbY;~ zOfZTvpkQb~KtNDHb&>pAzGV(EE7dHt; zA=bv;xL{vU&(V1m+Tl_^O^+Gm?C4BB!Xrsiv3R8g1~FLR8~Skr6B7`^0zF$~@6b_t zC?a^dYKz~xxCbeAj_cFzUAR!A;ybn8gUo8jiNVYZ9SsAVb> zSL<4^uf4+O6B9#()RNFVj$}E0e!ev=?m7ozyqlYH;+CvYqTWmGBxsjyv-#iH_er8_?klO|h0B;z&US8JbOO@@S?~lFpJu)F84>GCFWA z3x$}{DAO%?(40qy};34B}@^FLdJyQkmceL&~=&HNJiS+_p> zuRaX(K3Sd5bKUJ>!a5Ezao2q&9+&xriWQ$-id0W6Ok7+n+qUTC2;RH!_1X_OdTGwh zt5>y{xV6sJy45d-b?0)j>D8lSN~E5d^cuYKzg45y_2sJe3$3um+WC9dGv3_S&+I+M zQc2-9h)>=U+WM`~UcOBms=k;@Yoe`d*_m~->N30f#mY4VXAd}W+Qk-C>?-5#8pAnu z-hA-44G}K0&T*+ZmaE(sy4nwAG0kafBZtOjYdMzQan6m({u?&Bs&#EWp!y+_Q71!) zk5SBY3P%THvW=tVgx0A#dn3RuZCkmu>o#%e8rha!aoFl~8c!FtrAr#NtLEup&ok=N zDy_+wS=^eoXyt+%y6CQTzbo+(#x0Gb!yV+y;`|1Ejg{`)(I~(CCL@<rr1Us8uBy~lwgw)A#{ji%hI1&{%Bk|6?Jfs}JV;h+*6D5# z-^CO8rxn|po=%7n!ua0{a*&8&k~1v=`s4*hgQ_bx#hZOMOpq|X-<%83fwYuyKV%#CR?Zu7iG2;*>NF;+@1AHN z7u`(2OE70vq?=O{SI@V^$b4rXM?-?FblTz7DawsMcWXJ|xL)VkO@K=61;`5N1d?nsfgvvo<| zk_TJGz;#AaIe(p<7x3V$f7e7MJQFnT&4J=?upP{oY(j;LD?ADp!q*pAW)$x{DA1O= zoa8La9Ks>%+Sqi$^XxrjUHow8>nOsyhshzfUH4CR!?B2*P8s%z%p%XH!OBm=gC^k zsK)+!?V|+E_QLtkRp@kZnnquTV3F=bSLP}@ciV?SQYt)!WZ$wp*9-@nYv~^)-{vc8 zq)X9K=}!tznG|HbI8hk+CfF<{5twGl@8v$SpC`ZOFN9}M*hY*rM+}RNoZxNeqONV@ zu5Kz{M5Q_2Ux3G%nT`^pyT?=0>s-Y>LNuCmvch`wzSujsu##dJv*Nafoj{01Ul29flZSbu6Sp zaE}=n$~_hm@bpNGs|HsXXe^L=Zhpdr(t*(nCRjXaOWvbLC^AvGI0IfPdLut#JXfcL z&42$u+88?ZMYHA^usIYgc|YKtsBw`mS^du&I%2JS^Q>|h5xn&giq1OnR^QCJGdp-` z;^2*Yox(Kh@1L1x3NB9SHjpIyTgG{3XUQe^1D|Pq`w(D&G`^$(1~2X!6ZSfbBxe%DtyN*W0xe=U`p zT4ev0s3fb?vcXW|`4|}V|zYln8*4anhlB(4`Mapeyt=pX|OJYLuIEqo&DgFGP zdBk_-cS2r=xpFSZ+t&^0)&1!xp3-orQ^0{^*)gxtZb3j zaYKw_#@e6Ewwt0<6DCAuxuvX1Cy$+B?xK^H{rZw}aWO-J)|2C9b$~)+$xiKZy=M(L z-5k?6H9?i@Z>!tYdb6V^C{{tUBxNWmYn5q?bS`FWe6C!eOm%Hd!gHj%G1L+=S=)>p zR1#+80>3G+8nilMjH}1mv%`>1dW^(Z$bq|Ncm966#dS01C32ycl_&$-Y|G{(?@E`N zDVn{xC2|8ygFbiU}V>D{0a%J)0G4 z$xmst$?K+y>6+cNGb_tN^SR=BUKR^r8%_p2r_}UFy5UY}6@pR#a1s0_9}2>xR{_7PN^RPyS}q-DvAQw|3d9 zbX~0Jv(Vd*RO0N@^GNJSqKW3{(BI)}bKefrSoumsFqZY`F1#%yZcHjecRIvubTV8$ z;>Nq7dz!jd)hlLvx^jIGyKzJvex+Vz6xWRZ#T*}H{A5pilgy4gpLwr1GZGdh`)+*B zE6c;jb<4Hqwf5Ce)}1w^yf~E;JR(>*LIzMOUfP2|*~>F!VWF5r^>wNKsCY}NZ{-3Rdezxt*zEFcsJ`+lS{~ zqXnx%&n8#WB)0haAM5*Qnr_H{U7fu2PorStu@NZ;Aa%3#ME-YCg?fxiTC%dEljE`5YM=Fq6t@tRA`A62T_iurwDo zn#y+4&8{dT&=Uc6j~{gon|tpzd%J5x*~kzyyK5Kc+yH4KtqeM6CGHEEjF_>)F>qar zl_^DF6Zy#Gv|WZfd+c#MSB~4RbCL6!f(O@yFLgc37^PGkKJ_Rnz433Vw`@m!d$q<* z9-^{Odw*VDZ!q8YBu4yj=4DJ6nMwF-?>}d{dXL0RSXQYHmQLFbCq_Fu1Ry9WYLV}y z;`SBjW5|t`C}(SG0~_(3+Egpl@!qJdY@;o|mZhgCC8Y=0x6Vm}nwyJ2w&q<`?P=rI zEvxRorxeXFA;P^>XuN!gZpkKN3KpB>C6&4fM62Yf;<=r$j@@~Rj@mKdZa==UUrz;2Yr#!ff>k)FqXn-;iZU%IZU3~3IJzZ?!H(tGk>c7vA}_ZY zi3iWAvPhvqp!xZaZ|j9A<`|`yU^^G?Z&b6dw9*-9&kPRtY zZF8-iJVYMjjho?@0s$o`9gt3!H{y+)%Aag5(-3hI=a?h!DogC*57=8j6RrNFR2$KV zBq*0F)X~u8Mm`O${f(Km-aw0_Ie2T1r^Tco2*hge_)BhA70i z?yEp8>=yHwC=Y$HFyH~ldb<-M&dmzaLn+H%lj>`&$mt|*IUSi|e(71@J<|ZkbOA^p z<&?V}h`_Iaa8cM>D-75=1es{{e7Y<*4S0|{67JUKhm!(0vUbydtVH}`>cT-IO6J6T!CBGzM;r%Bst)Q@zR#R)p$z z)7@m3m7gUS#e-<0doVOlVK&nW%Q7p3m5P@4FW`}LF!+pAGIT|QsDC_U1QF$~o;7hc za0EVhB`h$#UEC^ZwYqvjY;wzW)*}vvPZxX$LTXeOMV}$8A(eI>ZIXD6o zK7_=0B1!4@6yT+6#Wk@M;cbHG! zV0UVqO(08&Bs%N39<_kX)7g`Hp9Ud^`EX+x*$s<@1*F6L>4zXN?iR{`=mJi%Oa_lk zoDAnSiqD1ymyV(C30SWvfzr1Rdbo&E$I||*hOi>{5_&#&Fz(S{Z>L!JiT*7jbHtR# z!oTSe=P$jfI46y5cv)T|iHR>ApZfhEbxiV)ZZcy&B?T@xamOsuZdoCJn zk1k)KuRwi#gjfEJ!3oel8s#S~T*Fku6$sAtqowaF5$FEcxnGNXYZ~iEW4&bnpv@P0 z_K*E}jP*?Sv*cAq9cxy4w`;ufxsM$KaDi@}St(Yu`43@9Sg|x$Ia4sjB1l^H7esOw zk9fTR{PMJ-N7!%RjE-R0S(rEc>R2)<6pV_%d`ikyPSHFrv?r4Q1(i&*Y zsn_ZeqA>BTvz+dQLH-nHDi|;}+eb_}3qBsvWT1~duKW6<)zKF`y-|*?D=`_E#QTZ& zpm7%2?HmpvM-IpU0n!v&7BRb%;BW%Y-NNthFN3g!u=?c*MxSx{1F(c+kUr#8p=jp* z(D$AEfdEYS{!H+Id;64rM1FuK`oiime12hd*o&+vynS_K>uDZ&W`M1sT3Wfe_0t0? zPVr^gj;RoFe%s~+V9TT?0$o$~>Np}cQmlI}eVu&JCO-{yMrfbDRmMiEUB&hT$ln;T zdZv4-r1`Wn=C@T(x@GSHNbmRn0f=*z4!+7hSbq6tR`z|dYVX-o1;b`AS_6e>jiz#!)dSNa1 zAc+Iqzhe?t!DaY5NcPlcA2)dJZ$<&~oQ0!OO}NKLKcP&9oQ{tCMA>dvKxO?Dj&C6y zTK8YyGl>2nk^LBUzY)`YJ4U?mBYZq`bQawAKfkkV1OR;oyfzkqD*eXC^}oJ@SkiQS zL!trN-l+A_>M#TbZDtdE98d&?Vuq5(GED#diTX{N@fBProSxz8`Vlqnkm3+{es6a0 z2(t{P#`4Id5YKoq(frMt2ZX#~YknkLfNz&1+)&5#z1g~!D1|l6FH=JHJpJO-u-(g; zl)r^FDt+l53uwrH!gT$L-~ECpRDt|H7>a&L;~>@vzg9bbv7JP2eXkZm6(KAB;0#sH z{G`kq1Y*d|AoZWSWLV&QG=v15i>ZDHAjItd(@IBi8~{IdQ0c1fBLv@v>|cBTbMN!4 zb#ztqmNynqPSJstqJ zC*R)bnq0RnDXDFwo@N3)#lKWBzUj)ciB_CFo82Vhv62c-MEZ&DY$c5O1E z*gPocvux7HrB`pXtP1JZXl0p`EeR_j6%3(py>`nfsaWnX zonW_?qlb;9nnx|o zBiI=as4*Xv4lDD-)R9WCPC^zcsgI%8O2N)^?DB{zY0X8h^unXIENi~%tBjbBsxw@- z%JdCAuzrvJ&{B_#^}sUS8zs8uwj(D24x+)%)G=UYa_uRMa-CGt84b8|d-fZe92Axl zl8*if=gt}obx(PB){@@vl)fnQi>*+zv)Zyn$7z>ZRwtqgZ4N}9-Z;Z~O9Nmh+)NQA ztuB9p(Q?rB2&6n!O*CTas^tq=u#0#A0q{~@SUpfY%lSn+fAcyQSF_xex)ztS+)XU( zyHa&(7Igezuc4$oO!ic|uox=lFDu~KqOc+A*dXcPfuO@MAYYrIo8e{H_CA%QM z6?jHHRjPKa5M9h8@5%m(+BMRQJDkw>yhGH3shmcW(O-+!Hb6LLGL4WaIB}j@mEx5ir zBhK4#-|!&_rr&`^1Vi{UUErPCjp~SVo4(~<6MtlK?x?gI8WnnkMftr9*^hY*%nw27C0T-2LQ8$X?T-w z-Fl%FoHc!myLH?zm(M%^T3 ze6!=Te9G8IsJX2D=mtlHhHNiA;Ws-UnEMyibxw@c z_wkYE@^0qQeBL_TOUm$E<2r{^H`mLtRvoyHl&^OjgOIHA<6dBO7f5kG-EQZ(rhu<| z2W{8Ke<8RUWQd+G)>olsgsT+ftqS|^N0d5x9NHl<`dYsqwdoA`RyZv^MQuNWi|e7K zIpf!yj&C_9=yoGtalCBz)oo9`)T`)862VRN=NtPP?3C9zy_d6UA^MWr${MnSl{rc8 zhlS5S$hbGUU)M8nx2E#H%sbnPZaQQ4cPw?`c8xN-pN}4>>potH?1%y%cb^Hn{WdpW zdVrmp>HMabFe{@VjhOnp9pv;5skKzI(&f7NB>Kfi^aQ|b0z7+63gKJD`ST%e#L9k? z1sK6*lT<$rPtl-?+i64X_!bKDg+hRRQU;uUhPOH$j4mhV@6uem{7ep)?`LP{&`!He z87wMqknYuR9;}R}hDDaOY61gC{fJ89cPJ%?;>oKj26`OB^tgT$w5saZF^`jtfR(;AJ`TBd0)A<}BYh(yFdNWW|w%F+))@AY?aE`DQbS>d-{s z+QmGY^B3vxouj8A?38ejdzIavCM@Zx$to&0=c;J2WVd= z-HH$ws^NBRA)iICiqNtLWbiSR{Y=KKluDMG{N zD{YV2pwUoD%9Wggsj`MQP@241)7se2Y%}eoldbRSt7*yEA!;0;cf&CKs;XY3_NPM0 zud|eZ_3v>f>`Iysx0yquW50>IR^_;o+A-bJ8-Cbc;PCC_^fM(-(_>W+IXD6wwPUL1 zBc7MnZhw8ebO1jg-$ek{_47%FD!QlVkl(MLFfsys^`Gj8Q=jOt#a}Dm)^QERf43@a zhfIsd4Aj!|w5Fe3?!-S2ks;O^b>8vXDk&>Z>2!-h>{tr{;&x~6>-OFr<%n`sdAmzH z_0QjN`?Y*cjka&+pXbSlN9r5_%r{ddZBi;CukxPlZtuC>%**)jko2W-0quqcGBy{9 zX2Z!5^t$~|XP6r1@)$V+I*$)08MOH}-8}biWPWQ^#NhQkM%tg2ejDLIZr@7}`~gf? zwJo94jS8KJEA4sMS5uZ;y8B50=jHZm6({3M)b6l*eZoGl?7!h9K{lY$NIo zA+JL98gTnUOcp={1aWi2S?*ACLmnN0{exm0vHio`JA|OqEXnXiBbGd~CGlCay3U}u zv*Qa*thi?jQsqljEHV6IR>1vCGxO3>sWX_tOxIUP_VeN|Qm*JmG zv_S-hs4de3K7Qv?7_s;N>?G8`zZU!+#1~NOjt0CrKi%+=;_GG5h)V}|Yn*CG#LvOw z?|8{DzIF|DQb==s#L-J#$**|p3Z*RI4zt~Js6>Tud$(+U@t<-WhXw%uPxd+&lywjE zADIRQ0RqDMkG-0hIlEe!Tm8Ri`u`LE50_44`j1N^g}r{k6l$gCxL>Aom!V}N%vuU3 z)i%3`riYT@YN!0_uWleI?>=zu9(R}Lgto%qA}?631;TESY$tA4Q9$=OSy~{{xt9>M zs0xOnu?LdXvhZ$MH82yt_{mqNqUPe*htnRm=a5 za}@Gb(;u)>{R>gmq}(YOCoAP}Rzw26?8p3WB0h|V75Wt5@#DH_F0WBEz7tGQ_lxR_ z>NDm!;<8+*ERb9R(Iqu0^)mb=r=HBr9Jo@hcCrvmnkJSxDT2XTwhvlW=$ z{ZV|-U-FsKe)_JZ5{Ng0^Y40?W%!@2N%m=FKUV<*HT*ZQ|4**{Z&odvVWx;D+fcV@ zX5@t7p$T;}m^ZphE(itYLD|6r9Ng{W=n+vsEa~V0I|xnB!F9@`)?S@|?$Kqlmz8b6 zvP5&?a0ql_Fj_j2I-=Y9c5rZz`x}hF&gA0W%G@r@#Pm@b(5}6kuLeW^&;+We$XEmfNgqhXomQ+UrJx$j!*`$orSBtn#D(&&9#fW zqGP0+(S`r*XU5ANF}UsjEc*rrdF@wv$6V^9fIP@VfE=ld00sMEQwkpda{6V70D3UIqNN#rd%0T}O ze#3kVIQ@h@5QuvNK>UKA|1M7i0RMnr@9+L-{0hLQKD-es)cy7-{$3V;l^^~*3co9m z{+vED1V*dZWjh8g8FLmqStQil%Y)&6FPi6D;+ba_4_os`efDc^)ZD-hX@S2i3aWRG z9#Fpvvqx!sFUu;(y^d?VI}pBV7WrmPEVzEjTO=w*8G&ZS(6@Ob8T&vSPUE$x_9bM23#4U$dsu zX2772g`;7OPbtKSG81H=&5?)#69gH~C?oVy6Z z0>QGx@c75?#K9D5UQ3O zkg?-k>qovjUU)IkLjLbmy;@i!z8AzSs49>! z5EP5r4IU;qq!`wEz^P0-&2haFbB}@cZFhz+sMUThVV0xI-7fU;oOI;N;Hb(5+f*VF z=`PP+YpbA^H>flbV+&&HWfolmWVK6MRu{(5ST^)A#mKj=NVA1G`ZyP)9?JGp^Q4!Z z>8kvr0ONPS7zuFTH~~t1vwdbT!c@Kz|5SkZ~RP+!rG!ZgMUf`l|hyJ~x>}7ut9l^~fqxI05BRHB7HjyR;81m0L>?kFb z+)fGy)~6WEl?O!&z=uE360Xh%VVZCI)uBIvnEdZY^P>}Twy+Rh49b^qvLe#HaTV5X z#WaOlx)0eO!--T|A>O11Wndx2Am6^N^_xJ2i7?C0klUWlrpSB=$Ag|VDvU?7W35%a2o!Z@IeyEiy_smuPyK&s)s>`?tJm74F$iHRP*XP^&TQVK?dPDv)#BZhw)*3x>U=yfQn;JJE8hp~-Ai5t_m|;JWLS|cmk9};CRgxApmj=UII#i&yi|=ilL7TF7$}$L1Us!*sT+-a8 zi%OJlmyr3*;o&jBU>w%EfDYhXY=A@4FQoEsXrKmFSp@f_ofh}46RYi@)4rFR_bh1| zFKXF}5~SYj6!?!(77t+zW%1`4QLcu(lXCidIEk7nGVtsd$weWz#Was1Zw?Ww=DrR# z5wRjg=rEo~m2raB*f%xvYj#Oe;C#$>0>&(RM{srJicR>l$o$`0Qw&JYsN7!{M3#r+ z-L2U2m~=y87rpa%n$A$>d_Q`c95?A-3~l1Ei5sL>zmy4b@mG6(4gu~O10~Uu23-Hi zLrR~VM8_Uo=YGOy^N)JA>f*s9vr&%Acd^33&S3AG-Yxc}4|e?OWH?6fX@_vGT-Pe2 z8O88iaPo~cWe){_=)M#}l1EcoU}6i1Gg9mMXRQLgavs^$c0RnUp^aZZKSY1-u0ROHjVg_lF2s04)T)GYKKkYANnDESH889w^IVo#o$a~`+ zAd?!JcafkY6y`y5MY7ezKIuD(=v4H_tj?#k{VVwluPuHj@N@*$K<=Ajre!x&zWjX#7t{uIGTG1*1YC zk;#z<1smp!#F5rpjl^Entn9ShRk7v46kjNEa5w8=`b*<8itqVT!50Wu9$US`=q@3l zMu>67#UiAgbvyPIX_L#SxPPPvya)fGrk1^5jv;FJ*2Hn#)LbomWp61xUqY0@8(Y-$ z8sA!!fN=Ghs9WxA$2R6d*UT6}mLF5nBqd|zBe3D)ZgDsMQOAKvWl4cZzwOQp*C?q0 zy#U!EOo@Z~pk79FV6~H@6Wic`qPw*wb4I)baa58di8ubHO3ZEN@$a`YFxeTwS(mflP}`kj`oyKh<;@^P$2MF^mchNU{3mmJ~C;pc2g!lf(GIt!PI0{Q^`7(9r7{#=T-`)0_vz9Lyb|e5G!!Wl za==aNKJY#bc~UwEP&fQJ_8K!oicJ1sZ!qLZ5a^|~&RgjS!#_s#9Z|O7l|MsjR!XeJ zr-7LQuGzVDGUJppDW!N23N~e+GvQsy8OnH7y&l~2YB|ygb{83HbTwgJWI_qfdY#0B zJ`ybTM;y1g4b|Kr&-2_pwl!o-^ZnuB9yoWhvRoAzohh{HSDXi^c_9vK>s~BN#XhCR zZ*SM1Kp$^h3`NH6)wt zaxIr{7$YCQje7YGM-bcnnO{I|Z#o`oQIse-msmSwlN_f=FOE~|^_rypBrV~6PE0vcoT45p{I!qo)gk{KX`$Z&xE%S<>U#&A64to__*AuG5 zA#@PpN|M{oDDZ=!HIY9OOr#+JkqvLqN708Zx7oe+mw!(gD89(XFi7ER*0P*bFz&N@ zs-)wh3r7RnaC5i3Tz}TQw7qjLKHD8+M6EAJQl{5!YSm6<>B5ixeF5M*-{in?HaeFm zB-{RY&ok@4&U?&<;3N@Hc7y5VegoSKZqqah5&SSQ0NE7TVy{^Q&AixJhn*sNY2;D> z2<`LsjvZ(D*YNCT&^W}ZG;E;r)wz@)|2x{kJRMvk;~-@h7bvbr@052@Cm)P6Tw(21 z+?}i52)Jm9;8-ssD^L>UpmcrbpU3%6OA2_^VFR)Tj>+!PbU}QghBPYuw;{Q=A-Zl3 z4d~ex7U`Hd{C?wHKip71$*z_OLHc$ao71a>Wqo9e4cs}W#4J69+U;3gVW(#vMR$Rb z7&)7DUF3oGWOQxlH%B5LK|w>`IbUmpF?CSBjR&(g7azJ5CdrB=$b1b z7=L9d&eSLN5utIWqiPd1X|G;4Jx4+cH^Xzc+^orwAg#clK;HI!RJPeq za{bT8pW3-qFpceP=Y3qHM)}Ve&LC0}@QZZlh;+qJ=H7S9YUq-SjQ_i0Td^hi+vGL| z$;m&+@6ZhjK?0LDr=Oz|RZq^VfB~13!6*WL>#RVN^t znO>-4`{JCieQVg8dQ=x@21iZ68!=M47u&HQ$8!dUdT)wGoI(aIAZO7NDWQ_C=E1X;C31*(>t14>R_eUjNFR)2}$E0G} zR-wSX|J}l0n@MJ{)d#PuxO3r4@BFkNJRJ}Mc1He%JPNoiKxM|Vi82+u7@u#)7WsiX5dDI_({JvX( z`VQZffe$ZBOs$0kOPh-1sRS-rNdzBey+6@&N+r2*q;)VdQLZIEJCYSj=;6}=C)C#$ z;7Kd#cAMS_Vjq^yVABBGogcd)QR+lWYl=%z7|iy|)n0>kuEHr3Xjpo1p;68AkRG5a zOEyTH{?{QA3@x0SdG;j{UL59?2{EnUL;|UxkCEw~Z{I`T2X9dc3<)NU#~+O291^pUURiYAC3Jp8 zs{pfJPg~v1lF4`rGCV4rrx{Ge}&iGGS6V7%s|6nd}9I z`_%3DGS(r1hjZT|1seV~G#R$dc7Q+jPYGif6()oCrE1SePJZG;qs20<7$NX3S6?B8 zO8R&{rokxA*}OPD^FPN`;>`Xjdwa+Ty*)7^T$T5@MCc1S=Dv9EqxH1*YG zjgR9!<3IjiF1-!Ut(;3{c4Z5z<7ha-CejY#SdH=3qvmN^B*oNk_kwUCz4Xh;MCkY= zlRs8aqDE};kP%Kq^Ig(v z%MK$hyIsWY^g8BtAwP`_f^+F~6AFCYS}|S5#)pmS{30NoCGEa_?lxcF^R3p7UEht~ zJ)ogM`J0lcw8sQNk(=W|Xee?s*Cln}NtM~R?TXk0*;Qx=*9KA)8boo~5W zq8rsF%7j9W86{C|;Z*(;O6*q7<+=i?5?#?Uu->vzIfD*!)t>=bnAU3|W8>-ECxGp3 z5q&W!+5N)~pIM|=hBnL9VDQ@-Z%s*RpmeGUr1KO!>%?pqFHC;Rb}GpNU*KIDznB|M zHwesLmW?PU&b%!g{9?^qTX?9$6DIegBs%@`oc2gA|2c-`DC+w-&56-A880{{V%x-H zwa4Xi)EYPb3z?4da>o2z|8$&`%u1O+5o_^z*#Q_a!ec(BI3-*$o5bpSu5!jx*DJSD zoJxTkqtX4uHEMM@_&W<-UEg5GAtmwT)rNrgXP(8mer_2@0*xa7y8O^?9sRm6S3@BS zpIW|!RjKqz;{fB6!sP{-!x8ba$@n-_ixWydsE*oOtpqPqM~(o zOs(|Q5j07r$kB~}j887lUZBAlq3EbjbtU`)QBHm;Y;z};`)`!d=rLqYuU^D0jDCJ@ zYV9JhkNGAA3fHS_b32zInzNG8g{f>dbSv{l+;3Tddt4^u`ko}TjT9G$t7S|+YYnxzkw5oNMX9L1J8nkdTto6zo%9WLs=YVToL0_RSze9|%aB=ibhwyd{$ zF{k88>np9#qT8{McB9~GZ<430M2Xdr-TB-=c-U**q zJm0j}IO|wHVHQ(zjLpZU@9NNcv0M*u79I#>wlB#cCSWGG0-Ypst;A%qp$OF`P5Ke& zS}^UWAB2g^U_4C@nTT0=rd+sS92#G6?Tyx{gNB4L1Q_RdwAA<@S>^-;9EDU$qGV2iBSMP8mMO{RhlX5MVzvvS1|=dBWjG(St#&^lwWx*ev7QtdUFE1_0Y{YxnX}u&1nr-eh+a z!>^oJBG-eE%X?n!+w$_~#>HQ^s28q>GL$kGZu1uFJ?PLfn4OaqEd7&R0%;MXP+_#vVfT%>p^Umig(-pLMIV ze}yl=jD!)3m9v%y$H14;E@=BV_&T<|1FERAJuttuw)A|Pd9MZOks1D|&11F+B3+%c zSfsV_gT-ImsJb-HeI@b-dfE6a5YYjln$JIj{22VSr|@`+(glx0+!FP2e*O|BU>L*C zLC8~vKri-ZX#dp>Ao(5bQ_0{Z@|td}u5yuOGqG+i2J}+~ewt-y!DPc^Q&FyA z3eJ22EwD0Ruhu)EovALtc$R4J_mrMr1GTnKtS=3>pF^QnZ9L2?b_R1;uT!hx=x$9; z(!@A18VRPj2elN->+gSUuz92g7HlkLsT@TUE+gec@6G$WBtXK~?9ZVTbcjzikt7LmBM)wX# zi$F44}q_5WT?crWQsg94Oy*tZnU@* zjEzP>96J{IN9rERGe?uOP62t&WUDXLaY(hUk;;)Uhfre>%bjk=@u$;5>pJ78Hno$! zS98{ps_hE2btL4?YD*qeH|HFli5ABYt~<(8&D2{a8#+Blv`}j%_3-+!j$2=H`??Q? zr!4qJ?_pxiwmvz~L9WZXhBjq8An9D4jrcox+Cw&uKLFC6-xm9qElU#0RmokgRU9!t z@ShZt8^Pwa3c}AClPZQf(;8%)4*wED)VZ^cUUZCG<~ku%j$Iu-Q*}{G3Tuz%k&AuH zm(mvs(QcRy?_0iI)l>Be*Q84X#N)<^7&V4T@eWTDpW-I*dxz%_*X#%YTwTi*Q4_;U z?OYGVd$?%Qj`u4yS@u5f)Zxj*7R+RQA}zc1%pt5wN}RRXeT%aUcZ+dG%HzFwFg4~n zNr6(dR)CVVlO$^>!An$ocyqS7eE zuCK9{Oh(5pjv~s#-~Yl9zrR30M8ErFG`~bE&GxJg{x=hUx$^OZ-@2&MaF|_6LIw`m z2>|zM{V+3DY;hjVffq!vJ0X%<6h1=Ytfd1Z3LSX_UeT~E2yO5k8K-K~|NeWV?}bk} zCaNNVe7CZ+*W=ZERCI~7slPfJ{QDza{tx_7s5^x6QGXpc(SS>cH(-o2ZNKD9NlJv) zm_{Q2wtw?|kYy(Ee*r~6y1#bOUtP4_{3s({udrZOQvwBvqrd8^Tf`RX)I$M3Az6F& zw2`4nd-Us}Ri-qfhBLi9eGfk0NiF{yjHlcd(v^Wv-OJsP7mh!DXo|jCb*< z^R#l5r?%5{Q zjFggp8QQ)AI$>)6ql59Ff)H>IN*MEA!+2=AX@fuA#s1 zEskBBi!GuIDuf$Zdjo)8(vq3iorWXpi(;+TQ-;{A6#@&+=MnKhtsS2I5brzzH|~45 zZ{yitW_rivUXm?;YUZY%uh;4@ks$id``9tqT(Z!<54}3$TcdLCF?@Jsrv4cgS z1Xb;5w<-LZw9BQl*WQ~pm8(RoDCltW(;5->V> zMDwh*5#Ic^<yfTO9f#RPNHrENs_RxOWGsbm@Yg|uqNGnMnhhJM zbP*rl?PEPUXxa}Bn)-u-#{U~4Dtcc)k>kEWB`^JB+WQ~sE2jS~Q2f1Ece-kGUdI{AUS;HA?6{FQCy*3;x5`yeIC--GK?aDQ%c6p~9T$a>LPK(_naxb^sb<1}lIIR)UcjbF*+s-ZbL94?) zof9KcwJ)Hvq9k7~b!v~<=^Ziv83J#vTI#UiCBBAd^k!HuRt?ob9?qV`HJX~7>&TRE z`kLvbeQNCD8yG{&EZ<)f^@>nEk0dfu3Vv4GC6MwZl1Mzh$VF@7qS}}WrLh*SQO#W- zk0RBx?{0~FpYLmq-$z4aMQI-X=-Cwqmzge$+{;eHt=v_=W>p?Hn0+g`_X*)Z+4NR< z1c~(E`qccXYv)dN!v!ieSG0<-m<>clI26}#nU)uqUOXR3B#3C{cdVO5s)v~!nZzo~ zrH-OEUAW3Na7mo~CxGYVLj5G%+|SCB8Tz{2U`qiFtdiQ8Ss+@mi;v zvp>hd9)Y!ojY)4#3BRw;@Q3@ zC`V9~l?vXmfJ{Dmo+l7i-)!Co}yg83TuKOCDoC7MzA4& zf#nsKGK14F|I7+DlX%@K3+(Mk!$J4gDLsSzg*U3w$A^CJOnE6S#@<_BDQB+4;|}WL zCfhQF?Lh(tAV##>K5yUF$o4SeE$Kf$y@=}D2XT=rs+zwrVe;C_>JDt8q2D5`Tb6*y zyD_gMB7tze2EbQlsz~R4xHk~5;@3UEQ)^8jPNs(+*URL95Vv`Eaz;wtm}8Yr>;B}b zra;$D!V%$DXV zz@WFwG$Anh7=`F*WJ;TRpe=tafo_W=W$Sx+&>|qD~6Pm{AlS*+Oz7*kzj)A%ifg5gLmKZw_2V>=oObL zy}2Nz94@GSWjyyO&G!&qZ^xqOq)$s6Nfw3qi(EBY{s6X(^zIE@+)}0qH90A4Zrubg zgTeCX1YB722Z=-3uCC|dk?&EPuyYNuGuBsN*zqJlT2D>$~JMW6#g zr}ZqXmer;VTfr}QS>{8+Bw&lVMJcV4sh+x)oTg6V(rIPLkyVY4GtKO!(#)g!Z>xj9;@$g(&6_GTQD5lM@*D@=T?yQkzH~M3!qN5FV!QtZ=bIF3ij`_p(UiRq18@ zy1~ZsW;LOZATt6x??{9L#!x-k>rw0a2?65NQ4*F>?p~7M<=&@}-n!vytYjk@e7Guv zc5^jh#W%-S0jlUm@R}tg&>+6R>HRr%mKNruNi4ig%DgBqISSn8S|)GD%h-=@bB;N7 zoeoi5GlyA}UaY%WWA!bCzM+hfq;)k5Kp`&L<~yk%zxT#i9Em39A2M=)KWBt9gB{?< zzd4)}1uhwdch)0kc4td1YHEu2hLNzX2Nv(azgvaPdExb3ipOzc6*8BI33dT*O=tuW zOw`c79s!_9?a_LvI&9p_BXjche$GlCWSy2p*J-U#@M#?zy)}g2{Eb+4&b?4Em!HnC zZj}Q8Ez9XgH#o!{4;fA9V`ialLktu=ci9n==#L@aM12~Rw+{rg65(|K`f>ugMkH=a z_ala_(WD*|>=4T_i{q&55ohgtlCVY<3A+NgmFRGv$K-1A&fE6)XYS{5=@%Q>99M5V z8xqOKC7iW$SvP9a%w0QixM;=YCWT^dK?9g(vlECsbG0#pxk&!VUYPFa?e}wVi8U`< z02&xubB@BtizwY-^RH==-gZs%$6340+1y39d~;w$oKM4Ho&Pi-W<15_SfPI15NJF9 zxDs;tA)1+gcm@5&ufC`JFK-Lsh-->|@~a_$3Lr8d$@k^qc;DB3D_ffXwtMk0t4IG3 zS%T1jsNcyD{%88YDO@ zq!1WXW1r__tPT0oYz9soe8_@|^sk(-aF|2J)$c+tBGo(9M})4NbI(nM?g=}=YV4e! z-uDxK#V#oQ?8yK6@Vkb$yKZA17!8hLZA*J z1rmQx@Zt(vxZ0UpxElggOl?e!?QH?V_6&3Y85a`<5FQZcd#3l9gr$PCq0tnGl`VTG3qcKLTHmRY=dgU2+vS zJMrG&gd((Z08D6!JDIDV6mDit5fbMfnm4^CwrCSkZhvvPI?t#&z|K!p(DABv&0Qx) z?9TlPH-}?;FWqU8wlz_mt7+GBL*GZpg!4HC+d0|c6k}6TDyms|3hT5hxc_qHNw8rw z5~03#ShAjA;fT<$T^7*s_nk?14LLNl$R70w;vH@@JHHJtGVx3z#!X{4;BP)08mH2*?+s%O6trRK)PPdPvh%Ogl z))e+m$~z}AJ3{1I zwlHnPwM>tnqGpJFzO|j7e$`RuQ&_dYuV$ZndA9aU;ugm5nflujQh9C2?qx?B(uVV@ zYVMZQ*6GyOh}LH@&&-Ry)o83iz@hP!G^5l_07Z{>&%scaOfTkXg;m=zQ+kl6=nR8P zokH){xqQ3$efDn{(fQUx78L9oB=>&P)&FLUesjmV(tCY(#_Kp`(KINA$T3q{^)F-m zPjbf!iifWA4p3k2OI<%Y<_%}XzAl-pbnRCe<-&(bBPr`aT|HoyDk3F#iX=Y6-fv&Y z;wK+q%__g;R0vx2*f^I<#MTz@8MP)>30+Tme%&{;{YpYk9Zr|A?4+qrU}sEVp4B{y9p_C ziBJ>LC|zG7x3F=isK-)hBR0Q6{%8k;{W!1BW?{w|luStxIncv-mriUyPCq@t%o(bDi~nylvs zxfbre=jf(h)&ou}LBdhT*LgLeu-aUMD+m0hQ2ydfA`VG%Aag4hZ4^=0 z?W*jtb=Et%?5Ov&38LC|AIciQI%WrFR9?ZvG=-=a)f4srJ zNFIL3n9BAKg5QOcI>waZ(;0OyTQrA8B7l86k9n;Xg+90HXwcInnuHn=vkkL!PJ@YG z@UFL)X&G{vFc6y~>XYaUyp`QLnEN$^q7TUoyj{As`_kc+;4bI9>yQO3BGLB$bWO9j zP;$khv;_B6!bMi}sBKh<6MNF1Jh#BhQ%+1FxJx8V3{TYIUL$SsVlG|hLuM+uvf)~in3<9z< zu>e_rnc)4&{AU{ZI|*)8^){SrB!Du4&Z)3zaHtd9mWI?r;g8e8kK(Q}i?Wd@!Y65( z5=hu*t|8SNjA_xBjmjFs`NpW(7j3N7l%0=IRhzEUgxdIQ3$c0B&c;8C8Xc1E1zGxl zNl?9285$k)QT9BYArCIUgK9=On3CTp)Vn*jt5+SE6-IZ-GQz&9=xw;Q6SiHIZe~f= zG*yZ2A$m~AMg+#L=hhp;+UX9veCE)Hcd$?VN2%tZ`_L&FLwyb@7w^}7nI$$52sOqj zX_cR3(=YC;l^8-H%iXjivsne#W!jaQ z36~*Pp8{QW3X^lr2JL$iS7Y5%cWJV{g$qA`^m>nS@Z(19yElO(ag@9?o8EB;E%LXk z@MOh{rep=W+Z}GeNq2<{B&du;HgM-57>%My?)fVyF*Mc4K@ssrMNV9XO_o*9VNEG` zzm}o{B1m&9OwL zhZ0U#J>`Q&Z*8yDtec5p4$hBLDy@Y`GPp#PvAEoy!a}-mRIevrquw{wtsLLy!9vgy z?kx=6Cd*odhMi{-dKN#;=~5vh7&!N>NMgJ;uBt77C}eB>G|tPwMg38?NX!)-Z>_}B6LZ*20TZc30WE zsH+wwBGIzL=l;99_HGsNb0{%T^9f5iXX_P`lbtrt@ZM9GUOp*YWk(;XZZtc<4O~0C zI4Z`pY?v!CrtgW}(ZzK8h$~;xdbS(6j(+s&G z0tIns<*FghjgXv(PH1j$_DO!pRrejzfp9Z!UQRb+v7=pm(#D-UGgp^Rf%6%Q^p~sj zB@C_j`Gf;5eFgN-0dKe)tHf^Y7xa}>U5yS?a=brr+>$SS$jLw%jcVl3)9bA(f?&%f z)W;uPP0pk)y-lr9S~(U}x-MaGO3tSIQtIq;flF%U#r?*#iV0jAgO4{)9+8$cukW+@ zGgjaSHwMhwv@BV9IeKmu;g$5KNCjpoO%wQ1GITUiQ33LfxFriZUS3an!I0PmzIc17 z=re}syPcgESK+IxbvkX9=T*L7mTV%5oL_hGHVCy3OYwS?V6+FSL4J_nq#yKZXVs!v zs@#^!X`VM>UBJC=i$6X4mveT1OMAcV$NEltKSia#<5xBomY@0c(fsEc`U}}LRgkKP z_Dq&4#edSBpZDQTQ%%tQmLgH8nc%~dIp-Q}*W=Mwa)Br97lsreHq#;6P7V{db4GPb z%2BP=A{s_QaQ#<)+9(@$0=FGA-Ly;_4n++`0967ne_iQVbD1NQKaAQ`&JS%fHPPoa zZ&u35D!sgO=ZHrCe$@V}?5bxjs2%lx*=m$ju+FgTw%_gcAzxEZLKDbPn&dtfz-giA zr-#X^_hQRFCI4t_4fY_rTa$fRYUwoZb7%Pn%xEVyUI9X`-o!^bIG}PEm>?Lz#cP0F z%3iZr%)*ru!(b$;S_Dz}6Z$cfupLdFg`w zGT*uSX=xY=sir;v8b^H3A|~P4knYViZA}6XV01;l63~|8=I8cx7dO<9nQz0Zjz0%E zChwh<{kt#g%SJ8%Jo70o-Pm zZr{iik(6fYty4z&SWxG0L^jT%He=DJWulRZo%gQJWXJgR$GX^R)oePQmhF?Flry5w z-qWXxIf}OlEj5GBo%l^s#ey`oCkG*l>Xe4;Qm%!2pHSFGo;2TPQy|eg+Tc#7zk`5uD-?rW7mZ|9W#m?ii&HkrUU`Q_&%7!Qy| z7CQ{Le}t$ZCuu*PNIu3_{EGx&^LH5zH~0Xj#WQ2J_3j+=f4GRH|N%~{e zr@Om5gV`VO%3y47%V_N24Al9r6Ci*JgmPdCV1{7MV5VU9U;r?aha&*Y=Ai@tCiGBZ z_wdf{;pp~D2@4qeFXe_{PGH6lpS1b$iH8dT<9K+1z}WvCr@i$hGjm$@XC`pv?mu-xvVw*wFrtGlWOTNm_;QkB@dT*VV{el zY26Q`%uHg_`6OQ~jhoYh}3*@GwGg;A-=c z<_su7`Is!&e4&qzK=9;SbydXkZ|6D7J+V<9_1qeTq%rcUcWm6thz&zDKtVvA|A&ej zH#6tg6?QA$vyhvKfOV4mF`_tKfHFFT`m9RI5~c_WIAOS1tP{t}1waE!+oz*_;}~&I zDwvyNO;K_K5@x)7{nt%2v$(t;1h%91p)r!C3h4lh#i>;LqBlp4;b3&JLbHlfufC#L zIEo5KWg!srNb5k)<7TJE%(jwbIejRHAAX;2oMji;=KsN-%4a|P^3y#a;4;dsX2gX$xw#ufEQhHK3HN`QKV456L z{U`n=r*=sSji|mD4jfWdeq%jM4jnl6gB?)BI~Mdc>Wmb_Z`K>rJSWRlMZ7H zO*@HJSNbfW8%FiFk%z#L#KB532uAzq1@pTvRjTq(sqzJaYO62DtTv~QuT7UnTzf#8 zi2H#9hz873I8DLkl*lbYx~*g?NV^0MF!}{8R{(F-N2fvKff!XDoQ5Ayg+VcQ$$a5H z!)-N3a&oV^+CK6-hr#A2x)xUgu>)DZr!5&IOl@pT?JSJ}g2sj>rnV1n9v8&^S12uM z=j>wX;`+G0*!e-me@$~kBH~F1DoF|p{?|sBUvrvFK&D?eku!lfL66&SfZw0|!USS| zG=ZF2|I1hN7p@1#le_Ai;lVfQ6xOBEO*T;Q;d)r# zRKsq7RV=G48tS;g%3HwCCEt==x)q5uBth>}#fpo0x$vrzLz40? zMS%kYNBaF(h#p-?2g!nj?Oyb7hoVWOs?s4kfmhdCfp+N-Kw9y1*uL?u0Pi7$WNbma z{1YHtRy`>dQa1Wq9_2h47)zfkoA^E&NzwJ)2DB9}o5z6v^+Uj4@Zfnw{{R=~&`bOS z;p4uTm;EOu5gfjM^g#ZjJ^J{tp1;5skd>90<2QUgn(Y5!eErMS{GHzt)wNM+ngMN| zJcva0ZtSVa&B!VlHeIlvyW%huDqEx8o~2`P)*3lnig~Aa*JwN@n-MPu)QV!@ec42v z^4N(k&zN3y# zg^(9@M8Gg)e%erY7J>krAoJY1#`D{XG=~l?%2Fqb0=i^~jmAzN1r zQDk}2r3oEw8lqMqJ-ocg<3o=-uysw8ZzwfQgI4Y?gNvOJkE}5RqtcslQOXa9ED9-d zKP$SyU){G$WTpvH2!{VEA9|r6>H!w8qiykp;>CL}9mNxLI)OG^1A^yHh6F^$^x>r= zd7^PoZmipC6=<|>UrS(%O~(l&#K8yaS%5Bf_K+qC`h3!`Rn;g>8D5C?lI@Os`L{Co z@Dij&1_cT5%-b)ud)2qeWm})^|2r9czBq|eJ0lEoGcUxc=%|RyPkVB(2d~D^_4O25 zEt2C3&{0b*Y~ffr1>j~+;OJNiy)=U*sZ(4AUF)+v6M`mUnOzckG^$9y@uxm zQPuevvC+xy5;4E^b+`3ZILvUyY~y_9mN53=IAJU@0iytcNJzZBG=35Hmo^h zzNa`IaQ!6^P9)Oj>~2l2Jt2@<##7a<&|U9Z6U(D9(u!aDob?`;x{N}FB&LF$tX>Y0 znYJ$*RSxuC)eL5-Nz8iQCc9y@<;SS?)Uw>PiJx@Vy}p?OhFk0pR}32WxV4pWV6W)u zj8<@wDDI3$)gIF_!>WW`)zzSRH7P?GfoC3d$nURkeT)L2TtTR>A9Nx##EHGap^l!n z&yljUOl%-C&ABh*9|6B6X1KMu$oN(`3gXbgC|yqh>s-<*EaoiT3ijhse9iSaQ9HU_ z{)yw)xz{=$CyMUC^7}CRkvIKE@Tp8(aGp#GeHj7M^{bvot6G5`9tV_$x@2)~#NXa) zPoI|;F+w8PeoAftuR%NY)JxWL^6}))_z22WSves{%3!VxgGkx^>OXHP(DL zXn!Q^pPvw{BKH$T3YweR8Jhy+e%VuGXk+@jFz)+PfNe~TU7YOgEFE1ng1J?@ORYQ{bBN^6-s#l5x_MS&Hybfcp4Pwd#;(C zm1Vr?JbMOHB2QFzi9o~|oemiDh55M4@;S7{RXZ&FaN_gFeE1q0yd6n8zB1jJM97?7 zmao7bR-bDMSv)(S%FL<1=qt|hSA*nGvgvVrasqad)*qr6alutwXrU=Iz zmk<>TXXc}W{HKw0;<#z{&`7sq1c9I%>i1w8De*G?VED`-$&AB-T~R2(-Ed?PMD@s@ zKf8-#CnOr^^ru1c+?^*C`zYl4ca;Q{Yb2`@&xLA!tn6!92(W{lGcdZ_MX{T;06z)B zE8)x2CjDg6w=|#UGb7y;IH7o9)(#`K=1D`r<{3*Qmqt(%i})1(eo(jLHV&nzn*I0# z7nxmMNL;)BJH+UzjOl?RHGW+Gi037%cub0PeBYM5&UBwsF!SH?oR0j>6Y$JLAtxUB$Q538WH$G zJ@@E2o_p^7#{J@F3>~ihuKn&MYwl;pn)8|04Ql*QcI~na0a;N%O6Xr=tkenAQ8Q| zNXPAE&OW3;fKi}9QMM)J8SX-35!5D^Y3pb$@l4$LlA%{FG!2yWd*#mWNDPtsia_zj zr}Mml=^);02ldyNLPYRjGrP_Cn1S{=x^kaStJh61(Be!4<}^GRkJ(i{_rgt2$g6UX%7-ohMdSq7)@y zYI<|d?Zn;_kmiMkiXW3+ru#f=?u2}6RJr|%F|}JMt_K&YTj<8a09kO-97oUG%_>@! zGEx-06UEGIu8)=B{g=-^O%rY|R98EO3mp$9aEikLLyHxYD?U)A1j5*0#T~e6|Hw4UkJvN9 zy|Tw72poe%jX&9_J<5n39u-08GEdwiupEH#ip*;FwX&Uem1pg=op|H8LLS(&WuC0& zN~R1LfNtd5bnW<}R^1(aA7@{GxQG#ei1<3(R8i%Dp55^dv3~KTmZ4=PMuZ6~x$rr( zNBad5%%`fCN`et!O}WpG*ID|n9pBk7^G~!p7^xCozcO(*HYJtuF=|Chflxm&s%+>J zZN80m4d-{Dt5haf=8Cnq4w#{R$ZqJBt~b2KLAcYSUBhjNV(~N8)4kta9Q#f z3eQlc=m=MvegK0fK%dad{i#zQvAgF1yE`7RyXd>2jo+>=*D&bACIxYMpe$Q=^rPIs zKj60e51=V0#X$5`5W!$jvG^Svj0|iDh4dWt{=v+xNXP#VR&H2S{6`FRvibv*@;f=2 z+B}}0G7x-y3BW*6F}_dyils(|e+U*cF|aZ`(kd{03l{%A{9j$$-y!`ZZDjKs)_p6s zm`s_tLhwyWP_i*xze~@QOn!*bqui#Bx6m}5o@1?AkQC|O2uC8_0s!CH8{j%$bt==;wq;3{8l?NT3 zhqI_i_+x?$nL6HRvRU)=2;<<(W8b^-7op8fx~M}&2_{*m*cYHGGv?Fe>)GZ0A0<$T zU2wr2*0JpbIu4ygQlr)0nMYFRivYkPv1>3l+KQXJRX&k|&esr8I3utEq}*otQ&Wo? zSeoECPlTQjhFtcN&GYna@CvR3-}UUDEAmPi-E&C{yJ}cq>cIDR%gUru6R(S; zK0}OQCVip25s|<)jq?$jnr3S7kdRuzI{U=R13?p1`3gAO1D)qTJbl zXj$0Pch6p7PqBqQJMmD!jktJ!$qktlfsmu_3s)1(GrgfMa)el1xawn}Q36?yJ=~&t znndIdS5586d$3e!LMzpioWTn1Y;61m=h?oP5^fuy)km(~vu+IN0#0vnhZOYP2Cy$e z>p~!NNNWvik%t!4mXJ?`%@zGD(GVW)#7$3K@Fb^9zjGanSlz#5gh$-qI<N6Uk#?eFt4sk0mnch9bAo%y6YjylkK5>p2 zLy$64?~V-Zm@NmVcQMbqO-{Qsl&GuSr9b`59>kj-7Hp`xg~_>o{jza`$+a_jp<(5X zzx-y;2+1sj=eGRxC^JLHg-A1O`4=7}a4If|7_tu$GXcRqR4vdEC7h@_yUcEKok-Z% z(-inKlkxz{+KOnCIRY4i>fYi$0R{ui_+ztS`p*$)FM0&ALKi0k`*Jz@XS8{Y0`?expcc{kKVqb5<3 zXB+!7&vs;+8uR0Xag7OxJ{vx_dFLF@IP7$8y>$`Q-;g&_l=#B%hEziW)Y5{zZx>WB z^-{I5meMSa{S5S^`Nq!zl5kRiAk`4WBiZ<^mb3=qL_k6oH<}>C(9qike%2*(A(PzeHA3L$-Rn2MmP>!10081lXRUyMqUWPhccbSU#qxu$zr%u;5XO$A&YY*Amo0OxqA%!MkaQ&fg_A*0 zW!i#mtRBzfK{@MAa>TUYO6%DtP*|<8l%2=%F|JdbxXPjWTTh_zn+z>JIlrC(VE}q9 z5Rh_Tx|4AelSHn)T%`%H8+*=|~ z4aW~=!~FM?LHOy77Rzgk>Oawd2mD6S362Ua%F4vZ&c^bftbaPY`@V@VsQCOcB7}c^ ze)n5p2rMe>1nXOIu7DZg=ME;G9HPrhsf_V3vkDtOu_r(Qa5Da zc?mP>B0}!DsCi|Y59rC%Kkbxyc`tR$Tti^A(CB(zUToKREUSi>zv@Vslzn6>wHk{l z*;0CMl$voPx~OV@3Y}fyEQD&EMk~b8a^26Br^dtI`npRzcL07Wi5}8O0jSV=pwjg4 z3@x!X6qWKWq^TrI(sE>>FFtBPym`sf%n=aTdh9&4?J!I*TT&iEvo2KcHypy{+j44!- zQiYy%Ht5|o!vA1pJ`SD!*;BS$7wT3e1reRbqu8f3LN7`J(pg}Y=WL~hlu5IpE>~!< z%-e+T)PBG__+?S!BnsV zMV%zf`BkYOjh6!%BOa^)45ly8eZBMZo!8ZTLqyH9KJr^)3MMpDdZCc;h+_gS9YPLi zLULJekzi;OaD6K`aktR$Ke6%ygV4WlC|ng7k=hG|SGmlLnE~yy9E^IqfcuUwS=%@z z*~gmp9=LaGScISqq)%|WA}4^mR|cQQY7k9ogO0y>h@+jAn+m&xKUgMzOp?)UC0gA3 z*F+C#Iun)#xjJz}ami5S5yAO1TAge^0Ld>u{&)EFesdRP@EgPWvXY-!cbj#XYl$nA z4O45ovUkoZ1!Ts3494c6F%CU|7x*&r(JAm*_?eHk+ZLutD~sRy33ucRP1a!zA0Wz; zF>0DmQ6*O3ahCS|DhF$FBotf1NIbhHxs?dYh|$pc$CBzf7mA-cST^Z9Nn73MWeAD6 zZgB{!@(^fjj~t&hpe8`b59|g%9m>-*#~_MbanQ{`!dm6_-QUIP_6$7$mQ(c6^ z>}aGlHhEC0_zuTsVV_fc^C{rf7H(KkF*;*VN-PW#i3-ZQi!rJ7=C-#lV;z8v>GgSQ z?8${$kEB&Ll2YzDS$Ol6Box#ob>Dutb4B)+SVnWxt+y})eT(k@KBw)1BuVZgG!tu~ zT_V|Oqri)|?9XV_%60|bBP>jFNzwW3`O{f2EUt(K$yz1F(8;b-*s)+to;ci*QA3K7 z8jufMT`XFBL19pV>QEG@Oq*cx`U3HhK?oG>liL1?Ieam4jelD&PCMkj`f_dv%W;}B zBeygJ@fiBnO2$Ie(&|(X#}=mVIJ@Y9cZikxleJ6%vjfWjACBv`SbSue{TaX;t*_x&Dl-~1cy!)i#jYTU?% zX?`}^`XluJNF~az^p8pfR2(B(0~;$VBYOiQLMt0VSg?Mc59a~M0JCwqlHvsN;eJb9iF0N zx}MK!98Nm0>%(G$S>U57ayHSy40xL=KX^VLDF~OVVZY=z7#h1bi!wz>VBH#NjDQ}J zTw#b#92gy;I1Qr zBCFuV4wV3xpN~Pl0Ri@iXN_@D*R&Oz&AJza{GxCG0m>Muf?*)6n2$_wH8C-uc7?R3!AH4H?qg}r*>yQ!p z!smpmBDO))VIo@gI~5iFuUP2_$Qqi{%EBA4#mrK1e1DfZkwgEv$ZI8rab1RX~aK4`7bB@0*Yfk z3V@jMedsprP@-Qu)bH-j2+LxiDDjWXQ%OWY3Q}oGvY%1{c$Q<&;+fjqpb0FzL^!RR z%-;YJc)q+Vq6WzV0(jTrDA6fMb^jJ;qN>ue`*yhY+}jG2PF*FPmX;-=W=;^3CKhH` zdp816(pGT7@4jfHJukkaEx0voBhI5Q>J>&hxlxOIuYjMW7UV>6XNa!QUUDFY&Q;V9 zFwz)V_qFbmtlp&VX_^p*oL0c$#6$+y!lt@inmy=WcdZn|39@?#Ken_uzFF0Ys?B}6%f=|+kW zPh?q!b$VVcJ1fhKfJ_MKBq+R>i@a2po6=S9M!w#7Jg|PjLh0`Kx!2ndT)zNj-?YX} z6vFyMwFsT5@6uI*N5I3v>+VuyfAS#mIK)(Qw{y|X>(=o2-b6G+jf|c*2(tC2Xv?pt zEPvWeaFiiLJU}tFqnhIhhd(f&=cM@a1Zb;0o3080t7j`m%()eOyT^R&qr->zfJLwm z4qwbSC`Lh^YHnh(o@v=8HSL8Dz)Rj0{K@4L`2imVgn#I5^FzI$wKJ`Q-fu~kps1)n zeDtk}0yFD(Q<{nK2OMVoVfY_=&R@7?X$aNhZ+0^jT%4Fc=Zh4UGh#EohAbu@if@LS zfrFhPP~cspt~xBe@HAIpYwNmxvb2QaktiJtLaGaDPBP+yl@j` zNKGD|!OCV%B?x+yBEnhLpcBlLh%i&;%~6#cAn_Pl3hf z6jSBLrvZ|akg4a$?Z}UOX|0TXV}oBmQF9-82J=}&R@znTidt*~EMQps z;`9m}9il1O|?}vZo#h zn1e85`D4n&t6bIl)tx4;@SL`J6T0wvV3SzT%-A~!s=j!4HE$-1$qIJe5v|K6yt)my z;P|p4Eyv1HTc8c%e9_Pv1gR{vN{S0on$L^0H!RuDEi$jrkMJeQXL7s2wLX5wEa{6F zjAfAs9ZCZRbvw8Po347s7dPA5iUnTiUz(jfwGXc@FmVt2EwG1AJw8%H<}X^hDLGrF z;}%#W?76`ek(lSMJpnLeRx5ejnGYM6EE`SaWJsh!5?T00z3ox|yh_{wmbOu%$r`uI z)9Rj`4(nVE+n;_ro?Hacbw!n%?Vt6A%swAv5SnI9uUKkrj^(xmyc_{0>FeV>DlQ>2{IW&iTp8}d1ycDMCEPffo@0-= zK;5VN&|>e-oBQ`nr<%_*%wkc&R1+-?!H&=-xU9ys?96^JS-OPjWX=Y5!eTB^S! z$R@eoSGQH;kImUX{Z={y%Kh}iIIsRq*{<%$WPi4nzi^N6$SI};+8`JR?-Xf)+aCT{ z&Q7N~dM4hwWGZi_GZd}GLX#@mlK=i)g!0~mO!0^dL$wgHyH+*tG@39vmOd%!)UfoJ zmVYPf2~r(Gh*iUTmCVr9L}Lz7LmF%83Vn}uT}SK&m9p3}4925!Q{}tlrfKHYvq8OX zgrEz_0NoGp9(9arZZXOg zU#-M(?x5z_>Sb0&9W3-ZT`?KYIGS*>xuor^8ixsGQnBe(>WdZNFQMwk8*_yb&j4k00b6+$o=I4BVrX(d_(L1_jA z0NmGL5gfRnk-d=v!-E<4IM#zhRN+?=R-~0@WM^ar0GK5hXaH2-(hNxW1ql`S#We_j z`w~J$VFeX&Az1}s#fN{2Dl5n;erG0q%w2h*T0Gz z8-SgG9l*}Q&dm6gw%~F28`b^);8OmUC}`$WoK_uQC`>7Qw5FUvMRdF)rm+2-hmi)Q zWT8ryWCOi`)83*7sRn~lDJJG56XzoGG9PR3TEF?;)9318E*raIX$%;jd1I=F26NXl z$A}bjL0AF93LslcjN0A3+t(kE`@;u?@B`woBwlB3p%|J?JPp(bt{()!Yx9?H)>^tM zM>kKoj8(d1*4%5~r}RacQH)8fjnP=Si*}&60f^KMK|%K0*$)~|Gbdd{oMB14pWx9D zt~V>BydfD2SwKkx5-Tb|tmTS*X@}t08$KX)efBD{f!plJhD(lK?Wm_}0{4kI+p z$-*d_cD$=zJA(BRRSP{FtX)AZ#yb=FmUYmqEUfnCPi<#&5y9{R00030{{R3W z|KFDoji0QJz~YPU>Zc+4`1ID&(@&M0#}qk%3u5^X!E&SEb7rB3=7v*09SdrAl;-n~ zYbn~=4u%xa&RFO<$UP0xL(qBBMZF#|+nnABD$o?aq*GiqG$IXiENTWyPki%pj)s$12A#2&AG_8l{T)@C_ zOyo5Ox_>@w`B!?5Fb?_Drt>I4tV~VOear(Uf;ABvvWk2+Py%1_l1MeGkJo+Zt^ABa z?Mz}ozM8K07HlNJ`7#W;?-p168)ACsG*pagOE?xNt5O5|qvf{4e${ONq21g(QYWf1 za0Hd$CjX~#PItxFu^dovc=k1rW+b{ruBlh<9oYp}bqw2QPJ@k#DNdrq8ffVKu21UI z_u#IcIDZNZSj}ESInG;0N^*Byg_BPzBH{}VYK8y!TtPLSV^6fh~F7s z?JckzAW-0c5ToauaD!&|EFkuaOPBy{YXivwUm+yku)zyq*6rJdX@quy{Rp{hmdMh7 zL*g6B&e0%DE$EsvNrQF|PhoGL@aj4A+fbq8l5Fv2JB5?>i+l2H*2;!@myi|CJgZmC z(aUJsfc7^Bn47_G>?X43UC?I)=1)!;QnX*KU|2odhakBU$ss<9yI4uxrV6f3R{BJI zX(7C^9_fsi`mzV&CF>is({v@XH<8@4c~)`0Z^|!P4L!OBO*yh+(?*$tVxm7A%BSDm z9ps-ot%hFOKUxUc4^Wf-@Q3spRKr2F1}0gikmvcBigNwj)H&v7a)Iwk7z!0i+|ts_ z+Q!U*0qLt0fD)bkt-dpaxAw-wWx9A9EpxkfAatgv@T;7t~d#N{PHun)nb>-R+hQyHa~ ztTD&X`F3tH#WM8VLUR^8EC06zF_#~rEZS;P;=n0i0x6}oIy+qA@)wj^klRX22w566 z708*vz4iBIt7L6gS#O|Dg~q7XporkuKnQ7{f@XoYT1;MOT^Wr8S=FX7ix~t!_r7$& zSszJz@Az0;4!-(exh_3eu3g^+4g3-zXi5B3goUoD=1=JYA-~=?xIgb3+@JOh?yvWa z0YLxFj->e0zWpmA#>~L@qli5Y|1T}|?=0R%ZFvewZnoG-zp+-l*3p%Q(s3Bx_u5;_ zCD4tkAiUcKdTS?$eg+k}mt_ufWQ2R3UM}m{>kXAvLe-kqBt#bd+;Y zwI}-yAXGv_?#dX`Z?(F?`>j6&g*JtNrrQ$*MOQ?D<}YW4Pz>kBiX$FQAg)^p$@-Yr z%rC;~S{CdD{gw|tqkVBO{mne(960pF#uLO$K8X^Rz-no7#Mo3i&6giPB*<~TsFQe?niQCC;5IyC+jF7@ zDSf0i_9z2o-qEjNV{CWdY-1qVVUDdr$cpj5V3EiTJsFhr;77JHc>|R!wS|mbA>gxo z6AeCdB{$TzS>E3jKaY{VjTu$Rdh;*k9;Up*Hi6fF>s-6U)1bL~D=@`?5d5zsktaLY zu2)STaU4qNE*7H%Vd5uF>?%=k8PXCJT&1g^nv3zs_VZG{wNmp};t7610zR{eyS&S8 z6x8cfsPUEsywzp3nUakU9I`uJA#=!Z<Ztd$_ zC|G2;PtRzP;%)BMnS=f3#xVY zXTc8PHzk{4!wf*b0k&UGSXFpRnEZ6z`JCM5GZ2@A-Xi?4d>qv+21H^ZNh*ohoqTJ3 zPgS+j*s3LeIfjYX+gtY0Ms}H+PTk>j%r&(Pcm0~DQH}|(HZ}345Lc3MU#T~eOfzH^ z+_SHY6Uy$Xsc@QfPhO;?q&KnF`_PAo$_BLyar$hs;TAOQCnY0K1n7$z;+K5jYiF)b zi;{VN5-Up(d76>5dRpLS9%?5mNscLYcX%d;C@cPAM0lgsov)XFSxtm zI5dl%)86fl6VT3o*ssqUBiX;m;4E-`$!&1>G{OPy1rFYRk!NsG7rEzqCVs^6@h?DG z#6B4kg*HG{{K9XDhfKwK1#&7@@J`-Y%Yds@cSK`Qt*^_X<7e>@BBYtrh@EmnNl#Qu!6!0N{Zs5GK7l!za0R;qM|N*CQ5(EYQ)K5$#N}VadFRnZ?kt&;;t@5QJw9 zRA^K*Lc|l;iW&!>{;&*(v)B;sN^G)eR%P1Dy=kc-vNPKM`MBp$vei7V>~@4g{y6qE zWoao(s?=r=RNvE)E3?eaw2ze2TGxFTWEmvggq=Ky&)E5@?)-$dtG%1#kRS?=+w-~pf%yTFSF~$%QRTX9t5`K1F|FC`)FQAEmIhtVKe-W9Kf?^UA9VuWh8UcBs6uLuc5 z=nOp|FzFSJytiUwrFJ#;kCCV5xtDiw*3UjP;pO%9f2UF`M?m17Qfkm1fa&rHo@?zg zO|O34zL_Z>0(s=3>GK|;9fio^(oFyi~e zUIaz!`aTy(!V1X{SgZM?^xh>id%RHgha{jN+yx~IEhdgUXqY!jl9(IQZah{N;)4_j zbdGZEaEl_GNI`>z&-Stoy$|wT)XeO*{bATng2c_++@PW_Krjq>x0a;5;Ft%mb?R#= zU_OT<6FG@_K*us|)0&!v^Oa)lEbUR#B-8Ot>+olXdtX;e_M_edlgX))UnvxcAO zPbW_;xk8Oy!Cy1TWGTjAJ&b7ZKjR6F8hwrVe7+WwA4!|sK{rrUoEY-aHxqh*8a{v@ z@YZ*e8CXf|nCLc19sV2)<|p6G?gy|FQ~u2cg@l6=a5B`hHF9wLjdKnL4qn>Kz~08e z$lx0%?DuA)dT~dHvHdM(qDU4iOW1;3soLAedKLI(bcso=pK=Rq%Uv+)IS)Q*7Q9Oo9?EmpBkW1cV5vPIYBIOc|E-eUQ-SnMKo=4a+29Vem8bFZLY{+odgw9;OWE zzef4IQ@155%on?kc#a#BFn2R11bM$Z3UDHX>It#CB zMQ!m*+PsBp|9E0x^s`U%{TB~|ivDeXYh2Ig(-zq%j{tN`Y3?lA4|pZ`uz@OzWM z-+h(eWr%};k>NpXSQr?;`&Mj^rv(52Ba_De)H42-@JX{Ro+*MdAqE2`p;c7BGxRit zbxkCCF#pKa+(tCU^ora>jtMWj;O5AYL$JENZlmzaa|;*q5z6%i4MZxp;OXIW0_)#`?fI+&awNIpOq$ znx|DmJ+=}Rx_K+Li-%vhW>xK5o(&AvtV&v3kywIufVU>}k2-J}`xtKEl+j&_f}cRt zzj8QtWzy`=z9FZ|ew`W<5i`x{$Lq}ZdQ?GA-j?E7Z?DG5V1#%xnx^!?y@|9GN@Dr> zooi82@civ_LZ9VqN#dKC(DJ4+(Iio2k0{{*6N-QYTvNdDvG_X{55t}0s`w@8KrUY8 z9*RoU(+t$NBIKF)InRas^YVvgQEMfi^=x!)2kGT002^;NLC&)wWfq#M0`rcv>l5GiDCQl)izc;W_ar%?FiJCM zjZ{VRhu5W}WNM6VQPG;o96eAFon_t#JV5#1^t=*4;or$6fF4%&4yv(@!s+JN=vdrq zZz}3lz z2zQ$rc5x1+i;`3-j0CHrfLm%}( z39Q1hF4<9uY&mZ8YC{>Fr@^WlCJ&|4EYNz*@RMT7dkH7P^aRAsxnR7v?p*5-+ z@%6WYyDa#E*o=z_Tfx8R*-D;!OUF4G7hmmwM;czK zNf=uG#>Cj|oU^YWk?Bq`c0i;WIi@egJ8E#wn1PTVDVP>+uCtOkdC1WJ232*k^CP!= zM1JRO0#TM-XPk*0%6?P`j2X6J3W>^185Nyvn{f|Z!0}f2X&msCd32nKWQ}QVoqp8b zvj}&t=ZHHI4Sk-+Y`2c<1F}r^@8dbFT2U(7;ACt)pV+*tWsGwW!m!#syL^}66P2jV zo_AKd3Ihm^TaX5_(-$U}hG9`swBV5|AZ6DNH^l3|S#bOY81P&^ z*X`Watbkt#F{p|rrjKX80x{rG^J_nVkNSh=U;7T&#wR?L!K>lb68mtf48UE7Kb;@^ z2VnAdvZ8+lt(gF<%q%~k_2XCmN6`9TS;k*P`Da>qKm?rlQAtL9z=A;J>CKCL^l>-9@fbH8%0EGeN^YUzIrmP{Nm^xi>omg5%yaAD409e~yh-gRXL~SZx+yoIukVv-#y#=&KuW+; z@f(&ytjTIEjW4;QPgOf>>CdfBZice2DAPs4Yt1jVO(5H7Okk)8G-`NNd!~tq42%?F zo>Zqqx_NCMyaZa*DA{+|&GQ2hO}x{LRMN{mpqB(xg_AhhdlGRETzqnz!S%=mSN_l} z&BfT3>SCNxW)@8hNubA>*tV4_I|9y4p+4OSr&Oe_*E(P?wY!`d?A@9s#`-)V7om}z zRQZdO@d3yN6f>nn-v%{3Q`S;$P(Di1tq=7Qn!rYEEANT+a}!58+z?SpW}S7$qBJtL zh^Azqq;T;>{9CfHvgM@(ZAWY4s(YceY^=UEF?zOm*Q*4HXWppKwbgGOg9Hs6#Q#h2 zicIz%6_Rd_-7GuHT_vf_UC!!ulV8OvP__gLJi-y-HbwI5b@_rL$h^uMOzAZH_?)>x zuLjl6PD}O2kY2vlFpMzmsInJio_Yd%L8CY|6fGHK{H4U7_$(a9=BZejvkO#vZ?e|e z)6fi$?nXmKVDIVf6*a5F>e2vZN0$IFas`VZsj-ztqx-qO=b5QUDUwd+cjkLZgqxer z?tK%aCDEgV(M_U;H{Ou7imr7q`X>&8WBk;<=5&D=@rpARI`+h+^0Wf8KxrxMtIhFT zs<)}2k~{h;NcSEQ2M4cFwI1eb_## zVOvX>I)5aH-Q2H>oz{~_f-Nsx)aln*Cdk!_$o6{mCSzK~#`rm8BHTp3>G1gwg+jL3Pt?!biwsI1t`5vYnmM})*gAA&x5X6Bc3A+lBxqRGo z%#g@Z=o=nIe;O!)@F>NV`!a$@H*@;I%^ZJlGv9nqPJ_bG36sh{1R9LvTkGkoAZftW z$or#OvH3AhAo*MQEfgxWn2ogwq2$9~zg>g;@!Id;{CLgc@w%LigCheW0RJ0qV*Ygf zAAtgxUA5A1zn4-CX`XIOI3Di5SYmLbDA-mCJ?Cc_+IosJ>i5oe ziHov%7W6!&N%`DxQWv2%RJ~?X!6oE5FNxG9GC5^99c-p@Ti0CP<7Qdwa5K)*#J(Z;No{ zClbAcdOQ`wa_^xy+p3}r_!R+A>fFhAE=>k8?n6j&y6qq5TM~k!l6vow%z@)`Jv9UI zs5m$$l(Hu|?9y+EuIoHLuD=6`vQ8u=qshXjDe4I=JU&W+ps$CKl6{*q!iG~R8b}+a z)5FXx1$2uQXM#G(wk`HL9HLj%13L)DZ5U`!p;F+UE$V$PzB`XxsR6_edfl^nVYYa- zYOfQqZtq^FyQG)GQ8g-gn45Ut&O{^{@AI#_;SgdzC#pG$62u{b+nX@gT~2&GckZ> zd7-L9O7Zm8n@Ku#Qnh7MIy(IY^G#b=T0%L(JjR4cpycN1+e^k1@rpk8ccN|9W5c=j zoU~@z!vnj*95bH?54$p-6nf?l`(Wh2hx+LlS^(I#D)hv6&Q|{XniuDf~;vqC^Zak40(cG>45}YfV z7pbquo{<5(8DHdp#!oD}XDh5)$GyaQdaGR48ue;wymBXqW|#olCfBAoV8)?cI@|Gy z42kZ^2ttW>UYZnHQH?Pd`~6}(;KDwj%~Tl)vCn}9!z>Q+u3Gr0IY-&NYN<{Fgp53J z{>_^pA&gK$LI^mb-G&Uu7 zm$EZXpSj~asYi7~)XXqZk|~;3Lp+4RDW}?_DQMDbqz@_%d?2{EaFtO$UTuINe3qp_ z^NO~&prgD<^o(4J9iHxqIG4iNZiqj%62;63i^6M0e|TLNT=)K_PZ z-YES87EwQVqt)MV9md11-cO|g#WStwCqGoyo@HlVt^(s7`BH``5AqG@H zocY#P3)m%av`i~(R90S}B(cP@iXa3hylmvq*lS*!xEp}v=WbTE@y|8C(Xa9i1+jf0 z)+@2GN329F9oH-XSLu>QQt)D44|&X}|H}LB{G|8~xv4iAViP`ud?!VFK#*qGE`{6O zXXAgLoBE3qwATytAfdPQQu5 zMGW!}G6U-JU{mz!kQO8$#@(*qiT&z|?!Lw?}x7)z}zQxTxzAhVro zuk&CnFS~G99-YSv^UuGbjz(v*zlA!4=rr(Xr*V<7TsdT{pgyKbw#*BiB=O?eM?z+d zRhYgWFkv_E!rQi~;{3|AUJ|NHZX(Op$|#v$&YDwZlrL*OIO2IT#R-=gq0e(d%i*O8xen%d3~4t&K92vltV#7piL_#&>gEpy6)e~y#A`M z9)7u95-Ok3i99HB_O|eDu4sEW68WXL$Z2{kvCw_`$|^7T-GuvQ&&-3ca%Gp3-R zYpx+v-j^y~HFvrqmZd3HsJ9RKDlr@~cK`DyzH)$pL=@|t zVSeuzt{l-fNz67>z5lc})aDN_ z@QBw65AU7KgSbt9$7}8j$YN7lgr)F+pYYn^2l*G5`L+C$0Z6{dKkjexuViFkYHed_ zV`BE$r`gQP%+bj3??6=a?*aUObTNN{=p^}Y4YVld6sOfSE9)RAJ{cT3;?kLeWX$T0 zhs_YUJ013wyA|~B`IUmviX>`wJ^i*d&FhwHoyNi;CW1)XMP?%rpMjmtqOGYW@BN4P&2~#8NR@XoBV^!duoFOpw5hhz49Hy#HFLePZKi``1cU~d+kx%soppU z5}siKWCNCUNFX@9KNM#45J8yKF8mYs>hf7%XwhS?GAJ-lt(58`QOK!>Thg19zZ6UC z9vy8v0}FTzTpln+9`Oj_UKY?1&zlZq$v4#8{=Eq4k?-_@ENY|WYj+=Ob-@TL3 zV94Zc;A;AMl+Mm+{uN=LG-XS@sczUMQK|}y#;J4b!f5J!oQh<=Iz)CHGvx{fvy;q; z@9X|VnR0A&1&KRuTPNGmO6pSdR3`3{+VGN5!Q1nF+xw$&WUlxz8Agn05;n(###v*en~DE=x&SG_rSo$k*$e6e_1nA^6zEIT=Gy7bpe^Vp^8I9P1}a?`lV?Q+IWVXADg;PBz{zN9(gSQB{X&+oXFJK7bb zD`vW32CD=VzUgd61n(xp4D}qXYoz*3`MjrXSbyNJF#qNlJ}9GVW92~`5@CAte);G^ zjq_i^eD(X2i1XkVc09S6Pc$c&uBOv0SX*Be>m96O&^YpBY&$K@Hx;%BVD9k59BjQ< z;Z6HA9$RK9Hqu4>%#5qI9-TgyrO%WKSGAJk_~iskHx`@+kP7Z-IJVl$-l7GZ7Hd_ce8gdz~j-Ox*A%)<#;37c;K}LMpF4X z4FYoS#vsmzuddG$hJj)XE_1w=gvE#drDYGBhcCTPHlIM?-XioZQGlzeq$HAdKyiAOQ%;1&D#`G|a0l?10$oREu z(~rad)@T1+IAs)z!w5&cdfyNOAtIhM!P9@bm*eR&+%bmg%lU<}Tmf&tp`%gFw+L@& zkA$HxYZhyV=P(uQDc(lPWQ5hjUS|ZPN;|I-Q)*4sPC@VjIEo!}V^wgoZKPlbtujg6 zU-vE1Y~s-@*HTQNo=C}nh-WMDWo&POXVC@>+$UR39E9NnK;geJCHX)yYddBoZ-(?C z+r4X&n4!xraOy@hct9Jx@O`7Nt3Zuvwq&SqK2V|XY%J< zu?)n7ibAY2^FumN;mVJWS5%|!+LLWUPZ=pceLA-s@d6=&&9upT)|RfgKK`PZ##0R^ z={*k{8%}>krx|KM%j9Gs#5nM!X-AQ2 zGpAlTSVY`L`InDxg{;(<#nmgyQd3v~{2tCs#KE~;u|d|?wjU~jgA<>;1$?*dUHR?j=dQl;GXM^gNZs<=5$UNQ%??qPH3m9<4kIup>LbF ze3diw!s_Xu^6YrGn*tPc3M475A(=%1k=ZNr6-Q}{BzOMSQq1dUOtC1|Yuee~w;xIZ zh50{^atc?QZnH|gidH=&X$*$y>Vf{06huWKz3$kt)D!V`Z9N-PeT-DykzvXE7GSlw z{NDWi7oBfNwV=GbTo3H2UtCR3jvrhzz{&6MVmz(MESix zl!3kFPxt)xZ~KS0!9b7h;bQ_TxqZ6!Ffe zDgPy|@~kJ&IxT0YwkbQkJTa`q%i+CdZQf=ro@$D_O+{tY@$Bd)Ab2{)BG60}@8L<4 zY^RY3_6=1No3)pAdLm?{3`Ov?f;ZGx1twn=c@>1NMBxqs{EoQNMmzSf-K;o zQs)f1VieWSHG#*9S-vT-I2Y4%AW@G5DQpqiKNC;?q@;GOTe*alM^7QV?4A`8qY$&@1r5ZWjVH;chib3|C_&c9;6Y4#V3fF!SK#onD>e z7lp)^zzfpXp%VzH;Oco9$^VbLZ-CBoTf2>|#%gTaY;0SNZ5xek8x5MIv6H4vW81bG zH0Di;v%B}d&)MgkU-#aT@nvMa{_?Ih*L<+%Giy!RXVYfzNh$Aa_kBk!`9d%%Q3_WC zNphV={lHK?EBHOhY;pk6qZ%P_>S0Dk(S|nL(6l_P^%$>ZC8)XBP-u*>{n-WWagn_< zoMCBBgps_dmxKvSHx4W5n}YCepbg|fF~AD@>ie!}4(lSd5T44a^h|uQsAE%fECXZrBa55yIij)noc*AV0vh-g66Zjbf$_yx zXM+kS+zkX~G^|s&N{f7oJo`IHTpR`rg%{hi)l@W2G&y-oUS`3NJE!2GS5<=u+iUiG zam^5;ysLN6@zumf9&e{d-)B80rk=;RCqp|=cD4B%uYWzUgoiWq57k%f^r>6P zl<*WGDFlSj8V$~z?qCqS@e_wKQS@e003OH(U^I|ZgU<7dann9P{q&V$OK*;1UQG{y zSe(KaS_E7G%qD2;Chi5fo2b-&e7B9%d*eyDN*_Exz#2D*x6$6xD@Wk`LGR59w8L(P zWvfyZ-*<#GsZyWQC0DZ8v3rSu+>;kdx^94~%*QvPDntlZzf90oQTBd+jH;olYRw}1 z0(z#DG65A64i{pOg~<>>&uG#|2N_R?8YbHX%4CXade@qAOdK@sF4NlF_%ZlIy1-Oi zo)vVj3pHZwbIPb6C1(?}en9d#f=(Z??0olvkn{^blk9)hznlopjkLfsh6wB ze>JcCX$>8gh@^p6CJ?N-Bb5i5NrO3L*aXlDq$DXlS|)NGIy7O`&Ek%2J>kD&S1<2SL#X{1H1h@ zib>NRmlzUy&$Vv4lRIP=XGA!pvqjYS4-&@iHVOfK70qASq^P3V+hIRxneVP`P6kIz zQGIxa)mBRugox%~b?12(H4;Qpfpyzx@op`X8|5P>jWLjFOxDrWD_p92lXJ(i;o6JG z7oMMvi3-ZbZ?d_HZ?qN)vX2Dw+opClH;@w1+`)Jl4!i4LwK(O?7_w2aG0Wk@!CBKV zA@QwJ8pBwM^V6Xdsxv61^rEeBEnOVAmQku=N*3;1kBGMub#P%I!C&S6q z`W%?%!lCis;p|~;cHg7$w4;^W5?YZ6_upJs+L@aU6Zk{x!I#cr0L14yaZOOC9)e_2 zgXtl#%3}xEVUcbQbkQHM9_Xv3LBDhw@M1^}PJm#MZ(efJaS{_N^KLc7tLpto>4ff- zrCj+8vEokf^-fwD}zXI!j^74NLr=44r)*eSBprm=eM03{tfY&Lh#SEVaf^_*~IQu(H zu)sPcizz=EqY=EMJiI0kiOY3qjWy5CgU$8oi>rP+8qPfFc#U>3EY!K_cHkVB9Yt6U zhY9T6HZgKYCgbPNf!SlTv@Es<)3?#y(Ruc~TWs#-IL3!mNmQ(9J7yaHRf0!tG-jCz`CL z-VD5i_yXmPRf~P>;6b8bP^m>7O z9R`~dQCe`SP`ZMo=j$wHQjE#oQG_tqn6i*+Di;j=n+8zg4)$Tre5R0kS43Ko&h6qP z)4R9M#k0>{Y`wbzj+ab$b)sW@IR_3OTYE(ZfLr#xjT{#;!GZs$^XC25$ z%eB~f+GRi|OI?4V8;=#our{o9#xIwHN;QB}(RX9>!`P=y1K5fI^DgU`fX4|hM?J~|= zzNBN$oTrB~AgSq!-7P2}Zlu$*g^a?cl$Pv~&WUk}{02p#mjZ87IN}cZY z{$WzXNM^Kpl^(iTevL-tx}8t(@$`l9$pdElwX3A(2t|N9k%)Rb!2`A4!b$CE2u5s} zEW$bjCfv)tT}Y(w6u?SzxdOoqtt-7M$pusMn#4@WOrxeZb;>{j4XiPmS;|*#J3+?AwICuBgKDFi-0tlEcB+bFIoLC{x)76atb+ zX3{CqKoZhC#YihV`H&jYgw7DF*rlj46CJ=Np-Z9iv@CAuE!g=djN_4KPq^h1)R;aQ zdPhIt6rVyFrhE?O9iPw#%3NxWz2Eu6Eq?_&(Vxqf)Cu+lNpvD2|Lu`x1zPel3F zWM+Go=K3FgoWJ7}m)wUL$MtPvzB;ben1{Om0_g_rQdQcPzSw zW9d)!%EwDf`H9=(RQdQ96SqsMTZ)mtc0pS665Tfdq6e5~!efAVOcevF3tmEguVs;9 z8-d9iHocO|5{M1%$Kj-K|0(zI$i2cxMipK{f&H6}6!bKKzj>O#&A<0JIH9d(;5UpN z0fwSmk3w>PTxcWtGgtwQg!V_7%Wtk_d6u6}YbYeB-;VgX5%|}Q-;1Tw|Ei76_-pgO z_-=nSxhH_{*!LM-A0YR+b6vthoYV+GQ~A}1cI|6$mA`4=k7Y#8xAxwp80e}9Ht(zp z8SSciL>`hu#y=2W#8U5?3i=|&fdY1DU<4iO(r0h4KNuF%dZqsi#hdU~+Vwlzxzu(vqZjr%2e4IkS4 z^kqkm(LI%Swa9|#GcB9Pp|_c{RIzWA z60y`DAJt(asl?SSRb8zG)Z6DaFqa6Ou4J&}SSyB}*eP4l1b5245=4prlGn+Wm?kZ) z4lVK(j77|uuEmyh^X&mXgyY?oE-J6{Mv!KeU>t^tYVF6&_q}su5tuK6YBF%y`iA6Ri1z-N&4xyU5n z|CYD(FAVQ;3(&kcq_y1bwQ20B?qlyBV}o0F+z!{ws0SG7>rSNEMOy)Kf?%rsQXPiC?!U!6jj;*%}17KPLH4$q?Pn&&BzRJu<^DYjmHd%J8yx7+dMmGI%GIM9$APkndZ5nEpm zfSu%WI2Wc4;@kI7S$O7)oJdiK;cNVuqHgxt&ZgaUn%;grI1j2=WRyh~W!jeQpkwa! z`#ulEtPenGCZ(^mI=-9_EF8-^jtQlJh`S=BzZ;~7@$X*E8`hnEz39B-r}1ec6L_z;*lo1$KmqJo`2(2NqI&_o3a zzwtQ}qY|BIQZl3I@DleuQ38ld5peSt-_1E4k1+9^Xb0lLY95ImD&^Mho+Gw3&Ddkt z%XI%H2WnkFJTI@&QyFkIoiJ(v`F&xS_|A7C5}k~7d(^=P{svF_gw8J) zZ1glXQ1|o#-=q)VbN8MAfMVdnJ?=6<1HYc;f(5leVQTbgZ!V4bmJAkA8_3no+NC9J$^7Gb zn16c4->+;A^fN&!bc-*9b$@pfX|`{|oak!>caX3u=0WAM^{sM~jd?fQz)oej4E*JZ zu@l^z5gfTFAUf^~LNXG`uGc|vBxzO5I89TRT%*`SH^f|TF?~@qz9Pa~d@&5|4Jx_@ zU(rhq*L)7xJ(o=a-G3qqKaw;clQ(zyG@T|D(1oFbvH<`~JVJpZ%$} z!OTei)G3)5S$}XZ_wl^T zYGA=^6QqjCp$bp-2n7F|Z8Cl$+;uyY5kSmaZ5zU>{w((O;ZEtUSWA*F_vY$3(hR7; zU0+tvhhtmYgAVLn{aiHUj3X@L@c<wk>e9+kEd_U~7_;D-|M8nN1znF{7 zDPJ!#n_YX)c~}cTEy{?B2Rt_ql;nkJ(q2G4d?K_&58tY66HRFUC44Huws$Hk(%`8S zk~#ip`vAddj_`$`X?mY7GdO_tlrF@Jy{3kX-RjqyQjG^$$VR;?s`G{6Z=rMox;p-^@Ze221; z3cHns={zJE)qsq`t(P9i1_oe+xS{5xuFwvYoQptdBIq9JI>adMRHEUFid7prGXmhQ ztycp%6{rvQ7BoSui7YHQu8IkJCSS>_9(!adMTwK}j9}%O+=%1=Pu6)}96G9P6X>-K zzxG7AEIR=*Nq-fmy@QenxT`OF5gn4?CP-*`A`R(~w`gQZf`Xtju!#S7_aiRUZuxU}|FF5q4yZ;IA zu5xu`KU9WT@H}A$nc^+fPqx8dOYKj#BVcX&YX|KgC zyS2|%uKSd*5!*!ISvr@^>gOFli4c1?p6FkhP%D9qo<>yU54Uh>zq_Lrwz^cn12d^nrlO$xc7UPQo0`1!kp8@7KRK zSz{-OZ!)R>@Me6^&6r!yxSV*?Zf9-dpd9f+f|4t1w}S60n_~5Sy-CkpSCkxA)osiI z_I6svYCWu7)LQ=MVwdZEc&})at`Dsz!1DOHWs95oE;10uQq~Kzx5<6IK`}ZTuOTrPczE999tjr z9+cCtJKLgiP!F*q8f%?+h^fWe*{Kqt;}R6Jed@h~o+z4gtZB3^_ELh6gJKjqcE?xX zkq`L-j)4m3ZcsFk*eqEw_kN)S5~Fak#EbpFFlfDR03f89r9#6FkAdQis06+H6G#)$ z${^`V>uk}i!q6_TAt$IglM8Ie6_I9Ne?6BllDRqgf`=GUQ>s!aq@PpjRQ&1onUKUh zVNt}>2l)r)J8muae>Bl3`W+$h_^*S~-$dkoLg~N6MwsY+$3~u;|I1JJcc_SvRk7^n zw}dR2I%E-O{fPtyybErTF9#s1b8U&5BE=d(utXA7-%%&@9A-i=_mJ*~ge$1->xDiX zYrvb+%j@%Vh72AY)J0&7Gl4HOcY%3-5=uDe_bwt_f!y`I`6@F02P)z>8emVi%?vUg z2^4#~nLqj&e`oL?W6GbN@sFs;cK`qY|Nj60AphS9Q0wh|wHNuXhjl9w-48*pX^~Z0`($r(DBAYuWL9E&-y$ZE1pDqa(WYu=G)aO5yQ=W!yB% ztIlgKm<)@8qXJr4aV}5V`FF)O1agS^G#XL&S{t=3Y1LJ_V+ca2B&a3O^@AD6C z#I<5RtB9DRJDWS5-p6fl!+%1}gf{9>j?YAU6ELKFbc%Wppm$CHskmc^Ce7ctA|sqs zg4NStrKfEGM?kp0TB$Qn0pxXO(f5^q=5S=^j#pRoumTwQB?6oT#!9pFL7?Fy%U5k< zAn1%hCEa^Bw!?=t41jv;99ca_2d?a!9^%*s7fE1aD5s>K-kca$$d9t*@lSa$>R z87c4Arj(dGF!IGsx~q!D>-%!zg7-frwS-^4oF(ula_9!(HY+BN8`y8qSbfkTE@4vb z`ADdkftCECgDu^QJJ6y4o-fb?=u8txhOEEbHVdAkhwP+80ac5&LP7e5m%_)z%rTgLPBtn~Ww z17vD{@a}|2&PAts#aDf8%|!>M5gH7p;X-BpVP&?|-HNBBl z1|CUI8&S;R~A&G3;Bl ze+(mkdd5G&J@C+9#FO8WWMJdq*yx@l*u~irm6^n;Ml!s|sp!yynx0xmHSfkMm+g^JSsYdSyH~3;;fv@(FT@v~t=>0C<#UOe7f^0Ep#>UX$7OoL#zYt!xm?3dssrgV}61};Y?=oA_ z3NP5!5q;0ChRJS)kknbTE_yGJnD5;YBYc0BUt2ET?L{p$=GLcxN(cDc9z&pfc|egx zF@ldDX7nABly)9BRdDVG#9CSC9=4sUvK^CZseOad4Dl}Kq5-mcw>-ER?tEJD-&kNKj`;3U^SK z_3HJ8@u%83e(2BRVY*l?H@GpB(}LjIP2{Dsox4X0qU!rTCuFMlgB4&(x1_uZ(Kf{( zI4Y!#&nO@Mgz~{pC~xxv0DC#r~`06*ThK=Jcoc=F8O^c86!l)cBW_kUMAvy;u-!5v1jv8k9!;(oYRgNVL8FPlz!|zVcKy z;tBRUw9|*n3|nNP0+N&Kz_?da^zS_}ua>OX-4WJe>&h*pd7;wehmxBfWm%CT4t2U8 zVxuqZ`ng`CHCLoFp0Zzu3sSTK6A($Z=G^- zY3@3!gYu8Zq-o{rX9q{+-j{*gc5eFxw`$Ub`w8I$?5?ZS5K#jyF%A5e$R7!dJIYdp z1gop2sRp~q*JKgOHT(S{(a>2uleU6WE2Nkp&!`&JjVLP6(lT+JGQ^GO`ImWbJHd{y z>bx+8SuPFqIoH|I3Ac?MktZEhVp&_;%&4J@6ER%7O^z}t0wXsT#v z!)*#jIk~E1HmvGCbK0C*#3n%wig=>8e{If$p9(7nuTzH~f`$<(+~jF!_3Tb#&el!h z;CDnDpiFe8h{ea5O>n|9HW`L(U7o^)G)r9@u(!>p^+fckSD+KtmQYNAH|{OyImP?v zcaZU7`4iABCg^OLC4R1dmg=+C%ae@^=?Cry3g2$E@2RH8Z#z3Z1rGdNTTQl4K#v9^F&6$ zn%KX`O})@gGOfoX&WEaw;niU&4LeXN;@S2MMOR@DaKL=ky{mzw6Lk%-8|x5pE;9Cx zbL!T`NSej-dN+0#Wa(Z^|IYFj**4CYRz$qM@ezl@-bR@2gZe40Yr$#+%J*H!w1&DjpoQ?Qm-al)K!}or@+g^dJLo_=nVc@j{qD}PZO&*jyicQXrqq|~h3~ckZ~9m8oZOn;_Mdw!=@nFleOdA|3YF%d z!{znqFC%S&(ViZuRPJ-Ot*Uj*kuByEK>I{CJ1ifj(W5`{iYJ@VO_=5q3Qt(k%S?v; z#MkSU1Dl~e>6b2#hREpxj_Kr_^l${F@p*{@zUb3IE0r-lI1iP$%0kP*j5o~`+naTq zwyI_Kqe3m}F<%r=tjC2Q9j%(8wQxX&S(kB&j4H#o@XU_xM5P^)U%e-{rZMZj^&B;# zCm09>@G^P>^XjaXDYgT1Po~eyP72y4{Ha}ocqne?n~lioyS8!h+u16FT#V2bMbEx;FBxdM}D$DRNg#F)+xME?np zCB6ePAmD%S{EhtrgNpJ$2`e}fyojNmn;{-Go`ki&uAzk~{ZlXf9<*aubhI-!bv49$ zWolt+X>VwO=VXYdXlVYtn#Ii29FN~l*WSU@&Qcdo!qLvr((&mUib}7<6!|6Ssp%-c zhX#oxbf0!8d?&l+y7sP5WLL`2&fL(=^!b+Gc1rys-}K`GKlk80vuO!y^Ixv;e4fJd z{qX32EDfM%V5VbZU}k3iUXY6JZ_WQdzw}?N4tnoM$5_&AKAu8_$m%~E;hy9(ZngcG zCY!($ouK?`8pDIcKO*)9@FfTQngLsVc*{=kbr{h*n!Iz?4ZcWpV%Im0xSWp`MV(#B zS2c&Bf_d*OB=261EF77%4sVnU9V=btGEKZOXZ67T^iT_Ypfc1_Q`>n60I$GG@ib~- z-rNQb_dkS7w+3AohT*HEyDbA7hfrlC=@ue1C`Eh2QIoPcEN|b>Nh7XHp%4J|tgPI@ zmxWIED#{LU!uO&2_>agbcSI_ChY&E*ZUsQK78GHzER8QvS#owGwW<+PZEfaX&OjgT zMe_+3B{auPj`%Ru3A@1I0>lZge%ZY~kU{%1tTp8A4h`($TI5pHWWM4!l!p;f>G`)- z2T|~@o-jm~uO@3sXb+p?m_d#a6eD(Pt9aTg8~FIU#ce<~A`E6xkgftaw~6*J7x`vw zG*I<=!&Qt)uxjl!PC{!lwVv6NcN~(Sq=*&NgN!HB3#8xuk^wxJ%jR|!S!Bk2CC63yRY8kmGlC4 z`H^TRmW1!(jjqaW;UTO@sJ+p^A*;e~W!tk7BZlkl0W#E)Q$GL+o`3w5MWCGvpR@ji zHGmgSUG4Pgj6{ zWFh}nG5h<5zvU48CbPxzYk}_Hn*W(g{~hno*t<|xnLGv9hmWD|5=HL968aT-7t~nu z5VrVZ06Y4vsie2Z>{eQP+y%Y9C3zZn$wFGF^Y=Rlmh0&&>#aKedS7h}7_<9{Xlh+>*{O5*hr~^YMrdu21*3(m{kq&kvb)wOqxQ5S&C5|h#p|i z5kQ*rGe;zVhfxw#mk0%O_qMjO#xEtJzlLCbRx6tL;( zwbwm;G=6*alMYENM!cNRsk1woPQa()zjHtS+wX_*zwgyE{sV1a@}$Bpe(!eJv>iY! z<*rltf+p%J#GNsk>6_lpnG#D}dtXk@WOH^8#)3}iz(^l76FngnPeIj})vTMw5c@_; z|LWU)S2sTmmdRR57YH6>)1CeqqtfM1rF&NbV)M}IBd#gI3gSvJlTCE(ZdP+fZn0fn zzZFR7Z20_iNIKBbNql;B;`M$P#Z?{E14lG6>U6k1ktp^uo#&(p=d;-+^kla2Kd}Vz z-(KHXB6DCC6#QnO%asO6b13T{lZyWBe>1~>-y8hv=v-N17InI~q`0rET*^Uczxiu9 zq!uYlu)7L~h(!zpvu+X?=9zYDJpbMJ%CrFB4vl&7ot~>`r&$e|b;%tt7O8>MQf`=N z%Ge1ojMt^Cg02C+er4*cE3g9@ZzbiO_5?EOK}KaSlvXCk-iih6vhMbIm1`zQiKgtGz@>`f@{ViCrqlVv70%3oU7#NK^$sLThlr0PeXYRD~DiltAo{o<<(iv znG8rD`v|RamRi-Qvit4`)@k(k%h^z1;fmF6jcLxZ=>=n#DNPbmWN*A}MoEZyYRcS^vTxVKrYBKzB7A_>saAq0?OE9bg6Cm(1+ z?W}y%9#uH59U1bZbq)^6^k${(PX~O_ULOwbFU%MAb$S7{o+?5p-q%n=QlTk|Cyy$w z${9n99a?!=^Nvybs*xM@N3$oqz;PgbSloaAPpi}YIv6WpjwR{NKvjW6?-@7c-%I$f z8_EA!Hc&~CPZXR>-b(Jo;MRGv8|NMXa77YaT#I_q1y#6RP;up*xBb1otxG|W+A!TJ zEJ78Mx~1Q_*_KaMHYl{ohKPB$*>c^zGlShG`VHh+b{v(~Sh!<=lVLOruxmX%p?;am z8^}Nt|GvlTVUpBX*X==x&TZX7wEnNfh;eb|g*&tgv7cY7Rtx~ip=$(0=&9+~mDMbz z-jZAbkhW_nu{xym%6hM>(Fm?n5q~+5WN@y@!rYb6!t0#7#|}d664;q&CP@{t(JqE& zRag^tC%s=0J`JfKcvaU=Mq)Kv(96-okM#OdHXNnA$`TU=Q^jQ~mSWa0+K<-)=zTdN z2WcV;$n?uxAN}IAlg*|Y59A8z-b!2t9kvU(y|f#u+!qtY)TEd~mG7&hZDHG0g{Mrx z`W5=CAI$j&`Mo?P;XUkJ-P8uP#oC`N%`yZ6+tZvv zs`fw1Ezk^iCNDH;H!tTKE2`NWJdTiHOUFpXB2#P#i9YIc^yR@hH6ZFne=q$gk_mpn zY?wa|rTln~W?*qtL_jPSSGNp+HmB;P^`#T5VsumoAEEpDYZDL@DR}3}RQLGGE#zy9 zXZeCBBn5tU)c=B{!zmxaq1e}sT|x!65?M6*{%C>y+i*w!CrHZ3Mn_N2`kzM9zqTf- zTzqW%Tqf6T-;4OjI(S;mOb0uirI=i*;=jIj@CT$V1)>fd&lYf#uF4-_X##AEm>2B< zM`MvZ`w~pp&9l#XUW;)hW>T><-RQ*jQa3aI!H=b2Q(SpNX!ZKO2KB~aEbqAa>QOrpe-KQDeHqFYzwg)**Rv?R0@gIYLHFiu-vT zG1sCCkE1(u)SlE1Hq6t(M3o`F!?~7WHBKAr|bExo%6K^h9;&#Z~$Q&x5U=p4*WCpj`a7DBl4Ewbj4tN3!!d^&He zJE91Qnx34bi@Fmxn;wO@0SL17Wa44M{OcwBagPAVGU-%Dj!)2LAudjWBIt$|5&V&y z-l_d(wS}_Npj50oz!GJDOJSNCed_WW zuiqnIN*v|gX7MFh(ktG*8t)dyB`lkT7qv;9b#$>EwG&`+v{F&~1f)swntYfL12r;O zpkQL7AL5qqg}{ygxt(54v6eQ(M09z>%ni_dWa&PKZJjXV6)NiMH}t;Frh z3r0Pg5HbTTutFQv7_as}N4K3c{z;BAyjENUoiR%f*h|cAMSoN9KaL{KzpOF+qq9T9 zApEg%^z%4+UiHtw{>?Z1O||z~NZ@ZPl>So}|0_<%tcD6h#F? z*o=_MSBzO76nvGYY<9cl9vK!JSxBs<_F|rerd|#Ww-^E!1dT|wgjF1Ud6RuY<$n4j zRSaOv8o>l`yXu{@$Uzj3gFsU$Q-lhoeQPX#8zVE7@u%WZ_rLO4L054A;UDa3QyUkN(c&o?M&#=CGo zTaAkO&>vwf2sgtj6Y^5NE zgK*4jJ+H@Wb_;BM-9Jf-Bo})M?fO{xDim1iG>Be*x@LJxBlg&k_$eH`IxSfB zZXXMKiP~l@DV8oLWW7bHh;&NgFuE-4MxR)Xx`=tPFNv{bbFe#O^x#MvPCOcnM8B+Y zmYEv7$;ptaR3*yu3_O0?7bsCH4_s{0ZA9f7Yg<9sv82NFRlkWX#O~`>cGID=_Z`Z7 z-DUE*kQ>&4BB8kZWTaYe@ZN*;S}3Q637>yQ65ls;zCQnoQoyBW=l$oMR4iwM!tX;v#m7}y;6VK6v+Wx(5uMqcNQc(A}biPwHY6YMM509w<@Tb`N5_8qAdm+!)I zIFOH+TIAtEl2bwW{9k$rnZ~IM?GIhaddOf~fe55sPjM2W@9ss8N(o1taBi6OHQf@{ zr`@CglB=t#Q?Fl7Si+H%eY9d~VYq?;y)n$2=VX0DusgM2$9S)Gir4DIML0)xd5yKN zW-z&+W9Nl;HyBbIZ7ikd#w%U+vV;A>?Tid{ng2r62Xq=<&b1Wb-NXT~(Uw_76MgI} zKC?ECal2JBR;8BGmkITzx~Bp$4qMsdP(;Ex5bvkvgfJ2(6kclhyB@b+iX4SSb%K>= zNa|%g3WHpY_tqg0^Ep1Cmh_6h4y0{5qI2F*Tx;-8QS~W73X|iI5xoejtA55}>nAKW zf5KvgpSmx82*VX)eCuk0`YX-)eqjKAL}QuX6AyAa((l9rPt3}}(9X)x0Z+kD-|>55 zgQ2~luAROKo`{{bqYXXElMVijlE8>5$cua@B&t7|4htO89XUMEy(=sVl$gqRj7V4MTqQkAYwp6lRE*(GRKAf9bT>!|C%`ce*S_sC~RqEd( zBbtA}9owT%!}l6xL$er5{#XQQ z;A|zr+B8(ErfrhpZ8sIt3C2&(qsFsHa!%CyqEJ0gk`GrnC#ANKL(VFYGt<+q5E0Zx z?T|;#1qB*7Dq@5dw2H@F99zO36!ETWZ$%c#Lm+=S+c~V124PF7gQE6fP2_2wreXb^3s7R=|xB zwa@m|V5x@^7K-fga()fv)dax^sn)9N1Nyd2aGCVhY#2w^BB`9!V~fE#qkzo6wW`#$ zMs3TzZgT_B-UlMM2UGQ8H_htLFjomzwYa6KNOlCKat6~BkCYsuRM$~6)auG_)0B4d zLRq4*!5%?v96!lxThjKnYV36xdlB>=8oqMCi7cGj{?LlrZc{JHQD8=tzt6?SZcOw7 zTACh~(6Ld%n1}VJJFsMAm;4b_=D zz+T1129kl$V8#$hYJV=j+BQO&BNpfWc zRw*UFY$Fd0CrHa&Gv`#{@UxLxfb0(GhXR+f*wKpYJsNt~-CRp4Ei@%QLNc&v*9T!% zkg$%DbD4kGOQlnA`&dc_MAJ6y-n?$>9*sHi=8`E?!_az}L8RudaawZd4Z9VZ#vQ(ly3@PD*(^lt;=f2CtgBpN@OM%o6>+t?uE z>max4R)3g5xYo8ZNd|(%MGu_0=w=bs1&-e3y(ALJOO^=&He8^{T)ns(q%rk#U{p_M(o zAl<9)2*@dFXklS!WvY+Iudi!hX!-Pqu9d-WC@5xS?_lcS_?&KL|1JBB=C`b~pH~6? z*RJwY3h{f*H0B@R%}U2gPxo963}Fy2J;P$inNR@V{D8p@sn3FNFvYF1>jJ?*7AV5?)*i z#h)a98V{lBvE`QP2^AJ65Vd2HrZaH1w@)?|Z(o53CIk@Ga!7$IB?$=udmvF}fJV0MI3#3fhmY1zzz-LWl+2c@Xqncx=CKE)N)Yp` z8wXG42L}DbAHM#rFaI$L{q}#P2k?C($WJ|h^vu3SdyN0#h>Vwg4c!`@Pa3iZ(d>qr!2Z|P5B0M^M4%JKP! zaOdtl5j6ncz&BRtq^zDIzVVR)<5@0!znv3oPXGQmYy_RLVP43L=?ut+hztq{B|+PX z0yc#MS>vL=U!es_00030{{R3W|KAEQm^Gdl>s1TEOk`f7HpeW(JkQQCg5jaVDs7?1 zds3!ma?iB7VaT4%aj3gsLqi9s1$%7GLB2}ti8}vqN!ekO$Rf4!Po&a*xy*~mXSk15 z&XYm3C03q9q}yHnBwL#g#^CxhLa>V*YKH8pZm}tL-0A+>!T1f6XH<8yHu5qq4Xs?1 zVF}6S)uSfEc*tIonmXHIo9E2F7_8GTAnJ|U#>I!;r~q(u_+Fv)$FgXR=FK=_t%i~A zxry@M3t@njk)}w0v=LdX&GJ=1+^h^2)uIT@CMw^ zSh)%dStL&8j;-@Lnmv(|^Q0!}F;&xDDK%@LV0i)JCfmy3-$uJ&H#z+hRb)fN2#@zH zvGaW-pj!dFo549OdeCfn@Z^pEM~-$=GU`)U6SEQ5t<_owqV0H(A!H65w^E#lk8^^%oB#hfWp9Wv$ zpfN%JTXkG)QH*_*to%`(2)5-CFe8NYFCwp5fTK~NQDI@Oy-WzmArp0wx* zYOSFWKBd3%*n3qQhpM!Y1A~}7r|Si;s%mdw*S#YYxlnvc!rSEXp)t2Npj5I2Ol%^Jzo$iAndh`oj(N*@xb9A*>-b1Pazr z*Swl_NQ;2LxW|x0QWxJS<8@&N#mHG$(>3ukDF@)EPIH)GoU~Ed`R;=m;m$<-njo3p zXNk4rnKg2AOdBsE-8gp{UxUnqRutt6 zQ(WyM9@y0!T~T_4%eRO5D_+y`tSc2Q7*)=$>daJ!t1+qNzmu_O#zmiZd^gh{I~dQV z3kME{DFWw#W11xxbUVD^cn1IwiMoMJ&FwXJHXlX&L_ zxN+_p)hfpS9Gk4?j$~jOJ6gF=$C?AAWzZ!AIuf2XuS6yn3y~WYf)D;gSaQ0=9pWR@ zxh3fmP*h(>EoI;Ceh3?Ru+ucpn~tni%b)geP!9e!q8%d<^6^<-0yJca?@F{0 zBX)o7H?YrBgwHR?Dl7R@m;wq3L&?h2&CtR6_lmj-H2gI5q;$mJGjDL70o2j*?`7B1 z6VVZT$5X5y2YyTCG&I1IHgs^dwln`8T_iw~NVJ}?Fufmn$K#=Ha^IF5jxN4J{B;k^Tz=EX5vjjuNGB+};6+#6H0X48Bm zrv3RSNym4Z=$d&TF$={KjwtzvJ|%S*en}%fDuMz?3Q#Y}SRn6RV+P;1krJQ!SgqWU z!_SsBdQ0yewW70H$qOHeD)xFBECT(ygaqLo#rVjmaRiodn+V+`jooOc{@k{{tDu*J zK2b;@4HGZ9q8jZA7#AN<81mmjLL z_GdF!k_ivqnmeOX%ny`tV&?}f2-|C8=$QzqY()FLYJN3!th@3tkJ~6u>kR!%aBl>f z5P1rNBM|);a*`f%psiXxA#YX`bwZPn37#cs(u!j~m=-CteyQAQoDnef#f!LM6~~nG zn?Ousm+B9R4@?WK+w#hr)tip))BG`@3tFb@39tf3zg(2}C2(s%m=ptG|U?!(+u7c$6=Z;F{XuzwbA4VYOY>tv|l(#JBYgHr`HmQhF zdNOHTq_5`EGXtsmRK8+v_QZx^`X#z`w8$cw&cLY)hjHwa+z|HGRrt2O0?5CbdZ44} z9uvOUjC8y|9cUa0(ii|kc-{PlxnA3NN#r0!^dvtA<)JKGFOpqJh8?xBQa|Id{vSa5 zZ%|&BqsR`_k z*?_P4ELor%ca?+yPC-Xp+}LB=aAYz-?RCE51@Bj6UDsssM!l9;M6R3}B##$VFwwHO1&++tgA%=D4D}-dn zt%R`GEr*?m)1gC?$(qWEz@1;5!I&S1H@@&9>3*4?qYgM8EYGMyhZO3F&9Otf6RFFF zraJk&Bwzwzro(ycq<=dAM)kI94X(DajVS6l2vm6YqyD2r7f+}b_<_ zoetnW^}@!~#vd&Jx!=R)4@n^?7+eWET{CNET|6;2y=VPpHw#mJwa?~ zhJja5=NA@}|CV_F1cX2GOrD52I~^+%BjdN|=&#NHj$8g!)U>{ZN47{}kgs+~cRR7K zCT9+YpyH<1-3h=s9D3NZC~$y8ZUc`y0A@;cefx|8J!5XPoaD>C!opef6p}bhG*`#j z+*l-REXP7+tlLgXzvj93lCqYfJqm_3yIDNpw!$mOMy!#tX&joi;|z%_ z^zp|g6|)noedJ8Y{5a49c(4N(3YEBB{WfTG>Kc?1Hi^%MtEtpcJ$+It0|;tNBF#ub z7#z*8EXyJoV1XcHWz}H9xP{(Tm#evte^Ap5pofbsQuUwDzxb6^(x4WLqu2HioLkF& zCDggn+Aclr`Ln2Lt^F17f||xlr`468;T1~{$y~O4 zFq`8u{uc+lA`!fHLD!u3`PP&Q04tB|jb`9*`!BICa_yq~{kUKFg^e|5QM||B(htmV z#W=cbhGCBG2tAa6KOaDx&F5*(zQaqu8x^+DB5A|f7x!~oseSHxWh(}3>pXl;?Dco+qN)ckEFfwJ+oEJm$PH3$T`)93T ze9{S>!oyj&uYVqTjZZ_b_G##4{9sj1m3Z*WvrW%dTm^{*mLFD9H`dSw(gsD#QH+f7dtH6$qV*#lqfo$Wu6 zy>jNwAjGPwg00|1l30U7%m`v*l z1J-xhU%?Q!YNj=3G*FEzGyM>Sb>t`7{e8H~(aF$3e;b{DU6Gg>zK2C$doAzan$rkn zNKSq|CYAdiS0w*Adif-8gQ`+|qrEaZD=J6^gWV|^BCHzlZB>&z%UO}%^K4(Hu6bVA zCZ~Xu2spUpt&8dM*oRBSuUy-Hu0w@WaKW9*4Wb2N_a*0gkCKc}_dpg65I(xvf1}-V ze}y2-nd|Z@2F*bUYDv~u%4oFk@qV_wwkR)j$mkqiV6c!<#a&<6tb|5>=In6QvWz_1 zMYL&^up}?!p!Qv2dyPcy%cM-VQ!75(Ws?&_sUZ*0Wd+0Hg5%005E~R>;N*$14~jL} zs-E)JbIK%o6EpK6^w!wN1fRzBu$c!XO;Hpvqm!5Radi5eyZa-#1x(XZRY!<8m$CQ~ zy_m~p8}AFs0)}aSamV znw8*Y6@0lk%A6G#M;*6&jjNxqpLF{Wo2%d>AvYseLMyr!J=&n%#=Dv|BuOwsy6;aZ zUtbxF|8%z)odH!u!^d0s1%vVgP4yL%C{`iZd|~huu$>#j=7EW%)vI_z_aW80^UakL zx>xrjLZv}T0H zHJ)UjPEfbk!xW(j!U4N?NF)%oKLee@uFTA-$F`XcHf>a!W4qK_CJl3GzuEU{&=`!9 z)-IrFBrqR0U%7(4^sT?FGNMJG_?n>R9*-6Uh)H8%<;|`FX5a_t=hrRyeubegD3|p! z+E_7-Nd?q9Lk^qHlrl+6g&`^$@c`^v@t_fZ+tmEqP0Cx3G!GOL(6vo<**)!G#h~G__pkq%nBq^5|C3A=XiOtt$ zuEPMt6uWq=%FH4DT~5+WEM>;sV|-x2z1Jt7uo~u|y=9(ai_yiykB;SZs&c^&qz*65 zF&_@Eu+~Ybl9&7WSgr>gK>gX{*yo@*bII=@K55|Hfau5}QcwUtoyr>lzLFCkz%5Uw#;`3cb$6S#5o0cmTZoii0+i zwSEFnoS)J;oIN4RSM5f2CnOVN&%|33iuOK77>+xi*sTw+KWad$-O@*?EtI5*@gQS^ z0Wtl{l(f%R>^Bu`>4-9}_DD#hyB2A$g6+8I-hsss9jKNqV$u?IMKp#7tsAx26KfM1 z==+FVWpZI~e;5$q!+q1F_4ug7o;5J8m5ym3gs_MnQxED>8kY3lb1(Z7I5Z3So`|bX zX!ks_#*N*ZHL>CGBmgJ?XvDZhB|+d|s0`zYS=Y+Kh&Pt7U2bpgF0>7V-w(?-Hmi}c$%%&-W8RZ`+u=A0KEC_v(4F>WCGO#wMYqo{ zpC43)1;`I`rF`jNFEbHy`@0=2@7n*{ySp>|r@Ol|($W72gQ)(K-Q5L$wln-i7LJ+m zm;UuHL*|#^{||oQKUlx>M;@GLvgC8$w3s+l)HVXbBDqu#F%{lw=<@t>4%C~G`Bi;3 z3=A_+S{}g?oP<0p^JZ2UQ&+-sD3<)d0p`>?9`aHD$VT(o&z;K$(>xRfII{I+@vpY@ zW{QNtc}58S*;0Xe{XMLeh|duDihjB4W-@$+h;K!Ix4-Ad`kk)pr=7RLYdGcdN$7Rf zIG!8rh#w|_gB`acLUKc$g;p(fPl2xPYu82|rJf#(b_;;$)RX1|Six%DAs!CN!^A$^ zZrl|_l0ocyyf?A5|71;8N(j`DR8PjIPO4KrA%b-R_OgrgEuAk2&vRTt_A@RKlMko( zyCuA~|8C2mWB*TE#?Q_Cz{r&UNy`xao-Uwc|Gu=x%D~Lb^t}l5`HP;1%rC?L`#mn?8YCz`ntB;>w-b$k$QrkY_dEPFPP z9jLNlN_cF0P_&1$VD(S>CiUV44Qzj9O0a@d+D-llXr5Qxbx7ShN?N{>JsXUkHuXasKr5GgioDb^v zcbb`6FvH4IW%ug6YUL{#iFPc;P>LNbqljPd| zOC>#Kc4Tf7c&DCwoTjof77-cINJb@pHobApz>V*#bLAz92$~K82GKDyPo`B3u}3WB zpS(hTieRViIB%7<2`_qmfZhYGkUoPQpUB8nSf-Z^;8db&Y6XVt)zc^tkywE=qq_u! zDI|Pxc&*?02J}tdRQ+XbGD~|=uv0LIA_#SAkT(`9mlsVQ)~A^et)bRZZi`Qr6|)yk z@S~i;Y(!}mvB^E$?Y`KCy!r5&#ou^@4eGq|+#Af`g+rX>?z zoTWh1xh!=q2k}3)=qC^LcHs>6M?7&NsX*-3aUZ$8lDhYcAA{jC4N|brweO03l0_&* zRRH|-4YV>O%iF;(S#*9`$~{!XI!y5E%k;+Vd3s~?j1j4y$q6XHw>|&>fP%#1LLSeL zQ=mU0Me_F!_e%#iWJpm1L#rR1A*kpme)s|5ukR7aIO