From f151708df0f4aad9a86ccdbab14cee1b9f82d5e2 Mon Sep 17 00:00:00 2001 From: Spencer Smith <smiths@mcmaster.ca> Date: Fri, 6 Nov 2020 11:00:58 -0500 Subject: [PATCH] Fixed typos and misspellings, added links to potential figure drawing approaches --- Lectures/L15_MIS/MIS.pdf | Bin 657238 -> 657397 bytes Lectures/L15_MIS/MIS.tex | 31 +++++++++++++++++++++---------- 2 files changed, 21 insertions(+), 10 deletions(-) diff --git a/Lectures/L15_MIS/MIS.pdf b/Lectures/L15_MIS/MIS.pdf index 7797cd2d9f8f386983680740344b95e60cbf78dd..1772477f1c6f56087f9294dafa55576bd4df81b8 100644 GIT binary patch delta 16858 zcmajGWmFvB@-ECUz~HU{g1fs03-0b3+&wsh6GDQ+5Hz?Gd~kvUclY4#?z!ar&U^m% zz4xqjKlEC=s<%{E@80#4^lS|Mbu4|H8d%ABi5<1=R_Cl3CW=wr<i^#0k^;zSs`OFc ztKX1@3v=n)p~YSYnWaE~n$tWw5V@Q3np*udz5&-kyt9SL(=48)=6UoJ?6IuXBCJn> zEczl$dRZ)6i1CPg9Xo0YbDcqB*hwJ4HYZ^Ovx4|oT+5uMWSnvKr_7@GWQ&NWD=^c5 z<<;@Q!9xnCSW;6xTp8ND;!Y~SmMVG7^cp7n*GT%dO>QQ^>KebV^78Pgs@qAj)|3ls zi<L=uv%*rElD;86jrn$)gvOWl^3_l-Y`iYGuiU-pecUrI<H^?_KiTrG$mZQ~Ov;z% z%^`@uJ$hFZj3Uv7y;~7^;XTni{Rn2rz%6OKW(${lXrr#9J;>hD-q8o{#;xY}L`P`k zdh;JiB=G!b8F!kMB1}D5VC>|={e>ts*>o~kcrvhK%vhG4_;p)<7(yq`wm8tb{39T$ zGa@HST#i;nuCQV&ao`%YKU$R_=PROn>EOu{8K*rQoBP;xY!r`N_%br*<SzI|Q-1JQ zGyhSu?h~D|t&$z>l3p9jA*TMxG(Sc3hw8wihr9~B?1PJbk<WcK(LPx(a^zr_hz~MN zCkx+C-@BvE%uzdzZ}-ZbH?<M?STnUpZQOnhnjKQaiuUA<%-tws;LXbJyux%Xnkc{= z>1Y>XF&bmSn2K<&_ycx+h7$pXQ-VTOVIx&x0Z>&~*!>%PK5}+)=MQ$s!otXGik42+ z9ya9socs_oG#~?bL|egqiXF54R%fpmRdVLQY++em;TtD=5-n<E1Bg#e9U~BT$q^y& zU73vh3O+r<kN4EamD&#<+a4J*n33q%pm!BSE(jT-IT1MD5L4up!mv;!CG-{W4Ngz^ zpKHGb)4GmJBz}~0DvLR}lvl@&<VI5lj!a~WG0NV3b6MvDpYK`E?oL%42gGBsD+Xy> zG?Oz-8DizABgDn;XOK)~`e;o{%|U%k3>PMJL-PF^#-eM8GnGxAQ9JX_I#NHh!MNf9 zC38AuDZ_da)GV|q9+3Nu-Bs4Z#<5|4a#n<+C;_<yrMx;hp8`c1Fm@YyKS@gL-VCOU zNU5=9I_&L&vCu~>iOXxPxTSrZvJsl<lPgABM;khGM8_UYNt#*HTTz9Ov)RJ<5Pl`e z!-h$1HuQ}cX)F{rh*zbqag5VnE2VB$toJ{alcb_iR<M4q=lrpYb!th<akZZAm=Vxl zWyYs0Vo|J)NeKq8zZdVB)5}iwnOkuBbS|z7y~PUwZ!&KZHKK6!e!cj%!-#fEy6ks! z(@w&l8=1u5%b8rVcK3$6D={HvC4Vnn7Y!mZR?J`Qx5Rq!4Q+{*wJK>*&$UZ@q{=z% zfnYLFDCwMsy0dXM7M+#|A@O!s+|}X-atrby-Gn#$eQZ!V;H(?k!dE5#uwyw5ZK(A; ztzCTv`(62d6(KDo<vQFZ`?=C82k;?D_}YTILX!%!JQG=gx#}=tevBx`kb?Y~&hT;* zaoNlT^BJ}?r{hge*ykw#AJO7Mw13!f$f<%weI@fwL$~{SwZ$(E-bAMikOv>FNN8l% zjNg-{lx&#!q10&|6W>-=FV#7^Y{07T5@U@aSb~&^nQf_K$lXhH6zDtpUS<C?-iY(h z2NcqJti}DljUg{(zrEoVvij>bC!dxYIE6Y2@^8q`p8kUaBrJE8T;B>Twr{m0?Lxsg znL2W`e5Ip0>2SH#>`EK3YP#m1Weca~UHw?P1t&f$mv*^w!R#fSobY#zr@eun4^j!O z5_|lBeIr<5auiEl<fDhsveu|`W-We!q0<o9cy+e!MzGNxzS<o*WMG&`WqF@<6~xI1 ztrvO}N9w~3gl9+0S%!4>A>sgdpl(mF^*~r2cE~yugi|jJWCsFx{?&#C0fFy;u)OS$ z4g{d7{O1bUW@<d0KkX>27E-Y><^q{}<N)0dou>x=EieKMh;+`%ciK$f@y1`!@Rc>` z^~zD><1Hj2^6R%=wr)v_PG>pIKK<dEjB6l=*n)tfxae>r)nNB`uB1}G8(!aO_Kl^6 z7o-&gBt`&0<l}~{AS)oC6nL-$mPkX$1Xi<P{}*$(Q3(q17r0|yodB%<iK!v#O=XlH zAwIUXg}#W=F!lR`6frP56DIOYg)w63Bf_Dsdd&KdBXQ~P<NXFt1(zsh4G7eQyv~n} zpke42;|9Vp@Q*!K702(McHZW!avQ~_9L~g`{(P*vxk<NT-;HiMMu+4e0`UMs5GW#$ z6I}Uzq21A_xk(ql5~98O5>LF^V#=yE{88b=@)>4|pe;LVwh7$6NA?r>WTU{Ks#n+- z_SsXYD*M<DC^mrK*@j^usYYq(3r&ppjkcln+~knnTvMj*S}s;3UapFTRo{3?k0@2< z>G?iXLltE=F>fP3IXkzzwUzi2MO%TvIT-idWJ{&<)NtSTrpGC(HZQ@Bj4Z+7Aonm& zQ~+K>gX6d3!Q-l79js}oY>S7PB1!myj$y+H#P>3lNVcofqE|Ky<);?=xvBRr8-U$+ zDbJ`Z&%@gD3XjPJM=mL%Hp}rylLCcrF8i2|y~5V*5zmfWeVaYqHe92uS~4-eM}yz6 z@vo@JB%lzKh<c?cuaCfjnvQGmaYd#T*$#``%1pZrdAX(1wQbJ0toL_o^y+Mwp1WeZ zyWZ<wI4-g|H9c~_k=SZk(m@`Oz!AvR4?B@KU&o;n5Dv~TXN(%yWdA`qD0ybK)4F4E z@ypY^(TZLiRUy{~G0h5#<mvObc{1=Lgav3NJtfD}Z-8j_!PoVK^=<FCEDGiY13GIZ zE&rTe<S4&tM&YG^2!v!u{)H+gqD8BwRD}J$`NYvL+bWRX)%I7($Y8ADo`a`7yZ3nK zjCC<N@OzlFb#KM979bMy1w}H))ezaz$->>k&C<;AZ|kr5;pP2nhal2ZAav*@GEf&5 z;`#)O12ski7Q@2wu|qgcKn#%4BLrHA4knNVzzYe-1eyc*Ap4lW0KETZ!`LCgS#V5{ zLM$LFEI$WiI15eyih&J;!^PwLFBXprN>2++goB7rfpDOsj6gA104EfK1^6BKy2jtH z7V`R~vOv$+f!M%*B*WtdQUU=2P<}q(ED*r`&*w}j1jGcwa<W6YMSy~U*P;I-cDv{+ zhYNBq3Unmmew9ESSww_Q+S$p2Tv(W#O;eMDoP(1G3Kj#F_W<}I!x(VHP#Ji*P-Frw zj{jR;4lYjUItJVc(?0@l2*LdXKmeI=s*sC!a6AA32)ziLH99x@-*sN+<|gOh=7401 zz>&N@RkH}3nIV85N|Fw@4R}3={zpW$OgJuB9u7!ECY&XJ6LORZ2gd&|%HrVR`m0-c z0C(i8R$ni8=x`Q-g&@RW8G##?ixU#RjKBn5a$Azd4(QVvUK*^YF+G7K4QbU_NL79% z{gJQKs(lWiq(CCZw!ktiADKI~4Z>ynP9mF|;cfmVt@C?P(XPjBCk(KY$XbGv=9`Nm zA#PTbsSA6FDvzRXXTF)f0WAe3?qHBeFQ-(%`%n3n61FztCGU&t_4d?}4`f>+MC=K{ zxblE^$b;dLBy|di_9OZDpC>S-OJs$TMmZ}|>#8K*ulkIkG9!@`NJinH1yI;nacgu5 zNz*dKOy+QB5QTFV_m8V8b1|7xZm}r3A-laT*!`l2(r80EMKV>NWlKR(q?S9;DH-n0 zDQAEuV92M=0h&ThdLPca%I+~k>#}1DW)x<RKGgnBcEu0!`MDQv8KYPf7(v7uAX$i_ zSeW$zbJ$!S`+JTZE&>{|1}go86U^HP_Fjbu+RZ(ZXIZlEeP^85B(UPd2r_9f#~})e z#weOLH>r@d2t9aa_&$F;fwy$p=7<zQp9)+s8^hkP3Yc~)!JPt0lpy2p`0ug{!QJrJ z3B@pKfJlJ>25xrqa8bAdjaBt=7!+l^s|#FOM220*Pna^rs%sR*t>i?8Hx?mrA&i8Y z>L?4L<kty_>|&A8YJjvifp~9LSl~IV4%<RU5Ql%-4k8wjQ=`6bh1c@(`k8blZh?>o z7tX<WmiUu8v^xma6<@dt_fugIEm)IVOXBK+MqyO<;`z>hIDzUT0FGbCa=_L2dcI7j z@h#2npG*tp`#583H8+0N((+<?Y7mn2fUS0n^;Dp?de#ifX^nVR``h0&DDsMymPZV7 z8D9W;Y$5Ho`biEV7Ytuvw>4~}nr9hzHY-yv&wposr_lC<Wm50?yx=mw6bvrTjvh>* z?{<jX++UzRwpQdZ63N#}Rzl&OJKJe^cqx}J`x4bmAs+)!eFrs<8s2f|&e8kqL&}<< z<dt^cN5=Li@j9K=S;i%=z2(YG@Fd$3ujOZzOdqqrm=hCr2o?ImivOt7q`0vmpZDr; zbaTl~x_-KpThepdZSB;lNgi16ZGjJf?N>&p45Iu3)%v-IDlC<^5=D^5FuYrUlufN< z(Wc(Sj|<lcMgPDW!oWv<6b96p6PnZd7!4GDs~0-L_Z1=f0K))&8OPK0c%2{fp`JhN zZMhRw(nJM?#jhjMr1>!J`cewIMs^uOmy2Shfqd-Mxx_Pbn|k6Wv|`{)*p^T8wkU$} z)jN&r;#*1+WEh--R-JpwE&QLz4p93)16qm;Yrhy3baR$1L3>V(dYra#EQS!WWn272 z09sx&Q8BqHG)T*{zd~g<yu%ba-ea3Y=r<`9&x{re3DAFbl>!vJxzq}cvSVIlFULm+ zA7L$fc#3SjqmfWl1}%W=c!O^f61M`}ys?P2|D47zh;2yd;t}7$@y+N0c;ht7B?9=Q zW8#+qON~v(Mppau>Bc({y3MjOHGLA?&{{jew<<Lyh@Gw9?;UEL)5Tjy3&MGn`(T-< zoj>UPP=(dSQ6M1od+Y0kQ@#r!Y4z7DQ$at-R~}6OXSNrZpB92kX}7)P5|n8<NL=43 z$ygd%XkBcSL;y&LZL0C8BC27c1~M^t4lj4d&bOII5o#@xwD|_KM1}_?-Ey!`5*hz& zLkD;|1r;LCEnMn9a8JrDjDDL_yZXk7K~hWrb%guz@`k8n#7f$(-tS_nxfVt6^T{MU zhB3=K(vRH+Rgc!-pm!dT@1FE1!84>LOel&>D8pP9!TVY8(tl<?^*3;K3BRLq7=mBn z>I&<~K+(sT)jnN?pY`}CE;HfmLUA-rJFR?#e6TGsA8}p4hDtj8u#nW`V@Il7o0MWG z6ZQqg9i=yP#{Fu=4|1~*YkfpD3vvBvcb8r3q5s^=zT_(nhR#IWobCyg_c8aWcvply z_T2wI`y*um2c3|*xH&uX)VBie*sJ=*udRw&nc1Fwa-i|2`r!ME!Gh$>kRmxM`4Yp# zz<76N<cRYmRz^-hqD^sdjBon^d(so!J*9RP`(<J4xSy*p8@r=j3h#xexXY^u`A?)e zyf%u6gJ&ldxC+e;XX&R`tRrS-^)dYe+N6t3TP)%Z(f5-Vm<Qd79jzJ|D!coc?8FnJ zEa5Jy5a`L5y1om|?D3TT-p7EKAn1+ZivXEC8N7=P@F)x3^bbtX^B;_#5>OcY3jrAX zQlX!umK{hzG|s>yFSN52eLd!nz*+nuiRSB>i(J48SZB65cfoM4VmM-4-{;(4B-7FZ zz+`e&oTK>SdNH+dU(}Ip(QQ)8cv^(kBcr#Fy_0CC$UBnQxJr@pt`Sb*YU-Sx1)pUv zQDx}hj5d>#CT}a!BakxxQ$qG7K)YGYXf_tMOte5VpuB;|T!^&wI#0<|u-tPPnZsEx z=HM_MOfo7LqMwowoibv=m9VbRB5N|mcsOq-KiOtWG4jQi)mL?8CP4MD{_RH>nfhDN zWBy>F(DA{&?Wxh`Jcx+B|D6b_rNOh1;*X(473%Be7}Ew76Wb$uHk+{(%xGER)z*qh zvsF?0%1EM3?|G(2+_upi<-Cc3c1?aEMLIe?a9}`a^dQAXslye{^&P)+{qzHCTZMTr z(r^dSGe4PCLKJO05|%A|Kr4BM-lUv2%(eeE0mE_Iv6vr^N-oLF%Z}K-k;dqo&S|V( zp1DaX^ZK|)Lq4pJG6E);P3Aw^LSH=mziA)Qvz7VtOD0AMyj}kxM)m2cwYYa1%{OBg z4-9K}I^rmphFa^T=c93&U*7G;=Ec&~yWrPkCG?(|f9*EVv9Ng)xK&koi?+uWv&zWv zl0g8H`o`wtI#9cNPtSCl9%koWZfwx!g&_8b2lK@sQ*_rTCQ{EN@dba=bLp<-suLAG zjnsX5bt2{6r`@Ndo7>tl58m>{L}Qv7c<^>APeQeH1t+GFgD%URr#24nnqWYD4}8X{ zmUA-kTtJQd$4Ao~foQcj78^zT3GQswOLJ7HTg$q<^P7_amxlwCtcy-(4*!!Fv;?Q} z8{c1c-2~csKH)4{w_b0JEWH|wA14VUT?$iAn?zHrJP$QcAJ)$8$IG{kf6~dXsF2kf zNTzVNG~1|FuQpiyJli9y(=#CFHBf2W0~fK|9YPk`K;+2(4!Cge@Iu7l;l!YU{Ge&r zzwY2G<iv&MZX?jV;!kM*9>N*`zzr=qKzIQB?_k*M6=AX;BPhNC#(-l46MX*vf)x1# z{(`l)5X=(<P6YmcAwo#}F#;vj?gXJ-4*xF{{XfD#9Q-{0k!A+=72;|Nfka>dJn>jK z(8711(0@a7VKLAq;1z1V;zue-b`~5OR8<1RBlIeZ_~k2z{uTflh6Ql{9pn=PQh<f! z<oE|8FNA>5|Dx*u8Alian!$Ko=Oh_a{%;6gkp{AdgM9_9|C);>8`KQ@I^-__c_rRK z`Ex-5|CXaaA9N1;|E)Sw1iJl)519`Eu|na?K<lqJp}Q3z@_+Y#Qw2H({x?+#uyg$< z?BzWDudtVHMh*7i!#5CAot_aJ)I3z;!X7mxEuTSi-f+-i{nYQ&@>P?b+;_g-+%MrY z{obk<&WIvJgd{#RzDw5Z3BUw*p0u8!(8C$QpfK@WE#T@tegaI)kxc(0M?2vXjt*hn zDW4?y)gg=_jiJr@0<Rv?#fCx#UKTYLu7CU(;NjnkEXg%ojB8_*N1{N9i6c;0Cw7Qz zM4LUT6HQY@skiSWj$`Sd5i=!ko4(52ULh(1zZGlKY7*)|@79$g`%}6X%N!ObVi29* z1GnwadJ6}!@RPcs>;Q?loGYz+)egTkH@l&pB@g=tTem!XW`zjp0OxB$u=g|m<R(`q z7EL2Lyk|BO`v9E2`cKB1v--=0xwqNppa|1WAM_MmTu#D38z&O^(L@f|oi5-g)!Glq z1gsYueoIXP3<h9uS=Vy&rC0hdY=mdbL1zww6HHFU4DXjuOSrH>@4|oDj>vR&R|b*d z(PmZ8#V<5MiTO&O{KB@}!AMG3#Xv?pmyhrGg%wI2iGxkb&dF1<l95`zqA@|0mLeAF zo1;=p7zi>W2$~yzxA{iM?oLJ(!tQP?+;0tQob8&4@K{0AdfTh~1(C8=y#2rP2BGS0 zc<3~L3yJbfB+OhDE@*44aF{2%vWYCL+XM=o0Ot>wW*+7Ni!|H1;Lo~F&jxvNCVd&1 zifvym$nzk%SBZ-U6hEi<d>daC&wNd2i~2mvt8swvyJ2nl<{HrAXX)5_0zGcG`8vpJ z9>BNzBlFtWE=Qq_5R}Pi?(3J@d!Y6Jg7q231Mf9duOU9}*;pV;?h4NQS$l&f>eT0F zL+tK}xgkU1qYkeGRtXQ>WrWZ!PUnm!KWO;}w-u!k2^@LSwSsRZfq45)UVg66YKJ9s zHymx6=FCrpDs6;F0Ysi{Uo(ID^!!>Cbx<k*xzv|T-xfMbxSMQIertu}p_c~u#+O(b zSD&M!iwA{p8RTV?M76B>LVNbj(#`mji9%$N(wb@A@4tQrBYz|hN+l3zzTOq=u|$}& zx1PzJX~W+#z$lX4pd3=)r48n?fyaCh<_+-zB1mIb7LewnB@rbM2n)Q^3!hOOpELXT z5ZHlBYmK5Ure@cTL-nN<X-Z|3?bkH4KyegJvqezT@3!RY?>WoOO1grJIWzFMQSaIT zNu@bDvV!+VROSUX0YbxD96kkDVu))12nUv*8~S=8^1k}p{~QQREugNy2Lk3E5-lb_ zKlgt^*BpG@oRI1?5IuNXf5~Y{8Z%&5=g1&4GNGmR_9x<+!V%o3bZ+_Jx(F;)PMorM z$<TaNI+NdAS2Q&Xy_(ETN~oz52|`>M@7%4}y6F$Ya0eyL!fMo0gNW%U*IAJ#)#!`D zJ~sAQ=67F`qf#fkcge+?P_-sUxv3^2|KX<}(C$Vq(EVkfBkK+ZUM%Kivke&mQp!VI zR8`|tF^*dra~33JHLDzOL$WL>g|EG_=XJ(t=M7?+E|?@RsrB%XC7(VQkDJDZ%7o6i z##1EH+a!3pFbawrca|U$o$4B)AQO_w^-H2A<m2kst9%*nIg@3oOTkR~DNB5EAz>hg zG|*qHCyuN?T3rRkS!6=ooD4Qn#s9=;!_YV0r37P!Ti)erhDeAF!&4X#!fNj*kw5W? z9ntG67dv8=qKmL0UAYCg4p&>xiJseAaVwlARL6#?Jc_-zzDgO$@|Be=K%%iaCz-<r z#*-79L;8DgiVMseG!~LFP9749EVyQVpn4ofmjJmq;+IRXFv<8JJW}>oDWI2yoHr76 ze+bX#yC^9j97S0eopiVFx@VZU*bz%7dhZU)e3&lMDGbZ|%{F%=jz?Ib2q&@yj#k3F zVA38Qb_1k65Nt=k0v0z2{ylP9DC{C!S>w>BHFhW1`jATs0IB4eSSE-F76&FDEnW_8 zQo2MBrGyfkBTjB;af(<hWyKHgLG%F|>rG632u!TRMu7q^U!sE!38Rbj=Q&Eh$49cN z6uWNW=@JQQ>&t;HdY=mmJ-ztjq{Nyx89R9rd+y0PK2x}_+xq@^s@4iTzNJK=`A9x+ zGpI+!%O}+knYwpbwD1<=+z`I77RnY0#?N!F-qipH6=Kc~jp}F#yutm--!t^_R`RBh z-@YgL(OD!D|L9jFWw2LmVJZ(#kx&`k!eK7!?o4s<(m+9ghbl?z<?)3gNewC|0~$GN z*RSq(@}|{;)}DuhVip9fTX;uZ4nliUTVnaE^tVYy6oXZYP^xym?XYIz)%H+mEmOD9 zQrZYuzICU{2z!2v_@wSxuE9vVPim%J=B?#ejY$pZa*&eD5s|cCf7Rs|>&Z{|KL_hF zvFnvML?vw4$#~gQ+X%-*tPIlAEAAcar@sv8@%9J$J!ky*nph}ML1w)W>B=<_xljLN zYTqVp4iU?###hiu`JkMYer%*gO=(KPx?4^FJUnVyLvUtkjOTeH@y!dgeeSP*grDc; zt3PWVh_@-2H4?pf^mKkxB+gO#d1s-q_`=TPVt-#x<XtB2{{B%n6-@O{j@^gL>Y}5z zvvUL4U8P8mtXXlvAC-wtMT~ASQ>?Mx=C>TP&Sh1CABxt$KI)}q=RfUZwbI8r<8(I0 zf_L+Bv57(VvaKYap!4hbv^3|3!avf+U~THCMC{+5A66r|)_86pb08ei>!GS2npZ4l zj{Wkl$D}-2`BAchUJqPxmikf1`$TFr=Jm1RvYCHp1k;OzrDuImGoj7jlYIJ`p5+Q1 zJxsCMQvA>Mpa+Wy+oV$6{ms~Zy8gsV0C->xQ)9%w>HHH7ekY+us3VTH+Y@EO!mOq4 z?GRr9%oJaQln6`dy7!$2CqF|knMxL~0ghykF!o$+-{H%`l*Uc_tm10%piqIvr%Vsz zKvH`v#Ame=hR2S~yxilUH`jtY#j+-PgdH>!xN3I$3b_nQB^vK=9RK9sJ^A>@TY(>} z(xj%cVcuDGbSvS=1tb#tFB-h#yYp_+cZyRlaf)pwNMtXWhO38lI{Vhh#`iF|I)^(f z^LXbeErv=x-;_+0Glc48ZAEU!SNMUI@k(at59FIo9s30*vdwRWh|*E?#6x=fPoW1L z=X*?#??yl6H+%ObueY&Nl~!#KO{9aT_t~N?*-M<u#J#dG<Zi5`RTl6#yWO70Jc?a2 zIq|)F6o^CumX_|iYZ-Jnp5?7H4jdesteOzC;~$-L@ls5+?y_{RPnqBeqIg!=uImm} zRnk3GRSvbB|GbyQ@?lMOZ7AMbBbXahWUP1)yv<5J{jGAjFni=Zu4(C`uQ?AUTu3LG zZV(0e4Zg_wVN4mJcpCPtb~9IZ5#FC|j59bUHu>46cf47ZHFJkfHYAsb{waq@kNiGE z?8qu=<%avC^y@hBo}Dy#sx0Kjgzoy<jSHM}I7WKgePZBvOYJ-}$X^qbW3=Jnu-~~| zdYqMBVW2>g!p~>$r~6{n)8|xgw#yF+ce>KO*>-rbS`mKhgtXf7xclx8DAP0Pe84N} zWKP1P18(BovlxsQ(UH#2wef}H2O7d7GUH!d9!y!mvsjT;lE1k2A_*d$M(p6p%n3Hm z_)PLB_WorN{~E&AP&MQg%(6h8et~`hUn9G01E9NCWc?R%3ypwGVgFn3mY?U<K8}Ir z!BWPf-H`*k&@8a#4Fsnc|8ukND`E`U_{4z@Po>%%whX~F()1hb#fru(;Ezx6?4kZ8 z-wR{S9}J!2YOx(IX9>cOhBffaLq4KpBQug!=>|xa&NkE3;^(>^`ZPrl67(wqHyZC5 z!;+g1PUF%FT|ba2r%USgPIT4*M$NauHotem>5Sea`k>FGNu*i#{=(Pl-&pgBY+agb z)fDe|YHcdQ8Tn0FCV!cB--1gR11FQT7DioX9&efp_eM21>Jw>HSsRoz=8lP+oIe&2 zB}GYchRV4qY@;1#O#)+N)F|udVBmGth?wOuk)}Z~*8$|#UTSa+N<OJ8y`IzsYd8nR zQRee}Cs9~$u{GA5x<<<)p`V-TdJ+#fD&?B5vPhNnDHgFez1Mu#e7op+7UIwmi1_27 zr_4Bh+QRYq_JTlW2R!AFklo;825Kr&-E&)w;2wA1gk|uksaTrk1tsmZ(-x2n(|m~J zwFT*5d2x?=E;a5P=_Bj!N1k?rn@^T%oR+WEt*yM~dINS;;}kUbirQD0PA!%U);X@L zPb5pixYS4$N!Bv%d)tpS#wx6n1yPLr)HeeLS?jJ@j|BFM7{^+<oCU63dlCo}!^j4i z)cBR}Mi~w?42cUDd54Q{vA#QB*0C(t&9@f0h?x<iJ$-}Et*hrV#q8k*e{`qqcq9(- z_)XJ>AJ|+5?2gw|{iZwqa@OQWP9KVQ#xtBq`0n;G<&y$D-gpi&_bPS?L8Jz?Yp&+B zEmajP8%V~GOoo650a+bx)6$7REFs9I^L}AoD*1bn)5pMjY_~+U{sggGi7q^<Fa9o5 zY(_KG<f;?<j5LjJ?k*II=zB%&W`2Zz`;Eh>ew>NMyNV;%Zur&gJ1ZVOqDaz_QCEnE zD8Q)G4*{}%@(KVs_#xjmL1NI5DbU~K>EA8hI}3`0g{=K`l+6}Eh`?7D@Nc398n6sv z2IBMl-+rwCC->j2&jdaA4T8Xe!?MKl5^qn4KC4#Ft!g!woj8#xhn2fa)C=O*X!q>- z?-q0zjEQ?1Ez8DX(4^?^BpT4mMf4@glP3Od&%8<h5gbiiorvs)Xhu%ZYBI^=UjIhK zX96*p&Dvd5E}K@+Kh1yl`+J!K(WP0M`+bp9a*hHlobSoYQ!jUt6R;oGxTPt(-dqXX z@yODnk$n{@mBuhoLK?wDW%y8E^fpYAdz|JIXH@xu7)(mST~0}1?Aehj5Cg)y3F08F zP|sKB6AJwPIYimav>G?2ph@+KJU6(R?a-y+{2zVsa6(`8<?^Z&DDp1I9PTxp<8%lT zBj$Qli#jr!v?Dh;7w<o5s8@pPmEeI69D=?BAlD}#9!S<PNEBjy3etE@Y`yyFuCGvg z^%$i7Pqv5~!gvaL_p0t!mKrP{2ejoB6b}3+6QywpT84$t;2`2bC2v6MBoJ@b*QOv2 zq6jghP#qB$`h^wo4K?Iz^eeYT9dVo=GS!Dj0L_g?<PwH>+`n=U`Vc>JK-TDy@Ssum zh&pT#EmI_1=oLMZ86Tw6@3m=biljpfaVdT6Fyn`m!3xP6d~HUQB9W5+9fk{q4kGE2 zzNXs#ItLj10zCh54!8ukAXRA~2Jo?=y}O3Y<jaW(2br9s>rUWOZo?oUDx3=pPFI1U zK}|qaeKn0t0#1TShsy1jd@2hpr1Wq;pR$efjBi<4CxO1relZvvdPp>ivt0sa>bMN+ z11LCqUby&Nv~=sty)`(jR%Xfg6jRPj2^@FFlE`L5j5Iac-slqcnd5R2#NeWdfj#Qj z7=pz&<um#=vAuRo9#!b1k;*-cRpaq@2lO7=ABPT@zi^7{0`;_d@C6a`s=MBNa>Vxh z!ageYVVp?C|I8HjoC7~IXd8c!T87&+)qSxh;^xxSh9yu|0{d5d7=9k>Bs)G_tl9ie zY0l5TJU-fx*tpTAk!Mg!q)vc|&_+jp+63E}8aRJ10V-W(H71bS4kAOwb$^8GteJIA zA4>WsoVCV6yB<HSPy}Q25N$kQeuu<%UAhV1DI#ys(MPgK;C4#Ck)xD^j}VFOPeTYt z|6V5^ZNp4156HCmNknQdt1!-=8ztQXL&A)T1=P0TfBz*2>*1FyZ%_=FBLOX!fFscm z%PGG<MU28W5o*fg(VwD9P1L1D9qot~*xAke98x8RwD*deb~F&m;69^HJJwJ#(K`ft zY6Fym(P}>HqKbSo?CEk6z*%$oP$3+g$ax#YNn&K5hugy4ny45|x|W?!7syS5fh~cK z<{XrnQxY+Qq*or!!{rOs1^DNPWEi)=pvNq)FrB$?ozCOeZgq>mau!v?u9>EgX2iZ} z)d7)B&SnZ3Tx5A$lUHH0h50}4RIpc5=x|K%zG)Y36c!Sif0*mwEx>cL_U0uyHo1z? zCrpJ1A1cuv+rZRbZa!lqf*uoB^WjOjt7yC;L!%nqW%`Xo^1{Im1d%<(iy$}z>q_Nu zh74tx9%0fVQ#HPYg7-QPn2I9AXt6g-QQjcilVjxjnrC(_u4m(yz=?!Zx?}tvGR4JC z3smjk6z2hgV{dN(LAySZ&)$2se#@sTq=A^HvSK7*v}*aEBaU3F;A8SuO@|qeQS_wt zzWyYL50W}f!w&{KI}*<3KTEJP>$amr@!>A;c5hu{ME<djJ&4&&b(;$wV!Y%qOd@i6 z%R2b}u&bW+SgGrp<vlKh;=%+jw+bM+z7$*>I!FL7!Iq5|@LU^`uwzbsg<vfOo~f0P zn&2MJVRU~0hrHMCrSQih*+Ag$`4I)wiroQ!@ZW@daXtcnB{FfsKzQ$P8FPwAy(_bE z_LQ>RA)Ik`nfS7{%i`n3FX$xGS|J#Rv7NQ-Gw0p;hcvEy{7>dYQx5T`=r|A*H8I`o zSQTwhBF<4o%8%V&09WjK)@(`0Stjzi8&q^m2EIB~X&6&YUObh(Lcf_(t&7PnmwVI^ z{P9u1N&gxwWmuRGXr^CnJ>09>6GFKCY5y=9VyJ@@5*;<p#gJ>yePXeAhp=m8{d-GN z=W3oGf?<_b{lV>Vlyrv;8cX}UE_O0RW+I%MZBUdr@aryHJ?o0jx~+Ssn9pf6cGS=O z4*%`eU8|@7>5!|v@4MU6ylMgGidGhkv53eT)q!L1c_WyUpUz_)^Z3W}`u3gD67kmp zHNgSL&_8L>o43DN-r}@~>(_!i>Z~ABX=o-Jsk-2)KB|)5meKS6QY7u)k~a0k`KH8w zK8kFn)K))IF3jWMIcOd3_=D!sBUWn_13=-L?@x2v<!!F%k@jc|5D`!1!lo_o*9~IJ zokC&3JpnVY`H#k1Wf_DWhF|W8>7}18qDp>!YB~SVlS-QhlPYCkPmFgoC&015{dpBF zPfQ-aKB`9P%S*Zdr_Xl$IWaEP%c;(nyX_A>k;Fo@p7w|z{e7lmdRW#jYXSlccos7Q zK?2f_&YV5`2t~1H>3$ZC2DdMAm1W83(t1VHU@wi2k40^pFKd!X?R%)zF;->Kv8^B- z0Xq}nMwBm+yKOHpH^I>@v_k140IW^SFFu+qqesT*^RYhB`@mB(9gcK$td0ULs{+K& z(rKFDJ;P%g)O}yv+pvfWkcTlFh?=SS79`WX+2HaaZeV}0lS6v-cC^>g*2k(-pq~#N z>@=OEG}>!oIk3>P7-6Vi9YebNNWk@Q!Ns$&T)A(+SKw%ftjCt_CQ@C=0MRKo8ytQ4 zm2`z)9F^tg?l&8}Z^N<Q+bX)D?n5m4`-ZU*2HIUMN7ng~Wsm>H*#&U#u&8O1X}71+ zaX4;A4c6UU@~OYuTmI})k%V)tK8SP=F4RE(##MT4_TaE68hnMUPwKv@+V@<*ZuDT! z9-wtb!+uS?cGXl@#_`+{GS!MDVVu$0L6}LRK3<kPIyDBU_62e8y~m&)m~2i;7bE+| zZNd4VPsbhOXSpND;%b(q&)0CWzJ^!X(AoW7(gjPjX@HVYrG_44m(5%+!tE;$hDdaq zVDrSG&H1vyIx$Oo2c=5633qX0%`pI-3ZtglwIrjW-4NrwgB7+iYe%(0=>3)R{c1Gs zciT#%P>>E=Ip=@rsR#=NB)W6e8xZl$&rRN{#*Ii}7!AsPDL2<!%3-Uh&u1e^epnr~ zBISh3N6Q-Q_0srOYP8G$fpuf!wW{QTy*#R%GB@2$siFV70yTWVA@C(%suNWElQAmE z2X6=Ewx;GPPmMZ0{hXGuoxYUa&s0Mq4p(m)b!LD66kdHFha~=rV>zW=$F2mbj6%g^ zT(eNalj`Pvz30(!FB|FoqF9+{??+Q2zQ>XTujiz(u{p$2fOg7&nAD&Ot|~pEs6R&3 z`xt$ObcYuLe-s6?!x6oK6;L>Rgt6e7>XLfB9MJ_*Mr#dn#=Q!DgGJP=)iYd8mq;#G zTO4CZO>gp)4JX+{Nzsqz#+a_QjJ)kn#HZnIxx|qMRPmA$s_(F*N>0f{s@!Ig(_0K{ zb9ek|S^5ni`ohpMXOyt<T9U`ds+KRtxy?_;B3v=5RcIj~J?1-+IQwg)rRE_9bVj0) zzMy>glFEvalI!BhY;OCbie15|?viBA|9ib9Z)wwT@_VavA*D}KGRdVq@;4D(WmlwT zCZx$MgxHUu%MphK%lwgH%1mRKA0gp$?jFqn2L7=}oq0w{M(5F#V6&_r85)q;8mpAc zGRrTA=*t+w#t-%NXB)PdRIwTj>!+6cYw(LjbywJl@+CbfnqT^79N9gdG7vJ0F7ZF? z2usK`s8Y`hlOJ8a6*g|7@>Xe*k$pq(fVCU<A}QrFObOGssGZhTG#pa<<5^{>S=r!j zI)$dZ8HUSfDX1!`47`KOvxf2cfbC&x5hU0dv-^!PZnd|TCNl?X%s9t}dLnv39*0xv zZ8n2Ia-eE3kZevTrfpL1&2FZ~MrIi<2{P3$`qGI@&2*=ZJiX3An$N6XR?4l{Za>;# zy)`<6r=Hc7$<4dc*ZH`oVE^?)cK)8dV+obdtQ%U_Vv-1SD;gY({CToa46CWGm#du~ zt+im$UCUtfqrj~()6Mq$xXh%3RN=tYO^k8qlAvL#!O%j4Tz|P!PWIh*w-q3cT9nqJ zyvE&G`E|@nuRGzNq^iTZaFy+0Y;CQi9o6sF6hD@_kOXiN4m#C8q0%3BCH0n-_*=FW zAorQ0O#(T~tv-WO`4{k%3&z&Rtt$)WxAWFRM-9~w<A?})#C&Y-O_*>kciJlT;ptB4 zB{a7L1BL{kX<>ar?P9<Er+0gba#cM_6coI49+oqn7Tp|5{E`^cllPZB`f>7hS`hoB zov0KH7Q?YG6TN5|T@`Zl2j}(8z3iSOAzE9I;d98T<1n~wxrXs8dZuyDXZn{vJGTVQ znu-SAerb=U8~SleNlk(4vo2ph3^G4oCdUR+&Y2eko(12qUcWCbXbgeI6WIL<*C1k5 zbYx&}IvXnJKhwM<z8JM&_y9@!<;q~JPsyM-XlSNxpU$*paIK-^<*gZ|5U$VIqyFuq zffO(68-z-5_yJAs@I_<2T`wKNpm^3{jbSCKqQ(+Bbkbz4*It2)h<fC$Jh6Pg8wvM( z#MDc!+p229=7;hS%|TwHJpb@y8G@fyJcF`~vdPI@2a}8HV#J&g8vb>I%y=hLO#R}! z1>|kJ&2ura($CQYE}E-;$Je7Amp73sk7KJZ=DYjgDVasnjdCwe{7Tj3ZLd&h1wK^i zJVC4^^riKkNG>#pz74vie7a$_Br1@p%F;|@OPtnHVS6!=?=>sB_%<V>p0M-hOa41> zIDa*b$(&X(+Rv>zzFa;l=+?y9Q!Aay-s#t4*{u4_>Q)<>=k;om?CajEA~|eFC`JVD z(uo4NUsU7z<>n?<w9QIuY9{TC4$qAKN?ajFfc}(Jz!U95>!RQNGw=T82O76>jG93C zIW?IIz*0jio7Xngy`)I8XutJUK(If{Z`M)*KDE>PrOXz;*qqguc5R(Qf>P_9FYX7I zcF%jRXwUdR-JH}qTHIt-%~{C$Bge1&W<6uU^#OnY6Nyco3p$%;>6@(_Vc4J6-Qu2m z<_q#x%)f_j1D<Z}nN+q)grA=`>PY+BpJJc%vIg7*;@%68)LlpzkC)xl-aO}DNw+p< zg-6#8RX<6+xGluoyT_QYMke0eoqZW7!mxxFO+JyGj3nv!(Bb;$y?}}vC0$WoLvrG8 zaKwfB3nMs@Z0qy_<6cJS4QnohPu$u1bfo+A7R8sTl`HiiGrpC}h^(y&%Qsf&?p-#8 z?wQ{Z;@cQs8Br)sgY7YaP-RF1DM_N-k_oGyb=W1z!L9dO;}~smkv-t~Snu=0nqUDR z!0YyY<(bS2rSaU(C7@I$an;xvrqToiHY~&MGz$CpCZzd$B|IHqAP!3&ZtP09@@IZ1 zkm!%RIh(#uo_~EL%%3#@10Sh&<iNCVz~2Iu0b%M-Jy>b__gF^?>upf!Pw4^yU=0<M zzD#gOS3IA5&LaldiAZ2CZTq9IR!UUuL*%5Q`dmXzgOT;kzQ$;4hNUrugi)pm`168j z!(Gu=rE?3XgMpAsR${L_xECAi(_e`nmSxHuq7%L^^7bC)pDiU>lwy=6i#&O#rGLd< z9HL`;E9z}nuNObz#z>^Z<Xo9JDY)ogL;bB~Fz<kNY+fp``NE<7hf}q7=DFI3dz`*; z;(}P6-_D}H%{1Eewh3sXm#)A7F)&Sx5D4t7$r2@abIIshq>cZhZNlbmsoZp<X!70B zSAMO!+I%&~5WvG~@+lq7O7<-XvMH74fO~v;BI48TeoCft3(c-%N6v^AQJ%PBbKi3` zoNG~>qs>y}u8-2k3KKCy&;RuntG0Brc2lat3UJeLC(-=-KSjTgMF29&Yh44$9TG7B z#LL0K&d$XH5xGYq`43@sj}-GyevkMK565f3!q&~*gPfb2{Xfn;hrnx@!o=yTH~&q| znOFe5@Aosq)x4>zbyR*n(Rcc|Mx|QE1X|CQmg5g(8M8}-kY4d4W|znPSX@gT^RJnn zZ%-%)(Ui_*UTDzzIO-~@5q=VbI>k^BTDi7RrQ1Dw4Y>Cd#auZjWPr2WXvFvLtw~c0 zc}C+&VM2P=^u&72q9e*(vsPffqJVJ)KDowQ=(AUfOMfod2Jqk1aGnjja@x$p?t%91 z5EeqRKs`XWuha_{-+3_aV)*G0S-{kFvL65p5dmTsyFwe~aWcYjy7&k^@Oh)35z=YT zf~*(mYq!|+-@jJe>?$(DhNp<`a+YAhxrMU~$;kG)=SU}9+PI1lexVx!aDd;CIc$lW z`=er4@wC?qXU?443d&$;Q{tqqQIkpFh+R;8m{3Jng>xhM28$7gFqVxGLH6Ru$J4!e zf9%FiB5KGoRYAC7>dmdExQ)a0^mKAJ^J_O-+S*!Fh>-dgGW84cxUk|D=v+l({O8so zdxb3}?{J{)e8kjSaDXqk=m{+N*xYJdCCS><?p+Ofo>^b-GXX1H6@uO}dK>)Qwn8g< zUhl{Nd%M%0-L@t3rJt>#c-y1!A7OMn2@48>htAID7d|V`I!)5_@nk|Bf@2>yWp=Zb zSHIw4yz?$Ts|@WUySqU;4D|Qme(^59n-49LDfN=NK7P4#H-4CdAc22hjdzO{K|g{Y z?zXn>j-_(Ro@ZO`MyQZ*{eA>=tv<Ruyd2xF_yt5}8P-4OW(n;MhTg&f0)5=Q1>~Pp z0=8T1t{vr|Io~6n_eEnze`gzS9Xy`ROhi|&4UN2s{ey8XbT_)e7YKftIN#si+g7pO z?5<rsC>tTGE^p_*Qvz#DvC;l6jP7*d2AkruP5;^o9Hg=xWH?${m<zu*vfnb!U`>r% z{&kfw%Ec$!^mLxIXG|4F9TPREUh+kx{L9A_Iw`LQhpmA5y&1E1Mr~u2$>fbGq9!;3 z%{K&Gc>{`$Lr>~(Dpo;S*A%-Lrk7eoafdK9D%Np37$R(qW5eLM)A#MMelrsv2|4;~ z+(`APY<R$RtR~%wM0;+i5HIH9m#5y;9}CK{C;E$nX9C)@h<PJAe{>a@u|Z2%GCW8= zkMpgW7w@)ew(1|S!j@uev==Sfp7ZW~b(KaREen46PTp@lCW!{#xV>zfY;JD_`j}pv z`+gL;x4&_$$ru4UlM<U-)`1F3Dvp*uSi(2(CgTZIj-Ut#X9i@m@Tu<$>c|mfV@FN~ zPJY|^b;RV(9|wsZBw6_4DTkI`f?r_i?vlRX<$myRN*@Ftf(+2cOm>Q!%_~I~o2{IL zk+cjz^%~9~o!;=`JZL^0TvezN1kV!L-3NOj1Pu-g0%yVZ&<~Z`;bmP`GB+>Z58J5x zEWQPo`j1C7sgqfj)Y*O<rr(i=#r^jFm?b3qqu)z{#vE7&kn3Jf@p@@sXQta}sd`jG zF?LmEb|}=!zY0xafQVm&Ch73gIx2NAG2IJ92L@Xf(|Zi@6qvasj9_*nKP{oeWi-FE zAb-NHumabP&r`ic`P$AHgmXPZHDGXFLFuRFFf-^k75lG=ZYe#=l?fHL%C-cYifgt6 z-}7Xa89EMN=<r$7U6ezYxKgNV%##mhl0dgQwPjd*z1waNc0S%fZGE)L1ihBlW+D?6 z>pxA}WK01$NW>yPeiVWKyc>GEe?ITvoiY3e{B-%ab#r!e=<Oq#{afkOXz2pEA`9ET zkAuK%#3}nNe-iW2LF<Yu*$Y&-xGZw|#!fqt5ire)24%=o_)#!P?%2?+LOKgcnWi_g zm3znOVAUjD+16l@?8}e@&>%jhW+a_nnoLNu7GNU1xe&Q-ZxF3;IqNPHWjT(|K}}r* zo9i`w?A6s**I>Su&m8f@R#2)iVbf)!40DVs*on0KIejY_Rgj{?NI%x<W>#;RtX5}m zeMmE0uLIU!oEaR{c#mSay*MN&lB;}lm#;m29v?!yl%A?OXKaA2uu^I$>!?{^JefCW zIenvfP{dLw%(Q6qaE-mQ_*Vjn%pmY&(D!KxKNY&_>5qc7`JSrQ+6Ql{`8aZ3AA&li zSs^N}S3Rq4T0;<}>^Of}X%Sl<zJS<4uJoPm<JB&;Qr@uGgA|d0e)#Fvw$;X8L+&pU ziNAj{i2BiIGYtMF+}?$6ivZui=lRR%QG7s;?-1JN^BBZn9E{Ws{5=0msrC+B#tGv- z>Z73gq5@O#qLyglR}wh2;=LRu=+W}yyAQ$ODY@@R7xoFZ3)lS6en`M4-#}VIrIf_< zduVW=%=7uR_U-4Vh6JbWsoMLw{j<#v4<}|mTrHWb3FjVeJZ*ZyU=d;PUHje2#oER< zA@B390<1H{NkpG8TS?(u?h9e?g)Oc(?j-#MeW6-+9_?5CxAkup<o6Wi2)FqG0yF~R z0+s^70tEt{0^0%rK^j4EK}*44!2-cf!R-(i@g{P^{_6tRWRx!Wf0L@Lhy+RhJBdt? z9Ni_go$JEEl%B7}`X5rQiQZ6?6<O(@+X*gmP1J_!tVoa~g|33uLR+<Dg)W-y{~w!X z+jrgf-`7hgvDe*+lds>M6neGmA-Mey2ElwI6J!E_jQg5f*a09@f(49_*)(i@Enf}4 z05Y2nxd8_`7dgi(Q{CD5FB<s!&(Lc&L(a*{`IY+n7tmiylH5R8fP-J0gHM1%obNp^ zw>ZapaY<gz_X0e;y!;YUoLroeBIN(?E=Fko12#CgdH*RZqM0$WN%17?JAd>&u^#*5 zlQFiu^Ekv^bi0$`KB@%WU!I*-+8vtS_y0Dfl(Y9eR9SEWE<Tt1v$A0PP$Mu0GdC0+ zbziEuSP@YWF^8Vs*UUnSfu^&$LsUh?@Xw#?+tcUexv?es&lg-x{Ru`@#1VP)rKtmm zT=<1hYbi|&uwIDUNB+_;<u1GGl9qMW%!8Q|HIxQpYRRF57YhZpFk0~R1}CeHqj;wH za6>C56>XGB{5s-1#Dl8vJgT-$;1&;WbWL|}-kzs0nT2$W`jp30s?2nhOH&T!Dt^JD zUI|?|&#In{J0MR=7pE@L5DPkwU3rkq-O`m9(zJmgc%kxyQ5TH`UnhHf6~U&e(O+ul zdK~#H{#<KW8_zhLea^y0MBlV7h;-b_)jj!!S3*cdHTNJy2_LFh(n2I?M(km*oT6cl z;t>9J-2R}xakHv9V0^5=w@AqB=f)_(^a{F=DIcnStEc)`ig`=d-;w%ngUzD-vS-|I z(YxQygHaw$MZf5_ZxCe)!GKsyjEc4?hMXS_W^4&-{m0~4=+<ya!p&Vslz;MP)V0RC z%_n!r4VeV0D*)l$2QPG1rvj|k%JBmG4`nUZpCOv?{RZnr+AMOpOf55-tsm)9jqAF8 zsO%v!+{iOM@fOqEySr^$GAUx%I|DHJf7EoXfKe7VEn8S=7K~BcSv&$NPlPXq`!lE? zKA;$!mQ=%iDrN&w9(dyW3Qg1GDoZ8?q5%2oW!T#Q2P{{=C*KNq!XD+160;cEXom9p z;&kY!NPTEq==$}Y_1hIb$`}K&a%&r@K8vBRp`T+_JPM=uX&?@!_G#7G!H}SgZd)Ri zFBmL29aZ6F(72pO^>9x;D_4H2?|mHchI;lf*yDj5RoDA@T?0$|_rQp6Q8&BA`hl9K z7eMV}!k!;<YYtlijv8HVAfhz0;gqQ4YYVg2bh^u6tW3N$b6JSuDi41(Py=mpKYvQD zJl4Q_*KCto@yy0QB?I%p7G;jDR0v4}j2c_@pohX&DZ?Co-sh(Mu$`7-!5PKk?{A>c zUM&YNQ<nkX*=3E<BDFS@rYT+!zLZ_u3FTsV&oW$nwvEqoS3}FQTtv+p#GGjoP*i!d zGc_|3ZOXu0cXkaR)k9S<6`1an*R@(7t&1s#3HQX~7Q>%#4s9-@0Bod|2YbeW!>=DH zNcB)g#*q($_h|Ga!AIlqXyd(!7maclbq06$rOig;Xa?j8yDOiMG+b_@zx+0th*zp2 zLbT_ESz><TD0E`G>cn(_p3U*u9l=PXqISKV|JR=S3E)SJG=1G<ScIX>I=9aIljhnP zei}2bObw$No?V~wfTg_^ci<0+rHR^4R}5M>+Wx8)2T93kqh*4Q1p}g5O8WaxVWkXA zMoeXb<^=`;rK9@$fNVB}Z-LF2sUCwi8q(>UmmWmyzmw#O6nSR;BzzI70PUo6jwb~d zDhfKn6{a1ycQb2PedFA!gD13k9nhO<_l3CPYHTWgWH2-O1%&>E06+<00U?ti3%sT^ LX=tQWq>=v@uRYcL delta 16692 zcmaibbyOWquqPM0xD$fAySux)ySrP^iv<Yo7bjS733h`+f)kwJ1a}MWu;lyRzPG#Y zowI+;nW^fk?w&r=-M?Q|&vhc*TmoH^I#`Vn1_AUzD?|#Hez+mgFcl3y3E<c;vlPC^ zkQKTxZbU2j8l1L6=GbN~j6#PJJDV!kDZ8Xm4+lpobNHRY(CRT96Hb6U%K>>?j)Hp9 ze<4n!8^NEGaq2spUc;oz23Fg%rdG;#wi0_3|HzfDQi`y<Ho0RV)M_fu?K0C(EX8N@ z#Z@3e1%SHE99A{2nP!$bQc1iP%g1Y&K-~E=ovjL$TsL^yUd6uaClu*D6@BhY*>1<1 z^t$$MHH&@y+UguSzv;R9?}DE(u_)Eam8Rq@kKL3sPtc9^U86E>X5zVH3M^}+NIK>& z$rlD4nZ0G$sE-eB&UwvMyO#UiG)lhDfp9=HhrTJ3*`Gn#`dRj<xsn3d*sO#qpEft@ zFV*LYP6OMAkww{78@0o1>0;Pp$~n(QzMKx*s4!F&q@wN^u;|c=vn~yHq^vz+g`rAn zhNmdKOZ{muOshG~Nk$uJe8)rfvx1@h3^ZJgnfsGyUX*H%3fF^iNDjQHNl%aM=e_{) zF1%CCoz7lRYPs|`ocj$~sgRe-=;r_(KNQ#CnjT&ZiNp*xAp7N;P$!A<Nfs6x-Fi*l zR`5R@8m95=H>8%|t^AJdxa3}w+IW-^JF=>b?x*1iFWRi4=gKeWy~1!WWB){+4SL>g z@@g(8`bp5${PNm)jV#<n0gq(uV&w^z$%91?w}Otcf(AgWprL==fO}wIaG<%kz`adC z29UO*<}w>b*CnHu))%R%L-WN>buyGZ4(C)ae<(B>^)TC~&n=+`-De6ObSg6vKfLyP zGj6DZ9_^bqt)%(*7q<v0*Ae)FB~fWPu$VHk5h&kBN6%(3-HN<oT{%#~D7O{7%bsOy zsK|DTjj@=1-sFS5=1K*HY9;;2s^3s`zW}9OuR6JMy+Z{2fVGphQN-dL!^LE<fkMn; z9^x0)!_m*;cFt>A%p*pjmh-n-<{HiE-8p{NL@<eX{SbK#-KUL$@e!W#69$%|OtN3- zJ~El?uZ-`A71FRF)CS1lY<L^5xQ#IC55Xdky7`vAI4LQ-oAKRW$~v{VPW!ijmrBsG zfZpCOv*?TOr@+>hkIc0l<8$PnJ5`p=j-zTTxzI_n_K-JF#o0@Xpv?98Z^v6JkPOp# z5Z)n@K%bPfAX!2j^*B050&K$NVso5olt!haZd;Donl^s=*pOm%)C;DfBUa)>{On%2 z)5181Il2^bCRn~=7ePL<tHvO*MN|d#IA^lCq}gUy@g4iNc`r`s-9WQTjJ&7JQqV$p zf+E<EmydE$yQ;2=G@RgMP#K+@8})JtU!J9YrztqW!dK4!JE!sqd5KpOUqlQm&hdHE zswkMlK7bepI{>`+$Of9hS1o(Rben;BIoR5utWL?#^Lkj~X>k%h8apbUcf10*7x-As zje<hjAF1Jvw=hlu71@o#5POV+7N9rA=7Xw9%rp-b;QEnk@BM%)=583zu)XFThdU85 zqb9B#O<#Erpz4sjSdDcZFPzK?jqqA7&zF<iZGBLClzHzlnWiH{tQhJ&gNKKqnHSQt zlq@{Xo{=b;du4x1?^r!V3r>KtV2kuEl(y+Kf0`8}D-9Bx%5wi;YATwc@Z?2?@=`)a zUvYO-j)yLB6-9^|oLN6=3g#e@Q<)J$_vxL|{R0udaHiFV5U;ulx=1<+zJI&_-b_G1 z9_Ks+P-`VL89wU6QhpSLVmhSG`)4|Md03k}|9x_`a6sbXB!dh-K{vqwxWF4TK<ws3 z7<L!{C!`k!MhynQ{f`bz4TMoq_*5g;7TEWz`z#Duf2w#(PlZ-M4k|<M&*Qr_7BLl@ zh*VzMz$)BHB)eC5WLkzaCY{J3ISz8kX+00n#bd&ZuVWTl-z&bo9495X69^-Ug9JPF z733-GPAt8~)6%RB_K`Mj24f(=5W+))HIhdC!R!by(x8}bXnf6fJ!q}cgMOip#uYX^ z?-7?=Y9A<)ip#+A19|UE;4Y_ayzepMpd41;NfH5Si@I@I<cULRasuGDEarG`a>#k3 zC~ni%np>o+AuJ_68=K3mE&$@~LdXXq<eN`p1j~MR*TNE=70YPM^Hs$7A-?uIC%o5Y z<BuPm(cdLKc9q~HnQ*8_*_3+jG3w|!woEq&gOL$oI6y7Zi(Sq}ZLNCaMy$-8&y>6! zp1npznI{=5v4_3XPG@Ch+NTA#tCDNY>ntX1aE?EVX(vq~FprD1JWy#)m@AKBGC0&4 zCBB08cdKM3+6A#+Y8BcUa0ijR2>Ot4G1X%Q6T{S+jC6Uq_~5wRMEDt04DRU#m}1&P z-%lI1;eu4BC_5e7X~qIk4%<bY=lsepM-M7~pzz7+4Ps3G)M=q_Fm5HzxMv7!+fP;M zen_J$yu!;G#W3F=;wB$EI*dYN<~$PAUz*tMS`%IG7%a*uF3nlS3b2PX;4qJ00OJKY z#03VmEMGFqRuk9)Q2|{wx~lCeDncw%P7rKpFOd2MT-o!1oW};m_1^e2eaESL(lU>u z*oNfTRYNcX1c~RTwWP4)G!|;`uF$j5Y*2X1ch)C9CZP!GwJ*<`8SSdY<WgPjL8VDd zT*;J`()%npq$2JqKd^`RzocXep<OBzDZ!H3j5~_cm>Tg$I!0pk)l<bpezt$t+gq3U z>Dl@#Xpzm#hAS^EyyGJV%@@4A(@k@f_$Dawg3a|!hcM4P@BKKKe)~4Pb<bh*+HKKI zyKjcnRfjOCbyed$xAwbH*kGO9rRuw(kK;NJ_;4VxQBWij2b6-Hm(9wODXtsBMz_>w zFex$&E`Tc;6B{Cj45JGTV26B0g=vF^=HUZRoC4{=WFoLM;3^Cl=C>KNhyi2yHfe-0 zVS@hIVgPS8m@xX#y!>FY0$6^CB^C@U4w!ux9vhmE9TG?blM4H{YB9(gOu>TwrvT#3 z43hx!*IOJS#SVi717HWgO-5{p0~ZWA41gCB#|twD1K{{q=_3e(0Rvv20pdWiMPTRv zZ;k&~r?A9e1m3)r#bBKAImp<^G>}9@SY=#YyvT%v$XK<s*vZ&AI3Y7)Fx7nk9&qUC zTdz3yz(iZ{Vvt{Ou<}UYqzoV~G$$K`8w2)~5x@nZ5`vuufJrf6QNT;5K$5?&ZV2E7 z2a3SjqH*&5ZQ-p}E;4pbe(<>nED?YWOnwTF1ECOwRW<_fK-_X*cK`s+|D%Vcd9a+& zT>RjrJXq^DYq5M-&_9C!!_LkAcjOo|3SdbA98qtB_jbWS$O_=C1faP&|LrU{7v!z8 zI56OdMR+b44lZ_ZVJ(mjv}53`xh#kEQftb-mN1JuchxbW!=Mc-A$LNP1LMMrH$oc0 zEan?r==62)q;9Q@ny`C_isJo^4<6-&-R#WFv)4p1{xH=?oRSEgunw|V3WS(<QECL* zj9O%c)ocTZaG29{ln;8eT(|M;>MBV*lNPX9?-`xZI>{A8iln;DKyr5R9Pa_@)Wk<P zG0+NeMOqjb>LZ#K9clw|=4KJz8hZ3;sRs3kXr^qMaKs;_U+vTlGAYvQ-%ChjU9$mX zHd5vWsMQL+Lx_}k*v9QMWej>?Pt4OK+iz9)zG1AlMg{h@MpeKfsBv$r`)8`8eaNg_ zPfMiRK*8V`Np=e)290!tIrjW?jATXt@+(q7w_}u;fy1Q`JA3!3#6;F3l+$|1v5eU1 z7O8V1puhkZuI~=Hvfl<CiewQnpuRTqeIj5v%*60AOysmsqYxtdY>UqzH7Gx<yUv2& z1^tK<NA*dOpjB+T2)Y_Uk`HF5Pmf<3F<Bh09#j59EJ;L@I|$H|8s-LTQGx@tox~U) zvl9bIbIX5^UB%}Jl`l<&_}kw#NMeXO0;-tvCI2Ke7u^XRFx7KIrX?cd6?M}igPFoa z*P}QTX~vJ9%+uRADEDPOS*Z^YqwR}q#b1#OPKFX7$1AGz-@wucox!7nF>OHM6k6xU zB(@cRIZ29%09{G-Q?Z)HTuGI<4whLalSFeaF!X<wLyv7>H0k_)O(p!i=FKvlxM-bU z^0=j*l{i9A14O1da2Fw7Q}Vx0+tdGbA##SdcywOFxAmza?+{k6rsFWlV-@y+X3>tp zhLZG>PE90KM`>Q6-)V)~Q{?%GlgrDCJCvIdt2n3kGpHSIiVa&ERUP08+!`MCo*VsG z+aCCHgrgv?Pw7X_^2LdKR(k8_N^*I0fZEP7`Lx6^e)eRwozDDE4DCGO*Q>4j?n{%^ zomGraHm58>xp4use)QvP$GwGes+Y?tA2FhX-1jDiwdYu6z})$|jYSTXn_qN0<j^ln zV@!gdZb00XTjn}(7^P_C71%?`hYf!|Ocy{?N-0w+D#@lq9UvE8W96Z_%5*loPjncx zrM=wXP2>cBR~s`qG&!PzgecmWP8qmRyTG~q3T=&UL607)(%tNB(`}y3=BK#^e@ayA z{PJavnewHtX!hH^kWJF#)w!J+pSWV1dXR7zzB}j}zFHz-?B@hv_tx$&_LQRVp&WJB zl?gwd)OEp=C$r#k8!?f?*hUYJ)Yw=jwy~-k)cXMNSHgSPM(cRhv}KWkkjCW{DaEP5 z6j+zDE3y<mqRnYtxy?~E$9A;lx#ci{Rl@iIYTC5gF;mXcHk9c$e%7i>(wHd_meoc{ zfhwp{+?rQdLA2!2mYA{fm4y&#ZK9s&NbA;6f(r`AuA=yBM^F6w#+aR(zNHhVJ)w!n z`|S=sQ36vVl*Xyw<sc1}fvuxJ3HBwt<6esGrKa(Oj3U)E;><FEpPX>lcPRRnSN?PF zmtJ7GPtG=(r6KrXz_lp|R6sc181|nc`w39&z-zbFiw9r6<GY0crg~L2WT!`cvtOq1 z(N2~!3xg8~vPa~0qLkIIRUdn@t}*zUpE3AW1z?$_UqfQKRZ+{gT0WaF&E=XJSNBf7 zD6<y)u`E{b0HxS=!10?|brk5cow61bpN&6O(*_G+7QmW&MqV$Ax-`h&SA{^*Wg(!Q zSgXBtLF!@oK)UzJFO6xSAFr`}DPF_+4=$irZ=SJ73a#Vc%5ssDMv^WDTq6!qoTlss zPFqQt3hKZ{spLbc_`LWQ;uFbR7hD5oiJ49?E93KlN%Opd>NJR?d&_dKlBuq2t@OZJ z-DEY_*MG}gfVfCRx$LzwyGu`B!XLCKU~3rjlFy&hMF_v~-SUE$tDHgzpdE3eg&C|{ z+4Det7f*f%?^Nt$Mwkz^yg;&iXIr|lu)rzX8B}ihh`JAnnM)KzjEjDr@jOdCHO>!| zl#=5)jXOX0l}WLA#%yv@J#e-z2vU7ezIzzJ4z@3VHM@lhSuFsXX`qJ4i-6#Iq)q@X z^pAs3d|UvZW%xUn3Z)SzJ;uw&@9F&)9e`DEMw^!C$tjE94?AXIdf~j4?LYvs=~ek> zrEbxOgYB!!wZw~FRzLl#27=A-z@;3V`JE3Moh8*WbtIdYjzu_(S6k<7gky%2WtmE& z&s9zoO$yVb4U35M3eyF#BA|C|V#a>(p7+IB<5jeSv5C#KzsLzmC+dvc`JAMU(jx*} z-g9eF`sKDeG*W=6_Lz?f{HYl6e7<(IX=}G?gR28pC2ryZ#sl0|b%WH7cy0u~6}CO{ z3X)(OCQr>V@d#Fhn)FpCY(zO_y2hQ6wdd-%TU5+z!^f`L$scEjbb=B$<~K@ke0a}B zoYbyvWWeD@a>v(SgvU+J)c2<DtaR;jPi*I9{oMUN#x7BAjRf9d-`;UKdapc)wAXlu zV?5Q#iZa3Tiv}lN2I?d@LBpT>h||6RW-otEsAt!i-b0{n)YFOymx-qxmeU#~*t8?% zDdUkczedj1a(PFts)NSyq)rzcZR>dP3v5gI=)PF9zyCb!L*?@a?=z;AKRd(V4C56a zvjWxZc+RrZ2jQW$y_u?U@7K+K2Buq&`7p<hcCaH4XJ0N%*Nr{LFJe+NG{PTh7rY6l z9PBSfaW^tE7QL~^`NGVR_g;{EHRS|u#?iYusLXoUkn7PG#YNEWhs<l-16MW^?)dH; zkw0d2!4<Jf0l`%$oBYDNx|8?PKAdzpDy-OxxgN(z!+cd>{Akv>>UTdFs*+>BjdvfU z=;3|*+&;SUjUd&!VHpm2OfN3gNyTzNZ8flOY|Y}EW)AAS&FY_?$jh_jJ3I|`C$_+M z3EU~QHE1@&4vc$hI>mmUn7tomNt~@A-^w4S6OE!l&r*p+`ZG`0$?OvnjVkaGN=;n_ zHoVbHc0PVnp9O7ZvH?GeL0mr8p?ckZhcqT_?cWF<ufM&(qd#HEg2nS-vHydLL8Nx! zY5(%FH!Ot%2|0lO2>@_Fl#k#a0RJ~2%{+k@d^4LpfmeFNc5g7u^k0aF^M=>nfE5Wi z<Qf|OFMvY<51hi2!SntD-@pKVASDF-48BwT4PpL+2>Cew1zFI1ypTIVpa?X8^Dh=w z5CMk&#lquaz-z$YI!}R=;JQd4D&$H6$SwGW_85YJYtR6WzsAI&K*cv>aB>C^8xj}} zMF0B+e?1^?9-HWI?thztlx6_4-th3hf<_L|0rm|n{^K)Q0BnbT^XV!8szFwYfI)wo zHYf$cz`QkNQVvA=-zXUz6b@vDR8#>spx;VjYk_2c+nwwOib9U+fjuzqc-~OzU*0Pu zgv6?3?PBX?N5;?gPaKF5r0hD&hS7PetC!oLF(2QJ6=g_|gZl|)bqAJ6X|pLA%T~Ul z=HUz<WCdB3VZgx<K3@7NJRHF3YLi>Um{xQvd(bOqM#c6Ll8*B=&SDt0h`&F=#%{7) z<l$;)zdJq?0p}GK*Y2A{lp@$uCrj#Fb;Rt-Z0Ew1td#EQ;!p20XlqBa-E~fucCSf{ zYA_8UVU9aRuY^dQg`FJEKzCp9;@qNHkK=o4`sq6=^#Pt8zM8a_gR#x!haZ|^FVO?- z+(VIMv_xTiPTMHzBkl_7i-4$v&yeT1K<Hi+%rIo~a!NXc@sF^Mk<`?o8zT%=p_pSS zgw3D*IJgc2ss?+GK#-*TT+c|knAj$=Q%^V*&x8!v`U|1J6N{T>+P&jYay>ShUaU(A z*dMoJ@sh)O95Ov|0X-bhFWE6(5u#Ws_`mukN5s}E*&wG+t2SRF#6=@641Z<_M&OjG z2!Z;XkpMmU66;O7#p~v}Jqd2u6AMQ}PAkjtgxW8{5}U0NAR5(KKspj%I|)%f?XQ;j zp1NNjFcc?7B31_?)0e+E|2Q^Sl^U&!I9K_BY`k)2A}m?rc_77+Kn?N{;lD(A^2=0> zU$jp9%F0xr5^l>&LRyYWCYiyvn(p$&%wm;Fri@qBp4Eks@CGQnR7ihv*OPD$)$*Xw zEaDU5Bme%L5Gcd&b<S>jp52yKla&(R>PjOm*uYR2_QQh=y6@NRv{Dkv_`<a%8->;N z<#)NuB&7B2x^n|Z!ON$ybLCE)bH1K0OZsP}@7iW#-6yj+zCfbvt4T^hWMr1Lcao5J zIN1eRSxQYZf%%FT;Jn?Px!`Zf<;<#Z4AIS@6b3tg2GEtDZY$T+7c}qM*}6^SW8q&v zhs^5)PoEpXB;|6x?aQ%8i3X~|UlR{X2`o2wgAV)U_AkqioR4A0DOqk_%pDnoL#mWZ zyLg@VPmqUGw)8wd!}gPjF>?I+NyziNn;c%v)kg6u)$;HZ@|)4!f5Dn=Tq=P~E!V1c zFz`O32npmv7MzKTwff*mY(WvV+}!9eb!Y;-$cw_Ha!cOJy2Kjf_kxb@hznXj2?<RO zF|-Hj!)Vi_!zqrd=$doyZS(yc|9t}fz8xrzTrThYp@?4DH0nTh4{YJEEJ1|_A7e}$ z)A=|%aCX$-4oTIxU#=J3Kecf4M1!ycKhiLXVv=2fiBM`E5tnrV_5VFk#liO<lo$LB zNcoosx3>d-{aq81yMT0PeE&I{*?Hf>y8rS(eP`DhIgFQ6)30j@!F&O}H^ka<L4|Oi zNQgG5PAif4D+>8jzBLdVZ_KZ8o+3MssYlTW+m)8AUXL%23pEPn(_u&8jJyv`Y%nP= z|09Z2!{)1DN66;;UGDn|LM-==+?~&<)Rmd<dg=((h&@W?56KuLp?V4X_$*+&J@^lZ zJE<hlYS;|@&fo=GY!3&Wi_sFbdhDB&-<X%)#X5=;6C+wR1)sQvVLqZpHHDOTA3S_) zsQUsg;&eVxBS|}nAf9YbyNJTBqv2$H*fIc?8wVE~SZMti5kXU`hYp|dX@erB!|Ef? zyYD4YjrEEt>mDUoDey4B^YvMPO%gOHpf4ZcH#ZjNcbE8xHF-GmJ9hD}Q%@1~R@CS? z@b8w=2g#Nq5V*uKT~#ve{J`RR-$=rvL(PGDC=^<D%+>5k;cR4q3q-lr!ZUVJ;);^r z;ZLxq#rY5ohvYWWLNx-7kK|51TAst63Bvq9#Ppa8BMt~>^@Adq7$9UeN-~3hlCYiS zhB)k?MW?<q>dDskct$K1niwX;;r%9?jiB?7J;4$>s)4}^*%T%mSVwkx-?J+j!izyp zy2y4XK*xg;g3{sY0f0e6g2Ka)kkUhnfL6?xs*fYyM^@p~?Ss05Mv_7pq5g?q6loR0 z)7N7pBPEX!ohOCHy<u+^q1lrHf@cJbOhH+~9!#-khy2_}JQlOL8mB!vl5b(YNye1x zo~H<S+%rwebC_95Wq|#_Q=o*FLaUmoV`aEgQVl<NUykvRwxj)<OPU+oOCZR9`WP*{ zgFeE6lxk6h-?8tZZOAA3@;=Qeidon?bpQBdbYrc5KkfJ)hfiC^l&Px{G&1$su1_S* z`7HWa*?l_NGqr)YAOX2$Q!=@yO<(h8cJ^iFV(PKCI{4B-Yxd+|N@R%<ZSda4kK%@! zgiLz+GyiQgBp^x5B7Nd;E-iFuTxp1LXh*X!-Th0pFtGgUe1)P(@ruK}VQv3BkA82y z=IO*~a7~4EY;AGCNk?J~6dbVIm^c5^em>Qyu^KJ5@)sp~gYBa0;yW6#8GvEr>S^Qh z@(;dvIY-8soBC-UYH2cppHZl=Hmn1UiHidd{){5a@42@;GEf^tO+@$3ii^MS*OJ;U zM!9niM;*}B%^cWe&m&;c=nE6`%6jYIrS0vmmVdD?Y}_azvMJ+Q1R*bQ)Wrw{6#i`Q zyl@ktZ;4gs7iKwPud?V)u)W-56AbFOw^xg+Eb`-Fsq7#i4)XU;QB9<k_7{4rhnF?_ zp2_)qzL0vO^5;(Y^W`ic56lQK?m%j*sT|^0S?<`9T~2h@-kM7#NDt>d)wK^!z5sLU zsgwMc3JW3~mzAa_0iEnno_mn}F7lFBR@l7tGvO|P>zF#dE77;SE@#PgivRZKz2Grf zD^bbZfI)Nf*rJ~|y;Mh=p{C)VCc;(gX*c(#jm84uwWXz>N1GVPHDGj>{tXGOl+M6r z+Sy-p#s<X4h*=7o-mJ#FrW4c3P4_p~SIRYZqNW^teOj04P9PzRPwh+tvvRdX>pY(p zYzX(vSDDw+pyfbZOc(a*sDnSsQhU|eUp`zlEoPEY*eDx~k<>lds;Vxvw{f;Aph6VN z)&&o6ju}pWu0I5{(w?9P$VjicJ7`t$6&F1X^xp}8`Vy_7Xo{t5uaI|`W!Em-zc;bf z$Tc%R!=wR%x&oCvBgWFCRK~`C!*YtCwuGrmso2$>zm&|>atJek=DDkZu<|@i|Ney; zNA&4sIT{LItlpcFW5wI*kKvPZvN(r{U`(s?<l6Gh>rbf;j6*jPxKq;=>BvfzkHdK> zxP9W+tU?ddFLAU*F~*?B()-8JPeZFUJNePSOH@FuOyMAT;oA%s5J_b{6vuaC%3@~> z4IqIox#b2rNacs?+5^qgANvtux%RY~G=Y!IzSO!Qm7GT)Xf5?utPa)_^svg;F8U>v z#ty@M`<c-EFWO>fKYbOMUM1z|n`$^z$Z(C9d`6q)OSRVqem7n`KiZ2dXA+}jS288W zB7LmsOb`dvJX+S%o&;42d)>0k2IDqInXE@nZS?l{dKoNRxvVYGVAqz_w;DSxkIV{g zn*N!-flx@_O^8BzE7!ZLT7$SqzZ84;Pffn;m3J+<?5?f*TMlLh7(xtw^~)I%$gtc` zvi$LJ+6f=kUJi0?v7vU?Tkl+43WyDu@9#85JY5ArfAd90zpaf8fMBh(!?~TElH8W- z?l3IfZMTd0G6LF6q4rIFQv!W4kHH~kYZX4v&<Ho^bzAst#1mw?m{Ij&gPi42cu_7B z4v3-y!OUpLUSSWDFUZN4Ov?Ym_Q=om{~%k)T0ig)%)c?^&0*j!3>fPH0SmG;2DJD$ z(hS4*7Dz4Rg<%8-O#*8`e*Ea9GzDw^PwK;_DxdY}4o5yx0FYxS2l!@V#SXAEOf|gJ zPbvro870y-r4;7QQ*apZVRAQMO-xjezpyv9K<O|cIsJ-fsE_Rk^dc8V1!7bf9A*48 zh#IKb+aa(pBI880+uE(d&^fH^mUPG-_~gy!jAf253!H)HOH3~Y1?Ax7d)X`P@@qLF z+2`Zq8ETQohVKzyxR}o1iJQVbUtI3yt8js0s~N@|ch5A;_^^o7!?05(6QsjFVcChn z(NOqM)!zK};oGbW30W6{r+W9vt%q|c?((y~c)mN7m-hxm^H=B9sV#~R)6$MA#zwDb zlX}j}0|1@2naVjukfm}bKq4k-F2sZBqw5zxb>(^94<4V5RFN-%*I%o~&3>eqQ|uHz zREO?pUhn^Q9PCAIczz)7IK-~=m)1yazFr$OCCYkLZj=vR+Wknpoi9;1>PI*&HW80p zGCADhqPa|@R`i&i=D`MzCSEEbHj-YM;+uEg%5HR|w<{&>0-+zZxsJBE&nxC-tr`>F zW=V>(D6i%|_|$czI=g-xoE>b#F2zca@@8`n@!TbRY*7`4<ZB-?d7a3|-_o~F&b8O? zl@wG8U5<C`%no8IS}0)!)743B@NEc2m8-ftXF4pi75|nE=^C49ahtKY%>NGf=*;!U z_FeS!-0u)^4A9KNSk}|2D#CP7#+AX{K`k1JtcJL?h4|x-z0=UoC^|j!Y^oMlD`$oj zEVx=?Q4EtG6iZBqRFeBXX{eXQ_aJo;5xEBu8PC3_lf#Syw;DsqLl?pA*;?Xhhvl~| z-tQ<5Da(*6La!nt>c+8M^eT6IX{UyWNtacntvjrba*E^;yq0TsquB(jmdiE!@+^E% zrMmavjtp(n(j&W5Yw$%xo_>a<we-*a?;k%WI}ez58z=^$m<6)EWiS77PMdjP)IZ-j z4g|0SM0g{L|7J{xSAk40xSapbWcf=2IntA17$DK>z$|ExlmDJz-ij~UFh1s=eC1Q^ zw(3(CQkA}HPl;xMca1uI`+<8k-G&q5-o`6(ljzhL2D_<-bn=mVsS3oYYh8IaITN9= zgkMvUJP^#u@H)(<g*}@IMErgsgtFRtipsCi2n6N??tPY&J?vhdqrN{7Is43Biiu5@ zu`=^=Cp87l<Fl?n@txp`|BhRZ4%IYXq*4amP#JLy1BKqAxr`)DiffWOn&VUTq8L<0 z%3Wc_m&8AR)L>M>vs*xR_GXO|!$HB|&oN;t=4M}U5=vXup2&(q+gNb~ApgV4!O8va z8X><8H2F)X%lCkmuy4s2lw+V6A^Y1nX&|x6ICGJ4^8A}adJ{O`1Wt(UG4M0sja|PH z`L~qUDNy8%x{IFyHQpizZz}gUX#Q6M1OFBeodJcx0jEICfBC%QAE4)3#u>792|WEv z&@rkIaUh#Fzzrhs*bNXDvVe^sLJ0nWjerYbWJSQI0>5KLz=7y#B24jtB{UK6AYyR{ zoI+s6xHp67A%qxqu;<X*Bkco%F6-ZA4i}P2k7&jV4yJ#r7if;CO9;L&L&Sx61|sIN zfK3D6w3JndBxGRpsyD69D55U$-|$2ikOrNfjr~8l1SdZ~IP?LL9&}>l?1??t@Rm~g zN-CdcvG;s}<6Y?#9twqKCh>uOo_W#4DQ_W#au{*Au3Po?rvl?B1r|?ejuBG4ET^#W z>hqP?Z8e^kS9-M<M|#ZFjJ6EH(^dLcfT*{1%J&H^zf!icN;9V5Lxzaxb3JKP0((a4 z_+$J7#?stgIWbx|8&FwOX>)~!jwMoDTH}Jay;n+~R&^R}*N8Y8myEd|2PUynX?cLm zqJm<)_JS%SmYSrQC6+*DL!WHBg5YK`d1H8pOql{uma8P5f}lE$go99erqC88h#Zmo z-TU`_?*nszg`wX7VT3TsMY>$*v2sPdJi`_vha(Iy<2pJzvY;aQ^yY!9xaRb062+P- zCo&idLPDYp%Ti^YhO9iLzCm3T!O8V4r@m7a-EsE4XqBEwy@UD=+m31@D!9%XBaeme z?ITBWlwB7lq2w|!j)xYwX;hJj#I)v?u__di`*s@R;R6b5;ceP(Y&nQMOK_iohCp<& z&!&H@VC-<97eP>s<S9nI+T@r^y}Ift%#vbJPWWE9=_<l-s-f-cgsl;Uq!{lQq^4IQ zw4|#e(y0Yt5t;B)qsTBFv3%GttFQ=Q&Qp0RWzEb(bb8N9yqlQR&~Mn;BEORogdbIi zeF*{g5Dvd{bN(#T1usbV4NXT(6RsM;qWYt<)`UWJy#grpK@Tv{leV%-^M_K!&6fvF zr^i+(7r+RG)(WTd0o9wiL)ULq7UjY(QJ8x?>_UC?cV|GS!g1WV%+_=4i#p8K(4jST z{%zTejZnn!-BEbrOw{AdOH&07`c>bl9be7qYE>W0M!M`&RI>HK54fhelZe4yds?%R z$%L)h5+4xULK@uby{f7ZX=1`nj{P;s^vYUIU)Anblfb??5=X3Vw<#CZuKY~+-4A=t zT$P@Y>5Kdii%K%!tzw(+<`Gf(+=JmSH~W^?`7N9#^O&;AKx4)ebpLg}Q*_$u>0s&@ zglG1<Fgo_chU@1;VL0ZD`>|!;%-Z32FSfo)0uxYv9&sT230|0a?}f44di^#Aq4~vb z)Q?vlS?fVhrNx{c>k^|##$e2E)9`Mk-9)vn_!Pdl6i9^-bj;FoZ*l|h4Qpt5_y``H z#IQA)OR!EHhoV>sYRFxsZNG+qi*sV|gQD9XMLxPmYBx2PAfmaFX9+&o%Cc9iEyqTy zCnivT&3jWP)F?`)%lxB&l*<@Cp*8GBaFpiDix=BdD{YJH)|SoB<q?>3x#LfHx6M^| zXMka(=e4aRwM%1iF_IMzugZIqb?bNuG%LdzJ9ODP8C<na&xNarob!$KKO6R!gQVfW znHo;!()$FdGqbhGBJU?F<)!W!KkiX?%|Q_BCI>(2B=y;iF%a%4>}=BdB(kfKY~DL; zok6`K3#WGuX`Z>%IR3IWr3%|cY$Rf7$%}0!4j0?-_LLp;)tierF4DsE>F$C(=rmWQ z3@;Ug?9P#ye~o@r{8Az!DsZN{Zg@vQvlo7FAf-gGdba$^pS^!M5Z%7{$H|M1BOSDm ztprc|!&3qeZR$zjy|Kz~p67EZyNaTP={rMHBGBFG2>T*g%>l^7fOFJ-Y=PBXDX#To z3)A{7zx9DiKcLu!vMC!?qu%|Mui)$G;zDq;lanV8k95uQB{8LB%>lXPIdO3ak+9Jd zLE*1LDz+=GY08elkwJm42y6aU&4eHvvYV=RWUG4=raOJ#b}agSOR#Tds4CIR9M|Ac z8q6cY^)M|FXezpPjenAF%SisC%q{#$dwQ1qo9pgS$uC)(aErc|%NR_EQ5;`@<6wys zYHtE-Vz#?C@UFw*_ey$mL)n^mg8NKC0$W1w4dc_U2>$8#Gbr_lVR&M$CT$JWe0-z& zI2gVmpZ=(A8|^*Y$s)2TVzg84ckf2{K5_gpocvf4{qe|3c^W7cC&{*<-pbb)z;7kG z%e=(e5vAW>T}lzGSaqd<Nfkf)HE`ePgbt;`1Lu|jZU=q8!vsxU$BPstQD#tiw~s7! zhWm$QT;P6za`wu_&oIv<SE3bACH+xaQ~P*I<ELiS)+P&L!SUM(8?XBr0(Y1ByPBNo zS)PZI3}yZTz4^3J#yK`?+gB$A<rb8L0MCGoP#>-wFU#M$-*A2}jX^rmSbCh@oi=e7 zTwsa&gCV_e+l}^?Uz!`fm`>M9RwX@|$Gh%LZEksL-V>G*6=Y~6phNON9z(ezwdgap zGcSlG^OKcH4zU8KXA$;#56*0zn1A5dP>)`D?k??hEgwK|Wqz94o15D|`tP=r!b~u| z^Mlc%e+7INud^bP-<=!Kx;!G|&Qh95om=u?omeTMX8EaEv6Lpv)bTxIPVj@=j(g1o z&##J$rDUe*uqA29n#*Pf&_Pk%fkH%VptXCAZ~9=ov@ROi7X||o^X!nLG<aU)s1{c$ zb%Wyrm~&`wk05PGGBrZFVzO7_mvqo?#%w)ONB>S)OFT!S^W!UT1#d@)Q0>>cLSC?g zzv+-TSO^RHD0ALt-_sH0z){R~-|VLiGY4$Rb;8KNZH-cYttSyXNcPO@K0*k^k)leg zx5Xfp8Ec<H{_Rj|h^T$?`P7xpdpgTa?aYal%aIjygA^&Bft>QYBD&{e<Q%N9zMdkQ za+S3geX<>qUQ9XCG3Qf3da(ad6I;VJbq=#(I6d!tV$0*0tU%x8*|tDs(|n4<Y-kn- z<*0L9U|?%$(*_Y7D0IaJNhe*nq=}gP(gh#_=$5Dt5ytExvQZZ*nn;UzCf7&9e%F{_ zSa9D{5sLQ*HT^qxS~S-xgT&@Ss$5dJo|YoZX6fjQDl~;fGR8I%{q7i@%Y9&1Q(i@D z!^!)xu(HlC&L^%5a;?_3VUGNg8oN9eXIchtnBAtQs-PnPv`DQWGVi&CC4EJuiF7&j z6Z@cQ2nTg=U!Rq4TA<xeS7-hlD&NvUc-ek6@$|xso<nz(WA}ytxp7usaL|3s&mhM( zJa^QHkE*3rJA$thNbgx~<vP^iv4(Ziuf7;2(g0#x>&q~fF_>VQKJdO8(c|NmEnDVY zyd5GDT9RG_*>n$KeYqdu_jW;bwBhR}82EPF6Ev~aYH9$(>Jt9mFPEz+a(UgpU}aiT ziJ_FjP=kYF9%3?c-iYLtFrI_{=@Nl>Q3=!BGqHXm;LnGRg!NSq^dv5(E0}Te=a`s_ zOmQf*Qf96!)qFTx-G_n<?>wGMdS*pEFMv&D6Nx!J2zQL$p@)>}m#Iiklu(}8=%vz* zyz9wAiq1^5WnB^%)<LgR;rS<uM8&jRk2S@K(8MFgQ4@RA_{(wji*acrw2z?{IKTEQ zetlU!v&;C}kX(dp$$Mmf*J;oEy%@PGq>o@ku0G9VbObHPB|hUg6(=Zu*qdsCpjKQj zXJs!V5HzJJp1izIPqC*XIDl6g%BdAl>u|X^zW1AcxQl2~rZ$XIxv0$d>itUE#?O`a z<2*_dHqFS-L%{SS6924@xxep*K0#o+=u8xKu8P>Ml5>wU&Sb7G&432y@b03GIX8)u zyy6t~qg>+jID|{3<znYLl7T3STMm7wK89Wbv~30E-w}zD1b@r00HbH43wTPCi`f`q z!0Z%mfOM16vu@iQtaEcq5!928u2A<@EU-w<?w~s_)w^UxaI=aO^9<YCzn@XvH*YLx z+ze^+FwV3dB+<h6`(h@<ufS*UK#-|-Y0s3jHg_es!Cy-UPG|3uS*nIuKW(wDEoTOR zx~y>tb_6>^a0?$^bJo`OHKtnr-0<D@4mFcO*xjGM*X$BV@9EQmMM96h8j13$2JAhM zXJ{CGUmikE-~LXIZu^A>FVpC*)W~X5R5m%ggOea;q1EQAQOsV397n1UI4f;wm*8F} zXygzrk;1)J>a><BSXA@PNMLM6+5eNNQW3gjZ(#4px<a$lW;OB0bbzVR<9t5qaf< z^C@L`-y(SBfvABAh}vSlY^pVGui#-6hnwWF_(dU&wf<rsdZAi|<P&~Hhlfm_VJfnn z@<4q`qE3G4_s-5RA}<o8Y0uinv28n{Z<z@L_pS3LuSA?@!3#luo>sek@`VGcL0mNB z545QxHZjh@JRj!E4{OIwHtD@5>manUS2!4@zN*JptR&pwsWbGyiiE|NCs&N6QxnUc z8+)hb{%lwGBEa92jomx;eaio!sZ+=Ul{)j1nV-3eDO-Gb*~M45#>->rKBq*pS%i-+ zGic#4S1?&eBj2<Nct718cO(??1me^tb#i{bn<3QUHmR#<k=88TX0|8TEaNtw9ds(1 zIO^10b4?au)ukAGAUhiTfbG3aQ1AQ+XrU|gPPL!&Jp6;o8D2E+=4z3@3-+~1$MWLu z0O;$R+w=|-QBxsK>Re5*&XKI?{G=;@$r0~*`JLdVh~vGQP}rBX#@c}D6OiKmBN9RP zJ5li?ND(VqKPHq2A!@87X{-#J<+*s^`}MQBcs|Us&8yqk85=tI&F)QGcbf5jwYWaJ zg=l1V@x-NxZ1kBG!plRCcP!&9w3~S6qt=`o^ZdcBM9Mi^KR9VzySH(ln0*JsOt$ZE zAC=)rFa5AI+210|@tH3?SRnAG?s?7~T`(RfS~UCI4zsf!(O)pYl{BckV9IbK&jjxb zWjpVDcmF<qGGMy*tRJN}ZcR|;kK2mqLu*!pvZCm+J8sk1pG>8tCyzx@%G^CQP|xku z&IjD>9{`M3rxjP2l_tb*?W`@gpp~)p$fI8GuSClJ{+)ntF2ru}Mj%*U%q1RJZ*gN} z73dUl$~1)h8==~sl5iOOR|8Am8mAqZdk1vD%La1GMNHt1aZZ--8ox_mgvDJSrbErs z`<v1~zfCFo#&Uz}E6VD&#=BYh8`23&C!b{#eF}tZv0c0M)2+W(zZ7y|@5I+sE6rya zKc#W9+Gfp1tIh9$oj`Bs>$T}Ceg02nVPm)7)>|%VJ)~#Hoq^f$j~~*VleJ=;CBMld zbt}q$xvMui_%ZRWd6BNL)BoXO_y?_Y4lX`(f9_P8*8>fGP4O75VoGb35R1!2uJLx6 z<HT;%<~zq<__|o51^fdt2V2*-hO9mdX|B5WA60&>Znt6$=7odSco{OJh#&pZzoj$A z&cA#RdT`cZJBO?YA1Cr_b2XNzJB0!K*V4~u`Bw|jBf+U~#pUru&o`$tc!IaD*G{0L zMWo`M*8LqE=~s7n;rJte@aa-t@+X6wAzbl&>|HT~V{G;+0e(S~SqJHmlMZ?1aI<f# z1zb;I{nON*y$H%rqT+uZ>Dt53trRS@aIgz*M)4A<MNt#V%CKKd8F+p_k93|L?)unY z&MxM5HRZ^zy1aBBkzEx2_fQcR7dOQ34v`Q5<Ywn!XJg|4=iDO_{io1%kC^apPLYs+ zi~lX~VejGTMaIR!@t-jPc76_?fAfo-S?aEYvS@>A*YvyWGE*}s!&!@PVNfj^gUU|x z3DYJsMd%(y1K;^G$cN#UR6*NrB|jZ>E{4%>lbFDp7qTz5KCLN*%>x8Z@i4AE_<zhM z@#AU$Y`@`Q=3sGb9WC6xeEMR4C)qThKREA}=?M$t#3$SI^vQhz{>Rq@gHIHot-v3z zpJ?j=8Sd&Rn~ntR@AnLNCdolek+wg$xyS~o#q3a8hgv1AiZ>WPEvyTaTcgh-kbA^= zO-c>I>pF$Mx5MaopUY+3A8#QhN`?SWm{i60amR{^wiYw|6%$T!h2~xdMFsN{j6SkU z>}qs%qLmB>$u~s_S0VrLxZV%0AbxzAt#I%t;nwxVT>blFa>u~8Q=6Q<9%vM1#czk6 zh3WH0QENkcN5SD6QQf3pY(5Bdo1#W;4d!SI;Fb}hsM3s91X@IP8wGy|cslYej=e>L zr+>Kiy0>Q!&>O>($>`6%JuYC*sG2&lG7lp~nV`KdX%64$wk^<wD83u`0-DsVLklr| z<q>EN9Q<>>ut?(Hs0=3H^#ZD`KX2Sk?F=?TEc@rjQk!vqd;if}U;c4kHcz`%po&Wx z@aK=zZEersk8^Oxm1`|_*FoV7;A+?H;qLhOYE`?a;AyGx&gus?98N%8(7^9Ux0jby z!qouLo0_gF9n$5LvnAK3I}i#W*e@VZSm7x#=%n4@+F2e_m{fpP_R7~52ntSbKhx}P zyS8Au^JwU8e~r2$4zxWd6v_p8_y-I7Kd<)R-4*FRIb6yzwX?cDsm;{Un0^`Ub>jkA zy<?sIWyNl-NTaFn=yKy{A3Tq{tDb?DnIt54^;xB0{N;m+PaVDl7HF`qq)fdcPNZ5% zabo=RYLV_yEpdFO*n*g0I2j~D30V(Q*s`$U%38DmG-ued_xO(`AMNoX2#0Zy-2xVb z3d9XWKjb84;a~U-?VW!Xv53O-OrW_<<__bTUpq`GF16*H+$B=cM@ULsOk7k|JvCSw z{+!F`7$H6nLn)Gu4I2HPlfYLgKD0czdy+Om4xv8FP$gS&kuq`&Z+)RXx~}iyI|Dbr z%ZX*7H7$EOkDb3%T}#wW?LUmZ4U7qN=f8Knv2Ms7J0ljf+-Z`PF^v{5NpLpafxC$u ziOrqg{YaEQ(KW7PSn3sCRTQf#ufdJm+bB4y-4_1sh=;QME6An7ocGr=<oM>q=Xy1} z?L2_MEc7!2f}RB)!zx*g>@Qq5w0SLpkn-xpjf9-4aDyim>D50$zXIfS<YB8hXD?um zP|O&8DNoyi=kO1;H)`3AD}IxD7vE|nGI6SDqYJp}9u_mDqm3mH_8ZHGP<WOXOV?xg z&a-lRZ{2c}34jI(C<F%EsHR#gbl{}-{2$$(wVX+?`VG3vp4^&nyUPMC3a50?QK8*+ zA5yD3s*2@Tv>W>*C}&aKf}&k~VKg*(gH2)78-6*xBM9iTES%Csbt}{o26Ut^Ff`)z z&lPt-o<96j539uBA)4i<Ky9JDYwh$E+j5pYmU%<a#gDPoetgvs8{b|H$%HC~&a8&7 z-?CQYKCsm4%#i8~`kGl!ueW6=525>REgu|<LI^CanYfy8FL!+&CPW*FlJgVH88@9? z_6kgCZwGG+2CMo5U)YSlwWPx}7=~K9Y-jus5%FNqpT9o2>9M>sy~wTg|Ghf)P^18L zJ=%c^vi8AmRuixq@wv0_u{e<TY+x3)mzwrTC)}oSkk#f;n4j>tE}>td=R%$Qay4{} zvZH-q!a6atANy?mvDj7p+4>;5gu^^L!Fo^Neb9kC=hs<9prL--cvEnvSz|PY4{nA{ z0VDR8uk-Xw${iZwe%tBDRoGQOi+)s^vYNXTfgVPu3w3;IFRPD@Wc6ujl)tJdWlQB{ zaz$kS{vOfxX-Qp=KxaqdFqh#v1yh@)SfxxuG>>hkv*<_ZKmKp-<g@abyQ&o*6Y^Ee z?GL?b6;g{mwFwBiAZ&#$MLswgk&2(z83O%m59H{R1(ZitORx*I)FOKmik6C%l|Ufn z70W#nu)F$hhJ0veD=#7BgRcpw!2Z$|pNG^~WS5lp0*?dwVXezFt&R>qc|PId)@!7@ zNG({lG;juMiS{>TrL8u+SuMXS;)p2h<b!Ya)12aU?CIPV&1}V1Vc4!Q9SB)&Q0ORn zMFapz?aXK4kGwkayUjVUYsg+119hWZF&;u(A#J+bXUGRyBAuC_d^C`W3drARb?mfk zbX%xkMd>Vq)fA1Dw3`J4aWd+3ldUspwE`F>F<Bv}N;|1H2pNj#ht?!j59uiB{Lo3Q z&ZyDhG?dSyM=U0yB`c$%r7L5iWh>*N<tr1S6)TgXl`B)CRV&k?)hjasVX)BQMIg6! z&wln0|MuDFUvUI(Bkcbar8kN^)W4M*;jq|Pr#6lJm&kzkG4?-2EEaljgyIPGMv900 zx3qaK=E}EwiP8V1E-_*?s{8j^5&f`*MhEiG{7ni<$yxX|=KA^y=PvGu{y**aJm6qx zBnl9(F%qk$y}vaX7Z)!Qt1g)#I~gY#`<qh3)%9(M=lYvIeam#nyV$tCN!<S-Ns$=} zv2(HWu}esENwV=u^GHZ?$?)@u^GR~P{i4Fg_x96?gb3OH-^3X8zW~JF-(&tcphW#k z-_A&zXz={8K#<dxMlqF3IkhR?*d@irw2hj_afVBIn%NLcrJPeDhY8mYG?l{WFYCH1 zDwpkO(L#nR{j8=Q^BJc?Eszc&eOhGJqC$o=raug0?{RcA>XrYM)Aw}cm6cZ<g9?lt zDlJ)08W~O|$Gqn@x=Rw2%@~F<3Sz?9MFZZ4mY)5D)shKV4C^b(s90%}(}tFi+hrjr zBLf)h8g3To=P62(@F@ya%$dM9<j%k$eMayg4Opt6{8%4D>1Vd`fi$30&FRyt$y_Uz z9_mj0z<0AM0_*yBbCMrFZXi2oeHU0jAY@W9)htHJ-&ppN#B^$4JIim&F$W=Y8R+HC znILN!>hV=tV{=Kyf25wUuY1=bK|E`y*KQCGzW`tJjwi6VlgDlkjp!H4f{VFlVVj^C zt(SPzM`zRWDa48IE|ZprEpD=(UC^&Q)P-j{Ctb}4RlIL|ppK)&k=v1G7l4xQZaT|% zs89?SmTPzTlzI^2z61CWqL@HgmGiAX-1<_ad7FqDttMzIcg;ppjCq@LKc>3jB=oxT z0cO}NhZ8gSkK=df6(1CWZcqX$RSYk-_O!=-gq6BN99r#8mq;I+kgzg>-Bc7W_R<%$ zwS;_B^@5hB(d&*7%&+woU;V`23Wn1sAXmi`O%Qm5T-N%l>AIyYb5MYBn$@EP9s9g~ z)v3e9&mkfCtDW7pfnViN6o<S}nAb;R*B!+ynAcKVhupksrNUtcRpzO!!5`OBHC01| zD=xWrO+bpMoBNQ90B>EYx%r%ct++O;Y2NIB$Iy(vWr$>BD=%o$gt5sT@DfZZ{CFa! z_srvYRx4!t{m|D#1vHTu?Qd};_%rCPD`9^xRZrC-2-5n^2o>unAk^zYe4p1hc&8Sj zYHc+AS}DrBpf%RCQV>>ZF;z;`;&fV@JGz{<C>RATtNp2yKx&pWl>R;M?Y*l5hO6qS zF!`12n6Z3?xPb7%71f+-&Z9#qJ51vWK^?U!!gFqGmG3WMI8d3Ng8@tCV~f%+irfv$ zP;1hQK^M%dxSuQ6G|YaDGUQAW@EW@=)m}5}pP?FdUFOPr+c`&~Ea<pyFM$q!Y~o|? z6sX-%x2OH8RE<y4r+=l-OHij}J?_LLq)Ea#g<RKT&SkX+iOE)qnXjV!N{ZdjYdmxb zMToZ4LPkwOJ_2<r3TObYCsCBeu8NGL&brGenI}i`JldyR?09e6HGT2C#AvstTfKPL zZgr7`=8{k9VGtZ=(T#UsUJO=U_Ctf}2UoUCxZy)EWWw2?i`}5mzLWEz$eN)Hm_yT; zBYCv?Pglp1G%DGb9DcJlFwyq@&Vh}mt!%iv!mrJlaSuArsMH@73X=XMKRUOn&277Q zFRxw3^tj~v_L1FOC|2$=KhF4RBWDD)N#Sxne?!Ui`e|n=L&$mgftYPAQ+`m1dk!Q& zK<o;=OUOBy89JaOPz(4%aOC}i$<hX&bNd_Sd%HJ>f%lGa&Kb`Tj(VYX(kJxrXdK~x Xmr3w65D6cNkBbwDnp#>_2I+qR5mKHV diff --git a/Lectures/L15_MIS/MIS.tex b/Lectures/L15_MIS/MIS.tex index bfa9ece..3969d44 100755 --- a/Lectures/L15_MIS/MIS.tex +++ b/Lectures/L15_MIS/MIS.tex @@ -77,6 +77,11 @@ \item L18 - MIS Presentations \ei \item Mathematical review (\cite{HoffmanAndStrooper1995} and separate slides) +\item Potential software for drawing figures +\bi +\item \href{https://app.diagrams.net/} {draw.io} +\item \href{https://www.bu.edu/math/files/2013/08/tikzpgfmanual.pdf} {Tkiz} +\ei \ei \end{frame} @@ -165,7 +170,7 @@ Final Documentation & Dec 9\\ \item Uses Relation Hierarchy \item Syntax \bi -\item Access Programs (types of inptus and outputs) +\item Access Programs (types of inputs and outputs) \item State Variables \item Environment Variables \item Type of module (record, library, abstract object, ADT, generic) @@ -614,8 +619,10 @@ are isolated to their own access programs (like submodules). % This, combined \item Specify imported constants \item Specify imported types \item Specify imported access programs -\item The specification of one module will often depend on using the interface specified by another module -\item When there are many modules the uses information is very useful for navigation of the documentation +\item The specification of one module will often depend on using the interface + specified by another module +\item When there are many modules the uses information is very useful for + navigation of the documentation \item Documents the use relation between modules \end{itemize} \end{frame} @@ -693,7 +700,7 @@ seq\_size & ~ & integer & ~\\ \item After every access routine call, the state should satisfy the invariant \item Cannot have a state invariant without state variables \item Just stating the invariant does not ``enforce'' it, the access routine semantics need to maintain it -\item Useful for understandabilty, testing and for proof +\item Useful for understandability, testing and for proof \end{itemize} \end{itemize} @@ -802,7 +809,7 @@ seq\_init(): \begin{frame} -\frametitle{Exception Signaling} +\frametitle{Exception Signalling} \begin{itemize} \item Useful to think about exceptions in the design process @@ -826,11 +833,15 @@ seq\_init(): \frametitle{Assumptions versus Exceptions} \begin{itemize} -\item The assumptions section lists assumptions the module developer is permitted to make about the programmer's behaviour +\item The assumptions section lists assumptions the module developer is + permitted to make about the programmer's behaviour \item Assumptions are expressed in prose -\item Use assumptions to simplify the MIS and to reduce the complexity of the final implementation -\item Interface design should provide the programmer with a means to check so that they can avoid exceptions -\item When an exceptions occurs no state transitions should take place, any output is {\it don't care} +\item Use assumptions to simplify the MIS and to reduce the complexity of the + final implementation +\item Interface design should provide the programmer with a means to check so + that they can avoid exceptions +\item When an exceptions occurs no state transitions should take place, any + output is {\it don't care} \end{itemize} \end{frame} @@ -906,7 +917,7 @@ seq\_init(): procedures that manipulate instances of the type \item Encapsulates the details of the implementation of the type \item Multiple instances of the object -\item Keyword \textbf{Tempalate} in MIS +\item Keyword \textbf{Template} in MIS \item Example \bi \item -- GitLab