From 6608dd28556ca3a6a9e8c4ba3f4297a3f234299b Mon Sep 17 00:00:00 2001 From: Robert Jeutter Date: Tue, 27 Apr 2021 15:11:37 +0200 Subject: [PATCH] Kapitel 1 --- .../Systemsicherheit-engineering-process.png | Bin 0 -> 64960 bytes Systemsicherheit.md | 92 ++++++++++++++++++ 2 files changed, 92 insertions(+) create mode 100644 Assets/Systemsicherheit-engineering-process.png diff --git a/Assets/Systemsicherheit-engineering-process.png b/Assets/Systemsicherheit-engineering-process.png new file mode 100644 index 0000000000000000000000000000000000000000..7025fe45ec688348476483116387cb860517cc28 GIT binary patch literal 64960 zcmce8WpG@(vaTs+h?(t}nVA_9GqW8tGjp66V`gS%rZL4aGc(1^jAMMWlk9WPt$Ou- zzV&0KX4H~eQn#e;uX}|l%1a@^K8lN| zdSslexvQ$U6AxUve;_fG7Jd))4#T9yAw2)gb}e7KabB-2#Fo&u(TcD#I=`_>y;85K zX}NH&DGEkv4PDCd3p_F>)H?{c9UvJhtWmk|Y>uD7zDLyh&brSz(vF7^@YPQ!Xvl<> zB=Ef`?C+1uFE#b9;D3LB{&5%miTIyVens-pe+fx?AtnAFMV?$JO{ODQM#jcGj#n5| z3R&cQd{1^n`uus%FOVhZ`su%ZS+UzJ#+0d*F9Qm^?cQErA_)2B=S^W9HCkF)YK#Yv zb&~&dOho$To^rWh;D5R1zEOV^&eZze8#%Hb|4x2ak*77_MQ`jAk$fHVnGmn%<%h24 zro`tAS=k~VUYC=fC8!EB#R|ka$!-dSJWhe7Gv>`BF^%tD_}m6 z)wo=wUS6tN8W%~6_FJ4#04rys4|gl}t!XKsNh!LoBO-allu{5{E$1+L4Iz$CNH95e z`d1KF#hMAt=nZPW@_U=(>XQ!B7sJ1vY_z3U>NKNaW1IgMAz3q~nQog~WTj41j??t| zu~*>3f~vf>EOls96eTBT(!+y?PBQu5cDIOHDw)Xy1PH+j199^rRCobs#Qtz!Qc`fH zr>AXnWB*EbXxnMjPsGG}5RHurZ<`ZKRS6jxC1ro`+}}wIY{5RGAB`DDRO&CyXwdEO zYP{Ic($dmxb?OVo{Lj*?*m*-Jk`TcbrE^h`ldrz<{%3S-Xl9`y`etU7ULETong4h3 zWkC8B9caB!wFH3rSL@uv0&%xuW8&kDkJ0{9p8`~0>g$w6gDc#>x_X9IScw2ONWGDf zc-=Mw`;Jmdsv!!wg;%&peqgr+r^$YCP%1W=`go(V_=&^(_JpKCcB9*RyUWyBou*z1 zKAkyrr=tclh$O71Txj=rquKdF69c=N@0T)9VA>ep#m*r1A?}gMG1?mwa3JYw=VB?t z!v-r|5KkHm{@?lS6|0tYF*8vuldk-ZS#omxBdA)iNF}@W;odKu#2|xQsDZ_JBkM== zH&Mq1*W9-cZQ9gh9fS_0Sdx(Etd5pJH8gF<1Hi3AHy1s>INF}|{TaEZ2iG~-V0C%p zjbYpf-%~RA7noXEX}v7Np!Q=aqDxDz&;;qC*>ZgLg2-_d_h$QFqjB`+Js zdX~o$7coe<^Np|pf5Dz**40x*$9<;u_ANX))~KtG zHl39twLF;y#_PoEaRcqsnpcnJ6${C0_wuX0@HYgh*AVuSX$Q@FD*6_iHhw>ZzNAIF zl0VN0B3@gG96+uQ{bKQe4zI^Y-S`ZfNl-DdyR(1J?5BkofKaqp!uxkilQ$(DwNUDV zVfftsegOR2Ez)@@n|Hs6+jH@&->bWL|feNj>l9s zu^+Z$jg#F|&i#4dq8Kdo2LRQ>1y^~;-q%{_Iz5teYXa}mJ_FhxBuk?YZ}-%Zs2U&r zlK#kluh_(%F^McZ)zLe3un#<((0XA5NXWFK&EPyHM?1j}B8JM`mzt4avpC#N%z)7e zcha+W0J8^tHbrH&zK&5u|f?)!^2!}MhrwtdW=lxz#r|^@VE_zUJu4{V=9P-AuUo=_o z`&-Aii#5{F)rXPPqBN+*^gWUq>CEdVu2$vjn6ZU8YpB-Ukb_>|*R?jJu$OoLocn4QgcJ!TVAiR1~jrOQiJvXH^XPt=@ zKZ2{mA>}TiPh3t#(G?19#Pnt|tf1lJ^NiDY%L~$x^yvV=CW-1P zcYtqydJj<$O&Al*9A&$mcM-ujpwgP^_deE}|8vhUxT>AFvE%ed%HR;&LM4$*>2#Ww zUb(OvKb;^j^1z5p_KMvPG3}YND*~Rvc#V}830G?FGW}x-!7!Ubb3MS33D#otDZHq* zJ)H~N&tRk^x#+U@=bA2(P45E=ExOF38v`RAU@5S!?Oj?1Pb4w=gxE`TL%wA2Hk6c}~{w zBpwMf!u5B>jt6umivZZjL>#G{{tzlh)}cIjV@vcDL>%dChO+khnYYLz-tUY;Bh6NZ zOdMvF_b;;$k!CdY4E8Bs9$bg6BOG`KV74izEq*{ziZ7wg*Ag>HVhAjBxETjGm5OM3 znm>C*neMk2TU38Eo(OR6-R0ZDp9*r+dmc@Og_IKX%~nU}awH{g0fa1sDCEpdUN(4o z(OBP7MlfU>y+j1K%$)DuVpCl$9=scko|^=CGB5KzU80(%eB6}SXkO1T_2lEONik%= zzwS*ieRgC#O?sl9tTopbT1L(uv+JTty*^fwuP~53UmY98n~r7a(t^ReJM_O2>EgUe zZ45ghnt5o?%pt1evd8AUz z9Va^+WEt20^ucyOHMpxTEgWcdfkZO8hBj(RI8|u&rC!I7yVT}_b%QX>kyl$BvzbUZx%C8W0o@f#}6i`{^e^s1njzDS!zR0St#A<0?)8Vw)RKl{F2 zJun0J@kj(}1+tWeoRsClb`{n7yu077)=0I+2Zb@~&Gj#`b zip9aP&=2(@Hv%n4w9onx$up-$g0)F#32{h%YI)xj!CNr#4UlK%0mjxwgM1WY9WG+_Vh-C^kcF3(aiD zt%)`*aUpP+l^dx&W$L>nC);6UjyqtUmNXf5J0dj#IL5|{SlP0GT}>dog5;g;*K9r7 zk$D?qelD zC-Rr_gfy3m;j6$no`9 zjcAjECY!~sIJE+4;EAV$Bct8jSKhg9ZW53Ojdm?sf=UPt>krnO?e#oiE|Xp=-3v2E zi$KF3oH;WZ7|y=hv*OcH+vUV9HtXKE&RAa{rUhSK7yUi$?|n!dj`Mu<0LO?(@~f1d znGa|BX?E8@@V(T9lP~tTPjdnznHlSC&MjAK|Gckfb0e456X#{@?p~L0uBr3})@B*K+!!F9KcSKxl$hkP847*~?2nvtJ@-=ULu_~kRdGq%IQw4CipwKPLq zp>ex3mBjZ1eh;4W0T1QD6cerW&ERj`OVnnKV)fr^t_bglf`GjA?~9G`f7*wL*)8o` z(Fbo$))d$#qtyC}2!E86U(2*wAX-9v??{|5Z!be7@etDNp_ieA|vt{PV-H@JSKX5w!#uigUMq# z2;JaLu07?wa;lX_;8Wo@V0uf0;`4t*JhMk;rI!V7gmbM6sn=O_7=HGy;D5%w=G6O= zGvHa9UOi`xSAJvoSZ@102-2!15JkRl%)k&1X-%fT?Gr~7^#?N4`{H7joH`)cOn2jA zU=cDr`zPT_k)Bhw+`^TEbtr1givev;Q|x!1ZbcrPHvGbNk=^Y}ozH{>YQL}5p;F)E zdLkf#k|^g!H`KFUeJE{{Gnf^?tY&LHf$-~(uOFr;l8nYQyjTGmknMwp=T*+!8c6vn z(fafc2ZTw2MJ6M~G9G)$9$;JL&0DRZSD*PO&UMCh2nPbcW924+k@6N@Nb)P}N_l)? zOHt+lY5?X0--*0J@lpR$rVsh6 zdx9vGuUlbCLd@yALLQzo<9L}d`P@eI@;JQo_x(Uqh`EUVN?g>UU}veNv`vY~e$)t` zOA5E~Q;|6YK9B88`z4!0=^+iz_j|{PI}YSd28I`o+uA{o++aMt7<}iTar2U7?HxPP zE*)hMB3?e%p2N3tPamXW0~-|NXoq(~Q3TMnA^3zQGP0wc4%$jxE}Vl$sXOuSA&IX8Qx zRHSJ1aR1mb2_`d!luK#CKg&xPxH>dKdD`RP8rRJ}A_z&gUqZEIzr_(!B;CkfR>?Gf z=J;H28H%l0IOBMDr6&LK%Ajz<-CJu!A{K6TJ0_;NWxSMW1X8L<;?01h$t_tW3#CQh zSl_T7bEnF?Qq-+z>=-QcfmEYwQxm=?^fTkLMQ&U@c7p!E@0@e=Bt3`R75TAzeAr*i zl7a@Be(-?I9So4UJBz>SB)GUvND`Atfg|^k7_? zIfyYmNS;dq!SaFegdX?su41vp3QQJ zDDDewv{2v5ScOj8HG$fm;~_Hbr)}&VgO)tu@yJrbgtGMhy5k=DTnSwQm~dBrcBCr~ zcZ1%(SWO#g36P+Mf?e-q?{8Hke?%-L3KWXL#I~PfaU5fa=}#OZ#Am7H+BjI9YPEo{ zBq)GZ!J{&+(C~HaUs&1~IILqT6Xc&_WT zns6uDHyK<2SBv5&qH&fdseaD}!6a;JLR|x`*C0oLXyo-qZ$B_<4ENRql6?XBVk)hp z;JGu6xN2_qR^-<1KH-nQ#A9cXew3Le!@__Mti^LtTz-eQNW3Uu`kNpVim}6`+ch0c z?=B=`q9vg|hEj^+=9C?^%*N@kG3`5e#1n4cDIYTBMyw9V3WY{v*Xx+b@_i#|dbf!0 z`g>JDt0#GdXwGX8o^D&r(7JbSres`vJ)M0r%$>XFFacu+y$Pati@ z>Ru}t`4i0apc?oRTt-CgS*L|ES&qZQN2A&v>|h!o$eARoS;kuA#4?m|1vOVGmuTb+ zwF7v^YIY?fYrU=EVaHIW15g^*LW!qQv?#?l$~q@6(k%Y|aZ|jWdE_><&B#^Y>ZcAH z>1y928u`)WE+h?2FZLjFd`Q?@sx7^bC3Uq;3(sT?Ut_G0yosNmo_nr-W32vyI5JR#T)|P4#T+d$Q>UeFI{Z@v7l=`RSUoy+??Lc!w21u0PH1Z`lS>=TJul1qE1x%%K3(_ z&i4{d@Rxm^6r3fr(`7}T`cX2;RoZ$|#gc}5%oG#>^-0VUhQoXH25y(y-|ik34u8h& zJ889WA??>JBYL#Mscki1Ekj=y(ZSqH4+U< zuW#KZW6p!j=kS791zBKAc0OMG<9v-|CGAICe!LD*GG`jKY&*x6cmz^;f6%9R2^6J^|W-qFy zf<{HEQGcTgMYkYF^0SWLx+kjx_T?F)SR-N|cOZ9mg0Fkt-fw?8r;t7>MdAD~_J9Fg zdh-OEmk?JH{lK+gU+IX-tZJOqT}mAqR}!{{e;_b8=Ci?vfR1cgv!Po`?jx5LcmJ#` zwThm(=V3kErAFHHuC<}0+4sStM`7wo#+ZNXza$$hGmE2zyxh##RsQ4mzn~X(UfS#0 ziI5DcLO63M>hPse^dl0@KOOTXizV(f*Sh!&t&WoGFN7jbxH@1S z-?ejHW7ylk{&{ee(;ZDyx7t`Ry8Q%W3q4$)PhneXKh17u4`=YxY^sJOjfiLZeq8lM zfxjNHlQZHXRk1^@Cbo=|FoU)S{?Hg(T!!uqEoBgT$FYW3yz!5eJhIZo$Z&{jHG@gGoEF{&aMesw#^GetICU_)e7#=$W&~G z=1pcJNSpR-LvV35v2BIr0C@7(11Pc2YQF+GA7Q&Z)%P#WvrHejF+CSl!gxGm4$--4 zSce~d-=hfb2Ot3F3gLuop1)$9T*Ht4E5d;m_?h<7;8epG3ZL%M8 z2F@7>$q|O+3ICY%;4jBEV|(r4cxE{lKn`xq+20`s)@dNsX;ccIo&*cBL_x_yX?}&0 zup;F(XORCyh-*nnZHgS;t4e59iT_v;kxmJ$1g;VkNp|(NpWC9Lqv~TD|O+>UgI$(T7K&1=Lhxf-BL*zU$g(4A1Ns*H*t1o|J2m{ zZs?P+ry-`Vwp@43#e1Qql)(|12^C2Qrumf0BA5tmv$HS2~>b>KYDpz8GZKYqu&cj$WyGbkx z>nKDM?{5NZHg`CC!>A-QsrrlBy$+FKo9&eIkB%f7eb{Ti4NU!~St>!D;b>8LEt!IzeKg-i31MoDG&U!IAh}%K!|eevp6Z zc&3`WvP^b`Xzem-S2O7M?Xra-dKD@s3O^Z@5l-f_hr^Pz3=VZ&etP973N8VV>Q?;#f@k3p`)TY zX47H(F-AgRqCwb8?#)qo^)euE#fTYavB?&HrO9?1ghci&EF}L^fq=l~c=~Ubd82X6 zV*I-F*Hmt2t4mh(_4RC3RaN&L8DvsXtFsi!c$Mlpi- zOYz;`U}n1f{r_Fe!1pKxFqEUrOXUv3Trt<~6OM|xgKVqKAY2d~#EQwo#U{J``s#e) zU*xG5@-zUB?WbhdnEeaw+e^Ii9rIo(rVVGxnT%W-rv+GBcOs)-|_*&xue z%L^_&-Q7V&b9&^XEhCh&DPOcJn_O|hN;sgmqKV0RC^8HUp2y2M)+Tq%;|S3E=I6pw zy0!@Y-p;&(tDaNubvzaUtNsPT3bS_|y@kE#&Avi_O^(U+6mWI0&;0d4bLCye?zeFC zgzqi>WxBGoj6Vj*87-dU=)Sa^trQyJIGAMZhjfPVY+jW^|${TENg3w#h5wzRWSE{=V6Pplw*}vn0|W-)q%rA_!#lb1vR;4SVoE`RG%iBH1LBP;fvFX(e)YOmGkb|yzdrlr0ZUj_y_0`rW6`DvZK|*=Sf1Y z`TRHMfGc55i0&-&Hsd>INESQs<68?|q-B2Cl!%rhD<81snKHZ4yU1gTuZ%ASY}=XGdMtS8oV(>bLDQQA^Hq zV#p$#4qI=8yl{5^l3^29jsHO?J>gq=%GJx^)4Cejr-$?n4~bQYxQH*tu#J#*M0JiY zJG_EAfZ#EyC`U>`nB+;x20Z?#Aq6f5*HEeDtVDYKx?rTIsJId~!)d_g?q*POGT*1< zJy~6jEZ9QNuCI*~DsPoz1-t_NKYi&A)NDe-tp-%nqF>WIT$$}{bSD;v_YlR3BS8$IZ;8b zdE8c5s=248dIbpk^*J255%=j-BYl`HEeSrkMaQl2z@`Zxd$62h<~M4pyV{P{>bQm7 zzaBeorHrnZA0^@ULypL;!PpeC{46lhkC75{P*OGH^ z&P}f<&EBW|h_))3(c>Jmgl6P|R?3_0-l}?+ZMoE3jQ7) zwo(JRay#h%7Ys(oMOVX;zp{{P_s(22xP6#u=5d;?7hz%b`njDC?u+$!z|F~2;5dgK zH@0gnv&Ce&kHw1z!m{f9&+baf_`R;4tE@zpEWYt3ghOtRhbePecR=~~D(_E;^FF+9 znCm5}11RTRQrjddp0?h2n6#c-ey%9h@_GY%QZ}6tto!zznHni^n)gf9d+8ek+2-Py z$I-zzx7!Evu296}b0)J_(#QnMKX#UJpP4(c8O+4<@(()Ha`vkwzF96jVJ7WzZdY=6 z^LVjDZLiF;c0?w{w>8zDD+kYA&h0i*yTIYhRkb8OsIq#tQi zB67`O%0i;FJ7jAhdKMhG`ab@#d~|y?z*x5>PWmJo-Lrkb`PqXZ#!Y}%dEg8UM#wvr zgiYhJFNKl+aw^-zb78BtiZF~id3cG~jM?ER4Q)YsAj|T_g3pJu?Ip`(yjqH<){mvb znTyR@TB`rqt?vlWqRL?NSFCZyrwHSxgaJ!dFBTTev>De)baCz?r>k_XLyo7e)dL+B zPLI@cWU1N;cT-`p7as4>@4PazuaKj*ySfiq_Fjcd3XDQhJ(fcCZ?m|ZSNdw0cf#ZnZ%1BW~?7+C2iN@FGdn&VITqC%kCD8S3;eD?!xUH2LP6#JI! z`LfC7;nim4r@#HU=5^rgTRn6fn?Psses^HBgs#@`{Ui9N**mZ(7lQf7F#|u*awKzU z7)FiLpPPj*C2HfCLX{B8ql7eKk~evoZCRBwLgpV;DZzw%9tDu_JI61eD{*jI5|?U$ zZ_mNuPm%#ddRC+~#mF^wL$X+Jj+nd(Tg9mzmAniI*qxiZ$r=uTVTaC_8$#{YWpKe8 zzjNO_H+RFSt9woU8VdApqe2zHHlbfjTKLi>Z+Kn4JgK}~0D9V>nMzyNRrM2c5gpX# zt!zO??FMS;Nx-Ilonj@v-KTdJ4J~|{LIsX2?l`}!1OoeaDkLhQTwt^wED0rTqRoU& z`L0-<9TaJ6*a*zKN6@vh2?h_cg?9UR_wb*+dd%1y&xwL7b$ZjSv$yU=5=UWN)brJ7 z2f5o*HW!xJE<^J939Yh<$=U)S$Fg7I0x{XN_->t>{FG-)^G@DKPI=`ht@e@c@L;Bg zoW`|;mVZFD!d$d&-F(K#-`vv(FfYt zRP7u*8Kbn1{WF2zzhjPyh%I*#<2vK@=)HqM#4jZ&>cfhBzp3pQK*h&@QH*_ zEg{7GJS>u|uBd5UZ}@_%-xmcL?q}9f*h4nJk)WmbRmptddStJDFPE5BNFR44GWbY5 z$+xxfBIAaH&?7e&q4(TmtTRu9VDoIx`ZNC}el=qRIWO_aB&uuCfwl)U@RvPG|8?yN zEho@CsTj-N``wPd(QQMktbk|b0Rds==*E}*y%?9Zc7-I$1mrorA0A0-N(%_tU2&o4lNOD5ak>lIPQ6H$%M@Nrd%x8V)u_R z8$w|q;K_D3!YR>mXU2+u-Q}IomN40v)d}}uu!7;(O8{Zr@FH*K-ODy!q_S2r&E>vz@%U}4*Qy|}OZE+hOs?sQGR;dWa*b~xQ5~zM27A=k^p)?IP7fQ;| z6k#g-dSV-Y!0Uoq%r?tz=jt3|X#U;&tvehHrd6g$s>n+$Q*dA+V6ypC*Ue`2N8o^{ z7D)eJylx6~iq!+x?LPcH1|t)I%=wa`Li%4=7^5JA{X0n*b^GU1ehjgBl@GA;L&DuR zReVR&!w{u5+Tuw!{<*OcZFc4+t`lr%aWt2gTmQA9W1x~3`|8^>oSUMsEC`jhWrDpL zm=FQS-r`BH(<>Jw5B==@%ZNUNo{Q$_vC-nJ;!FE5qW`(;V^N_44P%s^%>L!$dObPL z=u?{FREH(EK3HNptGyXg+>CN4k9)AGz3)hW33+*X3J7d9!h&QCk#^N{m41($fX0Qu^D4Q^l$&ky+k# zl|;w~K50I&osY-&q6tXjwp7=fDc^1$Em%5=n#dnt7}W!Uf5u1~X=CN&-tO1>T(^vD z5HlM{#f@J*UAxm+B%F-4WGdt-n?1CahUZ^+An*OkUmbIH05d5lN`1RpRnSeDze|#t z$ExcJmq{-=8l+|putq3)Zq2F{Y-VwtI@KjEEV2k)LrQ`ZMwsO?po#w(9*}MG!+QvE zuj(}uGF|;5TaNBQA;~zrtN_-LnW)AJ_ch z^R8X_c#tFsxCgi;i(?Si4H(Ba-%FS}#$Hr4Qm6w(GB5^*+Xx;g=G?q03U+3q*MKPd zxBDbIUkvKT*-9fKPPE%G0APssE!mkoH#Ar$AXaDp zK~_VCGmDR# z(G?3a=D}l_=aaS159$Aa2Q(3@v*8j3okQ0QM^|did5P?@@EmxJgr7;}iXmS~Mr#(f zc8y>Td8h4+cXRpTl1J9GQ?&A%5cQ@^pI^|=gX1!lxOjQs>BSVz#4R(i{Mj%giJVEx zl#+;^Ff5)eZ;x2DyUM6`FR zcrD2Xo-|=Rn9}Zq{vn)W63T_lZx$x0T{|YSQyfFiSH_yxpKzkj%|{w(BQgad*RHej zq`GMYQ@F#GRz5L`)7gj^j&f`urr#WduVL&bTaR1EhoC9GpO|kpFrO>T%b6&EFLJA) z%Aq=1to27khbOQ?(;py2410DuxXHv$t)$BDMe@FyuO#5Y61HRHnJ>r4Z+0OniKOtG zv>$~rq<%3KwSr3Z-lN8{3`LwpUp*YNpapH2{(8Gf{9pU9LMp8sGg8XzjO_Ws)DwXY}mpPP4< zV1&APr}4#2-wnQC6z|#qn&6Ht^tkRoFrBA*b*%5U*+$CnP)eQ#HKM+3Y6hSAi>-Z< z%!kPGMXfuQ><|b@s;#&&E|Tut24^OCGWZ1TG@)zKY^3TSzMS8{tFDyd+A_vl9s2@9 z3`@L$kv9Iday=-*qr?{3wr;B;Bn$&vx&CI7YDp+YvI>5%37P%}zyHUYd(08s`*ab(Tz^^|9j`9sgwX0zC9Uv#+Li6#o7 z)P7AvQ+8g$6-RRI8B9&)DVWpJ2ArF-dYYHb`N7|07;wekGpxv29CDUWVJ3clwnObQ zPm(6K>+3pJw||As9ov@62$|*6@mJ=(xNnC^-5(9Pf=o9cLLP61P#2H)DvJJwRHeJi%?W=&?}RknP`-ZAgS>3@Rx?sSh!l-XON%Y36r+KBzh;U!DNuZt%9?g~e=~-QWBF`41t4p(H(=*4JTryX+OB0cczafm;)yUloy8s2FV*T;3?)aaw)_atXXc9< z1}qgQvf1ou@^iz^r?Xgo4=(6og)X8y-p%<2$6%cHt3SM%+9ka34V3RHwvP{l&FHg# zX6cKyrX=^ynV@5&PpA~PxotDe!^|EIGN%bwlLP^?5N{0nsI#Ee~7{A}9w(ncbr>__9c4q^eK{hspCz+~Ui{in$D~ zZz}S>l)RR|Z8m=UmePDqmt|X@&2h@BTwKQIMq|F%XbYpEJ+Zd{F9BXGpKSapFgE%D zyJGJ_@ql#-Go?+)DZHbal06XW2?Flq#e`L+imO|xxToU@)UMG$n4VDW)wYCqrf2k! zf@>bYn688=Q(KUu)^qf*kITGsB>ky5iz(muo0Ww#B95|37?WH6 zd0Kn6`MMH|xeL{DaHG*Mex!6O!N9uE!j%7-eiUZ9`A^?-?X1TiKiU-73q+FrM(r!N zr-7QUnmo}{{uvA>q93bt!?6SIcMw4oPc)6IWP&*l9fGuZt21`q^c z%ry$~n?|)&QT&O-dRA&5xCXwkNJwo(9+yS$3)>K#{ye(cI{~z(=9As&5>VwEFM1y^ zr<1QzvpLPU?r^tl8YRnUr@_(c2xSrT#yAS7Gu!w=;D+n(Me+(=DP%+ly z#^=Nwp4fupAfrLecunZYf4w7Af31y6Rq~rXe#VgT_ls>>?#P(t&6ShcviS-pItB_( zk55VcrhXh;)hpLY%7L0$k404&6~T_qz1Gefa{i;w2FY@Kt8nA;cwO(=#e|9xoMiTx zKLb-H7)`13z)U~6tf#ABd=gHNpx9l*4WmU+8K zoGv@MNI|W^?*^~GegyBHxZRMJ=+gmYU&4|Bs?G59E~UI9o=1Z}Od2!jN^y6%tsQA5 z9b0>!w69xvWF!5;JXg4CoID9!AB86P^!I!_@Q{81v$|@nPd%W=z0(lA8Hm6)*$JD! zPh_7<{9w?q__IO&yu+Z3KO}~Ukdl;~E|SA9YruCDvZBq~ny*}O4}im5X8_cFw$Q6O z7aFx}r-$!03X2)5=)1jDG_4lTu&zF_>-80|3St|4y^!;-Ayt7_{eVbFd#Q48nwR)1u{k4Ew zY|&j!_a9V2e4P=LFWgo>geK|+ED^3_*=XZo$p&lB>6vFF_c3NoyY${ zp|;)>n?h1o#ei@iPk-t~^g*}z_6g8qTLhVM&(O&wPxKwJl{!M6Ysi2_c3sFv1ENF{ zN(u`^4IXET=&Ej{R90WuENi!#Q&DK1PgL#0)}^`}p_FoD2iw`BWw^(tpX}( zq2uiIG0A_$zCis+wG@38B3jacn|P3xlxMxr-oSDRJNUU8^`dC}fr~1Ahn+BaYwN*! z`;*r*kwk;OU9XH2b1$3saELDPY?yu|9*dv0H6@?0ojhkMFJUsH0ma@9mcC|9G9is; z6Qf1~Dz6^0HVW5GaKukckAJatd4W1ZXyLOVp;Xr^1+yhU3`~OYw52*d_ZYkmHYpL# z8CloXfwYds-{td|6sU7H`#10L{Z==*Vep?R1Bnt5H3--KO9(>oN&i<7DBF{pmls0u z^W?^iQQ(6==FXv`qhqb>zo0nDS?&rv+v?gHIJ54;+HVrvI#<;y-J$==vkUARXOr+|BfhYZYi6)yK?&K{T)?Oq5cd)T;c5*$Es!Ing8~3$=p`S zELN&|wdy>vr5NK~eGE#59hob9uhDvTOo$GxbBgyO3EuDGTN^P2CBtDzR#V;MfiK!{2|Kx;wgswWKfKTR0AdF`T zglD^ZGM;ONoNZmU=_S8!PDqaxcbdggeqH{!(di5P^>Y7q2gIaPZ&yhCPxdTv!kgQG z)m)k5&7dI&zyFbJP`P)s+g0Q4*3;bw**K3MnT`!#*t1rl#-DdpH$5b$Kz^^y3S5{O z8j{UbKXm{^QobyZfI1~~i?04bZ!iDYkY-ycP2ee879UL;rfjmO;F z9N=M%E~{Z2>C1~bHK;axvDF2CB}8)DdnteW5C~IV%}!| z)9m2TP-(x_5#_gTP}?vT(*;8`Ov|9CC{j}8dNu77@L%WW(ed%AYF;Ve zpY81xEG(!=NJt6_3u6-#CG6}N-@SXM=EzrCOh8Bo+8Vk|ST|2kBmc>j{`i{_Qe~tv z^3jLn%uGU1s}De++ODnmQQ~qtmbBc~!2zr=D7zn&JKp5T@tfR9u#A25eeCf5>8b58 z+7Xn3f&y4ZM#hb-#6Nsk;ew(kKKyBy)JYJ-EcDMKU75%HcUa<9m_fLIDU{2pN8h9V zeqyyH41@nt&(gxP{TY>bfx1!($zSTm?>`a$5Tll={r_(oMh9C_qjI%=P&cT;)ar#EMRK`6DT4DDaz;rTSrOw10YtMaXB)|6al-R$#W&XpQZ@>Nr4?U9D9gtl#0K=0k{q z(c9_!R94Uan;Ra5f11Dj33~m5ys+>OtqJd~Fsia#yx)bbI3UJDi&8^p`J;tiA8@0& ztY$-3?Aj{R%6^x}A{2s_`6yB;Uvl&C5STqM5Q!g>pKr{ePX3!^Y*Ek}&*Bpi5rN)r zan~>aI+t*HoJ=@0{=1kC6q41uv;<6;IB(r2!sD{D`S$&{H0=1$fF#eW5ELZ%&s!pn z*!cMPBqQ-m^Z!?|IVhS--N3;AiZkyA0`1|@Br|WE;6``s%-v zr)h4;pYMz`p7j#gIy=`ps=W*ll*b~RN1VcH08b+G9CCR$1GBa_0VA%0PPj~5&8tX zx13jcmzm!@qp7U#8F!A3&(9c1zEz6zj_^BjF!tgM2S|T5r6_;aiNZYB!~o@atRk?4 zi@FvZL)O7UT>pNHaxJ~;wA6~4vbhp-){H#iPXAzQc*v&haVA=4wLA!jjmhD}3xP^Z zV86xk4vvgu9-r|c9dXKh3Ch5A2dO;pcCX_vL^ay)+JRfI7n&$uM2jAv@xf2I%;vac zozI_>N$2<)7n%r*^7+&2a=#Cqv|O*a52tgD0d=O(pAtZOg}w*^t|&)yl}VaEg{9K5 zynjd9@ypssm-y}8Yt&g(I`X^_(x($OmY0&1HI`O!rAOc+;jGvfpgYI`BKTA_ig?8M z?qa`==|#7_`S@X&)76BLf&8Q$XaWFx;O&4&#hPAml)zj3{LPA5Uv;BcvXrxqAD*dhq=WwR1(h&(DSfUh)PuLVj zvopAN?;y%Q94N#Em}ml_q}|vjk>{TM89fkrhvj)=#v7u9DoJb@>65LVPj)EJ^QW_ zBO$Azs^qY+ETdj)X5n4FlLe_iEVnM#j|KoU`SY+U@NkvO(@@RtXlUCxNL7afKVQYvR9c7*W!yTZyF z&LR^Do93(~UX})3WI?JDMs78^?2;CfTSm>pSGM8C#BZ^dr3)>6Gn5jH@!&OiB@w7< z5I%vRH|hi7)YTgpJuaEGv-YDshwXQQp5~u~Jy3DI;y;u49r@-FJ!E-#xPM29`V?&? z$L_51b)oKK=NZ|_e*GR)7668jn+?n z#nxV95Hi`^7c*ZZ30SrqX*$zC0|f#8(C=8v4XhpPg2u0XO-ojO$-U*Neh6XdJoYUS zu#jP@<=s&-p`veQ&^6frcLiR2RzoeTG2cOYAKM@h8h^cMBe~iEnrvTxY-f{qZiKQX zWG<#Nf^JJkQm>b*-5QvVSy(>O{r=S)YLMU~Ex|@SR5N``7Khh;73NG?wVpQ`@)ZFq zi`Ym}=&CR;15+d;T+@K2(s%TmM~cw%_}Ata6;T_C15^4HHnApmz;C4a)>HUZD_@Yx zpbJM&MkLbke9B)-fkhjzWAa3knop^8+=pLNy1y&~&|yLsv3MG}$l4t#h_p~+n&Vxi zuT(s=kB;QQ9jy)d;^yjbZX4!0-LZMg54_H><;*e_AE*UrVocCq6RwQ(cFpKX`pdm` zxeK%T9~1fhlt(N+>J6UjC!~Y-0G5A)K&(C-f1qDtKfv zYiCDCE|Y49drj^M4@-1l0gV3yQMl3`?s{ zj=|p1eFdY`USK_qWO9zrWvmHv??4rK=et)*#Rh@BpR*b(QQEdDy>{w{mvlJc@@ali z#}^886?T#Jt6mUYFW;iJW@YyA&LRd0K|W@qR%&Z>HH*Ica`ml+I+T&x!AsSKqGZwt z^>`&Mq(q>EpR}KbBW2HR)+I^ygIFPXvFkxBXpdEol#gF{|HGP$7m^ED(zvh#4&7NL z?aggAq;shpfs^u}D#vs> z$_%FC_4};UC-zW;sJSM>%AAV=Uy)|~kKlKUPPj1NHuQg)TF7gA9DgB3A2b}_8d$pR zvV!=KlM38k^k8UiruQPqw~sdP5U6^yM79!m8C;aKvu=JpByHVSX`>H?6TcII-$bQ2 z;VwGwT9dHZtn#+TdR|e$;8eBA+XjM3XEBI&xT9M$TsW09tdU&=UdBfeIw^M}ZfLM& zx6Sh{^(8x0$)9+Q1fqX-_~Q|O`%A*!zO|X~pHIK_Ks)?fU&YDlyQzV|)sr8x};7AfbC)37(x7#bc$HEbwZI5~kL)-zo&V2(>Z%Wl^1;mhs$o)M>R-i-1oDPyhbwR^j|-60S)*B%hbC=nLC+zyIwd!d-dzJlbN?a zb&^Pn~5kRAV1f-%v1f_J;n0fX2`)5dCfz9;;J=wcXLz(v29`XX^446+OwP7O0aZqm(ZRqk z{a-^(+*e>-qq`zf|KfpwV1aKYRJW(?hvos8$ND~bhMYSZI*OP$A`S7dSI1@CNg&jG z4SMH~(Z}9B*|k)CnUY4!ADO&rkQwgBj>h+VTUN?p4}~T#{&VQV^8o|o+CZ?s+NPEt z#p5=p>8070uh3VrAGL+cb~zh);dy`s&kw;M8PVv9Eg=Mm`D5)jh^7)2o<Fm-S9qGn;C+~UTA$ysgr>j>eV^4XL{TFcN!lJZsYdU|kH2_YX9 z>!Quh8cxX`-r4&4H@4!Gg{-_W%bl6$@02qxX8Atliz3IB)f3~u!D(ef3b9d42RP}L|RT0zV=haLO3 z?<+m-1(9L=g!lKH_)RL-B(@x9*?Fg;5_H-&0^f@JLf{1bGylfPLcSbcve`xEbO-SW z+wv}AMuTlPvNDHv{Bc-Z{^cvO7ZXW^EqfxKRiJSnF&ICsDAtijdpC1yw~}TE=#1<< zdZuZ=j9LL7u$u9#{=6y!4cX6?i7N&|x=RVJmrcU!eeF)H2gf9P9!hwhI-##A^yAo`QWdge+mtD83*yG@mwx9eAkY~Gmz zdqv(qEZWsgSk`x~VEhq|nGQuX%ZK)Gk2E=z9o`cOpne0U)3Mp%Z$EA&c;kdspVVIx=7MFz(SwcnZxUc=%kr z9uE0iS$sEA%x{mXxl|wSN|#Q&V@%~`4gVH2Uk1Kn`n`}j* z8sz1K3(Z&$P->1m_)JJi+i{5Y>Das(p@YD3UgWp?&q|CxDVjgQncVb8JS&RKh zmNe%L&D>ao^KNyK#53WHBRph46~c-IZp-r3A~#*=P7b*uYP`ClPH8ceFZIT+8`B&x zf7F=xbYlCItk=v$-u#PEhGZpv=-x3`eAa}w9=X623q36e4#U$_$I8RzRd%U#QNnI! zlObC5PU#NKXa=5Il0{nYzbn!j4_(gtf9;Eah}8WoRVyA(`I4F1x&uV@`ZkCp8N3*a zHq4o+#r-_^5l^pvPuyok@)X|rC(fHc>0PCH@11TdlpW55t+1{;SP&~6JN7r83)Vzn z_$OyxJC3R~r(X6F4D$xtzfIEg%6@odNtJ!Ub9(JQHvZ81+z>_P#FR0z7g#-3M73F| z36Tz)JA9CAwXu_`rg?UO(sE;hSf++l@~|VYa%V_aoP6}xV8nT8 z;`h}PT8E9z>+mPR&ux!nILGd>^dE?YjGYbHg}l#ssuh|cC(mztyXR+<8g(ddbwU;FtjZ(+S)u*n# za@xMzRgke z3*6JHbv5ah41RoFfyaMpu3ERVBXj7UH6v0v+kN$d47}YNv!wS%g?suWyBJtimVj+YTNY@bZ?}^8$a?-85TN8I z3I2YPP=wod>m)3KBNZGA2gE`UrFAy_rAAkS9zVXh-e>^H4Wl^Yo@1u3hw|`apeH49 zx1)vq;F-^N=JW594rIkQlZPHtQTb30nJ36EOL`HXA427hlD(p*!Gj?)O^eMM*i4sSdj^z;^U+ zlV`B2>8RA5;3X1~m3w^OYWmpoOs}F+Nh|wyClS*A06~3y&r`H(OC9gx%=VP2bP@xw z7u`mt>8E`o4SV>^<49^8-jO`yrZkc!$suOzYU12kE`i$f19yuj8>q7aD0@!BOtC2Q zBwAv6W-TP<+u_oC4!9uoWqTyCe09O=u?VMXJKiX@X+875rE^gBwU&4ULBBpG!0!Eu&$`Gw9LtLsu^lPeOh zCH~muEFJqSh~VuST`2Z;E9|NxKt$}Hac71WHd6Z_YaUAW##fY6)jGFAGkvlhOx>Zzb*>mMDH$u0~)2zXc*7o+A&Q0j4 z-3$6C2)oZD!p#9|Bmx=blY=<-4s#c1ugU$9(Ay(Gb%}v(Xu&%y1^KwiOV_e$pxy|* zn|qfv@aC6I6&2VRzGn=#x~Pv$mx(QjE_W5&Pt(Pwi*#x9AS=G(Gb}Y0zejHpE>#7d z4CS_R`*Xx%4tCU(+ug(D2J3Is3u1TUpSVM!TFWLa#PMeYNYE!;D*%Qx4zBZkz(ATDSjLi>R;T?&i6Q<)3ag z(aYNI%y^xS`a#*A#?`!?CwOC)mICXi$SZASi~=WFe|L+Y+!3%|8!HP51+3J|>Hk=Z zY`L0Twa9!Xo_+t&J4DU|8fKpH4f5QP(k7Y+H`mdYIQhGK>(OJ3)5e!H+Gu{elfHfQ zSWn*B5#MV?nKD^za|YqxFCb1?LS`WuePw+J$M_cLXz^4V8t@q0uPW%P(dRYLh6zFp z`Pr!Ail@uA9%rzl8X6i@P&Fpi;A{G@jou9ED?ihA!;o9MD&WrZG2i{bGHF1pXL?yV}+9wD_g48w5BA!aCg9sJWvxD6p7Kb=PD zGC2kZx{K&!xoivSOU0)OnX;J=d2d=*j)_f=F{!&8{yrnXh^kjf*B@Af#`k6P4207T1LC_ zx2T6bAaY{Y$VCtkz$^uwz2_Ltx;uXa3oXBl z;GQ$dmWM97GWUJ@Kmsz3e?S_{^=3WTbg_=ndBv4l$KwnRh!9TOfq}S}RThNr5b*ut zXPxsa$3G9OuAa@j&1`U(z#QH-=bBTCOT8SIC#*u*SV%AH0|%JCOIkA_(>f;A!$7G^ zmIvS1Q&}@Dq3EgDJ^z4JzGgscObSK6ZW4LDERHJcl7WU~jiutMP#A^;R`PHdGr`Ld- zFZ=pyrd+jE4(KV(ZXk3x6sUy*e2j}Dw&=|Lqlt5ZdP$8y1&Y7n%il=0`$f&dh)^mR$>z}#7xb^ z6s27H$0;n^{qV5i`SGyfJ~lh$qTfJ9D|Pr};F`T`lTGmGFj8wqO4(w-uM>4gb2)~m zkf573I|7nv6E{<$uTu%9?(i#favuB)-bl$uD`ZkPeW)MW*!sD-I!55MdAIUbUZ|og z5UiwdFrB_w9=+3CYn5wRvFdn%O^_@vv&qah@GHp9?2Gb$Sl0Je`#nyE*d8?f z{EJ%Q2LRy*+9!`LhGEms0SbeF%PP-$wQbr?KG;|VvV@zpbxqtIAt1?cbD}cr8N8lp zMO8fYig?+@YTM%kB6N;Y%(JXn*HBQ*-Yd1RQoFUa%tM$l=;s4Z?DC|-Lk<6tI$Kdw zkf-bEqS;H8Wnz72-66X%bQ`5jcYRX;|42`KysG@>>a&5^5?jAn&gi+GEz5>OozRG3 zUZP{KOUfz#F_M@Jl{>c?)gvM9E5}}#pv|*T(!L0u`uBv94Ozkmiiu-T7eeq`%6ET$ zwiaApFKtxsM?RqEz%J?3P-fJ+?A}}p5-X$s-W>lsT#z`hk5n)+9?P=4tQ{}}S}Yvs zc>?%^K++U zc6eI2(`Aef*|!P{;sSfj)CU6xnMQ@4!{wG7HuF;P;GWBFbsxa>H*v;Y4f|ovs!v_7 zR&-)IIl7kBPPfPMoVa23EArLYOioAux(+mDb@SH}y)yV037m$I{tqov+ zAGS!j=8}bX60-dFjkT8iV@NMv#Z3^_O26;+{dJ|4B2~a`hV8>or|&mB3tqd=fNkuTx za@tIp)6vkv@StTrsuf6Jtk=ed8Yz`>4QnVrwof?V0TP9^8{d_!PxF_zg2pl8mtzez zgY<@XG3S?LG*EdlX7-C($(?J5KNv5=*Ae3KYre0occgt)b7kG1`&V-Q?~I#XxXE8`7>eDTabu`{M;$rm;gs4Ht8(nvk;hF)0P*m53FNjm5EQOZM)>; zN%8(@D;(cm{+7q`(U|iPBCXeN+1*Htj)9CkC>*~LkHEly;(!dHZ*vA*_d~Jn@i|yK zLHAhs>n(LH{eJmvo2w!sg2eL|)k5NEJoSw+jnjCrYnH9XnV?`ytLup4d9EqXEkD1U zTBTde##M&GQ=hDYeUHl!$6Z`gI&8FI`*+U(hVXi-S1rB5?McHXnpiZkERX=UwDa!D zVl0uC1YI9;+3Yu^yKIyZ?5!+i|LVr}xV@7emiRP&Hoq@(v;m(0hjvWjmKn^2x;s*< zW8+-z=&`(OxA5t*^Q2$y>Bf@>!Ch{nP;48;l~>IEnn1o{qnBD$&=v174!m7f%r`j| zH#n28!)B>ME%@}r!1rQ6D564H7{Z^bA ztgR)^IX?c~!!B5DMP=SR>XYpeVEN{D?O$<}w5P3}eQHNFwcCl0Dlr}&VZSNeTiOZN zVK69<9rk8{560H9-6WvrQDSs1)dZ3dy)qs#)P55wS4(^?*xs<__)`Y7w6ujX?nPFV zvAHR?rCd5*Leba+IOius)h=qF!S3_l@M`V^gXn>+(0PmAi0urVK?c)*u?TJ2GQndj+nYS`4Mscuh96{H z>Lc=J0~&{k#$OBVZf@fB@7lI7%P{;_5mMln4|2aD0NCp92L>dL5mj4k4kn zjy#u9(2ex5Go`h|V?ZnOW!u`Z_F>$C3sv^;P0T)t%=RWedkNSQBz}FeT)Y+qc+)?M zui6@?70EYv*~rSsO;h`B9FNhw7AxYP9~;AKTG&SvlCa>?mqNlrf9e1V$AHYn-j?@X z^inf4m#f3eh!H}2s0_IrWCUecDPS+9!>`9Dbgw|*o>AXdy3G{wC$GZSU$##J(Vm}r z3v^j-%ki|Rds}XZ*AEci*Nq%RXzba}c)|MfeT>PBdrKCwmz&wfSttK$o zl9aC->&8IASFKbTYsd^N{Kx2aPVk?rkL2vecth0PRYn_%OU-vT%UTo8r}Gy?poXd) z_HW&7tGjHK$lzGZuvc?=>hG?PUDMrRm50<6&4t%;(NXcp3@g z&AJ2dD~P3G=lnqB0$4+3i{sNe=ncr-#@7rzSLEqO%a&(B8C}8QRB`R436B8Kk_uYT zBz!u~thfb1#WY&~4%==15nfb3i9 z2BPRC7dZb#1gt%U;g0sCvu^s;>W92a{)NlUft<|!1qK)$uGetJ?DK)&zNJV%WX#K` zC4(HJ3(FCy=^6r<`(%xj3*dl2gq%Nuy@3TDET5O|6g3}<<3ZmX@Ho+WI7pK7`Qd@c zSysn+P(P<<^yz|lDO|&?rXV$%zU>4)s=M4^B2SG$qE;^O%!rAw$*B@Q_<*27#+PQ24-<~l5vmCIY;}xhu1G#uk{7I z)A7b4v!^0@V<6Y!`@eLneOb+7UAA_Q$lw{i@!JFX#%gZ_rneW}HlI@ANIbjA+mGx2 z4E>`BYZlk+;27_C?cJsIROr2sh;n>VaUiFHs$F_arNA619SAX(Bs#X z%gF!ut0#8Y;4d^r14 zL|c$|%FQYFLbPjgv|_}k#%__(xH0_86}k=SsM+^3`)ol@*0Lfq#LC9%bb{97)ztn5 zUlA>Ie_fNypC6KIAxW-w#mN?JHM&pk+>tKL54xqr@~|YSPz#Mtm7zUc+@UxS+#xQ5 zj{6E7<+BJUkdv`S9S`{fvRB%Z$IF^sE@P=f8rN-!S1rWPhk|Xq3pY1+0($MlS2=4e zx5TW*^98sfAdvbNr?N#z$*-SAee0j|`*`CPP%n2?=`~V?(+;=tN0#3l`8K}mV zZ@WY#d29Cdtc>xYjSGt!{JD(Co>szL2{M`o9?o8wQggc2BWzbo~E^Nku!1tQGS(Lp&{L|~E znhHlAM}=4e1Kz+y%gVi(bLE+fmg&2I3|W3&{wypNeH&YvXJH^T`UIY1({9@}z#(Ml z2J)-fu95O?pMHk6qcc&&B5XB@oNXLyA=1qabaU;VYM9YhB=)V`2ev5&|GOJpxwv;4 zJ7d&&8}){Z6E^1N8s{o$6-Xo|fPWu)-hS+5$QbI6EuKrTCS9eBOBTfID}^O~b2r~n zS9NYD@XKYhQKMnpl^vb`iRYZ15zi-+C(wvGqe9qPdkUt_^Ow*FmuJ@x>xbSIOqLjF z<6EmgqgQ=8Vhqn^^oPq~#WJh*&lUBm_EY|KIdT+)w1*emANKsqTVaQr)mm?Fl1lQq z*DTQ2I=AaJd#tnN3;X;s4PPOo^`7n4kcx1ee*9gaKs&@!FQpnx~ETd%*1n#u9+9+^42vzUwEa)5uYRMf5M+aTB{KJSqGXm=@9r8 ziURh-d#*2kBaf?+p{2>%*t`K6HqaP7TfNb+$+OL^`blbV zOlak%C)tBW0h7gKWUiBEluFNwp+HU+dRFNluv{V~B$(gju=b9xno-2n9m|SM$pPm* z-fPpzZX||%i^Vu~Td&yhblvExKq)Ry-pKE($7K!Tv{Bs6cz@%9d2(xh&6L$^j+K%+ zm1F~e;B6veppL195I4%+itXG>nkM~j9j||`x$IZ&xt`#Shi%Vw0?ByvJ#UjR1i4My z-2+qHyu1qZt>qGzIISw-2D74Tcqg+jJ5WAF2wK4b;_}`i@ebki6IIosPG zX)%iUnOIA6$cc}ppZrpFo`a`X;;z;vc;k(-rJ%BHnY|ZVIvUPbAFh$F8G6nq-p@b( zD-*^D#8+UXD{g%39c64N5dY-gEN%cQOj+p|kW-B*Qs5&r=}iinVvSMPEIEylo1 zCLkIXf_4V#JcE<8*BlaJmN4F*XjMKGCbR@<1khh^QJ(LfRGAM)>Nn<&QO2bIWhQ_i zn&ZpfqaEWog1=tnDq(Pw=nW#>q=D4!*y z^vzuhrHXPMcoJbKXFB4>2QV0TQbyAB0XGDQ!2(65MQ4C-rRxH&Lp>oDO+S^k(2{GN zWFte=`N>TidMOI>CM}!mt-S#XS#~sth9F4!wK}(DG-rLnh{F18NUk`3ey{cqjKn=| zKcN~l)9^Oo_p4R+{ISoWU&$Z{d4i%qrf3Z z(i%x{A8DT{s>=B(Y#F8W?d?cklMzhjIKCEq%C$%foo5d7(sPQbjL%;z@y2{)0q9IxHGh^;sSqb$B`g z#((ucp!dgX`haL(R4#kSSIr+v)%tH)i99QJ7E!);5KYaAE0qq=8&LM%c$nJ?AE z3eGgcF&_$J!`acb+-b=-_228ysb&F1Ti>XEhI9wy*)PmYwj1GnNpQ5Y;3$lc{7&_nu3k@LK0H>Y#$C2Te9xLx zvho)g3M$oL7~rB-r^jGfsE}7A=(P$A;Smw5-!un~KfUGG<++R$vCs}UkimQn6^Ob| zv2B-3#hW(`t&%qX=zheSSQ%&GNZR<&`;$n5NPu#HpoV%)K^_ftb8D)?L3o;SV<2lro%v2rpjpgJs-2aHa9@-O)(r)`V3 zJgnl3;o1y;8bR5Sj08lVSUUza!P00^=#RzO*yFvT9KmS92N_fo4MES{H4Hh66_fc& z(Rp@xzOQz%mySdWT;zyr-;j~Eb42Uh>4O|DI!RkuwHDvRT+G6<)xHLD-#~cM7MZ=f z;K|y=*@|RN6d;h28H?=?8Jl?~a+g9 zM`}GO#+`cJ@1#oddGK4=-# z9L}M(w~&QZO-Kro((a8{!hH!8eUF_YIZ~s|ya_=YVcEw1o{%L6L1MlmHa%=O#~0Ub z-b8le0(aO)_u6cI#xz&<8oOLA*PBE-lyND&jY`*H+;|Rh$`f9Cw{l=={G7G?aCerz zbY}il6jw?;o~G#*SMi&w%tFp&Ia}N@mgu!EA2M?IT(%wmDGlq5ji-h;G9;`*p0BeF ztBDtx=yhngnaCGyj2`h}!l&!T9qMW?XHw6!`t3?dOIL=m;S()Mi*R|vkzOIS-!?Ds zoP&@4J^J6}tCSiO)35&-JVb<*laMSW-Um4-hI|i&!p;)V1#`X(tt4{&CjaIzQ_YkD zC;rg%cI`OUlBe!O-iiBu{EsP1DcQrBBdta*nddnfRm%nTdGwypk3vO4FIwiM#cWPm z?`rNziRzyp)y3d3PPX5C{ywO@;(koNvf^>^3;g5%xxG&hCvI=r+TGpU*ysdm+V|dJ z0q87|KRwj!f`)epinlJksKsN)M@M@rt<8~tfEu|*n}gvPv&%IfJYu314N@`7?}1<7 zKmVOs*ozbzGliYFqhL0JLD6nV zgBNP+;>hmSaIAP!bKLzq9o}BLnTEIpY^J;_kY4*-=@kqWI|)l*L;5EWR^sV_^}&;r1upv|<&6vP3IZ#G`*sHl!u?wD)Ag3W`@(s!Kf7YYovDutlci?8Zk9r@4s+ZGMXZ>VDoSD9run(c*kjAk&fn zvSm(WAV-*DR~7N#Q%q{~-1*5E!JJLQyYO)O$Pc%Zf7I{)!02sO_vO@2vEvhX_Zch`O~^?+=6$g)E58nL`kIM-Z& zJVe3Dy(%QQ{7_7@kb9-U199~I_ZR?8AC&qiDfw`I-iP|IYP@lNN#?~?_{)$=;2Nzj zNT*{h1+Q0VH6E1t^CNSzMRn>Uf`Y_SUC8~4b{B*^5P;nR5fPC*1pp6(kxn~T7nfXL zx@Dw+t03K&ccR<7$d_V!rTF4$9=!km4oE8^Z)t6%?H2$L7kOy(O#L0xBP0Le5<;L@ z7kU8k*vop3Ar+1cW%PHr9VL&)2LP}Gm4pxgp3wwkJKp$o9yu)HkU1)^kE8m%di}q@ z5z*?HK8w(aOGqGQX}_iAc6*cS>{B`v%iF7<{`I>Ye2%QYrIu7a{_~!2p@(s$YK1BT z=kFKX5fpY5%iC%4$!_v=-Q(&}9t!;U34DYhpYq~hdT1tJDXf0Q?XV`BM9?E8S3FwT zp5w9)I8T^{kul$Pv-gwv3=krL$|_?46oS&YU$8EddB?=G($T<)25e;%f(=RLe|NZ>pNQDQ4VlWo}rQwq~ zN+dIBg%H?KriKzgX+qi<>>O`z!llxyWxKG6hBnv(Wk#MGz^@{MwwnibnYT+4i!J># z`4U>+6l4x&@*^70<#?S>JQfrIaP6N)8mJ5vfuSfB)|Z2UCsqd}rOCh&RRFQnPfl0c z|1t2#5d^=zAF~HQWW|+a&<8L|Q%M!5YXMMdt@-Rkks|fdB5J@XXN%;>NxFNl7WPim&@l2CeC+QNcb+tp|Sf9(45vS)m}GVM>X z+k#%M*&~6+?d|QpS~wJS0w5U`f;p^~QaI?7&;JRdpY4OP?HOF@(N46v8{Ic8AYFU= z;T;_SGCS-o_I4WWpj_eF9tLvtB< z^89qa&1k96B7%|J9PAD zx-vQFGTKstPBZlPZyI9vBi0}^BIM7?$~Zts{r&s*a}8{j`2falyusGs==gZ-un9mV zVdCH@i~fKjd_pn+Up&^0f`TF-E)ElD;(m5<(LFgiIYTMQxV678S*)z?{jv-##PxzC z1h8;$f`A_I%}&QvjxyuzrT|MxmD;7fRg65**QBG0tF^pJ3Dq;{TRc>?2V0$?{RPznm!f55)u-!e28>$ zaalV)E~R~exhmvBm+meU*@TQ-^*=Bk+3xV@{{_kn$w2?V;Vl1ugG>E?A2kra*ROQM z07$2B4d6oKjfRpkFI%XyT>O%?-HJW{2OMF{rfcw=uOiYDKIA~roGshHKFr+|vcMX=8kr~Dx1JIm#egG&7gU1>W zDqzVELV=zUeb%j)GiHCF(sqFPGF}CvAaoKrC8a6T=*#`d;4A@mW$Q1{cTv9}f@A48 zjE7Suy#)2UL(IxvoP6D`WL10bk0&0o#4-_+H#`nL!`T6JN*NIc3lZHLCvail*1?wz4-+$%xVT?SGd5(x^TD07kL(6>5<%V$IgUVEID1 z%+u>@AlD0>))3EJ6AYBh7QoT&(5&w8FmN^|kKepSouee@HsIF;AYlO|h_bHk?voXI z!T{#mbha$BlL&YQ1z6?)DUmIfn-WvmL6Gr?=mAa;?ApDB>Qi>>Jz88tTuN~TI zX$|Zy?Fw2)g?VT%UEjC8c_D< zKgdxz|EW9hj}H%Sm5#IPrvLO|cJPO4n?4%6KWy=|88{C5@lTmhOtk`XTD^%83Y%4f z@RuM>oZM#gADbtgCU)BeqguyWQGgr)=b`|t*g_UKUF#y8%NF?-e{#hnN(b`{&vmv- zV()S_4?5NggWd=QLIXDrX9=W-VhQ$A|3ZqQ;&M+W$MzY|#ndKsbUCh_z1fTwI{NRu z0Gbzid&~6`H-E8+9$GO7tdRGr=>0UIbN0vHNCI&ytFqQ1KKfmN+Ge#^wfG*zxcf*uW7)SQX4TF-j&KLT7F zE#Rn@u@%Y?CGHoNGfe_ViLf@M0!Y?{=J!QD5yW*Yn>S~hfLg9H8p8R&VHV&oe7j8f z@V6^^q4^C)^9=y2mMEfcfBpbaX>R^$%b&Z^b-o$3=qF*OmaUx=C2$zMPdv4Jl|dgG zp9&>ea+fanl?dI(|HisMH*O%R0V`4lpWDpU7fr%^cLVfQ$l$i^jKU7>-~Oh86Fc#; z(zm4c`Yi1@5^WF?GBP}l58uVo|MI32k;-;^LDeS!5OYFO;2f6~qmX{e3iVP#A+Ly*q+El^1a*YSftS)koi2&Mt?l)%l=0`- zW7S|6cxtvP=^V1ysu44r%^3o-O;h9?qlh6_hLUZ>DKOFCHZSX_KTqR08yxT9Hw;Oy4pw_iLy_KnoF{TAJg2j${ys zhP4B}UrztHKpGubJ|cNX&}I?X%F~1SSjI;@E+tAkmBAW1PeBC1UfmOy%|}{c3AUrM z`leu`LrM&#Y8<`Y{q*m;ER)9_&3gnE_nc&pd(+`;C3vPf?5J23%%r~l$?W2h@5nOW zRtSX}6)osPCxP+bBz`9-8$X=R-YKN^X(t`?e@+Kc*)OtZSG!67Y8{FNipp#@lL!o0 z2>HKqey%;(Jx>2#G?dx0G8}sx*ztGWAgQ>{k$hD(6`rHTSBBGC&_>N(DH56dJ$Iu4 z_2LvWFrB=wHdW5BWMnGRHnf5G@wh$bCglXbaWORM&gX}i51k=H@qGC2a7QXuY^S12 z^ucj?5!@%(BaD~Gs{Cinn!#5Et>%c42WcrS7e^r*5-tQ(Z_5VSvAnlzo}WbG`qm9V z<--*pmVQsyk^A#<{W5wh^pzi#P$*+~Fwow0w-}oup+bwIk3C`0+Ipz;ZD$A~Qs*j9 zd?o?9E^4(U#x2PG?1=-A*@a7sp}zzMA*YUAt6hI%1AeqzEqpR2p{tnojcrK#@|g)J zwfv(4Y>p)0auV^$6!dyHerucAKUVzoC?Dls#+BxrFq!L%z`JHoch(vGqGzplCCNS9&8TkNp%z}&c;58Z=oywbiPnOel?zQ9__m0Q zChMjYymkSB>(+i*ERF^iZv;ns6;cn=+h?i`R@W6$i%VR<_0!$_{8`_zyh?4d(=}UO z`KNl7lJ(y@6P?Qw>UFf&l@fk&G{e|7q4{vV%39JT@T7MUTs*gTDC(073t{K+U??=v zjFLu-j`WNu{NRrHyiaiPXhVGNL~Q(gRoim90%jPhR45WffS=->PS_NAB=+Fj;Z!et z=>_%8wdZ@`xY*gxs+d}N_y*o?-l?i0 zYVyugl`ilb^IzB~u)*=@Mh@Uzg(Lt-89)r1YekO%1>?McMC|>X44s?naUu3p)3c{` z$^}9w!e#v7p{&{G*KR%BRd$m6sekV-ktkjTC>JJ<6|rmrIwGRECvhL_J+>6DoZ;zt z=KKaS$>Xp!6&Bjx_S&VT48is6+~uh+Pk)hjxG!!l$qcUW^MRNvOw6`+d@^xsXm5eR z1IwB7lc48)XorL@B|8isN_~hb>x7-IHGCjnh1<^9Fr8*;?Ea5H@L zu41RRi;^_%m};5DUeI_sHqbi(qv+oPM;JqGqt|Lf`n~pT+0+ibxprDxfO51~cd^be z`R$%9V5MgzTn@!PjjZ(gIo6R&M{3knQ7t1EnAL<_zCl*`%Kt(9X-v_Te1-GGkP;}( z+QdQIUfkhb#~7+8TTkgX96xH8=oh-blo4&ODoukN&P0A$r6>#$%{AJXi+@9APH(^qE=6>{YS+*a9r@JWP5TdmwvAdtQmrv?7ZUw*8w@9V%V zCGp>&TFwI6%LH3}D8($FcQt{M;Kp#LN+GkFK~gYwz75^`J|wWUgXyg>v9W z0(fi4vJ|C0C8MTP-A1S}v1hRgmb`N0K#wzJ|Egc>g0C@Qe6kLw)WrmI%@T!bf?a}n zsWld#XymORd_Q0R!VMOvRXZvk-x^&bJ2LN)nwBMHf1w4Q>Z7ahEB7%(AqKBN4H3B` zgGo7!b9u!s6ZJ-dzeRNZy-{oa_luJq*WA)VuE7LgPk-DeIa)U_-wv5`M4gZEnd#R_ zI~vpgW1I>mWdJ!td3#zQ-D);W+mjB-$sWxyP7$({ww)GNi#OpJ;H!S#$(;ALx0i8r zt1A;9n;Ca;&zi?n7_9aODs6uVWG4#sov*@^`*Zla5@6=ozCXD<9B=nP(p9?&)5u*D(=(eYE1-P$%}Dl~!p?id<}d06oF9$WK?! zF9#f$wu7X76!FOrW)L?NR9P+)lB)4GVXz?~B?DE4J(B*obqSarR%R0xQ$H><!BceJ_DEr7Q&$&b7H=JCD~ZdSYm@^;TPmEe*P- zddyB5!Py%G2`ZV$o`M>Jn1!-W*;`fDvrxlBRf^v$e`^#DjJwa=MY?n{y&vFp#RLb{ z7aqH00C45>^Luq9+wQ3|+J`&I+Jh-4&h~8b7aAIEAfSwKeCu?h?0&mCk)HhPYreqg zvfY^e(Jm;x2wsLeAhIojosWxakZnUuKX)bvIJgV2i@q*w^wL z&u5jOc`n)(3h+T0de&ZWUm}%=4O;6kF!uLx#Ac&xrD_6+0d?mRlg}K5*#;=Ru2)oc zkKW=StF$o++K{{Vb!d{7Q^jKX>*}=P!aUa|-Vz|3oOYd* z?jNFR)l6Qh4t8C5v9CJh*+6UWGt=(ytWaZ*bYiu0!l7mNF*n+GKpg4Q*pvKLv|;sT zA~yo9xFAcf0Z>&$Yk*1>6kPBmotTis-l#_lD`%j!h>7R&Z15r(7@#>)l-=sTcxSV+ zyV38g?-pQXsBh@kGTHQgMZN3*PZN0aKgbatd(oD+oztOh;!E+tMfa_DQ2`>D9xK9H zcN@#!&BRxvR#lmooTcSg9@n@FY6jP<856N=QqHd(>aVY1!wNu);!87>Rn$zMVx)JY zoBiyvUca}oG6>)g>s@o7GV*z16jwP^P@X>)lVN*$SvC1I?N{wOED2`8(i3ttX9fe>-6_vdFdlaqa`x`|hC%GALvbgp1Vmmk@_+P2GJj*Y~m$93N} z8_4jTkGN0AEU0YT*fbJ66pK({m^T!`{J|98`1nD@jNi7xv_fC!-MOIm2wvK#u205Uk*wE&x=`~dpYf}VOv7lFyoV<+5Nz4YPP~=eS zcBa~Hg}xSU0$%+_BwnYzCb$1edCAT?zdOdlPH71L-(E+T70jQeqnfavKxo9 zdYiS|aB7V##EcOUAQ_Y1oDUaEU`8+8uJec|o^9S8yRq&bF!~`{jA9}5FH%PxdwV9P zJP9XEF#qNsaBpPpehZ%y4&#`%_|GIf6`v91qAjWDax9?)zVd~`%%RNqDFl?yVyv(8 zqr;#&C9efNpr?xLZ393Y#c`CiiVia(PD-$g$lKA{C5(IN;_^)2to+{Xadje4-ra|P zK}UD*i7MUNdZ&qsCAYg0I63BNy|s+OTotg(MM1YYzm6rKLT$gO4ZX^Ly8$2L*k{ov zLwLX&zt0}be10G7vC`Kb<5GQpw|wsX+N<3<22XN-uX@99S%uS2>O1}wHHti@!5kw| z$c4#>+S7V9c3vZ;5==<9vRPoKBfqQhPS0>k^4^6RG- z+ddUgY2FoL>;$X6+6C})mFZA6Tkoj);2e&0NZ4=TKJiaAHuzFud-h&Ql%yB|A}6i_ zzDH68X0_{Jl*}A2ibccC=mYkYsWNWHtJW;pk%Ps?L0Y4pz_MJ*Gt1K2538;c3ek}I zz**TGdfi-(AVKunT9}S+FhSFRIM-vg-Tx+FwdpWg34KUX0OE=Rd#FlEZ4s+>HZ-k& z9~g&#Mq^+wtAlBESH;58#z$P+`Vn>#52O&DF)(5d2cPTN+9(Zz=IG`tvnY6P0A+Y{ zOhUuV%db6l(U(4&=fllt>X>_`g$G~dedmx6 z@qN4IQMOEg9)3{blkAJ|2E<{dTCvs!;&P;Ia`%4m9Pi<{B)-J7ZJ-HgDr4_a9UHh2 z2I!3NqWHt%17bUm2`!OI1|JRWJ9@-uSw#m~uHR<)>+VjidoBpZE6G9U!D~!NH?uPS zhOF@KU8|eN&F1{DPHjTV(?wgkj%XQu*8pAB<@atIa^v*p1|=|;?N#yG>dp?vsi0AR za}(7Kwqre7TP}+migg%gd#9Alisr?vo&WX6$v*i$u$G%856+r8sn z%`p?kQ&hC1M`2qIspGOol^q^*eMqGn&TK8{mS}rKPj$lNO4;z#Czwj`E@gg*BQ7R? zC!5qn0}vQZVKE5>5B>V(%738Z7{EX2VK`N9J<{5MXCiV!qAKGZ`Dh35V^bkT#W)Lg z|IXffxWR?MuDKhtuY%bEym&bCg(AKka9YdMulVC!Ps7vA=}uaVp+8I^<@%QPKCOnf zY>bVicjdZtS$ty+ZEZ`ZzL`6bLKz23<5w~ccj)tX4|2jx6xb3Afme-aRS}KP`}~o9 zt8``k%3eLwvsw&LI30x-5$R{90_9t{VKTgZ|7>? z8LmRj;UjtVZF;j>{ASFwH)rpS7Y^Qzyi7In711NT7UQ}x<|i60;Ps{7#iDc4$6SNI zf5im0ju4M%SVMNKQg3o?#SQ!62GNuuoa)$pCoqeSban~I#lNN0(5U3dfi7PR>|0*0 zCR_blaL$9I*F!MoUPf-24`+p!nfe>{hVRi%t@~`sM@e22vF?3U-XRDyVU>%OpX-nL z%FHW0HQpZz?w&-}pWWF}nLk`%4eL|}$OpOgI6Na#(l02njcU$^-<~@oXV_;?;ArXE zvl+Px2z_nBnEl%G$mQ-7A5lE(bY_oxxI!@eUCOH8nN7$TaUHv2<41in8KyL*`v>$= z%-;^Hg(WX$l>Wus{$^-|cQ&*DqW|9Oocux6@mD*xRQXD!aUp&{<7A4Gu)2fyi_8uM zrO2-D(w2)u{re#LMRlx?VxnKX2pbFG7$8{tE@d6h?~!IihVSmI>X!M_Pp1ETI@pHg zra6)nc(iKTY}LbAX(aG(6_lAAUp>Fw0bAc)(q@*$4cBC6STG-HDUQOj;mcXC4ZR%i zv+Zy;Y>TyORR$jq6<(^J5hhwQ-jC%@&XnUU<-E?68^K6Gd~5?w%ht3u2VA*vmYJjo&^KIkDniOsOe( z)Y#ZOJ$0Eo+=h8yuCwyZZT2c5am$(xGeFyOY;NlE0l5aga}M4g{wafIe5Q`K@7hUx zQOl3^dKnKnD?aFMR}kzaql6K`>mw=fqjNFC|Ti#OcFFOl-ToU(6SAn4~m^&ZT%u`+UX>tQXS z;qR4O?}<#1dS0g?%=9?GR)4Qig6%^jPcKQG{OSYO z{^fSBDE=WplD+X2ZSl}O<^4~BJKV7qZKOosex*sqliwQubLNJ|JN%}JkZav=9Fc=r zs_!k9k;Q$gqesW&DXvD<_V2HZd*xo@+Geb&c&Sc1<9_z5)B+1B9*!;46@=um9*A{! zSl(7PZ>8lx(lAu*UAtvx+Ir4KKuX&cB0A&E5=Y$9f`8sf7G>a1Dj{_DYnGD}V9+3e;WG|mZ=<=O)^36hAxrPrO{kv+z*8%d_v=2eZ7m*oNpDJ2%mmzNoiog=-+ToF$ev9XE+69h*-*EMyV zpXm+j#v}5doGk?q0tkk_mvvUR8vZG8oJ$#CHtL|Q@v`#mZtj4G2IR3%xS}} z*2=vBt@3ei1w)UTnr4LQu&$Zg%dplRRNRYfAm+1s-b>MJr6Fa3D>Z{E!g&~0mXmbY z&v+dkAYof(6_f2tF5?}pDY8=UM&k&Xn67QwcWMZ{rrj9;!cxdJWjKRK%mzyzl`;~U zr|lh;#ThZifVyM~kBeoc70@cTp;<52h)%8=s2@4$60w>hLUeR=0HvUDpzsXz3l{$N zcY1k3Z4JN)cmYt~S1Jw8eGNj;wpE>N+Gw?W@86BbzTf-C?PsSfiFvys56*<}8KWW; zvhf+Rn#kDcbS1h?k#yQ;rE0Irto@hFIK+#}7Ydnjqx$yTynFU^>5Ud{O&>Bgrx39g zldVP0nY#4pwM7i=Aq!)(@O);!YzW+^H3Ft(vlWt0eVXIsjEGg^+qWcx+ZAVrEWEm0 zeNJ+GvZe(3_KFSRVj+KX{%Z?Ns*#<>Q@6>>R$MOI)Xs)!7x(*wxf}<-Y@v3cIdBB} z0%nG9Y=dLO@!U)_Q>V21>Tq`U2QHksW(y2BZj_HZi2GKFRiASqNG%l>?>8)0E1cP3 zF26U*kGJ0z#lmRN8AI-bc?$vwjJML;EcoX~LAe*cpv*Dv(It8cP%eXsys9rG$abYG zEA6(uJ`7?{u^iXoy3<0Xji=P`k4~EKRTp0)G^Ko|^(iXD0?<(T?xgwj?H`2sObO1* z%Zss@iO%$FEsw|KnqSm?P;SlR>SZqC)(RO}QBv8k-%N2?yfV0^wPJLlR_x)? zi%IBR!hk$OUI3~NK(i5dvKt9Q0TE1aptkje{kA_dVnb8IozvH!-)kRxlM$_cl4-WmbRu}X5J>PI!C z^q|3_KjoyyYT9Hz0sWHc<(d4EN9D2@3>T0|e=9UX%8beld+hq^-W|E=rdCd^Z1;=( z9Yk!*498~9nd<|3asz!wbuM`TSO`7PeARP>nWA(!nahDRt=_tkl0E2ZPkdM!RK+D2 z_$*<~3FIdN>s$9Nw5b&e9C>4cEOr z%agA3WNB=pm9eDdcV5SapS3#;q?#M#Z?0CUGVmD`3*M%Jdt~pC2kqNH9FRDw1dcOw zb#+XGCJ9@aMgnkp%`uda;;LV8;zAi&SYmCLn=qPHn_X?*y?a;YK@U{RXqktBbmuR< zHs81NTc*=otQ)*p=P^8NBNf$TOTo8i-JIeIM^R;O73ieQrXaV9)@H{(bc^wq?rCWx zt2EgHSL^)_A*tOq>WzSEa79?-Ib%h%=LEcOAp^H{=2(l4h5q&0+`z_AL)B}u#u)9s zy;9n%s$TNNXt=&(C?T)a`rWl& zm8UeIkTgm?Q00Rc;-UImDGNGK@8J1xnrzqtQ>(t*P^b5OK*E)UdNsG@z&q;^rQCz5 z_P}Ffn{XD|k|K+SJV^Haq# ztCuoL&t7q+Iy*dH&^aM$n@?hvZd;PVt!s|XrX&;&smYfxO!~L2cQ{*acC|M?OWqH` zRpkvIwImqNSZA7kJ-4n0GI3FbT>6{VY&q9DP5*l`K^MvUEuhAJq|mAkgF%R-k-oo6 zps}V$ge85r%CAj&Plr1;R2>%C~kf_o>lGU+rBf%@g;F!b+x3baL}) z_D-Pfp1hIOOCwZgXOU}f((*eaa<|*CF1&Vhu{J;c(FGPmB;@v0xPI>LHZR4nGTxqR z6Z;wz@{t`dPID-K9|>m+&MFJcQFDh}d zF55Vx0-b-yZL+i*c()mebH9kIO~)a~c-nOmm(|sEUXF%AM{h0kSdgGrOx))c`V@l- z9KrcwJQ$<2%Rm_rJ6fmTlj%`b*zp?Mg+E_;}~ym&%ERe zRPWFDx-`4i6c{4!vl0xl*&lv%8?z-;phexxM(#|H+bDg>*&Sskf$rXUqVt8vYRTf+ zsHjzJ#hRR)_KySL@+ecOHma1zNh9ZZF8{Oz_Iy=}_rb1Z2KyU2AHts^y%6j!E<0f^ zR>GtkT)Lf2`IkZj4hgqM3)UM7Y|Q3w}Z3DYLP8KCx9 z-(j@tT`;yH-{sb}wmz`zLC2l(Ohc32Y61XP0Isf+ZAyiDBvu4>#x%C@h$N$Wou5T{ zOQ2gCaaAPO9w>-h1YDLZ{YYZHR^5X3o+IQ^ae*b4|USqarZ(r{K}zg``8z#?8<8v>uUbS7)=YKS0j(LaV3{M@drLU~4bS>@(MX>1`T}w+Y zlF54I#B1|ReL2lDbV13p%%H5nz9-N_YzbjfI>)o?d+<-b@gmOx@x|pSD&Y>NCvcg8H(BmRMhUJ; zFIn+#95~)kGlAgBJJ#2#dM`BH_0>8v<#ax>`O%fM+2S;|elz(UERsDS1rIsoCrVdC z=Xr{Mh-^42G=Y>NLh@&Cqv{(S^>9`X^sG zfKpX>Fgmd#3!+UgI+x>R5147Sm%H2nj0kp#YVnMG$WQHnQZE2QSduWT-4r4^B;}Q) zRL1^Wv5~sne380piQ~k2riEe=*<@V@d}Vi3rEPUFXhw#OzScgz&FcPA@4sfO$+`g|?zICUz%HH zL0+!k4vte#*K%#c_~_@>0{I>qz1g-r6DP?E0G+g)@1)V`G|sH#YbUW3tV)2* zV(;4mtKBOs@1H!iR<2uXdDjg{5DEDj=3GD^(7{xZQQ;raLC#XZmp4kXcRhJn?a_yW z+Yl~+v}leCuSSI})!|K28y=6>|2v;nI6UNdO)=F6VSI6$g>YwMvICW+lzJiC+6`@j z+P14~ueN{Y_;Q=b`CLr6k;E-gZo!}5^M!%7z^7xc~FDjd0dqW&PibnxRRnxQv9h&Cx!T#POK;os8yV=9_7HzMPe1Dj#3>I|bk zR&G~5|M<-m^{Kw^4L?6STcZmt_QurwM6P$^-VUu5hm9G9?q3-ZJfC&tmGJ8r)-lr4 zFS*p_5x7?xA8GK@zInN3Wz?Cp{F-$*Uh2(#{?r$yTQo)KR&^IxVC}vS;;Y(NfL0(a z9MZaA&ayfCHOpF`KAo;4n#cDBeR2#uP)5j;tNjvmZJ~4Isp`tm7iks?jA&|e_QiB( z9t$y<(oF@kEVuU<(hJc*zM=vPBB!1#Iad20b|WS^wbx?uRal2PEOSXQt94B z&>K`Do_eA2;{|=%NbU1;33I=>#-S6~#Fhc%tHX~b(-S{++%@C%*Qra6`5mPrqMG`4 zHK=GNklZ*K-W;}6(S7t@&i4r7 z>k>hbYf^Hrws_Q_r?X2oV%JWmcds_sdd z=Jnh=CwJ-2s1wtU2N7dWH|ksv(~{G!pu$IJkZv3)hBYyQ<=i9 z5Bg;xF4SrJqb=S<#!0Udh_n=%^I++jTw3=~=(x1H0rVHv@+zzS>IVc5VpBq^0CE!F zOlVB|j!k2(3b_g`l*25-*jbl9=fvkZg5c%Xi^($Y66~V!Bj|^kNRrPsoI{H8P-p_z zsS|BB1ePj}RC#^=bRN5eJPr6pJqHBjJI$y|B?w*3=z11glfY{o*p-R^QOkXQ;1e4@ zOXk1;gL0|i&eo42#5;2j1#EK1Qf^}#{fl^$t$R)b$$HHj1_{x;DGL(-y`o)3So!HH zJgh+C(7dJW96tK61Mc*r;XB0dF_c}pJF5m}i0XoIm{zx#KIT2Jfm98uCsY0;PQC@8 z*X@$Ass%Z*6s8|S9l8M@xY`Rk9hN=MMQu=GK`-G7PS(YE$S)5_D49kqS z_LH6u_JldP{86IvHjERS!v`znyOJvOJVm;StYL(7Y1r#x9{+3VG>&whQD6gq5!C8;I66&P;&&CQM3ZdMu>mt8 z7ixrBa-pllQMMvi_+Sl1VWLN{p9=QZIn$0O(4tvzFx>*|5uk`&ECdv>f2PllFi-E# zHxcq{No*ePTb??WA&le-Gr#xv2S$h$W6(&!q{Bow5^OFyl&b%dE7~f9^ z@1AB|w6f8=%LWpFJ6O|cXaBA8(pvDsk<_h71U-wGD^x?<*f#j_rad~XjoEqZ_?w7b z>J84(C4J0!ho~=WupY{9cD)3_Wx?Q`#e!1h`dD;J3INKki6 zPQUT)%zLrfkx_B2Z%(}&vG1tJ7)H?%?BB30Zy?D}G1UR7%ljBuBc-Le77FF5;GxDc z0KZW4dmpB~wUk#1{Bsw53YMaK9>Od3j;i(!$yrqyiIl((+0iKtOKfA~Grm z-J)wv&hJyc0BFiZTquzh1q4Ki$2duun+ML7g<0QslV zhxwh{u9BU3ggMAw$wi3 z8QSb@lA0?A;`N_4EDrCibMTmNFkhWFd~Kej3lYl6;Y7fTP8zEE{N&0u z5KZa)K|`~B$1>lt*$&nBekuZy5&#WS#oV#J3;YlCV=*)>D&)Qr+imH{8;V0z39gpgA?C zkf8K;Z#Mjd0W?teIHIky^Hl)F7O;#(l?k~+iWcl|NV6?4_lu@ej}`v$|93rSCm}}W1g8x%*`V_!`O(!weVnG-sm(p|ep2C^>4achpum?rA zcy`ve`uhb+F%08L)@!Zi9%S&j`+LL82~+kJGYY0NI#Nd?2`qXDdG{4E3f7UM-5S*A zK2ALfQLb8UfrD3#9UVJTlrky)*bZ<$28$s0CxutnyKafAP)$rj&=d-wjIn7s4fhHp zSd3S|cc0SXW?{{TMv1#n9!DhMG}0W#_U_=(PL|XWMGv(SgizcJ_1`hN4@etKjw&fc z03n;U&7y0f4=-w1AQ$l1NIBkq8$t>}YHX)qwrD&xkj$e4-dAt_H(Er~Td1u34XX*s zce|_(o_P?vxFdovg48;K0-?qHZz+ApoGN8 zALK<;6>E|EuV@UVxZV@!ey*<*kXq(3c4zq#hnns@L8+4T&drnXzi}m zpu6@@a;MY^g${uBQe>Besm=?>&5=X! zg!Y%_rYWL1(ZGOUAoxo?DGO=DtB+xwj>*qj_?vgUFOjq{ku`Ix6k<3$P| zc80YbqX;RA?85^5r#n{{V+YDq5^TG&3KlnUjutcecL+jCwCeo=Y3rlyFQ)kRTgPjV zorrmm)?(O*E%qfVD(1s(7F1*y}TCvda;6d z5UnpjJY7^J5$ASb_YX(RGS~IGGnGMkMuIKL`^A}NPd7ua?=hk%ww;NN|x!?sYO{SDF6JWFI(_XIV7JmUqPg|eg z;O>e-flv<>r~3l%%z2Wfi(bssM;}(hv-IftA%Jc#F;aGRCe`aut^4?r%OBB>CQI-3 zCurHXyCAR6=dbwfGBJ%IxQw;b1#itfZTJT^&Fx&`bdC-WJQ7M=tu+ z%kPl}mX2o0Yu7Ij%g`rA8m(OG{K5b;;Yj>QoEFRAO?Pxn*(SdJsdiU`f74QG_gmR9 z^(;D&`UMc|5&zydjV=-Ho(qc?HF##6)|p z!a0yV1TqiQIqg z(aHP>3zB>OAy~N39D70QHOZp8TobPL7U}{c80}br0)F`S(f$u_4frmpV%a}#8(<;< z(B=QCUBXv;Wn@r_DzQ7sppmE>PoSO}JWizS@Wj{wa<0GqnK zyDP0L&a<`am-`}>Fp;2z9j}s?fWyf53ZU@-*-ngr*2_2cybR~6H!EY?6H6n`J~lt? zd^3KLz9TDLvbMJQ)bALuGz~_r-q%@y2h0V>)q4sg{^6G8A zQ4$9+|B;K-_PWkDf8(Nly*SW#BUF7Cd3}+(#H4QoxV2;4y=DUI2(rBO;)1&m;PP#*eRJ?7+&($6Jw^S@ z7dP~YSml14)*(18-KM7Z{|_ikn&rw z0tDy{pi3~%sXHKFYo$CtZN`KRNXdqPhkl=N*e=0-N%*XCuh`Zqd<@+^syq_T`a;U_#HI z0zMDvw;q&nA!}=ER?7LnQ_lZmGUdgCfk^<0ia$^U?!FU&GDk)O@*%KgZ5uo-9tW;Z zwkrLB<_wVE3T^qDmaab@FVuF8j2!#5~3PFqHZqKYqZ%!#9N{yj_6kKNmoCb8|B^H2fJA zRp_`qI903$aM7f=fo&}@lFEMkM!}a%QE<>S0N4xhLcp|;a&Ta(si}D-k!~vks7yd~ z6F^)5N73Y;lx$4#urT|M+XNII=b+R3Z@cO z+LV-(Hxh_y1~*{{Oi&G(fnlb$cTs0|$u*8WH;o zu$be0FerrNBqV-kXZD?4U11SA75W|Q05?6)`JcUvQ9SRRx~H43*!{7I_`UY*mBOP* zk5{utnYL$8w2ZM>wKPYg+7t_))1dPMU{V~B06sH~kK7H=XaUg6jO501)jP+RPZA~| zovkjAO`B--@!A>70*x|5LPEl`028P*_O=25czj1#sAp21mIFQJLiWw*0&@p7324Fs zs@p0XM!LGXSEsA5xPVx#;=d3V_`C9(I`Zf92Y~eYb$c+O{7ob|{|!(7@4Hj=c6tDj zH%teh=mTjzQjGtsHE<_tfHCj;{D9HS;eMtMK(mgNV}45R|92%7g`O~a5ca@6^?AH;Edx@5|CuD9Tf#4Z1P}B-g#b#}1{`U}0FPO6|34gO zlh8MZq|EeM+WYqpK!K6`w>KnH3~K>?8HNndyCL*hPc)D8KmVIl(N9c50`RCp&dxP& z4uppNzmqAN$F{w_9g~{+RZ|leF#E>F#&gZ&&0!%S2J4-HHw;}Tz~Ii#&pUu4K}1B9 zp6<*`uBf|jSN=8~%CG<%TPB?=CQ9HTStMBTNJlP()oDk@E9qN-^3C<;%OfU4m1v!Zx#hA3jfT9XxX2#fW0Fzv=SwN4a{{7g+LkaKMyK?p!j{b;#)Hj^Tx|4l{r z?VvYCr=-Ar?-)1V{krA3wr0KBh`B;NE7yl-9;KvORWdaUxod9a7^v~$BCgR=KcchI`%=iLWCPyDdKLOYHRu0*s zQ;RtL1g`Y#y)>a!zH9ysLBAUn9CsJM{GfJQ_!Y;B&%bzs)V3-7f3N_w)A+(aW92@x z1^|Oph(%X15qGC48#cc>dDrAq6EK-%i_MF!@IleC#_Yi=lNu6F-pyM!%O;07KODA7UFPUF83U|lBiB!|Q zB^#Cs3Dof%iYX+(IDf`=4^IUQx|+P~K5Dn64VLrDV+o1&p7#yF3il4@pXOo2PEq%; zark<_m?D&nilf4;9mxG0sm@^Sm_#CyhU(VYxf`K+oo!Wlg7ST_Kys4DopD^cDjGVw zskQjk(%~1jFGgSsX`$-td@vKR^D>{#_qpwHV?Skyw`=UZ=7ettHy?~|&l7#{e2ekt zXB{-I7IS#Am6U-%#Y_lEfx5WdaX9jm6%qHKb*~hx`pe6__3*pxDu*Am4FB^01&V<= zMWc5vyG3tnSSs+uNMf|Zax|nzUZgO%hdwh!G?CVt>Jy&T8q8|JQ(;fhzB{kVseI$o zw~Wq0M#_B|@XSI;@hgZ^pdi}*22mnx%{K~7Z9a-;TW0M63R#sAb?Ta$GOYnw(O)xoCraPJtwuEWfzC6HQTpfj zThN_9>p~7U!I6iV=@G=+?l^yfy>KBH_<_A&jQJ0yIm&k`BM^EFrX`Cl=3xiU?eI9PvuLgNYe z*2f*geab*pqRK0#l?^vj8(yuf6SP;I@%1V_ zWJ87bXPYF^SnW*}WS?=|K05YA!L06v^f85CZlsm0;n-f2ab3awzvIPR>G|>jceN+o zzj{@Ql3J4LRx^9*ov2n$71MZJ;phl&xhEM+AftEI`YKN7_q2!Jb0)wih~cW;*sdMp zG{Z3lkw;SFQsPkExpZ+?z~?IB+FZ4s_mFV`|CQUF; z_c~E4uJ-jT7V4w@MK5ncv{Lb33+1@G@kv9<0)I8rgR!10uXy=_523kg`ow1Uj&*U) z(RrUv6D4zS%Luo{%6&6BTW`v0Bm?%M>b(w22!>Y0OYrQz5hzKd8M%5>lfy*ky+@%J z!Qgh9RxtOPaBOqy6!oo3w(vT#s#Z3 zY(0JybAQ3*>N_%>T9dy!YuEWAJ(olC05BtSXR9P3P-z!7^-Us6IYM=I**s9PnfkhP z11APko6SZ)CdT#uHHcJt-nla0^0)FZ^OS%2t|!5k9}|W|sU~;cXW~QJRp86XF-Fj% ze+b)3cuV5q>D>-vKzUcc-67(QA)YO-(Ab|cbu$Jk?wf|I3vB6i_^l^S3gzx? zTll^aH2jy?{}_7V>vw!%N4idRgl6}8eW6Fb6g|WA5)?%W!u#kmEqpDU1a_|@0kvw9 zBCGmNpl;a-NIW;UAB5)b{#5thiv&XGDrBsUWQv@--xKhF+rnMks-&E)0HEr1KG+3a z55$sI?y9|^DZ@r>B$P22xYHd8jw7@y39AYjTv52a!>dr zjMvwZC17$@oIQ2x)Xn&dM|PoYP)o0TNBGZ++oY&h(0=KkH2`o>I=_opKHF1S;P&wa z@`MXiGr7iJO}08-u0x%@T;RZ^)Hf0lx3|)cwtE1+->!S{K*hSDm>VP5eK49&D9U2= z+Lf4cQyh2l`0#7}uRUY>u?_H^Y_u2YMg7;_)6nXNzjx8n&U<7tOqm;MX9v1Nos3^= zsxo{r7ou4@7E}X>Z+;Rzc)r9D&kK!bbj;C} z(fyK^9%0uh`kd)Ee#WY)P9+7XlZsQ&eEKg z4VvE>GM&se5H|*g8})V)%>7^Rc!n*w&e)+nQth3WJvjitW#0V5xd|^(e9`P&#j&F8 z#O7p7_FeL-$>vzvTwJUhQ6Z@Qe17M!QE;_(NUC=!Y+W>dom4rPn?x4_k_)tQ)<5s% zYWsovGcj4vX3|BbMqx#7WjZ^A0$$?zN|TeQg-dd=ox_$UJkE}7IKer5Z9*lTUY-B% z^t_PXdiGqaBtI*O`|XPLL}G=ieRSlOhjXuhL{7h4Cv0rZq!Todu~m1M{Efn|oi(#% zb7pf~m?ckUpG%ri+jNnnD;w|mdZeyb78&zo%9Gtg+mZc;ZA?X8-`*;)f%Uxs-L(=* zwdn|9&IzXhQ+3w>C4!4Ls_OO;Ve%Aaf-KL$9J%|Nq+=k9e?wehqceX{0Dl|~n=6G{ zb^O{!7>L`)Q8vFym>}x|hihYksws(G<&G$}psNEET@m{;v4KGnEU#m{UFyQGuGnbZ z^0my5VLL~Zi3IfSf5P^s1?OvaaqE4WnHv(XC%v!o6R-Xok-{Tg7=u1tjX-=eGvB`% zP`nu-&>_F24KcOl9t13nN3IKfQvmctPF;DWh$qQ%b@>2iIcIxq37nB{YFBb6bPCsg z+V`Eq+i%lkW--27AJ#R3y2?E`O(elp(Y`TyuMPdVi8C(V{PqyGfx%Aaep@2o!BGfN z-4KojiO@kfJuj%d9{Y`01I7qU75;CK3ZG&c;m{yldH@%r0jJ1#K3mDwQmj&_DoM{% zTPmM%L`#=a6>qWrFae!5Q|d82{(%(b?DE_z>L+29w^Jvi z3(C1q+x#t@&scR9d3xd&Mw&(+Xno83^UkxX&d$VcMt!5ef zPcNVBhUfj87Nd?{a;PGy+Z!>6eA!dMrIZy83o^*{53!!6@aRokz92L5Rlqn(@ z2dR^7{RXhCpOd;SZXMZ%Ec%O-=5ng08553&uqo-B)eX(GpewppdYQ(vs}-`@-cR)< zv$sL}y9G~nO$UT;vC$1*-Ks9k8N!(>yUuNw^j51xHWaUgMzrD&2yaV@VR`v`ncbrp zn_qh1FQbmwfsS_4ppOSuH8vMkL5^I-r1a2jK@v1}u@8CV{|Tx|Rhs|sKKcIYKXIe} z98{iktnb~HDCRmAYkpFPHoWZmL-pmv*#=j#@Gmj`(Cewha%kU>>hC>{98Q9hBjdTg z=8)0;BpD_sgnZU=-!o|cCB(Gvrs_=!U1WtU8^VTukE+F+^1o>8?^zxFpVfV#Hq4_Qu$s{QC#JyFRce* zQ-|s9Yd_~KTTi$k;9|z1oyb+4yXw>701Kj>x6aNpy#JRN76xJ#+MBl)w;t`}BaTB1 zk)ZBKmVrZ*41P%L2;G`WfwgVVT3aG3(3x}Qq;0rXu+5;m)#fO@I_Pxqp!ikBc~-qr zpOu;N#QFF#RUjrtWLJSe&`K#%cVV>PQt3CAap-(Vk9RW#{2#=P5j8|wSXTb#i~GfU zJq2O8i;kv>7Yx%KhEBk4?fQpKdS(`p#zkHluHCq-R@p>q5gHamM$Kcae-8YGu|T z_;Wo=`v^-R+#dbJ_dG}458KM(>CMXa9XdTyucbDoPXswcF^H1YS2<;cP{u1;OJZH{ zKfO%AaE_{9dR^qSS;CKf*(HRH+0-so0+(nvC3Ng4^7J;`TPNk6lhKZjb53;}3<+!m z?sv1pUg%i0d>9edT+<(72K=l8L!qZX=g4P@VqvH0PV<@}$g=fasAW)>6m93~DeJbO zTi9pR{oxfT_~OjgNBFyQPFE1pY^me&$HvUyS9GG2^o}_P zz3O94Y^&ag0@H|EL}!i;atlGPF>)dCcZWRjW;zC(Rez(StNA}a{DmwtJ@{qGZ>fpS zF&E83l@ep4%CxPYa!H6n$#c@C+X`1+>n^F-@$@OqOn`^7n$jN|_5W$?E2E-}y0#HS zl$36e?(RmqyBkM9x=T_KkQRnc>F$Ohq`Ol}y1NmE_eOo5^?mP;Z+-J))|xeO&YXLn zbML*cYhN1@^QyPL(#1M}hqD{raiK=RB0`p!qP>xMvd_;z0QRTCzk*a}`B%ndjqkp6M>fg*^7XCDgB=i;@GF2%k#_HXyosgAu=ryKIm#YF9wtBUo z<~8%M3YD0UueYA;-(f1+2%abVTiv(3s!?f=uuk>4$xYPNCFDNxZavUSp?lt2=%EUmeouR_aI4`$lq(o0&*nyKuxoIIYcDHlRahCCg0$Cn z@CS0eUB*W0ve56jM;{k2iokUhiu>jpfw_(7`x*se2%N1uAKsl)8BQ=Q6>MkPL-Enm zt{s4VbdbM7?Y!^wLoSLj5L<3AHO43GbERczTH)&b8skp7`=&l*cnu!(s!BujKzQph z4Gam@2FI4dEl?{6g1bru`r#kl&l#%;ciP&tdyB_mbQmfbvuyEnLlK}jNxD1rzOl94 zN9YW;RER2APWO8cLEi^DthuYOg)i{u5Czhb#fxV!!hG-NWt7 zVZiT$p0Y5Zi$HwpSm$~2dhl^c1h;(rss)~L*(0%Q12_MhcjvCmi{bl#I|_4lM<|Yx z5d?Y@)&&9*DK4a!1c$>T9A5pZh;~@x>VPL}69YxC;DNQl-eJvmb$$3OK*itG&W#MO zcV#@5@%gj%8z!PN=zM7>k+iht(P=(5?0M1aGoJnD1;hpAtsV}M8uBbYmy+g!+vF$| z?w78;#C;IQ!CycgWkhOargvjqdeF%esmX=|JHp5h+#LW*hmdHs&PP<}XFmIDZ>rCo z{p-jS0a`D_KH*s7Dyu01HfD{lm^<7!m`@4yPDAOVmC3!Co zAx(_uh*QOS=wm<=8k5{$Pjf--^$VJE4+QOAj+OfLT{k1-4A!90J4e?Y>K(^cP_iC7KCfcTA=qfG zN_%lylmbt57bh7#pSZl#-?74CI%)lqMK>Xa(g;0}?w@j&affH_s?%gIcX`}TJw08)pcN6r6<#FSgZ2WOkOz_Z2CGQ} z$9_)Q1t)R(L+@gA=?CL{obpS;_8!k;wt)-Y6`PNa(B=~e>v+29di-Euo8^l{U6}ai zjeO6(JD>c>&%)0!*zDU4&Lux@m__ayS9rD^d7^vScER_6=>plP0QiO*Ok_$U3Fx~dVE!O zn-lfkTT&y5Oz2O3@l*kMUn4{FF?G#gX#Fwz*4RJ^GFT&m%6b?D=Tfj5p&nSp8^n&RIGwmtl+=d_K79U{!V>tSt_=OQc8arz{N$*0iE*;(X_pVKUI2wif1^ zK)S%nPNAx35QHw&8W`Ix|@C6C{TiA2wTi{hGJZ1 z9I`c4X1vn^C1TV4rq&ZR1C^VYtTBjc2ECS!0lg_T#Llt!(CGVH>1ZDaRScUEBQ5o6 zWKRve-rOMlj;d&jqi`)Tv|Me%)g~D zaSLU1o?u?;!iQ{)^! zxL>u1x$~B=u)wS$xX7~qg_xK6vuosmjd5nEemW!iA2($}>CitwK3Dpn+ zvvH9p!{50WeO$#SDWbdu7ZUk@ERG$-WH2ST49gX&|kdRr4cS zPCum6Mqen7jX7V|$CJ86ZgQrG98oiKa(82h{3*T_#5|ulw79ru>Oox(9M6qMV-hbK z6YN3|K|=rqt8cg+{**l58a}n*o14r0iYqY{DftA;{Q6}QFq^_ZnS7|O%T#&pxJCT_pbb2mF4~EkYAyQWuy-gjg#h;OhW#%xc417LD){^Y>NB? zHNq{oR}PGGzb8t}2(2`jgZtCM4i*}NQ-<>@J*_N!Bwu`U{YcW{<%7<${!SwJ zPGhFq(QQ_4OL7V{ZjV`*;4D~t8(sck%9S3sq-fI7#m~wt)vULut#R3l#CgbKZ1ddk z!$)Saz2LG&>73*=XnH)0;v0oab`GVo?-pbW!d0`VonBomAHI*6?P0s8ETWAh^5B+CmqBCVY!;6c(S+mWK`}Z+$T-*W*HCW;$jMuqiF0~xPkyQ zm;iEgco>ng0JcX5+fqLv4Ibt}ZdRh8W3`EI2Ye^LL*&EL+XDU3Id*w{(N`X;QaI3g zNc}Qji{T|Hj_TSNols@-Yjp0lllQdgMKulUbJ$!xE8$mqcNtmwA_Uo=v6&z8xPYpq z=#i#Xrl(}5*S-iZf4g4$DK9dDepSdPCL$+C7H{eZ{qN+&&d zZL%2(k$B->cl5g?l`CE=?x^B&f#t^1OYjq>?{=CHL+DLxXM$jSb6~&S$dVXSgcO`;01*5ckY;BI3=c}nlIgG6JL*KX2~8idnD3* zH#L@;Wi%W7Sok+UwsbhL!7>znND@fy80_w@o*h_8izn0kpt=zJ`f*|bPnDiS!Vx@x ztg4nI$&_h58S=q`c>6jMZ6!txL-YJ{qm=E@%Pi<`wB5xq{bme&EbaPzl&1|}AQpG# z>f}RRuyki=8fT$eh*oXUSe6?$fkwH_!PuAA${%LS3;|e-)n!Ko6ihDXzb?XJUha&m zRa<&;^JBD7O)HB02??1fkScDD~=UxOPwH@;XgV%1Ny-<&YJ_+ zpkT_-`T6ei8=+EyY$Fukd!Sja4F~!Y0#j)FNbj@bkH>`IB>ns4yI)5Ldv$8 zud4ZAI@dn;<45M)`q!{95YXURnUkBAmbRWh8=(6DQtP|;(llM_v{|1q{;pQXhves8 z&UVXqJ-%(}wvR?!ZoFBqq1c*Jr_R~FT<)?)Uvbp{R?;g}Zkw9965Z-|Q6Ru9(G<;T zPNEKixSN1%{4PeCX{f%#Por1O?>b*X>#z*uf6Z=ZZcF- z@g3uC=^(T1vgXfxz1BUeVv^n(emA#e-OXw}E)OKs2P}PF zDK2&j9G9Ex%b~kI^Zo=>^#?>#NMjHXSRJT*Vdej4n_asrt*GU-FU_Gr0YeK8U&BuO zdr%9foSCe<<;jF=`fiQ8oy@|C)k1P=OZ=tzeB7IE;M&+$NAW6DzH@R(Tbc#h;uG2o z>VWZm%XBdCVRW~!3-mkT^cgS-rY_p8&bcN+EswHd^}3^^B5`61e<^>>ezm}CfiIAw z*1fcpHeIYuD1b~Rhx~6k5>-{477EuYclE`cA~fW4p7$6Fk;dfYt7Vnq3|x@Ggj_{C z*lffib}e9*U6VTV>qbh?avVMOMeaQdJSJc851n3?^ROutk>l)%k3@es=`X<^V3uW$LCJ1Of>s77KZw)!cP#JoIj|vXc^0 z7rAn$1uTD7qRijzM3ro)%h1GGs+5p7{cO(bj$I!uxO%e>UTNtokCO|PGMBV~-ga?& zh1!7cU4G`dTW7D>vt4aol03SrTcO`k7V7n!!uwnS*td12IT;J17i!C-vz+Is0JU)7 z$bwh;U0V7g!rMGCaXeL%%>Rz^tc zAh19nWRwYzu0ME?61kHr&J`7njTnYS?S>x#${H|jOIp@ipGrrQ(R5OmL4$Uz^vtqa4>VrQ{Az(rJW z_w1Y%`MDGf3=vdT;;qI<8LpA+|NNo&+zBGwTt4Qjx*k+`TIhQz20!;EZj>DL53eIP za}jzT<%0QYiyL6Ry+-e!?zK@Lqbn(#ZRBX#`?&73>i&YU(Z9&Zy2q_t8Oa#opep9} zdbBqDX7?or6p0z9HikU_C#I+E5c=gzI)Hdal?9Vn~1`ufH8l4&a z^!3778AOw@HVv29)@J8oCh%Gc^Sv zms%#ma0{_#)YC9h6juvW3TXP)r{!IRITuomV{r(x$B;fdd4=p;rx!&6s#Q%7c0&yqkpOovB5`$>WWY zG-ma-Wbl`4@=G_z}ujy~C?pkM|>wEmHsR>d*x}yTBagRkiD+*BNTzRbUd^2473+@%-+|H!y}E^ zx9jf6^_^?M$W797mql2|<68wIF{K@7uKd%z0ROkhG;0na8{;EcI(+l1h6M&u+|eJ| zJkb2cN!W$+{U_YAB}ltP3P@Z4`Cnd&{RSGrZHbr~7kF}0Wx zHehEkVyn^4xiMUYXbYShM`hE3gt^1%%L&7a+TZ(u-;UIn$>O0X6QmgHJ`PtYfI1f%Zvomq`BBOf6WH4x^ z3YMhq4y>%ik|tfw_nWVDoJFFFP1-US#*kp|%fX^Gtkumr2(f-7*qM#N{)Z10d-4ur zMd3!cSF6O^EHL5QI>ZL|G)&yd$MePi3-hD6&OwW?x0ae^hMSE%8(gi)Cn;9fS=SjM z@Gn3a^sryz%c|iYny%+{Vv-c0Ub#x^JCA;mktr$Z6BDp6?YaFh@9oZh+`b^EwRLCT z4OR~szAahvekcIh!}2gYzY#um)?E6!`mPF- z>{H6Why>aSUCI&JNM=A<`7Yi}J(UW94`hxMpG25oY=5;q+qy2+8j3n80DzL`s~6V# z2`2XLR#Qd8gXJiz;7tV8ZNmH^ZQV?OLv@mWdSR^z=ZA(+^rhzAi82Cm4_qP;E=Ky2 z+}v<(O*-EhJ5?vTBA07L%4N^)FmT{pb`{|ktISRAoKUUFo)77ku1kMi>u7=gpZE$|JwtE2egd&FCx(X~4S zxgLu2mTq&){Nk3r{gL;zMmhFFo6d0H zR7?_4?B5)%#4Gjc7$M^etDgBr`>J1^B#?=Me_Wy8%;vmSs_~-oF`eTh3T`7 zV=)?B&BNYr;vHIx*?NU2)7DdFsQN-WZ@F~mOL-~mM4987({jwn9oaCQX8abd;wLXp zBzJ!Wd-p|!PlM4!lN&A28fThm+a41?Dv8v0(lKz;do!TE6wusnMQM8J!_^jL?P{iN zs4|BZXg8=l8`h=rfFDnDr?OJdnZ~MN-k&+i8P{&BwX8GM{0LhWwqA+E)HrM8SBvO% zD9mCLQOF&1`+YR{mxl?VY+VvxJdWr`0>^8)t&V+9>`EIpLZRO$=IVqnVlPn0r+z-? zX8slB9Rj&O__}>CKH0UXw6+mWhOFZe&Z$my^L#Z4oY=?Tk|R|wGFnXG(vRVh8sZppjumWzj~RahaX>dYc9 zd7JuNN2?J>;r6#Ns?x4MmFOrbACX&hMFmGH!2;{G8raL?rqBYZ$+t1EBr>CNONRGx z2tWMr$TECqF@Z`oX!L<{^c~I_jwN z-+K=(zo70-YO-{5M$vbYJl=yz?JamCk~mNy@1h8Sw$u`#aT{ zSj`Wg+AXE2^E$W*Ue7J7Bd^dtYXiB-)uSV+PABRwE8{E#Ox7>d7Np(|WO5u##zG`# z&j&7!l+0NK#5>Wp)hH~Gq~a}b?;sakUcM_M2bbDAYz4pAO63TBCe6VWfeOP%JwcP@ z>*WeGbebU;tcr{MG~z2DeJi1!a>JgKFFONC9eadND92S!fWGNd!~nfTIHEf)O@Jl9C_LGu zr9MzyKfnBlgVN{OIu`9Mas*Smywo1d0sTIEZJ4pATlEi%hWa4IQD7S$AbGpd$05p# zf~>W_X9UaTPCWk5lZ84Px^UCSn)~13Rd3CjoE$lPY)JkVof;IF1dDly-|Dq5&b@r~ zZtm_DqAQ*uSjgu8{fU8Ae<~iefSxqGC4avmkFtu zU~GALrU7f28r5(+cM9`Nn7ILtPIdfl8JEu`ak42nSooFWI8Y$}J77Tv%P0k{sP3I! z8)5j01G-_0(vX#Q$k0h!QWI3~XbwOjf6-t0$Dgliqu~5j=5Vh|3N=xFAgB2UGG>lm zaDtxIXf9obfK#pFJ9fMmPb$?!HvnV%?Ibuo5!RG0*9ZC07dKe8Gi4d_$`_2}9X?(G0Ti z3vL?{)5$wHM4@f*%r37EmXbZ&M8QI%VO)8otVZkr0zx zDfUdZGM4ZJU&!FH-w8?IXM);!Rt+az?#mV_dr^?;&wY z=lk+f@XLMV!!mzd)nzArsN1B_I+0TkgzA#okbD$L(s%-=Y3JN`hg!3{-oq~RVA_bZo}?5{ ze}I|J?qv8+s)g1(ri<27u=wM;9pYlh>Ooqsz4{*0i$nAlh z#k_O?Pz=8@!AtAhny@sxP>&b}B8rwG>}O1~6j?}z37P6TlNEYO=c6w>_hJS#g)TBY zT{xvld3|ys%Mnm_ekUxJ3(D4_Y&4G|OkC_3=#B8J?|5h3EG|J3bJ<*POlDzU@ab>=BK`T-;L=xd_rif_>HvI7V8_qXl;roHbSkK zHTnm$2wi^>u8v42{?l>I=RdfLf1$p150jtw4135=)6bMQI}P%IU``-j6C5TAu&3z; zV^o}$D@7&juY1}e9NRQqO@XGd??0?%j?rk^VHpiO&2oR^*1TMBFI(x8hX4$77sM;6 zSCos8xP@PsZ{$stt4$v20{3~2H>jCnKJQOVNQTrllQIc0SMTn@p%6<}vW**px<3yu zT3%AY!KGC&z2AQ;bB#KcRvjgzpHNL(Bw+6)Jg=M0AILnm{5VklUT(;1?PQw!@zGo zO;|;1?QS9QFm6M|MYw#2npcIN=@rAch10EXaTF||Epi6&3{XRabLm;%#TLgfXY}Y) zLEQebhh9F6l!V1TPWLR^uSmO=dhGTqY&*@T##_wpADA9mXV?q9Y{h=Mf}}XOX3GuC z_p|Kr>n>y7c23d|@2lkVPgk?|_bF_-*{p^nd2zuO+Q!IA?Gcx45;{MvyD;?=kVu@* zT~HL7XPZ2WkCdc8GoW|gkxsUVD^zxC zxsj3ARH>ScnB=E8*+R2W`PA=Fq2}we%RO<(!`tk|>xpA+;rBQSpLbPM>+^VQ!YIzi zjLKRyQKD#cWA`VJQk~#Lc&f#k2--T0h++my#Xa zsiGQ;<}Fjia4P?1MCANd1{a8t5?nfUOuAIUt&mHrQth)(7Xx!7R6#|_A^uqMv%`K@ zf0$67Ig^i2%ELTCS}P@%@?Q?uL+Xwj@z)_qCUCy2+DuF1%^tqYCOJcU=rAz6hlhqC zwU&tv7A9eyW?0^Q1a7B6%s7BT=HQHv>JCxrY1x{R==#=_{m)b$qhrOJnQ6$wl5aZnRJQaP2z|)sv1NzY8Xp2W1Z5n`_L|$?e? z@O5$rHS-^KYf-JUjfj)A+sW4;_Mir26v)z+kJnY_>aDBcX z+)(MhwjD0u#&dmXlN*|xIgGbl&U6@{$7b0MU+3p6M$ef}HhEsGb2F;Avl9IRCkpza zZB72L@HfzB#bBwg-p_kTo=@7VXqvBW-HJ;V%Z5H_m+#xL@Pd4T`)rltd%~s+Z*aP+ zP^DZ`7nBQW{(vXWP#vJ(iLrxKiq+p1QyiwhV71{c(%Qb~&dDPj$<^Ag=dqlo%!R4* zoaMdK_%W{VW4g_p#ge$%RDx@0g_t1z=Dav$5TW}fcD*K} z2yaT}F~iQjV*-d!tD;I5U3{AqNd3*cF}h;GTBJ*rm7r|0cw*{(w=R<7nmTNp zQ9Hb}oHe#YC2JcYXC^E5?uW#8ezL}~Myx&FnAo~Gojh=&$<6gd&8PM}ggn4j?}Ir~y|4XEr7+Zs+;pLeRL6!)Yj2@p2b&KNMz;Y_My$VMV|ZuS*{ zrWqs@Kk|h5E|B<5^oLPaDk*og+C&Vl8h$B&sz5~l$ z_YaR4X<40F;h~{%sjp7X^Ct%{*@P-0>6$UZiS0tb*qEKQSj0z{{8b*QbO5Xq4ywf8 zDJdz`8Bg-3U*@!4O4M>kJsYo5uj-cgiu>iCxBkT=XsDhg+s{pq!U#3fbo5yXz7?vj zUd(hMCCwuFnH=YWg>N^DS2nT|Hu}e_SvR%~3Z`So&o6G5KTj1?>}bbh(&GmXpL5M- zX9KW+q|3cPxI+Y18q#SNP#XDUj3L6vx^ z`c4K;<ov12?@9`yYA}|L?IsNAJnH|8X6k#_%O&M zO#eA}WODF;)pI!x&$xT4`LJkw27Ca&%Sa zD{8LqY}g#Ie(`|rgl=*FXO6j23kg3(lYh>ce#I4yr%t+awSL0ny2SsT!eX%mhRtr9 zc4ElMUs8HdB?Wt{Ce+!c3oL)u6jq9(iwXYc8b}n51HG}6IbTuHoizaOj8=XLLvVB} zkr5RY{dA3m7>G`eAtosE7dU>MrGd|PhQirjAM)s)@$~7;oIx7dkY>4r5n?1C<3bG_ zX9=;d9sivKJ<#0z{n29MVvA?A!mtp)7f7ej-7TavuPlbSL%tCaL`n^1+_V&svtv;muO1Wy-APq^2 z;k~#L-4^z13u6AUw{^^fD&Ixkt+m-?(q(1Seesa{@1jjindf*tO||*( zoUH`_VuM_gO=-|Zv4u?2#}~#TK;vSb?tZo^PM`=VOM1wFDY&ChNqO`sWsrQ{w#A#=>JOLxC7E1H zLjx}kqfYy0N%;m0&sQ+cDNZ^?2W*=0Yyf!aPt^VlxcY$??|m@fzQ?2>*e=v$$%3gp zJUj%i?(}M{Os%bdmvk~dnGIFQzg^dbw7=FJX0zB34Gatj_jkt?6c%{#bSy5v%$5-+-a*u$MqM$fH`@2 z1Oh~=h_OuiIDnuCz_s`yMwX@?NL%=yJ!kY17-_NDJ?i4Z1*k?3Cyu0j3yi5kANTZ~ zTs2F8H1JyaU!~k1>!a0F_^%-XM?u%*e-9Jjl^ph8(EHEflBMx4r1)zJagPWc^s3=) T=o-2(z(ZD2Nuo^5 guaranteed properties! + +Relevance of Security: Security properties if any IT system are mission-critial - independet of its application domain + ## Security Goals +Our Faculty's Education and Examination Management System +- Maintains: + - Course profiles (examination form/date, credit points) + - Students records (personal data, registration to examinations, grades) +- Services: + - Enrolment/expulsion of students + - Registration to examination + - Registration of examination marks + - Information and attestations desk +- Operational Risks + - Conditio sine qua non: Provability of information properties + - Fake registration to examinations: integrity, non-repudiability ("nicht-abstreitbar") + - Leakage of grades, personal data: confidentiality, integrity + - Forgery of attestations: authenticity, integrity + +Industry Control Systems +- e.g. Factorys, energy and water plants (public infrastructure) + - "Chinese Hacking Team Caught Takin over decoy water plant" + - "Internet Attack shuts off the Heat in Finland" +- Operational risks: Integrity & Availability of public community support systems + +[Self Study Task]() Read about these two scenarios. Find one or more recent examples for attacks on public infrastructure, including some technical details, in the news. Keep all these scenarios in mind, we will come back to them in the next chapter: +- [Hacker breached 63 universities and government agencies](https://www.computerworld.com/article/3170724/hacker-breached-63-universities-and-government-agencies.html) +- [Ransomeware attacks on public services](https://www.nytimes.com/2019/08/22/us/ransomware-attacks-hacking.html) +- [Unsecured Databases](https://www.cnet.com/news/2019-data-breach-hall-of-shame-these-were-the-biggest-data-breaches-of-the-year/) +- [Worst data leaks and breaches in the last decade](https://www.cnet.com/how-to/14-of-the-worst-data-leaks-breaches-scrapes-and-security-snafus-in-the-last-decade/) + +### Message +- Goal of IT Security: **Reduction of Operational Risks of IT Systems** +- Elementary: Protection of + - Confidentiality + - Integrity + - Availability + - Non-repudiability + +Specific Security Goals: Terms +- Confidentiality: the property of information to be available only to anauthorized user group +- Integrity: the property of information to be protected against unauthorized modification +- Availability: the property of information to be available in an reasonable time frame +- Authenticity: the property to be able to identify the author of an information +- Non-repudiability: the combination of integrity and authenticity + +| | Safety | Security | +| -------------------------- | ---------------------------------------------------------------- | ----------------------------------------------------------------- | +| Goal | To protect environment against hazards caused by system failures | To protect IT systems against hazards caused by malicious attacks | +| | Technical failures: power failure, ageing, dirt | Industrial espionage, fraud, blackmailing | +| | Human errors: stupidity, lacking education, carelessness | Terrorism, vandalism | +| | Force majeure: fire, lightning, earth quakes | +| => making sure things work | in the presence of system failures | in the face of an intelligent and maliciousadversary | + ## Security Engineering +Security Goals in Practice +- ... are diverse and complex to achieve +- ... require multiple stakeholders to cooperate +- ... involve cross-domain expertise + +Security Engineering: +- Is a methodology that tries to tackle this complexity. +- Goal: Engineering IT systems that are *secure by design*. +- Approach: Stepwise increase of guarantees -> formal methods required! + +Steps in Security Engineering: +![](Assets/Systemsicherheit-engineering-process.png) + ## Lecture Roadmap +1. Security Requirements: Vulnerabilites, Threats, Risks +2. Security Policies and Models: Access Control, Information Flow, Non-Interference +3. Practical Security Engineering: Model Engineering, Model, Specification, Model Implementation +4. Security Mechanisms: FYI Authorization, Authentication, Cryptography +5. Security Architectures: TCBs and Reference Monitors, Nizza,SELinux, Kerberos + # Security Requirements ## Vulnerabilities