From 53b37bbeb6249386a03daf776dce65c90bf9b959 Mon Sep 17 00:00:00 2001
From: Spencer Smith <smiths@mcmaster.ca>
Date: Thu, 31 Oct 2019 10:22:02 -0400
Subject: [PATCH] Updates to MIS intro lecture

---
 Lectures/L14_MIS/MIS.pdf | Bin 648421 -> 651133 bytes
 Lectures/L14_MIS/MIS.tex |  92 ++++++++++++++++++++++++++++++++++++---
 2 files changed, 86 insertions(+), 6 deletions(-)

diff --git a/Lectures/L14_MIS/MIS.pdf b/Lectures/L14_MIS/MIS.pdf
index 209eb4210669fb638dc9f9711d6f7c25246f993d..af87a607451215006885113df11e9a95db68358a 100644
GIT binary patch
delta 41009
zcmX`Rb95)o^T!+RC$??dwl}uzjk)2(wm0?$8*R9;?PO!yHt&9a&%O7LnbY;^KBrH2
zSItztXZA;^-#4feQ~(9XRThMfN3E+PutqvnqX*}2v!swgCJNrVo>%&m><LRhPTh{W
zh$(rkvmBO?AmRF`-YJA`5}PROM0&&7y-X7sf4}!cKv~FQjDqo^$zXXSpVm*+1Z|AN
zaj*y>;2v>1!5MrqjbgC~MUg>wh*WQ?qKdW}(48G~s#CUzbpktbF1UVOd~Geg5Gay1
z2tBrlr6`o-#SID70e=a7N0>GlssH?Da>bhpwyGanMo-Dsv)P*$ezI@geD;u8ZFSex
zUqCdQsFE;H>Z}$D`U^oR7N=`%KghA}0N`YLun)SOniR6U@~W^^1}*w12C*8_7RUu<
zv!vng*7WAuwgC#;6m<xCpR*aoo3LU<!5;(`q%qFj6urm&F?`NUd`)a^{C0j22j^R_
z?i%qmV}AON?y9<o3X6j-DrvoZkH0sj>jr$i=I?9^^)vm1GEsg#YmIWk&03KCcnES$
ziv2TU(OKn3j8bj6h_LzDEf1rZ5+{ukfe9NafH>QmdH^gb(A8H6*@aJkN|$o*O(dWH
zTIZ;G6huB1AdU7`Sx07VWL;KR6{wA0_G5?29RkpX2^ZIHvRiHk$}ZIe-8Pec3&Cn!
z;};*I3vK6AJ+Z*$@j&2F!^tu%WTKrA<|&#y_{LI+_5b*jf>Zc(**sJd{XE&zup4~(
zNo>#s<_8HPiwjnU2v>#xZ&rqYaD9Z^+&8-0Qd+5p4ow$b0HHT;Jww<)!rzL&K?ECt
z*`y%#qy|EwH(R|!AVb2(eaIN8UvUFOBlwMhklv8+?;84~L0w=R>%kn&U!Wilz~SEG
zpV)e^Z+mX3(jTB9snSX7K#YK<g4!wzO2;kz!;w6`WM0}jK6LLiZBAM-^_DRK<@b}N
z@^g{f%eEW7l0cRe7I|J2**1aKj=yuG1eV>~-{Uv&q2nNi@^H5E#YV_1M07_&5DHva
z)?XjM?lz^U5Zr{N@X9Qmgx#7DF{P&8B~Syo$gFC5)FIw=ytmhH&dPzaq3aD}8dH=s
zSrd+!pD3(-oHB&0fsxlxlfiSlhDNZ2?YF^jib_%qL{(8#&yqbgsg;CGS-%)gHuj(9
z)Y=V;Ppo5@(6;<2M9g~W5>#2LDT-a^Ik26y9qQ0wkwjsz@X0%j$ul@nd!2((IyKki
zzGId5DAS^34+vm=^soZEn&L**gN-GJxpsbM#x&dk5z2I86mxY{TLoXoo(mV#Rg@Qg
zFteo@ly6mpC#L3|=6l%eXL{daPMNNK-dc{du(r7vLPif3&}aV2Kwb7)hRa}ZedLR|
zhsOnK3>4Jq)00zc>IaZCmkyLr;jl;t2;Yylw{=MgMRBX+w^jkRQ~%7?)>6jmQ41xg
zqrm&L8lNv%&q4Sb4PU6N+K|)~Y4b3nE#~ZHROPKzned4ve|=|HBsSS}mAIrjmc>`c
zjZ&<3dGu)aQ(rUJ&>63jb!1aWI1w*xTg@&qvTv`SK#dds`t179r{?w?HSQnE)MF8B
zKLE0uPD#lycW(vk2*Z0GntDk%u`{{%$2k|jE!i*VtF7gcr^IIa)-@s>58S7z-Jgkt
zutx7#FY=M_#k9RXeqA1+$rjdbaIBm_E8a&Ofe)sbqUCm0NZOCLJ1Zi8G@`2-bnrIH
z>lZQ?r72D19p&%ZW9dOiOQcozUH#Z3NU3|u*;C<-`9K3UqXt_{>KY3cf6cJsVL13M
zdLz+?p&|I2j<0s0>Eja-oW;}FHhx#C4=!p;$jdNZQfsFN52M7s24%u2?3UNy7;TE-
zSYMXgBzcU@6i&2pv~7v~l=WOT9ekvBlVA1blk><w7ygS)|Add|VgD1(!ol3t&BemR
z{(mh;(`F|a$P5VhmywT)`)7Xdg_OU|=<txw1n?I%2Xg3du#qA(o6XoXkOh$N1)sD-
z2?LuY%)HIbee{q@knkrRJknSIq=5o?Xfq)*B<H^|LjA0@PuL@;+xF=qT#y*)&TNpF
z;GF5(Tp&6?bJKB^3&nrRs7D&MOecv<vcl0m-2+$II2z%M^gNhuu8!sXiiTF_<CV}W
z1-;Dy9RugVIJ%wxrt|gt5IK2sNMbzp+1}Xp*!C;849<v)s6uJPbdXCTy4A?TPP`-5
zyQ9%4W+Wg-v*R#Qe)O_dv6k>;g}}s@r2mO61Kk7UNrlJHogOw^E@0OPUj;cSKx-xa
zYVKDapg^5fMvA%*Tcb$-RA29GJf_>#xv`Pa5~I%I-IvX({%&f*;+-Sk<Zv`y@pik&
z_Wt|hoY#%I4h%<}=Vz#DZ}2uWr)okfih3=<jQ;(r7X<SkMSmssTy>j4G%a_J-;=w;
zw*jaCM;5LK2t`<uFkmFU8z<B1OE(LhWSFs>9zTDqqyJIZ+OJ~Tr29#=qd%3UqwzQ9
z*=zbr_0du132@0g*&M8jEUQ|yFljhO1y0=Gw*?hT4I)y8W3UidTx3gPLe@3T?WETl
z;E>L^i7Nbqe;Wii#V5m}9&T>#Otv1d@6I|HT3=1Y8PudBt`tNe75)@pSQpB7lE5QR
zL$T9eiV@dS;9|-R6K{#-KSbd@-j#B<ABylMRz_|XF-`HcjB1=P@)y11oHS~qY}4Zp
z0{?l4{1EOXuBobK4<}MuKE9V8%>hXPs52h)1?|B~zjj~NA}8u{b9%^@m%+j*8LXjG
ziFetQS{`AK_0c}Kf;LW$F7`O$ZWnH!ZAV_gk$H)pNk^04V9Gg}Mzj@%M*Mfq+o0?F
z!P1u?PcE};uo*p(%>n=?f6GJXB}Hw!pU=qsB8XZF!m%6%Bl4o7{PMk&Sw0Ow!(@+S
zq{&dxI@9yVd<mbp0Yx!vi4#p9`_n17@7;&y7xnTkd=r?hxLVx!bNLkKAxfF64dNuY
zIw5aA(pI${F@rqkcbVNOOoDbwjI&T^Y~1!6!OD8Sc7dC{^}gFity=1;(}CEG=L4dE
z0n&h0{XX$<5G-}jzhKE#fn@|rE|?rTS$=~fqKMY_CcGLiCd%7<*L~7pq|Iv&6U+PZ
zr!aKkkE2wQEu*Yd>I}{WGZGT78XIj}!dkX7dGe#<S7wdKw1Nkb&yU~z;1Nz&J)YAQ
z_A{z1NI%rtdvMdO(O3Kf898C91GJl~Y@<E)g^uhAZJVm!ECRzmqF&rEG+s`m)oX1Y
zbWgCI5g0z;B^N#2oBu^31ti=%Q>^H~W`WUYTC)Q$q}?an`%?|_6C{k}LTd9K50sG+
zy!~CbbLuDLI_tK7xMBv>zYDrqG2=_D82pbeQv?hE689&%Qu@Kl7ukOyeN72T1MKU5
zb6su0e6KbNbaXE@L&bJHGiTdfa?W0M=W1ME=OFUSr(Ch5k0gp*X?;C?)K_&Jfh8O}
zE{zp~gbIA+dE7xEkyVuum9wTChW||ylyB_}Q=-x+28}ifXGTyFBva&uvs*Qd^R2<&
zM(j9PITZ#CuOvMIk5rM?WSW`h4j5{o31*R_Io2*!#!wcE4swE27*!klUVxC-2lFkc
z7R`d9hl<BO<Sz?!FXNzO^lT5tQSh^_SO%gK%%LJ&RjMs-MsdNEcLCxZ|6MaFT>L4K
zx4__YfGRv;3hG9Fh^hyxNaRpUfYi{UpB--oRl%lY3b^+c1UPxTD`qU1DKLm4*W!?m
zF^xlCVys1&jckZ>saz;1vkLcx@+}6fT8^Gf-^5F$D1<En>KBFaZw)6QK9krxG6+2Q
zX>xIJD-`ZinPwR@-_UIeQc@8?*@y@j=pF=oa4?g0@{#ndh#iz9iGf=hkX9l%Oq0{#
zHKkiqPeTNbV1KyNGH-Yk1fYnPh6ZsNsU~Kl&Tt5mKd(U?4yR1DhfbF*WzA}boHT`h
zs9TJJ3_6uDYY9gXD;C_68h}t$Bq9)n#1RXFM$CZa#baoL1fh`0EW|LQP(X1(A&!J4
z!lOjYN1PEPVd8vq0B?z!L!XHo)p#Dq42}Z-h(TtOo?wTR=IG930GN39{*I-S@nVmx
z?i8YoB({Vwt7b>;@i6o6{H51-q{ROGGbV9E+A*R#V#3N$Z^DapMMS7KqQk{RRph{R
z5UJUiZP_8<XRsFiHTTC#xktd`XeF1(Sp$h<3eu2i#dA!f$P<hzs}Vh_TF2J|-?t%Z
z8S8JkLWcDutl4+3IRK#>;#{?DQDs2$yQ!Ohx(9o~DJk*n?{O({*3_$mPG29xQVXgw
zTWiW8u(F$T9Iw(n42Ap>Yh5jQRE-?L&!^kJ!u1Y<d+T74mIvuVF;N#@no(cN1o^N=
zBt48=sG)Y0$KQFo6nvhqN(XN}bk!9!*6yOPM^qm4HYO%FIsvIhoZ@E`72Dvfl|X`W
zBu^%(4ptVid5)y<21>7t&Z7oH)9GvTCB|D*ZGIuaALX0XRtxYIT+-#Bs^m3@*&iQ~
z3oi7|^Z}Jfmw(O$$!<<kzc-v|&^DUK$-WQuQ%4x0tBs|he)bp6XXGlW+$0DreEE&q
zK!N{valm|d+Y%7z_~NRJum8nE%buK;&&`Yd467r?iXFD|?<CSexa}A7zT6fD>128R
zpYP6^jgBLmUV{$%=uU@td0W-B<U+DYVSR<>%o+o_r={xYtjSbb7VaNvLT_5|(=p!5
zWvX=iBeFL_yzO>+D({!I1sRR$dv2?lQSqyI+-l>gO_sn(Q>TJT(Pp6b?ovl31EG0Q
z<=aVdOD9orU$Dt#I|1f^0aqc;IsAjMsAda@W4|%XAaC?r;-YR=dstTD0(+eJx^LoT
z9H`|Ey7Sd{;ixv3bLISlsn~B9h2!i+p7gt7S*&6B%JfA6*Tm%xVw-=wvZHyUSJ*GE
ziTaf%VRE33fw{JJ>h~rY$HK4h!HV_p!IQxPo27gHY-kTNN#nduGACQYlY?fhSHRQ9
z-Cq!D@`4U3TJpzSWi%VkN|swas_=Z7H&NX0l*KOTn2fxQaK-428{WZ-oKl19+doec
z=K#NH&O@^-A02>w)pT>z={vK+{~{{uf+h?nl?;4R>>FKuN{*T8t+&c=5E6AN4(TBC
zd!?<~BqEr&R<+nW(^T%?+gVuGg$Gp1nf$4FrcJb!{)LpnWlyMX)w%XdGi#)0EIl=7
zFJJeV`fy}(YU8@jQ!mYPmpEyUirJA`>)e4=W)O0IXyj?Lc^8}ho8%!LwQFDXr@}_J
zCN}`{SPX^aA{gkmBpCj*g!Axke_=g-Z3k`O1=aL;?7}Luv<-1B4K8t=y%27|k=u(9
zdLp~0#1?$4RNwb;O|uI}1J(HgcWdW8SqF;}=DU+P=j;;2ym>>8Q-`s+j{eY16n_Wn
zEok#%m}J{N+;miLtp*Wa{fWWC6#~}l!GJSj@Y>H!@C>e|ND13Tu&Kq7;=Qy`Hd<W+
z+9^C1Uz?n-jg>i+jyP2%Lj~AHvV+*QCj$|1qkBWiMw84!@Anj^pJ}OH+*PDPql4=z
z{#sZ?Cz!e=9p1j<%rs~WQ&Ul*eA$i0@<Mp&;myY|tTvRwC3EOFD{}r5KH7UX?7*t+
zNYmTgUqhLi2AxwpLYLh`a4_OGx@lAeJuF@El95;C`>iy|DV?#GnuUI5c`I)n!}SWf
z?$acT8olA%>)~aX>Q`F?+nm@~B$ZXc_PJ{)u6^z`%epxo#5*!ecZAKK!FJz#UymnR
zqR=0`4J>Mx;?w#&w-+-8wG~}9mVtKqIsXkooQ*qn(z+RZPhOu6>72&vk<M8je)&tq
z-){#^ds-F4Eo}I2z2riQdW6lnrH>j+SNMuL--IV$al43eltBB#O%cPZygACZRx}E)
z7ct&kMsL?yw%%y_N3m5%<+a~Nbx1Sl`ic{!pvSevZH+Sd`VLZVe=xZ|tN{E+aZ!~G
z7}C!z<F9@k%T4_c?|2+R@>Ag!tepc9(d`mq=N*5PK%Vbs9Qd0}m)?uankHTeZCLud
z>%sc<Ii!{ZS0$TNY7@_3u1h$bv{yz1ITogGoWw*3L(f6j*aAL@$iJ`s1q--%oBUU=
ztij~9A-Z2IK1=Le1SVgi?to?-Vy@UcCF1W+%3X>Q=P8?3LEo7spZ2Xhaui?oOXtQU
zxQYnc#MmZJEWYeSb5;)2j@s^#Ro@;;BvAlCGdc%@e=``8*M+pLM@_TM+40!JP7cr=
zKJfZ-RvcQmPQyT4*}{?A@$RNercWFM-zW_92*;EDYEJ%=y1iLMzcxfQ()GPPB+Pql
z4|<v-`lQI@%<@4e?}DA+!-Zj;c`?acpS2LJAB+C7&b7LLpd5cavy=*57<msd^OZZk
z(yM=RWIB%y^psrrR7_CoeY;BS9e18=e-(9$j7*Qf-AuCgWd$7m+)%KTsS}*~YS}CO
zAHitGJ@~Q*4*#-Ckkk0g{d4CM^FK^*^kq>QzT+hB_+L?!KTB-h{J{fCgn-}O7+|e?
z0@2S$5H)A=gRa04g|!cNiIr48p-F3xk($#5K_Wu%O^%tI3fIVWi3ii^sOA6Ej(Z=F
z90c4umRaEw;$gJp(tlLn9|VGgZ>wsN!UDiCrVv{H!-0XIS`7HP;l-nYPq3dexqAO$
zr8JN^6nvsD_G0&rQI)u1?tgeD6Z8iHVN~EW=J;P$XZG;{{Kw04KsONZufMd_Fg_tH
z$yPG|!+-KYPZ02<Z;69tJB|je^!WebsUi>}B>aIwV;J2BguNiL$N%B<mr@WGI9odE
z&wuL5oCr$Cq1L!FW8(RwKYpY*EUjD#L4==3gP?Y#8X2X>X=~w|kEI}Of-<K*3h468
z_iQ}t@aGm5hA%-md9-=rnV=*FPK^ZzlG`*|V|aDg{m~q8{6|*mkukt?p5GR_JH1n)
zCDi*7kw{D^f%OSd{^bJ#`E8#`(PA^bs2&~|2M?Y<Vo3QGF-r@-A{CiJqvb>yb*W$^
zXkivC)o^NFRkp-<@;cP2vp|sDysYh0=e@SDtl;GZw=zQ(LIF`Yo-+pvd%&iPXjWCC
znOh*AcQH#dW9jDR*FiP~VztQ%@3egh=SX{b+I*$4MYR}D)El1?M&2r=q(vpQLG1x_
zj)RL5B|@aMFQl}%;WSg)C|aoEuk6d#0uzyJpqIo%T`VAw2YF4IUJ6oYy{ER$#!?c{
zxG$4nAyQ4l6hF*UL)dGZyU<)g(~WmbV0bpLL*Kd$NS1e$j;6@NFljE#iGq~ywQ++K
zq6fRLgx!*i`RSw9OFuJXRZJR8T?{pf%g}pv@F$f@p^a$z)1${}RP3Ae%P}o!Zko>u
z_A^Dfc*iVZ#xpxF7XFgZSI}RC`F5=7(>IJ&Y&IZb8`A$gs1HJ5qoa=Dt>3O`p~M2f
zh$vrdoBz4z3nbEP%dPlSFPZcwxF=dW=l{+gBb~7dgbB|6zjB|p*{%u{42h8Vkyh0c
z)dg091gY|$+aT6~NdC!l(*N9M13Wj7jrl+PwE@%#0sj!+BKa?RoC^W5|1fnk=mZk}
ztcZu|-|-&x%KyJ%z}yDfgM@$l%6q`@ft=3ZS=mg~1xkU11Ih>W2OLowH7EX0GEAQu
z28jU*u5<q+zDKR2qj8Q3P2#i(M7gmPTqF(?9x%{f6*c5ILc2eqz|=}*2uDgmabGuS
zVtZxkqu{xaPAw(++26z^d~oURYj|BKwer0mZ1TDzqNTs?&t8tsl|(=7_KdaP*k@}!
zMjjN>ktIuTqX8W$(MN`KfLv|l$m%#$m<V774*gh#`FO*#1NYHlEN{Q1Ig@iF^X&%2
zJqP*8Om<@V6ONYV%43$9YchS)O1*cvvH5uMtN~PStXvtejK%+e%^lT7$wo>CxU2nQ
zxyP(cpMca5Z&Cfy?P|6cFb394WrpUGTbUBjar)+NL`wIAssL9iD<tdphdh-h=MSK;
z<QVeLTUdD9n?(ogwYl~a(w~B7@1Wc!Tu&O`MO2;eKCGy$H6jH3K8;+|vquX|(ZvmB
zvM@`?0vhaGJMIYy%aL`W@4Abzk}R4%N1dw|vc&_8SPJKt<NyXF^`RUqiU2k*0*wpP
zFH5y){Uey2ogRCo$^8zI7-hOXnQFjQA#jS7y(GyY*2@yM*Bw(wm-xja;HR6*X~hO{
z^7=bnK0MPMA@r~HZjDn-p(hXg2wGEJweI@4x*us8u8qrEX+d(H8qdOI@qQkqdMQcp
zX1T*tl76ecrLKf55@H_l#1p5i*OunRSJ9pC$T!?sr5jYh-*k<PG*q$u6AM5%u%A&7
z7w&9t`a$vtiDo7|6N4fOJ`TinjN)J~5T>^1IiD^5)r8(J+Ha}JOs|Phux73IvSy`X
z3Ju<6fAxZ=$p<~v&XcyY)USdMJU6??l?Q_-j2;tz?>)mCm#iX)!mUWwV7}aGS4@37
zVq~4mV(*)DSzZ`DH^CK`01BX4U8gv)L5O!57i+j;&>=64D|%PJ@Df$}_aTEyt=l4@
zpB|p~c(tr+IQ+8rLC*gUI|QdwPKs&AEe|xJW`=u`E)^ov7p@e<I34_(YlGTzw-r-u
zaEE&aMWb#RNtT?~ntKVGi?C(JEV78iGA+Yv*(Jo-jZH6g`->>tu$!*Si!Yb9f+;6K
z^5>nM6gtPuo^PSVjue@52}Z!#-qaB+N0k@*yi%OLMlJ$2C*55my+Bn~m9+5ai!^wv
zlgh5swzNrqRx~b>h|Uj*zR0Hd9UPrEBm`1l^#64E@8cj{Ncept=NN{MFC4mBfBuL6
zPy0iM<mTb|zsCVE@&7CBZVgrug;O#Yu@E*UVL!M=5P5i-Adh)i-LsqCUaK3(C`n7G
z#NooVM=xv}y<a^jr5s?$^N^MXhfVfa{6Vnfzp2YoGhxVSumx4I&0VhUM+&*|X%{Jc
z8>WjpNwW%jnluEz_73UlH&Ef8k*kVcSvmCy0|4lA)}MgT?NxwuO}VF$tO&MFon12I
zcS^8nO7hszofcmkeYE6SqQ2DM{#d%!vYogi$!C|6KQT4ZheChWF88Tx;ad{Qyt!~#
z+8j)p$dRgkDN1)M5|L@;vn0Xv&?X0&vv=DLj>z6;lrnCeqfXisHacC|D#kW#VH|-e
z3Id(MWR<2Sg?z|h7cSinMsmHl3fjHvQm__MiAY*0w85|0_U@bK(T$<CVsh~G<#HHI
z0@Vl6$A!)|X@Ov>l7HLVrDb!uj$1FWLsxX{X=&!X7mfRRr)(lzXNna93*yodM-MRL
z%(kjyqgL;R8gv(!Bm6vxoQuj$Z`{51vH>_Jyjk@$$p!gJUIH|^IqK2t3L5Z8f>6&~
zn`#e*6wK$}4}amK=u35Y34Pp8x*kb(E>n^!863^gEHWG#<+xS1CvfphKX<m9VE|pz
zh~w`w^W{?;JD*o76!RiNhUxKJ>RDjZDm<#jyHEHDu1apdeU6<vYrG=q<2<yMFoE3)
zn%jE<Z{B${OYhtw9~#Lvx`CEH@-6Z40{wO0>)BW<N!RH1m$8G((2vzRBoV84ADoKS
z?2WeJZf7;-`qG<jA<^yHDtc?2&}az9eMWyxFT3r8o^47$5&NbP%?8HK#o?HhzQ4Fj
zFK?;K-sTs$Z&y5Sa}x&?)=Kyg0RZh0^K>Rt4ep4jE7Ag6-QLgUEYxyDf!_6sBm`nk
zrp-)|Y8zAesT{RuCJ=7z_9SmPZMICMHBS~-v+}nXJxoGk#2j^LscZ3h;yfg02(s)u
zvys9EhW}}E`<cGofPO(NfKB~j5EE4Ir8b|;K|k&A{qSCr%e{*1E97Di&h+1xfn^l_
z&}cbnIgeDEP|o}(e6fKO*Z*RLU=f6nF3<*o0q0IPY4|6WPiTF0{il|9zG`jBOh~YR
zL69wHok|bpT+4quPTK=hNeD`V(m}J${CHu2NkGG;bv`#w3WjkZ276dtM@A9lmzX|<
zXTzn9!5Hik6;p0E=81(ih3!jWR4$tSCzelT`!7Y5i)@o-h)f_UNXGwc$D)Oc=eSoS
zAK86eq80y_5I#X8=fxY%eYCc=v=`wP!dj|3HLMh3!1to=(w63H+fQd5Js9aMgxXr&
zW(=w{x|7EfRV-&S7Ebt2>uU|#)@x-gxBYcAT3x&?^h)}B4rd!fre%TQtW3db8Y6yy
zGx{~6rTD0nkEw||pg|;MN4^^aEGeG{l~x`vnC5{7FsRa79bSXLLc+2s@%c)|A3QXK
z*DXi3pXwM%qQy;*Qx<-rW32x#vo3_Pq9}4u!=-|ib{)Mk6@AaWP*McEhNR+Bc6k(g
z&~IaWq-88B^-j_7!&8O?l0MjLqQv$!wJZyTNVbYkg?nhmNhV73AUvSjGUjmLx3T%T
zjRegAoB0;DuSNRy53z9d%a3dfNndyE7a=<x5?h%XR-kq(JXQB`;yyz!d_^Kn$evuU
z5lJ`8nnPS%VQ9|UH9VpMqbqIoI+%hcgnutR#;sQL4bz{!;+~V%DsE^PoJfizz1d3Z
zY!ysctbX~`*dXX_<+6p9T$_1MT*A@1fxUGAbTrshas0`gpZXCx<nyjci^gmhsFys}
zdLEQ%X;buTet@QhyvoB|ht6!jp;$QBupJ@baE>%I0QYb+4QahN1oUJ`Uxb(A)9Z5u
zy*Cwg+4r5<ZkRqVPczG4)5?r*wT#Qr%}?gI>>h&M!J<4m-b(vgVn3eew+l#ecXQhf
zum&;}pVp!2+N>?g8H(?P10tjX$rcRm!(NC8J%knLv0LX4B*^jq-mcMP5#u3Z|1dB@
zOHkvr7Dd71T#W0xtsaA<eW=ftarat-NLKsB)@dD}vzA?F>y1bFP?=TVUag?rbQf~l
zr$XF3??3|KseDJ%y*%@{ta;En{g99gsDb6RM|6`We{xzY22{st@c(V7p?dHoF+Wlm
zzQaZo!Qd*jyEq{Ne)LYp^}mCTW>E}(?jZ<Jp+SK=ZE58na9_f#1bo@)bxtcp&M}BI
zP3#s%In>DCM|Jj`M{o(Or_gC>aLNV~haj^-V<JKf(}s#qD+zn;%|^?-IeM{GJ}xGc
z<MG?SUu^#R2|@Ph!W}J35#6iDCPo^*%={7U;y8!ux1jL{drkZc-f-=W$5`u}k{W#2
zh2oo2*V#q?dbLFVGo?~)$iFa$mDg8o_`f$L1RHz$%rFR}`O7rO9uj3QR9SfFfdY;<
z<`bL&pOGp(cn)Mo>h9{oZ0BfZV#n-e@!ihG!-AQOg_Y-jhP@@Dxs9t^I>J0i9)gWK
zU3VTNOu)uN!a|}7$1G*fLBh_)`~Mm2B<$=g&5iS*Ja7m$p7c&WNZNE@0VMk`JC9og
zss1a_wiiL1=_-pL0SI=s^!P=P3IsdL|33~s9c$@-J?#H)4_Es3GX#2b>k>#C5`|B2
z_TjM350eFD*AY{eYwG{j2F{UwJ@v0_m0bh%K_FY^k2@T8_8MU2ft}p%IHjY$fiS>%
zn^`tNcLWeztm*$67|ncdAVGWxF82SdSZo*^3K}lXe=Be_wS^N9fMb@oaIkW-W+h=`
zW9Rt)EH)BWRt{FKbe3`$EJ$uv&h*3;7<wS(8+NV2*K{{tx4vn_+4Xha?rByxS?(aW
zpKh?KK@A}!GUV&)j3oZMyoZ7>ou6F`k5xL+KfVoh>~6ezVKt=KX8zjIoWvr*wW5Zh
z2jMHDkd*%_9|4B~3)Ht0A)%&Ytir<C0egujNYw=G9UyslpuP2p%_5p31&$VvlPUw^
z7FN^&LE(@A!SLNZ^us;WFi;RYfg*vQIDBoe5XIwyJ(^$^TmeD#=);7mnzPFTLx^@}
z@PUKRQ%YdLl;i>8A_4LH%$@-)<im(|HWyIJT;WSW1O=#!6NF%ylWE2%{fAv~#wbmp
zBKlCv%N_0QOXGy=%h~I861X~GhQ>eyqX^_4lFKcW4!D0Rf-<Wo)VmrUJ{_aT7}nWG
zv)J4+-j2n^7YGq(B;&6M$^7#JeIsytUjn2+)}!>`>INc;06zV@eK*9@PhK!2t~en6
zb?9|b)c9vt_5>qi4xzz#j&HXj7udI2NSJ)OqW&+}VYOi6IlugIGx=Ni#ovJm!HFKE
z11#m>E>&*Oa6~2Kcmd{zT3%ZT{u1=g<i8Dj(jb4WG0V44^Z1?Q=HUj#E4rov>{CN~
zK<bFSUi5uT?XU3j`tUx#hyUtP)LiHqt-WzFS@eKt^A6Z6`KSwwQU=ECL{PwxQDF8!
zF5n{7U<u77jIT9dx<X9(T|f#!SN}8~#G8J$0ocMcn+Uk^H<Ua0zf<dL=uiPIUI7qq
zAL?)11ujltzq-><0-%S#oQ1r+x|QLWzjKRUZX%u`vOtLq#Y2L<-9JC3v%2;E%FZG1
z_0RfrA2@S)VWa!)GX9zJR--D`yNtgzG&%-uyuSwy0R;sG<|_aZ5CD7%Nlg&EDd7Pv
zqx?GjkWe3!SSzKU=4a1SFf4EN#4!P%LSF}P`C3T8`Yw67A#T7J3jm&vyr1vP>7QMs
zpYEfd?vtO~<haP7@UA-q0RIiRJBTv|<pB)&!KdJXOo6}I-7vF17S*xu9uMe(e{~bZ
zeO9K1XNaeZu8j<C1DjGo>lWP`B=npt{j(33Ue9{f@89MKx)n({tvs)4tl$GuAz|K#
z3Eesv&I_iHJ&%+>N+3j=54*(W_;vX7-gVg(i3|h&WM%z9rbFTTnk^szCX93>q#M}&
ziDw4JpOwrGbpjEPh7DHh;UWI+{<B>G%;VaquqzU~o9R012>?4w>WU=pX1dRU0y~@i
zL?cG&X1dMd0XzHM6^YK5)fEZf&Gebo0)7V91&e2J%q?0(|4C)-mI_1?<0+kUi%!kI
zDNM6B`lB}poddF9CstQk`KaRnI!DleW6*-tGxN2Gd)g$@^w*d8kgV7A{+a9M&ze=U
z<`>8U1F-i%V46$&Q>twC1^KN6>eB?FYWM&-<V*cKA)anhReUt#@G&xc*_jexO@00$
zVqNe6kTl?h3!~^(>=OSF9edi{Gy1{z88|I(;Qte%(LJzJJexpdAz@QB4k!j3Kf6r-
z{dzK;<M~k}JFP|2c6wRxB1uH@*tM{|nYHys=@u3M{9+*Zphv)dbQ}PrceVm5*8WZ7
zxdt49pNF*t|7klX{xUuP;TEp@{Vj0X-|ORlw|8gvX`=7{X5I1oH~66w*aoVqO2Y9Q
zgcG`ms-|;3kU#G$paR=P)5<n2a~MN=&+vNrE=~qyJG7g-NUEwmrKnGUsGY#+3Ct&8
znNDylDaS39rM`j`PgX0dCL$x_p4x)%5B@FJ$q1~WZ1Pxmw+yh7!ehor@ZrB~23c6^
zLRE)*_%(i`pI1SZdWel(f~8n#A;%Bl@N|ErYMu6Z=D714i4%+yRLX|2T4|!#&cH1n
z^0w(ct<3^y-hFH>y3;xWyFkNU;}8IJ4+Nn*Q1b0WbiLZ)QJMQ28WN4-KBY{$s}wJ3
z4e6m@XX8w11+qErO^~qqtHy~%^CRRyO~sl^vMnCF5zF@sTNRIx-+{s3chcXlxhXwa
zKUvwQd0$b4^G(oFGpFe8CdfWP=UCu$NH8qr)&>Zk!|X$D3Q=$rZ^ytnKTZH@)1J0z
zDSBHkL;VVyNKVxxqd47|yAW0B9?4`V8BJbgwydy3wQr>f(_tl-NeggVv+s-2$G&y%
zPiMJ~?wr8Jh9s3}5`%2=+s=}Kyr>!;R+7H~{);_|-mI>t)(;0I5l>}4KJ_Hz+Rf|?
z#If5lq|>+s1|(4Xyx?p!WCq~6sVhv5-x5i)zcWGNC?iQto<g>Ix+Bb6MstUift1A5
z9@PCxSm^yE?21Zp_*84U?0bmc=c<rom*mRK{YDqZzS5hO-)Zwy`&4p#Fos}+k>wPW
zn&3D{pB^E?hjj-Fzf^)0yFyvP(7hsk8<(%t{1~P_Zm=Hnx_^(@zzv*&wbFb%9DdLw
zMz2-e8AZ{Lu^h6?q?u$=k)3AZD9PkOS#$kvwnKs|(hG{V>(+W!e8_d2<Yds{w>wk*
z7OmOg)57Td=x(SWP5PxJJK`tHY$huRIWUB$z4k6a&yx_TN=>LqkBL?V37&?q(v<91
zXl7CxxgJq4pMl-n)G!cBk@_Y4Oug&<%xdk~^z?R|F@(3duhHp8qXJ&cA2sH+2PQvr
zV8KD3N?#!Oxoxa$Qee);EPh#f!bt_79V7P(3Kmz2VRmB8`Zb<oh`)*TAb@u*tb?oi
z<rj1%KW!eMq$nhJhjN4xL~9>pgIr}7`CE+!=&}OzNA4Erw1EV@xs8GmKQ?BP2>g<U
zSEA5)+C8=pE12@bLrL6LzZ^<Gf0s7-U*JZ}b*FJVkjC9Mj?=T4j3F%cu%h(53{R0<
zUuo7u)eQ8tSjST@!>}(q3_3ZlgEG`7*-O0*Hy1nd59o(}C9|lQ7woM>#MsZGQSv|c
z;hUXi8fK%iCj&PeqW8aTX60MW>}KdOCs<~o#9A^2Ws3xK{BjV|Dt93KZ<X<Gw2-<f
z)l2HeB8dn5uXr8FpY87u)=9{USNE9T*TV%z@M6ZdryVC{RGay392qhr+;3CdIkct(
znRDbXB7<t}SsSM);zM+bv?}8F)d#$7mH1DtNbzKtQ~@RWN#sp=h7bdNq~a=G)!Zt=
zyN-}gMQ0nc_wQxHMa65bdu6R#t*;)!GShWwhDeb?x>H9Es4X^k)3;K@2~vk<yxawf
zSCk^YYR<kb>Q<y&&}YoH^z%do-m(#~*eIKLZEwYPd<j6T`^gx70recWu<eUz0R;_3
zzO+*p9>A@dhlcFDf9LFdZsi_wf6f_g>4j#G?(6fI+&!&PQ4j7s^}EpW>&@yBRl2HM
zlJWz-zrV&`b<w(6s#0<CbDDAaoU|=%kEvl)V&lS-q>1iuj5ZGSZS%@mZU`Sphm+ZT
zD3NzWgi*GcP(Npz*r5tWhJI1(-&d&>8aO_o+W_QOv9poxIdz4%i9+?DI@X|3scVcm
zwst!%xy2MYA5q0d=@f^oX7b0J;=3}-d}Q}zFT<gSl4@6vq!-f~g-nlbig#A;9a{N_
zu?w%5{)aROb6E@c9@=Ly=%{Lp5nL?@E^1*f+eFEMm!Gp@gCta3i<eJ49qj8Y{aiUb
zp@0{T?t?<KN=(NRMkajqn#!!9YC!987jq)VR6vz56@1nWBRKOwkB&8S1QKJIGd4au
z+a?!3YCJx(2Yf_DD7wX-j{9E)G_8(w9F^LsOtWVdG;5g-B<jgf&*lR+-*`{YoL4+!
zb9}A+TL@WV&D+ECKob7O=R2?Y?MVjVccA2I$X><NxH2Zz^v=Dn45C1oTC^B)O%!Hl
zhI~otPO|4qX}*rfl|w%KfLzfLreXOvt-NAnhQdCd&R?kPo9%;2bW=5*>)BuMjQo(J
zo?K*cwv>Mtq)KcUC@oU}wkafju18U=9hiJiF>a_W60|)q=?tiyy3vPc3d{Io`oM&$
zG=Er#N9`p~f>cRiJmTo@{Rt$p2o@dFHXKH!I7ET&lMV$G>F9o?ohE}Vi;G;lEd0|u
zbuwsGeGPp9gN<qo7<oPwEr6toA%vVYW6Oep0@#QbX2hh|?`yj9Ltflff#g@;H_2Rn
zJ~wOm_i;2XN@@KN{=$yTKzw6E28cSG>gI%zwgT0xTR7%@%EJQ5cUYVDJfdQU@HB%n
z;|h1@oWkXC2S=4({e^{oSJZ)h&mmu!fxt*!<)7LTYj(crFA~H12tg+k&yyhXRA@}+
z3x^byya|hw$D{t{Q}ClwQwpONf2hOM`#R!h+qFvMMe!HamsFg~pZ%wg(tx!Pr!N!l
zkNBK{BSV{QPz1}p{YIUXIxAIH#Tg<}Rr&0yEVYM@S@|9TiA5S7racA7DR!ZgFq7$Y
z?nJiY9`4=Jve8Z9Y-S6jcCPs|OUR<Phheh+3NtImSpj?EIC&#vpgrkmzo}J8_`&ml
z&kP#!_@-0k!#PLM>U|d`3Fw4E!l8I2>c|vn*!A%q8QjC$pf|c4JgxnzkDUkm!=jS9
z^X=+;mdPrrk$P)MIblgf^bX63Yj(K5HWikk<e3r^SEQ*LT~QG1pB6^wCA56ZAGGRx
zd3*TC9TK@7oL{|t3*Vcy6=%%o&;2>6kdC<+GhkeD%hap3y^$86Rsr{&O_-r#uWsq|
zzSn-@%|_yaOe|i~rr2ByY7QdKY0Zh=0Em=uuaTdsEqClE0wZQ2L@&bTo2ri}or=@v
z)8C@n6X45-)ALMevoS4rez)vX6o;Qq`8w)$;5*6BQuO~M3D%{+@bEjGtiMXT8cGWN
zSxNc%#wA%D^`iGDL=aew+KS_jCCw*zoxZY5dq2TNR|F~K(JF(lIsv*<{>#w1pI(#G
zcX6GA=_=)D4u|+X%S{S`<8p8LT&FVcep+p;$C+TH>h-NkXujV+J|^k44T?2X-RiAL
zY$b#er&#PqpNhc2pYA#7c1PL|CBYv&3Y1`S=AzHPNf51^1^_7SE4BDHmNK*}K53H$
zsA3)SH7DhgH}HQfc|9gVpeSvhV>@}$F-6DjoxWF5Ci!^Q5Iri+cUN*VW7(wLgmV6v
zYZ3ufcT+KnDt}3M)v06S_w#F<dCaZBSx_>lBudbVW|)XiI*|MmD;jxt0SUg0KD+d@
z;~X>1zan+HxfVdU;WMt_UuEc7UK=4ow-idHAHLzk^|rfuL>Z;=^nIr%y9<nB{(uwR
z&rncdY)T?Fxz22;o+eTKQ=n@q+$pP;35&n#uPu49;U9KoNDg1wZ}o!1HI9Gn9l}>&
zHqCdb4KUu7*nAW*=BR8kPE^D?SXS9Eji-GBZ=P<MyavR$X58MPF2nPFAV#s+=Y@r?
ze1{=tE$=GcEm*ODv-_=Sp9kN)SnO=Lrikd}T)wM5X{x@KdO#(U^DURtG$AH!|ItEc
zNgFNoj$YB@)g*q5C3skdzNJgRH~5U`$vA!u^b5!4;gzBZ!jd<`XgVZ=y>K$6497@y
zLF<!1nHo4j<A!NEr$Kd>5+h+kR<~E+=ashvCFEZTH>Tf)H(zysVUv`2)D8c>o6<xn
zWYX_|4)fi=G;8Bi$W4xX758rX&R+bWmerHTV9trc5SGMw>xs07G>_)P*ubT_DaR5U
z)%C$4$d7z#JmiG86&$(-)u479eS*(N_(Q%GM;6GIIf!ueb}T|QLRw3l`4i^ek1V}e
zL0^xT{%T8IRh-nulxagpy;N$DgItJtoFnV1+5#Iv9a=}yWf&*I)_LCHZh%0j616&B
ze6jSSra(!5`1JJpaDplUpK^P7N<E^Q$?BsdIrck7YAo??B0?7zd{p$vBM<&h8hNBr
z8a=@LN!%m#?_HUH1KZ@|!L<--MqjvJ2e|S<roA;Dx6DZ~QYnJ$Wj|@S%W(i>E+7d-
z8<4;vQES+bBwTvk&U4rRPblV;MpDpccDLF$C&5DyjJykGkJ(-FNNg0a|1|MfRsyc`
zqp9&gAL96+X1l-jEBv%#7>x;M+9UETL?kdLmJG)*PS_eJ)U6grd$pRLItrAq;+u+-
z*a;!#7AFzLW+6v$^}h{D(Pp}l9w$_0P?^m4kW2JEP8fg8roxo1Y6sYm=;H@i{f>x@
ziM_V=(YKx=LJ|%0x*(A7)l$o#)KH+1NoaXrvN7-m!$S0DoEw&NK|q&BJFDRnwgj4*
z<T@;e?d$?M>d!wl8eZL~$qXk8U#>#y0oOR+1vXF3;|+&?S5l<DVqH&K%3ambJ?iSJ
z>J7x3fqGc+D*Jp(TJ#`--6e{#Iwc7ro+i!h-U1IeY?r~?^HhC~reY*bj(z;36dQ!5
z10UB%#G1?54FOY=?&WzNI>cM%exTP^n}EO!;u4#_Fb?-@3Tqr$h_ry$>#4)Jkrd7q
zQo-vynfowrmb}B{=$?SmJuDomu#@4_zkjC6^`Y*&vzUJ_CGHcJ)%;D|MB$y#)Z@|^
zG<PxK%-hyBm_77?*v<U8JkJD=tTE_ap3xXtgZ8EvYy)9>&@cJXhEI5Z4G4vuyH?ZB
z=gzvj?F`a0+pi1PXLffkWi*G5-W^7s!ciNXo1YOMbam0Zm|caY8c2$ctmAv{f10-b
zQ&)dk&b8SwFvCZ)nq*&tCQ$b^&^Z%0kx4sKB+<-7j#7rO;^>UG=wQ+t!F*AlI1qcT
zHqK(FKfa@r!vLg0o{^SV0fw5BS4;=6!aQlVbO!F=ZcF|A*snLH9mS1Go$KTZtWP=9
zaMKqqk`2i<20n(B(F;QE)wC4F7?-2nJ@fH_GR+?X82V-WQA|x6a+djBIjjtfbflbS
z3|zi63530W3eD#-95Mr53Cz|>gG@5=w5dO|?<9YznzR=!MGA>f0Y!4}*WpJ_suGIB
ziEw`+QjGG{k`pM968J3q)wS;Y3cuUqzJ^Pv5s$T%O}(4DOpcGq8wim_#1oIP_na*2
zOXOKgJ7%;%)p>(8IeZHhGFcH0pxZp?u5`f#{{<_HNSTW*`Y;k`v52R%{QhiM@Wb-x
zU%f;dAKnXf>#-RZ3l!1KGj**m)b+8kpwSaum?QmBe%x_4Xyup8^BLja`Q6&x;dzLQ
zLPh(vH171bdvvju5&2BH8bzn7+6KDHp%<!M=(sNT_WrWuvw<BwK~A{2g5ILkQ3Ji@
z+fJaxj8kZpXQ{y*O9$T&l~yh#r($Vnjx2SCE7IMa*zhEnCE#wU=Muf3_atTLL^O2^
ztHaA!LW?y0KGJz$Q8SoxPp@1Z6mI(yb1>2WbDOt!FtqADRJ@UcK#g&%EpI@pLuD97
z<X#&CHL&|_a^+joZ7=n5Zb}Emcp|=oE)N`<RVk{>eH?bE%`3>Xks&xI&su2384ac>
z5c3Ltkl9dz5BN!vjQuo9f`E*V+sPw=3kiN}seE%?Z*y<B#MwWPe>@YyX5Hb6DiSFg
zk&Df#g5)atoXger?6pYSqS_{#L>(K7$_RiaSPG@sem|0X{K7u=Tv!YkN>zkqIDpSl
z<hl+`ri_OS1=rvHc^x>JMF9(;aOsBTbK`^dty3fx4&XztiTE3O^f&ausoJ<#=6D}Z
z(GU=rs@xG%iH+Rz0WN;P9pZdlYXfDo)U<W`@p5y7t_`Dvynb-{{^b>&oDk?EXzm89
z&X?6%RtO5Dg-28M7Let~v{_6%Y=U^7mDibwiMzxtbX?b=$=WbxT3}RHlN-sm9m_7>
zyIjW-0xr(Rg;~tBv*tru7dniE$K$NXzwP@eoQ(S*yN1<XvfCYTdQF3yWh=_3PE%pd
z3({)joDtT)$Mon&bvsOJy5Ex_@?`%IBF}HGr6p2$y|t}T32kaG%c&?2W5!DRK(h$f
z$Z<X}akh8w4C-t5WxWqBOVQ(%o<*uI5-VoA2PhG)3}guU-b3c87X;&KLb{oviu$A`
zvetiCIRdKV!!z`>Ftmjy=;qD`suR~c<MTiCV%=q9jPdOK)@MChD@AvV@*fkwMcQ7k
zru?>%0DwYdp~4<<rgUQy@iN#kdkZ)vs4PutMkyK_`D*g3nlDxD>0Ux9^s#h?!~S?V
z0H%v_xcB#Pji6O?4wNp!g-mNA@{*3=U?-3JsFL8L6V&RqlCwj2*lKUjLKOy^mesS)
zMeeILqN;pnNxSFNkemH>X-dL0*F5A!S6ib$*7B&pceb2p=6l0j&4t813Y1BOu3CQQ
z%Oau=5xwMC*$=+^KSSCq_VDYxzxN|@fgSN)hR`9dNd%WqZCc?$Nmajn9eE9jq^OZ;
zEal8J9#?U1`SjCPa0Y$Gr9xdKb(^F-DI-6Y;-mzp6zoo0L3R=COE2KFq)tnZ%ITvu
z!;M6AcH_kzwu2U)tosK&szViz1fvK%?&JUtbnHzuQ_?(}DtVeku(um;=5y>5u)(Ta
zjHvgc(Upg)-A*H5h`j07WdkLm-)m?2MWyST@_Af^gXetvLF*2xqhoWrv4?oN#y8%T
zqP9Tl^n_CUzQ0a;?Jx$^hzgc9tr~Hs;<Ad=oK&)XzC9ypx8W~06ocl_eD_|uWQ=px
z7tDPac<L_SLSBx-&?i*tGcntR0WA5Q=*bBr3dlI^a(qG_yB+DV#GA7}Cta|GS99xg
ziR+lyHpKMTc}&D?LNd1)5;kSB1pDL{@&=-xeO!}lBuXEayIbe0)I^I{6Fb&9#pOF9
zFLa*cxFW@4xD?iZ;Wk)><#O%k{02BW<!aLQ@Y|NI$|u#I=i(hNlPnVt0HlhkJVF$t
zc219aOVm{J$DeEICF9k`*P;fAaFXe63Me_R-cbq-Jqd(q{%P0MuOMx50o&BJow$e#
zOB)R5wVqv#C|TT%Z@suLS}_>tnNtJmkFi*snd`eSzA*f}O`&&Cqn;<EFt%RbMlf!(
zy(yX=aqce+sA;hTEo6600C?fQwtk9I653K_TA?{A2R>XYwA^~0l|D4g=>Ez&ut$VO
zIk2{_@5-f^AO6&ds3R+lb-YgT50t$mzx2kIhI<uUULE}Wdb6S*l<x*-jssJb-!M^^
zr*LM8#o>@Joi6qV3fKtj=}d9KdW9q%0SWUgLR1L+iJ4l@wI8Lp0P}LNA@<AmGM<Ij
z{TD0;uL+Ef=8pF$HS}r1C4SxatC5tmt6v7UBQ0_9<M~$J{+Ao(61hlf9*M{S!l50+
z7LJ>vez^6DW}*t<$Ag->wU4tyD}PVJhxyUNBgWf$SLL(mk!dJnzhe0X)g7nAcCUh_
zPiA&*fl7a*Tlu{(0Pk7Qf!x(iLtuYF9~*jjdxZr^ed4HZh%Y!~U0b3^P3}(>r$-S)
zjhr9yjLDm->ohqs<Ca)*m(P9?uMK=S`xf$Tzeo46hZ%b84_Y?r<>70IkPu-IZn;*=
zSSw<#6gl~hMXbEh_9A|xy`K=>U4HP_>>7Z^09HG#0b(2+kgBDma6(3djk0JNDk_w0
z<2a=5t1~~FL%R76Y}8-*AV|fhR}g;p-o_fpjF2vKQpV8F{TgPn>rwnNl94{Bs6SU1
zF&_PjsVt0$CD@uHG>4!55xM5?v=rsEvNqqM=a6q1zDFK98CK}l+WoBmiO|^)^d;JW
zrWe(bU4l9qAZ)Ozr3mSvYSL5w)e<Y?G`>26wh(gaqRMMCA2j)r=4q#G#)6?F3r`Yi
zUdt53pPYhPg5D*0{C6%zo1jZxIzo-wHUl}mOLVZI@ku0)FyjKd#F)4trIKMd^Tw9F
zsNJKm%GBjPg=aKs5Vb_t8_KF<pJhuz&au%)pY>xE$j~!hon4>vpm?{DO`ZA)o0GLe
zvZuYDQ8#7&v$!mzfspoIwPS_fNhkfc{Z}_6OIknms-`o072Mvh`4XRq`jAP6f2{{z
zi+p%qE2+iOp<=&q$4wD>?36Sb?N7SvkF(%?7f3=ggyWBmPoS23&O|=_i-T<@U&+&c
zMYvJy1B4C9vXUs*mhF|Vh%i@pHDbOloe|3M4JFNf=x!`(**{~_3Qq8U^X`Eje7AP-
z$he7j^7Adbbb{qe{L0R<AI;P^hM9$Vj98fS-Q}%>p&72!SxJiN3zm%IRus{lLQ#@-
zqt2!bK4u7s2Sn8$74fY(dFZd{b{O{FM|9t7XaJjWopkE^<4!VCUWNUiAqdek%`g1z
zb>k^1yMaG1g^tkS>J6AsZhq7v(A}JTT~XdJs_31R<2o*)XyRSYDEn}R84Gu+jZs%o
z%yggR)QOyBg~$LRtC9+9Tssk(S;pazR1D2$o*>G|?ahBUeB#Wmab<g%)WQ_OM)S%s
zN&)As0teeKg_5M!C2CekLkJuM(hg;egkjb!w&<Ts{`3CFdUkxpY?ACr2W-wX6y*8U
z-hRWd^^fFC6Ur^Z`lgvGa~jZaeUt;bW~QezzmpF{VLKzVxt}OW`sU1s4|fu{@4yeK
zrv#{ciq9E-N8^WV?fQIWND6;Di8lZzRt65UuqMXVM)Va6D`+ZTMY*l;pZvYbdmclK
zVKTZ8yTSh-0C+%$zia=Dq0(jL8TU)1KD9=sm^aD!w^ep)=}}5=an|y%<xD0OUM=B$
zstH2Imy5v&twZw9Uc!)s`~DKegW!p1zKlPgDzw?@dw1`2+xsa5sdI31y+YTA21IrY
zShiMne<kvWeT0D(e`c-AnA}X<J3C_PH*71;gS*2;_~%Dj0A#}f-1Oo3kU<fa=8iWX
z_|x8@ikWS^f4_SQB*J&uZ{J!dMTvnachlF8#fXL($m92alk|ApBx$@Sm&C;fe~*9o
zj3`50O8?B$7%=fMg?XzSNEk%co>$4L+K{$xf0a=s@%1$`R~T3MRegwn9pPCd+-B8#
z-fP=>ou@{8nB?*C;&*2V`9d7(?DuDHR!o$iyDa0b?5!dhiIKQ#n+Yt)_<Lz8a=Y}%
zVGG1Kv(y=ikULSY*@VD16H)z;y>G~AWg4I`a`1mZh!wDu`v8}o9*MEq0rNUwAs}Br
ze>O|+!xB;$d#k60?wQCf<nW5`qwwCCBz1OnESW$2OUX#J+f@Uf0(i%){RXq_GF$BY
z>^{1zCS)Jg7#@ESvq9uFiYI2Y7;Q9(YA)sGrg&!7)x3L*x7_35lMh6kgPw}h4!80U
zzm?t3DWG*Tp`i8W_NJ6x&t>pGyEs~*f2ZYs+z?`8)O}Q_Ngf}hWUtkT5HB(EYF@_n
z!PSub@_mqaiGBVVVhn@ygZys1W|lbRA<;T)y5EZwLjiW|rhd1**y^H}D6?8-n|#!;
z4`Y}`A4RKb^!ZNZEfe=pJM*jxCZ;keqx>IAocS}JM+#Z?CO;5!3|TX<N{lJXf20Vm
z?#CGM4Tz1#4?VJBO;UW5L2Nat|K^$HdWWA<@bI9pFvAn}P`rb-WT<Vg)xZd6%HloX
z527TxT#Yv6y$}{yG<YrBY%GdgdV1pJXHT%<DLUuL&};DACKuDw(E8f?uA8N}G9eB|
z;>}YGDiG%5C&SsX<^61)9pTUHe=@`m)uxwc^2BZ@HbVfO{ivV7Ys+Dghm38*?1H&{
z*!04~FxkR1<H?#iBzOk+_LN3Bi|J*T@ECLOEiZCKS=HV_i}P0z`HJYtoxyYzy+n6V
z9OB6<+`_SJ>As+Z&3Cc>hh)N?-&kuq%3v&K-r#Rbg}sp7ZJ156kuMTye>r=9`KmDA
zbZO}!3IJj4_vwMdE;*Wh=>VEcN!-{rel7g==zg=eFS}tRz}uzxsN%gIql3BuD{AnZ
z!};0wZx&A-VwtumnxdUmuM4Q;HjkM$y}=XX0f5brF7B9y(8Gv@EB}g@Z<v>~wN2QX
zslRhtj~|vewE2Bf=%=3_e~9cC-fEQMLH-(D5gdwLD1b>@9ezyiz%_*?)fVX?k2n5V
zaZCh^)+$rzgYLUEH|sQbySY*$Og0r>sTv!B(3QwUj4QFTDyV;vF}WuzkbrKIAkfJQ
zGXBUAKDe7h@1k}5iCO$7pk;8HqY}N{o<sg^i5>P*?Q<AEP3f_We|L#K&87uuqq{2T
zk`Xz5>*^587h?>ATeI(@P$rb>hS<u`qUT)w$Imz2$-a_`y@n?AX=+<}FV1&Kd1!1s
z@6J`yJk?`ur1eeaTU))5E%oW-)sZh+tZJ;?@QVF5k?VCr&!b61k(qoS#@;z>Yb;m2
z{SvQv2&sa}SEn5Ke;6R&bk2@j=R2P<Jo*;9H9DoBYE|4WmsE-Tl~um;!yKwb_kE*H
zc6Z_y#yhIps++m`GPc#JkRQ7$`)NnI+9;GPsi`(qu&|#RU%;cqm0<=W1?(K(A9&aR
zMPc^rW960a^sZ8_G>69yhx)ZXk-cy{4%DX~cqie_`0i0MfB#jU5F)6sK?ko^uS=IN
zI${#ndUa=l>5-#GIge&|`~2r{=*pz(w-k6&nm5myboyR~jZ}mR0+TYQqCImQDc=}$
z;+E&F1k9m6Y2<0qh25h2P1j&PXLR#M|2Xnv26EE!#b`>QSTXAYPBxcVIV_bPtAJo_
zE)$t#@7+g;e;|ulXAw%07s`j5WX=m7tOLTLxcp#U^7DJ<#(12Tw(8v>zh`VqoJ6e&
zGdT&1@xJL8%VS}#**qkvS$E^A4#Ptsx7{3BarbD89*MGtc#*{AG6l$i?lln4;>4W2
zg7f5trjRo=iEGK9TPOr`A|84P8TT;5LBck5O!rQFf99z!h8VspQz;zq!eiRnQXFwq
z{sIjJs9J7prek|$BkqqZ9UF4RUu_e8$qtGazEGs=p?mW0T;G!th&<3?{2Uq}d>mo=
zK8y$!mRc13D&*-yML$ZnWtpBd@A;~B-iyp>;}*^)lqs((E(W2?hZ`;YFeaBbcZ=yp
z^hIqre`fY<JF}AA!COH}%ee#p6?1dB8Vw}NBFEbZdWVRpHi=L0um#v7{F<(9%W|~b
z#}vdOI5VWQ>5kD;isl3;Dn#D~{TnvenNGsmG2k1bFUx4OvjA(x69z*B2f2ES6=E_>
zQSu$i9^pA9;q|<A@Qm72TA{|@NJwy2KpR6Ze=D$eXPe`aGaHjW&4ioXHKatLi(hq$
z9mV&-b|TNH=?*gND)Si=xp%+oXno^zRsK`1#_aN7ZO^FGbz4+cGEkvPlK0kKy!A7%
z_ocedoM5%TeVMve!O>~&<gVkY#!^*>>@n<>>4p#Chg&o90+hq!RE?|`<<g$o5n%zU
zfAljqrc6hHd`Nts)BGxy+eK(G0vLdaMMmfZ!IdUQoHw@!QF%+toGLi1ZKwqwV7s^T
zL!PC|Dd4sA`H?dYvA?>5h%4B5Yz?xKd|e@8`D}l`Dd%hAu8R>4c8XkGA9*^%K7Q<;
zAe{=}ma5?7r07O3bEK_BqD;_cD)}rHe})Oqlf&BgEW;u3@b&OB`wp&tv%1TE`U}rz
zab2V%wT)m|c#DuGEe?J%7k8{QUf{caz|9L{9yLA~U(hR$6S4KCtKFGh&1G&4ux2GJ
zj#_F}$3nrbuXIAQ1=dKte#J1e>rU~w`1Iqg(Y3Djgw^{L3rmWE?9=>vk#A^Se;tP7
z)yzAg$`1tBi<4A~np&dfb@5q9n{9*0@3d2Uu4g1p#GS0FC;bQR3M1t=+VkR_D!!<k
zW3cTX!v_hBnA!QEJTIYxA-JhAq5X)$ZxOO#bNa6Ra^Y0bsNQ_SNw7q2?kx3TWOqJ!
zKCRs=_W9(j6pl>NXFmIRi>PeGf8n*W1Ycd<*BY9b!&|`$U*aO0Wvt$q#qXxiIvNJS
zN`!+g9Ykm`<!f+I-3aTH{nNeQz;3bgk*gNPYc{YfTXB7%mXSvU&^DyQ;1u9npAM{u
zpT0vPLPa^IE*@@;)<Q&zNa>wwd@?`V^vU*X4%NN;{DmO2+)&Rvku{z_e@{;nFVup&
z=W88X>w7+MVIMOwIn7ivp*(^Uj>#z%{n0HYtirK#z1cywVngz?%Wkz|h+#^|=u=(S
z`^@zb@Vt|&@bQdGXzUqTx=>Vsy9Nr}He}uoQQHHbNwWVSh@g7#arzw?B3Y4d^5iFL
zF@gLDe4=3m7Ef^d3XZ>Cf5KkxuL>-Es~m`PH8lyrq>#clqGIvfr`-0TKmrht;+QUe
zg|k+b;gOOkaQxJ*AwOTEohofA<5M|8v7pPa{^rQ?XRqvgR3##P(^yaN#FTn$JW`+B
z!3{20iRshq5{b1gaggj`g?<Cv1;Vh!$$;r|<Saf4KtfV}ylPO8f4p>nmpNWe_P860
z53E+<{#l!MI&l!nSrgMsmot*q#wP9yMgIP*#%-(dXA9_9ni9cLHKXPHj#e4RIpf-_
zExze!%gz~eVJawo!|1BHNS_TYDz^gdU)Q%SI$wVVNG`|Zm{H9>nZMcZIEsbHL|%R0
z37)XPM7=apY#wr#f4V)31hbK0!c7OmWQp|HUeF|4>^wB}dzF?wDl7O0OsOVfR#oZ+
z`!&|(;-dEi-NQ&K$WpN^*q&kxm6f4i#Z8rs2e5NfE55-K7gw2LR*PU}bKsvNy1v)F
zn$<U`3m)s^H{+|%2+{IJb;2{*_pj*aWswO}NoZrDBKKC3f9{ek0q;v`kiJT#?tL$d
ztL0_&4jZkxy|V{JUmtB`@}PM`pKx8lX4JZ(83!(8-ZAc?P?g}#xs?TyEF4v~uWtP6
zpaC4)^&l)TCK8{Ak3fY<Frb<-@u-p_b%Q-aQ`akPg7;JME{Uml&pB0I-7Zm<%Ds8>
z{M;y`{rFV@f092DN5PzyCulzueQdopD%9=+vLy=MGv3V{=Q4_!k)MFLNyULdc447y
zJp$$t;r@fBet~;Y!_#=b6dEac7a_@nSk=rH(-O|tF#ZoM@QHZh^hEa+>hBQ?7uH=K
zXb+`gtPKyWrgeXgY?0MUjqgEnPrNGW)eFZWDf|bWe`bXdy6v!v5#@H0@GC2^hkcWa
zM_B#i^o+&2=^3VVN5BkSFmMWZi*-koT(O3CnHehLOE{ZTCK{Hp)LWDlk`5#Kf$%x#
z<2V{kCE=9H!rvPn=ieIFnRFjm^Az-^ghgj!0Q>ljLgXz{X4OhfF%ME3T*9mZQa@tc
zcB&A(e>>%y=&SZZMtV_=MTx@8{o)(SYuNS-;=r{E_f}k85o#7efljX4%*h8DNk5MB
z7#miOg~L{E(B~Y#oj2AJJN16XwU4Q1uO^h2AM+HQxlf;aUK~57JgCX`7}9R=poJ%O
zof0s-D@}(hvu-PlOw7#}?-KOhXgu@q^Cozde}QL`u^WXaZ5vDw+`Dh6n>*`*@2RwY
zC8b6lshp-6OJT-XWGP;0(7Uw3L3L~u@9wgEg8kK$=7*sC2L(pi0sBT46wpc~N$=IN
znqvh7U0b!lOul4aDvF)C7_0cKs4>FYxY@0)v6H04Y&UwQHkkA0X!{pm1-05^1{y)@
ze|7F|CsU#(&(C|(HixHmYeNYI_{+ePa-(ME`m;{;33A$yeK*M+LlKGNb3&HztK+ig
zem}5a5BOT>kK*bos0`AVQjkBPvzv*Tv16<FMEGPjP9zXo%)+>1TUl+~Ljw29lUh{d
zjmCUF-ph&H(|s5tzH72EE`>Q8LEIW^e`-9U3+1AH_F;-5D4PJMC^C)QJ*KLqzH^+b
z{aOG%<5|=9%u)1ds~+{H68A_h-06A3nt<C>hj24Y@Svv8rLnxYLp#GE<q`>2)&TpF
z_Ews@9>FCd3<=tX34$3jMUp-+UbPGDvC2c?i<Zriddfvj@~fq3a&ZB4x@M81fB8hE
z%}^0mCgF1up+UbQCeYvtnxlGaA(_gFqy|ka*=OrHS(#$CdCP+{NTw}LvwJTv6K@oS
zw8m<}@6Gc;-eCG%+y}7SW_}@Iz0c52=e;?iI;cPItyzfC%@4UcG+ZKqVA)WEmy9}V
zfvxnQjS(#ai*(4ONq&_2PG5Pue<`-Q88H2o`+RQU+f#3~BuSNnT)dqz=BFTco}Zm=
zwV@mG3_RKBzL=9}FI5mlqay;j<RZ1(JvO}SD^)^IW60sJXWenMCFi%55<_bq*wV!h
zFj{Ww{HZmt8<X5@;giJ+DQfFrk*##^jL0_WRiY^vby?dg*QvyZSoS=+f5#emmOQDx
z>rWJ!7qNItP)NBx!sz86UZrSZn$EmoS7*tO;cGE0|0wcS=+550LikF4RLT!KSypP4
zwRhO7`EVRXzM-6<qF;Hepva&hg=L#KU8y0O7dF+x7KSYBqOTE|VltqODRt!O=R!-5
z0&i1YZ_NA8hd)|{$D-ube`1`%(`c2Dsb5Q`QS%?55)h*GaHj&4@#d>ISE-c%ku_)c
z6xzj)Q&ROysji__B5<=gI4C)N$LE9Zl$ff=Uuz#VDP?K6lwXDo;&r|2z(zxqq;{5N
zbavSw#eY~G&ckN2CS2yy>_uH9An8~$FrO;^;5}`-Kl;31Hr|uAf4th0XoXHrAzZcZ
z=wy`6LZ#y&T@&JMz74@lgv9^cXiioWgmtIiV-xM;kB7CkZlQ(s`ux-PEAvf>ug=Uz
zpXA^baH&(^yb7lVX)Hotpkr^`wn;s!jJL_qpyJvz;WfjKoDjE=U|8DY86#VFj1|^h
z6rr$Bp%dFY<4(`2e^rOvew219W12!Fg1(%A8@jd+{PkC#w{6P69fpaE{WR?tV9Jd*
zHIBQkIUg@Z`Iuk6^pB<M#V;pgdRhB()bsFt&AE;(G9cydGQ-=D>HL)qO_5;US(pi&
zZXZIUVmF4Wy&mHM2J0LW=B$l{H3$u6sgA$ZFtGQ*1e~{xe^XEFUU6Vv>Y@+<sV$+N
z(OhpfLV8(7olJHoxl6h@(jfE<yJmja@`Vj9bvcL(k|w<VA!3JHfP^iCDp27-6;hfM
zFG^1=onBp*^*T%Z(5n*#pH+R_+I&60P}4C(rh)leVs9^H=C;`ee>jKG`!z`wmUbQH
z;yTHY^_0|Le<5KvzsT9QRV3Ngbc1RDtxjK~7QWPj)m_yflH`CdY7Dx?K6yV2;gh$w
zxhd7^gsPnst97MC8&SSnC>#zxxOo68zx*T#p}{k?sR{&sjqoNMQdUh%U?{rDD&!$+
zUbeO2K67Du{Z8)~PrHRF%*4kdI!K|>NsHzOlh)DC3D*|^{|7+p^C_1>)&~;;HaEAv
zYzRs`C^k7DFd%PYY6?6&3NK7$ZfA68F(5KAGc^h?Ol59obZ9alF)=bXGM6x^2o?i1
zGc=cx+6X9rwFOWd*b=CXy9a{9;O_2DaDr>FVSvHio#2)L!QCY|1PdPA0t5)|5(w`8
zCcAq#x%dC8-Ycqx`MUeGo$fO<6t6W{B+MPmK(Y?@t}Gm^?1BI(Wep7uJ^(vA7b`nE
zCkhRXCfL;$^dC72jW)>H1?*ri_=km*Gsx5xB9k_Mb%huzJJ<sh+-w0HTmTMUK@L7a
zc6I<KJG;Pt3>};W0n(=KU~_;nD?q`)9^`^TBjw=e<qWp8a)reC&sP9FkO9CUAi&4`
z*KvS^9mp9BG_?mPo4Q(o>>v?=rnUeL2Ot>a>h)hP=!LCZT^$A4*gQNuSWWF*SRI@#
zMH!fX0UlsiD}Xx41?21wG6(!B8K7cn2l}TpRume5rWM%bZ-s_~g{z0DGY9|?*n)u|
zdl$$NH+yrCGXN4DpdqgWP;~^^|81=Fw*fQYpXLBKSULW6_s{8Hj==VR9X1659qb%U
z?Y+SEmH-Q|EeN10tHkQ+>B<Z+wKxA|Xlm<!;s7~s>TU|QH8q16{FS;XKvqHxU<#@5
zpZZ*Y&R|DZ7giUr?XMcyez}3PS;pR6%E8VKWbf*N@+&`Surmk<>AM%(KbLD`@8DtY
z^B=MR+nZbbD#P5(kxk1U?BoWLm;T2FB0~8svjn*Uc-Yz5`Pq2@ASVFG6KKWuD}bhd
zmm}yeCC4u@qy|49M+ZlM1*8m+AJ_r}`G?};V(Jb8xH`Lm{CxgY{5PR+Z~)A~Kv#en
z$P#Ri^4mK^46^u}A@}bL_5>KPL&lE-!2av+-*0aq6K3vUZ|n8j{I4r!dnGTUBPY-F
zPs#r(B_$m^0X{4|`~VhC9(I5LmjHl&4+4Jw?dG*9_@6Y`e;<{%w{QRm{GBbNP5;T*
z{htw_|7SlK0RQbv#Q`$7AOQXEIX7hIVFyA!IR2lf{jVece?$Ju%l~!G|2HF9H(T4k
z^z?rl{D1VOc3@kte=Hz_>*fks0%ZrtD%k(8sSfDx%~b}OgWc@@S1a#o3Rwn!342T1
ze;WyQkp+8#%wL0DfmVOd%inUXUz=tNwg<g-Z~^~%TL3H^?Ck%egRB?O2J(KmK!)-!
z6$r9D{~c1s9_V2HYt1-$cmbx)&Zb@{?2uXF<lzDMa6tCa9OU`e7z5Z??HybpM*xuW
z`~VgX&M3d`l$Qs<Ch<%3H}L^~*ra|FKY&g8HwggPWd0>Sb^x2~Z{mQ=-*4gsu*v-<
zE&!YSZ-PWn{!I{{s{ax{#OLeZ1o5f%n;<^be-p%~#&6;Vuxb7#NJUz|2@+4|UlM?j
z>2HG6XZD*Q@ywh}fi@t>uYrZ@Z#mb$^1r9~Uj-z2;J*afDK?;kE#w}5|0DTzoowcR
zAS3|j4}?@?@f&{;_zx{4s^uRDDbeZ=gw*(_F(kI_9|%dz?l*Ek()c4Q$os?Q@CQNy
zJN}E@5L-vckAnSwwSb%BAL)NLfE$vdqph3EAI=~Wr{5Fvi`+mie@*vq8%Qb6e;}lk
zKRxgQ*nUTVycle*R?eV*-))2J0h_DGpZP<s)a?(1w8H%lgtWrrk0wJ-d;WnC_g;VD
zf9({|%^6aw>tF94Wa0k9fBlYuK%O8V%KWSYQ0T37-P_MMH4?-gEZbuUtLq(+@AUd2
zcwA}ca(%3n5Yt~xIZ2wBR}ze*y#8JmHaY7{%y@J&?rGSa8MKmrESKX7CDXSldBT!6
zbbH=y2_iFhAhMj`ONrdXK7Ox8ifLj1XF!*zGy4$A*Tc12wNv=m;j*hQZ~(9a6klOc
zBon*FN@RB&z(ng&P_MfV>ltFj;W!(lx@pR5O+3OxgX69xKgST>dTkoSr427H4`%lF
zrEs0)EB03NR))QQAjI`npvWFc7$C%ZpQ+H~0!1syb0t--H$-h{x$JZCX%;F-2zDS#
zeD9^nl(MYg0sItZyqbppb-1HTTTOcw;sD@B#aL|~-lP$!u#VE>_=#`N$xTLIxdu;u
z%qwfXRQ<T&e9eSc5r-7$1wDtK8st2EN_Ah@#{qgYIKfbVld9Hdxfcs>!?t{rzFr)y
z(ZLi%Qau-A^`Q8woAep2w-ekllF0<Ao9wenB@##t&0JO(2tM#{OOznG`8$r2#wPlE
z`PI#tN_RhOj=8@)voM^I+%%l_twA|}g|e2^B5C+Wln!()&0FKGJ*A+%=;OGRxMmvC
z(*}PT_-5>Xf=iM&mKE(HP6*uU@1UFppmN=ih`tqxsH={;Xhx25@FFoPbRxP?#g-Zm
z-Qpsi-j#wL9PV~>mHF)Yh>YWIl_dL-s^8^;AtU=#?Swy&WyasT>uz2P-!%f}%yAhz
zU2#$?c|z`@ocE|?ct^W@AZO3F5S8>wcA-a{;jY4ex62_m+LK^^#5#P+B$-ZFB1jYm
zkKf)&aM?)u{S0x>=U(?YPxdHR^%t0d$d7%++Bq&#Vkx$OWCejN0P9bgg!_e*&I{*;
zd$(rgH!{Hrj+!{9qJ8<Rydr$N>#&JtLqz>zMa|oeblYMSH%?9k@Pyf78mnHd6L9fb
zB7(SoO6b`&wr@SOgQefty2{j|Ir|*JA#Rxav&kvW2EAr!_fDtpVNdO(4Bnc4qEtt=
zI^!}V9I6aaV$XkmKm=pG&<FwbrB>p(71@ufYF^a7GIqSG-e(Y%kgsP70gc>2k-s2Y
zo84S7cvvi<VH%?-NMFD6@0bbg&ZNPqvRW&DDb`u(uej4#)og?>iEUa)&Q6#o7;MPJ
z(y%d2Z^;|$)9VrUOo;y6_EaN`W5B|OqM^RT-|>NgH(Qfov-pQ!qewOi;jzZ0xM_Qi
zzTXd{k(FxhrPr@0{7@FiyI;OJV<7dDtY@)M&~fZfX+<z`6gK;i&s_E>FgM9kHds%8
z<Bg^teN$-RD*r}mQl1ID!a_17oL*MsdymA#?$fK~H42Zwm2WGvvy-|fv=7hJ`0oAQ
zKS{Vo%|cVEdP7dQK8ttXkUJKFGbnp#rkIf5I6iW*<{N8?!lbqP+$z2(w{wcAKg1;c
zHtg1~#1x&*5e#*_Bs5evpUrs8xPzB}kw;YQYZ61=FBFuIWXVkbbUzxvg1b$Lu_X9R
zrXz2a854piP>-y*V}Y+&FhpA7Jg50m7D{kE7m@p2R^<tecx@5kg<Hro$AeGAN3uA_
z(?e4&l^0~YLWiKq`Ml%iGI@%9UG+`pWfd2?9?rUqmxVc-vaN=Dk<<)tza3tGbCtJ#
zadV%HXq>g0a?;!UIUfXIWrdeYH4<2OVriI~DTy6n39|_75|*^G6<kcNyG+dxArHga
zC=yO>W%*=000s${uD)xzU!OSYS~Mux@=sDp@itt9&3BBO8)5aPh(!(6Bkkkoh=)}@
zA|gG&muXd|%p;1U;0<j*I6wq{zAEw`dhCI3YS4&BwU0RaxxGnQ%p^a&23R@{I8(z_
z79Sgu_cFNck9dlYBv+f3V7Jjbg>Dk|yC^GZKe%;W^T*jA{c6}Nj5r?BEGU=<L_7X^
zg;N$u61BJ@DqRR`aIPn@;&Y_i!wOtrr`b@0-!iPN%|5VX>%bg!{UQ;6@JT81#AiaI
zC-AbO53aejjcEl$v;=+JHI#K#zW}A@MZ14XaTa-=lhkc+u|CC>&5+G52|E?VrBh-1
zUJC<jP5EMw)WA&DF0LYaNsF;HwyEJWB`^!$@nCttaxQ}+H>B1Ct5iJ%JGx9ur~D)N
zB-v)coLp`B!K61Zs4>xh7oeZd@zOx-;}cS!of<8QO27CBLAPb~4gQ1>)w_dmO+W2T
z|EEKJtm=cvaxjr0KP$TSE;wpM3@?dMLg~t;sIsect*VT_^6>i;Chj=8ZZAB^;hBaW
z=Cgj(OGHJUn>bC^o@jTKKp(C_#YzC#Jg{>kuU8yB3dsteycH*Z&Ipx2U&JILig1rZ
z%DaYbeu5N;G^Iy@;gnzy;aKSO`ck|^kal<yh2onp?w%QD>yiL(kbmC01EDNuf!6pi
ze&X2KE8LKT*m|s*BLrXCqyco&YZ$_~jKpS1Q~jtuhqOb6*=~%4Yf1*<4rG4?hsA0b
zO=H1M)Ps}vcRb#IQ5GlC^ypVYy58Dm74p1319VEmHB<@ty~7H_O)=R!7t?tn)HVF4
z?}I*}bxR2cT5ubxbGZyu>&ByGluRQ>z?&?t58&gn6z>)EY>)8^7|hOn6sTNoxV=8<
zP}|pC978`uWT^C%X`~6-?ilMU_7hjq>B!jYof}BUrk_`TUL&msH_48Co}t0YGW!Bb
ze)99B7S+bo#geSC4J1sRaB)CK`KUcyFS9aKjav<P6iHO%<L36{yj4G*ft|je$6Mwm
z6T7H=v7FxaW6$5A^czCG?3;1+$Ec~Qpf`~!BxdYIkp?BQB#iwzD^5aZArh%*uul3N
z#J;HCVk&ljLI6K+Q{z|DHhIs>o%?4sYcswBiO-D3Mb3i`A7etBPY;j^VzS!s1j|vW
zY*8AU%0?>&69FXoxm!8!<8=4ow-I%=U+$|r)im$IRSpJK(q0xA-4z8h>nVP5vGPcK
zE(LbQy*4Qc+v~awEVEeQCa!q7=LO0~t6zmTq~2S9^~gP1{L=TTgXqpm=B+h8cmMt2
z__7cdlyurA;2ulL_#9ojZi9-S3iYIYk>7xa`U|T+zjtS(g}G6K{9c?**nYv%=BLcg
z0!7&`nrKvO0VccnE|LubMi)XU!=cJNsR`(x4O@(x@uMvULoRW|m&O*m@SW{Gd}qun
z<j}@{t`BO@T{WZRFhzJN$o0Ok8+;*Aao6{#Aw_ilO(h_*PP`l_vmSgpG?gP<6U=?J
z<Jmqi*8cUU9Qk(6d*f%8bAEmPC;ajE7BO&??54PUAroqRM-suG2xJZTa0GTVE2Uy5
z{YXEPADH7r=lN0^pImn8OuZRQ-EK8DH#jVRw^dzk0lFRJbv&sQ*g*>kCl*r+rXE$R
zc<peF#VJgg%P~j88P5+iMSha<yA_ym)+a~7u_7ZRXsD)ib}TyztbfHZJuh<xH(fu_
z{piiOT^>6!oo&<OL6;%AXj}#5kBl38Tvvj;N$j-8n!6%Lgf3$I&TiCHrYRE63UR7`
zoQ5D0gMLU3k=V`F&O2~|{^mm@z0u*eOBW%<8azR#XKPCjUh%R|?reIqv@Y{ZT^37o
z|H{^uCxVns9_@*>-eSrdlmfKgOmxFY3$$A2d>GXPmq}GQMlo+WS-$v=r?!?i*?vB2
zaS<at{AcTjeJ4i#zJ0sN(#uZ%ZWrc%R=9M}9auDnO2jCD3BqJF$)P*KWiv(+4PNJ;
zM4ZxrA1Lz}>Vj(+!fzb3sPiYe($2(5B^cTrC|F?m{l~D=i%r68lH<|$>ra5ThlT-E
z^2%B(lnKST4QU(J6=+2)p^ml-fEm18jsEhsXW4f0MDbGeGurJ2OqLl`&bcgqr%`6?
z4*Lq#jze`9LXM$(G~=T0(Li{u?Nxh&B<4cHs`z$fOL~U|7$r1Y^6EOZEp5gd72CH-
z#ol}*w^EaqN7$cneFemE+fZ(+XlM_H9!?&heK#Z-W-imYo;J#kuMmAPwwu=`Z&r9b
z;Ys5gp_jMJl~Ix0_Z(Lb?@l{^w~?QyygF^`pySY3dp}P=Jq~pwV{Z7y?4-8~7zPs+
zwJFz-z^Ps`gNr|lKojgss${?)WBXPIXubOm(yizahQ>@@oUPjTGP=L6y!?EHFr^l}
zcg{@jL4}!ZcB`PI{HUb_W>vjciD)zRq<yT`%fho`KwVkQU!^3_61FdYKi2tT9>pSj
z-KL}~+PQV={C>unrJrE)>qgOB?)5j@6n2l~rxg_7mkl)vVBGk^X9RlO;<QiSx1I-E
zJ~!cs;Q3S!l74R~d<uSy4S(->Gr-hDu%=!ebaO{W@uQ2dU{+yU*P%Zl*3g$oz(|#>
zx}9m`yLsvi>fSR>FK(fK!VGCKuS#S`P5V|XPJqGBUh(=|Ve6A|HRjNWR4YxT`1BWZ
z7(K5jP`yprmztB`Q&W7UIALpCmuU$)CSl5oWNz}}VG=<NC23t`@9(a6<K=7G3#3*$
z>2ruom_epNJF{wBKpAYU{thaKUi3m{CZUniGSOd=eN$+G8vP-ETXf2OOdpYKOFM)I
zL*2~`EmOyP2iAqpdPFLgDk=N4D%4TL4F2qJOu#ZLl8UzpA$p;IH>gHp@1cD;Go&r&
zkZ;56Y?U@3TvB1b8?(5q(d@gX1?i{Z-nnguY-x&X_Y``&7MYV~*2WVNm^ppw3xoo4
z3g6k&{n>S=51hz<VH+7fWZ!^8^3wpv>9#)U0OhV|%R|m0vH=`nFu}WQ)93R%28-CT
zVdm0(yBs>{4N4*^WF>AfLC^Rh$|NFCZ)U^IrhyOeJ!*O%=NzysP}g^H0@cDab|8j2
zj}<F^Nt$rdaJ&l904!L$?QB#Uq<ZIGcR@`>k&9oSVP#l<=2^7-vdCqes!1XY1+UY+
z0PV@(%_wvfhvbYAFD`99?B}$@8o3|itOTEQHwz;*M9#SB$W#evU0B#%%W0F;BN~9i
zR&IndlTSM-Un2ucQl|3K4;Co>m`RX7I2x#SeJ7l$%J$#HQ_<nY`-GdqDwknKR^Ir9
zI*?Zu3-N`2^wx>3*jYr&f_g#k+`@}hv$)EVZkv>p(E`nI&`T`tPsvO~)Ez<ai48im
z3#mF0T~`u>w~=rmd;V1F^|cLDad}9{JYpZ#ph@HA3!?E<k3IsQa#)F%q~BocuhXWN
zz*M4my|6aTOits=_jvzyIU}m;t}$<W+<`+A37bZLHd!>4o1dg~GMbY(=vs%P7sLCY
zkSxUq`xxcpY`3f+V)QOj-0A>fLdhM~hYFt*Mp&b{I4?@`!M^iwiI;$$S8k%Ek>tt4
zvD{V5uN5O6;F)V)&osWvVMb+PM!*m7tB&nZ-w!vNsS~Egmi|WZ<0)UO)3~3=ra?Vh
z=8FM;vy;IP-tGJe^^q3l>iUYa<8i9G$x%;9dmZD+Vj_9HALq=wc$fm2yF2aI@`Pm1
zHhSsO!a_F;8tfCKiKRJN554ChmYN$*nxFW%5D!=b2W^k<9ZH53MjkJf_e{;3C@N|2
zDt4HzO|oR@j~lRg9spg8@Rjx(<)z*dJ6*VckLM9?LNB?viwH4=4?cW7hyfR*h}U!-
z``5@$^x*;`!)110^m5<nL+`(P(wI{fG3^fwr`V+|<Ul%Cim$U9+JsUs{+3-5Me=GZ
z<->YqR|I{%e+a{2&IqT|Cxv{mJtlv$vpq(OpIi3uf{}8VLz58&J}}5MGQ%afpV88P
z_MzV|<b4c+!aiV=P82JuB79jve;QVh&|W8I%i&$sCaG}CrQnudb$MxxU9qtSdJ~~a
z6G{ElyL8HJ>#^Qb#24U!Mz;f>gqyfI>gW+Ca1*tY;~(b-&F$*|D=9xe{zB1H5c*c|
z^=ZAVMWo!<&~edk-W2I?E#Kt-wDKQ+=F&DBZ9OV(3dUg6crWX*ASb^oT$o6T$XV`m
z;)y8VuF_~;L3KT|YJ~;^Bu!PbAu7wR8Z$>NMYdy@$j*!q01&N7^FWt{9c%b*iiCev
zSs=-^_Z`1K5Z26k{f5QAmb>s(&V0U&qei0xSF62k{W?1#aj?^|(O^H}W=!dSdr_H;
z&R9J?OQ6Mbdcf@!`7%af6{e~DoaK+V-;yJp8J3=L2+4F8-yWZ|ekN(;pHukqIBnf)
z)qTK$S|&F2nu@49T%%h$luHNOVx~mRl%-$vRcNNA$qJ$u>ceDcV*W^LL2<gT^P)pS
zR0fiazfSk7pl^q{EP`9<7R?2JFGHZ(Hjr__x+@_Y`*H^l_L9>|DpQ4lJ!2!3UhfEX
za-1Z0<Tw*znhLOV`DNjH)Xj4I7)f^f-_*6>SI4<C3%h(x6AXAtZj#0Nfx}ZjLQ6I&
zxW^!a04&MC$Y?S(xGhw1^^aRM^5qxyBKz^aYGQ9#?&Ht4_tt0D=D6X15sZwv3q-NY
zLSv+7Bu7sXpbA8S7wl4Za4ca_N))9zwf-U6paO~*Ji4fP&{*PRHMDPPZ9*>`+F88y
ziSGDIxpi8YuefPECp#@FjNP4s<m2&<?FE?V*a2p6l_`13f=&BhjK)wk#6P?z|9)bK
zVfNvMyx{{}`{Kw5-!~?IhEDMwZuP#`LAYNYp98yqB?B3?efW>^dD{<y;veS8UNLdZ
zl|(FxprbPC8|Nr>w!-t$kSHlmn`0DRBTG8DU!go&SXk8GiJdqiq+i)Y7^--Y1Sw!o
zwqc$}&8v#qWHvfn<WkJ&aKvmZI7T@f4*%4Ncf>4Ilri-0?|+nk@@Mw_Y)kNPdk%LH
zbph~Qh^;kw2<>g#YD^7DKdVeq@aa3{d!BC2<bc}~vq)fPZDl?v|F$D39`&SHhLhlY
zb#tew`dv-tsqfoyXNka9|J<^jw{6&?DnG*w5+w&5-w24mRP4Q>ZzeGg={l$GlONCj
zVCCSmZ;_cYXYsv%gGBlAu{uCshqvchbneS{>36L7%=jPEbA|<I9f++jbkmM*F#=0!
zEU4gxjF6nUywo;1;1|nilH&{Fj^oRe?sj)W?;b|?IXc#>TSVC>CFxK#ME$}wEe0_B
z_z7#TOX;;6Usflg0DpQj85~42J2#@RDblm$7kjJZaKwLqp-acAd<CmAq583u;CL-0
zZpY6V<FhjQX9py8pr5=62isShqqi>FDngI0dqKQ#d>XrV_SJ)KaNoPP7JfV&C6FjW
z$>Td^)9~vxm&p_*^|{_5w)5(JUhYwG>w9hsmLFvF_<E1H<NM^*Y{Orz$~Yft08loz
zf1Ef4$84&9i7g$}KG$FA9rhV5fLo>v7q;`8_4V?WV$L)0XO>hbQkGIG%bSMV8hEvQ
zNLgY&l}-jrMiSpj1|ReCg`%XhH^$9WsMLD4v+S&9*VGA>{0KaRXTL`NItZ5*DN8is
zH68DH2pEqp7{$-Lc3mN6_(*}BEvCz%9eKC0*v-j*JU9#(MNy8Z!~T-%*iYSROC4_@
z4IcTJZUH+}uoAoFC27WU;n)v<!-n$Hnl1k4aqw%t_OEg9N~6w+`hF2m_j_PcSdxA)
zq6>S!tx1D+4bR%kchXp}7NuC>GABZnB!ZiXnpg-rf=Yo6wRkk`Ofh2nNlkleU3Egk
zX~s8y***xfs(g(qQZvm@lP@fb6K{+;<s{+#pRTF=Fzg;VW*4b2aHX<RICO_hbg%W@
z<mye|O^u_MwV^A?n0#NA2$|N4Z_!nd<{ElI)*H*aI7C-l*-Ioi1U5=l8PDDH36Bk5
zSXc21L*=s#MjXVn=ffvJ;U@VewRVfvYX{PQHelp%Oq$s6OQ{15nA^o{e6aOw*20;+
zCmFL>)o=Sa4)%CcJY3#wr(2Chgfc4yD1Y1KYa}q%MBE!WFdkJ!`;cP=la^{uM;@h6
zbeUdJQOmKAxgpj9Z5Gf0Bc*xddE=Je0!EqbEe`0c?v4Kp6((9X{F&i!M&^hFZiKmi
z5gWapwlvn;O`9j%>f1FmsC3asG?3GwZP@R<Rzex6xc1f$oQcN-eiOd}BHfIV>OP4$
z(J330;BPLplPW<0H@(NVx-sRGKghLp3cWQN*cd!;Q+`}lTWx5<A(h}aJ&0(q?>uG{
z$)iZ&F+Y}$4k^J>S`OJ}T}6<)8V%ror0(s*uCK<)rVY`@ZKgR%QVpfC-M_8>?xq=q
zY)!Z+se)1#UOep~0{cCiAqgtzeYPg4X&G8`b)0qK+GNBzW9p#6{7IH#r0ng!0UO^(
z8a*q9AE#J9O{O{t)vJyw(tXoSjeZtK!<IHD2w0SQVM}^Svy+dMiMbc=ZV#e=5;3hr
zS1obb4v5c$Pb~BM--JU)RFp}&qZX8x1`xe<R9U0$WuW!goxI<Akoj3jd}qYi+u2yE
zwS{bG1m#pftLzAK+$v|H7rJfK-SDjyqxh$z;-z*^dGPG9<QgS|inmYkw>K7Swll2i
zg_p*8!w5feH?UPe5e-F$?;h2EdatBR)$&Gz_23`oM^(t$nZU-meS+ammu3^YwcEP5
z)!1vI!7;JW-@ed^Ng3RMY>~K?r0h4RV-c4s+l&;$(33N8N7<FW)hypo)nlzy{t((6
zE!lZm(A#8m!8$(`iJjrH0|q*7#*cKec{^Xz-aJ6>f4T%v#Y!}|F;0(v37Eb)YbI)}
zPa>4V;D0m;2~t{Qx1MR@R5z~v^xdE3l%GaYD<SYf4W_yMM{L8rE!#job$ris@p-=C
z02wz8-rg5RbYo;hZnnn|1SSHuBfL;&ETVSyzVX_mRmV}sLDz_g4s@kFflckr?!;S)
z@X~B!8t!_QkP3x+_9xSS*={Q`kz#}MB-&u3+Q>DD_o>f6_(Z-hmCghav`}+PxL%nz
zZTk-h`Ezo}#EFqF#Ks01K8?e^QQv0!G}cM@6|4Kx+1llIH`;`(*xsLnH&!Ud&WE3v
zY`(w!a7HH4b<kfrRugw%WI6oC5952#u1eYZSLtp1nIQe}cdqAu_beC4h#i#po<=_;
zy0!thU)Mo*!nb7kT&lgX{dTBn+Q7FH1WzcbY)Eu3hz3?)edII9M>}nJ|HPdwSQ|){
zHbpS>WdE$D@55p{&4vsn(nU>HzUsexCP_sL)`R`-lQPnmHNKH6!80&XUW}bCnuk5!
z<0RNVo9d1s`x$?KKuRbL6{XH{+Act7rKbDA*GNH4;pD}~aw!XHjGoI3o3U!xI}?o+
z%Xb4Sz31;qjX_-9E@iM~=4(-PH4}pMFxjERDizLc8%ws`SoA~gn^sOE5)t5{iRI-g
zw?i9ibXPHEo%!r8%cZXq!>>Bux$8sCEaRye(1|QGA=w*$C5R?v-8xKRIxWbt$YvF=
zk&cH)lKb*##YSVXB(+ogOf8H8JfjPaz<i9IKwTN47etdoHlFD^CB{J7Rn)9N?^($E
zd3MAs{*!8kIEzQ$1>je!k2>Y7VAiUQh6KOYDs*<whEiJ}bkCc_(qc)Ei&Cf>{<^F+
zAf2hZ{dW9+$QZl%QlX4EA3eX5U`*GolNoJ75){r?qrK{UVCI7aYgcT*6+ANdf@YfJ
z^wjFpaXSpXvL@23d(^ICMedwI#=sITuIEz<T0h-F8<U39O1TFS06lP^oZ_;YB-j(k
zEBjJnGjaVOXQ86LK)p}@Ein47->A7dmpu}<$bVjcOMwFlS6Xg-;B}LgPEF-WgmaNF
z?vfRE=xvyWmYMCgOpp`yjP}FhV%q!(U2wAsY}6`<ZsEJCwb%6S7w@#*JZip;3%i$K
z^{1~&TT_9V0e;kzfOx|rVT+zQHOX^dg`}|1sxr4G5Xlestmk@1+gBH=3W~v#u_I+G
zM6FbR59EnRbHVobx5l!3-9?L4*IBYvV$1r?I*pAA#7*+lHCQA;rrVC``_inq0>m=-
zv7CSs?<9uOZJVb-1mv^UovLucxVxwG0CcJ4n*$yupF9jy2HB}5;M)&Ngas2Z=+)oQ
zQT7i*m4rj5b}<>4U-gT7*AKzT+%ig@a&ldNIl3O*ljiBxp<}xd&l+eMxv{XRfTw3I
z!7rv_s$5UKrN6kp%fPZlFe|>mmg``G#f1u%*d2M&q4|)?Zq0Wmwx)!GE42?r`=Lz4
z8}@DMkhR({cV<bSi%=eqL}e2ExUFRx?pFN4Vu{K=-Nz;FQdb)evYdrEqJftA59O+V
zP*O{*JXt>uPQ!3|--hGUVjlWbC4h3EYUg0LyQrR;LWnN|sgd|oaVy$tjT&0**C_;z
zZV=eG%e=5xS9l+K2v_gsORiO$a^Cb<T||bl;yv4XSijzjHlXwSk&l?5OU#n#f;&Ac
zrWJrwjGJW`3eqJ3nu`au#}{W_kC<$KYU$?-`VgYTeE<qyvQBk~7RnK_ongGclANCy
zQgty3{d(ruXvhYigX*~@t3M81Ky<jk&<SNj0#jQYJZ!P-)T+40DP#wCn%`DhN#;ov
zlz~Z+UhIjW)|kugo=maBK+KA)weNwGiI-M-G&lBa>k1PsnDYwNfay^XbH@mOC;U}U
z*eR)I(t`+{T^<jQi+Dob;g!Lrq<<x<gTZ>UOxXPyMmUE*ap}@thF!n(nwWX=5X!#S
zTF6b1f)BpSkb0SyAT*DY9|8q}3n7hUg-ec`)o2U}SF#Qlay&5`XtiU-6z41;Lutv6
zm7@R5oako{l6p))Z<4FGZAq|y&l3xF1Psnr{O!9Hb*jxhq#J90ns9KvYB$AHTL6i~
z{Sg8+Qy7*&Y_rEIw%qVc9oFb%-bYeAHv?t%0|~Sbk!24<2fgh`GEU34{spvi5vdAD
zS!QpAD0_%UJPB<SlP8!@YoqhhTG6L0N$9a^9&@E!3chH<T)lZ6V$h<0>tp|>STORg
zz(@bh2l7kCnInQ)ntaqX6L~1BZ2C-REBlJCZZfV5^0d29tX~%1Y}viU_osU3tK?iI
z{9yh#$Q(HGaYxRw!95SG=$X@>jZ|+oNe7>3s`F~t6VB^gFr(K!&!s2Uz?G8E6RJqF
zuzQa~Ftkf89;Qr`Swk3q-X6r<xx|b06Ao(7yvMwUWX`%XQxW@H(Xgg|NLLUu&3I;{
zzCug?qD~0qrKcv!uud=LsWQDHVZ?!ErjCl6e;kle#R|F+v4u5l^&0dASDvT&$5)hL
z7a>Ju-m6>M5_=D3>bjboUNnvyy#=az)+$%U_gSvi;=7SZ$cx{9{9m*kqgkf0!IHaw
z@141azHE3|FZY_zZ)7T)Bi7V_{@~13s6yJo*OaJn2&lKAF|a5mVY6uk``mee_TjXO
zrZtdD0iz^1|H>G<Clbkn>b!03MgSY7QPgei3TOo%9EBPW@Xp~v)kmI_e0kl%(q4q*
zyr7e6U<4Hv{VbS&CP|U_l=-#W9dvqt5ZzTZuMj{{Fs3A_6h^xvu^EEJ#xVr%SZpIl
zm;Hu+!koJ*<;rK-p;s(l{Edq|mde_wS|As$2_<+VyjbO69-ZP8z8M`L+Wt6{!rS<k
zNy?Nt#$}g}?(qaS>TuWho6mq$aKqPAU_|cDMXULO15zb_REZuJ_obc%lrY1metaB-
zo|Ss(&QP%2M|-|wN?XAR2b(XEESv6VG6$FJ9P>!AUC+DnS`4EB6IEwk_~lz<S`6z@
zbw31#ae=p=2Hnf6mN$avF@sqf4Vs+T>Ks&@-?7DFj>p&B>L0d;?OMigQC_9p>o8&>
z{GeDFUEREYZzGQ@e;q$L#m^oxW~MLB3C1tDSnqi!>)dBLz+f{#gdH4uTzQMe$CNLt
zY?)<+=Iw5q+mf$#heIu-;z9Qln2Sqc4!^%vxzbWL+Byd=gdut~IgLqD2|bA+zUn(~
z)<x9M6{oPX@wxA?HiAEgSvTY}%yTwi$iNj;fwMb*I~Q)K<sETj;*4l5)v&!aM6yTa
z!EknXdXi#}nf5>R^y#{*h>lND9F+pRR6u-7v=Cb;&)PtG3rHW}IkhKr^C?TS{26|)
zgBp<$MjMIDo+LOrx20y$Co0wOm0Kj+CM81o(e!3AU?u4)iP%_d)dGbehMqmBL|xQB
z@afBc#9&4jSJICIJP)2;{8!9BIPDZ0{3LkOdf&h;`aSS75UX)9Qp}zsEM87R$)~<r
z$6_XJzR>;#PEk%p{jw-wpZ220W;=7UtLw@>Y+-{!CXuP&imstRG2ENpV>NcH<9z6@
zCAsb4JkJoYGBn3TYvo-=4BqxoN-Iu(m%Vs@73hmQW1*q{vYyROzJ5hcZd7KsnBsu5
zbvXT9*fX{HyUD&WITP2M;0{(oQmz@jgnaVQPsdt{MSa1oGqO0{_IZZxN~aNKhIar(
zE@vfw8&QfV>2{pgrJdC7KQ*ID1w6dy3r#to@zvdMPeVOf@us=(1}_{nI;Dij)YUkD
zkddoiw`t4&`1*Mmh&MBbVhQ(xr_%eQ(dHMtpad5d!>b)yL(*WO*EV?>dgxdKAx<RQ
z)vQG^Ij1W=?$BWwh!Xc%hSxp*Xr}8KjdSvJ>LE4L`vWx5VNY?4Y|uqu6J)5$%VdQ{
zdtVO?zp9D1)PiM~xzUyp`IF@_CUlQ~AG-0B_-^Xvu3U*@V;39lkKHqpu#llwp%(9&
z`HhlucQ|X*Lmq87U)-{kGV#7INfsyMj_VgtuBWV{|Llh5KxW*87`SNyR1cZKgPX!U
z{c>jIT7cHR>B^~{k32TwWgLw{yr5*L_ib{5;1(ACq+Ai#sk=1FOYb;`dB6jIZ>^O^
zMZ>E?{`T<}C|Wc71gpHJBZ1H=Ao94^us(-#9CI^JNu06l$Q85bcfuUF_@$1OYbxZ5
zsjaiEixnn-^>SRNtb>9heb_`iQgE~2lM`NaiqCFBoQOVr>Y%pPfjKv;@h8<0w`9Xk
zq-0vJwZ;l~CYfD#6SoS!qd`J{StUf^r|Z(D>i6J<uBxyqMt7~g^Y?75FSJ!n>O12O
zcK56G>zSK*Z4PZUOq|XM9IU@gm&Qj)<9yD9YA1b{7gp4?SfoOd(@vVy2Sj1br0G9z
zTGYwG-m)el3Sw&%S8g=#aoXZ!Bt}S@i@?Z~3&V3C`vP3(K46YF9S*vGyH3P8AQ;3o
z6W66(WV&U!z~z%~#xQjFIbX_9*=yGeJBC>w+ZI)*<>pwSGtjP!5h`%B6yz$B3U5Q{
zRp?|*J$CChnhV26*F&G43FXzIl4Mx=vWDGqo`IvPlgli9G_$HA1?#(sTj|?Zk*&z{
zz_L6LSs9KLL*H;nZOfs5e`DK^^b@laic-!YLvgc+jt~5V>jtU8?cE9>OQK^Ge*-x8
z4Gd`xWlz-uoBii;`e=TiObW6on}P6-Qbo-UT?J4ylm^{G+E&v1IzWMCiSSglOQAyG
zObUMS;#4in%_n(M(8#*Qba9h<0@y7iK28CuDTzNzl)<l$E+`9st6(1xzcx?CyKK*h
z*UdY`?2!v{Fj#u~qdblHr_5)w>h6~9I?6g8!)4f)pky-lbJAPXOL#j3<hDu-ptqE+
zH%Mfha|TU%eKsmywzus14ZI8VHh~f=FT0<SZ{~y7be=lBC(gBXcr-#!RU?dVr}$u>
zwT2NvFntS5k{6?YpSbCx4HQ0WtV|RhE?zL0{%r+@fM$n1nSmK2qqg8nJ3V76gKVaV
z9BU6e%MUv+X!Hn{!yNJkr>p1WS!MdjCAM=xJz`<UiG|%&P#nP4AmHE(8k`W^ZE$xd
z5Zv8@I|Krg07KB=1RLC)fx#hYaCdhPZi5Bi+`9kn);{f9pRTStZ(Uv8ea<KU(|!4p
z0VQf28>>f6j<2VjsnFdhT6~VY!|ihm&gW3a>8WO_%7|4dM4Rw$r@xv#-sOKMCkLMf
zQjy-%PEHR_3V{5i`;xjHMor~Jotm|WVb=C!C2k>5jCLzm4nr>+qpc@%|M0bWTf7P~
zj1L>Myn!FB;wujSxIU>g`$=j$WKL*fVb61mIdnw2O`3R^5@z6tW(e;(`nBxcDjm7W
zNfGtU&6%jWsm1otm(X#z|0I+S%K<;mK9~h?<ONP@FY)*AQr>G^KB4un`mgS@wb8cF
zl`)GA8?E|u51QARwzG(mI4GkIFznIm!AkfIKYnJ_cB%cKG=%pC530k=@?)=u>>%|f
z8_kKl{aCjF>81A9gD}?O>8gJ?$fVZMOfhZudlJ9P@VBA1qw@+tY+El#Clnl?;+L<v
ze7m*GI$R*nGja{Z@FY11_Udk84)+Hp{y7&3cT$*O8bx1;o_}IVE*V@{N&M)Y4sx3!
z3su=E8p>yGoT(&2<c8dP+pQnC4*D~~z9{fT4YKDZw0HdqI`?1VD@v&oRi__<&8XQH
z^bdbh7jddF5tBM*xWcJ=q6RlKX(|gI7P%#v?KoLEzEaZt`{0qyz_u`(t#J6}7v9Yi
zMb2IKnpiRh3Q5A}RXWy?x}Ho}$#80PsUO_f+HbYHiQdG09>)eXX||uWwrc-A$5WTy
z;-@;9AKujls3R#UBF@ILytnd!8rD4QT)DA`c2j;?x9g}(YvoTNf&<3=oqdvItcbmS
z$Nqwnt#a+l`5;oVF+cZEUlKNRRdq5YvC#FeUEV%<<{M7l#^6ek3o?{{WaDU?F;>Ui
z$GC%9Tyh`dEqY!dnkz?Vq@YSPu1Gz%7>6>6)ul}zS!s3U$xbV0KBpqYX=3I=JU$wW
z5SV|_DE*sW<l8<ESS0w5E0?n}p2a|AB8#o)lGYuR?=OC!SM1psS}#RA9-be>y{e?4
zC~<(U@-oA?0P-H+cAo64!LsvW(`#gBkZeS+@fdKr5w*BOMxlu9-MYXtrgJn+vfL&F
zcY}5kaHe`#b-TTdbYR_Tu`Xagml;9DRBS=Ex*~~U&5Tt7H-IbhrXF7+iqLE3Ix)*O
zf3MI&%GyV-5K-c|1ovDpw>>P7!pL+80Jy83?+CPUx<28R@u~N$pP{F0+A5e)PUh@r
zU%RVL4wc7h<s*E6&p%BgM@p98D8tmuy}R|lhRJ==+IN6ls#3(DiSH6siwyB4(>^h3
z;S;^C@fz49tAkhXyPBk>yB>+x#a62r%n>yA|8^z#br%dJZVHjw8P|^vZGEj*dK-I5
zK>M=ekXGt^Cwi6Hq!;`}j44sm1Xgd1W`&@IGBatKN}1x+9?hq?27uh7MSSsBD9S+8
zAR)$^2#zqj3b-6T&keikyI@?=Yx(u4ec9vN2CdI^wbCsU66mpq#kg{DG$$`f{%W2%
z*9IHo1MEYUrMT%d)rm&)=$$O>sj#avn+f4$^k3zldIFEN39#DvE%6Co)N3e5KgQyA
zEbMZzle}>Ld*Q^bw@>)=-_i_0?k25ebVp7^LEfeg0HA>%QIP*X00>c2q$Hq>0#Q(~
ziQg1Z#epa&{9hO3J_<lijVSa#W(XS;0H(m@68hiu8`OL}-2dc}|6t^&CdQxN3)Tkg
z!%`J18b|+K3u>2DCUDkfEk=G4?nt3zc3}6Q`-!0>tQPQm-|}7-M>t<aS#8|)Hc9?1
z65m7YS-*R~NLoItmuKiS>PCl##HKNc5sP0*_nU5=a`)jKW0G+KKXyMG50|L76dnFQ
z%NKcdnG<H31>_MqkjRz6Afr?a`54V&jd?aN=RA|phH{yKX&q)AE+UaPu{hTJ#a0;N
zNXx8-(CJ=MvVyLnMg!O1#Z#Mo7Q>=sG}5#`rc393L%AK1XnITOMDVOL^~DRmC&_aM
z0+2t+SkiL4(S|fxAS`pSAodeAPLuKzX9a4G8mamjni}jxWV1lQ47vut4W>ht4&tpa
zkK5Va93Yj>kkp`LA}Dju%l3WOK=Jx;DL_0<%7wTmq;c?0KX2!U_hL^MIx2Eom^aq!
z-jWUuV;Ob+cUBqs1W|KjDtmgupM-WM?74a=<hPN!6TYT}rEjp_>F9QmV2u{DVmC&|
z9e}jxN%b-Oulc^tgA=E#W#m(bk)e~3^>1nK35<~B*(l0qdGXj5ImoC`R=VQ`r^BH6
zNH<Wr`za48lo95)^c8soTcqhC0Ihg)sUg%z88jS(2_*TCw?B3*h}oTTb>|r{RruZw
z&hov>Q&-JGMv`)G&O`J5n;(?;DM&)CVD2QNKO;Mgd$Wj70gNvko~>EmtsVEHMQWU6
zsFE()f_98?nttdQUycW_Y9ArOj9$cg1bumZsr+uuryYKC4)NCPAkUm{hj01vRVdc6
zv@KaBb{r+cjt>7idYY(%!r_xq57t7yTrXOFP_8$kw{)vIXlwe*RJVa1Jfx~o=N)Xr
z!TEl=PggnO;M|-yoF8R`xa10{h^Y7#gZ1U_&z{jX4-&PHEYNkiTSO!!+fbYlgvSRG
zgGahNOm`VL(drDv-w_#cP=V9Lg;TL@`ESv&uZP8djEkMKEO#I_mMpRq#+l04j**0o
za`;Qx8%pJOJYF7{-+1(Ue`gWR`6~R5ifXoQo9-{D9;}}PJLasj;@D~k<I<humwVF2
z`q{`O_t41~k{7>pkiETVZiUw5h^8#Ov5u3pDbUbUTn$d3U^dsgglTk4Q|wh7jSrXD
z4-0)!EZ`pW+s*&}*Tgb>|Jz>I+*C9y2UoH4dKhhINJ-qXcFyv?ewC9d;G{L^6(>S}
z@D;D72@Lx=P>=0j?i26!sAFtze&d3II<gkl#I&=pgJ|3Cql3$FG&FT_Fl6{VK-Du)
zxAwV^qfWN1DH=BWC$^U6WW%ASeDUVp>zH40<w|uZMK?H$qW*AEn)D&%%bQP3`U5wG
z%|0Obq4)Dyz?}ZAGn${uQI~VH2bKV&=kfrL1$?$%@S5je#2Okz9BR@qlPfCpJ`+o^
zB=kCJ{_RNVH<!nxxTA@lork$ZwCc;hR$S!Lk~$o>iTp}b_*^o5Ns1MFY3&tL+?PG{
z>6pcq^E6Jm=;n6GW+O84bkC`hgt?TgSS%0WQO`2ce`O;b_35^W)&>f8E|q|(i-Wsf
zH{b(gx*XK~86%@?Lr)xdOpjanaDei%Y01!iZ-3+obWtu2^C4e>DMuj!v%Meeqnq9l
zBT-hxN<xrPUfXJgq}zB9#maxkBXkD5PD4xA)I6MT)~~i+T?P)C*>R+<SgrID)vXPA
z5k7wYvBs>vN+y5-t$gS&im~ueVQ_hR1kXlIaHwpZCwWGn7m|N^jh=N|{bSq0f1<DQ
z6&s3CrY?x{q9)K#?lg04w>Ybpv2r+HeeCj(V^t!rO}MvrSTZtnh=<ZXdPMt7j$a;^
zerBqmoG`td`rwtQaie78<ui8&ytDqp0kpKt#IUPW>FH*3c5M$1CtOGM(~=}I1B-4K
z)dqf<(m3`r=Xam_B=>Ct&5eWR{Lx~{hs%mJe-AGVV03r*r}Qkm*o`%)KKBr53o+$)
z5&;$ic}REBhg!v%i_QZZC1{+%J}WlsyioVj(Q(p4%(}HnFozMzgBNV!Mwb%s-6p94
z=<5(e1H#@sEUrqMFtSE>Kc+~I0aLxtt~De1(rY4>dIJEFF3ah$1i2J4n$rK4-|jZ(
zSJ(RC&xL7x3A8c_1$A+-6;XM~lP?Lo2J!fvFHUe8BwNs<+VV?#wLF~jBwP=Xf8U*2
zRo>9mEooB1WYBN3Znb$&z4zx~Ds0`V5T&h|aY6G}JF!jy4&jFy_9kxlEqE`5w(c__
zav>2qak4ml6Ob{~C{X=3>@9n)Ix<(dAz|DBZ=n_VLrPCbA9QCPlTwKP1m!VIW{Xr=
zDqW3;#^Xe(_k+%8IRnXMGQleoDqhVGfM+OSC}|&%^YP=#uT-a%lxcSNWv69@*RW)I
zpeTU}8yl<MDi1hX@N$@g0X$X#Fs@keR3AwtAIT_ddQh-t3h>o=|0nd)cq>X##t3R6
z^)U(~$SCr>x3d={+ma$66U@@&@>I1KF{VgA(qc8f!Xfi^Dsh&DT>+&;lf_AZ?2pAd
zW~?*Qvc1!4!&B-$snG<B%Y%cHar0Yf3MlE8OcJlX)+@H4?#jV+3#<Y39VhKYggPN_
zVc{9{yn|c=K^Ne9lDuj9Y#x-eZ<LS#SL|CWg2<tBR#~TJ?CgUN6?vAd=yXoCR#7G!
zUsa`hS$_*hl1b2yhY|WB)5`2q4n;X!`1Z#V&RXDZ^0D6_<pcOemlmmGLRM`_yXfkE
zpLo97nh83fsJo{1fY~vfi#?C=Ote!nt*D;z@>!?R{>GP3ID@kD#D*#<oTeSgJWhy+
zV&syA`rgOZ5K5Zn6SDc6gK#!X7>sU}o$NDN1_qOONysOW<c&le3Ki17bTXtZ4l6`*
zIJbh-d(Kr0@F-2;C`o8EamXL#Wz3d>AoB;2{t2Gwu?i*`;7jP1a%9m@iKgAC>|t7m
zf|54c$}i654>c>LFAsXRjVIqqSa0_N1w4VAToGr|w2x$o;V8nf2ZdizX&RP`0(N7D
z=ickch3414Q@FT*dZeuNdysZUEU6lGC35qI8zw1xFl$`JFSu@nWKJk~xiQOqB`odu
z?xEY00~ORM0SiN=ze;80lG4hlEd?n(kmHzcN5-2<*smW%6YXJ@c|>3n{t5$k;ad{7
zHyT(m*|Er2k2E}lv4unNDc$Z7zr+qN{PYQxs?RGbBJj;0(0zEyM6@I%^VGAjG}`Bf
z_vZeU>#O;>@_SXeRfl=Q7hWJ^I_$#If2EY?trg+53swkFA_w1J4=wINQ!SI+ZV>fC
zwqGY;;DQ3pneLUHZZx`upw<4~8_cG3CqiJ|wb1M^le;+MP4JbR@lkjxE+J7{Oq+(T
ziO^6rHNTdH=N6=J(A~>(YBy_2qc<hJ5B^=o2oaB-hv|c-%V%uxu>{B)Q}K@ht4`V5
zA|96}Fwvm_{j~|^UP1gQyqSBBT>T;`n0&!T2}c4eafMjmkkfLfVOkM2;tJEDJ%oKk
zI@o*h8WQ?BJ%OC$)6xg6#xnA~Izy1x&?0+Sv|LRR^q&drR2Vp4h-G{^pJ2$knh`u}
zc|6a!R{2dwJ&vhoWXYG-=lm9pB=!DcXMG0(rh2)&=!>#b{<Q7qE&_x~iEWBz-o>z<
zIbGtbmj!22r&7+et0b-eJ8W#i9mK`NGc<wAY!O&vYx;cm&H_SIl;^Q(6Hd_<n-+TJ
zZPJ+s$>(s^SyU-cfz(O=&To5{f48kPvZrCiH-%!bk{NhyHr4>s-nAcB5tTtiLpu%l
z?R3oOeB~@G;=$MFZolc=VAi+2aM@NVxxC|NA<a7bVS<>M3*AJ<^TNh?f*5SxD0WYJ
zKJJoZTjzbMOOv0;S@Oj2{$3P(0B!@)croc<lVp#wYs5Q0d~APaQm0w(`d(fInXsEs
z0X)tY-N2{zP~pILBg;1Tlu5WFitOOML^uombGFTzouRqxGVWfk7;Bv6{M99M>!p$*
zBxhLt@B5UJJwwp#<DQ{7YxrL0u=(&6JfA#y2VUD&n1ecgtj>F=`r~{5F&GGLFE6=%
zq!ZaO^!M}{j~@$tqdr`A66dLBmYg%PG0eGlzDG53<YNq4=$gR2Gmm;$Xa++Tmf8`2
z>9@5$JOgLd$8WXoS>JD|-V?jtNxa{&=Mj1-%C70~G@qSoz}E&IPXP|AUv3=TB?MPX
zw(Jb>7IrFzMA%}(3doAd3)+`5A^Z9>v8u)bP)VdKufH~~V@pegRU=DoJB_9zl1D?n
zOU;(=cO*c!e@|!ZtXAFIJ;0`;-=bXe-7HO-B0N+ZoL6mTIt;jvR>q>!1T#+RxAdD9
zB56K6E;xQO95c4b^ba{;lB`KzuqHnl$}|?wAv<dew`#V;<#%Kx(hj7AuAu`5+}Z+~
zD=XZ#Cpvw^g`Ja;CELJve&8J4r_Hq%F}y!SSPYQ{Ylb7k_3cZ2-r&3=2R6C{!Opb(
zA9`O%*A)gn2Cx}r1Mgk*Va7Ha&(Bo1<{j4U62>L-gk%k2?vST%Iru7HHXJJ-6Gm`y
z3l3{_j2RjhCd{8NcEj1{(xEB&*8IA{{*e0lgroizE4;^Spe~^sY%M#dHivyU{C$=+
z%P+q%=|*K5w~meHLoiJR{8{96vaC5r3^F4mbWxygn8>W)rmwc*=z=1Ws?y&%hDqCz
za5iPp4JgPiiG>ninFP{O@zC#?V=3yhy)@|l23Oxbm4wH=Ty9(3^^q0*{&gVyP9Ekp
z1#D>aIc!uTFDso=YGA}!%f+D|KtQM~ow-V6DBDgaUHQ752}b>X(Pd$DRY#eXxSfFi
z7swXCXX_@EHvS_fsC)ZLy5qtC{>7I^Gy`sIVXSQ~+*XOdK(SpWpULs3cjmTNU(KkZ
z_mtH`glR0Iq+DLiS>5l3yk2<?rlnslZ+e)ro%Jj9gl#`i7k<gMs~YtLEHtmw(H{(t
zUBF8O!pr5?!7l0nMM1_zRZY18m?h`Lf)!YcFs@0sIEfq0iz89Ba_5d8;SkAnveVSU
z%FOxhvF-!KIj=)Rz_*=^?xzYR*HFI`U-P+Qv-_0mBiLjBI`F}Zn?&M;XxN;#^TcoN
z_F6yjupBO$!CCLmS&tNVs#Q`VUUJ>MPqeq*x0A*V?i7Rf#AlDDEd0g*PH>ZfApOI+
z$X7B!M_Vq{BPs0kAtYLkgqqn^s_+Y2cvF8BD~OO_@0TANs9D>ArqDSXk_8ea<Jf_x
zg&Cl1(5B<RU;^7#Bg3kAa2Q}Hhfnln<DLgkdOuT2KD#OQ*phFTdf}RN_;=ji8{v-^
z^PPb4W8yt}`^)4M$3FItiB{cHjAYn1d-J6)oTV>xqz{~D*fn19b_s3?xFD=1yy-5P
zU`)BwzE}0+R@Y1JP0#qC5m6l$5;FUT<uD_Dk&8s6lO)TV+gy%cxcFS0jA}zN6`Qe+
z;xC=-`U;gFWj6eqAx3Z>ufZu{jVOizh`}H1p!13Ei^3Sra}fPg(nL5(&k_dP$Zv{b
z<GK_L?{_|;Nfx3#lsyXGVLdp{8wgoj&9bm3pRgI6_MXn+XCC#D3qkZZC~1z#Ayq%*
z6j@boe^7+gGp>05j8ADDUf5LgN$%{O;`yt(Dk?Kygdpw&YX9s&`gOi#MDiNisy7uu
z6ejwCT9;s?YH$6NU6%Lm6%(854|4K%BmzWkt|sLbz<UIAUT!WfUIA`lh|4PA{r`>P
zR{{1AoHYOgf-vNM8I^)m_@C$M;Q85$np@!iz^ByQT>Ow4NdOBtG)2{I<pWmO`3uo!
zD6T24B;WKK>A+lI<L^d?nnOxrc^uCIMg<DdA6Y1kodH96Cln6WcW<$t!_vcLwa7KE
z$3-I#s1u;@g=*+Yc}q%zr#F!eHjY@S?CF~zi76p!4LXrcsn~X(w}EyiUD6benqK<$
zz0~0ysN9P*gMUuIY~iFgWt;Kz=(i2BRk{x3deK&L+=ycw9JW!%w>2xjV6dtcu-@Hi
zK*L&m&Il6q)a#+=I~|<Re*(0@V4<h!AiF1XJ6m$%-Kq1X<xTT4gd6+W%?<)7!Fg-l
z)Dkkw3Zdbr{pir|Nhmz$PW|!8<ZrF53hP&qCoZb{96%13VQM$(iMQNjH-}-09-A-4
zaL-^c!M+>*2A^sw?a4_+_VqJbyc_|^JqaHP0-(9PKVOV0a`a=G3@>rf2kcBhYc_6s
zRB0#s0@cQZ>4|pji5%FhD#dMi-?j66{S-ETAk7wJxeIsoznZKJ5KE1NgvjnFN_0wk
zNrJ1s;+BC4<;X#88v(B`i>_4yK7x<?r?+L_!blsG=LRno)b6NV!JUJ8n!KYs!FS=p
z_bMI_CAS@q*nIB6OKyjMY^i@J7MjHCMRSu}+h>24pFs#9-$L;962a3dQV;i&bReW2
zB`O161hN1T!(Dmg;m9;#Wpmop*z$BL|Kb7}B`ol)#0GGWgNfGhCyl<=(v@=_PM36}
z#(qv*q6f>(fj2D|g|Ei``y*(Nw1vnYRDfKTdy*u>PtO3cR)D(*l<RfFNrb(X8#U0&
zaJSO>PHx@hi#(R!^eNYc5<xa2Qo*NhnnFYdEdbQ_#UH6BAY-p>@gfhOaWfu3iOaj$
z;}9@UoY{=!Qpm)WO^^6_65j$hXF|-iw1q?Z{y<%XSQcjyWqUCaflM-;xBdS9JSfXf
zS<!p_LZqmq&eLzdcI$fJNbN;E2Cua2vEfjECGDX#&8p^V<+N!*@bMM|hEJd3J!=#M
zJS3WK9TtqvQ&MD@uSWMBgWecGA5iSruEA`#Y|q<ktkd1ktCQzq#y!7w;sik}r@i5o
zLpa+IaE?fm@66fC&22#AU-pR;`U!yh0rIo2isVfvRg=%!Hq7+y(5BPOrNtCqvVO$1
zy|vlEq*Lsy<14pBXVCo~13hM6xAjkhBzEGcMBNBo2DTqW3A$0bOci()N_vEB%iwXd
zrZX16CvuIqqyR#ce#Fr4Q&JulVj9$>c!Yp{<j^2Z=^6_Y9S$;*<f!NSX@r=lVfmeW
z&#C586Fv@BlK&@Ufkb~CX4pyaESqpvuJlm)Wo@Fx@eY#ov7cct;s1omBmFjewH}7Q
zoK5sN81ML1<@q_-ATcAuHaoSRZbkRRIoT~^bAtXcnf`3{A79XdHVqE`v-3c{e@7#P
zJZ%7Q!Q4Ei7@XP;Uu~%QxOp%*^{I`ysd=fn|4nMSxp`6Zas3Y+t>kL!_HPN-e<5il
zIcj4uAzoQ7emP+oIbmTwerahgIcWhNSsrO#c{w3zVIE-x3F`m<5}bdD{>wT4XCLGL
z?~N_P+>#T84e7uo$d++G>rg4ZL20?))*-!UX_?XGmTycegRyL?*yXlR^8xKgb09Tv
z(8QNUudoysC5jZ2R)=}rcPn%=h-eBUG^k<L9vBqFOq?vVQ6fl{?GtdG#=GApIesa|
zxq2b)u!^lZc>*#USBPAB>vPrQbwQiLy$deNXooVTWte|ek!hpJ?)=AjcxAaI;v$5s
zUXw=m&}Y7VodB&szN6P}_P$ok2ayWYfDntfm`~^j!%Z&FH)_W~)$bznq@G^K4K&c@
zHBcGwePKq`D9XP!=u}qnOoFOcrz@+mS@UFqRIIyXtAim~*5wfD$0n54JmnzYS#S#W
zB>EiwZdR=mzlFLvW-EOu09YEVXP=OJCf+)a1#FutP<hN%4GIGT*O0#D5iB#<2P_2P
zEaIZ&lC;o&xa0Mf#U&4s04#^IAA}>UpAyb+VJS}<+8xr6Cgk4P7%!6u&`M9#1DUo+
zqq{AANn?MfhVWQE#&$P{ESb9q|LfXxM<OuRofMMQxiXz?fqIfCi8^3OruJJ2V18ab
zR${5vjoH&^5=N8?xrmAS;(|cTaJ5FzXrioXX_Pz~gO+pPQ3cwTh&5zw(2XqXu%55`
z0t_MV$a^=m`rK2cDN|%}M1Pei-cJ0ca^?fiUHS=`?!2nh06z)5*IVq<A=uVc8CFji
z+2?Imn~Qu<mV!hy$K$cqX`n3c{T^0{C+I$2wPaeJD`T?pFFD$zRgt$5@a$JBv4&z%
ztg@juq<J4^C`HkbEjke?D(JLO+SDjj&`fgDy1-~}yWz3f+<?to(HJS(>HNrCab|;Q
zSEi#=R@oTUs^MmA51lpu7u75?oQ;hTPZ|`}D1T~DU+t^=H>P+qTpql={<RNrxLmev
zg`7Zj7SF>CW~eNm9C;)}j@NV>gYrpAKKbi$Nb|_6fmD0)S2l)O7LRi@;z_jzb-7R8
zMytu*n5CugtK2Ity0arSOy-vHOZ!h2EHQH^9#pQ2De?xi4QNeZtEwN5gNDj0-pPD{
z^))%uTn>a63@?p?DL677Ik2T^$Bggna@$p^hHrzP`_-f=38ku<VUl&g`EfskKzwFG
zpZ30KT4vNo)m7TF{!|pb(NhhCqV0~(1c|dsJMDmjCZLT5j&U9_Yv0-}urkQeKBPWN
zGP@}k2bzU#A^8(rIf?r1_rF$U%Xvt*JqQOO90y^P9+I8bK4;0yVousQa>)xWM-cnn
zE+p&^*IrqwXbcaVN*SmOEuUA4W${VWm-*-~4eV#Cd+j7@9OSkavTGf5wkysTy-10>
zV!yr9+vHoMDJkKMV7h$JZ=>CcC!i8~4tbpmDNq$!4&ha2pxx9VP~+cfPBhuHCm841
rVkf{6W(lE<IA2xY*jZ1wlgwrRdj)CR1yEuN3-Rz^FfhogD`5OD*&~to

delta 38454
zcmXuKbx<A6^F7SPF7ECS+}$05y9IZ5cXETf%f$&U!8N#haEIXT?)J;~^StjLJGFi0
z?ABCmpV{fI?)MFv{ZX0(RZy?v8Y@!gA%nO34{dC^(WH32WE6ZfB)j^#w&26DjKG0O
z{Zfg~?<xCac5NmCNVG^<cgas9(yK|eFz}buH+>X(=C3*E@bq7{Qvmgp3G7FL8p-i2
zL533uoUFn~_(#po@arGU^lq%e+0kNC32RFll4wqZhyvYV70};CmO!-_22z`j)ZciH
zAXN8;(Cq11mG)v1X2o@ZS$<F1`rSIp>ZvOOw%IT&^3}LjwESMPBdwsj_J`U>Mbefg
zO?`bZm)U)eq=8bm{f0ydj9ds-)AVYL&FcI1^3sH7jLom_6|B!}n(TBzOFl|L5*=#d
z`_OdTDi>%V%m=J?0}v8Tq|fpTcu4YH3ypyIu9P;1bqF#U?$;NNlaW^2m9f2#-?!-6
z+?|&d1w=+m;U?=~RhyY52ac3zcHE4nsZ(TPJ*FiZMHcF@VvFuLYG}KURJGV3cM{oy
zoUQB><knH@F1i3*v}#ME$IXu(1vss}G-<R5Z1_k)<k`N11JJzUSaN~j#mn?3O$jIe
zWb%2z%3|yzF{&L-qGl^S$qRWC+h}RYcXQI@@HSLI<xk24f$G+MI+w%svP+4T7Nf#?
zW&|pp=$A>%t}O%mCsu?!UPuClY)YK045BfiJSCF{|5(c(5gcxG5)nJyA_7bXOpiDR
zOr-jspGPn7fl##+DPT4*G*+-VWVksbpv4>#(&!OkW8dg*OL^4<Cb(td8PXpL@m=B#
zGS~>hMjWL(H4qB3#p)dr6$*hHRK!C6MEL#BD7elN9<wPK${GssLsOqTs2hSaI+(o$
z78>dRfN(7BpRt8_>vT&Aet?0ZhT`Jj1q1kj^q>?)r#Vryu*+v`xBj#vPb(1z$7xPg
zhOeQ^&NhCv*@|^oG=rW|Pmh0m6-C60e?kwC=dODRj=lbg1NRd<r^h`hNk++B6VeeC
zp))2DgkU3u1`hSQ-W|6TeB$8S;*scDTVEJ|%k0*&z`!Gs#fUPby#;M+h(4`cg)6T;
zcY)5r{oVO{v8LGrb;Y_uLTsu<%R<PhZeaAKlWh%}jCL_2*<Y4_hubzdyeoa(rNE(n
zxh_E-by-MTYp&uxed6x^dw51$eVcs%*Q<;XR1lI%2AzWvtD%Fb8OyrS!L9;WfuN9Y
z!XeT5(!dW0q?0d(|D*HGT~k(jfX9=EXaUrAB8W%Fy~-$Y;C8zD^Ur$45lJtq^j1((
zIHXG50Um^9)>DW-Q!@iDky6V-AF&N8=0pfvIKkciUnJsOMG4ef-rkXg$NBEUb9{L(
z1QPrBu~;mY^MJ^5uj=wQxD?QCgsL0$Trlbi_)F>|bxn29C~&E9%>?6gIGCm5{s2_G
z-kJCsT_KI1){Ym1?*O1uUq<b_X9|b0VD5FJy6Obgz?L%^BzM`utZ)pF#JW$Y*~QYR
z|Ivj>IyUbi;EB<0jH+)tIoc7c=8T`*uo7!R*bG}(c~0KL<<A^Qk{-0hHt%H%z)dR?
zzuScAWcSCV)UOm+VvKfOwtNiONF|(7?wI=PJYj{45A$X*noIvK{a%dn0d4;DgR6xD
z9;yry@nrPl;{I8{HzZ}Q<p2@tnF#Tq=0Fbf4L;(6cD?0<7AhYKf&7zhIAL(JXq^w-
zOA3eCQpN}+1cg}9$t#Tmg3^Ee65Mjd0>uS|NG>wKR{MlInz3#7e=d&+mf(QG0dW53
zidyncf4R}RUcX(@0(8QZg<R#;XgmTTs+vSml~7{RPO&S7(~{0!HoZpj7dIxTxgoKH
z&Z4sMUAvxn`^mqwge1n}p6!iqk8i*7$lxVr{0yC!+zWC|M7J7!*ok+-d3Q1z<BA07
zTJJcHmLI+Rt*9isuAz0FN!)ws7Nv*#0J*w9@pgV!dUXuAet}|vpDN$dO}tOT(%|?S
zLQe}E^p$W-8V4z~I61T>=~L&0xl`SkbCe3&%wa1tB1zS#k1iq;>uQ2Nbc>A^yM@9p
zC~+Xv(I#!mo34z#Wf7@H<lyMF!>p@c-US1}jLP4YsgxDyb#@f2Xif#=7!mQrKn)oH
zcZh5Cc|iIZoPrpK4g{W5Y64tIeN)5S(?Pi7$b=lWMg4{kf{>Rb`}Y*8-Ms_fOal%3
za1E@;ep$?2=!Q;NvD$$rgwXb0#7h_UbMYccSzY#?5o}F*3{R`omAK#K@F-_IBnsVP
zE6k$5hetyq8ZMn&tPE~5Tr7Av4W6uqtCz-M&y5R$kLVEPTTp3<5{DwFpb2rgcc(K)
zhX&`I;aXe{i703S{+3mr<EdUkoowUC#3W5AG&DbtvqW?aJ=?XId)Y~|Zr#20ey}=?
z$nA5o$cd(@Q!RjvxS%LO={UD0VmBd$0b5?n;WAZO1nor{^U$HC%op&<`J0^T9Cy+C
z+gPuyP);81UakbgKBv$AO?&S@!inPF(Dr4&hs+az%{k{>>hru`9eWwsdZ-?Lyu4bj
zejQ)$$J-*!&Rg*zYR1G_v-yBxQ|T``E=??9pyDd(=%>`LZ<Uq@of7G%;CTwJo+n)@
z8=P>=e-+PEK?r9T4DKfBk-l`Y5KVn)M-PLzfYaNq%ZX&a_zexe@hYK4z9?P8BIzZk
zUv|n-O=|Pj8Wh|T64qI}MG^e1%gUoU9xR>K;pg4;Aooz@(fJ#lWAiUmEibeR*v|Xt
zifmhQTH!E6zT#&wXnuWg0#}OrCxD`i5z&?OjGw{-MH#WXf@&doN#$scY^m|j?H`^m
zUvKr%Wjzwjes}ZonwM*;d62jA?S{&2bXRp~(6k~n0bd@$*eIeQ!KhuqnayA2dwI>3
zo?)%@^A)XMsha1>enXnBFV5qfR|HJ2@z2{kyjcW>eMG&uV`)C0NNd!V`&ZpX^TOhM
z!h8+&a{HeUTWENo(4i3SnPbHUH}jFl{`W`1Y|-S0()mPqd#XWwf&$(yCjZAB=Yv)-
zLR7r#aY_Az`n$R9|35gKD+Bu91=GTn0qZM{c-(D@gav}a*Thu(PwEqEu-pJvFu)f`
z3tHE8P+yb5_^38w+l-sXUhL?$FIM|X7BbJgLgd`us`5c*4`^$kl1qF1{eJ)2xaXB2
z37x!VPsCQJI;HS9Clv2X2|vk;nM5}lV%GQbN&z}JST?l6WEPPcd2Y2}EJTHt>4mo+
z>&4cBf=Y#d%3LVK7@>F<kIR^sE+Z_v1(YD&-6J%YB<pCSKpiR_sY407lrGDUZZlj|
z;zn!IXcbn76qJadWn+n@(Ypov9wcUyk8lwD5@p7^Yl1e(WF;qyuTxgUn&+Zm^T&zY
z$@#*0-DQI4g)dr-ZJ*CdsW2qbydc~K<y|nP)_pyFM4Su7+FmqrbOfuHJlri(3>28I
z1)x$`l4BDsY-)&6Xo6T4C?TG{xAroWG~_rhwmd3;;s>US@4|#)kin!gPLK9$&_N;M
zpm`5M{$wMf5(7AI@tFBXl-0QGVe4~lSZlC`gm?V#q3!_$32f~is~KzUD8OmcBH!1S
zsi46PR#H1r@K)9dVgyYmBQPC>g6!a+w*~`4e(Vx^VE;aY{+dE5V}~z~9Yyk^T831N
zsR%V_%7*C+pgkKP69mz~D%&%M;#_D7K?hCu&=KSU$?pT>g&;nYz*oB{pdf?k2SkOJ
zg+PpnslCCXhRhGVO2(?}Nmq}ShG~QI=8=g~E+eFbVccehC(VZbnje3K03u)`H-;Fx
zof!u+3R_*T?GzYaqqm1dW#`mA@&0-_TVT+S---TQFJ}Bm_*<mvuf3<4`3*A+pB!({
z>bNL9E!bTgvC5H8F<j@S?Y9-Ukv%n4XgM;J$`7KB)TD!bl*XR>7JnkBS3V}{UKf=u
z%j;`S{O3yux^GlkygDb^IH<Hx6$C8!PED^@fV3DFb@RrIU!=fgAWW&5n#PwEdv(y|
z>t{%%IVQP|HaHAX)_jiVLj8=S_>*d|k~xy%gkR_5`tTR1G`M8Eovlxdg*kvWy4Ody
zPF}&!{m)MHT^9v8?@j{K8DF<zn9ldPEgu1flaf^@+li<r+IJ?xB9N7nQK4>3GGjQ{
zcdH~9S8GHV9(UgvGG>b_lx$9jnMlJ3!6EI)U2p=ZskIlo-H`lzw|1BzZ&KmO^8C{?
zTUV67L8KSY7JD9H>!hF0)(<tl!*`HG=;4KSVq`D*ARa{-&(|#7(w^iho=Lt~RoEmc
ze5i1xhhL#GCidji6qK3V4nG}s<g28I)^xW0fyOAgu@`KbK5L5;<Jfc?{FHA9un{%~
zYw{_sc(7*{dAz1Q8AzUK2?M+wuizaA1$L63$flyBDpR=Z94gd|hU790HSeF5bw2Xo
zrc?SGD{1!MpD4eRk{UiB{rY^ARjpi=H_?p0(A(P0Ezpa=1PO&^<*`=N1O@#CtZglK
z{^G<h-PiQ=P}4VxPktjK&HZMf`nR|kuD62>G0hxi^<vD9_-o#nU7%|fcg=Q5>3sIC
z%97Du`z{-EK;We?Dc6{jRBU~FHzM8A3d}#|D9jXmlUA0BU7cT<$78#<^vostiI&Ex
zRfO%jP({-#hy!EXHYhY8?HQ+<&3BGV>SBXS%EMFfAI}*(T}#S1Hy2&I72e}<?bkI(
zv#e?@WHr-3tW%+@Qdha_=aDnNjJ&V6sys=WjkwPRI{B{UW7eGMZ{N5sztYhk@BWj*
zrdgYaBf}qTieo2Uuy%IQ7r$_4HfB(h5XY}E4H>pU!Y&^?Zy<Dh`>Vq7r}gdaQ}ZO0
zI@MB_*Tk)j7PmeJS+bhBBOh4n+HXI~)hMdI-Eqo1K-NQ)yDR&w7!{>@XyKD~`0FU6
zk<Q}>_>+9zo)HuKwP<?qJd?*c)t`9!E)Zhvdb3LfU?_k13Ha2dVd}2&Sqnschy>&4
z=}w)2k|CFGCm=k(Kk9FbTP+Jj31gm(EOe}%1l9C5-xm#^uA7}ITG<OkeGeBTl0-bI
z^(%wAM7m#!;znH%ox1z;-kN<gecJ?l%r)9gT+Crhx4M$?5=Pz3oe~flenYT_0asa#
zWQ*V%^iCY8n=`kG5MI!}20)yxL9AH;mW3ce#*a$??Z)O{@eu>4j*;ZhJv|Hy@<HDc
zK_}72RKahYB@f>!$s4su{0vj(Qkcn3zs3`cJq;%tO|l5Tzf%&wr)jN_*^mj#(FC)%
z|B9;ruBkO;C_-I=i_SKC+hCf#cZ+j3IwtGkot1JWi}jiEN9m_E)@LSi;@)h-3crOO
z=)K(cux4>JrY;9%<Ao1GG<?u;7=g`BXY%AUBm1@qx`~nMkSVL%lDZ%4JL9eRs}kTO
zN8qO}Q6J+w>8G;35TJ6}!p$#!ch)aJOw&_xN3F-=#eW)S_)>Yj{c4`=cz;RTnlb;K
zqI}5%y5ZdzdTl9pBgxM97rl+uZMB>fXl0A68^1WltdIv^<&Hm`e?p4pRc-r>wN*g2
zAxlqR0|otC@vc$X@UYIW;>EeWt~eOq<k75^_y$!u78BfYF<lc1@(>P0e)RRcRQJ?%
z{QE|uD;Q&%TuHu)rUmrb%S_irxRN;5>ee(81}((aDGy8&#Ifg?k)X~86j%!vP^!im
zZI;H0bqMv`?sAt=uoT*{jv;ok-resJdg%F$tXFe?9y#T?QHM)M?{`z;G+?XUDA%O$
z2-h0E=_J7Dr76R<7pUE@JEs`<v2#>|v0J0_JwdsiiiO$dfr79!`Q1{iiLcq`*OfIy
zqY<Fzx8^I~rK_OQYvx@G?d94Sh$Rh`k=NRgu)tI9l1WSu*Xk~bqf@D*u)^VvK5>F>
zxH2(@%QiLe$h6<Kx27Sp7O-^OK+e47uY7r$_V@QivS$4n5OG2~CdgjNOgFmZIV7`N
z%7vkYq57_5Cl{+mBrI^J*Gbj?APzanvGKw8t6l%0ZlTXTL*!Ki3w_tK&TZUOfE4*r
zH0vW}=E8Yr<iTc$CDS9Mu<D6P<~l`v(aJ)R*!^8|Hejw0G;PTwHlHtxM%;qfeIk99
z-T0(F2oYe0or?t})zs~RF;y49PHbrL0mw-OW`nnnV6j?|_hE+sh!ciFCCps_n%oty
z|KOVg*gXJZ+b&T~(=$(L!X;+QKlZ5#V%JIB@xM6f=MPfT{|;Cue8BIJh-RCEY;{jS
zhM)+d|KKn|;5q<VK>Ki)R9Wp4hTQNN>A#6!VIY$*BDYf}m*O>Qoyfr?___*+*)r)5
zl!HY0z%eU$LO$gCy7(W;1p)%05VNX&OW}Y3SOG}C|ATddfVEhN3nNQMgP#zkpj@5*
zU|KNH92$|lJKE0pnx*pEF#A8aA`93Gi6kd-8gu;bkY`r;5%3=#lncCpM7*ukR>%5;
zw3uE^{|`>e2R=a}$bBXbmF+kgSTp=DSJ6^h1Vn*Cd{Jx)qyK=kKSg!_9~nGX3d8|$
z{1+3dDLVZxIrc9mgo>t@E1*PO&L5v8hjG<D>#uDFesO7oh+J=DUVML5)oNqXnK@%W
zGgf^=dwzPu`WqA!|HZ>Rk*U7(FamP75h+a6k4aVF$W}XE`2G5*TPG6wHJDS(3voDq
zP`*b0$2+>XuREH~8)6Z`?BQIG(Z!C&11NxxzrBZOT0Yi1Utc1jh|!vm(zQUpH<h-F
zC*VFM7MWnCy0EE0&QWz!WO1Tisn;hfwh8msutUyz3b^zqF;kxmB-vQDj5KBXxG`5u
zQ<`oow8e`%u5={#ZsF-Ew%=s5?3&=6=A6ht-QVH&4QZEXGKskI!MC?t2uIy|3=nz&
z4*H1PVWc!WI)O<mp}{(>w#!A*cBWuYOTH^m3gZT$HZ*8I6HX9M`j5V|1VizCZtn`1
z?u&)v#@AgK`cypr=VVQ+$)1gmu|LG3OS6eU&RO=jr60*wD?7?ZQ(wZcd6n27HwKX_
z?>2_M1}k5QxF?w;V-GscfhLB^Sar17_*hI+LRy}v_i5%R40uzRaWhm4Rvp!gwbJuP
zHmOk^D)7ydX;zQ|b>^1V+X&1DJqFhkYQR}`p`JSTS<SMcOHuRwTD83)Q6X$rX&+H~
zme)YyxfkpI`_x!1@8!S)C=|8UTZySY3h7UPXHN&m|IN^W`>3JlTO_N2!T*v5pz%fH
zL8GD$C}l8u)4!(<>wu(Ci1*U}{AL4?%fimo@(-SYM0|<={q>)YTvR}!|MR5g-@p?n
z#JfUXYMf8VBWH#GPXKToz&$9$TY0_%#t+oARj=~@M1;@-41`DcUOuEh=!9;jH4aW4
z1!{ui)z?_jx^5ZV-7O=gPqw9<Ql!Ht?^KddfLmll=z_eSw&T+uuhpG$1Zw=#tT_(}
zG8+qHuK}y?=Di0BwWxlkcF;tC;Tmgng~6oKG1d$j6n4v4vlhQR5d4eP7hr#1USb%R
zTeAZ{h?!nV=Sf~2!Pk`UlQ2V0syoE+=@xYTMs@jmywOW%j)cM7Yt7whLB}J`QLc`1
zls>s^;eNy9C2uspU|lKtHQCf~rM~Q-@bq{XZ1`ESr(B}V*z@8FD49v5rKTbQEGl;O
z%;WaNomy3dIS(TJuo@a60RwW=Q)EZHOH3gjialBkBFoH)p4&*1M>eq+gfh-1tU)np
zZMS=_3?#ZYxC`_Hi6#fSdtnFT=)Rf0%j8}T^5*9#dbE!9=2pvi)%7XHMpzaQ27Ek-
zcqiB)9qD}a>kD5pq~i6qYzzdjdR1V8UtKzB5^<W-7gGJA-ZYVjvgrp!uN2Iu3rBv-
za1sU|hy&5ArX2m8>GPmXL)7S`TtPWD2!aEDQleI=4l<<RmeR~^vM)19a%X3PnFLyt
zJzv{@Eb47GVbwMYeTy~Vz0C9=D~Yg)1xzW0TV{gqCv1a(2=r%)#~(k1n^*8_ROOgs
ze7=ZSEl30?AFi6gh1ipbWP&Aj?t5e|EDdf+_nfp8JC#048018lAwy=hZb6RFi8%u7
zd&{F;$F7?fDg{$qbTU}DL|*o@!h*7WY(y*7#Rq442ztkUNBt%EtMxX=J|<R<ehaz*
z2iggUOO3Dj>!&}>v*fS2CiE8IulA5~`>T7{^vkEoa3xMcQOjJDrc<e##7f_C?!`i(
zs9#lZ18b1;zY|vfaqd}jmIi5O4Doa6d0GD!(DKc&Kd}%Tfh&0Yx{=Dsv^2~~0L2_k
ztFJR6y9E9IRapOY>D$e(ZZgSFO?GGWk~KjYlB|&Y?>3SVoce}{+!Cl`tIm0XD5p3I
z8PMI4FJ(!J+%g0sV(q<MGCR41LMglmrkQ9Q!^qNbQqsv^w=dC(erV`QONS?K*cM3k
z3qQvzQFDr6Dk@3KNqUlDe3Ju=C_TjGiq2&!2fUk)XdaI^Yvqe?uKt~A8+E-ZtTck3
zZbc>tN301!&zq#?g|M)oKnAXMM46di0}-eE(OZNkfDTY(gGMefj32O^aNk-GEF8_<
z++8h99RBal$<!8sgN+Tm{S1lOVzdl&ghG1?O%NG=phVz{`2^5EGf{xo*MRoKPR{Nu
z_D*Id_AGAJCaxAN?iSt-mQ4RfdmB#+u<c)<0wfzZ`1fC+2oW0(87r9@0*jObCm9DD
z@BeRb{4@AkFxP>307y0-u;><$6MVD*6ozDH1)pyMRl&^jKxDA|*1vtJW)mm~$<Fpa
z7?O?e|G3TocJSFIPz{ou>%Ya~Z3DHT&~!;{Zf}>n5bz?dd9Y}>$H7-yKrFDx77z*i
z!2=C!DcuA1L!$crymLJ4>NCK}gE*1ju?PRy17ZPqTjCCZcSMj}tSuqXaH@omT<k4N
zq;QOskX)Q#6-;<6bT(c-1QrDgM=N)0b}}|LHZHJ|CmaqmJ0~YMm<<|=1{B)@qmg2V
zTN^9mC5tG*gS1YzPCP5rqauN{zD`9(wVtFFM1~xc5)v{CIlKNGdzk%r^!o9syV;^`
zmu`31`Plh*TbW;|wq%-I8>IcioLotTTgme$nyB1Y`Djcy2*}ozKv8B+etrkmdB7bh
zA3+ZD$O1Bw3&u;o_!zc13Mh26Xd<6g0y_dzbY>mUGm5;mhq<$d3keC(7yY>fLL#pg
zhp=%&t;H4%CH@KL0@<2BBP*8OY0%5vtfHO!=?}xI%MRd$fqB;XbOp-r2I=>v9VkIy
zyOlAGpr_5u{ssJmse=ywx$%h|q&k3u;DNKVb#-@V&g1277XEuR0>oAaDcGx`_k(%_
zdG7>J5BWxq|I_vY?xmE|lav2PGt=_9Qz*^=!HLZU0%Q*~im`k`GU1=W^-+X9gdY|_
zYdTt}`D`&I5Fx{-Ll44JDIbKA=On2AefOOKZTXnR%1vHAqOhSgnP+(v))?6n0x)l$
zx{`0GqV=OSd4Wa34Fu$Y`?LACpXkik5y0_udUODx1CRWJud)wx;@02}BOtN9yxxP-
zZM*k`4ZCQGPs2bLQTSy9{v_<-)PL6aTLM+(<p$BGesw42z})Dgh&i%nef@`KSZX^*
zcpT>PAaN1ddpxp2$b+6GR1l<hpy*GC1VRW`z>f|_2fpuA)1U`W*!SYSH>$9Ot;<s+
z7g+87F^K2jDzRFSb(iA-2^qxv0`cDEYw1omd~7nNF-&s^B%>&|F-_y<jEQN&{U%a7
z=vysr4;mbyh!Vur(q{K&j0vVCjEn2lhr`Dbwwp`^10BO@!<+g|x16kO1a1#FHXgHQ
zXb=$^4gmr33FHF<`1mB2S|@s&V*7B`bgmDBfc_L_s#N^ss~Z;i((^R+ofYsQkVX&9
z{hJJ8_mYnX@&=O0gf#neYVHF({<)d(8Fd57x&0JMtZWbNH}W0oM*a}-b(5|QeiXr}
z?ez%nOB02G)PpJg<O+a)@pID@)iU-P{#>9JoiG_E18tk{UO9c~b*wjLNl4|#v$c7B
z?092ZdTz2oF{Vl2A3%OPU4b;-g@*i;2I{fM`z_!0BXg&K%0+9>pD$C`mD13D8QBdD
zjssb}Jh&dEp!zH$qrtda<M3<J3<*m{W=LDcUO}QJ%n;f>9}spC468K)`@1mCGH)2~
zivG2HpclnA2$b?oN{Fq555*t|lnhWLDcn}VyJ9v3O6%qT%vQpu;$H}q(9Hp;EtNOL
z+Ox54_%wrkp5FRjAM%j3{wLk=IO?Z7y{5LG)Y<|3pGjnYrnY!`+0*}-u+f{)zou@C
zc0!LC$x&+MU*bc;55WU7*DaqlYrC~CP$mW-i1)x+Ztc$@Bj^taM26l2)R3<&?>UHC
z!Bs5{Oe4pri0Nm_AZ@w_5ZPG=3W%%{Z+H{VPtf@d9pOQA=f_)MZ6V+1ByxjCSSM9B
zk?7*|rrIQ^2z2?_ZMqD@-``AdBTZ<`B8vjvG`o%dE9MA7e(UZ$c%cdr71P2&`Ah|c
zWgWKcbaS}4_GwiAdp)sZ_Y~kXEGxJ*>zov}w($KJrNQ|V%H;j#>Hmhe-D+c@tA7h0
z^!p6`Y>G^~sICnY{q)uCTf7r_TUtYfzJb&!n3xh}4DCNV>0hlmp&Suh;g(8F`zBD3
zeD_-DoqyNx+|@ibqT`y(oMfp5S{Ud*K5@fF$K?2K{s;KY%us6GDF|#hekitW{sNLA
zsl!Gx$n#wLL0d^y#J&4=JR{<an#`4JmW5A&$6nNt-HLd4x&5KjpyR)}{V*r$jJpL#
z+u4)vs|Xtl9ywnQjbA7&FbMs=$kQj=<Hq&Jc}Z&;zdJl0hDKkmc{ouY<oC&{F!I*%
zoA=4`r%29gkxF?>S`9yBUPzC0BE8qs0!@<Ds1w#^d+&_=jiHQYku#~%W8Xe1NGkJh
z|5eNMk<i?T?4viqJ67w0+9lm_wWHe!px9NO2%-E3nq=Cj`h3tkfN*&|OhuUWlRW=}
z>mq_x`H~1mB3#R*6(-jRr11A{A7Tlkpc3GZPBQJgZRH9Lc?-+pfsC`w)O?AB@sjXI
z^G2>$t!?uJt`jwmrJMM}*Xs5#HjlPQMs2XBSc<qkiq=}bUwn4TPW(`0TSlk*tz5jD
z>ggs~!MzMi#JHW0?iKzrX9$z$&Jx~x>v&wKllKSTR52I(bI(^v5FL-v(CrH+k}HMH
zO_fq$a848?OYgC0Mi9r5`lbP=mx#Gl{$Vz08e>+Czp3|>th&O+-w{-pL6@(3-sp>5
z$mckntnb$p{lEq4Y-c+24ew(tbeX9rHj``fe1itdKz_v9o0$%w+RvMzgv{cGXq)zq
z>f8%cY*A9G>9EUi5W#bfbgW6^kpupsKI}1t{+y(_1LhoHC7A47_n~b<N$l=*OPugZ
zCpWos_?MZYe6uH^Kx1Z~MU5kge22sO&tqCi&>>W$1~orN+Ll-XYbi}LiQKqyxWVas
zyh9q|n1)2q*sHBJ97BGI`95vh>rWJ`wY$PYDYdaY*z@@V5b0|=x3oiNqJf0A>#6|)
z&Wf%@k9L*^Mb+hOc#GB9kVQWgyLNSswEJN?Dq-7%ux)7cv#j35G3LdYuW?-8@SCyO
z@s)noXY>BXRpsVb!Wf83yI*$yiJ!`XWz?Y70I#|czMARo{FPQ<@MehV^}Xc}l~%8~
zpzZ^TqGNI^=p#_Dtk{63%v_1Q^g5p0oFuP%eAeld`3O<4Wqg3->KaSLiDeb=LizyB
zoIN8JX~;rmT^a%-GHn50D&S@#)1iUjw%xt;#kz64f%=)6`5iW+HExQg4mj_BknVv-
z9Y&F@hM8C=rd4TQTI*+GZ?GOLU~j4Rp(|5ppUIdE`c5i+rl83X!x#uBTw*dy`%TG+
zC-}aS)~H7?<-sQb${C>ObLPI&HS&0zl_Uco6q5K>M!Pa}i~HSCf@JSr>fj0wSGvgN
z^xOv*N0E}nP1C(8EnY||N5L@y%Ei9UJ+A0Ma=8Fp@vy%z&~AsaW|t?%m6%;jnnu=g
zON~PTnw%71U(7BaVG!tK$u(5ZUe(?_r@yBE<$lRm5#aW$Q%_90r`=B$FDX`N<$h26
z)PL0cnku}-)!DLt76Q9n);)k)e4Veh?o?N9EW)O@-3-^HPC*3u`INRi2*jQX>~K4i
zAnk$^TG?ntpF@or3?%<p7hlu#PJGdTj*t%rdCf7zYoafL4=Z)|N8J^b*V;&+fm5?&
zu$1f3a=Mr5as^r0@@z5^e9X|$^YgPI1M*qvUa{^4wd@|7z+qQ!NfbY*<ar!>SmC18
zPAN>;I{E;r-&|W2<myUr^G5we^q8;BOyq?=-&*5hpGGqT{mWhPCk<V!hm+u}*tb|g
zil-~_eVl!DY<(@r8094v&?{#e%;iq!p}*%ZRod<4!kqX=@TUKWlG@U^2|b?68(5wf
z-3?+YW^(ry1+e*Il>do{c5GFkd`Ju08@1RBQojwkP1UDWW1oa}Kq2w5QyCa|Einv_
z5mU6E+`M-4v1l`m`gGpG*tYQRcF+w0*`AG7FK2@e!d_lrV9KJmeFGbx8J1tnq9W)%
zA+IzbvqP0+JM7p(9y`guG!(5wn*V+B1OH6-<#my&*0egOl(i__t1SpvWIPRU`9VHG
z-vQ0jyAU<^f!w>`qeRg&!d*R^g(3SHxwyL@hX#y&zH^zsIEaDhFCQ63X2UQBMOVhE
z-TAynP$ZJ#niN63DZ%Y*5HCx`u!E50M;Ha3tbT9|ss%6Oi<Qe;)ucRPN`^~)RGM()
z{SEuB`PT3p-4C(baM}|wqfP+|-{CsnJ2ddnP(%oqf@jBVXSOCh&Cg31?SjHBqs-V+
zr|bvY!I2qi2-PuaRyMht$s7rQ*5aUQ$~Es@M0J||R{}%OsS(d;zU<T00R)zX!0;GH
ziBm~F_TATY?uyNmaUR~Z$pE@ZdL<Gi7Vr%WO^$Via6%{34;rrYEi-!WxXnj<U4E^i
z%=fi>oZQzOYNfK1b56vfJ!X9-A^dL(?GLx`%G}rT5?#462>#~ITzwm$8Kr`(zf>P)
zwokwIlB}vF;FH=4f8t4Ve5*@x1F#!ZCH_<g7=6DPWBV*^^Rxf*Tt*H4M$!vYy*ris
zfM5-Sff9k-ne4sZIB#@xfdY*~kH^n$M^b4YYRRmJuPUgsc8R_eEiL$lPnx<XWl2``
ziPPXBSK#QE-rW7+cHOHFIzzHtn)L(xpmn>9XK0R)E5TA<s8SAQutoA@m(5vRu5j{9
zV3&_YSW<gym9~|GEgko5YEQNklsKHI#F>=+dm6A^p>JnYqMYGeFT=|5y?5JK*C+B~
zzJ|wyt(4KTEq{AG-0fd6Or<rM`i1}nYxNpnW;34bTyZNzqW*Fb^b19Fv)d%WR;K(w
z;P%><7gb=;?IAb8pwV}03NgL~zn=I(tk5WZRij#v4xx~5sPo*f@6T9i$lRrUGNo`a
zKSfGH@S`xPG)5z(K&aGZj_Y<ccwnu>ar7$2yB&Is&ey(tqGfe}eEmQOC#VBR;35Az
zH<)W%s%k)RCLM_d<bCOGowc{y-Ymp9Cr&f4m{@rBuVTQrZ493`p?eH%^R`^W@jXU2
z{_vkb14!#xY}z6*Fb$hexxVI(glp{4Db(ToiD0|X(RW2>>v^=`&eVFp+oW;8IQW+G
zl>rMypxb@-T}#}(+jx81l#aDUEU~acl_Ia!LJ$4#M+G@F=x#`uQ!vY;{p1%sI5_PQ
zi#9Ky?9$`Wa|Paa^E#{dSTSH?2L0HSWF&N2;S^P<vSkWVuj<Qvi^18DdBuC^%pcoV
zs%QAOH!}I<9P`xKJB}kV0?F?)Q_fZNQ&Mm5c?+7q;!3ZGabMQfLWRlP6+ljU<ep19
zFd=C3AqIj@ps=(8o_bFt6wKq|fEgJEji)rThoS0>h+1u-nqJ^zBZYGvO772MZQE1&
zBga!w;tqeY=NwORWy$FMdw%O-nB^iS=rM>JGTd@!)_F~Q120f-<M$(d&v4iPD~GOR
zc9uUja0>jMgjZ9!3B7!0Hot1`H2tyyo<mf{a1{b9Kv`6r$s8*VeSI~)um<{6!x6|`
zDEU#YekCBO7&aBQlTtkGxCN~H4Xu-1%pmG>4)-#5rLyLy_YS1gjEK7PaEqd9Wb+WI
z3C1(i%j0(%6T^tZeopxFyh^vn`)}e#=?Cj8vxN7Cv&?H9e=6A~0`<H`579}M)<4q}
z1r2z5L66&P4TkX5O(2=ysbE@+XiLr<hzVx(E1=%~P~Fzt$&x+|SUouRFTrmoD^`YT
zIX8@=_@+1lR$1w>8{Y;-d&bD<*A(h@f0rQ(9nn2=Y{9~o+vz-k4c>m94|yrwfDKuu
zANWc*a;s==)QvTR6+@*O9-8q`1Oqu3u)WRapg~hKO6a5;h^Dk9U^^WVgqlWRc(ZHZ
z)nkV;Wcrr^ze<S?XL-G35>_)FI2a+}Ib|m!RFc^-59kf<iJH+1?meVpJA9O31}I7|
zA`wd7J@nzrO1X)}#+eVvfy~y-E$wkGj{Kov)}LD(1*mBOKMnSe{2sUrvN@GF-SCn&
zKy$_epRnJjj<o0acQ$59Z~j!SK9`Ki3bZ~|BztDA9?Q-tucMk`9}|x@%zDE|0AcFL
zHc2KSTt8x~7QpFkrdZ&NQG+_8?hs+;!piC)Ql2bPmXxoS!s=hzcuAjAmAKJVIvk$x
z;?19mb!5c#^9fC}D|nyjGzTgAQD4-*f(+tcx<YNLX~36(({DD*U_=PbxRuN_m(CQ&
z)zW#fj0xTp6-R?wm=9dZ1PVBKb*wCQ&!Y=2mVGv`!4VmxWKv4*k5R8^QA883GaEb_
zYavqMPNz?3Mi%3)uV0`>#u}^G4sjHCltXYY=_jN`@QQp3T7P%m^8eWLuy*YV1+_{X
zZiJU=m_<Q8SQH}|Sx>;Ophsk)2Gf-9OYIy$79!UjtdtKVDHjpBrWnc-G~FW1-Aobw
z$!SA_GUDDd!;hGM!c6xc7VGWpXjo^dJ%kG{=-HNll&!8ntS|Z%5ek>geZgNT@6}`4
z8(EKRU-atSTh#mA*3Hb4VVsj848%BuBV)w#))nDF>?k!buBUOXCjOSWNo&q@W1jkN
z=jp*c;8dt~N!H?KE|&AzGQ2#~@%wnU?o;uDD$^W`A)Dgl9&NiMPDG5WQWbP5%jgRx
zxt;`$O7F@Xn@X#9QYhvOnLBl{dFkDDq+Rb|qe4v<4XWB@#wSHwnYp>ff#A8n*F>yZ
zHHy4gcFo0yT<l%Ejtz$K{=w$lZ+-9JyG#HaW1Gbf!{P7IaYCGbeZD8L0$<Dw7hGZ@
zxK+~iVEjcNXYh=k&C<^cP`2tw;Fi42StGuq`i)sGvGgTzX=pSk3s3swL(h6F5%{b;
z0Z}E0+xkA|Q$9TTM?3D_1q3iWV}I&=1`pAjweaN<VEj3yjly|NBu&Ur8#b~t4vFdZ
zX>d>7pys8^Rg(-_-)5MMR~imZ4v=`?HGr>vP+Doz*DIb5G@#F(`zzrWrST0i@<!h{
zgq^oApDpdY!=6t1cX!l!#)-iP>^H5OZJm_mhMEG#Z#@s>FkE>oS0E^rcm3HFtmhiI
zv!Q2x@1m4ngG`+W4i`14L7VU_fO94A0RPjP`$40?@!6bZmbkba{3H^QLI8fG(IRnp
z5Taq6aYRjX0^yO9Inro^tQ?37hjbPD56ZT#TC<G|k77^%u)arxF%bsYOzb9ZVT>ko
zgcp{`G;qXH!}jlbGzghWx&wYiJ%E}1eC>3ek}(vqNH&Mihi);QQdNEEntXJA?S}ru
zjkHxT#3HeEP7mw)!pw(S`%6~V?>xu7pbR~@c0%LRHnlC{5;s(hoIDtoajT~WD#|5X
zzijB$Qs|T%J7M$3eV;JPOp~q7c=^sXZ1U`etWBP{3Kfx@ZcydEci)I)L1TLc-;u(c
z#I(=J0an0S`Bud60n+BtkN}yuZkjmelFcc>=+8Rw3cX*Ft|is=R29AQ`1YZFS_0e0
zGqN5`T_kb6@@)mTvr<pB9F}i;Y4`2h7=BYr+;!`B6+GO02$eQ2^_P6<9>J}aVyG#7
zp0Lj2Mm$A}$Dj^LW~`6{I6)E>4Z~9IK|tHf`7fh8YeOAipexq;0)Hjz<K3%gJo=)N
z{kbwxh51&7o%W^>PR_k#J{bg;sp?l4s2hIU$(49SlD#(dmZZ8c7Vo1iIvMgm{nHhS
z$_R7KsFWu<uvzg(8~iRwaLoX0<!*d+H7Rj5)!f6^5fB9uGCscAML}HPk5(hq+gyve
zW7XA#;lZD$Ghytu-EKINv0@Rqm>jC`Zc?4!g>H9ml}oo;_!ZSUYIHKDZ@FiXzf=@c
z_zCX}_$C=NP(fa#@l)36D7gzPQ*{wD{=TF|*@_g5L3P)sl*h33DNbG$=_YSFK%K7q
z$#Wf}{Q<)1e5+#07D%U6v#iUEo{I0;tt=B&aHH5Cia)f2p&Y`vJi+1lb4zcmw}EZI
zM#B!hUE;K#v090?6tCaUQw{j|8<@=ODgp;AVU!uggDX1Iu+R^?c7S;`PjAS~AR@#s
zWLeiP&ond%sCn1=O2rgi^2IM9v&BQlxuuoQYaA40<Df=-q9#9Dmqk3Kw9yBaf!%Ho
z6cAs2AYs4D{%aG?p+u9fWSxp~mYGs5cOA7NYRL(vZhSTW)$D&mz?+isp{a7Yh8k(z
zHr!AJtJ!wb$9+;_`>{-eR9cp0PoQAr)Lp|krRkgr1}VRiQJ?EhW^_azmf@9)yCDGm
zaX}cv-W=rXQ_X|Vp>WHxbuDW@J+5yVTt~kQe)EB~_-aDM8PLaAO?09o{I{m*K+7yA
zsb5>_)M(KoySgF~x{J+wygT0a@>OEB1W<S_O4=bU|3i&=bSzGVIBl+vC>NT$O74Rs
zzml&timaCC_dIR1NcxvxYSkVWyd3O$^=MGDU#LOMk~t?@H~M0dImwr*hRA4VcbtJ$
zC4W!g=6%;$qFPe>WUM!|9_$BuJJ0nFUA!NnwLZMG30=NF+oO^W_<s4d|GDx7*HKq}
zzz_AnEHX5AuD_*eY8xZMvXt%|<*%<znDDfwm6?#TLcbR&Vu_zJD8`hpveZ3`RRXl#
z75Iu>>{O`%aZA~HajvRhAz5EBy2Y;&7Dwr(Xn98U=p&?EBzM%Q%cs&LYeHc5yqKV?
zHmfSOSGhj|VbauoZP}PFEzNCw(Gg)!CN{RgUzgsSf{hNbtrTQLhoJhnBo*kzE%mjO
zARv;mGh+USgH8>)L7d}v^13EeEC<k_s>vx{6g-O_&Ynj+)2WdECxO{+N%;dJ<@Z`k
z^>d4F^Vy3Pvm{2!;8GROfKp9)zL%V=KwwL48pH02%3d~Y0FcSSGCpj95WKd-L(HjN
zbno^IJWW9L*dJA(i@GClb01hOnGr0Mz{;GzVUT>m3&WgH<<Q0Uf812qK?KE5cow}q
zE?W~2@jC2Ck0rXEx1Jt^s=ypM9gWsRA$UBb!l2-KWjI=R-xhK%P(9wD@sv&)ch|-?
zAmx_+S>yG7zLOhRn9@6|O5)Z$8_C{}5rY_DX@v}})a}VS@T23XVhK(k2IJ2s2bgv*
zJuYQd+-**E%jb$^u9x#mZGgxLXxTiQEU}Y!t_oMv3dgFA@1^vTPzDoRWzn+UT_Yqq
zhSG`CzNcJQpORGKlQjKNcloLSs$&h}z1Sj2u~m~wkhx1GkBBrCM>NuRSUYOBY|tah
z=TQY7hSla8KU)%Gi3xd8g__36$Im~&HcVFCk}VXpGwM*BtrhylK7x8{X-`=v>fxY0
zs{N{BPo&4EDjX~3Li}tQ#5&&_zK|1N_+j%Wo-&Na$TUwjkwWnt6{5qM7_1IS;Z&;;
ze*5(c)9|l*yD4s*Qj5JLhS<PfJe&Dra1;vmmE-=`{QB&wiXD820z)bm5lO5pMOAUa
zs>E6^!Hg1o7G6k9M1K&xeQZ60A0)z}P&W?us^RzEs)tL2BmDBVa~`TqA=^1$*6Mv4
zo}=8{wKg_<t)Ih5ual_W+@TG`7EYUeZUhZ-c488M^FGxN%ggfkcl8?73J7v|^c*)I
zTMm~>_Mh2;%$m!nR&(UIVztOW=L-F(S&c$b!x??Wf@dR^dN4o+_{vSfYq9`WUY<XC
z)O>#!&n?cn5P7&|cPTu!=TUlO#3^nc@G-Z%Du0o_EyG~D;3xllMzjCPksRS%eN#Sk
zK4<-58b|p}a#ug^ZaCb46>|bZSqI$PFJms*k)3EW-N0YCct7O_b8&Yi>*mo?EdLR$
zru9Rohc&K<azhD(VUox=<*m`EUAp+!oVU61{WM3vYnV_A@TfeqTYMrwlItB>M~#7A
zk&X3SI;>{G>wRw1Rew-ihk1BcS>T4z^~{Nyhj6Knns`5CL87|q>8Xc?l9fg9J&mwz
zjoe4xthSJz^!sk#l8CRau2}R0InlPv)fY*gXsAYuTCy0>DDwwLw~P%`qH|u&dw@1(
z?rrayY~drGJ(a(iL}s2id`c5wRtEN0fwxgIM}hn9Qn_GzR#Mas?s25E-5}EK*6rd*
z#!~ktyE(AvRf=vE$h=nuS62-CK0;fQVO^E3FH9L(U*I8Gm4rWJ5YT-JBCBfo%T<jf
zB62`5-R2CsuSFkq*495>7s>Zi#frfAg~9QV@s@xT8&NIPq|_#Dg(-ZhQSA}9(aYEb
zZW~N1<f4}_2c+z^gjtEM7UER7H+VrgfgVKnvVZDajy<=oD-|>zM8DNlH{e?e)%dyg
zA)=RFZy%1T3Li-LE)0E5pQ}Jg5ta}+N`(JS3kwap?Pl;RTi}SW$*CIN;PMMiny4>n
zrlNm(Dr137WMgGyH#|++O=0UY*M9bi{V-jMjXN_N@U2Sack{3?GgW*qa&REi+Vi+}
zE;R0~YH?LKK#XBMA-_;^l;mc~(9@8e{N?~G$IQ)KWHyV&=^To6`1|yuMU~&~X@{oa
zgX<Br>LJctVG33!Wx3yN;h28x{1t21=;22`#-V1(&#fooX3Bb{i5y(0*KC>?Bi-fs
z^>4w@!+I|bW#7f*+|)%jitiy9W&f1L#Fc!!E9=M)O9%BcK_k)RZ7jvfyP=YJvP67$
zVSsXWzNE`k=wHK^#QqT9l1)7E?#|J0t0@$y(Z8s+^X*5`_EdY6B8ejhYE3f+SQ=pn
zO(=K0BhxP8uB)@P!lV`h3+IA+q^Yg92f2)Jg`G8xa9?drWxRwH;;YHCvf}9GFs%n%
zuNmE9&5O>^Z((@JQgOA!oSlg7&F|C;Y$1~6ZOiQ9+awx(ODj0_Kl?ovGlF{F_mLk#
zzXXd013Pd}vQb$mM9vO_k=Z-2zXo_z$<k3<B5lSKv&Cg-_Gitk&f2V(P}~!iVxoSh
z_5<MEyKfqBFs@|K!1=|10(D^%@?(Msr;cgNeo71J2Wt#Yb(;<sya+Zlp@Q_L)pgfz
zzjuX{ee;cy4dRuV+b#2;=O;h>V2C^g{e2vj`_~?kLZ2wpB|o@HtR~{!Pgj2`nx5a#
zl%*UQ$JuuwLVe;X5i#g0#-<h-bQv1L$1Y#iZq%K`(BR&jXE8T-at0mOihX)h=Z|>Y
zKN|ZHiRAd5KuH@uiJHDn8#;d=LA{t%85HzIlB<ceA6#Z(s2Rch7~<46yg#N3l4>&v
zP`$a6(f0J$r8_oA2qmEgzw(EM_W?DI-FPen9tbi>hjgEu@>E#bX{ANV*q!P-s6(j#
zZcC?1C)CU@xOju|X4xFAZ?8y#+|{mic^huF{43Jr)m*-_ObX?H&U;2R*#k>oe~tC>
zZ#JSxzMtPBvDapKPuwQ$3*%UU!~$OFPX?ieuzWf-1Eg+HE>^Ps6d{sfL)uw-^XXs6
zc_hmT*4LFF_^kBcYP^nc_>M0K_?HIRh*NzU0w%1o2MIHt8>Tv+=Zm4uYkjch76eZk
zBorVQ)EaS<68eVIG#$DSh&Z=Pjfd<aK5F^r_Us(C<M%WytFO^#D#M^bV@xVW<nC2?
zPT{%0FE@8Pi8}QFr4aRNBV~|kr{0di0B6MzZovB}b7xg45%Hr;9urm8S1C+ESIyn3
zJ0y(cvzG&g#t%4w^LcW-rC;Wni@A1!FJC2&m-`RB-~fA%)ssh@dbiIV4Mojc?{X$Z
z4_XH;6z)S#X2X%q&?L;DZ;XmNN>ZtT^HY%0UP9vYSnwh~D~0<`T>sJwfWI3y;ls{Y
ztGtv_e$iKK#)tX!+G%-+rgvsf(-t|d1IArPf+L8iAd8sS8T+fM>x7y@uOCZS9#olm
zuy;^>L-ysRNEz-o+yp`eQZ7R}wx!0seYs<YNW!?cmxLZ_T_X^n8XqDm$ouX5$ufo5
zn_TH&mP*ewqYLyp_xE)yR4#|IK???W3^k`vrE+Eue)r`wftd~ifj@8X*LVa5$|0L3
z2P#)B6gQSa1*t&;-K3OZ_k8+Va9Cdst`l-gsBnY=l<2n)9i!-A-<~Wdg*)$RH*VnF
zPPVW!IV$`I;q*O0dx)VF?&aDj3se_QVnjBi7C9=&oFkHL;o}ZCqr+k=xTf}`YG=PH
zsfy@Fu+Y2a?=`f8WD^1spV;7Xaf;-=idfA_MQ*10-PqpUC%%X4PZi{v(v=1U!rC3n
z&n9Xdnq)li64H@Vy{be@W3Cyd5vdY<;BLaqu=X6RO&a|KA<Oor|1O`KXZOF<Z9D!2
z*|$>@5LI)G@iH%o(C4!{H6D7c=)A^3P2Z_)7L^O+SJW4Y1ic1n79~@jQ3$)ig=~Tb
z`%=ot^`vKC)D)DOJlPj0vhTwD7lqCxGV4*kmOsCo%f{>F(FFaW_y+poDFfA|`H5Vr
z3`rw{N)Q|ea^%?HVOH18(oRcXX~o$&+oe<~P8*TH;r24<9Exsy)((&{khe>G+8)NF
z>_+zZpje`-G#NYKC{6DppB?@Zj`W9+S}r!vi>7R#cW;#1oFTn|wlO7SJe72DI%&2q
z)GpUcSGkEHsO5DuXL3ttJWMKBxZ7>3G~?$eHP7Dw5Lz^y=rWU`gTvh&xO)BC?uT>T
zOtfP_ql6{dTiKceRBZ{E?0A=wX+HytM_IKxP@UBq0lvm9X!zvHvz;X3mC|Y_ol&jq
zn}z3N3Y4S?F8@JZOoeK;){Wp;()H`eG{CjObAb(LA}fuv<0<j6lxMjJudQ&e8oBOA
znbFz<>cQirC77dgoV?J4!=!<%hjV$y{7Q(L|B#p_q;p{nUU?{)Tl?isx{dnEbt@ZQ
zh(A)vN$X8!h%}t=GhEb5svC{rW;J?Qag>)#cNO3qST*uxoDVhHv`WaY?UYY7tH!)q
z%3kJJ-Yyjhkx#;>UqGq;$4^A}YVONp^~mKZ(6<6b*KgWR@IARtE%Gka&cw&YaHt3g
zAhA2GWQ@dXtX7T48NkQCHV~5#y+&~3UyV?2VI%67yV%F#7WspEvs)gCE_%z2Ji%b`
zfY&^S(plDxe8~6Ob{`<}m*-!x4iPJS><oZOBJtA2z`VBunYdRxMV+O-nabe&!c?Oe
zPz${&|FWZjYHsBjw+hYKY1djVO436?IO*N0LjE3OYYAG?wQ?;1DG)><qO!cdNB(<*
zk<kI^Jgc?EQE($ObplK7-N&&vY6Vm>j09#;_FJHM=V;KoQa76zPKtD)!)_cWK76#G
z`X&CdXREfh^ap{dBJ4n{TA*XPy1-)@6n}f03_W(O@i)^A$85rD8^7|lS+Urw=IUIZ
z<hlC_aj0goWPZ?=7>z&5()s;u+aNY2t2e#Wysg?*;W<t*VsJ(8Hb_Uxa56I;CMZFQ
zWxuc;r~LbG$f*?H)|<+BOGuto4m9cZEAdoBMW}x@=G%;Xg!%lN{#f0!Dr19%ppox|
z6#av&54T0J8{bI(rEd+`0ZI7u)LoSjY32KkUq}Om#yi?B@3TJ?X!9B~38yWp_Hb~u
zbYG@H_7y0&z!D+=T&G|~(DVRwd-zluM}62cEorB0^72%l*WLqnS+2i7Hsjbn|NkTF
zo`N)Kn{ZM0v~AnAZQGijwrzL6)3$Bfwr$(C?LFTgYe%ezb(kj=bx;+N^;BMYoAz8P
z|CUp!T@ya6Rz}m(?AW^%8+@P!d=D<Aj_w?>QX|2Sw~FyME-Q@-*t#0;JM19(Mb~DW
zk7c5Re%{}o{##cdgHEQDddRr=Lhjc4m$nIwmaL@M_VH~p>&6Pxps+~gqD()hOCe-a
zi=_A1$WVl@jLzbV>MTgLpCd0~Qi6a8hPS%VWT<NZ*&#GGDT;EPXTot1@aaCLY+AiX
z`PcaPmH4^oUNnr%$$WCe*sSo-EeF4M*@LpE&70w+0Hr#CqSAw#fbw*~9fP~m?y(Cm
z5*73lF_~D&=y%(NMywK29K^eLtt-#M%Qmu&!z`l9A;OiiQ<)uHq$lgy?fb2NRir%d
z?KA2Ych<(x<RYmi?y89k03n#(zsG>FJj9%AAZAryppOL%5UVI|I>MHy%**qbNXaO7
z6qkNh)SV81G+F(_kUezAoTozI<}%~KvuMI%XVc?~g_AmsBwsGG`|tDSM5jSR6U#Iv
zdJ3EI%p?Y(YE5WYy!Ex8t$Fi=`dN<E;6gM)7;Y#L>OJ8hnYz^*Fa%!2lKP#^v@F56
zIN7)r4^c-H$;mg;tr&yv1I_Q<G|$7@Wa@t~Cu#z^kQ+)97H4li=k6}COdW>gHv&KZ
zrDTgmX2iM}$PyvYFV3LVVjSp8QO*Jn8Yo}LmI#S#<ZERjN>4u%X5G@?N2cvIZK*;d
zEA)s`d#N(yDqq+INPwMDv#<+>Zlet&OYtbs1%Fw_)-!N^21*jtlduTT;t=QVFOS=q
zCe4E=U^m@hzD9m>Pp)AHSHsXy9@%U96LS_Z*wOaf1Mtq9C}+fZ1Fk_w%L_c3ke7Lp
zn*kpRU)=A+)UjOqaBJ3icsNupU}y=~<13=!g6(dDFw1`ebiJ+GZ_DQCTR+$R#U_gN
z#p|dO>BV}e=40%RX<mjWfK({{QFP+1D#UVB_fqR2it#wKt_G8EJ_;yvXpb(fs*yPu
z)89Jaq|uZ3f_eaVcy!J(=z#YNuVo)*Pc`@x{=Uskm8^2C2&1;M<9Dn@Ta2gm_OEeW
zL+Z^20#?)l+%07cteRRFv0Es)Pc<?}GN0s_C86zV;83rZN5)DTM2Doo)cx@&mpuqx
z#Z+3jmmEW-5mBAw%qGLN6ux^4M-0zE>rM3)5~8$$h_U-OX2r67<(Uunv9SF6x;5+U
zIKqv)*aoZmlA=GMu@LUHtqz~!<%XR)i^X*1oeh@_0FT@R<<xBiceZBYWO(*W!RPgd
zX;oQ&=xr`)DD!XMy0QAJ_}W{EPi2}*V5>tUcG%o*#=^AM#ynJZzT~lJZ5d;+#>X`p
z&vA=r#gZ4q0xFYHgwdjnC_#ckIwq(TX7)P^uFTP7fB3sZ$EC_zz#ApJW&-XZDX#~}
zM`N4^;P%%MYR+vN6c!4GmS|r*ICj*_X58<43S69LV_HdivuL{w41V>f;MTQz(d1pq
z@~Ktg<OU3I6iXxcrjb8H&7%TH*mg;}wNJ*P-W!Zf8Y_3jp1?i&LLl|i+X=<Q9Uh^s
zap}sJ-c!U50o!&#)Xu1?!M$OgC;a?vXO`9s0P^8xFz>tR?>f0o-{**+t+4$=&fgDD
zM=?S~J$K9+TX%1$@%jsXZTLSYR*zGr)9e3E;u5Ne18=&}&!agRobhW_#R6oTr2VAo
zN`L**oo{qiC%By7qfrmCxyiGPJ;4N1$7<YDOv&{|V1P+^ocGe<8>wruD{4piMR&}B
z3>ZVdffsF%al-P1_`?!A);=cUil#P>d$*47?!f6x?HEO{itO)_XtQQUT~Wnc_Rw}E
zfDn!*oIg>l*ECN8(PYCi%mZt8tX5dHT58n;+&h)9e1Lja0_G=qH#8}KM6B8E%km5<
z_M?iHm<xy#=@T3=!%mPDJc&x!p4I*Q2GFp1e=Z-3b}diMZTKEOtC#C4Z#H5~;TeXn
zIX7crS#s?iBxa6iDzKR!VDme){*I4syKq(oqk>d6aSUFf^*hx`QGarVsts1SjB%d$
zXt(F94~X_iOGH&L_9=#2pxeMbeDyZF;D4L&R4!B;?|}GK(srUOiTLi0T8uT-2cT@0
zNhN7jxJ5%~rqJa&g-aZCZ)8-OMNKG2wB#X4iTdPhOBO41k=O!pa^vm<a112;eH>)3
zHt(v?s{R$h>cp>%S0t#xEQ3~lx=_{E;yAMGYs0u>rg7?pJ?(VkCN@w7VA(&Ea>_IX
z$l8PYxIuLD)s{OzA|HV=$Q`lM0niwo7C^h*2u02v<{sGHyD9#F-0%{eE7)|dycPRT
z?Mj<h@YT8Hd#*<?MvR8^<)>{)9HHg<boi7<DB&o`;STwIYsVoIaSDmWgjK|RPi^`p
z32V$~r;Eg*qF5MiY}5ymK7KJsV)tWd{Z4DzF|xcQfx^xOt7%Wrot5?Q0!U9Qp@hSo
z9V8Nruunjhs(d(cT9QF0^7P!0QQ^>foOQU_{HYfHzWe0q^7ML~WC_W9H${H`CFXBV
zu>axoc&S?WSTn>UYaFomYxiVl=h93X`my*(_IPhjQ`DK$3`N=~-qp$~KhtxO-q2G@
z6ua$A(Li?`@B~7>xF7084TzkT!OZ4C&UkQ+Tt-k|=ha6IBH~T^j*tBP;()NjvlCa{
z?UNlTOO_Q!RZp`b=5MBt$utyx)ihKsyz6aY<KrrRQh~G)W9>JuwNKg+E6ZQ=wnukH
zoSleD9*Mj?3!B8-kOT6EdSi=dQ2isJdXqVzWP`xnR%=;xVeZ7&8*qkYwaC8#k+d%}
z23XGd@@uf)){z{4F5<3kzo?$vfc`RyA~&>O$+s#KQLAGAwZ+PyFHR8asW6uNsT^Y;
z+%c8xvd?PK5u$z5-zh%>C+yB=TTE8$d(#txh`VjR;<$JT#XXI>7BiV5WtdIP7Td-S
z^WlAf3`X9HVOa0U3~+UFF@_9*9^?02{5MJuyq~~nsVqtY?_w<y#V(He#v<(NN*>#)
z)N!=dF;?V5H;T^N)b-L1;9eBiM>Gz*B6z}Q+V&EyNi>d(#tdqHi~0>HdVF=$R_;6D
zW1mLNzOythS9<F*J!W2FWgp#C8-KRP>Q+tfZD|e(`fM2?1Kc17TD?)Hzu5Akgn+4w
zURZ+N#ZF87O?fx`K)Cmi$jD(QV5-^%U0<fB*leFnO-W>3y#*gyN=8Tj!R;cI^~t9>
zUw?ew-1#{#q1{gg9CTLC9`HT4_nsiVLpF7<V}M4apr|61I1ps{`wXenmC~dgK6eCL
zvsFE$;w*GC0bZ-#Pw<>I(oSZnhrt^?mma!?pL}jyf&W~T2Dc~q?vl9adyaN_TIG)-
zk`kEyTsES&h%_{#;M7>?Zf{f03DHXwstNmNqH3FejSX6}Hg4EgAo`IOYD`mh&T#2u
zK~H#OJuqcwrKl(?U8AgvRGXOXsc;{p^`&M#j({vL0md?@(hF7nh5M5Uja{&`L7Jw$
zjBjk%4JC?z*-%3BO|{h5Z1iQ5$6A8(gM=vC_kiSx#?MbsPkXzokv4?Kju605So2+q
zx(qVLv^=gpj!b;gD9{ehr{-m=HzNJ)v`N$O4qo8|iahaW!#fK0QFTg!K=u=tzY&-s
z<XE6hQ2rlD!p8nTInl!B3dzn3%*Oe@3Ym$O>Hl^V%*<RV3a*f7{~!ey+y8+SO<<~v
zzcFsBfQj+ukwv840-W8XPZ<A`6nM(g0fEkLCC-v=BwJC0c)-Xv?l(Tw{4+0APu&qs
ze|NS&F1fvO1lZcbxf4pU22n}D>H?VSm>TXu2GN$5*4%+AD{&_)D=$YE7qRtA;Z6k{
zjn7*MB`6pNqkj-!93*0)Pyyr#jDG#FXhg0+TxK{xI1qoMGIF9qa+1(`r^m-%2t-0j
z1O)pB!K}d*jloBSE(PUB7xxjp+$3s)$WYNw1b%?c{hWc=`T6mOd!j)^ZG@urbHnfi
z=Rhr?>Vw2U(^r8Oi3AxT&%gEP&B5sM6uo@W(KR$QOi_MQn1&VvAp-D7deLB;Kui5H
z1*7Q+S$b>Ye@T-!=K`dS#EZerHT|=`)k{St^Qy_C34vtwLBRblGxa4huO<bffi#`}
zwpRiRuHhTMwAA(QfJgoXq=V=inSQKn36uc1fH%HeRzV>HSJyLE+XAj=fsXZY5CyfQ
z{jko#O+Zsu)4rHl>i`b^z0(=3sef%`WevaqMYh1P$ZBAzz0{v2{1mw)tN7=Gm!QpW
zY9td39JTB+>uF&k);2<}iWG->Z&H8pgakErwzR(6bgXznE3!@iqqx>)rr#B?EM{Kl
zay+#GERyQ`1URXXZ!MF+pkVfO_4W7lj=u!qfnsrH<Bv3e-~eu3vwG6adWM>C+u6^E
zUjGOOY%Iqr?ms(vd1ky13@nJ3CA6Ilp#IK?U0Ve*)h9&Nhpq?OAo_WRM+unxF<t%Q
z@!taStgO8=0;&Cee|r%CSq)4Ry0qQ|Wc;`c(WY}VTdp(1{v>|ZD9gg`gWnqO?}IVc
zIn@Eba=rrb0vK<<?Kr5(cLDSIUp}hK)40I9A3VP`Grkk*CIm<XKW2Pqe|>MHApg%%
zT-|W3m>n5{_50R+2`GH%NqqkVf2O4TTx9;(i7QXDvjfg7e%N1sPUWoo*sp&yd%;(*
zpnn64L0Y3-ey^y)JiZ)L`%m^xH~&;51*P{U3oQbs`;T|T{j&;tZ3$V>7*WmN{^uw@
zn=IJ%d19dlp*}Bcelgb7)qlspH|q*ot$yr*;*9sG60Safx=Bj$5Ds3hq}Mq)fXL$F
z$!*4I88i$|4}skp2VDI-a=5Bt0<UG<5X!A3`R6FMft*4~?*BQ8W8m7*?|+Vh7YO|h
zurmmwANMNf4TL@h2n#{$C4S0S1)`nr3B&6pe#qbiqOJcYC4}xc`n;)sWI7phsC%G}
zRi6Hp<zM8f3Qs$OQ2KMPa<$>C02JEn<(@$Zl7#>C#3M)Fej0Z=&_5AV<Hz;bl6j!_
zwzKeA1DwoztLJ}(3WI0}(lPQQ3Gn?x5wS)92?O*`C!nSMA5altc?Z!i-S`P&!1iqc
z8)5SR(U08l6=hw^`aKH${9P;fEvTvg0f<8}wL<uyT>a93;avNU`*s6a)h7@{57_~^
zkN8g)!94&1Yfr$*1AEcW0nz=?j{hzQ#`Wd536#7uT<aD9W_bpHeBa_-Wv><d^HT}z
zS~vaAQV`Jt2x*~K1hnCJuAU+KH#`0#6Iz015}HG^J-Py`>t7*1@9BPmwuFTDpRk~m
zh~{c|tB!xD-p7+Hybj;aJ%5i%WM%8qQ%+eImlOdT);|^oq}FL+^(p#~>&%6OVby3n
zN~{#vzT=ho(g5z5v1Tda`7#VCWVJvzPVmqPm02L;hA<U`N6D8R8mXaz>+n0bFEp#t
zI$n6Qa6688+FoqrJKDV=fPM>pqmg@j(wGODdv5eKFyc9uyPW1m^P7@37wG0U1Xmuf
zel;-KA0pHx+xO$V$aRet_8lF4FK%apMmJc$RYPCbBLEnn9C!~$7eWl*Asq@-j?S~P
zXG0zSgkfC3DxUqO_0nCO;=M!pdm)3eHo%gtnz%0@m^v7$toHJTWPG!zvz8vb3h}DW
zteh0YV<1UfT4XQaxxeJ$m^H6bIh}+@Z&Q>|io=y!g+zkqEg7A>;Gy}VH9Xaz_)+wS
zG*=}H?-O7wymn6eU`TX3kgT!!IyAR_Va7$281t5zHL7bl%olu71<LVQ81HL2{4u#-
z2f7ckkV5A9>DIZC4;DJj|6D+dRL6h4z0^RCjOUg?Lho*N{JvnA@vfqqGzwv_P&vpN
zCIBFl1{a2DSZ=M5AG4tMT(uPiFv6a8g1No;umK$ViKeloV4RSNKy9Czm1KV@a#n{0
z0q=lnXawrA5(WuxhQT@Eh0-V14NC0TIdrD4qXE_hRt*r6to^o03_3K2rIM7Nx&O=-
z73P#@-@Y@;eYiL7Ok3@X1mt9`F&L3eD3}k&jOm~{5um|dchX%?tUip35w*o@pQ7e<
z&;jl&Lqr4HkS-Clz~rz;deBjyQ2K|Dnw)m^*b_sueV5kekC-opv7yzx!uBGZcM^Ws
z2c&d3`@j(yMpD4_zv;0aoQU=&f(}k{rs2ZD<G&rBu~$ok`PM2n?c7~g_6+49LOp{X
zu$!;+>|he~csLIU5sP6eYT7xX`Xns6_W&bGf-*IYP|iO8{)Op-BvlH#Jo5TWY%)F=
z#Kq;@sTf#3Nfuuj%Y6#(^{_n&<^>yj4Cg6uDx&B1rhmDIKn{DC;RBsZ(GIvwH{hr*
zx0c4U*Y}jKmY^UfRT)46!ENyqc}caiH?-xuwP*@XF$!lVboyQ_uzz)vBw=@KIs&Q)
z^{k3o4%L0s3efWi^L>f<`AoBOf1JpR+nb~ujg}>2<V!+-%WBFzh!hbv<D<aTx344H
zZBTGuJHxe4ecEj|+0Dm6#Vj$1$!fDWclBVwSE<_5mq{jgkub!%>|$lk#kof;F{Vve
zti6!4@^Lg{uzn>@X*$nv@bsxJ>H$Qq{K|1$v#j8g*bsAKO$2F}Fk~R}lRQ~gsJNRy
z2)jDPug^Q~T}(_(g+Bt1uj8P1idGJIm_};PJ_7Hn|Dr^r$3<H)f9Tjli%~q0g2elM
z@j*B>#}&^u6sphQyrm2^!|$<$V3O)VWO<=s_Q$V%=HN0w!K%)bED$W*>;j67k&e8u
zLK2>!Url;y^$UGoxjv(z%rby|!hYgZWtN%Qc!A<-z@>agaP|1j{ucH+sDmh+L;ZM?
z6Q7JU)}vU)mGkz)ocxt&=9$@5o|pVs5J8bEN-69B4#^FBt2_uM*1GqxX_6Z;AuCzQ
zx?G}iZ^Oz^mV5UiQg!yzLjVBmQ8`?AI%GjtrZwfcPpy4(UO*UGNJ1&F@9B6MeX=v@
zLop5C^{+SRDNQW~dNB2T(o*k(FF}sQv-J&8RI-!^FiACA-|Oy9-dB}A@^$-?6*86m
zL%xZ1ntcv05gQ;pK*zoC;_-ExDLIcwh~q)L$H>LPY4ar=uV1PlAON9)XS_LnAM%0k
zGv`W_u6<@ZEgV$$SjG@5Kr$mY)2a@rV&dS&TTiy00R;KNqpBsMT2(IcIm<AfdZ=iP
z_?v<&-nB0wBTpTmND?5}uWt>1OGgegR>g=0^CD=3k=yJ&Pq_1GvL)8DCVRou&*9Vp
z>AuR#A3<P}*&_|iTL7mW+(EG@GfYqNI}`EvuffHp!Dxtc^9u*hevK9BLI0jJ)(?(D
zGolkL2Ru)Viv-*==d(&f`-D7PZ8G+`^wU(UaEvcf&*JgsI5Gp7^hY_Qr<~uEe=T00
zAtrp#8>kM`eyI(o23h{nG!RSI9x5_MDa_z%U{)J~K*1O6SqEq`{IzAr$<DSv8;HRF
zt%hw}q#H-%4<8Y3^~v;WJO)Atd)tn~2Or*ri3VOcyifGKbJE<-tuK$Jzt!O}A6jGC
z!{jQ+>PW29B*X~;le55l{SV||h}k(eW=wmYd+5E+N*wm=G$RI?o<g+m8#B-u@9l)R
zdJ3fWDU6JFJvrb~QUn!vi(|MiFVM?+A3urq!HBdMBZ2$y6rRbm@3{@0I)xbQlQjTk
z^iZ$M{#lkOJ^8iu%e$T*AF`0^o=wbW*9VQsDF_7-MJYhb<8d>Byc!|uaD=6QG;tN2
z31w>*Uvi#kOBTX&5&^nh!$y+dF?J~23|stDPZ3@|-wx2mD?Ft@YCcyD+Q_$^o;>R4
z_1vY7Sy>o4c8#5gQ;DFk)0R5!DWW#!g?*(FvQ9*QYBgO}GrYH`k%t$QsmvIJ8mZse
zx*ZZTkl2&5(8kw4QNqFUdt9UW^X+&<D&xHSc^`6}i1<%hhA~~!j_Zb`LU&83zxwZS
z-4$y+W^}++=RUR+T&u2SsYyCE%Tyx{>d)?#7}+Db2#!kS{BR1R!z7e{u+F<{t+=B}
zE^rC3{SUc%c1XfP)R*{`JGSll3GX#CMcJ*`(!|l>v7HxxY=6y+RUxdn){O|o#22h^
zVyK+fgYYACVd$9`i#jgoG_WX&(jKn!hOS4RHynUr4GPG+M=DZVZvBv-!Syn0u2eb=
zq??-s+sEnJ&7I)8d+%{qOx|6ag&x2JT?FT7<1=S31)%-Q$>T&r!maE@V1T1!g=42T
zl~-?o(OtPy6M4)$a?3uGqa@M2F*eWkT!*-dUuLLtYf$qw+%oDN^q>Z{oy|ju^KW`e
zC<kC^x5V~fUe_Vf9(B5`%sdO7)9`Y#cUlj0j1pET*Q+4wP~gNGb`B@4E1j6IET+px
zUv6tkpc}(LbZi=&WAZ{=^>6%u)@HfLcPuXDd|9wa$IGlU;)e7&ZRS>((BQU<Si=xj
zJHod>3B)(m1JFy>JUTyW$kSbLRl@aNsRL+k(PZ<jN~<VFwI-jrd*#Y^;_1c6Cu`w*
zIo}sO(M#G6QjI_bAzS%UfFNf9rTOBjaoyDZ5Z4~*nTWM96UE_U&U!e%=iiMH&j=Y%
zsZHO#1&u7b#|?X5L6SVX(|@=!PYjcgbx&xF#Y;5^G4W8s%+m3lOJ_Y**tBJ4UI6gW
zHY@4cf^riWH}O#(t@5KGMoyLNEAW;pI_~UYh9zdOCK$j5aHQW<Ae5oJbnj)jE|Q51
zH<OZ)zUm0=nd><p{wA4XXJhaH7f@SRakvrc`Gd>Enq<3m_RcM4K3Dn~hJY+T=-~2e
z{+K3&?|2doi@1?PoWLeTj`TugmkxkL5m5#uJZk}AjHt)8vFiC6J*NwR&ST@<bhV@)
z)e|9n-Ctf@4a?}cOyf$}B+Q%Q{F61jINMR*bo8vV$sKV#C~d~n2gC)@M1v+LFo@eU
z&h(My7`YHw58G865{asyx*_6JAk^M+qHTPOh;g&_ZZH#;7o#y_+c{Vt5CeD!N+X-T
z7-5$^7YWiB{mazvu3G2!yWd2`)6m6s<VN%oxjTol{<Qpy=FGpEC|z|81y{<9m^9zH
z3el0AQ#S{x^3eMLVfjwU{DX}`Fhk_aEwMg4od%WZEiEU3y;557A$5CWgBGaRfn~`n
zB7>kvd(2P_dT!dhS-^-<t^iOwQ_Ka+V%W5nMA?E@&V^JD_bJLYo&f_wY;Ie#em2B(
ze4ZlFM65L{jGj%EyB@2iT4CE&)T3Sx6*=*;OVo{&Q_I<J*>|^((q|#wO;u9Nh1tr}
z=5^jgB+lWJHhEX8<m?@E8q~d2%kI$Ce-tc;toGsTF(Hd|6f}|jbq?6OI!m!Bgpht=
zU|&)oQA+F39?srGXdE)Kb`QECZMi@DKsjQgQAZx2(PQ?1_`S_bwu+%5EyOu|U+!M=
z<^W&#XP*2OmBiPf*n4N|_9Ui$BDvxuq5RwHB(kwO5%a8=!x1|CB^_Gd^e9KVZ;ITO
z^#zUFqP5wXlBQy<0u=z7?(aG@qP=CBC+jbej@B5|ZJos}uE4|mglrvccQ|GG{c4%e
zdyf56>koUmtw;tT9!=lKTQW4JP@b{jd1+@|HsTX-p*5$#ypsB{3m`y3y>i_eQB<fc
zR^M~;k&*tc%3?GVxBZPXkAsqTBQ|JODyuy=Ui)uZ5NA~VODJF~D1nAUE`Fv8bzXg~
z9nJ4c{>CdsQm#06X{?m`;A2-*1}>=dFs0!%YyOZDpS)5A?ru)?@ZgYww&@~1%6DWC
z)`BSV=~@TYPH`KBgRcJBb&=EQVe#fonJV*9P}s0Iu2gA;)(Ru`BZK-_a7Y1TD-JWP
zY=|w&MWYbbaSEW+&tC*1*B*IF9B<nNw=1mS#4aYcbieB7v|opf9FrR<BR~hR`x!>v
zyR;9SA*KtA@A&pu6~3v~D>~i&bKz(y=rl|;6MVKtJ=H<T)b<4*`I)c1zy;?N-`-cf
zW+T}S`i77Ks=XmTmH>Xdp1?6<>QY9ZeG(hzHI;ciQwiYlHk5d;joX)cN8=>q0jtfi
zypD4(S;aSX82#5YgwR2fzoy#WyJw4;;VZF@YPQ;C+-VyI_=h4(`KhGt&{_T^j)q)J
zdVlj&nL)vfir*aIhoQY+de+7jVd4log((>~9FEkEC(N8Bpp#exdC;)o!A5_l+G$tS
zQ&fsK+Xt)^YMx`X9nl>eaYZRFNB9a3f9=Nyyyu!RezGRYS+B?9gplJ@lbzKnA8$~y
z2xUE++J?SouuQKMj)Stw%T~@BrgJv!&h!e&nDw89g=7WZA@2AGj#VB8fI-`d8x|@&
zdyZc@1uh(&@n^J3Yj3u?a6(NoQxz8uHEpSOZvvE4Lm9}L<*fr}{BbZA9otPYbgR?F
zlhK?tDM(>Y%t8Hb8M!X@u|iANKM@TDtmbG*Ex}s!!jQKEdm%306w8-XeTpL|J^cpB
zJ}s`Oqz=91F{|&DsBVb@-j?D6e<fdY%Q^NnFdM(5sFRo7N%5{#&-qPI<z2NjX>AlB
zvIC+pG#8ccgu^mB2ZK-yE^9u0&Fft9yl@ZW$=wa{NK&SqCGSXruew8Zu1F%OT8lna
z_tOLs%s6q*<PDa0obXA*Ax;xr(WzmHA_yXPY4z0O5V}S5D^=5~zf$```v+fff3n=f
zL^IZXW6zwM2+@)UHSX;Y*3$JNJ;N#mDgZ??t`|()r*OO5lR1ib7KWA8HJs}N6y;b1
zF6fQw3pupI@k{Ov|3<$(lSw?hKGemMV;|?VDYS$YchlvwTp~%E8A-0HFL--}jRu4Y
zqC-IL{;sv`9KTW&>MPowek(i73|3}$Mq;-ZhwOzoq?2CVnbB7B2=ed=r)`Nl<N-oX
z<$0#RJZc+&@FC3biGp|gO6~&e?dAO?O+M-riWW5y;0Z}39Z%Bak0rKBJ_raF&60Lf
zAK$^_Zj=w}yErvM%bW35z4McQ*t!T4H9cwe7Cg1Q7;T~yfVK>V5j#Y(beeDR0}#&E
z@Vnk#=y*WC5wRlu!gg_I%p@1%0{~#0bfr=s3I!PT(qGy7c(sy)&?iYK`$@CezN29l
zRp`wI50rN32_1W}PSf-~osIp}YnmWfpfoBWihRy=S&r+i)o#akolastT>*$8C>>nZ
zH`rrtc<l*$C}&@Z3oyVG<U9iJ%G*&tXK+2^7Ey^Fp_8v4N_jQ-hhu)|;DEIqIv;SZ
z?R0n!yrY$mf`tkRnKt^-(QD}A;dsJ&44%wZqVZ<xrSv4l?^N9;Q6F$pDb*%&YH0=n
zCJ`#p`XU?|1-N4n#40I!KDu}N%Il^#a&sLEKhA||tH%?+T=DeqUkM6mX4THa-px&2
zo^*i)W7EZ^SxL7^Jp*+H006_Dsk=dAtnqjXBpx12?wiqlM+Qy3$>XLYEXtZzgq@$>
zfe7wdGJYMDR1*eBj6%A0sFjD=QTt6vWjieo{HkJjAcY!b7`Oi-59#*51xaZN7^Ufq
zPta053Qdf<Le3Ix8SVrbe2a+*IhRMRkYP}A9z<saOGH;MPmBp+007NeClLh0uG9lK
zGQ6f2nZA+U@$R&|wX~20^Gb`8acKV+NuGLez-lzCm#n)Fd@*|ss&`4cMKA~7oo$Vf
z3yH5-AxuH;f;;k0N64!u)ui334x0#TA<CzhbNq}S7}Y7&6S*fxo3vuisG10au8`Zj
z-Q1CpR{(R-PDVl1G@x?Q-rxW1j0Gc<I2lY_aym2y-(QF<6qG@0$Zju<Kae^W!&LPR
zv=i(oHsqiiJ_{mhP+pbyNxCxp%wK{pqMmyWe<(q##DhILVbG<1p;UC|t|-Tvb-bGm
z0tD_Ni^^L|IGGsm<=e6c8QwlxVqV{d;^VxauwtAe(APo_4}iP#Hp%@Uo*ye)F4zxQ
z@cB92fTul`DLe1$Nts&jKEQZmRiK{gW&e%X`3epfq`N{XvL}NA%)wUY|Cxy8xs5=|
z1d&2>=;h?}kp6oQ<>O>bW4Z5L`g+jUQ4?hf^Ca(KTzI*xDK<j(-h!_AHVW)RaddCj
zt%}ksQpZEe2avP9?d3oqUW1O~-;v?;8ZZm<cSTq<>2B+z`nYO+@b6(mJtx;pwo3L$
zS+FYmE1$swrus4YaKL^Ik0Eg$!oAokQ?$lP3--8Ec{~E2UQ7?_ZPbS``V}a<5gd&V
z!h8hUMFYn!N?*cFd$A26JG8k#$$1>!)VDFz-6n^E93Yh~$BIO~v$Mv%q+)36jgobP
zkK!&4D+j5EmCGnL2K;{fT$tzV6nv{CcRmwYsP{IAB&6e<9H-w9$;De${?I`+uK()#
z`eUPG&!@ThDO{Xr8LDoD@?3aZ2>aOQbh|T9O#s?rXL(<3kQk)Li}4gMkcoSlxM6gm
z-uT3e5@1p*=F%fSOq&p_f~`VNN6M)S6S{flDr%=BYUS6d2;w<`-B1_#n*fZvOAWa-
z<oeBF;Gy(pdtL33XJE#~n$Ej}C!8o5Kpb%sD?e4Sph%jAu>#U1W_`45p>?h5c<o{R
zoN`s-hW8WJdhoQntv~fUPgdYZ7a`Z&*iFC{8UVkeil)n5>RH(~&vnV91H>VJ&R}iE
zae8h{7nD=7tH3}NM?p)Lh_-^j4me(ZBsGApp~<|(fbno4IR;ElJ>YYtHL*Lki<XU7
zC0UrUb=7O<?q=K&0bd{#-ub>3B2wiOy_8Y5i1eCkPBZ$RBb<)Yv@1JSIvdzDw-B}9
z03z@%BfkRv8W<1lT2@}me(08y<CIhKLES1^)N^e*PfHIbccfCS1o<%Zv%%cE(Il7N
zjC@n`RvpAaLJvgOwQu(+_+I--?S^{wh00fUu@C3$s5@5e`6TuRvM>z7#`7Xkk{s_u
zF7<j>57q2`v_Yq|ClTqm3sn2sRds3W0~p6nxwjtPBAFGc;$NKy1_os!K3A<sT(Ouy
zb3zCbw@;g2tXU!wPdWE3psd$HhSvq0vrH^y`Q@YY(bx*8B(Z0z!og+FMA<ASr0iik
zNw30pb#dMQs4a^P3IMUos$x%VKEj4WYHMmZ{`~DXI*3_~F&GI@_&X`}spfqJ4rrP{
ze^igjp5nK)9^lEtUNkes>Ao8qt`b7=I;OY_&8oL`I-^`&A_Ua74ybqh%Z>36$5q5#
zy*3%;Q2r^WDYRp4%si$axYtt7U$d%LZ0npjjE|>o4qAlU8!jonS<eo$!fpG*L&4!6
zXV!kd<5PATZs~C^RBB!ubZxJF4+zEd4Xs0msR}M;>>qfe(`Y|J)srX5D*dEs7h&NZ
z`(trjv*!QAlNm*zdx1y7*LeF%(<qU=fPv?47M{x@ceup_oL!gl2mvntw$|(EY9bv!
zI9N7JD<hF@o7CF4A^l+B?r<ho1pMCIYvT|H@$=r~4XuMKjfDP=wp}Wz132&X=S$8x
zs`R=-^WK-+Tx?c;$h^TQiN!rWs@JWo_x5_fHrl2xGW2utT-9vtX|c`GpVcK|wb2bC
zzH^4^GWLzYtNJh?Q9wF}w(CIrj-QT4m7BVCy00Eiar?HXU?y6M#lWMZ08x8Oa*A_k
zrSy|;_1WvB$x-<TxV=&m1MGmCM3kQA;23ly)EGfs&_J9VDRG^i{=Is{wASpwA<bqe
zK=Sq^bm#8jLJ#cx*SFp`PHg=Gg*ZVGFE=8@G(b}Dlx0ULgOaESzR|sKKJC&U-~|#8
z`iozx;fA|Pj1XsNQp9o)TZmLG$CWl@ItFv;c}4bw_DruwKUZ%|4CnxGtfBb|iBnk8
zQ$fQ)6s6{E8jVN>Pamh2GLsNSOIns+Ath|)uZB-Ja>NWNmQ_B@cn<hg-SCKk=C(Z!
z<eWC^WGcds+Xe#Hi;m@3*+DH>URIt)o$i<g>wYM9kuBYH2Rg!E4`Ws2@WlmnI}^6h
zAad^&W0Bi7R6r_I0$R}^V;zoy&7f+px_X|<YV|XtDg#I<;W(?N>MK!3|4cgz)>)=S
zfDQ&UbYBu{s4nvaE}tWH-)Kv4be(c<PIBy6OuL^P7d1`ZJ?4M(jvhEbH8{2!WGQN}
zID)MO6f*F=c1X{9aHW`#<o5Bfbkf_=mhsEo%rS$DV4ONk0A45;W>;fI8>3*a^XzNk
zWg@sRhh>_zKFGViuEElFrcuK3{IZ>ZQ$kKSS8L!EXAcw7w`<Nx968JEyv=8~QJ4Co
z{xqfTDwq6wl`XF;y@=@Gzhftvx+L@N<&R}bq}Y_PHsG`7|NhFK-4tWcBE`R#2YG2?
z>E<D(pvd-&0C0g#M8I@N+f;DNHJef6aW$(9p!lb7((~Wk&Xzaw&^00A$7fkM;Xw>r
z4Z0w;r;K$$Ck+kBU9XM)*6o0U**8Hep}**nHy{~mv~vpW*d+YTs#t@|^SaDAfA==&
zB&3-1#FhEZrO4=*>ffA#FL5NoA?8)rG67l7v~pM73n)~MHLwudwURq#c>7|7F=!Wq
zgs5nsXo?ZT8Oh5$v#<`fiMRDCaNHS!$8Q8|-(8nyO7A7C$=;$u&(A+g+*Mm=R~-it
zG@7jXicw~Z!W42jQHOFN0BiL#;lW!mJKyn1eQT06;`sIy9KDj6=$KM)8cwn|_%Iww
zNY<Zf0)Akez~3c&64_`$lxv8#$>V<O+3NbJ;Y?}k+iq)+q$pCbKNU|!%RF?)E<ck7
zTzWMwy^Y{L7tT0Yy-6OR5V?86skM+Usi<l##gK&h!`~VMSskskI_y6VXdU9PJ7%NZ
z!2dZ`2Hp8=MW`z1jcIYf=?TbYhGm92vSKMx2Czm0)yrI~3ridblS-RuuIY_Gl;79w
z@RPkOH!v%~iSMyV2)^+n*Nn`$L$o~0m&sS?|6cFEONTZxQ<7*1?Cy|WEh%0oao(x>
z1rdd!1Xsd3!X<odiF^ZQl2;?s0gN#`lV}}nCd9sIQ8u{Qmn|;5gj1komtSI1leBtZ
z4+tg1(64wrRwf8r0qv(F_SHQ_1R=jp6p93@MKjn7*DI8pI|>@Y&5Dc`KvY@ppJ5Yw
z(+Vf2K_^5JV}F?@oRsMQDGZ52_BYkLubX`C3g&7BYx*^<Zd-2!=;{(iv2CR-%D#1U
zzG-Sq?Bd=3MCR{{ueKh#?+4N=TYB`_1-P4bw=%7I>(PH@zP{;~L?X3#Xz;N))3|t0
zhV@bF4JFsFs*8t)^!@JfW>>grC0H^ulwcf5MSD{Oq)ALvoJe^W%*(~#bM(_#YUEtP
z%I2CWS3)-~t7$Rq^L#8CeMjJT(%v6%3+3E%BX2~*kIb<*;t}C1&2{8@yz4K;1N<%?
z46#by=(i7@{Jdnic+VHw`PKhSQIXNkZ}Kfg5K;L%V_@6L2&b><$SZU3#&jddO`^;4
zL&dBCXQBkY(&c1)uuOW<D4gxg#ZP)SYgM65m_$qRoszkig(;o`m6>s@+b`eK{bB{O
zK^cmV|HDk_U=pAW3#&rWfOAob0;s8E*pgvZr87KV541p)azyu3n>sQH;iC3u!qCMg
z=>UG{8sEGqztFfFim?VbN+9GOJ%s`i&@rOg+Dpx*3;E)sA~FH?D_n-#*8xUCE!_kf
zPD%KOJqUTly5W|as*N9*0~nD=-^#yOxfhya^gBwha4YC3jh4bZyEf!y04$?{+v<@D
zsGNyML!ZHD1P7`^MqfDQ<%|xb$N_yMN7=7Dc~Z)WvS$OShnGOEOxG)m!^ae*oKp#c
z=$zBX9PP4~ORr&cAxp~)mX6k}QRYhoI~aIM!*bZ|N_n1>e-c*f#y{YBohK3Tsx+i7
z({_`hLw6F!u#E`NeLeeS0C3->WR$_l6_;Z6D%D#&930HHfki#UAp={_2{NvtUSH%a
zA#VKrbt2<Sz(!F$v{_@CWJO6w`8UyPv0PM3AXz;U1nsi~UF!|aN<4Ilqr2X3r+;`d
zM?@Ou>>>z@u1g6r)03XNP{Z&{NNb)Hx$PlNmD<R#aK<G*QrAoVt&?VEYo(y?6D~c`
z$#s&|xSeQ1R+3iie3>KPsl&9ae>zldkfeNUK5qvM!?e82-(NXbN_9#)4Yb-i9Qu-_
zcm5vP_VZ_y`iL-UiCgwhu3pr!@51GeQ@X@DkGb6~oz<Q&-o$ic>ObWRBD8cMSu$yv
z-8{@=@4<{up)GjY0k{W}60>Z|YPd`#?R3UEEa)b<YZ7UjN0jLqnd#?33E;`Dgqe6~
z{JkeFeWSjJyVM_v!}X0;>D3j@RB>7Zu~_wHJ)=6=Pb27{2s_3V25bBm0>wiAay2${
z9Q<9B^KYhC_}tT{$!u$;o&*pt0zjSC{EXyLsbHTtC=^oM0qi}>B_38xp+K*<d9B60
z$-1i%z8)vc2<9s!tR<>p?OY5Vis^O@9n&3gk?@zajP=gw_kNkB`Bt<Nkmq?zlzRV}
zniak4K+vj7k<ze18g!k^nvD^L_b?1T_-J0G&h#S(89QXfy=<T6;462aD*bqUJdlKe
zk9EvbNUZrcNH{{z;EIoVT<$Af!{#fIB74esurMxa_v!%0FUvL{Y8kLQG-K${Hta1A
zdXu^YdI>GKp*pf@d=CK&R0dS=!O?r-E)}^j`le8FybQfCC*KVbzCbNP)7H?@hebKq
z8ukk2M>Zw2V-Gf3)IDEUgvb<2V{1pa+1L|GsF(-i18`4X_r&{KpT)idMU|U&ibr=o
z-4_HioKc%X?c<SOPPSINHOgxNIM((78H$`ah?cQ@HqxG>TfUw0H58fgeW2PW;}0%N
zTu=b^Cb`Mh6c^kwK?WzH;H3`{bxGGC`~2Og;GTiGYm{Z<!RZlnSy{lH1^z+`ZG>*^
zl7}(I3_xpE{zSgU_O{S-dt!}(zRJNtgzDCNDK3|VTnW?Mdl`k=)Y;T+JIA`Rtf;E5
zN_AFN*R_Q?P`>7Fs_t&&qgq4byVMy)t0SN5u5Klp&TlgR!E)WM_*i(DE?{KGQgx8@
z1bQNRRaUVywp2CKLBo~s@oexdT$!+1VS8fQ19VK8yYm);cWG4{k%hWOV`fxLXFxGT
z1AlxNHVW|FWfsXE164`rBzGlrI(^XlzkCvkhPt`xLsbE(k$~%U>Rc23DHpFJ&@-_g
zy;d8s;`s%#NGtFJlu>pPi4qPA((g3*z*d4pS1CyZ0(E%RPrK#|i+0=KrucYi?~7b=
z0QlEoZs*{aVy!P!Ed+DJ&7YKpuib1EQp8G0>L#l1P?@#pvl}(tOK8P7wM0lG$u}kg
zwm#>NLSX2boka>9i>2>kY$zixtOoJXbY|%=(*88WkJ!y7zQun?XI;4)7C5(cC%Pm!
z>(LT$NH<K<A?0eRMMR3oT6tHD_U!R?0v_*yK)08jUT<~5FmdSm1e&zfUJSO*R9QQ>
z(s85Wj2-2|!oHS=1Fm!Ryvhj!z2)I=ARx-Z$8yg;5K@>X6Zjb3D<={)6?{-~A~bK?
z=&)87X7E9NGp#e>D+_D@!f`|bl1uP%st{hK|Ih&>idZT&puT#yPt+bA)c&;k0=P{{
zoSo9U>a@X>N>M@LPHZ?Q)G1tvKHm%4`cs!sDuqrEn~OkJ>bLXX>LQXf%3N3^YF1L7
zuZ|T|CEA(Nysa@(i1F(Sr_FhH$>?i6w;%3gm(emDm@O`MU*gCdv6)R=S`In#N6&Do
z(O!7aX3M#EU3=u9dq$NmN)cf#0Zeh-Z3zeV22u@mvnPx0x`rX0Lg$G0L5f5{ZwUd8
zG!9{*3EwPf+jL8zmmrm!V7@u?MO?4mIa^Ab(dq`aPc@E#^YJ&sNd^8F$PKhJNRjPb
zatfa1b`P>ng@NaL+!b4eV#FkiV7TqsNHtz@2hoHPFr+m(qde&33$j^_fJ*SV1O5Sz
zNbfM^<6eQo+B8f;K3V~O!;%2ExyUBxJ$&mV_|@F2V=t_IAxT4lklvf6F&8lSr9}$c
z)HXb~E$GD`*%ILpN)!}Fy#|WxE6-&^v_RK)eMQ+`h}M<M;Nw-5&G*jg@>ELK{2}V+
zz|<aM?G}%o{G_|6U=G47fcS9bQxvGM+Ra%){b-O+Wn<E~NYO1C^s|xQ#^3TXRs~Pj
zlf|)5sgavHgR-+rInidgkY)MFSSRWNjhpNmKBwIbWTCCAdt=5!S#A8tZ%?QDb38Jo
zh9!1REk|Rj(VdVm0j+lfI!PKX5yse269s$a;~^EDr*9HRrXHeWKqD$1ctNQ!B!dJk
z@Mef(=Xlc^PlO{ysdQovTC3MI5#poB8JXl%q?Hl8i0`#3b?hIr8d6TwwN{u1i7#j0
z5TZxcg_gfYYgB~lf1d`5zD;_U4?JPv0!;ic^Loy!u4U=h$%=x|ZJ;*BNdYSHbC2t;
zEn7Z+^gPpQ-3zPA0N7pAgVySn)~s{df)D7UfZ>-lgbp{s8^p_)HPcE-flv{|VH;(Z
z-S!(>_%7-G2@Ez?BaLmqfIbkO{O>uAu7e1W*4ukdpeeb5t|sI;i=!;CCUa*sCe~6K
zL+6n{<jeDA<VKwMGg?iR&x0qAzy9nhkhOK%zhJrMZz3UE0?6s|*G+&Err&6D^O~ZF
zoJUU!V^UeU-#h(8QdOKAe-VsC(BCk%U}5p6X+m@zB@@B+7D2ZXPM`nkAw)=8iAah{
zB9nE*vf_Eiak|BL^rs2`d<EXX$eQVAjx%-(J0Oe9zt+00rBj9-(7R<<A?u%EUrs@w
zc^pSV)3$m51JD_SDI887KeT|iykp42De(=~&LPy-WELPFP*%$=q5KKCJF~woa}ZE>
zm|e-Elr|3qm=#E%TiHjy<x83Bj0uMFkh35QP!-k+FR#6R?pLRAft77Bcaxy+*D@IU
zZQR7Wn3MrrGLGKB2PuwMN1AyPU@duAp~ansp_!u#0k?A-HzXDqOJdY9_Xlz7qSA9k
z3G9t<Za>?;_mjKh6Yepz1<p1*?EFM9_{49d*SRY#X&N!Wg6J>pP0?<P9|oOcB87T?
z30DI%I~E5X)wKN;ThtXm)y!`KV@alb&#j_e@~wC~Bt)gRZZsDqY^tyJ3I;IIgC^DV
zZ<JO90pYi?K2ApZL^`%24gpE(%3W)NjfmJn!e6?50VV?#!A`^uB!72WX~u@%QZoA2
zJA5OuJ#MY}(9c^}Im#E2$wSU~W<+#but{!!S?FD}RZ{%b$=>iel_!+B1kO<{Iw2Mw
zUkaKHEh`1~{t4?&sRVeVw+gg)F`g~!;#4I*fa6@4xI+ExwktwV-0;p{r>WWGm`tRq
z+&Nl*N)49-g$Jbc_~!RQadL$Fq<}UBjF7iVFebetimL}%iAoVl4E#VjJJ=!;;N^Uv
z6g+xSKS;9x1e3<`9Hd+<q^hPUjmb~p9LP4Hm-XtbI3CyFGuIL5lSr;v`48#`zf}o&
zK)fXpcY+68URQf2f*0%lr>M<Yx?9Wx^@TmjMQLCeRVxiHPxc}VRuHLn1t#Y}8ot4U
zxRi>Vh7U2i#sRx-WL42Uq)I0ffeUMTQeY0AG`>PllBR52Irdp1y*K;{{CHgP0Yw7P
zdue|EQR|{3+60n=+JO^$JW<ufS@LBzAW?H;*}%}~opk6pI>Zco>yi#KpU$14ax662
z0uN>?zQBitl6HH%r@GJ<uNL}A{Ovfo3iBpMgwvW<4XTuB=cSak9Vt3d1uzkW-@#a}
zR<VQJOWleYM{JN#oxOyKRE#dm8?EzGRMb|-J8G2+c)x^NV_gRq*8gUb5kgJ@3?ic6
zX$?$_#*c(_+F;Z%@e6I|d;*18%vao89X5!)LG==`Wr(^^TrvXfC&TKwA`F^_j|yug
z7RED3+5XFs(DtS+@=KRnDe{{~FaVdQRMEN=Ss$-{UXU?rPFWhzAIv}NA9z<n{Qlnc
zsIdvL#p9l>u7ODkr%uW+xQ4d}psgNQ;P!+@D@&edi4CQvJ_gu`D=O7$-4oZ_+dX?p
zQF<9R?OM%q4NV+hYqlSwqS6-Pz1YMdJjP|<!^-GEN$YmaTZa|CQpI>902m`Ojt9FA
z$^YGGac8u`@=lCp2Hb1kbNtOWPII|{(c{CDN{L{{<?l9^161Vnd1-h6J2N+4N82$3
zwe?<7fgG#;)3J0K;hlj@r0~2<q|Sn!?MRp^c)RUflnRBs{I8chIJOIku$4_*sLjJD
zD#)2OwI`mVHKq#HSuERbdaOt)$U#t0dtvh)ol)*>o!D)L$ncN)GYW>Nw~0mti9BDJ
zdOg>F8KYSP+9e^R<2Q={E>HuKvpmGV6f)cC5JStXh@dmd<01J11?zSz9cN}|HdWo~
z8dh)P_NCETTH+U;L8WS4Gonk<d5^eT>l*8#%!qtAq!2xk$GLte>;8Yr)QXsC<O+e?
zCEUA?kNBH|s$RjPmduAdSCjAq!(Y@`;!B=ESm3#;4cz!=K}t302T+?BFCVYRF4Dk^
zfA*p`yI-`Yv9`-!`0eRyh}>IMALCbDO`8T%Cx0N;Fw_2v|3&+k^7${M0<Gok08)(s
zn4P)hU)970%+A^ZAqCZq2h9FIih<U$X$qA_pK^B$j?xmE1Vumy%)!`F)&!M+hrq=8
z|Eml_R@VQbs{acOz0%Qg+7L(fU8(6UQ2R~J_@YmfMEw?fwW^Lgai`^*ODee^OpF%q
znECns)$Sz-3_2F89M3l~w5MNO5>tb-z=vr5C%tmi`HZ;;uG^>BySHV!QTdgg1q529
zbdoB@E{jXyk?A35sA)>r`Sn>#YmiSRu+kZOg`B2uqLf$#Fs=d-=>p0Tg>*o|4V@p_
z6I|JknkzH{E~zp*SoSwsY@~t@jc5Ubv{ZCt-ceR8e-8g#lXj)htuc*S>K7b#K0@p4
zV8Y@GY4jr-HA^xodunrG-LELJBoCrjKjK(cZy`7lJx!ZgIC#UpO-r##UT*XUa^vMe
zU|tfJ-toj!Kw`3}$?|VxFx;jgY8}o9G;kU}QqJEI@D9U`6l25hw3rfEu|xTcUW$wn
z_>5R3^_Wc7xPR$!G51x@1=|O}wuLCw%Z1~L@D(wvGdWJhB#drbm2W%zdXnnJ+RS*>
zO9eH-D`&xWm*Q|s`ospj2O(E41o?2r@SS-x<);_@0KIdEW{``ER7R7ldx*6VW#f#>
zVxlp|qNN}Of0;W&YiHpz&6#UuX2T9WoUQ#3A9gL&eg#8<Jpxq`N6-T6E2va5Z7Ra?
z$#h8?MeF362bJg&(i6odHL~|xqV$d>AI1nen@BY%LMcf)00m~=xy}ITAK~W7V73C4
zV8!pb18fRo)lmg|!PBYEg@WBSNo+vgP>@1rL%LDPs8Rn;h>k*HGx|JC>3$!tTu@Kw
zJu#GbeeSulR){xHiE-I3t$4j%SaNr#WvZ)mD|nomxUioJU;?K2(J+BxyF!7MgkE-Y
zX1sPe&ti(#IChNR9FlvcyT4o!E-7{=Fp&^o0dc1iYZOyn{TH-=pFI-yM@qy!9mAw3
z+u(tjmfR`*5qn;)?&}<NE$#bqfef_-rQ)OeyOp(s11*61-g1Fo*C%3e!*q!A1zEkw
z=BRd2HykeGS-+y7l%5l)a*nLe&)1kh`NH4@w2CYLlO;1hU$yBP#p%N-<HU}tp4r+a
zpg$>^QEbjd^iu^_>3TQxUhfQYo&RKYLH#}DwU6$@4|#^*2143t<K5u*y1*EMeDg{V
zkato0Zi*Xt&hr`gtK#M5abvpiOZCk3j_S<~2A>JTOWsJ~`OGlph`tXOW(+=(_6z>k
zACf=BZyu=VqqrYz9S0NNYx>S{QUX@6fVwEpnzO`Dr6&`6?JnPYplCe3CkT>Vk+(t(
z;;GXaQQquKIgdv38Qkqic_{*PCB0hMhG;E0u}|)bM{P7{?6aXq2i8Ky!czkJXlAg3
zIS<Bethnk^e*CQH8S1@3`C`cmaWhP=8-$XiM&1Qz`0%J10A*rV{h}>e{6kn3!0)nh
z6?`Pf+iz~H1l+;T>eDS`{;@Px=?^6a%7*aTpE|HaxHsS;a@v4{ZQvPJ#Te*9o(J9i
zcz3H7#E$Vl|6gI}9TRo8^l=gC9Rw*VpcH{!>awuXML<~T!qR(LmR<y;{Xm+4QWjZ|
z-h1x?f;1KB9bxIc_bTP($-TKZdGjXkUo&%Zl9Q91WRf{E-;a|B>IF?a)}3>FFr+Me
zJGQ;VCTn0aQ{n9uv^w9J=o65Ze7HrdkRq1zaJu(&@^X+XbZ$g!>979qbtD`yPzb1<
zfXKyflqH4b#`E@7_iergra8bHXYy{i{PZBY7-QpPV^v-i<S@LDcc|am>{xO5Fz%J2
zh8|OQYX5tL#QTq_-_BB(Q+u#E?7Tgi1*wXHpv<=1F|n7gR-8GGYPaIPj7Pe0f$|L@
zBhP0wg$<AB2WL*xlX$$3MmjTZJFz<iBQOdH9LP`3QP2@zO-go&%KZS(0JupP`$Kld
zpq{uGyPsbm>n&^S@Zu<)Rbn!(G0}xTYm2YOi=1Pf$-W-hfuu#49@@pkP)^9}PNm0>
z(N~W9&kW#Zofpf6_}9*;|2Zod<C<^Sd%CjL70DM98o*JhL}zC&Y^wgA7Y)!IT@qY&
z5${u2%@-wfq7kM>_1#MA1cuS_?tMx5Ypv80`vrXTO3$cqi}c#u8ZKsC&_`X50=5RR
zO0%?bd3DMp(IiHdQ<dNZmnyGnOdY)qC0{9*+Zz-Djq=j|`FTOt!F*{dUSEl+Z;*qf
zM6JBwA!~vCGp?b#W_O)~dx5*2X1J~ia{C`7HMt{0hYp~o0-N>6Z3Hr8Kx<3D;|#i&
z+3RnplxDn@G}yScM>Rg2wJBc4zMrUgMMNAd7|uUg*Mv2m?CUj{f=XA-*&wQguR~<e
zm_VY8IR9|Gx?<)-@H<NcdS$euWY9J!&r&6FTX~4d_i1gcq<A6OCeU_Svex-D!=Tte
z4Q^YUi8=8Ynx*_bByWPqt?l|FY*v2#L79ks>?^~=msApe^g}xH_aKF@6Xe@rRx>1#
zO&p?-3inThE3n)#SH&s6M9~Pkw$aMSq0$eOGM`IaoA|_x`+S+ggZsh)P5Pgi|5d&p
zK&8@@?a1YRleHLntpN;a*4*3iejG1ZcYFe`(5BB^fqJ4@O7Lsn+>`%NZem>Q@GbXK
zJNE!=lFR2A40p)t>3u4sHya4kx)>%lq|z%P{c~W0V2kBDMyOn7gRnpu(xzb5`X}ew
z%COERSQVw)Zb8zNqp?|$f$4IY+@&PK(~6X2@e-eI#H@b#9SclP3ZS)zKP-AaL$Vd3
zha2X7<4#^9H1y({`NSRn7%=EXD%c{E*?;~*$I>;05lkAcyQz<jLH?3;cOalc&27y|
zr;sNzBOmsVJalT*K@e&XExwIqppjk{Nu>O5rXR2Hda6Q-IBVrEuo@sQ?%?cCsV-sF
zlNEsah^VaAA<&?`gZjFd!Yzuyo&0s&IPm!hOT{pr00H%Uniub4yH{j?{B$<cpaSO!
zH+jzO<wC7LRXv18itH)>b{Hm3>-Zx4I`@9K2#)aVRwDR)w5#Zs9WwjK$8rT_HU{dO
zoSS5$R^+z#ulC~{)YXE1+31NXrir{jxX}J$WrobI^#HW&q^%PgxWOg!tLtVxnd1=n
z<q~L{vdi^T^E`@Grfu<)&i9n8p|?woFP<fi3=I`9IV02zm}d0Rq%h`kfloq=a%O5i
z;S1klroK-qO>swxq@Lu9##8GP@3}okCaXMoR28GEGy|M>bYYi$5|E!AkM3#*ZQWRp
z-DEDRO#@FR7oXriMFe1fpm`oR2qQT4tPBUw@0E6ByEvs<z?Uh9Su>@p)$bR+hjTE{
z<;p9;dC!%&_#UQcL*%R>)#mUTvvW#Ta10^M7aER&Lfwqn235W3xflp$@(oJ1KrzW)
zhCU)VwJ6=~GDi2YNN&O*QL0Py;w|O5oqRaE7HCzz06R2kU;JWm_G2xH2X`Ojw$hJX
z)jF$aq8H6TFhyc$ocsBb_G5ckQg3w3vs84PE9$nPsxR?-Io_<EAe`OX*Yg7FnXIU~
z_E>9pxNFV}n)-{TG3%PvO41KFI~)DkBH?p>@MS20{)8|03vD>T<(tE1^*_E~^#!iC
zfX_@fMQ+~FCAHkC(RDd+Rn2H%(3ej<-K|L4JB@&x+l?`kt5C>4XeWM3FPf@_aI8?>
zTHYPz9>F(p`I9zK)$Dz~ezsAVW_&x)S)?dgoI8BkkVyK&`rK_IZHQS*v8Ek|o{=dj
zN)_lI`AI+^)$HA$`(qS?N&;yWo&|ycGUuusu(v@)goI<%jE{%(Nt4kgtd>Am>PKUO
zrrmsP;H9%)f>gKh65rwOA>!Qm+WcDbX5#i!%4{YO(Qn*zcIPlMN~>a0GVMtf$T_XS
z<(seD*I-|;weD2yuFN$*(4j5amDV=2J2CdO_L!{rD&h1n_VT{Nqeum=kNpP#w^V;W
z!MU8@7vpO$U)@g!GS`}tJ!J>#l6_@|wiod4<<HX;9bZ&#`rp8A&T|uo(wGJr`U|UK
zSvAKVyb$lobFp2jy5zV)-=KkBz<$xegScpsnfdWID(rYi+&EY1-A=70v7KwWdd<&Q
z(Jd-#Exog>Gm>n4$*(W+q_l(pd7fju;!<xNl+mX?!q$z|r0Zz$A1Y$ZJ^_E7B$~fe
zOPoc0rBDb|$5V(LbZ}oe-m{wAN45u!K5$AUZ|?JjH738&lKgAgw1>LZzt$IKs7u-O
zaNdbxPHpzPd6UefEjHfira4G+_$Ya^*142xvd_NpWErhFYronvW(Yk4z9rdyqtG^+
z!S~J!at(TP(M3Uek{GmTn4%}a%(&yj*;ziXQrOCoZUgL;eS5?>Z~XJxWZZw2qY&8s
zQ8mj&;CH!q-8o1ldpUR20HIpJBV7*D!7^A{CJJmXG>~oDJZ05*-I9{`LEEJs@5dpf
zQM$Nor~QNR6!h-k;9(X5D5D>@-ZTNrlGze^D7Kt(^=9vZ$3pmm?U?D6r?j^}PtG)X
zUR`z_T8t)QwdK3)3#Grhgf5Mhqs(<HCUDYfh{HX29QzONb4E~`nMZ>h9hq<~@?IXC
zGzKz17W~XS))~rM^*3h~#kh*^H^s#org!8%S`8kfOTX%}xa@8Mo-OdKryg-8Lkr*C
zRZK9MBc?w8$QpKo;&0FmFH3=55`^;kd7iB~@<mY?mEz#F%9Z_ic40#xp>8W5?_jn-
zn8_Gx)+<?!L!SLhlB%j;cwV==u-qyNZ#F5G!FY&;UUE&9$M0K~tD0Saw3Jdzohdm%
z?E1%%Ur2qQLDdJ30r(7ApH;l(wes)2q4+)rcw5Q_As<uQx*4zd4zJI8dJPB*BFQr!
zGVs)e1pS>3=3@@T<TP5YXD=Ew453(OHuNW&-57P~n4d3b!JBM8v;-e_A8%Bixe#n_
z?<~Y~*R!u1ZL?g_$;^TsFtq$FS<+8W?COKhyS2VoUaIWfB2Aj3%M4_jCk_2LjrqEF
zU#4;CA0&xfgRw2iOPEfN%rc}BpHKV6LYcHwP>4@M0u%E!@t*#IeyjCweLEj`mz$!`
z8rCO+!8_yYenP36SF5X%qvwp;j$u;_!;tD|D#e<m9s4fV@1oQ%=?PuX#4fV9u9KT{
zD0Uh0MR6X8!+R$yREdazE_Kf)HgYd*!#}Sclq~tG#2MjfL3_K+zfN^Ig~h81W~$7Z
zB~o7rfg7+&A-vQS>}8CbM+f;T?rTRpykHr3F$U;<G-vq{p;5DM!^yfHcb>gv0_J11
zXUFsWds!ECVaKYAL#kEKF8)o65yy$~GRwSiKM~*n#ciig9APB+^^M<;A5xaI9&E@Z
z)=LhmWj!K+0-jwN#|6`Ath}?K{e=%z++0HQDbmO5#&ayK=Y-1d^}F5t8%w9wmL?5)
z(v(&+sfcOyf!`De{Vc|;3L(_V`mS82>b04Za00ksh-2s3bV5x>VNv~5p3fx1$={>K
z<vze^BF~t?BjjnwvW=5%JvPty9-r;(Sb=g&>zzAnj@=^hYwusW6%Q>%O{l-JJur+X
z%E00o%Zg3owdANL`NW<?CcL%0V_o87O)qLYJ<2S)S&DE|Y=6X2UO3aBjoLk#8eysy
z@z<S-G|58N^U!}sjuSbXBkNtI=->bGC?Ep(|6C(BRiD?ai!exwhL%#c!Q8Z-Bsb2R
z6RtX(Ndr?EH9<P-(EQ!g_%)Gy$5F`}zWd!T&QjOr9J>w+&5MIGk8b2Z6u8J?GVYI)
zWP`GdHTfb)3b>(lD9%AMF1yodiub+zpV>1>vGd(|6VGU{oU|6oD)^ifG5A(h8~ebP
z$p^ImcMbP%J3*I|Igi9vK1YTAj31rLgR_E>Qp)eFWDb`qFShGsGUx2&_|(N8rKK4k
zD-dK=E&j0(Z!YC11a;v#gzeFL8Nc6ZC)0`hdkMJlcM2aMqD1OfgqIWR?GEv$SG%9%
zci*!tz(^~pS-SeW#@a_xvT^z5QS|}5&9JsGIX<4}@vuC-EIQ6~j9Q;WDXh&#K}3EH
zs@`k+n=zvxpN+ImucW*sU9SYghQScJ`_b?zaw?Cqb5<ioAKfbATfZL-j~RiDGIolZ
zSC`LO4Bp34wx=Qavz26Pk>*%351uL3=Go!P*C_$+c9vEB{123s^uJVA7_9Dck%$S0
zP*7Arn4kYvT7!9+i0Qx4i)A7tEuXTfxtgPkn=6YTzknz&L<9;EG>$J=CgQj&3X30H
zCVKdQ|CYpR<KpVZA|m>qdXKQE;6LbZF2Hvf{tx^6&YZVjaAdD()vFDndpIG-wY=aH
zQCgU12^IY>k_a)A8^7%QYL%7kmx-8T^=f4<2HR))xT&J=SvN&9oq3(v7VVeTUY7@C
zi46X3Ffl`KBGIQ0V-*E@=puBhP#)7=;xiAYluuKU4g)0nog?9kO6ks>@MSY)U{0w?
zhbG6Rg2S2pT|u#RuVKq(D9Q2LQLkD96$s|sS#o<S1RH<2Xv=du>Uh^Rl{}K?S)6Do
zzq0hO{qp%#;d<>u4;jx2R@G4CN0-*AL1BvSsHr9O;QdxlHC9z9+vK}mHz}-hTbH$Q
zKYI4@)ri!gZ}@Zh@Qfci=7j>b!0QvQ)v5O3#xmKzu5-PJ?J~b%@+;GR$A!dKYIWZk
z3*-^z_N>9SX4T;2DF1!O^pj*%|DQ3Pd2tEa*Ef&hr4lQX<|j8|*T)=n(_!P$e$lH7
zb+bSFAk0%4(~qH5D*<Wq!WDN`MYwK|Uq3gdQS=)gUX4t*kWTr{rYP-~0#}3fsu6Nk
zUVl;^gE=Wg_>FlpEPgRyK8j|cVSNT&;?~U;0aa?1zjQ&m3!pfVE9R{=k3J%Yf5Tro
zoth926=0IiNJy{|;GcfWS3$i`Pv<5i*~qNV=M9fI_F4A-xBGvXF!%<#KKm7K82oLe
zW%WP)t^2>sbLW%>6@$D|n(>0oj<?4tnE1j{8joIPT~}c1ggJG|L%^gzZH5`y<7pWe
zfJ<|ipFiGogNPO27ceB|)3oujWP$MCD!(9D^aWUiSpHemaCCHI5rX}j39RT~<#-#x
z{zV8@e959OE+8*2AO{l?7Lpa>7ZQZZ@XJEwg<%j8IoOLAf--UtNtXYA3;FFq|DyJ?
z2=EKuKJ<U;n(U)+J6f%WKljgPzsv~9>g%Of=iEnf;qm6|4sq^=;)VOGrRJ!i7JhdG
z1xF>&zix8CB0s+DHI~g3K+m;xyo}|=G6>)+`=saFn0<_jV`4`mH++C;p985?V5J8O
zYf;I1rbI^^6Q^e?Q7xzbrXre#4&-yJWb~4&owV@qR;u69qO<Yl<r{hL*37oz5Zd#4
zc`Y2XR})8fwt}ymI*0*P8$&9M{2-HHZ>Eu7CPWdZt@pM9I2eW1EQ9|Z>KTy1P4Pzb
z=35j-bnv?~a5g}ZM%w1=BUQ7wZ;CPo7qZo-wbGeN0<9t<3K(ro!0{5VYPuGFy9?J!
zM|7^!0%RhxM0(&-FBR9#3^J&6V`s@XlwA<-T6z7Icdvc0ii2BpAw>gt#z3Qvz{`~I
z0=#o3{|RRTKad~4ozBCfNbGJ_IZ3TP_B4S}%!JcJOsR&#U0>Yu#k55E_`)EJEUMKn
zLZK9u{~)8A+}~(bbgh*_ms+CWZK!D*`gbP+@aaI$dl&Y#I>SQ}g~f5L=UGK@I8CWl
zT5aG)DT52$PBUoRh?Yg_p6{R8%Y1XclJMJimKl%inME><7Sry6t}{cwM1Xv-?E_&Y
zG_Uz|_Twdc+0|N^o?CU!CP5SkQ=HzFFO-ob7U5~E7SP@d{B_OTg8P5;rhTKo253$L
zId*yqS`<7W(isg|*QF7rfDc}Q!7+Mo!}3L(x4B8g9FUQ2UL+8G`o@B<HPYcJBkziW
z^Nt>DbPR@N(P%r??Hw7TC>3Tq`hJ4Ni)7swwo}w9_dZ^`eZ#G-+~KF>+Qo0%Fr+i`
zGTJ08I;~uyq@{Xmws}QY`e>AzdXsGoP%Ng<_q>7&zbcN^89$i<H|>`)vW<D%H9elD
zD+RLgP2c+3e29vDIqNuIGPOai&Y3BRLjZ1aH71i_q<XustpLIzH3L1x_T68so%6ga
zlO?lPeV)>BksW+mG;*t$z?eH%985u8Br|X&9#zZa1`azWp_9bsvkyDPl=>wB?_uVq
zrEtTcohmo;Uo?M-h^o*st(E!+VbW-wv!mLOaC<6l)|$O@8k9x4<CbV~5I2eOWx<Z1
z4mr;p+fv2ViG|;+m@<FaTVf}&kv3F*-QM)n22}cKwe;g2W`YqN+>6hpfn)>ZOfu(F
zr0f%SAEkd^Z=b-M9>D!Zw<1;pxTXaIQ*Vy-C->?Lao|7cn2||2QGErB)kpGb!WQe(
z=7k~PZo0;&nC*s4)JWyJq?S46+g?@SHfFk5vj&%A{(f?ZkP}^BK%WmW?{~;rG+!&J
z0sbR<zZLCB&|k$mkZbkwU8fbx>m&?pK#)LhCA*u;0&~TmY7D*6Kav9XO>bBHC(HgP
d$-26ky103|SXvQ7AtC}0A!2rRIaPV${{eN-0r~&{

diff --git a/Lectures/L14_MIS/MIS.tex b/Lectures/L14_MIS/MIS.tex
index 4b461bc..300e8d7 100755
--- a/Lectures/L14_MIS/MIS.tex
+++ b/Lectures/L14_MIS/MIS.tex
@@ -146,14 +146,36 @@ Room for more volunteers.  :-)
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+% \begin{frame}
+% \frametitle{Finish Previous Day's Discussion}
+% \begin{itemize}
+% \item Static Definition of Uses Relation
+% \item Module Guide
+% \item MG Template
+% \item MG Verification
+% \item OO versus modular
+% \end{itemize}
+% \end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \begin{frame}
-\frametitle{Finish Previous Day's Discussion}
+\frametitle{MG + MIS Syntax Presentations}
+\begin{itemize}
+\item MG
+\begin{itemize}
+\item Decomposition by secrets
+\item Interesting module secrets
+\item Uses relationship
+\end{itemize}
+\item MIS Syntax
 \begin{itemize}
-\item Static Definition of Uses Relation
-\item Module Guide
-\item MG Template
-\item MG Verification
-\item OO versus modular
+\item Access routine syntax (types of inputs and outputs)
+\item State variables
+\item Environment variables
+\end{itemize}
+\item Likely better to discuss MG secret together with MIS syntax
+\item Not necessary to cover all details
 \end{itemize}
 \end{frame}
 
@@ -772,6 +794,64 @@ seq\_init():
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{Examples of Modules \cite{GhezziEtAl2003}}
+
+\begin{itemize}
+
+\item \structure{Record}
+\begin{itemize}
+\item Consists of only data
+\item Has state but no behaviour
+\end{itemize}
+\item \structure{Collection of related procedures (library)}
+\begin{itemize}
+\item Has behaviour but no state
+\item Procedural abstractions
+% like many routines in a scientific computing library
+\end{itemize}
+\item \structure{Abstract object}
+\begin{itemize}
+\item Consists of data (\structure{fields}) and procedures (\structure{methods})
+\item Consists of a collection of \structure{constructors},
+  \structure{selectors}, and \structure{mutators}
+\item Has state and behaviour
+\end{itemize}
+\end{itemize}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{frame}
+\frametitle{Examples of Modules Continued}
+
+\begin{itemize}
+
+\item \structure{Abstract data type (ADT)}
+\begin{itemize}
+\item Consists of a collection of abstract objects and a collection of
+  procedures that can be applied to them
+\item Defines the set of possible values for the type and the associated
+  procedures that manipulate instances of the type
+\item Encapsulates the details of the implementation of the type
+\end{itemize}
+\item \structure{Generic Modules}
+\begin{itemize}
+\item A single abstract description for a family of abstract objects or ADTs
+\item Parameterized by type
+\item Eliminates the need for writing similar specifications for modules that
+  only differ in their type information
+\item A generic module facilitates specification of a stack of integers, stack
+  of strings, stack of stacks etc.
+\end{itemize}
+
+\end{itemize}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \begin{frame}[allowframebreaks]
 \frametitle{References}
 
-- 
GitLab