From 9cf3d8e7f9084e7ffaeda0f93d736c5b7dd49d98 Mon Sep 17 00:00:00 2001 From: Marcel Schneider Date: Sat, 13 Jan 2018 12:47:27 +0100 Subject: [PATCH] Schubfachprinzip --- DiMa/dima.pdf | Bin 46826 -> 50066 bytes DiMa/dima.tex | 11 +++++++++++ 2 files changed, 11 insertions(+) diff --git a/DiMa/dima.pdf b/DiMa/dima.pdf index d10d2f87ced9d054b094556c0fe09c5982aebfb4..7cf209ee7664e55df17897ad53e8539283696753 100644 GIT binary patch delta 40896 zcmZU)V~{4%x~*HbZQHhO+cvw*uWZ|97rJcQc6Hgdb$ac6J^5CD-oF-z{buZAOPdy`pewd9>#OyN~b;UfdlFK z0nHnj_3#z~4ih+uL_gpv2yNxvBc0@C$82oxHmPR$cn1jBgbr+z@A#7ovU$=lT8Her za(HlGAB~vd2EZWLO)vOeguyfb`6sRQW50B6gMrdAwAI_I^UFVN!H0Sao-jeBTh>|w z;LY~U!Bxv2TmJU>cjDEX+xjE{#CI@}#TL(BX5-4_z3cPt`2rn3#dGw1x@UqJav$jsVy^6~;1GrWmu%(jLNK*1p$)n77_FU8GTfpEtbRN%Lk?^falZ6K}k zIZ{Y;ON2dYrY*_fF>^=2t^|e5427u%Xwh$h1%n#MwBMH0^P3Rzhw{e9*O>IEs&4a6 z6q(95(;3mA%H34tMa_L;-5A@Ad)VG~PVZvc^q{Pnl)?8agIRLX)t*P)^VpWj0CZm} zNiyyJcbDRfR46yY!e@O+n#G%fF}C$DbPUYf6L*zI9jjsOEU>q#66~br8MGd!Kfb;5 z4u%%@*d+%6Et(Qo2W$DE&K$Qj)am_ZA}mQbL&Nh!AgSSCtlb#Oa%L%_sG0K+3Ap+sI!ik!{2$rOiF_ZFcozZ?8XTW_ak}5v=HnxHuf>B z%+wpU{nsIFV#3@E4Q-72jSl?%EF=fHKkL2IK?$d^-9tZ zlL%7v>nUhSDb9~%pxOH+DI9!LXUD9SWph_WV&DA3yr^Mo&urD87UXhNxT$50LTyAJ zK@L4L$fF}kJ#2D&iPbLakAU<_w$(L~lNkYN`$tk3& z0^yB@6XC@_-LRaA zkIxPLh}$TRD)iwVZd0f({u=dZxgs}H5V|nv7NVU`KrDUGga;vTf5*q1@Q6E8@{2vBb=iM+U=v9OF#iGo9~gp;7@b06 zxj?aMz*@=50u3T513Cyn#Nf?ZHNs0~q*Cb~3W)vDrYI~3L07!?ba-?*3#Td}?MGt| zk2K1bxk^71cvi=!>)Qmx_4L2K}= zVui*7+WYlz8Oq8&+Ql?rEC=ZpCSMGLW5#D86OeQ3c&5hM02*daRTJ_Ash!V%qjL2i zer4wZ-?nKTAIE3ge)N#$MT<~#PQJhp<%bU)?rz~(0wZCt6B}?(p3#~IA9kc*>sShI zrDS)jZ`4wIWMjov{K-QV0Lg~nB zouL?>&$-kS0Ce(scmB5KZTq9>HGgtQZ4!BbVFlwc z8u_v_QE(ChNhAz_%Jt3Fql*!CV|B!H?mtSnosd*^vi)A2@n)LDo|^Sy_E^tpiANr2q1=-4)W@UeBatflp0P}u7|1OHhz5s z!R-G_@P9{+CN?l^?8(Obj>`fX# zklxUr6r(Uh4I-_a)!51Jn)L4>@t8#M*j&>dk10YU#zz>6G;sdlrasBG=s10h-Ynm+vM#-BM=4yt%JS70pzM zPHxuqH>kh(9}Yxx-iiJ=1NED#ORocIuMR+*%A2>~!Lyu=-=Aba1`jq9)$*2tf43>As7--*ftmFLvYZ2M+8_J-sUn^6)3NWK+?F`( zsIqWQy^PGBHp%nsO5=w(fczggIpEy83v$Q1=;4rElKlR8sw$(E^3%76CfximXi7lZ zvMxop9mv@>Rt;j0Wz0xElLRxHAyT;nv*urCR)wpbIMp`*cKK>%OP)5vzw?~2&%gt0 z;B$r_#!*sG1TRIr`kr0Ui$12!Uhn+D=w@lJ&`N^9=blJeGrJ<|kF$$3F`1Oa_tbwb z@zYfSg0Rz**DIELVMVrsDY#S}+yGQ@&e=!~+T;pvDHJdHQ-&+#SRS*}fetJ;(x1!I zFDH*kk5%>*O{K#`YTOjOgL)RDr?i=oS(nn|iOMi|68cf}Tu^~CQQG~S+ajYd+0N7T z!{?%3$D2Pypq;RfyAH z`~on4g;QkGBM}IA2-uHcVNkM@@~2G0J}gPy>(oQSNk zXt0K!pj_FcA#|^vJT)?#+<+lqf+MSw{KiS_5QI}0jr+>bjq>0r`)_~4Dj@2UjD#Rg zEgS3+a07XneCJ%34azLPvU#m3hCdmpb=A|-gxe7gs}ZYS&JQc_8t%Lr48p{tsCK-@ zV-8T`3Q`VG!sKF*M@)z2Kn*gM$rEtyA zMdHCj%dAM8D>j|?h>(#nvP9zo(LV4K-&I?Dg3wNQIW4k;Rho1aB@Pk=j=x@xZ5k6R zr8Dt!QuF5Zn$c9>oi%2KIchd5RTx^O||MORS{iF^%&pR5o`f3 zV?YsAO7hJ8x-uAdW`Lo?)f$}j9pzMg_FFM5KlA%tdbA{?uCbILzBHV$Wt-o;q#jQo&by8fB*IYy|1m-Gp|l5n<|^HEoWzl}2KU zmirCO?>bC0M=$-^H||02emQkTT$C;602leRhHIH--O|-59zZg2n3Uy36PVO;V1ILg z@qn_>&z_cSf%8|R5h9Hb!H_6SGx#)=M+wgwy|GA-tDXA@m`Db>89Kxv6V zRqDj5A^;qtZ$0@GG8C3|+0>rWF$-1%`x_-iTzK5bSr-I-V1D$GA=ZAoHQ$cEOu$pR zMy=IrkhnWwJi$O}14P4*`q$4Ua4oR@!g>cCP>G8Qco{&*imuRa$MEGt5(wg4BaJJ) z)4Gg?IKMU7lt288Crs?$O@UK__&|O5ZeNH0aR^4=3Xqq#{`<}S*Zr1jj{GbQ!Dh?z zeK1NC1*tRBZ@dlSy;}7z)~xTbG9vV#=ruV@01%;)txgWB|Gut0vlWXhxaX z86a#{4Er>PBX_aK;WxE`|6a>`vpB_Nk&ITD$K7Y*Ci%G$<*kaqGVA~6>5PCPo01(}TeiAc08n!`XQh2F}P z8cqM(VVh}b>dTkXz6M!z17VyoixZ#x4RGafADx+lF6P^r3bca{B(U}>KuOYbg$zKX zuM;&IaPSUmU1BxzmiV-?T)-w}a9b<+wLo4irOv0}B!XB`K9p|$l^+Y$p4(cphRq5G zZIZ_*l?{mlVMT(lCuRVgN%NXpx^g77qVLQ4571tE=R-0N1wk?b zVjM7gV=iJH2Jrt7Dl0ql|2xFwYH`P3a==|b(CS@dtVAuHb&aEOa|m@n%B7cJ-CVNu zi{2*uAcid2>pl};VVUZp4L^{c?R@|Rmk`1sKw47nmG2#G-aeRndWQk$2r+rL{f#sO zLxZ_;YX9;|S}>R`PE5L9O3f=txg{x`fAlQ}z?Lp?dJ8UFf?5tg%2g%qL zms=M$4ZCJZ04pIBU*$1Oh1;NFhX$WE$XeI{Atf_sW-fztOaDb1;(vE1NCow0l~hP$ z$eFcLRJNP86!CSe|BY@%elychcR$2<2`57-BZ)_MlL7mbLzWjbq&VA>ik^dEz@3x{ zF!OsoVNOaQ&dJCDqo@~2N|r!!Pzi(~;Eic=f(e&-JaPuJ{lK%%CfN@ozphu)O%uG& zj|Lo_$$n0b%1>KI4M;Jdy)r6S9$DkK^2gGJ4;y+q`X%g?6if(&p3BS>|gCU)bz zMseD+nla>l8GE555;!)^60l`T)FPRXzaO-M>+$-D>MdqTETw*7C!v_i-IibiE<$k` zt}xNr=tgX_sf1lAkJKrQvNuyrNTxbl>vXBs1b-c6hSu6T*}v79LLo_pTI5az3bc{; zQ{yrRxftkk2~d0{4h~?e#THp@PJfIc!+EJS0p;F~)J~-3%GQJ&TK7IX)g%ieT?iN) z_DK;hw~Sp~3zuvz_i)bW?FP&POp?}EJYP%GPw-GV0xv383~Fp}mO5lI#b|prwOkXk zl_*&OuV471>EB@F6}mB^AjK*L6YBJ6{V;(uMyOHX} zz4vz4waD;pSE0j}vegIb#gjBm9^fR6ZEPZ$vs|D^T5(2mA8evG5a=Kg&> zOVQ}8Xd|K{l9drhlt$R-8kriDr`$;sm zGZ=dSWQ>WDkiQUwR?8~GDD@?Jk6wHF%_5H@rD{a{cQ65q`D1(zc}aT@|A`z| zSaT5)Hp^NeJ7CjSl*z#8jZFFDR2-8pYYkV3{nzipriK|B)C;fk{aizT4ywQAW$v9W zA_iMpN(8O|w1O3Y9PV&!bC4LF{C=u7P1Qh3Gj)Y@lFmpy9+D7+8?e&}_GPJrvoy6{ znU-=x0bVmNDmiH%?9Lwb{XDEuWliLD3&V0rP2|DQs9xc1cq;B@J=>b4!*RP^2GvSj zymvy?an_yppZDRy3jEKy{+dmm3)wPCIalyLZYx%Tvg2p{D|#+iBv-s5R5~*CMakYg7Tb&MuD-FwRPMJiJD3aZL>IJ8`ps$Wj=TbY!%{nz;f%ii%kaA`U8wr?7Jmau{VtP`sQ+C=%t!YB10(s?*fQSQ{ROi(;TJqbUtE zq=!;r+NHAU4OFO-G>n>((_J)>8BsU6L;s=_#UQz;;RSg{yh1a_Ye~_OrlB$-SKU2n zMz9a@kN~pBh~1Iehnl3p!lj6hkxGX&b6k?QkDkkcQaV?CLP$ zB@Mc3P{QduH?BN=z$K_Q^k^wrt9E+DtHAJV)&OVSzdbKI;)qa-5}azIlB@?gs)SCG zZpF55-`)kGY+C(hT3^)#uM26{=t2!g)j6qkJkQ*0UJN=yTS2&6n2P?N3ZwkDiT(z(!kR$c5i0XBE}GxI->^jUCCS1hv6?R5 zwF5e!g$hu1a0tSH+`qFQpczeQYwECSCV=_llOx;!-@x3Jcny_X4PNha0-0{#hlgaq zP)r#d-B?M%$nSs+LM9&2yZI$9%b!zi2bCn>pdYj(wiZe~;!!!pxp_RcAZ$~m1so#I z`vztR-UJHJ3OIkO5{95jq=Z7q^yWxpr9uvI}3l1odBJZ2S2aWU#W#D#DpL6|8AagF9@{ptWEzCV-Sc5jJuz(udNqf#=w`SZlURlT74X!{6Ylp5xzl^5 z6jM;V@%p=a-qc+;l%sAlcBEO*uml~rU7GKa0o-_vuwA4B`jeU5J9T@&>}%bd99P7o7d-&B_v+%lX>@~!2!h$P zPs?gqJs?a?!j)dG2=I0*>FCn5}$r7omoU*y`;9M-a84cl^5RW~j>$y=-HL=mW>6TW{E4tR$gS!Pph*;pF$^4Hf} zXa$W=92A(Eu^`O%@%lhNhl4{D!)Ez%8BW@ux3E^en+gI!rV@fvDPLMWdchAMS}(Cx z8T*}53NC3YfI=eB^<;dYJtXgd%oZ|Yrx5leT%!chETc=F877d&v_;xl-s|E2>bo6& zCcPAWeBb*N3YadcoS>m%1Xt1AOeiQ|O@X3tD6kU_o{b( z$e>tN7?mQZiFr1fWVMY$=KWfs`B5L2DGy+qho~ z{(-I5@m0x`7H?!H;seUl*y%S;A#Jn9K^s)~3!;&Y@go9>@#|o3U~%AJPGA>y^c`mw zK#8ScD}QCX%xDj(qK(NVCmdb1jP5LcmxvXVXdliZ+FjEvIgkje8Rv>0&T*U3eeAcg zL8Fw^0KiafYwWI}Wl+4ta0uKA?e(82*reRhjQ083Zac?&e1w`H6ecItQwxZD$j$pI zfA8Sg=*+J3{W88YfC*MRcb7hamNQwF(Q#bPs=BSz#9fjMfp%(r^I;@T?mPQ{&kCdP z^O-yrNh=;>o}hDkIr{E`kD2Cy=L9uCU^sO4{L+@WA_%>Z)Or(L=L&}Y=?Kn&UdMN| z0w64Ilxu3e)#dpJhE~kr<_u8T9RSO{QK142l~E0%KJ?8OS;U=({lN@ng(y3Fk#g@$ z+{0@N-X4KhOVk@;WW6vez~K}kS()dqYa}$CgkE* z(B$0jL5~LIKAcTA2C`^(u!QE-Etsxc12n+X5rv+Q82n)bF1*`FR98J^B#Xo?#biCu1=R(pFK3EC3EsN#uJnLD?!@ot2iMiFChBjk;<-31yt zcT!Z}%fsnmpCUV9g|K*!j3*;ad^p=Fpx_8Kq^6-8AKqI#TOx3*>%8MP3p%s11*pC? zu@86ry$T-2tmqxk%*Pk{+e-$ZaB6er;Wrb*oZD|#)BQIeU)J>%L2Q&zF7~R)$jG{b zw6FiFO%8(1z46$F8{s!L^6wHVK*Nma5uu$hw-llt8xvneD-Ur#eR_H1z6^SFY{G>L z9d0+%aieReL4qrqz>1%S z=O;)$r=m{AX2AupDcTT*N1b0vSwxwrLTei;krt}J#`Z*5ok~MGSWY)i)7PL)#P*IN zF37m>u%8r2^%F%1R1{R{gXup4OSotI>33UpKRX|b>n}|s=KT;7Y z2VXFq@(ebPE^Qh!p{|#{4j5J5A%gX4eiNx**3qC!(W28ZZdHBcvbka?TwvggQ0T0V zlqi(=?H2J%Xl!$yX!6=#x8?Qgo20X`QtE!`W`Ysz6QNzW0wY^2Ua=Z=f;^p0Z9TWB zE~DKlkz*Wi_B>G}S&?!s77t5oHzwiL283R0Z&i-L22U?eF;s+Zg};xS9LBUz48s=Z zzwg%uDX3_=qy&K-{^p_F><9KEB8eL5gb*Cl#qQJmzU~m@UpIaGi2t3CH~O5(uI%cVk`}EQqMF8To12-T=ggDg$BlZo0>9Zuw#eUe+mj#{SbxKAm-g zU*vTAJJxI&=@`klCNjFuRS&_CMHFg4w4bqkwgUasxHlG@^Y8_4@eF z;N>I$GM~T?mlO(W(u^!sUzvqf{@UhPu-xrj;#VB0^PmtI$)K)6(I?w@{)l4IdWRXd*YsCq9h2oNs&;O%`p=KqYte7}1gS60A_$va zo0x2rGg3dg?6!V}1Nrv`WOr(>&T~$$Wi!&`L=#jHCZ_-S%g6d(Y^JZoA3ewfxAjHK z_RNJq8R!lZxX-p*NSL#^Co!s_GC0f;$9lM9xF3eVDOFJZLdLH=V(TCe<_)U=9W#er z1sdl715-G>t(AmX5F4eN+JI9+nUY)DI|dxM!Z{PSs_2d(==J>6#`y-!=FT|b_Y4IX z)_BmFG93!soDtSW0ebJ2!!yk=_E@SNjz{l=i0xk^a7Uy-A)&YdI1Awtld7kV9R0~o zS>*DrWRlt>rEaVaYOtmW()hWsk7`j>#Kt(bHpci^BzER>Rj>KpeqKTwXyD{0=GIBa zjlL1|I?+^*60A73*ZIHTnw(_<1H#0Tyi3IjU}oZE|9?SMKG9xIR~>6~wot#ltGZ_> zjBez4ARIU`1%ZPTZk`DP36Cd`E@nIpgQ2OVd$?sT(8blY`pVBix3IJ#7)@ggv%9Fq!(u&l1x z{ch(bx|pcnu_R6Ymy*uz}>Lk_H4|Kq@Xu8J{QmyD$CL zVkDwk>Xv$y^3@+<2i77WK2!%rSrn3@ znFwUY<_^iFiJ&?3CMRD%U^eonA|^S=nnm6mxlwKI`*@N> zAh}k$O;zFtqL-mT5V=c?9Z}lhSjB{aX}GL?arsfWVI@G4X(Y0vk5iij^yR^?3EP3)0H z?4d%`-%xw`z-(wqqjJqcypE=4pvKmz?% zuXL|TqZ5bpo|^aw80{)ieMqj&6V7P>l7<4=)Dvj;^{ds()9lO0Nt4OVD{Wv~U+Vb$ zgy&Yv)5}w|XP--xiJg$5R;$kAs94K%N}@4lOJ%z#Y2difUTLzv(g`0-tYXn}!H#y2 zbw@a=FndyCwlAf3*O9fijG=4RG%u+9S#b|G-iNKA3*XFNM4N*gd^??rq&etuZj z@1km05C~o@ih#Db<;F=sc1RH1v?~dxf#?t0*dK&@F9o0uZHqyu;@WXhUWBA+04y(` z8huOy93Po@u(|%4yHR#Y=o)XE+9q)D)B1;7v|g2&2)_Pqpc3HXVTWq8 z!F98x_oc5TE9Lj%ciasg+%?d-nS}Db#quFe+kej;DUt@S0!eQ0SHoSp zRj*bW?D4>ra(%?UQF~!Rcry;$$nfdBTczrl3P3Ove8s(b5;4Kpza~9&ZIyXY%Sy8S z8O!gR{YE-jbn58Vq=IsDy)D~L5%aR*$fQ}vaZ=`?q>{H!o4Hc-<4lK@D*YS{{Q(M$ zG${OEw{ZNATiBUdlNp84A>Do<+`GptB!7$20TP9gq*y+WArlS3g-Up&UTcv+Y3IZe zM_MW)hsi6&Gl$pPBgwHLAV$0)AS7nqz*EID&#=j1aK^J>!qU=?d0-?UAktvs+J#ET zBfVgHgoZ1H@P!oOM4bG8S=dOI28GE>NJ|H%_V{~wwHuf?)EoFKcjT7EiFjE^hlwcJ z0Gw@J<4&I;?sp@=mP`bKI<#C(V0(@V(M!vJ8396#X#ixH}yo5}C?Q~Hmf0QX) zW^eF^ntES!>9z0BWU=+zM9mkEV#Eo22#7$(nH6BrTytp%Fe&l|&h)p}Him%*r z%d=WcWwIF7`q+G&*PdP3@^ZLWAMDZ^d@lL}Z#uT0UH;OWT2%Xaa8lUcJKx*e9&b+e zIng5^AUgi~RssWh4jD}DZ$SlRX5#vf%E@%XSP*xxkI){EjWWX0AYhZ3Pon=>1;9+n zM*N%rn-C_X?i1SMw$c&rztaaj&4?X+~FE}o>vc^7c;DS|qac4OHFwt7OXvK@`P1?teN2fM)x4%ot zF1=g@(0x*A;_YS+WHkfx(2)ii1kjdrpayB!!o}ZTrMSgchx(oa$*#gIX+4&*KOIkm ziLIm>q3jo=zjL|_`G$grT&s}nZ=G2!wQ7*_bJFtww>8{SN{)9h2w|+l@yLKE1K)c>(-aMGFTQHJ@e6TS5mOQihN3Vg? zGata`dli^U`Jp1T-Np}2|E}M&Qv4+opH@Y|{RcYQJftyu^flWNH{T^Gsv+7+IJ(@t zopGrt=bTo!4Ie3Fye^6Mk)JCID_B@LhafyTh-g3wqVg;xB~)2jwlJn7(*#*S8O6E; zefQK(X7QH?C55X#qEx1@kn)j_>4B1>Ej3s8y_8>I(rsbV@~$a$Fkn}_yl)tWHuJ9w zd?nLwvcxR*gJ9&oK$Z$84IsNe-wRPy#djw=g15mQIss(yHMv-T@4;BjnBU5}uPD}% zP@`pI8-BkcDshuz>3_+HHM~T>#>ct4+py~mvyYzR>OErA2d1a3LG#{voH%O^>Cfgf zkh!(&EcA@D9!XS2Wdqjcs}Iz7ehjTI*JK3mE=zG$6%#}>C_mmMoA7sN*x~es;udVX zE(ecNe=V=2Y$kFXjG^g%j3YR&#;%7=DP)d4TVw((B$8sHl>5;~?|J{;a!fm2TpWhr z<;;7@iHFNNu6t=%>2Kg~;D2j)@JzQ~;y0k9oe;hGeGziVYyl(xPZ~0FCnA&mYu9uC zzc`|wycw6xgcNq;1!L$?+L4jmok&tbw=UIwDm;A+>cm8ivX&P3+v_9fXWoDgCQ)F7 z_2-rqRde-W84flY;I+B^IPl)@YB1~mRAUj_gGeExvI2i4g7&>x>8`Bj_h&2Kdx7rw z;_}UE)B7;`n-c*5U{@3`a?kMIhJP6Fu}#a=EuX%3%Ia*!4o{0;e9pFIr3~V9|5te{ z{hUzzYfyMe@Y?*PCF9G#L-0^kUUf##OF%lZzoV=9uuph-wzMt*SkM1@%zX}S zZ!CW~$H@DuaU#KQPtSy$YEG5D+pV*Cw!U2R+}wU~+V;dnB;(#?r-^O7=ofWDy^z)O zrTX#ZdEbDKNuoF*q)r4aqdKIb6o!R-ZwBE#JdWoo43|P4fljoP%pfUh=!D`gvqZOB zE+#JyW{BpSc*gWRL+46+xChTKkeCJ<6s ze6}&_XxJ9-XRCSBN{pb3y<(bw*nb*7?6z{Hz4whs(Djz}PbM^Arhh7dvN5qILr9ST z7XAqlpS1<)G?kzOvdL0rv)!|6dNoWU^q#?ez&&-ib>zy-Q}>zPdM*}V^o%6hRNLHB*R}S>%3GdZNKBL{u zY+w-CW72*pDt^)1hgZ7M!l#3=_|Xtxha~_@{JMG3UZJfB8t1L=RxRhttxxDuaAxwa z>>eId|M{}9j`tbNkMHACthm{l-$VIlI+wrOZT0o2gNt*asij|RrKMgE*m2^Sjkj`4 z)}{Qi?wLr(o$HTgcH)`f&?H2|X2G{qZz<+h7K5066K<+_NiL9jL~6mG0vJ~S#1)A; zxfNnitv3X@KBx@Okh}B?NRWdE7(eMsU|dA5P^Co?>ZxuCKi`ril0wChFSd2tbjv`fj&ys?5-Q3AUZ+hQ@;*>+=2=&v{#~ zb7YH`t>_Kyb@is&-5cU^)m-O)1W8092e5N-{+DS|w*F(9(El~ff>GbIL{tI_lnTRp zvBe88R0bNfoms(uq+*rPj7^ft=g;G2C75OCMZ;X2wtE>|fB$W{;$G(L-4I>H-g)L@ z2}00VR%J=@V~Dtnb$S11`LzazZ8LQ8aA12yop9z|5wP>MVvOh9+&>p4&pB;uJIxpB zzGUGa!-JQuyR&R8SZ!z-K5@(C`rh-H`eAbN?1Cn~_n|vZZtEJYi z#9U(@F50(tee&BbYb&@L57%cgzoq%6cD|O?id(;523JwEY`*_RwP-9a< z(Nx`56Oh@7fKU}iWg7nL%Pf#%8u0Ne-n6ylTfKccCtu@%O2+G$`h`r`Ii?#c#VGzX zq8kj1F$u~biL~OjiNTxaKo5q-86m~#5*n#UmIRnlDNRaCCLxG?o?w2Q@=T3rL0W9y zkiQg}1dV8+0WuMTM2$q;-#Gq6X8qu`7jc!d`)KP!}<3Z+>4a0+u?1n*8 zp%=I0HanwQjz~M}pgi2GUX53Hb@_1gJzY~gdNPTsh1t{d8G=>%GCK*D#!UtOMi5y^ zIr&%6$9rcJXl-QM<$O8XwiL;mHofh+rpMZFcBKiu1|i@Bm*|8eU<$}hU-<+YdvS1AQ&>wy-MIs_tQ-R~hd@aGz4(Lm>; zYI>Vco+2h6?%AOANq8H==Fy&Xb-KQ;MWraGZ@?%cg{`0P0ePe(`fnQa&n?no`G}|; zMv#{V>i_%o&K@Q?=b!CyaT*I0lYx_+oM4lAW0?NEIGO%y>q4v+v@7aSPkx4lN&$uy zR+?NUbTl2Njz;P*JQ!Uznog;dEcKRkc8heDt7DdfbPt>Sf*-I>0cYo5=nkIM`h>yGck4&cXJEF~P093?V?9njCK;Rv7A zYVD#FqS9?uxO09uM70{64rXXfbH5K3hvJ#oCqO|pGysOkH!1s>nLfJf;JclE{qm$F zQ>Kz)b)&U5_KOPd4g&f0x)a=7@i#GX~6lD zkzB2I85tKX6{AcxN)=Qrie`QOkL-}EWE5nTXP-2|Mu)4=JIvIBfV^I=9Qz^ z%+;D?3L~R6x*lbe>P++-REpQo2(fF_BxyfC(O}$Mn@ALjrM2sg0D%ylN0FtGu+9ooGMSSsDFIesOMA3+1IP>Z8_Wsq{beNVAKWB;OcQr#I zqw}lQbbjLA+l#ZTOQ;g)vG3lGUGrh{0~y$++s{c}PkcRRcLFz>-MzRU`)hutcWpHX z-2w0PluWsZoYPH<>2h?9uw* z7xLluF*Q0x?iibP25&=N9_`6|pn9;lIs6AQ=Vb(aLZ8f9{umw4>Od?A%6Wx|DxdCS zPp?%pSbJ4c)%KA^U8@D&z3-1ARVHMOpg&ql&&+dFp~Id%=8~szNrylRwp1MFN1@L( zX&|*@CbaH#01jI2S62R$>}_Ml)f@Q3gA(VqnGnlA-5uvuaf&p8mq%_3V3I4;wb=p& z+Kc0+JBHXlZ(~@A3vQo~yZAL2aa7Uog?-TVUjjRQY+P_X86XDk7Dmur6Mbw`oWpDF zow4Z*+i9XeagxY*9Er*4688eqoOr^Nbf0mJm`ePxcThpIsO-~IG;D-EVigFh=iC*^ z8moBR0ME4Uc#JNgwxd(WLCaS0Ed~zblg!^qjb%79HovDBnF~LC8F*P;XMedvbo^|W zx6BgiIgZPm?>{YaiM)lfCwmL8>Q+TTYFG)(=fwYF3_(!rR0GK@AHqJ1|E@S=Cr z<#D*Jal?=;{p(YJ`ULy&A->Zm_lj;21*x)20C;%$`-AWv@$n3Psootp3=gO`2ZbMD zG{OkE^*k1%n?Jzj${UQSBczy1&$NJas5EVZ;8M)J< zyjpJ_OdQ*H3JErZ6@5kbj7{I-*;4gu36HOwz9HhkLx|IrqhO(O(@T>voiMd5?9BHK z0`!2!x1{;nqu%f{Ap?W&?evF*ixsY$>^Tss(q1hVbmJKq4K&K3L!=xDtr@`L^p;_g4dxG1T^gAMaz&+)8#EHU9?Cuwy6NUO-)}pWE7Quk4yajnEtV6O z@rhSgB8?zMWHc^_TF7<ZDAgw3_et-qDtBaG~LD24;DF#;R#>mB@1b>!M(( zK#Zw45$bP+c66916A*%sbYSOp`9B5_e*sadqH$GI;OYj`TtsenldZq{QG%WM?&@QG z@x`QpL%AVMw8e~#tB{0XyQcT>gz3tcTawBX#H$DUCk5G=O(j(QJq>F*YntM6U6+{z z2^V`6r-9{?@672xs4#%&l^Rqz1=LuzvU^T|(6a@0e^X|-Bl7r@WMsp0LSaEz$ z;0-^EAV@BR4vU9=@>mzvjP?74Q7(i=LX$&Z9#6wtlD_Gu-{*23anj~mGB|fr?pS+< zU!79T*q_87x0K+k_+-h{l(DQhG_KQsejAb_6xWobZ0Ztf;;LS2BjcLJ0*ozZmuhtf z|LCW4*v9!fELLY3 z_!IF`G{L%LHtdU*$y_Tz(@YzodK_98y*|d;I}YvhqER>zTdFs^De2B8uoadn;4c-gbdbPdt&(?!sm0^KysXlc|hwF?#?bD zu_P^oN^a6ZLAjsx!IlW58*^wNA?XEcMvC>uk9EI#oH?~2c2nw}BGoc|5GE2#@SLfX z(szd|3E1y=gp?p;19TG{jfy;tY;l9*p$(J}rBw7oFU{{I@F(^R%2?f`%8%|SU*Vyf z+Q*0EQ<_Y*PAp4^zQNgElf-ll!=D=+7h{_%VzHW+r%yz&$T6a_utI3=rH>5Y&vp@6 zp*X9W|4!S}<|f89;Ut;W>w)Zawp&a7+B`XaR?;!l)zmbE1)$!!BroDf)f#`CZcqe$ z5=Xbc>IYMsq!)fqb(2ED<4%0EW)xnP%*1U$n}ULA{=4Ziqvu z^-a;0XkD|hZQI$gla6iMw#^;e?AW$#JL%Zyu;Zj--Tuyf`k&|P8e>(}tg30!Ws;bu zOYbLpBWZuog{Epil#zr<$TohInWR$@dnLxvQ*$L%UfUB#T;r{gbwNj7C(f;)>0Zp3 zaS!xL!{X%C=bwu7I3ozI_441Z{_~<$$5+n!mB8H1u5vf~i_o&JKnLqEyqgpqJ?a($ zuxOU5dF1>D%4~}|Ld4p9r7?v65*(h0P(kFC0U|}raEOA1M)#-gFNOOsK7@v+kUKQW0kh0gTKH|s1z3?6^^^)dK4->BO@Y%ND=l6<-a^8S0G8rJsJOM8w_jFK#)-`}hB_e^&?*&K{c&0FzJ1I3>*; zoxn`pPzLvncW`dBOZvKBT$#gC(AZsF-*%RdKSj{VRN%5Y+{UGzvk#e*BzmH_19SpU zCCW%{}PAEk*2p z;28C2am!Azc>&)2o`f9?QYdEIUib0unfhq1I(!5?Pk9)-cTGIh1#NTF>fcpVbmC=d z?_HY3)rZ~dU|Yf(V(!2gcALuh?D~Q6{SCcb-yUNt+hvDTxt8Vu#hg0V&n3<`OVxaH zm-|%@auuNrbetCWua~80s-Ud6$D0w2oap7f&Kt`!LwkMQpzx7h^io2=&!mcXNw0g! z#)3fWnU#{cSRckF`Z*%yYg|2C?EsO0KU%L*`1(~X7L5J(^`Ca1)va%=b#y@1!Q`py zA(v3gp4ETLffGJ-1&qGJXFK{nBbbZ`2~3GF=oLN0W4loaThwevR*XzbK~l0An>KQx2YJyiV{@s_q~L&g_`z7chSr z9f;~V2d{kSPr`Fz{iVbCZ3Cc;o3C}IL{$Q*(YeUV2dG`SrTf)a!=bwxFv+%|x6`q| zT3_lN3CRxu)>Dimd_%CqM-Ad&W{t0&fp^0H&1d?N>!<-^zG5S=9BPJv#svpu4Ud*~ z-j#&HGc`Ra^5bPlvLf8S-sHxX$I8-#y88y1OR%6<0I5B?Wx)O zG8Q;}4uz`6dxF2fg>0xCvPMqM6!*l9-fw?lGQ%3Y>@&*Y%3ywDTnfGp;3%1ekilZG z78{+JR+T#9?M$521JKXG8>TLYihdo^wzDaVtF3lr^$LA?e{{^{NQuY zbzWAOQ^LW@Ms*7KeFOySZXFraNad}n?E%~lgA?D8q znN6i)BOv4K2~NGVwR{CF)|s&5CqX$81>MvJl_n0tD0T&5o~Lz{5U5g}&{MkGgeak>Te%5t?8tzCF4!6Q?cuVBSg z@31313Km(AN&x{Bu+^Cwm{U~p!l43u8w2x$nkNI8(x%47O9~qDmeop4sF`*=KVorH zrO0fy76qP6*PsKJTFs;rrR-W6w|&1oCKw(ZPe29B7{VrMO5G=Eek9~`P8^5gJmC#V zr!hGQm;R||rku(36RB^e-FR&Auv$XZt+KUawPb?~d|*P|8^T zKF`4@5v%wItQzfZ`zVU4(*9Q6bhq&7&VG|MxMvX7runM^+#WT$ZT7;ULlP7{u6PD` z^?emIlh#7tlbdwRM9mClJ#_aM1|;r;N~Xca5KS|=ZvrV^J10tfF-}EZivNjc0^t|LF`JOU z#)i&pp1jCZf+sfVp@|a28Smwmoz<>gOyQ_B9$YtivZ^jt|2;?KB2c0roZ3{2c)hpV#|{8XCgBpn%||( zK#$?W=cIhwq0q%xdQ6ufp`|9SN{9Et^x_q3D11#78wQsS>WP?Nq7%tBzwNRBsq=Kf zAq|nl%Lz4BdwPU2)ju2}a${#w@Um>u%&Pojn##+H^*lDSm@h}`aadNq_~1mNcoNg& ziiH4a-bz=irj~qv*j%f)MOLg@)7K-$rFGWYmz}{bIBe;}l@&V$;!j>mIAFW+NcvW6 z3Og5x1}6=Q6W4G~t!@cjt^0Qz8nvbY9@V4M7vq0yTqLh+Ijh%xf5S(P5Ip`TxXu1k zb$p%ZQvyt2;qD5a4j@2iGNHo%jnGs2Vi5ileAw8z|Bv94rU|cxuKAV^GAUM45$kL_ zmYdo3Vx>N?_NHf8LlYbsSpOCXlEg)d3`26yEHtqVA%X%EdW!@Wts=Ilk`$~&cadbH zPyDEExYb&_(&iI^^zHhEzPWS7)9u^EM}4Ybaq@oh?%)6Fzt@`)!Oa6C{XyjT29=)} zhYx=G<_MciDTRg&$R(zTlZnruxkUE=i92%>1V4xZBYKas9aKn=*`A|S9P^u+QNi@u zZXDq&I$z?oUlPS&j^cft53;MPXZABY_0OS0zw@d&RWL8fj}gRILJ_j-3FHZ!`2)kE z+L+WZS%31C&vG7PFC z%G=tcaTzkHzoh7RSX8PC)D~52en0J_Oi89!6n&VIl|;$VasUN@;_*0=nQLC-3h*jxaF0`-L*<%Ft$TbShQJBO~WXrY%PLnyFl@gpRSQUu9? zG>Pnz@l(!wxE?CNToiDo9M2u&%3*2A#^Tw^Xu;h2Lm(*%e0(wL8UKNeaZrQxPz&tv z9PZpO`U7>J)5b^m5d#jRtOClLWcgKk zw5Fi+_0@%Sua;yeUc7|cL2EB&yR^ry_u?T#A!#@H)_m(vU+8$$9eIE8aRiaIMX5MQ zg(l|fr^TxrOtRjFI<9|CF3j#+{w@dsj6pIF{+xm2OF9oMz6?aukOMalT!cW`!uK>Z z@>kobh+C3x zFw!^AYe^3~BNzaD6(Y#gM?}zI@gr^x9*WjEOo#cniItt9a%_ig`fH>j!802U zMZ|bbm6@+Jb6;JuF1K8PNNf-^pYwaPZ}JOxO+W8Q?559&JNZb11y#;VSwdO43}GP? z88xXmioRDFI_QLrk-jz8I$iun+7*sQ3jI4r+r>N_(nohYE8N(D$s^)Gjnt>}lZD>P z_8j1W#&@-`t+`Nnp`g`3Vdk-?WlQa8N9Ja3BX>-0Ecpt6AiO_r zUg2{F=Rm7r0alrG1ZNMEUZzuv=!fJ5bzSij6#{tyaQ*(rOTL`5m7y9<$5xis{03?W zaIq!n0yX?JV>tw@2?U(zT9fZ-l%*EQ`ZI81HUnfaSfG*1%TB|^lG~+OUi?%TVK0|I z<&A8cE#Ln>wQ6vzIdh2esB@$PgXv%NX+VfPl0flAKgk-fdzqWC-*c2*!5)^d+!LAM zuO>Ukd6^P!<7UaMU?A7I`WcHf)T(Bm$&V@u3*pzDwzLauNxrY~gTGpVN6it(<#-!MOWZ1Y0ofjV8@j&EN7}Kl6Rm^+}T+nEJGiBd~FSPCsAm$|y!DfUe zWY;g>o76_CRz|t3oQl4B$ritgn@m5mBP6{V87DVx?Hz;>$HOc=ehy<}!PDJuQotxN z@gC}LIw@Z?L5vW;XT)W)BLi_Vx?55b<4`sJ3ezBaBK48)>FpmM8JTz`}0V8W}f_&qp(bw*WYl2~>}tWql!Se^?^9vp~{#^;`bn6a)8O<`zxV*%}oH>nc%x_h|YI`Q99q zuv33-x)96t462VFG4bO|`kp~BCg@#0H^`qo>yBPLN6;@nx5N3S@5&m2p(7j93UN#` z3|h=A@h?26M}%#`x0Pf+De`6U9?Ar;zQh^#8=Z6YqaKfFTxy*q{(}i88_4EXF*XHg zyX{cem^q)pA9DdV$B%mg5{|uRPIS7qG+jxN@B7~Hx=;fsi==i|OZZ0ww6&@*_VArs zM8)amu>N{RDdID(&!LUm^2R^zTM883ic}~mezrGqdi=OA4M#mXoLc?>twWsN+rVY1HktfSG#-O zJqZt@6_krNlZzC1DwLK9YHBN6+0p85IU0ml!7eG<3_$r&dV}S|4Oy4O#t&^wR!8b$ z<_>s46azV$hk&wsJn<CS{&LU!zgCrH&TQp-y-c%b}^1|1bNvua}u)dW*4aku3_d z_dfJ2CKVm_Q#RSwp_r-k+Ch^W{c3F0X2BpeMq^;1wLfEBp*6?kwdB%Yx5h~$yIPXJ zVFOB^K?~0xpQ1b5M>~FR(HB~PcAq~rAnB*+GjQ!=Dbm!1ZxkoU{h=x1{L=E7$6_M3 zEz&Av2()`jEEH|(e|x?3fAGx-9bLq^9WYttD%mv=)~C~70*ZuuxyyyaPPpDvc1 zS6P52TWyd`s#y;cvYGCio9u-=)r>qc0A+_~Jp$mXGF}jm8U{!&)Ob$7*rh=HM#WkN z4y@dgTX?>jtH^GG;LYa?7W4~8xxx@sd&N%Qm3*_vQ1mB^;K71{9K3{o@{=?gxlJD0 zEk%hP0J6P6%PmXjl&E(fnfE{#Jw|kM7@m-|THZf;fGunHTL?+to2(YkoUrrJL8e zYSXsyYlar$M9!LL)@E{gwtZT0pPI3JKF!*5JTw_LiKS~D%(zdce3Zq^g|W8ObriUs z9jwQ%FX~6(wcY4L8ubX(#2E12cBN&~ohfz}D`7Ok5^d9y%fo~PJj zC_E00Y`9q%0xIDJti}H0_l(2TFZyUmya!JIQ zSsyG|^c1Fx&(@gBwHr+^&bRpDg7_8MpK+{%IyDLY$mEU;`lQFl66r9(I#<_d1)y65+` z>3x)Iu)#a>o#L|%si&FC+MB}~>6fDptw*b4HMKZf$27pfH5Sn5 znEL1d%`o%kLPKBK00U!Lj*>YIvCq1AVwbB`xpoof6H?f5dxVOOUESKVpk&966CEAP z==dR6m(4=^AERT6MfgYdSP_yJZVSW)K|zTBLKOcuAV~ZFRF8|9_5T&^5dB zP?Cj5Tg+ppW9LRR?DdtmtJ)a%RWLoBHHAEa8bbAhLMbVDU_<>4hj;^{_xqHDZFMtr zYHM3Gtg9JX(^pqFeZz^aUBGlczuUgA{I3(d2Q0bSPWf)U`)_>r*dk$cbww!9;cy~l{qKu-n|KiW{H*^j~TLINkcS7^KbxCC$gYMR16d276z9_Y~uFz ztK68Ugw)XQaEf9WkrHoEU_0)8@@?hk^b4>)r;XUO*T_*Yox~mn^*{)LoZAH94t|lo z>2=sHrbpD{9q|05ECC@l!YiN2>mCl2m9nz)3d{$F4q5+MK2NFHJEh4fr_u28feaU` z1_Q^)lW`o4rj1rt#i$l7x?2GmwI!7qbsz@LlNgFe)|(X1V~LkcQR|i7!Xrl^sK@0O zt)CGWsE9>`Let&OJLQuQE2bs1lc}6vq1Q#;J}U!Uw;Gfi*~M@Roe*#Dm8*dN*aI~^ z1|2bR7*I^?Oiyw=QmUVp^dKO<&ntF{r2?2Zwdk{VRBEf?m~+{+Z9e%2QMOEMM2yBy zbO>`-05uO(xQe#F-pgIetHBZ_s2|6K;*RwWjwR@)lpGlqx+;vM3EqL&421=1a}>{r zo(WN7;J-o(vK&}!6PCtMEg2wye3wiEg&tPZ1hX++OR|QV6U||S$^^bKZe6$oohX#L zG5eMpERtW01XTT}e4h zPf`3F1eGhOFIs$}Q1f4cEGiaiu-0%GcG=x8f>522r&CFvD2h%6NPF4*E8$QBiLf;S$lZ4U7F!u!7mqlU|;wW=H> zB|`RC$__;iP6@L7H3W9O6UN(i`QUg61n%C)!1>Cizt=d0=9zC-W}l|eeO?w z3Qt*OdQN}{&twbw@BMFU}7T(0ksR%bmC$O)Rl1BYZC9XL7f zQ9IQY=Pv}+Z*ElkBeRU+7a~c6p+e_HZ#})TG^%=szi~hLyd* zh{9|W_Pl@}wdh$&bCg+ujQO+>=f?!giKPQI(i~?Tm6vT?6sMjHd}l)iX%n#D4?+e` zP+4#p!)rIgngxi|qPuwTM>j3HV$gj1bqbBlph(H5B_R6A!Wk8&*pgk4-7M9oZG+NI z*BO#J+4ENqbw_CagAVG_dg|udr2i^&&O5CJQZ<2z;CT0+UNk|&7lr;v)EAV(T+41T z*B&v2)k2fDL>KD=cZP>CwDcJFTC?9Ddk3IFLJC;tQpE2wdfpOcJeL^rmFP zBGY6SG51X~nRY&1upma!Yrp7+S37RZmfWEH@oG72XL$(og_6_wq5Kj;u?LmgLksl} z^NxYHc?4ag|3ueLfX`paxdBNPZscE1V0xqS98+94RP}}}+iu6|PLEp}5961q|?Qlfgc6o|7h0N8$ zij91|nLT|x4(bnJs2-VgiHeB0<(1qG-vT%#kJ_RBHk(Y6lvz|uvtjW`5hl-1>~4zr z5MZ*RvJ4tc`jz>oAnH=B!Z#U}yySKzyw*w%)iNnuIIZM);s#~qBTwV%S3ub%032xU z9F6cUcRgIOeKHs5g=}=#$KA$`aI+zuhMqlH~S= z^Op?o>j8o$JVZgLC|DOVVp=&FLt(m4Q)m1`k_wN|=<-zFGAt2$XFeyd@_uZgsG_34 zYu>G`(ldi%&Prz5*hT)lRH6=6J{hWZ=~_ zq#ty-dX;S^)R_NFpvryp_A1j=8X`wSBI)PxzL)Yy65z;}XA7mKJ&!!>O;aBoRj)y) zk2;3L%=`Tp+QgVEhx&9Jc59N=C|+?jXv7Sw_4!RYwZV(-yn2oMnW3ux5cp+Ahpm52 zS{I`?H?5q7Q3e}A$@-##feb|VI%w?+X1i(Y7>Bnx{!xjn3m2R@fIEOOMT1~If}_pX}ki|_s>eLo|iXSaA7Bu7tQNL9F=UR zXCgiXlYPFKv}h8xV2Q|$r_UM!7r3~hiis-FpGWC>&)uPin_DmELURMM&rA1e zBbWw+1>1IN6udp>3>evD1e$b=1_4})&w(70wx*ELKFz0yl1#H1wUFiJ9!$C z__kf(er6)DEm%4&&j7=+*lQ)^$4{xSEHkng09grkM~z0FdNkFsu&ZJ$OM{AOrTbFS z4C5Iqry9)5l#l$(jKLvdH$tzQkbDHxy!qbLTg$)nhOu;92HeZgWd;zoZJ6C_9z!$_ z;Y9R;3^Xee!c_DG+QLJ8z@hag-wPOvlI)eQClHJ*d}?8$Pk{)xmb5FMey5c$xq2K| zUgNJ%0qPB`s5$%lHura}57i2I}?5qe-K@4b@GwfyRk>|<5tPl~~x6m$yKq>cjgRqz{9wle-#?O3L1j4=}Uo@_lzK)pz(Np z!Y|SW^>nKIvrlhLbU8RuphXUXXlUMxTY^JT?IS}cc^S1BNS>fF7W1lbK>JdsdcN}( z(^}o-%}e+}yWY0GmZ-W-T|yL8teftasj681n5H^Jt;508bcHakcIF@L^AejoEA zFr=2Oy>ifwzDwPcx$DuhhHoULd1W5~I#-$-CfNzIYF=tqip5&;=dajJHQo{A%d76+ zrhbz0^b5ozEzScRlQ9v+UKLIE&l$36?FGY05kROQa#Dh#gOgM}>9^9SOS`8{-|;w1 z3EQJZn=n*GUSNiKg|GNzJfwB2UR72Q4lhmqZi*T*5pE?@sd7(Lo?P( z+m~BDgu;r;5DPi1>bGlwSZ-2Y&h*jG8K8J3f!sxsbZjqIX@7h7)cl>my??GS6!wAt z_Pn8wM#wGn#m~7saG-jm!L#1)-i&wl-Pyw_xm$03-b}V1$tr?Rr%wH=m2be6l77RU zuDomKH0D~F?FS9ueS|$2soVsW5!^7q7sP|6bN86Shek~nE*W7=3QAr>=AQ>H6{u6! z9;WsMne~HOEqP;7C_jZ}p;v$Sw`*KD0KqzZasqZuiYUitK!^TCF!;G1?uD(U>)T&z za=)NrDvt}WigoR2xZR8!Kp$aXh2|zQXGM#bV6i`Tfka(oy#UD=Qa^a^M9l~J-Vet9 z%XvtP{loVs_+#S5$F=0djF^r_8L$yXwpd*2aK$qc(zD|q>;Fwm%4a5M-J*Uhm;+Pl zWb}-@5Tu_-{tR6`M{1h+}9mFPt&=8{_l1Fn%(~lN55?B`aKGrnO@wu+p0IL zu>VKal#-m_gvpc?-9;WChdTwGwB)Yk0DF^?Hh?o5Ue)#%Z=7moPG7+@4tz{c4(J*= zw?m<_x93`)zx*aTvvvM0mhE+>#mL;Vd3ZaGskJTK`!Z7$Rd(YfztpHXS?+)DV-d}_ z)_rPta48p_L39^ju@hb-JZ&+9tb&y)-i(^|K6O!(UWIXF_o|;7ezsAVbQ(+`&nhL&(!fZ&rS>(G9x1w} zPT($%7^RB5FY8403B7w2T3>kXwDAR=$A{B4oOw8s8 zzJ-Tx$E$D|3Auk4n6(_oOwCrQz=wu{A^SiOW zG`gO9;X~my9?=`8;kW?bZHSnUSd6d5)8X2#?MIWChf+QIkk~==hyQ%G6$05RqxQLG zww{_wnqh*kE4M6zdikFq;rZNFy$T!C1}fJlZG3!m>}dwqcwkOb)~>=>a7)jRMD-~m zGFsF-hn3!Zho)r{cYSgBVQswLZQbot!C+Ihj>YPz{i>f;0m%2-YMn_Dr_%>KyP){W zI4<<(U&xqhG6|>p-c%FHwn9~719gjZqTrdiS*rGvIVTn}wmPOx!!Yg!T32Iae0102 zQ;JOfGM?np)Ihx9qGlj_T}QkwANSsC&(Qd!ouo=FL&P#^>ozDcN^5EWcqrks(K9At z9QVARhEsd6=+_X!Yb+uCq7v4|5ScaQME!(O9M5AxPNAK{Fe!+9iwnwHTXlr&d$#Xp z?U?Q|$_stl{bQj!QFCfMOJxmcbSXx{nP9c~JU(Hv3@|EPh5l`4j=kyKX{~&N%4otU zW$CFb{MVF>yR)}9=-5>&O`oMsZN(>;p7%jBya_2$*VJADH)>b@BYz|PJRkPPGUA>} zL-ix8|K~^P{Qd3&3}yUy_Z`Df6S)Wt+LtR!&<&OxrClkNVa3@%E-`x$@n{>yDNas~|$vL7eHL z-OSJ}otYA<0a)GN{85@qrGfQ0R=)4Td*{*)1{iL1VdAAlpVUT|uq=KEwBGM|VOQ!8Zvkd2a3a9)Jkm>33ArJ4G6*x~>(TpB8ZmLhwuX@C#fnJ;Xdj7)1LJc{QBJ7?urXc0{Qx z3$)|NJlZ=>sMkd7$oj>EMEX%J14&qaSf1LMruL$?rMhVNdozOGDFNHak`Gqw4hgBi zl4a%%$3wMTeReFMVG$H98W3&K!}@y^A6NsZdb%KPTN(0JcXGl$Q&H#fTW`G#@YlTX zml1)%KLC4ek8zL#7~g2*f4{K3t>(a^8|b%eW|sa8GeDda$5a=8jH?=wvW>o2N6zja zj(7M@^Z#w?hM!8L*Weq-xNIb;Uk$S=efaM)q0ljfD!r6G&zO~^Dl(q_Xt&Q-1-=F) z7h{MOr;i&1*{D7!ACp!!coCP^=NA4f#em~JGgwp1LGXhBz9VIOMX>GpZ^HIH{3%g^ z(0qZ?$m!}hip%Qtkfyz8ycVx6X-&H^tgCD)4hTspIQ-Zkww6-(#L%?wHm{%Eb|EOy zT*ly79Ze0Rc!btp4Y-GUINlhI2R64c==7sCql!zb1xKd3ABYvcD{=?a`j`1`H(V=s zeb)Jk@cfMwiK9@bfggW2uQcD*&l&e z&71tfsrn1%1)RW8dmG`*+KYt*jtS}(sg%FEqLTmGKgM}kR-_$FmD^x)E4(PtiWl=t z^|y9QnPx~E93`4fAt$mKNR}hy3c!8B#sg~~GYoLS#fKdeq=^cR?&C{&XOYsDNXuT9 zVdktvxjk9Q$n%xy4B^4-4OAXdGf<-wi-fFYo{KJEC4yjamE*oH_Hk{@XC4T+gQ*p%QdFNR8iGNZEeT}f&+LyS;l?o-Xq@&*?5GJ1D15C3@2cZae^Y`G@ z--D`p``9My5j+0#h3G)PJbL1+4XZ5-8E}@i`#8LaARJ@bQWg8wE*$q59to)-@uRb_ z7vW`}x&84g!z`bNoFQV8vm856fM^1() z#Z-Zb(-qnHL3A0g5o0=QeE+NYo|XGj%Tbq+kSp!4J>9iVGti5BW2#(_G>i`A7mF^} zXcnG20Ui|g-K^x+G@V4w4;Q-Xr1L$no3DMizoV6?ZhFbQ9GUt&&$E(f`Vuw@Sh?1W zwOmhOZO7*Us?U3jOA#7QP9RwTmUA{0_m=C~yDW&+omu@Wp=YH8yX7Aq@R;+F88}iqWL)dA)^&`*j8t#4@DlN(tw;m%2n0vMOx)} zE69-DRJh@=?^H8v5K}Du3P={a`f9Zu!%j+V#P$OK)Lh~dUBgujGaj9`arR>imR9KG zVv)|E1R!=uA45IjLt<4l#xzDb$K6?iX{L%OBa{aqyXlqR1S&@F znb)WH0C${Xt@}_|nq%p;kax8truFjjYE2-)#tpzS`g+A-hwAx}?y0`tY7GP$tDK&c z)}h#TvCX=@*&`-^y!QSU1Nm^DTMO?@38s~$ipXZAKbk_oC+g$diJ0h?|FC|)3Sot* zO^dcpvb>*l(E`7nQy~@g(cXR!&W!I?Lg$q*$fPFPtF;$cMP>ATlL_d-efb&n=_{d5_DG zm1*j*lmy~!X&T2|J-xq2{NiowTz66M&?X3Dp8$JPa>7SgqkE#mr$Bt>xDv*e+!?ub z;B4WhApVBzb8K?=1$gprmuIYUmvD>%#RBKsNU;E%Si?SR8%ORESf(4U>3&n^I^-y4 zFGbqsuAAIR!GeZFuV4}MJ0@kX=m9l$Cwj84-Q>II&E;&zEc7 zio4I{dX>b@@_}4)e!m4Cc zAc`aAJkS08?u(VmlO9$OeV-;+eSL?^W7oL*AIsJTeBSB8+30-3t@&L*|9U`f-}(Ju ziFb3moLSN^nEAM?(&}o6PFV}u89Yy6ZfMAj1r`wxF?Vih4lIReoAiMX=O{=r5JVnP z>!%r%Hq?_KyJZp#V#(sIc~D=a40+qHR0idwB=sCcRnAaz$6W(IW8-ZD_t2ZdK+kLc z*C=(hXF@?Ol;EJP}_Eus<#nFT2tMJ@MIdm0niit`^~<~`#bxyUO3}X zu~Yv=CxGR!VQopXuodz+kfRKz71r&?&u%x`?B&zf_ub&#Hwc+p)vx?9L1nLnuewJ9 z*)ZolU&!BIH<&&+kIqAmKy>#D!;>Bw=BM8hs1PjkZ|$7KykhDwjN;4`++5uvQ%Eg4 zI3|K1>&S=D2DoY#?8X-6`=)Ni-^-2n``n!}^~;ts ziC(_*2x_*hEmII-d07WnR}ZAme~ZB=)FSQdlYyHRvMMU9>I9f%g+mm}XstMBdi zbaWbZiIn52f4pSq48?KXTx#QG7OD{Oaw9^M=~8*8DpskKFLmh^)2H3;xu*)EQ*3E_ zMHC=wBNJ8NSLpaLtMuqK&ySY>o@11zOw)!L)W5Dz%Q{LWR&Q*^GxwT!Yj$QHz2|nT$4aHHtE!mx=_P8!tD>9uUORb5%SR|BKuI&}~8c zl3?=mj_p;y0+~)c0iFzkGB{taNRLP~8%VF8W@~62!FJWZE^f$U)CC?>G`%@uUr9p0 zqNSEDE|j)!^MVMK@reppUaofpG-LW(Q_0Mpgp&>FwGyfw$ae>=N?fahw@&$M58i(; z7t5NR9EOs3+AV!F%f9o@rCxt#4Sb+8NWwoIXwX}cA7HT>F_XxYUXWFmrf;&jkz!ZR3HEE!{u zS4}5fEiYp&y<^_o)`mJmd8+vq?sCsC9#oO?8$?&}6qzC{vXp*NbI4La0%*H7dTkKg ze|kI_DFujd?!LO4aCQQk@=y05*u4aECup=gEh`2!kNjjH+ng74dQIbd_Vr=pL1NP7 z*>8D<;0AT>uIPqd%^!DoQdQAd_?eTJ-7JuyRfjk!JAMk0-`f@ys&6IAe-`Qpxo1Ac z#+Y0gOHb}|2D(%5a@(&v0W^||Z0wZd-|XIT{tNh04RJJs9fwI-M8x*k>Nd7(uedS` z2hRz;Mv5EuLqjKTi5eSyys$^bWqFNaEuvM{E*$H{hL~YZo${ngJhxGulJFGI?J|K6 z+Ih|>!_ge+ocG3oV~OPd;R>%{ffXn=guR1<7{7*{k*b!cjkOit3w!}G8g$B=uyJvm zwv}&0rrX#$$8D4XyfsOk>TT-Q#aSP4`?&q&{~D5+BIWX~xSzoU<=zQ;F!Sd4&3sVB zBWYb7pgL7lm$@lgqAM@8VCoHgLrQ|?e|;dGL{_WP>Xy%|LU0ucN_f6P)~1(RqA`DP z9A^>oZ3nBqs}9Rk0!@vX-$dsJe?L`?I0b8C(|dU@7wi$e$MKO>bf6y&^c4<6eJX_X zf|m};5wv}Uo*OH%%MNqu@~~ZjTQEC@m((6w6pL4L;I-<+G)1+P; za)`;-8SkBX$u-%?az^c3(#V11dQAl`QY|R3@&{847li17i#2je;m{4lZ*TfuF3iD+ zV+@+Xvqq5h+z%D(;j*Gx0-+lF`$)sq!xWTypGGm)9{6xaHoqK^-X9|@JqMuDPiPeO z$9x5iP@wMefMbj_i_dwAd453R=*UEuM$4Z-Bct^dU;ooN!yYe2t)b({#mxhRx(}#^ zW;m8R^URTehM+8LVZp6WiG`>$d~oZKJoEH|hx`PLop>m7!Ri+)?Exzkr`Y34zvRH9GIrR?2%Z5Zv z$kqbo+UXV0p)O859A}F*<9OE9s@+@#53`nI|Mo#h+pT<8(~xC;gUUoeI)|YG`M+4& zR*M%IP>L%#1@a=$*ixO6TS;`HyN|Q=H#36Jfd-PY*5(qS#ICeY6FTANvgmfAcB=pb zpQ|g;;PwYYs^b*P@li+lihYfBMa7PW%s{rH=-n|q7n|BuH0sLkdlo+>q>s*?LQ_G zv-mPAi1{6WCJg(Hh&62?OCE2$-DBNs9Av|8oI*RKwc|eGS)8+rT)I1XL1XCu|2XA_y&?z+T!l5D_5* z*66x;BHavrBfUnq&0N2&E)AfY!LZe2hl?9xe;Xu>(m)Ch6@j2+)hUxTAXlE6p7}Sc z-R-=^Hr_0&CHHIXd3-Ck-Er^PzyId>y>C1ih=xvz6~kdFyBm*4?}}}|-XX3t#56l2 zqhEc59Roksf2_h*sZD`h%p5tSjgcjUYWF8s?DBxu<4dpu){Qg6KRWxx51*eMeeQFM z%?k^n(ate`-d}Z4<=XDVJ~@}q)2}dw4>>Clq_LoK!3`$lL}&_p$Sv+I@AgV zG_F*sSvD^$jPr11`8z&`COigHgT)%vvo0#J@#v76(*OfRvlgpU z8?K3tg8ZdIW~ep7goUbtnnb-VU4bFe8BCKZtIj$)#7pfy)U75U2!ibU%qze_Zp%bPF6)BRcOl441)U1MAD!CtWLv5B! zGWc*wA@l#}UtY;}c~If1nKel3c300*siqK9;UPt#dp$G}-{b;4l{u#TFp0!v!)3-2 z)?P>`KrT#Mus8!5iMS_aQ3IPKVOSosU^X37v--pB6P1|3ky2{OFGFKVekpnhw2Y$j zg7u4K%XhUGnG5ZwLJZ8KP35mB^RUuV9A8%hnK^i!Et%bSqqA)wwrvqtQ8TxjHn|J zsY$-;QgdL!AX2Y(H)X@guode7^xU@PUPGkfKt42We7TkW+r(9k*M4z8yX>JFDwEIv zVhJ%JV5+(`fO50gH?R4x|GlDOz#$lP{mOl1mF&w#GYmc3G5k@XSvBIPpV=9KHK#V= ziUNK5y&tI^BgJ&=M0fsCT#y(@2m&*7G4(H7@9OCL($TYk&#=OveWQ0r;O%B0pAx5PwUAeW{M9@ByzSk}dagn<g{3pkGsuTJyEja) ziecZq8rQgomuEc{Ya9&+s0kC-)&z5*TDFB!z_fi9XIa5oP=@h^!Q z{snrK%Y+zzX%&BPgO>%BN;a}M!S{_@!zLaWacIW_C(fZ_4phJPI|W*vP%7<*Mprmk z$%_y(b&3|9kkNZS)$?u=S`5uplN=*0>syRXngOo#I@Wg*e8H0bs6U=!cE>XkAEug# zYffWER4zF?K)NsVfqCCj;Mv1REyiwB|ISnQPMtT9s|ScqAH4lsoAvq=T>OYFbbqtB zbX0dACs^Eh-0j@FZJ|N#8=s!zwT+17!wl7qT?NAS#f(USoR2Tv2Y>B1KHfCLP_d}A zh6+!JoIff#$hr=kxPm7ihUSAjhdzhYXwI*(by^Akq1Ddx1bji;RIrIN=Qv*B{rHzw zYO9!_V{7sj+IiT*rb>xYs7mzITKe~$q@_=7R_P?Txf2ccEuM12Th|#%NgG@Lzfs`yn91qumdKCUG6=nVwCz`UjEe)^=@+cl^_$wU+oMf@;w|E zE)Vh9$%s=v0K?b3O5a1P2+8c0{R*VR>89nNmpe4nT9d>8?nuCeV)@$QUaMFD zhm}2DHj$z9xN&x#+a^lLJW4#2PB#DgDG3DE^4MUuVUc@;v_GGL^^(REs(W)O?e>OO z4(wTM*M+tPHT)$J_y@fm9h_XxJLH}I>^gF{Q54V-c*c2u`&G;Yno)utQ$69LOM6m5 zdPQM!pS)YJHM))i3bw9(@x%hboK&)-fXA@@C4Vcw2&WRk%Bon9VpTVl3)Bm2ryX9! z&!X?b6@6)z-yJqe0#i1)!4 zh{g?1A_j!v%?1#M0$GMD<6sWSa1<8LyLe04U-! zMI%vSkScu%5a1R(gy={*z0f^UunO*Je5$h1#x7GXz^?3*(CVNCya zF;~%>Xm?9k@62@*)SFfPOk-%LP>CXuT}=Z1D&N&ZteBW+{~>YCGlod^>@qDUeFXFq zEP{`loT}$eTUg5^&6*1UMYbdxLW=9xIG~x~4Dw z3;&QG+mdrD4YWvn$vFKnztE*OyM5%W73W$#djtbMjkdnlCUt)%1>Bt9YIIQ{{)f8- zD;ABC|M8eq3P2_h;!j!HSb@JrSNYp!29S6khZ?JKNQMdK6_g)$-$86!|AgjCzPz>? zETKKY4k6WLL;p%rZSTAcm8vKa}7FD=c>_#N>m zrl8xTLLUpFr_@s=IiC|lvH9@M`D!YH65_$4CqzY;m`bCK!jN4bqkv4G{?^${vvWW3 zlR7E0Zyhtgc!zT+#p;-YmKO@^JcR?5gN8+Mj4E5oY4b1xd@VsI>LxLq(;K%rxcBdu zc3Ot=ffIWh-}>k~j6%-c{{cMEVDNv86N#}!7})6ON~UUt4u zx5wg0WQpSa#>&F=zhfMOH4v46TKMO<38=WU@<3aUd7Dg80?Ny<(c7eG7lE|UV1NkEDj-m%1h7>kOO z-UKp^=2p%GQ!EP(WaYWt(eL>@)JrMcfP2|M`utHAgB_^^`s7~>lG{~J*$AfEgCu`V%x^qn*s{>1M(T8oI)>{XRT4 zNb1Nnl5LB~!qo9P|8veC_++TskGQpX2IlE}F2=7}GoepqyxtXl_2vY$%hpV*%0i*v z5oIHlcdlHO+*llxWjZaF12baw?(MmToh`}kt2K7=Hlv3D69Q-f(#%H_WeeFh%swTO~&kx&rT2Im}zE+1r{Xz!@s&(L6qTJP`Jh z!hHtm<;oLg7A?H=A@}4G(i(d@dH&IQEHTZckDKj8*668v{^Ips-$qfKVIQRxQ&OR7 ztn5fyNHc9;tFDfGL z)8TX#W6R;vj5~vJ+xTR|Enh0a+=w86arzPlIh_pd`*aCzV><|RjZt6L~Jz z7?vjGuEZ!k2~s8uazx(&&2B2HUvYMFJK6BiP8qeNp3_dQ#9D~<;VSVZo>tdXoND|i zvXkYBQ2ib*Mxh}gs=$|}2I-g6n#E?F{>*E{g7xr%dX|w#XpY%=CeZP9d z&_1%r-V0mrWGOMNbH_-X)KjeEA|K6}>4b?MuoQdeOJCuwdB^)W$f z8=oC)Ecy*SJ$gw0epwZws=MD^!q{=`r%|jCv2nv11OX#;Cn2i*iG@&?mr1mbtKWH0 zM-x*g@Bh`64pm!r+M%`2h5yd}AO-&d_eAcoV!5P{+)TJI?_GT>f4UiP|Mf-a5)QiK z3xHf>uVb=+=HS569fOfret-#+v}_9|XS`dZg@TZMFdZ1}I6OhMsvYAa)30!Gzsjda zHK5#~Eh`|*wU6;bSF(#*+?Bn%0@E1nqB>=c*k0MZl{W$HfKLeAQQY*asp(hIuY!(> zZ;ThzygHrjMGYNIMGbNS0q>DZl@fdJP%}Sfz5d&>aQ)xDMiq&JNy5tMhx1o%cIHG! zjt`+63-|xShbDDweyp{$y!!gWc4u4iP+s{u^RzC-a=8G9YtA^N*`I`Dn0?#q~X9uWK z#>MIewsQZ5f1$(xZOLuZKr$T5G5x1RuEY*ueliLJYrsV!8658Cr0P6jp_-$Z!M=ae z#q#L_&Ba0KQe~B30cB!PbpR21umV1)$}K!Z2CWtUwIdOck;0_xC$&-NzwliL;Ycx= zVj!8aNSJV^F@8=Sn7;l}t=}f{VAYc=LrN62FxQ_2&Itvdpoxtba>u;UhZlK(Bf}ty z_=A_IB(huMG82WH}MIRQGOdL7)n9m zGiZb&Y=+sNwm5ISRm>_jA4&{PVOvGZ3ON0V2yReI2%c~&!5n$|6UJv$YA)s=aczX< z9;G?{xTIg-gyi~=AxwT%n23Pr-u-Y6T&?eZOj%Sf{6ag(*u)zC&_c-IzkZ7dek1ww zhDAL9KgJojW(lW)a47sDf-+ocnD5N=Fj!AdGvY?xT+vXML5*2(QoZb4mh$d?_(&xF zanX8E6gM!Syn#HYsC?D0Frl4OJ@l{>QUqy7c)uph44FglA(nXr@a&!bhN!$k(oS#? zSQZXb&)*3xFDJE z`mZ-w`NN|MiY;-UF_q#ZKv;0Wfk&Xnt$&t&&-uP)1 zE{Bi3&v6f^-?oB%dBg=!GM`q`<8pbu*Zo!_&ME(c^I2fLW}H&*Cs}*#m~Dz8<<4`3 z8CGIBOoGf~(k#{zPcxR7+Hv&y9AykrOWl!+kFo_kglSm?Ti#(uMO?I!p=l;)sXXNk z@AqXf{(&mfC`Pi=gx$G1tyJX4gHkn1GR0u)1w>`=fM`6z-E z0SZkp{KW~0ghp8Ga>;mhW7SydR?+Y1JIEF|%+9&X+*)fQ$R56038^G`Zo>l0m0#Z3 zku4gJm@{`9OVZ4T9~WjBhd0#IOWg`9L(w5;!n%qlrSeuT*kQI~!Soot&YvcY^w`zD z=K9%LtdO#%x(mx%cc?VsZvzq(OYbf_ET2}6dW~F_z3m$crG52IhmDzVB&QLF%A^F7 zf9~nA1VCV5Hq5-t)D_3Py>-5P`?g17rpzuo+^IlgkwDGRz;$jm7KcwA<8QpLRfqu* z=aX0osHdU+;!IoQOt=+3dXU!LKit+N#b6Gc!+wC>jZ$p>k~wr^gv-9ix;3VxfLlXN z6Z@?RYLHIx$l%v@lF2j^cd_>sE4kOzN95iuO8M1YTnIb9Vc@!z)Gdr6%~h(Dd`k?g z!QNj7?OpjtFP18*#I_7r{Freg<;e($mg}QgDgODyH8S|KPNXsqEioL*Xy$BE8xOAd z5ljO2>NTRg<8iJLc?!t{Mriib9N(16_^IF!Uz+%{TBS<3);@~ytIUAUU8{%BpI!O* z>1xv@FmVvN(v`KM^s=>kEjS|&qFTmCuRdsO(MT}*J}$j7@iej#e}>xN_E?1AMk$80 zyGofBE&~i0TF({dToE}~2OA0fONI~@N={bn@WbJ)1xs1Bg4Kemz zq04Qj`(7MrK@)v&F!kqaWe~`6W81>JJa@*Oyrt*`xU7y3NA~22b!Zrk1X6epT%18= zEI%LK>GjMO{zKJiK zEZ=1BtL`G-E`}C$f9^bzpUFrvp!_*Fd3)T|Mj_l8gR)VPHg9#s+o`DyZ1nQbijf>y zBTmP3Z4KRXUYuw*`+l?1mtfo76?#fkKV$4OuGw0%=k5Lj;*pH@{k+8NPSRuPWVxDQ zBAG$hQ%~ue{X#rc^%x|grZPphk@4O~UtL;#T`r=C@DF+J^~(D#4~K!Clgsdfev0~^ z-}BckOZCs$CKVstfTP3-WxlLLK4ds4181*lDL#T8xuyD#Z|8mGvm=YRgn?WlqwrgO zo@Ig;`ti!Qpst*KH_px&J(biMoY)t#mN!?$wWxx&(aMt*hDivSTz<)+i)|#2sUQcd zW{5c_ES!yAlpRWn7jBj1f^nVNfnhUck1mu=bc-Eg99BZ0v*#KyfCvc~i97VzA+03x zeN7a@q#eCJ%+WxM1|)-_9D$%BqQ*mKe)sCEIdNFcyMoaWp<0!Sr1)YS@_7X?9*@ul z&vKJCE4y>3YXFh3QB$i@3q>`{DG@zVCyJ~ptu5H0t(cp2BqCbU(?6o}EMDsP!0I@6 z*$i+rHC40IzrK>Q{6lLnS$#QM$Q6Amt{=v{jY&75NMjm%PI6e7|MLANa$EGe+}1vU zfI3YfvT~P^u@yaL?E?3m z)8zeJoS(`~yqULX=w|P<&K9mWddE}Ew0j~V@!4EgRq#{*wfK2o}y+!@XfJlOI+YU<&RcvJym`zUV<;Lb>&P7auTWh z?}^gg;zG!mM9qT*mG=m&-?ULl@(W*A|I{SM2z$QBZ+gc~wOA+L(A{5Ikdifp$RVwu zD%!>May;}Ul)g9&wN!-(9Ha8)o`l*C3y!()p@mK7df{_NXBP-%1I-2YwF|Iwf>^Cy zDXZe}=6*825Yw09+2N+N<9YTq-tU#Qrq8++j~GJ+re8C?Ba~6E*mO+txdE=}JR}0YyoFTfg&AvO- z;Yo}VA@23+nqgStvZV6U4jRgC(E9}H@FRN(8dAbNHO{G2%(_&lqBv!J28zgr5jUgh z_5tLI#Mcn*1|&*PeWENu(7?Agt#3in5W7N6*HC%NL)W-wo1ngOa4O3*lGoaPe3fBC zFym}vDf8%8V&(sMHCdV1&mSgm(x)Q8nPN*MF)yKv5kWZAF8TFI9X)co-%()noO(Gn zvXW9?el+FO-dk`yjs|MmQO|4;a&hB`Gy!QDHW%-A?|%)?eJF zO+>pS<d$m>bE4?4Gi89W(tMPdRLu1glp?mPmbad~$Zk1YV9Jdmn?|TTUoM~gnqJtdr zg)iO4dtiG^-IZ`TzRh24Wis2Wn;hP8q5v0Nwrlr|0tCWpS+dxgBi?QK5t`OLKpLKG zvO0ttYl2>l&pNols96)7g=I%kMaWnSw=SEr{>a^c_@e^LhXK@7;$*1uT5UjVl>{|RKlJkj>=S2;~o zDU3)_GRj8={{iPnJskcB*oAv48S@oqpxY^+i&7WLJ@X6H__jD8CI*vkz8n z8>BH`%Q7CIk%aFnDvXXf-%nbRqI$*Vu^XrrFMk}rf-Nr6REYp(7tDuX9U&8e#p09- zz8@K;{2tvF4^U^+Aoa%OnJRq{AeKrefDhHo%97-^nIKqDxur&ri|C;MRGaRaw zX^LG5xL#hNw*T@dKQK#D$WI=tUcTAc`u^R3r2lyb(pJ&U;Bm_1@sc=VQa`PoAc-(5 zPHf#sj%Kc&$(Qz**STSJC~%@HllLFp`V~QIBVs3q%R0aX%SJUcxLM2Sv8WjjmSIfI z@XC~hS;eT2NI5V#SmP>=jZ%|gTZC?(J})8iYXFk=rdF8XZ#z1TEWHj$`+W^N707hc z4?Ch3QZF*v4OD4bCRCXK(D4Oh@myE8FRs)@CWm+(X)}F(mvLW#F^dGrRH=wH(-hbu z(BTRP`|q=cVBt{*6bFDJ;|H+FL`?H3apXG+pn&JjB=$;v`IG}7=N?R{cb`w(w(D4V zpIAm<;PRart0bJev4043JRQBx>W^=HPr9vy+!YzTb{6G6$`7!tH;0={W^t{Cyw4ft z@*iD<)J>)?R2jI~m3?!)gEUZmWWaUZnEb2g`$Iw&-<%`fA;FDY)}Pw>kY06H;`huT zx11DgZxiBS8e*uER&TYjxfu1JZMuNk6--317*{=s9y^Ktu|cX}XCtvrS)D=plerKr z@kIyN)E_3U^eRZ*%?181uHa7WYhsiKv$ArTnHX_%aAh#OeXPRh=yhWnP#vF z^R^E-WYrJ29HNST`N`n&GX%j;2qC}_!Cwg>&>;*RSiVD+4Wc~A|c@U(e&75SJIdBoOvILAGRC^HE1fBhIO{W%W(^lAPb1D}e{$DW3U-1Pp* z&c`nLHR)TUKxBq%7vr4Ut0sNk+6Ys8OBbo5`eEdHktccskUgtR`k8PFf8x|&MTRp) zmfH~3(X&lzM{d{5X#?-G7bA4nE$zkze=fGIcUzy01nSwy^3`j5ZF4WKCYPdBi+a?| zu70WQZ+o$uO@qX|^A-Lt2a=h+>33sm0L~9*BPVBfCo^*Z_=7(&11KoO6(s=w1C0&k A2LJ#7 delta 37686 zcmZs?V~{04mjpU(Thq2}8`HLJ+rDl4Hl}S)+n%;<+qS#kd~f$f?8e)F6;c0AR#s)6 zla&+>c6JGhLarz#LC?&<4oiM;bNK?x%AANo4q#{H77&1SadkE`vV-+pyVT-!Amv29 zx~JvXY(tL6>jo1R5713y2#5w3h8?YMr@i~mgy+WVcJE4^)&S?~N2YTc_42>pxwyM7 zz>EY~-`09!iARjjFCQ)sAKqg%1)vCcHt}s?GKMa>b92#lE{^X%UKb{B$(&ZdfKV?2 z0m(-qgt0vc)iw&}r(R#W<8OzqGgHJ6o135+i5!?Pvanp&B(AO zE({^_%{oS&RyGvC@nL`unVq4Men35iRbdty=AN_S8Z4R-MYQsda}-7O@|$uMt4HuB zN!bPpp@}@`-2+6G)7eg(bZy2M^)ByjyOWLt>@$;`mJ#I7YU-o*ysiIqvHiNKZn+}&?6 zek-n|*0MY6$-%%9{bZ3kdM3Ge!B|EyY&Tn*xA+3>A=7%yw)fAXzd}PU|GAM&$kX)|PXb|oY zxPmH75J1w)&K_1@cLRO=g+K500I-!CHAG1Cw&2_l6SywfQ*A2?xP|$at-8)qC=DI< ziy~iC7hMGZqq&X-tLsJTGJDEif5${xhOrg60d!-DL^6(5tH4~;%n%e7G}0&qatNa^ za(*1sn29kD94G6&pafCM61`OMKh5^Sx;DKjr;n%1r4vTsmsO0^1E{E{09zTfPUGnV zKN|Rl@?(<*`~AOb>hK$|^lrl1UwoADA}t|*D6{OnB8658yb9lb3&2>DHxBSrq+lS+ z<|o0Y;wLCKP%n~F@1FqSZKHt7gEveX87->mA}!;nug}TXvOk^Iqpk33iH!KQ%Gm}% zcY`kA+FyAr@Ni`w=a`BW0HtyC%FgN|v=?^LS5|5SI_i=yMzX2ko@K^ySHR6k0YRbo z-^3ciq5{{rWF^_wRN_0OB!A5;S)B9rn`oA3K>iqoaEhuvFOFVey2W;x&2KqA^|+l< zByH()yeyD#3&(!2u;S5l$Ek;C-_nOUHm<5+1qr{^GK|Jd{$wXJ0FXJra}43q>4(s) zkyu}RC^~>BEu)bODRPmQORh4^>nqC^z*!4~V8)!|wD;=;D>7HFnEd$tbDWd*aJc2Y zyUWtj)}^)%$wu&+WYID_mc5kG!>EV^Q#w;dvn-;kIS8n2s5Un`RBQp)MC)EtxI~k` z7KmY)Ki*3BClGVB3Q&T@bgX|XvfDK)*h80);>ijP6eHyN68MeZ2EJnsDwM07xRABs)clNaF1jd~^0_4ouA4rf5i@Xv6SijCc!(RbjkhX+ z@!%x5pp=vfa!cDhn&CxO79M#(wb7w5xGIsD!v*&*O&i8IN?F(YVHA`urEn#(kDDJ` zx#T1r5RFTU;oRpNEf1oK)$LZ0^a4p=i)8k>&D=t555Nn%cq}Qx-^@RoS-707JGXL~ z+r7u)#o;0GMX;WQ{Q6L)o;|Sf`sP?17qNm*BjS^Y#?y2AQA=X{AWNz+n5{s3D3LE# zn<44f&Od`Fc#$B|(RVS=h=j|QRZB1yCO96(B;TjVpyB?}DNYibbRO43z~L%^gRHjL zM#$Mh#MCitSL+f9@nhFa7m+|t*C3}!c#cr;6H07*930ln-t@m;hJPyuV{2G8)i%V0aQcXcae2A8`+wz5r9|dtuMe$sNOAZ|k%5S9+t-{lOWF~od<%K8E+B_(yv zE`|y{xgQR$ch3ouRw-)3jhQFR34RiFR-_+;QIvo(mU2yUhHjN#nZGqGf^Rd9`ze5c za-ssHKE{K#i9u9Vz&09Cai2u?+JGC8{Z7~6&h9Fg#g58tV&ni@`a z(s)oer0QFWMNG?ym9a(C76vv6YnF`=x1DFY#^okFojr&s$ZPp{!<82O)Q!;swAZMjX)apK~L3sv{m_7X*}~{$&dJVuD~KZ>-o6cM{V!9l>Glib6V)fS87u zKs*ut@#9qkuF6g)VG8Cc$b?BF!E>Gv3KKb}qnVgVk*$eJ5z|ToQ7(3FpjKU?xPz z+js@uvOiit4-saX;23SUdF3RJCO68c1!l#y60TesM;*iQgf(s;LL(8W9RWIPF$`N(e%4Afd@x!k3z)>%WL#%(0a?|} zP`k~sN1*2m%*HtTDiuWLDk7WNze_N{6g-o(A&=%uTncQ6X=gVq9Cbd|NYKh!Q6T}# zl#vV`-@Yh;0BigWa01$2dSj^b5*;`QG4{jI49vGY2N82=XP(vJ{CBtH4<~*y8s_iS z7uvtn`P0DnG&QFqX@b5nB=yQ|NH5wEl*?0)^3I-w|4gncxF;=Xv6EdUyj7%YN}qLX zE@-fFheSF_%Q;@x{N-=uN}Ig#N1_GH1SOnvF)t8@Cb1Skg=+;Pw<$$rtH`&7pqGaY zzfG=yq{!fTZ$FyE;4m+TyDKG{!=pZv3Gj4Deek*S0u!06{mkE1bXw&cP}~r^#Mf00 zW;Sw7|0Zp@v+Z!oXW)LcppNXl@xIhlBJ=>Sc@D1$L&sQp)YzNs92iaZ4Ql{Ov*3N@ z_kGmCjFBcYG79i!!g4So`*U9yX*eNrjxedAo~Hb8{kJrE6>+9#@H3#3A0 zhcH?-g-^OA#PVLjUIkr)HQ`7|U!KV^vXP%k-5j?EdL`8@Z2hY;q9nI#!&%JntQ2-7Q6k$@pqT^54ZiM#UVtB?vNiA9Mj6TB|oUd zI%Q&>)lAy_lp&K{ODpixNYxOFID1<)Xwbhcyyn=o&2BP z-qV*cQam~D+i~5aO1k!6*Alet?XH|tv-Fso;Mq=^G&Zi_)-V-I?Qj51fkw#_Rruf9 zV~6eWu>4vjY)kZoRgUKPXX=+sVCSCm{++wpG=(JPEuA%E z*yn>$-a3cXjYK4Wu-<}eBrlhfwEv*;AR-yawgAyFm)r%j2X9d}%~zsF#T-5wyM708 zf*`R1UhW`oHF3p4kNHY5)sC=K!LXwC7S6DIspt8c*Z0u%4o?AWbgy;|q6|lAz(J$0 za*pOvC8cYXH~Jsz49uG!!rT~3)_UgdJ8QP^&f6<=^CrXU{@x?VetTwzmDolpr66`d z6h?>fh-}Z5ap+2N_A2kC=lt}BeNG_ssDphBvRD@y@u?g${3RX4)bmIso-7e(bS7FHf;sbTYVc0XF z<|uV=Db^@+ta_E%{YP59XP~1|g5z2=j(}Or=Ud@7$P5_f?^_@W1sVt&a2@eC2y25Y zQY|KM4G}I87YD%3^}qaVs2YF#IurcnJ1tvtFh*O$dWr3CJkAc390}04uI=}D!>cz(I2z8w(yQcAXZ?7Hr400u@24Ah zMEnn8uvQiYkN|q>y2mj_kR6D>jF)a7fXme@^`>!eD}RA0`6)=-?%wHnCf(s(O;i4F z?r*m3X@neB1jX>lHuA_HLYW?8-!-8yE7qs(+CGg0 z)JNR=O8k=d^z^x6i24PKeTb#4jFFu!)TRuvHg6yMGA_HQKzbNO-6-;71kTYzz}Z8l zN%=Mc@2Uii`5NA{XYzq0ew|O}ujO+eII}2@23LFGEiwlp;rp-;BQ%qdROH3<9GnqI z#~%m`Qb0#V+5j!tPL<56FQtLgySiD1rQ}}?%3I>$SM-U+kGl3YhS>CW9W`aa&oU&E z9AS4AOouDw-DFasQ1s=6`ca-wfYUOxf?$+&CRrWO9JOmV9w)a8H|({|p$Pk7YudZD zCO(Dkn;#_lrsBhxziMX-R+iF}Q1@{!AAREMRoY8in~7vpH}>}RaBcR-xUOBLM#ae@DJi3cv=bB@D!t&BqwB~m^1R#5=We@pCkJ?Br5IkFo_WJLP_CKv zb(qGkb|2u6)(!6ePUHTKumw%kyIXy`RXKSj6!-+&!8W4*|0`l{W+En{|43s#K1LNc zV_=LR1%QQxh5di(V>2}$M-?@k9%4H_5*-W<(Vvf7&{1WQaOZz?T=gKt4?pifDrdsN z1m+v9=J+z$YL1-l$tQWO=1MrNsL1Gxh3FSx;qT@kR5jgP)zO{wmfc=VJS;q>F7++k z70P+{FTUeDx5>XzXnWpWY}Yfe$| zLB>=y)jyh5_RQ92Hs_6Z{1y7RSl0HvyGHlw0I z-%M|XE@hi!Mz0F_N;@qr{p#iOG_}gL)N=MF1;I|$>YC-H(H5HZ3v6hOmc^FrkD!kkWfHmy?8>H*?Z7we#~)206-DaG z(<(M2>saMY3*OdfY8=t1044GTk&3{#%9Dvd3Im1Y8A&$96r*5C`z^(@xScKV$Gasb z=b6TxUv^gcu{JhKEluplkFTI<)AI*aH_n)XE-E1!F2)}fzr42`WoK7rE9Q%JBu)q< z!AJrX0A@!S2UM2I-R3m0 zYT4ij9M_ilh%0?O-bYviLMVi3%OEOm$h!Sd^e21~HGWOyzP#=CW+IC-Q+irKz3Bcq zM#vXwJx&k*v1#x{tUvPC5wE7N*z+r02EhH!PsDdFHW&=w=U-77$g+^9?m#V|rEgr8p_H_(j8nCWa6sZ;5FuLY}%2PiQ0%o1g36U|K^BP8$(VmG9RarXySZ=Qu*K(izVD!hP@ zJnzp7<`bhS(HR1Veh+9-7Gd(=HZ~Q>)83exe)2y^@7_94U18?}(etE6nedFme~2d~ zM0&jH#R$x#2LSX>WGLVU9qh-P!Ahr(oxhQNSp;z#gOTufOh}`3IdW$S!jb2pbn_gv zv85p2w4AY|Hb_Q#ZSNY0=Z%EJ7{_k-d>!}%Y8f#N9Bqv+CT;Rt1rcY$CD91hK+Tsx zPY|R?7a%fzxS^0-q8R)>HG9u8ys2X`z_Mx4Qo;s!g#nU+RXPSfG(Ip+|Ngy=?2i=P zghT!MoqO@?YkW@q#Iz~^J;~e>wrtd&gNbXe+rDH3byv^OCF4=Mml%F5MA>&LCFln@ zrs+0384zYfc3%2hvXUtEXD>3-q^+>094jT!QH0g4ULQjG_PQMyqo)TfZ>PIO^k&yo zxGZ=LKL}t`7P3C@%gPOgR*QpG)S&=Q7MCc=kO&nY(W&qSM2ib9P&3OFv);v*JN$fD z%p~o$8P1rXBvt0KSLmk*tKO?&>F_1%>%^bgQlk!Ev0r;l3ot$X^1;z=Z=JXh@e>>? zEKfAT`ZUQf(V^rrQx2~Q++e_AM7$V>95#%6=vRQOd7}r}BLTS52%4+h@zf=ACMWI^ z8WLwiFdmrjhy-F@tW)_q_@BW%mFsHn?3;3a-@rgt(bgh>@4?x@iIULuvno&IXjisC zYGZBxlo3KWU^0?oYq(3)_yd$f=D9ySu!S`jljN8`rT~)K;W>al@&&T1T zff8^5>t)IK;)^)kZot4!3u31x=i4U)`&7)Bk4(uQmgbjB0O{JfQlU%5hqx$79zfW!G#x3gH=JvLb+7X}sLUWeaZDzxOMUw7bM`#D>nOm>1g$l~vloXG--InI zncMv2GT2SJzX;ZGN>gUPu>AA}7seW~4c>U3X$FLq+i z^pp$R=X66lmBn_VMq#$-w5jywz!bMkE^jWt8~83N-Y1GL9KP)Gp*uA^IjOs>oAb>4 zg*grM=FwCr)w-2#3jE!fZ*>C;RvO((#;L@`%go^)Er+$=lw2|`%?o$d&l?d#vI}6? z71-Ss$1>;`$O;?1g%3aSE7h@Iy_#ECqF1C!&I7}+1kE^cr1SoPTDH7aX=AgP_OI*t>ak^7RQ(_el?=;ik@hb!?zbYW8BPrx6>Vu)mp}^m5y6g#vj%;fFaYb zv|A(Nf=UB22XYX?&&`x`W4=3pRM{iWYC2it=kE}%0fk;yRKCCMv3&)E)gu5tbCz;l z$>rn7c_^Z+XhgX^x%&95VbvQQXIRfp^Se-t4a@Pw43!6+1j6`|`f#7AFS4Hm3gL%~ zPsaveMb|NeMtOq2;YxzBSx|wFyD7nkqq7?)v#M_!#fAM2y+1qgFS=5-GS}VgPPngtR zI^%X|+tr{s)4}Lu$cxb6$w7(Ki4rqBQ)+4Xq#EEWkU7ezlc)|l6k4S5^-i|&vsg3( zrtsTV)2>Ivk0yFK{l5rHLGzFP57om81PHPMn>cU*jq=t@`2{?@b7=)Dsv=8R17%cf zBE^g(c;0h?>st4=F0{0vYeUYJ4 z6?B-Dwe!^8c$4mFiWX_>Vx@XZVjVL??7U*!M9H=`K(psmxy%oLK}XXA~0$CT!4EIzbECV)ZME!@uh;VL(D!v zL51foBaG_=jQr>3OH-g`AR7qxOMopoJTn495UAh8Ae?lBAej34>|8&tDTpPAs$OAq z4)lC-_NoW=?=O(Ug4Y`Q(*@sa)X?Cx&7#^sCMal|$t*AmS7PTac%ulhU;_@mLiId3 zAtZuA9codzO@8D+CKrFAxoLyYbSxx*ApaMKG%|AP=rj#4>VbZSto4!LJdYba_h4f3 zt~R_eXOQEXtO_?ooe(9s!abX~%24$WaGpXYTZ#-8S79P|u!4T=R|d)QXXR&h%G0(u zS#xfCbnj2!@b{5Ox4*41g*VVSajY)PCN?j&?Auo?WGPy$F2|%~t8V4)CT=f)u@EnR zxH+y(?;0m7%n|~I{Gop(aYynACr(%5;;Kx;hB%^JMtTe` z!U)_GgcPo&yrnCSW`150w#Ddlr8SNy2fcV+%E z6eTob8+ufFioINH;QwMHP*zWM(tT=`(hdcpp-TM*(Ml{KM|aa>VLLN$P;u@0z-VNN zr)32QUXgl;2GhLwtN~eP+c^b@d0@wzdXICn+=Maqk#>gc68^g;2>%%!|M!4^o8#Zb z!1m7p{m+8PB^p?&Xy6S`OU-#M541++k7zpU%xKYB$$mD()XVX%RcR)2p!+!{HDaM< z_&Bsaw|AJ@Cz@7|@^ez#i1yox&cMsfAPlMXLUGm>2vC)kIcV#E=W;wT@l$rCdz%pA zW!-ZhdrVzBc5iPZfks0J0if{%Ki?&g9vm)lakyJ2*ZEEl^&!>2%BP!ZFE-B`W zDC{to=kg9yHXlHK%slG@Gnd%gZuNo<8$j+Y&OspZCs(%?UCu7Z1%@2+3umcFAs_O;dGh(0d5^V1Fp{s{Pb&bwuX1K1?sqr+08^ z0u?@4>rht=3|nm-4=-DPEf zGk#gySGc~_oJY4FIy=$iiq2cUi3wB^GsEZ_X}dsjj)!mLO4y2qI~ukc2wfg}7ixi& zv)de+3mB^mo5LHUZnKqFIt;RJzW_M@PyvQYu}79I+?H&)+D$hJS2#%!y45dAlB>3P zS3k+L$tJEZ;XGG*3d76R2GOY?-ciogF5xBMaa3fL>pHmSOdn9{BCM~gqf}O(9@xc1 zRE0dmFDwD7w#t2gEF}KV1cI2 zVE@Oh!}X6~>>y0QCP89AptSKg!B|9Ih&>yvOnvbo!?2tUZ%3A$y_pTq!t1^!+1qp7UCOp5%p@@fX2wV!bBkS>h@17lt@wxvvpgjo?fjk*G^>V++r z6uv2&8rykMeanf~Qlr-<409yyJC8GZJA5M7&^5gmYId` zQ?GA&Q+Nto867GBL}4+#Lu#v(E_zR0fxR4K6tA=CwF^l0Uf64&0#U3-Oln=Sog zX#YVM|NbJ)5!9k|+rmv4%!>;iv{>C!yv&XH8c8~p!_=f5kWD5u7kAEBpRmq&e#f5^ z?2EE;#cHd*uzzY<4clJx*gfIe9XHTjbCo-gE^~`|?$*NruMnhUvWE}qkn!%8!AwCu z?FPP-HT|&-D6H~W=6t%QQ5v%1T*f=N-~JMGFCmNR!_#k#GZA*1rG>M-SF^)DjH*dy zLK+R)>jS&`>^tB}$s>kmL9xfCdNXTB*HK;m?hbf2vHB8}VBsB|Um?qu;|^uz^t0u0 z!lb`@3A*P2Fr+gwa-892UrDy;TGS!SU6ugx}0fpn6n0O>%MxB$ z7Z>Cr;lUha7I}^E@5vQ-p`=<~sMRQ>BI@jfa#M1~*GJPMWZH9I4kEtt^iHoy5=rP^W;p-CjxR zy9Xg+j1vJxdC8(mYFT+o-(M?3C*H55eALd(B-CcpzL$h8U*xy$VyY2Z4oZg?pJ&AQ zWW~`EjlJuWS#F6bTZHU+4qm`r9(169l%n8oYvxwnq+hz)bf?A2>p&9AT5$6GlRec| zvYIp@AY9r!>l`wTh%;Z3ac%4=YUR!f4JIu9T6wSxrXEcrQ892*3LB6SD-an*u#G5A zz>fs0XF)TZYw_AW`4ld2wp)g!m>ViW+huj{i1)K|tJtqhW}F?EwHz|YGO;>o@=@jS z$fzYHo-W>)H>g~{fo3f&|CCI$0R!D9COLZKLx2|<-mQ%Wyd)*+4U(jO!cP{s^sMF+g_#}A(&)t+8@o!0ISu-rI%08Oq7z|3yys#%rM31ny7O`IW91k-dRGd{yFm{KF-~}LJgqXt2TV5qkDr{8<>{5 z0>gXbapd%C0DsyFDhX%Z!Ft}uG=)bEie^WOk(?WCA`r6IH7 zJ0IO=jtR%}^8>07ysUXIS@Ccghc&NM2mMw275oo<7oN$sGyK{^3=6?mmwiG~;3o8c zKnM9RM;0Oe6Ee~n)&l{lp+sB?6#P~8QRDyJX8(_2BV^7h?9@Tc3WVBf_w4adJfPJMkxb4g8VVUFLC!{m0-bS8znYm1wV`tp+6n1_a}UGAbYgN0Ln&fRvF z5$Ys9hTJ56Y!!a&rW{@h>$&;3+||{kKFc%jyIo|)cFCVZmkjfX->hccy3Y$wi+c0x z%kH)pn!~*soiC-Ipv~LP^Q(ugze~%%j(4-L2l^NL`@4WPl+RObe0)L^@1Ob5KeDZA z%KqVq2FlC|tdsi}+x%YwTMxJym&t@2dhG>kU|-z+ThND8TvDq((Rr4Ty#wjTP?4k| zDVW;*6GZN;J{@S$^!_b2BCC@dzkyv(?Ms@+n>psvWAmfAd*yN%`_a}qm6X={c_>xq zqo#tAu3t?l;iIMI#PaHW@2U4r^eg8B00E#NUf}+dckAiCkJlnCy<>FckQrN`YI4R# zAZDF^*D=(>m1IsO14zEwRdJ zgnf`*7g?!JaTMo>n`PRukX<`SPq6C{UBxcIr9CKk0`-M!M&fv%9aVFMM>Kjb39zM4 ztWnAX*KykUH1!u|dJ2_|6NSY}g4Q=K)G6;dx8pk4)`yWHZ zYj0I-ele}=?ka=Vgxi3bepuih4=N}#`+p*9?3}Fs(~;^WZ$_>EhcKV$?HeMCnqP_T z#NepBVY(0D=FcE_I`Rn3rluXP+uik32@D8QJ3tASICHYgC>by2&pvm-EW2uNBRvQ0 zQj3muiH6MXX9`ppn|E_!*zZYAh1u#CZH4VKr3QQhi(#ns1u%n$TtNPJl@}^pQ}4=c zb1v4FR>Q=G{2JXg@Mzu}_bm*m@SBHsNrG(S^qptnDq637+6nKzWm#Hs=?qc1#vflM zg7NUtPyfM_Ios^rZ(!xB)PsZZDw`i)$7epbx$e4pv6|E4=|Nq$f5a`jL^ys6GP8ed)m+O(rZA z)CQhx9Cs4Yh8{wf1g$kkS_Xdr1(sdM0H&r1B@J=pjJ!au6i4TnDlI0RAVM|^w?Iw# zs!DVxC3ZF)SpO52JfgERU<3|@CeaAsPiqthEzp1lEkKUq3otJedy3&Exsy6O075@b zOc5=p1Ua`((ID%}khIDxHQ))T!3TMZXyxUokUhrN=Sg$FG31v<gycO{e5ttUGh17Q8qisH6tlqpHvTvZZzP%bgM)XIG02&lPK#9Z|ivD}Ip9=H_F z9*hp0AXQ%-zsNf>GV6l*Q8W3--WcX%4W|qDDZI14WL}c&yY=7+5#g zF0~!vSNG{{)Q>;*k@Y)oE^Haa93J+SvMw5{V0(H@gazsTi|HKy4pxJ(as~(}Gv|NK z7%TJtZUZIS+4K`34{sl4;xCcap>f#YJIm0bMCU@ZcHOHqIy=8m1dz?V0uXUYR&uPRZgdu+M z<(Wf;`KeL@L=qj0?GOd%;Z0=YuveVJ=YNdD>11^kOzNM25CmQJ!`3S6%^Yn!&Cb;f z$ujw1M3~B<^%Rz~RYTB)In~PQ5mk0U&gH$GXaECIzqcyU*`;DWGFNxxbgtzjr80%q zNoE=5;N)CmR7+aUxMvw=Ih4gwQzG@zE(?Qns`JROH(!Z>y! zs(gS{{q(T^loy0K5t+Qg;juN&4U{$Ses$Qsem0O0YHdRS4GaLRHG0{NR6I6p z>tUf2YfR-HcaU&1k9qCmPlacO@coP<=2HJVJMF|m%sGXi@Ql25?})n*IQ^3FDPZqB zOBRHD;obY{cPjq#oH*x}t%}eEN zefp^L>eNYV#K2E2=NLLJ9C{To>!Du~<0-Q&1_tS}*!c9(D&@+6)T!)B>F7rp^?|9_ z-DRp{igrxuW1if5y~nLL!)*_Zp35GAk!^*P>ZCz3T2rOjiij7n;%!z3m@iQ@fq$O` zXqYo^NRLqOBOwMV2T+Zv>tZ~Cn(}{$J|fk`e$<6&%KRbaK*o(UBng2gcSq)p^fbmw z6e2?z6@yKbrh-NQB+8q@zyzwC(HSqfe5B(7ZX<=rU(VXxrrF_&``~wL?91)9qb5x8 zyix}Co(C;9{5C~5jZ}Bb93-X*s&FS`(|L|aks^l!kGpaO&)UWsdhegHf`(B|T!yy1 zZyoe)b`y?;tb=jPpIwY_djD2njzvjFRbb!|f zNoLd&E;8vIT)De8hVg@npx_blnn&+dTx1Bmfoe4nHq~lEFr&+p;3I4J6udcVEsL>Q zsganZk8J{N7I=1UE&fGO2~q>&6M)Z3Gelt!o^f6>C#ib}KP0MXSuBga*CAa%R4kh@ zSFI{TziTN0K2vP|vIb@A7$ZZG`;Jv8(>FbhALnuF7|T9dv0S}5ZZW46NE)gh^()6% zV-AQcVnwd_Um%)3mFc_L;-88;0W1DBP)yiQ!AKMVDOq@$(3w=fV^)WL;@;QpezbKc zL;t;{3hJd`;ZVTsM-)IERzGrMoe_~%{f4+!@3+PTFb3nIQ`~|V8P@U+^ie50A49j| z`mU;faI?#mY!B_E<^AZCjMSm5g;x1P>5=a7)eZK~aMSL9;bwnbhtgFb^-AEin#yQ) z#|7fu3j1x!Q|eX{E!2E9QteDm=pG|BO6Y!c2(?| zv_&~!*=4!w^NgN9=6A4uQ{YJk{#w{}`Q|+VP~2bYtQ1-!#Ge2Aq2P@QZ_wuoZFJjs zt64Ot;=~tBZI2W~N?eEcZqx!m`mNDIYv@TLoBT0>@vO8_Xb~7SH63eGC$Z7s7tNnI zv zus7w08X_ek`ry^PPxi13OYm9wwHWcPYKawmjC1Q+2u+eFzoG9SxR$NcYf~NURw^~Z z8o~3NFVH+;wzN}Z6i(QVcXZU+=;LhGsnC7gJG{Gym<$sl7@)`kR1sl^Sn&Du#3ZfT zOEbufKi(OPPwoBaC)7mp8{$x3qgPV~bmUK}4mDzBPVlU?MQU@9-SGQ?(tBY=-(3N$ z4UGib9C}{KqC?%KQ6mZ^rS>q!x7H12zsojn+Cv{h-VvLgwz+RD7 zwkv9A(2bdh3JGx(7HS|}Ef!y!k=28C3|bafDv9G?dobqO`u6MxvFYEy#Q390$bhzL zLlfuUP97*q@j;gg zjz^iD*}GS!58ETxH$J1YWnbk1NCVH1%6VGLHM}D|d5JvUfNvcF8X3M}M;%9Xjg(k8 zl9e;kEHqROc-!P>w}lS_-v&bVz`Zxy-&7JWp6*}caOZF_;(*8LTZM$n09g-L^uy)` zC>Nc%jO42!)abh8X00j?){bMW#7#qb1|#>y!Nq~(wzT0PP2&^n`Grb=di_`BT*-9u zly#QB3C2F)-XJ6QgxBK?Y12?fhOSthnh>XR9;8qx0IwX;b9#3XY~Ry5MnxbIZ*Q$l zOVvsVSQlhPBSDVsx|hnQ#|4If35RI={QUc|H-n#sB( zjb_6MAhA#uY&AbC77PIpfvXr2L zbHLZxcR-A5;F!S1JyCT7uG6MGN zegO*j>S@GChMfRMLs8sNBqstzC`nbdNZaB$NQ5z?C15&Eky678$CnVe9fQ*?DgEWo zr&o4nXaFRJ0HgBqVgdidFH=zj>;2%hvpE-h37ED%3E2EQ-)`rc0N0z~@=lKE;)!BA zu=K>Z1sZ`-<8tV34=a`Uh356*%ktLhlIG@W$f14C&UwJutFGvCB6}>~eK^U{f(HZz zYvJ438y?m4wsF`$i})03cLPcpjzvb?6Z>^vry&*E*UAbU+npb-ws&4_vauJqMa;%i*UI9#e5QHy z{zp6&nuj0sa&3yDf(_=))?*&qc|gAH6C-CNC{BusU_%-!RTWG;t$cY)&qLf|51Zi z`@2^_ZNbJe2OjMt6R;ut41fTo_s!ldCV~pb3nbJ(R%yYbkh*e|(o@xdpJVyjXgMHQ zz^ta`IQrMI(3)jtjlIGy_x7@-tS~3HgW{<&v%4^SJm1r`z;@CP={GgwJaguWPpdSl z>IbYA##n~Sldc44K-nt~4YO==W84D%UVKOnFGsdybw*fQM&MqB#i)|??bk}CD5>WR zQ=KQewV*%jMU9ERd!JC6^YLVb--Sa{Kz9ehh$OTqdJIfbxX|1~rdzWV*E>Y0OqQ4* zA+FkTaNa{M-O9W#DuScc*YH%_j*^0?vf?vt~T>t}?snS-e)T8lnD zSk(`f*NcDLPs(J|#}xgk%5U3`LZ8NKRLo|W8)##Z&!UCQo_1f!9&R{Ej84ZJRt9wK zb&cdCc9IaH<;R>>z;VNnCbCYbXp;IrJd@@ovvf?7m!&g`%6K*Ux~R;2l6Kw|CIEX) z&yTZ=xFPblr@=7NTHM=Q%@0RRnO*_$$z2|bG@?5S^I^~?Z{%N@s&468jY3efBJ zCt*^8 zxuA)#kHN<;nfjd^TJXqfWIFZ8CT2d=4n>R(to4yoJ>KfHTp_pP-`?kkn*g7zCaz1~ z6(2a%D>xx&R)0s10O-DQhi1L>p7_^2vGGNuq8pYR?Jh_K*xzc3mdnH??8>UC7QZB| z8L1Cj-j`N0%QC(ieV3Q;8tIuc)F^0Uq$H}SH%*z^&k@R)WHNR|)?n_04~IBGA1aT@ z=~@7&e^bw8kBlvZVkj^Vs{r&#M^B8QFgHubNJe|eNPt6IL9gDQ31-1`Fs7(rrRRke z18$b_?OD`|lsBU5yc8(;ukXq?y3pV`C@pnV*0_c9 z;e+PjSz70Mh7IWJr+276DWNIg`rGSHA1d0$tv-&2Z%wlx*Hvat$bc>4vFTq!vR1v0 z&tIQ}FtR?OnT06urHs3ZPdL>DiT$x&-JWh6Ln*?c?8n$#j~A(xf8C?a(ttV58)61e zEajvWt@*19TF#JLgui8)s9uyY#VZb}_@W0N@;q6eShX6nSBEL~#B~$OC~2|FPoGEe zAf%~TGNtb|6%hn5!~qM<`CSj9_4ydtWhTO-{3t2v>624&<4g;n&>3w+#AyRndD<9M znKjWUYZs>Yyl4hlFj(RU-hTTW+EV7UiuEAaRorwj*yxcY)@!r&Z>cVj0{Z<1dtxLu z2sCw)`~Vy0)sIZ8ziHMoyLRfp3{&)+VR-^mXA##9*InOyT7b1M`B)8e@8q38!J_8j zgS9e$qb2c|2(t>Vc7ox=UK&Q0ihuU&D6Qjo2c<&X+^HuECB!HS4b9=D<^<9KN=lV) z$5Z-zhl<+8G@hPM@0RxLFw(jju5Hw&O%A-k^`&k@nmgArUd;jF{;&5r98>X+k<`m5 zq4~esyFx{*pnx#=WXbR&Y>wkv8K-FyE=Fs*g=@IN1~ti){62T{v6MGKXNu1&(l&3{Z!Yzv z1r>!s+Z$=K)4E$oL9`p(#GEU?Qh0}H{XbmL`-v=2)Bvi5NfK7kRt8k8tzj`#6S6C7 z0de(;CMa%6FVDi2RDxL8?9($Np@O0&u3g+TTJ% zQln-C>q`sHwKQ@TW>GS9q3+AbZt@!;6Xohd6=Nc=jdWbla4W)>BSl|3bBcE+PQ12- zWd9FU=M3M zSiEH2n8wHJTUBxJefLeL8aev#4I0Ij%kZD=MZ#F1 zFp%r6h5Vq#P#WqYXd$4+Wr)Bugx3Q7^1^;8Qj*; zF*LC(I+-3jQ&67t9CqJ$?cTii?0#;0aiwMB14j1kk6+#)ZPsz?) zY)>KIIo9-8x-WIAIOsQKN9}Q=0=W!&2Y*e0zY}Es*sY|RWcC;2!`0fzWU-5-HLlOE z0X+-CIJqRT5n;*^DV?3Q>W28M5$v52Es=u-#S#&xzv4ORwVSq84lk(h6DjK53jahF zITXlC6mcHciF>M}k*$+T%8MVuC0N553U-Q*6Xn(W8nJ!sxeCy~kSS zn&A|@R!nu@iqVZ>CKIAHZVUdyh&R)3Yf22it9~IyCX5IXgL!pYicv-Dbw%0N89+0} zGQy&h5SN>^>Sk6w`iABub-PoWQiGI26D4;mQT!{Udrm?OWX2rZ&(f0tBiUl3nQAC+@8( zD%wgK?)5nBgo>GE%ZIWHHnpkJalj8UURkccrT36S&6sk7n%WQgubD*!%a${L-Y=9UINWk?YO{l_VdZ49wml)g{|qMDvc1pxZsC}=sf z37Ni5))<@~u1YM2=677sIv26ode9OrPpXBJLW^v>#JHAX?qWtN(9TIbUS*i=p9IO) zp-uWC-nB_ajM-VMpM`zWTjkFFPtYzh9cIa8l6wr2T(7qvt(rf;xNKS+44CQNg!qu6 zmm!X>0sre@=2a`7(Z}au$f2$hP2qFf;r-pk^LyQr}=3j z#A9;D@PhHA_L?Ey2zEfKth`7$Wy19_N@j}0suhCy2?a%yX*1xRkl`}_G}nIMv9c)5 zc`FYAUqft0?{MZL2k^SBX1mLK-eJHhpXopX#HscY*Ad@!@s^GC!^|Fph~9jmz* z#VLdtu&$;MhHs$&6S<-g7CP@dC{NSneDp`s*+VV}04Za@09-G?gb|4j3)7Eumd?Z% zZtp~8$H*|fn12pEa?4urSO;FsSe^bZSPm%lJsHI5uQyC4Zb<=rE{V_T>@TAGTx_j+ zwNJtdbCcz9UU*v@F@MM1M-z>Rp58}4@9O$^Jd>~a>q2YqdjG~0fLBHj;IMU238_m# z3>sYRwA;mn18gCjQ<%Z9+rVgFUB8xkJ%`vuH3P9;AZ|rW<&gSXuk=fcli$Cd%CDv- zi)*I8Dd?Mc6e~S(JU14$( zHCEG*55S5^ct%F-(3F6nYdXaY=sp$R_Zb>>Mv-E)a}k6LX1?92f}DD6HqaGg_QN11 zxNFsuE5Oh$n0bO=*4Envrz<)lSz1y8Ji`xsGc&qA$i}bw_LY5Q=Yvj|1nbu?1y9_HDfa z|BbmOAx!$U^ySeJRh~~~TqsRDia2U+wHWli=k5@=t4p3m$?sAWt?nh?7WE)0qc8Pi z034|Up{*cf8N9+>$=<#8DcU%h{t?nF3utzfz%br9PhGe|1GEM5tHRf{w-1GP@}*BLo~*h+GRI1M%PfqM zlVzI8Rv%fg*J>ZM4+g`V^q3A7?n0-csv!}sC4n_}KH&gPM6a@Cdg?gEKK-O48o-~S zc%Kk_VTgc0qHn&$67vtawLgo!j_xp|b%uEFdW`I!rsk@HGrsrP&^G15@8?-FfSBvf za5RqA7?i~HN1R6iKOF4N${Tvkh6H5hn7_6Rge`y#O}GIEiXRbM)I{Gm6h(bW0 z)Fx4QiSP)`RD_60iCP9{l_f_#AnRE`Yz=+xNh@T~UK_JvGICKZ5*gB==M9Go_=ZHV z%~b5e*IphcftDCCDEm@g@jlW6RA=DfZ89Y?uesx|GK0rm6>me1B^OY)VHL@EN_(RN zS$H4<;@ZMYBVGLqwG1?mM(tlV&21(m-@e~;@`JOJ!8mlq%K|b5bw`c{fKM*V27=fn z<0_DPW&+K;6HUq)pP9k;7IU4_JmT@Bv?O!{x9+(hRJxUK(`bqTkwZhCChK z$$4gr(>BQTEol#1(vGhlCxLR7h_hws-aKwfCLkGu~(td0lGr|toIcypEpP( zt7iUT3cW?kZka3NXi5Ur;a^hwvH$3Jx>tq%$?B8?7%wLpxH)DY%{^`<>0U3{Q+&Zm zatpuY&Bhnzar7{CqYbtE!5J3$$XlR08WfW9_>NQyhAn&|QZt)7{tj3{pv0?oU#=Q6 z_Tzo}`Dbjo=2nsXfFdb!?9IAtp44t>>xulD($xwp#TOIoW@u!gdc)Msi8Nd}MIZyE z97q@Hgt~X^#z{2OKv^|oprDF75RRU=CTlR^e>0`P;%g z2Ug}!t^=&y1Rb3%J?}ONj{_~GSfxUsm`dPD==i7_-?rNII#yk_;Xf8=ZSptZ*6X2- zQ|zlODx3OjKtf9SC*~WpneIE~cgx>OM4O!^_V>X_pzZIY@pe(HlEO41Z(O)~aY0Xw zz)SYmvL{y=-#*R=+rHag5B1-8b zn5I@SRt^1%B?dppA4(+aNLK+!eldIo(7t&;nje_z-y?G=H1BOpd5(r9G4W&@8s^{ zWp&Y(fYskHpw2W}JK*$~*8~?top!2x7eyJPFeAS)JX4`s2A{CM{PxM-D8&+X625*D z7BYwKoq!H>+80@;*^K)Y2VP!A>S>82gP*okV{)s{j>oWC^!o8#8CF(N?gq+=$vhq_ zlF?Cf-1Rwk5|w|ln*SbT-sUY7DqX~O_Vh9M!c0f~_s`VHqNisrZxs^_>r(F>kP=0Z z_TLeXUk&a*2x_ex7F^2QEzzHTU?9Q*u;BkczH$C{d}HTi{2!xuwI;N>(rODo6B#7> zVv12!PT|Rrs+JjAsbw{2newp4IW2Rb00>!B1Q{IhxGd4s0}>LaU&J1-yr7jG2^H;OmpP)ccVw7-zsI^9y zN&5Rjcn-~K`G8N-qBdnMEK~%-LwEzAO&Nxi%5Ico|LBofI$x_kUy7}L<~pIY<2 z8&j>r+Ix8QW5T?pAoByAQt4~}_n;0s@=q6nR;AD;o6YT$@aYpXU=v~39;;VIt%{FR zaI5e}lOm^3l~tf#95JjWjP_SqGT2U_PEI{f2)%3#sZIj98X-)PCZIrh9{K!E2@N+u zcqu|%MY#;*I~oQG_ErJ%g{C0+3s?b0#@=sW(CQOnSTR|#@D}b4R=xrNik3)8gLdu* zBvL1e%CtHxf{M>7f{uQO5;j_0^oGJ*GDcYXg6s0k2eF)Ex{*Jre zPhFgrWDCm8kf}aMUD6$ZWQQ^tjvho=pP(*WMZSWJ8zwV^VTijgb4lh6rALwmMeK^4 z|A#Z5gd|LyBw`M!{tq6q92rt)_@4qrR>jAV)1*_g`M0$e`VV?bq)p0MPf)U z{D?tOAh*zX!dJuOxTl=U6357_$jpk3ilK{8!||G9JYw7+X9(2+jN;6vFMHF07Z8Ap zB-X=d;_8Or2HJJR*=hHhtM-`_Dc!W&f#;c?CD^62d*Wf-=~v#fU_mXlW3WX~g1346QZ~d0P7I~bltQwLGe(^{?0TYo5SV81 z$sB7q8#ETY^9u#iFtvo#GM)VB(l*ctH3G0Yt(aHQ9I`KY{MlHuq#=+wjcGp5Is$@MYh83dPed0WohwIoGWjT6Wx2R`SuCKB z;M#ootYL6!+zqtE!Ix~qR-Ms{UxqI0*=FgTFpJZ>Bdhql#e^LU--wz4&1WQk-R$V^ zw(Hf_!KO0~Lg)i*25nUpx{-Y~2*FV{@h0%IvtMV9PLfe9i#BoZ)jw<;?J-3$f+U?z z@5C=lQA$rhyvT1Vnj#KnXMb%wd~EZ%_Qrb2ehJA>kfYr#k1=AgmtgPpk=3{~5u<#O zj@<;Gtl*gi!VJ@&7h1m5`?^BpuLi5~xy{thtRO)R1!2of&g}Te88uic43^_sdkv`e z{iWXu0=0VG03%ls1t4??w?*VNsP2|D!BQ|wwSWxpos!rQeBq-{npq$A3p2S z5pMVIK;*^^^f``0EXZ~INg!?YOp%<){G;(NYZ1 zMl?o%2vK1`Aa?_tx{C!xA${~Vvz()E=%}C@M72Q8iyP&AAj_O`8(fboVhMHftL8zsag+$*KO)A2MI>onlF;dCBw z!v#txv40U4g1RSZTcOdj!|Jh3vSPMsxw}3k^?8UCli+jdL3{PlXSa@gJ!E(rL1;rM zX&uSf5KCPL?*#4)m#p9w41(8BK(%hhxqowLhZR5~!EbufuksUt=)#K=Q3m;U-!JBG z^^wSyB8noyU0)p5v?65Sa?ixHG#Lrteou=724VA`6Fhn-u4Z~9q}%1pUlKL1Fi7QoBJqcFu9r=5U9)!->LT^9s#wtnU82c)2m1WfA@<#LV$^eTgRL5_W46 z9(0_XKSNMd-pvLqI7(CNMe*`2<{N`D7mx)dQX9gga9ie}bm^FG9C-_4;CWC;Uv#0CKwK*RR8(BjID zH2d~kk|_fgTyB%+Y2RZ)g~C&xU1wEj_eSsOi!3TTSPFQks41t3{p?TIab#(9XYJBC z#g z%knRrB^JmV5YpMZ{X;k-K~zXOxAAw6PSfW=cCA(`W*+=wKHw{GD!jqoU{TC{sB?%e z#<)z}7{bgtg=yJwqG{VDQ$N z=_RoypY&&A8U{*GRA1V`B~utkC^ybiI9X{e`-=KrPb}Yp_XusHcf@88J5x-fhl?NE zgJt5~nuPuPhB9-}I?U$_kY_lNFgjF3nhBZ#N`aDH7ucB=hdEG<6OYi94$lfz%?+XB ze6Qm3{hXQ2F_(a^{Cv1vEYfzdMF~vFKQqU`_I+dU#~CyuEG zLt;WOF77<0^oSY+%~4#1tGz8+A&MTIu3vezLfRCi?&v}01_t)pb+$7+Z7;)H zPnS&VQ#4YeCyhFFbRFJHcCc2m)`r3JxL_T!>}r2*QZ`df=SOetrzrJJ7;E}7B^H{} zFBM<7XmT?#l#`VLrYw!-y;%ha5WP`J)J?S8=tI&Ge5)6Y}XTZUWR; z@yI+O$5(0Bj+y7Lrg*qgQjT$2#!_HwShD3oO!pK6%Z+9UyHL!K4qzTTg?z}8_8;rH zV3smDPbGFhT{1*lMB3?Sg3`}gd1>QW`g4nvpY3Smj%p796&9leC!6mo{SjpL0fCic zqpLG|UFuC1=#dFu=6P^Bp;ntBuXXZpmHV0=Jk*aQCZ}tOwA}YCSh|EGVu`R6=sGBK}HE>T*c8{ue9a##)VhJPv{h$pZNM!*RYnl_Cu9H#;p(A*WjsT zK8({fP76PZV%DC3;!R%szbEY(nL!W7-9~*bcz23#5JrN%vi*x-!lS2i$EQW}T87#Y ze}6QhY;h5c@d|B>NwAPm%U16R*6KghC+=r{i+mU8gE-ofB zPS3aBg;?Xm{Ud9ux*mqRpZ9=NZ|jxrsD14@G?ASEdv)@wX3pZJH^n8_=&5Bur`;0t z<`Rz;+k2Vqu8>j09OjtSCjInzKREv=j+Lwjl?<0Mc~ZH?xuLR9m#3B2;X3Y(?&ZNR zGpE@}KphH^|HSP5^ZvFXw2e(OO`w%bak-`QQ>U&Myw!%XWNf4KP-2#p9^Z{W&I zVl@2juqa`@Aj<8VYZ-egHY0x>&P=&0t|G?Cqy+F-^O-g}azmL8=)A{O5PfT?f>;m& zLht@w##49v!4Eh#kb^rT7C+y}RreXOb*bF8#GdjsL{Ouv`ds^{Z#&tkE466z6d3BH>X1ZH{$#Z?(>xh^)U^)bq=>k@BVG%RU!OcG+=&i3NJ` z%PHZnwvO<%XM!j&vX1ciAvNcS=wpDpr17LL zm%L!rTlM|sm|xG_jstJbCBTaW9kma?{{l)na}L?zN|=MwR2 ztko|bNHTp4))wzGqU}kdc-(q%m%bLUr5J7q=(!$ z0L1ik@!1Jyb_0tlD5u0x_lN7kL*6st7^UQmlF&5X0ff{=7qLK{t=OwyxebdC_ITtoDoq3^y zCD0d;EQ#-#%*}mHR(#LP-*L%WlQDEuS+DTI)2jpirl&cRGC{G2rzST{wY6qisLD6= zX6!U>Z=z_!>Tp{H8EU-&2CPj2$2*9z`;n;e;UcwpR*shV^*p?+0Jebj_R`{vTHd)2 z+2NL_SI$ue(Cs`_-`!WDmG*8YBeTY>Xzl~(@@f)*Hu?SF1UfoFUjEe=FXTKTDa=O$l;p{Z8D?wsr)Us}H?) zRTRtl_}vaQh}0@UEx1uTHEW}wOj<5vn~Uu`GRv#aqW9rRn_lCaaU<}{gKjGM+aIB~ zqsg+(;UZ_gdhmzV=XEh(XLip`@knCGmNy*5D=Ur=!2HsR0gt>$9^RClr7va2ybl)p z*^&t0uq=lxE!6^p>W4s)#VUDu%!zC#D}gW}IQF;*;N~PDO;~18m7$YwQl@X!BU(%H zFK$~zt71!6S;fxbQbscJw8id!z7;}VY~BSF%j*>_JphPI(U<&NPZBZUY0T?MkJ}c= zO%0M-iV6y000&&m!Ds18^kzLj8hUR}L0U2)x!3m$ROI*dK2)Cj&xbj`j{Qs+wQ!L2tJoS;;gU#c7?ZYR=R9mLu*pK z-lwR2&{o}!pTrzHtJ^j_PXG5@c<=lH7{g{Uxcc7RD{!4ITFf$B21X~+F*A=wNfk1R zOFOtft0>>ggBgr0#w?I=8i&vyqvXg;-}>+cK;+2#i@Oh+w|zE2D`8yI(OrHm&OVzNm9ybQg4s#$?}@GefM4aUv-lI!uC5_%qqcWb5mv7@M7TpBwPWMePKV(6yi@Z=0YzvH z0E9W#tK)2BNaba=`x?t%Y&YG`xW6n?xuqVVak?6(sI8%+y<0{f(GuF`|EcxhvqgE; z+hFFMWzg+NiFu807{2dhg@OUP0qn z8BVTDc#o#H`|T0@dVgt{s-cBZt>wQSW=Li!_-A6|OcQK$u;5FQ{+i~{2bW78Ks0}9 zwtp%(vr+H9kM~*5j^TTEn24Zne>4Z?NDfu8J1nY7DB+n&WdrsB98*he0rAL+VwIdm zkOA4{q%kXLX&LL5tLnfcNx}{)g@!?Gml>f_?~KD(Lf&BRQj1`NA^8)8=)*q-#<~mh zuYQTRvqaC2t$U(SZ&8mH*moEYu(i2KBhjS!C?XxtRmhqdXu1Ee#=C@+I1`rCKNyA)gtPk2%RnJT29JnvgA*kJlQ4fVP0K?9K9?9F& znk?z9DM|O6jPI^829DGPJk^LYhRnH2fd)ui8gmpEwzCgz*|n7x#y&Z<+S5gA3yH8d ze`+@ePZc9n_g1GZX9n?UeRN-dojdN*n%x|2U%<^7{M8W=P-c7ab1#`!Rr=2W7{gY$ zHqqZM1nu433Z~bDF0ooqU-qK1MmCSR7G1^zMtvn(=3T$McqyC-8}0SLWu@6)bGfE5#^_D5 zMLCZNB1NII2{Q36upK3sZAkd;s_SXa51GwWrruO~%+kIRg+lWT0JZ)CW|ML?(sD}w zh`RicM&K}QwMmW9l6=pKm>i=ekZpOOk`ph635J_mX+5BewnXTL!n~Un+nl5k%i?vU z?u#h2JQ@j;L_qkH zNRDA-n&Hph#iZK`NPYTuzjDpWb>O*V4Lq7=7lo3eY*vJcIZwXM=t?UhSIRy?0J z?kqWR4W*QO%pJ&CCF!(#^5DmnMU8e}r z!Me6oc{5j%d>y`ZpB7>!?jNVe$2W(S%YX(a zDzOLcegHOM%bVx=wVcRbMD6aO1lH*<5xVX|vO5fYqkXz^ILI=ss#9^u zss0H!&=2vQ@?QLvNnJXh&V8&!Z$XyEEE;Xd zV~;uJ=TfaOb(FsP)V^XnJB5JTX96=1CHqg)UO#siG_PNd-RSS&T-JEg#P_-E=($hn za!;2wr{ATWF-r@j?=gx5Tm$}xYNJ}Qn3!kq8sA+vfH39vL*%!lHa=$|TSEt&%pS`tH(sEcE%Eo_hj%EL1MgJ}E6&~)4#3coF zZIfGMQK4f!FRZ!$DIkIyncZb==D=GJQF(k0>NRwzK@3-`lcTC^xiQ}Zt7B`CEVCqLD+!IQ{{|WYjLNsv5Ex zAgzJUh~Xf_10A|GPR;Ge@60XLjw~L6mrxjGT>(u7nt{{CxDL}Ga|t+|AwkCZQ@Br% z?{6W=a*ag=S-{NFS>#s&fz-17+Ibfo4BgqB(I-rNv-Npz)H!i=(Qs9_>XxLx7Rg

2FweZdYu^_Vdui47l zwx;`B<4M)$zDq>BqhaEPQO~y0V86rQyY%iK_U`HLtB2EE$I9F0kAma6-9^;ijRBax z45jI}ZfBCTPG_pjEbHG3*F2Y%Z(Kvs5-eE>QcWE9O)z538 zdOt*#uJpJ)boH}zu|<%EF8>jNI5Efa!+L6QWaCjtVJRfTT&@Au(uaEad8Oo_%x*nlD&L6+zzMpx5~ z4r(cI>WBpwEevI_e#jw}7C#7RGTwwZNMJMt4{%%e!ZBeGFeGAX&B{nIE%ZW_zXz3- zHLk;r7Z}aWH7z^!MzibK1Oc_zSzIhmH(T%DyWgMRpVvpkGc!=JqnUUOzZl(zL1O3X z7@H+O=d059@4XnW3TIu$6JeR zy-D}GB1k(FYS*u?e|{l#&-zAxcA8VK&QrbNlVAnj#)XfO1qtvA5D@p?#-(n5Qpw`e zAjTwCK1%wG(8}4}tovKags7(H%_%i@b^Gui=J+c6QKFM*r2>lB&l8f8q|wEK-4zXT zmK2-guT&ISmZ+&!YvRa9mCoHIsr6*AogJ%VBzO6s)zX=Fp~| z9XcclqEoIadIo2~Xkrr=W0b3SQY*L1)+~&dr?XH=Ql=`wbn8CUr>5@2?Uk=kxDPiP zIqQxG20H6*{RktGDRjv*aPSD)ZLEg*rTjW_!HHOfa0?rA|Pz|;oq7~3wN_2Wwngq7N>Utn1jOxZawP>;{A@^I{S;G5VT zYjMg{Y$svW(1NgoTrEl8uT*d>bwx%+bWo8AWtnyb8AZ06?zrKFQ;$5uz2D`-hcp%m(gc@@-Je}^~Jw! z)`%}*SdVvdoiDhMSy#W>dlvjZ|A-0Z6sf>EJ_5kGG+u+2Zc};juW{YWzb9RP`Q0?J zVPL4lqX!=sc(<-4#1uHp0(R~hgpGcRe66a%=?;?r21Hy`q1B0&ZClLYw@ zMTL7%KXCa}4Hwl_Bs6UlC9TfsGn=ck_362K7dWyK?KlyJbnqb8AUgCJss7OF1oxou zKLD6CTlrm|6+ieG5Jja8+oLXQp2cDU-!pO4k4^Odo(y?3l_VGX;$)HbTO-f=e)-eX zY_;!hdW}1{zg7sA`cU>khiwk?b=U3lx;ptK+z*r-K6d@AqlaK@#C^H>8D1`%Wymf? zad8DOy=h+Pe~t=y%9?3o-3hy$!jOl4Zv!MDgoOg8&2Z*=u3`$!?g(*xNTs+$)1nC4 z%0_oUjl71gC|U6K$ef+b@s1PI!185S=`GguBgew1#FLPx!zU!!uDcoaWAdeYSp22c zG8G%P(VosH=)hce^)d{#u}|1<41Ns}{kxr_<4o3oLV?y}<-x(T`$a`pP1Z=;5)JUW z`_}Gq%p5YcvmCz=Z$z$UTS?GttmE}iL$@>T>np=?Ivn4k{|vNzzXXs_&xrNe^StNaXdvus*4NX&pidF24j6c3{*_T|kZF^Z9wW$-#v#0*DiJwfu#6L}Sv|bAU|8RT z1bTdi$AgHo7N&}*VX7Tc8I#Tr(>B?NH)5jvJ{5_iwmv-SnHSf&n-hSaF9p!B@{E)2 z6B0!Ao8gB!dUJ15P-;GHgCdqj+3q>8fQG*TOm@Yf=3B~ zsUvOuN5Iq6sE91W$Q3ZP4^`X6c*+qHHNq7qcv)*FPVAZwyHw@nF#Pl-3Q_;>J97~D zbAKJbF20y60<|rC2N5esunS;T2P^rJJ(@_lyB%ssQY3VMd`yUi<@%)i-Tr{dkOTYg z&~eE8${s__H*ifOIPIfB+HiMM;3_gN_sW;_^v`2-LwGlzCTD+G-jld)sm@@M5aOs@ zOvc3;uclO|IKsp^31(>NpFgPY;A_qPiW%$yN7Re&XTOX^NXK?UZ}I?Z%AD6L#XSv< z^2(xQNtdiDd($pYGP4$FdJTiLof9z@r^)sKhfFN_ca1OurLOBM3|kxA+&4Qk(GqkN zQNuja%Wd$Nb#ZFoE_o8wlZ(Iu9rQR@4yH8*Im{~+JK3_XrcEb+PKB`Mo7wJqg>#Hr zWq11cW^Gwg%X^v4CU*ddI7fmK_=UfLnF~6nywq4{FSE-YBb>mzDuROg#v;Dxj)Z3g zD*oq^&O(|-H!&ThlM{dc)(2aX-2~gwaYym8*($s0iVY3v-gIgHM?yqG1Waqcxw@bO z+r9dA9-ITqyiZGXz1oem=lv}H> zU+?s1$8C7G>fB$-!8F%YRym=PqM+=V>mIt71%ahS@QBQl--|91I z_G|V!HpOJ<*uWJ?#`a1e$gG)D-wSYyhYMuniRR|7^gs|K{i2#2 ze{f_<_&nueh0{r34TQrAqduW>X*Bsv@yPfMVqnMU6cE*gBG4@h#WNKc$zm{!Kt&S} z(`cAO0xnueNbx{yG|Ne42uW~eW}rM}>O7{*=uQ@vX#hrZ5NkQhWIF-1(sx_s0(52ByuayewAW;)$xcbE2cYtu1Vq6NjOad5xC zFyXguonWMO+FH`y*t#Cjl%-@?YFt!IF^yv0{sH#QXJ5Z6hbZk+^B%Go<`{H2*$Sq3 zhf6wjvYoxgHdp?Rj)KlZPOfQe9G6*hZ<|y8t3wZffYmuc!IV*x`CvqFd%06)94HgH z(Gp&P0kvR6Sb>jj|2n=ScsIXqsTcdyS=>p<4n+E$xm@Nip_3h#f7zc!SEsFtm}HhAY% zEQW_xLT;sIL7!~FJ~`IMZ;anB**$AJ>;VX0PodY`Htbm$W)@rvP~8 z6&jX$p%QzJSlB5fn)I()Hl^7cCr^$~;jlL+DuaECpE2IOB%%>+tEsHgle?h#Go+9c*n$4-DSi3tVF2r@XV}-=bvwcAta_qTI1mW<}NPoQH}b?{S|0YT-lzGR?g_T z160nfEVE=?Svoz0ZLht&aEIXW9_cr5&-+5X#7ZdYYiu>$QW%51E(!I2>q>=|3;%Jn z=Hj2!AGq4G6xI!|ZZAlx5ER`2r_yt0B#?_rOdM!#vfnm8IOqVLf$3en$UQrIgb7C7 zscW5Hy?%1_`Wz?%0Ii*A&Htyq0<-+Y{*e4{e6*Fm{+>P%2si{J1bAo&1Q2{1h(scA zHsOClfmE59nb`kt{S8)ymPggVxyBNQj5;lWZh&^>pl6<;4mGcS4iCVLfuZNF5=Mb0 za|DxUOBS9vbofQ`i^MS;$^j&%>0qWHrqPxwCgQI~;&>@JAQAP4k>m~F2oAB)<}-0w z^E4`;u+WU#MKKbJDx^$$KA&3*;h~XYETu#l!na0b&%kgQj*_9q0UnXmyu~zUCTmN@DEeTw z3m5CtkXtDBp)_MtHQbid1ZnP-*;o@9Zv0A)%)}Eg09cyR-;Zc22jKbvEG2<~F(M^D z(iw)sLN;XIN;NPBE!3W=pY%ghqi8DYsF^Azvb2vM9vdnZlPUO?G$1T}NZXLOJ_w39 z1+_Aa(GVY5rVJW1Uc4w41_PC3RNd_dH@!XjgNB4Cf-1sRa8gJgc@j>OeGFr$H1j&s zN>-i#$Rv|GPIN2A79N8?L0?bUe1T^7;0Y6iB{@gi-7YfU3U{5WoSgGFB`1pmm7+Ji zvA@*hRa#76cWvsf@65l|SB2NHu@Z!@sHAjmOs6A57+5T<=R_(x`*h>K;qnN}XCEPX za&yitazL~+v?pu(^D_hgN*7u4-lU+_U)1*zN_2pb=7> zHl!O1vIm;B0=z)IVPj6Cn+4GeNjUEVg(hqed7yak8g_bE&E!z+P`Zh@qN2K>YIIix zSf4Bk7Qv9JcQmv4y7rN~2~_l3)iw^jbye3-bc2HOft&+!36(=Jz4kPSIX`8ZYT`6OmiUz(9#^wP54lOdR6zb z6Yfz>MscqeW!3V;t?amE3tozwwx2v(T95X30&?;ff*rB>g!OU-t3~ETb4l4IbE66XM+GB( zy}rhPu1&1}_{7-KDAn?Gee^o(6WOdXnyGHB_WP5gI=s_$Zs$|1%N13#v(yqbt4=aX z^h5-zYMrz98uf>06c>GUGXW?QegE_ zmJ+M4u-Px$nkpOLNLdH~Bov@T2KUp{*Rs@7P+fFNmy3|PmyNW15w1~>gEqUoXCVCC z{XCVRtDqJr7MD0WDus2?=gd25ASJ4```z#uHFrXY2z$jV?$Yld_*V^1;;EP6oI^-^ zlVh+z(2qzn(}u<^OR7G)=$GfAD`k0QEoC&BCDAdQ>;0#&xi|YKp!IUDL#2W$-ax@3 z3SCs9EYbZd_Tii8l1HMjCgAisy|yDm@uWAmCBEs)`#UUhW2f(=PX0*?0|sG{fq8Dw zyyx@V-1Z|OJZPh|DI71k7{l1G2R;f$9-Mc0@pcNkx1YfM!;erpFdZ=`AZw(dJ3>SJ zmmSQdf8WuL#bYT1fag>nu6$V0#9WtSTPwpD9Qkv{BgdjEzz_VI`!&U9m3Xdk)%%a7 zE%90HkGk1jJF6=&PgF|ZRK&U!c(5I!9iHHBfBy;5PwP!ANBu?;`)8UZ$Q;j0i5A(K z^+LyBx5Al5!m^ogwQ85c3s6d<7JuQ0 zxxCMvLfU5p#a0cAVd+AZShpXO`3e`~M+6eKP%S&yK5)6q0nC_<@(CquXgwA+b&eu?zC;>|r zhEkJxaPGE?kyy8fd)ej!Bci)Ygm{NQWWhQrjLR0c!?4YJ2Oi2??gor9egNG9f$(C$ zlC2zfPZzM=oS3(vA`ny$F`y8a&4cC4_NqFQ<1r24pgz@$MUQrD#QI7O%Emr#Y~fK3 zIdn-%9n;`Fgn7h}>ILz(rs!$G&xih7ku+B;g({o^9~X71A;Q_#RZvw>P}OZItvF7R zUQt@t>a6VQs3_>_P-GAJj(o4g82$zlzMBvEX;;vIng266zL%gRI@bxoGBSu-I665K zadL4a#;f1~xVZjjjGWfAQri@7`TRLU(*s|nEB@sBc%JO#5yYAuHy39s-t{542I6ca z6-CEA{_(b6I)S*J!onzHii09qG0Igcd$n_u5y$S=iSW2IiS#<* zHqneH+$Dyg(kGVlM6kr6M)1VrQiy~zVG$1o{budW@FJCKBx$l@j+xlURs@ z6m;PpVw8YDj8_U0CF(6iTAL_nP-s*>5e7DBD7M-q8vU&^iH0i2MWSJ_ldu!27-O(E zksNj#Dq);~YHlzA2UB3A6)3GstV|?+675l<(x6^?pBU6DVKGyb5N=?yaxyWHuVJ@A ze}9chSjg9?gh^7vRR;YH>C-4-goR#1dN9s-lUT^HS|t|a9sJ-h-orWQq8M|D!&Eu! zgDSK}z@JJc9{v(ob&qOTkzgKLp|{7pe@s|ebfDQ_iE#m6a^OH4bP-qzC z(w3H=qr3G0iy{yLQvjutSbPq^IRj(hS_@^tmp+W}1XOgT`C)lER@Yl{0*v$?f1crF zBnOBHfSgIXr#q%07}&%dLlw!ea6DJRX84wRaZc(;9;byOn+()ZiSeI#f$&>vliVo&HePpEW0h6blr~Zp(?X!J|2%As+Lhqrjik=S?V0^DxG2z zDPvOW+!Jl$xL|XeUe)jG>}ZEAR1pVQmMVg;w$MULVN>%AO87#F^Qos@f1ph&2-04m zB*iji_8ByZmFWnd8buT%m#!^pP zP*Mp3B&1BWm;X`1 z%BGV+HqNI_G09Hzo0ENxyPGmk?}s-_GV?5DU|58O)FPP@TBQ_NIoLqU`Sw4qtA+|h zW7u|{9V5ua3reQqm7=&2t~3RXaAhd^hN}>E!~av0rZ2W3@{%Y5{yE^cnhf0RYlEF9zkPh^Ei z6jG;&9l?r%A`nZBdsf;K9&khghO8@9*mTHi!Td;z7Nw?h&?Fe@Kf`B%{R1O87N+Ey1(|&Kxdn2zkoT!qozh$eEDB#7mmT?2>ZT z{~Fi^lOk`*KZ-#;9@o`0;B8b6ifUR+v+J*W)nIR$XTTF+Sq#%*v0NYIJ%-T6T#B%T zbwVCQ2Opt{x&9hPg5IzhoHI-FI7=x^N)(}RCUiWdBdn%P#wd#?(%Q!1UAv7F z7tA)y)w}Eehj1D*#_38uc^_$OC24+Bj>~4+Ltcxlv!A`q$3?i)K`H8V*w-^V=e@-) z@~lN~v1@{{f8a|K{EkK=JBI09_`aT&O<7k(wcBxℑ&q+w}BeZRGy-bvYU$AKDlf z&RNIhWZKZf4>IaazPvuHA0Tg!FC<4-yanRvS;(4}t`wpp(9dPLr7XwRWnJb~l~l#u zxJb&ue_ir9pZ@P|#{pzj*4d=^gPz%J`t7=`@}{1YpLRRWWwYt~<@BRH^XZGV=|?rD zWj^0fIVsBNZbv#WlN3kHMsFq0+1P^Mi}cX@R?{Y3Z#G@D|#<7m(&e|y8oU>UmI6TI=5O8{>Pki=S%#&{$(u47?hVPi4t5Vp=~; z2E~+~x02=%InNL>7EUrVi{Q%&)GQbkB zBzKB~re~4rkdlgevhyZ?UtA@h%jPb*gM!JVxJmBw!6)e1rI?igpDb7hqJf$_gFfA+WCsOQ~%QSA??^DHnNmrXxRBV0 z-9s}fE6gecS$ghF-R89m%+kc??h39r%$s~v-_kmW@DPNSxczGxOZEKPA`@C`-~4r4 zq=p_3r@XUWBky+bv82C_`YQCLHIm`vp_xx*?CDgh`_Zzt1nC&Y#=o!%=PT1{e^t(} z+{fR!jL;i0t;J~!wKm9LTP$VCV}3bfPizR%wGNgj&u8Cwf- z!4HS0rzczliAWpL;i^XxEtm0e{YvSC(aH`#4gW}h;oDm0pQ%IaL#Cbh+ne`3v#QZD^y z_|lDU-oHA1c>>YrU0$@$?M1fkK-2c0BLDHkgLc>5Cs*B9d>M@LaduDCIx23Ocr_tg zvis4)G(#kYb4PWR6@P!oM=fWzXZ&qnzOR3)$^p15@sX+K&edzqWlP^`yY%h*v$wxr z9YfQ_2hKK~>;4VrvW08ee|B^#)`d>tlRb|E3+IUC*6J1anpO9X%L+b>7$t4Rq!?y3 z`28ALdeLP0WKw^Q-VT?;>(O=H++kVDDMhz(#p5e}cpQA~nuj^pEgldp0Pny3`RdJS z*c)!s$Nsz0fOVaYRx=t1?+Vv&>{cB;&Awz`Tdr!)=F#BvZE$k7e@>yiO`(42x#PF5 z-yZ$~T`#XX;K|uzUB~_vIOm&Q*^W&gycKY%=#{e-ZFh0DPMh-$e_h_*wl+Q8w%oWf zwMQY2-WspEO|{&n+kxlc^5x~P#2=e@EIY;7p=9?`z$Y()6|MY5MGf zhG5Z*>`^~MjT|Q>(>K0njiT(SZ$*!4tm=6j@MKM&3)ypC^tU8$hbKpL zPYtat^84lMtK+vnyg9wdt0`xD2lZ%3T`#`Ewd0fOrVb~jTLg>A*PZ=geT@^yJ9$q0 zh5>Ay9&BM&%pTFer$s|wX3Wp20_&}PU&@{ptS@zse{e^j1TvHjcbd^%Lfy0vy$OM6 zFs4UrqU;QIj9}+HPt=+gXTOp;t0jaJ2Yr{&d!pbaQMP#QEk#29MoYZ=bQ2J9ldC-#FF1T+`K5%!cyBy>r7BX7fJU(}OM!GIKfq7`HZG-B5| z%3om&sc{TUNnhTvAdHxhY8`3p`_M>)sHo7`e-iX!kS9T*1GzC3CO~y_5do`#1bLV; z8GxLMKL4_)Gyt*<42d&vm^ls9mXlckwvK}hqe=D!3<^HuVbXmCkA>3vUi@ZEz#mcJ zlQzT0qmL(t$BV@j-*YqA_08b_49nu=w~b`w%4PtkVKXrLE`i=F3j3U!VXObzo58JY ze}?%t3xQ)b*O6Q`kt>QMT-s0rf(?ZaMIcvAZvo!4n_dw!kChqrhWvv|4~i2+;)|>aze3c2yfZ z*x-ATzRcwGAtchFPVCrkV8?I8&NlD0f1opavb}(gYD0%H0)s?B>yCnQG{$1o6ttuu z3Chs~3-wQ0+FuWUzdSr?0Xxq7dn~P9Ut0TTctMNpykJ(A))Oz#C$YLKNQTpZG~7$q zdPw*0aKtuOw%6ILuCr^ev$BC3u!0H;%Vp#R8BPJf%q|p77kaPIq)#=rn)^xv9)-KnxcJ=47 zcILMM$8gsMjx{sjXiFbFOZ)6ud$$W)cu}iqyXrayuN=Go#i43%?)AN&vzOJN9%3c3 zR$cVhFoywkc)b;087-e3aW0==L&CNc@~LK+O*7OJ%-9yZpK3;Y#IP8b z5SwP0Cz!E?r=Dtt=vWo|1T#9p|5PJl3|Tc|POAR|>2Z86lL4I+0W*_d!7fcOWjHW2 zHe+HlGh#V7Ha9glGB-72FgRv2IAb(2Wo0)$JTPTAFf=w}Vly*hIXE^qH8(OhHDfS1 zW-~ZrG%{snH$Gi2Q)zl-3NbV^liI;0e>5;YJ_>Vma%Ev{3V7Nj(MK-?Kp24G`Sjj< z?^d_^>TRuM_1;;%#!dVNu6uIi;x2CD=-}oo5{cg+abjNI<;gpl%r}#aG3NI-$V8f6 z=m8fjzyU17AsD%PF@{=$BiMvv5D0=`2!T)tgK&s|NQi=Hh=FZ5fngW{pO|>Pe=Qa| zU>xFL687K};voU1AyL8>^=uM!!7L<03Zz0dq(M4lh@JC)EK|yST3Jv5g^&Z4Pz1%0 z3sq1GWsnEu;D8dyhXSaER;YyE87Vs9;v4BTsZVHCz-0;XUF=EVJGM|s{Y-bahiWf}Xi zOkC=KMVWGH&5M6XYeoFGT1#?%rnN5TuUe~e^`x~W*R@(363Eutk-&wPUv9#+_T|Q} iwJUe~_VR~kWBvfhPdY!7YQr51HZnIc3MC~)PeuxgV)QBi diff --git a/DiMa/dima.tex b/DiMa/dima.tex index 44575e8..9c2d03e 100644 --- a/DiMa/dima.tex +++ b/DiMa/dima.tex @@ -30,7 +30,18 @@ Jeder ist dazu aufgerufen, sich an der Entwicklung zu beteiligen! \item $f$ ist bijektiv $\lrarr \exists g: Y \rightarrow X$, sodass $g \circ f = id_x, f \circ g = id_y$ \end{enumerate} + \subsection{Umkehrfunktion}\label{abb:umkehr} + Seien $X,Y$ Mengen und die Abbildungen $f: X \rightarrow Y$ eine Bijektion. + Dann gibt es eine eindeutige Funktion $g:Y \rightarrow X$ mit $g(y)=x$, wobei + $f^{-1}(y) = \{x\}$. + Diese wird Umkehrfunktion oder Inverse von $f$ bezeichnet. + \section{Kombinatorik} + \subsection{Schubfachprinzip}\label{kombi:schubfach} + Das Schubfachprinzip besagt, wenn $m$ Objekte in $n$ Kategorien (\emph{Schubfächer}) + eingeteilt werden, gibt es mindestens eine Kategorie, in der mindestens + zwei Objekte eingeteilt sind. + \subsection{Binomialkoeffizient}\label{kombi:binomial} Der \href{https://de.wikipedia.org/wiki/Binomialkoeffizient}{Binomialkoeffizient} dient dazu, die möglichen Kombinationen von $k$ Objekten aus insgesamt