From 2bb3e82da4efbc50fcea92e1c4ce84f46ba4e932 Mon Sep 17 00:00:00 2001 From: Riccardo Finotello Date: Thu, 17 Dec 2020 16:13:41 +0100 Subject: [PATCH] Update presentation and typos Signed-off-by: Riccardo Finotello --- presentation.txt | 34 +++++++++++++++++----------------- thesis.pdf | Bin 15343477 -> 15343203 bytes thesis.tex | 2 -- 3 files changed, 17 insertions(+), 19 deletions(-) diff --git a/presentation.txt b/presentation.txt index aef348c..ccc1373 100644 --- a/presentation.txt +++ b/presentation.txt @@ -196,7 +196,6 @@ In the non Abelian case we considered there is no simple way to write the action using global data. However the contribution to the Euclidean action is larger than the Abelian case: the strings are in fact no longer constrained on a plane and, in order to stretch across the boundaries, they have to form a small bump while detaching from the D-brane. The Yukawa coupling in this case is therefore suppressed with respect to the Abelian case. - Phenomenologically speaking, since the couplings are proportional to the mass of the scalar involved, the non Abelian case describes the coupling of lighter states. - page 32/102 @@ -298,7 +297,7 @@ - page 52/102 - In the literature we can already find studies in the computation of amplitudes (mainly closed strings, since we are dealing with gravitational interactions). + In the literature we can already find the computation of amplitudes (mainly closed strings, since we are dealing with gravitational interactions). The presence of divergences in N-point correlators is however usually associated to a gravitational backreaction due to exchange of gravitons. - page 53/102 @@ -367,7 +366,7 @@ - page 63/102 In this sense even string theory cannot give a solution to the problem. - In other words since the effective theory does not even exist, its high energy completion cannot be capable of providing a better description. + In other words since the effective theory does not even exist, its high energy completion is not capable of providing a better description. - page 64/102 @@ -413,14 +412,14 @@ Specifically we focus on manifolds built as intersections of hypersurfaces in projective spaces, that is intersections of several homogeneous equations in the complex coordinates of the manifold. - As we are interested in studying these manifolds as topological spaces we do not care about the coefficients, but only the exponents. + As we are interested in studying these manifolds as topological spaces, for each equation and projective space we do not care about the coefficients, but only the exponents, or better the degree of the equation in a given coordinate. The intersection is complete in the sense that it is non degenerate. - page 71/102 The intersections can be generalised to multiple projective spaces and equations and the manifold can be characterised by a matrix containing the powers of the coordinates in each equation. - The problem we are interested is therefore to be able to take the so called "configuration matrix" of the manifolds and predict the value of the Hodge numbers. + The problem in which we are interested is therefore to be able to take the so called "configuration matrix" of the manifolds and predict the value of the Hodge numbers. Formally this is a map from a matrix to a natural number. - page 72/102 @@ -462,7 +461,7 @@ The dataset we use contains less than 10000 manifolds (in machine learning terms it is still small). - From these we remove product spaces (recognisable by their block diagonal form of the configuration matrix) and we remove very high values of the Hodge numbers to avoid learning "extremal configurations". + From these we remove product spaces (recognisable by their block diagonal form of the configuration matrix) and we remove very high values of the Hodge numbers from training to avoid learning "extremal configurations". In this sense we are simply not feeding the machine "extremal" configurations in an attempt to push as far as possible the application: should the machine learn a good representation, it will automatically be capable of learning also those configurations without a human manually feeding them. @@ -489,7 +488,6 @@ In fact as we can see most of the features such as the number of projective spaces or the number of equations in the matrix are heavily correlated with the Hodge numbers. Moreover even using algorithms to produce a ranking of the variables such as decision trees show that such "engineered features" are much more important than the configuration matrix itself. - Here we can see some of the scalar variables ranked across each other. - page 82/102 @@ -524,9 +522,9 @@ - page 86/102 - Visually PCA is used to isolate the eigenvalues of the covariance matrix (or the singular values of the matrix) which do not belong to the background. + Visually PCA is used to isolate the eigenvalues and eigenvectors of the covariance matrix (or the singular values of the matrix) which do not belong to the background. - From random matrix theory we know that the eigenvalues of a independently and identically distributed matrix (a Wishart matrix) follow a Marchenko-Pastur distribution. + From random matrix theory we know that the eigenvalues of an independently and identically distributed matrix (a Wishart matrix) follow a Marchenko-Pastur distribution. Such matrix containing a signal would therefore be recognised by the presence of eigenvalues outside this probability distribution. We could therefore simply keep the corresponding eigenvectors. @@ -537,12 +535,13 @@ As we can see we used several algorithms to evaluate the procedure. Previous approaches in the literature mainly relied on the direct application of algorithms to the configuration matrix. - We extended this beyond the previously considered algorithms (mainly support vectors) to decision trees and linear models. + We extended this beyond the previously considered algorithms (mainly support vectors) to decision trees and linear models for comparison. - page 88/102 Techniques such as feature engineering and PCA provide a huge improvement (even with less training data). Let me for instance point out the fact the even a simple linear regression reaches the same level of accuracy previously reached by more complex algorithms, even with much less training data. + This ultimately can cut computational costs and complexity. - page 89/102 @@ -554,10 +553,10 @@ We focused on two distinct architectures. - The older fully connected network were employed in previous attempts at predicting the Hodge numbers. + The older fully connected networks were employed in previous attempts at predicting the Hodge numbers. They rely on a series of matrix operations to create new outputs from previous layers. In this sense the matrix W and the bias term b are the weights which need to be updated. - Each node is connected to all the outputs, hence the name fully connected or densely connected. + Each node is connected to all the outputs, hence the name fully connected or densely connected (or equivalently the matrix W does not have vanishing entries). To learn non linear functions this is however not sufficient: an iterated application of these linear maps would simply result in a linear function to be learned. We "break" linearity by introducing an "activation function" at each layer. @@ -569,7 +568,7 @@ Since the input in this case does not need to flattened, convolutions retain the notion of vicinity between cells in a grid (here we have an example of a configuration matrix as seen by a convolutional neural network). - Since they do not have one weight for each connection, they have a smaller number of parameters (proportional to the size of the window) to be updated (in our specific case we cut more more than one order of magnitude the number of parameters used). + Since they do not have one weight for each connection, they have a smaller number of parameters (proportional to the size of the window) to be updated (in our specific case we cut by more than one order of magnitude the number of parameters used). Moreover weights are shared by adjacent cells, meaning that if there is a structure to be inferred, this is the way to go to exploit the "artificial intelligence" underlying the operations involved. @@ -577,7 +576,7 @@ In this sense a convolutional architecture can isolate defining features of the output and pass them to the following layer as in the animation. - Using a computer science analogy, this is used to classify objects given a picture: a convolutional neural network is literally capable of isolating what makes a dog a dog and what distinguishes it from a cat (even more specific it can separate a Labrador from a Golden Retriever). + For instance, using a computer science analogy, this can be used to classify objects given a picture: a convolutional neural network is literally capable of isolating what makes a dog a dog and what distinguishes it from a cat (even more specific it can separate a Labrador from a Golden Retriever). - page 92/102 @@ -600,7 +599,7 @@ - page 95/102 - As we can see even the simple introduction of a traditional convolutional kernel (it was a 5x5 kernel in this case) is sufficient to boost the accuracy of the predictions (results by Bull et al. in 2018 reached only 77% of accuracy on h^{1,1}). + As we can see even the simple introduction of a traditional convolutional kernel (it was a 5x5 kernel in this case) is sufficient to boost the accuracy of the predictions (previous best results in 2018 reached only 77% of accuracy on h^{1,1}). - page 96/102 @@ -610,6 +609,8 @@ The network is also solid enough to predict both Hodge numbers at the same time: trading a bit of the accuracy for a simpler model, it is in fact possible to let the machine learn the existing relation between the Hodge numbers without specifically inputing anything (for instance by inserting the fact that the difference of the Hodge numbers is the Euler characteristic). + For more specific info I invite you to take a look at Harold Erbin's talk on the subject at the recent "string_data" workshop. + - page 97/102 Deep learning can therefore be used conscientiously (and I cannot stress this enough) as a predictive method, provided that one is able to analyse the data (no black boxes should ever be admitted). @@ -629,7 +630,6 @@ This is in fact the first time in which they have been successfully used in theoretical physics. Finally, this is an interdisciplinary approach in which a lot is yet to be learned from different perspective. - Just think of the entire domain of geometric deep learning in computer science where the underlying structures of the process are investigated: surely mathematics and theoretical physics could provide a framework for it. - page 101/102 @@ -637,7 +637,7 @@ In fact one could in principle exploit freedom in representing the configuration matrices to learn the best possible representation. - Otherwise one could start to think about this in a mathematical embedding and study what happens in higher dimensions (where the number of manifolds is larger: almost one million complete intersections). + Otherwise one could start to think about this in a mathematical embedding and study what happens for CICY 4-folds (almost one million complete intersections). Moreover, as I was saying, this could be used as an attempt to study formal aspects of deep learning, or even more to directly dive into the "real artificial intelligence" and start to study the problem in a reinforcement learning environment where the machine automatically learns a task without knowing the final result. diff --git a/thesis.pdf b/thesis.pdf index b9ef2a116216bcd4d462ad992dd75afb67038029..2b28aa4cbb21b858a75840a097c7a3afa2e0c31d 100644 GIT binary patch delta 24718 zcmb501zc3y`uC-~yF*G!x*Me%q>=8FmKtJ!gMg$AAsvErcMC`(-60Y~O9}|Q+c-zh zJ@?-KeLo+*zj;>dy@x$(J?nYa9yn_&L|ShtL<$7MfMLOKV0bVB7!iyFMh2sRQNd_n zbT9@O6O0AM2IGKn!FXVNFaeklOavwdlYmLVWMFbI1(*^{1*QhmfN8<^!E|7HFawwo z%mjV_W(Ko>S;1^zcJM;!fOyMUj8U2EJP_rY>;K(NW(SU`%- z>wMU4*E&ZU5{TM7E403g7S*#k;S9TqAND0*ZM+Mlim=F^1+8S;=vA>XhBfahM>c}- z`$uZ$K;pl6Qusv|)qFAIP5EINF z`TP!7h7F=2$=s-p@*wL@0U z_nVqXue0c*dd_MTGm95i)cPDPRqu<+ZJ+bkL>HG_gM)X|I2!s$0iZP$Tp}cRWFjOBY*_cT zscT};%NkIB#hs|YA&5=@vr}@DTHrmo1!i!FFdsbfsK|S2cw`bVx>R7SWJAxvl3AaE z?LeOIhR`u4;pu zfv{65WU$lieF&nURPne$A04@`i1Lc#lGm9v-FDeB5LH?Mx2#Z0W>Uu!eg3kU&8cW& zI9XxFHl_Tohq_4@zpWdaY$?zm(@M$I4{YWnK)l=kpvaXAyp6Ul|HtUl80vkYaWO_o zBmxDb{&zxrQJt6DI}=lfH1%?j?qu0&sGZmY=?_E&b2XsU(e4>KYS>V}`Wfd{V{_Ul z>trP36O|W4tqa7c+GKd5nDmh^-loK!OC@yZ%9+r?cV?R6YBKAWwREFC3XMkn5@?}e zxr-fk%sG5~Z1km2y3Q_#e%9@&ABOQnO;VT?rv7u>(zj=RNkr*mgpD&o25iz^#kPfJ zWWvoVSIy2KOMPK1Q5+sl`3Z?eWwd6Z!h%j!QBu}dN<0{CXagFZQjGBl&jKv*4Lrjj z96_X&9&Sc?+~PcZF2`cg72|rjsxz0bN31#EVP?Ewbj3cYXPPxy4_QI;>vtu^`M6B_?q@1NKyP2%jhBvri$`)lC7_PPzAotKQ00m;0x8E=TQ-j9K@*)mI5VKa-{uLNG7BTsxh) zNohZ`CuMa+A;4DD&9CPjDt{(*eFtMxP2%tcGgBQMcU~Psrq_^3cU`&Fky7nJ1EEKx zN?n=Vg*>uH=k^3FpTilqfBinCb8e!Ca-=X~k8f|Q)9pqLImoLj4&y@%f>J0)|EZHP z!J`Qq*?ZKTaEo1GrMpaYRiIB^W4A~uOf)8twIw&a`qm*g0=C~g)Plfw4^lT`1Vlkqh{yHkZNn&1l>{r&qtQ z$b&8=?NZ)yo)Felm5%Il>ZfDn)%)1`e^K&r8*io;hoO^Ce|7}EXT%{v2m_JeawULp zu(}d}q!5jGB(@NFRnR-$%C|ftzYdrsTa;75_efIYBF95}L4ClSZK%gZ9@m~zoMw8r zdsL6+b<*v!U$lBp?nvX1P+lB?{*nB6kz#qX76+6)V+%y=Eo%qaaw8%GBC%U%@nxRdm} zxcr!8=(r?T<;yd37qO-*_cLqn)clixq1=9NPKsCAJ7}N@2SepIYmWHXK?-f6J7iyG zl94abPgd=hMF$!QNkJ#T2g+U%X#}r>uOkI+u+j$=<(AevAc`!o@!)^Km?>Si2Z@w z%rJjYL`!EQbD@ai~)&<=LKMO;6$b^F?DNx1w zXf4E?CZbRjZ1UJua@L{rJ<1`}BJ@L2yDF&$I=3||ia9S2F=Pd99f?R;V0zz zD7RqR$4M;}y%tGXOLk@`Sgc|p;JXrQHq3HwqQ;lhEvosL7>P-y46D&!LsjIz;FCN9 z4ba+jf2ktOW*VFOL&BQ`H)8dVg}72=u_L0n2<+N4$zxi&zNGh(V8f_{+&{u*T}WhT zj883b9If*7Be&V=<;ZZPZ3Rj3G;IZyaI39{<|E)^3*lsxv>dW%=F~D|;`}NzRcH}( z+JkyU_lt+JE4Do%!O@aAp*{r%H|1cSkJX4hez!kTRiJP2<(C7V8NCN3qFU@g&Ipa zZd;TQ|8Y+a@*=zQ5z>B2yMlwA`K1+mU1bShpDU3~2c1jcFybQz%8xz|NCJpfq(Hot z`V4QTGH5#7qXOd?TkOLNIJu2YFhw&R;xGur z`Y7S4hMeeG!he!=9Kjj*D2t1`pk|o90DT^o)4CV!Bk`zT*dOyEk3;5HiY@;*WVhvt8_23qQ=qj~s(Qws1JL2xeW}+)5RVOwx{>CxP^_Q($b{^P@GT zR&TEflrx)J{R?gnAKzuj?n6j1mG#bNAGZ&VPwl>-`4@=k7#A}>%qQAdnNt!yBy9DD zzLyVE;2T8m6&%pWt^Xj-B@}r<84->ZDnzg|ch#d`_~zsC%nAQs@$+`Wa*ei!AhAn} zFc4ml{5ZG;$z0wl8AP63@&+MfAo6Y@2!$&|k`i2r1& z&SRzjYYtwpu$p45Qy|Yu7G)R|@zp5b?gE*5aE7bVAGHXdaBo}`6^=ARC&7lHi_855 zD3kCD@H6l$;4yH4ApdZq-6qKU4eIx5pd!@Mn(-Y&9s|#Cfi0hMwQcIKO0~0>r__W) zs?`KfT0u&xm0fC)Z9zd}Rrx#aCpO>h6wl=Fa?elCtDpnkegkl;%M&r2{`M56wCnG| z?KW3(yD_V4$oTJ8=qdx47!=p%U>0HPhId+vDAV<)H7+t*P*pU^^pe${QN|a zkA7`mDh-U#S5}TI{sMgFFFp=8Qus_53(eyV-mJ-z8&tQusHKYgBk<*nmI zfkBbe^Ru@)pyG|U-LO)v68LX7cMRDkL%WcWsao}2v5U$C1GHFbwfV`J-bT;AeY!-O z$Gx+pM;41gU$2_Z%D<4YKzq7sObPkGNLi8J1BcXZMk{M!F&BM8rrNx3R^4Kn3+a)y z6%zkqx9ptsm6M^M%eEDAv=2Ga#|t}A@)rdyE!A$1fTp;W7RIVRrd%x?=YVP{k^~G_ z%H4-UoJYzbcP;w?5yP(Sc+dh+XS za@V1&DMjf~Jk~_*CIv<(%lnRNqE$5sV6&9~EX*3wHWg>+&cN#~UdG zbSVg${sfcY_U@vD`$R>N^x(6zEjnDkw0VQNA#8#3?X<6v$Ewk!fyJP(R1rRv+vTtc z%L-OOt7e@T7%80faAh^6&p9~mOFjOvu=J5LC*RC4;#-PNk1Nwd>BEj^rdAlW+f}(w zu4B?X$6^fqSZYT--y#OpQx70?y-;&PpSI-zc^lVXN@HM#q^21)U=JA;_G@!xf0^c+ zHbXRkSU-^rJG2Rn;BZ;p%AXZ_(-qM@F7QENO=07mD%v_TSDP?vC{gNlzU!)JX#Fhe z!>D#mQbv7}1~tLY2^v>TqT)r_IQ2dAd8@ ziJ@(2$0=_uj)x1>f5{$UyN!5laOJU;baOY_C@N?fb7IxFogwZkvK}2)wd>L?j27uN zoS*0)dU2qaZfF(-Aw+hk200o)O(9cc{gHMC<>bcc%60rnc{5J+%GM<{+h@-f+$Rq5 zN#p%ktE6!^X8pDJ*#Z#U`m7)-UxdR+-nUy%B|>W^`OUY}8Eh z5I?!HF3DOXnbqpWmFc0TU zvGuyGrNhJ|#ec{i<$9lr zB7xTM9215-UH{hpeNeWN;;RO#K2ABYA}SIxCB=koOU&yC4qFmgDsZ!{EiO*Oehd!| z3w+hO3eTJ9h4<7-g2}$`y#mon*AHK2*m<;)TeM@7pR`&^K1LoZ-nT zgLUaC9=YJtr&KzvGz06PEmi?_6|&CwEcJ-$qN28<;_baC2*~dXC)er>UWnv7R}PHN z4>L<%!gD|4p9ANQ!UR#|Bz@3SPxfI;T(j(2UU`20j%Q>|dC!s~HqdfKk3MoWdT6J|0!prx@!p(}#9NlTATcB@mBpDbJbg&Ynj0egzKJJ( z!cQhRMIarEhGH&cgT<6yROqV;(4FE$J?65o&u>!PTI{Xu^EC5gb@A1Wx|39s&aX&x z<;%l5tqJ`K-i{Z_U7;iiEd!va_^(Lx<+%BofP_XQfOIJIZVdX1YX-}d*xA{(mr_EtR?2KSK0b**~4?Dv(XrIV60X#X%t3Q zl?g57QFE%^4m|tNq9&qcC<+N|DF}~25V?v@=_PhnwFxzACmmbK83K%Pb)ySPmrz&j zC-9kibyQ*~_Xa7q2iuVYIP$T+Rlz*O{_7v39S{<)sEslrF_Nq;GO@-k`WIPjFOqPH z`0z>8A9Y{R^r60B@K)1)gk*G2Eeaj-09T$7Z6Ffg5V0p!q0W%ytwI*ACMPJ+%*YnQ zQqatjL{s26QppE#t>IpY_V(B_6kT5M3~?DJXJT<&ts^gd#mgvob;nkz5CSa z3Vm1t&fG*Ow1&uINbt?@m`O(t43n6Um|b?MeM1RNyHxqI2d-@`n<;tdZBhMdE^4Gi z;}xFS^6dH94(N)~oUP}pgLj}Pew3XH4%9NPSi*B0>fqhQFIk-sUK2l7&rQ8l)%
zaQTu&@(_^RSf>ee^?Ayu*I^$= z3f02Ukuk_65&8#e=$$dhL{}js5#mYu$L06DM(rQRok5gKO6o|LPZj~as(PH1Bw{zg zC6XWoOU{Sdy$LH2m!D65FWkPfg4Xm!2~2`xrA?SM7dn`eBYbZz0Aq+IJm(G^S-BlS z!`W|1Z#Hg+f&30jcVE3HvB46$$|{G!6&f-sF0Q8f)R<3dNsl!t4espA&Sk-Ckg#!! zfSMPic-`s@zcoCdpiLdLQsk=&MD~YsL08#=^MAZyr45ti}lX3mJ zNb&h{OG=b*XLlnZU+tpj&C2l8VO8t2OIMt6w$D98NMHFek{#$P{V_~(ER15_#WVKe z(vjNqNX^UDBs??8Nx?_AWt%%fVtty^8uLyH&zuI@z>8&4#ltZLdS){I&LrNQ57Q(n zVcWSkNZv=EqgNqH4=$Oh@sJ9wR|TCx&fQLw*gkJF$m@GvP@KQ9Y=3V(|JhklNy)=51Belj5wKbNRm<@a^zWV z(zw$lM_?p}?t&VoYDgYUo2Pkx>s-iCkHFB+hes{-XhzL?6d z>0iUIZ7>&8>_3O7iQk+UcgdiDQkO(+XI1qL(=)|=Gs8oh>P3vpD2+#6lCI6`P!98@ zS=D0KiQeq^oSdx>J4_&JvXd8fZH^jiesgj7FN4lDI~=sm0@NxIa2T z9)DFh8e0l3hJVtfL#suro#R?CFsC!p=6e3By8N~O#vY5c4#`zUAz+d-Z>b4}4+v_F zWN#T}hXHlc-|BP)`vwHHM=D)kzH%!`HV18xv;3$#OJ1n=S#PYjQ}AtxK|F%qj0!xR z5_0{NhNE+9$7aD+(gAP8;5^R>0u@UPnp+AB>D0gbbg)LPm~04mX;IB z4z6E*)Jj}732+^+VC(A0biLNttt*xFn5&rTmZ@z5*JkiDrX}eQtB!sVD$3pH=}}Va zs6N@K)XyB9w%%D8wkt}ClyMBuLp_}A|N7*9@YXHsBM;R_rI?T1cY@^fMREI|k@Y_{ zVrv*Qq+-*Fey=|KXkQtlU1#Uj)ng;^ zVzx#?tQYFxCsRIf^vFw|N?wZ91oe&l{2%#f6keuqv^U*y<)zG6h^L=rKm5bq8HJd4AZ_ek?9?ub|kb^NYldc|ePx0jOS6AohaH z!{_>XYwHA}Gfd{O3#xaDX7D&4(dUv}^h_Q_PJXs}bSc9Y8d1Z8@ASIvV_n_Bs)AkI zB3!z#*4|5KS(^X7`I^)FV@7G-=uO4DB->>d;;>85x@yli&Eu3IPB?{#?u^&)?u^Z| zVuBM9;s{F-;&4k5nIQ-7+Cle#0@6}MJMj86@ZixyNw1v7skIWk0F*Zk35)!uhTH}- zO}%>#Ncqm^OC7#ryiSJOYOU}~+4?~TYNe81g$g=>CzyH*rAN=hF<^IQ!vlgxg|u|C zggFe-VU72WT40wXFA?04Hb~u(5d5)Kyf7?`6p|dR;8KhNCK7W%)&1Sc&$jA3g7!E3 zJexMlTpYqbduoCzQqo6b4p>!2$tpks&Fl;Y1uS#Ze8W944PvvWW2v*{&}W=`Z)hu^ zw<$;tkq!OW^>^v7z(m}7APw!LN13v zy%&w(84X*1_`X{N#Bj=SN%E}1T!R7Y3-aDW?{iUH9Zicj3=B#>&F4fHbK0={9q$iA ztW{D#3-({wLSbST2@ylPa2lR{G&=O?3(2%>47D-<4+eHu_XVyDIU$xIX=Zljh2dm4 zBIBhsY+dqK#vd7A?)pAnt!E;u%FZgIrJgXCl=AA>ff=;R2dzHpE4x*zDfM}`w)?sxAkhHhM&TiD6ZEAaFXq|gfJw0YheqZ$YTsTY123udkSpBgJ zBW>fjx}Uo(^u`QtLAEx+2j2kd@NpQf0d;?GM14;x_o)zB!&*m;cO}}o*GoIRGaJY3 z>InXq8Z&3N(`z6%gW|8(CGMu%8Vek&twOcry)O^j#klT#wl>e&+!nl?sB+wPW0hwb z^To#-d&K7(d)n2uk^-9D25;9roGvJH`=0ZP+XZ~NV)r}tq|9$9k}bD~Xjm!O9oCDY zoUY~!$=5r5RK^p}&GEFq)lhG~f7PMhoK=HYRXjZR);0jd?GmFdx|eg270^QCqcggK zx;!zQEi62)Z&W-(Md#=BN!;$s!F)=s7v>5@k2t5FSK@8r(Nb+fw82{QNfXveI=}Rn zgMHvJ5Iedba%z~`vX{qAF4M}h)9jW*_iJ)@(k`D&ukNd?@CvbHni4Eew zRsfWrBX1-uV=N_*NL>iwEuRzk9n?u*3VFR$6T2jnx)d6WRuk)?@l&NpoXI*-Vahxc zOI-17zE%sM8o0v>J)YZ>zVzR!!`isW{wkIT0^LvSyXYQiw`MAjj=(RywGTb^NO4zU zx+`9LPL=FiK0RD)RY~z0(%=`2aK^`c$HDo$-sbv)*>MZEQ2@J_wC$AZ_zp#vnD(fO_aA4>L>{t>sMaYVn}LUyihgb{!;e`-oK)w9C8t>R~I=%*rVNJ3=2@Y^%~H6Jud@x+&c1Z(-GSQZH5nf{MMlL3U!tis zJP)txLO2q{(g~~Fj6YN#W|p_NoOFZMzFrOHIZvsEd0dA!^ILj>cSn$|M;Wf!1?9`b zm#})}{ZhCO@SwKs=KR_kMw7?{OA3J8RRGxe95Qf{CtI6ou~5TN|KHkeCVEj zj9iGz99NA5(``ok(&_1odNzlooD2J;&5zFPPV+O)T~MJ}&JSabDEO7lNJoIi$7V}0 ztv*r&NhYL07hH|~==WUw_93(5H4KPJkFDujA(x$a^>qfc-h~+jv z2;(l*)OA&P5YM~HaYZ|dJLzkJOh3$HNSoGhMK4Ef7x2Cks97hrs50-9Or2KBfe50* znT~V4Tn5Wcq{>_LInJu|wnwtU1psdV3IU1$-U1W@lmL_hlmV0jQ~*>0Q~^{2 z)Bw~1)B)53GypULGyyaNv;edMv;njObO3Y$bOCe&yaVU~=mqElcn{DIFaR(JFa$6R zFaj_NFb41eU>slqU=m;oU>aZsU>0BwU>;xrU=d&mU>RTqU=?5u;3L2~z$btWfK7m{ zdf~Ngg#!d$9zkw?$cs@ZBn50yj=W1@v#(- zloXFNml(Ck|JlU|^`VlbleN1IH76e*2M^>Ku{|Rsav6#WQX!Y6tYmW*UQqcMC*T<- ziyJc=QT1BjSyD9-zJ9H|Q(~P)xz=0_f&vM1G4((!(_>sY>UYb&1gIWCwDrgz@bX=J z7v9$IP%dtrpn+P9WzWs8UvFKD%E}5N^;>W$--z^Stkm z@ew2^mNpH(18KY*H%_2$HDNZDd!UwFX6D4e47A0jCrp#i=u3{T=7vHYRGJwtyc#Q(g-Zp*uq^&m)Y8#6* z(TRSkb}v*dk6q9$LEh;2j6T(%JzKubUIQ|1m`l>Ce3EX@EAHQ$*Vf?Ox``B%HVJWU z;x+csJ*hUN$atF|-bjdOf<4{oQ_+R^?HA{E2zsmr^GXe2N)4`74T;;7a41ZWgJ`qU zuP_`@7jzFT8-p|(B{ds?up8GVG=B_hzXCm}8&wyDVhqJ-45QeDwiED{1Qtst<|?`9654@jh~E zfs`6rh5YUB%dO4B9y@QK7vJ_q9VL=$KC8UV@6k)Q>nCV($=BI_RYN|F#U|exZ;53; zV7=2{b__kxPCK>Jk}aOypQ)zcRYUXOz_aRfNQQGWr5r+%KZ4&2#F<5DHsRk3YUMz^ zHUWu~2Zp#HV|L>Rp!Tf_fXs!GB_uJGf{J3%CaAIA{`@T9xwD8BvhZ2e5I2BZNjOkHD8;!wVXQ|JTURn5FbTP?R7sU>?RlK6_8Mm6n z?B;+KX;#_`qUpuSNTcXuBcT9GQ~OSSd*2ewF2S8&pYap8Xu{NgC1hSLfOYyVS04dO z!$TA1d(+=!2JTyLenA2k9hg_H)%Fc@yo-CJPM#S2&0%Rq-NR*TRx>U@wdIUJ$GB9| zIm<%)U3{%^mcxC#sz)_WRx^;;k5EcT=0_;Tlf+JC&Ly5cWw*t@$+(liT~d zCwTpjPxBo7R}%MMonF8^dqVU7nGVabNO%0_E4B`68w9s4$37EIaDJE%)S&P+lvDscEZt!81RD+ua3 zIe0o$3UwIEo2BZ!kfJz{aF;1#FUdmvE2uC#Bn9BZ*O19W&0Wa1WehhHo!&uZUOT;u z5LV&W{5TQ#v-rIZ5Y~0~`zmoC0pb78GLA8Vx&E30^H77)*)i@cEmuYCj6#n#!&{U? z8iKL`rKOP0$9*S&kEWs8$-;hNf`~7Tk{FCIkVVd%h5I&( z)J}rAA|Zc{HM%gN(z#!M7_3Kr&yxcOVdvAEnSTDHZjofHv$1<d5?p_ZA4Ey65vidq_ISP$*0Y1Bua&KKzvsJqr_3}nE(T(Or`A% zGi@gu(^RHbXlj-YE257ZDVYWWvjq&??oB8@d619Xigcq$-XV=Y7StE8uPDbaVw1v8 zMYVb$wVO~Xq7;n1j~RM977PpviXGZm=IKAtqy7~;N`R@3l@=JmEa5h_quNdj^Dd!z`Srea=w@0xTCcuuNOk8_4m$0~LP8Yf*baJ@*iQ37gL@qwOF4@gsh~sa zeW=3w5U5F*A5)+dQ!t4dI=vbyAybHJETw~a1l)_tC+R!RvEok=rpQmxriv!+Sd8sM zQ#jD9y2+E#PE5omrQrZCU4i`9GPe!RA4B|WnX7xQDccO}?4AK=-7m zgHr%gD^PlDl9=ER^&miS^rBGT6~O!~eXsh5Bx{-cK`-wUNhIU}t@zrn;L}cY`gyhY z=9ri3#T4uWKExObC5Jdbq39I%r+{;QsQB~jf1WC?r%)oQ4U!3kl0wR%P$Z%fM84pF z0ypjcbEnl6iIi+&$)38vAp*!66c|veP$({l;*+yn%{ZJLVJ;G<4|Xn6B_29w5G>lC z>s~`=I(Pj>88F>~gJM(JJH;E^B^Oya-0+6B(nWO>T`7D*CL2=hl zO$wmSE^_=L%|kIJu z9QFoz{dln_^69Jg3~I4(nkLMjx_Exf-PqHa%6Cqgq*`xA<~DSOS96{Q38iN~#3Ji} zwN%3-P(yk0Z$^|Z?C-984DRo%2}Bx2QruPZYL_4$$f|5 z;R=K>6BdUM(^*Vm6L`-qb^&x>lZR1VVzXFCtJLJQSP@FhF8D7ypJl<)Xp1~TkkX?5 z7oj5{Hi;Ol-<^J|d3TxnHCPJshhri>e-kO@Ist#Cso#4gu{$5&lJV z;_UuF1>5KXQYi78y#IDB<9}Z8U#|adY8RU({PbMks{dT0Ozk02b;=$#NvK6C<8FdZ|b~YOwhxL0nAXsD)tW!Z6apP@!a$Y7@SppvE!ulWa;-6Bt(T<1u9A3e?|1 zUeNC`F9)1YmR!0MNTv=#M!a{tgtLv5k_|%)_NbsNses|@VwgoYFhQ>C;v){*uYkks zP?<$&HpSWtRi8z=)}xVE92fs9ijm8N^U6p+-OqDo^cRLM$gi+NFDes9HOhrrcWS=A zbLS|YKx${k>PLA06kaI-l70v!fs`CVQSYat&K3oxYwc@wsC4fEg7BL>vU&sSd1VGs zJA_h`olC8<6Ew45C9PMrCJw5IczXIa4`F}1lnP|%5K3bbG!K}Kdw;zHl`GG2Rk?2i zy)vQg_qX=Fp@I`-Ts1Zz_!KW*?6Iocd;3YK5djx_Os*ehtaFZL`fXUeGqzUFz2ste zQMs`Ya8xcN_6SN%oufP!0?(@m$hYc0CDtIAl8#9k5QzE_lnUe@Y$TGs5b%Mms?})c z6mmzSnD=UxDK-`*7ae6FHtYWu>J@lPxv^S6)WZIhy|wcPD5?VzZn%jwk|h6>XTioM zum~DqQ>>t8_vA`6-l($2A8xuvYQGfn-|aiDz#NLjLQq3~%mMcz8(yLFZxb5hw*)NQ zM;GSz3H>WJ+u)!OqESt6D|u4qMep8$T>>luKZ4-jBeYp$`R@ts()TFXA)JB(R@jv2 zxtxW@k8JMm$(&kHpo1m9;$qZHab$oar7@b4`Wq@iYQ=YW@8PVNAUB_(v{XR!)n)j%$;X$B^!wx+LuacXPLg0@ z4K1Rs&)CTkKZ$iX0U+tlShILb5Jdex*9;KLqq|Dn%=Rj_Ec3(i^8LdVJO<84#xE|0b@1 zd5#L{w~sXnB2Z^fBjP^?iO`{v$uG#w%Z&5I*QwL}vg2x^L3xgJj`wZJYAb-kPkU|d zXWw5{@?>1ibdI@#d{+*_o&36*WhiNl3=W&A6)E;zRzC}{RX+Cu-=e9Mb8~W+1!6IPFj|F`lJ!<3-*z5!E$? za{wz-RFKqlU^|35a-c7mB1Lsb{^s@9?m>Ldp|r$Vne-9Os_B)Kaa4mk*6i#_^dBRJ z?g7(P@&bwv89N77Sd|MX2`c#XejWkM4f2x+Nas0}jN}FxD*GZZ_I~Kj&;jDy^3+#x zmLWy3H?2Q}^#UpkYe5CEy#SI7;6@05;FFJLD=bqin2hYah2n04%osd!r#DMwtbNVp= z^G^nte?cocLf<3Ykh~^185736;H3(r^DZWq#KCbOrGPMhfs%qKlM1S9WYV7{TQ2g% zf*w>Aa(f-bmB%F|ptxxuGFrO)Z*nOFO- z=Sl06s@AXNb}C%1WiTlW5SmLUG34PT6d9DLpbo=G;1d5f0ad^@8IYpDzeGZVHUV{v z2x!*$*5@BG;))ipMg4#v>q1`M=arD#1l6bJ<911k)w|I_b?b~4-8LB+d2SA6dFI$W z*ncmezqe>8YXs3@C;~zt_e*f~;!)|KihvYJ{5OI6#~X>Hyct=%hMRjz8kc7(AFObE z$Hrh;wk;V?NeBHm0{WNA2tIkN_(@hkPO1Nt=J(RB36yH7bfR+OA^$-#R(1NdJ*(fr zP|xL$hdf#t`8~<`IYIC{3Fx-F+w>o zw57^~PCnLFwKnO5cCNEJhOx(z=pz)HVw_4mJe3qL3H@7ahVol%CL=K(f9lmuIg6HC zfps3TSMe>~4Z9CS%s~zYj0WT>-5TLSCwLjSs3E~$@2jT>om}6=hr<&LA#5^3vaf;l z@!>U89VED2cgM`SpvV?H$ttJTi5c6NgCyyLo%eqW-8{7@vPLx^;~~FEBLY-1b{rlM z%Ks)V^ml!=4u>FA4~G3$`FI0QwM{;f5pW4HK zo)DQSo_2zWoyN%ZZ*zkvp-r|y%K(pf4?{??)&#u3ke^f12>3!NNML_jv zMQb^(crr&;{)&FHM^)t3vIG4RB6 z1Ze(M_45d!KaZY=hxFb;DUpmgjOJ!;wIRE=P#bFQ`>fD%Gx_)f?Q^#0$I(SC*Do~A z6Iedcdwp4ctdpgH%D0s7Ibk-kuB4n)rLpm|s2a^CM(tSd#JC5sr&(8zWF_&p5oX!GDKBaY z+-_@Tg7g@LubwMJpR88y z_*;GAKuKMsKX(x{|GtfY*~LDK@#i)|lVQ)(ln`kb;+Gxj0*HNU@aww1<-z2u`>$Kb zpR^1WK?KhR>dva^xaZ#NdF>}qnZIbg9Jn=%f!M+9ID;Ys>l=>=nXjcUfIT6lhmSAf zDk)KjTXyF+GM62U3p=ODbN7#=1#~Cd0JG7`35vsn628?G@2_0xD zcQ58n4{_Ie>5g?~15|88$+fNrJB(|SBvB2YNS>hr1faEIbew3j=h;1sm$Agt9EDfuOOpsvB4oc3wv1;w{|8pGpTtiF$v z))lp>jK#hfjt)Ltp7irhV0fk#5Zp>T_%zP4{C$;<#T-kO<$%~+PM@+^&Lu&3Rt)0{HKzY2 z3VQjVL|#R`>fgopH32iC9`82?_%BONtO#EP-2+|FtD8f|M}#+ z{@8*qgQ*x)b|rcw{K$XpRR8^fED%*vJLmGle+#cAwY`39bzye>Nb5YmKTfRp_0U3s zj68_TgYPcN;m|ap=$Iz+|$z5j)#nH`Yl%~2I$jqPv?8{oS|+4!l-p^4m8o_$ocP>O zaAKuAGs9CXv+6iZs$p~@tPFggq=jl~u1z{Mp!I%+k>U{?QD-@bH^iEEmwAnI`0B!f zFEtD2`{e&C(cRfo@mCXQj-=gh)2y}@e8lS;&YSCh^wO$bj9$=pm20@OVH0~r;48r} zP64#gz->=(I3gr9lGqQYrzLsi7{Py0z_;Iv2Xd=>(i1QYIek8&x8O7k(Xms(?U48H zbvp-54yI0A*pHxhQIHDnUOe%y5xC~{xjTdLe!6aQOMZ3aGF>zpH4<>24etXw+srqPi`%>LN6FX7#pm}x$DP)^mEtxZt9h^zy6!9T#AJ+%JVm}6 z6M2@uDerTXr+P9eI6QG^mvNc9Id^EA;R{kf@r&6EEw_96NvAb&s%1#2?Q7iTt81R} z+ova_?WWIrv`^y9&~239M5os?%=3Ez4t*D1C1|16;Y zuipQ;v*Oh3w9nl3eLDv&D)T<}tvbcQHJN{Gr~dw#P<)RpK|jAjP(k?TBjLX`xqm#b zRDZZ^s^i&-kll(k}y-#OUgUp?4I#zg`T^s7?EW6G-|NIKfkFQz$77+sZj0^dBH;e#s zxWw|+<+ms1C9&`1K(_H!0f}J-`mBqz=4<=;Y>V&B);0+h<7Hfczqs(#WnJtxTcadI zyQt8O*Fa-Y)CfDX+hfGJ%%`{W1GQy@)CBnRcsj+%N00hRYFeF-^mfm&kGY~rQSGxRcYBO8A#YMY-=r()?y^FVq`RIg>=9Q}3F!8Qy_&(tQ zPo>M7h)`kR9JXd_DtL+-%gAXre|#&;n8^EawiulJ^x3(x2FRy8v} z`o@-G8*jLBPyI{v=EE8LTZPCw&*sg;y$5%%5&hPUuSA~hi8BmuiO;w>k6#ZpjBg#U z3$9El86jiYyLy=Sy?J7L44VplXghS}=O}U~qZ|~_D)h8)l&{aaMoLcetG}}C{cV5K zmJ*`VBG7^NC4K5ZQ7Ut*PL$3?pjZTD`DI+eIYLUb%(90eUn(4z7mHqlL4Vhh0^xyn zl}mkms6iU*VyT5ZyViQN=M7rwY08c_ciLFamWf{_tiKwuvk_*AH`(rZnXzfq!)Bf8 z*UlvZ1$xjK_nq7xZ%9V}=Yv7s;#A&Zb1|ek*ngVF#b7W zV!DV|QNDhn1{PDJQtM<%wtPF%Q(qYTiAh%eU*Xmr)l}NN7lcFwjV=NPkgUs!3P>>0 z#b5<#Qlu9HN);Cnq)KwtsH~!Z28o~uN)1Rrn)DD+fgn<2Rw;=fEnp}~C?O%gVEK0a zcE9ucXU_Z1J9E$Eo|Aj;Jo7yKXTEJ}?VT6e9nl(4`aHqcnbfO5$GDcAsrS7q#8ysy zlsx-ztaKLLK4%l5KJOZIury@N-D`?T8fNbU-@mFBBTRWgpMD#52LRv5CL8|_N^SUe z5?7K2r1a&0Jgj-Yy??x3qGa3?7GTt{_$GwElau!6 zBr;G-m2Kj^nv?D0%#PeF;zfnL>ZJLEfS+EKWm48yw=fPcDd!)Uc^Kq&m=HPr*-N7; zh$_XJ%#-Ma4{StKF^|<0oYosT%;S&LLVO;(gNiRxOUymEL%%|e3Wz*=QUZyo$9vBx zU}wCz0PP3YcV;!<1+~(Hc|>AQ9Jde%+jFJrw@=&H!TZQq6pyP&+^)EqG6-d*vxm@YM~T4zvNz4QXUP z@gh?WSHo%rYg^alNAqcjD5-PTttiXyPC#RiM++Atak)ov1RCGV1{91f0<^M;P7i!$ zyut;dA#jx7uz(*S5J%UM8obJ+2gUlloCiAhI)GrddP<$v_Igu*dD(PcS{J>I;ZY)E z(t8_aNnvC$Ur!Qs35vzk&vmm30;8y5Dy)T3{|l`2ncD!TDbIUmZ+K5UuX-p~UN_*8 zaenmM9oU5?hgYj4Yp{Y;PaRT?u&3fD~*DbN5OQ}cw!erNGs0KKBIK*;k z3PSPBiH)4Vh0@dawr_(61{pUq%r@%bl%iCvn3Z5Ifo<^|*wAAADZdZdd9nBR>B+o~ zzQGUh3{J@UqW0Sk92Q*G1T4&GRRiS;- z4mTY*fQTxnIa4%P#2PowoaiZ5XN}i8g5-Z{t}rXB3DZ}>hEdZ|^&QzPqr&(Lc^=cC z$VW?M(xc9LK&x$Vsm%a4J>GjpJDi5*?Vxygp%ucNjvIH;W&8JF4SqfmYWYyZaV3x9 z9r9={k27&act#M*vR>J2?xO{!nkC%F$;mDb3tJcyOjbdlC6i_DL8w(%?nxFN28C@& z{}g5D@)%RzqKa*2n!1gp_9kAh(RQo!*X{GxYW@>2OQ^(AnUB^0cgai4N9XHn`}gHW z;x8J-s828DPHEzlF7GsuvwlZ_0m3k-dnSheXOAj(*pzF=NQ9X+*+bvVM&DK8emWOE ztxm#`uQ3Pd%p4Xh=Fdqs>1d;hn7s<#Kphs(Gav8Lx=7|$xLLWYaP#1u>r#bea%|~lIl^)RYTV>m%`_!dHJmP6!(Z?q zCR#0+xsKqJ-t2VCbQut0QEiN$!-e}IQ+oy0le-&)yU~aUAufaBxp5R%RC4s#prH!Z z!r_yUVx=}`itbiy9cTBnz&5U)1Gvwfxyo8aNn|;0qqx9u`m!WXf`1u=mWa-5I06dO z%5WEJqhi%R_=Kd!gwW$uxr}kx!HhIyRU}b*)D!uB-8QxPYfq&$ot_n{sLC!s8Z0{P zgw9-IUAq}7%9R{oK6VSnlVzEY$2dwxoTr0k$}uK*;p4pGJ7iJ)7Xi=PH%aJtX`=nC z@dT}AR=9j+G;yQVC>U`cyX0-mA(-}Fvnl9Rk>Z{;Dm_^IT4h6wjxvE%q995JdmTLR zVYW(|=$NS73%>LAiVW@S$(zq&@J-? ze$%IRW5@FSP_$z)^Wh%ZeyASNf+}@v$P*d;(|q9=GS(E-;m{#4C0&YU(Rqy7eiEyf z&vse8z?_zn9ej)6D5&EkT!ZGf3$D>4GUbyRDF2HVt2e+1WJ(3%*NC1^vD~2?UisK7 z3r^W$JZfvFd#vT7qgz@M({11eJS)n5_I>`*`j`pUdh{j8coWY8Bly6~somIWZFy~X zQr4*iv=vA%9}n32*};KK$RwOp457hEk%vKJWbGD*;%rn3S*o{C5``c*v72>#2ktuM z8UKc5lcjqAYG8%DW9;LYA`}dDYBI2!Lwv`X!jq5Ltd(SPKbA|M%04AzE?6?TWjyNC zWQ1V-0(YM=p1i|GdS9<1-gpmIk*c^b=~NZmpNEnmZGMMaG#NL8x`X6)IRqmGQqcbF zL4HM_$Q%U=ea%T*(d=O-?~on#2djCl84WuD>;tNs4v+A;=&ZnwTcjq?8!X^ANE0ug z&9@8IgWVvwotZ$XB#%O0$JVFqRyrfNkPb>m5l z=ixWBFbuR5eF>34e{RR(^COjMa94V?5sG~uncu)37fs<{qhxn3YZB7JaOAS40k{q! z5*X{^7h~=TS;4SmvQ(xRliINo_DuRzfvN(BrDsdeOfBx%qdMxL&kekKti(o8H~gaO znU#Rw7>(mCtpG=!`JxJ?gD(5}+fAdF9w4eb>Lcq1!SrR!^VfwL()3!E1)@qerSUWu z!w7=bS=I}ACb$@(&Vi0;5>POWJ0g;|%Sc!L+z5tuUsY^^Hiqw`d?&MF|Li-`;&O*$+h9plsFW>WJHj*NI@|sUin?OR1)~+dW+%cKv z6Y|`AUidouE?OvtHcX%LP{S6LD8C~lK1W3nopX>Y1;~2-;#1^J%sId*Y!rfsk~w#E zgBmwos`)k*P}G}KwH8katwjF zLa9k3=|0aw9(Vd}D?`~Q*>Zf1eRPG<)HS4FMl$-(;#)VLdj}LD)ZlOEm&}9<1{PRK zKJQNK@9Btw;^Z8zr-MoRwKsZ=m~ZS`QKtro81X;0Y9){pjjOF1Lrdv$R)};0+q`P) zC!J^ihJkphy7ZhdApY)TQsjmSTh~$~N2NGtTW8(6v;0XhKJ$OcI~q+P5t>(ZzX&{l z?+Op&|5A8dp_YJRE;U@3KV%?%I2G|h-TNZ=Ql??iL8#%xp`8cDv%%?{Oq}wCZtRJe zPBVzenfFHXzuo1lF=^p{#e7Lbwpzs;4ER&MAePgpYYGwBe=|D|WPV28aGMsZ?;BZ= zRUe-6bvb=1cCIz)%Md4MD^mpqn^<1kYsy1XMpV$E^>Mmr-Mw(9A+bC*dpb)E&y{Dw zWHTh+9VQ^=+r%34AkcYu>(8@`-q-P~`M{T)otN!2e@Nz_O&1r=chA|%irgn=bYyn5 zT;8oE8|tO-bv}8VH|ad&Jfvvzx;1f?-S-%&iqTht=&7IK`_@kj^;IEyWV`Qd0xcNx zv6x)rVP}cCX};BWBFlwCtAZNfyQ1dY)gb2|CzKNJ`KwHLEt%_?N1;S&X_uQwl0jKy zS#!_1a}#2-MB<&pPGa+@9yetcjjr@|FGgu^)tlj57-pwEs3fbW zJvfu*_Rc@(fCNBY9HjNn|1lcJi|wzf2NXDFIp_V<$7Sq>iS-I3WRVt2^!D&yXOvex zX5vz)*4aFDACnVg#K~4&Ngn-}H&VOGgQY|rB^}+XJlSnT%<#Rv(*>W`K!|qD2!M9X zSY%M)uv=q}O-ItkxE4mk$Izjt>&l^=c+KGvd7a{MnZRKO^vyGMDN?*o15rTMMoydD zuoZeJnEy$py^r^@b1`7gI3D$S|8S{e^FRL>Uoi}ZRtqvL*}C-J07Ji|V@5NGYCE60 zYuPdxtx7@4_+;F06#v^s?%?*8=Ha%FTAZXxFl1 zGFqL|u*t{t7G9{p+=g!yMFOti2ag@06H5s2RE_P%UA9+l21%x>$85?0+x~xsdLVx{ z-aiN2t6>g#66?B8=zi+t+qj;TvBoXCz=LIvV--G$!QMIt{m2VXvX65 zoB1h|D&3^FlzCULHA>>h6@q*24M>kB9Ta;s!~iDe-mqq|gfW-iXzC55uw86NVnfau zz#g7_yVEy?y}5KGHa})bOur>)2fs|i+faTIDbbDhhtP%v)zmnblK|JuPrGaIi&Zo)rQV#?z) zm6(!%i{bb^EMuF*^bY~a*cAQm!FB&U{_0|=+*YCE%0d9@uj6J(chO!(k-Y7(R(*GneZ_e!^A z%f)(|v~}kDM4}M$0M%XX5;>`v+Fy^p_z#JkACE#ql+rShGIQ%}W9615!VFiv-$Li^ z+yO*as>tw+R~;pUamPdgox-qM<2yMq;jE_)DGI&SipIDcNoGGbtF+uE{bJsU6gfiJ z`&w^;ZH~o>Ry&;ebL4i5b~W_)Lyd}j&OLf^&MP%R|6Ui@C*81n6uUx0IIPNb-!uDk zxS@u{@66bx_|jhDTRmeHi?-gSkqk;V5E_nYI#ybKIGwckqUNdn7<>|!voU2q=tnDliv~QLvTwM&iJ~x=DZaObX;7EFg@k&Dev;>=W36n#PkMZ7Ij>h4kWXw zdpSsMKo`x2fI=H`k~E4OGL&ISIbz%id@(NP5O>02or`N8GO%GLl2+KExeU~6xKRD3 zXD&Nd)LDe>2^RNgtJS8>X|{jeK6h{H+e4d+Xsf6j2;CF>@7sA%Fe!A;bg_GzBAhlK zArd`)c_n7b^D<%YUi>8e!Y~PfDt+-4b!~aO8`h$^JffTAVTVjtbeMm=IceK@`4(iA qDSEyV*~Oo7I+H5|hvsYHKN?+@!MnqlkoEia>8{_gdl zqk+-E7+_2=78o0h1I7j8f$_lvU_vkvm>5g~CIyp$$-xw0N-!0e8cYMG1=E4)!3(>kow zxZtNufxi%}L-r6+pP8e3U&2(l%2|M`gJFQSfDaAy5Sqzz-_B7hL)|$n#o`&eKZyh^ zw@vc+C-)FyD%=Sen+x_%_ZxtR;>b)1= zRlWGSz*CAV72o+vX=ZM;CyN~YI$0_ErdKpktT5BMLy#eTWQRLZjkdtK?qTx!j)?Lb zRdRy>kZd=5<)Mk|m*kL?DbI)Z!ToMyIU5x=&T;pL-aXD-Eo@k!-{COaOuvPRCpe#3 z!-qYIf_;jBqksb|j|=?4+(*EbCXgYJ`EL5d2$=pb{%JaS4J#^Ka@#{!9)3#RU*i&y z*_i@Y^wv9P))mx6fhOC&0}l0adNw5K$z2)V%H93w(c83x@RUM4oPwUoxBP@~aL>_T z|1o&oLvh78%#Qsk3l5k<8-OHljSgd$;Mf-cZX|mERsdR9+YVq#&lu zhJ}Dbh#W-&w>3QN_vmIf7o=HpCm{lI0WpYVb>t4vy0ScFd5S_|T!SlJx0#DV7sL|6 z5`sb#MPqE)$W?P~OwN@o<@zq~)!L`M8>uCmbjhBzl+P3QwMv~EUUKb!@N0W|L?~6f zwV9d3v`~@1x+s;vV1_>R$&>G6%gP4{@eYkZ%+VP}HB^I_H-loSntBJ~(!H#OAQHRE zx|GX=OzCFV2E$&KYF70+GEx_36{ToK~cB11tVStRvnlbkq;vfeU^n z-inrJ8y-XYGLJ=!N7Zi^UwjQ_Hemj&}*jR9pZu@z4-a6TRO-Z^m-UE_x z>XdGa`O(%sUeuIp)pbZ^7cVSJgT8xCINbnxIfeHgKO-686ET5v|9!?zElxZTg@J4; z!e>OA!kV%71s(V9J%3X(y6R6I)8TK2tFR82vVyi#wMv9W$HEbYl(34WK$!Y%f==P9 zynY)Sqku-|YDC+fa9=_N)yFP~rDT1`241_ECjPnhGjD=LJoC4%gs`*lB_R70m{Xkm z-X|+DMVq{w?2k%)l0UAOnrVIb0y_O%IQL}NF?9tRo^=t13dW45JZ;e1oaYb8e zBX*g6qZtn#FgAv}GqvB;sN=1DWg?Ghug46}MJ&26C*QDOuKB*O>R?iYg{>t`!c<8B z#J$$Fiu3V#B6@E3)5dLFiy9V<3to*|k-p5y$!lf$h_4Gdi2)sjNyr1|*_6Wu=GL0y z&xTvJd%eC{99qPRW#6<7?fAYC)k7iFn7+acyAm6u)W7rBIeWBhe580lPfcuAe*j-U zwLlifYGj!h_ja~dVwpzhb-;%3*f(;V>3KQ`?KgMAMuA~>e9r&Dr4syfsa(HYsy^W# zF7?Z>tF7b*jL4LGBxbj$yS9K!4F_E6{pe7P>eha$&bs>xcD)6>6dg4jHc21W%{D?G z?n^MlqV7wx##F$S;is+~X62R{2$K_=<9)%=Aq@jnoM^sesq-w*U~23dlq%inc3M(F?(5yIc$X?7S;c}2XP)l+A_5C6FOnqr-;fW zgT80ZFQ=YU514AiHP1gjwjZuXL&to1NLC4n?rYrry;L@7;4qYb@7&Hznk6or$<(QkxBvxVq%) zPZwmyD;*1y_nXUsdrk-Z0j58U-@Opvxqdg92}&0u)n^-mr>g_k+;`_K9=qlS+3!=b z2)zRFM1+hTh_2*NlAFEJT6`02aWHgvZs5GpVqsH?fWZ3oWHAj57FIqi=*L_9<>*8? zsh%1q54uOrNCcQ9(=>TGTz81P`Y>ts2z^{4Te4tIqnV_*>~02E=U$xGIBH@PJgj_g zFffRy+vyUql;2ji&MpZ1186=QHI^B0rzjLrz#m+MmlFa`rq3VF^pB6xFkA6(w{0dI zeLef~r%Ric(Vr@s63;vma}D!9lwkIb9bro@&I*NX0^o550_dt-}1OZw{{WK+{GQ1 zS5jZU*ph{}=%mY3K>3lOi3raGHQ}p)x}~u<@sN47qCT{lw9VYTm9#3KT;Dt2t=Sj< z(NhSgnv2TU_@6G-iaAG5xp`>BS4iVcxZ@iEqJ)+CA1-zF?=F@5 zmrIpG_~lZ4h#p&I_go5*1z(QQMGYddbra4!>g6Pm*EU4Mr0b=OV&k~2P>5QMEcbt) zYL_0;iybiUGEDzaqB4xT*WUqggfY-Ni)laiaG#}_vE%6q8(j5h&bPt`a8tT3h(3l1 zr)TxomHQWN$e2O;eI@QCfId1Frx7&@XP%YMFUmNB=APzoLKLYfl&=S6Ruq_Hm5D{_ zQy#P#KF+rvs8KKj3q>~Bc+6069a{)wSaS6vTr$}zZ^<-jRLi&wfN~w1joZZ;`c`Uv zd6oMbYxX$|?CTzvZLlu0y%ME+lDcFKbs$80Z#CInx%A-vgN|d*H=tN5jq(1BanYE? zA1<}%?=Ds2?=ID4QiS!pOI=bDxO>zWHbT3P%SbF6vF9vE*JXP@{cu#^bd5wy^Yox+ z``b6Hku@yJ3Hl(_tV-{IUKAm zZMkY|hK2f{65E-pRKpUH<9u!Dxz%B_bH$t~2a$C5*&F%LbPnr~YIU{D5V1;MEmx4z z@4_nfDn{(f^yx{$E27(5*;P}Al6F`{fM4Y2(Hh3Pr836{qjnbHACHKa%98TDKq=aN zi%vx@&}F(T1y9ItMiTp#L_BG01fIuNZL3R6p8*Md;>|v4gSCHwY@TrTtR?CU!o6+T zJWyjt5(W>-#X)p>on0;iG!h2$k22g z|LL>Vw_8Hof;VB3y4ht_(@Btt=%WLtqAc%dvv(d}7~~i;Y=mAgs>N`lfG4 z9U+^EcItF%$vLI#cCd4qu|ECoQKbRvXJSycKVNryWCw#i&j2Nf8lT+FT8Fg+Cy9sI z&1Wq2c+x0x)ILoNCS@-{F&<5|vkm&r3;WKTcmA!NG#GYN! z2t>0$9UdVC=md`+MT_&%M9n90l}!-5x^jeJmZcrpzI^niY{1<)$b2MahL_zC?iJ{6 z`|Rp!_xv5lRMP3Gue&e*BabeuY=5zXYv(t30w#fH4Ir;iqt}`k9FMoHTes0q@V&m| zwt2&$3*;V&1oJl@x}Bod95`t4`Bk0CAHS<4&Mm)KhufMu|NQE%BZNbuRZ%PDoVcn+ z?-STOuk~`zwpC=0=4lYfmu@P0{|Ptf!#>;5{N)4TZaag3#_h&;D1=_+<$G6NZ?+n` zyY%)0rcF6E<3745+^;#-_ibQ1FbaCif4DGgFkjS`bg96Mz^<)EvIt|}CL@J0iOG@u zWTsI#4?$wRnPi42UhSltp0!hpQHTC1<5NH83`K2vCwdcle|lMZvdsmN&B3%aP^Rk3 zA7-*mf=`*0xa0|B<02V-a{?cV+=RqFv@Ooz#=NnArLpEj_SoT7sasKB8rh~p0Ap6E z{F-_UzuWIb zuTD*x3cf8qnQ>^{*1M~!-+uI@S<}=~wPa{LL-Ps5WxBy{vO=%%o$oZLZ2IZ61$?d< z4cY^D&q|_g*%f$joEhi6=XxJ0q+X{Omyu%;Oe;QlQ00s}L3+Aht}zgv*k7!fn(<`R z3fK3LJ8ozfAKP$ZH8}JUZvs7E?QY*?O!1;ujnPu|*w98kMkckt;DNB(HxhK+8vEAb z!#&9HC;Xyg^#BRb;$q4c=)*L>`urH*TH4k8Q68wCvO#3wb5+Skr|{;-A<&YS)cyN6 z8iW?Lr3QEP$vlo!hNJr;u2a+#euc?Qi4%dYYXvFTg{N@d@2KL3(<(L3U)hswAx=)q z7>EguB$@G;o-Xp5N;uSLwN>)9SvSYN)JWrYZw33T@#zt$6|qM-f&d|$Bvh#JGl0~j z8S|UUlt(ZVB8gpU(;WW_q0<`&^nPA1vv2;2 z0pp`pkZ7f{vYlAa97quKkOLmQ8UEvBo8K+v=g%1*mh5m5cU@u6)Pf}@s6UmjEFd&Q zRcC@RWjcJbEJkqs6hp{3h#Z{FutzTg(C69OXLXOSt;pJkVtnd0?k!AUAdtV0SCy1= zWuu`1A8m<0?I!4&c`M+A7uN5gtgYMgB@TrL?lI2=B-`p3L{=@LVK~%RrvJ%)~1kDk1B8pwP!u?WnS= zpC<+m5IWlxW*3CfOV~oLPvrLH4m#YdhRA%!8S@{U_REQl(F=bzo}P=HmX0swz|jXk zwTjo|4?Qm(0Z~77eK{q*Yl+^u5SH#F$RzN&ug_$dX6LA!Z{U!!qJ|bj=Msrmrr~j7tU8v+H)%&E5k(Ag4Jw4!r+_M9Z0Kg+&7NA;%v+xnW)D3 zDS^o{3?%Kf5V=w3MotQ5MRvp{#9_n6gT)^6kUC^F93wEhy%WwR^GxFOM4}YT8Y6Y!3yh1?9&?-; z3J$rOA?7mrPW5u8jOx>SJmwK4HYYj+MN8;5&p>I_=iXToyfN<2@cl^D8O-M#-`nn{ zkJu%pi5!h`!1%!+@%xO?Jc{I}e)-u*> zt{Bi4zU%~ZCaz66<$lHnKb~2YIIQ-`o^}6z-zh7J?Ha1nQKL8q_x5SaGKHew&~k-%QBTU9HRB~Vn;WC56uTQE z8a|{+wDzh|)x_Q)G|f2E*1w@ zeRk3dA+sP~AzLBGCHuZw-p@@0mPq%qh(djAwIVm?)9R^hi_+k}s-D|lkU&jvFpV>VV7Z9f+qr%3FiwOVI{+n59ckEE=tZji1 zBD3s{-{_9!A6LI(9*W`Dpwpk zalgE{OJwzKJuDpCf(&ARvkad$E2ZSJzdae=N?y?wP3J&rI>Oc*MQLS? zKT4l=s3k0>p;pBUMuCCWcN+;Ou@`jW@VNpsL=)zFIvSR&H4`+Td;zwikC7L?$r}}g z+vf!YT=6Jz6YoAUz|D7GXdBPv3sB>KRe<(wPB>sGAnXk}%BM!vQWYX@a;SD&X22wf znD=JjMA0E96Xh{)1$*$=B!-__Y8OTtN!yS2gkYc(P}Y}X%7<_>s76cb79u4R<>%KT zCKKuAZAY_k+CNkVC8y$$C#0U3;14LXVHY~#7BXs8*wd$SDyX^AsmgiMilFpZSD<1E zJ(mffeei;Xb3SjJWy0E(fs-a;SB0rmF1GL+zUhm?tZFn3O|mMuM198)n2Vt4;B*ol z8oaOck(63W=t(W!%-fgqLy9GS$Cs88_pc2icAkD)bNc3x2ioUO?H@T}G{O$Z3DlM< zMdmIfUOzC;%Mw&_{5ny{0IL>>#>}6NJ!J_U=zOFKpq z<@T>K8l43jnuDx4XeiGbsnk=$^*l*l3h=#Tpd>59df|qLTpMhjNJadjCb6%aN+<&AQN4E0GAWQS(j_p0-28r8mzPEND;C!bm z86CgA5%jVO{X{}3%RayvTM*}V);B~lw|luHEB@imCGS&<7BM2~oh6lLmfNVlAOgH; z{1;1x7?LYae(*y%ftQzu2Cw%+Hbe4)&ffMDe-YdH(!!k0MXYp=FyVFIRk6j2x+Lr3FJ-8@z3Wc|#hT*Bhj1mqc6YqS}k zGD`Dzjt1Fu@xrP)y@-Zl! zOf=*k@&?6Ack2%c_mnm$(!LjXe--W(W4T}J7mH)3YC!9;OEVUHFJgMNRh9BRi+sY{ z9j=Kh?w+*+)eS7Jze&$mMT3Wev}wK5gVl+)XZb*Jy{88uEl_3{n>C_~A~#Z?3cCn5HbqHOxo z!?WnyGzYN*ugla`W7wf)=J1jL-LpDh+SkZ*4)x4=x^W5<+oj4_plju`ZHL%!PtQ6- zAvz^N!h2=(p58SbnzJ(vA!_v#bn)Rxtbt0Ql}7$ncL@p^FX8Ku%2s^ASq4`tyQ9g@=2t1is4iYB9n=Ub`{3F0)O26|g{ zPzPIT{3pg&tmE}syZEN_zN#Me-<0G(HdlPw_u$;)9p{9b#sQhyWaF6H5HBJ>etn^v zS9ZYSeSQ{o~=+co38;Sc&Orj1qI z#|2)_&D!@{nVR#A@l5YmJg+Q?V$C^@Di>teMm~(BgB3qZ$n1C%wH>vEX4}oO+#9ut zIZim}A`dcP`6zF|Vja5W@lZy;(0a~RFCMy%t-&h#TAY=C@vW7qbilprtjaM0EJ2b3 z@6-Mr=;iL#(#^>`+B2=9j|w*SI{0t*t1_aAJz76P+k|r;O|Hn!aw|wr-}1-t6)I1< z&feks(!iF93?gjWRt&Euk)_em&FKLk_)R4a}cPC|(qN4a(!J6g= z-HNU9P;1MGqs4jTSm_jz9HMM-KRc1Y6VjD04!4~O_1fcJR5C@Kg{5!P5_ccGm^aJ+ ztV05qINzn6yOjeq^!?~(>a+ZYrE#nz`U~IK%D7d|=NHaMrr6=xxuw|j;+NHPseV)- zd#o%_;E+Xt0q)5|whU`s#OZLFw5(K455zuXdwupWO^@NIN_<5n8qU)Xa6x7WyKPlDYt;0_z

GYDk;Enscq^h49$i}_6+XTrH>eVn(rYeaV? zZqbht+|;OroaaFI*3QhcIX+~}-9O$P4>)>1?~}Y*MAd4Oq+_c(d-X&UPNI#4|6@hQ zvq@0TXimvudKH_4H%#_D2jch!S+9D@he9LB@aH7cNo1|ar>o&xrj%{O?}{_zygdr) zoAq6!)GqcrK;wst_56<1lx2*p2TfpE?0+(^OFAOf*Ag? z0w=les-E12Y>h=6wax6&j+bKZ1T10ggzkg7ugtHiC1)kev7On=vBx4#JI^fwPy!68 zEvW}1rXr4L&vX5!0$8X=Y+0zEP!B4d2eMGFglkJ)dCOgrETOJj?aE!gywaB3kWAL{ z74y(4!d~=YdRI^QY+p#uCrhkYTk?`z)+cMdNL#X3(qD^k@L}GuK1=o~SMq0{mKJSL zAo1WGcG%I}uIy!|+kDtji#A|s#~+*&?)U(*WT}dY#Hsk!EbC*&M2RMZe^SxWl%{pJXt%^F=)P}Z3I~;)CHn(RT zODl%X*uT*q?X4K1@Fhhr4 zSy1c5UDvnNBzpCDD(6vL6<#;B_^HQ>BzuXJC!Fj-J17nF>1vDP7rg6cgG93%hm2%#9JvZ7(EqbxlcyYOxyM1oeR%E z?OM~kH)9Oxr|oF zj$*UW%D<$#c6}QnIUxS*Adm86`IsW%{P}tid=|CC$zs#%kXq0E{!SP^5cX2zR^K#X za)sPyh+Lw*-JRRoYqY4DN@}$H6#K(e1>wrqJ#EzeG)a`ASY1sHc&)>^)F?@*Zio5` zBnBFEqRzKP{3nDVp514!Vs;vhLY)WuX02i%p{B|tb5?wYvfmS-_SXd1PrFnROh-|SB$C|R4-M$2WQ^}dJnDL3rR_8Mc zYUEanw-S9x68Q zwY;DO{_omJ<%YSe27dqln8?fUHg14~?{H-_l^0|!#yw!$7hhpQmn>LmO8U+GDy|iM z(0KErB05o?$D>q+#b*%-qNRcfcT;n$=zy~vm)~v&yu2gmh!hTT2g7Wlz<$7mdqs~R zqJ-iai?d8Y+i_3!|7r-b3U8x-$^XZ7_y4>Qh4S%_Sjhc<8AE!Pr`yXRUTZ%6#Qu>? zz}0FV>AR*27uYGngCBd$2+U;<08aof0B?Y206qY|0Db`e0097j03d)MfM9?SfKUK1 zKo~$cKm@>ZfJlHSfM|dh05Jfu0C52E00{tz07(GJ04V^e01$we0BHc}02u(U05Sox z0I~sc0CEBH0P+C}015$$0Ez)h07?N~1C#-j15^N10#pH11JnT20=xmJ1E>dR0B8hg z0(cA14A27b4xkmF4WJ#M1E3S23!odI2cQ?A51=1l0N_2qAixm7Fu(}F2Y^w4F@SM^ z34lp}DS&B!8Gw%fvjB4dp8)0o7629jmH<8jECZ|ntOBe7d;wSo*Z|mU#9ZD|+ehT( z7Z4PJn0|m#{ZVWT`T(`Yy06H`D=Q<+FCxp!CnPT{A}c4)D=5q($IAy4d3gDFC27R} zpIuDRxYcc(AA8u*@Cpe+Trc0ULd+JSXdo&#YcZ-?$|?@#*tOYMD=|%q$Ilq=pLwNb zW=>3Orxx6|EA%TIL_#wS8dQ{)2?=3{mwqlWw3N@K{e_6uS38JHzN~Wo>}mEW_s!Qp z%DK2b_pF0+3d(f~hNSn&=QgpWGc~Y6T}(jbuFw{ZphJ&Gu9V7&jgR%=$Wwf^dmvSi zM(RmO=?mI*^I)_RFxyM4X>Is=ZRArPc-t~6S7OcrK zKCz{-*(I4I!St@rtJ0>W58;!pUW3xvq!NnTygK!b1|wLtVRSn&!n6^3c{Bp{PU@LX z>kl|47A`)gf0<|U4BT5!zZJG`^A6h>Vb<8*d9ow$QOZ*1^8j?(e+_no`^fXzYqM`( zXfQg-4AFNw&~_}~oxmE^q(st$>Jbhl!Nw(_zAs_ku0fmw82C z`&V3JRS1Q<%wqhsVp$)zEOorPIHS<5RML{K%q`~P)<^W!JT5yS*ev!?D=N<{LWK&l zu#E5M#E*4q?F~&LoG`saKOq98J@M5T3IFhpCl3-ec*;b;cpAS-D`9P1vvgx0C_&Ch z)SAMme;bqN>Kt2Ir*}6oQLb6P%V*kjG<2eBjI|SyT444*3Rxh9|HRth+QZvX-B-{d zZ+iD^XEyd9A6N!Y99GPNcsJZ)7T(W-dN%@|2QDAvii6c@Ap)ngLPD|WqK=5qG7xMs z5bFOD4pAH4mIX}55^k>zSE!Bj=i@Q4OUa?K-pKy2*U2d6a;(5<2=2(0uuhu2u9MC# zqIV27a|}@}hdi~5Z!36x44vJaQJJqS7yHTr2FU_tro(s^Uf&R#+??JiWTYCg0n{Zl zi&dNQ$9);1AmU|AMWzi5I69|9xm*PIKSVb zp@5sqkL|cGf}|6SkFgQgQW}(j*0kQJ4J%COs{36gi2+G^4Oo9P{Vsk~Kf8gv1+`g) zTf#F;yGJTlY(Kibacr6sT-YUZ_QC|r54~dUr=}Z{-EUC%oLHY-<`Six_o1t?dV}O@1y;nV29*`U=#E z>~ob9d4^49se&(+pLA~XaxMBgkR>yN88(JIS%s280#>1DbczM`^6BxD0(2TH6M)eF zCJZl&aP7B~AT+B`TF_wj#`ENvR_aW;d9iXQ;$6Y7daN>g$Z71p@kPk?tSA!7lc55C z$_Z*<@C^~-y?At=cqgo zHoO$UCo~tOyRhBW)LvySS!N^NYj37Nh`}FiOt6O|m<(Y?s&R~S2tS$Q)^%HM1!-=D zFpgoWS&(9MJlzT-tj5#tbl3_FoP`bLL2xwZEQeM`#-L43+UA!V#9`s!9s=})t^qRt}J(R^p5( ze^!6k07-Rg#w}Liewv1Gc4UGh)vFZU zl6c5?Bq)sn#)}VEVLL>tD%pi280jVYaSrZ=96m>otsx5M7}}F+lus7C9@5Mnoorj- zh1D3o=J!sz&? zDH_PXI8K!%Q7+cDo(#?o!@6J}j?z8+a-gcsX8`%O0i^)RU<2RI7egausf^GqpVBnW>PphR7^+Ha}$<-*dUsP;=kQJ(h z^Qc@i>nha0g3`7_{UzcX3oL;Slb6UbJk;stumat(cES2~p$cR0(Yf%Vx#+3V!W>~X z)l@$gKG4sVuNwxV3#UA|z8b4s8#^OMGjjnX+h8yu1@};<$X;wWD6<;ftD9#xxV0Ml ztQ(dj_`V2A#4^v_0#m6fVr-{d4je_uk)f!4F7 z265hkQjr2h2MhSE$D)txoeq4zVJ4GC;p#c@512rzwt%mqZ3_s&#zSXizJ<%POXS${ z`r_mx10vRmgU?be&Gkh_Qa$*O3HawqI1#GB@xJ}iS&x}JK>eF`p{Nh2hNE5@b4r$S zsvF}a>Kk*R;eX6LwZHi}!5@C^fV{cv<7K{6yE4)LI^tV+$LUC5qke@$$f$NTvE zvnYHT85ZbHVNa?ly*e~!5nC)s&N|Fyk*`-^UK|R4(NabHa|K6cTc+b9CUjkgA#}YD z3l#3dLdr${EdMY7qJk(?t=Bo>>v_cWErA~N`2iNuhIzW^pTCB{jaK-vM5u&jJr6#<8N#N%_n5WrxSLwvv zs*0=SKskT`S>A?{K+JZaSRh=xs1x1f?^jG{B?JQHf^5+)L}3-RiDI@=eE*R@=dbjS z`5RKup33NTJw@huWYu!>8jow6uv9lJ?5G--LmM_l8*wt1%pr$pJBR9Tvp3pYQlJy= zSJ+yXOGzY${72ZT|F^hx&;n*~>OJ>T!rmURkit7k7ui!9T1Yqr#Z;pTbra2^&71!@ ze<{L$pT7fgbV+CwVOFjbCDP9cu_3{`Py!nj#BjsaqrFcuo=10W@sG5JVcX<0jh~f@ zGvsTN@@UYq;pD;nFQS8aKNtrS9S}m4zXaFlIT{$4wYR%aTGA$8O1dxcOJ+mrb7q5t z+iR9WNtAT?@xU4h+J(|U;&*{rtMXcaLmp99kLEA&h$p10#R)+DYt&5h=coilrk;fWwoL3i0e{e!QL8-qIV$+D!$p@?ibc(2Vx_2m9Oi;4cWezN~Qi$Oobl^@d> z&k%ERs`LZ1jo;hgPOi_3i10N00{=N|p{&MNv=GMlYXQ|)o=7~w{uP5GPi%IWnllH8 zLFZLIYhHOxG^$Cxwyo|FApi$ zhtgXAc-tJ{ZFRZ+x`m{+%oF^?)B>#sy9F-4-`kG{C-smM{DN$nTX2EaI6mGHo2NsQ zY9FC%@+j<)#z~3pUBwr2gcKII4K^8Uyb~JQHHgarln??s00N!wLM;F?dY3&=OyoLFnC0kn=Zx3s=J1-h-`NYD?-mzHIE!N6X7gZw z;p~TXPp3-BrII5~&BJ9`LM&e*F>0gPXk!tT1gVyUK(#Riwb4DtQ25Q6hC}9fkjc!s zhC`iSVrx{xq+8JbW7A~Lb|M`t>UqD#=|IO2>7hB|fIvma^ceCj56o{tuc)aNug?z`V?b zsC|Xf(4W8;P}AJP1S2U+Nxy~rQHCM|vFi1t?~ImP#m%R)Ucw8%%( zrP7s7F2ceLgLq#NQbUJvAnISC)O7#XP|C)Mk`GWJV~0>`knijuMQUoPuD5%4_*-eW z5^mk%rK>FQ^6>BbP9DNxZ4?D!+ge2j&o6o zr1?3(M0R09h6sDrBuCQD64MHxqrkZ(E)gtpbJ76;&Iq$*qUn&o;u+AdfTo(tt4nbf z;jiVD_wUOqaHI{Eb0qf}`q?#1<^a;$( zvO68U8IF$eso~`o+UQk$-C$yF`6Rhd(cbBw0{RcelMbMx$HYH-4+yDR1(wNxHCz)0I{Ep&ToEV)E_XcL~Woh9-haC(%Dc_SSPc9$51m zxQ~RZ(;=>Ws!4O~x2>eicuVwTqsWKf;KhguuaGZl zCHX)Z+<|uNl(NZ(^Xrc8zdd-bbCDc!v9>LchQUTWK1(b#Xj1Vbj;^K>>QJQo{ka3eI^^HNx(*hI z<|&kp#5{;GvgJ``162YwyI%1qdkW)fWHJmt0R;05aQm-Lp%_$SC{QI91Mmrb0X6L{ zP*#?by~3S{iVp<8mRFX7JU@j}5>5ui)Aw$lWGT)qrQArd537Nn(cMDsPN8COUtl2O zXTW9y*i}eR99X>{o^bHI(vHE%dae2B#N8+zv6lx^HHTm@hvMH6i6PAI`-vRne|xka zX&@FjR3q=33^8jzKMTZjk*$HKS4Yg=LF&4{Z8w>IX6rf**gyZ+-Xp7cGVg{g@?iLx zbMJ=UmTOC@(et1|ZqJ}(plJ>b8~YT|J)WT^R+>8<>-)tni|mi+IhpY{3NSPWm;X08 z@|+N4wsF-#`kUZoC2feXh9>d-cQO0Xj2^t4d9}Nt#BS|(`Dpr;^%oOFJ`KGN6~tHn zhp?vP!D+HBGdy4>be-S)Dur6-*aVgXcr$en>9cb8SD)ca}sYr(JJ2)M+L|#|AXXdOoTEBssSRQ{8PU0 z_$WJ1z^f+xYXs0=BfiJKVVfH?OBI1(fRs(12iUJ#REpkyurPWZ_K%I(pD9WpGvfZY z8SBycUozOb=B!`JCP&R^=ga&aP>6q+U^2wwlVdl3#903Cl^0ley}Ey;pS~}=!3B)a zgI^n8*f|UAE?N-`rDYZh__+qE2EK?wo9z=vaYh1U#7m_-;7io{oEU*XIE=i(2HCrW zGC(k{pi20tTMc(i9P?_NAyXX6+MPBu?h26oODO&KR$0)p&bK(nxg}>$(Y=&H{6Vw( z)~nNYQdpqAbXgrGfnVk93>`(eJtLTuR$+3cH}UJlJFwzwa5MX^=%_ zN+&@rh7FDIu_1)bGPZW4e{M+s+K&n58w1<9BdZ&&bA~m8jxQIeOInA4A?J|jYbZ7K`w5`pyUzSfs`L711OB`0oEwCL zV#c4HC>WgQUTthvAVzt%M!!3%Hl53;if7#D)e`^4WgdQ0aKIcO1-*u#-T=cPYy*|` zqolU%liQySDxbBC11HXP34eB?1m#`ZH?+&m?c8yZ2Y})I8C~jtG#Jf6%NW*QNe{%x zGXymz?RfaN9pu7>M;3palh6{#@T!O6v4ruJz@zI0mD~S3N3aY2_c=lc;uyxnt2H2T z(VrZ!#5&hOWmvh}Iy%@5dQ$!40O7YZ$`AMd)B6YfZBxI*C}->ckF1(>Ln1=27vC_ZN9uM133Jh~w{w?If7k9yHTGVD{o>qm@@vG>{6xQAfz*naRl3<3aI56!HxVdoiP4Y{@MJVMeXWW^Pg7? zEj<4HvLAND_lf4I2yc$CY$>#BYg?_;7>77)MnHIG`oy<|UUOzTBZ&^Fl8@)uYbhSp zUR@lOQE&VBfZ~{VkpsD(ihO;W$Uhi|CDR#U`yJ zRfj+^H7ozz%L~$xIg@3U)Au?}O2<&l^v@%cH-VgoR-p2bJ3GmC#iX>dOS7kfyAN2Kgy1_TO9^{Cg`2wZxDIb9a|bH?|-j{9fqxaL+oEXJ3V`h_3Tw@~!fl zl>=?swVChd1$ciuFDUzUUNA7f_2frTOHAkE$c+_5xJjxDda~odX4LbXZ&@*`DmAhX#)1qK;U!xyfhe zzPdLkK-psCZgQ~rxa~+P{g}j`s`rMiecdt6?nArW@hP#uXOX-b)8fl2{&W{CM@_tr z_br0OCuzfJF0Dm1)Dg^rk3oj*F2as&atDH%S7?tJpggm zskF`fIHfM*Kc|@Z9P>=@{)Xh>>&5=;7Xdku5IZWvLZ5g7s!w@77ic5-73uvBGSoXC z#5J+0Kzhg4T>h0l%@`-Nd&8qr6XNdL$K{eUnLe?PPGu2!lDKakf{s_q(jmq6W-G++ z_$qx;Xsaa6SD&!YPo*_J8pj6VCPom&GyXgZ{CDgzC5Nad`{y~k{=d%IzpszzGIU~{ zi9POmnLc~OwJCUWydsr-Gpz;8tGnGtm>?gmQNe%wrT|XAi_H)-U<@0c2Su(Lai&YO zy32PKhTH<*DLk~Au%Xjy7WQ99+GDUvGLX}Jv$-w$ZBSN)4XZl|3Jv{RUQg0Xr1}Bv zXpH|X%ztZ9d2DAIZfsqm@Ha6I!m@#6A#T%v6dl}N6?&z{mevFd)&@VRR*ne>P^Ov) z#gG^n`~N{ezrV?_rC`I82&WTVK`-fcZHgABgh=oDC*ePnPukdjOFsRvl8OE;`4sxk z6Z>Dm?*kh5D)#DY&bcK)?H-kc6D{MXAyx0a3BQ0!c>P+ka#7>_ISpbmFUvUAOKV&j zw_N=DS+S3&XL~hj1r%aT`IJ)8%-LS%;`}W{ot_n(Kdov%qZ{%3JY@n(+UQ%)dDI%W zSf}XzCUBL!g)!$6>LS<(#Sh`VI~RZr0F$?vO1+P{bz-~GaAyuZ7=$fm0$sdfD$wHT z>vD12{}#SMb?d=LG+uSnpXcM6ve72mq>aC(wFD|}}Rqhf&#>$hv6e~uf# z#DBKco!)<9G&GBUbuVyNW#)kOwnzNzL`y*GI%-H8nJ~d% zbIXF+SZCOz(APDu_OL0Tw`+tml_6$X5*z)z+OR32w@ZS9Xy2lSp^!))$V}`^&F&-} zsSQnC*u`aqzF`)y54aMNJk|nf(|s;HT5z^p@xn)M%rIjH6G6ehx8ABoa*Zm2ZILG)eV$Wr`B* z@71`v#6fsbw+TS0)~#gMt7;M;(D>$()tpPPqy^P=nIt3Cbw=P3B{eOjAd00}}|1N7VO*6AJ)Syjm)DcH*GsUfR%nJ7u!iWBtRrWZmHs^gE2k=1?7vYR}deC8w2VTr2jc(U&bnsz27Bpd5z;oLBmt zr~UwTNg8Xv6BW7Lef~^eo*gBACu$)!KP^DF*RO1(jY-$-w~3zjHccGS;a&bPpS%JX zkt zSduC$S7G0X=lyq=Q%i&zwB6(%j) z5QVK9E=4YT4{l7qP$Q-#sJo~PLJ4IhxBdcO|Am1S-wrNU6=p&~K3nhl$OFZ9OnvU~ z%l~&y@bvlWoUnC^d8MkE*mjVKEl0(O*_2>~=ba5Zk`3=K|NiBX*1+9j%O_>Tp9gHx z?Jq%h>%TzvulK$4uM{et0ypv$58~!62XAXaII`{iQAR92r58n>0XwT;m(C>Cwv?bY zqDH%IN~71b_TfE!_85_)VG~fR{E3f_D$RALIqz2vU;a_Z7ra`+x`AM~4*ldpG%?h} zhm!5!9{!HRN55U_mNtSO^9_{Ny&J-BpzvGS=YlU{+jI3wdM021v2X3H6Bh=q-&mXJ zgzQ^Dg6nON&(6Qh)f*~}gAuRvG~?TzG56q!RL4nImRXo9Xx4>AnFJ*Y*Q()ag0+E4 z)y@FlK$vb6gufx+jvTW9H^*k3R>iI@;H6cK<}JYWvaT;=`ArjdedloercPWy_oN>l ziYtnPo2{aOLb;hJxO)kXSEUJ#G#7>4g%^vfy`co0S3zeJ&TGXGY_burpQ#tn-~@^z zwS__q3fn>_&##OP!Fv4b>_BDs-^#6#S9yEECPk&yPX}{Lm%SpVa98%1o zP1~X8EP}_BU@7$EII%T%V8UJ-f4E6=fK(p6>i3@Atzl}%lN^SoZTrdCZ zg>taVn^5%JxnP${oNWE2n>buuku7w#ELFSRIq*92;*>C|y zB2t^m)j|p{`=2maCe^-PA=x5>@-Pzz-FC+7;FoSjw!DS}fBY_k#y-#aeS#PC>bFh+ z=gDnXFfvnUWh)+8x6&I-F>%Ws;nV_phK18>Ph7a6BDoL->ot0APdxG`XNEq1nEu%Q zux{;8F6O76UA0+!4v8pyi;PKSa0i%ax%-ZM{@FOzjVSYcG@S~|l)%K}xYx3;#(Fr5H`)x{F zzvUDdYN7+vg;Vj&5}ffew&Mm4Ip4F^>>H>U=#^$f_6&WKL=|xQ0w@81W0m*v(Mblo z&oIbWzq!^nHX`vA=b0U_7hgacnt2Ozz|?tWSTmIS5WK28dI?l@8Lgw5X9(J2r40tv z<^r?sg3W7jJZ_EIK|Aib47u@4<5tC>?rbTbkU(|n{dh3$A^l@-tz#8JymJAqZ}ZkR zwjj}k6FaVkF85$OxdNowGM?~FI+UX>aODkB&VSf%Gt{ceue1t62WANePegVcvW3cFrllRe6Q!-c7T8WJP8$=HQVO#Gxjs;H7&(i~}yAVxJsah6syXtAq74 z=htbJ&}_GiCzf<&&(u6|1`!Ldr$;p9&V)N6=1mc+@MzXd+y$VVQqYy%P0)5 zxkFG1p8{ecvpNy`9!g$jCMkd1l{Mqij4nUHs57U$sjIThxWPJxf?CX6G1-GZnt}*v z+7`^}mV8Z1#^KZe$EBD_m7JwrT?P3|A6eR;5*8Z`b{wNvfZU1(#v*3#iIz9F^sY{N zosfh|Z+Hh&W?jHuc{Adgbo@$2-?3H^0+?E0iAT>Hq~Hakm)!H-2Rz@6FCd4xQu<=V zW0yKIfPBIGaBw>{^4dCKFaGF+WudErUKe@Zr$;5zZGKJTex>?EnJ}%Bz)#-M`hyYxbi?T1nYMk)K9h%R}JSvLlE1daT5nvN5Q)WKul?gMo>**>)*7ws*N0vL8K6#;m_bbwh%#WeRd+Ekyc|v|piC*;|UBmCXNjyp@cTzVLb7W*?jojH_OtPFF-jQ8bUP zQ~Lv=p;$7oo4Ef{QoY@p-g6IVV;|*A!T6g~3d9JgN%~snbSfbB1_kM7n8-!Z4K>8^ zRC&%r4EF9q`!pKHQFYBRHLCFdnIE_C3Nhv^gH$$SPHs?)-*#nLM#-mXy(g_iAzIWC3+@80St3 zg_@f#PKFnoiPPa;X5vyekV@nB7B|=FH}LlFC@a~WfxFzu3`#05S(Or zFJi2s6CGF?p^=Sx_xxHM?(`~+5wQ&=BiTT78l}cKy#)*CIZJ+#;-Nw}fQ$$D`$RwT zdg&Ryb3c=Ao#X>&7Zt(7+1_P6h%05>C;nyqla%=gzLP<<@}@Oa zK^WZVg$X|zR+d1G?tK~AuyWdHhTeWG>*4hodYME$o+$L~tjReaB^=9=O%#q%l{+T2 zJ6cF`m^;euB&J}TVNmVV5cC^UnpMLgr)ErQHHFsqx3NRqH(uc|hFAnDlEZM*Gb#*4 z0e#%n8M}yd7IuEvB-Bz`*L7Co&8}TU($e$##$4u#8MbJJ3H&T(t}Iy@RI3rpi4m0j zyYY3sD-7ZBDUn9R5OcO07!kd>j1E-L#ph{1Su_C`6Q5^wwkx6fZQ@@F(u`0mwQ}C; z8_K;-8^e;RZS>I+p>5DYfzVz*JQ~pBk9Mfg*u4@+x(LNu$&#CKpy1q~JV5kDl!}6v zJ=90ft>al`2s;LYWc1vi+pnME;IpTV?pVYKG{E(syFT_BejgI44cbSYFFLkTT{~{T zAD>x-CQ)78r7!nJ9qTl8E4GK?JTts;VOj9|xUg|EeJfDFZTWKVJUvq&blAPnakb5# zgTaQR$WpRp9v@R=N~N7k6iz-twX$6}IrJ1;EHBG@A}%4~v6+xPY#b1ErQAid$h`)x zKMNj1aW**j8ix-^i-hkoM&I2q$QL^iK*kLJG{|Y|evJR7-!KcFv-O$60At zU;5*=NYe+6pn*+kK7gVB&60BYXH8oMWa@mr5aB54%Syl7s(yE0;C6{*(OZUit6tMp z!Un`k3-rJF;}JGtq!ArW0x3K5eQ66ddjdH-<#@=TIrU-?DOr@}_98e4?}F>%Jpytf;mrgQ&oGI%$h zt?b7%Nb~B(mXftcUd*;^WW!7Y!47^UIe@qwh3*y?Bq9 zOS30wO)=#=|JABuzV;aSOJ6hgcT)l&=}M6Q+?DVr#_>s7V}1zu1h2Q>_|86GZb?w_ zHZ4nCm$v+l!t-C9WG%#eYK-w+bvIi9yG?SpjhqzSf3BtdY>VYBJbPS`D-eZ ziJ>FC@|h^$+0L>lC150GTSuDkWmni`(@7%g^^k)H`TSQ*)WBzX=^y$RbjDGd)*uZN zs6OB~im)E^%l=^Ku=w!6%Bdu*rtz+UzvoXk-M4^4hzhhAf+g5Kp7agrMAF&gj*&k{h7E2DSxF%tB zXwP@}vhG&|oEWUi{;=60#XhvrwJwzoU?WpBf@&u5DD8|L%8YyY5^=~7Ux zXJOnA;`z44v*%3JrQmCYj`{Z#dP;{uk;elypvqn~O3USJ8l%w$?YaPXI3z~~`fETR zIkjqCa9vQWNRA{$j2%!%S0y;-Nkw)=j5)9?Yjp%EGbgp#@r*dxBfqp;e4`$2{*AhG zqh#>kX3q{bH+EM7&zgUA&0AoV%o+I|=6esVekvBv-nDUdcbGKw*e0gM+!o?3HIAw( zdMeXx%dOC@^%gZ(bw%cR@B>^3?#*9F3UIu`j0Pbk?rQT2$Fsp z+}IuJKau6Hyd$v1Zx1cMdqXn@LK}AiHA5h@q^?cPa0t!FVRQ3(2#x+$zWIQHuW{b) zsIUW0r|i@hC_LKJ$^@l~Mcyk5l={N@Sxx?6Lp{~%yBc-GZfF*PKPWLJM zR2hN2+et%IHs(G29J}?|FLBCfY2O&>+Q@$xkND+%<$zX7kIdhx@o^7wjg*Q- z8$FHQX2R1^doCNhVe89|6UGbUU{Bi|bA-#aQx!%itolm2?!m%17IU}VW_mM#wIZat z)B>v)JkFB3qdRGi(I=tb67yV>*QksNdVaSV#gd?0_;Uq<@O$szaFXtKu6}m7{dT)J z{=E|w5*g{UwKIfT`e2?*#na=D8FNY=99KU|1O`bcs#FmZb-#1+3y9x0emu@tZS@BN zfn2GCte}(MXr?FT?cjV6U+}${C(Ioq0lFoQ8UB*)K36gVQ-dT3=~{`z7DtNk>F5>@ zRr?H#$esY|Ezmkc>y8)l(hx1(s{EVj-?2=pQNDOgW_+?YwpPcw^ z=yUWRuu%MCCwM$^vF*z4y4*-(@`so@^N^S4;<15c!Vjmh*@8i7#UAknjc&UM;t>dE RkL)4C!?GG0ClJ=M{|AKj3-bT~ diff --git a/thesis.tex b/thesis.tex index f6a8e57..03e3ce2 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1507,8 +1507,6 @@ \item \textbf{dataset pruning}: no product spaces, no ``very far'' outliers (reduction of $0.49\%$) - \item $h^{1,\, 1} \in \qty[ 1,\, 16 ]$ and $h^{2,\, 1} \in \qty[ 15,\, 86 ]$ - \item $80\%$ training, $10\%$ validation, $10\%$ test \item choose \textbf{regression}, but evaluate using \textbf{accuracy} (round the result)