From 03dfa82e6c5df9270c08523e3836fb8fdfe45ba3 Mon Sep 17 00:00:00 2001
From: Lambert Theisen <lambert.theisen@rwth-aachen.de>
Date: Tue, 21 Nov 2023 16:00:28 +0100
Subject: [PATCH] improve docs

---
 docs/make.jl               |   8 ++++++--
 docs/src/assets/logo.jpg   | Bin 0 -> 24594 bytes
 docs/src/lecture/9-todo.md |   2 +-
 3 files changed, 7 insertions(+), 3 deletions(-)
 create mode 100644 docs/src/assets/logo.jpg

diff --git a/docs/make.jl b/docs/make.jl
index 20761c2..56ac095 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -4,10 +4,14 @@ push!(LOAD_PATH,"src/")
 using Documenter, SustainableSoftwareEngineering
 
 makedocs(
-  sitename="My Documentation",
+  sitename="SustainableSoftwareEngineering.jl",
   remotes = nothing,
   pages = Any[
         "Home" => "index.md",
-        joinpath.("lecture", filter(name->contains(name, ".md"), readdir("docs/src/lecture/")))...
+        # add all lecture material
+        joinpath.(
+          "lecture",
+          filter(name->contains(name, ".md"), readdir("docs/src/lecture/"))
+        )...
     ]
 )
diff --git a/docs/src/assets/logo.jpg b/docs/src/assets/logo.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..b39eeeaaf11af633ca62a1641a1d41b446bfb083
GIT binary patch
literal 24594
zcmex=<NpH&0WUXCHwH#V1_=27kRiggA~TJF!Pl2Ti-CcGgMo=rh=G}bfq{{Mk%6H-
zlYs@yW?)bQ>tJ5Mh>%^t1e0Ytuz(rP-V0Ls{~=>iMoCG5mA-ynv0h?Iep0Gla(=FU
zMPh-zp`L+0gH451MQ%ZEYDuC(MQ%=Bu~mhw5?Gm4Ua=KOSYJs2tfVB{Rw=?aK*2e`
zC{@8s&p^*W$&O1wLBXadCCw_x#SN;xC?(BS32I|`dAVM>v0i>ry1t>MrKP@sk-m|U
zZc$2_ZgFK^Nn(X=Ua>O75STeGsl~}fnFS@8`FRQ;a}$&DOG|8(lt30KzyQRZC7Edm
zn^61)k^y@TZZ^nxkf@b^QD$mhNg~L6J3||N3^AxZHu@mTksJf@DOfbf#m$b(Mjsp|
zpzyKd`hT0jnSq%J1VAJ+Gcz*_8w&_<u(7eSadL2RadL2Sa`Eu<aB=f-b8_+u^78Qu
z2nY&r@dybE2?+BG2nc`-VFc-9X5nCA;Sk{F<Q5<q{6D}T$iZ-&;RG|IAOn*iBeNjm
z|04`?3=E8{j359?5g^RLz{tkV$;!gS%=P~WgNpzI$Yy3H78Yg}4mKuc21X`k7FISv
z26hf1MMGgnPNl#^5mBQ;Wv525prnc7D#p%5O_LT%1Sc17JgDm8x@htLBMdT(5L-az
zLog!)$P{)aj{ip(>;yq}Ffp^TGqJF;g3>M{1IQ9VMME|rM`5MF#6pqAi3>L#yvS}O
zs{HVSu~SgeM={l+rb#NBF8#m7z{AYQz$C~l$Y9TK<!yzd&hJd6374EXw*=hPRhfRR
z_`ajck?)s0^{q5nwg{fexAGAAVWp{lJXiIl8DGhUrikA!mF8q7s_cHe^Ma@1{rj#w
zDs{U!)lS-(O!UZ9m~VH>GgW`zB+dHIOWH&3-SSM-RS~kQd8vF=S7eeDr@Bg}(rizb
zJ!Ri79`f80@M^vki}FRCmL)4)7}z}3kM#*LTe1F-ywGBLrC#LHqHV1f%O@>Z(y}CF
zPX98#_K*jiPaoNo_swwp`|zW|?O7qy7e#*4P1^c$%~B&3n~t^m?2^pS!|V%8ZZBm{
z*qyrhi`C1ZV<#g6PJF(=^!S^+Y3kem3~E`@3y)_nuF(A*JEOF_cIHZv@9}zDVpBIf
z@(<utRn=mbkmI=YmOm}#;;K{kETpXYg)iTDwM?%o=-dYhi^7AKV;vn|{ZsnW9I48=
zEn42?a!CEpxYcJ<_Id9${^Hzv;GmKG-{b!oPVK6geunqfz1nMOM|VFAxU+mGlgrY*
zVp=mxx0<ngo)2UZayVxD<*jMRWc#V7=l@$;H#5>A==>kI#`n*kWfwf+usm1Adh^bI
zh7MKx-0eX-6XxzLTF%z4{-N(o-U8{u;|#JDj*b#66QAGq^)Gp&YWV3n*Z%hZ3~s9X
zZ!X+vw!-iePusL7jF)5nPFZ#4`L{!No^H!FTD9%=>$m^*i>zHx|6NK;{u$e3eUsfb
zpMI^Hz5K;-;oApmcyrGFXGq@q!&+Wv^|R}H-@Lvhu_8*`)@Z{)$=B_we2>2~JgJZM
z@2XfX*?HiX=-G8*vtEbHom!&Td;c9vZFsidswc;{O*5Jl72zGy*5vtTu1b))C(AwC
zEt6i&_T*8wD+$!xGKuqdFH3Ny%JlkN8I}1`(M#q_SvYdZ^gQ3YeRJun*4FG>#oFd7
z%rE!t><r21(dp?|UVHCI-2|c9smrAWwO1C*e>vCn7h8C!mn8SL<CVwX*#7#d5MHt~
ze(&vF+aq_b_cUC2PPi-AV#daXUm{DM)_<P7e7BC??UV<<#rYdD7xGp7XE5G<{P}|K
z44wUL-`>o+qCGotoz~1?{bNP7ih7oxSyq&IWJ>;L=+r*`$K7Y=p4Bt|t-f`{_;B^|
zyaf$!Dte>*FF$CRd;hld^0fD}dS{jf&+FT9UjM`Tl`Q7EJ@eY5!&{jQA0Iqndu);A
z4(%Nuo(l)XzlaR?c~HdW9yV`5tLCjfzx&qC+rPWri~g{3Q$j3fMD(NyOZAMV-CwrV
zyopiO;>`j#2dn%!8w5mC|1&hNz2jN5eCL&&2R}S^?6GE7kgsoAwdm-IvtCo#=Bqgc
z6?pq<Cde;5aJ71N>-N$^66fST*m`i)Z~A?@?BlQB;;noWC12ieDN>%8rK_XryR-R?
zQ{yQ|_P6VGCLDN|Aj&RsBV)(8yKjt7I9E0|W=i*WyjmP?dogIwx~!$QqoTy^HtOEo
z<RyG*e&A728UDok+g2|<eJ7?|>)mx<-c^&dB<xdidF2`sW1_i_>YlkT)|xc$bVziK
z_VUk>C&QhWRPrj67t6<;{QdfHZc!M|8=Elq?)u<d8;xrAG|&AP?#=%xH$PtW<=xtC
zt3F=(&ydyVyx-+!N6(#wMzglMmrfOOcRCc}75eG9<OjFS;!)+dUR5Sdj{Rg3pfkst
zU;4JMYpA()k-PSW2Q|msPW)$B`R?{?-z{aWNnc&M_NFc5)Am=;Q9K^2(`vO<$nf_4
z?L}@|%lnkmd2cVAw?cgH4GAgXWuD*lr>qNbHa)f=sNu%pxs4Bu3Pe^NxcghYNW%Y#
zX~?2PS?^|L-hK1ev47^@RlKsyPitHJELP(W{~5l_mHqJgU8sJ?v4W7x`?h$ly~OUQ
zvioJC$e!OXRj2edd1k6EirxG5wWjJ^rY?6!mJN2hJeEFoW%c<qy?ou=SsN2##O73Z
zPc>RHBRghUcc+tgc9;W8`Kj8ks~$@0+J4%2A!HImUddO+w2EbK1Jjq}Tse@kTk7?N
zRp!Z+)w`}=dlR7ZyESC`%dhEI4zEZPU$%wc*Ne-m@tZ>Bwe=kqR(JEZdj_)`6uY_k
z&tG&VV#lh-v9U7354Ikc;?Yi@VCF7b?zHLX(%n~Iv0A<G_7t2aD&jKllISn?K-)_-
zEo%h7NIko7Ib`qLB{{15EMiX`KJq<JUgg4`PjhdTW`3_d#J<z|;OpthD^~AcD|K_{
zS`m?7@5K(K9P;WDTFz7#x?mD}RN<2pek<PTF`_qjB!A`8e$zB*>E1beZDe0QsF`p-
z`<^-L<bngcb+Z;<d9~K?$%$^&#jT3T|BlGB$Q=>l+jGKb>(w_+``Cj+`qC^CS{K&T
zKQrBbD!Oa(X6c=qMSg7!3ijLi<B8erj|{n+mRc;EBkP+k@ze92+f2nm@B2LG51pw!
zb~7a6Vy}_&R_m0EfZCI@#bzew|9zNz(;(~#M{w1nqkXNGFBEf^9=gG-&Z({ZjXB^6
z^K8bldqVrXqm!4fUQ=Ju>v`EiCH;Pj_w7F`ZvC?>Oq-qaHrPmd|J=$Yr+OooYfg7*
z=MTPgjYBb)VNy%U<UfmVyuP1t;?~aI!)<vrfk*OJ?vOdy+;lx9Aw$ZBKlpu&TyoyC
zqwlxQ_1s<djQQ*CbMs|6R-Nh;a?ZJ|_*6BkWF;r}KdmN##Se62clWxld@^;X)P!~Q
zelOPBm`DAJy8f-e;(L_0XYsD&;9gUU4_pf#)t$E7Z@r%D_AD`tDNpJWBMNQ%A6{6%
zobX$8Ma#b<^K-);{cn3VZ@Tkwzqp*t)_oQGkCvCtTfTlrR;OH4QI{**g0;OjcX}?m
zl;PVE${AqawrERFo#a&YFN$&^?nOnmecA8J&6_e;_A%V~+w^pg;GvHp{~7M(GjFLr
z7bUy?-|-{!W;(CCaC_5t@shQ>gIDISTN#w$5!4x|%UWu+sQ!W1?$_GxZm(7?bKmFx
zXWi7=-P>+v&04stXv^a(FYL0Ne=2SgcYCqfcV*Pnh?lXFt=qb??<>W=Qkbe*$FyOB
zftz)u)b7WA;;Z&=ofNbuwc)#e%+DX|rzFpxZ278PcJHm<|5oq#sIz?K=NFeBud!AA
zF0e%6tjhNi?fWk#@fW%6lwIHY&Qv@t@Y62y=1FBwnb*~IOn)2_7hC;0>Be*$Yoqmg
z-sjscsd_qa`{eXbzk0l8zB==^;&qox9!IBkZJhRNx=`WjwuSp-?(HpDwR~+Cdz<w?
z(PplcsFtwh2PWO=IKM!5d2~Qf*yIOIHm_rOE?zmN+IsM;Rg;;PLqWj_?QbV9uf9~+
ztI`x#ziiLqt7c7}2fknQP`}`??DLYYnp%^Ip?=@<rpzwR&dZ*jr>9-z8r4*5exy^Q
zz+geamXhXwSJIz)?U~pko1rspVQ{>N=$eA$ZwIV?RPXUxu;;F<zq8I2|IBLhledrG
zf6&l9z3zK^#aoWqi6N=soO$t&g<cy>dGlP1YnP+OH(8f5|GryqLjKt2Y`iM<<Gk98
zgBJPcKkb}yy}R`uqq}}RyXCP}ws}{|gZrnKS{E#h2u}293X}NrXwD~z@F*|;`sw>P
zkJsJ$T3E{ZYvz^S83Of}+)9FVOTL=zyluT$p<f_ecDH@`&+=X0O^;>=%$OcB&DSZ(
zr)8_0cI|}QiFxvioPuoT$nV=68h7&Wm5)chXP8K3)r3cEy|X(lW%cs5+lRxJ-rZWK
z`o22v#M00sT|O1XSFa^`F?ts171g;mtYIh+VY7K{dPMBU@`f1Ay?$2BS7T;+%iLO3
z+-~yRuKRpVjgG!^;l8!I?^tQQ@Y@w~Dr;q_P=urX(pb)*@P5g+^OtROee!NssQN3P
z*p6>2`t5%gHh;Vs@on$aP4oG(m6le-d{;JCdldR;n(~$j0<Z5qoECL5IOi)v*rPoU
zYA3H(Syj1eolSYj4dr|lU8^7bMpg3}n*PqXd*aknQRb5GTFI-@Y7hT7HT&(ZWrw&=
zDQHZYP$jTbWy+72e*C#6?A6+<;$G~3BNV-&;oW9lx%tIkUBBCzahI0YE%^5+ctzM1
z?xM3x_I%QEtD0(-Q?g*!mX%wUESGhD@^g2ow)*~jVbgQh7sR}7tmx`Hbw0KFPP}q^
zxfJuZ{|uoiZ}#1<U$9T-+S{}576!EP&Qf~jJ5#`H>dD+^U3U`SFoZl3TkorV^3~76
z9^Pu^sdJyYm+kVb+_!1jz30WB`vQuW@iEG|7m2zbT<Ur|&nU0&$Cm3Zt(K~SRliqi
zbe)U#wENF+r2OBlM#(pcHH*(?T0C3%z5A-}&f|_fzjnO-#Gw%z<#JQ+?2KP?>zunv
zuZtBeUF)u;^4C*6V&<%vqHzDlx19@nFR*0(u`T<lduILnwa0|zCcAXK(eSsvsak96
zzl-ym6T4sCYJ1<98!M#+OH*dC_5X~y|5fe_kIpu?(!yuu3vN`OTg4ji#P#3Wi)->!
zHy532T6sC_wNKSjpJ|MTb60NuH1QI{G1K!|?@N2u*QW3*tLM#lVX!kZftOcNLR$Q^
zcYLvIfBxN`jm|q`7?)k0|Ftsfm!kU@jrmXPFU-x)u}SnVE@)c9=DmI57h78qbK~i$
zUiod8?pc=>p5CE;qH3+@%9GJ6Rtk7EUGaQT{(IFgdG^~c*ZCfsqZ^sMvNrf+O}@(K
z%6aVv{)YKI^;PlLw`#sx^3A+<RdszpR)1jhW(}b^oP|A41F!hM&i~J_<@di|+08o+
zEpAT}xtw~z;+55QTlYJqff;)GOX`)kCjL}T)$+P9U7#+s!972D{gPV`9>`d&ZTfY5
zTbH7p;exK@UY5x(Rc1TtUjBE>Q>%MQ`L+i)c88iR-7aDooFydwqde6;|4OLsq{&zQ
zGkCo7IL3I4(bCRz>BA@~tKZ$p>ngI{cGy3&lZ<?)zGn5J1$v7!^{i6rr&O%j?Dae(
zoui}hddk^aO+_!29j~S~Uj1rm_n#rQmZRDt@|?qA_XDg)l{(*-Sxx@z?)tbQ>W=K~
zF4g53w?C{h-&<zC-YBK<#>9s0V(w>xM5+QB9Nu_-KQF&@*^0+qFSWGdqM7*^<Q43m
zmb}`vVuxGrgv%Qw=a{O$s{PF>cq^~qs($x8v-|m>yPa2Dcqbmr=x-{$#AG|amvcv8
zP*{@(`$5Tb%kEidNlEaAZhXg|wnM$9LSE$T;;!YZr#Q!5h<a<pc53;(mDjJco4;Cj
z?ZVZ|Y?F%|Ty~t<cPc)|VCm`~Df*VWJEoS*w@|h`dATG_Pi;ZwYRO_g&fD>?#MVyi
zvh0>9;QChZIq^Gpv3cS=_q?e2jSfqFi*~$qTVSgivXp0qrsVMtm)6hpeltg%`7P7$
z!lr36E(E`NWY~B?`^A%g@d~c2%g^b~zO(n<%uQ2P8r|%+oO-x1{_9_{WvAYW+;-nI
z!Q(IY`7;Y|@ZCJ&ojpsVI=x0@vAc?4XTM*!<<7!Q;m3}@+j6V)ddP~f1y@6MhOD}B
zJml3g!};7%o&S_<G}2$VCz(ctr#-y=#PmzUp$nJpa>(*OSbsRdV)5>pjyY3reOZ6{
z1xLKktS4Vq3I=}V_+DE7(EqElv!s9Qj#bmH98$F`|K;|d;bQ!sBTMecl-{l~ZFGEE
zdpUlEU(V&MZBI^iM1^wt3WN#FS-I>tOUYVyMQ8SnS1RwGGSN0XJXPTCtGR)y(ot*+
z50suiv#LC2-Q6osS;J;;D*yIxcHNCupI5I|on+FQENXw4%QMKiuUz)j9(CIjml@AZ
z-{mLzHCST}kLi~$cP<HEt}Xw<vEcDr{m=K9@_PH7W}I~kRf<h**)1_u&E3IyWt8o&
zuqjV!`}VYbzO;Ao*_3rxS@*d6hbkPfX^)$0=MnmN-jO(&w!Ko@SMaQ}RWq9KG-}0?
zdM;&^AMA(b1f1}y{WI^t-1L_(VnhA~ZV%nDH~!&fhm^_TvhAIJDi(83lU|ycYj^+P
zW4WtS+?@q)r>$Bxb<$zxXJ4kcPnWSbIzLD5Kf`L@kFp1+Y^dj7{>9Gu@cpZW?I(2)
zm4}7Q*?HXl{v@HdyIhMN&*@6t>p3%M+J=y6N(Reg6e?{sSsuS%SCFZ?vR=hk&yLYt
z^N^{TcTWlL#--bL-TrQ;ldjluqSv=HVXI_ZQ0#w(GsSiSMvTAaOIwHY21h>rr&?Yh
zv#X&@ZlC(e@UzAdmU9Y3uczkMU3(wBRoeWrWr^mNBP$dYeADlGNPhk&f5qnC^|E{F
zTRs|2YU%xQc>ft2_s6C2vN58S-A}64@lHG%#k+7vUaWqoy}Vb?rngq}URMU^$;&P3
zPi6UC_DlG2sM!6>yS%uUZ`*n2;`XpDz5Vn1tTZm%N^Z-$FsE@tkoW9~w`+6ntk^E{
zd2^M_i<xScTzQ7S>U;WYD*pb?a=rak>}uw^TtU`f56|VD{qys2>bvSC0w<KMe#~c0
z4SKcZ))Tg@DV=LhcPc98?zz-7Y2n(vx*?_)wpEq08{TR%3)87iVLWTeef9UtKdIIJ
z&wpiz1hG4^eqJ=`*9BMpKV46+@+W3bd}|tIoNel9aM?gUQpeppD`=9@B2INpONRQ`
z>>t%FOZU5Eu{8Fw%c<LS>()G~c=M^N?##|3=?4^~%glF5PuwZ6owwU+x<ic7p`Hl)
zrBAm#kB>UX9@O7d_<*-`b?E#bsmw3tD%P8o+8P-)KH2#+w{XYRZ7bX)dopag)GCX&
zO+DunHEr3STxRX{$3@ONg-9%4`Qc_@M3C@PFQ+M6Rx0mLynSv%jBZii;XvI@`*##C
zv`){h>37;@{=0hJ$K$bHmTd+O_kYWV@*clun78j?p047py-PzEUdY@WH8o(aozdgI
zwrip<w}~-EU2(JKyLs~3yuU}bn1tjDddPieVqmxaY7r_nTi4a)tzKfb<4Kjo+Ryt-
zbGt835{O>r>9Q(y-j%G9<+m7*?06KXXD9q--Mn@4cY0ox=MA)*cI~mk;rWy7B)DTk
zgKlPRIJ~&T<=TISxRSWwkF)k%mn#>YA2sE|{NN=DRYLJ?mpo%qw-qem;ps`$(&RkH
zx8Y;Z>73Pa*Uo;kwGCU;waBjE?Z49+7fpYx-}Fa)PL^}F*Ue}z#mopxPfyu{=L~x@
zmRe<PS!45iZT<}jA<M)KB^@^NZmrDoUFee;xHMEESbio8&mu4O)V?Ku*72~c-anx_
zSv#>$vwm8UUDt-Ip4oHu_5L{VVtw@D{HLLBr|G=*dO0=avQ+j3wN}Y#_njjSIBN%a
zMM`}4vf9^@C3)SIPin$R>&WPHHJ|(IyA~cl9Nrt0vO8d%(%UuXCM<gVY1ws|;B{+$
z26Z`{ysS32y|l(+-;)E<^4bnBr1qHRx3Np9o4H#54)rd+>2sC2q266!ZAGb0-bJf(
zraQNM@AlvQVcDPDN7XSoD`EmxY=1KA?bbq*rl(dlCQFaSyE#Ne`Fk}wb$Ps$Jn$>i
z)lcyRyVHU={k}bHmT!2gtC|+o^z92hvUW}0)f;y=l+Bc@U$HcF@lmaIMsIcPsNGX-
zYIptSyL*n|YV4(z-+okP-rOJ8{A-0<W}eZvt@_XGvR7{YV|PpPcDCQ@`(Nh2^*vm8
zIB#jdYR@ST3wHftI={@Rjp5bjCle=sxm<G1%KZ?}<C*8K%ny}|YX6+Li=lOv>f6GP
z+O_Yqiw?Ak?dw=tV1I2^bQcfPbRkbi7EMdWxZ~_r$A7!rv5!^GoPG9kJnyB-w-TH#
zYtIMGKPjjFpCMm+L*$aHFIjIj=ZRM3*eoj&3%pXTnyJOC{*^Z>HsYPq2FYhK>+<|3
z9)D7E)%K9uY0l%m0omSbLnLO(o{H{Y78T=}vcZ3a_`JIo@8|qAJs!z?r14_<>}BSs
zPCjX#_HJ$doAt^*!G$Nb>xY^xnY!|8)zcJtm7cHlx5F+)u0NN#LU;0Yb^9qlo3{LC
zFlg6EsoMQ^$Fh6exko06O>Gk4_{3rN>$ty1lt;nUupJXhqtrKwWQf?V+<s&EnXI6c
zV?uW-m!@i$9=@`s?#P$_48FCR2d@}LzuDj_ctTmFUwGvo-Mzcaj`|$9x7c3P{`YI2
z<?3&jwoE@?%lcIB-Y@S<{bA)&2exPJpBTPg%hqZ^z;u?(V1Y}&LLWSIDYLNJuzbt)
zt4D7i<eqb0fKy&IKCpbjlIa^(%v@XFs34;D`Fh%V+cPG%=WbUeX@7WG@;%w#M?C2D
zUdGytC?We>j8mU4SE)7K@nH55vvrr+HhdBnaC0*~W>6y*-?_GL=d`fk#0NYwGGCp)
zF5WIvI{#SI+n=THq!RCc<e7i?@_z=YDHfMk1oCYBk^EVIJ+s!gSD&o>wwPX@y;$$f
zvL>6u%XZu;wS3viHS4ll?z>s;N&fGBDpyRqoo}vS@z$$3Zh_Kb|LyA-;=As;NzGY)
z?$_FVYk0nWYT`3hdgz$FZ_lO}@$F8I@A>0j%~-r*?KTrDo3`D@la`jRH@9@$HSKE9
zY==aVS2Z3>Ppz57YI#0znvJN%M=f3T^98~0?}rwAxVq@JLQT8MT;`60c5_4Lf6V&z
z@x)p77*@{P=al25mu~pZ_9y7wt!Tj){~5XqO`bP(uU}?WHCL<H!fE5Y36AIY8Lt<&
zQ|Owvc1z6inC#b^wk+6YyYchnccJr6M@6sRv3;}HxpU@$qC0bSm&bQ~n&~V!%_=7N
z9N)=&mgf0(4C>ov><Dobas4V?`)BH1m6-Lccf}SIu5Oy0xY01_diKZUyWtZ&qFx2v
z;!4u`&#+r^X_=q>zM{q7KCa;{J?FK_xg@{+Y2@jkpC(c)K3N;xI5U)1?sIwHaO+o0
zl_~4D-h%;$J6|z6Su1>xWWV#6L4N1AtEP`0{j&I}@b~!>ag)C;kHbHlwa#4OVak7{
z^l5&lTs5oVE!)$}-p!pa_ptNQoh|ijB?ZMV_ORFg^q=_6YI^?K+!7_ng*W<57eAC!
zZST@uyE?63%61>$AK62*va+t|AB(Y={MeeSBy5R$E$jBkQpSuZ{|QUx9jWbWZYVhD
zZ4r9yY4q*+4!7^0viP!#)hb17O2>y)JenC_eotr<y?W_Z`=?f>e&!8Q&7rc+iBA_F
zP(J>q<Dk`=cQ<37@BJoU@w)%+x64MazaE`c8WDD7*__1dvRuKd;`npstiI{_{o@){
z*_>;;mRqGgJ$K>xtDb&_>`l8X9Z&G?UYYyWKBKH_+3gEam1+x~n1$TQ_mm9C-Bfsm
zyM4vu?TL3@9~Zv2^4U@m6L)2+$NBzU=kBbI`c_sbAA0ez=-%|VZs)IAs@DWx)^koh
z_Oe5h)x#<DWxu~|)1Bg{uf8#VzrIgm(eiBpb{_-o%>VS)<g+Rlo6$VxaE0?tJ@t>j
zmxjlhioFa`xm@ehRhj7i<a~el>eUwC|1)e`u)Fu2@9a6Id-h4Ze6?8m%AcDI$%lWf
zeD*si=j{EPGitgvy*$M7?UbwUk_N8!_+?vm_8rZLlnCGD|F+#?(S6VAZQNJ2E930T
z=k2ik%)Y)U+~V=-rQc2*<GBC(Q)t=sPvr$>mzrj$b*!qH!CC2VHnV5tp_}1TmbCJy
z+kX729;qEJdS^|^zq9^LXPyVnsk!Q^`)E<`+}Q^1v&_rP3zxi`cK6V3EnfGm?7m$`
zrns{xYCCnj;Z#YrRX@LPw>;0?`_<cxRyi<lWtUEoKXl`E*4bQ(skgrd-@COx_|o+$
zLbAUz-c35+-{E38W$yJQVPZ|nAuCQeXCF`6HYXzB?}4ED^RdUjT-v$lrV7KW>ytk+
zf7r49mF~_<v66Ns#STA&R_xty|Md3^?cOlmsLP8iB8)QMtyyI<C4E;&Kf~ig?S*Si
z-(7aC={O#A@$ALB?)%@Y$|;>%mdX6`PT`djyC?qfHGa4C;xE34ez^5(*jml4TUA4s
zIm<2fTcOR*H0ANaFB2ACvDV(Gysz|xbouIsJMTLNSspI?UA?b+qbsZJv$<OhGtch7
z8~&d`=!M5-P3z#~fZJa(N@mq8OEwd+7CWrFT=`s;`~00({_#xTHfd2Mf5pVlCj<2_
z*skr;IOf0_9AkBFb#S)U?uM&BO}AxSz3u0daC$}1k(HhbCKo)|RUNbCebU3`_<OxN
z@yOuSv)vDb%QWuu^zr90a&5k8U0h!7_rUMW+qqe*<xG$4Th$Y`bjKZ)O>;{3Dr(xQ
zYRU)R-|)`kO4ZNIm$TmrH%@!|_+3=nc4^(Z$KU03{H$;KMs4eH*=_h>>Q$}21$9c*
z2g-x`H@VkM;X5f`Gx^->*H70^-ZD9_`Ji=A##&xSRe|aI+5%%<x9#@Z`l9%q*6xEV
zLT<eCtWCekDQSP@hy1>Yx3x@DV@gckublC44a@wZGuEFAUfu4kyt1zIX?ER$pTW62
zt1so0IcLhdEN6~9wZiAUk?1GgSDUK89`brwT70hgKne2&&F>Q5Yolv-Tuk<#66n5m
zrNOc#^QW@RF?;@JmF@WpbKMq9zOl;m@45?rr~YSPh?{@-ds-*|rzP)pzo|X`bn3$Y
z4A(8MZLRf~?WnS4lJkECogEiF@2yU}-Pg>!<NI34Rz02;6=qXTmKo=29sdQ@d;S()
zWqo(ybPdmp_r3l7laiL{-7>m5uXOGDyVXuJcAdSsed;eCu_;q_s>P^oyT#SVpry>L
zzHMh|=&Dt7mwr0t>>ecMR-xJ=Zn=ad;?0zdn#M=2*{Lh1swv+oaTj^aYq4+M`o~pg
zR{UpZ_0n>*J08t#EnT+Bs&P4g{&U61z=_c=nYXGB{|i{RcHZ3|+a<Tmx!v7zm3iL$
zMKkm?gy*E_@J*WkF<rhkd4Ag3x7Nyn=NGLuDK0J&o3rTMmqp9_{+L_W7kek%3D;ht
zXBESBc-@YvJA}V-<T40Zm)8Bdb|*nhPtIhL-0xpibLKaMnKlGO`}qGo7t$`X&8qBo
z*ek=pSYItx*==*D{AXAc6SeCkrxTmQ`BQ$L{~2tP-pH7|e$&T#XKkMGvhoihW~Z~)
z`72v6X4qZJ&E2`B?B=%I<*K_b_e=6ytKQqX<0XS=*#ZBQz604CBG+8`=2f4*{2b@W
z^If+u2D&@Sr;4BT@mt$9ZFXGHr%-ma?YqK`-!#-VX;V6}IwWn8P1q8Zm77}nmWMbf
z{F}f&UrXwGK{?;%j@Pj~PdaX0@|6C;KkL-T++W_T(y0y1%5xj|ZroXww7%%3%=_Cb
z#ga3#?%t6S^7&PrufKNbYKeHKJu8=%aY>x=_k7=*k-qg>0dK|%_ASfnTKadqaQABs
zx*U_a<JR;I)zy|aSIF8PKm4NM?1>HU&#qjrck2#!QLIwNE8Sl!|4F}Km(5*Mv)ccT
zY+lB@E#EbMN2NE}&0B44x-855lg}NI;tyf3rPGgbulmohKje=TtKCYan$kT@^8**0
zPWYAZZ{5~EE00gjp82uccH5g13$7kvs4Xi0uKS&9<Ap$rJqhV9%<t1a#O`UhbF;iQ
zW5xb}N<+;JLF*@J%SL2Q`Ca|p?v=`GZ)aE0O><n%&6@nEYIVD?^3JZ8MeIG&Gmo3S
z{r-OI<@mfux%KTK>{p&I`^4mRGeSXb;gxxh6@JS)FWT)`{7f)?_v5cYv&FS8)$x8j
zW_C0;r0QsvP;mKOU2~%qk0yUUmeI3SLOx+a(ZY9&>Y5{>uO7JW7j^k=-u)>*BwYGT
zeS!|v?`w3`d8yJaS9;Iy_HJ*fX30mlxAQvkST^6;bVE<0eul&4-gL9>xphm!thfV~
zC;n#;JW$=Xzs34P%SQ9sMN7ZUE?+d;F!QxXxL1?IiSzqw%@TMlW4?cR#WwqKWn1;S
zUt0Uio+`<`y(jo+sm`{uMM(iu_$Ew{3o~HvP1jC5eW&nhdPURBH9N1c_3)L~dR<!E
zwMV@6t?c@uea~Y$1q80Nrtd7>vu#s-(WLry>t3c99lAdE!@jPERgVj|I9hLidhn~1
z{GxeTPW!zbRc?7|na?cPuC{XHRV%w&(f8+^ocGx$M8eted5e)}&@9KlUavSl-eL0i
zxT^ZImfE6{0`nPj|JqEgJv-^7U!=gfu=1-4@6*NfxlH{Qb&6fhiZMCcvFxtXp<Cgv
za*y;hH{bLK-?u^Tcx39#O?<C6&i@%1e$;m7!`q^H#vfJgsRX;E=e~|T=_qU8rDJ3L
zw~BeL<$s24YyUI6TJ>x@>)P{u{7*g2UmiHftku51yz9%|s9)=%AMJYU6zT8m&@gSL
zTfK9J>?HgA*K<?zj6-5n-e$>8{v_8mZ`Crd?ZqdGy7JreUS50<W4d?a3Zv7(+Kt8!
zJw7ZCyW|n9{x2xRJ~cb=V5v`&`z4F4w~k+4tlLqxbmHDC&&#s}r`P87&fT7?awpVe
znfJ<9S<239pR-?Iexvpr+m`Zw8rut=)O_uKFFVV$@O#Nutxpe2mu}-Z_qK{}X~~=2
zyJpwiF3gLH2#T0|#Y)UENMw?u=kfiyo*Uy5_g^sD$Jp@ZMLCO1!txi{%Ih09AKw_e
zHd-^o<41SY)>(b`0`z|6l*@HH%z35G!c=Q^&&w&sK4A%i|Btp^>M!peoHDh@;c?Rk
z!*?$>>?zK#jkPH@Nimr7`$Fr{sH+J@Mn_!*b}XN}a_M#_+Z&qUtLJZb547L5i(k~^
zWX|W#vSai1+GVRBz96yAV3+OZPp_8#IXpS&eq4I+w|SElz4DYd<UZ^2b55;4I${6M
zs;l#Vn07z>bUSwD)x0}T?<ed^&9S>|uD{dUPStuM*SYO)-kIIvQ!};VF<b7Ry1B>b
z#+OH1*8d9IWVcW~<c}%mtVr#rS0*ptAGD^MIYQ!Y6H`*~>QctnmtGbxX*(YtQzo`=
zlI^F7x1+Y7JNDwygdU~nu7Gm(DRcU^W>&8+4%3rLop5MX-`3z#Kenip<(IR$K3;jh
zjIVkEU-2sL#SgY!+;e%0$$np({|t+2%(>(GFW-*&tbOT+-j>#-TX#%ZS^3gaLA37h
zeea+?&Z~8E4_tDrd6}ppQR6A9ILo(RCH=x5pDP-_OQ)E)|82b5%I$o*>FIxlm4TAV
z%WaL`Z(6y7U;q03Z-VpxGjz<Te>2xITp-(Ma}BFt>eJ<a*M<E1awTN$)4i9kK6)_6
z{y#%%wz)B5VaW6o%<GKjf46?M#k%=^r%m~yoyxY_(+z#of6v>r|2Mn;rR|dp#G@am
ziA6^6|C;+X{2tp9(JdZNc;++jn<k*n{cw9!t!mD$sY`^6rZO3SxxgYjA^X<HX>*p_
zUys|gSHXMUpWJ(QFYR9#zm0cS*Il*w?pcC~oti>Hk75eF6_*NLu}l0_RCnw2{oJdj
zMV(2K49REH*NX&Sv9U9p!1Srmy!Tt$y&Ivt=bl{M&e&;ce(9{<?CAb0Ps(PW3w^O7
z{Yuo{jT5Fczh5EX?wq#Nbb5}7Y~%eqHX&YC5gH4PuRlmnsF%z7v;M8x;iB~1xr+lb
zF0RbEJTE#x&9SB9ykj-PS5-|05shR`+x{Cpoh71S>+}{CuVj<D+`GZ?%ZD)DzOIjq
z0x#H(OB{^R7Ed&L-ELi8ke7T;y6s6bXV#xn!HyE@Pn~@ht6$~{^iWrIf8BShbc@L!
zYfse(ne!P|e;GdbNO|apYzp1I=UMN+28DNPcV6ASZmZVA^&zoSt+HE>#{_===J89V
zg84>vbIeWCW91=N=A~P&dU92C)74Wimsu9NUFUo?S!;J@Na?3Vhf7Nr&iV15A*E?e
zeek-izcRTWZu2<2-EKbP)XNrz?@GBhZ#SFI(BXJHRxtY%OL_AnIi1)KJIl_kObpJG
zmYVhbX|Rx|(3}Vl{)tz-v;6}DI26*CpRdhXQBmRRajMNDTJuUpW#yt5vz58yjJWnx
z{M@`JM>z5c-|65JS=)JYH%_0jEU8rc$4c+4lbL7wrt*AaXl$rHv^y?us$f0;+A?SV
zJwH;uaxI&7(%so|p4fvw?Th$-WM1Ai=h?3HH|vl2+Lm@5cKLp2PW8o{{|qj>3V&z)
z`u3k8b@Oq*dwUi?ovPV$X3vSvyL@&zy<2yDFW1;<9^V<XeC@M9&t)E5e~fv}E(P4;
zu3zPRN;8l{UgLc8lXQihAy#aGfjx4|SN>r&+&Fy>tJk%ET48T@YJciob7M!(MP<1*
zpOu+iA&n2(W;%LVSEs!Em|Fe&vgi7vez|<*T5le$H!V9pVf*fFZ*sTQ-P)Vt6y0ZY
znPbA`kGBs^5mn{%n#8Egn7}i!d2aaifRjFFK0n=m-{r2W@&cIyPn1rFdMUB}(+plE
zvN}CKtK{V-C9AuBSwXM)R&G_9Ho;9~^2EpC-^AK2-`X*jyuX}&L~TXNS{8x3Uta|r
z-*V^k{k>}oS8RHx|29@}6VrlgQ{n>rFY^Cq*y8_HrFLs}VAk^a0ha!guE*~1I$z9s
zHa+b>gV@WD(z;BK-<y2vuje+2xO6o?mdn4&*6~QwtG$2O?Y$Sjy&3=TTG6`Ors~yY
zKUz<|w=oV+S3SP({8#=RFZTX9bW8I0{>{NJuW0<+TGaJmRq$-N*eD^VTk@p}EBJT#
z%~&$US<mli@jQ*K(rY=h*(-PT@A#px{^3)_$0ykq*|nN&34E@a5pd8`R+6P!pfokU
z?_|OcE51{&OkO;V$P;DSTT>MEYO`*KpU=uG?^bSHys2^ij1ys=zf^c8)i$U{UU#1q
zT6^feYU(MEB+24Ab*rPk9Xr;#O}f%?<H8*xSH-v_3hy%>XE@z$zpJbN>*dBB60uFU
z-A?B!YtG*6{%2~ydv>EW*{s)Jlr?AU)aFg)4$ezb=K7_1@Yji7>VJ+cJ{xo`<F40{
zkK(UXMOVzwXwO#o&+w#b-oEBXEw3L>ie9>de@$3k`;Csxw?vd85|v-J%vt>}sdV=G
zNmUb~VjCZr#AJOwDn9$BQe{Wxe+KR9#ZUL|m8x+o%zqOr72GoEPiOW?yZWAm{~4~W
z%?bEzD;)W(ZuR!M*)B;BUo`KUUjJLPaBfWH+DEK8yW1zp|Cr{gwpi@(S9>$fIkMjK
z8~^aHsG2(YkG=opzbe&_Wxt-*NZ4oe{oHqpzTDz@aWQ`kd#9T&o%H@sjOm~IyJLS=
z*3CF}%Je+<qy7H(*;Y)RS1NL2%Zhgno+=8hU&Y1jo;ozuA2NO3w<2}z8kzfB7#qI^
zSe#pz7IRqkx3in=@72|9U)6Qiu3Z1l^{>vQj8IOUf4nC(1HKA11jTsOOjxR+l2HEA
zYUaU`wHpG?M@CdC7fPI;9zSdU!^qmMCa+VQPaSeI{u-wC^X!86aR=|2<nG*&a4lVp
zVcKm&IqrgK)22Il*#~I7P)Mn~wrth1NxvOcN{ZND&gH)u6_?ufIeV6sdAm%yziwD@
zuGx)uaqq$<7u}rpWc#J9E&EN6UFo<udETqSLk5OlKGnAE{32toTl`ZgfB%A*Sxr}?
zi>A2y-T5)E`N~@Fo6&YxZ~tZzothn%bXC|hXx3cC_MlBWTb^FpH>t|c|E28#hV11x
zUuwR{bTu_@<h|1`w=;Ipd0&55FU^&AWKS<tcpkT^d`{NUXdTyQwUgs+*SXy*cwHEm
zJ8Q4!tE0AGRla!i{5o}LQtby%&tD>QORQtFQ<fyKC-yf@IU~^hzV&L*)8gdsDi-Z`
zmbuOg_mxl)KNA$|Ww%f2gxvFx@aG%93eMYGr@7PNRAY^1Q26fK4LfsJ3I)34YIz;x
z@-%7>Q1~u;;M}r8nY&8_8%oaKG(N?)`tYf<yPw|I+@7}M>)vgmTO+S+dH%A*ExvHa
znjKPsUQbl4w*2ZU^i*HLWL4#0yEWR~MkGh-Re6}fj774KS1rld!}WA+*}5*LZL?xc
zG-I`=+eP!b=hRoM(RosTi1T+=;?6^C-c$NBTNhhK#UFmBc>7M=HkEZQ&sLk)W^#x|
z%?iBKqEPP5(|pH_zsSE-?zsd*VA!=?Ywz)L?OU|qT+Kv2>nx$3=J{Qwd!D){W}0*R
zPObASFj~$bzjXWT!ae^Pt^}^0tuklwv>&Y-9_(75zOLBw?^%1@u<)v#lGm2(Ejb+h
zZ062&M{0$V_C3}&S+MO+ZmO13;|Ybn2hH!-vp(n%6^lCX!FeldMn9M3Po<4^^S4+(
z4&n2v_3U-uAs5Eo{b8EQ{P%JP^{VHv)|SrMal3&nqW1BJonOD5lr9eTFnMM7_(S)u
za=C5yI``PW+;o50PM`IAC4YPtlxaCWEtXkNSK`gSd%-=wpPyUR^WN}V-p%4=kuMjm
z`F7)&?7AAh@W)9xephqe*1fp%<Ko4iXN!DRP4(Is5al%^_vm!778!=y$#3sG-f5Ly
zJF%^4TI2au)^jHLJ2bEJ`YgA0$L6QEq^nI|m9Dzf?dRdBQMI&ROZ`-|-N{ex#b0<%
zpK)V)QWJi3^WB)tjFUNb%H{R``d!lXrmt+TJ`RvOqgRy~eoM>JeszFqxAwv1hpzS+
zU5Z(hV>?^$iO7z(7Ty82`){rE<NvLZ^{9959Nx@$j}NVeOEv``D}Q?a$kWJOQ(tW9
z$bVX{`7~$sM4i_`0!5Ej7|cxbY1=iU=XfAPL$z+olAa2=f47$GiMj7)t>Iqt^@W&x
zcg50gF~OJmpUD=LF~18f%`5ty{C-!Ew)OMvAwSJcWfyexE6wW6oWOZb`t^T?l;S(B
zGS$s*R}{o4%$&Kle~-=P`G*!Sd7Paa6Z1X7J>%{M<M}>szl6psS$g$8bk*z4zj%Mq
zg_W^hf?=;bOYd_AaxySX`Nq7@sC4EdtK;`1ZbaM*Ghf~rIZye~^|)^3#@313mv?^G
zo6c+Qb!*FaFUMW4FRl!DWpZ3;;Y;lo8N08ws%izkv1To|kZL`o(|5g~cuBcNapC$E
zK|hS%^XeY>?fo<A*~H1)N)D;MnsfYS7w<{2>x);O+;FDh%&Zo(OC4)c9;~R|!T8DH
zn2qq-*l@|{ms+mIjs@qq+YW!)eyOl^lVpqFoSp|0H~d*0p1<wakqryZ79Cl>UCOk`
z{h7Zmzvh)aTl-FV2HNZKCs>zXYrCJnbYXU{#(~O{*DX)&-F92!?V7^HdCcbxuUo2m
z{i*l$<GPr>?sL)d)Yr3*R_2&%e><leb!Xw#X=kOjb54~sh}Q5tbjYKi@^9|Ee=qGy
zjU-iCKD)fp?XHOPnkBJX<L*7>fV!g<`Fb_E`qELGw_WZIJ1g~Qv*K~1tnQ%undg?S
z`O_KIV7KvL(6kNfH6<=gz2x&)r9G&Zo%3w4^!*5L*$bH;wXWR0m-wM;vC_(YI{xh$
zv70oHna1gKoXX0X!pi!EWgC}@_DW@LztFG8X4jm5^5#wn*Qz?1^=)w{%x6^e?q4MN
zUHwt&{@a~ZTyh652D>&qKDt71qOZ@dp8E>}6di=vss!fU4_>kK`Jzjg3--$D*e=c9
zRQ0++gz4FjmSVd(JHz(Yy>S&=C^Kz|Vu+aX>C|{9k)9?08620L>GO9_+-A?8Tx9Df
zIQzq{{p+m%Gi1KkYQ0<Nw>I>0iSG5Mz7v+u4Ja~>I5nlFW;yeL%RQEPUS|t+c$yaW
z_U@3`YwKm)e?RVf<k6_2;JnaXzeOt}))>i5x0>;ILYw{HX&W9#{Jqv-zivs;sl=J<
zgLS{koeVnZ?zCa%ak0}~saIBVJ9ULjG6-5w;Q0G>T*`@9*{jKt90woi_!;K=-8=XA
z*wYJ(F0AirnVxd-UH%lC-(AO@GYWnL7501lSuJ_|?5bJE&x_1m%{PzRuweD7ra~LP
z(^W0@@1GsY<Cl5go-2J#QFqPs%&l%hE|qVZZyvk)X5np3+e`HejTWrRd3z%0!7j6<
za}L+DuB>6Yf3y1WCZFRw(j>)Im%PdhWfxhq_S>(b!>@j?WLPr4RAGK?V7Qaw^xYdH
zqkgmm3*GHn|4%9U*;lst{x@fd9J+ngt>xFL32Ox9SMwUxoeI!WelhXuWx>r>>k^NP
zt9RVaZ~6B&_T>e|>peCF>)(GZEtTxE_TBt4`#-}cQzfffC+lfZ>Ko&1=5xxP-=O5y
zut`i#a?)FMlessJJ%3}rSA6l*@AHnH+M!uib}~BP(a~)ao<vT~ILtY3-vNf29YR6%
z9n~vVJl<aGIGf!;c#fCu`H35%A2S#`J-q(;)vDEOy#f2yTdB_V_L{D?*>Xk(^FFI9
zjNxzC{J&gr7B@U}?$T}FSZ9TVt4CP3Tv?S9rK=??C&Z+Du<uUVB=#0XMTPnaS0^xJ
zh+hnFxuKlnbA!Q-`|_f>PWDHV?r*tsTg&xsV1@g7rxnX&ZI&v`<lVtpxV658<?Hhs
zJ=L#Pz4kk~n6K<{YUATu7OG29-d%j~pt5<#?*;wo-;RB_xBFnX(YZveT2H-`lU^#$
zSkv6}xTU)MfSjj=)bh60%hnTD&x+33d^d|lfVXO1L&cOR%fsu8Z+7N2@3elhEstHu
z>Qa{BB9;|@r2+z(|0&-Oo}aZiy)69o>(*WW8J6TsN#3-2#o@mWKehTN#CYu}E1T5)
z?CQE@&$q~EYR$OizFI>2%gO_jf|kfMUYmFGn8Q`mQ^#+ZZ|V7Lnx210S#_O#X5*cY
z6+f!}g=TKPR_b56ovA-D=$WbHtJz1jDvu_Z-3kiX%J|O7@xXVhvq#gu-D*2@*Z6AS
zE!|5oSvNf;kDJHqt&YjH&YPQlyX17(#8-8EQ$=^I`PHQr=;dbQ`Q5Jc>dTcky}1+8
z&Ps5<u!<@Ra=M{>a{+(T>-t!mr8+@BnlH{>`03g=r`ZZ2p+d#A`vZ!MYyUI6V)rY4
z?0TajDN%KmzE1y4=h<)V4((Fe@YqXPQQOn=_;q&AOFi1*9+x+|nDbWb%_%BdSQ)Gx
z9_uvS?CvtP9ElCLb7p$SN4W=0oujJFae`TW^@%I#au*(Jn^*5TnIpKfm&M}2Q^y^5
z_kON8yQgqF=k3^8r>8u7a$qv+b6Zh{jTbhxKKP;|_?&&4`@UKHPp>Rr7t-|7`zCv`
zg~pNvxxqDW?|2>8_`Wf4+v!|^+Xl)j&g3pnpB8+%;r9Y{=KaBQZBKA|yz%(jcX{7i
zrgJC5|A;9%``({i?_Z=_F*ocH>&DQvx%yJsh0o6APPwwGJM;SeKOT;}t-sFItX5dV
zqrAP=;<&;0s8H6kTR%OjI{3u?p-@#}h`L<KgouwHc^=o?oqjh`{3+YK^>1pQDi+Ns
z-129_v(;KvR{LgJM%gWxVDEYLt!Q}0IrluVuC6`%6s7wXa;}{Brd;4RzwY+vfGDw6
zk(FBP3Qg8c{QH(#K3?@*XW`8#{bPUMZrZth+xm~y6Zy?{Z_+8+#hM$d_>-0MXN*_>
ze})Z>zuMac=X^i6N;PwNeWu*0xla!Kt2p)Jf$rp*kB_H)-*@Dm?}W5~P|f85{EH2@
z#W|)qSAG&{7qdIA@LkF@sPi!&N5~oV3@z>W+u56^)!f>rd!uj9QMt+C(V|fel0FuJ
zCo(ntw@2;b@c1>UhItutv*gs%t8)E!-;JMtd#-<jl-_qkOGk%|n#|oY^@XcSxw@`D
z$Sz*EdUv<{IwLWg@8?(T*9z49^~`!xsaEW>wOc;c^Dnx%*tviCQ`Vj<e^Pqgi^EjE
z+*1DjaQnuh=OHTjdrz}^v`gwaEm(Tw@zv6J?e#ssRZ<!LdhMH~lg1aezh%vh3D><$
zq|C3cjN<dJwb&)p^nU91pxd&GcddVAQgQy=qTuUV)<urGnh6b74GI(QAF%qU+#MAo
zB0bf6#Y&aA&0(#RZXZ5bd+~n%L8bo;tB#hLS{~gkq!Y0+b=#B;O#OMU-Y~rLTdi8W
z^zZ43v3jNDG1bnS*beY0&2O8u|Kfd-?e^s>aujcU_L?;9`sFJD5{arCf3sRGo%rqY
zg?cUay}Q?%^ZjS|VK%F4$MO333720_5e~`oYE4_Lwl-|mo0F671fSpc>D07GSBgRw
z)y#Qq@#FM)<Lxo;BJLaa^joU0vanz;3R%B*|DD)%JHwv5F0x@+JH@VQ!tpiJg&t>~
zZ>VzG_{Py{+g4$f{MKJv^M6=g3JE&zYPRvQ&zEyW&1d)Ck!rgYzh(BNF6pXJu8awn
zWK<L{Omg(<c;Cv?{QI@J^jv>~iL;wFifppG8*;1Td*-Rj_l!R6>O3)BOJv&G%qdxW
z)vQ!bc^248dIarqbown&{KoyO)s27{*D`lKj@Z1TM|Adz8&BAJR?^mKU&qz1%Uaph
z8rGWId}3r4?=}0U8n-<!NT^xWr+r><Mwqm7W?Vq4sE+!2Nrs;XE)_Ssd2L-dYu)N;
zcZEM(m!0r&YxL?Z^+MW3?{7z6&s=<a>Mk2ct@)PIg?{%arYz*!_T4FDs%ovRhox8J
z<(!Hs+Eu5#=1EVS?5=L?d8OV(qk!vo_ohGF`yF?z>Tzui{gb*`_q+I|i`DCYxJ<sm
z^xBhQ{`<@s_uC(=Ui~HRrsKJbD-QnqdwTOJKKA!da=+|U&%Ji%%=+l<qQ0+st$b}3
zY&#Vf88y3nMZeEdFXjD7296hM@}FH$Tf2Q%u-COye=HZX+ou+Ny2fy`zWr$LCh5rm
zO;2BJPuwo2Qrap~rMLFz#C}aD5ozrYA+?{^2Me6o>9u0}?pt~ND>}+co&GZ%{`YLx
z+kL?|-{0Djxz*)t;i+2R8E2=KIF;J!S?y1lA~$tXb<M0KCYNTeOJA;edb}&{$+8W*
z_v&PVkkqHZz~0lhv#rZ>R?WMAzhp^>##gspvW{=IU9tD>U41HS@*Rx|t1rjJtY_|C
z?^~F7BI4nxJg&Uwa#=>JO;*+HUUfoCD`_L=r0vSeH;rcdd8hC{mskANFSRi>-0t`C
zUe9AIvKHPg%}(0R_IUd%f5(-<DoP=qI;)rF>}sB}Lhv2O#p0b)EVX8ZJ^mP6v}Rtw
zjce-_<d(X*zIAR_YYZ%0Keg~)xMS@ee%<v;`Bda(WA}b#eXx1=MU5x?l3bggntsmu
z(4F>fdXA;UzVBf>t)hdbv9Fmf7Z}`Mf8cZ$r~8j7{5!ADOL`g^eA-!fxBZ<@VP5X5
zJZGx!x?AV`TK%qfVak7onJO<uCr+BOQ`*M+0q@UU!4KoA_xjGxjeNUOUrqU?uHVXj
zMNP+_vvPi~br7=m_%2r<@=BU{c|px%-k(!fU5T>Qy1T@A!G)D?9F_;)^r_f5!@)b(
zY+}n&g$jlY-6c6WxjY#MxNol4zSV#Knk#=%&a1th#fo1qy$(DR>DX>-ZpF#|G<@R;
zDc6Munr5tAo*JXq=G%2PFXh9nGmrO9W&6GPJy*}NrB^O87G!y4tYKZ4#g*&Hsde1F
zu%F$k)kMkcGt&m~b#h(zC8nthPwo*t_K;oeZS2|=*UHY9RQXOX?`xl5s_J{BX8D5Y
z?Ej)JRE5-T;O}{TMriAjt+z!V9gLS1EVXt2k^fWv(Dv;4yr;{aua@r4{=R6|?5M20
zWkIi%0#mn^zjR)^Mm3>YxcTel{B2vG>y&kc>`@juufKdsk$lzHylIc$yyy8Aw0yI)
zbK&OreR?Lkt6HATb?#1BYs+1EsVS&Q$SXQWrm3j*<VWL23tNtht<!RKnX*kvJt#;n
zQ+DU?e@tRK-XHh=J#nhm8f`lt37^23&YRNwwRu`~BfJw9s!SCSDeUL8TDp8;ZKC3?
z#8lmDp6k{XbTsy!jFLWlPAA5u*j(lIvWLq;)xw1(mmLwY5V|C-ts=C+$TQ;Gx2u15
zHC~CibKEj|pWH^fb8#<YILpjFxh#BVnzH4U;9hap#<aJs2jlNrcumhV7QeLGNO4s_
zNV$kW)oc%y<<BJT4)5RA+>u=r(&gr@a#ldbdbw|aXy`M4z8}w%uCJWqviV-wvmMd8
zGqZbs=NhaLXx;IoDQrRCqM%!D#?Pg?(tDeC?z+rfTYJcD*MoPj>-TkA#!c1A+3FG9
zXRGDB^r-gEs5^lt?SnimuQ<I~>si2i+$H0UYVf1#!i&lQ-|j6e+33XKB{92T(<#Z!
z{dw)F3wAijSyk=3HQ~5l3AbUCZcb(K$NBm%)>)+=7B4ind+hu6l<eQx(JOZe$)?Sj
zYW2Y5KSSB{dyE?XH+3JsTy8sK&(o()<|kg>KItvTKI_f9bANKg4_}+Do@r*E$1?k#
zPuRT)f0nFXs+g?1Tg_=-`M!l)YWA1BKC@}l>|F;}<#APY?|i#T_U^xLT(=)A*9ku9
zyT5LJ>FJ)?ukHnknngQB3(W}XU#_}^pYvZR<3r~^&VHBA-r62}MSH5ilF2%Mm#6ss
zEmc@`Ws8tsRoJ9f6_E*!>^qcSE-{+4bUSxjO#EHWzL0f)XD`@kdilze6}hW~SKEhb
zHuWw3Zh5)MowqCXg4<t@*u9e<w_PlJWEv)RIr@{P;A=mVH^-*i{^X3h&7$gHv6N+w
zMw9!zn;%SMKE1uZ%;m;^hAa-PZ*TQy+Y8RRySc<*)zrqVA7VQG_y>CCK05g#$Y>JB
z>q(C`IkGHWlYPxHdTP`+u2pla6Z&-bJq|ngHm2q5hO&8gmYnu4Iql-`q~+haomV#g
z<(sXiRa5fOeRb5DO(jP2efV#@Eb-J;n8Z`Lf4}*?>+e+8dv4D2ESYfEuy`)7Mv2|h
zT|rEj9Jv_GAM_Wmu@|{^?edi)nsU*NllyjkjXB<zcb!Y>M6|PF9;3Q!QB~h=y<^w%
z;_eq$=WE^e+-;I^f9}x)yG_SWgt4ERS$KZh9jA^HAMf80GR;oewd<u|+tM8sKjaP8
zR@8mDr?$LQwYX5b#_DH3^CN-Qo%8v0zi*sa61HM}kapN##;Lyj3SPXPGbI(h!laZp
zU6}Zpsi1z!T>n~~W|f@TD;~b;*g40*!Re^d+Je&)jtaG_RrmXs@|X%4cb`6|(=er_
z`OYMV<M#u8c3xbya)b4^?W^A2H{*NowluKI?QxW-cU{S{dZE+CGj&%UJE^>)wz|nw
zs$$+*8G}|=o(Xc1(k-=rjMncg=ez!n?OOEdZl4{B+Mgvvg${(5-_~8~S6_WOO1S5@
zcJSIi@7g>TTa-I(F=JL-Hf@%Y)Zc@jm8E`(<h-qw`my~@RjGR6y0F#XnHlT5=3TDk
zEY?z0K5$OR;T&7xYVMj)f#9uE{h!qbZ4o<>wen@OZ1T@1(o=Q*?V7e`y4tI4E6wL_
z4&9Rdv85|FP5MHrnVZwBLRKyLCnX(x654l)tkm1L7i@f-QL%iB!S?e7X3r=6o^^Gx
z-^MU*jiTg2@z7jvTW;q*=1;$BxfB&veC<hQ4?WYl=jkSy#9Xbs;%_{YrtZ}Hsr}>A
z{D&WprCsGu{&v(nHM8;3%s0-jv;w{xtESd}QR!bc_wB-t#AdCfSFUs2O|N5b|H3up
zu6$R#;`)Fu+N!&J`xz6KstLz;P80smu;+z>{H_2~*{_qVb45CGMLz!f>!n(8H2<o_
z+byMe$)A#owWn51J?xcxW5fIvmWmoZAH8nosCp^p@2WDeQIM&x7E+RJ=D8$$h3h73
zOw**f3mBg?<R0B??mpA{%iE~APGz-qk17o_OIGYXl5v9la)!nOmW7r<(+Z5Q_?a@k
zD|MOqDs)fnR34cnFGN1ooi5tkcwLvhTJ_?Mt}~UKsYMIU_^epX{WmbB<vV8tOS#1P
z<_RVbQ?@Lzbu~2z-*SxW>N?9$b_bs<?Kyih!`s{VhFA2eOR*6~3U=-#E9#B->!$V{
zspWIn+?ICcPV2mR><;h3wPU_XRT@sYcZ);)Lfj;l<~c7}rpj)R@!Ry{d)58xXLrY~
z3VC+_@_vb5X)Q@gw(c@tCIlHRy!NWkzlQP4$uE9RNfy$=-R+?j&*KW_`!1PO{PmJ!
z;GW4(V$OC?%sbwkyEEX=ImaUJb4}A+O62Em(W&2SdE$HmTkTi2Z5u8<X10ttr~7E8
zMadE6{@F8LRVCyxehhhTux;(RfZVP7_gZVLKbL+<qHy_wt^Kh-PAPgh`2Wk!I)Cy>
zt4#W~#2Ag+MZKHdS900jnkA>Yr0=m)<p#6YFJFm@e|Wcby=jqaP<qhv%QqJWrLJ2v
zQ%85v`~bEKt*i`1A;tY4<}X_u^}@$g=0P&Us()e&YQp(yk{O<gZ_BsX#$LQVw_4eK
zdO%UghCgo4e7YptHNQO7>YKOtT8KlK(F8sNo8F9rl85dbFIhe>??CCto59ZgGV+hr
z6?JDVJ-Sm=s`fy9Y|w146(^i0B<oC)3SQ-1nZqixc&)Q4!}D#6woTGl@|@M_Ta=Vk
z+jM*O0=^T?PgR$15MOp(ZQ;I*+*i_iW=}XjT>ZDDJ^ZeHdz6uXgzWK>2}U*PzOh=G
znVDy<rth+|d-C;Fl~h&Utt}51uecx2dgt+6<rK}^rJ{e^7dtgOR=RFoxy&m*dc~Xd
zv0gu~Z2TH%S6y~}b!w<?s>Q6y-{$x4t=@bkFf^ERMSbRv=VzmoRUU_NU9FY-^<h$O
z6~~(Y3_q3>HZ89WdMSN(`xo(7qNlQEFAaU<oU-G~iql~dC929=L1ODB{}b&`c_kYY
zbE6`BTh&ELgFO#qogRIB-?cmT@Y;Rx%0I*YsNUf<5oen8D(F|jTF;+R&gq*kO?~{L
z?>~dnT8>9Kyw4{}t-6^#|3+}`*MA*myUQ*Y?_{+v*eSkU+TpL&iL{cg=99e_+LE?d
zuhngGUlC-N`YWMv^5cNJ(o0p}N@<IoIhAlj?#)hN8Sy7er|!Hae8=pGVOpr#ii7R>
zK2tU@dhK4O82OjmYhPOUS6RE0m%n^!-@d78)!NpJo^K7_UoA5GcdGp1+0!>dW3MFs
z43o{%*;T6dB)4hH!sT9GVH?;_J+g9&@pyk}(ZY!fuKiZoS$6u$r2h;84Q+J~FUG|D
zeCBuL&TrnZ+q(PqXkO1vdah$;&pchK?Ubx{S828~W4r>V|C~ABj?G!UB6;!C%yS`G
zR+-WY#cd1@W+%@-(Ytl^;k$k30`!)&g>Bm}%Qo##$E2Xif81hUdOBVH>iO}T?blfG
zti$IHg#5fK{JUQ<%Urxp(K>x!?$NFJt;aX7&tdEF)cbN|*7K%_!Z;EC-&-HX9atT<
zA#|Is?81=C!86XeEfl?!a=cyg=A=2i8xCic9-YtW<mUOGL2+f5c1Om^NY~05@A7MD
z56`WNoEjD5on`Xeg{yeVw`<cEvkLS_ra#xxWSBRVNBFky=fuRU^<SHkk}Wc<cuJyd
zkDt9Xaj&&y?z@;1hKZhQHf;6impruXRw19}RtEq2C+GNkUSGJP+q!SXwP3R(1Fw$H
z>^1LX8*VvQ+`5?g{>sxUQOgZ~+*!%{b!o~P1;K0X?oEYXe`T&*qLb&;TC;xIecxM0
z*gTJ|aC)q6ZC<u=_ZRE%B0c%@8Pi1$avqtH+n#LoKJD7gT!k;KQ=Z85&G~C8r+F{-
z)YB<j;$QOyC$B6wjw#%BGs-b;ePC`?OxM$+q20dAk9bC3QrRV)%lyv&KZDflXJOwK
zEz*iOv)RIQaZy0#-am);=yR3&P2W&rb#hVgrFx^Cl5GzIJU+jiVBa#Q-e|*`isN$~
zR;;X)*~nk@^!q=(HS3cfZQgpY`MW*4-FwF8yS~5K_TiSzvJFe#%==(-VMoCE5Xn`F
z+LJHYg$MYzPkd)TBmMn)!M$52&RBZaI(3)hQ4_bzrT-a(rL2$3)_;;Wjrh3l!(OxL
z^>=Q)t_oOxd0A+<&zv)*rADs;7V#{pR$0KbsIH-Tg-M!MRo}^7z57?4EjSyR+V}O1
zfLxj7oh7{ezuVhH?oas7AXH(kyt`cPW}w;GS&z4bO*r&QYekj)>(mYVrYc{y^>7Se
zf5!6QvDAf0yRL@b2=;n$>(1j<JZ0LQ)=y7)hWZ}gI?;DgaO{dbpH^*-i{@DsG%ak)
zhAFH%U#3>dwkOVcxi2VG*K}9arIftpqi)|HCvLayFMq11_WfAdQnm%JWL&*;w%T=m
zydC7+;k;VbGr~V_DubJQPUdp+DX(U(TsUo(<L#`iaZ8!|_iVWpVO^bezvQV?x0KEf
zpG!-(tSou5tzio5<~a>hRxfC>{qx)>X6?sVg*Pe|uP3Zu{X$d!%DywP4F+!J5}(4%
z&gJUv-n7jmTIzP4OPge2{$4dt*6a7;Uqv2Ie89loz_vF!_hYnzfa~@vE6Zlbm{leE
zvfZ9kHPxKq`T1JEu*|<-pDGDwDown|%3@p8-CkC&{<^F+?$xfWD=)TPnW~lICTG`k
zV%57PER!$YZfWTc;ra5U*5Jy8&H}I5o>9L79$efdSQ&kqW2@Q254+n#+U%JXx>#0*
zEa7Ya)$iCY(sxvS|B7$bfA0QSadcMBe+D(xS89{0Grb-K?-P`s(_P!S{@vf5Y%g^=
zd4nz;Ub;o6{N>k!uTI#X5pb~j_(t#8ujRcJx23e@bIQN9SGlY#m_5HFEh$D|$_#<m
z!eK(4?(zpC>ksEAG_@Z*bnyM139%^){xhg8E;&5=RCNTG*v{00vBw|RTz?m(U8I-I
zdGxDcc;de0ic995n9}mE`Ab1f*KfI7y|$YDfh&R)*9i5<UO#pz@9D<lzPs9MZvEaG
zwPXFNCFS*cTNhiZ*=pUZO!bJFnW@ElvV1u!2lH|**2n`Fdhd1{U7q|U@D+c?n`9S@
z6Z4f)wx@el`kkn~YV&%Pz0tJAlNNthnY?0&@G3S3Ho=t#<3c~>xjhar3v1S$eX2Jg
z(&=HiY|wsYQD!}hPG)VVpb2$BBK!&LwLVK{1wA;pB5=u*BBh^?4^{K6PPo2(an6c0
z0qd-UxmR3CI_!~W>Sk5FYrRj+ic-x}yC(Oo5peUc+FV?`B69ZHb(#{XJqi7@cq$&B
z{d?>2RKwq8cYUokJ4|>v@n@<pcaUUh{K{Ni7EQ?mC*JYTN%w7^w#v)v=L>di)BMIb
zJ;$QU#g(dN!qaDOSQxC?>fP$Se4$6;(iI6i7A*?d`goh?8ym*S%kFu94|r#~Ifmn{
znJklmSsdTJ55IfD{{8dYD!n6r_RTFb@^>)$B)kgQc8mKzLs>)1Q&)SV&g1=Zw^($Z
zy;}BdL&4v@TbItcWSy^nXz6#Q7f+V`zVIZk_M*qSb6XcqwP-!ovm|)2ii}VT-x2kL
z@io<RO}w8-zSt<v9-ALHYv)13{(tTZey_VO@qW@7uP0vLUL9F*aAEKhd(WjI&(?Mb
zE%o$FJud6TsMn(MwW>nZogpFJ$+)4^zu-@s!MBs<+EIK`ep23BRDL`@7;^3F>iC`O
zFQ(<*?vF8+nX*jLo^$Iqc@K-P4q@CG$BROH_^q06Ot+r8s&m>)EiG%VxR2*%{QAkd
z^iTHVyDK+LxRJFzxY6wQ+6_zhJS?>J%(c+YvhqI@FsE-R<DH)e4qTmTYOMLie#g4?
zhxgd~CNghPIQQ|>EB5J~4*5rwOUpLBxXbZPcV+svvsZKWED2wIwBghfQ8O#$A6z9W
z0_!&4-pA%%>#6F!%gR#aX~vbj!0r!s@9b9k@K|?e<^}bmd7HDBz9@}g%;Z-+^y!-1
z%TGZYHaP7`SHA6{?VWw|1{?38rTg@xr>A;s&h=g08PIL^!ZqfqY~obboqQIl89zVX
zRXwVcsJ@d^{pEV0R|bn>=N&g)BfT=5!NR{bC$w_z<Gp$na%;=(eGzs|vpRk8Z_(}j
zM++kuJzpO5VBh)qwqwuJE9=XCu{*rGdAx9wRmro^{UMLf=dw7tOL;7*&QO@`s`_}%
zrN?0}g;!h_*|IU9=S{emXe*0F)6|6DGQx{@9MV=Od!F_5L;l>bn%wIeV!JP^n0l_?
z)#F~-ek<B{Pe`?DM$jcO`{_GBHm`bi{KhHE$>%2Q+~M-{=izzIu`&0S<-e6KN>V$Y
zw@_%&l}5|N9}{kSRXtod!75~G!@>zw9+B$%r_W_Rv**E!3DuQ`S2^m1v)^6bXX$Qp
zt7yiwE?GTYwVY`pBCV%#)_Qvcys5G}#D7<%I?FV=dCA4fl-6eMg~#|iw*K855V>Ky
zmC*ay5{p0lXK0_aVdsRK%B;F;EBVa(zh}SgJJ2hU6)RtQtM%!*%<HRm=gG-_44+XT
zvwz3@9UFABZZEO6YI()K;8y3)U5}n$>8t+f7HxO<zQ07$?1*#X%g#6)>WI0m_~FJ)
zsq4Qq?)IMFz1qB_Zd%q<srrb1#!ohyx(k*{sDGKa$@a@`j_8HHyAtPm^;}=`YWv~o
zH92QLZ_LV#-(6gMtkUFXXH>vS!&nDBgQd$g`B<jtax-%sZ)`GYscmkay(uYjx2@N%
z^6W=k`@AEI%glRjN0x@X>pmp4;ABy-?-J*}jqM#AL5)8>{iC{qCKRt!@~gkK&_5_G
zvCnX2=-as;7VVqtm9>6%_0GH~&M2p;vP&ej^4}~MS$6yU8;{>F%IdUsM4mI&ZU~Z;
z=Xw<zr}UrU;(6s4Q#;o-{}E48STKKKu-=;G|0XX;Vo#b~I&l;K(-WLAf4{DOckcYh
zZLP=V-nq5BYQ?9EKVxsp<*#LZcDpdkDX^t1-szN8h~x2^>?1pQpK2}oe%q`g&{yub
zdr9cFGw*wa4lg~kB1|RL^mb#1(2FZvR`K#vO^z(PGF{|_%8G~HfnP37;5>M4R&sM~
zC@-tW;!OQ##SMy!|Lm}S{$c5F@q=$4-EB|4n#Z9RW%laBW}^icg=F3TO=jn^-Fx+t
zeXZD`=kFI4-9Pj-^!d!k6X&VF5meMK+9uy|QGDBM{=EMTx#mI{f2`Xq{&=6N{?8D5
zg+KZJ#r$87&rM#M!aU7zx-RpojEc&AXY<o-j{D1Z{$`QAyZhpvLi2+A<+Xmx**+~j
z#mzbC*36I~>$YZhS>6YamrE%8ejb`%vdr(|{T({0p|17Yeutb>3Y*_P&BkWp)$L*W
z5<BPT+V2&gb|v`PUB07#=55*fYi_R1?YihgO`b0UG~%op4x9^KeIiBJd}e91Z;bh@
z{EX^?w{u@V*|a$OTYceo<LV`E+s?bKyquLaRa1AB_c_-Xi{2G~K8Z~bnIL?LKkt<S
z<K*6|yRJF<HFGAej(YaMT<4AK_3bOZ{LU2Db*nymzB{t*WfhlfrlZ#%=XH%2FFBl#
z_}SjKUW#?8)ho#x9}K5%*|Iq(R7?ChN2>9E2EO}`4zo-<d{=q>g85HhowK`DuvXgh
zz^Sj<r#x%FOpJH8k5vgj*Ts3_;3ZDAOPpH2Yrg5{@8nGMzWw*`Qcl6R(-Tw88<n_!
z9EwY=Keh172RBES4BNF8hbKj<pOiMAF~=qSul$wmQSYa3pLA-*(vZZEcpvjw-%^uT
z>#UcHKF9y*NtX1DZ<%w2{i|o}oul?hbm88xzlZlpKP<F%yFEMd=)zC!dqsUpIk-#K
z-h0ZsP|MHb=akUKUXBGU#r7$S>kUqZ2mM%h@LlL_(H}LQyHbPnrE8l$DerqT=}Nz%
z-Qu9Sq+3%z{pzsSR95(*$B{IlT(E5M?p@M$^56H0r&rcGhCSFZD?8gb_xs&iN6l`{
zBhxNl^G~pK`6B$FG~G?&r|eWVt@Y2?b_#s$-Tj2^<mr2B=XD?5Zmw&+K4hle#IkJ-
zuXDGmuTZ}h==oCj>sN-5zNt^1^vK$uZftqI^Y)p0F;Anu=4ssyKQ6weP9n~Fwcql0
zOSk)l9_NyZ_g>|^WbYqS^;0wDHacp)|MZo?;ldNvJu7w@eB<bRpSMWd_jLLngEF=0
zNw*AMPVIfVC;6Y!!hj&FOV_M5ucotXYMx@&chHL~@cZ=zmTXMDCX3qa!v1~Q{O!+O
z*^_r(O<Grbc$c>6N}+3urZ3yG)qH-*w)qz(*mW}SniXxHJX6)?lFYi${SiAdOIiH4
zsa{b!+xsVEFYD2T*ADzkSW+(W>*eNUr>vtM6y3de`IuknCH=0D-oB@IW|Yp(S}yBz
zeBBknsU{95T&6Nke*Cng=46<WUy<$B2QR+nd&k|3$b4;@`Ko^ZthrlHo@4yDbF1vE
zjZ@3QrC7`jXPgS!weQo?a*zKEw>>XC>z%(<>~zld*UXl4AOH1w^!DB7BJKI#=Z2kL
z9DCv0t8>fTd{!;eoa;4Vnb^813wBP}E>ci?p|S7r0lVtUGRzG#-e&9P8=C&<k$xD#
zTw-zj2&d26W5;gKf5~0^%5NEeFyGSecP4GVB=BW|Rp3<lZ@K*U<w_d+c%_Vj-<X6Y
z-n_JZp7Ztf$3L|4UfRCB?fa8ETynpI>^EQMeHh$yy2B|*GS7Oow}-B#s%KEpyqhO2
zWq-d?=_y|F{#{tqu4z@PK4`UT&vQSV68EWl()$m0%g&vBvv#6;*R9N#vtD1i5j5+|
zsVNN%o}STN8i7G4)puOJ?2~ySnd#D<clHOFH8pOq&Ak5mu0T!xzL&etZrf7(tnOT+
z`}(lQ>r9?U^-Xv@Z}KY7!!4yNH!b<f;CZa>=9L}uZy8v|-g>on*W9hFJJd_F`<Ioz
znVPsOieqUni<!5l$a7br*^Vqf&rQ;lm-0}%=vw&hwcYjoYfoOA`qHUAV)2z|U9WcC
z1>5d;{+4H{WGQFgap`NE-!4%<$A|asUa)vuR=DZrs!+w-(~T#~WnK@HtrEH)6gFXU
z<FzT8oCm^-tcBmNmsvc0D%&wBgB7+7k6Gt_c->q2{@Ta9GhEGwW<0f%7My8#VcV%o
z`&v}9v`U|@+`=%y!20JWo8#hX#Zw<1ak1<=HS4R_+MUvk!K;H;`tJ|gx$6C?G?BDZ
zcY-&`1s%@ts-8SGfpK}kio4TyOz53q_WtPP>~A~uFF%dVy^!R3Dv8tJ+4+tG{td0A
zd*<*zl~jIVvNf1tRdUHqzCU?)u5LVaTfVS7>h&5c*F%T5TFt%`wvyFLRbj`bs$EuH
zPVL{V+HAKpbqnvGBlGxb)O``{q8AH4ZCe<zBVDW1Zm&<f(WDyH6)XIgMaqBJ(K@H!
zw(|QWjXO~;J8eT3pFEdb*j)Hys_(7YOgAcbH(zY%*bwT&v#4vEmv<N6k3dB&j~D8z
z*Q?8Zk#RHF8*=5K4wG4LU6=NUS5MWB=I~@6o4-3Sw%uscve?ehJjSWlE(tAIaYRK_
zUF9p^4NJ>oY<o8I-ZjpjrInYcaF<_P#q|BUzt<Aq?49>1uq-^q(q)NJ%TnJhTc@fB
z{t93!T6~{V@|#rRft|NBgpR)z78JPiVy*0*2kgpaX-BII-btk@E%k1?QMPDS$fe&G
zCcfJ)6f|c^^-5cZO55Epti(;!)wX(bTb?^L_g3Xa`F)xpReS$47@b>mb%~N_)LO|r
zekY~=b0Jd%!VKS3*Ooq99D9Z1@%x6@hH{Or`}3@BO51P$wqMoa<*ut)XE{qZvUUbb
zevx<CcIs4$d%Ty`#cP+^Uw)HNNspT^k?<@tXw{2Ie~A^1Hzj{AD$jdgZU2aWOV7nu
zmmXax?>o*hmo1CIYtk<cjY$pG)4~=^c*OoPjN{wohR)f~M4nBHOE|n`>Tdb>i`2A#
zi>JRYU7K_AiD;|mikK-UP8iwqDxPbbuTa(L+@TpXJE*P7KiA^LYz3KvQJ#*X#S+;P
z-0j~#gr&;$dvAYPs4>N=q(bC}u4>1{#S0X-&GtCp6=co0KG~OPu1s#{!X636Y8zhJ
zi{AT81pR-%RBgHCsk&rRl&9)kl}S>bBAf3^LHH%1VSheOPOnsSPn*6g?BcX9CMz6Q
zxL5j|?!5Z^a>Tda8Ul5*td~9M+|*;qUsLoW=i-j{C)~<|c%R%o>DcN&sjDQaC7^S{
z)18;5tY2xbbilEolwlI5?3S{?M@!y3dG?~WReOJNuc~3aUCf%IYpaX;3y$4x6Ze{2
zxbKesp~sh^mpWJk_T5#zw<r1af>2opw%}8p=eusdIlAi2Q?8U_Pp-ZE*6H(gsiVtN
z-z7qIubr2Bp1yk^W&6e8J%JDYJ^Qq9XX&k2H`Sfl4%HvdhpCw@w+(M#*>*bfV4;KH
z<Oyu<HQz2A3#rh!Yqy(K^Qrvd<wZXpW?AkCIXy}Be$J7gVA~%br^>k~EMf}V))}Dt
zr18qsGL;m@`wl(oS{kwf&)5~+>g0DHPJQ!SRb#vApVxtz#*aLf%sj`lOt_yx;MKm)
z6ED?o=**YAka5sAQ0%aQUexY0y5Da9oqFTcSGV_bPOpzCxmmKyL}1?LfC;Zv6_sUo
zIYb0asb>7$Yw?KTYHY{}Ny+n}Gv_cq&fU28cWc11cXxYBPHvy>QCgtxp8DgXu#Tqv
z+Aj@^FJ5U%9<(c7@g~o2RoA46n>}0_9tvG+KeTMs+dNnK!tzCn)ebK|U;4^ciRoHw
zw9B`kzy1$5ZL-#0sHML1#JP^<BP(?`PbyU2y^rI<t=y(tw*AZMqPLa#aCuE>XkXe=
zHR%ceU-zj~SHJFg{C0WNg}YPNh-?h*al50<l9Dmyo6!6B3;KlYOeT8Y_EgzCaY<8@
zr|NT0mA)>{N-55q+50bhitPPT?y0<>%jLzwtM*?mo$}nWsmn#BiGxLO>6EFWJ8Wbh
zt$VuT%j)*@6&IJ;c}>-uGS#7C#eW7voheQA1tpX9miOLnb-Gv2Q9Eh<u9WEA6RR$X
z2w%FTvggVZGxnCgElVTh{nqMUNxxutTwzgr?`>7?zT5V0w<=8MpS|oA(=KXpj7Q69
zZl#~7Cc_*75%&2{FR6O9DRNsnP0e$i%v`kX-{afA7Vn!9-8Wrn*6V#U;+M(hEMKGY
zQ&UC2Zn1Oe%eT)nv-ooUGqjk?XLRM>-t=zwI@QIp9$#;@UFv^xi);VCTaK$FwjaN;
zSg*7*E%f1~1=rqorG~DO@PGPfp{S5gsVXC*haPilNl$6z^|e<v9h<o6oyqN-ZPOxh
zb+<LPEM#7)DW71nX)j~%^c%l2^*ui?+~k>|GHsG)rpm;ROD4tnnN0BbYceVR|4jh=
C{)>|U

literal 0
HcmV?d00001

diff --git a/docs/src/lecture/9-todo.md b/docs/src/lecture/9-todo.md
index c024023..dcc681b 100644
--- a/docs/src/lecture/9-todo.md
+++ b/docs/src/lecture/9-todo.md
@@ -1,3 +1,3 @@
-# TODO
+# Todo
 - see other course if something is missing
 - add some exercises for students
-- 
GitLab