From cef0c8a333564cc8f634c88ce0bde7c99121d5fa Mon Sep 17 00:00:00 2001 From: Rushil Umaretiya Date: Tue, 10 Oct 2023 23:32:10 -0400 Subject: [PATCH] fixed 2.23.26 --- hw/hw5/hw5.fdb_latexmk | 8 ++++---- hw/hw5/hw5.log | 6 +++--- hw/hw5/hw5.pdf | Bin 190913 -> 191641 bytes hw/hw5/hw5.synctex.gz | Bin 31277 -> 32672 bytes hw/hw5/hw5.tex | 13 +++++++------ 5 files changed, 14 insertions(+), 13 deletions(-) diff --git a/hw/hw5/hw5.fdb_latexmk b/hw/hw5/hw5.fdb_latexmk index f29065a..bdcae2d 100644 --- a/hw/hw5/hw5.fdb_latexmk +++ b/hw/hw5/hw5.fdb_latexmk @@ -1,7 +1,7 @@ # Fdb version 4 -["pdflatex"] 1696985184 "/home/rushil/school/math/hw/hw5/hw5.tex" "hw5.pdf" "hw5" 1696985184 0 +["pdflatex"] 1696995106 "/home/rushil/school/math/hw/hw5/hw5.tex" "hw5.pdf" "hw5" 1696995107 0 "/etc/texmf/web2c/texmf.cnf" 1693368362 475 c0e671620eb5563b2130f56340a5fde8 "" - "/home/rushil/school/math/hw/hw5/hw5.tex" 1696985183 10795 c3ecd31e4c963c0a6444d89b0c163c0e "" + "/home/rushil/school/math/hw/hw5/hw5.tex" 1696995106 11312 e84734c8a338ea4d42bec57e0b42e2d7 "" "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" @@ -152,8 +152,8 @@ "/usr/share/texmf/web2c/texmf.cnf" 1681034085 39561 34c98e380bf7c7201ee6a7909aff625a "" "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1693368379 4623455 fa0568a71dd9a288d6c226ee477506c6 "" "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1693368408 7880218 5644a8bb2704ddc1060e0c139ce5389a "" - "hw5.aux" 1696985184 195 5f40eaf408ff79ba46902478f1cd62f4 "pdflatex" - "hw5.tex" 1696985183 10795 c3ecd31e4c963c0a6444d89b0c163c0e "" + "hw5.aux" 1696995107 195 5f40eaf408ff79ba46902478f1cd62f4 "pdflatex" + "hw5.tex" 1696995106 11312 e84734c8a338ea4d42bec57e0b42e2d7 "" (generated) "hw5.aux" "hw5.log" diff --git a/hw/hw5/hw5.log b/hw/hw5/hw5.log index d9280d1..471aca3 100644 --- a/hw/hw5/hw5.log +++ b/hw/hw5/hw5.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex 2023.8.30) 10 OCT 2023 20:46 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex 2023.8.30) 10 OCT 2023 23:31 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -502,9 +502,9 @@ Here is how much of TeX's memory you used: 35748 multiletter control sequences out of 15000+600000 522110 words of font info for 69 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 102i,14n,104p,445b,318s stack positions out of 10000i,1000n,20000p,200000b,200000s + 102i,14n,104p,445b,324s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on hw5.pdf (10 pages, 190913 bytes). +Output written on hw5.pdf (10 pages, 191641 bytes). PDF statistics: 125 PDF objects out of 1000 (max. 8388607) 78 compressed objects within 1 object stream diff --git a/hw/hw5/hw5.pdf b/hw/hw5/hw5.pdf index 2b141cf6628f53459d72c4ba2e4fff101b73cdd0..3139a0b71b2c21af9d0ae84a0929239df3997a88 100644 GIT binary patch delta 37737 zcmV((K;XZ@(+io|3$WiI12s1{lVJ%de_2a&+cprs>sN55hf*^pg7>3!bLg~5lSwJexduCQM|I zkyJ*rWu$1NI7gU~Xts#n#%KF-m9M7>(=2|oNq1S5PZJW~P8p5U>HFEsC(kJFf6XU^ zA)*aPuc!Z#mvfktfdIzh-_vSk-+25E3w)MkrSEu^Zs(cnInU-*UTj@E#tcT1AEpWC zJpQfNWY<%w;$ru=>laP~se2kQ&;V1`Xz=Eb7c)1QB4&qAew|G|ObGPjh`9Y?M7fCO zo5|bvI9fpa%LpT8baY*h+C&^yf56c?I-mSG!4KMwP{cKLOMgdYy~dFZyzN9!B}xP$q%qxD=zK8}L^dO;!imePGFvbG!li2~wpmgY2|Uoqe+sg1G}u2u z3J{Y}g)rE>7W{fQ6(la|pCx+8ii{xIDRiEDAStkqf9daBdG*x5TB@;@g?7H3lKAq( zwww66HMolBsTYx!<$lwy0;f=$iQ&E>r9c=?*Q=$yB~@>TK!S;8K>8yrEmeFGkVPcY z%{Ur3G=n%GZ**q;l@ubTe_hEh1el?k$4}kkB5=|S+=w@`ehTO%5!S6@4RA+G1D+&p zr7Q!>2-N9jSs@^VA+1^&X;220@_;51DcmmPw;j?4tSzWHLZen#$aox4)!!DWF&rhF zNyG(-5=)c9d;MQiAXmT>H8P%C2wI@okE_<}mFxF-t2?Weg|cnye*kX3n%2($-1mhQ zb?e?6!8JP!#V(7TYf9Jaz|LU^(yRscjfc~12)7y$Mh+ksn}^tDfZUUy6Dgw}0bcEx zo1hG7_yAtORl4zsA>Kh_@u&*jhVjnnP$3~?&`H4od1s;fy|gzdWCD%2q$4sIiWtO& zgGx8<0HK#b_rM)qfA|=xP1$2uQp_D#ZI!GGfV97TV>UJr(FpzAU#Plmx1+!D)S z$hBv1H|*X$R*3AKfxtmXO(KQ{_ewb!wA*XKrSYLDaN4XN2ttrCh>3RbI(~85k6)bh zqJ79q3`2^41vd$@uu^>%20Pxv!V=R@i3>;hiG>U#lGm#oe`5UH((20DZw~AUFsgRx z0<2nwY={x=An+KG>{zM+6Wv2KybDy1q0mt#^k|-~tiASS2yP5`oqme9D5MSR0o-u| z0Vh)0bA#{OT-nGS7iF1WtVf9@jMR__2zUYuGudtY;-G)Ki9?M~zxnr<`ShMWhyZRU9>{RWqh>gD&0@B47tZcp41WDFhvfRU`P^qsHY8zJ zql&~7L9 z!ri3pOR=4=_Y2?bD;mPYm$|$1Y=c@71XuH~kn~$Se*}@C5$^2vpLyy@7^L8Z598e6 zLpV3$`0Iy1UW+Jyh>kb{k~u`#Ly=H0eupUF&diJ)Bm(2&(x9d%7)6HZNPr_5^I%~Q z+lWPlFYWb3u-X>|U>w9eBm&M>b=AR;2wLA_KT8Cp284h5Mg}#?;qlX&#kk?X$;uZn z?yEXJf6w~`$JF1;vYT{swe}aWVma*mys{(Z{Rr`Sb;qtA+A!_5s9e_wEx@o~P)u}9 zwMzJ!Jwr-&cO#Mm3^3FHGjw+&-AI>ocL@Rlg0vuAk|JFKAHMHQ`sZqzY~toHQ-}=A9>K=J4iW%JDl5x#fB+y67dr^Vi9=7X1x46G{$A2b&Za@jz6D*#i`uZ2=ry01jROj#mO85P%Z|;{O*B<|F`+ z0=q!X0m|$E1(-bqjzcdAb8vTpT3R6<>ip{wz-Yz<;Na(f#rjt`K->=E1T_QO1C+rC zD~R1gMKiE1Koe#Lg&^GjD+QyF6$0TP00g?ay0U}q;OsCbe@hW2R)8xMVFl2Dz#&d9 z5OcuqkpU`TJIFtyvE$GKw5*`;za5$|3xq4!2?BU9*h0-9_V9-gXM1yq6X2mbKvP}` zpy~jz|C_AzH-Q!K&*1<#*g5{4?w{!2iJ1%u7ZV0I2*dv~b4CBOn|3jwIgD6u2l z5Uc>Oz4>n{wfFoNvVhu~Tl^lw+}Q!BZ4Y&H zhR93(!+9{_{IOX=5C9$!-zzRY9stA<0C6+30{$+bf937~`OC@i+x#$tx2FTl0bubk z2E-d`0eSes@q~k2AOM7uGsN5TKOO&#a5y*s=1?;Pz!YK$wa59B{lN^e_!~dmzZ29A zpbvVG9|r*R`}6N7!v}?#!|ZL{|Iq)sVxXR?qPV&^%ReLk+bJOda|3v?ad86JIC($- z4iGmVf8f=_gZF>uQ3FH&>El0Q|7X4b74rWl^WRziuS);lj%1u|ZU6E!{!RG*_`!BiTlaq$57Ko; zJgk8->|q(~|Cg!@`FnSjA?8qLyZ`mdBft;qe;{se`5J11w-p ze>lG{nwJLv6#s4d8}R~w5`WMu08sMZ=wVTS+W$uU4?gf8#0LPH{z3czpxM6>&u{dw z!++Sn=LVYp2jm0*E&fz}K$gGXt`8UUhw@My`iJrmZ~Oa{{_TIzF3|o@$%l3v9wZ0* zQ-qfT0EF9u;Z}cQI3Hr%{sTTR-2a0Ae|5lS&Q4AbH}KbHJe>Z&@L%sb2*eFyhBG$< zGZPH5t_^CxtQMzmW!oGTLO)Ese9g%=T402Q_$WPLyc(~Wl{v5YUS_V3L&nIuOGU!* z^4-$xiRVTgO}#t!IU9}4wk3^e?9BZ+@>GK71?7twf@Y*#-DC-BfnukRNNQA(e}vuG zqUM$#HR%bwUe@-0O>ku(DUo@l5ZtcP*v2$EryC=*LkWD|HKA=>@shhaA99^=4@` zQIa06cB|)JRc@<>N&|MVLhlNXb~~Pfm06;gD3}0%=3VJ-S42=W8GCE^i;8dSePL(R z^?ib*+F6E;jXL z>T%TzJT%j109hygf2@6t^veCx5{Ed|id?fPIFA9{*ZZ-<9oxjN#f%XEd^2N=^O3@q z+e2sPWZPcjWTlJBI2s~WRmY6t;guYhqzh$l;vZp(8A!{J2+@pLhI5U*eQT4$Y7}J} zpZ?QhxCIN0I~>eyEP=7UON{<_;iiA|n&XgVe4c0$nP6YHf1#Fh$N`oqb(2{Zj@s!a zGGs9;S9h&XW2hy4-eaAvF&N31^oo~BwIBkdL#A!`RY6`tWr6MGC{ z-Q74tue12qhl*CNFMc#Ei-`IY&u`Rg<$N84{m^htf1g|xzzL5nJ=G^8#C6yz)DCL)u??nu$7R$8}F@lR%`Hzr^r+^FsHn#RMHN%ya^hmFZa%M`1aKNyQdW?w@Ad} z2uveaf2pFMVi5IHbNoKkT`<&KZ`^1_tgAs3%K;C{B}iH8FY&QOoCaR;%t--ZkuUB-(HQKdj9!MXwb9qWSTzAPKu4Hfcp?utna z?yI!Z<+_D?YjNfb6U&KE_4hTk*o;Nr1&95s)gNio1W7uWZhsaNyzG@k;)m=o$mlah z;^h4bzKXpn5*;Orc0!6cNNsO5KCKMKeAU%h7fijKZ@YMxIFUin2bjvT~Vi>_E(@H3aag_1+SaqN)8paJ5H^u zcTIqt9I%d={`#9~l1)O@FTEOfnA?{|>&hP~ZuzyE9jT}W?hQ=#Peohb>1+omG?G(a zVX)8)QrLilbM#3)7Dg;mYy2Lkf6Q9QGcW2}kPD+IKPKgxWTJ0BDy<|;aC~3csLF`m zWx)34c@#PIyFGT9CM&uq$6L`rEZmbB@u`o??zW5p z>q^KiV~DmK8q`DW*vCKif48x_$;<4-CYVWYVzo&4W4}qapcLw=TC&Y2&-6qQRLku+ zY?0xESH6+YSkp^DBVu*xa%rDP8P+)Z*&7EIA{M( ztjC7fPD|aXuBheo$eKQi3o1kk#SzlvMQ}9O_AQ#UnWk?=AZ52A$?uVlQyDX5y-7Qn zGKLUJ<7*-w6>6LD?0=SA6^jgjedHk=a8r`{+$EkG(dc{oQKg9Liv|`zDe@rGqTg+c zQ;IP;V8lMBc77)Fe;afm`u*5=X%zfX?_7Iy;Mz62(-KxSD)ou9ekmJj`EAqw8UA)) ziN8lj^5$EoN_2wVl?l2+iTAilD8Pu=?*h#dq-TJcrCA0)S&DZPqa4n>AVau`KTiB< zl2>|b0%Hv+clL5I&raN9?(BOent7*+;ERnkA2N*b z_>xYC<@WQGC(Y!NvPJlQ2`XQ*t7H0>y#xV@m_K+4yTz9;rUpz*Hae{ZfVe16k>1q3 z^}D~*E~00?f99ny_v(CX7?Js z%g9CBAu%mKT`J&0FGnnEY(g_^=|J>uHqUP*(**qZcfK2svbA~J_$ZBweLpDw@Mu_8 zxX-A}>gz6(O;tt<6r0ahd~59_LR84|69_AifE z>A;79f6p|&RbRs`66^B|z8cv1nb~l_YFM^>u|h|-meKrrq<2G24yue<9Y$zhZn^HL1pSaqNq`Fy(29kq3`- zls~x#-Ce-2*})QM*hVwL;cbWbPZXG5Zq!3nT7Ez`Bd ze=eSls-~`A9h`}sB4zuEZjM~Ng)5(o5yey$89T9GyvB8B>BB(zBf?wKabi`iiR_1* zMk`Krg#y`(RB|HaknMT3k;S?x!K#a|1GBk7-gdf~J8VY{%B$j|9&i)5sdwzVsJYu- zc(WLZaRR&@h?4SdT_&t6h(I-7`a@ZYf9;RRB`X726I0}KFg0I6dJ`Sv((#~?HWzV~ zV|xA6+2Q($B>Ic8dzY@r<}>R%BBW^1)a>hpVR5R-rY#=!61YI8;Q)o89A{;4N3E!B zSADG+$>WVXB(=he)8`PZ{BOH#2#%Pqz-PdLI8&jJq=bcAn;YP!=Q765cp@xge>8_U z=eVL-e*uCk31NP^Gt8rbJu4Cke7_0ZkL)GpJ{PigAnDZAQEa4wB{7bT#=>YfXmy0ndq=#uk>;wh#0tV0hwqjJ zD#)(xhRZVsnG0}EN4p<)qVL$h7AiJgp9^}PooTgj2M~sIXMcEGtde&)e?_>0(P^`{ z(r3Qn)+28vEj$od99C!;Z|DTjitqM*)cQj{;N~EMbCJA~_EBLdTH4+2M}6$-6rAaJ zGv{0P7HtiGn-$d9hhHQOL*W!$$MA^ojaTVhR@Ho|KSaopp8JP}BAD zoc!h$C!B;TuW|WCyxuZIHsQ01=0Jp5Kj+l1)>)^=>>-Qmucjqqe~ct0a#ka^t4V|x zonpsLl8;F;Z5=BZISm)P(o`T6S&G|XCHexvfpHshGVw%gKnKMqHHryZCTU_py*F(xACUZ|b&f z#htH;I$D9WWqi+8quwPsNDFkj4rRR?CzUpPjGK_%Tiz=yf3_1|tT15m^Hbt$CJnd4 zrTCp#)IK+Co^kehs}fqQRw+61-RwEgAc|RoPfrV}LLuIIe@OG8f1!XQ8fpKamAm3% z{hf@Ukluavm*8JMy0)B*sEYyO+k226?zxn!l z@DaY!baG$_sih0IIotRwwvN?Mlo|!a{}0^u!7O4Woa z|7M7|_Xt_80q&~15do{Pn{iZ6nKpXc+wSFDURA76Yl-=FKG9&&pzoVf=xxzRag_Qo zr|wdTe{)@!cDhBzwDG2q;QM4RS0*BPlNExBUMLvs1@4D;u(2y-X*s;$8Wa~}*m4)^ zI3Qh{3;<$a1fz5(!+_^+5#!Hr-Efmm&R9lBnO`*?%8eOcstcWxak#)${aOOGkn6tL zO!K6ezlL8Y%f-|Ln%n3)yxMeh*O(9*pk8&ue-%Du%XA4t`z1R@;$5xR^25U{ZR)gY zjExD3a%877v&>kol%Bk2;J&+59x{Grs1=sx^D@zh<=1T)&sX9YeLsJFNnE zo#uCsl@b^PboCz3~e8kEdMqQXN_6frX%iQRBb8~o5z5#Y zr7gO|v@xY&NpW^X4A-F6e(mLy~ds>*&pQO3A1Y7 zK5X@pXXkP5F;Q2`znBSNGC3+uQCA;m++qBMdBL5)LzYx$R2;Yz6hNZ9e_RC%qr&2m zWi}E0tRbUZ@@S>k?{0d;ay@3(q1$498O0v;4ylu;pM$`>yr3oSK(TM{vAz$RE*V0cK`{i2>c`sRSK&V={0>qvAo*EK8G^2!x$&9`=6n?e?7{c_ldkT5@i`pY0IgVgI;+e-F6^%M&`6URbhJ zVcNW9$THTQyZ_a0&Ni6%o0old0+R?wa&9$sX+Ea$m6w%Eq!dr>izjLb+Ly;6o1HD; z?8vft(m${?6~=UjlSbY@Q+Xtg_GWF|Dfnt_{rM-@K{M%o!Hev`*S9hgy=<4qOgU(D zMtbpaLHN*Nr~_Vo%lDe`P&g0RT3jNgBhR*W3vb}yO9$9(R$T&_X*sAPHcg0= z)BuuM^mN6Nf3L>IrN0o&*HtykWta2(1I;C-#X&W&;~Awt1`b`kW`V{6J)xx-6 zgb^m4w4+g+Ift~xy6>UDT>Zk5X&Vlt>hX2>W`)Mcf1d*C$M3<%e|y-XxKLWnq&Rqk zmZ}H4p_<12@|Z_sK&9tV16)ciNjFPy<)$7(ZJ-@@5~jkO{Cva{W2|RC`r14EuQTrK5@SMzLO8TSY1`T4T6&Y(gE% znq`&7fBn=)MOmX5dZ$uDYvo3w5!RhTg7Jf|^V{{az9JBF)+r;Lyngr$k)OsYF=)oB z8)XA)-GkDQU(T>+e(%b14I}65TB3?+x(yhjima$$eM6O}Sl@BIULeFCEW+>IL$qFU zlanX?NOj?khh&|z^IEWQUnJs`OrLj+`%5#ne?!2)xj5nK+NoWTF?wG4R%M=UW2?>B zcfwcZf|;6miI-1JYcK*H(|+ek=h{NgF4R0ajdz|M99^Y17+%j@2y(<3xm<}^4!+3a zS91Io#)(E__ZohIt8wYynp-!MmZ%*swbm!X}$TD8fLP$6U8O~B;1jkD4f9goLz ze+`#;ny{v-W^rR>;OyIa8?QJls833wz(d^Se+xHP!r;(D%&ZpyNa#$0ii7Sw*jnNKMRMW>rg z9S&1v!c}Jr4wY7rsnbbeJQ{f0M4w$7f7VHzTtUzL!8JWl^kf=lC~G`J#VmPLErc5RwV|J#(xFSsKwh6=6qlBhF8B5oP#k7cI6+l zx|ClbgB^<>TZrMce^AP z?^F}3q?tpJ)h7JiZ4TOQl|I5zcu5B-)0@#z$fu$a4j!UL*oVwL$gXi?_RvGj7v)NU zNR?p?r1PXxrG9H1nsx1SJ%XdHmqD_FUrx;xp*E9Wuwk;(xLbK#N0s!E`$yF;?fa#^ z6F;J|Q)JRzty2C83=_T(az*x%f8|5N&MR(L)4YU)T65*5P>1*dwF4LSlh^QkgS}6` z5_5n556dTw_kX&km^v~C#lZ&g!}`RncVaF6wfF2FP*JUg~-oJ$VKH6 zLL%ir!aC+2WqdW_b9SUrwmdWSuR^HX65T{oLy{7dyge?<{GeMp{d z8n}6~)?}%}HmMxMJZ*#xaF1$ktfKVtH$tWM>q;LhnsB^-41M+?QxP&kl}1TbF0+X= z^zLGpl&<_lO}!dQJ|c?RmK>>&`IWzcY(j-TD7WF#47Vrvymhbinlc+tnlqMTuuOyO z8?UOe{^yL-ZN^W6+_aurMDrY?4*q zC2$J7@s!6o=S8Dir$5?R*tu65Rn|S@8SYoB8k^;=2p%Q0P(oq1e@!p$aQ<Y6jxCo^ngCC($lBfibap9W=50n%;&xjMW0=K41FU(f1lL$=w$w zRJPcduEdx3f6J*4tBbZYpNp^yYp$-P+o5{V)<%xyc_Wg#S15s4 z0Zdao(wV<{aH7549SgB1=yl5(;yWH^exL+)frfQUKa@7 zdp%V-i4oSc%GqOAQHeYn>yox13Lk4^1#5`qe@d8L!o+PppK*sX3?`=<>n&g#+-$w?bWI@NNEP|*bs*4&domabz zd=jb1e^^o{`;WD+BEE2f^9kp~}+zLb@*!Fe);u>vKyP$B7Px>+-@+anH zg+v_WXe1ghONcF+|E5kxkOn#Xss2POo*m{}e}!E|@G+PDKwRe7^GApN!ARlv?!k(f z7l4p-KKEDilu*bI_2^`YsPhWKz@9RFE*_#I9Q#gmR(?g007|}zCY4uCI#@;+NP~sT zMWqZWFbJecjl~!4b+uHyz8XWP73o!XZKF6yfpfK>0~+Ny<9h{>g?*z7=3CAJ?p`*H zf9kJM(ztaKRib%uN!>*`9Qn}U9cNHt3u(48G%|UKPVwjd@|_sCh{f4bQO+c%=hE=L#pRNM27OF(ImXj%2_wsnR}v86Vn5& zRgtyV+$8XWhL2k*P)TUcY-)1W!UswPe}HD`i>R2E<8in@u4WHA3{IUc-Sr=_?9353 z*HsI8&$++rSjls&(2}DvaR5yqEyFCy+4Oo%1nGTA8SvY#jth>7WwkPi)GV`)^Gnd( zU&htd8x|tRM-@FTVrfVzk2EdUIvB2`{pykbNLHQyIa^$TXU&*}^~6ZzMsq~Se@H5q zN6Mj$YdU_)Qb)QIE>ZHVp!#vnUb;rq5WW@Sn z+EJmb`w4OK?X$H?-9#j{Rqi6*FWh1p!a*h|dtH;W!8{RmZ~{i6Lyoo$E=QUI{t&x@ z%iDMCy<~XDocgjrgSVz!5$?rFe`47n(T?&8iR6?12#?jk4_WUf+-AgRFZ6&J^854w zZI9UdWBNjg+%&nYN!EfhyKw7m85zd!Xno4vcNVCIPd~VgW0Np2`%f#8IQ#UHvX}}q z;9d2^-04@Bi?zm7bET{oRgzcsQswJ`XUfk@w>N8JqpTK*)4R+k(MK6Ie}t31WWHH6 z3VAo(8!e8ilATc#qq5mUg@S6gUZ@TWFw7}=gu?FGK=5Rk-lEl zl*gs}J|HEjl=D0tAM_MITer5{0f%GjWPDhI;e=5u;e{!PjcHE|HqK9UquwWHqASr# z7rr+y%Po4=;1$9Rodg+ie=G5E+k|#8jJ|Lp_(;NhHu@f(xKhkI(#60mqQ5`ovX;gX zZ)*VNMxr$y#X2Z)ER9Jher~q5t<9{LKv0tUplL>AqC?`e-1)Y8nmRw1b?Qp7eI!!B zM&>T}(CMVsPg=x=PnIPpKFK$PIq+TUWJskE?z3KlfxUTowO~L#cp8Sm>`Ko02CH-<*Sn=|exrowIvInSQ=~ zn!)-0&G54gaes*q;n!Ooq*UV+OUY9+6^~ZT4>MH;_s9MZ6K|P^mq8i<6SJZG$sG?f zISMaKWo~D5Xfhx%IXRb5l>!$6F*B2}CMkc6_XSW~Yt{w|BSC@(mjI1JaQEQu?oJ~K z&{*T{K|+w=?(PJF1$TFM_u$U$GiPRU=KKGudy6XA&yr`!yVkomRAkC(j3VYBQ=lZs z&Y6*wiG>d!rl88o0$^cbXJTPtL!zQmw|2Gx{#%Shr3rL&vIg1l{lh@a5oqEJk%@ns zI793dKz0CGunmBf9l*-P$I8ve!UAApVd4FcA;^&rAa3GfZ4OXi0?2~wfKEtMVjz2W zM{7$fXGoa;JOXIV=m4y|yxa``atDam0v)Z*OzZ#(CeBtsTS!DR6B~dU$jln(?EXI# zv;tPn&h~uF%&xAkOeVHYOdvDRtZn`(k@+tgNS7t-%*8;qwm>^) zC#1jf6SsB*nnBv`&iwbuezpU-+IjvPSXkScTl`goIoO_A!_L|P43rW7w+Tdq^hah1 zbOvy;u&{9RvIBq)0HB+h74v^z^y=>Rz<()O{}Mwg@bEt}haDmYTKtV6hwo_Z2GC=H%pNO%<*%Rr zJ{ds9%N%59PsT3)9st^ZF9#jqf4LMvkf{X%X#WhkJ_{#{8RQr1 z|L0Nvm&^aZ3IB`b|8288f^Q2wK9LsCXhuCv9q-KZyT+hB(2?m=E~O2W>$Ys%inU1zqZWA+774; za|!XE^Qr}$sQ1Bsyg2SGSh{~!pb z+8@LLU{?QwI04KWe-I>s)*l3^LFd1S7os!ygCNmO{~(B^*?$oyL}v!FfgHC%0=oR8 zVVn?iC&{IXooq~;to}g(N$yVo$c@MBY~=|2$EiUob#?{)!vVqp{s)9K-Q^z; zlDO+XMgo80?e-4{p?Ck24aC(0==eAH|6CJhU`I$7o&R-_L++6O;D5cAfj~E)8PdWm z$c#VeQ%z9IU6lxtE91_n;1t!4RuUbf=YnG^_yG;!J6&a3z?$QY$oGLxjO8r}+H2uO z(r3@3pLGbKO>rvCk6uqkF{%?g%}Dd(xV>X}M)9o|}nLOnw7EnQhZNLYXAg)cAhr4lE?l{k;Uv}*xnurU}GUB2@? z!I=aLcn16yeIR7r%wu8E<$>#h9)5qyndSBSt9N<*xnkS;^t(A5S4@Mz*FY}CSJPjK z=jV9@R_qeSX(6=PsS+JuvR9*NRQPLv_0xeR%;)RnxJ=^3?xgauo1F8%`zZ4{WTbz( zcIGMu!u12(Ki%`@GM#FcYczl3%vB-VK8|1<*{}ES7Yz*V=DjiB-@GX;6*a^;0BPQz zm%E0E4t(8E=MKvL(x&Q{+3uv2EF}^FQ*gUA)AiPr;zV84h0L}g8eL0W@L_ADz2M1} zp+rWUiY9+Sp-1jOAk=HYU|u}Gi=cnXPZ;;hb%P&UO{>x!Efh)`#>!W!wB03G3ZvG6 z2F>3ugrY=h>UTL59_vtDbCV-mWJ42Ml%6)_`h^_bjR1bm$YfZX7;3V)Ex(k@H9^|Q z@E42l##Iehk-EkA)v43Hz_sK4;Wwfb2(9ca*dIrar2%=xG-<2y`SjSYvvGeJpEf}wyva_ zjn5#Pn?RChgTkxU%Sd^5wUzHnM;2)jtQ~-8w*M{y5o$|dh6cO8COYA_DwZ<4L^fFv zBVYA9ns@6j<05FX=#@-x3*CP;VzQ%9vd$$?)Low3@ZY$qktqB%$GgVck7j12XNcl1 zBbbW^(In?AUCAXm3wgzLiy&lKBQCvAkiA#P)L|(bj&||nTEmZ@)xYZk zz&K_)45W~=6A0eI#;1R)PwL1qEz98_4$yTl;7JY2d76ZY>558av?7rZyD!nAh0D=| zbg?P1Olc-oaLFiBQrbKoJd`yu#^J5&wc{U614jlT?)nH33FL<7sM)A2<4r3)LT_b< z36dGWARmP?wr+fnRd8%_R_HX>hm__I1*kopsHGFHyuU_^)`Wk$bLHZ3&FJul#%?$C z&n+{Z%c+Hmx4w>bUp?Bvs~@?x#_hIHW|=GMi#4X^jV>zP%#I1?Yq7bJ?(;a1$(v7B zY!QKue70FNnIro}1%<1x9!|(uVmoxQK_2&%C->vGeSTEk<-aBda9lT5H`ok7C0%QP z3ZrKs8LJ_5@P2=`sO_mFJRV;?D;nZ_f;nPwzdP4$K>OkCi1!d*u%9M&n|AoQMdry$@u6rpmy zI+WyZ()fQL?CvBK$y;XV3JP=MQa!rQD|)cDWv@*hW08`+@NY3~O72U^J7qss0N>1O zibiXRzW3hKr2F<}S*?G`nt&nu%zw4;OcfKi5jVfJSu&~*wxm@#ooT;S{>_A++ufT2 zd?US4ZOyQEczu^wDp{4N>dLRzE`eG1NWejcSo?pMMZ!QwU#qx>#yBwU?{7ho#`HFx zgow95mD|~GM#2_&TYsw}r6CMN_BRED?nIqV}x}~fnA4<0SqA)9?73lj+?fpXd zJy%MG-};xUu;cD)YVyx#w~T~Mp`l_{C^0EztXng*@bHw*k^~-ig#=q>3hE243zJK( zKgfSc-l=DsJ|@MqY5IS)p|!EB=ty5Qoh*-9A#2<(nMs%#(%*Q#H{noW#j6_j0hID? zI%wuM77phFVx0^>pX4~1e@(SR^N8s{L@3YQ%j27UFQ4H-VDRhE-R=IUq`MxnG8$9Dp$+jCg_<+5!Ea472s_1)c>20MM5Oa) zGTEV#+?g))vfO@dt~j%bfXhqLQS3#=nDjVu)#lkuUE}G^0M5mEr;0#Ae5?23!!>^^ z$UWrAWF$V@rTp~V_WF6QZUmS*n^H)IE1VJ)Bg^}7IGFDCAaP66*``w1|$SS8)Y zPN(-1*8r9;wlPulZkq1b^^5N&(#d}fC_H@d6ASHKE;>-ti9=$NZ{~Z7m>flUzfj`X zHR_0!i?Kd*JC~RXQ`{EuK#hM^44saUtAfs&;?HeAoQ|{cmwcdwN1l&VybLdZ=3n2) zH-9PXd^~}UEys9T`_K|D&|8rGeX9p62&)9vsl9+#pk68(RZPM-So0vqYQ2ATpqmOu zC2mwQAEeycy*cqN(3i60TPyhlJA2EmGVdJkv2K(TZzwd4@m4tr>apXZ);*tMeExC2 z)6{ied;_U4yhR{Nnjx{)N-#AWhbv~WjR*2B6w_$$+@%k#?JBcJelq_4TcCP7zgHss8Olc zDmKY+M^_@!t0vDL>pAA9KK1Kd_h6mqH~_s{s^{OMx3#lTp^80LTgCm9ACaf zo=?dIw$GqTN7B^Pe}vXm5gtXCSy*?b%H4iVNNd+CqT}wSZhOkI8nu5*N2w+_(4m=L zGU@!G-u0VC+tGJ=Et%QQ$nHC=tb8^uG9qn)FjCE4*3ftgQhB{1v8SA5{o2yG;pbG- z)lR!ZAKVjT`N~`a#3hqFjcn+jJ)Tctm@b=V@@vaYyEzsMpAko=_vbeXT3F$6mEcg2j;gazIC@X6Zr^OO$CVF837I(^S z9DdTlSvX#Y2wG2d{7X_Kv)C9qSmf-YSDXu%PrG*;()#36rF!sptO=vZCuW?Acf2L` zAKAENn?;{5>z#j?VNb(1oSZL=lcr9@Q=(B2fs=XcYiIK)}D(&?tDx z5<9luCj+-Pnm@{zq-y-6NKQ0#^_&aX{i9=0|u9%`X-Em=MC!9N#Ir_K+Xx z_x1S~%u)OZY6LWYD26|;`L>A8o=}QgML!THF`^S)JzR zc?Jf5hQK!mBD?u*u)nj7yclbob~k`?gfJ1wA!e@IVKU!eXggxugH=q8zWsf!GHaI) z32*>Ljco*(y;L?qVR10%yAAE{sd`F8k|yAQ$_}%wy&|W795=MqGceqXu4`$2)g)Xx zp?qEU=Ts#JI7-9&S5Nm|*HsZbwgzB=Y$!qJ`|%;vJ=rw04C1uTPSI2*fgIJoS-wPN z<1xu&s-Wn?u#5qbpBg;tEr8;3s_C5-+OVEVh`d#a4&zRMkDB9)y9p;iL0LztcxIfR zg!fIQuG=|WLV)R* z!prQJ4Q2~(_O*o6qoIPnEpn;igm>k8G!_a@6A06!+FBaV-cL964UIb8^-+e%e$#VQ zpGNw~q}$FSl%!t~2S&b<8r}bh;NK6e8NKk0*_3T`$wsU3H&~`XqFg{IL0_T~vl8;> zOcn@#Qp0~HZax{R>i8`jSB{_lHpQf@&W{m0S;W^YJmkOzqy=54Kzk7l?+DdUNU>x* zH*Tln`Dw|R-OC2Xg}B1FiAKgI>)Cg`nrx@;Df@a#xpVN?Gd>4iqB7}BaMa#p-w@e< z-s(u{GpuoX!)fZ4{oMmfIS<%>V!S6noHr zEwT01oV4)rH-C$?%#qW`FY8gmo99UD9ABzg%k9F99>qU;+r!iE zT9jDwT2T@|6!kzG2%jn38_yd~{*;n`yW!_7h0k;CJ8FKjE#v5LCQ`(1Ari2r^UfMv z=GVEh-F4AAadte3spE)oKrDWJ!xtU3XikElnh(1Ih!b&shjPSN@{IwTZnMdxByXU} zYIBTNZ@Litim0}S&np*85cIBFU9Q+fn{wOLav<)9QlQ=@j9UbeLtkL7`x_a5+Jx7Z zPZ*r?g(WiWX7%1)RwV6|F&^TZSQ=xU-&~t@qUc+n%XIlh&-S{<@_N!(e_hnu_$~n3 ziTa?8!FR$igkEpTj!AK5m&5k!QhE&+xrk1gGu$U0jZMz8F$?-p!}Tgh!!e8}+lD1F zaywlKJK&B@NQh9fJ$9`xi*nE*fTlfj{xJkBC1Z~gq+irUjt4h zLQO71&Ao>DPhUR7;>-Q&G7HH~E35c!;V1Gn@0XLQmh-z0*#C-{WUq z8SSfBi`?S03E0iovFAsBdaQ*4ZHeQ;1dM*B!ws_b@hma`MyRgy?hC~deuaGEE5~Tz>7Gz3 z)ELdp@om?=uOyzirj-0F1N|PZ6Hb}bOWwL6b7QeXUDum|8)&P4$R6~v`+HrIGLInf zVrO9#_FEukN^0i5!o2XuPjmuWR>s>3Eny#D=W+&KeKvsWCz|52GhT^JP1@+*6NO@q z;r)2M>ir`9`^Xmf&oD{3vGK~@{BYsqQ!R2gQxu~y>RAnFlD7}~dxX!ohSPDd#DuWO z{K;?Iy$)3Y;`-fx0jSd8X|7k5p6Br-nsgQRep7xoipH;`?3bi!!+a&5Oy8X>Q8hZt z#vm|%9L!dFJxwEa)LixNBycmR`U&6ik#6%Wv!mX?&nEpImJ`&5p|_VkF3FFWs`3_D2RTX=4p{HeIel}^ z-ZH6=^kd%nQ}z1fp7S_}XY3k_9=*Q@z}u2(7O=w$dBNApYej=} z65qmj&;y<{^3xt%=_<}GvBHON9H#l!%|B7(|Eyfb39~|Q=tIs=YjFahGX4~fMUsP+ z;*Q=TFZWUz4~5w+dDsEyUU)cp1qXQNcFWJysbPhG=kxhll+4(+6n2WRpGD7}t0A*> z3lhZ4>eZSz%*Q>+rs*%&;*ylVzrZy+Uc~o%x<~hdA98N{#5&QNDzfMJ5{^^RK2h;P zFf8lR$skAS1^xD-E_m#_=IXa^X-G*=sVYHrddsT<8Xekv@81M0E(w{@-%zbrzdccG zUKUk<Oq8GqOJKr35axsFT2~P!wHX! z+X^8qAlyBCliIh=!+~$B;Ldn!%-@veDKFuK$;MbwG=Xy1h!iqN-kD_^lEs?^#QUtAxpa zymzCVP?&6QE^%MPkgx)8PY$_aS*(Gd%6WNsHn^D?ZdZ-IQL6)0uMsO7fO>@Tc~n}I z!gPuSiPT5x9$A9_YY9nz@*Bm(Ny!$R_N#4k(A~XNkNCVhv{-{QyNccB4$`pSHp4KQ zl^(7bHR{_RJ(*C}nO-k1m%xKMCqYhsDMGRCGAI6@^yY7gSws7;b#mZzF!`AaCgG&t z8%~=w^xIm+`@{I3@oT`kp!L4jl`7w8&Dt9+Q))lB|6=x}`Dq`q0x($Ntb;5#iKa=j z)Xh3fa%Jc!GW~EFKcOV;n8)`Z83%o@Otg^DxPtjWyk!#NKUkD*_Dtii*IUAWS&}0m zeHO$o`XjlA!X4yN#Zw86yD_?``EXLNMSI|2se4pBI3kc(V7 z?u|Q8q2kKk<7=GTq*8x;()U@%sQ`O+;I{uGL1ULPE8*OIK zab%Q~hU*BwewKmkP5U%|V=(d*VT8;QJgPvqj8b12y_SH?{v0CI(=tv^|4$QFTp%gqm7 zzYM8ICqs5eGzll_Fg8+x3%pUoEN}mU*fSSE-2BS>i_%T&&c*|# z%@ZPl2JgyrDR2>*9ZsbbXur89^|Ov5wk6h1rrW!h zeDX~>!QyfHL<5xTJb5b-=z!rN8b?-iZ^uOH#RC1=sOIQ@f!4X;*=>?CP5{vKL_=}9 z<*91sPhtQIB=Ctl8JLYc^oh4Hljm=_es3n*U)Nv+Q-*lFCQ0l{84}iPlz1*fxj#yw zH0b;VCm6JYDo%eC?s`ub4(1nsUz`0T>6=uzd8I;pl-X4Cvds409;l@IiGhEAKI)MCq@#eL8pvd;CO~KZb=MzfCRtfXqVbJJC1yr;fn6x>*I%(VA7XlF zu{W?i;ciMjGd^qyG*p78dqwn8wd>gm(`j4%K}E3Gw=Bu!ol-6+}!r$BE;(W^Pa3C zQ|{?$liZT@*4Hk*z~tH+3?})5o@Q~scIijnYGZUm)qFE^MVD>Ng(-wPQ_PoKj2K~qPg1VrfgiQ%h+Gdvc`X#{jNNOIDIiJrF%!Y77vw=bn3xBuz5FM?8k9DB8Jjvy`P=gkJ@2Zze9gWIQ-CM+m>VBO=@ zXrOA^Q5#7|4%D&tHrBG6*{`YCmd0niNAs-x;!7e*|IFC3A4Bwc9=eo7*BIYcaj+62&Ed(@_RZ2zpZj zj>8Y$7CRq$Ca{uzeRla#ayXLH{Rzi8H+6&h)#nX<7Y}C;OTYzX{9)s@W>~g*yZ@#Q zr_)ChXVu9Zld7ixkntUxRFWTs4Kr7 zATYvMWF`{(*)DMTb2XjB)Ul03n=NTAI9hI1h}3RI2J6_WsQHMGq!*@E>g7BfG_*UX zC$4i4(?eBZ7dc|8u}OJqfE2IDfCK92imZP2Q`pmE=z3)*#n#S$iqrmJL6wzTn-pZOtz0+R! zi?-6ooKnFQ?x=2*Uj(9TXhM-*P$x^bhlx4;2YrazRlD|oJ_%ZNQ~{3yG&^S7EGBwQ zD7+`}%Y#~psM|$cukv466c)Ur9tn=_L)d2dJ7ngV??^+8V}8k{f9eqvG(0a>QpFVk z?r+jxmwn!xh%iJ`Sopp)b>7YMK@eC`u|Hv8Q@+O(>3VY3$$Vx#Au&pSk98uRN63gn z#8w_TuM!=9GQ$;?$U<|~6+XPBT9+jMP)5ija~{c{3tV73&PI|7W$XR;oYh7H62A_^Tzaa1u%`L}F8!uq-l*0f`Z=yLfe#%W zW&5q%h6-XgIrQBFmZ@0Bw2T2f))!6PYF-I52nfF7ndZH02)<^j~UIUz^G+CF8n^9@gc} z^m}EpPP*u>yMB6V(nDxS4TaYIww$jQ3I5N2_x<%}k3BCPsgWCa>iU5pcaHkzxA!JD zyKU3iK*MF$PR>bWfEjh)_8qU@ey~@Y#=d{Jxlp?%y}Eu=9pR)dRa~KR+Kslt9Rjc< z5fu8a!?_IlX0A7;%&p@Io!nA?{*`tio=|!o$fR?j73$CN_+_#slS#b0?y3Hy&J=%t zj@5csv^XlGUXhDv$|xscSU|iUY_Nb(ReuAVYI99u4V>%TwB@7v1Zt?k*q9DNqzmzE zw!y9YvEkLC^^1NQv5iOna&oJgl+Y1us*IGU;cR)@LdqHsD(*8)gCCQl{r2+S{}`5_ z=&2!o3?7#&MJ>~ad7Yc`7gkC#bmb_2YG7R4cq#h4_ZEFFiMSELXYKIwz3CXm3W|=E zEDmpXM&KL2_3yUnfLCK5z5zlydbZ!8uG5>gRHCGetqX2utWBN9PN+C>xEVZzu)>^a zS!!_n! zaeQECb882Jps>@Eeo|;frWeJ3%1u1o>_u~W>$z`~eRDp6K67?(Cnklmy^!|_rX;md zC(&`;jD4V7BPJW^avJCT>P8*ecDfkE${rq|>{Zl;MXA#OaHTw$B)1j`Zb>+k|-4#_$atC%qZg@?9(lgh9sBMU{s zF5&Zio3VBe(vOpYqRKNygUql z1Fy9$j&I~0rlfN}mPfCDS*hx)odPtadow8DEOp{)>z-bjW6*sZ1Q4h0zZ+(tFiah# zhSJbDbmr7tH^<9PUF==(i4Zk>gu(SGW@`SP&}zygqkO0QI7sLI zaG2EFckJ^mtgj7)Vvwb56-SlbiEN%;W|ht4F4r;CNLnAZj8p-C77lEsk-3=!((U;j zEGU25L%6hX@r`~o?Q0#UU8VcgqRs~~Cno88#|@+%;D^2U(slJBB?(Ej}P zkhg8I`R^Vl1a8rMlMK`!#*R)xuu@20KOCi~(h|7P%2%xgh;a$^RGw@pThk|s*0*=` zsX+eg6<}qqev#XM4-XcyYq-`3`eL|C(;wmzoL9?o`Ubl!*5QulBFgb6%auM}_^3tM zDEEPf^cOhF&wF|Prkd?#GQ^qw+~V&Er7n(HD%aFBd~FU6IB;Wj51l1kuk}+tWJ%BC zL|^8*C^JD1z#4D+4)B$P#}&yBo`M$dnJPZmAkBq7h>+ld&=9gq2trFgG2pSxPBrzmpR5ff^kLNm=H7gVe%mCjqrWovN zdJE6K!S10o!R&$En|n>;Rm~W9Li&wHOw#s_h@t1)yNKT|V+h&z-p#6r>KS^?H$?pC zw0@EP+VS;&7fx(UeTu59I{AJ;Z@1I_hNaG@>>0J zRxScR&;3{$5(PMvK`FUjo6RmgclM2-oa6K>GLI`K(gO2a+idQUr_7S@R??*nAC@<4 z!X)GB$kM8_sk1GFxpM;!@Lp4Y*((ByKARKpvs2jUh7oCBc0Df>p zCzz7;O>$ol$4|!e&NW(s<3|eoWOm#t(;2nYUkQkeJwCbTBh}3yJXFKJEn!?3lFwjQ zqPlO>8{qY~N3+a)>nNdMB`7NrLx(k~O78uCA(^y0_PG!1Vb=;S+DvDp>=JD$wDiaf zeTYaSWS|6D@Fe$eS1ZTS>y;^iuh3fZs?v8DvQ+652Cpz)ie40SkHI?+KL?Az4~lr~ zKuk9=IrGd2>Z6jE!sACXoS{Vyi+GWrj;d|!Juk(-WqxBftjUbGP0C?xidFp5Ylnd2Pb!?xiUiQfb1r8qym z`$P(k)})er*UEYNHsMfX@q2`lm9K5+qEOssyQM}b#}jWAn0l`34kyYLojS`eOrpPa z1tkVr+`h*y9=#N0!k?VPFX~uJYDq?aWhuijOncqBS6SRcXafq(8Nu*WL@C5p(r+@7 zwmT^7G@3e;UTkJ5@}@J>o(1QQyX+mCXJM{B#u*^S!!*5{2+JJ|lVy#bSMK#Iu>HnF z^f8=jg*hc6*fHZY1M7VNGS*S<<$T`Q<*_t_!#GzvlUkl?*$2h%?CK6Zy}cWMR(}5J zB$8w1ZuE3T*FMVqF@1&_KQMW2t12j&BcG>3`^!#l4aG&cjxwY)5Kcv zAK@Q0?i;zFJE>H^MIF(3rrSJ!TQbfWb?lZ9efAf6#Of8f`Gu4;qh{5<>FPB z8k>is= ztoGufIXULSN%G3*O#O}#Dc|rd@oDNa$cSm89H8>;o7!9 z{1hRj2MKm?jA+4gCea3eZ4@t&-2;*!2h?zpz3#IH1z{i=TRdwOcy6k{{1;16Vg}gw z`SM^Ay_2!-V}R?cDwqYkiu9L^B>1-Ol<~++!naNe1B)OESzq&#u{=-p4v=_afDwzQ zTZTuw*b_qcMB=Hu-eo`u_-VEbKXpoS&u;;SjcJu8;HzPv*B0)7d@T)y|Ey?4O;4Y{ zSbR-O8KYez9J1S~Dp=4F`Zx`rS+QUah#@u>=pPaGfbTk7`}C7I`*$)zO2`GiEO_`R z4qJQr*NV`u${&;zw)JP#jWXmB+mlOAs*hG*XdlyzQyS`7h`PR=wh5MVfgzXJKKfs0etF9(~1ML``dqrkK zC;lr89rx&Jc35x#pP^TD%`nzdMSJxd?{DG)*5oo`$WMWPtPkiiBF9MHXi6$lO zM(&;-l!uwcgA$@JY|&m8lrQS*%Qt&(^b8a5<4h-u9&lmN+(Y0HFQ4L9b3SSCEZ#?np`L4DrkdD>-JbfoK|EM%{BGzy0jDf*#QW%L&Bz6SS0%d zk)2l((M*nh`N!M&%!NOBJI0+)a4*XiHFN za!hj>`lY|T!KetO5?vPmA$Et7y?Y-tC@NOJ!r-XiG8oTOr*jYgK9BnsozCXu)ZwLg zy3A^S-~$WeXeIvl#HY#|C%aUMqVUAe1%{hY7{6juDy?^hzbUHh1Vx00IY!wKRaRL| zF^x)8b)L{{IAY_yHZHk&ABQjQMBZW0zpWbFjJd}6={UoNoWS8ciIFp=ED*7JUg+C7 zc{i)g@6GdOylBTfdQI|Rk_*Q9J=}YahL_oY{SyqPY*9dn@)p14vDzAqtIzYo-J=6t zu#OFBS_CTnWa;V?zQ8QJ-?y}G8(t_d8P*F2t(639=K%ASuG-)ygu6VWasfdi1Hq?d z+ACUR;>{^d6|3$D&t!K)i4;_wv_X`gFrs)5Wuh$Lg$bCYZ?9gc%&u{!w*23OWKy+% zu+=qfVOXwM@vi6)*%9dr&9>EhwVt^Az_D#by}0%~$|gNkp`l;Yh&?dD(FMe5M&p7k zy7pg>QRX?)CpS0o1XO@OK7aRJ+gmj7y3y_R?mkj7p4Xk0BZ;UPllbYJ>ltav(TOh3j+cugP)En##kK8}p)NX!TWW*a!`y`DlWQ1cD{6+8y|m8GJ824kr}hiP(=BC5 zb0QaEZ0gW9*B??n`Z0WpNb0 zd3SB9>%2xtn0q&`p{+jjhl7fzgXOxq*Oo6xu48aq0*&J{mm8cLp;+n4TRcY@u1_go zUtR~e<&97vr=^Dt{FO3N1wmoX79R!ccx6RM$b|bO`nUFF0wL#&ciH5B#Tcg3 z1lks_Dl$*6j#F;sw7BTse4`Y$lGN*;gM?E_mLOWJWsCZMFYFU_0rioZ&<}R> z9l{ko=vDb*73J|R%UQxT&xhtt$qPgHPQ>e0cy6lr_WLN3nBz@6@|0uHw8GYSh1zJD zC!$jZ?eS*yUY*4B;SOh6W^a=6Z&|KR66>VBk8iqnW z2na<0M1@IJ>ASRlp~1(atIfcRMK&#K;7h35o&1^|==MC^*5V*tgtXC1OLZBY6v(s);~#w#_U3K@9vTCD52I?jVF)6-z+ zm_hG7pBFs5Nzn1gr8>Na!t zv-~Qx4U9hk{-&NW>$$MF{jA~xGJ9q1D?x&;dO~hUR4iu&*s3e-OhI{PNOUnH16sn4 zaVs~G-!=`S#lB4`jO9_Nl)$;mh~=QGMlnXy+z2OseUy-zRf;_3cL_YJ)l>;>u@vmN zD$FHXBBQgv9F~9T!PbitP7V1W%2$th?~>~JI_P2e2G?sx_^Nb63P#@xutw^ep1#Xe z7LEM7`S6{}y!~vnJUS~5B;nRmR?nurll$OY!WTQ+gNtIpUh7k=`CSgm>=_xp#}w`L zj)*gV8Yal=zrNR3LBYl`_$O&srpzqXwp0in6+Q9@CQ&2FOvtYJ$ENI2kAiQYDo$C> z7OX^j?XPZMhWf!n7oZb$+L#<@(?-bm3Kn6`z~;PP3|RVe+4L-}hJ%z~f6BDtH81=k z?IT`lxpe^BYSXL#IQm^WTx8klLQJT_=WG0b^Fd01p!9m70oEU55&?u48%K* z=y4u&!IylfP-%!AK$`l>Y@k8}6&Z#eYKxFywvU~R$~I)V5W!hEUzf0?W@v9odJ7xQoOn$ICcE6h$E^jlJ^AbZ?9f(c=_zu551YP9vOu5}54J zmMq`3;2I;K)DZ)?3f0@C?tA@I;u_p48NHftdl9mNyjuOMZvo$F&)0e6hN0_@V$sje z{MhDniDn&^x(#nOs?M~N*|zdzYyxuAzo?FcQTu{*ov$eRXapo64m0iIeYjxEF*xkk3b~1-y;Nf^#KBB4`N&%MqD|PoE}M2_vKs;Vf;0lquV>3&{I6 zOg+-4O%CrZ#yytw^w*t#^V`&jE_NN>#ocxX{SMM6ej5+~lsTDP4wB}y9ZyDdvFYa~ zNv`)FQwjX=GI4~5>>4uw78?e3nhJ3LlEADBnTkB_yOz_~SHAOX)eGC|IZ0}L^Az_{Z%3DQS$j$1eM*%?Z~iy#cTEwfKiEAa z_U+lZ<24FPt>sF8O7lF3=*o4qm^CU?a&(H#C6ayE6r)1tkGlsm{SFm?oXk0QaqbS` z9Z566-WV7{oQb|z#?@nqPHPI}v0CI7{Ie~IbVGJ)U!IZr{1E9+Xz*Llzg(|4>vj?# za-eIAb(bxfWvNW@oKW134E=mu4SA7)W#;uv6OOU6`&DRvUMAhF#=@4&FjyvT$rC!4 zyeSQ;_^{+x`^XFh5kS0iDn}U(exI zgvqI}x-~TdyZPr*cr8Z!gVO&w|vNEY6Tl7n} z(yY;*NTfTw@?Q;8KG6@8cbns-|1d{fsd3v{V${x#aUi7J^ot1Hjo>{vOa;kvQ3aD8 z&mAL|ub-#TLj&5ArhpBL0}Ce9xyqxNipQ4IPi4N6QL1-oGe*?*@d!IB>W(Onl6S*KFX2z!>1KUn3#6zhAbK%O}&+tn^_lufk#1Y^CU zIxJIDsEGAQ@lu-hD(X0CZtsuX>Oc3lx8Hhy9e&xgFplHw4Oq?MeS+p#B6$eYhxIxp z-fPINmai`0Eh0Ple*&HnVeWXePJBEUfJ!JIS|*XQ)Owtc8+TKGV*^fF#^j3$#AtId z@e3Mhkyc5t!mmE_W4v1I0l2Bya_u@%-6l$Ae8H<|kvTH17R)1P^IWuZS&QwLI+MYF zv`S5anxBu`6qvn|1|>MFIZae`(>kPJ-x`DUYnadT>`I}wh3d@X?L-rq{hOHh?C1p^^|Jqi<^xzo zZ^K;F(mZQORE=?2ZCbtHY%?bE8&Rl#v?cmq^u=d|bw~9v`{^-`S3DrT*ZHPz-AS`K$vzsA~YLo!Y zqu0sXDI2#c>*EG*xwYZLJM88)(i{k=LyeEAknouG+%XZCDo!Hiq}|`qleLb23$r0S z-GhJ!3T%l6?pvRGrRlohlT}p!yhp5UjnLyBSK_D|rjS9~Wd6}0gS@D>PsBQ>cF9)c zzuo+JBP+`2s^%P!KCKhPnfN*T)9Lbd2UpF}&wfor!UzncCZLh0v2eY~+*II%E*t^| z6Aa5sz;_A-ui5UWoe%_RCF7!hrRa%ra}G+Y#AhB4oL0iF0TR@*mh6HRNWVbtJDFGb zjP*x5bz$2`^*Ry=pF?Niv&@a&G}09_I6O`)7w*dtAy$Xc9w97#)6Qb$a7Vy`Um|%z zU&lstzA{!^JE4LBO!8}$og2cE{!zS-FE8EMxM}_nx_07cr%A~*7&p3qfSMOMMT1RJ zu1W`dgvj<|oCrq)yYq?K8BP``{ zEJ?5%K5ty^_>mG}O)bw;D?BZp;62iIQMrBH+EiN%AVnH~KX%4x|f8S$W68+({>#Cpv2=oaTUp z6lB1e_67#8dX9;lY=Az3Tqw3+{Y^F`{$Z~f>e1ZKJ`@a4SKWE*Ih=Rj368#6$R&C~ z`UENaeJq#Hw^C_<=_8JHp`v0}${@9^^f~Rw(^bt>t-ttx97G+uJh5?PXHY!WO|x^i zi~S!rqs;4XMnFgECtM0~$#w9MQ3bcol5I3RS4wjZowsF+7lzM{PcOFtn0I+aOnT6Y zyjODF^j!66S3Q$I&#Gx#VO5gC+k0V4)x~F*#p>YP9$D(vb9b6cf(&Otke$B^B3?^W zNhgyGA)WSrJeE?`mW?`cn*q;3x#DO0d#$9{YaE0&0_{J z_G1V!ODI-+{mm3-@r#+}ng9!)ni8AO_$S2!yvVj1K#K=Za_<2vGfE?}zZ@LT@MLrTb@q%pGeTd%Ym%E^#9xxo?Q{=d^3w{PdW{&zEcf)@UdF&j&20es&k=T&7SWuJem?XL5LVvSn9xiEf zK*s7~3@ciD*<5dPaGVo;ktI!Gt{#%RyPWQSn!ZENf?Mbz=M^d$B*4j>lzl(eS(&@S z)pF9X3XU+63v3-?4(L5IK+Q-O-Po>`?xj-kyx4$iaJ-UnwU3hgQo!nFQAn1If|n4a zx)SY;$co~P@klG8r#MfixETXJiAV6*VK<9~O%)jAc#3R) z=Z)V5^C71O^;JlBq_(k-22+o_1!xl|rAoS3)jJINf8lndMD!5Em{4#Ur2w6rd~XH9 zrF;HEib;eYw$$v(t@2;qAJ+H5VG$he@07&#IxEPTR|F|LX}69~(GH8VGZ=Z47j(9-rlbx-JeFXHZiDW2$g0q`p(SLDIu%jteG$%R|h$@H8qFKV+xUPFH zu10!y6XxHoqAKC4G5Mafmw%*;GU>PF^s{#DyPQTDm^_E3F#v>&eLxXx4@t%*O60!V;~LH zXs1^qlscS5UY{*jT+)Gg$)!i&2L+F&`t_rqmQd_j(ls%IbloAc(lfR?!V#7u&0%Kd zxrZ0MZJf5YK1&;RMrkF7A$!gYxGN1HYYSjEaRSW;El4=d4Z4X;sH{d36*KDmkZ`PTV|);R6@$0y(kcBThGm}$`@^}BS!wg^x}-tbv_3e0=NFmsKQUboNy z%3vE)dSac(bN+~zqMYVA`aP7s z-Tn=HRcDd>94k=hhvWCSrAx}w89Oc1y?lK@-!YO?s#|G_fKXq|;f_On$s`ZY!lX$@ zt;d(qFZZuecX2!_Ir4UYdvdPpoB&sXmuUYVe^+U|8WvjO5s@Af2@9NSmFY|fsC79F zg*}3It7r5Oy$KJ=pSCWE%>FBNF<%HxtI}5`)lacq91IG)P))bV+l&{6AxYQdtdcSv zgsSMthO=B#YOWjvl8X%)mG9j|JERK&ww+u&7fN1#$6BW@NH9l#|0S>zfOY4m~bh6+`{gE6|XTi+LWI_jTvS%${wUtJ$4In6AAmU@pIZ zFM!(5TPXYuEfzZHCy*t$o21MCsQE92I%DFm5~?ZC-aEK?mk!tEL}vsC5i&a(|d|PZI(zjknKTI%>E`x z$0{u=k-(lHp&KKrI9GpSYnaj6en+Vm=H$zzn)!XgcW88f?b>3NHH-j(PewV}jK(Q*b z%ZONOTV~r$ivZsiQZ?kta{wR@t>4^Kpu}k*%K|U>F=!Fj4Aa)kXIv=Ua7oKf(1@_h z!SI3gGRsSfPymXrkgG&3cQt|!M$p4XuYWu=!& zWEGRy^JV?el4v&>v#%VjMpShJ`&;7VH)W^Zg}D4T#!GmVQML@C(b;%5R4-yQ`b=pl z+neSBZ8hmf{1HSvYEu(nHCP$Sg--+b`zev75j)U-!7?6V4u%UQ|}9qBM{^in@^ zfq^bytiS#G#eS3>RbRuV=ae3|H1UmWf{8F9vRAODRJE$vgKz~*Bs$u) zU%PIVi6|4%9x3az=o%Jt9^^F`_}-XMjgY5*mrwIw!BW^m(-17GZWy8LY-lQ2HwD0E z=u67P(@_x&?C$S4RR){Gg&Dv~*sdGpe5L4_g#@R|%Ak-VH#wugk&pN!p)h>Qs@NNJ zLaQ8&TVK56p+NZad4vFbm-j{rY0vxJHd(!4U>HwXR%ts|Bip&a^%w)SXpe}EFZHN@ z6!ScN%sHLRZY@2i|hF_{88k0ZW1vlP<^d&D08)Fxf&98)0DBwz<;-=O_ z9Gxi^vX<}>Vn!a`Y_x0rBknl?Bn+4!Wlq5RI~ou!evm0zkHJOeedx<@=;Fbj&B>W@ z$x-nQ1c#~rF^gI#b9V=UBh@5(3t>xtGcu+0;``AHc(zY8+TX_~y^E~@Uza^yU(S(X z@rVcNN;v@Np90YWp~masRa_g6a!@C=OOmC}85(!++VMpGgphL0-A3Antk)?TD4V=F zBw3x@PlZ-d-8(do{ta`+1&T+I{U`#m2-a9%ATOvwRY=hn%9>ThDA=@UkZk#Xic!a) zw$%tj=FV7mbFS0hi^0{gGOd*764Y7<4Y(uhpV}-Wy93MbdGz9w?zaciEdk`q~zqKNgwlRU9vXq`dzb&G`&WIMejVE-fgi^Znd_%o zjl&zQ$}e|qF}PeG2s&3f8NfHy*gCc~sR+NK_DfzYIe5PJP-ep!sdE*S+s%DYScCt8$?iZ&+blfOfUS642Si$-EEDM>dho|EOI?W^3ln6SuAA)1hw^ z8=3YSo)%$fD(AyC1``=Jo_(Ub@1o7~&=3atv9yHc<-nAqIb;XU4tKD#mq8i< z6Ni;;0k@TH0;FjLGcz$XHZ-4* ztEy?q7NRgk6os^fGP01S&{`Kt7goeVslo|aC|7vr3T2C6L!m(|G{|EirSef1$y61Q!g+7*I9v@YU;v*J(v|E&~s&9+pQ!Uoj3d@eh z^6ys}P9%L-QEUde)IUQ-dGf4!SdgF8l;GKNLP1{aZUJ!zjlT@j$O|kCd72 zfSpmDWFvkEJM;HqmxGi8(*Sl`0J_=M{EPssdB)0nZmV?cDD8hfrEjU6?YOl4>0KJ7 zw$;~KI**?>0n;=^QC^&WxtN`PE%>HHBe>Z}?B95ghIGMx@YVNnKn7Y1~m@dH(am~mpR zX@0$eiUXXGoC0ONLZak0M&gr?ILRy3NEpn`QOR{mBL;^o`ZRaxX)~73p;2W?iXc6- ze@k-ZxG+B@2maI6#}L&Z;_8AJI9ze&B5I!RYVBArZgD^oYXeL|Y&a2B$G|9y%Rhk8UsWUi^R3B#etAWe`^%hm*Wc=ytbT`g3ykJ+|7`1o*V@&92Hw2 zAW0jnNb3S0LF3vZ8F7_G7y(Yf159` z^)0t9@xejCg*f0h7=lO?S=}S7L7A9>1q*6CP2#;o3?QDeECL0}7}8R@_6-CyWp3O} zIb`IR=8ATSzGjG0t5&XKSHM%R-rMBqa65H_+gVNedZcA<2|zDN;sDSvssqI^1ZBV* z9Pc0UY@;KahX4#FlC~5c>CF=De`ur2_&gO^tB$_5J{e61h7hUDCOZc6g43$ zEDs)mce>DQ4M!HRlE!(j)6NFU*z2~Yq=bfo0j`D-Xxdm-*IOKByi_Ow-yxFh4ne9{=tt+{K*(T$UI;%@~-L(S2g+h}R^ z)M`noU0dF0*xBt*aGd&+Z$>T^G_4k*sb@%GB<(xNlxcj)6<#fPU-4Q*oq9QyF~l{s zykgFQeJk~^lCJMl&t6GUe@n~zAhl^EX%`S${%oZdzE%6gHC-+X|F*L}9pOG?rVoP5v}tmHOP$o>_lkl9&B=7-xsnqFQ7TKtBnPCty2;DZ z6!>*2F0Me8v}?+NybhxK$lINZ&RF6M$9#x^4p;DzQ z@7UHnQ|qWSiYS;!+rWn=YSRdxkx>Y8;cN{jJ;&g4_%w71iYU;q163+%9hZWFIan^4 zsV^lC-L598e~$zrtPTfUDTwFN18|4>%o2-jhBku1pNm(ZVS6RNYOj3w|Xvt&^jXYh(?_YcS=*j!Ib&_F?Zz z^fbEEpGTwS0*FSU_BBOAo1Pm>au~z?hKiphgi@c|PuZ(ZdcpXpnjgR?v zc#bEBe}~WZ-yHq2bGZFZ3OpDOPv?b66x;mH^MQ561Iiiz#H1R#d^kU*H=izoa%Xt4 zUyV-Ba2woKNz2f)2a+BhEQaIJ@x#gKxGKQ@Xi=TNq5sQomGA0Fh(+LWHk{F0$$ykD z%h%Db6F5G6*n9Ee ze=Wlid(a3=hl%!{9L8UR#YkR~^FnIRl z-TNnR83TVc1ai4M=(u$+2n5-Sz%g{3y7{ zcd=KQ9qjhU4mHzChp>yv%k+HDjS51#J6e@t28Wlz3D%}{S4?e0fA)2rRE94_kOYQ&Dd zDiV+m)^yw`>K(j#_4w@@=y>$BFHktOvZ20H+>1Y8!~;YIiV3xLtId~de;7B4gdg^g z_I3|Q!}q5AH-P=WWsuB7uIh#%YI{7?KLFe;u)>HtgmmXl?9Lto| z`NiV(eZFRoSZDX(^+{wnqVuOUyc`}i}82f7-{HYHU-Y} z%g@Aqc|#3uXTuYkUe2m7f8**~O~a)IwO>Ir9IqK=qY(J~-S*!8Q#MLpvbC@YRpwNl zkop<{$oVw?ILqe)q@MY`aDOvY|asDift4EU%cLX za`1antmg=&-SP+}^nEF&dlh@iRRf)$swVf-nW;G{wUcw)tPFhof8xc_-Ye#o`RR{mXP#<=RNGQS|%$&5PI1_My)9Vee}K zcqaXpL20AuZCiHGaV-PJ4fP>I=C24otZUK}GQjHc^MY?_5SVNa=M{g~s`J`oO>vwk z(igvWN3;2Y7B0wZf1eIlH{kVlbh0>`(~lvT^wsqBWOO_|A$jcP^0ePEwB#{ud5r6k z$BV8!ZgY8Bhy0c}t|N}g#i7&s5}w!<$8Ro9`=H&DCv@ZynLMma-3>&=p5+ zF3$QnsU=Ovm2K`iw!y}_t}tqIVb+g2En&KTtTSO;gN(fbnOj7`^^?iEFi~6|bMj4o z1vKUs(zMPHEqTa)llEkEGA}-| zGZtxY($8o4!k$b&nB@!KeY%FZ>0@rvm+MX9Zqm2sA+5ZLAHkCtq<~s~yT3JMXNa10 zdb*Y7u9gPPe*os3*z=RI0TY*9=K@|sLq#$&GdDIjHZVm&H!w0oL_#n$H!?IqLpU=s zIW$BzJ|H|pMKUroH#RpmFhxN(Ffv0#LNGKpGBiO$I5RRiG(5{XbqNCbtTQ)pBal(_HF zJo(*ozTD#G6A}3}B5|oCjieJ0frwLB?WBYF$RO#3c{$hZ2nizwf=ivXkpSr;eWaT> zNI1l?uHQwH2uSp>9*0OYe~E%P-*nbV{A8HKk{C!zn{InZKZz%C5SLdMqr^!PAlVr@ zOCpJoya_#~kYtGaT8{%HgSbd0$s*Y#hvbqxl1~bVn-r2FQcOxnDJg@L2lV=K$V`$} z1!Q$ws}gcLt5pSg{Lrd~{Jd+`06CjlwZPo8RvoZ%qg4;=`m`E=WV-{cM&NTns|m*S zs^x+4xU`yKrv9JZ3$yg3)dI8erPT_vbtf>}5tf}!%l^FO@Yr$`vIH+IC*PKk{Wr{+ z-*Ucax!ki{En99TEw^iy`v=RTTW=mC<1o)bJA3!YA2j(v;Fp-`0v-!7Ffup_B_%~q FMhZ)o3N-)# delta 37013 zcmV(=K-s^U*$ctb3$WiI12Hi%lVJ%cf8|$AbK5o$z3W$CrWbN*BEaIio%YaalQxrf zQb(B{oE&JGiaC))N2DVA-*-WP6e-hkpi-)(1M@BvnMqbQ*n$Mm+SB^O9 zG-xtk5(C6YNtxheenl>l^Id&iuF_0ck-S~!+oCDcj3;-gfFw`f&tE=!4sx)be{(^( zb!fd^{&QI`a7}>*gh+nRn`_^a$vdXlc~R7H;8ng^6k+5|v1rO_6Z#nwIFo;uW>U)J z*J@qtQ!q)j{TRkoh(Oyx1Og*qAi4dZtwpvH* z)F33_igMmTcRqE#j4H0X8BG<;l}%l&meFw?`l?NlHC2W$dW3==f`M0mnW!(c7dDfy@d+&I*nqgTG zB=hA#MYbOp5*TyoP2Yuf=dI^&M|YVlt8L`{YBjZc>5vh&-~RV_cG}x*rwTSYI?6>) zcbG^BMOnEI3T5T7tr_+ z6qU}5=1xTIC)r0Rt^1>#-1w++JsLEfFp)V!v6TUmn2Z1Ykxl@FB?K79G}n~Nhc{=a zV|G}805JU?+#pyAU`_>Ru%PLC1}6dpO{EZz2KW>! zJO~xM0Lx-g?900SgnkQWlU%fvX?UanNcW#e5Z0v!KawEEe}S(|Oz3-F$C<{EF&Ro0 z9%TWWuK!w@qu@r@$S7mqF_4d*-;|$BNUDXz`k+vh^3Gkx88Y!URHz>(EXQR-%ibGU zi-F{ zNAbm-#te2XUC{uGKw$56mn}g~$)xzS%U4lsMQXF~+I#uyCG%<(rh0XTSR_}wMgKPv zbFt3Xv8&oO7|mI-*NMHS=71UwiL+ z-}kle^$g?F=enFS)=*2ZBGehl3FP7t1;}Y=r~r8YJUo0{JUqO3jEs5^q$BuWc05J{ zFdPAaI)97)2SW}H1|jck@*w0LQ3L7>P<3?#0QmqwK~bQPC=U;Smxo8>UqmQe6d(_B zgIEJJxB#k9XD|YfQ4R`2!6CMG$h$iKdIYdou>yc1B0?O0g#%=qz;K8a$QhskLfV0y z?kZY=909seD+m~g`mYo$;&w z-z@_)K~CU*TI0fF1nAj85Pv&#p*Bc&5F8A+GdM!5z|M%f5LahwFdT4K9iXeC4$y*u zo&P4Q|4rZk{IfX#AQ$l8>HdlSoe1LmS1`!R3hD#{Iin!Xwg4N5BN(8isLqA-Kym;; z&VSawi6BP=^e!Ic27)+(Ebj<^Egb|@TJ#zm}bGOY3 z&en2JCnvBo5`p)7eew`E*y?WIQQZF=u7fkw-P!A3$OhtUZS%VgYgZVzzB9zd6|5rv z59iK=_s3=nMgjzQgoXHo1pr_d0NBIIj(_`i0X-B9{Ff8>+kDr9j~5II1K8ZP0rr8| zfbV|rybvHaFaQa61^amYr{lj79uNqyhFBp1mS9_mGv1%G~pMO7@-YLu)>g_1VELnT z6CME`tGh4Y|Fhoz3i&t?d4m z&EIzY-vj3eaRxt!A|Su7n7b$*p8xUPO_`O$-8F)^)8^kU5aMp+kbfQIZw$U0s{dYx zg0mIW`uFtl3J3x~a5xBscX#-ANC4mkyc<(%u*YBO25@sZLy>nOfV-Z30Dm@6INtAr z78C$*%ltO|jRXPQvVV{efLre0=x$KB_5Y1T?tGv>NEpCv`3H#rxUK$;1b(Bt8UDlm z-8Z-Oe?VRUx6PlbcgXhl?Rs}Ge<*jwA%EbVRJoo1RJf}SyHgnSPfkG~fE(cmLfHL@ z;k}FT_z!r;K>Y>(Yd@`A;eYVE4gYHp?l${h_^+!C4E6w9;myxNt;B-t>x0_QYh|e1 zIXB0|?;oa}zu@H@D>TDF_9;x7uO;Zd&RS3_SDfz!Dw^4MY0A2sXD`nkd2KY%HKO=W zIq4L)ZRsrIW^YgLO(%MtQPa;7zd_40Op&D(ErIu;J*SBz>Bg0^wtwx@WhC}yuJ8Gj z=*~n|swkuy+^*T#U0a%^PEIXi@a>BZvej}>Z&Tp-33JXDr`W*tD3kD1%?x@q@y-jp z1os+})q$bGMbciHcai?8ZULL$8A6bx3SxuQ^8DB}28;Pbzj8|4_A(xLSt>o0-m~tj zSYb^$uh;x(xAAk&^nWQ!Qn!$uMUqVv@SEoa4JmAqOg0UkTd);j{W&|74x?p2GVu&y z(31{Pe!pDxg~mZOG*}I_Fx@k;`pZ=4pM3c^2!gk4<2HKZE1z#Z#8xX+vIP;WWE;J;~xlk)Sre7k{LDe1vY0v}%1K?xwE; z*hNOCUY`6n`A40dvP=suHIdHI528F*8y3AY3iB=xf!rS&t&*A7pr1R?mx>6jc-Ek#LdHXD-k+`RQJQb7rj#X5}<_aEeCm9blOFiSiWL?=WY~uXl2aAW1sZB z{so#4>VMo8?_ru9g>Fl5KGXeIJ`Z3woRhmYvt|I$)vP&QAC)7&r@_wAwzJOBY8Q=p zG+4T(feqc$J0(8Z5W>|WGQt`&ke(?Uq8qb<;2V#Pb;#u~i?U3}`0hE}iUYzQ4(2zP z#aiEec>lrTRsYx}@Q{6CfpqE~@i)V!dfp)zG=EF}Dyt$Kqtioj$YxHt;nJASR8Qgb zoqdMRV1zF>`xXAi2Kg=^BaLLqQFz1i#bN@i{x~P|wenMgvqgXF=BLemV%Gfm1$srq z^8%tA>z8h1&#cs9*%oKT*geM|VZVr~dEiOt0C-%eJ+w^#cWGsWQW#_@ES(frtn!IUIjWSz4&Fn9B@14w=N73JbZ zn%?+xpw~zLhm>T_x#2N0*@_EZmUDqg)j zJ7`*wl=6SLu+gZO`)Lq*pyQq~wI+%eN`IRPZau`~{)rpjwoOC*?g=^SYX1$9Pf%_s za%=HTl|Ff}&yTIYdfAclOGZ41z&3N2Fa9nK)_*>> zChEo51wpKhCd^i)yPBkMU<438G3t7M*}hg88t~N>?ZEK~0mcM$tU{cbqm#?xRKI?7x4Vn z%0Pvp7DJH59Iios9*zvQ_VWu|Du3793*j}jf`Hae`HyZT4rxZ=>2KXopKI*Q*xo6t z&DVLG9DgzjcYoMKsj*kU$HCUr8{sD4!&P1+QvA3!hh7lW-bhLWHrmPXiNg>q*4}1*Tpf%}I%%VYV}H2(5q-Thr_}X=XXz|H+JQTvnyE(Mgy6$u=|$7bCtUwJ z&J}edgO}x&-}ql-8;|g~j@Xk+Doi`n`_(^v(bugW*V%lYHxRF%T6>zg4$ug7ywp>s z9(10(L1p%W_51s8e<6ZpFc-5Tpuv1}W8S88fEv^EjV&tAR{tf;u`f*vlbxiq*ayn1(^x&UQm?glo-%g>g{ z4v96tjOtKOkB`mv)d#5_1@*ceX&5G`CRXRiQf=7=+X1T06tovu>~w=v4xr#%V{*^M z5u3C+zXz#vHY#jO#(y>x66hKa$oZyN8QXu9Rg)yTlvg)vvE1)6;e7ctih?$KPqhb6 znUxx@eHzz9qb+b+@JjEArMeHdHO}=?S@$j?4DLvjSD)Ckehbvm_WI z94Qro4PPFc11}4veBA-~Z}-Zmbvf=!0b`{Caqy33Wv2U9P>w7C>+1Jf$B}Py=`arU z;~pG*+s5stsDE&ho@67xiqj(#iTkY3ie6->Wy`scGW#xyxK?=ww)KPvq>M#Nk7MFl zc>SJ)dvc04NWtFVzSnDD_z`dd1B0A;A=?ddmpw4VCid!ZSLU1%?By%TI8 zQSCX;x6rLOtLodnWnACcbTh+eaqX6S19OH4>Jw-f7=M;$o^pMCXvB%!PEXsZt*Yns zd_D6cKBx#S6i-}N5D9E@>|L^WYnibXftJ&Trm{yqL1WJP`epjjv^khWfk+ogSfp@u(7|>Oa#}r}VkC$+q?48k;$WlknpR-cJ zvh!WG{+g52q5W-Zc7KXP(c1CVTQ%Bhr^qGgWqatqu)sPeS$TSP}&JwX+KSU^oBxC zshG$wQS)O?ZA|Zqw-`VT`#_MSTV~~KdceYBqtjlL8z22K+RKJmzuO!AVn()0K`N6^ zM}N(-TWg66@!~_fo6n;dU>NpQe%<{$?mft0c1Y8cJ7U|Y z?X`WdPd=W>d!(}5F81Nj1#LPvp8VP-;O!8u7X;k9PLPgKDV|qD)ww%iL&%Zhv450Hz-#pc3Ln28HqjMdfHGG}e{J%Y}UR zE0HTYn~+RL1|CKaho{$a>7srjJ73MmIN$m>_^MAxf8DQqPdKb3(Q8&=_i2~ap(e8x zf-7t}6@M;`FnfINp>)d?AA&=?_eAR~B;#e|fql)oBAMP|`$s|!2GC(3rOxNtOMiq- zQe#2kCle<>D+eI7j(zJDPUy(i3Z~yXh22og!$=OfYL}xPrjY9w5BF3GGW(~~FyS30 zpPSzYe7OB`r2~dqxFxK$!L1*|q`r+$SJ!0O%*c&B!m2BqZ8f}q3JaM&a=^+D92=C$ zr6XaPH`Umnm?I^|B_TUqj5G7EntzzlO0IKU8vlrrpgt}&^Au2s@~7}*xCt1x+F#}w zcF>K0#dgSiN4G11Bk+Se!YuBqjwaqXM7Fn%C@I)YGi^&f3JeAmJY21&vPgctE-e!I zG!1GZt)2+dOEuL&;(sId?5bg=WP5j}FBZb7FhRK)oCtlZXZdBROJJj>rGM*J2X9iR zWW_f%4;Q|kqSX)P$P${W%$>N8-V=s%jA1+lBNAH*@zOPINnD4#W~=aqBGDWc8fD2! z@b<#_w zcKj5KQ}B706A6s@#7)UP5N|0SlAO4B?Qq4t>9vBjGm!+%9Ls$e6n{I~kFox(NLY!H zG#ob8{$a1bMdOF)RPv?s^?L>@UB5jlfv4pO*=;<@5nmRhgP*1}`)SB9u&J$ZK+T1j;9qxPgA6GfCCY&4j3%}=RTTre{ zNXa&)HSOX9l_>Frtbc?E!wL3}fxRaTnQSeB@h6vqc5vd8r-8V1;7YOWVIsdt!#=K3 zYu_`a8yXEbOaoq2@hzlN!B8Q z*Tw1JMk<@@Q;}Np<*At0$%$Soe*j5Hch39R63zU>X_8f}PJf5J)n4mWk9R6|3K9c> zC1FLT38rv>UP8AIVcUU9z}0>x?-E7zGs2=!%=DYxK4aY4RJ@r4E7xmOtGTkazow=hL|c9epf2p34)vPF`*uF+G|{ww#e48CE1{^67OWlnMCe zVn~PSWzNjkyMO#Nj3p(__Z3So4$~lNT3ju&?bMYPnpQSJ}MaMUc_tH?LgD zG}?wJC5~$94n$b>^G^S2n}a{#3Rzkgnvsh!latL|i+|j%C6ic!$4ywI{3OeAbg5$D zHC^gT*923&R@+YEX`uNgRWb;~_QVLG#T%v~Rc7c0Q>Y=mkEj5T;y< z%1(wUh<3UUz0RH>SFn13pP18A*(0HHvJ+mSI$-hrL(&UY9goB1gq=8yUJqP>39bdZ z(q}kr^2!vuIrBV&=vGa>?^?-KiwM?3-W>WDiGR9alJ^hVq12WdZxqGEjc#*32LJNy z@%~xSvVuEJ`tVqf8{TzYOjmO#(`&igK2Xqjwc%LF=;(ROlL7KYd`*;pE~m+_X41U$ zb4yC$*$*A($+Kko-8F}2OF730(z>~q-m3Vlx5vsRm{eF~J{(DtZu(O4;;eqdDTk(o znSa-X2gz^0Csck}-ckBEK>9B6K3YqL9>cbZ#_1X=5-mfRoS$2R#=Ewq>sgM3g&<}B zef0bBNWzC>!VW{Uko;{dam$P3ten<+c$@MhK=`THe5+65Hj(6-J+)?1OJp-d#%JV7o(cXM z%8Zyp!oxi3U4{Prx3S$Td4gIvq4u&1>%vmOQbAugfLMj>@XvcYW)InnW7w1 z7ijHZ2ou_LLFr72574f8;7c5HW`DVbVg6DYC-bQ_YCZ6@N}oQi8Ruk$p#N|(m|bD1 zRL@9RH?)l`yLSU0li;o+?qUKe>iH;`{%GgRTPe|Hq-N51gNiONk}FKYwY*q=Qyk5X zE93r1tpM+=13+CBpM_hXAh={4SR|pT$1<)^d}L zT*4a}Ma5w?naJ~?kH@j)uz$936d`WV=8jf50Gv!Z%cEnXi&dlu{F%yG+Vi>Lg7lRq zR3LD$XtAQfx)Os#;Z@?*5K|9Xz$dK!lEU*>>aAQ-JdI17GwTbw7IFk=0YWZdy^KQg z5^>8Sd>9N_-?BVei_|mJvIwD`{Las%<-y>Q;PI98N6h()Hx#**!+*BIYD#402Rsc= z{b!-ap2dcN-$#Zaq61il?d(4>Q`H*UyME2;VY+`UL%4+MRd(712*MY3f2t=ki5eP3 z^tPwR1J-TJ3!BufC8NSa(bcds38k<2W=sxrHARK<3doslF?WhraP*~?SvRJ2EEy-R z7NAirerem15rTy4y?+C~tZBGf33wG{125bKM!D&S*SsClOIg4a4BStaRVzA`@ZYQ^ z(hi)w%ckbhIDtO1gH7n|F!ui3yvM1N%OY9CHg<_SS^8~|S0K!;efzM@TZK!&^__+G z^MbS409K11WvSZQ1I;@uzp&5v69t|mH<*&n8`_@jBP%*K8R*G+riMr2_22-#xq9lQ6!m-S z2W*$3p|d=Pyrx1PEZ^GrVffY0h1=PvxiH-XXtEK*mf|Nd4W{baAv}j{=gn&S$#d*2 z(vn~<&IM@sRP6SR97Qz+F=k3$zn|j}$zlJ5i7$l?`+p+_w;pJUd{O#>ZO97F4a)yw zH+LKK@UypbP9m!$FeR^+wyXf#{KDJLEmB^fp8nBu9DE~KxQJ~!9YC7}JF;TdHBkY0*K^EGxlBHCR>vfK zbskyGsGO(gDNH3C(e*2I_OYQ$(-0yxl_npZYxvzZbo&u(^fCT>GiN!^U#CGPQ5slD z(&GW_;&fari>4os-2+M8f<7$7u`t})C8K0N8-LFiB$P6zUv*wHp}lwT)dmQCE_lUQ zt-~gXG~SycpektJS^<@q;Ki6d@nYLbpF^!e0;nomz2VklD!~-Y!pj71ARWY>h;oCv zwfsxEdev!EoBEQBf}q2LrmaeO99OCe@qYs>dVLrjd)1e~4*wT}ItlnA;fWkx*w#h! zKu&cEuw=*Kq$KBSm?NPHoT_!BhFC#mpCYag5rT5GxGV58SM|PK z+kCCrmkSM*)AIo|njhy1y-iMWhu~9H;{sp9!pX~PKBjpIWAufZIT6?*fd0z@mVX|B zS)!X2;ZYT%@6e=T_eVG+*I~5VfqA+Q#&ZE55F&jaqv|?G@Iol%n z>%SgxA=qA>k&L>SsV94v*hOv1aXR#R+KN1zA3xGtm3f~xii&|X>8cq65Pwun(2;AcY0Tx62>;>ZRXdHP#xzTvZDDM^|$2Yv$IORG#SuEq-&5BHv8EL;qD zhE;%;uBxUt5`io>y~s79X@3hy)PNtZU)tt+8`7ccI!?3;yb)VmsIcXXC!7*oJdiH+ zQ&Yi%?s+K<(dJ?dRWiUT3udYZygUYbjmd2BXe%QV#B=kO<6XnzpWDPc(Bp&?=%&z@ zIDg2HbKItU(M^>}+V0^18R9!v6-UsG=)6diz~5L88OX{5T7It#hJP4sl@hGW)g&)9 zu;sCs6dW*TeEYEr7A#0rj}{wFZ@|UxLJRzydH_9o{6py4wqRqA@m~Bg@c~EO!?{YgWbfd2Sbxt=?k_Szs*PW#~I2zaa~?^7gB2C;E~@bftLL z?VrJAww9{(r$oE)Q-7(^uY8*_R#n>l{UnBQ@yKQCBt&Q;4Q}t*M)aTRxYY-)BX4XL zAS98l;@?|)ad8IZo*wEk?|x>E--YhACJA4&6ZjJ`G)SNyg)I~srRNq10)_0(YZan6 z1$#(mOT$X(Vf7`JKa`y&D???Z+XZx`nXk7JVLhAS)>7kC-+vvAX~!K2$QP6#nCJ`$rSC_qoM~6K;lwN4g3m%P7bj|NCvd#*3tbOfNPc27b@evAP39^Gs_wSsRE)?dQIzIerMm!@v-X@(V?BU*+YKgnvjVW#;;R+ALJk&3HB#ExN-K zw@u~Q<6U~CC)DfB=Wh=5^aGZTS=hwE@;ddQ5qOJ?bYJ<}+G8HFRFF1CJmiq6@s92x zj#Tm;_0$M5K>5UKRubzO&ycZuKvG@;Y2>hc!&tmDdv;IZa^pdc)Sn7mg^d+uUZ)Iw z5TM0jDSy7gn6MP^)M_MP*l(&IKnuomYogjO6&FlK>3F4ZO{v#Pvf(X;V#V9iCl0ik z<)xV()fr&k47wE(uw4^7%~ii7@OUsk>pGh{Z03_j6ca+|9k=L0pn^M7m!ZJmEFH8z z02uugLw0V)y{C?)JZOf!&OMV(CQKy48^HXrVtrqcNJC(I8fb9hZ6tE$T7@Oh_Ujl#E0S;Wg7JNJ~dq+hl}Qu z{S1}S628t>>cEbYWeiGb!C?_U=Fpj=Nj(9{A2uRW5c>QnybB6vWjPP!tU*Lf>i4I{ zjek}14rLpLB3cyN1x6#oCO==RRD2YI68o0VNBfk+RZghN?oT)*V#9XoXH){RH03gR zj1UlpJagxyl>6d#YH|(+iKB_(&Fr>(2?@jdR93g$a_@DTo=lFNmlDSO`e;f<)x-mBoapxLJfvwSS;& z01Q*!M$FMkkZ$nyr=tUsJRr1(1#WPjg52qqHfy+iV;6o?cXv)^xvPobumI!16E`pSCi( zfJ!>;?Nx=6L@24KZN2#s)f0m9VG~&u;fWjLCbOfAHkusd`hroESG#eBdqS6CZ%BgE zs4b}W?%4K2@5|nuX%G=B^Q+eFZcGrWs=l@o$!vZ!84)NhR7BSEOa5e>&K1+ z_Z*KcKpm}%^*OR%l6!V?Jwy-#FKtWZ+|?pH@xQ7vJ*r>;tY@z56d!|aRV?}=Uy8i7 zCC33uxG%-#vljS!Kl%1yq@caZGV<4lN-m}GNW)R3^9SWculGr+V1HwD59{b`@;53e zskT$yJ|e5d>Wxz3%FqobN3_3)7%Ulje;OHU#<}OAkCtoNmfP=AIZQ21NqmF= zHfqN(c3LA}Vlnm?<>f#FS1wIdsPFpJoZ*b(?1aBgM=M8=xqp9w>{SUU>r&-shOWCp zB#VCGF_p0A*NxeI(7=g%!(6~cU8I7kL~zmWh@w=kl0@mA#9nt|Be7f@#W!0F=C*=g zkwiNDT_2lj#J&N_rpP-xP2tWKXpbI0%QEJCA%P$mPxv@V-?Wg#)``U}(;TG65q*zK zBiU{~iGDASCV!hgpq8#CQ$In&bIp{>##DHxRdT3M7-$;)S%O);u$M2WX|mgTk`()%-9rX#Pccn?pFt4-|iEvT}3qOdIzjfWYQ|` zo+SkL7Sq{t4G_2*%q2^V5)Grg^HoPnLMOo4!%L$SaCdjt;O3f5HYhi0ZQ20xiGLWGV=n&HyRBS6O94(JR=A!hI3>11VL>GEFYe?9`JO=$ouJUm?V|4Ijl*aDrb zOpWaT^2RQfK->3jh%picY}?UDbUXOJ;T+` z4Cn-SFAh+ZmIEj{0PX$>mis4w9`J8%04$6w|DpSL_HQC9yMHAco0{6&IvCq|TG?3u z%&lyI07VHoMi&nkdVsN=+3!GO8)y4}_k3eFV=EhDllOpsb#4rh5K#sgzYqBD@tjSa ztQ=gN8J(?cevioXo912R4|Zl^_O`Y_I~QlT-~EYOIRQ=IW%p$I=VU+H*}L0${~MTF z*_oOD9>UDkfl1xY%Fz`lE&lJ2cN5$nn+4DXz`@MS%*De706GGI9;TK|zvdM*yN$ncrR~h^0X+Y7`!3V}bnN!; z1)%=-<)8ulHc*5+wzZH{r4@iv9bdy**jbPepUbs??>~$eD7Dw^yB-};rzam z|8fD}Z_a<0{9tElZ}$6&v2t(%jGdf}J>lLD`5kcpyjkAwq8ZTRUrP*NVzje&c~1en zkLL?8w|9d3eWILP04A}2-==>MH-Jg}58?qZefSUJVg@it{6Q=LCdogD6~H9*2eAQ| zr2imJ0F&Gw^j=T?4|=bs@E^qeUP0*(dgoO6gWfq+{~&e%liDA|0bo-9gWfA>{z30E zX#WTCy!(v*p!ez~f6#lR>3ZFR{$Y5Z z`=4d`kDkB%j;`-J{wL*qNb^7NJ;3}g_}gjqhmh?zbo;BqZ@;~((_eJ&Ar^nZ_m(aH z4Dc?KrKf`>(C)8@cbnB;@Livef5CSV{%-bNA=|&2eV_gh6~}w3-TTV^<$s^X{!jJy zWc&YezjyEO$Nf%!=J5VaWM>03|DzZ?%fGEo|0N{*yR;7PZ-@OK@!8)ecd&7F{)_+J z;`kSQ*WxdwSl$Q!6U^}&0p0#mhT}cl`TYg{5C8jk&Njx*mVZ&ack!pE_ot1?#nK7* z*YUiMtFC)UAMpByFl)Lo&9^Z$6xTB-t$j?H}9!lK&OAW|LZ+4b#;1| z%jI7$_WNV;KloqYzd)b|&=hWY!QPZF*t#~j{k~cR-<@H9Qec*1Uo(}4!F$=M!}Spf zI*F$0>!(epTal!ZUX-=n57alpE5t9}CoT2RVXX`)zPbQ&@xFznzHG z4G_W-FsKQCANagD`e+1x1aATDlA*|Pbmc};%0s_*@0awb8z@~J4_(+-KB(f9g?}!c zVTe}$tQS}`N0DoiIgdjM<-$M+LyLCdfjoC}JByb6{f$^Ajt{041&n$lbJC|L%3(Yv@{ZE(qdqlLeKI2(~ZWsL!a@rX5}%1R~5 zuBoraZG5?tWiKZQ5KM(Xh`yIlQ__TC=tQcBS=DA3h3-?h)$J&>~3epG)a*tu)@3D`94?^ zvNJVNHxk>XFUXo|0*|{B-G$HY^rh0`6jTMv@&mHR{9!)J`b**keYn*D!dMYEO#!Tb zwH=E0)F237QPyK9z8>L#S_I>RlCn4^V$OGTb!BLB^jIECHJgcjP?Iq?2;4j!9)}PmgYIBs#t@u5 zl>&S#q58TZS3rmHwvdozz2lWB{7C$NrCFfTS+8~jdjaLSh!l;xwEbD+qRtZdN+#^=^Sb4asNo5Uo!zrbnnz zFd)19^HdnawO^8dsh}&deaIyVX5g(sr9$0$of1KkL9SwiT<)(GlbHmOaVZ6Vq3rYK zf{Nv=fg=mlnChGAKAB&Tn#WJLief4mMUq&wa3_`ENc`gdOEsL_r|K=xUYURLa54oR ze%i>dkw24&g}KBBChd*C?b!CbzUg7<>&A%X#YRr>X2o#;OhZF;b%xLgu946cSMmuK zyy18bq;68@6}N{HKRe4j;gx`Y%lCUJkQHP^KF+k3W?v^+SC(V8r*w5O5J;Sz zirVQ}-&;={qJ>vKQz8nzO~>;9z1G$Pc13nK65R~LJL%TE>hrp)XUxF^(&tupwv#>I}#4s$#cvU^u(Go zzD=$u-Y$F>F3@E4AU@)DB#|?lsocf4Kk?gR(O~*KEGi&ebNzTm!W`eDoony)Kz{Zx zbvG11(O=OuJ%Z`Jy|K-zZ(rKC38*xD5t6nXLv}sN6}9~-0fo(f+rWYZvy^NGQ!?zy zdH1P%WdlGcfmj@jBWK5O<$%>2Zhpq2i9C(A`KB5RZ%&n1O8I1pB(6=Vp$^jn|GNue3jl~-SE_8txH;v zb`ntWq%ct+sUX4J-YQG>@u)rhYS`3!hME^(CL*u?vOf0m@P_CMvniUWo38|M9f+QL z@<(r+0cANg1|4_CE?LAd!ip>>xlEZL62FKO8`(UG$kKLyO_Am07pEi#bY9kV!EMXm zTD`u1mhgvyMYAb=C?oBa5v&A4ENO^-(G(@{J=CCyg;-M^UbVud&pi*^C^}a`!)nGV z=xCFO9s)1zP|9RH>X3t&4)C~#D8w<;oz&6@N5vkxx>nAqLR3?FyKxK3d4L0s(#Jcz zuHXeZ`CBG`JT@n|V*QE@{%k~N8$L3_iliE}=cANIXRiD5#tj?am z7}P0aA)+na8;VA&`XWy^Wa1DI%ICdaIu09Hq0EMLq@lsLl-oWLK8u8iR;kFSn6+g^ z-_Fflwm=kg+7}vPku9Jnuq8|?vGph`aj%wZ@{}5X*QpU0V?%9YQQ4EZVlq<^y-w16 zR63tLKc=_+@?gxa%z|A#?guF2*>Th;Xf7Hr0K_{Rd_2o@HjBxyL-LC2fq|~bKm5kK zKp>apg{vQfdQs{GA6bxB8sw%R-Weq?$;Cr1Eob#gnIN)cfxm5M!|4ecCIkCLLb2hJ zUlw+M|3qoxn_`TJ2+pWmXoCO7j7=WpVZ*)l{$f4V@+64n%G7=kWp^HPpe*1O7c-s7 z3f5|Q#ue5i3$IrUj(e!zOGK(*KAQ~`&Xe&{H^-x8XWfNG#I>R{6Tv~`JEJapzUmUI ziF+cQDZr)V+fM}`9*!k}_;~F)`~Ybh36bA_UKt-9mxJCncMn`N?Hx%tgLRG%l@n`6 z37BXE*@kN^$&w9s+ZV?H)I=f(HcjZ$KUs{{xLp~qT0jh!9VmRx}@Y6%q?hhn;6{h7y~Ig`v!Y5WX4^YOaS+va-9QmDqT}ACS+n zYM!Ily03=}o+|Q~yyfqcDi&s=k4|Xz(Mq7{uQL@Id6s@wu7M37Nz_wL>cy9Tpe0IhK=lnFuww$J$hXbF0R^jcR?rsI;8?=Qh)r>V#Fckt@cPG=LGHmyyd_4d~(Rkv)C<&c-yd6)T?qdEIag?Rmg3w9R>>Q$5s2yVpyLRsBu0C zH}3p5Te#%aFdPf_WfEwAIGB5`eF<1?VNX?kzh5EQU}+T(Hujw6_SJL^8;G*xt?!Tl4t<~MH`)zP4t>$`Re)L zep^b9bhbYgQeGVRQiL*bsM)IpGyOQucq<*LD%3H)bdqXqSUb%_V2GCh)upl;<3 z_e6rE^FVVTFR=4Er)zj6~yMj&sB``NNDt!whH71eE;GnChKn@TLa6vB)%I)i9b)oDK!ZKhD-Mr zl(kyOp`RD9lb5mA6- zkVCXfj!F@NG~B>4Fbr9>z=&_~%fcG`!WV5sR6TW8EGrtealr}fZ|qqku8M1h6HGj^ z=~8xx3&ktT^Pi>Z4sFbQXehX3ispk>#ic?pXu09tbAgb5sj(LRf#FeB7xaOeS#p$b zvK4bx*%2(JWGL~Y8db|h77AY$f26_rO%HDI0B~1IswmCCX+0`G8&v@L;Y*EfgFaY6*!{2&t&VMz#+>8 zs`&zp^r7j0TV2{Pj+9ES*wSg4tzvhLR`=~1=s)bcE{4KT2TYTUC2J?0{s4I(nFE!E znbY1cp3TOUr8qJz_)yh+O7xT=Ai6v*t&bm|3dM2h$Vq%mI*B(v~clpW-9pfruv1hbWoG)&{|f3K8ai2#8vg?fLg!##1Eg9~Bu~%?qYN4ts_xs0`$`zY_KFZ`OGXBGr^y*7sERFf}o`hG1 zQPWV9P~NVzDTuJD6lF618)SR@PY9r!9SApiV5Y<;0=-?0no_obE8_|g5>LBYV$%IWeF0T(@z(^DEH;oKEwg5Ol z$G@@H1g)2+zWf5^1kzMQwraFEWvA_Jy=uhfV*}PL~{-11nys%bZTdkp5NbN<*Mx;4z_uM(3;J z6cmeV&7V-HIOH zxq#bZkEmg(unRYQ5*PG!fTBAvFSX#YBqw|<9st!BK9_$mS~8evk(9mV<0ymr=00@N ze+IE9?c{haQp{#9@@Z2W)ylOzpm%+*@3Le1{B#CQ+X>~EQ2geW_e=DO84k0^Y{p`d(E2x;o%w{~k34!NRIf9Y=1245dbqHgjyFYz68_3yp0?rqx9bR93{ zI=qwThyCBb4SZ$kx@@rVUj}yL4}luF-V1}_`9PGP5@Rl`g&)=;=4(A#eK;cgf0Q4& z?>pe{fqZbT*$4@pwr>~a9FxjyM~mc*RAnQiQ{r_Ml{AVLCD?q(eMaoSAU91poc{!V zE^8zRFsd)6=ru~t`?=mV;#?}!>NeIkXrT8TK^u>`@S;4rU94bY9zwU;-nkK+Wlstl zynzc-e> zSSo!YFJtjC-Joa6Q4VNd`!!Yl?8*<}t{^^sic9d6X7Jlpnv`8^7FcU>g$NhvvA1}r z3O^I8%ZvQL(Dj4!eqq4VM;>Xd>v;40lCRU?J8$1#p6Jk*3$;F+7A2z$e>48rCh4B) zBc+vDRpmnJUePA1f+0A9Jhxs&B&3{K7CDkZpes8F?`mm-L0dr+xJg#X-6!XCt5wBQ z(?*RTTg9oAOL=3TEc$sUlmYUc>h|=m@4;UJ+e|}JZh@Ze5X%{}T=MnXmH|_9iDP{q z#Kvw9@`nc}1~%qemhdr)myWcUc)9OnfrH9tO4$(Ii@l61CR_I8$RGEOb0 z2}$DaQST7%<<4L(0h|yI9G))?w%g~23P4=1{}ZB=>m28s^1#bfe=1d`GTX2Tp9fiU z3^CgkvFbQ)skI5}*(yb|i%c9eli+Bs;@i)!giab8fxWmM`qeE^?SeEr=h;0C`T;hX z58xd3ohZ78xl54C6RhH3d%jwmr`>R*HgsZLTbEc!b=k8*oO*l@X)GS zJ?qRh{N*%lmRp(&e^7xP?B*>J;!T!cRvDM-)WB#AR3WDsh(he#eP8I|!*vvzKVVLY zfnHbL!E3`ut3U!9yn5$uFWA~=^xztoT+Uu!wYNEpzF;pCC z(rL{yJ(wYK==2(iS=l{Z`HDL(T`y2aJ}x@2ETfb z7B2zBrw5+!C7J^; zP^;9nwB&%#?oj3TM>Lp`pA&XN3@{W(oGSXXy$bjXLMgGGQusv7q{Z-!n8E{n;TWs| zpqyTMV>Xw_<1dk4W!dp)Cjw;|a2MA#3sm=&q9!UuN+qd+`my@g9-OfJTc)%Y0IFh9Y~w&Sh*h@F>+2QpxZYWSLlRG{zucLxh0Y9? ze~=|?_(nSqQX7qrsc;5Tiojsbv}xGZGBFS=@SIN_+zn}vKu5A-yCdgtvRtwI_#wjd zS;P7WrV=n(>7orUFoUE)wc5`zPIPVHBr^ASl{l>^<@AmBQ6d5KK?#33xp^J!k#N^I zG;p*y)AWTZP)Oj$UXk*#{f0?JfTQzr;Yr?JJWi9PlgC_N{qlGezHz-IA zcT#HP%=GmdQ$37u&L}6TQUZi0P`>io!7C=gV@7c}F*RwyY4(!?8*nf13AZ`SyX_Xk zJ5?5!kG(#(JrSwOgH~YKFY_yRy?SDW<(f zaBG>>jxlfAnOyg9%wlWwp3Lwn7bDbg@HTw?Hk9`w9=lk0m(GU+jYz)Pd5O2%gCjKB z#-sqep~BbFzv&Rgz0NusiYRIKH&sH2bk@JZD*VLDLb#77td%xWv=0IIRIa~$-Wi0d zAZ|_fQ1)glgz0TNz?PGBnqhkGe@6*@QeFP^6`K=|5kyM_B-{fj?7pb<*;VT%QW#RY zwcz3&nb!xiyq@6toMRdY6NL5Si3kfRcYd$ELw1qvpjT3Id5izoBKU#f11JAdhiC6 ztEFbVdVNgZrib7lmQii24gG$^>y2|$4q?GPr)ecevKRAd%+a+viK?y%PD`EP0Q%~M zDm$d<0NF(G-rzlk)WzoYl5mhdf*H4KyfICbKc_akfT!!i zX90lE(xQi7HwN-??J{iae^=fLM=q>b1m$b(H#I-S9?3r$`ny5wlm5iCL`q>8st#aq zg|OUD_ldr&0M%C+Cek(g{1QuQ`f2k9QZwr-_BH`>l_bhtna164qud4xxMR1#HFDGYg=n)2h0uI=p;6K$QSoHn~ve^);dJJVfVV>+h7 zmZau@B$(4Qiw;7SVBJdSOi#lM6_$M-$ee?zWdl}vY6C=mxxB)v z{H+p22tV{`cV7Exe=FyZx268U_fKz!y|j{Ru-B!k3l$HF!b81_=SSMtMDxGs80Pj) z^rM^|X5LC0T2ase$rNYW1O5lH^5R*~YREnn(JN_i3iK6f50OoF0Cfi|0wYt7ug9x- zyQfVJ@oIsOcB?QJ5}x^4-9>ji?W+8DmQv13TO-E6U+bl>f6jFBOyO6R%Q=#|cP$#` zSmu^;(2#~Z`Hf51Ax&{H&JvWeuw>Db9iJ+#Ve{BAvL|>FR^O1N|oj9~yyz|&jw7DAsVDcXQD!nG)D8-OfaytlrO6uXL-x0liIMX=m z!>{`WWkB10e}l?;6(dzJK(5tC(6;^qdE5YASsG4kvs-%dn0pYN&92=nI(O%Z7m_r# zZKIsFokS?m)n6VTCEb;#^g)-?TX&uSJs^tikls&C`V8XhCanih-!?!q2&N*xi68t^ zTJhivO%V0NjT@Ki?-e{KT3+E)Z+;2e@sRRg|ZeTi?m z&e)kf#IJ;&p&|Y|Ox*_4eL;reSW^rCgsmbuv|p6o3K6`QzpB4&`IJL(i0>5W4K|@=s<68X6pD2yc;?Z4&pOi^)3c zUwXCPzm!E6nh>46Bwd_1i7feQ#QfLhIhlQFk{MO?L{RRsz=uONZaFHU@i)!yq-z2M z`H8L>5)7VXP6jnXWLD)q48hK$>TEJ>Mc&n=f6KL(%%0;^;pu~E16Gb(*lFxDfp=rZ$Z`1GC6Bp5+u^~_)`yCqBrv~bUnF~eR& zJ-8^aB_==x9!>*rmSvq-ZqgPl2m~a* zf4J87;l)JHK2k_lkH8TXZI^|J^B_4=+Snqrq9KT(DHilIQhu z6EmrD4xGKNw+Z|(2Qpy}(^tS%FcL#v__ zB>apUiNeq}csogFGs^h|1&XXZXvF9F{>CiTtz7MV_7*ujHRBz&tbR+4uaz@ufA`|? zY?!fps3}01Vucp=sOU{2_W<5gUaZF$E*oLQ$&^`c890|E0_c8i6&?}V;A;b@K`I#F z5JmEw2oSCqVv-kE9uczdFxZ?2#wO@v7#eB*lgW1tk(VExGE`BYkdQaO-n7uE7O$yQ zysT?~@}i(`CWMTNN)-}z0u=yTe`5PMb1fAJ)_sVA$4B++26!%|KUPjCQqTMOFfeI0 z>zZ>cA326)em0J(Wq(dJvsIZaUnD}<%B~XmeuoM7`u@QP_lcUcQr`awWctgsJROvt zDJ-{>YIO)9+(w~5rfyu@$E4oWS)E_smf(}yxvdd<8<&DE4Cod~!@L@8fA53pR`(^| z1e*E3$BA9#7AB3QLrjQ4uX2iKA}{a5;hNwV@5(VJP1|=JbtTa@jrwIhzKXZ{{Ma3- zh=BLdXQt;qM{o;4Al9DEX)7)3OkFq++A1#1xh3Xv=u&(hok=5J8t>LI%=>c8IuKz@ z>>9Vmu_j$$P_3Zjo5bj7f4STq(HLg1i$JDS1xNA31e?+f4ZZ!7&i2zv4 z3soIHv7i%|^Q@Xpv~j9OA7EuU9yPPo!H4cUq|%4`K3|qa|djBQpyxUc> z#s!rFUlxUx`i&EGBi%< zI7ukZPl0tKdXp5GBHHMrt}husuZSbkRE<0Z`8M zUYuyMxZgX7&XAW$+Er%Rm$`l$M=F`|BWf?t>MmDsOqHH6q@z{;_3gk2Ly=rgZbRr!aC zj&-IT*biwSC*zpGk&6*z_8%9JR>|UhM&iuDyrPyV5r3p6_}6bhHFN(xSK%T+w$SQE&6XEO5hqa+^VC&$=dmL z&!SJtM#q=UISs+ngKdCx1Q_*af4k%cB8m@+uj&)*DFYzYt5dG>gFlKQtJ4C9of<{AE9B0*#eb?f6C!KB1^*3;JaBp0?Lme@}g^Kj5~9$b?B*f7Wldfp;=Val+B@`Idh-XiBMz>N z>RmIUBB03$M@0Q5?H{dHQfiU)Bjr8NJYI92W2~?Teg-j|D~JvHP_6GzPwCIl>fq~b zRVTci3%_bUF&^ob@)D9*y2JK-s#v13+0lOzonJiQ3~9jRk8WLI!Nk|YV1*Ub^_pVn z`9W4Ff75>A-1FrUKa9ph*;}V&P)$^6`SX?>0J_fVi+@t`1s-lrRU7G~hO2uy{gxYZ zVbp`1<_8Ss9r~wdpKcm6aSg0_afrM_n^JXa3ID1l#W(lDfO5Ko$~lMJE%dzLjpUf3 zt7tDUm+u;=!<4;Nd9At8qqUEBQ(AH_a1V)QfBW<7Pd?%jY;$zB*EB6}6BHPnvEc`F z^jcO01lh&ts>u(kSPB}cgv~NHps)pf3=(FID%+x>3~MG#ym`){=C%6;;Ir5RME+5|%3RxaNZ_`6%aU zib_`W18XI;7A%l-y??ZB+B}7-rPVO8>@yx&XY@d(hRbl&mre->=hJNWwX)ID@?YllGnnVW>ataKY%FM(jX zd3$vCQVu7?tPR?v&%+E`G4j<#0Q(tvWP$;z%7EcPz1rKrUtc{SP6rha_L=Y1=9|9g zulmdh;t1^3h%R-f1se@tc2^2)L9iQ=xzIM3YOeUgwNk!aAj~6Y;VYcl;m2>~f1r9J zd}7EM*uoFv$<4_F;rySekZ-opbf}wEJGu@W;*Lad3bRED4Egy@O*PSmeTBuhm^D~` zZN@oK$s2rQG(V~;P$y_(z5vyF8Vv4@n2v=H6H3SIW`MQaG0V|*%&p$+W%ITr@gC)G z8yr9XaRY)$=;+aO{R!<3J(B<>f8mFw>$P{M;;ZbuIju>f_1(&`iI4V$N;lG(Ioa|4 z#;jTK6YX^9c-`4AzUtChl2J-e_gWvX1#~VyajRdWyflc4FlS!^&Qi9(3y~bf?BGH; z45_IqL+cZd9s*iLy=+N+HsI%aHzVhZ7NoxCq=s(=pV;%C@%5eB6d=sze|6Ev2prp2 zE(v5W)+tZbrH62?x;Acyxfzab}Zhajq=wU0@H4XRYG&pEE(1( zxaC zExc&+H|RmSSaqCU2^#3BBeAzWQ?+`uzx5J~o-)yu?RX4*(_RhDjH*rD-e5akiMnh0W-g_2(cnx?GExM7zZu zKn7a&M}XcdhnUmtf4DVXrnWm8_P4ik%K0=z$u?mX68Vt%nTWcQ=@&N6#V?f0Yn*t< zZ}fv?OOrP(KLCqFbKVXPq^YKwrY|Y`KY-D@e2*A5sYFZAnKT_{ZGwoZW2r(J1&4Je z@zcjrQn*hTD=&WO*rlrB_T#!$&2Ejdrb0N{lKim@*HAAFe|Vm>L054TuAf?TgUpk? z=ze|VcurSXOA-8R(SOUJH8`A(sS>Hqf_y(ZNSn7GP$C{YJY|nyU>ClU&43WdO#dTXJR(tZvhdXh>M~6JsK5|~%rWz9w@25jz z>!y&h8^Mz>lAEu}=!Awc9KuQpMF~4L3)&wFAJSHGkvgu5QLy zGfRB`FTL9uN~lBQl9zNDRdQNv)I4D)e@6|{bv70w^n`-#3Z&y%1{YnX zx5_+uo4&8{Kn3cF<+jmV7F_mXdJkVHNx3Chp;iLqY?;c;4@XXD!8bA0JG{>DR-MPX~RN95vYqIQ5frku`|@Nl@WXI#ql zZhpMNl4lJ8 z<81p9Ticb>f&Z#^NKtwq(#R!vK?tTnl}lUle{$ie5z%2p@Kc&$(nxKhoU&>6<4AB- zW8+TS>S|+BLtp}w^LQkMqAA!XqKfVirY1CB!e0w~=~HSZrbOwDFc|7RIVOHd=#hUdQ(WrH@-3)KXm#LhPT^~xHL&*aa_u1AlR0N_ zGl>usdOW3=J-;T6`?!0F0I!#M+$?W5QU*w$C4pos#Ih>Rn{5=SU;56=LGJ+q&BIJQ zbHDk71z+)DYu;$KzB$EVY`1hv4z@_Hf36t2nCORJDr_e)L93W#xNkQd?|rCwHJJ$p zwgczb4NN)Am;_|Rs1EsrsRuEKo5>Q)6cQ7{Nq6zAIY=i>q zNNWl2M{>Bw0uO9uAFHF-VkJe4Hd$Z{+F)VgRDI6#zMT1=rI06t0YJzM(^lwWJ{keZBXxL}bD)Q?S%a8GHStP{c5 z@Xe=BgnQv3wooG<;ceXUlTF5Yv>FK)`wDyS%0akUATND!9FMAhl>=ilh(stBVER)v z4(zI1dy>0F)2%ef3_gS2FTL)Yz?3EOPEy2FkM+A-x*&-dG!WlIA8i5re`3cFR8h6V z_b72`UlV@fIk${iQ}+bV(G4#NIl}kLv*0foRD=8Pq80pH6UH~v5M;My$3hozqVy2j zZPi-~=-3)M<0SKB8pYYTSlhQ**iDjmNG1+pQR4$4ZqPAhwXwa?iOG>?Y;RIK<-rk^SW(Se&nqA83wQuCBp3e>rN9eX?@`;}=vq1dQES_hmh3qJb|qMo7X!!f7>~iCF_hy|F5I zd}=HO=xEN zC?$fOObBIz7u`9CukPN~NSh8Jb^bS$!P&KmY}j3&_x%TF>8D8e=0fgEibSCJ>^Kw6 zYt0?OWU!E*w_>_M>(6T^E2cX-1IRL9-qg3dR2!{@ZEr5YPsiAqjl=G zb%ILobZ=~KT*QeC*6RA2Y@;i#Y;k(HErmY|q1L||f74`UILNFy+d?SCh*UX$(dn`IgM4$PKVr0IKMD4y z`kv*Oct|U9QK_0Fv^o#Ve#G}y<3vmui&~lm!Lc23y;2%Pud@TZ&lAFPRklXHoF9wk zAii5>f8V(eRcJ(CqHuCB-4r}CZQxW1HYid*Ja*lcZw~-sv9D49*{l`Q{e&NYTryuA z_v2uZuptSi;KHrBe3`25y-1VJMP(6YqPw}9n;TiCH&~SN1fncl zdpdEBn)|WD(KW6(5hXJ5jlpXX3N#>*#?-NOXMtHpW2fy^YhN7JkQ zt?i4n$9rhkN?Q~Q`M6q8Kx+^<@p1xft(+uyyq$CPZnEoQrE>F6YsxDvhw=T>9R190 zRPG2GCK&sT0S|Q3;b^}XYO?7SbMZbye^)yW^ImSKhPr$U4k-xJW-7YMa7SNSY|loVNG6Wxd{JgIa~Y0_Y;_My7F%rAJQVqIXzXKP-Pv(&wz`{o6= z*{sh<>RZ=SVP&)Fu*+vr;uBJQP1fD0R}eOm&GWs5SEyFq&<9?IbS#N^|jUvD?;s`vuUuWxG%#ue^rc*bDhDG ztz4qY;gIVFDr|VOkH1=Y`8$6i`Cz=SsEuh~go z9g`sf!UwOctdaGMk&Hd?g6mq8rI~-2*NFCW-s<3seOl~^XdV>`)(8F~zf5kfi?H%4 zL>b+dhLzP`9b!d0;N+nxe`-OuwYEmp{^0lM#1Q6FZmqOD^Jt6A?p=>gmt81(YZAz6 zVZxh1lnyL9n+I>|VngjG?0b?ai#Pb&oWLC{rLFcrD2f3oXN{>R>n;Z@xn z7LhV*MWN2XX3lm1jJ$21QQww$>>26^hPk8HHf}_BO{-K>qU84d4%-Mi z$C|sqLwKWa%*PZ44Ld_~F%T|a1RI8nGP!6+P@i@0W491w11YHtl#KM#^k?C+oPEDv zid?FW@&?v@k#Iozf36+~Uw6gRqp7S|xSP&9&Z(F}CBhIYBc96?LIfSS5-IS)$tM|7 z;qB~P6)sta;IW$=+!w6WZhxxeE1I?u_%pgA{!N0RbHlA{N{qD7{%Zc^lP7`xc=zYF zV@~B=@~_HXOdWm$dYH9|+5LE20KJrJ|17*(i~IF4`=Uzhf8%h(B=sp#={9$;gkZ>E ztk1OPiRwQ{6mLS9U^UyF>NG|vIAP))n4Zokt9~f5!VgpXuFfFzqai~G{w8jH zn2b}yGU`gof9?Loz~sQW&U|?Vq#)1k04$^m?fGKAUMAFac%S&j zu}Ukwb{)6mXRt5VNQy9$IIHR%SgGDP$|+9_x$_=&;2xRj6h&`PIBV=6tIOhAoB}D= z#wq>VMFNyJ0%J1)h8|0_s7D*0t8{G)uA)skEGWeMe@ycecyAPNxk!Syn`TmU&a^i* z+PoYPa(Beqz&y}2P+O||(sV#yonDRlL|0iVAT%(r@Tq7uh-GgAUAy?&Vn%3e%+rU7 zm5FFKXlj+1!*_?R73r%&^|&neD$-Y%9=0phwRASIwHwPhPO4RnD#n_aNy)Fb{+04EXH?g2SeDb0+U$yI-scux|( z82a0azy;Qcm-jB*V)SV=6f4Ld$$K&DyB;#G5{pX00o)%hHoz?#w+La!PmR#ed&5$& z|Ipm#GenGG&}jKS#a?84Xm`m#KAPa~W8IF!f1N9WCF3*_y3lc36@bf%bQGzX`27Cy zCs0@^V?xptY}k~Xa&VFJ8fN`AmsY>Q2nG*@%9#X&$^gxm{8}WF4<7b1DvBZ9m9jA~8U?<$s|@%T`$d$66+hF70#XN%xx;)+N8B zf1>+lfOp`>b!H-h7F~qU5Gk$820mEADF7{mh^xN9^vZD*-|vTzuye_B%J%m=13p$kD^N z%&At)LQeb zDmq!>W#3@It97hT6x1<4%m=G_{hpI(AAR*N{Nx1?Olnhf*JFLjEpW~o2esQ?{q2XdQf9Kuu zGzY6tgJ-;@GjJ%zH^@tv}o;n z(f}p{9u+4!%)u^T68+jzDSSx?e}A-tI(`3L;&Jg$dO!N^{^P>iQS9Pg6pjpz*bfBa zg4oWlY)ZQ)gDxVI&&U^ogPh8p+-)yWO= zTBOj|zE&P|b!#4+fMf1I09I&Hy-DwvYE+%Aftkd6UePkuLj(rPti>&cg)?4NNJ z9~HN#g#TFalulcT0}=k&aPA)|(YPW(+Pw)*-XH|?Evuk_*piy;Ci)^gScB0v5tcb} za;@hxEeb_v*N_}n$jf7x-N!tC3G!OeF!6)rCJn!+7`iAX}(S;hYYeL zaA=zurG(Ed@+T!m_#7OLU4rK)4ZGSTl7{aCIu}QXP3q?7fAZms+QA;-YE3Q$xk;#K z(1WM^eKgh4GljMkN9H3OJqpfuRj2%~$hZIyG*3{xwkQE{qFS1_!|dLucNlvjEjJ}U zr-AG?4xS+QRBotWOAf@DI?eiXT`92WZwWH~rsRq0aqkEdnJ)Rw)qED6Venw8c|2fM zRJ_G~Y%&d`e*$-K_lScN--23tWCThg-6M#jr*yd`Q$PJu5$hmrpSMI8SHwO&PaxuH(dbVOdvh>SD_rQ~Md zFuG$Re@w&XBbtYZ9e+J;TtV@6`ywpAkD=IXYhs{IeaIq)0LSd@Ksh`nwUL3Yj zR9D&Mxgk^PN;wGg=?^j1Z?Ad-Ro2o|adJ8%WA(b^h>9jj{YCh_P{(a047 zT;%OlKroAqgvA-}8ByADRZ-h^VVe+sj%snH5byn2oU%s~v9 z?z+Awpf@NS{J$Ss6GNw}*a{v~u_<~~UsWHK-Q!_fKTkGYS56zw*TAqow^l8z@3IJkq(Gu)TS9&D>92iKehx}+SkdHkD zxf$7>Hy2c|u@N{tmLhrfWjZ7!=Y8g`s#61BrxvCv zc!4Td-mEf?hp=Vzn^?hobJw|9f8JQ?T9XSs2ufhbt{)G{f)~|c+wKYnBMeWT^NLpD zV4cd8j~Fx)25)!tp0;XeiVl6|Wh)vx>2tA9>VsJQkY z-_Q~?x}Y@qRD<5MtfZOeC&qEK6RM20D(aiAO}YU%5(aSJ?0h2b;IKbFf4Y;vWN$ja zs3AZwEivs9Jdj(_qpAm{=y5&Bwv}evy1kRfz*M5*))Y`#>>b1E4fG1IArJWPFbUe>yp#rS9qFSjX+^>=iztrgiFWF|9XJoX2#eU0Z{&Cfnm8 z|L=Mv1RU0H7HsqWDBmIj>}To~*#_1dzDA0XJgCM)Y&nZ4R#Z#NR<}6_%_N|G)RzdYNjS4}ALo z!M@clEUR3}!p+VLfAYR>HZK*6vS32(eTk?Oe8C#9?VS8c^fAj)Fe=Hi#B3mST97KQ z9+W+*n`f4~xT#>(&c$w=LY@^@aQ&_2t6K?VP92w%;s_sUd}atlaMWNUl%j0(NqDpT z!IRB?iaiAjKf$0^>?;a+A(UYcQ)Kl2+YsM685qv24of1#f5LGj3k6AC8~};Dqfg?* zF!cZBNt}<%IKPIhjlF7MU)9;baZBe-j8m1NJr%d4{^!oz)9Tr1v3X^ur9{XfB&__0 zC|}IwhQwt(+qKXWv>>WqZRVC%14DvGBRfkPKdxnq+`M@YO`~{61DuOdkPjNwkEmIU zRR{``>sfG*e|4ay=~Ft&@psEZkgap`XhdTLHDavDO9I~a9FLEmy8{&u$L z%QKd6L@T!iWWmnMR5-v}AFYJ-^ByFupSfgJa}xp2+)fX!<$JIlT07<_=8i`nL=f^Y zhx{W-I@nYD%cJxkXM9MzR_+P__YF~bM8`spxY>5cf2_6L!@=>iZ%-odhpCn|0wF!g zm4Ubl2Z`l(5^H>dgd@(7^kJJ1t`_{-LQZ@pesO9kD{fL`k;x6&%=$4jU~EeoXQ&yhIWW5@ zXHlM=@dpS@#)X^-BJ>Au6&$Vj|D8%8<*Y|~2L-v`U}7MG|FQ`#A_ zkRn#vzAeTRFynT~AHfxq1CH3$0ej`2!}RGpe^OG*7$N!HP?3?%l~)*GeRJ2(a9Z@$ z^o;K(D9zzyY|lQWbgpXH82>drP#+|9Z=Ch!9A%cB1Z}Fx8>Ur7B>T!qZ|`y#QCpFj-}x{e{xPo zEY>-q>eYPIOTTEJ=ttHMIds6~y_%{9@Z%Xxm0|3S%y>QD&T|m==vqz)cS_r(h!`K7 zB&D(}8(vV2i(0e_YNJTUHsY*UEL5;W(h?*ye`q~TPo0YzxWO0d*g#2+$pa}CzW$OGVZMdVWve1>a(xvm91r>}+)VL9KQR|oz9Dcl`Q^pEqZe(+G za%Ev{3T19&Z(?c+hhK03w_k7qrD+8)G&V9cmkHVe9tAKoHZnAqEZPFe0W*_e2`PWw zTU&1%I}U#Luh8Qz4(ieU0u%>m(&lp7v`v%V(FezwB*r?nkL~oN`|FpaG#+^-lhjG} zpu0e<(P$`&{78}1#5RmG%>rk_FsTI-nkl82RLt1TqOsNf$tDra<(b6?lbv30Dv5 z!1_ukW zg%TcDgpNYn;v?fJWou8au|K za3GJi8hbcqgYP|k+AEHK%t}_g9h{fFVtYDSmXqazS@6quz2aTDm|o3?NpYK6&8HH z!;0hbdda>ev2Ipav@{lfzsj(Cglj7bz9=gFGgPEQ&q~7_{UnWBbhHOxA$1cADSt&Q z{(Atp769gd2>^(;(mxg$O0>X#2){ZQwbJXr01qWA8ii3e@i7=V9|BU#W0d(H3Lmxp zjh&QXlw%6#u{t8{27 z?S4I_@2Q+=xwQG^T^dSlqwYv7b^N>wn7U!Cn4O=^=I1Bu>q`9MdHH>RG%VlkZhb>m zUlq4~DE)=#iwCulPu{}GslhppIIa3nvvbuC%n8$nGls$Qhlf#XWZ%OqFgyH#7~O8`_}vFgX{;mTF?6yu5ji;YMO78cBB`za6sZ~ z14M#s96F3bRlM$p)HgQt&4b#+GizZbT#u82trkvQsB^k_Qa815zQa#c>h{)qG}+Iz zi9YdOtwAfs)+;nNoG%G^SEHMTM6}7Rcbp~!tpSn9B696&;XsIgqzQ%f<>-P2PnI)+ zBiccuyJ-~8p`$W zmznhW`Ds7FH2Uw2qt$x#NJd=W=cc`pRL1uRywjmD#72|kyUa8;RxV^*%|RT&_b3+e zlotBV3EX6oD1}FVE&(^6C+iz(ZR7(71?xkf-e7Pfk!W=XVGWcCF<6kG+TkSHOUMAk zlZHgVKpA{oN+sWbfF|{wyD5hZ9aG=XR_H5&D7JFtI%Wkt_R`))PY1V?cetHVsIP;x z>!l!mk-`Ljvq{$)%=2!^V0r#LHj$}J+(MH;%q#B~H zaj*>`$y1B~tRfwh^58ZYH9=OeJn- zXj)@#vR!k3*C)49ZmSs0Vw+qZEybg6(Wu459q~`;I?82uC9R;;9=8f4?m)N^pEyQy z6L)1Px>1sj{0+xws3@9K8w{=j8Qmw?0va5WQlnWL%Y8Q5-`>=+fffeRzhb_BQ=eI06N|Kl~^@p ze6BfcBuH)eh8=SuJORVt22dM>GD=g~2LsK2s#w9GBgyREle=^BC1xj*~=gxX2}{^KeHZ#KP9++DY&E2& z(piA_d8kG_TF5#>CAf9;#sCTMFcs)!kV${I(K zd)0|A7@wDm;e0e(PUrE3e!E~h9qIaH8jAc(S zYXBfR*4V|f#Sq_o+5nW>gV|m=I=_HhZ+itUgU_A_e7L_Hj7P&~lk;)Ofc??3y!-%+ z;K`>n31SiOxERdwt>iz7cg6c+P@ELQ;vl0A#hwJoeUYr*f#i$s67njAPm|R_+ zl=H>td{Rt{>7*=X#jKo; z8}g9fDDWQd?Y?>T1r1_4ysNT@;&&x#{!{kw-Sz;*)->6FC~j`QeR1>|GwQpJeIi}8 zQKWnn&vM338)Y9yJKd?>pcpJuF*PFZ zUKIrp{?~NeDAesAAHVqc0dzci)fFAAT-i`PDA>%c{DU?|9GcCi zfb-(&1ldK?-;-EK#Ctf{k69Q?BVY47kQsB_$1FPYUY(vMU!Sl_A7TgZ|1xnWJQjY8nz z``wrOe?-MPj!eo{M<%WwOEJ}{*efa(@Vr#k2_Mf$_0g!AoWo|d-;2Y;qut*Qj-DNK zm=X?uMcU%Gz!m+wS>+1LTw!Cf?A&<}=nfRi3)t;v(|MU|Blt$q?~f0M@89f!I$H;w zuLZy}@wW?7X@zgsvV)Cn7%*(84;nImCGcfkla7!9tgcR$bc=(4$<|;|(s!#`uQ}Ef zhZ98nqSwx7zF6YI488W%V08n$K8{Y87YqD<@dJ?_Pv1{Q!|5r?V>Xwk`A(rBk8aAN zZHGLLx8<>$%hNd2H^i|mada*Yp3Wb0L_pnyu zT)Qrg=S^{p@A4kimM3g3PvfB35U1tLA*@-8*W!qlIPupRn~BpnDK^Au`LYmQ==ipO zIAU{g*3U@|X}}Fy zPTbB`;vV6+S*JFH@ppKRuI0JGRQHH~$IbF`T^{`DUsE8nCXlU-<=O(>Cm=VfzotNK zU(REo&O%^2oy&VfNr@6umkIa~iwruq%q%hBnA zeI;jPac|Kb>yz&x8;qviyy)h8N`5^zRlkhn6f>9 znss{Ki*r{?1I>Q`o8;1%m!a7L6qh#Y0$oKoIWjUgL@+fnGB89kGC4*!H8ev+H8e3o zGea;$Ffc|wAUrrZGBP(rFf}qVFhnvkIYu`%G($u+G%-RmLoh@zFh)LIkr_3ACD1u9 zgi#d6@$*~;V;k#?b?ocd_kG_6qaaa9d;*0;#8;R?N1-ATYa&qyi9{lyutXGsQWTbo zN;DGgb2PvF&pB^y@rsE28jqU2Mq?`Cj6p4f+HtV&E^phA84M}Ox!w7Ma zSV+1@ckv_+;vLg5kt9HJu5=tA9+E;*Ng7Ef86=Z3P};9a8{o$ zhD>*Al|UBnv`Qg|D_TCty;rLY^0TH@4x~+JRRA;pKdcf6idGe{Ij2=+4ct6y)c_wm zTD354w^kiYbwH~gX8cmC0cIgas}W|oRI3SQ)gdtJt(J{h%l4LK_tmoZY1#j_9QZ6p z-In8d%gL_g^vQC5V7Uldt}iUN;g-8eeR-4wU>@G>?rlo`023BJ`~;rVx2sECa&b+9C4B# zRr1}6vbZx`g@@jZt*$6#I2m@a)yYt%GFKE?;-`+m9RV5_gVD*wf0v9;sVDhV0LQ}y z4h*LP=W1sI@{J?LZ%dmMZT zdV(i{lur@6y&$ru{idTCd1N0d9#kAK`1O>^>ZZ21)6}GPcGUt0f&+%1*{I<}LLA zny)v?d-zY7Wh`|VO<*Nhzsn6V##0pyiIu_DXjYhuX}~-Jf3OA7V661FE1G|mKj{`PJiz09FkTKtXLOZOFi(bScY4<(dZjF}C}~?o2J)>J-&%)VTw9V9 zxlW(YreEnJe~4$NKkD?GWeK^C=ghCtLwnBG7A9ypo=rdHR&PEfov}1&C4U+n3XUwb zin15%uI)lUM~Fote+n(2#_)axM#1+CUbzU9V#wr+ zL1C1fswlZVu42mCZDGZ82_Z>@BjXvDJtZT-YhJ4BupMw-QJ01=!d^-Qc9kLVrnPwd zm~4@3B%>M2qRqjeT@oDK1R~?q*UA=zt5v~7*f6hrD(CFBq3j{95+9=C`=Y(l?mF1x23SaN|m<1zKl@uot5uca*QtdCtL_6o; zG1CUJz3P#o!tZnR61>w#YHC|==V&Lz)j3+qb^4g28GX#fo&KoP@8;+wFfx-K+H<}- zM=t@GyWF~aP|}%mv{Le?j>2{gXG^^7WLd$Pe`L~6dDw~d2uQK2~k-`CqzED*5uf|m%|fa4;*MBw&ZtyVJH zHG#DbJA=$P7%DQ4=5|}Wg217V(~>Iqrmm<<)!yzv2?Xv+z!H~;O8XUK1Ol=4$kxu1 ze}O~BnE3DjBev;KB4{6#T#zkD(+)bLY(Ym8H!eylh(awQ`c=CJj|U?ZM2fY9q#!cQ zGHvDHjMA*Bv9z!eRi&{M_S508JxZe6+Nw3mxC;qA<*jJ{0>xXdb;`$3D z`(@r!ii@kx)g7GfU0he^g1w8Ymfww!f78Xq_1o1`cXPUTaaAQQo*=r5tH#*+;HWOH zo4RE#u9}qa!%XJ}LL=3n)Q&1aim zC0T=C=jD0F?$*l{0uJya4eE7a7in!6F5YQy*{UYkSl#RFKMJ zsFLr_d+Ln&brl|ZGq!r#Q)ghYQ*3oUlBvwI9$Dh2j>&bW%S+N;4KDicSfy+m_>kVky48jFx`N0L@F zI-bi0iLcUVp@lonulMRF!^oI@oOvh0R(ze`jc|m{Q=^o#5 zqfDoiYOSb!XYm?Z7S#`Tq!fdcZyxGK%6qtOBE%Py_dW(=MAyNq>8NT!k3J?G({Xx= zcm`wU`*KVO(@*gn1l3TdJRWD#_5C4!(r6VEB#l4&DY1 z@qif2S-dY-b}*WVsc(peAp_U1g<@rPw6U(mOC@1l)6&6nd(hbUfIO%1%4R)ly>f=Tkk4pnB zCfs$x;`Ddl9cBN`aY!@JDaJGh!pM{+3|p2N_AE+g)9g*#n7q@;`9Ri!n9`^pWl~Aj z0IsjVVRch+e>6eDIa$ESO3kq9Hd^5MrZ|-xbeg%1UHaI=hCbwntK>C%M(>V1>vC3U z_>{C=&ORT~xT8R0sY{QAp*?YE2l>o5hg?G#(zwk)l{1!&fOjVo2bF|NU3CMha5P5z zlB)u>9+9{i+2W>JbJx4(L3P&x&uub+caTHaI1Zz2e+dz`Fb5y}5(JC}hC#Hy4Ge*G zY|R1&S8H0>b}$5&qSh2JDlnON3^o@U?7~PPQB?(|7#V1sULD?cvIs6?;R-7>#hE&*>S044@;((SyBUU5n~r83Rd1K%uI!l{{oy@g zPOpWm-ymixkML-h?sqAThYgJ*WdTE2=a6?We`}g+3)jLU>{qm+5#iqb7l)%U0X+K594vy@x~#xiBo&w`b`(_ ze_N)E+rp(zdS5J?<7*c3&G8j4P&0XW*x)h|m!}O}#oWQ=@d&g}P?G^HnX9fnJIoOX zcHSQF<_PDp?0N-}X)?*OaMnkf`HGU1r}j2pNh)Mq0haYatwVFDQXw!OVQ@^w%h3{x zKkwOc7WZwUi$|J@L~r%*E*DFq0B@o3&f*QGVeK@)OL667QIqR*8m`nzMbgKM z)F+*H%AOx}#DEth#JOP0HPEDKjF2AMbG~xE*m6y=?YD>AcLn$N@-QMTHTJ#;!Pf0VWe z?JDlUCNHz8v~bYeJF=mr#2>e`z($Zt%2lcd&o=n+FFlTo8B@C+f7D`dIj3XHxVR5$VWd$Nkan8%6!X_P0#AvguC-32bYqCtS zJ)CrHxJ>H<@RxMfaP_%p?B&M?iVIm5FW=FBClspBwb1hAVkOver!<_rf8 zb7lh^<_rf8b7cbOw5srDirt*yjA733tcE$GcaUk$FyJ(2cEE1VFjb~GBN*LkVNEI- z9Wl%quG}zZE)_W1e|nlTJjG$o@DztRqxYU^&hQk6Im1&N=8E3+1%Ia4%^A)Z<_ynj zm@}KU8s-cK4s&J)?B)zpWtuaB(XAHN$db_!!<=EtO>;({bf!7OQyk_DPjQ$l`nVJP znPN9*M2g*<(JOG8GaNX~nH{j3GrS&$Im1&N=8QfY$%`n$f1(%*rD8EqFQGZ6-kLLU znlq>Pn4g9@(-|)ZU}iotxR^7FL{~0NH5@WaLDu#lq{oL^7IRC;K}qYz6DmL0M=4(^Ejy$2wd{R zoXHWimKMZ*6Nunyj;TsSi0wa+MUXC6=2gB$kHN|Z6c~q!K^x-lC!B{ec z(s7S?|1B7=;iQZ=qPqB@LxwvLA}cP*ctle?T1K*uf8_AKT&8|$Wpb&sa5FPG#2!o? zR&mQ37Ab?F1Nd4PEDjjDAJ(T1d+78S9BP~=SF369B3Pl$5F=$!J$ci(-)#X&q@;aPM{p#2qP@MV(mOTuVVwrG3cqRurzM zNV|(*e^Qb_EL|n0ZFNSU9U0`ZR%kIv_&y|3!~<#wST|F|i~;vvR1z=Hd2}#j-V;XCO?5NOImD24#Z{H>Vn_phyXn%EA2ocO3^+}TtPmY3Ep5d{A-t+; ze+%Nlfv$bP-3~U7hsK?k4M0XPVlK%E+Xu1}+vZxIcm;o^NF5HZyou^SM8b7K7+DR= zdZYYUas`kvre(dX#x$9bt+B4gR1>-1H^D+2NdjHzl0q3#t|g%FSrRr>yvi0I)6zS9$af7~$MMcDghmgI{CUxr`^t!s8ckEg}v%^6zU z6YQg*Yl4^TNal|t87Ai|He^%qPcupEI!xInIW+5Sdev-L(Td2Par6ee9DU;0tKNps zrSUGs)vb(_>+}(}gwaQMl1_ir>HBLeE!Q4Sgh>zWIbYq%)ETy<%PnC`v~*@8e<&q? z>Zlwr9A~P7PSlDsBUUGfP#>^1FnNT#$3u@?9AHX}_SN%kvTD9tGk32EuF>-P7>xzP<(PqNkOFefqZY!7?B<+@_qi*cInLn>7X^7lV#i~~e_g)okaPAl zPb}$V>`M-qIbOObOFkWk5ZH)vzXf_k!XZOm0C75JX{SGdg_h6b9MO8oKT-sv7}_&M z$p{(a(6FppupzRkXr#}q6787707h)3iUy=A!TSIl__*VH#L|KZcCCCaPum}al}qm; z8R#U2WfGkdm7IoJ34Vobf6yJ$JrcvhS`63 zu4PVw@wCT0ZWwrfAt83wwQ9Fn^x|V6*f7pQdI3N+|sZnW^ zFK0Y&7^gwK#l8RKRCwAa_B4j<=w>$JTb92YIZlcn=_rgZ9XVZGA30i%U(fj58NH(m z1ZTYej}fEaa)e+!?J>P^IOA^2DB@$L9b@LAtzX6rM~pGU5o62i=V1KC1ZXkx@U%rzfNij)9S~=Z84u-f zAeo9}#icdJ!*=MvfY8-e0fv~cE^c#-k+!den@3<|c-3$0BTNc-)vNse`*>&P@XrC9YEX)O}WYx z(WA0ryy4)$)7X?*kumSH+4cn=9PRc?mO#9OfUCwkV7HwGkTb@?(rQ-Y;DXHmyPFEI zs$1x8H^lp>qbi^Zij#gS)xu1=D&z|;K@}(D5#19Z0|da*WJi0w(RX=LRNbj&1%Zgh4q<6H zA|)E-(Mv?Zx4fX_Q7{-4t>D;GgDnC<8)b_J10@3Y>|557a>Lc*o81Pvyu=pT2Dw!8 zy9sf&2D$u(^>k`RdsBlik*oeDwQ$nUJBdpmD6+324h=6sE>*@h1eZwRrf!>VMvcO? z2D#MXm&l3tK`!sB(#Wua+aQ;^Dr=C-J7u?p+%oP0V96ktj;vk#=3myl`TgJj@#!O; z1bFxMVEMz3e|`JYr=Oqy_QTts|ML9d!w+wN{Ql$f+vk7MFTVXP{{Qy-PoLlXnhNlT z4?lnW{>MN6@Yi>5e)r+i-#@+!B?L-1HO{Yo{>x8)`^U#mKfZhOZ^6ZBaV(nx03V}V A*8l(j delta 4460 zcmV-y5tHtq{{gM^0kG|8f9%+C8`1rIMFPxX25>CCAKGS>UG_m1j$vqwu`I)q5N-VL zsl#rv*;U29Gme!Af&kTnZx+ehr>gd5)gxIKB6byX2{N2I(WTWBMTm9sz)YOU101oF zA5`+yi88?%&cdVJjIEw1Wq=I3*bFk1r5q=U?D1pQfsX*~i^1sRf8tBVr_`OiHvm5m z8vq#g24J~&2P6O!BCW}id0}+UkRhs~5=*y_=F7rrA@g0@W;s=Js0Ca=5B8wbW!U3~ zFF{X0B1riZ@!AWbdU|gH;!e|)+GD8}00=fUq`S-+!^71a zewVE-oz>z{vvgp+z%&XQR z1SUOLq*}(5rB&-vpl$~-gn)pxIA)95=ndQ6a=h{Mu&H=3@Z#_&&nYg7!;8|_>baV? zv;xRpFBS|=bO0a%a8)A&7Dkc&qgRRlbYA&Xsf94T@ErPmBI*qaZO(15Q5ZsJm-(tE`ip@CR? ze{|Q*l7Sx?W8&KbjM&Vf)S!1%azV}@nH?-fIfIT2HykAujY2ab)>ZR^N5Tk2BgI-m zQZzDInRaq;Mrp1|lg9IAZsx$9+t$kXqE@$?t0piYu9w&=i7Nei;x~a{uPpr%hj0mT z{R4`98G1^AxawRT;B*afoxufbh^toLe+9-C)69C;&gg=>hb+LRN-^`f!MPA(Z&2pAHkaccen8-e`HLP zRxI^@U+CIS>rL2g3z!PZ6=VhF3bKZB-RKhKs?oJW0CJZoR|wohxoRC{Cx9aIRfm6X z)fLKB<)7w9L%D8riE?dp1?9TYCCatY6_o2nmnhdZQwqv;qf3-)qbn%ajV@8Hjjo_v zH@ZZ*HoAgxZFB|Yy3r-dwb2!nf2&5xK>?J7I>vjJ>Sl*W?S5@G& zzBQEVMwcj8b*z3}j+Hu38p>6rvoroI!%?p1)A6lGLR$UJM~HRu2rPCc4+!8+e|}KOSHJhv zBj(pxc(j|b)n9w+5m;;&o54r2l;gJ^+2hBqlLKudH zdO-#q}y9EEgEI1{9Fr8j!@T$*0()!;`|CXPsZiEMz7M|`gui;!0q3;MfG_xP3@WjUo( zYsKh0i)?6F3_svVDF!Lu5b8$Cdq6i4;)}_9AA>Ps=^$%5hFZ|0j|o51ae9hKgK^aR zycvW8r?_u|YG_ez$(b~MHzjTY!x(r|Uzn2F@C<1aJpzoLzmmRFe}!+6d)%m<{GgIw zSL2tBjChhjZE>=%$c@Lz#TtVoB%S=&OD`=t!_3$xt1*wk*Y>3f6oUvI50H?7)mtkyl?k9`zWqrA4Wm91sF&%7PJK-;BQkkbmaJ< z=2H7fTdGwbtamH5<_j{dx~@hRmrTSc4saSO=TNI;+@l!6_UQ*n3m0l+kmz}L^zD8@ zAM!OsWu_bwrl$sA+o}olyh~}QC6jFn?Zk@1V!j5=Yn&| zuGR~}Z_!yST7kf^rX)!xV}-AHyqZd^1CvPY3e@3!JphV=ESsJ!5xQ0(UldXZD00Oj}OR@A;EiIr9leb9B8NHz6<41`` zl;db-y^->?s7f(Xo?4lmQa)V=X{NJ~Z}%r>qrjYoP_F+MnGe72$-y8i_qWPcq(HU`;WN2V7coFu*C*LpFY4ym(( ztD=0QNDWD$1DtHcJR)5@z50&!Kj`$gf1#rSkelrn;GvxW@e-r%fOJLRRZgef5JPmL z6@i|(e+_2Kl4#Ut(Rn2vIG z20afNR_S0o_PRCJW1m^cd{{7WucIS{Cxu*#TObdDJ|3^BRxRggB|bi!ZS0KKhLyvG zpSCSP5uMRB5LONVcd3y9Xm*l;D4zIXLoyN&l2Mxyh4tK7h=^94*dk-f_FY}X*a-$w ze+rUC0R%!xDX7+_mpm$AfiP-mI#(>5^uTOU{hRHCH;P8zZJnVQ znS-Sm8P-L?c&U-$;`@jk`C5NxwdZn#e~~$+Uo|p(xQ3D813Zk3(8xHil_{YY7b49{ z4TqoCQk5EXuS>=#tr}ZiPNKpRhC;9ov%`j2FkWMij%v6)!Xr2}r|p;7qg`HZt5ML^ zm8IRZOG9LLapbGX_E=0@U}2YT3+{I5wqXAPs0d!zB`Horipzv6j{f`2bUHIZe`x?Z zLu|FqP`5vu3c+~k_8(J0`yzSMJFwdRH>=gl5!?S5Wp(@W!5Z7YGsN~68h!g8qj*19 z0a<`%mbfwS6{>7eHWY&Knk{;?q?I-&BoCf?KYyRY55?x2{obZX9*7?UpI9F=FkweQ zxfYbLHKKXPT6~Wm61@q6@s?hhf3&2I7Q9&Sc?gDpn6^XEBmC|0b(iKJS*MP+CK}PB zn1767n4GU3E{H?$pGT3QA|B4N$kDQqLi*IQvGo*@HDjAa>yNoXrP*A68Yxm-`OK=x zb^3tTGx~tgclv`)Uw>+CwRXrmlOC<-eC12#u2Am!PZAc_()%yD^yWI`}Y*~wPXrPtt$5gN|Wet?ti zVBD`5qo_od5f^Kr!5O0te;UN3%r|yoYCcX}!@`rPI;jCB$toHl z!(B_!i162NMruSl4$VA>U899xH*#IMgvUyf>k6Q!oT4%$w5I4TqqM4K>+?KTZHrER zu49kJg6*OOhqb=9Cnu`$Rk=15^i+)f8K_ivo9u2<=|)j z{pXvyMPn;dJzWoBS`dk8sp#RYL8q}$MEnT4(oTwnj?Zl^S||Bi55OoUm=Gl+Wb8w8 zt_qB3T#nf3qpDO=ITY!(kjY9aiZmpMVZ{|6R(zaD(FZ>GLO!+lHDsOXen4V4CTWN& z204vpCB!yrn{Jcte`w*EbupWAv<#Mk8@KvzWool`me z=LaDU4{VyhIwbE`HNKwlr8B4@5&lF%gEO8x0~cX4C7<)!&^fh+sxW;(*YK4&fMiiB%AXGA3O#oFaX(Qv1l6%9n) zaQN24HBzEo9=+5k^t^RJsiR;sDy^cmT9H3YXwXC1BB-_0u=omIr}=oc>L>5sYe($sp)}I$EP2Edh_x7rw<=~dh`CfPfu^2{!M@5n{V;&x8HsKa`$KIz~4W7 y{Pf-XfBp2s+q=Jh`26!H8j)=8{_IlY{ORNOzyA2kr_b---u(xs*Ll^@g#rNa)R;y9 diff --git a/hw/hw5/hw5.tex b/hw/hw5/hw5.tex index df873a6..391ff2d 100644 --- a/hw/hw5/hw5.tex +++ b/hw/hw5/hw5.tex @@ -298,12 +298,13 @@ Consider these functions from the set of students in a discrete mathematics clas \begin{enumerate}[a)] \item Prove that a strictly increasing function from \(\AllReals\) to itself is one-to-one. \begin{proof} - Lets take the strictly increasing function \(f(x) = x + 2)\). We can prove that this function is one-to-one by proving that for all \(x, y \in \AllReals\), \(f(x) = f(y) \implies x = y\). - \begin{align*} - f(x) &= f(y)\\ - x + 2 &= y + 2\\ - x &= y - \end{align*} + Since the function is strictly increasing, we can assume that \(\forall a,b \in \AllReals, a > b \implies f(a) > f(b)\). We can prove that this function is one-to-one by proving that for all \(x, y \in \AllReals\), \(f(x) = f(y) \implies x = y\). In order to use this, we'll use cases, + \begin{enumerate} + \item \(x > y\). Since \(f\) is strictly increasing, \(f(x) > f(y)\), which contradicts \(f(x) = f(y)\). Thus, \(x > y\) is impossible. + \item \(x < y\). Since \(f\) is strictly increasing, \(f(x) < f(y)\), which contradicts \(f(x) = f(y)\). Thus, \(x < y\) is impossible. + \item \(x = y\). This is trivially true. + \end{enumerate} + Since \(x > y\) and \(x < y\) are impossible, we can conclude that given \(f(x) = f(y)\), \(x = y\), and thus \(f\) is one-to-one. \end{proof} \item Give an example of an increasing function from \(\AllReals\) to itself that is not one-to-one.\\ The piecewise function, \(f(x) = \begin{cases}