From 45abce05e5cc1d43f0b1f095d97579742b069dac Mon Sep 17 00:00:00 2001
From: XNPSTER <XNPSTER@yandex.ru>
Date: Thu, 9 May 2024 21:02:45 +0300
Subject: [PATCH] v4 edited

---
 main.pdf                          | Bin 2052049 -> 2052110 bytes
 src/abstract.tex                  |   2 +-
 src/sections/solution/testing.tex |   2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/main.pdf b/main.pdf
index c822b80efe93b3d759fd1c9a4180866a45b16097..0f145decadb109d79685d1dca961135bae5450f9 100644
GIT binary patch
delta 4810
zcmajgWmFX2x(0Ay=n;@+knSOeMjD(!Kp0@8LlI#dq)VD1ME-OP9Ws=3w=^o<bqEop
zJCp|H&N=7Py<hHn)^D%9_IlU;_`H+3fpOTt8bM)vIgEHA7+q<q6~8R=pmV(X<P^lz
zwkUATN?T}ez~MCUz<u`&f=Xi8X^1$x2Q;=szTh9&II&iV<^um(=lj>6h1R2pN8Tp^
zzTUr=_mkz1`-N0@j+DLf-n+TC4uj+Ho_k;B-5$EL=d{J+-3?!gM=0N1`)77-U#pCa
zBW_lXgEB#W!)Vu&Am-xiHqMc8hlg=J=XsC_L!@ZjN{428t{Uow^Fu(X`v%2s$b~8o
zg<x)qhGe5=sUcXx`zf6OuNhhX(<(nwl{XvEq;d&Bbx5N+Nl<q8c(LAVZH|bs(#Y!k
z6!8Z<6z4;Q#iDb%S|WJ)PD+eZW0|SfY1>M?LRR)|&(NH1ytNVCegplJ*9{l(R25~5
zSSr_7PWqc>G%ebLFY9~&BE03IjY^&yKVHszs&0KL0-Ur6ExP>UHsWd|_aTUM)0{Oc
z<{Ff}YUf2|NVd24zWk3Whek?S|K$D%g2lGO(x~tFV}cnq5;|HQo*PO+6H!*jt7W(N
zveH6ammJNTn!IpfOxq(X7nW3`q{tcI6nsGPesgu0W$s_szN}&KHsjTVHxH}xKK!cJ
zj}<P{EyMQFDN&QnhN{(PX1SAdzw0=7lbskp*^007vy+*Aa^hE3EPtUz1vVpCcy~_5
z@OcDMEP7z0_)ASihyr<}Lbq0|U%sjJAzsSh>mNXLw35x`gu4rIo@QU{l8(+N+ZP|*
zc6bXjVM5>97+qdozWRLk%VDY3MGBI^KtVsqQhLB)$yL6oK9fG4By0&*=`7Q3NB=G`
z4#6r|*x6qYd2qq$ENQP|7WgtyYoktr)AfP_|MV?V88HfUu0#20tYV3}QSS|z!w7~g
zDV`{x3Ewj)v;))Gm$YlUnZSuoQg(e`6Zt+Azx`_|6w+q&iFoWGl#_gOx}n&>`QZ7r
zgLOWo5nP8fEQRGR3c2OQ8y{0D{DTWoi}f^k`<s<rVAxj$S*Mv%;fkl1M&vNNEg%QJ
zii{#?unrd0J1q+ey4M*0uH%t#L8wO)X1?u&7S&#`)i-bk{VRohHzca|jOcR>y2>Ec
zO2Ue*h8q=WWGn3$lG6MBI>VSdOsUEJd$I*PK7QRavyR^h?8?o}0QEdnrJC<AXx7)g
z=~ea}tfyfYWbfAX##Y0WcX#yc0|JDCDfrHp^-eI4?UM*qlILnKKix>AWcyfRm69Kh
z?yGbb@AN5C6ZYj#?tmsyB!d>RjhAE%Lf1hnNFsoI-frDA(&k>32j0v8=_oY$kcc5s
zzvHPW^%~6@kyU}cDM}cas2xdOCofWJYsf(vp?KLbu9m2Tv`wXC_lcD>pEl#SVwSm;
z39{O1K>e!rmBOVw`G<#UCYZWz*Btae93sW|TS)?IiD;CE#GVaucSB?Fo|JEqCDXge
zVU_^|j&tX)bUtyB<T91cT8cA2#LSd;w%c4l)HGP*s|HRYdS-|L*m0X6E{2FxI_iU(
zPZ>T+Ayd}%Z@2g*&#s3n$>+~ZJB;esQhnb3ikqPxc*U%k#M6QuX(fPEBGDq(>h`@*
zAMrEM?hslY-z{EIRHn<J6oKwgjJJa3#Ip=*0!r`m=PlOE7cc$Rr{Bx@P9H5lB3hmd
z5Ra16E*PUEnQ@FrTC7+?lq*EzDP3YZW<H^-Vu9UhXL=lm?3qh0{LKDqH^O65W;|a8
zvvk6e>=34&c?_rY(Ps2Md+4&*<QAvmsb<XMf?Bc60yr~2NAatL5i`Cn$1L$$$*shO
z29UfIdvjO;<VlQetFw?@I9Z|nrm=I@Ogd?7fK*;eJ(-Bukt&cFXlBq)2$y*`NA=w%
zVW_DnvFfqg&AN=+y}QS2&k>HuAg!q3F(pl4j~Q8-=r96R?e{L4$>`{cFGqYZb!@&-
ztJn^`T5n4!_RPyY2WFU_dBFA&)aoE#=1_inl>4&1Ag%fQ_RDree}8<uXU6HT^)9p_
z$^H5Gm+h|mFTk+T^S_tgviAT>f3LMri6#mBta1WL8BCt406NF?na6ir#~)X(8YsL5
z2Rt7d)jfnuI!WqYOhrm6&*+NjN-CWnGwLNxy_J1OHK@%)O28gWl~8#-ZTkC5&(N`V
z@t5-3^w|1o8^$;A+)>0QUvXc`=b@MUzuiuLUhSS;%m#|~wc2Y97Gzs|qERD@ymMoD
z2KxKyK3D(7)f+8;=iyr85*zl~SMZ%o>sN5m!rkA^lT(beUd{E~JXpB?It|*DzN2aj
zKe<c0cD?d?U20*bPmsQ+3%A!6uj8fa36DrPcrrlw*Ea~h%lXxnC2Ty*qxv*27$wMI
z1LFzR?7e)H8fGGArD`Gk3wTToef9wjk9(W~ZxI~gIzoqfQu?Lr^$HnC5Y-BvihUHc
z<2smmBZ<W0_5sNArIkm_u|H*>QsobfM738X0M~r&%MB{4`GL2gN9$q>v|m34zgZA%
zc+9VqQtxvJGe2Koa|@M<PSzYbw=r`CvbfWBa`=hXr?6D=#q4<haJMzN^>K(7G>@YO
z9DsbGU(uIAmsihqSbCi`OgI!6udMivL-Tbb^L}W}aPNdkF*#pHEbDy~gPte*WaK3X
zsUp0^mB@)p5(FcL6Top5oBuN0r2V3Ed7xSWuY*3+zpjWC&JZ_LgUij*|GqgGUUj_C
zAG%6q;WY_tn<!PWYw6%zJp^qqCKRrPdEzA{w4pIK`sJ59Z+_{vp9->KY_LLx1OXrN
zwl(#O`02C(#9w}KI~G<!ZG@~EA$wNY6d4VbPnN-&mgF=Z(psU*EZ>R!*)qK-oi%A(
zWhS+aibbsnpNHq25lgb%a?TfNkmY2_(rlP9l83+GS(*kteFxt8*pG<;6^1<Go82!H
z`HY^rjXW4AABrn%974pX2mbDe5USRWCbBVUl@!$QkEP*~grQ2O1Xa*~h7kM6tv?$-
z2L=B+VoZm`nO_S`cr2Th{F0p#e*JVf83;3&Oo=||YqL6Y_*u_)%37MYNpdt6R&V^Z
zMWjOXyNrMVKk{L`=JZ$*Fuj3Byxfy4qY!=L<S?-l_>M(x1K4WzC1CV)*+vyP-PdC0
zHvynGee+?jf)r9TUp3E4+rDk$9#u>s9bX*DV>EeaFEf#BebGigM(pAFWY~k}UbsD&
z*;jVYu(0FhwQBJ8SNmkJyc6Kif)=_5K=5ZHmw9u_v7eU5c08ptEx)fJ4n+4g7|}nR
zW+Y$iUwqXbX>^4s`nx~3k6mK<gKZZuN}3y_b*d~~;7%D$B<2(>OC0A|s{6tEqv~SU
zNm>_}mTGEf_UuM&Y9qy&#^QF3_FimgJzQf-E!kr)GrJw^{}^tR&1PFH<tGBQwA3*m
zGB=t@nWq!vloC9ku#R7HovUh(n?+MZZOz808y`{x=oW9q&T(z3nF6?|R}3FqCW}<C
z9|e8(_wZ{Ey#IS4*Y>ly{}_FDeLC9q^2m+m#9+(*EPZ7SDVn}ySu^-e+U=M9xhjZP
zro)1vR>Z~3=JuOD3GbZcrl^q_xKaC})T|4HGE6DC7L6E>m|_gN9>DtdP@xxQ2V;1g
z_uO}*jCXV19Q!rgm)Hv_Vv2vOVZHPBgXJR}#w%>sZ)kTPyf?O>i}^zyv}J<7i<r1;
zyw2@uo9k0dw8<j#d5GU3^DeuVS>0VMPb-E<(feZZ>g_tv-T>~|FgacGy~Ih#`!(${
zLse4u(5Lnc5ro4sQ(gyM5vi($2&X!eR+-h(&F*Ypzogkyk|l6mS9Pp_SHNl0`KC@T
zwua?J^*#1y;71N~<e6KBV^Wt`QOd;f?g{(Gpp<jk<TyTU#QqvS4gn4ThY*JdhZu(h
zhZKhlha3lp^8kkehZ2Vh=OGR?4h_z~|Dwa8$6>%>#9_h#;V|Po!ePN-ZQfsFb2kA?
zh(p97azYSEeh7pgOfIJDVhercX~!V|m6w1>NI|3_kN-Q;{6U^wg%Y6-dm;yesLMd)
zG^AlLIhceR1R^O8m6n7;q#sL2$|-Xw{=Xwu<YGE@&Tl+X9O5#Pa{pN)ys6I|jg06%
zT*{}VHtFABeXz}GzeM%fis;M*k`V&o>MxU(QDB$?Bu0uR){SFwbp*P6N*^0(fT1s#
zOjM(_$>)}yMA-y%(RjU;I*N=mIKEW4uA5ulKB^yovGQX3{lnfavl>Hyac~NQy48Ss
z$peO?LHdmFAr(3!QvpTvCjkIajWBRQI*))5X~tECG%RVTDc3?<P?j-O@|fcfH6I)Z
ztW@q7Ncfo#$w?GNJM;+ZlkBMhP=w`bw59-Oz++S3TnJL1Py|aj7iL_8??^1oaAVc{
zom8e)nR^jH8M-v=8svd=L!NSDyYAW@F`L7xM5aW}0A^Og=jc^(0X@6PZuuJa2d?pz
z){jttr5?%}+J-PIYxW(&TQ$acV3R3R_Jqd)a*B49$C~Jrj)|bS2Lu`Uwv7GKi|Y96
zAKYJUb0#d;?^3K9A6{DQHOT48bms1cU((>HwP`Rx5*HHW%CZC23&sQ+6%7Y3S7sAD
zVc2>(p#%?;M5{(C0>|7=>GP=}<bB<8>3G{cJT2X2Z~sAd3%3AtEKJL$lte=xL#RYU
zh+IL!1lkN@1XUisUA8~V7<TQ<R{YedKl=6b0$hZwhy_)7hgV(3D1GTy4dtGBz=Nv^
z=Z{ePUJPu0@Oo@}!T$;O=hsbWS&J4oE82z{*N>yrUu8{w&fpXrpIr#D@m2^<#!vrO
zyu*|fQ;qdnJ1WL8+?gN+R$MxwlWGrx@LbbbezucvBylHQ5(u9v1IPJw!<FO2lu3z&
z+ovk=&)mMBaH=-mC5M}^&k1bFP2obI&?(m`hyM5RpIi|IzgMP6=u7OY{c03=$dh_S
z@Ti=W)#~skCA``1Yks(_7a|~X-%~ulA2uAsWZYarm=SKVl)Oh;$+NbxDYX&M8h-h5
z4kcaEc%qdvC12Cq8{wpFlG%tZ#l6Wc-F%)Ro*;Ffu)Qd?x2BjUnad13j|oB-fHp_5
zq!50wkaH}(Bi^GPz8a7tzD1AB1aVUst2IB0qz%sryaKogrL0*wNPF548it)dxJ^s8
zfmb07pLvq95HBNDn)j2~TnSl-0$1gB8V^osKW{KCRXwTbEN7l%^2oG?>y3~I`!^Lv
z+owK`6=x@I$O;&!V?3TMSw!cNm-)qnP!G4m3JO*gnVJtq@At)f_ReL}i7~0mcUk~O
zJS*PZ+Jlb$8>duEou((*h}p%@ZRT{69gM>{Fg5TlmAEAxV<XOORd)~_I%WOsh8Q+1
ze7kM|BV`1p{_)F2bW~7-*UT-Q7hG0QsyXbm+)Hd`fzardUh+zFwEfJ=9{vZ|gXj{*
zEIfDEk09#(HS^#nZW#I|bS2qLs=gpY<-}aking(WyLXLIqq`!P$#?7WvU`KilgvL1
z=((!CIn9~=E=O2KTU3bq>x2ImZ9+{MYekQ0`pUeeKVu@Qnz#NoY9~UDnzp)L7(}Hf
zKBqPiduRH4g$jkmptTys1ej|@^It>z=Ya_ju2;}rfqkFrr^1oz)`ToIHa`KnQN^{7
zbnr$ZF?h0Exj<_BwFk0dc*>9@WfqM})4(odM&sPp%K2zG23&9B(TEtzxnkC8RFvWu
zGZ;2}I@HM{n9i)ZP!0u6zeT{E@>A_8!2FL5CXz9A>yc&XPhN$KZiHGe#Ans~&Qhp$
zBh9Q{Wua#@^pVyhEwFojTH$D6l;@x^LSA<&z^U*i%ega*E-=Y>5nkrMQ~M4x)k;I8
z>#x<wv8cQFR6F8X*<KK$@`adS<0JW3`BSA?hVj~?)0~JxIGytD($ib@^JxRbhMquz
zK1ZJFnjAlRD2EttnSatgNjVs$7AXr|TN0j3r4bRB45d-x->rZ1HA<wbv|)4aGRIH~
z`R#E|l$7(g+aN=!SKqFp^M4x$tc$`hbBNP>FUATxHL(aOI}zLp%xpr88o?xuneX6}
z6)DR8+LJJ$Kcxk!TaJHXx9LYM9D;;Q9gb~4Iqm4(ItQ9k>VZ5yY&;=77Jxcd2x;m7
zqWY-_oZeAQD6<nUu5qijE&aE|9t7hmkcqIk`=K1gSnw-XhHL=0HC;@I8}?lwn+`#s
zDm=s<0zme_AS7Eoyft{DVKCQk=2YK>UB>LG?(q{SfBq)7bGG&Hbhmru^zWNXT9Y0-
RHMxYiG&wIXOizRSe*oQVAA<k@

delta 4751
zcmajhWl$7gn80yhVUeY4sTGiLL279bkz5p(Tv}SX1OY*E=?-b6yGv5Kl<tOg=@w8B
zMakQ{`*3sj<>o)XZ_hk4@60>%zVZ3~GkN~?Pk3=flUXgfQ8fmL1c)d__m8@R?O2hy
zzq+1Nf|U57_=;93#A6l&xEx@z&3nZ1Z@1r$Vlz9iqg>CnT(i`w<8T>5alh*g&)m8?
za<eXF`=0@wIH8+YLli3X(DaDxtp_mDrS%9ivV@top$EM^H}vijN@hJ}SJF%Ont3G<
zR9Ao*gU{Gc)bXu|x+M9&W?nigBt$B_AA+nfhV=L*YUat=#qZOf7mOr|7Za`m5=HF%
zz>K;MiL>QMtJ8QcO_c^J#e{Dc6akaNQ5^c#KvTf?Fx(r7pt{8}K~9Py_oJ;WJ8Kf#
zq;MbWS#3IWX)!a-Ov_4GlkOZ6)pp8lc&M^&0*XTMM6u(G$v=;uEVK6WGuK@p9Ks=7
z1nSl%^@^(8C2=wya2vj>`0*$?;jXt9;Kss#5;$ZsjoPOlBB2Yjl*mQM;XK|B07Cz^
zFp{D3RqBnM3kF?<1)^d}UFK+ee1ok*!1k=Nyf-wg9+G&7+0;Mctzxh`(KdjGt(n8D
z=@IIe5RgT5;Z#1y{dn&&L>SbQUzw;0r5CJf<EggTo6fl1y6K%Kt@@-roCTMh-30Y>
zQD;_~D*_<g95-~NHl1hCJK_udKVIQk_H$H@igX<%?ih7fqxijgykWAG$c88S>%6Qm
zP=Wp^iHc)zdu^5#Y^-PV@bL+zs?{Yk6qOfnDz!sO!X+4x_$~48JyqlvU$nLz!p10x
zKxCo14n2F#(wz)i?CjI6%>!6a-3Nb)oXaei9GRgoqTS-%iP9!&N?Xed#ZNrp@W{Z`
zT?|btUmT<}7m<H5p$278`~wB3$FQvtj3;!JmYX-F46kJh6<KOf4`_?_EFm`3QKR!X
zOu<}=BLUsI(@kXb_ab+h_2ml5)YN#d9})HxW_g>8uov+lnj&?cabXg!{Mdn`NC)EW
zTGuBU5e$wCwgPGuBowJ?3vIO7&m7#nCcLGX2sD!7e4aBIA(H~l?;72H`MK!4oMM3P
zxA8lnMMoPDrBVPge7;Z7)k@d4C=1>pqB<p@?~WUNwHtz(f|Ut+T^v3&n~=Z~CYE}o
z)*29$+_@Lj7`J9swb-zf^@p6#B6Odt>tn9^<bzi;WRS&5Skt6H_DXTn6F==EF}6#O
zpFfd3n%q7P*&buI7haq$#SQ7I4N=I%3F~GQHK#=0S<MrA*aMUFIQ~z+QM9UC9*#k$
zqE2d&7CT!(6g`QHq?ZLdy1P{xGltw8!XDW|gzh1;X=YdI7f&wqaAI7u?LX`j`g2*A
z2?(4u={WG1{LmX_D#?d(<#nQS#%w+1JjfIs4_^1v((@Bj7OzFkJ)-n>a$-ohQOI-A
zq7w!{#Z_)!z-IQQi+C{AD6yHBpY)~d--V%!DElf`23i1<MkV@|-UWj-P=<HU+S%fs
zJ)YAtZ7%Rii^GqN1~w+yJjqlQNw)m#G~tx|aph*S7*9`n(Fw<XkV=DZE%7OyVCew6
zauD%owgyh=LM5kJxoQT9K=>NLGEp$i)UzQ1wau<iO8Fy#+ZZ6#1xkoBBXq!Ih#OK*
za;?!-aVVeN8C8fp>tpy?vlp-RMT_B`r)s{9RLZ>VhUqIz4T)xl*>Q>9t-GT!&hru!
zp8fqaCO{f(5QA=%n6pYGfw~CMsiY<biT`P${36b4qq|YUBZS<VubFLSa#yl7Yf{44
zWd{a_57{g-z|c0TsGHb#925TGxD(eW8(iZQ?1r@?Du(8G_E&Gw0@TYNAH;Qv7o-|d
zzskj!fK|cgh4DnjPRH{spTDxEIwROk+%w5r(U%H5WtIfW7YMh{_?BeLS0f{bvlam~
zt33G=3M5{BiIW*t2;1YU;<+lBdcKcyV@OQ<o{Aff;W2ZrI76G`s?-wra$cs}=Y@a^
z`m!uRV`_>e_b_wwcLWOMh<o=vuPgy|A3+DKa{T8~OMVYvI<fRgPVA=+5fo|_6vB<H
z!h;DWKeFUP<rpB`(MlxU-}QgKoH7{iu4i?3*Djk=MXOSqJbgPD(SBHBUs`r|%Wv9&
zh(_i>oT4}a37+Gy$hK`x^^wXzvI7FVo_4;^Ip4rEef~;brZEsa*Gb|XPo46;Y;%Bq
zYhq|Fi>^+XY)yk$mQ}JxH6xl5{BL_NQsQpnKJVof$`$qW#{K7R8<U^b7<Ie%aK__6
z@4vUdHV0maKTC~p0g8XMX1=qYnNm21TZNzB)@|NyF2$7v?BWh?InWFB;&Vqq$!CTl
z9-Kb1F}n-)BYYppy#}!yF1i#rBnE5svTf;b&{F1qH%jD5hcm@Ahh7=hYEynSzU!>?
zP6oDDp$4g>`DP_owQOSIIg}%hXosQpkJMvxzCMGv<FbbrENA%DQnqVW_X{=H^eRrK
zORYHns3##TF);7Q;?1p$qI!rcpLcAbL(YB}T}A^3HYPW2QRu85w>>8$ans|5w!4$c
z>)s$!Zme4U!2+D91;ja7$6wB+>DZA9>B${Q)NZ|%f}30<ez1>(4=-(7%9J(eIb%PX
z_w63n9J3N1ZH)SNRswIIGI@2`M8F75`fD(k*j@t-2{Kr778w-rgaE{EmIH7sh*A{c
zGF;_M9Jdm!RFan2Z9dfxTK+e17p_N@F@-B7bo3_1OF=7y_XQ2d?Rz7m-*_qC66}yp
zsG<G}(we0su#|}cg~Y+6lQfRQN;`{U?pR6*MLT}U;=rDM19kC(+EV@P@FQFi{5$9b
zd@W@6ql=WY#liWP5260cpS)HBUB}=yI!lur62*Ae<MrBWPs=g9hr(ULnaA?4qxO*{
z(bq?jn8ShB%vN-<ge%6WyW?LxJy=Z5P|BjlVU-P5LV<t6tyExqM9!)KSLg8J#gJpW
z*I5^lE=O;b)l>rfl%#i!s7O<MMOZ7(365sVOj>GscB8@&B-2N7lV_6^8LoFny(br1
z?nl76u*rj1lXwsHm-JP&_$N+FdxG%1uAS)5vKndQr{Fs{a9>#+-$vU7u?=rTc^H?J
z1b^5mKA)civyLZTJ0!>9GIlsMPGt4g%jDSIO$8S%3RC(n?m=VDMOOAK=f15P&!jon
z*T~c%odFxG>Nx&j2S>3V{42)RNzO#}H0uoNb`UlWBLx+V1x83{X_4Y*!cwW!K76@}
zYtU9ZUfF2PrgqW_KU%FNDYFU{Clc|NjaH>|U;Sw`nO5a8rpWTwlzLTj)U3vlmNk^q
zzdl+N`6gLeq?>PyZqSQdYx1_GP+!T=R3%jm;2#{PMCmA_WyLn#Ubv<_k^f1yhhLPC
zW2@y&GkcxoJ4B&(vq!zYFOPAf{X5I9;dc~Efp&x957`?niN9Z8=bf6Na+rUtb#-)n
zy#0&bzLdGU`FnICP={bB`QV{Y8oB$#IsE=x_<bo@+-YPL93-gX;MvN%^$HXH<<G<3
zCu)59Z3vU_&#NO-tqQ)x8=^Xm;C9ASI`#4ObN-NjDv&D?JOBDG&RuaPbBtY<%)Sc?
zj-c9d77N>HFF6m(DNiRRR7$FoUmdP3Yt!16)v?!4Vex<#>--T4^urS1TC*THg9gpU
ziYDYUuh@=V*h};!;(6_`(e_KjbN(W=shshlb9L*Mh^HlwR|i!dxGt%8w5-#RD?jed
z=(K5+TX;@01-mN8LcH^@i=&NXcy&?8$<cD&l3q%CH~!MepYzqkheLneZj0a#yrY}O
z!<$seF2p$uh%k9%_qc-@0<r0WAMmInc(-w}@UQ?__*ev3KrBM62UtW{AS_}m5-d_I
zGAwc|3M@)2Dy;w9MT13)1;(PoqQ_#uV#H#?f?z#t<=tj>)8`fx6BHJN@xX+kFc_2@
zB%tPErD)+{&B~?tR0t*{0uzNv{`W}h&{Gx}GNh=Iu%eKXu(+JKpfFraNM1q$CJC2^
z3ya80!bHWyM4q!g`+rAFKmw}PZ)`p6SOvvIg#PP|;7n6?($l3G`r*yO=WNfN(qDA@
zYV?^x0e}ER04h-plYj9_C5VxFd(=GEGL~pCgI-jBJEJ`63-xyIC_R<QunJg$7eW;g
zHV__0<R;FcbQ^#Y>&gCwxx{#_OZWJ$5kCsOZ!oU_jpHtW<(-G+xyZrHpNochQ`V6>
zHU&RX!G$C=z16%{bYVgi8P?(DNm>Qp`Uib(oyD-<!)!Y;E=)sBtw(D-IpW}|HPpnU
z{WEZ!pxK-`gZ!u$Pm>%R3}+>bkptM_!>92x`>3Yz(t>I8NBh@o-;G(DOMVwFoG@pS
zFbn>bB^)Ch^8?QpF_rae`X8?*a4#4xTjY;2$Ik|oRPZv|;hf~B`&Q#s^)c3is{!Bp
zfc2D41kU*nJp%RWXXVX0axJNoPYDTecp?eqWF+v(LfDPJ5wsZ4|24Wl**W8(mj=b3
zq2=l^{lf$8R)ot$?QNfNbY8U-`-vam`u3XElOJ$jh5!O}OBw?)d@Q)P;KzCM(qyQh
z0oj;mp!m0El7+agkZhcg4Gsx{@LpI|B^x7PdjpTY*>$t@^ev-mpt37aHK@^?QM2Ja
zqifFCH3RXbeWGd7@8p>1pYz0EW`Bi4?6F1-fhc#+VIG{ae#1<6yiP{*j-r~SSMQJB
zP6VIF|KAQ!@hfX~o3q|((_i|%#a>XDIc&BKFv@zEkxAfoQ*GpJ|F2x|vb=d~a@~BD
z^U{q(g*~5Q^C9H4M0ZiUW<WOmq+~f>aQpxoY)OOHZcMcc61HP5gG`CjnM4Ag$1|;w
zm#48b{k)TA{0e!&h|PS64mCvgKd}H`9u(o&L+l|4<Ao*l*HIduK1EN@EHLxCwlA=k
z@)^%4pE1<VeT`%;<GXG~VhSNv;OAAEmFzldUq;64hyOVdFXb-Uah88_-A<c*1sm%B
z-Jz|U<@~wQ4mZQL<;c6_m)yf)xvrI^9!K*>%OG&pE$VM%KoP@kT>b+X)CGu;B{l%1
z1?`#>7!c_NEtr!U5HAM(HU}&}utWT_nFh54dN#_C*%6>+vsMJsQ(mjr+UO`W0gmxa
zY<e*BoajFOdZvp&|9o@<ov=wmg!9rPy>;C<yI4szSQ&J$E3NCQk-yY%Ph{}sK|W^Z
zHmz$8RiM?ZK&$gx0vE{Z`vV%sOjy>NZ>?`S;{rA8S_2lD4>xG6FZROnt9C5Y{AY^R
z2PL`Z6m5G$t(VMZdpTtDjH~h*jt4^+H?|aMgl8GXx;sim3_kr~f;aMZ{0?UejUgDj
zJJzX87iEJR$29U?e}6|>{>$>U6`H*&!H#ktWl#X;iMv8S3$&mdU_1Ki6KI^+YWAi5
zGyR69@td&bI(xik&Xj04Pjz?AdS;DHzUcC|qq-C}ePaiA9vS`i@jWwLTDID+3wrwR
z47qE+rs}1i=tZOK#V8ly)iK|zYqyBvYWEBF4YzYyQrIlMS;cwTq_ElS=qS#|7*(I;
zp&l~YSt3t}qm`;-4(MkDJpmlCFX<CuqfbrmC=pw%^f)<syw8f1&qO?fl5yO(D0<_D
z_vIBcB?c#m1Ic5H$s@M)s*h)Rw-;yM!`F=^J__-O`BkL2LA#ZZq~sGLh<Txfqy~W~
zQ0c$oW8K17dtB}^F|Dzt4=KsnTy~?%sFgECU2Q;xCqxdJn8N>|+{NK>$*ZWNGBC0o
zUKm$wT}&f6gO~*&;q6wm+&Pc!yG4tyvfgyZ)A%RpwFl{3PFp&&mAG?)GG8e-v#zSG
zs;ERDDjlRM^y=tRS4neVT8H!S$`>Vj_JrI>C@AmZq{zSE%3hrN97^+&>w_kW^=&rw
zu6kGCY4U-HGK*|e{ud^;Gv_orL=-s1PA)1p`C>)b{A+1~&MNY^FDP2w;H`Wa8|kaF
zf>xTGrq_P@Gu%7@orW_XL{l+cZ<aGlPxVD!tFh?tFgEX1Hb)OuxBXCqZ!g}Q)ECYz
z`We08Q(I0#P)9$m;Y9HoATE<oRI5sO8vKbzfsjhVtCyO%EjTCsOw%o1I46I_@+a2F
znx>?JTHe!5pZ*DyHWyeX^yv$5#kmLy$!CG!Mf6d+(m()!4GHY^4O;!p4a2{{mBdr(
zqo*e<>%-5$x9z2oATI5bbUgGcZ<35SCA|kQimp$9tlwC<d$?I!ID^uEXt2<N1Vv#W
LPENRn66ikwWQ5qh

diff --git a/src/abstract.tex b/src/abstract.tex
index 8d5d0d6..3f55cda 100644
--- a/src/abstract.tex
+++ b/src/abstract.tex
@@ -1,4 +1,4 @@
 
-В данной работе рассматривается решение задачи распараллеливания Фортран-программ для случая целевой системы с общей оперативной памятью. Задача решается в рамках доработки системы SAPFOR с использованием модели DVMH в качестве технологии распараллеливания.
+В данной работе рассматривается решение задачи автоматизированного распараллеливания Фортран-программ для случая целевой системы с общей оперативной памятью. Задача решается в рамках доработки системы SAPFOR с использованием модели DVMH в качестве технологии распараллеливания.
 
 Во введении приводятся некоторые сведения о распараллеливании, как общепринятые, так и те, что относятся только к системам SAPFOR и DVM, приводится описание этих систем. Далее, во второй главе описывается проблема распараллеливания на общую память  с точки зрения DVM-системы и с точки зрения системы SAPFOR, рассматриваются подходы к её решению. В этой главе также определяются основные цели работы, описываются основные сценарии использования разрабатываемого функционала. В третьей главе подробно описывается ход решения поставленной задачи, который был разбит на три этапа -- теоретическую подготовку, реализацию и тестирование. В четвёртой главе приведено описание существовавших и добавленных алгоритмов, о которых шла речь в предыдущей главе. В пятой главе приводятся результаты исследования эффективности получаемого распараллеливания на примере программ из пакета NAS Parallel Benchmarks.
\ No newline at end of file
diff --git a/src/sections/solution/testing.tex b/src/sections/solution/testing.tex
index 563591f..c36a3c6 100644
--- a/src/sections/solution/testing.tex
+++ b/src/sections/solution/testing.tex
@@ -34,7 +34,7 @@ subroutine foo(A)
 end
 \end{lstlisting}
 
-В нём нём есть два параллельных цикла (строки 8 и 19). Один из них использует полный массив A (который объявлен на строке 3). Другой же использует секцию массива A, которая содержит его первые 50 элементов (объявление на строке 15). Запуск этого примера приводит к ошибке выполнения. При этом если бы в подпрограмме \texttt{foo} было объявлено, что массив имеет размер 100 (то есть фактически передавался бы массив целиком), то ошибки бы не было.
+В нём есть два параллельных цикла (строки 8 и 19). Один из них использует полный массив A (который объявлен на строке 3). Другой же использует секцию массива A, которая содержит его первые 50 элементов (объявление на строке 15). Запуск этого примера приводит к ошибке выполнения. При этом если бы в подпрограмме \texttt{foo} было объявлено, что массив имеет размер 100 (то есть фактически передавался бы массив целиком), то ошибки бы не было.
 
 В случае аналогичного распараллеливания с распределением данных ошибок выполнения не возникает. Из-за этого в цепь проходов распараллеливания на общую память был добавлен новый проход, который получил название SELECT\_ARRAY\_DIM\_CONF. Он запускается после анализа циклов и выполняет фильтрацию параллельных циклов так, чтобы в них не было пересечений по памяти используемых массивов.