From 8d29409fa12620205fa7e93a9fb8859d3cadd8bc Mon Sep 17 00:00:00 2001
From: Dzmitry Ivaniuk <dzimitriy@gmail.com>
Date: Thu, 4 Apr 2024 11:15:27 +0300
Subject: [PATCH 1/2] Use tikz to draw diagrams directly with help of latex

---
 ...0\265\320\275\320\270\320\265\320\274.png" | Bin 8051 -> 0 bytes
 ...0\265\320\275\320\270\320\265\320\274.vsd" | Bin 40960 -> 0 bytes
 introduction.tex                              |  36 +++++++++++++++++-
 main.tex                                      |   2 +
 4 files changed, 37 insertions(+), 1 deletion(-)
 delete mode 100644 "images/intro/\320\241\320\270\321\201\321\202\320\265\320\274\320\260 \321\201 \320\277\320\276\320\264\320\272\321\200\320\265\320\277\320\273\321\217\321\216\321\211\320\270\320\274 \320\276\320\261\321\203\321\207\320\265\320\275\320\270\320\265\320\274.png"
 delete mode 100644 "images/intro/\320\241\320\270\321\201\321\202\320\265\320\274\320\260 \321\201 \320\277\320\276\320\264\320\272\321\200\320\265\320\277\320\273\321\217\321\216\321\211\320\270\320\274 \320\276\320\261\321\203\321\207\320\265\320\275\320\270\320\265\320\274.vsd"

diff --git "a/images/intro/\320\241\320\270\321\201\321\202\320\265\320\274\320\260 \321\201 \320\277\320\276\320\264\320\272\321\200\320\265\320\277\320\273\321\217\321\216\321\211\320\270\320\274 \320\276\320\261\321\203\321\207\320\265\320\275\320\270\320\265\320\274.png" "b/images/intro/\320\241\320\270\321\201\321\202\320\265\320\274\320\260 \321\201 \320\277\320\276\320\264\320\272\321\200\320\265\320\277\320\273\321\217\321\216\321\211\320\270\320\274 \320\276\320\261\321\203\321\207\320\265\320\275\320\270\320\265\320\274.png"
deleted file mode 100644
index 8788c7893af911a489cb310cb1136cedf5e78d18..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 8051
zcmd5>cQjnzw;v^B2=Y}TA)*B#I)hOnqPHPNuPJ&9gXlFR5lIj&7(|4@XwiF%$mqf-
zVGuET5WVy6gx`B>y|><4@1OV9`(w(z_nf`Y-e=!^K6`&6bz!Ph6igH#5Qs`$O-T;~
zA{Gb!?_4AXzF~&1T7e%T4?Wd;prYREi@*h`or1Ok2=qCc^623O;2P|vX5s+?(Rva-
zM3c6xJ|Gb5MRg?weILt}G=Y-q--hm9fU7)5L|i4kn!iNp2CgQ3rWa;Q?RQhD|0dUE
zw%l*TR8*|~d2C<qwp430>k8`%Ppvd1``4{?uO9xG7@3$4$qja$N}outQQiE6={q48
zrjkF|o4LJk9oiOv6c)#TxqmGeH=XRyX9S13#?Hhkc7FpaK0`j>_*8VfGybH8goWeV
z3nVuYv_**xHK_pG3;~|Sz}MJNzIS25|6uaGV+Li}c-~*cV`VT7H)80tND)gccySs)
zGBI?U8j(VdC#4HT`jJC>NDyI>cVP|BkaPb>;tmnD4SvH2uT;AXQPyIsIZ6vNZ`8?=
zP_g`6GK%DEY3|`jEgPEbMjH9-+f+Cm-iOEV`1@4n&y1k^k4ZRK%g7<@sAPh@yK!*d
z@%0s@o@MC6KwpO!L-{NGGW+PldsX49TF^blYga5L@}UWC%O2M%A8*Zmb@KQ1s%Yn{
z)H6GC)62R}UM#M{zMbNC7iW))H}>!RZ9`ty8f;o#%4Nr5&Fqn`M@_vCB?cC>Dme?#
z);Xq)$?nW&9{qI@TEVX@J#1l6sy$I*V;C`vrnYvs)4G<lGqlZAD`vAUBzmb$#XnZs
zu%DUts9dwiCgIWuT2gd1^vvnF?H=Bw6<J$!QBk2wg2m%ygK?8eJLed2{e|9mn|Y2e
z@fI`I4kM~h2go|hkH+{XG1cVfzOaKPw-|fge&n*vP3&%BF}HkTnkl)7W^)Ly;OhV;
zPvn+_Kj*FEhW%K$YHeKUaqCB-K`&Q@k>};}wKpO(7|I0?om?i+rQ3kr<6_yo|7Zhx
zvl}qNw2I>pSfXE`<wOo7-a+VhvmVX)v~)!0g>u2sWqqWGO=SxFufd2-=>}#npQl|X
zEzg#6K2e3ir$~mS_x122F+nj`;-t56r5!$3&js`%UMXe=<vgnIT^@5J*3R)8dYYJa
zB$7FHH)2(5sI8y&>P+I@!KgH@hYA)j>kiw2oXOfIQ-hxJYtf*ypq07@gXF&-wrR>Q
z%xkn878a{l=q!zsw=hi*_wvrUzBQz8Ihy>c+^UZ$dt|JqCy5?jFlf6fMc8r_Nx;bw
zwCY3f&Mc`;Mj&*({4FVB3_pm{c`{kQKbUb6f7mY%yhWAxt?4f>MvASP0uLp2GlOH|
z6bA;@f_Cfd`qCTxw)vv(odWNl!)$yxeQ^5TCFmPcgs8m$SInRqaQi!Az*K_`6?+$!
zY^WK@C}ep=ob~5$>huQGOZy!ho!v$we-xv`<d+pF91H(>%CS#Y6|g^>w6Q_@_|I2H
ztD}SE;(ctU;-~Py?IEMS4Eer3lyZFnFkz-I_{8JR3^9V@Q^pPshr{^mHTF<$6wb0O
zum%;3$Sn3OZqE0uO*K7X_!_+}Jqwt%!Nhi&diW2Xz8|7VzuhA_g->OHzPW%{O1p`|
zx-vu{rDuCmB@qD|O*O0vu+U1|<E=p*(OXlD2qrL)Lrh`d!drMO=SFM%Nr}~oQIjk?
zs@brIR{3~VD7b@VffX22h@@4&f4cWg9>IFR-XOuX)kTM(&@JN*eYTn=098Qo7i)u$
zH^Py`*aCH_MTKv{Rz(M>Ujy>ojHlD9udZJu9teKQ@%;quv5YK%r3Uv1emqgHd#ZQK
zsp^!fK`Lt?H~0_+AzA#WVPBWlbNG@C)zV+A9XUG-hF*vnyoucT@c4~{4K!(sMA-@x
zr%kp@nuh9hFdAkq^3_6GU<J`dgE>}3(m|xbLo?5iDj)q^H28&dFuWm1?rAK!#n9}4
zobJ|kJh*UVG1SjB_~E3;TPOF?W<L|JG@H!w!LA3FCdO{>-nfPrr(JP^b2I=R03lMs
z<5)d!b!%o*vs4A4HyYaLj|OgtS?l>E3_h(2|IRHLyIr~@4Tpz)%2fP<Y+71ZfN`#`
zPSjOhs44SUUNO6tWP+!^3yX6*cxD+@$u~v*sxd{KWLfPuSF3T_;D-S$^Bl{QR7fQ4
zk2&Yrn{SphIF{~_V8E*{agZ8=yD%cWIM_~VL9gOVaki3wLVym;#-d=awim5b#8N52
zZ{me`K{CRt9jQhlA-<!r+ssWv0)0b)*iZm8zI_I>kvU54*2|<}JeImHoVjY9Ug(h$
zYK!pF<f1N9ZYZefUEUhIDPC8&yo3(Yj~UEm<6#99&O;Y;(;_PFvfesyvj1(coEVX3
zbl}xHDx|sG;iX!q_`A@3yVS<ut^RF;Tx|zKxjPsKeLQz(ArP)?D0Qhp1tZ9*?)P9{
zFRo2614Cq<XsNZuH4oEYW1_CxAD))q?g=6<g7*nzy0<##?D}~EdND5XW*5%<qykOO
zZ|YIMy&uAcx~~8OWYhK{`lqvh*-x>d>Ozq!7ohtDE$a&3Slz*@jSwI<Cho$r!jJ(#
zkht{&#~fkESy%!GA|IyXMG6Fb-4i%E3G#s0{Q1G3{I8cXZMBKXCxG))KPHX_;zTR8
z0GzZ0Nx3F*%?i8J2qp$RUa=>Il)4r;ZVBFT9R7c!BIa4p=3LLX`~D2;>D~+ZBX(~U
zrMEOtD)8Cvdw9e};XYvK1o6EeFzj<P;h}c{XM)?=I(WT72Sk7qd9IS+Nz({^qkBz+
z2!j!v4Q>YkFESwvNFRqFKfnRMAi_lM!uokJ9puoKt86?A^msggQ!d5OdH#(vVKNL@
zny@GT55yhOcCds50d`IWpB|%hG7#h-P%kBd7!<-ojv!umK7QNxft6)&_e4VUh>*?P
zl7u(p;hXe5pF?*G)?wd$kRUZ-R9zQufiYu1eZxB`y65RXBSkZi1CMdCZzum8_`{L~
z;IiFrBCC8n=$tnt(ieZKvsF2|GI0BNII^zq^^cM3Yv%d|D30uF^EF30tl?ferAgVh
z<Aiyre{N{;q7K-jY3#N!nr+g09lU~nG)SA(YvPcPN|;_9Utn351A!P-RtIo=TI@W>
z@BN#e=u2os2ik(+M4<Uc4NkYOL%$l!(UM=$;(r>3dV$NXF?g>8Q`Q)Ho5Hj$#fNwf
zf@y7axg!vYEHAi9=wzYXiEv;2an;g)q91dl+e*oQ>*^SZk!O0D+yD-tWcRjqWtfYF
z`{|9_m2SV~<T)P^4ZunvvF3;v8PO_=GE5#OJCJXN&iTgA%W(N>7y9PNANm&&Vbgyf
zdti9)MD4Q|W_0b5rp}8iVQGqbL2g$hW(TUXue}6<g}jE-11%hiq&}7?TZdiEy@4Bk
z0OH}9OewS&duXLdj>l_*%rE{ORFA}wi{D9&a&o*j6xec&SPHtXLRB^CQnPz!vYolM
zF?)q2O?|h~W2*K$C`rk+1IPDT0JY`m*QBha6Bu;IX&Y~|Tzk2BO>CO@6LUpo4fA7j
zxmv+S)8E`}hs=^KarX$0y>vR~dA)82+$S0>YX0iaT2;=Jzy-@j@sB2MD_iT*M}x%=
z4UYYVT<v{KF%~I6PKqD>r@yEglz#D>G*7#`;uks+=*mxxmsQ*g&)vvb>rJ95h@~Vk
z;0F(=Q(la4`+Q{M3Ca9%%q}iZ9>VkQk#`n<!1p(cS^CpGY($1R38<Nq-LRvu^&dpO
z9G)7eTyS)FQV>YzExd!5+6MdjB-kRna)lmu6v;OdW<onNG?i{pw?uha?=5Y<ko0}4
zj#oeAO50q`jZ*_#j<ly{iVStWt`Gd!n~T^XmN<Pb0&2F2rARP~P>q3`@oU-%<cZc7
z^hZbt{TV8q8?z{lYbl6w*L*__XGULd{moS0K4!3;aMM$Z8OVvHJC1|#uZ2V&Vsk8W
zQVN$GKq07S*isyytT9acC6lp6{_BJoslu+ZYb9khRZX8ds_(C62YNMxOF+Hsqq_4u
zX#Ib-ib{K25+2VrVY%hvRk0j@bF|xre90;A(2agN)#!In=(pgn*U3VZ(~JI!t^LS7
zOkUjGQS3#_-fn}NFQ1sOC|ym`H7b|jQe%=9@7_n7wn{^OwAV5wihS?UgOo_5q6Od^
z%cZsIHcj9`hgvt%X=Vv4_aoY>rmr(ik6|Ru96E-s3@|~|OW#XL-^EwuQ11LOVrzmX
zVGNEI&Kh6FHD{?t`!X-O50%oRX?^xNoje!!Yld^g^PSxdnyr#W#;dHNOetSPPWf)8
zeJvgeTA^HBue;6)7AD^)pEaB&MVPWKiJ~6=DzGfsM9!rZ?IvNtSl1ffe;k@kjB5{=
zobG){zy0}JU?R7Nc}_<ew7<@@;c>?hUOTdDXS<?Jotb90C7^3okOH6arTvr&Yqj$^
z)(Pp|Y;!Yh-r!^nVo-nSl;~E41X(d-p|{#6-nDe-&e)cIii3A#c!wV+s0M;S|9Jp~
zusc4escQJFh2-0H_?_!7v0c2ASRRF?&f`URY#5o0&AYKHrR34p9hzKuDoW`n0hvHs
zeEenn%BUxtMHfxi1Hw^mLeMi&Gof27BUZbyvD|fw7oDh+@6Qk=G_58aC!$4U@?G-R
z`RslR9^2d>M3;&C)?a?lQd9L;zi*Xu%?eiT+OyUYFh<TRL(o0n<AM5hW51Q6rAG$#
z$oxAIOMI;yGVn(<=Ek-%9(Q}%HT6CZ4K3Z87aNTdL34g?3S=o!y~Ct@WQ$%KMZSQR
zKjutTEM4|QzNJ{0aMl?+5E{8SG{k@Ghr_>)^D}~6CLX%yFW}Pj<Ko@b4?y^YA;YEO
z?~Bc)o3Blcc4ErCc^EtQCf^;X7{xjKkgf`E2RGzdW~*NdxL2K?)R<($>7mk-W8OPt
z2z_KuJ-#=0K`zb&{)NQ2DcFO*CoQ*5RmJdOSS0`82Ko){?|}*)@TZ58xUoj2D(DJX
zXpa}9XF!qi!5w^NXJKn2l1<idQjtDg@bFXX&9>GQ*H`%q!(2w%tc=NeRq>e1wq*2A
zUu5&Vx$G?IysHkMJkf;JDLhbjEUOaNtP%vxDZ7T@_}EZ^t&eBrB&Qckb@;j!^3jXw
zxvyLevb=UN7(>u=(UpiFpK)<*4&AQCF05G|K4Oh{XUR8R_k0?Pa!hKyh-xV5!jP*P
zK92P$L0Jn~EzUB1%P8I~gExg5&I^+wqR$Iw!eFJ0b|fBsr|7#qL;NJ$)g3>6=aJp}
zU|OBZqf3qj1NM+%00c+;Cz7FDATy^s|6@vPlB<Pl^y}AYHZS<p7v^dl+q-AeVb(6X
zb?iG_l{c!O@PPpx){mq~mp;P<Jjm+bIFoii#}N^5YiRK4;Z%lva4$<pgnpP2l9-9o
z>1Y3G-{PoR87lv$L2UGoVF$6KDpR{cswEw+HfZ0q@e#woI}o7!^BtqiO=@<=XvYvR
z;T}*V1s|?d;fShPy<Dc|_S8b4f04`$B0Q;^)n9<33W5^h7zwxp1QNVRz(2r2N=m>a
zpb*M4fD<Y^y`o6{XX}3#<j8I8Z_ZostHWyGduzd`sf-|5gTE_;`L6#`rX9Ef6nXPa
z8<%ugYm7Y5AxL5XJI&6`ajV-$?XFGD>xS^W#-Yz}Kk0Gl=0=+n-BuW`=)b*VG1Dl!
zK1RyI?(OW#5CaFW+eo#LPQ8SJDuyNX3{m&X40X{JYxgrE2ImZkfJ%yP3%31Na0IUW
zTrf#VJwePwC;<yzYTh6`_9Q3xQJC!S#nxY^#<8K0rwug<`#_0%GSYMc@g|E<^-?1k
zm=gY^aer?7NmC$1d@69)!u8F|>lxP{-GN=bNZ1xaiO2%I18u{F5@6{6JqB;3lUe}K
z9|fZ&0RLv(=m`~z10miC6-)JRh2Z)ihd}J5X7+zCf|6tx>_4g~tt(T=u~7Xj1OPLp
z!^l|#JiSu=Z?ism5|w=K<%a$N(a+kO4R*?jw;(x@n|`j^sj9bG=k5mv&do;~?9Bp|
z35U1I+2&}s&Qc$|m%Pb|`k44TYP2WrvxR?=XzJT1j7{{zqq5bmhISs3^_K{1+v)n(
z+DeerSZ^0n2P=zWSZ<=3w^Db^efWbRO-FS{2+K&L`2{RyVR6*q4m9G6x>W=69<<zz
zZHTI0hJe?#?+GC^Z0rpHkRgl^O~brnmuwZ{%2aBqZ}h5q`91mgxUbC`K`|8!#VqM6
z?y6t!;AHnU{*T2<8~QFsJ<mQ+Q}k7`9UkVc^>oO#_Z;}+)OqW+P38oLb=QJ&lARzl
zJIh37j+)}d$HO$vD${?>zd$3M=#OgrR-3_%*p7|W_b}wT&Q1=mU6Rf*){9WtGkBz!
zJIP^*whV4Nv3tY@9kO!tuy<r@zmf=%`G#ZNXhHmaLmX%YefvK*if1cD=a_n=S*CWH
zJE~d~L=+S`h4JdISaxmIikJV&a59*2`5xsl6vX(51In^Q*{fT1R?Q~KE$Gh}hyckh
z?|Yy{!=t)xA4nckRE_goygHZmc-4$AhquP)K+~;FOdb?(%ZAEr_fuXiA!KDj`QOFr
znYWdkbFhFgFc7N1=Bc_Yikb;Hcn%a+#uRa}JEXPxT+4}tBOz8b-el|V_20gYrFnN=
z%mOuJuQ@_=Y#onP@uEbS5|Y54#ltT^??yiO1o`X%KhV+rGZ*g<o<u&!19_k`ckcLb
z7fSq`1iIZ@jmUSw`h1IpJCy{*>ZF=Q_|D!eC%oNnsDQ3cDBgOTPDVw%;`MbXRB?hM
z<4zR?yeluz_g963Ga&Z$P1Mm`oZ6}V3lZ(YblQe`SVV|OP!11<ysNMki=b@;+RQ$a
zM3$-T4^#<_u=aO@>`zw)F$E+in;EBg!)N+GaeUo^C>qu~H^sn!(w6b6C)q)Su2D@f
z&`lP5jl`eCGY`#9)OpW(cgPSgZB#4{p^bzr>#J*OIszlk=JQN%FOO_A{23F!wBhq@
z%30P4Xhr$ii9*3e;eG*56fcnjWk2{d$OzeRgOI4cutj^<pNg5@2iEjFb`Z&r(6Col
zmxNr2f&V;QYdQt;&Nk(x7D8vuHBeiR9_V^Q8;ctc_%gN}e)8NB%(xTSY1L2Sb~=@<
zet!TX1Ej^D-&lj`v%g$@89JbC#oiZ!h2XJ}rjvtZMyr5Woda<-hThcBUm2%Ib|+ys
znv<-8k~37gmPd+DcdD9Z(<m@tm8^r$=_N;7Kk1*q)`j*A<xgpXVKJwgl?+hfV}*N{
zqRNAVN_xS|p8Lyfx0m`j$J8?mhT@*q0X?no!XdBxpPu)*$|ri~<SrZ;7dy4->>KjF
zOuQ4Y7lRT2ge!KbpX!=PbwqDJ`k(f<zzQ&ntl9FcY*IwncQr(QdAw94GNsnMmi$#?
zx@hLMw483=icq&qySo52v#}7msEj}Uso%BNnP&d8lX+6lkgeqF^6E$3bBbRk)DY6S
zf931}WQ3Uj7wjfVzfa>k#lQMpSR{wR7bS{f#F%Tt!;Z24((wvM&i3#I&~M6dOFW<U
znQZX)ew|25;5YOUdfOHWYb453@ldn9M?(L!FCobiawdh>e8vmZ<1rF;w|N}&jcD&P
zGF?@IEqN5TMF$<wT%;t-wMLlcKi#X)7cPD`U(>HIR>{=<s<`We27VTYE3qExV4*fg
ziF0vKjrNb;o*+q;rL}tpKd?WT36HJ{*w|_jSYjUEM++{8m-JSEhkSkN7VG^QZ%oP!
zOYwh-GF6nMO=kw!5qD|mtls4lEn8n?bTPFAHm$qN3ntdDHK*lnZdY!G?Mhj$hZSqz
zD;uvZYFrw00}@?dSwQU)v+SQYg_JAOhYXOZ*_3`kw6~bAmi_pTMzz$SnRnXrIDnUV
zN!RJXtGS#N@IksD^RrQ**_E-e`}5*MS?T89<uYxPOh!UxhO=rFdJ$vswnJcO26Bt%
zRYt|huy><~WI2=tqT81oROU7z2wQv-$YbXfYm-pE+%#Vr`{%FpxK0O@AlK588_;8m
zJXnnWSC4J@BgaDRqyOAvlV+KZhwqnf?|S@U7W>@0OPge;=bX_0H1&8S-em()ZE0v>
z?WhqWKHT3BK2HWvPDo3b>YcAHR3TYXXe7esN`9HN?rx9vWwH%5XYSUJPQ4wI`%or1
z{_%<~T9MIIea3641Hwk7sb`CWck;@P7*LJd=25#z_VT0n<7*{^zRG636%*Iq6J-=z
zR5UWF57%^-%d0dq6CfAVOQDS=`w!hJu<20hg#-5xls-xAFC2oxrcN&Ri<dk#dF65t
zvcqI4-1bAVx!6};kH8_M>9F~y-CgsY^BwJ!<dGtuPk?7dbcfb98E%etrB&OTB=}`p
z@w`5M_bFYxv0nynNnMzfXCR^_Fqk<G?xQ+m$2_>9vrC2f<<oa3rjF2pnx+cBMr=ef
zxdi!Vc0{pHiOPH?)|!=9!(DI60`)$DW9#*uLar)sQCG|VH=LVPGV-2!EskbBgL_&>
z@J54{yf3sRD-<B|V4SEp{b_ce06WezK946hPX7V6yd}$@`JDO)Mdr&t?w{zlls+h)
z&)<_OuoUd{V=1}_XSbf0?=1Non`Ugxv12DWc%%CL+@bHSGZL_ErYo<g!O1FrU-X|S
z@5Qg8Po&=>4O3#@JDXUSt~g^|ZN%1kQ?zo*yhXreUC+*W#Tynd?O6-5Pq3uO9BXvw
zX#EQ$_8sKwq{@n+#Aa_nhQwD_E3HhEW43cL?OP(;%tuo_$tua6GZbUmy8LLeU4rvr
zbNngSqbFHUZ!<TF)g?)E?=zNNR&nkoxqHT5!Z=Vl5~|n*OZVu)SCy5ivBLeU*Hm^S
z5Q4+uPx}0luD)y;XDsWt4!U@5i^&u+5j+7aV5l#`1v!@~&pf+2EhN}7egOX6UFl%d
ziVPN^eAw153pyv9KF?yWOlC{megdID&+8L60V@0+Xn(G{Uzea=E;jzjz+;>dZf_({
zdOrU9ESBDGh^EIJ^|&njtD^;lk45)#K(Crs<)vh-3^R06IN94SO&ekF{G^S`GyTOm
zfhyaGTpDw#{cJeTm#!77yS^JgI2Rn>GL`#!KY7<qOuBGvqxtKn5ZgZ|=VUEU%wSg1
z)HD6zYJPG-?prJOiy6*0ITCrJiFj==7I|Z8{M={<{7u;)hRGa8Xj<Ek^Lrh5Qaj@R
v6&}}Td&%I0TqDyAe|girwfP7rT4+R--$8=o>k9#*9Hg!cQ!2XmAne}&ckyyz

diff --git "a/images/intro/\320\241\320\270\321\201\321\202\320\265\320\274\320\260 \321\201 \320\277\320\276\320\264\320\272\321\200\320\265\320\277\320\273\321\217\321\216\321\211\320\270\320\274 \320\276\320\261\321\203\321\207\320\265\320\275\320\270\320\265\320\274.vsd" "b/images/intro/\320\241\320\270\321\201\321\202\320\265\320\274\320\260 \321\201 \320\277\320\276\320\264\320\272\321\200\320\265\320\277\320\273\321\217\321\216\321\211\320\270\320\274 \320\276\320\261\321\203\321\207\320\265\320\275\320\270\320\265\320\274.vsd"
deleted file mode 100644
index 2b9575d15f16321d43e3b19a43861bcb709d4c0e..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 40960
zcmeEv2S8NE*6`f2%hKFJv7s!8iV7}81uX2+6ct?*u|y4vf?YubEKzq6u^T`@qtPJt
zmJqDzU@y_2u_x*xSP<0Rr7PwBXYR5HiRPK)<^Avb|8Mkg=ALP1&YYP!Q|{fX`ND#%
zoOTb<Z=5%xPy=I(xXtJU_({XF03i<eF|C1N7)+)B!27@Me~<*~fmhsq|Lgw$l)y+7
z1^;4^7zLm?fMd`?+?C(kS;HvMTypP|&@f)SPu%y3^JmL{pFICeod3z?|2x|s&kdIC
z^fN@BUVsCe%Q1S%NtBdviNJG;s&OJ2ji#e{08z*vU^0qBvr#0giOo~K+i!zN0?VI<
zC>Xyx=9>^l@ZJp4KXXtBTjp#O&g%YPD0>QU5(9jMLw~@W&3TjbcRoibAJ2h?x$k!o
z-a_C3?S@nz!1-Oh{~SM_jrGTM$L=k~{f>nBb!?QsK9yd6hPeRuPa}wfu`ys108;=n
z0CRv=0DJ&20gw<t1YiMR319_a4bU2(4M1Cfb^z@GYydg{bOf*k5Chl&*aLI|Z~*8G
z&;_6?04~29;O+oD0Gt4v0eS*R09*iE0o(xG0eS)S2IvFe0pJPX1<)6uA3%SA0RY|r
zSo|^o9{^tfKLCG#006ACg8%{n1_KNM7z%(@W*ES50L<I}3+_$-`?H!4LI7tE7GZNa
z=&AquFV=;Bm-{Q_|GUb@`TS2VAL}t53h?-a$53q3<MA2ye>_g%{{R1qt~YO||Mlx7
z&;T<A{bp4Mt^Ma5PS1TydaP6A%_}#z_G~Xm+r&dXoL+r_$5+m8Xt6LExd3221B8MB
z@Z2&M0M8-Q0Px%s4S?sH1ps)iQ32q2W)%RQlTrZi{8Rye%Ps<C#`6r;;lQZbk$_ko
z$FXpJ*u4vPgo1E?!1-M((-yoat}1YLMZ+E7`AqSPg6GB6k98#lj9B;b@uT7w#bu96
z>t4WPDfk&QIa2(u;~_IB16X8vY*tP!kl3=ZEDZer^iW&yw5pb+<GLLM!2J|E7XTc0
zF#rx*4uE;b^1%6TZG6UIc-{^R9_$|$G<f(>U!RZwHYT32!$xDWPtd4<k;8pP1q}BY
z77)TF$E<~oikuxiD?B!Gu>Tv``al5A6FbZ&E(<&ChpM4belD&qy}Uf!ScF6V*Znt2
z;9dO}>r_EfX4xzGG{M1C=)YZ$+{L=K3k)YbH{fs?0B-j{08GPu7WcR90N5t{3IO-b
zs{q(eya#}Frg`7=pFTSrNUYw-07v$n5FHaWH70zvc*^uyk@F_Zo<2DyYF^ZoSaH;p
zDbpuMPS7J)w+UFkCV(0b43dWp>p41Plp!Cie`lT-muZWii7yluyl5zSqnE>)vKu{p
z-t;K84ze!avFj3S^W}N#=X2awa2;m>3<S?qz!Y>W2_`l=mroHY{RJU$z%Vcw3G@}D
zT?OHWzF>%#0uyRGAdY~_$23ci!`qn}BkdjzYjZlmvlsxf>p{o})?UVSAq9EA;$(_O
z!1if0Km-7e>mnoBKBq5NCAF2&?AQgtsH2S2<nJKU+vvEBa69w{zD#6D<pBOR0C+~g
z<#end{A+5j`d%o~0nGKa0~$^<2>=fWI1WyO0U;GOsT<uJKhD210FDn%W$;5js?k7j
z0Wg9{(*P#`-VK-outdCyyF?spV(y3m`&V%dX+g)D@`0!<-;F%@z;mNhHTf|QSXTQ0
z@HmKN#gidY27bI&z;XqIe!_pincUv#jngy-OgF>>FT;}&R3LczH_|cB*kPHyta9+%
z<RWguScV2!8p07l5D64TSwZ{awx!wB?<dbNi0cV}<&QCT28^i&Ui2Yv{u<<m(;55_
zx2YYtP+_d!%K+~MjPv<z8{lU{+P~5cj*zE8cW|5FIo|;Qw@G)IzW!JTp$Gc1sL^kb
zA5TVdvCiQ3X4}K774)_@4)g4TM#6f{hh3-jk&&v)K+DrdVf7l<AKMlpdH~&<4urp+
zv==Q#-n1({1SoxJUwA?`n+Bj4YrWCT?%ph}TEJqJ(JuY7<$V_CIgwHvE;F`fao*!@
zdVJ2E#c2H?eR#=uJ?<2v53g9p;(~A2uvk&BfyK}uFt!?8b3YzS4YI>BYV1?2{e%6O
zHWDBjDv0Y?4*eKVlS{!wgf1I_w)w!$#&p=(nAH^eXFb-~yg;iO%eWU~P2ue8r@78Q
z)RCBnP%5j^>j=P&%H0lD(0ouD#Vl*;%uH)a@IgDYnqD~hYK}RDqqGOh1czgH^$T<A
z%ji`4Mz%TSStX!?51UhW#^D_Vgo?*w+++SIiym|vXa7;PcE++7nmy5Cpt?X9?oWpR
zf7R0h57q3m5<E6QtLE>GZY$Uu4P@3?PH2aEz_SvJ%wM1mnAj%Dn(BRI{^W05?W*fe
z>+4ZB+nU0B>r<uD5%KI$*wl}3-SNbO#~42JpLoErfRg~@u+uK)zWL>5zBnuq#{mce
zXzuX1iydy0Ki18`teuQSg#p{I20zAFmKgII0sCQyX8}+X&oC#ea38z_a2Wvi!5*?V
zdi6g25%;f8AniH;a83Qo1RnfoDJ`R2Xg9ha^eWuT<TOfFdaHaNdZW=h_4v+37ONt3
zdc43)%7#y{WwES%FBYpF4$?m_AJ5`EMHGvn3UBQ#@6%U01CM3^hPGP;elfJq3c!(o
zGaADTZHL3sfQIW91kl{+TaIBAKzv)ho41d_kK4!K#~3>UPlmRU0S(Vlzik^6+1ux9
zn~$UY4D+=Eq{9F*`df3e7IMIIb59Ty2mDLK#{4DXYa(+;4A^hXH}DPhP#OHV;ATAd
zz;mPfzc)9pOx(!M%?6C+h36In#`J&3+zjGsnv*>Z)do$&@_U;z$PA}5_#tkKxmg2Y
zcy7kFC(h@$ZGfK*Y5z()I6|JdKVTm4xbPLgA%ORpo3Z@xSg;)8F8~17G!|ezw}amA
z1M_Ncx<8BvVkl_8H%jvLR!zCb;ygagqVSAvTj;UafyJ^X9{T68!TRTp5&GwUW4~Vv
z{Na7@D!>x~b3nfEziG_IVR&-G^>|mmp8#RMts@>M4E-CAzu1rWH!#M|&{l@N{s?Gy
z0DjxoyUYIAE;7h|7o`0J09=#o@!asX@kor&m6_h?ljGhfZnGX&=dxIp_*DPA%1DaC
zRWsYMIIp{e#YpF?e@+|CVp;SIJ<eI84}V9?=+}Z+zp!lE0AN3M)&SU#X$G0#ICwry
z0q6+w=K=wb$yR`Im|;xDVHQBZ^?X;`L_pZvWnkCTK8AL}7`Jot=XbT23gX2A{MGi7
zL0UYvgKKIpTsKE}4)xBf;=s)I_Sx;P$r8)c2IOT8h1de_3>cSZkR=Z5)JS`mEQ4A8
z!r<?lwle51*4@hhe^nk>ch>=cYmx`<Lw#v)upWHDmhc8k0^1TYTJ`xdy@W1hu~;?w
zqW*cSR*yIFq*#Koi8d@&b#h^GUZFpW(T;KY@M*L4&+m}*-?1aGoFm>MXKY7cIsYp=
z;%)Udj3ZbloBOfO8uS*tP5sEwHY%X~6S~?B$u_C}P=bG5SEqrTuncFsMTR)+eRQ=O
zdusQ4c^Gu<x4O!cAyNji!u`^)-Z$(ET)BK%3dOSXqXENXQ#|mp`vOkj5jWCtJnTLY
z3EBMsjClo9SsUZ;to?Dmo@~x<Fz(Iz6;fkBGh`T7aXN#a1H;Q0cy<8rg@B!a2LUbt
zjN=731e*jnENx|o4?3qZ_#ybcY&#gsTG$kLp2TAamOI`<=?{Jv04!@7Fm^x6MgE(1
zO!33A!gJfR8+`WJKnMFQ!BR%31Q53|4TI}|0oZz{t=kns+W_FYHFt(OVLCojFarR!
zYmyW6E7lIf?TQuP3E&}sb%1gC=?*hn1vnV<t2)hWh5d&7u)N-uA0&A%*$sq<SP!ub
zvAj%Vzqk1ZWYGQ}CVTj4ububJ+uYW-xxD|1Okf=YrM;;;mWiQ0207sN5<$QT!1Dn=
z0L%gCVz<z=i(P?vL{|*hztGf>_OIv;uKz9o+*fh^yUX5f2QA4V{YQJb`TcHx=pgLg
zG;^5G-|i1Vwr`z>Lt#r$4c6&M$l>qI!-h7&I@NrCMr#l@(6RgX?$0cojPuN!CxktV
zR2te2{)26<u%a*&zZ6j{0e7Oty_y2pk8zK4o$msBHX^_{1fT4GdC&n}fP9X#&kWNC
zDzaQ@O(`J0XwAaOWA{6-{be7-3j|up6r9!psU#+GI7tf7vOc#1nmwDt3Gg4EV7Cj0
z<Gk|}e)F5}&rE>$FgwQaB4B^0UOfNF!FJd2*)vYJ*jY9or`dk5JHq=jxTj+O1xV9<
zxNJVo3&XqiXRr;_yHR)XChrA!#_eLTfpFNlMp_Wy=FYIj4+df=yFz-?H~!8%YtUW1
zev(1nxX*)YvVkyvj?mp&!OG|F>Y|}P;yke|FvuF^;rAAK;IQ|Rha;K^IsND45sPHc
zZT=y73~ZFg;J3&FhrN$HV%bsq_wrZ;GQ#W4-`XABW&e6?!}<{jY4My1u1P<DCDaXx
z5jyY4N<>!I=MN?GS8Up`PzIj!P5_p_MJ_lD%LViDNBsu#iN|2<47zCOJC2}~HUNJ`
zHoqJ9-{V~1E8yV}%gGyA0x!s!_J@D^a{y1+y&M4R4!m~}L?hp<0cd}|H~OWIH;XkH
zdOY_ki&gd2`sekgQa1cndlst>!`d0A+X!oCz<HjqcE-=lbQa6beZ=DJMl1C6e`LP-
zXU_xl^NnYme!k(t@}%GshQad;2Gyl%9?-B8zt4OlgM5~QE`XXd9)Q!|Z@!7gDgI!-
ziT{K7CjOt8Z?*zI*jBm>cphMU(1@#Lm~U{{U3kWN_pW|34Z_~7lQWy{Wg5-_u$(b~
z&GkEIY=htRJ#1sG1Nd#<`=j;HouA+DoYV>O6$4-!ACC{%;q%eNge1SDcHS(;d#-<H
zJp@M1Th~K|v4$<Q*&oB$gVP!O5VvVPqy$Edp`l&_HV2IPHh0Vstd!&k4DtVpP3s8x
zm;vB&2Len0!1e@|`@7adyVL{x7ad6S`~0|+l@)$oH+H3;f&RAjkf9vR_g`5DKr+@D
z>WcGu+ggSPG8+wHxQ(kJk`c&?0n7(X18spMUhooRwm|Y6Aijm{-j*LE`M0f&E^p}K
z--i0g?@RNIzIhDe^LJ%pFxQ*Q#Nao`0k4g=K>hIrt|x%;e8vI)?ru4J0O9DKEMWiN
zJ~N4he5V0m-RUlSxBc+LIR}5i=W*=*JVbk|eF^(GJgyX#dj8F|jzJz!?I!#3EXd(C
zJf8=Q`xFi{jDI)`>kOs^0W^2b?d@)j0fzhyHiHW2SPs7(xBjj?Vv%ZijrTtzk5i5E
zIP(^H;IQ|R2d*=A|0#JmBGvYSe@GtRH_9XLE%Lx&?;{UKy*U13@_>b{<=6j^JdQWY
z<J-5$1BbnjJlKWzTl6CuXb}Lv?Jszq?*()$M?6mhV$WVMM!ZG%j9rGkhA{9l=0FjH
z#}WY8Li^@9`$zOy?&m#R!s5O_!*d-Dd!IQ7pDK6)ymc<O*WZ(Z;NLkzA9&YXei#_Q
zXL=_An*qlBOzg2za09@Q_V3Q+hPs+S-gsWW43G!#XU1lO4F<`Y)^<3*PQSZH(VIpS
zHV;r;%JD`<UA<Xs8mq?}vRJI@2=^)=T=n>+p6&+sD&SdG1NSO$x=-C%teOw^D)93=
zRvdq2t+)z!#&e(v$hrV<Tfp$YY0SrAt$~2+_O3Bs0by^eHxKB)wQGM%gDAfn2e2KU
z0`NAy_Xj%GJA-aN06%uWwQqqW!@7f=Auf2|x#w@N*D$u~Vg9%G{NLIyK(ZW`qu>8A
z==Qt%MLkqz9Zm)j3^p#d)m}=j^9*VKZohb68@Jn!-u_#xTd_87+&5f5w;eL}*+Bnq
zv2klbW-GABKxWB+v5k8~QpkHLnZ@hoQpm&p=Cb>{HZIoL<p5Z3@fiJ2>ME9d?qxfF
zjIq4`o7Q71K<-H(2dt}je8K$?%RJU`RttF>WDmjbwT^Ivh<J{|edK+0b-R(h|H^45
z>^&kZEBrj!jAAjSzfD&iAb$+N);rIq47}sIy-jamoKqRrS}KT?2=P_}UJIB8SmwBw
zXAbgM=I9Erw}o8ZmLDW}FBxIE{HOE~-^Ic*J#p}?-+!YXu7P<A>!C5o-Jpj{#ItzE
z+x+MCaG~8fKdf(4=bd6@g`cq=8tDHCJ;Zx-SP$0&Ht6BmHhXz;kjL3Jt^oft_0S+w
zjNJz>`>z`h6C3q#C189v3Xd6B=JGZ}{%tnx`;LdvL(cfky`I48A>PybaBCj>Y@q)q
z^e_QrKmn`<z&1V}57)HmCy=+v5m*Aoe#7{RZJNJ39vaq4cwRP<{r+73qF|@r)d!w_
zGOODE=-v~4N9il5`x(G^Uzr0i+45sk0P}t}EMWiNK9|S)57Pkt)%xc11(|*qR=NM-
z-qTo=SK8qp+Iw2mC=V6j^T02lrgaDoJKIQm*E%E^!p8z&XV9O&v-k8q@^FN!IKBTN
zdEjva>&J?>$ODJHk34`s*8QjC0lK!x=O2;>9zU@>@VN0?{lH=GBM;mcu=`KR1NK74
z5B-Pav9?hjcs~EFJaE|i$m3mmwSVP&w|Rdl1{vRDCH-c91n*DS!uf1pxK-`}pnuCm
zjCz6JmmUPS&hafuw>SGGPu=wUAt*t=KVq|8|GfXa{@Jfs|6FXu?u+EDY0qNWREZw%
z^VQ?kK`d4UhO;=YRUC^84lZLc(yV2%?0yD|6}z^vShaGmKK$Rf--7iQkNXz@=K{VB
z7*NwVhr@2dGnUo6#<^$+dmlOCJsX%mo6Z-xjn9~706h2d8lRho8~hOTyT0;&V}AzQ
zcGzC28iV{X20P`y>I@Q($N0R20^`oGKZETVYw>^n4AQa#V$UG)`V7koKjSk<1O06_
z9-b%g+8W!Yc<qY;Os{vYf4f3x8vq=?xigHbnEp1q4Roz(U5pds{c#>(!x<z`94}Y`
zGUJJ#1N{5WAaP%c02l=2O#@8ACIWs(%JBRh_|F5q8#(}g4enhx2@T;bu{}Iu8RD}r
zY>(Rj2mr9%MauMH@W_7C!4iAG;c$bWCA`NU_APj^<EUZX#Qrhi^QX_5YL2@)I8*&M
zvS6Wy^9=eZm6|ye?qoyVMzZ1U&?gi9vFVK*Q~aq_)AjfNT)>ap3)8m(t;-gC|L+$z
z1&&t?G_Rm67<Tlu7qKNe%H~-aR5KAVRb@<ht=5RB(V^9<5}h@zvPNR~hLnmyd3ky0
z$&)7xx^m?TI&$QQ25s50#SW>^6lTg4G;G)~<j%Oeqjv4uq5IOpD@dbz^r|eJz<Tws
z-221{ZC9#g%CyF%TASkX?XN40_@&w^-IK~8Pb=uYrCR?|ErCY$CW^~dWxB!q@%%Df
zL9HwCq;gux(+WYUc5JDZM5B`0lxk(_x^yBPLWnOmgP^FMG^bR{Jy5DOD%JAZ(I%x@
zQ+O~d)tZ-TTa{}0kUp)brsoARlptOar--Kni6#*!qoIR{=wwZH5?1L*2^EeSN_0ti
zbcwEhv%tb-k>wYI9u8WxT>1mGlY5>Zhgx(=hjinuyI3Jf+ohtff!xJ{o<w%G<aAHB
z=B8U4rCam95-t^`8Qbl*F43(x16fh3)5t;?#SOABb(m~n+bwutL9JHW&Nj`agNRDE
zPNh3ppA;<>aZ6e+6&dYV<HTFz^sG$>k%_8{X}W!vEDN(6PUgJ;x3Vs=)JpwCD=*L*
zD+@u5y`-l!$U^${gr1w2A0HP=#c*7(qD-stG39?_vc&R+6Jc`0iM-)N-RK%ES=L$J
zN08<)w$ELw3@hVw>x+&h?K#_*@CpPLGo&Y}4we~KD6MUV)y!@gRwr$*x3804v_H^6
zWSVYmmTqmHZr$oYx-~!DT99rnOt%(oNVm2~7nbODU4{C&_u_Oad{rMswxtJzNIUKF
z>Dy0)d<6YOL_{dLFCtVX>?filLOBtkTrwim$Vae4esuU<d8vOXv6mDmzJOq1M5yRM
zM5skXsAWW`RYa&YJhYAoZL>49ZMt>4O_SQv4@24)k6bFU*+BPOegg^>_L2u#A!6qp
zx--W@Fkr;a>CycPNA5?(BMV0o=ckhAr&4tB$P(S&dvx@)0V8r}l<0b&XveD-Sct_t
zxjmHwcXD|=nR22spsTpE_4Z}aS?>E<@93~pL}x7KwAyFGoy6NX@K*G$P8o|cj58LS
zWGpt_*SbXaeZ?avJST3tR=Ua}ag{}Xc})KftyA4gEDH`4^&;o5qt-alYn(XZHBPG~
z``aG`4t^+x6r2$POLA7^*kp10uLaQ)?TCa>X?n_t5?$_d2qj*}Ma5+fwfZnDI&4{3
zdKlUhc2s^&ej%(xUMFugu7k+RGTqwBIy6s9hi&LFw&64(3+j?~F~V)=*V5&mU(DDS
z?EdrKebz}|%nQAe_4vm<^D|#$qomADnfo)p&AgJS&eUa6St$-y{A{~jOGScj_GDQI
zNACYlv=KZO7r(RIx932Xh1Ij~toMJ{djEHAR*Nt1&a!CR?YuN1!>T<ryiK}whji<X
z)}a^7D(H67tI~D(pPd^#-p_8}X+#*OO*u^@^u1ct3vKNE@a!Id;}|EIx&-H}F?IRa
z-@(er!<r{N7HTX!W+FUh8hlL9$$E@%l5yWXM!pssYIuZMkFZ1PAJkXXh3X15S97WG
z)v61G`EBAnm=ylEi605#7U@;k>nYXy$$ENLBt`s6NQ%-UsVqWGcolv0WYJUVqbIaY
zWh8Bf(DXd|H1S%ueJiap&gHC}^0XqosAkl6pWap(3A!SeD?38Ro&EI-x_7S2{f4$G
zF1>O}2TS?``7HTTKL>S6!1nY`f~rC4aq7MnX2N6Uz;G+!F}{yr=MlH6!$%K%<K&)h
z-7DR?x2j7Yhi+9}EW853Wx5$okH67aUe@%f&G4%6{Pebm^e}g*o%>m`+_l=Ris(NI
zIabU1GyHkdB<UvU{(fh;{$IorW*ow(*8_DZuXv<tVy-Y~AbQ}ObaakNrkg42^CX-<
zkKg8H|H|0u#E3x0Pa=;!ocYlIyGf&h?YzqoCwj7k6TR(WoO7SrnGgF{8c!Qg(Zk2_
zWos|O^HmR@eKl<ZJ6rco^Q!4lx14ayJ7sz_FrDzuAiXns<dn#CNz13X_ez8T&K5?v
zMaxf|iHe{3a5vem4O!}96S(3N$6<oH<zLSJa`It*aG%;APDV;ie6%Zz9FMQKv_nb+
z*7v&g`beSls!IVUTH_-#wiVer*!HmvY(LP3zUn~^COOujV~As#YFlGTs)=|5v4ek<
ze~#a;s-ciy!KcTC1q|V)1>LdU8b02Ac+UhvA&HSJmu!^mdhDZhKwk|SpV7Z^+r!)A
z0y~#T>LjR@R4jFq`b$SkFH09m*GbW5(l4c_q&GYc%D<QA%h$I;i^8kqys&m*f$_b=
z28G>JBGIR-KiKwgOW2_>`xO&A_gam94a;<%`S7Z%XY9_$+h)H0Lgo=QIBI;<>=_SS
zhgWWmNQ-i_IX|~rbx2y3tl(`NUfy2rpFAauM7)ib6a2?+CC6^1#%^*@_EDlh<p;`H
z%B9K_<qqXh<vFD+AiG4FJSsr9?P0JJ)jk>Jh5Z~>Gdj~b<e{5xPx}5;vFEFhhZ7(F
z;vAskY)L+peD#OqtH}#zT#ax$=g6Sc)?1^3H_mTQOw?H}@*rfnQP-l1qAH_|l=;%f
zU5ItsWHL>YJ33LE8JO*#89Y~>DBl=yPqYiw^!fRSVDxJ7&R}%+xYp&M?{S%q$hG`x
z{>g_ab052_(^q@t%7z~QT(c|lcxI8tM;p_vtB_uN#H7NzJg*JYo$1fe!)p(nFuHnc
zB!8(oMSVUK-OVh`tj~mTBHKN?NHZq8J9>E0@+(hQ`(VyP)31@}c<qkbET?NuKQBxu
z(=A*k@VBeY;y|_O)!EL;(qwd?OQ!Q+A~7f6(Gk0vyMqZdm|(Jd);e7qQrSM&Id`nO
zVnpt(r-6OW3~yh2)HY%GOlkYEg^9Vr8#hLA8m#smLH+Eq1&fHpGiM*Tj!x1f=kqNx
zXXdNSZ3kzL&zzm9%*;Ffq_bCD+*MUUoBLp%w3UK^f{1p{a@LB9Kh`k0!jqA`D5QFH
ze2ZeoNTOhSFQP!9G4nx_Zwugis0>_o@`F#2&ibH85VQ60qF=Wt65_7CxVuHMv!gXJ
z=|0MwREQ>B$)+l;Q--RF&YYY*fI4IO!DZpA{?}}aY$sVF)xCx?+esQUNeBNQnMux^
z%p$2t3<}KX^d*%=(iu({t_)i8)UhbPGG9^HPVL&EHmlH8NW9)*<fbUxZuwQ<!z)hR
zQ`i4cv#;&XN6Fg#yywrp_pKxfoE^PjPMK=4%ECoDRf?9!uhMmJlqw3%!bws!ly|Ii
z+iOBjmmj49dDyeLYBWeQPP6yHY>OXm%qK5hms=9w-BFjQ>(q)TS^VQ-yCVAIfj1LP
z?=A1G@sWqfXKK(A&DgLk%@NI6&25dPe8Lx5GwD9UuufsehO9afC?pwA;=`SXh}ZE>
z*TR^&3`%4&n7z!`%#X}{M#B(%WWn#u_uyljY&KuXPvvWG%kzG?=y2ySAIwRy>!{+~
z9kyoYT0i1<%0I_3?{J6QDz!@Px<bdNY`0g1EsVEK^0Zp87SE7q{>rbNSM<FlDVBWe
z-(E_~kyJWDD$0zLu9UXQ49NUmit?oorRCCu%oUm4<RxKsVJJ+F^*%$sSN^s9NBMm@
z(#VOhw%I+hJ;DZujSrh0hLmBcVYQhXa?gj|4J*s0b7lM}yD0alA-cK3VY8@-@OkE_
zgs9$UwnQC@`XTCSRAH2?B8sbQqwKEiuiUmh``PvemoHtuv3Q>Q)39zcZ_k^uke(Me
z@rQO}bO*P)_Oas+vYX>8jx6afj(sW`BNI<YQ)eXP#lEoG*()_o>~Zt3$oa!g-Os0>
z?QL`lyH+vkL0w;Vj89GTQiz=Qk85@PjOD<~Liav)f&=;L;8TKFe{tk9!5quvTXok7
z>gD*>H_lp&n0s)0?>=@yXU$0E)i@JhafI3SIjgS@D<w4_XMIc3Jv1>WU|V6xVYBUv
zz7uIh4NezxI6beZW00>*JT<FO`?y2*i#c3{IbsTno?8!SxGE%h3Xu~ds=ieGV)Dft
z<I`3JbGHvT(8tbdG&Aa%Alz3xuM|a}62!>tC!>Xey&4OruRHIH+jKwkM)H$&10QEm
z9k!=F+bQ7^5^g9d;ZhPVE#Y$Dfh*ziBwXX|sisp%@$?R_5?sCvk69}s4j6goq6bRt
z+#@^EVmHMf*|kxUCZ=EV_x0qzD)dsQtI33{-J7qEjGevnkTl$Oo;5+V|CW#@N90dV
zRz}aXQY9TY)1EwSL!EBz@v4Y#<@@2)$=`lCb+~xT<A)E(qhC_$>Q~8ynH@4EnIj}9
zBr`H|7|a`=W`3TTn|Uo0<w?#;jIuA}{*pT&Tb>=Bjpk)1WpB#fpZ#t2m27qPSSgwz
zwaV?9>y<k+cVcc-ZeJ<7Cf}WF>l-?dU6xR=0x2$^^11>My0TV$hAGiqwKXrO#VeF)
zB<#O9+i=NIu==3Yb>oN|<A}mn8;WX{<3$M*DlO1d*VZqs<;yaSlFt|E7F75DL7KzK
z9cYpy_00-)+$BBDoo3$dX+<zL|9|1nG_^;jbpK~%QE|M9{3w1=jn%%Qn#G%``Z8^t
z(2cr6NCX5CC*+WIrq%Fe-p!=K(vD`l;mwL(urC)kV7I_GOVE!F+AC1Hz^7rvsNZhO
zO1Zb7Ax!{ZGgefUY8yIiCQKB@ey_U-=BQ!(n~Y*bT?8>#!E%q>Ogh_2Z4Z3ZDzT`>
zWHSY;r$A(4UAl`X(TU5o2yJZ8l&xnzR4HLenX6<PC?!+(+7#88A_z39U?^pEg^{wl
z`dFqI*@|fua;BIii+h_zx2|RsgUJWh@I7gT?Pw%r)Xb7ZhENd1N%$^WP2vJVxwe`i
zs>4z88ivc1d%C+b$~Ac1N>NPmYWQYyIY^#jl$zBHXXVGpXyr<VNKRyol>Ao@Qivpm
zP;Q62Bbl31_)PKvlu0t1Urj{&xeWRkoiNfioHC-48Ev9Fk)N38zU*t#f>?plXzDbI
zBa(h3QV_E&6A}B-56DbN+FIHss~Pt+cd3)L*0_2zl6JJ#GMU<jLBf>_xX}!weY_wI
zaX%E?Lu(jPsnjN-wG7=wph;fG&@@u6W6Tq`p`*+wlo7~k5M5dUIt0tuDjo5xtV|~~
z=V>Zros1t<8xvK!0h|)uw5JuvVENl$uSgET>bi-<M8eCMEY(slec)9ryNGq?eEPbm
z#?2UZWI|=u%C%=F<&3S9o;FhA_1=$<%WiPva&OXwH#mj4!F^0>Nt^X#9Ber#YU9iV
z0_xEu5-GX(J2A2bo@fjaXDSeyTiLW;Pjn+KM6E=0-!_y))LnEb*iw*6kXs33f}m%&
zUr*3+DM%qME+11M<xFcs#aeTgib6PX>1b6)tMvr;759UV7OmD3M&UoV<*BU>l<2k%
z;eEWG483ViE|FO|mq`hJyHwIY*4m>h>1IE#wU09qYwbI;E9GYYS?f5*65ZDIbYY3k
z^n3bA<pZu;j16;suFd&}Qd#EsiosXJ`O?!4*M98$Yp(Q_i40AH#rF3xcZJ3%FTt3&
zGfFJ1vM1^~5tL_lAB$%}0s-yjEEY`Spd~S|%r?s7B%}~4CPI~ix>~}P)#yI-UF)$H
z&aQE`0)eXMa<OoR8y)Aiy7eb*K5*j<oZ-faTP;}QRifLTN<S*mRdost;s){v$*|EM
zxT2lDydSuopf8>xeHx7Xdz<!gNk$4GqyN$~%r_zMk?Wpl@+id2hR<(zg3o7v@8aVR
zpZT5FS)^ckIf9|l4T%}}WT7{Fa6#Jep|1-)5IU}016|c-n#_yt`%)o;SED|Z`P07F
zX{QflGCx;$nHYtNmdbiZ%cN6$-KNRLh>^!M+2C2S!CPe61L&djM=q#Bw5!)<ST_#f
zcH)sK#Ewo6OngYxmTomjEB(-m%j-m=IU>$h!lB+ifXv+nF}qyp)vHxdFZ0!wXm1ug
zThw`^5y(Z*$%hE^EzvC}ck_C84trKMi<r@=RmkW*qe4APbhEs9j$ATy8X=n_EPPd^
z3*f9WFVU?os+o{Z<iU<5zeKlY2+z)v>u|V>7k9J$+Du2!IWje8#MCprJtJ?m`lM6z
zdRmr3Od}%c(^1>Imgp`P)g%emlcS7@yFzGILdZEVgjc4UJR_>Taw{=y<jx}G*0tU~
z)B|-5Cr^@fo#pQP#)NrvnM6`MEPFS+)GZS@_c<#TC~lN$2fCdW3$nU~$4%%i5Nt>%
zcF2U==Zxs<QooZgKxvcU&P{DYw_=fkKN3ZLb4U@@LpB}7c9TW*KyyBjjd~HipgQ_{
ze`0znZA|clk#yC#0UWQ1uCP=LB^*c5XekVmQLtWgJ8M7pyQ+aho>bat{Br|+3ToRr
zuICnnP)0|_oD08s2gc1(EldFe(0pe^J}YaJ+WlEsJ%cwLzmOw^l6SFkKkVbdV2s~o
z_`K+6VZa!ZZq<daxKAtatWy`5PUXUp=zU`wbPIJV*Y#eTOI?8PW_s8l-&zD4S+f#U
z6!Rk=)tAX4N!Tn9loglD?lHPD%OU9$S4C7)!Nli8Xh)ca^gCWpDy?9zObF8y-ao{g
z;Mb$@r#SVF2DCf2RNG5a0o?|Y!KT+ZCu<mDx-v5R)IbN(YL_foQ4L9ukfSLKXv~du
z)MnVfY_+IV>*GufT}JKoK*lEhFgy1u^joI*)1>%_MDPA|853|B^|*}JxC}A^3Ne*i
z!8O;$Qt<Za97FbvnA3=5fMW-xQ#lX`Z!7D!RvQEV1d>7ALy(UZlsg>!`g}Oh!u{_t
zG~b%<*s8_DAMq3b>208K??YZ#{(qGxoX;r8r=&$b@3vTin=F>670`UnV*O0R!zRn9
zad^k{X$7`gMw88LmYr{GmSe2VlB>5_&U5Kr?$FU$qvZkr;p@){dqjIaE4z@y3tYF2
zE-t?+^|lSRer2ltNJ^|E2xIsjDW|hbad}h{y^65;(CDuDsE@4*Ut!y38@6rI?|^Yb
z#0rT!*tF4@f@w1vn>GxLldNe|N)O<P;S-Wz+BBGm8%>)Mo`d`@YN*1d%?kxKZAN3$
zrqXY<02}6D+H{UxEr@Zq1Jh<Sy}@?WE?adSHf^?1oL-jb^G^S3+5APz2Gs9=t($+!
zx)~oM`haAO8?o>}Gvg+x;*D_=<K1N3Ohl)f88_Cm-WWGxp>K2JW`<j*X2wm4F6NDK
z^MPxRH^vR=^RSt5Gn#>qn$AOEC?wZl+{|VgjT@H-O~y?xrqQ@T%0}bnLtm!RxS{78
zj2nfl+F;z!&)yg}q65v08}Y$6#?62+O~%b;x?MBl#>6MeVBC0dB~8Xny}js-anmEL
zx7nU%#tkvJnQ^n5N3<|*LOr`TGj8Sx#Vw4RbmEIQ#*L+*g>j?ih+7ypDa7^`#*Oe4
zYuwb^)!Tt_b6{Bu<EH3ZGvkI-G&gQ6dyi;l+>~l(yfJPBf{bRy&CUjcanrEGVB8#1
z+;1{&P)0N3W;%SB<c)E21J2j<=1uY+m^aVLo(Tgwx2+mY4CBlZ{l>=ms?o+V_Tv00
z8^=E=otkS6HjXQ6<CJQhJd|sx9j#d-r`i`AISxU~sG)b;cv7s5qmDvlB|6r~nJ|ns
za_U(lCj-v(980zF_n3#T$&ykn=V=9)J?jF~bEz6Q+Fnzt4XH&JOSP9bucwx2V0La@
zs`W+Er7(ZPtUlSQqI^s+g4Nlhp{QEUZLlY93{9u**}$>*S_#-PG)?0f{g2%H9CF?-
z!pE3aMKv`H^N9I`JC~x-E5-ypsVtDD1UfLH)&8wzJergy$i!V_1ekK#FSI%WO?5=D
zGPGB8=YPnL<}c$HzG9?~e6wE0dGNVg<wUUMNYtTJThDu1kqmD*y=M3ka7e7t8k0hP
zCqC-UAH*NWpUGdsPv&RwA6MNc?>G1pAX`7g^o2L2gW;RS)lq2bJroYV%EXA_!v1vl
zfbp0}H17@?_8d*VM^2pg0DiV9wiwB2!Q&}4WaJ%W+SV1hHQa$;2y%fpU%g)5!QcPs
zBaovp8u-npuqs#sjV8SXAqU^ep$BlNgAD_XR=`L0{9gQl{IUEQ{Kfo_`P=zlJ*qY#
z3TlBzjn<EW-xp$e)WH6%o<{~X@|X?3W!1>zH}}XU9xu^?H$2w68F;+!bqDz(pBwOF
zL+U|bcCkEqj7A}Wg13v&7K;(=;I}dv^QfA9T-AzmhA{aaF@B9)!me8*m$3TNa~U?P
ziOV<;rGd)~5M>jWwaCC_Ez)y|LP|<dkcpsCke=@nB+DcH4j!w3N7aLR5F`bkpVITF
z#Ldm}$l&J2JSuT>vy!~2Z*G>yP<?ajd3?z>H!I0(+}t2Z6T!%A_)Vt(PnO3h)F{ZC
z$Jws9tW=xAO`A^LV~Wc;7O=AH-T><kSq5d^5tX7)P(C}-GBvf7n$!dBkZ>1oNX?~a
zTUdWcxR0{aQmOrNv`fMb%FIZmhKYk=e}oXR>zI1n8AGkuO_f=tT19br-RlZn8T9D3
z$fcp6mhDNR)r`I;CCFAnPkK;arZc93_-H@EJ9Y!%P64c4hO>7H7Q((3<;#_&m~)JF
z85PvV;Y$T`c;CZl0yhd^OHbf`jDOmMxKFNt+XrAD*9Y?j6bc<U&WT}HMzVqS^{Ebo
zi)`S!^F?ai0@&Q^Z<RZcF-g)J$|=LG5A!=(z}{Y%Z9y%eWGF=UN0&_n6lI>mKWls2
z_L*(1t+@o*N?av=l2FN1$wJ9m$u@~BTXIrzUGi8`Eisl(O5m6h5gqzW?%LN>Byr;l
zjVL0rL!aTUM#3O>Zx3>U`}7Wd;$0`Wn@B&EelA71(reNpX{FRi-d5g2K0qEQmxs#(
zj6S6;;T}U0**4UTn>tJ@-8t-&!1--A5&6_pf-)6yMZ`oJZa~nmEu^q<*~w|R<;xcp
z_;Q~3a#G{?0<B+(E{_LUq(rRsgMpVTnoZ|P`%H|yI_SeY<31cPc3!A*#KXr+MpIT9
zVViA`5p&6nzF^iSaIN1;%d65mH^QEbR<+kkT}Bc-Ke*S{`d8nvy`K^`_l@?QF{Z4Z
za`;ax5`(9ibYJT?vs63iaa9!0(nz?^DXPI_!$iDLSnF5sSf;%co<k8P;l!nIN~EsC
z3x)fzP+;sD7YesM=>e}5zEz5TbbU~rLcdVB+3$6PJPtJ!D-ihtPJtUb+}E!YK2pr-
z6^+*kyJJ66#B`nun-OMh!q9zkzRe8fV&%um?aIehS4K>-aphhbwS<l%IA~5dcbc4G
z1mQ21)SI4}`|-H$S2?gh=XBr5QeD?0VSA4RhJVUvsn3(jS8M%mGK+^yiu(@9WDJ`B
z?fp3?YNbPEykJqqL0Pcq(T1ewJ5}2fZ%EG%$)l{>Jsl)&&*3zjTV@(^ZPlGyem1TJ
zgD9$I1*hGU`ve*L!e>sn*upb1!9L~sU6p796>C0XX@?D{Uyen;9LJ6IsLiG&6NCM}
zcD->YL9~Hz+a&W&wJ0sVt6CATETGd`KR0=MW${t=bd3@XcjJ=g=4v#o&+_(T?d-aa
zdQe{lzbYeKM0A{6idLGnnXop!!}+<kaQwMdN@ZK^S?0&EmrCGH$ua3QRRO+IQuylG
z=p0jm35nQslIMJO^Oj|P4JL5mW7*DS?TP5VDHFK-BoXY^g%%OABG?u`GuI+%baK#2
z*ev1&y7d?lGHH!6@U`w^`6AN(+%j}|b(zn(WkliXvVrNjF+CDYeoZ5$A7AFXR@Q#3
z8zIg~U)eJ^e}(pL5*qnK;xWEeTJC4d59R)lD?E=9kDcL^9NRFcE?1T-&R>4CaCnki
zhuk~6L&8ZEGs;LfRnc(d6!G<G!hhcGR_(|3zfV1>6xAtum(qcCle}6*!><&S(nG2g
zeGz={-Y*-!8*CEoMo0JNTE?27cvrq~dDO-zbzN`R37UO&6OFcPctmJmA1Fq!-RAts
zz?B`(q$Ub;Mcko#+MeN_Aime|g$u}+I&##4oU7LtjaSI5M$U+#9i7zPYIR*kQO%08
zn^szH?5(kLA5mDo>$ZqXoJ0>Iw%*FvH~5Rq9lYTcgN`vg2iU-z6W$}CR87}IvQ<Sj
zg76C&cfx-RAzk1tAm#0OF1^ciJrdMPnIHAk$Vh0T%QL>p0ds-yyl*u1+|vphU83&R
zenEJ#jjk|z*4nurtrweds}oNu4zPDcawFU>N@c27WzUY~R#$w@RNl=!KLoC|Uiz7=
zu2Ok#mo<Fe+Id5q`Ab<`u|lz*_M)Dj+@=gX{L%V6<;@w#KKQ&!ny|_-<lL52Mc$M_
z#MD8=aF?!%MbZ6;G?LiNKgbc1UsK1(U1n51|K8Pmn^u`^xal{u4>3Gua#qLC+K)G%
z=8>dTO2?38S!DFe?E8<dM_>BcG<Nt)zpiM}yne)`pUtL=y11IeSoDm@F?Df$dOgir
z;@17?&t#f4wO(YFX1m+=)Cp@7xSM2aDiozs9fDk3JI*CIeS0tS+d6bXWx(b$GE;Ne
zuLrI%>Z?7<rLvW6a)*`0jxUgY;85f{sq@w2Yo49arvCgmZEgBbNk7j$B;6%B-i2r%
zJm;Zvwo-C)uR28GVKh>$;QONRzR@$${i(9(C=}N#Is*OTI(L?L?4n=$!IiOOM5&5?
zy}8C`c#_I`^Jy2M+%5G<NaiO$M^}8F^8Dn)3x(nM__-h2F~mc)-L-8Fzq_k)jA!(8
zzRR@!(Or6l>}<QmZg`&rv(&r&(C!phkG;&J=O-=BOog43f#_v8aU{!X<X5RPE76nG
z3z;RSi>?(uKCii}vCyE-8V}82&3Mghjpe$Z<l8mq@RR*WIY|}n;nT}s6t?;VZ(v;U
zS)Si0v(%d>Z=N(uH5DFcvq~Zh36#tTTe_Ru!2&rBUGVTs@5-y2^E=Hh`^lj!cPJe1
zbhUHbn{|Ee@VO30_nKYVN*-BtBfBhn8cCSs_Dz^U1S3<<tv$nIR(>5ihv0OuxOuX8
zc+!!bCsu@R4UR?Ky!)n@;O{G)S8%U~dRko_P@(Wa(Lr`M(3!c{=WZL(%YS0^?CO4l
z9dGVhdn`;H+9M(U*U;fHXQ!=IZ+mckqw!a_>zOlZbnBOHbK57)yiw{JuU@5&P@<HY
z6L;1rKU1zbKJ$iIs!WMSDvOmVH3`br$-5U;WDH0~^5pR3dC5fbrsUgqN2HQE<Rtf&
zKh?a_n7&RFW@o|PyDu}kOqF_iTicmG@3uVlQ6;$~$7$fE(D1m0OLAWB{w3S(GV^Mx
z`D*HhRF^w_*Vu*I!*{ng$)jRU(WVyz3fi3IEV%eZ7GFdr3V${h(G2y|9!_gJl3W;T
zcG4>qM(Bi^?VGQ+$t&JL#V$Nqz5|7^BXq+a^m4CMKSF<zRlFmB;C+9(=b3)4<3l@r
z=D^6|>H{8|&CbP4@H97{?)nQVJyqwr?C#kf#`4lrt?g+M&xi0aTaokK;TJwB_FkPQ
zeCA-@A=`edv?#ao`1p{YB<tc9u6a%{{*&x1f-{`ar(cf`8DbG=J0Xoue?H=I20A#o
zVI+UzlkjI5PT2!IBvFZ>$S<ngX9nRB8aWl&Z{2}*>_3>2vy=F0f46JX_@ayr;w+Pz
zNfa^omTLUS*y-^(Gl&^`Td8;N(W30#ZV#d(y*kfRui<{I-mXUFH=`qiGcMhvZ{Jgk
z)kt$@ZiKYATYdglXZ>Le-W_8sG^un+D<n1-5va<2_=pY1K1&^(QnKQj;+Js7@Bw=@
z`$h3z3*6|N{eDyoxTcWbFK|SmeQzrU<SS&i75$zS8p-Hxrxk_aZQ}wm$7G`T1>KZ$
zea|RwDYePnE|`BpeXnVkxqXp?Pq{@q#)&~A<q>kFe3g8Q{E+;IAw4dmU*yk+d8HCr
zx0z>5Waj)#di9o5ImU2UoVMcFX`rKHnR#iiraJoYgq*m_%{(FDdDMvBNcbb4F;<s2
zFNtF0b1L8W;M|0W^y^W~==DaXGFib*29Jifq_Q&R=12*ju9V8Y4_ZA52G@$mqQ~Eq
zT7A9lAXur-cErU~3Ps#!1qxcF7O#~x9517uTX*e5`)qqXcI=l45v@CZx@L9lInLcS
ztNdZpeW-)rZfjz4*|V!tI@;Zx+R^URmx@JoGFihir9F`(`O)RV&Qm##zGRKx^>4ct
ze}1*Re|~vwe+`o@&YaXWe$b?@=Y}2iJ82hpOzl1hhT6~qyLmHCl2h|NFVdItj+enu
z`{L@xRMSQCx^*!NaXXbW!Ts=Iq3Nld>*Y)O5Qh(+Je(l?puojslawI*e(rE8$Nq&6
z5nZ@`#HpKIKK-iICd<TDHB+~K%L^E>tI9fca>Lx<qoF%<jjz05q%yyVE3LQ1Sl#Oz
zaNjTB^11__qps$}L_baoKRUMz#@QtKicJHF_8$=D`3m{5^Xk|B3XdZ@*m1TNP4-Ng
ziWe%`@bkfQGE)31WV1>tWHEDGfAto_{oGA3*m`%~n`zl^gvIj_JI4_O%9~3fI807E
z$#eTS=VRgW%FlAEC&N!cojOiU$`FfV?B;$$q@1AB!))hI(_M^T@Ldj^{f_#H$PCX6
z{|Po_$k4AOr$V~PpND;TcFyD%lYCFz?0=M6aV&1(mwsj0{_V?hJ!~1~RL;timrjzW
zt~sQiUpVsiPe=2A&Oe=qO7aC+i%S@*Hj}5`y&d_;=F69GEid}9Ehzr_J#n`x3u2L(
zuG7Pp@P(09<<C;%r<(3airN&lKXNF8&ab|dH;Y-y_!}izuTDP3pwCy2J$5km(#c88
z1?4YF@)K08G)`{6dVl1>*iVSQ$wA5J!{q2yJ8M=X=P@tHZ2n0;s%6aij(k_XA3u~o
z)eNpYtm1EJ^|8<$uFYKMKjv4P@Up~LPMO(|dq_oAXWI?gXmI=J$6>aqXXnIxmY-s~
zqeIO%wwEntb@9ZDn%W#~X&co^g-e?>v#R>mvZGJ9&Y}(EEO#esdn&GXup+J^<x%I(
zzRq9Rem_}K6aOtA+qH|uGeQ(u-FKu?A=mGoxM`1mmAr5uw3YDp7s+#p*fYl>3dX@w
zt`v=F=Rpvir5@5V3Bx=USrfbuoX-;loVsZrP&GQ_*pJH}O0#8|6@%;Y@^xpgoqByX
z_d|KRFsCqY_>_%LkC3p_%jUb?IUGCEbjdBWFl=quwy^B5lVR7x9)~{s2~nDZgk@Bh
z=}UI^jS7m2dWIBPbD~sHD&?-I<53r)u80U(uYjXZbWxfYKF1_QW<s=9JUKgVcYj?%
z_8ew+_K9rS#q3|RUt}}c!rXj8+I1_li^nQ0D|4TB1lwHFTH?}8(od3=d-iLY_4v*g
zzaz;0y4-HZjLLI4`9rUCy`oGw=n`lodhDH#g7YWk$L6od|0KV^Zi4rU*7U`EhatI@
zqs#JXwYAz&jryvC)E}y&e}S^EkL!}6Mmy9;)#uds%GTovXIiTzsH?_)_PELsn#r1>
zUMqx28rdeze$BU<D;l-tmzlxOqEKyAYwFj2{<=(^jEUcsS&71#c}x<siP_J5%Upp=
z77bQEEPu8xueiFnS}N0;an3CNpewcYT03K{pA+AkAIzV`uZ!h3=p0Uz&pQ>-qgrZW
zgzPJe_n3X;Q}eZP>X>}<mmLch-zwU1>j}Sxf6FK-yp6|-@K4&=iXD5}%52d{+X&k&
zS3dGt({a+&-L`e*h#Y;+_Kt0dZJli^iCE$$LH?4_;*We1uJ?|gC0Qy-k-&ogsN|fa
z?&jt>-zq7o*9-JffU{I8?YjCSpKvL@3M+%Vu+nd(SEOp`j@1`*0V1w^y2@W1#36T7
zBzVcAyJSurx+h?s96q`x*o*jC8wU@`+9UsJXuI8)<cCyi>?>Vdeu(xxVm#(f`V%5|
zeD3UAW$xfGC2zrp0ejJjW7m#VB;5ac?%w=X+VP?b$atzcOc&PripA^|!md$XQL>>?
zyH8altm)``;`-qZ6$vXkZAZjR-=wID;?fLRE|`+)t0QIw`zhJ+?VfbY(YU8Oj$OVI
zh0w~NPvX*Q%iRu5f&uPP?vtwHM0?vDo8@o|A9ghh+NNlF1>5D%PO4OAs60NH%Yo5O
z1KVzsU1TuYF|aQKqaBJki2OqGW`*R%_~rb%wEK1#?_jv=z8gJ^Dv#nQTPwRQtVl?>
zo`0^zmD9SLt8>xl2clz7m9OH288BibpS+7I5(Xse?V%*Fhw95*3O6#E7Xu2nR^=vK
z_qz7;%mB}dQx>DguDlwH;Mc%S*tgZx>}!8V3kJ|i{Nqya+TYQF+wj`ocLjaFgqfKz
zDPOk3NA$3DUe($CXHD*=i|&4wl)fo&c5V4gANpI=ez89skROORncnUAmH<2Zqq!@6
z(uW#9kY^yGo*^GDARl;*B;X`IseDl)>b~1j_gRv-V&%ym%m7Bt_^XSS`nH|TD48C+
zW+bPpMuyKxtv;ixGAjNoX-h!Hq)mY<4xjIKd=B5veGS>Rd|dShRRsF@<j=3Vef#`0
zpDt#+ryqd}ZnAA>FJ*n><G}C3PYYT#Z!3B1EHQGD*vE#jk@xh6Gk2@ZMB9n-p_vKt
zG<ibi2|3!I`Rm~D-I{=(J|Rc_lpzdLbqd3mhP|>U?vET3eu#vR4rYwI)OBt4w(O$M
zb3gxf0(y|G&9;xS%<YovdBTR6GKcr6$K2es8Pcq%BT;9gZbzZS{EYm)`CsR|&b1-D
z=FJ(13iB)Sx#~9R?&|*Pql@o)pbEKKsarC~YNz^`S}_jTx~+buu2q|BY&EW${cHU@
z3&v@#t@G_F4jH7Qvqn&<ZBY8>gA`#5)6wUH*~wwD>sCjt?rSs}f+4$qpDb>$uuGJQ
z1w6V9Ba^i=<0hUgV4P$!JA8VtUM-Nx#LvPNs8|z;qF+ze4(*Xo?ctrZ*VsL<r;X8l
z2lx1KdC%{49u$uv=Z_-DDQhOgp~!fW%9%cIVLZt@Dx5xVeLPu_FnwND{6+g&)8`$F
zC#}<b=(tk5kxwfMBrcs|sBZBb_xMoCJ)Rg8PYsGE#=}EoJP{dBEsQ4?#&f9k@x=Q0
z=pCICv*Ks__UfE?ES|a;!-?~9y|I7}>Yd!#dBosAzxnQP@6#PUtr$PoFC+cN2A^dk
z6tC~uqRm?t34ax8tiBQ^Yk#($Dn=qZ_qpSQo|}?84@n<1H}q3FCv-^q<dL6c0U8g_
z=#bTr^hogR0!-xq;aB0nPmT&hKkXPWB>m<?AOwQPh6vsCy-!Z)VxKJqf@He{A9tU$
zR3YrGv%i7U_|g^<hFU)>gROJ8`~dF|aqvq-_h1_vyB0SaU_0nNZcp6VL0#(&FO|W~
z20v%g;o4T}ad!`V>f!UO4DL^ac6n9?yPg)MTG;Olg(Hi$rP}tTTG;C6!1iRfw-yX5
z|9@F<1mm}X8qfzJJAJ`t;Ed(N<^})J^#vJJwO4RDr2)p@T!p{__;XGM(Pu$E(}0gR
z`Lwu2(c<Bcc*0j9?m=EI9)JHzh2@BJYCwy8aLE$@3=ZoAZfxw}?ga{h6r=6n-93nS
z9bE*<<?3}*9>@n@eUTw4{H>FxQ^%pE@!*G(CiuGx_#Fb}=qW&8U8pO&vkiw1j>Y9x
zHlStq7}&JN+twLySBQLCA%9xoO!%MbLWcSfovAWiC|rsZm*}RzbyR13jnJM)5EA{?
zHQYw+M%?HI+iu?#)%36?L&-8{qHVVMgL=Xi@s>R+o7#nUkl07}uw7$%v3pUC(3%YH
zM(`Dur^$s!^LUftlhdQ%%3o`(w4qE(oF;>Wr#S%~yO1N+8GmEqOa^wR1>FcA{v+EG
zk&&jNuI(XPlw$5oBntP@e2YHq*BPJYSbbVl6JSk_=xMuNk}0{BBSA@dyiNs_+i<3F
zwcDQTOv(oLIL)n}QmTyv+4>;H@Ee+HxbueQywXlaaPSv_A{p&4G(F@VqpoB6P|u_i
zPBkG_^dd-8F3llF60`$>Gr`{^3_;97INg{8GiuhXdyI&W=K*--k;8BZk}%?u@P>^?
zQ|vML2xJcYNNYrOMb^A~OdEc8IAp`ok%tM+GJxev*~r&DrcS`O=Od;&D)7@RKzYUz
zC{wny7kr`@SOHE9tn6l4nLi!PuGGTJevgS2@$WZK&&rY=xlb#q2}D0DBMC0ta3w+r
zJ@+_CFk+yhEJtU9UTH(`G1hRy1}>VS?XT<d9j%{M%!ki5LQ<0Bz{C9EM8gmhg2a$^
z5MrX>eTHd}gKqLYrX3vl!KZ@@)V1~JXNaCwWCE8mc$-~KnlfB`DThbW@LRElZ2XZD
zr;bCj4b{vh(U-NF#kZ%s;KV$pF)<h3OK;*jfURitLNx1zHXP29bWm4IzPfHD7ts$2
zUu7Z$I!c%@9FjwEVNnJJzF_65)xyOBCKi@@;ZR>@Dx{qSjTS1d)J9NfUbQy-9@FvR
zYd<l9=J0}hOE%@&XJr(RtFJgNceGw%z-~gW5Sx`SD%Td(wDRN-1a}x3*(h2)lgu<I
zEDowTce)`m{qXf-oNZ(4Ay3lK=)+JL=4)!T7PM#`o3*N-mW|8M9Ew9y6x@c>OAlv1
z3MsJ#Hx&UR{aGcUknG{>a@=!iJ<Iqt<`ATYw@y&REA2w0gQ!?kpiK|eBz)eI2iioy
zF)VTv14E`*pBgnAmoO4_2(Q-0BVZoq58IB2#03EN6lzolTm-b^G!W(-6lZ8hTmY#t
z6ac$m`U0AF9b7;VvJJ=TQw_hPBIJM8iBBPcs_<30R{TSWu2Dh;g~9O$A$2&GXSH@V
z(g9bvE)){0JaHP}%D@zk3n$J|ApHnXO(q<PVc-W<nXlJTc*{GXtnd{PfN(KXbGC4O
z8r6Fs=!tC%=nRy^b_%vuP^o%WY*=c!SZu7+nyK|5+%U7C+&`_>qu|#BU?_p}QFI$P
zuGP+Gv?I~Bs8^uqpyl@)G<Y2F!Nb6VrxkGiF7t;T#*kc!19hNq+u_Rr0%+Rbx_4h1
zxD8SLO*c?Iyx^U5@cXh~pSWzYfr<u7&nC(!pnL|D&P|ki#v7>9K=Ev%L;$50DDF*^
z=e!M6Px!PdOi_(F#{y+CPzE(o>Wnr}2Y>?q8{;eo$|HD$Nvn}!29);w@Q`hwq;oe=
z6M*8}M6m(NYM@A(D7!ctsIP$H(nN6rN-<EnHc^h!8z_E%gn-ysR)3%j0g7W2<qWlf
ziUA5#tuamzP!0m+P0lyS4b-ndacYV)0VqcBt%Nr@KO#0zzCgkAv|i4$fRX@|H+8Q-
z8>nxAGL(%2e^4b@W-ud<f^k+E3B4@}?n!7X?OEa=&=%!9b`*`N*1{|{5JfT2J<P*v
z!C0)cWFvKipT%bI@A!Ja^+x_cuqZ&wp#kDRNnx(TMZAfq9ts~_8SqN$MMF2i@!&85
zcLF%Kgm~hn4By04ijfo!M174Azc1un3AO~VI}rK+jPLUiX!0wqItCOQMiU6`$p+&i
zRHgnsk^%MF`@XNVaM_a4y3lI&J(BtgIWE5vj>RD_{KDK4n4Q`8N2;|%4AfsQlwe>^
ziHCA$<O;-gjd}a(>x;i7(_vt(Rv!p=Xkk>h1e$sP2%~?sb`Y)Z4L=Ohw^l2s!^Fsk
z_NGv;>azKsv@eB#pI2pz%!q!i@vk1EN_<WahxuqBV&*`pvq2=cCnGU|pnuLmR*?jX
zHA0v(xDNyoM*&mJ0%)0FV15h;uvR;r(awSJE-aI?@oW?i<5CnT^%xk{>a~9L+Bv4k
z18NCXN0o3(2<ral_-zOLR>K{IN+&k)ySS}v<QDoj(d!;u6~d!EZmcl4W%J+T@TfJ3
zqyJ`zfh#<cV89NKGl$C8QNKWkvI74gma=%~dP)NnJW}Z?XCRKH48CLBM7akPXP^jx
z62PXa0LlQM;4<~8%qrGVp)KO<f}A6P;?NW)qG$`X8Ys3+lyzR4seM4f<B~p~<q+p4
zP}((793W>6P~Pyo3*yi|2z6+R6T9bQ$_^+{k;Z%;g>0r2K*3*U(&u~`_*o4UaTCRI
z)MjcwQ1IBLkMn52r_?o|z>v~N@rO9AeD!0yK2Cq&r$12MNMqLy6%_;&P<&8NEaykd
zR8(*a%JQ8mYE%o#8Hh8s1?2`%CbXbz%~ny07L;8;iD*GN1e9qlC`W-Zs|DpdphUNz
zoB>K~3(94nENDTQ1w1cqLAe2OR4pj65NCM{$~}m)ss-f{P}a4eJO@fj3rYo0(pymK
zfbvNT3jL*u+S-C*29)hBD3(Ck)q-LJlzlBI4nR57g5m^}FI!N00p(~5N`Ihy)q>&=
zl<!(lf`F3Of-(vyXIfAu0OdjpN(4|Yx1h`d%GD+cC=@%nkbv=EhxH6PI)XPG5m@`|
z*QbmD<J}Nbfab4|@ZlM2s^N7HxOT~Y*#`F}Yk<}OxEJHzj{97D02=_@w>kpgzA6T=
z1F#3^1b}-q9xu88VA}xqAKcHn1M~pEvpVk4*dD_6g$n>4Dct~Y@8|`9-9+zFZ47bs
zSy^6jdF?=$RTscSF$>=;oQI+jybn4VMV4w|?usr&F;-}v71*fp$cmi!ar1N#-k5F<
zr0a{~Ut-xrlxnA;*pdz?nvW!%Az<=>_9)T_g`1<EMriuW9*|d*ISk`d4s<|0d!Q&I
zBoU(Nug%ePA7I)Ixpbe5`gBH-926^oZ)}ni2$+sS?ZI+}H~-+y9BlnGz5K_6`Q!hL
z6YIDSP=?^RkIeriz04LK!0?8Q`)sLdVh%$d_W=hMI0b-W6BzdJ%|M`b?n@?l;5t6w
z$XCvnp8d@0faU-X&~dcWWnyUtCQow)B}P`zxRn5St*jR##4s2MF%ZV11?>Pdw8j=#
z7y})K7*L{xP2`#ha^V)B3-<wC2x>$Jfek_#<wD_r2A=32j;=skRqSRmD|=Bkm<IM7
zO$d++V}LF+KyhI;sC@@abx%HjnDgxG_s@(Bz$2fySXs1QgN~I-|NKGe&VLjB2cU(<
zpq}aX9}LR`?fDEq>qb-gUwr<r!TICa)qClW|2t?D1oud(E;zTAVL5NfX6EI55z&>~
zt2keMjF{dFTs2lJ_L_qQ*dJ(k{oyWf$B`3gF?maM_(bLhuRj1=;sM-3OZNy0uzda?
zA^cyM(LQkIOExyadw+qg;4gv#wHlv4Ob3>mmz?CkmB};63Nr#1pr`NZ5=eRt>{Y4&
z$2atWLxm^11Y{(I*2+&+1U6Y03cTzRkPy~f1zgd-P~ek<K+1F>bzlxYvQXd%Fd1e1
zk`w}t8mgEB1LQog*Z2GNhZJC8`uE0ML13eY%?{Ypx$yZz0E5v%L3xGySAd26Ix*ll
z#ovp-6^nMWncLhS1CK!y;1sY^Z1HSg&AiWDp^9C|9<;d+m{h+4ld4vhx)QL}`zBq%
R)+<Mqp%qj@j{@RC000HI(5V0b

diff --git a/introduction.tex b/introduction.tex
index 44f50d1..1a2f7c5 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -10,8 +10,42 @@ \chapter*{Введение}
 Долгое время была популярна идея построения совершенной системы управления – универсального контроллера, который извне выглядел бы как «черный ящик». Он мог бы использоваться для управления любыми системами, имея связи с датчиками, исполнительными механизмами, другими контроллерами и специальную связь с «модулем эффективности» – системой, которая определяет эффективность управления исходя из заданных критериев. Пользователь такой системы управления задавал бы только желаемый результат, далее обученный контроллер управлял бы самостоятельно, возможно придерживаясь сложной стратегии достижения в будущем желаемого результата. Также он бы все время корректировал свое управление исходя из реакции объекта управления для достижения максимальной эффективности. Общая схема такой системы приведена ниже.
 
 \begin{figure}[H]
+    \tikzset{ box/.style={
+                % The shape:
+                rectangle,
+                % The size:
+                minimum size=20mm,
+                % The border:
+                very thick,
+                draw=red!50!black!50,         % 50% red and 50% black,
+                % and that mixed with 50% white
+                % The filling:
+                top color=white,              % a shading that is white at the top...
+                bottom color=red!50!black!20, % and something else at the bottom
+                % Font
+                font=\itshape,
+                align=center
+            }
+    }
+
     \centering
-    \includegraphics[width=\textwidth]{images/intro/Система с подкрепляющим обучением.png}
+    \usetikzlibrary {positioning,shapes.misc,calc}
+    \begin{tikzpicture}[
+            right1/.style={to path={-- ++(5,0) |- (\tikztotarget)}},
+            left1/.style={to path={-- ++(-5,0) |- (\tikztotarget)}}]
+        \node (o1)   [box]                        {Объект\\управления};
+        \node (u1)   [below=of o1,align=center]   {$U(t)$\\Эффективность};
+        \node (s1)   [box,below=of u1]            {Управляющее\\устройство\\(контроллер)};
+
+        \node (control)   [right=of s1,align=center]    {$u(t)$\\Управление};
+        \node (sensors)   [left=of s1,align=center]     {$X(t)$\\Показания датчиков};
+
+        \path (o1)   edge                 (u1)
+        (u1)   edge[very thick, ->] (s1)
+        ($ (s1.east) $) edge[very thick, ->, right1] ($ (o1.east) $)
+        ($ (o1.west) $) edge[very thick, ->, left1] ($ (s1.west) $);
+    \end{tikzpicture}
+
     \caption{Система с подкрепляющим обучением}
     \label{fig:reinforce_learning_system}
 \end{figure}
diff --git a/main.tex b/main.tex
index f0ced45..18fa4ec 100644
--- a/main.tex
+++ b/main.tex
@@ -110,6 +110,8 @@
 
 \usepackage{siunitx} % For Celsium sign only
 
+\usepackage{tikz} % Language for producing vector graphics
+
 \begin{document}
 
 % Регистрируем счётчики в системе "totcount".

From 869f300a3ea7e7d79dc59f8e128590f8a7bced94 Mon Sep 17 00:00:00 2001
From: Dzmitry Ivaniuk <dzimitriy@gmail.com>
Date: Thu, 4 Apr 2024 12:26:29 +0300
Subject: [PATCH 2/2] Improve style

---
 introduction.tex | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

diff --git a/introduction.tex b/introduction.tex
index 1a2f7c5..6693f61 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -10,7 +10,8 @@ \chapter*{Введение}
 Долгое время была популярна идея построения совершенной системы управления – универсального контроллера, который извне выглядел бы как «черный ящик». Он мог бы использоваться для управления любыми системами, имея связи с датчиками, исполнительными механизмами, другими контроллерами и специальную связь с «модулем эффективности» – системой, которая определяет эффективность управления исходя из заданных критериев. Пользователь такой системы управления задавал бы только желаемый результат, далее обученный контроллер управлял бы самостоятельно, возможно придерживаясь сложной стратегии достижения в будущем желаемого результата. Также он бы все время корректировал свое управление исходя из реакции объекта управления для достижения максимальной эффективности. Общая схема такой системы приведена ниже.
 
 \begin{figure}[H]
-    \tikzset{ box/.style={
+    \tikzset{
+        box/.style={
                 % The shape:
                 rectangle,
                 % The size:
@@ -24,26 +25,27 @@ \chapter*{Введение}
                 bottom color=red!50!black!20, % and something else at the bottom
                 % Font
                 font=\itshape,
-                align=center
-            }
-    }
+                align=center}}
+
+    \tikzset{big_arrow/.style={-{Stealth[length=5mm, width=4mm]}}}
 
     \centering
-    \usetikzlibrary {positioning,shapes.misc,calc}
+    \usetikzlibrary {positioning,shapes.misc,calc,arrows.meta,arrows}
     \begin{tikzpicture}[
             right1/.style={to path={-- ++(5,0) |- (\tikztotarget)}},
             left1/.style={to path={-- ++(-5,0) |- (\tikztotarget)}}]
         \node (o1)   [box]                        {Объект\\управления};
-        \node (u1)   [below=of o1,align=center]   {$U(t)$\\Эффективность};
-        \node (s1)   [box,below=of u1]            {Управляющее\\устройство\\(контроллер)};
+        \node (u1)   [below=of o1,align=center]   {$\mathbf{ U(t) }$\\Эффективность};
+        \node (c1)   [box,below=of u1]            {Управляющее\\устройство\\(контроллер)};
 
-        \node (control)   [right=of s1,align=center]    {$u(t)$\\Управление};
-        \node (sensors)   [left=of s1,align=center]     {$X(t)$\\Показания датчиков};
+        \node (control) [right=of c1,align=center]  {$\mathbf{ u(t) }$\\Управление};
+        \node (sensors) [left=of c1,align=center]   {$\mathbf{ X(t) }$\\Показания датчиков};
 
-        \path (o1)   edge                 (u1)
-        (u1)   edge[very thick, ->] (s1)
-        ($ (s1.east) $) edge[very thick, ->, right1] ($ (o1.east) $)
-        ($ (o1.west) $) edge[very thick, ->, left1] ($ (s1.west) $);
+        \path {
+            (o1)            edge[very thick]                     (u1)
+            (u1)            edge[very thick, big_arrow]          (c1)
+            ($ (c1.east) $) edge[very thick, big_arrow, right1]  ($ (o1.east) $)
+            ($ (o1.west) $) edge[very thick, big_arrow, left1]   ($ (c1.west) $) };
     \end{tikzpicture}
 
     \caption{Система с подкрепляющим обучением}