From e2a725bc51778b0a7f90f83b83fd363a03cbd9a5 Mon Sep 17 00:00:00 2001 From: "LaTeX compiler [bot]" Date: Tue, 23 Dec 2025 13:57:37 +0000 Subject: [PATCH] [skip ci] Build docs on push --- docs/docs.pdf | Bin 319262 -> 319326 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/docs/docs.pdf b/docs/docs.pdf index 89fc33163604ac38940732bb398eaf3900bed24d..9ed31fd31e6f75dd3e664a3560ce1ff8b58ddbdf 100644 GIT binary patch delta 5551 zcmai&RZtWF+qQ|N)1^U5K)M!KI+mrD23fkLrOPFk?ydzS1*D`?LOKQMMx;b~1*8P! zd;fRlKlqNmgKOrRdG3?@;F)LUDf&#Y^_ima`Y)D*P^Jxl3)xG%ma+%F?Cnz|gBV)2 z+QZ80F%q>vs-Q@g@fW=V0uBcd{<(G_V+vPWxA-AahpLwAi|pld<5RiS7m0pN+8Li) ze1d;=*Lrx=g9V2cCwlluU;lJC8J|l0y9xsx*~9iXv%WIi26ULlR+}9znd0x%U$A{+ zHblEyV*Bk5Bg1&~%c%!7hNcK)tzwiONM09C{8FNqKA~GCv6W1xiO1gwx0?`j_(gYT zRX%RHgjbe#+y&SSFVe-_?F^!0P{1xZS$ePc%QponI@C z4z7%9TS-C3^ZBLVwqQ=JUcJWLTfe_QW;Xh_8Ky6Vi9Cgk?rcWrohn0A@&UDe zY&?v*4oN;5P7}fQ56>aZ(E+143C|GS*+96tS@e4le~Bn)%S8N`6^*xw<84Vq7YM?z zkLdsM!r?p1H+)SByM(4q-`@9gXg1hGU8r%z;59KrTp`N^h&ApXm0Cu)@9n1#;pgtUV6j>f^|6mJj~VG~lNNXo`&C6@0H{kX*?4VuB9Z*f z$ZW7636j5aO8Ry@>5`h0OmuF~z4Es?_dipwu@E^;>0%RYbaxXN6WG;Z!0D8Ms^FQk zft}`9JkabB@o{$1Uxuf1c|#lV(%UsPm}Qypx301GT6m|xv?_sambm1(m2p9@mv4qV zXOUKJ;BkUnM4xTbIyCRHKNvalgsU!~#5?CNdx3}dzLPapYW_UOb=I?d6D|pNTiSh{o!nom_wzO;?@4}AXcfGk>VB|OQ0#nf%Fu4>Dh7*K`OqHp zGKTdw!-G|$-5QQN#hQ>HD|q8ldG36TK|=Hj*~$Zl zB^Kzkg)4B8~l_ zX^IUKuKu(d12!1O1#trcWB@#*F*fdk=sOp?V-RDILYpXK_4Dj|1>E0jVVJb!>q;{Q zX^uhkdOTb3kd^h;;aSxDU-28@WeS@56IDswpy8F9QOgrIVKQG*UNj$zeH3guh{3zY z#Ct3g)NE46*4TO>@E9}r=RwPe4E=H8sZkf*AQ4iKRv*6!Rgf;7$qhw%ea(}IPF=`Y zJrz))RM)+&p>?C*xe1hAl?Zgf(F{xU>dB+jyB%UKZnDCam2=POuoZ87zEGX)Y-SWX z?lFC2u#~U(pz)_i$Z>_+S_t_2heUB~KrVj$VHx-6YO{gPuSy$yjj%|^4@&yKSPeIJ zCevS5S{7MnuPcVT6Zrs1->nOtraSK;IxC1ME2HS0Q+W;;K%XYfm=$KC0BuFHwsef?X!& zt3+RFUyt<)^ghl-!PW%>lMBvvD#}(Nv6V$^w-{_|jIUxmIv$SHVq@%b`E=C4ChzrB zT}&9%Ag<)?^0I~h_lE}N#vz{&q@abh&zn4zU~aC2Ch_`Z;%@>csc)E9zL)6Tj;7Bs z;k^WUV(=5!aGZjso2%c@6EBFx<1^}%CA3Kya@JL5d}Dra$qh8VDPodLQ?iazRxT42 zp;nWd!_xV9NAMvR*;U3rW$;mqIV6$r#1ztBe}JoX!1fXvamriI zLm1@_mdslsHEEZx9rNynpV+{-!?($g-}4bK|89=@I3spXk%A0)4KGpJiv_H;UVhBO2!(Us&8M3cAyBjQkaRpK+VZE(2Mx>}o%WL;ekWNd`TbSbmSs1xX`Oq#V70*BuNUskR7_=%I5 z=d3z&4x6H*83&UVh9&mj(~kPBjR{14{innocq_QY;sxf-?8VQ%Qh&PLh@S!=y zvgh8~1BCk^9CeZiNxVsumy#kXH8@5>t?q*xv-?J$dJ@ zk%{N%p)T<)9n@eM<{!N7IZFFYh!%j&8O^fNFKP39x!;^+oZr)V>l@ZeXd|UDuL>?@ zJKz_`9*0JuoiEpZzdAuQrp#WU#!+->oO-A-RBvD*8VgsYtW`IVc0PiA1X=-@h;obv z*x)!+L)ae}%2}wsU1(MxMB*a#6o8MdrOcru$G@8L|GX{=a zg19IbF6k$TijBM5-GG5^Bsggsm1GVSC-wxju2o&Ki^pW0v^zWDJR(89yzVwVewhGI z67Iz%|KInpZa;KiX4q{}r1Hwixl zAaZF|Vyn&qgi2>&kUzCNU9-VG2()q^O~ZF{fu>jq&E0DAp#aoEMEJx}g96b_sr@Y8 zkb_c`Ps~+`UhmQ@l4s(F5QyMv|Ilf^_YZo6&sXQ?)riYHqt)NW-ITAB&Da_({L4*Y&&%oodSNb_n9+x+gc7s8Lg)asG0`6_&3eGZh!Lvz6$}5Ph z7y44=lGL(0y!@(m@31j{$YKB!IbNYPi>Roz>Knt6VFT!7 zoawrfCBepDrL|B5tEXMksOv5WjjqZS6ueVOm7MGkfAyxmHXL!Yy~lN8t1PKZMW(>| zrLJobiHk)qf90@GI?bD$UxxCi>Sc5J97Iuj(MupEK5ucNcV~)0RMjJvINMA9(##xn zo7=7D?gP`aAODCU5rnCfa7wC>=F-%l!Lr*L?m4P+r;DvBay^m|ho9t4Wtwr8L(dFT z`I8oGQN=o3wX)9v-bk@~oDvadxrpW+I&8Z~9_xz=Y?LO+LmkSA_rJh%iH2!hOP()a zn$pQ%Pf_WPqpkq{rj;h#WV4e@`ZGyN12haK)}^6T+Isb?EQ0GA=WCUSA`?k?xs`BK z^Q3}8kmt)8I{bz51>CLaDj|CeHcFvKTc$6waNzRO9 zLr_~f`fBgkAO5?!MY2?+iY?8O(+8Wp4fPBCcM$1%_}QdDFlUTrA=6~r4@I-E*J1v~g{XtsDF!#^-(?+Pnt-iF{BX6%ZnLLY|+U~yf=7oJuw{%W7+d*qh?-5qGZ+OqEk6wbDt z(Y8A9mVy_ziZZ}Di~LT5`)dztcv8Pz4~v)>uXPTKZe)&Ay8AvqetnXAaBk~Dc0Tr; z2s8)?P=A3x{`3v?zh787Mqb!mpc_6|Y3k?{Cne4{-h1_ALM9uuzOlRoLf?XhS*~5x= z_A{utMhD%jzkUC@^P|RF%a424 zKg%Myq{%;eq+>(2Ze#AZRD+0oEdTBNI6WgqzXd(~8>?+uSj&VGrMQr7w~&yfyq!?| z{`tr@&b0za01hISzvp=F-Zk1Qx4#syF&BNzPvi0fBCxowMdK122Wg$~oOc_S3nl-? zK4uB6`C%5^*viX%N`7yR6fGcQXpWu2yX-YIY;Sta=DR&CE@gq29hLbbm%?bym5TCUQ| zMV#&@!?C|@0eVGRY4ix2wi3^bcGGT*Q&Mb@o@=45c}`sCe3VqmcDQ-&HigsyPu6=4 z!N%?i9PHT0*n}0P8ehL5NIwFzx*92d7vU&EAJ37L_%3(PaRoyVb9f#fZ z_@Vn&0k~4~GTxM+fNEH0vp9W)&hN~f*GJ58pmD~Np z`wBE(mcCQz?EL(tYrqX;rxibI9xJ53L|aH|0aNdNj1#-CFhY#BY>ph}TOuqh95XE8 zy*(TkPg-zTXzXXLNn5yhRX2g^U6$>=-R!=RLl*i_ozOXk67WS*`P5I^7w}5>Jn^e^ zGILB9e0!BGj6~%bW&3@F*Q*+YyXbbi3vATae&RYw@6$Lab4>u<#@n$@E^}Rpb7;Ij zO=uQkF`=*JteKq34lZ+v{4~E&li+pXU(}B6i{0@x`ZBIjhBlb1o;TLrpNy#%0e541{8X*57=0bqYOo4aHrbp6_ z!D&o7*DL4Z1gFn^o77) zA@m%p7qRloA*~y;0sZFULwZOFGaA20^&AHq!G>^5j|`jHzh-hwgNEts>g;H--bP|0 zDlfFzkYo{1#4AMR_)wVY9}xt__%oq|x6~fb11O&lEj*;Kree462yPcD76Dv`tcEie zcfEQ{dMMOn<8)31ca99#+0Cwe5Myb9koKKxtu~U70_UE99=&q8Q^_72ncfIRo9=&v zThGd|?BD$3DYCSh?g#gPq@oPis)rT>i4GDP#9Y)Cn-UKuM>+gxl4JCjNZK)zad$XG z8&@oI1_(Pz-DjycIcUej_{PI!xWa(Cgp>Wax&V~=CO{OKXSU!)Ar&y7-EzdtF2$wd@qp4 z$T-){U6sl{-&R?V668u~Aqk99T6AaPZ=Tl3Tz5bl?A|4SKuof9BhRx{9C*HG=!dTOi( z&$LGs>n*vip{{C7`5vs*;kEXCX0MhUK3$I0tn-UMplYUb%oq*ZM!aXPtBxBt3%BmX zEc=+eZVThYk;w?;$@jR9r+CCIY&huT88fj;a4Y@Aw&C!Q;0w8Kii`WDI6<^(@U_bD zig}1Z#YU!!VhzC)oP#%v5~#1X*ELq$EWi<+MX9f^24nrNV5t$XaD-)H=>LD2=jl%? uCx%TLl(*$P9If4zSXp{MVUHF2z9zJHw?o};0T>7+K%#^k9LhQ>g#QEI>t>w* delta 5467 zcmV-h6{PCkz7w9l6R`FD0Wz0ST>&Y7y;$9E<2Dk1&tIX3!&NR~S=6@{I9$6Qz1u}m z^w3<|B-3d-rv_SO%F}=*2P&LwAWkk^BAPsawqWoD4@09GS`U?FU%5WIpMlOE+_WlFh;tFSo50+eM0_)4B4uBZ!A-t zHjH7OdzpyAHN*B!HWl0a&!PVvSuWmOUHo<-fWvph(OKb%EO(0C#ru!GQ^MRk$M?cK za}I`c2b_uLCn1b$=ckK*UHH>~07j7`z^5n)rV)%2FBUmjA{I*_g4liAEJES-9Rw79 z%c1D2wwZ~L4^a>hO2OgTq8~w$x?1%#XxI3g%w{3>y&(TTWZ{D^qFS+K*1}ThYSXBa z%gu@W=%RBiQwS*8|HVD-2V|@-W#*C|CpPq69YHVwq%#`*uy7V=%}v{JKF8 zS&(e-1{jI1|WfZO?84kWLc^b6P6}!**0I9TwpoT zRWEyHBIE`T4_eyrTKdt$p6G4YGe4)oxWP2CYxSJ~U>*_o-pp-(`+l!qtX3!qgn0kK zVzq@bBb&Y+dnwjIfb1fsfLLLF%~b1~R4Qf?|qRa@<3RTB+7oV5<;N_C^^ zcE3|i|ILYIb2iNbkBXKN#{FXeaTueXOtI5)=-VA2u#h$2*pNWczN&F|BO^i+sry0m z7Fc&+iJ9xS?BQ5{jPRps?Ce6gipJ$>7b~ky6@A;?kw>RB99#(lFOL#(CE)V?5_SXD zB9M^A?yIeA0GUsh?;mR=HJjPAy|T8+o)ckx=+s8t((E331n!Eeq$q?I!nL6vh)Z@y z|JH~KWc)$3KUW+c+3@Od$C(Nud4Cy;l+}Qc$3>mm*RoK5=h5*&gwY2-_W4)L0u>n# z6=dLyn8-CE#^sm+gIt?|Aoa2=;|zGVgTXsZQSC~1Pa?wXe$4@}~pfGp53Xr{}5rO}v>e|L` z1SpG96uG~DV)drv_--Ms0&NYpmap5I(@!8Yx)3rmJD-f9eQ`VPmEBx69&FszVi`lA zO>*I{FKoKsw{`!~=KK#!^}fc>`;qCAmU~EOM)rx&znn@YNx}U%6|OdC0fidWtttk) zi_pDJ_ZCJEqk#B73**&jh`R0n_yT{Kbbr5^cf~q?@C2l7S@~XGoAaQmH6i=2^z+7? z7DvD!67=(69;8r1K{|p;xYQ(6NA!mikE+;>pBIybxo9$OhM54?JPoY0CB5C{PD0&+Ha!izX@^bYVd|^wtR4sw71+720Hl zXM@Xsx$IY1U}Nqy@H;xiALh4ip^A4j=AN!~bzLhW^~|=TL&*S5Y9UO?h-0b&si^@( zpsgC?8EBv_j&~D788r9k88E^$A_tttb(pI8HoJ`d)cv=9sO+=W5JzJ#nYe%@Nq~>S zwdMV@?E=m%qb%lQcu@?UNwsF`dftAVd)j_~!)7{y85!$wV32?V=wMJS!OJYq$EImG zOw*)An0OjhY}KJUT0NHR?$A~J*uwJ9?2xb|hCs|38fUqQK>ExGJc!~mLNPYS(?g8r z!)8%oT`P##*4&>dKD6Yq&Kg<^ps=X=hhcYp22d}a(+zBiJ9;!z3ibVzZ=%=miu*@@ zO8O%uI-1oEAU&rIpiR@8Gj(#}*myMJgA=9U@sRdv|5R3`<^&lS*7ai{4jzX1DF2BV z1LNmG{<9&TXg`hdR2v>RyYoTj%fJ%{>TrAyfeUb5%jZ3VjK`z^>H~GEJcF~okwH{Q zAr=iBPF{zIaD1+SkFlG;xTLz-)U7Ok&B2N!nHLRE0LS6+X#yq;Zg8OC_As(zt3l>| zqGNoKOqB`-KmYWKpK6$(n~JZ*3VS$`)&QoGhUP++M91}iH@dLv zmv*VS|C>V&FRx40VbcQ#t|+l*G@08{ink@c4}mJYR#Mp8-EuB=Z~?FZniPTEm^o8> z*C$uB=;V?Rp4{Oo-uR3=cBY%&PWc*pyxLJ##@EET$H~a|{4DvBx5=}Qy1}I8yjI02 zz{vO@yd)z7KZs4xq9pe~gMCvE4QYBs>>_(;|9=6Ic*!=C(E}5=>;(ZBNdYvM0geGF zmo85M5`XT_Ora)l;yMk`0EXoPZ4Dz}Bsx*6k^)85PJeyBIl77|%HpX!T1sH$?)GN) zzMJ`Gc4l~)IHZuN1Y*XqhTH_l7D{S3N~i^6q@ju7XhA85oKvs@xlDnQLNMn*IoCfCyFb^ z>W0N27&r+8xdqM%>#zjo0zuZmMSZ#jZvA2@ur#a;C~OJfOU6r0wk2H3=SCOQ@OftXe~50p{95#Sq>gh1z^-#?i1k zZhr`{Rg8;r@Tm$-`C94^uF$-}IJvdZk`z}$XgQThhIShlAAwa0ZnYe+HZCAqaUlt( zZoXD=f=6V5ggP?6WxXZ~#IU3vDFG_DU0yr%wQ z(!HFWtitP7Von5$Yi#gKVvRrwgG;Oosi)!SD0Ii6`*!ha5xQsLi%ZNqTg)Rr315CW z!N2i9aESt5;>BYEm{w}6+3rM9#(zU076~p3t4DRqHjWD7Hs;u>+>YYv$7>*w#)m>V z!X;o8D2CicDZ-z3L&>Atrdo=M@I)XABeYbrC|d5cO&uRa(`X({l19YaDiXD|J3+M3 zty1A1R5%*K6T)#c+G&w?0CH47K->UNB^K-{wE|LYyP@Rqp)f_N{iYfd9Dlf$98(&g z6&@c7Tm}@@EQMAGvDJ1XsiPw)R-joNa>K~SoDOiXpYD>2Lj3m z08}j&&-UO40K`OolP#Fkle7`CTJjk1gbDygq$BxMM zce7c>hXRKx$TKNpKT4kW7eDTXqT@p$M#i?*iXhi6NMo3FHxxSnV-oTdsp{ zC8%i_W9$%4&MMJkjxccG($sY|5YGX89A#Z>s0XOw0Vsi3n=5P}pnvf*Z$|E*UTL(9 zjT}`B#!>U#nOKeQO{lq%?plw+djVWQ<(*lC9E330;<~)Y-i>mbONvs5>yN750MaeJ3c#WPn!2Pd#%36!Lang`L)ER>}jk za)8t`BT?{XBUf0c@4^Yn6&vJ52gyDA6wfm&r%LTRhEP@+26kdkzuYdbHQu^qP zOhst$w(k7u{QS)a+0cEnIA1J}FQzB6!0Rb5rmNL#IS+Y#`N#LGZ;w~g)htjyFzKEz z=BpmZ^S<@G9>xVUmOe~+?wwU6gzF3PZg5@S!gIS9%f-p@3~!5vJ$oLySF`u4@Mcqi zFYsOypqsB|^MBPPruQ%8YPwupEl*~beRsDX`hIqLHvM|>KJ<#MUhJWu(L(D;_+q-m z65bzx zfet+zx~E4+{S&&UJ&(HM?k_LD^S>{CUac-Jf8TYNSAQ25i{&c*V>&;({P}A2pLnwP z*H_a&Oixdrj77Mt*dSpaFSEQo%ZX#(TlYFpK7Z9UmII)29O3}mvewHAGSi|oNVZi% zHc$r1R;1p;5P18<;7>zj84*iWAH=nBtI_opf_mG}(VJ{JdaHXndRxE0|LF5+2fx4T zG{!atOMk(I#5s$qMnnM&d3^Z8l_gxXmrH73oLGb&zcFD1|NH;R)_P zL)u;h7v3Vc(4GXBG$ygfB9r9dWZIDZG?^a4=>Ai=)Dc6Rrfml3z6@A9jsMKNPY#oF z#go*3=|@V;ea%4XKg%O!H@$xj^X}cdxcK*Md4E2ezV-B_!^v{qox?uwd&B(TtG$Ie zFMs!P_I8H%JDL6P)79DO?8##bj$-%Vvkec9x5+}^{>8-**+wOjJY?spvPD?`iG-~*;_#mTsGba37dpKOkk?FQs*O9{lA3Bv`q-x zmk{d>)W5o2A4lD=2-d8Hf@JS8OaFSF+w;qH%2ryLOC!+F+?y$LohTjHZe6uI5;y!IX)mfML|O`LO3%wMl>}-IWR>r zL@-4|Ff=eWF*QawI5R~#K3xhgOl59obZ8(kGBh`rG1>$we_3cNXz zH1pU@ZPTXdJf=gEro&Ea+cZtuCTS}wsGv{2_@JU9LP4nYP$-B9#i?LG6hw=l_~3&N zq7S|Zq6dYdh$srOiTnFsKGy%Aopbg%|62RTIajrkIP;5O30yJfYFy%6!I}GOA;Ntl zY3A&vs>EC}f2S(voU2}mr~$R0VZ~goLs#=rHX?tLEQ_)^%KTfBg(%yiEPGtCJj%W( z3!{=1vHC|<(Omf_s#ck+cve*@F7D@P17Hxi6)sdpg!S<~(nVwysK(oXw}7kxwRjux zE+gweJ>D?hC1e9wjkgK!B61CA#M_29k6a6y@V4X4e<7Pe3*HXA3&>W`hPM}Q7TFFu z@DAafM|OfPyu)}i$ZpVscLeVovKOqwo5DMb>;wIH9`6it01V=t!FvEX1lHqSz&nlH z05;-X#yf=^2E4v+z?(*H1|xX;@H}!07{%LDvo zykp4Se_#*Zal9$yUce*$3B04o{onxJNxVtq7&wTh_nkl<0&K&d#T!Q+0c^vc!;{qF zNxT`n!$>`dPwda*=~mh#Tl2Gc2a$R~w&C?nwGDloX}meS14wt??qb;~gFpz*8$b&La0Ogkmt?O-#|o;AOWbKr~! zr_6c_T1=cEbrOPDbm8rBjTDbO^5b27}Ejl8c5>KuJ5+9J>v;VP}7d>75e za$0u{&jAAo$bmd40|ihHDnQZf`b+wYN>B|-X0zAiRq@=NRJEWE^n)6+OaE#~Jy;Fa zfJU$uG=XN&0$M>EXa^mj6Lf)Y&;#fa&s6w6FbIEiz6_W>{G%SpclOMYXK*|}BA#Cj zuXBFkc9bXe*%XZg>5$4kj5C8Ly#QZh=(C?%tmuaOc|N>FJL ztO9=}Kw7EdA+j{)akED^tu_1krm8wihRRjdTXOV0RSlLr7F4aaxOLR5e*{{3}(>mRlND)nd8lzEIU_xjRKwZI=7|9aZg?uY6TihvjG9Rn=+v zhyGU8W%(z5Rn=|z7w^Zf@p5;>_1TD5Zbg6GSdMt@Zp5t*BW~Y|c>T|aH~S;*?2CB& z$%wm?5zDO+AIwL5bRyzou73KpZcnNysiyo_m0kg)kdi_c*M0XW>oQWvNFgJIj1)3b z$Vee0fQ$e#0>}s;BY=zmG6Kj5AgcikNyd<5OhwjU`ENJJ2Yo;0{s)&(b|4C6Ze*7^ R-vk>9H#Ip5B_%~qMhYiEYR3Qo