From d1dbf3bd0126e4f6961cdcad7018185795bbba47 Mon Sep 17 00:00:00 2001 From: Luca Lombardo Date: Tue, 27 Dec 2022 17:52:38 +0100 Subject: [PATCH] final review --- tex/main.pdf | Bin 158287 -> 158295 bytes tex/num.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/tex/main.pdf b/tex/main.pdf index 95a6c2762c7e34f6422c91e2d927af28ddbdf141..b32f37c07443354a1c542883a8b185f537cdcb5d 100644 GIT binary patch delta 4024 zcmV;p4@dCN)Ct$r39ycY0x>d^VFV}v#gn;&Gk>h)MHmj|=;{8Z`|F0{*=82c{_-Xs zJ>Olw`Szz=&15WMotWA68k$B(naq;hh{VX*^=kH8^g$^*|NZ)JVdA$xNfqO?JkBLf z%Z0TmyrSW|;`7Ih0d%WdVM>WQ8{18+`=?yf3Dz1w1d`(8}Q0R^=Wrg z9)G#L$Nn|9s}`pp=Xq3MtD<)`v>NxGe?wbGhy7f~(fvG${7SpB#qDX*io42cQ{wzj zFs#^;2u`}jkKBHmTU;WEBQam7G>(3lr!)$rl2LKmVzb4w&lc{q3#o-QIiI-#;Xt90 z!f|md2AZ8MSd}nBSZQCR|GH_5V>_vRqkn{gmK*qfu1o}D=ZiFIt9pZSnbFx%(*2sB zS91-o;E*kgY4{j2&im(3X(DWr_=Eg9Ut~F&$67SE1w&4qUcn^g=Zy8PtpRm<%_lF?e1E&& zPO4p5p}U=boSWzf0E)a~U>buM^|^FPKQ-mbzvkx>-rknWyYAP%_F#-QcoXX7JQ&Sm zA2m6|KE4I)<7#`iMYH#?wmHK(cUCFV7FB&nKdkp~qT z8FbPOw8EqTh{+^Yh1DAD5>^^p%zwnGuvzvhi`~PGzkTAaXptsqXS5_*ZCJfJj-yr4 z7NCeckM7C`?2>E|R23K(z+E;W&;HU~d27jBoXquCE z&E@LF7gxrah|`ISYv|(I7hGIvAY@tnDwnw`>dh8B;B?5cLK!sOPmZ&vq2Y&7S}4O1leEEPf0%2 zNpN3vf$h|y&2!p@LlU2cEPw5kH9iJ=W(_{TA69`|SXE23uT2^8*hRj;W&y_7=OpDH zj7lCf+=crN`>JLX@;ZBdk|SI_UOU_-ylO4KAB8LEnUbmxc_+@A^brp+PXZS$!`msa zboXA8YcwW{-eDVckSUT0+@uft63wIXg!+rVHQ52Ej7;Td4-ysZL4V61anX{0Zz^)f zHUD}9Ge2dy+|#VFm%;ZAVkly;0(2kBV?)lP*wTzYip5iU7({WBXW9CY^&z(Lsjk++ zuY`NQ_95OmgXT~!s}FIk$`wqKf>Eeap;A3`-2^rtUe+fHW^Kg+baAI?Nmmd(JLNv` ztD7RkOfR;>0K1~01AmaI6loq@(V^Is$D+Rb*evNBhleR&kVzra+|OD2;7EbHlXbry z>`r|(McjMRDT;shna40XZkRj~Glk;-6%}s#q`y5NSBV@VC_qd|Z>;9FT6YNfc%VJz z;1ljY9+<8j$+g@~ok&V6GNb*G-lDruU<=YW@I8K}9f+`RcYoNHyRycDWjS zw;RR<@$=gq_ex&pzVf2pa(}mQO3}sfafd%d4k~xVD|@@08bZCOW3q!vEn|G^Sl6g1_FHT{;Ib>-#+v>GKubQ zDz33ee0D@NG9p9Eao|f;@FhjzbjfgU+}u*eqdZx^MLou>Z-#l zMq>~fjbJ3)aMh2Q-oa@bdx}8qV%uOWwCvMBWH*|+Mpvv40-U=fPe$Yejxv4CA(PdQ zuQ}wDXRf&tMrVN}vSM++Q(N(c{R0*14nT~I+0oU*pMU1Si1}#f^<9PvW+I-nbmwpP z?)kKT!cYrb$qe!Q_wTO0`~H_HnROzv0AfmHKLKfE<(wR|3_QQ#-|HTTkvR7G=(5-@ zPg{Sz;pKka@mIRAdCozs;^f1H2*xGn5jNJ&t@~gHb9~;t;^nI5@v`dzaoCnk%fB5V zAcXNb2Y*W0?QtMx`NeX1a(QUUDZOXEl*I2kxbWKz4?f`Dp7^LFkN!#|n|vr58fSd+ z4a)uT&h-d9uHF?7f*zb|aikqYet8R;s{IL)l zijFy5rNgb`ixUC9aY^OCD-8h%Ax5X!GcV3CK7T$H#Qo8RiEck-4QRl^!RG^Cp=wt; zx=5Dl1;{+lQo1y7`CI`72)@Z!4)C7yMGnmMdn{Y*=Ufy5LrF9#nFy4Kt(wwr;LFZg zfiX_omMcmMbm{zL>;o8wcNqU3SEi0?-Ik8NO35`72PBwQy6HO{(qjHSp+qp1ibd*8 z^?x&pf@-n7O9E{!$51T>fM4HnZ!g5#8iVK-fq9*u0-kdzzhTvT?56h$G0e|B7j@wn^o*}Oe;unGBQ&d>-zyZ;bdDin4 zc}EnwmB=~3tIf$}22U2hlmQPIj`w-8x{_s}ge=xB9R|AIt<{ZFB1!aPP4?aj@p+UF)ZFrTi+P2H2`2e6`T|d^eMC6 zDPuXkUJSt{3=4Hd3Ah=+#M(|}%6}$PDg$OEky(kv$}@gMiwqKj-l(Ao1|w5FLhnfW zROmc^Ed3bcec=bF8HyDy<Y2+`akj_jtB~m%#1Fzuwc(9XQ=wNb;rI+50#Du2Wa%_A;w(6`>8~Ub zZJFX1j`+1-Nr2~q@Ze)L%ztvECVW@wm!I4x)c*IpUBR_9bmyNJqYB@_m)TaQP;qTM zA4jrF)qrv}@imhOYzi)4jR>rgEK|q^p##Xh57J#gp|1?Jucj*9O9!Zg>GNqvbbBAp zWJe-Z+|z)Hn%n*dk(QGVBIr~t>wh0p!|!9hD#>Tw?+)(EhcJPwEZlaa;LiYC9hBG!*^SsBt|Y@=)T<^j`Nh&b`uEy&e@f| zB~aY=$w4*93Sh{pKyw`eLFi=#K1~asVFo@;rW%5Zoyja0CYEELrt>WLG?f^Hw|8k1 zYk)&btUk9!JafA4xqroBc@+|9a0Iw$E>h`|#~62))vPgAxN&e>`Ksn2DEP-zOR zLk)%a2b#YON$1{|Lxyr_oe6`hT|y2G>=&O^<23uX6G_sbo-6>+C#Yv z_)YZv7m>?I@N^@wcAq9T1!ZXS5@bxH%UJU|geDSrkA3dpAAglIfx>G|Nr;bs_vOvv zeOuJ){c&{$oEO<2`9})uv%mk<{vN#2(`bCz#^dTH?3WDBol3-?NY4Q75?dRIS<`Um z_zd2jz2`JmkQ=-TZw5lJ%`SyEE6FQ82XGe=K-nA!s2vLM{uZlj5c;f4zX-pVi7|$s z22L%9QX~oD&wmR1YtDf15(0P-_V?#}?Fke`MsXvD@F@`kXZ zqt37KW#EC_CNY-+o`R7oe-`jAB0%tE^ zY5Mr-|HEWZ2>8m6ZIAweJp2=027+N71^*RK%6{pipZWb4Ug)%h3T19&b98cLVQmU! zZe(v_YJ*Raw@;A)gVO{xGB7ch)?@-71T``+F}L|-0v-ZUMl?h+Ml(1wMMXwNMm9u6 zMME|?L_$M2K{z=^LozrvJ|H|sG(<8+GdMFvMMg$OHbg~5LpC@>LPIz~I5|c`GB`Fq zT?#KuWo~D5XdpH=H+`J_bArbN< zBoTB94Ye5>oiS$2Xx3;b7&97Uq|z8|j83Oi7?m>Cx0-MMf1kbA*?X^li%8jKB4S5D z3pl1Cd2yAB%Iv&DHo~fkJ`a_sB#WUkBC>7Mkq70VVpAnk7hkh(tADV+!WOx$ahrV; zHg#L;w&-ryVz&)$)Aq1ASN}qls1&b<+M<$s7^>7KH}bb8&b5ZmZ%PxZRfJ;nIqt2l^QRApC&<%P)ALs`IU=R#}SawFGUZealh)s@A z3Z!GGI2*rAIY-KgQnrzDjx?@wT&1l%s!V~n&ge%pDmr)#%zvm924h}yIwBC+xDIZB zWquh`mQ=<*g<1h?noR$|S_-njpTY9a7)wBGHv`y)m4G6Zdo3}g800`HAdW^HjSw2i zF%R|q>X=L>jQ|@-G@@q&&Ip_lDI*|8K#b5>waTLhu{N?s!i-26@iCHPe$!89VhU+8 zQeq7%FTTVWk$*BGWvzgI7y&T?Vg$qph!GH@gBFR12NpT#RC)OD{|Cq5 zf@65aG4jqaUgPkfXfpXbmc{Fi=S&W43D9$+=N3Ju$sQK3JD&5Jug-db+fM|gAORUo eZcX`zJL~cvi?yA?mnLcgAPF}z3MC~)Peuxzo}{S& delta 4020 zcmV;l4@>aZ)Ctej39ycY0x&p}VFV}vy_30wGk;88gyCS0p6+kDziud=ZD#T8FK^<} z^WF8EZ-2_wOvWPCiJ4ump=pGa$t=l@NQ|6auV%kRAC$85->?4`CVu;qR54D=<6Ppj zTv(gJD;mBlK7Xv*^7t0#j5n}a=*;?|*SB*SmGgznElh*<=L&vAJ7}G_0k2F{pLRFp zk$>BJ>|b-cYH|8;o<{|?DtcE#t8wr7H?(zh*w1ww-OrQAue2*$+@2<_xT~x-CC>i@ z!-_45;G}E($nB@O#U+wB67z*hit-q*a|dVl00WwE^Fu6n;J=ZY1Wp#s4utUS_i z%cE$OhL0iRynharCc-9(Kgh51MV6y^tVMHMFyz$f6--io&RFl-8c?U#eDWgAw}1QX zq}r7gy4(53xrvSdpvWr*rZI?7pG&9oQ&X<|Ykn@_?QOZd>wfKP55{PNH=$n6gV8+p zQIkXL<6FQ!uC{kuGVWqLfOn;mTn`N)E*gf3%+b8ad7HN`pMoXgAhSjU%I9e5L z0gA};=&pRgF3A=_Re^B<++}mv*DHS;(6k$#+VVJR-gYaNtBq@sp+GKp*Mc!@Y@(mR z$E^A7uV~ACO%r7v{TX`ULFO!L7U|@7th`%7sAcF*$LlxjsN7)(j;i2euz$IWra5`n zT&`Yxab=u|IGwn-hAyss!NrvZLYCF9a+#~5-fY1GPKPWjlu_f5rNPg?Ft+j8O=wsQC@Q#L3_^8+5T~ajl|Cko^Vyl;l&L z1ou@J*iJ3lJg03qB=Kp;(tl1_<72RA*5CvDVHLQARkcL>+LRHGUE~XF7GR8hPE!8C zsN_MzUAXVCuWCjiue0YTIl|TBwZm<~tJd=SQMiJhDXIF9cjBx`AMp_LByiC(yqy9| zckd;+Mq{$*9kx*inIf6MP5Q7e(L5?osK4l2lO2G{$W)H@AW^{{w14~&7cKesrXqJ- z^RGuR^HY|~J8GP>`h9U+lK=+|MHsm~tEzS6&SUjbNK@=x>maPw2A7UGy>S`VQ zO1SrHAL5-eXb$DF`VhyeT)`wM7=bS)7k8SLbOq6~Q|<%5 zx+y};^kO>c$o49nG`b3{hYNAjuf~%S@-L~ z?$lRP#Jwk-qWE{8c?_fDhRG8#Q#cM#QQ@{v`r89?mB=B20>p&$#%gY>b%&6T2iju} zKH>i3f$7?jT+7|miKMh5Guj{NExHQ@wjg~2-{WW6fe8C{hktFkD{Jg4+_9mXj*S#? zyJ1`qKfm2^ujF;^D=+FT_je1Y6kQx2clbl(pmImNvbWo*VFWMyNrr5jXsy(Ko2j6r zfu*aUf$cOI2>}4lAr1REiuOpKcf3isgiTu(EAAsX&kK-eAi&q|uX_9Q?L&_vlj#1o zB7%)_H2maS2!D+S^nb41w_fRlWReccVxDs-j!nt^yP~D@1+Po)2gX%34|u<|(tGwxN&K#Z3%}j)-~;aMiH}P1=&wYw$%mq$amFX# zpxhttT#vxx>Rs_5=)tKLcj}P33@O#nsiFK{PgM256b3~U9}BUe z=$O-0I@~(GI1%6*msAeC(hz_UVsx54^WqHS<9|~@+#hY2==M|AfCelad_M3Ms&=KL zi)5)@fXwqOrAq^s&lOOB;G2x)0Pi_pjzU-V8 z7~`~UxuT>%m(EYdK7es}hw<-mW$LKbZRzN%lw31$K!Rzdo4&&#E#}`7N(57>Sft)m zKYybrs21D1B+%w^4Ao))`1Kw4_Od!}2;L?0usmuWAb*bUxLq~w8S?5Nei2AMMTHd)91tCuXFXq$ zcSNCEiJSwx+MHZw@MQ5z8SsGNc%LV$D_I6g$YSl%VW8{XTHQD$l0-k&WUrnB#3Yny zkiWAo6QON3TV$kWde^H44ag;p0EK6c3VhIUGR=X6j)PG@P5KrQC(@7bDPrF=2!A%@ zVnMkC{W8>dGp65UhT2VWU?pq!Vd?J6WDO&+{Tjw=^{>99e>>Lyc$Ll^dFpbhNvgjv z;1mO1}r`O2Tf0BPACPLw$JZsD0TH!{Y6<^^HZx4BpHLPX#9h1AWS@ zcgk2!uNOmb3By8NQ37rTFtN5%nSZj$l*)ivNvz9@#L6>%M2k#8M>lF{g2BjC%MpA> z;-^CA`D5|NAn!{*fXz^@a4UbF+$<5Xy`Zklmvx0Tx(p>t!)GHsE&W1?G*0lL94f8= zMF6s?s|4O!8}+|)X6G(bI>78m!@w_O4st<)F@|>E5g@WrcRKay8r=dH_)@_c5*v{U+`6qwE8wsXT2y{S) zR5Edfp(S9TPXBL??CW%&ex>fS7wZ1eVm1~Af)vCmX}TztPGLM3aTc!d^cN5qotPBA zUc|5c0erUs_tE~xx?RDAGW6A-7o+ms!Pn4Mr%+C9JlRGj zOR0Xjn)p;n>@)>`u14%sNtP+3de8yP-ACXqTF@ti+Lua|?s0vpPx@rpvDn^MG1)Oh z756ltqUN^$wWH;Xg4j2e!ulV-)bQh%FFEp=_q&7p?BQPW$2WI0Dt`>46zg86lYq62 zTz6G{v82kWAja7#32i?`ro^c3eWvSk_V7{GXMmAQ2D%TkhvPhDwcP|ZzjJn_4+Rv| zJ@c;ylplty3N+UtME@S;_c>Vj#xihfGSv_;;93EOO)SSw4gH;WYAP`ZZ|~D4)&P%| zSbc7dc;#btxbNQ8vD^fk1v& z9`6v$XMlVW0fOi33-BfEzHH|wu-o5Q#fVx(*gY4qFCl=(ZhwE1pTX|4H=PEJI={x3 zfd_J%#9Rt^3P!5@S-`u90KtRy1$dSReVG_z6haQI^M9cfQj_nb@c-wqIfGY`w^xw?f71jrI5IVt+GGMB1T#1?HMjj_0v-ZUF+?*sFhMaxH8(~uFf~Is zK{+@xH8w&*MM6V0IW{shJ|H|XL^C)rK`}!$H%2fpHA6T-IXE*lHbO#0LPIqPqy%-Y@TdG zvPHLLi<50iHa{d=lGI$a{#x9`Nf%Ra9vGb^EumN0S>>R2F)Pn1b&7(GgIxJOU4qFd4VW|>lv712yR+z;Y=yDKH6+Gp4Ri0WE6>2f#sa2pk4| zpck~cRhFpe5tf|>Cjpn3ccM<9x=<6SZqNhz!2lQpLtq#j16p>}ZL6#N2+$@+DFyOz zl+MO4bIy@-qMU8yoFmtDPPnyKsmd9k>r_9~D0T2Mm~-nJ)_**8S`kn-7Qq#;#4j~v z!EOA5)K#$T+01ur4NgAz~%h+`1PAcR43B8B>H zohFmXAizNqgXjf;3j!BJDhNmrkRUWs=l0;9)+%cxEQnMPpCCDrZu;@GrjVu}CDG*e z^s~l@R1m3X1Ap`*2uKi+ARs|Nf`9}a3?)JjOgZRsd-h1By4{|?mg;ePGa%LL_U@Zh z>iO42sXn)rKT`ef8}yuGzYS2AqrH0%;evumXtmB1w)-#^a_d8+mZNl(e!pK6x z=&OW@nuN)J2~)qcOs`wdnH