From 336b942c512bdd6430844c8f75f6798b7df5609c Mon Sep 17 00:00:00 2001 From: "Claudio Maggioni (maggicl)" Date: Sun, 19 Apr 2020 23:30:55 +0200 Subject: [PATCH] Correction to notes in lecture 6 --- notes/lecture6.pdf | Bin 131557 -> 131148 bytes notes/lecture6.tex | 12 ++++++------ 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/notes/lecture6.pdf b/notes/lecture6.pdf index 0eefed5fe433e8fd66870382e02b6d33390f3117..048b3491de29f2e10486fe1168f8ee0192828077 100644 GIT binary patch delta 20230 zcmV((K;XaSg9yxk2#_QJHb0V#j&T1#`=$PvE#SMUf{g4uaLl=$Gd;wq=S*{xdb zX?IfvlaL4-Bv>G1*~y*>|s)UT{jZ=4x?% zvCxc2W*3G_;<#9xuNS{$Z^~77)t1X#P@e6Yt~`WW9WMXD3(H>bmRx6D+bn-`xUR2O zUDfQuimnOQm(6y6)fM=nsKcY5R#mxMmCN7G{{f*qBQ$)DOgstUFDT9D%)2dmV#$ZSM4s3reMS=9<>LOg5T^SZN@j?sy9q zla;GxTOPuef0u1Tz=WKl)8p2g>m|2YWV0*L1%7E07kWQ7o_cfe5rBF^ z07$8Wo<%VCy84we0Z!iGmM%OT#0)>ny4=S1g+;$o)rX=TtrLVh(G#i?gdj-lumFg#1d$y07`@0H#DSar zBAWBhA+k%EzyKAy7|HtwaI&1^WHWX$fD_}lI2mwF+ZjHVwrBe~rcBeW0j>S5hXS~6 z8;@uBr;Kkl6X9Tp0?13`+^L5R<>N>{ zdmfdYz%NroLvU$BsEO6E2Yk*z@+gSz9~y{7@xagIBk+Hi$5*SE&oX6F^ufYeqHTY{D7Cp|=6UUaEeNL#=8Mt5}siS4o4SD{@g+Z8IeDR!5U3APe8 zyN-sdCjE>FCB7uSQ7h4 z&@q2lGUkMcmh8K2#9M5{M;+4xG*>h13GKC=fa$1p9|Jw0C2WvH2sdi3ZZwWiG$4IP z%bo{NRfOu<%E>QR?j&uXBG{>Nl%?g?j6bmPzofH$K9nE;$~odNA|b8D;=E2GEA)C& zx+x|CvhL!bBg|jgi>BR1aK)oXc=_h%I3j<+`OLmLRL6wB1_-FSP53dIQ^4a$WYtrN zBc8agt-7vfUd3xXj`#(;21s-xXekb7Nn9~dFbw#EOGuxn*NcQhEHOquL^lJ;tRc2f zeRe}I?i~|Jy-9|M12FhnA^aFAHf0N4n;8K0HWwusPN!@*>VuUyIfaH#Mwt0$)0Kb8 zK3htFq@L|79Aq}_Ee*Woqk&m2gv|aLMn=ip^M293nHh%S|&xK(46as6OF=yITrby z33AGo2{X3H^`>mglvM+PCKPF_sc6! zo2TE>lT-h>=yT%)`$*qFN)6T({zU3r6gp`FNw~28gRGLXOdw~OK;ALSa9)3+(W;^? zhaO>Qz)fht*Ws|o!l5!Zf;hn*I#}hb=1tBRODadK)8Fn~QY(JnywO5UQsa3ej@P8U zb7JG>PHb#qVuQBFMgbOZ9U1&94GMmQmH-7ciDL8FUrOF3=_J0CpbhbBt~*8qPtQn* z(!x($h0uR&old|0^coKFm_C1zG7#B!OnN*l#1AuA&~k=fsogxy3sf2g80LM~D zg?TE4Po?k+O5qK(U=9it{-c5nUx1GGdiMA8Xa5CW(81r6U_ca+kE2^Ep(4%L{X1vTMHKZVLhksUhb*7%FoRA;k{DINZ)=~>ca zHDQb&>6&t{Yo1Kca<86~Dni%fyse_wDd95CD9Q&oIVA!_7`nO(!7L?F7VqH?ntS7U zc=f<#!b>D!+z#*(HPFL<)o32B2FY%YmR+HGIC5p0-m3#*fK$=0pe+l{+KkRRwu6$ zw?sBAMSK@du))*05RGbPZCA#qn!9aTWw6p9>Q!x3LOl};#p;_+R7fM;SEv)3|X_FI3;_zW?caxQQl6wMM~tnMh5dD2WmAPCma`^$&A&8dw& zuG7J3f2SkqW3E!#R`@?BlxPX1293hG9S%j1cu-{jWx8h~T}Qk%SKVYUG%y8^R=>MeqXH1bs#C3py)V)yLJIqf>qG`Yi1yH-gVu1$DhsD z#o}wYo?l*8cUOzeO*P>5u2|g_rJpK%Q&e|eFRt93>znW+EGN!V0qhtPLtn2dn)a`> z#9!Heqyo_-Qf(by(!X!Y{H_*h<(=5M(Dvz5tiUM~gOdZ~C?&~y3R5m+>qOE8PVS64ID%5I! z)NR_c*e+%zJFUQwhtwmJLP-Kb?B!Jw!MXK}n73~~>2Ob_gO?+m(FOzF2i#|p`_5zr z$RTxg5)dlCc;j+sII+`}h-0-6O&}CK{F{l6iqgGkbUSUojf!GSMg$|8+e#az_7bLh zwgn7tklBIT#_@BHf}aBBy$b1fes_g`lNyRy^ga1A>tb+|l89Ga{)2 zMYLB{GwK}`^mj?9L`86T*p#1=ISrWKGZiZn~{s8YY3N% z4xcNo)l&Ck97ZDQ_RXGVzv*y)IzF02H=08H=qP^95>E%hWn;rSDxl-K~Sm^+lk5s&IGYlyHj<0kDN4UX=msx;%6T@$|@ruCPtAIBR-8 z8CU&j(6lR$JV_D+#I91Kfa;)t!(PIu-utqHlCDX!w>VK|fTaXihoqK+q~?*-&?B|5 zZL#;&Ly0AUqm=rTi%I~0GFII+eO;#YEUm^xxqXejJv(T3!_JeAM~S2=+8l7aTk(Fk z<86%$bGx3h7)-QbUGGX1S>3MPEQ>OH=X+`SMOnQzK`o`8Gc z4*LKwaMY_IIB&yBd_F%4qvc+V?tQ;0B0oJ*&y+c(Z151-x@9MS2-)iPvJmR^m1<=j z=)P}aw-wl_*1bP(_QbwBN0;c=$J?e%ILwQ-UVglv-`pKrVv;qrPDuOuNL|G)7LO_-TvmRy?xkS zCiM+ks5|T1y&;DG-W3<&V>qtQ#I&`w^tpbI1@B+xzDH4% zx!Xf!a$1nwpXX=O`C<{q4JMzqv1d_S6@{kRxhTsBA|C;RX5J7T@4||bly;w(e~Lp zEF5V#&<++4%Q4eR4ljN@fAK2{Tx+tkyAtDB5i>FhFHB`_XLM*XATcp8G&hss85IOF zF*Z1tVN3xif3yWuoLdqt3`x-71h+Dt)P{YlRZBRi>s?Evxyy) z8RBRue@w>+a0NM80n~s{prZ@W9PqnkfRc$F@SoP0k*NV1Rv_r#4t0oyldFj%5b$iU z1(^ZC(B}|musP5X@O(NzT~-00Y!3wgO;-4uzzF!~asX`1Z2wO8PxS9ZAn;$oCT3<3 zJ9`tbI|ytEumITt0m{+}%ua4ji~tj``ER0$e=QX99B<-c0x(Ps9Och}A z+~Gg{LCqXN_D)b{D9HAAk1W5_JYTaE*jxf)X9om3L6LvgCkb){nmymUJIg=AwE;t1 z!Jhv@79g;>#qT!Eo$XmP!5{}`pseISoM#jAADbo63Bbk5%frFT4FEa-fNo}1EWZ!X ze{i=4{^ex*ZGP^-+tVIm53qP{1LzI106zai_Jo?a00B;p&OmR^|8)E}LS|zFn1jrm z0H#1o5E%JS_GdHD;&1#se@BoTK%ezlery2N-+%x9GJIB;IRtF${)hh8h*=cG#MPv= z8UAVc-%fFHh#SC@iGvNm#LmSEU}I(He+KY8e|Z0Q9u*VNKXtJFiIoLgK%OK1uJ`$( z{#CQfKO&(0XG7=!|D8+;@+@5-fcB5l4OqEY&7ObQ{-5>!SIGaL%ztP3zbgHIE0T7$ zwf)Oa`#0hL<2SJb*}DJ3c$TiS)AJfALY|ia{J&If;NQEe2s8&d+x@Rs*2&~~e;vfY zmd}!AV&i0H<^0ISedgCS1OA%N$ey#W>we@EosgXZP}u!#LO{e^fq04%b95cjj#{vbX8i}Jq_ zFDrmW;Hhf02bRn37+e;{e7YT_CL#<1^gfI`2_nv1w9Abe?N;AV*VeD z=i~mwb3fMywKaiS{RiQ>C+9zq{rLd5zuoX*#9%-FY zVW!8#tep*~ZLJ#MqY0L+OSLi&gh@ zW-N_Mu`o`H%58t_rp)}2NrFNAtg}V=NPQuyP);c%h2}z<{kv())ak9DAQ~QS92()X z$NF1I+D}N{al9nD=DYojIokJ$;?UeL6br2rBH($xDrv1BK~3a0IO94Ep4;R`mR{v9 z7b|R@0j+Kve{qm$}BuT#{g(;p3$jcg2>} z4O{Pgo~)?y%Nh`!Y+;)i_hPt@$d+%w<03xqWGb-&e>VNx>Xug{vB@_i(Pa>`9?daP z+``C*JP?tYCQ}6UxbHNt7l${wp^s>yfKWc6rIUSwve@k0J3_GN8ReW?ekmzbquRl( zv`{g?0T}_Yu0DE?x3qabC>9wXs}R}xQ;G#otr7zut_t-M` zTMycff0=?OrLm)U+tMSa3=@;O?-IUyqO!9fNt77aBa1~+kUV|@tGPVS`|C9p8AENS zhjA43AS;X2;1+S$-IBH1&>MpZ&1 zSJQ9q`YWsp83{A}c{jJZ_ImG3@@Pf9^J?r;e_jHLMyJ|2Cw2=F&qiVCO`~6#k6Jp( z;AefkJKySAv9!$KL%d<1o?s703)23QU}~p0%J`Buow|}a$UXIq-^zqYmB%!xXdxA5 zm!OVB-2PJF8Gu+dDc?~^yIsa4X&sedTXq+oYCNAdva63GBLu6sitdr{v3MaYwaVaC ze+hzy-skhUjol5Rth@I6#8#RGhmxjJPKctkePiv`D7Cb3Bj_EM$@e}8Q^rnNhmRwIeBAogILc{{j=NQ!!zcbQhW z#Me64;lEH|bK0VNf>qA&5)r;u*by4_jn-m$X{pAG4;4^tWlm4cEwU zF%3{R7z$a97qyMalUEgXm={NOrKtbV9<9B1coGY#8RZC#$HtTVi8ur*nzXu?{DpR+ z;(y9z4->*Kurd(dKCZ9$HpCgve<|}$@liF(m-wDXoa}ab|3h0_{mG+>r+W<%vrJ<> zu8c9>8;y^{CEDk1Zj@erQ&>IL?Q_CFXEx-##8050Zy8EJftvLaEW8w77~|2JkdpWnx{ql`Z?>;|46#}pZrHB zlJ^X5B*DMJBUqg0mg6nK^lnBJw-77!GrY9z8q0-U63QC|RIWwD z`VQ*u(ZYBf!Hd-cYnh}c1$l*<8<&ekUGJ#jTEBAXJ1K&Z8C~6Jr1NiDj9#G8$IYpL zK8*#oY(GL1O*5A=s+YrVfyWNpam+v8lU2z^b!(>FZ3kmCf5X$p=>+QQITUzpDDW5d z#Wj^@G`{sL4AO{9kd?otMOSu76d`GTJ=2l*Bf@m(S4I(Vh(r>_DYx%7J`nBfsBy{5FqB zf~f zP+%*Le^-ufy)=n3`boJ{nv}3P|LW38Tx>5re}aWtcA}sh5jUoENkvWl>Fw<-#)lC? z6e^boPA+x?dGD4ZhRcMYEw|$AdWOLTu^Ehv^?Vrkxr_P21nXBy5B6vQ(v)i5O~dl6 zg9N)~h45lW7n|>JO%^;rPRGeAX4f)&R^N%%4d!(|46?TpLc4| z_Y=--iYEvF z_;kDbK8w&Roq)W*lz4Mc1BV~q%#Zk$n^4l+;7d^!zUQ^3=~_7@)ys_x6j9S1z({-I z&KTOItcpJUwa0kMBAhQXi)wg<$yFWJEbxAE)g8kC>ymGmKdxl2>+HCYYIuYRb5wNt zJUWibargMPdVM%0rDW;sSo5&&e{=%0T5(6~*c)|}rFb7Tzn$M$M7448K|<}v!+c2@ z6cK7DOOrY%$8h*$=>M*X`7yn3>N7n@Ky91F=;C{#gU%IkqMWdg(m$zv7qF+1WoIuR zzL@l~(TN}zOL=bY&8@&&oYUHpx<|5K$Vn!j*|khAupTY&Te9}sa_)92e>y6PL7hLo z7eq0tC?T<^s2PmKj#^ZEN4z8&rtjBaXjtc_MIRVaJdE1)>L*1=1ZvZ5Dtv^M(`x}FenEzmQ~EPbUox5(rEN=>Og56kNPn*dlZqPP|I*He?$fGI%1&Ocq6=LQYyKy6}}&dEFk&_w}U&M^wDY|R*tnm zX;eAAx@Y($EVVIAVDPuc1VrgvpOq`?x!5hE6AUH1vn@a=sl~19hSf|0dj=d8r;6E8 z)t#){dOAF=)qRv4Js25oUrgOF(JH8Ia)raVs&qBIsAoSun#=VDe=AYKV_>GtcblKg z;Zb^FLU)gzitNL~lI4?iLvR6DzDkxT@z7Aa7TAY(nN{RZNlZRepUglJzv*Y|YsFKs z9fEdy%w=>$UI4o+p*h)vRAvm{8LIO466r`U} zrvuV9v(70z`szjt_wS#@3-W{d5XJVkct3K8=~EFwTvLgueT{=-zR5=l)3oqin_5 z)%7ORfA+kCZBD+nVWpqrc)hIzwR8L@a$fCc;VwbAP`875ZKm1K14`SBJ>AAcD!{3_uQ`swgVef##iU|z_4uQEyau{6`*vDV zU~TH`6DXwGxn#$28s>rNiZU>WlH8*093CTT73SA$@z2(mi^nCr$ogYrh@qm`lL5Av z9|&j-tzRuW6kv8A5xt$J;QU0YqxK&DjAi#VZ)RUDL(=s0!fH`N|NbJQPQBtLN_kT|nIB>0gf~5d zDNu6Bk994)hVrM&_p&EKu2atzEJ3w-ZKF}5%{KTnpw_F4LRV5)Z`?Uez=y5|e_$Gy zRFe5r)dP7GUqIWKHi4*3NK&=^tS{YR$~Nt~4~aX))KWlP73#OGV6%Pc{3$~#B?>4c-toK9>>Ca*Kcf9!Co&HHFuyF-y_u|sa}lV_!&*l>P`YgX=rpkHb7 zx|G>V%=xPODK<<)oI);+xFn;e?H0C7tkoy&!$kdE*-3xOFtLI?ak%H+HQ|?;-bLy3 ztDWye75nafjAjFThex-)w|q)dH2JK3ax2r_*e@yifk68SEl;o#o^eT=f1Yp^vfU{# zD^(RU%7sR9>{t!!lQb-DQTR#sk|ze`yCww$a+m|)*9=hUoxnZpzQL3=tP;U?;Gw#r zNa#HzuSt9wv$(z@%xhi#9>Bc89+wIuvX@b-^E278qae8=75;^;3U7=4#qRyvlLcAD zp#1Q{b-SIH)OZ~UJD3#if0B>J7T+Hk-1kW8@|{V98nPdEmtR~8wd;77UMYl|N370x zrg(Nb2=_LPsg`a}P*NNE>mM-M89=u)odZ1_yjk34xW|*Idh_r}F%T)+6(|zfj!7ci zEy@+p4Lmqvh(H8;+4yTZ(<^q97aXd=G1VN&rsVzl_j5W=KeMtAe-i?_NRIG_G+|;r z;Y};--I!?Ud*6|3T`l>WH;^~@37B(cs}?TkQTq*kP7r!9v&AT0UgS~AZ0uitLU&sA z{YrQ*XbOvS7fS~`Oe??nOpccQDkMp?0VJ_+CK@^#cqT^alPtJ%i48W z`kf-%4_VF{jg9k!fAF-tKIT$2*C_E%VI7=&Q4X)%xerBiX}ei_R3BU+@FYH8WCG99 zMYT8OCT=G6dUYf%oV||@P+G?>WQa|qNNjcaD&V8HR79hKlwKxDu1*{novO?_i9Y1m z1MiDu&XBw8JxYW>v*O<}7weGC8^B+34jE^!(@^J6;Z`tTf0d4VjIn7RTgj25#6LPQ z_^=7vLEk^|5NPG%%?C$IAmfLtTuRY45y^WCU&dp9lUsb7WcTuZG_-7wSD^k!frH*U zyZKWvX59-Qf1+3Y>G`cdUlifdUWSY!OxNg7B*h9XzA(p_Y*~vZBbPX!#+bf>zd+yM z5Cw0nhQ%i+=t6Z9&a{n#P}rOJ#WkCZNU`sNDZwZy1-zv zfwz4I5Pz`g{HHGVvNYr5M!fgj{wC zZ3e{)1X)ybD$ik8)@)3Q@8bTX%LuSYnA=5Vpe7<5QM9s%R27eTxbZDyH3PO${gDc1 zA2^meeVz3HS;?^+yNeQx#82Ptfl=@(ZeG3K(Oa%~<`M0pn%M!@*twr*FwG$;p zL-15`c{1w16-LG+%MVKcaL<(S#Zx5wH5%X)f9bB9eMHrCxBV-z2KPpB-LX)<%}Akc zesq8zuHH$GPFJIrR`+^Ew)PEti}SwDicM%a?ChK79$?kTdYm7bx6U+^ElyF1udwQIc1Tex6prHjOGyS#%->EkWt ze~Z^*47Zb#-qQQ(X%PQ3D7b35?oe30DO-GKeuaVH@;VDI8>Jd4DV{dP|4jDM%D?J9 zdyBVXZn%l83h|tBM_iLfL{2{jZ}gD`Wv5rg>2p?+dYZ0W8&Kvg+`~hvLa2N(mgh(p zbIwQqSC?1|2%8JEQdG=icm@Gy5t^omf4zDTJ zOey~-Ka`flCg_{H>0wMQ#L>fYehuVK6u-h&WxWbJyM|21@3`JgHoEe@0ZI28K}K`8 zrUsa8OIf}!>bp~1Bt2iT* zU1=D?Xn*n5=*J1&tV_!Q)i17o98USKKlNLTpwbh?GpYquUgk{-$WOw^%17)C32Zg7 zX0zZ7(`JqMTL;1yhq7lsX^&fe=G*r$Bsuq{pGw%e=DlzVU&9L z;w(!^4@*5zkJZJ`wK|hrCC=@&7OIE&h2GE7PWme_^9JC=ob75&E6LC+Ju>3eSaAkj zb~0tv;7u1wk`I~*$MFutm)NBY>tjU9RxGBlgnVj#s{Ce7W(Y;veS0{?aS*MLMa0h7 zqpqhi;2mwl)-DsTU%gb5f8JX#uU^earj)hvLTm#3QLJEZoEI#3fADs*am2S8^=MTx zB=Vc0ItR0Ox7zaDuij6yJl^Q{v1Rd^dfr@ZNiNJUwSJqzo zwZY)#b;f4P8}Zg7APth|BFxPoaR8-7OaWA(336mzu)RGr!prntf4u_w_P4Z8ZVM?K zABvjtbeZz}bWyEPjMDAYY!cYOT1AR$a%d6d4rVj+Ujq2NLfMOu61~=i_!?jiUvtMk zWb2*f-3Nmgq`%PZFzmQTq=lM<3%Z{+1LTw9oZm1kp228`ZOPE4Zd*Tl)TaKi{_^J%pvZaq3 zXPZ>ZTpd`y2#VPcZn2;rk(?rW&4o?1E#2GL#pCNXcS+w&h82s9F=ilR77u$XE=Xw#VNMhm}>e{FmwT}rN?b`~%VMB~O3 z&LUmsM>t3*y(#q+=PvDbE^0s$3g{0Gd2cg2ZFbJfpHv*Ay&;hEWzZmsS~V-@HlDlT zgsy%c`!gMEYTBK<4_{6T?R>`~D;V|=HpZQCHXqF-9?{u! zT(g4@3C%Qq8ToPJeyf=#eHZ(4y;4$_)I8aF*>(C%J5ou%e0+f;jw!lhjiB7ScIBQX zcX)j>{YX*w;<$-Ce>wI3Dla{Lvg3=@a6|DCyt9Sl zcsKvhYkNCIqK5;MTou=~OO$ufgwjDim||FGL%L@QODF|JQrJQqXcz<_PPyyjnH7GP zIb1#iJ3a4wxsV`=&SFp+ox7B zsAM7mf7kj|5#@L`8-U|)cNY4z7`0n#g#>-WI{}ZwLm#&*5YRJmc~MBI`;A{vv5_gX zV!UJvw@02Jg8%$TP<#H`+(DIMco~WP8_lO-b77U5I`OZT0uYj}E|gb~MKL$$AF128 zTWJXHuNT3-6@00zpV3H{pjGuFLGXm`FbB%6f9u5f_+zG|?9(=_bjEE~nZ`@67s^F7 zexRnalgh1ml;>_hdsar4uieV}BzxC6;<-Nha<^JpkORLG1hWaD%G7xU|3!bIne#NcGWp<;z zf2nqp?D!&rvy5V6cm{pD1~1($_19m{M96_PmW8O<1m9>+Cy-}hfb7vxxJ_ifIdd<0 z=Xf=u#%KM1+X2x4H-$z+MfVg3SH|f}D*`8*-Aq5b zI&up|RL%Gyq6iZ*w#Fi1kwML|-e(WWbTdIpJ@T?x;>m>G(i8hWVs*NboO5i8Nt_E3}h(`?CHMn2c zll@wZGCY|);sBa+CfPMLoXXNJu1*TtBYrY~&7*CLyt4wsYzR<@$JG0He_xB_7|yTv z+6Zxc%7BQefG>0O7SN-N625c!1Q_sn79x>c%<8_>ae8x47Nn;)N7MPTbV|(b&2+O8 zw)rOEzUt;+%+=wR#`WpfjWUc>=$!`&a?z{}k(%}Q{RGUh7`nI~@xXq~5ZH*vE}VCl zl-oUf&^@>;@fM@X6D{bBf2ag6H%Eu>B!bx8YYcE)jWx6+iHYedUe2r^H3omt@k>JB ziWPYNlDwE~`w?f!eUus-$E;BBvodV!cnhCzvG(2FUfhVfev@Nx`dRQMn^DTxH>ZSM zt9=s(uH*z(s&_qShf{_7zZNguaP2iOs+fzRwk)EMzI@kO_|~sOf1fJxPq1TsNTm3p zbU4^fc{A6?%e^G~dFv~;=H0u!Dli<{7o*=_XD&aig=jFO7({&=v+>*@r8hD?DdBrJ2^0fve%wPkTRK3ymI{xilMTy0wUlCofkA!37GpdxTGt$?*-0 zLBwXkIAusbtVHeuf7ug2k`Q=3(&a`NDO)|k)R=00nl&DYv3c$llj;wlaE2$rD{csg zKXW>@A<1Zg+#ZBkjNC+V3W6{7s+yfb7twkter8Vj3_sYRDZ=1Ii^AuBdeLb6XfuOSC;d3}DhA;mjx<5E7J$r*Np0;cKPJeMXrP%E^FLkj3Ah{vSOy|3e&HFg%MDY7Tx>MM zmwd%ntfBU%LWjNJLsuq~rt7mMjHyR$^olqPq@6c3f6+FkgkGwIN7AB1vU>^T{Me{~ ztY)HTYt^o6w^fdRaFEShDEwHJie)K=uK=~&UU5?7}8==~CkA9n~wfGmo; zT>hGV2%eX)S;HizGf-F9d$uAa_lZbl>hY%Y?u_u(pu4-FVs0h;l97ny)oSj0cNKfl zPto;?e*xV?zi9o}e9S_RCqKSu3H7-;gg6L0z!`3p!d3r_&esRxD9Ea^flK)W>=WEk zPWXopgff*Qd`r`mL}|40_Ul?^s2sIVf=C$-9q|@E7}czC{ahMh`1Kv$DR8y!=s-9; z$<<9CVgtM+3aLl3Hc3x10-OsW`V5dZBKiy?ew%lTz6g58TC`l3G40Ae7F!yxueC)$l0+N${vL_oz_forbE12 z1D$0T@L+Y6qyj1Em0I*VR+(n ze^Xoi*mgdu7myN*Bg3XG01kG>jo79fGp!FQ5(r)vwogj6yCy~TL5XXdr9Q)0b_m)Y zA4?%l1l~`lv3=~Nd9qpU?))g)4dVN_?(AV>NT+b|-NSLuWPqzw8>@ix>1{zDbfk`G zdwor}V13P6Fr1U2Mh5SS-JFuJ|}u*(#&Rj&%rQvm5CuL48JUF;B^k zGGja9!nDg5GbcvILr+ckmHWh6;{K=}?|HK8<p}r#vG4luRVIkb-k3{+5i90B5(n0H&5i zg3f3&>`2O5(+%6Nq1TP6HWjf9jYeU1Y;>S|D|;f~ zu>O%a-3K(~^D!>^v{<_U^A!)3C|V54VuOtp^=eTJ3N&;MfqP9Uf2~dB`=5}{WQ4ke z*6pe4^Ita4>JY;o_HH-dW4pa&5J3GA93qd#a_~-@OT_y|9ElbFlPH~5>fI}DgYR_( zPtq$!o=P`S_V4bC$Z}rvP%TX`WtBtnob}sDE&ONp)`LK@6^<5Z(-=fY9c!kKz`U8)gC(; zn?yLwt@>~u7=)!7&UE07pEN8ofTi#u#2cqCZfa=~=;ivcfYo)4!m` zzj|ytFlyP&SemfJ7X#KN1&iU~!2xs8C!X4Vd`D2i@dM$af6_spLmws*Oqy8dFvU0zUnuY=A4jA!DQ_-4_ z6>Fq?CDL8VcQy09;_DG{9hsWj*`AAyOj8&hf$uIpcqs%K8q_bwQYEo}A&DO(kVh|; zG{D60zU?^bn4?58u2_S$Dz1}SefioSbAXu!raEpe2V*PSi+{$Z*LN(EiQNpQjPL+!_F0c2xv!vH_HULzPE`L)r$pxDs;^FsYRc4 zA1y)}PqW!>VSiI;9Q9piMfhu#^g^z#uQS&}AZl~Op`Dx$wQRj)aLP-Qw6U%3-I9R4|UjC`a)`Ea(@e;9T_9gNeYq$t_I6jwJ%uffH}rgXUE@sn4Ei?A>E{~u6U0ruql?N*( zm}Jp2>6x;cNyoHROetoSWbo&dV9GELd&)BJ0L`%=98+*c#xPKUN$UYA!r>U122d!? zG#$z+jot8t^?c9`Pcx!p4D-%xZ_5%sND}%m!FAo;l$ZGm$wf zKt7Po!y*XgA`BL!Qv&9mc@qP(k$JDoz%d`AWKy#rLA$_$0%|g{pq*n-lEg3&9uF3)5 zn@yMHbh%&}jC?ZSC*@+cnvco_SezCP%ZqWbJG*1w1T5HShsuM5Mh-*#J^(6nIF4)( z`;R|}!2u9uFJCf#0LmELK@ilgK(M^4K=6dGS3M|Rfgp7a2GqYo2EAkrJJhj)HJT1# z5P%=gXQPkhl7D>z9rq6yKP~T;?0YTSy~@k5p}l(+^)sC_?J|`zOJ%se{)g};Tq!jeelf~J9Ka_C5+CAVPr-i zEJf5qxRovrJ)k+~VD|7BLV)9s87q8mTTdn!+;cqyg?}VXj8{X*9Tp|6mZVJ|56uJ} zh{g;}MIuq{8>Jyssk|SC4!Z|F;ytH?5H-2Yl_X20l%i7`V{X@U76x<|fcRK=ycLkR z;i*3D7LU#zq+>IhUODs;cnV4gu4#mv(>N0BEy|Vfw8zm(P3sa*5*%nf;ULv?p6JuQ zMM%`#(tjB9Gf4{3=%zceBW!GXYFLYAUgP0h!4vRIrYoJ5YG}!#8m^dCmR4Ow6>1#V zJb)wyN~OiPB-m<+QL_O*W|UA5fn_@Oh{GVj!>p~1=nTMtG6{DVjqDM}OI-H>0||l+ z>3O_@00(B^u0z%d0@owdTcs#W6)hOL6~aM;I)ATWBWQ~^RtQ`%v@Qdzdl&=3n3V)^ zfdd!>C=V2OFtNsP&&J9G)rW!R!aBMb*5KSB6KgQUOjHzHC=@grn4`d9(3CjT%_!8| zTBNC^$GfN_iUZfoQ%Itn%`o7_$@u3sOt#g)SygcEnWv43PCl+Z>46J8-eHb4A)*O0 z*ndh2eXxi(XhpanphJMf4qXvy28k+Qi-dNT$jfNFau#Y1r8i0$3R@i5^T7abZvwzh zW3KYv0zD5oA65hhESfE10x^bai}_(y}5Mv%otB!8=+PXnYDY928Xyr39BS`Z~z2@L7%P+REc zP)3S%<0(1Ch}3PewWoxf(sF_+!F8a=jFf=a8S>G`9zm3b`&Vmz%}R#c%=4moFRJpk z!t5#4)VolTN@KzxRTV}^HD*F4ZaxO^kppXE(L%3zPhO`2hKT{FM1y<`dehSA5`P^> zg(Benl}cdn1cjmQqeFEf3KArV3ZV?g=<*{85KvhX0@GLwi5ccA=P=OmqWrE?$&FUk zTa53?rkkhJPNG@G)aWF_Vlm$jh3qb%if;Se%lc4ik9lDZKEQ zw&1cOHYPv=Jv?d{D8)EPR}t$3=Jteuu>^V11u`T>7vy|N?(l)~qBDdS$%gRdGl6Mz zq45>+$*qxVgykm^QS=jiQjF#P#nqPABPP1ElDtCa*0^ckSd_yUf*UN_OMezhFpUsv z)=MgfhMpklUQiKHky0-ej=m8~iGkW(<0XsdB_{;r7Nc61qPj>``_g4lgOQhlypYje zDy{x^(miIZrOC>sLpP@}t)P}J>UBhUQ}@u&r|1+eny@rA3sz`4sVE14-6NgSHNAAQ zq78Y8GEYq#u{8E^!mTGZhJTjAZK#ojcc(R2sB62(}^`!+N+)5))l(h zOX4Otjl>UoA&afs=BP~Uj9x}Mml6w(X$6f93D+7*yPg8eQECooROl=uHSoH^)CzG7 zgmR()GU7L7Y_(~>qDrSLIAA%j)K?@96;B!?b&B~4_7t*`I@e}XvwyUbC>ue2bOuAY zq)Xc1RAF9inttU3f`5@=i( zb9~S655B|q_&$Hd-}7Vskr#Z#N3+Rn$}f1yFURorcge5#H6QaIe8O+|luyUglF#@I z##??{&d0M0KIaR*7~k+9!( z4|}IztygDK+;1&qz*^Da*K}*pyN$Vw$gL$ZTfz6!9$OionM%vtROjAEG1(no@#T1OQT`lXlr4*eZ7lX~XZPgb3s~&% zbzgjGiSdQqrhjt3i7)+7e7%sSwwklOR@>pP`8$3D;dKH5_6b95c5_oecwNoQVp+~1 zwEhF3H7OShh^}==K|oE4#Wi2?yWAQ^Y-5dAheuzJ-;y=ly~dEWE$~J4^VlNv+X6M6 zwzN@O-G)~uufLvsV3$G zCDw3#P=E3I8r@D-3;q`+=sY>EAU*#~33?+%o2^pxhqHsP`|rqazQ=Dm1!Xk&4kJF= zZ??y8R_A^bx!?B4XQ_^nsizm1L&jCW@M*4%-7ZUh*grbKnsL&TR-kBC6@SBvXVJ#HUTxBCNw$tE{?z`03M!H=zB;fA{tnk-eZ61OKb(@$GW0KN#a_X%%~u9t#xn`RwP#`6Q`I zGt!@+w0K_3`T1%xDIt$c${W1zH{&VTWLjPo%kgZQYG=v;C`>soFIpzrDmNd!-Tid7 zM}H>jix7zSXz`mn{tws3=de(Jj9{;jA|z>jvzjc&x07Ej4Y$f-$H#le@Bai1Py5>@ zSGVOtKUdq-f2sGfEOy!Izh`}!KjrvUYP?&f=*ev$#_D`YQ(Of8yTziUe|2trPia{W ze@H<8NcX}(Z(X8{MnY{uk)9h-H2xLEc`5$b#cz%^60&Gz;F*rd& zHZ(UiLOC}!GdDs+GBh?hGD1Q!K{GWoMKCx%AUrcMI6*=-G&eOuIX5;lH$p@*G&VUh zLP9b@Gc_|sFgQM43NK7$ZfA68ATc*LmEi&@e$txfCvQ$M4@Vlrl^RnsELkfh@R++D*1le z*+4jjgYYeERu^sI7A_)jvxP@^g-`fJKm R0v-!6H!?5^B_%~qMhesjI|~2+ delta 20682 zcmV(+K;6I0fC%M-2#_QKHaL^v5-ERLOK;mo5WeSE=t!aEX5SCDIix`Yq)6HTbx%zT zFcNKTLWu%J$4UF=JNqC-%4?fRRVNL6F{$Np-t*1u&_A3$c=(ja8O2CSDrTo=Gf5C9 zdZs8xhO*h|a`t=nyj-*wO*zjQrrD-$%U!sY;qte;knGuJPG#0M^*o2`@?w9{+Ikaq zv~{>Xsn^?!wr~%MDlGlFu;pe^&i^?52}Dsd!V%+=I#GybhzT~!nLymoAj=E8m{XOl zN>2b7y|}2_vMC!!0k$fn1)b$YA;aP;PwK5Lmtps7_wt96dCr;0o>axf($}k*sK1>y=O<+uC~VEoH@01^-A@h-b+~zj39p>f2+QnQSgSW>yon3#YEH7a=Hvkmb-RBHzh8q-RaP$Q zbs1OwDq(k1BWFqP`$)sa=Zj)jMyW0xsYrNJdQX5HJ|^5o@6OsYsCPaPoVpMPoXenY z5v;znpa%nAZ`>Lld^ zLMS326Yj#Qx>#>qun&Li<^1PY5^6ns%J7IDJh#J-rvI#;EE4tqRL`Z^24t$iH<;I1!-}u(+_nl3uhar1~ zSHX-_99vZ)3Eqf|A31tDTNm$BI&jD@0-=GFVIxf#xn2{>6QqA65?Xb8sw5Ff>BkV+ zq)ecIik=PR{Q{iKr#M*+oeUU7=rv9Tc$0d9kGbyHK8q<+H%kC*f7{mKx~@H}MY!-! zR^>s0MVJR%m4-x^hyXpv{Qw5VCZfJ4H%+e@NY({?%ZFmSst+NktW3-?gd7nd#5xse!$gFK^-#PvQLngG1eV?+a=19}t znJ3XMm_ost4R6MqArIJX98Y9m_{^wnFt4k1VCOQ=MFurFdatv$)l+32!4q` z5`s%AgjFnx9pF;}l1D*gx2PZ%*^$@y9q^dOSBjX=JY|1U=YyHiNa`5hB$3eq+8s7> z4@s6T0a$EcANKb58&T+V0K{A@7_HOGX1Gik(#p|+j;wQ53Pi4oH36wHPGX zN)D5qyCX4{LM4^R@T0BqJK!;mZ;whM87U0TM8u!UAT^^8Pgk*Ap4C+qir~JqUR3_f z;OgIYTYcy%6{7B(MqMCu@#YQ_2Ky78-NNyrvWtHr9wPUZG?CZ@yGEW#2`_NOm>D!zR~kns8j!w&ZI1$|3WVik z<@l#7caSzv5%gF&Oww{oLXT|xPw8wQ^(6>^a*8+vaY(D7IM0&E3cViZW{in|teZIK z2qT#0tZvp3T;0(lJbeCJ9Fe#Y&DQShKH+~a0Rn8h3O@#O3RsRr79Ev1<%#b#wrxA+ zHeTa##BbQtK%yN$OR+mi;);TTp}-%ML;6I$9w!{4ky7#)-3%nNgxEgx*%iU4cT6Pp zJQ*Sez~FO*@Li`IiZD$d)iQw8-VE zY|4~Xm>b#Ze_@rwkup;Kn6Vq3haP_kZg#~w-u1Xk1i)-4K<-Nkn^=IRMvu7NMF8ew zFe%?J%5B?;Uc|fKQ`VEvp%~X=5Fu``9)|koUMegVe|AydUEQ&8hvb> zxIWT1kX(XwnLm*l6NOHifFsKEe~?vtk_q@E6Yv{m8OBRA*i|%T-y`%5xC(y__%a;! zNH|pHiXp?uv4fRQYTo#Sv7|6a8~OFlC8eOZ%^Nk;Br%*fy73yx5Ocub#235e`FCOI4yx(|OduAt?_eXKUqH0KjEzeC0OP3XrViChH$$71&B^UGWU z0qMV9(awO!2#`B7lY+ojqlxMPmbmW>0)UrNH5$(z4qn}S76KdL4tKxC$!m|hexf>K z20Q^>kVH)B+nNA%UkdL_;e9FmoTc!_iqKcW{y!kTno4+c3$QPRn5iNAQg~kqKcN&} zK?`D_K)HWZ;Nc6<-d+!WJbmyFTdu-#lWGVk0yi;};Swo-TitWpHWGi&U!i-r8R@P> z@%`aUZYI}hX4>goZ+hvyy!GhqnB82cYBM7}M? z>4`!{VPc1Aq?DK>1S!M(sH_+zf>9J{%_i6n_&f0<>T4t%Nj?eYdE-@PNMkt(v}jeB zAZFJV4E-UZFnp3xh3o1_go&JRq=`5pmLkbSP3*saqhbZ`A(kU0Sue5uSIc8!8EM;| z3yg7O3ndcZ4#k-04l2Z?dJ2<`qC0JDw}M{;qRwUsk;?xkr)N=*RfrHa&^1M;Yo5%` zqSMY%6M<_o7Mkd7Ou2*+4Ej+Jj*%pV*!9K-vk*uccm_YcsCyhI?vOb;)S zJw051j^^RAm+pG7?h>4p_tJfAyX%KUC;b!KopvJ&KNYg{0+#w-oy@&Ore+w|u+(qW7=C3U3x*Lnu@>x<`JU+m}9f4-crJT*)2 zZkOvBnPz!RI>8)aUO`nqyryjdKa@(mknALXkBij^3wA&sA);B$x(spHsX$~JRShH4 zaI_blujz2H{P8rQxe<1nYlvc$L@PG>4 zEB1#V%m|fAU5Ww!VxvM96_8mJFCdHfpk){aP_2-3%?0fkLWL$VU^fP|Bz4z)AhtJ_O%T=f z5Fb68)OOfs6OIg152X5&#DA9nlQOiUgad^cL_M`%bnJg)mEbgB{a&k-y;jM4uJWK{ z55p$$Bf>SGF6I-eG*X&@e}PX5+3Aaa6dQ;GHOLo_w5(27CdPS`Pi|`DHXI)x^+;?( z5>0_i*v%6lPCd$rpF(;1kPWdZv^Oa87nMQBs7#(~JH}wu&t>;SFhnf3CU(9;DdgM< zTSbi)N4`6VEF%hRf_0e31(xXCN%B7u6aQzGqqE8<>x%HPdjS0LJ%AUoGrDtsXU6Qd z{+Z#K*1?o94st*>gQyZ^KQT|E+r&A5U^(A+AIc`D(q>qrgW>i@N7Tn`p|mgXe~K8< zAdEF^3Iikch9Vl7sJ8#Bc*{iCet00OY%#6Yt7Mz4u6E1$=Bw(E+&{a`KHE+$n7U|H z{qVE@f016UZ*FIaeYnl?Y`yY-Eh^5C#AaBkdA1&v8oNhD$LvvoiUe2gG+(+N`rQ6= zU+iRhmu>T{=O_us;5eMwZo$3~{O?Rt-*;DK-yME7-)75u|9QSx6i?U7-Ayszc9X3) zS?)ynZ?fXa+vSyga(&}}1l7b@EPyRxB0xb3&kKL01pLZG4G3Ez#Qb&i8qU^!skCG@ho=O@q7j5{Sy2_C4NC!cwov7*ENy=n z(Xwv*7}dyte*}YGXE8eoa3^=uMDp5P%}AlN(*CdIC0@dRR|PY5ITg}o9`#wGC6dCn z@}O4i@FXXVJZ5NC?%yz?uo{p}eSF>4};^BIPVqjk>@b|0Rl)UHv7aJgFG5HW|$f6n% z;DaGH#O9LD3X!=QzN`$=+&UC^j50@j8R%&rcB3kL?4s~5{VJP*-R8l(^5CIG8z0~H zQIBAIu5cE$x{ywrz6i2+u!;xRm=VI=v>isMpY#=fi$RpTMPV7exZg+;nAOVhedqMh z*2+8qS|8Vsv;~D4GXlGEh~<=s8E^5t=Fld7H}wOl$&4I=gP>rZ>>-&N*B)t&RO4p~xmV|S}8 z_usizS$dfl@5Dg10gdh1cvye(dOSyndcc~0oo`$tINA=Q+MT}C@3GN?(5A9ETNDNC zt=v8H^3l&6jT+=%qSL=xUq`BO=~D%Ew{En5*Q-*m<8@-t-*CCb1#$UF2Kk0IUk@?+ z-5HqW>>}uASJn=Yx$^e_Fqwm3S*3z#kU*1Py)OPk&6Zr086)rFH*T8+B%#OxnY^tSI-R83dx^U()qQQH)9&Y)GRAkF~% z)m~5p(+pUwN)Iv~I`!@_{;K0$sY`omR$3NK7$ZfA68G9WQAG&C^^FHB`_ zXLM*YATSCqOl59obZ8(kGBr0dmvM&yD1WpCP@G#9Ees*JLvU*>xHN7dxVyVI&`9I% zZUKV3Yp~!6PH+hB9^73*@JH^wGntwHuX?Y#>g%(%@3YrF)Z|L4Ou}Y%CLjqrh%*zA znUxP9Dlab$WCO6WvNN-?vLR7ZtAU+uK>v~>QEPx4oxpYwzW=Zgbp#nZzsSUloqt~p zkR1Tz;sbK?v9bc#SXp`hWoYNf2M{xM1)BlnnE^6(5RelRwWyuFha=d+ z()lINzm5P}Q#t^UmzSIIFL!{jEyxjUY77C$8#`NqY+o{(8ruL=?M%TSXOI61K`UVC z>}=1+!s6!U#%yfs#BAqiAxOsvaDM|kTLM%-P9R5DkQv~2%K!yqThKqPF(Xj})GWbH ze=Ah&%$?ng9YKH>feqLc1aW$CaeayB+KwX?N1hIoJ>765aw4G5qpA;;|O?#u`Xl(mwWeM`DeJ+5IZ-B*T0ZC7-DAryA3lJdlq#F*ue!PE%uMiiwNnD%mU;L;AG|D zX6NAofE)lIcT-E2-wD(_?0-RjDS^MmFFp8p+1uFz%wO67`GCzqFMmj0PR6bvfU~0u z$j9qH75|NpfIxs5*wh(d0gb|^S?&SA|;_CCM?eIPs{&Siip^`1H72nfdD2pPF4Vrm5mF){eN=s`R_PN#^8VI zVEyAO4KcTS@%X#mmy7yW&948DfcBpap#%JPFa^68>Vg2Yf0(Yv%E@Z_@&W!o^ZhTE z|38}lj`DwH`u|oW;bLR+m!9@-ga41-*cNQ#@sGs|bzPia)st1f*o= z1pfWRym+y){*Ufu%S^3bo)M=PZvL$@c6wPk=f4K|8-re!>c8s{hnU)#{oXz{PA-74 zqoc70(#!B)5GTM3__C&EAosu64Par0*g3zr0A70b0hrr4B7glJG#4j;MfkVqFT~9b zV3GcVxBx72e-JN#Me*N=hZVr0^ars4SXBO?mnf=#&`SpOe_>#fqPk@)IZGKQE4I_?5jncYo=%RYz9u!SR!cOk&T1%;e+j z^H1pM1g{%nidpopPy=iK@=M&uCzA2U9mI-N9 zXz#2p&6L9>=G8dbP;qWD8Bp8iyuzo+*|3cb+Wepwk)n`JAuG^+ixltn8Dp(~XkZz$ zhvZvSfPai@;Px3+s57QG{{XQV2mEJ^<$SbeA~ynM`Cmjf2Hv>W2s#WhjW;J-U+~N$}Sw4BpAZaxmc2o z(tSr2#vzU<*IfMe;C{v;ZDu<-_$@aV&RfBYr-nN*+H^#pcpegMv%LYvJk5tB5vTkw z6pO7B?;#7k)e;&%f}6;1amKY8y>`eAEPuQ!U9VPwUV*Ld?D3eNdlC%A?8%y6^Hs$>--qs{*>H*E4VK2db=!840rkc(%5?_J8~CjSFan zd|ST zM|uyAYP^s(s;i$OD-^4=nt$$z@Tqh$Jgr*qbs4;x&Zo=x&Am;cocs2Nq}I2Kc4m!& zt~2FA#tSEF8!&?CCb>y)q&AJvT$)aD zCVnCbM>IrO$*?S$eSyfjc5-=%wBq*4anY2FyX>>~r<&9u&1_7>4(9tQn zht_;$dAZh`7Zp%rX+}@YCA`#R7}04*O;@QSIf<9C7FjKt&~s>oJW7b@b64&}m|=Uc z6u@vlL%V4g4{}No(SMn6tczz4tRYK8LY}hA#uh|KT(B6!x3FfhMo?(ylv2{&Vja=6 zPjx1)fcM{4nQ(h%;4=Ao+C|)3eeO3hm_4Ff!8AzSsQ=D#yrgYRmb|*S!>lx_D^>M} z=4jo6!?SQ`?I?R#0ydu5F~WCn$)x3j*iW=GrGRrzd#F%8{(sfMi1u+^d74lcJm>6t z`6uOQKjH^&5wg3PgAZ+O4QEeEULLhX%#vRla3u}#-l%;XF4Mepcc=9BpTg?3YM&Pb zxd4$0zGfW8a+rQqFRaeEw3P3ox9h)J%2LVfI#SRT;>%;(6~`y^Tcz;k-V26BZ9mcP zwY<=BWLN$uCx0mNTuLo+FUDn&wX9{`lD=}H{(+Z3bY1EZ&6vo6 zyWNEt)ThaDI=;wf^+_q-T_-D+nRqPzR%GK#b$_RA2coExN-wm}51sw68&kZJya-I9 zRrS`?^ZQvL++wV>PjC`8>nvBc$tZ8+P&t-;Mv?!^g4X0^3v5HEW)7`?%xPg_%g{c4NATz^7ibyL?0DwtvSpi_sPc;;gx zvVUsn=x+7Y`<)PsW;oh-tsq?;ha&GyIlkil_@>INuQXo8!D>;7(z3s3(G}g}QNt~` z-etHTGQ#Z^+%5PY*($5B3iWLWnW)JURokRB?}U7x{gm`TDN}6=B# z7V)PYLTlxO#$jeq=M_o-(Afdo?vY%VsWm;~EM5x}KZ`2J^c=_@UG zWg(SsHZCU6vaeCbxiQ`~55jv*zH-6YLS0lwxE|HViU}9B89}0$^{Fi2mYq3B2V{iO zrs>Z3rG!zfs;7l2$`D+m&XS@Ixg0&ZJMVa6Ie}Vn0=n|F8ze{+(a$QKGk?Sd&G^=q zSL5UQ=;6&(a+3sPh`2B%%BpG`&hPH#Fg}bBqENX$a&WT2%lfpOFkB}FZ@ZV~HZTk= z3eRF>Z4^Sm&0j4PCtAH$c(g|gl%Q1UZW@+l9U|B>Ert_5x!RJ#HD2@tJD;W~nQBVE zX_{*tO@Ou(8U1eA-xXMeg?}sc%WHuD>vz073HeBW5To1uX|>LK_q$ivyn7>$zi8#A zYA}*sV;U>dAYEwDGDjaI;y_v^or>4`2l*kyb~ROJwW7*FA<=FrMJS!s%|w1H>u!TZ z(h-b0Tlifa+s@8l)^~UiKCSV+atafD*=*a--zV1=BTgs8?iRLd+78~(cz3o~(C)LT13VN@iJ&2L<%$4t9 zvj^6-nU5|R5gm4}iV)?6f0Q_;_FKfBL6V-ke*9wG2c&zCR4VSZwLiZKXMRa*L+TO5 zb|oX0a$(ytxqrxdvdCw_I$*=G*D3EPFYM&<(MSNrpsI|-ysCC64m)~DMT&S?C|uXS zQD48_U4uR-v~(D?>-8~3Xe4UT3g5XTR}iW4$l8-z=Zq%X6uQnkq&kpShH2(%X?}_4 z!;OkULjjhh(VIYMZ=(2BHsqUEa$$vKS8{HOMEGu5C7By9QH_*rsS?S!J;opKtSkQYI(h^kLEAyyc|c2UF= z%{#lWxS4Eo%Vn&uT8(ki2aLE4Ei}*;cnXt_B!9K)jEd)7^}6>O6Vhyvie2n|l{4Kc zZ3@t||KU@HVbCGmJU10^cb1)AS4^NHn2LDpR+++HaNKs*MKZ5Z7 zHqS?PVO@%33#-HqOMij|i=M@l!p-q(_k80p9tfHr=26i~2p4y`O+Zjp{24slEiDt6 zWq;ie)65Zx_ecN0Cet?8ku9^h?ho&PxP(D$)nNB#%LdLCwFjb+R)ki(CyvZXfpw+W zI%FIiOLy|8iONWK-}jFcN|J9Bv!KMiJv=|kj*Dd9C%;xcrb>xXonP}RKDy}T4SkDQ zwiZz$$R+(X_lE9yU&-ojDf{pgP9;L5iGMCogmRvEar_&a-E8KG(>S|CCdA90I z3nR2J6E@F6)3}78+2JAC-{kAGiTVmA`;(A@NnmFBq+52bFS4UmKa(CN>iW_0Y=2t6 zO>Guqyn(v~n`8zB1c6<^f(S-AcBu~g%T%9YsmnXAFrvesFyc^&Ee?207p;bXnKk_> zhDWe7qC9%Z)#?Drl9bO4UEbAfSppIcky9XczHdO&3#e_lCQbb^6obmMeQE!aUFg!I z;hJUK%YAQzTOwnpH>Jq7lfF(}m495vBv6W$99>;+vTZIqfb+6-jjIFfryFf$sGZ}- zNCkDD1iJ)a!`u%SG@0hY4k@XtD`fYJD+xZABbLB}XJl~jv?LdpF86qeGJhl=io)35 zPIIy%Y>iSbK{FJAH1IM;`hw+i-?dxuX?n|BqmV_ejJrNOpYSMNWhWwm1wBdes}EsX z`|7>guP#~#f%kFvv3%cFNJbQDDnly|tLLtgmEcuYcbcOZNjb2soaGs0Onwlx9deJa zSJpMNo@q0O{IrO*3^w?vxyK)-=yd7P#;I(Mr_^0Vp7t(dHT^kUhA|wM>8YFzdm)54i2qxDcg0NfqG=Rp$rP9BsXun zgu{qlgZepFdfW=LbXvxPq&qf-5GI5@8EAv~fq+)u>h+345oY%h;eRtEKpbCaFyz&H zZu8Fgsa?I;zVjqZsAp;htgPJ6Yj4uyp~4o#!$Du5z0h0$9O0wL?r0?V@?Y%roykr}nObqB2I!`t~i&L|C2ZFA|$An3gtF+;*7W(2dWP|6O7GO5k z+Oy_SlJ1`LWB_HjaM8X9>`U+Ja4Sqw(OLs4m%GuWetREdfPiT@beji@=L~t{Pnu_U zlHFei#DqQ&Xn#JV6$pHWV_epxCtS1J>ExdiuZ|t%L?bzMtbz7T9u_e#PS?KXjzyVP zr?9g-$^-DJ2P*YV;2w3~VoK{*zsGjqrn;d>>^mZ_O?n=} zK1qF{3(332+^4;jSJ&^_wS3BN*Jiy^y*eEP`JMs^0d(XP!h;C~#|e#CO|)zGlu9iE2w$9$^hS_Qr- zti!V}iV>f8AHvXF+iusNREJgxyofKCm>_d>(d|w7Nn6Q%-W|z{7e+CG3LDtP3~@;m zNv*Em_$!is}cvrq$#paqJMYnh4Vu+W5{3e870D>T@7fNk8{Z73FIrg zw0|3Ct5;LyOXZR?Ta$=?inVSYTg{W9#6LOH`>+M=y?Q%JAKWllnfI;)wDM4F))kh# zCoZ4Om^oXBM~Y7uaLjAw>9*;>u?T};k+(JvAY$e71iFgAt58q<&s4*71T~A!iIt#xD@f&F@G(b z1`tSuskqN#d#jO(+tKx;DUeDYrKS-~7ZgG^NYk%p7XUF?Nbh2+$S_QKBErga^kwtz zuAuT&Aqexd^C1a*7ve&80n7Nx8yE8dKA(+3lR^FpUK-Vm%4^t-H5Zd&S|osU1s)m^ zbEl*N+(d*UgjNxmrsTN*JHCyiqJIY*)g7sF@r7lnC*qw><%->Tn-juPy{|-$&VV$) ze|J~BCNI=-P{C?iy`uu1RXSJ_6dS$MCP&|#ic10cB8C+!3@t|`Vg<#QoGAT-QF!-7 zp&yFauV}EygdaYIZyW2fB9Xk%>V3h_cB14MJ3OU)?yQEM;;7gZ*uan<_^m}+aepf2F+9D%i%4}7 zggzZ^h`K=>o;P(@7Q{K>?W%>0mBshh2`5@}nBoD?{wOU;O-^s_XNEB~5JrzG`P7g) zQT&Tr6?Lj?Z5y*4r*VCnthHtR0+Sy$gAL~I&a;1#ei=+c>rR|)=jbG*#Je*Ph&}Z2 zO>r9FHhfs5JrKx(8Grl~n)OyFzK)130!z2cul`e9j|NA*+f)lT+xDA0rrtv)gfYyZ zz)uWzi8dqTXqwx3^Ey}=Kq_~ddem+!M%L|w`GZdP8VS6#*OgON?UYoTHV(l0Pzk6S z_Fw+RwIrJ#o~0C+TzaH2PC^13ZON&O1rB;A=h&rPH@{&xeSaJlWMXKqp@5;=v$C{A zCCjR^!;bl;L@e=LS6PLCIhx(mZ5E0Dn+PM5ZFxBS=s@Ys=*J1|oNJ3gz5?sPse$j4HvOuL~ymWhbGeWh3{$^KUn?=Ca@n)8>o>SOvkAhOy;7YmQrd;yv&^ zT+Y0ps656YF@LA(mtn)Bp#E~%r4ilxI7+>8b&;c>gQXgz!|LkqR+CMx6z`6#f$C{? zrE^@~Nq+-j-UOVP0dLkdlJ&haqat6Am1fc9rchQ7-FBfQ`=S}MpYGcE5xZ7keT+=q zj>8lbl}#&5likY84yDL=Xpf*c4W@l(9=SXAr0t~$kbk0W+}>m2@ox}s(xHLy=+us6 zi(4r!#wEg?#0m7pdqYDGhVHh$j`-D}o~((5M)k<6vNMZxtE|lb>`R~H_CbG$t4L7S z@!@PscJ(2Vzs@lz$=Xg6`{mE4V`M-N&zMe@FZ5zL?7Xp`@umo2kHG8`ToUAk$XGIuQubD3M>6 zL5r+(Fr8ia63FWv##Vxu!vBg{BLz~j6b zAe$WT@`hpQ0!lNqpb@0$)^(*X3N?{&(TuK8?0;6%ijciLR~hVRhrhN-9isKYO~D)B z`39M3M{?|!sEJ)#Z^EHP%ZYe6Z?zsUSK{>RT$6Hzn*-|?0b%>0Z5H$sl5+&_`S7W> zjaYl#|P;Tm;U5(6}%Kb4WM%;13haZ_B+zxXQa-N*WR01rCIS z8d=ZHm|pVmC6@+kZt~}S8PbcUR?f-0OWi2 zE(0w>$!gdlH_TOImIz~C5KzIn$rs0L|9{XDEls9V99~ypps)@*vpZ{j<*|JCb7Uu3 zRVukt+Ublc%#E7Dj9 z=Is3=xDy5Gi0j8E*B!r@-sZsDe3*mf=?$(?4M@jG67v`?XIh{GrR(AndxuzxX) zQHY$DN5~a(#v(%PIEviywK6}`_Z@9t-aTL}f)O+*d;X^HY2n z8xyq3eb+rA;lO^lX$&()1}eIHXxtWTr+7E)V9M0lneh*#(CWu-oe=W#OXOp^WdJF7 z5F$S?6T=-sT$QfeuYnd1ogc3A?SG+V^0la{4wGgZ9xR>A`q6z?R7p?Exau5`=9=R* zIZ@!(#jvORfzydR^|r|q3fssa6_1};vRkRr;;552J;_9}*O+!zd|Z)(?~PPsj1c#* zG^O+deSHl#=qe>y@P59F_U4c^^*u-cq_~z!^Re+eI*%0Dpx$+*zA* zQ2gR#HO62MCzZiv?UitiE3}uW8WXEK*nIo6v2m+P;U|zDDTv=bT`SG!JeDVUEUEOk zPHd^ewlTB-OiEINM~(Dm&EeVmj&_@yoXJgp=Ct;UNzxW0En)j}%Bhs&J7(L8IrBq4 zL5R61_M9u?K*-R9SWy)#g?}@~sYDm;<(N=y|?A?H^k|tDJhN;(wC;tK3!33Bh zNflm>bykgcX5tzA__`Qau_ zK+I5x?uZ=AJl7&j)zQTJ21|kcr&%N4z(PEwdh<#m(`d)``{nG&@PFw!W?Qn$OCYF~ zANfXa>wR>4#Tg}uf)BCxjnYt2giC)w5V8S#H1mGh2c-tb?kJ{#g=TfJFC3WUzLO&z zzC!+Kejn8Ah;QdeFlt+W@xp*&39@}GvdHJRV>79g8g~$7027WG5_AEK8nj3=aC}8P zuiH)&5myo9iw(~Z>VNApVra~^YZeZ5-;0-tT^B~Mm=MS|j7IeU=Zhd6u)|Xv*2`!2 zIml7YoGqxPC_GnA1n?9SjI|S;VR6?#H{=ck^%1rZTF`0g zag7}BzOxRD)ThL*kw6yu8Izqw{^9!g(8?}+v9_vNLcI8V0xdM3~TlL`t38Zt4 zcm6#`@cZCY*=#99XBg^EQ!~ot?%-@vU&G9Zx^M0{SqI}ZbN5e#lN3|$Dzjm!7~nk9 ze6d6!Ek*iYqJMou*8+;QyD8JYQeAmKDFmJ)sKCPs<}7aTGoEH_uWN`}(fT&_AlWJM zBqwOL61I*J%j1%qTp{YT4sK8Ceb@G>qFJE{#-sLX6KKPaB)0`wjLY-YkR+5p=Y@&mBk}7*pT=J`ABheT3MJRnzaep_ zhz3`Eg@1!LyiK>xRYA$+-yUDN1}3bz%_`xfq553=V#PS7#DChX`Q8n`q+a|QDK3P% zv_bA3k7a>Ebj zD%Hcm&{EQiE`CDNArB>m8z~!B4-g9q;LRVTuZ(PY?_UDBVo(PiJg^?eun*nlo8?63 zQH?2iN1YpEHaYvZQ(3?c?G^gM(G(-xKj>q{wsbxI5-|GV#$I_8 zfYP&*kt!hyBbqGS_<_Y!WF%@Iy?>*O#oJ*-bk%n56VZKBNe=|rDX2z;_ecBJ3MQtB zU5UvwUHu;wEF%gvlxlg^U{2#gji{5P>QYI>GRIc=w`0l*0$z8z<_v|5ducS3Ihu?N zebj!M5ztEs7!Xxk>75QO=XkOyuc#glyJ1zZYqCsTdN0Kw0uNImL~%6LUVov$2M5)0 z!%C4$QJMv9r9~H<`wOs9C*nZCFXa`g{+6J#E{xZCspS1>q66(6Qr++_U7eTHT7$lZ zh~t1nLV_gbJTQe=wm^{P$4tKg4bSK&s%N>_RJwo>^OOfRN;c1b@`9F6xk41AA}g8Z;tRvz`3m6Kq-(xXZ%e>37|SXKLT ztqNBI`B^VwQ2qD^byr2KwZ7h)Jj>n7?hG+Bl-(PEy?PF8)uUgu`hUh8&^l)|@aL7W7YXfJrK7H5i_Bg@mG%hV_zhzLtfV7|$JCJswfw%Bf-5T*75 zn_W2x*(LAij=@hZGTkVt0J+q(%*3X3M=9T*50*s>x@V{kKj*Vf9(EeEU z#z*VvA{0Z3vSqOmj5M3Gvdj9S>dp}A>mN>*H+|EpiH2$EjR-0k)2Nu{UXz>?|G z-7%mER0yAAb#{=Cy;e;w?iSyD59brk_XQ5KA~T!)o^{C}ol8WTEaSAS1){+Yb7f@M5GZnw3?P1oH+&IFl~^-&k6f7gt~0Xvslp6}XZ z{$RYgg5?6+ULR9WN;1TErmj~VIZw^14G{WQyfnE4YGlE-m}OQH!FOE)8G05j=P{F36J90T=Zp z{l@{d^0A$F_EXdQkjS+%nI+^{6lfK$T7R4zKp?IMpZ)xLtcm1)zuQlRxdEsUSMNxM zO*wn>?Rn_z7((W5)W~8*ekY@57@p8w*)uw%!?t9wDNS ziTi)&v5YpOhBDRKh&XeyD9w++EjtltN<3Un%={c9v3Ajxkk3)WrtdO*`D8>fjS1dZ zXna4}(%=K#;&<*AE4MAZihYs~fDCfwSF>_XP1R5M^YrY*Zc^uu`iXwGpYVV#%oo8- z@L$eU`f6TAcZiT;J*pbSB6h`m>C@B5P>X*dO5FIzk#jc9}o(XBokx%l6`Lx~EgHMUQUsEJegRD3u>{Bxu zdphY3_hSP>%yEo&StE*?HDn}gu2rPNnq+kZZ;{Qm`Gix?{jSc4O%MhbSU1TWy*Gau zrzp~;-Q%ZhW6I_yR;UkU)tu5lO8K=7DABK;jkWiq0x6mMg;B*+W>ud3Kiwt#;!JLJ z1h1qb1QkWMQUqL-OBH=yPu{QU5Sk09*0`dP>Oan74%%EFzXtgAcm43yS$!@09Fj=d zbnD1+a~O)Sz(MJDK=c4$peymY z?Rr4Kt$2F6{Ibm*{hB8v2kGc(R560l6R~5^A-PRG4nY%_WYW?*h>JKDbY%U-JoGE0 z?||hIR(sC}W=900>@Lgto0@f)>k2sBAJMuV@p9|0g0TneT)Ys*aq}%`15|&e*{btd z@Hj)g;o9^{Wp$khnut>US!{eBNhWrH8#h{4j(ScE3Vf8m@OooHs5TO-FT4WpgXTL4 zjA*`j#q8F|6R4E5jblZ!GREK;%+&nkqqBxd@awSfU}PL-3S<(Q4K?a%YPI`niU+!g zT7zJ{OS%ANND2KqWFaIQAI5(YTK_qSxat7Vk6y28Qd(ZUb<EBY9M0k4G}|Moq}p~-F3iN#*t_blB|;OvK*jZ&*2 zc&S`IpTf~(rY`Q4@geH-i)C=$YD%bpVr$Jk}d(Cc*UBcq#5*r#B zU)*kb(Y~OH1#C_XIm=Hal-gRB_)%}tc+D|3B@Lo~?uaId{UTo?I3zR<$aQ7~N61F1 z_}`*KkpB+`t(5f&Wp0CXoVRqG0lifPG&3|cHJ3K>0UiZ3Gc+|dms#=w!2vjv!JH|7 zty)`i6FU-q_pi|7Zf#+W?ot(XsvwYpb50 zY^oTgCAGTM_nyI8R6>aqgbG4CBa|1$X`!`nS_%B~x)R!ofIaO*@Idn-R$geFQ7QIx z6v_o4B^*vk7=V>F!q9OSgaI|8WoQY1lnnj_i@^zN4Df@nf$)-Wl}kOVgfpHth4Wan zPPmA{2H`93g-yac@OQXdaD*&;!g+_=X@z;fWh>l2i4b(`c@a`_LKzViWQihbP*X`n zgIg=CSZq5HJ=Uy<0gMSRLR2872s$DurFtNqG_I|*NCs?_6Uj!6Yl-Ac>^*&d+LOmW zuWKO>2N!iu?oGz?dOV*A10^5zxQ!gZgYZcs{uiUn?xQo{O)4knzR7kjM4STzp&J?N;Gc+>+iuiui@hg>;2Tg`_R% zRuXk;E0KRRuqSWW)XM{Pp|?CiKZ+|9V%)Bl(xP1su$KS6Hvj6C>LUzk{MP$wt?N@< zDvaJ&eS}j*u&R>jBPxCB2cUWHF}r(=G2-}r#s)vQ)>B*zac=q$Nb$sf2Hi()aCFmV zNxA&zu35zglC^!?kjPZKMr9dQ=@9yHgWVl}(k-W|s#=oUUdeZ9gwlL!Yb^De&tf2R z0i?&_LB>Sl#?$k002JOj4uoOxNtr>#6H#9OF9NjD9nLwjchSwFHWH|DA z#v!WtJk#fWM^Lromd8|op2@eU*0Pz6yAy0(ewMJQ*7GGE%{87#X9`*QtkQkQ8Z`(p zhlf^uLlrd+I*+)CMX7Y;mkc|j$ZNLX`;4mc#4;bd$6;LHZr08vG6rx^CK0=&HM^QDq=lg zj0{s&s+bE7kQ2~-f+iIka`$3vRM7mfXfB-Rz;Kr4o|rgGE@qQv=b}rY(V!d!gP|$$ zB%9SFxpPF*s6er35?u#j7T6_8&$b^aa0>pV4zq3zIO_&3E%UH3(<#T5B?GwN37&GS zjfqrPz)rF2LnG*aXb6JBksOiOgSI3Y5>=!YiS(?9mo*e}4mF3<8>bAkI+i>jL<`=* zM!?=st_s0{UO>*rO2r8%TMNA#`a#f6+A?kO2InIsN$Dy5qeX;$45YLbYrIOVHL__$YT@R8kvt((>;ps#UP6_?vdo^O zHI5w9v9H^}$tfkG?y{}}C*+)#Gt3EY1G>-133!zu?|tkZM0vP|8ej+AgQ~juG!J1QY#0P96CqbwIAki;6U> zlr_!zk~RlrR1L?Bo#8c><+&{|3JNRe?i=1`Y$z6gH)9FPvKE%I;$@DCQs9={pH2M^i-Ni7L;by^AhEHnF0nmHmQ)Wpo zpKNF&FLCBs(k3iJeO%>N6PIF3;5M|L5t(d%jx|)8kyh8HrEVbdoK(*zR#Ijw#6n|UA!Q@sI?HJ{uw!{n&5@Lf&O&hmZyHRa z3CF^fGX>m{-ju1;=KY2$pKjnt<-l=YkvTLxc}(0XmMhd#sOHwCG~1Hpl}y=I+(#FG zFv=wd=^Cdwo7W>1mqs^%q-@TXG#Q6FO6n^~)(n@sS)vR#BXegu-->S$^ts?gJv*Ha zuji9#{(SIeaD|#>QxHF%vdpJm-%RPn;1?w4)bQ!|!0oEDA1Fin?op* zpm8~v(szb`$Y*j-zK}2F8+j<-%Yi(Vr<2iSEYD;u&xiQ;cP%gEr5wudawM6*Z%v-L5Tdp{?ZUHQiaV?pj^8Dz#M=y2ATuhpucWRAp4Ds*~y9^m{!Y z)#vk*c{!_Z%GvySIhzudH7ZZnxI6{&bZ|C29gLn2FXVhUI;(#S&+3-O;w~C{wg2VC zvzO4=!Rs#nGK&0*x=rnW;a}!|F8_L>>{4sqb!zRId@cW!Z{c1?aIg<>u@ku1)zttF zb}_97^Lh&B`VX9IRL^GcueMW-2D3}KkT<19Y_*Fp#NVnAwbX~U>XGyj zyY)e`j$6{`og(7p(d#cqEKR&4AV?ggsz(wh#7=RJ8)K4Klp$chmT-1|7vc7w{eJZ6 z5W*dG`mW8nF~#`*$X4CUarfjtJMRIq<6Cy$V>s|9xbR>Gw;j&D!8#`ouxTlc+bv7Jd-3+@6G_vNR#3Q`su8M3ktXlnIvzCf>%FS>8 zc>dw@9;>L!L*Va!$oDJF*MZeBh)Qq56MzrEk^U<_2_3y!kx0%;o;uln^%zV zxVv@o%htRykJUPL2lZZ&#m-wj_@pcI=N!Mt&38)`9k~tHSe(pxN{itCd@!r|zdN_y zRa%;(9~1C@r|u7@vpHQ_5YnH6)daLY4bSG6Gx|Nk&dfJ|TmKE_X_Gm**qXUAE9Tno z&U~|rZZo%Pi+OBGUacipyEETtST}f^Ev;9sCHb1Ub`MZ{yT9CE?zRL^E#7*~JMGSU zqy5|9z3pzQrSvs#V|VAh(ZX!--u5=z;=T4Z^8lTu?wABDD1bGU{fD* 0$ for all $\bar{x} \neq 0$, we can compute a symmetric decomposition of $\bar{A}$. +If $\bar{A}$ is symmetric and positive definite, i.e. all eigenvalues of $\bar{A}$ are bigger than zero or equivalently $\bar{x}^T\bar{A}\bar{x} > 0$ for all $\bar{x} \neq 0$, we can compute a symmetric decomposition of $\bar{A}$. \paragraph{Note:} if $\bar{A}$ is symmetric and positive definite, then the \textit{Schur complement} $\bar{S}:=\bar{A}_{2:n,2:n} - (\bar{a}_{2:n},1/a_{1,1})\bar{a}^T_{2:n,1}$, is symmetric and positive definite as well. In particular, it holds $s_{i,i} > 0$ and $a_{i,i} > 0$ !