From f08968e093e254c7059c856bc7a30659f9b4708c Mon Sep 17 00:00:00 2001 From: Herman Venter Date: Fri, 27 Dec 2024 09:39:41 -0800 Subject: [PATCH] nightly-2024-12-26 (#25) --- Cargo.lock | 52 ++++++++-------- binaries/summary_store.tar | Bin 4444160 -> 3656192 bytes checker/src/block_visitor.rs | 57 ++---------------- checker/src/lib.rs | 2 +- checker/tests/call_graph/fnptr.rs | 2 +- checker/tests/call_graph/fnptr_clean.rs | 2 +- checker/tests/call_graph/fnptr_deduplicate.rs | 2 +- checker/tests/call_graph/fnptr_dom.rs | 2 +- checker/tests/call_graph/fnptr_dom_loop.rs | 2 +- .../call_graph/fnptr_dom_loop_souffle.rs | 2 +- checker/tests/call_graph/fnptr_fold.rs | 6 +- checker/tests/call_graph/fnptr_loop.rs | 2 +- checker/tests/call_graph/fnptr_slice.rs | 2 +- checker/tests/call_graph/generic.rs | 2 +- .../tests/call_graph/static_deduplicate.rs | 6 +- checker/tests/call_graph/static_fold.rs | 4 +- checker/tests/call_graph/trait.rs | 2 +- rust-toolchain.toml | 2 +- 18 files changed, 52 insertions(+), 97 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 4ab8f373..83f0c5fa 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -99,7 +99,7 @@ dependencies = [ "regex", "rustc-hash", "shlex", - "syn 2.0.90", + "syn 2.0.92", ] [[package]] @@ -154,9 +154,9 @@ dependencies = [ [[package]] name = "cc" -version = "1.2.4" +version = "1.2.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9157bbaa6b165880c27a4293a474c91cdcf265cc68cc829bf10be0964a391caf" +checksum = "c31a0499c1dc64f458ad13872de75c0eb7e3fdb0e67964610c914b034fc5956e" dependencies = [ "shlex", ] @@ -251,9 +251,9 @@ dependencies = [ [[package]] name = "crossbeam-deque" -version = "0.8.5" +version = "0.8.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "613f8cc01fe9cf1a3eb3d7f488fd2fa8388403e97039e2f73692932e291a770d" +checksum = "9dd111b7b7f7d55b72c0a6ae361660ee5853c9af73f70c3c2ef6858b950e2e51" dependencies = [ "crossbeam-epoch", "crossbeam-utils", @@ -270,9 +270,9 @@ dependencies = [ [[package]] name = "crossbeam-utils" -version = "0.8.20" +version = "0.8.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "22ec99545bb0ed0ea7bb9b8e1e9122ea386ff8a48c0922e43f36d45ab09e0e80" +checksum = "d0a5c400df2834b80a4c3327b3aad3a4c4cd4de0629063962b03235697506a28" [[package]] name = "darling" @@ -317,9 +317,9 @@ checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0" [[package]] name = "env_filter" -version = "0.1.2" +version = "0.1.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4f2c92ceda6ceec50f43169f9ee8424fe2db276791afde7b2cd8bc084cb376ab" +checksum = "186e05a59d4c50738528153b83b0b0194d3a29507dfec16eccd4b342903397d0" dependencies = [ "log", "regex", @@ -327,9 +327,9 @@ dependencies = [ [[package]] name = "env_logger" -version = "0.11.5" +version = "0.11.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e13fa619b91fb2381732789fc5de83b45675e882f66623b7d8cb4f643017018d" +checksum = "dcaee3d8e3cfc3fd92428d477bc97fc29ec8716d180c0d74c643bb26166660e0" dependencies = [ "anstream", "anstyle", @@ -486,9 +486,9 @@ checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" [[package]] name = "libc" -version = "0.2.168" +version = "0.2.169" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5aaeb2981e0606ca11d79718f8bb01164f1d6ed75080182d3abf017e6d244b6d" +checksum = "b5aba8db14291edd000dfcc4d620c7ebfb122c613afb886ca8803fa4e128a20a" [[package]] name = "libloading" @@ -677,9 +677,9 @@ dependencies = [ [[package]] name = "quote" -version = "1.0.37" +version = "1.0.38" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b5b9d34b8991d19d98081b46eacdd8eb58c6f2b201139f7c5f643cc155a633af" +checksum = "0e4dccaaaf89514f546c693ddc140f729f958c247918a13380cccc6078391acc" dependencies = [ "proc-macro2", ] @@ -863,14 +863,14 @@ checksum = "46f859dbbf73865c6627ed570e78961cd3ac92407a2d117204c49232485da55e" dependencies = [ "proc-macro2", "quote", - "syn 2.0.90", + "syn 2.0.92", ] [[package]] name = "serde_json" -version = "1.0.133" +version = "1.0.134" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7fceb2473b9166b2294ef05efcb65a3db80803f0b03ef86a5fc88a2b85ee377" +checksum = "d00f4175c42ee48b15416f6193a959ba3a0d67fc699a0db9ad12df9f83991c7d" dependencies = [ "itoa", "memchr", @@ -949,9 +949,9 @@ dependencies = [ [[package]] name = "syn" -version = "2.0.90" +version = "2.0.92" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "919d3b74a5dd0ccd15aeb8f93e7006bd9e14c295087c9896a110f490752bcf31" +checksum = "70ae51629bf965c5c098cc9e87908a3df5301051a9e087d6f9bef5c9771ed126" dependencies = [ "proc-macro2", "quote", @@ -998,22 +998,22 @@ dependencies = [ [[package]] name = "thiserror" -version = "2.0.7" +version = "2.0.9" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "93605438cbd668185516ab499d589afb7ee1859ea3d5fc8f6b0755e1c7443767" +checksum = "f072643fd0190df67a8bab670c20ef5d8737177d6ac6b2e9a236cb096206b2cc" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.7" +version = "2.0.9" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e1d8749b4531af2117677a5fcd12b1348a3fe2b81e36e61ffeac5c4aa3273e36" +checksum = "7b50fa271071aae2e6ee85f842e2e28ba8cd2c5fb67f11fcb1fd70b276f9e7d4" dependencies = [ "proc-macro2", "quote", - "syn 2.0.90", + "syn 2.0.92", ] [[package]] @@ -1229,5 +1229,5 @@ checksum = "fa4f8080344d4671fb4e831a13ad1e68092748387dfc4f55e356242fae12ce3e" dependencies = [ "proc-macro2", "quote", - "syn 2.0.90", + "syn 2.0.92", ] diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar index b9f5078ee60a84c052b8c4fe0cd753c1da92196a..70f0b421fce59139331b61dd4e7754d6b69c7256 100644 GIT binary patch delta 72857 zcmdqK2UJv7*Ec?MXJBq&Dl@|j3@}(gdKILDy$kk+h&5IavG?A4;U=lSp ztg(RJ1*DNCc4HW+C;}^iw!195=`0IF$wLx`j_f-$rEl^QC#?mr`}JGm zWT)hN@u}$0%s&>e#K+ImLN60hB2lY^-sU##%$?2U{}7&tfj@rmXBhk;^u{Gl&Z_A4 z?c2iN$v+$6&ri#IYuMEJ3I4{3M7rLIL%b4_k_PwnN=isiIPFm&a=di$7!(M|g%^y!=I{Z9x<|2;y!K3^l`=Tp}|Kx7{MUn1l?$=}C3BxS&m zzTv(>{&oH82Kf60d-?kL`uGF~1=MBh2ANwns~_FALDOa(8+naRNJ&Zd`d27~N5@7- z4{&eO)VocW7Jh9K*??ekJ9wyNm;dP@fR3)fZrL7pZ8g{`@$+0tX_si*1^$l)1p5CP z9^b&g0D!0Ne+v%`F7t}-H8`=?aK0l^4__y3&r`ULs-`v>{`-(bC|M;i41UfT@<&-?$!cBNkNeR}bR%Mc}jPkdJp_7C#; zf5&jGstlLMB!p~7|1%uIOitQ>=B5{JGE8E>Q=nXpo+C`$IUJ`$FX|zO+HYZ3z+0%veeRd*9 zqADc}a_%LGqC05@H(|#^4?}xN#X$8x{@R@qRV|H zGPI(%B#gD+`I@aRIX(s?UqHf)zwVVozuF|SM!#+r+ob+xt-u5NND?Ko;b+Hq(XV1r z<|45dDz;TSQ6dISiH^2G=8Y~J#3tn3Q_>kP{z&DERc$A~q>JB*BqS{niNtEG{$0FF z%s+)vlO$@|xogrxHXa7Klq89#!nXe7+Ck?PTYcDTq|R2Qj- zOPoy-XJ~0lT3Vxsk&*_?r=G^K^sB)lEk2tf=`LYc z_Kh7vzseO^Yq9reNv1?5X|>dvE|KEAb>c((LOoE*6p5PC#@wY$Y@A3dazrN=OKi}y zBuPWI>74`(+Z~t=glR}!W@pK-n6?ewU&OW)Y0;>ul9u#+tH-hI7+B@`sgg1Do#H=D z>}Zg+oF*AfyPjVf$9e#DVVcB)zMU4Zk!>K-rcQ^+_V;PWu`Qr?BrBWBP_@#tJ z$5wO0@xptOTrra}__~IDt%VWRFOx_un53vtt$7*&?Td4Nl3bHA)bB~{s+ef#FI*nJ zuvYR)!Z3?0x3jPH(7VrVD+iQ!7%+{GmFHmdF(MxM=;O?<2WL<>lQIQgx+sOgr!x zBwZ3y=_T4KFKJZul-Dzf+Dfa_k8f;uoqf&1x-aKi*rJSO5+%CT$07$O7r?r?ZH(Jy zwk%zw6M3Ti$WS+Ar?bk(W}}j~?_ggmp=T6(RpNxq1}Td?VyyG<1V_tP z64v+T;iKQm@nlQsH7Of-SNZ%~5sK_>m4_W&$)n*>sXwu=)uii_YlN;j)FPeE$7x0> z=)^^tVf*#O)M!VDRSK5tL7CjElf^aZcP6RGMvufZy`0F*8{+N;>B3svu(#vq3Tm*a zQUhsVjh-#F6Z9agls;r($Nvp0BBTx)*{S4bnRLliEc?CEu!#!!&JoduT&uIu2Xr}U z$Ckbn*`P~@)P?x-Ct^cBBYHLAnW;A{p5x1uSBZoKxW4z@7=GJ*7xhqPan1S_XV!OVYK zd(&9OL~GALbFVwloOLof~>@g1}$qX@Fh_5zq`ckPH9rXYYU%Z<*+3zbu zcJtj~7+qq)?2W8*sIq$>d=Y_d$bTBtc0c{j%2i|_UR1FFYn;1U`asKd>$bZt{jO#o zk>0?o796Mn_S-9c>8@TE^?n>(vaix@^xwJ-(Nqdr*TF)qAeu7x{xrs)3~wM{_@HjV z5KCtL1@_0(nOS!;Tly4W8aA7Igj1dogw}Yz%w@|KiS#(>g>;gPnRrUGjxE~{k3)QN zK}lnzG-8%>_b^i?1*NRf87EiTs6ATzUZzC$vn_|?A+0RHd#>J?aH`4$j3{ZTg$A`; z2UBq0Y5@Re*FT#6tsM8XumJDLYAS#9tq2vak>ufv>EzKmj_VW3y=T~ZcMsG(R-TVD z3?O3mMbP)Yo|Hm}f{86GbHxfaU1J2tX(%$er;<1!*Y%s|z(7(nL zdZ1@^(@ICGfs(WqGUWa{>;~~q;c@QFc3pC%H|=zB!#M*iQe@1nLHC=pWj~3GxZ5y` z*)nFxMazh4a7{jBp+d)fnPfa~4AJ3lr)Q(;iZJ^!8oX{C(b4H=?&rT1pId3e!GqC>yEnKLUQU=xLh5d2omBRbqP%F(0Rq!y2}P~eP37VRkR zS(@38k9)R8;vBB2%dNsl*lQ%lE9Y61NU+Z%uTGBK;Kwt;hsaK3Td780KKfzUg+^-B zXW}e-(yweP^=0@*U%iM?Y*cA=wnR^L@Wq)Vkl6|mZ`CcLpM9cZmOS&|4U1eU6EwHO zK%osE?85JnHqX1PU%=}K!_M_y%B|~v*ttR}PE+jN@RtWfDPA_kLrHXly=|EE1$MvU zwbYW?JM&c(TQWjqM3F-kGx1Ii%$K2eHE?4~--wLMV=b*wMv@{Ad$cD0JpE{+WmSUR zBS7$}EfGxH^Xe2YI1p?3NXmS;SWk zyLJVU>DwVw9!x*HH<|v0FE?J2$=IQ}_Y|+Np&yyypVvn06PRNj15-8#m~8N6&mVav zY`stXwJ0u_%fW9F`K9i8sVAY!D1@$CDTHar3t2-#7lfG?(&u>dF9gD<-GfrtG6ch& z{G=$wF;mD^;?-F5o}@{9Oss)oQmvF2qE=gq5q++;g`_-uxDzBoyz2ST8-|cxo%Q}( z@yflbJUlj^%wS~fvb~H5J-3(W!mGd$l4H z3H>z?86Pz}49@-M0~xGlzG=SpTk#+_@a+{(i8%T7q*USz2E6-?B{;{=lWK2c%a+69 zdyH3>;Fov3Avep4+}w=hW+py2a}vhL3RUOhAgK%#wfA_NmTbvzcxdfB<#gQbFr;Km z@R}Q!*wRwyIZ`frAZ41?`{R~CduV`Gw((0|$kQTq--O|PQOqK?09(~2lS(>^^N2|q z(3RE7SJ=ygFmvj4i53RQSPz4YagsrHHFH3HB_Cz%O+t1x`Gc$>{fypB<1r)N(I<>)F!p z%nwB-2O&!uM>oI`=VeK*YR!r{ne?l>m9gDaEw+JF6)m*XEk z${;md<9ri>_t%n^QW_-29TEB8NKn^cE*~!vvw+6&Vds-bfHDaI%1%iG^X!Xxklii< zCIqNL%q=2Hxt?NrL=r3q!OH+QInK1DN646G$L9aWmMnmSNl`u84IN$0rQjFCXwcN! z?VXpiuNA_P#R(-XqB;Dz7JXI9SeRUO)g)=5G>iBEHUA2k0i|Ep;9K!R3@VPh0bTYSSE8)pV9-pX6f&#E;pF+5!7DHEQ^GK%2^5$5>#R8N5?7I^wybSpWyYuey zw}A>nJxPf${FWF)y4P;BFruQZ@jHk6r96yV0GzhX*h|@ zGXGXmiMP9OZoJ*l4rVsZDq$Bd!EoyQEMEc@4gs=dU zpcHeZQhbEeXz*P+S)*=$G}4JKjjVJZhbs5kj6u6+#ComHT&0yJTTMN0By>lfC~aO;W0em?K%bDL}>jyT_)c_8I}-@5ZI zVCgJ!vc;Eu7+r1dhqw9TAwlXTa&*E)9hg`Tb<%HrI?<(xmEbuF;9)2l&ZT&ZhScBe z=u~ObKcCd@A`^GQJ?1j7@3-%9p$D0c6UvRzyu^3`nMq7?A|)`-bpWPCeP3X%9~M-b zXX3S~WMK`=uVYBmaU@aaF-}^|fMd+RmLnli$5DtnKco?`y6w^wuw~0cPP`wbF6RpI zgP$45mzLcRI7%Y21KA^-kogw>)<4K>`yYx(p#M_ zek=ZTP6H?Ji)8-m22S7mtyq2;#Boho5HV*l;-`cXx!17~*pc44EtCCcAm^fj3>c2oD(z;eD>sP5LbWVQa(I!t~UoOzaKLfif+}#)@X+ENqTDcT4KQ&Hxg~zsdo()j{3rrV9&EC$zIN{%f%sc{PS| z$?Q%Xh;JANMZyZ zW#xF#5*`ZEH&E27DR*c6*s@fZm^JEt)w&q>nCiRClDnAplC5AD-UfC(C1{mRJM`ri zTe1XngO*&g_d+}Jt%u{0dJdvoslOJI0*$yPQMebLZ{Q$JDRRVTtC+|L@eVIa;lN*S zr*&RgP15NF7(o0OVv+7IRkIfL3oR8>Rs{utYi|4 z=8XqMa0xct={b_!0Po&`?ElH2DUki>MnGEKMC^=J8C;N# zJ0E)a8f;=m#kHN0s+U!FlxNmMS~O8U6^Gv7PP)^*CroQhzwRi;M|V`AJ&Cny{C9h< z?fh)xDoAAv&^w?)TX03xC^+$#!Q!;YH-ppSIw~uu_0AgSAIp}l0k$n++hC~Kr^wjh zy=T{A%MOd3Md-?HD>pI~21B`igpAAZ{^dMdG7g?Fpp(-T2BAvTCc+AQ|F4{|4{Yg2 zkQs^0M#!}muT?;TaiwJ4)~{qxpU=ZPJgi9aG3=)!U&;6a{h7H$);n){ceeC1^a<4i z(&u88^d7c~CbG5LKYgq=7d?i`JQSzm-mG(mNMR**aYoUr{A;5m2j8Y>LU;8o4D&o# zlk1VF8Y@8Uf&uDn9<**u*$(>kd@+tY`W3crsbd_X(1>1^YWsg-(#}Wvj@t#Pl-Nbc zxgP!Q2Rc8WG2pPk>=~nYj?b;J0t;%>eDYrclTW&4Uxbz%-6W@Jg;HQ`S_B379Nc;- z!7CT9v#8Jvziz$??}!xOCNBov_z0;N49g!Z&HJr@85OJ^#FnIr!8vY&9~2$2f{pZ4 z(STL#Ya3wlZliM2EAXV_R`7aje}{4NzmXu-6i|r@kwxr_zj)_su?jiNgxT4hSAwss ztdlZ|eQhi^kRSv_`5YX66-123F*tw3N!o22+CTR5z#Ss%Z5X)~E^ zol4Z?=mLV-#@r_>jB79~?^`i{>^$u358`outg<4J&RIBiewsn>bc?&xnuI%NA>3uo z^#hf~jIPVDWrtuKa8h@ak*g@L>nm<5LF|w)NzR)$eiVkK7mWS5nKGyYw^Ct;ht|V}^N2-rX zYYc&_fd_piDKUk9T_(m6SF8NWvAF_5%5_@~S^c4c8i#}LcwQMUe^-X9i*ucY_2b46 zFLC|4Iv>@YOmy-M0yYQ{ROd^v>k(KPBki6HFT4m7O7x}J_$yiNv!|jo!Xyz8maD~3 zq=yI?{^sWe6@JEp>hPx=_M7AHm6xDCFLuSNF3D%hxC8EYEs*0WOiT-y)eb`_aUi z%7Uf}DsdB3lAfcmM&qZb$D>;lS z*p-ytF_hi`Ts!-?hgCeNx&v>(+OBUac(3rpaRllPA76thy#>R7s{3o4I2o73}A zEFI2@-Caa*-h-PW1CXhUoI_`K>p1*!x+2hpo0_-~-bX<^a&;%TdlK`F#1M}XUDZj+ zr;PNQUX|g-wR*V0llm#c#JqVs{VP1(0nmG8!!pSV-7%EtVTGs1ju}j5?v9~45AO<^ zCr*OBgV0czeyo4;c;FX;_2|KPr*r{Dc zwvT4@hSgxp5cCJ-_*pV0@I@PNb|kKYVUw6eF(Xe~4TNR12N_ zsO*6jZ&F&}{sGG6u4-;v`%UzlpDGpM_N^kOifjCn4m>pKw(u6zAod`O3=pnm^c+a0 zst+$Ntdii_LzIwUK8}Dis9JM3^*uapxDqfi^@yuMEWZwdntLHGJw&#Qe7tHATech^ zg~Iy`8T+K>f;f_3dGHAq503(yrz@f2*k;Q+Qf`N)P;T!{F%zPeK)JjW`h!Y)F}4pO zo-}5#-!Xv+<@REnyBP*irsU-R&NItv?nyHgh4^BV0GL$a^^)1dgz8|Zxr0f~H0AXW z27z*WZ;I>QO-0YLjwdEyen*_3&znpzc|Y`T(4ER+;Kb|Fn+r zrr%_W@o~9CIB^C^h{5+0BOgi^g^Kzs)iwVKaZit&Et}5~q&$T{;?pevR<>J$@A6E( zV#Qbx4Y<$gu}5gg2a~IPNJEPl&PTu*3h{+F%M)->PHp@|%Hv$U8o$Gj#F3Q)jUPyG z@f3nfjGYROaqL?j(8Cl*Uq9?vLj~E20<8()t$7yK1tCkAXPB%IY zFH66coNy%)Wt*hS-$+p8FS2~R+ne}9-xi0!AB>d>U%XKz$2tD08&dY;8#gl?yAH#h zwo7C6CY15Gwl#iUPc_ztd!PKJCx5v0@DkLLmT!!}1&8Vlb5*Yh(j1`Qysxx&k8iDA z(83_(X;!Oi|FagnTsHK{A{cn_82Ag}8ccG1T_-6yhkB8tG8CJ>)PtKB zsVazMPRF<1BWaNram8}@3sR! zq*~proONvJC+G%l=3Tefqi(VCd-%f{Vx;q$-2Qv#BF?^ zssb?NJ5OqHU4B1C!|sg5wY|yi?1wV0*~5jYn^%sO9*@Qx$fn8y$(+K$m%o zvDvHK!&+Im{au&dZmwh_@$~TW81q{e6x+q#m9_Z-ydah+3uo@@#!E2N=I=`x|At+I zcp5=jz6g7FgGO9xO6q1QrNsoVOa1q{I8?wq(mz1KY^28$&f7lB9cE+l$z; zAI07n3h~oroU5qrI35DHlN5c*+6F-ZJ{fn2Q-cOtX2}8BxR*P|n*;L^)@E&xh+wyxz!D_Dfonl`%ysKEf+C_m=0xm=3dM5VvC3s&M<3nWpLw~$25>W1k#buDNSCwzz>VXj^OKL6$x01|!A_;r9 zzt*>soJT~0+sDA2Pz_9s-#(I@P1d-uKm*%H=KLn1ut|UfPSxco^H))`iizS-y8TVq zZhxcvd6Z#-0XY4wW~_~(w88CLkm%H={6OSH5`s9Cx82C$G?n!)uIl?WX6&TjQk9VV z3XpFF!?onwp|nQUYS(`Qwf|2+o8dCdA+3DE4 z#~LE%Pp<8t0``WWDUJ-$Vy_tMD^jb~7DXa~Ydsvr&1H-5hYqmms$a}3v#;O_#rcdj zaOv~d4%lTS0Ekf7NH+d}7bjWIucfH#TGShY z#5~F`pd8*G@Y3bhN*DFCX6b44+n`Eh{i=*P(vnB@U+j5b8E}AqMyJG|Ae>SG2*T-e zd?-Hzg4L<+Ghq8Dru-maTIWldS%GihZ4Lsu%T;SQ`5X_flPAzmZv)N#={~qKTe2KX z11*Wv`Qx4W*0B^Db9%Q4t_%?_EC+V#r`8NwV1Nsh>FE$O*z9Y+K)I+=jzJEuPP1-1 zLK0cY<)6ZxUs!`veY$_a1`ZDuCZM`$t3pW=iN2sMFT&|a&Z%}0IfG&XV7>-tkSi_@Z`uRmOej@XsPmJR zx>{&UwThffucfdT4y53xW}rOqjsAG4t@fomeWcDgfBNkp3dhbX-wBf~QDj@K+T-8Y zdw_r4(c^dU_|&by@46PUk+xbu!gptLu%)Mf1b_W?ac5XMQ~OmWCh^u^h_{iyguq_s zuy*NawhU8sg%AapDN$N4D=CsMhZ|`zbF|QAg>wBRwwQ)COSZvlyrgWs0u>C>USZk~ zn*1kQTmpjib990L7Y^1Q6*CTX>Xm*YK~GL=BTz=Vb`y%)sJ+cJ+|)ho>n2LHzt>5u`V~bp}t?=G9cs zR^4!+-!7|ko`5Rn0Tn?T7xa1ef260t6xJ!5Of0YxCOPVyXqSgx4A5mWruPdrej~+$ z_mXM5`<%E-FbKqe!2>bVy4M9iwq!b07dsr(rckU$|B_Q|$to%k_Jcok2C^-d46a2gd*Dq&8Dbx9eDYAm9Jc-?jIcFMcPd3f*-1 z1G?clU5~gyzmpE2f&!6KxQ!hu8VfI%x}DZ~$`!GX*X;z@-Ke@j<*;|d#n-e)YpMsd zOZBDS9;<}CZWZh+EfG8|!0!F;-6JS)^3?iPZ1GJhNMwahy4gNOZZlvNemY+*&qa4s zjs@uc%+PFh*=mb0w)i%*L}|5kFHz#0(A&y@rQQ0oB{Kjp4FJ{$701~Y;IXW3x|rK_ zJ_znKPKNe!l-Seu8CFdpfKOVHeT2PB1))g_-Cd?{-;sX^1F5#aKrt#%wzqTU+j8DW zV*x5M0&mi+p^U)G8%225z>B+$M)4Cu>0^w~(dIp&*@}IXbqD&LMKh`%*s2NT&$MrZ zi}ku9IoEe$qZRZ!OLr=$UM19Cc+|MiD+)Sv%ZN?%+bjyZ=17HHJJ*u8T+jai!g_(@ zbLTvTCDlVy#u+D|2}eSEGVAR_F_~{YlrY+<0R4IZK=lpoUMTQ<#{$o%p)Q;4a<*t0 z&l92De}+FxZ4B#rQ|Bod`)zpkd`-LO=*UrcHv88Rp9z@tP-2Ry5I6e;pkzKjURjrC zVxJbeB#J3Gx9k~P%z+PqFF2%j(pjOv&5py6`&wO3#(e(x9=7;32v637Q|RLMIyJu8 zS_g6H;l7$bXm;lEstBUC2OGxf3<^$e9d%SABw4S(%!9_gglG`W)aEZ zH}@v7#cC=T!*(GSvw5FNBiZ5)040fE&Zy=K-90qthVCA7zQvM3^xHF32wpc|hiT4S zxMdmrPIiV04#5e_bq7^U@_g4JpoiKN?sm>Xuxl3?n!8u0_Wh6SIyj`?BRwep0~I2S zjy3yqe~4LmAho|b*YW^xnO2*_IJWo`6(XRUcT}gq?+@xui&_m2aYxfL9q^YwU2eDhb` zDKRtKuebqQvI)imKQJPGCKpcXhES}__JhX&kqjzS*yTW^#6$nk&0x3#2Thy7G*?g| zp{Tf@eIxRi61UCN1t=L=*!xECSSt#j?PggCWcp2e1K$dnpZ({MhAL`Vd?B+7t(=__ zZ+oU2OwmuiPz~4un6|@nT>-P^+`u7h@k7wB=7sJrF>`i02M$c=qL+j|7qc8Jh0vMB zgzg;o1EBmE=pC*x(`0$NWM?XitX88acnv<)X|B zrh9D7sO{n9lH!#P)_AeE{-l_xH)q;C0hq47dI0M8O^HSU)_VSWfOW?4zs~Z#+tk$; zDAe07Z33&Yqr$_;!6J6Ju?6lHs6VFQrfhcI1IWp!kZ=LHHjVUW<(g%(;{>^tmB@vb zBbVRDW`&HmB>(>qzVNWn5sec}!ekSAlF2&Jq6~qK>_zD12lvAkNo>Tv524?#4`{gpnD8sz7R8k0UnTvl@I5RC1dmu z8%{7mhv~OZsR#^Z?c22CF`KgzVqrAEztz5mu#- zKV-;AbBt%vxy*xxZ_{e!)&pQbaK!qlPSHi@N{~M~Y@*W>>9?dbXrK^j&;c?~IupdMk=~ zl=z@tHD<$Igz2*R$DP%flhO(E$kaN}vLQU~^wMaH@}Akr@zK3{ImPt5EFCNibY(vb z#8RfuaII1tO2O~(j~ZQZtAl!qRjk`I4UPdaj*5un^U+{qL(+)?@6OO~R%(pv9^D5Z zUsM7aUJm4ymp1t_6!X@`uI_gL8M$lEdI;k6sYnc~^`n^a&0QrtO;+!M+vVvwsOwBB zeqD{Z@E&0*K0n+`78)rmG{d@v0-t-pgSBN%Bevu^Ae#F~{|Ch`bSwMBmK0Et<%ff) zgL*l>`c!{_VqCRbpR>gcpy}d5y}y|8n<81smUsYt;kn*KF=NlU?HB0cmxMkl>gpuW z`VvCVxv&b9Cf8yP&iYMs?tK=pZWces2Wv!G(&#LtJcZD6Yk;4~0Apr-j&XlIpwJxIqRP zeH>DKS7^4=-Nr~U15$gAU`zgj#b5HYIYlwpx$ z5;Mn!-Z~)+vnBwBVfKc7LIQm}kkG^5ET9DXZaqSeZQgyYFy5yS7?1n-YZCxZc9V*Z z!~ouD6_=HHFPeTw@28@oQQqDN6I_R|4MJU3g}dOvt!-S@%#Pd>#Kxm2+-xcXTRMc_ zmUQIzfD;|*ney{bWEs&S4(^S^ZiN!x=trYnr^0qI@9!Prk&4DghmtARG5YKvONho< zNrav}r~4y;{*X-Q$0hv$GFOn>jUW)NKX8O2kVWJ0Q2?1{&^XGLr$usMtiI^-Q~g8S z`gqt?F@u7FceBM18t|p@HhyAe>W(Lu*%Ei4*@-rG6!UrJ)S3eAHJQ+nElUmxbla(f zPP}bZi!Jel_9Lg;*uyWV7std3{jHu!`eSwkwHDgnoCWQK$u-3~|{V0@)!rI}O zxi*89iuIk^pBF+z{mKxL(ZT>fu3KrdNy)5goLvZ*|3Kj^84H+0Wav!uks=`k_5J-CRJZVlN8#OJv2rC{|NFpb5c${Dtfl<4L{@-C!sxzz(3h8hNQ`&5n^>bYY?pl_ zjh|}s0Nd6u03=M8TW~*`*q!tf*qvs~p)IhzR@gM(SJE5(NEF&Cd^fZ7PaR}lV8jRF z3}CZS{%g()aM(+MX0w0W+g%t5t#=78z&+dz?qY_z@(@5HBgD}LTZ%pW`5>6iEvjJy zJcTu!QF33bcTWeTno!XV2~zH;$T{2RlMYsD7dp&E&lfKBT}sFK~C5uPQVvv!$N z72jzX@KeVcvJ_oyeq2q;UX4U*0?A@Ob0Kn^8=l2@J=z2gIUT@kGr^ETG5ZVG!!A0F zYJ@LLG7P5_JFk_khw51cmX`;ZC!ljv4e^Q#LoePYJw}MsL_JWbD?}520gxr32nsJ1 zfi1v@SfQQsMN`gifA$xnl;yOPhqmZ z`$JVfsK+1L0+jtDC?R*FXbv2d22zb15oS1X_zLae{x;670O?YQIgSdB6|C~A)XoUen2dY zmVXd5)AAI|;BY(la{_PAA>f(L0I%QKofib&lq0|^{1bTkH?5%^%nHRGvwML~oHJx` zK^LCFFD)!OQcVQVamIOrtAcwRM4topJ*sgNewW9fivtRc(?eM*KMAJ62Y#jjFhzGDCL8`r8uiz)BH=~h@mf8!3#KQ08O2{I!D zs!cW6qXHev0IkShaR35UML1gSV|tF1h2dHB>K8H3`0n3ZLHG92-Jw8P5zdg&E0ifM;FoXG)>Kn4aYuB8uGI!xsf-0y3Xk56w+peTX?ZMai%ctRc4JEi;}!+e zP;uuZsHYo+TN&g+EP|MR>Ab-O^}KES{JRamY2yklJ^uB=XSVnn1)=0BHiGHDkU5Ij<7_+#+Yho{gVSc2V zH7c)jvaW#$5`)1w&lusQ;66ULA$5ZQs!1~;ihx0TKt^ZBVtHrd6@_N#!lh#Xq-m8l z+@#!wA#w|7*<)z#Am-uvo)`{rH7mF3v<|s|7fcfEsrpy0FHW#RhZ` zK{5$EzQ$dELbIUZx>N501P_2B_lwk-09uoFuGhh!I#SJ>A;=6&sk@AU_|r7wD=V&% z{eJj?iseYENpk_N#Vc%saO)*TjZ%}gLDK?|+EIxVe3pWIZ;kA6YZ)G%sPAxjfTwu{ zK29fJJ{8;#s_xJ6&*{V`FKyAy7MM_VFU013MkvL*_E|fZymgBtum5aO%yXj^dNxR# zj28W2?8$`wasbLMB_M^fYq@lryInr=@VCukZcUmGn0+P1zhWc2+>$+HbH9~rI}8%G zTX@zCIBnmjT3|S$Ut_oxKB*@l72Qikw!n#HVe8eJiSDbK0xs7pacNeC%PA)Hkx?D} zzl5d5)F$ww8F=Z|f}F6O(fdr@eKhVdINNWv;W|3N(4rCsIVvD8A03C)j%V%_?gB$7 z0Vxkdk;zVp){M~JMLh@C&Srkzt%rJNr4%5Pqb}qP;I3WKSxlp5oujIx7^HuSnWrkI(zqP7|}{8BO8bSSe549<4;#lMHz{ zF9gJl<%`8|ief6}7xTuLE5C57>=OX}Bh?b#WmL@@_boGaX1JRVFTRHZPcy1TOOlbf zp-)F`?UA{k6NhcZwvUvWTRAewZK+R{N@!lCgnJBWY5JaYzq)a@X!+Ob!yQO$Zh?20 zZ6U(jp1lun5PEVApcSXu^@Rc_&?43F5xr3SP;&u#aUdc~vA9P}9}@aoh%`j7_N2BD z_1tHhP4~EVb~wcT7U+|UZN9?d$5-)=m|94v)-@sA<(rFQksP`ZR43YpWwIxQLGi>Q<}?Dz;pd)xHcDfB&A8c1Uq}7 zS)x3Qt< zB8io)_?!kmW9-1qTGf0Hr4V3ZNNSQOx^2^>DQq4X-7lML^Ayo#b|1(YqJ>CFY;(5- z9G^UoM`tM(Zirr9O^}%2_zXQd0fN|iXCOtXd?LCx2-anQAZ__&KrkD+QbSkEeNBaE z?J2-M6{D8STZ1d?gM;cP^Bs(c`r|-J#UwzcN^6S>$@fXKy{Svx;`SSP+{4+@; zD&qh9V9c!uqCQERRv4;MpXFSyKf~c8ewOPcE!yyofFXeNQ!>vc{{p+eWV8hDf;WS_ z)(RMuSIa2|^&DynZS=qOhBmEQw|p~jqX^)Vw7_$-Y|laQ&DAbUpyTcmI`&crwLtsi z0;xX%IdB6;xe0B22pD#v0$a%2k z#z#Q9uB25=rH=&R4xeoy*^+vNK$TUpUQ%(Tv2|6H7I5G9UqBwyx@FNj`Z>RBNSr33 zqTvzo%m<5OtAsW2*;5loSm&O`Qn)-q@Zhtjf~1Hnw&Q|@-aM~7dwN_08h)}LMIwr% z6^88TteC0a{{vJDC&Pn$qH?TP1o+twk$9lMls^{u*H-_hs2c0fHMAa zW>C7D-4)hjL;w`L3nlP1%Jm)W%xHYHArDPnV3)-T$oJFN{vQAPRqgKp1GQs8Vw=<(h*pcr?P$a0}a9t84q;C~d*6QE=wFDQR0# z78$w&OfWK73NKKBE0jedc7Z`}c)l2-(rsu-E;yQlE@ZaATO*hXhFZv3F*o_jl+QfI?F5W*)Cs#_IhQr;c0EW# z?Ims7RYLED@}f)(zH#2}h*IO|zI8A>XQ;$C7FT|gx)I_P5oI=QVVeTT?fx5-dq3}$ z0&8w3)JZ~yfI)6Ndh=JZrglPZGyaFjEavIk#AyPL&u!km1Xa{oQy*?nl6HJf@nR6P z`@!Wt)L3o)J#IBfhxZISo9HUCX)6D zY9`OnA2Wcbzwr5NWdyTBF`wZ>-X77$d>r<%HlzVR)_gY#$|#cd)ygQI0VZ&bu3ImS z=3Rp?qkLHcW|Fd04`&kMiF_{5y_+eEd2n!8WI2!I0z;!<%utUqk`_ZdJ{NEcg?96g zcw6#rBIE)e!%SIpUXRCq{1E(>8y8`UXYNLDgZfPxY7JxsA1upMgrAlxw3E(ME^= z%88D4`mlg4zAot?Vvvv7?lF3q2#f5#dKjD$fQyv(9G{|N!+_Uh_qJVZ@eN4_oR(~Y zD+L9=YT*S9_y&eN0B!^hkFD37Etvq%WbSc#hF||k++w~{ODO!Ul!V|OV@z|!%uU1S zhGe4&!Np@u!{H^b$8ZS7(xsA);W%-EX^NcN)1t>?fFfHG(viQ*g5VYqd?qy2k%l|j zrV%Pli(|v#rkQj}WqfImg&GVG4Bs3>^GT9+--Axaf4%)?Y}xjKpRY&-|4*Mj@hIWv zP^kY-j@*b3-!@GZGoiY{bA<&>-3<$3?od{dP|}74e%@mmK{40n4|*p6Fn&J)z<<(5 zco9SZP#z@heP{KAav-7S9U^qzvLBiWwCpIM(>ILjCiFM$IP}Mjc;D_7)Lx<_ojM|) zvo&E$K2TeUibCyOamNf(wu;MXyY?q|!?j%!(uv^L99^De&!PZYABittG08NVZoQ_j z1^fIgJ~X=L{@TUI2Z$M|H%XgWuMhGAhRd*$}fa|h8$lAv<+nsw7G{lhb@^2@*k!4 zBPr(kj*)ML{;Xy8^TeEeICFu1$2m(ncS3MU5iWq%a`43SPDNg{=5hy*g?A?Ouac0? zf|YF#wRgZ;d;8vM=I)sDaJxi$OM;aFx=M$G1`j2zzsICH{}V7}M^D1X7RkasN0No) zSy)dH=yCN4{mDx)OQ7F2B=pRatyRK8M>HV|J=#Dvlzrt1&zCl{w};RE`Z!G&XxmnV z_J7*ttN=t*3;+Q?EP z4@tMT6zi6`6v1mIc$j}@U2)S-JkA84AzN+_PTX`$5L}2Ly>~^>yKcqa$l8B@K=sHz z51&|R55>LWd;`=PV0aN)u)+Q%4q0PAMXWAme;drcssr5edlN|9-2M?>{JXt7#Wt@8 zZb^TZbnQ%zgm&-_$I%P>Y_Q*?=C%zlgLg>sU6L+cG3aBBo++#8S_HtmO0aoLxe3zX znm6sW(k|ZxaMyoCxJ!>3Ix^X=6_f3YhP^dCz#q6McZ%t7!7Wh;TO)GqA#63g(Ql#< zmgszY2utfatsf-N)9(|yQTNrUJbmyHA?IGZdR2&88^89 z{UgHT3kpg5Hkpep1e$pXv|=&}gctYBGD){CYq|MR&_l>qz66S`N=8vEPGQw=Vw-+o15c2k_MrNjJQ! zj>8~I@%)t2Ph{8YCSu9!o5jaX5Ai26lpmN4U;4TV;qE6-2MBki^Bepw(8qm%*37c~ z!CYms{FQ*#G4>;IVPgjw+_ITD7!GX2B!|^?0E3@g??k>pKMf*un-Ld-1v(*w(8f%+ z4&@FJ<}i%Xd~t(I{FM&D_wFQv-Y-W+$;7%Qj&VL!22P~p_6m4J9?pz*fXN@!SSAYH zcWnUObKckYJq6g2q5do8cF;+zJ|CMN%;riuiR6jN zD1VT49CDxU(39zxeH7B|+mcRbN&&n~o%p~ZOX0CjqT+cXMPhP1$~~=Zf|5**8_{J~ z$2;w+eBr{!?rLNtN3ja?Vh1sYaFte_8m9FTX{0cBR=LA$lNX}iz}@s zIRn~QDv9fe6fL4+@xql3J_>GQ?V<3pi>@!}6jzx}xS^t9Q7kt6;&4yJw2Y2}mxmVc zdvK?AD_jNhfT|bV#P;rw%y41)r&sIFS-iyE4g8fLpa9#lHLVQjW5Duw?Z$hdlX)dyC)} z@f`q{G}~jgEkGHs0huT3gAVX~eDN=bb7JOs_o3GXI_)N*htE9Kl$1>X{UmcSTmp8? zvdVQ)pCUaI?V<&94HHmao+IUxi!xNQe@0eJ48EJ8E|JrdsAb`1mvlH8^&oYLyUf1v!Ei+!1{U6Hd_3fs z#k`B00+lPmIfvp~rx?aoUL){B(pD8$D8@vJ|IO2DoV??JbGt zG0)F(Y>pp0IaI_Fnhw~!&iqQS@Am%-+~fZVc*QcU0?>#TDi->-j`7SQ`?j;mQsXhajrsqW`|h}= zlCJ-RmQ*2mQUCY=7>}~D6 zVcoR?VqM$s+(gm!dG`JM_I;msegA@U=G?iN^F4Fs+?g{oFbmT)=0uQ&hS>_BtrkSV zj5%8lGZjEz8#YD4sv(lVECtNQ9?V~PNv(GRnH=yHHfY3I$ZE=lcc`;COvkY(Nb=9j zQ~Q)n5f-f}>%(gb7`7nE~&m$YnOf>_?N1gwM{YORoB@iZo z8Q^Np@uD=z8+%GY1zEqG-l*mgNZ!~FzCqsv)-Eo9jCvAcWD)d{-`cH#j8AY!IC6xf zo;X&5>5CsP)q+?wgBSJ9)Pr6wtM`Wwj_}mhubz5ny$SF>GkV$swP_QWdH_62-F>cV z=(;MFK3-HV)6g4Nv-HE0!}_r5j3C)-0R%dIk5#q0%CPm&p{5$8v1@tIdDOEE@0UZT zupG%91IiBLMT6;^2(Pe5b zfr$s$%i+Je6gKHxM+{`Y;xUubHGdJTYy zTC-ODd%p=V)N3M<2LrB&dOi8|Q*)^%z-Vz8_%B2E!^GM(cFF8ZfRR1k@*174Fy6~5 zg$*!niGo_1-TV5qI=0w(GT^#s$qCEHU-|0TLfq5x8gs;Z&U`hWKx_d{VMza>>FT!- z7_=b|prl~RDzLsB-q0Z&I65`pu4M?hvn@a(5_Y-}6Ak*h$m=$=S(j$SGSG6eF7vd@ zkfTsGok#K?{YjT*#5G2u!~M_M-cXH7Jzgx@!*=9u7~+b0;-6;;s~|@%$lt1&UxSN* z$6<|;{;=c3BM1SyvB5UE=ZedumufzS2%{dSB?9mI zSzFK<$YO{x>hZ0kz{~0*hmEkX(n%oFIKkB!d*<~N_7z{FjCyTJq;Pj=Cag|TLf){U zM0_CN50UWg`dpaXWleI}S2f}&Eo%{$?rsV9Hxva3NO+E=g)V)ziyeH>3)YjlPAyO?@|tkDp7Ua`&^R8XuB+FMqB?lX z@RDs-h{!fuYKw%4HrsPyY;xmui_vKK4{M1X$*;CNr3YV{*Lr|TFOZPB( z)&y#C;r=(iZvLYC$9z$2>;bq71N?jpxqZ(PMg_g&<$q}CO%GW5%0BPwY_E(VIln`% zr0Jvg`obs?qX{%lKeCKuB16(3)P*WEOC!N=0D}_GhZY*1dTAv45hOo7KhQBs!&5Jf z?0g4usyKnJx_ZshNO2?Z;_eAx2U#}M$EJ{yU~wQsfeX%Z&w{!3=EZ*2ZJ~*if^>Xo z*(4IqFLT=us&nJT#5U_)mn8Beuf%klGujx+K9J}&&1xl})JP|EvB63MhP&xCk`9fcrJ zI?6SA6>N7?O{={;T+qhOC+I)5yodL$2)HU1yivXe)n4Kak6{O?FbjESQmBw*h=o7z zXV~HE0k7L|)?T}jAsr;M#k4dw1Wtd}ZbMG~{#mE)|nR&6Z6MnLmjQpW-y@HUboQjp2p$fRW}R@YEqxfe!EvO;`du2HDQ5 z&f(a91x7h$PCy8p{+`K;BM?F*YKg~gDuF4aJf0UvoESYGM^sp6;$4l_@0j)LTgcG! zk1(5eY^&rMOcs{E`KY05wzIVLEdMGEy?qx;FA_)(q9zW=Z`dnofQkFH9bs)OpXWD-}=_OKApg%>}FoG}h;Yb0ECzR@1$ zt%7-8@tW!Xjs2|5i2RA9(b!;Y)eT4)*N$w)ZTM&0Gz)JanXX0j+O*_qk%p~Sx44mi z2g&&VGBExYN_pvmT2@J3#L2`8lvEq1fB^Rs(3?%IKnY&`FTBvuYg+;>-c=NNLQQk@ zShT!EHjk=ym0Q8?QiuRpZF!MWORGjL-My0w;ES?=2OC|+vXXK`n@lXv4ty_+80{De zS`qU`1QQFX)dyqo{*^X|z%R%0d`Ga^_3AC5vVm4@$e8w4j4quL^xg|pl||x~m_dNi zte^>ksQ-~tM*Jxc=3A{Cyf^0&Yf8Rkb%a%emTtF{WwmOWqpxnv&!*7qTN4Adm=#wC zW@;o$hq01gm4UEGq6N)1R7>VY+dQf2b{-TYss9DcClnM^Fv7~8kK!r@olU+S_|D?u)qYGM#1n0~yB;e33l5u!ry45=-^vvVu8bDU3vViDOxr;!X zcD#gmR(FkgR_3_jJ($_`G^-oN!t=ugu-i=Z6VEF_V}f;kZOn-{-|Dro!TZ=@tm`Oi zHo^GMCK$HbDoY&wcXXTZFBbRL$~~4nygl231QNQPHL-5pp2GAgO9$^_>0gExyk;#a z0a8K0l9=8fHuY9p67j0Bn#45~9mya64H(Tj3R`b|r>ac}fYN{H;cyKoyAA><;&?MS zQ~Is&ByS|xS8E(LRoZ#mQL7Xqp~EzTAO_Lo}Okx>J!;AZImnR-V4wSIC@!R zu6Etg^AAvn>y3h*RK3);hFN;w*>LVxC}`{>W9`ppTI3&u11CdxBk{2_HcyC$u5~Dn z*>-gggbd(k$s7agOs?^{O|NFD-KWOVK1Tx8rdIdJxt{_)!Z}nqCWAHpl`*vj|2jJD zk9ak`ttCr7_HwRdmFz`cx3&g%n{O}A*0|dS3+pVd_WU5%R$9+H64`r;9$LkGOCx5; z2lgVSPkdjJCb0&f10*juYv^PfmfkQ+M@K^sw`1v@P7AJqA%J|OqjjT}c;zkK+2DZr zUK-zXrorYB33g`N=GasU=cR{&WThJ@K-_oa4#=p;=O?J!hNIqs@97y6_@3EW`7nol zMFJVEVqXzBm+7sco;tHMDgP$1BPG7;syy4bjERS(ABTqxEZyAf< zPFBDImVP2XA(1ug#-lbJNSoo-#x0p&M&5n|Cj5*~dW5uu2^O$nipEhYsU3mmYqh?y zr~enG-08kM9Mj(o)OUJ;b$dQj@Jop&7$&G{<6!BNZKW)Bp$n5>YATPP zNCv>r4@)M0?6d+i1Nzot*3PPq4ScPkFD_;2GdJ)2tf5b?0NOY!X6bUULw+JhKQTTj za*XDf#+*8vdnDH|xAZ)9m< zg$kD5SlV+lOHZG1{tRmZBZ$*B)&!PrIRnS;_k`bPyTcm70GS~VPR0*~@}xbi?MV!T zJK6Uog6+j8VK);i827G&orqrag~jDh@SyL0s95~+z%~yx4dx7j8(Uhzm~t^tOPD!& zbZ>y&jh_@x0Cu>z=Gr9-Fa$kYeqs_Ed$+=;hdC+9x?9!l@8J7ugaYR2Kk<{)O^DQ7_Y4Qz#4A0YKjw0{u)%~wLPa*`A-Z~b zrGiys5|QiKfEouD*T8&I0jSN+&}I^s+34_K3k%~2vcbp(+==hLqh%U;l_}7|5pjtH zpcFAbIT%CKU{0!A+SC~f1NY8_^$#Tl_9HLmf3Bb8zYHV>(>R?q))AyI!Ul}je^6go4`f?8BbsgHJz>0?#+b5) z+4%8A@>|>B#OR*<5ga`*iJM7Qj|qvlfnIXeTnJHeKB!MG(I$&4_L3jsf7LwxITehj z%`5OSwdS_qWdIUVFxm#JEa>98hu;Wx-vxrY_EIer4?Pq&7zI5gzg57SnBofq;C|^)__a4?*gypSXxxee2}Z zreCYItHO_&au6xlYgKIR) za6>=V%O|q>WP1tw%?%^%ovQ0K0NH5ko|DzZWcF2?r&^5c!ZMew`yyk$KlkUQ6M5o6MhY5!dpJB_CSU;?)yANLerb>JC1{@g5cA9~RPT640&#+PqIkJ-Ux z=@BgIU&KSj)^~}APav4;!p>*RG^RS}Etsm%Ir;$`?|bk^t4A>l93`{0AqBocw~U3> z%l4E(_toVmjV3Tl_OS(XuF$&|U^<;onDAyy2@G7}+JD!Rjs7>T?7u+Kp}gi8J3c2h zpE&`J%uU(s$T;|vsnxkEz5C#z&#aeNe3r$@UZCiwzX2d0oI1j}6i@?k>L`5-_eCK+ zaE~8=whWen;!k=%fknvKU?&hgOyn|_C)z{$(L12o$U%!4FwORjhGwG%IAlhCtFwk? zBL*#l%%2KWY<;8t6fNAV@{k2Vt`h3!&KhA7N$4*HBYd-31g?cON*HUs`KWQ<2@lkj zuYlFqkRj4wBnW=)fVu%K!fS>|yU;}sAM|5syeL}QjjkJ?FJ-0ilW1vIIi89p~u+L2ygcPJc1^Fy%ZFljWCed$eKG#o^5<8Y}X-ZBiTlJA<4 zgW_18Uz}8?=FyY4Oz(~Q!&7lF(*8`C>03kO&q|DlgB<;PF;W}a*Vc(fO1?4HiX22$CdJ&&I zDfw!=8*LTg+Ia6wslo8S>4yHM1*h!YaAPyt%TK{kv!r{ObB`|FfM&z?mm0opYaBEi z6oUe~+(3cQ_~hBrKotB-R0!$`5)N>Nzk?zEb+*)tKDoS)94SB}dbv^sz3SMjAmjv8 z_gtwHZ8m3(4{`-6Cs*o9SME6a2KmD4cH~NZQLW+Tbo7*;!tuZj`2etPo|M8CbEGHH z@G~{%&`l_@X)f81YNvYZqFKPSW|=MVt2}8Ul9hLwj?#e%AF*s5)AOZKbjGA}DQGIZ z=2^aUDjhKVRUMiJ)WibmG?ch|$0n2y57^_30;x4z5@JhXae;Igozs2cIkXObYI&h_ z9i6vp*J?EtHdne%|IGX1ESBO3ViTidm7dFr^xL&5DlFz>*Ll($`c>r;8m)&%cg&Nn zr!S3~aRhAyDyc}i5j}o-dnNs%J%3CJ9z8n92se!KF(5tWOZj~9n|lNNz%CN`A!C~D zV$njWCBvNe(1(r7^g2FSbnSb)U@K4?N8JCeag0fMu(p;D4H<*4pO9`e-ua~d97}Of zY~t9FaEQsj>YP}C`DnyBulU03NB1NfO zRNJ;UJ}rV^<*oFIFsZ9gF@SuYKejgs7#OslL5IgD?4VyB=NrSZj$yW~NgdC&f?_I6 zda#+8*ZAaZI5Zfu+kP+r^*?l-S$gHLp_>!Jp#XjDrbayrP?hb!cz{tjOS zygL54u~>IlP!Ji^(RPjwdK#JEk$xS=Hy%d-seamw`NzD$F#n^)C#OnTtBii`Q29MH ziAKib{JojE%-HHnQr&Wx;lS^uV-{F{n3x9Nw2}+Z&y-FTahN%D~g%C97;r zh{qh;u{@@Gx5JL8sT_u;O$D}jaFf;V4WVip18qXWi)_<)44M?}_6@VC7?{GC=rx~E z(_*Nv1+H9WYeZ(1*iPUH2g>&`sA&|ijp4o^J0l{gu+LrtT>>q5Q8WLBkZ z2#?9vJNNDzX47(D3R|2-r4a2={IpbT!MAt7k@ukT8LMoGu~3q7fr7rXi=UFFah|U2 z?d-_Zy|&2=Qz9_+0Vo{!r0(u_P=Hj(KY&77sutHGk8Mzzx|LgN?Vvrc-lf2I>ll6- z=t->*Ip3~3kBN01qKEphXl$}~YJnFA+j%pWo2)_xo^JlEy)?%yT`;chWIG;PioW56p&6FfHbGVpcxQZibdWKzM0Ojv zs31!Vva-H#O-X~$Zao*Jch5HY$~7jtMXYS@`5EtFb&0LvjJ};2$=3y0;qyV+Fj>I) z#2>F7zU)bozTF`P6+UV8l74xLKW2RMpk_!G_YT4o^J0+^9PY$;^GUX|`L|s}THMaw zmPJ>Z^uOLi#;2sEzPWM~Hshb?k0+o>IBK=u&@-^X?E-&1#{^fV1R0T`0nl!t&gBs0 zw`>gl>Q^mYlVWOZglz_t7WN9hcmHwj<` zX65Lh&rlEQ1G|;K@IFJmb@u2!=;aoE2npz7x13_y{}#3hz1#})vmSOUC?>&kHC*7u z(q+9_I=#c3%Nn}tK$bRN)*G$|+Xm%tBJEaEOx=YkPUs~8x+=!5ieiY@+I6Uj2D)E@ z-5V|DJumYOYGQ!ypJew|OIX}S7dF*d@c0wPXhz;qqwQ|mi7)T;O4CFo6Fx^JUZi-D zodsjiqg?|mhci9-U-pQneOZEf?(k7p4J~|f{qH)z31igQ_Lwean=*kTju{_4G&OQq z{5VJz_kb(ps_h=ahZBE53w1gCKxk^qjYnET(-Fw)ek|oW9^>pitBr;pdyb{& z?id0K4Q#pfC6+$l@(s}2fIf58ZY7V2$n$=Jnh4O@H|?t6de{-?_~80J@h7I@$ome) zxNSRoBQofY-9Z!KjE_gw&~FXx`DqggxJA>}28JOW;20KWNVE3Gf7QO89{a5HpV9ur z)a#~AHK?(aKM}T{4ULN#ngEIVECM9V+dhNKTuj}aff~#B6Ujv%`#D_ZT={Is(_rZY zKbH2_S^zViKyM3R$u|2D8BtcP2@?*U!W&Hg;aoO$e0tD)1wfEI@5)SJT`!B~EJD&A-0*anZ9=}438e)hg* z!uI#lDdy3z8*n-3J$^d*v=-WqdQ=V7MlbJ!G|s89HzW<4 z>}x1Sy7++#_PK!6PGUcs%UnHl29m@}f$qM;9(H1x-s}s@A1r-)Crh^;UJE%OEIoEN zOBXaz5bBlz&Fp0n8~;oO*`nn@SL_4CgaI!+`oWbpF8qvCe0!z?Tqk(ZUK@88I~bAV z8vFZ3!u_YLU}4)tm!F8xyL$5bsY02PQ zu!*n?J40@QMTrrM?<>Nax{ke-$fu{y#VB~Kx@QIx~a$i%mk9NQE}$Q=nS zcd$1xu-=#gcY%OA{Nl0Gzt?i!KV`@nnW^*cP{Y|qWqvi~F>&OVi4HKGpLgd9?363x zXA-XrR$)UP`am26?Iou&S%pm>qzyi!1n8Jatim4ODQ}~$i@eEZ6*jl3-y#h?XEIBt zbzeC_Lt9Q|>5h$Yu&Tq>zhxR*f7#jDeKqxWnE~|+JI;440R=DSXQdJ_;d~vje>7Ya z`IcYH&&*;on=02hb|ke69O6aH4rb|U&}svpEPmfc6XJja_TS~O;h$4xR;u;#{x?~T zWPM|=Wa>UvnF*UO^<*2LMRaP|#xF7((WIf5)UvcWCmu3)*>cYVEWP0E!2PUpvdEEx zta3622)L|rvPk%0P!8RAy|OEs&Yy^%A90vYFSFyeLoKFAm0WZqw_4bLnvg;=tW(adPoRYxJac}sO($!{;^-_Es$+nXYi%pSk+QS0+ z#eM$7NdyMc^L&F2ul#PprcuLY!_WL`__y``A($qmXJlrjZqW9xW?RA0Zyqc01A$`( zUD9_;k-B*!v>j*As{|fdYF)k6cAQCD9eXTA+5Aa(7VVhL?0%GBhMFD$9tMo#RUQ*{ zqqq}ldJObS9mi`trgyKZWg7a59?-&L9d3ewqC9?fDuEF&!%!@{zSa|r`4&Gbn_c*= zO!4VR^6ed`iR^L! z6*~5z+wVEXWBGV{f@2mvpWAMSn(`g#n5B2^dig>$37%o#8CV9uqc=GE;_R{ZIz<~F zIx(Di3pOtRJkxQvM8|Bs!U1FT*!OX?)zYxV@mB{+_9d-x!$3#)%sXl8q|Z^6=l;?B zJJ^kobB{VmG*YM61+^0{$=t+)I46ytlR?1m$C?R;?$Uu>5}a%N^c)PsYyi$~>8edi zW;#x049*=$vu3wZH}{B1UwgzTJyvqXKMQycbdK!QR%Zw1LL+n3%4S1&9Q(85SUu+{ zKVSZqjYlUt`VNLM@>qY-k7k_ z(U!-ou&kD$CKb@DHapt!m|54lgBh{(-?V59yPUv^0s>%?Rm`j z%9WBYJLyooj!eJM@ zE<+0DKz_<(&BxWo%Z>^$ec7#GGN6!7HW^w%rVzK@v6KEk;*BP!O`MdjQTY+mLP$X~ z(IhG9EL0iG8%1OJ)gV+R$T)Y~W)Eq{t$MrGvZoxPqEm0KHmAM)R1| zmMO3^)ePvJx-teneunNI#Hw;KIbk3JRk}^z3;T-O0{z}t2C95q=2EDk-rwnQD?2P66b1H(7Wq+S==F zBxtdmtO@(9#W%V*%FIQgq| z@==o)e+tP>lsWR4MEh+p;bsc--chVtM<4e+&Z>0^`E?Ad)-n3CT59N9<5;@-(CJ

FKij^fp<` zxIa}+;TtpH$)<4@v`K!hEL9+qm&4_XFGuiGp-_)qGfh=jm<3VFnIo3myQ)2MN>9Ur1$`;u{+IuglL7||^(5b8ayUeZKb1xAIr7+lCmD_$10l@a1IWpV>?|ryn|kTy5sm62HGIGx+Dxn6?guwS_iL<46DwOznYAq4Q8y#k^}l&Z+sV zYAx_JmS;H6NQRDrEZ)>kZi6>Gk}XGvJERQ9(AJjsf-liR>8NF|6^jn)>xAP?y%}^3>FlXR>3W z^E;RIK_>tY#0DPErpp}hB#DzH&epNdFyQ?5M@AxB>zAMbrmh-gK{)E2QwSvc$=vkp zr8*UCWnYF;wx>%qHB@Ih^)3pvp^Fd8B%)Q`)A}{b;f=Fo_8K9W?#vK#W|#N0pkK}B zPX`My!VMI=p`7a4PZJ31Mnp?-^z*vw0MZ&W3YnPB*8$U8PLAze;VvN z|MRdaBPX`P;UOnN8S5NA-rpE85po#8gYHIUf1bL!B_;1x6eA>=HXHFun8-*=oq z^7BZi75|j;n(=iEn>u|O4nGUYK5O_hIEMIKs*^qmNO770n30!! z%%O?YjG1cG;HXAdDcM!xWM#;8uUG<~M9qUr41pT{Ib3G`2^c+b?hLkh z93wpRq*Ewk+#w@O zJ}(_GCP+g+y#=&bVOIj5BXkTkOQZ1a?YoeiJ5IE|_*VH;`1sT*pk~hEa9XiYbRsvJ zoD{|e0dE;tPZdT}U*@M~eA^WWgmkU7@Q1sye<((tGGpefKk0nbJGjUX+B}QM?c~tr z<<{}Ao23WPV;tn5vth^T;DDf>K<|{v{j_L)Mz3&`K&4==vpfMk{cyJtO{Jzm_xGR9 zGr@D5*#i@ZDisB7^i)EDIYxXAm`R)HTnpz}a&c9EZ_ZyZ}zh-Ls) z;3}U%&oGLLR#R=s9hly@|J1E@df>m<@=WeHl^9ZW`1vBK3e!)g#1TY*lf?fn<$D)afO^w zcL#1n(a>hdiD)Y~!4pg6B7AUx(whn0Y_baUG+V7FBOJ9rKH#gegw87m!Cv_sD7M1- z<}OCqcY$0?mJXG7=Q0m$wG#kdcyh-AxlK`7t_{=2a^fH~nq}QsAh*B+0zAU#XUi!_ zYNKZ3ni%r})iUj58%iyK?J!ex5E7F}7K^%mY> z%+ZG2N4$aOZU+g#&gP=Qz06C$^40SG2b|4?5AXN+@R<)=7F{}tMmi`Le`a{NYbuTc zBNg&g_lJKGT+efNz+SuDiZX(KfQRhs*Hl%XLaX12;qtyO7qqrQ7xBR|IYk38r$f+dO$N9looV zKlD*!oHI|}Rd_kg)rzG!bUY3fxH}dX$<5K7cO&ajqYI0%U$NW^M;FQO(Uk2edrcliDqyUubQoHiu1L z%}1+xN`&hMI$`WzI3o zz4AfEC;}eF`VOu}#V*bQ9PH#A#H{`}v=j|v`I}svTj32(&cRG{SlhJkWLwHXws*Iv zx6QKF_-cZiwc7pBvh|@Cpx4d8XXMU<(ID+k-O&)J(gp|o;$nflB3uF(s#I1^H?^hm z$P#B~d!FcWwTz)(!i)1b9180%kQ-y!G-peK+?`udOhHvbEWlz!Z5}a?GGb=hzqSK% zKSjKAV3CtGasUV9-5?_WLEz+NZH^PrbdxtlGi>L*-CxUtboa1*sYTCf+&&Ek!#Vhu zz0Q59aSlfvq+N%96*0nf zHO>L_mHu!g1}oxF3nDX0_LtDlOQ`%jQdsLeOG|`KUhYP}gtz3gSX8{IOl~+N1a2dznVgnk!mT?3it@ih<8%HTKCahwGAdURj1UDDVGId@L?Rs4EE~TgXU38}> zt0LHUVW$X}p7i?yCP@9BwLEv(H;#YfABn^0=ZmNUFn=RlImV|Q(T{Wq(Lx`yi;vUK z?@{>$7{D>dr(G3hq&(WCTuT%ZXg8OB-JKGOSbNit=UNiWBerJR1})0RbOl`AG&`}p zuTE@*0gn2`g$)XRP(R5p$b0{`K`;?MA(v7_|GsTeE4nk;xdT*LfSsPX^q}j|5d7dY4vs_6rwpdjHk)^H|4+XVtqz(o>rD z+*0?NhI*I&bnWe=qv~E0+TapF3;b^G`BG+rPc*m$(tf=Y*M1Q&!A^}X!N~ml`y!|> z54`JW2UjzU8(lgGvt}m4H)JkwZPZ-ysnI10HZ<-Wyi_fVM>)7!Y25Aaqhy`H-R80G z7LFQ!=_0`E99+fNFT%x}nb~TCCt3^D;7zYx9B|A_mmFqb7}XDc1Mt8jn`507}76Gs6tZn%4Ies+Mj&)2>tv$l~>5xPfgGE-emrJ zmvvgA`c+%D&@UY+kv@l`jnDYFDZ;3msj}=-+bdPr$fT$c{_Kc(1u@XY?vLbp{Mhg#f62 zs*eelwsGxBKdN8565Mbhu4@Cx7q)Q?rkCtm)b0x_S~&dFP1wgY6CRVOA0tC7T%)vv z4b~I+=+zNmOEv7f64xaH=3t{F0S#h*)R~cP#%$!-k@1)(5z#LfQgcbYz3WU$JkfQw z0bC|EoGP5lfeDJ+J=?d&&(mR&a<{WbBpIFv#>$nDW9I64Jb!&#U;48FG*}2Le*YykM_SGKN;w{~jMPd0!ZeJqq z7+}Vu!>%hMpvxCxJ$*&6u(sNu0z$t+j?P#dR_)xG8L%TD8NReYfi)*w4b@!;J>UAr zQ1q6Ap$nvJbDhD^(?8k9gX=BC+-lb@q9LWOqrvSKaztYxdUt*1BF9VKKp)H=kP%GO2(hk+5qtI=?@;<9Cjy9~-4hDw>s-$sv zf}63Byg1bTv-0rm!7eUei$u?l<(qweN;7bFpmnCU*~CiY;|Xp(MbiGS4L`s9^Jpnd zIP8`8`Q_L-!lgSpJL%jq`gs{uG>;wsO!4WV?iPff=+;L|%=_s$gdaR-s<7xY6iQN_ z>~>Fx78N=|pxlo#G{P?9!Q%}`k(=-hd|xe@1kl7bcZ<1Sy9Hom`N*>e7G=2p*s-y& zXr6d(^3jhs=%xb7$e07Ye3QAzhCH9a>&K(b0_?X!KPkcxJ_OUAUCP?R&{)I{n{KS) z&FM8emPD!r!uTNY=}78XwE&ErJ;X;!FZ4v+G+hGnL)l13{8QhDYf%{R49BuLqiifB zIK ziv{kXbg`|u6jM!cfdEa-A!;*l{-z&iQOrUjL>GuRK+*X2a;qR_qSYTZT5cHc?*vccoa7OwR=q) zp~gg@_vpEYbM-nj9EH7yB~9)?35vl z1amoffQh>lzc+OEMzZnm;Icbj1~s1q8oB%O2>jgJ>K}B2__lN(B@mswa&ZIwN<___ z&&J9%0uNhq+tU3UCF~etW=y|z*-4qSz})H1lHz;(AmWhe8pkD;yLnAK*j&ThB$HOi zb=;Yp$Tg7iuaiO%r|Vyx1{mZ3Y&^{Uha045?)(Sxo-gUQ?&g%KiMlmdZx+*m1U1O3 zyy%J*&y3L&YCaa0x=&&5TuWOIgWY_XKCg6dgSVD~8h3fNjD+}TK8%(DmG0)aMVY%l zeW%Cq56B4~iz;(>(vysEl)xnLe2%vorcpSci-!_hW_lVip&nz_!x|t+)|a_A33ryS zd4w8YgQz8LgxUzIaEJRMO9M9y7-S@+~b5NyLW^nP5jYsZiU zD(5!}gUuP2;aoeNiOue$=zDh(g`WvLemHvKx$_s~d^+l(HbyhpbT{33bz6G$lYK^L zEVTf)@bwr=k2A44fl`55;Omh}zr1}{1^r?H*7x)9qo4e-yp6i7zaNw}B>bF%vY_m| zpGOv>=u>QjGN}cyjvM6B0*~?c7)IwR3*F(1a{<2P56QD`SC@1{BZ2Y_@EA#(m06!b zJAwKoz+)$~-g!y^{VIkkCSwCV`UudvIZr>)O+soxF*zUX@dqUGhaRg{TU|>t*6JLJ z7wCACx?|2&UQG1%q$i;L=@j`CVcR^;LYGPS(V?s5ccE+1JOH4$t#9lt`mN_xs+B1| zbAy2!R%S9mWMUha7$3SisOL85K*c!xqQ?|8t%YDYnobpSdPAy{hcj+*$)hhawVZzj zCQ6Gr4tTDcLV_1v@xlht(|TLr?cbUNF&+EcCJ+9cLXrqe-W^)Q!13WJ|dd)xqo*EIL91>g6teB8(1 z^N05@Jr-W9ESRowkmjv54l?_lb_bHV*##WrnuMSG!5k09ZW*3^>4(WfPeT8|xFEx` zAG6WDcnU0OU`T7v_HDd=OEIl0$)1a6=`zq7Z5WD7h@^NgIr#BP5xqk?1w1LOgW_gam57v2l zjTV>B52s)3rSL*>dy40JzOZ!iWr&d_hEy9X0=BN@XfSKnZ@U1?+GZ?^zsGU~ z3>QBhOMNw#3mqeZ+`(OLrz|A6p${{ZIA*$bXp3qZ_bh?_wvZEuEBpJl$L*JT1|j=Z z;$m=t3psu)(+Tfb3A#VL)YF^JN}MnT4W$-h;WE#mOy%CJVo>u!4nDEcvn8Ip%rgT0 z+%T^cMFFo3j$ZC*jK#}6yU;El+fINuWFd}R?m2|spnv!T8U@tR<({MHwSuQJ0RM$J zU zzyN74@?o{-w0{Tbc;T4vL|FQFZ$(*JknGE@sJ%hUgmbq6!B5Qy;_nf>jb|PD@dz4d z5M1O{HXN?T^;}CyTEd(eGmJcPa#Q*+-9smg1eGmPtIQNf9rg^OFZNk51Xc_d;kAc7 z2hziWyC$e9(Gj4gPLDt+4$6{`c*fDg%3jt3qKojYBc4O)BahSO!Yt|{-1VquI4!RA zmY{f`HXQYgryVQCokWR1SswFDWNy4$-4bRc;H{P?JnitFW1ikRSx3f)(M>*73A+*q zaGH=-$32aBqWq;@tm&r5)FLRL@aQ~MZ&LWH=Mn7SC6nsYOXp;)*vN1*;8h@HD}x zPoTfl6m=d5x-P+mPd!`XlkF9Hc=uCqU;ftA8t5e@kmlC_xeg(~qqDYM4*wz>M^EXa zoPtJBCB@G?Mkh2f8!Qf7y3T5q52WlqZvVsLty8{PFPN zQi2E8dxnZGG6&>pf*W(cASY$LOXxR0)(&nETkX1)i;|Fed>` zo=8BL-X0SEh;J1HfnVr8e59v^c10VW{XV{ z_+l)<)q09xx~JmqUNyx|#Lx>(nr6Wle2IEWg{~}(ou;PPSreg)<6VlS{&h}3^u&4) zyK>4Feg5zlibkhT{vr))o}EN{XEnurX27>U%&K<~jcn}fPCtJ`m4S8zIN**-N=6wf z_GyXoINW?u+=L z{lfUOS1KthHSZXv2ZMVF=i9Gqdf_bh6qc*`j&>E6sn9e)Xtjr88bj}1+klpVHR8%B zMJz7&RCv=}#ro?|F-Y9@R1`C>Z2wpS-&Y`!(-vZ}UN?Qb(XC&L-C%aK6uy#j6pEI3 zZ(D@`(@J>u&YZ+D2tZ14h*Hsy9x^S$9>RuFyjH2`gD`JEw7Mn<&e^3j#e#NEn`4i}d60S{?=#V8&<`4ER)c?lx#J34&n0R&Kx zaPj_riXR@SeS<>z`Vx~pXgF040kyiJi~GYqjA45+Bxp7;;aHbl$`*LZG=&|WI87nK zK?4-t=%7NPk8+?msJU2%Pe2K6GI`!~a6si)Z=hlX;wJO1s_T~GtZ)d{Ck;|`pv^|U zii7c?95)VB#G{j;kH>(2EQkG9`Vk64TsH{(BP)j-mCtU$7*o#9EPpQP!EofFv+5eL zUW6i6bazUq8juRjAm3JHM)nU@B=AJ$4Z>UW3lplGEy1@Vm90s?D8&OF-RNxq`xHgt z+lxQ!{@&GA3X9M|s8gMWzujT2`=G9}x<3JUmO$k^U{MP8VX`3cMvt(U%GB znEVXlpb8jJCo5WD*(8NOUH$vP=di3(fyYcz^k+)9Z19Hx0wfw%D&W52H3|wRPgZE- zcOZ*)j7T~LcvZk*IgKl!bEu1lWh=U%zO`mAVA-aE9k`lHE@lHTyS*%p0l*6QvVsyz z+#yHN8MV5wemsf=rj3T_vsTf8iMS9NKsU9a789+>3NZ}nFP22mP4B6S#Vjf{ZB?yE z+i8lEJlb*Xv9W+k6fuALCse$-xX02TkBaHHs4VWXzfA(Pf3c?hptEJ5P31C0CuC(W z@AF+rceJp0`35lA#jq6eMUg_>dbz@%NgvRc2hc25Lt}^M01sUmw`2RaRWvMDbZ3s% zt{e-9f?z=ve9DHefQK^-pCthDz^krOw8qve72ZtmEv?g=dB(W)N<|Q@cYEh9aB_?B z@Rf>wBD)FqJJL-GY6$=Ua}`_L!sXd36`!<3YdX;L>83JjF_ds|*nOo9F<+w?#xoe+ zFDeb7`I=r;@%_*OIlxa2{dkc6)O8jwIaapQ9%gG6<6jOdQt3gH-upp_x)?hjQH0aR zj^`N|_!r}%BQWqY`z9_!y{IMl@exHYCi-$GAp}TEIN0T^!Uc~z3jQu*cb^QHK3l?( zW7o6L5i`z0NcIp)g!f~M;Ks8EC>n|z&nkj(s8HDo7adbPM7E~8JEO+lY)uVk6_J?! zsPMzxb(JfGOO6;0K#e~^Nx0^r)+ZHjgf?@A!l4~ez#XRHCh0)XHsx2vBVj{)Q3Y!3 z4@FU$qUuwMkHR#+!SL=_;0|x*(s2GZj8?8^6i=CO&xgn9H*2U$VtZCmLW^>EOBuRp zCbguJ!%<^zLmICtLU{&S-FBA&#M7IjhsEDR9L2>yzy9$MxBOE-gmzFLV2f}lRmmCr zSp#nrub9lK(ub_#E6KjMiVj@i+eq0v)Yt>0;O0hOWtU=}(g4T5Q`{D2K6?dwxCcYY z5Vj-?pX4d^F?p}}T^MP(15)mw5>5nL)C0@;Nq;Jy|&oT^%povhwDI9LJ=2B zqLd+IEm9t3=<-AUKLdnk$exFe-v%6Ox!B2B`NP9Lv+sags%r9oO2LwH~g zPI$40@)1+tVm7RgH1qa)0&l3-opd#ifSd`JakjYur$w1j%gAY^lF=5uti1e=eshmn zx{L)X$Gk1vcJ8a3LeqC+j=@$p(FL+ERQ4?#>$!MTl=6qif8Y0`rOUPyCc(vbw$w6K zBQji(tQ6u=(aJi;T9&u{n}VrBl#h|`kiBqgts%9HgF}*)_M~#C@+w!@OK-Lp8V^jb z6kJoTY=`&7fYsM;nREi;^JN^k?)W}*qh7JfPV~{b-+2hb%PM1)nC6LKH*OhF{==1J zsOtdRKvW73fN#97?2Y{slzi+Prwl;rj!4g-#ZVH>mh{0l=$8f5a^e!N zoJ5J|L^r~zDx5{svgIr$HTRV+2cFx)v7<`I^2@aTm~H~hXx=}r6hGCYB{frS5j zxX-qmV+t3LS&l!>SB|F#XC9jjlkCfJ)&k`eX6_sp2Z;3H>9R%2?)XVDJU#EJ;{cQg z5~an;Jlgf=hCGMo)Qf)$+hDR|3K7<|BcHOd#Pz~8vL8G7ZWP$Yk@L=i4&i|5c}*X=*?`^!zeUauoAcbT{)St zKdSGH7PAtKPn1Kj{X>w5zv+C5tqPBPs9b;qr|(#xc#x3coM%c2KKWFMu<{XTw*BjK z56}$u*?@t*fq2g&Wd|l9UEYMsSf1pWG7`r>2D#M0r5jNt%gcVIT*A1mJ1n4IWD2TC zzbDE>J_=QKt*2ky5Ui{szcwf#e|^YB<8lBZML^v8Iel5zW9JY$Y2l~3svkavSp1tV zva+g=^(h9;5ma${uzCu{e0^0Q(vsBKgOOHo!Z5d^stYbRQPJ3NFxQ*m)_qC^#Zm;T!t&CLxNM}@i2k2T=oKQ877^?zB z{<~LireB;8tWtY50J19yHBlw;MN&nF68gn;K^2sU@T9w{0mP=2Dw)q@ZSDv+rHJbkDg=ucg|~N)v8{Dt{gX=icZ|;8IrM!uG1^w0_5*_oDeg zweeQXM>Er$%)#_mK`*lOR)yh70V)B$<*V|hgA;D-1(&x9H~6U9;X)r(f4Z#Gulz5p zxoFLlF_CB6b#ms@3d9aX@G;ncGnn%V!>LSv()k`=SIS zL`VK@KPlA08@hRS#@B}Z_|78vx1D9xYV!;70DXRfL@;?$Ur{En%E_smrVBdwKflhI)ipM^)ySGnV=gQ|Xb;XHt0 zLS}7uGzCgJYD)BqR6UtN?&XazfUSW~3=G|_vPc!k^s`-C-pupEviZY627uxx=Ug!$O=Qx*LpO|X_^FHjBVqnlTo*1@J9!J4(CagpjYUwnAO zGB|g`rCwlV!|rLmeM8)n+)Q_y)7Bt;@1~`ITSPN%tN%T275M#*ACH^OU*Wd4MbnYd zkZ9o{u$GdXlWtZ@^-vy(|Wu1g}Xaz8FK(#6k@Are1gsmqg zZb!Mm>&^KN*gEdhJht#X54QO;jQI#{c|yc$NI57byip;K)V*8{rYt7 z9+f}Sde%T4@Wt@1nKdvxn(qZHGbV_agS%XdqxY)v=^f85?m&Zpdc9XQh&k6EZASni zWR}&c#))27=e3|;6bja<2d}x_UQxuiTGg5_nsV>;Ci=zig0)bhhc|8T%_YwdsJifl zo)3%({kAn%U}KFp5?Vs)Y~4@U7+mh#6Rz6O-Pa89ntu=RM||<#kB3a7u`zxVgcGLSclyn zs5T=%Nk%$a4kEFvh#W^fP}$-=j%^KbRT$SBtvz?T25o`jaX6qBhPP{uZ3kez-&Nks z%Q5_HG!{y5*b`M-oCiEw_S^nfC>g3g^E+JPc`VKDE}94u-dIx9&J0IAQt9JDSz7}< z{UO*$(EKM!;PuyW6yFr@l(iLN539D`sCU(o-@ki0QgpD3Da0;Cg7s?n8@;`p$sdnY zVSLf8;JUl?OKrhAC=p<=i+u8+UKPU^hG%-5hAt2&fK$5zNQ5kcGr0g-iP7?v4&85VIvWKoP8AR;0}b{E`GOmK;bk?^E^ zZh<6fOavLWX4nQ?qsBFUniv%oeMwZ@KqHzw-(^Dcs!wYv0;Mg!?x+}qtx^F|lY=SQXbqI$+!)1JJqi>R zzQY{F>SSR<6+`eQK!*B?|2i2J>0}v06{GPmd&NW)Vs^a>0&t0d!)6W&IlesVIE(Ilc2+lMG7nI0}j)ZVpD!|jC z6t?&&$V_9--gZV)KxUJL%@s=P0&1r}X|qIlM^_#18mpL$7GkTYuEwz1SNRrhx}`8G z*tgRkZTM$Ul)k-wT?NZS6(gvK#v^0U!>@=^{zRz4)_^oQIoxXMlB#RCd7GyL6?S%_ z*N%XH{Ms8!TjgOmB@DVnw?#C719xtH|Lo~NyLk76i0x@#hbWqUaheF`F%vbs1X+l8p{>7D+eX6sCj-L z<6qRU8xI;=!-?p(9|WCzejhJsTmg;2-+2Z0Ega+B(Hr`&p{@_>J|70g%tG;CaXWk} zRAGagq7+hm*;LpMjZhCC43l^?v4?M&phy<}Zkhjowj-b04mU(ALPe_5qmg9C--yyZ zU_lI#K*EoRQA8M-=5nd?_0i77nFpWf1DR@S=dZxg2X}|^l2?cFX$H%Bc8^;wtv@KR zdyiXJqA=e0cgPaiy6uyq;!k1v4W3|kefibylF~ijDW^{%JAG#mu1*47asY3U#Q)Ea z^6M&;y2k4;^r$^A^{A$Yihg8`Tm(Brh&}kkRmC{6)jwB*Lg31=RS`lN`$lg=QBVsn zZ-Z{=U+vy=-=sLX@4-mdjnzGj#C1j`gI^pKgHJ%q;>BsRm zYZMvI=&|Ga7>F42h%%n_P$p2OqB~l6fv_N#*i*)r_$ssh8$)#QS8q-X=8Q7Ekh~Wr zdVw9eyLDOfe%g^V}hF*z*I7q%SUCtvA#$gcyUK-dVuDa%aIG28^ zMR&!YTmlkTCg8wp@u^%tD?Iq5a)xMm&<9(AGL{Jx&*ZMyb%h_o{6K~g9V?|JFmF;O z@O)M%!SpF5L%Aiv>jP$h9A}(SI_g(A(d>W`-lz#=emM7(5>l-=))=R+@EeF7Pb<>~ zE>tB&=5SuwrV#G+FVEDCoWbY&m!eF#MfGWACdwL~5Q{RP1^EjtoII^G$5Xyl22z(B zKTIOqj}dBq`?pG|kbK@EzBk?=&-9969=xGIaGWSp^C{<)4OFkrt65U$81{rzqBE8{ z#B#QdG>Z)QsA!8aqHDX>qcau-1Q!41eu=NsSimN(>5ayh_^e&ZBaWoVZvR>6Jsx~p z{409TYy&)%_3Lqd>GC>$xu;D1k45o`FvxfkG8bHW&teW=d_`HMLL*kC*uWE*8lK;N zM@w&On|J*}$SrA$XQDbnjU5;H)uF?W!rReoPAUl!2>-ni6nI7M}~7Le^5h;sh= zQolSQ%6|LtFJ#9sLS4?!&Gj4ia?feDJaTr#LV($)n_iT?nqI&WojtsVp8kvBLS0@o z6*j7*6XjjVIbew~J%(Jp;S}uuBFb^DF+CTxj4*uw%M|6XOaXv6V0(gAp%g)|B}xRL zbC+;EK?fkZ|1}eo3c_Js!lwj1ikue2Ie-h7>u}CQA9ViuE=&@1*Sljvk0z01`xP`A zRQyS}irI1`4ULDZe3BkdZU6el8nQi!sNma3da@8*30irLY;PyZEBJ6T`l`^fB+D!d z(24FwNBwGaHuN|;fqxmDilf@e&OoIqx~SBwES$SS7)S-HH#MM+?}-X5OQzlU4KwMj zMyPnk<@pdCDm=8P*yqamYR} ziedjL!4UB(1=#!$?T$P5(F`?NcB&A)qmvnY4Zd}EAH=BH`)Pl&Pg!pg;H<=D`{@j{ zQvU8SaH2}sA7*igcE)Z48B-j40KkpiUXh`1)D1_3GS2w;0a`_sK2W{e-D)zW3f<9{ zY%e6L_%#RVl|s{dUYp>^D?v3;S;gBPp|?|Tu%X5d(0PYnbKCRZc~G&zhDN5xA#wea zfeaw2`l4*)NU&O!&T5W0d>Th!|AVv<{=-mtj!W zDfhP^NLK0Aa&;w75*SN-PFFH_A(M-yLCK)5lEJeW3e(om_PK<{oe(ao@G@&A6)i4w z7y^;83i7w01vhMO!vs*rm1=mQN;Vy5v#NNXR~@#&e>XBx?ERTm+gxR15GYaf~&75Di8v&$P&e zXV_}2jA5eC*T03S(N~}$!_Bdvq9-WY7-j{z(6(VS7`GZ1O@||?2hL#n;Ki{}f1&eA z31qBPV{I&xLOt1EivUpg2H6b82~V328mHTjeDu6#Dzz`J;Dqju;CPuC%xp?A=I#x$ zeGS3$tK*o3LQ&c;;d;(l%?kuZIKzg4;~)>R=KSacCP!#Fz8tpZb((+CjZW38(fP(e zUkl$Z?0Gknya`VH-q`xn5O#Qh8@|UgL-5mf@TKZ9=o$)A3W|R zGn{2{jZZV5VQP_aLAuU{$++wtph`JXCtBo}RoPL*? zg@0%RyrZw2903^C;K8?sYHZ*=b?ajRyZZG?HDwz{s@6iu_do6R??j_34sOGD zvwI$^H}o7$?I@Gtn~+3Qi|apPH&AoR=a{27q84_r6tE6BXFbdGGBbEP5x8=#V6bjN z6q~iO{q>Wt zaFtpd_AwiYEYF@)qlwU<4HjR3&Y=C6^+%<(pSwU5tc55DLMJROU^!}76rD`o|Ba~Q z7Zk8m__?9HN>rnYWNo?#x0 zK6QA|1$H*6!Y96m!M+Z!yTGQP>>zm}FtIvdVgZ-ITb5j8Ni4p|s!+v=fVp70IxyYy zl1OU95e)&0V0DmuaG4!|M-Jm4tw^#d2VztmoY<^aOux*+jwoj+`D~+Y5pb0{cq6O6 zWcMXjMHYXV+6cp29iHC84#oXiKs034yqxEv1nSt@jNN3rfT-t>x3G5&Mb3V*nPfZM zNxhCvh;6t*{LfceZy{NfGmQk8CiCKc-hbpbd+>#;tO#>9T#pAjuQvv)9`R+FfKk0b zf+HlHL~m#6G3WLK9HSndINdm(uDzJw*Z#8*vW)5>^#~N5u*8`QLc!Uid;#xz-TZ}4 z_?a`Oq9hM~(ZJ&m)K!72E(k(Vb&N-`y!{A={&g20c{>mvHcoRyWRCh^}AR zWkt595%mqczl4hsl9CO_;p_y9wft7@&)_=#h?C*r(LIlu{LL|I_^kg0WAK9p?6QcP zMERHj*UkmA;HOKu;rPTN@P~#?kJiG_)Br5n#41#y}9N`9b)ti4TMFtap zP;c-uE|y{!e0~%#hs%38fVq7EB-sTAc2nnnkXAlClKG6fM5w zph_TH4ro4xkw}X}990v@wVkR&n7h;BosOyq@*@4C6ljFDaHuMhq_WI}dc`S2L9tJ@ z*IJm)(&Fl&s&Uj}?e{@29jF!HoMEcIINnjkkgXk-r}RxFI;kS4ie2Z6$ouDrCcfE8 zb;wYZIqVK3=mZklCS3w~ag6GnYFE`hA-T;-0y~~9p73i*{tSoI7?tj|qdj_V!(VbH zZIjc=_a{T7YQohERFg;{dn*8lUK8${t%@d(ExHP)F2L2|Y}MQ3v7^?1hv(WRd_G&1 zL{3{fdNnY(CLFR*HIe*c{!eT4SG(W}M}O;tJ~r$_c*Mr1rOwK?3(A+8D5X-VkC&HN z0Ka{Gy!F4Oo?X`dAy?kY2sm#|`E)|HS`ucW#=4H)|%Y@pq6Eaic zQs*b6&P~Y7x9ejJ;#u$={d?X_t9+^+*lwRVm(ZEt`scoS;eQNc*Lcr&q?q| z&rE~ch)a!6(5?5aZC&;2KhSqKo_{ZVb@#u%V2xhkaoM91;$|jfO1i8P_~#~(NnbXJ zr_9USMV@$C|U1RUv zh{-dFQ30cAc8Vg_|Li%p;w>b;_w)CA|C`Tyc+c!?Ic2^xvpYLGby+bzb^SuY5@u+0 zXiQ8L6&e~E784b&`!A5V|ERFYnDCg0$jHbj;0ucg4-cihq858MTO8^w%FoS9$?@`{ zGIPf-_V%#i{(*u>?tcMG+@bmC=t$jW)!l@L#z0dskvh%CkmjSJA}FuW8a4lc=Uz|x zgBiY8`+oM29ZE?lpS00AgG0!lfhjp@!$QWzMu((~85fcfJ1#65HEbObirmUVTzwm4 z$urDVhzRE^NNNSR`W`4cG0Jp>u;_8Ie1+l35w3pQF0B8J9R@@4H8v!upf{$(w4#@$ zyNC!M7s+=aY~thMM+sw#PMNKtGbrEY-KRD;T_HMhoa(kS3VorAqc8UDF$lLGXjIrOg6~D{_hh~mQ(8e;k*|QFXgMyOF4#tQGufZO+Q!z75wi9ov0NdM zNtM(m=Of_bQyK*Vcs6=+y)4`%(sYGtaxDz%e-PwaX;iNBtIPH1g*KZ_cTrugeg9>% z&TI``xgPOtUr*B&s>}5w=d?#=Yv{6!-Xmkz&rrw070=Hm*^mmU6tDNmss z$QR^dq>p?+5o4IlzdQAZY7|BYn*n?%sHSxC4WNyl=yQ@!xC}H_y{#I6P1kWD`R34u z?~)*}`McDL3I_`s;LyT_hGY^;3ak!vlQHF1loDQyvq^zA{?de!485l=$?582Ul6`XQ=wgePLlE{IuZtcb~zEyA8(K9XTC)nkkdu zgZt@ybl-pWAl`yJhm{*If6TT5sS@U9=j3IPu_Eu`R`E=_QxQ7=gaK_32$f>)&5udV z96Tz0OcvTOosJha`{~6Tqa39(=y;!nSzk?H`#>AU20JD_D+>`;zt+S4^k@44tEUmc z8#4?5gYVg|`*oXwnlN)MZ%g=ivKeNAL)<<2eKRjFuqMo;W#3;ulU!!|!k9gbjX7;3 z+#mO_Iz)XLqJ3Br{&A9GHU0@-HyCxADVI}@Xvb#SS+4iMa{+a@_YkB{Hra7HSEE3` zD^qVG*YvYbH(hL`w%@prF~c~ZH(s3-?lYPfYA)cyanZd+wG5kmT0%z6YQupiqlQrKGMBp~-zB-sP3Qgs zk^g46AKZ&+Ah3F%-xjRF0cbPKCsbE*m z4fqwj!<6 zXq!a0hED15FIzSpdNpR4k0C<{9}*TG%iA|$^`he&c#gNKX(jbo3La)P`GqO3PdSrs z$JOXlG2tWV4285>!x4M&U7>RoR`y~1hoyR|>E_-I^n#96SUIS`ME%ChRU<-V=9|hi z3P`H2XmE~J&?w~DFf@$!+Y27vvZ~9JeM33Hb96D<3y3X2NE44)NJN|P@S;tmLa0G& z{uiNH6Zo^`VUGMGODC5cZ1Ml_w#U-KJ8^c~n;!IG$};gE(*^IQc3b~F`8R%-95RGE zIj>!}doX;k&NcYTb2H%W5rK67BITEtY%*v!MJm8RdRj_uo<0Ut zJ?!_g=j3fa8mdVPm!{NpW`4*jU0b*G*{9m7LKa>O`9H@XzFZJ|@6SQ|3k|h_T3?`L zOS9@S%n#onhi+^9Kh!ouvnc5T?MzC=4JyYyR@M)4G1SJ=`;jipwy|H#`LmXlLR)?5 zok%b7qEj6L(`;YOHdGJYMh#q;##xCz;TdOt&{nkJhL1{612^#(UBBzS^2N%XhU(K| z?*4yiJA2Bw&bJM7_Lm~xClvJ`D&X`jp6807(@7j zP0P=9$$Mq6{>w0d3p0IjCkM}~v7y@fs3HvB``M4=wR(-ZFu-8VeldP7%)#P=<*R+} zf1*>fTa2HV_?x_tddkrbw4s``oV)L&m(AiLdZQF=Rn2{K4B{n+0%KqGJM)RbHWXYN zOT_(GWu?!qZJ-T~LA?CCq;Fpz*>b{Q8%nN?+aX)K98Wy_y@5732Js({>XiGX+P*f} zh6C5e57hnvlZS0?ZlDbZv{+Hk#optH=k}DtVuNisa&1f;(8hOE%FZ1I+Ta+(-CfW3 z5D%CxGT4R_*GAda%)-u(^41w>gJTd+eRFfd!ylH9H`s6fi^e>@&1r!FP1V7o)~Py16@gJ;9@sA zZTS4?((MM?@F1OtJNs|=aP>#m8yjrHlN-myfQ+N(wiRtL&<4jK?$x~8Rmbmrx*BYw zHrGbH=fJ0xzfZnopbehEcFVqv*C%&fj8fV;xT8V81lB{xW(IgWd$cb7nQaFeTs$%* zcSI(bADrnx%np~?&35-;+e4XzlyQcIrckMP?)EL)8VXrWMQ-xIq31_Ka@aP+CeYU6 zN(w$NEqlXMDd$rzrY4EGT1IC}C`PB*^lAe$JgcjoGxd#%R#``!nWAecsecpG2QMB# z2hkFX6{9iGELM!giqQg##fq_5F`VC~u?#I%jQ;bmSTXv~<3Dc2pqHJ3Md*N2P%qPy z9du2mH3~jB)_E>d&QeMjb4%IArt&!xhWdxg+3orGroXqGt+BzHFnF~8key`(9Nlk-n*{cct>bBV2|o%&q*qDQ#P zsdE?3g2C&eYw!{_Vht;$ZJs`?Zt#+|H|eftYud8SU}oDUGd(>!pD_D&>+MwzD`?Kf z*Y0xCRIBR#r8A2g!}5T$@#TRWZq=Wgn^(?mdtv~D0=Q7Zth~Xwc@xyb>+-=TNjmg2 z72Of7D0BpK+=UWx{G%qQOM<>=G{%J;1pU@AHb>5NpfUM_LI%vrHeVr4Qz69mnH9^X zLJ##!^#DWCRPm1pzrWh_!{7(Sc@+L7b3XSp&z;6E?+4zu-Qx}`E6&E(ZAjZ>IK01N zBYrZPDfgmWVb;s|LP8!aBp96@Ck?{gnS8?h-M>9gU%yXh|O6sCH$D3{U5h2&eXv zn^9-fYc3-0hkqt_OKNH^Pvuv`Y={iz+VRq*v%K(XcKUUu>@&Q5;{OT6GydodW1(w$ z^R(yeAYb^dO@5aXG)sm-x4o7w1<5y4Ax%>uE~DA@PJD5EV?@~{7Ps4&>1AE zmIp^*unI;_AJmsAA3?bh zyQ`MbR~cSzX=|BM!&*pA&}KZ*I&J*DLh0! zHnJL@4x3)Ew<$LD%QP9xt=Slo$OS`d0Z)9PbYTTk_KK~+Ju%~#REMn7sU>YM}qxSKJ5JUk>TB{df>t^qHJfb-q1m>+14cg#?J3<-i$pVxqwjG^GKg|4-j^5K-b2{#p> z1kmyy0+J5U7_hYr!KHo>w{bwy70*25Y$mb1pK7lX+@b+6H-P2(QR2pX{kQFn*_wkE zGG$jNH+VxXMrAJ}+K3TE-W|*(>OF+NGdt*+XG1>jRPJv&_jfG(9W#_r;Dfu;DZn3@ zR0w50D zwo0}+kZrR_q$48oD{0p3N}!gAvd7R(WQw)I9c&9=wBs0aIZo-Wabt(7IUzEVCsxc| zKR}mAutrvKZrpF``oPK8mp!6qEm2WNLic0&X|9mF%5bJ^80BH|^UO*$@p&@p+f3ze zEL}D1vHT_Z2S!1tWH74Bv36Nx6f{2!)pXH}$;%%yW#3b79;Ri*s2F9XzKgKb9`$b$ zmQUvwj%UhiVd#f!e*QlCvO>2)3cpvx>A|^9FZHXCAXb#L zFf3kD*y}ZjmIsLI$dqv^A#7A<;Tc^bkvHl6qq1CGA~7VS1+o1WYl->1xHdfh(H31I zsV;fs@8GT_qD60_n@F?0lu2q@#wbo7s7h@UKhcVXHMhk2FJc!(CMza-6d8}sB zh&#V&aL__G3@1 zC8{K0!H9DUbcviK^qSM7k(S6wf_%4Uj~k#&JwciB)3IEmvbHB?wc@oIY$HlZ=hdOC zXYArzK=lO8IWj+Un5wT~KX)gh$c+l9oG8ln-97O_OXT4|zH;e|8QS{!Jhi~7&arV! z*>I{h5iuhhI*Ev7jLJ9u+$e^7CY(3{BQHStW7T&>q%1!(JzF(!B4#jDq9yaKGhrY& zdoo=@7sTCPC1T1}QJ%G7a>V2tG(ApAXbpm%O8%siKV#ufKDo>%m-%C@;q9f8Kk4Mp zSoKmVdcKp6R82Cb_WSTBro1Oko^AVIU=jZ3MauLGX>I(=F|HszYrA`O7es@2)F$Eq zA50FfD&*5H8zaX!c&_^!bCv*SjSuKIUuD!GRKfCD@d@<;QjQ51T)lMYv@mIc@B zzhuh(qTIYpTZTrTV%EDDhNGhMRE7pbB;z) zdH#Q=sEofj6Q7q^08BNIE6OZV89Ve-Y8AC_$+K>shE!8CwFHqXC_{v#bBBu?1J3Xu;gqGB%Y_f7QGdZm#*%*0b ztPYLvNh9i2KG)K?J=0RzM;9n{gPEBbT;+n9zpUEFlntW1P5XMeM&Cs~QDWr&Kt1Kc z9f8s!|9~zd|G>NgjFVhIkNib8M^ec&dbX2}R>^bz+*6yFvd^j7-T*D8kXWH&)`G%CV~f_U3z1*aXQ^tHZm_NUx&;K z#n-dTzSR=Pa1$WP+%`kL0?*JJTuf+S4DlEdJr2YQ?T^%9=2}p`3fz&d!%U!_xR;Uz zU(cKaBIr#-H7A7^)w2V-?9iccqB`m4vwhT!=A@{^vRmi!%}iMaRmZe>Nk(V#Vf z#;?5%?um@a<_Tn|yfAV@BvJ|kAW|w&4Ok_a)2D2D!j!F`yz794Y2u9;7g{nKKGUIT zd+R?Wou=Ql@sILt+4Ugtn6SD;RH=6z_o)+|o`XEpA<|3affJG|D?dJDkf7e8F%4~b&5x5UXN5y~7+ zkLG}=kS7B@^8fHfM62fT_o@=w_VrKZGi4j7I(0#4O}{O30|m(?Fk(mk0A`SjY;r*W z1cY_0RZdE}HM}eC&sg|1MuoY&Tgbe2dj<pO>VP8P2+#L}#jm_x6q3{Xux^a>C1hS44tj!ygCw=rHp- zcI1($B|6M%9V?d2n~=da1s!WWEPn`RON;$&UVQ~556T*{hj8E_x$(3Q208bjY=FcE z0Q&pqk$#D?GqYR*z!~Z2 zMb8z@r;>u^Cax>0Su?5`sipl_UDItRo4d{W9Y5;6v1aY?6%GY9x2lA1L6XRYeIaX%yRl3(d#dmQK|(J?}isq;{m3zdPT|O*f}ErqQP9bR!iIKl!bHAjzBJ zQP1=gxN*a3n05l3eAVgPcbu#G7Sq!;k3C&Y%2xfzhB7(##b#%z3$wE^_&6Q{yQ<4u znDV>Sp1VQ|CXaz6a;7lZ#Jl0YAVWb9WU0hB>Jl&2c(b|2D-v7!Esfn@V+xwHElj|5 zJz{{>br-V@cIrwY$TJCo4pPoewXc~JLJdd^*hKDe?WS%+Ae>x7K8uzOs#!y-8U_E_ z*z60YyaDAyLR#F6MF0Yv7>{7qK^tS~mvmUN^mq#NG@cfKghme->x$_Xi?PD;mo*xy|(2J{&Y2|&#OeZ8*S2uQa zio5qs^Hp?XMZT9ZFly7=YWQ@*&v`cTtlnkgJq123qSDM>Z`?u2U7SjSq{*v%SKTGwvo&1SbO zb%kumSIB!S+1WOnI1@YCT_At*@xy4Q!bdYNS(c5Y8C) z@f9!V7zv=}YeEH(IA>kt9Jh8335YjQrTWgF5B9`wHd{kaYdE<*+F+(eHLVe{I?fZc zhOcq0QGMr+--FF%5oS86t~EBjDr3!8(bXD%E&BQ+Gd1+JhCem3$+8LNtLVIw0&4H{ zV^Jh3-;XF7-RU&7#m`}&6LMbzVL>WCdJmo+Y{Pzmb1zp zaNus3Y)I8Pdqb%qYE?7P3WzPI_d-;RK+|I+e0us?#i#dJRW!Y4sG({1v*u~n*-%^` zI$U!&PfZoI_Dl?o%9gj9^6(NLFO_$8aGafXR?d1ufru-}95Q%R8eg(->Xu-gl98Gc zW#Pr_L6G1@+n8!ImNM~1!w1z1NX(Aok>8?LL+H3KWzTo7jXrkpVYUh&Pk?#=Tu?O^ z6rkMu_*O}^5-!ZOpln0KUzpNADSrSYgL5?et(ZU~#+JWPTmG(Kdk;Jhovl8q9T#I^ zMUez~tE0P>T)Jk|^Ee%iy!-+llN{RxpClCT;o#B#AH!oNWr0Umx%W2DeoRGQ4Ltf< z;L!q)?+A~X00QmbIt7!%2UF{_8sPNz>vCtkGpxJ%!y+vgrqAs}JLZ1>iI&K3Ln-a> zh-@$87$I_w!!X%*TkD5F1f;)SkiDF?ZPHFlRfWz=8y%50S2duGi>w_oW}lh}F+hB{ z)ZMhJPhsKKUnkm8+WW?aX}XLg7NcOv(A`}~*hK(AN<%9rDmXS0jn6+PO*FoNczY5W z2;mm0Fh>%u1Xm)BTws?tn8*{R7X`x4%Qn$0>ii#RS}L-=F^iSbs0%F zlIK6pA<<%LMnaR8yF3cjFsc#iv)+eg8b&_+s=%gsW?QB#g$gtcMt~dHrc5^uSyaK& zB)BU@6`!g4hYR~kAwky=3dYBP@iEn?awi?50;7qFA;%$c85Iy{B&1r4i^c(o3{)Le zT`gvs3z@dzV9^@b(#gDN2LG4LkqT6gNwxLvqe|fkrs87_3i(@5$bv%u1{8uMVuoh7 zI21DdSsRx>lQXlbiCO=EKtJh$utg$(g+M;IjSp9q^nN~w#CZp*B2YQ#TKCm>4;@Ax zrq12RahAMdgE~j=kkYb zU%LCdk{6CF)FrF-ch!16u$7jq-rprl?l7Yzm}~)*YR?20R43`WWl}d7CKzJGP2{8M zat5|sprP?`T9N_1V(zJEV21E~1>4188XC_hE#KDnDgP`;B2%7G`hD+|AT5#SR9?6l za7f41CI`fE%_{E(Du?P9@HLzs+_5H^T{Vwy^vI0C*?c9Z&ENf6R;?^k)xA?h)2XMc zmkn0c>+;o?$E%eMRn;p98&$TLDLX;c2fx_3m!4ttQ_G|nX|)-`zjN$uB!AAWHZ-Cp znLsql#qTi9S5Ujhqkc?T3FTY=A5REmRGSdsXKlFC0X08!(^Yc7zevqhlaU$l4m6i= zqTOJemrjqWV`mIB)sAQfg7cU&OnF6)?Y%#R6m0m zQ+c~SO$TZN2M*shvj+TX_zgV&`^B9#;a3ed@GI%>duqV1hUvg2(`QVp3BRiS`pqU4 z)PX2yKZ60{+WXZ!AbG`+h}pbCRi%jK^pw+p#P#mF51c>xkc)$KnzO#7W3{qe(DcMy za9+85R6(^e^;xyfUpsHL(=W?S56{gY@$-)Rqwb`>RmL67>ooG}rqF6dx#7HqD{#E? z$qc3}mkI(fH<*%2Ws4Y9V;L0l_K~e`pY+I4;3m__4{p@l4|^CtcN}D{dPFJ@#^y~E zNL%_V~brfb6K;pBZ6YdNUP;8dVc$Q8gA-Q!`a# z;@fsjD}aT4L;jBmlhe4K`3G94CA>u*5Z_iqZ)>3-P7Q^i0S6#5Jc!bs{7TSES<7+F z2`ycNYRWq&%MWYm8lT7ENB1r>*isfeErvhmG(B7ANDuUQkB$41xy;hHk2!V7=``6z zuVz+y&1(839q!o_Vn6(h#p6W0mDl^g^4q7()=)<=a3Pru8iyS>Q$s(vrl9k+tIL`4 zrc^KqFYz=GA+Ob0Lm`s!?b8L+FOg_*0(oXQ0K9cMG!gRJZiqdu%c39WLb?IvZ}21p zZ5u?rrdJCk;j&Kx3p{7?4ERWrWC$oX&Zid!VTw%~8BskstbV5Nf)*7rSPiwI{NQ;T z%!9(;gSi(Wl<3EXh_!bFHzd{z2O(GLK#*oos22l5uCzflV!a!NEA4&dF)A}H{ofTh zFJI=8-j=C&tWj+BEsD*e*!~L?8wmidkr>xp?*(7>S$Y{_AcKv?K=Po*M~k8O))7Gn z;;LNz&X2Cz0s0`=gw7#Yp&J7_J+f+!`6{|`kl*$GoH0{_U=H62pOwCC<+>{KRrJP{ z@JFxvrmIwsO+9t-{s^-*^wekP)Fzo`YUry^f4{Y(KQR4Xs>h}llwL}*CRyo2h{iQy zp~34kmX)5@V0s{KTr=sRJI_{a$06UG9_|}&PER2i*|ZSBC7aiYTddZcCZdyPRBI*^ zYS?_9W$q?)B05b5Y#PldtOGT@a91~284IS^h!Dt42nlid#Y5%Vw1HOD3&>ofyvM1*kuY@` zOfeB5B*88}1u1Vg=EF37GTFT?-?79YMMLIV=Nj4ST}84^@{MRZ^;71wnGFXQgcv+% zfx~;vA&LI|j@?NBB^+YJIO1GBqTw{lSFZk>?~I*Ezd^@Z?ThM;tYARiiS11JXsUrp^B~`(d0=u&h1L%?bk2bx^Wg6&V9f>%bGNKv z)VCv2_zkVOyj`N_*6K6r@#)zwCi&E_^dFfBwF-uOn8TFYQ6cblj7@hF+s!DTzcEe3YHB&N z?avITWeB!5s+OyH?X~>IH+3-Ai~g%ApqAeC-_4Ydr9z1&H|$Pw765V5jU1|^QiFPK zyh-(@^}7oU9vi1>P|uM!_Y^c*#(2;A>WAZdd*>**S$)N1qQM$!bk6D53^0M)fJ7cQ zMWc?bBixXIeTLQi|7uAEG}{pi5`FGgkP{yo!25GFq0r5}S)rWVHxVe!IMo#G%sWTX zyXOKGNoNXPsWliiO)1ng?L-Ps(wiR8kg9X(4NLd&QK(aEIHT0Gxe)3U;72AJ&4+_2 zs5POEmzXE5H8w+t#b&VB4F3f-Lyc$qjY5bCn;}2i47v!cyV;oC-m0FgXb?KRLEH79 z#zIY47~HOX-cyFPOIQEznmTx!t3psjJG~!3wY?uySc5ux*1~{+!-qkjRj83bF#>bk z>2s)LaNPv|!nlK<*MNI0&;5gN#e*7fr*qr^bsDUcLkL%>kq|C!B)O0{G?i!H(RN_E zId(ET!jC0z*?hNOA&Fh6!R(g2dghO6FA~zI} z$n~eEUrZ=+;L|D{6MTA_NXw^}nuzNd7`1v+%cwnQmw$-*lNKiV)b?bJG#M(P1N{xz z6$MTYA}26q#Z)M~DpxadYwAVv69n3Olw{}`2INx5D1fMaI2HvG+J$ky(%~2PV=Vk& zRbLYP6mmZa5mH2xj~9M%EBOX2BsivV7%h)!oZg*zlCDwM4J-=VqOdIr8?g3W6n3q& zUWVfCIAr@9@c0vyT2TQ+d?4~Hg~)or;cQQPB_q9O(logaa4Kf_iy}Q4nLFv zNB}Bq^(AUlcCXW7i4HTb0F`}C?WZ6eMJQzt=^ePE5_xvTj(tIUAmv0TB~qObrE2CE z4<<;}40o0b-*~qvMYnaRJa55`$;Ek0*$gV2proOs9%>z!YYHPF(LHy59}jZe9q}MX zZW(@QM-CU7(ZX*xE&RbRa;5}Vk2`dR8@4Kd_|4O`+nKUkRA{()FgJM@s`=i(3Fi?i z6xV}u)q92k8w7TfaLzRT*!mOZ$p;jEy+CG3+-ylxYCfrsVflkJQfY8_%=?ZWe!p&) zyW#sMC=R$}_`&@Hhz}2&82G#uU}!iw?tq+q1G3Mj-a>y3t{crZJ8=I`aJ0gx`e@oz zVQuu)r*vy}q9kt?OmBu!L4@dq61NB1qkxTc9Mce|S+jkpFf?)_-G`}+>=DCGhO5gP z>B;QK(u_Ln6sVPmt^hAuvWZS)UrNQZ*hxTaLWmJa`WfAd`I$QSjk;bGAu%X%A8n1+ zeMZMgUu2>q>;S0Y#m%jvlzp@#dh;3GRJwP^vJ2Hp+|Y>4bewQ^MdEKv`6em?@7PQ) zv+}PvC7#Wc_ol)kC`w`CVWJHJp?3i#bb@d@?&-ojuXX}7&ryf0bwM;#JqJdYYJgYI zInnTPo=8;M=uupdj)tsft?N*AjCNPF_EXyR-xW#AWJJb}XP#`LaC=+11=}syZozg_ zEAVDqbN94pV-~t;Z0FzzjoMDj8<<+<3k?s8csRkc2qvT=RFho}G}B_&IahUio}@mD9_^$P*rcMc9qdS`-#}BJMI|R_AsV`ij$_NcerRc^ z*cM&eMJF(yw;fl;_JTgVzM*>wqY}p^G3A+5B%byS-OoxK)GdD>Q(jC(z_OMNc`8BJ z3DfJWgxEmI1XDFw@v!aGhWyc1vrq4fu8d3|$$6}j?NrXL(X5J}ZW z-iK&s^y*w-b7tyuX#m@gibS;!(fye3-F~?M`@kd7^h0!erhd?z;p}*Th@TG8;~B-3 z&3^1SDC>2Y9w)qY@8u9S2pU5>k3w6I57Q2ed}^PSknbZB*&m^s3AfAQ$)022cyvnU ziN+kEgM?8%W=D|rDRkwsT?`62N;?Q=9?8B4$v=SReMs1VqlrIQolwM-Euo^wj5*qQ zHn0}XI7+7r#D4dOTw=->Qjt(1L>s0G>*3eO>7G{1l8X-?e!;WU-&# zm;KZN^*&n@IEwP!@m*uKY$+H<-U&=?7T- zMeiPx|A>9Ug7M;qj+N4W=z$$ugnerRdWcd3ny+OmcR*P%+WATuh)V3)Tev|z!BSh{ z%;@LK*~&eD7gxM&>Y&gsKj1as^nH0F3ODLC-d_ zPvkHdYW&P456v&Ja^(lUuf)m?!!3j=m><|pSDB|F6n?SW zVzgP#U8}(<0fwiNEejeDQ1ebcB!_dU9K;2ihq##Nm*cm4u@#S~7?eC$dLJjxCZ^G| z?)H;-Vs=CO`?zB=K@wq)Zhd*8*D~PrT1;TDC++sB4n%sPMGdU&(DhY-lL@ibz|gP# zuPf9z2^h*Tu;{yW08p}cYXHk;zjSNLRxW}8bgpgp0NXdO55&w_2gb1AHb&#lUkE-B z2(7%%(d-i?AS!2JW_=-$WBacKU^m*?5AR>C1l`>#FTu}tk~?7!e_N+|aog_Jw{Q$= zRR-wzThbWziK7~+cgUVeV@z~x)jns2KmrIh@rnVn zWLPY>0J+qzlMeq8 z_CEAMch2)})Q}i`LvZ8)tNHar3sXKX;Q_J{ak`tLtokALDDIg{E(WK2jDoqj5qmOE zPf&PJFAH8;yljh?{Vu`Z@91R%UiuQ0i6bV?#!&OFb|ZqCC1~Rz;zKv$y=|tFv#7kj zkLQV;xBd79A-?&tac7=LyzMm0JgR``3&y6(iwZp3@pg#kfeK2F%YW+GdbPc=lzJ?&@Vg|60slt&i?%h`&j zKs?;rz8r_;Q9yyl1$I`&0`18U#hx)`_dwJx(_V=5gx zuoce$q)}L2kP}Ki3&=hy0%}RZCQV5M@Jpf^b5^4KxP1y<-N5={JyFZg`og3m_`(ev z6Icu&re|Z~3wNV=+Y@E24ldfe+G?pS8q^OOJao5y9U1Z(VYLyDaEES@><_DA+{c^z z3>~2!jC}c;dY>{+D>Qy|LyI46@uMw%^!xRr)%f`u9g$hd!)k(`jR8PMEI4XUAgeK& zdI})xlO;g_S=Pn-{zZVOF?x6g&?##+K_{x*?L&@8p{%?h2Nbu;t_TmDN6@VFakK3_ z|HUi7-*GV^wqHCgm^kGPd8a&d1tAt5?Y5aX^cAf06IaWPV=~58*tYIt-^4D)CL^p{a58%iDep#f_sba z%-qM9x|2ytW$g<&WHmev!)o|vcESm3yvMR| zOi3&*@V7}52uly`t6(cCpuJ>3(MyzF@1%T90)2IBl*PQ;Rxjogu>#%ODlf*Nf7(Iu zN3A}L(l3_d#1jOe8(kXXNLIDuNc@o>D!FVU#O=@8z^bms1das9ct4$wb7cvk`nxdi!C76qC@RS<9fwg zhePp}@dT732OaJLo;V$cVR`(TwJ`C`>xFFPLf8k*IpGCC$|K+p5U{bKZsSv)l!?ppYf-QARGC8+&Xx&#+WprU9=$Z%NCl0l!rq|ZRS zu$AqhkA8rgA@xld>Evi|3ZbbIaoS`&v97 z&Wj}o?-@GEJjNz8YDi`>1pP**+Kl6gYn}sf(H25H z)qf8x$^a)0TW)*XT6A#cS6A65Lckkef;YZsuC=rX-+xAUht!{A%~oy)jDt`g4>Yxv ztpsHTGq>=eS744xa-wquY~?aKfs*G8&P1hw0toQ@1WH5=#%%mWjaINIAAk$C*>(}Y z@n*PC1AX<;%Rrl3_}n8~h@NCU9OiK)7|`^!wQ$^83|0?tyKNLjLu#=I%`8J=%(FGK6%qO)SQz#rU)spYPN7{0wt&7;PR76Sa6a;OR{v z_}FwJ@1kF~CT?z3hyGo8BIlx4-6t3~`ONMFp2)fAUrB&d6gVR92Q?@He);0d3OiUC z|Ma}WeH}d9@c{5px>kA%?{TpML-NNZcVB|fPA6iBKc8wRY%FZimo3W%sQty)E=3>= z%P(xkR+Irq7i^b4!i7`Gpb`s@cjJh-L5SV2*3wqLbGiqAU4Iq1 z-sinGo4ZE+17(l!uolFBJs&nThj`8jnBHUup0myIue^!poWOg|m%jkOlQeyO;0Rl} zlun{#!~jeRvAu`;?j%rHt1Rhbm>mS48fGeMqvYm{4E=T2J`bJkhkH?4)Oze&o5 zIZEgY<|tKtm7J8>@LRiOKR}Zb+p+We!p7^5>88Z2L-L=P+W6=1?1nf?2G5qQhs7Fb z6N)_0v37x-a9oez9RbWQPDO{9XN_t6WfMn>TWoQQEpGAqaEl2Tejz}2mix(L{~j1N ztyOVu5dop58W4i5evS+{q8&X?)FwF6l*~!`q8;BVShRnOtOUOr5C#C0aNr8rZ=+j` zJ9shxKnKEN)2o%B7Xr2fuNy`x)|Y=fg1D_sQFbi{SG3+;C?@b_$H${51`u?6^4-pS zGTqpeY{cQ=3Xce8U`uye!$S)F5;^$D5O_JSXBc4Wf^pY!bZ#dxfsrG7CwVR|^a=w^ z9pZBL3O6(i_he&cxOdtvIGU4oGKBH*JQq2QcLU@?Y)CE-}wW zXuRDdi??g>b}ioS`|@^GP<{RZKPqr)%u1i-l=>lPrvH}7kp)MY< zmif(E*dn1P#6ptm_8ZCdfRM~s{<_f?a=pJz%jayxV<`9E%9L1(TI>&S1^1Mun>Qm) zs5e@)PLzZ%t_p+H5boUtVPqAUZrU6HAl1R4KQX%kn3l7bo@SnXLgNYhEOwX03AH$( z@68EywTkZrkS|AVbCpOKqYaN!e zWsB)%D6BacVxc0r5OvrLHVr$M*fd{v+59v6L;=Obja;!!e0(RJzDK<0o3;0wG zU*`$|)TSM~`%|@2$kYJalE;zK+y$SWf>1b3j}6a z0J&ur&xseNI7|9o|8hLw;Z3?(3yP|T76&K?;2zzDBLbLK34=aoo?WEzoKg!US|HH^ ziSGvzZ`mtitPq|qlsEp{xY(lL&W@P0AR@R(ls(r)0N1Y$UU%1NbgBcZL22K1%8eoY6N$x|K+;uA!R%o}Ro%)pctt}`AG)=%dU`VKV#adKcYnnS-xdzC! z2-z7!E=36Bt1oDj!B&0?$P%r=G$DdSiofC#|8RiZl^xw?v1JqK7Fg=eju43EA6c-M zt#}FTxFWebwDXB43)nbkY4BZLGRnLlx`hu;X3MNZFJys`#zI>K#U%(z@VpPmXd6$9 zhM=3*(3~6J+{9oOVyI7_@3fQa6+y2q2$Cu0;RW-v2XFpSlJVG9cwTENf(hVLH?K}cJ3 zSQ!8JEyq?Zf3-dbd)OY)t@v=3s(An^!lfIo!)`Z1gm9Jzxc7{3Feshthp*&`TsX_Q z6$E~geKT#;Uo#Bw;MA_^l_gTUY={mtGrv z*|HS?$B;VP7s;-RCFn0-NQ#sEFSeLw*DSscX=I%NV9~T+#DS=AghGfQtzrpYX(a-i z@qXkv*qB_coJ+2l!I1KMO$s1gtzNl^WPvEc_b!t=INs)TBld}_8o`| zA@Am%`ual?BS^BChj+w@VQ3%9yTLYPou*H*LUisp46W!oRA+BKU9cI<&Lp}uDrzeW zAh#yPlP|GV4x-u%hfBaAzfZSpjRA$P2MEuf7;OUpJCeo^zJS9|x*9qo5d71S3^=nY z)>z@ll-v=yF5E#{LsPr*exwVZjk4YPomz5r#l>#Hnw|r+V=505B8g#7(v$PJK%ZyG#n~gpBL#=4|CY02t0cpV~$& z!#Dgz`F5g~)TKnu0Hj<{%5r-b6cT8agV(hMXIfO-tyi(yo`f=IJ_n<$0(ua+#k`oV zTZV7Mh`>CZzIh!i^zbGqSA|Q)7&k8hsx+K5=8D<`<;r%n5n1ygGW|M`HZM8+0JEQ9 z0`p^W!jO-#t3Z<8{Qg&9iMFTPw4x|)bZfCP3hj@uk3x4x+KW&|s7Qp@v=QyACyM>` z!VcanZG*u{|1wBn_iM-10G1my)@Un>HLAfIL$JUjkp(p^sF^c3L|-%VM`31=vnl^^ zx-kuE-uVY$*``&?)<4#L6iMvJHV85`R^ao_04&0vF@ZorgmjG+c(pqa75(CmLJAxp zsuSCAIUDcek=_yDD)0Jm*8{aZ3RvWT|Jp7Bdvq|WbyRJSau5Y+8gJos_eHRN^xNt~ zA3&}~Xpqmj#VSqt-cZ$BzBVL;72zJiheATrK=$k%A66TYAnHx zc1r;91P4>@=$2vd<^e@*_Wra>myEb1jW-UFD(6eGAnO|M$aBqsBYzujEfK+8O}jkD zPG=ZS2vRiW;iJEhVYFL6IGXe4+qOYT%k6{F)Yjre1pfRr{P?D5PhHW^UROr*=-C$U zpzXg55=JbwS_|lTjmB-9oGqrNCH~M7fB0VF4>?m4Cr8-3(tkH9r+Kp$Z3%7;yE_gM zr@SrizUN2T18!!XzJ7rtVsPIf4aA^))Rbr9Joo6)1YB=i+PslNN}SZp9>Q~m4(XJ| zK_m`qZ9m^m`0{FUZ{n-B<$d+t$@bu@OQtQp2bs<2HW-pI4i*SoCAWu(f~Rl|c^H4U z7B-voh@@bIYe>QPyEPm3=1)k51J~N@i$!>0It-E(uW1E{|BMuAvoB7~fFjY*>(6R4 zRi5YQcCAq84Ve#0?k8!5!76O;Ct5nVd?V*Lw`qp~?!a+A{NWdnsFs${IH-*U&3Hr4 zVggzm=eO-Vn5)c>{!bld%$tA+&}=w5+FJZQ=Q=0-eb>2dn|6R}`&XQpPJpHzh7^hb zG;7^1coQILhar0+0E!-f2Cx=BQ1DHJPDyAJ4<(ZBgru({%E?fBF*bvB zilL$dUR!Ao25VOPGn2_ud23iI_qG;CU`U>L)tW7Cw+|*Hxj}^4h@;TqmZBW&?fEG|z!W(SX)A`n!H)f!ZKz(7 z(20~B83=3C)#@a7BPGof9*riZV`~g~6pO8;-~JeIoUL3AxWuPW%oa)?;K}R6OKe3u znkLA|N_cy6I*heA9AzF9{fcY3MuOewe5M@@=?wuPA)Vq3d~p$hO&{;NTgj&5));as z-mw;Xi>H?I*N{#Tu7i$rUBF+j9uL>j-Fp&G5zKF`n?5n2b0h$1(c~^lzI{laI0HXK z(7x!}kN+Ji3)iMDgPqQg z1g#NdTD*^I7m+0!*SxW*0FHvz7}71yv=h?3W~~7i8ftQ<2FiL6C_MbjoiJEa7PKeJ z-4W=My*7E+?G4}+yXN+~<**_oXb&E-4Xku$O_DI^OK0IN{A#2OJm#fidzZXb{?}Id zE&N>$DPK1E5uChGt$xA@$b_?QER>60kN4{VE8Wn3G%9UUD-5+eYjYd7k;CjGJM`q9 zmJmDst)L?s=;`2&7WJ1aalWHug0pB-m*J^oFO8smM;=BKpGX?-wTsLSU~Dh#@&vft zjFZcq_gR*#0WB;`)|Mq}11l{5Q=T`VYIGH?ljN z3j0`~7ubR0xuVKZiT96|KrWp93!`ShqBaz8i`rT3WHNjvPXgPRCs-FA)Gv`E$ftM< z_n9n#)tYOU2fDLm69g?NXB76K)EP@>NFa!PzV8=p*oqf|7O3+gSi%9%{1(1nB7u;m zIV|g_Qvz8OOYp(p01t(>4P7^LB^c`5vlg9c@@+0#@d}!*MVfX(3tHL!iW63ll^a=p zONmamj(h^e5TOig(B0XqQosfc6?B5dmro?MeMECxPw5EDF<8)|6N#}5M|$A>u`JP8mT2DB63rkhBAp`qWx3>6y2amz z)lU43W{372al8Jo#9J=tgdvsUZE$d32EmzHt{NbreJA`NKzh|$v~Xh844rNrQB06LAGdxTSwxG* z1%-_QY-9z=op559w5pz{c9TwXd2CGPu`&7QuqYJYhn<*K1y# zPvNe4r@Y=GfJI^E>m@CDCUDA&twl$!hp$(|B*2dnL0ZKk+`keMQHYuq#x_!8B?nEA zSP_EJ8_H(PA>Mg1@10-%lX&O1eRlVRG-rZN2ofuPfYDZhk4IOoUkz!@0H-0lBBV7t zx!dXtca0#i;v-yi4yFmDdtC>ZRw!{%3*zb ztDtjR+~9=t6F<@K%Ugq)=yg}nsWSp73_^p3E1KZMd(zPXiXEl0J%Du0HAvUVf^-(7 zvmo93M7oVOoRi(^p8#EFjXmfx>JM1W%@%aVkW&$|xb|4++lN31V8C*~l`-BhYbRWG zx;+GB6C&hPe1r#gB#0tw|Jfssh#|2eAkxcod+)&-H^3I0M({fh2_-dW&hD&aD;ENh zJCfj&LjZ7+K?BZuL1INgXPv}~b(=;3^hFnCU)6a1b#opcA?;GgDXuO2I2{WWRpUK z-}Z}r12{HbuqWQt;?Y_>T8l^fzC7BWY|y+FGI^VKL$5ARmJFIo5TOe6er9NOsG?Dw{j1d2g~B(SoWZ978xYMS-yHe$Ld9>y(gS5aIlaJEPbVI z##`mj1?(+6|0?PEQPi)u$joFHZe|k6UbrgxG>h(cN%4vYPsWg0$SxS>C%4$Km#=JJ z1#2hA1zpKDKVMXMQl`LPos_}aNx-d?-(i{AN6@7!hDb(-K;f{z6xM)(+XT3Y1qM|c zHkULPc{v;?A`sCOS;`{aqg1+seQilbqTS9}@GLP}g zslaFd?buOEHS~@ff$r4^=%T$p4+)0JIY!W}EAdEukZh2$B`%7U&#Na|c;!qX_^%%c zx^yG)*@IAGm7@rk^p{Kh6b^6pd;<7(TjQ;Ev3RQ%Z`I&o{)Yf*a>&sEQf_!=5vqEaA-V~a2DUuCkh$9zC{je#WQxf z!Dedx63FoYCDZq9JzT8>aTysK*eL)8Kl@-xABb#(CIOcN(c@i^1v0r03)_=@g+=)8 zJ_40nt>(|uACLp;eF?&H<{bht*|~-4AQjFEM#(S2itzxc ze2FcZ`ULWw-M=9FO^OD!vx?(SSDF7xzFe%Bx-|}#i>;hBsN20-u?o3c?By-51J*$3`hXU`rVRbmZ&oie%3nC8#(^aYbm) zhR%)m$rNjpta0fd4tXEY`=&=Qx6q19UZ9<;&s`IL$uV%YDxiHHUm&go;f-t9i`a0 z-^JHHQp}*)Jln(%*|OE7R?>I}7sPcr!rG|>|1}26#b3P|b%y;FYRaG{x?$@y8TFZ^ z7$h9)l{SSfy&>q12aQ);q^0}v8_KwAbrE zg|pexYf#?#nBp8Q%`E>bkS&`D_@>~H(fgG1J?wB2kWcvZ%bADSvZ=tj;gljv!1z5I zRmt8I^h6IPdQL_Qe*|EPw>~+CZ~e_#()!p|llE}e=M4Lt)ucJk36S(c&u4hvLmi$0kYx0FxPhmgp9M6J=ZYIFy`^ap zN2AbcJ21i?ya06B)}}9*j@JaeCWSFfPSe@aN@y_%-RkV@hv&1(!?fgBu2VXs z{Q6kXo68QdIMdS;kF{406^gp#WX}O)^cM8!jXEE9awD#PFb;E4o|Om#YAc=tGHw>& zl2aCBv^dBX2l+iY$W;!nY|)-zr9AoHVBq!Y(VM!z>-khHsfNF;*udqY*tof6G z3J_IbBuBP0J&Tbb6d)()sn5T3O815-FVbxKp7O~$L{yUCq1YRt+)sIc4q{= z```_&lzU~0C1aB>1E5{exURh{uB*j$wYaYD({=T;LrqeY^3MMrWb4yp_9ifmUI_Z| z_^={QDa45#aW>uM*6oW~3NHn-2^^p<+y`ng?G+JhV^Y}zC>lTW92BTS9Eju8# z@9}uE21+_jb@T*K@Pi0{_Oap}Uf$v59p374cmaN%QXBYQ!#5Xg5UWgj|0E0!?%x4# zCFB@fPL2>WVdC6u4QwU%)SYTF2AOH2HjwyZwrqjm-X4i!DoJYIC zF(vZNMIbYC>$-py1~S}cu+7X2pUx!)m!QRMpyQt~Dtn394I#DrQfhlvXIviWv~t=o znA0(08PVwy)iITmJFEa%F~jNAT}VN!5e)%?*$`{a3y)r9)=nR)qo8-4eFJ;qBn~3{X(LZC-ZAAJ(`s`}fnep|&e}hfU_%Cv ziry_`itmetV3#vy7ld?(FV&nWegN{fvu2lsv~2UV6HLi0z|XDoW=SGCSwBtB$^Mr> zruJT$x{Jlp<12upPGKd#aQL}>mEdTcy*8SYcU>ol^M6uz6Dtc)@eL~#{`IEWAt9Y} z{BBZ!6p#%)wac)o=S{La?z+eTH+=Z0o!Rk!Khb_w9! zf@%!&y%5ro{gyygO4(F3aF(^|sE~dflJ=T<|5W6Q;UK|Vlp^TrAL8zCC(ORPMT zgR0(mfs0CLOw(WX!@fC5EMylNTJvrw?}qYjXmz=v#|)888#XdZ30G7j#o;Mf3qh|Afj$l=oGu#O^&+4A_y!oC~V-z;Fc)@>0n}%IRrW%;&xGz)aF$!n4~%;Vy<`Vu$d_-BtzL+Wp-xS6xDVS9h0EWV~X3s z(BG!1>OXm??1)`Qr}CuzPsFnDY*ue8+<}_9E`vEX;9645&GRu zsSb(M+rIdMC)^6u$e`*kI3O^Ly(hA5zndXn|5J)GKhoQ&k%% zZJutf1Pm65@Ul<5Dao6XyeU~drsRVUs_xW)pNYEwzejyftRP?tz(FFlhmfv!w@K$sqM*A$_6$jNh4J@Tl=76LmeX?9TZBd~1OG%v5b9qF4V} zCz6vDYLLxG)bjkq$^zqZ+mO^y2Y9Lez(IO7aJliW1EEYwEzr+#&DRB}F6ELLbYYG6ac29z%QR|=o z$@$I0dZ~|z=owEXK-aUNvvzOwJ`w%cqlGI+-`9N!eLGvbHs|PCqd(A9c6_^IbFkMY zhywi(Y^$(F1<|$*@sfdRD-+p)S-W~rA7}$nKp^YpVleh@nb2d+c4`1lEkrmk+J?`E z@c9rvA5ty(5Ma_k3i-#Iw;l9z!4&9cQ?g?nM~UuJhz)k9$?+DP96pW6hsW$(!`Wmr z(}_*CWx;QIILd6CNhss1I8N;opkN3sCYc?W}-OZqy0?0av;XDL3UN<}1wlSWy zTK&+3%1n4U0B9DB&;4q{-wnsZjE7mZz^v{b^%2VF=W;A4(9dbtBmmJxKt!#h;4IQF zM>Su@$#0K?Ol|o#E}3~C_C*JNQ$JA7+}5W7Q=BjM1@A8)C#v@z zW_$4XGwL%!njRSrIS3euz0QHGnA~`GB2#=9o-~CgQTIif=V-$%bw0IIf4(t0!H0|L z2Z~eI^Tt$8fb5(syCAPY<}1*MeD!Tv)FLa`3n6t72MI|ACChpzQtif@a91xmuI2R&?_p*~-LRf5dNVzvV}{;EDL zq^}q}H~>c~iGz1A=4T;*wNnluuE~I|`$F@05#933RR~y35(ncU67x6_wSAKB8|HUF z;td1y-<8)|1wnz}9RQmNi^SG)YdF%$!#rPU8P@7y)t-P1i$YXqh#77l-!fEFpu{mi93;#*WvS)Q4#`_1ML6rnZG zmu+bq1R*oYNb&ICvczkYQ(5Bm&6!C|A7L-uMZya=+Mjc-6$KD{8u0wF$S? znXge$SGxAP48YuphdA5vW*=|%@n&DOn0=6NxC^x_RlmibSzr$NiNG9QM$GHszrv|` zH^jpc92ixI+7CCsLkE4jIgM+BL!%1Oml4o*JhljoyIU|04vu<`UR^f7qx|L3*al2V zTA6_tgy8U~BJAU7K1oQ2>vm_t2`Vrg4v#9r?!(L{3n`N(kJFgD(3WSRO+t6toBPpk znjLcBruuZ+q6pRL2&k;n))&q)Ag^@htVPlM&d~Jo=1n-hg*4@yhhZ1HK-qSyLk8rE(;6)!i_Ox zVUrZpp>grBA6I%GHx1;;$ERBPRBN@RS~>DH#`m|GI|+X(@J5so&*g~56eu(TrB1R= zLPHXOLPgZGiv%wtklQz#BD8rF;AM5U-bHNNybrcTC}lJ>jqpeY29jZmz5#{2#zLFb zsic>LLL<;fq2>kZbQan+Y)*x0=oDycA=W&{3%?K|w!1M7PER3?ulj1A9kXWIrEmA&Qy>2Iv0R6)=6J zcYfGN^9+rd3NP{glr_98c;9&FH1l&pdD?*w2P&sB_J^r<&V#8WCT~u1Q(4a-Q}tWZ zI|aFu^L|QG^F@w;T?4}kPkT7; zY4e^o?`c=3r`??582U54?2zH*5RKfp`wmllMI0iakg}`hF>>Dt%$d~rT`}8=71;c! zP;q+Z3umVI8jNC7w3lXT9-(8qVc_^(xCiHNuiZoZ?Yfg2&1Oo*i$liLd(oPxAwmPu?RZgY+^X8`0c%#u*Z$aa4s>(6V!bXYsg_ZllYX7LMQ8dX6XYb zklv+@&vpVUiI{$H_-GNTUkVWO$^7<-YlFi_i_m&Ai+pB(`-C{QjXiv{5Cy9(@)hP+ zXTn}vun{W`AAO1nKAGn$b`IT}1GZLw@yJkOYZdQ>?CjkS=A}k5=Lq?IpwuYwh>>L& z+YH%R4?_!6rRgEr#&*y*u!3MAJi&N^@dT?*f-RwcdP)P>HL@IDYcDQ3!#R&|O7U}i zM{fZhWk>A)3)cvz6c^#XP8M)`0nf=V*W9=Uj;?zs4y)J^tLvgw z;0v`Z*3t@P&#srCbZ)EI54s&u064h#N@EKz6Vp7aoIOCTlnQEv^3>v~#Z#*~sdb!2 zYx`Q54EwnjR|U1gWc{BnfGc?b72KA47C*Xv76*iMw+1(4gi~RJQ_e^}z~V9;_9Y*T zrxMau1}gCW84U$QFm=!@(AlY1z`t8^O{u>>>^e$56)7#F&!4 zp6LiYT!&{rx8swoe6p2KwpLHFb(h8OH1a&IwI1*jnw6LjDq85U4M*S)Q=9Vgex1X-c&GUb z>i=r7@eU_1JP9)O)a~>}h^R$yP@1uQ&YSp#Lr*FD#-NJU@eMTCnWOkdp z3fOiBsGF(KoE6Hq-Pn48Od?Pa)6m3UJ07)etnrieUQ&Wt;6+7XID`ZYy0=rrtpH`q z#9>jKL6>(-E5l=JYFa5x->NcT-C0MgY=Ot(IE^3eV0{xVB?HbPDDWsk_aim= z^tL7kp^AjGLFTpySq_A@@a0Xx{v>UXy)8n|20@$e=fkf!n-ns*FVO9HO}?zlTGtIM z^`aw5(XS4@I;O3U-we@!nP+-2)fo8KP#h7>nR(DB!(T^gpi0D7)|#T!$;gXeJ9~)&-}=GsPltLxB!$k=xm!4OyB?^dJ3vt~13&;)ck3fyN%uu5iC> z!68tb(L8HqWe3ifuYm+g?`7)cY$JxzcZ9NfqxwQ-<^||7rxaj4M)5?>mbd#-NxGF>KC_*1~Bi z&onYjAJDuuq|YaGasrITi?KqZ=Z{6Dgy9%ce50( zwYV*g5h#(3lVvxQ(pj?t?YaUUEh^nVw5%&2vTSc|`ZWO7Sam5}<^#{*$m_(69Hr~W zZlaCBZEk`YDZ96#aWGRd4_Kw=_!nkq{QyV50$|FS#9w9*lQKqN91w~8CFVsq`z|4= zL&R-}EQ&ciYUcl;VYu|{-YBh~%)_n|=1 zjAOU+zTBq0BWv}!O(&*gez{G^QW4cWZt(!;nrQ*4F@C<2h;bUr?desSYhh3C;>IO6 z!CsCfNu9fN?7A$VCz+nz&Ks-M=F|9+d>_|Fw)3KHYoINp+YC4xi;RQ3P7(68hc-vI z-_CQd#O~+)(*fY8_#_*|!Y_`6pB>7R+ttOEI;})5YwMqt352r|$Hoybc0nnvwGdRB&+*Xe!uW^EEe&-PU`!7qsOWW}G50isQERW_d%~ z_+Mt9kaBdpeXqgafvj>Vc6CiEt1XIa6Pb!2W^g0HrvxEeSr27y{hkp0Tqrp zTpLU}W?WUbLWdSxu0XBhw72Pz!g)>qHUy9K(SifNBgYKDUgqv|593}#phsr&OOwS_ zTzPgz1~qMM`vCa_0Yei?uRy4@B7DI1Q^?X^dzm(R-@)RqN-0!hhWP{ZHb9%Nn2_*r zGQhW&I6hV&utk@eSoXj*1GO)VnB?pO3t6{6p0ztMxcycXExCPXF+jIaj0dgcq02*; zhi>&i7o7bq7>uE*%>N)w6d(J)qVA?Mp-`B8MI4V8r)iH0>9)08pcETq1UrDAAn$3w zk;dDXoFuz|u5jDl4KJ`>vjOBYtFZmaBXbDXiXNhl^QJ+acykEC~+RNwO`bx zC1-K638R-wwE2{4(sY`gf{p+FvH+$~+m=98CNWmoy?b4h$IiO(ffTP_Iz`NR;< z?x;-^NBsBxczkTa{|b?DiSu?c#aG1%0vcVIV*4kWeFE5%z0a-{+lumxY@VW_zd>7O z=COH9@pW+mZgWa|0%Dj;$HGCa;BaF|5k-sSdt>^?FeMW}6B95RMKv{hjN{G|BlN20 z*WFCX;!&!`rVVRs;zNIGCkkbB`&DqG zhGedI)KF}ERhuf8O|lqI0le;reMTX;`Megn9^MU?JkTZ>o91n~QV%fJvI1lAJjQs8 z@ffRSjKMcFPn`TSF*fS^shtHU;W(E60u{JWt$w|d9STc-5gizR4;*B`4o(zVLcPz# zzyq=5d_W&uDzQv}dpMro+RkAr#?UfdNQc?>JkO1n&}4k*Wqiu?SB>fB%)bc zExV#R11)8Es-tBGQ`3XfyTNIHRB#2!5_ppFB;!d|og|Y|Y37-U?iDTF_M61b?f0p?JXHG-NLBWN_GU^(8-!iJZSFSC6)`C(5YZ+*LA1tVwQ#JUS6A>ttqyQl?tg!p#O+o->oRjNK0VRj7kvpV6#khFgbQrkc=3 zst|W*o-D>ak{$R08@|AXFR-bO0vpV_lnB0)w#X|~@A3~|Z1j&fw&`{p9JLG-D&rV; zbvN8}n}FBPunYtb37QC(oNrFahjLgl%_3NOsNdnhl-7dr zbLLsvi0K{PS*JJ|FCcQ*v_eR$5DebUAs8GQGj0&4FJ>|5lO29^rWu%CE5&0*BRG`L z3e^dBQew+I%TQC<^5ucOs1J;f*k=p|v#g65eZ76rZ$Pm1Vtn{DPcS}fz-JArC2K$k zMo~x?VQYxstNM>&Y|IZimaChP&XgpJ$FR4Zm0i{izGW1CcE!?9WRkAx2Zyy(=|>UX zmXC1j8hp$!mucLYYmG@tH z|Ft^(SB{-77`~>@e{MK#%-A0yb52rs4}zGn<%l6xU)_35@LHV}EvDrg7U;Qn+a3oi zh__ketM$2fS`Q~Hh^L)wWaiAtr(B3^)6yfKlRLN*`SMo(rChx2a7``5T)WV<0}lr#@K72)p9lcZtY%Ac*TEF{U3hKfM{oRm z4a$dai4$?^DXUXL`5y-(YOu0E0pkwWHhqdb&syD~57eiV*>;rF$>s&J39yFU9+y}C zO3oWhL|$ENULm8mR{2KMvQSyYG~X_&$D_QvR(|r0$L|GIs?|AJcE+AJttJTR*HcEk z<@Da|0eW+8TjkTaqs~m{+BWrqw)WSp@)bL_<$}K~ohzO&irALkk+wbX*c(=L6|z}p z3QvG-*;br5fz2S}f=5<{CZ+?6o}UGXcB^o($MFs}?_l!|c6B<~kExy5=AsBi+gaWE zspT#lQ78N$ORQS$4Vy#q#S;X^QL$x(bbctq8*bknV*ng`GSmco}zEW zyOQPeqMMV(2?8a6FhF8nh)*)mVN~N+%M>`AE0G1{T?6w8=wN+oKYHYm2V2Pw=tT52 z&E_R4S_X=Bse@*5ZI`A(+ZQFYIgJ;H8Mu}N2Jh%{bplWa&Tos+n&#dU^T!`9-CX zyx6`2fnwu^4Cv14$A!JD;TXocb}!-R2$&D=^(OL?^h?h;c}5>1hpo5>*Sy2rcyK@K zQ$ktBRm)mHy+CpD1YCQ7b#J+BXL$23Q1Pr0CnXaOc0^tStSNju$a=Su&Ww9s6VSIn zj7Q$)(Z{2YM_)Cf4+Hv?l7E7A$v=YKiEU#W0)Ub$a>#yuXyzpA%XFufEw&NNBy$^! z`=o(wHnGF<(QF&LvDjfMG(Fp)fb$Z`Fm_{c=`?6FYyaGm5Gk44SbRJk+TO#l$GUYsOUF24H5G%gYG_O!|FYv8F!K*F?h@t9r+fHx51;O-u5?c~qkk$k znUa+HLsZ`LJlT%yBTg+(`Jii4;N+KmGB~e$=jN~$Y#)X_#>a$olWue1$k^-RR0R8r z3(-I&j4@nm4#nHV^Jb5sbu+Pn_~is~msFBdPp#Z&ywnUjs0`QlGra+FXmg=A9A)yS5kjAezX?K!)3VUUT6MNJf3De&8m@R7kAre(W_cc z*HH9jjmbaYdH;ZG6WNnw4X&r%2e?S!A`>?8f{xWTeT;ezx4Akoad{V)cX6xJ z#Ra*}&COyXTsHg9I`l3KGb#c6PFbj7iSv&kfi%-1@jpoJby{5M-Bg z(hvE!Hy@A2&$IPY{5pPP&5Akv(3jH|&(ML{w)rx_tzGNErVEjzO(rKwTcJZUbv4kT z&vp!|VQOxKPWP*CjbEL%xo;#}+E?2V@)&g`VQJ*Rz}5xVxM_32m`aZ`8w2D^ z#fv8LJ=tWUhoG{l~P@BamiF}#1%ZssmDv3DH5GX_(yph*k3 zp$}AIw{JF3=HleJ{1q$j_+SfSkIjlqPBWW#{#6N@r&;%4{n<1w?>tosZ8v83xCgO6 zP|fC@ht2|u$`02Yyd12(zLF^%1m_>HZ-^Vwwxx1epqgn7=3ZS%+LQ`DDzUGH?OTPZ zpuwjYfZntNn&&8Y!lo2^1$pi zXKPkw3OQwPDV@6yMTu&JE6XZ#uN%v;^pc7}qA zQ{A5c6Ok$TJ>jRXWoi zF5QH@1lc=+w)D^xA=M~o_wcG6QW@D}3se3~1URa?J6(TL(cxEioWkKfwvTY&Slfw0 z>cso_qpT?iH7a*$*PtRe-T|yYt~}-71VGv_m%g@K8(W@|nG9|9ro4X1wXx+XeyPw_ zGi?Lhu}2I|wmfCh3fp|D?}{Y?Ry$jsqRRk7bAr$o{B&YyLU{^Umd~BWEaGIi_VlDs z;gYoiPFa04+1Jd4e)`0GjqW zNy#brl4)F(iZ6z?G4jF>oTtiGsnp(0;(hfS8p83?6C~5{-aWQ(^24)^p`V%J42ch} zyB~~5MLnNFH>TvP#7Cfvfb;V2Ezmu~Q3G_}g!Ji=vd?S}-gwydg-Ee4Y1^tQBhM~@ zk#0lDNQ2_*Cz(DjAxyw=SF#(OKd%ojc1vc#xeITfVU^R?}}XhQswGGMNPTLOg+aqm?&W ztIcSIn@He`IZj0O@(D#49LxJZm&Vh}%dNj#L|7HaTf>JRB5?D;5mt6dLdDRfCmaZ< z;2IIax|aKN&(_Re2n1WT$r%njgbrL}XZKP>I|i+XgZzp7hn~ng6>l~XqWR!EPIkp2 z+CE`CR5@n?@vghtB@1P5612YqniP`s5LB$Rw?Ugd?IcL~(ar_0b+_B0Ry1$YuPa0v zhf93Z1#n`+99vZlR4~}i7H{{oqm`!Cmm=o?zT7K3_L$zAC(Y%#xoFOHJsDTlw3)f<47)UWZ77FK!%2`!A#Q{wlFt)sab|!>&&i(BRap*idFERZtblnB!wKt56h_-7Zp&fVk^5Qs& zj`5y^8I=U$frD+-N28P%iPG^X!~btUfi$~$;=+yJqZ9hCz+X!m!7cOr&9Py zQ@+6lv-%R>nFLnF*Ythy{(QSLCiJ^af8K|&u@ZdO)s2th@liZJidQXByb4%>59yh% zbNRVvB>Y!o&HS+q)*x`gc&0@BNiq|Af3+(VG5gwwFK0@=NM;I9bdr71ntCFgh%iu6tJSj}7tA|lq=U2mx_6Y$;6ir2 z6uK88di$tHaMuz9_i#rOBELwX!#KI63S>q6xw|U}fl6xNsZ#WuD&z^c}>(^rC7U#zw#^1CMo+HkVm5oG1>JzVBjjn-Yr2hDF? zK=aoF`%iMwx^Heeh}Olt#cW^v-z9QBor$?KSxj3`?L44V;o*Qp(5+$!*`g$`Wp?9a+lrZ^q` zG5s6rlTf0k?lZk8wiSdT$!}$R8(kq>@Y37?+;t*Hwo(jg3Nkv=LSMM1S7(^_ z#MM@CRyh3T(81RF=W9B2(}`r4YQNb5hHHIE#&qn}L#H=a%y+&B=Xsk%NM>XR1lGjT zZI6!y>eQB|Z@p)S!RoN6!bP9KyXd@&&b#Q<=Ay$gQ4?wjr#l=GVTiO9{M;iQW@P*q z)AnDi6RixJ_%V{#-GG0mXX%boh>giksxjyR&btCk&a z@^KpV!Pr@nF^kkDS>foLx{n%q0Yd%&;3E=zYX)zg^RWazmQZc6ggz98@9XlP8ycOF zG3(z!?#_L!>%rOJ-z2lZ!~~?4o!*F2&)ENgXNvV-g^EuWS6UI0%@UZx2=u_ou4qlT zfxSqnk3Zu_A`9sxvH(4ITHuPq_z{o9!$72#?+{zBVBWTE5Gqb*pOL>6FV%Rswl zYy8&Ri)02L?P39A3Q1-NhLq12wZdmhES&yeY${356bQ6vOE>!#xQVm<5sm4sX5VH5 zx*k;6jv2h|$lH#*?O2_*BQQ+f#s1KLf?=6I%<(urTWkt9RDA^!DXTE7;3hE4H`)HH zP~K$skVRzx0{qkt1%zq)LM2V^)4(~LRi^K64^~;fmitshPRApCKvpdOCiEp%*(|6P zf(Q4-1L4%qfN*UuoL$Lc6F2p@2lH&tx0>K914eP(Kq5D9u(}H;yA3C@&E1%bEJU$= zs6Cj2%8TQ_5=%B6TR}V)j&(ex7{&escv*x!SgI$6b?U>(3!;hadintP_wW#WPFPWXmT`4#_)X@W* zCE3TT6tSwlj?@R!dy@3ogtY-P9XjItx%QK-=o?KO4^tnE7zw^8cju$Hd=!_D;#OA_ zmopQ=J>Tr^q?Y{rqbR;_G0y%mZf%MTTjUY9d^U#2Yzv9})W=e|uzn`E(Q<&~c_XNO zOgjdUEG}LJ7Xf|&pEdos{c{mbAMT*%xpT{o3q^>E!Wr{PZ$;d`9Q>a6B22?_VQwa6!LToP6yj zkz=TxTM3iX@tJ(WnPwnrkWyaYWU$9!0l38=Oy7rXej*alZZ}uBBruX_Sx(+O@ zJl!Xgw_AC;mA6}~({A-v{v#lr^Bv#&Uy#(BN>vxWTg&0K-#`;Xf``?WeS%wXiXAWjsML^#Z+b4cgXc8c7-=A1{3)dTIYO zZ>9~=dni|LjdpnH9jT)(56{9++YmkQ(s!da4E^H341uQ`cE{<0 zPVRFH3LYMi5FRfMmSt&RrRh)+A(_puH2g}#uQb)U(!?u&YUwLj>;L8=GuI?x#4pxT zp+qP+(c^|0b3if|-HFm4psh~tehjo~C_ryH^Q zbzsPs7=0b;*5IQ9nN~1s!&rSQdQb80eCD}it^f%a>l>iWvHD$>1u@6Eht~IG_o!dM%1rtY^@;czqDlC%L;bGY)!exE@i0-k*^yzIByHr!i{ZZ6?et7~+cFC+Ho}t7}eDv|*G!i0TsY_6f5d-c*~YUr%+& zxi*)T&Jjs_=Y0oON*%3VZ_+CDe0^pE{Gf)zBLarQZR*HAQNNP1^Lkp!Yz76-#^^W8 z!&Lc=sMpOUS#t#fV-&DM?}*Qg)r%#Hvj$(c0mLID;aQ}|Tj|gYn+FSonpakf$_5P@fAcHQ_?P&NrZt$x%x!;g3VjTQm+R|vdOu`NI211g;(b4 z>q;2Wi(Qda=|sugY1IE4L*R(2ax#y za&-le%gL3iba1YIa%Fp~TFj(g?~-iu&RZv8^tJ0Knd1Az3XMLdw@10d9ooa$ntI** z5e{e3p<^!N8G)tSO}Ie30IbqEzw33_XqSGoP|^06Ob@WAu1e;`3j`)8wTo+OOz+XB z(hL>e%aeL@M$&K|iU|>0-l%S3bs1m93C*41#cDYLQuhoqVpADa*t$+ja2j z<=wSQw@w{9_vqfUci%q!1`O;!$mid8n`K#Zvs+J$v!hB|NO0{$w_0M_G*P&>3WvJq z1Bd9x?I+Ew(&%&-8fDiC4#4G#zXR1AP|PvC9sYJtzeUJI-}vQ4CG70*tpfcfA>DSH z01yax!+^JoLRw2LhGRU-aA%Ka{6Pjee=33f2^Eb&kD*Z(e18m_R97*LEvnPTQHriE zC_`vgbOR$)XOTl^G&{n@6CSh0H$%#K=#mub%?`=7mk(A;O)ZWej{tsdtZ-4Yc^8#; zQF#}&+FVroJ5I~~J$%mpC;2H42Ywa=^{WLLb1cDI^4!*%Gi(05yc|+94Iwo{sE7)J z9a=N`dBcx0eI@e+=E(c8-VC)I?$DaXr%@ZGG#3JR5A+UdY-r+;C}tY2JD1LsE`~TB zdeF|n0xwlLB#0Ry^YK+>s~XqWkg>6g!{$_NJ!M5&Z6@Wx7T2Xj!)#ASEo#`tF$C$l zIcm`66Ry!%*~KwUMC&i?SjUt`Ljnfo_7^j%wK6BBG=@BM*wfJh4|8_tB4*x}+!|cj zs>Y|?9J+~Rvuo9}f}dC_LD^VW%i*cgHQniW&P*U5kJSv3OErnIC|No~0cPRr_%gg#Cs&1d18k%ORVYe!wsb z6ky<};?TRv_|G@ch)Clw2NjE6nUCcRGjjS~mOzbOg*m8j&Txl~Li*d0OD1riF2n_O zBOT0Dj4pdL!NJ)#{)j~UXZ;3QFl^5lzx{>!6id57{lP>LR!2jeP@-2o$r=E zT<}?cmU|99^+md`dRkW6C}RjYO*9MA;^YMo7|)%#xyn%;gmiHZ&CzCm2MO|2xSEtr zO+cQ~$f3QF;K`hYZGgJpBn#%^Sy2uzXt^SJU^eyUf+TAJNx&SAb#lZT#yB7;wQ=F5 z4b&TV30_aRTS-ml#(bU*IDS%rENyt%Tk&j4JPDV0OZuo1906g(0Aa#b+L=fc;bLJMW0+rE10g&Lx8=-IBF4ja@8F4*}fwKq-O7#H#=ecr!5YvrL^mt=N8Nx4Dv77VU3hdwmgoQQVL|B{SNO% zbOQ&oqf99c^58=bA4Ib5LqEV>N_Jw&!Yu4})S<*hQ8aMzCoaLhknlZqS)FEhVWEQ^ zO|9-cYXMbSBtb*lx!2NJ2S&vPdyqf;0%8M0JVtYD^9ZfmXmk^SOoIX@2{q_MJNLZS zX61d5PK!$z79CWtVWYpd#X*}z`8cAZZX-}085bWAiR$_YTjDy7?$#o7v2T4BWL4s! zrL9l(>jKLQB<^g~9(-Pm&x`SSv1-YSLAd0r^8dtwq6}Zit|%7$#06Aok_6S7BJ7V{ zhq!B@ws!r@jf8s(F=OcXL8RUBxX&(D7AS&82L#6Z1%;0C^Gj&d03|$SJFXJb{qIdWz{$~;M1DFrr9Kc0`6gKe)dMEzQ-q^4?(gP!+?*b{w{NWIgYcq+T>E~5u~VAgd-mt4Mm@GG{pg)j(4nZ=ZWsC#nfA8>k!bdz!`BK z{9U3vN_mu47fOwdkv!6|+HG@V4yB8-bI$F(OO*_f;@m~T9wPeDvEN5C#W~VNczLAb z3?cn;&4%MlaW2S>q8(=n>1RE2AUr|jGciOSb7``ell|j}>|$)yn<-ul{cqwOGlX<9 zvt=MtyaePKqa0@m>8P8DJ(xESLDr9UydtHKHQcwIdGiOzUne+TmC{d|v>M0B`IA6a zboikB4R(tqNOJ&;rs(i~CkI?G-LaKcG34lZZ|Z|`k#tcGK_(!tAr4sK=&ec4vKW#{ zmF7szG;rYJzqDe1)EN;F7ZxXwDOgjt+)9mCgx0S&y1`$?CRM~n4Inih7!}Ogv@jav zs-v4!v3Q}k$>{oIG&h(bGloY61VsnQD?ft8T-gy<*+ER{th!+?Xrxzt%lRwaoe|y2 zNrMW6?yi+hp%NOXSH9M4j40E28%*HshCu(2?WB0eEf!w-|+F9 z>WtsO@=!a@$pHc5RA}>Uy-9TkacY+>6gk=2j#-bWQl(U-2CQm+5FAJ#Wh!RLeCz?{%_ERs-*UVr zHMj2mZWdF#NSY&128IL&hQU6x*x(4XInoiMTAv+H&=1vz;PS;Bcp&%zS#&+*ol-dY z!|z0P+J1%Rytrd=@?w+#)=SSWTH`~U$Hhgs=U!7Pj z)rlCQMBLid0j1Y=s&@Y-xqR8m&EAg5F5x#)a|>YGf5$QHk2n`CUo^X@0f%U4 zAx-6l(oQM;4 zz#DEeUktLei4!)*GSDmf#y(853QkN*jO z*b^_H716=55%nroj4C2o4=TmDP!K6HI5a#uNXC9}g-=ylGnZ|5-x4jmBAG)MNRkc}@hv?+)Z|+lfT1OoD`%vGGRfnR<`$RfGQ}%!V!r94i?mv=;9>~ z#qXC_K1wt2iy{AG2golZ*D8GCzvtrjbfC^>gvMFX4it4|8&dUM>^iMdjgUcY&Im0? zue|oV(XY&E)YN=WM^;e-4Ye_G-Sj7xV$;gUv;JtHlg~ch!#&X8%hc~ZhaRHZ8mf7; zr&GPq->y_XC}m$C6`{y&)x6dD^Uk-~ z{q^A5qu66SI#g(m zsiVfo=AiASfCKXH>QJ*f#`$(}jttnc`8zt;0rGy@)BWYXlVso3Vb1C(*${rw`(^yn z@91C$$Wy-E9sA-#=GCZDnd{>7R_wONIALW#KXu@}Numj|WP6)S-ebBSxcXe2^ zI^Hd>d7?`{$+Pe1UT^%;)Qb28uVN~GAj7G(qzN5p2Od|JoT{bOe zMt<|}>ab{LH?Xu=9cE~bnXpB<&3yqM^ zR#z3exX76jzC>HhYYzL@gXmxDs_qe2a51hOPh7+8b$`1?T+7AyXaaF92REz95Z7`s z9+*g6%Y)O*A^*1s^PF-}w59V2#qu4ZP;g3@N|&%s>6R%TdYn1YDbz@D z;@ExIpe#8eUA#mfutVkUsw?i6=@cq=nX%t!FI93#ssx-!xHFs~w zEm=O6;AUIM@{xCXTvtv$zm>?2S4Nw1^04hhUhm!wu0hI$@o#sK<*P%w#V)eEEWtA{ zEML@b%FU(B6e*O=?RJ_%EqZO7!b}Be<8G&^)b_k}>shJg9+0f8eauolEO8KSSn>KwlhbnZ%d(vN+P+3z$}wlBB=WZ)FQVaS0Z}YEHuOCSlEhY6VbFy6;;A7XE7E6-P)Eak#DtRik(m{0f zU;Ju+u(s9nh=%YgsYa>HivByrDUIT360IQBDM3aRpUD47%7vJUW)f#Ggq&SK&@gnV zmzyj4msKb`pVh7@G~Kabc?m3n2P+oA#rz`3FM|9cSe=XD1LOZI;n<})xv=8Zbygmr zN{yt}PCrgC)$>TO`q8>KDtg4fS%fkGYE=H0RVbCXWk#{ttx%|k_*qpb)cmX7W7vgd z)N@#nR-~(ikmg*|pJbP(>=#bc+C>aUyiDCIob!otP>uM|4$S|mgfoCg()w4jOO_$s$`MW)(%SQeo#*i z7I;L!Xqz7`PSJ2-R)T<*1dNUwM*avQem2}DdFVnU)MG!lB@4`~qj6BTbMk0Q~V zr`>N!@SKOA)^-M5pFQgt&Xhg}`CNVHyJEUiM1vy)?|FDzV`sqo+le+8xbgFwlksM* zj=ym7*w#cA8$aI5$-eDCrWy?WZ8EGTd8kb%=V{dO=Wi343DO*Nsgv^rdCg|S<}*o9 zc}T%ws%YPCCr6ar*|{Gjip<|b+R>fP&Pk>lF1rdUM)~=HFMqzcej%c*>!`- z6g?NUV<#Km%{fUnILfaGwhSanm*sLkR&=Vf8}8oS*-oqQYSQmK?0wCb<}70?Al+R$ z-~++V6Y1nSNn3AGC2OR1_OMR<>tEH6mnx`qm6BiPF!s+N_RmB^E}si+3E@F8>vUmmq!#;+LT6T!NyF5pZPZ{~fnz z8Tdtc*>CqTPpFbSsm|ud$qiV3evGVPWZ@Y`7M@{b;TaZ}Xc!O}78e&(_IKhiA}5r| z2}W^=Fm%)i_Kzxy5H~pu>SwC z_Z?78W!w7+A<4NX1R?aM6eT1;5=s&a3aFr86O-q5Kft) zxBOLvX^D``lR47HOI(keiiFc7%TPJL8-Ly^0?oTE=%UT8zQ*HjbUkZ?N^<#5&Ojr7 z{pF_oHIbym#}DOTLkN@&Gwh$*7pT2og6;>7vKdhods3=OQJ-{dniu$NqTz|g=dy50kZ271r# zwnHy>dd$dYiyDXN4K{7>n}4jsT?D!;yZ<-QOwgY=4X72fcY6$ z@kg>=(hunc=bf1M(K}7r3}*v@DmP6 zfeL;yD)?gj_kUI0IV0DwtxU?aEHQhid zmGh{_4NeSZ$YV7f?=1!Lcz3tebA~)t)1%c=AdmN)kM;HP?D~uxlAD#RmzOtUq#3gqG(nFdiZTab?hN-^vqq>AJCA%8xHM2ErkL2sH%kD`?(Z3o~-{P`rH zmDG{s2T4z$b#2yM_^LV^3@Y``ZYEz2dM;hM#w!w;T9t zp!%Cba@tFs>BeEw6oJ?wxLAhX4B*d)5fc))LZ+rm+Do1I<04*6O+zJz`1M@DOZZV< z?Js}PaPWIDhx(g&nm?v#?EW-Q!-ri{Rg`Rcvh_Qlv4K@Iwu+@Omd02bt4TCgpG!jH zrPbcVLZ7o)^$m@!2@r*hM9L}#^PbjSid-|k^swmvyDPt{eS5Or&{|oWG)RyJV6!G@DlRqvEs36{ zs6$pINUu@*uaPiZ%!37i#_Y)4WLR){A`H~&Tm0mY1B;VjVAPS_eZC*KP4#TQYCSII z>p#{TYS|d4zW8*-iyX<%Dbg&ot-HzEY93ovSR&+l%1-(7M&(g6~+6tK+ z?Vc)~CBTs+-*qPue^<}QNR`Em%@T%)zpJZbq^~`n#NTx$0qL8LPpI@P(A^>KZt@c3lG!%k=h&nfHjAun?{%uN2zQ$act|U zdn(d32Ks}D>e|7@Qi;9S^zyH7f*8v;0WDeFB zMN}3-{Gs$gSNXtaO2&s7GW$DblNT4m$IKteI^mlLCY6|Qh6a{f&8KC}S(alPcd(5+ zs;zOyA7hpYTp~JFBR6|%vj$Ad9gd)9pIizw_hY#Fvm}jvv%oQdgbDzf?x!vb6Rpe4 zKz@r!y+DSGNw~E98@U@@VrG~?*QX;!_eV+$s_fNK@$mJes6KI1^oNtaq-Zzae%=i9 zZ_fJuzzkX4IT8uHu$GWxKtLPg_eBHItkn?>X**gfX9&pgySp)EXjR_ZP}~CMG(I71 zftJ278>f?IfkfSGopukGY=9VP-U;a<1FGw^gqgTxBjnRoQf_8++G*)@199(@4dFia zLjF2kl5P7kIKn(m=;lffIwzfMV(i=aNn^;gE#|LY$Kli_kb`SVu4}ENbpN|j2fJ}Y z7EgJJN>1?I-G1b*#Qo*(FrI^I{oxGT|E0^XufDDC*UJ9CbC8NOXz8P3?zH%;b8h+` zzCS!FMP=vs2!Qua@oDh@miJiRV|lNdd9ODOsFlU783lo>RGfS!mc-b^Rgp%A3>PKm30&~-^nN%2mJ`LiyG zI-Sn`n_jL|?bhoKGJLU)2EJHqK$&z~k)f0I{L$ISZJGhKb#ceBxMVXJJvDY)YCugW z-M*3`optmqQ#T-;XL&&Z`bjyKKstfu%%r|WZMW-J1|_WgC8zPXM$>Eljybxu6Fpk^bO=<3+~lt(bZsZMlM>^XLp(y^9Mnkuy7f%<45+L* z?d$92Y&Nd$#Y-(wStj380VlNoP4w|Eemy?SVeMKXIMt?$Q9?Yp>KVT1%4a4{T=fik zBc1&?eULZ?`zT=Jtm{4b^)UtcDD>SaD<5T&Uh%RBV_eE*Xc z_xhc|4;_D9%lUubDZ})(;>kgVt2pK<(L+)PM-L&Y1ZfDBKfGWmE@{nQPZxD}^E04i z>BB${16ke6t+4@hCzaPjFOQ01v2INasO+>&>v2h2 zklXZg^EaU8=6O2l*UyM!)^}JDw^u*^-auyls}T;v^|Dg}$i|(1ORfWz_Obj8u=_J5 zrt>^Q=-o+f$kh16+h1oxyZWE`>o;&Xc4TE2c`$7{(M@eJj-RvaCj@1jN)?A=@q=IE zpYv>rE*}nQISyqCkIdx(Uw_e+ny)!Ko#wl|-M9+XH_1CQ-J;*~qoh*zl_B-2?>Mqb z^+&7kK9>L2?wec=Y1`7r_Q#Dhh{{r?yEXCO?=a0cYUOh{(ojoWRX4Mat(#%%X4tx! z>aClhAz|oeP@@8<>(+1hj%oKBJimrY9`IG(kP!MeVEbnkH7O89^-(1Chf}gY44Z}i z@pddo4Z;aEXr7^ah^c%S1`kw{u83(I53 zX#>4+6GK+YDZ`?ZimwyX zz0Q{8<8o(TU4La7+6AX_Q9s`8wK$k*NwwE47;V2jB>*3Ug*NPUJ4me?6X=SIVO=_5 zpPN6|bbs?Xzv2+6T@?)-5)HjIB8gMBDge!Ed*T%ig@Pf$0k=@}(}24NA+$?KmjiAs zO!AwVYH<*J6e06bAPWg?3{|A?fSVXSi`w`OYxo(Y?0}obvV6;ybJ&|dk7JZHWN_r5 z*dfs|(L>@_u80)HY;!@&9#*zsGzE5veP$hpSS5=a_t>{l+)3A*RqhxCehDS#jU3htc&ZQIl{>zM3P5 zt53N5W$tA3V>cV4P9eMpRcak8IzDtWBnM$kYkXee>P+itkT5sPg3l?3ln%SdLacr|fMlxTz z35ow>H%oE%xG;P4yBU8|28Sac#S=Ug^uR}MIRfnQ`b#P*Im=gXBFX)E_QcUviRb|@ z+|muiU4C731eJB>`}lG=e5OmO2kpE~Ze>VWO`7fnlv1Bh4{Gei7OJv^s%)X^kD`CeZxoq4DU zNf-doxQSf3D0lz5SukF(r12=&zNk5fX|%{7op;82nZ($nb1$23^k26aJ>SbLDEU2u z8@O1>-$;j8%j$5E$%(@;xFeu*l8vk*x_W%pXxt5?OE$7@)B}n4GW5oZznNCq%7lEJ zx{BWvm7V8r+)M}7k?k`SdHVZ}LFLN*d`*4grQA{;Nm}Ar zKu10^NVg(a-x;i;uUhgdwf80N0t<=N^2Tcc9otle=Qgt8IW|1UhUcm+JO?n@Sd#Hv zVL^WJ`&)kZ{}eCl{Uu&*ek#a%hRVGi_*#t~d{no^&FMjRJx6fqM*i-K1}G}w^(h?5 z-%RcU@{uCGTtJ#Pl{H6*)3!{fpW9RxiCeraSc7Bvn>kYAHB@dx=wO*Kacl-RAA1~9 zD{wCuA%Vd%2g2Vk3&7C@;!GR^I%me(mfR1PA@W-@Spc;mxl`*ZYdbP&fV|#Uw8l#Z z8Xx~U&yMVCE^C1w&2I7=xW=2I@-Ny04ykQ;C-cMUQn#VFHz?~e$~t6rkStJq=|Iq0 zCMmQ<7y5AufmR(KgJe9OIF)cup*Qe>V1!R{{NOJ-dMNaB3Jj6i@r_mKKDSZ1X9B-| zV-ClWB+n2;)7muma<$~QmTpY|cN42{cN2@dEbg+nTLW+x{{QRsH|p&Er?~sqe(L5e z&u6{tuJigDG-7}k_T7^V8&!CHTm35iyFE*I=>ihfgI_=&df~oAjskOT9fl;qW)d?} z)`@Cmdn^#b5L-9|z|4x=9VrVzCmnX@=`7qwfyJI}$6da$SUCzTjGenh<1Vm9$tYPD z6#De^A_j3uyV0^6s$S5qNcxs^oIvJfNV z4w)X1INi!Ig&3!4Gg&L6f-$)dAxf~7BltGziCaj_i*XxJ8<9E7T>43U#-!-1G zCENDOTB7~ytkM}1@@22Ajgfz|x<$-;I3nm;o%v1{WHjgE=~(@{K*PKX`)=zuT>mce zec%+gKi>HTDp|zewuNrHUpCzUA9~d3E-HD<-@1(kB)x7R`gqs_nmv0q;`=qxd+jDG zAY@Q}+~c%ba?5%6&w!e1s(jKdtWV1Nq^wU`?LKM$8iAZ{KS0iHTeNH9_2GcVeih+> zKzdJIztFqSdjalWTDtGJZKEWEw(`1f-xpxpJkyapwY2fcoQtR;ESpcaHnrYsm{D70F2R{b zPXWu133$vR91eFYi{&hqvshm3SU#Dwbe8{}dW!#Pd_np{EYEJV=j>(NOOX97a3#9R zn^7epk}Wuf835q2Bg=ijr!873x4|#pZO+3zV4yZ}ny#=UO{DVX_>;Ys;NGCDTct$A zwwbIc^?faK_qH=?Ng6!?|7p=UL$as}$#A{UUWF~0Rl=1zKwUW1`{W^JO%Ow5IaJhh` z`BhlDjm1(HOIa+f0a)tTUG7ocvDzO+6t->2-Y%Tx4Tq4FdjMu}(7iXDMNz(&Z}IBiyVl7!zBR^qs4Dbcts=*5hF?sB=0PLFnRp+^(g zlhFg@A;`^s>LA97TpA#6E6TqkKLFThB-pW?Kp4R)BTMB-_ZlcaiA7t_OkI!4c^-o7 z9Ry&r4oO@rx1nQ)${&eDlAg1AK^WFf5a7@JJ!9yEyWspwj!iRM4(R!N6?$f~=*gld zi=H(AJ>mbnLDh|(iXVHTJGPHs*?&63WH$){8!|cch+J_LJ<467ZH#*C44BG5C7HWS z9xA@?QRhYlN>&7AQN!%iH#(5B->e8h2d7QxsROy0%K_xd_g$hY0FyvHs*HqRk~@fm zzxP~O0hffkPo~sq#R~Ubyb4UNh{}qic8yq8@wUpa?49)s;!w#_!Ok5_*2;=xL-hb1 zpDFKXAS&Gv3?3v;A;{jThs^-7r!CE2Eq^Q$(bBsMfgWB9nl>lNy^u3eiUdPl};yo}6{LP(ERu8G8VC3Jh&<(c{>|`RdUSC6yXyy4wZ5cZzMhmTF z4rq_-tROPmMs(s?MkH>fb1BKPce0koUF&T;fFnR*mdaGZG7c(2g=g;Tu-WOdJk+;D)M6_FRP_*?dl6YCPL)%|so%BHbwC2BUi8&nlT2#NmoO94+hE%Ns8e zY$vH#iaNcLoROFH?gT*xKi_vJs4@Z(ZL5;@zwEnab__h($v zp0QNr%cJQd*W?elSb6FDm3QSaT=f3p{Cw;WpG=%5_ouGBp2dTJ2TaK=fbuilu@33= z!&de6z^KMWF2}d7Hr?elsG`R!j+DEF2Bwf zP4wvB36>+}b{XetP9NhUnRgNS&c?+5zkBkWX%n0ykgrY!@#`4(uwtu1^! zNwA9~4|ku0pRe~l1mV_Q5G#!y;qE}}M!5T->=s?y;z%%w9N`{`o;RNU3VVQbdW5?N zCAW$5!tG!J`83wOF;N`lnp52aREOXy2QcY4(!G@0{@e5SxcGN~%7{_!Pq}EWR|y~I z!Dzr3_dJyHUfKl@1gY*=_kq+&>9bGhO`>2oy>P61BwutoJt`P*HdnA~H*GN4UG*cN zB~f$T`-{d<{oX*pqMo2dF!R^;Bql%A3ZO?NdarAU(l_)^08n+M*MDI>Z}uEAdk(pJ z&LLNxhIl;Az>qHxA_^Oc#HMh_s+O6xxrL>bjjf%dL*3eSoSa?k>$!TkyUFBIPlZzD z?d9XE{wFhN{=K83WBNo6oHk|p)X9@3CJsva_prMA&WH(*0asH6EyL&{+B-&rMy~j1 zh*Jf-NtA_0DjE|Tori~jlyBiN1b?2FDFs(@H%CSaEj%pA2S*Px9ZI67KRq?p*=1UK z452<)ze>Yn!H%eGJ#0vXylxC?;(F5%kAam|S$T{>0k{h?sV>!@RRKUloC_SjFY?Rj(sdK)X)Lm#s7=qSK-+XV?wsYtMU4{h)0@!mi* z{?;96gAW7|(uxEwFd9T(75bc1OWdNC*#k&=S9zYhSkII7JXz1P+C9(L#3sd~+C9&I zAE?;1dymnLvF17_EHs3H7Edz1rC8^L8FT5Pe9<-mIeOivklr0`G_T?~L#o;c&ajTp z^e&`(H8d*W5!FD$0$P*kQ|^c^sEpQvi@JyWwB2J8o-;6L7oIBE!|6a~Zud}-F6}&B znSMShY~Mcj7+ww|GQyQBoXEC=9*A7p;gN#fl3QQH<6)#8Gh#)ecY5?gHj{fs;F+-O z)tw$Qu|YuH-|+%4k?TzkMR*Fye%ix`{JhH}4pFq55nd(Old;=l74Bs{V=K-CTb16n zfHAwW+hY_i-4e=&n8qHCf*ElpKSg-z7ZCehy>ky)`BO834_@i9cm(Wtj zq!S$%qG4mmYz&!=Ay;1vdCzl&gi9`qJ*yp?Re!^M-9tx=zqVQj&S9;Y9kLtAJZlz2 zUvK8St|4A&{i+4-1R!NiqO(*MWKoExKYD2Im=B&OP40(yc18yRZ>Hm5ko-eEgK>+Y z{URXDOLKflV5p}9*&OQWjt)yij<_qB6oz_sMPr-(I-OY)Zq4%SgdRRiAAvi9w7ivP zM@neY@e(es3*yICo+-q}*uaR;tv$Pvy{$c6NMg9BHRj~?Y#WY8z$-|gr?L?lo9o$F z++bkL3RJpWuvdqsfoBy~^zJav41+&gftak6Hx`FwJegt1AFMb=O=#726uBWrzuI^plC!^ zT=s<;=uUVA1`mXB1U;_NX{WMS(@!bx$Yq-?TGM-S9!>%a&m7MrDl>H}0q6yb zXd|Ts$%s?PiDQDo22b8LIS?YddpS1bY6FcGsdLSBBl^3!b~>N7w5AcDH~g5W2@B|TLtip z<&vRtMYVgRUVqCY-McT?rQv8mr+s>KvLx5~E1IEv*IR>eH^DyQ5U1#d5*tyYbkaCR z`uUB6E$$Cv58@R4QR3@8UjRqimY@QDB~4=;?x6;0#RvW!G0Y;0;F2g zbK@1JJn@i@u`f{RuY!Fr!e<=Q4zxj%ViFIHc^LxUwaH1k|3MZ9SsY|>uzGQD43~VF zUi~=u_jcxc_w65X(Ps#pm)cKO{G^D+* z+YjMN-AJQr3KO!C8EF+BydONq{m@KHH-cv>n&Z?{OTxZ2pH^i)-8D5G4*+uyz4_5O z3JE#+6D;ILJ6(Vj(|(9$>Yy?^2fC;Cp9Le&AMkemVZ@l^&Qb&-*|yyNP~o+oIL=mt ziwh==XopIB2oC7bbApl5fnGdY;m*T@uf;q=rLzS4571ZUDn{`np)+D90%|_2+Jx_8 zH{t9ioZW<1`z9Rl^Tk|+Lv`=O+x&++@qPOb81?J&1|aD`#T^l;m3KrmHyS#y#0%>rn(GFsMIIXLFc2ys-Oy_Hdn4Yl|X8ESuM<4=Q;lI0$elAS>;(_2?N} z6h{p3ogG~sqmm-Q{(}V2(k^2w^v52WtvG0aCjIWe6=3sMS}D-7X&^QY#HN9&H4U_y zJFa>QntC_=4+@$fV7YJq!2^~W2?sJc`-!f&KmC1jZ${#LE#Ida4KI}9DS)KJu2j*I zM4eaoQM@b9?&H;rPIXz)mxwMX{7~SSb_a2W-~efRL6Jdy>bNf(sz<@%^<~J2n_Prh zHxAu&f>s2eGraUL6+$N*?&>d8O6PIs1IqP1H|T%q9b0KWSgv8!-;T9 zA%Fk#B}Fh5u*LZhDqSczL>F9AOy}ViA6I*$(lvquhv=jnMLJKSXj`@j(D8MZQ+a@O zDp{wJbtdN*Vdc=&*gjdHq@s%$2TW z;49Ec>g*m40ZOp*FH*RX?B76l+GTwo2m^p_Zjr)KZ|4-WmPfvNR7|0XfkE>^g$}9zk4#Sq56lJOG zX`52TFFeU(yL7m9z?7=O%7ZLcvRKJtWwm2v7MIj&sIejYjg-}%&C&cHQ1fugiwivd9?84&JcL%lRyT?eXy0G^yoAyIu_tPBu!*LZw}{WRXka)R$7vX zNO=HtVae2oxC>+1##Cvg*UdfiG92QWpxfSCX-CGJDvfjlc!!PWT>#y~95)iJghv0H zO_daxR7)9vdv5Rc7{|hhi+TYub_ z8Rbfpu~f&kW)Y~gw%`bDZK^cp;l$mtNvQOr;P4R|Aof=t>R5OB5&%&n`sZQncAU-q zu(_Y=&Hd=1(~jKs{QnF(k2KBhISOFuhz^#VNv1*>Ov$<@1XbzWh?PH9)0H1xJq3QEKH(9xCj87<%rRD(SsTSrlYZkVV0ofP#(5`8NN*q2SSDugmMh z5lMidw#p$W+~|lB%6g8Fmu;0jQSGk82GTl5NJO|Y9L<~k

f%I7&8zE8C0Szqm69 z^3z8-ib3S)9Hl4mjZpfDp3XUM3n$Hway)ffd(yC*(uAyIhQ@X|j53tWZm)b#HF`hG9~ZX+_?z27*_10fa`D5EopZwNE`O5sXVCWX~ZlmBB z2ma#@;&4#Kr>5<@DSIQa#COR^R61R7lrbPVKB~I(w%*Eco+Lb8@D_0P>p{&U?3SI~ zva?(E8nR{gC-+BHKjJq0ziio$96h!~+j}@J4hJ;qp+iElDNSikei^NNNd2;B|IZ8> z9-{#bn{!3I2klyhi`#%{cTzk}8A9U5DN9Aa<<(B>n75jCn*t^8r!PTHarcqWWrIv;H+&* zKfK#1V-uX*JjMwl;nS53iQt&hj08;q$F);)H)l8;dW`%uMLAWR-erL)de>cWoPk!t z?WPK)`%YDU5{lYu-}FG`T$$k5aXMj+(i%&e&f7T(z;sMi{PQRarYxAUU|K`KbVhY2 z)?5DPiS4M{=>o(TrSIJ19dx&LIJ`QblaDm3~yo^PEHAwSq2* zRw~IH(23@t@KyK_=(-OkN=sEYqTH^G!qbh0b;rdXI@7&yB=W{~<$clh8-)S5*aehc zBzdn=PM+^jJ{9dhSzm~YT|w)s*Pf>#LsV-QOc)}!==R;v7iLJY8;0JYF%I7idA@?7 zuszEA)NaeBF6eg~!3kPJD=DG){lt@t(7VTi<0mRGHjG|$SUCwv%t$`87cresg{a3^ zL}d|`MbsLCsIy3De)YSje*Z`J^!N$os$!afrW1NVlaV?F%3no$Z6pQXX`2)(f5lnh zPG-2o3~Y(urP7V=eqVW)i_SV*^uWUfCrIOm%Hep()cYHuSm^|(3(0&8?yC5aG8nhJ zHY^qsPIKhmO@G_N> z&iYl^iIU7S+skC+w^rfjaTY&W{ABU7hT!L3(ov+U_Kf`hb$fsO#K}&fX*Q4tKS{ob zRI#|-PWRf7r9TN-dajYGHkoClYL3rm-R8itqmyv#XuGMZ9{FOVYC+wLp0yG00VT;c zRgEBL#VS91)%sOGfYOtkhK!*DaW__VMQ7S}d<^ZHPLf&1s!1YzIJ+&BOP%Dj9!vrP zRSk$|ph`mC*HZb3sKVX;cs2~R)eW`LY0;*oiNC@r_>-iGiE0EjFwsSd%61A)(ML^G zs}1qdCYdMETSLLgQ}iGURViOG|D0uGR4(CH!Q=@RCRvzdVX_9mBn^d2#$0mJxB79i z(f`@cJb7y3q;^XHh)$72wQ2-P+ka#LP6Me(txCglC6{-={{0k3nW0rVl1&;_D>Tyo zX>HiypCX?%s_95o>s={c2GSg@Y8f`nn)4XX0sC;U4U5$8 zfV^k@9xlc|gD!#;HBd#6jSWnWs6Ob914n?ZkVGkFRPk1FLA$`v%Z_ifQkv4r)epKA0)K;i$ zjNlA?EJ`)VP`s?m?jlr{FF1XM!x0khI+YdOE>^X}P~zJ+-yP8M>xCPqShQr(l10lJ zf|m8T=5+UViw_yko`s#`$2Sa9{uz!}JCs&*uDBA`{* z31JNY@IVKE*OdG+5nRI4Tw4w7*U!L}^nh*Fr1d25HH*96UJb`C&yW?9RI722HmxlscoSvg4+Nj6PZH9^{$1eN6p&Yb0N#N^l|Rag4qOjV+x z#AIl*Vt~!KDkt+a3!5x#vanf0U^B7WduX=(m$R4u5rm!%W27gRxo+79uP02u6-$<4<@P&s`>b;a@tpobjK&9qeH$`I&M?dA=5X2$6505m;}!Q^A37*7_rqa#Eogb383?=9y)!A zZsg!b_$Yxx)xps06F%(~m7Ex7tJ+iRhj&gwWhVva=!h+CD6Jt-3WwIK`MRR;e+Wv?1?^hFv?4yopwk$<_+-`u zoFX{Kf$KZ(09t*%r)q&Zsz%nv=NOZ#s&lC8@^-E9X^qOsqdQN;~;IzQ60y! z2e$Ee983=+58kRQ$uC?lcXIF=#4Ue&bp1MHht6eOR}Duv$oUs&Q+$q$zphHcmz}$I zVLk!JpCrFj%L(}a&F1YldHYe&++!aqdnGtekG-MFHxzpoZI`369KpHs9F7S|JD^UX z@7+;_8cG&EUkFz$OA4ys@+=FNEL^g1SwrCRA(w1;Q~ewErvI6@dG34%huLOuA=`OQ z0E196a_fW2iY$2xu(oHu_9E12o+pKGRq?1x<~FBFsV*7zyQ(Gbc4me%J_A#KBENl5 zDTwNw3a&2xsOn7Gy#s&J$v%k#`SJ6dpl^oHzf-kEy!Oh25JEjqoXR1DTC0W4)k>)$ z$tGR`@}wN*^Fs56;mI&R_?!7X->bsW;%U}fDrcyO{YRAvdGlW7Ctf=$>;)Z+zeM?>p2!%S!`vo zwT57;*npUI^s4saqrm?ZTQBrG8RrM#%L}AsKj1MSPBsE%Wu)Jf-+6v_BP81|a6-Qst~19g2zPz_$~9inh>djw}j;W?B$0Z{2WsT zE$J^1ySZN7@yrH$-(Uto8<1#AZwIn$u2&aob5sA0sBEs_BK>);*LXwmru3`JP}wuV zg^LWF0?y8)Ei=4A3?*~o&bt7f4y?k{^DLgSc*^2w4Z+hv1|%-G`th{+e~hOW=dCvD z1`X&gLIXO0Cl9jO!Mi=xtZ&S5yc3ip&C+`)@soJ_p?(3EHF%BSA{j67UV}?_^qz%x zfyGcgs?Deh@8s^wqc>7_yH@#dS#BdQp43(>yk{K4>EwIt)ky-yT@s+iA8)}(b z7Nnrk1()a^mfn*L#aU}IccC{z!Np5Vdt{Sn%^Z59op-DuRjz3K(V$$AC7@fITJJJS zQ~Cbw|2eugw%d^Q<;$5b@ZUHN=c?|{b0(TlF9xc3-vBi5dwKp@eIUdg}RTSaV zjGWy9$iIfn_rcvW8&f9s{yj;8X1p zg8#y!y>xkG;XQNQMR=JkZS2#9N|HG*z+C~M$mW-BF9F zEymz(ARTSu(~aVKY&@VhKitm8nl$qF2@pk{Imp%NtWt6tvW=tuMIDDjagR z)W?>5VJ!FmK4>R?y9t!m#Hpo^^}5~xK3pp29;anqzhB{!1+Nv((R0e+{Aj3kGEAdLNT<*5($LRyMYFjt+He*Ku-o zv9IUq;qE4rOFb1zmA99Vulj#_!$QmdVtaJ?%7e8Ibx^tE6JhH%WWq!2Mgra#H`*ig zO_ou^?krmdgmI;UFk~67))Z%DpEdEg4e*843!gUVy@}f^+zO;YFML`d`+jBTaYvAj zzVPWtJ-FOmh*O#A_se|hlTN?-_~9w@=Xb)zri{|d%eOUo_N&h>(aLR)CgZomK^aDt zffaG|@-?N)Ui#Pwj0W{JYstKhW0Eq2_~-hDqTJJO-r!Jp$-q*dP^iV$c%pLZk?;x) z1h&$U<*xtEb@(&xVt(?c#!|*TM-|@%#RTD%tITo9akaHpG{2#5SJu5C|C?VCFCQsqxvX8j4)pJ4ro8sbk}G9b@0e5*Z_ z5b|I76IU%9<}^p;-Y&xMwhREp)1wo;jkxqA?^@Xc68^#KK0Rt}tu(m&xb11E_mSHFjAKs%YhYYU-va42ga!Vu-BHlH}FvyX~>LtlFe6r zN7s=$ICYgZxqDLtdpIt$uV()1F=NMjJQyr}^_D|&e4C*G<`+dc89u;~9N%Q>eYUXx zm0l9&&<(Ens(7e!9a21qJ4GbrWo!Yqyezz$LvwHW9->5n$Q?9VZ(#(S$2|ex<49li zZhy%Rm(K$L!|zsM_!SnzSqx_}yoO+St^w)bqpo%g5B={jJSWzy?oa^nVZwGDh$_z{ ziUgEfhzvMJWLcg`GrQ79zdrxD{2VpT>g$j?6vT8jlp_K&1qrw-?DCqi#`aivKkgJ^;#&DMMo5 z8r7UkbvQ9eRmY&K>&w^S{=%G$;c8nlW~Ew00#>SpWPK_S!I;OI5LQCBi%kvbHmof;mBhX}8cD~r@a@M+6c zD{-vw8q?}wk-9F?Vfm2om%+FnC}nzO!D4kFc5W5c9w&g(O|J}FqHc+Uph5%O{cC{w zy6GpDs9RGDHgwFziJ&9_%i*Bi`fKXu$ZVX^ZX5z{owHOOf?8bc(+IZ*sc@;fz4+k5 zX8EWzPI#T!K#&K~8do}YnOe!iZI-rqib_j`*RIpcGu01y#=DXdC!zA%Cxsn5b2wI{ z_@Jaak7H~{yylzPkxprn?3PA-V-xzsGE6);HeOsMFf3gmfj%}mCAPv)&)kyu#ORps z=$q!xlZ*zo8pACj=N4P#)8;27ley$-s97N$wL_9_AbHjz#vGNKQ&nV;!;%3@1}quW z5Hc|25!XZ2PX?|3TQazAHC0fC$^}lsPF+dFaZ5X5^4`Le_OdiPYmBbFE*b+VpzEaY zkUCV<nHZTn&N3Tk1 zk)FTS3KSWG4;ei?HYPGMl>|82$jI9^wtg9YCadVQFOo@mFOj@FC%H?mZnep$XIz(j z;?p7nvxyZ$ZQoT45r_AZJmT2TGM~Kq08dHIW`oIxw~}5Yz{RYP9Qy=z_a8gt(|2Y{ z-Wnpej7AjH0Nfz$euK#Wc8j!65b(bN0e{77H8im(QA^3Q-ynFB(PQ-?JRIyiUIXOX zwJJ4*$jl8mhFzleBzIp!948=p_;EZCbe?2FDI7HqDT1hs`2N}+KomFN@^p1FwW5!F z5xDj+ZG5R(O#+J5epK)q+j>FZqWdh3(p9UA}TP=i2ofH;Y?zhQ5;2ePQ=r9F7Aq zJ!0O@fP=|msd=bLt<;3X!7;Ie8O(>^etr6})O;`|t#fS(>88QvGq|L1BSZ$&KISoo zX#4%&%m7DkGB{dK4~6w@G{MyCn_Ja@s5fQ18>TheEjKCi&T3 zlW3e9XZ;zKjuhTvf-!Q29b9yul-4+C8u7$kr)kSk8Bcf<#`z>^i^hxI=BPQ$Grp;b zRiSbeB<#_h`St=wn1?gp-jU;$ZAg<`D=#`f%j_7J9GwQdW`5D^A({IG@*w4zX0haI zp-mzA?Gos8-)F}SW_>9MYW7P8a6q#v4!FT`0LuX^2h- zP0o97LXqz+xI(R|#+tlrqJbOPw*2x0ZvqRIzh)DT3N^n1aC-~j_G*B}o_rplF((!Q zfZI_cl%wz<7?Cm~PGod|CKNrKZ`KO{{ua3$pozg3R`@T-v#*W(3bTbVE}PQ(ki`7XmC_0o;my6r>r;6ZK!O=?6Hy zOBfYR>eRNjC*vnuYl(YzODTD;wJN0TW}C~oq^Oyd9~p0Dv6{aB+&s`&(ntNg8K7~8 zDm1>yqA`ocEE?AYG%k$Qw&IaCy*1TdY}5XqfaKh9tM>dq;6Nb;yK%(zZ;& zjaMCudZdB1LmPTb9Sc8UMyy2vZPVW38kc1EvnZt3J6O1LNz^Wje7Y=zdHf1trmZdH z+>GDNQ!?x=wi3_AfO5(xCe?aV9 z2C<#V(S903@+t=W@p1dZ7gW3|v!A9eX**AY^v=He(9=_pf`z45^wY@6%~)7^BH4Ei za=E!sxe3F1(*!@38sw1!qbJf$@}S==_v8gDn1?s(u|)pqmX%>-AC~eki;`IM=0~IUDS9r zOea@oYxbbsAFp5ea5SC-${_N7mnM)b+zydwpHV@< zcp}WZzg;tty3l#~R6G_;NR!=Qv3Uo8c+82W+wjj|QM5zzv-nB&<3^~gf$*-*+jaV& z@uiRM)D-i?ROriGRJKQW2Sx-W>855NE!(Tn8XBwf93mjzb6XhGhuK?1ggLdP4`f)R z){<Lb7{)UCU zfGI91pj-1Tp=c$^qILo4d(Yw?Q?yb*+JAy4s7xs&(k~WwNw$rBG8vU)5lM=gniVYg zV0lj;Jt@k!xW~g0ozW4z0C2c78NXW-L4LcXX-cI&Jk=aWgOViNh1ftgI)JgpaLd>deXU;}jt4hORdw>9C$?TXe8g;TG0IkgzG z3`1=Tv`1uo8{GH1L~%#cjuK5B@dS5b-t^(F#zyxhG5tb376K@DIWm|;9%O4QiQ=Bd zgshsx^`pG_^O~TNPr`e2r@NY02IA|9b+b^}a^c;3%oVLbBti6od`*y{Xitg)>VfzV zg?;zpw zd*u_N@1t^22VuVfdT;+~_TTaL*9)!oarHo-=WJC0^t3;=x>W)H9qUzTOHHl948>D! zZpwjJ_dSmMTj(^_IqqWDGks@6=JFm#`R$;X9Qgo3w*=i1$e0Crww>f1HmTqAvGHz-LVtwEyhRGDxo8BblEy9q``w zXI?-U{T?Jpozk@S3-YvxIDdhSL!;b0`S$}Ys2lfgzeA-QVIH0PMN?#e7m)nDs1)9s zN9P!5JMoO=od-t)+j52d`!a5SbfE2bDTOeycqZgKuSzUe(@AqI?fLqz%lL2=FB;7P z!qf4hd=EV7c=31IvVs@)EU?t`B00GaMs=jxEud<$vBL76q*dQIXfI{KuVRb4EL*T_ z!LmgSVT<2+kVoB=~+c#%51#TmicCI7$XnmE<=! ztsnI$Vahh}!SgsIr?pl?6i#px!_gO=kK=gIDHua3QHE)SI>#CJaC^`Ps38y1pt_M- z&RTy;lhx}L6o11K(P3Hznc@t~t~nJr9;z8Z_j8!GHhBg*bjLY85BkgG5f2w_Z%Wv3 z@Xca;U2PHAidP`Dt(gym*n2?oLwd)Xm z1JlM|&l91_^F(COM_Xrl_(1EQ4D?Rqw4bdj9rnTm>s`V<^D1T1e7d#HBP}ErGpz42 z9%%u2JQH-fNKMgH>k5x_&uq}?JW`oq<>ZX#R`<~UR;dx-ediMrr0qf}dqAn;1OQnQ zAEIqe{DJ|m*PM?igrI&t86T`2fJbkNYXs1r5756oMC+Up3LbfFi0M$r-gqqo(1xif z6hNCfAS#*{c6dLtILCGfSvEwgkI7KAhwknM+XJxl4}}fF{KddEiOWvLLi3k=jx#B4 z2|SP$strbUrQ#L9DEZ`dOYK04Z&0(g%r4*%DEfh&! zK5V@n_@QAHKjg9e!14pj4>g1z8W~o1v3cizkQxd)bzgoRJo8$@#6dKaV1E|lC2Q)} z!&8L?oR)eJOi0qYlfJ3iK&m7<;1<-p6u=EViP~0V9dl9IibTT&|6;9**9PKj+qgcE zRV{$5st!zH9ZzyJ9zgm`Qok#Zl7)4aBx#$Fpajr0j}wlm(lyLjtTiO32Z8>zeVdhd z7-Jie3|oT01Z@Bn&sUgL=^EQM8NEjvL>8u1zu(^dp9JT^uJJvNp>n5I!sGy^$5c*i z?M~x3V$FRk1Mc;5kCQ72SLZ#5G_ z*U0fw=qlNFt#v0Wl=AbYE4Z()ko26V?Tg8#lWq`TFNDZ@Syl)g3ku2V z`Pw$9_v<7pXeCof%I9m_Q}5Rtn8K{WArmsR;Z(!D+a{utT;Y9s>jLc=1AMyClTcLF zR9JYQ9=A~IWhmP4YuZ~lpF2x9IF)#jOOE)!&Zbn!4 zHlXW2$~5;6&v-uv>Nn2|Q<51(t3xuyb-WBX#^l!=OE;3)#UhSC(87ft?`Y%1rwcmT zKm!?FnT}Iyn~LC1NtjJV@aI@t(CLCdmqKkSfPAuIgIeWEn=;mU-jZk27pJeWX z5KXsz+9t@U-?B}Ws!qnW4&3KMg4IAcWH1Lh4&>Cg4HI*WF!afRehIo7R5-a6Mo0Fs zxmA&i9yzBHfyvuw{okg5OqmK#x=>cc^vb_YWWUP4O`RE)f19QKZN>_XpUgSC3|@+b zsVTabCcCy_DyXze;G0anVbg?^m0Q*!cP>I|H?!P!H5tADzAN1~G-)oZdF8f60eQW= za?O;>RUhc{B2enGy>m~)lkNlcJPS{{$r~3|ejtzYm6K!IS5BtqWdWav#1qbKgj~ct z;n1G6$qkzcV$rIVXa8Sw*B;i?k;U_XWFV067W2Hx4H9C(@Jc9R)mp1=5n-#<`ic<{ z5CjCQpvXh3h%ZEx(bjEIzgl0lx>m=wyRE3jwcS=~wQ3cjTWfuO;%hC{%AT8>drNG0 zzuo_qKgi6PxpQXbocYa}xpU7PMBTpoq;qRa!!(aLd}ZZNuu_tPfKL0d)EB~=K%Ui%jaV7m!rZpb;@XxJVE(ouq>_S z{4vxWpq5rtvd-cx1raue$)y|WbmkmzB00W6C6QzMZLO1xI-)X*aLXiRCwXt1YPiH_ zN6+qWMcrtj^nbtC`aj%&9i@9HT)eZV=Tp~J*TQ9oT)+McrAtA2p=e$?vsnkt7@~<` zHtRU$PbVv{D+fy0s@Cb9ZKjB%MMj1k=|E+B9%}2e3=l2Q68FK;d<|r9|3v* z&N;$0$rveK*$j`V#{hh+t^M}EuWkn^~cF4whykfkc1Ti$+ zenypmoxw`Drm8b|Gdbp~b{kr_<)n%oKjh8tR9Rwn&$U9LhM^Q0)rF(3f~yp}AMZ7# z`fhNRm+Z*QHSl4&PaUeN#f>-AW5B#~Dea}AI4gPeraHuz9S`O}4L2TAAF5NmWX2!& z`~u?t8>(J_2aH#z3FX*wU8&;nGnRZmUY#Q*iUxNDop|hGHJFDj8Yec^LC7`0?=6M; zxdwR8BDEVoKU)Sg7k*Avsck;;&*p`l0~z(8nkvT0iDRN}6oWVnw*9JU7&I*fUtFu% zLOQ3yx*lTO7-^Uvey$zs;~*D!aE6h6zHoa9O+tf1MSX%CPiM z!YFdJQ_a3JaFUi_u77a)KRBL$m1*3~toPTro9TCf<2gYAG#A*MyR3dsBF{{WyA1m> z7tz8ZM)6x`N2C#3xTZ?p{|L$)E(t^eh236Sz&OLn%AVnvQ&1+ZFzNPq3z1NuIdb6@ zbpJdOHOZfiApLKdwtD&8mqq>=JbXPuWSS)EW&m1fFQ?J{OK6{>^rRP>GO3!#~u=kJ1fVol8Vq^~L{|tJtAMLw+X{)!-&HfkR z1g1YhWN%BwXoqxQ0=jn-;VHw+(Udw920;w-&+aJ6 z%#A5$ZR41{SZjHbKo*W2i-h60ZJ4=ba4?q!XKqX9OfSxgOSC>sD+O8~E+11ytQ86` zEG=^s;@FA8LBwJ-t3|kdYI$Y2cTO9|GL2|_BW$N5a87Tw%o01`DT?(eLVVm)1Z#rA z^O2;WUU8CnL3hTVJUf7Ih@XyYh{V7*zD)GW*qPs$`bhFl^ZpEpPJqS7*uCnRD%maX4038(`qB-y{Xm&|K8E006s>Z)Pw}M zHv)c~s|C=#*Z`Bca)S1>`$XULc|7$iyS7Qh0^E=?t$XAz7^-yxT*zzM^YX^ilWwAJ z(Fdqtg8<%8)^4&Siv@n5Q8W7V!Io-+!`Ekefg>~DKE0?MH&z=|l-#APc1J-$QKq9T zJAjR5Wpf1FIL?qrvTo8JNO9ias2A{)SwdKuZ#Ec(J8|Ga!*lqjgQi)e=0j7ouxav@ z5L|u1>lu0FpdB!ed)1;v3k7fs^4{o(RI>GDjox2QChRE(K$4-?7YPJ3*8dQbN*1ru z?DUtl&cCz;pyemDcqwB-tMH)}6r7{?#fQel_v5z)hLV+;dq zi5se+b6oR)y_V~y{7UF1mzB6^i}t*1Uf zBN=SP7tqorjAeW0tYI``d2mK;9KI_I1B2ybzCiUdUd#>qx%yKpIWbQqKy%GwQ&wrK zq_Vu$@!bHjqfq^P(s)su6e6FH5>|t{jU&;r)dE3Z>{vm+$c)2|HTucp6nTXn+A8;m zTRo!jaUN07;@+8)0{9q-Ytlyqk)OZUvmoLmXTQ+{bhP);JIPnyGC@EQCpmhK2?C7F z#+Sd=KW1R0C;^x1XrZ^LQb+LS>GX&e|&z>tIT!|TE3F;<5^or zy`T{I`t>$qa9bu-h--@hv`7OF0Fp!w0J?IhYoW5~1J{+J?#L9hVi|tBP4|*85O3Pn z_j$ZFT0T_4y|;%!>{{c1=+kj^l|BU*pVDn17KaWh1hDAk%R=6xCTffuF>{{h_)Hnj z1I?I`9MDt@;eh7Fmw2F=?ZZF*W~JwS8;?zT^LZorKf!Q--9SBlc$ zw#u*2%2fvGk%fnv8AdC!!p>+8N$mYyWPZ2`H#}DQGpi4O(%z$IW!6D94Kr{G zHs5UE6tpOs3Az+C)4~K@3Od}^;8xJ_@dmeo7R`ey5tt=0lKJl6(Fyj795v*UI|}_T zp|bfWua1Mw<{Y%Tfn5Zx&NIRyNP+dvAk)8BG6G5#DP{ZY$_T!K?KZxGN0a#q9vsA1 zurraX;I1KD1$P~C_t{0VWQktrC)r%7fe2(_T2Pn0DZ|=9*LRh`DqY9`etAm3U8^AsrW&(omyg zhE4e53<&M1GF1|)ls@I{YJw}XM-v|4Atg)!cMN0k>RFL~xF;i0joZ7pq9DOtRF}-? zhr3!Mi3_G*hjlI zz@z5l1|tryptEGVa<8mM-R3K3Lld?ip-nu#k&&qp^wO8aGajQoZ zkfL`gAVu$JQb6w*gPKHml>S`bJRu?pPy3LbM#OTXw+QE6rBfMkx`|_2X^z-Fw4a;! zM9Sxc9$|?GWI!YE^fk5&SEJj5jBx!c6plX*H2RU?K;zHgiSmk2+GzRhwuRT4pd72k zW=j-UES6YXVqEWEAi4eou?e;~TYN%7LL%ggO^A<+6;O$d`eBV0y=)HH@g)=`C@8IH z)N919A4p(XMKvF`LHSl|Lho`pK5XeW>(k|1Z1Doh@?Vv|^{7q4G5c-n{%{{odW B<|6 BlockVisitor<'block, 'analysis, 'com mir::Rvalue::ThreadLocalRef(def_id) => { self.visit_thread_local_ref(path, *def_id); } - mir::Rvalue::Len(place) => { - self.visit_len(path, place); - } mir::Rvalue::Cast(cast_kind, operand, ty) => { let specialized_ty = self .type_visitor() @@ -2044,54 +2041,6 @@ impl<'block, 'analysis, 'compilation, 'tcx> BlockVisitor<'block, 'analysis, 'com .update_value_at(path, AbstractValue::make_reference(static_var)); } - /// path = length of a [X] or [X;n] value. - #[logfn_inputs(TRACE)] - fn visit_len(&mut self, path: Rc, place: &mir::Place<'tcx>) { - let place_ty = self - .type_visitor() - .get_rustc_place_type(place, self.bv.current_span); - let len_value = if let TyKind::Array(_, len) = place_ty.kind() { - // We only get here if "-Z mir-opt-level=0" was specified. - // With more optimization the len instruction becomes a constant. - self.visit_const(len) - } else { - // In this case place type must be a slice. - let mut value_path = self.visit_lh_place(place); - if let PathEnum::QualifiedPath { - qualifier, - selector, - .. - } = &value_path.value - { - if let PathSelector::Deref = selector.as_ref() { - // De-referencing a slice pointer is normally the same as de-referencing its - // thin pointer, so self.visit_lh_place above assumed that much and will have - // added in a field 0 selector before the deref. - // In this context, however, we want the length of the slice pointer, - // so we need to drop the thin pointer field selector. - if let PathEnum::QualifiedPath { - qualifier, - selector, - .. - } = &qualifier.value - { - if matches!(selector.as_ref(), PathSelector::Field(0)) { - value_path = qualifier.clone(); - } - } - } else { - // qualifier is an unsized struct type and selector selects the last field, - // which is an unsized array - } - } - let length_path = - Path::new_length(value_path).canonicalize(&self.bv.current_environment); - self.bv - .lookup_path_and_refine_result(length_path, self.bv.tcx.types.usize) - }; - self.bv.update_value_at(path, len_value); - } - /// path = operand as ty. #[logfn_inputs(TRACE)] fn visit_cast( @@ -3762,6 +3711,12 @@ impl<'block, 'analysis, 'compilation, 'tcx> BlockVisitor<'block, 'analysis, 'com let discr_ty_layout = self.type_visitor().layout_of(discr_ty).unwrap(); trace!("discr_ty_layout {:?}", discr_ty_layout); match enum_ty_layout.variants { + Variants::Empty => { + discr_signed = false; + discr_bits = 0; + discr_index = VariantIdx::new(0); + discr_has_data = false; + } Variants::Single { index } => { // The enum only contains one variant. diff --git a/checker/src/lib.rs b/checker/src/lib.rs index c3e77e89..860f57dc 100644 --- a/checker/src/lib.rs +++ b/checker/src/lib.rs @@ -26,7 +26,7 @@ extern crate log; extern crate rustc_abi; extern crate rustc_ast; -extern crate rustc_attr; +extern crate rustc_attr_parsing; extern crate rustc_data_structures; extern crate rustc_driver; extern crate rustc_errors; diff --git a/checker/tests/call_graph/fnptr.rs b/checker/tests/call_graph/fnptr.rs index d9426f49..a3f471f9 100644 --- a/checker/tests/call_graph/fnptr.rs +++ b/checker/tests/call_graph/fnptr.rs @@ -69,7 +69,7 @@ commit; ], "callables": [ { - "name": "/fnptr/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr[35c1]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr[129f]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 9, "local": true diff --git a/checker/tests/call_graph/fnptr_clean.rs b/checker/tests/call_graph/fnptr_clean.rs index 446eb8ea..4efa3b21 100644 --- a/checker/tests/call_graph/fnptr_clean.rs +++ b/checker/tests/call_graph/fnptr_clean.rs @@ -74,7 +74,7 @@ commit; ], "callables": [ { - "name": "/fnptr_clean/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_clean[fae2]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_clean/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_clean[6fb3]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 14, "local": true diff --git a/checker/tests/call_graph/fnptr_deduplicate.rs b/checker/tests/call_graph/fnptr_deduplicate.rs index 1a65f841..9b0cd02b 100644 --- a/checker/tests/call_graph/fnptr_deduplicate.rs +++ b/checker/tests/call_graph/fnptr_deduplicate.rs @@ -66,7 +66,7 @@ commit; ], "callables": [ { - "name": "/fnptr_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_deduplicate[7eb2]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_deduplicate[2e12]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true diff --git a/checker/tests/call_graph/fnptr_dom.rs b/checker/tests/call_graph/fnptr_dom.rs index cf3303da..8828d54f 100644 --- a/checker/tests/call_graph/fnptr_dom.rs +++ b/checker/tests/call_graph/fnptr_dom.rs @@ -71,7 +71,7 @@ commit; ], "callables": [ { - "name": "/fnptr_dom/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_dom[755f]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:8 ~ fnptr_dom[755f]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_dom/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_dom[a141]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:8 ~ fnptr_dom[a141]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 9, "local": true diff --git a/checker/tests/call_graph/fnptr_dom_loop.rs b/checker/tests/call_graph/fnptr_dom_loop.rs index 6cfda4c9..3ea9b724 100644 --- a/checker/tests/call_graph/fnptr_dom_loop.rs +++ b/checker/tests/call_graph/fnptr_dom_loop.rs @@ -85,7 +85,7 @@ commit; ], "callables": [ { - "name": "/fnptr_dom_loop/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop[8d00]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop[8d00]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_dom_loop/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop[088e]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop[088e]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 9, "local": true diff --git a/checker/tests/call_graph/fnptr_dom_loop_souffle.rs b/checker/tests/call_graph/fnptr_dom_loop_souffle.rs index 77912120..63aec0fc 100644 --- a/checker/tests/call_graph/fnptr_dom_loop_souffle.rs +++ b/checker/tests/call_graph/fnptr_dom_loop_souffle.rs @@ -82,7 +82,7 @@ digraph { ], "callables": [ { - "name": "/fnptr_dom_loop_souffle/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop_souffle[fa21]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop_souffle[fa21]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_dom_loop_souffle/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop_souffle[2ce5]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop_souffle[2ce5]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true diff --git a/checker/tests/call_graph/fnptr_fold.rs b/checker/tests/call_graph/fnptr_fold.rs index e83e8206..4262239b 100644 --- a/checker/tests/call_graph/fnptr_fold.rs +++ b/checker/tests/call_graph/fnptr_fold.rs @@ -73,7 +73,7 @@ commit; ], "callables": [ { - "name": "/fnptr_fold/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_fold[b66d]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_fold/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_fold[40a0]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true @@ -97,7 +97,7 @@ commit; "local": true }, { - "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[a47b]::io::stdio::_print::'_), \"'_\")>)->()", + "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14032 ~ std[82fa]::io::stdio::_print::'_), \"'_\")>)->()", "file_index": 1, "first_line": 1232, "local": false @@ -105,7 +105,7 @@ commit; { "name": "/core/std::fmt::Arguments::<'a>::new_const(&'a/#0 [&'static str; N/#1])->std::fmt::Arguments<'a/#0>", "file_index": 2, - "first_line": 588, + "first_line": 591, "local": true } ], diff --git a/checker/tests/call_graph/fnptr_loop.rs b/checker/tests/call_graph/fnptr_loop.rs index 63d4ce60..a1afc18c 100644 --- a/checker/tests/call_graph/fnptr_loop.rs +++ b/checker/tests/call_graph/fnptr_loop.rs @@ -82,7 +82,7 @@ commit; "local": true }, { - "name": "/fnptr_loop/fn2(u32,&'^0.Named(DefId(0:7 ~ fnptr_loop[ee63]::fn2::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_loop/fn2(u32,&'^0.Named(DefId(0:7 ~ fnptr_loop[d246]::fn2::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 12, "local": true diff --git a/checker/tests/call_graph/fnptr_slice.rs b/checker/tests/call_graph/fnptr_slice.rs index 28218bdd..d1f16097 100644 --- a/checker/tests/call_graph/fnptr_slice.rs +++ b/checker/tests/call_graph/fnptr_slice.rs @@ -62,7 +62,7 @@ commit; ], "callables": [ { - "name": "/fnptr_slice/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_slice[a8c5]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_slice/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_slice[7299]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true diff --git a/checker/tests/call_graph/generic.rs b/checker/tests/call_graph/generic.rs index 19758b49..db89b117 100644 --- a/checker/tests/call_graph/generic.rs +++ b/checker/tests/call_graph/generic.rs @@ -74,7 +74,7 @@ commit; "local": true }, { - "name": "/generic/Gen::::bar(&'^0.Named(DefId(0:12 ~ generic[c38b]::{impl#0}::bar::'_), \"'_\") Gen,T/#0)->()", + "name": "/generic/Gen::::bar(&'^0.Named(DefId(0:12 ~ generic[9900]::{impl#0}::bar::'_), \"'_\") Gen,T/#0)->()", "file_index": 0, "first_line": 14, "local": true diff --git a/checker/tests/call_graph/static_deduplicate.rs b/checker/tests/call_graph/static_deduplicate.rs index 938801e7..2cdecb5c 100644 --- a/checker/tests/call_graph/static_deduplicate.rs +++ b/checker/tests/call_graph/static_deduplicate.rs @@ -66,19 +66,19 @@ commit; ], "callables": [ { - "name": "/static_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ static_deduplicate[7b14]::fn1::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:7 ~ static_deduplicate[7b14]::fn1::'_), \"'_\") str)", + "name": "/static_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ static_deduplicate[eaa9]::fn1::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:7 ~ static_deduplicate[eaa9]::fn1::'_), \"'_\") str)", "file_index": 0, "first_line": 10, "local": true }, { - "name": "/static_deduplicate/fn2(u32,&'^0.Named(DefId(0:8 ~ static_deduplicate[7b14]::fn2::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:8 ~ static_deduplicate[7b14]::fn2::'_), \"'_\") str)", + "name": "/static_deduplicate/fn2(u32,&'^0.Named(DefId(0:8 ~ static_deduplicate[eaa9]::fn2::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:8 ~ static_deduplicate[eaa9]::fn2::'_), \"'_\") str)", "file_index": 0, "first_line": 13, "local": true }, { - "name": "/static_deduplicate/fn3(u32,&'^0.Named(DefId(0:9 ~ static_deduplicate[7b14]::fn3::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:9 ~ static_deduplicate[7b14]::fn3::'_), \"'_\") str)", + "name": "/static_deduplicate/fn3(u32,&'^0.Named(DefId(0:9 ~ static_deduplicate[eaa9]::fn3::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:9 ~ static_deduplicate[eaa9]::fn3::'_), \"'_\") str)", "file_index": 0, "first_line": 16, "local": true diff --git a/checker/tests/call_graph/static_fold.rs b/checker/tests/call_graph/static_fold.rs index 7e423f09..4f1ca901 100644 --- a/checker/tests/call_graph/static_fold.rs +++ b/checker/tests/call_graph/static_fold.rs @@ -93,7 +93,7 @@ commit; "local": true }, { - "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[a47b]::io::stdio::_print::'_), \"'_\")>)->()", + "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14032 ~ std[82fa]::io::stdio::_print::'_), \"'_\")>)->()", "file_index": 1, "first_line": 1232, "local": false @@ -101,7 +101,7 @@ commit; { "name": "/core/std::fmt::Arguments::<'a>::new_const(&'a/#0 [&'static str; N/#1])->std::fmt::Arguments<'a/#0>", "file_index": 2, - "first_line": 588, + "first_line": 591, "local": false } ], diff --git a/checker/tests/call_graph/trait.rs b/checker/tests/call_graph/trait.rs index f2ac6cb3..132aef54 100644 --- a/checker/tests/call_graph/trait.rs +++ b/checker/tests/call_graph/trait.rs @@ -74,7 +74,7 @@ commit; "local": true }, { - "name": "/trait/::bar(&'^0.Named(DefId(0:13 ~ trait[a7a9]::{impl#0}::bar::'_), \"'_\") Bar)->i32", + "name": "/trait/::bar(&'^0.Named(DefId(0:13 ~ trait[ad32]::{impl#0}::bar::'_), \"'_\") Bar)->i32", "file_index": 0, "first_line": 14, "local": true diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 83a18657..c27b9fbc 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2024-12-12" +channel = "nightly-2024-12-26" components = ["clippy", "rustfmt", "rustc-dev", "rust-src", "rust-std", "llvm-tools-preview"]