From c1f48cc631561d56c3a6d3bbaf025308742c6e71 Mon Sep 17 00:00:00 2001
From: Quentin Guilloteau <Quentin.Guilloteau@inria.fr>
Date: Tue, 18 Apr 2023 18:31:44 +0200
Subject: [PATCH] add some example, and start slides about CT

---
 slides/figs/control_loop.pdf | Bin 0 -> 24601 bytes
 slides/main.md               |  39 ++++++++++++++++++++++++++++++++---
 2 files changed, 36 insertions(+), 3 deletions(-)
 create mode 100644 slides/figs/control_loop.pdf

diff --git a/slides/figs/control_loop.pdf b/slides/figs/control_loop.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..4625df022c426987c8a70f9308b9b2f0b2c9e2b5
GIT binary patch
literal 24601
zcmY!laB<T$)HCH$-THRjZ!QxB1BLvgEG`=x1%02?y!4U`1ycnBg&-~k1qFS#%$$<c
zA_aZ7oWzn;m(=9^lvFM|JFeoAqSVA(u8KLmwVwStCnw&st#g%|%@TL%`%|k+4h)R4
zD_%+)vTwTK%NyFSYqs+3{nPu8+Adx-`><p4n)GRMf^zSkZJX^{)AIHH^d0~7m;N}j
zvj3V~e*F6VF|XUxc?-Aw_;tMgw|;;8Up<?DKdx)rUw-^Q=H<uNU-#R`?*Dt;RL$mJ
z!PMjRwSS%pR)+umzbm}w<xTJEFaKnW?e^I{T5-PO!FSf}>D<N2k6xU=_j&R8^c9~Q
zt{<>D_4sW<(%JJbtaE%Sw+Wq>O<sFm@KxQSgWTUgEcw<^+AlFb^V@Y(L!0D%cRwGf
zdUg9)4FCBze|v5Qf7kuqT^rM}{doQVm$&|$erz7`>+AifH(zA3ryh=ax*_c6a&GHq
z#!F2XTg<Dp<<tHxI612J+B6R4`M++dAO7+8?YBMh|9@EU_ni+&<Gu0tgu1@a&rNz~
z6I<rVt*@`OocwdrtBBXv#I@G2W~KT*_l|lmn$4VNmwqIy@=nZ-9cGz-IbyoAC6x+Z
z-mKcw<K@u0@7X*#`&tIE56|U(`|pp@-+KLB`Ze9_Kj!e>4i-PzU+TK<t!0$`j6E;Z
zk7`sr^p3b~^1JbVi)Z%x;F$br*S(+ok+H08NSEuM@yxhfC_-b`%Y%RJ9$o*v)!sei
z^`31K(Z5ueeOV*C`MJ<pi-zd!dd%KcZBM`POkOc_UTTtYQPn!$oh>gTc5m6X$hNL1
zf87Uv`5*k^7Pf~yY93D7xldlO*v`E_YQomAAJUIrKd+yzRh)0X@Kn$-E9dp~cf+#x
zDjF8Qb-S9h)>%^ho_b6A^NaS2H%wSM$tOKlCbesg*X!v9y6g8RpDnYoyFV-Y>*V8w
zE6=SyVlwXm_forHww1@O%)dIrK+HNydZUN(v`s6rFGjCYTEyBOb+A}$*-_KE5ucP!
zZmn3k=I9aCmzKZXD|*g&=Sc|sZ2Enx^gwP*OCcZQbhBF5v%8Y!>L1#<j#ulW<pFo`
zIR|XSW3C0g>N@(-VC{!F-GzI&x9&*lc^$)7bbQL!2Qzrr{#6QBsrR+`)#+2btxAxw
zh=D1nvqR=c*lCFt!`ZB9200Ce-LJ#?`8UQMaj{dfJ9@*jj9Y7=AY17^LE&G!K0XRd
z=;wa6Kl!*dd(P2akrLVYTQ?*YzIE)GmU^&aG3$0C7WJmms+#pu@k-%#56&{QOR=t-
z+05lGwXaE<QSQc<mP-uV(|g(XbsUi1cegEMk9MA9>5)$-W--a{+;Mg06^@BB=AACB
z?%s25?|rWB#^w#`rn>|xUr8FjV#?!xAf&If;li#K8F7gKh6giQj{jinGkvSw!?^m<
zwFkZ8_vdcr)Qc=wnf{r}aLP7rKS$+jor-gccXgaN8lJIo(vn9_o}G%nzO3CpbHNNn
zfja>)&pkf|a!=g((A*-w%SvK{#e@{mGfSh`*A)0=`+ipY<hF}@hN|DmS*IS&Sj#(i
zf$DMb9pYi_If@_HruW}fnt62X22Hm$wJ~cl*Y0_sx`bi*Hh!&=37WcXHtFkvjm;i@
zPmi`b8{sn7dj3tz>#Zy1>hR9VcC?zDTzK8<LVL=Cv-(L6s@!p(BLd`NHyPw+^qy<%
zI`vO-0b8=5vF7JXlXogs%D&mEH{-TK2zR@)5OYqmy;tn%8+)B3rc6C6d#$=HQf^vT
zP43(!tqhEehF`3=3223xMz9uX>m_}7HF-9F!2aoL9>yH~DN_5~<=(~za^jqNxruZC
zaDL_C$!=UKU?!{Ua#oPz0pm84ovE=G9?c0(k6padNZ%(uTDJJ1k?$p4$2o^szpYAb
zdBE!G5Xl_kSe*UOB9USGfyf2Z3p=}yKAhgsJ*Vr+<46nTrtWD=>?^;_QMtfbw5MU_
z6~+%)-G7Qyw=*AfKIWLX@(NqimX<r>j{b8`9h|(+z?=EHC*M-xiDzYm{NBjgO_w?I
zMf6D`CwG+~W0UH3j?2?C;%-`7RP^y_#~O%<_FQu^2tI9Q&UTuS>Gl4EiAN^LM15Fu
zcY2G<KfB<^#z)mFyG(Qq?;rg8eM^(Ug1iH^-YXnF2&vtk9kQzAsFj|0p!Yk0i8&7n
zrt$unWw7l-?~F;8yf3WNT@|}1s)xV2<EP${x`|uQKM<Sn?TSNZ<0Xcv%a-&i_WH!R
zM(pBYNfwlS)Xo&W<;S*6pCpasO{FiI4$ty<d7+45{q}u6e==RPJz}5B+>x;ol@~g3
zb^5Wb+s@f6fAF{Qpkutv$_7Rz$3>AGUhxMO^|n3?G-UJ14RBngbb!C=o@#J@tns2L
z8XXVTKg#o+!L@VK1D-DSp67ZynvAFJxM}-r-j1Y?F9okSEGX@ClzKI(;6eY5SFH!n
z?dLu$S^nl|s)%I5mU$KJ#h+t&qb<%S>jfTF7T?dZ{QB$l+-Wn#m?rLu6`Z(kc`)xo
zU0dm>6E#OtHJQ`)rGM1pnWFedmc99TV^d~!<&mn`OlygmE(xYQ_owZC-|B7Wn{Dgd
zHz_SLdcqND;U{8(y**6PvWrR|E-62Mt=Dxkcktt5CzzI4F<PAXCv6zpF61GbJ@KS(
z!IMp$i?=GhH4}Y%>cY&PJFhhY1x$-`x1IZGb;5*Ifnhn{t{tbV;$E;{Qxy@|E_k6Q
zdBXe_qlv%8)-<K>_7!V#SC01Nu`#ylzf#Ut+2vQTylt06&UyW78*e;IW4gkf@Mo#+
z>pmk7PUhXNRW~#$_SbybH0OJEz}gszT^SBfb{Iv>KVP?3K{bdy^KGlh`kPBL1Je1c
zRhde84k`YeG(BdO)!vjX7e1}DSYLaz=<vEJS3JYI#M<7iILfthW=n3r&SarAS|^Hb
zZky#QeXh@Ey;keq)YavaPm3=<cP(n2*wPQ5KcwDL7ckm;dXMt|Xla2OwyrzD+|Fvd
z9%Srp7L!c)@M(ea3T>|ZZQn%C$QVz5nHOBQSJL!>t9XIf9zkcNJ4ZS;-*DNl`AcDH
zQnsHo|J48y-o{g3*X(jSU2CoIXhrj?8*j=UKj1pChqHg;6z>mLdD9FX`OVE`yV;qF
zCFI#BD4o=L&34vz`hh+F`IhE#p5AzHYpM6=V_JFdq!(%yPXGRQQ%y<5t*E=KZQD3`
zT3GjHb4G7sS+Upnrm2Bvr}3rh$#%@X@>LU4E=&nyH`}P7(JWzm>gm<kZO1NtI`DJV
zylGo(W5W(^czP+b$l>kkU$vRF;>)=oHoSck#AF`ddgjn+Q^Oytrq<=iw};={&Q^WU
zNsYhZALj;JyWH33-+lSMf6ukz{*buc8_M=a1m4*<<?D7oOaF}Owfk)}Ql&R>E4FPi
zc=XVfXH!ad`Dz1K{k7g6TRto;x$FJ?$hsK$gzg8@ZE7(a<2SgR*9$I*X1~Ciovb3K
z!PwaGY1;)2Eh8q)!$;1FwLRK=;}*M*@4T$8Wv-{iRwdl=Ul{81R&J9>c0+k=$DK`v
zQ=V;*JD_&WI{lMclzJ3P))8*LO~)5Z3pp+LV&ettto<t^9`0~(p0sOQfMZ(9sly2q
zuVqApZ&`azO#0YWJ57UEN_Osd4I}ir-)07t$S%?0YbiZzv@dZ|;ra@eX=T#-@rw7O
zl=fzpa|TH<ZTYY1p>rsZ%~<c`l1ZP}-p*a9>wWj$^v!=f`}!|^|7Cug&6#UUx!|-Q
z-+M<C>n^&mHoDEeTcg(9y5ItPL}lGcA4Wd8?@GNPDXw)Bd`}7(6mVA@dt$aeTt`H{
zdttzN_K0hIOng>WJI?ZyoX_}^^m|J}tyue-M7cJ%m#mkq0=*+RR)uf4YdPDG({H)6
zTE=#U1Llgq{-z5o`OCzR8P4#HF|Z~zV!HH`Jtf*9O&3CWlD?=2+wAv$p?rPcF0btR
zyETdl3h$PObN;q9Z`gWwSzNQv)Y}X?H<=uzH=YW1S<iYtWa{m?c|VSQ5bkNx)J}8k
z7Rj8;-uWuZ!uCV%8WV?tb1LT?3QjOhU4Q+tXXl6feZr~N7jkS2TRH2)^oOjoWAaP(
zbFC|hfAw|N6aLC0sxzdV#LQRU4S&8?k;ynd>LgQT^pBMV7sU5iH1O^CYP(>Sh-g*E
z>b2Dso0{_+?=hSYTeHvU-?F6CwYToY=d?H_AH4lr^!dIe*#}ytS2UJ%>m^S8b7pJ&
zrQ}KRwHN2|dhF`Up1ybX8|FjC-Dga?YxZzVO}f;xjJ2P2s;^G+*3`*QA7A@bq<%1I
z>yM*eMoS+y9sTsMVA9sMzg|Wyi3<%5c(S{N-C!-amovvGJMo48V%6G-3MpRV8^3Gu
zPfR&F_mzg9n~@-=^3qQUdR?j;gp@YuJ^0wON34i-Q^`fOHPwd7zbdZ<a%_4s{bSk3
z6tg`xZ{Ivz?ER`Kv9CNfeYV*R-hG<9S9GtbezSD=R{yk-XWI6XhKDuY905k5(Od%C
z)(iV?mvspix}&@68RO?0e!aaf)IK<DEtlN*MU`QRc&4I*%&vw{vNKZVO)5EA*A#N$
zSn)#b7x$UkqB+#AJ$*BAm2u`G<|}++`KP}9oswAYIr(zN!HG#4-dDxLZH2|pAKUxG
z$E|%=ZEo+c?Rp(`{5!XIowtf#GV5(N!?O3@Z<ajL7Mj+*zT@+H;i|&YkGt33_$_R^
zr1R90JEfifm6SjFep+z){3Yu!xsb`TS!*k6lqUL`Ug=I0=+E4A@y=wQC0Xh$e2b1W
z={&i<vnPSsYSq-|idx$y{*5U3r*L}FtiviRn+z&WwyfE4sp_fc*|Lx8mY>X7%O!is
z-|%?v{q=u)g#_;Gby@gQ`^84})ykEkxhiL`m+f|4%zcSpk$K&|%xRiDs<|m=S6|w{
zD5CjXnHhKczkszx`L{Q#y%kfEySe%(L-Hn-!)ylgCOm15s#bfQ=(*H)ZuD7Y@769u
zQMDMRkaxCK3fGhq^!IprpPUqWsq>Wg^fg~o`5lCo=JH>8sj#ZA(|LKr@-Is7)+Wvt
zSX?7<P($QP_^L|t9mi^q9^-i#*VCS0n91?xucpb%64$0a#w%Z(m0T|h<?pO-*{-`q
z@Z|R%N9zo>peNo3rycvNG)4YS%5BX_3rdP29xr)zZ`;hIi8r^Lyq3s#+UCUZ)S7h{
z<lY(oX-dCgRVZpY``&rmc9Wb}2fM5<HZnzgJGSM-0~`Hnev{RT-<zjto#tiKFL)7M
z{BF|g5^KkBzq9T+(TyQ`OWtLzwUGY7a3XM4PRNm-9c9j09I0C>CnX)>cAlO&vrI_6
zdXK%4f}tww{R#J)n}3GJ)MzPstWL~N4Ke9IwWjXgaUnKN4fYlHbgN7JcS)+u`}13{
z-ltFUQ*qeO{nHjMGGCFj=Y!~sXpL32M>$Vgu!n}6Z161SG`*E`a?6T`v$pNpAn?IN
z#~?Fy!!cv4m0jz1@GbwVkj=P2$nSU3NmZe<Vi~1L!WN1Zb8^}LFz9#ca$7o1(Q{q4
zC}8F}Jy*G_`H`!G?)$Ad^NA;J;!%(L+xINm%s1=oZ|?<1RjzMubIH9pE&k{S??V?w
zx5Zxko3mSqhbOO+|7mASE6c@0v6F4D?CG?5E6@4-c_*je^lSZgPkE+Yo1*8w-dicB
zdP2~K(31iN+^iR+V>Ikkzi^m8RWgug<+{-HI=R~Z9>?UpiYFA~T{m0q<!P_WWeIlm
zTjzP&>dYzAOs_v3^CmB1^kGpvc<VrOxpDSmF|OkxGbL0mYG$%Lp3~WK*>T&kxffVF
zij$Iy7dAeW@YML^x;<fe_PwlR?sHwIy4LB=(2-y~z9iF4?FEZ&gWf_N?ldm$Gy#Jb
z8yM1@yp|k)+p8b9t-tE-N>$f7^;#Z=jf>WoFs)yFne&|2`BSn+HpX`wLYl<qT;8b1
zc(Og=vP6fby34f}izfTo%1g&C=6n31AmI9x%PlR36f9a@Cr{$Hj`-Nu>hO>6(c1;V
zPpq7r9bEQt$E<!;u($29z<etk-Y{)jo<*E9SFYD-S9?@6&G~hTmi6g{UvocMpI%tX
z^?L4;3v5$g&ONrl!T0SGOOwL2#tA`}Z+G%}Tz>O-+Vcxb&sm;d$nLpj?u!e|kq<pf
zUWDlQFLLgWX`1`|!qhdNP8Gihoc7<Z<b~hjf<?>+ex533c;mz7HA!#!^>f7$3d|Df
z7Z<8`U7Y)3gTtByMzS1DEB6Y?iZK~(ocrR!%*|zQecI<8nd`sIIs6yDfW>m#;2yu{
zCb|L#&q;1u&Dc@cd4SE)WxDu@j>7XXGg)VG>#&Ht&ty+**K$m1GuyU+arR$>YK0=}
zPC*94JC5)5qQ6a*yl5;Mk>+M#xXAl!>wbU9lY1|mxqZ@puhl70k?cr=_h$~DwGOi=
z)tgtpOLSMpoJjtdKjLp3zR5CQ-KSg_wL$5x!-3}~_i)%QwQfD>^{Gje{dCas-HSCB
z=Be(ye7(r>+4SBQY4dj_ozhG#WaV+LGm~IscU`k&_v3{<bH3_|?4BgmWPEUUvz_Co
zKg@r2DOfIZZR{3L-gGx$&oXO$rj2K|g?rD;n{1TV$W`WNabkTx$INNwJXf<0D1@X)
zxZQPfJi7DmvKua4$6qL<t-n;eICPS$XpOK2&!>=?lk#?o-%X5o8W$t&`npDI!wt!_
z36U|SVo%KNc8V{llROy7oRTG;Imc%9H<{aYOl=oSmL`2JiOv--RSk?jxkxYeki#Rt
z^taP^U6;4NIV!o~+on==OObd6-m(*Ol<TASgv2d<ERyBy5<BHC?+o=H2jr(nEzjPf
zX;i;7+vNC;@?FQ8W*4*1Shw-P!;FJs%Z2@Jgzs|WH`AQ5u5qP%eq)m>_u(U#!}qy;
zPu%}B`%8lCy`NI$7UuWM?tM0$wKvH+p83;?yTWGQxD1jPM=hB8!|O(a36C{<N>Gdz
z<BO>qE|yf~b4nlh@;K6<$?l-m#Y2oy{I}|_s6KD6=}nvOJduH6M{vxdbqc1_&oUcc
z)G})Ou`J=5*iYNt&G~+%S%<%feVxPlUeLx-soDRe)Pj}?c_*cOH{P7Q=Hgtrjgw8Q
zCZzwEy5^$fp53b14Qm{?S&K3kR4z@M@gaIoZ-C9rn^GZ`yKnw;a#()x<)Tixw~4JK
zXOj|2e|cz6&#`BI$$Ign)JMgcQ%>yMJ(Iz9|Aj2koi9BP32MFAQq;89RgA?vLF4e;
z56jkwnKN0R2yVT@6BM?Ur7Prmj)BHW%ag}1<vemOe0H$-h0&B;W+z|WlSUp1C0#7W
zDSS?yRr%&V*OkoKZFdGe&gehWGV#?$17p><3Y_~*jkDhKKahNHedEpky}cJss`AD}
z_2gJhJS~!yRW|GV1=Vv+3nmMzuaJ88n?Z;7n^B?I++06pqbnzPPqvv?tH`S#;@Q$!
z!M*dkd(m~y7eSBxUb#y9By63Md#c0!L5RxdlsJcjz8(Qv*If`*yE9WXrRwRlO2>UO
z?EduiF#T>}y=ScdjUhemL!J7^MW;KeRO1?SkM9xIx45lx)X!Vb{et$#L)>OlKQ0Zo
z=WD;FdD5~fnr(Y^DOaJCOZ#lc<|%cr-p)D0R#$)U>d8&l51LHQT)b<uIGef8<81}L
zt-is_cb@EB7Aju6=k25Od2ft<{eO8oJ5pT7*-2LHQ~9TiQy=qI>V`hJz5e?8egB2_
zEns_b`~CX-x*vb%@2mcOd;j0}@9RFkov$}5{ll%=#>rM|>uY|uzn=a7<8%4C{`k!B
zsjBP5Ty=E0TejEzdu#sx^KSY5{~sQYKl1VH_4|K+zTF-F=k@me`~Fq>rfiXIIePH#
zF9xMs`}g%6+q$vHO|fnF4UUAT0e(j7%#&U)F>(2PtX(YE92cy7prx(Iw55SL!NZ%8
zV{K8RPuD>eiNJGy>lv8hzAB#k^6$i#srM6G9ouzy6eG9{rp#d6@j@_ReffmS&hjH)
z-g|q>a@|f(^^dDqdSH=ff<jYU4^LzB`aNbJ8V)~P&^yDca+lHP<|ms!|J}XlOmE7(
zND&8?b1rUjsU{Y3GZ*SP2Z$AA_N2YP|8TbdXTEc4=2EdeJ5MCcD0<J3vp2TPP-xjj
z5B4o>%I{YPD5^}EIhk+e3;9Sjr$y>Y5s%was;)CnvUMv=ev%k8XR2`%A7_Q`|8GB-
z-c%jV=$~zLu9)-EtmH*q3^VwY4+MYa@LJlj>J)Pfdnk+M9T$u2Yc32tqPzX-e);jF
zCWfR$N>m=&(EQr8c-}dktGk}$Og;WV+R)_XxsJTAZh6iJyykS>wGq_VbW7uR*9L9h
zgM9pNm}YF3Ze#5d_g34TQvXO%+^N*BcOw6REh3rMCCWAhWba#fNYwL|hQO+%i4R>Z
zUaXv~W29VJ;c@tw72~o(E{o#5mpp?fA5hq6&Yzg8dcL_dR^QsdQR2g+H6rP)k`BSY
zTMYHi?Ag&A*~2;Sx;0O~!#&N51(n(>^W}fb%HD`+wEHY+f57&u^nHaiLBXGXx=HPK
zVyZ$#<1?&o`5j%Ql^6G3Ok(~`!ShGu(nHN84MTYX6@6nrcjh`@dXmz<G3Jei(ArbJ
znkJuiwtZ!Za9}&evz+6BM3GCFU*oi$r<R?%yo<pgWa_3Xv*yf+<gU=oDhV<<aB0Je
zOg`IbD~^1BeQN#uDUX~c2y9;D)sP(8$}Usc7J5KY?wi!5%nadq=T2(xaxIE-Nc3fu
zZ<-<;^jB%_^<eA0?Bx-qdh!O@x{TpY9P5~}PNu3Vr7mb&ofp#E&$`l&<$!)fiTm9K
z&!}XrT{|^>ZQd_<=%jI<O@eiqbbMby$Tf3IvvmucYo~{F$jqAK(jmOmFlDyf4WAb=
zlOn#Zuhx4cv|`sap1O0|A=*xFyEaVvd|=n*5UI*Q9reYl)^kmJJ2SbgG%j#bPMfLE
zb*D#7PcklPowTb>SP>&G+QU5UwW8)qVUAXBk@v?`weH?o=yO2Jal-ND?IkW^Gs~+y
z(u5`pMN}#+zEg65XQjd6<trz+7F#ZEI$j`_UHIe+$5dOv2C1SsYZ_Y?1*PtYVZW!T
ztlz_@^Uy@(kW&f6`8$DI{GRisi;8Y)GVr_Hy2eLU@`=uudW)T0C4#BWB6($Q4!eJ_
zZMCs06f~OlHa3AlcILqYZ)yxUDh{n{X%qj&dbnn}&x)?sM^~(|R@(F^eM2=TJL^-X
z`#t`5gSLbnOmJxtKH{-Zm&?NQg8~1{BFQD29G-Q%cm^Ff)6rpV$Sko-Qu$Pz#`G7P
zI_Byvs>w2*68^=FN0?2?b!Ot3g)5It<`BObvG~L}_Wqe-8m;%Y1YLUNEphBg&dD`S
zCtfeTx!~NT*1ICnmM11=Mi_OhOG;MJ&GdfDwfVcQLFb`|R+kL4T>rB2Z<;atkB`@-
zZ@H)a_|{3Anzk+1<$ca5W_8oJJL6R2{T=zM*wmgqI`=L_^xh-ky`60BdlV<W6kc*r
z@xHu4<O1zQvr0Cs__0*SQL!yd^ttK#qQf)(Tv;g5w$=5eUGeHAQ)3iw@8;*(vgrHu
zl$~FcQhc>1Ix<gNZ7^}=tH0mPCVVRYBs*h%{QQ@#HCJCPcJLGzUGVtG3a;>9f_A!n
zf7b5&(Xw!nO2N^Fh0imB0#)ujU3-Y*U?1a!?~XkEx~Ctu3#>_9ZxnrsZ(+#vl>*9&
z%=_j(43%3qkN?J-M@%k?6|O;Qa}67wK3JtxZsxnd*vm88!GNEsb+N0s!L+~=RvhoR
z<YoC2WW?JpakJMH9$?jTR+z!mw8OwSXjAw35M6tYU=cRq^SoxC1>O8irDhyG_;JFE
z0;V+$+m@zpJ72;+*@#;rB>#L?Oq5L|$NmZt?h?toW#Tc+8#cDc=47o&Wm4n0{-U`(
zWxsiZ4Uc4KVd`^Xro|av%eZQDbk@jh>3hT^&vtk3w)KhzO&sEPx7>b_B%zXGeZKRf
ziNMcuS{4(yO_ogOZOc>p8IgK%>Y;hl*snz9Eb<j>IeT07n*J7T4)uu=Ge5|tEqU6v
z@Q|-|{wgWU%PF(FZtZztW*sTEQoY3SNv8O7M++ZaA44zE(^K;lZ)ZfRv;Ao=xEh<0
z8!i5Hw}_<XO-bFF`=2)La9XJUl~4O#?ePa28=hX_(K1#@zkL39hj6||%JT%ryT_;f
z>y?fP+I?mz->Tn2zk9S*<4f~gOXcJYPwrVDeu!%^i)DM~iL3WMJ@OX0zdB@U-?EJo
zB75#$5(-iDvv!-l;@loj{j*&s8J2mLH}4MZmu9mPjM!oot5I#UnInFV(X-mlNBcf~
zW?UA*Z{)UOjnCh6M@nKBtqi`*v|>a4az)-5S=kcLC4XLhx5WEkWK9%f_^R_4D$ZOG
zjc(Ihc<boFV2|A7DaK3%K`qlb{q{KZ>rCAgZLRfn@`mLr?kFeh*%G3-sViLXTX3dR
z2>%MX^}M-035;i^sGgX<>f_O)YYdq6W1URj32>I4QkI>tb2sN@J?^FH0?ua@cHLuC
z*LtOR=JbJ&iOb{-J+I8$vFYQN@UA=3$0xC5&ux12XuINaL!YUW!tOSoyv((%A#3}I
zzRgWfOEUZ}8@ZqQDs5OQUD>Q~cy)AulJe#|DXT>fM&vn{op1Hxy&mT_Z~Z1y_hl0w
zv@G2hYB%xMzGlDN{grC1l04J*<r%JJeAn)?!}8mfkmajig;g0l8^#>1jk4O{V)k~Q
zZBsAfsw%w;@4tBNoj7U6(@u_059^*PF3LK2&Fb2@6N{AHC)J9mR#Z+;@E2cNbAgdX
z?x~#Fh5HQNE^hBOM=W)5PkC}V>(L!&z2uTf-(q+1n{P=rF8O=sRN1qa3yj`4E}S5<
zX|iNu_UDo(Cv@5;yg5HtVeb5f%PMCW@)zv?`bjkQmeUuGi}&NC+cyTN>B*PL)n#mP
zHI?a0&oRtB61iu4zr?(~nd&Y!Nu~K5Q{_&EhI+4_XMQ{T$d)-DIra7>D8Ja%zPc;$
z{en$=N^P6IU75fwp?ZcT`{kK+OcFb7gWaMzg67}rxg>hU$XI#b<trKD21eaEM<)Jg
z6iA;})Tu1K@++@!&)LVl9=_j`KQ8!_9AtOx?Zo8VT-66h{L|($9Z@=$=xZDhIX_u@
zR%4%G#lyC`G{@O*WV8GoU2kU{cKy0)<30(#@~o1Xj7H8ErluF~*Up;QyYcY8(o3DU
zO<y+$N_O||nkAabdgsH0Hzp0tTDcP8m)-Vn+Uvc;{_a1|Mj^{Pc?nj>4!ZH&<(D+s
zyxPZjclzx&w~y&wda-<q-Vxa*rnMIsILh?)M1?RNw0JF`t0bsicz@xlwDbr2PApjA
zk*~NQlR2f0`$dk#8l@{w7+lJ>#4*Mkik;$lweRNl{=3Exd%sQjRpy%0!Lue=q(!s&
zbnfnLonbj!R>tXW);e6)@YZSB+X9Dq`py%~XWm(stF=tr{GCet()V&LyeG<&BG#^V
zV}D<xqns4|r}S0WkGoABg705F(&&^uw&b7$r<kEbhmn`;_Bx5;c!j&_musC1Z{}Q9
z%xvtK+ofLovQKl;hMebuAr>w>vUNY7*!SqmbOvS5Qz_gft!dLNGK!~2&kDVCfcHsc
z>3PPWmPbuqeshXnt8wHnID0@PF~D13@r3GsM?Ipx6)5OUP+@IN{&@J*`ZsedxAid|
zsW5C`V-qM)Gj-A-mxhOvgtMHw`uTS+n-k&iT8K+2e_f2&is?6;SyP_eSoJ8%_tbL#
z)7w@EwX)osn^j(=HM7dE_nta)WNQNN&AEI>mzf^vo~^+#X?uS8E?d353*6#Ler`1B
zzG?L7h309SP0!Bx9eSbrbj_xIr)f=7HkVJixoW!p$!(R(W%_4@ZG1Mp|74D?RkUqT
zHuEdP5+63vV>MwpWjoxHf}R%keYcod+g|j{PsM8E{Ky!Vmme;Cl_+)Bdh=U$cdP!K
z!w=?l+}p17z4*cVxhomx25}y~{wzNKb|NoN-Hm@a=KS{_gf!kcdtdg@PQ~dH@(cO{
zRKhQ7v?cE67WGtrz?yq|x$Dk<=e%nFpYA@`b?8aLnm6HY`V*}9Ttq}>X!ZPNN|F1r
z<+if#(w12Doik<}_{zGI%kiI@{e8x%^*h@6ZU4Wu+U}BMksbZx!l^^$CzKRJww#~C
zSw7#HuiBU8;oV(+i8k?uD^A#_xjj6P)i%l8`1Z{=@}lAo9#7rypD%1l9INwR%lncq
znOAOBNKo$b;#l_R^vOe39^aNMF*DEUx)g7}S(9I0YyFFmw7u`#3%yKrPA*^7#%uF&
zg>A@ww_Or4f974<_krsi!~5F(!qPuihJ`m?JNYr^(Wi5+2a|-1ccg@*sqMU@uB2#q
zbf;uO;sjHzixsOxY}Hq^2ZU)vGCtMln!Zz1W3Bq{h<LdJEtN0C_e3VFn|y0A!@-xX
z)9h1@JKYgc+MT`9!8Ph?-vQ=HpXODRDlW0o|LVrHM?Ltf@rmBhl(&}(CcQT}nZC(I
zLCpWq;suv|PToFqtiHH;#;!wL*X0BzZwWA+e=1Pvnxwki{TY**k|)jW?d>r(Fm4o|
zX0&PE6CRBi=BBycywk<=`&nkh9-R5Ie)%s!tA#CH{U?ij8!l{4zZ;bjVkjdpAw(lO
z>b=d|KZ~@knypy6Qb0K@kKypdB4)uQ&963z&-+!iwCF_Z^~(#}1Y8^vv?hKw+c$X?
z$0FWIk8Yj(Dj3|ECTG{#kjptMsde5j*IJba^Oav7l@%0BRh%sLWc8snuBSsqT3xTr
zO_J_eG3n#Umm*KQ92dF;w@iCkv+DMa#;{H^C(ji(1?SCty09z8WYWo}7ju@a^b&43
zbN%w9f_qsnCvAP*+u5b{QALGIUSkp4nQYrhua-}eD7<u~w)13c;Imf$1JZ&ywNs~F
zoGBUngdwdvH^B5jemTpYCWePL45f#<94rD^1g5+enOhd|)22b>uFt-|Tg-1A^uL|T
zxcr~<D#pnz!S}hY&T@RP;bf!N9nJbXwH}?dugX^ab6H@}wPD$svLF9d4qw@#b4jE=
zF=K|158KT<wN{qaZ=Cdfv~JBl()a6fZ!Pm}WsfyG8<$TKQL|O}RK>RH!ox2=MBc1h
zvu8=(#cQn#!sM^AGWYX5Ih0q@8>#t-;bgM^s-o^mQ*Ew(%{#b!)8uWcGiwwld#y}~
zFN;|Jma(VvdfnvOnD@HAlg%5}#<g_4lWE$_!}y$S>j%9LN0&W#nE57U@|hb;UF3|#
zTZ76b2A|%n)wAPR?csaP(l0$axw6t5gZ|!Fk;k^Zf+r@u+wSPG)j!SzWW?mLD%|)e
zc;&8XQ{r}w=MoQ<0@}2e#*4Fw#e}r09=fyR!kl&2?|3i;b#?|Hn;`t&`;pC>8O0s#
zJGH*Ai`<av9xQ0Qv+=HM<GUFWpSk0>H}q_H-F9Qww`UL5WaQt}iIM#@AyYZfd&PTq
zjbJvu&rvf4j?Hr@TVb5slWVgm`N`~V_uV({^QVVfIeltp{>H9d(y}!(HuHytbm6>J
zom!XWcRS@rh5YB$%j{^=t-o`5)4eCROY-)!&XE${wD5j5<K))=k@Gc9XLeio**sN#
z%yGS_MP_+uMpM)|PQSXzw|DRV`=%=3+SKLtyccv|cL|;Rkjaph>Uy_`!93_;$#UhJ
zM=l06%vdC1v3+vJOXiHYk4_CX4DZ6GRNU<DSnyBemFLMNR?2J(pY{25lnAq#E@Tby
zl3VY#R`Yj`tCfXt^t`9BGZg|J-)wyMb@wHw&82NG{7PRgUH4Y(?aw_eRu`>zoY^+z
zm6*}<d6WHIi>5`FTwNh`QaG)#rt9|Yw%G>qp-Zc4G6YV~ypn6t+1;^j39n!5-E9&w
z_d=yIj*IT)tDS%KdJyMiJ^f|7-W^_D(|+~Dt3J*%QO4H2!3VFN5Rq54Ug^y2k+QvH
zg44kYp3QS-vDj#zU!>i)Qt-&O&9zGtHoQHu#mH7<f!C)$`vjf)n0SuxCgg4WW8HA~
ztM;2OH&(Ds`*rA`%9{6fH?F_vza?NM$yd(q_~@Xj#j0Y-zq5Bd77@&Ocac9geYI8A
zoAC3q_4Af)e*9;7L~M5CS^=@vok3f-eR;Si?{B)jxSYVt)py_i%k(nh40v*43yTV8
z+SwQ@o2fdc!JY1(Q?@93=1!V->gt9yy+?(4(-*zUc-B_pu;SyZzd|P)7dRB%k>7eT
zkl_x?twh$g6Cwvxlpb^V*Gv+hay^}Qm;6G%j+?udt(Ibqmfx>??YzE%gmO}o@866o
z8<-@@7I}rvG&y(R!Ly6Y1Mb{dmv_|M;N9B4tq(<y%;i*Ts?u}pO_zK9FE)(fB>NhR
zl=5KD)aBJ|-CUPrmUTzHpZ(*A_?l(2^nE@(<jUN>cuD*vzg#o3NjY1eckG=Y;I`el
ztKgb(+dZQ^tz))Jg)bz^mCX)+9{E1*%*!2W&S4KzxLz&bKVmoU%)6b3Plo5PMCc~G
z+WNrRbNAu%nT!uv<_FBVwBnl4&5h~L{y1hjJ649v3yTLjT;z~C=qCC_I&~@MDT#OM
z{S!{E+-$#2sQtO(=_v)5Mb}M}wU!ev+x1B9k)F_l`V*6QF7wZveP&^$v$MOC<{`O*
zZyhIPHN4*-yy(3|g~AWcwa4E{cm>ESa=I_&O253Mo~^#*$is6Ich=g;Ns6CaUOeN<
z@!f2k_x>tXE;oA@xpM9d8_|m5uvhA=0SwE}%J1FdEOt4!<;kke%s;<Mm(J7T`lP({
z$lHxOKa@19ZWnhBIQvrS)qLB%Z(se06TRkK=WE1sO!Z!Y>@x?wrrY1nx~fUKm8a`Y
ztS(dQyrwP`=D#{6-u>G0?MFT=aFJT*nzxJ9RnyEdbI-xK8_a`KkB86Sx^ny7^s^_c
z+BdVVDw?S&{&i{Rod;U7{u18o93th(3GGpGcGmabx?NR0$uW1!-HT;=e|&Aatk<+N
zF=5f1*OP_3&M{Al{#nTtrS+_FUgm1`6SDt4NF|kWq_w<y&zf?SX~+3jw!4%kMeHqU
z6S!vbwvlnpQjS$GCT<blwrxi4>J`qK$zk(PJbCWfuGjPK&cjot|5nZ7<Noi~?_zAI
zq06(OMgH=o40VIs@j}c+0%A(dPS<*bZQEW|Uys_zt9dKj$$i$*vR7BcR~PuFU3T3j
zRrxr1rXRz$S)6{KcQ2eJSSy}=VfR|4iCdMPH3YgU=kXpr&*N8bs`yT9y3Rt*DyK#1
zsdLmXP3AfBMKt(b)Y8WqbER2c@VI}MWj<qa+hY4>OP27E#?zCSmTqTAo96Oi`kF^J
z(XxM53fDIEo638#ci(3^^>A72@sxuSYn{E8s9&v7aZTJDl(fb6QCy+C?afq|h~+J8
zB4yUEHcj?xD&D-|>60%H3p{2SMo4Ee%w8$9d3VBhkBS^MDei~98A6dqR;VuUDOQjW
z_Aly7a!*kV-QEx`J4L|N)OSn7(bmwulI7(xJTaU1hqU(oKlNOs{(kNxkt_FoYm$GJ
z8|zztQj0MX%GIcRIC<@iX_^(rn{Sx4vgJ;yX@2`+<)0Ojg27UOR!<|osC<y=e5J}|
z%qo+)kE8Ef@ch30T^EX@#HL-~;xymhZ=)@7IV^4VHH(>>UkKb0fBjs1!knY>!6%C9
zYo2m%ESeWt!E!aUvg-frs+%7UoBTd=n*Zf{J%)*YHi~hq6W0$ah?#yuBIu<-`a{2k
z&YQ1aXWZ?ob^b$Mn31UPoH(IrNqb*M?Eb4UCvfK39uw_feG@;2d@*HSe&Nvr;b}>)
zeqDPqK`J<yEisK_|6UHA(+{W5x#u*a#s1EWsiKeXMNDH@^;XQYS<Yi?&hI_HZY?`+
zoy488y_heDr${7>pIPVrnJ=$1xKmyAbH($RYPD9JvXlJhb!$Q1!m9PWuZ7C)?Cec=
zGw=SKg}-+D&a1rApZi5)c~3#X_ftyU=^Z*EE-K4*UEUgz5SY2y{_n9$_uStnqRj*N
z^8@=zm=Ev0DeQId-6q}4E7H^0e*Ds#P~u^Gpr_`|zSXbpdh^avuRAfftl9Of{+Tb)
zI}AC)+=``^2d}#u<QSTz)RR<tVT!5Dg*okcU+x8+Ixo5|(onN@nZQe-`77Jv_SM);
zVDJ1oHE-6+mzO2yo;%)}achyAP1YyPcN|HVx1D^hoVTp*M$7U9akmF-|4OF*@yIhg
z!MaR#z0t!f<%ukRI)dYcCfYlG)w;E%YV(udACH^Jhb4(z^txI;VS2OYiFNCz*{fBF
zt!aJp{CCuupFL-fdi+Ye-sk#raqK6q+-+v5l1HBHIJV^XA2aPw+~>XGSws#8+<abP
z$Yb@b`DKEfzDHS9|Mqvcs@40CKL7hfZTEBg;L}{@H|^GJ`s;sq@7C_FsqOY26SwP^
z@0fOEzQ)OrM-lm5Cu|N>?)$pS`O7aQW_y2*3Hu^c4XlsIm#|M4U-Eb6CYN`Ub0>U~
z+~Ah5UFF;X$+y4yUcUQqvs0l^jQw<e!To-Vj&;#y-|sDroE4MYoZ?uiv35b>%Vmo#
zFN<!hS^X+0JUuTUS7zPJxn0i!oQgX3bbjA^VOi}x`BO>9_W#HgEmfHLZGTFwJCnif
zMXNh49A;I&2+%vLywkTpPRwJ~(insPXQ!OL6Ki+u_UfFN=FQfutIK(ke=cdbQ<KrK
zXwkIUqT7r1ty%GAfs#AV>YQzy2ZMM;rfn{%68n1d)Lq4iNnP@Nejg^S;i{Nv_H?JX
zqKWO~wbN!8?iDujTUr}FVM$&<;Pl(OyiU|bz1sSx{`u}N^7bD8r=O2s;up)?SyjHh
ztcJPf?yV1(ytRUN@T7mykJrB5{^uJT`|bjxN4Y$=rm@HF7j(_r`)b|$GOpK!(lOl&
zIb+$kmZ+Nf^{`K_3N~Ao|FdcHSqtTFTki26`+TqbOLT1%%eoKGOFvHEUcc#x{lAYN
zH}VR6J%8nZC!5`!JrXg0@36nve*e#M`G0@5%hyl5WNyD_fBkpm**^l}oSz+d62-n`
zrTm5cfA;VH_jdRC7aU*C-;b-`Y4`U2`Z{s>`aiE9hyUMh|L-&Z_56Qx86V5@&iJ3<
zz#~<-&wAhfl7FxFf8P4}#4evb{sR2_5BF`ey-=C=>~nJemizw>&$s%1{H!?h5224Q
znBVcw6|dRm$oPY^{m1mMC$er%U3Q%36@zN5>@WUh?R8z^y+w5gr_pPfgEPJ!UOxL1
z_w)JlKYwI?E}z-bt9+=+|H)Uqe;2P?)#QnOZLk0R`u@M`{rl7V)pP&lulvt$XeQCa
zm713V-HVW#my(~9#Rb~B0HPHX6by|_49!6*Kzw5b*e(a~z6RHd68GSe#FA768yk=S
zXs<(}fr5>Vg1)n(f}w(ba-xEvf}I^)&JZSNpl4`k3YLekAZj3_euRHgR%&tySZ#&5
zf;ng(g@S&Cg@Of?WvO5ZWf>YM7#e`tP`z&Xc_5828`E?RbPW{DKq^2&c6MBLb}-Kv
z!9Am(A5vM6s-Pc`n4YSjs$d9GsvnS8l$uwfU<lKz@0*&Endp>Xp%ASAveMMROwZWF
z!ou8K!N|x^&)CS^!puw|7OdAfKd&S;ucTN3v@Ha(2gJQ7zq9};oFF!WML}9XK^Lr`
zA5xT<S6l$HIk^%h?5R*vRGJFoIR`7~yQG$7CZ`6uJAnkD9uG<_&Mz%WPAygdMN$xw
zKSALKiab!X_&~O%7=ru`aTm6|DImu{+y{*ckUjdrrAZ~=U~<bZ$_0x!A%_Mi7>uC)
z2YZVyo;8HT5AtrB+)(dzD&{=5uWM$_Z9Tq8^|akFnZyeYYTaj&CjDks%>2&IANh6h
zJl$ZSqrYme?w+<{Tif3MKb}AT`__GL{lDs&k&&f$#P+(p{=R<p#7N(X&zvpXcdzXi
z`t$VvPvfrNyX3jnTw7-yK6CT^`uoo|uQ8Q4k;!u=@Kr#<lOG%r6)Sa1)2E)=V_jsJ
z;$iWr^u(H}Qr>4iJor2H_v3%BH{CPK{{CoXmB7gvT@4Zj{>rnzUy4*Ws7|`)rIYS>
z*ZW$XV#?Czw;CDN9ChE5;H?sIp8KJK$k8gU^XINDY%OdKnbLP|Lqp6;>A+7@L`qlf
zv|H}=DWOfrbmm0=S$SuKGP<wcaph*NdU^Vu_^OvLk6Wj%P5t%y=+T)q1x$UxOqZFW
zdc$3_#iT#;F7C;Y7hNBgc1zVJOL^O^E5UnqW<_2sm6?2MkNV|>g$v#}MBX^MaN)V5
zhxFz0^d9Z7jfhOvvsL|RoA@Bru%2zgmR$<Z>KM<lKI6T<Lb9ZB@spps+Jk@27g%Q#
z>AY4=E^qh6XR{|ZDm!PyX+6(b_t5wDl$x#L_vW-6`)SA6H(e!m`hJhizhoXS=E>5#
zqH^Mr^QJH7CNG>k#c)SX)XuLj8m|QiZQWwmI@$U|s`wW9#G^Mt%X5$F=lZAry}|yL
zb9;BwM`hof`1jETrNOQ$MRAux-g+~3b!lbH31s2-V7qr^!hw>CNg~T-b7p-_T4tfT
z;Bv&?&nG0-6{g%(GpOl5eZ8!2-kg&M^5;m4az#l@lfS+~XyJ|p1>c0NvVFBV4j-JM
z>9n=<g^7q(UCzwoM{jS|+FiV4Qle_1(~`$bKWZE|IbJ>gxqUtFO-ZR!%Of9~>`Y*n
zjGmSI-Z#RoQSYU=x!Y|q*Mo1@6x@AXaiz@g)a=_n3ky4VF3bKonY>Li_Ut}?9Vzyr
z^0j(ibMG+!dRWK2dTY{mhfk+;%TM(*eW?7$f5%UK_8X%ohs8=yGu$Y9Zm+5?saA9D
z?d4^YKS$=z_N!2xY@2IUy-{MmSuaOL&5aVf@Mk~12+y~z+@oyp?4p?agp4`)kI!B;
zUEabLmdE^}Y1zdlj{R;gPi_2m{oTTbw+>G^g5s{QTRU}`+?=pFk157CBV@f$QZlEd
z^p!Km92b{(%dMYt(ls<lJz4H#kv;pLyGtU@iMF$M8Eb{fH(mT%>XgMPCGf3u;;C;;
z(!Nd%;dwHOYq>(VsBHP$+nT@a+Ig<m)+g;eEDHDVtUJM*!e+g!-HUJWuG+$_8x!x}
zz5kRWzR1z*!$&)&zvphaZ;+LG`N*U3YhVM{3buP3xpR)FnJ(~*vdP(U=Y98;fAMwo
z{|amO|6@M9^3ZEgxs6&)fr~Lv(WaoFU}<3nQUKzC%LEVuQY-0`Qca=M5TN=7Vvd47
ztmH(L=tI5agx3?$K&_aQ8*H5?YsmAal<TUd#7E^WE4MxYn*(Ku;-2sLQ#{^&mU3Km
zS2FO*2jl&>UNk>@@V4gvpSrjA>-+xwT7HsCN^kD+ONYKMJ{`5?W>?|0L)vBOu_h6D
zXZ#+nwx8$oT5!uz|F(y=Y#Y;>6e4e3Unef-y5p=$N%8cEC0d+?o3*8LXRj^rIkH-+
z_2%RYCzot~<hyo(ck1WBhrwPN9S#xRXPm9(-JB43d{f`QQayuQThVrx`u4WSOOtPM
zIhm>CbZDtP5;<C9@V)-_j~DsAsT0q<$kC9w-#^dCA=#*M=Lf$%8Si#%RQh@DS{%>4
zqy0bqa<yK_i62%CQ$O4C!+Bn#(~*<k_1+Y2Q2f@I*1*-hsG_R%4VU2~Rq=DhC7CXz
z@@LAvXnQEjJFXPI?3c7deB*^1>c>P6Ke2ts@jzhpwD&vrC7hnQ_4TQREJ2&KjHQ;v
zbK0M^Y+01vrKx@<|IyJon`S&yWj>#N#DOtr0&B0dh6kVAEQzJ(qF7E}?f)lJ_VmcA
zeAU)%EkzHmN}aCSlE1LkG_cvohUG<tx^(!%hCR1z&mMjfWy>jX{G87GBPy}!j?)rL
z*P2-<{$g63c=}vbMV0Et%y;~kBPJU38qRTf%~RI)cEXjteu>@R4`qa`-YD^>YQ>rc
zL*CZy+A4d*uJv%IHw!ISHrAB8`Ets{`)td5lJx~%z6&w55A-tIap>LW>~QYQ-%p#q
zy=?Y>`=!&{zb*dD`ex_HXix@&CKhNz(GZj!Kv_gVLBZ4nkpn?#3nWZw4g|IHAm$))
zAiOn)bzkjJYP*1%+2EEMG*Bz%l!jTZQ#BVj{aZxVdP1ny+T$~nCHOyB%;3zqFK=)%
zNWY%J{r_ZtZ(W^L|Ls1_3_iVWm+k*Qpa1^(+h0@n|GUQKrGck2OP2=z`BOP5)7wSb
zX)AM;Z}K|!X#dUqpNkET@ANvg_xQiabCHvKm3GXUfBEtm-`CYeuT@r^->l<(Rc+z)
z%f<d%dzBN87Hwb1?Rw_2w|_0?wTDgGb#Jfk*wYgd78CxwQeb<qqS@aYZnn>T>}uD)
zJ1y~ROVK}zyX=$W=NUP%tlLp5Ds*(h<HIv%3MpL<l2i)o^EG|COETnk_QkJhs*!G!
zu3pM$FVO5-oVL`t%~dc@+2Aru+4}>gYj=I)duKZ3xH^~Hp)}FJ%9ZP<6hF8Z>iNVh
zENAB7c{yuEN}hP#pRQ<frF4tdswL07&p3J5zgr~v&u!ud|GC0aGrP=YFm08YbTwq^
zg`0hS6J~aApMG^xy71v8D@6V+5?##6KYzLj|B?^lzdDngQ^RacUw%!SP%zVryL5Tj
zi6@4oS10U}eCYDLGt^XYZETBy>z_(P=i|o&r578WS7kmMR+4AD_NYg|s!O7hQ~l1|
z6m)yoYFI39c-8gGRkM_@;jeyfU6>;Kr*hKSAFXdSi(M`{B;20e_{yy;)6BU*FYVb<
zuGmnW%t+B?cR2pC#%k7^H6B>-rmbh*-vjsNaleu~tj=-6?QQ%asm$Jm8{Wk&+A_EM
zLVUjFVcRtio`l|vH<-n0&=)3H+_Cn6pn}F<zptXV*D61r`*7bBKJ%=<^V%+aowdG@
z(dC7qzn+bEZ)fr=`9O^fp47=_WNTMeZ&;eyd#K~$`-1(|CLP(k4V-6xYB|4|CD=mI
zqBnfw3WqrgfsEhmwldCID!HJ>^0AKE@yG{4ZJ)DwP0c50nr6PabLo!5tEFs{)5X_W
z+O*YosumRg{OR7~`oUzA=s(4NLticZYsrW1i>|u9+re(yhZh?coUhu$;gQ?BS5<;#
zec5A<&<RPJyPWe*UkvzbU=w*ZuS)Vs;#RhI&)0XZmbksK_{F>DxesUdDW_B~%c%WQ
zyxgDbwVw~$oTnUI)|nsI9^<U^eYi;YBi~FH&&$hyr`b%-;4-vvmAJ&qoIZDF>wAw1
z8|%e4!{QTLEcG(49)7g;j)m2gPomSO@z`EI!c#0=w{F&FjeASjKVQ;}_{c22fyuCM
zLqKzNb^pH|Y%G8KZ45-O?r2@QJ(hLLk*_kvP78XR#V<s8+?cDfaGqg|h0d|W)?G8V
zsBwJ%Vtvy2)ASef*8E&!?>(=R>D_16pGDu(pF}M4TzvV&)1`CFWOBLU9C=&4)5^jZ
ziN`H`{C5}Y!e_ajtb+HpE$yB5`OXKkNUlG^@87MKRolJm_tDDi-3LvlJF`CNnY>_Q
z!O11D7W4U%>iEv++Snz$7BZgFDH*G4w?*SA*W+k!{)g^a*SUkgR@|)&+4;IH;%wXf
z%tu?^_%7=c`N68{)W`9rOmK}#dS<KXQSqCvi>A$!k2>Su+?rS2?-=#!Y?ryH=qba9
z2?DycrL`Ydnz|i%+U_&E?F?7+O{R0<;<FUyC(Ju<F1_Jn><x=+i?fesdtN=x`%ygj
zc5d%^krR8S?AHA_a}j^KLGIh@{_@)%&OFckQ@b$3U%tvU+^<+Z+i}63Xx^IX>wkVV
zc(FcF=D+am`TJ$>_x)!$eK4{fON{|4zClGgcx=Jg1f&AQH3SugAO@vXh9RhP4lxK(
zXMkFA!=t|o>dm9p8M*z|d`yNstkv@mnYM0x?EfhFji7*#HzR97eP?JxOOo~Z7dNZw
z7?dY(PB|enPg~Bv=Qa11kgS&)mrksDB)eQQrO7-*cgeQHZU^mHa?~{TmYwUVo2+bR
zb}5W~zWL)Lnf09No!25)9~N=-h}@?wpZw%j^`9=j;=7g4iyBz(-Q8z=4itybDh$>x
z00lTG5<szRYy?sO;u(Tm4`NUp$ygc&MxcntAIXqLyrF`*v6%sAgaqp7iaB>9I4eRz
zr`dg<TOPmn*8SBXsfy95nv(<+3>6(Bd^+D`@CZ$~(8TD(5;a@lk(fcI38$lphJc8m
zl9JMqk^rgI3JO~Uw={-D7i_tDP?gV0*5Gchcl(pHbE{SK?q0UNUju^1@1H%}yL*1|
zyZZmdd5p{q+#yU&<qzL}K5aMSSBQCo9H+wB$cpQ8<06D+a|@KIGYBtD-F|Oh&5c-Z
zMw^hf+U@ts@-v+uzu5TYF2{nq+bS;p5!zjSDYKzK|0-|1kLWkqW$Y_$W}iCQoxlI{
zJlFWh^q@-7srmbIZyx%|aCY*_KXOyM^XJ$5&-}AslZ--=%GAB7<vLo@xxa*K-7Zw@
zlTgtR{aU1X-}Tb0gogWS@r+Nof-759oZVjE{I=S``gYwmTVo&p3$>h8PAhq0wGDQ?
zE)L8us`>uhdWy-c<jV8upS*U;tPx-g{+sA^fz>hkz*f6UZ;Jffr>8qDxpuYg=8V;E
zi*}c3UY<WiJe2RLSL;frwFco4T5Fze<En05d?<2Z=!>W8+E(;w%srdh*>zlY-dt0g
z^cx4J=v*-M@G|-5t!-xd?)ILI8w-=!i#xq#>xJSCWzWY~JnrR=-&6PLbnc_li+Xxp
zlXa%I8k!rMOn)G7a))=}<Q_wVOY*IbvoFi^d|6Y@wrIOc<7rdPOUqU;s~wxPBr>vX
zjpW<h>Cv~h3QsrU7dsw$%=Cz&r%6si(EfloS<`YkR8>{^d_JnYy!qp2alh@iITLrw
zOK#o&$K=bGIePc)wIrq(`Ni%i=-O10e6r@E(!Rx4jP|GSdn$jeQApcZ?ObG;xX1pO
z*31KiSJGBJbYF0ETYRwTx;qK!t9aG2qOQ;Qwq{#QxSr%D+Z4~cQ)kb9xjk!Fy#9sm
zuSRn>?@YY8E7~*NvhD7d9REun4;b&CS8;XHYbM5>KTiEB@6Vn6zh%;|)DvpQ_Jv;9
zw^LE-)Sr_N5}#$2>VCI5Uvc3WpF3MD<LzHFGWwTPh0IXfIY&6jN&4oh_7nxdTU)%R
z=t(!F{JQ)p>2#8G(*3Tt9ZxGK9RIY$#y`$PKIc?`@tJ1b(+QH%YPz3wy3NkV`fdB7
za%3WFd;bTEh)LIPgc~i-)KF%g{iJK1cy4-JTvgG*L)+{0^e%@jE3G}{!}#*%*63!w
z%zJYdtGDxJOPS2*O%c2GIQyvk+GswL+~vxtFIvPsmTR2&?CxwDt!=&PZMLpsET0?8
zm#@q|de%N={t^pHx2Aqo4vN{gq}F%C7OTZuUz~cudy)6z9RULspZ9s~OL!LQD{9N=
zKd}$}aH&&RU({x5{ol>SyN~Y9;RsH9H>FtW@@0GL;%A$`eA#>QB#Quh@y0;UgcGJs
zJpa=7$sXeQV!7khk>`%-x>>zPSIv64VdbpTh8KOK?|9Wm?%c`7px>XFd;U^pcl@8J
z?GqiUn$#W3+xyex4#o7%n=*Or=G~DySIpY>=)}Zg>+Gx_Wglnnde?UA&sys`ebMV1
zS1WEgf83LSIr*5R|99&ti$B$6Otc72ow1@Vz;*T3(yh_~M!(OpK1(W|xl`QBbFTnb
z%Z1AecI-DPQLIzCBht(i{zr4g>6mFHYK4zmCoyqdW}H$ebVxhqp@yMev!}K7+M7WZ
z)*ehh-Nk&f%f$V%zlr=iv*LxN*`^hyN=pjE@}6yx-0Um0KjYGseP{H=RE_>CPhPq-
zXlICGsQ1)Mi!bSUnu-}Mj{GK&$Nqq!Qh_HWbB0>=RhbisiwmaAS?Sl(nZxBbQT@}&
zuK2mEn<E6pPO@fcPT8co!)4!8{jjd9Qw!9!j~7*{?)P8Wq!re^wMch;*sF!}awl$k
z^!U@`n(j^Q_RCFHAHVWBtH0`NjKb>~k!IdfzqMu`f3{aE@7<K{-CP?#dO2t8=bzZS
zZQ@zo3y=JROO0AQ!%s-<y`~i18@#jS22=DIuJlcdj6~I<c)wZRUM0Ov;_^MQi|M>S
zlh(WT=u9?^yOP7g{$F=fO5ow8BAUI+S8rYt^fIipwZuGL`RXV4E4@Ls_ZQhI?>uv7
zjYrs)89|1weotR|?K+ts-E(wX)EXsS`LI_$(S_Za`gX_pXT=%s&Hg23{ULg%vz$Ts
z&V@_Pd7M{SrY_6nwa>oH+|&O33p>e>JF(t3((g{+ExmNfyZ&EabQczjvmNe?J=?&y
z?25&ghP6izsfd1hn|3wp!S21&V~$HaS+(2aF!RxQ=C+d>->K}K9_PHk_=ahW9_N~<
ztvd}RWWHZI^;msL>|Jy3+vPd-yH@XZ)60tr`84(5>!fLWy02aBxW4|IJ3mL$Vc92H
z2R6==Jvc4mZt7eS$K~F?1UF~r<|=08FICQe_w-x;;}o;&-~S$}-SSU(SG*w4zXPu>
zov2%P|MJ}>5#RoGT)!#*`-a@F!iHc^J6WT@c}KID?sl2>HS9c^5*QMozH7_6Yxh38
z@2UE>#c>Hc*P*f&NwJqt=gXfFYz%(9oaf#*8PB2>S~(d!as@A!_m%DUIHnPMqB3JI
zkJX3!g6|G3I3a)7G%a|3cm!`wp@y!Q<{1_><M6kBuS>Ux*0Nu^RjnYqF#oYmo5qT(
zqK_7ATch{MII?YiBKzNYO#aR6&!zq>K4R3|JBdf^l%$zW^sjZ555MX-?~%>P%d=Xv
zW4=bjo(=1?neVSVZNF#zb-ra0o1B%-eB=*_dFG+6u~Dsmt=hHj#uw8xdUYO$gf4Xm
zpUY}E@k!U@9^TilUS;uD&h9Z}nJFMIwculWs+zdUbk%&1yaivpKK*<$FU2@gCq?ai
z|HLol6TD^@<eXjK$M!xVa=UfK@w@!*`Pe?sdcQYc{@S`-uV4G~HrVbx%P?b0?eod&
zZG@R_t>q5;`YFTm=V`?y&8#&gtAZCjS}T~wZX>^tMRwPAtA7DL2AwfJExbwwmkw0h
zta``E?Ad!cowKUy#DcZC(|7AhC$d()kFmY}VfOwLJ!gAP_niNdrk0}iZ0V2WzlHxQ
z_Ftd>z+b0Bw?n%_|AUx{h>F;fDN93+UORI2$n}bBp;bcWOH7uOEIIO(|E>HL`vn&3
zEcV@qo)aJzE*Aex*Ly|J>Ynvq!qi;O{S8bpoz}a6*Cgh)L$a`Nk<&Ayr!79JvbOhs
zoKE#;VQ$<rZENrHUF!{A?$kZX&MhuG_w#f<&D~pS4t9O#UlM!$@9DiuKli`4DLNDS
z@xq0L)xkl#cx2YS_}R1k1K+2^hyOCa@wc9(GrRPgiOI>?%5tW63Z}>!-Mz(--2eN|
z2Ehw8#hRZRjIHdVUKQ`Z7uWxLu|ne=eSgip8<w%VuwRx~vom1Vmq*QySPSJ>rx~x(
z|HS${Z>G9m*Y_j8A3fO<eQ&1C%(n^KHyzD6zU0Es9|y(N_VGlkG?%6d9V)P!S-1Px
z-#rcDpN;MvoEpdOan8T+|JJ(_(ayj3PcHFl{QWoijoHb>sgE8#K2bYcC#a_8jzzbr
zUfef>4>oV_iR_G=ZhlxzUURlo`o?4KvlR@jP8l8%dFtnL)h;LZeOA8lq3w6>d92c1
zvZu`H{qvgRuD{+?3qH2K-0_kB*z(jRcPF&jbNN1sl=-~lDNC1QvC~75w+U>5?&mh7
zFu$1`K4;(4o73OjtG&PczmlDh__Vsv$a{6ixphsWPuu_1?fy}9QvS!f>ux;j_hdg@
z^kc=B@BI7z7p5JH7FJug_rLh+N6PIox62phCY-o0d|c|^y_0gE;<JNPH}m;*=WS)M
zkliIbr|fPT`{Sn@qSuJc&f6Mw?B?1u-ZgvJ`YqPz&N`g8d4?#<RZZ))QTaLsYa@Ao
z)@Ro{TsUvPc5Ri*39Td7YSW+Cb8<Q5*BL6E?%=Z$d9W(Ut$K&*p>;PWzp?zLIZayU
z=Qqn|meZC_ld4`?yZCM@qtKyKxnb>BB@fz6Qp>hE^l00zTxJ>OIhqsBOj2F{=4ocu
zs+;Ma+th9cy=j(do)cHg;woYpv~12v_o%k$_S<f^ie-16^Z6_F!Fc}@_x*34*B#CO
zwEFQGVV%iuf@Ol|)a?~mw)y2HADs!@KXg);WlpP_{8R0;&ugFPiHlD}E||V4D05?K
zXL9G}2>tN)g?ApWX)S%Gl|6OswYb+SO6?Nw<=oA={p!Z6JE?b5Z$H2BJm=c|E9YO^
z{!;3)-_iWF?Pukgf{QmV9sA?E+U#CgY+_lH#9iqrI(2{dt)0A@`{|!`z7^5y?W5d2
ze)N2_L1f2;_J@+S0`opHw`k_An|k-^yjvd1dEZ#;4t(gnxa#ndUBc>1r0QP3@i*{k
z{Bqq*;q5QYw%>|8nr;`0s(VzANhM2ri8md*c5vIpXBVekymrxSwfLTtzaieMN&_O=
ztPdM&*qG{>+MS&}ZNi+O+?CtHZm)W)=gjOGq|+suo8iuG6?j-frs1N5^6^>0MwdQa
z%JW?9vD)YMgliM7O%(G?i~6^{-PQBg@54rO__*z+>`(X0ecR+)x%PbB?|XB?^R;aa
z>(Bmj{r%^+-2WftOWB|7S$5^hA*cUSSdK4H&)P2Q<7G8#a<EBlRO9)Xdn(U<J7)3Y
zpPy;_57*aw)4v^8el5$mjn#SL36(BSwIgkML6MR7?;A(g7oESd`FBPn*WK<zk^gOH
zh#Z{Tcwoif)qY<c&aVvpz1u%XWK%l7t5QY4tnb&q*{XiNS>bk3McO{T;+L}^=PZwP
zHy8dm!@Kyep}kASYuz<RWj9RRUljdWGide;LzmNUdp%!pd~44<ZF9WGK)1)`wdk{I
zN%l=@%0AVK0z1n7pL)E0v-wTM%<}JlWUc$&O**yS#AKS@n*+9cUpO1o$!=`ad3xEp
zZ%xaC2Cf&0#y4up_;=5@Rhv7(?hD_Sv?}*XX<?!2s-FA03mWg9=vrA@8ec83^?BX>
zfBo`q*)=D&ZOYBDUfQ;=r0LS@H(%?mKJEXU@!xg#>-k$OGxIGf9N4N?<S2E|(2Obx
zm~yZ~nm2pr%VnZ`Su1Sc)Vn<TpU!`}kzvlF5}9v@%(l(;S{kx<PL|XX@r7JrL1$OL
z5m`O8E#Pk6i-z(Q>AZ6e?KRr4a)R$xhWEvsdYhdr9EzV9nV&Y*G&=F~6XQ=eONICe
z=MQjHw$`}mO$*<UbLV9G$GcOCKboFo&3CY2xltLx*#5!$%rUXbJ#QL5SFn9Q^n6Q~
z&*%9~RySCms&voRZRXl_?w*IK`cKIlUYU|x=PORx=X^;viT{9Qg-mLuQBL}EkM+SH
zcx@V5gIMpXZ(15O>A%X^(zavyt)fOBiq9}Pc`dh^H1ArJz%Ti3=N~%*UM&a?<7?gE
zy|Cce6qnT!Vz<x6rM^AomeElDAuXm)euI{!=RIZrwq0@D35HiL-ihut^wQity~I3d
zr{V6B?J;M*9hzRWF_ZD^-&qR<*H$|0nrNccDt4+|Tk56Btk6VV&#W!S4oO}Pv1~qe
znP=J6C8h_A&NMFl63XZML5b&J)r!S4oqlO4|1dWxn*E3KWz2E8Y5N+DE#xjO2-)Yd
zZP{YRuMGOLMf4UQN!SpcJ*_6#Yu4Y(>DBT2UJ^z>^1I^BKFMusO8dR{o`b*t!5qt3
z;-;Txq<vX=c9Z_g$@N!$oSbm*GFMvl?A_`;?`M}feXLkD+i<pBuTW_4-<FRH&5|#s
zy<5Cr^XS=ot=)THZz=U$d@Zxvjki&N+3Pb?vc1KvlJ4R&*9GoZZ@6D+|Nr*C@7v#(
z#Xi?Cs`qeRJn?JOoHwPrJ6H=k^6$T$^G@T{>i-Wr6<Vg9nt!<HU7K@I-g)*SYn|!d
ziI!>yIW)!lPU{+k-Q#TE(QWkg;L0oSb59t|ZF2s^s`32mhC?shb4?fSd%2-!-}K=B
z%l4Tb3;x&CvT}(}<GwFq4+{;Sn(g|}&-`FB<CK$A`X_EVI%Q?-(z4G94BT5Itr*sP
z$@OO2aC!UYhEL+h^6x6<Ds2$BlxSEu&t=W8mW6xYOyqetnK@|b{^wl>{LKGdZNH!T
zaQoLEz0CW?Dk2}m*ZfFl|F=@ky5`5#UD-dvne?wdK3bLY{)m0qqy5}}ibU!R`Sdyd
zY}fg-CztL29=Y2ql5g|;d2^ZPU!;27tj75qe<B|I)cF%`UKi3Y&-Ld(YkfrTd--GE
zS@wC~y&v2A{G8vT=V6a;dj2@~e(_Ihrh56_eC`_W2eX;#)j#;y&a)Fe?$2!_+P?qn
zA#;{_D=z))l&H~_iDuoW^}(E}pW8<5gJ`2WtDN8sr4JhpI9su;uC>uH`0y!FPT<F<
zgFF8`J^Z6+Y0Zc0c69~o_OtW<dK&-xL&JgTuRgjq{$@4f{xkK!GNGD-jlI8X_H1PN
z{<idEt=*m1hn{=Bcy3+Tf8aUGJFy>YxXU?f(v~;dPj0oA{ZYbc7BIc7>W*T;?_jfi
zu@8dH?tDuTxgXZ#pLg}g<iH)Fht+j{>^PwNwQQej!d_YP%L~qa-I2MtIp6DOFJH|X
zVfniSGwihrobSf$duWiiV#;f|j~{pKjCej>{^P^LOxNvArmPqLaUmeaJ!{==w(RRs
zm20K1M{R7=%JSMUODFX0VJ%sCksk-7=GrS1^!Du+iO}5Ov|#`9e^*!k{L2)+{#dAL
zMBIyqPwn>jKiJFkzVN|avpuJqv{~=n?9{gU*yk5>uQQctI_IC(1Gj}fJZGBz>hX_D
zk~>@;Ji1z;E$YRpClsMnu<!sY)ARmAkNoDOAKuASuU61^V9`ynxGSBTbt{4^MD}ZP
zr*qEn)IKlM-YPfepoyKbP=3kdFDnykb{$~SzNcXDzpD2+_nx@JuUY&SPs?Ol?sxIW
z6@xiK+0TPb=HwjrWKzHOxTQ))|3g$J$Np`?$7PRYFIyO&Fz>+X<GX%b&6BY{cJlbH
zf-@P`@{ivaKFYA}6Plr2@Pxx${${6gTXs#0bo=v&p9Q?dYb<p5Hou)wI(2F~=blqt
zGbO|3Wgh3z=95i&=4>jHbnIZ{47(G@FMAgR%<AU<lsJn!IJm~<tCY{jhYs_n@|P?+
z-*u8{GK-p(VdEE{f`!{z9$Opsg>+~ijIcg7fi;=Mt^83#p@eIzM&m?P3CC$&0up}B
zhZbK@zMyO1v!L5*2g|D^tL^x<UVWkC*zT}fcg}6rTPwEf%B*G5m72x6>WZ&uM$zJ+
zCL_~REe!lYx?D-sz243fGC7zc8>WWXp1Jg2-{!-9-2?WuN&lI>#4`Os1EJ7CN9af?
zc+?U!Bnp~AH8O%vp&Ee}Hi5*EmTei~U$%w32r72c>AYqG0oU*Ux+0f#cepcY2sy2~
z#M^Bba*N;K+XMyCWXVkr-djKJ3|h(k;p5ks8cA!*?fPq_!#(T{<ygfeO3dZmab|mh
zK-Hcezf{W`7uS4`teNduJ$1s)+tWmsU*p}pD%-;@voP{7+wOGh??09>C{*%`9e$y=
z;kRA6QmOg-`U0ozPOE0I>F|Bo8UFVEmzD`GpZ9IuVz=)0yqtQ`_}T6!9@|XzNZYof
zBG(|J+%a@{Ci7PV6Rx>`w@-VX^pd^!s^itC4ofq=m<#ph7-uJ*jo}bK!~T%Du(ZdA
z`K9_r|25MWO<(hU(f2bNJu#ELd{6284l9iRIPGF~t8TH{96@>2!xN3CxRp4^bi^IW
znY6sC(q(<p-V{B{V%7hy%;vA|3Fb-8fBRVHj4q2+TLoj%|DB%~A3iSoadUcjO&z1i
zqebFaVhR-cpcqk5P%t(!1}OmXj1Y6(uyur>MTjn`#mPmP1ts}K;H7dPA-}}jR0VzS
zF#m8jCvBJ1ti-U=;KaOQxV&3pZe~uUf(ArN0VJmhk<3X<FIF%%f^hQlN}vnxbPWxR
z3>0)t%#0Ka%`J@;42_IoEATu^5_2+>9rMz2QWXrq`W%asLF*YUjV!=iko!P<T_a;t
zuz+)7fk$d)dPWJ@7_d-qNosDGf(1lBh~oj{fV|_DnUiXyU<ewC2Tw>q6Etjo2b69h
ziwHrAA?B4rR}h92m8OE^z@kox#i<}AID;m$sJO&ABe4h;0zQdQzM&ChsU}D_$Ul(q
zRshEcWFo*dFF8LYGcR31KRh$fF|RliCIGfMJTs*vqZqoL6Eu5388)*7&3fQ7!^{}8
zUILd2GeaW<kP1^1OE7I_XsTdr3QBbb3Pzx1rsn1frskGlwxzj=f|;?gf|;QqSgnDA
ziJ_r_sgZ$#u_ee9V+B)7PzhoHropRH74$>$L-R60r;jUuOBdu=1E~e2W<;!k7Q;f)
zrgvrvD3Cx734$*0bj~jYt&IiEp+KYE2;?)E2?0g<DW%D&MG6|piJ3+D3Wj=yW_kt+
z8W|-e1;tkS`e4!YqQruX%;aLd{GxPCNJ4imN=+=u%+GTHttr-Uu`)6+GBh+YG%>I+
zurxB)HZW8-FwjJ{6ftQC%X`j=C5but>EQSUdjYzF*Uk=>VJnJK)3^*2jLf(U;6TC5
z)YRBiAx!}yW@Kz`YN-I0Rmg*i85)@zTVRNp8XKdD85kIV<}yK=k@T7xpqpo8Yz&G8
zG<BBd259CPniv~k*lTKJV1};F3{(Vwj59#kYhq+<imuMY2()evq!6Lb)DXiThNgy~
zsZ>;TX6B&!3Qf$+62mR#Mg|!6nj2aep}WQ0$Q<2oMn+}^=wV=FWCluKDE1l|8yKP6
zYh-L-f*H;hSoB(&7$V$KQk0mPlUf8mygxXzDixGAK<kKt^7Bg+j6i7&Qkr<?rR6Jt
d3{wDSo#K+jq7rawGBUQbG~rTJb@g}S0szger+WYZ

literal 0
HcmV?d00001

diff --git a/slides/main.md b/slides/main.md
index 166bcdd..a3c5716 100644
--- a/slides/main.md
+++ b/slides/main.md
@@ -1,6 +1,6 @@
 ---
-title: 'Under Control: A Control Theory introduction for Computer Scientists'
-short_title: 'Under Control: A Control Theory introduction for Computer Scientists'
+title: 'Under Control: A Control Theory Introduction for Computer Scientists'
+short_title: 'Under Control: A Control Theory Introduction for Computer Scientists'
 subtitle: 'First try'
 date: 21/04/2023
 affiliations:
@@ -18,6 +18,7 @@ affiliations:
           lastname: Rutten
 header-includes:
     - \usepackage{tikz}
+    - \usepackage{hyperref}
     - \usepackage{subcaption}
     - \usepackage{MnSymbol,wasysym}
 # lang: en
@@ -96,17 +97,49 @@ Use the knowledge about the current state of the system to respond
   
 - main tool: MAPE-K loop
 
-- $\neq$ implementations of Autonomic Controller (rules, AI, control)
+- $\neq$ implementations of AC (rules, AI, control)
+
+- Separation of concerns
 
 
 :::
 ::::::::::::::
 
+# Examples
+
+- Regulate the heat of a processor based on its frequency
+
+  - Sensor: CPU thermometer
+  
+  - Actuator: DVFS
+  
+- Regulate the waiting time of users based on the number of available servers
+
+  - Sensor: Waiting time of a request
+  
+  - Actuator: Number of servers to add/remove
+  
+- Regulate the FPS of an online video rendering based on the quality
+
+  - Sensor: FPS
+  
+  - Actuator: depth of computation
+
 
 
 # Control Theory
 
 
+## Goal
+
+Act on dynamic system to reach desired behavior with guarantees
+
+## Control Loop
+
+![Control Loop](figs/control_loop.pdf){width=40% height=25%}
+
+
+
 # Your turn! 
 
 ## What you will do now
-- 
GitLab