From 56b06fdeb1cbc7d33365cdd6c63fa5a25b60de17 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Sun, 27 Sep 2015 16:37:43 +0200 Subject: [PATCH] documents/Warteschlangen: prevent bad break --- documents/Warteschlangen/pantelis.tex | 4 +++- documents/Warteschlangen/warteschlangen.pdf | Bin 364177 -> 364183 bytes 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/documents/Warteschlangen/pantelis.tex b/documents/Warteschlangen/pantelis.tex index c49ccea..dd96574 100644 --- a/documents/Warteschlangen/pantelis.tex +++ b/documents/Warteschlangen/pantelis.tex @@ -31,8 +31,10 @@ $B \dots$ Verteilung der Bedienzeiten $x_{n}$ wobei $b$ die Dichte von $x_{n}$ ist. \\ $s \dots$ Anzahl der Bediener \index{Server}(Server). -Kurznotationen für Verteilungen sind: \\ +\begin{minipage}{\textwidth} +Kurznotationen für Verteilungen sind:\\ $M$ $\dots$ \index{Verteilung!Exponential-}Exponentialverteilung (\enquote{memoryless}). \\ +\end{minipage} Dichtefunktion: \begin{displaymath} f(x) = \lambda e^{-\lambda x} \qquad x\geq 0. diff --git a/documents/Warteschlangen/warteschlangen.pdf b/documents/Warteschlangen/warteschlangen.pdf index 82b35b40723eb238a559eb05aee1f8bfaa01bf17..6f299b7b9f5c235956ee1e2ddec970d26c1c9af3 100644 GIT binary patch delta 9764 zcmaiYLv$q!&}?jbV%tt8b|$u+Ol>eHuBt!mL# z-ATDP>A5)dda&R;>Bf+d^nhkx)e*Q5_A&JAV zZ-{l-BcLejXP5x&k+ zSgNhs?se$!?{uggl{0zxDrv2Y)nIClQ{qFMF<0L3$ZQV0Ok_XZ;_PH-i!fZG83#}Tocs7=U|#|<~%%<4QmPnEWdp91BV zUw7c^gspu~(DARf1_t9kc-(A(_JhFjhdMa0?=Cl`zLwvw^tGkqqO$hRwT_`8JUB!yryIk~ONN zeR0YHHY-BZBG7zOrvqiP`icdGFcAp`MO_35Aqf`^7|aJfLyZ*W&a09mq#|@?KrRPD zOaC*d#R|rHq|Bs8dTl5qJ+NeCPeNHF{e%sbCZQ3 z1v)LfPgAgV1$U^8(2E1%Ue~S*5`gwU$)#~o_#Dr_3crdgHUe>ea6naVM@WKWR}oYa zbDl#2j!n+d@uFx?C;xG^_Cl|4w238mzmbf%chFXfM z@L@XwZp7<6^_sxrdnyMD#_Fp6DRCADBTv>bu#xh5LK|KVq&;VVXHx^wR(#Fk2QLMC z%vP@U$589ER=(hwUJEZz7z%f1TPW}Uz`+Cq28)6UCJ3}+VN7rH(`DOH3 z!D9y^6US_LL$qD;HL4{0U1xp@^yLIrwJ?R8>`gtUR}xH|z`RWSOG8j;uFZ@yN7M#K zpXGs~n6I3@lI=K5r#eg%f0BO_z29|V+{HZ)7Er@2z(!0_(0uGHi+Z}=xJ!|vaZ{WG zlq+;cfo#8(>-@Qq-AO=D5rVv6w863WZugRL%1}RYc-NZTEFd@ox)P>` z5P}1~A;4D;2FFl02O7^jEeYTW<)bM8TuS$u{7W)T&L8aPpLf-4(1*+%XYn+*^mJS)^Ig3HL!D#&Kjbbc~Tu+!lv@w|NdwjwaK69cb3 zAyJkgHB%HkZ^9X>R-aAZJJJy_Dgk!H3r||(TJ*SB6|o-HK1v{4@#P+USmJNM>mby7 zz!0vT7u*MLd|oLvAx7*4`OWzg?wHE?1va)QuOayX~UbilD>`l>8bY-R~jq{0U|HgLOUtE zzFaBRTgP7u#fF;l6QV|=I2!)|sJY`WJ>h~ixwgNV>ucV3S?#T;pUnq&IA_oUkq3^p zOX4(E1HJ7AhIWYS5OTlZ;pCD$}YQtRkqGl(T} zOIu0f&#{GQCo?Es*Wby2Iw>Dw@6BX!VtJM07j;_jgPL6@XrUll_;!~9%PPOg9_zhN#k~iBoUob6t0h| z2}D>AYH1ITB_W`v0)|eCpYwbzY(o0#^mENaS{auKj!lq6(T_%(=>jpPYz;oSh&o~G@`lrbC3)xTS%?IwaDBsLw|3nIj zW6dJ9U$t9bZ=WK8Sfb)-In)ZtAepY=WkC zt^StcU|7_XzV}J-cY!7XWuqD?;v`NL}9(PHv zcgel8!Pisodp~R@dJu|+3b#V}n*2Ko9=Wj5atD;Up@`8NDe>HH&pD@uz!ISqlACkv zaR9t&+{AD_g2+@i{=*4uCU+Xx(@h47c>+0IXkG)AF)gM5POa~og%Hu^)fp&HF>b0T zXTL5P!aI*jpdGUwG0Zi}(C|KmX!^_boypyzpu^lvyK*cf8YOJ;^3m0zMKn&PX`?X8 z@RT3p@wd1S>Ui6MyD>P`#u&dD>vAa36g9~Qo{*&<9@-}Hb?s_w|wJc%4$D(Lad$ZX!=h?Ns@1`aHQMm~1 z-3ZptH!ROJ+W130VVV} z+ANf@e;{9P7?OXfL+#}9NPPu}&YN=LU0Qgy3xjKb;ki2LT#a_AwjeSp6Ak^H+W3IC zOdMB%P|2vkgq`M+Dly=YDqy?O%k`lyaZ$DTDI316cu`4Ygddd_|4t~;5sLPzF@2Wc z-cg4n<;D<&!=(;S>7tQ7Ri7j>=Z*F7@Y~{$6R1pU^>;7dB6eyfsicAz?Lk)*@)TZ- zZnhktz$!r6chUwdK4ji&o!*+6|O8_Pv8CdpKgj||}& zSwe-k(iyoTm`iaf_s&GY)HO;VM%g-<+LM6(Fd8Le;2{D_qiOFbORpD8Lj~i0tla|^ z-vuu|T>tzk?Hj*o8|;P+125bxakOI+`l~CHN{q!~)T$E$dJVs;5 zMNq?F)>!8^_vZjVUu_Nb9q&}4D@^Q-L!bh(zOUolS8SxIFN^`U6}N-D5fnoT#M2(C z=*sOF!2x4-;aL)53Sa`ZL;1)I$4r2jpO*#ozY+*aeaIOJxUmv&qLg+Vv>J-mO@{?) zreZiDegc_ly+a1O`*AGkB`^1+lrx?Jw=lO(s?ZjL3QyUr=^#in#F`i2wvYu4!6H%x ztPK0YUAmkIR;nvIbRE~v!A)E+sG%%12zB&T$*v7B{{@iz!QY!RSehLC%v1t=^H}{A z!{xyFjjyDze@EEEjLMwfkqq?+3YVhfl2|AHYO9l&Hn_@Kn^$62{Mh!m^J~{{ORciO z4fq4C-gXk=8IEE5$@tN8uQ#>4Cv9LaSEE_7mm#eqc)^DzBlRS`C z=Ox|F+u=r27Vi@Y*pgtLHZVe7XWM`oDQR%Z^=*gc52j&qTwdBwZ{e)w{?Ag-Qqm1? zXYcqwsz3FrEdFdh5o_<)JWZM7Ttju5K)0r({1|$N)EkMAU9cb3jZ_CDe(PutW0X$y zh>OdRDX)P|Ysi;*+CN4YQEM*nG{|p4!q1t;^4P#yXhiGy0Odbf*F$eOJiy~7Q0qalN2GgIuWsmr@Z@ROh_Y@ z;yZ2-uDN^F#p_hi)U^U+nUNJkn^qMUeBzx0FW5r*OYG*^(k`|FEyx$T;#?HwyRIA| zzH<+7>9n5ccuWlg0w`zG$G+MW95{qMT8JbsV5#3krP{4NE?L7U*N9iO-~5h(3?LZx zhxR!W1?u~)I`%P5cY2Htu|i5qkI|6t8-|LbhjrIfJ_Lm$$fW=v8a-=$pw0LbqIv!? zyEh1J`ii;Ai3H7sw{_htnv+n7>4d~8#-Hjm%1>5Af;Veyxkl=IGO^%jx zl2)M|Td4VCN&P&xKejpPHL$OmP_e(!VnSUR=&0Uoq(&PPH*?>k{@30fs!~HJ*&V8l zkacdN!$Tub=NaIoQ$Jp%0NM8eT)VYu@S5aU7adpRD5c8@Zeg?~NeKc;YO+ zMeqL5_pkKh=_F&pl|2cPfK)CM%dpI`IcgC5M*N2r4+Y>^hdFlHw-LK}NR4DyVxWkq zxdJoJM&$RdC8K-MRwWLc*{kR-+noVp&9|FHiT5O;*L!IgG5gjF9!Z1$jHt#P-7(49 zk9Cf3t!PnSoNbAJ z_XZ=)*8o7Skvo&JR@y;cjQ?DVIE8FkT zUmRk>^qjtJ9L&a0Pr@ko49o9}8%;t{{h71|z@b6ssQ(|z^(V3xs@zpCEa4J~LIN%1 z-fBvPLPx92;5UVpnU0hPR37e9YxXwY7a_0o&xyd8+vbeFhhu0f#Mw$RFq@Er!EfJY zf1|n#jY-&b%$BZwTs+^BuegMIoW;ndM4Y_kUeiXM(?-=!Z!^yr8kAW}(9z8UB`09* zFq8j~CwnW>DpsDle(defcuovI+D&K1(q&Fr{5=@%%)S`zJTl_Z0`;a}1B?t*y{p4d zV#k8}qZbl&GeMLYM9Wsw7K)_N$W%WFod;rLOZLb}ylF2zX1ku3p<~!p&EcCd=+Ffc zj+J$sSS*4Qij`e28&74<cIOF)W=|}w<#eTvltHM=?1d8G!8~Jv zn;D|*-clbbr^aMaV3DKp>xWNz^SZnD z{oZl>9Kku0b0nt8E$PQ+!63hDX!r+9d^hl0ES}`d_)(eSQqP{gw^MH39N|@37h0eY z7~kBJ>1Hv8#nMOVM7%41JKycq*hZVJ2>l?#nW6`jj&0~QsN>Ft448ooboWxODkCJW z`|X-Gis0#$LBXZ?02mKJU6VFm+(XcwkYx^~U{sMYdXpqjKiBZ8Y?^ad4&a-x-UM8?QD~ zmy?_eLAq8?uIfCM2EQmt*e+f<#pi&ZgbBhRYNOv*l5qfbz?w`}e6`>oDkL0YZMu9y zYYJ+#7K&)vBM%GW9W8KKFt@&CY|;kl+e2$viw`H*(d_F-VR4odI1h7*Lkwe~0Pvz+ zShx?<_oB$NgmN)uFdCvNqpSQePd-^3i7~s6^6Wc!ak>;1H~7rfSRPe}vkG$Ceb5th zG^3ij4W{ZA;M{lP)^_Do4ZBDr3n@nVS3Y2$cQ*9+aNtiR>) zFDEO%03?R|9LttoS|xvkXfU?0DgiIL;)W9ekzd8R;nBk!P{opm`YFG@38Sm;dEK7O(G1bve#zF7#X-Vk zEeM>~uNc_zG|JSJ>ud7dJ;!s<)1?1b#O;TWe&fyFK3kUm;3@dqD4k?*N0~t7khK}g zg{k)wiNyUclK(j(K~zLqWRN_3Jpa4pnzc6^Hl)z}SF|S0?v-6EpHQH{llf&4IVF_| zPKO^uY(NcYdI+?YG9QnE;;L~L<48;ss4eA7mzSBDAXl;!GNol@(i1v0q@i&3FFn(! zp?F^NeHl|EXYwSG0ZJi737OC3T+B6q#5OA* zwWGy;sGqr@ARZYmtw`YnmR}$qH0fPhQPd%kB<+1t(eokZ@F^`T)d7ttZ3T87hNf77 zT>-h;2%QQt#sC?gI5ZEy6DY13W2h_t9^6P zBXoby0KU&fb$7Cv)8QDvxTk!b<$aaSa`iDu-WJ1Tchl^J&zky!ZL_`s*FxF)c4PH) z_L`|-{Z%X06?(_XL8ak7&D#kJfq?=pC^{f}S;0Nz02ZsXnY^&Lvh2XxRs36QY6eu+ zUI`;|;!u30sFP=8sBl73`Fe*a-$oqBT($#uDh=knd0pap)R_!`eJXtvBF$w!YZHX) z+(!AQJIHu>W#AYw)A()Xmfh)**X$AHzQruf@*OVx)i}+?!{ClkbBy~C!>q6A-pTIN za^2h~?D>dviEv?XR}-@AWPrM|Fn-zb_VwbTI}>ho{tgD^V>E;FSZy7I9E7lWeX5P% zW29L3z|5Flu+|3fF(oI@&KP%GOY*tF++g>Zp=kLhB?u@osJ`pOO-9n`Zzs0z?$N79KczA=UI zu)~F*Mv0s5H6c5fMV^vWzlg2vbR{HcT)QDXFhH4)XBVy7Xt z2b2b#lOCXW@%XUeiI{v$HkS1g%_2+$M75#ZWPZ&D_JGkQ-kSXiVXfv9kfSQ7>&pO` zhoQUIQ$nO6hcI4s77lg{!n@E+x3*ju*u-{&@oyqLx&Q~cN|RokA5Rsnxj^3 zr}T2`yNy=061DI7E~9(rW7h;h4f2C^h<*O2Z;Xw`5&NK`z4{z_#wHuc++bFp-KO@nGJ*Rq2Jl_yzn3dW~GaYl6EFal^-#i9ZW9Ob%C?r7Up7XbIx8C~li5y0^_@j_$puW|1j5IsD|!kqxy7>(Mj3;5jN-I-e}|GLMNPtHuP-bg|EnN&@Mg%jso*?_c=!Hg4y zo|Oj>pZ*w8@x_T!SRF*c?i65@&ZEQ%_ZQ1-q%SkXPQ=W~!5jz4*mZ2>p+S{e(;`Wl zIQb3~AT1OGk@JXfOzy%Xw-=7pJdZP-1l`$J)Fa!R(8b%B<;vkUyVrQ2WxAR9bVSy4 zrX2*965MUCMEWNL0n4-We#^QpI9yX`!EFFC!%tJc>TtCLQ%6bSwN8X{?QvSOA&=Ce zzV?R8dVPvIA+x-II0|VcUsj?myw(k{gEMv}&UWLlFCT8+&71P`Y0mk7?9ReZz%Zcj zhGezDT4c~z?UG3Q>MP3PaKayXB^h)k%DM4wCh4aFRl0|aqd!KHkcUu+WDx5m!`T4g zOts^~vi~vC$q>N!R4`Y`sW_7uD^AT3t00pRtszC4H^(k3L>!zmi*Vy?T*;KMs;~r9 zIOoOWAQTb8_>;^OS>bKZ<~fp0y1M%!>RdHfDUw%kvY>R8ft@_2PyoCos&2Ag(o8zlKo=oj)9enqk}!feh@+8b7jLx8#2%1mC# zYOupqro~%gRl=%^)ikIEZ{e+3Iqno+;EJC*F9nkTpOH?R*dKp-c#Cazrx@m~U0wXj zE`8A5b)nrJERUwQcU3|*m(I)USZ`Ki*hIv(>HmmMWc=Y}4L{;aWb4O%Ls3jcmu~`= z44h#Fll^OnSHjc%KY9TE6J!{cID-_@<+YC!?Rlw-DT(reYnillMwg$Ico==<+$WVml{w;5l_O45 z5VHN9s&Z@IYQc_bYa#6A3S2-Nx}h6>N@V@IYEGx&dT&t8`#oUF#XUEVSg-*(Pk}jL z0&TEmcEopZgxh`9r1vGto_4A^PHSs5D(<0AR=^N?Gg%2^tnjA_k$pu4ef;v@OoPHT zaTKP)g>>l21m0u%c%tLw4`l3|_>=_gTu^=Su0VS>nqY=OtO!xAR9SptNU(}=Nb&KCiHY*E{x@Z3=Mdu-A{F@mQVjmzSB8~4-2@Vn4nUPEXQwHN z7k={d`+Fg6{yof;B|_}FsVPj1q$P#X`buJP_zMnESzjTYX`bA<~x6$#1EN1 z{%v@581sIOE-7^sLWrMUqW~3eQUJ+xr`azM7~u#<7fe>zE}S8}q2Ls`a;#RImNWhvG=8tiNlfWWe$vg@R1yh`^pSuqCQNJ%B@DxzRk#x+p9! zG`}b=FLH+{>M68kpUy1obkO}S1RhikPVzNpdH`$RigvjhZmOhx;Kc(emr zfk_UIH-4h&~2_I~2pf@7d5`H5XbI^n_ zI%AMUJ;Xzy2I8Z?55P3;`Kr(mYNZcm)qEOZPr+$ROf4a=tshfMCF`&yEU)vtO;QAS zX@Cf6G`3-OgUr8*KOOGG9eOf(XN$N0*EKIJ({X8$d$+Up2Gd&$7{gdCu!L5cJL{Dh zHr0ES%3&ZV%HKUdux)!z8mhS7JurOIi zgZHq)P@yT>M#y3k@G9$P3as|d4vXOPzMA~iD{|g7F%Y45P8y|n-ZeUKK<_;?2P={v zrX-vsO_VFo;FED(Yj>4zdU5kf3u@_X%unPHW! z84$<--CVl50}_R4WO|JEMtcv@nT?=hZ~~aqr3Z4H_?+G5&unq>z6-Y9MGW;Z$xRdo z{BZ4bUew+<*92?J(Rg=YqJe({vV~Q{pBO(nORi{6v1l7NC$1|pVcCBVKib&1x;T^! zlkQZz$PhvAvhqSigZ=m=H+e2RpQx$~O+UH5aikHf3sAOS_T43d9u15i#4MPu{x0<4 z3sTDk(9KpzmlRPCwWsBAW?wGtQqMx@iV~2D(^-1_9Zq&p{gYdOm;w)w4XGmQ*5 zXVPP3YPMRN_f?fktN9YQS!?v9FV$pxf6Q6Lp7^@gw^?$TLRPg+^F6^%$Bl;;K}QKe jpV<1Q)Bd-$GWe}XbG?#o6%S1c&&`EEMJ1^uh46m>c*FNI delta 9793 zcmajFQ*b2?@Fg7ExUucz#RNBde(@iikj z%vOk30fy4N(gf7pPAe;_Qmi9_KVqehum}iVD7O^nhrPw|wtI_jzBV_jc^ysx zMpzc8h8scp>@v~X?nNzB<5|O-);A6}mG32_Rn{F?^SF*L^}l-u@6+dpB0dvAUh7&9 zuC{HfPu5dhs}w2>3A7AufRP2*yX6ibawYz*3hSje``dA+VO_i0u+4L`G`HuWi=wY@ zUqO+*0TvXu$X8p*HtSei zs*z|61s-0H$pPK8>cblMp@e*#Z_#eylmI(tQW}% z@Av!Jzf2~IwBNaSc)KgBcg~dG9%h3HUS<2VA$AyE`RGz&_)vF5ni0{Whu!x4qR5SF z<*9T;8evwls4?EYrEXbN^yO@`d!jpWC#B&j<#)>LZo|wJA{D~wTy#e$FYPk1crQun zdTE~o==S%l&kn~l4K8_tFoEN|5erRdgqEVpHGcy9<%BbzxlYOevP)os> z6~mB(o-%dfuVcf_A{Lsyh~)x!RmhVl|29dy$kkv~eo$0VRmKjjNT15}Y+)Fyu11{Z zdO*>GnhS+%@X;TUnmJR*!VrNA-^<;CW`srdI~oL>1WZVTNhMhjOpGr*DQIh(6JIe{ zK{mR9k=L6WJ{J;QWuR9;*EIr?Y9vCPl*rZd#!TM#1-!LCC|dPOK@uC)R30;XEdCwc zJk~dNRKw4-7?HseCj3go6EfrmH$(8a1}GJsRq#RTTk5!u$^X~?Ah6=?&ue0tGnIkm zI7WrPC>x7bjdKOaUr(Kk1Kn7)Pfp1Ao35d-FV7&Zw>Ijp`hU>8lEu}UWHdO_X_XEK z15XZdODsC(L#@T0n+b1%x*n0T7dm(1qs8Wrwn!!UT zt2~Y2zL(1UXx-b_B>HWNETUbe+mUql2T@H0_2Hq=PVxYdHzr9qmb!&$bs z07j`Le<0B?paO~#%nPGsPZ)tq^^#<&n`B73#(4^V(0{1c_Z8a-p~XCz7V{RgK>da8 z^s-it4MzvET5R1a+fw$e;HAik>{Qhcoq{9=A9NB(ATM@3T4plA2GWX^xI)&g(`(#{ ztJ)_H{b_kIx4y$dm<^wrIL4JOqb^cl<9puMkgtMXv{HC(CPa@R-xn$f^pd6zjq41Y zAJ0V8yUBE6$kG#Mzck&2Kzn9CgBERYeEpE742cKHyERQtd@GyAjOH;hwJzH>@f?x3 z1g6fk7gxL6lukxeqjYkkb(W`1*Ucbu3sD?dAy-xQ(I~B29<{GVC+N!B4cBoLnVFzk zL;3|JyGFq39!vUOieUOk)#sKE5wqXk3+Zm0x?Qft<3p!h53$s2H-h~r32{rp1I@wm ztH_|s;4TG0^-HWy0(%M_W#d{BFS7UNtnDjVEUzJ1ZL_OaK zbPV;Dkfa_BLDwC(4uyo@pqLRU;WFL_=D30M^XRLDh<}X1m`JKP9FIRaqQP5o}oME!7FoxT#3qX9; zXG2ayp`YNt2V&^0FOfzVNK`#_h#zYh!1`cAFe6C>4|Wyjb&e?ran>&ZGHPKX4F$7tEius1E4uOldt5V z8)k}Q&kt3(3V!~O-b??3>9C(JYiS{})%}WIDVB_!8jeN}$@M>m$p|_$F!Wd-!3|!i z7u&9=>{xqaUAzesOvdHSbQ@8ax66ee4`<+^K1k7`IbL}ZT!sA(n@Ra|b;0vBoW`{w z;PN;S{$RLfXLxwblufnA*G`E7hABRI_%MK(|4s&PIe^yH#^7D(^>z4MH}iNqHzB=+ zs$b>La>d+B^;Hi)$P4r`=z~|@YxMaqHgn*yP2B`&sE|8Q?t>t{(x3jYP6=!8Cu<4nXrD~}xo6Y%L zALD?9_njrvU7y88hYWAYKi;(6f}8>klGA*>aaPHJi08}wGXd1v>C98NwY}Wye8lT@ zz?iN;Kc-MQ|FkXpiJd1n;`K+QF@0Ty(?F{DZG$IcjRkg0-2S@cxMP#rrir<2XkIHs ziKszSfRzxFI`tZMO2NudfwW_x=|4BTsq0-2x>Wm_g@|H_ZmQ|e}=$60>9cQXdUyLBkvB!j6;NQ(#w3W0pGZk z6au;hi!;ed20bOiz(@>-c0}>xC~?p+^w+-36APPD3D38(ffbmTz>j{u0P+Q^KG)EapD6k zpVqp+_iuKm@bM~Dm;h}hiJ#^%u5f6x1A~M8ZtGK*tL7;;`jQ$Os=SAPACArRUVn>; zYM|G=zWEJ`^wh6N@l!cwiQ%Q&j$%x!`n8TSmPPdReNyijJ0_w_@D>$Iq4|QE+TxSp z+=6h6$y`Q0hT<<{wFb+-3@|Vfw7+UH>2K}Uosj}5vsmBQBvH*ap*Ko%)y4L`x7`3fc|Z~RgW@7b^IZ;m7C!e zf{N<)aPsWoXcrO`g{d$GW>$Gp`3ft9+r~v}J4aXk0 z0dud%Ch7JOsk?4}0?-MeM}8`9uNnlZ{i;Xau)nRQ(-tSlN7$&ZICo&6+b@`=k# zNM}-)R7N6c>iI!^_T6xxo32gG04gj3pwJ=NFdXE(nqp7*ka!`5#yo$ph%BHbZxAoO z#A5)Oag5A|N#>IoxKsJsYQVD8-@x2MbmOjgQ1VOmNma^xe*X99#dO5L$2L!Yp(bDh z3L6d~>&w8QRbKmuFXT`p_)XP0(?($nlUi5)PkN_RMxAZ%2M-I6EG5rtMM%iW#EsRj zN}UNmVN;jvM@Tn!fDFv>9o&}M0aK7^?Z9S%N_S}r8R_Pf?t&{w;^7Ofg1IkilR=h` z8}SU8@3%-N$UXpzYZgE+tEiCIsR&L1`6tI#)#;?dP64NFJw*K*^(L#Vxa+I01)Yip zgpsxpvuhrjuip|{vug$u{d=6Mcy@JcD|J>%v0sgAvw17(JL~LlPcNNy7wiQ!#d+D_ z@{2!i`$#E{!6&KlUDwOg+c_-onl&Ye9++s#Y6A? zJN<_QWq^P`TCbZN8(Vb_{{eQ=9^guI`Tmb#Y;ytA$j+@feKK_W6if zl+Kvup(GmzT4||2vHvC*g#C5^Qf_~TMgiA5bPmxqGq$5l$4eF6!7_PWBrWsq5>AE; zdy>NAi;jFh8}Ybrh+(d&dMMM@I4Mq*50yI72KY)0i`fo%RMW=H>2p^bSijPi$7EH@ zK}}^lg3(;CXR0;T|IVE|{ZK5y=BRDGYe}#oR`ZgV>?{4Y2+WXlAvMnfg}8*-r}niC zvR@bQ2djH}>3UksPpBs0^uJuTD?4*$K^PB3wI72$nWvgsu$G zlNS>bZm0+MQ40)yVMJ9_cc|jNw@7Q}Q;{9!N>~}hkjk9QB%8<5D~yLc-bkBO#Bu_o zZCLunsh-ADk{Pw6mqIk9%*nCZEPZkpA z5Za4dYXGz8eb}xmt=A%LTNBn{4fc?hFJj&EIpr1y@@G$h>Io6xxdOPW0Wi?K+P!)K#3B!P{O=l;u)r`%ah={_zXDN>IG-!1g(5+vYGDyp>mMBKRqlngJBoFGxDlq zWSMhs`Ob=XHOR=Nsy%_^Y02JXhNsf7MHi>~3qqT9^B@h$%GuJx)7{G4>3^8ZH+v)w zPA+nG^8aB%LP%^%R?aq_w&WZfK=w>^1W0;Ny3VG{Iu8bD#2pMiPEcY7u)Bhk3un{LUDDo&v`R%rX8W% zbPN~n+$&-$;)EvdsgMmZbLe(O} z+9%b;JZUsyNaWXsnXLV5HZKxhJtANTyPp}G`$xHBXJ63S; z1x($6W?LZA!^r|x715VS)@Q>gZ1^^T;S-usY607c^_BG;CD(!wQTD!78Gqrfr-&UI z?~^yf0+5LJ&r5D^+|B*!K@@=th(YrfS0%k7!#@ChIes#f?qFvt>Msk^=GOnOJLBg6ZEAT9X}#nyFZdN5i` z_Qx-B;yFo5&Ur^jUHp0RJqBVZh2!-HvTq<%V)zHmH6JA($z0)H=yn^2jYg-uXg$BA#hZP?(gGX7~;;!+kLt;CoV11@Ts%?h8pV3J9kCCkJ?TI4=Fp;007 z(9=C{20<2OjimfvWQmLOe`KjykVKsVnvebeQ=?ychAsXsAX2WMd!-E;OIDsFXm#)Np66# zb%4bGw0r!8U9%i zMm`g@m$b{gd{t3iZR61(|7TZsP~z#DW3c*E_R{7)2YfS z!^-RLB;YR8X-1=kG3|Jv%4Co3^?F%GcVVrjxVOwpGbrp8QrwP3?!-=eVXoyx=1Y8X zLVv+X3%bzbkF6lf#KK+d>AMBDX>bH$CiLv^eH{1`hdj|=#b3LJ(GSc9s(k@_c9xdt zV78l}xYwEk9vN3+&5a)gW!lDmX|DXGS@tqYAnlG4-7+}Nc46{Dsy(u~FDK2_^$GwM zu0Lt)6r8)mwGU(~2AA2Qt~|I3lgzMIZzoKbKRD7W2a$or>d)7T^SN0XDAYm%5?B?J zw~iN(yOAeo<{iN^wJ)WhiA!B=j~>42ll7{yKTAzNj7=nv@+i#V-2-1=Jh(-3f*2&O z=4CyNRF5anV_)5?V!X{n#b0>uBgc=MkMe-RzU&N%y}@-Afx;hp%Hwpg{Ep5U;W5wy z^3m&^dQ0U?8irB5ayVt%#}EEaIy-GE92!$MvSH zjs97jLY{CXCyftC=U^JlyeUgZ16W!rT6sDSoxUpoH6p(w}a z@amB4FcsUmx1zS(RRd3+Yb8!0s=;ksdL(>5o~>B9FhFYX-+lu-l!A~z&UXfh#ZQ(9 zULZmkdbH%XT~8FZvhP`BHO~^wgMONYoL56`wd*7x0KCmT`=kLWUoM(thbs_;ibRB& zXN^*iBo=$oqG^KOKQd}C1^o&QB`IRih?W9p3_|xlLOFPrEQn5&87!&m$gm)qB!ox9pMaTxBg>(RlfOs-uZN@xY*D z3Uk37d59L>W59RNuo%T&xIuJ02bhb8e!SX2X1*L0?+Ob?3!NfNZ7^{}Ob*TXYX7}s zY|2?jjo_ku-X)k5Z25gf7wBxG@h+FyeMjzm9J1|VH-{&;?=lW|)2G}Kt-~%Qt8@$6 z{|-HS-7e^R_pAA})v+6gp90VvL{VQS=R1P_%>|bN(GU}>%_e*(ak6J~=rtR;ZRTh4 zP}WB7vGDC{&&kT7G$I;_IBJ;KfLRnKlVl;bzhwzX}@a~8c_BQdJ zaZ6`Eo#TATcc+0NRw|lvApXAIw^#zM2)CgW&d55UDy~1?k?ZNiL=3JTWsW-6gUfck zc|5^aEjPd>Ao2B4oZGZDe|*-}$G;==g4S-pnAr)2CI8=K6AU|; zDb4`N&^8tVn*{|rl`DC?lhinAnLBYLGAuC2^oU0h5fYLeZInzP@tDkd*)Jp@`G!6N zDR5Z0!2PSxBgY*)wlX3t1b?Jwx2_)Bfm-SH@^^61!?N~7OV!Dr_(W@^<5x%g_5>uQ zY#M*uGzUa4-rz>qx0NyS{cLNN=Xi$G0>jB{n5Qd#I)-Nu>Ult55sHdHf=3=-cgMOB zYyFywZ=`k|$2-E^?={zC%GbU24Wq|#tHb<-0O>PaoxFONx84_F6_Ne1C4g>)Q7v|U zorCY$+(Km8@%bl_+kR{L!!Y*KZfG2p>Uc7pVwgsDfmzCAn&oD`Yt$ZT^sRohWiY3FWLXMXfF7sUuCH9=K3EuwRy&Wc)xUty!A zL<4!`&p&Xr)!tM*QsN3 z`zA4cfx}omgWpSn=kYgnB5g{6G@0Be&s5amRQ+!@E3`11R`U`6}WM^w`e6U8KCnO6oMfi9VK2 z&oBqOid*-o@!qJW2(k^m!^2t;=Vi;?W2!IvaR4ise{8Mg|J34U|0fOpj91OgSYKjX zMrmLqq@0GxAOtl-fjRqUWP$rI=zkYPBI#n(@!jK@NSEM^`184#zxWP^bBtVUw)P>h zy$*Mz13(UGE8SpxItME-XPh)m+^MQaYogr6mn3D}wYzD)4|nirsugrO!#lC$u@+(H+w-5l`(rd0d*ux?1B3S&BMXt-2J@w?U894a^!>}fX-S8*8X`#!QR8$$-7|R zFoNmN^b*pYEWsoh8VBggadI8cYr{CuAp7`wR#_c`BdV0?eKz4F25%bw5rslVxTF*I`b?P2W97lc(h=~Lz` z2o@*PBO2CN1IPvB5SNjV07^>oNwV`x@vw98$;fc?NlEZ>OUrNoMaYHzpDD)w{~Cpz zhv)ySQE1W?m5il{M~*?4-A43>OBxEW{@`2YpAi`uvVO)}PDN_APDN=Nvke^1N*nlL zBevh>*G@*Xv3Y4hy4lX$ggHEJB}{nE8~9Fy*gmw*f!A-BN0}}?KRl*$zXCb2B@n)7 zD5(1fo+ZR^(L9ABfJxvS-`Wb4(NIHQmI`8e5ahb=RD}?|F!=5=Yn~Z8>Kf&Wddl4u zzaFVR+8VZEsCv+$R3EnLCi|Mub{S0NTYh6w?1!_s_pp;!=!denoA;->+>f|0kU&)# zRm3;;C%;g>+JeD5J4=E zpen`4whdYJ-cn@Gu!X|^z7)E5nEBve#YFkgS;3I5m_|^U{p=?#N$-UnD4`TRBN9Ia zE11vF+7++p@!_ce?!D)Y93ytgHhtj{?==FnevZhFv$;?UTx5lHV149tQ`>7|lD2+< zDZd5?XK*#(Yi*~akq zkKZ0ZA$6l^wyiSZ4Mu8gtC9WwXO}UY%Y6T`D^GYcg^-Po!8C?${vE)&S6y=*eAPLi zdSI+x*U)gQCz<9gvCj=y{z~%+KRrX7Km7&p_E{1~$ZHAcj#zm-Og6TW^$Uvt@wOc{ zy5-jR+3)6|`Z=n&?BZR9IAu#MMpyWRdLyIvF6^L*Eq6@}$bu%$t#w{uHIBOhBKjKe z@}3&UK>!h!bXnpc1QfmJcMHFvx#$vXVLBrb$K9JGe_06r2RnA_-Re+*ksqwcXV_*~ zI1q?;{OlIHr`V|ZRw)LsP{(&5K=9%o|E_!J0sQXkON7wCVYS)VfD6AL^(10usuW#b zkM(Y1`B^vOXsm+-^`v~(6&Mv6L__%J(oH&|?**V%s`Uu}o(ybp*xe3oEhyA19B{Ai zDYquIoMfzCT0A<~kYf_B)OV^E81JKS#n*xWrs@3P7G6xUcSRxQK6eJC=^_(~<>`aw z1kqF=NTO;B=Nzx0AKanJ1->*2H528emA`wi2wU+imGwInLVJd?ibZNnU!=v-9G0rg zfK6NhxzIs{WUj8|czqD<2&^IEeK+Z7VVJH2aoNgj_HY)~>%#*HIo+Go+~$ub4wdrF zc)bd^%naM9*-e)1QuZc)Q*`}Ht(n)@NRyj0gw9g4n-A9ac#l~8K6@5Jt$?)}y37l= zKNhtoy13cArhqdsE+#FGYlVv`R@J7Noz82W#~KqEn-hw)dXI0Il|&gI$9R?66TepE wYV|KSl`}~aV8t*KLOCY>ec>=a?V3E31r=S=XF4aqk|T0+Bhk=EtI8n#FNpl-J^%m!