From c730ca3fe186330ea28ff9ca99199bae71041c70 Mon Sep 17 00:00:00 2001 From: Benjamin Neumann Date: Wed, 22 Jul 2026 18:29:47 +0200 Subject: [PATCH] vault backup: 2026-07-22 18:29:47 --- .obsidian/workspace.json | 35 ++++++++-------- .../Anhänge/Pasted image 20260722182724.png | Bin 0 -> 26546 bytes .../Anhänge/Pasted image 20260722182741.png | Bin 0 -> 42098 bytes .../Anhänge/Pasted image 20260722182807.png | Bin 0 -> 30254 bytes .../Relationaler Kalkül.md | 38 ++++++++++++++++++ .../Relationales Datenmodell.md | 26 +----------- 6 files changed, 56 insertions(+), 43 deletions(-) create mode 100644 SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png create mode 100644 SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png create mode 100644 SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182807.png create mode 100644 SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index b219e67..55b6cc3 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -67,9 +67,19 @@ "icon": "lucide-file-text", "title": "3-Rel" } + }, + { + "id": "0887269fe60cd186", + "type": "leaf", + "state": { + "type": "git-view", + "state": {}, + "icon": "git-pull-request", + "title": "Source Control" + } } ], - "currentTab": 1 + "currentTab": 2 } ], "direction": "vertical" @@ -199,24 +209,13 @@ "icon": "lucide-archive", "title": "Alle Eigenschaften" } - }, - { - "id": "0887269fe60cd186", - "type": "leaf", - "state": { - "type": "git-view", - "state": {}, - "icon": "git-pull-request", - "title": "Source Control" - } } ], - "currentTab": 4 + "currentTab": 3 } ], "direction": "horizontal", - "width": 200, - "collapsed": true + "width": 200 }, "left-ribbon": { "hiddenItems": { @@ -233,6 +232,10 @@ }, "active": "efb8a850d4a5a594", "lastOpenFiles": [ + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md", + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182807.png", + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png", + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182103.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/3-Rel.pdf", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md", @@ -242,11 +245,7 @@ "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181643.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181636.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181240.png", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181151.png", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181126.png", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181003.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationale Algebra.md", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722180407.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/ER-Modell zu Relationalem Modell.md", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Intrarelationale Abhängigkeiten.md", "SS2026/Klausurplan.canvas", diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png new file mode 100644 index 0000000000000000000000000000000000000000..6a700154f40d33d0dc2767b7523f86892e1f786b GIT binary patch literal 26546 zcmce-by$>N*EWozfHcxMfJ(Ot(!x+mOLupJ)DQ#G-Cd4IgGe{1ba$6D3>`zv0P~IB z_x=0s=Xt-s-ao$M7?`>CwXc2cSbME=oonp~6(w0bY$|LtG&H<-a#A1A&>l{qeotay zp#DP|f=y6g58OV;N}_!mq1i)SJhGBdlt4qPio>}zd5pS#;w-1*hK7dU`RDIJuT!x( zs_^MYY3+|{PL>}%O;{v)xD)$9?vbETq;xl4!mWHaa!g@N5o+@1Q)q*GhyJghp(eMTp_zY6Lrru8 z@LqTF;Qsm4qEXxayM|3*As(!vg+Pac%x>7O0y3M|ZCa&WQKsQb4UKEp|7Dbepp9xJe;PSRKseiR&d#DDsS&LZD z_e3ygX28Cg-F-y_@rYpnFI)ibiR!3^cgO=xO569uUz`q%I)K}OZM7B({O6doMp8$5 z8eN{N5U+;dUqQ#}2?RVIb0%5%)|)-gss<;Jnw7@lz5!4DoIRiP@4eXcN5I$wvN_21 zT}qSMra0@`!1)V9P94&YCX~|C`eaT+v)}ZzyuTjJvt14Yh{k80bng(B&O6?*sK$ro zBB$;!W9#rm^Sk0G+(%A-Kj_KyKB`kZmy6mt@$B>c4DL0pT3~1}gt7sbbLaM?H>GTb zDWI##)aMh&Q55(41D+5t2V=v@>tC-IKgu*iX3}&xW_mufT{mf3mmKD3OA^J!-!so= zEeRKZ_*0R=s(#BLc$m1Pm-Hb0y53j+Z^t-4jyq&J+7E?PpM^Ffaxv|Tb;^|n4|P;5 ziWig4Yaatezfrj@cK%ciJEypV&C1=n;`bP>%J{-P!;gj;K=%X`qBjMgX~C#KFdY5q z4)~dm+B%M$0yw5>lS2}DB7BP6tOSP@FV`-L#f{G6UaWBwA!9(lmhOnxk;RhA_izDJ zvw#GMmS2sLmY8Sh>e?bjRz3Lgb>bxWN8f(U7A$G9o==-YbGH9b!>Fuw;W8B56i{4e zpJB-HY~GlfCMTs5Q@-QI>?X!+?Y#9iSMu~*@@7^u<_iVg!!+2kI?>*$ikBf#1i@KK zJh9&5BEqfWkh38qisH_@V3^=;0}!8mN9@|6^J{ZT1fz9DA<_@|psI1&W1_~G=oFkd z`ssw5JR$oYyEANSXKExh4@dG$M5QHhLjC9Cr! z8AKKiA7wlXEO&E-dT8YAo%d4{#AhM$54~Oi4>y`ni%OL?`4+|otZ*93*5#S%AXBWv zIt=%5uoLCkbCcTP>|oS*h2;&>U>EZW zz7Q9pc^TEM>#k}o!)!gRvS^WEy2PoeP|vL~qUp*^G;cN#6GW66zP~L!@mOmlswLtBlGHCTn{0mtTT|D>%89eFCQJ-_=L077M-U zXG1!whOX%xR)WZqhmX&mQA##)q-_y|%n!JTX{R#0bnQ=r6ylSacvRp&1A=f(7nve`N?eG;OqF4Qb3y|X^=rV+%IeinO!3~6tE;Noc%`!L2b=v%4No` zCTrJ?o+&F%HVmfQe|!sRQ!KZwp<@t*%#07S;<#~x6|<5JxY_ZAoqs=sXk*3J^#4{PYZBNuy3+i zaR?m)VxPNhw6{Y@gxcN#yykWz!aC~>X&zzW_;pPUD`$;kg+EPN_gvviL{?@&JU~a& zbmURpXUs(-DbQlQF!w{7`uV%M=ox>F-w2JG9mC zvx9zUX-{gE6cZWkJ;baV#c0!-hu~WP6??6xZ-hZLtfL7B?nPdn-F%U=?I>xWr;ee?2pq{NCvn=kgqd&CGIfKAVT*h@5R64yfiuy^-8>N=G)c* z%iLhKezvpU%Hg#4ByHl{1M$Jfsl4yj9C97F4|^SpE9%oF*UEpcHYDh?Fl_PHORXF3F@{NgM$p>YLyYr7dnPA@Xn^p z>TdY!JPq7Bnut6tye1k#bss|%hOjMT$E%yJ-}Tj#{8jSur-WuBW{8KnGM3sq3pR`{ z9l=V{?o}?vYEOJKw|atzV>$*aMJ~0XLsBQE?rmG&cem{3_6|+I{rmmCkm}_WFLSME zpyO!VJb~#C7$qE*uB3()(IvZiMp=ci4eGAG)66g>1Px!&?c{IIy=$1J?|GlyXt)zD zB4PTQA*XZ2oJbHBT?^G~ZV4Xm7#}G0Inv?Kd5bsZ!7LT?U zO>{iLh_f>OJOWHuyFW2euia16Dxs1(tKvT(Dyl2=59ZQF8DrGd<0^<{l{N<%N*bfO zZ6*E|Ms@$Kp-cF;(DZMOaPWs~q!UuTm=NUS};P z{}k#u&WZlZsw4~4J)XnBKhRbo>SMLvf%!bDK*7iOZ!?VlKQt58YgxSNeMQo~+JT4M zLBhZ&ouR2^bA{srV=80NbpW(k*BuDsbaaB3&ht)>@9#WNvuEnPTLeaUf{3A6y{5(e z3Qpdx?5I-rid{@_P3?r(OnyqWc+;89unP)#lMNb#nSu)h3fjFmLNh@D7ubJZ(GcN( zD*$9aG!xZj%>wCPn3<#2CbeOA*f3v&3|OI+{AZd~heQ4U-5hMg3{^qXZ+x*$#sszV ztF+($YXxB|8EzmqU2^^@6!b3mzg}@r%x;+M>C8UDR(v&l0Zil6R-J$8hT6=vb1HxO zi(?9GqXIp4%4rL5YgX!rnTw;1UcZ0Y*p%G6cLx%rR$ntqH*AgCo24BgMTytHI`>EB z3^{3ghtScC6iv7}!>$-oTR(Nn5>#D}^NQ#h9#a&e5Yy1;oQS3kl4LvW{Eg`52`%bz zl*qOyiT_#w_9lo32j(x0O^?T&xSlz5*@`)72%jY7(H_5TvQzc}!}$&IXZ;N|uUUFV zbARfA>qae&`BUdqDiiVjqNUNI0JPuWw;yw38RI5xZ$hRXIwKw$jx|`V%~=st-Oit8 zj-qzthAD7akxD2ci&J+|j;) z_Zx8dn;x$%G=eT+?ArRRpYrJnK|A*wZvvm&zLxXxI9~LAUX6BnXm@CH)`ggR1&0Z|xYLsZ^XBE$ zR1$5Ag1|m-b468L{TIUd_n3=*D>?`G-otyDTxqAuSGG;k^2y&Q=bVaw<YvMPig2vxI7H$R!JTW&frx!!x)+P>H z`V4X<9bKLXoa3Y;Z>hFRdOem*jFy?icl2?CMWfM`_IfzR<+w*N1*oAiHU)m=vg{W7 zy|Xc(8C!M-2sXE`9Pcy%@A=EcW~I<(4oV|~dx-VR(iDf5F_p9}O(bf0*YK8Z?XjKO z?)ka=J>QfUuS3sVY*bu^tI72p+L;Elc;y~wU1o$#5A0%{E$=-*IC@tF#qast_9fkX~LpI`siVQHmdhxJu zRCB_zr}*&4Q%ir|zzku{-r#9;y{6;d4lk^wrcd%0^?M`0CB!^7D?rMh=+j$(3wpfl9=gCZ>-G&)S$rfe5;>V+*XQQ};lKL0 zOb6B4+}{ymy`0HMy)4e-NIW{vn!)Us_0FhzU4rmcM=<%6AN(NB$Q7U0?d8<-_slwG z#lrMycT*J|)^g;|3I6KEfXSvB;`Dp-hnV*Js+aj&`^=Hdp1#qlwZza{WeSLk#H-&J%ASZW@0Nw3Td{bUq;*OoBX)!SUtd_zm7O}*~ zgY55Z^tO6%J}BRpBNntLjFawf;L|s4FaM#^ts<8Z;mO(h&|_I(tNP(B@b z@G!PXM8D!e)@!B?4*sc_iT4QYIL(2XI49A*(MQtlu=Ph=e%BOC{a z&b4jC<+}>h5ZV7d#ODJ6s<{%UvU3RXkx5ZuD%+~N$3y!v4aBaC$~o|~jiTx23<9g- zp>BD~(^P}it+?*QUvy?tVYwVWqO3WoZjIqJkkrNOmP6y>MJ|-=2=1h)5K`KKj*}XA zbDKVGMqRqHWCt;IpF&y9fXgfuwQ(@(0{gq`nW$X9t>=ldf}+`DM(r`?)3{ZCXuLm$ zW%}h5?A1ry{u(t`9hv9v3Q!sy z=WxT(zO^ka&9+Js@ExM-4{cV}wE^spzn_Pn{sHJ^?SE|UW!}$W3*#HO6z%y$bnJ#{ zA@LT})?a+|{<{0@E%kVo?vakW8UoL~#VCXhae|%5WkPbOK8Yv+k?ITo&{#@ZoeCw@ zU~MIEQkCn=Z>fXuP`~{T(gq=zE+ke8+DJDh$M9{EIZZ|G1x3+MMBduTjXi>K~B!rw}C+ zC@ebt>2D!fnH?VN3ehmFp85yUDuyBRv@W&>$^Tgp)QF=rj126G_ZSMa{?>VS(b=K% zpDE$3o{9IDdpW)GV~Bj#*``%ABXTC+y7@8Dc2xN1@zi&>ijOgq*TK;%qxfv^WHk{K@@Io;G|1FAJO|ghH!7@ zYSG2Lcg%)-{qdScxvtY$8w6?ZrXQx-j09}5*T1UBnO(U;nXxVvgyOotE|l#$j%D2IAoZWa{&)%QQ410+3$o0*ta@O%?=zn^yA)pW zrlu#qAL1_?g)a;*1m**lyUzq(iHZ!vu{jKnq>ihyi8Phy3&FDzA*($@L7DGm5`Wb_ZzdRGNfD~!gmR(mQ9{n}Qx_e+ z_nHH}uPr|{&hV$GNY~IP&CH=p1YFY}jiw;t%h?K3q{7+-IZk6kZE$yY%LmVIzd6I) z*>!1y$Pl|+pNHQrmV40U{wTOLSQ0^e81`IQ2qZV`2w3{US0^rfa4y@;tKaNK-c-}O zFpyOi_tTER%1nuR-|KYvprdP*0<~(?vr75R&(-hGc_=)V{HGV zu~zv)&g^vK%v`tV9PLP-{loCpLU5%%0xlY50Ji?nRV7OyT=w!8&<5 z{W?2eM}E}s#}H#FZhgTi_Yn#mBb-lThrhPE0aL+!5V|-ZP%WKV{BGO?meCLay0n`8 z-kRNOQ%R|Bu%&*9-+DqGcA5l)sWY#nn+Ds}Q+8JRw|sKyfRl*Vh#{h6a2*P?ZdP*a z-rSWUDa_fK3@G+O8{89?wT*JE2M-!a%@o^yH&=Ny8!of|pM57V>N2#@lsZ12Af=g} zW!=Yh)TI0nIs4ez;JBY@))*i&zJl7Dk(5r*`hNJjGJFolZFD z0}3Bw@W)O5YP8;}{1gmnfE5nHn_%f3!BIvJ2Ibi-b<^x{VeE4L^#ML{0X})Hcj+Ih z4m&9H~*K4+gFtfaPqOb8}cP&C} zS!ZF50sv1EqJu9_^p*TSGA%{rxd` zr?W)BsY5;ZtuVn5``!IPIvZ4MjR@mrg}GN>F`MVRX51B_1^R<+@g=RAm5mP?e(HB= zm3bd4kb8nq6EWTMCV;5?-lLK$gx2NCF@A`z{w-&_!40~Yw;p@1a-Xc8Pe27y_; zI@112cWp4|#plIeGGrZ%0r}z{yc4$K8?%6iiec9xhA6rRr8FK3&5PB4sK1Xl7WIz- zpAt5@Jx)8rNiTX3Y?S?TPnnD-&xL=W%4oUU_1=sq3UnOxWONo`&PI+>T^BZ_c83ep zw_eXdUsE9dmpRn#8~Iy8b*F3hnib%tp_g;lq6z@eO6#{+;&60(}y3JMf+seu+2xmPSN3?X&<;DGJQvyb~sVi z>UnE6q%Wr9Ll8<}rVmR-AQOInY-`rCFQyDN(F{cKP$&ma{JD17GsIWwS2acs#j}dXU<3#4X2Lttf2VUBO-S9T> zLr3%+c&x(;>HWhREg7mZ{3{KO0bA;uCg#0P;pyjFqpKcsBfu$~+|~e>!7-oIjm|mt z2tbe$EANU zs#JpFyi=(Q=400DG+NI%u6Xm#c)cU61eK~KIa8g_{q*Q;LHob0gQ=6v1e3#>6AUe| zH=6Y9inBgseVa8yam@cyzlsQ_(nceGwM=$TryPs(I~VfK##f*jL*qpqq+ z5RF&G00ZFL)~iDFj%y0?oDt3t-!}&xx@<}Y_UF&KMm}J7hc(``$F1CRjll(`(zrH! zR)wRE?{31vbJ}AHWZ~E`AKpT@SiS)HX=#9GzGNYZ?T+W>%GL;qNQRXkV%R&fM6~be z%fMAfsdgGfa!LrHm-p?X;%WOzsl?&Yp562;@U$NojQo?a{lT#)8 z74M>PrFlJcT7K@Rg$w$%CrbOWL|)g9iidN3{f`kNvum^2S!*b0lBe5;zCxuAgq_YH z%)c{>Y}BYFcmrxYs3Ydk}+4XnKV0MPn7yKQ8m8VZ^>qlF{P?OI{MNC;? zfNaO2XYN-*UR(<0*g!@qQ9E=r~&ZM2x)~$=>DWgS9=)VhV zG$=3w4{LLcr72&)m+rw9pCh*>^EoF^6Pl{)$740@O%SRO>JHR@Af>Y^w_%t3OFu$Ld{GhrOVNw6GrRt3yrvL#>kN87Z z)bL-P*TEXtw$X8qGtt0uZu-oN!giDAJp`b)}qU*lt6d9UEQEmk(hgaI@opMpf)!_-J9^d051p$BO6iG+iu56+d`(i@T8(9pZqi#42}^CfA}Ge`Oz} z-^av%Y{6e&4y6sRzyYGjyH)4>>zsC(ATLVW8@2_$Vh^>f1z;f?J*fL@anaB+i%_U< zISFqQJK8e}X=uA=hX0j;MRAdADd^sII4lYBZK}$)X+VWM!K>Z0@XRUL+{vR!tZ;Xk zr1AomZsMl{OeL-F=3P`Y!dBID`br4<6=hd6Qxn@pXG)mO7gyQ~I!UfCz}oxF6Y+-8 zq7zyR7*5Bw)}!(jib$}sze?*oRX&=C{druKdR4@|pBzt>=tT3-5`Yo94wcPDO+mZn z%4~N|Bx_N}3%%=J3nAo3@qX9x@1^joM0Wz+-K*NGRaxdebHp6VaR+`vIk(!dx_dmB zQ{{%!>WxvKxb?K0UL!Sh-G}Iury)9Z*_dA_d|+IK__%-epo;RC@9wCjxSAzAo?!B_ zS^slZ90o4zJ;pPzOk2!dxczb2fD$90K=Dcsm54$n@k)>4{SV4FYaci7aSb0+db|xH zCMHocI6Bl=&Bf|GfP4=kif-FCE-t%NyVG&8edNb@z!W)m3JTSQtw($@eL`J;$(tpTd^pDaGfN(`BM`jU8<|qt!qY+&KkT;8o(=j-ocCn9#fb zct5Cx?Jli^ITbI))Q$`2G!APREUZTdq3`aE9A;e_n;#_pD=YpKV&yK{4RN$N-9!pZ@?O2-Gr}%D7jbA-*E5iWL2yK2kp^`~UdX=#Rb{D)y4SA-Y@x~HE+I{#vG09Vj?YR!fH&25lR{E-# zqq_z7NyNi5H`1q!)|-Y;i+wVo79k5>xBo57c8adLM;W7)3|I4y7o{js%uEuByy6*9 zpEDv#QpE}-q#e~zJb_S;{3;2jI3eNL;twneH2^G3s4N;#esz zb73a_$}LQfSx{1K{X1v5v4SLisRE-w_03ylG>D%P(jsOL2 z-vf{sp8Ki2RJN8k*C(to?@8P`8w?_Kbm-6yF%)iXfe_R5)5%YkIAG&nil_C+Urtl(PhP(qbxGv zLapdKj_6TodN~WIX!8v!LZb2ZE6=2GkY1NlhQ@w`;U*em5jJ1D)>lV)dKw-=Q2qq+ zsKH)%9rI^WeqX89eR3kl-BZdVYxhc@Dj|2BNtNX`Hk*R-NpUCUO!Nb*?Cz`g1GWSyaf>ft(r| z6CJ6ANBchi^VxIqLi64C!vQTA{WM=sf+U_>R*3u%eC~lk%PeP-9`h$k{V!j??u*|S zS*j?&1~ar~a*Es43Y&YX9F;SNKzhNFHO`@UL76{W%Q#-nGD68;8HvND}w(&9JY$o;@%rBF4{sQyPL1y z!_ioy&NioSCced>JF8JHG_UY1fWeQZ8gl0&SGrdYI^D*LGk!UeKswWHE8*{3{i4-Y zh_VvbQGQg!6%{c2UtUxJt(OT>Ohg{3)ix@y%8XuK$^2ry0I>X{QP+PB$T#Qd^6t3b z|BO`sOY0d8_Ak>qjsM+*!Dmm$xuL3I>&54|Fcj@TIymu)+Xxk6TuEgf{mm5MlaXJC zFsag3jKXtosQC-Jcd3)>%iTyu;uwXJi#M+v1YSOo3X>7ejf^&#!TtxuYQ6(9^NObR z7UUiO(907qPv5#zOYiW56ng4h$d$S0`t4w(qJqh7tB@sTWyUM4bfmMe1Yotr9ZsXLw#u*r+P=2^XY@!dg9QfQ_tEjbI=8OF=2ATaqKPQi|pbR`TO0sfi_4sHXhQbScM z04B!}@~WC`H|FtX?zP9c?-IIgqfn9A$CM2;6T~)~rA!;~q2KtLf;-PDI6l zo5C&mATORbXel=-Bx#%DCp@WFJXY*+6=DMAVy+g9mcL_D7d4l(Zu+L#5DC#NthHUo z3ETLdYH(%q^6+D9HZJTBQl9KvnHUMt>>Zfef>%2vb&FK*s8yGjj%tY7Opr3yD7v@) zf!po2l5x$8ynmBD{>4jtS|H_-{z0Z%obbk7hzQu z7}1<2Qelh~b2M*NvLtnwJ-;@HJa*qx*H%aq5qZ%e4^UUjO)FvsNWj;z6p{*~H79w} zd}1s_;hy-vNG8qHDm~l{3LvR!++p>hn^W_8y;CH!biG^kqfL)6tf_YCh|w1%OTX3I zlqd(AOiax!=3_ZQ05~Skzm=_r+#E@-s$DkYGFHC`Z+Ad9jkNBhk&wxNUc_g^MMX#? z#1GH+8nf&56jNwF+f)jK5iUr%V==mFZq0KQ629Jg9bx~{i@&taK-oLN}tR|!k_F0!Ekr4`_D{&aclqAxWpCNFpNJc(LjfbCdRkDzYX zn}Gf-7iK|})bel(K%l8m>wa+78+@oAevD3`xl^rP3wy7O_e|wpiOTF5PjoHMs!mtm z+b9Y!#1479tj-^#`io z#O*%6rl@kVB2gVU<9!t#zq?g|t7Jc=k`;C!D3Xm^*H%s=Q?jF-E?2qXx?qK^>Ibfm zk6S8(x0fFSDO$D&ohm4I7w$^NqET+wYIL}v*G&#zkHs^4qg3}-4`&o&nG~SQWQ8ks z!l=Zfe>B6t!zTjod1Hw9GD(_Up05NznBKFD6ejp`vH^*6<$nl9Wz$4k+bh#^n}(*W zL`9xpmKD{{JZecF&IC>QYwD#!QoCta1cT1z*lsEIci7agMIRy|TcBh&xgQB9oZBYFk*B3>QYdo>|$@W&~E zskhs2zYB2`B=>GckYKyl6PIz7{!IN>lGcBb0w^W%o;M_%!k#=Bg%`@H?6uySX3>O` zFDziXMX@TB@Z>fmQhfdCU@A=2WyL7sD9}hM#Zk#OEW~H2mvOj9q}on|^#co+ku}-` z=Q*d#yl?wg- zNYNw!T{(u{fl_bz?f#%HK^?`xJH))yEO2Hy4$|}fLH}~$!VHN!!Qr`C@pLum`7n>- zKiuk{02CBuL)28@^$SxDWQ<#xdOI%)g6+&knYvxICgxMb?QH;G6vBqH1iwvuL3lGR zT~4#)x|fB?9c$${#+e8y{GFj7|EnA~69-D@>Z$}B%18&z6Ht6ml2)2#i%*@*zcI5{b~om=mF-BdX-V8w&u_sE zuuI$^VyP==Sx5)}`X*W$HK+eh`3tMFDdvP3{g8KB?piL4saxdm{=+tv6)rjwI3o6O zIWqa=>2hy^1`MP%gpwHGfZP_|Xad9$-Pc+GF?nIyn!WudzUOBaVz<^wk(|-4rh-H-nj91MsQT%&b!if<6 zulsySWT3>36@Sb{`Q7!Vm<_GVVJ#ec>4+ih{Lt&D^z+?Td?Df+R9jti05Oxcr$6Sw zYVI_R99I`hO$A@WywdzttWhqg3%v#do^Lp-7L|$ z^pcDD;Ucso3=A&N5QBabd-jZ4o-aTmTzhfW>^U&%XHEoXVF0D61Ya+Xf#Moh0y~) zN32vZr~;l*NDM&tw0b3X*sEip%W+lvT!=TcvR-N`$ySdP(zkMXI_1a4>8kF&tWvwO zbE$+wMUq&Lt&JGGeS;T8rFKOTa92Fhz+tGacId*P?o3O=3Eb3fsmTJS6|Ex>gAYp>BLcba%FC?%pBDTmn9GXe=QU=k5CZ@DexVk+|cO75N{ zS@&$dZ9%*X#zP-JKWmvNkuYhM;hgk%9cnlZw96Red72tWv`R_wM&h!+bdYD_m$4Pm zGdJ^$7g-SEt=oAlzTCC~?5doI1e-ejWEklV_KWA96N0oFg>-#%P*TLl)i6i=I~q5% zPPMbL0|vh76vFr^$A*0eGwGw3zV8juR6}8%e@zeJ-0LUax>0hD4N&HWm$|X>L8ad` znvNW=2qDzge)EBe6|)Wh1}0TzciHo4TS!c$Yo3OhGyf-TmTd*9;(Xnr>;9bkD|-9! z|8sMKk?2yfx9s1R?lg@inGHjQp5ew-iRwH_A~bn)Q7RHEH&5S}D>+Ww%o==>@NUy! z)zRlr8G>tbV7ryi1~gE>O0vWwQ#h=GHDarBe;LNo>Ly;qOSp#{>eW*>H#P1i6s%~t z*-=zQ_-gFRk>blZyQaAhu}V3#4NFSEa`weOy3Nh;?hm4lISt8MT4d=}GcRK;#0DM_ zyR2L^LkAtN;yb-3(+oa4;}S8QKc%#_^YiPt+mTQ(FMnrPs$&TLuS8|-tk7m8`oYaHGL*Xe_~JEH*Ya<&)u?d72nmZ)SLR?7zpR7Yc8fJ#9F?<=zC;+J5EC#&bM%Rk)BGm|GkG z{R|rLNd6G6+m;wY^0c0AacQuAWs@rVN-HEN;c4Ls<~zYgd4Qa!H^tA=>#3(_#7`11 zbu;_lTR*y!qt9mpKi_5QT~;9=6=FAEhDKmT!aYf_s+_s_Vq9B6#pIfd)c==^4Dwo_e@8Ws?``Qn*9; z&8m0k%6N-I7AnC~ea(Lm)i-#;Z(EQ(tgl137=yg@+$=QVaIujmla?l)#@gY5L z`ta7Zfy%k5U+Ob+z*swpn9H*4gNU6?UQ7_~MLS0p$FZ4*z*NZT18-UzK$a{jdp4z& z#@beV=O-cKv2G7v(A>)h-otwoJ_@+4I-@E+OTaD>m@hRCe+c1%>6cNmo^?6i5Ue&l zqALSJ30|}bU89V9I;!;fKd8}PE&`Oy7e4;>z03U;Y|p2Exi9=@hGsYp9$zgI%eg7l zzIaiddGJzkaR;rKzE^7OZZYn<_5M%>=mg|vs$O<9r3+>vqUG$NPprRTk(v5&diL3s z;9>`NlKz)~HAB5!Jf34Qb?}FPCYbGq%$IFfjkLvHEA44Dd?A@~YN z+)5sHFEsn@kgJBODHl>-MIG%&X|F?H`3G-^>Ce1qjh&AHEr$2-5=wkyBDq7VM$-qb^eBWo}9MGP698rPU#Qz+h6UMA7^CajgJ=fi6UsC zg_+G?MYDjlprd=kBt1(e{u}(G=wv}CoXkR>kJnWd`31OZ^Ikam)l@S>>Q$kh7lf97 zit|@!rniVW&(l|gOBrvKYPm=%bAA|qzg$C|m6(sBm9#IVABNsNoCquS^d1v@^=ba( zUz@aj92FZg_HuJWW0BG(YSU3Q2Eb;d->SiYeog=+gW!GJb9+v2V6zDXnpQ%Q$+{z@05GTWY<0&&xHOI z9LA&{(9FTx%D&(V$B$y=OlwaK>u@wgfNoAI0C!xov*Rjhd=!vqrIw11U!i7U8}58l zO8ZaB1)uJ^A&{^pOe#@KsJ`yv9MULALndXa?YDQHb$Rk;9lO!$Q|uZ+y<&wYA!Rx+ z(L3>w{taHKFl!ps=ENUAEsLWbXHJ?uO{$O2n$V|8BBmtK3|Lpd-rJ9@({V>-_&<&m zd>$K2RQ>A%)MCL{x6s)Icih2`jigVQ8l&^yGvxAe%Hp*UX2A15d_m#Yk8JuWXCH=a z*(5Vqf}Y;dmgYkDp9CvnpJP93&WVnWIC)a$CPDQGMhk=UaKT;sQ!QUdHYN(OEN z`^7w^Ii;A21#Pu)VMK+|pgH})WcU45K`gak|MAn!1TUqK9tY~Teb~b_xb8XC7aJGY z%43Q~uxeRva@hffAWe^F^J)fGVrVa;C7^4EPnt(QvI7UKKYM5&OfKd3aB75z4aD=# zwqClQtz|7@T40nIQ@9|gWvC}quFRx{afrm9${5iHjE#NeaY+>F)e}oQ+Si$_aq^L3 z;@RCJX8qVH`+;R|EjK0`-7fD{$B%Q@BeZkM%t?mG#!gX&)ms*E)%JQ<=jJQFFOUzN zsYv|7&@v!piYnRF%e#&uf`r+`bP+nD4Yz0{ut2j8_w`-HhB3rE zRn-);rfc!v2YL>v34qH>G-#x13&=tc#NTKnQkTCXmcUJvpfx3-1oZY>E>3%EIViy5 z-m{IvN9jfvn|XIQWyn(*Js|W5Z7*T6j4XTLqa`c9lAcjF^ z7L>MT`#c}E_?ij+`#=*yMqr9_^nnUx^jyQ_Ksiq_NQOO#*p6;{R@N>$#{vWBq#j); z#?vSgnCKT!Zl&anDK((bxl1c z*iWmpr0y6O?~h{sP85}6m~_>30(>p@tnqMe7b~7`KX?Xck89NLjgL!VWb%A${3u^; z`O2-;)u$3xiVM5IQqV#X13o$ED65;`wXz{ruPP#+(NStu1#4Hft@0NMQMQos_+~gB zrQohwxJo0V8@x=CKpV%dS$d=P^}LqRMP7@a5Q)WjM1 zHHCV$Mxl+%9oHRbu{T(^yHl+JT<-HlQwpa;{`hW&?~AmoPVl`xdP8NqE?O$fZTj*) zZq}~ti`O7TQcOWF9A`WdV%TrIIl5~Il@0#&`PQ7di3|K)!}3?k?yQp0H;Ied$+&c} z3spbmzVC7E%S0}teH0(r^|ZJ{xhIHPE>vbwfWR=`G338bp|#sw(V#I3fL<6jf5LU+ z$qkRtKb`6H{eWBjB~X>EU~5Kov#X}=xf@bV$z#0CpqE0ElBhEKY^3iy0jRO;!NB@Y z0HMvBf|7GKwaTbzc_$nn710yd9GQWMG`sN_RS=*p)@e*-k|5)QD*mmVu^5`HdZ|ha zgxxUqnc!r4#zh{%DlIe6fbA=f0{1p zI5kx&Hd^d%4(el-1~9+%;7kqOVEe9k&VC=+`<(bEg`&kPw$Glgis`sfeTP^!hh{wb z0?c10sAF$>9gzTG>EW^iKVpmU8Q!t|6n6d56FJTkt@Ic8wCRSw(Xv402qdUj`sj{4 zwR`lC=V6fCL`{a}lY$4JQ__u=W8uyl=ZIHPo`fOM@mF&DUjgNR3bopLj~n1ueT*> z;=9j?^k+a+y#jH__z!u#`M_cHa6zSHQyAHPHIm-BMLC;D+;-PrP|l4indb(5|GFH| zOk(&nMReZux5=ZR_2WYFDjl>Led?Lj6w;%w3s{sgY8g$cXA}&;gvH>HqkJEd5~M|I^iZ2C~_QZNEyb#_AyUYR%ev-^8fd zpr!Vvs9mbIQZqG66+z6XReNu0@7SwVilAzQisHFc@AtW%_mdBoE4jvhoacG`&LcOE zMw+cgq+cy0lJdip|JGRstrVIU2`^4_2?>2hUw0a4Oaz&M6MTJCx;) z-{VBM6Br=2My7pz!2(7d5u{20P7;*$aNsd}eS>2{!0t{{;xa8Ep5~!5Nn}dN$98JZ zTT6{>kuF|R?2nxdxSf)~p{)2cNV=j^RBnf5?x)H59~oe?u8*_qAn~7>scA2mMx$GX znhBkf_M){yg!+qD<9^A5J9`qr0S#pFiy>g?JDp5Bj;VT3x&9ax3Ljb1j17b%(kL+U z7e#H1S&!!>?(lENWEN`OB{eZ}yjSSY!kesCJ-5UOubNeC$0L9?~ieqh;y z+nD;_YkH}1`5>JiKjPG2X3}Gr+Gegy7ghb;Ds7eOYw0KP3zEj)#+;{nCdfsN-_;_6 zZ?YN_+P@V=PMP{UE3WHHvi!X+vTK;5mB)CWlgCPZyY*Vn|Jn2*W<6vbJ1`V<{!i{U z^D`_pE2Ca|NZ=wtM)PerLQiJCV`kQ@#QVPfvD)}4-4KWBi?O~jQKv@4i(c0YuS$S zBH>nkGL{$C0MkF~mdN!j4E=o~&_xQf)X9^wL|;l{i8f`_l5s3m!eX4`FT-j{nDzzp z3_J?NMWQyKphC6_Hex%g>~l*)n=p&1`?T}Wn-IyMu59DM=%+SR5FR!b=m3z=-ae_I zrnr3*`Y;5T6S4QsOy?&x1I&mBIEP}QOkIl#rUN@p(QCG~9xC)w7(d6Y{@lH}=N1f+ zd-Ovt(TSuR1Cy)q(qN_S=kl1U0aZ2*JFjgCC%o!t1g};Pg|CnZ!wPxEBAro| zX}rjz8VJ9fMFiH1N)JPD4o(!iKb>lMm+=6jfIv{Txq-^SoTT`12qn+L?Qc>amZ#Y0 zN8cC4+mN-;s93Kvb=VTJuIqy5C7w!E7eyl|Ip02)`DufKH19s~zgew0!o-GID8|$j z&c?Q4qX`0-B9_)w1SE>)y*=SiU{bp3SDTCNvs#4Sj@B#N8p$e$2&2Ueiu;w&q$r|4rhW;r zNb$s>MT?F2qug7! z_R;wkiK9ryrf3(Y(Kj0#|1I$$0}Xjd>sz}OmYRlsXtZm^HGI;P4N;U+-s~!R$hoKZMikYzhv=`&^jRlo z@1Q8Q7B^q3PVv8!j#9*)XS0WCt!`QK;2IJIKXRkno%KO(<=@IH=gR4QRh_BD%y?j6 zJ?Ty32zr~O-3xe5RHeo1I*fCRICu8?yy5DSf!(NbcP&5BWv0xe?8e$6-F>ZLI;?!szhQjG=u=hu@vypJ~2C&0mcQ>Ai zrSJHJdsaOIrKQS64DeCKa(>hf<)4mqf1k{}KZ*rv>Y~z&{`ISK5j7#0XUI40DEy!O zM9FAc^k<#O1}LC6wb@!-+mpa{HHRCz%7q^`T7k=LYh>O%soy0zWGvHcD{vVBbe<{3 z781;*$(8`%VQ?3@_rg(ezTHO{#iExvZfIyh8=V+|2g2K_Y{CchJHXJRB3ZjMO|6Ou z;%_!A=y<4Tlks~ihvjZTB7zOVry!0UHL&|CanV zMIi;$VFsFhv<_%^{#^jwNFnC?ea15;s$(@rG?jy3b7#kYVyK?9?@_?BW;aIjMa5oT zGqeW!$hDipx8N4W0y(0Rcd}?ebP|V4Z-X6LS|<=-!dD9FnmgUX+2^v5@A;{FVb z%R_A2&4LTPLZHgAEYVTHiP#(xKjYI&>$KDY3y9`ZnaPDw;9&fxjwJ@W`D5|pZor8` zSVcE1_0#cqTzx)D`|-m9vp_*mr!+4Tp5yfvR5BU)vktQKC)s@=r%CH@)92IE&zE)@ zQ$>2*gKv+TX--R4j$g*LG(-$r&s{cBoK`(Y@)T##-NNVrjtNtSlpmhnsq-Hp<)I*=~QIB3yYtS(OLlb`rWY-OxDQQsCH_8kwh zP$r*#+oecZv<}y?V zPw^`MQB^vQu$OGO0(0#4o_vaM<$AF2j9%j(r@Q>C*OZ=vVpp_O%FQe$|E7ph%XMP4NEYu)O(2B%TJ0Orn#$ zbYIRvBAUDKG&NSc%$3H+4<4QH*E;x?1m^YB5a0rploz9oN*WHCKy9OaM$7dy*>|mxyA!We zS$zi(T1SP;TN=2JJa2iHs~2t~H=s&HY(@MXWg^3}9v&SvCsvXN{EO@`nX1 zK4ArZ;p(Ok9+(^YPer#BXoS{;DLzUq_au+!kw0{z4Vr~~x5A^|vIz7Coyp)2+OZJI z-310;{4IKy$uP+aLq^y?d|1(Ama3#9JEl6RwY|AUfOPkvUk?AtTfclRrpTDBVgTrP zVidWO<9pCSF3e*yMo0v@LMCdX6z35CHCPr<5^rOeX!x%SwoIb?2AapnI{C+1xna<@ zpn8=_-So6;uWd)YoIl6uu6OuKou%v56y1*nP^{}|1mx7jIn(^+qGm{b(i9IoyZrPzY)Qxp| z#E2iBO~_b|wou7<>DHo(^D!~_OS{I9KeTe&+gbWYt)zIG?di*;I5KST-Q}F&c*(%2 zqr{BUgFV(GzsKnzy}nqggu&ozAXeDD55{NVF*WH7*`MOcJ0NI7X{ToYy*euA`o(32 zo!|!1Gbx*=YHf5lH}ZwgU(QJW0TLQgN`+C&7uVuhFQT|#woXnTM*7qdD0KXsAuzdb z8w4nhd#()CuyHlgoI~;@xPq#5U0)lF#jgGy#^54N5ZeG$N&#=Y{;va7agc2y++dSL zG_#?id!tP<9jLlwozFLdp>6ncII{3~66|AtmV~t-(zOpGjoK4i(U(=M{&mgt&K*_zjIz(>IvX84MaEEWo%l zgUJIK_rs(1201FCv692{^M&(}k{E7xy$c1FU5nGRug*wyC8LpD6#wkG)ex5CH+{|Ze^&&M=LNyc!SV%(Sk&^Sqj1Dam)X_Qx!u(e{-}4} zu4xe_)&85mTx+RQ0jbwO`D^m_iO6fi-CXZ1DQa|or=HoADxh5o-qdzUD}LWn(o#(8 zFsNO|gQ>u`a3*0Djn~J|n{r)UChW_o*$>bhbL5Jd-djLQiqylY4h>C13!4-(E*QZ8rQl!YDxtF-MNjnIYQAWfHay?pM zhH_%O$7y6upz?FLGy&q{w}kxBk@6||--H6>KAoFoI%g*1%S=4t8Mq~+cTD9iq+OI1 z>-YUOrcKSJM*QJN|CG2ed|btMSlj({_iFnS0QRpyU;4n);R}Ux`6A`H4j^l~U2gN3 zv`**YggLdtPJ2mUJ^&qQF$d#JFLh3Vs=e6qpWIZE(#bA2WjKqQv^veIlvcJ(S&NYp3&^N*;czj)uL{imh5 zeAwS!l6Q&bt=8Si`I|-hGhb772Dl~eaomms8eG~1?imTAGIoMHu_ga`_uPPLw+Eo? z2ika?rQ<%;t>Tdn|Dnb|lh@kF+#Gm{-j6WBMBP$3L9_EbZFS^euu9oKHW{6>gY0y zRPd7v3ME$Rjh=ZP7-mR!S`#YV%Khp?%}_gZ!ZWw_CPLpP#`fK6QQ&~Iw#1aVXl-zW zSCk#=9HwGaW6qE6Y|#=)zkNeP;$h#yhdBJFVtk?JAAm8PZi!!RcU>_3wJE`bd4brxIkN9*dKA)U0GiOI z+u6df`o?XxktXYB;!uwGajA3wMXEyP*cT}`=^OVl63eP^W$=B>lFJ&RCj<^Be5zzg zuFnex)sa~(Yb+*1m#K|vM3+Fd4mOi&Vw|PvCgld&f%6dvw6&*g|M|;hMStb;X z_foK|z4vI~>%sVsZhK84eMCH(X__drTaG5*M3OMMf6VeJ;|vfBc5Rbkt7Fibw$l6( z*AbJI@@oB^x7JhpHDV59`nxXpT)409G8{9H9iAL;)Q%lxZAuE`TrF6(Il$k&H)uCf zpaA%f97s=%L!&#Cf=(KfLia>pSHS@ZXyj)efp-dfUh4AUFMCF5*b-iC@}SEz`~DW{ zX6dhx_8t`>4ZABsts5vBgTpoh{;maA`wQd$o(rVyR|y(bCD3_5NtDXJ;&)0Qe)kW< z{g2I3l~-KPs=Bt~a__Sb1jG;N-LQ1M46!U&+nx2T*9ycrbMN+8%kIZFd=z}nPoL-N zc`Na@=ZosIK%<1=vz<~v=>t6CUI=VWK&94Ws^jWk%D6N5jt)0fc#WTOym!Xq^zAQo z=lv#sZ-;YTZyZbt28)+#X@>V#8fPf3=}{Jb(-xRV>>YyL;qH?x%R*~H$;Xc{s5RQ~ zZ6XXL%$7Mlf>l8xXNYj+wknMN@iP3`?xTLZ@BER2D|PvzpaB+ok@6_BO!XU0y${j8pp1G~~0YL!>yBx?RmZ<)rcH&0?# zdy>p&2u}V;!e7J&gyOCcx5@QSdt1AK9mz*u&T1Ru0b4g9{pl|D1rov!_k799ehsG1 z$fvUJYmGmX()cGEMoImE9ilnEmOtJ*%T8L(*2?k7T)U^OtXGnt>qUAh^9Cu?qlc?w$_X7XXjq8a+NY0|Syg|;$Gfl0vk0VL4 zU&A}y&jHuAb&0;HGz9M>`Nim&;+@XZ$IdjfMspJRTN(~7*lhRf(=P*ODmdSyA7Y)rJr^)Vsi|Kk7`m*NiB~SMZuZ5EZ z(Y*w_$-gT?u^q&z#Ts)&spL{-qX!3h*7qC-+yWfWWWr}|PbxDVe{`Ck1>!wdu-yDiquXYv47nyG5EditXZ%sLQioP~K*+rcD7fsJ=EpDwoLoSZ&82-B{ zW{`MJLQZ6c7VN|3#=r{+%^xl1QR7EW2QHz{o5OTaTbwI!nZZ16QK3f`^hrNsVc^hb z4E_CQaukplSv`!<>!h>j42`tlET`>_u>J$EF=G1HVZZ+^){&Y1iP*6gX_e+ed;sVi zEV1Zf+ZXvtY10I%j$nL0or~^y`)0kIUVj5^qNb2J-Iw;Jtwxrx zKaKFw?3UP@8zxF^F*?d67?cHpy5kMrEpPPbw67VW7N&2VVW$i3LY&H6fCKrL1l?-HPB%2O~qDZEV7IqeDa? zcDBkNRy(Uv(RTE>n&mYzk6U95K<2uJ`nhY`p zM1g7pjBi;WYhY0a&}?l3)1EIuGXX{l8PiG9pE(BGx}gI&q3-prvcY{4m`-b@BRzEU zx((0~qek%of=Y9amd{9(^Hu<`H5V}xJ3%Pdw!D}p*4>j#az`kF!e(D>J*OtaXEEgo zpB*Wl1s*FGev0U@)xIL}8_D^}1f~5UP!!rQnGIiQCiMJUJMpWZO_WoZKoR}BG&&w< zTPqXLk)AO#E95Ev$CcTe-z?l@3A$q^KJU&8zBOh~GS%U2%$%?Oo6^{t&^k;g@+0vr zH$x`bwG8aFhOVpQoyb`<_$fN?F0N{bJG@Po^#2FXp5urM8p;I$#o!SVS>T6NL#9gzF9B5He>)bLaRCfvt(=3Nb^F)hOYmdbdcdTV&b#vW4 zo=zSMc<-p^KKGE*Z#f=g$~LZriw4ct?i=ps(xj0d5!-k!-;!{fJdNw4-%AILh*{X~LQwr~}6S z4c`W_!YHnnKa#|$tI(!$;7RHoIM65Qov}nPN>pbJANdXQVh)TZwdqRUK3Tu6b zn;JHH*dvwbxj!muj&$j!ShBWU&EBcJg!q5Fat8{*G*>hQRV6bC#w!hxA9>$);^7FT z(^n?aFl@kOH7vLEJGb(O8hA{k!5RK?UWThp_NGUwbO(beOU)xz-=ZTAf$}#guCM!% z@E6%tDJouE(M^kp)0r5H6b$a)8#SRtyZ5T#)EC~f92vXQa|YJcjWe2vN*hrm&$o{p z;?S{lwjP3-!J;@5AeUr3&p^b)i%BXK^Hg`VmB3l$q;83(P=*vmnCgVKODxNS4y`Kt zQC#7?S9}Ua_E?8Y09{1MgQ8G|4VEDr`jRA~u<>-c_vFtt;Q#M6{6iQb%;cso_ZlF} z^>3ZHi#d~)vxD%wG?RxMfs#qK2mo^E`Q+(eMyG^yy}fJo0%H)9yL?V!s7irD8XU!? z%3|j~jaf?`)GqXGKmWJ_43?)>oS?Ee>`+)7*QEX^rs|bu`cD3>E8NIr5O@`9abz}@ zA=*XWwzcjpd<$KdnMlYBs?KU+yxZ=l?doe#M81C#Bej3|3>96+0b&MYF**^ z_qx6yi_`(k{GA8yw}2L=|NYd@{HWE!L_*!Cp_7%y56y#oy!qxuxpke8Hoaky=O(OR z-&z5P6ZN91(ZY+($20E{!*qmg05-3?FI%<)6u|@k-8^6jHZp(9Yhh#2Gf&DxyF_t6 zPYJ9(sBBD;|NU4`2vt%1Mc$@Mol|i@W>yq(mcb+3#jr2H?%M$=`@Wjhu0xvhSj^^~ zC#!L_-z%^@YecUBw{dRhZ^i3{3h*7pC*D~soyF{ba|7BwX!J-e4M6EItFtwv$ZvlL z0=sf_a9*xgg|rS#$A%9<*qbSAuiLL(zr$ro?QqFjnjhkkZxEUPd|Yk|wFC+d%z|I# zb)VCEJK))`#e1?A^HFIjb(t&9iM`3i%b+>3LFzVg8i)E8Q`|YwKibeoxerx|2uP$!RNqlu3%y>H5=a7FyX6l^k(o7 zkd8JPFAcFxx-NaU!4BxcsXwPy_QxT-9CI&E_|XQ?m46`R?~55d)!w9#y@Oq~LXOJ_0Zl#yat`?st0;~F}z2A{nF o69gOq76-@lX#M%$7r5g|G(@@9K`()y)VZdrq@`G@VE+1l05%Z3UjP6A literal 0 HcmV?d00001 diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png new file mode 100644 index 0000000000000000000000000000000000000000..89b4594ee27c834ac153c3be382a091d13ba2f25 GIT binary patch literal 42098 zcmcG$XH*kk)c7h&SARsk#LT^e7 zBorwj5ZaBu|8t+U?tOLN+_jQ5nLX#sOwKtu=es|9Pr|h|l}R4bJ-l`67Ky5gqRy>b zcTl%(-L@toz+1dT858iE+a5Z~^0z8S8FuhH_w3}}$lbbC9rNhY@;-k5!3Py1k6X7$ zd;Yy|_k&^9cq4_U(pyhmu&t-JrMt~7Wp^7JR}Xuzr@1~6zDoX%s-m3UNAtZau(RoG z+Ww;%!l2)cTVanvem-C)*ZlO>E=uF$yOUqka@f?A!Jqe2?H>%py^$jsWY}Sp6Y_jA z)LfyCd(J!9ovYwIN3QJ76Y)$5_AA91=vc!kAEjEaA?l-~yunt;Il-*kpfRCmT4$fE zp$AI-OT1D)Q@K!&tt@?0^HM)eHM0(;U0@3o|Fe*Ptg#|6Y1soWCzW=e>;h z_kwZo(?S0G^fH3$^#n}!f6CmB0A~G9k%!tHP@J-d`kBLQ@!Yu<)1RB^Gv*GTkC~6< z2LOuuhwfE3#a$A}{O{kbrBm+7q!2NG9dg_+k$|==5!u}REFJVb`kyA31l zmo>yK9u^On3&!L8N|!n>xynE(8MPjFLmtbEF~S3y%9B`MY%Yn*6LE@NuINfb0r}hb zLv69QMiVH4l|y1NK)%|22ZY1q1LhFxHPuwezYC(1oNbqF5I(}JA&=uDoyn5@BX{`l zWupqZtWoyqwg~S`$Jiw2rGSf6}*l zi>7jN!CUHemqXGcOyb&CRXO#w?nyIKtmj=sO-}kHGn{AWU z^=GnUUWZgFx$QQR-!t1xvAj0T-hrwjN^G_!0<6rdZcGJJXscuWN>e7IaHaV>H;j!{ zd}c9>-w$#E($ldczKp#SyO|9Pf%H9X#uIlvZ)U7og8Q^iY>^yAW>Y#EEGKRZaThW1 zVNb8Uky3$8pBKWz1|iSu0l&v`)+J^y%h)1*7@yzuY}~4jI@W-fuT;!ee{)LbPc}kc zH-BEJCe$uG{mpE9U_^ELIKXAp$77s9>Fl$SX=3?>GR-A*%=rUO?TxhR8DogKZw5r` z?|8m4(alAHA1(ip7q}VPap8MhEAHy2;r;hQN&5Ibas8;nQ_R%17`EW-iZJy}>UwLA zOiHvh`SIrCONBeNK`oKr zaTf}nsf~K@x1$CmaN72B3tFV0^P^T9qats84v_{ zn*3&xc%E(=!<6Us%RTo&$fc>bPivz;?BF<(OyJCqsY?*uoId?iGjDy2OyJ`nO>52= z%bL{I=24YJQAW3Nr2VN#nvW2wBU)G%LE0~v^YPo?zeoGa5{H1<)1}wFvO&>59KwFt z^Zp9FLbM6u9)#4iW!IfLC@re=SR%}(9tCescO|fX*}vaj1&3aX2bQx~ zd<}}~7QrFz7X28bKic>kacfiE=fQKIbmrVw`{CR|KL+g^eS%S$`*+bK9+&G%R=Ce` zfr}=G{<5=%?wMbKeI9#cM3+OQl#6v5$Fo8E_V$GH(nI0Fiu(eB4dw^*qPgmuYmCaD; zWPUX?C(&ulexANhU@YTPU`|PPePKrvH`{=Bk*?FSgHW_mm-|?D17swG~<`_f*xitT%)`%Y;U!dNQ9dIHg_3r`(D! zrhS+{swQ1m93}#n?#hloBZ_-){B*>!4fzi10;a>?M2?iwT$x=0MJhgNEz4~-o_{DW~j%Q5k7PP8hy>Nx`y;!dISm`$z_A=4~ z*a%3hSIC?HK;=#hhi`mu-(=5c-WghL;?SF^^%i}=aPF`zM2sC4v&H2mE z<5k^rCo^WS#@Ly%`a1dqiROcmvS`805#jArQCsHb_AnZsAcAQmTfk3eFzZ@J+{T=1 zM^ww|%d?`O(*Z5N*w>A!U*}I|o&c`PgOcghAZ0tTYf^lRVw*s&pxHO+lJF~<=z8Ff zgVpt|ZgKIDI-!owK*2Tl-GrRHJehJ=Ye$HRyPoa_R#Mi0#G)$OT9ba$)< zhRRv7t~0H^Y0W{|DMs({^}|d8VietjE?i!Tju^-I0IjWbJLlyRDvb{by}3ebrQ)&2 zzh0!9u)Gp;7(V6juHLC217)vg$F&&BzFzh5Ve}6ruceRsLngeUD@M{g9iUBiCyop5 z3Wz;~UT;D!XXaC)kq~ zf(-t-P7rUiw_8BI0lVYX+XJZ`2G%+45u7Xysk0hZ>i=S{;rg_d{o;;Rn z4t~loW{p@L3*i|f;g>?mC^hU!$)EKhiN20x7&{DSp0=9Ttb8DlO$4Rz#{uk2$r-8B z`-JXL&|V8b4y7kKUvM&h*8;YGSV~1W`PAC7q5DwP?RE5d>%e%Y)(*a3tZ7hOL^YJ) zJ?%siEhIy=7LfXi|D;Yx^O?GDvy{C5mWSS)t3X_?UIfrRgNv9MwD|v@V+51w$I= zltm4;6sAV`whXEkda77SisoFjWMrkft#YtpdLO=fnMQ8i){x@w#{~!MLz^4WZe;Kg zsP%KXw1C+Y9>n6lEVev1Sl1z#f>?V;Wc29Ai>>HyErF4-7ukROWd?-0;t(ctPPF@+ zo1N2lSzsr)uUp{%)iJVd>l32En4&$B z1dSS>RDl}PjKYtM&Or89cfQx&OHOpn3Oc-yP=!VOYFetcE= zy*ZZuGYngbo4wxeEd~?P#2K0&C{Mg^KdmtvI1S*s(SP#n=GqN6ZlYt3DM@Y-b8Ik7 zVOrIfKx`VwG#7&!k&0v6nNGs~X`aBNwzxr(<>Y+x6b3FeK#7`WP=| zPD}Tv6@USdMWs-Eiqi_Tg>U^l%?INae$;5a^uC?ZFobjQ?sUi1JPjZ;&)z3UW}fp+ zr{gGyiSZ%>4zuHj^US_oSWFb)x`r@5qXuuh%~7UJfT#=7Lbx$XbOp~0P>&cbH?TYB zBXPOkTod7cyA#L+xM#ntw#cb zTr62k$^}-wG*mavg;R4n`sEnw5zvi5b5*4i7CEEB%Kl=vg=|o|zu?1Lrh}cFE`ze$ zaqHQCe6!V8X`R~6t7C+hbjvR?RS(@{6ioYzeHehtfZ1PnAsR(}vMHO(&)oNlE`dU9 zDp>4fXEDaXBr5-atSAc1^ZryW`s#&J?*bj<_!Cy=GEj;)0_GdE=C2{Oo$j8G@2F#h$Lmtoj|!^BsW8eIy~ z6B(JEm&*$&wS*kYSf131{~CCcr{r4_$-1Wqm`R1Oc|6RjvY}>7ja(ABGdc81bVwzA zqpzwj?agvqg-U1N$&t5S3}c4$7g8(h1URcCz0vxPR#D#^wY2XiBM++vM!tCzT)*f` z?P!I^BtWx->A3pQ^q;qZwY~`T)mup1Za*&U>E_T&NI@4unGN4{>{ zd{${UCaAzNWeYdcM-PNon%7tI=tdoC0lF5GIqGlED4?kHqoy3&#mZyzJ*6ub&ySwk zDWL)Gj|nY+SHdCFjvCs$F2-D+J~fXWW*(b6#oz$eP+;<2cAS)^Pmzz*So;BI1KC80 z4JA9yFds8;OxwYi%e*eUk-(qvJSm!#6v8;D-*TW3?94prIYUvDj zXecluqFxlm{o1?j8quzORR6z`J&Er8UY;9Q?F!&9%kr*)lrIg=iItwj4CKGEFKaj1M)rK;x&ch98 zZq=ML^*t#H6y8$0goI zipUc&JCQ zBk&+)gMh~qy{#RdMa%uvq%FBKj3 zpg2Rf;jz*8GYLMwI^FqVnMMM~KS!?!tc^aMjQ&uSZD+k8;o=jq ziqb{zG|_~5IQhx~1<+^hXQGjD4WuW_L+0xS(w@W;>OT{MZf6NU(U0Py%fHrV_!9|* zEt>_WFN?wggcFaiEmc>oE*^IrWY%=lwX81@<7 z-;`@Ofe{?^)e?_i|1Qx<3}_#gdpuHR8o&-YAbS2+gXP8O0~sm_TD^<6i|EW6p^~dO z_cPmP-J{`oJGN3BQ+IFcc>_53wBp3Y(JuGZs=?0#(pO>}J&SMJND)xf>suMC!{+OQ zzC?Q8+4g``a_honl6H75NP)j;8t7^Qa?r2+#}a)L5nVKf4nUvmDi@icIVV z$z)rWNseN?wJ;V%_x*RXrhN`+SB8*o8IZk!e3P9DeGIi!^HICWvS_uCv`l{XSodk} zG#zF>vR^N;&;}u4W1~j22Ha=D^3>Fx38w{&Y-j4N94#`YO-*i8cJyV@m`_-wcD(*6<3yz=Kv zR8@$zg(K+L_fhxpYyTRuk$$Y@Y8UWiP^OoyW%XN&VN7nbtp4aqx)L^y4#BXasZ^z* zJ{zI8QOXqlLTSNKf8IH;gAU>XoogY^XKY@DqT+Ae;Sbed?7SeL%-MaNl?g6gfrG9h zyYxmoeZCraOs3ljb9sqd2>>EH#35NOfgJ=R3JvCWj7AN$-gtj^_2#AXvzu;yzG>3h z_!LU*!J`b)((ZkSSf_T<<{B$3b{apDyLU{>2RpxwzRs_jPZz%sxX?#gnq?eb-y0?q z&Bqx99Pq6&V+n*U?_;B*urDx|^AYaNDFLQA-v4Vm?_3CTRqa2Y?i)!2=(>ini89WiYdM zpo|H0>vmbxa7!TK+rGFHc_QwI)(wnSPBo{4N^r_)qH)+At~chmU~GE9jaU~(nMYzhkLZHkxaG6YPdeGsG)|OjP8NoC0?(M*O(<`%y^uS=93UM&fd!{v>Sm;Ppr?PEJUY9(a80-X^-8 z{4y5xSf}i00dDR(^Ne+*Y%CE(INnLd_W9PA&IyjjDOg!&;nH23kNfXxxuNVO*8#AP z!tZsIhaO8w!8C`@z+Z?GU4iFVY_5rB-v#qMw)Xxw`W(KP$oYw(F(cWV?>8%TW%pT_ zzD`uD7n7cgq1>G=dOf(5VEcE|)>exD9zJvqXs7=(Z=}e#uM5pP3KGyAxh7EK9-m|C z8yKv>b@3lF>?@oF+dA`-JlC!v3wHdBN5Cev_JO%{%S;0jpop3SS0%VL!*sn^h>kPfOUcoaM0njUK@9)u1EMK>Kqc zdLTS`Qtzg~W>vCgDRMt-Vs<79RdegkYSr}E?Wwr2RbgkwWyy{Cx6uLAJt&E(E8BX2 zEvRyRm=7r}8Xax633GTRr+E5@IzCV@B0bXGLKv)Qk#LmWy9;#{VRY_NDOxpr+gC_f zK{1lYv#1eMWXmn-v5TUe{`?o}x|?v(IVSVi2(Gpf5g|E*GsyStNOX1R8&IzO=0E;r z0oj-*;lo${!&!0OKiorh*rRHr_i0FBv^kI5@1TV+SI${`hNe|0oy2TTg~F3Yd z6yznAKYZ{a(fI>Fhc=Vl>ou`Grz1cYO)sGn{qvZ&RB1;oK#-t6-IdCV%Xc}q!O&}t zF=>XnVAPJMcV z+mJTOce32pV0Hhwu`P67#O9^@rY~1M<7>=;^P|>{w$x?u>|Km7j85`1wXt*l!pD@a zx(>)*!{9j%@dpqo#*0LD;VUEINXyG?y;9GX^kZ+MlN0ykCOLel|BvGTiW8o)-Qz zB%$MVgiy}`H}5+2GlydHp{6&=?bf`K@F|rKqn9U=^TjopW5(e5A+^M5*jU~sp}Wj< zsa=P987Dn|;W>qJmZUV)LBJSUFT4%#zc*hYf=OMIV`aL0zrp{yY+-6drP0vI%lDF@rbs7tC&{0jMeEtw^}A9H$c18t zAsvH#$b920G~F4J2rs?9TrO&%k2`?jsld4ff&ic3n zCICw}Q!?ecY!WlG zWPuJJU(U-DMNz0;~tXuS81a75aqY$;7Kw;^E^CuBY^!GH_V;+Xk|v&h^}Oo935{~jiapzm`=2)F z8PYeX#J9QKHUF69B3Hsti?gc@mTeT0hAcBxFJ$AYZ*Gv?d{mA!$}!wnMYoBS^q|D6 zes0ykNAk08Tu7>}s8ENrkSavVywNe;Xuf>Z1L6+hn6tKx0!i!1ryKQOlP;NZ_7sjK zgB{IXqTmzuIzn4P#U9Z-EGg|jo=wRT&bpyEwTnI%>So!FxXB;^w4fP-}Y`bZ`d zEX}lKN4*k+bvQ7n#(XCwe-w4b4(ezChQt$qX|d6!*cVPdm{OVO0hn^MZ;@SU(lvIs z+S;!BY?sJ*Wg?5hip2wdlvc0@X2~Sc1l;8 z4+yt1<7zJ;uD|Q{tKHXG3w@H{K81Yqq;vXn-|E1mty$spwm}%V@>x?`ufQxU1vIAb zdTKSMGv?&ASEU^@2D5uj&&{7NlM?}3e3_KpZV>F;a#xhXDAtg}z3ZNu_I3IQEXBEd ztA-+R;LRK23X!M7gRx~l_NMF>9e)g#D^$UsE@L%%KENFio2(AWv%s5o!j7YqW1d8y zXKw0h+NIGGf$!;hoQ8@ve6oOl91v_{{^0O5Z#Llav*j#s5~UD^4n73&a|J(ZaCK0e zt4%7mfe`R=aw`}a(GKNkYM}@9Wm6A&WTvYXQ3dyG`1Q`J2xkw|#Tja@H$=+vV|T4M z)zsAL(=19r)HV_p(wn})xoE%R6(GXDvu~+QszCv-cE5rV>qIw2z~YzzQ8VLEA01nuE5`p;3%^(68L{`SIZogZ%O~2lKL&2M*+PXgwf$!j`$~hruk&M7vw8d- zQFd>SI;=r?fY)2gFcUDrh6LZ34W?+R+^ONN=&I0IF~t>l{t+(`yu;_JGMl%Idp&BX zj=zCib_wfgH}B&-R0`o+?-wtx2&Zux57o-tg?!Ccm!d}4*j|DHRPK~GA$C#_r|yXvS97(9<8(8; zyj`HjP&pc;{Tz99`Z>I4HK%_U`gECo#U~-w!I6~)+>5LjxZ<*L;fTCF(z+(mz**%| z^Jc7gU$TK^(JRS`;W(P~6)oH5j`s?2gtDD5X+<*GAkOZ%{WAm7NzHAzwZR3oc*w0p z74dKtR$NedKp(K(8n;QCyI;-SK9*`DT;WGM6v%(n95bJ7*>Rv=28urVF|;5dJ$0Zq zUsNG))VMRAo@iFNcTsX|ihi5xeom3!6ii4E*_Vc_)h^F95}eEa%g+ha)4ab$K0kmTe8ELuQ3{2$;_EGmw2KMumB z+5J0k+kMO&`hOn~Mco|yembl02@iTKb#GQ<0AOT?zBABFhGyon#ox7!K(tCcAMCDV zRSk0DJhtp2rAL*e()NvHTs;q1A;lyO?e=i=6)TUsm=qlVPtTchYz5cW^CQaQxT?&r za(PPs))fJ>COq+JKr*ZYH9Ax=pd4i^-<8tFh$J1kA#K5?o5)3f#{( ze+#O#rlf9Tat&mD9)Gz$GheZman(Iqu4s{~ZzY%>1M4s)aGqE0v3vvK?gnRQTW(d% zn?WP0-~(gv>JuOBQ~&yO*|YL%ZOtQij+P!S7%=MAzbs@E^n)xeK`t>s z`kQUe>Bxn`C%xQn|InBU9eo!Jt(B9K*CM>!G~#WLuP5VlU3Bh_q>NX@NiF~p)ba^* zE+F91T(A7IVBdSZ@1tToix04lNjr~zgRWeX5O!PjrWSV$BUt77;22r=q+1nA+<}56uCdlqyEp<$;EmjaS=qH;8;&-0FQ#T@2t7Ur3KfW_D_iUN5 z>SCS9h5XpybFu@nuAk$o#JzZa>HCm1LWv1sncy#UJ>9jTwE}$hv%<;&ofe=hQ%>{x zulW7*>t6#^Ad6;u#3PgcDB$GV1K_fdJ*_T%pkYOkVOzdJJj;Q~weO=A6SVf#rEQ|L z+2?cvWzBJ`(@|h?(CKNXB~=x$ab6s+G^eEiUMgyEcEqv(Tsj|# z9`MzmO{~6FY$2Um;VGETI{%(;WPmE%7bo|S=_PlVg4CR!J0j{u-8H))Ndmqk z&z6A>SyYAH6I*vb3zzOMtx}`M-4zagOu@o}%p%jXwac#z#=)N=6#ln; z+x=2#>PB99!6kYJ6wU9p)=f|K@qZd=&6o(NzAvhU?o5cAyI6+BRoTm$gmuK&lDjTP z=oB;it07ekJ88SWDWbp(3cbky&(+l4U1j#K>qdg=ZXte>9u1z1@NWb^91ID&#apViXcr#V(X2i>4|8w#ccQ6f z!sKcefgf=8z*um%?{(-0N7Gw+c5)pPXiub%c7v)U*~j9e)` z>IonU8jq^bab>%RjR^C5Sq5rE*$LBe?BSy+h{Cw%7X2D6hVjxw#Lv1-xW z8+DTbT4d_l-R0??{3Oh7G8>LCdIXetm~S=99A_?g%u~ECVRZI0AosztDRU_8;Ibs9u5M zewR^Hkbd9F^N5HORA6Jz>ZW!3Wf(BW(RXnEluB@#9ETkL=wv|4&wNr--)55`24E)8Oi~6v5K8h} za^2AZ5W0(=>W__CA=<&DEaPFLQpW0eozzD&j(?76R@$=?ep~5`NfdJ{XqKc!2thjk zv|2T1wSU~rG|FqJplU=yp4aey2bc79#`m7rMR1|#U8~#PmwfrzBEk3|6Z$4)TZBN8 zuvd|O>eM~V#i0T(<65+4N?=u*5Y@DiOyF|r>^rBHi&^-6@|K)s9%DG6+OrF1;3GGB z`$k$%_#%u0ni=*P0`6BZg0>hH^Ku=i1*DNNza*(jk#r__6+IrgFfLy8gI|6N=fPy> z%fcP?RCqFK4Q(>uu&*YAr;D8n}Kd8hv- zRrE4Uy;QAUkxw0KIi8ktIsN=J%`-~IZ`30lq$U3T&#ZXiNDiNHRZm;UDq;d&0S+Da zwt5;IHuXkJGhb%$%fpy$o6_5HJv=L9B}+(T;Ge9a8X?NlGbrxzpmbUQdg_305P$R^ znoYZRIcmL}%bU|BuUcznb1q&j+b}}}Vg?9#Vdu#X_DkX<4^8^#G=S3WZU5({Z-z-I z%*=(3MtA_`e5z*DPVUj#aH{_TBqB5Iphl9Ow=IQi^AehXrF!Q$(y*OSP5QKlR-S9$ z+9)-|!=@HQQkWPuyb2;$QLop*)-5R@@n_EyI7yEeo;OFeXwIsTQl;9SZcS7Gl#4>2 zW-`GPeBAFPF4?;Moz_WeTzU_A4IRrnpys7%>(rqAvno^Y+G>@yG@_3({YmO=b9~Hq}@(5>Eii3v~P7An9apsHoDacGUGb- zDzh?~mUu6tSD(z}v_O=Hj|e@E?*j^;^3Fd4@4QS9?!;UU5Qg}t320SRfKqC7N~mpGV&uNp zF^E>MRL0r2L48XTKJ2V?)Dhu!4;;1mz#xR!a7(B8pX*ogZ<=!1XN5zn0 zZO%v|hj*#RFvTmA(BG2mx`7>J7p&ctMM>Xxzebz@BZ@&W`F<&tojUq58QRwsC!rQc zmm1l+g)e3IEfGq#1L{cz_30kJ%04Uc;+N4f%f;Ia0RLMinVr-$NmUF#N55ZS`-d9t z&ee{rV=|Jvcqhkx)BLTrZQUhXx5)DP z#JwHu9m(6jI6ghUu6hxExAHt?ZpTw}>(H00KPRZoS!C|8_?uD(f({ z!@UiAaBG1@P{Z3+I6&$3Uxw~*VvJ!T!)x^Gds7MPH0?5T9DC_avWA%cJPjN$UK$|j+fff<`b~0TY?=QUwt-+arml&pF`q~Yks4me0%C? zK9up=gv5(jz9dMAt4MU=i(XH(l34;Ejj=Tn{`$0-lH+ELIrqOSomoY@DAQwVCU>52 z8wU93DG^0@cbg1pyEx&mz6nRVc}f0}TW{r?L`7pd*F`ZML+E_%+<$RVF5-Vzr-S6& zTYMbY6f)5$UDPhUACbwuLf0q1AwM*SoG^9L6$@VR?|5*y)S2HzaleRv4>D$vn5l5a z{8$Ekx%?<#_v6cci;rMRQnPfq_im(y<;R+%ZnRIBD=IG;_@Tb+|2+b*sU?Eqe%=U5 znMG5kwyeYyT>%I$hw2}MfJs?A>mF)>B_njRdT81uqPcSka3#4Nyh+@wGN0KZcIv!l< zo$*6AZ(n&)z|-T7!oh;h(+1J!2%kRk`xV`zjh+(F4sQapBl5600XpYn=MvfAN~d+A zRR-mQMT~8L%n$&6?QqQ4Gk$myATcQs&FMj^cfCQ}LeNj%AsTHym`1j*q_E8u>KbhY zJ0>PQ-@P>PsUyr!DB>vxG>b;(dUYa`n4JO)N<0R%hO{^5AFw{{pTO;htdFQXt#S3^ zEs<9l4G$59j*J~n!t8XaX)sPbK|jN94)_lnTdxiAadXKqbYSVea2XX8_i(@l!L2~~ z&D?47m@QdA+Dns`pK9XGuOE-IUaJtV?gtM1Xq#v8o}X=2Hs3_52oE?Q(7k6s0nwe` z`#J~HQZN=?rPbBiNmo5VkRIY>!v4F-=V2~A7N_48TV$r;cH4Q5BP5%eKGAd5C{ zCNvXhMj~u<0Hk|rZoAne7OIOZq}(>IBLxaPai_2GqBRj+b7|pe*aiPAIW41UXZfRg ztI^MS6E%8MNuMhBO7CmS?N-6n$Q8+*i8o0s(GsTBz|9W@Fhq&F`kPhvHl``TXGR!{ znf)uuXyQK8EweqWkuLlD(+YyGzUX&j)3d;UKk2EAw&!A>WAi_6BR^tQ_*!>c z9j%*+sfE$=F!d0)Pa8ga!r+^c#T)A^;Ieq@_{qw>BDUwgST4;?UukgKU+ev{z${ns zgwpkb)ZX%mPG__T0Y)>Z4;UOf1+#l$g;Gz5W~XD@H&qH&E)4~k^XHof5mZ#Zw52iz ztA#AvhDaZGVovMj8UQ79R_P**C3W}U*2TzTdP>HOu5FB4(ihepcE~9JqdP-;s-@#66vrYnt1#X^C8+SK``l92GUMQGR=7WgcJXTh0`^Oe3r&xvIZJ< z&8Bhkn>u?wLkk*38pcCSv-jyg42{jLj6(MJLAE*?A2%n2xpEfjHSl?CQOeipxKHuK z>T?KMP@g-h&Ckb19*k|ugC4ccn%uKvHC7T$AW6Gx4{*~PE6e*K7VLbq%$DcBv6nD+ zJbYh6BGgi&2nMU!H-yA-_R9asFBjgk=(8`cUsYXqoaAucS{2&Q{e4@c-38t?_RYa_ zF1m21g_wzpeQFGFIbB@qYKpK>5)oXdGc;{){*a{rUu;n7vs5&z%k8S|`9N8@WG26+ z*~x3Bl*2u0h40fDiTds6zAD0*T2M+G2zf{$KVV#wenL%$p^D{JHv6C?VHT(3@;L9V zvVO#;OKxBu+V-SbsHzLDp?^E43s8+5^mj=CtOBi;98orMX@d62TA`%+zfbU(ajc(euW z8m;X~O=mb23#l9k;&QZ@2YiNcB188dXe{q~E0+b#6myZq08@b8Lwbvznzg`di9OT4 zn+9Gk3!jm!?9Fhoo6*e#=;q*~Ijbvn65?hfiO|O*fo*pr6KpB|iRl7`{Oi;~7sN7X z)Uc2xFLkgWO{RqLWWr=UwSy(joU%Sir7CRj*tnR^a{Ui6u-{fddfR3Ht0_?0ibJ|; zwBRUdqLtj#K{i-7H!#UWCP1R6At~33IPB%ti6!w=%@XF3J-{@ErT9V+!XL_c5oT9@ z*hJ0JBt+BoW!bcZKk&|@M%;v70Kvon@l%1YzatVFoy8+HLrfjwpI1gLHI!IV<4rdt z@$1mE1R@D+)_bzX(CyB^r5p$hI0MEcu2q!_ALP({@J59XX*G6+J7kS>a;aLCPAOBw zx#{=q^`(lJgsOyQdf08OwjCNZ6~>rUDO4G5s3{!k=Kzj!4jF_dPF9F5cJ!_u?4J}5 z*%>X4^7|F!|6P7?lI{94cin|X2YJ?%Pw5f8u0Ia5`+u|<8_xT=bg3PQWUAPz*Y5eD zd6=NX&sZ8BS+ocUh&2?P!fPwTF9lo-?t872!r31iU7{RK(qqck2X@3V0oj~)N+nxt z0UdSxU(~|hUI@g@fCmH0yGNNM8(BK1TT@Iljr{g4@G}T+^D3RQ zw~|aJctHbbg1OYP<0LcF(%L3oj|vdJ^2PR`{K+0 z*KE54d4&MwE~msIsx{FX!)sXg=+!kA0_VO)24p(VA23SuP$pIFj!1wz&_7aNzRkZ* z8IwL(Fv4f_eIV%f=lKo zp1$bW1_XH0ZnZG(%?kU!bd?C^84&0k6_RzPr<+rvq9d@m^)*2Piq1WCBmNrwd!R7w z1ngGMxd`%JzzuoOM>|hh1juZjk%rO{Th z(Cp*YR8&!4jqV0L2D||FTs%97q5u zzb9yaa~k~>j^=50zof1Vv!8J;gm|&_s@tlE=-CLvJO+$t$I2Ck-Fn;P zkhbn?8h!^a?J6Pv>u9XR=*rGVvmB6Goy@%Q)!K+~m5jxODC-4uDlSTEG(EFHeEzi; zC^CN`dJp?PhIiFm^eH=kQwrJ4x?b`8K_j|))1E%Gk6i$_GI-L+Ys)l6FG^~UNGZhQ zIElD_4`K^B)B^!22Cdg?qA29!K%(FK`XUUjKRE||7*k)10Kz_mo59 zo$fcEe(TZk$G)W_=tOF?SAQgF z_qH8(indS+)>kz4_8(S8MJDCQKxCx(=|{;mqt&mP@)s(^kpj4e=(lJD+cTHsID>`N z2Ks<-W9+*Ht7i_Gk3F1)&$t?;LvtI2I;DTq+H{H>RlYxo)=Y`NCgcnT)6pZJ!Rs}j z18ji~f+Q(B>V6Q8mD3XhHGH>q#*$+$gxP3Ndij&v8;h{=G?2v}$-jq zcVO;7&v+(^G6?id31HGd0gYLWrj^7JTmU(?;YSw{Kv@sH!nwB>d_ITalF~4b5xe|r zVq-Ih*ZTJDJ5eY*0hE}YZ!|CeDzq}p)TXrcI#2D$1P(W<4r<4lpZndYX1b?MJ-Lo*@kT+XeZ)t!O(s70 zDR7Zw9pvm1(>ed-#Ag?b)`+r7`j;LVb#Lzs_j3+hYkIdJC4^`^hyxs;#Ov9!@`coF z$J=EeHe8gWTgYm`N}Kt2oun9SZdcm^&4_WvtDgTx4~99s04}WX0_{`?bwIocZ0UK$ zq3lPlTX(?_N-+ATux`^+(__sbLo!VIZA|5W4qodI6`M0C>nxO z8a)5MXnW7NCZexvR0TU7r5B~CARxViO7GHCy7b-&y{I5H0qMPl5_$ crd&_O^z zqy$0<0-=|8g8KaLbARvi-g`gXZ^JEV~T2U09dQBD+)e*fLS+PSY^8 zJ*zI#aT}W3o|cu)R&*PxSYh`Q0-pzFK0h$&a=gZif@rO9Ruw{n4tMu!TCrrV8&{ef zk#CM%_pBW}pe>Yy7^99A!wp|DPlQVc#i`Rrg<7!w`6e~NOop-`k$J{y+XF$9m07Y} zvsa`od_hHG!|!SsH}FVhoa!4T2^Q_FrQ6gjJTl~_@u-1Rc!Cj6)8v+b%c`MkE{pC` z1)Hlp%NZ7VG=Wj~*_OP>hg=L|Tp@k;NF%cwPT31K)jk0d67;e)1^PoU?pH?pV|f~s zx)r<`d^n{GVBtz&ZyW;qZ~;ySp}bm_BBSd-q{H<-7^_21>BevV6^i=!Yr2~U)WK>( zKXs;`1Vo3@$r*l(ra%2o!>$?l`r&bvO*Jj{M;9V6RW0jTMwtrxfZDxzpWFAHs5GVZ zdt7IiV9>>p84<828Fkx_6pvr;I6LI({TJP7)#w8W#rOp3S(La|Uqm6lRohn^ETt<+Q&cvf0kl+d8vWlO%2|21>1Uaelp_zPd5$ufN zm=?;3ipCIcqbTc9AqpS!SP_FFPj!7lJG0ULPpjKw;|7*vQHzmtJ5uexQlTO0>H5oO zbWbNXs0xrM+dO;u5fJrD_iKjUsZ5bTI>BgX!l^?E6{=3ny9x-_ z41JGc-e|iaZ%G1|0BfblRqC>-PAoqeYrH0B=pSB72yHl$5L<1U{4n?$|5c(z1S8(G z+OM9)Cwl&go^4O@p*ibpr}=<4*+Ty{{^+^gJ9-Sw&TDX!f@7a+P_6s~<3xW7uyXor z$D-cemEHGwTUv+P)a&Rp1D+M7I>ozDO%`6;i=)4+-RAIdY{m3qqH(*}A59mkXh6!Q z-}Bvy1RS{l1`8Hqfy@ei)&OKf00JYKVH%!FU@_cr#f#m1P5V2+7Yr0w9R&dJ^S)iB5#8eIlWctoU$RF4dIQ0Gf{O@HP#GytXGNj58 zIc;i0ZzAnx>&$Q{-E%Lyq~?0g!u0Rmvp8!h|4{+smj4}64<((#oEVNUT+U7M2UvmA zm!qpI5GB<8mH=Q!k-$B8txoA|84)j5ZbTWRe*Lz1b^UiTN>TGriTrs1a(b>@-lFny z8Ai~g(7)vkc}T7sm1xyWou6odAdq86%MZUkDg+w$j!M z)L1-gTg+E$?Y#gZXs0m9kfyVixAN3_3!prGyBzG;K|*gQogpLKKrd@;e=Qup(z&eL z?98v467G4aJ!I%-s--jy;mgMFRB$|&%{^bPwF%fO28qz}cQ?o`k;RmBgNz$RLfe1Q z$w{w?;RM4vn9yd+zZ>>QN__eMS{tB2;d1tRc0>Nppln0cYm@@)cyjzF`UIF znevh|wEp&j;OQEAdXUth&ESElzzWT^kDXc=lbz|!+sQt{p&aEmDiQiI zS@kBn43$qNgP4ae#o}ELKIqERXkuG20639@+cq&cOc$XcWzP6>oSZ)8! zZj#?`JdpJ1zk#Cw4LD$D$GvAIn|(1E$Dg zkiX)kLJs73>N_dkAISD>INfJ=pGllEqY^C-ETK)t1A-2PA?DAA6`rp`Zq#My2hbSm z-01#HEP)KyF`G4&Nk_%gIT1(`j?c-vu%VS#>8Y48R;jWC-bb6$cF=jfyYwLhUz!jM;5v~JM7fFQJ)JEB^T z2Ax={h4?@BwoqN{vE&K{3+8G}kj{u0*uW4mBb0+<-goDl-NI)1ZO9pV7jJhrCZ5^*uU<>~{9iyjp@%<|Lw7{Cc+`c>Q4!Ci zLa=$FCf=-)q44we!bWYDin2p2FGR9-%-f!59vQM5lETlPe%#u3^uk6*7d>u!;#Dwl zhx#J*YcyoAlMkJ!OD`AKy)Qu)>o=EA$85C-xI5Z-^F3JV#}Dy@g34?8Ki0hwLyP9e zR0gl^rxyuPROIX<34HpyxQd@anT7$k*H*63g%kSQZnUg{S_@U?w-&bohv%W0IYW;> zCEEk)DFxVNI=Q*=m__L%RO};uUp0e4=A!Qnl5u(H2XM$Ek>%G;$%=0G6T5I-C zOGc6ld7@yi7M^bRrA@g*W$H!~pZG8doOZqGgT`UD(b5TJcJ!+&A-~89MCmPb%m**T zs%W3nB4KG^jy{>6crdz5o$6UDp7ND&D&Zs(83}sm(P*3Tf^@HF2YI*?POwx+ zm>Xe!-19-m;uoLs9Ka{v9%)`b&d%+QT4{_3vErL7*s-Y><4JAN!eW$9HY#or{Bx>HfXKH}6(rneyZ6{* z-;Aan2{~5(HCpU83fFRqR|JiPhljK-8H9d7?yE1GUk4)LG0@Cr`{~ij5NP2@bjkKQ zK3OAylN^wMhvZP-aTxYN7S^Zn(QHB`KSQ@yS70YHoxistul}2pP-@UXSUGi~Ms!~l zWm(Xxp`(UPi&sJag@JqW*x0zusV8Lub%qb$-BaJQQd1rBqFrKX=DtU#|7|zlXMH{K z8pOiY!eE=~o7F48o1e2>v51?tUHNKVC{t5MsvbBp7|h|BRQbdMnFq@&m@v$g-mQk_ zY}fZK!0c$pVZ57u4tDs733<;m+E!+6)<$YH)MFIvrba}9+9g7BUhar$IwtBevWL!; z@FcUypHhOyvu2LJb9mOzg8 zeDR5GF&(h!=zMo%h+0MV-Adid|6Tt4zS>%m>@1_mV zI#94`U9fUyclh4!r}2T=Da~NX;d;CxafaiUlI;YgiO+W7#89@SEi*fq!l_A)grwZJ zZpTr#8jC=Qzc5w%R>T@-@MjZ+v6#mw!zecP*$fi{S86!xVvJPg;-%E*R({JnzBQX{o_jE_abU#yrXHZUC76_=A*os5SP@T`);)e%6q-~8L{I7n)`0iLpjGzpp3TL^z! zD$LeaVh>-l%f1>#Jpk{eb{Gg}FxAwIsD@)-_Z|fT`#3l;Iojv^Xxhl}wAcXNP!8;- zO^JyExQSZGuw|-=ZigoR4)tmn`mPPPz4<}=hguD5SEwWfs|ZGfhBZMdCgF4t4j z{y&cdU`v1oeSr>e;p#iI|J6OZ+UHkUS%|*TlDo|E(Y|30BMF0OX)dESWGQ20H{Vw{Ow9kX zVTMG+i;;Kfmh4&D3>#my?Qh%k3Yyz8A$RA@(f)jT>ylCweA~2hu$JfhfZ3e={ zjACo*JGN{)?8bs{Tw({Win=QqT)hrk2Im7XZY5iBevgt+b?Dy7kRMZ2A#zek} z3gT^hhJmrC0q3+!9^d;99U|cRENxOF9!0<*y(c*D@MZ^Tv^#s5gjO!dE|pN{Wr3eP zc=j@x=Wz{pbL^5o?H^DHD{dD7vrPa_?ljLE7q-*LJX3p2$CJeaB^w~LTkanRQt5d6 zAq`c@=S4Ih?Av&v`9az$lm|}LHtK8j;sGJVL7ucpFjVH73ta@Bb#(ianN|CzE4(iB z16b;NJfY`vi*#f$x4$n;1&CgxVSHP;xnKJ{_#Y5_B4_AjM|Jzx2)CFd=zLF@%%~Lw z!MicjW8M}0D}riZMQ5}zu~$fyDq_`v-c_|`{`X$a=8Vf@aj;482;#v?QuAjgD3`ft z2oMidIfu{d5quh3jv{js`x((C1Y~3|@r35oU~SJbP|OMk<#BN9EQ9C2mPMj%jI?v+ ztEsj{h^37_402uyzgas)6ICrWiwZ;Nhx`XQPUn421QI=dMB(X5z1`A{wz+!a-{^?} zALaDAk*ReK>POjFJs7QG=|p}?)ZpK}C+>`Nc#`E!;j33+THD->^^IV6pyB~$E7FEW z0*HPsY}y>M#&!2YWOAetZiNQsOl#Y{Jm}Dh;s&PM6X_NKMDwASC=f16XGHb)Pn>T; zoqS8%f+QYHIkN*{*ouK9m$KFfm_04u%4r3|2>p7D+@5flp`dpRy%iT!lpZMi|#7hq`@uHLwmI!i0>Wlxm@r3U9`yuo`u z!A8Uxmw&g*06Z=!UVB0W6qhdY&4q-!1DZwhBx3sNsnr7=KJGiMAy56e;o~1#& z@WrcNmkKummF}J1Egod(9`>r~pYXA}8D8av7Vi-`2Y@`8R$!r&n`i_Ohzue;avBr< zZQXUqX$K-g0^k}^PdDwJXqWR}4jvuUk*U1Fx7Ot4D)j@MC@&_8XRo-((NES|RF3!t za&-i*RHM#-Fzt5K?(H#@vjy+_M^c|Xhv9xSjld>`ep_P%81op0uss1uN>g*U!Pd6ZpC$1Yh;Bd?UC+ry%Q|fdiaMk10+%*A z2?|76;T?HB03ye}lq$&Q%dczQ1DQYK=r{{dQNE=t-9zGO5njC3Ao|7Kb9vyG%!Jd$JOJ2{Hx3K&*E|G%ufq~{TdrJ-40TBa{ z^(yesX&?t)5BxKtY{4AXE#azuoaZ%td$pHw1>w#cTSn{1eub-uDZ@ed7u7cnS&WP;)n3XX&|Qf@RXMBxT>^zd`S>A+sH|~{3EebH4c;W zIE(Hd(vagpi^i@>S&5MQBGn$YMJq4^kM#^jJPhp{a}zFfV_ z={c~_zJ8q7wtn`8S5QXuV*>zc2R z5Rb@*7HQMRWej2NOa)tImX8-%R`s<$8X#CgRg{7Zm(h>mK$vz&_RTyp7_GgQZlv(f z2+_8|(oWoY6k1e@g}U97YEUXPeT{UMGX$a5Am>`S6@`Ew@*%{d8hv1C>0;{&#Fnp7 zy5Qkt$_x6({;8Om)1D`6Vox@u!nGQQgYFO>B{NZ~OeWun)7O=g`E4^=cCrh8#4i~C zu5LJ8d@u&3J-e4lZbc`8re>NHL|yzV^e>>TD$#X0t8i)=ZlN4S8p?3$ zT~S&YYUr+Hubw~?@9w+GH&&X!auvZYUgilk@@!(1-qyIU@%VktCf_WZ0Iewt+;y0< zCKGhB&Q8~O=NVH~aC;jtqK%>pzKT5Uyu&CQD*csx{YNWU{7@%m8m11Ujs1nEislDX zSKVjQzwRz+=jl)@9m7~`v~!+CaSL9gASeb;B=BwAOVX&23YxV$T1zSZQI7pNsxH3l zRz6~a_N-Tyka4znb8TpvRE8000)t^Ea$bO0A&+yZpw*gYOK9l^2 zlt_`($Z|+Elccs_yCWJdO|~JxSW$GMC{-XKWnM$E_yqla-HP|FbRoLymA2td-9>W1 zHqU)sqf-v%xPyaaEiPya6Ij;+T&{W8W9Kzi%&qf)NXtGacZ6@HhXkH<|FM2XjMK44 zHH5a}qYx{h@Lka$=I#2<9=hbt&`n|Y78`~WN5$b8Gub?XcfKuR48ebLgwBRwbL@UBl4fl#08r~(C$NDqwi4#?{0)3H@B0Q zzg}QqEKln0(u)t$m?-8Gqo^T&0zy1ea7cC9ZW5Bn?8pOOYvR}i{Xk^a?+(fT8(fQv zrT%XrblEtp7jNW{gf;kM-J&ODQ+fl_+#iXb2st3MJrQ#L(I+9Nsza zB{p`KP`G*DobzDX@VsP4u=epEZE9KQ7!8QDU-bT>%e{T-#<^0tiw0^BJ!F(KWFc06 zrfG5mII9bwec(2Nay44OIQkn8fZuUblm>T|x|ly?xVsm0wkd^wEy7*Nf#vUgfUs3W zuHavJqFhoOilSBgdoSF@U=Wsz-Y>SsU2Iei$iD&nd>#HCfT?yNe6sHNHOwtm1@1*4 z&}=uzi%!>+p>cTh(`-e$Un}j!{=1!hMBe8F$iPAvQLeYVNKcDVNVU~|j_O@Qb6(v< zb+6@Jgi9-}K>p?UvuvWAdZOT2d+p^K-_Z2Hv?1Y1h^ipz92@ZaB<@l;83cqV)AZNC$R9OTcukcB=l9kpt9Q2|eiF~l??vSU1X zWzVXuCoOk>+qBfsWxTIwWrX8*{)zU~nQG?^^Wty7cK{0R1Na#w&NZ$Fs`?(tE7xmYxnodu0E9 zv+1{T_|CGfydU7CIRmmZ)8CSXrpr!Ss6uV|l^5&E@R$|dk}Vh?^BpyNgKNiEwILJw zPsmgO327XU%#Osb<;vJ~+My(ahVBKaVMv#GgJ=lNWJP3*g-pN#PEUf~VTLLNf@j=s zwrF}?lq>4#Szo#EH#kzECR{S`%`9iK5IurR&RwL7hrwQEKhJDw#{>k{yasx3Ok$%S zqS3IibMmTw4l`gTn0k7T#dh|@H6;T1^88yww*JsA=`<}Fs;ZzTK#<|tTzAtCC+!0H zzD82{Pp#CTOpE*2q1=M2SqVF(MD%;BKnu1g>tF!^d_9?j#YKeb(PQkfVKe254rDhdj`Kp+WQXr@sEs!5RrV z;6=pK>?@o-VXrM%Ai<~?oXeYl#)(z&+rpMx(BHlm-`NWsvMJK8SUlw5kl*Mav1O?^ zzRoE^0GSM!O2ap6D!l<4^L*NKa6AT^q}R3}xnZxmL_gpO)r-&6Elj~@I?aI=l8jdBbHZ}XApUv%@JzvWvrCy$x#n@Y;r+PGGKp4w~ zuV>M(Nu#g_G(x1Sw!O|O)Ov-}HgwyWVb)frF}09jV53~t!F5hcPGVRuCvkcgDi<7J zSU50^a?6lrGV5IWEXY?9@~NnK(vy9(WrOxf4e`2k_{ogZ*`6EZabf1mdw*9)Z4$W| zs-$h9xR-dpk+$)#=|^Ih^XL$ci-L7Q*O%svAw&Z=az@&z4`)I-bIfJ*mX_H1qj@X= zR=-+^6t>v>((i?IjIU837_{V=`Qnb$>h1T)US940exzpG3SR>KpawVf z@AjYlYOHO#-O9yQEd$rB5>HdoJ+S+$#Ar#=ev*8-8xjxZCI7gVYuel})vZejG9JA7nMSpCX09M9ueE`#MMQ?h~YtV9V zfrj3hH$G&*N2bMp8HRAe7SXvooMmXd3PjY1LN|Gs6xo0lIpoEXj&@JqwqhR8{47oV zrbPU@al$pTORRH*xy#sP?c#}A8*4@WGmDH=(|oR_1@Y1tP-`;pcDZ+{khWB%5Ujy; zM=S9VdA}s*;q;Sp^)WbnUDcbF_HIB0sjox_kCa&CB>!?!4A(NSpL$^*+3BEXbhfI< zPxJ{=nSI3S`VKFP=&+Q%8f-RPrbL+zGOtrWh2bOHaAH9|G{1uB^B$w|RRSBBflbB6 zkr3JgLYKH=EkYyZs@BcMIPKZ8N&*y`u%kzMyV_9n$1<7n9Upm}fZPodGy;!avrDif zi323X=sFDhbvVtE#Suhfb)t?(J+ZJ`gIH3(fQG5(O`1Yuk4BQ@9X3c;1TSh$+&xpv z5y(3_ER36VVu{m)AU{TwPisPBvAXXPFZ)a8)4Y+ah^h5KOP7I@vgA1X#2|P7S)IG@ zH6}!sEMW9X`j1(O-Kyzyi>L)Cm$-ok((9JYqs^=AX(swS7&{N;GMdH;>P#*nQBfxa zf_BK3M8sYz`gH-Y8xc1GNnzj}vO0Y|ts=KEgNRc-1N%@R0APnkUXv5_rUu3Fnl8Dn z-6?S$#SRq6gW>3%67O1Abxo_rPz14J79KsT@u|0U?)SZP&?8b`E6q3~a(k?#)~SM1 z4MAGgBNtgrnGj1_R*bi1<2pyP-1eUmAjQ_&H{|GzAuHDpg!Xf$!A7K6#85L&!cLAlT38HpbED^Rm zrmez)!q2@^K0fY5avgR>Cs$wum`#_S={FAS(8JDN5;nONxF^>pn723=UtXAl=@ZiE z6S;_k&1~V4Yluatlcb~lqF*HD#66~_Pj;r+{J3cD@j@Cgl)-C{>YHZD?e8`! z;4MrHl6rrsCpvBC$&`ucCH{#gL2K;cC%_;HHRP5H)yrI;ajF()y;b=q$75G^cIETDqXx_ADc@9^u#%vz7{t&VNY!oN%|@E zU+m1FG%Yzona*F7?-%6}SmftFoYssv`|!HL$Ax}h{D=sBq{1*qOovU=*#YF;LcZ|T zt!z4VzO;FJ(5Ft>*h?2?Tsq`WmdP%wtNTc)l~zVpkE`+3Br^0hTM*q<&zdn`|nVL>pXjKM*=aeP?=u%e}+>$BQ#U00|g4L@(yg_EQwv) z4iiK`Yp4+$Mp(%%>wCkioNY(1SZa`qRb8JJhKn3in9Wwq^v_(mbf-PfGL?UOg9ye0 z+)GH6*H=k7;-|87MpLx*Mw7e}LHZ-&NFL4-zC8JqH2+Mj!Ef|{be&(h+aP-b__$S0 zFVe2P@Sg{eLk+T(=q1oS(1vUh2v>}}i8TwRjQ#97S_A@;H*kSQ9E6vUw1G05U?1az zIQGkMv{|_2f<=WAKYH!ue_+2)X{>r%$^FA79#iZdr_7RyO-_W)e}4WSy#gG9v1R_Z zO#Gjm5cN?&rZU^olTc4CgB(ci8vp0utb_y7^Qgi82S7=HT7V7MQ}gcuTfj$MVgfLc zVTgtQ%~=~9-nRE7w4J4P>07za#|`~`N0w9mpXD)@gZs)~dS^vbRf-W7g&et>=VCbY z5_4gM9Dh5b))pEdRocR@dwdE=ZjM>MG|pK6(p4)U{oipf*xN341eONE&hQ$Sp4c)3 zwZdevJ82qw_9OxThIKJxs9|)^UZ5O%cpHD~hn0PX=eZpvhxsnoH&~>5v zBo8~>uBQ#TR9{QGayh<56qW>{0g$`i;_uZ(m092R{Xk>1* zPfhP-r*<>egKV0AH^S&onq=%dQe(?nt8(`My#WXTss->ux&B>sd>AG_`vd$m8-GcP zSHsCU?h`j%O%>49}QiGY#;9#=wHjWyYSH#L^?-^;iqks7h3O>H~XR~Vf;13Pt8 zv`y_1spxovMCOs!+E2!-cq^7SjI{T((zHvi+NT3#d7YN3>DFHl3we=WpL zkH$5f*_cV3T>fBz>iId%S2mQmx8ZupesbZBEkhyi zg=_4{l%vMqSDTjR&ZzO{oRRXldsmCHq;)9U$oY>w;{I7jj>CTb#Tab`Oy20$su9%6ERxEdQj+! zom)jA)s~LX@0@hmN=m-WZOZlF(2!u(H|)^YIQKUS*nfQ8DUwG0 zLo_#?n@L(Ug5hLecvnN}X@kW_|5$!>&CsG#4+~r005jq!Gx~i(GObS zl2b94IKeRNSbgn<-L7NP+&uB0e2uM|!rr;mf@UMuCP;fpMz&(@p$_P60K?NOVuTM6d>NlvzZ9E1P`Pt=dH-iV71Q4CdzmZ#No-i&)>L_x-wOGG+9h4TnU)=F z*m#{n^SEE{^mFDqjVJ5#xG@HXWKZoG5^zaA_xr8PfAoDbqVLTqDh!s-V6tV5b?Rr7 zdM^I^2J`tcPb)-4?i8qY^A))=XXhmT!bUJAW?)d_!N@Ob;H@%8nUzp0!Zwhz$#U5s z22u{*6NNo_O;bsk-Uq~_>f-G`S!*Op2r&LRb4Dl1DoNNM;;9I-Zr5m_VAV_61*bQ2 zFX(paK?8G<%&x|kD)(4+_~&Hj42mVqGrQUi4IhY1U?4g#e>Zv+pD~EHE3}GO1s_e{ z=ogpykr~Us)2McTTbS~*LP0@a|APS?^(jCje}gW;)#fCQYdU6MN+w&fn0Y6hd&m?y zceu4-PA_}*W;W4$+6pCzo0-++E>V}__|Zt}S2Bro*vWA9It}sw?A3UTPyExBS0?s8 zYvpSDUbSJCJP*fxD9m6pd=N<<%l%~y!}II$LO@*JwfZBoiV#J{XaJH2a=5dUmRIRhQ{TE@)|AHfE>f4;~i z2*=*<+4lo)UgbOALOiTECxI~9QHl-+GVdQr^gP=5PGJhOgS^Q~HpWU{xu4MEiU-MB z+2~Ubh=@3<+E zZoOMeMVODW`jkMduuf942r!S^ZBbi2hZKEs9*WY3+g+FpwiPV`cFZHU0AA36CVZQK8cs-SboKA#3Hhhfd>&OuOKZ{CJKNzwp2WGiuAvAE4s4 zE2C!GyqcJHb^FW#*F1MY4G*nSSasII*d}?{JjNfg9&%s|X*^$a+{F6E$DyhkqdJtH z`GiT9)T|7ku+vc=xL<5&7#V$PhEQ$Ho%!DEd?$3Ebj?19YSFSK#rJ$WJ=$up9$UJe7VWF*==BnYdnr>O;& zhe*VeK4qath|F+1?yN#k0p3*V6Gzp_-FIoR5~S`YhZ;UnN9%sYRi?6|jGR8G_b7u_ z1g{aoQeUmG@Ac3s0TkmEpG27!&}uFB+dDWWVBc%+>)h=4BZI~$=C-}h%xLPp6x?W_ zjQ~c2RuMPoH0wcs9WP6(>taOKxOewb>k&cFZDRLZPg8HkTAxS=(n`rmM12SA!cCJmFWU&IF=ziqmGooO$kgU`KqIZ zvwG%&=ps6Mod93QJfccSK;X#-5v2Es$)rqI znLC4>fB#E=fTM`|ZZ*+DiW@8vHT8fkp6uWMAGKulJJ@qq9ie{c ztJ&L_(^Q#WuNv2@`v^^OMxl>eti@J+mMBAnT=c z%ppmR)Y_O#NWPn0PncM~Tw099D2zKwR9XB>Hh4eN?R0aYA?aP-2NvuK>9;_IrEPs? zSl((3bXo`spjZGR(@qB#vBn>fv7Dk z07gGF-v zzf<;ImP!663GcQ|e}ZVp`m_J{vJeqt%nI6q4x zr^-5uy*QI(n+hmtQlftr%uT`g=g4yg<_qmL;0|~0{r~p~C;&of`icG!pV4QVdXvlR zaolxDI_tK^a+e?24vatz)PnGNy`)Uksg!6TXLK_(Y19Xq!H94`@WUC~ z4hGE{e=U=L4lF0kfbvA!JSz1O_Bd1K zL`Gi*z5yxl@9LBAZk!Ze1AD9Nw7nj=ZOgdt*;rVHUniwWG$#zUV;E^YSdjX~ZQ*n8 zEn}Upit#lwC-Jg|yAL}y=L*$Fj(?L)i6?S6ivET^y)+lF5X~^6$+C8TOI$5aAnYv6 z?A!)~BEY>d1xar|xzi=J{aOL@I=R!foxo`NW{>&ykG@k%3b;}sn=b0Dd!BRrBS~hX za45h#4kVvD2x%s;9>u%iw~=-rcMm62?l9zbQOPFw4h5hEaMR&qYiR39@1-j`t!nBO zuRjIPuwM3qqMfvL4~5XP%i6TqBU-ZUV8qx6@A&_WmcAE|N|W9j3! z+^66p#@{uJiSwbV3shorZ%@Bs(D88})SWjmMqfP7+C~ma&Rwab>_oxzUopSz?w-T? z<5dE&-hTSS)-9*vds)Y3!Po?}QrB063 zeh7-}h~}Q{TSs=yW#u&dX7xiTO&$(#{~WC7YhucP&DGt;qB2AVR$t>vd|>9S>T4sL z$DJgaN@L~xpVc?t4#YaZXPnNl&(doWX^&Vv)_siRLt1x)*pFJF-me+cc+d`shbNsT zpPixrePc0W&bA4ojrNTk<6nb;-VEG=7Q9W>+}EoXFahCqS(0C7ek&hL&S5$>U(pUe zI^J!R*{5~31}ausNff#6EtA*6TW*UPVN{lSN){C1U%PaqVzneaHnZ8&fF>vlyO&?) z=4yjQpEi<9vERH$a#Gj5;7N;ZUT_d*L8TS%V}8j)FomvX%|yj>p8UEy;*i!UZ1l?M zBDs4@&f5BPApEvev;A7!$0a}PVzh&B?b^L4kbf@n>Z7^SX5wGp59xX@mS@AQ18~!; zs3T&?e7(xB*0+&^A==i?<3MnZgZ!f_=d1Tb+X7`!f#f@f;sJt=qB%Xh=OS;v7@rWT z`EA|o^dVXhdw0p`Bq55yPFgRb^{83!v(#X?^xb^+vi8)>zJ;^sX6MZym)ecf@}uL5 z+3^s4bs^G;y`<6e{rwXS(0e!=y2~ffCI+7nEAGQ5zhpNc3SOg!Ttn=C4cK; zoHr7Ro$YX?Q+?csTCfV_L^R)a2&5nv0=uDzia+mFoF)a1(z9G&KX&Z%8Ze5-zj82N zQETE(1Hv}M`(_ga9-^h1hOJ|F*E@{izvbgZHA5H~e2i0;n_GP@ziaiPnLEtd&)p!O zL>VuH#?CHuLDUfr5g_WqC<&|66XMf-A&(O>Oen&|F;tCy+hH`HXZ%1Sfyv$ai*Hu> z>FJKwZ;Yr5=l0D`Bt{34i#Z{#38-lWuFHV%>HHlqGWU~P1wHIZWcaP_U0{18z(2}1 z=k_TxL%Oy!9pXzJ&nsKgess$PmJQ_G&vq{Y&@I zzFI!NPUF1t(A(n3*w2@)p@T&%dg!`GQ0ewinOgq8Vi4qJM4ssl0Xu5@3Vi6ute?TW z2fjniAHTvL^xImBdcxn5lbQ*tQukn*>@(#~VJWYuv6ljN_4h?JKdHK~K{pMhFeRO8 zKSNt5n(mzme=x-eAjr&z7?`CD0JoFA-6*hct)c2 zHmm7FslgFW=6y=)++CbpXMS_MqAH(;ZIhtSctC-wF%=@5F>&=q@fPFRHN^TOLPtd>M zKB>u!R|dXV+vF2#@LxAZSFsLIvo34un1KKT$Re;Czu-VE?LhczSB&I9cEkQ=5+1jc!GYZoA^1H@u~#ar}JSo-rbo~ zt|->f(a|BpHBK2<|G>lO1Lt}2&si>gUJXSc8e`AHX*7bLN{QuHx7E z)tP`vn&H5*Zig$f{^mtb;h$9=^8Gl~b{(c)6R^1*sDV`m`4ZY3A9!$k98h2 z3tMXPI-b8&aq8)^5O|MV#cS;x@R3y9l*R8W7KPHh-Kenj z^s!1VFY-&f<|fW&V~9-m4(-l2{AVV&@S^EJw@VoAaPXnaSIYGYB^cr4Vpl|gk^z{C zSnmTh6;U(L?!@*vYTxl#`A^XR&L7#XU4aMnHuio~ z1!7s{7u6dwj*Fb(U#U8CDpEp*mVypAM!t+NergJ~<51~k!r5b!?E|pSwc08`VKghB z2`zZ`ONvpZFadFf5M2NG&?+0>IL=_<>CKj%IeR(yV%ovpgwhM9YsxrHeei0(BmPKX zpqC?Mi^+J-ghk}0Z-L1t7aA-#MaXYHMXN(bLFlrIKlPZU2B@9$(N|-bS#6rMnV0Hh z{7Ib}bc-JyYt_=+-q%b9-Hh6t4ba~nIlopIcTEFjbH23M=2caEd7|16G>#_F+pgpF z+px1ZKsJnw__&S%;bx<6j@~snfV#f%@%+x&+E>u$Wx~)I7iLe< z!B&tlI)*>phM!jzg1=xC?YytW;o7QHx?#?f?Ty-@n>GlW_o!bzTpWnn=&CndqG{VO ze=tv{;C+-Kgy$)Bh~J#BQV}U91|AZ$fD4M^IOx z;qaN^ukQP-6DK%~d_TDK!L4!F11VnfVTn8H3BSaer(#z*{{Hmp)_0sZIBw9o zI9gb$1mxIb06BKt^9n}MB@D+R z|LU$nWO$OEIdgkZthGozdhc6>O8C}#zMR(cYEQEMq34piPhSn!`@Pf6RdX}kwbF4U zj4PGFTa&-M6l&$)t}OXXU{cxXe2%X)iTaA$aJ~=eYGVFGS-}9%wF?9Tm$(TLzNGF; z5k6PrV-Yu9i6G)e#alODr1_P80ncocEyu1S z5-(a_Z|0ieCo*L{+Uc_=cxN@6-6N&fI+bSZ*)?&}fV_qF?P$ z;J!?})X)5OTB6A9G4Xo59W?9;tDQ7?h-t4^3C9GoO=NfZQNriox z?-6@#W)1K@q#31c{z1t9LFQ+E4Ws4Yv9Ux!#ocKdl3U%@_pT4#iM_*)*qu2|rqG&b zp)50V3nR+>J-M~jreP3%8#v>zah z0FjEW{0I2WE9r!G8-%n3F;6@V+510?_UlsSN*AExB2ROg1qk&QJch> z@wa<+ngOT6b?NEmJXClKH=+rlr)3jc=y^OzF$=|F1%OjCv1GWv;PV+>LOy-DmPq9d z+D9sNPapMFxIDdVz{G$>k1cc8c5gvkY~JQehBcJvF}N-V*)mtKvy@5R6#bs2!ll+t_1CVeH*QVD2)LN(J9F&CS+0PA;-7dQ=GeKL@D1mBvP@(S=e!-Xk zaY^Kw{V~e$8o)aii7HA1G?~gYk4wshCWSFqVs9KEn~pO1?`vA?&xhMV9I_Pbc0$oosumF(@LVl zm5NfIIhDlE^w5C#(d|UIQ3z}#g&Xymz~-+MDr#=C z7QRnRxsy$pDgBzPidiHvVPgg-=vtyRBCNMB71=X>lLZi5&RlzDv1I)KAi6d%B*c!C zW{OENxSG}@OuxV{_~`nxV^~Zt)dw~b_;_BA@$jVr(X}B_w$)2&W~*P&*G=jlt!Y5H zg!gnL#4&^mVQ$_JiWf3A%9F$H`_#w_&}i*sxTV;w%1}TIzT_Zx!#+psAwq`UaB|S! z$8=Xes9H+dxS`r3XRon|6L!waaaK#qJ3S36J~cvmZ_G-4tsy{Hn2NeyE;QFOy?MLg z7$m*D;le`F_T0VG{W*|y-?2U+R}Lz6Bk5Im^rS!$DXziscK~$ z2^TSlNjEY3-c(If8HavN9?3?}$`iVkXMpeaNt1g7D-aWgENUUm{m@)Gl%` zk_TbF8?jaEC zcD^?XpeO|SsGxujW1bo6(QQGPmc|P8X-F~m03jw`>SBepH z29Yu>&XSeGHYCQG*fq!Sl_+sn!6DDBV)-dI2}^hSXWtPXBV*ICiqjR88NY>go+~i> zH-yFPDbNpzhnNWH6d@B1G&9;vrNwk~PcoSb-dysWra^Pq$wT}+u@%jKuXB`;AF*ns zbf1Di6C}-F6xnCh$_f<>m>iOy*Ur3o>xlO35WTOtEEi%&?WNY`$K^unj6BR$k@jf~ z7>QrW+0WUQ<-$CTc$Q6PTJw3mKvO2Ab9@UQ1T%F96i*U0s`iIEZdI{9r?*+{9WN7V z9vC6(4_T{JmD4cfx`nn56lcIvo6)QkGI;r82ki$2{FU(I2JdT>ob-WtHLA4IJ*agF z;Dr31u5TF?)z-rvD*VksRH3|ZA|SVhV?A@kxs;|nHvul`xeRlM%*G@I!;h_0M7i8K z9&EtRbLMHDzobP0>V2~}=pEr%aZ1iCbVtN>bDL2$$l~K#-Ebt1dXY>(XA#;SG>3v=-CS0)j|++NGxSsI*# zw3z86H1ND!|FAV*L!1Vx)OhYX;Z+wLjIM-P^lKu+YM{=t2Lh+Et$9G zjBk^MbZod1{ezXM6+)Y@*6Q?9LfZ*6mXDlH$sViBxX=vpc3G;>lt0rBD6AkguL$3{|f_) zgs*G>6v~R(|MUE?90Mz zm+5jC`Ff6?NrA|Sm7Or=*);>jMajZ-SE5}&3Z8C1b}&FJ@^;v1YKR;=w-LPlz0+Zu z{On=19>!Vt>DV}B*>%y{fM;7@YT)lUXuTHjw#(-L_?9vF=>!qanF?ENlAss~Qh?&) zuVO(jhTDy77tA&-8<-${!rjgQBaI!Y zZk@}vPlnj1h5~9pUzIG}6RNiQ;3`|bO0WhL@%UEe zb1!rMnw}Ng3PCqJl*Pbf?jVTf@`I9FoBm=4Z`>|CW?9L}zBUy>)Ns?RQ=~bRDm>6p zwDWC*q4f((Bzo%|3rnY|@0*M`ds3ZiZmbSN5G)JjRtCdz;Z;9(d;FA2hRYH(=MQ># z7kiyLi1cDv^m414$&ac*68%f@eG{?evBm6f_63p-@pHvBjwi-9>mDHmQ!Xrnp5Uud zqY8bNANB(^-}XLR#VY&4h9Jt1Y#mhLiz%OnBdUBtC-*XE>#EPoS9Q5=4y8~Gty71C zI}LptHloQaKwH}SN6H>|?|WVdzI`1ASgZryC^0GjHbHa=4kaQ5jP=WU}a z>pPE9S_@E}HWQZ>qi3wf4(*Sbx(~!kp2KIII+Jo3k&ZNb9aDjlhq37|>j)0U$j82W zDF=xy=;Obzz;Hi-*UdT*z%Oy^iI2`)Zk=U^MF+Pi#(%Y|LX;8MF0>Z)ra~TcVEXK* zD$lvU4a^2n*kkS%Y4mNs<1eN4%I%PO_#t-_N_YKWb6H&`q&`kJwT(VYW}SQKP~R-^ zot!&wx0^tBTa}|Ief%8H*&}`NL)-)$`qSH*FeHoaSbKyORcT9$LyGS9DOvdY@Y+mCzqq~;yuumx83|elA0s- z#gn$3k(l5b&F>s6G2DjQS1(|?a%V78DV^fEOw?#3-!+^Symibvj^DY?vx)8An^_hH ztJ&|BH03sjj4hi0QhPBi#f;p~?v9ntS`Bj*V#$O7P-rVM3slIxh`{jQvk26n73%yL z@9eYMA7I$y;%pZ9%Dq&_pk=zJMfS|Wq4V)+yaFyNR4J|Z_6lJEFVzc$-D~GqDz~VI zu)Pye+Ta6eD+w+5OZ{Ef|CgyFmVYYrJKil}GhFC89E`3&)X2gJ8jq8E7e4B>i4}E82 zbGvzMd?mdqoIN8HkRacyn^8Qe?;-xtRX#tb_G~`ZnX!k_5Re%x#RXU))WWPFclr_& z3x+6(@89h5Gioya_m%{>Vp?7_#a)44k#drb4RKpw;27k`3`THcj!$*tk<^rqD zX%fo|OdQGbqkCEGVQu7#i|0I_-K;}mTpKRzNu{jPIHgCLsz-icK)H$zu8DlS0rvnz z$$7BnePTkPib7JTbe1fr%rv|rfZzPK+53}32P6NnG`qbDhv{**!j=^lnska2HZAibB-A&fjY~H#@I<6fueGWX;)iUeV zZT4cF;X>Y#@oHnEMP?Y{qgA70TJDN%5!RR8w#D{!BbgUJtn$mdu_P)LhQ6>oq*>J! z?D!uu<(XdcIaZWL_$0RM&y%(j+zB8Ip=NI;x&Iu!Qb_1rlLFOKYrF}fOnST(ggxpU zWsrA#tyb!NKBkSCjEkv|*CRaa_#h5vRj01j+O4~rEW_rkmFb>Eb~#*ao%yfDEk2LF zo6e8_<_9a?sDyO9EwXRQyc&O1h!~QI-43+QqL3#vJF3G<^c#2e|LxK9tN^e zxpe@9F*b<_bZzyP-zuVI(>#IVGJCWH#!KT}hioXD8u62y%&&EUot;-d;uYqI?et6l zbdI$;CEK(S0DZsiOudD6}$N&ejEA0BC<4Z=72eb^kZ*S*@$ThFzga+4nxaS1p-29dn1Nr~Ivs}Urquw2^m2bcz04;c&sbSDX`NeXjH+unc49e2J;a;qvnEs5YHKK{+@jJx5S0# zK##c+`bqypcumS#F2IT^@#I`i*c#GEgpU;%;L-E*X$A*o!Q1?}6T;N)3(M|Qc0a&(rJykwoFgzUp1bAA46DAA`Bf-tyY2Vky&PdWm057pA+BSP5# z8&R>UfIi<|&b-l6wONPAeO!9Fra6_^UeU6fbsiceGk9?Ck;Y!%=Fwmc@Au(4oUB>c zm-!f1&%GziSq(eo7%9zK0}BAC@xu47X{sfMQ`f2HfRWBu0Hp;QU*JABc(pfYon4fJ zyecWm+U`Eoo4-Yx81vX!?0Lt*v1zKvz}|?ec6TKfSv`t!I$<|KfQKcXc+t;BUe9)O zZjKEYPI#aAvv7lps$utG&wcY@{?UOzRj4(RP3|Y`;tMX-JR8_9X|Hv?t@HYYJF^yE zy_A!mz8V@Vi^dzZ9}YP7PJIAa%PY;MZXI{Nn+%k^oKvs>d5_O&Ju3;fZrSuc2;O!P zCDC8rw2z}Vl%HX7Mt=Hudd^Vb+Bk~tJw*&&ZbTB5Lszp`gKpf8aRu@UC>Lh{)pt58 zz?+yQC%QMkV##m#V>VqrIx{9>E}YfMM;9PK8>~%F{xkYU?ya-cSmrK6>~F0RAevnJ zPPdGVSKVwyvv{npbzz<%O)|U7i$7#*P(S3Ym#faA3*@c!G>sq{FM-K6%jVb0juWyy zN5kUIqA?+Vm2_1X|I|;6_^GdcE?%S{tcg74sa~(^d( zOQNBOrzQpPY@z&53r!fspf78``6XuP9!wy`;JqI~qetrTJI? znXFHzUuotaOby!EUmO&T`mMFVlmWw^$_7x)fFpEotZSO7Jx)JCat0RxIk0{(qekso zvy_GNU!&!SY0D1o7xD#<&rTOnF?x$x$3h&W&@9|$-Is>*RkR=i6n;F><=x4756v}u zjUIrSX#Czbd$|DK_|Sd?H3sFrjvR}5tNJVK!f$+r|A{lnk|JF(D!YUybfw78grLTo`6f-?39O^0Hy&?LkR0)A$7W2zUgKMVIDMhgJb&4+5| zBZ9Xc9=2_)^Vi6yzA%(h8;f~R?UzwMZ&(@OIR)}h>Fycv$6imrB|o!Qc+{&+wG+@8 zrqxbui$Bg&5+k|vKf7>SwDFNyDO=HX;Sm<~Q*=xK6NSGodeeFq?+ZXmcb`E~V` z6*9N)d=H{~o8EFJo~T>CD$`)EM|w97NFEeh@A5{ohrB~Hw-=Fj*}#~sTHe!3D&u$F z&jgM5N+?0lQc--{@;Wk?oF&F)V%e?Hm^=`cs<)2zo~uE01y>sZltQP$4Dz&k5p(B6 zy1(;8kgfkOi%i|x^@S(m0HEUy=C-@mjj3?tn|-jvlUfo{1NzGd#Fd&Xvg8F=lBvhD z$2Ly;aqn~=^!L_V0&v`0&V#98rM$~VHY)-RVPfBMWqE33KtP=BO$V%TWl6reF^?* z9hF?ctoVgsY{hcc-7q10nFpG6A330Jv!L=2Afjd@SeLjIV>)x^MrP1WT6tO1weDr| zL5J&>3HA?p1I)!Gc{@E!BzEt|zVZqEzUq8U-{*g~fNhb_knRZ)s#*_w6aPYfx`MX~>!mO~7D> zM=!-&W2E_HVD+{zenmLoJ>{y_Ky1}dZ(p|E?5p!U(nfY_NK@iM(+zXUnw62@Ydn;(& zfr~tZ-$c6@-b$V4u;_l9;hY_FUt)v_qv*?b!lYzQTh1kcF2z4~w;{XuZv#f*kXCZB zm-g9?1$FQ%spPzmWw06IqI>(d^3a=8Qx>QY5yP6jz=UORjZub~Q7xql94RQ{wB3l{ zsp_cNtWsbL?=R6nkEI7~+ba*;75udMMR^UGtEVyMdT}TJhqS2Pqv(~b8)@|$`gZ#% z;7D%>HAJ8a$ht!(+x;R%Emt$vJrow-qu#W$I+Sk_=W)U=PyRO`K}T>*a(j$vwBd7n zT>QLYIg@PbQiGG3d7DGcD!~t%Te}O2B}Y3sy;p4pBf|Xu7r9XsJp{S&+c`|giX>;3 z1I6?XazbL}g|4^lOeyHYE4$eV7oowH(p)&DcnV6fCHd#W5eAHA=UIv#>W3w4_PG;1 z)4Qdu8t)pH`sLe+YftVh-f@#7!Y4hURh1M8n4Wope*2p57xJ+X)hKz+I7jL(2f#Z2 z{91eu)hthwK})3TK9|DJErUx!@5MI?JuylcV>!MIHb3&7 zXmULd%vjfAK}8LWF8B1>!Vl(-MsA#?kKR4mPZ%flNtjn?_cvCaIy8pdE_-k02n#=x zw)9}J%q{m|*&=GaxY+rtn0jR_Lh~S>SDS}?|16f{e@}~QQ3prmOGJ2l9k{Yi%?8RP9O@AYExNJt$RSQ#_kvbz_={{J*zuQTHca{~Bu(L3HD1*6aGyJyb zc)&I|@bCkVKVU%ZMjn)buww%(vb@zFz0P?Ls}PkJSf@`ZoId7@ zo`dPs!MpM2|4Oz&%04Y{spJv@yhi_|%P7bU&r4uzZpGVzAUu1RELvXn_Tej*qNFM% zicY^wWUuh6L+;3hGY2L2rabIjx{va^{EFFGIQX{$eW2)3z_}x?>(lxAqZh>l<ec@y9zJ7{4~IG&$bQ^xr?=!`IylF%5VBa`s2{*^~eO8qwpP#HwF`37$vZ>p-e| z`cfoGrbP|wFi9*QjE4mM$=t`it*MxiNmxr$R;FT|k8Ea+Vxzde`-POZnY;nlhj42y z>%VsAFz|mX09@2Xf++`#Q@<1at$)e_BCq6S>mK~@HEOwVRObO~p<4P&Ptf7Go=;Kj zVZ$=p_s)aa7EhtyX?~zf>06!i7N9DruqBNDDKXeghXn7B43z(BTr~&yh7frL^wp5% zxBqS|vFSQJI)<(Dr_&J7Np&paGYwj5cjixD)Z~f&`|N@n7Vpb#1q@w#zfolEq=3Ne zXjcndQtLe#c`}B)0b_s>h2J*UzXt$fjS|E%2ni*D+J7>#CS>AyE6j(KLT$ZWyLF%Bg~ul8zKho*DV*y1(-AxAwBXqU>dF@8_@B4i#Xq&3NUSu+ehR`j+r;D{ku;)0u4mhE0C$9oRveh-zZ2- zA(0NXr_J|8VrnOSBp6!Wp+`ew5 zH=Leb?q5;ozcX#AKM9;PhjGfjt!%|iJ6E-0nzPYuC=={J#DPBvyPKM?{1tFHBtKT3xM>L%6xN#~(M)?F1c*Dz zg^d9gb$#S_<}7F$vY*?mcps@rM)SOXdAj}dZ$0wNT^~kE@UGnJt(G@qs>?IqduY`m@qeJkz{Og%oZ&8$>~s`i)PrkSea|DWL>HL+y{Y zRhG{bFXn^p?C7FLQ~#@BN2u$C$l8lRe=*Z+#n_s^+RR7xWgOIS+GgVvH|ddo#|eqq zd>OSL))v9AFO zFD!)ET?;#mEWA(AH5?y8*HcavFU@5{llp9JUoRXMPB~CVggT71p+gJE*Y36tXY_?0 zNm3^#=0ZJ4PPZGUc@GAFx&F_=su|osBuYjXz3;+b!$K$VcO|yvW&Wxt!NlYhYu7*eJ67J6%oOEu!8( z14;^X9V<0Cg14IXLC#>e;Ip}Gw2K9cdpt(kU+b&S0nfY3?)5u=ZR$lYfwXB|wH&_l z&~3?iwLtB~pioCtz?=W;)i1DT?P(?_k78f1}dmPclk z|7M2H!59RrZ-u92yUXTIXha2G`jp(NG6k_cB#i7A8mmEv*6uXBeM%IuF&}_<)8wN} z*$mH^H)YqytRE0=4jBWCtBl5v2e=a~AhAmekgAk_Bag1R4;NxD{$cLMaTpgo!x$tl z26>n+-+R!Or>cLCe1GM3>)eR%Wfm2(zPF`C^O1j>*)iPHu8mLVn(hZmzEa7;hPt0& zXVlg84hyl;eJrDrM^2)Q2)RO`Hl->h0vW{L5quDa8Pg*V`ybU_@+Xe~AqcOA7MyrW zAZK!=+*05Xb5kYB)%19&==pCCxM$Dt${BGNmDjt2;#0Dq!9FwV#arPjZ!r55G zxkKQeZGMgoqFSt3CLCR_(RhedfTn{GEyLXPuh&;$m-OK(~W@9g6J6&Ykb! zl%e&Los`K|h{{lj^DnUa(!GJgIA^Wd;H$-l=^kUPsDyp~B$TMD-^K?AY_~1e$22G@ zL$K=Co+;r^G@MNLxL4vXB6!ah7+TyD&wE^oJeYUDKv*(&Ypj#}=R0%r*_O{=%5rwV zSYT&2>KXnRakx{G7HR0&h_MdgrdC)f7uf4-@->?AWZN~t-wI@SJlUzCOa_Q1RmmKw zF{eW{U3w85R5H~w<_1}_xKJeywJ~qSi;G+Gp?pbIA-**4X0ekm^ewu8mZyRi*=28T z4XlLmw3wGIAT&;}15-?)F9Q^(}Nw?pvCQ zzZq8`>@zvtyu}I;cw2S8j9_>{ieSajNsYEWcDhIXIloJb;d0SwbhUTsA3m|!U8&iU$V$tBpw|YD?B=Z978n~?( znv9^agc;rC=Ej$~Xl*69OZ&2A?A_|E$%DJFfLZ8dxvrW9o2>S}*-cPN{iuaMCeVdA z#utUwNNl30*<=3W)l+(zG~lrF&B7P6atG3=`WJU#K?4O(85QadHrbD4_8+$GPfE0b z*V2Dpg0T_|-KLja*F$#7)%LS4tFJX@UsNJ$+yYTiK-TY?h}q~WmFpwo&}3lS&M;Y( z)q5lP#%IN+O7P7EdD%DF`k1>;ft~4H;Db#<6Qk@C?l!u_yG>h$j4whNERCt#r^VfV zeLID&YA1!+k{<(hX^}IYCp$MA2hT0ZUsM^%&j-urspT1+{*se{zKHx*n#xw#8dfr6 zIQ^t5|MJbpLdnvD)8f$~I@ShK6UN{rV*gJR>in9#-^@ci* zL4G!Rc;`8@RM*))GTrA+%nduepcq3CQcV1O02i1t z@=%=1gOtou^^;9gUJtpw^CTR~Bs{y7*JIH*kc6WV8A~|t=e@U=Y-qJg8Lfv)f`S!V zGZs#ig-;&Yf6BK>gQeX0uFTeRcrdgo-xbc#V1;DLj8yym!g0gXWE?GJ3WN={8oWH9{uw2H2 zj0y=r+df#FMch(kA%jrLN}fu;1Z5EP1LiBQ74CH!?)Oo913*%U&lk0Th?mrpSIq;* zA1sC01E~+rvR`YX`tMzye~`Ld60cvBehjWToO~Z1t{d5#;9wLS&33j_G?8B>0*e*xE9ZctTiYlzFkvx=lf(vpR(sd))o!@Ux6Vke3Ej7)_}9TSAQONOE3_azm*x=}Q_QWVd`Wd(sOP zTB$I(3h>sn64j>Sd@s-)6d;|o&`f4oqYKPCd1su+vwKZ<^Ajcq=8cS8_lTb6dZDJLUHc=a$-849Loeq~F?{d)zOE#mDVXpKdGaPmS( z-Dv!@SWb%&jq&B&c*~Qu6&^l#$jSkyyxe0|%42${myChXgWUq*`Ap}A+~5HZvb^|T z_UGHw6sSKC;++rw}B%>e7#PfjkD;iyJpGX~4CLkd>o8ohWw?C0{P;mlPDnQjJoLFJdU z@}j9;NIGPav&Zu*vsmMZz87GN!YtaVUm+Jn#9<{Q&a2^Z7`!E_0_L410HW4Ay#l;G zO;eU(46>V{5}EREh7WGQ`QbN(!c3Ch>18=Q`8|B~J_r@E!**u>CY3S(LO^(W@Hiy8 zL7xHXUvc}#JyIa>y8#vH7%Er^I*j*)7x$Jk8IulhRj>*m6x1SC3fIwQ6-DK_VPTOoRBM zz{2#e&psh^Pm!x(&4@gI&pS4AL7z}2!a2Y%F!>3|#p z#ZVo@X(E96<_WHIYaJ7V{&t8E1POc|_x(0LEXOiR<6U733M4jA`ekblaK>)VLAxq# zKe04MuCwtMkE)DZR+?KMGW`bS)qxWJHs&WwSKwjeFR#`%a=ojnm`);OmqY^g>k4C@ zC-Rwl$%{d0+MK#hTZ5`INLOErBt=hm%5+!1=<$=`qB-IM7!yT|L3y6Dbcw$N9V5OUd(Gt|)4yFh9)io8e+8{(RE06XG_^s_lueo%O?CB6 z(oSAD>UY_Vnpv32D#32Vh0e54Qnb$QvUz5bks<6SPu8*Z0%Cyj5u`iFLz<=C0GahI zd%w!HW3*TSitq?y1G9!)+>1ja(;wy#w^J!Wsh^768Mim-HKJ*#kR$*EvR!nruTh@= z47sH~uYKy@uOriD2t~}-bK>8!{cEeUalRSU)BXiq6CDCxFISbCwcyQAvVP!2W0KV5 z3*l4nn&wn_6JknkeAPjx_iVcSL(_<;72X$gNKlB5w=mI+~9MCf&=;+$aCqvo}t zEP#`qiNXPQXJpSHS(zjmE9_-7t4|07aXwsmSx@}ZLJLhwn-%xVdfFpQuy%;9Ow?8E%OKGZ^ z{C_I?@f|*Y77g`2E2|imwJ{eP(2!?l#?b!pEWC5AY-{O^J&TrJqC!6I*VD1KTc=sJ z47$$#uiaOUh2JF(C$F)B1%Go+mDm5VHQrA=-^U-*$1Ts2;h7$3V+bwS|y@<7@kpA181`z&r%UaR= z7C-!&M!Q?!6a@6!Sidj0vS&zq61}V|nJ*?%N4zY~H=NY3KNozxF0xt64CAHvuj$rW z9rH|DhemH%^j$pJ^&sYTdYX+LkyYT#UrirC8e_0uSE`;Bn3kx4n%RH->s!B-2FW<} zKk7|ki1mLne|N20>K`@8_y4QD8$kzUo%9ofV_Thwnrue%~^skg1!L97VKgS1`Ye{JoN$ zizi7Y_-FC-fX-*yZMoZck)&^&IUTP`{!?N)p9wq$8j*4KoW--CKT;aWdGO^9NgUJV zw~?oBC7fr`+JVhjp{9ySA>O=9kt|P z^B-57VSh^MBk*^#O2@ES;DkI$gS#!-mJ9N2QzLqx4!Ik#wM^u-dll!g!!IUxEcfFY z=H25L>6Zyz2Fg>KmQU6WSTJtHsT-Hd{^p7&RowmrZG3AZ!O2@DOodAiJu%r;i|=)pbqo%vTkv0%px-Q{doE>#WSVXNX$ZR-}E<@I6Mda~cK{&S;t z$NKnWjqCB{Hf@h2S1%8hkJ3e-s(a|$6ReQ0WU6Ie?|yK6jT|sE$*;G*a#?&5Rq({PK^No1> zrPXVeSYik7ZtfBw1)0i~eYWOQM{M6!27CrneOK zO0p5q?__-VE~m?e&<7YJ>YA36w*s#IkwaIrfZ1m6gfgDrZHd^vJa8k=1IW%R+iVx{ z3tYB6S~115@nesQhEOexv( z&Q$%#3zB;;OTra<+sgYgfV4ckk6KU(^M*1T6f?Z_BH|bJ5VppAq~ZAn^{2rLcE4H^ z=qX$15?#n*-@8rDWQ+D#lCG$wEN~O7ZDxjA7W?^*bgMXp-Z#VOsq7Yio8~1?5_gwslS`e1od}=B#1jC4FqBH z7#W{3p+^m{nyfb;IQU3%w4Gu!(>aO!dB!eZP&|-tE^(c~hnZqkD*HO25sFJvXPC_A z#iA15bOa}D$d~?@-f0}S^=OeEVY?wTs~{(x}GS4DAN??PiE{L zauK7nY`&`R$kYr?3zqg`HNPA@N_mV)&|vqZ#4 zt4%^b3?6j{K@ML_+9iNX%VpWev)|jT%Eqz#+?I@{qR%%F`>}ieymc!nK$*5+ek8n; zeH?OX9x==;#e90^)C@y6KFy(9Jyln!laeT{3B7#4xjn9(%C)%^qW(C`5*$X8A1&9r zsGOuyrrQ$r$+UkOOOSfZ(Q)D`@Sul(!Q`Pebp-SqkG2zmv${xklo!xiGOgNOx=Qt6 zgC&U!>F;2vJDdcc6*~Fpvk=tS-4vk-R4@d3@)_?ejwc%yl^J|8tZ?1FIIe;D%3Jn^ za`(T=_5R=(Wduw^Plj4}@y>BTx{otwmDbV@!u(2p9GIMZ6lG~bE?u;;f_F!1Y6sg& zJG1RSjb4&BjL9U1*}ksfl*Ag@pHEiD^62ricXp&R>hG&J7*!oozOMdS629%6N1@VAAGl=AT5MYHC#6N3gn46VOb4;F zNdP^$V}?&LA}P|Cz~a7x>xKY0jmD0T+93GqO44WV4A*)i(arnz^Idz;fGp@K@E%l!+4%5`aCso~L`2mz7{JT(lwsg;0skaA2JiK$y4?}C& z9<@$HA)CCvk?^gqf_*l|R_DGUb*A8H2#+yPm%U4bski^Z=>7pQq$VYimK1;J%)r~4nZVSW20fYaq5_g=<)@y*M0?rz)y+Y2s9I# ze2_#E04JO-a)NGo-%u4}Vlo2_DlrWPdnre8qfxf@%XftWm-vZ?dxamf%_*ryo$wDH zMPd{;Oeq~ITgcX@XtHH&a1_0L4LdNDtc@c*N`RHhKsb#C9n-%!O%;4-SaDqv_5^9 zeRRzhq1|X)FW`$N6wJuL8b&Yr2eb;*OCDAalYE%AfJBZ7h(9`S#>XVjFYxU+@Q#`f zC!I}zXNB~@zgGiVnq)|hXQyO1si>*@O#Mb#_l=%GWNmq0ba@NE>r;G~YErVnW-d)} zY2Hme&lB*C*Sg}uhUa)=!CpTN$!8Qa75-zj{Mc@yDWSHQHO2U-&glq?!SGYly>6dqAQRsu~T5Sz+jnYcnto;RPPGR{b{5;sb+a@99+}6T_Pn` zVp(D{9*SJr@~=i+07jU%bV@HIsIreDa_36~qo@SuH zJF^D1VcF6^zy~fuNKW@zruIz9G|z_-ROup+A93 zrp!MP&SACRfyjPh-hWl_@Uy!8Pc(6=IU;NHKS;EGhcLw??)^?N`AYMH1dm;8Ky0{SNjy~YVpaK_ZZg(Vq6$)T_>DP- zWbaGA{3FZ!lTh;7>QCm0i1;5IdWZ2(!pZQ>-?lDQQ{MW~a z^i4*WJLOe@QbKsUy~-m!-n1I&YGQODBRgMUDaT{8jJLv6SIswUvMhdE*8T;FCY?72 z99kC=Rr~{Q#Nj9VB`k)72$e-u(^@do9)Eb~goloTbCVLKiU&QM$k4)ZeB5*NOXIobUhTYT_J*OJkR9 zbeiWlexNJb8@(+5-3hqBK+Vu8I>b8_rn^oEfVM+-q{J4-P^ag+E10l1!=`tdcm8KZ zCU)ruIPoP5q#Al2?^(3$<=+hWUZdF>LLXgu6|&F-5a0e8$KZ$RHhmg48&xb7lJteg zP`-^Wqrs(@94Ed18RjR>7R;F};Bai?{mlI6&8tItAqS`T%P?rCF7Ahz`>!a#=i$R4 zX536Nr~oaqqXbwuj>GJN+h{(2mUz3fdmJ3Xkfd(blM9TJAz8qZSuje4@2grphBByP zj*0*CtB6#a*6_wKqU9@<%wh0m*8va@ydfXP`6CLow2gkhT-3fY80_hC^*fp-pxvQ4 zmGXR>v@&Fg^JCiup-l74$B03RSBPMu=n>0nm6qR|tvQ_HX61tD8Uu(>YwlMpncH>c zup-nEGwuYsf#vA$+hC{cov#prnM+mq!xKBA0x(++@BW5O&?Bdu!Prx_lkIU85IpR#cNowJn(q|Ihkrj(Z9&I|iSt7FD1V*F zH|7FbvXn0ohSpeVhL0QFD>q-3UCw?#k%l$-^crkK`DQAAjryS=gj4%GBgAchAD_hE zV=EdSG_bYB^`|y>)WJY4Gs2zEc;J9HZJi7c196YNNJ#d!mjUZ@>xnWRxW^;elHqfv zv%NxYa@c5@kvQ??Eh-nxl$-AK>znV&BWgGEb{e*Itn$c7|6&_U<3qul!XNf zEsshEzKkPTybTQPTU&YgF0ee(@*bQiMqk>e-%&oihK*U_Qq#a1E$selbYEBEINCCL zg;P`ChlCk(BG`geVC}uQd%E@kiepX60vSZVkh_b!Qu*sA6Q_jV0TIQ{{4Nv0mNePo zOAp}L_t9&Hp@YTDg^L|Gt={%(HN*n#0 za*MB7OS`zo@uEcwS`!we!)@S>6P=d|xeB4wu!7DIaC#HIOIrN7Pb1;uaYa+V1yRHz zFA;8=A1n*mqdf1d0%I4+Ry4A|H{%RUC4o`U&NT+imVn=67rc_$POrS!59 zbvLR$k&DuV9Fy`4N%~4ST!A2Y&PBfTn#%7<_6!r>LYA{F#9qX;42ti&sPBj)mh@~@ zs#x1=wNx?CD?~*t(-dUy3Xa zO>C1E%zX-8J{8}8OHKE^YagFefh-^8g=t-=CkIU2xHTsxZiQ{5kqG8N{kmob*^$#A zg4;7sS6-V~L6b`qDWNDQ4vosqwdysMQ16+sG%eCgA)5EMf-G;(?Mk*)XOah~k%_Xf zhr+++NEh&u#d!cF&hPuFF@%`{Yfz0X-htaF0Zuvm=D7~g|6 zja-;+I$O?VMEQ3H-qGU7`r7Dm0!~B#;qq3H;nI}6g>TG;{)TiQq2WcNZtQli-4&bl zj(FL|g#Pm4QK3~om+lMAmux#>^jxA2z#A6#GZqnHX&6mrZ7iVrx*8i>yOO@?V_}TN zA!=`et!o4_{=x?ke4J<>uzf0yexveC*lYyU>u=K_F+O5uQ14|kVb2C_V8Ox`uJCB) z!XEr0gy_pgm*G|DK-LxFi?bg5vI}vGEX-!G+WMFSn>~=Me9P_ zSfbnZ_Jc&E>>nrAMh7rll*5jLO0xrzx3SVP~U(gl?Vdo9pCn?@@1I|3kA8hgpsA_Al!OXwsi$zY&w=qcG)(Xq>>qtu_ zOdAoLx@ZsHDDT&Hc)eOaV>2ydN%vLbat-sc3`<>h8J5FrK5#l^RZc3}Y6Mv14ffm~ zy2pH0yc4h(JOeiEumv#hM>e`Nbu~Q<)Jk}Bs4zMBycOH4D^Uvr`+W3%4h?YRww%1* zyP8Rq?^Qq<$M7r(K-qiI*w7-9-qgeNxkZrOn~K67T$%9Zp5;KQ$AVkKdJs?7nVzB# z3+&e@gZM*FtzaIR8D}fkrHL(TyUVpdack1^XzFX8W2F!dyxJp5KHXku9pGL zYfT=(Xa;{S=7&cxhRo&Y-^(Wk)5W0-c{7VEHAxcZG{_>4#Lu& zv7pii)Q=^~T6QWOw*cs?Nx1#U>Q)=mR64&?MsiBEy_3z#Vfxt}XGINktEs*E4BgpKQErdECn$(e@r zLA`C)PC>GkHfNx~Hcy^j_To%6F^X!1XXRRY5`gYg zZkC$fL=>K!koK$woDK)XER^k4YNEf06LvrW2GN3rX3mzYUNo?N(s^8d*ac{{W$v}l`5E>W*dJ@U??v*aug4ms%Hd?pY~?8 zt+TNmux*%9eDacx9F;0|uz0_pZE%0GL80)g#7>M&4xi{4;t8x8bho$__xP3}E^ZEn zY|D6@yr{8bv3l~g7>%QIJ?7}LD#yAg?4JoZ+8ReJ>*ZVPK3-19QQv=MLVaaNd) ze63Z0Sg>51imzdqOX1zAB~8Arx2{{wRqXxU8HV03YCpO8Mz1+C2#)rCyqR=Wg;Ih|JhcaKHUdJ@2qEn(diI=-dU7dQ}|e zss36sY}}%;I!BvkG9g_<=J^NPPb=!18?R@Rd*I8 ze`R?Wx_nN1Z1bbVF3U-Cp==P{fVC%y_pb(~3#lYEx$`gcXT4p%g{0(5SsT%>m#Nw< z`8+zr1|}-JhbavWTzQu*LU=9OJI6NtD`in6I8En(1Q~`rcYkop7c1R;X6uD=XNrym zrZ>M;*l{3&7V3AA@vVbhn}1e@Ku~*<_0z2lnbE6lr4)BE1nrNFgL>vtMhzpbI?>!#yCJak=o4o{!ri^ z&uRJD=Na*br`=HldL(L~jJ=tzcFcKq6R`Ma*=224Q&I1gsCOGaS(Tao!E%E#_00o= z+L{uRwxIiX))E~kcq6T`CG@r=S@8@0f%XB1CzTBs9!?K@$(sZ_(ZP?xW+b(0r9|B~ z=Dc0?fq}Xt!hvNRE2phH0my{qFZwisEIXUj>$_0>=&-o}pgym$J@qKFhg?UC^^)Q5 zv(-(Org|!y!=%NEh(I$)P`lD#3)YD^)~&PBJOI(_cBc6deYmz2!zw2kZVNQ~<{Fs| z_~p=mUewOB$8wv{SI4~Fg3Yp(Or1Gz%V#3AE$Hk&`N*Td_FqNPaxfSB;+_T^CHVcj zSv{Eb;70X>;LX&eqWLk*L%~5Q)P<8>857r3~W|@Oav0z zBx|jek?$P~zR&%KGDaP*>1u0sW~u*=>i<3;ho% z3%F%?G_4zgIo?}_mBaRv+fG=MS`VGkzv9vlrsj(ImC^M^;s|NaskAVgt{|-vhj(2; zq3lvSx5-$>46MzU^pe5VM#>VCn~5bSb1x^zL_BnF7Q?j~z9WBpT(>@;!I;dw(lWFT zDLNQR2Z9II5sU`X+_-D_R0^z>#bGGG~q0Wq%t$h#YaFbTV185rUS zl`@+z4N5JmU;e6r_K?F)eEBMo+F3=x`ZweagaqFAd>S(NjOgUgBEn;0@IY%dmeewr zs_P3qvQDRKc=8IbT7}4=2L-m!ZioO8k1*fuwU`uA=WP;|_h|rbl3!&}e8+J>xc+3~ z`6iRy#YZgWv{>Rx(Zefx-t~fu50Y!vNq%0&4sjknx8*n5naftz0htC0P#Z7>Q93{y z<2={nxOw!r%AN1y!e8dy$D`p3wugZr6lu@1A(O^zMCwC;U92;&;PM<>T5_Fi5XDbN zTArhVoUS}N!5?EpEXE$~Sro!FHmxQxBkASeLXWCP`scP#lY91aOB4Loy>~iG;ZOPy zsh1~LybRr~&T}Zfuu6FoI8dT~AmkH0oa&mQ%+v3yiQSe6Hw;GXn4R#$S|}11zCXI{ zp(j(bW-Lmq{xJKLfc1pLkusQf@l4+g41Wc+@N&7rBR57xP3~~nKd@fWRS@~1(}3Zt z>xk25MD!n^_xzXO%0z+~H(g9a+iB|gdj zQs;EM!ecKO{>9r+nmZa-CTj>&-L$PV@+KmLT+bMurIs&7gw$+y2TA%Hb{K`_Wj`RZ`{!@*sufG932N=)tzpQwe?Y=_^9@)<%6IE~Wtzq6Kd3 z2=2kqW61-qxsUxNxaa31eZrRB0nqE*7#$_3iKOx+&rZH!>;9m0roc$p=Z3em$hOxn z!IkTd+j1e-9blF{C$HbhUv_Yo0^y z)!VT7&Z%X6Vo&)y?NgcueW6HpWfi$IFY%0801RoUB(d z;73zdu$DTmyg|<5)*W5a2thp^5H`>HH&MO9?ByAYejug(EOZUgI-K_a4(vAV69*rkoezUyk@oFG7QXE@YA`UQQd!9NNgww;wUHS|ZSeW5iz4D&>ipKz}9~yFj zLbC!F=Tt9OFlRCNOahj&wB$21zaSoMvVPvJ*)Xy_N&7?I20}Kve)rhMwkFPZGiTOS z0iSB`GJ7T;_Dd{T6wiO->0gSUARF__nK}C3L~;+N=5qJ{T=ZR!5#O~hIHbY!rIgzGD5YDaKJLic1=u3>I`?V$= zp8x*+9jIguN8Sb>jmA zzlnNVjjrE`WsgMvzvcA*H?>xiNPWN=!N|<`eD`Z`MtjB8=On}_k_JBRUjh>xo+5Rm zB$=C9mvSrJZ%uh(-hFvO2Ej!z%9wb#e|~&jndDKUeDsIlPFih#yOi7S*InzUzbg_< zg)7_uW|n@XIVAfR(Fo!egkF%GqYqjG4x(xrLuOiio%m!Lm{U}U27!kRfrSVus#qnk zXIE<>{S8h}f9CyY-M(h=Q|l7)6cvFWSflvs7600IZtejk$oL%RzE*3V_sS>)XAEfg zGZg6(%w`9Fe(N*{^)cB$PhujiL~Jr6lRdx| zu+!RrO4o%iSGvz^I^NPC$pwj=6wO$qorA5N9^VL`VPX@W8(Zh zc^6tkxZf=OUdll+C*$2*v^ousS)l(_Ve`idjS653d~)gTV%e~==St1Jm}4-PiPFo8 z-71fFEA@4EsW+9NtE7CZj~XioU2RNvlk#0%ujhYaQ=Y;SJ*F`(XzpUoS#dt z4g#7!OOQh(9v7aS!0E_tNO`9x8fmtCdhVqzZGv)phAmQ9Q7@DcJ2D`M$gqP-{8F1q zVeE^R_U<7`F#|q9UA%4jG?YXnCYScyucI}ea5+K+^jaUCs1^#x*!U<0zm-O%Drk^T zuiimm?%Fnubs)*S6VuQQ-DlnrDwQt6tA#14J5e`+;Qo0J_)`-6Ry`}%90gfl<~kcQ z@7uGe$fQ5FDNS~mbHaMx^HEvw(6RLIeQetqpRZDp)}$h7uEKI(dTln;Yj={UNt|m8 zu$L&c#gBfCfTd4~hYoG(HynEhA|kes@ze)|O~a;!KJ1dC<$2FEz!oxg(*r?n6~S&k zFEARwU_}uk`b;BB4|c7?$H&|IfT%eSrgtwyz8Y2W5|u1%zLqI*(0NHbXOoa!+9Dh! zD_b<~aeM1_#G?}A_~*?JWF0r-&@c4xxnNN9VA@{fF2i+|IW`5ZYUX=tG7EQldR`Na z-K2;Wfkzxqs@nBj=gS?|U6>t#oDd^xdX(U(QgGWJUJq zi8xXYu$vvI{mnhjV=L+i<(fVhXXT+sF(tLRJaruK*drr?(-f|04l18EdOLY?71`OS zp)rfv=NvI%(xoJKqN!t)n+JSL-t7A435@sAt$ek=%W$zM)|C{O@(l??`ku;*@Wl`Y9^Ee9F;ZC_8ud zlVmk)!y% z480cQVo9_}Q2CKF8C@>;SU*)wR-4$64Q03x=QTL$%BnEfBvQTZ#c0MGF;s2TFkR+4 z`0yZ#`A4~}y*Z7aX3V?q9rQ?wu{I;c9C9@fg68T(i69(FI(Pf2!FU@H_{nd_Sdjbf zF$utmw**cbdcuiVo+akkXZT&&fDU#HQ%)DvG#8u+Fr4li z<9&9kfz#Y$YBYk0DzR%+R_}>Iq)+afZC%$GkP0@wX`fcgZV_DEe8AlE>8!XYp^PA& zzUEmnBf6-4180jA_RG4i96b7J%iY|4%58m=bAB()Kq(&{R`{m&hR-jug!$?)Z#Jg8 zaKq!ygDeIMC&P%u`P5ahZA%)3BeDm2zQEatb_b;!Ou25Ip=}ROWJv1be3e6S*1Kb! zj=f}yQ%PeIa&==;%6)Eqz$QzAc1kD_N^pRVqa zhc|VaS+na6KD@7<0~LxDB$GCX6b*xScANHUozzz) z%j4v+cb!1}I*Pou`LQodglEIi55<$k;?X|1AwernxO~b$M zRpZf_YJ)Mb8s&i`_`}FARSq?Ged} zk2s6j9~%T0#TZ}f4&s&x{oW9keCcqg-GbRy$5f&_1AcJsb9F_R%Isi@WjYKWKpTWh z=kH|^+eB7TP0R9T1!H4G_6ORg<0D(rDV-=w9{ddHYSJB*?rypO5Is6$h%XBOuCx|5LB^wuDH9`pWh9}e6QX@jZDQ}^yxU!c$pIdlb_UJi|ps#+en2Ooyy?*?;}k4|V&+RTGD zx|%%1p5{OtrpF);@}C!<$}**WbHPFaGb^+{2or6Ek##7R)LX~ohR)orRu)!~W7O?M zek(#=E2C~Zw7JecYPuE$&{1@_M%(jvWA5W~F)kuTdi;!}_qEP3G7qvJMpDexVd#d= znx*s@EmMEk6BqvMI|U*YXXg=-ma^Hw>ETDs%1JhZq~t=)H@`?m&o;1h_OYnv>h7xD z5C3*Ik3y}UtH$MCBL@XD3OCw5DK&4smL3(tNUuP&cNliG z5N3QUDLZQL%#LS66!^EEHHKgiknDSTDDSa#a3jWtq&9*lE-|!qfF7dzVnXJN3b~a3 zk!=9z&DaBqjAhsLLB8f2CU!xFol( zZ#!94k-MogqrwK?7r*jxfD_rX&mX>g3c@~@VQz#cQ*4f_i#+MP2lrN)Uw*Ofm1iOw z6WEIf#olaJMJa0qEWsQ^TY+T!+Ej{lHzE$NK}6#sUElLt<~S`$Qx;KQeNZqan4K}{ zxWY4A4Tot(ML&4}b^{{eIgj}~n};)ri>`;Xkk!SZ2Oic@Ds~RKJ$*H@)aVXzC}3sD z&9Yo=J$6>(HG`S3tPi_k*%qG?E4hj;09(@n4u76aIm>${`& zEE<>i$Q4+zVPE<%VL~mRKqIF5Tg}cZ&s*l&#hl+0uRezTAFaJtSQA~?HmZWsdzB`= zD^+^$(mSC;=pdj#q=SI;E?uPvh?GF2OQ=E+1f-KlLJ_4$I-!dEqwl}J{T=P2eLTs` zTx-p&dG7Mui!9#?Em$>ofcyhjV%1^bVJft^Ojn|s$;gm+_D=M-9aDvA!h542jM-7U z_fP7>p;#6{WS?L{0}8jupZ>_vtQ0i#arY;>Ep3|+7VwO;{PdxV*Px;85QD_F0|Mzj zb_MHhD1j5|YYd#cG1_daw}p-_z~_)6+a-=b;%ds%*ZE5 zVd9vuN#B@tP|zN7-02V?$Ij7?U1cnx>^n?vi*1yFN_{~6Lsv@PpuOBmT12@CVznEp z4*ls0qtDd?CygF(A{4=jDf#c7YE(=s>y*wWM;)<+Egc=G2Gs>irF;|=N@?R$N5BJ+ z8kF7bG~IXtLCdJv@r`~BcY4Lqpcm5MIS;Q}1D4MgKBdDI^{=zOIZkf{VOz=4KjRvw zE~y`;K)6oo#ogxW%SIMQIDE?|Oxri7$y-tb>)09_OcleYIEHG%!51A$_ZlC_)S9`= zUj*UJ+F1qL<6GvMjSESgElIV=>_n(UMw+mE{v4jZn4v`#{c&+lnO+P&aJ<&|ar=lX zc=UN~Te#Yo2z>*nG?Q|({>@2kQg%3mv7?{=C79bD+}&^7=@2_fSqlS6$KAo%u92AE zkJ!i*NKo<5GtRZRF-saKAuwnJwIYfMlVi%f`I@eTT z-wjq&=u(gX+rN9GgRvJ1OZRE@s7K2he6*Z)|8?_ueAY&lXl{R5_hWaetwf;>bIL&A zy#}v4Jx0kT#>KNIB@Fe`V4E{OP2)j;%^_{xJT`~3xE__c4yw@EXVq4 zF*|D`PZ)B4F;~6JQf9`iG>dY{T)k}jBa<3JwQ%>qZ#JZNJGST}=EB^vJ+rp?+&CTz zbqeize+jivoeZpqD&6wot-}8guHP99GmGJvOo&m3V&YOvZx)fw9eqh&|G!{84&3e4 zN9kFi8vS@ATZ=nKwcsg^uAKV++kmHkJHBEKraN)_*eYj@ghwKC`tFtHI+Sl4q~;gh z2dRZUzGPLWB%%0s7BW&`f&}-Ynq8i~wW`?ehmIwQ3q|Mk2Khc2g{G_>t*uY{uqG9X zc+eo!2>vk$cmUN=NKBsx(kA~B&Y853qcIpe;_l_@oOpzn(1d?9vK28||NK`Ud%}*t zAtmB>EO=2RasLi$E=+6u`(ZTQ2BX$^Gyac=fr#P;L62}*WnXTBOvA4TY6KW>P)>|a z_(7vzq*v!5hHiklJPB&R$+4UUT6Elfoi?PnsfV6387gQY0+XvW`jwFx(E4TuRfKnc zAlV7VX7&g5D$OzUq%CAfSy(3Kb~iECB=}4_bFXr#k=JJK4-@my_40}SQVP;qx%x(- zDk;H_+_>{j;veLC)<9-Ik^V}=fTT$$btkIkO@hg{nYdk?;;_ys`@LAqY=)%^AApo9 zPMxS^@};hlQ)}M{x)E0{__BI-cGB(mywuszFSp%3D?10-J*BN_tr{PNXT1z$;&1Gc zjQP{U4YzFJ>}g?5j){nG)`aQ2!!EQ*#ZM76J4dTsA-iY1b1Yk6MqC>TA^mc}%yLri zvX)kjiEorUG+|t~`1}%uh7AhMK4QP)RzPHNlI(>b50Xo)#h+Q@#PiM<0-Sgwr=P`EID8J(f@ve=@{i2=sw>er ztq0!OWc|X?X*QC<-sWY_;8!e<%vdd9Ippg0v~moUy3+Jqgen{{qJv4ff+gb(Ei7+U z9pCVL>i52lWg+RmP>4UK9}hp;n#51S3!}y(>N|Y2m7BCzOL#um1+1bfkGowe3kp5{ zj!!D?xe*$bTEy=%{@2Hvej^2U{=6}I6e>v#vky4ATVbR@mE6K1`;y`}IMBo(B(2Oh zajk_&WF{xY`GQI>i{8Oo8vwW6e4}0|S3aCcN^f~!d}Qm$YC{GSaQpLP0JkphTEx*n zeupT-^EDa|oUEY*mr$0ld@V}r8Z(3Aj-NU#O~f$$I3n2V4nOV1fQjM8rAOs{o6nG! z0{(EG1%EOj4%jHFyvOae-^M;1bY(|yF{(=BkD);*#DN#tb)W?a@Y$rrLoHJO6s{hD zxF3y@FMWUt+^lzuTFpSGdWzLu$aV5a=e3}E;_L{=IKVu#h~!ba3ZbRRIQ`SQBqVFp z(l8fuZDq@IVg#cY8!K+nkk8v<5&aRDU#pDqlX17ijUW}5HTt1HGKg?hnOn-uB9Mx3 zTc*3(XRVzRtu2;LplM7Dm4-wdII_W5ZN>9Wjql6a>13&cAL!U=p8~;)v>&3>obCqO zPRB~9p|6G~VD?!eVW%M~|SVQvqQQoI4KjP{{0PRum*jqD@Pg&LC3!bEZf{3pudeB1A5fsQd(&a>yaV6t zP<&KO4GxV=y&EJD4hUY7wRzTR*WMC0k{%K3v9OBdnF$19Y$%ic5KsCz2^|_8RJNnA z(h`*4C`IvVQa~u#A9N8GCO|q1mG|26JBW#oECwV8!!*w3te*a&dfellz)%bGR^NNnU4IrT z$!aNo)vh~Cc3kc_Zm$V-5v~ciaPc9)b?C_gO?x(fmy<539`{DT2hve-=Pz^;YH~J> zp;g0DKS2I8%Ba13$vV^B=`dAKWfjOpFVBx86K-^nGW=tl0QSmsskgc^9a??&Ozo~b zO-f)Yy*!K(1h0gskTqP9;O!PrDGKuOA)r* zih&%V&%zM!ld^)qX;#}~^fpya@Se&O`&b10%a*h+oBdm><(l^;_+mL_AZegm-ipxV zC#x8ZzwqWEdQ!+>gC2{zn6maI`)12SJK>h?z*jdVla_gT8a?HJcUrJG^5feOqrDLF z!?O#0086_3ucx9z-K+e$+9at-&ble26Q)R}Wn3iJ-AJdXZ4e4>ADRwZqb-Ouca!02 zcrbhdE|UgDyKses6Y3659ue2h`93hQvaf^{ulUzfBFt4A{X~Im7^HCl%K@sjvm)p- zqq&gB)P3X}^n{U9>;TL-U?S*r)*-2tYJIFMofhk6M7|Yqw%dLyYS|_91$xp2S#zIF zfBTF6`1~#;b(y` zM|#lmz5%)98mPvjBQhGJf)jb;qT1WPntU@d@|5&6*+ltFqJEGw$-^>FFMWBO<8a) zjOa>;)v<;gAxa%A{cRi6p3pcI0rfi%Txl(3vO_&qA_ncm#if#66dgvHKjF<@o{u?O zWYsB_@a_3>;D+J#Jskwv$nX@2>HXsdNt-qzlq@BG^0NzVU`hiacaD+{el3LBGu>Ke zV<}G07$sSodsT30ujY5XV9zHe0o+TTptf7jx)K!(e5cc>a7WkV`3_hO?&%cdfA#tr9RcPVtvJ}= zQ*v_(blJg705}^+!ow!JdkBhRy^ac+*3u;=cQt-G0YI{dBF1}@0f6_~@TvP0R~HXj zmYL^zeVMeTI$%s+KWBg2J9}EoIGXT;V^8@9Je{k*m7 zD#e9;wZZI;8C^9uqi+=@3r}O*Jz2rwqYHHB>phnxle!@45wN>`2!2x^3}tU88S86P9shu2TzRWv z##z&YN^+Z&{>l$fBj+ct{YsH^i#nO{r@>1XD9rB4MDfMPl`7Jdp=q5402+*U>@_Bd z)3^P7D81rU0Op6iQ!~wql$iqFu1~|8i+-4^z5R!fb1I#&XKl%gZSo1&K6MMp`j9CV zj&+O!!8*sBKFVKo;0<1=0frWyh|3!T7S}t=`|De;v}PUnpE?-&-i_q+-l(m+PTi-z ze5|mWuPC^)r6o+Qiph6gC6TSP8e-YvA;*;S{(d*f(|?U2D)y_HUOC*fr&s0v9}VbD zNraGp)PG76x>Q~4_|2zbU!SMP61OX@bj+>paEEp3PKBE)>^==rd~c@K{8J9X*Q#|# zVl>;>tNioR6|?r2m=dNb#*TL8nrz{w$i)%aHH_AswLdav3oARj@l0u<4U5?$<~kLN zE#ZGQd}}B6evQ6;;>Y-?L%Hs2*X>@Po_y6{{at7Im*D}!naAb!f7%f6)<|pWfeqqe z9E6h|P=fTOUSTs4lRYks9TfsWwN2EF5Qpa^4qr|EI}??IYfEi7aVak6RpvY6;$X`U zG6?t#$VdQx`}Di~lLjkA1XAz&-Km5$!vW(g(MmD4?d#pF${``_{hMh3aU!cm-KjV| z+xF+){Qjv_k-FlOMXngEk|5W|zv#EJhc9YE-^m^l4*504(fghuInVd)7HBZ;^HB>F zFL`5HN4WkMEuNwoZ{+*%4fdBp@7U@+9ZR(u@(ErSngDNM{|rF{_Vg@T>fT`Zz2%@i z8$K-@LXT&%ReF&=K+s;SmQ_l3)>dsasmK46(~7^0on=oOMcoXuRXHasvQs%jl4H{lC+&F&U^GJP-HH^A=C8hjUFD&Aro>>*!V zK5xrzS3W5TC-yBv&p)=xXp+f~miKFK_9MCbadU&cP03|Bvww=MMH8K!&l=faeUDlD zhw*vPxEyw8bSk_lBJ&ajI_bwb=1^n1=jpC`tT(*gG4g zj}m~3r@skdvDBhEUzV=T0y~%E+c9gLHu+U%uAA_$W>Hr#V6{Grldg9)667!{ywY^H z?L2h)1|h*wpK(Cb#~vmh*h(iYfbKB6IgX0f9_PFuMt#=Qx1~|7zd4v>r+!nGszJmJ zPeFZdn`L*NP&Pr>R7eOe zy!1>9t@ao>WE(_J$-h*8_I{Ql_FI*xBZU|<@LhYcNFaQzh`gG(?yDJ{q1$pJ^{1o= zBe=*+nG}=Kd7_6&I?IQiOn%OpH2wN5qxvb6Of|ujAICNw7OtGkzAm@qU@-U%UXp{P znj61+IY2q%jl>FR-1lY!S}GiyEQE_^edcMdN2sT_Ix!p zlrts$tUzh}P)8o~$i&kApx51ZMhNrS+M`=>yQa>e``rcZ@>8c#5fZMUdJN=S}OteR8EEIk! zbKS5Ief)?>eS2JJLGOFqq*N0EP9#R+P;ew)U^26_ryn;3nRFg0zs$d!Rqh&p7$Oxh za;%*W?gn#W_^GLxVEg;{b93G>^5eui5@ScSMozPa^#R23f+YfG8v(BYWz`{cg8CWa zF~9=EU(3Y2caTZ`jl1Bgws0=FJR!i?*Lb@}O`$p`agh7yhjxYx6bou&LP*@UFh`Ds zV%vMP?3L4Ybo9uK$kxr2fu*qV_bYT`s+UN1rmy|P7t+DZp_eXu9q*^_R86GuW!d?# z*4>U68qd{zWI>+ebF~?y&HQG+!(DOtli0_=xeoEG;q-0P9>Jaxt~I=MV|>Pl>L?{% z1nI$#za6>HDoWAKqg8xq$y|KrlMOZWhfMQHz2a0$3P}4Y=>5ZClG?)#~G$f@=2j9M}mbhZm3FU`5KuV8V+hA~6grzUKA|7s-%?5ss@5j5>i=!NKLH zStc+g90e?p?DO<{{b=)EHf64AEXqEP;d5@U`{dJ>dtE4V0ovM-DuvU&4S165O#p27 zhfE3))H01Q*R@$x*=&A-Fu$~{Mb}dY;B{|Wwe?@Iy*k}okxY46A0?bPU2pO@O_S2L zxXp}AFW$M*feEszb18c-c6mgJ=l@BoXVoyl?|`HuZ@AcLk7EE?YR6l41OUFg6NQ&|54NHs z%3!^}Rzz55>*(he{w_DYQ7MJW!gh^H100jz3o4R6Jv17G#`&)}+!E=> z3~#(rK<#iL@7oD+MoR*GAP(RD;hV#n=#XL`(R?Mhi;4?eNV=1%k*HK}JZcVGbd+fQ zshqR_r$Sqb$4DSWL_=yJjWKkBCyf9tQa>R~=!Ch;teLjEIjJTq^|8&R zl*Ef2UL+z-6=%Aq(H_vHL1jflQ{fpd4uU3@&XBm7Es!%aTShy#F*|#a>7(l{RLK2i zy@L9A#H&Sa&wh1;whQ}eN_xLIc)6xyGfr3Z5^mU@9I%P7ovg|?c$Nz+5po!n0aDU8 zCv!GR^LHQS%35Mua|D=Bkkq9DLVE0Uib#><0FQ}AMg1m-W4tmzvMi*UffbxnfM{{? zd&E*4X~uw^Zt#9ky!NES2qtJ1{`VWc1Pr~AuuP+pEr;=P!A~3VIP9^m=#EI9M7tm$ zd&%MA=zH=wBuM1mxNBW~CYi*+=Vh{y#qpsr#Oea1Xo;3|X|T1(q2RS*2I3R7u972U z1X`z`IVo`OKP@!yD^1+yONRNdr|RAKN`$^#_oz0hQqYBir7RW>1;0QyWzd?2gpaUyTCpi4166kpl$2a7}-O>Px2F(FVw8TFGVRWq}&4xOP zu2DH8KNtniEW5N8US3={I<_{&wNIEb6Picj?dILn{j;oIYGwc?1Al=X~<!}VP3rW zPscnsOj1}%j!IM^JE6vB|BxP`QKrqGUodZa>ZwVbNC1b}4li#n%g8}*S^(hS<2Zm0 zo{L|V6Dhat$tLyu;GGUBp@SUlhYSz#4MCxQ`@p z%eIm$GA(g7DggjE+5dYG{NnsZb{=o}47<%_hl}|HF&`oL)AN794ITdjiU02{0uED2 zQ9vId^!}rFuI@_rX1yzWT@$cVuGh`<@U#0w=D}~i?Q!T9avn|tia=I0zb)zcE7 z4pN!k5&gVNVr%F@^>)6Y{jN%*lJo~eSZK#|n2E}Ijb9MV2%CwHFAEA_jKi}YA{eD7 zC;kgr9r7ig`5&l1Jb2XTknFvqDJjH{yzRVVMBowbCGXppi1T=}!GkY7Q@EE^!q~%) zX4}#_)tiGGMQ?_SZ+;gIh|<#>r~Gxa^CgrQuWo~*B~BW=@`;}5QWHM~*YW9iFl=XX zLoj+V;Gq1~8PKz;(R#x9ijEeW@u9@vD4YFKq9=is<6eIe(MM&3#AyP!N^Chnd)#p? z=c`58UNY5hY`nc^uWj`6+Dn|%yn@BIw`V#4NV4>saa5{*8&^QV^wst?jRfG6>rl05 zR8mS>z3@98PTUY)7B`W7U-mLsK3cDnmv^pY%_-j|ZkPH~faS1(M{H4lUhg}Gt z+&UC+KHgZ|jB*Fb;-?UpZ8}WVUUt0O(UJLu-mjAR@midpO^>UiinUn&=yS6}L*Q1L z1z$}tGrT0QLC*c+xpr9ge6~uW9R>i6P#EuJ60T3GPn0?!11CW0hgEs)HFFH23(j94 zXpI&^qqwutMH=n1r>Z&V)h?reE4)yQYSrW2Y5a@Jmzyu80(^tpZ)a)RpqFG4TiQIe zn&pNR}b^eDChKKNqPda5%W^HDA=zOIIPuS_X`H@#nJxiX^DxMjW zj9`1Cv%5;NG$IiX8 z*2Fg41U!F9nw*{(@w5nz#N%y7&QtEUJ)@5=Ds`Z&-CVM+!Ov2tVEI&iiWO_$32?e7Q|? zey4*gd*YaRrN4+t|J2ALZnO!rZ9nyb05-l~pSZi_~tq2Qjo9u!YzCKYL2-ATu` z7hP`_dfb^Xf_FCsw~jvuEEm+4#ju3;D(g`_fXA9yPUGWXXLjS_a2`1FnCPIS9gy5k zBVy2D6QllKH@E1hGG6Qo_-w$Kk?GYEx!Az{#gylv_l|d;OL0_jG z>?Td%gpR%3tp?5S+b(H~Z54b3(wu^EId2cU$Cc(1hErNnGD0rC+g9ixxK5t=+X4yg zml5rE=1$J&54v7s)A>Zb!_h*Ry8V}=CHWPnt{qWVK6buVR^gN+z|s-5&!`pW;)Oym zS$%8HQk}T)tGokP+$sl5eTBla8V5qwt5Gzbj)H8jEnEDVG?qZNr>T2Vv>jG7n@d?5 zy$2eY6$!dOx=#E003s#nl~qso#_fH6Pa)gJwL}}|@#=MLi9^N=V!!nP z1Ni3Pru?Uk{(qp~bZ5hl>y6&qpS$FhhU*5PhmY580~taA!1?pF8VDix6`83w7tP3h z;43|R^t$TyNpcFppWf?AT}zD7NLu>? zze23NM73!kB8L^Cp-~^s7FaxCb2YR`K+?jxYk4{z9;MvK*0LC`xO+0akrIaH>Up$V zdK$8Ko-}wX1)>b-pWb(7($HK7<57rBQ&$Jjnk*e~qX)IjLtKl&i`p9UCUeMJ9jtKw z#)}(#3DSUQ?x*3N`Hfcl!a*#q0fgUpNu#rq-BWq5*spOHUXl`}YZ_BY(FxebU?Z!S zCfsh%e_#k03qQqKeX#V36G)z+zOZ_I(@g)4_|u>+bGERL736*)u;og+qUEj)m^RcS zJ1Au9p&&-6ykDd1KiuJp_^}E}tTT!L?K5uzrE9A{eyBgEZ4+BuK*7#8)1=p%QYWLq!d1igj-slm{@=ImNJd-Lf^MTyR}X8=)0~P;(I*aZb_t4`PuCk$ z__{=Vv<3SA4m-D`mmu^Mg(r1Nte#i=ktpZ0RIR927RcX(!-4?lw4nR@O+t3=761wJ zuh$}#=ToKhD4E|f*~)u9R(*FRMEXwDb7DyBWWF+SGZ4aVpG)-0I@~B0lJn75xl|SazEW2Blx1^p9|Bh_Z#-MBlFJ!$k z3FR*Ii&Nt^509W2FIk>d^Jw>XXBNcclTw8*W#%INhV(RZQ(ji=_5-*#_tVIB3v2g% zx`ga7FY}!`Uq4yXw;RH_m%{eTmdAxV@8XDd%IY3LnZ+JV%wR9V^jyjbSWq$zm)mXk zE1pH0$;l=yp;mv-VJa?&!3edRz!bR~Lv4F&h@|r;kM*6lRkq)pYR)9|mvgmvjWm)~ z#?0N+>3P*De41Ju{w3rp{)gL=^VjdERFjtWb}N&$JI*8)qs=Dc6|?&#qw~pm&Li2s z_3P3dgZ(Jf-hr$>B4ID06Z3k&L}2-$Ch8K^ObTEckk8#dMD*3OOjC^FOUyj@#~Da) z{-9jdewQ=nyDEYlWsL_aGR@mSRTiTtdg>+=mPslo5){wgrZA)X!3y2`OTss)#?zJ7 zgvMGAL|zcbjMGqaiKe+6WTOM@hTqmecA9etsmi((94TB8_YeZ))*TSao1Nn4d)U2^ zKHx7OxwK0JwVU~KCVh5E(sF?>?J9jQv24*YkRM(}`sQ63%sa%l#CSLc+y6Ee4o9-4 zJ-Voz8%m=nw|yt1`BnFcNsHnZO&ffQy_$%nD$&4Kll%4*cE7-I#gb?+5D=EWZ1x0DXI`SO(w@zoJPEP5 zLjtJh*FtJhOMzZSnqAXz{?pH9EBSh*$X{fFtV+0t{I$BU5r!h(RM?fbx-)m8ew^D- zh5A5VY-&A>TjoO6i~6;Y*bCVwppqa)+M10$)hdlWA2_^3!`7%umlq|BaP+hr-#gjd z^sghfT^{$KOo`@U35)KPhPR3zpi@dJs;<^v3%Yo9d#7NuYWM0x_Hu4_IQHPOqk>*7 zFA)l3ZsNK^I9D{9pMw`ERKfONS%O0#d_iFew$S#+lUNiOOiM)NJ@vqKELG;>MP*#l z`@W10=f4tgWY>x=yX~F9lkcv^LHgXLdP!f_G=UZ?f{oSUn7etAX;n6yY zyYSQ8(^SAX$s6WA!~zgKjSlsSX~wM>llZLS5`ogdB5ay4cFKov)OF^*9D^AdFR(f_ z+afCL>ASp7BA}Rs(k>eb*#mFuk0?&$fO?)1_{vk+l0F#ng+ zO9b@E4}kS}MN4q|{Ki1o{Tn=ws{wJ@#2!kbulqtbI(vWKTU#*x#ja~By$`2PAxMO@ z{L;bNQa^ENb@^<-OTuKNGQKdNLMYZ_(8`wrs2EfSeOLug6`$&)y}#~wBA#w|zMlp0 zos!}{DU^DX50XCLo?^^bp33|KnB+Q)EX~AT!^q0b`dcVYF-zC45MiFx(?UoRyhV8N z>Z`flwMRxh;Kf($Qkspsk@QLNe;tyAf@34L$V76BQWka0#isy45>??F#!wU)P03NJ zmTbJMfI?-Jy2s76*|@D2-=T6J6&oOVvR|=;@&zw=-qW1~CPO@WE?Ub^;T|_2@q+aq z>XuuL2=wEu&Hsxi{0GLj4=<>jDS*tWl1-`O2PZ>C;7F60|6uV7@&_$;Cg#E^6L*sU z{KteII~eB`r2MU1iFWSFT)F9?TrUHFLKx`QZK0{g44?k)+c`$DVDkoC4AK~`gC*t{ znArXDY{UAJOU8l~x(luDt0GXDN$b=1eOL6~FVrXBaAblg(7*{|3nP=7 z5v;e0eTF;gdz_RMe*^8MUvK&JWR>P1xR6CK9pHYW3B{3tWIp6HGtR*O-5K&v$VVOn z8(%Vc0@pi_Sr)u;L?pzjb%7`M^^~q#) o;CvF4ulHK&Rn_eGukqZ{Wgb4*9%_;W(0Ea<2R{#J2 literal 0 HcmV?d00001 diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md new file mode 100644 index 0000000..f4860a6 --- /dev/null +++ b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md @@ -0,0 +1,38 @@ +Beschreibt, WAS das Ergebnis erfüllen muss. + +### Tupelkalkül +Ergebnis enthält Tupel t für die F(t) wahr ist. +![[Pasted image 20260722181003.png]] + +Existenzquantor: +![[Pasted image 20260722181126.png]] + +Allquantor: +![[Pasted image 20260722181151.png]] + +Ergebnisschema kann neue Tupel konstruieren: +![[Pasted image 20260722181240.png]] + +Tupelvariablen: +![[Pasted image 20260722181636.png]] +![[Pasted image 20260722181643.png]] +![[Pasted image 20260722181649.png]] + + +Semantik: +![[Pasted image 20260722181801.png]] +![[Pasted image 20260722181944.png]] +![[Pasted image 20260722182103.png]] + +Ein Sicherer Ausdruck ist wenn alle Variablen an tatsächlich vorkommende Datenbankwerte +gebunden sind. + +### Domänenkalkül +Gleichstark wie Tupelkalkül! + +![[Pasted image 20260722182724.png]] +![[Pasted image 20260722182741.png]] + + +TRC vs. DRC +![[Pasted image 20260722182807.png]] diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md index 6bfaa28..6fd43b1 100644 --- a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md +++ b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md @@ -31,31 +31,7 @@ Referenziert einen Primärschlüssel einer anderen Tabelle [[Relationale Algebra]] ## Relationaler Kalkül -Beschreibt, WAS das Ergebnis erfüllen muss. - -### Tupelkalkül -Ergebnis enthält Tupel t für die F(t) wahr ist. -![[Pasted image 20260722181003.png]] - -Existenzquantor: -![[Pasted image 20260722181126.png]] - -Allquantor: -![[Pasted image 20260722181151.png]] - -Ergebnisschema kann neue Tupel konstruieren: -![[Pasted image 20260722181240.png]] - -Tupelvariablen: -![[Pasted image 20260722181636.png]] -![[Pasted image 20260722181643.png]] -![[Pasted image 20260722181649.png]] - - -Semantik: -![[Pasted image 20260722181801.png]] -![[Pasted image 20260722181944.png]] -![[Pasted image 20260722182103.png]] +[[Relationaler Kalkül]]