From 427c70f7915db2970cbe83531ac500daee8da209 Mon Sep 17 00:00:00 2001 From: inexxt Date: Tue, 15 Mar 2016 16:32:41 +0100 Subject: [PATCH] [ticket_24] Automatic Log Analysis using Machine Learning - paper overview --- docs/AAlog_paper_analysis_ticket24.pdf | Bin 0 -> 24044 bytes docs/AAlog_paper_analysis_ticket24.txt | 41 +++++++++++++++++++++++++ 2 files changed, 41 insertions(+) create mode 100644 docs/AAlog_paper_analysis_ticket24.pdf create mode 100644 docs/AAlog_paper_analysis_ticket24.txt diff --git a/docs/AAlog_paper_analysis_ticket24.pdf b/docs/AAlog_paper_analysis_ticket24.pdf new file mode 100644 index 0000000000000000000000000000000000000000..4d8b6417e93cb11318becdd4b5c886598955c807 GIT binary patch literal 24044 zcmZ^qQ;aSS?55Aywr$%uW81cE&l%$z+qP}nwr$(9zyD@0Hredmn>J~B_2y~Qk|~IY z(J|4pLX!;^4R#H-4CX>J6EYIo8(Bf~@-oPn+L^mp5VHIiQDP9Yv~e+YVi2=2bTJh% zHMTb~<>!ZXc5yN_w1xJ_s@CGNr{zGNd8Q#}Cv5k0<6y)zm@!}h0cK~+@^o(m`$GQx zrbE9Z=Gtb_dxNqkZT3LDe7mSLlGnevI~^qmgX(E`4D);rBl!JzJCzUnU06K7I}{*D zy^TdQJiD4aeZ39KCAj%B*!%l^>FD%uEN{srxBqk=tDLm})pKk~znijX&c8xo{myxK z>({Zwv}$$%7utE~!r<@S29=wv`Ba!&;0al1*y8;5=QMkN(DS1Z#*E@^c=<2AT8RVH`dKWV-1%98G~uZ^G0@}(F&Ul?Df6f5U!Uv^sbb{heSB9n z@wxU3$kb8|u_o<=iSEov^X)Cng0YBM6Ge_ic6TNbyn1_()+I|jGLRtb3m|My3r2qK zRr~l=x&{yT6X)83DyvkJ>+EeX{#jzgP5oFTQQH{QR_nR0liDSmBvK>_*VM&R;-8Bc zTH|{P)WJp~5`1f)n1^kJCD@AgMkmLmX5K|S2OHN6CvFbBVN`=@BgJ~$>*M}UiQPL8 zOkg~b=UuP}Z9OW}dwu6pRB`^01+rI4vqzM#K!QE(c{)Puip!`-1|=cR5-0AIlo(iK zlc#l$2LoSL)EeOgslK?c9y=#f(}$e~!);g)7!i{xlAKa&jFCGHq-*I=0huL-mOs561qlXW)zv zuTC>mAL7q+DCIc^J`aY(^1Sl+KmC>6ej115k-K=npEbgTGpr;(UkD=9i+uN3h=q2gGt#@Knc69A9l7e!HJ+nK%1-4 z^ojQYz@u8N)rgnEH%FA*;-r5wy`mZqkW!Ir?@IF!5jH6X9N6Xm_QMAP;{t(upe!e* zO+!RU-);N2SZlc3Ca3U@Y7?wN50!Ad*?2xfc1z;DiMj5+OKp=zy zRGOt>|B0@J(;mvZj@XFiyTAyJ)Gq~-P;3;51gzL6(22c+sDtN?ed%ZltMr>PYc?fN z0?||SUwtLv2*@0aYM0VjBU#>oVzI4&A%!3@o!^6JRw2<~FON?4bT2R$`P}Z-V-({+ zQi`&*Ooqx{P$|gOOL~^jnh%m&m=h!2W`t#^c#*)ByPhgYCA#MXt z%`Y46nD&*3nej|r*L1jW0Kp>Y&%=Fis##%uL^#1&CjhQoiQI`gz|D_N|Vgm zsRmo2p)4H$s>Y38aoM~PW=KLPHWKw!4cs;_dM6yoZg9x9>tRETM6k&6p57$sj--U6 z9EmT7>Ah`a^gdulLfkxY_46an6Mu0$W>uf-C=OSVJ_S05nOwP(Ly9DwmCLma{0&>`x8<~mFX1k3Y zHz?|GpDmdWkS>>(GlC12+Mc?nNJUcrG*sgx z`(%M(S;z%6Bq!)C%lN#i_5U=73$w>7NjK3gG}Weg;t6q}p5WXlv?VV!do3wEYd_Sa zS9e*=50^KD!#Qj%R%im!Lm|?PMpl!^u3OaEQ~!-^!7Tq%SqX$|HE-ElNkpIRjGVBv zL0i=sc+<9!H-j3_5Y^p(DdGyY>{Nr0lDOx*ruJp6n6}^S>_EjYzNJ^Tq&=31RW%|a z!uMu&CU{jRgTq5ea@GjPo)PP1Cl#L<*X;OEwYYG^%4ptgg1}~;t5R}o5ifggY({)N z(mK9T?m#>NN{D=bUWgQ9pVE8aFUbL~+)dxkDKZM;06Xj1r78{RCYHyW5YxwOL+rJGx*w`qvv#fX5X7MB*pz|wOjvkd6n@puV zIf}JXGE`w!qRZCqiU-UM&Uduz$>j?1?2^dl%o(yoyt7zYbjliV))Bi)aQ+c%TRb&7iq-P7-FkTiaq*%8!+;%6KLV6GU|UNe>^D2r z)t@mT)XvqBEV+C2-N6{G5obdlAD5$9?731>!n!^uUTame^{`^gWUKvm;}O&QAQ?}$ zUGCf0XmGHjN^#P;tK@D$%&xnlJ9g&?11H6On_YRSb2N03ZI#fg*U#=N1?fO?u-!>t zR{b;7)w9a{CkMT0nzLkl;VA(JT%T>N&j&&Egd31iI6PW=!iQih%fX{e9eu&R1s7*w z*->$#OOyE48rswjrXOrYO&2XyW<4WQ+Z1`AcO81U=R$ROo=tLOli$>{p+=u;w|b$B z36Sj={_L&FXN$t8R_ddjAozS$t%_!^`J3B>c;rhboJQXfjo8rb@Tzw914d{?*F<|; zzUAfE?)r$EsCAG!`1@x_o}3oi)XwDp5a566f1nZie^~K<1Tz~O)BmLZcaZJ>K}z=j z4^sXgLDfnbLc-(X$X)eMuNobM%26o)mE+KShVag?e)h?_l zJ9CZ^D~Lh_o;m$#goq65PF3 zcSjJ?6M$G(z0Qo>wvY$P$p078^%HG=K>I%4 z(WBbEt)H$cDX}V#$Y_iQj4!)gO=dzyF6ptIP2%3n{SCWlSjBP~6Tntk1oeSLwB5+` zYk#BTy1I9n;g84|eVy1hqU!!acjfITP$EDiqQ%I`$h#mtpbn|2KK%$0_5uF8b`J-& zc)iw(6b$rpNI)XS#w(jnXw{S;XU~{1g}!dp$dg6yo*I82 zZ`GeH@ZGx(LxsotSC5cl4F5rTA$i<_T(Tj@Mr`akmmo2hD9JyeCj~~~IS3i!JiClE`_m}pp743+PNgZ{VxaRK z?yCO-Gq3xOfV=E#!teQSipX6@{Q%+)ck%F}IsVi^&cAA)KskK_v@<)W$mQWO%_FL6 z_?Eh_ev!`x-V(LiArP_HQuMQ-rC1uB0)wv0^zY@DXGF?L$w)h#bJB;$_SJ?a+cJx} ziY!BHN^%M+`q62K@M7Q(ZJ26Hnk;y?+=7)zfFdE8Z2n13pN8LTS{#8Csgx&o6Esj| z4aidz7~+x-$&5yxxG2n4csZfjuWXtWwsLzUl#>B_x~>+o1vJ>mjvXwR+~3gyx2Ri7 z*lNfqU4_HeGDjkP*)&EZSfdC*<&}<+KFlZ3jFF7is?Fu4#qei5wzJdFlb3U8=`qD_ zphEDdXtYr9SRq5)B}h7(4A&&&@u5sSV^7&iuh9g+W+rxb|6b%mf~WC`LScsJNrh^R z_Gf$baF6u<_K}u$_knKre*gEX;g%#6J_0HENB=?$K7~zoGMm0x%>~w{=8Y%j&5g$ zaKMQ!U#D7j2XhBEYMgLq40d!Uc&03d>*60<0 zXLHm-&)Hy`I(Sdtmr~;zPD@>8pY&IYy+5MwypIbG{JqaTS82>jCMufVPQDbxr1=$7 zu^=AJxGC&3O8%HL^*(F9JgaipTc|CgT6)tx8p`w0OIVh3v{OAgx@P3tg-1U!j@RsG z3kUYPK@)^+9*x@Wk2hPbyRU)F)Tm{@(kez@_5k22VLABy(Z!)30C%Kq8<2shHh5_X z&Gu~a(^54#01aGBW*i~mb-uYVnj{uQS;=g@k&IDL8duB z7O(5qX=u4vB1f_0H)zEW`=y5yP| zvM3Um#+SU8$hCrduP4xMOlS3B#q6m3(p7%dM^ClX;et`in^YcWFnbz})Dx0yRjJPR z{ly!Wp}tQvf>NDxsw<8bl6&m>wRQtNeYuUMwZX4FEC%hA`-;Dl65S+Ztu1T`h1?ig zNaW#huLy>(w=wUhB^H0N-|}LNdbX7liY7jow(7_IuS+OI3I13x2l5WI))I=G6m8dA zi^xP}8cpS2hMqHYICNr(f#6D3fn^#mSRo|J0;6ciJwlDr3U`)q(XMQOUJt*%X1$&I zEOgIk1dKW8uK}!(V^+4p7o|e9qYS}?H6}|iHfLAP;N_wNT$r_^`9Byb>6>*jj*y=; z)rtnYg>ZrH1LmZE%|%y~ac5V?T7Nqf992kq1U@kfG0DWSAON^NGL`ebT%VW@9#hy& zCt%h6V%QQP`w>grj_bL4R;W8_m(#*OU-%O`dIuE#rByAT&a8p5-WmzAV%db62%B5$ zdem)ehW+uEC}91bYpV7j1J{{#@Iim|@#i z4OoNveZxq#i3}<#CcxopV*=4Gsv6sAIMHt77>sU< zvrkSA;F@DIz4;ZGenBsohr4MkLy>=2cBFmV9kvIS{5ws*2S^SZe?UjTF17Nl`a8hF zp)q&K<9}d3)ID0?3>65F!e6j1Y!Y2lsUoA1nV>e3)-Sq zmJ~Z5DMO>(_S#E~d{kE?090Q!EQ@q9g3Z^|NRTcpcT*v+vy%2MZ-*@EDq}?3Y^0Nk zyNS)10DJo2b{u7YxqEr$uxPNM810=9!7v;A_25~40PVUb@wmM^!l7`J(c6OR^oJ3s zt*Cf_*4Iht!W;-H{|t6b%xpJ1?0$gy{6pqO;3=fJuSUvcxHP?@SjehfkRZBf#N=a@ z2OspCM-Z<668lNyjt zCLb-#Ov<})RWxHhUq^->HW|mtBl!)+kM?{4D$>Dj+cDQ{X<@ob{{Ee;i$PtIdYA+F zH;7i5#dexQ;+2lmv8p=&ktrMZ5+1A!iLJVw!?-ipnbsFs4OPN{!{-O|t0l;YRjw1?4ak-5cQ z`nNW{&|Tx{+_xKX^%T<^F4<7PQzgAyw^v_Ylwr{UuuZSpz%Esg*_^=F{>aSBpv4yiX4~$1H>c)c?VVxM#?A9ztha8$z(bn4hh`r znI=9K&lrSWKp3VLl!4OBq`wz|9faoyoEDJc8eAl5`wMC*h66I$F*?|l;mU4T+q+qx zr~ZDw+x}efx~n|)e)7$es@p97diJ{PU9ab82_LTlKJNm*#>3(cEGG^vI>Jo%IZIwT!7PH&A&!U zZN+6}+?Arn0tTgC-d$WhWO9Imz3?D%c>S!{LI2pnh_`f3Uw-({!#hD-v4c8pcw5|l zwAoSQ0dq%A6afqY0`t)W2TFLBgUQ2hjro8!%$Oh=cp+T+;r;D5`@<(0T=*gRk@FW$ zn~1?kPL&ayLskKJcC>4X+|o=Q40DDuIDXWye9os4BCN1b&fvpj#|$yisokM{9bCOw zVO*~61HX3-BS|0EEcOR_!io*y|7Iz!r|O}{dt*m0-{eV_=VI?S(A(WpM>onDo<8^? zLmu(q5XZr!d=4OuSx zaU_J%^$q}56_QO1HSWykK;6fyLVINFsHMG+_m@Hz*efbf^|^PBA7S`hc&kSLr;5fzW4k0~6apDqV-b^frUH7%55 z(splC^{~nB zo_)$%7x~xH>JnawjK(v~O=8TDiTF82Ku3R)NaJekj0DJsO~Btnk+$@h}6cALY>z6eMRnQ160vN?o zlPFec$Ew1j?Bh_5<)UM9AGGlD3)7~d(8*kmj+V+Cy9E!Q)L|LCVcrPosGL)*EQU$9 zf^N2eZR=?|mv(5U>Xj|v)Jn$Hir>wo(>?fbNCG_s(W*&6tsTaZbQS`GNRNu(jS4jB z^`I7YIzGFiB*fnQpSP=*Kw>3O$6|}7GlTi{0)VJdd6lD@UK^V8}~_+PLxH0*q!kx@D$uv%{v|u2PQt`gWW57PCz! z?Os{uaq!;eelDD+&6YL2y6mQIJCseEzQ^-UN{2@wHs=gv-c0t54V$I`aKyTRLGU4P zHhAsg>eZHAw;8t`xA78DM7*W|Bk2ur+o_RN{#wTT&~<(`6{o8k&}#{7il`;X5<3_c zx64Fi3FOQ9%{Igluv#zG@E!+S^&&|lQsJdg;s<%v3otEfLtk{Z*6_MaR8cSO0eNS`~OCdDH{4_F@9;>449}(7mcx*yL z3Ct7n#NmgnB0lkA-wNW0ucK>dRUS~)=Y1)Jhhj)|A2l;{+5yklugc^vL6V5Bx#E;4 z!s;f+X(umF(r==+jV!bP;h+PH0Co(ce(2OkZeYg7DAnnyTw<`Bbh{zLG4H@ErxFAt zm8r50xnR@pUxx+@OF2I2sXwbI`n4O}KWCvJGyuNh`#L(UtjDXyic+a*ugz?w?~>pK8mY z2htNk%`7yHY&!?(i!sx`#|51j7?w@k?1<~B0$<0k)~MP|4HGCebTiP)45e(Zww1RT z*_k|@l|4P3JF}LGs2qp2@#rCApNU41|YtY_GR;F$AK z_Bc;2#S-p8pgq2RTa|<-aRNjPFXpT;au!68XQAik1LiF6O>T-pywr6K=(ru0=z&c8 z2}a+T=F%H$f6uJ>L&V*n zOogg_H-rf}bwP?V)_r6d7}l29CA32dEZ-e$zUeUX2b}-s<0SYm8P{@igfDpB5Ft)N zXizBAVB6nD1QHCmsknV*>H?&9lm~aAA=1e^a*4z|3D9&et=wU_Om|xkkgQYO;1jbQ zfqD(UF)EI@cIoSEdt0%Sn}?7?9iwoCthgkfP?#6JmWR2 zJ>+7?9i8C?ocO@g_MQD;ZrFP3;GGNROYr^<N355^Ct%r4|0l-`-( zTL@z&Mktn{L-3$s#dy*nKc0eHupwy|pG<1l=U`Ikej{TROfJG=;{NL36H*S;xPyF} zS}@LlOT`;^^H=?yK=64!qYs_3s6Xb$z#J~Pwue?5@l-IQ&VlSVyNrDBZ16b@^~DP# zEmSQ$LWrhmTl}oBUs@=avkW^Ka&6eY!kb8%oa#7Jd1UG=55k(;^J!OD9(xa8mw*rD zROo<1^EI>%>JG@CW+gmk+2(u3-Q>wQ3yQ%!wQyY?95H+xe7IYf*pSh|05t&pCi6WZ@@iH1evFYZ1Tz{H49WFNoVNY| z%-m*uJjrQnXP7XZu8NHunKjaP)8ro?gBr3>Y2czmg~8DUC(QQ}ETWuGV4f=&L$1&Z z>M1M8<7FReIblv{TLDF~0+u%u6kzYw6TEE7$Q3Mf`Bri9R%f#?8*WumZuD8E)Y&)s z+jGn6TOQV@)zQPI(qWm{1ZjA5GdJOMdTLuse%jv3OcKwR+5lK|&9Chst`I<~>J-)e z@yYB>TICaa=+#K;t&2Gs&ZHH<2}E?lmXxm1$}gJP8vVTm`5$c|+uw#b`VOc+OzB0m zjh%&CBg0Z=lQSpI2O>;PitIMbJN7T2HRu-BO)DmJ7&T#qXw^5S8W=aIVcbs(Eu2b|D*+`ga$lBoKF^< zd@!35CxfQMmmF7Clf3guWPy3aPb~n50}|*9^}z06Q{ppM5_tMg)CsA5_p_H}9zQ=w zallS>tPt4emJTKr>ozHJ)s)58%Oxf)ndH)b#(mVg;w6Ei6oF$OiW}pa`)2uM=528Y zt-PAzN}^_9QtllN><_XM@cn#35E+KF22^f*`y&dk%GR)H1g`{d)K)U-;{$6zk@yO2 zO9wNuoyziw!y1;YT#prdNTpV$vs86vf7mU^UV%BHsRClwv#@SE9NfLlYgWj0aprGJ z>rrWK3x8V&`E&Heuqysr23x{E{f!g8rWU!Rrwl8=s;N@X$9Jc|Zx zy@tc>gN2vB1J@Z8t~2_&gU(!#6ng=;^uSFR&>A?b;HuD61D63lM=qOu8e778?sm3p zvWH0*AKM7Po~i zk{doXp_rt#x?6(XVh5HvlYMmo-MFfRLzXBju+B)eO=z*>%l9;BcTExujXTlSEOoB!5w4B)w{AW`n;uCxDNI zvd3H1D@{Lc(#KLBwn&y$t5OOtckK_d>k8}Cti8XBYn9VB$Lc8i@Y@uD6qUB+Z4(!b z_2lgo!%eJhFW}i*%6!8|&iHHR)((sR+n}-E;0eOnrM$|56+m~jyQ*oEOi`V1!`G90 zdid2f>LM>ai=k z1+e;ZV_xGDER|cq42r&`mez_YAgqOsrIJrD+4Go~RX>IHAN$*I+iEFMA-Ku|&1DuE zn_(Q|P4RVx-zQ&wE5t{8I{0M$ACtGIZ&@*6>e}D>n(#apsi(jqZ*{)a$9tV$cuNEJ zo0nQj)$b5(=yMe0vm$ZQkElQ1po|4uHYEAz92bDOKz%Z1Y^>Ni!6NZ!NF>#x*d(&9 z2vOqj8JBm<`5`8^2KayvgEV8hR<;5{Hx`t6_iyP^3w{z!Ds3{WM=fiCoJ6_tv*TBJu+&Wx9B`%FgsGDleCEak`kj2A>x>~q?M9t2A7d`l#@0@FbkDObf3%4Lw_^KP*Qtp)t^l@IiO<}{Q zl8Ab0GThPP%0-3=M4*X8{CUaxI&xR=e@)AnmT-(Vg-?Y}g;RwF3?OkKt%URX{KbSQ zmSCfaj^O57=|lITA}5v_cysYGs53`S6%}oT1l)M@(Y?iFv2#7R?_D6pgf@j$z-0VQ z0z^NHVvIRY1926AVKp9@a(PQWz_l zDq%jAIRkkYR5!CGzYJ0C_$t35odfE_EJ?4;U%U9L*YD?j>|pv)VLwfe`t&qds^QuH zV=Axc|vhJIxEOB|aC0qnsz-JJ3h? zhy^>T3JU49cWcld$)bmYZw!ZWPEgVE!0jFXohm)k*RQs1dPSsijcQ@}AnxtoSPn*P#4jOpytXMj$qoK} zCULiJmw3@Nah(r@hXqo$xVl2W=?n))W@;u_^iJ{YDoZN6zOyY7J8k-L;k3qC7m5ivO+eOE3G*` z0&0-!PB>Bu)@KyzA_Fyz%%hRm9Hy>V1q(AE1S?&Pyr!;le)+_x0R|K!%R$#^K8W7J zCAzJp^QAM`2_sl{?&M;4h$vN1M`7`VJ61!+5eUz zg8R&9n;x>QPmr}C)JkSb29|k7aDiO&AG8=?3{Bo$hD@Z4gvh*Ff$opG?VGX`pA&c` zj%9)u0@VQ18+r4H(RnYcCwD8$rI+px^|(~yDV4n-sH;|yPAJvEafpUiHb!cxp7z^k z>`AE})<5;!_dESfzehl6UhX2J*XYp?EZ*kdPx9Wsx3hB%z(SyY1Un$D)DJ-$wbtjv z(ybx%#M{9e%(U|p>SvNsY0!@8R?*cXawL^(P1xLUQfGxg(9cEAWWJ#l_d$oWDRCk$HNwvlCOx@(r(RMa}{0zt|p=~ zI~C`Zd}Q0xu!WA=xU6B!b1VUhwJK++)7&GY89@xBD}sn#8O&=S zsVdr#bL|sCI6*uYe)xK^mq764&Kvj%)y|YnW_rX(TN0l0$%h?9d8DAvz4Z_%@eyaL zq=rkSk?8uM)KqYBC zv1Xz#-Y)+B{S{&3&InN;9=O84&yzq4-Iyw;G2Ts-f#O}#sj3`Rjdf}yfOc-%Lvn{S z>h8Xiuf#J7+n5376!f-0-PA1REYqMDD&!=#!$63j5OEZU+^Z-w@-#P68RA0EH`D0~ zr;7+WD3h`oja{XNLK{bhT|{eDyCzjYCKs~Xpy!~SjX?tZQ$h~M_!=G(g*{Md*_tsw)PR^A|Ymyzu^|#v&xx=&#vBZ`mXmD6b%2mSR(_@UB2m zlUITHi3Hjj!bnCgBvY(We^R*}73O`IV@+ePCiGqt!fhbgGk^~h)n@#vgLFR>@{-`Q zic(e+wZn?v-2=Gf2g*yTi?TMHXM_aHU||5Yw#a6~tIioz=!Ta%))rpX&ZLV?X1o4s zG~bNxMDMO^^}4){FIUSC;|Q^vklv)oN*4$n6t}cw)6ghYCcj|aGzUe;&c1Tg1O;8@ z5M(ufkvSdTNzUQQantsCi!k6cM|aNLj5EZ(_|T~;ciCuf=GU5r+NzThB5bv(?MOFTca7}S%Ipi_^!?`n zIU1DMxq)}2=<93XDuC`lxXd&;p1C-R+LX@}Vv>9!c%VNn{dFu1Y-;gqFqjjjC75l- z@H@|RNr;Y;Pva@4GDUycW0=9H2Y}u4RY{*Cx7#nXD>}Z$r7@K~X>>tdbdBo+`qw(E zUpz=$%*wh2x7Yi)6$2An%C>%8%5HU~#K!)hXSo@#2mj;Xh)Mf=ikv*P#;2Ao_Gi;J93u#oq4~w$xed^~=-RitlL-P|gtR zCdAOxPgh6%tgpmy`#HS`z!3P(^!?=bvRiLBssnlp(6#m&3#8ES{mi1tci9dQ1Cm(DqLUx4?DUm(RpXw%2oNU}*o*EPRPq?&+(L zBE3KO>9l-~3i0Ki3Kv;!EiyJqmlVsM2q`WDgP%>%Xkp>#j6B5P57zvXtOCvq1^YHN zh=B+}#Na#<2?lUQaj|VnT2A~d$jBLZ79_l>1=;E*#2P(n#p%w9yn==kL5=R*DdqESWwI+?AbVUY9M8k@B?9H&N62Yz zr8*n)*$)zb zw`H=|&wb7KrTJ_7c2#My;*_tH_!U=A-hVp3i3mp0!rUHJ+QU|iaw$q8@1WK%4Uc)5 z_S?@4&oflF{un(@)CW4cvV-##;$O%k;L^xpi$@!eI2IZdZI@Z~RCtS1oMquHiMZq~ za%sfoa9MJUXGKBtB9%4C^emJ0x(1Ej&-x~E2-kR0)t=OLsr4&p?cW@nQuuDpdOahy zXDfUH)`CVKx|~DIvAbJRl0h0vet~DFIieP3^Vpv^Wovv`J#};n|JOm9Bw|NJ) zx6k1tL(|UoXi^0^{aN7#3G-IJSE04&0 zRS20}VIzt5<=99T+>7`1lAU{67xv%G?Q2km)%w1(r+43NeyjWC&;PcU?|Lu37mGe; zodex>k@j;OCn#2E1fV{JJ-+;6K75coXE?9f&$4e#Bi|dsS`~b*$A)A!_2elJXv76+ z#;lv^Et{2&X`tknn2u&F^*qwPZQ`!FC9Z5VLj_-0p%UsL6{U{%?{qyB?I+W&&Dk8h z;SJ6{yx+%Go2tjQ6ZiP-Zslnv15a?6+t28Ol~#C5-EkSc1bzt}uQ*L-jBN%dFn8VG z<=J;HD2cx=oUV-HSRlHRXmWVUmHV1(OY$w14wAZ`D3pcQh$tfR2U7JmGT4?2oZ(^b z1&V|?XjrbGib#oN^-&Q8q*mh3*u?OSO?5fnEmnlHViA9u>5x8?%+V?zj9f5n5*6!8 zfAHMYDzXtX)K$NwmWejwDBvnz4PnOcCg^A$R!--S`+o?RJyN|tyJb%G_VsSfyy(tk zDXRi3z=C=bj{Um6BUA%*-po%XC*w~%78!@m- z5|9*{EETyhY-XDN1Rby(p}i7#?gfxo0|2WJb-i!qtvwFs>lD9-4&tNxza9_cv+(Y7 zL9st4d)2M@U(d_2w<1_=*1xxOI}(wT|DxQe#i z$GirlLAPUumGOXYWa6NHOpi|-q;#-L>CW)ep*xX4K(c-;i$Sc*}X(eM5=>HNP!Sx--lk&a_Cjl72TT zq^M?KH_F#mOhAkNTqjo7@+UE_@upDWlkf+456Qt(&(qp=rpzn_!lhV{*@kVO)NMAs zY^vboDISVYtJiW8?F9$TKv8fcev6dH9|g-UY^SgWr8`qhgj448nh6KUnBV+_;NdqF z4w(@&Ee^Y-S%>j@qb0~!D|QFP*Wc)lZ4I2sIp;)1#ln|bG#F8oYW6YUn+!EwG8p~4 zBTSu9^L^Jk0SD(xNtvME3{FhV?eGE`tc`JPu85^0Y#d*^4>J=Y0tEdnto^ z;vIUVU!Jkb7B%-Is0geG5NvhtlWqlj0k??YK)g#~%yu?_@q~O;#yv;#&j}WAVMf9L z?r_R3Fz(RY+0V*?P8T_Xj23warD=Mo8>^ODDuCF+SUtDJ)M~#Ok%hCIru&v5pB0Vo zqWRVU>ZSfnRcWJCnT{GnWm3FGq;1rG(_LpezA4OH@##&bacMkhDTCG>r?a+xz1emN zb5~p4+UmG)(k>%f>dLeInBC1x!PIbgfZSSdcb7Fy;Vaxqro*$-X=~XTEh6KdJ_B)9 zqY8*x7NWpun(fu_H`k8tf2RXh=MNeTOrHownslei-!&IdvE^2L=31cc_j%_{{`_2Y zns#!-@o=1F;`GS~|3Ye+R7XA?dORSD{|>Se!d7+3_07?se<`$zDnHEiso02$`Mo)8 zx|aCOj79Dyrj;l0zx_r)!A9CSyidISktT-27x-z^FRG8W?@25}#S!JEi}v^Vk}1hh z*OQG3zq1>$X@2S~MKKrg_{&SR@J(EWVHmnbs}zQbPPOu@Z-prD`LP~c#``03(0Xu6 ztjn-Nr<8q$BoD9;AIK}S@g@vt<|F2(^3yiaW`4dNetJ&#G# z#vmIYR+uMOBHJF_@M60>iqec|O!ta9PR7hdWQdHa82;XOaf}^JtqW%W)JDn#QcObm zhia7wI6+)_i-f`GgM-|nsIFb-lhzPH?3CQ2$)K#SCY&x}jGck8>;Tz{4 z*AAZoT&a35?BAPTkaUD0e8ss+n*VLWzGmcYgCe0+p%4KAAqkm~QZS=J;iJ#yEQXr2 zkJxX}nKBmO6JweNK@B2o;_XTP9UfSZM;5+{9v2Op*Lc1?NssT9;*^cuVDtF!VXQzIM7H$DE$Bt<2YxXMs zqji`7Xk(ZjveOu6}E8nT-RNvo} z8b(d;(Dp{Tw33w2{-3|oE9gjKpdm_G)8D^)C6?mWeAAyeM3)8eoFXp+tHQevTt>EO z>B1u=KTyO3*#CBYZPSlIxi*stE*z8J<*vi75iyd&1 zeqsFxzxL&S`*YqK)LF~X|A}6`GpIKdVxBh5gf?8?t|2X1`xVJ-9&qmE6}X3`?&SE& zzbI2qnFoEmReTIxnDO|7njf?!-Seh17I0iMD`q2+>XM5ea2v|F1%>1D@*c z|5vhZ(ohNEB9ziyTrMGdQ)X7yy|^jYUb${Ein1SjX0JlFNOnTDYwx|YGymV)^YpCW z@BjLJUygIm=X};V=W{-X>+8*$8)wnN&cjQqfoWmaHinuJjfRHMFPU%n+fdFW|B&|m z!M=3S!&m336MJY|Z!u$>Gw`L7FLx&Eo>{?MY{J?8e%c(O*X7p>8$7NP8#l9E>0Y#r zCmS24=5`Pl2UmorgeQe(g;%?5oUeLZvp?lAi;r;IW2Akz>A$<3eg7%vQEV-ZhoPM4 z${DWi*G*wpoY?2dc#`9#mb1&w=_|hZ05d{|bOi7OqB3DF%r8cG^2 zRc&w+^z5CFP9OEP>m3Mry-V{Uz&2#~sn~}Pni_#W@-r(KhTp%5k<#?;R0ulxp6J~< zBFmfiQ6MdRbf>xdFte(PE=!G`a%>GhD)LP1b{WT(v}ZwK_t}z^0FxWFbZb|gWYR>* z7$nUX@)n44yornV?>K~Vab|y}z8pY7S=oHbiQyhbkDR@)D9brhfV*(2pppyv-4eyc z6kLH#P$qhpuwTYL%g8dLvNC5-j+y8&Csu}hv_E2gcdl|fG3oB^fMiVZWW%oHU`hP5 zgKFjA;&5CgB}(jo&G~rRJG>Z`F1CAZzxz2}Aq!tFotY&a-9B$pWSc#7vw&*{E)a*C z&%1BN4s!JE6H`?9^7Q&juf}!pkQT2L;f7&U=wqUsz)qZfzh)zKm1nGCm#(VhBJ+mg za7ZO~KaDweW2G`)xBW{0=GbH#K6^Pkfne>bqSt)pIAm|`rI=D2VO1~dn&Go)MVo@X z7Cq52MeN|x$-6=n1;mQ#mh!&1H@$f-Zy1BDAH+qxpgpFFl;^hb7}S&lJ@Di8y2nOy zh2?ha4fH?&+Jaq5a@zl0>hSl@>(v_RAa(7E8n9rGKyN z%;`I6viHJNyd@Rm4`!LUZDVFjd`j?6=$R?{(NkT4y~WHb%AfQLHauF%Wdp9gg{&N> z%Q8Vm6>oa>HWKRnq7x3+pS@HgjC%MP&0Ii&0~3c_si%8&*Mrw9YFW3n_oAw4FJzEM zpH0kdd7myg67nRW!9{ml+#lxfJL$*b9wAbyBh+#YE7Z!im|kT9ND$=)@yR@YAdJH5g%*SZqUC_6MX1g97JA*XXT^q zq&rJ{8Vk+%zGJQTiH>hrM`EUkqm;GFy|mCJK+HL|m-Vru40?Ss&O}PoE{^S`{b3pH zyXh%Kr^@KViI~tT=M}2B=B>F-@=AnJt!bvVy0Cacm9t)>qAYHIp$2O&t`OOo!c$%h zshnOJT$pMaeU?3UsubcPEBS3oj6x4Nad3$}H|9K(Z+v9aq2H4n#~&9pqq$n)XY~S- zCs$ZwM1-8jSbEhg<_1$Ahm;9Y9*+z6v&9mxzOGL5(LLUQLiVLb90 z7h7YfO^wds$!9wCX!`g9_w}?fddKr*I*C$SX6IXl1amSB#+eyXlj0vd zzEYSJWr5+X+GUf|Wp|V1X3>tAb2xg14?oa*l_dBe82@&n!i_~+YFVzGv4A4Zeq%sG zxT5q5ZC7jNv~?*fZF=~Q>EMQq=eveV3|LIfEQI#G-4gJ5_6x98BNf8eGwnf_D4iu= zQIxB)5|Ug=16u7hpX3`4jf2G@V4V(YVo2>EKXB4*8FF7tI^me7A zOB+8n@BbDtY}$`;`C0=itqZ;9$ldZh{p-EkWSL5eLa%qTgZ%tVbY*41&?|`^>{EVm z*SQ+Mnkw98V0w*xlV84Gj(4y>PoVAfXY;08+#R~^>Ppv9uDY0!N}DBTa3bGzp<%I3 z$JQW(t`09pANAt9_-)5xt0Wb5vqjXGrytll|+EYe3Y>27C*!qn9-A zCO(sJ^Kq+XcWNeEN9vqMyK6r%pS`^l;+k*1e&D@$O-y@Olz3NyVYWSOvoax@LEZiB zrtn#-Pkp-`%JfWUhHLr^%lf|%O}Pjq+zaQeY*q5lsJuihp(*0D={sPTzE`*0v?!LJ zA>yC#o#D_gK}P947djE9^J$v+<-J$4v~qkU)-bvT?UHdJ`* zG%ZVgUFm{<*Bv!GPQ=_++sWs?T>e6F9j9il+muoHO&!E5d4Jux)h&R2XnL#5E@kif zuI6Vy3-oNyKJe?}b5uUhm%iK}v(LY&V!1Aheu+Yf7_J6(hK3rx7}nE93}1Zhs-UCM z9hDMCh(4Nz6v||e7j>Vb(l3kLlL*Sqk@{*PDo*`FG{|D$pe|2MhbraMSZ{h^<;K<7 zaj2|(z|~?V3yyEgE)8Z1yq)hZc9BhCJW{+lg|e2Ngrxaj!K!#)lL-B zm-H!k7aGJ0y?vdE_GFR1XcvOF*lSE=${YX4Vq@F2l5XiE$9N?@mRyJn7?CEa~Or6knsSad5~4g+BIGG3(8*LZ%KGWvE=Mhd-QjzQ*_ij`xB1YCs)o$L=?44dL(8H^ah^ETf zzL+}Ebo%1s&#v0C>6dxl`D;DaENVlDhHFVhWvP72Qp^s;kk|WCYjB5Vc`oOuwz~+0 z*uPMV?n&-?&=1bH3jK2T&aGufYl5}(UYOOv&Vr;7gNT}YmF0qinOlO2KQxlMD|sf+ zuRBe)G;BlY+Xfda%GSZ+ScNxBUKf89sHOY~H9fkVdZxcXQ0vxJRk~Y_BH$>xjC)aZ zVUAx)JX>jBFyHAPH`vE5Z+c}l2Ht|))(w#xcv~}KlurAsPlexcw}p0gX?A&&ZC`$W z(GiKJlpA=qRMXwQ3 zm52)wI(g=|ZZVkz-;_t{V75!khm;obaYr5TJ=xm_;4RSgBb!x5O|8)etK@?bdP3kN z<=2C~S+DOVTVv-kBI?Y~YGdnrcb#=JE>PV*!>K$AS(nOWSQzd;$c zqwMW_b(mw@<2pJX42v?q>)u+Bu~*WvWb9z>jBAf08g%-~GkZCNmCG;-r;}X{-JYXx zD11cp->1!X3&{v%OB$1?=S!*B6e0%GftMM`Ar zfNb3?HGxf_^+bLwGV(Ed$s>FT-_WMxg4rH5_7YXoq;%b}!nLciCaFGW`1!BbYzLiI zetE{5z*$6vYs6hLmcHs58CZzL^9*?i%DX=Fru;6PK*%47o3QQVTEpB`T7XraAFQTk zCx6(uu{*s+9=Ydl>MV^M=gV^hmzk6P=qy+N#XF1V)w7cULImOSnZm5 z+49z0GIMQd&9{PbeRj4An6puZwaoaBq>+}d{Gqf%+Sp}Ht_SX(S1>;qy}nO3drWH+ zOJ)~z$xOD<6PHxmjJUo9ap79)$m@RSa@|QP-f`o4&vpeK?rYfuz}P71v(siY)j8DB zl%OXlmLz9;N;V^^H4eGpCkPR~G4ioOc@B4CDj->TsKr zHpS=(_9kOWxXsxnOe5Tex2*1)*~G>7J5fsdvbJ8Ta2vABE2&CDa#nQd3j)E0Z%;%8 z#58I1?X)mot$1c}IN-qHQNu6o;kUjX<-v)s^r*`U4*6W+Z~66<-AXA(B0CMG&z{e| zPx0nfIQf+pOAB3i`qPmlZ;!274^5BYx0;oBr}vBl=daFH!j#pY8@njCm0*;CobZHj^SSM<9_tK5|nK>A$*d>=r;lrp`>+PKlXh3=(J zhm0cw*8M#ffEh7f`(lqx!6_P!g==zf;A_d4i2iSAzWK?NSPknI^LSQJ*fjUj3^5#v zP5Tdt^brRID%_W4uDSG=2Me!0e9k-|_=b5jr}$N6nR{_P(lS|(h zBm|c@l@gT0CVf>a$o4>h&Qwv3b-o@duEi!p-7pjE|4P#bc2q?^Vv;( z^`P0dh5TWb2cPj%J2|EX`e1J=gWQSSnpG;3T!|r3TW%joG+7OW-0^Y#A^Ai1q5;}A zoxoitm{TT5ClKS(RD?!s2N4A+2X#Gz{2$+ve5I4My?CtONC>ae_djdc8WnIjv7sfy zb8OOooHKL$kwL!gP`4=jLeUD}jBC*f=2gB%y+Rh}5B)b8@1APp4;)Fnew|nEe!Ii4kpP5f%66hQuK<6s@sl5I#OJHkY(w5;0<9NUhp!a1>S^r0 zDo=MF5#r~UGh-wAvX71(e?33j5KTlc@T!|SvCkZL*>X5bQ1rMgsS{mzC(?)&O7AvQ zh78ZZ5rq$icieoCh5`+nLkC5by*WPfp>~aDx7Na@*&xC_`{PQ-`#p}G1;|%bWP+>s zg(nf2?L`Y$iIa@)8~e5nCvO!a$v&0|sN>6Q?j9Q!x5D9=pv{n~HB{E(j|*!hmwU6T za$h9oJolA%Hotf(G;bMx9a1}IzAu`5?4JMSc)ea5(kY$bNZ4CX&pA-fa|2y00~^Xc znk$1kkBFx+ewlwR{E%n+2)=%@Ma3PuSKUYX=5-%4tDMiwx#zsk z63PzNosBBo+^pT~50-Z8cI$1ho3i`vQiNU4jL~(n<8v9uyGfIS0R{2&)$2*e($Q|^ zv)J-ghP=Cz1g<@rXA4d6<4|7U9ph^^)>N;RI^V-*%JiHJEh^i$>Dw-Ba(eKEXU4Sn#lACo>^DzI^QWNfEeGO;R?@-4uY zAgdTW%2L2fmtSy-T{qHjtNdJE<&tJvSon3j!`I)1gDWCa!ljR-JERwcm9>i~@{@je zZph9SxU@m*-Lb2W zZJvt6Fpz(sF+uBe+j@(scRuYm8$WmQ;*oU*Rl3n=M{#Pf+~UpUFwS?TY9H)qSXi3% zz7oRfnN6c#Hh%dK@NGN!1fjsBFXT6h})TBtn9&pC>RJrGDhm~!eK}dMAFz=4udtf zuqVlZAnNv*r&?e^K!l_o09wVs!6eKqH4uP+^$SEx@UJQSfy>GdNBj>|R)gP^17o1) zeO3=Z0fV)myU4s?_LL_df^FwsMlYWOkD-H+#Tqr}w;t6N(^b0-@n%_$oCxATN) z4nqzj8@J~oHiym)FX1NfR(RL-2zR+RDF&l=zAGFLS|T`g9zJs$xA5jOKQTb3D4X?)Eed*V2~`aEo|Lh z?RV+*D6iPk76Y#_#@T8`Apu9&FzL`Msut7kUeeA$fH#F zA$h#d(dEamj^oQpgpbs>H|aN(O^(MQn- zBnas{^M;Aq5`@>HREKfp9aZfIn~-s{`PFt-MZ)W&hr5bazs*Cei#H*^nI7lordHkP zGF)@#J!Fo3x=D=PgmilxX_=ZFcbGFB@}E15YgnE4*}vm1=1d=OM84p#R3*tmUqvWI z?Y(a3606{$(T-(*!|=^RY%->J$AvaI`=$4{+i69t2csKkM(&)>QQY}lny&wHP*8ux z)1OBIqV8Z~PdXnOwhow|R0(4{3@Ir8|C52WwX>JBFt#N{ypr)BZ6pc=(Z-_fE$s9V zNPaLs6bgp(L%{-YAh1bo0fC>j08sPsA%6BrH4+B>N&g!U2qB093j&2iBk>>*h(CFL z=|v)uKWU_~f7t<%Z2en?B=@uMBY*ltvP&wz{QFr0V*n567mdUZ6NG|MfDfcLNhhiN z;{D|VKk|1vsSk{UNIsMJNqoO_@j(T_2EU*7zp@aRl%&)^5DlEB6_$jr3??1jDPi%E6hPE4b~p!HQ;Z!LMq*ZjC}YrAV^SU@89>5-siEKo5LsKCgEasgtquf` zv6Y=QNrkBkL{c5de~wsFjGC+jL>_Dp1ed5NL=tciuwVx!Ax^9PEz^-ql2SOJ=uda- zK>y(b=r1P#fj_+HX&ND0BAFeDTKBXJ1Ap|_wgZYY%d=HJ%C*%o64 z0^*ww1Zeu>0VDbO5&U2?@b5G@0?G$muA~QS^#=`T!+;?CCk>9|16J!FG&lmdj{il2 z!jVW|7yiiy6MzA0|8E-N-*(|J6yiT@z=8Yl-?DHN|G(|R;V9I9$Rgl^z+wBRT?9f9 zxP*Vv>}`#Kd)by0l