From e17e10729308af080956cee6c6b74fbd46c10759 Mon Sep 17 00:00:00 2001 From: Alexandre Dulaunoy Date: Sat, 29 Dec 2018 23:18:21 +0100 Subject: [PATCH] add: [a.5] decaying indicators added --- a.5-decaying-indicators/content.tex | 117 ++++++++++++++++++ a.5-decaying-indicators/logo-circl.pdf | Bin 0 -> 9230 bytes a.5-decaying-indicators/makefile | 2 + a.5-decaying-indicators/misp.pdf | Bin 0 -> 7938 bytes a.5-decaying-indicators/pics/param-ui.png | Bin 0 -> 50515 bytes a.5-decaying-indicators/slide.tex | 143 ++++++++++++++++++++++ 6 files changed, 262 insertions(+) create mode 100644 a.5-decaying-indicators/content.tex create mode 100644 a.5-decaying-indicators/logo-circl.pdf create mode 100644 a.5-decaying-indicators/makefile create mode 100644 a.5-decaying-indicators/misp.pdf create mode 100644 a.5-decaying-indicators/pics/param-ui.png create mode 100644 a.5-decaying-indicators/slide.tex diff --git a/a.5-decaying-indicators/content.tex b/a.5-decaying-indicators/content.tex new file mode 100644 index 0000000..75d9952 --- /dev/null +++ b/a.5-decaying-indicators/content.tex @@ -0,0 +1,117 @@ +% DO NOT COMPILE THIS FILE DIRECTLY! +% This is included by the other .tex files. + +\begin{frame}[t,plain] +\titlepage +\end{frame} + +\begin{frame} +\frametitle{Indicators - Problem Statement} + \begin{itemize} + \item Various users and organisations can share data via MISP, multiple parties can be involved + \begin{itemize} + \item Trust, data quality and time-to-live issues + \item Each user/organisation has different use-cases and interests + \end{itemize} + \vspace{0.5cm} + \item Attributes can be shared in large quantities (more than 1.3 million on \texttt{MISPPRIV}) + \begin{itemize} + \item Partial info about their validity (sightings) + \item Partial info about their freshness (last update) + \item Varius conflicting interests such as operational security, attribution, source reliability evaluation... + \end{itemize} + \end{itemize} +\end{frame} + +\begin{frame} +\frametitle{Sightings - Refresher} + Sightings add temporal context to indicators. + A user, script or an IDS can extend the information related to indicators by reporting back to MISP that + an indicator has been \texttt{seen}, or that an indicator can be considered as a \texttt{false-positive} + \vspace{0.5cm} + \begin{itemize} + \item Sightings give more credibility/visibility to indicators + \item This information can be used to {\bf prioritise and decay indicators} + \end{itemize} +\end{frame} + +\begin{frame} +\frametitle{Organisations opt-in - setting a level of confidence} + MISP is a peer-to-peer system, information passes through multiple instances. + \begin{itemize} + \item Producers can add context (such as tags from taxonomies, galaxies) about their asserted confidence or the reliability of the data + \item Consumers can have different levels of trust in the producers and/or analysts themselves + \end{itemize} + + \begin{small} + \begin{columns}[T] % align columns + \begin{column}{.40\textwidth} + \begin{tabular}{|ll|} + \hline + \textbf{Description} & \textbf{Value}\\ + \hline + Completely reliable & 100\\ + Usually reliable & 75\\ + Fairly reliable & 50\\ + Not usually reliable & 25\\ + Unreliable & 0\\ + Reliability cannot be judged & 50\\ + Deliberatly deceptive & 0\\ + \hline + \end{tabular} + \end{column}% + \hfill% + \begin{column}{.48\textwidth} + \begin{tabular}{|ll|} + \hline + \textbf{Description} & \textbf{Value}\\ + \hline + Confirmed by other sources & 100\\ + Probably true & 75\\ + Possibly true & 50\\ + Doubtful & 25\\ + Improbable & 0\\ + Truth cannot be judged & 50\\ + \hline + \end{tabular} + \end{column}% + \end{columns} + \end{small} +\end{frame} + +\begin{frame} + \frametitle{Scoring Indicators 1/2} + When scoring indicators\footnote{Paper available: \url{https://arxiv.org/pdf/1803.11052}}, multiple parameters\footnote{at a variable extent as required} can be taken into account. The {\bf base score} is calculated with the following in mind: + \begin{itemize} + \item The reliability in the producer + \item The trust in the data as signaled by the producer + $$base\_score = weigth_{tg} \cdot tags + \omega_{sc} \cdot source\_confidence$$ + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Scoring Indicators 2/2} + The weighted score is calculated using: + \begin{itemize} + \item The lifetime of the indicator (e.g. IP address vs hash value of a file) + \begin{itemize} + \item The lifespan of the indicator (short for an IP - long for an hash): $\tau$ + \item The decay rate $\rightarrow$ Speed at which an attribute loses value: $\delta$ + \item Weigthed score is reset to its base score as new \texttt{sightings} are received + \end{itemize} + $$score = base\_score \cdot \left( 1 - \left( \frac{t}{\tau_a} \right)^{\frac{1}{\delta_a}} \right) $$ + \end{itemize} +\end{frame} + +\begin{frame} +\frametitle{Ongoing Implementation in MISP} + Setting thresholds and retrieving the information should be simple and straightforward for the user: + \begin{itemize} + \item Automatic scoring based on default values + \item User-friendly UI to manually set lifetime parameters + \item Interaction through the API + \end{itemize} + \begin{center} + \includegraphics[scale=0.15]{pics/param-ui.png} + \end{center} +\end{frame} diff --git a/a.5-decaying-indicators/logo-circl.pdf b/a.5-decaying-indicators/logo-circl.pdf new file mode 100644 index 0000000000000000000000000000000000000000..62c9239fbfa4e3807901e3754db322c2cb69ec09 GIT binary patch literal 9230 zcmdUVbyQUA|1KciAe{r!F*FP*Ff=ILAVUl=G(#guhcqH3jdX`}NvDJ$ASfXSNQZR& zz;it3e81=Zaqn99{&Dx3wd2|EyFd9pd(C<_qneByCl62nld*26;u4b&zzuLTv%wS- z18}K89jsif0sME61||Ri;F5#cxkBN0M>|tjs0`HH(E^GoA%W@Q3Wu87V|u1X8!5gL zXtG~eXFWu^ew{wp#+CgD^lWxhRvTonaCX*rY6>t(B+-!H-~tHy0}#vrizYKiLn|F5%Vq{v9Hb2^Kk6|J)GgLwxUKY!xG6QjD`yfc77R?F zdC%KJ%W@%N`Jn*)TmhWyX$>W9F z9?Cy0#WFmVI6fazZ7SU74QSA=Hyy0mEXC88@)H+dR2KC7DVje+Vd2?Vrq}Hm+|*UY zn0AR0nk2ESZbFaaFY2z7GFm=Z<9nU?LpxY8>!|&9=lIyg_cn%#B-N1-vr8{drmB%K zA3V*VOeGzQuMq-f4H`mNtXaEJx^BN}8F0(QVE<6lgCM)`uC9yzv#_c=ke*$<&C=vF zWP;Mdcv;A5k3Kn6LB9!4ApX1mNhb6i9TA=&ZDnd{_z^EbF9J%0K$Oqt24?dcdeM;c z3nkn@i61P_O~ct4e zHP{4MnV^gHX~{m#Vl%;k8~LP(B458%`QYls+bgbj*7P4(t>dokLd1B2tMc4o4Ym^}NzI}!$5l&ZOIzC|um?tD$Xs+1Jt8ltXu@G@N&xH} zWAS9p1n-)p$dA10md1$g-UT2{$i~MKFln9BD5}h?;?qmR;9IX!x*49V*GjU^e9z`+ zaVf;6Ge9VLxcxSK0$QqI_OKKDVDU6o8(vv3`{6U*hgY$Hc>!fXguZD3v`dMt9Q~@Z zL){`BM>8z>qNE^TBx;L|;vP5=h>iEWRa?0)z^KvYiFzCH8^(94+LV(V-1J!yj9=$9 z!PVOU=iXPJ*QmnGFj8xi%k^rKjnB3spb(BeQ_Zp*oqk!8GMj5Hj?@<~528?&d#Ctq zhpgRb-W)dxBs(PYlW@+#ZNl+OuEMw9f4Pz#5H{9U(@|tgW2IPrR{1 zy|H%dRAE-%We`c~d84cLy$U^^EvON9tf+&)%=hrER=!H@Lo)e|Y?H@KbV7%Du&47ri7}N%#Sfn45*g)9qA} z6(MP@3Jcy&p03~=H1c%f)Z9RB#AJo$GLL)*&8erTTI$I7DI`A?K-yTkfJ0aujaIB{ z)R?gmwR@;w0C{Sus#*a%e&=n%yv+t0Udd7i*$rX~182SSad9t#qEE zU81X^9i6fx^UP{d*hiZ1+@K2%(l_B!*wRq+#y6Dp!g(gta=lg$jQiaM6iDa>-5 zc+^lA_n#PhAs;%zJ%@A{$#KyLT*+&PTshs)7L~?IU_w$S(v~&pXMnHG%N6UJDyfOU6C?+%RSC4>= zNLcd#_co4WY?_SnIOF|}%y%7;If`z0S*z$Grv^S*`msM~FFcVfRoIs0iL<2S3gh8U z>}@g@!dYxP=(-AfhYv|2ja-qz0~1&k7>N87L9Hllpc5P)7xA|z*KGqG(L=%jP1LRZ zJ)Fy*T|oC+jL3;iu<>g5$}ZhjXNJOD@i zIPe|0G|2*ny3x*R;HAK%a}6C^Vd4R*rEytsjLu7 z6zolAU!8F)^J`)IX3yz-{esRX?1Zd31eICz!d!zV2sDwwz~>=%Shtf?IY_zj$~k4S zS}-X*^JIVW)1w5Z%LOVDJUqkGK_{8ReVyJ8(UbQC-cf`;OR@t|vsV@LT$$blic$-J zVh?R)T|ZAda-#juqa<^>1ti~EWbAFS*~ioa=0(Ctaf9Gl5~WhE->|Xc1%jG>WNGb2MVb zR^MDA!}Fh{NIic*Cc^gg+Q9HLLreXc5V8M20 zB20J0fkS&pg6wH@N_U&R_yl!~x!q8G!(vq!C8k^>Pnzf#B2SD{{7c7>I7qTpz2DfT ziC5$D-Cf+h&$Q7bFX-GGm&ve%7+#DHy|_?7`gj!M1TNsFjb29W0`CS@8!l--&B8(S zo|m%|beR-$SIMDO+CXqq4=ID@j}UJ z_3H@u!br2kR8=)sJw36X6SJt0CVQSI@5m$bXHx}MRbSO2tt`(tU(UrH{f-Bife$;3pZA{_9f#xk8&_T82C3+tldTYA!#&2hGt4$mkCJjb$mCBo37>~A(mUM@V zqBIGMk3yLWo?;Zwa>vWhLLuW3eo6zf-O<5b!z@ashkK&B+>U9KygeR5zyYWtJ8;cKLL2Ry&8jr zq{8^gGi>fzW7^&nc*T*gtb02ICYaEo=-P?sM5CRTLlKFf_*K?T3?5Y^KS`9Q=;F~v zU6ofAZKJAFjsw^2v!~5v07v;Sx;yDsr4Ms?n#OII%u%<6ZoDG$wRC6BOA;e{NCqCi78zky5!|maOPEcz&KAvL z?tYDr{Qc|Y&1(KS04=7vm*e7e2YnS8P19FFkp!gf)XQHOnVYy~U$vuu8p&wHfVX^} zoHx$}q1;ArA%rBEr`xQce{I7WRBTiO+8uJiuMB6^$VjJqJ)HGqqafjN5-b_4I%IEZ z8tG&sJrqnw?V6Mu(G}{tVqW**IKkfg)PPZ+DFHSeCJ$l;`Ix9=~>8>u75HH z?bw^SjnFhy8v|l=7#O3Be!oN`1EWWpbo710S_nao{DbLtxk5SR3#jt}5MQXe?UN7W z=1xJ2JWX_gI(s)#&1>Q6n1<^%*f~~&l8qXcz7`0t*@GkVKf5lSeD4~{bHmanI#j~a zJe|(tiov_h)H?%yDhaBeZKDW*zRJlD%1^pvrYAMJK0Cyn!J7qL6F9DERh zgF!$ORsJHNQGz!9cR8A}p0*%;{1bxo;QjIVOA7&LapDZi@lrco9@ckbNiB2e`IP?OI9v#gV+>SR}9VR`6R<@m&0T$x`*k(3n^2&?+`n&U#uMd4o6};ISGz zXiYWM?$XN;VNt)B7fUn5|Cy4=ovhDzIi~>`j@WBn+b9zgM%B&y{3WelX&x_06OF^; z#daW_TB+?D9Gbi=Dc4CBGLoc*WKXVayiZ6nV;^F$6X3?}N@ zv$whjq*K02+elqtk2$I@hB@d;)RUBR;*Us58u0KQ=%(3!&Gt1)vO=?G+D{%U20rs>3TDcOO zuLSZ&F`t1o$LAsbQ5Ej=5tggLMP(E+#Q3=|Ik0RqxyEhG9EGR{8j$jGCtUoTdH9D* z^vKofNfWlI#Eb$3R_fR%fsI88-7K*>yh1Ee{!Pq6EFqCi^upmzr)H|k~(azKD0T=0}cf)qF`wzc2nZGK>XX+$m6=iX$|>T5BlV~-WMrP&|9`N|SE zIe-?Iv|>W+I-Dk+7`PKo6ENGkGM<;(>)41UJVP!5QKlqB@Jg1_#nqY zBqb=8Hov-(j^=>4u?Y|v$foOG%4@WZxIAF)Wo+kKAUr{bOL)&a$;Vl%O%h1q))mo6 z(c_uWOZ2!tdf)I79B_czd`=_T%prqtKKS$l+x+>pnrKIANC+}z*RFhVR`>EH(y(Y&M_`{OBWJXnqpy~pzW9}EmV zWL|N6-rCQ!_U^xu-BYG?ZafU+cuU~8BuZk1-o}A?zQ?~)TC_f`w=sn*kUGvm3GrYOZQ!vb@3Tn$c|FdySB=r1q&FqP z6cLK7WG5`Ru*l}q0jeSzDQPI|w1b@f1H@r<(juPqAd1vI`%-TYf3ZOy&+$v^7YItd zrNP6nqu%s2%+I<8{6e|`PA4DWb?Fg^*&8?ynv|0F4NMoE699M z?_|^Q_0cBSXKVyGyBnltFj}Q;SG88JJp!KDtsk0Pv5e$4(eaz9H6Dm-$iS`rfY)MH zv(&eV#;5Q=iXM8-d=R|JdAadf)??S|sMnp>YSjkHNs3yu6YQen5rp<}ZbOXt}l&DEDOr z2aPOJNt6f4$tH@0rV2cd;y#jjo3PbPz?Rf6hwYILIqnGO?jIsBerqXfYjhf+oXBM{#C+P`y4*!%0uf;=yeTmbPGTi{efPa zK<1JrRp>dd2+s~ROrHF>N`V8FbYP`kE+A~{S24wOo@}IjAxzFaceAiT+*mwf;4Y!U zNb%DqGs{vQ&UM*{gn0VOB6n8=|*tP?(THz9=Y&A%rQ3q_Pv49-Ep?xIoEr1G{!7;+_Rr zDQLr`xRnX;nVL)7z(tGsgDb8DKtiL@x(- zy_ISAtWv=Uso+K4BN!l$+V}){O_G+5<04cf_Kp47L!Cf$3=8haqMp_4TuyWgQ?B>i zyD2mWg+b_LWx`8IWKW*&B{8a{@LYUy(okVvGxKJ+&pc?esSoxs|4xK1yBGURRBjjVBj>@o97? z$+fC*G60A3=#7d0%iYSLG)+{Gc5Y{Uu3NU@1rZV8t0SDkv1gIfN6~_aS?w^PxGC$w zc}mESNOa+&{{EHiw;8`Q15 z4UI)`yD4Z8jA|@6d~q^)s<1 zB{-uBFVyyv+9GBSq|lKEJM+t4W%T>zL_`_)pCu}WSgU!) z;$OyWdCNNbn$6de4C0u2_|-W?wh4^Lv2?fR4s(%>B^^h{(Ixd6>_-miuvofJ<~Uub zu}W;AykPkxnb`@UzHVDip$_ZgaylHp*0_=In&efrpJ`yc&PIWLt$A5|kjZDkiI3S-&Luvf`@Ai6tD?WASTfbDk89u$D--%|U0r!WvZJeKId?=8(~ z(;#`^jAD7pYO&+kQ_#~)^_m5Bblyn*VL0~g2`1>x5nkEnFFyT46+vxaM-k}*ooY12 zHH6W88IBud6xZslAc~7*v$=%8I45r?8xl*)kC#UlzUTp3(Aq-Gm-Ln6hKsT+M_#_Z z)&cYvo3YGP=3BiUSyT{CsW;`{dFPJ3UOrQPc;3&sa`$I3$a2^A(R3u2R*8XiZJ^wq z^EZ$3gy#=hrN(<)ii zc!MOj(y&%9Gt|#8f(&9-EK7u(P)bR&*1A2EF7~Zv)nTfU*aY?V*b?^Q>8#zs0@c8d zrNM>@G_&|&1GurXe~?V*7w5Hu{zscPF`h(fogwb6n#(k@jfaDDw;2z-!=Jph>&x+5 z`Von2d-0Io_At|uOf0P1+&$QPq>(90!*j&81g}oqvLy?bD|?Ic%FA=4)b>5`d<}&r zV40_~#JRoco#z10`tnB+`g#=A$9>Km&thKMR{=X9F0coJTyX6+?PVjAq}gy|{S54v zduPTk=Q9+7M#5UDVwzMPwrXGH$V0wogg6$gDn4B~V*4=h*gKm@Cz66s-`!@taP#XR zXj*+oum7~`Im)>K&LgQb{^qyqG&c#NLaowE(`og76$ zQZxOWi9$zJwc5bsr_ZaVXVz%Sxu_3>ZH>NqDCPI3TCwG{ZoX;iB*u*jYq?@F<}r!5 zIh!b`A}kYy>1AFe%1Ll+6Q>O2rFaNE+UyRCuKTf4`!RH-D%BwN(h-0{gH`gED z$c$P)@YV20@~ZezxV@B4g(@YIZUD|f9l?iZU>Q>Rt4MXVLUm=rPALGt9%48p63`u^ z!=1mOHZ@_Ps6AKedq~WN0|foeBYwSuT{?2X8xrcYMcLuvqg~pmT6kR28c*O1rek{^ z-nax3w&`pUP zK5svfJfVq>jl6%%PLZBjPOHA|K3 z|H&BqSK zuQ8qi0D*gD6u{*v2oU^rb~ozo_op?XzpMecw7i_404_CCE9fuFYNl|ggX`VHe+#Qm zpcXJwX-7|h;T^;c;N|B7a`OrEf%pI*VW2RNFi2P!VEk(;*wMlDZmtX9Ua0*;m6eA( zx;gzLhCht`LVt&)dFKM$)WOB+-mtmXZy0=s%Rt>>=1>iJ>3i_cFg2hqj&5*ss0-je zWg7no>OSK8RQ^LA7XHhT|CKy^pVU7b`ZIUGqR@0RbN!VPIY+qtFGTvE(end@x&Ms! z|7CEX-@*MQU~5NJ;~=SHgD)S4Fb^=EC;M1o%Yo>eKd2*IDhCtl)@Sa_s1=_-)UpG{ zTCeC7_gwb4vy6^~w;9^yrg{c4)l<=Bu!R_<0DmBAY{;mUVS1=UoQ|`~ni-uvZ{8t7lAKWx{(8}Yt3|Ep#^f4AQMZ$;y|Um(9) z@~^5ri5|v5;=u>+6?fr4))GckhO&|05k3!iFy0|^g3!hMSh+sy3FsO>coSyMVJ-s3 ztfXEqh4=~aSqfp>EFoe|Yn9m%8NmqDhPL-Rr_7~3Rr@*a{sjf1O){61OS$RKQWLX&)s6V-vAE3F(H2LJ9GbuadY$B5!ioX zLVTdRj`}Z5i1%*M{3izD5xh&^e_}!c_aXf!2I9Wsu76>I|MCwc!2d5_Kmxq~vH=pj zdkg&c^Fa5#_S>#2+!SU9h5zDYO_(?IK3Dg&tKsN)SO5E*|M8wsbg;au^Iwea;%W+a T{gqu1NRS_skx^Dv4)cEi-2Ec4 literal 0 HcmV?d00001 diff --git a/a.5-decaying-indicators/makefile b/a.5-decaying-indicators/makefile new file mode 100644 index 0000000..7d859a1 --- /dev/null +++ b/a.5-decaying-indicators/makefile @@ -0,0 +1,2 @@ +all: + pdflatex -interaction nonstopmode -halt-on-error -file-line-error circl-introduction.tex diff --git a/a.5-decaying-indicators/misp.pdf b/a.5-decaying-indicators/misp.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f7a3f9dec316930bd0e88813b3c448e1f1993d8f GIT binary patch literal 7938 zcmd5>2{e>#yw8?3OG1T=?Ac}*#umv=2-(-c*w-=kecy>Jl{HHw`<69h4~3%aJBbJ> zk?p=i_4W0A_nv#tx%Zqq=ghnOp8xZ_|Mi)7et(wR(z4tT9swejn)T9sB7P7Ug-k+?XK3kr#V+Y@=D$KGyq zXa|!_?ol0Japp;{VqLft<+ehN)_={&y^4~*Eu{N-FW;`7ln<{Z7i5~TRR>>ZbQ-q)fe*-3+EYLd(-$zB4}9j=te#3d!j|kF3lNju0r?f zLHhIJf@z7yyoJ7z6s(L%O$2g_vpR=*gY(B>)o-#U6wa2*(WF&zXt6Pxv6;u>WVXDj zXs3`Z&luG{rWamHdbQ&kX%%l2VAH`9_ zZ}s=Frn4d<&P|io(vRqnjC(+trAjj&bJuqozo)dC2^m7_9MFkmUfY8Re2f zgm5tb;St~p<4cSKF=xPqe1iO#am*dxFHfKNR>lJ*r-1_e3KA2;0KkVA4hC*Oyi$@N z2#D7V4jch*0|Tc=UL93a8-y9^M8-n^B!Gz%h}Q!Kf}LFbkdk$Dz=-@@(}Ek!4F(Bf zBz`Of$o)`B=$A?$-aDR72oUdWxFrH323#N!z&enh^LUjJ=GO3=jvgR=00M&`!Vn%o zAprqFJ`e;7=79?FL4ZrcletoW2Eb$&5GJ`!Gf58V=<4*FR;N!pL4PW$0qB5)JGeMu zo^0m%6P5ySX@r}#8A4s|CI{GaDE z#^6(pez^F=3=LOP)QMAM9g+4Y$j#sF#~2RzVe$W^dBQ)<`&D-K8jT54V3L=*c-I05 z=cRH;QfEE+-AVgf#|{TPB-KRl`|CgvhXmj4W>%_P-w979u96GpllI+-@oO1+#*i_6 zT&>gOl}Ks?S)oy0Hi*78Dm#eJ-LxgyP*?C8simLSs*zsl@-5G8HX2zjBRsa&l9a8=4dM(l~M3g>CGw^R<8^x)*75CoioN? zLc@bTpvjFQ%+Fd1buQK?QrlgYr6Wj=^H_YI!n0OK7GjQvm zh0q;}bA-BH+%u1?yaU@mC^GRa-R~6&5*r2A&@bB6i#irQounghWSQ~wdM(GWE3z1D zsfDZTB^Q3TUF=g{u+`PddY2}~N@M+giO}yC8B`xV+1!-zzA{f2*qoj0tugQ25X?JET_#;bC~!v5jmnz~JqKYW#h;oRIN3Wk zug_i^9aY55tduKZsk~Mjci4CvPk@}=FW_mw2!8vkH{TiKrtyzEDDMY9ov%O!#5|s8 z%{hCPG5Bi|zKEA;(zJ$^5pg~J40l+$Pkdj+H_3{qH1029WpZ;I)x57#1CAAZY-c8n zvjh4S{<))^j)R_K!a+=CrCXmGN)C0{^co26DP< z0rveW8AA;v&ET%6waS2Sf>TN1Lb(!n^HT48vWUd*Ry=Iv8eSEXH*?Az; zVuAIX1gh{|X3O+;RtrmuKU-$<9WEDy>B2#RCv}mC+fogumh~#mQ+4}?lw^z?+_nXJ z`tQ}Ohi}NeZ)0ZKv^678t#>}pf!JL;xwXfR$xlKHte|Jqu%G5Bw68X zwHDMkN&?^3Ca;DXyh|Uj(y4nVsw=Qs!b{5bwM|NZ$f1w0&6T~wE2VI-+BJ=-*zYrUb3;+|hnG<2%!cH+&RzEgQGUC=ic_{YB2a-nA~=+Z9rLg(kTm zMz`COi9$iGDlbiM#n>~Sjn%iBAGIMEx1Oh_ROpValRR&h?jSm@P{3KcPHv{y^yOQo z7g8nb!BETlm%{D&&%IlgruWx3uyM{X4PyoAX$e$a?lPLdC$G&cBul;iT%P{xbhcAl z8J2t~)!X!Qpz0kb-i5g zj0QuSx3(6y7oT_W0p8qRNWpc%GCS5AGwUHE?|AKKS z$rLf9c0a0+tZKUHIeIX4=M2-+z=638l)5b1<}PWw5+7}p8aOF@LiF>)*ig?`@7h*m zHn76cgHKu=M1*QM?`L-DVN(<{C#t*)OGqV>5o1|v(lBTeP;huX!0PW5-b(oTE>%Ru z3v>((U4dcux})9$^FYF=PSdLH(Z=8v!|^9fL58Wpif(Rh~r#!n17hHRI0I+NU&{XA}sJMYhVu6?a>@n&J&@H*V_4Bp<^ z(Ph!zSP7K$%#AH>B{W z&oH%dBFU~ZA*0Jry*2+Sd2H)&;&AfE>izDGC$3*U20u|Nb@%ga)aS9!5TzB)C%W*} zr!y8+MrjH+K;xGV=yvpMl0F}MDIPtxCgfnmK=U!N&5-&<0$1&v^I}w~3GI|zYvUwU zlO2tr_PTZt!;`Jt1p)s$pDPVMo8+Cn=QVGy&1wW%vL@KTCr6uSDxKdRY}jPw2&Gdy zR*9vc+s5R#dMWdhTdI{VQT3(7_EEG}OL9fa@Z;06iW}&wHF}h$;5U?hmdkreaj+?y zZ5)C%X+)VGD~=eoyIxYr*3339$aY2hT^b|gvKbcz^^iQTUV8gI`4vIM2oyK6VW^=o zXh*`h*;!!XQ6taYtcPOi^eeO(Vrm&5IMtMVT;A3{N38N0yMDgrn!IuD>$w>o*VK({ zufb)-Z+V{Gp4ij)*YT$LRG+wq7W6m1+m3Qivy6V$IkZ-jdY6Wsyq_J}F8{s&mreS;^jR!lp=1??NEOZI`wkk z)q}dnMH?>9Qem1&>7zSpwv$r#@JY=T4Gw0$G)3k&Sudu6&KF@f7mH1X=~LCR`EXur zSEf)8A)#(;*ZVMx?3Q&kjsD8-m7v&FNk8#|77-hJD; zs60Iij&Rk_fPV@R-{B1&hE`7wwHM}R85&d=tL4;yR-L(uKlN2ER9zpNwi6h+_wkix zbPUT@XXd5pORLbC^g7S2ZL#g9* zzNeDOFWfTRJ-nfPL@v4jSx}d*X7nD;Q?RD=A){Ej=K?&+>RNIp^%P21yyDA5Z}Pw` z!^zzRU1!O3Z`}jyuQnD%x;txMmPZb^E@(V(<+$g0&x)20+G5gCchUHJ501ovuM;(G zmPCcq8{fSv#^Ylt5(e8J_f)P+zVW*EPHJC$xskwo5ysMAs65ubKE?Ef^v2SC>In7- z_SnL>!sxsHtL~z@p;~)6l03~dowFB=kA^o2!;b1_*7r8{rq~Z_PIfyrsS@6!K zA@!-BMe|rV7*8hlUF&r02$Y-XwOGrTp1hc@y}j7B`tYGtRn%DBAh+P-y5cAL6eFG5 zMe#CZ{Wez8Qf9vG@4H;T#x@8PUXr<Zi z9dILeReRPS8gb!RwEF1nEy=o_*=eO3Z%%LS*jOHdTGvq$6FO`%tz8~SseB|~nkd)H z{TW#w%1qry^%-f!dY?NZ0oJRuq>&^l^U#9Jcz;EA9F5ey3Y9;{6<)6!H%!X#;d{Kr zIXfYVR@ED9s7ma_NkUb5*&Rru%Bzxyn!!?9r(jRQzQoE=%^d;jrYrp>6tJ5(#TKM( zq&GxYeDO-#Zz3)6ir;6b`+J?E3sl;?^cw3uIMPInbT$K8+Uj;+DzmbL8h^PVPqIXcF^I=AT;YD85uH-G&b`@;;=t-U^Fk9Pc@IVXqR+9<>gFXj(O2!JK4m*!(Yi zIP#z{f|3N$R$`UH#W|Co*syQ{DW}$hKT1iz|D_R(ld5KVH)lMJgy-Zu{e%Higv&?mxvy6D-FNP%nZ6JoT6&~-ucxBGRKs|$kZdY_xV^Ho_I1goFDnc zmp@f3D7i%Jnow{H#JrGZ$jaTW)=#U?I$~hA*Xq0WHhCvGvR!N3l8iQ6I|^FA>(g^T zJ!?YNhiuyEx?%hd{q+9yL3_}rsoI^0F=krQZ#K~;I>{0E<@vnq2?ivKQ86Nm6gr&rS4Fn=#Mz%Ws(KS^Nb6iathL>+i&9}p z_MFUMD0n7V@U2er?eysP5{q=)!#RZ_7s562!Ro~s1@VVVkO6tuFYMF-FICIL&6^*P zg<)AXGfL}Rm8Q5=r=&EvR4u@#x$F&>kR(f@j2WqSo@KpAd?lzE6{Q~z5s7&RPa-vZ zsledZZy@rxBtd4?Hk{P{B~eYsvz7a`vR+a5;Z(1=L|$QsuP8WLu-;dM#s=eljIc13 zmB0G1OEL&6$NGXf#rJ+E`mh8!XyH1zx=HYEe5Co=DV|a(-PD^?R}~7t^f$8$sJ&$$ zk&pUvhPo3sB?mDEN=&Dt{fj%(C^y5&r^$Dl(L902H4J6M2aRZ3?Bn;XPqABwFYmcy z2g{P2U2O5QUG!J(c8uLkCHJdhjq+#O{78Nz9HLE7e|57GU50z4Fv}9?e_}4|v3B4dWoX_2U2hHgC-imc9QAbJ-W>Sd@yMgHT4YGxBsokSeouebL z7^<8`A}J1^jQzlbSFC)di;TU_KkLE9vpI48=W?mdY~`A>8wR_jIR2bYW$5eJ`Z-(l zFhRMw2~__CP27~gb)eZzL9+(72%6@iVb65;(y*WD zI_uwV#AEUiAIu*C{ z{B9098QYkA_rS&Ps0qD%uv?6#!p>6YF8H{Wik(Va?6ROCYrtBrWfF_dXFT{u&O@== zv7mfF7#I(mo0qBZaVDVYoNpuNDeTB%7k3(;is;RdG2fbm_{b>#ol8f2>I2Xc`WcfX$NxvIIRBBjTkN^3~(Y z;&HkRA2M|=Lg$blrJ=(K$-anjZ88RiUhx@>lt`O@FF`za!St51S*tmWmtbyDfhcRO zOMyt`i-}+6z2!zQulAg$%1d8#uM3qAI_g`vQ=6}fcx&i4VP_u#mo8n;xO3gQ&TAJX z7--udsP`8o&dN@B+?f5KrX@ZemRl@@3<-^oX``T~Gm2}+wGeeKL^CD`2|cA@SnDpn z#Wt`SsvEv^D>u|q1X2}urPm^Jt|KNO-Jwg;TG{6=8Y&`DLa6ad2z(wtk7NPo=KcB4 z+ez@z7P|dpGvh#CgZp$Po91M!Pdkb%;ON=o@oc23*<*IZU#q}#O z@h;mQ5?y0gJ=19y^qyE2Czx@M_GNT?zs*VGab1STpsnz7KhzeIH$=SuoLfc5M1>-_ zL!ga2-uK#~#zmiboU~6%RPUoXu`?GVv>-R~7Qf7+Cn|z^gBR~I;f4{DP+HB(I*`AJ zeSuR+cay7tth9|qa;mTGL6C{$yWU>yrjGB&$GgGDws=Q0$MbUxVJzfS|MDO9HzJu| zKuGA#qG8V&=g!0jmfOlKw$Hb3?#_!XR!aL;&F6VZZ?bgZ^Nl6;NE9x0V937;7=M|N3!lP~glD6#~Kd zz`*%*90ml%(D1ib#LqOs==@i{oGkyVyMVz@z5UiiE#X|$lE1)+BR04?I3~r5d1VMNpU>-1t-3o|NMgMs;g0Q?<; z0DZMTF|Yt1@N@8o98~CEFu{MU$Hxx_=+M8<<>P|^VfzE)2R4*HFhQ`uKjZ|#Lck92 z_ql>l{(tyI5Gn|S<_|d-&^7x5gYgOc6XX9~KNJ!U>^#Vmo}Pxa7XlMEO!=xiI-)=) j@jvbEVKxb1U;LTjE+{w>brNY9l%J1?g+)eHmgqkK)t%2m literal 0 HcmV?d00001 diff --git a/a.5-decaying-indicators/pics/param-ui.png b/a.5-decaying-indicators/pics/param-ui.png new file mode 100644 index 0000000000000000000000000000000000000000..7c5ff8afc9aea0d7992eca5e0f326af94205f251 GIT binary patch literal 50515 zcmaI7by!s2_XbKMQW65v0+Q0*AuS=G(jWpucQ;5&2}lebQc}XuDIne54MTVLJ%fIJ z&-dOx?s*0n<~g&^UTd%Q?zP^vcIZ1L8O*1|PvPL;Fy&+=RpH=}x!~a7AD*B9pP0F* zngf5393AmEFZI=CX~&3PO(E>&W9 zpWfUxNehuH$G-VoMl@S(GwA$+ifV_J6iZD{Ps!N$6-=3RfJO*jzl+Ph#)u<)NNRlZm_UbnaU zc5}A1pxvZXf@$B}R9SaHI*N^ZXX3VXmGI)kCvIb(RqKop7biMLE^oBqWI!-Q*dxBB zMf~a0r-!aWmv`RBCnqL*Bw_7*ZpSq0B{~N7_Aw(PsttOqBI(#|Y~_x~RDZ8RRyXY;$#n=-mlwDk?QSxAo`VM`8N5hfCs-WP;K@KB9Tb>Clb{63_dS^mH^v85tS3 z`>PE=L{dTL@YYs|5}jHJHXo6On!!g14r(8C=Qo3O#l4(b9{V!xW4+3 z>d1=bw@l8mI0Ls?cp zo62iS0?47Oa1FtA{ZYJONMOrOd*g5RxVSjZsJ!}wsPOQ^xKhtRBMv!w{FTe2)$eg} zM{N}M-`>&xF^m!pGBk%@GveUinZlz}I_&hh?WDm)`}*}Ooa^;g-q!ZE)(Qz_a{Fl` zb@{^nxW_?eF!{<@f!Z|7oBb8N#tWK@t%cbdp6kWEx(gcZiIs)kTiS*@m9#=1$8lvA zs`4^TNoutg8aQ^U=qKcZx)O>^(lnks>;%K67}Xp5x*Z-K9tA~3Mz*%ke7}4_P#FDD zQ$yst+8KpNp(J;(vxAuN>({eSAg!xn3oF`Kx!1j)J0r>9ZrA8UHOD>-<`fo&iBbOA zU7btYk$|M=EaolVRQ9qPqMP8 z0LO${-f}it-JI`*d3*h{0i8TCHOVz=9rA`Wseq)D0I+pw0y2upz;O>#DV*)nZ+O5L zHU?6Y&u#(J#TNVUVZ5)(9~B!nLi*qd_oCYd8AjXEQj32WtJq%?py@2=tqtjtfDQO$ zS$4OrU~PhVbTAYbO=bgwlTb_0K?D_>{6~F#vd?v%&kEqt@87?-J%K6?qzS*()O>L< z@3Pp}ge`i@wlSE#akKa!A`?ZPlb;^~n4#~*qEEUEg_k2}rtYr`b~TFm<%V>9?jtl0 zYD?7UOY^f{IesnL7tkj_oqm6s=eAQ^?RwC7!RG+Q$ThQH^tw3O%#MmlNVr%o1k97z|JY06xKHT3V=m-2AUlvO>gMq4C!yyo+nzvw(2t{z4-{L{% z!3ArLjh!8PIK$qu$lxZf21>%UQei&nnTBSAo$-s9K6U$ zB#J-ct~*L*C$?ihJm1SGD~Xe>+W9tTT*tN{&!rgqii?Zz-|`s0%c#wiG_$enu*~mF z-c#K-Zj#UM<1$U*m7d1E2X3Fa@!wD``WfH|bEd{mQ{^y{i z8X*zS>e7OO|NBZm{m>j`(I?J+aqP3RCd-6!xy$@gCp@8H1-987S*%3Xz7%sfF7<56 zKmb@CFAE7jXwb84NNohU4Oyj@ki)#|&d$+!#c)<77cZ}cADhF>yo4gNF6H0b%gymk zt&xVEwFFT4wbTniVmsa1Z|8@_1+->{|D5zQIm;ks@VEAvodhP~1g`x34ppHPAow$D zi}iI^Za?3ZzO(gL&+=*S?V0wXEhnj_Ki64D&>i4{l#;2(xaPGkKmL=yl76Vq%|KvA z>5Zl@F>`vY{AVO>lKjG>6%Gsxb+XhG1+?>VB>Gh@tG(qjW)=IOt@9P91O&x@D>a@a#yJ@%Xu5-v*NoE45&dDMb#X}E<1Mo_Tq(tY&_VGQ_L58M z);SiwnYCW-Y}jOV7n{R1Q39PqxU|XFe>(~zauPqw$g~pg656GPL_Ag4GxWd^xHu7t zv@2)(t3x;6Q8GvAi9D9S&&0t2rz7;I5ad9pF}^RKxRvYn36wpl99y|aBnt9ter4b5 zfHPw;PZT7V;k0h$-rB-u_j{*)cIJm3LK6q2q)dVqV(8xohZrRz^y`3-x1P4cv-({@ zB^MnOJR``E1c~`DQY@`rah;@~rZ4(K%Hun^2Av}JKEuHVHF+_cFK}gLJ`;u`Ke)9JT7U?RagPt3 z))Jc9>}9;15!a2CQZqq4d;6l;JkYGLFf+4PO7|^EraJ}8YbvrcB#}wPU@uoft(39V zwzg{ic|0ooz8P@b*Syitb?B{X|3*gy`W--WF>Xgo1l| zijC{Z`X~MV&MeK#h__ky1TL=ROJzfl$49=z7ucI~-~DK7%#-pH2bdG6e$lz8(dprWhwkOrC6oB&^$FyI@iF+Nzo-p)L!PY znoK_Z^y?k5k|6qJSynjfs9?pb0WkS(6Gzi9XGndnL8t-k9|2-B&&-6L(tGNDzv(tM z>P$BO-zv>6%NG-;OLmCDjbJBUM0p^r`g@hHmspr$h5s?L^a5}AC&&?9O_5#^@t`^f zBU(C#^Edqh=7oikjF?QF9uPg~;^Q3ZbEjU)&W5XBx>JWL`9zUnIo%yvQt$>-8Yz!#TKH>CC7_Pey3SwI~4z-%&b>I zu6pC>`sNOZ5}Ina2|0KP?}K;*k`TcRoqD2g&Az367(RS&3vI2;f3d+XKjl+p5>(X#O0QrvHUlM_Ci_hK*q zBB{PWNecEefEY}jnt5t^5;&S==@nStK~Jm_t(QM?NrSp&3HPOtlUU5P-vmgA z3(RVp7ESv`1bksmaW#APStSdiD$DB>!To*st%sNIOouZSda6Yor>6^@?y`23jG&pN zrO7i}53kqGPO1qO+wLsq$5i!G~$saVJH&)?6@z*|-2fnGACANq+ir%6aQHV!TfruMi* zZg8F+ll>Sm+vV|}T-;fmeAqR`W)+i-Xu!(1?I@ai1g67 zn8zeqLzy_Gl1X;@^?6s;0Ms6AG=tC{VwEo?_uu69nIQ=M6piDEJc8JJg-Z#M@1tdN z%4RJww9)P_ng#p&Gx=B>yupNvHQ{aXXk6&2&iCu3qzH*F+gGROc@(y*v+CkcZTXH} z>FgbtOPQ$&sPN%aL~cbwP_)hRk5+gT6{@3VpaUs7c*EtnY7j*(35UvB1TLq55G{g_ zT#_;l%zC454A~R~Qaio|nHHYB-hK~N_-TnVn(}{sUj%+`dVe}^K@^m_c>m|+h?y+y z=oH4~(Uyfy9e+?;yd3SraqtGPo!L!U{TMkc>~wzDSRCT$zW>g_{S<2B?RhXJ!b6IM zir8jo;q4dTAF%4%sdySdp|4A#;^Ld+i|Vd?(n@j1=$HFxzzLx`HyA!ip3|YVFREqa z$$vXB06x!6^}-@n=XE<`FRW18C%h1%HpA?7Y{3| z{AgjSa)~D594} zZ3`S7KYBHsym8}tFvI3djpt1uu;;m7Cj2{fbfB;b|FG<)YEa@eI6p1Jogf?eideYGh*y7`6}VP6_WgL4vhm3jT-Q}o=59)c9Njn zwhf9>@(`OGeB7AP)8&(;$9jKr*pH*3wfqdnx6S*umZxH*Z^cz?)F~<`hUt@;QSQGz zNR}m$dtFEbOcf_@K*aW0@whSl3~sKBh1TecoCQbs;vH8Envh(qQk#1ELX?3~ZagAs zb8}4NY?#T!04Zs5#@+anAEUdkS+z#P!W5C?fyhY^)wE;N^1$dBpO$`a&TIA%rsqRvOV5`2AV>AhNujuETU=OeOIJ&;+)+FHXrjnUbVkF_QQQ9bwTT?0 zS{Mh-n(h+?^sw4x8I)XYYR32DB-!U_e=&~Gi>o}Gu_)~q^1fP6D4X2_g7=*geukEL;BCIDP8`Dz{7StU{+@t zbFOZlb;xWA++5I3dt~uMG?G1RK4!R?s`H0Rru2Gcd!Eo8z&iwkM==nCI%uzYDVjP% zS%qcI%^x1t0R#sTd7dtPJg*Ov`!T||%Y)KMd&R1IfXFb?P1EdI2`9?(|ll*t+ z#W^xpF{PrDVoJFB$#~UAbM?6wrf0QtY6W0pW8yR>$zH~tHa<0KE@MTZtF>6ps3;22 z$a(8d5M&*Q-<~}|D%Wk*Eoh4CUca`l<$34D6xVwOa3C4iALY-O^;srSe%j>N*TSgC z_lxrD_FlC*B$fl$pu61N1y$M0Z8o3t#!-w2B{&y3&RVDMP}ByeOp4%nAPO*mPG4oS z3jL-dcZ`*VF_i!WcU<_ioK5llh!Jwn_#&^~@>72(xE1LQ9PLLM$uWc?qUe&3+jsEy zG%KqY5A3qqideZ|Uo)lg=hY$1Zr^gHXh=H{R)*<^Ka^N;mVYL&gWDg^mHBUnCut*l z<5N}FbE(NEFOW);Dj(f6`>dZ~i|f{A@u{5yy;9n|G*ujkD*7`AxYe3yZQ82g@cLEL z$&A#<7L9Yv?Xm-QX*aSLz1Z8y>Pr{>Gd!z;7PU{GYJ@IHX3ETG_@1MUsB)U*QO*z} zTzY!ndQ<2{5&9TzyyrbVTeYw4s!;f9EN#jnk)IPJM(Mk_K|O@quB)r)R1rw5PYDqo zlAN50YY576taN%d@EN&mYK&~jak-}-L+2kX8>!jOH7zd>LPaE5Ctbhp4(q-o0=D9 zo1t|gC7WMrsWXeBS1$4TnKD(<^$AWc=@{nD2BQ5b3u*V2ax}Q$b{-k8nTRWHHkCni zq7!l)n*#!(%pt*{m&~EU67LCnlCJ5+)f&I8XVlXVvT3uFfdm4TR@jR&zi3` zN{=`Fo{~?kes=YYS*j(`*(9S)m5)(UIvz$`zg13mvpp*{`k+u;Z&oLYQ9S2Vk=7;g zW!-)i1tkr;o5q-nG+fY5{JAiFLgTTkU^}krd%FsYXkNe^}NR zk@^7kcl;dV$bq)it|*$Wkb7x%fq8!{b8u8$sQasPE>_)b@;>YFg>ae53aUwuk2yt$6|Fe6WE{NfMdRrE2bGOXtc@!$l zr;7Ij7w?A}+DNx{YyWJM>?^rfxHPe7xUqOsv3RgMD!lGuEg76kCY_3Xlf?`Lm%9cp zPsG9r?>{g{w7mXq;C`t1%A{-)w5LY?5`Q1L;j(dBr-nn?Xj^9K$h}-6_&*iQaSx@O z%jkOs5I$V032iKfjwaH?{gQo^i!iW8vt{(f(cT`U&1kU9Me8=u91FYYc9@Vtb7x26 zd07e8m(ezMU2kG-Vt#q-Wm_I;S@%O%PIz0c2027UCIxy7zD6TnnedqI@2USItmQzi zm_vc%^TXx|;T{Uld!mO+>41cVYhTj`BE)RGKhkvcOnruL?L`~NJDfXq~h^8|=HLhoQd7AndFnl+x}tq~%gxg@bf?7eT^c%Uk3 znwRdK-Pn#O3gJ?ihT4D%&R7H?&640hkfM5v#dV-d+Z5znM_jJk z8LW^_L9qxm;*$7-@IXsKN`w{^f+&)nP*jrf0u2xO5T#u3e`Zr1lxq}9=i5vi68t0x zqTA;Vc@ju1_DV0Et}rgZ-(cnUvaio*M9lMlu~j!Wzy&2GB#FHkdPDy`qC;{T|0QlH zB6)eTi8NZEyRZB$x2BfIKk`^o5(IE^X0(1Y#67;Y>h!biMVxpEXwPyX*(hEE`@jK>2<`rF0ow-f=$~wU9lc zj~WzV({PE7k&M~)%U~*=;vH1bat(M*Tdi#v-}gaGs`#zFthWb+g4xd+Q-y*fgzCl9 zs88;4G-A*jsrgPU@z(^|fZqaV&Ho}>O`mHkM?^LY;{3vUS}QW~*Ae(Sq8|y#bnSlb zkZ{lI@cams{2D50{$XHzlDDOssu)O7H_e2R zz0^h*WR{+X3?Gd3RS~rvL@t%xbS@TI~A?tgOnjoy9#5NT~DB$a*HbM%ap> zCN}m#>C(+&ZMXphVxo;>)+Q}r0d+T!M!7>_H!jk zDzLK3di7oz0unDRc=whwdWL|wak@m3Cu}1vAL^p)jqWRY+5Hgq7$F&Gi>qanxqgx4 zz;jfhiBX_YRiNcqRHhwO0RExnh@!&-d(p;H>;r^H|E-(1y>E|IJ216hw7>*Gk^N3# zWLE`Ce>s1n)gc=blF-5+C>}GCmH_{7E>z5dc0$e}I2cdYJ<8ZnyPsuES63YkNyNVM z9ES)FQa0h#_(zGjG4>13MUK2rz)&gJ+LmLEYQ7whfs6qG%2n(PATt2 zvMk5vS45S#YCcM^H!sqSXwqudYvrViB|p9y0xz9h&kYg^kXbVHm;f-l{z{4QYpNx~ zK(-5C_s}Ix4zjr^%_Fvzs{-ao%8I$yKh3hTKwz3H{B4g)k_WYojow}Wcx6}~bz(*; z^*t5zxxRjOgT0r8CM;8gR5r|qm>v5^eJaq4p<@LNc$J(+_0KE-KEX7s24~6Sq^h^_ zqhU%;DijYiF9`jw7XXm9L~;FFd}%6@|AH)C7S!4w zEeAx;n-rm(d;)S0vMEzjG-bnRMNXt=Zie&&5d|RWYREJOqkM`bt5bPnk?)={Z5&H1 z@Vi92ME$QSIn`i%??uHIPeJ6X!1q>QpL88GVYLD-UKD0)46T$#F20>w&)^7ob@*BN z)c18yr}Usk9^lZ~4;ht$kM?JzrUDxxdEv9fAYf1}1wh^HT}n$?U%D5y-F5IPMxst^cWDbsSjDAWtj#u~^X6CI`zYXsRmPr;p~w-<+0IAzu(SHT zGV>dtT|wA^N~nfMe||PtTRMK3+C;Ls!07vFJUBt+Y{P6cSoQhblKICEN}CUQ%8z!; zL-@GZ$qJdHEiFG)u|67q8K|4Q=k&SW=6yk$x};^9Qh2v2iP}*sz^25-)5JJGNr=H; z4Uz^ku057tq66uNU~hcEEV~P-#*nHD%+6XKHjy1B0k(m)r-G$}&+X%%LydEXZ2H4j zNYfQcH@P35yta@Hb5Y6tpILtZSB^zJuK`&dL>LPc>u-^)%Rdk$*hJbn@HJ&k5|bvc zrKU|OB%C#ggsIyEOzEn0E$p@LrkM-9&*$cUbS56=J041^7(_jfy-IK=Yx6CKb3Iub z5DQpp7Hz-Dd`Ca~YA$YDySAjH#F#=Gj@0%yJnx_C+%1x~b`D%piyBEy!(51~4641P zru%RjWr)w7a1FmdWb? z-~~hfY!|&1Owf6lhPr!wtG^&$JHPqcBY;|W5zjJ0^kCafegApVb=b61VG=0y!>%SB}=Qh9KY%|u$rM2;rBSEMH{7(b3{;ac zAvzS`X%KWeueG1*XZ3T~UccUc#Z*V|7_n*UN1_w57}W;}o?cv-)FS~Oc7GZ9BDBA_ zw{kxZMv=VPOK{r_4c@9{Z*5;tp_&Y?b@lpQc6mHOTR|J^s85!4vpv*TC6VXv71vH$ z#Auvep9nBh>g!s6Vcd%Ed~Y^kj~Eo%{@HS|NqE*cB%~)wSJGZfyou~!fTKaM z7gVK7QIRXHA8DWIk_b4&kCEOTAua-CTc|&giAa~@$3e*Kl)7f0hzsr7TzzArkj#FO z2@`A=ET1;(fyF$Qe50e|qVBd#-@tkc4qo5G)YSS|^(YKXE!}qPlxWpBv-uvP3#Y75 z>Z=LL7Ij2<+o~p9lET^FMMkVN(>B`0&aq&P;fKN;H1} zi-Gvz6=^;rczQyVgB=nCZC}7)nJ0Y}t#wU5V8kfwkVet$g$aXE;3k7j&=*6)SRghk zo~itcRrCCCxChNWg-3=$7qh_(#GYX`jh6(I!pfPUi!d=%;s`g?^mGQwyw>4pRLy{) zQ^7yUYegg$Z9O$Nnt0d-D*f!PuW9-3c=M*TR*V);pA7uOW$f)6Z}?lLtqnx{y?lk_ zM2?4-k^enQQnY(_;uUPpexPgsT8rX;u7>G>Sc zelz28v^D>;dEbM3ZaLcb7@0#-fA9Er1b-Spz^ZN_X{p7)-3PaFu=V*vMVi=)61 zEac6{>0|slZK?Hr&Ggv`{IA(Wh1__@fnnD#L+$Vqgq+lTy->ldgv@*J1|v`2<=97n{2W7YB=4YAgSAXOiWB zOH*^c6Xb_Iw)k{$p^81!R@d@8+sJuv_cph9PH}T)!k3}nDrE$L{7)|#dT>%T>6_OW zdZiMI(H@Cy);GVVhj4hmfpfi&uGt9PWdOZNIDYb!+i2h?-2h!+!Vm?nx_50Tk^^gx ze)-b}2C3Y8goLaShnX5NCL&Qv)8MwO*1pX*YYz#q5$>QO zj#xggnW*`Q)BS36bnGseV{|OIgO1Jx$WpxDl0K0q~rDd)w~{@^9THa z@Fk%omX^Ni(rfNVKUibDJ825(YEYQ7CM*N`rF=)~{yu^FkF{WMZw{N95rm1kYc=}r zxlnmCLRa{2As6Ei2X#*Ux2aj)wKn0sUWT`$f+}$5)~wLO0aXAy_}+ae-#!b24Zns9 z!$p_XZu^K7F8i<3b4^_C}L zX_PIH*=&>#8TcCtumSn36(A!jQX`K){YkYik z!vv75I$IQZH$9ZVXh+_T0hdPh!yDzau?_Qht9xlgUS0$?9ZDzBx-1R#J$&zTwzgoV zUw*^@?CP4~R}%fUM0h*#+???*S>cKV7 z$Y`UrZo7Ju-`K$v4EwPRYFX&{yg&P)!>hgr*tkRbK}E~skE$*bfhi-5TRop&IkA9T zjH+ASl@x)W86_`?y|g*RsnqHrDuZ#wj_72=rZTvMu_oasU}?o1pyB zKI5w2Jc~T~$;72O3@9Z(D#3ctRQq0-E2$+iP+71J8YFMo-h*X6c~Z$;#EB2+5wFd^ zWk=~GSo~xt zwto;`XvAOLT^C1@p(F50lVt3#Eqs$wFMw34pH)Pkj_O>`r@FUts1&gP!`J9tl?*U- zku3?`7m=hLFPBAjf~>|`@I(pQum*+#c2kl&aq{-jU~+~=fS|US6}ADGR%7Yu*r>)q zXX6YZmA!H=QoKVDcog6Kt1OnC0EVYW_0nuTvTv`KS~f3hC$O}dr!&cL{@Hj91Wf}L z%R4}TKUZBCPCd>7@Vr?+#4K!Jh}LxtOydK=u5VKp?5H=2wVgT1L}8&har9h^kf^BJgWP3krB?6`IS0 z*^k^V-T7C2j_`fM^sDYB zFb1+qpY08<|xt~ z0F}<;X}$YWiU6}~*1XF?psu-dFmLoaO(VMpX2nL3X;ME>Me6m8v_RH0i_w)ts;=XM z6r6HK;1JoM`{4}}{3a$!sDf35Q`HFnlcwKuqf_%D6yv8u!^DzqVO?{dUAW+qsDa)b z{rnf9#byyyRE5PuTT4?-Pn$eFDIU&wDORvWT}0EpUFp*H+KGb7HcvES<&<^c~+PdsCk;3ElFC?vASR*&|O{Y`IjONunH>|H9EJL zE!5HsP4%f~?`inqjm<|ZYe`arm-CcLv9aM)TBG$ca3?*N!?s%2k*Ex)2rhX>NT|w{ z6sieX4X9Mu2%r9Kg2bW1K_A^~Ssn4wp|U>!=)Fs9t2Q4~61aKwU>Hc5h!ADCpjlYz zP*l(hAM!0;-m|iu>|UP7J3Q=j0B%e*SjJC_1LGCCj_2C^a>K;lknDjl(|pc2j#eMA z2?cjJ`)w2)-T*F;Tk2Oe5LBC9@x{>*6Tx_FY*LAvG88uyZf;#mkz=quTQZ9+F5qjI z6)?vGTtO2s3$`An2SK#r(qW`3)&c#xL)2cb4c`D5`*X?_Wrv4)uaN50i zcuQHgRH`A+=`$AS4Hy~Spuy_>yfI8MMp5V{X$O_o`ixs zCJc@f96;FNdTYedJ}ZpaFwY6=JE@1@FD@_(X*32(YzW`moWjBcj@~TMJ4{T>BWSYC z$o#zU#tAS#oksWPzOtYrX)FqnzBX)81v9g)9wyyL)5LeIOQ$Q^eQ^Dl?NnnrZ{Oqx zMV5Rt-(FGM!F2C+j|L#VsHR42aBGUnJPORq zrHd&5R|+gsQB3Ow4XQ=jls;NVbpI!n^h-UjvkwC){G2C^ovSUYNAFZsC8VT~bIm?$ z5_oxeVPIq9g-V7kGtt6cd4Myv0`2T$g&~eDl@a4Z*?)uW0Hur z)Uk@SrKIV3DO75I7qW4)B>nhx?@BwN{*Tg9?5^+{&)cKUjTCv{#EYQIKGN@< zGhmXUH`9Zg`}@#Tmxbl+@j{`SUC53ArZDbP&L@0c3sO9Xkt15GIRzH%qZKwLpXoeLFCzm!U5GRz9hVQHZM{tLfT&^7EZdomd5zK+U^jA-1HdU z5e2n0^?W}6Kyb1XrS4GX5}-!NiTMSE0LMCa#H>|4=!yP|6`+~I_P1{98;@Q$Q+@vS zr@S!e-+yu9U0%=K_nLuW8ElefurpB{CQ@dWBy@K=O3H5^kf7%t+SDYX=Xuobgvs5O z$p)vF?oz^MgJn%T(>4aRRik7YlhB38^^#eD5I%l8kEHK+f}_3nrP$!rPtrp81W>fm zY&aPs`ka#xn2BjtR+lF>#M6@Ca0 z_;RY+e=v4K_~P>d_(#ssi8j+Y4PyH{lK3_90TjxjMy(cC+2N!Ce{Ek#5L1oU1^2AoZaeLS0jYT{!N#!Q@NqF$>V5({79f7vaD2h(&YD37hJ?#+E6C{LbmgN%I*_y|` zk^H7OEi*5QIih}rx6M<7{h60pk)ent!IVOuZ5K;8$fxyNqRj~hgl>LLR80Wi%5Pfl zU7ryC9rdH{hEtpe$b(zAqB(?lQcKbcy4fVZa3$kP@7BhjV^!) zZT{FIH68PVisnh$SLQW-=Ly5=Ex zb7ax54Zqx17@%(<#UX>E~TU;=uHcF9$(CTLL!Q7K{yps$`p{?onmY#-AI_{&|sA@5rnyZWw!4 zEOvhs+8y28XlMV>PB@V#-=1l^6worWD#{z@YALt9(MGF8n(*vbhUExn<$p6bp_|PT zg&H?@2oz*vxr{slP$WPK)CnLNeOI;G_e7(cd+~;P`LY)d%5Py*OZ0Byb5pH&DHj)B zxG2&4%lRmUaQ5%?KO95-reFXMd_F%vf8wl=Fb-NNw)&C7Gy8ZduP6#^3uKl+{z(n& zaFdJma*Kzp)V!T^F*^Hi4=Due892yDXVqbx5^0fE@3a)m;mb9EW>N)SOW@cdI%-6t z&Ef4^^#adLv^2i*;1Rc3^!|@pT3pWIey8Dh-wCJ%3N@6b1YfBCGSMCuc>hSuH~;{l^F5R(I#zUPr2d2F zS{a?&UR!cEsJY>)l=%1Kg{fr4Mox*_?b?Z5KBfzy zKhz#zppgITxL^-vdsI8!Y#3PY<7_j225gWows}kj@jI0P8xDLB;S=8CP?{D8-Y04G ze!vMA8Em86ABEs=ux;kJ?<-mAKpz#ft*z~?kfO-*V2ag(&iziW3vV&Vfasn3 z(&Juc=?OtljOu(tg9}*x(wRGwy!`hayJr@03#FM{jW$#B=afvWAzU=sT1?o6IN)%scO<)zEoB z{VN~0D2u+vhbR=~r--V;>yLxkeX2Vn^aOiNM2q(zqE7%IF7nISIc=E&2aUar1SWgRlsGR6zn3cv|?2A{= z6FaM%E{+?CTLS*M^c1n=A(^eRN?(xb_3$&xxsfdMc$KgJql3 zAKZzz(i3H&q5r)*KE^VBoh4j+9Jb6yFF%W>3wxZ~ULG0b}a5Cz%2`GV6Jw2$;cCgWE|B$l}^l zWFS?Lx4{J3$fg$I`zVz(2Qg-mR?NW9S6fID1_Rs+dokX{Uc0ZhtZjT%4smQr1vp1m>4=iU?%(@p^Bt3CHQc5~o&7`QjQ zxIhsk2n$RVbSZZ`fi8=25@D(~rLPe-Tm{!C6P z>$54a;iFLU4@=6Ihn|knl)vt#q5GK(aQGozo@-soozdw^`(m8v1kdfa z$j0>-#8YI{&0}Ocz{lxXBc#CSpbU9HDLA31-DoIP3DELJu7vm!J;3(u&dmv3uG>_i z>PIP{{%`j@Z3|Mr6usw3m`klRo4|yf839X;A=m|B2B6w491ibcM_PEg+J*%2P>}mP z>%>Jzqg~}vr+>8GB1)z>;JZy9ReoRPS_6X*+m7-=?Eqma9M6siwg|{IB00HE{W^ni4B7wBT@l7I;~aW8!Ld)wX$#%I{K{ z`~i7OLlrkKQy{t;?X3+PQio)p8F+1)?0ZR{fe?vmfH3#%b|cCyk!HjC zj%9y(nie8i1Rse`jj*1(zdr_XtX$bl7o_yJ!Qe~o6=WK*;1i7T$~`2xyxpxlThrc8 zfYdKTX{nPx&ZXK-ucO0a&!WRVjR6RiO#XF^=prNpaN#u3)f1UVCgVdllI> z&X;5KkA1JfH5G2FAMZcKL1MEr@l0#*S zoIBSPiX#;(-j}}3*(R7kg%^|Pki*4gbJq>Xb7C5x9AKAIN}jtr6Ay~zShOrfj% z5h~K=--}s667UAFwo5!Zg-RfFzn3Are4ghh7V%osRgA&hZ;RRUVen#f3-ZZ$ac*C5 z4ah>hC8a&x^wP!^s-BS@ge_{GaU#K;V4r4WHFioqKSxV8`wSAODpKb82d3ibbEvWRL8@EL++PgzFMdP5}ca zDYuVpPUVdgAeA9;AW8Kvg978rj!xU+`N|YCjXt#t#l~GL;kHmn|7k!>H?wBTr#FbH z{-bKyfP6-A&$SqsDpq#T?Y8CV0F>A|j%b`$nRjA!nrsB%VQRa}pzsZZ2Y?hBk-lp) zFN5k>TG4M+UlcC@0uP#E&r>Xmc+15B@443 z4$s2Dg#{WnOC!fL$^K`Nj-S5m$A6?cGs5&R=bv5bOl%~UId{~}ZLLY3*+f+R%3HqG z#CFo6m6=x=``fG2O^5lE23o!!I&Z0;%v-X40{9GPe@sl*=z5sjdZ5$o?4s@AraejM zs>b^2-rmN>hV@~vXvwmT&%7^yO_`a|5wBs0_}Msqa0p}7+71t4WY1Yz8^f@2R<5)( zr*mGygfG2;FYyOpuu5id{Ljc+R}bhWe`-j9(z>-2H04-3QgXt19!5S_e)F$(LB&EAUy1P?EKw7#%M7pGV10vns z4IAn1`pu2+d%yRN-~Hq6!5QO>bM{_quDRxX^7A}XQ;Sb0F1qQ;-eu}Ng@$!jgoKP_ zla?iqh!84rLjL7Ce_0ux)(A%&70~AWz<{99u*$UUg(KBFwJV3j5E{d z3`%Ibu$WlKm%*rHwJ>t#qvKn@y9T|)QL&_HH{1NWs6J;x4RgN<6g9SLiqP=XuQFc0 z-5Q!u9|hxVd$$&%q%^q^6apAFI1Q$(|4GH|w5HVhk?u}4fw|4dJ3iZ7<}SWmt&8c- zVt&Qg?$tsE_4o!BF%=L|>GI<4Md*j~Zh|vmppEMAI@6Y8_HO$4!}T@34sZf>_oq_w zA}7=2PblAPB-=O^uO54cmpCJ`;-e}TNrbvd>%Wy6Fh2Ud%u-`BZvYyl^!4?by9MZK z67b>wkuZ6;@O3(=O{$;0cdB;e5qp(_NNqwy2f+Z>$vXos^eWz0}`d64fXbB}tm8fbM9Y9E;E-hS;lW%Y5(zfHivKq{M z6ZwIn|Lsm5j|x*NmEZmOr}08Hxt~2)NWX^>`U%scQY!WKpNgSzAg>tv%O_#q_}p_K zCVy-ku&}5{er^4Dy^18Yat(fjEHQ=FeDU-vj zXuD0MB)N*`y}g|3{38hk5IYj9+>a-S?+!)Sg#l<)w*TjBg7r3}-%7$(l z6Wagb???Q7i+JOWx=&*A+0K{QZvpe?z|BpcQm*Xs`L(!rNli_H>w-IS)^OL=>9(Y# zWF{Cnh%(zOLi$%Dg-BK{L`95Bx(1~`E^_e=3aGXu1v1Hc%}83ho-}bG+q?Bk;KnLrH@EQu`_Ikqt*6V4KP045C%)2@ z`~JJgD7k?oHCrPV+uOJAOVXg05xS&QC_mxF^67}j9(h5^4Jy?}ImCg!Jsx@S7g#c* zy;B_d9PFQF-GjFUe=#t&N1bC{_vDlqO)kW}O}x`(PGgj{VCFoO^rYVlZ_sc;)kSDO|@ z938PIn{KiBgMxo56JACX^D8L4WqUVcVPT$@X-$lTgaqrqLPJMqusM>Q6#?p_jfQ`S zk|*=V#mA!y0jiQsCBy-@+}D)V_a-Is02ta<=7z|zO|9??O@E;+$#j7FQKxQOLxMjgc_)p4;RAm8jKv4aBBeclO$^P~>JU!3w z>5(JpR%+qXk#1SF1jk_VTjDWgZ;|(due$5Dry$Pjc>;BhN;C;>-`_ZrCnD zWLWSh`1m~kI3^_};h`eE;o~z@DERudkNsIc3V)pqmY!xx=Q^PP(S4=A6r%uY1gquf z^j6#S7P$arRB@rh6tt@~IvOvl04N_Lro?qW6S|2$k%OSWdk60qXkG_3BiKHX=%b)U zC-8)u8i|%*!SAp_=g>u=B2QYaWoLTM{t*MWQ1C}4^2pPggNvLSEaLv4pujfQ^BOdl z(FL5#*w#I+8Mv%`yb$v6@+CJ5<_P-*x!2 zOQAJ1;#-@~4nrM_Z&tMFfpcBnAN5}HPTJ}x%t5W_2Rl*5XcjkSZZ533Js`Kz%P1?V z1Lx-L(Mq;aXSZMsc%I8@8896FAU&_c9y>>k*8UaHBXcQ|!k1d_ zfa|Fy=D{Vs9sEAk%D-I;GB9yN%P<-%(K0KWOM0cHYDj9mFI$?j_v$Ud1l}TMUCmhI zuV3Hd=*jOs;o;%IeXXSo>^34G0nNtP=GhcurYh`FXz!5NcG|%kilMiLutxGNj`afz z8^@SIeW3m@jGK2%xH6};2%O%ia-!Id4^k0$m_|J(#gH%JMoQ2+IE|Ffa}zc z6+4JLlBb&;zN?1udoS*HZkD?5ug6p0Laa}cw8+?B&ndJeL0|oRp-{%^k;q%Y@S?OU zXE{dJgDGuIx(A1gp$b)x`gc?DSgLso242PPnw;bJq!drrlwjXu+dDKn*L-)->I^iN z%8GEU(*};6RdvJmQd@@1Yfikqg*mtNIJJvC*XG`q7P$O;*U-f}M{3Z1Z1mE)i@{~T ziTt^x<7v}*7kQ-J-OXhZ6FCzFLuHi7V$1K(&Uo0Jcl}GgkCyKQZMc0uH*Yd5FO5k* zy7*CdwGeZWd%m#4Ia|8xvEMD76mh;#gu&7JyC5`(^OzO2jKPtSCfcNWH zN$rGm>iDLGYR{#`CSI7xkB-T(aFkUQK`F2;pB7UjI-P5-h<=LiWkiG*wy{_cz%ecg zh||hqIF0ZdTM4(?DO#}#&47-Io99cCGjd`HH(lJeHb^bU;8uJzJlv3idg>@=)c)RZ zlo1BD{6(F^5#D6b{Tso#^T~w;SsNRs=KJerIV~;11ZF)GFjK%M#j2m3w&JNI!ozzd zB$V;zkBEn-CwyQ+9LD^l{%az1>?erojc%-P`_1=v@9)F*@(T)nl$SgF?v&#m=jKK7 zU-mnfHRk=P%%rC+I%4vt_JOn95wk|8U@_pI z?FmXqzjiE3Gw8I~sSbAL&amkY7UNp40c)@^&j0`AgodyYcx9No&x6J$UZA*s73#eAyQD_#n0|GY8jGvlUzlO;UTI$Z&(4NvAZD*@Vzbta=S>*tKKqB$~j z^cgc!Ys93a@xeF6dZzoaX|^Ymzt;GsVueanh4nRh_nItoi<8sSNqTyE)XNMWi)CSD z9Ufy?F(rg1Clk2r&WLJi&Kx+>s}?P-w1+ymxCjpIHda^T__wx%yrj=5)`ck(nm%2L zk7vR#%P#*)cA?N2I0ca&eWwGucg+P<=xH{~hvRkpkT*dA(7I!LG4SLaa?S96f+;of zjWqh)Zr*u#TyH)L3`+PxO`R+u$@NiEl8jFvY3+~O44Se?&WJ1InAqpQpY&T)6f4=# z&fXrwVQp?3e`%>?N`Ncn6&YZ_W==R#E(Of zhaqZ35>&v|_7ngN}L;{OFf$Lo9G`-|PO5E2#eL%4vC)@u? zH6mM#7lxSVh4g6&T@6QGv|{)i$ag08o22{Rxfc``*4ZsTy1l(sFII)AF_1CmPyuNq zHfIpJ+up%1sxY-XRwdonbviy&!9Y-mXGTLsx4-&;3*ui2sRs*7>*|o8WDbD_TH3YEs+4j-(u{MSgvt-aah$Ef3&>rB6wAapr=Q(#TsrS z1pbnq#lQ?4paIpt{Zx?wO2RSj(ZBW;!F>5pL`b7x2K6N4%1xEcLa8Nb1)sHkx-Nnt~o7-prN-rljU!BKasth4nUs>$vDJ}MzA z=(j&i1%vgv)K&A#QHG@O*$69MB@qat88ONK%fOIT2rK9k06X&JgfY8dpdZDQ+Pl>+ zuaig18~m;POqo_lmTK=Q!c&3q)}x{TuY-O1=r(DC`5W>-nNDmtf}m=F)NZZqe6WYK zxZEe-H`9HCf)GFFQzkF(*9^45tOYRlKPUP>&zcnX96QWPE3OSVbl@J1dK=IYXWKEu zy^|nGJxIX4+rgtqoLRSWFRZ#5Q&7WTr20_F1JkMLruJ(qOQNna`Mzl!VD)=L8lGqgfGf74RuxLd;V}O_Q>T_8hzRSOgd^&gf zV}?vsCwBSSLD|#!Ugo=GJ-hgL;TEqzebw{Q=LCd=ruBiysHmtzfV~(6KMCgTS3~dt855tuChoRn<^5TJnnangb>tZUKLWq>%gV}1 zQpqyBZfQblYHAW-A1O>yWjCY~Kp!}^++xN)ed~`%z%RKefKmk^BWFdNU-%R8@2wnk za>Le34`(2 zC3K~c15)XNWf`Ai$dcy=ay=3ZlyHd&LjA`X0+@e~S-)AlHbx5lS6dqVGOM*E(14II z#9F&)bE8R^^Hqv3cFg&zvU3t1J>1VRldc07hXMgCzSZd!3v$% zdtYGjFW(akT(|8pXB*M!7+5I|Rp%4TzjpQ&=X(gyRD+!y**Bgh1_lrF@q=stH zN7L^UVeY65+<^ze6!BTv`~K^Q)@{U~_W;cN+C`+O`AydR-5ao!8$E~n>%=gYTf5M{ zFmZX-P3^Qt*?v4Hzhuyh#c2c1tq3%|q0Cqq-O_ipMxC#%9mF~l;A|#MK{rxe(45l6 zGgh8`seQfiJ`v8QCV{`fIoT56K~d_xgVM_xDmaI8Igb`f9UXs9OX}IZT5&Ti#4s(4 z1PdyiNw06~QI!Gsa?+F4DWFuK^z82Lsw7=Z2(IsCZ1rQ8;hC9opY7uge5|4aL_bzi zFAz~MQ6_Zf!n-(ULGAcaaqJL?YhUl5>1vB5tDm=3!wO(uhVRPCHtcwtJ`hV94d*`# zw?!Hj*^u$hsN-Uexf5}s*;%1KDY?nKnxinKXvN&$nrasEu?l?qPzGp*t~NZ*u}1Na zFdZSH7HykJvG}_xVwULgXSfvO!dJsvSK*rzt7pv+w;15%PgS{KJ&S%}1y(fdDcsdf z=uIjTT5z#tD)2dBO+lj$)#EF^`8Ih{!i3{d43|ZTGZ+KNMs{6t0S#$7TR`Me+}~FI ziZyT?T;1y5$47n^b4rStU0$r3iRK*^%(-(m>wbaIr<~yR8-2Di@7|&Lu+p%oEw!FJ zmuH9^6qpAY={{emZCPxZmGG3SY$yS@aO}K6<7gUhyju}WFZ^Z5g~y_PZckxzcZ;#) zqH4dCJ^U-cFBqoq1gTvgaK-34d2B0<)pe2~k9dT7E>zz6M3Q z=u>tfOE{ydRe6AbgM<)`;m7BTQ`%h_cN63=ryk0h4DUU%wk&kJDtdP|sa6LQM=CIJ z6n05yrb+L1c-AgO9I@UWHHI1!&>_X$Z23w z0!Gt-usuS3Z8&ocAZi4(Ze1 zgiI2SL3+;XzW>b~bn2yM!%MJyy5=~15&8$mlqWF}9eR7q2Ax>d-S@->+Cvx zFP_PtUco2(X$Sc?VhyI)EAxDMMwEC$l1Ap3Fzw;Xj}LBO8Y@4V%Dp<;413oR60#hJ zYxSaDwu^5db>k77oE{0s_1mug{mp`ka*i9jcq-s!ur)n5ssEIu^4=NkEy?=&@bi%A zE>Rg747iEL;pUn~e){gW-p-shJ>n<=qJL61TKupR2>T2JlFrq4r*@gNOW>gVd@kEl ze$ZfS>cHl^C4UT-Bxw-13G2A1-B(t^UgQ>3UR(oibH5WxR>*_f*9e?oDG3RE@Chlv zr(L*T?C|u)Y~B}etIb#(XndVY{Lx|tsdirIh5ej32?psnhk`!m(cfr92OKfIdcl`f z{a@TlF`xsU%o8h_)n=1tZh5v09{V!V5B?#k^q{Bh9b)pH1$yHZT`6gP$EHPYkdwo4 z5u(SZH3vFKErsXAvn3M4xWefhjjolVj_yz(pvYJ@cF|nS1YjgN--}7Pk{&e{ff$xX}spy6AX0w0!WM@ zr?u1KUL;R7#>D{@&k^I!bnTblI{~Abv(n%v*#G?refoCj#*Dtt1g=mW^*kOkX^ z{EDy@u<4ACCvtAA81Kv=uJ6;ko9nJZXB5T7ikdba7#wmUosnCg^!e)A>6>-cC6(dI zRuhjgSo^^>Y#g(z-*0}sQCXmMY_LAke_(Q&cyx#(^5{srb|_+!?@C#wbXErQ6<*8s zW0`+FWRvEl#SpZJd99ebp(k-n5vjIqs~BQLzS;eq8TV^!^f=jv>!+6wrZP-^V;>Ls z0rcQ|U0sspWXbU2qMVuc_%CiG?dCV%l9q24$F^8 zQh(upzxwKUVfkPJCGmwJA*4u^!yFwLcTkxV&ZM`dU$LB%5tzXTGufDhqU9tZpMk>^ zthb8J;VnoCdUa<(AUkjY$N&X#(M)*tJ1WMYLJgK`(E%5E`ckfP3 zq+9$}@~dxBb%uXp$Tf~l<`Kml+vyvxc3wlA*WiNYuBUzPxtHE_VU?yiF%9|0B@Lv5 z9SXCK=Si*70f_SVlIu+tVv3sW)upe^8`>VJ)uhu)9+>`;ARvfl?QO+NzB}^2sw#()G>Zmc z`ikjF{!ozCAmUvV6PH_y)06=w%;_`gUI(0V&s&2J&rbZ_iHNL-kG*BbeDWV2#Ll&2 z9onBFuJgf$E2VpI5V>X94m2p^ao&1ydU`rGF)=bR(UC6TX;6bY4?1hHfASAecyouC zs=@<*)I*!md(Wjs?^ZV>x$ZaV=6&zjXi{ZRt$MIh$h?|2yfbODs!A=~DxquX-~>%<*JBufrV`x9zDY(e@_c%4wFXsny$)}^+`5_=% z2xe&D+u8qZpKo;Hc=A(8*M@ZQvdDdHUFJY&+bJhWw?J=paBo9*<@@$CxjJ3b#f0Ye z8W+J%%K>Ko4Z%Nt1+N0G_0~nNIpY7dZ?qpY>_>#{-p+cd zkHVnu?WS=upKWIzz(b-M#1NAOGi+<&hX7kEVBFgV#wjOs%K_)??0n$`q2;w*!=3Aw zx|V{=yB~~;-Cr2I^KPJZ-GS=6Q@-qmL#HD;oLS)e)VoOmhd6ID7Zq5CaWry&_&(xp zjoEE8t^i9e#cwV8X%DH{@ZNe?Z>jw5g#bE)>q8sGznzf);`YD@zPX#6JScTxq!wbQ z+`7m)o4uLN>}~Wp`7oB01~YZcMZUZ5fioLy5WWXZvpe#GMMpzR>%Qci6PXk;8FA3- zd(T0+39qdpo`=HYb}4~|OyBYnk*8m39bK1yB@L?CQ3|b^2dYO=L05L&(&p&tGg_zS zj=iIvhDbGt^!P3Eno9Zorf~G=WSQ+E?o8F}`Qb=KWZ8B0Z3efXgPNnhFXeUGp#9%2 zOJ$mV7(|5?#ms_-3QG|CUR)9QTuT`urvUEY!S30cFLVN_s{%#fDik804WS}F8k?L% z_yyRZzvAd8%Y+iGN8kLWfDi=yT`s5=Fz7tVH#9vj6t{z1wRh^Z^Kz`T*2>?FU=`?k zB$5*~y8USn%@R!Lg!m(uLGI|7RUu&saPSprA>O4*j^95wDnvfaCf23)Ww~@ug0UiC zq?#|yUB}8YIGm3qmAC;WuyK7^lI*|7-2$?yaNtRa33({b%ll3l!=S7uE%; zrSk#b{nLjnE<$mKkBY>_G`JFZR$>e?svvlU)rpRZe%PAra<>ZH>(L6vxlN4DUy3k) zkfc@y2X&#TEj~W}Or9F$+E(#;n>$}f@3)~ANfw9D)g9gcc4?zC7JM{VGz)la7YB-b zolJ8-xmj4YrtbXSMU2m_UF4?i(DfRcYLG~xkk9Y}DH1jdrl)fi9uzXj{585w_Yi#J z6_@;(t=h^x))+sFnZDNb&a?F2RwJvB1F`3ls!)KNEH}O3-XE_=5lIZ520jpo4&~L4 z4JfULx_LP>p@_W?qsIXz>5|{90npoUF;-*P9gB)>!`wc92Gbx4;&XiWP5)?LU~crL z8m$2B<+UH+yrbFh^$!g@3vkXFowwdBdagdAPD}fO9Ap3!$9<16Zs=oTooWztUa>69 zvyiKQ>)q=?d#W3E#e+qCJBQFwlY@3SdTK8irlE|Q&o0}k^6x#65<&0MDPWV`=DF`uoGY@1a z@G9vAID@@scVPa9&~+`Rh5q#BGl!)nF&`Djm_;{^jH&>9))H{Wfk_IoLFd|<5gb4Y z-ltQcXmuO%->K8O4`0Iz*!|CJIz}=wCiy}tzUKBE!$LH;DNR_N)h_3U+?@n4?qQNX zUNQCDt{;|tzjJ#vR5`m_tIY)B5$HjNL_sMM^faqwjOz@8c=wPLrUc82|12*f8?D%= z-~0Sk(S+%O3%uTGR};h6jBwifJL}EFcd>x@gVdX&1WZ4B&~SZ7ErEaNMVA$qlA_|HmVBk$AEZgqgXKY}?C?NoBEOZC?51eQf2ffE+GV9& zKJ~l#UX!-@cTsn}x8j=?b_5uZ;959<(t=ZFl1Fg2 zx3+-ka_2YsPZUI5nu9UiFJCI2?K4pE2^@V%Xl;ER;XBhxZ>znQkWu;kDMrUHpaO!q z!NZ2O|4!z#gyV79!Sj2o|3Q}q7$7@StZ)-W8vgADNzuo^iv*vp9b*bLAp&K#$ z>+0#U94b*FLezlE%Q{tE_f;|gVc`=IH93N234PY!vY)_-LBPg3xbz|t^l}^d|D&^G zm;biEkqzs=Jqq*WnzWuu%0x7_YRK6N30)l!ltLVXJd74O3n>{6Xwp`biseH$ zx9i;+>c*Q!aFR{Uq7PwYr+>eRA;4v^nf`OE1{6Y^UFWs0wLNv)W$;`EOQ?EeV!reK zy4T}w#Z-2#X7A50Fr7(~Sog+&N^Q%`8QfR}1t@E`=ZmE0Rx%lbo#3FEK~Q_b%g+wu za4iu3_4Xn&WTQ^L=*g10Sg4sO%cdaA8pgD@YLg*d^ev1i=<_QDb`?@cxH8uo~t=Z1zbPjx;*t}$?@ zs<g~e^$hpa;;UgM}-dqMh8T)`UF>>0wVqV`2Pii zWyM4d*xW%`+1}1&#-qY}itsJfjEr(x#KYpbM!eB{(mxf-n@QvPdeOZkRxY{za&sD| z-m6ui6Qq)O+~!18(o!}^w0e@WC-BrjDrnSr&JQX8x>tb{Z`zgZRgGJi+el?fna7-pP(```r^&s zfesZe6$P(|r9P~1C{wegJpOB!o>^a=_G&X$;PyoX&FuX^f@K738(Qgu9Ea)ZbLj=7 z#_nllZYR;yn?sNp!!4Qr;UL2#CsdACQN8gTE6Euu0)S54<*b5dPJy5PaEuhIf-|@l z&P!qC3?zO}$%KFd=-S4rCvp0wA6ZDBtaP<8PR|XW3o+&-bjetFIW)<}(k& zLFS7H$d;&SD$3y&_6%nc-wo+!31m(p7y-za;{hpc;r=kSVx+wK3Vg}n3_1BDb3y_0 z5I$S9Ze`pq;Zf~m2+fc}TM#Mdkb7pb6t7(Q#G8iI0985CCcokH0Czl)9nlnUrRf`9 zU?poRHs!IePD+<&tD~gHvoib6J~M!N{5KgO5@c*z>&6UAdXZV=9=3L{Y?d@wEFk_P z4`E>M0P*)Ok-jThkN?3vA3ys)aZlaVJ^+&cFWj>#Bj?FS{t_II=Z+fZe{8Bty$=Z3 zwy=)Z{@o0BZu{#Ub2?22hz!_k12}N;?uyR$E~Xb2uWfq@6cL$;`*-|~`4uX}pR>E_ z;`ko{orx^Ghx5kNzJBO`z|2XpDKZ#UdAR1HIuqT&>T##-2orzMXtZ{&J2P8+5X_UX za99fnnS5h&ydhNAckfY(6)A)VyUE(ez9Y&FAN~c*Z(qj=GChMRu`S6?zBD>rytb`G zG#~=iodJUzZSYX>!Vm2i^K)`ca-_a~ zIF-=_hi*wHuoSr6PlFgvO5uLfmoJC_1#VW6r#QU3=UUkIzwq9F=XHMrf;)J6-VH}V zdFI4RKRiE4IEqEM^EY~)Jv9!ME*g}h80K)kw%lssW<8YGsiRxV_M&~hg5#;L`14w z(>5u!=Q)LJ--Cu^y!cyL1e+O*EzsHm1p9EZl z-&RVITM2VIXc)$=QDD3B?@{F70ZZa@c8FF`>cq;yakWt#|LSB;dW}AkDbv6hr-Rmv zhy&Nhhn@1@?+&%~KrHRJ0&;QrlOGE(m^vJ3fWb8R4}*!~f-D3Mv;#;;`cRpY@hc*M zp~hwWI-(U1wG+zc2%6~hj-M9yBj-cg|E+qmQD#7AEzUv0gn-BKAwf)6b+rL|rIS== zRc;X?($HFGi2U1s&%@@K7jF8zDvYZ+?_QULus41;7n(%}S z=5_8GW>^|vrFO=IdC|8bo?DJ{6gL&p_`E*l|iQ;ofDt#7_S08FIpTgrwejt#; zU5#R6XJ^GjWuJM`m1;(TXMDMpv%(Q3Mq>7~GSlqim?M*f@(fu;Lbnl_fB5y=#wN&ilm}%D1@$fi9BytV-hz>(1Fam7uPuSZ zxab43_M*td4CV2YlYmyXp4c`!(gnD;bhJ@w7-6*JXnRC^W~VFJ%!HG$H;ES%Iu`xGXst(@rtT=Z7I8CWXDqs89x$2IN7nD z49{bIbTsir275bEQr3dOGDWkxlH$3vl4~b(s}Tje^%|QqRO z=*YZNUDMkGMOk;9W%M`ggQ;_k&eVZGNA<}8DvTq_T2Gp7$<}@uzYLKhEVt~j(6>f6 z+UW|n!7iY_yk^I;0pRw6F&NX`?0Dlr+L2{wfsD>Re@(Kls>T;i&ZBB!G;Z&kZY^h+ zp8$#>4Ae70I*qLtL55|W$Igf#voxw=LvxcD9q;!^b^5B65-A?LJ3NSnFuSuC5 zilERuPdo5t*7}YFIN%wI=4#nCUyO|QVIGW*;y#MjXw3W^7oSw(c=W%} zF5;?p@*MvqyG*>}8QI*MmY!+u6zqpB}=yR+@?@Ncz7 z0q()e{nh|vVGm=T_}o-^7e`>*X&M{-rkBzXJ`l!a#T@sR8=-JBs>_l`ma* zhg5=@lk4jKp8ua0Y`C+uE=3(SDST;xG1%c&>gmD9fsr=82bmF|!n>pF&kq)*we(*Y zwsIKcu5CmVfA?RzEoOM1FTPI{|F>}Qb%2d@UsV1TAT|p{5ZM^d6M+eVyI1$yO=2LW zMosIj5LWmCD=7sk_8mpPTA}eHUpu>wIO<$lzWKVC8gt3nEGoJvsVxTqO^;5OL5e0* zD1S?N{JiI+?9P^g%_3PkgWj3(q)(1t3ms2s6 zL~=z;lz}r1Qhf@b#wH`ZsWty^)ChDPte3_`YsO;uR&Da;&t z@j>fbm#vLn2dP(9*vn8d*U*!Bl*25H(!*Taar>qU?uQ*=^B>d%fG({+!XDo&s1e=l zDbaUJa*Gp9&dhiE@;U{Rdb@?s`uX9h(vY$7!CHVle3HbB161#p2#uX4i4ET=uH7L4 zN9S^Z5ZA4FpnquyZ(dJS1j_o*@)1}kWTSmX980!u`staA48_fv#QZ;w*@Jqk2jBfZ zS2KCWwzKvFFp=K<2i5s15%x0~d#WM(o6sDgw{QPhI^6wfZo*}QE8*tmZsf-R;AYGH z&v(~D?}wiAl3^MtFwwpfY$5BP%>g&&)!57TGM80YZ{s%GIlCB3+7r&($j zy&0gs=CL8z{SsdPrG3brBg147n8eGPL7rdPl;T9LAbUaDtkEksP&p*@-S{sV+dTyb zCuhGC8aZe=GU$W?n;`IE{{b@3q`Qo(O*1aQ+aTtwBzl5zRQQaWcXX(Ik}m$ptjrpT z4(v006j4!8cAYi^P(Q%S%ge44_*J5hCv6~!3B<}lv|RdgcNZ+eVigcxBUfWrGR(eJ zn-0N5Ua(wi>m~NOJ~Up_=w~fa7NIx;<^b#`fIN}S&ZRm8CLMGUWaa8MquP1^y)NWl z81KtJEe&u5*n0W1;O_^0`>gq{RqxnwvhM}V@PvKHU#>H)VVuPuhW7{jq@WIaV`69b z6@$6zxQUy|VPv{{Xh?rB- z#~!fdJ~zXhy585%C;2=dCfLf0#LOjQLwR4bnlX4z@*e{PLMRi$j*pt_yzyZk(@kIO z*Hz7i>kH-}rbCd|UUhlfJ0xnfcfl~UvurRf^PxKKn?dq4tYIVUV`L>&q2zvfsR+5f zV8cl!FRd#2Pr}->$_A+lRYwF0NB(v{8>7}@QOx{GI^n;My9zx1sg*8h16a(n1*u!1jj3*~&k#F`^3rU!2P7cPy zr9fP+L!aeOts>wnmEJpIMVURaNtNY>Z`nrEcb)1)=iKK*D#a#34|q7l?YUAUQw>=7 z>j@jPZp{-iZgy)6N#3pS=y&%!^PcKs8-C~agMD!9pHtr*dWY1B!AvUYt%a9%JYhYb)Lkkp~3llvpQ$i$r`;wBWeF;uX^iL!eW#zoq`Nj7H$_i)8owW_B7LUNe;qWFH zHMG9(lJ7Q`>ykNna|Yex5;RXQ9D`0>jC0@cL*S^uH8)kv9>LY~#wHWwl7!OF-^M2I zA*sZwsr0{vF&UEQ7G zJ}YOny%{E)l#w--C3Ukt;N0 zNjZLmztfBY*ZL>(EgTD`y=-0TOS(d{i{86L*x2K`U)Ojn`0dH3I@%dSL6W89)?*Rk zT|RA9uFg=d*?;Jm3#dPR@xQp2fu+BGu}op1CfzoXFCGMJRpH{`P(^mK3!8heU;AoR zY{c|=?n**^?)y?@*n9=MwI>(S4t?TW+)fsFBi}SBDk&+I^4{-fht6EqtGKhb#l3jh z*qoBQ+-&W;INSeiU#!n*S7)$qKO?C^5;{m7K2Rl|i2{dUtZZ?nV1jeXfl^)eZtin6WkOC9W+rZ_?a10HzzmkDtS&MN1v z%^JFsEl=v$#6&Y5+r`JBdl2_%)p=GKY%(i9H21jag@)}YTepW_|2#|@Zib)nJvk0k}aP{(L zk6OOtrP?j@AN+I#KhocMf>E)R$(Or5%&GA~E@I13*IgwBaxNXL%d1Su9E1e_gym^J z>-tsGRSBWa z6yG8xP0bR=;d^P$E$EXqx;?sgKCoG~@xiH}p0@=BKFsvBt{GRJ*{sL<#+&tD>PGf! zmXqpxvri}JIR~;EPg5$b#r;A;LRFO2zZ1`LnR}-zm7F#xd(Xe0GoFoWc8Cdahh`83~~rENJLu@%v}xdWnJ|{MlGzl1s@Z^i79@~a3IN@Lz}JYtkPN9 z0#O;vruLa!JmRznn9r~1*l`Sn)&9!@G+@B7@!Z~6P^!tVutmVZX;sVgb6o~jakT&Gpp`n^58clKxaF(v2TD3meac0o)q z6}2UC1EP@R9yh$X5g7Rxyu6N_X(fY`;ws0gqj=h<75I}V#Ws;X*B$1!2kqnq=4;Hq z;l#whmJY>I)P#igP)L@{5rv;Z7@g-`UfOo!56!K77LF6rcx5_`^YVp_@}M|xTuKUA zlU`Qx4>A=Rxe|pgxG-n5CUiJ98uo_v(=x@1AMbdXCd|R&*WYD~FEXO1mic5$3DaCB6>=d!q|9nME0b2tP(=TCfxpU$q{2^cUdpMV}8$#RS$w(9r9jD z>xyLrA-Q||>@q^W?}Iy)AIreYK6w=z;FCEmU$pX6@{DL5DlslPTlq0tDjz+FD4(}y zQ4zB|Xll)R?nkq3nMfo*L}S~-xz0vK&B=S+Wpb+dB`F?bgmQv*J~}UwqKQkWW6x&T zwuf|qR0$6d%5ZRBavoPipQMRHX`SNkN!N$Xb3^lJe7D*WI zMzblYH1VqOHvF7xG6->K#Ec6I*YT{kdA0s{&| zP&i`&dJUDaM|!06JWbI$<}mXevfRXG*EEtqEMMAte>haBF5Kkt_V$9pOYHzh3WRrZvn|?25kQPT*oa9zj6s(vD-T!(EHx@RJP;3l2_LT+E^p zQst6BoP+O*< zl5kSNvyRL;v~A9N>d39z4uh9*l9%r_W#S4>`9i83@>1mAtZ*#to~F8M*3imnO*9Br zCUdA<&Q@Eb9UETl^vF28v{l#(PcO}sPvL5Mb$-KKsNWgbI&UMWi2pFO*VKI$!<{y1 z9=k)|v2l~pHqwf0CeG6theNb-%q|WX?|$}Lzkx@cdyA-rKt`jdk>5hLx=Ja&L%vX9UOC91;J$+l~YY&qTqP zgiPl7eZ}8@p0x4$H0#+Cl?=OP&?;==$9KW~UHop#>)J41P*gOwIhs2@Je)Z*qv`DA z1bSWwgHm9S0vHOzXOB%!X9^;(C8XujW@Okc(LUAvKK=bO@nefv4&Pf3v|E-H3u~>- zksRR~q~`FP_Yt*TyLnSSZSVb_a+gl3r58oHaCE6O$+%C3H`pGmpgksxZSK$C4VYXs zS@`~&xZR<+w_(}(xUC;HJ8*c-Y`K5_&Vtzy*iReX&gMM2ylH}RRJxeW(s#zPlj~-v z?QLHfmA-29UEx9Oz<3q@ z0KK5MMrT3t=^AO6gGNQtW`C@`{>^TU3|+&iMsOeiPvQ=o=86*C>-71=FBag z&msoKd9GnqGXAh9QOm`+ZRVy+LzU;b&G`7Z z_W)T-6JlQtajm)faEFq)Je^CvSYMrtzf21y#n&@08w^saeQMLJX~sI@woi@R8`4v6Vgxfh zyGyHY*15;|Di7)9w&bEiR*$M|JQoiBZ3F!liz>6}#_pb^sPDN8JjI48GJ(gkdRD`k zS1!{^1t-Io`A;hX&g@^o*%S@#KO$vf&&tX=J!r$Q1f|mmOcdae;+b>`f=GSThlhtj z3D@Y}e8W2Wlvt?yjON9n$4#lDN|SSTDmFv;AKtizk3nD4y*0g!G)q1AR!(7F^i$z;6g;bYIP6cdEnPw_w zg=lS?Td{MyPM66Sl#VNXMC*6Tj;n0uo%ur1Un4whm0QWM>TTco{Snh6wim|Sx~}V| zQq08sxr}^L&Q}IfpRgaXqzI~+xg;b72M4!lY9z(R{^Ycr(DsDPH@I4Y-a+rt`SI*| zw=2!B-&hm;F%01<9y5J*eCl$jy8ebj#a8LgB#71~(`C(SsN^$|^2;oxu5=BW#xMZm*pubzIT5dBr=& zy}60=L$>dtl_t$+p-br#3-7f{CT!<3PgeyV=Hk_w$V}TwQX}d-FQ25`E+04r1-;Gv zI#O4;I|->6)Hm?5KYx_^{OzyP`t`>A{LLBox1d51uS|d$yk6BJ_1BVgjEpKuF^3Cy zt#Ji&amU8Kz7?uaTa}Mh6z#Om`kmh%Zu1H28!x38I9QsWF@;-0wXoez*3dG@=dcs| z>XN>5Y|290>(LXLrl$QU2C-oOEN%Unc{ftFSh)TayRc3L@bz06zcymWZsBPx}~ zv~EkU`rYLg=5oTp>HM}<6>u_5hMX-CQHl{HBu6`4Nc%&srGpoE929(-g+8IcBT7XI zkM6n@Ha2QUSK2NAz9ZcXNh|d`2QyaVK=mD_XI>;ICP$h#6sgN!u+^*fC>8VV_tOhmd6)oo zc$3Br8E=FN2;9#S)A2Zo$)x)=>q|?ArOKK{PO^sv{??(}+EZV3sIuP{>sQO}>G|x_ z!3(<$+-m%|#W3)dt|n&ck_9M%E1t_-{r4~}d**h5*WIgV0#R5cBLMozi6d`Cj(OX) z+4CK;>=^pRgjEGjaywtOndh(`BxGxaOl4}r(wNEA^Z~L=#>%`jKIu-?ky-BH6rE{0m0kd-QDP)fB*h{ClFk7`T4`$MNtoi@z#K-E1ji< zQS)&_M)UP)Uu$tKQEm?xl%_L^E{I@k$;F~ALT6^}sSDS`BMe!8G%1JXbXuAY<2N}r zPS_1(i`DovUgyOdWz*abR0`UvA+wyF&~N}Ag+dZ+u=gJ25%msDb=O})MxhqNKV~_} z7cO!s=LZ*WJ)leS1A)YJbC^3s4;Nn&qk8lE|5&a#t1$!T#3c%wNl3S+BS}3HNq9@K zaANNxN#&fJoV+h=Ykf_c8!ZI2iqw40V|D2)*;0pZZ{|ypAFjvpA_=$^yK;TNL5(r4 zBFG5Tot!HnZE_ON$l0=FIM7zd@hk?owXjF6*4uQ_q$v@NXAUt)+upz<1 zVm+CJ`-JIwd1Tylz1L7sP!Qd@s^H{QIWjWh)Jg2xWm9vWI6E}-UFddG?v3wVBWSnq z5*wR5p*K42Gdq=xBMBv${fyHW356djGE?-xaPyV>|>qt(C9#4OFp){@^}L@`uzYj3LP!2g0piKfOi~=^Q^3`$Bzevm)r1s_%}c@_+w7 zQS?sHL!oU8kp-#vva+&qcVRHG=UxN3qIySK4&3s%-S6IF*2EDLJ` z1V~p&U(;gE8|2EaOG)zxzDJV4P{4ODlkKtK)jVp^vsnK5HX?@F<7fqo4@1l|vzT?p zrah95)ZRyy(krLGT+oadSe|MPi+$$ur-ZFoOHHl6jd1S5G#7I(=?P zH783cVlIOvV!n1P_hVc&=i8?#&6he!$YQyNCD=XES2W&K{!ACoPONNqv#_*;0$GAp zdoyvNsU00M8hQP?lb}m@Xe!8*ODaiA2Mi7kMa0Js!)-)F-hluCvrYwv{|68*fNd0M zGHHHd7vp8e>E*e6UP_iibItWio3?Or_S+G|Hs;m~Ou$itk4pX=vaKCCrlHBOY`WJj zBgyBy_Bl1*GnZtQ;|=VhfLT}kyu;F;>2}xS!yQiR!LRTOGZBpH4_nvvvoMws4HF7l zaqGTwV8}Y>o@&jFNvG7Ua?Rqx64B#7_T`Z0tp>-V#lrW{z*eM{glsQs>*arIUIBV* zYj1a}B8H7O0bo&y8JbEqnpL>5JX|tU)zHWiI+!5w4+_En#8yFYFfo(n*OywQ zHkf!`hli57wpjU(mGXjPRW8Lf8wsl|lk1NevKLw4pr?qcfq?<6mLc%b2$uM&d6Mh$ zh^( ze)_kA;OI4FH=vT|>wSp+vx7=3G1&$Yu{Nbzl}@W_%F1EaZ`?T1+I!`&dp9wCecFti zV1ZU#ak*+ag1h7RlstCNZ{NPH`OPY(zP_Ty+UZy(`BI(;5ctPM5im+p%P1WErhtbkYla#*m;H zEH(?7K_?buWCm*;ij~j)Z5S|7wIkP;wWOVLw1B!D8%0G8G%>+J%KPYOaweS$6>v{o zm74jt(o$%PC@Cp{m#koDn7rgz3EaAPIl9s){JMLpYHAG6o@rBXS$zaz2s1d_bx%Mh zo<|YL59(vbib~FcVTl2mYwBUu~DPPmYv>oi+zK0{ow;q8hQVmzZfR~BUfEc z(ABZDQdidU8yu{*TwUV3)lFrioH~;JEA!%`#$P5Rr5AX!csaO=zVm>u>C=LJCnCX` zJ5lFwj!?}DZBt>HZvTV(k&Fj_M8WlX2<25~|*wlJIaFr+dbIAT}F z!|QgRe(4;5>0f=On<&Ldf%q*_YycV?7oZC!Rb?6StUfl6KZMjGjMaOJypn5l_2I_iC6jxsyg3%-bePcy)JaR=@>jXaMWZkXKWp58Fq(db!DidtL?Bj=! zP2x4NsGGMZ51(bA;jBQrtR`gk0@>VCn4Jz}bCX}8XM6ch;OMU{I?S-XqIz2b$pUKr zngI16Lbo~Ou6ko5LCH5KseU`&)TV=Vx`)*4GwM=RrltArNj!+=o(;;fAn5X+%YhQ7Ic*_G+JmuEPW|OKMf~&Dz*pe*F^6l-7uN4A(dQM{V zVacw<(GwejKTd*PA|Z{2in@;ev0eO#A{tG){a;!eoit=`faf8&|0#}x#>CJ|87~Q% z4`sr_$JCb@_N$$Wzn@d}x+;l@MObe5Fy43gM2g;TU&sxvV5{CT{lKil(DOY^xx~s* zrB>dgBc~$N=}i@{_QXWO!qkdJAU-hJXBP*>m-fKaEG>V(N9AyIuDMW4odn13Gd0=t zG`Z=x=A~*@jtS6(eAmF+Vxq*Yqf#`vxK($?xJq^?EnoyzOP;QLBMafFb`sQ#X|8ZS zH>D`|P)>tj``N8349A0>G%cONQ1@&hH{CqZf2Z;odn%jbOk`0s>VJND2E2WnX>Cc} zgO7ZsTe}d;?|PJUTX0ph1v;F2n;K6@A?Gec@R_>ujR#j|cilY>Ck}~RfA7&$*zHLH zuR6(Ssi1q)5fMRjZQ{jrZjjOB+?jSLZDqRMHP4U6Xm#fO z6YIGsBNh>Ud8X&E!hNqOHa2!@%UuL2GTqtvR3Z!LiTuj1fXf?9B=3}Y2qcw|E&E$1M<<%agrV(4d znJLlgyfL#7Jn%GB+~$#q1A8;k_u*%wM?{?tZD&S zIq$kD+lKeGlc938$U0S%tv}Nr+2^<{4f9Xk@!?|UjG7F6{H`j_Pw>_|jEI3a^-;r^@5= zT$8<(U>S)hk|I zGMermOG15#qkL>OuxRIi)CAB}%Za39rQ)r(1}P+8o4A-vIz6GRZ;tW>yw=N9hZSq# z#0mM>jFnb}aH9@&?z(>|HWDwz(MUZ#v{EOVj!(;a6ovR!EQh)Bb5jy4JD1s8SV}y1 zD7{=Ho&oO}A>w#rM`5O0jd`Z#Kvu>PyI2T3vs={ELjDD?%Q`CWw5Dh8>?g429Um1% zP5nYquYC3#m3VNXNM5rrGO0mX&e{PdO+WOVu^@xRo_53PE-&dMKKO z!?uMq?WJF8m)sji*GEY6M{3Ptx5#R;CW8bAlxG%Ejm5XP*L*ZXA3BMBkmHgr8bYkE zox|t|>0;lI*ys$Lqs;thm8H>^&}yA|QQ$+*wM)esHqJcV&waq%r{qiYo+$?|)Q%@I zvy8!2q^zdQ{+oX=W?`U|VVbLKGOuyD2Tjx#!OyQj!V=3Y!E;;#OT9|Z!9Q%%I`MHL zAwjova5(hl=!W-dUN51K?Sga4&4e2B7D8v|>d|~r;lV{!Wz0_1HjY76vS`p$irsHb z#H$sI9UDuY))v4-^T%EJ28~Ivrt6^#tI%pg8^m)k0(&#M`5B8s99ms|PUTJUM0~PQ z6k^joMX+><)+AL1;3n$ao1Bw0GJZ$t_O5@klP%v6Wa9djo1ao4LdO3{<3@zLwSlo; zHVKu2ON#vVSFtuNR@K8{;lYB;f%dPCj(RD&2|{0_ZB-?eN%MMsXNkIB(+`Y}NhCPl5ZpW=_3qMNEq2K1b5WN_uyc)0=&at}{T~S&pM*54%pRYl+*M z?vsB0h-D>XU;9;Z^YWggfM((a&;pjvu?IOhU&nLPw3vZkKzG|9R|fIoS9k(d2J6t) z7z$!N&A$hBEub+OG~%-fV-AQYaa?w_NwHp>8#FKGI*zBwpGb>iO|mCA7r=M!BtF{t_5C_d>Hrr`gpt)X}Q0-jzbkm=`+Sb4a-qUHRY?3&62ITC(6U z)GpZA@@7@DoM4MQE}dC7rNrBV=^lrSw7-&4py->fq^(q<_e zh<{(n9FLVz;=L?j63#909F~*4t$we;q?y1E#iBQJuyS+u(m*FrCF-G%=L7v27q-ex zxapbw-I}frHti-ohfV_qOJbohNv_#i(`M?BS#bdBk@RrPOiIPQLeQ(#t1hMcZ|s;H ze`$gX`3H3y_q$C-7C}CSSX|j$AoF~dG`7UgOi%xWf6*Eqkpl2=V~6R+vPNj@HOvz|O1%r6jhE>;_5 z6N3Wh#DoO*!_P*0trj3gGAs!2>rV7sY{PbPJ8y;MYdrk%y;;*wC;tB5z&>*%eEHdQ z$G@u%T~L-5Ogy^^@QiU?OVWQ^aq&KY1K|$-Xh3@7?lrCkUdVo&2$0zPlZbAg-5~^e z|CvFCT*4(sU)_bp0ra`LUHkF6xA5B0Qrkojr~n>huA0Naa8_9v&#!AZv6>0SCr>Ur zo)zP^1lZu7}$*$SKTUa z|Jj;G-AqJPXs3aILc{v;pjOU1{4`BLM(wA;;|HL%!2gg^JJnwT0|T#l{+uv3H}6iB z40}h355r5(&6NotW2xER2eG^s)8baklGya_@YJfRs=t7)=8ipp)p{^y7sCsIuBIrM z|6ED<`xo|Eb_cH3;XSG<+j7CZl+MBZqYHcP)#^sLht-PKy>z4*@b9^)b%f!6XWnEc zxN&genu9~7L9bGGzZI@!ewLptF3?V30KUhns#e{XFkO zpGO^i9WAby;+Hp0UenipDIff^w7*NaD{xnE_GV&D?(u#HA)o5VUBG#^YLb@E4w4;@ z%5|wEEd?_Cx6eO%ae<=r1!s*bL`=lz<9kbOt|cP? zl7-k#B+#s1|8EKc=EW;ux6grO63Rj2d-FXLJlqcIg<=|0Gj;dQU-Y5;})7{A3q(m;Tc7wDQoS7&!>6MPHns<;`0qY9hk<@)jpg` zCn3*e{a`8A3eP>aXe8EML@T3p6>~M9vAWoc@vNzA+C(B<+h|muKVitT9ID$jnU{QLkQu zCm=y^vfFi;ajSt?ZfekNB=vE_IwPg7wcB(w$|XmMs(__#o;C7x;CuIer##pU0SO6- zS$UxFY8p6kvpNzgL&H>c#^lnEIZiYw$l?G$l!WSSB#Vr?x#p8deTkDB+mE4zTyF4lZP8nf*AcXV>k z2g?SydZ2S#3^VGjn-q6*IQP zR%1j=>{SDIBG;ZmO@YE<6*7vEb8^1V{~>bpS_GR-9s`OnB-b2rPgWZf(;p zFy8e&-vD>fzkg{z)zViu$C?Efu*J5jmd8B-zLTE$QM7V$Jy2w`m^jbj5@v^4L7XPh z}z!Xe>?^wnB0!Lz7=%v zChrwUw^z5sG!x-umA#$350UD?PD$xtG1$<=8XL3 zPd}#r5W;gbMifWX-jh}H7DEUo>bZ^bXL#-*%QZ((_a6RG_~J(k8~5!vs*VBB@#2AZ zlu7a@7TPm#$`UmbPd7^FV)hRq8|YvUWPTtdIg}y_i$o{p29baW&i!G#ssr~hXqLCg zwD3^YJRK<8ulWMKdEFfQo)=-{Asrt37eJ0_af^UoB(dXY6rjt&mx3Xv`u`!T*UKj+ z*9^M31pA1FQ!^yLwLiD@sqbWvbpmdEB?ZJX`Nju)+m`mk7Y9!*_PVmG0{6A`Dp-^m zZDS01R<`y^isu54kgHG2`8##ahnSs-SZ?4PL2g(e3fkqfzLr}EM=>c55_*(HA&MySr1FlwS zcwL}}Tjgf_dRP*+uvw(p`veHCqEq4V*05OftLX#+IWekX|AIWR?Qpb}?~F?cY0jp& z1I7G+F%}zo)q+PC;2DAF;6r2!*0tIR^xpbU;XY@5C_c1Ra=@z@9%IEbI1{V0WO%Uj1!73hFpb{`>p{>g9Ces<|$ zUJP8_K5)eDKwBrS=J>#Xl6Q!F+!&-Q{yua0hlD05srY7Z`hz04w8U+5Lp^wY$5W7c z+<5X#{B;w$mB}XR2};As(il7XE2TE}4_)WST_6>ek8t+>Xm@bxUBGPgCDr_EirUh4 zKV0*jOf$Q)`C}vPBrY5lBy_qVb+A-A`Mz|&B2Kt{;Docaa%D~J;un8;EFsUpuE^>9 zFDr!8$ed7s4WNM0`Sp3oVM`D*o7w=@hmHH$A_%^N6cuK<7w|)jJ)~r-)RgiPm*|x@ zBD!E1M98yYuNtQ{Ex{Ghg>2uZ1uNi1ao@GIT%OFCA3Q(I zZWhWVIIh(3-mYQYDHyvzSQ!k=IDxuW5u#JFV-*1j$%P)yf!I%MJ$45`Tcezhz67gs zUI4?MtyElL^SvF?1ksD$giRkptBG$mSGt zatm~ws8ac*C#vi7I2av8-2WZ|@ss)0m4rN?w@gZ2xdu5oyW<+E<>&T<5+cy6BqH^N z-lv>%@ncAbEJn!vz_d~3BKKX-EpH-RD~he;n;Txd)zaBQ@LG5+k|A|^n;zJ-@@m|R zKw$qpu%Iiar~2FrB;l~?Y9qNIWaK+}C65x<6Ci>3ykzJV7DIiyzgN!#4;oG?hb3D{ zNc;E8C}%?REY`DDBT0`8724cf6FXA>juJ#fK>mGvuwZ9-h%T;^HlXoA4(6_q69Y3d zvEzG>Pqw?4h={x?zkeJU#x(T*c{hxF@luvKFJb>FD zwefZ5t}o%{c-!G9pDka@0#{ddTP+;JV&+FeCpDk)i`-cD4qCwo{clMZx#~>sFvr@nV*Z z+N+^7V1x?S=A8{`*A2sHDAL%8x_%?vUG(Xly^akQlfQyM|1JpXY&ro08Ps}!(j(WP z(h31w)L7Ia$*SH(5xx!m)1B0RK%F3@(FH(4jns0PCDpTPgh2T~+A#yJIrTLdjpWog zW#Q-!An0)!0P+FJ+yn16&~C@Bl9{stKmN(?DdoU!_@hEUWo|_h@PDBZQ#FO{pO{2 z%q%4%*K1NTpS8^oJ9#NccRUG`vrv(65!1NJREudcF zOK$4#9#9WE8?M2SreTXD$EF`7pnWG#Vrw8STJ!7rxN*uEdy!ApH{{}mi{iq8bwC=B zhII}YO3AAXSqP%x6n@EFbhZ&!3*C>54-cD7+ppOya?Wh+ZEe1lf|3W%1U;|*47z-} z7x&(mr8g~5o%1{c z<7Z-SvJRM4$jPK9oiAg|c|3|LG(v>bvmM@8pOfR_Ih7=JJlELoYg15{X_Oa-U2dk( zq*pQ?DO|37twFgo-vcZY^Ji5A=)aFFS9v=v7nrr*N zsX@gT*gwS_ECQo;RRE4RHumOKW5yzWdrQZp5a{ViRK}5f8 zm1LzR_Vi=0hmt!Ze5!h7PT!U$n)WSMKn*6V zs6lw9gS{XRuH>)AmA*3?bSk6$Tz*Q1F!CbJCz_RybrP%0eCw^Mb6zB(3qY=~4|qkP zEYJNeobA;d7C7g~y>sARllK(CWRy9W+A8h*Z;t3pvoj0CPL!Qiwl5u6TX%)N+a0`8 z4LjNcaW88dYRuiU9Uyqf#ip&-j{aG-2`qf+AREYR%gBzCV8TD$O|NqS7mF7_$lzz2 zRyujG-u#;7B8p8+ww)>hn{jGCv6@3sSErAzZk8m~!-*n{2=s_2-Sgb1+{}NQeLz-V^elBtT%IrVcOQN-KKw z4@^TRoXs5aEd5cTJ5s%0^a4)JMVN2nqK(>CT&>EGkA1`X+T24~-9M%N|FVxdIk3J0 zGDTQTO)VV&4bxInUxp5!V$A-AZvVo@z6bZv0c8TbMvY@W{p}rKxHpt=Bc>>**!BJw zunmFR&i$=-&96>^+=Z$=2#<8ZFZ(ON{0Xep;R`g?Td5&wZGCMzU*7$*5jUy#H{AuG zt|B{NTM9C;(anp!Ah3`HYE~%zY$%@+5V>Nh>BDT-;{x2XCz&9825Nv`zj1Z<_OLmX zJTRL4ltRroH8Z&V!TE-D5(btbbJrp|32z<^&9BGsV`B-gF!C;$1)a;Oigt0+uRR>9#gsef5bA+`2XKe-ZB`YsqvP!rLE06D zvB_OG0`kY-WNaAno{RcjxY2igZaG^q`&C@z1BMDtalWAR$(hLW|GbnmfNy@w5|2$A zRjBt4BGKAvvW&Bl%>8voJ$Am=Q93D7Ft<``A^BQ`iW(6fp1=-C)WFZTj&qcsyU~m> zu-SO(4a!~PKm2AMBx4@!q9g*~>c*thRO4T-XDkaJyb=)S4>x!seC}8` zbZKtxGiY?D!j7o<WSCnxnzkt9ZR28DkLL06itH z3}h^QsD;WRKwsD22tIlShTi~TXEj{*38WRaSH}u=1a9AgF4P8hF!lARe6t#OH)1pU ztI#M{uNEaQxc9!PNgVx2stu)`13E;7CM0yqa*rSy|F^Q54q;Q{VL6x1#65}q3n1j; zg|U3Z#TEJSR8w_T^s& ztgJ?>VnF#AmB+3DtiM1{-p!34Gy|OdHe`ceH;(|FlOMCN(DC!f?e6Zrc4K0Djp^@K zQdATc7bgHUM5t{*Ue5<^90O$P)rg3Qsi~2tEO;?^~RTfX4~%?Pt^O|JhUX1&&^K;cVLEx-vpIQm!7Mr+*Henpu9r3x3wPD zAzL=G$ctzz2hCR=&LH?)07g@Q|2n>sl9E@V&?oA-p&BIr&X{MdnS^6qTLk0NrZ3=9 zg+h8w+K8?$Ic;V#fWI{X;UaGwmD|!&XnC%Sd8HRGUL0>E)4SWJtDsO9!*2FcMkckO zfJ9;YN3Dp6$VFme+Q*O06)Hz;2=&{-=}{@M;R5BPz!EPTu>n`fN<4pFcdJ(e+tRc5VB6jI7KGe=V(tsMkg^lLkdU}>K>g`p=lJMDq^F~s z!08cYBznZ&VpMZ3@!Xq^f(^fJrUac!dWVNQ0Kh(m-zgva3rJTyJiN@D9EvShlRp~O zuAD*#Yxn>&s*5D{6CJowJ5=i_1OT+}{rvDRyBy|$vto4n?UbXImkjPR93Ixz)YP0? zS(yRJ@haRx&clZfKcY}_T3T^Mbl4{h4E}B_<+It7;-OEc72T)dNBV1bjX@*zlSQl* z92}-ZOl2m%vLEPtS6^TM<<*mT`07+Czr5Y=Rc~9;)C;np?G{A`z?`})mtdhw?GjaQe3hmRj4h^#OR{I|do4$sQXP5t^c{5HF(^A`VIViWm;{H&~h{2IOk zvUn*aRc~5+?arMxnviGppc3+2G`m@F5uHaVVqVG8(sCD6gMlXc&}j_2tyY6|j5}8T zLrk2WmnS%sf2N)Sd^gI~Kw}*p91g zY;GdJB~4!@!v)qe!2OpM6&0YJG648dQT>Y7jo<{m5J$W)djZBE@GbMWxd;b9@qIXV~! z-b%g@RylnC{{3YfQsT%JwL#{Jcn{r~6Z9F-g#XWWDLKDFp@cfJWlD zZK?9|^2m({N_Muk30wEfEt8DM)=2nfXsH`MJs%{&94SHzQmJ%45(7xXs>jhknjctMLUIU)dVN4pdbp!DyRo=!#C@p zS4GDE?CnAQdKHwF8wjc0>jq2UAA*Ca7NhRnP?3?j{PgKl-Q}R5AXrBNe-y97jDn`7 zl#NY35Ems@18flb90-1i5UNK{pMLW7B>?F8GH|OS=uB%hP~>BVauEkRU#OXPlZ>p` zu<;U5B`vM35Xs5cbn>WMzY6*h!@vk` z3F-8|Su`{>j7>~VtSccOUtc9{ZJF1v*FPRYtnXd`=n&NDe2R?ZvO2Dl&3Zl%_KA_6 z9+-qbX4g+lLiI`bk$Zx-b{qC!K-9a%bBb&9s9_9ok*0F Xek!+wvgZ=yol1(yy~r2QfA{|YJjpz| literal 0 HcmV?d00001 diff --git a/a.5-decaying-indicators/slide.tex b/a.5-decaying-indicators/slide.tex new file mode 100644 index 0000000..c951310 --- /dev/null +++ b/a.5-decaying-indicators/slide.tex @@ -0,0 +1,143 @@ +\documentclass{beamer} +\usetheme[numbering=progressbar]{focus} +\definecolor{main}{RGB}{47, 161, 219} +\definecolor{textcolor}{RGB}{128, 128, 128} +\definecolor{background}{RGB}{240, 247, 255} + +\usepackage[utf8x]{inputenc} +\usepackage{listings} +\usepackage{soul} +\usepackage{siunitx} +\usepackage{booktabs} +%\lstset{ +% backgroundcolor=\color{white}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor} +% basicstyle=\footnotesize, % the size of the fonts that are used for the code +% breakatwhitespace=false +%} + +\usepackage{tikz} +\usetikzlibrary{shapes,snakes,automata,positioning} + +\usepackage{xcolor} +\usepackage{colortbl} +\definecolor{mygreen}{rgb}{0,0.6,0} +\definecolor{mygreen2}{rgb}{0,0.56,0.16} +\definecolor{myred}{rgb}{0.6,0.066,0.066} +\definecolor{redCIRCL}{RGB}{213,43,30} +\definecolor{mygray}{rgb}{0.5,0.5,0.5} +\definecolor{mymauve}{rgb}{0.58,0,0.82} +\definecolor{mygray}{gray}{0.9} +\definecolor{mywhite}{rgb}{1,1,1} +\definecolor{myblack}{rgb}{0,0,0} +\definecolor{mybeige}{HTML}{eeeeee} +%\usepackage{tcolorbox} +\usepackage[listings]{tcolorbox} +\tcbuselibrary{listings} + +\lstdefinestyle{code}{ % + backgroundcolor=\color{mybeige}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor}; should come as last argument + basicstyle=\footnotesize\ttfamily, % the size of the fonts that are used for the code + breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace + breaklines=true, % sets automatic line breaking + captionpos=b, % sets the caption-position to bottom + commentstyle=\color{mygreen}, % comment style + deletekeywords={...}, % if you want to delete keywords from the given language + escapeinside={\%*}{*)}, % if you want to add LaTeX within your code + extendedchars=true, % lets you use non-ASCII characters; for 8-bits encodings only, does not work with UTF-8 + frame=single, % adds a frame around the code + keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible) + keywordstyle=\color{blue}, % keyword style + language=Python, % the language of the code + morekeywords={*,...}, % if you want to add more keywords to the set + numbers=left, % where to put the line-numbers; possible values are (none, left, right) + numbersep=5pt, % how far the line-numbers are from the code + numberstyle=\tiny\color{myblack}, % the style that is used for the line-numbers + rulecolor=\color{black}, % if not set, the frame-color may be changed on line-breaks within not-black text (e.g. comments (green here)) + showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces' + showstringspaces=false, % underline spaces within strings only + showtabs=false, % show tabs within strings adding particular underscores + stepnumber=1, % the step between two line-numbers. If it's 1, each line will be numbered + stringstyle=\color{mymauve}, % string literal style + tabsize=2, % sets default tabsize to 2 spaces + title=\lstname % show the filename of files included with \lstinputlisting; also try caption instead of title +} +\lstdefinestyle{bash}{ % + backgroundcolor=\color{black!85}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor}; should come as last argument + basicstyle=\footnotesize\color{mywhite}, % the size of the fonts that are used for the code + breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace + breaklines=true, % sets automatic line breaking + captionpos=b, % sets the caption-position to bottom + commentstyle=\color{mygreen}, % comment style + deletekeywords={...}, % if you want to delete keywords from the given language + escapeinside={\%*}{*)}, % if you want to add LaTeX within your code + extendedchars=true, % lets you use non-ASCII characters; for 8-bits encodings only, does not work with UTF-8 + frame=single % adds a frame around the code + keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible) + keywordstyle=\color{white}\bfseries, % keyword style + language=bash, % the language of the code + morekeywords={*,$,git, clone,... }, % if you want to add more keywords to the set + numbers=left, % where to put the line-numbers; possible values are (none, left, right) + numbersep=5pt, % how far the line-numbers are from the code + numberstyle=\tiny\color{mywhite}, % the style that is used for the line-numbers + rulecolor=\color{black}, % if not set, the frame-color may be changed on line-breaks within not-black text (e.g. comments (green here)) + showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces' + showstringspaces=false, % underline spaces within strings only + showtabs=false, % show tabs within strings adding particular underscores + stepnumber=1, % the step between two line-numbers. If it's 1, each line will be numbered + stringstyle=\color{mymauve}, % string literal style + tabsize=2, % sets default tabsize to 2 spaces + title=\lstname % show the filename of files included with \lstinputlisting; also try caption instead of title +} +\lstdefinestyle{default}{ % + backgroundcolor=\color{white}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor}; should come as last argument + basicstyle=\footnotesize\color{black}, % the size of the fonts that are used for the code + breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace + breaklines=true, % sets automatic line breaking + captionpos=b, % sets the caption-position to bottom + commentstyle=\color{mygreen}, % comment style + deletekeywords={...}, % if you want to delete keywords from the given language + escapeinside={\%*}{*)}, % if you want to add LaTeX within your code + extendedchars=true, % lets you use non-ASCII characters; for 8-bits encodings only, does not work with UTF-8 + frame=single % adds a frame around the code + keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible) + keywordstyle=\color{white}\bfseries, % keyword style + language=bash, % the language of the code + morekeywords={*,$,git, clone,... }, % if you want to add more keywords to the set + numbers=left, % where to put the line-numbers; possible values are (none, left, right) + numbersep=5pt, % how far the line-numbers are from the code + numberstyle=\tiny\color{black}, % the style that is used for the line-numbers + rulecolor=\color{black}, % if not set, the frame-color may be changed on line-breaks within not-black text (e.g. comments (green here)) + showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces' + showstringspaces=false, % underline spaces within strings only + showtabs=false, % show tabs within strings adding particular underscores + stepnumber=1, % the step between two line-numbers. If it's 1, each line will be numbered + stringstyle=\color{mymauve}, % string literal style + tabsize=2, % sets default tabsize to 2 spaces + title=\lstname % show the filename of files included with \lstinputlisting; also try caption instead of title +} +\lstset{style=code} + + +\AtBeginSection[]{ + \begin{frame} + \vfill + \centering + \begin{beamercolorbox}[sep=8pt,center,shadow=true,rounded=true]{title} + {\color{white} \usebeamerfont{title}\insertsectionhead}\par% + \end{beamercolorbox} + \vfill + \end{frame} +} + +\author{\small{Team CIRCL}} + +\title{MISP and Decaying of Indicators} +\subtitle{An indicator scoring method and ongoing implementation in MISP} +\institute{info@circl.lu} +\titlegraphic{\includegraphics[scale=0.85]{misp.pdf}} +\date{\today} + +\begin{document} +\include{content} +\end{document} +