From 189071ebba8bcda613e5b86f42c492b67c4312fe Mon Sep 17 00:00:00 2001 From: Parham Alvani Date: Thu, 28 Dec 2017 21:05:36 +0330 Subject: [PATCH] Adds problem 1 decision variables #1. --- presentation/main.pdf | Bin 100632 -> 110267 bytes presentation/main.tex | 16 ++++++++++++++++ 2 files changed, 16 insertions(+) diff --git a/presentation/main.pdf b/presentation/main.pdf index 5b70b36e5c0298c5dfb255175ed5624f36909a59..5686648cc80091bcad27e89e8e9bd4d873f79b61 100644 GIT binary patch delta 29048 zcmZs?Q+Q_E)-9Yjb}F`Q+qP|^VmoP3cD5)A6?jR?~+askO+%}bDWZUWD( zeze-q|m1MnnFvvERcw; z*Vv{YG|72eb!0-zC$@=wu3=k{-{Z5ku3;F$Y?l0CML9q(Wum3SnTjz{yT{={n)!*h{PYmVr$(_b7fvzf3nTkNy?-Tse{dj=8oU24> zM7d4@2XeD;`~zW)wzv%;_{)2ARfxg(GN49O0>)`Mv-aa*d_sY zW37=0QI%`{L={F@^cy5~B5@F$vC7xlJvh`Csgpx1rH?=U=C?bnhDBxFX$y_s%3!=W zKPmU6CHK)F#-G2Y&kFpzCwPHD35As0kh=69(L;Ar0$nMWIh=RQ8WSIT9lrkD6*D_Z z!~-BOOSc7(a=ufwaX7Y0BMaA*0dpYJ1WX~$IVE7G=D8sJJ5xtD$1lP78QTef%Lp(H zOm|2of?mTHoL3}}X*{YM*6`PMt~Im$n35(gVIX7^hGP~Y$F1MN$th69C6L;-aS!@Q z$jGygh*4-wZ_<1uds4PZc^#;24oFKZc1EME0uK52ADJs7W|x5{a9amwi=-&c4|6?%&A^ z%WpCuD$?ugPz`KHijFJxGo+(Zak!g+L z!r&zkd-84LtMe_gr!%a^h`^HN?)g;r=|;v*Er6ho!-5JamSaA~p?;DT1S?vJvKX=o zhcz74T=nzAQxLF1I4dplIL@A)e@b$gL4u7+GPy_?@_G(bbSZMlb@?C-^ zHc|%>!35mIjcPFhyL7;x43MkTTgqMya5{LhZ0hJfxd+-Eli5=judn%@018N_%*!E zJKHE@d~%3W@@)V$DlSvbv%l3zbzehi!s*%$FT;qqwHTLjp;e67FMxgTtR`r+oq&yv z&$!pwIv0@d)q>e4M%pcIQdF%|>*?;mj16;qe-)UFfy+Q`aF2w==}v zdNa&de^K|+PIZH3Zb{31huM}=%3X&d(9j}*?EtTUjnbzpnomtGiYGlB6?(T4*Z%GR`&t9&Y+`3ax*K8E8?b7ee=c%V&)&PJ1 z7bIxDmbD~~XKo-j*MF+EScPA4kO_Y46`jD?sxEs_nrsmOqtJe-#5p*dye$v!@dfPt zu5$(UjYw_D?!xkopSKPQbTOQWiK&1X18Z9dXsa|qHl!0&x`a7Bpa4_}QUACwLW;$( zPLAk)?Ixs=gFtn__g}m0(cPGNCMPX)sx1QSHrbDD85%@zvlhrM@EDX zMiFEWcaZJWCt{kkOElXhutOY4gn)spKXI~XER7#=fTx0Jr`pA$p_r?i_JGGuZ#Pq* zQ?$Yf70aT6#U|LwxP?Q|E)!0iUbNdEmVE-+*$@et($LUmu#;6VGpf5(Z1d132E?R! zEY}@x)~($%+YL@>)wB?eG~U%O4to#0CGT*nFNYASnKJLEYxde!I8Yq&#OI6Rc5oqEir`EJ$B{9cee=5A|7B)dvkizAIi5{= zec=LfaxwpBh`Ka7>^GUdUEHJ7C5gbNIe>;mfkXm45NqI6r0%jS(Vo6AGY*I|P*8~FS8qy{Qzt%tW%IfDU0 zqS0oZsdHTU!P7f4l1?bkgup0;@tZB1ZYW)T#+ae|E#|JnQvy_{_@(>#m;Ce{#JzJQ zln{IHo^(3Yr^BOVy>Pnh~rTZ%l>o(gZVSIu?k1Z){demyLrj2?P#m%Xg80@ zpBo__5h6>xp_-~KxHN%xe zKgqz_Y={!$RiKPciyK{ulN(I4PsiS{=v+pzj>X!4R0;(g>!5|zXEiKxg$5QRjNhT+ z*iS44@TG{%Nxc#9+9?Tk$x$a8@_V(>kZfi zcX#swH;}eduZ5;DtV!dPwVrm)fjJ z^VxDUXiYjbSL<5r^@DdV#SE}2=DJ217ZYQJWJEiO+~w8#$pNYR^{HspMIj%zK3)w% ztQ$~5#S3PzmnBmjVp@lia3*@P-l( z|7(xxh;LL!F6snw#6)}kHw@MP%&!3b7MZr!{e1|hLNM}|4ofAObAZf*thldstk8p@ri(K0z?&y3zQSmFJ zox}Ty>_0CE=rXuO1?{}F@WQ;wq;?B^rz;4(!5Ik-AYfoRa8_6#7jnN3ZX68}ktBPm zfUkVAgmxTBiYCr%jR@JVejpD-7~!waTOQKAk1%p#5~@w#an_gNJFAs63?z}TPuYM< zYN*!N@q5YYB4i+| z0f*A~tNf>k^QDyVRIR7t+>sMU%sRZ?;22(6{C``{a%Y5F#57kw8QK@lIP#Nd2NKc=F5vM459@jtxETGnRLzd-}a!saY= zrp^{>7?WLE6{j5T;*1MKulLuSbc)oA+tIeR1S#6xMbgR!JFBMz8kvEpQHoCqy1@sv zU2o=rliq(T4mbBjKX^t5r^};lCvXF8k|x=4=0aNCWA|z^bxkg&W=eBCOwZ4wSibP2 zHj$d@HL)u)YAfw0Ni_a8Y3%^iN5p6uC=b+Q4XZifH_T?!)WZF+Im6!5U1AMsEwc>i z^8Q3MZajI_ZSAB#^XgOVp@T>wiN=#N-(`@c_i3BllEK89Be#b3AHdKiS#F@`SFiQg zkLNbwz}uZ2rpUjfX=HaiiIE1=pfU8TnKpgqm$m9SxC%pubx`ruTR8=yqz= z$(O}8X!MwxR~vP>Y)^Z%ewm44Bwl_z5SAJID)Y9l^ftU+7c8sHjLfD}s^BRI8`={- z^ShZk8wu|zZ^&W%OPa|4uQoZ;c5wk@K$d^@aVZJ^YPG{W{6i(NOx_c?BEjLM98os% z5v3wR_q|aEw!R1*H`HhjAr+Lj2K{#=>%k)#TKvKP4c#YfOi>PlAy1?|eE%JZ-|2q7?@mpaDvNS$oU~1emoY;Qp6$tp7r~wE+?^03g^9;`jRlr?3t}`d?0R{Ocqb zCpTwWJ2U_nxJc=Eqm;-0yM?v^9p7Z6yZmqXWn>!m^?d79^PuTASj1JXZ)i$mQ@YY$VbOR3%--uNUS1EN@)i`6f?mQyRWaBi2@&+hzsL9j0t%PGKaZFM zF)1@%UreF;Du3MCLcli+upA@Bi#SLKSADd6O@z7f>$OED+Cj()y@M2rRT!jT zOCp7J-iDTeS&5I;w|~EoR(uO#Kb(gc2d9HtOAVh#-8PI!4$XRqaA zSPOWrGs$e7LB)EB`Ut&D%mB*$+z*8dV2MpPc1h~UK_y{rtCOhfa!;8Gna;`<`>11C zK0_B>9Q&#bI*iUp7HfgV0C=~GJECfhO0y?7J#Mhjr{vfqIiXh!wx8uqHyIaPan-<{ z`nRXD10RO;BUDYA&^AhRXd_i2zNv>oNb^kl?PjfQGu$xZDKA>ILIblGj0O_;6oMgNiFmwnVkkT8t|Px;;bu_mxjk3(B0Ou767~ob zzP(4U`ncv!Kj7e@oHFI{)((1J_>qLpBYk%~J{*A|ss%}qLB<3T1Oxvtq!H?`hwDS7 zAtDBVFp_0!i=2cO3m5yY7fqbNZRjroH4e8f2BkaAABT~899ppYmRSoS>#11-_(360xhEN(|>Ny*JVrb%J~&oZ!_i3=M?Z^i-oUR@xIx} zRii2I>2Y^su-?F&TO?m_GoZ-C9pEaAhn*bOn;nk79A{xqJ?)uD3DygmuVxkj#oOYX zxXQoG7c6~@IsD4u*R&mwYfO!#7pb)4A8}RE!O4edneptsG=JR|oF+ASl7>$=w#8F% zR1KP3=MdSXG09>JslG1Q@Nc2sUt?_xf8{`S%Evs6Y)p=EE6!{LVqA(S4DraeOVcC9 z25huxbJC3!O&}G@KbLIE zLhJ7{_(;75qNTjW=M(|7b{` z=uAIoHzqPwlb@$(K01f&i+d<`=-ZK3hJzs#&#%z`1S^7VHKTB5nlzQh;d-ou-1s&O zD;J5q=E63m+b+tdl(<^rNc)6yweD$0W@YG(o$GVHl*3Q_BJ^%JQa6!96z$y( z>y%}CAoLE#f!%FQh9W%5x(ht(%(%Hyrb|$nKWccXJBk2s&vwp>vz-BN! zR`B7|_DqLdJFCD!@)wtdgwmionnrjiv&CF=g<|yaqRyERzY5)&_e}>R%rh)cKTaF# zNQo4&^0x2ecN9vc7N+L-L;x-z7aQAuCa-1<-uMkB`0Y1Zww7RZl|@u8 zGpbnvN8M;!aj1=Yhcn0LukgggcbP1T6{w)q200ZpLI2z;12mf7gcU}~fLW`~GawCt z((g)PMop2&ODD^_#|$XyiVR=OGbP3swb=4mHVe}U_!D1T~P4( zn;loZ%?(HaIl10E?_2^-L^@C;v(q<0>>-zcQLvYUkx?LsqbpP34)^3fidj-Dsogvt z_y>p;z0n4~?cVWdWht=!2vmR7Vu*G%7_bK;k`u7^*FJ*-#~&xUO_AlCYf^|kfL?%N znRE59I<3_y3v<6nBo>9cUJJEx5W}G2xD+0WCy&m_+6Lc-U!KlG@QB1$0K+H-mZv^a ztzT=Vdi0m4d<@IV{>MUi^KHrB4TA#v`Z|m#8~M^IpopP%0f+^MgR)_~$Z&zXy!fo! z%YU(Yv~>>-`8ncm+5t&ndbH}Ko*P4QRMAGQHv^N9A)-ZE+y$R91wNIPUFF@({Ive> ze!>4x5R5u}g-9&&yD~#J(NFf>2(EZ^OTlvG zV;Q|Wx!_WrG^)`7MRdpGo!)+JZ@2|*ic~cEN(<@5_4=mWLgdWrG#M(J;$#d%YVBkQ z8yd-GtX#JYZnnOQ+t+*j<`2Hfa7)<>WW}*@iZei&obx*;hMNiI`lTGbjf&Sc(#qM3 zVxyQPaQ{rum=E>vvc3uma)r$r6nkT8hjiJFRH=Mi4{2=0Iw9PW%dGP!XG9Uf^Mgc5 zsh{SSDAG95SW&16u3?7(oqXSRwE11si=@pJ=q|sfPLY?%@{DUr$HJC2C+eA~{4sk4 zg*G|45La$ zVR09=_&Cr!OkKt;?pZsbxSq&nP_y9!VpH5omG#MwvoWV&Kjyru_*~ zV9s{ZgIML!Di(f#zc(!}Jd;%+-?aNJO8$s4ZsK8H6TDAKLskfBlXWO>Burp;%F6Zg zg6T$z-Ea=WF^>;K=s>Kq0T5rLdu6I#_c%b+6cR2A735E|d{(gGt`g10zUZJpr%3G- zbhzvid690`+YpRAh(r`g?1Vk1bfu%aNCBpWSU)yxz>1sjY#Fdie-7zR(z8EzA~vH( zjn2t~t)if(gTKwQ=Tcr#DsIo&?&g!yQeUn31*~4!PVayErZlK<00MwLjSmMP4-o@@ zf3wgUhXddRfR`h>bo~n@UK{`$kd6Hx>s3=TBV%JDGqZ#HdxSVx_ht7dgg7=fkjT}8 z54hLI-DBHj!UlN311#Vu>xYujC-F4N^KA5?AW{+?7#L|I(GRni5hM~Ibbu85j~ilQ zNDc`JM1zEqxYKg(^0sm>@?x)yS1(A&VQ)xCiRo8}6mek2DK*M}KDvYw6;kFnI}S>A;k3e=n~#0~7mt1ApcA z?2eTI400P79M#N?7heO7WNsqjLrZ3d|&gEebF7X&{-G|1-=hSEWX9pV8Y}EXe zVBDl7U+1gjw#5XL!-S=olWlK6CaRiUzJTn!VBU$LhyL5BUlp9g`8%5D;8V>1DQY z&K&ImOt!C)#6emqTNnP0Fo65-=(Fju{G;Oh-w-1}KR-Kr{2gM%77&c_JQ<)#a&Ll1p+JdLaHW`VV3_NeSe%nJ+;GyiaR9bJ zBhK?c>Erj!p!vi_5{RAmo?T747d(VdYa3cl&^^y4c&Epm4-T>l6S?=9j{gMmvM}D==4W^=e{fm+aA=?`U$7{ z^qJ$`tige$fdRkNbL8iGX+FMqi@O^F|1Szqkf&SM=l?x4Ff%j%jRHH6`#;mc{{_Jf z{tnIsX3qWT@v#X6W)h1B&67_$9;Bzu`mm4mf8W^~nO%&lfg+!7I7a-+E)MrIC z*xNrks;sm0-N>lQ(#Yr_%TP%>IU`58ATOb++{o(t_nJZ@Gb5l;`S0{ho#c$H^wQs% zT8RliGqpeu4yeG7DJ@G<)o83%&61PRv`){{($db!k1);;F^f08pHU@SrkYWK7h{xS zq!gD>{W?5Op?V=dDxnF;u7RS+zITC>kyVLC^SxJ9iM|VnGiie4iBAiROh_2I`is)f zTRj69z8>$>lP|z6Aosn;mv+IHL9=jo_a%OI_Ld#qRFW>Ge2>RD@A2v080 zsQB|Ah5vYPlPD2)3&z(zKki=kM}^-@*HO-{8d3vGhe(rkw=Oo!qqsO)JbJkSd4}hM z)L{_rjO%WmX?5{=%vij=S9-13-z~3!PGY$EMCvIc_2=^A-?KW^u!``1+!T}rz$qg) z{V{YGlSbFqrx$6~XO6a%MWm*>&m8oXv#+0CC=oRQ`WaX6|CuV4s zZ)7Ls)dOBckwmzUk1>){i!i8Pj!KI#4gp(ZSOBth>~t(_?RJ0Ho3T2Egx958sj$O+ zdkO4RMWL1xkL_zspjPy%N;3Kuu<QF&@8SKLnZM?=<<3wuZM4rl836&&QOdqa`Q-8L z``^qSX-VJxFU(FN`pY?lzym~pf-$o&|J#;e{X(QU^{WUY zh*%zHbm+70J7I7A;i8eONK4w(Mr{@ALjf_2FG1||T+Hz4t}kDvvGJ*c!$!1$mSFny z`C3i)(nW=TpK3l?p>Q(NBn;i>VeFW$WD6sVi$8$2AJ9r}MHiNS$DUh_n^_V7jBQB&^Q zSI@SY=$z@2R@+utEZHw`%lp0S3*()&%Fh=5w?p1bC>K+t>u_0LXYFjJceghjVa zhJiJmjng&u>ZjPYQ=l0pU&PN#gwA1zQ@qPgcQ4 zL|>U;+8|#N#XAbx8{L~MzceCG^Y;acH^dorzGl8@z7}&l^ce*8? zB-C3ZWu!Z-ZMW?oJ5z=!9`N8bY&k5s-^q=yU;$6}b!q3Z9EebO+GTJts)*8WtH}{L-cXd<$5I4hXW4q%i17Hq?!q-lQ69p%BH`+dVyjy z`{>F&V>nLH#kVV4R~1?yjHAY{)z}kFN z^fh;N73Dpf|H8*-ZfCjKuzSUyP4nqyJ8NP5^=Px`cohOwTc5HGRPx-m7IVdYz4fS~ zQU3xcylCqYqnQ1D0T}6k)}kMFRrqM*eT%XXS{B8loFo-Aj!*`Ena~C>&L#5}uL8wK z2D6iy#UM+d{+kN(YD6ktGHQ`xhX6I9Lu@hh2qod}0Hu6up}&YQ7b%rgf!Y^&hVCi^ z-z3hsgdAc(hRhdD9a$k31x>l$uLy%KZUCM_|DMd1K;jMArx1BLz_B?0zb z?MA$h9D;IDAQon7fQRXv{W zy%+$pvizgD&`+59`xfZPUono$X2VEylcp3;SXWDNUJXxu0zh-&tAN6fHg$hMi}At( z=4V!q9C+>4O=&|#Pdk*Wz``Mk+W?go10au%=qzK-gAgvXp_%e(l;7_~9%-{dialE( z#UBd zr*z_(ywD@a-0)A@UwB)g|Xlj3`8Gw~5yWLeP2;Bj%u_KM`K6(YpwKp4wJ5W{3 z9!26yr8?nEG+Bn~T?G{XCGoPb{X5yRvi)Oj(NC1O5B^J5&sqHw8WqvR zFhwdM$rQ24;y|@TFf7)h)LwTxRrc1}+dR4`kkiZz%br`VE&OLma(-#SDhzhddFdq` zNAD(3DKO0PL^{f9H2;zpOfXLAcAvweSR^489v)dAdQV0E_oq83tLX-3U{HQxwQG*M zj+bOJ;IJ053_H^Rb{%QgO|Ol8iTH-Uzwl`b%rquPF}#Y1-u2fUb(xgFy_2C~cKB`? zk32_a$d3os7w2t*v8|RRgiXbIkBy*|Gm)$54jzfKxpaasqoBH?ialp+cM4ayX-7b6 zB^+7i??81k7ih(l0PC+qt44_Np9;QCyeY>UO4F;(%JNNAKVXYQi%jspXOQv}8=K$8 zG>LA>7A=v?M~Tz0kZtDos*h(Zr|XhjGPg#lv5-BeOt-VNu)pQvWQBQWmSa^TjG$2x zLNR5hs5y4vNn}c+_XvLTEl-*QLjz@D|2OC?T>q?aN)y(DL}**bv{%ls&CJw(bRv0^ zOh3d4*%pwPyyYPZ3rbu+yU#+j)zp5CxO5)pcnjh|7LqIyZr>r3N|}d@7-`NRQ)H!- z|HKH{bE+Jl!aS<*{uWKi;rQ#4mUWos)Lhyid7q zkq67wE@<9e`Qhy@q1s9Kj@l2cA5Lxx`-yTO)qlEuSM(_MHH;i%3N0;$D`W|*khYks zyG2MpyBsQ{?;MU;`QGy7ZDp=A`?qhZCbabn_bQ*uePEgVkw zTMthUwmbZawozBx)SRtoZh-s-8u$acOh^k|um+V%vj!yHL+jl#= z%ezhMW*r|2f~&8uq+g3)EnPDZIlZjhS@(X|Z+_QaJ(Qr6OX#T3;9&2X)j*wY|DlsZ z+GU!8U=xZM!VV3Lnp7xie1|{IU~L|Oyi;>nBhXyqp-Hf9!ZlXu9gaO6HmyiJOy5=n zC0{zQD5QKQZvW&VJvaj6zbb*vZ{J3O->yWN`yo(`a#nef3qnP!^f- zFOBhohCEO0GBtcu8dVu}WR}wcH~&u+L-81yc3+zaItl{{d|nNjSYX;%5i*VXMU2zF z+L=C2hY3r@+`r~|ejB-~=Z49vxAo_?!I!%WVMBb&48jb04seQ09_Q`PlOLS|y5V^% z9*5WJ0sxM)VN((Y)JI8>BT_3RYp2Ng$7b9a^=}O>*~S4` zFH7(+_|qu3DJ?vW^`llMhyxyu&|;LcTAS&1^A@rNA3}8Wl#}$Dy#lb0p`j*47{Z#K zaL>P8an9W_Qh`9=;@O%fYM5TP1*z(GBnCt16-kG`L{y1tXff}})=*E6#$soRCzi5Nx9YMySHF2N;-N9A2G2uyj#t&ms! z`OPP33fn1aVk7Sfw7OsZgDm9K1zOTD^L?xR8rr7sJ5X&zpNl{K>9>Ma6(-MbZd&;B z8{g&T0|vG&@_0vdC5EtrQNtfr?!S+U@Yy;=@`!Qt6!fS^HwRt6%t&ERHdDx)EU32Xf%F zIs$;`LVvdFC7BKrW|0s`Oc7a46QRW*kg@`H3Y_e?fmpJ&c(@1}Pl%p7m2Vk}GVpUwp^N z*~_pz#LwYFNzpHgsk|IPfn&XkXWmo|q5}ehUCAhQOhC_J|n0tZAl>1_P34=!8AT_>dp%=A0#zJ2`lqH8RV|L z$ADqfwEDGEvkRgm6aj43rlUC;=%{{ZuFX1QRHzd&5+;c=yZ*o*`uT0r7lAq!%5jc@YOJG1da97T>MFgkl+_9=4+ zilwm<+~65;XN4y9Fx0{3*{sCxz~*m#rv75D`u@>hehxJkkxt$dYmcJKX2c9+R8=w? zekKI8f53OdrkA!hG2K9-)t5oJl6LcYKjgK+o2AZ`uSrwOL{{(_dx&bQ(;HT~Sz}N% zZYo(GD|9h7jSSE+%Mu~s6R@DC4`6$d-garD4%3nTpe0#Amz^uIutajO<@tI;LY=*# z`6JlmXu8;*L`v0!A}@}r{0$Zulr%^7>uEi^-NgsnZS3tI9vuI z#7b|oCDKyzijY#0&OQv~7RbAYVSX4Hn;r_MNGEMGGaIoGE}mGD)B+lsnTD!C_h0{t zXqmUz$&F7JjY3CuiVaiDR<=k&gh?HJ?IH0S&6H-h{!HTKTwHiOUkOM7CbN9QV$CSa zva>BDgIc_(C_uNnY?nDJok(+Nxw2AUX7bV1ai*oZ!$%l}vH+_do1QO{X-O+e#Z*69 znY9A+57vj3Wy|oeixxxYQv^%0cf`h;bA)vkQ8Sd4?474EXXY z;%%>Z&&uVZZUxsE!PXi9DLvz$I&Jk&oUz9ll2(36bbAOY1@S{d{y}~Qp>@djAeYpr z&hG@%2)#Cfzp0P#y(x*i_SOgch273$-#mol7!f!TS*odM*lwlWnkq5oP}Rr(oB!8Y zRWB%QNFAUCC088X1{&$5Hm#riru*CW`N%MGqpL5rQ?pp~nsa6i&{VuVLR&~8bQ<&s zTEakblcPtCIokpQpAs`8)8U@ee8Vo!=IA`lZMn7+3^vEh|Nbq8VIC5YyOwyd$q|N% za)3?dR&?_{KUI_b{QO35($l4JyDp9R?ad{As6*XtPS@)VO&7J*(m}l|mJxX)dN{%* z;Hm0dLQ@yhD~$^0;boLh4S6MYtwmsf5{f-`k?s0aiCy}RE` z&f-9L|RH=YP4vM=pfLACdl^FMi0W`jd=^{Pbmft!mAqfXsy{V(?NU31DFpHvhChT+ZUfu zPlSoXFO<}<9{DyEeal=6mrYoJVu(BTyD~i3oYi&^y?FGj78^Fiz4cY-u&CiLw79UO z-x%Ifz;Z10JdduCSc$}IBWk*^0fC-3db~~$be?2=)BR!I>ob0jP(8F5w1Mt{-2Cmb z87i{hZzAumY!?6@L4RmzZ=FCcyed_wS=~hdGj4frz}Y~3%pK9MS(5Kylr~87;U0wL z+lu&nd5Be}XP|vJ*w>-1dj0Ts8h z8{(qhq-)x3dkRlr++U`6tC3*ymu{&&ch_V$k7vT8tv~2hMy^l~<-xVPrUI=$*Bdhnbohh6e(nfs3PnWh_%d^t@9ZWF03SIsbznlH0Zi#{K4{Nw=3Cy*T)@^4$@+uW{pQ6h6q`n>E8`-cnGUAP5%BBYWaL1N+ z4{Obxzsk42{8N!5Y;B*o%IOb@BTPz6hp`l3QklVl&K^K>=5z8hHtdcK(RZnQrafni zv>0#r5t(xw7u2sG6N+MCc4#hb5@`5%nA??!DIE7wy#Fb9C*NyS;1(9L$Q4=OUE18Q zv3W8JzTHA^wu|=!3TL?pr(pQ!0!7bXdenR%WlvJJ`>v)y*$~4}8N>Uo>R@~fuJyMZ z?avnS_+^~HWs#JCO&Li4gC^??NKtDF{CW(B2t@l_DdPO+BH;yvm(3`1I^bG%xn|4t z^k$Ma;gJTuCK@)icAZnV$7I%~>G>%;rCS<2y}fuCd|si7kOfLG2kM4!3Hgpy!@)vt z)`Dx$_P7CTk76Hz2Z0DC0fCMwySj5Q4S!}_|L?+z!UMKdgtsU~v1@7i5>i}IxFFcg zce-fVX_=qr>(|0*n=sC(c0jpS5F#gu_f>4iRDzq95V5^@d_? zCapie$5gKPCtOGvG+F?gO}ouR#YSzfZ&-K8=E-?P71k%D-grr;*l}oSzbC<@)6i@M zAri2tss7-4U&EX{KSiQ3XaPUIJ`PHVpPx~gPbx)^$a}gi&p6w zzc8rsjUpmiw@`0kBBI15m85Z2onM%^)WkecN+(NU73R6wi=PqwL8*VW0F9ZM)OjhK zx?wf#gU_{vqY*GR!+{Vj-C&pZzYzAsMw&pyBc-MY!Ag@;+56_y#PMe_nU~gt3KMU# z8_>ymB*Sm~=09n<|#M?Mjeb6toOR;Fgm=+0$^WUv}J>eSvmnde#T`9 zh13)7B9Vy0NAkLJ^XC~kl)~?$;LO?Q){&~?+Z}>WNPnVSm-9TN>->fSRZc5^cZ zfHf>V2ER|x!0itK;9UZE6vd`60dy{>eZh{C(e{$wra_t-Wut$9V7GW zfVjZ+nxsI9w8smAa7&NpGsdjE*({X_2Nu#umVnlmG#Gy%VT~7|@v24cI4sR2A?ziy z0&0F*IMyB&ne$6TJi?L_jdYko<;uL3_A|%9NQR>wHEUw*}uFF1%L34DA)Bel-FEiq_2?VFC(kSM# zvavV>9Rv*Z0y6#F?CSjR0?-3kTqnE8{ib#frM}!Sa2`I6L93{vt-B$->dufr(QkuE z_j20gYCvfPV`PWh?Z8%88+ZJZJw+dbe$8i5jj@)x9Q2v}F@%|BMwOUU+yd&w38y2= zu!>Q!NR6~zDJL}#rk|6=zr*nS3~J0~w3UwKoDxXIkw&bY*E6iY8BA(nl9c!m{Otek z7`*nw;d7#y(*D3K6rI)4r4?V1Gjlt%78h2GW`Zb@;bfU?;f5}!=th; zd`aDPLa8&a%IgBlE{fMJH{>kbo zBoFlB^NTm0s4YWZIp8A9$i{jOFx0@al>M0!x(Ul2DZz7n_b0=ymFc=_|t$utoknU9@e73x6xuId2%XaRv$M?=GpYs+ooqA6Ots-rS__a0;Z#eY!^(PmULT)5~KFT)mcF(ntE*b~4 z^|F$hBIFdg1j6)2y}jL+mtDI!XTm3jFk@9bLaHX8it5e(Q`kF2XBPb1+Ocgr>Daby zyJM$g3;mkU z&x@h?DT{Rw!vV?+659IYj8YLaofEw8Qd@Z_Ia8wS;SO`i0@G9x= zjgOX=mT(+O!kXqsP4f1QmzJt21jo$4=trR0NXet0j5-aG2-TCx)sidM@+sGnN=)mc zL#G@{f>HHP9#%RF$+r{9w`#=Y&?FtfFq?3_&2JXP2eis6RSRa5qQb5M(ivsaGHGN{ z4`t?qn1%F<6>A+7Y%+I~@uac=1{suUlw;^HDRih%j={o0X8PHWZATLi_ben%CfE}T zYvzur=5l;V9lWf6)@Yb`_ET&(I*C0cY@AK9NfhG#4NwUEkRYbj7XPDp8-u6i>WIPT<^C#%C>6~&X`<@!E<1`vktg!Cw2 ziNl`924uV~SEgwVyttd;4t$eeCVH)GUBCf2Ki_@2UL>}DUbxzvy3;PQUwU~N0VAJ1 zw>-Z{`gcHqTLlCOlbitbU^hn)9832!&VtwqZ5dOd%5kCZbQm2d8h;;gK*u(-Uy06! z$W)5CgpKRaK%(kXJj09Gy_|9btw!+CbEhjnxoIqG%~nCuM)n>Sk#2h1C{=GeC!I=p zHL?noK!evIFGbyQx=u7PUC`X#1?k2*;iA38M+13wTxDT)$(SECsxSepiEf zHVq}%5gDmP*phrQT9i5aTWQd6A!N+fOB*;Dz>6VNX)-WthXDt-YDcl?9upi>ncbb| zoxXI)vu0kCzIb)O#_Vmu%lT8+H;=d>8%&CW|E}El*2VKxbj$ma1)47BlaFDC&pI1X zU>*7e8o6ylG=L4*JG3!)cRJUVEZx)An9W4_Wt5OhM0j^ zxvw%+H^+vcJ<{H^QYhPkZ|OO^U?Y6Xu;H#Co;i^)2nO&$yRGLjc; zL6qJk{iFC4alp)3;dRyI7hI0kAg#Wm;ls`DC*n_61k?`{SU@Jwuhuh>Ked0i`$J=S zU(7=k7&Y9b;bm|*N?{xQNMO?Bs1y2ry(`8~=Wc`n6t*AztWfk1`}7zwA`JN3ibH!; z`Ufk0GgrHQjt)=mBs{cwuN~JXs^n2n97ZG#J z?{@V7!Nb`(gT|4^SKHb5LK?7Z6V`wUeYc3tIpFHn+Puf@s>n1643;?>`KoVk7=NaXVWDxSQqb{&bbkkmSbus-A zgh!EWbcMRc(Lz=#sfKN%d`4FTY?&Tz$UBIneA*>^gvkmB)$m|yRul$I>VKR;Qzz4@ z2+tO=;2!Pv?=P*ILuDB1*hb2^*;i?6t*Yqgm7R1Gz?PggvfqU7!tTlFpFWwE*2itY zF7LPCczjY3^D%IIHl;yvUWQ0eVuPT1e5yNx+@!MIN--7;iD-MmE1Ygct%l{OtAwdB z-!TKN#<4=nq^;=ucs1ajpjXIt05YZ>k*@|G9r4Su(s^M83lE&IH8$hZ_?Qe zq9Mq`{b?-vCI|oYi(w2zpGxcInQhSky~rgLwn5dhY%93s z+wn_dakM=F8~=_CYk=15hzDbH%u$$LpN9G)R&4j?$jQfbV6^ z-fs_yz^Tc?^1HzIH4hvh+&imZx8gB#T}0IF4#}w{N3&5dF{@A>LqS&4_9JgL%Y1*N z)IB#4;e;>_;UX0Jg}EI7`N|F`S@<0i3?UTlqT8GSITHa{zp-!ms39r^!2i` z(M^tOI^$8E{!;{hrv&u=s`m)IS4~|^F!NfRXH$Mgturr^yb>dAbkT&GoO~=h;9^N7 zN??7MIw9SZbc{ChR08o#+9l&QKv}WWAzhDn_~ivr(Wf<%F8cE0n;#pnZr7a-dxDtb zZM;I{bq z{xLl3Oy3(3RA~w^dIm!P-8;~^4W0bev@n?|iSyW2?J9)%IiO1PRd?qJc0`B5`n)`H z#)tm4?K~FuEFJh!lP)He&}4VCsqf|W?Bo6d=o$+0l8CUajO6jje1Qc8x>vC%3%4du zn?bF#Fjw3W7*|72gM8JXGN{w0)sV#cYt-*)Zic;^GQ1|^y)hMlfqp)Nec(b~@Qtyl zux%cir%@4Sc>0*=-i%KV6m8+h8p$s051syW#a;cYm8Lf;f^tm}*@lXP$k>)Do+ti{ zUDGn>*o9(Lh(hJ;YvAWW<_x`~;YpSO4t%d9vL`l!3^SpBP_r>hr!+hi((VAKt`1rq25E!ayFreiDh4q^sh%;@;x zo+>4W?BQ&%NYfMSDPxKV)11V&e0)0Rw#+E_9Ly<5-k6HkMVY?-tCVlnAqqzJojqr} zoWgBma!M@?pL3!d8cV1pUw!*@P{Se~{`V(Fgy5C#;l6(#TOsUL(^XQE zb3Uv`Oo)Y$Dxco7+Zp!^CeVp{)z(z;ZSdGVIB2t9PTx%r9J>ZMWkdGRX0TG|XF2p( zlU9z`t_L+x88d$33A1i;DFJn7iL*#b3ZP@ZNP8$r0TF!6*W3e@&K^0laU4n>g0y01T1m#(|5QGF0vy?LH6OE*% z?>cPi7>QB%$aUXmXdR3f|PG=;!n%I=9M?27>0TblOP zK$#*?_J5EQ8+x@D*c<8`Z@(^n8achwckpx<2K{CD^MYI2`q({x{ae6Z!kW=1P8Kq2 z7pHmLvjFQtA@)0`A;J%yAAG7|%MMm3femccJDza!Qa^)odX=KURQK86H#`8`UyMIF zZUzC2tN06?mLWbXt&OMfXQFl3hig=YaHOCV_M0bZadtn?&^fW@#x)(Dn2=FTCM`WRFaL(kGb{QEijG~Q#?hrDM+9@7lr?*3U1@-C zjnsNk*Hv@F{27Hpzuu|ROA)T!XRc6t+Ku^v`!?bX`0;#joYP~X2U}m1z`dTCxm5U2 zX>r(UzKsJ$wp^1l>jv)CRN+_HfhZ_@riV9!H6n&fG~koo^l#(DW$Uy?VpENv7#iyXol@uLcMtM97EO&2S5)byHurKjV|z#7NpAeRJAt!C zs)FY+GNEE?>9`qL!vNi?1wr^*qO}0M^n6Sfo}67?{b^m$lmVIEfM=#u9Ra}0h=8h9 z;0c#?6 zyZNhLFqBV4j$$;|GOyn}?to#A@R5Oh18@RFqwl6ycg zN|Y}jVx7(({%f|=t0;YAW~M%#c=zKewq!*lZvoll#aQ?FCh_3LH4UH+Z$PjIF>oPA z2lwC-gXR%u-VRZC?7bykcK7Lz5Elg+p3pLC;P?Mtb_SNoi{VsEYyZPR4=%T)@_~EP z$8vf_<%VLFntkFjK)$na8)pf-N?yWLF}u{6Z^t(#w+&Go+XPEd1hcV{?s+XRE$?v% z?zU+4X0gPWO7K?lK@GU+^<6w}){#mT@-QCpVkbgqkcON9KZ&awW-D^vri^ zd`K*InBUqhtsI!fgCP?$W0ry2(OUHDIC_W^D?&K2Dk^8aw}0Gwx?5c!O<0*Bw6(J% zdtOAqI`^Fg4(&0gf~rQa&t-h&)~JoqPAK&Y_)k( zyX-0TYWKL|V~79XxTDC^Elrnqz=$qec}xn?TFE*BcQbN z6xa{kwDnyHJS?l;<>#Z3@c+)d$LUsB18f@GK4ufe4qz&l^mNwPpfHE)j|(?vDCNH6 z$@s%8m{fVN;dE-;c|LggBSL9p9b6x`#cDwz$S}q0ECMoR4xQnY+1y9!A{wqtJk@d@ zL45Dre>Sd6KHM3icxQ%ftxMzeFttZE1>iwb%pSUPHIzOXEJ2#MZ3Rdcq*U`2qSxL4 z1#^nIb@>4X+33{@o1uh?Pn>>B$Mp%op*2M~){366;T{Mse~H<0b zTK0yAi!O-66tVtt1Wo>{KBa@DgRo6UQ!w?~dd{LzH454k3@+(g{1sCtL|@m<#eX`x z)k~fdhqCk)gE29at&*h8;2$OfR$Db8Vdq-Kp+)CsHaM`J>Jm0A0Fr9Ow-&dy~s$mIGuP8;))wT_9d`595YiJv`r9^-i zoU9@+gh`;cB2;mpKp#HD=Sx4i>lj6KZKVDhdFaVmWMmF?>fZqXf9e2LfydC$Lyqi* za-(W&)UtRB+GB^_=y?-q0fE|uQZ$-sCq1joJxRuCqvzka#h}T3ZnWD-egVhVLcxX~ zXg+2hJzumW?>~i?{Bxw*U-|gpovw4CCM99z%ZuqsMTg0A(i#P)Pm!giP{ciyBqg*Q z46Im(ej*HScp(%3@)5h+O__V#`PTe#HMZmYWSVgrt8?l{M@ezH1jIG5we$PeCqx2W z(l`A&Pd^fH1LRV$8DMBuP{O!A2qa}1TV*m>lOo(=;6L^tn`Ss^{AQ}AidbuoTmmiV=29`*o%F-y8YsiI(hB2Uo9O6`VazLIPsi`Ud#Pxu zmjiO2`G3uRMLOtlJV(;ID&i)K4SQG0~7>kCl}Mmuk$EV*%Cb1tV<Wx;aPS2_l9L>Ih7S#x^zw0YJAUaP5gmAZWn<1Mv_u{|BvMZD6o#@UNMm0L53} z0Ku#RkNkHr%l{{7tgQbLiKdrit%$0DHsU6AjpGunPC-dut8-B?59TdUsv-m|BpA0! zrDg-V#!Ey-3=NHl9B4rWR?a&yz%EQBRu&=VujF7w^#qPG1ljZ#xng-v-uUA2k6GWD zIQQ4=m;KAO*Yr=O*Uj6M5HdfZkdpKAFyJ+)G;FpvZB;aVxmCN9T&!SvGM}&5VmS7W zVF)x0D2P}o*K|Gw14 zM6!@|m83ZgH^7S&T}+sS_>b%Qg>dw6DKk(ms2V>ttPTraoG7Cct}j8ol^M4%fro)6F%vv57^poVdihT9 z_ck-`tfgtWYNXT`{MYIk6^d+?h>?B&7u`~$cTrbNO+Swr76u^UVnE*?R|y?6;VH@f zFpeR#k6OFF8Uq|%L=0ma_zalNP+#+ezV`4*jyiTpV7rey5b(;KpylvBturZ=h8xxyRBw=xF*ldrU&J5~{wX`-SbK1$t`ny2+Xi4dv}J zvl=|Q+6s>@7$&ZXRVzZ)m!U_}{k;$=_1)U@?E~3bdb8#4f9z_SI&M3c+VzkUd)irZ zR%vam)Dp2TgaFs^uC1VR!&(-60;KFV=8qW@pFg5M#oVV}k4v6jt->cR3 zKqn4SYgXYU*%6)l1W7b~G`Eiex0PRTmO_TFlu13s(}ClTv@v|}!j2;F(4rQ1seEdM zpxXzo9QBBO^Ow(XkaKUP_fdh36i%;~zR`H&x~BVL!~iTBb3%;Mm%m`-t7BU+dTt;V ztyu+o8VFrGwc&w|)7O8d(?PAcK76{_Il4vnL_M_SsKI-g*} z`7`Xk)9}{!FIeNVOu15Y6Hu(-UTOBCb*qLd&<~X$$U4YfwIr|Em>xCXgEq0_-B>oL zt=h2vdDG(Jzao6a$o?PE{~xa9{}O#55O4}{as=RzpcHT*ctQ}P{}z3Y{}O#30LOpK z5PC{-7XLh?+o?8kfb1q1>LMw;$cX$7Ty5|RIqL$w=5R6^RlAMriR%QH->WapOi%=! zVJ4_vXvmXOkwosd%N3!5U7im_r&}rn#bF)iWBza5hR3)e=|Ty#GEjMm?^jb9YG3(v zN-ZF+YGug3?yCTdbjf1+Xzi_(5eb~ZgTms1>X|7cDx4n(6Oc`JC7**You4N8L{ee+ zQg?TA4DL+u{JShvSGx_$2zhM>!9#@mD*%@24d=+p4YFN=8``p>`6IRU^PublM@{PF z6o#T!5DwMZsw)cHhGIx{gTU(k5E%4z`FeuP5?~wTm3siLAg)1zTo@KKHYahk_GJJ} z@dcB`LM=3O=-@95Qg%^)IpJM;e;v0AiX_Y4zT0N0UMNZ!AW|^hX`L0;Xo(nU5eaKD zoZ>ftn5@i4l4Fw*_3-<-c2RfneJCCdD_Dm8#6$YK-3|;qp=NiICLK*)5{ohfv4_W_ zt9s`df|!|k>yCJV#7_PGcle&W{%4e26h+^gTxC&4Mb?fLcP?TD(1|k0wC)R>t(-nMZx<8d^qRe`$2#6C-C*w zu9Bg|`M=)yf0H^`Ow9j(G{@S&4;UN>yaFgMmCXm329Aq^LEO^O$(e|Qi#56TUuY5w z3-f<;IMTLO!Ii-H%KkmK6EFe3a5It;Ni9e*Yz+teDOr3xKm@O;BTV9HascQ#alK$d zK_M8b%~-?{d1>^#KGW!}_~T3kC0Wn`4jm>_kszTl4u~nu_(Y8p0=>`Roc>Cg&T&&T#b8K^R2j`HTc zjzMA>^1>#JNEBkX821_B&oubrzvA4p;Woi_QJ!Xg8X5@N=h>~h#usH zy+AwWx?&tnN=*YB173!N1Ba}__(T1P{5r!&+7is+2kff@7_%|ZF6+$%17alE)fVyf z%NvH;1rzj(AjKobq_92#xfCD4g#=4SXhm*52ciKr4-xshn}7`zjv!8k2&WuP=4=2a zSQyqz)W;Smf`A{1;77_r7b*wBsflnB1oXMNOX{Bj5)h^XOz2;sRx8&FBIBCTTS=}P zY`hHIbxMi_AQD6zF)V7bPk98jD&Z2#I^Fe$?-U{RtAk9F1=6(>BJ*E{+|1|vY+!^6 zgCHMu5rx7-HBh(5vl1*vqRm`5Zgq( z78P@cK%BLb_Z)LMCDjcEM?pplEyWI?Lh8$tbVRxVELB`u%;Lf^+)TKFuRFNL<0HNs zM-hTbv~TasOos+Oo3c$eJS;o7s(mp{%U_RgoKv!emT^%%zW^+V7~USbQC&)-PP`3~%q>pI`V4 znN0ZsD%HNWZ8b0j@Xf0F^wzFUMj<>AGc@DCkKseIkV8(*nY?+=T1K{na%8hz3k;g% zhi!%_e`nFJlpnrjn?LUC3LhqIip6)C8v%Mo5g-%!;i&6ZzMgYc=CW=%yuLN(0aKO^VR2eW}vyO0V!fF^7jp{XmJ2q8@Y)re_WK>hAPCK0he*17r5jV(fzxy*#N ze&c~{vHA70kgBzL*LjtK8F5ly&iH+n)TO?p&|?4rT99frW4nfjCO=VM=YujsKOcU}08$V`DOdp6n+(seTC1Rtenh(yB!WqgMX65v5U>x=72dr#%13s8KVM{g)R1{ zLym-EuT#D(>-l+i$mA*|t&K7?;EO!gpf1uCkeM<4OG5v`!_~nH-OHiWAZ8Sfp<8zQ zHxl7W!y0+Tb;`)@$8K4zFwLi*btk2rJw4vvNrpQ+tz(y*IkbzKg`lrlE}f->1`6!Y zscE%IAf{w(qFSlD!dE!*VqF6|X==)6E_b%>FkLm1-In5-ypAj$NjlDByp}35&W}T! z#@f{Ub>tLM`C8_OeDU1S`B5!-cQraVvwe9MugxJ7?^631p>;NQivwg)&^|n+{B2u| zi&oMbEB2;OB4m%efPX$C4}qt9s~mN&8o!C#?1iNnz%`V64$mcq0N#N3OumkqcgVZm zOa+>;>(;Q+?ETgZA1pQVM2DIU$WhkU>dtD`C&mo9mrI{H{tMOJYMsfT z5r|+rK*hzbCklH8LEKjRl(%3;HnCysJGbV6Go}Iu|CSkSW&v1eMiCE?bfsFfFDtduNT*iTk zhCQ>lzX}p;<~ATl|J&2!@&5GjKGlVDt(a4*raO4Cde%#~rvK;_q(*Pisl&e;iDW8< zz-9^9X~GYq*K`PkUMKM4b75^GC;w9B2Z?S4t18#rLdh*; zrMh>B+tK4CPPc>7!`1Y2cuxAbQWJuv((h@b@N!A8oCh!uN7|=Bg^q!hCopolyZ<$^ zj4qm!UD-GK11-)MF^5u>`CEpDPb?zSK7@go&4-^=qMWa_gT`8NY0CqzOnV*0k;-<8 zzfhcOh3IR~j4PfoR9A`BILkKS3r-MkR}!>h_2+?IAgD{nk|0TSb0TEy$)ufTw{ zDxAR7hpz01XUeOcifcU!ftO4UL+`oK%VbNpzzL|eeiz5%Nf>@h^i`V;W<`PY)fd#K zXX7$cBo;yJN&+HOq&ku=U@*-qoP?j2Rn8E`1_7b-4$yDJcp@7yFIS9FA*>pMN0=Di z)j!!&FnF-8!N~E*u!hIpE@2le$yb-x$y%Tx3eiWjuVs35w^eGLZ#rg17-B$S>R5pH9Q)+pM!yy?r_?H_tjZa{{34?} zUEhBYyvaiAr7giSM5qm+FK{9k&a0YW>vHS0t;_N6*#@y?irs2&x3y5v&D60 z5biRv`+aoy&2K9U7d4}ubNZEfsp5TQM15~{yC8MZ*g0e7W~)E9poW*JOC~t$T1Q8l z!aK$F`o&(17bLvm1~cI*gf#A=8b+y8c^IGt(~1WeA_hh`StE=p*T@{{|M{y^eG53? zO7kb|67bo?UwJhXr1~w%d3~a(&S^cSg)&js8Me>K;P>6el(O8D_-KVN8qyT?bi6M^ z_)2#8m<{U#0x{U~7s-PbC-mW$lpsPcZzYR2i2m+2$V7-fL7s;8KDlNr-MX>3Dr^}6 z?8Mv!`5cTm&VKE$Eioi#05V+tzc}!~E+tTTE9NcLT!Lr_npm44wS-~eM{vzwFDBl^ z5Y+}_#y^qF;L32`;lkZ=zq@m9me$rfVoMlyvh?Au$Gdksat{kN5OVy=E3Aq5TF4+| zX2ScV`MbYl$08oK@Bd_tT8TtgvYN}QS3coru{|2S96ddd94NB(Ij(5q;ZSejRs`itz!SHG?}M7AnG1 z^oK=(+flsUe28~~4EPQWsSdR#g=2V)^}?{h#gN4GLqW*%S*iaxm4@lkVyQ$xiS?R+ z5fnIQ{845v0^fwtKH)A*5iu-1(`n(-uP0#O zi%s3N-hc8r>W6qd?{l2!({>a6?J3{e+U<>^Ic4zQ1g_bK1-4ytGW%90_`#dOg zPlsk#9^h(Coskw#;6%GY++1rsK;K%04gF}!a)@DOGdj8P*YJ@;gk=%Kta1iUN5_y* zJFlhIi0`PSssBDyee!-408}|+bo;;9hS?ZX(L;ghjZ8UAxr|MXn2lK3 zI1M@2S(rIkSee;4SowMXpA~uxDwdw6FidPrsd1tIz6Vz3|G0^YZDB$t$q;YoZU?)` zfq7w08h^^cIdhDajUheVqv!W{<6&JhS*=$BmSt0nm5VU;vR zbiaIu8VIXAL;rNjQiH)yNF#&C$0Xm(Tk$yQJ6^3%vW;h;{5<9(m5)@11!7iFjRj#G z!8~88B|1LPr@)fasT>iK%2?47KyVo|nWzf9zNhSPj+-crJ6Ykv|8s|0!va*1G0!oX z9Yo9_*}4%L>PwL-myT6d#xhEMUZ*i+JFmr(MUlI}>l%1Z?24Tz!L#SZKSJrsmB{nd z*Rt+~8qx2y+V$5}aaUsw0*IQRahU%DFt?J- delta 20162 zcmZsCRZyKlmn{c(2=4B#2X}V}?!n!i00(z>cY?dSJ3)fGdvN!ge`+3P>ds47SM~Su z?e4YqUTb%EZbGLgLe~vlfY{gs1>s#>oz0Bw;62w;zW3V?upo9{(Z54Lu3Ke`iwelE z&$^qO*{v0X48SQ|e}#3=l0dH;l_lc8y$Fmd6+pnT3Kokel=>cBF?wZaZN0nbf5gb|GeacxZjy9qu2f6%)a<3W*uTmgE+&tX> zGpsop0uCE2h?{Tp94$fW-?za7@!^{Q4JB>WCqK5Oej$&45zBs0WaLw1rVU&X%qSdt zB9f`J2!TIAQRkQdv*ZxT`K0l#OQ?Z{Fl4OAd*X{?R=ST*>R@iAeyDV8z0^s4G$I4R@?(z;J-{r%2BBCKz`S@-Ur-FVe1 zB~BXNenLboojPd*Wgs@YfkN`RE8`LAa`cXIC4}Z<`hs%~#oaAX|9Ft5Osks$o?)>s zn=-0zCj@JEm?%DuI}URMzEtLrs0MuC$%J&Wtc*Q_1#JW>u~bt;N<4J`ZZK`jU4g-y zP-YTB=MSjhsw`(jkY$E|y_3;nI$ni#)oD5dG`EEq<2KEsPG)XPGj6~Pwa;k2#BuKP z4V(vDhJXF&#S{Qz1nt_NQc)54EZQlZ6ul88{prL&ffniSa865s&~A z29bXoj`*kq`tr9zD71KvPtSM)(we!PM@7<#iy8>lvOy0`*a8ox1$`bTvb=b{`$HI) z0J>{EHSkT7mZAAk$SB)-QwAF)zITo z&kK~b_1SUcHM){1UNx>d7YG*{LBvikQXK$B|54Hi=G#FyS+~*}akiXDXEFoU4X;l>n%>5;;x?DW9SAsMxnR|3 zPrcJ7y_hsNFHg1;UO%5QuTfXGBvXm7)TnFfaUyem{y^?5C=cH#1*oONIkXn zr7v5Z!vPwHjUj{_q6-Z2q0R6k0gv9F+i@)YM|AF@N#y4Q-PNG6MpKc`j3hgI3#()t zx?6rP%wrRnrx{2JlRoKL1>tGBb0m%>dQ+6mw{r+I_CG&R=UVWpDG+7A6RIR+d+cOW zM-xv~ZHnGutfJ;+)TO<>lF}+9Z-eejAFFi-RW%PRujyoYD(6zo0E!FTm`&5x_RAil zC+IgZq-JwsgNmSfIHB;-p~G8_-)!|3L+K55OGYWxVkrWXDQ6pVQ9K5SMy!{`CS#ma zBa?1|i||xwo#))5gjzb1iErFQjh;?|*K>^Q+W-?N6M3Ry)Aw&yz43dNSTof~tNvLf ziM2}u*bOL{H|JoHAr1|n^$IN$LzCw;=nm@to?7B8SYGVD-CA!PO|9LDZ)Ojy!~aTsfNa`Z-AhfkT7u z=AlMqdDV>pJGJ2-%Uq+!fJ!>#@_4JZvb_+L-b3QR(t)DEQPa&MU7p zEjAc=8o=Kw5bAPHd%r!HPd3pm|0yYf&u4x46Nw+X1?rFO9gC%$l8z;|GxlKPo-q;H zt^;0XxxSS_bj!4kS4GTyPZyb9wGdD*U5BI2@QR&yA)l8@StvlZs`0fb_4rEPv2QYx(BM-h% z4#gUBBvhJUO}%KHxe2~2dLrNmf3je}L(Y;rX&D4{4Us8{E?Ep+f1IL>JYjp`hFu@5 z%XuQ?fVm;jvOS1R1;DRfJ?Ux<-hm3p#eLaM8;j4pEL>+mBL~I13<0+U702B-y)4@U zHKu8G7O8~wO5+DUo<76ZhiRbXPXfWbLkmQj$o}x%u1LM|QU*W?@g2_eGBLHkD_{&3 zRTE6_;OVd2wpC6Cj!c&_0|wxku9T!w8nQfWtu!_?2_GZ01`lgkl*_3Ep8sS^@y~bF zrXPntPWDC)jQErd7K=Lm@T<)E;CFl82qW#yX_xWkA|4#SWYH`cT{ePXFWpqD`SblLz~PF z|0N)pX~>`)r7AX?QueYMwe8h7YFAS*S)J8L6KG&P)v;d=LB8AJeI}x33p!hfMTC1EyK7KhoTwG{piJiKiIj%`8J9xTXEHLNiC|~x|XgpgN$CUU>M~(c@z0O_0oo& z`IuE0dF{>@2d`75vDu-~hsh3g4D7sN?%paLXQ$uqv{@Jl8EyuRIW3uv>-FS*tOpVI z2+%%etDZ>yC07R|IQY{}O#7#Cm#CmJYu9+~x@R7k<|bmq26@I*=9=GhF1ArtV4;g_ z0Cvf2n9xN1%@Sso^+bl(b|g>;EMRt{suusi0{orsw&!sK$P0=mbjX)OTVZppp%2aiiSqND)kWT$ zcoN&v#@q2tDLgVmrpR^&y`^nZraY=sK&0QZ-BMlR+&PPz<6T0!>T9qb-cPv#g*)_8 z`T^(wjwIGA%2ow9fCf0clcxaa1;Ml^0r$U_xLW%W0LK7Aul!uW4=4rfuXA`ad(;0` zHUDM~#@6t_BvL3!2yPa(vq33lf;u3ap}m`A_f-)*sOiJjq_h!Nwi-bVQs@Sz(Qz5Lsh@p*E6)sHNw&G8 zv}2?#DhRUf*Z43L=)r6Nked_d{3?Y7;fVEgdk*a50>N{~NXcoH7>}24)`%B7937BZ z23(GjMaj4yo=EB2rBzVJu-x_!TgMKyJbo+yV#6hSveE612Sm)Jq7(GX!5}__^UVY&YGs7e!r^3Q5Z|lJ0g`=ui zm@UK~Z3E;ZLTs3*jOLgV&Gm)(C+FmksgJwTUPzFqW*RIcfV)-x8z2~*=#BI2W}Z2U zIB($pKojsE8Yv*Sc-a0WA6$@3Hxh#n%^LIxI*x6DlILY zsKMp<-s{wtj+LPS3BwLSjIa4uK5p`F`bPhIY%h zzk&7RsZYz5+Q0Y1s@Qq7i&8jWBD?t14m#~5na{pOYPm>k5&MlDMXiF;|MEYv8e3d; zGrRhIeoh^o6BmD4_GI6jAqKJHtz>J?9{$A7kAEdaJnDMq{WhF379`b+x|%Vz_(h8j zMZ|Z^pd1@OLDnP88wGhHQCuT?*d(1cM^)dcrmOvEKB{!asNrxs_GT`JYAgV6t(?U) zzJ(s}pBi|fw&rvKA?q~Q7A@fEOID7& zLeu$7FJB!_BVB`L7?E)x?n-X+h=v`UN$xXW-caD}Bwz2m_?(sv#rXLCC*B@uaRG$IIiuCn}oK^6=%%6w~#p&nUd9X zEUdWHqr^ye+_$Q@7);j=!{$axO0nf)zBSGsMYst*Se3HIt>(J3cb^P3ZwZbtHURti zj604VR;ciAiZDUBiHpAUeLZ69f72|lQ+Ig6TbKoVa{fVjP~u3RIEZVrue-6DNmGi0 zrx;b_I>gi2#Dbikz3WDz#F0*zRlRtZ*PAsyKn@dh!)MDQ zQs|HZx$Hc|Rh}YlsZej=)ou{$+I4bi<)En>xi}aQnhd(Jy8R6(8lcR8Lk{(lFMy8q ztM11VHwpPg68)Da^N4Y?pO^;DShZdKCzJBxh&y4KwrF;_gz5z2{n|NjhS2{@BQW%}CI*0-& zw;{rnDzN0$i^|F88%;z)A5aNG=ga>GUU<^}r6|gz%^T#_P;5X5fM^7>x%(B2uIGj7 z|NokcEy?MLGEET|fCs89rcuR0^`x1FK1m(Wo$Gi0D^HmCMeKcBq!5VAh?sbrAVo;a zn}oWL9+}JEi0;7QgNBT^+pTp&ci-{_)s^iijdYRbSjet!sb-h6&}Gv^Mf~v&!nGVp&9-5cVWuF%h>qJCnY(GDFPQ?=DoB@Zz0~Kr#NX2E>^t3 z>oTxMcfmdAI*8izO zn>G0UW7%!}w`I404r~8!3&v9SS_*?M8rj|c(VOyjl=b6Ij<^=?l|-{hvfj9NpEH#L z@XrExNnEg)k;)kq!EEynE@FLmd%gUl>r3L9trL_ zz+t$mp;47%rk13T1!@lwg0>`7&Wd}c`o>CX(% z=K4{UCji3GsjDgw-t%bSW<+5tgK)~S?a2PXe~bfr3Dz{NrXiy)xhP3BkMdmy(>R>> zVlc-Kq-5>7jy1IcN<}4S=R(0sPHD#QAGKjZa-?^*KHu9N|doqtD zCzpmy-pcV6BsWnhJy&z|0@D`%JK&F+iH!%1a`7b=EY@>;yJO3!xSq)DoyL~0l6Sa! zE8bcvIN(0MVTlD{D^{>4=K4_1q@n4l@i7Nn3xLB@bNyP|Y{lkQhw``~v40b!p}rVz zLy9xl6exrOIJ#LyQVCMmryxuK0-oyj@Ud)L&!`y(&AuPSV4sM|Sul^Emm-WvfG=~4 z{z=FBC~7~+wk1paQ};JM4rVVQgtdrFozBMCN-2u0Mp1vS>3t7VQCFq+pcrG~bq?9+ zV@>N)ROM2uG&iYirFCoZK>Dc^kGrF@k}+zt1f$t+H3D zo&z)}IZ%#*1pz1aZLyiZc@s2~dI4l7>ojR6Ww;X;a~z3{MaN( zLVvshFg}WC<*%T>Nt~(}1Keup(FOfE@nazsvQO^ZyUTZXZsHkpJ@Lo&^-Iwx9Lf2g znHOh#Xqp`{RO1M9ahn4eU!CP{GVafF9eEexWOB=^rFVHtsvWc2R?;9Cn^d0W*r{8` zAquxAycJ`N2VyAD3t>G;9*&DqrmT)i?P-t z$#JFw68w6;kW!hk`!CQceTd0&0fL+T<%^tSTEj$^beJ@}T5>*kQ%v>JhM z?RAwfwP)Z2K?|N*-$?NfRT3n8^hz7lO7{8zmttA6H1hC=o*=C_IPWtk$ZmK}wV68B zdfrh}H>&$8Z>R!vcs260Ge}XUNVxXo6So+HFo=YF14oPnO_LwU@T{EZ#!KlzqVm7h zL;(8V!?jJ23!vtb;4o7N&^ayTCF*&P^0jj!77PB3aGQ%K&7mDzLHPy~ZN*(N>mBx* zw|A26l}|>e``t0iR_pI`v&W0>OLnDuZz$TPpE+sGc>fT?!N&8y5R;Ai zQr-Zu=#ucaxf5Xog1%G^M#;(OH2W}!s~I?+*}BxziXOqBZ=N;{(vd1J?VXPYAxpmT zaHcl(>dIa?x5wyvXAPWBEu4`lNo|KVOYMi{dF7TG=8cL*=0czNh1wOG3KC8~tuGVs`T1Y;8j~JMzg4Rs)OskEK zOt)lejQL!?6BQ^2uUO_wfSw!X_G5|f#+R~VxShrQW^X9Kz`|kS-nX@?{=DY-1A=1c zu;%~AF%L&887Bar9l-Nn+H@vqjIBwDHq5$}T!ri?$JFhcoBf{FzLDek!3VI!e)-rQ}i ztE=0|->RcqEr5>l^z|iExAob2;mdRlnLEClef6{V%D4AP+`qlU7(C#|J=IqVNEdub zX}xZanUslQ>*o@pkan>wQK4hk>152V0pOBD%7lP?hXz}b?qH;&Fye9`=&}Zaezt(M z?UHuDu%AU_DJpi^AxsSAN%N)GVCzJ1>t-kR4KmuXA2OZ#k!|G1e*Nf*f8QZWDI9l#do}f{P@txWYW1? z)7oQP2U+EzkTKTJsDXd~T35cpVGDf}@_VSOes#rX3Pv}$JCt!a)o8LFGo85wS~seC zbgK{e1HYbeMPmx(ZnVV&B%;NF6&PZ?tA&9TGi>an1)dsCX#{V}l^R(B=hgR8o3SDf zb6=ws>5qB>3Bk0kFRS;dnNBTULt4{%WA@BBM>`OxyHKew_02h zV5s^$YFli)phD~fxerR3JJLQ49bnZxEC3Ys^K5t37_QcUwdVBcD_Z!6#3$r%% zk;Km0#iA4+cABxS)3A}TG}O~)$kf98(t$&yWa#@*^J~T}kI||))|F};FXNYTl404< zAW?zw1-n*1s9j2LPq4rjS{^$sU=NXV*7VehgGs6b6|PLd^3Bf^z6WM|4TKAS`CAnI zJl&OiR^$6(pV~|xLm@Oq<=vf#IdZoN&lYa|#{mbto#fpt0Y>z|j?V!Smq;E=e1Ls4 zOsj-l(8adfD&*T$UuzG#v&#;PlQ!0@`S~p;?;5=y$k!b5;V4_ok?8)V>&f*L)7KOR zy<&05Oghn8RVVYz`q8(o>CKJ9hiYI}&T=R&sQ^E@N#u!b4Whwv)xPZ_0<5MH-Y8yV zBW(j6DE zmYoP5bm7qd)A%He<|HQd4+PV#~DH8P{<5Y2ibb1Gm zGj&e-UaK1!r%IEY=Ek%mOt`zr4eM*c$%jpadTF|tuIw>m0{3~1`Aq#agQ1tk*7-QO z(J8f=-oA9IR*tGq;4Trm>BCiI?18w2kK;TL1drtF29HL5+iyy9#@EpMd!&kd%uM-j zCba9B0LSWwyIwwBI()P(Z~PR+gXPSVbVqcWPTZ{RN5CVyn$*>na4PE+po635SO+hdDifwR>PFvX4X^>`?rYef!TkzB~-!3N}9r+vp2FelOl_6UdPp*S`ZhWFRa0bqs#xj|CI+LpQ;IaNW7; z^(-z;cc_(z3Q1>Uo?oAD27l4T>q=N0m738|Oq?YjEmd?#_Go9RG00oA!zmt3_fj`e z5Aw6hk)SXV0g2PeaJ}$vVq^&WyF^Gd#m%X!r1g_PSE-Pbe5 zG1h{QidJbLL;Bh+k?%WitmcP7AJG+iKhiVkpeWT5^+a5;F$@kvM&Z7{Dc2=DEp2I?WpuEI%A%2AVL4!{hw5Af0c8M|W#vWa z9Y33}&faX6?cKZAODumpdbndPeLtAARz{Tf*2&2$olgE+K32ulh`}{$i8(M7@w(Ct z&&w{AfhzeM3I#tC$xa;@`d2kAjiZU6xCcBb8POFNhia?EdNetrr&N(xVAgF#+z?|k zq~-@v?T^wIyf{Be{S#*-&_qoFR~s<5(}A{6Pypg1qSHUc;}7R4tD7!uUjFZdD>m=v zr0}k> z4dkiEC4R-OzZd`QL24rO`D&Q{OnDORN1tH^=`Sd)k?gSRrWvmMb`%Zdk1LMFs7bZ< zRBsSOnHdiDa6P$y!*x~zdrE54Ud6!vt@~>zwAlCUT*uZYY6UtX;Q;JH=8O7c^W%W9 zCU~1y6iRUtM|^;@4YZZ6X_|YRI!_Q^nO*9}EziWwn8$yP-(9nIUPV-ZO^ZWAPXo!;XbeS9sI`TlfJ%DXix?`czMusm@NHGM82 z3(xhIVbG_D@0HSdk=ze==4#-qp@JZBP$iGv$FkN{rE*(dt#5{NmZfW3*CAwEmi#Sl_Vp9aI>q{r-CM z&~pw{zOJ_7&mh2Q%*UGA49}>i}L~nUv`MH<@dZ!TB8WT}@T#lQXZl0Uq z7rQZ{*MQ%VP*blh%ANYFvkOVHvF7y%16&AGDOOl!B=B z3EqZR$TE}9JnJ|Qa~U_mz-#F9CpTlZjzlo@bTsBG}NdzRq@VR_KX5gD;~R5MbA(R!y z9#BFdkzuC!CKYH`LBgwyiP0Mbk6a;?IYxsVG?|lV@A&J6#kc82>qF%1npE8peI5g` zWx|uW_|WOh`0YC+%Z&-?F?(VRWmoeNQ)s6!2MD|<(a&U`099^0q9ZE*RKPqxa=BXG zfp@7u*DxSxp}#h}V?3^qGxm=D5kY3O2!}0B6YrC_BQj3se0hozq(>gCQJ($H&Ck#>T{iUZ^OAj-Ghlir&Y8h3eWe7{;oe+K-V5+DKB%mM;pHFjNj}ZWXxDu6V>@NUWb?&`ERJYAEH~7wof&F%>Z=h zAP#=9T4LA39ArizNxHBi$wOU~f=(@4m~V-o!hBxAIzDI=ouAqwQ9+on3&t(m>7uYH-1jQ%a}5pA^CXIfW9KB{sgvH45ua6mIFln zS!J)M>$mtozarVmfch;bP{={2*}VNT75zz5f8x)&A)s-zFHfs}_F3Jka&n~FJFBCC znL1y#z|A;G@9E_3@;L&m#NiH>VWcJMO~$| z)wFa{F!wsI)`J-}AcTe1Ff2yXvC7&DErPlPNdOJBW@P}A_P{qX=ix@19VaZJ*PH~s zD+2UsIg(&VFIa_F>^Yx^c86N+-G3)uAk#I>5Y2REr?b`H9T@ZrO|FlD`(tA_^-0&t z;ZtJ_Mfk)1%}3)$eJ^9vC|_xwBGE6U!uT;(uVrJ2_}N+=fmB z5Z{yw1I%nSNa*Qu5id4*P)CSYXLG#jQ{``NQ`Qw(#6h4(z)hd>)m~lPcr7sExVo8e zcVU0IYjY*l9E@U>bN&Is|fBrJgz*2D}!tw0P3mka#xq*FWi=r24E>6 zvg7P~W_gr=gvo1v?07=n+>@CYK&h)J>x}$NO53ge6PhXZ@ouF=|9t7!N4KK5)c9z{ z*8Wj$&N9s1E*L91NMPZYUmGQpV%fwKi&2UkT-dG$UBf(!i7ET252i4UvCRGb-m!`b zJG&Mp;V{~b(-=Cn$SWIfIqQD-myrI?*QCI%aA)XC5MJH>DwV1Rl)4o|&5oGf80LTk zgv8esDf73_4eaNaH8HbI3?*D5YJl!Ay!FLoi2IjFvD%IIr|iK>r>cWORGOtf6LU~* zh%EJ;@L}3{Oi1F9z4GWNt76pXFv{M7di5lY2|VXf+uni~jl+VgR@m{)5W}+_BT9wK zOwzyfr6s7NbWfjaU^%f1;KaH)e1miUjP7uB3%E-dkGMg7*1nKwDIC;R!7#4=0M}|K zS(?9v@;Zn!GkaM4iIK?A&BUCP8-D+;R=@XR))5FUql#VkuB#oVD~z!%t_lMg$>`}% z*Z+hR*_BZW*<6mOt884I%2A?0ud0UY6wsXjqOQHq7TT5`RNwgiE;~;v#(CIp2LReb zUP-o*irRyNpuUIC&i>sL8H*7WlZZduxcS~l{t`(LFIj|7#+f;4GczNR%5)+sk^tL` z)a7q+M=+ICjD0uP&qtQ~L09RUtUl`tlX{IsjkARc%6zg~7`;ciV)$pv18b#k;mwRe zzIUlzRN5Lln~li^t|yWcaA#B7=U-0gR-GE2=Pjlp?Vh+=MSelKJ(&tT6mawx(FX}*i7&SM2<*MNFZ-vZ!rfPxrO{r zUz@Tqc8@p;C_qZdnr&=sbZ4hXJby$pXvo=>>e%S47gY=P8w1nGpmY;ehk0)G>ZRiu zWYBFRFl^&6{*EOyYDxrB@}P-Cvas{e>&GWCg`;0$9vs7)wFe?aumqNr_o~AZlL2+ds0dzQiE2gWHDu(LjuhvAp`Xal;bnf zsD15UZoA&2#|X4XZe1TUHV(B_Q4X0VG zRW$4mgs{5ErBZXUL+XeLw8ujC;SOXd(6nQ##5KrgNM^{H$9#4@wOB&31n==U@DHQCk=VSV|&WkrQ|8uqudblsY>+w z(?_{EJ+7~L$`Dr~TPKL7p{^s_<~^MB=1bQCxvL{}Ah@@KEw?A$L1N@yKf|jJm8UOX z#mj8wqmE+%7L=)N)-UGw>4@;_CtZo?WUJU&Ert-VqN);u!t&o+1Sk1xPEt^1cW3_7vUpXvEnr7Z z&-|Q2e2z@;nEcFl1avd%)K&|^1&;u}xlM~Jo+Syw;T%C_IW}f7^1N@iJIJ2sNXyTs zW+1=mw0*rb6yn{qbAJQ7`UCuMtrX)dSRq6mI{o~$McLRvs-`Nm6#^}>1Tp%hsAw!> zVbU6`eZ;i(Ft14ME^nIGj~aBO(zmgXt;;|YPY*HG{K%?{8+}NeMwNc-^A;iOFyaM$ zOCfasM(enwA_Xyv*Bf+&oAJIvF8nb^$$!sY@YDUWAuPJ!N*tU{#aAZ3Y^F|e3d)2T z$ZGl(7pz-TAf`;}&S|QLMZd|pmaP@m)37M;l<}L*+tA8Fg;SzaSQj+WivG>m$KMW_ z-(`4)^vV8lX#%`4J1aivZu_e|_(sh?x<(S`$_cKk{xQ|ll3OJ3{Nu&msUbOoaTO#R znm2_4nFhsu9TC^w-`L;mW0SF{9SV?ZPX+T=lHE z!$IM>o-KD~WWl=^mP(jf>z>N4wz;;@KpK=t%iM{~a>RQXy%9qG!29}jK3+OLD9IXP zH5o8y)4G)WEh)iYfD8JAfcpYZz6bQXguVBO&($Dj+<5LR-0WO4GxA!Xp+Dh{5o9GO zVQ|XpVvG8OoT*wd<_jGU$x@=}Ra`Q+?ZR9Blio#W&;pA!Dotv{~C{9^{e%I_g^zQV;6l2Gxz&o;t0|iIAeY|xOq~f>2-vlS~2?xa1WHkC6J#P zjP2!!9UVfJu2gfndzH+>T1iapeg)!r@p@M=z^d!aesr!(3WoHB7C3U!=DT6`?CnnI zy!0F(TYF}|4BXgCyRc8`=#2C-U*3FKYf!^WYn%< zNTXqyFlNKQ>?3^`Jl5v-)C3jOA5-6~6nb^Gmio*tiay@1Z8t3EkU6;e(=*x9bbFkW z9VHCQ-$$xe3gwBCz;(Q!u+IdFi33n-aGxg(VxI^TBF7vl>Cvbm9BKO6G4zI!M&`p_ zq<(O$*>d@V`|N?$N+ZC_>E-)Dp2z}bGa_Z6vrhiKN;3FC{T93a779}Q9@I7pbLLYb zEMx7(4DgV^txHi)NGpK&i1!#)Wng5ZRgnEt)tXKdO{g{Ur*>MT3s6EM=N1NWR{>Br zE`X02nhcR$#q(iwKzyB5^ng|7j(XArEz!3p2TqVP%5re@{L#^{G1-6cpjtKbNYa4Z zY1rm?=4sHq{=>-B%?09)6N-1HFe{Jt5-z5OPq#WbLft)Jh*v+L+>%3YTv%_W4Gn}% zsG$&qSf=}{j@PiMvZ@vLf-srFmch?%l%M~0?w7uGXuRkzBDAxZ9HgTm6*bn}h1`aB z;r?^RWA_reu_15@SmAuAH~VR-4{ddhGMKV-e;q= zJ>$4rofO+*5Y}mnl5EK)MrP=#oO-C~#*Wj-yyVU86 z#Hl4=wYfXMpsr)>v0L4%_qF)ID+;%-{d>J0h`epmb1AThY{8jLVd%iix)No0&tF7N zi}~8E*CwFH_X^SnCWE=uN5r2M%X#cVrB+P*x;6J8*9P?vD-!n$hTmOnCud~jNOU2< zT(R+`Q=$_WVKquXu*8(M)f5zt*ib|7c!zDT?p#ZGc2u>j#byvbK%~{~Qrp5ot)pkG zR;V?Ii>F}yh^WRb6%>F^<6S|G?N2wFmYN+8Y25+z{05!grx}q3ev{`{vWKRm`eVyN z7p)b6zktRPt9cA2$oJ3FSB<=*>P|xVQXYLe_4na(^a41hsDDE(?VLkyop-@>ps|3f zgrZ{O%#f9lX(-+Ce!$p|YpIVkHD8rxL!f@06YKcCN!68)fnlv@t{Hyw@d2Smd}%C4 z{?^m06bgFGayS}z8KmA$f3k7!*hZ-qr}lNmu2I$2&7|k0?-*x&Cezt6cUd-afX(`o z7Li^u5>KG1WtUKh{0^tHl`pD9Hp{ixs5#E`0x(N&}?Y`+k@3N?xN;8RW_V zW&;Hz+HCkOMo?~RX$d#g{>iMX-$g1R{iVw%@{oGmhu4WVl}O~noPBIKBRsF7;f~s;LaTtcpP*n~3tlcK zIm%YZ8pV~M2t29hcWGNZMY*Yx1FTwerL$jQg&HcuVeHlDo zebW!TvjAZgokVSxxxz>}X0MCO`u%x9n%rkZMt7~>DQ&IMjGYu1vqg(0gO4DfP4K2g zHR&Lf>ho;U^DOa}ot@{SaCBktGid05p>C<^w`~=H&)2IEBeLNU7tAt;(@vt2<*uE5 zUCh>am<`ceV8$c`dwFy!t$FUdJQ(&s5DVdv7)1RmH%J{C{l*%j-?6o7qa8Ue@&jy| zs3JJfh9&#`?>q6<2hP`TK2{K-`zVKErqMPh(?u}g^O&zz@T0oX_x|<~W%nZ<1-qU| zs3R>e`KydOG(73A!b)6e3CtGHJYqXxZBo%@>Dtem`RWM1aYvN%M(@mBvn5EOYd(8r zQIBf}I|37KNS9A0en*-t@7IfN-w(AbQ=l(BG-;5!Ospt9eA?ZPUO4CrcbZJI`TB5J zE+j%+=SWZjaeC@7W)Q1savwbBS*pv%0;RDU`pz0mkQ2%Sas8?7@?PLAiA@~MSUhJZ z=_5`H&;NU#7+Y5aq<(6wY@>K`15*B$k!u2@-Q!Yh5hMmIaeLY0y5_oL)bb}OMh?m2%X3!?4GwIB)oed6Az zP0t%T_OKt;eoU8lY#;)!mb{CP(=o$(HUBrnKk! z>i53yF1lS|2IDJfwG`7ff6kCU3JZY`6=j`E(!B6v{H$%dNM8ye*GPWEI zMsCf&zpUXcyw$hf5gDv6_UV_a&tG4|i-s>Ls}vV>;SoXBF46&exTF*A$QU8G1XQJy z*7P3e28J$DUc*xYnoBi({cO>$Zxs^?mlicMd!*{d!no4oYWd{ zYH|@MQ$FzM_AB=-u2Gf9tDmr0M^J}zszmDZv}XduS4Z5;Q;p1bw5UGb_<)v^;TeI; zfd%ejB_kdynwS$#ot%3@aPeMjmF>#KO?O_$9tJLxkTHce=z+z#WBC69kAAay~C$+wgA0f~T5!ylQ+P8b94IfwuK|q5jIF0nDzx1W=@4tJ+-(^#M z$C&y-NL8Me8+~@9m5ed3dR5}&T&HkH&%r*-oBl0%t*M%d+B}icN+rRC@^1y>@D=7C z3%I)FQ<4VR>B5-6%6hyfo~mX8v`_pG_if$LuFXf-))c}h-_G5^0F|PYLC2-5_NG+i zePUG@3a^H)F0{0*a%w!3_2K_l$azMy;dp)Aj#8!ejNPDC#H>+5jan@d)Fz24Y6Uea zYL_BLjT)s&s8xGK)m|Y+ORbbzQTx}TKl9)7oafE|JTIO%_uLov)%VT4=kxuZOKUT( zQ}!yi&Hxio7Vv&`H7l6jpsC?!4OLpxBVYha5^simq}=uHE3aEU$-$&H*GAVr#}bPN zVNZR}hK@o;Ye&eQ8)sCng~=MH5@wTCO(5EeiR4%H!%IEa@hhk^(n*7K z6{J3=MPd{sHux>@K0(aJ&VWzMdm~Hd@N#4r`<3w=W4GB(RsdF-H=LW=st})7JSzrxGf7a_LfryXLh?RW=i!myr&G&m#7t_)#l+?b zCZ(>r$5mE9U?ipjUfid*b6Z2`e$V>-Yy&emqH=Vt^&vo7e`@{d<0sy+soe&g_S|ZL zOVM@1Zq6A7-aRZSI1w5SX=wm;{xG_ zx(IBL}_c>Ii?1%#QB)cG#XY#?E!nf$NC0<(@$=VtVngcn1z)X?7wjxI zt}|{|xDXwh?^l+jJf-i*4k9wwEMKXxq+_H0hx=sP0x3b+SS+Pd_EOzBt4h@!e_ChcWT<^R6lpG1(VL6|slT8HQPc1QQ5h zQeGd}06IVW1zR9oXQLwkS=aeLTYa~OIUK%}dpcC?kqKI2B~v$1in=RZ}NGlF>2tlgx=nA1(YPy=+NSL7b^$GOMp@|O9~*f8p_PZ{2PY_KtneVVf_ zqyv@Bp*7!&EO;19s-w`Px+UI+Bv?X(Dq(Ch~)~%{9~}BbEl|XYH*r=SldU`31I7N4`X)6Jbw56-mjH0 z^u()5$%;h|Hn$^|)Q+1C;eoB;55$Nqnk9Fm6Nl2OawO`5O?GzJ=NtnevCw(7I2hpsRM7Xfm6vn5H}q3D!u zJ}^UOGjg93QvH$8YC)ubfkJAh2M`+R^*ytCANga> z<98og(Fr0@hfyfddZth>2oXJ%hiK*=QQ~Z=&E%|e{x%#JIkqH5s->88QPXW5wn8S# z*C@m97Oc_AphjLzrGmhfVtCm!NTX_dm~ia8@ys0c{PWfqUQ{SDcgqdp9;N`f5GvwK zL01C`B9v*o@@T6(j2P*!Bm{5XDc*ISMW(=G;guK>^_RVVZPw3CH(8MD%{b<0f4lOI zrF#OSWgk>XS?-67XD6*~h_E_*q7t9U$eb5Molhm>!`y|1iVixA#lpIrlfiBl-7R&eZE2Gp$ozD^o6b(i^0@VqJ{sA z1!3q^C-^f>7ghh5`me;W>u>`zL;JthCSJAAnH^sQ=I@nFo0GhA229glg+?_PAJ0mE z>hid?D(PjC>@)gHRhYiBqpip2Ml3TQRh6EUQ6@r4GSf=RBa=+dI7e?TueDv&OM<@A zhpvsQ<-<3%N_XvpLIX$-Vjt-R!7r2qrZIkr|0-uh0Gabfd7kfkHPyI}T_SC%J?0kt zAChjngX68o*Dvd~nuR>AAS6U0)cl^l9B~Z0c57Qs+ z$uq?l_9eNhVo)5M-nr@R3lVr0O7AFc|1`M}8%5qOcI>hRcL&`qeO~;4scq=M5yjktOd;#P@ z3n%xH61bM*m-tKxYrsultoJq7_u7QD`z6xI;`e>+fVp}05v;H_7&JuNG~|LdE@D_$ zeXV2q^y4CTba267I91+k=cC^td7ex_Qj4N?nTVA7hk*7zdEfVe6W~7>s}}qB?HdZr zhPx7O;wVu+jJBEv4)QcTg#%lT6kU6(s+A3n?_=q=) zX2Caxq8>e1dUsd8p4uxbBUPTRIZnDHKpa|JJ=#>7M`Ks@a^PZ>`h#V>Jkp1TOkv|!>d=1RlUHa?{Us@gLoB9Te2rG2^1abq%^j0jAR|D&-Vp5xP0zT-01 ze~$QDKi87B%uXbGX7e)qX&ti0WO#~8x6-+8h+ZSvC{bK2avRs}e=L}x=S>Xjd(%rN zc@(oa#larBe1Qf5YDJy-S*887&-vOrdeoqk$$7tMp#wtwHu;Sf90`LSlWuyfj5R{}`90RO&F-jKBX6ZDuM#k%D5iFeEc7|+`Aq#3cHHNe31iu&g zt`bCHoHLct67Fz>>)G?*_N$ehRBIn|Ex7f%)qzap0m@=Vj$#}((X!1ZbXyZNq*XVC zCig+Rv~l$9x;Q3d@_TRqTBI?1qQWnIG5v*BUat;R2($5)()<*BP9kbPt7#&+DlzT> zp}h)FNh1aw`hKlj!tA(ntM@xz79dvkCPLa41Dge7G3(8E!j0B%Usk7Vidd7_S*Wc- zA63$PgubgXDer?9a*LMOQAs4m7#dxJPYH=Zp>K5*vSm)OU)WB`DBkqgNCi0Pz{AJx zV5MLaL%C1h85^EV-+EMw*VrR}ItCt)^-sFA3+uMiHnYCD9$Oh&=kiYO%@O-mO47p3_i=m2`E`wM zOhjylY-@9t*zqKE2&P1ZN#SL-J864FK1gQdT$=snbV*&EP%{6&PMu=*ohnLMIMP)G zsftpOS3@9GkthYEB1A<|RbF0ISy@q81p)zUY5czv4swypo)?9asn=q~MUz zeaMG_$p6=eA*D%mIbA>gfx}IYqq4?)sdmOE51Q5!a_^T5!z4^NTp;icc0TEyePN{g+NhT!)vt?oL_gr*Pz8hVJ)3Kz zlt0v;h>QHH&;84;f#MO2&2~S}hR+JSjBjuIC-p_YhN~H#R>EEV6RsE9y&QE>SX9NC zrld{E-QKO&9spLW)*Ig8xqVH|?3NV#&KgawSAKrxw1TL^oSeaW0xCZ}1M$HR6o6<) zguNhWgkjXeR&qP)K1p*Kos4XUoy=GdU%cC84LNY>Fahq(JBp?{b+(N2FAHWT$+G=l c=QRNB;*Wmjk3{`dS{@8mWDpm>XRgoiAIVU*G5`Po diff --git a/presentation/main.tex b/presentation/main.tex index 93f6a4b..5931e2c 100644 --- a/presentation/main.tex +++ b/presentation/main.tex @@ -129,6 +129,22 @@ \par هدف کاهش هزینه‌ی عملیاتی در حالی که تاخیرهای ارتباطی و محدودیت‌های ظرفیت رعایت می‌شوند. \end{frame} +\begin{frame} + \par + متغیرهای تصمیم‌گیری + \begin{latin}\begin{tabular}{c p{10cm}} + $x_h$ & binary variable assuming the value 1 if the $h$th SFC request is accepted; otherwise its value is zero \\ + $y_{wu}$ & the number of VNF instances of type $k$ that are used in server $w \in V_s^{PN}$ \\ + $z^k_{vw}$ & binary variable assuming the value 1 if the VNF node $v \in \cup_{i=1}^{T} V_{i, F}^{SFC}$ is served by the VNF instance of type k in the server $w \in V_s^{PN}$ \\ + \end{tabular}\end{latin} +\end{frame} +\begin{frame} + \begin{latin} + $$ + max \sum_{h=1}^Tx_h + $$ + \end{latin} +\end{frame} \begin{frame}{مساله‌ی دوم} \par مساله از منظر \lr{VNFM} برای \lr{scale} کردن یک \lr{VNF instance}