From ef90555a1d21e3154bb1c8b1c497c613feee6ac2 Mon Sep 17 00:00:00 2001 From: Leon Date: Mon, 3 Jul 2023 09:53:47 +0200 Subject: [PATCH] Fixed typos --- slides/ThProgUE10.pdf | Bin 738930 -> 738924 bytes texfiles/slides10.tex | 10 +++++----- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/slides/ThProgUE10.pdf b/slides/ThProgUE10.pdf index df705ad48168b54ded4d0977455bab998f329db7..0e3fdc95898212926c498130b73d9fa6ab49335f 100644 GIT binary patch delta 3551 zcmV<54IuLJj4kYpEr5gpgaU*Egam{Iga(8Mgb0KQvxoed%iKVNHQKiR>Ct>{Yhb_TTTLsEg&$spC39u)%;OQ{*}1 z;rD&#P^JmRr<~Onn*9Fj2|cKVCH{k!aD$eQbuXtWp-v`BqJN%DPu?8p;D6mhgi0up z+Gu}Og5$UE5NqGtrm3xjXBb6pVYQK)|j8hC(qBENQ5AaYMzXzi3HY} zOQbbKQIU+Vl6UEkBSF(@I-6YNql_Dy^3nV8D~yy0=fqh+2P0{Jl3}orE)04-U#;^+ z=s$0+Z@-}JCfuKe%Q;o_Tu2&z6_arNxhl(12CrZ6oOy4L7Lym_jxSbP!URJwAT8XJ z=Hm%rnhIHW*to49^)#y+p1-_dH2Gx-M!k8`D4>KZ>>4_Ri&7kzsE5QJ95kYjPG+eg zf^ne55-xfzVvcZsqZ386c3q}CU~2!ZKtJWxJdDitKxycg_52Hhg@ok@Q<`lEmT-

2W>6ujSR;o0K$Nht^=R#Guolp$x0wSOUiyuo^}g(ViTC+!Em${e3+GY0`Q9y{f<0 z?O?h&STocsK792kNU32aJso9Qr$00UAnC&alIwPWZTcv-8DGYT@_QNjl&zhCV~fg5 zwp~tlnUV6gnZa~Wh6rZcKHqgoX2T5EMAL4@K6ymFX(Ej40}*wmiFAC+*_N5wn>t|9 zF*|z8&TwIWgAle!@3u3Jq{Hv+Y%ktz&nS~Z5voLkMH%e9Y|sv1uX_F{nof!${L0H& ze$kR*HNX7O4cJMYbI!$YBd}z-SgpYqrqb$qy)3h{YH_`uFTq}Pk*87Ad&($khm?U~ zqdaBsjd?M_RnLJTc2N;K)<>SJxEB;U{RUMqOevOslEGR^!mr8?OfqMQ;ZQA22HqJ|0@|1% z@wS3ik9f9g?ozrwbeRe;RxP|^e5x0$zRo9qBxWZzi0X|NBwSbD#16xWHQjbT3oD!y zt7XfF#iVLN)--);h1k=k5%5N4caQ_QNp_2zejQZP4Q}?bztML2<1WcnUW^9n*!w$`hb-ZNaV4cv&zc`*Fc5V1G31#Si zBx<`rpwLPswkrg5LY<L>S13|sq(YRUE} z{wuES0ua)hbx)m=PUELV?$@w=THG?oi0fH7AyEYus8Yn9)x-hHdz@{#U54U+hY?$a zz2B#c$KIzPcDpyKt_jTjHY$Edme2+%x0Uc%yLmelK~#_CP96n35BS%>!@qcaG2VFh z+Po`+(D;9SwqCq4pxS)Hi`T~r!5&t-*MtlUrLx8Y@D6dcM1#TsI;4HqXJ|TEuRlzx zygc}?1|$-seHz|wOsec6pWNgr2-D6n)QEsBbnpCz-CcSkDtU#}3M5=x{t+K)%sxsTlxlb(y%E&eU{3T+H0fe#$VwIdUvWh&H_7y_lbcKuW<;Hyha!$K?WK60 z$l6!6tuMv%?fB&M+=)a8!l>rSc$P@yI&+D%hA1kM@lEo6@Xb)r!EQF6TxY|S8#~~` z-^OpjDHG0#vq&9q(j*15kbf>PT`V`-ED!X{YP|e}wYxAs55pBz^h!t?o>r4Eezz-% zVG6CE@Sb^XFBX%t@xETHw1f$UU;tXUFPaZ0glQ^dNzj^>ubMI|7f#>YF`9h8Mn%1Q z)mcCZSJ*WWgh45eoG4jhFOK49qLW%`h+rJqVhI-w7BNS-(TO5jyMO&jd4y^Itw6tK zZ=MHcn?$L~FKy~C02U4`N0`#A1z5s4B54GBZm)#adHw(>+U47<2-9DNmJYJw&mqH* z-|X^vSii|OVKVcOxL(civX(p^G7iA{qoTMS;%R-e^dco4Y{P1hSb%91FqFXy4i`9l zfH#aXqJ432ON6WN_kUuDq8Tj9|4sS7t(j??Su^x2K71t?pwuuk7!6ac2VYkVfb=ed zE2?0 zcto{nB8+PS5mly%biAjmC#KYsThgSKHL4dRaum&aUowi?ZplEfQNCpG54)J)s;Pl)?xG`htcg5VaV=~7ep*)Ty8O@UIyQ*Iy*3$Z9%<9ZV8yDoDJB?* z>I8oZXJ=ukl$M29zFyU_X!A5p+`rgVALKXpc*(F+PU7ILjt)*9Y-sWxDW?XP(?yXj z_Zfd#=Xtiwt681J(O7d0uwr|#T4nisyNDr#Mn3617=L})K2KKDMb@jb3pCX-pSNtO zj<)h_4AbkZ$fk=t+mi5nRvlfNbzRHzY_)A2RUN}qg|Hcf54Q(lRLA^OVb}BJDh^_n z6Jz=y1{y%AGOD~xl;qr_qBC`}Qqkmeixl?`CWw)$rehNNm7nN%#5n;C8cil`;Q1>n z)}eSgE`P`#J>fmk${sr9Gkpq}3Qr%yu(}_xpT}2ugs+wC&2BnvTxq-3@}hqd7)zve z*lLB|w1U`Qv*o;<^Z@NDDQ_m5O%#4$1Tm}ywv;ydgzw*Y1wR@nmEu;)D`hkuUBm)6 zh!)-N@hE^o=w6AHK98buogmuTeqYp+$%t$97=I+%&IyJqj;M)z=|yEJ?2=Od+^FA@M;ouiG1~u#JY#H5Jt;#n1=$-8uaImqXcn6F8=5D{UvwIo@9K`#i zt84w>9%0Z6+kO+!1I5%I2*S;p!!cb9>=3KNHqFbcPiFbkyu2Qx4^H8L|Z zmpd~H90xNnIW;mfGq+wd3;Ym6LNPW*Hbpc>LN+i%MMXn3H#0IeGek5wG&wOjH8C+X zJ|H|oF*ZgvMKnf2HZVg)MME_=GcqB9_Db zpXQe*_ndQ2a&tu_nvaNtz0e2!B2t+51Q3HbB%s2YMZ@k}AyvULC`6zEzCi&*q0rAt zUW1dQXmGJ2Dv?9Ge;}zMC6-E{6v`k5^RNJ)A%Hj}z(EKPpa_aJxZLtPuK$b1av9Nh z?x$!Xw@C=?qhr0BnJp1OTcW2Yyb^7seQu`v|hQer;0 Z3T19&b98cLmr+Iw83;29B_%~qMhYget!4lK delta 3570 zcmV8$Vd5v0595S%2vy^H(bz3u@z!?s<(;2csIRklqREY;Y&~BnrA13|Vc$e=Dwt z)JM#8XZR>{6J+}M;)-cDaYQYM@eX8|2Z(jQSSB60Wdom=G>XabThri9I+6i8S7YGXl%MqqD8xWRojz}8ep6hd= z^=fqh6;-QkUWVI0CYGjo`C-CvSzT4DMHs)zH{oXPDREsa@UYc9oiGl<`n#ENJ;AT_ z)zYh!G~I^Lps|F|Y2Z+XRd6hUV+~jhql{>u9NZG&8h`$MIYH8-%ldm$e{Wl1IuzCn z{fZA?Ed?qy%%rE2OzZTAMgWw)D4H$ToX+@kA3loTGK=r*9RhMOcUw&$k<3tZA~5FbWD#P>DgV_ zP6*qgcYoU$N73P5ZS0`D8+(*Vp$Ju?!J-WMo;PR*us41FD4NcSBK*qBMSjsH#b$Z= zt`pdsI_I2=-zLbC^=h+4zA%+m*V}cOomH#r?Q)Im#T0oOMZHfMMeT0NK(SFiW$+EZ znBc0dB-26QvQFD| z{k>`v*&q;moif&Z(J8>e^{Dw6+$dV7Vv0ejPVl=}?L1r>qje_MkBc@KLz%vdI|hi{ zNTMCz1>)JcFtVZReA)5)BCpZcAq#$0tE&crRS7gk*K2(icPLmbi&%~djmq4mx>p<1 zC4UV1m~Pf3ARW^sHF3J5s8B3=@OM=M!1tjW6qve1sq`ie2m|c(Xx_#wGhj<}{Lodj zzI?^%5-PBfq80M>HELgRFoxVA-lMj>_OZj?KNBoCFW=#uAdBrSV#&*pcm}P2HfA^R zMnS73p6v5oO4o-jQvt@Rg?B8U>IJJWCx0p`vlD|v^-2p8uA6Vl4#SBx-F7|+E1VUZ zb(;^XS=EHB8T!yNu}_8utUpY8}FGo_SX4k5a)Bmt_^=C!G8=L zMU6WIX5g+Kw+NVoMnxG_AJyym-1i*LwC+&R1AH(Qr+Oxk`>LJCBv7mTjgC8waH0As z!lZ4>N2rU+AqhN-8={r{9GGBG@vm$0YMw=)m`9XwdLM^_=#A!wHCo~^MKM}MfGO5D z0B@qI6hZUTPT2<<5ND^x9MV@dFn^537`M7F7H<#Em}5?qNv5wIA*!k2&=`?;|+GnR|r)Yu*2=*Jsng+t=o8 z8Fwi` z`WGE}yfv4sDheq9HT_wUtzu_5}wX|1o45RMY~i;OCvt8MIud| zLroplNwmBCdYaua-t)Z2m?jjzVqRWo^79WT^r$B+@jpBX3p{yO zQaMctbuv*B^jR`Hd2^(K|Me3hR6>c=M*FK09QU3e_WZ#zjn&$K%}ReKnZH`$SP&b3 z^~63(9h7Q#A-xgQ*tK^f!i=clc_`u-)1Hgxk*s}D z+xlEQ-;PgC&z(qwAdG6BjAw}i)|pGBHAGR7jBk>+gKvg{4tBHowY`o7GD=lGyAs8qv+$YVu6T&nVvLt9N%U4aBl@Cr|-7%VczeYyAdC@4K zge&YC2*O1v4os9Ru@^^iG|@>dHAFBDv{=GLQ;V1*+~`CRt=)gVQyyX3e=E>0*_)>+ zvkg$H^h=xk3k3@e%MqqDYZWZv9Fa6qdv33U)_MMbQnbsrSrL}M3@sgG#rq+{CBNC_ z^YHv8+l0l;m&EmIj+eFM@sM#8tUoG>+ad1OH%l*4(!n-74H645jY17&@Pfky4ju9NZG&s``I>F+|b~mgWDZ{NL8hw9Tv;<`o~lk_)BOFf$kpQ>_PIR}3iWT?WZ@ z&0s4U#oF;@j3~dCfu^YCbQD`mUa}?`-6uxMLopq5FopV3*6YP%@|!AAL%!9VO`f~zJ6y4b};>{t_duA*8nI7`0A?+$_~ zg)1qf4M=~u+j+($Wq>+o683N+nGOuoGHuu8e_kiDK_Kom%2@M{Mgb14LCuF?#;P_d zCKx5v3H}(~&cdZqT4rMTdQ}Ib&C^VA|Ke1A0B~-QyA(U+Bsy=^J2-i;p~+idP7N-n ziy~X@A%9r|JzM70s)lhq)*97{?W@%)%jergtVDlk;7RYR(UR zidjyK=~pq(pq475%F{$i&V5;QrUok&4W?V9ICwBYj8ruplhCjHLdPS{31~2BGHC

9ldB?OMx=ek(AR zNb9iG3d3ntV}H$-^ET*FwJT8GOg5Wn`GFC{uvWFDw9zO00LQDkrctF*97}nnjK-sj zSl|fJqWe7_1yBgxOR>`DQB!fnFd)P2^KADobIPl=}OD zr9w#$NthMyRrk};y`Q1;3mYpn>+5V8-CC{6IsE9I?HO>ev7`713w(38-`Uwc69O9X z9&~lC9~>kMdYd6np~D&O?w|MaKK^aGd^5AR|p;;b$`rea1;ZQ zuTZFV0GdVmvZ|Po`mAg){cpF6$u297{#1uq3VB4s>0q);ud~TrR(uA45@Q7R#p|jJ z7L~!T{mFc{T2|jODHm9I-TG8NF=7aTroRA;bh4R;b}$OJb}$RL0xB{wI50RhH7hVO zConK4DGD!5Z)8MabY&nYL^?7sGBYqYFfuVXFgP_ew^%a^{18JyLPIb^HbFQyHAFBr zGeI##K}9w+IW#acGchwTIWRXqAUr`rLoh=&K{z)xL@+ipK`}%@MK&}!G%zzWF*7hZ zFgKT%L<={6CDJ=nlR*^5@pD3Wlk6*^fdHahjUY%M+yq4Aj)HQNn}l0|-$ZH(7?`24 z;0sV&Il~vApkT&^me4Yeg+4Vse1js0Lb30af(GYF(cn)`R3c}8c0f`^N-dSb6L<*J{B3PDPz#Ol3L4Z^-CFe}q@fvFp-Ej`xm9073$#H8yiu2)w`vC3;VUdbC-gv8 zUF*Yt4Z5Hk=3oW-VHyVD9ejpC_yq4^28Q4R46DoT+o2=szHeC?Rk#1}m@#!fk1dU> zJ3F#8q3+kArAc*HdzPj&j8<6ssA1)S|0>mko|;onLysq2>uHXATJAiVUE910YmkEt s*n}