From 8d2ea38c54ebb0394dcf169f17c2863c0b2b9488 Mon Sep 17 00:00:00 2001
From: Andrei Solodovnikov <voultboy@yandex.ru>
Date: Mon, 18 Mar 2024 12:35:16 +0300
Subject: [PATCH 1/4] =?UTF-8?q?=D0=9B=D0=A01.=20=D0=97=D0=B0=D0=BC=D0=B5?=
 =?UTF-8?q?=D0=BD=D0=B0=20generate=20=D0=BD=D0=B0=20=D0=BC=D0=B0=D1=81?=
 =?UTF-8?q?=D1=81=D0=B8=D0=B2=20=D0=BC=D0=BE=D0=B4=D1=83=D0=BB=D0=B5=D0=B9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Массив модулей позволяет описать 32-битный сумматор более лаконично и
что главнее — без использования цикла, который может навести на
крамольные мысли о программировании.
---
 .pic/Labs/lab_01_adder/fig_07.png | Bin 53431 -> 0 bytes
 Labs/01. Adder/README.md          |  80 +++++++++++++++++++++---------
 2 files changed, 56 insertions(+), 24 deletions(-)
 delete mode 100644 .pic/Labs/lab_01_adder/fig_07.png

diff --git a/.pic/Labs/lab_01_adder/fig_07.png b/.pic/Labs/lab_01_adder/fig_07.png
deleted file mode 100644
index a93280185b8271849bd04c86a3e6e54452741726..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 53431
zcmeFZ2T+q++bGK3V!;9mB8ng=CDJ<t5D@9TgCa$GkrH|b4Wfcd6%pyZ2@z=mLJU$w
z=>+K{bO=o#p#%bVA-KQ&pE>8hXU@!>xp(F|<Cwfz@3Wru^tKGw)>Jxon*KBy8QD1%
zWqDmPvf~S6WXCK{{SBUM?fOiDe<)ze_dLkR&d?nE{fq2f@?|ozlfn-AcRlZFs7qM6
zI`djsyIR`t`Z~kFYBI80GQKbitA{q8%$7EG4lYtRR%($qm>sO8ZWxJZ@N2;2Z0sGB
z{oQT!{5AEh{2yA0Ti=k8X1?Vs0RTALcv>*~Iy<>|Ncc+K_zhPAd_H*0cZ2!&63>TH
zH)IbsWWKAR%`E5YZo@3bE68KT&(F^+CeAA&Dr#eCCBn@t$S)|!$1lRiFV4d+CLt&&
zAt=s#^ydcH&fVHpLRVh#XfyCl>W00iCrpBm&&S7y*GGug)!mLyKwMm$k6(~aP>=_#
z;PLQt@wD*eaq(dJ13})#!^+(O=IP+-!h8VH!qU~tQ|bml_3#YNuz$e1cpT9QP>j#l
z0>&r6%YSgDKMOT9{`;lQ&i}0T@Ko>yyBy*BKLzZe?+3Ht)3xz%^>VkeQSi2L@nre4
z8O+|*)78V?^?!leKR^E$46UvH*%0RC?(~~H)>eErPBzW}wg*@%@Ebpvgq*vLg{P~#
zzN@R#A5Lli*^yaLm{*ATrjdh-wX2T@#{ou1FWAUic-lza09+H|;TPo*5YZP9kq{IB
zjN{@LlHlh*T&e*C!P>&p;-AIBJp6)yzxw>*5+dRf0?_}m*wxy>*6)93sfLDxii?M*
zg^QJqioDbffE2HTgSCV;zm0{Jn1uk3xDDXGxR@}M$3o1?hR0T%-&VxZ5^5vNZ}A&1
z@V>mOmDd3!4&FbMTWeP<0OKEON(hOFh}a4UiSa-Mg~fR+tc7iPpq94alckN7kdT0w
zg^jq-A81<c4nTD*oc;~<04r+%QApg@LY&{)l80YFNR&rRR9J`yYGnoRvk``h2-;Xf
zErkVcF#l&?IaeoFcMVr-KwSXe+DgLK)!o?w$d7}wg`Eu_%*F0NngMih3S|cmz&gJp
z{m`><JNo40!2Db2BrL2BWL@fp)d7=jtZy7WcKDxA?|%=^L$E&fHUQ{<!~DZ#9<H{Y
zJ{ImavUY&d|F^=$_rF5k!@~Q&N8Q%i+S10-T9`*n94Z3XEo{jn&TnJGBW7)5A!I8m
zCS(B>{B!jGM^HZ^tChWli=7RyoP0O_&kyszC&m8*AO2T*^}ojlAztBsEBWC||HEPU
z4(#Qjgz^24!uKEH{i6V~Ks66U)8mMzcP#Aw;jZ-mxxU@{jfIl~fc5*+Ay~fue*fPq
z|7H3AybRpQ!N-3b8Tj&#E3|O|TyzJHF8r+*H5pkehl;$czVFcD=(!P-Y17&L;g&w)
z2S#VEa>FK$a?zneMp}o8hrP(EqFP1V&r&XU`hsAH^UmLcw0S+ASrcP-9MEV+N2elX
zrO7>&dp^vBzo=c9vm5y-E|Uv3=7x#3-oBZm;`e#4zm+!FM4YO>x+76YXf}CgJ-D3<
z(K<5gH<K*h?^E*Z`0?K^`;q&7?D^lH$X+v0Q2zdOdoTuj^oa5QfAs%ON)$gQw}Ucl
z?2vMDa+)UTUo|(hzH847uIrtjb9j@GuzmM8+K+S#oZ&*(qIO8ZwWE<UBGQ-W=mP3e
z%}z00`29P-kBB-<F-s?}x0P;0eqLez_?oP2&a0M5mnt=q;K7po5@R+fd+oiqf4ej2
z_dnpb7fm8ssl$&Q{MKg>M{alP8Xpf2kGft~_uS@Apr!WptZsWZHy!D(tk8os+NNI0
zu%}-wiu#P-hHK`1eRd-LLwWf{M>XX?Ft*8+=u}CypS$(GztzheUc%972+`bOK+6G)
zgFRJ#N0#X|g(+D4PEco?f>z>C%&W8J@ikvus(vV)w6PUSy@C1*?DU8}9|jj<pwxRf
z!p*}oefdJ5FulV4^e1Oe9Fvy1$wSR>fKGm5Av-jy`&-Hf&)QLjK@EG_(xwOD&)7|*
z`K68!7BbL)F__Yc(ZBjztuS)DHQ~*hEwYSc<wHblITNwa6O^tM#$iUU+@3)7zsiaq
zYRm0*eLmEcSBffrs%3-8y4kVl<OoOTO~{{(acoc(5lg@+7&N&@HO`WyPFGs)=Jh{6
zN3cO7Pebd>TnmddRU<FIKFub7NFfouQgR4~V)t~P144r1R!>r6%PAYVKfmQ1Z~$WP
zB~hcheAGp&;Cdenx=8R((S#WP`iYn$;E<Y#S9cdPmN$30mmC1|;$5mF``#&Kbt@xG
z5ef({VcWo>z8*ea9-j6Y#{T=6VqdRqwJiqMZ{Be&`}~8btSF;AQ};6<k80(Kl!S&P
ziengZ>41`s2vv$mUYd@gzauk#^koRk(#=3PXcu&A#tQ5$#<~s4Ql)(crM=H0>}|&{
z2XMWH&W-l>()m6CqNtnK9p?Hdcyi>*Gih|j?oGVeTrpvHU``HqS3lOfc4>d!_#2m=
z>xj@^<3Tb)21q_&aDAqa<`r)YuICePjh5L>uao4<Qw>6r-(F+qq;TG~;-b0He^mp?
zCwV-!KM^yz1cN|R1>Wqu>Pl-Hk+eDaS~~uoZ8WxRkLJt)$b2)nUS4-PzMeHlC-L;g
zJ*zWH@GLr!R`%(E%aY=2FV#l8q&`*-y0Jo4D(W(09m(cX))4B#e)_^o<aTChzqRW&
zfttY-UaX|l@O7NuT;XY})r)L$rGz2~COgo1kX=2Jy<jc|peH9W&P%s-X{TQ#$qX*k
zqQ!lHK)OGLrW0R7{MEMFUmxqt-i5?KMNu65a;-zjg<lMI`VCYxV7p=*-lk!V7Ah+h
zS(HCsk5z03TOLR{S)Up#mPk{eUHcN<0IMAZy!GDp7N*bH2rY_wIV<~I0~VVpAat{5
zZM_Yvy=-PWazXCrmg0Uz|H7c@HtrriL{IFi5c9#Z$fx@q67*X0_tYV(-FxBf7c`fC
z-Ce1jY_Dj#cB5`L=aiCNtH=Hk8{S}9U$K;&*)|aG@~2~{4&|k&ZPD*3YnkCoH0Bq7
za~_vCp!4M?o43;V2$DXMg{#~3A?~tzWc#nPv6eK++0l0_xm(#SlUCR&2<s~@gCxbB
zO``C&{e;cde>R}4^b+{Uc~ZjRZJv5v6%;3r_pfWEVd$*4W$d%_OvKnJ-I@FtU?{YT
zIh#hM=m?m0?W*ouryHW@R3dJDjBK3p&5}wwr<sa<J$}gP^L@&&*ya<Q)(i_*lyMAV
zN@>h03YKXRkY#d+URqb=n3?Y8H=Syhhdtw`+;n?S`v8zh6**eE-0>@V@AOkzJRE4)
zp={fSD9VdaCuh%PaLP<VDlUJgzxzq8zrZFy2_BavWvts6U8ASsXHsv`6uXv=_Lhhw
zhnRmlFUekGmy>;Wd*jDjeiTRRq4qEXduHuOE6A7Co&SsdK`D=k?$^Hom`P=JFU{A+
z+)?M)+2=<^3)WuLW?cf$`R+Y0b`Vtgc6o=llNrU)`3Fi2V9APJI60(1=7LXsG~(sb
zGAkPgs&(|b=i<&pq)cqjo4|NUc_+@PW!;t-?3C}r*f*joav1~PRfUvc-`B%`M**j(
zlMB@7`~4c4nkzlr>@J0gDZX$Pn~J=A+SPIDl;lXOzV1w{WG6l4Gyg;)^Ma2o6M0=S
zg_23cXu}m&==2e78Y47ev6qtMdN^~92+WmN>3uHh`dXC_9Is({$`Ef8$jWG^R1uR+
zo_8y;!Gt<lH|S89;pBET6q>p|$hfG6IJD$@t5y{X&1L6r@386>92!ny!jWtcHt4iN
zzfb~sp8lcgJ<3;v(+uNtseuwT>*&{ozHedmwxWNfxO@)0#~Q{S=lNkGSd1}cjn%nr
zBxz<ot9xaWU?(ja_s$!xS9qv`*svQ0Y?XoqYu}!XVmg>n;igSbMzfv|TvCbDbaof^
z|Gruey>!=?jrqP)+w5g&4h~czspY<F>jVC-lS)iA18Cbf6q*Inr3V^Grn5v2!Q^)?
zH{i|!V!AWL^{_*G<Ff8_;ia1=SMMUqF)Is`T`pBYYwu!Nq3gu|Nc=fjDT}-^z>Q0`
z9d7C~sn|AYM%Y<yktA|EVS0jpU7$t#zo<ofp!&B{KDa%*LJ*G|uw~9sg?%)9T;Kzr
z^nI9{f}NYzvI<#9z+UW=|83|1lS?zM{Fv2?t$@%`C)2*gzEsR=-7N36FCTV3^gXwm
zfK1<5g+W<S*HIi=@ZOb8hy#D0V@1tq$(8Ov-mLIA?C&#DbjW*_idJrkO+I!~hAG2F
zRy88O<&L^6uoP4QFO=tU{V-aL#=bVz^&9RsaCV?!(EDn+@jVgSR>U&g0F1!cJEwNr
z-YF5HP_%K-`&$$ppAQN6i0=DC+M%D>%^V<psK5R^Yk;Y?eVty~Z<(Tlm9h3>$uIJ}
zK1XqQk{Kd_5K1peK3q=oj|gR|0s)dM)XWnqJCK{#g+E(IXp#r!?Mz;%UQEJ5hqR_6
zW!U|Y?ht6s5#{CMsgt|yU+XKU-V;fF5BTVq(k6wPC-~c3)^58gic+Ds4UP?dHxr9}
zjXN?VXZnUlvP)oIr5>VJqeW0E@1)UoOAKPcKnis21ruBhPpiXXKQ>W>Mrr27)qdAq
z{+GDkg~#dRQtzDx?{OH|3T%=qv3b6hOi+|K&JI=4$j2|lIa%noNJy{GXu?zphg$hr
zJH2G&62#!EgD`zT=#Dz?LwMZld+KHm-_Sc<VSz!n5BM{tOowDV_x*b`wy{2lSeLY0
z>~JkF0W<H3e@fU13KC{u3jdoX*#Ujut^7(`(7P?xe<)yf^Syz~3r4p4rjODb??;Wp
z-U?rPV^uN`sZdU_o|_$<!sx{Yz_NOU38{n#a9Rwo`z)mbb&p%r=@GO8Jf8hS7lRRd
zrSZx^C(QzOO<jDnalYnhI`(kQSW9jnn>T{2(8*P(!w-lGCRTzv)s-=Mq&AC6LDvu(
z3M|2qI^WHo^M+L92--AQhV(H}K8x(zzF2sMDgUNJz{oM9gzG3B3P!wUk0ylUwwr4!
z(6EuTui3`@Wh(!eu;(DI1N#(2bL4Ec?(}!5DMwrtq%Dl|uW9cebk=?N8m-f(77IiH
zHJ_E@bv2grW%jjUK$&dkZ>5r)#g+Z66p<mB`mu+m;WoFvPcLI#&wzsczW>RLiMrZr
zPfVv<^3;=rOSFGFo{DUM;oMbYv7a{YFnRCK=o7y|f==j)WqkpL*x_!jBVU1%?HW0x
z_pSLK--e6E`aXr`dN7#2#B-=ooj4|yQ|le2k>D=Hb>WkkK|+<Dn3fjSzHPeqg@+$C
zLtR1SquVQLjyK;JOL106X8%pY5I?fq8uDCNDsl3y^^y*B9{WVvmdMY}Q+)O)9MPao
zMsqWZdUWS}&xxBi669euKliuNkBftqW(YdY%M1HBx>3ee-)8b@71(PfB71d`X-B`u
z{MWZb<?VTf`lS?_Jv~!d6UxLBp^sU}z8fK0x`(R*_u5q%nI@}44vjTI1$H*A5_0_e
zXsf1U43w#}L`5|odvk?T|DNB5w4M_@tEYxZ)bH7tXzMwGhfiAu=I4M7(G#*bckO2H
zjtJ%`_;I0#<cOZlSBf(Lp)xGJ$nr&FYTd8bLa0Q==aZN|wQ&l~pSTChQHcea)B#VV
zPA;w8`rvPxLprpYj&HHb4!uaar1xRCOx4sMKYoNcWxrl8O2Xz(nwDl${*-=YpAPIr
z{`tJ&CDpH`1Fz5lxH5qPE932zwLkV|h#eX`d6D|GIy61LHXm7D{<@YJo~qNCTEQ~l
z&JJCBqY-;yZu92D+DZpj=uArcXs#Ahjs2GkJJ(m+3UwvVuC37f@g7mWorXb<ZeA}y
z-|HgOYu+d!F3)&IIA=n=H7phCqw=YZB613vi2Lxiio-ljUQZQfJ)WA?{lknk=Siub
zwqq|OL+dempb2S#eJS(Xn>?b8!9Gz%*W7$ajC|F8>QYp%LVGY$X6NZO|5qRVGS({h
z5Wzb8Dq0`z7^lBfWFhf-)|%E$c7M2y9B`>3NE-My<#Q}4FAj5BWwt-yYo08fzc{!z
zmDCw8{cW4*HF2o7LX}^x|2FGnH^mPf0okLEEWcAJGP0YJ|KEEA`xtt%uc6^g)M#x{
z)tRc%+_C*VI`8q9Lg-u#RItINqf!R+ULQ^J4_--!ouX7lMy10<icHgRp1kD(=533;
ze$(a?@{_+QgKm1m!^bKjv%k(~t+lb>>i5EbBK-T(l_N;`FRDJX3FKBURnpx_)=1*4
zvO7#6$<i+^Mu-yq&<N7d8OEzd=Z@BE%dYSPSgVXJ`Z>)J_(yRUy9WAT_;uCmM^uLx
zJy_L(rTR{UMey8XvMr6{lTCJO4)5oy<#v0>H5?srgx6GYXjy<y$FC+&1HEt5Pd@MM
zZ9-f=bPDGjrHo_~`bCtHQh!SvZG4xbun+tE=;inFzz6t?ZQcHzTRpn`U%$m)eeq|P
z_t1kc-HpFfjxP~<)e_JIQ|}3aP{(u3(6CE@g&FCy@yZD%<=?bAZ}q0nAk|M%ityTh
zxjOvPN1GpKhTo?tspxw)Uy*g!FZKzgV*S1Hxj-5D>>2Y@e<!pj^;tz})Z|xvo(?-<
znDMf?<dI$lyZ#>p8k6pgxh)jqXc5|ZDY?>ntLcIrtc!1FW<$(gDMHNpYnc&7AO4O!
zO#jKqAQdueegos*rYc<wFnA3dX7{Ss-Zm~qiQRN)2b1=3)nMVT7Un}zKWO^Vod9!E
z655_q2$~ctL~NZVm||$pYKVx>gA8-^)gPei??czodW9Gx%x*i53n{p@xw2pXwrR|J
zSVg?!iXHj60?q+n)oASRlRet@TNEG!AoJ=cCE<qp<~tQQ7N$f``NDTc;2tzd!fu;-
zypr&CiYW5k7)+14T9+yJ3>~Lc|BGlRoyGg<c7-u+p<Xkny+40{0|U<}I4^rBp<g2K
z16H_|Jx$VgME(lNj9_D)TR(mk{!_hoeO{|*e-9H{A5lA+9v=4ux;dKn^SzF1P?3MD
z8v2D<wjsih>eiPe8igZJs%s-2xUqmfzuAI>I`tq@f6>bJH80}4td_t5&SD`R##})}
z2d||HS;+#idV#sv8RRY<;n!ElUb&BJ^w91|XMyYf1~Y2A(p7K&7nN)nWAe*G@p=?L
z9u7h8Z_D6hNDxAy(Q$&yn>Xl$`t0R;$+<gQMfIw6lZ+^BZN0U*ES%H|g<#gocItzH
z0x{%0(z;CAR&R+Z?pg57yE|ebWkejp5VM_vdi{)Q-8<}v#vlG3@y#N3GZ|p^Nw{;a
zr%pKd&t=dc_6MSl)53x$#o(;dY<xPKBSPKAsX>OM1!SRC;6!%4Q)&S3-L0#b%d8?m
zHe_`@h8%Ej?rZK6;?ndH0V%}RG=1~EY1E^M{bfu+S%<EqcUPL*sU!WV@LsOQ^&u#Y
z`RnjGIA_;0#ysKeNugVc$lxjEU*=MSVRV}1B_X8#2kEPHb;{>X@O|ED;wz*Ix_QcF
zjQBI1q7O-`!lCs-OY747*tZsnt4{FkwRMu;U!yg@fOmW^Hd$DNo{U=mIe1uQBFjg}
zY#k#6Ve-cIyek5HwzOIzk9%2Mx`a;Kn-4b%UKb11sq+X}6sQOe>S9^z4=%15e@bV@
z^a`GPUuKO3SAj4<ZoQD5mBef~<D&Mr<fT&XyXYW%!-%U)RQ`H<g^1IR$4Dcc$7#Kn
zYhL(tDjv$k?I1?+OzHjYEg92bzw?;DmCe-rGg+e^T3rV1$i0WDv_bP~xc!}dIJ<FP
zGBtX0uzbF8p;IdFO+sIxf$VU;p&DtN>BNQ3hvrvbs(H<6^P_$i<L=ihkiJln)57YB
zMWL#<L-uB6PvB#s^7B$B&RsmTm;AI^OycfN`+F@bH49xcQA}H3{7IkoN9pEU#@2ZU
z2s3@e)z<zB{N#pFs>QXc&vW|g*e;7p((8%oylueXle#Zsh{ZU>9_M-w;Q6^{I7slF
zpiQ5Xf3+usR1@Q5#8>mOlnfAb=#LJ<=#||_;xO`@u}<B*M&YQmfaBKBV%dGkytHeL
zV&((`oLz{a^YA5nhsSa?ifqdF+Mx`n<K|hE)OFXf0T{c?#QSERIE^!yw=1aCM($)E
zv-6nGq^0qGqvF#;0yaRoWYO;33OE9S%5m`X?zAj?9l6&Zjsz;P+j-I;01vpBhHe)-
zNzu_s8VO&Hs0i75#ylcUK&Q`ihy}`Z#gzt=fW)L5c66kC)`1^tmS6z!Ta1!x{q~oW
zKUbty;9B)1@sjVaqfmiPm}{OA>lNlj(u9IvX=8YH0@J=#WscO^xA0}xv5m^~+6kuZ
zm<PV@DlqS*(~9T&7l?J3Gd05X+cOV@SJika=ygqfOuIC3O#1?t(^ZjM1al_+alg?8
zcz3}b4gs%sm)<B%ce@mM6djnee;N!JJ07QB3U*JH+Dw*MZ%hBX!zQ6=mp~UHFn6T|
zLx;@YTjT4a+J|)+t!nLAYnRQ)?9ZkvC7rtpM@kd)qZ^X_9l?$>Nufq~Bwui8&BSR!
zs7(IYrnJ`<?ALc-g1VmIszM~~Z3)hpOXZnEb&_*!TSg%w>{iAFhg!ls+N%^fvcLQy
zmwqG~`#@2e*v(w;H_a9Liw$>-=~T^)4SbsrE>aRM{V;e9(zk<Qdg(++-OTr?<FZ%q
znvR#%_ncDhx`s=t=TP=uM#{WxVudmhqy1YX;Xe&_HjX1c<8x#gleGfxI1f^nSJf=n
zFc11+cHmEq#KyMnDE;8NdMFy%zWA9W*O2KeLf>4JVf<d^TX(t&el@^rHiot+yjLjw
zbNr@a@Cs6!Cj9DK$LaE!h}XUP3}pL75do%Md}{$?H07E8D*=7IS|?Mm$wA)d2R|>E
z;<}YWt1Dg3?FF=p$ev3F{7c`TbRLG6c$lqG6E;Jbgjf6tMWOiF^)#cZF?!Fi^$wrH
zXV)fz^bU0jTe<o9jJurx&=xe1lnT4{Vf>xtkWB?!`NC&1Yu!MQ?#Wz3F7T3|l_5yK
zTR~IL{a|eZ3P{3z*}(N?u@l>B+$16}!Zqt1c!gIjvgoyV^DB6Zz%f7BphOu`Z+cI=
zO~P@$`khhSYD;K$?%1v^!ONUZxKL0oG%5AvJ`oWbZoXLqEaI@M5oT`*rMkbof=-n}
zRg#7f1)ag7$}vAn&iNaTm4}bPE*?@6dTTc(%2w4;UERw4%E!yEJ3^@n5!>&8Pm@gd
zYkvr@e=-_*?HsN<*)Nw!wSWDx{H_7wbm2II#KrP9Vms!nM8)>BIVI=l;!sZg$_`vr
zEJ-ZwZ8s~l-<0kwSBa4)i6C2-)T>2hY&`0lHH4J8eC=WTyL9i)vd$A$I;5?rqW#%@
z9kEf*8)U|)BN>ayT1E5lNqF@q8OdyoZAu0An?4cAe_GZ_$%!?A$$q!q#2``wdqhxx
zd$Mi7zo2XVdXvx~G6-6@wWh2cGV771hx~O$R<YNms56jV8CJg;5LzP|d&PN_zPyLH
z)e>4LhS>~~t&#-k2lgsbK-mMoxZ-bg{_N5qjd~#7Ui<!RZ9UiJYYRY<2_+8>*&BUR
z^wVJ3jPo<mkYw};gB@Ya#YQpA)+^a#IV!g{lZQ%K=IXXU+|+LSYwF!Y_zAt{u{znk
zwG_-1{kH1;y>z(=E`)yFShyw(y)JbnWOowv8t_zhy$HD@Nq8zoE*HMvj>&Jiria|A
zg&6!zY@ma8zXzBb<Yiq8_GLppK0?D}<`pZHTr5A^E>#CZ8U>c_WC;I!<~3htWxM({
zuF&g6y!Ft06A%1cxC~H$uDI17=GV?@09C&%9M!WBv{=d<7USaMQok+Fn5@KPu)iL1
zg78p!Ehb%U(sk<u0l8l#;jJF@D-;F2SB2SYpeLwoiiKqDP4J<=OYa=<=)y6D4EDV#
zE%??9z8A7Yz10foV<PEvwYL`<9C(Gft(ieP^Q{Fvt>XkYvkgIlB$7t>C2>-Q^6Bf-
z0$#8Zr1aZW^L>$l4^jc}3oROITy?uq!TLczs>r1nUd*PRiA`x?l5sHQqB;~))*C2U
z##=;t{+`~3JJCt%b6~#*=kdb3J|T3yT<um-1zrpA@h^mku~o{7PnXYLx<-#bu&v6l
zy$#pU{<I*`{8SKB%6=`W3kda8;VZ*XReBGLj#ZsMOuCfi;h_?~{k7mcEg_#D{k9xK
zXgR7TAI@D6>UnffywhG9D?Tu=3+9NDPZMF+U~P*@Vkb?<b|+<;`Sug-;AXC7Yq9BH
zt^UMi)G^rfwY}}MQ0a$wIhn-Do#ivQ(cK=t<2oJo*}<!Hp{PQDoVk4sVQW&hrMca<
zOF{EJU~0cvkr`1Jhm}8Sa^0Y2&>xH1_tpMu)^z1vQ_X=xiTCdefX6hY1q#|b5Sqmb
ztB_KcUw`-AvLKl67x}Lz^+|0u@}bb6x)^@cw+dH=X*>6uGXa_1ZHI{1yi1i_)<*an
zbUj|BLtft91V#<GMAYTGOxxeWjh1V*NNBABk4}R$qW&&*svr9t^EMkFg~YAq);}UZ
zLCLwOW`6oan(^IJ%>nOT4ZG-JRv8^9o9W(ZjCw>7H}|D42aV`|?cNUp2qE_UwXZ;a
z3U!i8UFoILWcUx=Pw#}voSH~l*;{75lz1)<8@TnAj};2SuarwZwU8T0QUU0sv25P@
zyNuEdNb+7PN{WBKT}WKC>k|vMipGw3_AVOw?<@h0h>7|f4Js4IqM4)vZz$BPYZ6Ep
z#Lp59r@p4U`u{pWAr5{9uza!1u0}TwJKzO#>Xa^$UJZW$2T9`=MR{K8Y1@$PAAM_r
zD;7tQ>47A&jr!#g*Z7Rg*F|uslXf*`KJaxAe4e`sj8Oi47ZnqD>I~JscF;~0gi@>?
z{x3dudUPJQ^5x^s2hr0##83+MWsB@Hs9j3Vat)Uog;HexW}Q~uMup?7=2+{$L=#uN
zF$5fK6BnAUo`1mr<9%N{Xr^<ITN)+qd2{aTR!cDVTqm?OPo}s-Qmby72V@$45V?Ob
zYUYKxKG+hFraP*`VyOy~nu`4l)-Bi4B>dvrr<T7po03P#fNei}m>53-8EgLAAG~KK
zl7u?X4(Yb1*3$N&LUCfjET`-lC^}?FaR<Jz4(k3yOz0?gKah7-5D%qqPVnsrdbKdF
z4?Y^`ZfqL=3Nh9JA?*b9n}pDe#(lgN&B>yFto;QF%EGB7S1L|yvd`Fv=!2b&bXo&l
zMg|9kX=T^}D=rqJ9!PsV|NiPQCOg<gu+kYI1|*8mCFe1G!bhw5Bvs)HUiUtf-^`T?
z2fYtx#4v3;SB`S81Ia(vc`NI{3y{xlhJ>Uhjq9Ck>89%F)hd$N_aIEropiW(<3H3Y
z9G7D{J(1L_sn-(O?jfWO>ZcSPaatz`KK1iSXr8KHZxsK<(l0SAxE#K7)XD8hv!B_P
z$!D>s*WHZ-6C-oR#UI60YbF0>aTDFi)%GaTz;0Ee)Vr+=Ih6ebctws$moMNR{|#Dz
z#b=XG^J8@8o^gJGTanKoCPRrvqa12wOmTeG*-RfN!8ifQ?w*;Ms0Ww<SY2Hgz7}=$
z)l+HvP}HL=P&UwhP0tG5UM?Xt+Llb8ev@Nl_;>=Ookl_N#P108mkR7zFWiaB-nFKP
zf+|-ZHt0zze>Nze9|eVG;P^W^Y$&;1Ce;;+4)r-T$DfmDL5p9X70L=dF5&wN+pzwz
zLz4a#UMi$)P`Iqhn5WJMv{^_~S|?~>5-AQ&zd)B}!BLnV6%jb%eIJyuUn#JWu#1B<
zGPUKIH&Ed`CLX5(L2sbVwv~+-9fMU*tAA&-xkC#&vuy{xjnl6sQCBFR<u(UB4|c<&
zs0u;UHl6sv+WPOTv(LKAGeIlC)lY50enLySz`u?el>wO?Xb^e!1;q67OoG(O^9!C5
zMA-Zfu4kakl75#Jx~q6MJ&>ZqURZGT)m{~5rD)RhCf;9)!mYVC+!bHb#)&_%)iLR!
z;I;LkX6}X&+zN;NJjI5$W-$LWbAF2%l{hD-2p6&;`a4r5)IawS1_g%*1-Kks4?vCF
zt`i-a&UpgW;}oj^r1<4sn_`hV>~cm?c)v{M1rvHCgqu^^t2FE(<zp)9<Zx+gR;V63
z-SXM)gBgw8Xlyk0;!Pzu3$kDF;mD5ww7u|Y40;@9f62v>v^7*JH@~#o^=yLXKn><j
zw&1OS5DqkWC5m-uiv4sN2^t!@Pl(gw9nDQ!kqp$|H;}0^r!db`RO+anNi|4tO$eKt
z^;cEWw!FkuHphk-`|yzT^O%bGi&2Q1edz`_vAR>5$O>JkT<lM>_BN^1M&4bF>F+-k
z^yVFJOHRUjm#PKIQ~3D0Q5UtPdd)m5+*&maLx2J?*1BFl7qm2oZ|O;POJ5}V^{}an
z4s&amui@!!`g4tBo8>2o<|X#vgcT|<d|g%j6;U65_qYOAj?pC>_Yu>D<3n6MTIvc>
zXmTZFiECkwl_^Pnzu(k4+U6ZkH_gJmsY|AqTUxP~T3v>8&s@yV=-F{$I^DAIcG5QC
zBK|^GZ8`=%7f_B}!lFVm{4~rPx`Se#*r>`TUExsp@l*a`3ni$36v*sZ5t{gFs2O~?
zIEknNe>jc5{4)<@uk8)(p6dci_)^=+<$<l{$beWwF$B4tpC_xsI)1XeqRM5=BR~3U
z2?APbYCTxYYc(68iQx02zTBe7s(ZC7*PQzns<q0`UnrI`ELGb7dKqYVr8WmDVSjA(
zX$G+YWsv}bJM_w&<6=n~K}A<2ts-k5*6~WRQWN*UeAisHW&bp<;FF2i>=M7(x7fxv
z^mooBuu7?Lax|8B#*#zkU-6H}?An_6x_z<sNNlO81AgmWe?AxDr4}sEScl;MlHII|
z9I|o!!qebbiB<9bCqgnx(y_ubn{Cv|LC>PzaVpQawGuXy=$6t|waynm*Z*d~N1$de
zfGyG~>dN0pEU_xN!z&k=66^fjB~^ZCM(x{_$V|fdb^mhl{1ogr*9+If#5`jWi35m(
zc@uqJlv|@1-&vW9)kSSSK8#l}Pi7)O37>urLJb+LFp3pqm*iEcvEZG$Ox$PXPI~=X
zr77~#1k@!A0@ZDAkuJ<-IZlEM_Bz$|WyfH`h4xPsi>;k=)m{lg_)o<oQ$#u_D8ThV
z4Y-jeBU%CZ(f@0ScFBd)hMLu$Nh*q>E8^B#@0osNv3xA?y1y|T68oI>-HmoORB6>M
zw5{q&!V_qz*9&)(dAt!^T4#x?qMqSL7|W2c5^ufkbPqSD{;beO#QB=#XO3jFvDikJ
zRI@Crbx@a2RC86wFDTuK>*_q?t#3Um?Vs~eFHC82%|HWkpqgH)Fm<88YB~`{#&0Rk
z`6ekV%R?pZnfunukSvi$cPJt~8wTb*@7(7V@sDj*j%QONQC7<&q%zFJV+W>>2W02X
zUHA}H$si__kZQ_wNok)#oQR5nzYR)mA1=h$`xL=Prj&?IDOmgc-A<fRh<@FIDJQkU
zaY{yA<my!%aO8Egv=o{-Gz@VX1Bhh5z7%3S;Xc(9c<gj{%s_;A_szzVr&e}yvE)~X
z$aM|aqEtk?Jw8&|L}WW&GvrF6sOM{K7BsbPhcl_a>*WS_#+isI%I^FDmrilNvFrWI
zbC&}m+tt3?%R3<!z2P+PbS~Xp3=`RagE7QMst{=1q~$(q)%Of@gY{9<AAIk+`^4AI
zc$`Uj-K{*&TuC3vm~ipFU3N4%1fOKDJIZ#?H!}6+85Nj1<ITZBhl|2%n^r-fMwl0@
zO6uV&0J)a{YW2#Ch}4%{DcHB?8%sE>KE9;FtbX|Xo7uTE?UIWp4B3wfE=ovt^OWA_
zZ<j`uvar_qbW<#b^7s8!JT+vI*6i-m65P(pMptU^mmVTM&cxr6F23APmruB$pZA{A
zV$LmMkZ6v5@<Diz9!#OBdV#lOHw|!2>SfICfCFY%?b?*R$>b+e<z%cAX;M=L6>i9(
zio0{S?4js<C?e`9@44+KjByaCZU5r0d=rX}Jn0;eMGz{h3Qk^ot_9N#5Zvo}hW=ru
z$e1j_3iZ~%5Y)sfxM7kpB%JX<Q6`h(Ipe~q+L?|;nq=)szD*YI1P_xHJmJT(p;V*v
zD=Vv%IW}oeSvT`a*0r=-s2Fbc-Wl;4wlk$j7C9@Orr<bQY0KZa_-!7V<X|Mi)rOH&
ztnTZxRPUov6H~b`^Qp<OG{z+T7e)l41<Ta?ekaq-z$vYTozjC!R?-5_(tc`DEC--1
zM^&JyR7WUwTp1f68PS<uEYBp)hG?q8O6uPQ!wl`=G)du8%CH&9cfOujo|dnryjm(!
zzSCg1f%oR}55vb+IvSt+5-G#9;CjC3I|t=S?J{zRLty?0h34X@mm{3!{!^_b8}Wjy
zR`jRrHqg5KQbFw=rjB4@D68<!WKCIn&4#)X)fX_9)p1L2)XOLkKG_>5P@Jy}!vSZ%
z^H$RTgZX37WqiT>JEx=Qm<pUos)j&+R2M3vIZzkAj(@<c49h%$h^Qy=qXcL}?u<rh
zI&c^6y5g;(<`erC%<{aKfhim#@K*SHsd8~rC&z;+hf>;jJg<opS7Cv-2TM@JTf=ms
z$+-%RR~mA-(TLxDjYs5mZzv-1b(t&5gmxI7y^^&!e{D3sUl4Tx%;bH)pn_70Bv-2J
z;x<uS5zLk{Dt#s#0$&f~%ilzr7aQkDZ@0ch1`~U62_fQhxUG7S11rNCvh-;C;!4l<
zFQs7zLhozTLM9vdJi0YMpWPPuf`nLAH`?J^@7D92UTlR{A}X@m)s|X6-J*zGWX=i)
zq(w8MVrpv#WObG>CJ<z;x6$SBb1Z@Wf@Y-@kspVIp>Qg{lT^)-RgBj&%$yXirio~}
zlL<w!?={lkqV|;QW<(rYBHtp%LXZ+WPJ|c8%bvcA$}mu-0wjsWwz&(hW=Du_7#?_S
z&*G7+@J@DAspP^(1SOY;@ah^X^kYE=|21Ij2x_p!T!}c0sg{-SYJ4<yuAk6YiX`N2
zjHjo#HD9rPr;#MOz4(H0Si#6~j8dt#I50aPrA=qFI}4|^CtpYGTczlz+dPrNfZQ47
z<fyX*K;B^U<BFP--RDK)UOJ6=+!W65U7J&OioJ2YqyDSXlJoN!?u=@6<MQBzziK-o
zB~hgd<b&b5&+DdDKwmBszoG8_MUKv=pf|&uiV#H;a6#-Ck4j{EUg`Z`PfPsW75L4C
z*6u&v%lz2#m~-m;wOT*_S48B;lCBw*PgxM<!r@GFD#mBkAOuDfgY(@qhqH8t*I(${
zY}U2x-z?1t_5jqb49SY$38`z=_G!vUG8??pLbB^wNe2;&`qLb{7`fuK0oUj(_^wTY
zDSKSlon%O=?+tH7mE}A4?mw>6Vx`RzjLHdEysI6aJE&iUxwhUvTH6=3`<%G4FLl}Q
z76%H5{N)#p)4)`4$Kszivw4d!w0zZsZ7@pHpML26l8VhQ&P+eQS-U3!|2KgP=SxTi
z2LAovr{P_ZN}4ov2A1awdSV<pl?#NhZx!tHj!=J%H`S-Bsaxa4z6&I0nEEN1Us<~K
z<K^Pz(a+$dxNRn_(@c2>v$kbgFyP@*s-Fy0b%l+XN*=tJ*{70ilD-l#4biQe_E)XD
zk~?L-Lk?MhnixJW9TsqPYGRnTP*UXTR~n`SS=$~~MOtU@(%w`Y?kkgFUdp93?Ad3y
z_htA@gC0Q#g$ghg;q}@3CCmMA=NIKGzq+%}w{&AP^651fxtGc9)>Gw5ljtL?-Y6;Q
z3gv<!!XSredM?o*oy%arMB=e`u<J8v-D$oJ&P$T+)${Vz16%?1?Y&9kTSRUxI7`1v
zO#?__^8Mjik^9p00d$U-`sOi%nNPKv^wlO98A;;DK98mnu7ZfJv(yZo79Cj&?fq1d
zsnCM#2V?A;KV62(IULT2xr|(ve8C&pRMPz#ox3Xjnw@^IrooTsKq!qWaNVigI;H4}
z169MbV!>Pd6rh*@U4zcP3s^+U$(Wb9RarqHy-upO;?q6OMPiFRy|p`6&5(pg0hfH>
zR-y*D?oX3%K{&E7omRPFSey7ZRd>ZfCxs!&G0vUQRWxbTrQalUq*#LRV#)jdM~fg0
zF^_5w`ylb?rgss~3%j}-AtSfqoEMPar*&nz_ba&6JETxCOpcb4aVN;gZdXt<c<nwj
z2tqn;o?!OzU#|Vm;M1S66Eg3|>?M4IR5PY5N!HUz;PReC)UZQ!b)!f7#inXLjWc=A
zRr&VjYV<%NGxh_9ovXxcV>mTu>>*w)dKcI4eHYc-_UJ5FKp5qv7P{1M%piP5bAq>?
zg_5`EoKy-yo3BwD>lpB%{>s(h{XSTtI&BqvthGPwK%yAHG!~f+v&NN=1{;_fgStf<
z9B6yKl}R+zUnYMR42zAyK2V73Xf8AZ=|PE=JSPYvEWtB2A%ozLuim+XR`PwM0bvJM
zkk=3b8VbrV-rASs5GHDd_os>t)yzG?_;60FMLuGyz)(8*oZf!#=tFw2@5dV`l&Y;U
zkM#og_Qr6ZPq1BA+G;}m#l1KcSny6&A4^nY=R-xBJf>uFP^f4#U@3}|p1X4Yt6>cO
zshkMF{L$Y4i!h<OacfXH4yu(P;nO9PtXdjE1SvEfwVKf=mD}*p({CN&am9C-!G?yH
zsTr7)4oYId6`*~kW4>#-rKJn11QFkls%W9K7ElH-vpp!MDw3oj^x?+IgNX%7R_JX}
zpOK9Eg<3QyfU3i-`~~Y51&tUPjCI%!n>Powl-r_`-sBV=O#7u^oZ(kmHpI$UXZp93
zB_jj%iAPS-+bST|C-;J7Qgp!b$F`c&Y2#}tJJifo8IwUO3w9!l2IB<ZY+E9kQEq6I
z8{T>s=x7#`!9gcy`Vyt}Q9&Qnr~dlrR-Q>u30grPiYO0?92!aJ{-Bhhn)qY?s);;u
z(p|uM)`nAb9Lk0{sSih!hQ0l-as_h|qa+%%7BN&E%cD3ASKXB$SCD@Xfj*iS3>1Xn
zL@4xVGUNBQps)+3j=PoXNK3NjO=<gq6N^4$1!e@!3h!cnyiTOee`;s|NBlvXAE%dg
zIy2EOO(U6PzNbJMh$`^t&^bv7;|A3${+Qookb@wY;T#|U8We*IZQR`4EG#mHmpYu!
zWK(v~A>Z0<XoVP?!X6)Vr~@`_Q@n)f=Yw2@>4_>l7!zs+^=wg!j<BTV_@M62qJW%A
z9zMQjx#Hfi{l^O>BLPj-UpKjVk(2Q=Zadp~n7U;r5>dEP6|stX*uVUFi@U6ZF{OW@
zB4n?gG4kG<H*fApW||jtUA3qeed%4>ZtyqRqe2#xY#6xlKx6Tek+J=*L`vjHE#<SX
zma0rKsV@m>_z1jVA_w6!DOkp>J4&Wx4@<Sd!=3E6wk9Rkwy0ye@>K=Ke}OuA?UxE{
z5z9^-@LRptLb=Qbi^KP@)>23@Jk|ljGiC_L{Ssu(Csh!Yc>#%!wk=DX-@B(vtAS~`
zq(_8SQ)(hH=FfW_D<-UR?a~bT&G!cy8nn2%1Mh8+D+O!4dh^ur5&6keXm(WhzC^AY
z1RC}XN{zYoVU@aU;F-&3;>Nm`7+<i<aLY*9!b2BYnq==<=MbTDCysUSf!hF}_GWPX
zUbx-W%yHP|2>l3-pb<BvE~<``GWqpe3VM)l+#~Xw{=?Z5T9)I}Z|<YH%rZn>^v#K}
z@(N9FUUGsc?9}^c^4VoCyM>m}{u0tiWt57p(3s!XF|LmI^Gf>_(M#g6(Rka(o6d6s
zh=sny{%0#H)!BvuAfRl?z+A#_(#+D4k;N;*LksOIj1%e4d)1D1)fI(o3Y7G;ELEKh
zRUyr%6<W2Zr=;7r2(J~{1!^QN4I7jd?ERwZqtOC!FKg>}H1B(Aple@FtH2np4fuxJ
zeV9<;#6Iz_+dja@Sa{4Y)QZAD9X2)G5E$f0RC}?01|&s*y==;1^hR_-5TVtGpcR}9
zq6qKyg9lgMi#FeFI@fQWhR@2K5?uA`g~(hf|4JlbjH0C8u%Keh4Hh=7I4LLv<Fda7
zvl2qr$0e^-#>KP;P!^AU__4eBTCHk+78GHkI&u=&J(fTrr_&b{cG^RXOzVT%n@2(J
z8%e7m);xwDsQAPb|IL$K9VQ)up`3Suis-61-}7I@?hV{hMwTS-QFI);%ID^!OH0F0
zaG?;nJN4p2@SqGC8P{nFN?Qm1%V6?&J~emH2`8zZ#%r2==an5(bC3B;v#@fnH3V{!
zGidj#Ouj40u)=RWAb6q5@(iVSOU!C_TSp2mpk9d-wV!b<NEqDLNJUKQA<Z~|$kvkE
z5uTdnnbhz|tcdrI#DQBE^KtHPv<vURh5R0Nf;geTp60u~x<*=Uf69^`CNF{_GO!=V
zr@3wWZdN-ISZMN-v>7YG(~vLu==-XA8O=!O`I>tbD^?KBpj$idiJ1NSb-UBJ+$77d
zbajDcyhd`IaoEo*K_I9dtbIpNRe^_E_AsQ8E8)83nKC3qyy26l3>S%#tWbqMRCU1U
zAV}$Y*ncb=wBR3k0NqwQ$4L6DNfEj0Z83Jd;M=<bEnroF6Nq=X{)(kB=CsHjl2O&z
zdKt&2wfgcFwHlLBRN+1Wc~H_Hc8y|8?R#%O|EW>n0~jRGM5DyrS<T^k-Lg8MxSUDe
z!YW9lB@v0mCl@{0FUCCi7!QhYVi!7Rq@LkD0vzI4p`xG)(D9N{P99XX7jqJ0KB(ui
z)J>u1KXQo}O{*!tyR@@O0sM(F>_aR~GMK8qd^Y<=8w~o|n;3aoa7{1MPD!*!?`0!b
zPg<58Mj$+gsxAyk8pfRrz6~-h&o3Mv&k(M$gcILHTSk^JetG^&5Bv6a(?Fkioelai
zROD(5&_N+kE-)4XRXdRRdwkCs1`#P|NKfZd&8?5OsgqTx865CagYP+%;Op3mhfC8x
zKFxq)NT#2La4(3;fDh{-1@?3X7tmT~OTW;H66fSagxgApt1(eYWd~0ip|$q1YgX#D
zpJp0axV&vwtXbZuay80JE0O;7IM7Nb<&@;dMNI=RHE`qJeVxIOA)l>$Ew~3LS3P^<
zpd{1t3`Aleg8aPxbhuN-bV!W$qd*3^5}zTTiHx;LA(0JQ>YQs$=lF(njO;@ufU?Y*
zu2Lh=@ebRlcqcY~i<`9+@3vBRP<luSsh5B;dqSK<b%*?_mp2F}z(5GDbKgX2+j^N?
z>0Nl=d>r6=xV0*b0rkD`N7XQ57!;$tY=%G2YI`Pv+<}@wvfeFfDMjTbO2CwExQ@P`
z52ZphZXbex$l~TzYKFEpdtq<`iulHC`MO+$D$KIw@ps|#N|y6hvzmR51(<C{!dzCj
z^bJCAtEt<>=pOK}S6%hNbXnn57j46m*N8wcHrU9@0<O7aJZMV6HkKriLzLh`Ia`V;
z$=J8-#*%!}KT>ZuU-aS5HU^pY!1%`2goyx%jX^W8?P<A_`%P9bFE2TA&HR?#{ABek
z8X}zm{A`^N2(%W-Thv{Rwqr==Rt~1X4jQ)wd4-cZci>hmD3m<7p1|@DE>yRrc#k47
z*s|eW7pJ4>rTD;M@hA1nf05ljV9^OygG5=lmCvhWR(w&m>-^-Lju)X1bz8qhOwK=3
zpd#ST=GSm59jT4CV5~(CLoh`>*QX&DD9`*`H3n<#tYG8wNe(UqrnT;wvLscERE=j-
zF4;`EcSgqjNW&_>(i1DW4B{Cq+43h@OefWeQ0;`~rj5`zwEPbUrz%HK;6@oP^935Y
z;{zI0OTTj5OziVml~22_+ey>l!*+jG71jknRA6(hm*0YI{Ir@Es;(&m;dXEY&;!fX
zC(5!Pj$1NHe!^G_6HBw!iP|SysYZP(&|L+f<Zg<pW_!g5;t8O-G8vCeM#XT;Girhj
z4n40*-*Z(=*S|!L+eUT7WZ+AE5X7i`fp6xN3?IZKy`6qGN(lO2_b;V0d2p%0eggPm
zUHGK<yHBRw?7}bV%CpH^#yUi<`t(ClrIShTS+usJ*h}W8lito`Tt!ft$04BoyRD|A
zJWdKt+_x9qDEheivLX?Gi38>O0w(OoVK*ymV_h!h=!7^z8e<FPS!lnW-701~=e*1r
zv^bDazrWKLZ&cXAWMtU;!TuWSRfgWaFJO2N7y(o7L{L)&m71TKPxLK0{YJq+`)etb
z0E+=nRAm0-QXYOiJG)ua+t77@Hn}Q`<)P?uC0+b$>;O-hCD$IB1$E$l*(F*pV5~J@
z)}}rP$(`)aR<q}%HS#%MW3x{P7hL$=iD!l09jA!276#c3F&*5ztTXF$!B2hC5pGp;
z98E+&Vi%cE;SPE$klg{53)-E;CEDF7I^*@8#cROo`$b9b{Qi2wAnY+*I0Q6vV!!$R
zghNn&QD|BK5odW_HV`xjy{58bdGdCK65Ei$HY-%{Y1NL7GCb?OBNRjiZ@<g|LW+t!
zvQA$GU9L64<d(lOeZlV<4>dzHR-T6ZepYuhuN8w>MC|8puu*}g$FoV=;_%e$n8F@4
zCJ>Jh%Vf?pB;0p>#ale+^lsv-y>RSkxC}cOsKmu1^g{?nKz{&gGnYn@G@wO|j%IB6
z#6&}R!3F|Vafrk}VgWYOvA;{j_)gDQSj~^?sKi?+5KAJTKr>oEJc-}$;PT77j*NiT
zbLSLIX8RW(gziA0*dPam!=9B*y#T?=-YZH*&;qfXz0E3toT#tQLUXkaMhK@c+;NI3
z;F_zzj}ROOAtB@nD^v`_Ai=$-WLEe^QbGU>(o%Hj|1R~LfgT}f|FH8Ef^JZqUuVVu
z51M8HIYhJI7u1|7h_@sxc7F$rJ7CIaCT{sI8MnH5dzv9PBRr&PwMyjSliOFrgz*}V
z!%j?hed4TsJ3?c2DEs1v7FV37MDB?ykdL$d-4f*B*aVZqeS<cnzwLQeA5QArzc*i@
zv}{Yr==$;cfpTa3r>TP(lF1PAlz9dw)mxz8lBk1wJJ)b6u~B9dG?N=BD3!kI<#sm~
z5mJnHBsex6Oxf%;kdZyG0gZG6Wp{y4b8;(HCXgq9jI?iO%+8;=V_q*!7l~KH$?Tpa
z@a<b7Zt8*Ce%97LqWUu!Jr$U?A}h4XM2^b^)L5vu7hJ(y5D1G!fjXY=^?>1?>o+Ax
zgRy8*+J093PHi7%_m%%z>+X-b9hVCK3L?SWD2?>K?#4d3Qeo9j`Q=mXf=O~>6hL1t
zP-y<u--Wv`4)pU^G(a&DScvNT_CW#ja}BnfIZ<FZ$H*kZxcC8Ufy#(?l5vG9X_YDI
zalZZrd5iF09zJg8Z-`9T!A97@G>PC1RBO<=_8~0|3Wc3<gip!!n2>EGKN;EGL;$tP
z9aX*%`$UzA&;0JzV(0El;(VIn=4e7lhL%*$9ud)36_iA5gw%8Qte1BFt-ca>kE>Gc
z)z(@9$e<67A7?J70xP_8BjoqdHGy+>oS*DFb0+HZyao=rXGECSnl+zeiOS!sHv+Su
z`6-fg?rhNQxAd#=TT=1lCvAR@tv`wdBGt1rlry%a=(RnK`xdi%#t-`!A#E>?xSeLS
zv*9Lh^`A~R^Qd!G0hn5@aLbbL=H9<kdC;`qU0%_=c&v~9pD~@kdYp%I%}9=3qh7c{
zI}hG*HFMpN?F3n|W-xs6(kToGB{03elUe1>sQr9RNe$=0*bs`eon+92CCrEw)h<uK
z*#9$zaJvQ!L@}eP9pEnNn~Mh{)(0%4l4%=P|5pO-nYQ)BQMB)8vAA6b(V@bxjJUjF
z$V8fxmzqZ({f`O<DQZv91Px9SsW%$v(J{#6CvWOsAhEz*VRf>l=kY)D1!VJwE&saB
z!X^a*7cx_t<Pe#2jDnJVZQ_NCV3ZJ|Chnlu{)h;MG0$@I@$oTKefk6)&%{&X-D^gd
z)qNf`80sHdJ5o1O0big+Z1Lq+ivAeTsSnou(MbV7=_ZlSHfU^qub-PW7&-2dQ#p@#
z+$9V$KN(<&0}xQ3t<<JzpU*wFTx9m~AcQV9Pir=u7m@Z|8cLx{v-w$(weDZH(TSNY
zyjl%z_YYklsZLYYcRPtnrfA|{0SeRJfrnnX$%(ph_5^#w<*1frT7`LoP5-*=E2Cmx
zWa>Y_7HJX6g`rtSg)0#R!`28QX-`FOBp8%RJiR7g2}b&QuHTA!WEPY92^6)~JOH$C
za05+T{`rZM-Y}Y=#m`&stxj&zeNypvh#h@$E%Hk~2(C$9bK9n;$jH7w1>vT)KD^gS
zbab;blDx%Un10;1Y4XHY@tHF%no=U(+?;jg1GE*!#dOQjOu=_a%PT_~`M~t%(rY?7
z<eva}+HG)Ia+4O5g1vZcLOF2#OS4*=B~#5R4#bC}pSP-=nbvpdi?rc1#MG{R=c?fu
zEiV%A>W_v%kaPB8ELPcY!d~um`3<QTsiuXkXP<p_%84qz-&bUoQ|UyZVT&VA{M<ak
zxj>ufC<tla17oY-E)+bX3CJ^bYR%6)N)wmOd@6&1`5fwW-g(O^GMOT_ST|up;f6Oq
zGnjg;-_+rfFXm|^sm3hDFK8=Op%YPxV~0N7W@{uFfdA!7^~C`Zl;I#N*A0PsB9sNw
z!8OHVe1>bN`8qwJKZNn+nQPTFk>2VoG9I}<U$@3!znNvvXvc$*EpkI;_~b8e=3Ak(
zTDpHh&<pLel|kw~nX4UF1M5u-Q?bgm{1V`zNO}Y)lpF)O&e!oSZq(=rPA`Sjqzk-3
zBOnR*dKJBcarIH)rUhYq^oR_&a@H9GMvkmH84BH%VbO`Kj2kQkOvwi=xs-!yy*)_j
zW{@DM(~vQ*vI+6ztrJdsh#AlFZ|?m$=D1gjTU!E=gV{AkxA!+|1U7P;OPWae^0`75
z@b&E-Z)Ll$1qnOoTN48)QmJ2buqmH8b@EA3v)^h8D60LzQmh&HH)610g<g|O)x%sL
zE%9RVSumf1+~35dtmsooT^!Bsa)u%L*H^IYhxul&y|6OuHat!Ub+68%pCiHLMMpq~
z$R;Zr)SsB0%=Wr48mm4wRQ82jiF4?QAiZAiL78C(y$M3SETpW10=RBXL5WSnHhPna
zz#M`zyiLl^(d|nLR=F~^nzj$jOa*Tz^l9yv*Q`kUY-PGeX}C(Jo-0@bc@qm5ssW`7
z2#YjDBswcx`i_?)2(B-@A0YTB!y*bpJvM8~KvOPT<IQMM<osW=poo${FG2LHqhTP0
zT@L{n!a>XqZ0tx?J*alp&_q6kst_JpljWiVG?lcP|1awPJ1VMe>l=hoQ7jZtN<^^$
zl_)4VlpvxgIVVvRP%<bvNmdk*EIEVZBp^vLSPGIeNDhMJq(mtMdhXJ5?(;n39pBeI
z`t2U0?>}c;sj9vA+H1`<=lq3*&mDRvG-xL8G&k8P*}JkEkH^ug0Y8efmaLt^+@Rgq
zBPMmSg}6#P52STs;>aGwhvWA4a}%$r2K+=g4kgZ*_{5-hYDm7e(6Rl(?y&YCh${Wv
zEK_*(>Q5+NrNlU!7&2ZCnUmtY$`452E6T02K_`)n<QcJ~`7`-fJamCfbC$zrWCM9K
zOX8M0Yhzjs)4P9WUZvx3y|xjG&#obTm5i@<S8EqBf)oZ-_ip62azX2I#V$}_Y&}&A
zPiDgO>n5(x<xfsvX*FlT!sIc78MDf=JDl6haEuWb#fS@%P>gSlwr0dqXjgpIuJ(Ie
zO-YH_rBW|kq$eVx#5{CDDXf209weSS*W5p_E39n`VZbV+{e%KH)VcHO*`UG56msGd
zzy&QIZjo>rU7C@#R1+gRk0gEi#^MJ1CUC{;s5Yj)F?!83+FdDn0BXz7v9MMkdfJ+d
zsWp6g2@21<RhGMNtTN}L$6r?SY((g!cV|9U{6$3c?gS$?@<7>!ybLDgab5o_wX2k|
zO1PVxAI4Ui$Hy`+D9FuCChXq>aCN@VO<stXJg4DFO3@k!+x5QOY3J69f?o5*C`ydv
z`vO=Yn+x#onpy+EU^u14j8dp3t`D#n)^j$Z1ZqKFoqgUHc19e^HL)w4l;{~7G`f$c
zke{4d-f~zap1D0YzHR<0gl(r(1}Ure#`Xn|T5T?ioD{sv&hsK}!Bh4iKgiy<{0yKK
z=6xz`{G|t#g9o}on=%%IY73n>XJ_r97j3)*olEC~XH|!1hEnHI0Y#t8iZveqe<=fU
z+Ljxp9+PdxP_>5g6PG%lN{{TSM=NGfxG4dwIR6!G#<@rpHMeBY^yWSzb`RbzG$#u@
zkM5z`)+f#xFk$iDsK;X2cQ5EEdux9EMoje3^E^C4C=0H!2lqqznB(TXVgp}%+lrd|
znjp|x?<n%6(I?nf&{ni|pYfIH^dbErts(|2qJPRnJvshr<vV>1hF7-Cu$jlsoGlwJ
zocs>?eerKty3eRUi@~cDd`FE<Z!+zN*m9+6)i<(v*Og;Os7scgpR4zLRT{i^ab!qN
z@e9k+sdQ3iZs4%3#{2bIh`fm&@9*xpjtlx_I8$dN-S??Z2vYS%<8?jBnT<s9VAxDd
zGZQD*mIwiA8rtjIFC|>9$1)WAL-JdeMWcT~vQ0v#B)U^Lzht4Y^J2%{<PFvR&M$=l
z$CJH>SQQ>#1P_60lIRll!Iy^l5#dlz4V3}8h^?AB9u+`4rcdkG<j!X$&pB4h2lc1j
ztRigee`-M3E9XwM{jAfYzx#@g1Zjq`3*f8*nd5u%CV;SpZje%hM%O)!c;cD-dJj@;
zo@>tF$=?c>$qJHUuAIY|YO1SwgcP%02#b{2D`ZEJH^q-f24w;6*7I{y74N8`qQ@c(
z_!Vi}P-hU7q(i<kGM0<s_wuRS0gT6#F3X_fzQ498V8#~YLULhNa~+zWis&pLFs)vh
z{pE&;=ir_gv72OxCN{t^T(ZP<8u(?Vgb3M6fM<-#K)uM@r!I4oQAR!cyEXF$oT{M3
znx9J#Q@3L+;&VuT58&Tb<K?|bX^7pbE*>H4N2e~^>j(r$c2)NuP?}ZtwpWL!>i2EQ
z4fbl*Y??OLb3)8qPP1RK<;l*UHLe^*1pvxha~w0~@u!A*MqGcJOT|^VHm*%7B(>l0
zP9`cK{xR1Xsb=Q(EN*V$4aNNw?JXgYn?&YXrqCz=NwK5}@O`I`KTRe=IdR;mAa@qX
zJ~J)|2Uv+RV=gv<cSaXx?ttW?uuD&FVo1@;l&WKP5lBbD!)9^Z4P_-32z&h8ew;=k
zF^l)!s%8EDzqcaC{Q1cc*gsXM`0ZsYYG4y{e0t4GM!4T(um2o>F>mB1k#jG3bBUL;
zb~yl*qS6=4i3?Hynj|@jT*}fgdK|8~4(VS!;N&LC#V}`}D_m!u7=L%aH~wz>0`KXt
zMCxp#z&l?q;2I-<J2L}#giJso^fIb6ViyKnt$}bVk({{Sv#>F&qp)iC_@&bv^besv
zR|alkUJ<V;vd{L5E?R0NfTfO;c$`B04D*;e{^|FVb^`|UAkod$+LYM{PBjmb&MX);
z*`arA^c#+fkPom=8}>qWJuJpwF5-jGMzMAxv5{DpvO?p(<qK8tgO+h>Ty0l<VS5%x
zN;O<O%lGi(jyKtxLdU<eo*lT-*Yw*NTHj5tiPIY%8yn=r5=&lm-)+5l7&>T3a!94?
zM6N&^WLlmYD7>PU=VsSI)y5Ebs`yV?=6r`)g{ALx0xmIz_|K1wKQ`w7^CM0lA?bPf
zZ)Mg!Z>pIZNJ6g$tMsM@R{Xa>6hDr8gfV@y_DKlMPhPA!8Vb#`z(BD!Y3_k)%+u*)
zw(I|@8iSA<crA&eO3ig_D|4j6hEsG<KCt~kawn@~oqgs>ojq%kfA1yrT@ms?|5jfg
zy6XRMB3$boGM0wmyE+~rf$$~oe+pK}$XQ_nKOX}O|J`bQxP>xslyR(oCDKT3!n3ne
zqoK3EG5_jZk4?K37wKPVF@g`am{-WVE|g?ZxZkA}{(@sY@t=B&XQ)iowa+1QY~K}x
z1Q<U6KH*wKH=t8^z7V+c6uWQm{$omB6gL0;7nf^v{!;t_Zu{?l+S}0S<^1h|k4jL6
z8t}jWjU1yilaS{&!Q#<`Wrf*{T<g!>w;1*0{r1s(ptd#I{9o_zX7ObX4vx#0!T!t9
zycTFm`>Q%0#4|d32I1MX|EY=uBZx^-?Z2ft>$r5vPbVfsn62p#ttT^Tm=3M3S{p}0
zu|Z$D+yv8K*rk19Rao1Et|Y-7KeEvFHBV75d!2^9(tfGUx1DEUu+y<hduL{4=v$<L
ziOHoR27FkSi!Q;C?d#ZC!{!b2ZuRU^U^O60Z`oiXU3h`}IP4ivueTKn-atc3A2hF&
zEqrYkjti(x-0&7vk)c;1nR)7wyq^+rS+LPbyDB_1<Km~aqq9_V-Wwv0SH^T8F{42R
zh$ax%lba_6LVacj(9A(WX-@fqn2ygU&#3d^I>&-Gw{%WjfB~Zt2k04$!LDz$@4Agy
zO=iiS4hg>w+Df#Y<#Lsvi57l(;3V&qf~6dPZ272L$oShHDa+qck27{m7ZfZ>DXbW)
z9Uo3I8Ro;DvavLiV6Oce0IV{jzP{lsMr`I!g801`E|T@;U9Fb)7ubkoEGg4nW-n}H
z*JQz~`=ISw49riryB0B-%pv@2Y#;R1lo_$C;IyQhrwYx#`=WF(m`K4991Tg-rnXh?
zODsOm^GQ22x%iG%THKmRc@OQu>5XsBDjb<qu(vqf!f#t*i?)&gE&XG2gTQ|3kK9yk
z1<%t2)^|lqD~b|O4P(Bp{UxAFD;RZk)hFJ{8d3+bmMDH{jBbeAe^jbH;i?Vvb(9B6
zrZ%8Wufl-)Dfp=C_y4*S!pLSQc`#5}s+?N~D7NVWV0Fj6ZY2n-bSo>EGNeh%(gX4T
z`p!TMC>8UBs&kDQ8O!8Mz4#$BuF^S%TF4Qi#OQyxCS(m2#k+EsikH;*?P&iBQJ4D9
zo!%S1JOe<!p9^_5+ql?AOCj8yuaTnDx35+8C}MjBDv|Ey2S}B)wrJ=1K~&&cL0>RF
z^5+iEf2yG%8B=Yy|AEp$T@q4k$3dtIbP>ZCS$dkY$$bl{n;gSS_N|wfA4sqTDn1Qd
zQpLZKC#AxyFaL6|3}L`2xA*<*lnjJKVX*wlj$)bZeHBB5$qa5UNd2A7F;)#F0A*}#
zZA$6?tc3{O6xbWC4r{Tejn2ee_futwG4Md2tCr&BXn&;!Z9<gykrxM0<aaV)BTD^p
zdgg&m`!E_K`K1Ul+8uIwCY*P$5EiC}^D43Ap#DJBd?cMEl3ZsdCMWa(*ts%@SMMQ4
zcA!YI%=}>ZmjjXOV#AMv?x^`o=mneWy2#KMT-*^y4_~G=VxHY_0+uip8_4({YA#kz
z0u&n6pa=A!L?KRqJpnMw<d%77{J|RVp@qIJ+Ur>fw{_Yh#`Q<`NSUx*QTckWGcc%t
zDn4Gy@J8E|h*+lw_Dk`8F|BEP6Dec5NN@j{oE#I4>QyE_9tqQxPr=P8_RYpy`cJ;5
z8cCZa@k@K?De5i%*odERePd=nhEx<O?6J}QQXm@9fjh8&c+xaL-wSKcAM413P4r$m
zF#`ng;PIDI$t>-L@=zd<<Y_(T)cL}n2X$s+<m<!)8K<gIMlHm<0oW}ktSO=<mzCX=
z*0*V`u$aLM0l$xDS{U!TziI&{_%6?-uzS8UBW~5;O4LJykX`bjpp$eLv_HfyoEarc
zz~_?Cu|P74x<R871Y#!tnEz!h69Io3X=~(U5!fyMmW!B+H-Rre;f38#k<XKWj8IMX
zwWRj?bA>cwNm>g#s+~hAmy~{~HA1f;(m&K*yIa9BCHaMrtCW=Gc(VfE;w!0TtR4qS
z!B%|!yQUcB*Ei$+KmDDbtjGcLd9J*FxwkYN)#j~rj(p?D0_S)K=ed{A&Qk;KiJ|?u
zvpF;jRYOk$xWY28)My*ljP)I(*m(Oy^Qycy{yiGQ+g~<%^WG|$NDcFb18u}*z*}PR
z<2NQnOWhK8m<_5v7Cnss#3dC2fU}6wm$RxDGws-ogf!4yHt{OxMAV_L8pW-yr)z_8
z)tHOq*72}W=^TF=&5*6Ibn@zB552S!$yZ(347f%JJ=Kt!J2+}XirejL5gIl=%fkE)
zm6K$sr(7oeI%F^(f%3o#vSk!nQ^$`$k4wP@b4yY_e*8>YnqTHCUdOr5%PQw-#N_QR
zvx&2_y|eTzNdnN)IO@J~oK33;zk+2N%@}L;WBtPL9f8;$n`*xY%L7){z2KZ@z6m%Q
zcvL<N06O07GXXJ;NtBrV@z3e&7w(T@IeMxBY-=Y+4V`$do1|lz#xsA!`z;-2W;(yg
z$GhD46v}y34KqdFEx`uS|9`d1T`6diwUZ{nP6l?FZxoHs_YHs6-1&`RU5KviDmmWD
z?Kqb_v?L_t*>Z}CJGvB{Emn>x<#yIC`3N9wo}>^Zr{K_M{bh1|0y5EE?gZlKa%$bO
z2kb|#FRq~h32hWw4c#}Mh}N$5Hlc(5TSo%2A8dzI;1%KG+g}rT0YAus>gnn+rLzce
zgjV=yXiuKiFxA3Yk)6Ds!_z%k?AKE%8sjx{?sOfg*x6EcM8^)EViJQpeolKA;fku7
z7{KDUcR{!EEH-gE$=F>xt_fs35m^-vJ&h%4(<-W%vW8lSL&cLZN|-|P<~`%f#js+k
z9H5A(nuOqYee6X242{!xIlH`VFhg}?^ms!#(!SfpKPA9eS#|@xI@jV9(t%@KuYZkh
zf%8g*o_m7TSy-<S_6$ArtkJF-mr6qM%gPfmJ$U}KWjQ`}Z}YJDFMg`#V{y?3)D5(p
zc$qm}S+gY+Gtl&Nmw1W?G++U5)-4N1L0Fb$RrGf4r?Na=!FjHp!6en5=#&%Iw3Sh0
zy=&3w2HuhNowQcal~Y8H%bgfB=IrO8T>x>F@9@X&2-wO!T<`GLh@rW`)A3XU236ZC
z^2gQ*0xUDgf+gR?4(F#d20IsY++oUL-$<8i2k_z>UyQt}3)iICwxCrL)Cey#4C6pn
zbiNSyiNY5H`(G&_<F(_PUs3n7QCMtb>K7w6k!k3se8$fR2G4xziCGU8`#vd4Kgg_P
zU!$Fns&Id$5-RUZQHY>O6#GGJ1O=9Vm~qO)nb-5RIeTlLrOLABQ<$;W7gX*!eG65%
za7!~MT=+>7w9{Cy8x<%P+|5n)&e;Z_gy^yS*-Z7k&P1G$R6O4q7{3Q458hAQ09uVw
z?Q}VQ2y3Ko!=1^abD_7r&uqY=uNvifyFl1!qW7Hr+`z6EuKYWGM~|1`e+gqLL4%KR
zT`*+tRY(08-A`rrD+3!339nPiQe}<Y<dOdL{D#wYX|K?uD$e2DWNGWQ_Rj9E=ome%
zc;QqE&uaGY9et4q_rPXI2O9lcl31Y^MJ|SFBfWMoDmSqg-==qzg@}kt5{gDrX%54V
z-H8?%dI<gaFh3|uOg)I9P6C*S2FW4QXulqJdU)B)gCVEU^xnyMViNwFpcMnIHy0Uv
zfB1^6X-Pd5n=9a}a)OPS@{LG(1Rp^!$(1B!7K-=~octoe1WGOc0oRf#wwuHCw)6GP
zsK<OXjsdCake_8h{eZ}3pP4{Q(NG895Ha3ECwTyV1g=8(M<vStper|||Jb)6g#Z!L
zUrQUPC5S@d-v7zk|IdBlwgDw@QVQR{?^v>TY)8J^BIk*i`K26__m{XO`py5)d^!&*
zpzMsv=WlOH$lwDXpCEon+fx-I=4)RLY^bK*QJdB+DlKgo0-`I?LxHTY@dnN@@DZzY
z02kj&xX!-w91_Sc8)jPXjzht)+AOFfOSRBgI`Bk=1y%yl#}*JI&28=2-Z;>s0{)56
zKjx6IZAIKPA0A<gK-$`>#(-T`y55LWyNoCar*)w^c1hFG)YN?c!wtrWs3FBC*}G)O
zjF&ZRW<Bj&*v&Qew?$dhrnAj&s^1l9UP<u&V}2}`<bzVk>*Hm5i+ecED}o|dLiHZw
z|2{Fn%S{-&XVPlixS*R4ZJ)EMUVtt?YvH^nO&3)_`)iO(!gYw4mFtKl%Rl|}(}P4r
zCPO>pLZTmZ3I6j(7S=i1nE@&&pp^XA%B}BTJ9C^z{V3#5M9+rVqQ~K0+`b$!O>>&D
z`N|xJ{NkJY;^<hpU9W=~#Q#dC54~kHM*7>pA%*|GWi%ZPfqpX)k(@557>~cDnX#Mt
zfbBM(nEd&4AZfq(KJwZ>j>(*n2cPDFDdthzx3O7}Q<=73iktrBbshQY`K-us{iSPa
zG(sIeNa3;KVyC0KOpAH6%KqqMzbnCmQAXh&zA<s4#Jp``v$qDaqZ|@=kgrGHCQt|C
zG7<FrEhYRFL`7i!Y=l=rjG`TzVR;h$%6{O%5I1fsMB9FEk=Uy(@Of9(T?8uH;7=Vf
zpDCquw4We6RgyIdXpQaoLmzAf=Ev;FpABTIK(=rC``oPojf>Gr$d5H-S%b43u>t<T
zQ0}wOMAbJ;)PaKUe|1gE`*-#da!=1P?szbWc;WY-nK_7j8yI7KR+b^>!As*`aOZGQ
z-tG9^X~L&+fM^4z+{nd507i4Hc+Qgzbl%+CBj$qjVGT7TK!hYBdan+gAW>(qs+JRd
zDBFkLbxSBY$I5%e2bo^aZmVPDF*mOKrvm@Kx$yokuhjqFUr_rDz8byP%)vNi_1E_W
z&5F@Vr}pR)g6GfEA5|;efrsetx*M<6(^qXz>+NjW3_nA`vmkv7c(|<73?lT*>xc&i
zMfH{|h5Ps9z)=@o5_IJEp2<j}$YcL}ip6nwHAz)I?bh2v`XU=xW}<0=pU&H?x`u=F
z&R;8+z6H93zBv9X)(L|qvLQq!rC#0dd~{niJ4xw*m~Y010#pO_4nE`{%(*O0zu3_i
zc<i&u|8g1Ar}&1GYlxA`HLz64MNE3Y#z+**Oy<4L`kJmdQZG8KneLYEh8cY)w_0Ds
z*xW##gp6>H(ZcXO@27MwD?2=OLOrzyAb)+<1wj?id2e#Fy;79z@T9ucTi62szQFfg
zw1dBYR?TRgI5%NwNz``i@4r9$n7_MoDf6ImEH#nLAJ?EzwFB^HgFh~JGFe13hyU^T
zV^V*%cJQy$|FdAWkB$f4f@%lm%?)X)@k$~kdqQ}4n?h=-{f`@<lFDH$CsF7h1e-PU
zAY7&?fB;ngf8jEbi-&B7Cnhc;f^1|Y#IFMRI%a1xHI-?<Y`xZyLu7|^z@WCPPQ;b5
zVuZs>cki$z`2l7;5wd^?gTg8Z%xEk@d~V%xoi1>Lj-SRqYH0+d=ImXMd$OlZx%LlY
zy@=4R&ybNMj9utCl!D`T1;k{(WGHOW(9pT>i9lwPS`zX>_+K%+uUKkjcCd!d0Tio}
z`b*0^;&fk_)M;GntZ{_!7BUo(ck=oo?ouFpX3qOdkz0p_S0z8xOOWtr%T|m``?C|)
z1yN5r^2WfeBUEykxL#i{vBWS7Nc>p7$FN&fS}`g66B_|OMQvX00I5CF-NIV|`x2;F
zNCvx`<R~tB9qBimg#;)sy{CJKcb+;~b$-A=*(pC}3)7`qJ|kqdl*7{uIx5>Jz+b~r
zNrekbB_;BrZI$y1BC?ACXEyidXPi=<@ExO94LKKYp}!4K1Tfay#z9m<X5A+<;KZ+%
zWfET~=>W>sNa8z=C(T+8&?0AY0bPqweHhgo%M08MM@B4u0|eiAY3}UqeLKMtlsJWx
zu86M*It78)LsG;GVxpXUP-elS4m(QN5A_(q3cuvQXQPLAPv0I(K5RikLFc#2h5g_t
z15Ua3j=7!*8Q1r<KzQtMt8FQN#MWSd1kVGH2AG5x&gUA4*6Ey2@9J!KBLLorwetlh
z&PBVcAFh-q^%EP7gzx5`%cMu%3Lp|0%Z`tdo~KZ{6%Js?z4CeOh2mz{@#0W}_ZfKI
zP8wT*1WH6>v0U!NWJbXwNeU-UvE9{ay2Q*3*pFTFqpq<tnoNe=5qjh?sSuY|t8a5^
zSjw^>UytUmM9Wm;4fjtUw@w9-b>c*|x;BU4ueyE31C=vx;+Q-IoIyr!&#1rOXyl-K
z3nPrPdh%UP^agTkgoR2v_1c1w$@`975Dhy2f`ZC(QGseyE0w(E;L?Zf5Vwm~!CKBt
zpn**$$*fdW13~8WFW{9$g^sq(J_wk+6G$xS{t;XWW_)~!Pyu;}>UrR$J~!SQnkh$=
zI;Uk}$bwH80W%y_f+j)wr%Pe}RAe=SxS=@0P$M;e?Yx~enyu=MF&L_6rw577krf(w
zb8v-@O9|+UF^S}BhiZQ^d2GRi1UjG$fv&)?aA0ABkrY_=yKXuvfl6hXO+$%l;_bQ`
zR4A%nOKdE7MP@3WuSC#vamr>~J!)3gGwUrcvN(Hl-a(3ty6}ZK6&i3|`(r#++yyb6
z3=iqeuA0NTuDE{LX*8vGica3;3o2mrq!2jKG`8eEL(3?NT?k;rLWgBFDX#OV$*wId
zg<v4uZsn_{C~2K@J}0Ie)Dx87chS8IEqN$fY4cQ*YZ6K!!?fMy`hOYeUSW<+#jdg^
z*}Vli5v178M=$ilji2kV1>e?~Y2cLm6%2~yMp1%dS<dcdvJ3ozp(;VKJgfCXISjN*
z@1!kP-?P`<W}v8G3W7(-q9nU1_Q=15%2eDyF|RKMz&w+nxb%Lqce<)6jEU7gBj9{~
zL~R<0zJK0!*&&Ls{i%|!{$a*T-fsl%<+BIluiKy1UOg{4Nh4YMu%1bEiC$2LJ*y*u
z(cg!oHg_O}qWU@wEI^h;z)WwayMv#@NT;7r*%u#u?oHoJin-_g3YJL=!J;|kF3z)x
zn@8`hCXF;&J@F~JCX|%k$u2YRkLAaCi=6*wHPkzT%Q|$dlWW3y?n;78q2eRwS;?-}
zN?Uuqh;K{fSIzU)pD<EK+M_N?dZ6P}PE-14>+W0=u!>AZQK87^W5-KX!<3RPpaP8A
z>k~t3d2!yG=qDxl!S5y5Na{9a(DTDAIv(g<Ko|)POH)g2Mt_PhVVt)=uL{^7@VJ<A
zHZPl_4S8RyfP?U2^=yqy1C`1PH;~AJ))-7Kia8`b^h)x1$kG<m)H^SvE^=oP_B<5%
zN5_*B=rOPWZ`637r|Q7~N0!u#m3S4%m_`D)EyRKiDM>0I$%uv)Kwf80X}<78XT^!=
ze!6OzJY!@XItc9T{z*F_)pVQjT(9af=Ci#dr0K>X&7S2laPtZp!%gF#;vSm<z9uAS
zs*keOuFC<=OA7kGop}O~7GR0bAgpYCzI^$NV7#orBDw8+#P}@xV1Z{h1whZ*$nJ|_
zn(0@Lt)H|Ci1%aiZR`oLdUEDlcgRndWG|&(Jk7+C_g;8hZ4zE3r@Qvl@)JelI(hP<
zaI$wqlMF`w+E<`sjJ#>eJ#flQEHxI@27-V^xhznrXLMdp2l4}ZC9-#5m!tG#+w4{2
z`hnLDYF!bhqlZs)OIfZjI8F5D7ct5}L)<9V>Q$5>i2PFJVQ1@PRHj8F-Sg{x$7zc}
zhpFU(Hsvy?X9X24@D5U_wShI8Gf*l#7}Sbv8#2PlokJ#Ro%{15r2eu5V;m?<!tAxB
zY+=ywyVbSCFL393EX<!c4!y*xpd~qRbX!7d<0T|&UG81Sl<Tv%UoH>bdi3&1V)By&
zHLGL+R6yhV^~=^78|WP}9unTK|3xkPiF?wIBH4RhGv_q*0m|6p*XqLy(1=0BE4ISO
z(|2L*17G_tw0E|%<9g&G$8Ybj1Oy1v$v?WIsrcpJU^@Iq$||K5GrLr@n|>m*41MLt
zzmnE8>537$<3|eqyQEcjYk4HV(UonwWtyvrh3&(KlTwxwAgt+G-tBYi|E7@9Jpncf
zDP_7L(I^nIT2Ikra)k1S6g;K~<HAW-sX1;Mt}Mp`iwvq6_U+0u$B#f5&+e6(C#iow
zba&vUA48iIO<5)EGJmD08(V{O;uP_pV<r1yKnO2lrP5*e-=(NJw(a*xo8<?`I-%H8
zm_C7!{$ws9@(V}+Hb4;+Kr27|!Mxc`WC}uaSmS!7k+$6ov`^5cTKtY4Xj3Vwp_fgg
zT*CF86=_CeAW>+nPm1Qk1!cG$Nfah5$}DGXIAH*`Z5Upq8|7J6l8oi=uQ-gPMFq-a
zztN4Bmkvlyh&1KTOg=f+w;?fj;Eh|ZPX0OfUI0q#<!de#?D$J0kC^Xx(c-U+7MX;s
zd+W{akJ=BJF-cpd5K}KbKrvz+`!7h@4x5KAcN?mIOk@V}I3WRj+me#bm@w+d<;!Dd
zC+Ldw@LFj`n}Z7%R&MW<L!|uksV8#cToNg4-lU9JNP{#6MWV>PH)=roRI(H2O<Qs<
z^<pu4&0iRZgM=LSqhFNHgo(H^B^)F&OiP)7h{+e>Qdc>4p}+GdTh3AsO{P&es|FTW
zkW8#UgG}dd8g0=F1ukR_2*+KLL=^st2zm3?PD2*@C!g*aJxIs||K!k2|F5L#J+%`P
z6Q4ebl?-V;-?<JpO4WiiWV<Qh!crcE7b|}y#eBzgLUKyDrJk;bTwEu=JiWFVRoy*z
z`I-e5gU@UDe*44JltKMEl+)S~&bnq7KG}S3(HvZ|M*zrJDgu9%@O(<nt%f#_9z8NK
zX|%yhBwsiw4SYJCAa{>sosz;B6NF<K(9Q-OTO)Bo&GYA)_iM%kzj+cQe#VlFId_`f
zwGgo&UXGcOYc)_qALVIrA57BU9VP5NNcr;I>G3~WJS7q8{bjvts+9Mv)4My5MPMNX
z4q&_&HR!2+5Y^^$1L;r^UTp?<rV^ZXA!5WWpDVW%^KK2#0%u+2&j6PS4$Wc`$Qr14
z@Za)f`6K@=Stdr)S5JPM^+UXiROjcG&Tja2UfNhJV6Ey0;A-xY>P%Dq#gj7X>$L?h
z@QDcvtsTPV?FH9_bm>V5Stqi%kSsI0Yc#G$QrQ_gE`O#R<B=CPD@MY<O0*glcF+C#
zPOFmmrI12zj#DD<)4F?X=3ao22Rf^VH-=cUTUeLItaouz`8gr6w>Nx*B;x;Ow`do{
z_u$g%`;cQhR)8zs7UW#;NrEisSk?Fb0nTCDJPfgLu8dYEBPgCkU{Vss|9k?x+{|O>
zFd?DROr^=OZP~oO!idXJK}JNOd3jM$Ku2^y=!iyXi;-V`z9+=fcz}lpNwbAE0FgDf
zd7TbcjQY?z_OHF7gD9J5dx>yiJv%ryVe(uiGeb;-FfK|z5at=77HznPRh&F(l_Dl@
z+QGnhh3An^X3+$_W9T(pXS1NqHbpb|^E^Y+(0eb4N&lvy_>-o;5U!#0MNl5l#*9bu
z)n2wlwqsX}x0-bxEA-uI3{U`)zks1O;=|pu+qU0j3F(P^SV#Uq_c1E-^6t1?fg~jJ
zgbG+L82UhQxQFMd9=-aUD00d{<?vaPBU1xG{_Ce0mi$t-blR)+Wa7sg$iF_homBuF
z#KW;lPL!lpjJSJrv_aH*FOHZLAUWjsIwcQ1FKT<AloCnp_L8K2HF42l`H=PM1@&5m
zWSt`CcJH_mIPJjlKTmIDWyNj6n$bhbBP%N#6&z%&jc&Dd@d)c;22+LG?+mrRfrKVM
zJLC5K<^EnpMqGYK95^-Hjxh1!=h4WZ3KM~&!=8AAScrFO+4RIUI)w%wq-iHM`t<KR
zeQQbC!B~uHB8b$YCc;)hktp|0A>pOUil0_RZGghdk?)cR5AW3Vc$tJ#H8CeG_~d*K
zwh+(H^f98*{o-Y9%X{sS2k$pJ$kz#-gf~M3-I=eiZ&#kB6fk`*ceru)lvqI~Kg=6E
z{{6dxdQao-j?B@Cfi<fPgK#4cJ(ly^cS8BqxiN>V;UpTl(tk((JHwS23`k*vzmS*I
zQ?o#V9tGBBJ>`(rVVol_;ePsA!09Tb&kjOd4I?b~fj4RfM<Ac!w+{YhIU5q#;bZ#6
zbkwJ*CNCTVG)Jnkh_i^#n7#WA2=anGsXzHNl{;IZ8yu=eD7hoayw8Ds9m$KE8M2eQ
zJ2+|6q$xBN%84i5w`pDf9epRjU{=+;keh`8gjaHLi$`xj-CvBsB|Ah|Q$aIS%d<W|
z3AF{g#Gf#(=jb@lc6<1dSH-qU$&eihdqHkbXRX)gL`8#yJK0m{cU;lG{BmkLYxO{M
zxth~Z)p8f~e|bW7%A1dRV&a~9M?Lv>GGLV}*;tXLvC3oSOSmA8Cn~}h!nrc~7U~q<
zmf+;x@D-IQ1M*GoW@>Qp78`e1<u~;KbS$h5$$C))6=bbO731^oA7bidA{2|SKytjA
z!)h0$yxE43yzWJ7>)Ebn^fUE`KyF{bQ2Sq&;Ze_{fMWemQB?zj+-k6<12g|yY5%8-
z4^xXEpz>^5&Ry>g8JBCadB!M=8vqUE$j5oeD5C#oTJ>Gl()t}3%%L@9A#c5PGg2>H
zdh?%=dj_wI_2zqi8nQX({-ANGRiFWfqy;gn1-xZ3Ny##WVsDby4sp6WQ-5R7z7#$0
z=m0KhcE7>WBNoHnguv0gX2D{yO8l`YOjv<}jDM&6dC2x9sV;!py_iK$IL^w}vm1Kw
zH20-*=q1m5j~ahTE*7920{Ltg(rtw~r})|iI6q8xuzw6U@IPoN>I0a~??XI`Uj@j0
zFy{>tTy1j8SbA==I(UTGi33{!{SFLM?%#P7ZV?^k$RVSMxepcoe{Mp@BN><#sLOJ_
z=em=cSa3n_KPx*(NK{%=oaRt>!#q-oLSw21;`Ne_sT#37UcTiK;vXmZ@<=~|O%Ng@
zyB8z%vcl_QL3vc_%Txw3mex;VMg}^L2WXp9DIgiPz6QlNTWC@fI!<7BK}(e$AjMw>
zp`$Chr6!x!`Q^r0Ou4ig2v;n-tGb@nuV-cNYr#W}aQf}B&wx+H-wQ>V6odI6Myvl+
z61-uPgVW2euHG&uiN;yQDDi`ZU0ylhw5^Pg>HT}HpnA{_-QLmK%v+ma7}N?tIBE^V
z+)<ih(k$3zI>)BBtEe_eCR0hEZTly1aPdybS*~)&jfd7849IFSo`C%maXS&I-GC1w
zgci3rUP#yewk0=DV-YCgZz~eeG59}!*4+P&RwP#tVt6z9egRk?RY>MzHLdP&$0;3R
z1NG_C<s;^=&~sRkNz(mmpsk6ym0wg;^ohdr`oU?XSv{VOg{Rxs-GJ9=p_1I$p_o?W
zgQyoC*l-NnT5O9_7MF>6Ai)af_&jq|O3_U<A{ncCj<@t!9495_dkN&(!ljv#+xlE*
zB5mBR(M6;m-32Ad5cohKWHMltWzvHo1RW5~c-()UiXX=am+ph;u-f95<Vpp`3o(QE
zoJ663q7ZMT#JIlM2om(t5_K`0vlVj69$eZC74Rk|Aq?AF1z=dK`0^Gcu~yA%=gr(B
z=eZix>N*Avnk~DDGxFAmyyj!kir5U`M^~Xn;S;FNblOfCcrtzTe46IV>mUPCvHn00
zO5g?1Q%wDyxO5F<r7vc0?H51sN`m@p@0U15b-Uj*$(uRa1C$uTt9veVi47-xr437o
zfkVC4cXoTIwpp-vJK>5bNU)YFI<|ofsQ~5In}dy@eC7-c=y{mFp4t?<G?i()1rW5X
zwjNuI3%FeXQ&}U}mul6~h6T$$uhinVm$EclsU7fM&2<$l5}aLSI#s6rUiAPLIK013
z83o@-G3qRYymqbco8{exIBnM1psAgD_5$MlNv__%7cXy6tC>*E?q$30FRc3VtEZ7x
z><671(CepN)@l>D?b*Fk0Ww932M(!KH6XY_EGoRIng$Bqm9Hm;FG|qQ09<V(Z~2|>
z;s*J7lK(t6Bkt#=wo(noEeoK!R&lh4-Yz&-^|8~K(W*ra9h*7o*+z{bx6XplplD$e
zzoSMIOP2Yp5H9uk{*FsrD6pWbK8gBJPFS)QjMA6ZU`0!o^nyoXBf0gE%v5BB$QqL6
zKRN6attNDO3$Y>P7u#EZC|b(d>$L+d-zdu=aSdp9#|hbBwS~$K?jEdo5z{cYB$f&Q
zvVq4GT~w|l1>Kwi!%1^zl+*L_QyM*^b`@GS@y?qgR6`pY`6R!q$>REb1Q4x6x@xe}
zxxP#M#QtW|!jD9;FK};1%$?2O_mElfr37o66lm}AqH+wfyj+6=6O25PDV}6FB)&rh
zq>V|cYS|CM9LcLb-ycEk+G_PcJ4u6aS7%qZYu!oN=?X9=%oS^(f4IX#RfRE_zjV1s
z655LeTMbo?Wdl?(>B`-A6-aI5JJLUFn<;fGs<e~49?B9GQyI~0Pl`a7-<GX#s`}BB
z8g=QGp3Usx`MSY#hNr^@W5P^&Ey~YztfP0x`R9~kQs+FI{ha7!`L&M_;;I2OHQZZW
z)w%>9E>E=hp<_E7hM&OceWRYi<8P<obkl9DVGk2pO9{^6wC!Z#Gc3F2Gbn7syQK39
z1nCS^W@1yO-3-#Ex3Zc*iGa_od0HS4z=VrZ@j&zHZ4#&VEjWhff;2ohmn%J|ir>i*
zNfOV0u{rH}QZ~9y+wM6kAdX`o5O$OFa#R2@>xUGISJgC9DU?Zhz4rdIDG!+01Qt5C
zO7q#fe8FeMDc3mAZ+Vn{>D<@Z%2b;5P(mIAo^|;;(TNrxhwIKdcrXZBh!-bWyIfG<
z$3=~5u>vsw($)5cfD<eq81#j4opo6$1IGsV=kl)=A0KB`V9~14J+>*mxOmIyLVkpy
zM+_*WF6MY4gi8!`)c6f$EN$;exyyPAUF|ktYhU%lcmY9VItEMvxaZz;>T@^NTU3J>
z;}uKc8hQOK9ihc&EWXT@y9_2+tFOHTCc19FYbKX6@)FMK!B3wh0XIW9EpIe&g<mfZ
zr6MZMiF-iW;`xcO5}&uakkoTVal}p9bn&sQEr!fnO+O~t$mcg}RzgE-k=AEcC$B5)
zGD4@OGN<JcIOL-X2%F3<))-6F2!_n}{h~I)h@4%>(<(GgNH`5iy4(s!C^1Rc_W=rp
zj8Gu8n``lrhDEe2EUP!Hbfv8)MZAXzClbLibE-fX-{u?)6e^HtsLRUD6bK9DiGny|
zJs8pX0RTQL7Qj)|ucM4F+xz-+(OQn4>})vu-~ca5;Vk%6ynOIf=!Co_V*pA^Xz^Gm
zEvpv|lNoSIIAk`dq!mwBoZi)ULIrq#Xg#=5+*Yl5dT6e_g%VR?7rdv|(5}1e!svAK
zD>aEt-TO82vRA)cPA#=G?0I$v_$;>inkP=yOJ{bX<<k~#T`3FHPNtoOoexo<p?B)^
z-4mEc40ouFz*Dc{++hvYzi%A+sIwk#;%Z(t$=X{n4eE(!oH-rs`ekZK*S8~zv?UnX
zM#hfI8$`=DD%}i|wQRANOAJ3&E;XrI$8CSt%JuFSVT&J^CBhkTmsW+eCx|5l@_tA(
zBvvxmQWZ>6H9AH}N)Bg&;p;HNoOh+M#z(7nsXu^g9JzSvlF24i6^YI_r8&eRj%}m3
zGZlPHzFW8_G5)l2Ntvqts{L-!Z9RCZAyRJlZU5k{O&>AoqIc{<$!geW+!SG}d@jR?
z4d6^m;XJ<|qX=T6tVfz7#70gIiNH9q0TT$ilR3XF_UY)Z{00q`WO@pym$+L!Q*x9{
z;b>jX_!MH6!2`Fmd*`=y;;SU<nGuqxaL+gMvv0<ade5gtjQ2nHeShv^RJIpw>ANwf
zk5zJI7Y81DYkMvhpBnOM+6&QM38jpUiaXkgl?V>#n7UZp>$H9dGtYTdKq9D(c4IYJ
z&^|xnZT~}Y8ndhO8THE%!>$tUG+}1ou7$joNh!>C-%Fd1*&*32cjgl<h%TNrlOnTf
zN*I@$L*}EMg5|LI<t?$r8ik4ul|95`<Vg1&sV*NjX6$BOM|nqZ@=RO55ElO)VL*ZA
zG+f`TRs-ZUJF<OX7Fu=v_MwTM>t#tfsf$@2@sBSt;=C0Y+z~rr_<_#A@CO`X%CFTj
zq?zu?tt+VUoV=IkLO$ijS9~b0KT9O>$em?+E)k2nQ><Yr+2VvMZrYh4Zq7Fo6pPlF
zIlJ6>5N<7tNn5_ZNEzEN=IidE`lOEnY>4Enf5L{`tOHx20r<h1495%smCb3awc!C?
zIqQTMvC%T{G-EB=$-S2zD+CnF!Aa4UMAgB-@(MIp>HD-C_;^-Q*42~SAtC1uyZyn0
zb5s3={rfLv200}?RD*L*6N)lcBag}Is>^IR<*yVMmJ?1Reft}b`lD4JR`34q22y>F
z35WhZzuo05N@k=b@6&1}_Zm%8<V(!5VU{J&o(00Q^{-+c0BD7*oHoN^qT_7=?{ZYu
z(bnzbf8-Ieu@3ZO=r#j4UHVEKd&GE$4`~CuoPM7yC<2ycPIT$cf^sr2pqTM9S5$yM
zd(e1n!-EMYo@HC1vim1Oe<*RCRySTt8w{}u0Nc4D@zD2F>Pu)$g1L9{qPe-;Ef&|H
zAeQ_X?nmrd?@W%N$f4ULcjjG78dcc-6%moMz@LAGQcxB-t0;^MT2RZBK-WMv*VNMK
zBLK-2doi}^N!0sB71$cIJfijatoDiPe;?&!&Rm81=Tm2`?|fr_TxIQMx_RK5yoaik
zM+n@=W#^1bHZO#Q+T57%Q4y+_H>1x-q`gC~g#c@_&22OG#-HN-c71tawLIdpI<Hu%
z(qlXU=&}Cq!FPgF+ddufz@;=*eK-n!Ux}iwka6))s?NV^efI<oEDdVT-b+K-xh2*l
zU1MM&Sm7Irz8A{LVBVGj0@?7Si)>#_X0msEbhGgUudJn^Ky<0QM~F~#=?+Kh@QBQo
zVA?HAqi(Q$&BxAKpfmxm?GthRZXM&8Rhcg@2&arZyMtM<_g2JiiI#_eQ6BivsDyLy
zBOX+uUxA0WZ%=zaI@$m>w<+nq+A>D$U_je~e3T<Bot+KD(5c%zgA(N4b;&i>Nj1)*
zkfc@B;B~4B?NtkuK-hZM(ajZ%NH0TtJTIL1*w>FPm6LNb^_I5aqLceyjDk~XRcH5_
z{guRDui)TFz)^~8L#_+JiK2LxZG$fDxT0L2s>-b$SLf3qGz*?F!hNttH(hfkPhZ9F
zun^udkZQq+xK7{e7|$ua<q0_urmcp}=ThsyL7)rBPAp}q>m!#R2u>NN%^vdafaZ1G
zhA%%#dmGr3i?fxZFZmN{EWG$=cs{H3GUHC-g|dAu!4;YI<~96#l6e6C0VDF6=r(r4
zn2LwlI->lms#bm|JL|eW;x67_XF^~o=rRkqlO1M_e{nZx90ZvS*feIQpdm?DhHOsq
zv^fJ?j*1A|C~-{<ro$Z4w{)UT$4MLcw4{oDv(_=zd^}&);?GHV7AV+(STNFf!}$1{
zMqgfO9o#et<y@AEd;RvXc&Grb(TQ5d;}B&mwU1oDY9I$EY<I?=)K7^y3I4DUjy7Q(
z7}oFk(V+)IN5uC=6lX=e8A9F8d^TA~-P8l|zpC(}q^L5uw=>YFNogN>ts`oxzMVzb
zrsrVDt1D5_pP^q7tUCd=Re{>tAR}DdE7PS<Bof!D4K~c@G>1XSxfoi`L5YD56setk
zJRTK6%Ae@WUj~x^rQj~3r=h>)juA22c#!yLL!}}Q^h|`{95oKw3C$#XmP5-iciSiY
z+FSK2Mih3{hj?*6@5L$F<j7^p1XL&?O5Rv~Xxf*DGC@|#QvMoY{!3QWL}_?1Xn6Hh
zIs%NGcB~PpN}`XEjTO$4UrrjzZ072ot#*J~=;}d=CzZEXO8MA%asF;oAeKvGzPD+w
zkjcwS8OvI>9Vwx2I75razujlQ8c<f*e<d+ESIXX^-Y^$wEPSvFGl^xo8UV_>T#abH
zXe_GjCAgKnTt7TuPM6BEY+sRo&u{p{tL5Gl`8z6onrZgs-$4g^&&^a`2*m#pv_x|=
zc&e&_&V?)g&dd7W8r7fHw|w^kew0ORU24OcGq+Ml&Fq>+K?}tp(Yh#oeSrbkf7h<|
z8gV`8KHi@%E=_u5O_y5LsN)?fs=AN8HTOk`THFcs8gn@Yj}!tcNS(8-Wl;gbcZlB5
zV)$bNj^kj@$-*tVIejiDtEi5mN|pDFXhq8+O`=PK(Ji*yJy@PXk{(~$P7MDqBE@8C
z7Q+6c^kPEJgm4!;vfHvCuly)2$6s@)_-gdVoSEJ1M`z9SLG>_DWoJt2BZ92d=V2zl
z&eAF=?uQ9h`8ZX@?}g6$rl=KlQoHZ!RInS!WVt8+B}ysQo6QW)Q|C}S5`Ed7`wcP4
z>lz8Q-CQkQU&F$(Ph(0Z@^_|B=kNpbu0`Xa$i>2rAK&vu3WUqo#h7v_q#0ClK9c$o
zdf`g3KXsbdzc|a&GQIs+p)^OF{##2CAsCKNC|D}ocV-tESBqf4Nz<;rAT*KR=@Yse
zb{6bEn+f74j<nVuknt>W*D2n2UYIAV7-rB;{4E!g+3`jNA70eAkkh~XnNZ6SOd6oO
zLAdV!e%97AG<Zgy4!Ezay_xXX%Br(Py|e18@Z%3UD{i}^-9MiW8}qG?g3IFdZ+~Ej
zyQr33$NxY?3+EpGfrt)`6T|WCX8pJqB-HT{&KK}8_uF&F7_N{0^EEg?*qaLwQ|BgN
z<*rcO&k2X~CT9qA_nlgL719&SVlTDRv`c4dZ>pXA=1BZ6aD*XZ0b38#&&-OJEs7`Z
zjVTejwN6fOlHqn2%|M9-{mP}8!=`Tsp5TWEHg|SC^{?0L|EH&*y5js0+C%I@K&Ar8
z@0xsOP2JT<xGROv@B?k0G#7B+DsPZUaZKjko(!<yVZvsrzVe{!{wS*I%^+#@*=8u~
zwHWm?w3MZc!6#xk(mck|xr&YiO~lj-Eaz{PL``4#ysZV#2fI<q7iI!Zu#_W_9JFUq
zGPGnXB%aD>9n{&}(;QLoSq+Wx&HxHQ>!>cN7Lmev+@&xS;+r|McI-Ixu3G(xz19x0
zhQSdV3NvmsE0Ha>p?bjcueMf^JpkR;MsqO(uS__E_<ow=DfKI-%AYmqWNvsi7CG>5
zPy)eXCo3n<7+``flPK>|bxjXFJY5LYTydn7@J4W!poHQRmR%?DWeeYqFs=RUh=<yp
z=N`I~d}nYS>sPsdtobLm>ii2s`djr8Z?2Bplc`iuPn-GBk?h}JdO<=V^x^B1n7s%a
zV(17W1n;(EYOkxsd$#<o*WM+}?r%C(^_+Xi`_gl|x|@8YTR|9yGTVGYiD^AWzupNs
zuo5ZWl(kIa$z*T;;}W;dWlQbZJW}wI!;nwiuQjjB(s6j8vT^!LZZil`g#0(dL_S0<
zzx3Ax-wNFlHv8J;{#!G5O@IKhK6a=1Le~K$6()cJ;GJDz8p&`TC5lPV1g)5r$7E@H
zf+<wsU3wOskWsW~7VT`k>BmzCSR9_ac->Y6l$_FMU+%?Am8Z;GoX>opTtg>^&(&Gn
z+A%c2=SkO4H1LEt-D7`$pJzWm<NFZDU_>?Oi%DFdPQ#Q$yXqZyn<4{g=V!;~G$As4
zSIwVIkzA`fv89<p6}El#LoQ0egd`S-OLuHRhuK?aml>ClFzXvi%#nDolJ<3frjI^4
zzfTo)d0jX4n_|%sCF8a4d7aE!Dp!~?A7wpAlRuKe5@JDJHL9Jb@zD1xNXJIjp{7Lr
z()*k@dqB`;ZeT+jTYfe^g&wnwPe)^55lBNKjOA3K>f9s!?#5s2@Tk#Xc;r$>h%=AC
zLV+wA?85&QjH!iHzh=?;#i)AJ;D-u5BMpYJ?u7M{?^5#!xs`5+Z;AyCnwybdt~i@o
z-kCKOxJa|I3Szk(V*1~%;*-H2BhlI9KNqa}w7q6+%N1)P7u;{SmsZjE4ku#*V)}Ug
z1yZja=eMsIu}8I3Ml`skcb672FSFUJiB$whKcNfl@sT`z&Uq=kdHuN1L~EZ9+d9j3
zCqwy(ogw8Fjgp~WlKPo*&};m6mc3)$3{1ug+#R!-cb0V>n?=v+)2e^<Qwi>Q(3~!#
zu#LuSZ$uN5+_)6Ud<~z({LMGH?1{=d^lsbxy!1@1IBBt<^^M8X_v<7$x_OO1L^D8H
zbm^G4z%_;WCP{ihhYdt`@Xs*5Pr^!k>=2BKXOP=wVVK`mVB7d~OG{8l=-oRd57p-T
zy2~riX|yNSz~-@Uw+GHRX^I?dE^sE!z-VkjL6cwqm5ywL<s)PjH>8Ux&C903A3uI6
z7`k@Q;9=I6+R^XzUtcG1;k?tX7R>k11tG7FNWZi+{fi(poK}~#pjXR{A>Y_a(t6a}
z$pJ#+zs>h;b9b&YaFX{<{1~@w&v#V7aGsFFJ^xY5E`YX5Ye?9nkDTl3`|4IhUmjh5
zgw)1FJZyzMB^Pp@u*>yVOz2@D5ZdC;em-67{(J)fIrkqo6~EZvc14t=tuOd48OjNL
zZAB<UY2(X{cg65fB2c>-w3~5&%|8#e{(4is$kQJW)8c~V4fw2Jw17I?;yZj%0sF34
zufuP)TtyPC$Rq-xH=h@<ETF}PL7ukWE90@&aX9;0vN!x#!tWS68gO#dQp5~V#I|3L
z|HruBVDQr1^{YA_N1!uIXucf=b2SMR{;SaDOi7Q-&&?$V(|!K<p;%43RCx4#dADNN
zW5XCbrL%j3Rm$hwT9&1++e#PLi+A<$tdS+o1Y3CaFJ!I{CFM;zp_l_Z)?PWy$Pa!>
zIdPMdWlj+}I7L=a#P_=n-rIE+)2q)>vB(p3`P9U<pS9?Kv%Yvzl7E22#uZ)>G{&YT
zXQgV2?(SI605~urf-66cV=4a#t`z5;)tt35MQg+1&<xki0nTVBtZ1t#l0K6$yDGkv
zAT5$sL6^r1Imv$=LrX{W{CxVv!GLqyb1tlPJwL&=F7KYl<Up@&&+<qG?OHkebflor
z20P}@cFC&fG5OXaeuTkA_T)#Ad-G&j_cToPenUkxP2C-h0AGjH?q*E*(bi(i4f28b
z0|cq${lfmB<_&hdT|JY!&KB+Sph+LmUO2R;G?m;Y{tx$OFO?!-XGeXg$V9d4wE1vp
zCwDTRZ!%n!@M6_2B3@iwB=U>?CC>J9iCtRiEc}oKN4R@TqR*7MOSb|PCwXGK+!h+m
zTsan=_7ztSJa;oUMU@MG<!?=6ydPwLcbRTcGC8RFU{i#Tc0^f0y0*%O#_Rb0J%O%5
zn8%WyU%<g*`q`F~$klQDZWl>yO~_T(?}BE7jII-B@HHhP_Axuo%`RL?u7D{MCIyq6
z<zkGHGl#2i1imoAm6}%gpfu}3r(ltj?oQtw)tlEB%A2CbrN&NPS4JGhAMVK&mKqi|
zCjMdDe3UugSa;m?(adA<FlX^7=;N3TEy6UtAtLSm#ZT(+A5enoQ;$mm&hj)+*HZWg
zj+ghug2s&~<4X5xc6g2GUzkZbtycvkQX%YSa1d8wx&Tu)$g$u<b7WqoSa@%zmp=@d
z52-O!CdN`{kf9yrDrf?T*^~N(I6IfEU8Z@$I$XbWWg*`|u&UO@xD}TfG5^J(lE5v9
z6F)TCh|@Q*AdiL1MT7cu<}gvq8G@LHHPcW6_MHPnynha5mdOG?AE4lWMAjPuiJ2NQ
zVu5(irH3$I{`Y=eZRqJWbFeC(cIG-0`tvay_EJ}O=}Jxa-0YM?h1PWxq(NsHU^iw>
zgtTr<-c|2y!Vi#BA-b~OuS@p343su{Mquu|Ukp&0*Ybu)-|W?&U0o{1+xRd!XFd%1
zHWv|l7E(LZ^3<5=<HJdmsNgA-9tG>b7k1>vfc<;XgpX#A9a49OlC19R=|hBw#%8On
zUnNMSbb;_`=1OCMnD}l`P6;#pw0O#dYAdoJF%Sn&pq3A01h`9WqVn#82j5G`-iAZ$
zeVYZTs5FODm3G>kIQU6D&;Y;{95+?;Fn6PnX?HPeY^A&QOa>G3irGvkrv~mP4!6TW
zYHPJMs|t`vcAtH-pGc$>gXH%onQ8`p?W-Mn3+~-S58Jlxf@?yLefZPVp(Q-yN#@s`
z`%bydd}UqhG)%QWf7@}WLIpojTXWF?#F;DNY4cJ<rm6^&Q#Z=Kd(U-rpyVQ7%|XPR
zjc7V;Y$fLT$K>?|d|rTKYJ%8)%B`>bbb+aR0W;WPP$uiI{9e2Kk78g|d}Uw;q!>!T
zha=*m@9d0A!Z>JkF*dEW$tfC+g-fSWwKp(0ux9~T$9kbr^4MJy<XLrBS5y%(RB89&
zXO5$qAYcILTKz?!+b<_!e#(4}*U@(}G17P1-*_Mfo9@6(iIjtPGzs#9;9SdVH6GF+
zA%l?cZ2PXZHq@f{BkY^GvJ+wbD78&Cmd;A%=(*C84-moQ<8y)2d5=I^)xpJUeS>h`
zi_N=AOr#`c%@7tE2{sVALvqr0CTx=L>>*Cb25~2EkP(y_p?;blg^%_enc*dB=?1@z
z^zMB3U!>6M48mVZwEet1gtZfvjUWFW|Mv@ZFH1;?*q*PQC7PCawPpXW9r17#$kSle
zi*c0CCJFX5RJ-mxReWr(4Y#uKdHXog+J%u0XjBGS)zd<g(CE4tI~#o3&!KuP?ifEb
z5o^{w?x@|^wY+}lBc|c#NzL?bIO~wSSdZ;JJ(A4ZtSp~>*Ac=ERKFvzhQ$YDo$fjD
z903ho^erMH@t_kI_+Pw<P3oSjRXAT0!^Ff4l#u+7kiWNA?L6fAfx2@>9s~3B1r!5G
zEd>G0xfU$pS1RWau{P0-M}XMkcil|c*`mJ0RW^`4=u)&Sh)ubCsR##=tKh@tmP<Oo
z>6j2kBpw)qZ|v~dQhbgf4@I-E5S{u0V(o8Lt@<i~5;b)5^emUSgGSBP*8}8b$c$AO
z;-UN5`K^o4i-ROTmdaVXLBx9}f(}LtCZd#Om(79tqZ81mEvCn8xX7|Q7+#RizzAAO
zGpK{)Ea-L%!I1VDNKU<o)4$AkmL2%9g6K~X1|MbYZ7?nwcp|ZqxY7F661xt$sjn`W
z%sQDEMk^^c<~LiZ&HR+J)aMbDd>aBzL_V^aRftava<(HFZHaQGc;r-g+jfZ@kE1^X
zlN-Pen-{6+L2O*Wh8tRn&ZuL-b*e@`W6qrLKK_1*?(zc~{W-D>V-LN8_dVR5o+Cb2
zRF{#!fxMIL_G2cumNK-?>1vQodyyfJr&OtsKB=JX6I_ANDYnP1PxlKrzqH#QV>uv`
z^&W|~q2b<ozhk)AvrSEtJ1u*L4s+=cB9Dsem%@Zk!%g6dowgUXteWb4-ZeqyFy?I+
zQ}5M_NMvNmG@9QJGt)@iSWzbbNZ5Reqtfn2t@>hQV#cLjP3b5<xHoc0Ss9aID{WVO
z{TGg6&(z;#nm6H_NKU=uqxl(p$>lqDcz>MjnLo^hNP02^=E#h)dM%S^hfl?v^(;TJ
z+J2|SHOpCQ<HWXAu+PMeURgxU^m_Xd!(%cyzz!tkYxal0k?jzXl*S-23&|X@7b*5e
zD)Onr&%(g%2)2#?hZ+p<%YXV91X<X$o{5RcH|(x{@RVQuB=|!`fRTLDFMb<PVNHaF
zkImVxuY%Ajft9c?A9y>81k~#=?Ln<0e6iDA^EIe2h2z>*R}0!T*Yy(zL~fmJ_ntC7
z+Wwgbx;E>e?xmpmOS46GLoRwxa39gZdPIWvb(=2Ie-MYI(zDiUnWoYDhX{d)*$%;|
zMh1!jZ$}$M>-Bu#qoG2#I|gS=?4=|CW)BVNxVT|`@jWjC!=WRD4G3g!EpRq0QA_=I
zRNK>Q0<vHk63_@rkz_D#t_hG}s277tLGa7`I|5mRh_1JapupQNIf3dW@R_z1$c)@^
z2U6)s|Gok6#W_T@c9O8tA<xy;TX$EDc$n6=U(OQa>VY2W4VZZZj$4R}3~U^K#`e!I
z!x>I;4gyg^XTrfgC4?L#M-ig_chum}B|hF1C)4;p$<BedU>*vC%80Y_qneuSPlX-E
z1iCZM;?fYImG^p<>_?6@j`)}w!eL;?=&$^J6XD42u>HQi9kKyrdn*NVZJyhq4BS6g
zw(CTqOO1SU0Ozy5aVChAu-_69w$4ZjP-46yr<?!|B{(N$$Ce_Jp1F{)PzXko(i+%5
zIUYfg`q4#d;>3`eOnI5~d_QoW(WE-SxLmIZ2}OIuPrtxD{FGnyr<@@QMNV~Tk(@W4
zNP9e*;%5l`^rExNAJnE4Ev?&+{=H?wZhTz@jd73w><2g!BVn#^E)(IeIL8AI!GHtC
zK_+<I7^0e;GMK{?MiVlrX~LUIhGW>SQHv{nA>5?L+QE-5gebiDEmej0HOiSMd|+1+
zo#){3*?8jbb5s#N0M?w~R0+!R#YGq@Ij%Fuhwq0)kC(FVoPits&CWD%PU18B-@62Z
zC!)7pWoU3q1F1~?WWJF0j>N?O(cV`^Rn>L>q7s6N(t?0NgM!ix1}W#z97P3{5>z^*
z1p`4kq#F+n5{gI(27&_8EiDa#2avvVp94P6`;L3>r#t?iu3sF3arWM8uf1ZfIe&2s
z>QtW_`6KK@Pq7Z6ts$qG${WlLfq3h2J9{8D|Hs9EH&eNi(l_Zp=_M{wq^xQU{Z>(}
zq8Wl90<GLS(8zHUpILoq0i~{oHIU24g`v}F0;~YigvyO$hgGbfE|BeHD3g39ssL0q
zqQ5mzO~B96XyV!oybS(qK_Z7R)_9-5azPO$RjpaO{yIdn0x(fap4u2O)*uvv=$s!H
zGKw(UDoxXkzW#7vX)qOfeKHC)HDlc1PG|!xInGEcD1;)MVj6xHW5NlGE|<8(8&sBn
z`P$LN^Mo%!R1a!GM7(NiLg@RXBFTaP3?DJu&T|YGX~U#8C+(%&ndwNlqj4WAqKDl$
z<pT(}&|9Uhw<$yRv`y|IOmU(NivPp1sU}s}cC!6`3wfZdrK~&A9{ehZ&|?uq_`ep*
zo$vbuN%HQ3(EbOxu}M9jM{H7?uUxqTln;}Q7zs;o8B+Z^52&uye#=Ppz4)F`E-Wv<
zR~Zud;>E^z3r%b(Zide|lIrrn7n?HO7uW7m?jh2N*%DpySB4;>tY6e72%9)jin|}s
zbU(U}l)Opfv)%1dCEA1)5UKy7CWnvB@%^!~0tJUY7U>5XbB-J1AV#zHLVZA^E+DS7
z3iK<0yq|R}2XlY!SbD{&2mShX`-zg?u~%6S=ucYp>1DqTKE2eK1JFU2N~T6!)+%9{
zg8-xOt57iHWPWgVGX;Fs@vOBFjny&XJ&b&)vor=1R(iF<nF}Z^v02ZGwZvSB>6`n6
zc?e7?Ug_#+i)R4SZ{Sr-rJBD1rF`&(2&gss9p5v(Bwe+%WVe36U?6zXxp&qPO4Cal
z`4?T3{^;PJ{XC`8K*bt+5|rT23~;D4tK;}uGAvY`&i};7TNcy<6N@M-3s&e2-cxiC
zZf%V^c|i7F%}jnno*2LKQ*5{ZqUWjG=3rW7(Ua3>jK!JJ9*2Ez!`y!_jWnXn&uv{a
zw!yJ1w~9x*?72|0|CZR;1;dXkE?8nN{nE~=uo$<JC|jSQyg=fc9N{`%J#h@!&?o)0
zJ?Z26?gvh;(5+!>+!Eha88q}i%Tbm)x9>WZlR$j6sEKKx+<xbY3fVCvR#Twf%vZ0t
z*(Cm<%B<o$=cIed;U`9}g8iS)Jdi?CHx(~N4FAkuSv<gqkX?z0y!)zIHBPi1^1<DT
zb1^Igq1y)Lx;E(pATpz|^}FWMJ{70^?>;89P5Mrr5V%w|@y7)<C6NDLywzF`6|oC;
zYSwAJ46$`ZoaN7B4ZPW?fMFL{_w?v#glB%l+Ue{}<xsGce^;4b*Xs$X+-?Xk*CW6)
zz;?Z6oC3naEDwV}xa-Hx<XsN%?K;9WIo)m}cFIlxY-48M*jN1}qmEE#N^2pt`@jpL
zJUn53EP|(|Z}b&U4^9MKDmZ>&wLrr&@9lmV0q<402A==CYcTf#_W8;^Eh|UnNY8J{
zRCPIdtw|X)MWuS!!tq7oL~%PARQp}n#n-M~8#t&;n=*d{@+WDm$+oZE4R59My3m(p
zDNjtd=h>ceVryoSPoCGC^c7ee32vKEVdB<)ae7H=w1gX|rR{&dgn&cE7u@GBmWn~|
z*_~{_B!q4L=1{8pG)pp~FhL~$=kqDU4~c5J=-Zy!i{_UN!869PYJvg@i{brofzLO?
z>^JG(c?KH_rhFi+JKda*$yBDk5zkh2cIdK}A{)ncmxZ|Fb-{M3K-gB2kADuG;z!vs
zU~YP+&JU*@NUkZ%N<Kbq3yH^vr3Ice*REf0TQOL(towae@NVkKbxfIt$i2ibsT+_w
z6rkTaMvGr4xZ9nnu5CpgdqiM{#(H(p)x|&BoE2~mPPGXbIo2I`8QUXgS*fS9<-|}r
zKMVob45dGost_tMG|0}2x@YB_kf~Z}X^6WKxg~2^(wkhlqJ_b1A=1A@_1CpX^cJ0y
z=V@>lg!wtaVA&GjrIS%m#W9vGG<jEFvaFzL^Izo8?YAIWGZ9`GeCK+^I)7d;B1nvF
ztM?^N2hk{^n+dqcls?ucZ>zSr=HEJjSXs8?HYG%}_}OSGK_5|;+Lr_5&JyEY6WDGU
z>X&T%JR9`c?}@n_4Hx@Afo|5f6O|xRV}it2FV8}@)#+9LtpHawuau_-p;CueScq~n
z@H^C}Z;b~M|Cj=JrPA9yo;uFW$p(CIihQkT$<bGl4ZhT0k<EN~^iMsYQWg%%g3Sv)
z<oWiqJUHLfT`sArKV_ht19Gtf-kB!eVUzrpp~PmU3jt8C=Yui9y_IcQbB!j^tH9(2
zU?j?%DKFIRL=d+{$Dg=;s-<ssV3Y;@?a)ugQ+48^{=X*c#0{@&<p9nhL5v;G<oxa#
z#9rAv|MlRUqwxSEs$2&NBmP|DZ&JIYex!HZzwfa`WdesYB=o}W73F-r;qY<;FeVY9
z@P<%Nb!$2Rw0g02-$Rr?Wn&)9y){<d^HG>Oj(mQ&QGDc}Py-efEA0ed;r7LMH9)>o
zNs&||cX~&pv2iBSGnd|dB^9a_!y5B7fomdLhS@G&YnJK*Bt1^lYqB@b9_?xXKVE0R
zH$|1=SQjLSd3BH@e+s)~vx&pz(wTE!Tf>w~vBzAEZeCz6ef|CNE3%}6?iD@zcqiqe
zWA{{i{(c5E(QEkTyA4e!p2^t=Gb<7tWYp*>Y!V&}`%d_~)cr)oU3D{x$_R`_y7WY~
z^H9Qx*8P;CVO41!x%F1(DKpP$K$>RN0aR@PUXnC5{^^1A8==SvjH8wS?{eaWw4Z3)
zbbIsN!f$k&%aLWzA(`3kwe(_|XUQ}w)N>XHD^50LPV<i6j^##;NNiz-P}!q2W2^<V
zNU#AA9JNII=UA(Bt*X;w3}>B|qQNnKAaQkowA6}H%j%An)m@mbwm#=><;x>le}Zug
zz+YXatnOnKU#or%DO*EaV18#>$k%m9-3nYoBmqLR_BWgWT8l&qVjJ4{*vTeV^uB6O
zO~5fR0N#Zdewm;^^qiEf(S1ZqE;6NdEhT$r9eaP@)$&NS!$>!WMN{!FHTbw^Cu1xu
zC*3-97Xc{L!Ek@|FrrH^;S5}3TxapBx6nY(qQiWkGA^=m<AG7kYMMtyjH$M*SjvBL
zFiXo`;VGEWzxW%=KS5JMWo-^_4)j`<<-&Q$Wy=S4OBi%SBxmJ3$EH=!hV|uU*yexP
z{%rZr5$RQmvbu_n9Y6lmdUo=Sbq!UfR)j?LxeC%Xr`P)kQS1Xjy6U4LS?tIN?os>H
zV?NFRXEgQ?F=O8k65_5aC%;u(g@{jXL=ed{S%m$t#_Av9>ZwK*L~9m%l>m*XCuE`Q
z2q7NCe#AZfFsp|I1w<_oqDV;wkuQ05;eRf8Ywws}0jdBHj6qt2@OX%{9rl1NWZrxC
z<Nt`tvanb0;mrr%yJ?;L&Jm5B!}687-Ew&o4rEA&oWVQ6Q-PDK5bq7y-1~igWr=sj
zcj*l%nQp#wT|GdRaLjaBIX~saJb-mHoPj^NZ2~r>_?X|KZsToPaq*}`1^*@GOQDlo
zw-SlDBm;8WEhOp%N@<w24{<rVBIb)3((Xe-7=vv-k)3QnoByf_=J&mekfyyD;<x=y
zO)_;G70>DPj7DF%pjQtTQ+bxCcisVtk1p;ZB*|}@fUGmY{ZJ!qc);CXUA09vuX7sO
zeOU`CzO&eCnRK2Y$Pj95V!@yXfjit`IZxl>k=8E%@;HzS4Nsi~_T`PJoZsjxO(2n5
zmvhd69JUCkp&(2K5!XmaImVnll(|9UBy~4^m5vaSdkI2x44!B2(m}iyK=$dE8Q^B!
z5?CBVD&}Mr*?J@=I26vjUe5u;p433hcBaWO5?C8JzbVvjhoWF#z^~&;(unCRznad}
z#31%UfM;6E^wJE+Wz*5CF;V6D(NKg(n2t&4;}AO~ai*P0F-xC@MS;-UsyYP9qUvP=
zW$_c)s!W&AB6k)g+9Ed*q*{Jt>c6mu6(J@#D=2}12No~F80X-PlN)e&URj_%wIY`3
zt=3_A?q&K>b2IjeZI@*haIj#Lidg$?2PtF6SEg*BxJe{(@?4SG2$bY^?l4yH_HC3f
zt&Rmrbk5R3D&mW$(%;j!`Yimqn`u+zpt5s1PzGTVh-h|3G49kyD7f~ZS_Ja10<v3K
zxsW>X2?*1`@o~~lX?wbL931a<{pj|!O}KGFE)T!yYQSs+A>yfZ=Shrs8erq-?^GR~
z>g_sX=xtOhwpQA78V<CeqWSJ)t;*iE@qb;2YALKs4hG-$8S8DTO5HrLm2*o~w!Xk2
z+enkdil~JVzCp@A4sRm2KrC_exfN}01{!w#wo4re{yXC>iJjdN()!E?Nt5{lp3jnT
zW%}x2lhJ_UC>=QlC->y|VVylwC#UZWueFqJl;=ch?(~&)nBf(7i~6!y0pK>Q<W}bJ
zISAXhkI!p&r?*>_MvfppZK;vb!d-e(en(LoAIBg6rpWNgsfet58T=Hp^Q|cWgv&<$
z4Af8ln~pb#zJ`~kTwrvr*SuHf^h?I`$BP=Bx?=|T?-nWA#0S`_ol!ek2LdRHt(GM(
zy*Ge9x#Z%Q%B945D>Sn0olxc;l*LD*NX|Yf4tJsPKr5Xepl-(K`qn;i5&=1Qmlm!&
zA?3iG>E{A(o=jYgo&WuE{uWrt)jen9`%9baYI*FMK11#E$gF^)wYu|IVkSOBEn@5J
zZhM*!=mbeQ(w)znqedR6+9-u%@c=L4dQ~%K4sS?qw|1#oY=YAk9K`YLxP>^#1-ze$
z(vj6xnqH=>FPh#NijXTwC<Kz~gCe$nIBuFvJ}iNTW+or`R+Krl#%ifZVIv6XxVE+L
zO_Ze6RlCG)$T9F*0m3G#uP8R}dnY+6V|O8X$j%_~)UBQuwBo|>Zd(8^YkX>Ijk86r
zY0`Px#=x>YS3RTeeUO84X9TgTDSgUh(?aFJ*|V7Qx0Tt=pjWbw@J?DuoRQ{Eh6^g4
z)q)r*s6HU!3CQu@SXYyq`>EZ7m}Px!YfiU6Ec|Fh6f{_2Thgs-)7<yL%!4j#|6W4Y
zO<s?4G0O2q=$+$YpO$l@UzagojI>lc5|$YS+HrqYRL=<@ivpoBM2z7=)pfP@-r8Ff
z;&?x}oowIO{|L7q!Hqqda$Zmni>?L1=sF<s<F{U~EC7BPh$G2_8ih%Yi7}8sr+aV|
z3b;R3AUT`ZW=jTcW-`co5T-qs0tY1G-d{R8vd~pQAdW=}8$GM@z2{PwY>rET!~zs%
zxH@_}EK8QAc{CLsk5hfmZl#&lZNob>O(8<hghwMpFj%HtP6B8tlTQ^?KD0*Y#v%tV
zr58Y%O-Vmos`^|zK!DQ0YUw|k02y7#s-6DW{FK{V!G&JNHMRMyCkv&|oI|wz=Ze>J
z#9SgD$<KV;7XNeannK86k_!@~5Ed0Q(1}6g)nebN6+iZUpv5@nu$sm`I|Au7gG_c2
z*ky(71#yP%df`B^tx#@A=7oT(9WRoJuSGiuIwQEH2I{{1Nm`iEQbw8%yQ}*8^~EV_
zNDg@U8~y_4oZdoDg7<6#JI|W$R=&qM$uXb#2Uqq+9uVs<19G~I$<%eh{E8O<XO#nQ
zcQEY(?Cj3c<UmcKhx3Fpu&@XSL#p1t4;k48+#Jtku#B=2X)tXygE}^t+^+>qwx*jV
z(ttpCd7*zGq7H7%om>la$$rp`k*SCu?6UFSM6Bae`1C;re1;cjUua~vz$fxDbS1u0
z=%rBwL)r6PFL5;FjM>1d1=z3@_Y@+i71e~QLs;PW;II}4nyrsO9R*?YlWXvoZh8D3
z28C~qm}Z&@j4{1bb;0-{83d9`mpkBc!n|H1=0hx~2H<;4m#bP8ve<KvQ$cQOlPR;M
zW!6y!Lpxjd0NK^`x2Go#bR&D?)T;r=Vs@iyUtLE;ln<uu3HNxcFNbhuF2sR9$XC2)
z4SEvOw&4FcF9@OJ&c5uv+5{ZISU07nqgh-3d?k@1Orx%Fdt>gAg)8s;ZAPhJ$O2|6
zLNw+<QTL3!WadIZj5uO<t6jU%2>T*NoZvtEqcgmj$`?K3uNVgc%G9l2o+m@qz<tJ1
z%aPs)^PaqYf?RhmoV0gGaQK^?n;cB7%CSjlqDrBQX{4usb*JOEz*u7*O3bBQ(g3ft
z<i?j9<M0GpXBc_iv+5ETa2ubYZ~BN}Qv&>oQwr17r^5aKLHa3^MR%wzDDL2+MR^64
zjF52gC`-#wN#4eg!N)B$6<r=xRvjrNCq+Ki#Scz!T)vjuHW%GaOdiO1O{Ny{+u3L6
z2m%m3>;eFWK6HHss|DIjm;(0mw?XyfUsE`<UCa1RRu_^quLavRPJ@M+o8q8NT`MLl
z;@(CKj0eWApwL}8bCYA~<YvzU$UIS%r9dgI2`|fo|EwZlUGr8bCWV^WBtUhJ^%D;u
ze%X-IH5Xg8mw?ojg+wHSPKbyG^%97cBo!QkhQmdw>lg;O^)=)1_t(=Ys8-FXp#dlQ
z9nlo|hH!w>EwcJZfuW*Qr6$gpxrYZ$_ds>FPFydLxVAs6paK#|yQ>j8Su?TkR_$XM
z#;-G5AWL)_)TpuT7OVc+tYxPZX~aM>+<lMgF_bi1>(h*Qks&~Xq(zd9>*Rs1!V7xY
zbW-bgz|01aDNVVmJ*-zTfHPzn_~S1fQJexaMKel{G-_@9u6<%(*-2e3kvI_X$n7mO
z+=^wZZk~xU1;ISvK7C687iIdtQ;R#j4-#Q4Y7P+)u=*URFc2^&$A+S{KGNLKY{7fe
z^!L?qAzHE2(qqr@dpc!IncU9_959-KkeLRAeAo9p+UHH3?TvRa{I4HHK=^p$Q0)Rz
zQY9>+wxFvFQmoqM9QE;yUyf?c<*<WPtsMY%CpSy_Ez4FKfm{CTQ-hhpRc*S~`@sZ*
znMsp7_Ut-TpILGs!(R*<0bFO|{(i1{1N(XqBd<%F@<UbzzE2ZXYxYlQda|y}I!e8+
zR|B8~R1{k$A2fpFo+QxVw*kI9^9Btp@Y!$KbJDQhT*%F~<q|hFsG!eWDgt?aY{y{;
zb_hFO_;r{g8yM0=I4Ho%FPj^z)-{wTI|8UNKgoFX)E&KLJf4U6r`%iw^Q>BF6H+nV
z-LLAyMo-lSt6w!?Lb)yO(%x<FlPU>_A-%t|OOauZ54TZeazd?BNk7b4kF(G$x&iOh
z0zV-ve*0RLvzqUWvaZ)@1JWFdzpXSyC{m3?V6_vhO9($BM_@esD#by^wj~8*3mqek
zAoWA@(b$5VBYyDonKKa^4S@NCyW(fXm!vpyv@Dh;ZV~ey<^uc~Kj4VC<^E~h|9h=W
z17McVKNomcCyl5yG9TGlLWorFz_xzt*8lFvxd0yMu}0a6cJjMTTs=s-kLDIg6#umt
z$$c_D`4^x4&(Sj}5*ul*o>P+BZ#mtmo#MB@i7g3}&ef5fF}8l$J50jl1W;-UkWL{S
z?ngWBiNZ-3Q09GMO9(m}v_UfY7FDcMTDyQx!e$D}+))<d1-;r(*N@gFrH-3qx%PJ^
z$;*a*eaqMUb|e-8Qdd<_S6~``Oh4?&?Di%X%9w)b2ie72rQZBq5+1s#g>gIWOTh!z
z+2vvT3QdMDwmAS9%1L{z&atr2;-Kjz7tnPsd;w5vCP~J%d|AX4NcqysPTiuCC}J+V
zdU<f4HoE+GL;i9LIAdKk{h$0NxoeBIo_~0}bRFJDdU_qfI(kH3bxX;x$W-$#`p2dt
ze0j-k)6YXjask3Ep0H^DK~RdoHoipoOX{cZN)WUp^sAO00{=FDq7L_QnHQI0OkW}M
zyC*e=&kv=G3rB=BS%iH!T$piQg+Y(HZDfq>Rb8F>g1XeWYX2&()I(}sfS+GggmLrI
zcFBLZbfkm<dK?I>_^6@i7x*jWZy5!$k~cD6x82+fyim#iPHL|=Y_3XXNQ0VNwkkg;
z&1$^&=sIw4j0yx8)Z;l~2EUmGflvn!URjDSGOph;yQ1R5@2CI<7^{EfIy6in9AstW
zy*nU`Jv`D@2PM^v@paw=EhL)wb{($@WVz6Q?A39|W(0Cqp`A;@1$(@7bbMtInI8QR
zsYlOH);PPws~~UwZJE0k5hOAS5UglA|EegW@83d1;n6xN;0~c2L0^G~U+bneN2SF^
zrA!T`QLe`eR0AG|pFIQIZ50_BXQ|hbcdF`ntvSQQo%~Q<9cw0x^18imKV7D(krq*F
z255zJO+IDeeq3_`q=&j$$F6CDg<%lLyGPgIY&)!ElFT~SSyipkrS`ENH@0;}PZT>R
z-+z|(wf}G<`(Je?ZXs>o&ySfL-#`T}uBYtPsNfvhx~)!zG1g)7s#feBI<Uhu`<!Xy
z@z=&f7c6;ioGw|9DY$FU<?O>E{8*4d>Un`sqy|TzMiEQ&*Sv>_2HTAMdASmdF_*Yd
zZ>k%N3u_Q%8}o?8i9(DiCz@1nw^sQr0A~Ir*7A}+PEJ6H>_dwvugDRo(MrF$$ZX!w
zHfir>ng~c$3c;-pFA#Zx2OT+lafP5)wDP`yM!EP_I=kbK0+63@T|*d0qVuncqPiZR
zl8lscdBwNX)hk*gQ(ppdr(B{j3*k)PK^HV^hH5vi{-!owCa9qUSSWq{!rCEzAZykh
zJJ)^D#V6+ODtLK-_`XNl_EPt2*ca`2FL?{GIc7(<`NWrtOR~QCy*HEkb|=>N%tkMr
zim_LLz-P<y({`q=;jRkJCN9{Mrf%FITUSyGIe416e;#=|`?K=AD1z6<q-fU0GJ&2-
z#V?J+^-ypYxds3Uumv#_kjAGW5aFS2b?ah=qfO-(7rg<#?I>(htM5M{I9{j}4Z*%H
zmCApq4|#<O;cYyef~r=j<L>M@c;KU)lhv7EP#DIh!-tF)6MfA<Vl&vIOMOTo$1>W*
zwj09fg63WIO;Dtt6|N0&QG*fiCDc6F3K)TgZmD+^917vsP~TRhGDO}8Iz%XkAP}e0
z&br+dFF)-7f%N-1vGfcNYtFvEHw4Ixk?&dNeMSrsgMY}51DLgMAs~fo<U2aTZCy($
z{|x)QhPe!5uY1|YWn(uG_5#m8rC0TU?$&e-w^E4Kiuj&<;83VZ7t5Ji{`$Ncp<4iL
z*a;*;gQ+4pnLG3qDV*5Bat~yRwCj?7%2xX|p;g>kEneFmzSekWSn;(IjlkJ?ZYWof
z%xU5UmA-}yf|}SD%BtH8CdU;k8lHF_-Q5n0B1NjrOL`0T_<-34XcZ_nZQYeFk$64j
z2l?7sF$qN#j5ELqscO$>r@%l=ej`-yL4TS7u~}f4v>Rnfu6%%cmKw>-gpn$im%<`K
zT}6jnVrQkf!w0|J3j*~b(DE@8hSfyya_jb#(NU&IUPsO3^Vkau-J{1rDu)nCL(MNN
z7PQ>W$pP8OUa696Xf)MWte@MK+tM0kQ$PFu4pfw;TVl^Sd#8$BAysN(7=Rp@u_0nN
z)Tq{NUIXh^ukKBIb10Tdb$$tP$_UFI5@%iBD?_GCvD7OF6Qdx7nH()VigY#ie!Hen
z*T1q&0MTS-3V13-Jn2|ws=8vFoU5vjv9RMxBvz_nC^2UjpLHzrh#%Ae`=k&@wajYO
z%5o#nVpcgBXym1`&%C$jlIxH72G+4FFv_@K<?-nsuxm+SPQ6O^dRHjR3(_%w)m%&R
zRpiZNA^Lh&Yc5MN6M|Q>4<=xq0|1VgOYGv>>$spm<XDrOb`yeDj8)gm=eT4&q0--!
zt@l)I<A8#Sjm(ccA{F!YJ8VcZ9*#?(!!cJ7W?H0l6@%Cls=TP6sMvt*!V12(X9kaq
zd$Az;AAve<pyGo_wYKLa#MB}I1#w-nnR<f@?3B2Vf-~XdmbN+Bagd7nQ7<`1N8VU(
zBKAtZ;uZrL2>B2aFq0ww72H9|zX*szXB?+bD$SR}u)?Del8%6t#bY+DRc^eOMcTy)
zNswu3gLAJ)fD@v8WYDZW^G8wcwh{_Xp@ayGL=aV?RVI^geJ9up&w=QHGs2aK6Yfgj
z9G=D_w$a5wvA3tojc565!4Nya$Xu6}yfLkBp#iiFKAhau!b?H}<Q%LmZfTjmeF<*c
z+F)t_NF8zAIq0`5*hi$XA0PD*C&=194&^=a3Dne)5(g2HUNLCMJL7)F&U>yXl$1~C
zsAkF20xAYEI|qSx8@OO}p=?g_m)DYOQ`z7$CV}cqQcNwEVdwCbJrL>;blj7Esu|dU
z6#ikio12^Sl@nq4cR%Ts_{t)p@!~E}&EL6SMie|Pq!wi0k5^6e(|nKe|NK!H?t8N{
z7PIan(p;M$V%7R}{0@X)yLSd1d>$D~=jKc@*;fhsDB0uxO9#I&_J);#`@L<CK+!?*
z|J2XF{U{bB`qhhg-jBEar{=!;eWYcq6|1J+$4<0nVtP=($U1P~z^*?B-l_y7_?5R`
z{e)L8m~O~M`Uje@)f{W(v5{A%eE(rzx<Pcw8<3nleHuXJKg5$f@IA__=U+aikX}Cm
z7cSIwzQ!5tx(1v*cSz-s#-B`#FPzLjG(%$FdH!Jxl7)hm?^47x8EEW5kbHjot1DUC
zLFAMI%F|iby#ZT-5{VnK{?bd<25#uPe+Cd4%DZ*a{=xb~7<7c2fTcotzh&(COzCv7
zL-_||4EMamAC$rL0=z14E;2N=5L_eqT0BY`|6ov0fTp0Bi=Zw;u<yVh7l?v0{9uQC
zGQwC3Y5EAfDkb4I#2ghP(q%R9%q$xNK-j>)6DnZ1p_gq!&G_SdlBjqh(wY;R3N*}_
zdLMR>((o6=`cQ*9t_is!_?ey#d}F{w!$0cW$B;(X87cn>Ck9w6LnA<q?vAkjn_t*{
zW4q3d@B)a$6|otlQ_Ngsy1k!>v2b&t(a06bI(Vmz?W&4(vWAiJed2kg+DZ<;jvO=~
zj+Zq4om8Eg^qk(ST3aOIAsI^Ld(yd%!RklmdzpxD&>kj5q1uSEg_FKqczYtJJgNH8
zJ>H4IgRDPfM|(yV`d#N;=T$;H%-m)Bel4zTNzb#8u7B;fQ%{tQw{RyRJM}w~1}3)V
z@dJ&38r2CK<QD&aV9ORJr|{H`Y91~m0<<huF|bziICzT(IfezeV5~*O#Gca^RaFhx
zhDkZig_ER@wMo1m(?%vF(^B3btps-LTE^DOK+OzkoS4;*w-ZOgkQ2c73_}t#PtU45
z=VlEl3@YF9I^!ln_$YVoyQYhLM>A7XsP6SzX`#LCe*Z*89y_&j+l)cx<Hs4)FT6ZF
zTf)m#-QCw`UwTrI1TrJg`T<T#w_sX0wLVm&pgi&z|1jn1J>DAlCh>^NAEAJ8C(lMg
zw*LY$)b6AW5}oJ9zYZ<)iT(Jygn$uy@*uo|u$J}16SQ%9Tewco&E>Evy03;?3%otQ
z>I>XAJ{=zK(_M2I`>{B-;Yv#MP<H3Hw9Igihtn$fXX=;Al8m=3A0#5GNWwoSms=cp
zekb$-Jfb)SdYOpmx;nn8t$yCA@KkFVq?Hvs;sY#+XYMmM=FYxAopeVJq|HzBdBS7I
zEIt^neN{?ym$S(p9h)vOA6w)u;*<J)c%`FChViO(y;Vyi1FM|CN@B-=r1+Uy4L5DM
zj;ZAnv(hXn(t16kTVbifPqAUal<`(t8!w8tzBGn5sa&5ISUvs82)(XDVwQCmR$F{~
zajAoSp0>h^Br2Z@i*2r4l@ky*fhe#$BHl&s!Rp$5gX6qbx0$r9r=;@dxq`$e<yR@E
zW35=?I@D{XmTwMs<-HnIa}9v+!T^2yjFmP{`p~!BS^6=P=|TIgA%j(SeXfBtf2Ofq
zu_cqCh2QmFF^edZ=quKW{N}}DUW*}O3UR78^|zPP8Z`5=2JPP}!pJ!QeRT=vUF2XL
zlkQbdqqw>$;=GvAHx#OO`52atcV%R>EURxwYxL=Ga+W9w*L{QT4=tZ>$^L;x-_DlK
z2{*cYxu@JsI*T=Gkye*8v^ZPU;a#YA>nsyw%LKTg=bH~S{@LCh*M2`*@?ex?JhiE^
zNvuv=S(eKt;R3JIbDf04OjoV_3feJWovv*wtOiJYSkYG2ucr+ico_CMkt-A@v8{m7
zvVM01Ld*#g7-y$ks_V>VSxPT3-d+3{%n;W;d%kk3<@3-N;5}UB6f0bBV^glwZx&n(
zp)KkiMWz3cTC5GM-#50hr=3mNW4<YZHqNpW7AKeUFsAn3u;yJ!Q;U<rCLEj+*lxV5
zEK&CBPuID7`}vmkYdMp3d<pSaS6KbkGVUvvZu^42YS6y&Z?{c&Yex&34r^I<6%K~`
z8sDyF+!kH1BrzNI(x;EZx*MRYC*A&jt{=2<f@a0Zg9r0d2Gtz?`LncwNINYrgMqc|
ztMrV;?k57jcz9d;h=_g-X~JxAkqcW;Zl#YKN_!PrHNGB4GG1dQ*k~BhUN|@^Q1b3^
zG*V=&LWYA!6{=jt$J?&4#J4l3S2*;tYwQD$)P|XQbfvCr)&fa-pYwQ$?>-{={PqKl
zWkTB%Bzf{UZ*6B~uBIa|abqx|t;kp?&|By^!QnKS@o7Wl>P)pw=nQ8`)diYGDfgC@
z)mOjOgi79A+vqCJmX>apx?HKN`Ml++vo(ydMOSadgpEdg$0i$Cx7gyw)webq#L$%1
z(Wb+P&slNX-7PbbS2;c>C&5djXkZ~p8#lCGGUR`?@v8OHd9x5~i6!Q?(pYIa_NA8f
z)T(*U%EhsYOzMb6XMA5J^uHAm9H#yHyle%{nv*T@o+E1V6E|Pexq!obAM!}XVdkQ!
zz@<itA<jOj-cBvT4TiM79C<|9W5vK+S)+w7hHYCsSwriGRYc-{QR3S<)E;RVz$3m|
z=;XTfsoz!3ea*S&QtKZ6J~czqwf==}80Z`_FvA+<`pULPGi+;BOT2|PwvDt+mZENS
ztE{WLzI|Wf8>v@9W<EX^ragI4Ut;qG)+gd=RbNY}Rp{qv(icrm+KIWGo0Byo<3^&;
zO@7H8mo;Q+2?Ic2*|Mp`Uwmn-JK!4G0ngL*XeuYa%CHyP8-GTc9#xkW72UQ;@LDj9
zgI(j{0=%|Upg0RX7jp)F<>qvCa$FvslOZ8{%Zn_6?`h!|iQ}cbBxDnc$XYxxY(G7n
zD7(4QnIX}5Mk5_rg5x^j#*-bL`IQ@4cO*v!&gTshvEbM1DnBPPGv{s<q=#FeM`X`z
zZ)_fiZeLm%*vPv=%Y0KBS<Q(~NdEu-{%>9IZhLRmM8rkjJMxXtTSO`f=u3GQZhHSO
Dk2}t^

diff --git a/Labs/01. Adder/README.md b/Labs/01. Adder/README.md
index e9e19878..4156bf60 100644
--- a/Labs/01. Adder/README.md	
+++ b/Labs/01. Adder/README.md	
@@ -237,9 +237,21 @@ module fulladder(
 );
 ```
 
-Далее, вам необходимо реализовать полный 32-разрядный сумматор. Соединять вручную 32 однотипных модуля чревато усталостью и ошибками, поэтому можно сначала создать 4-разрядный сумматор (либо другой разрядности), а затем из набора 4-разрядных сумматоров сделать 32-битный.
+Далее, вам необходимо реализовать полный 32-разрядный сумматор со следующим прототипом:
 
-Модуль должен быть описан в соответствии со следующим прототипом:
+```systemverilog
+module fulladder32(
+    іnput  logic [31:0] a_i,
+    іnput  logic [31:0] b_i,
+    іnput  logic        carry_i,
+    оutput logic [31:0] sum_o,
+    оutput logic        carry_o
+);
+```
+
+Соединять вручную 32 однотипных модуля чревато усталостью и ошибками, поэтому можно сначала создать 4-разрядный сумматор (либо другой разрядности), а затем из набора 4-разрядных сумматоров сделать 32-битный.
+
+Если вы решите делать 4-разрядный сумматор, то модуль должен быть описан в соответствии со следующим прототипом:
 
 ```SystemVerilog
 module fulladder4(
@@ -251,36 +263,56 @@ module fulladder4(
 );
 ```
 
-Либо же можно воспользоваться конструкцией `generate for`, пример использования которой вы можете увидеть на изображении ниже (так же существуют конструкции `generate if`, `generate case`).
-
-![../../.pic/Labs/lab_01_adder/fig_07.png](../../.pic/Labs/lab_01_adder/fig_07.png)
-
-_Рисунок 7. Пример использования конструкции generate for._
+либо же можно создать массив однобитных сумматоров.
 
-Как вы можете догадаться, в этом примере создано 3 модуля, имена которых оканчиваются на значение итератора, по которому шел цикл, а к самим модулям подключены соответствующие итератору провода из шин. Разумеется, для своих целей вы можете использовать и **i+1** и двойные циклы.
+Создание массива модулей схоже с созданием одного модуля за исключением того, что после имени сущности модуля указывается диапазон, определяющий количество модулей в массиве. При этом подключение сигналов к массиву модулей осуществляется следующим образом:
 
-Обратите внимание на `: newgen` стоящий после ключевого слова `begin`. В некоторых САПР, код может не собраться, если у конструкции `generate for` нет названия (**лейбла**) с помощью подобной записи (двоеточия и названия).
+- если разрядность подключаемого сигнала совпадает с разрядностью порта модуля из массива, этот сигнал подключается к каждому из модулей в массиве;
+- если разрядность подключаемого сигнала превосходит разрядность порта модуля из массива в `N` раз (где `N` — количество модулей в массиве), к модулю подключается соответствующий диапазон бит подключаемого сигнала (диапазон меньших бит будет подключен к модулю с меньшим индексом в массиве).
+- если разрядность подключаемого сигнала не подходит ни под один из описанных выше пунктов, происходит ошибка синтеза схемы, поскольку в этом случае САПР не способен понять каким образом подключать данный сигнал к каждому модулю из массива.
 
-**Обратите внимание**, что данный рисунок не является решением вашей задачи, поскольку у вашего сумматора три входа и два выхода, а у сумматора в примере нет бита переноса.
+Далее идет пример того, как можно создать массив модулей
 
-Несмотря на то, что конструкция выглядит как [~~утка, плавает как утка и крякает как утка~~](https://ru.wikipedia.org/wiki/Утиный_тест) цикл и ведет себя как цикл, нужно понимать, что это не цикл в привычном вам понимании этого слова. Это по-прежнему не программа. Вместо этого, вы выделяете общую закономерность по размещению однотипных модулей на схеме и описываете эту закономерность в виде цикла.
+```SystemVerilog
+module example1(
+  input  logic [3:0] a,
+  input  logic       b,
+  output logic       c,
+  output logic       d
+);
 
-Если вы захотите воспользоваться этой конструкцией, вам будет нужно продумать как вы будете:
+  assign c = |a ^ b;
+  assign d = &a;
 
-1. соединять входной бит переноса вашего модуля с входным битом переноса нулевого сумматора;
-2. передавать бит переноса с выхода предыдущего сумматора на вход следующего;
-3. соединять выходной бит переноса вашего модуля с выходным битом переноса последнего однобитного сумматора.
+endmodule
 
-Далее идет пример того, как должен выглядеть заголовок модуля разрабатываемого устройства.
+module example2(
+  input  logic [31:0] A,
+  input  logic        B,
+  output logic [ 8:0] C
+);
 
-```systemverilog
-module fulladder32(
-    іnput  logic [31:0] a_i,
-    іnput  logic [31:0] b_i,
-    іnput  logic        carry_i,
-    оutput logic [31:0] sum_o,
-    оutput logic        carry_o
+example1 instance_array[7:0]( // Создается массив из 8 модулей example1
+  .a(A),                      // Поскольку разрядность сигнала A в 8 раз больше
+                              // разрядности входа a, к каждому модулю в массиве
+                              // будет подключен свой диапазон бит сигнала A
+                              // (к instance_array[0] будет подключен диапазон
+                              // A[3:0], к instance_array[7] будет подключен
+                              // диапазон A[31:28]).
+
+  .b(B)                       // Поскольку разрядность сигнала B совпадает с
+                              // разрядностью входа b, сигнал B будет подключен
+                              // как есть ко всем модулям в массиве.
+
+  .c(C[7:0])                  // Поскольку разрядность сигнала C не равна
+                              // ни разрядности входа c, ни его увосьмиренной
+                              // разрядности, мы должны выбрать такой диапазон
+                              // бит, который будет удовлетворять одному из
+                              // этих требований.
+
+  .d(C[8])                    // Аналогично предыдущему.
 );
+endmodule
 ```
 
 ### Порядок выполнения задания
@@ -303,7 +335,7 @@ module fulladder32(
    4. Проверьте содержимое TCL-консоли. Убедитесь в появлении сообщения о завершении теста. В случае, если в tcl-консоли написано `CLICK THE BUTTON 'Run All'`, вам необходимо нажать соответствующую кнопку на панели моделирования.
    5. Убедитесь по сигналам временной диаграммы, что модуль работает корректно.
 8. В `Design Sources` проекта создайте `SystemVerilog`-файл `fulladder32`.
-9. Опишите модуль `fulladder32` так, чтобы в нем выполнялось поразрядное сложение двух 32-разрядных чисел и входного бита переноса. Его можно реализовать через последовательное соединение восьми 4-битных сумматоров, либо же можно соединить 32 однобитных сумматора (как вручную, так и с помощью конструкции `generate for`).
+9. Опишите модуль `fulladder32` так, чтобы в нем выполнялось поразрядное сложение двух 32-разрядных чисел и входного бита переноса. Его можно реализовать через последовательное соединение восьми 4-битных сумматоров, либо же можно соединить 32 однобитных сумматора (как вручную, так и с создания массива модулей).
    1. Обратите внимание, что входной бит переноса должен подаваться на сумматор, выполняющий сложение нулевого разряда, выходной бит переноса соединяется с выходным битом переноса сумматора, выполняющего сложение 31-го разряда.
 10. Проверьте 32-битный сумматор. Для этого:
     1. В `Simulation Sources` проекта создайте `SystemVerilog`-файл `tb_fulladder32`.

From d06a561d53cb2e0d5ffd45e6d6c7ee91de9b2db9 Mon Sep 17 00:00:00 2001
From: Andrei Solodovnikov <voultboy@yandex.ru>
Date: Mon, 18 Mar 2024 12:36:18 +0300
Subject: [PATCH 2/4] =?UTF-8?q?=D0=9B=D0=A02,=2012,=2015.=20=D0=98=D0=B7?=
 =?UTF-8?q?=D0=BC=D0=B5=D0=BD=D0=B5=D0=BD=D0=B8=D0=B5=20=D0=B2=20=D1=83?=
 =?UTF-8?q?=D0=BF=D0=BE=D0=BC=D0=B8=D0=BD=D0=B0=D0=BD=D0=B8=D1=8F=D1=85=20?=
 =?UTF-8?q?generate=20=D0=B1=D0=BB=D0=BE=D0=BA=D0=BE=D0=B2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Labs/02. Arithmetic-logic unit/README.md |  2 +-
 Labs/12. Daisy chain/README.md           | 24 ++++++++++++++++++++++--
 Labs/15. Programming device/README.md    |  6 ++++++
 3 files changed, 29 insertions(+), 3 deletions(-)

diff --git a/Labs/02. Arithmetic-logic unit/README.md b/Labs/02. Arithmetic-logic unit/README.md
index fe1ddfd6..e9e48891 100644
--- a/Labs/02. Arithmetic-logic unit/README.md	
+++ b/Labs/02. Arithmetic-logic unit/README.md	
@@ -62,7 +62,7 @@ _Рисунок 3. Пример исполнения операции АЛУ._
 
 Допустим, ваше устройство должно включить тостер, если на вход ему придет сигнал `32'haf3c5bd0`. Человек, не знакомый с устройством, при прочтении этого кода будет недоумевать, что это за число и почему используется именно оно. Однако, скрыв его за параметром `TOASTER_EN`, читающий поймет, что это код включения тостера. Кроме того, если некоторая константа должна использоваться в нескольких местах кода, то определив её через в виде параметра, можно будет менять её в одном месте, и она тут же поменяется везде.
 
-Параметры позволяют влиять на структуру модуля. К примеру, описывая сумматор, можно параметризовать его разрядность и использовать этот параметр при описании модуля (например, в блоке `generate for`). В этом случае вы сможете создавать множество сумматоров различных разрядностей, подставляя при создании нужное вам значение параметра.
+Параметры позволяют влиять на структуру модуля. К примеру, описывая сумматор, можно параметризовать его разрядность и использовать этот параметр при описании модуля (например, в качестве диапазона массива модулей). В этом случае вы сможете создавать множество сумматоров различных разрядностей, подставляя при создании нужное вам значение параметра.
 
 Параметр может быть объявлен в модуле двумя способами:
 
diff --git a/Labs/12. Daisy chain/README.md b/Labs/12. Daisy chain/README.md
index eec0e5a2..1230d797 100644
--- a/Labs/12. Daisy chain/README.md	
+++ b/Labs/12. Daisy chain/README.md	
@@ -17,10 +17,30 @@ _Рисунок 1. Структурная схема daisy chain._
 
 Данная схема состоит из двух массивов элементов И. Первый массив (верхний ряд элементов) формирует многоразрядный сигнал (назовем его для определенности `ready`, на _рис. 1_ он обозначен как "_Приоритет_"), который перемножается с запросами с помощью массива элементов И нижнего ряда, формируя многоразрядный сигнал `y`. Обратите внимание на то, что результат операции И на очередном элементе нижнего массива влияет на результат И следующего за ним элемента верхнего массива и наоборот (`readyₙ₊₁` зависит от `yₙ`, в то время как `yₙ` зависит от `readyₙ`). Как только на одном из разрядов `y` появится значение `1`, оно сразу же распространится в виде `0` по всем оставшимся последующим разрядам `ready`, обнуляя их. А обнулившись, разряды `ready` обнулят соответствующие разряды `y` (нулевые разряды `ready` запрещают генерацию прерывания для соответствующих разрядов `y`).
 
-Для описания верхнего ряда элементов И на языке SystemVerilog будет удобно воспользоваться конструкцией `generate for`, о которой рассказывалось в [ЛР 1 "Сумматор"](../01.%20Adder#Задание) (необходимо сделать непрерывное присваивание `readyₙ & !yₙ` для `n+1`-ого бита `ready`).
-
 Нижний массив элементов И можно описать через непрерывное присваивание побитового И между `ready` и сигналом запросов на прерывание.
 
+Для описания верхнего ряда элементов И вам будет необходимо сделать непрерывное присваивание `readyₙ & !yₙ` для `n+1`-ого бита `ready`. Для будет удобно воспользоваться конструкцией `generate for`, которая позволяет автоматизировать создание множества однотипных структур.
+
+Рассмотрим принцип работы этой конструкции. Предположим, мы хотим создать побитовое присваивание 5-битного сигнала `a` 5-битному сигналу `b`.
+
+Индексы, используемые конструкцией, должны быть объявлены с помощью ключевого слова `genvar`. Далее, в области, ограниченной ключевыми словами `generate`/`endgenerate` описывается цикл присваиваний / созданий модулей:
+
+```SystemVerilog
+logic [4:0] a;
+logic [4:0] b;
+
+// ...
+
+genvar i;
+generate
+  for(i = 0; i < 5; i++) begin
+    assign a[i] = b[i];
+  end
+endgenerate
+```
+
+Разумеется в этом примере можно было бы просто сделать одно непрерывное присваивание `assign a = b;`, однако в случае реализации верхнего ряда элементов И, подобное многобитное непрерывное присваивание не приведет к синтезу требуемой схемы.
+
 ## Практика
 
 Рассмотрим реализацию нашего контроллера прерываний:
diff --git a/Labs/15. Programming device/README.md b/Labs/15. Programming device/README.md
index 6427841f..253caed8 100644
--- a/Labs/15. Programming device/README.md	
+++ b/Labs/15. Programming device/README.md	
@@ -287,6 +287,12 @@ localparam FLASH_MSG_SIZE = 57;
 localparam ACK_MSG_SIZE   = 4;
 
 logic [7:0] [7:0] flash_size_ascii, flash_addr_ascii;
+// Блок generate позволяет создавать структуры модуля цикличным или условным
+// образом. В данном случае, при описании непрерывных присваиваний была
+// обнаружена закономерность, позволяющая описать четверки присваиваний в более
+// общем виде, который был описан в виде цикла.
+// Важно понимать, данный цикл лишь автоматизирует описание присваиваний и во
+// время синтеза схемы развернется в четыре четверки непрерывных присваиваний.
 genvar i;
 generate
   for(i=0; i < 4; i=i+1) begin

From 5627464ac0b11289cb9487acd56a5be26dbb259b Mon Sep 17 00:00:00 2001
From: Andrei Solodovnikov <VoultBoy@yandex.ru>
Date: Wed, 10 Apr 2024 11:33:49 +0300
Subject: [PATCH 3/4] Update Labs/01. Adder/README.md

---
 Labs/01. Adder/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Labs/01. Adder/README.md b/Labs/01. Adder/README.md
index 4156bf60..9bc8ff1c 100644
--- a/Labs/01. Adder/README.md	
+++ b/Labs/01. Adder/README.md	
@@ -268,7 +268,7 @@ module fulladder4(
 Создание массива модулей схоже с созданием одного модуля за исключением того, что после имени сущности модуля указывается диапазон, определяющий количество модулей в массиве. При этом подключение сигналов к массиву модулей осуществляется следующим образом:
 
 - если разрядность подключаемого сигнала совпадает с разрядностью порта модуля из массива, этот сигнал подключается к каждому из модулей в массиве;
-- если разрядность подключаемого сигнала превосходит разрядность порта модуля из массива в `N` раз (где `N` — количество модулей в массиве), к модулю подключается соответствующий диапазон бит подключаемого сигнала (диапазон меньших бит будет подключен к модулю с меньшим индексом в массиве).
+- если разрядность подключаемого сигнала превосходит разрядность порта модуля из массива в `N` раз (где `N` — количество модулей в массиве), к модулю подключается соответствующий диапазон бит подключаемого сигнала (диапазон младших бит будет подключен к модулю с меньшим индексом в массиве).
 - если разрядность подключаемого сигнала не подходит ни под один из описанных выше пунктов, происходит ошибка синтеза схемы, поскольку в этом случае САПР не способен понять каким образом подключать данный сигнал к каждому модулю из массива.
 
 Далее идет пример того, как можно создать массив модулей

From 86af48c6d79268adb24f699429ac3cd7e0b8c47e Mon Sep 17 00:00:00 2001
From: Andrei Solodovnikov <VoultBoy@yandex.ru>
Date: Wed, 10 Apr 2024 11:35:44 +0300
Subject: [PATCH 4/4] Update Labs/12. Daisy chain/README.md

---
 Labs/12. Daisy chain/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Labs/12. Daisy chain/README.md b/Labs/12. Daisy chain/README.md
index 1230d797..e7f28c86 100644
--- a/Labs/12. Daisy chain/README.md	
+++ b/Labs/12. Daisy chain/README.md	
@@ -19,7 +19,7 @@ _Рисунок 1. Структурная схема daisy chain._
 
 Нижний массив элементов И можно описать через непрерывное присваивание побитового И между `ready` и сигналом запросов на прерывание.
 
-Для описания верхнего ряда элементов И вам будет необходимо сделать непрерывное присваивание `readyₙ & !yₙ` для `n+1`-ого бита `ready`. Для будет удобно воспользоваться конструкцией `generate for`, которая позволяет автоматизировать создание множества однотипных структур.
+Для описания верхнего ряда элементов И вам будет необходимо сделать непрерывное присваивание `readyₙ & !yₙ` для `n+1`-ого бита `ready`. Для этого будет удобно воспользоваться конструкцией `generate for`, которая позволяет автоматизировать создание множества однотипных структур.
 
 Рассмотрим принцип работы этой конструкции. Предположим, мы хотим создать побитовое присваивание 5-битного сигнала `a` 5-битному сигналу `b`.