From 1f80f2f7dc26427e185982520422ec7c949d4668 Mon Sep 17 00:00:00 2001
From: Arity-T <tish.mainmail@gmail.com>
Date: Fri, 21 Nov 2025 16:24:30 +0300
Subject: [PATCH] =?UTF-8?q?=D0=97=D0=B0=D0=B3=D0=BE=D1=82=D0=BE=D0=B2?=
 =?UTF-8?q?=D0=BA=D0=B0=20lab6?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lab6/report/.gitignore           |   6 +
 lab6/report/img/optimal_tour.png | Bin 0 -> 32528 bytes
 lab6/report/report.tex           | 395 +++++++++++++++++++++++++++++++
 3 files changed, 401 insertions(+)
 create mode 100644 lab6/report/.gitignore
 create mode 100644 lab6/report/img/optimal_tour.png
 create mode 100644 lab6/report/report.tex

diff --git a/lab6/report/.gitignore b/lab6/report/.gitignore
new file mode 100644
index 0000000..38887f8
--- /dev/null
+++ b/lab6/report/.gitignore
@@ -0,0 +1,6 @@
+*
+
+!**/
+!.gitignore
+!report.tex
+!img/**/*.png
\ No newline at end of file
diff --git a/lab6/report/img/optimal_tour.png b/lab6/report/img/optimal_tour.png
new file mode 100644
index 0000000000000000000000000000000000000000..15e5e95537920723d3d3e6e04d20ab16029c8b32
GIT binary patch
literal 32528
zcmbSzcUaDC`2J&;l~S~br_j>Y&@!H;NTD)Y8fcej8=)nhkQPx%6lstV4W-hO8PZTv
zR!dY;-}8FB-{X56zdwKPalFU-%G2}t-1mKr^E$8dy2CeaFqk!6cshf@m}O+hGG{O*
z>f_%VTvPFr(p{IA<3AI;%?;KtZq|u*;}4UaR<B>pVC0;dF={&nf9Ccu-0IC>@cGcc
z6Pg{x4l)?QSBzMzHy_;f?Zf_qvHQoL^!>K+iE{Kg+A(#~o-}rh{^^DVsd`gb!rg8g
zxx3w-tXesBqR5BTY2K-CGrkY6Efo7DaL%gfx9_89`-+mmze(qdK7T&!<zN0gcLp~%
z_i7gY3A2?8!#^xbX?-UC$-X8Sjz1Qr+ezS0{Rt6l{Hb!^|Hofm&|%6jnX0Zeg1!AC
z18=rmKa`mnKgZAMK7I3@?*%P3ZKb*)(V~i1nLT>thIo~Z6$0YCyg7R`4^7DqnVq<n
z{X305tLiHIOlOzYuiNgXC$s~4fBsYvXZD!TZ@9c}y64^Z^QXkF!h?aspU#VF`=5<n
zzTInV)K6Kuf5YY|7OTv0XW>D%?%2@L@9zsX<?c3`I!m~$`^D9JUZ1A>cW=`Pr3E&o
zy)SV0{`6FUVV-8V`ded8)p>cbJulKf4b<y?E{~kwDa9N&;ymzq-3869_kE=He|fps
zwltLS^2YY_p6yTAEBEj1tW9*f$m~z%JT?8c+lK@RqZq5`qS5|!&##)A_B20?$EPx~
zDnrZ^`FME~z571uJ^K4=yZ2kWh7>)mppmoM0l(tJ*&$ari~jsJ&uPa4-;-^RPi%VV
zzu()WE=i**UU}KN^KuSDy=|RV9b%lLs(pLQ_UOHzYCnGbI4iv+!oDIJ?=#C=w%=kT
zEDK9ZvdXbz%UkO>*2JyGb82(SW0tIQZn~?8CA3{l4xT<J8&mnd>)$q*>I`>Suj5_y
zHrHX#%M9L3%k0jER0BNA{oksF{`{G%>}Vn?Dq7RfqP}uvjBZG<T}AZz;r>sxIh8G4
z772JF|NQy$j~qFozW>WvjS+*Eka6u7S52J;I&1l*%*#Y0tvJtO`K>)Zb1}|MW$(+d
z1)9Eb_PjGVr!SP}SX)|AapLmY6A7u~DlUx*a@LP(-re3;%MLrndCRCt(`L_^GiTLF
z;T1IvAtPUt^djfw_z&*&mYqmuY9})~I?Bbxwa6e^w6p7i#Jbp-rlzKN%aiBN&o@oh
zSs~8kd`x7X+>Xlo`@dQh9#qV+D_5%MNi$?Ke|En(vHIv#MgO19yB_*G=u0GQ!fCOc
zuWY_%j`t5eJZV~g|EG1{vJFY}GFA_<;fnT8X8Qm7He6EheC*@Lk88$8hbMGByL?n5
z)_DV2O;+>6fZysNV_MiIanFxsokI^#il{|<eR`U6pl8>QmLm7)CBpO=-ppU4!`{)N
z8f%_J2^l4--q09ZG<)`J8067?Z*H1pS}ez2xZs`4|9!Z(ZSAAsPLVIKZ>&2fy``ql
zV9)C;p$7+g9Q!_&cN(Th(T0ZK!K-l>_kXI^@c)^CS2E<h(zc^hXGxl;apBEW4aAnO
zi<ONM)!>ttmv?I}+=JKo_XJ;f65mo2!}~tnH4O%lB5HC$BR?;@w>%2$E1&Q3{!VR_
zp-L*5tHr)QzrGjx4@MZDla5bS`1I|Y34X`9@z!OH7-xOX6JIyx*!vClFKG$-eL-XT
zrdh%&muyOoOrAPb$@QHI_A`w3lS|=XuMOX_4K>fNtgB_S#5pH*?)dBlPk()X|MpSP
z1C8nPr_7kQyX8@ksJh3YA0Hlk70+up%Q=cG6{o}ouz&Dj+vw7hsj1={Hf%6SQfI?H
z;_btya!mM3l7{#3wI^nq6}auh%ABJguTNox3o1L#WNa^R`-G=BvQpGJmbkJadV&4t
zx(oSkAB3k(o8~Qg6W%d*$IhKwbL^(P$+lLj;4A02VBuo;Qk0nPMOf*JG^4o}wF4aW
zC8qy7QLp|EqXd;brD43{85TDZG@|E7nWq(3RfQ+2xqs~F*d4v(-v|97VOlY8)P-6H
zi?OcS9F`ep^;@2t6giQXr~K*ZIb{Rhn=pi-;bBFGr~KX$W@mRA8XAV(lVmdawtoBm
zeGm5gRiT`in%j;T38PYM_@3u!;To}$`j!+5_x^L=8m^GJ-&?*l-8*yX(xP_-?)9&4
zY{%0SIZs<5z2!O!78s`!bYCMvr948w{&m(?Ex-QIqtkf!1O=V3Fi!j$=0ONeac)SN
zDXM-NHkV)@zJ{~I(lrSyW{8Q2;n4O*GcTMuGgm;yV)7*zO{Z1L9PPm6u$Id>lA1)d
zQ}g9_*|@vAM~i<zbf$>2YuB!(qL3ERb^MoQ;LCj7|9n~D{0(DlV&m<7^WhKt(woDu
zdkMVZ6X}T(&zD=>IyCt8&88dMR($*RttMy7wOtQ6r&kun3qN3Rj#HQd4x(UZ?iL}P
zKy?NTw!O9FXs4A6$CFvt$&<Z1O}yXkU1E6p5S-d$bjWi<lDchl`4c*4!?fvKT&<(S
z1150_hw-08`^>pA7P3uEO@gW}f^a0q_jg>ow9_-zlD#u)2R_$pcy(|w@Wy2k0@YDg
zS8yO_)ZBOREiq={G`XiwR}!~N{kH_IgT05`i~i0-?CkHX-4}gh+l_6vGq&B9W*~4X
zSN!kC&Pi=L&eV&DtG3AAl4-HKHsM@fdqtvn4#!mZ_6Vyu+sM5=`>{MS&!KvrTg#*M
zNISJTjf=k1wzHSIzRT~ZyO4;@P83fxzqD!smREvJ7#{o6gOAPGNwLl_C+LswMV+9%
za_`eVRiB?k+i=sm$Su13cm`)11hxHD<aZTb3i|V_v$8YIB%aUG($eC_wsPbO`j!vI
zbMY;G!=IA}{`3^JfBx(g?GlrnE&tGe@Z-yCn_S-JPBAbrP-d#GBD0hzoh76c+7kTd
zWJlE*yw<0#E<;36jeuXWON`GdRM?4gcBoW4cr@;FeR7_C#cc20FDP?f-+Zm~g6082
z1Qm9ZIG<W`K__UX@%iKMM0<C4)9hUjYuJsP^AF$npF98j@gWhJInF-uO|HYb^!15P
z?s<RC7r!%$LLS@D?DCo^A1h9|%NcO5*!!}$zWx;Q0P@3hZ&?ct=wQ}_&t2xRe}8#H
z1Dh4j7vC=VxTNIphX)7RdwNb46sVbA)KV0;yYla)_xChkK)y|=HZ#WCQow~3wv~m?
z?X=3`L@h)0%5yUFm7VI+;7TSJwc@eFMBbb=<cxf_D}B0F!Ob{vG$LmDJXyoT6Q@|^
zJM-co6)WtH<qzBjbc>5qw11vqCLa8E(9)aVK^vxo+~PSt78JcuTX;!JS){QK$0W-T
zVhm3&nt(i{Y+#mf^ys83#^*kMd6jv8@9s(eKEf(FG6hlEAwOu&J%q_`Ek(&f%8p%U
z7F(FmVX>I2>Mv?*cz&FWoZa!eB}A>lZV6|pO@lox$$3uoxh`*&y!l;sKRp``b7=qm
zy%wHXn`6aIPRM-#adVlZWEi4wLaMVk%uiiIgDt&9`pe5}kI%_i)`VG2;C#^Xs%dg3
zlECIni&>hQn%<%}HecTy4ot?@3G!EUX|#zhpU$zyyYCA9l;O+v$hc);mvw!yoD-3e
zGhl3X_|i@*W_<982<*}=im$R;mFCIsa*39R;du1jw+{o<04H{TEDLXN8&3&oN8%d!
z*$qtDk?8(Nv4SuB-{Q1F#*&a;+FM&!Wm)Cac;?^P_eL)1!Uc_>k^E-!JPxAZlY`Sd
zMWXfe^jz%TT-d4pZXGte{mDuD$H!;+z!H#Q;(5a-bIw+7p>A+Z*4DhCZ+Z2SJMP}n
zn77EOE=gtI>nJ$3=irwu-m>gfbZQbYX~yRwQuHDxKFivwJaN*b+Ax+vkj#1(t5gp$
zu`*Fje&ND}orW{v)lP`jqwr-!$V$<5lb_R8vJEZroy`c?zPi5U?d^T%HDb9qxZ2k3
z*SEKmr%iitbEl@agnPsFEiy|@;))T-;#Bs;(5JTVff06+o8{P7+zt4BQzIsXy=e7B
zB+g3Mob$W<YxvkDPNYs>sO?{d^EbSxbx$K^{1#%!kLHJwaER5bSK|~8QH~D1ws`IF
zTi80^Z;iIm9lE<KPs5<6D>&8&s=7D3L@$}hInzdspai9h7k4YY`E(&|-T7!_{EdYN
zJ+ZjQfB*ch4GUG~*oerRo2wuAzHGc5sd4D2#`yyj(2%~$5SzO>@XI6pM7AEQBXx!I
zvqN*--7S)I$H&XJ7c5$zpl0769T*fe{3SD6J#a|j)Ix2g3chHL3pBsIvAv+TzrVD)
zIx=3_$<E2?#DxnBWGu24Nx1E(Jl$4r6Dy0Pby2RT5)lAz-wVuP94iadB-%}j9KDM7
zW!yU0XIH(pBsw~JbCy*@OuU-=LdDslhlG?{zh+-vHKE!>Cn_;fWcwW#+qTkUv8E>s
zhdA-4NaMf{QEcNK(NhaF=N*DEZ@S~Mm7(PDlm)~lE5sducVz-Z!fzCVMtmaX%e(1I
zM3FUfF#w(Ikg*xa^WHzZ%&J|!zP`~rvac7*xRbSR$RFtI%ret-r}~Q~$vQiE><uU~
zvYk6oYBW7Kz;o#I={bloT-n(h%Ayw}s(XIim}RAilxeF`(a_M)zc1YC;>C-x+hb8J
zT?JNlWR;%Af(=zXJ1Ti6PMoNYZ1;C$FfYsU`sS+sue{>=tsg(yY0Ue2EBLSf%Kcwh
z2*+K|ugv)6e@nZG4w_|FQc@BnqE_dng~ThjtB`9Io2e(cDSf7|uW!^s?U9ptW!v_5
zJv)pAU<deD9{2$piQ@dKqKK-CP51LFp`oF@U$cw0y)FV0M(Uig>Y|pPk3;1XQLTfg
z5#9Mvt6W)kz9uJ>mli8|$@Tr6gZ};#J%0b#2@9A&;TJX4ltueqXGs{Jm3--Ew;lf}
z=_wlDaCO54LEYd&jaY?C0J(N+VbIm^vI*+moil;pkH5LHjEcZ~=Y}J&{?L`CDbZ_=
zO=qj@F{e<h%`Y~aqK8Xyu0!>~U*CkjzR7k%=w(Q(PdJN%oz#mWc$?c9qnEzj&zIyn
z)o=Lz?smMoCldizMZBMvemCnGo)f2Fd*stW1hdIgrkKGR)(HV+3)Cj82xylLpN;y#
zw7~5{oNkDYjOEQVw-5InSte?3#mx_&Ww14dMaWfTa$t?YW5Z62g*t(iD6M3H4`SO8
z%{pu1QB{5xaWeAB-}_3Mf+rALqN*zsDaMgC_WaKBB=rezZkBXZZOpzH&qbBG#F2*w
z`zD5jgj9RRD>)n->RpVSN6@P5q{w+x<av15x}{sLZ$>=s39e2?F*wv$AvTPE5q~W6
z$D$L4>*wMH18{yb7@FflM@@G<9PvKAbXL}`S>ye`*Kr<lFd(4)>(}bxfzO`a-g#N)
zmv4_nEjyw2!+{pFn>+5Q)$t8G?f?4P0RZXSyW5ebx_@7a8fYNed~1HF`SRVd8S`bA
zbjeqpS$1{f<u#0&ncRybPgEoy&9T4iRKIcS8M0jU1T8-$B(zE3B90yO^P6xQ037jd
zV)3QbN0BL4XAH2K%M1Mmx?bN9@$2uf9UuGK*_e*p^2L2SACPLY?c?LewxRkGSf8jm
z>-MjzWy#NAbh<pd9)8?V9V-i9nrmNSZbb{S`wqwrtWo;a>F7n>klCwXUXm7Bf(%sK
zsX!8!>*fy6!T-0T<c|_w5dkJ6!9KC!^4e*zXgdwSNJkX#mz9jpEOkJ>y8Ifz!qIPW
zTQX=5s=1#;FIZ<vHtu15onOm;vg^Cv!Q1=pK6o$*)p9ZHsC6);cI@^=MSK02rR#;i
z$S>~C2_FA@VETMH6C}{JK|^m6v_r;5-Nhbj@BhM|J?1};>sCR*=SsHtWhEdWCQkYC
z>t-s#4b}U8|Ne}^WcR*T5upaBCMt-;#VCqP7)@LS8x~S=KJA%qIP|tCM0d%$*fc=@
zpWolBnY-7bGJ5UxXGk6nNyI{|JyLuB=Xx>eynx?sU=`NfICjN4c=#BW{;{oX^|9#!
zH97RW%8*7RYRl|h$KDiF1&?$u^PQOdSD^Adk7NCD{Dj4%(<V&z;>8){FLUrb%6xKn
z+&(-7E?awJu=_<tzfnRF*o4!-;M=3WfB(LG`z97Y?ba!eo@VXpwHM)?pOHBjfg{~l
zRgf^`56=ua7CG<O^DE;axrP$RcT<6R(!j2a{(NByQ-2c`coxP9h_hg?YgNpWCIFF_
z@7`F4tcL}yxv?KkT{Hf>P@W$0JAcoMrPXdP$U5KVRVXDYJIxkS+P!G!eV>t^$E~j5
z;V*LR4OHElDj%QVX&FCSvV41KZQ{n;(r3PZ-&zzLl#z4({F|1Wvrh^sce)ppA>RmH
zE9f5!r_IqlIQT^%I5;@AecSE5Tiwq6C1|>Q`yH$3O=*UQA3hAqhzh&y2R9Xv-rV{s
z(~|fEiR|QnfJDs$KYA^v7(RcX=6PQBux0k5U0RRUC&gJujdnGpUIXQkaeH@F%(44=
zj<o<D-SDgG^YXMyph`-kD5bOJtGP9`f;H(K;R#hMQnW~6aq~$St^(E=+~S|(hy8bY
zdRFRX*48t4^7hv~Ek&oUUcLJ1uJ8AEsQoA2DqJ<;i*+HFY4V!;J_@eFfqlo8h-~@!
z?d=&9Hr|NQ=IJJTqF2LzQtoSbcX|NS&R(ch`ShI31j8hCMFjKPy8+k+3Y?fMm#syt
z@JhDS+~wQyZI*jXxa&VCy(!%!XE#bTS<8Tg75nrL*Cv+K_tZOe3acD!&z`p*sl+g!
z9s`ed(Af3B_r|9cZH~1GW;u3xSjHv!m~}5>C3&@iXBNv{T6|h^yK3-I+q88Z)$&F8
z@$YSHDIBJpL=f2O8?O`aE6X7W_7CjKeaNT#`QLW$DNM7cBIRL<_UfB*n7{hk&xjk$
zRu;O^bbo&&N|d>}!GXR%n*OcNr3z_(&AE%hEB0FX#%(w+w*aAQ8KSUDbK&sGJXXqO
zcyM<8?x+Pb1Y{DzoimYYh|C~RDZUZ4%XW{hXN&8Sb?dR`-5(wlI6Op67Hb)UQh9^k
z-)d{t*ijr<V;be<o*te<Cr+IBl=;(dpz{i<aRyk9Z7mDuvVW%_)v4N}Zk)MLtFixU
z(XJ)F-rlMDCxv@QQnTvn>JX-Q{VYMQU52&6tdApHCECNt!w-@TW;^pNSa}vDe;hAh
z`YN1F+u+wh9HyE$lPM<Q@bv86yLUt1l?}=R2J<cc(R9!L-h$VKe%{pvOT9nWxk{}<
z$e1~}GAGRNAXddTZ2R%UZMZ89Kyt=BS;iuZEGwVy?*tCvz|0B{_HFze9u~Tcp005C
z@ZtP@Z)Wc*TJPIdI)#C-<|4KB*RNkHZcXYh{g_PNC3rY0@kqFELxx%EMnaLp&M4aR
z3iZdoypq{)VWmTSZK4{_vSrH<j4G2f21J~IQlhCi1+E8;DW)GSDztZ=_)EB55xE@*
z3*-&6>|NSm9&Y93rIv`aY%zvqE?&GiHW`-G*3pq>F2S@Ax4gNdGv?S$!SKqW`!GyU
zCR1BMMEi6-D^dD0I#6%KW=_$I;LmAVI+r)c7a5(2;Nbqyj<CA>iapOIZti^W1n~yZ
zK$`&oXp4d;w#L#rNbg<#o)-0Wtg;cHz{(JRl<OJtbz&=h!cOprm43~BuD0j-<bZ&H
zr|0FzpKJy9P6ZhDKr!H#3)25uL|IvE1>3o@r6n1ROzV#y8<KT`Y7`mR@I^=n3<;CC
z)1lmR6L>*e-v+U8-Qvd6(ql7-Tyof1ZYUvqu<zrPqQAcqKQ-3Yo&@hP>GbmLs=1D}
z#z!V|TOnI=ws9v8yx|#AfVxlD91yXyZm0U3S-RfC$0zg+&&IErKbd?V;E$}ilcvsW
zg@ZFhb%T?DS4+X{{2BZ@jbaKmNe?-hm2w7F{XEaf6m(@3=#Hw>iznfC8y`*MS-3IX
zM5wxt(!ceUo~C=sh!Im3tv)h&cm2f=F>`stf8Y$O3R;3un-qMCH+Jonv|9_eaer%*
z131z6_AOh&h)-_k{oPf-iQ7~ylaw5$gGmJ7zQ!LORyYYHNshk3snW0Ydxs{z-zCo@
zsK5Z<#XvboeFH{vV1M{0)p#^f5({=J0@df}w**bo9pfr?FHY2)c2ZDrB2EJkP7g`7
zIS%cWKeQuAE@hwvlS9UYfc&yvij+&Do{5fH=qj`&%Ze?i=rex@OF~v<&+|}tNH6U5
znX*39LfUqX;RWF$LB&N|m830ix(u61@$qu&j;LjYt@!eWCoo7VZt1MS8oW*@2MU4^
zzP=?>zrLetc?Ax{!lm(+Erk*6R{~Y&lh!ZPviUjiS;2cLHq@#B;mG52-2za8cF`zC
zWxu`078j5G1tPW+`CoPpMV7roP3672o^6B6R@3WSA;}<t@I}sBZU>~=X~kmcJa7K;
z>RKFg%FG4R@#NRb%~Du_zds!4%*DI0;R@bgUoWrDL5%vZ<79CY$!DgpN*KU3kx<^U
zOr|a9>$0ciC{IA541fUN^(b&pG@d_c=RL1uC`?X_{7B<`1#4Y(?DBS;vpvZ4SZXba
zY`kJDV0>P#_Rxe$KCghtMBy-vhk#hmXb1SB05$ROKpoD@RzM82vnQL71MMdWzB7jx
zZJ=dab9VzmJQEEMs|>jBH?Y*;)WR!xMX*U_xi|4E;_vRbf=S<6<G{;1%viP|$p&!F
z=UXFtX14CMBmWjQPR~4z5)%}S0N7V|+SQq4yQjf_4d7To0Ndb)9Sf#Rnc|5uPRXe*
zDmB$UBOYHcYb9tg9DvGsEP27?$&;UDTk8s|x){QV*VJO;U22|PUfb8-kABC3POt|$
zG5D>M*UVCn-vdo=%fjwG!OoqC5>od1^UD?GfHUo$Zj$DKXt?;;_hBaE!D$qN-e#<<
z_y4tufKJ{BNC3s0RdO)iv13PLu0x~-hg{%g7va_aYZ%%c-TUhLF;um{!k^F%qeCBC
zy=oO>RYp(hLp0FJreYUQ;W1uF<42Ajt<6ETjIvgE4tP}Tn_V;*kFs9~!Sy@9#qp$J
zPgB8Z9zsb18b#Rv9m&JA$jxA>jFNR8-h)Mm0UVSacc@E>7gV(K0O<0@LMbcubv1~4
zb=K^Omd!6o4Lezl5P{<$MxQpO`5B_elT%`pEsf%pu4qgp@)PH#3rhiO@`j$%L|q4<
zSg;Oi^zdyqHjAj%LF7Z6h_|PfmB@Lf-gGpwN>U9@)xdTO@A!0^Bk-3aV<21|)3}2)
zmg9+ldj&XwT9k8_Z9uz=*N+EYpeh$UIz%P{*!r=%n`6q_|F@-lQzXDeBg=aI9obKu
zEDkH>HlFkx+$8~ig2<kd_#!hZox5IK<-vXu%SxNy%>HL{)V?(%x}iQ<SB+yicmj(^
z#LIXs(Um@2K@-hb9j3@x)FMFpfEdu|aWrluB8V_VKS>$CmvS2r-0Ys0!y_~`!A;uy
z`^fZb=2xa)+jP~jxzLZZwTC0vhWyWO*{)UEU0FQT*N)a5;^zPDYf2nI@W8jX$~SjC
z+zV4rS>WX41m>YqzG&1gy4jc>yA^FYHTUK;BntXY4tDu3E||SUDg+D4rsE%9gHKO?
z_b3Qhwy6zi1D}?7*VULKK3{H!4U&6j7d1**tAVD}&f{4Z;68|+nZHL4q|kew1t+-o
zWkw0g(R)7KG35Ut2yT2+u57p<3}X9^%iB@}CyuRR4eX4reuwKnyB~XAGI?{;<IkP=
zIlSS|JL@h~!{WEzaf#O$p;o$CC1_9h;m523HKUt5A9H*3_8r#ptH}s6JlpyCa|J94
zb@$bOA6ESV28L=y5J#<FzC@tgvp+%Y1S$`)>%0EeZbC2+Ydi*~BQBC@_gB^R9q1WN
zuIbZ>;ABv(g4*{i0#U<t7I)*Vwt9~TzNghayNV8l8S?*XKc(A`k{O7B8y4vlJx)e(
z@|wjBVR`FE9Z2ItLqn$(Y}Z)a+`+vHCunqD?t))Lm|;E|dwf%dhll$RlZemIKeced
z-q%;w%?I9C8zrb{h@N9ce3+q6CrY&oEB6a(cu64FE&)Pw<TR(P;;F5U=Q19Re32Rb
z`?o4iQ5<ykL>oAB&mhk|{B9oVqU)B~b=gH@Pl06|qQ}qS_0AESaiFL96RNdX_oQ<0
z3TV7<y6>|G5ys&nlnL&aDK-GHm7hXp%^qJpn~Uqv8y>SaC^Ya(1E0=Y3j@1V7E$n4
zM3=x3h*k?N1QamaU!M}yIP&nJHpsa&e8o!*xONMW=vpLXNz0p}=maf+i#v8$?-3Jc
zb9tZ(T3A?!@G=>^lu4rMNuVU!GJs+|LqjgO4KQu%KcLrt7#S)2)F~b~g@2EEC;(q*
zGWMapt!+Xv2=jWBK~+f_%3$6n+MtX_f4T<XjivJhVGl7)yCrbo<R`OZzp+5RCyw<O
zYe5;HS`x;KPrHP$29LOiK7A+>bKKRi|I*V$pv%kX$1sQs05bzDB81~$fDIJS@x3??
z%saXnt>`Pt?zr3gu;|S32zKS4fPZyk@5sEjBZFVp)`E~QMj;!%K=Y2<IRM{V=y>;b
zUro-%A$k8KJw<Z^5NKatU)$K<Ke3iwpkCI&8fZP>9+gZHH@To3;j2T+om6~$mI!t1
z5Ij;hUERQ-PCv{|#0f9G8^^*u4K$M-{+5AvdX_sj_{MtET@PDivmyO$puSM}8wyHW
zKhhc-8$-*}6X}WpmaHy9K!#D7utFxBZ^`ta81&$e!6R;Yw(BEU8-OFO?bB?SdW!Fc
zpPygbr%!r#$DF)8d$2qVw5nnN@p$?8@E-F$yu3=Qs*J7}vdSWMJ_@At5$GYc#xhD`
zCCEyCB=;$ow&po9sNIMLC_Kt8eZz&lNs9rYF9i<wQ_7?^Wa<Gdx#3Ci;Yog@LyExM
zj=z6=V1T|9J_OQ|_D>i~4qJ{T5A#s9aW)zD*#EJ7#+NtQrue~xj2-uKJ&!{=k%B<;
z0vR2l!~m!XE7_zNBia7H{46r12Z*YT10W&KX!&_jh3a$+F)a=VNx`;sGVmC9*<%{P
zPX0sNT$<V91|A0vI01^K8J#%}<k$=8!gPK~>f!Va4wk=pa~|B*$F8mnR4B}GL(8bL
zr62BjpCJBP;U6Pwm~IlEVO^xdfH*}034;m<zAeXI35dh6q+X=2Z^ycULqgvb?n9m5
z@$_6I&gb~k$S}i~1t4{Ra7<AW54W8V3lmYhDdguQt#3C7B6S@cfI)WsyQk&E8|#e=
zSNcdYK(Q@G_@EM#-PQIvIV2s;5SNxm7ZAA;+kdAxMU{PlQidNog#=aC2=MYqJDvDT
z#_pOpHVTiqI9izUauNCK!0LupNWGakPW21t$yya7EO`3*I${IC$nzqyKN=qksFr($
zCar?00HE*O`{$Ojzmy!EHd9Dx@*xmrUcbI=eV)F49VqwK!F|6$b}H2YBMiU5-#NcX
zp9OE6b!Ph>X?;GabkpQIBo)73-{KwSe?ccV7Wj@WX~raio&r|CTG9BJCd@7!ZaPy;
zCkgR7o>OhN{Xlh0q3OK5wfS9-wvBmbr8ecdzE@?S2n|E1$+(BaS2Ua{h{x7>6|~uR
z35j#7q23aK=m*8{Ih^ciuzGZ|Xs5)j+%Ns;(W4}F&xvTWiY{2NB?1uhIeHVJ*8n|k
z?f+`Qm^xE%6|hWl@Q4(+xTWB3A^&);rH4#&^w=OBF85pnqFE?IKcWi<tp#J3`x6k+
zYe2EDyS(OD4U!T|=P82HwJn+Rut9ckc>vgos6sUXaleoo+rXgb&FC8O?*_is3ivhi
z5E5+rmoLUhF*yYVJo~RB3|RT0a71q@9Sp=MYT(YHqgb1t?uYv&^}0t3)RO%I+B?6_
zptJ<N+F}WbQ0giE3$#pCgL1>>YTMR&>B(v93=*r(P`X8g<ypWF71?TO{r<Yy3s$oJ
zXa{sn)mos!wRHWF<Fjf}ZyAOPs=0}Rdrq|#9NU`a6xDHod>L9GuaTd7D5%4M2ZNL#
zp4kj~WQkkTU0eS*2n-!~vHg)~-+Q1#iuJC=_H3rjH8xj_3HgLzg9LIAT^4jsuK+3`
zO}~!<I%aX>Wln*&GDMWTi^2g~igf(FBlb|j92MB%Lx&hJ=)KW85f>F>3Re36ltlZV
zI#6b*`h5tDi3CXvU)=SyhkKMn&X<QAr$In`I1!m;6UYZjPl)$!Zf>0Kr1#l~eu^P@
z^4{OSot~!|k+A8mXM2JozDN>STvkh48)d;%^knQ>ix1zY2+$B6!7lz<E28PsRgA1d
zvIe+4<aUs3*n%P!)ugVBe_ZM*M7$*JfLIVrp5Gc3feh9IR@WlRg}p*Mz5_?D;@;dO
z8l)nS>ih%I3?M58-3bLyG53AHU#}I>14uJhjCfL0D-!Ut>oVsD+cqgiq|X*rUq!nV
z^hXuD^jcXDimth+#>+q)WI)zIFs?#ueYvDC?GhEu@82hig^aS%_=v|Y@n-tKYpIy~
z$1SLEKAdoG|JPWDfhX9`1|S$^tccI`nxLL|h-<ST*l}3y@W|Kf+kUBVHIdCxDcsPE
z0hes>@KDel?LB%E(Il)E;fY(*_uC>gcX!t%y%jydjpemMKaua=auLx-IdI5B+Zjp=
zRZyh?XlzA;b2LZi(pz*XzVj~H{Lj#3jTY0b1D)LU^4b|8I#-k$DYrz_+%{g{EEO0S
zh?bKU4)R^08NAUtLr~Am-K|+2Lb&?}dT!E25g0b(_h~JjKtT|~3TO(r&!756mX;5L
zWiMGb4`r@vbZOLo`k*^s;TKnt`oLA8p(jXer#_6&#k{|xN(wy)JYB`W7BZof(@1IN
zAe_mfpz}bcQl<0nm&Z$Tc@I3n!uAd5<E<gi<e!4tA&gpC3LdSiT$`aoGK+rjKoi=T
zv>o@nIweiIg~UY;^tP^E>HDn`QI5J>J0JK$f`>iI#z%JC^*D@Y$E7M<k<nNER$D8A
zx^*4?<=9f;Gy!pu{iuAZJ5SDCYH|sEx_`SOeogT0BD@UFd=I@$cy8TA?RBU$fp?S*
zY&X;kzKsLIeu3TzWRs5(`3FtVwXm8#{fN}2v5=-T?lhwT$2H8=aCCa7kkP(r9K*6T
zF0VXJ9dtCqrbC%TB^Ht;y-i?L!0$y{bH~LjZy0BGRQdHeb}mP771H+4zb8wD^;qYB
zh7Q@J67+*$ox|oXixxsIJ7vqCntf<Vame4*LYlrVq$BelP9+1GE+8FO-GCxJ)C+ph
zq@*NtT%4fqeAlpzC6Sb*bMW;1^2jqxKQBb#X*1?STj=;rY<;}aF<^qkYB5=L^*B&u
z3Dsf}AnH&;6z>?5M3pO!zGSCY90W_nVC3LP{ZQhZ0k5UZm%ceFs|hVYbnm4Qzn)LC
z)nk=5prCMmc4-3WQh0a*%GY={*L*=i!w0_KYd)PqWm*N`SNn<Qd4YS2!b9^|xt%MC
zPaK~T65<;)Fw48M?$ZPJq9ygkhv(ECScgY6LT*7-7zk361Ql*IH8pZN+cbRj!Gi~T
zp{#uY$%?nA17w7=kk7q`kD?MkMPxD-gJvvh*b1+tvAPBK<#!B?7mI})a=W5u3Ry^c
z@ZXWk%{qBtgze$RQ>m{Bn)xxZ=1_mNd~MEXWO4B-XdCS1PK1|zuHW>nHWJFvh8MT@
zy^*xKwFo@%=urD95U;EMz^y~itl0M&RhKb@9cXz^1_V<R=i3@BcA_3~fxhk+ms^Bq
zPJ7qd@RayS^w+5#I?f}u;mysRlvzuw+AB_JKtzCQ!sT7Q(Ur<~>Y7Khd&Wab@9|%@
z+r9HwPm3vlQs2OUedX!J(1Co2BG@hrz=K}TRWxGx<##oSu2V^~+r0!l+Zvd^hF^c0
zLoySfL>FwR&Cjj|YD<yo5+XV&ZTsC*kd#)V#GoDr2(HWjxrRiN07R-JcZTD}NNrjQ
zVddGIf_k|~88OOE8&CjLU}L*qWu7;tHeUb002NW98eXC3>SXd8fl6S5SYEsN#<p_+
z#0t*O76A<JMzD~GLR%#ad$sZQ-YqB=p?64laU<Wbzq9issS5B0lzU1W0VqJKFNe&L
z>Kh=>Cs2uAmC<Ln;>jeY#A%~-XmDcof*SZ$XbvDVN51suyBa!YDdrOH2nM|9>F!h4
z)SS!DpGHBCc^XwQoj#s36CDQ73P_3qsbM}~20=(01I~c@NC76}yhaI-0`U@vhYm#f
zSe30Qc+RYR6!eD-pBx@hlep6GMFGFQT}D$?%m1fg%jz@Zh-(vOi|Lr48dCS`m%#2e
zbe=@}z!{YUB|XG3>eYG6@<l|LO}-oacV%;PbJPM&3!ZI}VXRANyeS;`v194_1Qz5M
zB#X`vJeCJatl^*BOds)t@{Hl+;eFXD*yD|$c^`H$dssZyCsOg-u*Ihc*V#@mE++A)
zPy#PUGJ9U|tm8s=gqix*dtOTj9+Z@<M)4wXWIgnVM9e^}agOPSzDk=7WEdnk0y<EJ
zIGKpkHfMa(OhE-|Of?j^TSFn9y*a9MBN7}$D4g{}H-^WfSw2O1DSiPtaTyr~n(m(H
zECF5G=(EPoMVJZp_x4^wA+D~je#^OmN!`vU!IAB<Og>V9bbWZB1`^a3iy!GY5jf}X
zwFUa9%GRRhr-e`)2gKr>krB=eXqccBdX2|m9*Ml{11Sa1ON&9|bT_0<0|(%MLMU)-
z_%r7>*hNLUFsw@e*CrQMo&$}<`3)I;v8u<9kHV5Yku5B;cijM-;o}B%$XJECeoI70
zYKCA?DDboSHS;Ct)X3J)M|n_o9e@Ij7^*TL>MRkBESxWp%7Yy0NSf;7GlfV7+pL48
z!DN(!#AyZ&zOt;jp!o(LRnxZrIRS8NH3EU(*r*1&S62XtIPduupcZa433{0wMZp&U
zzVM#E(`EE~_5ec0){2~$-3mj;J0jsbHy3K)gXp)#q2P`K@tI=xGaCHpTXd9f-n^+5
zI7Ec8`J+HTIvCzocm~k@k)B6?qIH5s=76tLX7+=2Z*I8b`W`A{VQ2+pcNNBA6De1-
z4Ly*8@dpF&MODeVy5NEo#hGFz^@0zN!l4P1poda{1HZPt;3hB$n+rPjQZN<q3bqsR
z2ABXy?TV=gv4Z6RnviH4CVq~IuZChx7Hf#p4!C2?4xO=6ab!M9+Q+Y6ox{fFVkZd}
z@P(rQTZL?M_dw4=kdVuWBZ4riJEB1s{f9|V{ynLyi$+<SiHOWf!DhF8|GpmGBbp+>
z_lgLl77XnhfT1WWLG|=7XequEx)MPsdEub8y{!<ap!f(26%r7CjDm2_tLp;T1*D#E
z#IHEOtngLDj8=$+q`?FD<#sfRMusAi{yYv?)NpOnGIWx{(Gt}eSj@DWf^2Jma+XFt
zKv*eNFl~)3qjtGB-vtvw3$oJ#4rZaV1y!6J^6e(67_Q59lOeXiu*TrVM74LIhZX6e
zkp9`DaYgoxRVLW8J$S!IHUKm2!3+j!5PQVP&Dpy+IbpIUghdF8DZn+OfTNvO5>2eH
zcKJ}B0yP_N+<02mou4;{4<gE|VA@E+4ed5WiEzx)_4&*7sUG~%6c0po%du7%j%lZl
zz|FV$=8kyySp&p3XgfJX>y>WFm(>TWe-(cOkqu*=jl<-X@dVR_wudQvm0%Hst^j{+
z((eRP5x=O(spMEwi8BC6mPBS^c+0&-2VEx<Xy|>e7&6!AOY5T~ENIGxWJL-27QfE-
zYW;=jkB`S^+D#!g3q}P9Bn!R}yUNRa$DfLiJx?`2rz(iH+ZqZ0AzpTdTmSB^7Kq4?
zi3KZM<qJo`2?w$Sk8}kI6B|>?8n*lSrt>8A8W8HS^Iw0(8~WtiO_?b?`FGFSjdMhG
z-Ihx5LExC@`+eKCeCHBmDakF@`4#P0!@3D&5qiTdLC6+Y0EW@Q2}NsS6M_Rymv6zV
z?D5ZAQY4JHCP&A6hx3Dg0_B{DiajTA*y~>)WNtnyr%wYinc0tWU7D?+JqN&P2u~D=
z9Qb6<rSL4tC@l`6KgQsfSE&eB^vZf~?eg&j0EQ$7qj-Ucg?Nz?k1W;jy-9;_=7OhK
z3<eC239-3Am`PHhj=da$P_ZV*FfA;m+!=ut7JLjieJ`9l2lZANRLaz+!{85KdkvBh
z>Y_QzHi*JH48V8P(r<c|J0tW^B*lsMy>~C_ex4OJx*i>1kX*A+u{zYmDMDcu&&zE9
zSe%M&cKLAs9CjR95>;g;-=37siv9rI5aXFcg@)Bmr1rk2m)A!K@H%1AomQn)=wo!f
zF94C>KLg_NWoV2zqQ=#Wx66kxcw2$ndeoxvWE^{6DWMFQCnqQOGSiah5E>Ej_T0;$
zCb6M(kZExea*xxH(&5S1Qdo-H@*GdX`q{sKy|T2<x$Uz@xF&v*n;Rav8Xm(S(IDD$
ziWN+DU3#P$vKpKq4J#vJ1-{b#D?Y3+&*j>tO>avMN0gK(*iZe58c1U1mW+)PQ0u`y
zR-c#KS(6jC<yN;{KAPO<39LqI&nkB}H`EL-0Rj3gNb3T63DH9^AmESg{5LnJnAYot
z{Ow<&wjue+hYuG5e*ZYO(o&}xsS_+IjX4mlfgVnARG8J2e~q<<d0E?TM<7!WJp`DL
z78HRx4_Ph}1SScgP`mvdFBu(f{XVPM#ohg#>wA4bLhN%2oOryxYMLg{CQg|2*PpS;
zWl=&e@b$A23pwV6Q1KLSFHYGh8W=C|u4AoDji8|N@!U;U%^_<6Q?&sQWDigfTve_9
z^luN0sGyru49R2N>BVb(wpeFftQ8<A;tT`ho)3bo^}Ka(8z2`3DvpA~LU^2yTIH_S
zrwF0*2U?-hgVhRY9aKQ@dp^ys{L9;yJ<s6R=75TJWnm>C@6im7LC6@EM9h1PJ~u)<
z8DU#jS0ypx;Bz63Y{%wyO7-&qysrg62rhF9I`8lD3|)@Y@~0N5y4ReQ!T?%LYhJyM
zGOWk;I)(|TrrljRM_A3R25caqJLnc#@kqxVGiQmYmO%`KK(<#zAV)~mEDF*x{Y;A+
zhOx5oWKLY4J3F5M`l5_ek=m3_7UT2v^+}pOGxKx(Cy-Y5{KyJgWZ@F=YJMu-^#y_z
zK*eLIIy1KBrDIXt2T(WBTmhhA9_Tg5Cu)JAukE;}q&q&ECv@sHMZN<qK?dj+;FVM=
zm=?8r|5>T3%OyBJtW=PPhv$RNTsBWX^u#37>}`82wJkqGBUm0K$yJ09iua%<J%)O1
z5kjDw=m7VMhF#)SmJEs-Do+3dbG$!q@Rqe3%(^4!+FTe924b74d)CIwM|KVHvw6JG
zP<}KvvJW#>CIE!BebbB}C8JguN|dvbW)lyA-XgIzB9p_D)MGd%Mb!2*CV^&f<(Xxt
zgm`oOEw)C%e)RxK4bic{e^LMk5y;A<QObxOIB<X%Aq0_o9&Hn0Mj&SuG0RvRWw3|D
z_AfKcP^%rUiC0dv=S{TPU+#<y3QPo;z7AY572B`KJSnkb5`<rJ;~}(%z;(QPc4NDm
zvarKR%vu4kC}VI8+k$-Na%2m~UR!aPXrpX>;JX~jmWT@r8E~5_uJ6u*3->~$0DuZi
zw~{8q5>%?945ToJwg|i;l=v|i&B4YgXQd0?*qXN#9uL1K@=J9wh#$y5Najo;98_)H
z(1W5El(p+&0(hUqtBvUfr;4j1gIDbH3ND}i<<*U9bQo&ShON(uu**klf|!0V>2Vs~
z>41}L$;U8CfX+6QokXy2FOY*=))rlDNHLy7y^lRQt>kUIt%z#tl&oh5K1oau`)QYt
zwlc*}FgA#vxxNMhY{{#bprgJa!i}<B85dzmOaLOce#G`THZ3LbM0}oOd^J<GUQR+n
zqHIT$B#gfloB%Q(S;|f+KDNSqe*QA2<RE?eYRDWp`eR;cb#*dH5>bLT^uSC5<`ZPM
z<yS^+y8<r((>Wa)K0OSqy#4jY=ABB{vkCb(A{y@+O6fz@?b39Yjo4=O<KB50%MGZr
z4dVhveo8?bNCNDd+!Ps6m@G{_;aEMeu?(om^nj#E1_f{Glwx<Hvq#E8Qf<Nvc|n{Y
zcRX%hplSHaQqs>WOhD#mI8#;9-0cb)6XEiYhK``v%*8f=naBpXZZL*G3~sU;7>w{T
z+UQEyCHfMS_B9~-Yd0~I(5eG$;*{6F-a1i$gP}uxS^}>#>g?hQ`J2IS#Lw#ul5|pS
zd2hbgC*uSt>Hx0dkjBteQ=mY!ba$QTL}VP3EUS+Fo`+TT)EK7G^amtoi&3hhL(&V)
z;4S18;CeLJR58l3!j$`fj*bo`^9hrtlC%*}1Sw;=;EKJQ(?)xE!zFqBWnAGLsQ<y?
zEW8DU_V-N^%r<$a4QLe9TbssDyr7xLor$*CLU5!kC|)MeNud=^ZAuzX>hoy0=k0`O
zSb^-ar{$40DRS{}M-vI-h+B44>tH$2$;o1vBH5g=u>|BqsJ4iVJ_Bt{NU#Y!k>-){
zG<JD4`WlY<k6(gMi${Z&s&VwAVo$t61lX&umy*Th_rw`^hq5;a&Rh(709J;p-}CB|
z2=FaDq+1hzE;lca!ao)~hmUU!undUi*>EKy+&~P_e9H@+O8n63j*AeD0bmS*VQp;<
zUKlcvGsbL|W?OK%GY~4VAv8dO(tQu8l5h{~P#TnICSb?vR6WYOT&Ws`qoR=ih*zej
z3&u4zVwzfcWCP+`Ig(a4unH6%m$CEE3C1Ce#hbC6m+XjaK#uEvcUy)5nD*-EYbKu*
zKsg!cy^wJo5Y$XiRE}kiM1Z2pK=LH>E5>>VqSv<Ob!zrZ`VDQ;RGx)3Ahc-62t0Zk
znlr?TM@6vKwOK>~(Hha$q5Mb|Iebpa9#EZ06G6^6Bq~Z_7tosH2)qY6*H^!~fY3mU
z4ka+)lA62aYAu0}VZ`+HG))U6jOeRXy70@qoGG@uqNspGZM8l@WwCygAinrGGS*(&
zsm(}`G`$BA^L!}RkPBS&U5t^NU^lh^i9{0s$<TZND3mxgSK;tOb6RK97zg#t)};dp
z*Cgv&A2aM&URo%4!@B4qc^?&Ls0RNlJD7Ti=kcnp)ZnW?L=b(Sk7AWHs=htV>&0v&
zdZ$ZH5e;m={v10!xaxLg5!Z`?=Y;b!Gc!M}-UrLcSqjB6X{0eLS}*#x5bS-9+lQ6@
zuQDsFdF09_Tcnv7p??v#V&6Qtu(Td?e6dNkAmZvtZ1*iVDwS#$*RYW&!WUqr-ux??
z3c0ldN^>1T7HVof&arnihD0fDr(yyMT`buF`3K))_lgc1^=i$hjKw=w#%T#fi;WLB
zb(<?MW{!VM%@&-33K;!XM7T0+s>_%w4{!Jg+I5oK@5o|8cZC6yuQuqXKq`O-Z3#%v
zD+oxcWM;$%fH6#jWVKW0x*+8;kW$no*!wz*^gmh8k@+=zzX_sYqQdzi4@F_X6Z9b_
zAvAXYHLa+i%!a9B8osp-`Fjr3DROD}ljaB1v5A6VE87$^KvtFm$w+RzbO<bT&NlSg
zAEPeC_j>$j(jeuWK1(9OKilpnAO~i@Rzdbz8M|BrjwFFEcQj#@eYt|3IY3qehQvq{
z8Lh|p1#}!GXao~tup!KOR<XrT00-r8V`B5!iA{PP?#;vd|Khj^JLK-JDn*-_hTP~g
zQeewSHVkXY<&0HA6sjqZ3g|?yj45Usnnlbbe5ZO1v-s2>1EC99SHrWSX5$$%XYNLn
zCW$yugclY<F~*!Gq=5PnK56r3J^UNd@F>V*Scz(7&!S+h<yNOLS)k{h9Bz2_tc;}`
z4M<~epx9z5yBFE1?3<^uPycxE-?%Ne7D4E1iM%M8iL^s^FaTrIaXB{cifZ;iA1vdK
zz+PTn!fit%BOjqpj>b0n{kf4pji)tI{;tOlQGtn*?#&miK^e3L78Nd}oE|?9H(Ma(
zk$eNIS!#OGgy=!EZ06$e9j%N9zU;?u&L>;mz<e+N%WUgpFf(yRP~4&etc4`Wvaz|;
zykTy5ryW9}$EABi>4aIJCkMY=53~VOn+;qq4(`oyGw!_r6pujhhPrANrUk-}9zBY(
z+PU?6!SiN2tbv$J9O!Ay18zV_tI^x8L2I-&K|4SdZ)}gqH1a#qP-XDf_C4-26H9~Q
zKx`<=W+I}r;eW|II#I?&fWJ+s#-0~?D^5iF;wm~kG~B(+^y2AdrVBBH`V^?SHUr<j
z2fQ$dX&USt;n8I~e|Z?uU=4)&1gSnOGgF4z<FJ|}Ex+gJn>Hq4D^6oL6p|2UY_afA
z{fX@Ha13`MW`2Uf$Zo$Ag`(aZ#3zjj=<Bguj)Nuc#w5okF|p}?{yfgKJPpeP;QDg(
zrr^Ww6Jo)wa32Tk6D*i`^2bPbjc1>%`eSg)=3Aq#E*n<%#9)3ZM2bo<N3wAW1&;!U
z3F|N1!Oxa#!;`5_#*+1dd=x(pb~=meM-@X%0pO5p`*<pG4M3r^;z5}mg3?<)-po_p
zxpc#BgjUBjtdtA|DSh_@Bv3?c8>CB^@?2y%6x4Pfo}8R?;K1zJ!ev^-;S#u);tfBd
zGt~Aqgbx6S)T?00Q0a05jnN=6O&3N*gjwB2b>{v3-3lD)Q&1Vh)CqxcDfSc&4E_Pl
z-wrN-6gY5xLebDb?|A}|%{v?il}t$f^tW)Ic(7J$N^b~0ltNxa&Y6nV4QBa`!BY`3
z-;xPzjM=+O0Dm<XwG%mvB_{DpM=jpHe|ddNB+zjl{2CKZbtG~-FQ3ebJ&?nFM!o6;
zEY|cWC=pu~12qBoOjWrxHw7o)LB~PQ60HanOZ|BixGMGtb6<g5NaO%8ehYwA=g&7~
z?3AipDNF~pWlWRw7>xprC~d&B+eCd4Bp#&IdDN<f#u#;pi&b3F&2eiq+h_!uK@>Hr
zNIEjEA5JuufNL!}YT;?}^6(YnFlt~Hx47i>8Hh$UsJ^LzjoH=H7@R`-a;2@KFpbHy
zcDMp{OJ>ZM1I?IY#v3eCOIRIp0)3=Z@6MXb2>*DAGHICYNuU)o5V=qiJzbU@2!5{Y
z39EAZp7EvDj{<2nACio4q-OSteHK*P(1SL>Ik^z^5Way1HbH;sij}rA5#p?gSqI(+
z%9TI`0m4RrM(dX{?Y2Nhys8NC3~CSrs!yOtX(J5NwCsPXqBM6zH-iR?VGpO#7^2ut
z&x*iMIA&%pgLvQZ(0@z4NO+@q<~_Tg>EH;-A&3A(xeN|IjDq<}05uvPg@Wre3P;FV
zb0)CIq8i?#l*G_q`v90BFQ9w59e0U{_e6wF#hHp@{ugx%1H=o)zo;_8ep_i|7TQhj
zg)Zv9RK$?nmM;k;v=pDFkR}Z-PkH~B&BTR5*kA>=5Oo~FP*&WldE$pKIX@Sze8BX0
z%>$s7<dC+G(WJi_L;>`*pt{yV1xSGsbUTd$Ajq7{{esnD`3k5e;a=;pXVfJG8Ne|=
zTj<+<VzhlSH=hT33uvWSJe5vX^iKp-q}YmPLoK53Fl3e_9VBWUD`ejUcOkJMDGpYA
znvN2aEja4wZ)*g^clFHA1&WE4x2^--0i7W?Oo#I<arkxFDY0aHZv)h`^sFc8IAprW
z0TVcl4-Uv9u6)L=Jw%;Zl%VAS0+)>liOxg?<Wg>UMub)E)Kfj;2+}ka2^;D|uhrhk
zse(s$v>2HUVaYJ<x>XJnf>{XwL$X~;H8@SC>Hv-oblfRm7+&y)n3YFClOwtFzKWt<
z<L(v&QfU};M@{@06!HpAb)o<OmC&)m#bs<>luP2Ia3vCk5$BW00YmHPfX_xlP?h!s
zMDdQ@)v>csRT43Y_DUruI<O5L&!81i3-*R8VUTQ>05AcSlYp<{6hSk?Ugc1KkfMJu
zFfB|VLaCgqxTQr5vSIM>W#F+uO3tQI9=QyrB4G}(EX}bXl?kEGN^*(@>#_*ewG*B(
z%S`JKjEExuxJ|)c%UVBbf+etoF^veYvIahd`6)GMr8>~`hJ7)^*X!E<G;I!i<_R_x
zOE?J^NTe5ILxmT?FI5V_MHLa8`wA)$`jypZWjVp)5>P)9^;D1|g%2MZC8$UdO^NN`
zh0XbpwvezYt}jA-T?<JgvM}qG<RH$0LLzqg+5P?daDh}kC>WnXLsr%kY^UVrj5#RJ
zKn8^(J5j`5W%fw$uLB|kRg+K?Vf&*|F2P5``GM*$qlpKdFSYByleqx)9l>5?kFQ4^
zCA4BMKL~`+FcT**5C}1}G_LcwtqP7gu^7UeyCLI`fF8K`9LVx%##z;M8^jN!nW4)d
zNJoavRH9``;|NIBfh2^hKMc^Qtik-|_IrH6BizxV6I^{qSEtn8$XC<GoiZ3jQ-H7q
zR3b(SW}tzNos(EYlN_Lza&YKGO9Cw78+6~_ny}J0R77pjx_Ng4-<nivhN%L|oW*qn
zBfoo0$H)F^U^D{ykH?7Wgh<TrzGt9>frG9GS%C%>0h@NL)X}7)=c4Y37gxt+^%!dI
zYkvQ5G;UsvjtB$B;D8=|;6SY!-K_$QK+V{bMZue39!C&MZh@YK$<vnsUojUgDvk;d
z_3hvy&2I0W+})z?4b07~X6nU+U<`H+k<b7%S*VcEdZz&w#AZHQpj^5{h&UevB@lN_
zQDLJpzyLdT?tEL|o{S3==6sLjT?PIEn!AbMhV7B&&^u4S>^}NRSeZ_cKTc;2G}ve%
zPo@hD#F^vgwKWU<jyZR2M0I=Y!2^H?ziHC?*=RE)Aby+U&LgPV*T9BJ005s2S3vAu
z2KyjMM)`c}ID7W^x^vUPyEz}7sy@N!eSuTcT~Dxgli;(;%b~UJnnitmybK&{j=26z
zYUHE7KG@rOSV(|3d=4rb(ix#Kdjj<^X?B&Fb`4^^6Jth(sL_qyYX-)GurDg9{XCna
z#!67n5_ylv^qJrpz!mb8#2RGP6L5cOFkz~unsYY@m#p>JXP#BJ_ihdoIs<y<%;L3E
z2^*$=5@Th~TG(QMHk71U%4BTPZI`>g2-iA)e{NEiX7c@zw#cdk)FDy<WGBgYG3;L%
zW#ogy8{O|9>9!-o{8-ceFSl?b7wB8+QV{v-7b}Q&1R$59?*-Xo(^1KWV&x=q+gG*N
zFxFkVB>^+9P`5+;FGLgs>Q6_L6a=#kZSNka89|G&gR$@Rs=+S|QpY0HQeeWiLU$GC
zcfW8oZVg)tqM6uY{CXMspd=qf{-KK{=;dz$+*X0w!VNJ~VA)SvT3Vo}047>NaB!EH
z*yyqiq3;VW+v!y|p}YfA#0PLrqurPo5&ja$y?k3RU&q=DT7EI4Aci~+3HA_RG$?i@
zdvyA7t5_fqZ4P>doDqQ~EARSn%k4}t8t8NZ?s#@-H8}BFldW{+7P9;^u>YVoOt43_
zVO<vQ{up8Y9fK%L<TBXGQ7TBG?droYJaRAFV{oX?9;bYq=6)x=<vW?A%X2~V@uk%-
zxu%!eb{Ha^?@eFh2Q4}XB}eGb!4Drrb(p~0fM$FF2&%nrZmvh`np%=5OVPS!wk?J5
z3F9=1fF$IPXtV+3tgz=RC(0Au5A&gSEAD@9{`=YP$mHH=_YKLqAs3->vU7K@N4)`6
z?M0#RUz?+JN@2hxgCrd>Mz^mZwvqWY(S3aXK_1L8J_U;do;+S?uE?*Bs=3BzC2chx
z9qeObIOWRhTVJxve@p5!0K@Fi52I!)y7dX|&Za!pA)#oC<w479es#lo!2fVDT^-bO
zl<nJ?nEVMG|NEO}{eg0zkCdb9-JX<9g>g&*6eS5BTBRVt(6M8aq1^*AB=!3B({qNt
ze%3bTrQk@EFW@^ml<!3i0`A-K>l1!LKtwj01!(b7<}Z`)GBSM$E;S&60(uX+JP0AS
z9MuzJ2nzMad)~_!7)Yna%A`fW(17-uFa2zn0MEeUj{@d>{PxWyI(4}~s)7ox;-ChE
zmlv&<#7j}&3=>g}6Qrl8H25Z<F>J6GiYNSXEa}&2RF45s#lB%>am)^*P^gZXAy3@^
zSQo#HMHF=v5g(NKmR}P*b{SG=CBOdNxVp{=u#v_hfJk0FcE!Xn@n$HEXyyP=q`~`?
zg$*_qq~DZXx^wR!TvTIV+7Fi#PNdov6G%4kdZDPeQSnq^1FRkeY9Rfqi9>W}CKv$S
z#)JtINKgb$o9;;jf}yrw4Ny`X*ct)QeALDxUKsVs-t604z;X-5M%wd17sbA}bAO7V
z7F6<iqPP+TgPngi#)sX3&C=K!Mohp<jeLV<W(aE+Az+O}4C*Wy*c54-tx!Of!hs&}
zvj-Xx_}#vqIEwG}M2n}|6Bir;OiW<_<N~QrKLo@5*xBh=wKbJmaG93!z&>d^bGAg4
zwpeHDS>S#oXgt6`itN<pV|)At^nQ*?54hqn!Z8MZ5`=IM0pc5k$XvzXG~yv{aR3ri
ztA3R{Z~3;yCbteWGp+*q(`9yqz1p4i$|aMu{eOmG-a{Fj4+G)064g6o)P`}}0il4*
z(y?<Kg05O~2r_@!?Th{!+?_~;1(LIS)e7i-pSwo}WdYOh0i)we3Fu&MYecJVj$#%g
zVD+L|il|K;E<9HuWGs;KWcr#lYbas^MDHFQ>f?~7VQuimvvND%c?Dw18+7r6uK#z&
zH*z}A&juP1L~Dx_1IWOR65F0lJ;hsGQZfP4-7u34$YEP=*-QXvEUvDu&OLDq`p`TK
za09Q=yfZe0Mj)!a6&gOkUY3hUM+>ibntM5A*!C5g<?zBasP1s0B~?}2%a&c0w2Yt$
zU=5E}1`G-yYG6oPEjmitr(E&~206_h__|iBenUm<RD5Ux=RUZIu+VT|zh{qv0!X9^
z%``+S=Y+!N!NT|W-93mOehdD4BL}9v^(J3A>H_%4@s;u`?;-L)lta`rq>vN>G41L4
zBn4t?Ll1DpK<zcK1dW5ei-<FXlTo~}?Zhl>D!3WCe1LoIQY$xZJqIFu(Oiga$5(H=
zc?7d$#r=EzQCtz*v1I-S%+NGI>juWD7_Uy{o48p*gqg(3pb-`9Tr1KAfhAPld^btD
z2>b<cKXp;eazz3CB0yLcf91J_OKMt_w%_$wjI=hH^wYT3sZQz4Gu-G?gAhi#O~B%C
zjp*kvh^-Lv;-Z13hXLmSx#)5zh#PhfxT}SQ?WYH$gF(QYY|in3X0Z3#azJTH+{$Y(
zL~8ZW|Mn+!8udpG*{t9E1NK6f!xF@SbU-h&KzK`3RxwzVJ<wgD=l>ClAeRKdhB}_D
zKy5x6SVP8HOHuT!BwHwFB@Pv0xH7LDXla94pTMaR&C?i{0JSi`*${K))FzA<Q{(o?
zlo=@<lRmqr+U?eB`tX4+xj~zUga8e}XO=_KiCXR>t`{rGbTXZuW;DsK|Ij(tiT404
zp~-I>TwCI<!~X$IX1lVXfpWx+?Pn0ks!d9x(W=5OVftb^iQkZ7<Jpo1<&{sV(8I75
zU3G*aa04p)YgRcaz<0xv)cb%M^CdEO8e@Ip5rJ>nuZu!LFnBq=82JtID*nQ;$}i|m
zJ5}M5fim+biBXbFKnrjYMsf?H4Z2iNKSfkPT*e2@V`N)~Augvt$V-J(5P-d-{qFrz
zG-!vvN*LLcP7Z5bzi86Li6jyFG=w?{z+wWl0G8FSC*liV{$46x1&1e%2;JZWo{^;V
zQ7ozJ?=3R$g|Q3v9X)acO)T!goHaNN_TotxYq5zIJ$O#K{KNGvwXC>%zTXoZ)|R7q
zuu|PT`qe%&gswKlPf*!!Q{B8-Dnbj=FKQbDPo1W;y5lZZz`s*5*Nb#1AbV((1Yn=7
z8xjnsMKr6N_UG%SIf%G+G%dA0@pV+-X)sP!I#=mVNKjBt@dC0|r@>>#K(zr=`SoP0
z-3?-K!508oszHRJRAGj(x><BTA55S5C(o%y(jv-y$+}Xtmg28})oI8NM1429N)WM@
zLoR~qJ)V8Q3uOUdh?553+I@$sdk&#g*#2v_G^%c7p4&BLsstQ?{FDH&B>xm*fb(Qy
zjx%pnf=Y?kjf@={kXic}Vgw#}FcJ-F)cgWkT3TbjYHx+)LT?1|!K`A;467gPz2wl@
z+Di9P$yU&4AhLU`eU3JWvP&>3x@rwL$Q<{~D%%Zgj&dohma#l|cE#6Z_fw3tb<@<`
zLT87E1=1b3)JH|r(alffn>=QXVyzG08VmD7P%1$Rst9<skO9$~J%sEG#DaGB`Z?jQ
zxN@2p3veEY7%k5Lc_e=?$6UTh4yw|0T#-7OwYBQva*@%WbJI-SK}P8qlLo}2gKJ-`
zT=_KhasP+dughN4QpLrAjKIHxZ^Q!stao{V^tR{C%>|@`223#fvbIZFUzILNBZ3Pn
z8vAa&5dqM_@rrTar?%Bhn`O_q)hFQ&n<Jg>g->-6KtIfjd_wa%B)twERflvz+$cr@
z{XGmC90Ko0*V59MDpD{cLWYgkHgjuf$({&!U+@_dlXRgMLR4sk@z2igZX;>}!jjMW
z=WQ&noJzMcgJh%l1aiR+4W81vE9*9<aWy@dR-5qmUU$2uPT2AWQ;>W(phXK-`q%(i
zcQ!7)Cb(4*qntE4fe7V?3QKN#B%~3;xPFNA<^Vx->0xJMr}O81GIzkaf>NTimiqFj
zD}?d;!E1;f0*lew-fkc5irJoX{e6A5_yB`oXRIZJ|Ew%5(})TS`151P0&pq`yoo7x
zyN@BY;y&5M5Ob!&TEULK0m=&ty-;!#N6_`|Rnq9PY15_wRiR3tOQ<IyLOPbEX9#Y+
zj4$y5f<ZBhA=D1do>jOAyk7@$&4XIbb7qRoet)MVN=WPbOR1MvcQosvUkE74#F3tr
zw_b=9E88jm*W-|6XQIIj+HU}n+YIBsq-5?lLzvV+-~!BdY`(PmEE*l5#eZ9E9_f08
z-r!k?%lS+pA)}^?-^g|W2vQiRUJ;1VeYhc%!|g9q`!s9kgIG8<%~}G<;z$tyh%!d=
zeWDElKg~o#^+tt<@+F3cfb-Yywb0fw1fg*P$&v~bhjV>8B=hJ4SYQCDmB6AoRkOm8
zS}FngNgo2$AjU><<28og3lN%!2gQJ9<Nf_I3?$QKAn>Vu4QD+5l*$vJiV4rqX2U*J
zLZl1SN0kBfDV`?cXXI39i`j#ZM2Yb>$_lO{qXd2a)Y+nyi2fLkx{u*?UO&>%-5S;S
z*xvpaTs-N0ITz<Z<xV;@^{+h}E^0yPIt{Rnu?UnLT?YZOy8khcZk#6rxs68efiDmR
zV@bn>nOtSZ+ZgF6#sx)jXy^j8>_+qePgqYTF`9}_j|Zk#7$hXXCEHl*Qfvo<SP$f2
zVW)>h)E>t4lhv4e?FCJu2hnpLEs$5HDj)kwv_D+yINeos@3y&O?nD#-OHrqE)F&sS
z_Q36xydeECL<!Qe0}+G>Cb%VoZuCHPOg$k)RyEUMXH-{IQZOJ0rF)&|&Qy>iU@-Hq
zM9~Fo)T~F(u(LjyhB8hT#q6iY0e(ATW6}67?oY(knjNlVL+w1lqkRSk|CZK)%Bq6!
z41C>$OUN38UDRa)NnwrpNeM$=3=#_hHGw;#AZ(BRTE6T1SS-Q|Rr-KWCT0q%2<D?k
zB2pV3BaZVxrO67#ZskHDgxLQSec;x?^Sp?1dhp62_&EeB==;%x!UP-mI?*aPu1&bm
z6RPGikPsTUIR^Fi?N8TZS73aO#UrMZhENVLISu1W_!f==SQwWADV`G3?F4B8W}f*{
z7C8`o)d{;oqQz0|UG8Le1K~qxuCUo?2JTM(6gfXBYQdlSS&;_Op-a~n8z*Z#uY1Gp
z0%~akc#pj!53TEaa5kO?4qS!df}J>yl7^R`pG6a>AY+jgfR`r!n?SvBoxksX20Dzq
z;JE1CO-xuxp%QiY{@rL~RHNzMq~+U+kIm@3X0g^Xidh8?s2e#ASch(?&%NK$gmC5w
z5AK672(3aQVHnhF!hW35@OG^JpQg?{tmeG^;|If7#&V7}+n|ysDWycu7$uctv{(|F
zkt193gu=*@T^p&9BnD-P3K`i#q|Im^jI2!*vV;&KqUUvg$Na9}AFj()r*qEt`~7_G
z&wan|_xpXn9%7p|q5o!^Ck=&rJ%&{O6=agWhAb71jIh_S@i|QN6^~9AYWqk!$h*jc
zRgyqcA4`Xkc+uo66evBDgEuFv?&;xoZGS`8uvbk73^<i|s3V#fKQck-0r7}L0=3|_
zKbrmIH5@L|-^U_2pZ}J>buXb-=t&Lv;OL)brdL)Y5c&A&-Ca}P<CY|x)A$(i<w)Kj
z3LOZ%jXimi;Hxf#oMGGk-4A+{e9%Kv%?0vcN}pTeu1LC=tdO4h%VnTTuYe#p-^C+A
z1!9~`ArI&dUR#ABK)k0_qyy_K1%eknpP>!$-3&ENArUnt2nr36n9wM7?7?s4{3rO6
zeHRRLPLJlB3WCjA>c<-LCohXVs!kx_pXOu}Bnmlc5hz?Z2nMw0X5xcFFZ&LEyD`%1
z=S6jzO%|2leMc76torHew)aLJNlip6-Khez3tkV6Hlp%s=ddRw``QD;(l9mPaPC#|
zLm*nlpR+?++^H`v%#Ye&UYgW`PQ+Z64>eR1al?R`B*?@s9)p(On0PP-N!^@HHw|@D
zULry@)c%Hze>fUQbY?W6+ASlR#G%yZVeea;n$nGz)jn3QrR?HRl{TW`khPBV1l>6L
z@+f+GPmH>Y%7R$^@<aD3IA~sb-Mfe}{MH^`^7MSN0(5E73jE4FM)naN9-oS=h%obj
zQ+ZRrFS7-3n`Z&EiBCu!+BH^J)a#YQW$s1c-R&%~^2*BmRIe2L!OjEkk)y-{l!%6m
z5)vGr9_m+ArSZwrF*D&IuXT<(d#l6NZMPc!=#OxqDQyli&NVd1S<S5ZuK|b7e60TN
zbzp=^h?#lgt(+c|K<yw3U_>$;w6a)^>SNz@C@*NOI;!fKJ%2UL7MxB&A8oE`MxcD%
zAXyxzhp2>YPsa-?EyjuzP`SBf*~8vGyR|*)`_Qv(?R}o>-|11KjCOG9;_<7)$J+A8
zMLmWNoon}RcEUuO8Vf6`+w2?FFfMXUn=z(w$3}{ecIxEXz|H+yRsYq!blZ2uDvWkw
zct}rv-`Hs4M1%fq?iKdGq@y@JM~rN#yJB(O=lXev{Wo^9UPB_BWEvZW^$%jwf=zop
zW^^<tsvNws{L%Jv*RBanE<Q35eGz<K%pIQ4Jk`7PnfJM!qw2*3P933Hii#}s&Evr!
zQxTwic6tkY_Ht1R_eu_1$hVt$S)D5kfb(T#U6#QwiG}xxe#ZSsjMrED=|2J4PyyW(
zm#3kKr+b3_N)88SPRa#&rQ#DD_!CiH*mho~aWNQ1(UX3TIQCiTu^2E?Nf?n>{e)+R
zQ{J8vCr{R(JQ1K+$X4r}??gr7iE}fZLn|09IX^7MaS^fDB4uhoQWgl3T;ZWf=Zj;D
zzQ#HNB8YJHc)qQa$rqXO(?|!hMnl4lcxav4i=RK3p}=l**=2J^hc9lYo6_87Y5mW1
zYsem=?07csX5*41>xa@u++OVT>ioDzEUamv+i0Fe!?<k6nhPHHU?tW$@HVhhZbAeS
zAmyQ}XsP(&2(bVq`H|YB_qfBf4!+!l-P9k_Bct?ZoQX)qxiymsNgPURMOkVTYl*pu
z{E%<-*QtfS5COOR-w%ZaE9n`f&m@@*;GDaPefSz}Kdl>((ev_P?0<gqSPhW~+u|57
zB}|&9A%WqA#xHAYr%G1L4XIyAtfS9wfCqy+xi<oe&B~oj6A<@er|B?JubF+&98ez8
zemGrHElJtWZbvh*Syr+-&6{>TOe*1ky!p|l#RA-Y47FK8YoQryI%faIGuEbRW#guM
z6TBBfa}|#FP{WG9e<=JmtO*RUpcAt{WJj%dCV(^p>Do@SAfi;jP83vzTg=Uwoubt_
zhn>POngWS-!6uxt{o#8xhI<<hi#d)1PZ<&5oV!jIkxvGJCyr)a@Hk_|RXKbNFtKgU
z=MQF_6_tcdL=hEuDoJ-A`5dMz$v{f<x32M3l--os3p8*qgpT7UPRJM7D^JH;arS81
z^cC=M99=f_j@8PI3J{4Ad7Zcl@oIEW^6E)+P05-qLmqnu8*3(Ud@aYdOKKFD85jo?
z6FQxSe|-1i5t{^rpU3EA0APj5ZewY0axb}a`^aD;<`V-7skBKn*4k+zJmrRK7Oq&~
zcdqf=u68TT%Fp<>fFeBA%{W(9qU(bW1KMrrmr`{vzqhJyQm|q{LnAU78y_-dyONlO
z_phM4j+C`rH1zemcZD}@^e^!MC7u%!a-<#-cgLWh7oPTgj?P+Hvag{brF6RH!ZWZ(
z$71IeVJx5>ywkI?Y~lB8!MH2!C_EJSE&s8rCQBj7Yr|NEJ>O7oW_I>~b}L!h@8Le3
zxH^do-ZSdv9uL*+J7q<))+*^#V3WC1D`GVAoK5%H5wVchJQJbB;xTj2bEe^S_xyjw
zNl>R_p}`tWT9~u~3F@wSX;OK18`06$JN2x_PuMj0lZ_69x{VyuXFW%)EOo~zPJyxP
zhAO@w7f=ocCjBmX2I-lT8x{|L_BMXU6^E{3P)9f4dbAD4IjE#r$rjhqJG44td!JWz
zB<NDq=|y<l+n6qTXY%~<m8p)#Zdb(>z9!6iT8;nRL7`((9g--pYaOy&M=Q%_r)a4l
zdLANJF#;x+R!A|PSG#4AgpEq|>`t0}o`v5~>%vDV!6EDy9Mp(K5zLoiAwD9*gH!D#
z&UN9Z#z5xjFkp5!RD*j-Y>`o6ZV~AOHY0X4vdyo(f0z^`hCtlcz`u@P=^W)`N5)1y
z6biJINX90{hG|wbnjuoGOG--mJ=SSqFBflzhGeyRrgw@<Yr0bf<Te9v^S9HB7%9vA
zfxRvO5*_x-xPH>oR!ldz5OD%GY%ry6lKn`5cNu(??%yB({O-jrj%*oQunc?+z2CpY
zyw>T?I0|V~+V;XKP(}+F+Isx`3vk|7FJFR8b0W8SiD?}j)2jl5V(1o55sS;2HVemQ
zv1TGfw?$A<a;(JIjqvY}nzkG$6oNqkVbLc;obq#)E)f<jT1Gp)%yC?2w{G2*(H(=Z
z25A&Rl(?iWBlnrhlmR~L7v*wSN)v{L!lAH+r7{BsD@2qY+(;hwU=FlAL;yk*qkAed
zP^QBDlg(E&)Re}k@E&OQvPZ~}Zi=lk(4!z3p!S69m2wmy^-xa9t{Hq68d@@Cg!?`f
z^#-V!uFMU<qEH)57|JK)(I4n1mZDq(?kV2F!4g22nqQt~l7Ioip%U#qkUPgYd{J+Y
z{316QS;1}C%+=cV0N*CLS_Mq5Zr9Fly>t4nvZz*dpaK;g6d@fT@*tlPssx!mpqs9U
zlqr}GJzH<CHIrLoTs#XM9DDy>W##Ue;>ZzlhQ!VmDIh?Ed{01R#Ejm`h_GDFs}_Pr
zQN3PSe^YC%yoImOdf0?lkItHaHYUS-Se^+;$#Pio_W<O$3Yi8&l(#iQYoY_v2<GBN
zalj(RsUtm-J5)poik!$A%En~=QAp(NnTK;ADGZQAD=>PwKwilOX0rnYzyQ15(V)^v
zQ}&r!OMNPbu(14$)M-lKRwtvz1}WMKef-r`5BtQ)>NI7ItM^DJ#BF0Z0JKb#A^ty6
zt|eC*f?)7M?xd0OUmg~Vf0vT>H6KHYBW`+J*n4HD%s;=l0gXjEwf13Wi0Pwwq@o!T
z(G>45v)6!jG`oda#Hq}|e@TDhV#QLCxAwF;tfB7ifvE+G5r^;2N4g#nX&~piP^iRQ
zO2m<3f*k8=P4kG$KFd*we18}FdA9OwXUHHcQnrYkX>DKK&RV%=#Ne@i^w7wm;JWLB
z&ifWc^UHA}YyS2rQtjr-RI4xZ@0_-fSgk>YXI4J))xGknmY5q`eR)ajRCFPDC&lgE
zJ-q#ZnaG?~R+G2z+sXPGjYezX_TYHP6AgzOZlD8jvMQ4hY)Tt<3OF<M*;=`gK-8!l
zD?;*%A|-J`2Oo@J8^W_@3R3GD#su`8|ICL&A`i@JOk`ewa_p^INDjm?qUCu2&m|B&
zHsEDwZK9d+_j8itc<uvNAql|5k`2}Y?!R&~CUM(_vTB5%FMhS$r4Z#8-KD|DFNrm+
zWK0apTH@D(A+t)G&7XgH564ZAdu2a+dwbaG7pQ=w>LJ%iBUp3{{qgSa!X6_+y(Gip
z0%9LS{UuNq&GqfzTDG&vz$GouR=aOIK0bZ(l%D{WgcoPG{(unNAo9y7Hi3=F8W<hW
zV50wYx7L5k^#eaf;ay2ZiUFu*xhN38Cd~`Qxrn{C>3*MyVRy|wcPhNtdz4V{U?PN0
zuJn*fmM>?Ukg^LJw@fz?>m+oH7eG)_{%Cli%?8u*B>L`S%o1T)xb_8*(sD^hi>F8(
zAq;uD^}1$ybSj$1n=W`~k-5cowadDf0k`753n~`RFHoyHK6Rrg!zGhR&5~$yvZL-8
zp5a=GEl(&n(j?%}gFJi9%j&SBFm8ab;ZmIKj9s(XMd3!V_Jp+TsB^<l)W?wc4S~wi
zyO7p@SkCQNRl4u%$R1z1=*dAoaLJOS=OZ9ORPYxMYbGo~2ZMLOP2XnSh#k^e^gY@U
zu6qxZUddFnl*N`McZaKI?g7<hW!(9LB;j*yU1zWu5W8;!T8qR&<nz9J!WupUQ5E>E
z_vA1Idd%}}R!+nSI-NC$HV96%ode8S$cs@*?YwSyo}=d<89T5S9vk}st-E8AnKOYV
z2>OYZS+zh1tS9{dbMhlVG24=k4vaCFae2q`6M=7ewjZxgSR!2+O7NZ6<)Fcx*D<4!
z><v-lT&%c<1}vniBm&504xJL}c%(AvOs3Su<?3-D3x*8tw(nFBY-|EokMHz-=$pI$
z3F3h)1J+zKJ}Qz3Q%KLrF@tg|2EyFx@l7OOknvIpQrfTwZ4&J9D!d^&Yx?kAW%00|
zjF;BueCwf~*_v>L@o@4=5<$LvtKdX%NNkalVyqgTu%yo2x@A{#8$PciIy1)%=V^?`
z66xB*zI>@gPvduyM@Ya5PUNzb308IX)EH5;+pnHpv;Z<q`lHA^LHxOSnNx(?&8^*e
zov~Z)kiUjxNcUIL%JKK#j)^8K+;UOlj;8PuL;%N()3BK`nx?^4_@<L>?~?Iu-DWj>
z29W>nocklQ7A*j3QTH;^iYX7vu?)TVXk78;W0{ciX?aU*a4+SY*1e7y53IBy8I?t`
z_cO*?8P}BMgms1b9h?Ze@;8!#i<w52dhe?auCA{;S6bRvKhv3;@|c=Tjsp?^FY*q~
zh@DiRK8O64pNK}TPtdbWsH@I?f!uanDl;)pj(eL{S@RzeUy%cv7bY%i_T2(FIAIp4
z2E%lAut24S^yLHvFh(g`QGmf0HN)ER*(k;C1l65C0JIgf<f`a;@}l%F`EE)LC^mTi
z;i-Mt=>>gORh<9JFm`Z$QOkV>!+gM8zm?n|0oGb`9?GH4rGNW-(_+)_H5NHEkX-wK
zbvF*?KV4^3aiKkR<)w*x-9J4VI?p+9^WST%t&C%Wp)t)u6e<A7{uZNX!g_Xn{lkWC
z=O#@2MPD6(Ic7S;aOxAdou8j){|I8c@TtXlmXyHQ5BmamT@JQ4G;9WF54I5|v0FS4
z5|D{cf|R`TI_%i!w6vM2{eB9o{2q8#De3XRWR*wCPyj)zc-FJ*6REaOz1=hxn1@E}
zHZj3{A=gX&DhwJCKWhE&(`oozyW}9~at*{zSvY3~JuLO5F{+G5VNmC)u6&nyxQKnI
zeSVR84tyxVPH$#rP*>kG-<+M|x7~^g$(n?#O_ui|zroa;odR0>v1}mc=KErk%NQyD
z-J~53L_cWeRTH*bsm%_})DNlp>R`~kPc2W?t@0q0Av*lj$t>(kJF_1?!g-AD8pm|X
zr;JDYUc7{lhsNK*sHyJlhv#!E2fTWIY?CiVj3|aGflJfxHuR@4e=HO-47ebg8`xA`
zI6Bs00d=SCx3l}qtFrH(Wi~F(Ce2&yi7&>ukpw*#!%h9K+jK4mL^gyEEg-e@2T2`=
zdwuxxhW_Fu4fQ&XamEjyP|;5&G=4*$o;$Gy12a$DE?}PuYaOzrzWA7P9x@3Q)dwDh
zX1k|F8xAG$8vyGRo1L%y$gO1P84pK%+^j8tuc8ka3_EfR)f@y@T3lMVo?>Q6#Wx4N
zAp2GHg5n{S%ycv}U8X?*6%;}<`nl!-V;f_H;>UIZHoPCz=M1yx+Aiax#N(3cm^b`T
zx+aS6ll8=Vi*6D~fn?mQ_LEw5Gfqfhn5roL1X11;6a{%vtlAX&)sPf37ma!GRy%=S
z{$#8e$CwK{K~(VMzNm_uqJlHTHA@rE*>K_T-pdoWkCpO;ttXiad0VNtMJC(n8b$Qw
zO{U(On96<>8La@605@WZ4CYN~BW^v?QXlvu{SKn&8oDi#&|Gwh#)3F6KYukTY{k>3
zBL1c#H>S(|a39?sz0mi!BcGsrS%5(SSa@UM_H)Fw0Fm1Xgn@2m)Y#ROYNw@DibG7R
zHf{D$T=<?@oJfPMi6uNWkTs_2Ed-{s!kw1p*vWVk+sf=0XG91`^gK*tgJmWy2T9sV
zg2&(q1(apx;(Y+_5QDPBFj~xCgF9DpFCysWdg2qJf?4LkS#$wZ6<WIWeZFv4XB<?k
z5baE;)&FoWs*f;TxfpQEc#arAU=aZtR^TL=?i-S=wE>y}J{1;{N-%MFaZ<2yS|-gA
zZWzf=W%3ZKnm2EDaW1Q*u%Xi?A0GOydL1n<f^UDhsuuc$VvGHHDR2a8-aHv48W}8B
zFLJ!VUQx^JGU5@jvMn9k*EYQOY?iOFG*<6dSBqmG)?Q3Svyqk`nk!3~UUX@|wshcR
z%SzCgj*d2Vq+_%krn~T5XxiqA)dyRH<mfD11`gRI{D{My29&w|HuvaaGjqyLB7UPo
zh?C))h|t}juYYrd8Io(r>Jdn0+zGhAp1(~ULESfHRDLStVWF84`&E{Z48++B=%Yw9
z2KqDxm>gicg92M%L!QKDqqI46^8}2;J-Vp_Ak?tUmfhhEh&T3BU%=O1wD46kEnGN@
z%4wJ_{`mZuU~P1(m>)7nV9>H&?WrhX>oiHvG-!?X6&~tbbgH%0Wy1;0(wGr%3c_fA
zdCIl~+h#tatS}_#2s^L>TGf4E3z1Jz&yEy~m;ONk*B3}J);hdc8-lc3{DLUx9W!9$
zYylJzNR4bqCjdt$ZQ7BT*!mF&{H7Qckg>&L=E?>(_1vMNxB{&bVG;nYV&v+E?`NlW
zv16kJswcb~V1cA!b4x21i2K~(p2R-a(JY=OLiVQl*?Upr)mhY&BF0qFMT2Q%0l!KV
zl*AippuNU1Ra`-fTp&d>#u^s}so(lRZqQi3L~LkweC0<V#N}Ex0-;$emzQjV5uFi0
z7{sKQ6ZLnbuT1-wO>&Md2aPb9ZzI}qkhJOeG11Xh){;3^wCiMg4|i=E=?znwY0-(2
zQ`~}ScXGF7d(vcADpJ`D)8)%8cD0f-fC<7~R0P6DJWfHIsP4u4jCPV@4X(-HiHE;4
zcfsIo5>*2sx63jz4lj5u_X^ex2Qn`{&O%K!xV65amkYE73MEf2)$=JIJQ;Sp2zPkz
zwOfF>U8fU;3d&&QqTs+1Y9;#)HM6jbfNP0bQMA&(>=MHlOf(I2;#2@ESyLH#1!x-S
z#2^BQKk1&V5MreC8^#|EobfA11b@MG4Mcfv#Mmlabxaz4x^X}ZjW#mwjK-cEXPkDk
zer1^`$Go0RP#coI*_Nue%UjR6Cwgk22^Z>?Vr#<dgC-nKosMYh=0X|Zh!{yUQ@0p$
zQtNMa`{?Q&JM6=rKWw&rX@H5m78^~jkYVov=^6h2+3z(u^Pl=KlV0VwA?NL{lXRR_
zmR5~bn++PNeu!47Ok7l|_C~5@5o*=hyyhyuM(2-*Z?!K?`Xqlb%-P-PfTQ1v{{gkw
BlJ)=q

literal 0
HcmV?d00001

diff --git a/lab6/report/report.tex b/lab6/report/report.tex
new file mode 100644
index 0000000..c5980c1
--- /dev/null
+++ b/lab6/report/report.tex
@@ -0,0 +1,395 @@
+\documentclass[a4paper, final]{article}
+%\usepackage{literat} % Нормальные шрифты
+\usepackage[14pt]{extsizes} % для того чтобы задать нестандартный 14-ый размер шрифта
+\usepackage{tabularx}
+\usepackage{booktabs}
+\usepackage[T2A]{fontenc}
+\usepackage[utf8]{inputenc}
+\usepackage[russian]{babel}
+\usepackage{amsmath}
+\usepackage[left=25mm, top=20mm, right=20mm, bottom=20mm, footskip=10mm]{geometry}
+\usepackage{ragged2e} %для растягивания по ширине
+\usepackage{setspace} %для межстрочно   го интервала
+\usepackage{moreverb} %для работы с листингами
+\usepackage{indentfirst} % для абзацного отступа
+\usepackage{moreverb} %для печати в листинге исходного кода программ
+\usepackage{pdfpages} %для вставки других pdf файлов
+\usepackage{tikz}
+\usepackage{graphicx}
+\usepackage{afterpage}
+\usepackage{longtable}
+\usepackage{float}
+\usepackage{xcolor}
+
+
+
+
+% \usepackage[paper=A4,DIV=12]{typearea}
+\usepackage{pdflscape}
+% \usepackage{lscape}
+
+\usepackage{array}
+\usepackage{multirow}
+
+\renewcommand\verbatimtabsize{4\relax}
+\renewcommand\listingoffset{0.2em} %отступ от номеров строк в листинге
+\renewcommand{\arraystretch}{1.4} % изменяю высоту строки в таблице
+\usepackage[font=small, singlelinecheck=false, justification=centering, format=plain, labelsep=period]{caption} %для настройки заголовка таблицы
+\usepackage{listings} %листинги
+\usepackage{xcolor} % цвета
+\usepackage{hyperref}% для гиперссылок
+\usepackage{enumitem} %для перечислений
+
+\newcommand{\specialcell}[2][l]{\begin{tabular}[#1]{@{}l@{}}#2\end{tabular}}
+
+
+\setlist[enumerate,itemize]{leftmargin=1.2cm} %отступ в перечислениях
+
+\hypersetup{colorlinks,
+    allcolors=[RGB]{010 090 200}} %красивые гиперссылки (не красные)
+
+% подгружаемые языки — подробнее в документации listings (это всё для листингов)
+\lstloadlanguages{ SQL}
+% включаем кириллицу и добавляем кое−какие опции
+\lstset{tabsize=2,
+    breaklines,
+    basicstyle=\footnotesize,
+    columns=fullflexible,
+    flexiblecolumns,
+    numbers=left,
+    numberstyle={\footnotesize},
+    keywordstyle=\color{blue},
+    inputencoding=cp1251,
+    extendedchars=true
+}
+\lstdefinelanguage{MyC}{
+    language=SQL,
+%    ndkeywordstyle=\color{darkgray}\bfseries,
+%    identifierstyle=\color{black},
+%    morecomment=[n]{/**}{*/},
+%    commentstyle=\color{blue}\ttfamily,
+%    stringstyle=\color{red}\ttfamily,
+%    morestring=[b]",
+%    showstringspaces=false,
+%    morecomment=[l][\color{gray}]{//},
+    keepspaces=true,
+    escapechar=\%,
+    texcl=true
+}
+
+\textheight=24cm % высота текста
+\textwidth=16cm % ширина текста
+\oddsidemargin=0pt % отступ от левого края
+\topmargin=-1.5cm % отступ от верхнего края
+\parindent=24pt % абзацный отступ
+\parskip=5pt % интервал между абзацами
+\tolerance=2000 % терпимость к "жидким" строкам
+\flushbottom % выравнивание высоты страниц
+
+
+% Настройка листингов
+\lstset{
+    language=python,
+    extendedchars=\true,
+    inputencoding=utf8,
+    keepspaces=true,
+    % captionpos=b, % подписи листингов снизу
+}
+
+\begin{document} % начало документа
+    
+
+
+    % НАЧАЛО ТИТУЛЬНОГО ЛИСТА
+    \begin{center}
+        \hfill \break
+        \hfill \break
+        \normalsize{МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ\\
+            федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский политехнический университет Петра Великого»\\[10pt]}
+        \normalsize{Институт компьютерных наук и кибербезопасности}\\[10pt] 
+        \normalsize{Высшая школа технологий искусственного интеллекта}\\[10pt] 
+        \normalsize{Направление: 02.03.01 <<Математика и компьютерные науки>>}\\
+        
+        \hfill \break
+        \hfill \break
+        \hfill \break
+        \hfill \break
+        \large{Лабораторная работа №6}\\
+        \large{по дисциплине}\\
+        \large{<<Генетические алгоритмы>>}\\
+        \large{Вариант 18}\\
+        
+        % \hfill \break
+        \hfill \break
+    \end{center}
+    
+    \small{ 
+        \begin{tabular}{lrrl}
+            \!\!\!Студент, & \hspace{2cm} & & \\
+            \!\!\!группы 5130201/20101 & \hspace{2cm} & \underline{\hspace{3cm}} &Тищенко А. А. \\\\
+            \!\!\!Преподаватель & \hspace{2cm} &  \underline{\hspace{3cm}} &  Большаков А. А. \\\\
+            &&\hspace{4cm}
+        \end{tabular}
+        \begin{flushright}
+            <<\underline{\hspace{1cm}}>>\underline{\hspace{2.5cm}} 2025г.
+        \end{flushright}
+    }
+    
+    \hfill \break
+    % \hfill \break
+    \begin{center} \small{Санкт-Петербург, 2025} \end{center}
+    \thispagestyle{empty} % выключаем отображение номера для этой страницы
+    
+    % КОНЕЦ ТИТУЛЬНОГО ЛИСТА
+    \newpage
+    
+    \tableofcontents
+
+    \newpage
+    \section {Постановка задачи}
+    В данной работе были поставлены следующие задачи:
+
+    \begin{itemize}
+        \item Реализовать с использованием муравьиных алгоритмов решение задачи коммивояжера по индивидуальному заданию согласно номеру варианта.
+        \item Представить графически найденное решение
+        \item Сравнить найденное решение с представленным в условии задачи оптимальным решением и результатами, полученными в лабораторной работе №3.
+    \end{itemize}
+
+    \textbf{Индивидуальное задание вариант 18:}
+
+    \textbf{Дано:} Эвклидовы координаты городов 38 городов в Джибути (см.~Приложение~А). Оптимальный тур представлен на Рис.~\ref{fig:optimal_tour}, его длина равна 6659.
+
+    \begin{figure}[h!]
+       \centering
+       \includegraphics[width=0.5\linewidth]{img/optimal_tour.png}
+       \caption{Оптимальный тур для заданного набора данных}
+       \label{fig:optimal_tour}
+    \end{figure}
+
+
+    \newpage
+    \section{Теоретические сведения}
+
+    \subsection{Общие сведения о муравьиных алгоритмах}
+    
+    Муравьиные алгоритмы (МА) относятся к метаэвристическим методам оптимизации и предназначены преимущественно для решения задач комбинаторной оптимизации, в частности задачи поиска оптимальных путей на графах. Основная идея таких алгоритмов основана на моделировании коллективного поведения реальных муравьёв, использующих феромонные следы для обмена информацией.
+    
+    Каждый агент, называемый \textit{искусственным муравьём}, поэтапно строит решение задачи, перемещаясь по графу и выбирая следующую вершину на основе вероятностного правила, учитывающего концентрацию феромона на дугах графа. Феромон отражает привлекательность соответствующих маршрутов: чем выше его концентрация на дуге, тем вероятнее выбор этой дуги муравьём.
+    
+    \subsection{Простой муравьиный алгоритм (SACO)}
+    
+    Для иллюстрации рассмотрим простой муравьиный алгоритм SACO (Simple Ant Colony Optimization). Пусть задан граф 
+    \[
+    G = (V, E),
+    \] 
+    где $V$ — множество вершин, $E$ — множество рёбер. Каждой дуге $(i,j)$ сопоставлена величина феромона $\tau_{ij}$.
+    
+    В начальный момент концентрация феромона обычно принимается нулевой, однако для предотвращения зацикливания каждому ребру присваивается малое случайное начальное значение $\tau_{ij}^{(0)}$.
+    
+    Каждый муравей $k=1,\ldots,n_k$ помещается в стартовую вершину и начинает построение пути. Если муравей находится в вершине $i$, он выбирает следующую вершину $j \in N_i^k$ на основе вероятностного правила
+    \[
+    p_{ij}^k(t) = \frac{\tau_{ij}^\alpha(t)}{\sum\limits_{l \in N_i^k} \tau_{il}^\alpha(t)},
+    \]
+    где $\alpha$ — параметр, определяющий степень влияния феромона.
+    
+    При отсутствии допустимых переходов допускается возврат в предыдущую вершину, что приводит к появлению петель, которые впоследствии удаляются.
+    
+    После завершения построения полного пути $x_k(t)$ выполняется его оценка. Длина пути обозначается как $L_k(t)$ и равна числу пройденных дуг.
+    
+    \subsection{Обновление феромона}
+    
+    Каждый муравей откладывает феромон на рёбрах своего пути согласно правилу
+    \[
+    \Delta \tau_{ij}^k(t) =
+    \begin{cases}
+    \frac{1}{L_k(t)}, &\text{если дуга } (i,j) \in x_k(t), \\
+    0, &\text{иначе}.
+    \end{cases}
+    \]
+    
+    Общее обновление феромона на дуге $(i,j)$:
+    \[
+    \tau_{ij}(t+1) = \tau_{ij}(t) + \sum_{k=1}^{n_k} \Delta\tau_{ij}^k(t).
+    \]
+    
+    Чем короче путь, тем больше феромона откладывается на его рёбрах, что повышает вероятность выбора коротких маршрутов в последующих итерациях.
+    
+    \subsection{Испарение феромона}
+    
+    Чтобы предотвратить преждевременную сходимость алгоритма к локальным минимумам, применяется механизм \textit{искусственного испарения феромона}. На каждом шаге выполняется:
+    \[
+    \tau_{ij}(t) = (1 - \rho)\,\tau_{ij}(t),
+    \]
+    где $\rho \in [0,1]$ — коэффициент испарения. Большие значения $\rho$ усиливают случайность поиска, малые — повышают устойчивость к изменениям.
+    
+    \subsection{Критерии остановки алгоритма}
+    
+    Муравьиные алгоритмы могут завершаться при выполнении одного из условий:
+    \begin{itemize}
+        \item достигнуто максимальное число итераций;
+        \item найдено решение приемлемого качества $f(x_k(t)) \leq \varepsilon$;
+        \item все муравьи начинают строить одинаковые маршруты, что говорит о стабилизации процесса.
+    \end{itemize}
+    
+    \subsection{Описание общего алгоритма}
+    
+    Алгоритм SACO можно представить в следующем виде:
+    
+    \begin{enumerate}
+        \item Инициализация феромона малыми случайными значениями $\tau_{ij}^{(0)}$.
+        \item Размещение всех муравьёв в начальной вершине.
+        \item Для каждой итерации:
+        \begin{enumerate}
+            \item Каждый муравей строит путь согласно вероятностному правилу выбора вершины.
+            \item Выполняется удаление петель.
+            \item Вычисляется длина пути $L_k(t)$.
+        \end{enumerate}
+        \item Выполняется испарение феромона.
+        \item Каждый муравей откладывает феромон на рёбрах своего пути.
+        \item Итерация продолжается до выполнения критерия остановки.
+    \end{enumerate}
+    
+    Муравьиные алгоритмы позволяют эффективно находить приближённые решения задач комбинаторной оптимизации, таких как задача коммивояжёра, что и является целью данной лабораторной работы.
+    
+
+
+    \newpage
+    \section{Особенности реализации}
+
+    === Нужно обновить раздел ===
+
+    В рамках работы создана мини-библиотека \texttt{gen.py} для решения задачи коммивояжёра (TSP) генетическим алгоритмом с путевым представлением хромосом. Второй модуль
+    \texttt{expirements.py} организует серийные эксперименты (перебор параметров,
+    форматирование и сохранение результатов).
+
+    \begin{itemize}
+        \item \textbf{Кодирование особей}: каждая хромосома представлена как перестановка городов (\texttt{Chromosome = list[int]}), где каждый элемент -- индекс города. Популяция -- список хромосом (\texttt{Population = list[Chromosome]}). Инициализация случайными перестановками без повторений:
+        \begin{itemize}
+            \item \texttt{initialize\_random\_population(pop\_size: int, cities: Cites) -> Population}
+        \end{itemize}
+        \item \textbf{Фитнесс-функция}: целевая функция принимает хромосому (маршрут) и возвращает скалярное значение фитнесса (длину пути). Для режима минимизации используется внутреннее преобразование при селекции (сдвиг и инверсия знака), что позволяет применять рулетку:
+        \begin{itemize}
+            \item \texttt{eval\_population(population: Population, fitness\_func: FitnessFn) -> Fitnesses}
+            \item Логика режима минимизации в \texttt{genetic\_algorithm(config: GARunConfig) -> GARunResult}
+        \end{itemize}
+        \item \textbf{Селекция (рулетка)}: вероятности нормируются после сдвига на минимальное значение в поколении (устойчиво к отрицательным фитнессам). Функция:
+        \texttt{reproduction(population: Population, fitnesses: Fitnesses) -> Population}.
+        \item \textbf{Кроссинговер}: реализованы специализированные операторы для перестановок: PMX (Partially Mapped Crossover), OX (Ordered Crossover) и CX (Cycle Crossover). Кроссинговер выполняется попарно по перемешанной популяции с вероятностью $p_c$. Функции:
+        \begin{itemize}
+            \item \texttt{partially\_mapped\_crossover\_fn(p1: Chromosome, p2: Chromosome) -> tuple[Chromosome, Chromosome]}
+            \item \texttt{ordered\_crossover\_fn(p1: Chromosome, p2: Chromosome) -> tuple[Chromosome, Chromosome]}
+            \item \texttt{cycle\_crossover\_fn(p1: Chromosome, p2: Chromosome) -> tuple[Chromosome, Chromosome]}
+            \item \texttt{crossover(population: Population, pc: float, crossover\_fn: CrossoverFn) -> Population}
+        \end{itemize}
+        \item \textbf{Мутация}: реализованы три типа мутаций для перестановок: обмен двух городов (swap), инверсия сегмента (inversion), вырезка и вставка города (insertion). Мутация применяется с вероятностью $p_m$. Функции:
+        \begin{itemize}
+            \item \texttt{swap\_mutation\_fn(chrom: Chromosome) -> Chromosome}
+            \item \texttt{inversion\_mutation\_fn(chrom: Chromosome) -> Chromosome}
+            \item \texttt{insertion\_mutation\_fn(chrom: Chromosome) -> Chromosome}
+            \item \texttt{mutation(population: Population, pm: float, mutation\_fn: MutationFn) -> Population}
+        \end{itemize}
+
+        \item \textbf{Критерий остановки}: поддерживаются критерии по максимальному количеству поколений, повторению лучшего результата, достижению порогового значения фитнесса. Хранится история всех поколений. Проверка выполняется в функции:
+        
+        \texttt{genetic\_algorithm(config: GARunConfig) -> GARunResult}.
+        \item \textbf{Визуализация}: реализована отрисовка маршрутов обхода городов на плоскости с отображением лучшей особи поколения. Функции:
+        \begin{itemize}
+            \item \texttt{plot\_tour(cities: list[tuple[float, float]], tour: list[int], ax: Axes)}
+            \item \texttt{save\_generation(generation: Generation, history: list[Generation], config: GARunConfig)}
+            \item \texttt{plot\_fitness\_history(result: GARunResult, save\_path: str | None) -> None}
+        \end{itemize}
+        \item \textbf{Элитизм}: поддерживается перенос лучших особей без изменения в следующее поколение (\texttt{elitism} параметр).
+        \item \textbf{Измерение времени}: длительность вычислений возвращается в миллисекундах как часть \texttt{GARunResult.time\_ms}.
+        \item \textbf{Файловая организация}: результаты экспериментов сохраняются в структуре \texttt{experiments/N/} с таблицами результатов. Задействованные функции:
+        \begin{itemize}
+            \item \texttt{clear\_results\_directory(results\_dir: str) -> None}
+            \item Функции для проведения экспериментов в модуле \texttt{expirements.py}
+        \end{itemize}
+    \end{itemize}
+
+    В модуле \texttt{expirements.py} задаются координаты городов и параметры экспериментов.
+    Серийные запуски и сохранение результатов реализованы для исследования влияния параметров ГА на качество решения задачи коммивояжёра.
+
+    \newpage
+    \section{Результаты работы}
+
+    === Нужно обновить раздел ===
+
+    На Рис.~\ref{fig:results} представлены результаты работы простого муравьиного алгоритма со следующими параметрами:
+    \begin{itemize}
+        \item $N = 500$ -- размер популяции.
+        \item $p_c = 0.9$ -- вероятность кроссинговера.
+        \item $p_m = 0.3$ -- вероятность мутации.
+        \item $2500$ -- максимальное количество поколений.
+        \item $3$ -- количество "элитных" особей, переносимых без изменения в следующее поколение.
+        \item Partially mapped crossover - кроссовер.
+        \item Inversion mutation - мутация
+    \end{itemize}
+
+    На Рис.~\ref{fig:fitness_history} показан график изменения фитнесса по поколениям. Видно, что алгоритм постепенно сходится к минимально возможному значению фитнеса. Лучший маршрут был найден на поколнении №1896 (см. Рис.~\ref{fig:lastgen}).
+
+    % \begin{figure}[h!]
+    %    \centering
+    %    \includegraphics[width=1\linewidth]{img/results/fitness_history.png}
+    %    \caption{График изменения фитнесса по поколениям}
+    %    \label{fig:fitness_history}
+    % \end{figure}
+
+    \subsection{Сравнение с результатами лабораторной работы №3}
+
+    === Нужно написать раздел, ниже представлена часть отчёта из лаб3, чтобы было с чем сравнить ===
+
+    Наилучшее найденное решение составило \textbf{6667.03} при параметрах $N=500$, $P_c=0.9$, $P_m=0.5$ за 1644 поколения. Это всего на \textbf{0.12\%} хуже оптимального значения 6659, что демонстрирует высокую эффективность алгоритма. Наихудшие результаты показала конфигурация с $N=10$, $P_c=0.7$, $P_m=0.3$ (лучший фитнес 6796.98), что на 2.07\% хуже оптимума. Малый размер популяции в 10 особей оказался недостаточным для стабильного поиска качественных решений — более половины конфигураций при $N=10$ вообще не нашли решение за 2500 поколений.
+
+    Наиболее быстрая конфигурация — $N=10$, $P_c=0.7$, $P_m=0.5$ — нашла решение за \textbf{201 мс} (503 поколения). Однако качество решения при таких параметрах нестабильно. Среди конфигураций с большой популяцией лучшее время показала $N=500$, $P_c=0.5$, $P_m=0.2$ — \textbf{5232 мс} (341 поколение), что является оптимальным балансом скорости и качества для больших популяций.
+
+    С ростом размера популяции наблюдается явное улучшение качества решений: при $N=10$ лучший результат 6762.97, при $N=500$ — 6667.03. Одновременно количество необходимых поколений снижается (с 503 до 341), но общее время выполнения растет линейно из-за увеличения числа особей в каждом поколении. Этот эффект объясняется тем, что большая популяция обеспечивает большее генетическое разнообразие, позволяя алгоритму быстрее находить оптимальные решения.
+
+    Что касается вероятности кроссовера, средние значения $P_c=0.6$--$0.8$ показывают стабильные результаты для всех размеров популяций. Экстремальные значения ($P_c=0.9$ или $1.0$) работают хорошо только при больших популяциях ($N \geq 100$), при малых — часто приводят к преждевременной сходимости (наблюдается много прочерков в таблицах). Это связано с тем, что высокая вероятность кроссовера при малой популяции быстро приводит к гомогенизации генофонда.
+
+    Анализ влияния вероятности мутации показал, что низкие значения $P_m=0.05$ неэффективны для малых популяций — недостаточно разнообразия для выхода из локальных минимумов. Умеренные значения $P_m=0.2$--$0.5$ демонстрируют лучшие результаты, обеспечивая баланс между эксплуатацией найденных решений и исследованием нового пространства поиска. Высокое значение $P_m=0.8$ часто приводит к расхождению алгоритма, так как слишком сильные изменения разрушают хорошие решения быстрее, чем алгоритм успевает их найти (многие конфигурации не нашли решение за отведенное время).
+
+    
+    \newpage
+    \section{Ответ на контрольный вопрос}
+    
+    \textbf{Вопрос}: Какие критерии окончания могут быть использованы в простом МА?
+    
+    \textbf{Ответ}: В простом муравьином алгоритме могут использоваться следующие критерии завершения работы:
+    
+    \begin{itemize}
+        \item окончание при превышении заданного числа итераций;
+        \item окончание по достижению приемлемого решения;
+        \item окончание в случае, когда все муравьи начинают следовать одним и тем же путём.
+    \end{itemize}
+    
+    
+        
+
+    \newpage
+    \section*{Заключение}
+    \addcontentsline{toc}{section}{Заключение}
+
+    === Нужно обновить раздел ===
+
+    В ходе третьей лабораторной работы была успешно решена задача коммивояжера с использованием генетических алгоритмов для 38 городов Джибути:
+
+    \begin{enumerate}
+        \item Изучен теоретический материал о представлениях туров (соседское, порядковое, путевое) и специализированных операторах кроссинговера и мутации для задачи коммивояжера;
+        \item Создана программная библиотека на языке Python с реализацией путевого представления хромосом, операторов PMX, OX и CX для кроссинговера, операторов swap, inversion и insertion для мутации, а также селекции методом рулетки с поддержкой элитизма;
+        \item Проведено исследование влияния параметров генетического алгоритма на качество и скорость нахождения решения для популяций размером 10, 50, 100 и 500 особей с различными значениями вероятностей кроссинговера и мутации;
+        \item Получено решение с длиной маршрута 6667.03, отклоняющееся от оптимального значения 6659 всего на 0.12\%.
+    \end{enumerate}
+
+
+\newpage
+\section*{Список литературы}
+\addcontentsline{toc}{section}{Список литературы}
+
+\vspace{-1.5cm}
+\begin{thebibliography}{0}
+    \bibitem{vostrov}
+    Методические указания по выполнению лабораторных работ к курсу «Генетические алгоритмы», 119 стр.
+\end{thebibliography}
+
+\end{document}
\ No newline at end of file