From 9f67736787791a6a895c5c45ffb0f261d25136f9 Mon Sep 17 00:00:00 2001 From: w-feng Date: Tue, 16 Aug 2022 02:29:12 -0400 Subject: [PATCH] Add files via upload --- Lectures/Chapter3-ILP/OP-Chapter3-Part3.pdf | Bin 0 -> 1443329 bytes Lectures/Chapter3-ILP/OP-Chapter3-Part3.pptx | Bin 0 -> 3955968 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 Lectures/Chapter3-ILP/OP-Chapter3-Part3.pdf create mode 100644 Lectures/Chapter3-ILP/OP-Chapter3-Part3.pptx diff --git a/Lectures/Chapter3-ILP/OP-Chapter3-Part3.pdf b/Lectures/Chapter3-ILP/OP-Chapter3-Part3.pdf new file mode 100644 index 0000000000000000000000000000000000000000..1208da054b685ab7391590b807561539415fb366 GIT binary patch literal 1443329 zcmeEtXIxZGv*#cPNDz=HS)xdioIxamNK$f;oEga=VF)4_1Oyb25y@F{2FX#8oYRmb z&k%-z8D@5Tp69*y?*8_}-S@X2_QN)Cx=)|(>Z&?beg4(maOx_n@(T%w5OMZxpKc!% zpMCk&H$WuH`j{1H<3c1W%PRQH-ow$yiB$|+rOzs;>g?uY?}g3XtbOd2?QMZ}_N?;q zMBYAL_SWu10XPkx%#s-gNu$<~Mjtvx-l&e$x0ap6ZO>UMI@2Gw1wzA zK%r;oi);+)5(MfZKEdFOy)=QX={C8SE$YI6O@diTpH_G**P?epfegLTO{_&P3a2xb zDh7YO5BI1DQqdc%Jt%WXq3Gv`53#uG%&2IyDl;5&NE>4#@8C6&uU`J}(Kq*d%yXq~ z*M@pA0WTAJ+1P99o?U7DdUo{*-g-zIXCpsgasF_hGcMW-WGpfw4|}wCrL;z3U$*q% zaIr|hR!nsPbInz+eP0GWT2>xC{eGR{_iOL8hke=Lo}D!J<|{`8+~Mnh@m*g*dLJdJ z#u}buCB|2D-+u_F1f~||@hs(eyf1V<(R7$z*Iv0D%g|0zQ#ry+5WpN)s>pcHLX(Fg zrzhQIg_Jvqyrruxc_SM{t9ncfc-cK|8|N-jmOH>T(3$`7;ZfCIdDRyMCY#TTH3_yx z(M%)v4_+CM&I2;)>mT*5W)F@=>I#zhzA4bfFf@Z&N!zHzjdYB&zg^8_7-hQ#A@~%Q zJsLL#U!Qf@@BYf856+?~8^0TPx~;2|#o{;Qynff+qe;4tfhf20 zDy1$d0`%r$>?=l0i$PqPfzOZ2M>*J2eTOtk{KJxN^bhZIli*A48Ku{ir`!YL>~j+# zij{;_;vsx*Lz;)IJ}3pGs^^>{78-x)XV+WT6lfYZ%0eERF%LPerH8mFKlcB1c12zZ zUs?1ir!tNI7^EWi>%KSsWu@aaJo#?dWj)E`hL27%9=M9UOnAtMkJjfei-h0e6CmA8 z;d7PqN-g~Jxu?f#bV(kg;zXW&aU!EaLgi_Ahf9V>S2dDG;>2Y7Ie}ktc~}RIZJ#je zU3sUFSN9p3v))rz?4(fCm*1p!BF6z9)eSGXhyRTHV0^XMWUmFXN?$=t+*3Hchze8` zh7Pe(8sG9pvWgk-MQc`awXl>MrZMZ}W=hZSHvKB=IpMFXA!1N3oa`~<*OU=_sn2JV z;L~@jGObjwq|0Mg-&-!PVxQ3~)yw2mS$`P~G$MR||3=1_G(l-$?r3O(glT2S-FEIt zZV&ze`!Igp$GMl6C*NB3(W=C|N%qRG0<_Sx{eHn!TovU-y+Q%Xw_ zD1V^}bAMi>_%oyQng8>8Hk~ZBx-kg)NqP58N160Nr+;$;Qj_y1!b!KqAT3#wgETDu zDeR#Z-?t4^NX^rXNtO}>W=U+wGps@gN@x=O%?k*ALZM!QPq>`L8ITojake8{rF~d? zw%W|1L#!IVob=+g)IwD1%Gq1wPr~&3IzK<(LApTVffv8cv+^G$IMwB`1H6WifQnTA zP*vuo+NsJ;SC>xL_p-^D2-9EuqT{{Mz0*Uq^qqlB3qP7qIm5#d5$tsAgJaK*0ebiR z+P|424@ar+W}n6xfgP`ZWs%=;7VoIoG^07yJ{&9{|7`MZuggGU19P=Sno2tq~Ik`84LEUXyokEwJHbNafKl6!< z>3$XYUb!r9y2zxJYz~}8N5n9i(dkkhl}a2XqXz2egx3&ba7JLWvHonFTY zCSi^pBm6m2f2EY-J_us%80SrW`CyD0`z)x&ioWY2oxAmm&n)@p59q>Ht^))M8AwSC@SBl zW~SdMyDiiQ(5o4Ws$0W3kEBpA@G=wbW@`Dh)qVZqius$3i0m)6ELDX{-yeG-i`S=* z!KLr{ZfCft@IL)k@|%EK@v`7_i)wEg_^lakD} zZ(-#?AFGU;UCK%p?*rqr{O-4>*QeHvEs_&fUXr~gs~xXKPFYP7AWYYe)*6xYP@pIZgDHI+{H}xD?MFaTO^E4{;T56 z@#X!`3S0TG5z1I^z`Oh>Vj!-ZZ82??K(0DeLn8T|!G7HSB9GDXhWjG$J~6kn1cyhp zgBc)o2`FF@VDatKQRZnJF$S^8#T0;c;4P=c>K$Usidn9-8)`pz-dKf?_u{3O2L-? zfSW&v=1(px{8;4A)4$691^B!Od~MGvsB7)`*VW73!-rMmZxEz!?+x_zvbFbS75}?J z3FzU2eeTWr2RLC-lD55_v-MM80IS(!Y=wlBFsrzbumuqoDE%|epML)WSh`+7TLXI^ zRx|8i%Brk_FYE(+SOqoQu>(K-Cs+C>*I>0^6;uMc0lf@fTie>R{=sKT-a@RBe}=`9 z$Ko<9Cx2DHcp=FuEc7=!FJ1^eW)=R2`4=z5S%swj^+1$WNa9~*VOF8P+hF+=G}f_k zvA6x3mWI0!tI*$~{Tai+$=c4@!||_S44i~m{~>1JB*H56&xi(2SYm%<|BI{tl>1N9 zf64t{i8$w_mja5+H-r3Q~hgDbtTh_pOjn`}7pHPCx$IBP% zXaB_}{<7)6+h9#vP}d&oaIbxQt=(7!pE~<^WABxK?yrF!fBaGs`-cAsOq7*g{2iA3 z@wR^)9y5EHZU+J%I*bB}rT)f-(1cY~ph_MYC$N{%-aB*+p z;oiReXBeCi>~jDf#qE0!gcR{9^{fflJgJ1kQ}PJepVo9!>rX&AL~Ohw?hw(?(%q-$ zJx$50>Au4*q7S9E@tPo_;Sk;6g#8iiFUkIUf<^pWlKqEZ|0&lJ zKnZZ`uY`N+7Vd3aT-@9Ex3LMI5dTjiBqIDP5&e@${z`ZMB(ncV7%UMSEDbz7JOb=5 zIq@B0^8e$6S;3m+UCbhY1Q!QuOt=&P1;9-J0tDUcSzL?yI^7_7T-=hifA#6d#UutW zI^7K5CbINdhw)a|hz<;3veb2=@fSfh zsHXrbw0qdZf?)E;00v7z8+r%^bO^SO^a%!#G*{rB?+ys;LOoKz1&vpZqX{f90NA3! z|8MpGk|wBdb}#^F35pa0kZ)4>`%SubUxdgH_O3pH;eRTshqtf7XZgiL>i4x9a zrA!O+Onok_peDVt%6TTh z&&8&4(|4_?0}%F*91P%>z!?UhB4%${T^9+qZR5?SZ!UXLRF#t&nmCU-jYbo>7mixr z6k{!XO%M6_!LxFoL^{xM<~)G?*PJ`F8gi3)gi8?99^zOu{#E6s6s`yqqLezVILh|4 z1CSi=jX!U=;wE28QL32ac`DR*#lN@9+YYjFDJ6nVOU z@RvDcM^~*rSSRAuM0FAO(T$|D6Q!-nE(!iZU&3&IBYUPF->qUHdpIH%C@&>brFvb5 znfOPEa@GIWl!!aoz6r72J)Uq`KierHsx%JKe0^I!nOLNG(nZ`wc%;H&AkeuJGt zjyERQU_TH25bcD1Es6n<|2}{gVF10EMky+#3?DnkablZBaRRnhb{@Hpc~sYn#)ln0 zUeJ|4xp{{HY<)yTqkGRld(@wUdGjqqyYQ>sKB4M>ezkab)mgP4!@SCASV$7?1S-<$ zmOZiQ@(t|;ojwaz!T_wVy3XT%cF}z|v0?4nTSSdtIQB`uHhF2HD&EOoI_c0F-zAB!MPK_}k@BQL?XeE31# z%z`uS$AU{QC4ws1Qr>gS8h*KD&a+Gec6)^+n{2q!s7^t>0YN%p1ULSX7=Q+AbxwZI z$45F@Ic_&*sPToft^zVD2Pzr{3RBtk<;ADGW~RrZMh+m%)W55ZiqHNp(EStD4Itj1 zNUD3|b$%x zUd>YUrjC7bf@V#%t&^48PRCV~(^tJCc4usq`I|dKP78EC8_`b*0nFhlUd$Y@#LRbs zZhR;F$K1#_KS$ixGd41Zh@RU}yo|(tYDpUa~rT zkz?zR->O2MN|WOYKlwtY_qBb*DsGkO9YjX8sogd9bDv&eeX4BAV3@LHXk!ryd0KMDaa8D#XDBek2K8B?=>Z_O*Rcht4H87;b3D zua^a{M~@N@D|4wzpkEryKy|uzxm|Tlr)kPcFBjT${LtL>@GucbmZXsMUo1W)aB6@+s`Z`St5K|tkzWFAKI;Z-ACRH4G|RRS*l3%9|=!B zgtSdn(dwT*n_Q?`6Bi@b7Wd>D=na(A-B0qrrE48FfdNF7Zww%H(ny!P>;u_CGET+q z!#M*}UfZP_t5~5BNMqdUht2}2IQ8RQH z(kB}+BVf)XnJ|BvNiLZx^+NdDmhiVB_W3wKYNsOX1eLt{00XFkg7!G5FD`;3H`lIM z+OckHv5rLq>JM=-)BmO|4$S#{6#F4}KHB8llzmG#+BsErJDWQ&5;$Lvx0f%oth%gHm?IcimNZSV!Y zFqg7K1xt8LhJZEePZ^64Tq1*R0;8mTA@wR)fEL(zNEsF`#<$7 zerep2RsI_FR4<&srG)r505?o%U0x6YgiZGL`Y#TKp?OzU1FBZp#Ts&JiuQE!SDu3< z(jJ+aF0H6Bew=5tpot+r+HnUg&B}8GBoD69i77;~kX#Vfmjpj>b_{}OzvA#0S?Vm} z5ce~D-69mbD!CZQnI*-ZBp0T7#Om~2ZhuaF>WI*o|7-H7fXxDZb@~otDxPqM?tk3ncMA36j zKR`)9M#~REY(hRENn|SB`8_@(j5leUGN5fzgm^8oQLMPXui6DS+9DD?3l~RhrSzfs z)beHOk_wt%gYR!-KBk&-|8mNmv`%QPe#T)Ul(8taIQaUUmHzZ((Gk)x*bR)d4kJ9Q_s)+(1wX-A0nGA0DzC3!>U`uRcHHy^ObAu*J)RZH8n zx914LU`SZ|^pwA}McF5KM`Hc)kQ*}{BR$~K2Sr-RiMXy_EQ1`h$3LGhm zdtx1S>kA+xu+*S?l_m*d)_fkXC_9dq{2)U37~cPkZ%h?3@xkIPIMZoB$coP_U=xxY z9?FB_`6Xsy9c;1ziiI1cEEAWoHg-&k5%W@p?DovYlISmtmDxINC66U(M>)KL2(=*} z2S0_aC4)AcK|P*jRak&Q*pwueOy<1wAdV@6-amcoD%UjejOFo3D9-nuYAL`qQ!vX$ z40qN(lfW!bm9>_$1#7ISy53Vhx2Ibrx>R?=0JooI;U{HMj%B=#44@r<6(*Z4(&SCz zcwcg}BY4HO8uc8;-QN{&b@#lQ24t^TFpmgz7ucw9uVNm);B0X%dif~V6)!B%(%If{ zJ45kw4sWq(zzG9zPDc>4^l24MZ9{_s(y>Urt{xT$AG)ABRJJ82Y>&LpUq4_jiA08K z0+7!TR=vso@_AgDE_427vU}}s?`dpT&8*Iky6XalC2?=%NA{qZYY7ge-5Wa3GEO&? z$45qg{t`K@yBl;*W^M>fAFKn*+{lcQr^Sv8%@_tfG4)k8T9EuNVT5V&iZKZ9c?6Zm+r?FvpXl>QhQ{sI{AQDHjOW= zxhIF>TE8B!e?>6Zb*c~$jc)7401Dn4&CQ&WC4;s?VPyY&v%ipGX8sSSK;EHHF_a6` z|2v4Fd((#8h?F?RI%n zf0@q1p(osVk7r^qrs75O^wa%oT!>oV5#>f<(kK3#!qw_h*QVIwy*HMh>3@WP{PrgU zUzgW=mZ(o`Wti9{J(`X zi5U)(PpMR4^fq65w7r!&sm}iXX{1m5dqTDj_Wm`RPQCz!C*c0Yxn7p0Jwwei3#CF= z^5uQqrLURJx7&X$^*>O#Zb#(V1GU4wmqheKQ*@ z3JeWMA>=du^p%iSiqGF2mjgGh^`@%J5odjK)69xxk2YhR>=V$DblK6M`9pH*3?E(P z;NquFMI1#|VEPBf@XgECK7~5qk>X}D14_-W9^nmpv!wR^U`m`%G|@`y?fgv^T>n-# z^|Y!)lJkA`GhEd>+`Q*j16FZ{Yj^CRFD|7iW_Mu8F?_)ilxmNZw#@e#+Dq-086H;+ ztQrYOE>@;RqwEkpU3Wa%N!_kFvIbGy@(&uJTU=5Zf_2L)gM7n$*&lW|)$Ih-#vVT| zmIVYz94S-;*uql~ff9$C&_Tn9ho!{CNGtShG5Ag&76Hn=;SUq@KPV?!wz9Ir) z@%?B8E8+t^1krwP&njQdJM`R(pdpr#q@4wiFD6IRfpI?*o3@wB*2^iC+rPkB(l=J(R_nWhxhK^UddJVwm=-btoOg5!GlZQT(*{!Y&P(8X8e5M0K zr$bH<94oUWO?u`UKqx$f-X^)Za^-Vg&FNAS<4~CGOxUheb(t&$@@YW);M!8!Z)Tj< zthHWwE^yCvJpUoS`Z2$UZ3F}&${P4ywKlM2Wayq?tlUgFbF<6UNcxZLbG~ZM))K_|s&W$Qzh-h>=0;S*2zo;wPoQKrt)eIU zi(FHe&AQ9>Xb(!dsrzUqSNIHi`NW%ucPgHx)O!v^K`Tbnxszr>6%d2UbL|uxEc7VB zY@In-f6kdsFyVBifK41^a^ZLFAT>${kq3)>e!E=) zLOUti!Ms&|yQ^_xJ@ZF<%r}O-RLG7ou*q{>p$U6?5zX@*B}F2L$MqyM8X0F%C=G{B9v8YvKrXInc1cqB}VynaMO%6-XOPZHU97!(cJ z1=AGz#}nqd?$n>$UNH~wY;aAcbM>PK#1YpkH?&VH1wKFCmv~ZDXfo}=NFL2`Czt@% zIMvTWj#7ap_qB?m>0!~){9mT&XH9H#iGN6MXNk7geR^ycqn^xgtnB0YPA}yNOHLPV zupC4td4XYlZV(v74}xeV14g||tPo0Lu5BUu3--+s`!Z%G8cx-f`F6N3S~Wu8NK0x^K|T9@-UjpbW$!VimZRPIyR>AjYJgs8MH3wA?vl?01S`LxLa zdvhtEH!F<|x3|wTY8ck2lwU<{2rZd|3Kr*8yejTavUjNx5D=8yB%y380_xT~x}t-v zy##_Spm6wZkLf19;}3M)n&Vm1x7+9m!lZRZ+k2i<+{-9x=x#3y+0NXttYjt|kaAzJ zZ2zA5%DCT|r3T~c%oUlICv0(&Gn9lSan!23ESd;~^-8jSG(YTT3iV7;-Db>2^2-dF zr7vl8tXfWm#-@gGJo+3j?4 zsvW^#0eoQ=Soxvtaqo&6P*iA>Bh@HpZbJSJf(Lr`orRQg{W!b`A8KPZ?s)Ubm!qkM z!R+&@8_ApwZ@qR)xT?+L{?KE<$W$jF`0-RHod(p>of~P}Ev&@U1b3*Gy)F=1>aFi5 zQH5)KW`Fzjqmk!nT__SNs8 z#!F5jF3fBl(3?*Q{ROK5$%d^pOT@QQv>2P7IfMadhtjj|<=+;{xfbt$Ms_oEA|f}& z<4h|%x?wDDAhC`I@Iy0sVfT`b6O# znjFCbnM1L!L9-WsU>C6otBUdKiUW;|#5(JXbZ(gD?);mVH%M1i<38@zFL5(0lVWTLB=?g#pZ0R$>=I zsTy?PPEt2H@>HPt;ylnEp4c9<7}PQxM%?qJD;)Kba@lF|sG`y6+aTZj`;|Kk_Q_+h z>C@7w1?9LAfhDqJ>z{Eq)}nm6@DQdvtdpXy0hRo08O|Q`lB~KZ#h*ml6R4lydQ*lc z{2~~zstXO@WKunWyer%or_snaHAU&q<(>{#@*h8FZG5*Q@;bY~N?1Jo&h7M0^IQ3q zz+nE_4e0n$H7vi!lEXd%Ine4KEe0lQPyVr!ZR;?bNudJ1+VH6z(q%-SH=EOl?O!V# z)qm62kEvC0;eHj88R&-5Q*PcT(3UhINY(SzV_o`M>?=q=F+Qwtn2;>=2 zrgb%qu$`o)$vu&fuRX^+_6?mi;K&`*m8Euna-l_G+Z603&k!U`?(Ugx-M7=u1!1M# z<~X_I(oR)mNn6Y)^LH=TEuBR|M|j*#Ht0|SLUto$VN~_o3a6d+DUsmkg% zkRuBOZ>$5AC^?-f|H@2ah|LvYja|X3hlEVvrgm&o6QKd;VT*&J)S+_= ziy^B<**n8w-I}RnU)aU8Hr~}b-jt$1#lgCh8_Dt2_nAkv^|-`8ktf91jY3+7@sIy6abbto*BO|PV*O2;TMfc#G$Cf%&!HNi#b+R~--%aSpQ&|>Ty+)+Ig=>q;I`$#9qVcs#w`b}GAMwQjQY75o z1DK3)G=}-VUs=}+(gdWzI}mm58w!-;8)h?5;Je_`$;s6t+1ch9JU7@fy9Z(5Vnuc< z<*($H!!NmXdIAneyVNtsTq`g3F>KvyTfRo>5l?&?2-lj zPVuX=B{K}5ETOPr%oFgo29MRPj%mS0ryAkf+iDagDnoYncMQyUF9T-!y_$UtB5CAu zlB(+HFK05JVLN&+@asCzXh>cTyUT&Z?sBY>-Ec&7c2>U+{+~X9j}>LTk*1_RPcO!9<26!` zfe}19M<4M)8&Y9lB;FndfJ(NaM+|J(&j~1lgulEbn4=!2OtCOFy~xv6TC^Ml_bm&3 z06ERQcs!9{P^;lwI2*kPf}V~q*`lKnT~M7u4B%8uPGP-}r7@oo1L*0F#{lrIt+4pO zsCV+=dCAl}>N#0=4PSY&*HyQ*RtvyGH{{S06qOeI=d>6F(_pf725W`7w0xFGc#ggM zY+J)k7sz!FXE4bc4>bL#7XwHz>Io$aBcJl059s%Mm}kZwhd_oJzQJk<3GW(5B|iouql`hYxW=v~wWAOqy=HJ|ZQ#|$d57%L(jGcV zdZ$x&2_75#T_|m;(#_=#vgDU{gQun3^N0PVW{X|zH-b3pAkx;CTu{-KN}#X5d@LA_ zy7?wFn3T7P&NE~|*|ZE|UtLt_qCs=g(g5@w38l-P`0bBPxVS^RxeD}GkPx}JR5Et4 z`C!3mY<$&qe+hBWpSfn;0L{^Nd41)?*_?r9&UU-ud3a;Nv!)Zqh5S(Qs>EhxbRBB&TnG;M0tpMcDSX`o9(ZA=qtI zUsUc~X^PnGYn89DCZ7S-+t3FfH7yTFeSy3xj7DyI6#T-&4^#tn`FPt7oNa`JR`U?d z61*d3Z=Kd5*&0iJt4&%ubu(9=$}xc3)Hk&?V1&*F%jKOZ3;@yp7z5~50lCd=1)v2{ zRDX=qCOOIy7ok{)811!WL_}2vSem(p(9FoH?X2_$SMvX?Q^;-1q zXKiAG9`L|BvvQk~-x-i4edx`ydTS(c3)yJ!9#yS5|F_sn#*mzTUY7$SkDqy4d^GwO z0Ro>pK%?G67i5Ts7{JkXA%B~TyfjVEse&|_gwmA3kGC~?k38xb-q+T?yN_3XcP0t6 zUd+-&a6=^-ebZgvg;vSe{DvTX(>N&ayJOi>$N>)T7NLFpW$R!yGPNQv-a z=i1VGV!y|d;|)*STkB3yzI^=Bbwwo&j_y8kw|3D)_DJ8QGA+U66t<5v?^Gv5XEaib z^X&LtgxfwOTt~>f6vEoglbdGj9xo?83yRVigi5p=%ILyDbFKu7At)Woxns>Xp0_y{ zs@Myw*cQ9YzIppp&c%#j-qG3PYo^{?i-J@-BE{F+N{>7&)pVd%VZPcD`m^;XqzIbL z0aJlbUqNmSJ4N3RngiFTXc%L+tbe?_Ok-B#SL36d4}rP1$|S$%PqcHHG<|5=!Lj|I z-d`XO*JzPRlf4+H$>Q} zg`EX0G>ZK+3Zj0@fv4@^+%?3gH#WDL^Jwzx?(|J+eJ}&e zU?a1eED-~sZve*X__Ts!WVK4Wiyw(&iGsFO&$NK#uB&e?yzFRd| z^;Y_C5X6ZIk|Q#R6=+=_uPiz%2+8%E{5o6V5gn`RZS8D$0IaZa zt=@8PxJ~lru%qiJJtWc{&M!VI$pzxG#ZA~{a{WAg(ILLNQQ4Q>cv&^HCCZ<-)kP(u zVd=|g7HS36Ni|#dkL%jKe2xKh)nX6xlr2wmIVdn6(Bjhx`t&U&WM=8jp%;RTI~Cq(*3?ftKn+gOeM zM7SgGpzL9E9Tvm}&~vcEX{z>RT|!`6ns^)3oQJ_n2Mx)<=t_kkT1jL08Qv-l{2JWnm*yWi*hb-3Rx?(L?I!z)~5Z zb;n@UA36RD3ReHgp0A-78U1K!1#9@BekP!936Rt1OBr7U()TNVE0(!n_^#nNiZT-( z&CVaRv8u4QkDYwpA6#7b_FsF114-WvwzOxdybM=mWDl9O{<*Te9>nZAyQoNmQ)Tj6 z{Fc={P~eeuXL`GpCJ{wBF({lR!e|ZpTxXF>7iT(HGJkdd9CY;ATY3;h=?@Q^QdZKP z4wj(JZu0=A$qV;wh z{`#Ilj-#LEjZoYo`1ZOjl&jMb9C!WPQz=Qp29wvBb4YTS^S=JGns!Grk zJz^?fc?NlSl>)!{Xl-lWmOFB%ymjty7pYK)+lg&gP*x^(KJ=z&e3ALdpbQZvFW&=&htns)$e2XNwZJ2W|C60#y(%myIT*XQFn}FaYX=If>S)xZ|2(-*!cR zuF!)p9QC2y(bx16!+13MJM-vg)>G@rg$}$K87HP|v0;q%D$ATXGi7V$qi<@T|rg zE@giHUSVW{VtmZ+0xizf1|-%hVZ!Y*H0^ks<$KY!&^|OD{Y)Y|B9#Q6k@*Y7@?Bn* z3lMP#c-5udd7Qn88;y(g7?d^)%V`%4!m8iDlX=?XkgKJR0_eo)A9Iyb5$Q@d4QnHK zB!%BRjHX1ytpTsKvv(D|)FcP1hpl{qLAAM~kdCo5(ym1s@g~5Vo8NU<>xUtXQisos z3TpQ~HQ2X2WvvpbCG^dkJWiB$LnL}SrJ;U>u8`!r`xJZExjCzLl)db+?61fk`5A^Z zMay~?{GLNIG){kw*PP{uFdNn5C9I;Ku6f&fR zm}7A9w7+))Ds+}6AbkdD|9sfFIRyUR`tiWq6$1$A!T=~N6W7-wS0BQR-tEr#lxMR% zn%zG7sKJ|mtYY|6wyyi`V^`HZVtBPZ0>FHr1dEDDt;97mf4fh(z$OJpe$89YgI`F0 zYuAX&mk%&=m6I0Pz28ag3f+~Uaol!5o}eT#0Nd4;Iq2Qiwp;CF9ZJDfyZ0}yc=y-t znSIrgDaK`zTfzWlES+rln<(_?>d$22J@VJ5CbHbLFvOu;G$FpLty5{Vv#kh1qK!rPd!3+Uct@OP=~ z(;gfeTlMLi8R`YAgef=)f~&p{X5^R$;W99_@8S6SbKeUfzC%`0d|ysKmW56*he;zeJ6Q^!Zmeu2Qv++3`5q$l>@3@=c(r31GVgrA^X$B*5;UnTu$H9H*TwJp%@raKwd1HUmSwasJy z9N{bSqonn8YcqFdA;90PlXi3Gz+AOPxV@%_Y3X`XDLx<{oub+usK3O7-~Cwe-OF6 zjx++JZbhJiS$$1Pgk1;43(=f_Mv0~GN6 zHqL&3=e-6;fD#sjl<`$EO7&GD9ZZ2ll( zbzy1${tzJu(-ZBI{a>O1CIUqSV5O$1B~hB0pWXxXT_}z>Q60G$z=ijNl{vdFNh>f5 z@IXAFz{P>>qTRE4)P+&ON<-M$B%J8lhOM`du1-$U*Nx@;l!i9^z{)q*#E_ za~MHSh?e4Xuc+TO(wr~GueF^A_f~O^BOVJ}gZfM-xpMPYHSqigb=K;f)^t@W6}Ml% zyq&SZz+;i5X1vJUdYse6hRSze&<|=`q2p*Iy+tce)i0QQoC46Fma3s+rQm6n+~QZ!Aq?s)$+ zbAF^_$XX*M2ECbqii=pw$=rmLD;9Zr4aEAMk_5*22W=L5ihnyaVf*PPBLG_AFe+Cn zxTzay9?20n6dGK`8luqy&*FZ@OkuUb6XFy!2Jj=fSMrM*&uiJ*{QE!NsC}2|Z-T)q zi$w$D4JJMEWH)zib1-+Lm%q#9@0IhkY(nyz>{&sl*6wDT#d6oQPbcQ247C^{?S#!r zWUq(FHj>`}tSHTR9Mr8qAL9lSY^AC>{T3vF-*0#?lHq*_sSPq>)zybk-;$>E$F-^- zU$A>Wyin*x7;TfH@X5rVde`BR={n(l?$WIc|3zt44}xmlBlvDb?TrD5_+Fw@7K}D& zN@+igrhOh{U(r!Q%pDG*?p^7icm(PGYO;pTKIFwN=S^-9^nn-Cdb{Y+Yyo5&+vUT zdIR&^*i-wN?q2jaBTLQ(A3p{j;(3y3FO0HyC}{rJcS{n0weKyylD~9W(^=lreI|9) zV|#Oq0Tg;4%f>Km?HI#aje%DWRy1F{#NL3b!6f{SpeSbA zZ!H!n@?hdzWK+cIiU?wswvY75id=d}Cjdk3XYM&R5AxF^7em`Q-6UJ*ucBVXxW54(L8xJFr zoYV@T+oXqjG0EDRzWuQ2m4_4tkikE7V1kY5^ZgN#Wy^P?hm*03nIF+UIKM%)ISP)@ zxtJq!^o6gHA9Jpq(|4mGF!h%RccXsqXW6Jk)vG6alYUYtbzInwkU%7VKiq=7&u_$= zc8NV*?J{`&lA5`CM!n!pZYeS#SQeTY5lV`X z=?SH+6VLL^?eL-?{>0z|KNS&j*vd)T%6a7&hss>CY6L-b=|Wea&xuRM)A_6Fip?FX zs3+COi~UVe=Iw7o@){GroF!M{7rhk(Bx<;SK^pOw#~fa0MJ0w_86E5kB~R9`a=GGq z+WstQEyglkd%z>hbA*)&hd~eYsXK0(LzT>LYgBFL*#p|`Vh%yKdLSMfbSR zaI-2)$lA=|d6e2tzdJmiuykSo4YTiBF@UfO^>akj7*sTA@Wzxca3#a`eOZg#srPr; zIY?t^Vc73g2jb&#mKFWg&KV>a!eoS|1V&2Zmz{>5m_lzp_jR1{WlYpHc@*q)QC;BF zp2~oZmo;0kr*GBQ#zk?q-=v4(5Q`rQNQ3-g)pOW&2+oFjD`=jq)_3eSMbU24jnX0S zY26E}lz_vT>r!k4&|iPnc_*N5cVL{xLQqFrzIU|_7c+I<^|p%~18}sk8nhHcXu-^# zjGE>`g=gib90Q#o0Qc%D_OP{aACB112HQ%Md~W%8K%?=|gHo%t?6#$M^MX~5Eyf>g zB$bb?MiW6%fbX~3xvikZ5$$S7Wt37ItUB6Pv_W2M&Yjzs$nPtY&(#vniGf7rLinO*(7a^OqkzJy=mP7%cIG!zP3 zm@VeY_RdYQpj+pXY`-|G-iiJ!s+_6QmTsJIiP~X6!lsYD*D_g@d!`cG4?jF2C(oM`!_VDDDq9C_y~U zeP!Ep|6X`b@Gwv$65&&w&z~7g?>iPea8JzO=4hV|>=xQ^*7Ti6B3N_U0~^0Fn_3q6 zVE{qoDRWI$Z?4%SS(APW5xLLz6Dah^|3*on4n#yUp`WW!7EJsSAxHWmIiPVVowFs& zDA+9>8Hi<#fY6vm@+F%kh;a^Q{XrYVFNMY2QW_9wQKZNgA+t`A6f|eO$-M%jHD4#K z!x=`#;r(bP%6I!b+oP+ zR5yy4v5>MwqiNg=YDQb^OpHA-fM-jqUl0lKiGVZn3={FII<@fRW7C1bbG#|_k%~j# zuDZ9I%xq1IN(1h~goAny(dlQ!eM=ezbEqdUaEh2r9owdqfd~fh=voKvhxFEg@Kl4g zYmJ8@C(Op#<+om?EQzhJ$~Ceqc0T%$)3$FEmHZ41En#`LHXF%x9O4Sik|OAKCz8q@ zOO+ED6-@A$FK}ckKaC$~d^jg)et-rONv_yBP{;u9~)CXxE%+lnIR&kd8%y2W><*6^MSu>!!n~&|k{=z^Fqm>x2#W{Ma?@KPP>w?!O}V>^6}kJLY|k zg;Y~~eJ>Z8Kpp1)gSfW;`S$+*?|ggz_uQ&mw@wu`MNQ4yZ};let5>gH>v=NUP`+OF4$!XNr|gKV-Bq+7 zzKlikn(MR)pNaHWoj;9aQS@iIDv1e(f8`@B!m?y`!5S?5c&g1ImB5(UcC6m#nK2P` zt>Y4A)jqTPGe~jeooRzWl_!boxwa<0--;*0F;k}cnk8e#;-c*Fz-6}OncK-yvBY-N zl5!Wi)8i7?qnuqzo9~EVbkP&0hSolO?}&1h`=e&9^cs#<>?uJ%FD%{tOTyj839R#T z;Um}jvK-6(=Vyys4EAYyJU(z@tiND|6M)ipGEu|?R9E)&`1Blm-OuZ=Q=E;S&f2vo z904fVxKJpK`uRi%j3;)p2fA$V4LtRL?bV73MCIn(LkQSh^~B3u$oJi!Zy#?=_xJhz zuz-J^z0Wed00eH_1_CqNHaBnviu9L2QN3!m%`~%$_Cjr|cMB>jBPN7VsZ^_B)OkjV zi-fyTVohRBB*1_u!GLRsOh4V*^H9x>nznq;xrH79J!c@#RUdCpA3oB!`)T-YQa0=e8txe6sWmaZ;#eIdV>jZ=<&{RhYTwQtXJa%J{e&=SO3!AJ1H42Jbslq~R(mo8)5 z-t$qw)vCt3;~dwpBhvN|!LIe0n`)!s6hZ-w^RnJ)qs_bJkzHPB#C?9-a;@gQZ0Eq! zb<=l?_6DbV0@GhABxqgl6QD0}2-DGftW?`+4y`H^>zYh@$a@!uZ%!lY7C}GJYeC04 z#Pz3*arK@%>rEoxbjK1FdfSNBkhxCxYb&Io`K~ymy};&ZTR!Dh?y^QAew5E}dDT&Tvcb%x&aeMTEx&G`8^ zvDb}AsSX-A=Y1R~lF0~Ul?j(KMb14%C93D&;kF3xY>Y6F?Pqg;sq-&GXBZhhu9tlJ zjQ@04<1R(eP7|IQ(?5(o$*!5dcRc{JKuK| zww*QS7x}gg&kECb$I+F~P6p#mm>m~qg^q~#g|+dtKJPdE_^*_M?iiMZi*2+}iA%xt znzcWiK)Crj4>RC}zd8HE2YXv2NZQZY$=E%{@{Q&;-`pZOU=3kXr0SZ?0n1hd_OX{%}l&Kv-qXIRDZT=6yJM{}++hx%*0m=IAFI(1DK= zV+%Ur(QOPBC&vH|Z(O6ss?wyc^g9x>bTnIC1JRb)?zS4e$yPq{2ybIb>yOkm$IZ2I zvPC5`vI}wMy9{s#@Ajf-D}H66gF(K0eh9wVO5rZ%y4i58ub&#)Ew!{Z^}nmHhuGcR zBwC`1{o(7pbNsmZ16Qm&bce-7y1B+jwvh0#>80@{;npB4kV_fs2#*L5{KN}aSZssk zp*g>eu(s!$&pOQimdOW#`T`LRi2l`^Z%e+VjkEs+w`SV0>^*!#(^u*Q$_Hf(0 z*>)m5cMD<}pz_zPsg638A-g2a>H(&hVsep0=^J=K2WX*YqHESK%MMxQK#qAIo@r!y zvxY{s$=>Qc*E5RKeov=EvFaQ2?>{!SP8A|WeEsC+{C;>h>?n#E?u^F*ScuJ(YuY)R zcE-(A53fEtPiz6C+z&K~v;rLu*a?@0**?4z$o#NaIOB>gJa?rW;S#K)MjUvBA_^Cy zJh)}~0aCesV?HKl&YKVzec|?<>f$1Tu+^OI)+45W3#p5E4NJy}E|E$|_*P(H?IHJ` zO?GLBVI#Y8!ZDE31Ax^^L!f_uwYJJD;)I9w?eS^)?dg0w2pE@UFB0ii8a1h6;k~!* z_kHMswTtMk&z@n-qJ7#Z@r+>jJ{Yakp(Wnlq%iJF&%3T0vZf1gt%jR0_k~5sjvk0A z=&o1SC9&{hbvQ-p?HewC8S~Wvs8;gZfQzxph!;Hfr0xaJzQW+Gg}k6;MHv-8mhmBE z%9O%5kg2{|mggO7P(8n6@Czx(R(iTH@|KvCe|*hhOCYC7wtPn;m1><2AFZ&FGC*vd z7t~~V!PtZU3V~OL?7?bRi%BF@W>A^`THrKZN!HQbWy<^X)n`Gmhk{@o9uRelQ)y1bf+a*;7u>$RrK zejwBl=YkVmQZc_eJzPuxf#qg|RCf`ectIZIiw)B1$wI!-shdDtT-s4;Z3>m8YYful zxUWPRt_ba$NJNSl#O;?rLg@pI0k3qPQ<<;r-6W=|=3gNiD$MFqc~{fa-WnQ`c$c;i z++PUnn!^9QNUZY$Vt1!1_mZlcC+2JmSXDaMQ|kA?#P+we{!}_47gu7xsm$`TFDFCC zdSa-b#a4?P{N+|kJ=Hc4J$i>Q*&QlD#dC-N^OYw&9Xn7s_<~cbex@D9o!ilnox_@E z+Jx>(C4Z=mKvvW=pkD4H8_;N4M28x9O3tE$fKDRw~i$^bzm`+ zylQAw+lw0+2G;JL!9%sRX#Z@Q^A^f;kEGskE|!A1V)3wSi7;~|m!{rnx4p``1&foc z2?*b{P+z6Q>as@4bbXH*E%wRYk=oiMZ8Tyx#8^I}Tk8AyE+d-lnWA%_YdgUOYp@`; z_gDEg+VN?^0`X(w5nHStiV$l01{9mQd3`NT=c{hxzEu}H+Ntz;CUZH90PLb^A%rT zc}`R5sC6B!GFX-FnK26#dvX%9>zl>V*W<2tJwIO{5A^VDtkGXFlw4&G0p4`M_}2Xb z*H6pd`*sDPkS*X2jmWQn}+N z`2~UQ0r@>#d*^c*^V2hg!P!c^-RZzh<(S`B&+cDYRpLlzpcR+wzWpI;B zBW5P_5`Zab222VacZzTXr)EqqmCQ%@7#riB@B$4+ldQh0tpm&Re9E&nC}gnwpD1>$ z4}?kz1<3R!ZvhzYjtU@+%(tMG&0E092Ej^?{bsSSbnLPpM(kY#Mo4nMoe36Y+?~$X z%%$sdVgq-|p4)ifs2j8Gk0%9sOOc>D18bV5Nu~p@cbG7tfs(um{Q= zG_$R2^D)-8=EdzP*3{>g)-1*C#8MfT$4Cgc*q$FBH5^O;V5F|uR@M?jIlp3U8{Rvt zozF?S(U}tUQQ+aYnIKw%wO7fFpY{MPCEBI2yI!- z`=$Jys4wXjuh1l-SvqzV-H9aA!H)~~(zmh%!9YUhQi>$u_Th{0qk|@WVZ=fUWCGS3Ti_ z{U+fy>7fC6O&%^2+|K20sS0v&a-Y}qob|J4YOIg*>19vUfu?@XJ9gEd-P?G@S@UU^ z=$D`b5MJrxbovk<-&D5!i|@l&PRDogcPk{S%1A#gGeZ2+$=oZGK9`<{;76*-e=pN8 z-M^f=0y{~8m5X|nQ0~Y(Zar;0N9(|fLc9S9K_I<|Xyn!uiU*DE<`Fx-S&T8?J8Xonirn@ER!+Cfnuis40Cwaw*BsOz0J0>qfRJrN5*ugTv*R~l_9N#n^Rm* zNEb2%!+Fl_Zk&yC+2#cjL=Fs{-hU7f5>eHP&Rer~X5vK}hJ>w_#%WU zjcBw|(z<-NJ|nl`;+)7E-;Z+uCXthB1V>?)K9icgn2+i#^a-;g9k5|w z!z=uzp|PbsRWB?A{;4+A($eDi$o5u!`!;SnA7oq(vfP}n^zd;kA+Yb*BJ%p4uuc!K zt6E%L9gcu8R5hjMi~ICc{Y^jg$r)ThM;^`(HNN17R98xH@|_n;|8N17h|YCm&)@&F zk>rM87doI_Dq+;tcN&}(X)H#rLbBaNTrQU6u(axOl>G`JG`q6qx??lO6NSS@avB3p zJzEGpu$<-Qt54n`miBntF*PPYh{M7SSC=xqE~lf1ru0;x4dt5de6H^j-mVo+WYBa) zx=?vH8#Ti{XE;(eR5KI;Ae;av0}yQ=)TD0^rzhvbkYG+mdCxm%L?~@2%(B#O;JTaY z)cV9(Kh(t^pZ_#}cRS9%a8@{=r?QScO9f9DLM)=9=xgjdK!$U{)3TE`fdM+!4V?j8 zH1~MrE$Nf=o~+y%RBblI)O~~`*6G^s(5{T?lW(!e+>n{^Hn$|#tZAxg^7VwfDy)ig zBPq!bUUZA^e6r3|=9sqvhGQ_^guNiv5rGr8vw*?R5pE(64po&=?W|Aq)jAb7#1l}q z>u~YKSo+IiMQhrLeyxVIGox>mAiCEq8|{p;ioyFL{`4|9l=E3PVp<=(3nCiKQ!D0u z0tb~BjS>WlZ`22Kvj51958DPr3fdb3Ew|yajLSw)%PT{;i*^)?T#IH|*f?vo5|x2~ zZPM2Mbs-y7ERK?j*&T4~(6zk^1U})yoIK~Y+5=hp4Fx9!#kPvLqOgy36H6^|`__&o zNbnofl)~Q1)2VFf!y%1Ajw6yRu);rKE8nI^y=j%$(gdH|l)!QMU8L#m(qOgfD^716 zP`=2%RSVdjihxqb8$k^~xoU7$kkkhGnIDk*CI-BhTlvmRn~p5BzV&Um+j)g>x{(B@ z_i%|=r^v$hlHroyKKr~v4C2P=5`D<=B4?HWdTqyAzA$*zr2B!_PDrKs1z-Sq#p{sS zW#DBg@y<%7NtrJpNs#hQ)VXDP+@#hIDe$P;pYy@BK~a?$pbyXNZl3JNGs?J2Ah#F9 zu187GryCb=coE4U+Z+{p0|4vL$oB|&`0JC9l*Sv=3`R1}q9^4!?<*93N$b5EVRh%M zvXN)optycRrdg!+6oW%SCbOU0k~#?rj)4X92E>Cf$V9W?JchbefY?!2LpByINws!4u)>p9LHBBZO%q z4c{1K`%De`2H7v+slWJyqGKFWa@FhIXQ&IfHJL_D`ii#~2HdKHy6i91Hnv2w#9rov zsgrs+)}AYlhpZHTE|-b=M7dskNGo8E>WN7MXG5LFq*bDkKYlm#yM(0>Y>`+vKXt@d zQ!tM-MDx;`0hbNETk~cB(v0<2B8z~>MYAPXL4{F zXy1ICRTX!R!G?Y`dd9Sbli{%5^rvL;$?={EdX>_ys9?=I}kkR!ZsRf zgYQN9hB$XqJ1d1Cwy;6axzp;C2%?{L6q$Q)UuxfN&i2r?AI6yLr4&x=S>4Bj162pn zh&+ANWJ3-acnW6#Mu!b+gf9swg*SX2_{8nv2HV!wy@b#2GCPU4LOp-USt3VSKm821 z3hXxmI-alsFE8Qd%Uwj!Bzy>UkbRmjf-ry9&%6ZmJB3HenD9-Q(w!tdN`QjKYAdk} zKo&1jaGdOIt(xYl{ad$q6S@#b*BdL!QotV})9ozox&ns=qPAmLR;OpHcOsT)cO17{ ztELU=hKJeSrU9xm0p2{oinMJXegunXtL9b<;=sk?OD0a7=0W%@S~*I15|pb8{f;WY zKslDH0kQhUEAPj&o&nt>^;;a!vkz`<+)*YmmP{xq{N z{InLJE~&e;SW6sKoNprxKWoN!H7C55KNfe{{wsb^?C`47^_Gqfx1t^8WdeZ9?7Okm z!VKRlZN5JJ3;Rd-ufm*EVrj9~&0Q{=cYDf?X*XGmTDK7`wq|j?WaKfF5(qkuj%H-K zrZ!*f8dc-`mz&mjZxNrf&71YU*JYvWtm$3h%-`KrH^(i+nDK9_z$Jxtm^dPHDtc^X zIBHxxd_{=T2xTmaAwH{(6Q4RUL}%hfI}!k)hxnO+3oI2|8$2;)T8&~%U&MGB&I4XX zw@G_VW5`}1>=stYut4gMF76Cgc#Z@h%U+(3*d(qG<$Y_zJA04Q#F+Hp>~L?d{r1p+ zZU7#7nlrdC6dmL+pvs~$l7G~&=&B@-b*ox0Y~Ee%a-8K|2H&3r&K5o?-Fy_{l>>DF z(`1SEbDX(HP-*Yu^$tf!P7$zr7=0h)FqL!_cKB2X;JAd}y^OHtJeT%uK%WyGh$m#a zPO)0POtjaJBg)%`1(4P)L*A*6>GVU8If>9Mkz=%DddmV20%|9aK@47`(0$b-^ie9Y z57x|;l2M7FXE?Q@*|8-*DQGl&=C@nP#X*pdZdRWDadN=mpr^rZrc#z4zLSI0Hxh+p z$s!qSB8+v8-whcixn-uP=ed38)WRrjbusGC^Z4qm@q^Q5 zn>!srY%lo{)}6|wKi4nOSGJ$ zqXU*4imP!t7iuge#8Q z?pZztCgG1x-z zBz+Z)?#|9+2s6f{B%Cjc%%b(On3JlawUlRWdSr-feEhix%ZtQGsM)7+Z z)F=%8`Vr^9BLe?9Eu4SCE&qR*mW)I<4fQ3w;E6Wgwn;2X3Yu#oPeh7o0a;ua)eyNa zDo{b+Xk8^?rExInHO(|SA!ULoO{H*<1HPIpAYNjq^mnOBO6{$M+ajKqb6>5eJ`d<@ zEFCl~ELooWEHp!?Jbi`f{;Uo8g)2uJ=j^yk9}9b=_YR5x0}@RevUAJA0!9WT2{rrF zCX|v=B->wed&cs`tYw9%Lxt9P{?#vrl2?Kn4gyJPjz`d!7Jm;aUcIJ|kmD6*_&R}} zBZ!>?F9$KVjB=;9((bl!pRr{qIf-^Rhe&6fu$3z_yhUX_m1Zk1941FUnP$^6&l}#n zO+zjfV(;$l%nT@90fG%D1u%L*n`0NkA%#PD7IFy%fe_!z*ZK)9?4Hjm6T-c~ayJwv zM9!oDb0OJ!@7JKk1F%N@-h`bozDIHEySu`~buCIH8~&F{$3!Ve8Xfx-tC-VrlG9V2 z`F*SVj-?GUU-f69LC?nzK-!auOtJ7xoejH_GS)Uch+AsiG}4;(gbxt4_Hd$mTV=}U z6cCrN5Vh;+S7bqUhOxcdD0IkSCnt8!kXg1YjK6pvv%WeGcLed>rHq_CY6=wKi}+K? z;c}Ww?G+Rj$V-lnqM#*Bm_6TNyzX@JS&t3%Fr{a8;sXPJeNg=skN7RbswGg+UppFH z&i2i3Zp)8=hYp_5H^Uak$^`)76Ue91CgmFPtBt z*C`;reUZh0PK0KWg|Zff`6(v62!SNVz6j|WVDk}T*57jyM(HchM>u^LtxnXB$S7ZA zM3I8JGKUU8EVEDbrDP~vs5KOf*{j9vMK3~n+}iPxw7@X z5l#D@}6xj*)&;G0e_#z0)x~4{_78ux#|LKx-t=0L>|nv z291h$SFb(Jn;VoZ|dr-G%f$psg>p16M z(Yu^4OuXN;Bl(f|k!?hg_jk}mBkID~eno$iNI`8!t${&=aDedq4YQj|)xSvjGi4Bl zN3XsKeRbrbSgRZftx_D0To5(B8Z~`Nt-pqx4W$9C5N+F=xFLQsnNI{dqK3*9)L9e& z8uVBZmH4-`ILhxyq{Nq$_}({(dWd>R{7^$Ja+uXFNp8;2Rc@2?dGEt26UUi!m9#Td z9#=EtN46DI)vl)Rn)d+ut$A!0qM_qC4H%;tJtngG?8@{&EC)_hQ zFnA|WCRijuCPbAed~lq@nae1#FHxRlv!S&ywpp@yoMS1Cm?)fZ%bdsnaJ}w61s_#4 zhj=zV*xd9S2_3}|r4qFh5fXhMO5*D0CQNlm9ZKCxJ>VLswbDhdgVEj7J*YEeOGr5z z)v%zc3FFHtuQ)Aao)XSqD-|j?EvnJB%u}iv$2N#%(c=|s&~H$86IYgJ)n)}$s-EWv zt7esF<#)(*==lwIPEsrzg^8tg73GBHbQotE=WUr%mBf@zG34py3G}}+t#=9q3h(IA zR)u89#mYqtDXK5du4@=IPt;DJ*zQ}=a+Pwo4CGd=>gbe7&u8=X2o8GZd8FMlA`69S zhh^Zc;Q^RVnbet&naFkMbzrsaYmcfPdX{@rZ4FF)27+vMOl!sq*7oblipbhiy2Ee!2M&+?1zr-nB)c zrRT;+Ms#`f7@4qv_`NN;4m8+1$mD_<*7OUHI`3bo6-z|=hj?bg#ES@SJv;I~Ks+|$1F%GR_G~g7XYh&%< z%43sg9=4u4`+%J*Iu)bv)>+4*B{}j%;YK!`I*lek2f4=P=enhgdDgJ%DCYk4ZtAYX z2z2O6H4}i$eGf@PWJVJd+4(Xn=ZtEv?Lv?fJSLZ|O^Lebj z6udSLzszKij*~Krq`i7yhu@~8)(l(9PsEJlrl;{`x%pm-_Xh&QLhyt6wLS|s*X~Yd zR8&>0kN7858UmX>6|b~CK7B|kwXEPX5b(+HX*&&ij+iHF$xH;C_*x&h7N;!IAdw|dNo`XI`mn8o`Nq%HxwE5eD`eiYGeR&;fXRxIUy@T#LXM=>C&Cn-eP~_?%UPl-+kKOZs>2H7EE*U zm%sYgDdOLK+TT9xzxlMk**N~=sKLnrK7N2XRQ{su_)RSVCX4u!^g-R&{-d4wAB+#` z)}H2IiVb#79`1i4xKJ~805iAzi-O}18je4yIQ~z^l(DWmt#MbCh}unOA-j$01Zz!=%x9{^dRXEO`EiI^bkLM%M8egS0sA7n7hA z{!~J9$XR!oCxYWtoM*`TtPDs6FctL>2D!@!7fXI0CdQQ<^gV|wJZJ`iJyv?k3JJs1 ziYX!wh$D;LE14=O#+6c_!lsBj^Y&Z83`(k8jTKMeG)bzwF^X{OQ;C!5?{)QIR1#pT*O03V+qUqZ$u& z-WJ>oL(Ub&2@TthZDgwWUb>yy=3Jp-ME zoBv`eLm7>WZ{}pwazK~laayVT^zO#Z=h1ZIwVwQSe&SV*_#NI^%|EE%A6oN=CUJ56 zH<{1Bv+VqJV)~N>=l_y+^>vv#ld2E|P61+PrEON~?epvHSL!43>re9)?N^=_pGUpM z+juivn>Do;9k-;RlD&Po$emB&PagDcW-!&YXwqtbZ8 z@0Y?);sZVrHNEBC%V~{|x>Sc`kPR$i!_CRn2oF_9WRUw&#Fc<)UQCiuh?GnDA$M3q zO5=x(hQVxhs)qb*0e>#bT;4-2BsWe(QMHx0q7Wlz%>fQ8Hvv2AS@HH(vX| z)$_ms`3^1LN@!2)$(1kbuvfy#=w03@V}+C6XiG^T5Ru=;%j{jp)gXV$Cfr#Cp~+ z(5j;1&6q!0T6P%UH%FYd-?guLiPV!eWMpIr9o$RpUb0eZWxs9xR%wXU<|&6_*uTIM z1}+sut2ByX!~&IkL(sV{p>C(8_f%9vc`t^^#6n5KLWwF>{jI3>TM-IQPprvLZGBBO zeNCicV?;iBL_X`c=rq;g`A~^!(J^Y#fuSlyBXW$xa)4kCZ9{3q5r&}=2Kr876*R_S zdQ%T`DUZEl6<7u%8rTnIMJ4$~p3o&-$0~#+5;SGG`TmYpMXQr4fxI~!n(Fht45>B@ zsYeXD+8^W%KFC9_f3*P>EZY}Fa?jOO2h|q@)#J57J9g`-z}sxEq&BM{+u9y(>3J?U zT%U>hxDy|VLKmUBt^t6nrsxC02F0ieRroOtiq55-Gb$7icTK#zs8fStrQ3?hu85zR^%B~gVPQTXg%j*f9Rj}=k!A3We6?lA(2 zUWCP7+Ix*mAf}>-ur~3rWUmW@;2whEFrkZ##UPEldPQyAKN`6suzx4Q#KOURk5V8V z1Sb=ODN&?q{6=*v=la*hlVakN%0)$mghz$s()CKy z^h(d1_w`k6L`9kVMPm%STo?*I<~<^wM3JwW`dwZKKhDUYYm*CmjlR4EB0lc)7DmM- zE5~LE$yo?1DtV`Ndnd+TGbN-Xr=}Q`@1Lt|gVEiX^sDX&jr zzL?(1Otg4v$f3x{!Wdz{0%@cIY5J~nW4FPX-|#k0hr!z%CWto@I*3fHKN91Ux{*u> z>uPgRG!xZF7)Fdgz}B^vKxt_u#xa&K8Y|+~{VYIQ(A1jO)S5cBDH)t|;cjfNZ*H#- z($Shx(HdFT2CQfU2JDI+7gbnmtJ{mK{qL){W(K5l6eF_Igprmi6@iXkikJf^H`rt46tHj9VLlvA>U`2UF%)-Jv ziy=Ud&atc#c};txlQ@mIo0pddxSuq(@%-~1_G>wEL%ZD;bN6lFirxywshuOITfN%_ znz@^$%&)U?7PFJnGmbmgyX@%aHlh8Obzz)ORUH$8iy~j}Ny$jq(9zMhq-27FNAr59 zK=6@Kk;wxx1Ab?_Ac8ECtf$e#Aw*#zzUP#h8Fg=0&)WrWA%PyiYo;Thqua69Z~L*q z@j?K&0o-}KBY({Syt4X2_k=Wy{==5^S6rE$n~m+SJ&E(5yrMrj0RK=1U8nCZ&w6Q+ze)K-;=7!Sms7ymlsI0%D~6P&sfQi3oJwsY;OpV* z;rbGF_xc2+)Ni-w`@ozh(GM`tJT#%jE@iOC)8Rz6bnFJ=JBD6>m|blY@YXYE1^^j= zC(z4H$2fUgo4eQj!`S`f$bzM+ej?rnk|Nd`k5t~8Tof6X43?j;xiO%Rgg?1Peljpk z#I_F4EZOli$ORO?b_Glw7glP_)uh z6sgiQb=;Nu~*Rf{#;$#QpJ@N z6Rz}%7ZQZCvXDrJFZ*Cp2kMM!+0J7~txewxL%rYc0~aY-gsq35e}nvp9K*o=cC)4} z1t2Piv-?K$*Mo%j7v`F8`XWzJtzD*&hP34mQu|{{bfuuew1MHh76q+wV{>&T{NlGy0N^ks8ioG2m9=mT z+Z4*rG>ohM0p;1$+R7{)h(_@g;)pXl4A{ncmqOQ_#gGGK{{VG!m(cgYI-R=E;%YL@s7fE=3z^A5-+cxZNjE} zGhnpLkV}(-Rvf0Nwd`8b2)(qv%HsqbtM0PTX;Y14&~}*j3ni9f{fTy|KP3s`oCA#P()T#GOHqOEbmfQHVw=7kC_Z9KGA`M>uBgR_)s{Jj=FcY@E5!G0u^Y1ly(~Mi zTbR36DJR;6v~EOQ=XYX529lbd3;R`147MAxyxT1?d||zh$A%U)9Qgq&GbsfdZi>98 z#xV4J^F(_ftYHl$+)KSjEa!i21}%)pBfQoJNcE{E=A9ASUfem+QR*8`@mL#9o*(Hs zP4_x;x2CH~R)X8ZObEY>n(7?An%$I$f7huMh(!HS^==czdt8JxSQ#_iq>)ADG=zO(9_acwBlUfqcHW&7E}rj>?sZDz#vW!~3z)Ih&u~jH5CQ0`!+RkhcI&Km z_<10i&Z{3eM{{qk*uICqj6NRVrV}OWeh>88rMwDUou~?6bsBvQ8*^e1W`A7vYpzApE0Y zD^~1_1M0U1o&Gt=H_WFs*d>ecV#BwzxyOenzrNX1)YcBZwttw0y4C*z37;_FPR#XKFUBTxpD&BIX?vtlVD6*G zmLcExoPNRJEw3cC3J8|{glVVD71B$l@ELVf*3R(|*1B-ZUPUw;^K5G0z@a{D!0^sD zcf+RN?GBn~+~GFUOqQ7H0mS%kXd7OmU{%n_bEa**H0ye z-aW#Y+M8z*@p$~Ibn91Abj<9`M6ej5-ct zG8K6CIeDKH$fWs%uRJ6btp-O*H&!z!sh-WOYOA(3nCq2eg^@u;{K&CI?`mFI{khb7 z^7ix~&4+kyzW@|5Ns+_|@m<0X0cIV6i8#Wfyc0OKag2!*4NW!gqZ zyzq?&_f#*vTx1Twq*~0=H~h4XlU<=at%K)6$1aXvc%rtIO_F;bHlWXX1MBF`NM62e0Bq1t~*-Ip}rP0nM*tpov?ZK zZrd+>R(h~!Y9lL-t5cjJ^kOS6cKR}FeU9Q1^lH?8!D4y(%Zk_yov!JZc=C3|nyQ_3 zmFZ08bYAZDBuyV1DqyT|jB8c=wVUJMLB}VGhFeN?{o_{~X5c73t2laxm*5^eulp7R zG)cA|mOO1?K5KH>HEg*Ypk<7qgtnZM)U+Y_!)$O`o$i`IH-SkO*4s03?V3a&rHjT##NMYJspX3+kNDEW_3%h`i} z_77CqzrXvdzkfzAx&F-e_;IJLbFymPe8vB%Om$+&`7&LwFg1?!!&WFA>igCBUbrzY-$9ic8Y6Z@ zGYg-)mx94+i91#ygIz3clMDxT3jE zeD#C4MEQrOz%9XHFCH=+mwOS7*whvrF3)AxCrxB5X0(|b^k$R_YPWJ2{QYHrbYKzT zgbRYz#}*9FKP4io#OeB4d0CAze!7}@W1o@fGw*!-`s- z!MgEHg!Ny8|1E)k`{>NY(svUXg|*ghW| zyoPsD8MnTsv^@sj{i7_jMJZ6ZD!G*bXfJk4d(Z-F9Z73_UWOz^#R3Bw=S^j-e&%#g zH=0m46I~<3Z&>GBEd1BL(op_ePyU#if6b4w|Mft9Kt|At??^@apP`ws zuHBW=hvV)CEQ{+L9)V-9|0G=h9N6i@2j{98QTY|cEHES3-Pt8qKt^Wf`cV_{(CR++ zVo1NF9cgR$5z(u_UD*1=mFoz6(7Iu=;9u|mw?1|Lf;v=hBRS#idU7}|AtgNjd{pl^ zwoqgyg^geb?Q)Pn#VhqZ8k2Umx26jq@d22;{5ghyYXbsm4QZAqet=a#w{Gv|Q|pY{ zBd{EiKbpzd)1N%xX)UXxbs-hMf%oLL;LP>a*yNvD2tb-8)0oMzdC;o6|Mcl5ubopJqB7^#RZr=Ccnw>{1}-s^B{suWI?kw9oNBJP9;aQ1DK^6YVayj9 zqV}7!>q;~C#Xk9b{HA44kT4E-MJuwL6~szw-?=KhX5Csy!1yqKpYV%7QTvfr;sqt8 z(+jKBYd?oGNuV>ij*MEkxxE%{4@ZQeXCVJUdyQm_R#b}(l4`A18>}K! zcTOXR8UNv_Y$(Nzor%Ia%WbFABKLH^kp_#rkPlQ}I@O?-fLx1b!DE^C2V^VWMw4-Y z)_CZX=hv-yz z-~TpcrihJBF+tKZXGNzm0Xqo-@@1r8u@*tWH;j3gE&11Q7WN3v-*?+#{-^ym()8zI zO!do3X91CV=^}R{hOZ)CQg|71#Zh^u#W$x-~PTZ)8D~39^`#ZA*w4xM1Td6 zt+d}w8zON%ew;C$FKDazaZv87L}~H$Z+*=`&d;hM&G%|0%{R{xn;COo0&YtEVdwq5 zU{Zye92Qo_T0P9YFn%SBE3+2_|LyrZWIHbe#W*o#TXmBa=?cO87#Zh^|kOLWyw78v%oxth!oo#85a{#KBszk&(hLg@W_YcgVjbiBDI$4-;TAtNNs zv{FF)n^vA-7BPP<@QSYJzTKdUnxi(Z|J`;L64&XT$Scj2kR@Kn-v{f4G<)X62~Keu z6H#@g%XyJ7j}SRky72ftUNP9C7r^U6zkSwHp`3H??qP-uS;ybkqa|W~ZKeILeHcaM ztdck?X^&+Rb( zAs>Hi*vr>p(Awsjh?Z~3O6U3Smy}U$qFs&nbv~UfULMnt#e3uat$VUYg;>hyO@#Tm z6C!VBj56xs7~5pBrSW$vVb7Yh!Sl+Cyc;>_kuT<~aep{YCmo41{oErBM?9BwkhLPuvHonLL&o3zl#F{&W3w{)DP)ba;QR zo4hcbAq)rAfiSDh|E?lu5Tx!OF!->@nv~EXmCfrH(b@fjcI|N}(Np?M$7aS|fjwYWYpjMPr>gd1> zqHxInJ|eaTQFYd1>+%92hhcjm`y(fz|3%hSM@7|rZ5bK_qy;HSDe103MY_8Y=@Nk< z1`tL>1r(5OQ0Z=@LnK5(QbIzyB!-mw?#y7kzwaLxYk}vUyYt!4-sjx2if7B{LpV+) z=OHCdL7PXMTW$MCB8A)CQ?u!}4-N|?d%0Wgu#$f3I5_y(^*XxsU@t|&*aGsuwyy&l z{*)IZ^o?S8@?Cuszu^nm;s(y}`ng*JL7J~w9@>{9e3&xNkg$%Y<*S-&-WnD+3ie~; zYZP5-QgZeqt^YU2v=oBapP5qEI}}4aXk`pG;6v)T!&mG&czn5h_b2~_)aBbJNj#o3y+4^jApX4j4-BFAIXjV?wKu# zCNx+C#=(5WeQ%d{G~nXtyy<~qLu5tN!ov;LH8>yJV^G7W6A6uGo>#^%D|Z+W|97zzaH#fJzCjGb z&rlksgTy;35n$wOXs+(1%5_*gXp7PB1lp(#ZK_Y4dvSev6Z-1fI#0axrZ;`! zEnMKZ%-hw(#&^YY8n9EB*;I)B8)7otVKIq$QZ?3jW{O`Yt}b!*cN)FnkzblJp_TIY z5xVf>Yi$957}xf)X*7}3qmNT>uU`9LWO3t3uWY1*c#e$fQXgFKf6~bw*X+A;VfE_R z)sZURnTz0-1O5^H!KFclR17Q}2G=}rJvK+s}q|lS+`yJhbnLM2j@+jM5qY_aK@*uhn zq&g{3Z|~7=xb)-o*@A1LwHidJeWz}94#Tf&BK{L zcCG>~kN;Y=2}dL~@8Sb(VPQGzw5CF^&yF~(%Xh#eTPA(!7eA2FZ(>x7K)z!DU@d?2QR4f!ikH zmD@r4#g955?kf)}EC~y6hj9v9S5NpZPWFTH2xa~U^}7~>9i#|M&a&tV<=%A^jC9c! z*C3W6V*Qy}CWvv(4kKx@*~dsEl<<%*Td)!Q8vHu>ZoUmIb$asPw)6kkvp&9{wW+gV zrtDX;=R=fj>fEJ|rH=&T*@K|OQ~<_f1Wllo4{l&VTwRrY9MBiMmMQGoc-|yt>}M=7 z>o3dr$^6IH0$X@Md9zyMS))T4?CAR*Kg$nWN1XH4gGHtLAXW(Z8d%t(kN=eHcUziEG;%ag@P-Rf|>i(Opg?Wa}QF zkbLlW_oT<)lYWi!CU)b2#0W?WJQ4!bkB_ka;{dbxuxy$Fb?x%3^jWnwJjl9~V_|Bd zOlK_~-NG6#!c%UO+X<&Ht=2cLr