From 3a8c51faa4f8fc4ecd10a375c658d81f45394e51 Mon Sep 17 00:00:00 2001
From: baiobelfer <baiobelfer@gmail.com>
Date: Sat, 15 Feb 2025 21:38:07 +0100
Subject: [PATCH] u

---
 doc/main.pdf | Bin 300697 -> 300684 bytes
 doc/main.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/main.pdf b/doc/main.pdf
index 1d65727ac033c03597eb1eccfa41440b6f8fb68f..c00b2a49f3d821848a980cae83a86f63f185247b 100644
GIT binary patch
delta 3928
zcmai$XEYm(qsHypBgA?Ud+!mnN*jCDDv2s$G<buerDlqtHA8GQqQ+Z_+SHB_)ZU}0
z+EqcLM$z8)f6u+=+;8{8bIx;q=lS^i@Z?qllBxk8rf9R^RMHJsw3Xxzkt}lT9}lV?
zCkKFH;@xqrv;xTFZfTvI3G%V(;xlGBVTWz@D&+gG9p``P1g$!?cX@3cAMMhNxKI*1
zX--jy4*nF3)F-f31DiLKG?4f+1ZL%fA~WE)F|B797oboAW9uv=u@_RJx5ko04Y|xp
zu_DqYfC!n(i`TzL{UoNpom}mQH+kA&QPM!JUd)7c<e!}<r`V&jnx(PqF``|<$p#!-
zC4C3g_oOTKo)lrdHg!eh(+--mc3H_l%Y>loh_T&dX~8Ei5C%ed(8s$sH|N3M=UY$<
zNC8e##lUG+YHBUMrA4+eM0aFe)d?RA^7|dpxA}C+A=Bf{!PK)5(#*u1XB?_?z~Nvy
zsW7~6+sF+ENgo$5)cJhfnQxdGO2H*Or-I@Fsz8#9f#MmjmN`4V!3f74Tveiea~JB~
ziQ=yAFdv!Py*%S81NL!bHKYpUCZjp+>A}<lxys`;h8e0eCI>kGlN+mRJXpq9Jx_S3
zau?hyB)~PZxw}GliMA9!oA|uSTi)u8xZ3oo9*p-0T<DqcINnV^2bG_a%2b7FnBV}X
z7C;eR?+HPlq=7w=;b3@I{FG4Ye}BWubOp;Q%LQtG4&9uQJ7t{HpIYL}bgyYX<Vy@t
z3SZ@Mt<PVtHpLpq3X(5i5we=7>}tOk>|~6?>iCrnQaOwXssWTravl6;CW@@F$#3_*
zUR$~HS9964EqO0AwGBX|>K7d<at_vzDR^ZMl=*WI>^Q*(s(Z6ALysvdM~C`g5*^*a
z&M;dKV=il0X^rh(=#9lB)equwvWqHv^KbLNa6g@<?Dbm&2(8;9pVZ`RmSca4t~si5
z8tSQ9ZxwK68(7msjcfhoHMzYK$qU8{jQvXc!~pfI%NqkVW6k6gP&+R!J}!d&<8p||
zh#;LF8{2_IX#qYMIl`lwWPwoETbc5*<hxVKw9GnSZs~95&y&}!D6SEEZz<F(^~}6=
z^4KK#7G+~%p@IWKQ?38Fq=5ap(Cr&dwB{nhk-`zT^xd8mzw&z8I~>^+TCR-xk<Ul|
zQ=l~V0n6+$uxV<M25vX5ONvjImqe{R&hdaw=jHUyL}vw}^JAO%bQAY)w}75`z;!4e
zs4ZSQtyP}560>uN5nnFO11GnZ5~x5~V*IUnZIwnGJD+k|o~^_exo;h0^ia>yh42T*
zj$klY5f@RYtmn(TkJB{5@Di?oK=`7FgtD~fl<&1ET}LZ5)3@-9Y=fE6eUyA8Dv$xy
z1SO9&yQn*yP~UKS{m%4zrvqZt|7B&nu>FL6Jdg1~Tj;15afB4NIMcxpP<;GR#U#RN
zW<Vn*_Cz#B_7-qp4@XGTD{AC4vR<zwX4wB$fC8DTMD6TN^WTrzm@2-cQ*!lBZgM+2
z>uU6jad&_-S{?kIeDg8q3rgtG`){+>^>cv<x{E}>-^!M_bS0CHKW6U6l;2Yi#)Pzd
z>Cku)jG!?y0&RL4(wtJjtc`thYb2KC(|~s!vPb!-FU&}u?j`<e;pQ9M5c744`0$#W
zjMXjn^wqsPzY$97T0W`qL1LNva%F(0@@!f4k&B}`bbX)*R~fgOCe%{(zDT*ko=UGA
zXhxRe%UWF7iTy@V-2t+p`w^PZE?It}@o{B+qVL=%NsohGkz~0Xg<j+n`L5ds=upUu
z!pzE9M#b1)1UEwj8_j4fc-c!Jje%zD3w-qZi28t6iZy|a!jx4!wYExij`AktZ--uJ
zK-+o6S@1@nRq;1jsM+-R$hxXpjWv5JSGU<^op8*csxwQ!SER53I#2rW8r(W7%-tf!
zVOqZv*%Mcw5v6fx4VSp8=G@}9W1guIyIFP4t9$mPmlilIm}okaZka|=Sx^McR&Y{h
zlf!&!LkjojN>Fl_rU5Z&x_tv+Um2A(`M63;DVQw~uU~*N-RLF1i+2=s{|tMQId;`;
zBCSe}`}*m05!v_0;hCun;zaXSbKtuuDu&rFkfkpm`hnPGM9@&7yR0z$LUK`TjMZII
zL01pp^A02JwPlh0LQ1T>q#|ytBgB#KJk9=rm!>lwuuxPawAANw!K$V<Av9da%TpIu
zCwV($|A8?oF2#wo^c$BeK(wFwMY!kqXsEQi;jrdJM4+TZ{h-~vK?@h`(mrS}iPs&S
zHnOgI9id8uZw5cbYUcYHpZIl!KW=nnTAvq3)b7gKnFda|-hN8!R1Y10L6uX+O&7|N
z+%0Ee-IKLrZ47hjvr+l_qmQf)55Oh_@Hp^ax(}jEZ3(90CPG)NJ{GLNGn#~)Y=aEj
zkh(wJz`)p6;;iLp1`wuqFWVOQ%2)Un_K+4o0^ON-?uqES1OKah4W9p1c>p{E&yP*_
zrYNLZrV0>Z%}%Rl9@e)P0nCwAmkCa!={VMv-41)aY)vVcGqIp#yz4Mhv3*F+(@mCb
zWQ^kOxnuu`Cfh1lK+-%hG5j;Uj7Q=Fa9RANQLUk~6GdEz_I|hHt5^rYyoI}Nkr$Se
zR$P@ErXM)o_xDml;$8pAkvt5~Q;EXAPYk`=oEf(y<tdWN8w}-*K##BIFjpiTx@ldC
zaQlH}$&Mo1-Ee=oO^mZF!PeBRhNh_$&3jPy(K1&0j06uK%r3^T$igLitnX~nLt4(y
zv-~`b5a$VDnM&^X6BcAQ$pO${1z^Rzc*?4CX^PPy%c9T6nh_phR}CezZL39x==_|)
z{>#Ay?wgF%$m2FvvWEg>a|6>K^tj&*t54%<SF*=Ykz4`OQsj*UYzI<WJNzQ^J?icK
z&3awUF&+3%b5Zf%eL>wx$+zELC8-AFLpb#rVO3cLJEQW)8G9EQ`M$v{iR|X}iyydA
z^O?o%+JbWCCKW++#zGj{C!twP56#-ZJkz=Y^5}1xMk5wJA8ELDVnPb{tn-Trx==s<
zKj1BS+5xjyHG={CVf;a?5uGtqTPSg5_w;CM(O@B?+Pu>1eVkXe<<;fr!KHj8#lZ@f
z@p?bE8Qr4c&%2kx)4_0wXR&V+OH(TtZkl^SwDxC)9_ikfz!~sG9rlMZqUj!lA^ENr
zN9m*dOI}u>ZH7o9q)P;Rk#6#{ih5(BL71ec0eoQ9c)n%8njfMV{ARxQ5CtmPoVjho
zX+(WG5(s~oizJUofixN1?g7B6n|3pb!!qZkCg!LMWq?&kzQdFk!~@c9{9gG%`0k&P
zL@}bQInj33IWsuAbVC!sC$x<YD{r5lYLsAAXx%3NzL0rkZdjokDOy8SrsZ95B4YL9
zZKO6E!RO|mPL}%7dn<)9>{95nzfGJ$T(}W#HC~THwnTwtY>ny{1^&n|MD3~94Bvi~
z#jBgJMQuH@)e8oO^+?fOWNOR1L*K51>V=iZ?Ucuzcb1@r*iJPrRKsK6CpAN3g=Oy1
zV4a7;n3QFrc4;HH)CQE^C}!TEZRrd2jdor6ekIFI6@QNY(QxiOTrcfC(BmWaHPNa|
zdPX65(x-|!SPW&672z{@^#ZAssNS5y^fR%-`9)D^KDCoVUz=T6Cy?dp_~+NNojm`U
zeB#j~&|tr4M}qtm>epyQC*Lw(W#79zSdR<%-JUJfX0+=V?JiR&FhW#S?2evu&}BPJ
z(#{iekLgw5#rgbu(W;nU=4u|VLBjJ9{3MPFtdsmNR|Wq{xtGmTQ>VbsvrdS(lziq~
zTyVJ4WxifFN?ed6TPn3p2~@EyYZnJ83V}Qi$aU$WS}`bA4OHjmHeGL%$x$Y?3OGK+
z1H3RnU-{ug{t5NjvqF=VHBlJ(Di>kP`3>-x9__eWR{Cj_J8zokvHy#qM{gD#u+_IU
zs;`)a7SH8EEa`>SbJo4}z{4W_IXRY7<oKH>CIzVx>A>+E3XPQ$?Fpmh^&{=IYc4^J
zjv9Io-|W*Ua@H86dOT8{{NGUg8_E`>Iu*=-Mp;QkT^XGHDT0dse|ifsf@+P!N)rOn
z2WzNkC@Cu$=&L|9Az+A_B3SRfh9X2?Q&&wzTTtu&ojj&jF!S(5Jo6OPP*Tb!hf_(R
z#O92V=2m=!6H@ol^J1(;LUY1&WnI}`aYOTMPpN8LWi>t9>;6Fq<39a{f@`k{6y^YC
zt81>yrWFF<N9ftu#?KL?;Xl_CokyR;#*aF=AhakfYq|@3;aPEI$(peTriZqZ-&V@V
zup`4sq>pi^v?XsXC=P}(KO*b&VMKBDx(-FTGT`o+?gSW9d!A&T{tztM;H{*9Qp8&J
z>#2DTo1dD%r80Vzq0B%_SD~vmyGP{P#Vzj}F*g6uRkzdI#mra7HGN?AhWhX$U7!pH
zIOf?E+R);$57f<&yQ(jPbXQ7mW(Jvi<rzFkp;_Xdah#s9tCKW`ljH@H)Tq@-%CKUt
zU&Wv^JQ*Wil=0C&vh&_oE*xhh-%#p;M{=`@d@(UkX$RraOShp6%dh&LQl;RPa)fWa
z>5}0jY??DToKu<gF^=Mmb2eS&{ULkkNt^e*C#^pWziG|ji;g~~IEJvfKk}@#PR$9C
z$B0kdir%6cX1LTEACeIotV12)d}YZ0gXq%PMI|&X0^S&f0FS4;rtw2Qt5v%q{~=o%
z!~Wo@;l#g(Z!_2+p5Max2YseX#sbz|H^S4N7^h%u{60M0C=cx?yiQgBK_42bytOsp
z7Pmus{+PXCYr;6C1=@OL#$G!7I<*D%qS5xQ@V5KV9XYMLr2?q7fatBeoKA0SQlDyi
z{m^Ep1^hJ1VRr$2INm7<jghUX07d0A)&8o#10!uJdT$WWp;u98O}aq9j_9bwOC!y+
z0O4)D5sAwe1!?%_(YSHXJd<6pZkb4a*|ZWszQ_&A+&gVw`;9OmNIoFT#Dk%OVSKXG
zY7)6}$NtzhEuxScb(MS#*?teV^Ezv7G7)EoNtNNI=@OOnvTYrXa{$xG2<wNQ?>4F{
z6J($NiK=upz4`5&3H^APSZQr~u0DtmxMt;PW9RuhAqkbl*9pvZ4cd9UHJd!Ne~{Mj
zGcB-IWVcpdK0L*7G{LcQE`DA&<~P|roY((Kpzz-o{9g$q*>n{dukN8_-xh-eZg!G-
h@0&Vrco4_pP&yAvq_Ur8Q3=v1snd&z=|3=_|1Z?yfKmVe

delta 3998
zcmV;P4`J|(trD5760p$-0XdfulLRTV`v|H5TX_#H6T0iGU5#=dgNJ0HxCkC>jlU{C
zn9l*tt)T7>Eh1Xw6RT{j;=K18KX%<-yS{1U@bBjaiYq|{f3E}m-yv^@BZSJb4exBE
zT7yyrxD)7QMY;U}I<Eb3v;PXt9s)8qmr+s#D3kXoBnOQ~lA{YIqmv>kN<MQd`S_9k
z%x@>s>hb&Oe7$Jai}-rH{rThDn~G^yNrzD?=7d#xw8fCmK7Rk^X7rQq_O98_SIz!b
zit*EOld38^e{wtDL7<f5?>EQYk!5p2i&yO!BOayWAudR&@rPUC#+&0}vkF4^^Zx$(
zJ9g{aziYP3#r$zGz2)QMtMKhD3vJ$z^0$qb@ZHCof8X#pT(nkY8RvR5UETcjb2Xab
zUvIJ2x;CRn-*7e3Sg4Ssvxm_SH-GQuQKg>1g-G?xe?`TNP$OuC2_>So1+RM6F+A_Z
zD#=?l{*BtAi5OW{+sZ4tX40zBgfm;K(CWw7N{%#ISwpSRzNSV}*3k_^qudv2X5mnh
zaVbNq&2imKk4<ohhsE^x`F27+A(V;zGk3R!DX!Yt{&-uf@zbigYvAcJ_;bnopQiNl
zr8FU~4Pg>qw-O)2L}tfD^DvX}D-;W{pm4{eaY5lxOS_W~EEga9O<3dOE%Xf4MbX(D
zm1M5A?Hr48F?`(_VzQs#ZAz0xEFb|llV&VAe^;$<coP5&$v48=)8}oo9<XpKQW(XI
z)tN}xT&Fg7)%d-)_rrR?#;HVEL!!$i&K`<B+hHt>T>)OwE{jX!D2}ZxY}RSesk4sC
zqNBL9Wbft^64uR=BY+t)A@)dJsnGTMouCQi-L)IRXeMm^n>Ir0y`ry*Zat21%SV=L
zEvB>!>q)%1Xe^G1Xr#zHEiR3u3<8~bHqxNWxBWD1ggu(|BbOJj&|*ECFL#qmEiZre
z`1EzLYvK$s-Pz{set@T_iWgNpII;rH%39~0&Tfddqtl=`c1RnvA&Q%z;;iB_G=E`C
za0-F4_0k^gn{c7wl^PEQXcs+Sw9ayBh~Y&$C-^<b)C~l4u+O*zxI(i%tmn(yiPCC(
zY`%J?GJo`&90Bznq=iqPsNpMWqp=3Vtel7D%ai{tD1W<sm}OYfhM2+Qf|hfHn}xL;
zLyPGqw;yz6VLt;;HQ4-K-n#K(?pK)Zec<@_bI|13ngl<sN;+^gb5)Tj%vUjQ>9!9)
z$;j6!feWe=@;dGcl_4P~N5Dw1SkM49b)^kN!bC6R=EAT?PGnTjqTTqH5_oY78r1nH
zFO8;|(|=w3{^l0`YOw<RnDArUpKrp)5>uDhd$rD(;{a86MXsK&4l|P0bM=@@+?D4I
zv8Q<#<UrwdXO#M)ri*a~3*$)!Sq>_S(L;|Ti9Ts9kfgp<-6^m9U$811R!OX`mNr?N
zr<Py<6Jo^T8f(Yw?R{y{2FbL-7^2qK8vAuI!GA-xSk<YeWUJ>Chp^ox)?}bUC1aF$
z|Cz{=2G}1r+o$ljBM=IYK!PMWoDnY3=h-H9dh(g%JWwutSS{9zRRflJAKpW9NdOey
zzaG}hJwb{`yI1jJ06>ft(jx-x_@Bjm`?xzkwJWJiZz+|4bBVB&&2l^cBn*G>iLH#e
z)_-=tp^uoppw9%id`z<lfO{L3#$Sbh#;&vN;cgKg@1mH-<LLfyKM&t`F%nTIz|2Ew
z2NGg)jBp4IOYpvE20~J|Km`t7;osQ`fzUD`IB86X3enCnO<Z#*q@T&kA;P%M(TWVL
zX1r3x#B#ML1&ku&;b84*m^=t0eRP{}T7ObY9{R<uzT$Xa5r~aZYya>;8q<6|5U2Tx
z7!hi!wDa5GQj1{RmQbw7nuh@!cH#u$v`dAZ?6+Q!cUU=0yH@n~aB0TUfd?a0B!et2
zO-n*W3aEB|VqLy?-9)rNF6Xj|5NDnYV30;uKt>J?7rVHv%y_pLszRk?QB?>Rb$>2}
z2M6>BbAga?XPH$t@Bb>P&;*2vFVkbQ3;%1;Ev=lz=N#D1r3Ml#P=gC)gMTO#7iyo`
zA$yXsh=k#zV3#yQkfFQ`5lOVALaL;ZJ6+<Xl$eU18n*N1VR1Y}UOlDdd<je3e13*x
z%iHiFYHFTCl4CV8Vhv+abn?<4lYa~yz2>vSvY9^JucP&kfw;DiNq=X%ed9-bii+ND
z?zYY9gx-Pe8egFZ4>3z4Nv$Rh(YQ}rzk{31*?dcifAiJrqUCD%wl+C?J!i36nu`|G
zfkW_;#d5|Yz%0c`(0ge7ZE=zUwltSY%JLeXnh}>D1{fBWm{gR@(CWx1Gk;#9I$knS
z3fYHfbAqU_H&Dd9G@_)+i~awtm@C9}r-ovttjHn)x}>T=bQ3w4Y)24Q#xj4dLp$@`
z3EMFB4%-x$DYlso+bon+6YwO^CXfq(xQvu_NG`e>k*Ee}Ed_aw{Nai%)!FOPmKp%T
ze7=rJI@eM@EpHFV_yxE`N`Jxt-nrT`xQx2<KxtZB<l_!2%{YOr&^7@?dOiB`5-`m3
zN&n?SEYt$gyzUwE!-s;7x=;;Yf~8<34jvFX6hp;CY3I|N2^3~s)a$XWG|Wyx8+p{Y
z!_w#@bpFP4I8|&P<H;Yvc(Y{zcn`Zh3*8udc7Djt^1g{emL`B{0)Gx7T!|`TI4*00
zJcm5`bOO6-mb<4eQ)ziaGrf;IHbfJ8h;HQl-?OuVrjWpakeDn<%P4KlGyo;c(<Z5F
zwmmD`+n*Js&h7qeC)~s|CeAm$#^|Sf^n=fZ0I2c+s4kX<CBjHezL5@n-M(!8^Sh9f
zP6?nrp5$dy@!`X-WPcM48kZf)Y5obTZz3`AA9jaTY}6UuXQYwa6tXB{$Xd1RG-q~!
zr$oo6+;q2JE>1MbV#8wmSyzJY`hc`FDV^FUB!xgCnCV$IR59h+WJnKrxDcx6ASpYw
z=^9*^59WEIOKpN44`ID^{M(SbAQUqpx*E%M>~+{d^z{xBkbj%VkVy(kk=%tKy>627
zr-!C}Lha`>ujjk?39Ro>Bz+TOFeP9g)%WC!NZ*B>&=rm@l0Kd;^xFdG@uW{9Zw&>V
zgc@-KwiD|y5GFkBv2pBUGb;qfi2|MyP9e{a%;%qlVJARy&)m>18f{t7jKYe$ldNxx
zr8<OQ?l`T3+kZbq$ES6sERYK5mFL2$GT8$99EEC)bbuwYT5HcKLH8=HQ=Y2}JXb1K
z**MxA@!Z$v&kxZ}*ZI!>l^09gS(@CbsJ|-j1WChlBsfCK3HMBQt)ppAAYO3G1K6)C
z_nVGRhx|xf2}*g?I^##8<VXE{B97boQF|X`m4UWBR})eQ?KhOZJ}g3&F={l*Iv^G;
z+mo#{;C~Z-duOloY1<s>fli41d)Pii0NwZt3*UYu=WLI+sqKEgj;%MleY*qjy*t_1
zM5hi@@)fI`zY>OF4WLOny$vE0mUJmMOEa?A=j(DG_I>*vKbU7!G$d@#@-#t+K;;SK
zsJ6Q#DXk4T)`ujQNpr6clyHUXq1a1@J~amG;eS1${OqMzGPjDVGVo=IpktIT)%0s1
zbOoyeW67U0XkW1Ljvrgh;x(>gL;d2B7~ZGekb&&WaM;z}dBwvae7(5mxn|t-ru+LA
zjWIC^SEHM?KAqpJhIWkVz^i5!*qBW!dK%UgQ!+du1B*wBvO6No?`5^tP{c)}<7Qdf
zV1Go6Mrhl*HVtc|VrCA!x47RXU&lP}>7<t{!PsD&3J&0MbY6W0VYSzpp(CtAX6T)%
zSN?j@@1GvXJT+-bNkYX8mF})d5==-E+9JVFmLM)<3C`d7czKp^t<rn7!i?gfW0~Uh
zQ-vyQyo;%VJsq;rwl_(tK$pld`4^`OyiNj3*Li*EGF^tIw0l_&{{k=(HK82&FgbG(
zOeCR6=EYfx(H^%&>}ct6mUNs2g|=hMk?k`yNWqz8g@dO6&Ip8gn$rG$_wnYxgQ3Bp
zgH1PwO*a9DO*aCEO*aF#O*aH=Mg}oCGBh$Zm%n`k9R@KuGBh$Zx8i*S-V{+bF)%?n
zHZVjuI5I**F+w*nK}A6`K`})zGDJi{LPkM8AUrlPFhMysFhn>wGD1T!LN_r%ML{z`
zF-0&kL_|SCMnOJZ3NK7$ZfA68AUH8Hml2Z$D}TvvjZqlK@$=k!wWagzt*L{d+N!zc
zj;_vgtLCA!DiRSA5hQ{{m*h#r92*NOiC9>$5KFP~7uZ<XkO(0n5ed%sXY<K(p7Xx%
zdEaw>xi^Fm{w6|51PfbE2C7BWo2d*EFhXw=RT5GWFQ>PW;Vj6Zw}jpXhPjYOZwI~g
z41Z_C9LR?<3!zv`7H~-=Xz^-#g;2zBDOE9)Kq;h|r~xgxie5R)g?TU^7C<FrEabh^
zY73zP^p#Z>^3$5ox{F~6Xx$oE2DMPfYPGO}VLdE|22gJ$=!I6p8dwYKpb@ki+9vIv
zHg*uUSeQ4Xci9R}&<rim3T@C1+aL?up??E9p$od92YR6o`e6VL!jOfkj8+?lQ5fUf
z^a(n*dZ=SK4m)8N?1nweHo!8_M(l-supbV<1UcaJU9mV6Z+fA155p0dgef=*(_G9Y
zP6(Y4dXhCb9#{TIo#$BiW4ex9c^dL8w69c;n0Wz^CNBbl<OIn}c^+rvRS@IY^M6>k
zWq=?#L2`oR1j$K`lN={fz6kheueLC9U-#<$NRE>nCpk`XoK1A{;##u7!o)e<L1>&E
zcS7T&#Mf9jU9DM?<K)yEEu6Wd9`SMF;~V(|y*(Ln^5QW=R~PEKt;~`?Cpq41;l^uC
zkR~TS-e%$9QuT<GlOfMqcsi*bxqotk<ee5?T~Lp3Icf493vY|mBVkT}z2Cw+1=t5z
zTyH-DF>9YHG(pz<5R6**c~reIAYo3zoP;?E^F2VMoJcv5aw6pidA!a@;X2GvXLN*0
z=Qc^DBb%bqF%mAHW>^8iQdh3&$Il=EidhO~K@Q|Xo>}gcE}m^RlT<aw?0@+aRrzLb
zKB_7(d%sClq1o57s){U;c&4h@5|?UKm004}H&vyU9BNUOw&dMMs>&?+`+t?ORMQVt
z<(BHr#&;h092t2K8Sjeh{u0@LFEYXG<fq87+mYk9A}3lSCqG0^Uyq#m9ywnYxwt_O
zT?dW&0|14l37Vk=TA>ZvVOJYuVLNm{Cv-tK^gu84K|d%FgD?ccpg)#T&<~G(bH-t(
zr7rU^H&2Cs@7<z%3T19&b98cLVQmU!Ze(v_Y6^37VRCeMa%E-;GC4UmGC2w*B}Gq0
E3fSYC$N&HU

diff --git a/doc/main.tex b/doc/main.tex
index 8d81b00..67bd5f9 100644
--- a/doc/main.tex
+++ b/doc/main.tex
@@ -458,7 +458,7 @@
           \item \(N_{\text{zad}}\) oznacza liczbę zadań w danym dziale,
           \item \(P^{\max}_{\text{zad}_k}\) to maksymalna liczba punktów możliwa do uzyskania za \(k\)-te zadanie w dziale.
         \end{itemize}
-      \item Dział uznaje się za zrealizowany, jeśli każde \textbf{Wymaganie Szczegółowe} (\(WS\)) i \textbf{Wymaganie Ogólne} (\(WO\)) występuje co najmniej raz w zadaniach. Warunek ten został określony wzorem (\ref{eq:warunek}) w~\textcolor{orange}{ust. 1 pkt 1 ppkt 2}.
+      \item Dział uznaje się za zrealizowany, jeśli każde \textbf{Wymaganie Szczegółowe} (\(WS\)) i \textbf{Wymaganie Ogólne} (\(WO\)) występuje co najmniej raz w zadaniach. Warunek ten został określony wzorem (\ref{eq:warunek}) w~\textcolor{orange}{par. ust. ...}.
     \end{longenum}
 \end{longenum}