From bd8611787cfcaa7e228870b1f2d98c506ac8fb1c Mon Sep 17 00:00:00 2001 From: Riccardo Finotello Date: Thu, 3 Dec 2020 22:25:34 +0100 Subject: [PATCH] Typo Signed-off-by: Riccardo Finotello --- sec/app/ml.tex | 2 +- thesis.pdf | Bin 3108972 -> 3108977 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/sec/app/ml.tex b/sec/app/ml.tex index 98a0547..7bec2be 100644 --- a/sec/app/ml.tex +++ b/sec/app/ml.tex @@ -66,7 +66,7 @@ For larger values of the hyperparameter $\alpha$, $w$ (and $b$) assume smaller v \subsection{Support Vector Machines for Regression} \label{sec:app:svr} -This family of supervised \ml algorithms were created with classification tasks in mind~\cite{Cortes:1995:SupportvectorNetworks} but have proven to be effective also for regression problems~\cite{Drucker:1997:SupportVectorRegression}. +This family of supervised \ml algorithms was created with classification tasks in mind~\cite{Cortes:1995:SupportvectorNetworks} but have proven to be effective also for regression problems~\cite{Drucker:1997:SupportVectorRegression}. Differently from the linear regression, instead of minimising the squared distance of each sample, the algorithm assigns a penalty to predictions of samples $x^{(i)} \in \R^F$ (for $i = 1, 2, \dots, N$) which are further away than a certain hyperparameter $\varepsilon$ from their true value $y$, allowing however a \textit{soft margin} of tolerance represented by the penalties $\zeta$ above and $\xi$ below. This is achieved by minimising $w,\, b,\, \zeta$ and $\xi$ in the function:\footnotemark{} \footnotetext{% diff --git a/thesis.pdf b/thesis.pdf index b41865f80a3baab21da73d305b47166c0d584add..65f95ba5990b4e767ac3b8cbb3b3d8ba2352a901 100644 GIT binary patch delta 19185 zcmagFWmr^Q-~TAl*5XfV6b~$Md|d z`@Wx7&vDH9FnhCS?KLxNtzUg-AJGatLAIbUU>HgmC=47134?~AhM|R_hhc(dQDEx$1D3Fg5N6iae?ZN9jHM1;rR$PU>n*45gi77aDrWp-mk0+ zb>$z*yoFYc0{q?27l}bywp|4B0%p;j6Vb)POz_O^=}d3_`L6yW0_8A)!B2aBiVQ=F z)~==>@7|t|viWgIbr*yXSX69pTbrPmEqyy%%04Z<3F8uXie4SD(hk$mIUtw#*#F77 zB%utK?dxRT2?zHKuG48Zx~1lIr})ngi*g?ppB{~HUt_+lwX5&<9WkqTW0EUwY;0p) zifIpzDtIF7{_<6?a%UI^M)rKo{Xv${9Ew9zHDB9DrsO|?JD+zhvOmFQB)vluYX^As zx|tmMA`i|#bz@K#KMO9DSu+tlUwcVRGlcW*c(8uDKG2GenaxnWAm#qYBU+8xHE)>q zq_>X>G4}T=)}tQV>C49V?AxBng|biLc6PiI`d! zQ$HqQdX~C(v3$rZ8dw~|$~)m*iU_CwaqzZd^-`VCRz^DVD<~uWJIz~>WHB4sPjGDd zJC#5z%({a{pS9_MFs2Fishyc$Gd;6?xDA2^7Or5mBhz*gwd(U6KmT**&TJ>Yf##yS z9XQ1}148M`IX)B2Ugl`om;vHo-=l-bqE2-+`94;82f0Q_!FwZgxV)Ca7`4D4zlm!AJ8dC!t@=DpUHX^? zMjC$_Ky2+Cz1;XC^V?6cFzs2d`iPS)sLet|%10r}w-@pP>}k&R51-5KAE7A+87<<_ zObkckG@`3_XURe$xys`;56e+_4>G9e%}N6!^&+)Rs0_nOd7QUJPJzE$dR#pY;0J^4 z%jX2rSO-!XB*CZ!US!K8RQeUfwY#eyKp%}7rFpRVZk)iQ5li&?Jym@NzYZW);01fJ zB}#1y6nv;dLdO#019#eVTDigpII2&zl6*M{v{`XGdnQ(qEufMN%`VT0cbD(gLm8T+ zvUJ!803jXoEcQn7TOjn9WaiZ={QQeBYt*nf@b_+20BJg!seO2T?wh1QLhA|b@z1Mu z==(g`JW>dmO14N`50|a&>Yw(6c9WehTpQR}p1j=0sw{cwZ&_9lDIHMqE^Jb3G|7a# zAnK_da3pia@5aT9Z?(_>OyHb!IXe3tn@8qIefW9044FOXRe$k`p5(wOoPwklmRH!> zt~$_YP(&DPz@j2-%T?aDA?sR&f>##rC_m+>B*#F?oeG}a6K#D@#-H@$*C!}&R`!CL ztb8WqjVWuVbb0WhWH@C=;e2T>AmL>Dfd3)v6G>2Wt4$_Pr>Oy`G%wfZJS(6NULPQ+ z^DIpd8vGO#z2Z{nAEDvj4t%_CDQ~vCsBMv>0fM8;pwu72k7()Ba>*Zru9wHhD0Dgwkp zDf828zvqtQIS;VFgnP8B(rfss?uLe*6M5g$*@g;HZ+Y)d-K&VPmS=Sd?z|v{5!O9B zwr9fhGI&@os41zUIiH7t?|ArvV$H-%o9IIFpE8cmi%0(Opj?uvTql#bvep;$_x85}@6I-9$Cr-P-Vi;*Dm_#?D z&PN;kpm!F$jpuSyZ6Pmy7jGhZ*Pv0A;S%+H>QB@+9qoC}r+)cpka=ZD-WskoUOI}@ z*I)Seu^_V&5HTwUSn(7db; z7AkpDkK(M{O%sVkmaZNd*BTDNp*%mc>Yb zgk^urXg#K(j&%KW5rXs~aJhs?+AzP-meFhK^!?~ z@+KJ8W<#--T1HP!RRu@VWKv1-Pr3prM_0Xh*1FJ_M;vLhZ`VxK-U>Ihd|-TuHf!Ie zk>H8OIQlgRki7`{9D8(;a)?#*QMZxbdgoW7pT!{9T-1>b z;a-$F-%A5++mNGcX^iP=-0o?Kr5H`1!k~bKe#xF{S8Zl?Hs$&HTp-r;^Aq{9v(%3t z?eLY&5L7B=2!9g{5J&y}7hl%l=h-lTkgOsfhh9QTQT_Gjo=i`>av>XAhtYfMTg^Hd zc(|iidLIIB2&zU?n#Kbtj^qK&oA^d}8kvjYa_Q|L4xcAPi|r6+oa_X>T680%l&JIa zy>-}YPWim6X&z0Ivm)GhbL#(H<*r+UWi6TfJD%Uo8+NZ;PAus-h)YNSjyCU{)dq+A znxXp70=Mm*MamHF9MkDG3l<{4!N}4>|mRbvK-j_W{2>A+6jZs3g8nLn#43qZ$k7iw<5ZU4e z;W@F~AqK#p-fGd;k+^fJN(EoJxeG9t^3{H;7yPRF)>NX6CZl(xaQnnC_K#@?Jg7@1 zAi;dCEr(0%?iq~j?oxn{XEvl{5tt|`pH+u~%G~+FdVhjq^w4YhT!@<1|bh_l&ds9Bg*U+O- z)hDgh+CA)}k}*3GxKvjb=%aYV@V2h@;m6&Fqgv-X9^DEEry4sYzTQ|1H&m@(XBY9s z@XGB?hX=)DHm;o5wP`fv(ZPE&Qx~x(o93i%Y_$1}4mmHX`VKz}+a4a;$%o$!<(PLq z3A+z{JdekFYf4UOKbsXJM@FDRX)XIcy;GyQNg8e7itObTOG&AH^3taWEVw0y?))ZY zAbTqVI+aGRQ@~zOMj@(6TLYT~j^^O*RwtgaG-6)(B}Q*d^ng{=MESGf&*c5xawfIK zw~68=FAF7hk|iRC&%3G#Jk8a!UvB~7-73bk8BLc#)xc8 z$i|FpEXc-+Y|oI54cXX{jicUni?dLXm6w;7pPz?~n}?a3o0%1ZOU>C**383-mPJ;S zmz$THhnJi0-%IKRIk_}Yv}FZFc=_dp_yzc+MYv^!MFfNeM4s~q^6&}q2+DBFNK4X+ z|NmZMgu$h1^~T1-mX=2ld5a|A0(0skHy0V)TJ*rQSd<08&m+tVp^04cQ1?JeT1^cJDj0eUOd?CXl6AF9U2g+_xR$oD=6mEW~TzO&__62hO^k{b7L1{6?Y zvjrW{qKU$o^`K2Kp&ekWsfZr%rUR}#hKuxka|KMWXM$=?sq}CKgW^mH=dkL6=(w@u zJ9MkC9Z|(PSja%lK_;c=j1@EL&p3LyY0g7v^>A)FlxdlN;MRodn1W-2(On3#2zn@_ zQRB5q&PYNDG=a~g3H5NpJE&b=;_=baOa*&Yk?%t%uYKPUQ*&e01>YwJ;=<=JFM#)} z!f6214rv!ON@!_hK7uR_tZn*)5|z0FOBh`}coJasrOMz3fIs{B2J3(D3>qe1N|X!~ za{(~qlma3}-;HTc0}hH_ZZxYId!=Rv0;&h@*<#dfQ_)!U|27l65w)ff0{v8rL85^9ClBjT+~}lKr{?h52_m)hX4qp zZEn^rxZwdRa%pI{k|Aj8FC}P&wZV?1_;{%$Ot6lk3}A5DQ(^5uSZWX-7jtR=9~UJ& zc_x%h6+f}Wz(QHFa%54KgSguicMexptYAMEk6`)NLnWaAC=c0$pr4^w~CX+;RtKk>1cJU(*N5*W40oaoq zeJ@**`!%EoT`-SBajG!NA#N*)1r#2kW>uJq=_+u#1V<@D(BC2(P`9nwi%}!ve(H!2Vx3NE3p3h1UabqQ-fNNzVh

2QCKFA0|$J$lFB1k-D1Xb=P@OiI#6a&8*0XlQWvDt7dvBL}Cu>g{WZUE6w*oSS6R488AIfB$O1nf_ z*mOVxsi6v2zKK&WT(DF_H%y^frU*^6Ki48w!~4wq+7ha40Z+2bQpHUNJcJ+yW`7JN zD<9cV1U0dgg9xWW>}iqF-kasdzcXLIf?*4=m5cH+Gm4@^;O_tz+EDBJ_9h#f&qwVC%`!QBYjIlEytI2-@=GIG`<*LiKHurT0#(7y{j zR!kst5)nVhb+$8V=R#SGux9B)ZZrM>=4c8{z#pJ_Bz<@T#%AoGH#L2`aCBULlW=Lw zKcN3AydF*e_4;|z<5uO?i&f5%>LhF(fLfmeKr}9YQWztKzC<`XDnHAoaq#E`Jgz^% zm~yuliHhEF14^nMd@V}4-haU3N*UaPuSmJo)5-+j@E4HkA$A7E{@#%O5%FmQjrD!} zIt%lAx4-zh4hmw0Q9AXcrr#M=WUSf;WvmyozW)y>28|6rqPqZ+ilcE+o_ttP*NUWj zAHI&p`Mzr%&cZ$tM*n_zJ(9a^ep3T--m-u~^J|VCAlEalLy6s+o`)RJ>-!kDbz2VP z4aL+R-evNWR)}m3-2lG*EM>$6auA2aI9wn*L##g&?jcrq?b<_}15}M%7o~e1b;397 z`Ul{iW&BIH6_Sfb1QgS}R!zIpSgsIT9Mi<_+lA-CDgb3xFSP3@*iqR4)1%ao{tkvT zXg|=%_ku{+2}6`RW&e}(JD~I!FeR8%-5Byi^+7FX;+rr`#0ovJ6o{R>u(=wb=1}5G8RpD^Ck?_h+6=)}406R3i~C zeM1D(Pja~)O<63to-s{Fz|K}4zSfm^pFlL(LS%&?#3p;pVq6-Fs%K0Z3%#cy7GFlB z8vnK7FoLSGFJ2ByzvmxZggO-=x`ga+}H`sE{D$rA+lb#}4KzpEe6@asjVzz2-4rY~y% z5{qtCC@wnrT@D!VL%-)5Qy2>{F|-hzG4uvot#QcIdWH#&9;TmKXQ=B>E5;qv*JdSp z5NM};74)b~X(klglzt9pCOyRDUfF#fEC}Kpf9VocWDa(OLuA;QtVb z_qg7mO+tA|Gs-7@?Q6!`!fsL4@1Axk(#C?j8~`Zjm7pu}*wJnzlDc0PVBuyUqobby zaLhtxy_sk;cV#&Jxfv{xkM)z$;AXeE-NBbJO_Enq7 z@9G`eSe&jMT6no=$FdnGWB7^hm2khGQb|$*j11j!YI%oNMwfgui7tz8%Q21T9ZleC zq1;HU=mEq%7KaQJ-SYTFcnV!84)5!^9Ig#VwW8uHVq(xNJ6|MSC>gJ;cTpFSF~wBY zxIEO!GF}dvD${`n1gY?3r1`O8FU5^|4tX;ku- z3_HGem*RN}v@uw5&ygLB{q5yg7fNMm3*bd#kO9R@bCDAzAjfuJbZldlL5wm;8;|wB zh#qkK%*$^_UX##SmTsnf)y(Ap<;NfoOa4qgNc#~>YY^G-w}F4&4&22_IMjjfR&{Ms z$PRi7O#Gn=AWA`w#4_O@d}bYRNw+d?eHYKm_xez0Rz0%|{?jh7m?2b|w=|J&KaVsL z8}aQpQr(?Gb-b5m68o=7gt58=Kh=I25O=5r-R}VYkcJe4b#k8wOLNT6CY6FR{(y#v zAP;5N0stYnEtq-?+>%Rv1yezK>5a|__8+Hwowv4h0_EX#!CrXa*DKV!s6g$h)ynN1 z@asR+yD0zhk(H}3utGUZJBXa3ZK0t-LtFHJ9Rq4d!0YEU$Yr5zQt=xNX$3=_OewL_ z^QxJCdZ3a)#5y^-p%;I>qTInWW(Ehir(V$mBIF*8bYDR|2wmHw#h6b5j1!sTMvGpP0AoZaN`T=bfygt5S1e%2 zF=)!7$T3`iC^I_Rqj9CECqy9fvYR19O%>u8tU9(x6>H>aT)&r#8*fq#_7d>D=c zQI4381J`4#je3aj4V@%e0Pk|q=3qPsL4^t)xyp*EPmLN{h8RDBsDxpEzx@vMhMbUW zCzeHdQj4+*p1MTWpQSicp-?z72FRu2CpYYNUH;(D?olELWf$xV6O^wJ`~)A~^F6i5SRN|OeL6ZUx_FeF0!HEJV*Z(ciZQGq5A z!ot9jAXW>^PZQnN9ZD|InXekeGHe`a-jW*T_stpG*?_q}oaXsR8JIezdhO{F;rA}T z$hlcR4d zLTx!BX59Y463V1CXGFN0q;|`?$TE577T#-|e^9Yy8{o$Bbk;07B4u}kUtZ)%KAbY{ z1YKI^Q@_iaJC8vn6;zTI9ipYa8Vu28P(B;{ zoQMRKrOi41v%$41c$WP}73=#}Bl_f|{NNvS4OuI9+OtpNmz3W4k)nhpi@k}igjZ6B z+q(J1++!J@st)oC(MOMx0L56idoKfCKid2o&hcu3WF2r(J=@(hfep=pbr>&0{Sf@U z?FSS0_QAhouGyt zcw|s|Q#OQt=y!1k7cVI?0ml1RduIRLa)TVGPwkt~xzYR722*ONy#SP8g%0??@s{{# zyoUXcYW|Vkn3xe4+h>@JoW+6a9k!BIgTL z(dN24a^@z;lh_d@^ljT^Pb- z$7fA^HUxZhAmXjT|0EXY2D|0?;36Iu_o-gvXumXPUrhwGy5D zM>b$#F4kNyC^^(#6Ze^#oqq!L3s6=rNkb6icchAhGk`yBqK)DVE!&J7{^oz|F9m`p zbxl{h={m+w59y7nBhw&ewW3=8wYJ=7eyY1|mv)@@ra@~8_*KE?nkY5D_B!mf{mxh= z%(3UtW-=!%MDACiRpgF9nIKfRaE1TLQ_Z3KSljprA>+sn<0{;J)D2SuhB zJ#qqh{88o@qQfwTk~PXblP12TXe}rOcGpMZOp|rX6`YMQin#>2b(pDO4W$U1E47M3 ziaK3gLL%Zc^|apcgI;=;&P^h)3|VyurWsEH36vOl9Fa(P`7iDnohbdMlCxX2KlJjc zsORF2?T|&$ZEJB9u7bnis`JO3_cR77x+rH^vUy6%IkHJg{OL$6dtsR{;ad}!F_E7P&$_=C%`Mq7g_!2H^}qs@7`6~yk3@G2Ojo;GAvvj-)Q1o$ zLUA{};}|LQz-y<@d@;!2D4N#(-Cm{Lc;q(*=|l#_M6i2ANbAq{%Rr3ZOW3CzU z4sD&mUL)_8VJ(&6E-}pH58jxt$Y>c6o!vP2F?RxRI6fR7ZBf=W3wiyM; z0UNkeCj`gUR)2dk#A?0e+t*vL#4MU0tL2eH2(ddtDx{4DU6)$7n*`tluoX{S@ENmY zu;WeSCs)dd-6X%5q>p74d~eZCSdR|3exMURk4K!5 zLTm!*g|`Vh8#z0DAwi!;E5S6RS!x(7uI&hv1h;uHE|Qi#-Ogq)$WaN@gs_DRt@!9& z)}K65Fii);<0MWSTfoa7DX9dJnuc>UtiKA;&`!}%AxjRp5bfMf*(UFAZiqfGNb6LM>i}h_&cAvw zvMO12aT-#a3z<`!|47*M8R=AGBNvYLMG~vX#TUWl!oNu=O{X8!Z{jOH#0E=Y1_m?2 zw}{34Drm2(Xg?Ac%%TNqKh;}cylS@rxAz*hi-A^%#4muI@FO_wRd+oYe)kUH>hZ|@ z>U3dCr?C+3q-gN{0a_y6qs*CNz49rokAH_4l~8y-ggNgKws zUblXmX3nmzFNd}hf(u?=%%p-32%0VslF|{1qbnlxdQ59JM=K0FyU;v;|06ou!urZ8 zu(+qK37j0TN_zIF!cB{BZ^D@1NW)MjZ~$9!GBHG#^}INr$X*bN?+h;kQ_Nd!XiT>= z+a5Lk{#Nroq>}H#h$g8*%$eXdr&`SYH|h$6UsdPa5nTV_^4qJ&`f=eK1_mm&8%Sy! zdXM3I)c0tC$A{wDwZASyrn$CHG^?nJaq0l=)o^FOzoB+RkyIszHSP`+IQBmgJ2E$8 zk<(M9?HRIb1QSKMbwww=Mc+l+=bK2G(@-jyi!!(+XDzs=Oh}htkO;efZ3o!j{)svA zm9!zl5Hy`jicBWKX!Ou;IswR(LEJs2 zh7#0-=wP9pq2k+psRS%T>vsC7{jC7n?$89;e7kvv4aDSQ-;(5|NvG!rv^HHFf)HoL zZm0G@P<-xpI3M_dr6Iw78UB*Kp^@fJt4a^8;JUuQ(5wbdp|bKc!LeOO)aBO60aEY2 z0#0Wlfp{y@+qSFtVc#x4CBBtNKBHDX{5imH&ih7LW5uiKnCESKV{(e)T;JXh7P9O^%21;RyZCeB=k3WI|kk)^75h zF3uBvO4vz&b1!9n*~AgyL&FO^+79y ze5bbTjtQLI2g)cJdX`=I7JiAD-F-2t5!?^vQgpV5Cp5f0;R=Dbl!X6drgAm5kN#t) z;^6n5Zy%sufk`N>(-;LHw@szXLvFSXPzXvwMZV?@k-|7O3I#>92AXn#!F#Qehz^h& zu_vz(GbgZm?=UtbP>I$yJPNNoJ}ndWRbT(eQIPSb zgw9=m^$uyrJY-7s*PQfb+4W{!Z52jH{<+QeXnlX{ZLibZ$=$l?swDx>oe^$(tgC2( z@g1X(R>7!>QL#I)p9G`wrLi6P{BVHK_<>C#xbf&DEPP4~@ zjx@QTu4h;f*0<7>LCs=#DVxR^hs=H{HF@W&bLB5DYg@o~Ik_J!UaipYq&DhIcQDa@ zHmp^aC)WvOt?lC-Lw}nKxsnFdgb0oygXV5w=0Y(q^(cX?Nn@8Uhz6|mEM~2cq=^Ax zjVPNe8_SwaaT^rH(L?c9`|IKwPu^_LThoTRZ9@WJ(BKhoC0P;pY5>7NdG|H7oyMo5 zt+`7jN)fK)nSS4dv*#n1^uKY3Lta5hRmw%V63klo*lRsTe#HJD$9EOUS3`(&MhIVY z6Qqu)&>%CcfC0Q=-^PaiYkYDm;Yy-g5h-R2_m$OBFa7^5a8j9)&SBRD8*kjDsePbA zap-(f1*a?r1oZh<49r{;qx)~al448~D^@56-1yzYzuj#y}>IHc21o0USVHOa+fymYt)0t=8XvVU8lrSXRW5VCY_SJh&t89 zX+Dq%S!9g-6eR@qR-_a;azhdKsgI@4x{PG{1Yaet7Cou}@>+TaR%#9n%jGe05^$8f zlkX&(19>4+3(LaoCZ84dA-7ROcH9u34*#zy*#Bh0cXrGOC?SM>*8_{uTLD?VLjBYm zo0*EcoXAS5?OYCk55XYZyXbhG3$WGgk3Icxo*}BnsnB7@yVbWgLBb6V?~E)lIfcW0 zDGmR6WkjI_n$TF+HrM9ESIU7AiaNpeVLZ9K|w`9Xi{Q5zYgR1IxR7WT8VR^ppC;i|kwvqP~{=W66t z4R7KvdOh=dD))-S_*0?C3=JIVVFb-Kyh*`x;}~cdtYt9@VdGrezDWto*jtA_85SkB(7iHQd4kHs#Gtp>Z(w5G31)Nb4XE~);GWXC>hbJ7p97z?p`QMg0Z z@RX6EbJFzVCf?LNv%lr`*gYl3<7CyU*BV1pOXuaoC`Rx_43;r>q8(qm0wXTXSkeMq z&sG*umwTBf^0PxaaF{&NSGe-&mfzM}+U4p!lZp67DzkewAum2b% z>OIf!`1tiv8F$UkXhD0HLagTH5G=J?88>?Pho!RFd|^Z_rGkgU-#UNaGtyu^;&n)w zG839^?b%?;ci;eQ&`pWnLO&n2WIH`b)KQvR5;9HuP`d<&6Z1zKv8NkTl-beaIqMtm z?o?RscCzQ3Dd?&Q#D5*YkcCvNvy>gYk#6Q!(H+Y#G{Dg%D>JbUp9zW_GGH`{5NJ@S zzX<-AyQ)`aW%;Hep>N6HHp8?vHnTkLBg~J<;WV%_MGa;Ro{2xBnW?(!ev)vVTYHWh z;>1f{Rj1MpH$B)vt;dj;TbWU}bE`1Q<96`oiGTlNfj+$ULTf2tm0A5Lr z&bFM7;v6nx8duGfvNx&*`||UNp?|036Aa?nKyJtKbRmyz2~(_CWWg!3#Q$N|x9AYE z3*R$NCTTsS;ax28S1QoD{1(}Mn3H$X^s2|%^U==$?mmw!WxuE*+(&6vTP~Z3n7KC$ z$MbwlNC-62wO;fTNe9fdGQBCktxWrV7{^Jw?7Ez}zIr3R`)p55H=c{Rl#3l?Ugej0 zRov#o5$|dq5H+m*Tcy|j+$zze)oA$TQG9kmTh`0QCas`IuRVu> zMla|9+_qum1`wb9y-i)*$V7t^TWi`6>C*JUF~lbTQ$iI4KFl=}gb09Uw>{rmGD;va zg_s83C~CWYF0s!d3{^jEb8ju7Nvaz(Vx}j*jIWV7yj1CE+P>Ty`KzTE9FaD?60!Q- zyy%gteOC!Q3;NjSkJ!Eut)iNoXmg*ad>~;h9>c8Q+vNU;BW;m&(Y`h(|SE>A!*p)wma@SVPN5UTmOzVPm3)ckH&rGU)y7vg?u$?2>pJ1&d z3zn~O?8+|rW(KFq>2T4}YiTlxG*c17!hH{;bzLOl>7tqwUzZk^9zH=AsMlt)Ib6U` zjnd&_g{M#bTxO)#@vg@zUTWp_apS5)6++ilX;DmtL7J_#m{_Dt{8Wq(ZY zErzE9hYN71;Zg;4mpV1DPlB$sLpS)>*(~>%D>ovGz; z@22);ARhOj98QeNSwlNxMe^-pep4+mye8OdqfM^w)uCY_jmK)Z6ajL-KI+-`R^Hob zGc-`RlyC^Hd4G7M2;Y3*3~44cTJ9fgkBC1^B^kNDH>RcAeOTo}3#8QsT!JFcr3?P# zsunIw^>{3qxj&LsKUl^gzHAwk2L8>bqjLjv$u37zb~yt)V81^|n0|D9{EY!$uEKPL zhMEfKS%~YHOKH?%Er<*7I-Lkxoo$tTMDcx1a6!G-A0m1Z`{hCDrxk}D>c0g}OL6Rp z*ZxZcFS6x%!usj^F8GxSC5*{2eKM@}ckFfnyej8cd?C8+xoVET?Y3p9dSMHoQC{*$ zpC(Q7)U;(8JbypSsr6k(c>5MF@mYEN=a?@aUeavs)q|pZMuV_O#mnkK`XQm4E!IyW ze~a&Ng1OLVVphc|2CV3HmXiq`Q-B#ZF+P2KHCo&)8f>i)Eb>ufJBawLrSh+NuAiYc zciK&!WXMgdkI(g;qcBVGfr#wx2Sxe~ksnd-6Hg1kc{Ugp8mWL?c$7pxqqR7*YT^f8!Bm;tPw&M{!2LZ#WlFTqpItmmB0*DdLqjs}$NBMM-u>E|HeYL0 zp)mN*+x=x&*XXG$d>847$D^IUP0TY2p08|pacpN-D4rt%dSJLJ=eNurRSNU_dY6wl zErXbJaGE4bcAPSjJNtZ1OuKl^VSm{ZUi%VRI^AeYxEy;XWe$^k6a!y885Q7bT1ARR zYS?B!s^U zqZ?f3W1OE>1ggPEeTl81kVOj>ul64=Wu4Zc0-ir!N|kE|DU!X5^w}2|%0F9&?qJhBerQ%!S%#@+_uO(3VMpVV=zp=ol zlfaZD_%ABoyVl-E`yf&uSo(?amE_Mt>IP|nVidR+f_ud#Ft<556hqUlWmK7KH$d0V z=4h2=dbRrWbb{W`Bt9YbvUd;s7@r<_$yoO=$?Q{zGGNmeZ-nR&u)YZ@M@2qMY~03QF%Ng7`G+}ScS1O z!vvpv?GmBehpPv+Zi~V~=1nJ;yecdgp3#5%1!2`W{n^74KO}LSi8kdU)QOhdN|-(dI@DxqkLL2pm?a1!tmc zduA6CFzs0U@Htmr-azt;hlXTo&6hS&5Cdnx`Gn}rlLCiR0p;zZ(@mhASb&<2-?mqX z*1>bsXGeb*8L+uie&h7QR>CU;zY5(^unkz9;rwx~SLjNt^LM{TJBKM676nbcbHJWu z%8?;g*O^oDb%=9PY->PfVdI4pJRy8Wh#^U0_4oy?M6>gzKhmdaI&n&cj@F0%*pDwh zj{7mSRIlBnvC1hGe-iHOh~44gZ&|mq$cB$tlwu$=!R~2qi}L08XuLD{VRfifUV6|Cn zQ4-+If1KiRCb*!q~HlZKqhYYIbh=dh5kTlW)3^>2f) zAL;WGQep}#of>5~Ckaxn4OKSpVfzzZ2S+KmQDg>^>;m?UXHRM2Kh1`$XkJ+D`I)FO zxeR~Cv4sjw{wZ9(nFLY7Qb|~N9(Z?A@2z-?PQ;=;QnfUp`+X*y(9={Enytz?R7>t( zm3QBB4Hj&qx;5Li{q*1!vCQ`=HKPxr~> zcKz~SmkIXxTvzw-V%82;5O3f~eN@YRr#$Va_I4RRCHNPt-MgWJUk_iEIo^mAb3Zr_ zp!LFA!!jN-U+sk}YeGun9--;px6VsA40(4#QN{N{DrMUy@rQFXq?cFi0-RTMXe00# zaN478sox?fL{>7sZV(>9U-KY#AC$PlNEP$=CjIj2i0&LtwL5yhD#6~6dexx8fOyP~ z6~DVwsXus>WPUXHeF56Nzr!8K8hOmc8oI-kt8EbIu)Awd+^v0lLGE*%gcJz;hAtam zzV6_CFp1H-Z||H_NxrV<-MV;G7e#rrn3%bSe^7g*O}u>M0kl2!p==hX>(+eCd4)o5 zfAvT}YAFj3dti*HzI${T=tH zWB2|3@geh}64)S}fAScC@$2~7f%oQ5d!X)dxayNT=e(kN+4*2`J7&E_0ciOaueeP| zWeb%mm+DG2_ZR+h?x&{Im;cs1^?)Hvh-MA%Lttwz4OWmO;f_S1;j0koswd?@hfdMl zvNI6mR1J(j?k2tBoraRyQb$C`^ihX|IZnUDEln+tt;A6@e+`l7`8wV!@xd6u&r50*bQK&T4LO0mC&FMXd z!F}rXy8l&LBe2A_fktxNG(_ng`BD>)NW)VM>}7Jf2z$fwKeav#P4v=W$Zwd0E#S=< z+CtDISkk5S7knS6)`9ugAONJsh+i5=<9P%jOMB(eGFUVE+dHM7HJBcu)c+9!o`njS zB6ofHj$HKDMwN}_s1zOY|9!V0u})pWh6j5IM={fnHNF-7##KY$H%&(MhfoWoq|^qb zUMipBBGi=|=y5$@frv+6s(|FY4j60m_ zo=`YYEMUMysz4SfA3pBP{3E(2L+a}`jldoyw4%? zl;bSX|Jp8CwBsgBaE7_2QJVf3Fq8ScQ57*AYyHFATae2ZD*0_eh9?>xOcEzo>j<2* z-*Cnzk9P#xR-UKCe7H0fVf!!zTt=SB?h|zSyJJs#8FTgox9JLX; z8Id32+uRki#(B-O!6HV~xah;Xyq--SpE!3T$bNa0$h1iHyE(cKn197Z+>5kGeHr3h z|NA%Ma{Ks!awVsG&>fkHCH*n^PNFuR#rzE#ZM+DU;1{6>L$y6dsfj;pS0YOi5i;8@ zJCyG;WF&3f=K|Gd#d@mT$-Hp7N6hqAj7kU1L)n=|%-8>eLGwiRz7g|%Bt!xKc|uUD zpC_m?Wv!nfpyFX;6r?vmP^FI|s8VhnHO=0c-uqmiJz1wrEqz9V!+v~<7|jwV^}&LR z4&MAnK*}+v_d@?43@7&j|9$qq=k~K0JHCPSNMdZztJtLz8S}mg)5d_lm9wQY?tJ4n z(0|TSHiWsJ&Q6!iX#I^Hp0>4>M|-3IA?E~7U$Cj|VdL7Rqt~+k7oo)7%A075NO4_8pYH7=OMeA-er$pyD2|;Q-)d-5_|qsm^K9T^moukQN@{DKr;=Y z0=Fyp{|i|Y-tHcJRZ2VHoJh#Kr$~IFPvh%?8@$J#af>ybL#q^$YXT0b$yK?7#T0xx zpLJpC;u}{*SAnHvSLZGCL(nc_Oxw`}7z=vPGxiSj%Qy`X1(=ay(3st>49`;$w|I%5GM~7;uYq$&UQza81~B%2LtK z>C){ED;42Dc+@MbRF_Kv9K9}}%1t&MepQ%SD&8Z(h+&tnN}7)nTj;0Ms#5|lSBbcmzPBxEneOnMTa}m8qqJh z`~hA|NMfV7Ynq}XN2(FOfU37_cOqQk+R?QcGg*KG2)B>XF2D)yzRP0p1XFHp^JrnD zfDK>j@8Gi!wiVynT`*tyrX{CrF-Qq$b6nX4QZvYL*qo{^2Ksq9B$yAIr_R3(RFCh9 z{9evqrI>D0eZ{VV;5=l0=Wp#B<&uCgvJM~8CrL6~Qo-mS{gyHPbS6!X@jLOIC5vQC zfi?LJhk28Jn8?sK!kA{o&m;P>4UwO0#&_8r%sJjCmV(NK>LazSDS|R{7XM%C)*98+ zl|~6~$p}M%;5%tbh7w?~6^c+GfJ8zdJko>&i;1AfOCDX4aS~##=-5;P1#VFuLI?^G z2qY*zkP3*%BeL3vyed?ghQ#m~bV#5OjXF29v)26TTAkHD-&xT7(!-r=DW7uDU)x4{g{AfEC?LJ%af(`a@#nFMPEX@?PV1zO+lSzluC0GVNg zb^^dd$h|(csK9I62|WAp@6h@Lm!6ISN3a&J6%g`%!LxqFDDfyl>h@^`oC@I%xtDFpV-T&!2lC_L5X`0FlUR9X!Pp_J-l=}96U+AO>I}uqL=xYK z!O7<4Z>ZX*^#H{l%f2ai7>?;FEXyEaWc$Nv+Oc|DGJzeBks-phQ1Ul2fd?foLZE~_ zB}s6>NkAGCTIq#=QBeYeCPm1RZ!3sGzhgIHSoZU}af@KgOjNUVqpGX^d;zihoMTLX zyhK%5O`V3aQi@-!T=!KD3ll5f69=?NEwOqIIa&nDK2V!t*@CjSF&No)Z?g+rPq)BJ zM8@%v%T20GLV6%Y%OSSjAaT%Wr=08mi`?s^bmz&_j<5AE3UFtfv_|Rm5##{r!6KEWxRgA1zc@T%-k!i?td0Jw)L=*=A3(U^ zWR)4cr3SzdLVopSH-X2gl`i2wLbMH=g0;1%v-Zv!Jx4#M1!aIj-b|nUD;Q)chb9Zy;fp+)B+G&O)RI7XSm(3tESgT7r43it_ z#%_hGh7+KvpfZc2`i=2Qr^N=%x8!joiNM=+?yo34w1}Rs%cK<|ctM@!m)Dae#@P;C zGd3#@x6!ORs96(fs2!*V3?6`fC~aF2U@bF(m?Z)yO`CctT6e?P(;|m&BYybG(_6(L!*c+jB-N0I<$Hn{YbQ=Yrj3iBLfs4i#%7d-j z4!rq$fplNPj3=svzEzQ&5+I2$_xPY9gY}b}vN4|a1LhxeM@4d6fB?Vj(G5$vmM!$T zn92e24lG?p?v?vyIll`55EZwIRo>LJsi4=O_o6;-%*yB&SQa_|g%|x%9~S zaMuAMX?n(MoB~v)}cGP z^yaC&7U1;`AMxzY6X_4r{qIkEQ#1V|`QGY}Ycv5;x8b~?-2I=ijwURE;)U<7X9_1M zXXdrkjE7mB*%sWONJ`aiJ!S7eN>Fx*Lysf zGv)82_6^)OTV+!rJQ$PSJihXy?v!{cDra?i@Ybbg@R{%Z(l|Z48=7oK^Czb#)R-^X zPxQsK^h|Nw@Ovw|ZEc;@!&KVP$Zq^C-L|@6(n}_QW}GZwRd{y4N?IPb6UcaU?rNV> zfY$&NKO?C8EBmvEq(57$|!)-MMf1nbVX{sA$9gPLvA?vT1A_0oI%Z*)EwG6 zXZloRwQ?Gg3eK6ihv2rD{A#!Q4O8#`9O8O|+WvcnvuQ}30B=6a#6y=^cUe9V5E{{YMzyY2u0 delta 19182 zcmagFbzBr*`v$zrF5TVTNHgU^G|aN3ND9&=DJe)wE`lH;5`rKStB9m@ z=evHt&+~iU_pkT!;l6fec0Om$EN9NS@9Vl|AKe4q#sne;9D@}DiGjvo$Kb@^#^A-^ z#}LF2#t_92$B@L3#*oF3$56yj#!$sj$I!&k#?Zyk$1ub&#xTV&$FRh(#<0b($8fZ8 zvVQ|hWvk>u`LlJuaoz>eB?^A*<^S+?d!y@i&|cfOVB6FE+v>s7G4$?lX>wbN{@_vx z-58URG3k&Dd&*vG2_5%~!}9>^`nTF!l{WRUWE&!PIHw-GpVGfCGspFX^Zj z^1`6~CPNDl2-Kf!bBVC+={n!p{GMOC+(4%n%OmJ$Mp;SMXrbl;NPlB$Sn4htp;3y= zHsYw$-m#rk<*?Eae+H@jwN?w*Plm11ClKf)wb~cuN8nSgWL2!46x^TT4gcY8dKD;~ z&kyCcn&4}nU%*SVRAJ`YQ?|n^V%G!7EsD!7Wk3jQ|qJnke#H86po8cgu z36to(xeJYU*d8m4HtjHi`jyQ49otp?Z@-z}ReN@QA2@p)oq6)oWtAAWxW|~7={W{q}rO$$%;M;E6nqN5E9C3!fBk&OL^?5A2Z zVs(C9Az>=a{T{8%-YM0@Q3TPgT4XyE0G*K(&(`G1GT7ehIeBetzwp%CDk;t>o#i_? z_wwBG^)5cq-kL*ME74zqcL;B?Ql@)Zuen-3iE_vVj1<$>QeOX2d)c zvPdt0t2lL`G&lD>5z5ECf~NNx1v9ysEJS=)_O<;Qv5acdyriq?b=A3OVYH}sd+314*QBS zF}4goE{GTc+9Rax%tV`ru+(w3Dh9KgzViYM4Hx&~o)L}?a=H@U$pm{ikBff4FV<|1 zl?Hcg_i${diwBc@5adG-GZc`8QVR43`yVAro{_nIqaH3DxpONn%NM-VkaHNbx6Z*6 zPUqXVr`F9ILmHhuPsMwLG~r9qwl10UC)p=a@V3RnAJEjqtw(<<00w%Gkyq851IX;q zB~A`N>(>LRb?Ik!aPIQ4La8=wnF=|cutLyycviZ@Z|!_H*Y;{nJ^T)eqdzh4CE!zK zIpNik`5EX(5cv7u?}UB*Hsre<9x|4bXN}KG6d?kCE_SW)J4qO4Oz0V|o#%5u4K-Nse~{x+CrRx)+O@%UzP4m-qdW zSi+kH^Y3QkPS~Zar?BsD&E&Z-Z2x#JFp9@$_^$t3P3-5@Upb>{W>7kc47jvJCQP3j z4>-I~k``%`T@&d}v(*SwU8a+I{osP>^_gH#?73gjja;e9I^nXiP3*J5*xYzJAO7SJ zSc`F+(MZyB_OAvKY>qcg>yUAF^pewXQt%mjU%;7P@dK$J6fa(_Qa-7z?6gxm(jX`3 zd_iC~!1{?z96Qo>jPoKF`pyJbz{DCa?Kc2k;lScbbnJE<;D=}BB{E&9wj8pWT# zZLY(r>-k>hnRK>$Jw2zWo0HP_;ImoDB2BHq6j~-W!_knOtmDC*L00x@pttn7^%w+jtWwqN1~N*Cu!)dw1-rs+Fxj$My5~wv=kB+4kLOqL8bw!m8{X zG$#|$2R2&qs~-zLOY+~=WuwrXq9iK%Zx^Y>1WjVTJ%p3vW#6DV83FMRu|xoqp!KG! zaP4Cjzsmfo2a~($i(xTpf*CI8Pj#P|o_=z{`dT46B;PP&{eY&XVIiaMr2p1?ms0<1 zdnZTf7(avkCFLkTs`rj5nj8Y(Z4c%2(~uWkNfVDr^5@qE@(!-QIenJ3 z+3?q#Lxj*|Wz9h(d{Y2|$`Ll(kD1!9o7!G_zk8B{9Ede}c0}viAS&|6>cX+&jpXak zJ0!Dl&+NWCfNhkFlX}fQz00B>Desj0o$Fm77B4Kqu^D?UThzDv;A1RhXW=)P!s$SN z-kEPe2&?WZvWA)P;?i|8ogzChSfL&F({fU$$*bBIcN~1@NA^iV0mhQ$FC3ZgQ1V&tP^Z0AIM&{mhKD9Ou}Y3u3uNqLEpT;L$(}J%?xnhw zW{HPqKI7M}mqu->K%7@#?hsM>gE_Z&0aqf#?g~G= znM}e(@727Y_jXUH%GIRP|L76Py`1qzk7Y440@T5aFOwlNKwPi)pGJ2gIUJnb+IJfS zor-)JJ!$y;LwiTB4@*JqA7B@4)ucsrnnG?hsJsInd-BQgE$mWyd+`>#^e#JU50fPI zKiTnbj=%TMv6Q?L;eQ+in&=ez{yF+iZ-{7_JGn>KJJ4KqgV*YNsAbb7T&b5e@BQc1 zwS60}-~C8%91xGi`Tkw3vcs=4bCku|?lad1z1aTk5T1yn;78aj2FR*Ua~1MMb~~My z6-(Iacz%1vCzIiXODg&~v7o3XudHvAW$l;z;EMHN9FZ73hMqU3gMy^W&-UU;na`Z)$H{1V-vND}ZZ~drTYav?EE=$t^aT~j zEhoCgarB2@Y@n-b&K`TC0vK1 zqWR+zHu)17pil2WCli_~?(OLM!S*!4Jppeld@m?p^2M6UF&_OHn*l&iJceSk!AC5V z@$RdfnBc+$Hzs&6!HWq#Oz>ku026mGA&3c~cK21`3N3yyNeLNo@jIeoyrQDK`~)KU zKF(^60WNHOYIns&#YM%$MJ4_{rCml?#1P9=Oie~cPDMjqRZ3k>R9sC`LsDEtMMX|U zTv}WOvm>FzrttrJiXDN7o{RUx05>)K1k`JP(Fj4L6l=EIbR)w@cz#12A%r%kVa)|P_7)KqGcDp{xJN=K=?Yvrd) z{^KD<%l=ti1^LHopJ;7r< zyXs}i5itEJf_a!c9+G4N-vS{#K^zJbvBbZCDO+L#I4Cwt;+Ef@{dXH#yg-coJfcwP zXdyUV62e#%rw#cCEf@Sy0r!xyYt7Lm(W7{btXtHz;ecsCCqg=PH-kY zq$#?EZ3*u#qTo$QJ6$G%zz9DNr6G!Sf^&5=Sv-=c0W_YGIum5LpDG7O0u7bLckSo*Whemi$;Zx^;FRoBF&Mu57tF-i zBuy$xh~}aoZ0Ba!uxb97q8c1GnF@wwr-L_L$7)g?4+|~~Ap8!F9dwys88;{$Z#NbZ z(oqyk)bflj?SjTN5hk=3#WG<;cmn!X;Z}ze5Y6J`f!|l!L<}b-yQJnmPyzE{F~hMf z3FA;IzIY!-9<{Erfvo#Mu#fzNWP{bAFyBhNIWtZ+VN-nsLSG7kC8q9Md4%#V2YXOaZdtXpOp4TLW5uq&{dmU>Ljz<(dfZ%*QgCd;A z{3A%`l&GI`cpd;iHIO81238a)moin2}U3>CF zxtp_zq&PoAE>*Ig2W?5Z_8)MI9RE8>^_zX@M{oj>%U_vdKtl&$ zH}@j}mUV2C_K&2Q2o1K6)ty~rEm1GvxO2EC5HaoJG3=r6O%I`9c0Md=BO)CbKOZCz z4O#_Cu*{;uo$`hyvvoS9RX@j;5Y%Di_Zu|Qe!^;UPp&6wK?tEm-^!}AirvtUwcvDM zZXKrR2J)W3Qz*ecQ;|s1+V9(-{}U>MIEHiPfW!K!$TFrs-H*m}>al%oU>cEi)Oe2h zlRO6mXNzaPYc{wf!V1?-!nLR3vNc+G0&xEnM{>PPFaeQV^ZvG1;=PU?;oQmU1(82v z{g!HoEXB}7&JRl^8d+*N4b7}IkZI3 z7WD^4C<)d`l3S=>o5K%`T7;9*;bKN|iPY2^CbqTE2@r!=VbLjD4pzoc!7ZRTc1|Yy zsi_%Gsho-^yHZf!q?09aMd6DQ8i@PyLC>!Wq+NG7^Qu`YUnoI7ztLq8b?%JEI?lby zGTgdNL=aO&Q=p-(B@9|jc72*b!q_e-1B+TMIhfol(2J79dddPfZe=?Z){_zz$!G>A z8lQ;*Mg*fM0YNZ~a_{+!E8uJli|n})!LvrNLSeLIVCCSqzh?>NWluo-8syQPdbLK5_ugYw7uk@;vVl zj}F_WU%HWbyCh4oAUe=#i4-$ez}f?wm%V+VOjun>A=QTdOOO))839)|V$?%KqxocU zQlj}q$2v?UWFaK^SNBqH3c$Pw0`IH`+t3xb2wKe#LI6{O5%~?0-H$4eI{&=#i&nGA z&x}^{$-gj2t!e8w*lOf7_Lv^3+U`rEUMaDZhtJ8S zr2WL>PkH>4j~4^$0!nx}Sc8)q;jtsji#6x<*su6g@_zmYl+;e+1{!HX-I1_~5qngDh z*GVdNNy)&?Sve9P-Vg%Cmf+1reSA3e%i+oE9WPZ?b-Jo(tX8bLEDLr0Z{Cd*N8p-b z#eaT&hykecVB6hyh$=vVF^>9Wy>}a0b>ibfC$8g9TG!Es8YH10g6P5Y1ND}a_i*g(5vOi}8cx&1`PdwDG z)a}731?K6;_oeuRG=(!TiDI{PNkvDa$z+LA5M^lD9IUE-dY;iwT~0N%^rl9q!U?Vj zJg4#pS|S#11ib`_lQV@OsYJT@gnB9Lhs6_4lPW~agA*!5_=6ouT57c-TxK84Ys7qON3%?EQToyQcca(L@S`-=Sdq1B>Pr zT6#1&XZs#p{yOeV3Xf95$TTat$A z_Ye4uxlq%AY#pmDiT_T8%uDw(yrB6gvN;mz9Hhh5J^yb+Z6M)EGvB9`4~V?5<@<#j z8GZFD?}^+nK`G(!{Abq^c{BEnr0eKHPX%h*m17Q4UPQxQ|Wu6p-3baL#|5q4-Ciqg$FCk zA{=KJ&SVta36_uj6=|4bCRON|W6W_oxQG|Iw6lu$^RqDc9oN5bgyFCqi`&Hhfhm3Bx zDyY>zO<*!nbqFLh#Q?><+a&z|n$W0-qE$>=;$ zsV|s>R~F}pOXd;*hzBJc_Zs`P7kFPbr@eF!bt0X#R zfXZ&Nj*-v0bdJhSu0eTH1M3mj#J_;dr@@Cle}zpa7$r?n4~pVaV=L~m^H*WR9EJS@ z!2fN!^~>h5-smTs`V>wOk!fK?abZA=YeEJ2o#!bFf`nq7EecAJz#bJx5e+A_bWhv~ z(Ku8k!VgG;;o|SKagnKF&OX{qH|T3Ya)PwEJJ>Vmq}7)%TYe*96nI>i4!q)u;-KK; zz<{k;ow?1+1ZbibP?9hRMyOJr$%uI;Ms9r3Gq!v{Q4)>0Gp1FRIPXGnbs*f*be-+x zU6>L+Ln?I15Pgk-0;#qjfAv9&d{P3~zZqu7n6ancE{PFXK!w^D zYp1H@A>+rk$@g;}o=Nr2_nK?|&Wjx?oNl=KL%>(xd#5WbgmyK_;AhEVFO$jZ_19Pl zLzgh6QHS4v6bmD5n^&tRY+~;2>#4f`)kz((rlZp+)P3zOB01Ya4x$32wHCWdp) zLEAvyBr_=pF-$T9!tG}l1-H?EPhs^G{%4Zh2Cu+b=SVA26d1C- zhEt;*v0oTcsjC^QVF1A3s#-qiK>|k{-+$n-yu`;ppZMBWO5OMvpl+OrU1gY79(om< z;;PBZxnT1;U={^%BaIjIfi|yVj6~`Ehtg>uabt9;&ehTlF>pWH-l^-{CQmWQyv)oq zszzh_xhJ?Yv9y-&ULr?1-^Zs7Vr@QL$Cd%qtAM>r0O8sUXPSDz^jzeX@gjDvI=O2A zBh1$rN~?a~IDq=UuoJBDc7Z!SkbZ!P?H9^CsnR`x)lcA9=~i)E^`yo zba^bmmHy3?Fpu!!S!o|1@)<|RD*_U^-*eoL0KSI6yw@eHl&-MJ4mjfO`vsHcN{(+XPvg47L3AXY4ELJb& zztF9^B|VnZkUPpQ1CB@7hnbefkMni^(io{rEB)bM(i~f`)1M(n_ZU z)(CqVQ@vrzSKj!z#|z&-zf52f(jqBdYs>o?bZbni$}MO1{J$U^F1QyQExjjaowuN5 zdgVA{O)~k*NSovZ26o8gYf~}X!)s=YntFcQz!<~J0w!WJlK$1B-^HCYQNIlQzI2hX zl`r6%hOfvUi>hUOvDtq3E$^X@YX`k?cmv*?N)&%2df-Btkq?Kvgeo(Nfz3LM>(%9p zXadyYvA=l^d&V52N5d#zbl76b&w+`){Dx7-=*9q`^)GSq>ug2+N6b$%0dS9LeKf6l&8O#JIClw}j2^ z{J~NfN!K9X2sJ%;db;ry2O&81f#XjY8fn0%#}E%t}B0a@h{S=mm8~L zx)`#@g*m1W@mvGfohgszQMuU@cjt5sn*RgUjY1G}c{+^2q4Id-g<|C|L*X%yRe8EP z!#PmS3wonf7A<*K%fHxNWh^8wUhzouDqqP%$KGqU7>_GCZR!iCy4+mg14l&S00AQO zqK-dAv6eKGE{&8xC7nO{N>j!xionQAr=H>30iO?3kp8psMu!@?>wJH9lz=JBTT$48 zMw+&pA&`>(%#-DE%{`(~H_T|@L1P1BDBO8a>f5BYyeXmLnSpr~vH&D?31RI_`X=@r z71nj!S`@>Clg??Mu0K5}nn?NI61YTa8T2)8%E@qpd<&D6y6L2@9Rc|$8c`w*5b3X^ zl)uHs97!Oe5KfEEEu2(@Gi_sEq9T1kdI)V_GA1kxrzA@toj+9#)V2!7^9R$zf6-J! z%@=%*p4Z?IEpyy8b0VTmpOVl1g93j9#|uda+Wby%Io_1Sj2VTIt`~!i7*I3$7ml)9{ISOMZ%sbjpE*tPi1CCWL6N3|kt7+)9 zwh&HgICpvwMF?-#hg4qFb4GBDZt37J*T(nsnM+n&LbuFHDi`cyplj|h{f+wNiDK(A z^6U-`5jG%ayH5rjDRS0dh-AGn-7CvM58o$ z-1sklDKTMqy`Lc+_l%%kn58)?(f3`Z(ujW46i`eZO(Cd8#%ml#vB-*{%Y zloC?&j5`&4Ph8GL$Kkvy^L&P;-;<<&ixKK`Wvx>j6oqnzVjHOZNGMq+P}yf!(XK5y z3RkhpMMc)4{OU^z3P<}mUcI6te5UL20Q#fxV3s z;g-I_{K2Eq$Y*LFU3_}f_S(K<`|MJ6mobEE?=`TM^wRo&3{n;e7U4NB4&2l4=N`t+ zzDZ>(pj1=4a+&;sJpGY++GpdNOKzKT*Z{-5|Dcxi=LG2z=h=imGWE)A&sZSX9B4;7 z^^t`aya~5`SF)WUgQwIgJ}$d7WbQTlQ_$4|$}-{nu{YuI&4G4nF>M{L5X$>wL(w!b z=ArgLU~08Dtoox(%559M)Fl*VQ68ozTG3t+0ZdoMdlG`@gs;&}Ti7F-(CRw29)rDF ziv9!d{#zx^GpVJEF{`~!^!_OU5P6w~zU}2XTO5b>X`TWlNJIE@E<}siXm9= zwW_`E#bRH+IPZNTgJ(ZnuEq{RT08l4-x;4%K zD&DmBvbkkXwBnu;-c<`d`E1osfUg{O>Z)QWL$>%mj1 zm#DppXjOX?L2Om;iTl(0@Kc&=V_n-R&xFlWn#7>pH5b$f6IQSe~=Ii|myIoe-F83qY(F`Z3j_w22w=F$-DUWH9Afc+d%*qzyE&ukGACwe65LZeGFKA zlnZ*T-as|^!d+0Lu%!TW>gxN-l<0h43b#*&R@<^LbH{bcF;ZU62dPJ?i|i^VZ&~K- ziMzH>PrO#r31#Iz8^T8v_MN-*UoTsDGO5VTl&2ucodEP{=MT|2h(NH~^!J;_QK8Tb;tHVmMek;COeO}u@4TI7*^&Z-PsH=CMB7p9B8 z!6TovrIqa~*~BxUw^yt}1G}PwyA{|?w_t9iefNG=Zh>v!9hqSRNQSV8Epsa?wdGnAFZB2cEPTgz7(q8V$!Fm& z`BaL@KJlv{CsllE)(|g_e+%G6d&V8g6!m1jB{LeM;Iu?2xiZxc2h^Sj P|4K8` zDd{RBE&+O?7VLBL<-ai$E=s$^t|Vp8U{tu2c(^SUzfCtlKCli#fs;~rwJOGF;88$u3}S0oD7o7bST@R#FHV++QKw}k(rx8ZOP`3Y%sTWD;he2p3r(!GMr%`11zwlwH<<$5>C7tC;+3)VZVI>m;C zDDI`$xJ>`F%xoKMiqZKw_3Lgg&!d!;tto3+?=D+k+|swIIPX&ACnxMQG4uCYJ^D2= zY-Ckw`iNNPLLW0zlLRBKdb#ahuk_nl&v=XKh=d@`0Mb`dDL#GfwZaob-G8$v+)b7L zkQbFTR}oV}7Fw#t=2iq;r8PB5+^@3y9=tHEu{OWMIVzz0v%AI{PfNtiTx4ZYpq+@P zM!^N~d1ebt(P*ypbfYFq5yp@x&{FjSL5mZoAcLqJae zm_J#??{rD9o8ja!>d3=2eD0ksyRd}SW`I`vIh0a&bV z;7Br1eFbq*OF)#gk;%OdDccU(V3FspTGR1U$deYk{i#5PBqJq z({{; z3oBQMB=Lg#&#nuKDPrYVz0AA*zj=xPPn2aF7TJa_9>Ws z=2hsB))*AIFVKI*uJ{1MjYh+zEFoVR)`;geaXfCg-H!?#vb6jn)#JdQ87rCtBcH^h zdD0UPX`V)`)lVtP(Q>;M=$ga0Hj|tRUXQHzpFg3Ok@KN^A?vf&D8D4qVTzo~4c7O~ z9!x)E;YCHCew2L|QtUPboa>X<9^NppsRpjK6SRJ^<+A?GG5N;YjrXs{B#hw}7}whG z93@1cL4Im;#3c!mOwlP~G&|DIbZ2$$erbYb`eBEHOk z(-dG;h2#sdQh~-cJN#}M>`fnjSml$wSGgc-%Yws+k-u^;o&dM`!%ct11eh2f*abzm z<{7jZS@A0<$BgQVe z-&3H45`g@#ZpAQLPjRn7onGc`R=KY4d+sY+hYTbC2)lXF*+=3Z9xnyHA-`=8K+Y1Pc# zuBpIImaP5at+1*09lg6yijxM`w8PX+1W~D-GC&WW%IJvP#QAl=XMUYaRA;B0z2|>@ z&zfP@iGsSJ{QjLD8fem;Rx5x6Yv*xlDi(_flk(uLwMxF9qF*l4rRGMrE$|%w^&S5T zmainpl7Wt*K^(&o=;(2a-k9C^N5P5X?0N*&buyMBZ*t34NaB9?(aVOuXC$__X>pUs z4*=>k^4P87sqnYYGyS zuzztfeLPPhG(#}qQa7c_(JY>8Vi~yMC^T%mIFC{KUpIYJXS0Y6?yq@{k2DvGc(dvS z5;uBdJN3cxs{xyL%ce5{d}h?F--GPddIwM@WOy%}rT02{MiM$`lXd@YXsuPK=qT@X z`iu#2`JFdd#wxY4A3eJ6PY91ar#^D4#yl`i#2-FQFi`nf)mCgZe%+p_$CUAOqF=4) zb8WWD#oE92am?|p@OZwW&>DAsB*#X#MC7aiPu9A1Oiom;6U!yFwz)NI)aQYG4cq`| z>zEAU%7*eH^n;cNhyGdkb34}}b02ONW#6>#>`s-=UaPvw zKM_eV+q9?JpS?Dfv_E}*R=?w52zUyA?qcU@RLp;nOXY3EtHl40k^&H_1PS*c=UL7L~BTq<4@Y9B1Pj)ETr>L8>2Wk`IFH_8suN>NH4BR-g<%* z;V<@CuBv+t{@|QfM$VF716H_9B_Jv!$CtfKNg-k&tLf3e7x5;~V2uYae^@=ej_cD3 zo7lUbn=J#3R?mObv?**-5nUtFS!R)A=AQ_tnL% z>djF17mJL}p?{XR{=5iFu=dWXT0V>(R)8sj*HVwOie{j!uiLD-{4GJX|mpFMTrJt?PRaXLBcmgZ0#l zKJ9aVgwAiWoiAZgk`X)252KC}b`Hyh{EC3Mjg5!oyv%! zrXakfz;y3FSa(#){Q6eiuN`F2lVA2T$`wjRIz+m(#Cr<-ZQ1?3+LeGgi^x7&Nl39D z0DBw=r2UNSFy152CGU8>2|4?-GX00L8J358%3JXz0MM}xIh~na|1!nbq0Cv|e%ZWB zZtIVyz;jm6;<)4KlD3Mw+`+7~=+mL|tg!e-G$l1q;uA}H3`8~~h^P;DVIoICq%!{WwTkE|(ifLab zuZcHO7naq0Ps?g?WzXBmrlP0bz3p2hJAgO$f;OrkCcrj!ZSo~8>lc8ytDmM3rw)57sY+*i ztvX93ze=N0h@~p2SE1E}Emim3lGC-35pU7{v~u;^|M?n*zOaq84hxa5x>KnJD?IQr z%rKi@dC`QZvKmS$$|7NFHcM6JbUP-TAFM12G?+FfDp%aAON&aVBIFKy`b`nqRHdmQ zRAheu*zlXG7#0)RDO{Id@Gm2nwFbj*TsqKJJ=9nBjd2CDV<6+ghXe1?*!>#&`41`I z5*g2o$@SCFmxRQmIHnJc6HmlG-8AK6vu0a-Jbc=WCPf4h$n>77568NrwDUoM&d>dl8WWfmgy8AM+e7XQJg`NMEmEN9&N?Im)PvMFRRFkD`J z>P^iY+>Q-;@?DtcWG4;heV6Ic_98bqdQqspC}`Z9P3a&dV^oQrHTZNiZ7vMt$#j+v zzZbJnXlv3;i}*{2q40I0wu6?&Ivtwa-yV$SdB8Kn(#(W>!GzQFyS#Geyi3oAml>~K z;{-?HX43Dz$K2p%6r)+R035(2S&8_~zF6^B23?7;2-V(go{|r{y;pscSXi9FGI`mZ z#F|@#~>p-7NFZ!BP>7$Zx@MkB3rnR1`p8gC*NC&Nr@_r-^j9~}4yIdjE;WT+4 z;5Y@MV~=KaE9=EMJnb`0q?Rvi7DN8}Lg*dV4lnxt;cKO%q`%k(X|y+BGDw+qtUqjS zdCGxhJ5ykcI`HMnk6u<1u&tTD!l&nz225JMhPUdq<|!)*o+Y(ljm;)tP7bO^TW{>- zIhFqWy`=_Bj};d~r*@%}INN`V=!VT)y)a>Gj`{ss zM`S5H<7jbAW|^m>f-v0XnKZ}(V+ZsM4-wgl!?-4n7>m=tRfzy(3H{;NQ+OAN&H*dU z+M?&dTvPW2B3`}L%hNBmliazJZJhSHltc@5Cg1|R`%(M6ZSMY9+~zK!hjaO=zs~6| zf9X;xoWdJ0;OBJUrxX1h7o7j~;YvR;N(N1!DqidTk$_G~(z8AOn#-GzL9kgWhu z65;ST7<+nX{i&4A5XVeNj9%uvi#zgqIU8>eP`-6se2eWSFX3q5@67@hcoiube);zcC*^ZalhH@pA84 zk?$-%VgB@;9g;RaN^APmaDypar0Iu)c;kMLpdBH)|Dd7Ok?~F!dqE-uvV~ z08hT{Ckuxfkh46RKU6u`rttZe7~yH+zgALr>(ALZHLKxIi?Rp@xrAs9@IMO?cHEyn zu<&ym{m%U*D@YIG{=vEn^I5v;N5ZtGhT;08^XoKG?ji;dI6sYnXWx;R=@!n%$l(Wq`anwWMq_CTsH)$Cbt|E?yW4>q7r z+ke)l|LYH_G}gw|HS?72g}jT_nghGkX^^>x->6FLKA^6_cf-g%edW+&A!CLVFnV+) zGt&JXI1FSXU+q&@`_pG`t$14+FnrU|F?`#K-#@GFd-I(Ob=7Vleg5|0+mZ zb*t|?Dc^?TRMXk+i;&b?C6i?!?PlS2j1zhJG!<73>&9o~!@zAx!1o&;|ASql_W1JC zL*V}JfSY(1%ip*5X3uOO1w*%lx%QW=8By8F`~oLc-c$8|m7|s0iiDZlJ4royxqy(V z_pMJk=bp0gqr%(vxuaXPgPUb+6fLxGSlIA`==ANdIV_IhM)^H9Jvs35c7%g1L-y7b zL%)4F`{Rz!bSn{a);yJUcDqS-MXY*7%%~7#plgo1nSATw-h6#~^X%p|#u!kxe;ZHm zd++>?_{BkAsKH*I9>dk^vPv1XZ&3>FypZ4b*oyFfDGTsXapEKjlh4&eB@IK~bKJn5 zCK+K>)FOg;;LG@fdSD=4PXj_-Is&W6;WBE4d^lq>is;JvNO~70zn2ReE9+FjlpNI< z$7Mj2_XIAI2OS0r+5z{#K}5(%%5}whoBL5xa3M>Kw}cpWf8+aKyIkYHT4x(_hNp4J ztPU{0CD^_Qy9(uALfTm5;Dh z@C}lOz~rBQ389iZuUe37>!8BF25O7wK+3bdj68SRbsWVK+B#@N2`dre30!dwG=yTH z>}a$1|Ar?W#s1&Bjk1H+;x7c(v$Qcc>dYg*IpBkO4`@^d4Dfzgw3o&YA- z2ywzn&0hcdkM@M|shj+=g9fN#zrrS=JUhe=_2Ndq4P|_$FmL&5a>z5EQ0VCS<(Yfb zUDQR4^jF@Nw-{9$^fkZvtsZ(+*}YOQ@ZllS70p@OLsbUQxlLM{jnatLw<#$iW81ti z%zdMDUNUuuSDmq|)1nY#?e}k%L8D(?tn15Jz7kqIzm}ErWWOH;M!gGb`;Tez7>=)z(1?f3oO)z3YQRu2P#OM6@;ej`mSH4p_;!-}wWmr_`Ri)SzQ+<$m|+Rp4HNnt z>fBaV`Q##GF<0uN*B4mD@PTt%2EygstMfM>;frsd5zPy$U*AiTFDU%X)3iN2d(=zS z2-{HLD9}tfT=!sMA6w}^2ffwH{YtN4Ed?BQ)^HN$e%>;KG%hRT6=>ESW`-;|TEFg7 z3sS*4>{MW($eDH74A{79H$^J;Y0D%YqsFh!{Z4-$u8g`o3AdWHuG;gy>h`@}9oRqY2xE!=yfP8OB$XQO_Pgo2 zyCEpSaZPMnA+B(^vAfGG<2{a*Ucvjp|G@M2Tvkbi@8>Y^1oWQ`ZjWZQM_I4N-bi|8 zt$*$WHKlRGo1tD=mSYsPR!E6wv2QH-YAy1m>+cJBOiokdIkRLri?9P>Nx$R&G|wqL z`v-F0$g=&r^}l0<%}~oM(CCAGL2wqg)*Cf58eC^TSk@EnW~g13#vNTemnR`A3K`rn zZwB?UR!N(?ZK-};zhWDREt!ve;ogH`a3o%4smobGpL6@Z@gVNbTQ%Qj+l|8|guQgX z1_sPK8yxu2$rWrO?ARgr{2z3+R3eTGWYUor!U{ed*q$H}2zJON?>ZI@x}tzhWEG0> zg-c?QqC0icWJ-`2#qJ98I)e%$`cY{~ugPZ{W0idO>(8mJX@5#6kFe~o@EdR!E-WW( zgR{6kG;^sGapQ}(5NvL0e@6vkcvC3Qh4OC1O^WV;vrcf&kRb3y@kx-XupX3zV1F5! z4lS39#=OO0dyhc8fl$2s-@j+;@}`zTrCChk^?kuwcRpB(AR!#GY^5Z!j`KRjv+b8+ zeo#tH(f=h7 zXzMt-;nY8{Yw>i+)Q$=jv$zxBeRwC&;9nBHwA{>8xcnYD|8N&k#-R$D)$lcgvZ`CE ziX+Q7WCi|#cR8-M`p9;UU>>9?hb;I1pmcZfM=IV;0{S0F{D2Q2lsP&$N*gA&pC-EW zczwVk7#$oI-*2+TYutIm5Z3NKw)pCDW6QVuRY#qOKxwwiJvS?di!Yk_M`OwXWVuq0 zYFWPy>`lJ0w;$9TJ#(W!6{&yvS-uVl>#5UP5T=`@@chm@l0wUFzDl zr5`mQiXhoSD`zf%y_oIL;;1Z~9#?QHEKUt2E^ViAH7e^vzb54L)1{s$(0=Ii=v)ZB zya;Ajue*+V@bl>KdfOjZZQoc+t6klD)b?nCBc^FqnMd-5ThJl!M-}W>(7$#b5U($o zl~3Z)fc%jqVPnCUdw2MwsAq{VZxAUijpEh|8vgShec=@h+*Jc#hANFh(ffcV!xR(I8P zG$ZPO!bVA59o*(RfzE*E(~+o616^J%eGm(M{HcSy$XA(#Ddo@AogMwiNor0dh_q5pF# zjRL2NDDIC6@$c6xv4S>0{0kDpx-q(Dz9bI7=cb&6DJ2ux$dsA7ti~ZGf!ta&uj;@5 zZ;5DD2)ap1cqjq^4InSG8deM?4OA>63lWxR(L|{U1a^O+)0yob`^WC|pL6H@&i9<( z+_`7&%#yuQ9xj{XIdK`SEnletXD|~|L_jwh{Nt&g6z@+<1LwZZ{_XlO)T65QQ zuiEL@i{OkNTK}2+i)FKv`BJ*SG-qY{Ffpo0>d>+y@eq$b(`M(Er9yu&%# zsz7n4he?bR1%`X~h&Xe~%jOXezmNQ2+DQI!8P7a|CNkFYyIk;_B=Bo5@hDlzoYOd? zO&LVpC;YBMCQUse!PCMNS2V1D|f5Y=88svGUVvKWTh)SZc8%gnov+Jtn!s1 z>a-e}SA>u1+_LWDa;+=`j`J`fK*Pov?BnqC zRGzsarycQ3HGYq`b%B}yg+N=<5c(q&mf77k9fwt-y!DU=hU*XfvJl)^n;!$G) zanbqS4r1lW>x(TrY82K*hniUKv4`oBva;~OskaG-ns&p|{n8efwY2mWijyj9+rEY? zs&&nwHRJ}N(Bq#JgsNVn0Y{IXXWgEE)7mpUz%q{oPWn9*z z_wzQYA$>XZ=y(`UL%Km<(uN0;|2RH#fH9aeeuCO0%~Jo|eN~c>n9hhy5leo$T}7{d z+y>E%&V;9gr4M?(uN+wS`3gSe#V+FtPl8T-!_FX(1(U)8_I*8CeNa0>lFj{KoC#(m zK1`n|OoVqT1!y;l6 zWupF0y}$PORnKRLuZH=Os>4T0g`Z6zxVKr9vW0=EhMg|7@Oy)c*0U6tDX^PGhN#j&1<4%G)+}Z}WFs$LJQbZ8Ll8 zm=Xz0vBmfWBiWB;_hOba*3*p5#)w+QSZHGq`%&CpOxSp){yPWmrPGwMwt=Z+~ znvKUf&b~G#9!J3mtx7t9#Z=KwU~Ql{YDP^eo%WZw!Bzez(y^JH_1jezn~}WsdM!9| z_zx;_Ls4YF8@9{j`ZdGNnYjltoHUn0OGOS zPq$DCXTbUpfNa0AR)A6bW!tpZa%^N_5qkBgyslYJP}te&=-B1)$0zo{r*{7ah5p)I