From a46087d6b626d4b027a6df8254829981f14e602d Mon Sep 17 00:00:00 2001 From: Karine Deschinkel Date: Fri, 19 Jun 2015 12:02:45 +0200 Subject: [PATCH 1/1] reponses KD --- PeCO-EO/articleeo.log | 54 +++++++++++++++---------------- PeCO-EO/articleeo.pdf | Bin 737715 -> 737681 bytes PeCO-EO/articleeo.tex | 5 +-- PeCO-EO/articleeo.tex~ | 71 +++++++++++++++++++++++------------------ PeCO-EO/reponse.tex | 21 +++++------- 5 files changed, 78 insertions(+), 73 deletions(-) diff --git a/PeCO-EO/articleeo.log b/PeCO-EO/articleeo.log index a34160e..9d9db3b 100644 --- a/PeCO-EO/articleeo.log +++ b/PeCO-EO/articleeo.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2015.5.30) 8 JUN 2015 15:36 +This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2013.9.3) 11 JUN 2015 10:50 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -531,10 +531,10 @@ Overfull \vbox (701.0pt too high) has occurred while \output is active [] [4] Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-20 10:11:12 (epstopdf) size: 358485 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:30 +(epstopdf) date: 2015-02-20 10:12:43 (epstopdf) size: 78307 bytes (epstopdf) Command: @@ -548,10 +548,10 @@ File: figure1a-eps-converted-to.pdf Graphic file (type pdf) Package pdftex.def Info: figure1a-eps-converted-to.pdf used on input line 255. (pdftex.def) Requested size: 213.39566pt x 202.1362pt. Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-20 10:11:12 (epstopdf) size: 241675 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:31 +(epstopdf) date: 2015-02-20 10:12:44 (epstopdf) size: 57181 bytes (epstopdf) Command: @@ -590,10 +590,10 @@ Overfull \vbox (701.0pt too high) has occurred while \output is active [] [5 <./figure1a-eps-converted-to.pdf> <./figure1b-eps-converted-to.pdf>] Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-20 10:11:12 (epstopdf) size: 508784 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:31 +(epstopdf) date: 2015-02-20 10:12:44 (epstopdf) size: 138861 bytes (epstopdf) Command: @@ -632,10 +632,10 @@ Overfull \vbox (701.0pt too high) has occurred while \output is active [] [6 <./figure2-eps-converted-to.pdf>] Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-20 10:11:12 (epstopdf) size: 196938 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:32 +(epstopdf) date: 2015-02-20 10:12:45 (epstopdf) size: 48639 bytes (epstopdf) Command: @@ -649,10 +649,10 @@ File: figure3-eps-converted-to.pdf Graphic file (type pdf) Package pdftex.def Info: figure3-eps-converted-to.pdf used on input line 349. (pdftex.def) Requested size: 177.82971pt x 147.74475pt. Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-20 10:11:12 (epstopdf) size: 428048 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:33 +(epstopdf) date: 2015-02-20 10:12:45 (epstopdf) size: 76496 bytes (epstopdf) Command: @@ -812,10 +812,10 @@ Overfull \vbox (701.0pt too high) has occurred while \output is active [] [11] Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-06 11:42:02 (epstopdf) size: 29526 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:33 +(epstopdf) date: 2015-02-20 10:12:46 (epstopdf) size: 12638 bytes (epstopdf) Command: @@ -833,10 +833,10 @@ Package pdftex.def Info: figure5-eps-converted-to.pdf used on input line 734. LaTeX Warning: `!h' float specifier changed to `!ht'. Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-06 11:42:02 (epstopdf) size: 29515 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:34 +(epstopdf) date: 2015-02-20 10:12:46 (epstopdf) size: 12695 bytes (epstopdf) Command: @@ -874,10 +874,10 @@ Overfull \vbox (701.0pt too high) has occurred while \output is active [] [12] Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-06 11:42:02 (epstopdf) size: 24136 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:34 +(epstopdf) date: 2015-02-20 10:12:46 (epstopdf) size: 8179 bytes (epstopdf) Command: @@ -891,10 +891,10 @@ File: figure7a-eps-converted-to.pdf Graphic file (type pdf) Package pdftex.def Info: figure7a-eps-converted-to.pdf used on input line 779. (pdftex.def) Requested size: 234.5788pt x 166.39838pt. Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-06 11:42:02 (epstopdf) size: 24138 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:34 +(epstopdf) date: 2015-02-20 10:12:47 (epstopdf) size: 8180 bytes (epstopdf) Command: @@ -937,10 +937,10 @@ Overfull \vbox (701.0pt too high) has occurred while \output is active [] [13 <./figure5-eps-converted-to.pdf> <./figure6-eps-converted-to.pdf>] Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-06 11:42:03 (epstopdf) size: 24103 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:35 +(epstopdf) date: 2015-02-20 10:12:47 (epstopdf) size: 8351 bytes (epstopdf) Command: @@ -954,10 +954,10 @@ File: figure8a-eps-converted-to.pdf Graphic file (type pdf) Package pdftex.def Info: figure8a-eps-converted-to.pdf used on input line 806. (pdftex.def) Requested size: 234.5788pt x 166.39838pt. Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-06 11:42:03 (epstopdf) size: 24855 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:35 +(epstopdf) date: 2015-02-20 10:12:47 (epstopdf) size: 8466 bytes (epstopdf) Command: @@ -975,10 +975,10 @@ Package pdftex.def Info: figure8b-eps-converted-to.pdf used on input line 807. LaTeX Warning: `!h' float specifier changed to `!ht'. Package epstopdf Info: Source file: -(epstopdf) date: 2015-06-05 16:52:43 +(epstopdf) date: 2015-02-06 11:42:03 (epstopdf) size: 27000 bytes (epstopdf) Output file: -(epstopdf) date: 2015-06-05 17:04:35 +(epstopdf) date: 2015-02-20 10:12:48 (epstopdf) size: 7927 bytes (epstopdf) Command: @@ -1148,7 +1148,7 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) Here is how much of TeX's memory you used: 3709 strings out of 495059 - 48103 string characters out of 3182030 + 48103 string characters out of 3182031 115292 words of memory out of 3000000 6817 multiletter control sequences out of 15000+200000 14560 words of font info for 56 fonts, out of 3000000 for 9000 @@ -1173,7 +1173,7 @@ st/fonts/type1/public/amsfonts/cm/cmsy7.pfb> -Output written on articleeo.pdf (18 pages, 737715 bytes). +Output written on articleeo.pdf (18 pages, 737681 bytes). PDF statistics: 205 PDF objects out of 1000 (max. 8388607) 139 compressed objects within 2 object streams diff --git a/PeCO-EO/articleeo.pdf b/PeCO-EO/articleeo.pdf index 4c79a3bd571d7ff40f4d89377100f871200487b9..81c171e06d3a709a15720c725ad00d53d91dd9c1 100644 GIT binary patch delta 57815 zcmV)0K+eCjgDsJREs!MvF_*z(1SpYCGk>vC(=*-E?;d`0^X98>lX6jnRT0ID zo4ZA{DAPQQs>Myc_&NCQ(AniW&9fkmS29SVIA5-lILU*{Zs$5{2iNUn?c>AbTKAio zT;C~<878-FtnHWoy!q~{Z_7m$R-0r)q{=GXY_i2VEy6M{h2YJyOoJY$rDmU$c;xhhY&dd0I8!ex@7o7P#THrk>oN}9odv!EM1)`{36mnl zt@E(Tgo_^?@3oB`M?t=}-PjLu^andV_QU;nMu2fdcY-1l92TW=+PlVyOujeuo@8`r zMKJH{!CE~gjusnOURts_Bw?9Ui!|KCDi`ybSQeI$=X!>;@?-|bwh9t|vVY^2NbX&C zPhZ=dBbR~M>Mus3ww|1Ps4p-ZzcF8afC0270Q8NH?&M>wl`EeCSTBFtj4 zkp$KopRjb|fis+2iwzxUlZx#=)jjvz(w!_{Y5*u+I9ql*upuU9hs zp>r_!(M?Z+-QNlP+htJ%1G%>8wtKt2=vzIp48F0=T|Z2#GngC;Udu5pQ?J&ydZl?3 zT&M9S%-BHyOjBtqv_l?KI| zJ?uEiqoD1_38SnETuTue@n)C|0$~+Qg7Gl)w~cKTsS}`)DZ-3~7y|kbLn{a|WWJ9} zKJi`%y=&& zqZm!^*E~cLU_Xuy@(cy`t|heDRn$7~JLdS2#GRG_hk`Fl_FMQPF*8*bE(qOPV379y6k0&l9ELrGuI&&>%vM4$74iweW0&ae|6$*~* zsurLg)C)dPgxV;p!f;V4GZ=V*RVpxmJTc&OvhDPGSTe1I03xB0k?=abvOO2VD88l@ zEbC|rG&^z_%ABJ&4Z4{fHym)EWPwFS-@_n-Q-Av+NaM&gnAkX4k%)uM=?R{b$o?v)=y+*oug2E_P6DshKmrq6jmIk4@eq zWbqhuj!sR`#(vSVkvFo^F&{N*)`vzBMMvWw&RoE35ro_Xfsuz-NpSh=MBzke321bu z(gz`!{Z*SD;*$^tCx2Vht1!GyvxF2$gET-Y9%aPJ#?rQLA5eRbEN{Rc9oHaO8T-}> ztcMZ?0iO5;WFyr_GOIqoPl8@7QHH*^PmfEKxBWmK|GHQ~;HlzcMe|%;5Z!CaTk1xb za)F_liF%opu=H-QMi5?xMn$;vbpcQ;WV+cp+ijmHWUmA|kAI#kDW8?ExooeW4G3An z-#uMW>lsy2cqS>fE!J5S!trGrMbNrcnF9_88QM?YyI%9U>%8+A(qeGJ@2_ zs2qO|{b3Y1^s*a7aAhRQMc_db!_)w}Z0r`K*H>0@k?GVov3C75PPWy(lozfpudbzJ zBZx*vNZxCQC4Z!B&f5zZleh#Ou4x|jx;I13S~G+75X#Y29PG%WiokXK(XN?cryILtU0Sf&2m->GdJkW~=XsGUotkWXd|1)!IXlzJ zvz^ikRl!uSaI=m1hZBlmn~7rENj2;N@9v){E;hCMO@Dyc&0j+=7<66|Maf%%eL8Hn zXp|eY=X3VsSu>fXo8T|TcDtRE3AX1%awSui73#M;uB3deOAsn?sr=F^mq1kIQV67t z@8p9E$N;uDA_I;xqr5=hu{Cnu1~H2y@VF+e6@g5|IU&b0(pPzt)g?!LK_f5|f~DYW zXEhc9<1^N0Ka965{}b!uOiTw!M8l}(7X}PW=R+DDx*z((PEj>Ktx%yt3r{q?HfNn`EPcm+;;Q|T> z(&bZ1?Cu4^w=SsW2?Zb_3^;ezOj4xJcN&?paq;1%R^luQI{V-zZiLRLLK0jmRS7jU!t6Fp9@&RwE)4Q}WW&<1bBp=mJo^5r@sD>!ic!!dLBihFgqhfV*> z+S9#7@aKI$Qm7{&VnM0ZK22}fg&rssG$(Xr=Xh-IH*+(lsZT`4b>rDcx*sen5S_CT zyN$TmkU0q6Jr_rW!f~)OBf^anR6EHE2SEaW^NKkCTHyjc_IL#2q#&!@FcX5+kIKRSN7 zfVIv~AxPoh8evTc@#+}D6&5wpSVd8Jd4nF`stb5`qL`@rUgdnkPi`(YUjgJ3ktK`z%3Y3cdWL>YnQk znR`3uy*_ZslUtP|Tj1#fiR< z5@ePmxC#OY1~=F{_8-DM?j7aZS+W4bl8d!4jVTX3G`-g$;8H|kL8=oP?cHwgkzrYr z%0(GFBX_h^R{!1+GSt;=DS7EXO{h_wxuvXfq?~Du7^la7f1S{>HoaUUn_It}P#?P5 zP`4y>sH#9(9p_{-Rr>naTyac0Cuwb~Jv)fY$9FydsF%+kIcb6A4#f9e4X<7ahI9oO zu=#7p*O&(d-pP05e{MSASLy*FQTZHCSX_`1?3S-?Wuj7%LiNq%&6|I}iE*1~5&J(r z<1`J+EL&`U+c!V|Gg{PG!+pafs}_%p*)FoU46~H>HH+&ve|z%{{a>4A3v_lx!GB~_ zQ5YjI#K|Viie( zk1s1Fmw~bh6qB6{6#+1p!D9p{e}!6Gv)jfEe$THsZ{?Xt4DXcEhfdm*L{;AMNPTWkBeJ!0+6WvI{fe;;P3yH;sT zKh*oi+V1f`Pv3p=-+9G0&q~;xmB887b-e>nxB3-^rsI!30JxB7n?Nzlt5*gj=Hpt{i#Q6-ozPW& z|F*(pIPpiLZsZI@BvTn!e?B59a2+S%HrE5$*7nEe$4wf9kL!F}25%rgZ`7OSkz`x( z!iM--OwNX-XWI9pbxb%AnWz+WW>7*1qR@`SWg!GGt<$sF3Ygk`iOI?9LYQ^f$$lJc zTU`a2pCrLan)+brdf6U|EZBE?Zr;Nj726#!8Vvt<`;)>BW7CPLf6Op?8P3(aMwxs# z)vOnV=vGIyuq)$JeLN{gtM+g!z$9J?@&2}SH%}+)SYK%xT#TrZW(UivNweTt_!_n- z#-B~gh-W~!*0udDii>@1Ti!?+oGonEw6#0y$EUfK2xhu1I%o@&8;?ip2DvZ-fFeXj4C2s>o#f>5sn>bUH!mv3-Lw0pqTqL;A6*uycyj0(bzfLP z%C{?bG4%CrR6%O*DA%Az~JU^cd0U*a?~Ernuh6f5u}f`+MzJ^$Zvchu)m6 zxKY=?1Bx$&$J_YCnAV32cS|{4v@qUt{K_dT4%1$r#x>bs#13+>cpIkM?A9F-1`@BS zgw)d7L4#UJ5|azP1Acbx1hM}4vrFHxJF*;%X0NkYxw;%LTsJa6>}{{cM>z4nQv8oW zv8i+^Jm}U7f0lgd$qjqZRum*0{Z?bus`nM5yIs$t#~yfyp->p)e}f7X?lkCK-1Ky+Aj)@!{{#F>0k zoGg(O^!CUugU>~rg*)NLCd&&5$&-#|J*Ikwn`M|6&l-|Qf;R&!GLMtUg2d@MKt2f6 z>OcAgtAa=Se&mA)XWJf!QwZR-3TVyDPwoye9hOMbQiV-7nkfJ|cUy)()J+4bJyyC4 z9Jq&zf0l4jCdI}|?BBc)^3ubhc?Jw*wWUVp1a_DqqnVv6f;d}A52KaqLnTAzj)8p{< zVE4n=TX@0xCQilID4cv6g_A73i^A++6qBIte@LKLNKSO0%sv#nk5LWsS_NQT(#oKW5$+2XUfFmQ+uJ<*i z2$>vaGo_yD0q%>z^hY~5d}0bBFyfj-H$$xAnH~_d-HsCgzvB*h@zRad zExV)UZIVE6`UVAY3NN=%VbP6eEX(9kktSWp_oD1R--{%Ltj0Yye~&Vx z%dVbNP;~UxFVO^KGecGs8 z@aD&#?9=C;^L{DbPsUdEOllc=_-MNIi8Jlwiu6k?rMZwu4e|9O+a(D_uNKho!3K#uK!#JZlWo%l_0|j~e*lwbm2+Z)I zQ&P>imU6UfAw~Y9-n|X8G`TJ2o{%j^6z$xA8M5WbC(=>CQEgsSCXwdMMB5*!9{&Sb zbA;|g63uE$7XtIToimNMf0TH9)cqXgI*0@eNZ$zpHCoLPFsl|5xeqG9%dzP{E)gBGg;II|J!0d4 z8&84PoUr^A8@zv`OX>@JRmK)$M5ssyDMxdMhBK}zc@ zso0J{^_o;m`@ktTe@=gRQuT(f@k6V4F%g=;8DxeY7EXKf?XmXH-=YO+6X-B%vPE<4 zW4zOb5C=CNCwt^vp$O4e&eC~fnYgFhaO1frq<}ciqu`gxRY?awOmD|RYg#>a-nl}> znQN()<(Ur%E8w97o=p*fiDsu@kP1@MSCT4#nFU^Itxpm@eUZfB3zhH8J*)~QS32M7`kt$F{bHtn!wPT4!ug+|+s&+yV#s@%+|PC)%Vr`~x&w_o z>4cq&C*K-ff0(jk2KJ3{ZYulc-w&tWPM;3i*Il~0W7pU6cyCjA%zvmcSC31BU)hU| zqw-x^WS!E|yRI3qQ1ADh+8Tp$Wn0m9-D666^tR!<8(5&6vZloI8X3qg=#UgX|Er{Q z+z<;|VJzH}cDBg#7HXLsdCHHq>&*)A_ahm#&SAY7f2F-UQ&-%AWGo#}Te=LLt&ymj zN7|+2neTr+1Jr(k?~@73no|8rWiVcpIQw{)*T(ZxWMww{!G)pgrSlRLW~DP$PVH2l zqR7X5!P*GRdia;zsKkX*Ln}{SoWyua`Qa@yI6H&AJy>q&$PS&3%Z0JrT+TNq-NdQN z$rA0ef6=%gSW+S`^RmIfTB396x8i}LC}lTgU2~?_`iG&r=7;Xf&B+RL?S`zdH&j6A zo$2{Cs_kL|xgdA}jeaZhRI*_Lw89|ks`?{ zB(TjZJH+;4YR&dz<#Pr;hJ%0-FBk60hc*ABe`-8ymokJpSe{j`5XMdUY)A)@?pvBz<>~zQeuTaU*%eDfU!k ze`;OM$a_c9<4k?|sT9bPbjhyCp3d@9Cr`->PgClX(AROIFwl!RoI z#1#e-OQCVoL5K?-S5Ik zLnx_IfwbEd&q6x`DjyXw#wiNG}srRY}lBOuDOkh z-P90*L$YhNL%&CY6g%6?K=&x$!L~!!57HTL!(C-Y>6qRs4(raua8D(Z|>tT-4_ut zD2#vhhg3PVoHxmK4s1?RMNfd17(mUCI6=ri-12eX?}f}LU(*=|hdmum3H=V3@_hG` zefv&YPyKBg?mA);eahQ3+I97v47qj~Ex_g^0KN?Rp6qD*#e5pkyA@y;^CH9a-mqb0_JXwDb zl0x3zr`hgz+6CkQWS*Y-&Xka?N+2K*U;A;iq&M7d?S%*muy&7@*sr)hRIb+MQ*Q^` zKQlkkFFUMzzGa1H*#Hz*qx-RNtO-}yIJswcvY&VT*|hExtxFG)+)hd=H!BaIjujBJ zr(y&E940rKW3BTytq-Pwt2|wmjXQrAL=S@Dw;&BjJb&+WH(lN<{;s{>l8N;S!Vm(> zFSi9z$pROJFvEbdRgNNJrG>Ra)6Q3ep6E&h;+m(LgtC6|eI+&*Vu94iP;bwo9FZIp zUnPci8Aja`CXyR0p8$}2ULHp;<@uIGNCY=yn=o)QQ|hPzYVsB9cyKC9I}CqLXe7Fe zWVaU-ES{M2O3EDKMBEYsT0*1T;I|ljJBt# zW-LXqdt{xZh8Tq6u(QHA$JavxuPG+rq8C`=ad;tC+%Wd|KB*+Sj=jc-O&r1HKGu5+ zdkZxJg<241^42xYHs=tKWD0+BJ4m0cBB4CllJx5&Kr;$ZHY9+um%;*Z0eqTA8C%IE zK`#zbuz@8g3p><)$Zqs9Erf* zY4NG3eG@yk#T4Q+S@-Sy4OapSkd7Oc7NVWkAe^*t)_o#-Pj>my4#|) z>_`^Zf=k+dC*sF*HW^VIbX=<+*^Bk*}4}~ zpGo}2s*&4sdW+=FYiISwyV>TkQHK@oYB9k6&i%SY6&5MVR8xQ0qBl>|=JFfjiF%y`POAiYm9uIGWDtpfw#kN(mY$^Z%KQT8WpFPT ze+E}48B!HEsISHFKg1DB$NPV#q~2dFDprer!iMIw=^iP@;yY(1RNieJyoaSY;cex{ z-bh=Jhk^J0G>?C-LTv*(Rzx$nYv=)8_aGpDWHqm`_!I0R-D`{NN*R7MLnSs7NHosi zWt&!PCB8H-_D+ZzEI4tomJEWj+Qi;z5#W^%iPeA6*h;rz@gez&;>|QC%Hn;PAAFwk zW2Z5+M)g^=J93Z^FL4PSlla7Lm4-PZ;&9WWx;XK5nnZtXpiKOJzoi?h!^EU3mM3)%<%qyWkkvkHVTIBVWRz$m@WZspQ72` z)Dois$b3rT93Ext-BIM6M^;%Af~pYS9Rs)ztWf*aO3%n(<32L606_`xRXN4*2ns~8 zWvuiG#r;N7SK24ZheNWLW>HjusNUIDx@uE$*pz>hfY>F_*Qa?5t91G6xR!vcxR!db zT)$S`#3W?9uZ$NJPot6M66kFRC#n^RB>pQd2l3+L2I*tV2WND;+zvIqwH#X; zoke>^Z_rF&+!M*NE*6jhZvEUaIqKw}F?kX=#8W8PZ^<9Rs5gjN^W9%2`D%EZD>d(# zb83Ibr@9+tkoJo;{-WMGh+Y*5id+M8T_o{7B{ic5@ZGe!@nwDlL`x)Vm1Kz;1JhDhXbcq;~?$V^|-xEf2ed_W8A#Sl6MM33V(&fU-_=O zBpY3N74!m)uH|Y$idf;1D?t9b0h4c}LWV}u&;j6FHw0+22wQ(h zjxi0BscZFB63rKgMeThh3X!8Th#Ii(8U-qm(~IxCS969bMu117J`?&O!6U%6HJVx! z66&s;=(+BWT%(0zOvlZ{fUAgHa--;kLgWc-*-KdRwrkgQpw%59_|ar>_8J@mt*jO% zfhTWGf3i-;S+r>2t4Y3OP0}|q_G^FFAC0c_k=C^hio6X9gEvru;?xlH0%oMSX!6hP0;eh{d*NiE3&@S*BzE3hjkwHN3^rNbvE^uXnx6c&F47sWXk z1_f^$YvrodLsZ~-;yZo4cqC3sOJ6OLU2Xa^Gj9$2<A_@hJ$8ijItB4KQEC(V;JwFaBHPl=X5 zH}|!1pGnO~vSkXF8YX`_`1R`U1pKdY3<6&d?gNDUKTa?y|o5b|%_S? zO{4$N$l2(t`b_l_L1mZ8R-i`+GCe|&&&d|S{?4y=4E@2~>Ada7;nj0}7W&kS>&cpW zp^el_!As!@J!N}D+e|Zt#J|I>#@8hS>W)^#wsn6@Rs#eae-N)Y&J!ahh|z3Oexz7b zu-wx&_x@QBJ4Q*cenyItxqyQAa;I($VEJcKaP@Z^Ktu~`6>F6Z3`q4S30Dt@iFhjj zQEOsJuKBcEax(b8Zu!&`H7D#Y)fzZBpL;G_&;l^%$_B6gU^eHbtCva)_g8;VyZjed zILDk|TD4A;HX;#Xs^9q9EHR1%>JvdG;ic zgTxs6?CXcm{tcji^Xr#^3JVjH#V8d5G%=UKV+1IFl^R`>+qUuDzv3RHnG-`2{B)lZ zJ8tYrYEP`0%(U(UBtar-ic|>d&ewbrMwahC^W z9!7WD<6U@Hs5A)6yY1obAFB`7#;i9gO;%BK&p;eT>3S1Kak~1kIoZaT&Ne3=`*`W? z+5TI9_qJ_>Mt8m4*T%H#e{Mf~_pZ2$!k`RGTB|67EKBY-X&4j{FQ{wR0$`Xr-tam2ooiPz?UH1W~|7^XuJ`tb(j zf-ZDIojsc#x31EHW~ekD-2!5rXDmjaed|1bS8m=~*LQYz?a@jQ@v}V|Fh-$z)2`!u^+2lI z(Rm=&o9l*7V>1?B?vxE#MHvbD*8cqFBMYOV6omneMQQe=u82FYH*ipP9jzK%vDdb7 zJVKX*oc1k>F_s0fY=r>WGw{7pIL6BCbX5=gB4Uy5x6glb0TaCMWymevF)F!#3ZwZd z2gZs}j&}_Rx_@XjH=S`tcYEAf#h6E&(RN?C2U0#UbV1Sv2Yb)l3eWMCW1oB$u0cKv z0Q6bxRH*yTcCN?c4MSdF!S*ibX2t6k5ua9E#Nd66W(aqJLso*UX<3U2Oql)$85HK@RpheRgs}dM#R^a_n z+gEG!TN~6UK;*FgNY#;|Z9Ju6fbEmvMkMe|95b;p$7p|>h;>MD1yVT!kwjYUx$oOX zmUg|l1WOmfJKd-nU^BqJ_$3#6!!OA2E!-6&T_v;}0YaY{o%%%2tJ?ySy z0#lp4m@d$qBUl^H8lC@~2kPi#p#$jI`9iF` zjOEQ(7j!PcoCI7CL|;RyLgtQVCT}hQ9vM{)< zfO}iK05MaAKE#rGUu#--(GR;y6m6pt^zIs+V3H1Z03e+M4C>u~8f6s9RtB3rxHjjp z6deE!ae#qQm`HqZNhoBI)3*mQJY+Nq1UUx+z>Z@S*%ijACBHjTRNd^&Vjh^KL7e0; zbw~r1^6?M=P6H8oAq~W#--Ni*4`xD4NegBJX+#PHBbuAW;OVMt1=n90)PX&wM!IG! z87!QvPuD305K$+8S9K{WzHydOceG(qE-&;K53OgL$xG+SI3goBoklQ^7W-2A6*& zr31J&4@N-Rs9$Q5s?(%qG4e3eEM56(2J;O|CpersjM6dz!&^TEY@U{o9tGY6T@M;~ z&poAfch-_7yXi2!*&u3xj|YlAS*$oV&xUmvmXg**$S9RSq&)P(RJZ#iOyO zsvmX(#fQ6|$JGcOEqT6ld==t)5;ZG96BQ)BoL6urQL2<2N|AWyQ>fJ^4qPghzy&C* zdOLgZ?qRvsiBrJDqY{@6m9w`LlO+i!j5iE?;zXN&&B3P&NdM+pae&y57jRVLrv*gL zB5fj^=)Fl60VSAI?&k8$SkZHWDoO9hMri!aY+bg8^J`trx)Jo0B)i9 zDll<>H&}4o`{0fi!AUOm{eCzhaJQqKt+(Uk=Ig0zuYN9ULCYFPX~Cx~MbddOsg#6m z06?EQ0sR>ve6l`5E0y?w3aRL|uWjQyN6$jYbbV?&+gE4Cn{Q^%r3ChN$o)x1Zn+vv z!_vm5vM-ui7(jIKrWP?(RF0|QB1rSp=K|k+$1)j%+lF^B_^PcNBgxN%+Adk>^2FG=A|&23g`VT~P{u zQOkgpx0Rbo1xzJRGYNR}4iaDI#*7@(=uT)3=EB9%lYcS5VJ}q$PTSMLDpKGqMKCy} z1Rr`D2ZlgF1G^9zdaG+Zl7wG%l7TBCxW0bo8-b?78(|`P-zvSEMK)CaBZ`OAr2G$f z=(jbvdOrab(s(YIloPhDmrPa+KOAX)LBv{+do76g{E(<>&+W-HroB2}n(zP!b9M}R z9|46AR}hWe>!BP8ec3UsMncN!$#cLJ&V#EQ`(9u4&em|q^xTOV7ilNM6*|b9bci~3 zP@@AR{tZzu+?}2nITRB7R)oV+PTCG$k>C$(FDoMo)Y z&}!C$6d+q;_Qq)PpEOL(U=IL~t8nNV@P9^z`U>1NDKB&?-5to?v)Ut1j z7e0UI8bF$1R5bdgR0MI6z@kB>Bv>s)wIqPRcQ+ymSd49dMXtcz%PS=A z8S(PS336WaUO;&+5gT-jd;~=zKV7KX8z$-oZQBeU@gOAqgj9}}1Cxq^Fq{P@WY76M zl@=Ks)xnaJLqnn0JFX<;^&-n|Wz2BIJg+$kp1mfTpSDs&__?>-D;vF2pzRo6Zpcd+ zuf&B;%5R%P83~BNq;Nfd{Oq<=lSn*J>F`LCdhydt{B(Zv(~N#uSBgA{;N1Q|SJXsT z_Df$5gD@Sdii6c11%0=)E+l4&`g0m8t0w7~PY!90m zFJTxhiJb;es{E<5`hV>TZ|S|<))5Nydj|iG&w>oHj{)GP_R7kCAD19>Sxl85%aS+@ z{U<6YwC3Mc;>@QK2-%~@7y&?8+}S!OQ7-XjfZ*|3J>Cxt4!_@nd3Aq*6fB_v0dc_W1-*5QrQ@y`SUsS)gfUxOu*NBpQb&>}%oo z)0LEjP*kn}umwkUda=OvO0tu$T1lknGhGtJkPI}882lP`%r~s~JO1jyj{`tU62R!~ zJB54A7|qS_;RlGV5VHqGh*ED^DfcVQi)6%2&cn!TdlVsmX36m6Wl9yZG>~+mlxM(V zWf@UCug!sooxUobuaBdHR|f)e#0viopg9S_k6<$S=I3RAQ#}O1499ZdYyT0BIbder z%lGMp&B>MHn~)^kO0Jy1$^A0w+1FJH*d#ZHR%{y6%h#q{zM&R_H34K7eR-Ut^Dn$# z{JP-rvLK9q2gkX29wS9$BPaYMBG2-75~1;;8*zd~5`@JpNb*P4R6YM};1jn4j}PCl zQb{vX zAD#6OS~oMt!e<5vMxc^eJvLEsIU;m|crnk7LoL~VL^84oB{q@Bc`ha&X;7;2e{H4= zvUDIAT|*%0A8^1ZI=TIK_H@M^BuTl7PqU z!+4(D?33H{=Tlo<@08K05N~K8xiHr|DWpl?xA%2hRejyw)85}7kM*JcPjRe&yEf1i z{jn~as_L#k-u(RbgG&TwInVuBE@#&2WM?>Yf(~q}`u^csy7UgdcWKuTz&Vp?(e7#R zjGGmW9}1j2Emr#KF?@Hd!Urgc%0yZp11q8csSnk$>S^tt-0ZmZBd|y~F7X>I@d$3CVJQ6Eq|a&ZI-t4qXo?3!K~ZQ`gf*Rh0Pk11+Cfgoq|K zN8AIeWNAkW!2)%Q8(wKx?5p9_9LZ65R^J^qd;)#d53nH8l6;6eUiX>QPDjEiD-9)S zh>Fok9Q|Jv1EcZHLxs$7crGN-(qLb;9XSvtWEU8mTf#$1>m{b75zIJ$2QqnC>Im#I z#+@ArW=Cx~3C*0A6QjRGH~|T`HBcZ#V*=q&O>BORv5`#3NuoETEqE*d5nMs&YF;)L zX{t|0?}43?f^lQkPzyl=yn^A5I0f%tigt&hn;Qy@ zHPT>OcBjXt8kXPLCDulNoMq>jhy>4YBJuY1Q@zInl?t$g!CBnGnm)Gtg35G>r!#jElYm6oW)p?{BWq}!fsANa6Fc7nlu)qyU3UDC8} zA(tIOy?_g+!K;Lybo5IW->_*q&%P|iaD_GR+!fK39dnj{Te-fZyn{8|?2Fu}r^|nF zG3jvoYhQ)X+GYPjnn!c2Dv+$!sg+mfZ@5=sN;+JI{%pJ6u3XLLb?yYz3baa0-UpzP%fFR=T^DMFbP=Q39w8?RR4}~ z0y0Q53##uyTAM{#!e;`=mONh~wua=IEjd!MLUkw&fTEZ5Qef!JZXCIifgJhGYQ;Xfai)H#i>B{c#c!HGh zF2>a2wKv_}KY2Ys>j-l=Ug$~2ONi2dms!;{xYx2;mSt+e4l!%8^oPLJuC8g#Im-k% z6G{#G;&H45=b}ykkpZ3nMaH?q!tM4WPxi2X3AHxU$|ldA^Z=w#flB?dDO-<{I+CdUX9w{BPA4SC*XfEW?~ub zI)$<5or&tZ*nw-wFB(&Poi$(L)>OIve_1nnBBq=Ce_~C|G9_2md_#@e^F!TK)bmY$ zjbYK=H_>XtNv5TqBTT4x%CN>RQ-*IW?~X;?QhSI;`Ih>0|FAh4%Ueu@r>2M|mz@>N z$Q(3L^F@AH5UwXT{D76C!&0>DhFC_>l0g@lKqIM~92rX)lOktQ0yZ7w1o?$&&VEUn zQ{R~8&hi#iLVyb6s|+pdYk5m&O#4=UYmv5A=P99>wZIc@KgrDsW7{iR&lSzDvF-|B zAFgQ|9w=g-kQ~}t3%49Id~&f=aZfmnfwXYiyI4~uZN{7++=xsQCB4Cju^WYfZ>vNo z0C3^#jYOEKW!(h5f}no2`N$y~PrUWyTF}vXGHZC;t@!x$R+vwY)m<0S7%rMaJ zP}KWiv2L^?^)6Jc8NiRx>zaS<&)xZ3w9>OLARo>B-nqY_&f)eex;ZbEP*8KpO(*g` zNC1aQBf=XXjeQ#hzwzg0+fhnr1N`qs@*^NqjME5Tp_*Xn=?T)280 zFY=+0os-q~(fh{DsrO>C(C7Hv^n6yV>$xB)i9cCu6n!^(UM?E*u}&X*S)~2rxgNX` zYfRIEi zp5t(@Zkp3@?5TNJFth#@HTJAa589cS|Gd)rPIa6_|0p#6QD%NoL0V2r;ptnN#ys5CyFA>#bw`alH5_%(Eub6zT- za_PfcD(ulq{DRw|DkuP4#th!GHfOmGcbyrFg#QAXm-Hc*feH%~gOESBkUs(U{{k~G zm%(EMDSw>HlG`>GK==L%?MABVMu-;yZj*_tlJX=o$sjwsnlzJ4wq zmjb#;^hiK?AqoU>@I1U!)A;t`-8b)NdN!?N`4&{P^zs zhj$bZ)q*Z4)r2a#s3|2vv&Clr?)P`3ZW@>2a%4~7RX*XHANG9l_x|0#;2)m4#}e;@ zBENmrK&qg5bRio~r0~sr-#wm>zM+h)?qyXi|FQm~+pk!&Jn!9!O~2yR@{37okLyRD zeSg<}G0E+2FyH0!bANOvo}mLw&TikHTA$W`cA19uFkrqzZ!>Ovc@;4owYXuFs;igJ>skT_SX-0B)D{Yc+JBl_R*QR0n!0ustZ;}g!$lQ?AyEri3&I+0 zM&y^@s>K#g!qr4T(pQ^xzhIIRQE@olEk44qP87lwp)yrQwO}>TP2-E073(P{Rb+**0jxIE$LF8#{rMTGTH)0mi)db84aq653g$ z0aB9+M&RuRNSG^eC6C?X(^$X7eMK~zYQ%~zyVX5i&bFmtMA9OY4JJHXAmi3JtpFRe zVk*i>C8K(7Uan`8OA$fEi}CW_d4JsmE-2BEuRs$x42W!0+=P$qDb$%5wP9-7kVeKe zb!*4gw%@r*Z~bzsh^o}f%qZKJR)f^;G8L@VUbkH^Nu<7EGEV8HCJl5$p0gM%N&QAe zT>IypRS{Y@M0`_tX2G^?Y`f#6W81cE+qVBC9ox2TTOAu6+qQMH&p!9whxJkq^P4s1 z7*(~Z<~I~_BOFM(ttJ0rXVgjZr3xa8xge+drRjcwhcyR!H$;SA2ph!%j+i-v9e^~D zl}RvEfr}JGU~i2C$m51XlrRJbK3n%b{%Xh(qHmOn{vwgl9@dD;YWu#07(Xn4YAEkd zyqKyF(uOQwg^x5DU~a`krV_g0T3|+cXA-;T8H8Fe3sDCXvakK66&_@IS6*leLY0{+ z157AU(y-|VdYmmO>EB}u?#o3543i;Q(hEE?w=g7X=o$XRFKDE`b+#bVjOKYQ`d zy&^E-8wE*3Qrum7VH~m9fCPA)MUe#$suY#K2x;(WQX&lDoTNR#l}4%@2&EW}SaU#X znV6i#*&8{Zh=k|e)KZKEK0sAbgc%)tE=Ezlnj~{s2AIx@Y$!r=Dha5-Oo&+4q6El! zQD*euK7%qqWJ+Y8vo;+?Vo_$X@xKE>5^S~UmGQOB@ybEVVq(a<5w#*_F2pXvEXt%! zL?1?u#&RqGQ>y%EpPFT{sO)7i;Jj~1GUD+ec_#3*vgoielr;+fhqbUcN?SAmFWatF zsm0;uQE2!Ly`i#zC}IWBAINJA%3W$8b{q?iL|O8tW?tY}XBkSAu}6>gV#$!z{nDNV z_>g&#P|k}W8`29Qh0LgYDEvhbgGP%W@8VAakkSDU0(|qKh_?@tL5R!5rCpBR$c5~7 zbi_J$Np~{#Wf3P2+YR6L_7n)R3x1Q(_9lrpVtnooVx!f^-HQGv1l)TmCHUMw2(t^B z?JY;6NIZyz$#@n5p>!iZ+6>@;$DKqYrQeAG7k#__&Z)oewbO~tx|zHb4T>leO*~D{ zSOe(M?EXrlM)Ml+hS180kiTnxNkcI_CQya}V&s7ir$Wy;U>2VWnpE*n0t(N7j;EYL z6ZpZtNahE76joH?^B}VtQ8|m>g;0ybKVhkJtm4bzp%DpPl|^ur;w3o4${{wFNEkjeP}Pnjfyd@f2hi2R2XJpUmD zvD5buH5g4;g^UX^Nq)4zltoUI++BO2nNUs64>O4Qz=K87yXnR(J-bzsOY3Xp$KWp&~O8Q*pWvNslKAeFETBUA{(4jyhN}{giZCl8Dw(a`9zy zQNSRjPKgbjARVME3t%)pk{=I}BLz*F$?--(SW=MVL%2o(RAQ2ZD1r&z$CY2;LzqE< zI}{Xl7jTjfRECP(fx=;!oGIP*0)(%VG1>Y8zAsWiY<~-@aa=XLoDY4hx<~s3qVpgX zrV6+>q689Y3>qRUPVqT9Nhxzib^1xQ^CwlkAA!&lF_ET$NU+F+Ekgg*iOh=op|M5u zdL)!Ok9j)%AuJVCaZ?zZg{(_(twOxmVz~uLZsZzN{Ztnl43HuYQN5hy?_5r+-zFtS z2_O=SKishV;YRZhH-vtGF8kpIU|tNEB!uh-=^?WJl^>?CLz-qg|6i4XuhdPD?`Lrp z7$FoN`}8udM=otX3|dsBbI%DhpuOvEqWDt3>nZb?lpnw+ehO&%Q$VI4nWrO_qo(}K zVj^gi%rM!0dZ> zs{{_xNWLy8$gad(lzk%hL*3lhKfJzgrD)zjj@(QqrGe4UB)(m;ayOny3KWgaq#s(F?_V~Py#s_Ol->! zzbX39;sF?y2_h%`;RsUtybLgj)ls!t!T)juIp;?#vp;~B{SV+>Wz5^t#}#C8m0@gX z2dFRN=pg$EFPB9??r`!#HED?QFi8JVO!>ABEQ7ecNVSZ||HzP7dFw~<_CNJx|EVXA zy(^8^&-h@X#TUsyqIEm~HK)BhOaWOn`LzSL*1EtYzV+2}6Dj|u*HO|v)X?m9zdsmRi!^( z-&%mx>Sq==_LgU_d&pB30l)p(=R)r5o4o<%O0CR#s9DJynwd+=fa^4Fp_`6K4WCd!T`n7@li3@$6~mlWbM} ztY1a7BX1|Qz-PeE_eD`G^WQ#S#h_u;CH|3@a&-lIHT<2QGDNn%C%bF=+1!j-lV*Tg zH+l_@=hu~M-HvlG38pDN1oCIof`YhZ)?d_Tl$Zt^2&qr%-WS((eCy?IZ7>Y=8=btm z&Fc%v?VH-NGglkx+%}V!d}S$DN!z|iN}c__c2glW@6+&vKJGZh1A?7fY0^19ZZ@9K`C&n1VX}8Z5M- z_ip8SUw!@MQc3q&!@AM_8f^R8_DsuDoXeSR!nvXZN1F9?%I(53nU%Rs(FRLHV+rk)~ z>ybEK!Z3U?QM4fV<AATdciTvhdRSZ~+8}68% zG{#KUCV?Bw&(j2(zf%G1=WU#glII_;=a((cLJg@8R||FvRhMj2N7kZ~%w#u?)}2Mkbkx@u;NF3|8Np)&(WLw9Foe8+$1538EP%JyGycuqe+yAO_WDC>zo|H zVzuC~9UIm;qfA$S@^mujvURfUe2mHM-tQ<8aQn9#^0(dRs<{cRH^!yzJqkaMoQ|2U zx)^?;I0XYsLtMA}v*Ow_&O|cFhC5GJk=axOTb;|B(|=jwI+&a{@%_3) zh>R%1-apFuo3BRCp<{aZn)#O3e4{ekVUe{0VS9YE5EcKKL&cR~v|BPN&+3!0FhiEe zv{G~Xa0=b5bPNK%e6TyJzm48Ua6gXs}Qw+;4RP}(*=ejQQoYgewCxpuwJ zmv_>WYn7kqUDZ`{uRM$}7F{7~Z_8dR;krJ)u3h?o5)O&GLSEJEOLJF$M}|Pdoce;Y zXMSA>tGK@(CP{ecgh6~7k;XJ2)0fuAZ(r5(4}ffPgEM-hpxgkt$Wu$E`Mho;enBp2 zAT@@r%7XlSpslO2U`Ob{?Ekqs=LTda?yq!8O|5J-B;c}n`%_8`AP^uB+>b8X_e#Vw zDUYeio(i}W&YifkKMY=-ZTiO17_mq50_wSGx4~JDIzAyYbI@Wbx9RR_tH<$s} z?Sk0!Y`epc1rG7(>b?5y@ezSx6k^hAXEV@yn=Me7{A%jof%?78SDrQEG60Xlf?N{2 z6I+Z-LdVZObJ^?5`btstL%QYoW6qfp8;DISU3}Btv$f$X=&-D(rUyLD@3)T|-9eTP zHmx$mkLE)riR^!iC6>BP!+_3r1zLf z#B13C{GL4;fM zakpr~YX{B3eI30T!n*+*zr@V4ReS2*I@$9Fd_JMppxZAUtsHh7RWm88s)#FRR9FXz zKPzRjo`L;yT7buzK-^$KA;%}W@@G=WS*SmDD1RMHt#NJFH&=c2POUZtqetq?Gh0n^=%t* zj;(tV4Wy?5R%=Bs+`{Q*Z~W?>kPU%jjP721oil0KWw=M#+g3skprt@YvhNZ+1a;7Y zs+3Ia!(+ISwu4CmSh3E&Spexs|8o1)p--luYz-mi7;8h<#gJ-5NHnZ~6>6jL;-n^Y zVqioVIDmy2ZRr`Wnns+Pa)2)u5OP6J!TCg*ikgPiL@14fc(7FpdU-_-Eko3bFmD3&0LSDPtirr8I)-{L{ioQaM46FFjnKXy!BU1OX|8cBS6c1o>rU zW4@Kf8#tMRLqBjJl@}6`u6X%ELiHY_pvXcLj&=Zg8fmWm8Se|4dBJKzlHZNJAHY$0 z7GOAd3sDU$Ff-EzRY@pnRWTeaRUE(qwPoRXJ3w~$30DZy5J%mMeTGuQIcDG(FX2DO z2?cp6IF#|V~{(g$j(AQitfQ9eOCAkPOPJY+&Zyv;SYoaNOwS$P@ zc~E^GQQriN5=O}Ts=&oMMRkv>J^M1oJ)wsO)`*zJ*^W3>!xD@Gkhn+97MQ9t2Ap-5 zNGemP=q-A}WT#8^WzKp~9RH$y3p|a-11TsZCl(dc!LQ>QSVH16aHnp0qBtrwQ#;%gwRZO1JMOQQ%B3-Vz@WVT>_syIa4DS6tj zlGG0(DK2j!0Z$W>HD!GR@fFM}7w|qtN~4rp$Ak}Dv7cdIXx#)3zgB5zmGp(bsonSE=HVW}`U<{B&V79Z5|_$wfK6W}M994?JzuT#tp`g7 z?j|gsztF)8vu@Wum#3{n{HGNcBE;rI{bd;F8Qfcs1Nh>}1U?{U90r!P(+C(zKb?Q2EfkviGGKNjIR zQ(36LTiOZ39kLs<-^hCpHAsO`pDF@U9Ar&BbARY&d=aIH)If1Z51R0H_aKy8!>+0v zAX?5}3sWTH>4UF~C{7VQpW+w>K#c;s^@o6VEy7Y3VWpJ|Z4x0I{$;U=qT8Zmg!`VF z=?|?hX+$XTSq|gtT+l?BvP5QYrIi)vDspxDJ+e;g;5xCeG`sm+pa6J~TfCr~YIxUxlfrI?ku(F-$i8ErUQ3 zImJ;|q-V7y1%45kFxH3xfN^i*;80w=h{$%g8hEZ0r`<6E&JvqQjEj74kViSGu1UEX zo~U@3b}=aJ9BHuEvpp`CRZ=fTVp~sE)=|I`UUd#ds30aN+)MxkfTTF;b3s)#`VZiA z*?>*~b=v)|jRf;OxoZR`NJxh{GWo=4CXCq|3*{{JH*B{k@eG9mpfFTMTG#IQ)8s6k z<$-~R7E4{hD9#goIqsprwff;dnebj@*I=gISs=lwv7q^`5_<8l_jt~}Fm@{0*Uq1* zBNOZT8kiz7=kX3PUEME60dVwd!Ge3MrW*p<+d+Nr)OenyVm!R%aw zKrchWJLEE0nK>c=m=?k-pv(V)TvXKnZZ7%`E`sb3jieG-GUMVorv-x58TCgN$f;mC za*9&o39M|@+~Sxz3>&`aoczmgcl{_k0TOi9$whu()ZCxQVU%VR_Zq?I0@iMv$Fp3 zY)M8)=MTi>BlW6_D7(7&QngJ#p>_tl8iVPt4T_C9Wm~HHU(!Wn|!ZfI(;DMG_N5X>+5#h`-{|?z15}i5xVc zL2k$sS(XE+2mnj=imz2mlDIswc>>+FzBWw7*cN4XX}2z6;F}pOLqW4OOK)H)v)}e| zbdZ*_QzIiajI2?p3|=by%P}pW-i(pgboeOGcAn-{I5pFh5oHQXiL)ZghU^4#s;>_! zfE~~*hwpGNlDGcOk$OI#<1mn720^XAS{#GWf2}Ts`KjoTk2+&hr!QgS7IBa+Lm0T( zQrJ^#bR>~QJQq>L!zMo^%e{vh{ut_>&>qmSqSfM_I#CRtQKJZXwRxRZl|h*$?HWW+ z4T0K$gK_BJPk)|nF^Wf}MQH0XQ0Big;ciJn&g zZzh}p?N1nK#Ts0F_x_NV!MC8qpp!Fbh(7N`|# z5Bp(V9Mq)WQp8>k0USXax56nt+;=T4`=g!As2JQ^rR%=hi)AOcv}gQTo%*shB4*|b zV-KnJHfPV;y5Gq%pHE+Fhzw5*rZUo;E=IQiIYw4uQpXFC;oFSP34ZV6C;`nI^Ryxg za5dWMlb+~r9J1Z|w@`ly@K%2c2x($q=Kt;}#n`I}>utBby+-)O70ALmVC|Va95~#! zB@O2hr3osg_kHmUD7I2raY>h(wekc&&{hm1T=Xb0VxT9TI3N2{?7iNZ5Xd_jv1v9X1a;iE`qIvNStv+D29u_H;Bl^h=rF$QPd zS$+p-7<3Su`#d@?MIUO=xZ8dEHL?ug@g2>YUa_+!WR`r3>0XLAm@-kQ7TmQ)kuF(? zbwfMf(g(^4+Hz50_pG}e6}rzl^TGO#KMf_G0QA`Nx^(LR&;8=baooA(Yt?bjF!OBJ z7K(vnz|EHHP;U)@R(@tUXAHUgY`E;g)Z4MzpTX6SDVY)f=su)!<D%cv7NIKM!~-?zYNeJjs*5@g=CyQ zk!tUahQqZOF0l*XDApsInix+k1Z(MBn0?&HK^WSkwexa#cy`=zo#MDLxsGvlF6cB^ z&erMuCM|}TAC)7E&xru?Cs?H>1MaAXVs zI-&yktvU_6^NuhRIaR;^?aibz#k&y%2|`oJ%VNZMOsW@`83X2=dV2#n=bDB07R0W@ zlLU2hM<{axgXLlpgQ%(grmHpw0Ebq2YqN%wS#PWN=$YaIDWh0o})02Z7nsgnJ zQJ}EhAF9>4y})X3p#Hv^=33b&5jZl?1h z*WA1pM7E#56`I2!w9(TzKU!Wh;dgMhp}~^PTjc}I%HG_Kslio>R#gTLHl+4Uf)Xqs+ z+i$DRn&TQt*YriQP=rY&_qk@(ct6vEHo5j9Mxtz4Y82dGK+8coeJXyR3PE(O}}$eR{1;)sjki zQT(eXGRXK#-4DW)Zm@$K2DRKUM>F9-?hvSpQ>2|tkA2In)bL`4!Up!>&;4&1Rsn{;jFb>E6?sVjqj~DfcuLVm+;Kxl;dUDI zabP)B(~>*jMhFNf!@H%<=7bZR7>fh;);@)TC@tUZ-O18slrnMek;3b@s}@)Bt1it% zQa)lhl;wLOykAnFzZFf&D5CmDk+ear*IcpOH&zNdhL184L6}DjV6?9wMF1H}b?5h6l;X4XyVVseZo6(QMHvB!pld#KGI&8i%Yrb|K!BeA(0f97+? z=JVf1(6JO)dy$xUFFb&9Wm#mG+*gMqvEjzoMGv;-ESn*x@+d%H0r=2!1Qt$!>Y?gF zAsbHYWdh-uzkR;LWnn#7$ObvItydJ=j`2}{rIyfu7Q*}R1b%L}8zpbRmbTF{@Wq7n+q zWB!7YtG#RUaH)kP3IJPeaxP-l_}#>Y^wNw!HPb%U3xMqntaoiCocjGj_z!DpizOj( zD4PgnDk_KLfhd~@3J0hG4P|8z=yXzvy(h|zt|)x;9K9r&%(VNQySIEE1U z7VzHJM5G}z6c`@Xci}=q$~DWoc&~+jO9aeid2xjs7E6X=3~1f5qkPyH2~FH}Fak%| z*+Ea7!iOqQC<_sQVJ0W@XxakJX${j&Sr4LG4m>x$u#~Kz2PJb}7kN^+BoT(yXfw4%Sazm%yI&NYy;;)=C`L z3LY=2-eC}{0OT3}bOqnjcb^tX{}Ib_+i4cV03fLncCk5GB416D%WrD@;wSL;L@ST0 z;42XlQq#074f-&i*TgL8XmXrHYA_+vS^GN|<~1oVjuC*0P=6OftF>Jb zF2DN}tFQ5Ua4}ML_`vNvUUF6D%hgh}h{**hEU*Cu3~&r?r2HjTkE~gP79M^4LGU3N z5wt86t7#EJJ%}J9gZ=)AW(fpHPTjFzSckC~JR$a!bEE-G@1Ya=Czlha6d>6!f$g+bhwp` zV%*cj^t^Q(2CN^c7=uHtXMwDp5id0svn$4(GHXnF0t2ADH58bvaLA0UKZOnGSYaF2 zxjg&oYX-9@a3N=(6vVzXss1Jymrxu^5(EY(pz-)VqH~;OftP}gc&33KA3dobD2P!> zF{1vZbXNvdrx={CA&Cy20e%M2=sFIX)0s`fEwdR6 zBuU}G`8I&V0D<@S-@Os7-T{UPf{yBwWp5rim#_veuSCG5Vfa5>!~JhmY!bp^%F6Ay zc_g8V91BMMWb1q>X+PSEeWN`PhNq-(Fa$!fJt+X89nsREx5TK4r+BgcnXhLO_1(&b zw<5nRUw?yq*rcCHXyTEQRdO;j!B@ObK)q=?lDk3O;!FhhOKMlx-%W1(a@&;5y}fF9 z=ME`mSlm{3J84&I8|492!)$}TNlfmDTzUptLrz=Iru#Dd2!Z4^)MPN>yar2{gjK+++B zx}0JRNcaWxuU(qsEl?-0*uvdjaAxL`M1;iTV2=!qinJOg{#Ti!D<+ReW}gbL@zwm) z(dWoLQ?_!dhW4;66o5D0(b^B3#7E^a?4`@o(JBmVNYrW9$8n^PDe zVFZd%d>Qb-iV+S@!Hb9-Oa&sN1~hQ+@m;42VPN<<1aoE+s* z6*@j_!M2um=ie*#_9mvlj-43LGc^FwfZ|p7woOF32ryf)@#Y;;2>98ftBx&rBI@aL9ODC#!Hy7&{)4} z$JQbnU*_O?-Hm#$EqlQ3Nv}6ulOqIEcahe=eI{L{y2D6fvGaBij^UGPJE{km9ROl& z*YUEq8#zPlp+Z6e&B2UA0k5;G;*_N~rK$y4_EFgs!+mtC(DB4zF;2Yr4vIENJ9HPR zWlF_Xf<~~^c7*zl{-cFah3!O|JM=`p@lUG{qF)53(lwZ;(!NrDtA7X>O^O+la=|YF zTwOE-L8(Wp`v$1B{M6S@_daB;qUh2#Sm0a1P39etr9s@EOp zF?ymx^o0LxCtNmipP$5%JN3--1ZB)4jpus;w#E_(|lpAJW>$j#)BjNwRe|2(ce6F z?=)P0D$x0b%a5EP+%&?|<23BfkJp?@Sc$RzzZmEg$?6?2r9Ga$_fy|M&D58u5!6X#SY~uV)8FvssKF8#YR-UlP zIbC}_IUPq#I{x&RRsqcyIkj;j`+7B9^YiuTERo(-gM?VNNNZz@_JA0R+@zyzlg3ZS z&$sOEJlWB$d=VbLN#)9`IN5E2eW|7Fu8XpQcFMQ&Izkt4tNjn%^{;h93H3kIoaJTy zZNJa4RKxrt2~%vxU=J(Q^F)I8u zdC8=Iv8L%(@g!!z@34tl1^gnz2S&+(KA`*o^&Z%@j21^Z4d_b&xHrW?$WJaTk;M5FBhhD5I(uFax9?AW7)$=)F zIhN=Hm?Q zq2pKG{EBq{45UB$1tAO?()KosAizyD|S;~1jxxQZ)?5k=nx z$ST)Adh#EHGa8>r&)^MJqXHYJ`AYp{`mpO={6_B0VpY6O+@~Zyyf>d(2o-2^fohx3 zgAFgb{eE8i=BgECcU8nr1UX7j4dJZh`8^mtrDSY~o`;e?RtMaOBazcAO-C&cdzAd-vidu%=qU&#SEk{-Du8DmySwVFV!Ty>Q&}`d zpwTC6-^e?5riRoYGxfD&&X2RVp$J-kJ){30vZHcRlBy>6hJ$b;Kx=HW z_ojCiht6WH}|F{69evJ=MmMM$u&vVN^z&vjd8yp!&e# z9~Vuu#84lHu5|)v-3Ps9oxbVYv#I8LScZrbuJNMfL&>7<@`a6T;`+nC&25|&xb{Ol z?|0YQP1W|M<&g7le*BSBX~(Gb0hkup$fz<`jU_nr%S}1~JFSb1AhUGBV6iNWEHXEy z6I|tQ?S7jUxlVNv38mvzt4Hut*A2F+E}`)DE1Tv^LE`_m+Aj$2rbg-D8l?N=trVPu z4fe!mCog^bwY%sm;QNWcfliCtFMBuGA6v%Unkv3)%GP*YtB|~w7r6rq0jg7F7UC{; zWx6Q?{-jEcYHVP=l{na4pv*Q6tT5~iA7NQ0-YN7oCmB5FZk&qJdA{kY=&oPG-j2#P zX)6wq2x6k^tl)cGLousSJB$!tq$7_g5yLS#nv@QNsZ_GcaB+b9l^piYWPTA?G$l!y~1vHwbc6IIhUIhP5Q3ewW z?0Lboh^p%D$7q8jinh)Dd-->y%1yJnZBEri)i$Gr zjTBO~mLSNIo;)=NRRc=WL@y-ZAsYDCnI$e@z1dVn1kkyc-Mq#1&=O~W zX#t8z!gG6>Ahxs!bo+-CO~sHF)x17WVr9@UwX)(^uoHZH9<|zQU}cU4R~LJ7%efFP zR|2o)LE0E9sFuQlCAk|ym`8PkzlAr1xlY7UQ(!va%`)eHs}W`{xUm42q)=oV0q0vf zxxV_LvbF+|OfU5@062643nq_Js!vc3zeMj9!*@Cu_!A{oKm;Y8QexoRG};AONU`Vn zi@(Asb-l1IBoRkn)8qm8tTgPk4|8ekb8yZC zymCIPsjn(fBw6&jFFnZ#rNT~v>kdN3PFyk!+U)gc(ADI6c3TJtPPv8SrC?m)fUv9J z^4Id!3S{VfB9#AwY1X=+Q3_o6!@7|>g{OPv#hvYzD`Ab>v>Vz%qtr+bprT!&GM*w2Mw&>Ifs zhQ^~O=2@1(AL~B943X#4KSi7U`V=1Tpi(yRms&856S5^&YS>$r74T{Zl;=2fVaSZ6F6i&Pat3v#fibNh3 z1)>9-Z>sUzxd9AX+OUZ58YP>CEF&fadYv6f1i9(01WR!Nb>AjHIFOmJo7xDjeb^u5 zK)1WS8}N3Fp5oz@j}fONP!9$kD=#9kY1G~Mc5B|g(nk^|x57e$zc-J!XrtAp@tPdj zst)LVyI)-@hY*AWC5==ccxk#$26okysUt=`X0eE+%`-8~f?RKupCg=G_nF0%WFRz! z9)yP87Pm|d{eb=gb}!JI=!GNxYYmkdL8!T84|s=zxDGXDRItm53y=*896Xl%RWu-w z4NwF_k<#GUB~!^;c#s{CQp)?fZXnF<3~P;J4y)RCeRc>pvndGpP~BkS!*PWh3$2Ts^ zL&)-JJg;}Y=|#5I={waiv|N8qvuo|{A_aY)FT97XRhz8sN4b|=JFu>{HTi}Q`$V*4 z!Wg>yI~X$(JS)esb=n+ZFPa;O_L*?A@#ADYaQ@nfi;;8c3e*q;b7#+Fh#ceUGN9IY zFpwR41tzLwh9=o30$CnY${~dlb6P9i*et6K!v1!l5eIveYU2eF5%UFBi{$E+8U3_v zk}wMX>aYM$F;)A8^BIyrtQCKLY!~>#fRom|2ZqJSg zbB~fHI_6)O*%228O*eKhyT}!mor0q6KW9Q%`Awl`Np&=9& z!Rgix-Wy7uu-GRZxSnhb*$TyTx8^qRfJ>Vt-Voyo&jhrpF6JdD#EPXQ#1+@Gz8TUt?S=#zfl2Jg{oCLnJmxogN6T`}-^_71-Z zpZ*xx)ASs`>B)1`@Pz*{Mv=u4>l9}&ZX0QF1%vY@@dce2zJTZwn_Xl7W4k*!_simU zmE8U?I&fP<26L0~Qe`YV7W;$T-|D0L^Z?`3;}SeRNaGm$Ofspn{0xBIP;x6@X9VF% ztlac^lG`oS=>^2+V#&qrHDuiTCym8=?G={gNE3deibA_1aXfjx@pc?YM2Z*rtzRH% zPAk~xNk1H}lNVky$izwFob^7MHZVe8{?+;2z@-k-7W{LXz1cUU|8m;CwZZtN+#&E| ze3lLv0O5sk*t5V`;T#aeHA>GZbq&Rkf{_FZQqff2RKZjF1^=S_(P=GgoTP9@J`6p( zvJUL94nG}ay4opvepmLY9ls9 zE(!cPZ#*W{gQ19cF6tK2s(mkQFgqdjs^`Q%=pyUdip2pg$VSWSloobm@hrIC@;bxL zH4bXu_||=+*q-?uG)PJp*XBg(*NCvU{+Y3YNEfeCkJ|jop7!Io0AEv3#ftGBq-Gf2 z_!ZydJEp*3;B+dnIRpg=`~SWGc56u|uCt;1^pu<=P|01w1wul{t&aCQ%DQDsacX*3 zJjEUSya8g9p_P+T#%AmHZk|AhT9w@ntzL+N0VBnVxdZgsAEu@v>3f%6$HNCCn>*UI z$5ic@h$5G!%pR5RHuG;W)ybq$i|NYqipS|{n&vf~Hf<`0-)pQ|7M}(Ier0Y;*M|zt z@XwT;`C7|ct(d(VKF^1(uTqkVqr{WRm;-AruE~<|)EN!{{ihzx8%M*0)N|K$+kul8 zuBI26#9blM=bUj>=lpwJk9^`(KF+cl!iVcRVw-Z@e)4?5sE58*U{I9g6N`a* zbADYwwb8W@n%X^PMo(KmZ3d6DhdJc-0=Era7?W&iLsM{^R)5p(er_?-;zZflE*Ft% z{diD3=i@u;q#tQ;knyM}L@DxFW$^+E1{s5pc?wtZl$j-|7W6S*!`JxnSMJ_1{rblkctk^_hyiPB@8Miw!Ip_JK`sD^hnQtx2MWE=?0j7PQ1nM{E$ z*17PQF!Fqc3`z`4AJ z$fpsKlB)>ZAEvFVim?uRW+Hs4H>t?<^&1Qc;2wefWSRX(uF?@Js;!{`$HEGBWo z$!fFe;?aJfbtWtnU>{%_<4Wm1hz*sqJW!G;E*MGMQ6W$06fv|beR)VkVOxPr1I~ZA zWhL`>S<5mLM`~mAUph9P>$d~sYAfW)Ji$Z-Ej(_5y#tS~J-znl(HbsDa?qC%6yev@96Z6LUT7OpxTQP!Q2~$8)+@D`tAYN> z$d(oAiFU_r2^dTZ02@EvO#Z~^r{cpwEy@?!Hrbgje*@9YED*(8SdZx?s9B8M$CdI z!+4CkzdwPL=+j>mSaZE20V{ndD#oc6k^VX}JcxjS&3rN43TrRCY?P$WP(}Zo(2ZtU z)}}7U3%#daMN1=44#i)PRUtVr%$P9O%xv77Au*xtwSZ576_lMe7y|=iAJhu%8sY3c zI~B)+22M_R8`8;oL&}#PYwjxqgf8fHv_&Upg7<%~2354Dj6x_$j6u%zcn@D3q(oSLuG-Gw!~qO_ zW_rqWV}P%gi{DTPxW~j&;MoCE1nC^>kRU4pvd;lGj9zb3zi0@*`A|3R>vmKlDQ@rq zVotfF_KXbRJQk6=Q7U>YFWV1#4aft{0VxtZt{3}*;RY5`e?te+Vc+}RC))<3Kd!)DFhXSmevv4 zr;if0@Mr(zal7>64J;E-rvg{D^WwG z5Wa-gNopGAZF@cMmFgc@fkxK}E2wvRLFu|<;f1Ue>UDeH)?#iO5L@x-;=)LD&GQ^) zk`@LOxI!gb!U_4MDAC(;qV1<7Cl#q`9Re6oEt02$RVVie2(R?ue2J1~HZ5GI?pV^X zNu{v~R@u<7dA`MM)|uv4Ip-DA20NPb-4uS>k)WEZUU?Lw4(oY-U$LP)`|;^xWdcogHI$s@&Muz5oX z2YshzXVncUL%CLHj0GfPGvZ<7ZyBNlmlF(jpj;|)(W2mgab4X${!Io~!sY$kFo}Z5 z%)t6?XfGoEGn&S2DGhqp)+bDRX%C2e`vqnt2R@!z{lD_fv$>+kLLuDh#1hz-KHkkB<`pw_OJYPx-oUo%CUnOWN*tNiD2S zRQ!I_cz;JAp}qi#t&Zx_Q6uPYhZF|5;dD?$m4@5Ds#7kP)1Z4++~l!qN5Fuzx*T8O zZFQjL)Ws01Xj|J>!OT7*4Gb1MWzc-KgJoJeck#7#mGiWJt*o;_Y&HuM7|GkM|j8&wh=4HT`4nGHFhCkF%5r{I7)ieD6N^$tdY z=NRDN6f;mgWfWbd6@L?6mM!QvZc#IDHik&lYoIga3H&y?cDkmQt9(X36Fb@G)x9!Z4@%PSdymcP4q6(s+=5k~9MPOgb0I7Y8QG zz=3*X)OVJG6|d5{zw8VTe^L1JN?PW`q3#%R#wR{Bj)pS=b#p=-*4f{uWtos4kSx5p z2s(c;NpAG&%vRtc2+QAZ?Ne&)Hf3h-`P`{+RPJCY`||yTMM}>2<(4`65N%|IrUQgF z>>s^B(WK0$l>Gw2`Unn)s9QggL{TJooisv$C~`~kY4vzaCb&0c`7&8@p8nG)n;sZ% z04RL^r&y9`Ezo7E#YF)x;+(YP$EcrkwBJFW8bg9AKEYoJet+GX*iV=Dg=5aGvvb)7s)!!39(;lFswGG-JN$UIj+_K<cnyq9LHwjP)E6 zWsBrVad~2*l9di`k|cpKP3N3=y{Ht1^ggK9ZokF-wyWeNSH_yg zJt4mUIckT(Wy1!IQQs)l88mDOMj(ZOCYI`!LHPy<;d8lk0`48Tn)byf-@Z7 z7JPG%{~po6DHtxJJm{fWS!R+#{Pa9Zpy&kvAfO*0?*YX(KXW~usnaL7vjkdL z$YFY;j2VvQ>-eoNpUU6jfFP3N+Ou~s9phGtGPr_4J;@=HgSwh_`Z_e5n}F59n4oR@ zh`7oGjf>klD4UJH2J{9|dvGVjM6$rjYTr=x1$k$}4+P%lI+|UGCo~L{3vk6M66WAXYh)y@`@OK0hlS_9S3a$7 zzv>?*!+IY_S@BAl6hMshYZXl(Fel0Zwz}qazt-N@h^F>){pe+{^N#i&EI<{Whm5Ex zk14_ztrQ0ipMTD|?h9gw_}i}b(LPvN+n9AlvTG#Y*PGA7 zR}e)-9`gLQlC6uO_hPZo-pw;M-*^-_I2j&27*jxe0A8#f6}DXz zO%6vxdJ@%n{%Rl2B8)_1U3!cTyl8sAA~RhnLgUUj+5Txzfi;QcnbU{d{-H}Ij{l)2 zQ?;c$Hvgf^3ysI&8zlzoFraq)V?&D8gT^k|5~<^EQpgIN^WzYi@MyD>6$LxOHRNO| zc`#^j#0qLvKefZ?jp%xVGvDM;G4#r*t1t5PLvpBMW0%gIPt;Er+s&h8Qm2ANG!EC2 zq={N}ZYX{B@Fu4^nrzT`KTbF^y>EL!c#~boh`UHfb&d@KpyTUgrT#uPYJiyfRF67p zKs9@cJ#s+z4ksKvEh@Uep;{rG8{zaxi4hlXVFIEun5R7ss=SWRwe@(~KV?dA<9-sw zmK4S?xq)$VGo1Im%GOrRuVYfqaabq%;AquoVF z#=9_U*R`eFBrLy}w5hW&=MoqYrliRWWqaXVy=zIGk!Gu{{J#Cf3HG2yS;RI`?9d1& z49WxbplX^DlI5l5R2If7+av|YVaBI!eB2lne8YgUsx6={(o4Kw3xY<4s)2;gy+^jq zYMJjf>+ZvBW|?#~xbWP4;bXNRRB2Sr(95&OD}5j;e)Z?0wc4&3#o7nJFr%a%Cd1qy z>uxt(0;!sCOF$Rp-s9kR$`9FI_hVI90*00%E zoo|^-a;>zeLHHD4{mc?P4fp4QA${CXjr_YY5KK z8RP@8-5N0mhL@p${5m>bI)Pb&R=hTxNc{mX$Z4mUW~ov^Z+V7Fy`_&HW$M>GpPgX7 z?d9u#amaO<>gg9zr>}YqKH5z-)lsAtn)6f~J6@&6ka&{lzQm9*el)x_#4M4klSORA z+MZ>e4!${p!W*fOF*D2u%^R`%HcskVKCR|*c(f~{lk9K+ZP8(3xw>)1ys9KpOr?r( zDpesJ45v#_!JNFnR8(Wr6yq*dWNQDoq6n=SLRIW4;w{?)#z-?6Q=U<;yZh(;HW+Z7 zICkseWZoE}>k{tZ(&VYSp4YQ<%YU2|C)#eX>w{noTM2cxQI}y3%X_BqwbC+SJ?!R5h-J56UUB|3NDA(Bm$oP_Tt zvKd~C@Ubq8c}&pRx1QooD&SxP5F4JAQ^{vmZ*!m{+wMNsNO@Rw?GKK$9BzIp3pHiFQHTnI;TeZBimf`m*kx@7FY)itd%0pQ+^jupG2B zmZ^i?4d-2?el4g&F*CCp>Jd}qQ1kve%RSa@H9}zVX*;_K@d2tws^>L>_+4fkh~9*P zGcR9G_bX3MXzSyVX!rtR?I|ai`}H16iNz_byz&)$PWeh?dvow7J_;0&+_j_tSaYLm zm2@g!2s(g(1oid1kU87+IhFoXKU@;Ow@D7@dxuvv&u~rB6zg#d66B4@%I-(TTHxeKqoIWv~e}`@i)w zePt(k7VGKx<9r)k-qsUM4}a{&3sWx@2BY_`on>;Mym4!#O7q|T41@u(xR$tI_U~D3 z%;wxn)_(Gd1NGAQ^b9s2{vn+vQ*&hNj?9~uw>R^SYzUxTu`fy&@`K<5ux&P=C4SV< zp48CBku-&J__SM^K1$ax+%K0`jFUi1cvJbJdNmjf7P;K6v8dUDP2jH~&CWM%f};h+ zKQc>yjaLj(dhlfu;19Z^I!Zc_3W^X_jx}1s9KJYc5cK>*N~5enbqt@78SjzHBiR#a z1=rL6%&WOUrC=o3)SPqxgh=3PzZe)cEW+-i6;=&cKM_w6E~E&+;_=1gA;=8$KL_iI z<)M0&gGzmN2<>bleofEthoB297OnDk0yWxW?BpNjdlttGN*ifVPIKkRi-O5`?i*oKqxQ^e-Zpxuar-Fm0)4k#0Qn4i(r%r{`n)8iE?)8 z;RL)N?#~fUJEaLO@lwYCB|%i{+$A_{;)&cH1<-O#xg-dmSxIGVgAgMd48ZkuR80cq zl`56>bnZZ6EcxJ7+o}xvwQs!RG8}`TLdKCdcmh)NcS2=${N-~<#q>lQtSSYyB4cwr zQ23S(+F$MdG}A>!C|0wN)pkQPMT-G-~h<-2DPMRY^L>Cp>{QI zHh@!hexUwa&c}*12igX2n_cdfk38$teVKZkJIt1+c-*NLqh;8xAPiQ&sM_ zIN#pzZ|Vm=Ep=QzXW$;j^FUuwOO2=oTtJf(YX2A8N<_KX5R3HM40CrqVF$Sl*(rh8 zb~9XX_IZm!fqi|wX6oNfpK3IG^f*DjPq6ycN9<0>kMt;Gp);Zh)7P+ zhXP2uFuwU23wd5i8l=(ugTfr-Isud;pK$E@M2@pJfqj$dbW;L17f9qF*mU68Ghp=0 z3-|TJKjp1!!K$CLJzSGWB&0LpIDbLsW;GdiJggC_c>R&*B5Fkkk>kD7&?4WLwHE zXuoB?`L|aP8519+*pmODrpMcg@4Bq(KT=LBInC_sg@u&OBNKzH_PJ)&g>Z=-F#NhrTv8L7T%W8utHlHLJA69 ztOu$chK{TOQgt0nvNU>mrrf+g%JBRU>sotg@Q_^92O>KyRK>Q3Uoft5wuSy%u%3fq zIBijWV~ZPuUt*A`su4#a24EVsYygvbX?=7ovVGmpD@J@X#;YHeLQw$VzB)8j2M~Ej zp+5ddK+l}L6U!Tl`W;mCMUnScM(&37#$fdvM3o#W-oe5d4;glsm`&Ud6ZmH$>w|na zb~Q0~LT7OLWhsu4V|D)_ zM!qEWaEJj?kU`0M23U_AO_Y)Y$1&U&8}`owuCuJ&Uye~y*~jUteI@yTPv47IUoXfgA&$BHZ!cF^1?U_Tpq9lR@vFm zw}opOX~WS6`o5Jh?}{L>Kd>p;OR7RhKXv~UfgA9iV!|u_2GA;WwB$z*#y;5cHIYE7 zB?RoM|(_Vo%>o2Dqi%&IMc_@Lp?4yt1j= zwNkw@jjD7kLYIB5EdKz@JoEfXF9?C40_OY=-lGC&$T)0pBKDkUoKk`^i74Ng5Kzq) zS$fO?@!7r~HE&D-sf;RF$Aht0^@~Dd&l;pEZ7TBPa9kN0LDVQ0%vF9!~85 zPZXb_#cm0|^?&*J9cQJLNK?a|^uP{a@{Tgai zRZS5|U8o()C;c;Auk~4T{v(piTba{O!5=@)1<~nJ320yfzz@F_z2w8pgrh@N7fb)6iTkhto{K22hz_YIQ>jb=y42RgtITIj@LYS<*b@epu;r7yaolfhT4lK5R z@l>WbDv=jrS}q9Wlwb28hfif^L{on)`TyxoSpJs5y78zt98 z*l4Q@Z1EEGBmfoyC^sA`f?xKCSys^XdBm2^)<$+AY?(54H;>+^`d+vs658{}5;#y= zn7(j28-`JVr7(%KK|@QirGu1rOf2)e>{J#y$?rr2GP=LL5^s&I?PAQY7sumCQga!t zYp29B5@MWXF+zY>cE`62?-1Y{vR;TJPM26y{LhIH{bSqfQ}tU4sJTr5D9;l=%>Uo6 zea7**Se8^h#=-{4Ia#;wrPMNSq)deW5#7R}=P5*1CvX}lgUjX|I#9Clk=x25ZCcz+ zYRCrc5*UbplJ?kuhj>3!kg4w8IJU})`0@vdc4$StZ$D^hXoOMz8mkHuklT^*p#`fTn}{3 zK0h-U+~pUL*-HAovp}F(<#9m?H{U*LC6QiWIez5WJ>7)wPT~aYOiQtCkolyE$wgZI zi)+VKE|Iic$Oj>OaR319XGl_LBn1y8$EtAWwVephURQFiks>`)Biexa5i4b9?iX?Q z4f|gVZPViLtl_U{A|$Gj+2V}W(l#GreCp@LhF=zKcK%dB$IG0L(_?CQwwt*2Ip?;>iLC;y#&0$;L zmfplQ)HZi`SSHPsoF8w8&BxO@4?X1TKx(7JAbkH~I@(`2! zNkoZu;nO@p0eJ*aM5iJunA4!E48N_SV1qk?8oTD@#DIwoB2^TV;kNR9bFa_mEgru6 z`U)A#G!AP7Pu^(#k{gNh93QsagS%A<80OX1HMnkM98Fug;cz5~Rz)XXpb*(r`142o zHoNTgsx{6s7;El_IzY_w5YNu*w1X7~R8m%NMXuZh17A{wAbS3qW!TXDTAttj7&TVpH zeBV00yk)yf(MRc49qy%!4wb5p5_@ry|7?GH+I+g_Yd0%dkHFBSZe9PLcYpZJr4jq0 zx0HkR^59lM|6d6RK(64Q284TYyKUo#_tW#`X-~eN!n6oEl`HXte$16#HV>EHqj$T1 z0NGm?krN*(U}lGb{%wBy3-p`VnqcjU!e5}knO;d5wTbX324pEl+Sw{}j_Tqyx}_-u zaLxx6I~AIItq`Tz#jqczI2!jC?nCoG{OfTbkI_)A4MKqBZ4K&e)Ht)F%!VStMN%T1 zE0vI6wcuWl+7LE+8>ml?eyY@=l7zi?j~hdhGWjNJq_GGF6KIi)rL~4j;e@|~M3Fl1 zM}Q(m=aNw-kEtvgW$NJ(@UAbFHyA&d{}$72?#4h-$r&%KGKv;Z*C7GykuTEtuVJ5nUc@5bxJkGGl{N5ICPg5u zNr>40iW~DB)}8;gU2zxTS0nE#lwR@l-ge#r`MQYTE;dd@r zGyo1Y8YfeZr~f@_NyDM%Q0NW4@4G*~Y2x0PNhRSx8la=57Bg=j2|F)C8{DCnLqcH< zWLX4}aJcCVOI^R-&8?uWEnYR{4G?&`$_!>451jk+6t>6jY}A$HTfL-R0-D0m8$%`9 zRJ=S-M&{GJmn3{=PejDA1SIuFiOH2}H=uq}?zxl_OO?WrBDxC}f&#3?(%5I@kJ!xd0T)2XbF%4`S%RgJg=$oNt(=^$;v!Lrh17z zL>Eb1*M1tiHBVcY#k7EF#-6h!Bm+(&c zDLmM_$4xwvv<{MBOed6>|YJ+Xsa!`pC|A8?x#pikITGGWTP6>Ns4>o|r z4c5YMAWey9gBL_62mJ)*|LI(wJ$QlzqhQQ{k=}S&@(jpHn#l?3TN8ySC!E_l4`gC> zTH}mCYKn`;4bWGR0Yrlq`dkledAAw8+1aope2RN9H{WnBXeP?pXXTvfzbX4)%8*^M z5-LpVI*yCl-%B=|^tZcOG)7KvmJZHHgEU~?ILQX!srEG;lc~|XE^%%kkxjV=s#U;v zs{OiMF+{^3VdkN6c3p&Y9M&7##+oHEDBI9F&1hLI;rSkR2AILdGqxMR(nsu$17Tw4 zV?lHv?$hRkESG3;I8nPM`d`wO|J8AO{KR#P*$KO;d1qK5PA7On@Z7jNA4v}@kh=_V z(qlJ59dLLK?!8`(siYOPUihsgjz$BoG3+ZIfcJMa>Q-9INVnBDFVX&+x7pJ@ut9?= zil~WIhku6l39vMPnLRmbE?vx9NaxWQ(TzT7Hqi0;lStEJ)SWspd4&B%tJwf~N#C!{ zuZ?dVxMXkjw!NYm(Ez2x3o3Noz~r&(&*wo2#b%~_o$E+@D|cDENfat~1=*+}=$l1V zBjQ4kUq%@`?UwO-9$19PEA|Cfh~u85+m@}KU`+UV7ogFInPkMTx=TT`V8;C#M$?Dl*~vUu4;XwrIL`Rs`a&wQU|nHRQ{b%LDIKC}Do5&GS1cpAy>Wz&~=MxgJkeCQU&*ZUY&nn=?@wt?AaIDtt0 z^2KXV4e2Z;wkSz4Cp1$X8nsw(dZx#%jvo6duMuD$iE9M zy6ktK6ZM+t>){rd7A_H8I_SAsgx~LQ!n@{l+PU#}r`%_Y9!o%$!^igI^y9u2|JbI! z^HeIb+0>FxXF?JZL(CWmM1pPtl^7K0{p`R;6(b%1;u8>icZN&UNik}<_D*!UQOT@d zz0kXypM>EQzqJ@3x6&m&Ew{z$@)^Dw2m^iUSz<^)Rp3^pDF5meMvweBN|VNzlXpEp zzTGR6FYYCT}#!nUv#sYJca4{azn0hH<8}CMoNFn$)^~cofH+G;8*9)Qh-WSLLH`J_Vq=~kO+`BxOqe2lSm8ztPi+xvk`_J(yE-*% zeV%t)!8GfJYI_OiI0-=rGiWGFUg@E4bTO8VN7J=+^RNTnh<;dX?wcC8wU!Pqx|xpd z+p;-e62*HYhmA{(1!7PjI<&|u)3>gHrL50FznxQu);re{1wG&PGHP+?(>+#a+UiB- za9omJBc%;b7q`L%LuyzvG%sn$a^=-+#ov+E<5d?gBx0XQh>u(?vlwd#(wUzohdUjt z>j?Vs11$hmon){b+@{0ph8hg?4*H)bp#g2dp_-$F_Y00l6ypkFU77^?pYJ*itAZQZ zV!PF>TE3)HgTkbR`6Zl#U;AItfS5-l7y)k0_NE18VaK3y;8c*!@dTyQKh@J@N7QdC!Os5&t&bNWwc<#kH7M z11p1&J!7&@%9uAiJYHNY%2a|8>%7D;qur5$+sni$I#Yi=ug9-QI~=+#PB{IP*tX=b4y-GYD`s$cl;`Jl$0D`w#5c1 zLjwRPj6%Z2SVr;CFVTBmXR0F#V{&IIM`J{8=SV2$slfA5Hc>f>Q8vgb5)A@1N`AvEU4_56WMM$Xe9^if?Cwk`9VGxD4-fmi@tb2ow?pirzbJ=Upi7C>@zla> z|K}u}L~;K;2~LTEp3huJj@Y2=MR6fg&k24uPRCCXPr>nG ztl(cKj~?35s0>EED$x4Z*k)Ba;)|DI3*xjyW*vjHSOU0>pM(}XgEVJGEmaQ$X^JQ0$EjcO7qknAJXSb})SU)KpR3@;2T8`B6 zSLBU1=fQFd!+H+QY{HuT0LSP0aOeFY^!VTAW6SDI%mkf}E=k0e?f?7of3H{| zE%)y)`FFS3d#OWj&RfzaBM1Fc)*=*|*pGyxVP$fCP=)VMEoz2?kyhP0)62b`p^XMx zy`pD=*AdmV<%X64g5r)>r}UfJ#{|Ctf-1YV!j(%~5hHBCe3a%HwW$V@~S!jg&Ev*9#xHGgxL{p8$9Yjv0yD@lVT-{qd< zGK<4ROd~As@hpONXc;XR?m`*+U%S$E1rK& z2)}Q(Qr&6Eb&ALBC-Gk7LLt!SeOA;j6)cP<8nUt{sCR-ap8d9=>ghYsdKC=Wr5KuN z$8r3F^e~%hV(p5Yit3Ky3i8jY*L#F|MO+NT!abNA3Zh zxyz<78G)oV`t3$_{pLr-f4ZSE#--`G zNY`2;IT*1F<1aiCFeiBTk1?zdzmR|eQJnOp(-C-E9wvTOzTw%wa+J4|x<6uD_;IEK zOw*%2IZC_rd{g>lmktRT3bFmujk?C8{R4QkW-d`YlvTAoZb8mnePs(EBLP80HRr(d ztzuhgXu$*t3A@Lik_6#_CFCmyyw4!Lv=9(x;G z8GoSOmlY!DHE1P9Sm#&mwqnETi{df=n{L}3sw>Rpi>52k8%Ew#om*olpCQeLOU#5K zoN>@}doDU*VdLK>z$sU0S)QR&S+EmpR9fJ;pdw3hJ+0mFCa4pfWI#NJ$0k>R=1Vqv zhL0J`c^3PrT6UJ=EeH8v5zv?#SPNlUCR^pd%TPw#hF{%WuGK6h@-+51=7yxsMwn4p zHqDLdaIW?v4SVk4jIib*R)Lm-A>1XBtv=b<*Xfu+5@jGv#`*PJrthC>Y0w`X^rzvK z1YysYFUcLjRv0!a&CUZhEKOAa4|8p@#CHYqWh}Junzvec0&RZ|f z3C9NndnOw0_*}KDo30vQ^Q-W~@3#aXE6xgdAGGURa47^?740(oc<2W#SB(r zq=iJ#_uh2%p#=Vbfm^zULIk+Jd~X($0nWc120fnCev1pSayg|QJII90E7#{eTv}QV{svHJbBS0A`bz& zQQxAzt;Vzu+7JQ#C%y63UZ_rM zqM`-`ZJCK04XCC!*scA=>Rk<$@`v&l-HSRhj9%2}`BWW%dgJO^X=kJM&qWvr;c;wk z2r?aaq^i!Z`_IU45@5A=VRwUmgl-!R()o+V(W-X`7^WV4p=UDHz~~wffhvr6F7QVm z`Ti_9TZh}gAIb!-Zi9r1++@MqV4KFwMsB;LZfbhd8cq)3J5+uGTm(cEc;^f+W%hO6 zq`v~kbkGd|YeA?Aw-m+x;8-LKrf~_3M#Wbr&zBnnjg|Uz=KF2EE*}^Mu|L_WU=J!O zSV6bAZqVbUI^(tlPjH9ca2%azR0=dnhbcc|<9QQ8f<^&3r(sN*wS!+7en6<+h=kVa zo-_Rvkmoqk3_{CdWLz=Q17c*V14c0+Ae`pPgfe(Pd>i(@@MMW>$PM`)phe71@g+!?-=cs&Tw25?YF>dXDK=bq#HAa zeWB-H8;TfrK|?F=_)Gek#?ht$q2Kkm92hzPFE#WH1uu2ySmn3035R<-nKzRt;|LQA zT_bv`&B$mvOm`a_9+lS`VBVq@y}K~C;9TKlt--mE1fDOKY}>L~gg?(T#yDH~(vd$4 z;MJfEo$da2eQ%U*>kd8|Un=kJv5Lfg@wAjjHma1a<%m^lLy_YvFZ0Vv^I(I7?rJ~) zGiYOoQ0aodIGh3NQQhHSd)3$Iz3G$Oj-uQ_|ha-`vN$9t6-E&+gKlvuedfmo_ ziwS!a&+Vi=5!Vq##*$$-&Ewmhhu{W+yRl^oFO;{@dtUjIWKaU{w<2_N z+dE)z91^yP?yYux&~vTQ`~ysK=Gd9e)BuT+Zma@{@&AdUVeK*J4N2tg7Y)jHMqsgM z#^+&tG-cWs3~|E0m8idK!^_ClQ~3J=z#VD!V$$E#iM{z~h(TpfP-o85 zH|PrGP~O2l7;G*ZHu~kVjAf6}1z^1An~~oNPP|yR!o2svSd}`O5T~;`LAmImREnsr ztkUp?%jPNP$Ko(Z*DP{ikW#()9n;XcWe?kw-GUNgHkd+(&^G!4D#K7>Ui3hQ03Qld zYnXixD4k+)SD8hl^|2VYz?K_ysa+etEkjej(QB#}1E4~*#T^k=k^UOqd`t%8@JuSrhZ=XQry z?`cjj=^nG}QLxFN<+b^gr^E)@%cYhnE@h+wj3S;LkU3y3X65AP%T==Isp)2&by*8I zS6F=*Q;kJ&yJ32cDox9g;405(=&Ulp`d(Kna_mhMxU}9xIMW`+N zTUnGcvoPjMHR^M4Wu;h9eXqkzNQv;s2fNeP&6M4BqHyDXwmYl^7&Car0rLzg=ZwYy z@C?FYhm^6EoPa<#idC`?H6Ni@ z0(rJKEVHFcvE8bEDl3R6u37y$rJB?4F?|H`6r>fL*tO z1u!dXGS)ksAD0H-6Sq@LJVgER!W`niP}R>umD?iBSliSwM9KceuEX}X=gs%+v@KSjT-8qkg4e-l z^Wf~ot&1~Mm9tl-#J*qY1iUa4pd?^xvrbma24ucVzp>wU)aab6w(_YbnYec)rj08z zscYI0*W=jZalX9^={#s@>lq+O&bfS3?W zi<`BmuKb)v+}S1!z<8Zxhu}l)j_|vboeS}!+ z2!HS&5756{B$ubhP~opdtY?hb)K74pj{c-~>9_CdZvw+IvnMv0djFS5cH7}loZIkLCq6?X>qRI$2)jf&bR&BF=y-f)I z!Uwr39Zs}TT|PePWSXx^hRdPCDxB|6>sbUdxt*Wr~7ZaSq zP{e8Gv{6A&(52^$AbvwXXbAcZOryu|b{i0;nI5_un)uB(yFS0a64#GDV%*2X7|D?G zCYT&{3P^*Gc-KCZ#m#H*9FjXVR)ty~bsSG^{-gECbB6_|OsHoo%e4Zis1jcg9K?#{ zY~0%A$tCN!3}__Cdy;MzTzzMj4W1>tEw;-zj*2YpyFD<)I31O5^@1@ZD9q>eA>teW zc3;SZ5t|d*6%n-)O^UtM${auCq5lp`aA=0r2XLS{$=J1j2JP%pU|6fb{2XA%gk!Y^ zp|=WZ@*Y{kCCG;QkIGT@iBjIqdh0hQ+AYS~ww-4t1E!mxV z>4)N+dy!}-W#SLGf7dblXiuMU8mOD_QGw?5%63|v==w-`t+;Y}79o-gfLUP&3hFFh4PvQ%6 z&<+Vts9APeU|Bp(_2ryQWfc9owOybCoBQppsSL4n!3&!!VLBiK)5?&U&T?670hTjZ zt*|-GM2lcDJLFKD5CyQVh_Jb}>EpqD^G`g%cfsh`COoh&XAAtSAZxIBTZFOSVA%Ce z-`0)h`yQBKjHyd;CQf=6%iqKHS_zgo;EU}16f`R7($EE_5~4wq^}nYvbo`H^I2^b5 z1YSaE7$*H>x=14&$s!y-*2rkT02KC%;bMNsPvn>f8s>9|o#DzbH~vK5;}V}IgfbU<kP+4}`YN(r?Y9WXO|0%?FhG*FKmy#JZ@TNUxts@S0VKx9?TAu` z5Uyfm3g!??DqV_`9rvxU z0WkBK^>C;S(n7+af}0M-DQ49)s>>8>|N@{N(3tDRRMDwBNfa0Rts>!j?Q zO6@8K;rbU~+=}!Cq({eU07q=GpQHOvH=-6YYf+?L)uvRXH8^wrXA{Z?eXL0M>>~rGkBRs3@i)t{y{4u z24MaZ_tsR=8U6J>GQU`9E3sltwnqVMOsLmd>sLp6Pn-PRM@GGs*=ecsUmv4 zZz^x#-^ID3zqk*RDi(EXIEOdz@mZhKN(RD@$d&5Z(r0<2o&{^Fd?WcU z-+l?UUfJs(C;dQ@ol@2m{^3A9FSxFVSDfx$H@uu|Q0l-ChsLY{81{sQ-UD|!ShWY% z-jxo3cPZ;QIW`71a{o%tdqTjHajTdci%6uz0D1C-S{>>6o5LaHucAaAUxg}RX0%~! zcE@I`W;Bs-L__9S4`r0q;Mk<^*$mHCgnazryxjL5QXk{X*TJzXgdY$W$mrDn!MoGO zkQnI&Y0%UFEh&!;PUN1K`rC^^-t+EXasfU&xLQ|at;s9S+{v=Xf-(&etzh2mq*u@R z`Pza}NvD&#L&8QR=QO@*V%^;zXX!ht-boR(cSmDegOPwFh{W6GSf625C#)LYEH!znNQ{}px?L3MUfvknsc z!y&jI+}+&{8V>Ff+%-T5yusbw9fAgTcRRRSu%N*$_|Lud*PY(MuG*_=k9)AYpVcZa zqd#7sq(M1;dtj?J)~27<+lX9>x}!Iq7X>6TWNK zeBO>8jea?k-H)6`M1TVw<1LZ!eE5wF0z#$&LmmB2AalyH@u6nB=}A$%=i`k=vVdpJ zetzZWuuji8-S9`Je}xs_tGs{IK0li?cFuS}3qP$c3UggKdIY+4?W*dEEbdq>8td`4 zC?Mctm@^0P!^9nd*bc5A%!wZ3J-_glj8<6L4{lbjs~nlnIRbr~D@|2A<6s(*KEmG& z3Z^l>(+f0^oTmA*-_CMY+L%tPzpT!kKC8&T>@U;d5^$kw-iKU)u%2lZz*sV_Z_3|1 zkqbvMk^MGX>HfwETq1qeutm@~hf^^0Xtmi`sR6U+$7u`7G2ErdIh%@Y`E<|d^ZnP` ze{hf9v6NMOb^)NlPEqBI!sO(=eGcR5HB&!aou5bQbTiblOLUtm7$t`8$k}zxbpEuJ zBD)d>OHC2ForBE$!d0!u*Qu7UxU;eg_Mkx^upm{&<9HSV15yh4uGdH_Qyh zuV$Q&dfLGHWj^DQX4gi7fHP!RSsw~F()li=26=jLg7Y(OkexU`sDF4#56!2xnHu8t z%DO6D9urpgY5&q#&QFJO>58M`BQ%HXEez*SS+2w^s*IeC$i#lb z(JhGE?Yiq!Kb*3xT14(*Lh!#Trgvuq3@V}?Gyu}TL&&G|f2w!S!%~VueXg9~;4yR0 z3>qJB|Cz0%h6ZAc6k4kIGu8K>`5hH?HI-e{mc`AjjgADQWWij%7~%yU*8x0kd*U52 z0c$<+v*Cwg;0=XEZks=h{Y7}j;b+s-?Kwi#08D_yz8eih{ zWB>u$EUlW!?z*Eec>>2DARlX70c5ebGSWSBhgY>t6fMaxoZn33TZC5fX_fLw;?qBB z^(0wkt5*?mhGr7vV4y6v-WhHZ2++=TGW(8^n6QEdw{dvni*{=1BN1#45~1+E4*JvV z0djsYg-iiDe^e)2wz!OQD(TvQsAof^DBzTRHEF^dJRAH~Jyw_EXq2ECb0xhz(N6ZlQw{bI^2Ha}$q3f?H9_OAgpyea>RVwCcR9i#^nlGE z#@R|R%|1~x)Nl5m0UxfUkY8Ko6#gzHLpY`K@e%uqOpysee4BF;ZJbcq%i4oC=D8H| zDDOyIMH_8DVxQ2?!Mci=hmmw(G#)doSV(K)45B0AN^i(QX{Lv6dP&~ihgA|MXTq9M z*)J`S{JujR*Bh5zOLr;sYv#WkcYvm9x=;qhd7RZXRet{aN44fix#i=&z?}lw4%JVZH2Ir}@NffHMk)G`N{_shV6!&ATK}y)LuZ&X@rCjsP zxxYPNL3>m~tR-{yyby2BM;_dwKBzaa7UQsBxaRG!!`~X!5J`ww+@8Wv5Cdd07K=6X zrDTrvWS(S05|2HBsr;nvjSXyPtb+mH8A>c&0S5 zc0b2gqQ>bOHj_LMTf-H_z5P3-VrZCcQfpc+U^X8+d<*g*nO}wQIjG_^-)tqAjRW}4 z%w%D=X}lKfG|)8jnog?DGJ!o>rW66WkK3ya0U+TLob1?Xq6cHk$PoMHjUdF0cjMU) zjnWn|Cji>)UA57L%WRETaecg?@g;6I#z>!E$j{a}q?K`PZ16EI5#GxP(zLsy9`^$y z9Zz4hH!3r?BJ-jDCz<|i{;r?ME;*%*<&TYYZnR&(v?Hb(J`E|_k|q;X$_fhL;_ zPKdB6v`OFaKx4D8Pu&uUS+}>2B(>y|wuk~z8&Jdgv-8kui8vFT3};j~G-9OAc|x?c z1aiEi-JR}TK}wLaA3zmB?8UB9oni+6xx|Sv+ISs6;zr^H4{YEJPgEmCY~>EgkQ?7rS*{$)s>szG5uK;K}? z7^kUor5&nXOWmi=<&Q>p19p8PAy)MZrOrrG)Bi*U&A%xV7WkTaC` z4LKie_Etxv{{ce8k{PJgAMd(MH7Mqkg<&nzj$B2aY_o`HtItiVKK?=7ePE(tr&8R- zqDl*ZpzvpV%gpd$-m1pR7^8MQWsTw0@_0TV^?g*iiDYM(n zj%?I1Gi#%0mmk;iBlB{S<3HUM#|b^{8xZR|kVIgHCJx+$%CtTVQG(>s@2Nz_gHsR0zWt z!bb(^?aPDajnal5RNprcJjPLqdEo3D4yQWRpdKv}&gXJbw~%}>=(*n`+Z2V-=>G;r zEm8$)5Ya+|>=B!T?2%N7-iz$tQA2v*)ZoYs2VD1d)?Ltjs-%=x{X{{_8}P(A42#O8 zcp;HCv?%=LLDvl7?iY~W%?w^x+?KM`*;K)tWYx6N{9~xQvXLgs(>7W=Q^wKDBgo6U zJd`%%y+E+xl}fyuY2y3E0H?~X(gs4o{d*7dtG#tYOnGhDjO+{#-zr1jtUCy>w<12p zG4w5zs*9$6PLkYJDy&D3UW!(`=@-(29+9e^=o}CkZOFD^8?qkIPCMnQ;~c=?1NOnZtZyzr^Q z(2=Wj;@WTp7wUTXjhMyq@EnU`9v&*bG+FF4T1%W-X%Xq{LJ#>(Xqunj{29S+=T zElP%c7%5ey=A_AR4#<8Ip$xg5~9|>qVWui>Q=`$n1 zQT;<^jeJ6@ml4RagS(`^R8q=1sWK_#0T`CPi+FhD!jUa*^*=VzTMx}va7&dioLtJ5 zJ-+sFlcA(ggW?h4IAA8;g|j%q(iUu zPV)bpV#N5Ia6SJ0MWjur6%>(wI7NrLO7`2RnY_K6>uj+quL94{ZgZQU4S_Bx=={G~ zs^ZXDn)>j1+VqP`Fg{nm#TR-9t=ybOUH^Jsrq%|Q3POj1V&AWvn?5tjnS29hr|rs5 zbx*<$o0B6342apO@L1g$G`3@-&rz!(uJuKd*SGF1c}=qi7RVTiLG5Dw|7?%6Lv-q8 zUmf>f8aRp^{s9e&D0TYuVMtzYHot^y{95kqn_E5EbCl?O=n8jj5)sGViiLoZ#qLBKk>Xw;opw);2!!x%cTyFrhG z>zmC;hWNTUQQy0k8SVZukxca`9syrZ7!|fHcad?lXb+~Uo7B>Czmq%jNknoR`S1!1 zQKB)eCJxI372iBE7ohC&MomiJO)wcY8A((Vd0asu&+Pf4~TW4Q2yVy*(u8xK-<<7drso6%>a{ z-Sc9vfMvAwm;pFw|B2U9Qk?v^Wh^s{ZHno z84%h|w}cKBm`iqn=?fD_Zx(wmifS!OH%L>+^-8nvZVz8>Oe7z<;_;Z@AY(0hC}jA< zJ%eKB{jIMW=f>iDkwaUtz(>|~=+Yh;;YX5V;5Pc z&u|g%%2IY==jGGPjGvUGK${CUAyhCA7-N7RGh6U2zQvT@Bhg)9eUpHUdg$Up1cUl!0a6js}d8m+8yZw8N$$Gxs z4aLamSl`>*?w%iAv9aURR#Y(p)bHq8A8b7q934~E4fI9TvX&O0xm(9Rc3Gs=ugTdW zj>ed$sfACWsp3t%71V0qniujlEB?@7C;)}eG8HG%llQo*jv`ODL%(AAf_VMrJ#!{YnZbZ)ylDs)?f|Z<;l3~^DLvGVN*i&b>btGm9&d3 zb#b39^>w_s`~CK*tn%jAL9_TTb}LFY5|mkc)SOZO597D8`GVW#@1vaSPI3oSLYtTb z!wm&HHjD{3wX*wPOQqZDC(W#KdtY_1F2=_Bw0Djl+y1j^{q{U*u<`ci7-)Tb!_mgj zJ~%cA`d4l6vVC@zXzb+Z>hZ+mdF#z`)i+tqsBQdQZs?I5iP!-IeB+>#I}z)LYTH$` zJT%_q?jHR8bI)|{*V@~S!Fs+O+CSRc`m%n^#NU5ogqucgrqxj?_x|5T_ldJj81RVY zE?Urv9c?uH<`ZjN+I=IjKheBuTcX|l+HtDx?6AwJ_!^Xc9q zH=gS|&6?0a{*M;;$diXlKL7(TV3%bl6gQa&Iv^xrf*eZ^Gk*5{=w{?_i9=C{s6{)_ z;`HvxEk0bi34r@)6RD2|hqi*5z>|XT5U1UALYA}4WMn^6xA~uvM|YH@)8~l18}m#{ zt_hbvU2YS}*C9m#cWc>vn+Gt!bN|gll0R6o1TWlh7g-QEKz#O&rzMb&cyEDU)3X?t zZ$NUQ6P8G)y}}i>l)N2Pi;Xmmv*uWJ_o^Kir{w{eQ9VlgvNEJ_0~(3gib9P2(*XpM zlqv;eIz%aGZl_h24$O^HaE&NisQs*h{|wYq#~+1mS6_rW^Iy8QIM>LwLL?AeSq#-c z^3Zs+Q8obnxaTVcJ5f^+h`x)u=Bza8$CHRXeVq_q8g(pe6mN|a?6(#J|Aj1`D5Kj~ zYjsZ(veY!5Opu8PqmIrXwo-(Re#q*NX;(1&AZ+2VF%ok;lpR#*g06EhzJATaC?~Jg zhw6u0D^*jh=+kQdSjp>yXhXN9tHWcsNd?xNN10?9R{xH>kBf-tmpkMIG#Yp_ zr`rs`)U0<<4>HiYz@X4EO!{FY>Euot9_*_YCCif)`G#d|-z zXM~MRWQr<>^y$0Wg0Nu`kx(kC>1mD!>dix=lc+lp(KuD}q8VJo_c8Pc2kCPt>T^TU zQ~@a^FzXeC7pbcF-ppiTO&QG?nFYf?=PfVXXrZ}t+ju-w{Q#~b{V;h7rSRr*bAmwY zKdQFW1w>YulNUM1E#DMx$rw(TJNiT@wCuiT4oNU z!G`-jHrLd`e|PwEx=Z$q<&jqi196;UTb4i*RZ?*}0Ya5gq^m5GEi?coN(e)PxF zKt(&@RJ#NuazJO8b>N?Xsa26*lhPi)sJs?_e7-4dL2!3#Od8vd<0!Ov@B5nRIvmD} zG{fGKplGWCCcB8IG;Ng{VQzvrM1(2Nz+Rmzj;@M)iO-=Jo4S!OghyrUA5F?lPAd*Q zbHvIy8qBRym?O{h}f^iYN2yg_0t!|JR8`?M#U`TG3%TXK}*uydm6I6;Px*#mZ64 zI#eJR$$moLhHOLuDAinZkKf|_Rn{F48-3!rN4yhh(tN!kZ!=d~#+#ARuHd4gF~iL} zFnI5516-#9v~8|CuV0gAV8QB~rJ+Xf3aSAcwApdj?4ArZ)~T_2Gd0&%gIX!NehGYL z=CYN@BQJ;F-#KHjzu^zfUy4HD00V4szay;ufZ)cIX!V~TlIDUxla=4uRMVd&gFzdN z4*f1YeSlZc&E(#P2!=}NH%`|xPS+R~0(Ac=z+3#Vq>HI8ftSK=PW(44)*xqJ**$VP zq0|vL%x=`Q^bVa9-To45t!sBV=|A%0x_A-p9voatadR1cyZ+2{iewV$VsG96=!#qm za)mGx$!slu_QB0_Xb%!izS!pm)Z)|p^$ei|ym2^nx5|n7ro?5EF@mFPF#J=s3xBX1 zpc)dN6pz=n)e_Wig=Epp+1XCTV*_`U&toO66WzTBcR`RbuxQ`dUmds97q;7wh^zE1 zOTq&VKQzal##B0OjDPOo0Xu*ya`BXC&T>-&K1JrZJtj~`WR16`L^-eW&rb)`Br;PG z1W+;{O#c|6WNnacc=6$=2p6Gb36I^I zCFIXnRe5fg8Dc#w0so3KE#9pOgLNB~MOgJSA&Z)+_Vn_7&mb6^PX@*jtjoi&cf(QH z6ovSfwM#nWaUP}rv4gSb^qnQKD8)y91oU28ViD#O2THGA()!B?BR;uCq1WTr0QM^v z*pN>_!n$>Bc8QtL`uK_K9?mZxEsDw755wj23l8d|Yce!g7e|O;yS1uOQlxIjsWs(? zC>uff@B$LOe=Jm}T`*3A`X#}fvn1+yTI}a-OeV%UNDcU4XxvR$Q^aI>4%J0@HyP7Q zfuLFDiDV&t5-xRvX|+n*#dXoy+kidk#J02gn=qsQSFuB`I7qNY z_OTGh^?gTTeO5n-J##)j?x#jBs9G+sbYwt$LLmt;^1b;hTU;EzOI9)*(AL9@_Ed*| zeYl_L3q42C0Z$X_9CB7_>;|MuDYgoicmA|;OORWa7quY08i79;6wNLor=t&M9=dwF zO4?4r?=}96%ScR#_uE2oVg$zp_cKu=dMGt=48hEHPeh_&Q@%#Nh+{ihC+ri#jyZPp zNQ@g(E~kj=+K5{Aa}F06h^^;dk{rQ^M|9gzD!)rO*#g=nJ#wbT4JH@le;30h#Xmd2 zSmeNhDpDMN^~LAlekh*!qTr9?!jq(V0nVwygA+MV zUY_q{^Z?sB7pI6lM2 zjyUaq_cMKh>`FdAeB7~vjUxo>tR^6o6m)s}L7T~;5`zSh0X2#6r2QT2v~N;Q%0WyK zV4}BM;Gf0$6Q3suI5G+Q+!>KH36qg+JA=H6uu?+fJJZ)&bZmJNlL$GwDu0Zy5-~C% z(V9$#QE94*gX>f5Sdug7j!d&9oUV;!Hm|$BMfC$WbTV4CC38*w4^cUGl{&H6(ddv5 z{oX4QWIg?NMk4d^Jmqo-kfK`1q@mi_HWjqsgT8jogXa)%Nwm$x=iv>g@g-Q`R}ocI z*ZwOPjq$b3zRIU+)7K|{&#FG{=CBC16#mEtRV``sn z$ViIml@7eZPfVoV*B^XDl~rwK#4@RS%#UhdI?Zn`Rj*H@UWmQlUk)(+6UKT8#)WL) zAsi12p=JVyBE-E1=uSoNF=7o6;T6IzN|J5EpqoE*!LAIPdZ09mv-6x^apU|k#O;Hh zt%#3on}&R9@X6O`-PDwmD=$i1&};?c_)^2|*wwNryh1EHc_+g!$(Ac|b(B-ewX3+9 zPfC$H#h%L&|6LQnMmVXd$osL9r{}*5nf|;%iv?gP&N_Z8xcA`B67{Y&8fh)oHMaK+ zv9CFr@RO(!UeX?Bitp;^Tt0v@;l{J*8BA&O>ATU(>4Rvk_rvjKVX4^0x9``Vsw|y~ zTOT(X?L@hk(0sVxa?|$4oeq9g1phr=T98CpII+!es`fKfZXX=C*)yv!mh_!|I!iT% z=mX!M*4_r*@js{Ptucd|Ix(B%7Ps_4ZQu0_iLrdONay zv7FYe^S!&-7R!A@S=r|)Q0AJk1Y`=L?PQ*QZV;2l#8UKd=opzz83lDdwex*7-azzW zBd_ElOGFI~`E7c2R!3s=C6ht8yk+M5vNJ&D#GcKA;D#2j6uJ4f@hPf1>>b(g^1UB) z!=A`)6ty4;2O;_`^|-0cFz@YXu;6PVgXkM&PpebH78<2Dv(fI`&gu6hx_dbqiy-t5i!np^5iITVR>xeZ;yAa@X^ zp%gW;(|4D|UxTn_Z;RYzHQ_<^BsSBAK@StZcx$y!+04!Q`*-0u8yp2`^w)?JN%ryi zY=M(>J!FaD!r+-(i)1#ciY1J<>lw%65yBS=8@vy;gS`Q6{QgV|2{E9VNvJCUaEaQjlSP_8Yq3OTi2C@hZn)<7o1q^68jK#a;Pjfu>QZCXf%g|9szSr8r^ z+=&!E0Fev|%BEO9KiN+`2VUQN_Sd<%h6t|NER{Z(i5KAFC&EI&b)(D>m2!DxWciGw z-cD!PDJ{1OX6!)l1~9LOJ`Nw=j~i@&N@8YuY-CH5o788{N@U`$K+P3~I_IuJ&87Qo zAoS>hJAsD5q!LQ8_@rx>p-7!Vs6Hx%uo8Al$`KZu%Pl{jtr_TqyGJ2dUarmP4U(Y5z6CU{&;!htbA(p&0xSp_f=RuK0G_i?_zA+i+z@mhe(epa z^w|poh}`k0@bc1( zqR`oOSY1Ha5L<@6%6@;>OPMQ-t~`GHU`;OVf;Ele2&4|}Zi$0uF^-l$Tq_w`6kJKc zv~B)dt1!6|pmHc8Re|0h5Y}b5$EonMoX_hhwr#m@Xtw552G0G?ugkRm!S$?Tfw3ab z8*fyXeiP4P&a@)?IQq3N@GnjK$Ol52_EECB)W3mTe)8np@CV@NSwDU!GDgxLnG^J+ zL2K;!+-ROR?XyVh`hkyQXbDg}gtJJ!#}!CPCyM=fdB9#&xIG;E$Gc9BQ0y?2BRl W`pT9XA%RMP%*}xU0?DY#qWlkw=e7O- delta 57882 zcmV(!K;^%YgDtazEs!MvGn26lD3MMxe=(`bg_!B->F(+2=kS}GH(!05l#3#)iYQ*( z+%2L-QRZQ?xTzOE2j3k!yIiMv7L+UbCQ+O(*GZh@!DY8|owbAOcCz;IVREhe%}lQE z6vqsc+cuyP2ex1S{pP!`zAYD3SZ$IGF)OQZv&k0gv{Lt z8CWw2z;!|-DP~miDok<+&f7(*We$d3vhq~2S5mBnz&eh?DzAjhUs;MK6t+>clEH_b zA=xwJ3KSvXw3lfT{q)mHP~v~Zr7(-DMI3{6o)Ehjhb=aXb(MviEEjg4AZ%+VJFIV) zc@>z^(x+aovp5ef`Y(21@XiwCf2F1gXX<6;efz+u*dhymUdDmDv%pt?s1O1rVN#?x zbskokNb#fNy|%IAD9G2g8~Z^>f3VYIKirRJ6c|TzCR}6!Vo@s8-Zf5i^1Z3|q@zPC zig{lT)+(7eT5Mo@Y02i0gk@4K(r^>2Ud(G|Sy)1!>lxC@vl$$lD_H!&e~w#Xxp&nR}L~1!5%lj9?%H*+BALZ?eIjPBIhgl z-{&vGIEzo%nXVSfpUuPG&~g90%!-5#&C0mw57Plc3=U@Wnrj?^R`psBBIwPcd`+zZ!fQIe?G3SZ^ZxJcjM%y!(=&%6u}QypJiba7nzJMK777j$?%8H z!Qe+XJqdPyC-85VMG*|-+NRs??fRl`m0}ruW1G8vm{w;nITpOuV_KÐorC=5cVH z#+xu>2LUimyaD8qB3CoyG)$mCrS^H5=U|AREst;*`qCYh6gcFIf4IRhqs%yFyp`cE zQJi(AkqIk-9GoVDQqBG!s%OrXWO0~A#j{1{v0%ZdN+<{6m`@+&91PdVCM+uriZ^@M zags+t+m91QSrxdJA~fR7Fc}2GDwqW0Vd!rg+bU8gKqFIx84WQ6^dW{;5Ms!DAD2w= zUJyv*4_ZE6lI2ZINJx28k-YOQ3;l>nP#W@6Se zVgu#6*$LJE`WJ~WeZHmIj*_QvG+d4QLLnDdgT*I7)s%p{j)OzPw?O!hdnd{eESTeA z5L(!RnIfhvUmq!y)G}x;PHB6i!`5{qojZFuVwXjJw6UasFT;^S0spuxH-VzyP^w3^ zVIYnN5ng6|N5Gq3r9if(X~>vq{7EGBg$0TVUATCuXeRoyNO~bZIPt~PJ&|F@;+dbA zlh_0^f1GA7a@6D30%FzDV6Zz0n4rMqNeT%|7I!+Gu_zX@C^_;D6xGrKZhp8G4vy@q z7N8R91s^EFZIo3JxF}T^47|cBRTw~?8E`t;c6vN4nN~sovCzm!c%2^Eo(o|VU(*Vf zbu~4!BRUz$&BfVUWS8e|-_8apW4zY#gm<#KGp2f|q3SypWVz zuKgPI**PDh^4P~ShiVOo;Kyw_A5st`1Eq4-`#%9&QE|=14yr9RbH-N`5hn4m$$Nw> z9)r%&sR`QHFIqP8M!s~+M~#~Gp;1J+qw#lVEX!;Wgxmy$k%w1FaQW**;Y4@|XmqFA z2O*gKRhu4?lMn_ce=Gh~7+$AYLKjJcG(ajIWyF__rET9np!ObF-+(_lu0gOe_N^6I zk4qQ?c;Xk(jZ`1WtondF33{umdoo=?ycH1Wk*(-t0f1~G0%4d~puG{Np145SY zXHOT@dPbELo=J*ri**)-aD3TDku{D{!o2U6DXx8BdkpHscHYs>h=>`Uv}5A_WdyB@ zQ91q``ok!2+{ml80H4hWn;Hsy}q)Ni%h4!iM8veak8!MrMz%;d37x% z8$mQWLi7H1e^^5*=DfXtF^NkMaZU5E*S#5PzBMyg51|}g#lem|st9Z+Qy8LRa8Jx$ zq5ve-*cVj81P(s<&9M)%9qpPKcDk`U)};lTjUXV5srT>!)a_NTL^av?_^_hcb9Sbc zXFH`8s)DIt;bt524<{TUHZ#SxlWN!l-rYY@Tx@Fhf13cYo4fXo8V8zcDtRE3AX3NawSvN73#M;uB3deOAsn?sr=F^mq1kIQV67t z@8p96$N;uDA_I;xqr5=hu{A<(gP27ccwE!16@g5|Iibfh;;X*N>XPGq;YMI41WO^= z&T1?IG{&vZei(0A|0mYRnV1MkM8l}(7X}PW=R+D1-4Fd?rzjfHC%4{H6-S`K)UH2g zEU&Dc6q9BMGJnuC-MwN>{W)z5ksN`ZU-(G%D*eOJSDdp1awQc@+9Nd8ZMxK zAYDGC#O_`oeCmQ~o=^Z1!hmyU%_K$oe5a8q8y6EdwK8W_5bcATxDh&Y6_VgmsY>v9 ze1BHC^MXQe4>%{he~ZkP!{Y`G$1 zrPfe@57N$zbndfPlg|kyf5S)K%cHYS`&L$r?4Y)odo|dY94;#T;jk<{FInXo$sZlR zT)G*(emU*4d{x9S4kohT;izE?S)FjQQO)He%>Zs$w| z&N;Sj)b}#_>p%p}&=YPg>Ts>L7H3Kh4l6ljO|9~1+*!+=AB}yMf1ojiUj9;b&vl2) zy`A%3AGl;n_CsG^)^ksE+yu#1x_)|RE6=cgT`VR4y;#a}ZZqjS9w!GW1SMJCQk zpx0S-w(&{E&!%!hTPfU{39S_SeJGHdy+`qDJdtvZH=Z%M=SR3=_6S$#BV4JEa4$M- zr`>vMd`1CK8h0xze~0cE@p@k8nb<|WAHWausfSQNR}*)*;BJP z(HByJ%yI-*K>)$v27AZ;L%7GiqkKC{7GPL&u@V!snx7&MU zSk|O^QNhmW9W9mBzjuTUb#+@xUiwcHYE)-#DXSbgXIdl1f9dgGC$y|hFUQE{)-M$5 zLsuK>mV^&g6-cY&oNcC;zCJcr9MjGgsM1z@aS)e}?|S}GFP}Yf(gN!pi0``^UcC|w z=?XAl^Vg2AF%Js7lkdp?+;k$Z)C0nz@;RQcxF93gEg#*=M71J?>YK}(H~)MS<22DC z_J4eqDg7(Bf7rHfe*Sy3sIi3OhDlZ}9vQJ+WN{g0DQ#;O*Khvv<{SFMHq91j?23Z_ z$Ecz(MqDU1;ii1~FV)G*e-@_HjV56kYfE_14=AGarLn7zf8?6OwC@Kly7J%>xwrXR z7Vi09Ncx*Ctmz-NG}3?A=q2g*h(cf1cZf*@pKN$H7@X-$lPC^1^tZ|e@hnq8Vy~h9 z07`i)BA1aw2NRQ;3>E=5ld%jae|1`0v)eWfe($e1Z>ux4Ro!KGA9mU_*`~L2nls(q z+3o{v)3!FU)ts>Q=Gs@6>QB>Ge{G{Qrt7PH zO+4bjwvYdN`tFNYn};|Gx6xL1+ib(4$R5^t6mDYd*|(4DB8~&Me@r&P*&YV|o-wBG zZPyU{KX}E~&q~-{l)%}>wVeY{HTo5Xy5*1F1Gv)hHi2T8SEmeWD`&kj7zLMB=nj7W z=733m=8p#5$Qg#{Ol4sCe~Ki+b)1CTTrXrB+nt^tH)#+)uJdgfyutZ-qt4WibhZ^Q zY>2PL6H)%QD{fUm_ycVkJotc@tYFfB6e`%Fce}kfGr9&qQ6eJ-ap;eoV6C~SqmIoEx=pY_ruqtPuu^l>0j(llz5vRK8 zO-LO^)(VgI!?kX!9)P=&_{Dk&fK4;0y=ZXi{F)oo2{;~;y^!gJOE-E$2TPMoZ8#yZ z$V*BXiVBAnaJoo4cGh4f(TkQUm^TG)4gbJ8P#tLNe}kBhl9uv7v{-f4OTAXag?v+- zERh>@_QWoO&*eA^p^+b(EH7|Kp0qUUFx5NEmSJ8ztLa1%ycysl^Ee(^khon7$OnN+ z{YSrGQSfMgANV4|**2&C90GW)2efA5CwFQXFH59psfSHBnkfJ|bz6qtS9J}lJyzN) z9Jqsvf0l4jCdI}|wgsnE6a%gqrGd*9~!uR59HSqhIG7YQ5ro-i{ z-tPOMv+#oTEKbF@D4cv8g_A73i^A++6q6wCe^z3#_#^Ifq31}HHyJZ*ZYc6 zgiJ288BHukovz ze^f@MOgdXFxy*b2BvMXzY&&F_HN93qnFgZ|P$!8igrKcY9Y)y-h z)c%`=6mkoT<#BXufndKOfT!gI^`>fmLVaiy{%wtIm0>N&PFEIsqZ4al}w_-1} zNMg$ZWi>BbQh5|FSHrfpWVe!re{J&MXSwH#H-KiF00lS?ZtkK8b0unZeCvQawu8KK zG(|MaeKgA_(dEoB_1DiKS#L^A^`)^cfx^ct>y@rREvq|L+`UKlDqO< zOqimlqz5(2xkSFqNVWr1FsO(K_15psKsqNsAhfh{3`U59`8R?oe-uC^WUa-#A;+;Zb=F&Z_CQ>H|o*X);TuZ1VS`4i$m zMpQ%XDe#&TmY<5jIji{otQ|0#Bj#4lZ}-0H&x`R_U2~h=#nBMRS5-rmp!6bFz|bQ| zY5hSewi8gDCe_kDe{jl;(;uE3I>Tyw-zZ*8geGtXnW2Y;+s?i{RsQ)~5c#pyCeU%v zWQ*q7$9Sg=Ar5Xlj`qm8LJ^{`oTbyoGI3A0;l^`MNC0u1N5L=;`$q)nEic{1gb;cTqUz?6GFXLPbn6Mhk~Wjever?-anZ<8CkxW6jBU%PZRxY7qV<7 zQlUH0$dgXkf9dh$TcZnOcFe%OHqMP@-}L+b+}ZKdUi-RBsynq^C6D(umB;*t3Ul?i zH29Uh*f=WRrA5{%ExqfS0Sonh->R)KC@R~Ew5twNlB2f`-`&6h<&+gAp0~(Ac0re< z@cDlwrR#=R&!u0DnJ_e^Kik)|*kT*gk?GWM>HyNq14dIlNV<(o>G2%%M9+$U}uk(8#=N>tK)gGk0hGQ zS##1&e;livEYUt2jSB}$O2lPeHW*k+bWi-| z-6c6iiX^9yz&5Sy5ZjBfHQNmbpEK|^91bY)e{%8nLT&x(53BK{UCIzbWzJ~?I-87? zkex?`Qhx$Uv>;1zDO`r$BhNaSYk9r&@Z@UO`J@ZXknaL7TqfCM zVY>CFS~@pPN$w+sZKzy!x3i(Gm=|H1mJjQKlCn$_|Af~*d-?R)UlX8KW0Rd3DFHH* zu?#4a?-?0?u~V7YiQ_y#6h?%X$C$_L&i?xJ*WDl~4PEw&2sD63qtQ3?`NJoleiaor z`Tmdx;myP2O>mPJ={~x7INkhr_wCf$+xs|8cEz21qaaLg@1rnEcVD(=*IL`V_AFyR zJdLh#AI<2xR_B<0bY)FA!kz7I|M&3ir(YE}VX!}c1P9)&IP9}5xw%h+eG$r@jrri3 z+o;%04Iw!syH-2&dn8D)v%L&-kMbRCJ9PaZo$)r@Rc4fq>8;|h?p!Sxmf0P?@y@I< z-Ra`?Borsfn&ddh_CX#JqnO-w<5Y)zp2mKH^IKKc?>U-Uww;fbGhzAqXoU9WJ`U4; z5fOub!f1a;l|##UlWga}>LgY41Zar?%w4VCgG~9K>B>I%MX|(I=I~j8AFj|1kNdSBq^gY?p_Kj;Dz<=7Caq#R9tFIEZ;Jz9%<-l#GS82PD}&F}xM+^_pb_a*D4hNB3;_i0H|up&KWLH;^jy+o?GU4bm6%9^tUxl-NTSU9$KA=gES9 zkQDOvKFxN&(JmkdAoKLpccz4FRRRHl_}UMnCB5NxYcE7lfVF$H#D2y7zH+rTpL#pk z{+aoSe%WE&^DQep%Lbsh8r_eDV@i0$$r}PXVbcmv@ShFayu!h+^jr+I#xi? zo{A9waG2a^j8y=kSPw&$ZK`0J8D~xk|Jv8u|VgfFDfh8V?7h=T?V~_8XN}}u7Yn<4`5nS$L zy|=KpP$N*N1z{#{p2ypqLqL*$Dah?0eYT2(@?=ZWuaf}HC_vee0Loqp4a5cTX&z;4 zC6@%fI7Gn)mY|UH?_?#=w+jBHC37vXC>GwwC*HhI0`X516G-2PA9Ses-WP?2G?gEMd0A0d^xalA2l%W5eqdI(MRv7 zN{cp|@_E4$_vGoybYI|qYG91b2Y5sdt0pC4JBVCSNA`Bp4zJ9198!ch9Z98d`Y?rg z^70%az++_~_)5;_B{Cvbh=6pIiS0p{YUtOEmCkwP_^?1OiHBcH$zJAsCZBU}?dfIf zUQB%^@f)i~ZqMm0k~^=R)f?|-o5w~SR=BIh0Q)=l>lRg5q$pE=O<{}PJWZp=t8Bx} z-W%1DT_@}=ncEcpK_|O*(>kd;fKDdrbrLwO6696RsvVF)Bm&wd8%A1slFlph3!s<5 zyo;TUSshm*hRY67TJ|D{Ah+sY$lLs zoWaXBWb8tGXpPV`z=)vuJnZAR%7j5;`XFiQOsm>q{ZQ9Y0SqCKN6c&>OPwgZtF#U@RKUGL%cnU`-LK8I`$%8g- z(tao_iZIAq-yqjrDGyqln*UrAhR;VyFbf_lpkyq4Bf*-`zJA70^B}D zv%RS$Mgx%fl*Bna%GkT3$T^R!vL*yoA-p>Va35Hq_N$eik-^4&U}6D+65y+His2Cy zh+@lF=@W|kjij!$Pm&LZWG~I4r~*;Fv#oU1rsS}HDJKE3OQ5e$^B7j?^4D=K0atM? z^$@1DiRdA2Ijg*;(bbLMi1b-X?5ev{0NAaOa|h%!Ey6A zN_nba*N5-gfG~he2BQ(P0myrYxF$LrIK3JNX}_+=?PdByrRy5w=1rEoQy^0KDJsdKdNqIr3KETkl&G*d4qXg_446U1)arV1 z;nUSd6oE{ooo9%>qqc2re}0iRC04G~IB2!>I?kRmhDJ)IEf#?gM1pCw`xh=|oG5AH ztXc91f|K223etEjM>Md`lc-xkFVN^(t`?+-6&|?);aXfzES0M2zQ7uza- z!WNQaOv7aAT78v7^95p2dtZq{Sx+^DouDc`GXrUO>aWiD&Dk7KMC_14Kc>-JZ5|+H}+I1ahbq5H3G+CUz2FE}v ztA$D6$y?K(tkZE8EgJY@k}p}4^o@*v{nGVEqw9R6b!~$}Z-c_%4b&vv{W$$bzD(M_ zlq5YmR0u1ci)y?K0w%5EL%EX`Kx<9US4M3PDd=0)9Dt%Jwe@si6j#`lQ8J|B$g?Z! zclSBUh6u4-CUGpzF`6$5pl4^_3sl^smSh2VUv;$=*p-vo3-qDV;S&^k;POv@3X6h^ z;v5Wvf;W=Qg|!oWFe&p{Dq>MqhNKBM#xLIJ_B-XIDcl?`q;`jeE12 zx@<@xh%%g7OKCGmmUkcs#$KK#zR}lG!bSJSh)L0TlPt%_!liMUofA(&( z$OH{!qr&W$Ug>GzoqdWJd0Rt`TAvd|gEh&E)bd4FNnRA_vqZopUFPQ~Io%p38x-s3 zY4s2tDblZ}mQycWXh#8DX5E|K^r2$O4FdnR82mvk03%MPdXW;j14Q_|nquSw`?+S@ zi-4DmXMUFq)a{^uCx9iV<~K~;e_*`asMHgygdjrys93iG=XUd%@>+cU;``!dHhoAh zpQFU*B1E{%O9+-pfU?T+2y~gu0;1-ZO<*gyPMToXnq#rgme^y^RZj-W1>hq`69jtU zHAWv!H=i88mqlcXj!5yWfj@dMAC;#%^RZOo)b^SP7iCMAFUpg|g@_)Hx+ zyhbaV(X#RbVlT!l+zB%>{X+&c2Lr58E|aZ5j}T;f zgdm@jErR`H#qkZv`M~O)SYZpLQ$s82n$ieCmms6Lyzs z4IG@$J(n$L0T^^;gI9krn{(6EOC^T;t3Rk+{);P}*I!#UxHW&$dY^G86fYy}*@}UZF`&jAGxOAzVg#d=Gbsv@{!;GUs1HA5`oa*dgkK2Gove{p=DNOr*DeLb zwD=>De@}5J;*^B{2ZfxbRIefB+1KKUnG$%@;4Gtn!q^xcP+ivfBE5{Q(+6>eH?tc? zPb9K;kVuZ$2?iiDV;29&M~H%KpA;0TXXM$FSPl|n=#wuWKKVcDR`fiRttcn~Gnc_w z1}T4)8q1Q~xbg0jOlE1v#Mrd@`+g%MjqLpdy|FwDl@@;V!g+UpX zv|3RHS(eABT) zzyL^`{Dr|!AZqo%@UN|NR$$!-<4@-CJ_V^S--fwL=Dsm*cMt1Sw)u*!sRxo6aO2S%N{`!rg$eT&VG;QE1w4EFS{;wd$E z_okC!D@=ElCLTxO-5waPx$7=l8iwid>IgUVAo#X^G)_nx#@VJf%&MD6M>qoY3Aa1n z-&18t%&1&d8hOScEf4+vsXesyo;!c-_TR*R*V{+)ig72~pz;`=#V3TMkEXjGiFEW) zM(N^+eI*kw%^qpur3o-hha&Xj4T!#<>4Z9aGCgixr3KAUX+F9I#5&WswhI~inVqicVP8Zn z(tZB)cNZ|hyIzLel9Hm5t1y3>ud-*X2<3R!fS~(_R&&!CXLPs2omGr^!WnJ%m3tuN zGec)2ZE&#n%&qVoUpe;4XW<&;vj9M!#ZHB~Z*Av#Jl-(m1(sA7U9EWDBI47Eix@nx z(G1~EaL9^KAYacTf@!&jp2DDqa7=%3;q;-3bb@B6IB8u%?i9fYWwOQ{ni>a3J^K0KT>t1Xd6#y7-0KkxDg3F6UR)f z%rV;ECSn~@T!2*0KqQe?d+xiok)>U4&cV`#c&BTX74yBRtOVeMXTF69>X@iUDOi~V zVOX%n{&pE;f5l^(xzv9iuZP`rOkirW6VnAcwnhSJy9Ft4R$lM=fv16wuE{7!5MsDr z(zY!QgQCZ|B7?%V9fkk(R#UV_ygz><WXb|=qhyy*4T z;yh+SamSvtHW(oT?rdhx{;F|g0c_P9)CWP)3sHumRUg8p;R? zEztJevskc%6Tn>)G3sh=9HlwKRPdwcAv@jKFA)Fyequ5cK(~;Vx|hAra(l;P+A$-_ zr=S)6LGU}Li9=6|E&(qQb=L3!QL3P_X+DgIGo_f*e3%Bd)EV7HMzM+J%yLUWjdIkO zb5xpe;C6qMaYD~$oYdJ=LOa}y7j(U(qmPo~tGJl$1yx*kR&Q%RPUeMPk5)hT7pWR} zuo7Tz9<7)*^=aRxe6f7FbFsy+4^I` zxm(P7NtZ>O?K8Jh>Q2`Wj zyo7=?iBhHHP>RGmpF*uZa^O<21TH{f)!W&#cMr?8PMiWpjY?cPRL`$0Z@0Z3GhmpI&&U1Gt6atH6K6-C)7-;Db9_1Sh%J_xs_5z+I1aw%(SL zo3F>Nz4*DX1ubhFqy?X{6iMgBq*4;L0RVmK1oUTw@X`7RtyJOzDx{*9zP63;96Spl z)Ah0KY+s!iZ@!rwmlD|9BKKz*x#nsx4NDuJ%6`|>!T_R+H?@eVqH;_X7eSh*J{N!Z zVWK)vyvmbCvicji_L5cO*7DX-5oD2q7PL7|g%`g_aRyWrtU#`3k5!QKV5yTat0>HZ zDDm>VUsx=P0;N2G>&XCh_smRvrG@a2={xRsTpG5g`g!)yc4;ieT8|$WbY!DZoCk@T zSt-AmB>do!$nzj78oziXgDi2Gt|)(nsAa&)+sf6X0;ZCunFPFf2Z^t9V@8f?bSE@> zbLQgc*}oXzu$QU=r|s!r6)A9*A{d-ff)72714E#ofnA6Uz11}yNy4u>$-os6TwmY# zMxg2NMwp1+w@UA3kqwpqh~gnNDgOf=`g{+r-cLY3Wu%%|7T>V zufScC@(ao*XfSA$hB@aD!<6D zV3F;eG`;Ep!Ye7l-i}B0c)9wKdACr^URi(j6XvgRWWx*dN!K4{hQ1ERzc zjNX_gAoK*nkS_yRK2xZXYgGAC)b;Vd@cBE}Fv=$g$O6OZ`zTyPS8%aJYD?z4pqB7_l~f%m64T@_LbF*D_`}VxHF= z1p!yrt@s^VaEM?v2$tqX}+qW+wQ%Bo2^ z=95F(HD2~h7^llAQyG_jy?BWeY#|+4x z86bGL)Oe{izI40UL@3A}Ero0Bk&k$m5RCP)C4VuVfUl`F1o|aCUvkjNP&;UD{5Ot) z@|z4(mW2~6tYF#il0$9GHBe!-h4g* z6a*s2Q19nBeG+I|8Ln@4k3{3}gncdie!h^B5Q@qb05;&rj<*H&Oi8x#RV#@UeWpvI z7?Od85rbdDj`@Zaf5%@v_;CPeNdg$Xey4D+7^ArvKKuZ&6=L?F2vO=SE9HKrd6A5` z$$1!=Z4ZAU#P21;s+gsLqzk1y0~RaGh~l<32O@U*s<>SrM+dJC1muVn{vAMb5`rJW zWb)O|%K)c(2!a`o<-phe0~~X}%zlvX(+f$DTsgi8Nz$$4$_bp@FQab0u2R4zxjD3A z)0keqHs$gSwHT}kAiL4K6p@Xb@Uw_K%il?a#*1#m z2^L8Z7PBD9A6Zj%``N%JZhIadzG0=3W~9pBA%b7Ik@{0yYRaldQySsZHudv#==xZ3 zmjtRXO4x>3=)h$C9`^LqT+Hy=mha%ZjD1N z*+i4(H4lIHHd6*!IuMMmA&~SBIA9c=-2Pj8yxVQxXYe6DHaM6 z9HwG1DdhdF;g}au^@QkA4TscW!0m^Ihvm%`Fc>mXrUwziJ4KwtwEX`Z=r{OIhI@<3 zEJ$P6S_b|*QT~G>488bi^WuLLvjb8JWo~41baIn*HX;Ewld%jaf3;albKEu(zUx=a zZ8;SWOgsrXl}jpi)u#59L^s6;ibF}!z?(8d}99to#Qkjm&sbA3ZCg0Lc&4 zvFd5<_f)6Hhw2gmPr5tWn~3)H@CS{`ZkD1SPrb$I3+fCuf8BAxa_u!F4pt{a)ec<` zCv%*eIdhrlKhA}PWPGAOh>{gF%3~MIw?gARK>t(eEm=%a~z%vNwhTBS8YcQgbCRN2IrP= zkWwndl+c`Me``S|CrcfHUB*&tMuOQf%X?)2DHL-?Huf3Y^=EIY?U3|c1=Z(l#vdpuA| z4@(%F#VxG46Q%OOMr$ek;5k`x?81*BZ-6)hEtN&nI1s|P=u1E`NObk_`U+j1Zuo|0 zIg@gu45UnLHs#^!Usp`0xs{F}7`mU3!E)jj5}ge~xgPff}=B!h$JMHAeU;qPz;T#GeLY z_UJ@=MYGCFd5hDR$jR2S-0G3WYYb*iKa=uOnf8sfu9=+onesBr#gTEe#G?{TTlDT3v_oxwh z?hDM}=o!0f#u4866=%^FOgrGU)sZWKovz83(eE=S#%akX*BnBPA9LVj3tD1n#*rei;-TRwpLM%xA5&_Up>{`Y49k5`ZdP}EDZP% zEPxb5iQ=9E460MvKuowy2vcZ-e~v|4`b{5ebAM1(o^DDbLp)rJ%h0c9x>RRx)!HIV zhq3GdLzVL|eV}w@cX&KOO85|CYVg{d?(UzQ9-wuEIULW`B;zGSDZtCD>Jr>bSq;lF z8L&gl>MZ%eb2W==TBRw=I5-nZ4f^77tOVzxjsuYfo`P$}xy8cm=5xB)f5Rr!+Du8a zd3K}+AO#YEA2yrcp!jnI9sqq|OwSESv$4YaXEch~T->}7LuMI6dfB-dD0>5{-_tZ| zV;X*8GJ5UAIcm*9y+sLy+Hv@wkC|9RyG{=E{4SvSE_UEj@{7jgUuVsixHV<2{$JLN zo`~rt|DRY>u}q4EHQ!OAfA;)PHx>1KQ)5`P_f53gu!1R}<_P05o-&L!VajlgoJ6a-?eV!Vg$DTC7CNZipoWC79-5 zeI2%lLd1l~nGgU?%hFVQVU{yrlI7$#X1TMp1%(iR0+h)VSj)VYf3{S{l~A`v3Ne;+)(0zGXtY&Ar36O~3oq^7~uDtRowSnxzX6J5+^nlFQXr>Gh; z0cX2%p`MTb?hDyQpC0)n;Ad}!fqsXg-g}F6qZO%jp<+z~e)OtXTl#Z%{uC|M>Kb3HgCnB-8jZPjBx36)|~75f^Z54$;>yPjAZItsc0`~wYI zz9s_W-D5_Ze`aT9WVAoN{~!quUgL1DZkp3@?5TGMm>Kto8hh2H_w0<%e_d%^qdHEa ze-j%2CNn>%AZ4m*o%y8k4WS+%rRPH?(aNr$-c<$@yqhZ)1h5Gaw(Sj!Tqv|%GD#IOfJ7aJavb*J$8pD7x(k$vDkOy71{pz<5Kfd|?!y5{aYC#v2YC;uV$eI$_u*GKo=Jz+GZW@>1d}Jf= zDj)F84|~4&d;jKN@E=A!VvdhNmfyapB2|*WkrbTNvT-$i+dZ9*zOIa{9%WT6|FQm~ z+pk!&Jndb?reE=D`Naga$MutcPrhrvnBaCdm~*-O)E`~MXJ`bIvfH;~>%;m_F452) z226M8ZNjb3uOgyM^EITVmWLA8?0?|M@tR|;P)i0uw0 z0LWif60WkvgW&aHYj6$J=3p)xkKM=9Xgkq_x`O$%t}1YV#Wg8RaUo-WD6T1HwRqH| zsg)~Wg?)VPFRB>yiCRc1h^Vybl3#wS7F&pftBGjz;;T)%Uogob35Vm|;yv{1%S?n; zgw?4$ss*cwZW^D(Oz&$bM=chzQbcP%(BHM6Mr?Jew5wC?;#@cOoog+ZN)XCvlxlr= z+SwNQ<}JjWaSSq~42orcQ~g>|{<4V}rKHxpMC}+=q^@aPyB}Q9%}A(W0PJiXG+~@Y zRoG39024#hmyG~@-up2%Qw0h2EK&ifNd-OddIcnmmAH_{?&*0d-{P?%n$1;WMVFm1 z($%^&j7VB!u(3wN1v0LU^9r!RE2f~FR5B{(=5jupREh{HF8a%Vi|1t(xS&Ksx&l?; z&>^x>aTVUTW9Tz6X~UGXA&rbn>gJ9uZNGDc-umfQ5ml+n#Aw?~t3haY9tzfKFY7Lt zBvRio80U3UQJU#2rHFztkSvI+|8-|ogw_p|2d>l7yOva}p;UcSbZ)`YZEV}NZ96-* zZF9%T7u&YEvt!$~tsUFe%{lk~$GG=ly{w1o>e;hutnQvw3p(q-1zSbk6*;ZDgXa?# z$ws_bkvXADMs^spvYn#Iao~NkH(Y{+W_slFt z`(NWSG~=NQHXY)n7+h^bqN6qqkQjZ4Si-#W&nU`+vX&J@#Q5*8S~0N zwojWv#R2r_LWQX!WHOeg>Ic#0Kht0ngAd|XU@Z(l`w`6;@@T+|PA&eb4>rGRE6+fp zt+puzLSjcnvHHdOIw{RcoJ7f{0u+%M@y1$^0V1_1yIB8!=kp(nM?V%hSn7rBHuJ=} z_A3rD)_38pT4@U5`|^K(L^)y&CRYRlIDYKLKzZxog8RSNQ;>}>c4YV*701Mnp{!H+ zi`fN_CUd|LDdE;Ep)@(sI!k~)TQFM@k-{$aerg4?wl22;H2yh;{1a#E<^FJ96dKSx zBPP$|?c#%OyL+2R0ug%W@por~oZH~Pd5UB@=a9PhHAe0?@F;b3OxBVYH zeu(n#Z+IltnyDAWQ5RYvAl!l~8u$e18oS)e+Bb1#Xe1fR`;)l@2q}${Sg9nH^1mpv zHu3$36hB~?|A4_ttW5D=)S(l8i?FtkSTrUifLrf>(e-1`%mdWEVAspB;3i7LIcS7c zxAHlX<-aa}Frilvsc!G)qZSf#2o}q^lMrzEnTafbUIB(^4wsna@c;3*3zHi7m~6P?tkt5KEia;by1d*(eAgDpk-I36bPRvdy_0hqNx#JM(-_10LlFYO`XN{ zN<~DW&JXTySp<}xs3d@-hX!;W9C;UDSy+pTN-_>v7zUCrZ+RlI8?AOVy>|hc-l2AM z{GscVek9&)vHyqSrU#%S#8m@8$-BqgEz}VC+s=>*BE%*mWvgsGW+87Mfx}6h1|roc z6E1sN0)+C3LZTA*vjzjfQaOr~RioHerltYQt%6aG!?3xpzL}>?!t)T^^;HNQAvLHvw+82W+1JR(Yeq%5945K<+J~U zdG-y9yAC)5fXqlPA?|p}(dH&E0v5|tmg2|H9R1x;UB6Fodtj1kd67c-D*6AAyl`30 zx3lKw>qgVJbZ!ThP?Wz2eN}v;{|C5+>11wg1z{($I%y^h`3_rE4yHsJ#RTmZUMY1 zyx?yV_>_tk%2!?8+~Czg-u3^u9W0iqoqNDaITbv)cvt-Yh-BneM@&UEBc$b{%`JwwDB%ilUyR}C?vwg*FG~X86%ku&D9wr!zFr?>Adz%rfiXAqjKsTi0nWHtBCBt+15JPt zNKEEv^J9$;X1YONo+oe2D;(fJ*`~OG6M1tO7%RP$y8K*ch~Y;^BS7=W7w|+w%-P;I z%q~ptpz}3{`;xtj#!<5qJAH>sS@TBvMu;N4Uh+-|l1NA2r~TA)_51X1qU;WMmA!mD zhe`4o0dDo1iC@1OtcZi}%I}Hi7GD8K?3w#DM}^zs2xU{H_z)ML83d7869^D%FMWy{ zn2#a;wcUKG=KNXoG*Z{}~sI&}jWfm=Z) zHSRegVzk1a^QMty4m&a)p`fnHIm?+p>Y6*&*cE%Rvqn-6XYm00S?~ahpyu>$&D5m) zrAQ~VDZ5{C8$F7S!FnteFim0Y5jwTX^fKi%k85-sT5?bmyNca=+4VJXCcVz?U@!2AFPaAvqT2;1uy67ssO zm%m+*Flq-nZBbSIwvf!Kt7nn~*28|$~%|lm^VEV4pwTe0rjj zqz1O`aIu zoJOFO)Z}Zv`l-)|5p8*-Z1$b(18je@xnyWrGo2!!{eD-JzU z2`ptaI_xE&b1@P{J6p4H9hL6S!u8=>Y)>CUSG6}7PAF}C#w`XPS09@x=56XqCuFo= z5V?f(D*=RJ(|VqbCCp9qah=aE>+AhrB|17OB1PxR=G-?o_$u_@4ezgK_U?y(0rKsB z1F-I62&>NU`IvKuesOi(PtQXM8W@s7EPAU-LCSFV4HDfCRlQGKzt83N<2C~3&)b+p zzr@yp7A-NSe-PsqX4jW>mEwAb3@Zu8+%u)N5TDk11ZF*F>%&*j;n`1(V2>W38}|c< z@CzsFmIVSgE2$GizqM7eN`KD*aIUXJn}8xz7|Gj~t^N%g)oMD3a6*Zs%CrG5yq%_V zNNrL{oFmO$fq?}3o%qZ;!u}<(fV~s1D0+2dX&X`4jH%hpYNt+rnG_LcKJ$+Pcrkv^A|R^$VuSbHp3xNe5Elk!nG2o(x2l z&pX=C@790UMAShfl(}CtovTdcc#vQ$$=lkQ9rB;jejtfs1aVh z(cXj>bU{!=02GXgE?eoLxVllKk9MLr7C26QPyWGbny$Q|@oXTSFkktnG|z0Ty+C`X z4-RCi)O{hYGs{??0e_lJl3@h(!Lo2B9I!z?FLJ_092uub-FA0R0Tyic=p}XvMKPT?oRRx1N0{mF*FlppO}6o9h1Km{q456C z$h4#Zq!ht%?@K{p^(3 zbPOoaOgxZ#`8m>zqKhV;o-iu@4o2QH>?Dn8VwPYWfVvOE2}ji4US+A$<@V;}1OFwa zA}Sa|x^&!HnKg$?UILp_rY*#cv{#BS1X;Ibka&Ddi>wK`X!XRsXGf zY*yD?h0}bHI8S0(bQnxbbQmQRliENegF7^lV%-}X9E$+#B@2VV?2Mp`K&yAx9e@L0tFz#vrznlfcpe|bd!$W_U6(&2ikZ5_7CZ-xxPaPYp0G4Yr z?P;8?__+5y+S4#bmOwP{0)BU;cJ>Jxr<~1cw-H`xgIsWC>0Egii7R#s1L}7r&fUD!N7W0^F+y%|!Dlw{;5g(GE<@3zIhI1c9@CLC zTYw8|k@Srl+nN+uMU3Dil`&$kCAD5_YI-rdByl(uomfVqdqo}T8z1hygf|JO!&?EN zlkNiW%}S?T|ItkM7WDp-jDGpWE`v(a{I;ua zMN=>%F7m|Rf10G*4oeapn9}`8@K|m`c8KSh7KjH&8;gDhRa0=TZ$mPa!sMZ;)4%9+ zV$nquy-!rY5mkW>bbf@jMso*pJ|6)597O-r6yGniP$?nSbF{o7bq8>XRCu@M@)XOl zIz;B(7)j|Y=*9KrC0xHClUMfnngBqomL9_B%{o%ezATk)^VNk?{%d9PR~rc#%;BWb zu|^>ROq6rJWRidi97E)F{Q}2BMIE5A26QO_^Mnb_j@axTWVc8EeVI_lRgwD(!Bm3i zrz0F)#pVdou;S&YW(3$Ua`^&RgljV;Uop*$b1D|k*%zoSpl``322Z8(mjw1}Mrt^1 zc%U*)*eZT7q!~91C@!L8DTcrhojzjs0R8SSM1y)0EE`U%mGZ5g2UFnl7`8fK52Rwy z)}))BxzitXBC1q`<6p!ax>pY@AsO~O=RH1uzr4S?GJ3z6u>o|)RL^1PuBK&(GL~OW zXqu08Nex~dmon?bJ#gZIreJT~#$9JowZswT{*?Jm{Vd0+{rii*D7ozFQPh~?2?9Io z;+g6WW>6F`0rP_en*22g$H!$7P zPVI}{=I#$0;HN>**fID`Z};CoLGu~}d2>jtU@?LxCa6f2vmcd*heJ2d%Q?`HbaL}^ zhr*@!b0W6~j~4T_+3y?L4_6JN5vENipE?U7Bdj5kCoGwthISkeYzFq6!;4tp#8D*Q zd_)zDaWfC6UMlS9nkjGhe}u-9%gUG^9fRko?6AYQ0DV$Oh?en+l99~fstf;IrDVX2 zvjdjt=R9f2hwA{{(CIfRWDtRid4Fa(C4XfZYuVi$d6j6v=(Gz#Lu@!jD)+PPuQk^v~yG%R_C2q^cd&BzLlBll>#XdZD!maq*H z>X2xu0?uw&=ffOmFI^yv5BO@#ZrPFQzQr<*LkuNBwgfHkpO)S2M5Ar;iAiPB|Y+mj?eu56o?Y@$22 zE)u-fEm$BWfCv|nAI^4Xu3?8C3R*OU+Q*`k0Ay!%ejJ213Q>2m6TSJ+bIKrMN>w<)vJ)Ti4Bj~CGaO*bC8m+iyJM=T;05dav4kd8lI#~_C5jLX zr!p0ALsvIF7i@E0gFy>^*#4x43IY6cWDX@lN{ccvf5&Plh!PYF<}NWFbexy|4UI-+ z3|K^2)$ND|`y`d;i$aJTL0?KI%^hx5xsswZ+OWO_Wuad|;;+p5yS7|SrHrubx-76l z%q!si{^ZQVEdayyY?0J(TEJj1n;5=Yy#uSopi2`Ec1w1Jr4Seo3xG+%E%~D6vpmb= zPE1AdsPsM+9VB@fVrUWurxE+)3%+P^GKp`17(`KEa6D2nu3XqdrpX7#Mt@vR=(NPGK*0l4hz zJZ)@)XBqt@-WT@wkpagpwBRXb#1|&R5@+5?nYBxww-~{#m* zq?5_1&SZwYNwqnrLQfc1Xz>OlOGOocy{YxrJDnr^uZW<=s_`n$*KOc-oPhku9%pQ@ zq6O{#yh}`>9Z759Mxmz+bP)3WL@pr(B7%_e-bH*z`;`~yi=c!Uy*PyE zx54tAdRiO>I6i>iIcT+w*&3z3yo8n6aOhvrFt4R(wKQJlzM9%8sF+zYMLUev8s6!>OF+ep}a-O3yImpQ3}{4}K1?9@nDH8Xp((TrKq zTbpwu{%Vw#kNa(WtNVnv$(G}9b=U^QrKDLg6(deUc{RZ6gX%75w&Qn(7uj21$4G&I z&viIR36rq)kT%x<^pN$Xs2~kP0KwYN<@07YkaQRDoIO;7iHWDn>39m7aIz%7Q}F0! zUUIu69WT~$$hOFpvgqx20z=D?rmwh&6rx5=4mx^YGz;F}x{Md9O{D${?Ts*ks%aN* zkiliJ)^ETTG#pfdBS_zu`iA*3z%ufc`&}WAPLgS58|Z#84O1A31V(CoG0mSKc3gde z$ooY-zlFePedc3b-%IxwMI$>^{jWI;U~l;Asa6}4KxZ*&F~aE0+x;{joeightqkZW ze8RGgR`CR->hBJt13wTA%gcXMZE-VFKD9v=ZpmFt%FFWQW^&(9`8!waMF^i=1Q z!GC}h<05LQ7%6EyfZ+F&1ey17w2;<~MS3w6xH^5+Nq5XQ?)yr;YM31rc#9nsgbWEV z`+p@?B{*w|o6Wad26b@_YP@hx$i+E)RI$mU6{~+NX{FV&A*~^JMI%J*rDDn6&lezt z0!c53kIf(?i+~@t;J4^yUSvZ5+CIx0WLQz?=(THY%G4t`wjS6-FT+sT|C zj4npiEy_|2o@@A-(`^N(2z<{ApNrX<2Im!kQ(idDnm=(Pod)W>U&vmCW`z(U3w*=Zk{#%PagG1Gye@C#IpC{ZV z^gRM9s{~zqxHARvZl3WSm~|bR=w4(2+S(Ffq|aZvn^~CJ+LoUp9jDh=`E~**L(r|1 zo8HHmr043bBljKCa^ZKVUk?Le?DbfVj*v))(bdWC8>77e=GJEz;VNhF^PPYBxPKXT zoDci$KKT$`T{$ik74;yJ*4UILP(r%@$%?%S)LUuWyOH??U!0IJt2P_dW8g3Wn3@P? z2`5=lE^ag;H_B(F)ob1R6vW3BU~rEBJ$Cw+dra((5L8Kd?7)YA9;?F+8`MZc`=^Ob zRuZYyWalbL+rFVc(y?Q4Xq*mGFZ`Mv9~Bc7%J5%h0?p4ygKymN(9z=kH$Qge5rKU_ zC~)c$0Zv`|JqqKfoI+sRjK_-^0RJSkiwJ%-wivj>8&Z`w03AO=Ib_OJt%^LRqzESK z(PaP9#;lWPU=xl_hTeUKR7NGldia|`z3+4T5_>6cr}NMgMK}1kCsm;nRvka|X^MTF zo5`(%z^N_=%kTC)kX-vb=J-8|myr_W(6oJzf(nJ>E?=Y{)$U-r+Chg2Ahp>>20DfM z8c-$&xrxiaoWc{4FJEH(I!(%sZo`hAwE}3D&dHTiW9Up7bzzg|sJC_#?Y7^QuBV3E zg4?{{ZQ*}<=G*Z?olwcKK^O_)boIvD$y-C+gXv*xPw(*K@+{r;f1hO0aEDC0oxPkZ zkzJA1rbpYw#_epxK;e!Bh?@A`feI%&x{iSL7bQVc(Dy;B5`vXRv1XB&R#ghmu@H3d zzp)pI3dQNzyAd(wi}{V=-+_gdMcsQ-Fpc9j&aZE{qd#DWttQgmkif%`D3d$lm!0?d zP5{~Qw;#8-;4RRa(eLJ7 zkxOxi()ZIP)r6@5L&X~Fq$-i-+{pt7q0U+~$)MSP#^F}&`YQr}MbdrlkF=#9;3?Ve zHr#s^3!~S4cJ?PnY{(Vk5Mm{F;66K+b6W4uGU;xijpAE#5l=@Iaj+stM8%EZBtlnl zv=;39Tla?%me@IVe2~()!BtkB1&KhMxOkEy@Q3)>hCzS;7)X2|<3OH5Cp)2bS8u(- zrDP$NDqX%zvV#p?q5h>TlGCz0Sb?<#f`qZ3o-m&o8mcnP&~`z^UE=IG7G8O>N8$y((61AyreIdNtrA4_skw0jQpT%m;%pgNe^5k}Lw zopdl<^RHLH(}?&l>Q4VBluy4jzOLj9ny4lOzUvo8JcKEa zKGJY2hHAum;qIi(OOaqm`zmHiRU0FZ?J5IG5rv$!al;cWDngZR1zl(mRV6)fq28n; zp}DccONN?eQX^d}ave&Rtbq|5&;Wz;xsU9ukM|Y84K0?=H$t%|2;m@3(OQ;-b7Cv2 zSYgH-YuI)fE0__eP^t)sHx^Nj*7>jlW&Tt$1~V|EyQF}Ywy?eb7qxC^!!m=cw$C{ako(I8kHhez){Lf!eiB-bvA6s*WB*gg#^c8k6dmyj^($I8d^;U|Cf z(q~ee8SoVtpYH51m;)M~H$(p>)7i4zsVsZLE1mZ5dP5Uf*dCg=65ts3jFjz4_KLr1 z<+AHA2qwiaJP_R>EZ_54^6hMvVl9w0>~$}IpmLDCrZz`D_v2|5PW530Nkam0n&Ll* z74h+E>g(LZ-|?=?Ar%aEc&x#6T2N_EPHcq)cMA#PyTPKiokmgw3In&P?OI98E!IaW zt)By!%cD$>wn@w#TVBS>91Q?H9pnl)e6Yg&zmrkN;c~Aj#-#PS)F`;uz~8$H%4D4Y z46jKMR$Xj2L*x0?>tm@RZP}%kQ#gxg|&BhULp_>8&CffVD*Ieji5w z_*kEe%x)QiQ@|K_n@VBibe}Sixuq$9BRzxgeN6l=`=91l@(`^MP^IC!AQ*9d23;O$ z`>#l%cE>tr(ig64E^aagPeO3$qE(N|QVX6LBl3yS{)tIgQD7d^6*ix9qSN&v5}nBg zt~Z>sRLE_1y%=;NTNfD1$|%*D)NL{0((h{Wu_7<-ngY$8)F_83tPuk|vU)#&M$6)o zA;orLoI-fgHAIE%z5(>Is?cuYdF0{1nY!{%b&~jRKB7wahbDo~!3OXZV}8^NlkLI4 z6vabS90Pis9X(rIvuZaNz=1Xhn^Joc?h#RpTl4ZaqFFJO@p!&}ART>5<*;4{@>0$P0 zh6eh8ViqDW2F5r~R%09u+?6^k!O_X2+Bo!`U-nm;sTRcpCn8YuB3G9`7xMU)sjtB4 z>d8L+vOVXLM|LaZMvBUj>#ZM?2?AeydBT`J_Yh4CfluwpsV3ioM^q8OFDMysXymz! zXR!ZG`bJ7rKwViQWeG*RB;Tl6J)WXiLf(VEO_vz5`T8bPIge& zSu{WM*u^*g=wVCHS?=B-S$ly@Qbee=S6r8@ZFbln1|Zupu+^d%#K)q0O!}vI&kp3W_4EO=-+;1d?8j4hN2CyX&rh;8>`(oc*}9=4 zK038R!kL6hM;sdPNYcb*nO=Q^Xu*w05Wnw^2meiowqx2Lk?GK|nA)@*<_(;%&uKu`XcLQRlHYMEcGy+387?^KjMF3^Tx$b=oyDykAH z91P^@xmHN%!Gtx*V9@${K|o>#v&2#6So{F*bZ*pE|Ki2SVKod9yAeRTv`3BBS4jDm zEz_>r+O?;JsLlttIf=Wjafds7Zo!Rn_sqUStOd@g!Q98s9anmZic!;j7m8Jm7|BsG zI-n6}e!4{~L5t(T4=)JTEV1%uYF-@<#S%zJ2s{%7Qx_51tNEh94>w$IAL23Z_PYz4 zB*qvumZmmik)}3$k2<@~^hY9w__gYhHSZO|*9k z8L!(e1r%cMFib@CW%F)aiIv)3%)$27kEZ1ed%IFnz=JQf$#gp~z}3xLcHMV6sPKkv z%?|*6lJGbI1epe!@PZ{6xTB1js9scf=lzv3A9}JLUZI}zj7o!XUABBqj$=i&nEI|+ zibcBkl<5Efj*K9ciIw-Rv1LZN{{G2DIO|nU{2Ru*XaJJ#EWK~vj)rOFsGj0< zD{e0$_Z!7t=tyS7H-EDpz}au+2u*+(3pX+sIhz0LFli3SEW1BXJ;J$-*{zTWw8NB2 zEE0)p{LrIUyieG_gUPV)m)alj2>QRRA;CkyByj*1gyUgT-=5$P@pa03%vZnxW1IdV zxiHlVWi2cEUi(6T;6)r_irtZ-jZ_|*;jN$&hCLQ{Hqg14F; zK^DON0sJ04@$&<%D?JhV$Tb5h0Wcu3L{X!?Cqo*fbeH!M9^pguEV#C%gQ5;ADF-k@ z;syY{T?3I)n%5!JL<14^8kjY>XhU!b@#~6vQQS%L2e$nTOyHR^D4#+Qcn+^zGE#{= z-1(Eam@x-F^EYL&0vey11yDclQgi^ge^5T?O9Cjz+9Zw7&9Tdf8YUP~Q270(UUbDD zf^g+R@hJ46s*kG%vxf~qbLA?{vHX8q)cN%g@|Fymai;a-5Ej*W5{1sqwxM40Ng#jdqx_Zcoqm zsc#^i2zraObWI2<5EkbDZt%8n^y2oLZ$JG)2)j<`2ON~7RfxbDgaVtbT%wAF5+QS{ z?rA7xs>ycT?$3D#u*VXowl+GZL}xLhaFhpLk0xgUU7ojVD?EQ$5-gOf?6<2AXkg_} zmZsbu7v45ZRP^<5Emro(`I}U)&a`PSmuoWhmXggh*m*PGub5Qd&j2mPBI2?F<-%Ay;{HT6_(z&rsXq2#-mg4Hhz4`}*TbA-#El20QX4-q(-1pO9@aX?FZmk;N3z}nOf z@#fsK>rHG!+ZZc&AtWe6nZfPdJS~6lL6;(}m<(OvoIf$jw1FfYk3j|9@7ZDK(I$>G ze<;-KCVRcJ@DCtb*0u>|OL0&k*PjvV%(=6#K>f>-Yk!%7>XxKID^VxywaoFn_tYZ! zBYu@MoGy5fKwHyJaP%*x@Y^d!zV6VxGsKf5Yh&5z7u4Le=c-uMK5{KK7oIbpd?@pc z1*7W=R}>(v)`OOB^&ceNb_{IyFIKov2soQ(K1|)*sQb+M6RX&QP zV`kBO59)~vv0NxemYGZd-KrDF{+N}V>Q2-08*t@R;o+Eq3&9iqb1gUc9x+}KH#5J1 zK(C;6RzdTXYW+@GqWE!40|xSj5UQXtXd5!S?lBWWB%LTFT=OqAd~Xd%p=es z)J(IBP3gK}ftutnY$kIAG2j9f0a%LcXQTAEej%-&^@-etv9%~}r3ic>#hJwv;aY2!oqMHr3vlcd=y~~2v70efERBtGJH>My>*;6>}S2kd+^T(coVkFYsu@J z5ET?&Z>$!s?y9S8(pxVpM#vJ}18w?r1pCGbJ{mDG6%IZ z{V|$X)C3L|w~Td=03Ak*BrZXV1j@jrUR9HG3Bhs)qlj{3U3^(ilM|%p-o)TV9UpkG?%0}EZoexLolFY{a`7{qt^shGzX|f``rXX zZCuF^09VB$Wq%XSUVt ziw(iggv(EfNeeLnw z8B0jlciau_pyAg@Hvk~uHf1lN@Ok?vXbI#@dsJ<&AT7RzcyW9&{CV43q4Cg$C8O;n z4>O!*_t?E2ON*r^Gnzt4HE3yAjC<=mdF0DAHB_0nnWf4DM52a(fI<+@VKlohTr~W1 zyKNM0?zBm$$qclrawZAM+BuRBG!uEe;jse-8qR!O`82xVZV70!dyd_n74BYhGaGBT zO&2r0O%DdvpI1VX5AMpMWkc%5Wz}5TGnxGR#wv4|45S;s6;RU#!=)#qh*@*JMz)%b z$r%ar3m-Dx#!jqMLG^$X9fb;F928Gh4t!aUTFYUO<&ORM$ud_)fpG-SajNQ}f?ginj1C;2{(=KEpQU_9gT0e`N*- z*04!LJVy7m?NKt%iVaqK#)ld;`aLfzQ9b&)xzWR`LG z`L-bOb(9l6}4rM`j-s{H@sfPBsH{hy1%_r1v3A z2$qTXH71ZCqKALfy7|p`ZFIzYKyOS*S`7Yk7R=ba9KB+JAd2bZ>#e?FTFme{$t&1( zMk_nbBVMM&yG@pwwY9bPpb~}5m>|o9CK513j}3tIv6NXurTC8k#yplxWV8~L)rVS@A)|Bf^`%lA4OuE>#=(i#;@4FTA*k}K`j7VSUAQa5#(vXc#l(xicw?(BA#^6BMf42 zw@lz#Uv;sE9G#n6>e*()8h@ zz?p(wSh-s44Q!gy49!9LZukb+G5bv*czkpU6~^6sC}!=wR_ zwkMiPo*HsX+NIaU9(*t6a0bzt)_dFET1p~uRW)CBcPpqh@$yNxsbp9%YYhY9^oBT| zI`oma)Gc@r>(+Bo;quF2bsOmsf6H_+U#0#CmRI|2h2xkzirQMhbTNL~?0L#JcN#K7 z)M!4KsbfqtXeBpSG+tb=Kzt(}Pu~IRLtqaSFNc}-@5J@pzBC9s>(i_Lq6uMM7+JK6=@&QJ5gnoc0xqzO7-R*$fM%Q8Y~3hIUR-gmxfQ3 zj%zTLx}JBtpPJV=QgI*AD;){bk=J|7A43^fx&an^XD8BMaEe7KTPA~ycfZD~8upfp z9OI>7EfMu^dnG)m{i&e@)~t`W+Lnueme{g zQ&UllJ!YQ0i3S;hJ!v?yid@`Hl{Ax7!QMBZ0xw@Pie{Q=g zGwGW?YYG1V^d2R-RqY0R$L-6P*`tY3cl1A;@3+!++EZl36EKW8G@wlCm(+4$D6OVH zeb?Ugdx1ja^{ZFxTA*2X&u9O!%7nsZYj?dNsS(H3fEyia%=o z!`-nH)NiG0D~=^!dhR~mi2dV69{ZA@Z@;&PGLy3c5Pke2>9!a1VLYxv=W3wiY!4l^NO&p^DA~I0eZpGAMYMLGCQ@(lOYYrOG|eqmihg zl)@8!XaADxYRtx~L9d`wZ=0zYw-)w>CT+%=}Y!oZ3`hprNbnu^n{fO+%O&bG@vjj%zklnzz8$l@q=GZUki= za|f3n3@e#k0?3zsTN^(jpw9X@KpuF=klI_Ir52|2SRkO$TuNzn)m$d~y%wT3_-9VB z+^Ur^i+ryH#Jwo5DF3Meoeh-NO$9teFO|$}C(*-9;aV7VukG4r(I6vUV;`XpS*XA& zinl3}GtF_o!Jzy2xik<(& zFqz1F?RlyB7B{u~P}@tE4c&n7iuO+70VnLlhUwce`cd*vh0c?R$J-`#>}DKm!US`L zqWE-rKOnptR0u5kDOkLij)&Ba_u?jP%UqJbKj9qt)wbV2qI1xBKni0Q8X}7hB5Q@- z%2;EI03sJrxUJxy*O_31jF27Qzu8x@BthWx3Q(JJ&mv2q^2l1)(0bY|cK1zBB%7@T znKh@&f)SMgWhOa~HxK>8Uf)ozG{_Q`^Ks7eIDjg0v+a7(=5 zE4W{UqV=NMM9!mZ3HgJXQqc|&ofS9?upn^i9i3cvSXbpNAJnf@SBzwXxX>qbs#xmP z-h3qH@a;gBewQHHDXD@z_VO&bI0O8io8N8MCOx1z`f7QycTiD*^Yw-eCYSL_Bse8w zdH}5zesnE`B4ME%xM6TPs^c)G96P2|6Aq+K_tj&4_DSF20B|ugz9${^?#( zEBHI;B6wew16W+TrcsurOjq8Klw>KF$CV?EhS&Rt%?~f0?_ti%T}CSvLzz_~2?+rf3n_KD*oh@b)aj` zVsy}>&pX~@1SL3F(dG}5hT#b}SF@!sSF-Nia);4j$*cqgX6T4BQZj_&13X=j=G zl4W3K-$t84Gon}Pr8wI9TyBi-JLPP3z}e-|pz5LuAsMhC&)8Xdn#04_HiAgaU;w^q z5Ug~po#3<7bH%b&Ts6G5zocaWRl(d8;ekJkvVXPPn^h|-OwajT=b$I@7xgTErnIn^ zQFd*n*c@EjJ?wY*U?Z-Rxn5vP2~M%wrBQyGB#SY*jB*#D7SnR-0~Rs#I9C7KDuNdv zI}r)4r@g98EI|m%khO+7?dhxe0ze9dfOk&v3p^*_7h%QEzkEPeh2)+CZkfH_rm*RV zz6CZ~kB#~&F_d=szoIV$6t;~GVLWE%X%jy+96+)4Zg7y=uvKIog>j|-4Y*)ZX+ZBO z7aQ=iZ%PtIGY-lHhT;whfc_b4b!7Vre)Iw>w6B$|FZ(mzac6a!d?Z8Pux9^rij&4HVW$Z;x!QT^suS=*$&$B5q2D!h^zPs zlN6m*&o2aBi1KIKZS*%s+QXAS0oYan{1sC7mu8=A)N=oUte`P#zS7sTsA5;m2@<{H zYQHt+^ej~YyihquKYFKV%{G7`hr=>1hYYTlTsgk*uS|C-qA3rywuOl3jdjS82ZNXf zW3_|+#}~+mw1zV{9!?;jV>}ud%(?RMYDl4{xDuYNA4XVj>WtWR%g6&OFwX1e{kOhP zP(}Hxt5f+V6ndFYgDIOL8-@`}RNdo@)t}TAM4t`a&RxU-_{&eE7WHWpS#LPGH21m53d8{kiQLVjQIev1a444SLjer7LkSE^a70D)ryOL4x)ytrS556)z^sgckN6i3R(#1aWZ& z_d;z(VYFo+(vv1Uhx`t7a>wV1iH>iu?F^NG3e@f6jsfff`_2**J!_YCP#K`6D~$DG zGZ^udy8TH;AH4+~w;LhV%LPQdD@5k7wX9;w91P%+!GhSI41lCrdnr_9)$6$TZylc; zD`H^)LS1ff0GzzTn3C_pfMexY4+zbeGQioJEU)xnq0tmtvG^i#u8!9=MI2Vv|+_xH9 zu*&%RVG9(Su)a7MaYciQrkjUEasRQWwgoH4PkFOZ_o*n0Qb(e}s00~SY53TLOH9y? z{@Nw~O~tfwYFHcJLkrVMEM-DrM~F_82hEwq6U1&@u8ro!a-XeU4x*k;)4L6K;FG9s zSjw+P3Fs7=@c_^F&Fo`E&2XO4y>y37Ja&9LBFppam-P>B>lu)3gxLIzl@O(SIxH=BahHQbTAKsp$6VH;+Dkn#e@f9D`#^S#a(xCv!8!i^`zpO!ku-F3aYE8YjK6 z0OWP*ZP7sxeV5QVF3LOAFK`J~g4f@ZhnA3az6*qI-qW=wB!*Lul`eD?pfU93bi-rJ zoWX~WuAPd)+>GpUiBbZ1Grk~!?d7kUhU30?*(Wdxf-0Vw%>H$m!Bl4+auJ6`>xqDr004)#q2emgE8eWn#ODGp#A5D?Y@Rjl?dC)O z|3lL^24?~+?Z&okZ?fUW=Ek=1#FTMPs;);8g9>1a zD1vA-Lo$f+oeGR${~Q+JSImj7m8nyOmaB^^h^p;f-}{;FD)xcweT2&RcFtss{XcMG zLa|oV6@%XQ$~!>Rdfma%e?n28&IT4Z%sJ3n0ytGQ z>K|y0ohVoR%84IMfmkNl{0%=x`A^{bH9JW0^|=4(=wEwkzc~@oq@BPYJX0fx!QtUc zq-5X#RfBTyLj(G|(Yu-(@MAi@tm?#$Ifqt_3Pj@@v{u1IK%c&&BR+?E5%!cDwLA)Y zW;(tvobAUKEbW{8Z)SB%AW46isi4qf{Mi^J9rBYo0IO=NM~qMGun1Bc9ySa%RX}#A zmj>&p|2Jt-cG`8>i12uj*SFWH9aR~~GXg?L0`Q4zw0rjP+Z{=Ch-e3Xc)Y1;HE2M4 zi1wP9lC#y1*uqW%F)4pM#iud6YmH!DpNa>pbF{by-fnneCv7z!ctK>H?C8{U6_NR%b9M`0U|vLbf|}X=X|h}EpsuEa4H#VG*?D9t$Zf_q zGG?JzR=y0pt9$Lf+SsW#aJc&%<&{ zh~9krldwI8+I$`zSOyh+d-miG8QHw+y$uOy(`&f-|GcS2j3V!LK z*zWdqbNW1b%=os?$s<7WA)v@yB-FhT-ku88W=3YK2aR6Mj_STWFFWoDoC|*0Xo`G3 zpC8#M+(ptl7MoknRu$+7!NE&^zBtcT!PkT-pWIf)SBTsHUdb+CpC*BlFNvN*d6;Bs zy?4v5(mm;BH)w&s_?$0j6#?w?Irt>XZMZa?ovJr7azLQd{%J-$ivF7q7jJ~OSu9*+ zJ>)pBCjc7jD|?<==JFrBlI_2EWwMrJ>IOSf*Sq?{;B~2f8%F$sXIfy^O3eNf%W1aB zmb9aRdTlw|tkUdW)BSm1bV8Z-6a{rW$?td&7;nFakE79LMwhP9KC;M#qa#~%n>t?D z$0O73SFRUd>y5!B3WqrTJ7o#F))mX5#2qmw8vNt7Iui|2csF)Azm|})ylcpJ>hE*>`BJksbVl&N)!|++q4S_T`F)^or zz=d8yo#7zmWg>2ECo_SukX##&BUtuC$Qnfr9MdZiA|FlmrZRs01FDvT%E4PlJML&< z%s~>=wI%o?W=qlvUKyuOAhTgS#)L_{Mg5=%W`+%3v1A|k-{gL5L+gZSqTWkUY@F>y-6?7+RGkmiUZSDX3R#&z&^ z=H5%l-=D0_9*E{2&Yv;(iPk=Q zDohNk4TTS#=MFGO zXe(L*Y9ifadzE0Av>58BSXu)gZ9?x8flcd)v?7Vt#Mw>Py4%tjNK%N}K41N?$BKB= zESAfgjk-1&SqkesK#!O@7M%otK%LbOs?CCcpl@@NxR;aNhxZ^Y%bMLJV2p+n%J4=KdSaSrh!9 zr;SHSTCCN>$Ck5qX)46u`TdPD=0X~qMnG+D8H(eXE%$OFAXXT8uv-23m^Ri$wuL*K zcfv;PY>Pa2vs_bPqUMdz-+~HzeKpKx6U?iYSZqnW70ZS|ee8vyXkG1oVZioSq@3|^ znN2T-aPel(c&auwCVddZQ&<2k%dG8j%W^a#hn9zyulM`jS%h{nAL6CtQA)q!N*JGn zHYHC<+K22p5c?;hK;tNxsn0lsN+q1rRma;E@+_^hAoO~p@kP&pCSJO!6=T}eBQL(h zRjdu;p7;A(|Kr3LmWiI{X{YU59=;nHvWcMxs-Zs5jq1C{Y)l8?spiV&bwOoII8?L< z6*Cpwvh^{PY+7H+AIuoShcJM^2!l~N49Almb4*|@5Zkw{>89aB5V+#HVN2l&d(6N& z%r{My40ej!S?H>I{Vr9yGfeD_{N%3O9;h1MYNVxG^&@}Zt@p}ew5pOWA=6Ou?}qnz zas;6>iRMi_0n=0EO-;lEg%NAyQkePfpS{jo2QXM0bs{GI@hEv)j)>|(O~B=9`Y)Fn z9dg!nAe%WVW+YoHorp)7RD!`jip5_ANE_XOT4WFhPbf8|uz1CY+c}euV*Pv?qa{|9 zHq9Kbm$vXN8mA2JIdEc*JYZrzna*!`1 zn;Ym>(KLbp&gwNCf!F86XYQv%OJ0umKb zL6TTuqXI21k@z4gRp2o~O&JtacLQfA1)O8CQ*5z;c4Ph$5N4Ed_{qtggBviT6mXLPx~rcS z9hHJ$QJL#&DbYd7C(0M~-GsdWb_8Ei$@%*i`-`<(dyIvN*keLLv4-@0tb;}$;;opH z3_khlP5VqG%8d!M$8b$va&)k))dW8TQ^PCcR9J5)24J@+-PN0r>94E1NOu=#N#aiC zDbP=y?%pgTwNX<%r?s#^H*(X^g$)q|XhBXEOYjt3p8ms_4#>LIGY~19m|v{DzFd#i zUINqFgpTqnZURia z;|vZ|Ck_o%$-aB%aQI*oGx2M+(4l{AM4ZOR8}FWRKtHN3UXl8RPZBs&ReBE}s64rO zT9Z#H`@rgS65B&fm}SUWmkbaapv+r$`Egm|xKlZNpy+^@8#TY4Ni{X6G&Kn%OyH}Z z?Po_$k~Q=XD&-Z6BrswglwN4=47x+aj(6(K$~It9`0B`WivX?gbP&X+fS4pN>*h_n zi6dnt>zue(`cLm%I5eBG>DUB3ez=)e8bQB;0q^)Q-$4ZXTTd#sO9i97sD@p0z*`@n zNXb@^1s?b(-OMOCb$#kK7sT0`U$E5DU&$EU)Xd6aQ)t3okBoF)5B(&XX*@_*I7Wh| zx5T3>jhMLiCCPF0mPSaFtaPZxGHUP9L4$->HzC=k9K#8EWMX)IijZP^paE*zz>BEj zGU+c9$*Sh414tM$KgXG1{~l>ZCw>2-z@-zpR35<$dJiFgR95VSpnwb5)=(D4M{$tU zdvl+zW^G2QyDtAy47Upy)*%Tde;e5asQCk{E)|YkG9T<0Zdg2PDRERAiQtt-Jzz& zflCqZS$3`dW7QZ>?r{sa>u@K?AT=6y#UR~bKw=1bZi7kDATHl{pirrr{V$o9%3@dj zySS4HPcFC-$u5KH1r%M@na2tfKp1L~qzGu8Nr334@0Cz8l!J!lhZx;0qHf)M=H+bl z2mA3084_+Fd0a^W5n3SM;2tUUq6Kj!4&UpUB#+`ur8Ob7xf#5Nj7U|vQc>RBp*_KF zBOWj~3y!@5UqCb>5#(9~GY%xhmq6XncZhb^66GyO`lO$KhfA=kQw#V~Jm6brYAKa_ zhj{~6r3hp_5&RJ&6hH_i0vx=hgsLd>L&uh`r7^m4WYYLJQqwZ|Rh%xl}NCK8N=)WX(}!|`*P+=5rPrHdIaEL#k1vB{pU&xT9# zah52CSkc)T!w2yOz`;D{YmTrHQ^Z4lj*}_OX<3VNWuPjNkoT7Ce7wijeMKk_HRu0g ze$k6&qD)5o;NHm1#06#$nH8>*`$aSWoK4|!u(Xvsao6rE5&zgjqN8{jy=TKS-Xq=l z#f`k=!ic@MzK=8QRYGU|O5MJtm5w9ceZUISbf(n-7jVNgL3a+%HI}a{zBECtr7cJy zE{)RK^4)DPvpXD@W7H_*_N^jVS0|GTjhhZtREgOqJ2mi@c9nhCbKQBO5 z+{iyFB?o;tmaAP%AA^2Oc(eXM1|PClXwW63LI9Ce(e4ow!w}tYu>nHaqzCAcx9i)~ zQ16M}8>Xa-m?}^SBQOd|I?mZn8ku@5gz<_CE}n7eRx6Y3_F>rno2nfShfE0WUlPsR zH+is`vkxjYQ+}7Lih)?-&Vs0Y|Mn2Vwu6|GV~KkR6thu{-dr8vbuUuCI4HHpmw++y zM_M%lBHLdr^1CsDIm7FFpOmj8#J$imDERs*J4M&p4|1Sk<$}aFdFDYsYCb?1;(-;` zqg>CE0eSf;v4iqSAk(10;VZJPT7^R6veTH$KSOA~02y44&W$LP)Of7$i*t2vb??dl zvtpy`UV!+{$s@zsRiZV>I+vM(^%akTN1M##E2jp9_Pn{d^E`#|!I!N7ev0k&lPvKp z-{S!uQ~@Z1k?wri7f+s;4#(az5Sf(WYyJnS=$Jjk=hlBnLW$KFortKtw>88|mxulR ztCt6oGjkSeiu%{_H_OBMH^PF^(u0k1`KuiQhzA5|qeKhyA_gC#UDwf(vTu!zC4EP* zhOs6RLy-Sx5!0R+BHPn11?%6cu#zvW&SLOg?lVAUf?P|@Y)1`?sURZkNMq%soF z{(j;L6aQ70KHHyvnrO;|t_^k3eoL(1=cl~y^>G=noWj4qqRnw8>LuiS;syE8kyEX{ zBICSxA(S(WegG!_GNO+L)zxtM{293!AD~2sEZn7!h0u_IB}P2qpW4rM3DP%SG|dPg zj--UAptg?Vi4?yBWLFE@SofA_6+Q68O&r!T{^-|K2bWla$e@y zO{zE6FQ#YLM!9?XD%)49q$zc)0$HN&%jT+PSLe@^X?|j=X18y)M10R(i=oj*AmPYN zEuk84)2GG5%dJ2tJi@tfoNl%_<}P2VtRrgeb8?$QQts~^snQO1U*z*UnJ4SU$G-q2 zb3&6!>^?nRPBWEc6EVEQRw>KG`o!xESE9j5Ud>9UqP^w*v4z`b)iNU3+Z?CY}MfwroNd{&j^g%!QliIf&hC6LURG@(Et z4^O4+Vu$_LbLOh{I7~ga(NyP&J)Q`L2UVWH$gs!Uc!m2SE zu^eS5+z;V^@4BoFx2VFI&dX1xw{J%1V()ASRgoKIrfrHgniVE@aLKU?pk|wid_4uD zrG4hg)|2Z7zyAjv_170APe$5JU_KosZzsYbt-wl~B@G2zy}1?-8+UcNa`7h`EjnQ}&EJi|q}>Y*36-7{ zBxzG`eEbt31t1=f@aG~(xiG{TGTYRMin=-T#z*2O5C3gUJ#0F2Y^4=W zWO9FZH8(6t`9x7>`F5QT9U0ThRxHSEov2(7D$NpA8PO~;fxNAXA~4MqtRcw$z=VZc zcsG&S<@JW;V2iHk%P|LL!5cQhHmF zL_SvyrV%8*b*~nZZBH28&&C$Hvl+cXv1#AXYt~ zVV-*U^>EzB6X z<~K=6tCUaVwW(`R4XqOabs|!Y95Kl$3>c*zO+E7coP;io)ey3$0UJ1&uxHz5JwQfw z%jvdAJ;)y^k|N4R`*Sb_m&Hqv_)l2g!S35GU%A>s_-$Ew;aZ*Cluwt*hgb+vDvbm!o6G z`$}T6C5=U>OO zn~J;)g$-Om`Sbi@7%M7%Hd$m9igilbbEe01v%XY>e_&2AGWQ^|O7IcmAdjkd=Q}r$ zM};8j6Hk?#0NQEy)^y%4se+ytiY5Ok4(4(=%G%H$F_1)Ea|1%kuP!1{os;0%|86vqxSBmPF2UmYSv1R*=&_=p^RdOXl7xmX>jwZe6_WnHH#ziAMoKXy@MW!GpgWct^ zpThMSJTZQZRH0S9M=}b*LZnAh+5Qvq0E%?n1mCeH;V8AJ2VQ2G=G=havq2WPeII>T zPX)|a-MCw2S>s*jReE_9@wns@3AnsGQW1wzb?P7*;Rd0C)yJLHb#vEWO;%f$;Up%&fiTrqV- zEw2=t-NzN!PNmY4j-T*cIP!M(8Sx3#hkwZE85E=2>1UUNTRuds&)}eZ6*DuXSORg4 zyqNU9AI36ZAb_bITBUzMqQ#OR`*5@+R~1AF3(YhD_-5o4IJMS95UcVskh550(}pE4 z>ocW2;kyIl^?yl%DTm2_db=IXKi`u?BINKk!I4?Nrmn9=?9vh$?t~Yq-aL6ZJ*Y4k z@IinoS!ZM$9v&*GL*x0p{}xLo4g$$t%)IJX<6Mzr5B(U`tXv`^%+35@NkJKn z(fX09axodA4L8^x9I&ARj&WFEaInw>tDTi?Ttc_V_<*EA{K#Xu)3k5k^2%d3iyFEI<}xsT_H zQgI;proC1>{gAEQ=m4O(fCWrl=&G}Rpi9Ptu-Eq+tZYXad%JDB1>_DwtU-pbN$g_d zeIcHP5lG{~3l?j_)zJT_f|bkwBbUDnk3^$}X5V6G+p4XdH@E+JjyD%X+6*O$h+Bx9 z3e~YF(+rhFf^BgoOo^!#bRH*p>};=EtBGpIzMZE?d=nTm1X0Z4%_3qdA<4Bv_qVGzj!(;&UTy-XhfSU0*|>=vK;_xZs&$Q!`1-pfYRY=t?4fSAyly zjiWaE$q69i@F-lZHP~pY=Ntg&%GlzMIR?b(>f7;ka1erUgX)=i z{9~v9Pde2ni6fitg8o++`*e8A(Q=}!;P}|j_=DZsY!TRs)%r04>{*W~CDz9aV0S

4fXt~I z(CFR3`v6wH$r9kDZ%p1tYJH0U(bzw<=KubW+zA8=4a#Y+40_d;y1s;+0&`_ zxJ^A%A*nuXwA-1)VQESB9-TRR+6o)dl(NE9<{lN|4?FUKLN)G7{}a*=79|`n&nUTem2!?)1YOoD0X*1^8s;`l~ff7Dq=IRYXSH zC`xP$C!aoDK;}y(jIGQ~fWh8_f)VQqpc#NMj;fyl?BJ%77r_) zi|wZh#54hk#~oyrkNW#tsAHB?@3(!21Y!UX zCX%lw|K!_%RN~W+-mpV3Q%bl|<}O$e@M`4@Sw);Mz4;O|;x{g<#F6IW`$hga$T& zML%dqMK`w>n>*8l%kOGeon~Hu)wxG%=v7GB+ztySeSsb*8a> zb2DE8a^}!`y-9-+GS9uU4z*G>yN;Tk-?`U;0AQhu+JQJV!?|^9Fn>@%#Qs4aPLJf9`KzM>@+NV1qAkNY}QF!!!Shw!p5ix+qiK({&Pa@f->BsN@r^&{RaKh{_at=MU1s78A+^ zmj8}EdQS)$1c!WFAyh@iO#6g`Lt%76iE@+NG{2K={5{Qp zOb-!|h(q)XBPdgRhcqOd@Lvve+@BsNnI>;jO4nkEv zf0=-Im02JX6L=dp>tRAXzFY(CTfhZBnhs(HV8kk&V=niW1j3t_B6Fq$BR*p1I2=9tX>xT4xZD5Cf2Rgd+*o}-Md#m499y1|H1TVL5V}H&!np%Vlh&kOlB-%tfr}_@%l*%@DDci}2R9RgBcN}6mQ*&Be zGWceyt$vNXhiBfws&)3(WCw6Cl+)Kl#Ms;C7TgDo{!lGxJ5`T2#F_ls`Y zDMUP*6)Atg!tSQ;qv8_;cq!?(!h~`nsqXT_-|TmP=vmi-Hj`O)ioS;4qUW{ay6hxb zI;uv)*>er``6-KWXcgVOLl=vuxP6Y=S{U3tT`VyKQ{#;Th^k*X4*3m94l7VPelOhK#{R>o`10O76;|~yw(a+#okf=#L~_mn^d>HQaIZ| zM)Wk=1f7n{@Nc5~~*S6X>@(7P}e7nGN-=J;Ep(Zc1Zh&XT>-bJco4 z%usxuEfxg%Fc z@H?wY>i`t`7iR4GvxVWy7-^G1RtVfQH^XvURoAbOUq_`H_^qK*&%D2@oFzhYW|DT8 z=_+z}=9thpU;*1H0@KFCizaED84C|6nxiZX(r{udcbWO6KuxVbxT(Lf&`fx|(f4F0 znV}YGw}i-Ppasut5|@hA?=Z`p!|V5&^m3gwUCkbmIpNc%^La>(weR^9E0CZ{(iybm z`ee#wdlfU-&SbTmP9<2@7rmCo=u)mCl$<1w+jM}M<^~Qe6Kq}umlVg#aA_K&ea^_} z%+f0A*!12Lz%xWEVG%lj+8xsahR_k={OVdVo(D4^3HAmqS2ZM^AA-*sxzf ze!~UGT$9))7G>adT-?r)wR}#ne<9iOJ}(`;iH4Q{a5Oz}Gq~iKuo$lgrHSoe#kVz6(dpPve@3Gl)xk@gFo1wKb$3K1~ z#E_=AVsc1pVWt(gKVqFhSRf6x7&IRd{Va~`&y}oYOO`PV(HQGf+%W@}N!tfs%3XWw z&y#mpg42oBYwAys`Ki=4qr9 zQJtt~HrrrqpSplq9Q;`X*LWh-Jq(ll3gu5|TB)W25z7}{;Jr1|!hQAw5vq$+x!h4wf=AWB*LIU}b zuoNdNETGuf7N7AR1MMGWDdTnSmEVf4b9U8^ zitsywXo+*FEyt7hP4ewQi7w@-qFGxhq+|>%C_-vV`hbD99Y-P5ZEzmpxw?)}l8*e)nTYu;0McfQ;AA@|Z-c-Lt7VBHM^cDQi>&JPkvQ~gQsHjH*@8%1o8G6TyHN=TkbB;x_zD{?ZwdNton>! zjd`NU8G65xWEF97P+BU&5LztmA-5s~3+mGaOQQp392*ie%#}sesyP6&zzPoew=L^M z8x9N*W;<)jB=cFxLLHH~W8{Y%n36fny3eo9Yu$RXcs+SBwM8H8u-!+Py6UbwYZJ^D zuFjL`(;bYNYfeZjs@l$e=&wjY%ST_K{3bcDUhQ=w7Gswc3LaIR5sg~gpgmIWYyxBy zbR@?#4<&Xjf%qYTLk74SV3`DLNn?`2*62`JB+g-Aqz26geaGi;XvX@o6E634^;UOa zYF}=a3e3H75^lf^nv3ID5&oEU?jz!X=P!+c%C?2aCv=G4Dy!`nN{mH;+%@YOtAbw!EB8eK^=E4Yh3iPRkm9yFo^xIZsKUz(ZRYxOMn;TLO3<2YO!8%EfBLp&sUE`}xpGdyoMqTk+kQ4T_)f z`Odbw4Ws{j|5bI@wD&BT(rLF5_f9zZ*eYIs)Zcz))2I^F-%_Kg4>TrerDiC{gbTLn z%^W58^NMz)W`#kol3R<|4BQ)Wz{He1NgZ2JfYUz!OfRbF<@J*d0OAg6(Pacj1i z^-Pd(a)b#F0KxUOj*;FgH;<*E3ov;}Q$5s?mSt;&*ZF&=HR8de~G)<$g2)5UJ)M(7lZu4Q=nmk)w&Zp<~y5 z({PQW|OEU>Y;nWD1nwq;f3*XL@v3s@*+)Yh zPW$%{TzR`Hy?*>syXf0p&G|jfAg*(SW`r#Pyw_~AzgM#(E|+Wwubn?G3hw{~DGjgT zj|xdN14}B4KRQDYvz2qAGVG-2XPZ+g${w}ES2k@qpjKtqVEgI}$5KMI58nNYu$5S6 zUlX81`;ygaWPz`9N4V{@CvYj9tcUQ?N4u>{)&Tc;xYCz)#fI|OhH@^ofbpNoa^7`~=Fua;}6W{78~lr^)01NyoGX>63|&JW_MCgJc} z5$7wViB~@lRP0#Nujlco;HUAr(IcP)-3!L%%xPudSb(B$?xXlnja0|S)XHZv>X@mf z+|_HbI_GWciTNKotJ}yLiK#8F1fi96TUl9Id2NK}SDY~nOHO*FT-i+#+BYk^=;A}B zd`8KQ`fHk{69^M#N)^kpF;s_|5#6o^To&fT7Bf?WkE?9HF2cis#LvI*6)qsBYl)ju z_C#GTUVvUHb72wSI4eY1>lDNJ>LnkmM6%XZ?d33>j-1ER8QQxi!BQp*mzz>f+n}lt z?kpg@IvVHciI9+llbArR?$*-x9dIp*AxO=txGA^4;`KQloV-5B-MKFvT`o=Dw(f8O{|G> z%KgAc?)~Zs6}5^;9WBjLl8rLNe+2Hm?%2Q;v#c@c#Qaix2-XZQcxxl{Ueod+jfEF9 z(>wc8W8FW{hzKCmIc@LOAZwE6Gmd#yx>(X#=lP{Ar}WE*ci|b$f6=tpl*1XoTO=Q^ z??~+kJX~=+34P_Ngj9br-ivlrJFjXYiNFC@CO5~D8mUMo&oS{Q+6juY=hL;Wd1&vT zC*3m=X-Cfyh8)a%sY8bjA(^U{an(WCF~VRy4BW!6uk)qNgoWs-g1|BqCa4B5t%Yfj z(-lzu@=yg4Hd6&r&e6h|3;Vo}zSuMo)-Z@*1t&~0{6+~KQQYBdIu^gwl9#328ioEx zGT`wF%Ktg()1M)a9_~4WIbhzd?>-HyU*og9Q4>3ppB{#4Q9RO89Zyu5V`9~xvb0vy z*dGnv`I<{GE$ziiCm1CPv)ECta;V+xN&aT7zp8n7d3o|-?fGoT)-KX;f6Fjj%YP(3 zQ_o^@Bd?>+dy`1xSn8;_14F>6h&c(IBtNCpKbmXrD3e9h_Ut>HcdLh$Zf*k$8Q#us z<%Ujz(eRcI<=*xU1HWE$w2*V(U2cN0{$0ak>_wl!f)%pjJ#R|tvLi!=it2@fB>tv8 z9DP)5Y_x(f%&>f~#kgiPy=vYB<-qi^VFa5Z*j|8b81+B|*-sPr7)TR1bnXTunK#}8 zgZ$XngeR+i!CfHZ2OmhHv9E9tBS;Bd@yE8d;lpJQ%;%70(02@p3r!+-TJw*&edvea z@Bj(!TagQxO51Q;8+Ap00KGPMG%V0LP@V9b;tnZj#|+wO+evl z*mC;RP6k-E=DQP)<75T0N9{aKm^gAfo%+pgI6}ndlRQ)BXGb?g9EX!EF$mRCeC1CB zn8RUhu*qJEU`A%4qf>e>lx+>!`@DRHg$-lvd-D<+vFHWa0`YOm}AF7{kvkn=Me;}s6= zZAX_^h)VX`PJWfnIF9w6WfKGvPk$bFoyN8{CgL-G-vw@Sn_2 zmL0-LRuUYWCB`;$5yc8dTnjq=t7g=9{WG!1Zf5LHh8nJt$5a6k5%@q$Vgqf3EZTf! zF~I!~Fv~8#wX{La3{Uqx$6g_fQ8%1W%nC$})4S3@XtseidI-j-him_(6s+zbXKjK= z(BU2me&r)@Sv+9AHaE$cRXnSMd*2=`M_!~Nr3QIFt@_lN>Fo7@8QX7v=UV1No$snL zJXvr=Gq$|}*Fb?&`cVLM)aOlwdOBp^Qa=--aB5F%lVSP~suZyP*k>J_)lqgk&!9f|74dDSTkIh33;^(^tu##Avi}g=H!w%1M3&(r z){2S9bOlap1198sXaLm+V@q2=yHJl#$lPCNdy1FhJkivJFZrgn=KM77mo_qbp$70XV zv&H@Wg3by2_FO`}uCj>GH^p1mZY|S{>1wDL^#kBq-nkt((N^(FJ-8jCcXoQ23QS43 z*`)Q87maZQQ4WW@l4zIpQd!{>d+qu;XMO8#Kc72LRhr?V;Rj-7VXk?P_bC|VMFTBq zF>SZ~7tWZb5RzjR%f0M4Q=r5VrCMGcWl5J_C0B6IssTqMMh!w$z|87G@J6tpv~qab z!xRvgz2O)^8)|A5#WJACE)jwNTmgz3CS+)nsgENJMOh{>D6ew zTIUw3s{Qzw-{~;f!#q3{0<{VP)mETAs0jEy6#Z6H5}UsTVf-;hkN58*vfL$6@RH<344Hu8gKe3dmh zG3&!TqZsS$msgpkR7OD*e?+|dNEe9sW}(yh7Za{@qFDz@+yxd$MLqD^Wqu+a-xP?8 z$~qkUn~Wp(2b~8CYf1KAkF=I7$+d ztq(>QMIe|?+>{EtCn`Bh8tkl7&ZB>%?bT#AUJs;9g}M&qmN#eO<^J=Nowr|7t$bGh z-!h?Jqq0*f42v9j%kLma3*)CSo-M$|_-*QmQ`QMV1ej$U%6Gaq+2leZPM-ZbA%+&e zeRctD`xGZH!<6#)LdPjt&BYCPiB3+QVTac1U|T8W-6E<+_%=_+6mc^zdf1FKyJTsG z!_lv-erf8rkZMw>W`Qu$DkQJJ)&h&~UFK4>0~N+41kwp;hw!HLjx}uqU=P4Ae03jd zL?f?fD%`C88N$+YHNe(QEnMF*)2UDlry`jw0=TXQ#5y|HBVj!e5MYdaEAm}0k^5Tlsdm;~_Ax?y=MZg_%&F z>BatLBvSh^k~Ni{2(Q+LYqY)<2WXLy5|%%(rg${26w~bX>w+J5XZ;!VqoK6N z5kb(%e}g+9UNYBL)zJ97EWGac>8Gwe)dxAmpT^NH5q)vXZ9(v{FG>y7$)A3V1juzvIIALP9t(c@n zhNn#>bmWZ{i4?`&_|mMCuiZ!GlbDVJiU&~)H`PdWr{rF=bQR<{61x&oGgo?3#(Y~a z-I+1RJYE_#AYzn%d!H!_7P{GO|0R2HH#gX)X|zikgzC!le*;bP(HFl8XjeN`@P2a# zxuV(3EAUn0J&|xb&Y8Iv+?Q8f@_6~5XDL2Fr?S<_aWO2mxtFxE-;*h0E@!XljLu}1 zOO1WxP@K&j=H!Ey5MGLk&yc2y79AN4(r!K7LtZ$po!G?#V)i4go6G74Sy++cRRriGwqV~mG;_57wwC2QcANU#e)JM6(h z=h0)f$IJEoeKKkd#Jtkf%Sr<%w|5q9&mzh4Q| zuSOpKXW>OptuTVd2K}GBIa>373-9}X7hdn_i(Gs!Tb4odT8j5z$0T=N=rHSe!gxf; zNK7%Hucd__39RW6nTk52!Ls_JD(1uP)n=?f`2z*2=H7T>`!M=9g(P{N+!Yq}_fr*K zxx_vRT;~IyKr&;&tcE0}hjKfc+WFiH<+P7y)#T7e)^ahh##UBu$+RnkweWA`Ebywz z_k)XX^#2uhRY7$IIvOorytuo&ySo&MySo>cA8!jB?BGz`9g4ei&|<~i-L=^E?w#4! zeaJ&*GI`8Ql24>RRp6VXSX0LKgWYzczg#l`Bt;<$n=71qD%wNU@*g{vq6CzMzsHfkK9^dEho{6@e_@qd6ar@ND z?4E5pVevU1!=G#z40HFN@6k=sKK#)2&3ckwRYjD}?}jQLo87fz!iSE{ocw_D0rbl5 z21nQATV_&-E}R<-`)piCmTF0X+o9Y#NH0^6&BP7IA8gJA6la1~(1g5KxaY^^5^fP4 zUQ|9K`=1uD$|YPk6e+xB)9JT|`gr(?Jbevwmpp#>CYsli=2p6FLcf94+bzw&kS~A! zmN;qDM}JKln&W+raV5PB)I9;M zL~d@~6v1BrX}`X(WJ_%74R9^>W8dcJY%AC5)_k>MBn)3~WgRUV@wL`IXtchH=GkCi z9UYDT))6~1t*K!?vOHU@XsrU>E$ zjSvR`5Ll*^{b=}UjB~>gLflfeR}9*R-(BZ-lVeq9g(k^3sw2rSarb!G4{`aD-H~uWmm`AQGnnY9*zvwZpArhR~=`}IpQ)mtp zFpuA1KUq+pYf6I??DIhJhM{ZP}+f^No@ABOU&bKpgdAh8l3hV&*-pOVGK zpmCy!+g_7t^jS|1wFnnpMyjLHFIBsbA38|6M{kuZ|qTHg_JIP8`qP)zhnV=5Ip{Ww~79*N*60 zv}xq^onpJ+yPeSDP&|8nn#A`9<}{0Ai*clvWX_R)L`h+It^|Y^@QTo@qCY>`LPTJo zPumS7Dv~ZmN~5(h{1&81c+{17Ft#PAXUI>>*OCCFZF-Ve{uItYu=;yj25}S$O@UGU zQ69mg0+~uFnD`?2jYFfvyZQJbo?q_S%b)^Y-1S{^0*xHr?^ zS=s+H)eY+sOnO@CB{O`*-S;s>WI{ruewL~cQqU3i5`>ORa<4w}z9c0P!PqBHdas@e zMru~G?c_MQx5w5AzJ?Y`C8pP%X)<*?g6+8Tyiryt;+(Liw~!{UI4^;(3qaX!nIJ$a z1aI;q3{1h>x33;L%R2-0rs)n}FsfCkbo(3xr=JjiCcInm+Cr>noqgsSms-xgVdOU* zFz~;`>nwMsCc^(T_cSKGOE3lr;WxQ@zszl-dT4PMjone;AzgM9+7IuQkVBJkqBI4B z;_`{%@l9l~hSh2;z>gA8ciuOIwH220WA5yxBHY+m*jIv(upWR4FBsqE2H{}-6iJ%T z{t32Y&*j6OOJw(UQ*@#Dr?KAT*%0)y$?8z3d#3;01*0|M}jNUl% zIlpK6dnLgC&PhLb`7wB-^?A>sH>_IHliXyE1*@p{srT4G8d!!GuBzx^~q?&XB%6c3)_?wSV+%j4WY71X#kXCvo?Lsne6B10Da_hL1Ju6{+( zhR;smW5fvZ$4ZpumrC1t>oTRkSa|NDUr{-5)DO{tU*@krH5KDO21uZW#)uU(GAmU< zFLuGXu*%B^v;xS8ADRDfgBPIh`TFoDDl1iC#-bpnt}Dw%z+3en-TF=)XWwcPld| z}n|0SxN8R~fu$t4CI)EqX~^_zLEee2`EY`d_K0a?~aqGSA_ z+$ut3gl0J|+$n3-WB`D0buJ zmgQT&1ku_q;4ety5;|m9dRPR4tJd>A>uaviwtZ;Zmt7HW<}vc1v zJ75nG*H=*WRU3z5*${S6@xk2UOQkTe3$Ih;+L)TPVImMM0&n5+jX2G1d@N z3(}(HrI?}vl78f|6);atwN1u5vyXJh~%OO(wyh{AeTmMlj5T&Uob z!JTGQFSLw-PLa@{5GY{p48;)mC$h{VCb2_2 zT0ETnj6G!ciB&UQ!C*P`lW`bYKYP(Kho0c9FoOHy@uF}HozQgb5mKS?ggN_XY*F4% zGmKSR-!%?FkWD>i;o)EI)P^1T54LvBb&hF6xjr;5OSj6VQq-_?yuPT7Fejl$s`KR} z6Z<(ZN(nKl;2^*@ro@GsXQBln&f_lL3`Si&xU z96$AXQcdivp{6VQtID&v>(p68v)nNF+=tVd`DttH=e-r*zZ3r2#n5ijq0e$4{zqp} z7q<(pCme5-qi+!65jkwxE?o&_e4c)rLxs7v!$^}CA+{%Cch}qO>lYRgm%JU`)0DUIPgzkI`>7fB`a?5 zBnsAd9k$R6%VA6#qQr^NnQ)N^8F`XFq}?WS$IeHZLwpWKAtzh<-#D%>lgpYFB>7bYF}eou`hxb|NLz&x!(9 z4bwV(Wm*UB`sl5Gsv9Q3vnVZkzo{9v+>|D64h}AWvwQf1el_l*fyr+u3^i1jS3JRPF4sg(-NJOPu4eL^kUX05HL zHK1T-pAc;Z)1snkfQ_13^sU5h%BcH;PWYPOH{Alujg}5jVwhOPt|?pIZc)bqbLFxj z;}!F-Ull5H(Fg9H<>A%_rMcc)x&?!4@7a=U04rbCx`#Noe#&l{n1|YN$PddIk4^cY{J%!e2B?p-4d!lpldQ)(V zPJ8?Mb#?V*oexb1)w$Fs%t0TgZvoD;ow}5a7!Va8R3U68$^iFTzF(F;R|(nA3EOHq zT>J_jUb6i#2i)B3#wVc0MiLF(7=*bYR5ht(zb}AuF5WJ4h5lA$qCOzxp9%fE1eA3> z>L?^2e0Gq_ufnZ?{QORpOLjS^qj*)bs?XMsX72p7gXxfrXhy9K>_EtgTTeZ z0zUwHnuRb79Y8TO%B&g@;Y6`01w^IvE8g}`R1C&{+~Qjl6Nf}I7>$Ersfr)v$cC;|L(w5QM;VR-z#`$V_r1?NyEhoy3>NW z{&U?c|4WsFSYk~R!ddO>94UHSyVqPSVs@=o?z237_wf0-^|k8N+gtFj@qkC%H5GE%{&AM@>SoIwo%=PP8ktDIz5P${ zw|8|qo06(ELl%Btl_fsF{bujDd~KDvrL{?)sky8o(`EDcnJJ5;I%r~&w7JIio(b{_ zRv^|DW`R)3vit-ME8xaCefesu` zqno^@NGU7MD1T`svUNGK6~UkWy)8$huD%7qw2`%6TgobSt+Ba4lcCA$DorNSZzFzl zBgR~ja>-@m=i*&fns~Q9_i%n~$;E4OZTK3RkdqVh%^5}`ql`r7OOM;`BqfKNW~KMD z8Gto)9a zdnao?foBL9n8ey?9%_qKH6sNA0aYoTao zIjqRdX=&sHQ2Z`*aqIb3cJe@zP~Ab{K~r7ra>*10u;@Gh?SD6_-|*b-Ts^BN|9lfm zt`PIP-d$pAo^NgIoHPp54(zD?RWbVKV8dR=Xnz};?Yl8BJ~I8+qUFim377Ak?tj@nLIE5pBi1!a=vH9bO<$C~=b`?&Gh+fVa3u-B?dq=yHLx~t!ouNa>} zMUZF$AkKxHiJNjeDxjzb$eFIGWr{ucFREL5GqTHN!{a-dZou8Tw!$!F@x&P4i8cU2 z>~Tut853Bw*|^M==Fqf*4J?vQ;KvmLkeX4vtV`kD>levU`Xliax!m zlwOEUU+vgZJvVS@E#(!}5$Cnkg%Yad^SW1o3?*aEXn;(2isk;+v8*WsdER}m)v_29 z1;RPAuYBX^fQ@J#@Z>1!1X~C-=3jC$;a}c+bJ2*&Ok)375{cj1cT4U64I5?@vDRL9 z7hYR>)V?Dk5%Vt;4ctcz9Bre|@^e4xEWd%0s5%i)L+Pf5lK9CT3Vb%?WjR8}gGf06 zVKfe!RtR|0GbR{P@RQC=Qz40dRO521=Zc=tyL#gfCDW%SsFImxj0EvCEElbjOT_%- z(}csF(jkIyu8tDH>ZEuee$aZI%4ye4nQgk1YgSbV(}44VpSa40*Q2Day}ru9F+~Ck zX@B{jg9C=yrplbv;OjiO2?rOdB$Ew*>+EaEh9@<51arb-Nu;}D*x2mnipAx?!N8k# zNR>!Gun)1u&hNFRW59J-4zW>t7I+Wl>!H8WH2f+rSVVqkyY!FZE=tjeq>9snL}p+m zNhBJsMS0*S!6lO5?p2c4j(oqj&un8}ixUS&OTP&1C7viq!>ivLx~V+XjyC>*XazxM z8b4Jz5s?fq9A+KZ@#veBe|1cUxCO*lGE+*y(&k41r6eJ2!N)PE3BC`tQ}x)4muW@> zDo8{Y`AiN`&uKcUwZh!^@dzJ&dx!NJUUPI+V9%KDkowV>N|EBYy41S15nY{5HS|+Oj`nxq5J|+vv?J1V#u{pC} z1LCjP{LC1X-8dw#?Bdp-&`yTvM>^l`{kNX3;U-1F=qZ}Ga3f5kuZ@CKl9aO0ev>ks z9<;y%vrjVb#>%axH43!~k}7&9Vp29-yNV#if!Vpn%oHnGW4_tJ@2D!~UoX@y1LHBe z*zwQPPvLCB)bL)=+MTRt)JX0MP){J)G?Y*C`n;-nFzTv!lD?(OHm&(BI`N8aTFa3; z!4dD5s7F6Xp>Z^IGw&^TSFQFP8)94$1114jNxnOygyaTjz041PKYgc9!Bp*3gN)-V zs!19ueH3c+j(0PSj$6DZ87_8wR8Iw+=0RuY216&{I#r>$SaX){k~2=!V>(WX_NnOZ z>21Zw4ju`Y*qFe{qGJ7pm1$RBCLOJ6rP8Yt4$iQ!%5M5Ou&=%^fANKK(HqpykmV0> z#uScM4vpcbx;~=jooW|*>lD&DiHkPu#~@Z*DTta9OMw?Ns=O9)uNCp#vb+*Q72>!` zoqM*Yz#!@vL`?!4K`{f#NJzeCJE2mMryN1F*=Ao7YxuPAohbQDbfNn6&62FH3L~DwE?US2fsR#@)ZG}Bmi!P! zBTXKhfJE;ed`UvfH?KakJZb_vUX5IB_KP+qQrvzcD= z1wVr^bfZg5QyBA4EzPCsR;7Tl*q^$TK5Of6_AFk(c6dKKFpu5!0!xhBffByPjc=oR zAr7>9R05IXNCXIbF^5$mS%`RZqekNA1lAT&{LI(RA$P_<8o9hi4q5JL)(bQwNpz`R zr;!AhY)bVe%|7y`sG~&PET`|6suAVO^vaKXjs=DL(El})@F;TjcIax zE2j=YsXdCJ>phZqW<`W}bI_8=W z<#WlqcEQXQPu(K8$WTiS)P{B~vh-&%)yQ<8_T)pf;`&28)>nYcA3@-BF@cYqZXyJu z$`S4olH0%a&|>}F<8rtX%KAq;l5ig{M?!ey>qvxbw}tjhi+x0x(%f!!;m4-=*b$~e z?n~2^$*$$|evCPHuw5Zit(w833n^}&Kv!!o>ylXz7c#4}&wE!LTxmL<(67OL%EC=* zJm#3e-b=`pbY=pC{qO(b!G%dlw_Is<x=X+~?NOcewOQCvadhyf#HQ#JQX7@K))~1)h*>9a>ch}Fh zH)O#5J=z1=#ELe&Kl^eYl{e2tntTdcefEED^rNYo&U=tu z_N@=RdYSGveuG)s$IVyKoVEsJ@}Rx?)OLDd<8&9mF#KQ-z_z6-!8gLUu58J9``f-{n-@Q zy>%xBDlE7C4q`-4^2mI8U6?G0K8Okncwdmia{wR<#s zv(jiCd)|_`7?ao&`{h6Df^c@U+3yOt4tNjchz0hY%!ALz3fTsHFeyaa?)Inq<(#Mo zN|>CYRUzgEqeUJa!_Kw_)0H^86MBY;IoE$^@7rF}l^tEby30q-t9-C@c&1A1AK#8V zs}a#;qBykV=WFY#yq2;2*Q)#eK3iNnsI1hHIdL244dh82wJ$0RvNAcY!?tm|d579B z22}s|JN!*Q6Y*alHS1?0BW5D9^KYUJzZ@d!oOj&Rz@@zcV}Rvage7`0RJfr{gTi~ zP5o3zyxuwd*O8}rlnUTTo2#5h)}@svF5VSbkd$LqUULB9Bygsk+rcV#%|MX1dmGlL zA&M!YNT&66AZi8VmQ@D~qQ`2Ui9M?MKrI?{f?`afEY9z0Yn<|P6Q#W-IG@NxIZDnJ zei_OjV|HK5QPC74{wRN7^rbQ5z`AQIj`zk$>APpM4fA9kQve7~FO{m?x=Yh=>hlti z7o%B@Q+n2OxN4_~&W5AWn9OQ`(W*eB(JPCmLbO7{`|}RbrjVl8iZ4?3W;xvUK2&8? znerm1Gch4Iq6hRYzo&6*oe}K9Uv+ccxt1iG5}j%{Qq&rMawk~Nz&t;P5Q-GyvT~Hy zgBrjeXOL2Z@&H-9B?YepRKtk|!Zl02kwg*Kv+lV=s!rEVKfb;|OSaXiv{6_~vDHVR z9)nX&Bp;Jo9F=_hmzNSn-^-e0hQTd0Hb$CF zHp^t@m+pi_si`~75h?cNvR$f{r92#RpF)SIM8tj1T>1#h+N{U8sK+kpM)@Y*1J&eo b?sw={H?QneTL~0$BtA}L8X6fjS>*o#*O;?k diff --git a/PeCO-EO/articleeo.tex b/PeCO-EO/articleeo.tex index a80c51c..0927d21 100644 --- a/PeCO-EO/articleeo.tex +++ b/PeCO-EO/articleeo.tex @@ -532,9 +532,10 @@ Our coverage optimization problem can then be mathematically expressed as follow \begin{array}{ll} \min \sum_{j \in S} \sum_{i \in I_j} (\alpha^j_i ~ M^j_i + \beta^j_i ~ V^j_i )&\\ \textrm{subject to :}&\\ -\sum_{k \in A} ( a^j_{ik} ~ X_{k}) + M^j_i = l \quad \forall i \in I_j, \forall j \in S\\ -\sum_{k \in A} ( a^j_{ik} ~ X_{k}) - V^j_i = l \quad \forall i \in I_j, \forall j \in S\\ +\sum_{k \in A} ( a^j_{ik} ~ X_{k}) + M^j_i \geq l \quad \forall i \in I_j, \forall j \in S\\ +\sum_{k \in A} ( a^j_{ik} ~ X_{k}) - V^j_i \leq l \quad \forall i \in I_j, \forall j \in S\\ X_{k} \in \{0,1\}, \forall k \in A +M^j_i, V^j_i \in \mathbb{R}^{+} \end{array} \right. \end{equation} diff --git a/PeCO-EO/articleeo.tex~ b/PeCO-EO/articleeo.tex~ index 58e1e1d..96b4465 100644 --- a/PeCO-EO/articleeo.tex~ +++ b/PeCO-EO/articleeo.tex~ @@ -197,6 +197,15 @@ used~\citep{castano2013column,doi:10.1080/0305215X.2012.687732,deschinkel2012col +The authors in \citep{Idrees2} propose a Distributed Lifetime Coverage Optimization (DiLCO) protocol, maintains the coverage and improves the lifetime in WSNs. It is an improved version +of a research work they presented in~\citep{idrees2014coverage}. First, they partition the area of interest into subregions using a divide-and-conquer method. DiLCO protocol is then distributed on the sensor nodes in each subregion in a second step. DiLCO protocol combines two techniques: a leader election in each subregion, followed by an optimization-based node activity scheduling performed by each elected leader. The proposed DiLCO protocol is a periodic protocol where each period is decomposed into 4 phases: information exchange, leader election, decision, and sensing. The simulations show that DiLCO is able to increase the WSN lifetime and provides improved coverage performance. {\it In the PeCO + protocol, We have proposed a new mathematical optimization model. Instead of trying to +cover a set of specified points/targets as in DiLCO protocol, we formulate an integer program based +on perimeter coverage of each sensor. The model involves integer variables to capture the deviations between the actual level of coverage and the required level. The idea is that an optimal scheduling will be obtained by minimizing a weighted sum of these deviations.} + + + + \section{ The P{\scshape e}CO Protocol Description} \label{sec:The PeCO Protocol Description} @@ -217,11 +226,7 @@ of interest. We assume that all the sensor nodes are homogeneous in terms of communication, sensing, and processing capabilities and heterogeneous from the energy provision point of view. The location information is available to a sensor node either through hardware such as embedded GPS or location discovery -algorithms. We assume that each sensor node can directly transmit its -measurements to a mobile sink node. For example, a sink can be an unmanned -aerial vehicle (UAV) flying regularly over the sensor field to collect -measurements from sensor nodes. A mobile sink node collects the measurements and -transmits them to the base station. We consider a Boolean disk coverage model, +algorithms. We consider a Boolean disk coverage model, which is the most widely used sensor coverage model in the literature, and all sensor nodes have a constant sensing range $R_s$. Thus, all the space points within a disk centered at a sensor with a radius equal to the sensing range are @@ -527,8 +532,8 @@ Our coverage optimization problem can then be mathematically expressed as follow \begin{array}{ll} \min \sum_{j \in S} \sum_{i \in I_j} (\alpha^j_i ~ M^j_i + \beta^j_i ~ V^j_i )&\\ \textrm{subject to :}&\\ -\sum_{k \in A} ( a^j_{ik} ~ X_{k}) + M^j_i = l \quad \forall i \in I_j, \forall j \in S\\ -\sum_{k \in A} ( a^j_{ik} ~ X_{k}) - V^j_i = l \quad \forall i \in I_j, \forall j \in S\\ +\sum_{k \in A} ( a^j_{ik} ~ X_{k}) + M^j_i \geq l \quad \forall i \in I_j, \forall j \in S\\ +\sum_{k \in A} ( a^j_{ik} ~ X_{k}) - V^j_i \leq l \quad \forall i \in I_j, \forall j \in S\\ X_{k} \in \{0,1\}, \forall k \in A \end{array} \right. @@ -827,40 +832,44 @@ not ineffective for the smallest network sizes. \end{figure} +\subsubsection{\bf Impact of $\alpha$ and $\beta$ on PeCO's performance} +Table~\ref{my-labelx} explains all possible network lifetime result of the relation between the different values of $\alpha$ and $\beta$, and for a network size equal to 200 sensor nodes. As can be seen in Table~\ref{my-labelx}, it is obvious and clear that when $\alpha$ decreased and $\beta$ increased by any step, the network lifetime for $Lifetime_{50}$ increased and the $Lifetime_{95}$ decreased. Therefore, selecting the values of $\alpha$ and $\beta$ depend on the application type used in the sensor nework. In PeCO protocol, $\alpha$ and $\beta$ are chosen based on the largest value of network lifetime for $Lifetime_{95}$. + +\begin{table}[h] +\centering +\caption{The impact of $\alpha$ and $\beta$ on PeCO's performance} +\label{my-labelx} +\begin{tabular}{|c|c|c|c|} +\hline +$\alpha$ & $\beta$ & $Lifetime_{50}$ & $Lifetime_{95}$ \\ \hline +0.0 & 1.0 & 151 & 0 \\ \hline +0.1 & 0.9 & 145 & 0 \\ \hline +0.2 & 0.8 & 140 & 0 \\ \hline +0.3 & 0.7 & 134 & 0 \\ \hline +0.4 & 0.6 & 125 & 0 \\ \hline +0.5 & 0.5 & 118 & 30 \\ \hline +0.6 & 0.4 & 94 & 57 \\ \hline +0.7 & 0.3 & 97 & 49 \\ \hline +0.8 & 0.2 & 90 & 52 \\ \hline +0.9 & 0.1 & 77 & 50 \\ \hline +1.0 & 0.0 & 60 & 44 \\ \hline +\end{tabular} +\end{table} \section{Conclusion and Future Works} \label{sec:Conclusion and Future Works} -In this paper we have studied the problem of Perimeter-based Coverage Optimization in -WSNs. We have designed a new protocol, called Perimeter-based Coverage Optimization, which -schedules nodes' activities (wake up and sleep stages) with the objective of -maintaining a good coverage ratio while maximizing the network lifetime. This -protocol is applied in a distributed way in regular subregions obtained after -partitioning the area of interest in a preliminary step. It works in periods and -is based on the resolution of an integer program to select the subset of sensors -operating in active status for each period. Our work is original in so far as it -proposes for the first time an integer program scheduling the activation of -sensors based on their perimeter coverage level, instead of using a set of -targets/points to be covered. - - -We have carried out several simulations to evaluate the proposed protocol. The -simulation results show that PeCO is more energy-efficient than other -approaches, with respect to lifetime, coverage ratio, active sensors ratio, and -energy consumption. +In this paper we have studied the problem of Perimeter-based Coverage Optimization in WSNs. We have designed a new protocol, called Perimeter-based Coverage Optimization, which schedules nodes' activities (wake up and sleep stages) with the objective of maintaining a good coverage ratio while maximizing the network lifetime. This protocol is applied in a distributed way in regular subregions obtained after partitioning the area of interest in a preliminary step. It works in periods and +is based on the resolution of an integer program to select the subset of sensors operating in active status for each period. Our work is original in so far as it proposes for the first time an integer program scheduling the activation of sensors based on their perimeter coverage level, instead of using a set of targets/points to be covered. -We plan to extend our framework so that the schedules are planned for multiple -sensing periods. -We also want to improve our integer program to take into account heterogeneous -sensors from both energy and node characteristics point of views. +We have carried out several simulations to evaluate the proposed protocol. The simulation results show that PeCO is more energy-efficient than other approaches, with respect to lifetime, coverage ratio, active sensors ratio, and energy consumption. -Finally, it would be interesting to implement our protocol using a -sensor-testbed to evaluate it in real world applications. +We plan to extend our framework so that the schedules are planned for multiple sensing periods. We also want to improve our integer program to take into account heterogeneous sensors from both energy and node characteristics point of views. Finally, it would be interesting to implement our protocol using a sensor-testbed to evaluate it in real world applications. \bibliographystyle{gENO} -\bibliography{biblio} +\bibliography{biblio} %articleeo \end{document} diff --git a/PeCO-EO/reponse.tex b/PeCO-EO/reponse.tex index ff5a80c..4965597 100644 --- a/PeCO-EO/reponse.tex +++ b/PeCO-EO/reponse.tex @@ -178,20 +178,20 @@ The paper entitled "Perimeter-based Coverage Optimization to Improve Lifetime in \textcolor{blue}{\textbf{\textsc{Answer:} To implement PeCO on real sensors nodes with limited memories capacities, we can act on : \begin{itemize} -\item the solver : GLPK is memory consuming for the resolution of integer programming (IP) compared with other commercial solvers like CPLEX\texttrademark. Commercial solvers generally outperform open source solvers (See "Analysis of commercial and free and open source -solvers for linear optimization problems" by B. Meindl and M. Templ from Vienna University of Technology). Memory use depends on the number of variables and number of constraints. For linear programs (LP), a reasonable estimate of memory use with CPLEX\texttrademark is to allow one megabyte per thousand constraints. For integer programs, no simple formula exists since memory use depends so heavily on the size of the branch and bound tree. But, the estimate for linear programs still provides a lower bound. In our case, the characteristics of the integer programming (2) are the following:\\ +\item the solver : GLPK is memory consuming for the resolution of integer programming (IP) compared with other commercial solvers like CPLEX\textregistered. Commercial solvers generally outperform open source solvers (See the report : "Analysis of commercial and free and open source +solvers for linear optimization problems" by B. Meindl and M. Templ from Vienna University of Technology). Memory use depends on the number of variables and number of constraints. For linear programs (LP), a reasonable estimate of memory use with CPLE\textregistered is to allow one megabyte per thousand constraints. For integer programs, no simple formula exists since memory use depends so heavily on the size of the branch and bound tree (B \& B tree). But, the estimate for linear programs still provides a lower bound. In our case, the characteristics of the integer programming (2) are the following: \begin{itemize} \item number of variables : $S* (2*I+1)$ \item number of constraints : $2* I *S$ \item number of non-zero coefficients : $2* I *S * B$ \item number of parameters (in the objective function) : $2* I *S$ \end{itemize} -where $S$ denotes the number of sensors in the subregion, $I$ the average number of cover intervals per sensor, $B$ the average number of sensors involved in a cover interval. The following table gives the memory used with GLPK to solve the integer program (column 3) and its LP-relaxation (column 4) for different problem sizes. The sixth column gives an estimate of the memory used with CPLEX to solves the LP-relaxation according to the number of constraints. +where $S$ denotes the number of sensors in the subregion, $I$ the average number of cover intervals per sensor, $B$ the average number of sensors involved in a coverage interval. The following table gives the memory used with GLPK to solve the integer program (column 3) and its LP-relaxation (column 4) for different problem sizes. The sixth column gives an estimate of the memory used with CPLEX to solves the LP-relaxation according to the number of constraints. \\ -\begin{tabular}{|c|c|c|c|c|c|} +\begin{tabular}{|c|c|c|c|c|c|r|} \hline -Total number of nodes& S & I & GLPK IP & GLPK LP & number of nodes in the &CPLEX\\ -of nodes &&&&relaxation &branch-and-bound tree &\\ +Total number & S & I & GLPK IP & GLPK LP & nodes&CPLEX\\ +of nodes &&&&relaxation &B\&B tree &\\ \hline 100 & 6.25& 5&0.2 Mb & 0.2 Mb &1 & 64 Kb\\ \hline @@ -200,13 +200,8 @@ of nodes &&&&relaxation &branch-and-bound tree &\\ 300 &18.5 & 17&3.6 Mb & 3.5 Mb & 3 &644 Kb\\ \hline \end{tabular} -It is noteworthy that the difference of memory used with GLPK between the resolution of the IP and its LP-relaxation is very weak (not more than 0.1 Mb). The size of the branch and bound tree dos not exceed 3 nodes. This result leads one to believe the memory used with CPLEX for solving the IP would be very close to that for the LP-relaxation, that is to say around 100 Kb for a subregion containing $S=10$ sensors. Moreover the IP seems to have some specifities that encourage us to develop our own solver (coefficents matrix is very sparse) or to use an existing heuristic to find good approximate solution (). - - - -\item the subdivision of the region of interest. To make the resolution of integer programming tractable by a leader sensor, we need to limit the number of nodes in each subregion (the number of variables and constraints of the integer programming is directly depending on the number of nodes and neigbors). It is therefore necessary to adapt the subdvision according to the number of sensors deployed in the area and their sensing range (impact on the number of cover intervals). -\item heuristic - +It is noteworthy that the difference of memory used with GLPK between the resolution of the IP and its LP-relaxation is very weak (not more than 0.1 Mb). The size of the branch and bound tree dos not exceed 3 nodes. This result leads one to believe the memory used with CPLEX for solving the IP would be very close to that for the LP-relaxation, that is to say around 100 Kb for a subregion containing $S=10$ sensors. Moreover the IP seems to have some specifities that encourage us to develop our own solver (coefficents matrix is very sparse) or to use an existing heuristic to find good approximate solutions (Reference : "A feasibility pump heuristic for general mixed-integer problems", Livio Bertacco and Matteo Fischetti and Andrea Lodi, Discrete Optimization, issn 1572-5286). +\item the subdivision of the region of interest. To make the resolution of integer programming tractable by a leader sensor, we need to limit the number of nodes in each subregion (the number of variables and constraints of the integer programming is directly depending on the number of nodes and neigbors). It is therefore necessary to adapt the subdvision according to the number of sensors deployed in the area and their sensing range (impact on the number of coverage intervals). \end{itemize}}}\\ -- 2.39.5