From 54f6a141f3463f862f2836a85a994ec3893319ab Mon Sep 17 00:00:00 2001 From: baiobelfer Date: Wed, 5 Feb 2025 22:29:08 +0100 Subject: [PATCH] update --- doc/main.pdf | Bin 172105 -> 172163 bytes doc/main.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/main.pdf b/doc/main.pdf index f0a15c71531a20dacd5a1065245fc2570d9e395f..847e1814402f46453697b50ad24b702742f551a2 100644 GIT binary patch delta 4837 zcmai$Rag@YpoYoO;b@TVhK(B1jWp8TATa^y8eJ0^(jlOd0+M4OHA)acN@SzEOF>Zb z{Li^P7w7$M-|O#rzoJPK`bnE|$?#<)WU`$|1Yk&Oz0A#yN4-~#Qzn1~a>w@-5I&5x z6GPW*;l5Ms+m(ccnai3x1UFWq-my%mr6zwa#3uHk$KG93!kthd4YCzV$TSC4%9+*4eNS^ZbfKLdCuF0(FSDFqr(PpwM#C-9a<)JRARG{l=1mo!95!i@15dF+ZC$oMzY7-972KPF z&R(+4OrUEc-msFat(>(G$x|C8b|c)inBZK5$mZ|a?9Lx->oOs+bOI+*P6V5Fu&gP- zcT-R*GVXb5spz%NM~okL!OgvPb7ysIb6!=7VpJT#-lzl-M1svwfK<1+5iE=mJAct< zc9|Pxsi@0cs>1sQ_1)&0@Md$V%5sORNYe_F;Y7I+o+b})6(1t)P4vIU#8&r|h7GYR z_3vV`&YE+Io|lHvWP0?w1iDDTN+obD+K6Jql@Ra#4Ncu6&02}MLN69n#B~yBVpMFr zziV3;RaxvQEYddKn~cfc9%N?oIcH60pDQg>oAQwmcz|Na3~7EkTpoQ_ER2M<@_m~; z33X^-Kwt{O0>av_5$nH(cU!F3{qLg|!VS=A5;$WE0f*W;xo*DR*+L$$C|?T$5)=FZ zm7?CGGt@hQ4PC3Pk>GauzR%;1>${<{_`2k9PG0|`pi{t=(?hg9mQ&c5vJk4dDd*Bx z)T8*(`)u1&*5d=?&s{?k<{-zp*0+Id$oK6dmbW%nmapyG0{%Vi0b>=JcKRF) z%xM#XOIUYO%s0aE=P5EUxgVk=+-i}Ox1Zqon|!uC9#C|mLDv^)L`0T?IFPC3`8He9 ztf^2{(qsPQ?p#K`8Ik@CBhaU;o zprA#}{71I2PXqUsy~+f#+qPBis1{fdj^+|CJ~zmhrym>s-V zeq-hVOQwuKwAo>mqE+7~-y8<RaIgX|}NHmLJq(U#pGs3ta!O2@|aT*aH z{~CL;@?Sp23suU+A{;y3k~?wgxk3f`Ik@!DxkZASHiZynZ@>|^6=mLXW^hVPQVV@$ zziEZO-o{a&3n#%q&Ml$>jb~1+DVd}B5f}YZaN5Uq<2Sv_d1|}P;A**<3=s?WT1Abd`sr4>7qnD+h^ZDcR;y0>^(Q?6PYxYnd@|0euaXFV71VCx% znc~k;PfHokx%EX8o`P7E){E6ikBy;NX0J9L|GVI9>0SO$7YlSW>~t@55o$oM?ai8! zCzLg?iW{A}c2sBv1^k1UJiq%Dh!~gfmCPXHtCe(^s&sn4EiaRp86R-7sJN_uc6APx2a1HuUr+!}zw+q9tw+fO<%$TrY3{L0dRc9uoYY_6 zPjNV4OqKqeGc;+?6@rZdT+dE9iiQFKm2!F8KYIm`lg{AmQO=m|I>a7J5E+W?cWGTB zd^C@yhAoI-oGOTbZ&)4QT!&k2lVl`abVRK^Ji)`@ol0O;_MQ;XPEOW6U1oNYPHnu`&$o;T1hotkPi)E7j%3YjLL9 z9AxqOdCZZM8~|Q%8CA{xBwIeU$LN92EVL4YIivO^uCX$r{1>DrQy6<3q!2R!Hi4Z$ zyZldMmfz=$SOWKcwC(ORh5W`9tk!GmdEmbsAcvprWI)=4iayxR+pog&5AHKOVt3x? zzHyC47ugI7nvNJN9)&diV4G^*9{lS^(GK}cG!lre$P=f#g8qoZb4zobJ&WT=0*51& zpk#U>R4VUpqn1{cMd#X2Ln#0#7uZsezbiiqVgZlueAmchl>%fTs;|S|$Kqx3^m1J- z7YLIp^n5`pyReskMD=D%YV5K#J@GCG{X;R;IUeXF$8&Htw@EK{&@S4{VvvcQxYHy$ zVP*~4xVI^z(mdwH%pZ3yQxvH47gII7jf@iO*KcNCNj}kS9R^~1iBW_=*iMFeOX+%u zymbs*TC3qY#D3eggS9u*UQ)UagJ3gp3okC)|DtH|e1@oncBz=D<;C*m)YkAUlL0Q% zHJh_^S4ZAU#bnK4ZoVNFGta4cGt+)7<#NA+RA8IlLOw+@yzBBGkHa+Z0FB$>%%&Wg z_0hA4R>*f>^w7%ltIHp67%N%j2y&oJR`SSN;TcT7^BR1@m;D+@J;N9uGw-C)`>dt+ z=u+{9_!yS}czP!P#}7Q;@{sD4v7fwlv{rYK5lo8nclqzVWkTmCu`JwzDLk~e%>(il5#Fl;hE0yReVf|ICM*d@HoN@IEjHGC=JtN*HyYL7H z`HISiiP%BjZT}USdOnhz9$^>~M<~6iG7)CHd0tNc#27wO?jdhX^PxO`OVX8$n7GM{ z+LHdCuf*kA@-KOSYzbV_t=FF8$Ym&I}vSU|h=>dPqBWwKX@2Y87y4?{>>(h5(cgN};EYT%n z8)m7fPle^u5&ccwz6W7_g+rU7>&}-0rtM3+(E~6}4u9S;mY&1$?<$U{w%C}HZ^61q zZ}#+B2+9cRN53s;(7d2>+l9Cd?(r@LHw#BhVw;7{eeN4ol)WPq&`J6C;MIJC=Hq*7 zR!ad+>zprx#Xm|N2oCFIvFMQDJ57zepsX)Vm00{K;FIKv$P%Ii<#!MG*u@$5)_OWB zATH#8Te8P$5y~P<9X)S()*QYb=pomQqZMnn)~-TEpv$(f5aaJBZJhlyPF!cE@w70v z?M(x6d;y9p`gK`Rp@hY=gNva=o8+h-vfir1Py)=9{6@Z!0LEV{F+1lVv3 zvWEq@VPU{uB~H2IwqQ9BErWm2JC{_-bX@|01b($c@@_RBFD_DlfKj|pptR$DMZqM8 zMI0_j-x8f4@CxQicAjxDk>QX>T^XwsqX3cfUw$$l-51v9zwC3hynS)x-ChtGu~VvC78NQ2Ss#Oq za3;$B6shlQ+Zii*=Cd;h7ymh4Uq~tLfqx=5B%z{wVZ@X6rwnj$fql#M>yu6j{&JEu z%=+9fvKD(ev6{e>Ke!j=`SjuB933vd7aWtlNx2OzbOP@$E*E|M(LjuuZwp1!oYrE=ZdWHuVXSSMVtB-?ksM$jij z9)2Fg&ZX&w_)F}sz-|QONDD7>YB@GkDJGecQOpF00;c zoy~_go{X}2nNMQ2FvGn+vPr_kRAOo8K3MAcHr#$|?BnbU<9W^_%#H}!oiBqayk3+>;CRz-@|j62f2L*F|qH} z40rE?X6~l$Fg^01tbsJ$aKQ03MxE~U2F=gv_}Kn;96rB?n3@=%Fx4#s zFrKAj>q%~WnO(ZsS29YUl7vQqNeHn_)={onsROAmm^SRmHK*vBk|(STbehWr)r&h$ zXjv(6YtO1b!!zXQEMnLgL@lVJOt4t3eUna^9S`u zhEIsrk&&8-iB6}v9lV?Y@K_eKk`$zSLe;e3neFb6MUw#d7%acdJGLv?0C8N2}G^(cqMw^CN@3`^KF|0^Si@G8XY?CN|~7 z^kv#DCyY4+uz&itDNs8~cIil~fQ`MQ(I* z7HRA+J21BtP09H-CUdwS62) z_@Y%av`qRfg-(XG1k;drnBL8EQhvz4bPmKl1UnuBvuo+GcX<^I>DxVBt;-mQK)Tza zc10?QS?;dcMy}c%!v8!*e(d|{N>Y4-{1h_T@pQ7eSyP!|m;PAP=b>9zEV9U=Uh>c> zSnE#YTW8PX#L&f=%j>0f%+nXGm>JOGaRxS_A&-6m^E{g3R>7nCk2&pb6Vg$CWI*=M zT=6E7#_tH&O6X#c)ZNi@{B?_cbAv=7!Cx%JUkn%JFNR0u$`1lbNefFz@=HkY3zCW( zyl~TS4sz!Z(2xg7fTSfr64Idmkdj7KW#NU9n@DP^N~%jqfMq2#q@-oEq(CxYu(XD{ zoTQqX%zv7e5{JV7tJsr@>$^iegS*TB-seS6ofS z1F^Y#YGn;Ap4U4|eY!Y-`YGY}>8kX;GkT`(>W_g4v#h8-r4;V(WTTb4e}D6uvxVhS z5&riQVtTIg-Mj3+%koqNyW_cXhjRKX0NYa}bV8lV(VNoUaY8l8%r!~!H7Tew%9$yg zj46VNDN-h{gpj>h%{^0H#p~?lDg4uQ{0lYqs6?YFD*Q7hfHQHjGl7;f`4?wAK4;P@ zXMo2#*?7M~R1%?FEN|`s^TR5ret@}t5a0{zmpMX<9rY`jg!QKQ6Rhr~0W7QSyvGrQ zLWQ=DT4vDRNILU|+f{h&eaxAV-kxGi!3xR13b2(612r@0ZPY}#uE={Re%iF)No|<~E9`$~F`1{kt-`>mE zV~oT>z`dtGJjn@sh;T%P-c#y*@gM6hON+c}tCe8>c_p}?tu`W5{)cT==1H0BuYZBx zt$u&{>4B0Uq9TF=D2aF|1FweDt_DB;_~3of%YI4PtVmki_p;B;9#%k*j*g|{k`b;H zywj3BQy#$4T=@bYp&2k6P$FW^LYRujkG_7yZR5yel*BY*i4rPYo&I5)KN`HkFTESU@ zd!bbD8ltB_A8`?yZ5T1ne`JTX4H#`{`{f7^kN_R&ryvK$!x=@fQXK0<3sxp>^=qY< zq-FKY6?+Dith{y7*-x-PzB>%cTtzeUGrbYKgLvMcj^5M@p@0WtMjsvUcCTj|(8mw( zcj`#^v*D6R8aWeB-h##W%zt1sA`Gmk4*>JLvxcTKL%U_MBmqS3WZ6hBNQ5)~fwYvA zPO>zPwa{sD$ad~4=WqDc9miEf0wrhXeYhhek0J=nXu1kcW7=N&?A|?z`Q9Z>l3vW` zwA!yAu`%&N|DyG=hR203dA4uy{pDObO~8pT0Ltod?MFzJXliN|3xA?qY*tMUQ3Jw2 zn!c9!S=lI}k)NffeX_mmOy+O#?^p8%k{BjKO5oUeZ3d5E|6^V0AuVhQnXW~nIHDiT zQ6E(`xcJ44=_rQzsZrDpnn(4bUm1^TQM=O)AKOcjkB-foq{t_M>$DAH!d>KI0-4Z= zbWY*UCR4y(CScAb+JB&}J1Y$H^*Qjl&R$Q4WV=hufbyGek8>dP0)AOV+$ZzOJqf1` z7eq2XO$>f7F;pN)gvF~E)#ZRGKkf1aPd3H$b|A7)5(S_!+3eRG5@H9n9V>B+#Rru! zl9CFth+u?VGOEe%Rw=RLZu6=*aVii8(10^BU{Q=7I>Hi9*qlBCkX`h z06h024bm-~ZGS$m%Sy8+0Jm{nhOf>IHwv*}3V=J99dNG@3jwodDqAPPvDGop>csF9 zT@IBQFYQ>FG%b!EUFF%L9$(GNqb|9&fT8Ie^dwtU^y^|xqKpJC4P8y@i!5yYZt6S^ z!mAmel6m^X0r&sq1ke_R<85h6`&bQatpk@J?AUSTvwt{dw#*ST;)vwj8JvO#BJQZ- zW1aMz*l`Hl`J5+XeqnY}fQ2LusivHOh$I46N+N{SN-gSIh#l0JZqc*1KqaEbe>~=+hkz=5KcXC)~9lh;V=}81xJh(lE8;( zET`IobI$j+Fj4)U=S-oD&#F+sl&}eSK_2)y&#PG4 zTL6Pw0CIe+W``0V+9l?ed@IUgN*H*eZ-3D&2Nm$pp-_Fs?cYj0#YcNxt1Qgza-y@i zt+O?g-StzOv?quaqueK}vbokQ748ru?+tdR5HblxGmNK&Ft~!|SWYRD1fHkjzyjI0 zhw<(WH0yU@Lc+M3ZZYPdQQsR7Xmkv-5e;Q;I&6FhHUvZ{XNP>aCmWBzb~2nUbAL>f zn%geiyLSajdD>Zl&P{h|+P#qvNV&a4>-&GCFU&9rZ{CY=yW+4g`8H6O;OHrU~0z8IDRCe?f?Tboe>3Xmm+O~W4qDSVSw z`%{r=vfBcQa___8{;8?9Uf(wu%zun&)4`0L&E{AwGGc~4TfusiI2d5vF7^imcqDQa zdFaO6VBqmB2L2xV099SMPR1CW2f*&BVcOR>K<7M3f#FzD$4gHIT-0@2qMW>*vYYi) z2ksUfHsbzVU)rp85*+L9(v>6T(97mRt2AF&Yic)p-1 zAVa@JSV^v~y`&<%l?G)RA18~DU ze(57sE;K2G-`Q2#vBr|wc7LZG3#G@j!lW}X?3umT{+KZJXWC7+I&wfrr7ZND1|#yF zoD5}m=-CHo4&ijq6|Z=>~&vEla!0Qk~y~ z5l}qrr{GOjTIB7U_}n(}KU{a#|3Fc`<;V$qkGg{KV!M0+A322!AAgjjKY@>vE&eKe zoF4Mc_&8bizr;rd5$ibW|0O=M5YkTse<41;0fstN>`$5j#S4ZpUt36l zo38H2_cqw)>v7FakK-Q`-~d4g-yEcBANl>3Mr37>DFfgKQ5U`2Z=-wqHjo>OzzZ zWmVX+x=_*=i>dvww9f}DOz3yrAks62e9&Vz%I@;7l(s+fXhRQnG@&>A3&7IlkH$m^ zHNO0{K!r@aL+r1wf<8~mQ8pa&CM(JeV{Mvaqu^S0$-4%U*9t;X(d~-%-U`N zExDJ&!?|&W6uIEkNpQ(g%&t1h*->zk)R8!;=%UjS@WCZ~pyINyqv~>s9kVM*94A+U zItBqqxVl=Zkx~$H_)*B!u;WhcdvmV~)6CqU6A)#zfx ztfjb!i2}$Yq0e{^D#Ex}9kXISbX7VHjz!er4GWY4f+NIMe3R!W9swAW1}P(dxQlpC zuu6ul85|jk3pmYCF+>N&Bm$Jd6QOkmUZFKK5d}DdC&4wjny<7g<}-*@V1NwM74T&| z6z~-mSHM>wQ~_TNz?p#|7c`a%xy-NuE`sACtlCvGFu|{c9=513uz9Nr90t=@7#{jN z1V|KCR}*?D2@zrp76IsCdvkDqggYpJP~ne+7Yc1CfHA=f6wHUPEMcmQafDEcC0f{k zv=oDYwX#JfXe(@nIMP5y3r_|3ju4v~FdJeFKDVGE#!WF^c$pc*7RqoYXn+wsnTBfS zCWN=fVHA875_bm&u7BtH@8|F5u7B;myPTX|P3JRD&)oCp-FL^56Rv!J971?w&D@$x zYp$$0wPrSc_+rh}n#uTKI^vE)3?uZz@J5nY|7k=|p4}-DZ;Ny|(p^~dmo?uur?D9yw1(z0PlP+@ahp6RZb)yIV8a*6j7D*+*-xNA=c*T|3~+nm@Nh znQlD{ zt9r&F$13)vo^;^300C0efL>0qG4n6K{)YVGk))BVd_dBjU4Qz2baEGx4VjC2LcX~l zsWtfm*&C3By&&f{AXE00TjW#~k9^jGl9VC$+ z5G4JJ*=!EFBNVcKK^$2~D+^=9A@FXCGK}f^ch|pP4bMMKXCJ%%<^1A&axqLwC;boo zkNvA76DgdSlxNUxh&@!{C_Z6+DhL>C3bH0ooB?~`_7{XFm4fmRFep`i*duWDHS1m} z_{pV6mAqiH#yR+k@|=TU5y@UDJ}B#rNoEtt z3NK&>lB;p zKnCmzIW`~_8KCACBjHpGg<9lPY+JOp$Qe=0V~d!75!K%QtZ6`M@I_J!l9JclGP|Ha z<XZM!AVIpws_-7e`_1G-UriJ?hLHn)kCeq5DtGJD{lPk=t0wilwwb5iCCM$hy0r zB*>)xV>TD- zzXA3~`;jI@hTGeobVt$t^9}aDY`{r6*dOB9P%e7?7ndxr3?HX~X>qsW#ct9U)MykH zoKo>Dc86V_wZpxgStMu z9poT<+mv?D=eEU`dYi=-mf37?j2>;Zu+Z90t83)vU3OYsMX?WC`NecBd{bY&dB3s~ zja_24K&+{d7q_=P>HYy9b_qd)u`Y+PE&;c(E&>l@CowiNGAl4KConK4DGD!5Z)8Ma zbY&nYL^?7sGBq$VFf}qVF*Y+Yx95=pcnncDF)}$qHZw*!H90vlH8DXsI7C7>GdDOi zG%z!pf8 z95(6oP$eJVE>SvTzEz*=1?$n)m!e{?pUY z2LsTflCJq{XP_UZprDfZIn1D&R2$!G&m*EOrg$7(x z$shQW({LSTU>0t`9NdIkFb@lG8}7heScEFvgZr=q%kThd@DNsD71p2*kKi#pfp@U3 zQabeiZGXU1cm~hm1#H1Kyn@&82Hp~d=ldQ$zz#jp@U6