From f650ac13120e58bd489d17074283d6aac6e7a255 Mon Sep 17 00:00:00 2001 From: raj_mathe Date: Sun, 22 Nov 2020 14:14:31 +0100 Subject: [PATCH] master > master: Formatierung + Wortlaut --- docs/loesungen.pdf | Bin 393654 -> 393568 bytes docs/loesungen.tex | 28 +++++++++++++--------------- 2 files changed, 13 insertions(+), 15 deletions(-) diff --git a/docs/loesungen.pdf b/docs/loesungen.pdf index d35ea400350310d4d0ba556b86ee2e56b9d26a29..40bf588d5dc48d7265aad850da81cac89e6aa9d3 100644 GIT binary patch delta 31089 zcmZsBV{qpW>}GA-w(YI0t!>-Zr`p=Ktu40Jx82&_+P1O9-tT{R@9y4Yl1yeYlVp;4 z=1E%^-fk#fqqhP$XQtRsD0<+^P~V-f9XsgH&s|DxbBYe*{Ynd>c3ax~F4q*fT;aI| zJ-t{1ehPeFuKY9O8}P1Wf8&^cu;uMiFB!z6Di!+le?j)!rVo=9tYvp^t507JONF9y429 zP2hXKq2MnQJW9Krt${fFT;q)45#@qAD}IgXi;VaC>*njW%~w{Subw34MgQOX-gj-nf6z;^DLdZ2Fx_~2{IlFKCW1$%AYi#d7@nIeo zbqd%p`eY#hP%qajt^5avl$z>uoQ+FQYU@>&CtABaD}$jq~PL6^B92+`Len z74fEoV6Qexy(w0m-R7X#+-d)A!k4P-B`f_j#Myqu0e7z3pO4>-vD2Z+6L$V-rTvk5 zdiL^!)~Ai)efAzcLgBe{x_D0`bUyF*p*P!iU6lgHeaiff$jIP6aaa5>jtc*F(d{_P zM{@iHfeA%G=YzozG$oaq6p=qsl9_BHTx8%EW}JFY!Ps7XEKk&Qg=;ZS!|6CT!Xw*D`pF=Rt6QCCnV(=NtHZkx0HMH2n9H^xsg6!fQVC zF485a_o6eRAI5dux_0fw`e#pMnsQ2r&}woKA-_q=gnJc45wuf05cv*0s|K;EFv@1@ z5s*y`^So9i5kU?)gb7Lrc1EQ%x@Uj^MT7yVb@5&q9!;F!<#h@p^fg2V;C%XNi*bQ+ zwpvKva(i1-7RebfRC$WuDrKWHDLv6buI^^m(PKq1(CKsI`;fbM#3lB=-_vx+CQ)3Z z*oPMlRQ>808Ac4}_rNW1`bH=(o3j*K`_N3Tm_Qa$XivUx89h7Ms!$fit*^v%6CLOKgOUi*U@wb2HsXLVx>d@kISn3+4HK6{8ZmqhoeeI8M97yqL(X3Z z(~!P}#oID|C~#zg20vR9`lTilf;9e*A5Bzs$x4Mg9ak9NC%u-rQbE_Nc@b6^w?0&A zn9sld1goN}$34ngH`1_eykdiGiH6asI`3p=??S4Y)Pw9;MKc^71n*F~kE?-rAv_%u z=KG!W4Z7Tx=VVlyI&~6b9AZICYzORW>2qAx`A`x|>dvR8OaG8c_)sx>gK$z?*d9vbll<((^gt>7}b z@^JRuMJB&y$^mRoc3sYeFmw0W6MKz{chrh$e43A#IyFGC&6{<+o+R}EXIz5|M{c6y zX%3SY&A?;p-s*c!ZZqWTK@nFwo}xQtzdP$}bq=d`tx`syr@;(xJG8)lrch<0zO+06 zt^l!}9bayN;NO_<5iY>%9FUAQ7j8}{=yP1{-dR^801lV6&6ZBn7>hc$eDuPRhQ6zn zJO3J2V8kFgVh268ScR>!MHYVwWy>*9rw=B&;q%q+hQMc)&EyD8!C@vSqk{`EN%!q` zdjq7Zl^BMWvpNRs210B&=OZtau!d^=$#QVIP-{D)VFZvinWhS?`~WlR@KecJSp#_2 zyfVG^o4hIBm0JtU3lO-hB*uzTos6<^yby)QeT|e%ECC5KLBOLO4kZ1*%ADcp(qK3q zOZ2yFe6}G_#qTr|bef^~ewOQ5`~ut~7@UNN<_DtgIRl{g(b-`cYUE+Mt;6e!JHXqC zn|q{lIeQvIwym+0Wo$JOJ~$dwU+4Ei2=kAnL04`mPO=AD$N1>tt;6P^!(L=pq5Gnp zw;TCh$yu;7M zr-;QgDUd*%Sl&@nYqk>KF*&Rdlml0M{o{Kb9{R#u#T2qcGED_zw4ttMb-9S@lRAP(ytyFjdH>cis2oj}oqbSwf{VeevnJLJ_|;Ll z2fgE^>A=!(Gf{#_t8A|<_sO~Jq1H+ zdv%x>Yfn)bNe`EtF=lF!M%-LzV|gY^Rws@&H=Lj@WqXzG!pO`q$%Txv-1T)DgpW?l zVZCx%x_cmApC!7Zr%0swD(Ex!H?ntDy_fmp?WVYMG?7c3`WLT#nH%h$W~3uJYe#>> zQVf{NC#|5X&1230gI?$Odb*eBG!p2AOAOG~(B@CC1xsy}-`fb(+85o35~)E zCyMxBl2b|Szy6u+%17ZC+F+%A#+&{20tZ-8PvB*{*z%&XR3RpeSUa1TuRn-yi9fbJyl*Oyj^lnz$ApY)s<2BRd54c<635@xiRp;AGz3(+_$K!ZhJUcN@-=`>XKFtc zNZ#83A2S=Oq+t+jP6`cvp=hlLrK-R4$PGC<??upNO>6QlXE0kCLKMg}MqWw>ds&!)J^_Cg+1UTgg~>K%*|d?d zhnM0wn@2xcWqK-Z(81O8fxEWMHo1hZ>9h+S@Fhez2&PaDo#^>s0qgiL&zTaw5&yywF*PTMTbu*Q?#D#lR#Q(?=cEQ@)AO^=jZ#a3^P zqdjizNZo!xgXKqK{+6=)T0t$9uSc!aH4nl{=BBxFysyH=%yQNv1r%^GT2w*D@pl+? z*W9)-j%B)7?6dP+Y$HVrbv+}}@KZNUTdIR}KO3lHX!s-bEu2yA7jdTM=SJTYG578V z+5^4XiA=#1^b^st;1E7Pw^99?)d7>{`a``Og~INs%fL>^QiO@Zxy!E=v>_YXmLN@B z8!ugnE--_%WwkVL)E;2%uQN*!%+Bk_Q|IyRf!!7+3FS3a@N3!I8|_K_(P{|U8jYDB z#v{+`cEN_Asmrc8?P<6ElAN$)$gp)md>wgP+%oM+8-z*_4ZI(ZpC-6NpIS4k1dt@$ zD2ezN%)%hdm2F#2jb_sXDn)mz;g4{R9&XaR1?ek)Uo``3Lpva6%llHjdt~?Hx%TZM zkN@}T))1%4)ORZBgsQ$A5&Y0FtT)2JEo0AjHc z&Q4|&sMv6H>gglZ+$yX7iVJPcRw(@wpsBfC&4cl7>j`GpIGjW;$SBB>a0`Ei$9fn zh3&baz7v0l#!lMu$|y^RsGbtVq9%IHE{K$(y4uNkUlvfUVQ$4Du3vVwrYzSqCVVi{ zwGX~1`GDqZzIq5!(|4LJTxUQ!N~omr;}~9RLm(esTeH_p%7`8nIP6T)3rpl@xztFQ zEQNqK9F-a!Xb~Qj;u{@C5@fL$b0s(IFUKsKzDXYYVW6gPq|Azd7sus0PF^TML=oQe z#Ge&0oeoSiWti3x`p>}{dc*QC!b)A4GE^5TtL9U8hP4(SfJm8tf`TDDQDHgJyDh3qu_{hcht82$OP$RI%kd4yp|rp=t&s$i z9ANrU2%~=nKycKhazyt+rR_V?tDj52d2`%@+<+5$&Pz3lMz_>uPo{+mi^a@P`>^Gr zKhSJowXceDEB=tBBWt^SG{T$gjf)OrftVp6UI;n3&4O4>gX}J#cY5BxanL7(LB;YH+QwQWqB!qT}HkyNl68z-}6QnIHOO^ z9s#>q$hu*pu3+lowZae&dCOXC5N?9kD-9_XdX{2^qdyXTx>`IGAU}|Eh$LJ1ndoFr zjJ!fNOU8O>OZ;-xtKHX$7&<_R<2dhl>&wa7IHw(NNDI;B_z}Fc81oOwfVSBL!9biw z?K}0US_SPW5Xx(9e&%UwaJgi86W*#V3H*vQ6n-Ro(~?ePwkKuERLi5Su01Z(o*mC; z$4zI)g>P(3iXHV4@gL{*KKDrp)2m!LOq9DXiGu^?uWf8@p}8R1LId zaBo8rXk1-0u&ST~!OQo)+`n~C>A>)DcVeALc(K_oOnr4bIK`4%^(rbVUt7iq1FWe* z5UdXxo!3stT8OQIW(_Fkhgg)Wj?yT1eu??>;4e1BC=HtCuLm4wBzfd0IW36;1@F0v zV?EJr&&?%CMHWMQx>~$;uHL-{%f-ed;{8lr;nb3+DM^gvFdi*gB<|A#HdfA3(72Xj z%umzvu0ppaWvc2+RL~oc!V`z0!1lpX8G&}n$D@36!dUMlXKC`^`I=^Reuo=7j~^~e zopy!v1KlhwG4w$ms=0h^rx8l^M_7?mkUN&W5@sHC^U^*NkGZP1C5B9+Ez-SvnUjZF zv?R1NTpZ!wrxm%@2I7)UT`jkj+C20nD^Y5D%_B35>+|zzKqrAU%3fC5fXG&cVnyU& zW0>_n>g_WNbEf+!-O8%AFZsvrLCfKfDuy6d8#}gu^*t#MiXXk}?NeHP=JSzGXsPprm5=O3-Ar|eB%Ystjnbw**X}NXYr5>G zrq9PpeB7EY`$M!SG7T;deqT0fY*L$|Wn!#|4L3XfGRAQ#YeU`vjn*+I8#hb8S2^69vcDq_i6d(ye8>C@Fk2Xzf99GaLg8M zafRiJ@B92me@Mr9N{|IXz zzhE|;{I%k&?B6(vuV*0n2s7M#PN* zd2c3xCKUb5`Hh#v`yaPG-#!;AtD27FVE*kOZ|&Qt8G3slPrtzy)=_hioCT{A9;I^i z>-u-v&4k!yp%BBia%rT&CW?@GZ!cSzTKF9T>7Cqe|YKl`f`4b;Oxn0DW+<_^%bS_Qxe(V(2S0bLA7U5J2QD=|F_lS< zEyc?*8O5^ft%Oh1CiN|@ARJpQf zI9USsYClyIg2~|6h5bD_?mlux3&n)P<2-)1$q-*AQa`GVebK1`b;Z@iX%z1Vp)S?v z87X{x+F&$$Q!(*0d6@N@i7-CYS&er%T`p~UJ$L5PM9&C%e8oj3%Ps#RU|k|Z5vX3Y zwI43lE@~Y$Y#&|?c#n>o#@$I8qGc-pKfeeRp)oxJM_}X-SD=FHt~uue4SbuGJR1t$LZJZ zlAgMskSRZEQPP$nwT__Ol#|4y1$sWAwQ{apqk{$i-kX<-M-s_s@wszk_kVHqiYC$VCwaHvy_3QiC**-l zCH6ePrFAgy8O|qytlN*O`^z`1L$bdpRv*unJtYMOkihMe z6}ZSY_6=3wKs`scX)%Zx*sn1b*YX!_7LmVPBG{N$kq$Uuj;*1KobkA1>rr2kx?1;d zOjAuf7~&B#vnJr3jeR~B0GISq=916gDR9VFE8$}@mq<1a^$i2;Ke$UKI(gR)fI#ky zpn5!$u~Me0eI;*l80&W?x)-rR@Cm& z1R2R@mZVVd4wGF@Qk#9MY0BYOjd%HAa%%{pKllm=Coh^`F4M!32%nmUSk7^udX3lg;c0}}QS$;c(1yUzQgiiYX*O%$xw+~-@$A4+-u{*K?c2ij2MAQGubm7ZHvorkXqICKBpS(0F5rGw_XhhCcOZ zY6DOt0kO}&Xk~B3HNE&^s*b6E&{n$2@E`_~p<8+pto*R1$ezKIZ9t}133a9+3iG1% zPHazT5p+>Ey?#+))sXP}Z)u$var;%r0X=oey4t5m6(oxO5(G|@UXS94P zelE(Pm=35-QplBVNPSeS$Dd#hUYo$GDV><0uXc^Fmwh$lB2>x)hejzKMKsp*h!6Wm z6ZP1_fp9|RVyW!unr-tX+N4xiP+Oar_*LD_^ckInfA*~GY#!MH1=kRfpN?B5GoKfn z5a3-zh2s`WPq#n~*TvIM`SEwvEFp)WBR0Z*+9p4YUhr->(Y<(0z_C*~g$S7Ul095* zqv(eY{^uH5QtIl)+gt73W&{VlE#GYfchylt@|VEvvq?A}sbEg@ZEY0S)-VHk*)se0 zarUcSz@x0cC11r-p;6m9RM+odrg(8rr&4x)(i_F5d}AHIi2rI*?4UjEK!$u$85f1%YhCClGItk1_Zw#=33^S>6zc6^V=cw(4kD9&^E(c6yKVg=Gn6!JCpfY5E?$4PbOO*d3N+yZ(C9-E21 zt_eBx4N&DcmJ8Rl5H2ja8p%oo?lOpGBVr@1GvYYq z!nk(xim$*W2V-}e9vELBLVtZ=f|c+(-2rp_@epGHkSLkKVO~!+k|kkIZu)Ukl(*3^ z!9zCEU=B*=y!b>M({)p@NjQ?DGhv1n3#lMw3kyRcRI~gL=wmu?%H2#ltC|mq>R_o~ zGb`hqVSj~1_r@i$N|*$5BL^57)op9B%UMPpysm3W9zgma zT!(>b1e@%8d#~!1qiJo+ur?Hwzsm$=jPKgu<`s2X=j6MyGw&!)Dm35KBElgIfM?|9 z&O{1KcPj{Q4~Zi_YSw!j0Vc>zNId0{p3bL)p+dOfBXkX)V@346Y3Wp&@pu@G8rN&p ze{KMqf6T*4|B6>W6PaVg(6j}w-K%+CG5mGyTE>w~+s?t`F*Ynx|0*V|&pLVM+TGlG zIc|^i33euQ!k@n;tljI(B2i;F1vq`ANGOND9tult$Ly(p8~hHN2Go(WK2CWM!Q{R$ zS{he6kd~|oKde(?!c#c@5p0iuD~;wDav@ee4d>%oxF;z)A};&%>Z)0XY&g)) z3Fc-FrZ*hxmIh#zCRkLn?p~) z0ZTP|(VD!=M_&DQRk=P9bX=YC3q;y*Jy#I`l70t8-n49c2`-yNE+G2{69unUe>-ga zS_PS%dRK?87bz94_dQ5#yf|H2kwbB^gfBetzJD4c-k=SA0$%Y zlJn|{M}v;m0PP_TbZGBZ3o~)wI~JUU2xYHcj7Mipv+p-XqiL2}2-T~{3OUqJHpf9M zYAsIz=daF~;m)jKi4BH9`%4o`*fv0GYg;6wDYl)yy*cy#yOuYf(}al(0m?5EAD4!H zPt7=wA8%_E-kdODj0*54999=u0yc*6z(iM0AllnC5XyVQ-WLUXKgP1*xKauNLDr7y#;k5svkr&}1 zfxkI50buJ)jEZ!yQ2C8cuZxQ3!upZ{w^}e8pCmTUg=UjN5yFZ_b|!D&o@*-5@Wwd2 zk@3bdZPbqyR$qw)!jAF=XuV~rw;_^0pY^Bix(qKX-38xqCDaY4T*dKGXDG2z^UnlC ze@3sa+H>UaNh#h|r5cf3iW1vd$*lKhj&62mO3Pd>Oj2HNP1$-+QhE9Nc94zKaraf& zrq;nhtv3*%`f64%1|Isp&$eV5f1nP&xFaA~I$5}TxLKMy{*UHtW{1GZ$KS3h0?rSP z%|XUS_CFpWAp}-MODAg&8!}Gb%n)5@hSZ{VXkY|8=;eQYD=16+`}tT~N4@^b(}wAt z!ZicwD2_pa(Cph}sATo`k3UW~m{*7)SQ*`h(gp4SSqGm#%TDJdzhuiKeoo*gTxb7x zW8uHQ5v8mJ7DJ=fCS$XyIIDdkc5fz^FHhc3hmRe^=<|2-KJV{y@zL=|E!sr!EhmKU zfSYs3jxZDQo3EhmX@&Q#`)3ESrH|?K&zp&D>jzwG7w=A^jSbvoad}ImT3hGUEL0On zl21Hq1RI%W_=?udlB9TNee#Ka;2lL^5H{9VZ{?Nm=J?=nAGqjo&|J z8a=2!srx&12i?SHvIBW5Hs5h5@nxEWfOp35P4$5Vs?-u+X^-gLJ*SZSzw#ay@WSp(i1_hBEFV8h6B5TYhB8@wMZ@Qk!8qH+h z;1Zd=$HB3v*P6x@rO}8d_RJtnpp`uskiahkKAqLl9U!J`x;pL5}a;p~K6l0{khQ-xk z0@W}5#vI^ax9JEr&>hB@cD7;AW=plCWJgv{t%mkiMDb#aL>ywd6ZfHjzq~ws2F`*h zn=F&DmcDDtco9}Yi)woDlmt{mYz9e+a87^xHs5duJh@8o)f3FOw1r93)S#U*?NLw6 zMR)%fXhfgB}eN_c~9tTo%8$Eo+h@Cb_MU$!CxBk~r0^`Q;fS(@q?8 z86O#wZ}iezT~VD+B(C6)BCL)t$oz*EFRy&2b|LjFbf)-PG+Ek!C>3p!xr1CJ6XdKcjaZP~DGFI3IJ|fs{6(=u> zPX7A4qqL#ebRF4-tx$wH&MXVm^OtpOQ5FwT-=)LQIL8GT4QgYa&~!iqJCuBJvm&6t z&X{I-xwFJ7tFXwzL^E$s_DR7ss6ET;FgR%x({C#7XkPCNX=U%}M$SQbP0^jMAX0>z zRB0)+)cV%YELrt)o$Lu91B91LWPF^7c3K~Od1dh>ztwxcO&vi9=&;CEnCjSr1azst z;)Yrp8889;-8V7#wf7Cqn3LS{YLn~hXUfk1ik#}GoDD}nc9j(GFcE(4UyN(Ymja)y zqp6HS0Mg6Gd7!O$_4GGibvY2y{>~I^Nwl-*0nQdh#BR7sRT7Ae&I#`J12yM1!3yF5 z+%R&A5X*M&8w|sQu4D2sLl-g(k&xmIy_E6|y$vwz> zPnbacfMa5eP_+?wbl5R)jM;MPz=L8x`Hda+xBPu(fe5LLyO@JOza5X1hNTs%1x^Mh zSQJS5d8z{W)!AN2-$wGzm*XJ{<>`F;7uX7_5)II;^JZZi(y*$dEVG{MKv3gCqM2Z& zq%km3u_k2x%GamvYs2=1qB_?(y`bE8)Lo$sCUtl!?8IuZMsE6rLb;zQW^hdPZIyj{ zV3(jV9(Bn`(Nt}wr&1ad@8DnZ&CqP2rt+d8^)m)I;|N#L_b z7qpr>UQY77&#)Mm$nUxk>Dw(M+c`UpU0w9ss5R317#_Iw zwf5PT-mGBxPpHPNi1Hk~K>3Yb&=Z3DwRpScvH9KQA(hSZpJw6jz%=R8Uh+HH(>`F1 zI%-h!{&ktTaTIFRywb)9g0<(V`#QE`TSHm;XE-Drj3gJPh!Y-XQz1upNm>(xNw`NL z8fo@^(buzWc(h#1MDg&_ZaH|91gsFC$d?Pu=hTshdE4t2pH;=(9sgjrK%Qd>sdK<+ zo}dRY1pGvelV7@5e2*oNf@Y6FsIdI8B{IPFq1;GF+nHaH1Eay(D2sJtOGEv})tvl= zuX8P4bq}F7Q;)qgapq&C`PJDS=-S;EN5aPn2U!_U=0F}{!hN^NkAL<64}^S)xeC)< ziBZZChe6EQ2iV|nAh};cNx_0~EY6>Ndrl3!U@n!vJ|istQ! ziryt^Hgkx>F2XW8Sg|b+ilLYhoSZF$35U;wBJBu!hmTgmP)ka>+~FrTRS{-d5RVy; z(!cEn3?Y{uCBr(Mo}8_ZB-C5xkxLiM4B)!q+x_eRY)|LZCW<{cP8m5#AKuR^Ebm^ z&q4pVHjt?!`qj6&fX+Fa+ zM&ypwr=$Ooa$2y(1kg`w$VYIb|9wzp9ieUhLn*~yzSBjyp_hH#Sj32nMDfB=)Ka2F z47*wnIv_QHL!vU$EW>X+8$Wh)W^jCd&i`?qU4f5_S!uOxuyYlktc%CF>JVW#a}`Rs z$iI)nYj|^BKzC6BvleBpUPj|r|(xS)60f?_l#XfnRuv`{5K^| z-n%cjirdrT>~kLYg+uarZ}x6+&1rt3m6%xFAGH1Q{=gGW9^dF-{clD192BQ{5z&Nk z-Pdmk6?SQvj52&#+g@kVGd+ENbJmNYVf-yueMGlv(Q`sZ=-tJKjl@rh&~-gx)Y#b! z*DHe3kLYl=iTx8}6_}Oh2l41hl4^mVM`OIMK047g#ut_RBrRb|VbMxHN$z-&0GxW% zc6~lWNT5!>tzVcV*Fup3JGTxbS7v4|D<#NeObvr6#x2PR5|RG?31wayM{NvYenxA; zbdlG^##t%lVsll^t}^&(w4v%$h*2Ua2W#7DcqW73Qfs8_Wk!!lpLjko?yjb^mFc z0&dQH(wON9@qGTG45zMC-^F~K_S&AMJ_PZmEm>_m?4r2I2ujC{8$p z)<(LK>Y5C{9J|```b64u&Ydy^GY3LxvN@OOThK1@)tNT>%~m?0!76+^x#8V%)x9Qo zD%4ydj6b`PLn8#KQhem2&(;YXpS*j&0Mw21L{!^e;v4@w64E&*+D$Ab{yNCiL{F3b z=+qfu(HG*x`+5tyYh7CP?_i~^VoTpknlNfHn*oVtSrTZdeUUZbMDgv!(e%vM#09LuN zx!(Q^cmwA#!J}RTlsd=?%3rTE?7mXQz)?JH@iSUgBB87y}zm^6v=a#=;LN7{S z-oMGI!jiD`H0JbjjT;Hy3lqe;b>*T!2u60Fjkx`UW-KzZ-KA3<6P2mdBmO{ZDNKOBDp-`n5+r2 zAK#DPRt|2iP*v~s$fj5YDe7&9X4w6Go;}zXctR*)4X9-K4m;?o*%=l1q(X(CsAT?k zgl~lT0{uxDQ5iKnEFg4|_t%#JIz_IAPi*P!&6`)7bq9kc1<5jH;_#ToHFvNe*YbYy z5(m@u^I|$tduL~92E9s&FrVf{$qY*9$#z4rpAC)U2v3Q{hXf9%)Flj_wWpB|HP<19u$ zISk)4{qyFA%Dhdv?Cn9Trg*D0?QMytK8Gd|W1&O6F;f# zhR^dufr8~15D{Qr^4&t5M*-0%C6q{~?b*=;9q#}lw8t0EOf5vm3R*V!Ct-Re0{v7p zPdE%A3>OUTfVxD%?ko5Oy|FHYvObOF5ov{P%I2XO2TWx4mJ;W z-=b^mc7u^x`xH-)K%tA%-TmbG^`z4iz3%0eQ{HMi;5(f9S;7UwnT-u8+GI(ret;E6 zmM=z-&>&|5%?WK)A{&-n6(*NOi(KDmwi)g!370y};ta8^VwW)(5<6n-E6x#~ohDRm ztBYIny~PX66DnxxC1>mJUWm%=n4cv04*xFZn)yBsCBGb&bt5OdM2XNn`WqUDwz6fIY&n%^49(%4=gM+EJiYd4upAe;{3C^U<(kw ze39y#oV-Z;k2t3DI)=<8p6GqQ^`TP|rNVb{D8ayh!IDzg>wkt#VpNy2_wCcUVSKs$ za5>>{rM(1`3HGY6IOmx;ABW;+Qqc2vY649H6y7J-xEH>fAqJY)hh3d30U5Ztjz$e8 z(OFkex?k!PR2p1k`cN2Iw};zPlyR6LctIE!#2kSulTkiN?4Epd)4cp_M%awBhE2Q} z8UremtLPwjDuVzRFoZlW(GqbigZ9>olQGla)YAt-E*89bSuxT>RDawP-4?&mOgLm9 z;@5uWMT7+Rsmlj9h2}{e?u()pi9l|rkN$i6#w1jf`(*IELZtc39pvxG;{h$qTC$qJZAebF3&HXg(ajoRM$>UK` zOR$m)=_B(O@$103WN4ZN)uE-xp@K2f^NR}QqXYlWjkzzueGK2(3&s9Rpvam37k^No z(BODD94|Gy4{1mrKIl7c0<;AHE1JM9%A$s-NK-UBV~mdGm>;I}9FHGPR&4*NDC0#^ z`E__(&2Ou(u?KnhH!wYu9hS_1apY@T@C|CSq8?%7Qw4{L?r`ZOONjUari1CG;2N29Bot`=_QXj@r^r69p`Ybqr+|Qg zQXg|e5KRB|f!!e61Q{vtr0>PH?i94jo8Q!G+{>||L(jROYR#*aalG|ur77i3Bnl|@ zg>ZV9h{#6hlHvxY9^3le-;Y`Idmq1hJ77Vgh`M-T8GBm-!a|tDFtWkKb;K(F;)qtN zo4=3Hgmp@QDTBd8r)^m+!Va5Wc-X41q5+WNXv|9J0d6)f3#fo}vg`#>TqSw(*CzGi z;boi{cwlZe%Q%|q-*7iSSg$2_juaUxZG$Ju?D&X#6=MR7N;&!c2YJhN){4 zt4UK}^6w4R6SzR(=gFY+N3j8ku=a3ZC+ubyV~xsWpmo>8hdpU-clobl5&Gu!aZ6th`&&Cba zIcsu1I+fL!R@#0e@QAI{kxndEuzgeQ*8cp~vA2yH82N9Mo0LG71g~Zd|B^ zWOd#-B0icMean%cMm`{D{MFeSA5Rvy5J^cW_mPh_mjxgkoSV8Q%Rz3Y3tbP4Hsk)o|fVj)`bM6)Iy%I5My8l$a&mAGu%UQ-3zl0vlpOPW2;i8Mj^{ zDZI^rRVb%p9An@cpQ5^`m`4?wLadQMeF}XUIulSgrH}u)rs-`los%)L#hsRKKW3yg zhZmgODV#ahOUz!waQdKso?rn@R^Cbu4PG0Dbv2+ftG*}O@ETrPtn+KXONqSY%R2|+ z2SRZI`}bn~fjI9h-fUCCST-kPp3Y!r)1DZm;v)3ad%PW*O(idfyRDd?K9upyFf(t>Hh)93cA?<`@pYZg|;yF|hcF}-1~-H-u{ z+CKwW!Kzc=gKr-S65B>BS7oxjRAF`=CX#~K03BHb1+*gXYlOtrb<=WH%7xdb-+tD~ zAtILPBFDouetUguYklt);NStTwiZ1~9r%DmQnZb70&ns{LiOTGL#erytYu8zxl1_3 zXyw$L17}4-Vs`6N6MIX$v~K;DW{j$Y;?wj~wQ)giEcE-WjNl^YwF-eVTP#%&DRjTe z7*DTY6z#S`HihfCk$ho++Nl^Jn;Yx!=uNpIZPKsjyuJ*AO-aI5cw3}Bb`BrUqZL4? z0eiw&=J$di>2vU6+i2pN&+wde$#<1FZoDLQ@Z_WyGJ=)HC3Sa&eaFeTyo$uLI$ z-V-<6=9^uJ!m4UX`#bcgz$Ko9*G)!EfWo%^VFX(HZTsc%+H%^`{yCQZERpv!&om#G zrZwVCLdR)vfZoM(bp`U5pB~`KE8_4Wx?TNi)raHBW@>anR34$qsJU3bO10gD;TQ+u z?Dz`JZ-P1IDpTq1lprshJuMrU=Ye*K5VAnXg(nm>nO0y_p1;~tAcVF!CJm8I#Vj5| zNEE8N7J|tB1b%p=P5=KO3D^IHB$+nu;7FN_2H1;F#?f2H-<5;9UR5_-zgj z1NXnFIbd2>$(fKBt@lFvHc7(2m@jV+*92-zCLhNpglvYq{vhlEu6{!l!2w$KU*Jw% zy+x;9w!MO!Kbver#G%XabT0Wc3%+$$Xz`Ry>K%U;RYV|&jWA&yhZ3dUTUt_|Bc=6; zrYg@G(=6*OZ*^P>Q?S#*j5bs0{4hqYi$pM$7%(+t*PUzTm4x`FgXDWhBSu>I8JCT8 z#xu2+WI}B9ffediQmm6=su+GhM?lJ9Rbf%JD+#YI5AxDUlAlK*yupi!DN21*U@OpQ zE4s3v6kwQS`w=Njly|o#}UVuWfr1RBv>KD@+h z5m-~5ttMXX-CaVbiE4CQ;W>vT;^PmP(<*WfcTUmc5HChjuW4z{QTrEznIDy413Q@! zw`D@*YRA!`zBEj_STIEeXZo z{QdYgRJ)?N=yRyd&eBm}Re_7B1Pbkel2D32KSvX-A2PLTV^fFM^Tdl!MymW{v+nm=@=JHD&EVO+J}*0)5hB()q%<{dxvJg^diE8oKGOg+H5pynVksp2qXe zSBjx7z-gd5rjL-i^Nmg6qr4{^ynLOMv2*hMoP$26>2?Deq0^c_UcWxql==A@d}3Ga zCWlSZ6LQ>A97Er8-Kh9f?IwmV9c8Zq&2KY6TuS^CTAhv5wB!2VX}N9?z-LDwifd!6 zb0MUpU3!7OTiS*-*=s18Szu=%Bz(AXyDJ*E2T#~IdPRTvG@RV%ot92iV*rYlQa}(VwENk^M-U$4liFc#Xr?ctPxdpC(eq+xdy2%q?Efn49iuyImU!XV zwr$(CZQC~IAKSL=i6^#=2`9EWadLCs=RD{Aa@V?FdUf^c`c>_{d+kP{XJp=G5PmfH zPqg|kh+eP)8ujWL_N+DQD`a#4bymD{1RU6<4W7E(sU}qnlM$%ANeb=&&2~%)(HHi6 zt0}N~BTfB62;iy9Fiq6u#|4{duH!ImE27MhP_2)oX6Z`n=b?7FDPL($Z+tvNhG@2Q zY%)Fk1GUu!0v}f-YvC&51@u)3jg;zA0%YPle@$BCB&>~<`}R?iYfr{Ql?gVJNzj=3 z^$e;1VID>r?g^yhc9tPKD5E9A>$AX|5~IgvheR&Bixr`Zs9C&H-!Yl0QPaFI}37rLRjiC=0~ zJGQsx#2*)xB62U$j9T1Dh+uK{= zL~O*aLw#4Hi(wH z0tl}&DcdDyd|@@$geW|UnxNIKlDeoU^bcb=yQ%uHxB4F7VYQk@^UTK@b9YHyIlsha zVx!k$c4L+>^Y20F1;V%>LArwf-norCp~GSsR{Y$4XH+DYm`mO>UGhgkheS;IYMSe6 zs)%Y_3tO_IOLa|Q8)-2@l2dAaHO>#4E;VWOFT>=0E3(+)uRWa#QO{+giCSDydH>6h+@U)z&ml%*G*4!?ZJG2)ilA_>z!efiB}rng<9KD8+7XIbU5od)_)wVi(#<%kzKz3b8T zu}isyDvv0Gjnr;!EqSuQ{RsaQNPA9$s$4zgr1%^Z5WdEO+3^OZhvU4>xU|LJxQI`|W zzqeN;{*s`MJaGvU2~8`#6srMPAH|5!nn3TGgB@cv&{fs#?U6sle%JxUH~P{TvCND7 zEP=1&z_uxR1jl2%0bz{{zss4Rm{OG62yKu%^CAWb&YuazJ%+-F_suLQB+Q?qFvAxW znv^>k{9J5Adz=FF_mSNg0Ae3cco&M?Vt;qF(#V9WC@M6`bw5Vc$ZnaP=qFXP&^R18 z)E<6{nO;K#jCXs%I8$pF7}ZE!gkA|h2 zjE#OjQYtp;dy}8|fGN?yMKDYdB^hY^P>bRiorpyTQJNxYoobG;X$gH1Cxl^idt}O= z)a0IHLUVQ}s&wAJh(k()P4V2?L-Cg@v2{5_P8J zG;_O`H3!cG@VHO;fWgEkwaoAE6FJUjomL_(B#~lJm#8|#0phayfBrH$u%52Oet+G# zhDc3B)0wt)@$~m!>+*Rl(RZp%*tQ9W(iQomaXGcqdHU$);lYaMZejfCvHJAKE+|=@ zp!aLDm-{^2-%>Br3W9P`+A%I}YDX+GYgS~`ScfQwi_GEUPI$H?^$-=INAxA#)&?6> z(dWcof82+92|$S_x8%JmgZLscy5=gYxbuhM*m$QZk@ncR2R{;VYo@HYsg4tK?C=4~0MHspGr|cnx-rN84iOT16-QlXm87<(ny=AOD9P1Dg-t zqQ(a0Pg~WVkhWboBqqjRwHjmf8e^FUrPCR{O47Xsa?lo?A;p2KeGBhw{a$Yls$vKLx?n6+O6hf zCivUc?W)Ym&ZT>;Q3}Iy!|ehJ1_C!+uUuWiX0^Ukmy9%JG!ird8U^N5SHwH^oM)qp zkstyPFZS@SqVPUiO)s1~KPa7gzh4`rl0&30v3JG8UzUu>bd__r2lCPvwEis^%-NvoYH9xj=%#1F}r_XVaJ)(YaN=;9%7a^@R&Y)?8+kw zptefSuzAI>iRwvg-vPVAFqB_CdS~(16McB?a?um>@*Mw?z)6vj^eMpi^|wCIk9(}G z_|%RcAL5=`$5&^YAaJ6|+(AMsZ>e>{Kua*Fs_QDGzg_&FX!ER|LZHxjBBAzBf(JjHmR)pwAo-u+$j6iK@j)_Aw`m*dG5A^o91l;VFa$L2ru= z2L2=mX8I3-)|OWZ9E}gm@*e`Vjeiu_R0No$hqEK1v|6bL8n zKaA*Y0 zl79fu+mOUTH;DcLKyCXn2c_r#2LP>2xEPd)=3juYX;2Nae*tc9K^v+6RlN-t%!dD8 z0CsJ#4EBFD*pCAvCi)iuyB_R~=wATpIWStNe*lQvJXXPKDgO)5!U+xw{trKDn+7;I zFZ4hBsBNVP;IfdwOl`O5;7!Q?%5J9wcZc~`wlE90In=+(ck+No5&SD#M;n~?f3mB* z!O39%0YGcp4*@@g`WIj)7W@qUU*TKX;B%1w6`uZ0z_-m7gQvj$`vhL~;PWK#?9Bh0 zF**M6D+OHguc_clw_f{+^KaoIsQzL^Mnwg-H)S$n8i435CNxVBZqv4tcI!Mozt(On zsi8@ggZ8yBF&U^;t*qIcNwS<2vu~jhGj5><5z>`{MAXCrM>LeG_{oFD;^Q?kK%=Tf z`kiwiEQqco+z~^EcK0%j9R~(@9b1*kvB3z|9t{vnl`x`t1sH$I{VIY_1=2tm=uZ_LqR;>Xnezx2%mTAukUVZG?mp0w z@FYa4SRw$9lE^M?3Nq0&iok?axMN|hGB6iR7igKx_eo)o_&9`GiZd0QjLpQbdUgH1=OTM52#T_Y!-N)^9T5u{lqrMk4G7M8o!AKXg@d` zRL;OnHoY*;nIZX2R^%mbxnfB#Tfgu%R}_29!!ntglKY*gT<_Mg0G zpmETOU{Dr`gwFTk+D*9T&ftayj<9KsXMr!aZO#pW!w*vdih?B@QXvFkfGrRNFlRyv zLDV}-c!MR`82w+cjmAn8w=I$@?3n(dz97Hg-|09ub_a@a{!ln%gbyHyPsJ z%avJ>E9=CemCza4-mVPA0I~s=B5``qE+yzP4nBnL<=;a5>G=g_CB}zi=Ce1$L+uVf!Fz}@ zl1wy>ugaHr`Disv7BKKRU>IOyd17JK z@YkWg^Fy|-CY!xPg+O>lrnc)GgC*wtjEv~=Gz%w3NC>;-0^`EVMuzVhIz%0E+<_<< z9HUuS?7?XNKtq}2QbYi<8;Vf1Rg^&+ktjzRhmFJjtELrP3&mdbh*KV8{3fVKv#JB`z)r2X)$TqY`bB?Seh>lQ~IdTKW zzeC8}4Gw%71b|P%b4vBRqj4mYVw~$BVajAW$Dt+q{+)Y?MA2!HtXnuL^Q8`dFYGRG zAj;HcTsQ2XKf_GQnH6{F_u_Nj0rkW$hd%W^h#NCODFx$=A~}*!_4zQ^&mueQSGSf! z4g1yQ9@~)ol^^^OdSI1cACWp+Mf6f}3Q`hH2*i7TY5)}>9R?H;5M>DSV8zhM6-qHA z=%O~!#?eVz$s?l5ySqP0zLp~Poq`1kKJ8fQBt3#k*rfI8!%vK$g|l_k=X@K*@;)5M z49L12$8lAxjJqTsjnP|D4q_#mVfwKebxP>G@gVJB+CPY>#2*QTocn+Z28|8HHYngO29K;ivd^umezld6RsfkH`}@Ge3*y5N|}Il)8~9C0Y<^P&V@Vg`4AQ{};1D<&R-pS_fEkmSGBdR%;_<{5f(<>M zPm1FXkX7n@Bx&eG>^ zsNK8%O2t{>ip1DhL%)E^(?4f7D>sxJmrCFx+q1J-Yg_Y(3Z#m0U{B>#4$FKl*AvB! z;sbIBre+v`Cyghz0~coHxPiy)!-qUGYC67*C86pNS2 z`+L|x{_A2TW|k9qrOV38C>gc*#jI)KUUS7w#nC&+3IK0yyYymFDNrjZF zWu&E;Bx^m*0#(`|P3#S!UVQIsOM3CI&`Ge>$5(dZ8xz2G!UGY;NfuR-;iB&w#;=CY zrp8x?2X7UVs1v%a=iYL_Um8z#gIR6n{QhFEn!cL3gwwt5H6WJ}jp|fmtrRLwqre5| zk5(P(t-_SC2Pg+Wv0Mr&xdB)T##W#Gx0t)O0z5zB-G-<`m!#Rl*>*_k4y`dtyVMDw z7jIrV?Yt*3em^SLs+XK(u)M;ddMCK~nex1L>#loHZQZ1~ z3~Ul?VQ?(8D=3>#DQV#S3Z03y6t!o5k$uq=a4okp8q#H4T2WHiO3o%H_m-6<)L9%y z7RJ3m41CE5WF1q>PY1lj5X}ioI$5oQb_Tkg1VPf~xhQ+hOgv6WNh*-=z#ecZVQ9lR zkWgtJA<@_S@q7eI1vN$*(5cX6q-d&1c;>q-DtEeB_Al5n4aUu~Vl*gl4+b+KQr*X8 zlFL%_Dq`jlP3(A)ny&~Ygh;<7#k+DP*J)SoypSAAvnNLSTLC(}3#ow>>Dc}J_Qp4g z{D=u98j$vY7Pb27Vln}77Xz!FzVnye4NFWcAt)|` z;v@ZR3}Ti#)D`ak>FfqZ_A@VpJrh{5%WR*BUOJNO6dBOWOed}bb4J3i{^8X|IMhtH zRqQ(iDM#TS&~uOIje*2#f|d-(*}eXMAw`XanqW)nUeVA&Ph$$@h%W$|IvU5V&V^@{)&{WZDxBel)5t#e>p@n)_^SjxL=e4b^U- zJR_m4qLQazR5{`c!}-hccOEe%atkGFNF_)Y2hm}deF6imHz}1{kiE#$3Ramej2m>o z)~$PTIkbBa7fh_Q?H>1BT?W`1tgDy)LV>+#XcWLA+DXBIKKIIrS4DYZzCR^)yqQ`B zIT0;Y-hMS#IQ62s@d(ubuqT!X3^$Qn0az-UUrSUt zX$2s1D(z11LQdBsVH~oE45RaBSgwMH&@Ep~XY?@9_#geoo;t;|+}K17IRi}5ky?ls z4a)5WCYK+7)3;Q*%Tmjclgvq=lX1r~QZlYdQv8*|!M`$-e^l$S(&uEsCAXIV1pW z>cMDlV{6@VCuUkpVcO**JqzYT970Tf%vx-l0l8%I3KF+7MRUnVJq4v~HW`BEvOad~ z6!y>r=zBxr_e>G1ulrCYOWPIxcyXwd@)wY8=!3;ga$&Q)hyA%q`18@}=$>VqUuD=4 z?wgF2VW%Sdr%HirYv`~iu=@*q<@JEe>h+IOjcW3_*31M$44I>z;|lgHo*o;9Zzme| zlp2PG;sM%)Ly4*5Dg^^|drTjiQcm0SD7?}Nl`GM?pH0WTT|zzWZtYhI>eRzV^VO)Fr^bP3#r7IN~ljjT4l$Xv$$)693s631K|Os6?60T zsku3#qL^v&b8e@@oD(!^n1Sk5nr`Ci*aHI#OK9k;b z0}+$ZWrB2l&PB*>_9-KJecK$Lf7@d39_ks3i#C7tW_M%BGg9m`Hoc8Q_ybtGLOCI? zxA1ZRet#!-|NcU|*|YFsrw72bt#0*vX}rJUkt`iYy|ae5c?eUc>Mlml|ABjamUx-G znY^;{bLStFvMC<2zWL)C$@pY3n0-6^`_J-pMZhj()BL6H`($nG9iKZ$Ev%^?B4zM= z&2#>pDmN|Rgy4kWq~oFBXZp%d*08PL;84Yi9G{<0lDqEje{UXdk#_-yymO7v^yo|* z-W7TlP^se6t zUoP*`@62DSHfa$j2Jhs(ReET*(=89ZUkcx~5GHr0)6a=-?iZ~%=olxW-!?XkBM)Z} z)xFt=9QW_OCblPWCE5X9^w$%N#pBPPjX5ccatJ-Klf5_tJL-gIxmN_&SC`0-7b<(! z`Bvrf@50T|MadqR0VgGKai_sEzfWi8jq>N5W#MfVi97{4;_8v~2Z zgZDNx!*z8#Lrg~h)+(iZh8I%tDvMzQK$CLKc+yX1*|jOY4;cYpRr_1A?%e|X&xgwa zPKcAvnq?veQG_kaqLg>hwNqHEJ=W#FQ*};Cms&j#xAMAy#1uQ+vXE01zC)GMUGXnX zD6{IJYWL5bxv>m|p|$(~t^iGy{k!|;c;%OuPh*f635xC5Yl%aCzp`RM3C}~f_u3qN zMTue;j-Fp&&&L3MoQC;>9))}ZoAZ;8&#mxuF~a4-dugN_#k;|HV#Oy0$0T59MV2`d zV4`h_?(`_!E&(3@@T0dO54$fJmgeU?RT6?wpOds0?w;zo^U|#uMMHq!7s9+NK5v(Z zqQr+NSM)T`9O=}jUBRNPseLX!yZ{~v5B`LX`d@XLM^V7s?VnAZ9$W9~t+LiHU z-@erKI>0~YYCv(kh^u!)m;5x*39;f6NtE$petaD8G7|t^IHvvK1l>_iK; z3;y$io(XSlda6fjVmc~Nv#;QZsx0gecVymuYG3wJ~!oGVJ^MJAB?9FV=cB6;mHX6nMrSL8+>6 zre|TNRcrV}P2=+h`gnF+2IHT#WoG_;8cctCMQXH0!}#>z1wasdPTQBIdAQp zMTEHld0?B?Hwt}1>*oNmFuiJJQm2c?Xl?o}*BTGkTSVa9j%a#Hr50a&oC-*We;e#l z-?APfxlsqJ*688Q70vchbiH-?HeY}_HlpM8HABDdE6bZLPgd$m@vfPMLN6Snq`M8^ zp^@rXk`U5Tau%T#g0Q2AvY85{{y~TDhZ?NOl2jsiSWz-eD=#EZb75H6Md_~MZ0mOj zEFUj^u3#_zOkKEsPAV3kxMFX8kRV30&}Ly#LXv6O8@mClG>+}hz%eG4v3=zOOb)VL2x^! zCpDe#KxFymY5t<4D+{jh@^SFbveTWDFRNchswdyQKL^l@MFg3E<;oMHs#7DaIB48W z`L0{@ka%8PAlw6j`V8o-`U=-~T7_*vK7aRj7Sn<=lL8S49zLZ(L*{X;lT9B099u42 z&6v(;bvnhL53hHNC%ZsRO$dm+{bOW6N7BcuT{^d;Yu8OUE@5ywM+YinTH`@|@meL8 zo@8^n4!;+m)&0{s&?=lGvEe#Tk_~rX;*!1D5xpr1-m4rV>b{yD%A*_CV_v~nhFN2Z zLh;MY*QG52b^tEGy+_W^No*ur+!@a(p zyZ^U#qhvtl_L%ARSh-(!Ld~VZS>3Y}DznRTbS*e~{_y$8LMyK^QMUCC!z}y2hf93L z>($qs{MT}0uCq7dpxh2Ku0g`3>1n$U)^>t1>3ncm_>8trp%z)#+#>d?-H!AQSMYZ$dYMBnqGj3;T zlEi0j9|3<$!XmFqY2u#{XFU+0lM!%DfRJfVR=iFfiC8d~huE0_k+~UcHz%dfGi|fm zR}O->7eam~%QT_&ci0>2 zRLPjGbav}0A(5DgeN9Qz_Eh3s8N)R-Nue$!F*9=N_LpQiyS4>4`F)1D++C@#4v-9V zT%G9=BH3RSZNKsXc~^vac!IvHJs%HD_;A+;)mcvtZVuZ)#~>Qpyea8DhL&cAk$5bIjHren`y^9Us`E$tg>j+lbz9TvP|Rw zqtEx28P8WHZ1g|a13NUs6RquZAZwv4=xWN{(G1dkLp=`x!pLSXtxz3!X#Hu|LO2tw z5n@>M@2>MH^ALPA|td*sdHE`$KH=66YA{S4IoHc5J2o74lsL*_{MnEmR@ z8(m$a0BOX0iwAVtK-CQ+i(C0O9s~KFll1$f zvY4Z>dS>5!4NX^%?VLXzGY)27Yq*$oSxuwYN(L4whQYV7w2HB7!S6E{nXA~{5Qpba z30X~TB??Ovp4ew)Uk9Pjy+sS9W>I48xxvlW$%xo&|HQ7Yy8|9fok49r39+ zF$)L*y+CbYY4*9P9LH_^M~0&Ftq4%r_iZJNzjJUiPj%YDLhT9m*vsRq;r(L2Y}+wo zRhvdG8p-`z%REKOJb(B3pK5EmLepN>uw<^c*hXwGEM^^{tpDcF6*)3qV{iRxG)+Bv zr$?Szc2ofF4%^lC*qqlB(mOqu%B>~(YuMk2${INWlcLuhWQV!>3*#Li{1s@Q&a4fN z3c|&ietZEQ2*JY4#>~o+?r;f?|8G6<5m z++?WaIT8)=>iy*0=W zB4cqo{iuzYHsE;){D~lzy!3GL9zt%^I6GsSuu*XmngwBLi#OJ}Ipr{BI%oKSI zKn7uc4BGdhKxMZBlq9cCklc#@b;|yTXNzBw)dZ&ca0T-7?SI;E6`l zLS+gn`AH8HjB!2m%ls}v%;aI1}Ry`qo6l~MD`193@1f3WhySmE$1c9ie$PpNvIL9 zyBg-%{`&d0yxZB^Yu7Po$+_}fA77b$yGaanarbK8viBR!R(IdBT`KVIx z-3bx`fcJ5GyX?pxJgdS+mB9=S;|UNJ31pO7?M(LiI=DQ?ob^QkuuHEFb7|=+-FTMY z?4DfCN9Pj|qsESfmrqX#AqtPnec-!Wj44t`4ICi zeDct|-B@^R7a)g4!*9BwH?;6!BC%bna2tY`JhajgLXVSC-+RT_wgP~|RpG-M1z}dW zby9=RFOolTZ+n}Bk1dPx7pbo-eE1Z8_3M1`iaQfj!6 z7I{!TZTRMNkY^&zX=IE`Yu%P1#cFjPN_BJFF*H!r0>`Gh>5ly*>0_q?Pa$rOQbU`I zStqRZY@oX;ei_w}LJy$BYcN8VP1UkD@aao})!Ok7HP_K1F%9&L*3vSrq{i^#HOdsH z(>F3tBc;P?SRzTQXlMvsP6yJ@PHV`iZNMQ1nt|79j{rwcvog*EmSr>{J2A zS``DA9n>fVD@lzvZ$Mn-FfdU-J1F3=GK{RJD2%RhN+(TC=c-`w zlr5JmkL=b>L*=~oZ`1k^8f3+gDjE^KVw^UKwhDw4by~ZM2=Ic^E|6@&xGX+gvW1nh z8=HpLSdz;wnmD8xHshg|%80D8n^3AN8}G$N^OUe)rMxU`7%hB4dSes@V>N^2O_d0D zFeds$s3(A~L0-m=Nzq1?1X8`@UEujy>kc3{o`zy@(50t5pgfm~!3&Za!k4JPW}P_y zVTcQ4ML$!ua17+Cr>(5e-#?iu13kQ&GOPI8i*wA(!coFSMI}E|#%%;?Q1u0tiYfDj$;TO!P5HL7BAugy!gDUzp54bQ`d zOI-jU2v>n}vtr4Be0Oq}^T@%tPP=NuQ)uBBrAx`p#6F-?GqGS=O8@R$YGDcS>#X@X zY>>y|Ld|n+w36bbhKo4F2~FT$oL3Gy>%o{rBx>cs_%8_69K9 zCcmGM*6`#mhu9%io5q5hIkx>@-F!Tnz5rxGexuzWyV;*%2HeWI9lTis(-eeEqo$j- zcfXwYMkJw`Sx3sFdeRZ#5zWbA(w2wnse6SBPvvc*X4FnLVemDI=78+UP0EVYV({S$ zP(lSPbmWRJjSaGm>^zhjBk5vn0tX?f|BNKs}+_y^JoMjkF>eM)Bl?g&>(?meekX&#n*)eyB4b!SibRb zbbEAveEIk?{Cchs>E%9X@?e;~2n#sn=Nvq}?cHO`5_As;_uM$QC4c@byThj%`)cap z>(sf&+GY|iA9!mN*lw`xd6$}4&`4?sN`;|J%Skzl5E1koU`KG8F6k8_hu%)OcR(lK z{Bi*igMLEMP28PS>#-1nHl*1+a9j8unA1qGE7rG_<3IKJjL2zuE zlm^vm4tfC7l+7Ycn>F1B9Opq!wK9swWt7CK~(@Z~d&6OXWb!=?0xouS%7ta}oda45{j2a!E zO_jUJU6r}%QI(mz0#%jSJUH1^!AyfRR-BQ_J2z{+5Y5AfrcBHO5Id*BbKJD?)2dCXmKvU?O4@a_8d29SBU3jIw$$Dvn^R<;h#_{aPxDgMC(OF!^I&s-& zI5of1`g4@%xtZ_uPNe^tjTP$K(hSohV>45)=!}|cV}g%hSvStHub#f%C7KLAjH>Lw zQZQ3)Ak!m^n-6tp7RL8-i49qQ-|~lG-P8GG_PzSM|MblwP0ssb#-1a0VanVi;Ea14 zZ#%~xVf&h6@LLDKnw}uEfM@s5FOZ~9w~ha<`nl5OUcre0T-^FFjH=c?=0qG^+%Sxq zM7qpGtVGP;jVg|gZr_a@-(gxRFpSa;7LMN(=YJ_NB3(W%E_QZKCJqU14sK2^VNMBl z5jIg#b|x-%F;-?)c4lD#qW^c7^ov(;E`YX`fjCy!@!Qu|iS#1d=^f{vWH##sI{n60 zzyh0Z7KL?FvwTytbVuPFETfP5e732uUR6*~lut37mX7WaEMtoByarX24>1~;cqOa} zI5kxe((Jv@{mqZ#smx5)`ya>I`#HY8)Q3~`;Mxrghk6H7^i$j^fic{gHB8_O)PVE} z1 z!V9OPF}IOE26+{V(2jw#Zh%@Q4j;GZK0#anqQ_SD@Lrk&Dtf!b9l%hXo;eO1u>!P?TM%lrcOFyG}0_I!p#JH)G zSQByr58&Fl?AV^vg2Tu(L9KDVp|T+ESeAfMIM{$T2|SDw(5Gw=08=0yObHOg(!nbL zjq=!lcX)a}QjA4nB0W~$5RDF!_kHfmstD}%@Zv@xKIjQzo6U5Gnj z;J6G)ddSd#+A;LNRH1zpXP4@!4|mbrI*4;2>Q#uwqtBk2&Q&^%r|f==2K1Cb7z2sq z8W8t_1v>sZ%eG(}B~Xt5hz8UP&_@e$R+}!^3t;&I?B*a2Ktp<9nbKte=mlhM0VdhG z8b@IrLI4BBjO^QfNCxq!$MNeF4(zf65MD_xhBH)5mizMg6&V)Cxj?-W7#>6w*}f4- z#apq3>Aj67+*AN{(=UMgC798^Ym)_~;1c^Csbu5vDog!Dvz5nR@;`^V>AaKhB8~wz zNSN9DpEY$q0lfmI9zS&o1(dqNE!+Hn`ylgNjx{s**DF0T`kRh>Qa-hudkO4_N?yGu zinhhZ%DgzX9Er`g`8uyBq1I#-460)Em(g})n!$bV*f%t%}jR4aRqXecAWKv+$0#oz-bI?fuKL19hYB z!P=*?Rtv;wJ}Df!hH9U6#nDtfs4@UWoD_b3U_o-vs$M( zEoCVW-9!&<%XU%Ly-F?y`zNt`U(w(2k`B78@#M4ClZ6zuc=7c7^s|V;XZOPE+;Ig(_&OVzr`FIeQ`RW<;vc^}t5SQ0+)pAS%m_ zz=cvwD%ID(B(Y=Z!%-w98#qw&VJamNC%L#(*ql_;(ta`}h?5XMyc69T)-~hJ%9>hMZhnQ3B@w0QD|6od5s; delta 31191 zcmV)8K*qn|f*7`g7_fIs0x~(1AvP+1+jASY)qmGt!AEMwL~y^@PtG{*m#>pf-8jv( zO&@4!Ev-ea9FdAVp3d}N?>WF;fED&aiB9b_Gqy=VSS)aGF28dDOcxgmy7aR>PqFp`R#~p;tP%Ada%8lfWMBRG_O^IN~(d*mGqV(eUt!8{(`BPrSq@7K#|9 z7b^;*+R*-Q-wrJl#)#T)Z(znkEYHhghm#kwT@E+Py5+9CIj_5|cj3z)ud9#6`+fNR zd2v%OMMd*tS`leXvzAR+73))fZkIPj6~_4Cbj6m{DO;}JT>9y0PNJM= zF3O859IYt#^}A!*NJa#+&8ye9&8*k&%YCs4vsR%EhAQrGq;++^Cw+pOnBd$H2+90#Ux6Q^RGh&8t+HTA? zHxpQzVydMSmn=69zN(!}m6?nq+_j_JRy70f1}G&t;im2WJUcH6#B}p1^q0B^U1;Kr zuwHc#<}}E-h6Sb+&`B?Us$Ik?JTsCetRqrx{UCg>pR4FyPwHV*%yJquLd!>Qa_a_O z7vk~DR+(id6E;L?+ncc8Gu*rkZ%bm^mwua@IH*P5k&%PMfdt!Sqc7sEmBh7U<=72= z-%;t={Q)EpyX9&=FaYZY@N)PRKXmvo&BwFQn3W7ciR~=NZBFlh!8}?8LIU}|EOS*sMSP-?I9%VsIgl?Jr z=L~~|X{;DbS0x;gP{)GS24mZG0;`8An=gx-yV{r(H~YHnkJrF2&<5&Ve*~?uFRJZ& ze^Y+QQc6m~A=-pO@(O%m(Z1{KW=UT|%plW(=%1 z*aQRk8VA-MX|I?dRI+p@;DHs`1V&BD2-q$G#q&?ptiX_VQ&A1kX*6xm^>QHu5}@r` za~WWZXn{n3S=E6_G%I3BL8l4H;S*`}&Fhn&PtYvU1zQLPSbzgv;6cz3XWNs1{F5%u z;dcnY1=xW*-*XFp9g$itHjD31UIh;+oumMHz>%OEJ7AI~aHs*G1#V4vhyR7lQUch^ z#xQAee4QNz_Su<3hG8SbQ^1aZZx170@+twqMuL-np%w6WBcs`w$AnVzr_Ucn1vySk z5LYG--jh5nr6F3%S)T zqB{Cgsg5d@sG0z%2foZNo`cB;r{D;S7vNl~12%YoSp@hh{9tZrl(0Pxx0qpqG4Otm zLNCsLVO9t7O5f7LT$o+}9@I=XL$Lun%kn1j$jynJWh#RzR$N0T#0S7Jwu!FgJyC{0 zRvh4pQcmZ&qWrP0sG4>~#|O|^_!^IJo5f_N^MwFwX91=ljF~UXx0J)qj3L(XMbzm4 zC@LMXK(7^}oyG4#Q6Wtq7ba536u6(*U>W;=l`xZjJZ6GnfX2!S!o?#&69?_WU?|Xk z#za$JtPtoMI}cB~LlDrY;i{Jgmcl$1OoK9qzc7}DHH!K3o3>r*^Ritv%`~t(b;qHZ z20R{#)QmkHG+_O`_(mya{7fw^jRs@a6y3 zx9|7s+ud$`Q74Parb`o#Y4b^TSwHml+UJ3`x0|xKDXOQ5k_4V;I0AILvA27F;WV<#^IBO9!(SY>cW7?ZK5VHvS64j7!2VMi@?A_Tcg|O+lDiEzXXKgDCm*4 z6=#ZO!!h19N^oU(n3Dn@7_EgEd1mO)yk{GeFbS zeD>R$N6$Q!V}i1<$G?;GaU^}~S+kXmPCUFE5eMo7mFn-5el(@Oj|dzQwri`kTlBU0 zd{uLN(0Pafl|zeRyaUH-^@V@q?`PXZPa{qgGBht(fkwqQtfaLb*}_YjB8Mn8A37;2 zyd4c$=Jo#LNKhLr5$E!d47cfj2es8hGTbxs+h9kynn+`^E_wE+Ttx#Vsw-$1PH=aL zz&?mVC21b5V_%FG53j^@1txAO_^P*;&na!cx_lH5Y_Niyk&WP9%=xy?gz+$x!h zr7B4ocOH7;27-%jJKh{fb8~S3e;kzNR-m0aLiWs3L*vYt7MXon> zQSM(6_q4na+AfOS+2u`H)M2CA@`HOp6uflBVWcL`{nr0~PIzo~P`L~1LGlh>mHFL_ zVDTV20EDf+Sai^@B-C*wA=Aqj>#WfNx3sH^JxJtCPvS(Ma>*zHzOlZ`_ z%S|{T@uTL;`y2K6`Ht;pj`*Cg2NM6Dz7zMn*1@9WPpcf~0P<$W zxS3ksq3uF{5OWiTDatBmi#0%ju8e=X{!nh$UN6EU-xbwGPURZFWSvs@_C6~~Ae>7u z8_nZKE|T)q->{>SCObgybH~z>Pk-v-+(QTDln3zmIRxMh_j!^YfKOy8LGTlzq-ToK zAat;!q7-QcJ&yH7l9`@HDu2$5BMIv=b2WeJu)89EyhjP|6F8?6{_LA~5F{TL?VtDw zTXS1A2YnP^3`Fs?gKDjpfmLW-vp?ulgy(ypF+{n-=9d*hN9FYLIiB_Lj8N3C{VoV; zaBvq4fWC6`-n|b4U@7tbNyJ{EH5^&81ebq*vKo@o>j*JKJTa`iHj13}vYJo_owN=W1iHxSejRefaW6uc9uB zD!j4QL3H_|+!oc&pAf_!I}a*BMobzYmY9csjr1@!!qf@n38P$;n{0q@CBY#K;sX0g z<#?daOa}T`KhVde%;=&d&bKYIkv{08Y0H57tip*-JB?<4@W7_(P6LhyAq_FqjvuY- z4n@JnOVDM{0Xd@Ok-D}#_$4~>TDSbrnm|UiFZP;i1KY!{ejH?=`d#@bDfOj7zoVUh zPlk3Jp-e|$rvV9mQ#?q(Z$8 zA#y+u!4Lf!*91IVlyCL}$%M)1B_^kTO?|GsS^VQfl26)FIVzH94U9-+GE$eq_4Fn4 z$&IEqk!zZnmIam)K7ubbd#nJ-*b{WCpS;ucY#r#a7^7=e`@&f0Ow;$xDPW}=bH zb<8-QTKBrK({o@Iv9sT3sk@_?EbnPpmAk+~4CMnwr`x1IisRC|6A+bh#;TRRvi;0|yM{{jy3 zf{u>LBjN;}nJ(_^l6Ody?l^3c_fj-Ei|}_Kvtty=+?>R9fHQe75r0wFbN1On`*>ZH z1T$QCof*FQa2tG+%h#t?!jGGO?Lah*`GW)MS54=C2}l1ih0*102J-nBtM88a9TDb# z>U@5Gi+Z_=h{8_-8=(zG#u^fHEEv>ZNIqXo-fRGyZ_=v`5`7>K&<9AgMjwETTQCgH zdiT({=E5V8%<6i(4SCzT-aJ5_T~UUnsyw^gCzaqbWRBOH4Y^-q)f!A)_{9b``Zwz^P;&Cz{-en zP=Pd%q#LHL3LPzjFp1iKeu4I!tELj*COE}H5i<~(X?)@)GPBuN;5=te02_a(>E}p{nvi=+dI?Mn_6>J97F)7sX!(J4deezBlH%)V| z=JLyFNcBxw?L!P%Dq_tnGF=o+(HuBMEH%~L#T_X^#mY?8(^|=Y!V{%c-!k)JU2A~L zqWp;pwjXkQQd^G4RWTH9{Ard%Po@|fixyIhoxO#HSe>}7(@qQj^_-RmMIFpoEOp3f zQQm2Bj|c~_zRzM}vJUN$%Ef0=OXUwcDj1BlY0NQyLmeW7GK!^G*j#NqYdInM0SJ50 z?Ra3ba!?e{Ug_z7$&p$o@x{ zw@wCYNMMi`c(})ZdmofathJ;*AnrX~u_t0VLna=wqwkM=Boxk4c$it=fZO z2ju2hig+;+fUr=ihj>5t@@oE&@+=3Hx|tp--U9*KE+WEUMg`QTt2g*vzBDH?yxm01 z&=Jg>ErSjsb~e|UDJpP+Qt!Qd_AWD)15Qou(D{%ZOuO_to_E>2mLLMXOv;Y#WvU@B zlm7~TUgoh9-aWCA9n=mg#{&;WJ2OX3a`Ny+h_~tkEWTLk*iz@S=SzC$L7n z;pgk*5-1rbCM5wlKF?ZXY~H-*oNg;7oXUeMHF`0&Ii+BLy47)d7rr*i*w zO*$qgyfa>H>CZiFQ{Srzo)720XgYB2 zi9NtTl=Cd0_%MGvJo&(Vt3>KOXN>kEC(;n^ z>}Vnwk^Yu{<8k+2vxXy1^Y9{tMI_t_FMPY2e<~Jn+b8q$)m1TD)-Q?dr3quiDHUJ) z>4@8LF`FI1F7)`<;;fj*%WtQb#q4bAAJ3Q5^ZNORFuuH8#2dd~S8rZTKbBY1%WA=7 zJ?1P?x+VlO$d-U=hJVU>$jjyGtSsiRcu~!LUc4>f&NBY`P|nYes|V%l>L#2#%*%vI zCsu+m*UWs%r9?K!iM0)(kmM@Tl2AS^I- zyZI3$GA4}+^ko{4jSbsxPLn%e}#|7b1BP=Cx zaIOGM!kHBtO*ki7s~!#TN-$yLEp*{zwRr2tj5zESv~WT}!K!Ef4G-WB1rUzN;qAnNH0M|XBAOdGFV!oZ6g*xqhx2qQjtl;gd00v;=1Bw!y#7j`I{-W zG*_Tkt{(dYnSV_a+U||-G+7wx83M#g|I_F~@OCQ>qTcq?;uA&>!3k}ZZG}t+Gq6^V zK(>Hj+M4nA#q7Mk4oDWRI#5;*Sk2CmbAk*q(&6ndxUvwVRWH}FNpr4!#HO=Apk~Ak zGKV5c$j%fQQ49b=v!9}zJt`uV6YYC6j{pE14v)@iWG(n{R>q6(it^p3@*F*|_V&qc z;)^7bH*5wbJL<+SkJz~Iid!Ow5&+QclyBFU3^V~lf13TaEU#zB{+4c^1!nq-VAH1; zml5d%GX$(fF42H&i+4dG0P~i|Q7X|G`y`wutrvG6xLcoB5c7zzxF4Ol@;jTwhRw zVR5>%f9Y&G?@Tqad@)@{t({&)4!%0Fpxoz}ngH{e-UJ`OM%J9UEG!m}4Eucus#;9EZmeKiszHnE;8&gjv`-fcZ2w^JtyM$&XIpQ7Z)6d>APeRpNtf+mNAdO4 z0!sEcRJ-^Dd&_BRko|T}E`fdMek?aTpxr62qaY^SdVl~{$MAY2uSZg#s58RG-CN}m ze}aZ%=48;xI0^IFE*WSxfY~k?vayly!1V4C+ zu;WGP5zk+RfW}{hXnuw=1yoz?u=P8H!e)*4?-4%va1pQ!0%xGof%)A9QYXwPe_80= zG@?+Iv0W53br-+-0P?u{IgS6<-l@OtBnMHESANrVr=C{ z`pd71NfnbCM!4?8q)o&TR2lqG5`F#?@G^bAnT@aGqjG^}FC8Pgbpt-9Ovpi*(Dxz} zlvp@UvXJLRH84{rM@*X``5~kae`1K0I2yShZ*GO{*+vpeS}NSb2@2y?*=l5 zi>`$nl$v`%jGB_ZR+R}}wk_`p}wj|eqEm6c?7e}q{WTatzP z*kbNAHE-7Phs`tb)%fU<_R4TfsXxW|N`b(4 z5Ki~jY93>2WHrl&Ccqe9f1>Rh;0qO1?)Wdh+zqe{@P%Vt3=?L-&uwDYDmC|F`sMpVqyN(Eb1tCq#$IIbJ&s*89X zn_>KbD&q2&oq7pcYS0vzFLsfi{_X@$r24<_PViN5lay6FBYefge{<=qs+Wu=l7SFt zo2&d)2|;%Zp4a<}CGe)pZY#D<)=a+?V z=9yLL2H~-%lVMNKmqa-M5`TBpH^^vD6rA-wH4TJ3x{~45FN=%m>fLfRJI}V%!EA6o zTBkDGQcnz|I-QKR(`f;etcQMCeDX|~Rc$C&<#L_%8tjToTAvuj9Xqx|kTvTuEyi{8 zl)Y;NfeH!b)nZYVnbRDE<=!RZ3}X6VCWL{wRppi6Q{LfTmsr5*7Jqe~2T29<1ykd- zMGtSAO5>pBmr>@!gP1(UYs)ZOv+%Px!ej|55t0=UCseS+u*NnB=10kxClO|m`Fx7T zA1fKm@d>p2foK;eh#I^^!ryk#OhbC7ND@0K~{O2PaE& zMBvY}91Pi^e*?4?&VMVC{dqKrAxyYeVnHA$mbvw6L`rQUzTyVO>W3^)aXD&T$k2tF;bf~kaQ+<*m*jg%{B|N za^Spr#97vrctgpqIiL4op>8igdO+cKR_klA(zuS0UduCxTR|o`Qb=V zU!8%lfpo1!=2OzNq57xN!@qN5u(0O=@!>jJe3)qIqkfHrDTH!P2lAG!G1qT z`)@ji{2-MjX4#fSDTwbK_c>il>Ry#y9R{<>8e%5%fq4%(;d*}!pU%_KYpuOEc+)uF z)`689tbF6aV#{NlJCsPc@!;9jb!Eg(Rjyky)FAbRPD6-KI0?@mpkxhrp>wC>w%ELD zD*Hxe`#{n58TlTWNbqR84!$)!7)_KRhU;)bC&Yc@EZ-St1I=R=B*vlsOOJgK7Y#(w zET~Ug@ZABpH*SBFyF{WgA=VayaD(B^zVCws?-@3WtFJJn!^(hYlnT);sM z=su}{{>9MmQw6m_n=%V~N)>%t7K{2L;J+7()#bAOg6Mx@TIKC4)c#ObxL#H!;=AJN zY8r3h;Uoa05_*?#QdgE^wKy*>r{~3dNnn$#`kF=q&8W!Zwa?%s@I!kE-SE#s7-t-a zJFuPK`qSq&5d8i6NI+x_)Lj(IPpg5LkcA#VzC}9&dQ1RBCfBlnpn=} zp`4@kuw{RQ-|#Gw+QfE~{<(p!Q{^da_xSK_=);EJa6WLI@`0ibSn4&-(2p0>{>)8M zEVv5a#BLJf?PYiI=3-thmz%Q~iqI^JQS=msxo~^MifluuxVwwFrPI1su|s6b&Ct(A zjm$c~Dzv{Wi`V6ORqU!A_cU=r5T;F-qQt6B7twz|SFz9-Q<7+lNO+AMtc1e$uMq6x z72LvO-Z5zYlhjZSlX%#+gmUY|L)K2>!MXl!7oy#+Fh5)5ZpL7MXer@b#*80R2dxqE z&sih1cOu_?F;X5bNMga!-B-}p`)89rOmI)xmTI4_RyXq7TPNoH zA0dBWDGxS8#k=JJdunZUX+2d(aCL#B{_`Ow2zBY-P3ac`&WR`OzWQ?4LSX+yLVy~Y z{gMR(IIx3IY%&N>@D9T^usWL}(S;yf=|hBoVlV{cyTt-%Qfih@6v>?q?=j8#xFf%KY;&pKJ_0B`1&6`J?E6TAbLqx zWlvY+38FLli}DC0y!|ZEjjUA9xRWF}MbRFa8upv{)l5!JG}*dA4?=C98K&8&}nLqJ4COGvr0{7JQ;`fOYGo;niN4X|Gz8$oX=mMz|-Y=?H^ybjkHFb=xJ}*beTg4P=i)irHOlL#2Oj;Ix8-# zQ@(YF%s$yeWjP$)(Xtj|*hYoqB8(%$OiZr7Wj8lV*iNcBPw|pdB(O?wBHWrHCF?b^ zeFzcX7EWF*fBiPgvmzm4R3OS~_J3c#QA8q*nXDF^Cbp13`+A2T5CKEWc!xdP zdiL$Jf0j@ZzS-_2wB1W0E{#7xR;+n#CgD{4G+ zeY(BcZ{A&9R9Me3nRbb*O&2aXwx&xd&nC(+s3&YkDUz}@`Dd;F5@3kIzHxZs*4Jd- zE{lt0ad|exSq-*Im;fA85)KZ7 z7%p_}AaIq}OL5|2V7)YL6w{sExnPNdDKH?zh($0QUNlNvor&;xksvj-zw9{_X&vh2 z@`S4SW`C1}h4w)}&_L=81G@~~A{fV~f#xdU8o?NsaPB^)4hNt{vAo~uc;D&1Ou8f? zf5`_<$9qqA;I+B{gcDaLQMLbF)|2c32 zqk~$ll5`mBz$EAx>lTdT`7Ui>M6=z0f70DcBsytH$5&hbZ@%667r>h?mM+wTr+0h*?>4*2ic^0^ssu#X zHqHcxO~}&kSZ=pzby1`aa6YF4dfq7LH;Fx>c)kxwgS^5yWAdC);?3*(v@}axf4}qd zm!R(u@FkfG{AZ1W@xkwzIwhcpl;UyBQCranYdbVV%wObIFsuvf{ulUZIZULF(r?$7 z*4^=c+vde8bp-%&YC3@?i;;?``j-3jHX7nNI!p1c4q8q)M;a~m9>oFpQlDCi(lf)4QAp4*Jk?afVTwc78M8dQ!vP;KF0f8!WNO;>9r z#Oy`^bk)MakR)L^F0r|lxkfn<+Lcl9^^iOI4sxe zEX8DSK1_X;>*U)7PC2ASX)z$Q*03_N7(QK@a?zMZhUrn#sRZfTDIa1Y%2`t!WZ?lF ztYbfwLh!vl3K>MCZc(VMf5TLUI*d~?6De_#By@w3BM>M!;t;So2qfmfOq6T`-}c?r zCg1IbQ&HgYK3*!Sn{97b#Xw0LDIB9-95z+SEtH@LkkUp=CKlg+?|lK}F0*oemJE5o ze-q>nmuja2ZUFcpSRXNwYip>bTS_=ZyzP}Pdkii{!Nnhz&#p2OMJ2MX=~BZGcsP+)d86AGyZ` z`)-${q3mQPdiW&5B8HO z<0C+C?=J7hj6R=IB+D!_Yumto6tP0y?`lU27w>mb-Fwl;f2%XUPY2ez`AU!7A%+i& zzx^~A>PO-~t&;|rj2SXCX7+ckD(o9aFrY)e{dr$p@2;}k=0Gu>f4nVv><(?T;UMO< zLz);dnnYTxIS`(R`h6*2jlix4SotJiRa0zndZ()|=&zSZiu?(==t~7B^G9&;lYKYL3(kJ*`~=1u4HGZP_sasnWli zRE+>ie=3`4Y>>oz2))U!_nU40v1;9XnO&5bqmQ@clCSscUH*QZUpt;uZJkd;zm8Z# z9O?gQxBC!D5VIZ~hP`N=Mg$Vs-aJRR%Y1!8=1DXHe~>hFm?z{3K5j+&*gaeQ3Ez8_ zwyMHSSLvh9Ab}VQgmyvM+%>((WJ1#l2p;bFe>M`#WM>XyxaZqz84YGttT$jF%&1z= z{`x!`y^tdO4rhp&^yo#f3WEKnQbNd3QD?!GYj;^#T-RlY^Doc@4lH-+XbyCGzPa4n zG@E~X=W%*w7!q>gl*_y8yS>#ik7KqlZ~M_t{e~Ocv{G(vThr|;ugX+9Kn-ZzlqQzF zf6Y2y`dya$?Wx~qwFG6}rmj)-cqQgQI1Md1Z06;XNZ)plyf8McW^&hRl*rFeHyc#% zeQ~$9)we9KBG#%8M?*l%TN%2#wZF)&Zi0UPvh%q*sMZJzJ+Xp=CGAHB8}}UgLcQ~G zEG!Fnev5(8oDRFEw>A`sOZQaOi_qMr+B^&dk<1)0uot_puX7M~XCYjL)R~R+%$pYA z+0>HxGMON5u5i5eTix4ydp0(Ff7pvue6j!^2dNyY_skN4Xvl_vql3!5gr!e`u8^$EWxZ*dPQhbr^Hnyd_8Zu0d!AScq ze$O$O%J8J@j^;>kG1R{wzzaUD>K7&(igO#f0EfhFO{NRqUapDz~PvzpF zZQZ(6%KIxXspaEhS4OfRNw%^&C6Zn5PJ`bNar@i?3bU-(+CaGpEL-^-o3c29!T#NP zLc?tmy?Dx~ZQUAfwGHMCrgz=mXWW1s(tvx+K#sNh;iiDeVSSk5e<*_wHWAVue9-aO zL!c%@;iNczILZ26QMbDG|M-9bipqO-e5*(8_-3Qvsk%e4?NYQF?b?m2Yj{$1ZA$N8 z_xBGzR-RYv4iGAl6fK+b2=0KG0Uxmz$z-p8+&mSv`d29! z1q3|$bjcCJ=ze|&f4@!E9toDeNhr-mLTSbge68h&zs_Bcc@t%nF8s1sH92diz{!lK zo#s~ud8*{7?)gB$w6}j;KZ0jH+CSdp;M9D%4Sz|^)-og+oph+Cu36QfZMjtbD$zPQ znMgrD`NQh0ooZ(EGc%nZcHsIL#%Fv?S0Cc<(D9$V@#?{te+$5;j#tRGEQWHV5fw=} z(k-c%p%fiywql%>k`1 z9J5~XijnuRq)M?=lQWNSx4*wUXv8{1kK4`jF+0j10!eHLK7`aHDYY&AFeKdZW3~Ys zoM)>n>G}(ZH!_;}WN%_>3N$b=mtju<6ahDvv1k#Fj?GGv|K3bB3nbDx=w(7c~CO@F&e! zCKx4}Wrk8xD3;xBUVP55=}qQ$zMw=DR%Kr@zf4SFD2w0lUrQucf-r@Tc$^Wef5rd% zpKmwWkn~U8^S#G^@;@ZWTSch6?1=n8BXy43Ba5etk@pFlIN%~d+Cxr@k~_1COmd?5 zQ%?#c@&k?3InQuRKIfcVLRywd_~WC_IXus`B09^BWP}Gl|K{C`SFf2+SwRZTb@uK< z7B;ne-Yv6Vu5Kt(*T25|;l+3Fe-6Zk+XBb!Z-LLeWi%~|A)0z`(B{eF2tp~mz$i&H zmz_XtAWzuUZt@cS=EQmR+GLs(Mp(BG;uNp|BeGCo6P?ODBsG#cNR)RXr38mkC@(HB zqEOCNigRXcx1BZQc;is0Jo0FRQL9+u?WVbLXdY4BPI>Raw{MK zUw10c4KY+Q>j+IYOlV9_!c$Y8aQuYziF8vXfY#e-<|hiw<(v{}izoUH)r1xtyjW1t z{D|+wUG1jMcLr`T+BHh*p4pDq;1j_uUVU19__STU&u({qH_iOYf1;7u?zVOYbD5O_ zp!l**xpNA^h%JzYlWQ8RP+?#uPAtsC15Bba>u9wr&P{|Qj0xTCiYAa9rEaM`@V4_; znX!UUp|#8ow7d%)PV;tvI$D0*_XE3!hbKbek-H-b_$C0K#4i(0`)db*#xf@rGu7Wz z$9anDd@5W%5Pqzgf4`GUYU@6Tt9`u-A0GC#3y7=$$1W<7Fi;ddh5z~=AXj0s z-tyx1Zr6l|7yAz(6A!`;I0D+4ld1bSYa|nLSdsPi+)zcAe^nXI-QC_Tng((;WsvLL zwUt+8wceEV3QNpwXTAa2@)=S1ORF|9e_kbI9#{4>&L`lz)Af14Vo5=Sz^!!#lzmD zdA8!P<5Pl$e<0S#%XK4B4F(*4PDnL4>t!(6s#-U}Ek9l7++3C0@a_A*h2Nbk#{(_x z`vjbV7cH?HPG#aiaK#UXcV3=W5p!4|Z2D6|MNokpt7u39P)W0P$Mbr{$p1`V$6qB* zLcX^4`CVd2B6NRrrln(Q5xgMExTevN0v!0?eh&GRe+b5BrPI5$OJc}h_1UKxFiVJXnYT57jhFa2SVe{UWuTn|?s@1&+mv!p_wuR58)TuD`c{`V}CANkf7tg;%~G+SKpD~Qy;xw3gr`T!eRT)dS4%W z(m{!dOcGQcFO)szg3n~1$JBs<`f^c76l&q|u+(AW7q1qL=8w&d?>bh7-8~9|y;?4I zyHrv}5|QVfTqm4->=sh1fukQ&6OsmdToPw9e@eS6fGzlrYLlnXFv z2@}QWz;R_}UC`f9%2Gkp#Slv-U_m>Ob-!NTP$pevsoTOv4YcJjv+%m}8^2z|e^UX; ze+ZKYa^I%XcTY)2(FT8Bw87G7L(f4Q#pP(@5sCX4+7JV@;YJppyDNvb<)fT%V_jeP z%da$B;zyT*1oZvIZ{1{ta{VqouCuo@=A&#Gv3ngG}pTYZ-%Lf4>R3 z^eJqL!2u9dPg9JZ9TA-MgQGyCcMhd#Ai_pSWISalEPHgu;DFz5g3AiRj6I{A(SZZ? zoQ>ook{fBpkt~je@?X-5=|yr(XlYXcgK;Y^vsE9a&chq8UaP@%vT!7H&)liBnoD%* z3Yj%W!eo-QmWe6*$L;-lK;&Sce*+?3R^_f;{Ca!Mu2#;5>Pdm z<^E$+-Pb$d)@{|awY-kiy{s4euyYBDl^+W4$~gUg+m!2d=@aPTU7+@FNHj|PT#r2M z{|tm5T_fi8i1uWM_{XXy>Wpg+osPLKMd+cCzTZUPu-$#S=H_Y}#vBqme^Y%sR;UZI zZhc>`)|Kmt`n~FJtsCy*h}Svq!HvU*aGdw_MdJr{kM_D;5#h%UJ%N5Gn+JEO=5b^L z*QD-_HZ_BAN}rBxG>bPtps{%04yUKhMWG1-Ig`Q?E7d7L4hD;2gvSTDs|dAJN_5g9 z`r2ZDdpA9mGh`Sw>r@F_e>!5L7b#pbWXE}uqu2Ctew1&}Qgp<3e>O1{Ku{DLV=fTD z%{g3v&7n{bt4{FmM<&b;`FH(GUEXcl=nGv8qVKK^zdC&XQk7xIe~(RYv#|K}=Y7C5 z6$)ZNg;aa=GH8`tAx&Ummnz+8d+j?XWe@|JJ4`sD#UWRXexF0@w zK!6W_J~G~B(v2b5Of;vDH<8*;sq@~hlT&7-GQ-YwILffoLuNGFLYUKIW~*&#%p9#z zH+SJK#i=2s`tC9%E-&20f`9mDKhtyWP&;pMi!6O7gAK-cZ5H zNUWvx_V%tuuaz?8e4ns2qmX$OLTeph(Uc-pKBX6=J%EcZyd0i)Rvv zIwbp31yn>wJ2vKav;g!#3x%=0pZT_0thS5ICh)LXf2@M?7sv$rCfq?fTZH`N4D0&t zZ3GsD^aKYn60PO#dzBBf>edCEcM&VE)@67tLAh?|WmxOycl@yQX%_1}-mu&RM}i{w zymut_$QnNK@vv{~Y^c3-tZnjHgcD@T)G2 zZ@5&+e~GQo>Qs&#%)jDzOG>0)YLf%;cD&^p&_rfOF=XsfQ#GIH< z#nL0Ukcaz~U?DfTiG%;zzu)&VzPISJeOUmlIK9RYV@#4jw^f{~yw8kl+esZe(+G z4{~K;Z3<;>WN%_>3N$b^ld<*_ml9k7tN}TbvGx6(IfheY3KY zrKB}wOG$f3$X!2jhr@Yqh7`MGoM8%vGNVn#=U|c;_5qLCaMZRKacI3WBHEIXtgSae zah^?xq0=#Oz(o@WTrzRMWs?S6F-hlRXR;%I%qu1fTK0xWUhUtqz>;f1yWdn5KHsV5^0%5bG_R#sQ)zv4s(q9fYDv?b$f zaFRH68Mae&i#cK+MZcD?kVF+94BC;EolX@n6PlMYn!`=%}$dBSthxusE2Y=A)y2hxrH_c$r~Ggf)1B zfC^q0gop|;b{P>Bono~!48nXdYllosh&+Mg;5?^`H;M2c7sMT+2XDkAP8!V-K@My2 zkrX_2;usycMjYNm_)rMbBzO$Qr0g&TK1f-#gL&0g0`jEd^$h}10=gZ#E@S>X?FXl^gbYy17 za5CMDI)(+ho|^|{0vvh!gy@Iut0yo3=CArexpdP9Bj5tEB(R zKV5t>r~2tog7pX{5ZvZ+hOeDpVG6(pV{X6l+?;A?4(7f2^*5sd=YuVfl=;W^@6RT2 zUR`g&tu`(Ot8&!DNwx_a-Ncb#MX8C4*;}xojSJoql%|QJY*h_oJ?%nwrzW2+qUmmcWh5=Ol;e>C&|Q^c*2wS zea`cpALmq^Kf8ME>UFK|u3fwL?!K~05a^x_)+c(6t?hZsA78xH5+kzyg z+&lRgFW6+dO~keWoaU7Dqf=KAH&{8jUOh3Jg?|oAl;Arh`FOrxgW1dhqiAJvpD-(|L@w zI}e(J>09d;qw7kImR@}uGfORS^s@Y$UF7v8SB8|^RRwQ zKTqfOi_3>2zpGr&-Ku0nlV~Ozu!T7%%?_3cv#vppah9R4yDKJkAHD zw!?r|y-(_!&CTgt4%=cG!hsJ@lj9T5jW0#xq zso^xr+d2LFkI)sQZpeE1&Zq|9FR?G)K zw+OvQBRw7`Xb{JF4YyU@Yc*%1vmxGrtWfi4f)Is3Lq;jS!&ib60m(3lh*Vo?K!^M+ z69GlR2O?$$b+{(+y|nfAU z0>QR#p?W9c-e{Yh*luf6I-OMuDK5g9bz8p%N1;-i|A=#jsy9{DE4WikY zn$fCC%TAk(*74kRGZ8Xs^{*K0h<;gAy-CceVJ<}}s}%!8C<3u&3juB^+R-yJTOu`4 zB{_{9wahPH8kvc6SyX`L@03j2^XsaYze2*wV}Tm_R**LLA-)SJ18FNRxzf{yftx!0r)P9SnG>C zr7O=WQ-aL6!}bPKDGi3~XH3yGR$F{RN>}4+y33pznkIne+NH9PiYZ+pn0vmaALm?W z0nS}@=blw#Hd~)}$B@qEi$d0hpN9nRjhps=c^%GL{0Pcg-(MQvH79D^ixpK%DErOU z;$_sR7RO!hLDxjGFYj>xZly#LUFWO^?W}{H~zj z(4cIs!aksi;OWNb(BlQrV7 z>mY$(v#2cw+8b-EbRM#qhc7O=j5lgMb&tG1FzGv6@r9b|uv!jgxx}?<8KJ%`CzYn` zK(hW#Nt-AmAXH25K3ZfT5DkBz{T(t1Ous)rCEC=9yOwFIfFykqir9TfWXaM7 zw2Xw{kcelf#_^z2WJw34*k3O?cXkKt&3R=U_n3kCC?srR>Oahyp(K$sHn*u>8F+WU z_R*(I0U)lX24FcBZ3!TEq9@esy7c)PU~>W+N?@wDcDyhY5Sya1L9P_~o`q#YmD0Zl z&P2x4VE#(=!D#~`?agiBxaBqYfvac60b^@etdh&H7j&ZA+SR|)YTTMxtIVdY>4>8` zI(%$N@%CUKnv-;^aO0yTldV!)AnK!&^CiVM*Gi8cL6qrc}w3UQ4D5vdz2kqEY-rYYQB8}b)sA)OEK@Q`}o*#e95=QtjH&lX?$ z#qIf7r;B-6TTKwXV-I={d%Kl_M(qgElhj}{zSeE{C?x|1tj6S0_p-6a;ri?@Yr*E) zy&DeRT9kqPR9nQN)+?o}0Wd#GSRbci}b^BFqr^9L4?|9(p-7uA>&AeRVMhBg1 zxhqdd>nSR-@^yKKE=h-O!5*uOK8Q~pAc?)&j8<(CE7eaL>0R4(Jv*yRXTm{X>xcUX zDbW9MJ@*&Vi=Fbj@hn2eu|xWQF5sJ|tIh~$2i@UO#%6=!FO~>wbDImyh9}mC8;m`< zK7uQcirXbrnYIf}x=JN2SeF1Nj_sD&+76Eah1!{2Lj~QgJ=sbWdR^K^lLGBojGMgt%{5exe;kGkea^c-`-gP>9NlKI*YmFB zw=y!axw)LTfg?i;LlQ!{LfyyCkH$V>V`n!Bn}+iA@>BADCqbMAp|63f)79NtQwTRC zV~(%+yH6rYuXY~@+_7L~mwNzbbg!)uHh;)j-J%k)Tlt8?OvG{5H`u&`7OMji@3@FV zo~s|nSEYqg4we1x?hAwZk0;v*%UREjOygaKx{tQ$-Bv!Sr&n#QTdrz%n)i@GGmIce zt5{G0KYN&Ox}S#iod_X&LR@hm88`dg(c2uLm5TZnJ#P46`5mE|iuwSPabky~xuj?T z5kTf039m!On9Zw!{;+4)>-tyL*G{b5#`DqZ+O|5!Cfz;(|ClYXtJ9iJsJGuFT|~ZT z8~YJgO@^JPtAdE?4&FW3Q0&*M%7Kg1y@ZS#ji1}0$#o$DIIFF?ld5OIKdLJ^>Zr5@ zio<{ANij9=jq27W(=qD|AoWBNg)^3@RedK(-mYyBb{X(I(vekeR8JN$30}7`ZB7vb z-I|ECIX%$6ltkFx^{H`96rbLPRkq(ca@O#N>VxOU`@i4D9GpDqiE$7Zt%@O_9~7W0 z|1r>8jVnNb1YcyuF9WS*6x37{l;gj((izqu;9JAKfk6{|ZU6k&uaFY#m<05{An2`m z(qQa#|A1h&p1Oh^5&Z*#-g=M>7R~w(3VLhs2v`}(zW_ofU>5}c0tiEa@8kX33Qkh+ z2-1H5Fj^PI!8eKj0YGaVFb8K4_y+*J6`}~7nf6}*nQ3qh@_zxE{(v{o{O@kG`rtv> z2>c81tOb$50m{|-)df!Ce|@)VAzq39^}U#dpo950_*b{vslI&wut1`>zJ5Z$LVgAR zuYn5*$@}dK;J=17BBU(zKLBX0qZp9+DE|icrGj*a1?6b{s^$grZ^Hw4A)^WZ4Njm9 z$@f3O?Y$w%;r{VOZ!HalJcao;cyTP`DZ;LBMyk=VKa zXCCF`VrTx3R1l!2?TW{f6tMcWUFYDYrQQ}485NbV5#cx1K(U^*J&)8RF1NK}3{;Ev z4S2T*h$2;yNTXMMoEjNv%GM@^)g&B)L(ZKK@!5+Z5D#|9=NEVr*7XSuI?!~^uP(5} zJ=s9WIpS4N;!tkZRGS0Gu-kH4l3h*A(vb@j->$(s*#orgL66{`S%YKnd&YyK32-T@ z!C3EEu_og$bK^E?ERD=lQR8OXf-{ZGcbF8G@N&V7IQJu&OrIB7o0PXxA|~x)bcjP5 zFxIfHXE7H=eTQGlpj4!3M>u9M-iOyjxs}~7DN{X!d}dbOUib8Af0AgYK!h_=G2h)`g!1TGDpW=TdZg_MiHmBqURom`+k zI7N-8lt*ahotHhuEs?R1S;^AQ1Jt62fG}EFSYv0qpfVA!(~ole_e_bbW=2xXZiR<{x~MgTNT3#vnt*mah%UkxO*LO;Dgi7*jwl0x(>{7UoH3I;5o`s3BxR)L%?Fk7uy=U>lSsczpoSeTS z*i~E8OH5&l(@NUZ;!Gefg=P?;r|nzOY9QMRpDEbEWjo9TtYtahu-6liC%Jvl+h-6h zxS;GTAIAlKsBaTK6StE|f6-*5@w}7+tc1`y`J>dU32GFKS}}T=gtniyTadf~KLGKu z^vzA{GKkhn$WSaaC+4&hlc)=ED&(zO$sRkUGjq_RZCK0_qhNBk3OeFAmB!oSKTuz> zrzsu9=)@*gCAh`ba50;F2P06A1BSp4^-s}&Fh=)jt-Sdj;Wln>J0Ik_vU5<=X6p1i z{m_`?mt6J^$te^KNj4nqI#66AY=E$Na!D>*M)Ndr9Z8pJ^GGb-!7a&=eqGi^HKrqI z>P&d^9DY`f43!EDImmoseNiIPDuMhf1*6kSZPVYJW^{Ki#X`-}cCXsTX4hKkWI&0rco=y( zlbHwwA>?k+Fq8dahKCUe62O3V`~n-Lh71yOVt zXqJ(IiK*CQ4CXBR1N~SACk3Uvd{hOl6&$w#_FwwB7*I8fOW}#6Rq+p`y1*`)DYT!7 z-c!OK+P8T=6b(gFEJ%v9JAj*Tp7Ac@@B?l7ioCD3m!b8(MqrP|PT-zq-{gjFEyZJd74LvppK^VLhJ3Rzt z_~#b%FJ3!n8iACwcwbMg_p3E!nt8;M5gBFP1_ZSVZnjo_M%T_yCtkob$5vL3R2t{x z;eo{W+5DeS@%F(IeAUd_1_j5>>qCgp?ZI=!KAgc(My?BUCkY89@oB|ES_Jf0d8&=6 z=Fsw@CSs^zf8(sN!CU+y*S2sw5?cZA7c|;?7kk)0#U>STLs2lAhOGj1sxe*-=7ptg zwFK);qFXUu-B8RQjcox_q6BL!#}5#x3n6uDgo@oYq-cOoy zr%4jJuVkoe-3;@(@f3S=w^0Y32_#P~7Sf*NYk^#!k6O2CF=hq$G!~$q`=pZKWpJ9I zO;O6%i`L`PLfOdefl-JBj+m+>?ti5`Yl=MZ4%sF8uw$*2@(`w0D6cw7AfS&{K=I~a zhR`Y`4&Xv#61nE{63b$chp86Kk(7gUWUp7x$Hvisn@}AoIN6oj2|!P3c!@9OwgOq$ zZ(>5dUMlay1cCq{eAA)xA#J#OWC#DGR%mT|ApyV)0-rt@xmyXzDc08E66TNNtsH}J zUM@Fa>e+n~s8OO(_CkZ(kHiR)L)h^S0Y~)g?erdo@Cp*}&<|kX4DkBy+)Gcy{ zNjH<@s9^_`+LaB-SsCu%(NLTxgMR7^V=gF~cDb5h>GTmbD+8Y=HB?lLeZ5ULOYk1@ zhVQJng2jp}d3%wJqR}b@Y083YOG&*^u>%xrbna)uO`QePlM{>D&uY=@;?5~7K0Qfa zDvIa>Z)m`A#Lq^hKG`)X9h5LsS}L|NvQ--O$-`ZL?9mnHQ?VAYZ@}hyJ~U(%Mqv#S zDA{4N`q_cqMFSnifu2WyvbV0sa}nUpB=s1B$zJ)eItOhpy|HLu4whB~&VA`spP9|j zDD!p@2O|;WUZb=)IiKqzeI25@oKd|;+{_Z}jU`~wMPS1cv5)#2JL%V z&5Hk;o`!6&KT}c=%ej4pdWJ);hHAFHLIyDk{*=d-fq~wH_#A|xfqrqJE{coo2f*D*vKu#(7ypVut zMu0r$eIU?H+=rz9@#vwz;v4-6G3Kw28_Vym0%w*mSSwRo>)|c2;B6p5iGB3b<(3ge zA3_nQfW7#zlJxIaMS@D@cI{eBrYrZ?S9!pnNA~T3O1YoSI~>PSjgA6UMtp_(Xt2>W zGB8)MT=2C&JYU z_B++}%9v0VzrVFwI}KqE{`Uj4E^aX~J$>?ol({+BFgk?VqB7dt0(?Gu9y#0JnPCv} zrc#P6=o5JFr;G5AW+&`lEc~brL%A?44ToJb$Tk=-$oq^k@g&;!2yJxvm+x3u=>U42 z%}vZvi|J5FsW_@#(@CKXeeLq)K8pSx%=Czb_8IL#Ni>c9$E=JFhg)!#OB`Tml1Y_HbjvF2t9!(Lf_YJig&8?DB5$##fKss8V z4r1rvgLa$*z|fDzB#B7+Yp1aVM*>3PPS%^GoWY$>2B7Ic+o=UDQ+^%@))_4{_Ea!A@m27-&WU}DbeH#F;=+nRxe+XgFC>9k0y) z&gNwK&KZOzj}ie+9N*ewP7EjQ+yNh-Z)Ci0NK#@kuem_mK$gPVHVjML*5ha~FZx zS<~s2{Wm+i07Jocg#&2k>{0?DvLAmut~N3AW-0@1XVLIa(?zhGWM%A(FgXb~%7+%$uhSlAccO36`!gUNd%!6bENb2enbW8XTqLlD#wY;@AeQP)lq!fxkW|)D)pW0BlZ;~qa$3^Dbqqfyr%H|l)bc7ps)|7mb zk>ruDer8R%JqwFtz(QO=Dyrgz2{{ zO1CwOeg3qRn!z5I;Y9y2DRB}$OJLcyk7Qz@+8#xh)7lD; z9{q>=WJYX_B;56>XvGxT{$hdx*xVUlyn7cOM5{3P+eS%pDQQ zTc+sA$0wZe_)3p2;T>|h{GCKQ8g*H_T<{p{DOJHDsT~p5>?@~jN|pohifeB%PAO7s zgqXs@;gwcjB{RdcYxqi!&90^+~bbpAf=Fr)AmITr)al&=2f@5ac zWn*^l472bhB>^`Ss5S_kgF&HZhh#K*&A}g>^2TVRz^sPglvb%P+Wks26oQGBX3ySs zkID-$C&&i&@vhqHsVrk^ap&+CP-<;0r}s$s21%~YVQ}b4IQRe2xYg>Dp1}DnM8D^p zRO4)qZaTAnjR$z$lyrYyO`p&A@$u*I=g-R7is_ZFbL6~vf4E87>GFAcS^hI>7_hx9 zsKL?QhMlJXrJ-ZzXb8Z2dyFJqlEVGSJk|wt7AIHMjE|q#O!)W}y|_P{Te1uC{cs^~ zR{6vJc9r-meYR{6_-A}&d41SQc#ue5D*gKJbqic3)4=)k<~Ek&W1!}V$fS9b+o4^$54R5QeW5#G z5~g|Xn+=BB&Lv^@$4&U$y8q57Wf7ZTbL_5hay#4)sVRbf>Ju=MBH7TE%FDCWGnt2K zAA{~nkE+$>fQMQiLjv{D<%ly=j_PnM!8N^s{}&Y%m>^qF|;*c>ynDVX@E!_}4jUhO<> zZK0_j?RKFgFaofnE3qWf{;ZO(YnRGJeQYI}? zV^uFw_77{oH$OVKkzmK23i}dFO;sCRzPcSk0ZQ?wSGTMhyj%?-E5jMLCZ%pGL2w<% znbGC`=NQ?cU+2K{D%jYn*#jY|<>T{BJQH@dzczjxm9?jAIPW|im6QjL%lB^09E1VeFu z3JlL1lj|FT>}&tk#&^7N=7*=8q!)wo(SY%ceP1jex{B6=K`f%(UekNOSwzRV@8fUC zGcJvU_krs|yeHMg^(}Fah=LcayaE$CT#xG3?_zV`-nVpmY|X0-;*Kr>-Q=7##Z!6s zcD?)-MP0i^O$rB+s|6n{>^Dz4)ss!jswtWaN<{I9LKgty6ePqK^tM@xEC3`~+fqCm zpc`qXesvf#{+{J;vC=r*Hc9q-p--m&V)q%s-!kZB<42WsA&S|13$NQzD<75@e)|b7 z;w>3W(t6Lbxb#oE*&}M=GpAITujDyUzpIPcC*UDo;08o-W>Z zHN%`QqjD{pk}}IT0DmB#eu6;HJz&^NSB(mi%Z_ZC&f?B1$aq z_cYdNf8HG{&kwzu;IgnTt{sl{6*-9h8qC}aA|U}}k&}8g14}u;aKs3spdRuYLGTT> z9Y7A=(gUthDb1zPcn`4&(-~n>~L(4cD5MY-|`ZH2n2x4*a}4z?u~bwtLUaoP!YIs9Mz$%5a%T zVLkY@{qjIjSlBA0To-UvITvxNpc2joY|Vee#Q0IC*$~+2xYPaqOxL!Qoi1Z+@iZuA zw@0Q?quqDTSF^{8*R}<=)1S~T(Rp$(=&yC7ezB-}kfH!kHICe<)*6Qr2&jJ`JW2y=t0& zX>J4%Tj4aIvtG!JcQm-hpZ;?;*;kx3_sj4ndT-B~xnLV=opOZlzIpZOuv{_y>$#l= zE>tUuzD!Mz51`5Y%{k60o>QginvjAM?~w3M9U(@f&bDL|Kg~i5mP&~)3PwBn;7fDt zmaLA8@Ac`<%mI&!zqQ){FafS@e^%&IjkpZ35l(jcDr0#jbwyE;fRveDB5UO)67_aF z9sACYK~yV2(4BPa|L5N5)5=pZH*Ze-Pe1Z!czGqqr>f|_@po*u)g5*JrEgb!tUDwl z>5R8r#iJV;b;Zqsb^z{xcaQMDWjkvoH)FT6*(2rSXBm9eao#_d+c7nj-CVxTpSVQ^ z=)U?gd0MpjpL10-sebUtPYZ!!i54W80;@`QC8!U(g=Pe~adP9B7{iwfu-onEm}FW= zRtLXzjwB1=($UnUUB)ch;{FaNT-^U=_d|Mg{qh+s9HG#8rzO|b@ZH600DRCKi*Gw) zPO?dstJ{>(@oOc{a~T4=NxMmh(99PAcs)us^gwFy@NE+l?09I434WCkXK~_P!jNK zsQQg=jyig_0C>D){}|7C()bPbicd{2g*Qo_Far_vx2v!Pw-@5vd{k6uQyVJ#u_``T6ivtb};?58d#}Qr!k$(>wWmXCcZ0 z5G5w@f63Vj)(jW;D11~meIg+N46m+w{~kR&-!5Jr8hJgO%|AX2TO-N#Bg?u6c91a@ z3DcakgjDDXVp}GqAOEp)PVdLr?w%yB_*0YvepW0zd69iMq)XF!)IKAWPO*4_Dsgvs zcKDJa|81Y;<1Lf2hZjcys&_r|YTDS05bwM%+G->SPHU7nnpz`dJIP1&^ zS^pufxPZ4%T72%85Y{w~{XodO?nv0@MBpW{p=dVM(_bmcDga_iJe$c|K%F^VQR7=9 zzeRn4vuGp17ttHrWZ|-mrpJZC*(Q66zE`^|ZZ(PN&7B6V$%nTmQ$DjKM11pbnHiu$ zPbhV;c=|UK;N;TYwZq{LI9}27^w`eTuZO@~T)jJuHS~YEVrad3^Kkw!xEMTJ^sJ3? zw|s(YQaZZGVa+1x9l6NW)!$w>_4HWf>s+py-D!7P&J(n&|9RHd{7=&@ML^%Xg^tFY6n z-@L%(cias+oyx_8m`VF}B^y^)aJ+$~(cyaD`A2bh%XY5IU!|C@wcGbf`6Q$5WosJ` zZ+rdSlT(MK+fc5z_4=DznIST_sZW_<$oV$g^W%MwK>|+?;wsxa?~vn}{OwBoX>L)tA;bE7AzuZeT zAGV=-hCeyBfHM`^o{x~Ht_HQaw z9#AZ-Y^nIK1pk(eE+ON;cE4`E2qD<4uuPKHF0O9G+^n4cvzx`n%=}*xXN``% zBRUW2hhT4^&;_&$%&*l3h8hi0Gwny>P>P>Fc^?PKar$#agINc+uX=lFdz&s>I!R7K zm7n-M)CJUQX*ZMirx5M-k`4fVE`l(9RIVXzE_)_(qWe;8ffgZi9?VcsIs4c|#T?wl z55ySJaFm*0^k?(WGDvzn5kxn=07(VWeV9F1`5&ep13W| zY71V}sht#46gw7%HDv)lOIK~e8F2$OI$XJNE)D^A9d2$cx1TuX=W{ST{rBf!1FcD@ zBjv`$pQ?%oNisn&K0_?{6FPqNu!eISun`R=391A6@FNnuIUy9lYV4!&?o=70r~YG$iwnxz!F;s6;8Y4Q;KU z5$`6eeCNES;)oAE(VJcg0AnBu%an`Xen?_4G7C0?GWt7Lpf%`8aXq#eh=A7bHCPZR zU{!D=4!r~zvo^gns%HoXrnM0~3z_nS(-iZ9>Cj%N)ZrerIY_tr2~^KXKaROZU=L3O z4S4u%;sGz{5hf$8%aF87DYN#N@sx%C*0TUNE++jOQKpHtcMOV?uua|>t zF|@V?d_$Q5t<=X{ z*}bP@DJkvZ7d;g9JW#?Z-~i}gcZauYdi^|ZAIGCwcW6M@0p!H%=eX&+iGg*7LVVs2 zw;#aEvOA{E#)pSHXelnubOwawq5KIE#1^e!<>&|@L&GgShdLqRTLPLtS0~$!O7T}e z1bALkP3g|WODo_moGGZZizO!Vr@lP}c9xxvuV2Tk1t`#|M(2OJcy>HjM330s_eh?sV8e}4WA$0~f9e!hv&T|xbB=i83=akL8U8v;1F z8LzncX&mEwKYKktBW61So(iu-;GSiq%#4z!7to4;;sQUb)E^F0p-@)#?6z;+yNfgq z<~Z)|748u-8yOK0t@QNHDIb~I)Q@x;j4-U_SNYsz2xufZwxcF=A97dekC)JQ(VN=i zBdGV|SC5v739DD(x<285Z|L1HNd6K?d`wENh2t&*w&cB)`;`Rl86jE0J( zX~3y`X>S55Cedps7Gs<>&9{igDr7PhZYPRaYu)nN35_{r**dB9QGOQ|0W+)Rn9h<) zY8jbI8yM@$f$AOkWk4!@H_Mz=iS!oLbUSw%%SJ}6r4m~G>M}V?eHRrhCO3*SG=0)@ z6S+QRklrky&w8FUeotNFyI@*M$2NU`3z1S0 zdJC+`n~1-QGB9m0=vKRJn5bQnFPuIMY~=}%sfYbusTNW=-0#Do%IhT@B_0E~qmA zgzGTfY9VW0I)dGP$jk&xrw5m44U4N6$gzu^EFhRty78vRWTnWnqAGZ7)T*{Krx>I# zwt~NuRu<7&cA@@fC@0A+yWHOAhWl2%(;~x+Xj-x9Gv!2P@B>X~mbNMX#M6D{Xz$em zZ0!BL+W9j*9Mbsy;sIa|t?_MpIu8Kcosx{s{z!5}dnOTE$AF4N5X`8p3HC0yThyW`m!df9R7%5mYC?9AF zLP!k)uDgB5PKi`lDMW!eX>`QsklHedWR;?GXoQN;2n_7JiZ)hZpv2Y&XKbNks3fD> z{c6ab{RQIXm>6^@l@i;bwoL%unKRVnolrV-S;v8KR1&nA6c}^1s$y!fgKkdJlmdI3 zSdCF_wjp?oRB8;>dN^tnT918HQbJl)`qZ!TOjlBYaw?+guLc;Y(3hcP2 zZYJ@ry+q8`I7^oEwSdHyNjux6fZ$1CvRDNAb0E`L2O{Rz;s*S~*rc|d5 z!H&Rs9S^>(eOx9Jp8%V*Huc(9H6|Xm6S?Urc-3W@M~n#bu{8~k_5J#AU%?WW6_>AA zx>cDX(M5UR&$+Y!Y-}f0-riwk*LfGK1drXuaX1WN=jsn@V&b06EoiF*G1H_7zc$`( zKHi6qrauI}UqGK>mk-TGZUD53Z$59m=T(zRwzx%jrAhU~f^|Z6V;q_R;>HfN zLv{JID6;fBDQBSr+^ze#P~{fC4D(4vxy?&+ntWHk z9up3+DZ?`Df&?Ec929_v;&FYTGS7HYS}$>xEO56%;zt_aSmR66n?0_q&^rRpk&WOul?@nc`RyaK$$LfYOw;zV1Q+q;uSPzawfv2OU6`(h7gAiXPAFP44|Rb z=vJ?VnI_W<_X%^cssCG9R9`h*0QUEJ(NV+)fa~I~p_LZqdUuAHZ#LR+rkq-W$Koa& ziCXty$*a*Th^0SM8DgUB_zH&I6l0Bh1$!rshwt?@B;Tjk7`=se>r?LVUcBdai!YZ# zg}6A&g)T*7!;4HduF-I>Yki_s7tIwCHS8+a8;AU(C+^iHgcnb%FJ)8JIDFZW0Y6dW z0cFU&dV$!ukr9fK(DGJD$wyq%(^!rwzH9n#*Ybnkhs)w-t^EIVHio_Wu%gL~vf&SL zeslH=_VR;F*!3{Z6T*`UsizaQ3qgJ*9BK;mN`TbjZQ|UtRU_=g$ruxCVTtsIGbsWq zI`$mPv{A$)-F`;E&2Xfz4S*fifT({GR_1>dzCc0F25Z_CO{H0CcIsN+7yp_21i*J+yFT{bqV~DW5BgQ3DQgGWaAuk34=XNQ&>wYq|QsYpcjTL(Y?rWMw?R*BRekU zsCcXj8i{iOi^>!PSZGOSlq7OU7B(7MVN^Io5oP#LEH0NjRhp3ipI-&2`?d)Qoa zT{Vfya{kh{;?H|oGSV4CPknRB2+GDl!5!a@yNk`JE}0{auO8e01&s8w-xpT$o|JIGWcyfws1VUBXpW+Uiw za6S{*);^=?2JAG()HdY&)WcWQZG3bE7x_EkgDw?!-YnLi`p?*R}b!Q)Qg&I zkQOsnPxaOEr1wwRCwQ_OF=Fo^93<-mP?TAH)~5ps4jO6R_ZUmR+B`Tk_v~B5wklhI zMAVB+^fx$i+G>_B9kaXe30MIfH&qHtuuNV(j907hEf^>q#%}}Md3y*Jv77$4HTlP^t)DpO2>Z%_Db-iag?u9w%`|zP`$TNY!K}^>=TMRI5gduk1 zMPYgHc6f!rzHrRIO))ws8VfZzBf>pEfiS!%YRD5&`68!qz@Xrjk@-MCAfK4Y*?FT) zM1>gQ-f`g3An4T|9_CNaz6nsza6#7}^rxIT1mRxXkKf3Nji#7Qu4eFTSfS$PAhIE+ zaGk`lxje5MvgE&5w{hTGgv?HTeP1dJc>F_rc>JYQ!iw~fSz}Nu5gB`}Uy0@bKmPj| z4A&AW*{C@N1#1|?S9IEWG8}}FwuQFeLjb>!Zcb) z6VvbR3b`5}ocUXl%5V+8KYGdy>$UX)DjDW_jb@6TzN9acWGCcfq89%6HYDuM}^Zd|N2Y~(_@8jaYI zRM}egvt}sO`q$Zpl1u$^Z3s*A7`A&T4OoUoIzssQlE*;8$maXECBVoZ;BV$(tU?iY z(-mPk&M$cL+}HTKXYFG6co~t+>rtfc!MyYCA~FDuqH1p))1QKZuh4S;-9r|0qVc6C zE2;VZR)m4#{M<8;cftZ)@a7=}d&m@OS9(1B9P;uH_Rx78rfl=~r+WG)r&$)$KkH?1M=_G1?Mb_k6sCJWV z>tvTRx9t-)tSf?%iq9C-zm8$)S2b-d!DV>Rt6yT2(`QVuX;{M2EXiVc*hEuhNSpDM zwP`J}#VXce5V((D0uagx{q0;bkTbMSvT3~Mnw4$VeVHXH=B00Z5UcP{%X|mqJ?Z|g zsVnAXaHXSIHqUgVEAC)${VZ0SA=M;XHdR?-TDDag-&BRBpAbyqwNe?BQjMUuaZEdF zEI&4_2mo3@mmuoi4^VtD-VOeKWs5K5x|TuEzTZh#9mLdc2as@>%-3L4r~nD=R}+)f zW3`vH>d!!A(T``ejL*O(P|BvYP|hG_XGQY&PT;Di@S&oCh*`1|%*xV|LATBj)VK%2 z6?-5!bjUfWrshH5uGQE%V6uU6nwS#C-D(7m>&YaKEV0>JNW(& XO+Q@(6bb{Di-Qf8f1$. Angenommen, $|X\times Y'|=|X|\cdot |Y'|$ - für alle $k$-elementigen Mengen, $Y'$ - und für alle $k0$, können wir ein beliebiges $y_{0}\in Y$ fixieren.\\ Setze $Y':=Y\ohne\{y_{0}\}$. Da $Y'$ $n-1$-elementig ist, gilt per Induktionsvoraussetzung @@ -3876,7 +3874,7 @@ Seien $X$, $Y$ nicht leere Mengen und ${f:X\to Y}$ eine Funktion. Da $X_{0}$ $n$-elementig ist und $x_{0}\in X_{0}$ und $G(x_{0})$, gilt per IV (\textdagger)~$\forall{x\in X_{0}:~}G(x)$. - Wähle nun irgendeinen der Fische, $\tilde{x}\in X_{0}$ und setze $X':=X\ohne\{\tilde{x}\}$. + Wähle nun irgendeinen der Fische, $\tilde{x}\in X_{0}$ und setze $X':=X\ohne\{\tilde{x}\}$.\\ O.\,E. können wir $\tilde{x}:=x_{0}$ wählen, sodass $X'=X_{1}$ gilt.\\ Die Teilmenge $X_{1}$ ist nun eine $n$-elementige Menge mit mindestens $n-1$ Goldfischen.\\ \fbox{Also $\exists{x\in X_{1}:~}G(x)$.}\\