From 6a316f0b212bd86f7a152f38cfecba515be7b924 Mon Sep 17 00:00:00 2001 From: Gabriel Videtta Date: Tue, 28 Mar 2023 20:16:07 +0200 Subject: [PATCH] feat(analisi): aggiunge appunti del 28/03/2023 --- .../main.pdf | Bin 248514 -> 253485 bytes .../main.tex | 39 +++++++++++++++++- 2 files changed, 38 insertions(+), 1 deletion(-) diff --git a/Analisi I/Parte teorica/2023-03-23, 24, Proprietà principali della continuità e dei limiti di funzione/main.pdf b/Analisi I/Parte teorica/2023-03-23, 24, Proprietà principali della continuità e dei limiti di funzione/main.pdf index 1fee8303b696911ec39c79302fd00db4351937a0..47b6e45996a3e88066cbe11d5b8b32ecb4d93987 100644 GIT binary patch delta 64189 zcmV)BK*PVnl@G1F53r(<1T!`{GLyj@DSuo^j~mAozR$0qPiX>Tx%S1014Lc`83^Lo z0(_8sXp!x4CnS5!MR9bCls#7H)yVewn4=zppx z=L^YP_I|E(manT_ye_wMZnHzN+Z3x3R-m^?T zK~DW9k^~JA)YXggKh76So9tbZt|Hu-&Z**FizHo3IM?;!Uy}3~p)I{HQdA7lObiaI z<;h{2C7DpjGfJe;vw!)88+eyB z$cXjq$GgAZz4V%3y02;|bv5CKCs%ic^zSh9DouPh(B0?fLqT#k*#ZsG-#0b#vcGZj2>nxGlU4QpBJ|Z8c z)hw}W$T35w)kPDgn-Vd!_O&BpgPEw5j-tKK^(JZg{UqOqBtu=HtA(zh-U{QVIa3&l00Z#C`Bhcz4kTim&rEVrc`avWdD=g&VcD zqzuztVwvuI;Aq99C;R~5;})S^6*&4z>Ik=NmRL2^Q~OMEdVi5LEl#LxOv{Zh$TX1o z_XLA9q$=v8h~u)i-Ao*#nOMExAL$*d8-YXqF}PeOw5G`ghA7{1eFK<=3_pv~91%|6 zSo_DAB_9d)&N1ss*TgT9QsYFyY`N+qfFBW>ON|NlzFZZ%csZU^J5IQ3l<9s1wP?d9 zixhzSsXb>JhJU+>A_W2(W%W!MjNtA`Wr~KDhI>v=mnn>FvbsaQE+YTNV~&JB(US~Q zkU~AqhzIJ8Ry@e?)QGlmVq0W%W7l$KR|#nwz-gUA1*Ibn)$o%=)a;2C7 zC;)5`uIH77P(!Zw#pVrx)E)2pA>-Grvi0c<^efJjd;anal5_w>X zBq{(n^XrQ#W9}HBlyH;46aqLmXN^=2xitvk4E!}!HxYG1Dj(vRA%G!4NBSh3us{M*O(v#Dz~Oy^Zkz;#74}gi zEPwcE@L*RTbNzTi`vD*{;afhqlIwqJk98 zO9q~ldx+l4?Iw zk^sVWquygVl4`xkK9s7v8)=Rl8$#>&O5gR*>)sI95n#tY6RL+@G>Lt2e=LHzlv_M{ zG?|G+jKO!=R{w64^jz986;$_X-?;PRHf*|?Xo$+O2B}t^=1^b57mRCS!3IKiD1V~E z*K?<{pm9m;vC(T>bw11=}oVf`j1+-3m558w$!?_EBVOZ5UwAWP#Mf(HV zbaEttCkncfPG()3k)8|Is;=tHPQT8^BmOn{Izbp1QfJx2F>)e?<}z691`GsTeq=@X z*q|c@j=?|SiNrp5wLTuobaR(!P#dHA_WPLb?pLrYF0Bs^9N^Nr+?0nr+<%K7b%4TF z8eXse;00K0Kjh(We7M3Vn{o?lA--{~0E#T@)~c;rt32z{Sj1QrHq>|1k-T88j)u0w zIk;PUZ(NYa1$7BBPuB&Q0|eKm{rBm1zHUpXUyfK~&%viN>YiGij}zWXC}LZdZlD1q zv9dv*n-O25+o7^AARFPvVt;5$(sSM}o+FUOvwj0d^#G)-zZ{BsM$3Aim73AQiWLL{ z?@2%jj>{$BjhadTP;z4K4uORnmR5S^ep*`Dj+{#9lbTMl1|zIHJHvy7*fY)WAj3i# z8d(~$rF31*0*+?qnCDW=J4vMMXo1~x^jYG4AWaLx!hfVd_1*_uXjd81 zjh+kcRJvdSm;Obm|3(ohaIu9M@!O%Iab=F4jRA>USuL1K~ACQdnVZ8O0o zK~GnWt|`1;#sbOU+zzp@=KvF4ypl$v{AZd`6p{x)s1(x?1ScHD*$C28gI6PX9o|M| zZw6*xLCPP)XedBndcDMm+Rf>A_w{fUpgXB(76v~3;@HCElYcEt&LpTazYf=5#oeKq zg1nKrd^Bqk06cNEz?LmIzo*nk8(K;d?f6ui0KT@apC^(zirr`f+Y-dUTc4E7)wH_X z`eDpKxp-cH@t04-KxJOYzlRTwm9G~}p)&xFJ(oOxPv zrlA%5_Bhuak$)`)7>$wEULM@AiYIlWo0Pur z<1;8E?F&Cr_6j087DQSBU_k^SicuZsD`Qz0SM{^?vQwrEqQ*p%4J(POkzdIWab|c7 zYdW$AGfF&$wLKm4HxSQn6HN^Pu0V;Iz(xeKPitz_w12R2?c_C04fKMPO$@n6e#zXG zzGYO_Hw;PqTu9>GA0|8=yqf^t^)z^A7oqp?o2m}E$2QJ{#-ALSo9I|W>mnUfgFIPN zn|-t27u!{`Sf=1G?*Bu{yv<`?A1VL>YZPTki*2 z;Ij}~_J2$Cu*2mkkTMZSQI)NV_jp}|Q?x;pWxFsM;Ym!iBrGLoeqeKf%1i7A0AOOq zBgCg@d_xM0!|u9Hu`px9W^hR7Cd*&Fv^>hC+AnH_!pYr}hFH2e5t@St0CBZb#wb)~ zt$&|52s%@`bhy6K-+ng9>rryAaVEBS&*+})sQ90Gg6A}U= zU>Qm{wNK0aBB`#pemGkji82W7y5=|2nlR3Kb%Wur=Y|ze$cRBQau&LImr2G=OQ!R) zn{F~Bxe6iHv`xoww^*TPuqUfm#aqhc)_?c8{20VB+&^yH;eugG)s{CfrNZzcoo9ma zITb$sX>MhhWo+tIfqyt9JZNTsNAuoHIvZZ=T-)Blo4sdsXN}-wnajT46~5&Wm&RQL z$PoT`Uu+)A_!#SKEr}QSgG!1+8Xi#sLwg&GVm<7NckgPl!fIS!gv?Au?~C_fnSXD` z!Ob{$!W5>_?D6JuCgX;4R1XhFzZKP&Y`Znpv|g*QQ}h=>mhZ}ST#9Ze9`3hex%Dto znJ&c;HI($f!5MTXy|=^viJ~)m)ocvDZ>w!@UW3=2-u_k+p{I7U{{NhylW~Jdgdu$& zfKyZrA_qL~(Hc&B;J8H>tw2so8S2{EC2SvdW|x=@9bp#_1xzf$ zqWA+$Y+tv(!Ndn(F|L6X;Cb6OGKvO0the+w1rCHa!uR34B^iwne1Bbu?7l8spijW^ z^7cMHF6-S^@tao@=R5Rxxr(3pa(Ud~gX20*Wu+!z9e8L!6WjqZjjUx2vIhPy)KSc0 zlgXFklP!@NlYR^slWrS3lhK$bSRgkyH!e3IH#0LXHXt}OH!d|GH#IgcGaxoKHZC$C zI50FWI3PGRFfK75G&DIbGhGU0Ze(v_Y6>+pATS_rVrmLoI5jpdH6S=OHZC!jQaF0KFQ=~oG8;pVha0(YV1cvayMR+2hFcbh+9AK)e54ht7L;P{p|9|5k4ETFD z0C7?Af2aE!{VNe1@jDm{fgoMozzAPB!U13pcYy)!fb>PtK4@V87yPz|K3D-415Apg~$ zCL9HW;I7?Q?9XPM5lC-@|9@Y>9*%(8{~7}7=_Y25fV+FbbT$9F;8f)Q(K*1-0BN9{ ztfZVc0Ok&W`9K`Sex*0_b%Xsj{#N5A2=I49x&iEQL%;&y_AuNZxxWY43kE==JYfO; z|J(3SiCkP90EI))06Uli96|n{>^L>d{*R1XJ__ywuma++Ck_Dq`hWfV^Z*AhC=%h~ z`ycn;`xVpI)73LE68baozisO3NFRVduBM2DG!P&zAterw#T^3vnZ*bU|Jw!dKcTt^ zdn7;{_@`UkHT|n&ufG5g_)88!z(122B5|mN0R;X7a%-S85Q6)N|9?aMcgX(@;lHx{ zzd-)q4S_seTz;Dcet+Bl4>Q;m?&AB`0S8)7G>!lUNE{6i|LtlC`$Jj-7!>a5`rlSv zG#Ez&HG~5W%p&4aqClxXdbkG&?gN7w!O;-MKalyOH~&R77dQfDg!F*_dRuT&K;VDb zaQuQe7RXQAs|TTFWyN=%YOjCC=}S29JhL$B#lD? zj-XJO&u?S{#6%HDG%f^yn>herk3^CGTC+G%79i&QOZP{_K|l=gTl_~Eh$jk#>*F^% za6SA>{>^n5%m)S`pPNBK6vLcq!&*;YsIhvBtdA%W@28*Ml@J+u{*V;it2JS>l4zQf zJ%1Yun(GkSt!FG{oZ8QA14c2`Z% z&2|H3>(Ylz{CTUcaiMF`){$w3nKy1LwV#nEdRJdx?tdQ~SfK7#DC4KC1a<)jK4%FeZG^!Y(~@aui`F;Tp!OM3Fy?~!TA1fS6NfVg zp(>+dW$}T{H_24WE8pqeNAoDG#qGemt;F@zAJpHN zi|4o=ss@iVz~bGc6_9=GOj-EEYkT^gv6q?_r)jfzKl7}HKVRz7mx}qf17X(lQG8fWnI|4Rez)qBkE1T6aG-}wE$I`UxXmN(5qy^I8xn_ zdP?q0VoPIHi8m>%+W4w0^Z4_U2X-z8-d%c=JN+*&a&pA@z-?82giF+|F)iJv`|n zcRro35U4&35t*f}-X(IEu&6yfq#uJgd4~<}6^7s&-M_0My&p|<<5T2Ct7)IuMTbw~ zrZ>ts>zJq{48F|Te~G`HD+v2^e1N_CN=%iP3!P%9+kAUrCj^EN+|>$-g#U{$x_ zJbxrU(fUmMD;=*+B83^ACx0?8^2fsZ!)G3xELC2p8sX^eE!qcD%;;fodr7uk7)`E{ zzEz658f|+YtCqrc)%Cjj?{Z(?4~^^FI{fO5WJ8U`yZ2I-RALP5f82Df=f zNeG5Cyh}42?T9>?PMSM}w;5NEYXcA44vNFCEn8dEOY95q`s%Zm8h`4_KL4oPXgQ#c@PP2vv6JO zBTHaw3#+Rvi9;Xc8-JuvvR56r2i#_tX`6ROdslCN0_VtE6^#W(DH~RN&rWpN9X{gl zb-6-3;bhG?RH1XSqF;R+e*nqc>1!d}pN=P3!vm^}A)~*ihwXj#gj^M4z`QWgTi-cO>ZrS*{b zjVW}aSv)ppho4z6GZ~gO2L|_p9e?oFYO59|>j#QyOT5Vrg1&N)&Sg0=^hCJk0{dyX zn6KKNr|lSu-)gq`nsfbO_S3vR=U4JyYJVhLg0436NT?2YJ74036G6k7HNVp28NjN1 zAwNPEh^GL1kAD|;izg!Zp!t*O`+VPN@8;f#qulbEJ@cTD|f@iYf3Ue zuFIUa66MN)_MBEB1Ybq0X0tksccZODw$9L|MB8NRGT#MP^_K=_!JZ2%ScyoW#YEk!?Ghf9cPl)| zPHuXO&wm;Y-%Xk0?xbrUIvPJ>X8DmoWKvTg>q)n_=^0H~m8jY4zANGrt;A}2@ZHSy z%ev8l%&G2PWRcL}Y|l&_LrFm-jn1-Z*BBquw{bN)(cqcHr`(mKAn?Vp%i9QB)H>&1~;hhUlJ8 z3x8LfObiT$F7L5)B(Kvy&s;4H^ADlB^NKAng|O9<^Hk#^sZ)(x9XmmTH5Y0clv20u zFJLDkFmF!o7MZrjd$>OH)nr|HsGrhmCe!k5!seBOJiT-A^Wg+`H%5!#4NhN3&0>Ep zsm9SWzq8F+#(5T&$*IqnmzoOLxFmH{xtcFGgq+ZDt}wMWljC^XIO2qJHy3nI+W(jr@PDW zs9NUs6tg|^zBU=R!7eN?rL5&%1;w`dL?^xT*uB9DvSjBx6=&~HDX5vKo*t5Ex_=)7 zRZhh>WEhukQ-R=gyec&dx3DME!nQi(n+ZM}u+PtSFoJnzBTf2MI$1EqJeKjcdbQq| zl8s#oDW|6q93^!2;+8>${e7m^8^J3)$^^ry(Qh%d(Y8v?cZs=&U zY1g~B7r`$;&X_vjIBhVUiR~!0XsGUt*1@20#i@fR38K42L)C$+Ea=;y*YKsD7M({| zQf(B+3P?K_eK%xeTu5%RFpuiVlO1fzn_8(ij3iYRA+$-QEDFel+KDA+s=zn&7Ov|=b*)$X^(9>3H96O9_uAHXr@PHqm2c8j%YC*B(b|)<5 zuPl0>k*s%eNtMlty4t+=eIMLiM}Mxc*xhLMA|9SENgqm^m?EiQ9%-7+vvgJT$q#yi zIr)Zt8+~qel86t|mlJii7^kI|^=*FY0S*r>C4(4uMznn~Cx14I*yRBsc&XT`3aKhR z=(~8|O#{^E%@9H9(DKkJofmW_6mW!huy=iEje#mzi*pZ;OyiBE4Ml&29Nn7@ZV1wh zwx5IH5uytM`_(f1B=r%auC15PT``AA&BiSE9~J?t!krr&n7;&;NJdvd9|^Bw?wy2E zvV5c6s7%THYJWTSU7}OVHZ^l?36BT=wAHeC(}34CZj)5^78~OE$h&XDk*19Jxp!Wd zP`(hUVjy!f1ATWdpNd^uY3*#4dHnM6jl?O`*5ljcBfD7_RH^pnS;9riVhq;NOo3Mh z$OlBdx^tU}RL_QvQw&+nZxL?#Jm$&qIfnnlqYrYN-ha_zdRE^JU|YbZ)|1Iz?cp42 zO>fWjC5WTPO}>Y5+`l{8jmh0~YnM2|TCp}ywmAnrP1&rucQa(m$?Z8i25kX z;_`@NGb3kzD8(Wx>Al@PtWH^K6fpx^ui-fzRWKmg4YdjiTc|*t2Tx%&L zi%5owYIkRsH;IwAqogjTDTb><(sR{PzGPD*!he3sgzgXY(Zg2;M6`>y&#%m$9#kXGA-d(o z#V|Y~yHXP|bMu78m(PFe-AhYq`OI%DzB?(W`34z7cuI1|m%NZep7&ROL}AvL?vJ&n zDSr?go;CW7aX9B7++?~eSWJ_yulFjBLhv4WVU&a7=#_F(jJdxahz_A%J;AuR06N*f zH~lmuAIiQW^5i_3y;)ta@r1VAzg_z3W|TbQtZu1Zk+Bt;hd0mn<39Yb&{$lb##Mnn z|M|JZj_OAt3g1AT!pt8TwYNR5HO5(bF@G3BjCdj#?eJy!B8SSTz7f#ZO0HpDhbN7} z9hI27!HZp63@L2rG&E+mv$EV#;j-P(1%GI} zY2nDWW}1C_Z?-o{GB4!p4Dk}w4T`nhU6pd%QEqA5VR&#L$o4R{)p$`YvZ(Y?S^n4g ztf}u!{f;2=5N+W-YnztNvVr%^jCD>WGQvGa*!422tzNWkiCyAD({lNI(nn?L@5!F< zdAc%m*YgXBOq}*f6DLp~IPtTYIe#z}7OxvPHuZ-?DI?a%%Z;Z^a>lt$3eRfqw5*cjKn9IdM|5XoQ==@EmT7ljJw@{rr|%SZoT&)DWQ$V_{hAXUw|MH^HuS&X*=WMikwkkt71wh)z7hhbA$(X1dw~n*lcQz+&SteYG%ov`rxk%3Qw>p>|tT;W2 znZvU#U>Qmjwb+#&_kTR4er}jR4W#|C^)012zEG{a6&%8Q550=+ji28xNz=+t zQL)mC@;3A>a?4+Oh74-GL10oQZM(_r^z+v62fi_j;MT(??5VxyaV;>etkoGt2uZn@ z%TRXuq(g|cIA0&;bksgy!hsqI(cdDNXKDm#*;+Jk2|c}Y)2so*Nq=BBQK%knp`Fz` z;P7o0J#;T@kl({LMuZ|_TkXESCUM6D+FdCtnQF{uKT^8PUXz0$qem@rj)I=HSwD&? ziQqEpW-;o1D;qh+7L@g#fnN@7UhABvdWm(_yPegpRPqwh43NB<@0h$3OJ$a71+pgd zVv0@FmFD&8&RV(7EPu3r916*aKQBs`zDy7_EkWLvl#B4OM0T}Mm&?A*-mad>j;ZNT zn7ucl+&?UPqWz$4^|V~nb?f|@gqr?Wk&t5%m$M^lL6SM(d%J)#&px9+R7d^b)lK@i2vbS zSZ3SNr0z%2FIP$F?{|q4c31)1+Ix^&wdbq_oWq*iDSC|(3C#pcZscKxpB5W) zSdc2piCEPR>GvMYNR14<{m=l~>2caUYAvkq?8qCalx6 zme1(E$~c`G+`hkaBbfVke%zZ|T543^)b9jiB~f?!b_ojGhwdwbyz-?MRz}|1d-o{a z4R5;(_eF_5MG<{QsSkBzM(to8EvvA;bTz+QZGQ&K;|s9ij#<-;+?-ZccbI=(l)J5_ zk#A@y)fyoFN|Dr2Tajq6k!Yk|&7I~sA;zy|+95Dnlnk=^oI{8pWIkac^=E>T?HreG zQFqqcq223FhKf+gbS-bMOj2&GjDyzA=veGOm#mPgP(Sl_JPk`>Cf&4cuZ=G&1t4H07^-* z9lWaYS@5d0rE2^H`Ev}pa28s{A^>pZ%`3FXe z?$aIM-WtXyF~zBefSQ5~RS|Z#c`2;2t_H#@wDYx12cW!E$kxW z%!$BqHjiNU$swxaqf@y%L7Z9d$B8U{lTR`cg!zLiN&+&*kAOO=@*lsreEBs0#eZ#} ze5mUr-fUZCId8xc!xD4vLmIuLD&K9T4XPHFjm$*`SpyR#$x5zmWI={=CGdZ z=O0Z45O(+$WcMujRL-C|1oi>Jt$$Z-x~OexKG9BHZ`V3SrVdcva;(+Zr}Sp<AEq&F*ROBW)5wZF`Nd(|odycQtGH zCOktr0MlNMz(bn7wvoC$u ztV-$SbXMT}IymzNo87MHG^lz|oFjrW7;KPrJLy_qLmu?)`Eh;b! zvgU@`rJbA9aO8hEPLkpauCGc-;PIP9FS2ZX{U7#%EWejrg8@GVOiD>gQc#zng8_*F zYnLg60X7geHVQ9HWo~D5Xfhx;I5#wxZ-fCA135A0SA9fmnbP614G9! zLzi?&cS;Q~G(!xHbT`r^B}gftAR*nYNT<>%jdXnI`=0ZjbN+v=?_0ChGtag6wfDXE zzOVf-(y424N?JOZ!{nUcZk!MhSQsF!qM{%O0E2lzU@$ihBcryhn*;1`GY+FJ%oSnl z1Q-4fg0w3P>h@rhfx3S^@Kl`O07Z8P0E7ns;TMJo2!p`@ZZKHrUqmNYVSo(O!`2d@ z0s<&H!C?p-MrkK!Z&zDu8@GpJ{`CrAv0w#2goFe*{)7W09bvAv7Em}q1?px4b9^|_ z0_p(Ja~FT0kLm76Ej6$W@PIM`ai;E0C^ceo|Y74UF4KubXxpymvN z|3y~*i@*W+do}|UtKUsnx;t~}z-?XJVG1&T zQyxq>|JbZyZU8>8pa72`4*=!@fO%QiaQ#lN?d=Tv(mf;Xoh&OIr&!fH}M#6o`L4EJfEVBg z?Lh$G-@kvq89&I&(h2V1{SW=m{c`Cl7(7>zWB;q;fBU4QoV)4O^skaV{#F3X-`l|o`0r$@P7kt$0a*S~ zxe=HTZ1M1b{6A~`PssnD#D8b`zp4Cx3zBnpaQNe9`Q!ipxS@`=4&Hwg9#re@_OJme zP7iwk|6i&e?60j=fmzzRJN~a%!43Mb36gN@2Q`0lLU=)7-oNa&2sv9Xn5DX{n}y9^ zn)%DF^Ly7EY~e6_UXUt zkcC?~S^i!;Za#hh)YTR0jq`Bz4~P%o3whX3OPJRmX#==Ga3{Bi5WqvvegG>cSDfG1 z%+G%Z;FA1p`hx`c0bI)eAOQfE%D<7&1A_j81OZ&;|3;7p!E(X=4S9GUkn_V9KXmyI zg&V+S^&jvdo&A46Apn=-Kkz|`T>lZv{Q$lG13sMQ{RjTnEG*nzT_1+^N5T(-`WOE5 zMS{V+U=}#DQ%)8lp>`ibn=h&*DLpyYzleXLA7otUb8~(vGQo1|ksUK#PSSdvGpAH8 zH`@)7GqGz^m2$br{XTu-yH-P6>&<({Nh`NyO>3Swb$^CDk?ea;ML&htfK;HDCPgD$ z;@X3xP91~ajxBC!-J`{b_mcTz*G#e}6LG1WfMQs)YHNFSX^t`pm5}bw6-~EB^L~Hr zb-q(F=DZchgpk!(qo{P%EP5r;)=Qiu&no<-zQO(lf^O=Lm>@-u;Ppd>a5n;3k$x%} zUd$@pg~BH{c_kjZS%kjk@u6s~(M5kb&A`^i>4?EG((_sLrNK3aNA06cEIGiJHt$N0 z1N?_1wPNftDlH5-L3;VHDWZaILN-qe@T2oac}TjbS8h+yaYk#Hu#OGjT=1F3HNSHD zv9}qGCsip%0v;!&yMp}&fuu)XN1S_{R_yYKZFm8{dMOo_u1yTp)76O6azcNasHs(Q zVJ6vW<|#>*k_f@MQr{}o=vV$dxD%Ma-qR2Z(ITEad!B1a?c!^`B0;-KXb_l(Gz@fw zEhWohC0x)lu=&6zIp1|P&A4*n!+~$bRHwsUZ$%*@nfHU3(DemRny8To$WCwOQK~kqq*7f1*O5wS;5xjWUX;m$~oZVEZX$gM%Qdw0kWrf zwst!*TmF_!wA(q)*F*dq*NCb~zAfGOVtYGBOa_2W?l$sB=PmH=KyZJAG=!sa?i$uo zxFydCV4Z?U-}3^ugjOc&r2Ny%Q?_Jc6wI;ieqoqC;^&BeCbAIY#4)P+OF<>aF46SH zL)Qsuow1+5rl6!>!xkCPn9Zjz`n|XOokKD>OPMkxv>SWqjNtS4gCyb=bWvzhx z8#|j%7+)3zp5}i0lsQ?>c>g$C4WGX1r>CyxN3de%-D@K()46Kd=4HydeXHZpUOaUI z>}}wnhMP-!y}OtNn4MwJB2Rd4k{3A4qseaLkL-=i!}p=`c7=bJTPd`xE~NI%aeZe| z&j&3dbzhP)Rb2y({4n8 zG9}al4D-h#%iVvm92~b{?|15?3^e$7GBEtwH3V7_nt-OEm%P-_?#7sFnyScWg41P? z)O>@3;93Clv53PI50KhfDT*Q+^&5qy6H!zGfScO4L%mmgYQg?;@HXxfzLI;l4kOCk z)6#$@J_*yWQqT;x1M~@BouuZ3><~iEzJ^5<`NHrDNQZwiWfY%IyBv7?dMs3IM@5qq z7kL_Q6vArhl6wy25Sy#=n2$(f3_?VVo-#Bpr5h>Iy8_;`t#b&HuCVu@` z{2YrONy)GwG9(0WyR1#+^nHXK*UpE}uiJnLFJ6-i*ZbolAH?EGq2s608_Iu!MI=R=2}YSK z+}rK>Ud>eKG^A231(rqfL?V6X^*r8`jFC&ceyS_Rf)8!L>sav$_1lQTsP?Uhe~Jhb zfzj0~7Hky^p9Om@mPq8whG@k%-ykMBc5CKaun>OkU~2X%Vey8O$5s72O!sS?hq5jD z$6S9ens48DbY%O~ODG++###Y)nr;IyPZ!t`a)~0te&A9ijl3!&vbKdnL;M^{x?ySm zEndd+!1*8d_*6@B`1jZH@4w-z-f-_w=tKu42?Z-8PDpJAQuFa216Qx#eFqwT=VPL0 z4nLc#@*@cAuzvSqbJPDx&~i=F%5zj!zde7g@sO##y$MQhw!&UzfM|!-z-T|!OIEYM z9tZhl{h7;wwU1}VwRs@F4lZ8`#)x|>2kIuDvz9g`lob~X>bmyb^fBebVz@nUXs4e^PcE;%Ama!Mr{jMe=0=(3+XHc&0(_o z=-NT%Dg7DCFZ`9vX(q>FF(|LjUTH41yX#JS0grRUyd7gcPh~SLVf^y?jFEQ`lY*X@ zLvxDdogZ$0S=V|$Vej>POn}EUW_KoP@{nr18+FZr6bUO?$K7D^Z1DTw{ zElj$|Uk#!xL6@*8n=byis5hT%>htTSrRuIFFrSh~Wue<9QzB-oUZ|pp zzs+b!aqAj1*~FZAa^SOdgNhl^X zf%;&QaN+3KF$dFNysU2+P7HsL>pvIc6lblY?=Qiq7t&4X!=M^xdmHCz_jrP6$ogVv zE|okj)+tAMy@S!fAH`5*=(YnO{J1!`HnCwCx2bot9SIQj_3*r!nuJx-! z90cqu*WtFqtiMx~`>JVE38h_Z8hQ?ND z?e+`Ma-uMZp8S7ZXj4tG7Yoo}OtOw~XL8uyMby!31)P6eW*7T7=9*hzhKc(fy^prg zOS=!sLv@?ZB*s^ob05Bv704@p{{V^+9Cb8IJ~X|JkgWIP^jSE5oG@p3AR^-Ru=1JC z>3zo{0RO2B(Xp>T8QWIEUA;gvtwL|v7qx>b?n{5Zo%5CKMdBqt_laZ8vq*&&2ZSpF z>==bVqjG;lSc;b-IdM*Bpew)!XuSpL4P4+;^!HdlMlUYvDP=~dQZJfRG$!qyG)LU` zlG%ac)2?#PByv(;`Dq;9^|3qV$o`Y30z6`K?9$G~2{R%b<=6J>TO|RtfIcVtQQfK(}RYFdLXq?fLw@SQQJp&5I z#K^ivNjh)P{rxNSqe<_N1nD}?c;dQ?+Rxv=i4l@^XYBM>4eaW#W6{{6_o2J8T0UDT zZX|y|1jw{2w33g#1^`=%Q;)a^%4Y}14GR&I(m0k+e*qgWy~gt>zN?I`wkCr@MCy~- z{ju$F@x7~j*44Vd;C-3*_yAsoSX~-Ua>|XGsxK)OM-3<|0VIMMbUHEQ8x`pmb5&5= z&*L_5i=LE_E|vUpXa4-fvHTi&-5SN9mI{Bg?LP2Eg~Ef{F!t@wVyj^$)$4`9Q2Ck* zZzL3n?FDg}>myzNH?PSVovK`l_S1Mt5rf||$2HQf)<-2gTKi%coarXslWGMEI$e#W zGS+g7Lx0$fb51Rz_zT;lWM*ALMu_Tpm4@Ch$!xj@&QDOUV5XvwYegF@;VrM0#V>X*zerMNNqVg{Pq zjukdF8NhWrT+kYVhx3={^h3xKUO0d4ji9~pyfNJe&{s$-t$iah{)U&Y$eSOrGv=x# z`(Xr^9jTJz6CpTlMCjeyG#R}+xsUYW5z_Y~61EE)FDBBlB~bVL1%py3&b-__5_8Kz z(L`1{H4Kj*nRs>kI&LG?n1#njU(o`$f(+-^IYy3dHLmY8Kjy#xI#-9*`#66pFcPm4 z@R~7*CRD56Vh_CBBwtv#0h$}%5Sf2=zMryFEqI3T-fgR6J~1@Lm-MO`^fa8>v7?m# zl&hxD8!iz2mSdQ2-D%^j>_^*&PSG)YiMNah1tT*vNreEc4|1HT&v#K)iKxuY-YxIK z1HWAff(cuTj~M4Q8skiyv%i1#cDn~7j8kf~c(b``C`o4%+}orvw`)##*<&zbiM0#^ zT@IbizEzUHISh(+kf~fs8OsFoa%y@mFo08qZwY61I-ic+0l)ejc0_ZK$t#a2V_|t> z-i#GwDVa>Ej>g}Yn;)gJF100WX=FI14)T3GUDXMAEfBo1dXGO8$@YI$QofY86XKfa z7{7i0cyA=7InQ@5b)q4dNN}1St_=KYPm~%nt-9v9Q7=sRY_7}ax+W-n~njjrZ7 z6V}wv&cSG73F9X@hoyh43|Hv@RY0o0H9gd%+lC$ma#Ej_pU9^RdT>{?0ik^QIGbPl zc;`ZMPlYZlRR<(^vWl@HuuiwM?&B(dt{{UjJbaZBdVRV)cRgg^LBu zZH8vp%OA}6%VhAi9q~;#iJ?dsODeQFnvT^azr#N0-lwW6DpxG34tDw(ZGtwC zuS#A!_8RS4Nq1&2*$eReHi znQ??4zlF)NmTRVe;4^>5wtKf^V1^+S{=7Ts1?kffh`!V zN4>5>tPV+EakE%M_VDk}H#C??p8^T)vYaE;V(U&&Jq#rBpOfEDn7<0Ro{W@#aelz? zEz3xmZ?G_p_{-JY^(0axj#V)VS0^4nf!f)bcgm}8Q6buYtHVMWFXOI_)uzz<%u?*$ zZ_n01@Yy3Hvh<#YFk8M=&03x9Vu>wr_|XF?uap{?lOZ!PUVhW;gLTZ_q0CziNe?e1 z)X3B!bis+GDgQ+*pOq{{M$>%%cp+I=lDS}C>sQH*%Q!(QuARsFMMns0JV^~9?|${s zlkq2`G0o(Ek6_k)2|~DHHd4@?n%u=qXKJ)jSWUFhzj4xp!9D$MIUYqC zsy4_z9hF8ttvY{X@F-3b9rnqmbK>lfr}+X=N9`Oqdey^#yMN0aHlq1loD>8oa1MK$ z2kc;1#qT6dzgmQesUN>_C7VA{=x6jM+r5-PLn?!Rb5>LrS9Y&x@qU=?tefzy|1uR< zY;gF3jI>K_-zKzJw(N&(Y~HpJ0XZ9?lvfmr^wel3uxyyce+>Anw}ayAtH-~RyL$DF zO8Td~mo&cA@ooPsH@$Uc(&X!m(o&o<0c3qyo2Yj^P1SGPaGxfRE{y;FI45cKbs=jm zVQ&h5(TF;`_ffW?{owY=i$&?@N~va6G@6BQc`jpV#BFO{$9nKB+T z#@n$?`O{}tm1A!!mKDp{8nssnfeZ8}V>a`Dlws3HwtA*~M1z^B6l74P5$)1)iW7!u zU<6V`BM5zG9}v`=e)z}$6^ib-8QApn}jG~+pX7*$;Tl~VM$+t+$}q( z=SRa*T}l8&P&M1t!F~%0vzVD{Czn1Abr$|7U6wsmgi|?cn0#obW-(IOQ9ITojJdXd zbLA?(h$A<{g+Cr9{D_3lVd?troBDoB=kODzRDq~VuBVkb;VUpa-) z5FMaH|7?~$JJFB17PcOx@zV2k+}S+FU7D(KLh3NjWM?z(nG&q1)t?nz-{m8J?q@Ew zpC66(i>VG*bzbv+J64nAa6#ty+&eXCl(wL3Gm1F;dhj{1Uh(snlT_r&a2a#jEedJO zMoZD#c3DBx=GvkB$nhl5zKc44zQ3^C&UsRFvyYYHr~Mn>V08C!U52Y-v?#Ww>mjk@ zIG3r_j&3DUUx6jzAEzn@LR#U3VJbB4K8zFUlhyi)h8m;l!KIJxB4^bPuGLd`1#sPe z6uva&K6*SzG1AJjj(VapPHvrik}`_P>nrQYZdaQiN+6D5$IT5DVbN@V(|LEd&L}36 z$IRwxdr&$C8sE~$=O3L=v)ohVx|seRDDkAC_4TQKs`Cfjj0^m3QiUlylF{Z_8{Qjc3E1o_NEK5-GxbUemu8P!iQZtT7mrE;l#(g@Lky z*d5znJP_QBIwH=ML(I^BgwlIxhLtMvxqJN#xdrQ!$X8lOX0IdOGarLM%R(P1P={j! z4}o98OYa%sP*!*T!R|!dekNeeJDU|M>=R4_{?B$5D+h;0%*YEdI9Z*9USy>WgQw~x z;vH9%9iq-_(8>CaCTZ|THRd0}ce)rDxOClf8eETxDtcw3zTtv@<=M_>dJoJV@wV&; zJK*U93`;B@E8{O+A(*^$T7Q`a7{|Q1Vo;u4?oAJ2&I%p1w{&5j^^@#Ef_@tGL}G5P zr1zqToxhQ_9^h}GBIY+rGgAnTwH1qtv18;ijVGC9$t{rS;5GNjdy-Yk; z=4G`*rl2fk5J*Uzq5WCjw!<=QRmJmXTtDQepBe^#-`pmDyaR=oI>?*_7M&=A7$91X^9U!igV$^wxDN?(=vbnd$Uu#t9 z=28hPMJ%L@ZX62NA2Eb#kPb_wXA6=}b%nA5_wD;Qh76;&SQIQIQvD$bOK&v%QJG*G zIR<=xjqdVKX!}G6=;ZjAEchB(`4%6ylQfle%k~~gYMo%DI;M2a-M{6f&b$q@^79w-N@td2^@Xq6F!Jm4p zhb~N7Puq>i(oz>KC(R>MFkL?II#`!~VwJUodJxl_Y&|;{9B0-Y#lzurPDN-38b^If zrE4&(+wAt&6}J_%vss(qSY!zG5}nl;J{)G+HIzuD=MuR^?>Jo=A+xPhD4)E7lxp_l zkt=>sriSaz>p7=H_bsJvLRPBZ74)?iyngzAzXU^<3sh|GHo%6ejziW;!%X*ob}qRG znEy?0mP_P1ZnfII+73`)Rt|30N<0RZc+M z0$$S9qE{HIkH+7IO@%kDDHKm^KYd}rOSrr1rf|X9WY!W~MbfL^5l69q@f0pvL^0{! z0QbZzss|FYSGy6RF{2Ej@S}9OVUt@cz?60G13NWE_+XMbWd@BYDL$qAJDZzw83JJI z#b-rPDwZ(Eq_xLb{xdz5j_3wjT{H@sd&CqJqI%SeCkwz2^W?t$1au2=fwi%KxF#JX zFUC&O>K77}KViY>dBVnjyxVC~AHw!C7nlnKWnOp1N>@=XC^GNZ|8ROYV7}W)gLLyf z$JMNbrl-AWB7_i8(>TMDP3RqkW-ovEp)LUOI@V|xRwY48K>UUO$+g4tvgR#WLzv_+ zm$?d8pTt%WmcOS~B%us2#(A~yOPI+oBX+8*VQ(}GCK~)*#;>)1K}@O1p!iR=eCW?K zH0y%TSd_0@VAN|GB?gC#GH|0I?iZKR&{O!cocn7Py2I5}Y3r;tq-W>XQ9#0=_(K&v zUQ@hu_DB{qpk#%pXB-hh(kUToMWn9%e5usSb20IH>FaKM=A?O+`66?{B@^0ayHRe8 zR}sp3_hvGT>`>5uumEeV{hKyqOihJSZ%1n4Qto69TZhc}&a1(odauS#HnYCs3k-CJ zt()U=Q;Swvo{LwBfdlz6Po*NZ7C$dDom<$8JLm@-J6M(ap!J>9=hfe{Bqg9B+v|Av zFMGdJfWVKt%cFuebc0G$#6-z|uPwa|+K(UA(Iy|q%2{LC zZxS~sD7&1SrzL5h8;n(nCx0W=?5Tknpn`oD<4WAv&zFpxz`0;#MnqBKPV}5moOfBb(=%g~f7ZQ~|KfDnqejDg#5d zz@pEAT?wnBwqGvyvRLgpd1R>7UwSBA42h7Cr4?ZqCq0!3OTTOSxx=z{J*=Ro68-#3 z=0r94U6^I6B;$pdW&aeoBG!8q@IkW22tt>QtEVTR9~SebK-YfLW5k#_$rcs;fVNeI zunSCoTqb6KOYi}$($|9IM0QWLVw8a>HA0w5V6}jTEK^^31LRtN&1)y9*j;C_L4wSOJ^CvF1OE_BlY-nTDqiZ z&HTA{u9sx3Qu@qlupN_%ful8XE27#fk0s52PrCRaL0fcKxPxioHc{VWX3PW*TSyaq zYm4@G;xUk!I%eial;>jyoZ==*xCrb@!;5;0Kj{Vqwm(Z_ZsX92biFXiDMHy;Zz&Iq zq^5W6XdIHFNv)ibBt*Seyu`Z^=L^bbpmCO@C@}gtKWs~TFrDU*11EfyNEmDXLPVE; zqBO1S#KIzj-|;6|_ROQzAceP5Bm=9-M`VVr7~OtR1$WBG7oMpw6s)W*Bl`RgVtLvp zc^c=Yj+8A=zWR(4dwfwlaBk4QF<>D}Og+t~p;@C%Ve+BaHzYJ};Lb=MOv>JmN2A!K zcoUgF8~@|%M39|Et!WC(BRQ$P`To6ss0@W#ABmDyAG1fK@wWhVNeO3bz8^(EkGHNR zCtPo4OiYGIN&>NeUBw)5t!X9@U!8Ijfy~P!do+;{{4z9FJ>=mFKw67 zsR23|a1QLL8s~a)nv} zG*$@C1T{AY364TOLIFb)SO7y?6LGF)I*5Ci~oI6zNT1EB2$f&Bq% z`~f@y{Jk3h9}nNZ%l*y%RR{|EoeTnl;f_uqm)FS{0X7vjQ za(_U=G5H`@5Yz!=i2?lX90X93)dhes1O6Qk2}VGjP)Hsm)Zy2NyuZp|Zdnm#B@cIW zguqZp;$QtKKoJly=Gr}Y|7_MC26uyb{xz(jFe~d{Ls+>u@fyIO&MpvDg})Gti}*i2 z8wd&@1QZn!5ETSKoB14 z39*8@IR1B36$Qd5K^A6%VKXP1R3-F!;V?b@{DoKG?rrhj;%tMAu%2p)0YSK6?-Zy7UneS|#` z?|DqmJVoAsmGd-Fj#2y_qJIZVhavn{JCU@NO^+Tcxfgp?*XMXQHmU+85w)OZt=9I6 zf^-cUdNIT8l_#i1%YOYep+j2stQE)TfYk`o&?K!?W_5|yQ{p(c@>@%N1O0Op-3%S! zerm4%YkMrOP!x)f`{@+~Z8O6h5-d|PJAs;797Gk@`Gl3>^Zl{?>Xo3wq7uX{P&pnh1?>8ref zAUOebzGgJ=yn=>hYk8(@2Pu^H4$pzDg8#t1r#GOa&B#W0!8Uon*GA8jQ|Yr8Ti^35 zoacI)oScuc!~Mr3iGTEtGXr#l=F27*HZ_Pcu?XnHV{~M{5&Kw{SQAVX-ciKTJ~%)p zJuF((;^}3mE+^gj ztOu%??Z+tC0VYFMKkXtgoV^?K9Jq)hZ7+E`WPeCG?xVW~O{xoEf?o_m zi8tsuD75P>Vi$`IIdVe_%W7z8@*^+ykG8sJitNeO92Y6 zx}Mrjr*Z{lF$8)*#}0}%2|XiJOa^VWd|6llv?-F4Mt`{+tRhpgH>Z1xAN`yN(AiNh zDgq;;KJ|-mpzFD9#c4|fo>iaT3o&>7x|1|saQgtX;d=Y-z#Xcu*Qq@pL3b|Qj(|2C z39kl*q6T%W&TKz%F|S~U+-A}WU4jV4&o@-neV3Vv&>O5gNQ)Lok~E)uR6AU`>UzKB zngW1R?tiOpO8rPYiy?QdxJMZrx%71>S5JZOJfo?`SfF~8OPf{tpjE--`No3du>2hg z`2n7_?eTM^5!7Ofd{ecU<0rHH9gQ z4TP4g-!poUdl+mQEuDD3udFmx4U4{$aQ~&jLw}RyrtGMvFHDD*3%RS&LN1;5r4xY2 zMo-c!=G~OOYsFE=FKXUottJfVFx3pI&Ya!;Q-YrPIFw9ri!6m4w)(J|JpRW9;S_@2 zo^N;ro^$+6%(GTE!71`w{E~9$;Nk`u!@G^_BVFMZ+v_|hRycR`Nr|6y*yo4h?p!&o zo_{#TD9vxQkh65)MM4&W-b%1V#64x|ra|sc1eSlreUI%SpkJ+`!)SEdDJ?#LyQe#e z6X-x_tBTLdzZYj5q0UcW3=0`nVVM}v|o_Q%yE%%k&cSR zHVrR%0bj-8ZddQUs*U;yn=I!oQtDRKOB~j}iMKNyRcbVxEmGngXuci+@gu)Fa9LvQ zmX1j-2D42yKkx5(#P&7@8@lbWa(_%gz5h&xLs0VTvDr;2d=H*j3FStB25dvH`r4GtAx+?E03kRju2tL;2<^T~940(tlN#f2x#! z4E|ayvAJ%fGw9|}8oQhx$&sg1Gw~Cywe9E170&{~?v$;ta1QG!URX&~3G>Vv+SJ?^ z5c87{sgOg@-U^(ODI4i*j%~V>4}4s7^F}VWt!LJWUqhcYF7?L(qO+G)?|FkVR$04% zOW&k?1Gb(f7GN{&X;AID8-JPGcw~MT6ZOv9;8_{VdUfoJtIH8Y!EqEM#6^+&FjD1$}z+0oUjsh2M-f4IO?fTse-W#T+t zQI8A7Rr7&7N1&zKx3&ED=`G5E4K5XeNUOGp~b%Q4- zcvAFubYmAU{G#AQ4#+)+Z)W{YHxFe{W9wp1#JSA5y6(ng-4I{)M5#*_T}`Zpml1tr zv(Pb{m5`@V*!;#{8P;NMjm=!Uw~R%Y?A~!RC5H=Iz`G*tBOf&{yUe?4?vjJD(B8f$ zs*Q8SRij#J(tr5kUdkjVKauZZzo@I;n3qHo8KcC)$c-KSyHWXcEw~dP7UCK{sl(B^ zbk4VY$lwixq~q~sfsYSkjw?ugRK2`Qj1##ysd4CcHqNfb8ERp!>F+<@|Flrg z+9vb0mdLix6vuE4k81_M| z(JWET;HQ0!(Kbfl(i!#br?nFW)Axm%MC0@*-}|nPdd$AIqiZGWwaLs?$qgqtyw8H< zZPU`49DkS2=S+(emnj;gqb^^dICWN!Jfi~B?OLai)f}YKEuDbl*&a34j!}M>iLo!a zjuFJ))mq6~f1GJGf@Fsyt`t%sRgXW@c#dUr73Yt32hr51JKTV>(Bl|Q*iT>G>Ti5GvSc`JKSj867uJS6Y zi7N3%^z$R_k~S-&I+^GbmtP5{em3MYk2ogs!H2+|zQtHAD#oU5S`qTTS17Xd@{FUV zTlg~nRFtOHMJWs^JXawwOsGNpmf8OECw~B&l+|u?Q$t9)?euh>`xMc3#F_818@XSl z#Tr@2b<%1BlG{hxjo%zddck`7xfBvp+oEiJ^1Vz$K;e8b&|F{tq4^Sv9`Cr681vDC zTdLDu=tV9p-SEjG$KwE)qJ^6y$>f&WfqPoNSB^;GdX_lroITxI5ZM{^f~T&0y?P{b-Fed0mw(6y*!eE$p9o%HiTSK*&eXtLE`USdmt7#2lrzfSz-qNA_~S+u&EYVON^ z>8G!#Tj|SXH4s#XglC=!(0|=%hRD~TGh1rq$~-8YzuVw(*^(oO>RGg-t8UZ?tZnVs zF+(vo*sRsr$Zp{&j>q!gB3@YP^tiR9Jk|(~meDhb=xM0oL#F*xZ_tj2*r%bro`J$3 zLGC1`@grIa=a467J(KWIfFtQA68j#JT5jL=0U*AL!H0yxD}mnW)_Z-blh}4QKNTL=F<+m1)7>d$_ubi#+l4jTQ{w!qnerv%q&Ncz=8iWE zIr^h#U8g3+eG%E9@Nl{T;EcY6~c`rgxFd z#(*-Eb%looRy5vlpx>7zqDx2p-uZPb@Z~+ny+*vefa;4{o81COxgLJojg-4<74q>G zoa6zAo%ZXhN#5U_d*}UUzm-VS*^lSASknVcXyQ!|EA!Nas()cMWRyf`rpjl-B9!=< zjFW1h2~^Nfg7iZkfRW z8#i&<-L1jYcf4z5%dpsL!eL0{su7u+b)-DPXpga%2vu; zX-XJq-1SSuC!zQ;euJ0kUDBm3eGg-WgW}-JMfMp#LVvD6 z;GASJp%YaAzt6#&53j7e@L)FuwOY&1Y2GAEBOWPxi>FlRoM%Gmsme2RVb8opc;g-z zPlz?L3&Wj%q$1|y{gztjVAb0@>+i*D!nTZ~^FJ6bk&IJGefCiw4@!Sj#}GvN5KZb- z>tTn8CbW`SqoR!-weUwi4#OnX)16E!%p1sG(Pu^;D0&)wC|~dP6a65Ho7&T zOkmcXVr;Q9GaN-ibuNmxZTA@_ACy4^-C zJx1tx%MoX8+$lm?$K`S;ZBCmw#f^tIvnD%y1?Qk^Ns+fl5=GVVaNlMYbI)3)naLW9 zuGMd=F`GU+??~N?%&WBWsZ8Jlq%o*_;eSD1j}5g3%zZH`cyG@#*oG&O;uE1OfK~=S zh;Wk-E%Mj=uFcWJCXE>Awo@l@kedKNNbjH~$Ah4sF1J&0FTT(d!@V>}wkuzUYA+RR zR6ZGv)8zNPbxo`fp;}7;nCv0`-4~F8VlDCoUK10156Fh8AHJzZbXgCXn#eXh+ zV)6{!4P9SEQ%1SVnE~Z@_QRPPc{2w*UF!y422rL|Fw+z!Dq1TR9-B4f*OaTROO9qZ zBMDNaTtwBkNAicSck0bqzi}REh#JT&PZo13Y*5S)tj>PyaWy~M&t@x9R%r65;mYfu zyLgb~ag*LnIIdSWCIGa=mbP_=9DhE(_+tLC?$JDcfK?ht)yqD6WwRKuUS@gQjp%5* z7}1&+x^86d8}f_G2Ty^{1EyVUD(T4Ew5F|_wcPziIttkP!9N=3X4~0*%9O#{W?2G8 ziwvh~%C3kxZjSxnT&{ILV|Uo7@}GYw^W^ zzQ$*CMIp&j?qO!l6ZsIrhYkdih|8!vY_9#$RN{+azo7v~fku;E68@9IvnPuH3OcCes_W^Q!aBR)s z3+RGL<}?;VuA95QB;9XrZhwEkz8Y|N_tcOsjnST`yMVVZ)sUwRR8Lv&HT`%V>=M91 z|CqAZS36(*bDx5v@Cz?`p>y~%OKN$AQN>fm+(n6zqlYC?VZu7umSKqs8oh_?BXf@T zOcG_bwb$>SyM39XatbS3Y-@SDTS7m8CXTDAZNI(3b>qqv-34_O6@LW~_9aQ>)2I_` za)e&q)m?ZuK=J8KOtjeEpsA^$)yK5+w4$rqwIhYx61dxff`P8mui9Qj8$0@b=RsFg ztct-$ciOEE+Ur=qo)O${A-_g{-)R0R)Rj%DG4n3)>%ddoO$9g4nvBluCJo<7ss=Z# zrF1c#uT^q}ji$Y$@_#rHZ2ZfC8Q2UIwZU51M&fd1-E+{g_OmldS5b$On$JD=wI96C z8OX^CWH$w1YIqJ=g4| zKPW}$5vz0zY)|KOTHctTv+EqTOS4d3ao;D9Z6@t8EPE0_r9r-b;R;l}djQ1V4N;nv zieCAyHFKBQn}2*~ZAORIJBz#VXLWafw}G}>Owp@b7a#WeQ@Ou%z5O(>v)j3tIzzGL zAMw+CW^ob!=)J~{-jn3}lM^3u5+wZV0<%I%`!0By0SSW~c@iy2DimeXo7W|5_g!#` zRrPY;BA$&@ls@jXc7ZN0? z805bS6(9*sljCfmEOK9^fzd?$wDP>5d1!vsz$d$0Ut-Tl2)@H?-!yw!Q+G@Qo4 zmKwg}R5YB-;<+0dm!geu(P!sl62J#rWQuTq->;;NVTQ2gVV;O&U80zhHUg2q3nd1JE#nOT~M>3Nh<&y0^&#RKN z;XwQpM^0!}7tz{#XjDx%8_BFIq3+KR=GwoZ6|%E-uJMpDg0Nd!M7K|L+}Uz9x+0W^B`k! z6W(x{Rds3<`k>)SXv-3lWm5fxx6%uz{{f|P9srle#Q{GCMp{r%M?#kj#sP~0FG-h| z#sM=cG%+y>FHB`_XLM*XATc>HI5i3{Ol59obZ9dmFbXeBWo~D5Xdp5$H90hs!D}af zjQ0gl9O%{sisHcu5ZoGfcXxMpr*U@;4ha$x2=4A4+}+*XU4uiA+nG6MGUtD<>fWLX zdTm+Tzb?p$l~n14%^XaC5)SsR^vn!QJOEL76=o&?6B8=~6B7$OIk}pZt1a+9Vt8^5 zptFmWgFVl`3`CuQ#;zcln6WF!PTs+P9w6gp3t(miFmv!QbMi1T0a%!rxc_VD;LHOM zGj_K!1IRM~WE|{)F7V`{4vt>VRu-17pfLaa2%s{h1~7ATbJG3g4iL5jI$N0<+XLi{ zT`hrjpopf%wg6QJQ!AjW*Z)vZ@madMI`S|wdU$v+7~8opI5=AfP}2cCtXwUB0V+Tj zptC#B4Dh>PfP%3d@bAhP;K>1MmR2r*%T*oBT|JDQfdG)e*2)xU?*j60vo`}e13L&{>t1KAR(*_Fa{O)pYmKxovj>QT^L-f zY=4)?_?rgQWpR5mQ3pFapuMXL{O|n4tekJu><6`U%1h_i80sVabt@vLA&&&)kvoduBm;f!T?BV~ggTz4d zzcFa|&Q_iPT_(`(F$0)>|NQewAGBU(4)(TQf6V`yFQcZMj-s>_?cWvuqZ1Kv@C5kK zvoQhaS=gBX%)gh66ZFARZ%&48YNEir(R!QR0Y(OdjFMwu(AD?*xCIn1<+U-&Hg}8 z?q&|4Xf7^R|FQw)@h3;nC>eqO6PDw*-pLJgAAej}0F35;ASkZ6`M(%{YyUuY*5AQ(!AdY`03~HU- z9|(G+82|WxvV+EE4_f(u=|Lqs{0RqgcK9DPr~t=5Y7m(t=$p*`f2PRB{2%H6&X5h% zUPsW|a5vw++z!UwvZ-k+^`K`#&_G1pfp9y_$@!md?O`e-+R2+rY}!>|gT)HNe%w;a?n} zhPwR=f@b0VF9MMHzXGy=n(6(g86aD4p!45k|MT3Kx;cZo>H60f0_ZLJFaGQ69SHOU zn!+#5JDBo@Sl5KKK2!2T^Usj)X(mzA`z$%PxjiAji>Izk3)*nL6OJG1e!sdS zPIW7Pv`qBkbJFzVU3hbxa?3B@XTxtQQ+qA&i<6lB6L}}XwS5F|`1EQ*`@Szuz8Zlx zkWJtnGUQoKZd}MpIp_}_y^@}_eI+ZSVe@;+`;{EB2+t+c^wH{3dVz(r zuJi=3G-#KeD6_YBGiaF;Z$vWRXyN@%qgnHReRMWizC6x(ua&8>xOC!>;pku!K;EK_ zPEq)X945$ME%+4Wul6r`Hu2>XWg^ifuF}6}IAlq!v{H$*Z|JFZA6;r^-pz^!gizx3 zqwmI57dLz`bS6>6sBAHeM0c%bwE+?wwwsHrwccrTnOi5~FLO`Vz5!;Dv@K5p8oPXd ze*JJ-8yfDXzYj}nei&*P-s$qwEEMb$#JBKZrV+Q)jaXgbNhL^xE^!@$=+p#Ce|S%~ z>>khc3~e0B=M(f(bMYw_py1 zHMdW{bCrpAPb2Ba4(kF3MS??nx$n#lx9>_zMGP>G z95fy;%RN4c41L*B;|$6E+^!Ok+3BK~EGZlbQE-iEL02LzMoyW(B;O}{#240vVG3T31q`cNHzNi0W+&gDnmEclR4WM9^bj=?7Ho%aj`G8QU`s zb9iyrk&MN|$Px<{9wZX%-(x&}s(vE#t$Yh~Q05yy7*9k%m@@iU&zDZf%v9_PoBYPt za%6Y$qv3HeZGFh{ay=`5WTX5j0Jg5Ksw!1*2**h9nls@96Txsa3tBh6{hG^DiI0tW zj^LW#b>cw^Y#9ZKmm|5U(a%}djroZ6SBknQ7_?Oi<_{^?@|vj`zdJ8%!ui*ariA2r z8%`GiddI5|#JZ`5_tMQdRTs6D&lvstrjfWz8w90S@-mNq@|oI9Wur0fJ{%j^ z-{sbe)a}GRnFWpwMLrDR!s5t|E>N(LTYNXE z^bWt58O2Gab94BAC|}0Xi|xJc7Mq+EKFdLq(n3>!)YpwvI`zigF53gZhm()H%o>bQgChJw)i+OP#7wbW+Sv}?k7Q?mkCXQU0pz{q9aBRX9$V{M zEcy;5JsW@u!xuqm%Mlc}!)y_|a|swMo;qe^*u?}h*y2Gij{Bg_<#hmo1X585wwyh? z>XipYG5yI*Rb_^x_d^l)F*g4oW$Z51=u4~gv!%k*k9nV6MKl0%5;LTnyXl-A2DDXO zK_|r^iTvq*v0blFgXUaVId)#T-Kq&W(^3*N&682e$-Ca{xQ#eQ^V^AbAzLfVzRHG5A)N%+ISq1l!^mXdVK z2vh)}7Bxg-G)3_J4m7C0LanL}u2|vFWnToY7hb5KVK!psx3x$_4?vc*DWx+Uw#h+F z1$aJxKowvc>W*t^d_u(w^n>4^+ON|7s{?j>W->E486y>^|jytEh@UwmrbV2qt}QV4@>3}=0^0kULK9vl$o)r zMn3{dxwoA(@*4|B^8v9g1~z9oE@od+?UB8|b-}(X&ppWFna7vQ@W#>qf_hovj1ZB3 zpHmX-t{~PPDKE*%O(rd8^-2*Zyl8>9WpB&j1s*N~7bBrqcf}_Qw|Am6mZ$hdSQvZQ zJuJ?DecCpM;-Kz9dvDuj zi7z%YUkVmCKFc+Ku*nXNlzLT7dVG&fk0J#}qldLrdjGmM7#OQ<6)65bFFO z4w@#jgy+Qh>|x>tz~a^JTXdbLhSzP~GU`-1i9V_KN9@ExNB65Pq;!I?Z^?IyeMJn; zBHW+JFzg$(MaxB*pL$(O%!Ekqi@3lhZ4|<1BW0_=vu1d6JCA4MYy%~ps9+ElqZFCi?K0W)F=7n*JJNfst29lyWuPr=jn9%JJQJ5;P^NR%)0(qYn)f0C#4Fx$;KA zd10#LYPAZ@vYauMu(T@4^QXGb`Kix?+P8h^XWC9czt-wSe8l|7`$g?=rKcPCaS3pB z@to7^*Qm=G+2GDO6sahG%9=U>a2;i#aTMvLO;_^V-M56aPTeAE&R&Z4=Pb){`*g%= zoFi?@*%jmNdbOUPlv>XIvm42b_J;QHkTP=Fm0{~-uEQsWq27dg zTJ!M%Z?7WvV4^L<8WHb`f8p@Vup1UZ_t{oh7>MKR*4u^f9xZU=Tw*SqxjZ}ggq3h? z3y&q@ckr+eoO=>*+CpBc`X7IWW`T|rfBO$xQhFparMfT= z%n9SkXQu2558Ne=0xX;|Eg~=1buNsM=MnW5R5!(*7|L|Wt^&Fh+gxLDk}iFXfjmSi zWZe23A1FRO*?Cn^Th-x2xDOp!ci(9iMauQ6h!_y4h#1>;oOsq6W-Vx^^VG1*7gj=T z?4PfExQKX%{-vcHf29u3zvvgEbzbOZ-%>WQ-@4KF^Aj-&P5gktlHGY_ttK)Usg1$| zlu=jdyz*8!|G_ziC2jnlLW}korOpZO4R22ER|C6Yk=hlXcU*-Ppy}n1>=Pmr1)&Ys zF%1kuS1dln)_u&t?2qA%HX^K=JS&nF317eD0QS~*trAs!e`|yn_+;t0dwUrZPj??M|u#e#;!aIFi=yjUT4;0*uob+ZERi*93 z&sAdX`A7&He}YhD8AD(#l}V6a9uA4OrTRHjM+QsS3>;G4W3+QrV3*|t*L(p+_)_<* zEUp_zNF|hS>NL$%vbja8`*rm79`xK4!F*5$Oc9SHXvd!(gFO<@f=k2BYVQ@zWa7w@ zADZTiS2ms!{z~N+SsInr#|uz}VZH~DUe7e6S|X3?e=3K`S(a$i?*)BSb$<0SW(UYC zX-gK*P4W_QLq+53LlsY9X@g-#h6=F<#I9{jQQ^Wrqcd(pNbp`xNZ9cUt;hk#KFwh{Fvmd8pKzz&IIaRO@j0j0UT%hbDBA}vkz7r*Dbx`syW-nwW5 zgn-!va_g}HVyX6vNJXhP*rBm6M23&`k-UfDe>LM*{@=D`8r`#zYXbFGN#V(s-j$%N zP>Na#2C^sfg{We`5VV|)RCWCniYv!Xhf6Uo`w>9@Az9epG$QQC)$8Kv&wQ=jiSFyfU-7yRRn zf5wLf2!V^1CyF+ZM(GXbsXLAjPl)AQZeFWo&Q}R**YR%f=6%E8-Rv#9s2c%-hf+7&~4SEwosfr^1g1QHtUuTGONm;z;Phnv0hl02Wb ze)f6?XN0Co>FANisGqqnc7hQiO?vMbe_(Hph(vpl2Pmj*H`cTAV^?UMYzns8eUOQL zz@(pH4Y?<<+F6hiTKyVmJ`wz4)2PC5l6w2%P8l#@$ACsTrn=KD)-t+e>-9{8%^8Q8 zgQ$HwFIrpPXLnR*P+uwO#%?H?`tG4_iMikxiYsH(EW+z%^yu~_{3hGyYUXnLe@}+L z#02~tVQBZwODwo8$q1f``oQ&tF61AL77eDGBxUb-*-K&aJO)l$pmwF5oi2onSj~ll zHndT#+{yyF*LHiZ+NLf}r_r>X-yac(-QMxUL@%2WzEjDETm!@jyP_hV(3gCr`#`e;bPvg4(MlTWqXFw(DUr6j!epth){28HwjK5S;4; zB~6v^)@uEpU9PZ1y3@4I&)1T$lkA(f*fzTQME6&Z7VT)-wwE#;p7D!=-if@vH0F-0 zI$QrGU?<)HxRKj~5CpC-RM{yJ#{BB1!yhUA2Fo0H=ZqO%Q@@OiFSF4Ke+H2vbSuXr z-WyG~kBVpHc6;D+|(pFHX*!wy%ei$uMpz(m~jL4B*Zi-?s_ZQ@atdRh~=tmKGw^2gQ z`C7-2ONn5!`$$W_f!_0Hf0|f~`4{Ekts(^z^HAEA*7o&~3JgTHL*{32L$EcYkFol1drNNnN-~G3c6f zk^?%_q$R1JU4KNp&yS6rn7Gbw>WJIa{F!Ku*V4=`OY$|PU&HVqgXi=BS-Kn>l2TSoPvls!J` z5SDp|h!wjEA+p{B(Na<~59Jqy1gxp~G%byGkUGZa+~FNQ|^12OrlIzW*s!)^(1ZlLd1Gaq&mt|Vr_zY zwnEet>QIBP6>+`+MDk>`4jU z_jC#rMU?1Pf5j1c)e6d8(pOTmV>gpToq}pSXF`h-7gz@hZwT*HwYt`rs`<*OTP!y< z=V1cd*vy+G#2PGPRu~p*)gY)1RH3Kn2}A8Y{9fn~KIteliepTQg5Ol$BWNQ;t3U(m zyt`-bE?HZr_2BClUC&-$wYS)fVz4AW8m4-7MF&Hwe`okcQfkH44TOhC3Zbaazvqxf z&?8C?Ias|Dc;*?>F#H8EBrsRNO(V_ZhdEQHN8+=H0eiu!zU{<)Eg;_6R z<}XzdSbF(!zRl~_nl&uOJNyyA??xOdaZ68VC|UHu51h}T&E`ZWzcf9W|@Ipl}#>N=l#mlh8`RM7H@pegMg z`DQiTnL^8|h$=gG*h6qvEqHWE21(C+Z(6Ozq1sXF+OB~~v1T7E%nDTv4H+QH1E%cZ zkQyT*DsCs#;DZ9Ob9s-pcRpW!7zLJdBCoKSv?!ht>JwJ&~%8 zXex4)FqrjkmE#H#A1ovu3LD^7U>(RJRIG|N@RGZ(j?Ra+FhcLE(l%;#A?Y@vX9JK< z5N*b#L`Y3$nBa*%N08%4I%#T2DLf~)V#1hdNYeSN(K9{q6PXP3kk?JaZRZK5@UBVZ06yw%Qu)<)xH zESQFt!Z(;TZ5Xt({2mB}LJkv$^hWZ7;1pBwv{P+=$Y1lNc+rjoSS&0yhMWdmu3xQX z#?q7%Eh?IHY7S6q^OR!zDhy7ue*o^bC0TB4pG2h)w2dI*et5#1oup^>1DQa$&<5(j z5n}v#7%B=uL#KWvFr8+*g}2<-!?TZyDoXJAF>3%i7199|5?CWQ-gEje_aNc#mlf4 z4`Bu~g~K{2?QMIg!-{B)GPu~3(kma6 zqr7{Gp`2jt(@i6D&Qoeye;f2Ntr4O6(K%uBTwwo~TF{1Gn;-#lIui7ToY*uUjPHjh zxdJuTqsj}8rs(?FixJtuKyz;n>Wk9LeV&t2N=Tp{XZGvI>r7>DJ4S!&tb1>vZ6>FTUfB(B>o>SuC@jpX7VlPBw5EjjQ~_?kwvaL}G$U2Jgsf2dV`Gl%%wPLEjJ za#tHO+bi|lN;q>c(Dg81yOxR5$69$da`y4AjQnG@!!@#7rqR>tO;U*o)$0xox-Y+% z!ps(uMPYWmF25XivK->w(bBg!r1+&(Hba|~+R==f@QC#&elg=!3~O(3f7ao}PT|G1KC9ZK5H5CX8+YtM%4=}SJmW;dTJUL6v#$&tdI@ti z|0q~pdTqnAixc+N0*OH4XU_j?6-IpJ@qokmvuv=(U3R)5=M+q#igtNgdI+I*shOBM z=O!Y2$nj<0j_#Qn8GFEUowJhsT$~(S7dg6HDfJUucKN0Ze_4Ot*O?5Q)<=jvgjCpX zGXl(u6~M=1^|z~R|5L4qqGM+gCS{5xvEVNbO4Nb+0=(V@TizpSma^0nuOeXDG~}s6 zO2bRMBKwK-HeCSgEwSKVkw%1L4tB*j0n#!s$4*A}q5k7}N(2+@nF?c8FC5by+^m_p zA43RQb=<1Pf52E<-zRzUd(gxoW{jsi61w( z1=02Z9K~9S+NBFuvdId-Kkb)wxZK6nITMx20e@OGZxy|%h;OO$PA&UR|x$P z$NQt)9XmoTWdlX5Ur91fvAdfRz0y0MqY_Na9NOIbe_@2Afrhpd75=fh13rujt>e6t zsh{k6yz>*ir!J<^(1HxLPmx#bwzSQc$dJQV_;xEy{I; zWC;QNaSF|IO7B=L3UI$Q2-hpwl_B92ye|u%f1RzOvcAt<@hI^QlMWwaD&r>HPHJqH zBFNrdk&R?DhR3Fz8J%H}HFjKYqnCwr2aef?E8HILf7RGFU+MM62_OvoD$y0E(e1qz zw$%|EW4OleX0^&+|LA<@FWX@sh9!gqjYqjy#E>NLu47Eh`Fr)F{cM>oUZu~cAcAX+ zf5ff5q8}D_S&2Rm9YHREO-ABzw%y!pNvC5Y@2suA@WAu@8c8d>S0P9SH+Zq+vz^|_ z%U74RyFV1#$kgwFR>84PhBAQ$OX6Dclb`@s`OH7?sC>9$w3lcl+%a6;!T(xC0Iqyx z>S4?v+Z3Ak^E!ApJ|(I>PvBbVCh-6de;H@eH8h&G7Uk^1mhGwco!dSV(BG{Re|y=`NUvid9`JX;F5`Xl2%>17ii6Vz}DY z61Rjzw8on~LCpl4m}AEkKqC3UjDe*{8m8LKQ1Ii3knnhO?0oD?lf)w7r>m@vf4M=z z9N z=BlCr{mBp~8wtr%>|tg2gAM4(e?52=J?8P1T2oEg1LrrvO6CU|K%a8rB< ziuHHjBhjQ5qh{#p?rw@3dah#%+UFt$exKyE(Tj|~HYLpc?*RW0+3OCm+ zgPiFTG}0Kv#lAVYqj>2Ee^^Z$!=()c&|*tm4|?{&>?ulk8Zk1K?Jys*XCXFp;Cbbk z@+J8!FZOSI1Xh~|5k9`=nqPUxqJ5Y^sw6l@&FQqr?s|7>1CL;Sqt%X*iFOVjX%+eW zsY8RI)nI}gySBS;m8>w*!nlTRcj+{MNZFG|87F}1jjle_vwFz`fBPg!Iy6z05EX$q zOb@$V?`M5D{T}?Hw#)ViG=U9EaRA)#o@#DligYRK7?(ib4hiAL%1g|yzU0;{CXSMjm~ z%AWQGEr;s%G-tAue-#|!y{X6o&zlmxgiWQrP?J=q2g)2$pDI}YHaYr+^QR~5`+CDk z*jxV}F)e2~*DqIycZzVAokKS832F8tTAqyG`!TosMu(HWJJb&Sdco$6FHS1-f7aMI zPDS9l>q}YPsOPMyz*0+kVsBI;!9*ZQ+Q#f6Pu%4*&Uzb^NUy9`!tk zt8BTJ-dBJ;EFb_kK(U-n>Zav+-tdzB_RF$GG40plABVE7tGVvQhP$SYymYiRSKoYN z>Aphe=5&!5UOs*pt)Mr{)u^R`@`T_XlHUo(zmtf9MsN}=N@MhMkxUZoCe1hOFop<1 z;84yazq=c(e_Hx=;_2dKXuVBc6*a+ciUa^Ov zZ-2yuC;E4Og@$sxi?%!*KZMmTto-26J@%W^f{}^o&HW$1R!R=bD=Mk9sxZ-~ru3!R zp6w^7lvM`tHQviNrHde7%sO_zClwvMU=8_%onNPLe`ZfQntI>Gp^ZWEeQaK5via4Z zrcy1Y(g@=&>Dxo(Dn`1dIjS>R+*MCDY+04Pt*$6Nb~I%WxsjO*Arg$oSo(hN6J&h? z8J6%9mbDUa(f(v9LWGQK?#aL~Sj7Zd_fxER%NfZjQe@2B>XPUA96N&9#L_R~oQEYu z*_3fFf8HX=`FjSspP{b~>GosonD`jIG;gl-Xh#gy<&E3ln#fe8_p~0eI5oN$vAYU z+%&mViP6ah(6PMf*b)1aC5)xa&q>pv2sl%4Ip6gOn>kb8nsjx9-rVcpKqRQ$B`R=3 zIj3Jt#snN~KKqc}gypc>UPY+D4 ze~9An8gsXVThT;-L)Ly)Q3F0>TQ3V(@4O*xBF_clli$=E)wVHssF-Z7e^ksW0#HN+ zp#>t|2NsVfgcIL-v)S-YcvA;W?Xr@a)@N*z^{bHv7_ zp6tR^ffmg3io}eiV@c+ksb4uDU|;one*kaD_{!VY>r%S2yZ2Q+9$m{6!#&S$2e8{U ztOr!mQzcBB@!uAMs3a#WoUHZ3^5|uT>g3XeH&^Qz%-qzMQr^FNV1TLMpp5uj^%WrA z#qrB@NP`Z6$ENzT2WjQp__4hgf2$J=)?lL!LKY(_K^4*pUP+2!40O%`bf2{LqUXq_)-6r-z@(%0 zm(n(db>1E6!v!|$on`h$_mIfqmT<#Kl|tUP`hc8%L*zOf6Y+(B`A?q{PJZ>mkzL*bH?uEMdp*k4JQOTOsUP{ zy@uJ)JAvy2Tl{bMC|$`jSy8*kp_f-o%W0b$ugr+NwxPWqXiWHX$oV=UFux$(;vCXz zC53UANjGkJD4_Gi;B$J=a^!3LI-1HJtxE7ua8Zq9cexa60&h{^HtL#*f7V%NeQ^ki zG_jvGPoOBuny0p$T$Jh)3mG5t+D7|g5xX0VA0;WB0h)?ZtKmD{jLVfV>}USliYmpB z8!g&$;LsN9HqsdHJl8Aj3zKqC9L@$dVRd);1-|N;=R=~4*mX+@Fw*19jfK_S$rwDB zr4crbMyW%?>q8j!RCq^me~08ExsnHPW|y^N%2NsQjwxMvv*H=0Vgd^xt!oYdeQKft zq$y|+j7Y?a$v2}iBbRfh0_u*tPDX}QgtK#6Z)?FW*@sX{H-s|BomP9;22KgrXKf+P zgC9CG`9JVmN1p$jFzJrEFs=ZqKD}CbCAM6}m@68?9mjGspWQKWfAV054SP-cXm-ji zOI&)r3+r4%WfM{7LuzJP!1kkHv_V}lp(d?|zbBq~Y3=6Pay+0O{T!g(vd=oEm+)zX z{<~E`zaKRrO{IR9h+pJ0FV;Sp)Mf28g-b3$O~8#9IJZ-zt# zPP5P)dc7!2qxSFC-7jFOFxnq51mOykJDX;qJKUY5Y(j^PoA-${6F?;UVOAy7Ed-^# zKix`5lwPqMXDJzTNGGtp>X9t?MVZ`0hIF@B?v(=Pl=gNG?(FttZHI$;c1$t$#)7*s z_o2q{y^5v+fA1%pY$_itF$k4OO~o3$#6ru?z@3%L!T`+9Bj`MFKHDq2ZRtqicf_=w zqcO(S3sskI)1_m-l5n@{Fa_1WEYs@j(AusZxkZ+5_K1ZcH4uu4t1!r_s!l-QK47dS zBTQeQ3I2Fe#l&BOMx{w(4$p8IpPL3OjRB$-$7DXEe;rdN#PIVkce07QMa(&o+*5}H zK$vq(LlL<@l{M4*wiEc{ze+HfIC(v7go?BArn7Xp*&2W8T7uxA)u z!J1jz8*|4OtBTMCnp~&TE~;AkOPl!uH(E8mEc?cO(#TM7_$9}wV%qIDN?9SSJ^Jdw zpYnt1n22h>+Wwq!E=I@oRM+0cT73qweIhL0e?np`Q|S_~Wg(9DVRMSYKV9dG?K^*| zQDp9OJD)B^l8KM)vS2AGch8Sm-E`sXHEZulxxHj?W)$Y;UAC>s0|V~De8|Cw(fosX zsH5Oa8UacXJd9HfA(b*R#gpbpWd2P5{RftehUK#qpI``ehlWmF8vRBK-aCi3rb$t% ze~aO+IMucYoty%I1GF&&3;zg^WaL;yg>%smbtU+{i)vl|lUPmEM!^?;4T$FZNG`?Z zJ30D8gy*j*kUmbt^%*JHj(VV{ZYe{&8k0P6VTNy-j9+ldsoo$iCL|43C~%ugl1!_C zGHZDVw@A9Svw|9Jmq7z{z)&J`+oFQOBj)5O6 zXdIQjb$-Y@*RnuN44HpP^b;7Oe~(9%blK~JV{7_IobZOrZ-)(zb~r(d++ob5u!bch z+3od3>N$`E=dgR?CNlc0#x2%O5;aC3B-tlBL__A)q=(BYk zQv91$OWrn7?e-r1f;ngsX z0fTp6z0@WpqB6{BwB4Ch8)V6ASa-E++c9hMlz7;R!@^xL9@iT!f*EnHrWZpDcud(u zIs&tn%E+rdC$e*CvSm;4pW|b}gh{mtPf4>kA@RZz>GY$UO{vhNW+maL=0DO?{{7@6=XZKxxlL@uTqDfMeTowMHGJ zXcSKgl02T@q@8&Wf*f2C1p@w(Un8t{-{a^DT6z7X?WOv;^Xe>G0{Z&XV$ekZzx$te>v z##r%o>hMusC{!e;5GiId2AZ{a2|l<6x~H=GldihP&SSQ;+xS&%H=mNB14$%i+z87C zUw95uKQCi2s%zrJOD(A{GxMRaq3v1Ms0oHzxz`AVb~sH{?YmS<*&N9Th0ZvHb&km` zNNsQ_PH3bRf8s+aJ@vFblck#3b$iQ)wFl1eV?c{K2uud?#tqTu+&wgh1<3|g63f#5 z;0ia;(Ym7_-xuzuA{SWXmhBVCQIl(q)4SggzP#f1&UZ$;^|FW(Fb~&P2%VHS~+Gn8YJlrUF5Mys(I17Zb##fvx;T%UJXfrjr-C{Rth?*V%2hF04E^ zxFT6U6Kcq!P4tutn*-Y1kvn*6AlDK zVy_m#ot|$6nlJYzBB4Cp=}|5(1;p)Z$Ks%Ne+voUwe>Q`K8q{!V++8rZlGI=wSJ1O zONW)3AmIKOZ%S%P(L5ElF>123TGgTU>529N)`_uLfo7|whmU8VfA~E-*gg~R;d1o{ z2N_j^%G@E=gc)}4FrnQXwAH}-vlK0Sf)IBy>h#zaw*28oGr?|j@y5z8L9)~jU&`Up ze>Fq_96?h7Eu+qp$CUIU`cl?zgPAlKiZ>51BX?`lIdzjoMe|;UVJZI_MEm~monZql6R{xJ zTnucSS09j&@Z!1Cw|o|Fc(l|=)|D!*e*=c?1hp{Is9D(EsjQEc(moQ~@2fMmn6A(h z_#*8vPtZ=_=*QPCoOkztI;LVp>G+IeohzF-#ELyfHEraY!;9i2O(zye^MN;jo?98y z{{2lu^9*KM*YUb1HaHPhl5xCG>Bo(X>DE8pf1Z4{_Pe>^#a z^Mx7@4{q8yakybu<(9~u)&8iEeaCl8{u&xNa2TDvM1C#6#7oL&J zFdscRO`B*f0=h78Ba;Pqz#TYw=1Tk{V^u=?gh?M8+ zWNwCir=t8ZY!anOKg1Tw(Wp!re~_ui_o_E#(}vDNV@)q7FSxoLMJ!E_cR&Xd`nBAB zIX+EV2Y>xp;(B}eQ2$GoUq`8kLeM0A%)_=&27zVSn~GzLvi;BlS5mn*_-&W~O=}SIGMzxi%hc{To;P zbveD;ZABsuSI&!5BIGjY=l80&f;CV$-urNMdXzTf0E$ZuW8Qjj7f%h zeZg-#2ili%wzQ^_nVm7={kRlcqo0hKWtENww9_E~a+jG8>%Q3c_!r;M98fbkW3)KD z%moe0S z$}&<(cW~#&3ZV$_e}Y*lMQ5poZ=4hEZibrAiUL5{e4rXv<(^C*n^q542IVD<?^QSiE{qw`A7dnRirPk%!z70_XEU(AA2mBel zVfMG!nCqwLe*=q_D(J!3>TNYr9K2CTAM)?Diqnt|*bXcU1`Q2G<)~?l$8w2;c-Uk# zAxaGT+;qq!HD`~4_zIoXSD(Qx`F^BKP1(F#8GE=KowOy_4TzFaN!KE1=V<#7>Hteq z@KY(Zp1#UO_9!3m7TJe-a$l_D$opg1EcToJlLh>Re^u>i9coqcJLEmHkcS0Saf*to z0NwG`Y*IU7u9UciWhkx>KujMC8A`lCL!Uy4S_{~xImfuLwW9i!%Ms(8&zGJF{iJ?A z+`fv0v$k6#8_p;kVB#(mx92-px^zvsQ$BE%EfJM|CvT?Wo@rmjnc4(t7F;%I_Wj=G zkTVU|e`c1B7UOKd%{g-OrR)Wzq}ds=s&C|M;u_#xo>h%Q%CeiLvQDPTt_Yew!-Nw| z?_LVUWhuSYuavJLMbdNeG9n3>b6gii-6@wcgoTi*X62OHyPZUT=u}Knoz#X3kAvG@ zGO`IxW+QKsUhJ-{Jee&d@iVRC@n1#?JQuUre_wNTrx1!8q&j(XC0~x&E1q&T$YMKh zr_v-HTz7!ZftC8@Hs;(sg(Wp_c!ahQ?9z2SMI2C834JSH1l1hxu~y(Q^XwxdV_oqf zA0yMQ%uOC^p%#KH8U|1QnA>Co;;gTNelbAtN^T)b`9@TD-^+Dgj;UM;u7JLdKmBJ_ ze?F?5qKXXKPm!*RkGzTs`a(w?-QSqdo!A4~BWNqN%YEHKX7!L&FnEGo=r%n^$KD@RaBqi6epUJT7&6E(*O~Fah zrl>CJqr9{c#Y|LHW$8a>3YN`Y?+OYye{l@`U;qn(Lh~*^qg#~|dlF^Fy#S9Pto|h{drI=osxit2jVfe*I0RdOrI-&Jq+()D} zHvt>%BMysbaAv9MGP}BI0kW|=meY?tuka&EFPmkT^`a*`W=ZdY6z$Cv?@;u3fAWJ- zmrcqAcPyMAE!HwkIywxti?))Dw<5)Sf^H5h@#*yw+cT(p zxPX+sj0T8m_?_1%yZE~7#p-Lp)R}>`0&*7?!@lAE(NfxqZb4EWV=4$9>8Zmx^Us?+ zR_S0)zKYzBfdC7y>lb5BbP)+bf9G3nA06g}Tz9Aaci@Y+A_YY$+UHKuOR$rgZpg|= z9wxdvi9*4m$|D4KNWw}f*ei0W)%L}`*T*9t2Ktd)N9`GtG`axl+pNXEXQn@IB8SEe|l62=$-7c=!*f4W-PX9$-* ztJaR6gV(NIvt6#Xore=+U3CVg92kB}5LI2Y@){&r*T&;+B6ZBTDd0?ftao~BgVGs5 zlzHj#eufhBh?mIs*hktO+}*0^Tdf$|e=STE&SGKUSWJ|9g=J%|eT;9=8g~-LSTe=M zQyBJ0xlX+a?9@g?n4IQ(e;tx5ivMt`Ve-IbM&p{q7Pkwy*+KCwJY9j=pC`5+lS+nd zJ<6i9K8EDM=m1MgDS|#HQCpdrk2w=rtebdadY$DCPBC6qN`q=Yu6^}AC`OB*=W3}Q zx3f8VL%Uv{>Sbk)*eS=vR|yqjp&qZyR$(% zUQLma^Co9#y>;xuW=c#i zCwneGIb@BZ5JlffR`Pk?%S5iOeaUF(@?EYw{yP8kAxYY4z3MF9?&G7MUedAjROstKY+$1Z@jw3yklhXqMe@BT5zs*5ecx6cm8TGg_ z)W;M-b5bP)xs=F-=!h&{yi4xh(xVek&jk~n^JXS%hh0TIwcc|CvDHixV`*H8Q(7#( zjd|wQWbR-K2DF_rqUcbGv+%9DOHX>pt(2kOjb^A0-L7$1Be2hS69oZSRa&a$#a93? zxs|4`1U>i~f697_1a+dicqI2N@2jd_wD!$m0q4QfSNGAEhbb*@M=B1Cx+mhXWYYry zv$M=6ANhY2Vt~E!uKDmPi9MUXmytDBp@f7NU1KxyuL)H%jBF3SZ_%|Pevu;)j;tbe zwKGm&zG`^C|D9LrshMZ%bMY9dQX0uwUZ9Ly2RYk-e}WI#M=^(oA|2Rl{8y!za=rXH z6Ahs})HHiKGZ8pDfzKD{L{I{#dpr<(#I5`~5I#M9maG>}JqersdsD<^M-#XzBNeQ% zifP-bieSVwGo@BdFth4Q<(-N}X6Ih80Y-Y_)-H_6Vf_Lm#IKq+N?;Ebtg>{%vdi$$ zbh|1Qe<@6}KhfU&aa2jb3`sIl4m&a!*uYI*cMM?`67cQ~2lq`N2I}8Ga*AZ*PWpdJ zy0l(7CqKtZo@%wEqQ7bPFcHaR5ArgaNuw*By?S~7AWnTaU%0YOrIDgDRXXm-;Y zVX-%LrfW8=1jPL`To}JT*^VWedM6s^=}=SMf3s;kF6+Ai(VOXjOnoI^xIZaI>lix2otobbyfLHoPFXi&go!D_{mzqv{r?HV4n6S|hLMT~ zQK9NAoOP4{W=OA2?hx%Ud$*?uW6OGU)Zb=IThFz(;7e=PMc`zlTheH$@8LPrkj-Da z4_>ro(Rt)D4vu^pVIEu$3(aV8JIL;Ye?@_@^eKDl!$scRu@ydn&^hu=n6?m1V?hD( zi)uC$uX3!rcV9%6J!YJE{f|6&n?B)5RZh85&H-%Bm|%18%5ZjpDhEyv9Q=AdXaCf!9gLw&f4W34 z?j^8y1r0hdgF7Nqt^pq~2Paa4(MCr{-}w-hGhUZ1XJb>(S=_K>M`4s-`xhf1&i1a@D`0@mR;P(&jVm_; z4Z@nV8D^hd?d*b}j7Get2C}|Frc}D$5_L@otL?WW7j1l7nUK_ga3ddGpn3i-Z863W zamdt2Eyfv6kTWHCui$Nh+f#Pi-*FwJKZ|D7NTWvZD>?Lob*I<&d~3wle@I?S(AnYo zLC-NkGsBnu8(_?nogii$T|9|#!#?Aoze_Glie)*!PGrbd7VF-JQ#|n#$}KyzHKaQ5 zKt68(dajFX8|ZDor7ExBr)j0(2ma;FW-@?8Px{-{`b2~(WN=y|?HYa$EX3w|2(=`m zq(aB#4U;%Bx>|*-r7TlCe;||nS8e)+1p%ScZ8K+|eikhlSx41rq6ZWbpW5QPS}d2u(Bh`3xhjHm@qFnMht;6Dfrb5l;Xf8J)AL=)Da*MYs8 z38^%JlWNnWQrDgW4MA`r@o=APzl=W2lX;JCM&le%1o(T4c$F$AshytKo6G1GUp?s6VzD!i`0tP@mmYGHI{?E;VIez%EXw1b3k~4*Z69p;xq|(*wss4Esx?ynHXrqxWWHDMaK!}xi zyvOi=>`HC6O2pKLZy=pn>>z_iU`N z(%2RZQ6|b{eykbidVTTaYs9D0GZ0rKbGe4#HozGRJgG-c*IZ;_o+(T3FYce4#lhJA zV$mtWf*fPgU8Z512?*@)E!q_(eJ?{arz7Dw%?ciu4S`id$8=0XGAyY`Zl5)Yz5Uv$ z<;<@9Mxh)Ce{K70>(p=P?ueKQGr0gcwHVuB)Z(ng9lv!_S?^VhC$gEptXNBAN<6|f*dCg39TZ+Em9+p*h9<~!wc36*9-Q@ zgXClw&O8yXx+2!ggaNN|EDVH9#QY9M;K`}4Qa$}FOCE%dT6qxa$R_g zZ8F={f0BdfdH58MfH{-)WN$(hh>%vR13?x%OWVeL_;=+R;Je-LHQKA!qh}z1;3s)}>V;iB({eEs$%2e1C^1<3V@aBZFX( z(Cg)S$nsDWUcMAIMt2?}W{59BF;Y5XaPtw~e=~3q!+l`gT;QWDJr}D#ayTP}m5r@0 zca6r4YA8w;V90?N2$g)B$jdl>Z#623v~fHVxtc9_D92iCN`37ne11Gtr55-+V&g9U z^%z|@iuEtl;FlQ-A(`3PO`#Iqa|j>q^|4unc@;oKq{3F@vawgqx! zOmcvqY~)YMXcJU-^qf0VNET)jk=}zy*y-e|(sNZhNd??irZ50rr$ z*Q1Xfgxd>ge+`<`@Ff6s)0 zn^ieQb20ltBfQ#Oay!s5V`EOXi^w=>3VJ&G{saL5S=lE*gR)TmNMqVSxQg!giRqQR zQ8#J*9&W37|D>ne%i7B)>2uA)Oudaq?Rsc)eZmfTbS#6*IYhTkM(pfTJ)^}sf3&d!hnUGhhh~|x*{g6`hOG5kKwuSBg0C_{QEmLI zM}Tj>@HKzByTNl5PRzu?0+Bu%3e}u!VSl{7-I%-XS6I71Hgi0gFa2eDK$BiQj~;)9bIPSWND_3DRw}&#g0(S~Y8D^}{RiyAYjTq6W^8#RDU4*Yr`#lF2 z=~seI`DwCcU3fu6KS4pGvXQGu2XnnRU_Q@)1U9sQ{5a>;*QQs%H;YBfn&NW?dviiJ zrclEJElB1bN{w|4gHo!vZf`&)fEVxDp7>U1z=I8~Q2Na;fAfS&K`=-8PLto@{hPcP zTilF5{Ps zA*HEyn})5G@rg>r$DX*3F)kUvA5iM%I_WvZ#^?z%h=#Jhu%wnp17NdUuiDl5z!B+P zjl8Zb4CX1Ae?czerC`fRi@VQJz_Ei34s|DpHtj-oDvSvTxRgd3*q=X^^fAQq;!oRY zpYUj=J!dS}e|J}AHY2;zg^Ny?RdmG|qhlFg+Wcl-lbDMHdhQ+xh4@S@OHJBl{uIm< z?KAhAF9)2lYS~J{i|w)b_V_+mluE{ToqXO6jZ`0me^ODpl8I5U$pme3%h2S)KMhL{ zTvy8T6aY?K29*JQyCpR7tyQ@LavonifW014>n4;9c)N5H$%FPb z9k#~wcXi9vo|Bm;54hu$OHiC}LC_=ZxC35qpDvvQ;Xs{G1#8C`ky}+MNS?d1$S@S( zpj#v3e{wLC&i;V%5Yt3|b4l1mog~S6xC>%1zPfx8mgHY$+rv!6!TKyzWzb0-; z50FcKg85=u@o0R$Q8$`>OS`~!)rd#ni4%CQe?;N5u;KxC8NEBDb{Ss7mW!;(2kw$O zxN(BX)-=8s0{rOuA!Z|7yFIguqiru{*g_>@DzqBh8e5NtG>ts?tm(l1Sx0JM-`?`nnQaZux#byI4e$|*AJLHKtU%w ze<=Hkp3*0OlnMM&zW*_3O3{z<4Y+Jer~wVM-%0N2?_LN;NK7nt7O0QOkq4b{hTV5F zKj)7@29WURV^K1dG9n%)X0O3t!xgN`C`Klwo$&kZYFQyHn<=+#UM+iPB$vsLgOJ8C zP+d86+P^Wf9@dtiIwZ1#l@nBO9z=)NqT0^a!C{4`e{3!;*xC=O;gzEe@Bs% z45}-Oji}J!Wmc73=E|>ZRInH0s?}^IaclA?V@}Sbx`^kTzO0i$c-GgP$!%1wg}rrD+)cAJihF?I5;R!QnPCP7m!N?VENFsT za0wP<@Ze5xch?}n-3c1p-Ge*adCs}#``*KI*Shl$tUX=bRl9Z-vwlo>H`A7KM+aD> z$*d7rDzcTn`F@czyTo?l_sJ(jQ8Cyvmc-<5)ER(wvum_-RM>WukM(?ZODm# z;8n_c8&TkXN;VXeTSt(jo)Z`0yxJoi7QJ-j|oW0O^^SvX`#t{YglJSG+*OZ^Pe3?JfwAksk-k|?bgGRDRe&D(-( z1kr&mVoO{_15_4KI$CBT3fY3@@2_XZ2W}V#pI#xJo8TZgd3x$>wJsp8Inhd2Bx0gu z7_C{NR=M??nHXRzeoyii8=-z8_R;AZn4Q(}3L73C4x8#42_oJzd(+W|V~Y$E&_CM;wR%aoa?J8gc;4*C&HuUB^Z)79gHtIAyMq`;5{w1ULa!|k|j1$ zQ@oOqqm#1znCuU{{5%-ZM95!TxhVDyoh~)#Yplxdw0%`3MS!tZl=s? z%oT^}ShJ6Qt_?oWyTBKVThTfZQ4!@oHP=%#po+i8Vbs)*`$e;&_bJ zJ2Lp4hlwaq@3oQpXmvs_exq%IX^&=$>@BL}iHp#Oh+xlKZE#2Usk4(Bb{-%75OM9_ z8WArvNv(IHjMRs2iTLg2?TJ0e4izzl>a(b@&Xejr{I+RR^aS7G6vRAQIRMJ$@eY?k zWOwUdxoxWUBLt6?!Ies6FPP^OA9>Tz4?ZG;{gb*I-C^U2F#`4YSmWE`m8Sv*hKwTw zE)oS#1Z;F({5IT;4aC1KuvhMn0>QzU*URi)u)Be`>=_7;uqcm)+$Xw&+vB5&CpRD& z!V{Go`7NlD7U5wT`4O@21=#JT;z=apMwjymHu1nb0H^?h#Lrd%Wn1L5TwUUULnx; z3H89zGRHI@B-n<6ZCNP`_y=Jt@3- z0rX9Jn&rf`ruGWT&JIE!kPFep=WPplFn%#Cb_9D5@CqYFa`d!AY>M4RuJGc|y5D8y zV)lCf7_p-ph}V_}yQk^;jjhLhLwSNcGxX?NU#~Mdxb;x_)R{JXPZLSihIUKYGNY~G z^_1x;Yk9-#E^E1aZR+^Q<8o4Qi@t$Y@i6hw-F`{)*FR-(Ir70DYXkl();Ucia+}GM zGov8ajxkQ=)5_!b(shv)IqQ5_8!6s4tS#Qc{s!G$f9n>;yWt|cbwhez-jdh=SZ{-*V}&|2MwYe{FCq(Jp986gd8%RWtcojg{F-3 z*7(=cuk|>W4n5vK19{+w+!=!I>}gL2D&@a*(5WA8$LQH)Kl@8bV*N3Fj@NJQ)_!^z z_2sZr7|buhB5;?qJb7$~0aRGvSzJzcGS-HAUhC$nqn{qRgRj%KYgOymT$eJ1V-+eT z%%$A_vL$8q1BVkBv&6re(76o{}}H(!nH zNi(00>UO%+oyGJL<&QqDZ(S>rqc{nDRk*aSUQ6b`&adt;=hf#l$HAbcU0(Bxy(C5^ z{yN`09kIG8)^2JiG1EG`m>((CEQL?=2FtoP`{p~a|MVE6g!hPJ$xH-acz}?mVy^xj zZiE>ntkhmznnaV+V*fMK7u{yqb-jV;P56LEMm~)0>-gBFsD2);xT?w5Ak!x`I^R*c z^Eix8kA;5vOF5`$srb@vp`%Ti3kCGL+ zp?4ab=)m0JKB(cm^4YfabT)u4yYk)MQ3eb@OvRp+U09yG@^G&fAmj&UTI`-FklmJwh0Jib$z(dMsl6*m!?zW$=PdWl_VE*q4cgg=730b+xGN zJv{Rr&WVNQiY>jn4PX zdF|ALk#=P4X&3~gEy6L{S9hEinxV#6^H-5QB*Yx~%Ax*6U!j*1Dp zm339tVyLt}C^;M+(QRg2Pd#_i~VscQH9 znlcuuH(R$FBnm&9EtH`vZbDmW}KBl zQtPKcFt*{qbv^cC9~987U>h{J84?5|f7#Tyu09YxH62V~7M)tE`>6onQyH`*dnj3` zCq~GuJ!~!HZwa;(pqE_Eu_04jD$g6@3IX$!TM1vpNOOWww9tCC-=k|{heTGX-}Ma6 zpDZg;EbotPnQiH<7w_j4!olyyxiO!0@Y%_FBDriI8-*uwaQ=f(1yM>F< zd-jHzusa)T7XDRgX(PI4m&5Ge3uWd*#WRsdd)c&!g%{}>%-*FWL`Tk^*w3dCCiVr%bf;^Wi6PXFRsH35aputdNUT8Mijfs z$y=qSBxhvigV=73#NTI`J-p6%Oc|gUqLYO+Pa(!iNaLXOU-Zm5bY4{T4LitPanS_F zZA5wmA`emlA6-;Zf?J+fPf=1jl0`OUC7*2GrAQ8GBJPRTjIMsy@Q@=cO%F6MPGrXs zy7alp0xGEG5~{4{Ul|s9&bN1&p;cA9lLOAuVYTN?{Z+fI_6KI5dS?4B7}m(8H{hhf zhBo^CCCxWy^oV_9rKb8vU}Bv?(i+9h4x6bpU3WH3mK~0M=^_LMpn_D(fmlbah3+-~NeJ`^qS|pjpzqGC7`|-RG9-m$; z8v@tp2x6T!Ct3nM zvw}AW%a3kw2#Lp9E{`yK2MWsGxtVn9yVbb)>ogkSrC?1+48{4wR*0->{-h~MeH^Lf zH5+K+YYZVS0V^sfD%?-}x4H>RA8oQ%c_gpY3HA7V?sMgJ&X z)2tiZBzhfhODcX}23y}yK9AW_yI&vLSRHka`9zp5A@Ef+z=gYI3}vHvyf>9T^W;UK zlit*qEd40??(Ma6@agxrv7_y01}-+YpX(WLqi7gnL!&%B8NPPug9Y^Y20YFD$Q+t- zD!3ai>1W`ltcBN89mrVumMg|J6Op1O6iIxe#vVyr`6fk3$OTJA0cQu4N0MEZjs*Az ztEI-12zQWZRA(2Os8!hB<}hq1m6&C$6gF0n;kR?At&q6^r|-rsAo4Z$BY7HJMmqMT z`#YF98AeHo6WlCK86r93-YC9}Us#dXLcZSpj`PnIOyUb8#{7)m2@Tp#{!a5li?h>H zJ&6Ou_72Y+;U4BWLOnL_oE<*8Usd%|XV1~h_4{}3li&}xceZi#5O?tg-DNAOJEhIB zxzI+zZdbX%ii-Yb(F>gk;VHM#G9Ky7E&s=sMDwPNss{YlRcMu%(Bt|5X%3_V(xRDO znB8o8UA2GD^ZlNQbgH7HFi=vO$D;dW;tvMNNzu>pECZOgVIi(z{6}6bE06O=rug!L z!D~TJvzOR*{Xnzmi@xRVQ^?HZ3+b!yqD9?r*gB!E^q~ISuxpZ?m>p9jmiFma1h1Qx zW`}I0-t;qQLOd(m=4DCLaxwa{EJEqe_Hk19_Po1JUOF<;s5I?s`iO68=Z+8VzKl7o zy}NO4g&Dv)ZWlYsNz;mht=b@hAxmrZMF=8&H>E$tF@(3^AM>k)|JaUMeJFJr;BnN- zXkw*Z`-XBBAGfa|HaMpo)Z3t%XCY{MKEq7n7|zqHfFRcP0pe@@@j+-HD$6*fq@t5M z@3Xz`U4mX>TwNI8(s!oW?pLQzih0pPymtwOuf+q5vPsW9t~R84CsHDLIsAj`?#k+6 z&2A2JhpSk9m87BU+Z3h0UN^b#nfb8?-6AmFj-2yq4m<`Z?)GpF-4T3b?__jdl2dr% zQ9=$EJqh{)Mr4@CbpMXk-aRBe|JziEs_cPCi>_V2HH&6Hn0NGK-7|vPL3{Q6hfdSh zscx+~n274rDzg9{C4#MT>yr$-zqVpKiD>C)JwfK=cG}3KbfcJ-dD%%2gt>=x-7WTg z3o~%8NZW>6g=atm2@6dmniA+7>@oP^r47vZ!bGbydRscv#9lT5`A^5%r_;&i(?6;r z%f4u(J9kqZSORs0^s@-Go}_r*N!I*xWv@6|Va8^(%4L0r^miBu?uw0|LTR0IH)TED zLs2^P{_P__!p~w6Utn@9?S}?qb$fRt8vBZZe~+1beah#qiij7frKkjLmW-=myab)` zXCSAmyD;KIPaS^)BTd7b%nvPNeCL7mrTnade)DDVOxP0N4qpf!F!-CEZB8P%{i13^ zhu!l_*#0Gd$FA72(8BTUR_P8UMwXQeH@aDhG%sX4%1<((i)@`OeCE3pS>TB9^$#hp z+J$K4okKFob2l5K8|S^E@Lxk3?_G0WlKAR*wA8}7RYbDmN7AW2UPI|NLo!V$Ho`3} zu}(@&1u+ZX6-Zjgb}uo@`Md*68m;>4{e`Wm^c0~V3=@S5l~TSPlZd*uVG|E2Y4RMD znENZIm(5b8{^=NY;Wb`N(BIR9nm43QZtI!5^H2*QUNZHhp{q79R$242k*tJCsnWUwQiyHaRC##0``a=1Kw7*B4xV=sK_& zPu*@8tJF8_JD#sjChsojtqPI}9YPT8qLeQe8uEV(&3g9qgA|iW1!K_ za{Xn!?8VtwpBuS#=zbqKRkjuLyF1TN1v!N-B>IKQ%*-C!#IV*~MC~BZdZC1jYU-Xz zgTksjyL*f5bnsiBUDccU%FvnKy0g-ek9sL1uHunIP|%y;TDR29!sPm*0{vme;D zc0~zSx$8s+M{)0 zA%{ZE;*;hRl3{1G(U#(Rt#Lt#Z?Lc3X?jW(QejQ)v~fDIzbaqor+=%t-`FCC9q*i) zek#;tGcnowYLL*C7k1iygG{x$$xUC0QC*J_9Gn51gmNmON9nG{qH8yO`5JA$ZU#Y0 zKkOG7O&1t2|2Wu*H>GVCjz;v+po*Ccm7QR7Ap_;NlRUZ(PC)>F;;-5aXpEoyWzA&^ z@d=b*$@FITL7?PQk*|TILe{}9Y#zgP9YCplRX)W5Lm8B9Y|wU5y3i3%oWEkw82^mF zwA=C%dHA9LFkCMb(ml0sqxJ=72=l79+zFLK=rBFrBve`WHIeLQapFPD$a2ZsrLSSY z5v=95j>nR(pFe19yMzkuEZ^8^LXVrId2T8FYN#H6IezXHnCqV7!fF%x0UMgxA&&pL zcd!KY`VuTM4Kc>1lrDy-BV-(?a4dvDFG~2B@iUEN?502b*4Ez4TRd>5zZ2yM&{sCP zK|NaKz`dH$X3O!iYv;pi{E&3Sh_m#@L)+Z{lB6&67pN1{zP>(Hfvk%ik%cJqv335= zFL8a@p3ddSMt=q+X)Y!57c4k{#Z1NxY1%QAeX8&eSWO^j-gHfhL#>}?FWNCiQFaP5 zJoILwGWv)4S*l)C$Jk-I&5+-1KrpF9F4KbvCl0GkxpG}(9Y2P0I^(UeB&PXw!CrxT zNNWCduFYf+8Jcb0ErVwRw&;7FOCNS89rXaYF(&dT456{?GacdlH!x<_agXdo9)s57 zQLp)emDTTO74euB{QJZ=-j1jGsS4v%N7-5S*qy4&m4A4|&$aH24}mvsE38u<9~Jf_ zcg`v8+P?d>L=(y{d+XFq=8t`jko#cFI#TbI@QR6W(a@EZ)#zcAVAzS5bN1+FMdG$H zENp1b|6P_Gr-lRFArH*OHno|q!}JI}GOkl7K!8rJno{dVW;3|IyWbxpYkhp%bYVQ# z04t`3y9Xaf5F*HQma1S<=Xda!t|jR->o`WE{kxkv-GmI+rfC!AnnQZclNTNMGHb)r zl_Wn%9#y<0F*2Q+^{l7q9C?n3KGOOz;vfdH4Nh>}DH zW}WXUR5{*mZ>|Ia``iOc{64a)dc@yX zgcOb&36EL)49oqSSTig_fw0uUph~7eFyYS{i9(u&=3UtP z+gbJ|t-*{f7lmSYd7|U%07hXIn8l2X-_#}a2RCDdwXAZldnJ^0 zZ6n4Xlz!>Kyz=Cyx>mn=^owIhBsy?CxNZYnO*yiP7R&H_Q;F@dtrt0u>UeCC8`mQ~ zlF6{MqrUxRzEx?%aw+~<+VoK4u7y&&Xc?c1<2{T0<87eQ!VW`oBScOPU&MCGY>^W)mU!%oz zao;8w%D<7718lH=CGKVx5#~p^PkW6*%~`FLBV{MbIh--HO8ldEAuil^GCjGh$r<^O z)qBB0rc+x*(I5Lxry)?K|Cdxj2R%sldFnI+yLVOPv_g*jonvqUnA#1m8&#?!z1&OIBtqf&z1JamXiB5@!ee$Xc*< z#a#jw)I6dEHQAf$>DvHnpn%GG5f1!;U&+_23J+%M!7dgrg|*a|Hrsqm1E8~w>SJ@r7 z$Xu}BZHE$_+Y6A(y_bQ;pQC?5W^s{N9&PXM;m_VAkbi#R`p|D)zhaX`ecW33yV9Eb zVKjrsQ&F$v%#^*%_Txvq#cA)1MO6=T;dRIdyr3L=J(qzAAo^U5grvb(8uIelSB76IB-yd~f^l z*O;&h_k4ey{^VepG@tW`tfX$HU>vjiek^q1D8<(G7x{e&vyJoQiq+w=b*uOv2xqex zUjRxp7hSWr_}*B0Q~gTrvo-v}(Ly1;O>N1VX~3!4ps5EX?iPF>G#j(d-)LOtRU}Fd zQyFGaRT|FIK^7Q&!Bzt9IL>~X*ILrkV8=Ytp7Tnt<-^6qMH~)Z)wyxWBaqExWTqyq zs;ZR;bJpa_28)gUK2XpGD<#IcRkA+6L$hIb*=k|+LkNJ*16Oa&{3L;xtw;B5Utm&X zg3$PMu9v7&PQyrqUnKXQ8s zIgLyUm`b?V!&z+L#_dkn`P#0~ zxlonJLlg&U4b@g8;5EmfrIP2(?eoPp3|OFEhFmiVNw;Z)?5NG}e3Tgk2iK@FXr&5` zhv#IseVO7Tzx*@g%}UZ_yHu_Y6mSud2G#7#u3%g@^%)*8Ku9T2DLkj?O3;kSs%#|$-AH|iXTe2*Y^ zwZkMtJIBCvMrDh}wZjg6mVlYreLYFFUcRGcVh`-is-2$Q6HWs!O<&eg9UPE-Ip!5UoRzFUKnhXybIgA zZca&ix1(n?>uDQhFltCks6vFn%{9zHlj6VR*rq0FU`14m^Ys4xuAWLy;c%Qv-tdpc zHDsRgrkHzl&Hg{)35?%+#+O}mFw~885<`>4!{Ru(m%A?}z80a?OSc zo%wFitub!z`{rX300*|4r7@-lteFNHm6~vDIg33i&czQtvbpJ>4xV1cCt(Zn^kM@M zj}1GIfQbVnH-)$Hi+8aPzhI8~9!G?KLi!rHKHvA#DF@#c+?_Al`Bnx5;db%_`BYcjNNKz6mXaAo=Ecd#MRzDtr|>!x^pP!6LUP*ET1r1 z)+!CTN)?gX>!OL>0Lvvnjm~F~$HzKmWVTK<@v6%P-v{Q!X*_qB`)eOT%q|UL>3z+j zx*XJ0sFg)wv}E)9o=nxjf`ov<2w92006&~6hh4_XM^WAi%FnNBwGeEQK0oS7EIaiJ zOqTDQz2f&|LAiqIC|9q?wGV%>V|5KSYA;{RJfZ~})-Vp#@x}GzCW&DEuJ28--tnykwt@=wtlAQOB(Jz zc{^@fd{N`pN3aX|X<@-{R5QMM15yx?e;;3+LL8#N?s{w)8H_bhaDmI#x}S9HNg1$9 z1978fp)j+AS=Sxv8nP8%MNMMqzUBA29{}&02B7GVq?**Y-WMvgAEF31Y|)L2n~95* zH<0XY@o=54x>n{&O$W3I;c3$iDj%}E?3M7wT}a$n4BPe~r(tctDMXWItg~70LciDA zbEAaR44Kz<>Z&~g>5tvR=cjVy1z-H3RgRcNkwG4YT}^n`CsCGnEb zHO8)PDFp!rV4j=5x9U5%bt5gJP36?1csIfOQJDXP-W3cw7&ZJ6t;i#;^#iR^KiJhz z*Q#9HE4t|Z+$GqF0rR7NF=N8#zjxRl?#s99bT+sCWc2GdQI_vzw*R%jnNJy4n7*t! z^YwffhXD%kQX?TGh*cQeqF0=8IYRrYL*c&j97n2sIF}*oE?KA4`4(r0M)V`D;sG?R zj9NzS{64|7?l*uOEkoRLX1?w;jr20F#c5Afr`yQpn~5?+tFZMx4!XZM3)l=($qKxA zW>tiD(cCXOe{ij*YxoVa$is3Z&wrSc`>r6}z}nKY7REm*jNf}&mPEL>g{m}{Nu#7S zzGJuc98}Mz3ratq$mxmPRCfRKR#BUno**qy5O42bp=x3Ft9|oMKO1WcP>xDuw|i0& zRnCZaM+R$*xg8P_m0~9xKu>R4<*aV{!of6ej}kQ2&#G$lnbFbF34r}wUjA~P^q9q( z0A_df`<3=u@Vsg*@)!2*MNHP>MWQWu9Vu{U(CErI(>z2qb3-s|l8nY!f^xbD60ZL!mwFX!dn@(l{sR=Tx>p{+I(3Q{Sg zSCIuSOkrb6kys|8mtlE0{}H5U-=bi;?|@loP~1c{Abs|(Sy?U4msX`P7D=O$^&L62dXTd%J4T-LmVRb^LV_I<%i>TYwOeB(gK zRXR?Mx_$4!At23m!f~J3`}=jx(A#8MdP%;t(cGHdLv4CYqaHcDA*J7LkN)^aAM#<# zH)u}9-$-x?Yhxti#4E|sUe&#P`9*%_;>&s-J&WpqwlVejZ= z4p8Jn&X3)4sOiy^8{wK4?l+^3xawmtbQd%&YH$opDtV=6dXznh?Wb4ExxDH zCUF0z(#5`dWNV&K$*hzi?V6WI+TLt67FSnxTYbxa8-f(Kq*g#EuVe3)mVlOR=|5{G z{@D#BjzO)IQ*0R7`}!4NJtbMci!R~jyWN4stKdvxl6A)3Kf2|KeaC&>OmEq?myq5} z{JpBCq{3iK2A)JOT?U{$C7qwI!!qy`;dgrV^GB`4XuZ1g`o3)ZH)Sx6>B7Mglz3Hf zvd(k#Q7H!h75}zHum0gLdxv9%6#lL5>CKKIzC61@U7edP_TdTbzJ>Pbnw8WyLm8fi zo>-}g*rIplg(>u&E2KhAt{+37vy($Q0=(R$rz&`lgi^W(Tx@Zo8=N#O=`i%!h!iWX zgcL@=)4I9Ez85n>cW=%TC3dY?&S=1k{$UrormFT`_b!{`YUR9h?PFPGR{^qk zhSU2TS*#~l2-1@o{FNm<<1e;;znT2Qyx{wY;#gs78?bbC)T;EWN@6PubVAiy916eU zEf#X)5y;-4lg_BoboK|44G$(k-*-xzESUQmRM>8NCyJ)G%g$9!+RH2S*GN$axz1#) z=e(tg7(7)X4^>X_q)Rco)9WA<;cts<8zaTbhxD|h#_ZH*{q1aV!P5CWV(!pmiz@xY zp+hbPn}~t+R?;IgYwcq*{Q-$iqOaCb_Vw0qamgGH%4C5wBk*X_5e>F>(`y}kqb3}u0u{g`f_opwpV2|6RWqv}RX74!sy42$3nX0fl!D%VGcxuk@ zr4~7`z{@5U!DQk#n^NyIT8ey23;G0_ItJY?&LN7xj?gk1Cb#c~MB26RE50tQHWi%j zXmE#mP4}h%?6Zg5wx3`Tvhu<%H1B3H*G%Sb>&?-3HhO#cuRWI0nztQ}kNT|`DC87` z^Uuc<4G*eh4Cw4x3o=%l=pp2>GJ5np*RJNJ!2(TK?|mGl6t*3g4_@LBk&qNj2$>1! z?0GUpMG>x;*V*#FLYm=awPZP&T3N`BYoKuXACj0crY(MhkIQ3zn{1^~(jT(YDR3LhB0>{P0J8mg8m%^{k)Am6+|uMn92sB)2P< z-kyA-Sv=c7k9StdjEM->jpE$pOfGaL9u&6 z%w+F^*1h0doTx0B;I!WE6>KyTuk&-iE{KQ??oTe%fu$yUzo%{^*GGCy%-r(L>5zj8 zJE=~8k4;vLxtBNsFDmSoINtE7pB1qY6R4zF&@Q|93IP*SqG$w^F;kYF{1wnT0z(yR zZ#P-xhIaH2lG0s0sUGhfba^5X`SgNnFe@aiPXljId zoB8eS!4~JTw?oGO-$idrjRdZA@Rqj90_|>kB-l@r@<=<H@HVMB7V@djc%Wbvv_Lj=f;_@AL5W z`Oun|{>Jt4?WdT|wIC8+BZ?%h1x}9-OW!PF^(Iq&<&~$x}W8mwwMws+ktndDkc%)Qo{)1F-mcydWv+pEm z5shn6mF`PL&*FHL50bsV#tEO});8Tb8qEAsT}OhjpM=cftIS^}J8Ykv7Ju)kSHyH) z-#HvKqHy!+Q0rv{^N`=Y@@su0PB6?Ni<2BRi=R&6sM}B0r?g%a9;|~!|DvmZWI{ln z^%fLRnV>Eqy4?Ij%=FH?W|24!>pDQ?sne>+tRgOqRxPf%veAIu2gZ&5J1XplvodVs zc-ClLm&|rrb-E<`&qsaQIY3+w`2n&lT|XspAzs9f%LkRgXm5-u#CMQ1-)~yKx8LCk zGn`tuRUllpnXqn1GIYJ^9Kg3(e39%aBotxonti5Jk@M4rPl=?fvr*&syUe#3V?&(Z zf84KNdp34_kCvEblF>oky;2D?B5Vb~!h$>;9iur_-CmAqNyVZHegn}OY~6ziXbSkq1%4wy6S?PoSvJK5FV)O+zM1^eic^rS|!dPvTFG@?(WbjB(CrypSK1~ z!FvTM;lWLl=WbB4mhP>$srSauLRbae>u_ByjMFnk5T+k7pH*4|fszWzWrB;qOYTW= z`_gy4S$}L$WZYe<`l+bgz@(Qq>cqGYlK@&JUct_-FeZQmgC!HG<9wyqfb;P?sOg7h z+7}c@#|%XZcE-`H-Hp9N-B7wE0pjuB*?3>`nmOE3l=wu#p8g81uXYsid%@g5wYLZ_ z{CLe6XHqM)WO_P6gfx2cb|Y)ssD#k-n9o4z`ljV8GlSlAQdB}j@rwpNnEK%WHi7Xe z-n=G=o*g$kIL?7<-i;}hD%I>Va)Bf&$&jIc%{43M?fmYz%cS@+6|vMkHK98!^!FPx z*}8AY7t5c5ylvi+8NDelaD*`_9&pt!oM3AX4`!OxLN0;{A&df`cRZ5(=f9;YGBIW2 zv}NsWQTO7Oao}IhHxuu^K8UJj)e>Nj9Cq$?O>oj3{*7uu7)xaGqno|2dfvluI_I$_ z=WonoGD9PJL)X~)%_X98AKRONS^}-vx}WA*tQ_U15785x9&*D<(tmbrKDBEtFJD{DOWtC22bU#`Nv40-f5zFE|j8ykh_n**%z}~Lr|d~KOu(C;;B1Qk;sqL3bP|RY)0leWqC6SceU1Ck z>WB>wRZ*GusQq_1B%`&?LTQ$Q*+%+u_S_ya) zuRpL!mEXVn`bNILk&~B1C43uu^qZlyx2Nu+(Rh&sph#C)qNP|RI- zXIHSK7jsS4scs(6h(V&3=Vh;uM=!fI!itm@7caJ}oglb!pCMFE-k6UTSK6=o^{CH3 z@HH8cE+4!9L7_!VIxSffK9%E-pfn-pA)R%mYqy>7toxG}0z>3?`jLt_SEe^*@;C@= zXxVIHI&V^7oa6GhP)?uk!zV^}blmDPHDe47FjHeDqjCo?HI=VsvU1rJ7cYmz1{yXT z&3*|Md=sl(?`X+-W>S6t(rnL5f9GC280rN-s9jP`(71ku*|&()cgljdBB(#hI+pa8 z!8sxlrfCAi*F(o95#G$8~#ycD!Mx>CyiVgI0Yjs<2x|CE;Yr_FkZM42R;o zVnpKLUE=X_a_-W~#Meg|d+l@HTM_)564`i^68KI54K?`rVbcG#Q{ZI}B5Ax)36dqL zESCb8K9?bvp^cT5K9>=fF_($S7cSHIsaCVtEZnXK+A1KEU{0}2E|KmY(60K^OcFu%d#dT(PSq5svGmPLXe1ORaZ zxIzDSNPKWBvKS&beyA1M1;)({;)Bux{&~?_(_;Pe6U5EO%ME;vfw+OZ&oL-3g!?%L z=HuaehJpFOfPZ1!PypN(_P-bAfr0_gjd=jj=gxq60ld#KZZJH^XSUoBJ^=U`1_to{ zhch()9Wfa0;`2x#03d`XUcVh#UX+iI?_bjZd7wPcrv~xxJRir+%gYPNKWs-vM1gX1 zL*h?5kmXPz01yu(UaS-OJ2@B#1V3{d00siM!SSn|$gg2wAUEXSZ*%iLTN-Wx20u$9 z01N`~{mT{vhCWLpd>rII82K+k;219yZu`H|0|%l1AB#Zwo}~f+<_3fQwJaQ^2=8-I!3Xj|pJ@dE=HY?M_#a9AA29>KyddspsfA-u9?0`? zP|&~UgF)f1X9IaaK*)0nc|c(9=i_)meE-TUFE>0V&*p;ypwBB1u6PjOpZWgb|9{F7 z@J|&zj}9)|=h6fMfV_Oq90USDaP)sK41})%d8Q*c#trxnX8tSxKp?!NpLq?(_(0E` z0fGTM|B<`@N*xfcZ{Rb103kpS@ALT}K*;k71VW%N=)b)Fr=m9X9(W&mmSZ3f zFZ6ls1EB!GbM?b9?&n1d&np7N4Tih(%o%QY;-6Ish?@uSoPIb4Z@B+u3;RFx zgSdJBO(8eD_xvYa|3u8q2ZcTp7YGc1@;p;IJV(&yIs(BP-2Y}3&Of}e`FNg30`F4K z8x05yZvxNh|EKx<%N7d$7priD=Q%SFxG>*5j}8KF!q20FV^B~$-2k$fo)nN91cd*| z5C=*@#Cf3H;_x=kD-ICn1;VQV0+kY`75x7l@|jjx7|Y?SzWrAhdt(zUxTbgk+*pi^ Jk{_h7{vTwzpFaQq delta 59276 zcmV(-K-|Brybr>a53r(<12Hu-lfWA(f6ZCRlG`>Az3VHO8(B4k0W?-;sfy#cDn2Ed zxsB(*Nc5N~Nt{qp7Jq#jAVpCWNG;Kfa}t+U1L)Vw>*kxg$*XsYM~o6nEsO3xMvP0M zt%;Omgi90M&7%AGhq5Z?^Qc?-hbx~_pdzu*l0cchK6j~iGIf$*ux2TX)zloqiO@P|1 zaQ1bQGNt3+f_f$4R(DR->@^SSHH34u75*61#|Yi&dmYlEiDJ+@tP%%@ZAHFvB9kBQ zCVxzvjcCLo!3_b;BBdySXu6o(e?QP@hOgd7ln7AKUtVy5YZ>hfF^_I1zf9hEPte_^ zT1{O~_%(PkPK0O=KP_vFYp6Hbjr&WK0@{-@8>I}06t)3ij;@h~OaY8&Ew?)VX_nQv zZL6u5kOYKNM-)ExQY^GNK{TL;@1$-*%NZh+J#RHWfDcnL3W)VBrs=r5e<&iE>c&(^ zk04y|(ddvwNxtvI)+!8>z~=d$&Ao6yqnB!Tb{_H4a@9t|67q@EBbIfR4Ds zL&y@&9mLKMJPaZb%gj*_Gx}IYlD1trTdg*Wyw<$l ztk*7MD;XE{lTIS{;fxu9e=w%&aF*N1Up!U$3jYBB@j4vXSS;AiBZs`h)JUq4z{c!^ zA={D42Ljv3^Hv-58|bd)U}&l##!N>twGtDpL=$n3zL$PmEXvioN+gT3&qcY+gN0OU zv}wEB+s)Hcl41@mmqoTHgT@p@XmjH6#zGA*mFb4XH%Tgm42PN}f7|6a1{3gGSOeG2X07(3`cniF7O zhHQ|A`{5NB*ee!qv$^Bb8r@})*Nm~OA8ef?6rA>y=(NX+$Ihl|Bo`n@-m$c^ibvl| zxnWU2s_&_W^Dn|DZh~Bv6Dr!su>%IuEp7fgU?7F<#L|| z+&X$Llxw8xvOpgQ1MQJ`ds6g&d&9TtX+>Q(?9I25;MN(7j7VUo; zRkXSkKC^0ke^jAG+u5zNdEVG>xaJ7_iyAeU#5U@(Anv(02ifoPe$cG+EU8;?2zCpG$KMaSvXDpy;F*xQVtO6IFa<&J1p5Jf7N_Zh zz%AQfe-H>NI;jdbBC+8M&3f>%#g+Ol00~<|*Q#*1e_*oTf%u}RoRi0a+Au2E-3kR) zAbr{=+Ed{WJvhD_grg;H6eGm-jz2pz@@kzmEV_ZIZnN{s-SN1X*T3t$tnx)x-^>!` zS~(U!&fU;PviLKWkRTaMna0i-_`bK=!@TZB_DbtW3fBPhvAn)bE#16+F#h+t@Yh(g z=L@}Zf5W=p3HU(jhuw_#8uZ~7r>4ZQ!LkT%%&q%5{cq z2LtS19INF;mtm*_6O&7z(3AdtC6kDuClg%?Wo~3|VrmLCG$1e_Z(?c+Ta&?}9Y73NK7$ZfA68G9WfEHaM5zZ~+wpFfo(B8!4Ay9svY@({KAX zrL-vB3~8y+DUu^(2#gX?7~6mm8;sF{QVP-_oq{7qNeWU@f=HKuAfc2X2$Bl&pYc4; z|M$G_Iq!RR&Ug3K*L7c?&n>`f3=!9Wqa6?+Gzu#&B>_|hXo11{@&F)EMgj_+yYx&R9a3e;onBFcE;1l9Gbh?{I*II|74* zK~VrO6zhy|Csc$%-2f0Y42i({|09L4sxubrp)4us>+354b@!4$W1Q4~M8p8TNUSr! z6yb%y_#ohbUjqY-pzer2lSxns0L+|`UVrouv?JCRia`Jf3O6JSf$}0mc%$G541iD^ z0MR!D-10!6{x}={aS#Liy&Hg(gw(&&{f+*W2#NX~428ka?jBH-KN95xa74Nx0JlJf z5?DX17yycb|8j)7d7%k^@lYQq(hcfBaQNLh6admN0YC`@{vFQ?hCzB@y(GMlZofv9 z{FR1q%Q`5y7TVn%fx>!G{pwE}i9x^!*X}R*XS1#-v@a^~ui%J8!5x1M0r&QhG)Eyl zy%GA_e_aSFs{iPm5Lkd5P*FifQ3``|tfq-ZIpL=z>N6O#E+~rY71C5J;#gE-eQHNJ+~| z0Tc*_pnqmDh9dueb^-iPs6NUO4Uhu<>6UO!|LWN1F93x9l0yXW&tyhu0%{Qe;s1c# z7AOaV5k6A?-%$S@@_$44uPpyBkpFi>Aa6If-)7<8_W#2Sbw|4S|8*dM)*DM802oc6 z0qVb9EfIf63r4_^-tPZx)yF~!M9@Gv5x^`iB`X1x{i8>JdV!FB2)Hp43v>PhnLm2- zUsQ8Lq7cStFXXScg%AY<{+ErwFPJOg{qQ2-@{bAXMIamY_Zol62m+n{*@q4ahKB#* zowS@h0E)pt{iz76CrEMxBoGJ+NBI3lHb7DWg~k#>0EC%?0FG!3)vq;65q2(#`lX}# zM_!mW216)+{2LC0qW_YAlN*8XL%^tJrqD2zaF?3!mgDCd9KPZ!L#h{c(vPjA#fP5V zrNH*+jM*(EL2|NZZ{k5S-BO^tF6~B|p2xW#-hB)FRLfK6FMBA?16p_DaY&dtKO~+= z4m{$#Iz`t=^wcs{lUunM(?ev;6@B>?+Q>E`N) z4l(cvUHQuY5PL;OrH@lvmb}VhuHe#XUa`++CVilTE`t^`1pJiOl$EMatKdn~4y)}c zAGwu(OLmlVGSwz4U28$+8qOL0Anim(t}{$AEpOuLBd5oKaMgK`>4UbWcaQqVSdL~c zEcSnLqkc8gES$}E&$+y0?|$%G4M?<0dL_(ST*5LRF~#t-oBoX+N| zY%jenLfPC|$o4!B&(p+cisa&&MLW zxHGm(;of_V+^*cD>MSZ1MSFJNWKwA^erNI=&ZD*&Sts$eq3^uEfZ1%-76~hj>%T^_ zVX`;e{GMWtUuTzf8#j+DiGA>52zb;kSD{XY&w8JZGN6Gue8}p&TQ)|Kj5b-zBu}q@ z3lr+MkuuP{Q+IVHf%|fp1~LkaC%VQUtnk2g=<`vod=QZhO9+2IHH(FV1puBn6>=t(5_! z3s+iVW7}QwQ(yjw5Kr-`h@*MYr94Ki$~mFg)8GL1*QaqHbZ zFH!CBH?~2o-_OLOc$C-Swn3#aLw!}U)!RyGdfI%PJd@Ek;u6RyV{4LQA59LhR~m43 zuBQ?jZH%*4iD2G&Bf>AvARXkdqQug@<VkmU_Z z)Qgwtli3d~)%49AdC40+sb5vn!-m3Ui-{ST(odCQKTG?odcLh&iMU>WcZj-sX!IKG z1@2ym=AWA|d6H<-cvVrkD8}yCr=2lVC1im2=@rsk?DnX%`SNq77m^wqRLX^Ct_b4u;R(h>G}TR!F>{URPK~I%li0AN z-rM|4-ph`yfMxyq)BK@?B-<0IT}A=DBx*AvZ**SNkGYk*kG*)R($6R(dIhyWFCfUsm`KNd%N8@vrmd1l0 zCRy4^hRPi~22{s?BDH2>BgLK;TcLv5#qrp^d~o_WSLL2(&`mD+)>&7qZ`H?F6X!2@o8w~H6XTx?ke%Jq(x4665BQXYt#e?0;d$O=VbC?}4pDoPP+^=&BbyF$|W}m41_bAO6xw zE|>kl$Q$K-lDghxx0`eMZuXzSjImJO|M>@k^`s`MRDH zMUcTG*tB=)^T3Eof7p-ExeF73?FaK)MPreI@ci-g9l`GmR=Kz3(>||Kop#hO#BmAs z49y-D^o^bk7|IE7e0SCfcVUrzy~x+hW`3>kObGserg^{Li6ir{HX^sCV4KI8&tmbV zZI+Dtf{mxq{3TU+An$q3Tj?^jU`HOCP?BA7o9V1}ldTwE*F}#sFQpexC$$Vgkb{Ws zmn%n}eUPpqx(>dCN=(ruC$cMneA(QN`3{Y%@7X4bgRNq;^-~1OmF>CQ7dtUv$!YyX zm!V#N(o5)9aj#pVpY)gde>dE7AJreJCrgmD+Rz(VlWrYvSrk0ut@>KeCenRogD4gc zwiv5@xlzo2^~C8Osk(Ncr$LVdB@OHCTaJ0 zZi)NFsB%E|zMHv!T`}I1Ki1!lDiqzH?w*Q&XD)skMX$FA=^PPc{WhxMAQ3W^^oXy5 z0t7ufl)o7{s-_!`hYYjUmr-XecOV<87C&6;t|m=)o^ACX5KCw={l@UA{?ihUv)Bnf zp2Qf(ZuVYfvRR`u@D5%gLx2BZ=u@d>?bVM}lMX$~jx1$XSHK;wnf7(mPLpSh>_U`( zB-5f^^D+@tF{a&GtPr`H0p6y3fT}l0OC9~D!cm~8Bxb#oOZ&KdwuO#~R--6BR6F5W zj5bzCKeMe%4W@rODOP?o*4H1lxXs@FWQFNj=5k4RU?}6Qmz=>Vq%D>_$69B}9U6R^ z_%V9CxoBg*tfp=6Q!X+R^QI?V;*++2M0Z!Fc1>5*26}01rZO$xCazuF%QHBYIvq^p z@?fzDS>^GERnPb4QfM7K4meq>VVPxTAD{Swd%^QS@Sp;Att~(x2BJO&2T_> zN9=-X!j5Q^c}dAQ#k4@W9K`*>Zhw$!=Od!uIuMdk;70Y_b^Ot!n7tm=TB6@7;>+VroJgM8P@`d` zUKTPJ)TGh@EM;k+JxC5$@O=E` zF=F&e!>p?T*y(#AQ|i9tY?s2=j240wMvkwA1-0>)M0~6O`K3lC!tFW};i5vr51^~B z0=2*=bh|5lOJ81zyc-VWdv-i-lGT+El;}BrQr_OS>60GN$U7I6$(NXaJ2cqF!hiMT zXMUH)`Y1zDmgRuxMJ&ik$<-@wM$)J#)m_uRJWj;y^F72vrKA}cNm8VsLwg*K-LfDv zFcD|YAy9B+?s0#$R4a?d;Y>FmRCQI7LWC6rw-OyMq+Df6VzEc;#fz;EmOTpfYtX{5 z@i4;ID2+d>`^ZHN>o`z<_ng?1*Ufqt!WWS^?k&E{))&U}4@Pqz3uPFPSe-d%a!d;7v2(^=R5K$1B?>t~M+8y|kLqx`+30186>w*y3n^S`0jo(*JJAl{r}= zzm%pAz*9Y@jby&fZL&OfbV3|cTgSs?lW=Pb6ql-@!No5Tqx+#T(Z7=qIxAU5QWs?m zqA*UlLXWiWf)6)AI^V@V4|xu9#nl2w8A2FM?T4>Ogy~P|?Dd^4)SY-s z?|RJOdgPiVK%G_t!9Mbj29oebi z7yCq!C6dcGDAbui-=$t(17n7-g^I|9m4!{{J!dqfMxuN}eCxuh!RnOFuHF3d4ObUd zRRWcB^sm)_d!Q&XT7ULOL`uvF?^MYPk=I2IySJP_bI0u`H<_?o-z@}IM!42Hv3(6L zmWio^-xFKL-98GVVgJUkT9J~uYd`W`x1dIEfAHeL)uai``h%NPLt9yAbg7Q! zSz?81lFYU-tic!isQM&)x^kPy)K3NuQ;aywuamC%J>bvrJ4F5@V!H18Z_D*3iDx2AzKwI7CLmX zg1Y5@>&zG!ra6qUI6vSX&h5Kcz?bBAWAFJ_>(E%W3b7)%zXsj$M8~}iDjuvQb#xP4 zYXLdkbegBDkw{`j+!MZYnz$D9cFInx3GEhH9gCcP_hFaGUB)gv95Pn0iNeF^@9aYw zI(U^0K|h59hnSDHXPk^bd*l!0!oRACygrS8NF1jy&-RL~JtfK&{xX_mDTRF8ATjEP zKdB=Ad^t9(t`ML!k7h2f@^p23lN5C`TJ~&`dax=qJy#>;Yc_Qf;-`GrPTy-L#C7k` ziU0%QXflVkM}A}tX!ZR$Lmmb|=g+zq7rQ4%64wzd{!|6pg)>XiaPbP0PxGJ2wup9r zgw(jw?^i2vORW3wG7kyfrJWs?1qhJX=n*Bq3Ge5VCFB>D16kIFEN=$;Qw?S4FyYEFs?-|n8o z0OsXGoSPeb4Wd6vgx#@kWA>Pu5*$8ILAIaiCtRNUQP)hfW zgsDd6Bi?;*+yvTQfwKyk?_3`Z%fH%?#h&Ho2kq-6zyFptK$S#`W1DaN3yVO1dlZd} z(bI@w=SECiqP+Y{{3n329Z38wm@3=TYuSJ^<>4lD}T5jJ-PHd$& zIWRBpm5)krnrrCT?>HvTO6|VjU`qPpsqW99v;hRQZKehrt<=b*gH%59EiL!*z!RU4 zn;Jj!i=PJ;J2`TD(;YT{cE_F+*_5JOf?#c<^Uu#ln#%x)B?>Ex%}urY}CHS#a?$X|GjzTa|{#I#h-evQrL=k>vV4}v2WAuaoj_+v-! z!x~_GX^Sg@6qa&3m$~%#VY?_tQNAI<<)Cf0m>V+`YPe1^%h~|avA3w_6@7H;npr)L zhs0s5Kr_NZH>;=5>Dx4R;C6Vwke7X|ICbQPhP9#gh4woPTe3FtRk$w!6pWcYrhE5| z?=>qri+I~-{V1Y;Aw$Zqn8j)aEUo64SkTmY2Y=nSd!=`p>Lb}%=W$ZAR3Sh{-$(v( zwtf6o9GzLJ4ak<#hczxqUrxZMD{JX8o9NDA7%V5@v@l)nJW&KvjJ_$O80lw;?rgqN zrtmg2Qj14{h3+nYGvuRk|jA4;CzTnOz)HZ@VO zNK$XH-+`0UANi35D+=EePb?B3ElHaj^vR2`rKMo9?vx^Jw*j_)wsoV|Yfd?y@(gMddkDB9!XK(T zo{78|08?tS2|y-(j?T5lLD_Rl} zH4`bmnui;FRAj2+Xi$ zqWH*vP3pOh_K|?%Kt-d5tky7HA>*f+`82+Q#+-}a4kL!^(V_F-z9S6w2kIo zAMP9{70%|)XKYncxYSNzuNGX=DLideqG$JdM?Aclw}`%8PnpW}Bw7c*3|V?{W;jX}x(hgzsj5e*By3IvRA}G;f9AWiYp1Z;=$V4Opvz zeDY=ImWJLs`gW^YMYLKW{V@`cFl1jangi{b(VMt?i#Ir4xSLy5nIZB7gY5WXKWay< zO{!@+%|0v4-O$j=H!_lK36grLLgB2dLe}3vHdLqKN&k!#7tlQE6dWT#30r=~ElLu9 zI-59_`ZH10euh`Suq*5Bz}96{Kg*BOU5TQ%?@G1JxIvYAv8Jr_9rR+>AD?_vk?lgw zimC5BzS659Eu7Fb5yG0-NAZ=M7jHO0Q^-_3YkSKn#QjxlRWB4roJPxV$InXcizk?f zRb##>4Kf9wk&)aasw|s^F56nFCyY^lJ;PCnWswGv%bIOJJXUMWPyTSi;ZtLTi%-pF z0ltlSGnpDo5^3Ohl^F+De0$U$LT_`rq+E36OB7muyDX0E>!apUo9m0h!q@TVhUfDa ze&p{S4;-@n!09l4z6IR=i1SNIap@+xLQRP&54UPs2(PHEh6#vn?zY~z#z$0tPuj?@ z*!3-Ia#UeV2S3j;btJr)%`eh*wC@GhUsoKC&lqJjcaHIn9f^m{%(|K0cK>-aDXXz8 z2`m$&f5`P{9`d4>i1}gp6o+jS{TZr4okz=lx^M3og>6x%r8G$2*JGvCTXk`Vo#x1s7lxmIm^x)|6!dnJH{Xl~TlSRA)FzTG?G(Hi91~QO6?|9o z^J}Z!c-evpoF-lUe%3|eew1o1R$uK?wO$&lq71Z4v6Gm4yljV|Y@!}8^=$jXU1;g& z4>RXl2rrjVrwXW58-(i}_m^iXAdX?BR~5i6io%F^fil3%Bn=1Conmo+jgIkFB9V&Y z59Ob~2KuaPXWANwBbWJQ?ge{3WMvj5c8q~&~SDNhWcCgj@)|OFtE1Ac} zAn(jU1h7K^<*oY<5;l?+q810Xn1iAwNyLCkFHB`_XLM*XAUHBLm*8*#6$CjlI5CsK z8z_H`v;|a@?G`o+D5*%OG&nGH58WNo-8sO}%m6cVN=r9LgEUA8g3{gHARsNEv~+#w z`=0ZjbN+v=?^~=jJlEdW-p}6meO(U?rK$#txCP7%A_IdWSU{}o0su)RB{@C-J3A*U zJ39v!4UMJ^!XEN>7>h<5;taQeK?VMUAnAV$0V5t_QeeabPYDJE$h+7BK%4*&j{t~Q zfSnz{!OqVAFCxrY03Zc+wXpywu>#~_PzW50MiS=e;cR1Njd*y?za9bf<_rK3KR++? zpK^e>1H{?J91I00ff3dahle+sgY5wtFmoFS!sEYM&pC>0A;WP&w;ff?}k*#JPSpntdfyZUz{8|a^6u(>(R!4VAg zuz^|uEN$!|02LWUR)jl(832Y_{3d^b?cuP8dax_l#vW|;K=?B`7$76A1^_=S`1g8n zb7vbz1e_IaWB+?aw%=_YPFWgiAqjJEfIty&tl#rV**HVYACBFF?XR1)gTmaPUVj5i z8>ofl?Hcl=OIjO%X4 zvHt1)5QbR(g&!{8*~T4U!2X~;5P<#n-@l)X9^_>KgW7xiL;rKXZ2I!D+8Q!Ue{KBl zoP-3-9pJ^n!3AL9;ARJaKp=m10Pn+t&wsa31>5{R2Kzs?a!^Yc;DP^V+=p}e*T}Aa zD}erQcQ63{yO}cVLADS8{XZ%VHQ<}i!j#^d1T0f3#I!5&x-SO0*x0bZa7hgv|~|419a z#tMZY9!dZYJNp1EVa|V8zpt5x8^9+1JM;(f@&MQr|Bd*00c_xZ5Fdce?B59VAW=5R zzab~r19E)u?ZaOGP&fc=mj3}C+S&aBAH>G?A7qXP=>8w@p}of+_+RUqyEr>PoW~!P zKAgqB@Sl$k1mX@c$C{sknF|Klehg~5s1hf2W7!-LLOn>m(B*$%8Ob-sKy*t_n5@QY zWM(WVl*-I^fnL#xUDr0_t#ty{ z4MOsv%2$-Q(J-sw5$Q= ze8OtiJc=pD9;Os-WW{JPI4q}*wn2T4`jGoYGmh#TVIcFAJD6mjOc{Vt6`z<_-ZvPD}sxIG2BRLWt z(XX4YC{-WNI2&?PQ$Dk`wwhK;;>B|E{?fLm8t{K#*oi&6G(#<&CRB!~l8Y%cqHCLH zsR!{%S@ZFi{f%fFjHg1RKOA8r=x*W5;Tt&~H8j>~2wx$?e?CfNSNC7a35yMZk3W0YAe8Yr+ z%oTqN*O2DCZCMro!wg9Bo(s6mzcyVb;hR#LxGfbSXNGZiie~bJhdEkUa4`bLJf?gq zr<7qEYjWeN4MWBFCkameXLjk`>K zRqzZRnzXgG`~4Y>cfS9xtnp9prb}t=vC~y>sVaZEX}f)7mw$JcX^3I6P$k{8N?NyX zc^uS(ql$;Q0~}C8IJMQgh?ui8Q4g4B3+zpE0f#u%nXG-0J&-xMt1E8TxHuGoO6q?C zYtI}ucb9ZLSxNJ(HYshR#2=I7dQXnJM)RjY@E$vz4KDR~$QU?v%;WTQq@dW_24n4< zZ5AOVWNeYeFxXDKD}+B1u`jA3El%e6SZeisJQdYZbE{PhLy67HpwVn!0i>*xb=yo% zdSyI|cdl8aHPunopY=Zwp)<&^YMLMGo%z5^+sY z879m(TLMbT(K`sJ1<)M}+RtzT$sHBmlB7QxC$WG%e;WhfAoprl?Gc?>w7VR*jrxSE z;L@cm1B1G#l_rJvnKjL!wB}Z{8&LV{%UYm#GVoV4ikKzs}1m zMkC!4(Q9nca||jZ1^v%qfgwn?VrqPJfso}!#F}p7r#IW5g%$~(&0RM9NV40)^*ZZ^ zv*@E_=Q=n!1v_`i;X5o%IU#=`*!aQOA<8cz(5%e$4+y4YLM?jL)dq29Dt7!9JgGyBr?9xbXNQC9?ucJ+fXxK#SXF4OyxgYntAIo1o8XuM$ z)4Ub*O%$ZXGrWqU$5cY|T(r}m4@18E94`NU9AvCzyJ5Bs3FP4jAZMx+5dD0DUD?M; zd%wYQDBY}k%x2JZ``&-GJ>9cjOyQ^{(h|7ac9xsf$P`h z%Rv2QZdxk3kh6tKAH3jpt8#YYd;N&PXHR1?aAtpRZ;I4|F|S7vAk?nW zKh{U)&0y-^Z7;j3J9pW?@$u}qHk;L_oz08HC_i?_o~WV@lW@EUkBWd=%~g70QoEUK zrAIGYY;dmw<+~3V6Al06`%#flYk6DtDGel$-rKncwK+%*WKaeimZEUG@9nlzGUz| z1IaWw^&z7A@Y(^o8QnRH5uOUVWaDFz2$Z<9IQ5k_7wuVh;BkhCheJfeOgilf+Npa3 zTJ}LiB5G^~#V-txoDjRqx|aJXJNMTUyqqQxKjz*}e==sz)enf(7^PWCUMLezu|;#| z*45FI%E*7)MyCur{VYWP<`Obv-N_U6_WdX8`kcC1iMnes^q0h;Ia?emyZ!1f=_z-J z6kae^Eml%Q-==;}M05@qe@CBtcC<$&NXgDfI)H_SgpjSd#%j4Iw6Elo*TaeRj$e3% z)lkN*z#kD5Lw+!gzj$=)kb$l@S<*WMeF2c^I~RXp5oM^O>MKI4=hsf`MI)PJER1rq z#h!XTXmv5TkVKpu3CmF2Y^TxlMbTFpyln>vU>9W7#(o}p+Sv2G4G9oDdU)QP8~Gw@ zyNObjvSrjh3dHUu(~j7s)7{O_ifjC?fYK$c^k|lEVs#U7Ix`qXe}j~*#`(%lzxWAe zYS@2r`fe`Q$Luj16MlkG3R;i%VekQa@u`6nPR6h`6ft)@W-%0R_qL5iww$2(@yUVY zSq7CEA@Sf2Vm#en+SA&Rj|GB5?2T+Yxa`&K@UL*(-#Eo)b0SOb%ys}I|OF#=6*D^&ziyH6)`Viyq150NEc9eV_M!+i z(IoKvn=JOVkcI~EwOg($PcPPBFZ#!ZS^y{%&LxVrzV_hR7E?0*RwpL7Q=5Eg^ zuAalA>xwK{-H$I$nZH4t8x|Bwm3VlP4-=kPf zotbB*s%;n7?ijGH#tN`f5tj!w))arZW08g1>9_oN?&&6Zxm<5Xi zK|%Ki%fE9>={*(%_|BvXO^p7eXx?`McP z#tfsTiJc$EH^gq$0;Gz@+t2oOP(GDM9AuuIIgWc=rwIF;b@1d;Ybf(7CL>fR%J5mC z0@rqTzufT)WNpKEt@o(DzGb@Mg!e~$l1~_A4p?!~&?bI?!al z$Wtz5DLraCkJ@^g|E!2`rRda!u3^NX^cs273PrD$jCIGQ|Gj?_i7UB&WZ};O%OP6j z>&1Z}*_sOvBowioMNz5iBW>UJnZz`(N~iq&WG+JZ!1B9EwdAYKF)`Pc-Uw<(%Bc^8 z8UcK;tBE90cb@BsAjD_OY4Ac(fmpx zg4PS&-^^wrudz`Ns@?AN_;bKe&I+Y&AaRTVY;XASd$)fZlYIbHnb^w4_;aIioE&+s zoY36~XASA<;ipVU70jRT*^`I)%L|jGbnaw6QiX&{-Vck}EN&T0rC^FZ+VkamlSp#r zj&P05DrF6SZmCs6js3*fz01pC2dTz1Bs%=+6>$5F{?|?B;iFr%>pS(2IUhzB>K^xC zzx5BpsQ`au(!8Mv(&#haV_$8Q&CA?$ zGBeZi)gMs*@hd)d{FZ_vny+eKqKqBWM|-+l0^ol}i8UHr>1;Kmg!3^jt&-?FH78t5 z5onPwH1z$Q4joO$D~R78z6rONs#r;!c*oAgqVBdx&7LH1i$Ay9@p9r0IO=)W9?nc8 zt2nHPf#HUJGm)F7U_7Hd7JXl8c9g`h(i*d^mI_N6;Qsh)UCS?%H(+c19(OQ|aa3Hk zn5%ySpMfH=H4CI`%bCPUr-eQTu~1{UBf71(4~2Y14yuM-(bLMk6Ke4=<4Y zu$(H$ne}q@j{A`@qitWt>mQd|;UIJ*C`C70DsGhDejP+sOj_lPrs6rC-yw~_-Uh)$I?>$wu_@h0{HJ&MD8j$3~c zMt`O3O29${-^Zr{0+XX@@L9pgTx^Z)EC!y(jwTic(J%&2uuq7H z-@^BxR6E&&IbW$%?$#sjDVPX~n31?#i-XBTT|znLLDxQ6WqzrAepLYMXSng>{&oeB`Er>G)_<9|*LOgg-CESlfLJ&P<5WM3=uf(^bM}OyV0dp7;D= z4tW=a|8YE6nxRxZ>1iuv3eSJzZnwIl+~BpNSET7voXL32baXsa@ctHuoj`IqQ(<;< z8mlq)t3b;`!Z;3kE6^V99qN`EE#XTb-d&nwm`Y^b$s<=iv7Fb$_fuwZe%I4svIge| z)Z=M}irfQv$uCB(7Otm}!mun0P}n+fc<@xt&O8$1#@_~Nt`G62dPjd<8>!5o_L?Tz ze%P6>0pT)*g{JAe45YItR8Cu;@1&0`vj5f%Dy@*{Uyvd)Hd=k(8Y*j=0$rTLo`7RKG%NL z(X+{CV-ZcnPaxjYWHx`@t)%v*E_i`#5nG9@iXal%=eyprU_kO@pg?zN2o+tA1oA zszC41fQYbDW#2leK)U3cO=R|tAs#U!zJ&W*6v>&fcfgV%dfy44a8EnQXdL!wLT8Vz zVNu_V$BNoW9rw=9Qj=RpT6OM@w;J*@#(=bujj4L)UrD;HTQ0N2;d#-^*ctKbnRyIZ z_&tfBa%PDl-hF=@*`R8bX{lZuX~5=)UCYRzVaDsos{dG z(N1Jz&g|J$#YAD*s(dNq7tOUi;3Cz@g!Na_;MpS^9TR`<=L7GONQl4+!>zq; zy1#v1sY~=Dc~ixBb+F%zLMLMC+`*ckTb5qLttZNGATH?F$h+%fcwHi`G`CELr24C0SzXFsu|6Wkf~((%#H z4~nVhHaohP3foqrCi4n&_Oed){Ypa)K#AP>kX*`vx7cgRaU7*>`P57cC!t#G*oS}A%fZ>4Ehg0^xgNl+hK%(5l zM}!YnXDv*s(+=ktelNl_)lWdtB{g@;w|K?<%_qrzHF7UNgIVk#&ycnKOgCqFsc%G`*XX2x!X$>Q_Pr}Nn~KPW0E@yUbT5*$rA=87=huKz6ST$T;{x&LmZ z?fhu0PeggBvg4X-{8&Yt*$J7sp=V~=FnLkYdJKLzde9JCFW)e7l7w6lB4ze!n?w@* zi-pi_n>62}rrN=ru*rDVeJ531Ujdoj^Z0-8CQnQGPy07s0jMsM+SFGCkKZyjUJr^K zM>)-`w|6NBdGW3YeEX$zz^@U4AFM>-;z={5I$fnJudg)nXjw9>=lHnH4%||Cnlf+gDCy8U|Twc;{Ot!T#LU^KRwj3N_L3;I8t@67~8WDe~ zY&zzVm&KC}tKMAnIj%&0m*hG&tRxnqD)X7}>*sSIxj3>Bz{WR$?AltXyjYJBU3u3- zw}$As$5Ptems|~0P5uPu>(VAbgU2@7l%+}a>2=-sv%^)8PST0qw z$I&oAf8lT|U|uBCHXQhTSc{@_GUk8a-*m#epdGc((EOI|u5r@8+4|^{Nx?SN6}hoZ zh^`kQn$GC6src~Wc<#AC>!fMPpbQ4-D&sogj9%1J4Z3arW6_n#kDTu}%OLRUihSO* z0sc=}^6OnSfKo^VQ2ae+S~c&qO{^)>;xTG77N?zPx5xlkcsLOMOYANcidTP>_Mtgj z$mslOT(ObOwS%xc4@$v_*Gxx-!O*U{Uw7GDW|&PzuYGiOe}DE7+ZG4(4&fM}mu4NzMTj&a5Xu5p-*h=f^;`5==@GkKFDOG4rZ0UcP6L*axYdeuzi=*)ZujcTzBI1!nuhNIGYcOexs1s5oK7Hw| z{pBOZ?I=UW)uS35VIXH7lKV75CauPZ*zPQoN|C^Kk-pFsZ92A+@bga1N|ykEKz_d% zZT(95!th;S%#d%hxy?m9NqyER6B{qYB6|P1k*G4qWgfJYah(&ndlr9xcwacr>%3@A zj{N2FE*iKy@$-a}mWx4=djY?7g?!gnewoKw)WX~L*ml0p)^xtuI-wxjr3x>7VZ7*CG&+R_aOr|3cHil`2(XGu(R))R*q z+g{9`LiTm0$k+5EdAfOj$b|_PER;hg4xd)WKG}n2is&bYuOa{U9!f^dO@%rI#1Lu%b1?qyY>AF*68}$d!D-bfv$7X$) zrI1Gi(A5D*&e4!|{Wd|myC83$_xjY~zTziw{>N8o*|-kD%X!d$VCoOI2GMhw8~Ym# z3Rcp_vP{Q=fsu3l*k{`^64CU(x-e#cI?d=M8c@-FaS^9d($4(E%&a}aCW~G*sy9B@ z-%l=bj)X7HR}o0CX!7Z&z~kJz9Dff!Tc%sVTJYLRX#9@=2W#0CH`MF42t32B(^X3pEA2A z8*IzRJMx60VaTGY9z?`VB<~bd4Rwqib#|VRsG|<~?{{i{P4JIbf_y=tR(rdCCkfSV zs+nBxK{jp2VG%NO)_mqMYm_Ob%P33%O4AKDLkOiX@&FHCy*u8Y9Alk zS*fUG(i%~S4G54Ue0MG^C!8~`#|U}U%%)UNM-I(_{uSpZ)N3l*S;eMPFWYwo^HeMj zw-75XRoU}@5~N{!leDk(H4m>Vf9}DDIMqz?QaYRYC3!>OFBl`1>4&&g1GWI~OVMI> zP_WDt9+!RJJH{ye`qfMJg*wo1sE6M4*3p4n?Z>qJ7@9%MJF|&4mvDbCB%vQSYe7N- zQzEJ1F~m#uv%hLvLK7f;b2ZqpFsDv$0iIA9wq@9VjdQ+7MWc-7D|`1J*7@zU);=K&_e<>LY(j4|I6&^ghe->zf zH{Jarw|th-br`GjaE{WWn`qTc+tt+8QN*x+h_8C;Yl=V4dHelTwaQZ+1=r}Y(5V6l z$nCjy=ek>L=9Yuo<=cGB@>-=N-gGkMy#8hcBj^;Fr7G7_m%1Q^E8WmYdBVq$tPi+O zdB@kj^JvD%zl8JY;yiE_H^ll4;042N$&NeJ`MdFG&ATXs@nS$3KZ0}FXb#_1{(6dk z+P+2aLk%H&T4FQQIPB8S8=L0yNmS>=so8Sf8N6#2)(8n2DOqHewszKdz_k9L(MrLLw|Nq#N@*(2m}V>4Mz znAZvJXw=vQ`QMLnzgx4aytW@x?Gh1x-%JYRju8omNQ`J|#+qYpP@#zj;(MvbuSct@ zHLJDWpU&gj9a<$4R?WV!3CL7p1( z#^C06>|)_W5wR&i-VfTII_Q$YB6_E&d*8aF=`J{d2tq|P7oR*aon@IK%4#ToLdLN> zt1w*HckfiT(VY@$?HXtDVxQHtPe`jgiF_O@mqJ2XNryq(*L?Vqi1rg3?&nT$K@-<0 z8e@s;ROImnhc#QQl+f^aLZw0K49zW9nY7bcBb_1#0bTaK{K?OhHv6|lI-PRpcGe;d z6-ZozMP{9Ts)uF*DP#*`$CmZ^O>5W?13v|hLo`rWu+jus1)p!f@%A|=Iv)!^>N0=RdMd%}$XHBR_;f%aD`vH>vYF41 z@+F4uV65A9e1CQlz?m}!052RL;+2?1vZ~iI>8jQon%#r#L^~b*a2>J;MN|GiREQo| zmx0p(6PLNQ0W1YtN=H^xm+G|vj}c)nVlQPcWpHz8Y;SHaW-n`(jm-oeD^IN;e`QEnS18AgFZw$2gZzw*eM^GwbT}$l1WHATnnYNzASQckx0%?d(yQWB&CD-~@94 z_{GJ4MIZi72go@?5Ku4(2G9bb>>R1mVlv!dHV^~=b2va>O%tHw0)hPjYyJU$JOuo`8vs8q|G&%q&Hhyg3j3W50)yes zE+Ci}6lMpog*rh1I?9^7C{NTw00?ID3kY&T!ZGVAmeT`(Fa!P_ z4+%y>opUM`T| zLH=KE%mlvPE^rrsEoKOaFVq%-`6Kp5g4`hh6v7SS>;1n2|Fnqt`2jXiFbZG|v4g^h z|5F{~hS>hGG0R6lJppDw4EOi}z+bTv%|2NhhK;nDD=k< zMJhu*AvU^D6xjX`Xa4vNe`(DL3WMmvkz%!itln~XUG-kOHub+`Vt5Kvp)6K8^)S*pV-t{DZb8-5+H@cds z#!Kjkhe>(Uj>$T9>iP(KBEkEZfn|!k0V~HiQJzua9ij(I_g=)Ub|M)YyB>XZa-aKE zU7r&?IH(GgMb$%^wOiXO3eq)c7{rZsS0AGqt@{nug@4f9&suek30jLZf0?A6%Az6J zdP*GcQGRQ=Z=ipkqWfNdM?`?Sd*J#vwihT0rAPe?ib6NajppBwU1Ys;-$|wPwpO_< zyJOQ+yu_7wQl))pk3QV7V1D4*omo%UO}LwQ zxJ||}$KSJ@e$XI1`t(KKK#07c27faecwRxnwzD!*wucl>dxz(L#8Dw|=-Ja7RMKW* zC$eate9&vBZ_cIs*@vU==@rgXeJw7ohuINCAI_;g|tdoI){hoqz8q|b<=_8_(I$^$gr;;?rG7$j}deJk%!(NzpQNi1Pa9a z^i*96mRAteLA-r`j5OqBI-m4FwbNw$wA;zu=CK19g*w1w$ZF#*0;AbGu}^_ZI5Lh> zr$a`R<9>SU(4@K`X86S*lz5YYlR~H7Ixf;L4Lra}=}!TQsJfooO{a1PW!($*f{q;)Z4r7$s+tYjYx}dY1L#tuCQWiV z*+r-1Zcg_WKm0inq`Rk4R0Kvwf9em?UL6`LK4la?PEo<(dM3Q|_-}PW@0K>t619agPc(YWd4vuD&Awc}7!>sbKXe zw+_3^VXLCq)6GTaVFg+Wg#q66-SKnf5!6zvpNNOhgAz9DboYWm9knNk5_SpFAvF74 zH}qzI((2!Pjdxt$f;EM!h!4Ch*|=-Mn)@TvJVqvwsjsXwRUM0=lkniV;RCakrtE0r zXXe8zg*?@0VYg1l(g{FRqc`al%YI7VwbH2boVqVrtJ%GDm|6x^XU=~ADM8OdJW95> zMUFxqTVq&V0smuzND4u3&o&-`_q+fz%dE|RO>l|=w}6y9I<&Y!*62>-{gJK+tKALW z6B`^_15)D09gg`gardrV)=r#bl@~T!$k{sZq9BVQZzVY*FG}50y+`etKstre2X`pTVbLQsO!jViS35uiRolFeB^sMsTjj8LfT#Wv9o?$Tg^TU!C**HDE z(tA#&p5p68=U0Yjt=yX->9K7c?806lPFIAiwY_G{v+XE#O8pSsaf9YMs#bA!9=BNEV4>{h(VncVmR*xyD51zlFI2c@p2UdRp5ddbVHCM;auLo;qYR6;1pEHw>s1>L z8&LlFO7~N%iFCD=KJgUc6i+5*pgX#(ogC$Oa_(AjfXq0Kk%TA^ zEG#i%JahQF&?qnX;l%{@n|tKjcfA&rOh7b`FBa=}Pv{vb3S}GIzvpU;-LuL*JGy!? z_57LjcQ<$n@Ko@)OoF#7`ca{TT0Ss{pg1W4T<%_ zH7fU3qLl4xoOmSt&53#&z(Q|L{aXXFLOw6rtyNW%j~Bhw3&(mU1i4XTmh-S-(ZsXf z&ZDh@;rW$`K+UAUH$Ju$8hIXalE*xHb~ML(b6xIxM1i4hVGsB5hg^Db36J9d*V<8& z!mD?oFN^e4b-)gPace(L?q*K6l>fX@Kpb)``<_-n+!H4#2m$J=PL@bxqM$JdWFy$o zI{*6Ak0ZUsNB1bXZt&y;PnrRbe(d5|Ks21l3Hi-w+oIp)<_}ra*oOFH32sa7t~;?= zHzZcPQ5sT3R}*UyWker2taL4AB^78Cx3&c;!&@wEu~}+=zpY>qCVO_=Ov&Mf7Vxdg z_$fp$$gS|LS-Rz*taNtois|57ao4Donl(PVn=;8IK;*yFFXpa4<|Ele#wfWsa%0cn zPINwf3+@Dnjktzi`p4*eI@eo%WauVB%K3QfRUp;P>p1R}jw?ugbiIOGtP8mWsp-qF z99&(EGt?q~+|ysbzyE2ak+n8p=asxP8wuWcx#{OXA$-Pr z&om@%Y|yn7-_LfyG3tZZqS>OG!Nz@!F?J^4(ix3^UE|t`f@vngL3aLXy;tRs2M6G6YGyuCeR&vJKF8Kr&utt5&6$?O+^tGeuk!jmp$RO z-eo9kBV+J7hH|Keim`Z!ii4SdB}w)OLt@;OsOR6kaK~<0x47vzKiEEn z2$VI64#syd90^q$%SjBg<~*#gPmk3X{$22lbIoL<%Lk{XCr>g$YUZudq$u^3IQn{qf(WWGXhm{61WEsNvlPXG>SoBigdhOl(| z>FGSrDWcuTGyfG2@_fgup=VmZPmXBeMwSHo zyd(X32-z9+qPLzxy+cq&wSS0S-_bYNf^$2iDWx(aq07mTgk;i0`hG(IPV7$WmCrSu zh}*bjL0VXeVxDBVtV_1ZisNk#T`v*Qk82Oh-E0ih3`eH(pQ(qY-XHI=4!5;`N1u=4 zE>}`1$c@;h5IG&F256DQvpl-6D0|yNtx&`y%!51E-Fed0m&gy;`zjTf2wr51{j6rm z+`v~Zh{MpAT_B&7>yK7>imUA=Ri)SUD79MO(fA@!Mzo1SQ_1-~ihxSu2l8MN?Hi{3 zj3~@V6_m9^6_D%5HF=?QQUAq%|EFT}tGYZvIn$HE{9>CvQYWR!0NRr_=dMlkI<>F-q?5-=-q7E!Hbi5PqiC(8A^eU6dy99tNg}aUP$?chUe*b zI2WufMUVSPO_Qd{w@$)PpW)pDQr%NW0)Ze=K!(?n4HAUyMa1>KLi7xfx+W>2kBnFpm0^cXxY zTXqIfJ&AF4*NYy3wXGjJXDH={TC}>FI4m0Dc&!XB;f1G8kK0-+V2$8tn>>+>nT8rY zU_LnY1?`E7e;WGMGf)_RBE*x#Jbpw+;Trb%tY;Gb65vewiNvu-w3f%eeE^8BYWU$* z;gw+Tbn8&e(m54d6tw6SvJ2mUkB7kq*>Z-bo7i?IKNTL|u~46T)6*qo|J~X5+l4i| zQxXDenF=N3q&NczmX0^~atub#x=ziC`y#VJ5fStQDwhGdl+6i$otIN%;u%Th)xxs7 z`;sB%#}}uMJe$!87I|26R41(S292KpF<_zqEEW98=F~l)w$z^WKXPP4bK>H z3Va4i1N+kogAzGsrWybOP6sAho0K{{3BZ&a*L39c5sn6bwC3Ax{>N8j(*6?3;RT)4 z8th7^gwO@Gy_dJx6mT(hD6>kfSB8#i&-B~mJM z&oiM6ROOkuuqVEveDSQN6XK2cMc}UAQxOXZ0n06a^swsPy^Z%0HQ_s^G5H@%mr2H{ zq(A#(6o~S&z^#*b2kpjTb^tX(@7vz)n2zG(Y!_ z;Ln|ZI`Gy-rvj92o7|dEA+YF9F}2#88IC5QIv2w`aLB{&3mx6|dpHuySy=XARcVBy zN!oUQ@xI{Yz@v<$t~_QEWu1Dp1v2UFo3vw^E-zN6VVC!~+^hl&jlY55fMI>j}_R@JFK)Q8@pFJ`){uY^7LGh;d! zC<#`@$&I}tUx&+GdLx75juHC4^2C{&v_&Y}_*_oqt!Xot`07Z1Jdqk_~1caj}5g3&Ci(> zymw?9Y{QdG@r%?GM5};VBRwR=iUPI1>Tou3$RGx~9W+Rs_0)h z8x#7`oN7KnW7Tl>5*D}oiP<}N|K-LKnljo`-U6twcM!qc$d@_b?Or$dJcKf(f`z6q zQOQ=R@YtduzouM$Luxd`6-kgP?IxzNJCZ+qy;pC^zRh){DP}0UGFi-}xJfa8L$Egc zvB%x==pdV;NJX*9tA;zTfBu3s$?GPAhe&*{UThF(nImn7mK;95^lagg-q8YnkWCtA z)$=|_6^mH$UKR!W&6pU6Sh1RCdLCq+n+i)ShsHqH0rM^n)pX=-I`h`8TAqFrT}AAJ z(C>}&v+W!|Wy@e~vur`5MMhJ9HDy=CoHxh5bFI{Rp51ratO{IsApK!7u}Vg3hv?0# z#-@cp$@JeDq8wVN)UGAzP3L6C+oWpnbZ|v2;EB%(oUgC)t~{}SJ|;7mwDW23 z&sMZ5BjWF4$B)41C2Vm&WERkelFVx^g}yMV7R z)rhwZR8Lv&GyP}*>=wky@QAY4UngJVbDyHK$TJ@X;dA&CYib3>QKeI*+$G78qX#9? z;Uc=(*5QeYn!P{nkIXxN-!)5=-PPH+bM7%WPvsI`w$#@0cE5yS08JcUQ`>%fmHWn( zJGu+%E+z&b>`Ri)r_mtR;(U2|M{n`n0L7;_u`%M`2F=ZlY(A!)rxjh@t{o}lk;L5< z5(;*gdC~SP#?;yWD=)gDVoe-Ay4P-V*j~r}<&1!-h5Q=*b+h?@r*Ky`spibP;4cHl zxLb-I-ZdGW*-e`MlT-~JSj*|+ykDy1jT+5+M-^})IRsXMGqCSb)P`zjn@Gr)b9D@f8OX^R)19#nj$g7F9V%OWZyva2gLrWh|f7__vC1mps-s*gvbzeNJO#b!gY@vIZ z0RHD4N3$ZNk$0oc22PMl^|OxRlSuXX_%3CC%Uh~g6(*WEk8a$v^aH1_Itx{N+T+gG zBLarcq`Phh=!9sEd#^jnd{Bax}w4zS;?Z9 zSj0*MiS0lp4j74Y)vt?`3V^UhS63j}ekmAok@b6|UI^(~?nVSP6~ zBKE$2^~{l;GgFdJWG@my6pWg}bEdWDG(@|u#Q}9+=PNj=A6AjH-nF}ENN2J)Hlxqh z47Yf_w=xgtn1iw|4sEb}ziCd(a4dBSe#9&M1z*`v_2&g8*J$K(R%bc)=-%Bjk*EfH zwK>r{nzTewJpvid+g>=KSk*LddO#Ed1kzpW&F&2M49QTOAm3 zC;~QC14W%9@wodRa9T>VZlS*$gm=;=Z(9MUpT90ogtYgqy!VSKusWcOXtGETqY|m? z{Ce^~4U(Gpmx0p(KMX-ZPg+StD??39NjaDCwE-8G$6a_LcFgZDwvD5)5f42ot9O$|&iU$ww(zv??*Wj+fwF%m|yIT_6 z-CaU(cXtR7+}+)|WM-eq?DJmLy+sxD`ec3ncR@j-sKOv@Vq*jpw*fgaurM<707T`K zS(pLL%xsLz%&hPf6sqQqR>1#=;VIOC_73JYAfA62h}r`U9p7YPhK_G`ayB4QV`3-do8 z0o2Ac02Xd;F8aUR0m9Zmdvjw$5J1k*(F|z)7SY(y3ZPsLu&^{8~e`!H1q%$b4N3Pe=^VkXzvU(0sJl)Aa7_5{JSzncnW~3nYqK?aupj> zM;AkTAmB}4Wo`@vIlOr|flPq*fVbcP6)9POf-MmAx3TQs2K0dc^ajAf$np=}f4qMa znS=gvHZ(T2v9>h?xtW7L15C}WfB*$?Sw=@!M|yxE$mF-7p_PNpo4=v6f1$aRq0yVc zUzr;M#D$drhHnM_r#uH^dvjYy2Sx{TtKTIu{ib>A@<)(~sExHX5aj3p|2sc1b9Hen;Ql+?w>JGx#?Jp)0P6o72MyrAx#Vr$wiXDW{$M@$CTQY~IcQ^uJ9tfPWvY9MHtv z$@+h5r5p|44nY|7f7$AvHkvz#o4W!{6wMut&Hmn&zvXJbuguCE1XQ$fF#r9m02tmz z^S^X&r)6yU_H;PBt>j-S;M?W=cgT+*V;hs-C&tRb2{5#`H*|x48}b|C0C=#x-J%K5 z^{*ucFfoE`9N%03Z{>LbOl|Dpe@~Q?1HdHwTl6>L0x*gGe?cDrOk#f!H-PEmKZuJB zz$EntaRQiR|DZP(xj*QQMgAZ3ff>N0_y@57n3VpYH%^s5h#kPB`Uky5Q2z&UzeObfB%)j+vu1~{=m0vO>EwxIXIaA%jPYQKRLdQiwXE&VL5;6?VR3j;ExL{ zfXVa^e2Z&p`Y*=c+CPwk?KgD(SBT$w8z=jJ@x7UR{sZ4C`)qIcFAo;xw-9E33VquS zGdEi^An0EfZ?bSf&OcX>@5G0{`U;o-`Z>Y_P*HsnF{+`@wQe@4*%kRli2+O+1|q2IoZ4& z|9>&D{BHZdddTwDfIl1@Z%z(CYxDo!5RTtAK<9t;jpL2P;q6KPL-Us4pCE59Ba@?< zJ@8+}f3yBJFt;-K*F4`E;OJuWFOIi{I{gd2&BFO#1aId53ds7_O!q&{c(Zi}+W$@V zUr&m$ll@ya9shdt-`<=5!GC>)1A(qUWB6aQHpaYx7S(|*cU8jpE)3ga{L>WM8c8$^ z9>45cogR?i#nV)#`LEjF2*(e0p)75Fq`nqfe;|JLIBcwW7t$1~)colAq#vz3x!nvu zKY`UZo_8qxqn8klfI(Gg$Mf0FQ{B%JvJt#pnj*{2=>xK24*H!-kA&-w-jcfuD6);xf8vnBI5H5z(xRQYzMr|inMTVTe=jM$RwqQ$XG}PJUh$7HDmi|kQPjxo%*peEPExAe@cnB z8dy6MP{MS!R*uCeR_sPB8?(VNf8I}?&n_j=y**bk7_Q^*W^vD*%Xp$*uGSpIk*h?q zbriucx>xHrAQBMN!+m42w{cTiDx!zEZ=-&HR_+oiGWcy>l`AkitWDWBv%^6lSwc7h zqTqJ(XE&S?*|DmKGl_M5lCv0Gyr%xz9d6hMN^W@ZThBMuJTiV34bvSZ&*=t5w2Mv_?|k`e+OJW8W@2R zA$!-##*85_b|eYNE2c_Yk5fScHP;*8Ina+Szd0`-^Tr-b8fnO9QG#$}MqO~T8vf?uK7HpI6Cl$s(e|2QSxiY#U+sAB@Kn9-gs8pzHFB8JZ((fx7p?~#Mi%O4y zNjsK+QFeQ9!9;O>hbQw>pXi?GIQ%&)`4d0(GJ>gi2w8mYvkR#>M_i=Kxk@OxXXUG( zjS}D3?pPuM!lZ$B9bY;T3v;n2Z1O8#^Sb&csY|B8@%jgoLKhR9#hmr z!Jy4kuxcb7%d01+y>8rah-P2Bjfp69R_#uGb()%X*cI5FNwib-Z>5@Ys!o4YK4JFl z7)RhSuM(DC$VuPJe`RVimyJX^dvLDe#Lep5bps&mGwlXbNZD}tZz1E-Ri`v%7?)&l z4hCsD>9Hk-WIPN*MYTjEGFst@2;CN`k;7%Eg1cE2n5WefD>$VT$;quA_aDj{7-F&4 zv^#JPXMm%F5qJG~u(&cKbCj$UpW}=w-9v7rM{twroou}2f67>UaNJj%Vv@5$W;kh6 znrRD=db^NHCttbS$BI@3dvaysu#9PNhR1K$bxed_=8Y{V+{}&(va2r}o8N>2-IyRV#(!N7if}B6VRJ6%kpc9ljE*6Atte(G20-)!TF{-U^T5 z4g_klruk3MAaR%&QrHNvB(T5_9?J7JF{qtAs@T+9`Wj~tM#3*XGM+Ya2>R%=(}^0W zt1kr6f2~MvTXK7^oW7-5-}PE=4IMLxVTBY}4zrok!Nkvr~5%+FD^?T0LBRZM5xYn6qX^mV<1e=5My*B<+%9*TpRf(jk_GeQ1bv!a9!%{9-_7<$(u#3skzDjnWq~#pYzglU!9abe?p_ zRU5_BugV<7=+i1?A)+nW>i>#X87W8CZ)EEm%@RBpWQMVI*p8k ze^#NusF1N{PT%t3L+LD0z)^Q_(C18k9sV^TQt`D18Sy*SY@^4d=r(n~Z&uV+pDQ}k z7mTLLzb=zB?3MgX_&Kbz{(Nu9uEc^}HR25@<=(JU&u=Ik$p^$Z=vf};IGB7(1tGgf zcf!6a&)v=AnI(|TaL3jChI&?Fj}V@pe^V0REHBm;At%AbO)e#C{z4fmJpUPg9c0Dn z1|A{}7b&h#d%-6Iw|%HMny2thSQux>IXKp5Wy>a<}$Qb9=6a>em>U#=^vQ0A)uG zv!4v$1s5}g$sEr7*OU{SQ3hU@DEx>19(Q5M{GXX@;P7sY7us2_jT_63EW%FZe_rbmFM)LEDB$L+m54+V{b&%RzMo^Z);icjfvFTbCZ2Dj*xIu(i5lQTUJ}(xI?2Y? za;wNa$9<&r)qy(%oXTLcoCxX2enI1&M?Nn9Xux6mx<9U-SO~^605MIEP-8iWl9k;B zt=P&PVTXK%RpS)B+GRPYfA2_v+vqiSn^d776Mbk@qnlP7O?R28z`(8Ki_&+v(7`wz zrT8vn%BMP z$C`FPua@ug1c><&xAU4IiVs)tW8&ayA9Ic_U%s48%LH`%d@uQhf2z7x09;E+Xzabz zuQf-C+^yGyv<~ee8m=D7wx=w!F;F_2R~L5CFi$NTys_8g zDHP3l<5YHasc9#Ne?9h!C5hYz-QHUG^~50_qpR=o0;IJHNt@ivUwk{{aD8TzieV(= z5$!gM081h&N*v*VZ4Aq(;iFY|bV{_tj159qGqMf(?4X!rLe4O$b5l7slS(PeXWI^i z*6`j69nrJVJGJJ+-UH)cPeL7?=~%zJTaj}B@w$GshG4wJi>(DdeW2>wO-S36WfWZ)GDgyI&Ry zN1TxEOu~G>S064O=a0C&`fyVGan(>e)Zg?@(Usj-GAIkv^WdGvQw{H;1ko%8iY7WK zo5&T%ugj;Mf4g-_9n$GiZJ0Zjgt6pfV-EQ{?h;!8Rxasgk>|@=2PVjq@Vd{`SH-TF zO7zH%0@@WDA4X#(9C{o4c!-tBxpg@)C_^8t-709zYjMM!2lp+yZZwJ_WP6lF^azzj z46WJ^U4Q6j&1t6dRCCA`Rzj`roGfCThQCAq)?EI+e-_`T=#j}HFKDgzS2l^)ib34T zp%|qGf$u=c)~wQ}MsgU*)xzEPBaTve7WL46;a|gos2zX#Eu|J^i4?&loYa-WgbZk-T3Gh^i)zi)2JXR?awqJ$0Q+ z#FfzvfA9ivdsgjAw$Z_Or8z#+G#$Zp>G!qy7ffGy->KkIA?h_=^K3anNq@HxI>2x( z{Sokynpt9qcdQ9>QOOSCTXBD!r7Bh9Sq2Jk249pNK4^Z+$n@9o*`zAA#jPyJc+Fdh7}Pc#NivWygEsZ2Y;6q zEr5{T9Z)|gCTS6pgR<#>X^-jex|9IF!`LOTFfm(MnLTcqSg~N$!%LY^NyfLkkWzI4 zjG{4}+!A+BHK^~e7tGm|G6oY;k)%xEe|v>)i8+A+I)lJIp!=nZ`xEGFs(&wG>%BBA z7bbCYYuV&EpQgjeFeb@$J%dj0HyW3FnGIWKGWB9xO-MZ)F6iGRl_*X?E#IXwm2;SU zH$(hML+#n?>87^6L9?g!s~&>y%p8TqXg`T$+i8S?~h`??6;y^!j$e+!@J z4e18wY~*S`-6b-3@?Y;t-Y-&#nhE-GB=ZHT;5-vH9}ib`o(sj6bq^z=@eb&B{Y}Y(x zUr#G`4IO#J<-mNbOgiNsvo+k)e?#z_H#=0YgfvL6KS|xRy?a0`|KQ}dL~ehPuzVTs z1aInPY}ZZ4(dp(*^1Q73GyMVouHy(;q50;Vq|j27pXqqOvt@%a<6-Lcvon=%zcnKo z)u_s5mss=2FDthvVjQkmtQsiqs<-OMXwR&}x5>6cY5~=U*YJag5Jid2i`Z9y? zvi5ak;|zX{J?uM6IVe>Be^E@p%NB-i$F$@#w;4I%Ls2iduF$F6y}`WRRHKB<4KGJ2 zOrA^sVKda0l)c@la1ooSu>Yzis<~5{Z`blx_eJaE>CqILraj6&q1g2ePvqAH6QXy@ z`H;(iSYbz0#6yOXD0&Q>6aut2AY3Ex?fL_9-JqnX6JA>^P&i}@OQbrCYrQx4csB*I6`cHc3-kTnd%M)R^5s@feC zddv;q_UiRFB2MjL}UfBUR7v|c1{WEw=b*wVHV zm|;T-_w`qy8eEI}h^ncxyQqUp=KOqK*iWk56)l?!u` z?t6#@EAuh2e>y(P_4Z%gJ8T#DK3Z~1eY%P<%`Hxwgxq)?e}1Gx|5fnm<56J($^hfR zI!VVwHz}?3q6!ys$ATtNB`m=n^r^)n5+UW(FX26DM7q+Q(Due=ShNK+{_6z!>}_&R z=V}!^RZY||vPGN<*~C}&vBHyG!Bntus+*(R?t33`e{2(V3E5eCx?L;>%rc3WyfrUp3TXHR-0#jaeAKR(8`yaj|-{$VJBaAF2>EdMeP93`9X77q4e}gitN{ zhL4yNqTpARw+NaDUzMSOweDRrH)m`uQ#$Z<^NzQ2LeL>j4%}V35qRPmRM&rm7!>$fz)dT~?1eR5t3&EBj|qFq zrncbTcRuK}C7xyqIr1wn=vr~LXo%)xROpBI{!eQ8X%8+m6=$E(!-p~LW_Z?2EXeX3 zE0-`s&EDDdBjl&GIM^UDGz!JQ%RowSe?@MRmU}8qgh1?+JZuBBF5DeFgZ#a6dt`ss zsGx`E^Z1&U{IqT<>=I@>jhsDGL169S$BmxV{$Wx-ANwSornB?|i>RF70?YVl0mt|0 z{=Fy6uw$DA%Vb}w@UHz!IA%r1WW@{ah_rJTy$rD@INU`|(0IK1N>o%De9}{@e^OwL z_RaL4k^OCl;9+`)GNoj<_8mSm82&-SGK_`IjO-?F@= zXH=}w3k$PIT}?|4_~HUncDF}^8U7`9Ge{3Zp2WVqThl$CFF%+P+dh$3*hESc-+(F9 z&kLTx0szkGt}|?P@qXkvJWYlje~)(5Plf?^ZdoH=Wm_>~v_iNVJ}V<-AjH&fBns4EWfZ? zRX~f9s;yGKys~y-_^pCX-m``RX9=T8-+DQo5XtUb;-0V`UIq593_`_{Xgx251% zP%{(sjtX6aMkkVX19~<9=@8L!Oj3l*Xqp+G*jwTr;Un+25~6`*DEY)G@fOUEt1T0o zyL+=OBQaEYd4!4dD@%!cm9n&Y+LR zbMd@2DX>^rY!o>SxKOwBg9TedRf|TFDne=4WGiOjOp1#aBP6U)gM$ z@wVPlgYWGdd*hfO&#dEeTf2AI-;%%R>b|SFzsOrC} z(<(@aoQ?#&Dl0a{2jhwHAX}iywqJS5+4!|?0AxU$zvgsUX28$Xos;IY^lXRcu#^fC zsKb^0;(eK^>cJmZ^TAfiU36Wauo?h2kTq(>WPJX^TIug#DMq+X`{k4rEg7w>mD?ZadO zTyC<{^|>Zt3Y9g>)6xTpG)qmy)VS6V;R6rOdN;L?RmnMgpK9$D<$lJ>!gW%hJC)Kr zuxFRANt5^GMSo3a;I`aDY$K$?Mo$Z{%vS*K57b^SvVD#|g%=&zlQJt&{t^rLW}`^s zrz^ngUa;;yoMt9NGyWn1rb$bYI;c4Gi&tbPk-@SPV6iS1@EBo0G-_jAjO!~U4Rc^; z01EOM%TpvAU&)joHGk%uYUgIl)b+Uc9##c;?qIi;p91o4)5%E&yj=iS7<@T9}f{199DEqXULF47X;Re z%=}g{;*bkV&}Z$dIy&l)rA3K~D7dk-6T+C$)EW@k-AmYlp+!pyZ3>z_Do%Mm&wV44sa0o{SC_YRI2p+b1Hke33?=W9Hr9sF}w^)CS&x zGIpW+{1OS$3iMZsz1yF_YpS+tMT^$e0^W(S!&27cr*FzTyr9hTrO*@KST+OBRw>vk zsec_1C~>Ank`IKxH(pqWl$xo$Yu-KrB#9 z0X2#Wi8DxEN=O_(M;a2{9)659Bq*H1UZoHwhSagll*?AuOu$ML;o>w@dq*o%!<60) z>25-kx2NO$<@-6vvY&X-9Mjn#7Bf(?)_*D*J%gaEqsoD{Rn<-sdf#7K_X%ME+}QJE zt+saci=h!u5u>BQyOy(iP@M3;;jr*=Fm&n0QtFi+=}8q^;D@7MzkcE=^7+6B+Bdg)jyYL<_W8f%X3O z$V%`ORK)IbBpcfCR`5@CGTMdbqMTi`B0&M_6{oW-@QoI^;8=;7oi6PhS^a|n{>%(w zHM3hsZC77Te%|2%bsrMx9_Tmog(^v%~fMd@Y&aKO@$!OkjAV#DRl%1>fpJ$!eSxB?<_Jq+tG zGEF1Yv@$TZFBQv%y}yS*uz%$APTWq))-u88_H0FHg4n$~5g{+Y7)WAzV!XNbK+kn3 zUQ_3eAa$(_V-@clCaejp-sid}KlaA`loKeaHuimku3=2q&iK~@Pa&1$zTQmqpio4kbMTLy54B$wEt$%k{jhC*azu3`> zvt#(sJh(;c&oc6;Rkk*x$~<>BxrTKNTNpTDd?WMXtvchng=XE|jvOr3fOloj0UM5R zy*O+!k^R0Q3w4r;`J~gsJ%Je3Xw5G^i%BHiYN*H3xGCU{GwxvN&x>aQF~el(g;4pk z(fPd7f+@$f8*&fZ_kS_41po+Ow!vrz?xV*AEpKAFRL?KexU*Y_`kxY42UR_az=it*QH6z zx{r8^e3hrdjyT5+63aLBaG$Pc368lTKGF|WT=O?~oW$^%qhD1RwviR&9J5-KHk#x56`%Tsf$aU3gn|mEJm`(c; z^{~zt9ovb%ae2HXyGAN#6f7KebX$HI-a#LN?h_At9cuH_pR%!J76tuD7=8@>72JyT zJc&fwIeHOp@_+X)kfT%a79SF`fR2L${iar&i6fGl*L#j4ROnu6JHx$glR3qyG#oo1 zoWg)d>%7x*6`RaE*5-KoRyL35Sqzk;OZ=~orVn4CQ8&)^>&R5Pi#<|5Wad(pEPst< zoyp3U*mW*Tr=o&N%<@xpVi+;fs-YG*J~Z?Pz3>B1tbZYde&k5QEy{Ek;d3Q7jfpCb zDLrrIs0t=#LdNTkIN@|qZ6>2rD8i&Rh?pRJXS{tkCZSQ0p>=ifSS@>kxIa=Q6qu5F z8CC;1dK%paZg)q#)=&YrQ+LM#*V^q!uTl9WDz6rBPA!k`3786B>fS=Pp_SVv{aH;Ds%1X^ z6JG*_T_i}nGx}4XkyRo0#0#%r9mH^%`4S*Wp$%TX@45pGp}-_hv@U~a(XrJG4>LTw z=YJ#NswLl|vPNlBC3=#6jRck+{$@bxQ_(HM)lkDvyrofYcnfY05eWdsJ+z7#`DoGr zBW=&x#NX)V(I-7k&#sG`Xcf@j*bu=2sw-A)n2Getx zqYi;Pm24sBd~`39K=Rnhm@4{Qtke(aK7SBE>c&IcNK@@_v1V>7HjLiY56t>`!D|Ha zNmvw|JJUoW%xrEaXOcN!0uA#?3B-OF*q>>JT?}a>%!3`5VR8Hq=JwYjFPC@y`!yog!=+6i+AAyaUGC#1ZLcYoXY zxU}cI4LuSd878o%|7H4dRLAPgIixsBM&?m!lWtADB7nApYnb4_8RtTEYeEyw^vf=yQvDA1_YHnn3jrgN4Er8%$SWMksgRWXdBYdu8kP?bU{Qy5rgQ@YE zG?|WHuAi*k5X)W)b~N?AO^=ztA7VbOU|9=N9Y(^r8-Vi6NQ*<)(S1C?KQ_E`>de|FFw z(MEdG+qQU&jNUI|D^mMcPJdlVynxaA)c#xm6sY;$AbfhF-YK6oRjIWzf}}Ko9FTeh3-UeCHQ& z&t#65HaW+E<-IBut$%REdK&|f3`COSmP&ksho4F~q2Sg?)3O?5|!?oSJTX`&OyU65>bOHym?P5f!r?YI)zab|Hx<*I!qAT9Pd~r9cLu3c%b+k)L=)uoLI*I$G757 z2D;W&CfJ*S?N)D=;$HTZ4YRFT|t;Y-I7g-p{ISkqz#tA>TE2(;(M2Va_AK zO4|w<-LDs|yGM$s#da@4ZTLw{Sfd~_aYr&0%s@Jf7xtU)4S z9ZqoMT=V|f^W~}GTkn2oaTv9`Tijj{W^m{K}ihHNP%%yO_ zab>)9{l3fP-h*qAScnIl_C;iR<__k>jF#b=Csv|usanldo&){i?*yR}T}!F1A@M^m zyP5XBzVF`qHQt9>G;^1D!Vk3WgRXHkycv&Ck$+xd{B1UaulEtmhkBzWpg%~#fL{Gg znQR>Irlx*<_%ecj@W5_lJ9xTzss5!3f84U+=?c6=BB+_hGx!ILvVud|-Iei|PG*X+ zsm$ObLNbm%0S2kDC?Zc;>C(N%2X$WyYpxIyHRuV#N z7k}Ak1+A8h9WUUH?Q`!4ywABE2cp)T4Ww=~TMQFjKeUg&hBL6oW{i{a1vknW7rqQH zk$yr{o7ynB6^f>MK$_{#Rp9hpyQ^GA`Ko$xb-ip7F4eHAd zxPu(G;-UE~GzXZLevXI)K`4O+{WSJKbJxjxX15&Y-F+AD4!YcfbRI(~b*59igkO3x zD6Th%S;?BKo+D=oky=ws?mu>1(0|&bP0zmQ#c8Jb=OGdmr|Xg@i66V(d12-Q{9Mhe zNFq{n@eG3oZ)UonqEYM4Uki_i)U>VzO&eKI5}`xJQ!*@t5pw=!=Cl zO>+)@y-Mb9>y&N94W5|dM{!$WjkJ{UQ(1X|`15b+rx^W~6OTfS^N1n~Ab$>>KD@%+ z!4H(qGWcMXLgvD?PnSQ4jqniC(<=+>{X*imS5{t=WRipIna^LuOldfG^_r?2c9daS zrOA|geJ&%4n^>L;f-^#4KdQ!-z;XAQqJ=nufMqQZ;j%SWDcnH{)7|&NlZQ=fVbP9A z+kr_qw|$}rd!XDeTZ@>cuYbX8|3sL7e|}g^WlSQwOR0_@(rd;UL@F% zWb-}B@%YH?h=uMl-R-~(e-7;!6&R!OU58k2DdU-_s`oS+!c{!KX(A6ec#>N+maAQF z4TgE~+mebfY|32bYYB*gZ|_kPoENghk*eE@%K(s=oZ1_yjlaE$Uw^Eyq{d=9pVbqk zc_8TRF{%lh z74A$U0*ChZdV=z037O}|XQJ67rXwgdRu#-&UD?MImx$ste0Ig^6wVEMS74BhdWz+Q zcWoiNiHs;wpg5aLcYmHW!mwcVW0DZE;92Vn3i*P=%Eb?Q^jF@T)5eQ(Uor^|&aKvz zsk?^v@BOFnz@L1;JfL$>qWQjw7`Lg|SEb;xB#lHg&!&&fNBZ|3)E#)><&;1qp-qO~ zNz6H>cJJI!r3xrxTwXt4HtHe3cRX4D;Ow8K}DZ zGneP*V=~l?d^gQ~WFS2xVgIw2<$8%tvc<~O@>p(}Wh7bdNEvRp7-3R#TRU}N2FuNo z?|KZ{kUoO?=S4KdDzm5;;r`Ka(`60QWRr(~zu{3@xCNcxoZQ8)*?;UIy^^b?HFfcZ$%Hi9X{#CmF5ke43`e2&u)>C91Ch#Yk~r$vKNVs$ zl1rj8!0zslYMBzPLxTCYf+)^po9c3rAW41t)q03tgj3V9@cEG*3}()s$8wX}&&-Ia zzo-gUO8)e)Ioj}9F`oQ^W69C|{@Xpq()$F;&fLQ<{C~r8bt+EfHk2Is3?z|F8&aJF zGuwyqg{cDP1w&QOunHg1DbxH9Iaj?G2GO|M2WKVL^RN6BOKJ&azO8)Wry8peSk}ew zqrz|W+3CA*x~X)&jmg@#h+_e%7s{&%kymGE^yzE^@w zjcYB>=wnpDYI^}u`v;)WYal7k8BAR282strFKDBAtK--b5$;ITht1sJ5q4>Vn(x$g z41Ii;3-39>GRxDnS!;sw^QuZLe!M$yQ5W_vFQo}>wsDavzhhI%(?+9!`(-yknwMv` zg@1x=Ym*VPziafR&2hS3gy_PEDIAFj+&wl-8yiud1;3Ep7uiFKjN_3UgMTgvUv2t4 zN-oe&yA9tOPf@%>2!Ghp>NAz0U{syNSux5r5NinyFi%=3^z22b zx(=q#62sfS%g-atN~CF1;W!HRN2kYshumBsFe8bR9Kd_Zoh~?h@6*Cd`4AAzBxNu{ ztgpbo&nz=@RswbYfsa{c03#*jUi+<*ohUIXRZ)CS=VU;8v$JrIvCa#p zF4#ncl~$G;4k?M?(fefx&r6g^oPQ+S$W~k>+`+v%2dBy)$1+K|ruK6|z!+5+(M9rU z3cKzYej);O+R+a+YPy&$`F3BW>->bFX6@QB~3WL_F+Szgwv>bF}xvzrTrs-U`dk)>9SFf+@wnd7XC16_mjd034KZ zCsds=l49(1GAV17h%&m%7VfnXl_fUdM}oD*SeyQoMnl+ZKn`E4v+9VXFiXJTJEa)P-ib-Jqj;%+g({kCxclJx zz3K}yo-BeQN~sGfE`Q?Wa8YiZma6z@my*HWC4o|Sh#o?C?t9BHj3<_q2k7lXzBM9n z+uoFHvo))$ueOg#-Nymied@bc{5)Xil;Mb_c?D~_WfTGWRrm_yj-Ms;|gJ_W-hkFk?eN3{Gw+i1aryA7V$hd_;q9o3TE z+bZVuus4byPL*es7(s`r# zd2ybjb9Y2J5s#7kRqxPaLQ(gsB;-(h-7Sra3|z>sTO8F3C!U}|wK!%B42D>&A4W2p#jH(3pm9r}$Dd6CV9Vs4 z1tIYCn15peecW7qBW9ZI+0^Q@cgjw3O95luN+TT`w~ZvjI#%DEzp>(QImnmYtScq6 zln@Cz_}58GC;4(C2{D}{AnM|{oki#BqZa2E4?ok-1JP_Pkx{ml-0JxC(s44O`o)FN zQir`)Amv8H9KrH!4C0?EGK_r{ZH|z}Wy7F=Lx101jV9cmp)=)MsKwCbVB#g7H92~j ze{$&o?iD5w$}_04 zF5{j#M@8$S%p?`pm3?c7uIVvT7o5k1iF*Q~??@$4Q!NhYL*S(mMTjLZZ<0L%`5yQp zI)C!gfE5kzlsem(K=q&m``g&Hk z)WuEKVlpQ!f|FuAS8%e5WfL(M<6pFDzki-xgJqxY z4dBkAWz5($1Cg_Z6x~ay3op;j^dxSnne*tcY1{24CE7X3r38M$*M)aC;t3k6)PGFd z;D0i$lEEdH%sVYc__7tIfMI~Ip?YMhwuaXs!kG$>Z_9!s#3q2>!5})_+0_1+7q5@M~^(&X@&F-wDjFD`=?Nk5;xs(op9i zglylMB}rp;*#RlnGKwF$ipRjiioXDxX5`B7e+g3&ov-cv8L`o6p=dz5`UOxGuNB_ZiXlTw;imthQ?C z5VNoaZVc&>2HiT#=~nm+Dfsq+lf364LksSzG?q_`2 zpfvU>7%Y5+8$i~xm>R|v3gAFBL8>X}ohM=IZA70StUSE`p6WJpnt!bE{DDY9>NR7= zHmG7BBaa@%jAvf=U>Zphzs??3&HZ7fDART&JOw!>y3r2OK4Hh+$v=1T()AE&`@q6%*Hl-`+s|x7UrHjJ5y=*8Uj_| zgHq!$r-%=FGhvzh@oR1`7Vm0oCQ8Zea{nGARGhRDI#khTii?+ANgV=U#mL9eu`PWg zw8d)3_jkfyf}bz>u1ZkAe&4!LotgGL!Q}1CRWSFy&c%R1UTm zmBr3-_A5-`s>oYFpe&H<((vM;%X3;c^o2{SuUTHK8ptX>`n>ueS7#o(b*3OcJ=~Dt9z#4N_Xv4}_0VJfg7Nuio_PVlU4IwlTDAfmUS;k;Rq&x|*o|Ui z7DB!^5GWdG)5(g)qX3um86-CDlZWaX4JyoU1>0Y&ezDA%c%k2j++%gqk6HxKJPSz9 z9XVmi^E1%ydtYcl-;bPVBWnrVeY=)Y9arc%y^HtDaCvi67!V_%G>ko)La33(nX1nq0iOtneJy)VqC% zW|I+V_a7L}jxS?yxCOx;gneB~>4*_Nbs{Nha72w7Al6W!fAJ{tc2~b``#9$>>My9^ zy`23)x%=uRxO<){w5p#c1C5YuG@ofZ!t2Bcfq#WdWn}+rAaRPms~4HxGfn=ncibSE z@wOcr25qOvq4kDcc2D31J0^|F5XYmxsXmh;n+-D7P+p3IDuUzH_alC9#ejfW>kXg8 zZ5t#kDi{o~P-KfCI^}~UjdBeWMoX(nZ?@d0+YnI?t3gG3XNz>%>T@*G}h6^t`~BbOwDpNPaCy1997vU6E3|J2mmJP4D=1{s)bqD+mv4qDmsK5On1vSb$S?SPUW$1O3M2xRIocbD;nG2cP4Lli2e_~j`+pi=NL4MY z@4`yM<48`B1z@%Q)D@zivx?5*I#2p|_c(IvkmhEA=rdD_}G{1;d=Z1g$>b5wth)^1NL!_FHf1ebHPI&<7-m8-LO+N4F1&Y~_xE6>~ua;{G^Y zF(l)**4VxQNFB2gF3CgBRxh;EtbJ$9`JT!nm;i9b2=&FC9i4^G*coPW-R;(&nEC2(^Zm{L*@R6qaj-7^j| z6|F3cWPcaHFXR~PNM=7XGl8}6V(!wgBC3z~>i7H)+K8|MzrfoyOs)`F&tD~ef>TBu zv*>4|%Ypkd=fOmKf3?LS=6<3nIajpn^VdpTm3UJX2q3qHG!ow*N3U_Ii79DE86}H~_VSYTbHE10 zn9=S6=);t1-WE{54W;3z;XU#nBgqet+kftSn`V>$Ewd|1YC~R{b_aQ&lBL)>r?Wln zI$G7W4C1x;Y-FILkAgC$@Xf!Za86K4&s*{=mRzP&0X{ z0h$}-C+gU*tZC8{8432!7 zq_|~S7LY;}Qog&902=Iv2kJe3W~7q>!aD_M?z7KLp(%l3`N{5^MdH1BvhYmkJiv7( zSuXa-!n_6p+-NUaZQYc-_=q=1`+v%_s4yq<(m^P1HqgnT2t7lWch)dR+z*04UM=u% z&=dkF_1TT;b87GcBS*q1MT_2{1eMfD(3M={QL3yw9GeSy6wB$Ei@MN5`?8Be4pSMdDd7D}OT_91zPh>X~r1_%mh6xyYUcc_2U3>v?6r35k8-0YI_f z)3yR?d5V70(zZ&Z0CIxYI9H_p16106>z1c2)quqKpYs;1418Ox^e0h^db&b$k0>h) zEX7`ba_voGb`3|37S4}vwg=`K%@8RXn z@mxnrK(H3>Xo}BQW`8CWqhqPQn)o}a1G6?U)5)CgMly?Gbhz1=Sl9O6v7Bz5y7&w% z#(ezmNIEJo9H7+_yTNlcM4%-1Hi~(VYj<=TcgCIk1)VQacn}Eh|F-aRGg_2i)2+b4 zaQn#Rld@1Ex5`A}wJK~qV+L}vR1R*L?Z)R;pYNn!g^bfPY=79EIp5(1fJonmDrH0v zgsc?;nn3I}px4eAVu`d}k($wJ8_DiL!TP43vp$cLfC2VboM7t(D_1h)Xik-Yl=e4! zY#I!qKE(Mn{F$H^yCpaN1qIr3)`2z}ghEk6-+w9N@D#KeS?AA+@|o#2DIhr78qh`_ z(v!4tTNaw!+JB7IP%x4}O%JKMusSsv*#V(B>fRnx`7`;-2%VCxdRQL3#SOc(?1F@2 zh)o>*nx8{U4hDs6CO_CU!>n?88&o~>sA-Q0AlFqIx3`fd_b}z1m70Uz;93*i=IliZ zQN8T4{^p{DqD|U|s}>)Y&Xv6j@TQ3$ zwF$N?FNJEUu>*uoV_oBjoK3tLq@v#0Gc4yG%~I$p)Y$}ORxXtjtZbP8xCTgX?!RFg zrRC0J;|#|U;9aMAk;Hv|1ZPw#*O%`E*V`+^x70Ly$a#m;Y%e$Yob82_+M0qT+Zawp zJM*JOMt{9LG{ndY!suHb>DQKfIa2Jjy&P3Yojf&t0L4Tnd2^PMI-)z-X)wF!19;(qcQTXf}{rW zsDeE_-Vs@Bd@nqB5D4%8x+*%OK|Ryl7l*5o=6~9}jypNm&bXJ90d_@a30(~oyasO_ zFfJT%axszRPd@PS3P1U#mux6~`?;vGcsykS6edN4Cfr}S&x!_Z&*`}d1{v|(uIg=0 z4NYAON% z{(mr%B}wADA?$A4+ebzoyWbf3O z#4I3YKxqirg^7)sl^-CXq{ateW#wRIWo1XAqS64l*a82NB2j4pot!}sF#kXF5>7x< zmlv6&smqI*5(Er?kax8MuyFv`xcS+5_*q#2?5wPO|2Bj;@dG4H-9Q!qC1!v;1PpXW zqLP3(cshZstX*ER{QC%?HKzlx@$vC6{&5G0*#n(G=B8kPlBtU|(EcT(xv3pM9bygw zx_JIq2wFjF7Z(S978ZARcV<(2XJ&|#l`tJ6z#Zgb4NwDrIs={DfEIw??E;id?SX$9 zV@9F^Xjp@s{}QW1EM449oq&KBfgQ*k2zGvPa0Occod7Sn0qSy!02K!y_%CC{zYG`w z{~8T|jhXE~;r`|QI}ix`$Jx}}9AfWa3ibqntpJuFJ0L(sT9Mhs!-WxG3by!dXlmyS zdGR-OGX>dynVP*A{3+ZNAT6c}Fn#IoU)?#IJAoWroSB_LcE3Ah`5oqE$WmYn35dNt z5bWZN^t(PukQ31SW$Kj0|8=$mfh{b5w_xGwz@iBTIl2PnB>!dcB0~CG zW(9NsaIvzo^6;?(fQ|s5hq*P&@8BAq4!}Q3w%_7^m->CZ9Uu+>%a;~_z938B%O8@r zv#A>p;Ns*8^!5Iy;=d6R8ymm^WbOhm16qN=NPkCv5d$s%!Y?=P1o8mrv%V0I4Z!;Q z_n(vD3%4vFU^~yh&Hr33i>|VwmZUhtpN9XV5*LSf0KAzv_yA1oT&w^#Rt|0e&&$F0 zzoWc=GX?#t3f8}U<-nE@0N-E5zD()g1-t$0_G$mM7<7RDj-?EFVJr|p`!~T2Sh-lu zUp{RA&ouwz^8d%~-% zAkLuQ4+?;Zjg|F(bT3mRa8!s30Z~W((0|GsNfaXZc3lMXGV4J$&_JRvUs0`iaY8K!8>D1(5KIjTIfta*I$*Dg%N2=tg29%ys7ce9u|lfOvi;~9{APog=B zy!E!&V;<+d)+;pFox2Gr3H0!ZVQw+Urm4Nf4^rgu7QIW0*1jxxvK}Q<*)@3A9PxZ zueaZ6^;p`Z60Pvf)c*p^^N=OhzR3=EA79tu??&Os%PEw1KOZkVjZc$Pz_rbJHC z%M!+`1SFMUXYh_+@W4lZqoi**@hN&*`(R6#)m$U_{bX<$g+pQ{A}K;Mr2~uTwWRy# zZ zqO-AE4g1D?@t<~kvNxHzqf(ms!Ftkxb!8^1H=cAR8`F4e4^|d`KmuvG)FLNMrZ4h- zzX&5eZmmu^KPc#&RlbS!?pgM)sJ~B4Pks};$8$*e+^~C@rXs5JR9+xrkTLq2mQWEp z9QJEjOge%WRSxX@TLoqLABiUYp9*Ju7qq!Q=lAF0iy=h6BShy`K8(sBkKi$BYhO!r zomWOGP(RZVy`l$y&Gs`sd&sS3(yOqLr*tDXBe}2%P}&6!js2o}GXRLmTX=Gy$P;JC z_g!3h-}dx?L-VD!u2@aoD7OfA_T6aXN7GR0+rt`o+D^Z$I{bz^R0`CV?y}(Eb?l1O zuHf<|aoTA)B5HWiUW}Z*o$+s^zTr&UY5d;1o?@>kKil(vKfnft(~S5Q&z4}>7#SS> z>Tea^asIgvOc}Bo*!F@WV_a)oXGwCsXeMHU;%jpCO(+7!H_Ca!O*+grIa3nHSnLxI zEh?+BOwICD2omL>&X}C{yfHQj{%9|-!s!}kYK{-<;Z#Z1wT_@Djv~?B9_LDq8j69h zAbAw?4jqzzGTmKcLXf#_NcOb;adB0+xn*PLd5|P}sVUehIH_PZ#70P% zh^^K?NzR_{JDJIo9(A5(9tMuOZl>xe1caDC2;gp?b9Ej|k$)@lutT6L#JPfov4P&?T~ zq=~XGAL55)PxkHI0Mx|ssiaWQ^+Ysks@wD0Ao4SK$+2>!pUXx9 z)GJ_rS1YZp()EG|7$N5z`szY%gF65GBdDP2Y@*lKmQR}>Q`&QT?1#7T)C}C^-4G|$ z9PVl^cWM1ToC9q6k@Lc$HPMdD0L?XZU->u2w-fSG%^bF*mKjd5SurZ1#LO*po}scn zWhi1<8Y|o=G@YI;{fv=khO&!}_C4$MBww+Auj(c6gY+HA{Mr_=vDAoJrSHM!N(xhJuf+I)E77ZNyF7 zA|pQ8L??l7nfb*oyxZ!t&{VVnrAketdUV* zc1E1Yd-7;rvD&^5P%%-R8w$^u*2WDr+H-4;d*i)pwAy7ypmeCuZ#i?|oMVkQI(mN=?6oSeYkVMBp5)~M(&&?awZ zb0f;4PEFLp6ZIA6P0}tY$!{HY$%W&yM6j~@@%nya2i|!Rab1Dfo;ViS*F*nykc?SR z!fIVC=W(@ybnF)9Mv%{Kl0=er+QOP|l9415qA<-l^kxqJsPFP)R@Eyaikd?g^m-!iLg!_ILT{FP+ji;pCe&*MV8NGw2JGQ8()fY@k#xS>_XIOkgdrGbY4h8j6RR<-N=nh^h3rTvmaF{6KxxS9zc)Qp#`eUW- zHe$cpe2Jeca99Hn@OA!-nzk2tj8>PK1@Bg`OUoxRl7UBTI?$K19KPv)J<`+WVGGJu zjc0oc*6Iw$BQ@R94%ZU7il#%l&#--co_yU)`N!s}NfN6Tf_z4kh=z?gKiA^mH}E!i z=Y40+j()*@x-aZ-Ed1=M8j&*-wd}-Vqd0ll9>pY9vr#D`8a$EiIB{F^pw%%zduV$5 zisBQm=a$x6K~7mZP2xU(x$g{>Mi}FdX@og-0ST;+(@e}tQQ&2_ctu8pEX)Opp_IunbtPXj?E87#V&zAr^4r-l z(~6F#MTPyZXwU(Vu$#r#s-oL4O}|7QG2Py=8psB0w1aW|^3GU)Z*%NDP=0L-UgQQwvp%LF=e>RkEzrjh|A3x`^#-5#p z&85^uUpYQi-wKdfgbo5Yt3Ua@mBcElVhN&{Z=Lle z#`vY0`>)S}(4$cb_Sd31Y?R;l@?d%|tnrrRK8=4~EYdeq3f71Cb1CSEu&LiF`>7 z9;hEGW+(iA(3^arE8saBXa&K2TrO#?eQJZY3C9NQe}#QzRF!Sh_KipiC?z2h(!Dz* zr5glkkd*H3O)K3Z-3@|ti*$zwNDGLBNO$?|`+45?dGBZY#&b3(= zdtf}JU;I=nwof3tt86O$uda-F!kK^Cu98;8(EoJQ4>Gk;H-80SoY^7slS+O5h@7VP z)v|IDHcRuFkP(J`pLco zMgItA&x9*7ay;4hiBVr+onE^7JW=nnilUYYw^2XqOUitpqwbU9AvYa^{?aG9Bns*A zNUp=4R$;$+^Y70$63lszf_%ALA8^mz!eW9d$PT9Xcx4mRbXmUf9 zSnF0N!ddWhBpV+aoxRM%Mt+bys?OIk-6kR0st(g8uoC8Di_&JW624m6LHODQ0*zIx zU%h#!g?d%5w)f4vfp%}SCvr}G$UOZ0M8E^?W>L-al9;>ThrgQ9t>pS>SNsYl#G=vy}`^hzu)Ix(xGRIvB!agw8aUb0c21R1q`p{ zGQES0Q|o?yuFEnzz^9BG6+Fix_xLv+9vSwWH9Jj(4)SZ9ly&q$cDxm&-gGVd)paXg z{`kfF*>7n~Qx4|f1{e!fXVq5wsh^w?di#+{VWsdDDP_EVzIF9#R;F&BOscfDmeIo5lLYL$`WcNPam2q2flrpwmrxlB0V@4e&EMX zmgB3|$38v9#)#Vijgwm5$$00rwK^dfY!+HG4mQEdkg2Fsxy$%Sg;zKd)qGsq(o4yf zceR<5rCs%5RI+XIM!`muDcnlOm=fXXH#le}vI zmix8JFH0``>QwyAD$KzgsM{yMB)V&`4eDY)$&OZr2P46Zw4UI1ox>$B-dfh zDFMzELXBUe^5-v|$tb5?4~tS;kJI+G?*RRu9g5E4r2ba<=zV!~p0iPr3_?m9tN73d zmFzarA(6R$9w}x;0!0dY#ukLXx=-EQZd9SSyzI3h*=~3|#h*Um?_$r~&#qe|FU6x* zix80O(K<=p8tIAJw?-8u-TzoMs3|9_2!6lWrSf5_iiU@znPxG;8SkT2($@`G_hp?y zgrdmUM27Hrzwgm7&!N2%J4KK9V9XV(6lKOJVLjH9U>HHKgA5sMZc-kZ6d@_M-f+^- zi_c*}Zk&R9BSz~bF}4l*RMF`-Sru<At1!no#+j9Bp=yDlvAWB(zC_8j+rH)jrgUmcl=GjEKjnY;Pe#W z#UAd^;vo#rtFc2BC@H&el_faYPv6Ur=IHY0ZLXgNYj7^|eo-yx7mlaetYqY12wfF* z|Nc^SoIs_H=MjzgHLx`JC70Hf(62tGxt6hqYB$r~n}-Z@WZa484ti$s zZkLbdvL@z1wj?3z?)vNP%^s68zE7+quRO{Y%Tr7HQe$ zp9W=f440p0by3XqMo>EAIye8+uj%#EIUNM!`7SA?vm3W7)bhmoiznn6eY-reOVYM8 zAqOJ$R*s$D5qH^;Cgt_^=`_|wr*2&bHD1D}<(WFgPxE%_=0i!df~m{EcRi)VSiexb z)+6-hCw&S;6~6WpB<3hYgbBTdQ~)In`?g)3g&xDd@5beIU~zp7V= zF~VC;6{lt{E1zyE%?RZb_Gv#t64h6ltIOQKRuP zYxaEKBBCS*8wgxTPYea9l{<o~jRge+rP_cTle*16lJ4OYKN)P2F@rVhjyZVkRYi zt04FR0gUuXb0J)|Zk$2}8FXXbYcY8DrUxt)l2FV_{*-EWsU;VCC(m%r?ux&=uSV2f zmSwx#wx}N(HI?KnbkIHH_@3gE7#oer5Zmr8QOl7I;+HZ-IPe@w)4%zF>pQzjTytX zxSd0(*iO&O=RRbsRqs|SQ1=b+j4_fA>iqs%&{v$%*D@)5^8ASi=#iR!OC;yhrrKz2 z0YUFM|8PhUqv7jw{c`NnY}|}pZkpN=KS^h8?tIaZ6Dq?Lv`K=ugAwK{I#*4sk16cKHQel_MN%|-Eh}Y zj1eY>m3Ec+O{4{O%)f{J zMZ5!TBYZJ5=cSD0SNl7(Ek_mmru7sdXt&~Wu+TNwCU89qMG)7M>f5x?{;?_S=Z?9*CyrZ;(b>3UDQf_&z0 z_-GjEd=Htnb>u1PiHh*lqXdrI5vcnw?J|rya4FRDzXaU40#lJv9aQ#ezox`QAO0kt z1>yxExQhne`$ojZnoVp5^k3UA+Zw6dq}LkeL8(-Jc~$1GWreU^)jQu%RE<&37{?U_ zN^j?6kns7N#uYHp?G`Eh#V}M-7;MfUhH9Z*ushW(j!6H0=GLOp5fY>L8iK-e8k~&O zb5{>Hsh3k_sr4bBmb6+2%`nM9(Eq!pS!bth2=9}i_o<5($fQ3`P_1eUBJpyu&7C|r zi=TE_qS+?XY>}TCiNyurtw+kKw+II}D3}%s?(1E9`N)s-&_|$5?{fbBQmS2; z#26a;?mVxfT)%A0I~E8C*R6%jN#vR{ZlcRmraPeZQirsOG5i zo7~R0$j13k0(eaE^Mpyds1a7X`J;k!#-!jk?2u69A)oI-W%SsCSZ&K*<03@(TauK5 zN&Ki+RD9C6C0ExymTB$L0l57Felj5`sSF+1?A7*xupRfE-N6ltjDnW9fU}^&%?!!# zD+ib!Lb*2(C2f;*Grroi zau@|_T70YR`w{kAgIoAKMP#WNqA@1d#>@P@(^FYK2@wh+PEg=2vwBzv5XKpu#1|ay zElD11J?S0y^I5AnA+zYac8juAe$46gcy#@M#uT-Ze`_16#8H-C6bcwyB0cZcc@y_!tLn5Yt}|d=N^C1>x@N>7 zjtbk7rs*2*N5p+ZVfR-{ut+xn0$wsge)2j@&J@a^p4?F!Zl+IF4lnfnN|_^5OAcsh zvw!U*z_@@=+|emEo41z_sVpJ+`~lMvevIU56$#xhle!) z`bpsm73Xv|7D1iEt)mt8F}B59<3IW&82owocBTgaI0IIfkc$?4R#2s+Tp(7$C6b!`rOH`)PUnA z^`vB}atV?UYUbZ~~?LDmdS2?~O5bIymAom%2Wz@*)GNH75&imLEcy@O5W?*T&R}J|m}Z;1a+QgGtA$$7tZ(-|MFOlh zQ{IF=M-}`mwaogI^&`Bv*4}lB21{)|r-j^Te6k}_JGo%|1)pOrn10;jv#s4h&|pJlR3R|rnzm2`h+_UI^-bGXJs?_sybnqZX^JNJx0 zu?okjrK45PV(qams2T6cls>fYQ*>_-l`*o}1J!u^xfd(>nWd=m{leGMwlB%8pEiPv zAnRO8+-HnQ1H}iS9zWOy#&nwo!cSk1j+Ul%s8k<_we-HKY}&pU_72tAu+fcJP-Xjw zmPFJjh%LX0WYZT>B0}NZP0j8bicZF#cJw6lvf|2lGjdchvs;)`EYy>>wM$Y|xV~HrDD}(OH@!!<>j|jnQZ?&eD{1U14sx{6 z*0pA?`es!GNZQ-!y1j3uP`3nq@s0m+YkIBZR)%ot2_7nxjF~V0uMyBeW9dofzt3JQTgq5g7PZDthiR>lw#uYr) zwP}gxKfguZoi8#p@LSPh_r6~Nd3hRg*scM0keNMv3)mwF>Uc@*Nwv9eW4oQL+iYaO z7s6t2lwSYBWLjEC7Wn*K?JB5aqTjl^W_#K4v1qqTUG!z~x^}g<-7otJ)PbwLLfM28 zZiRC5(dO&dT@~KXyPoytxKMqc&$NS##^HUOY@lrCm3m5B1h3CNOX@+Ad z5PeJ85{DdJzTlD<+nLbwr#@y^HTdM*2ABz7Aa)DqwAp}cyB0(dAx1Z9cat*DsJT9S zh1?NwZs1lH@BIcazeFk8;TL8UZs%C2nHoG79Jp0T>Jf{`>H^vKG%GtJZQQXRZM(8V2l3b5P7j% z4&rIy)5hQR`lYZGwIHU>o0#)<=>x_2BDXu#^>p%4Y3#Wy>NmyYjNVI>u&BXLxR81(%7^%PVoJ*nJRf}0w>)w`Ap3GMi#pME zD0wkT>69F3S9m(0FXOJ3jLkEf(Y@-{%>+E7A9+#vXxl@nGMxSH z8@h7X3*TY2$?j#oAE*Qmu9Vqy4gPlV+Egd!*4tRBV~wvU>6Q=Edwg=wg&6wYh&WNB zusWF@43?YrJg~MO>F^=cK^(GiXz%f>&zxGaJZw+m@5~rR(k7T^1Mz0oj2=h5xRm3F-;Ji`NMBW>_pf zc>grJUfh}*RV;lg=iaw}QGaYEB4j5H1ndb}8cvYDF#K*-QStRB?(gx=>vIEI=;5qx zGDyk*Fluymvp>hXd0s15aJctEx{rJKYb99qW5wCVQhn)1`G@1JIbT5D8ns>9HO$rg z+;v_2knSSoybnG-EudQ8Q%_X}lDqV4mDa36q3&!SP#VhlnywMGH^xA~4?N#-xn2|B z+@IRryR)Gz_`XbFT-%aj>BBlv%|`+}Ez*=?mFMAAG%XdMRa;ygZDXlgaecq^XZ{=q z6rO8@DiOj3J*S36KTmJjJnQkRB<7RXLu?eKocS{a08A_9g{GJ;LjS3`!4aF zuC0T8C>dh{NxJ30j6n@f(mpZ`K&_}=C$WRCYY5}>M<1Dq?g7c^PUQatHm9hYD;7XLb155juCUv^r!>gc`23?n^Dh`1sfQ0lYPLQJV>tgd&G-+0EmQ*{Wf|CI&N#=_2TGn=R4UoBYkU^q{ zI^**AJd^Gf*qqDfoV#C7`c$2#QnAif)myruwa2&EH<9=b+h84=H}Q(wbmJo2kyIpA z^;iCr^fPaM$F)XR&ESdgK;p5N_eQ=|-yQYVj$H9+MENRg&7?j=PPn#hY<|ppToqtI z0B&OM?Rv)YytpT`c^P&{-&?0TK^+R>LMcL{9Q>ugS2G|53tdg1H_XwJjtD>g5*5~C&HwvZ;%rYV0d2@8ZB*swS8=#mph)?ZGD~Ue zc)tYy`=l>3{hIHq7or)6l6`zV8hoU}W zjow#^`OQ5OQr5FcPx;BaF^gL2=ZnLTJ&|cy`zO=+@eAk1jIy4LRZsgZSE!uraoi>8 z?OdhzD2oA2PQx#|%`1DT-j_`R7_K~MvJp-0FOQ0M9fspL1DZDJ+5&M6QSg$aL9qw>WDxlKgIs~%ShMn|JvA@u z^)Z#;GnPkYjvuC{_4o1z7;qgt@^L+-Vc*|KHjmpuf%V}Z^Cb4Z)%v6ibdH?U%nT?!X#4U`R7=b`UgLW;pJv}cJ z2!lcaAZ`GV9ROhGB;;4LHAPl(Ti+-U^oJVfq{@nBmx72Kpm3)tj5Q23wzkw`dZ><}mr0ZktMf~_Em zCKHVLFc=&N#l+y~J?@wo2myc;X-#2c-35bTkYv4SY;<_<#T)Q1n^m zf0Bwegkti5#*&$4uqjXgI7UqY5FiwSQ5FCM1cLnG9t21JVF!kQFjItpVPFi+0U&6z ze_^Qqt34V-ATV@;&IbAij}R#G&j-Sw5KJzhNCXhGL@)pV`A<8ve*gduK$~I^2?rox zn3=#4Q0PAo|LZIQ0mHDC%Xbu0Aj|+ka3}yn3m^~zg7|M%Q2-DK3BqhK^i>1=dyM=SGhiS9lYS5weJ%Z0 zJ^#LUKz}j_2BTGt`8)^`h(KY2Py`Y)YA_4|$IKWlnLlVnk7Oh!gXkHFDMAngEv^3* zChC80OZ0^M7(~d* KDyb|*`2PSni=c1- diff --git a/Analisi I/Parte teorica/2023-03-23, 24, Proprietà principali della continuità e dei limiti di funzione/main.tex b/Analisi I/Parte teorica/2023-03-23, 24, Proprietà principali della continuità e dei limiti di funzione/main.tex index 7047c43..14d6b5e 100644 --- a/Analisi I/Parte teorica/2023-03-23, 24, Proprietà principali della continuità e dei limiti di funzione/main.tex +++ b/Analisi I/Parte teorica/2023-03-23, 24, Proprietà principali della continuità e dei limiti di funzione/main.tex @@ -458,9 +458,46 @@ \end{corollary} \begin{proof} - Supponiamo $y_1 < y_2$: poiché $y_1$, $y_2$ appartengono già a $f(I)$, è sufficiente mostrare che an che ogni $y \in (y_1, y_2)$ appartiene a $f(I)$. Dal momento che $y_1$, $y_2 \in f(I)$, $\exists x_1$, $x_2 \in I \mid f(x_1) = y_1$ e $f(x_2) = y_2$. Si consideri allora $g : I \to \RRbar$ tale che + Supponiamo $y_1 < y_2$: poiché $y_1$, $y_2$ appartengono già a $f(I)$, è sufficiente mostrare che anche ogni $y \in (y_1, y_2)$ appartiene a $f(I)$. Dal momento che $y_1$, $y_2 \in f(I)$, $\exists x_1$, $x_2 \in I \mid f(x_1) = y_1$ e $f(x_2) = y_2$. Si consideri allora $g : I \to \RRbar$ tale che $g(x) = f(x) - y$. Allora $g(x_1) = y_1 - y < 0$, mentre $g(x_2) = y_2 - y > 0$. Pertanto, per il teorema degli zeri, $\exists \xbar \in (x_1, x_2) \mid g(\xbar) = 0 \implies f(\xbar) = y$. Si conclude allora che anche $y \in f(I)$, da cui la tesi. \end{proof} + + \begin{remark} + In realtà, la dimostrazione del teorema dei valori intermedi + si basa sul fatto che gli unici insiemi convessi di $\RR$ sono + gli intervalli (da sopra segue infatti che $f(I)$ è un intervallo). + %TODO: dimostrare. + \end{remark} + + \begin{theorem} (di Weierstrass) Sia $I$ un intervallo chiuso\footnote{In realtà è sufficiente che $I$ sia chiuso, ossia che contenga i suoi punti + di accumulazione} e sia + $f : I \to \RRbar$ continua. Allora esistono $x_m$ e $x_M$ punti + di massimo e minimo assoluti. + \end{theorem} + + \begin{proof} + Ci si limita a dimostrare l'esistenza del minimo, dacché l'esistenza + del massimo segue dal considerare $g = -f$. Sia $m := \inf f(I)$. + Esiste allora una successione $(y_n) \subseteq f(I)$ tale che + $y_n \tendston m$. Poiché $y_n \in f(I)$, $\exists x_n \in I \mid + y_n = f(x_n)$. Per il teorema di Bolzano-Weierstrass, $\exists \, (x_{n_k}) + \subseteq I$ sottosuccessione convergente, ossia tale che + $x_{n_k} \to \xbar \in \RRbar$. In particolare vale che + $\xbar \in I$, dal momento che $I$ è un intervallo chiuso. %TODO: approfondire + Per la continuità di $f$ (in particolare in $\xbar$), allora $f(x_{n_k}) \tendston f(\xbar)$. + Essendo $f(x_{n_k})$ una sottosuccessione di $(y_n)$, che è + convergente, deve valere che $f(\xbar) = m$, ossia + $m \in f(I)$, da cui si ricava che $f(I)$ ammette un minimo, + ovvverosia la tesi. + \end{proof} + + \begin{remark} (algoritmo max. e min.) Si consideri $\tilde{f} : \tilde{I} \to \RRbar$. Allora, poiché $\tilde{f}$ è continua ed è definita su + un intervallo chiuso, per Weierstrass ammette un massimo e un + minimo. Preso per esempio il minimo, esso potrebbe essere un + estremo di $\tilde{I}$, oppure è un punto derivabile (e quindi è + stazionario), oppure non è derivabile. + \end{remark} + \end{document}