From 35b673a402b5f35e0aa412b03eb22dfce4188031 Mon Sep 17 00:00:00 2001 From: Niklas Date: Wed, 21 Sep 2022 15:44:56 +0200 Subject: [PATCH] Add content how to operate with sets. --- docs/mathematik/mengenlehre/2_mengen.md | 313 +++++++++++++++++- .../img/mathematik/mengenlehre/differenz.png | Bin 0 -> 7416 bytes .../mathematik/mengenlehre/durchschnitt.png | Bin 0 -> 7236 bytes .../img/mathematik/mengenlehre/komplement.png | Bin 0 -> 5826 bytes .../mengenlehre/mengenoperationen.tex | 36 ++ .../mathematik/mengenlehre/vereinigung.png | Bin 0 -> 6889 bytes 6 files changed, 344 insertions(+), 5 deletions(-) create mode 100644 static/img/mathematik/mengenlehre/differenz.png create mode 100644 static/img/mathematik/mengenlehre/durchschnitt.png create mode 100644 static/img/mathematik/mengenlehre/komplement.png create mode 100644 static/img/mathematik/mengenlehre/mengenoperationen.tex create mode 100644 static/img/mathematik/mengenlehre/vereinigung.png diff --git a/docs/mathematik/mengenlehre/2_mengen.md b/docs/mathematik/mengenlehre/2_mengen.md index 8bbdf2c..ada783b 100644 --- a/docs/mathematik/mengenlehre/2_mengen.md +++ b/docs/mathematik/mengenlehre/2_mengen.md @@ -85,10 +85,6 @@ Weitere Beispiele sind: - Menge der ganzzahligen Lösungen einer Gleichung: $M = \{ x\ |\ x \in \mathbb{Z} \wedge x^2 + 2 = 4x - 1 \}$ - Menge aller ganzen Quadratzahlen: $M = \{ x\ |\ \exists y \in \mathbb{Z}:\ x = y^2 \}$ -[^1]: Benannt nach *Ernst __Z__ermelo* und *Abraham __F__raenkel*. -Das *C* steht für *choice* und steht für das *Auswahlaxiom*. -Je nachdem, ob man das Auswahlaxiom mit zu den Axiomen hinzunimmt kürzt man mit *ZF* oder eben *ZFC* ab. - :::note Extensionalitätsaxiom (ZF) / Gleichheit von Mengen Zwei Mengen sind gleich, wenn sie die gleichen Elemente besitzen: @@ -101,4 +97,311 @@ $$ ::: ## Mengenalgebra -*tbc* \ No newline at end of file +Auf Mengen kann verschiedene Operationen durchführen. +Man stelle sich vor, man möchte zwei Mengen zusammenfassen zu einer oder man möchte eine Menge erzeugen, +die nur die Elemente enthält, die zwei Mengen gemeinsam haben. +Diese Mengenoperationen werden im folgenden vorgestellt. + +### Mengenoperationen +Charakteristisch für Mengenoperationen ist, dass sie direkt auf den logischen Operatoren basieren und das auch in ihren +Operationssymbolen wiederspiegeln. +Zwischen den Mengen- und den Logikoperatoren besteht also eine enge Verbindung, +weshalb man die Mengenlehre als Teilgebiet der *mathematischen Logik* zählen kann. + +Zu jeder Operation ist ein Bild. +Dieses Bild veranschaulicht die Auswirkung der Operation. +Mengen werden dabei als Ovale bzw. Kreise dargestellt. +Diese Ovale können überlappen, um zu zeigen, dass sie Elemente gemeinsam haben. +Der in lila eingefärbte Bereich ist dann die neue Menge, die entsteht, wenn man eine Mengenoperation auf den vorhanden Mengen ausführt. +Eine solche Darstellung nennt man *Venn-Diagramm*[^2]. + +#### Durchschnitt +Die Menge die entsteht, wenn man nur die Elemente aus zwei gegebenen Mengen nimmt, die sie gemeinsam haben nennt man *Durchschnitt* +oder *Schnittmenge*. + +:::note Durchschnitt + +$$ + A \cap B := \{ x\ |\ x \in A \wedge x \in B \} +$$ + +gesprochen: "A geschnitten B" + +::: +Zugehöriges Venn-Diagramm: + +![Venn Diagramm zum Mengen-Durchschnitt](/img/mathematik/mengenlehre/durchschnitt.png) + +##### Beispiele +Gegeben seien $A = \{ a, b, c \}$ und $B = \{ b, c, d \}$. +Dann ist $A \cap B = \{ b, c \}$. + +Gegeben seien $A = \{ a, b, c \}$ und $B = \{ e, f, g \}$. +Dann ist $A \cap B = \{ \} = \emptyset$ leer. +Das Symbol $\emptyset$ steht dabei in der Mathematik für die *leere Menge*, also eine Menge, die keine Elemente enthält. + +Gegeben seien $A = \{ a, b, c \}$ und $B = \{ a, b, c \}$. +Dann ist $A \cap B = \{ a, b, c \} = A = B$. +Die beiden Mengen $A$ und $B$ sind gleich - entsprechend auch deren Durchschnitt. + +Gegeben seien $A = \{ x\ |\ x \in \mathbb{N} \wedge x \text{ ist gerade} \}$ und $B = \{ 2, 8, 1001, 4088, 9999 \}$. +Dann ist $A \cap B = \{2, 8, 4088 \}$. + +#### Vereinigung +Die Menge die entsteht, wenn man die Elemente aus zwei gegebenen Mengen nimmt, und sie in einer Menge *vereinigt* +nennt man *Vereinigung* oder *Vereinigungsmenge*. +Elemente, die in beiden vorkommen, werden dabei nur einmal gezählt. + +:::note Vereinigung + +$$ + A \cup B := \{ x\ |\ x \in A \vee x \in B \} +$$ + +gesprochen: "A vereinigt B" + +::: +Zugehöriges Venn-Diagramm: + +![Venn Diagramm zum Mengen-Durchschnitt](/img/mathematik/mengenlehre/vereinigung.png) + +##### Beispiele +Gegeben seien $A = \{ a, b, c \}$ und $B = \{ b, c, d \}$. +Dann ist $A \cup B = \{ a, b, c, d \}$. + +Gegeben seien $A = \{ a, b, c \}$ und $B = \{ e, f, g \}$. +Dann ist $A \cup B = \{ a, b, c, e, f, g\}$. + +Gegeben seien $A = \{ a, b, c \}$ und $B = \{ a, b, c \}$. +Dann ist $A \cup B = \{ a, b, c \} = A = B$. +Die beiden Mengen $A$ und $B$ sind gleich - entsprechend auch deren Vereinigung. + +#### Komplement +Das *Komplement* einer Menge besteht gerade aus den Elementen, die nicht in der Menge $A$ liegen, also alles andere außer die Menge $A$. + +:::note Komplement + +$$ + \overline{A} = A^\complement := \{ x\ |\ \neg (x \in A) \} = \{ x\ |\ x \notin A \} +$$ + +gesprochen: "Komplement von A" + +::: +Zugehöriges Venn-Diagramm: + +![Venn Diagramm zum Mengen-Durchschnitt](/img/mathematik/mengenlehre/komplement.png) + +##### Beispiele +Gegeben seien $M = \{ a, b, c, d, e \}$ und $A = \{ b, c, d \}$. +Dann ist $\overline{A} = \{ a, e \}$. +Hier ist es wichtig, dass wir $A$ in einen Bezug zu einer anderen "Übermenge" $M$ setzen. +So eine Menge nennt man *Universum* oder *Grundmenge*. +Die Menge $A$ ist ein Teil des Universums $M$. + +Gegeben sei das Universum $A = \{ b, c, d \}$. +Dann ist $\overline{A} = \emptyset$. + +#### Differenz +Wenn man zwei Mengen hat und man möchte eine Menge bilden, die nur die Elemente enthält, die in einer Menge vorkommen, +aber ohne die Elemente, die auch in der anderen liegen, dann ist das die *Differenzmenge* oder *Mengendifferenz*. + +:::note Differenz + +$$ + A \setminus B := \{ x\ |\ x \in A \wedge x \notin B \} + +$$ + +gesprochen: "A ohne B" + +::: +Zugehöriges Venn-Diagramm: + +![Venn Diagramm zum Mengen-Durchschnitt](/img/mathematik/mengenlehre/differenz.png) + +Für die Differenz und das Komplement gilt eine besondere Beziehung: +Sei $M$ das Universum und $A$ Teil des Universums, dann gilt: $M \setminus A = \overline{A}$. + +##### Beispiele +Gegeben seien $A = \{ a, b, c, d \}$ und $B = \{ b, c, d, e \}$. +Dann ist $A \setminus B = \{ a \}$. + +Gegeben seien $A = \{ a, b, c, d \}$ und $B = \{ d, e \}$. +Dann ist $A \setminus B = \{ a, b, c \}$. + +Gegeben seien $M = \{ a, b, c, d \}$ und $A = \{ b, c \}$. +Dann ist $M \setminus A = \{ a, d \} = \overline{A}$. + +Die Mengenoperationen wurden anhand Mengen 1. Stufe eingeführt, wie es die Symboliken erahnen lassen. +Jedoch gelten diese auch für Mengen höherer Stufen. + +### Rechenregeln für Mengenoperationen +Für die Mengenoperationen gibt es gewisse Rechenregeln, die hier nun vorgestellt werden sollen. + +:::tip Rechenregeln für Mengenoperationen + +1. $$ + \begin{align*} + \begin{aligned} + (A \cap B) \cap C &= A \cap (B \cap C)\\ + (A \cup B) \cup C &= A \cup (B \cup C) + \end{aligned} + &&\text{Assoziativität} + \end{align*} +$$ +2. $$ + \begin{align*} + \begin{aligned} + A \cap B = B \cap A\\ + A \cup B = B \cup A + \end{aligned} + &&\text{Kommutativität} + \end{align*} +$$ +3. $$ + \begin{align*} + \begin{aligned} + A \cap (A \cup B) = A\\ + A \cup (A \cap B) = A + \end{aligned} + &&\text{Absorption} + \end{align*} +$$ +4. $$ + \begin{align*} + \begin{aligned} + A \cup (B \cap C &= (A \cup B) \cap (A \cup C)\\ + A \cap (B \cup C &= (A \cap B) \cup (A \cap C) + \end{aligned} + &&\text{Distributivität} + \end{align*} +$$ +5. $$ + \begin{align*} + \begin{aligned} + A \cap \overline{A} &= \emptyset\\ + A \cup \overline{A} &= U\quad \text{($U$ Universum)} + \end{aligned} + &&\text{Komplementgesetze} + \end{align*} +$$ + +::: + +Auch wenn einem manches davon vielleicht schon bekannt ist oder es als offensichtlich erscheint, +so ist es keineswegs sicher, dass es im Allgemeinen gilt. +In der Mathematik muss man auch solche Kleinigkeiten beweisen. +Also folgt an dieser Stelle ein erster Beweis für die Assoziativität des Durchschnitts: + +#### Beweis +Zu zeigen ist: $(A \cap B) \cap C = A \cap (B \cap C)$ +$$ +\begin{alignat*}{2} + \quad && &(A \cap B) \cap C\\ + \overset{\text{Def. } \cap}{=}\quad && &\{ x\ |\ x \in A \cap B \wedge x \in C \}\\ + \overset{\text{Def. } \cap}{=}\quad && &\{ x\ |\ (x \in A \wedge x \in B) \wedge x \in C \}\\ + \overset{\text{Ass. } \wedge}{=}\quad && &\{ x\ |\ x \in A \wedge (x \in B \wedge x \in C) \}\\ + \overset{\text{Def. } \cap}{=}\quad && &\{ x\ |\ x \in A \wedge x \in B \cap C \}\\ + \overset{\text{Def. } \cap}{=}\quad && &A \cap (B \cap C) \qquad\qquad\qquad\qquad\blacksquare +\end{alignat*} +$$ +Im Beweis stützen wir uns auf unsere Definition der Durchschnitts mittels der direkten Mengenschreibweise und des definierenden Ausdrucks. +Der definierende Ausdruck ist eine Aussagenform und kann daher mittels den Rechenregeln der logischen Operatoren manipuliert werden. +In diesem Fall haben wir die Assoziativität der Konjunktion ("und", $\wedge$) ausgenutzt. +Das $\blacksquare$ markiert schließlich das Ende des Beweises. + +Nach ähnlichem Schema können nun auch die anderen Regeln bewiesen werden. + +### Teilmenge +In den Beispielen beim [Komplement](#beispiele-5) tauchte folgender Satz auf: +> Die Menge $A$ ist ein Teil des Universums $M$. + +Dieses Wort "Teil" lässt sich wie folgt definieren: + +:::note Inklusion + +Seien $M, A$ Mengen. +- $A \subseteq M := \forall x:\ x \in A \rightarrow x \in M$ +- $A \subset M := A \subseteq M \wedge A \ne M$ + +Für $A \subseteq M$ spricht man "$A$ ist *Teilmenge* von $M$" und +für $A \subset M$ spricht man "$A$ ist *echte Teilmenge* von $M$" + +::: +Eine Teilmenge $A$ ist also mit ihren Elementen ganz und gar in ihrer *Obermenge* $M$ enthalten. +Man bezeichnet diese Teilmengenbeziehung auch als *Inklusion*. + +#### Beispiele +Gegeben seien $M = \{ a, b, c, d \}$ und $A = \{ a, b \}$. +Dann gilt $A \subseteq M$. +Es gilt sogar $A \subset M$. + +Gegeben seien $M = \{ a, b, c, d \}$ und $A = \{ a, b, c, d \}$. +Dann gilt $A \subseteq M$, aber nicht $A \subset M$. + +Gegeben seien $M = \{ a, b, c, d \}$ und $A = \{ e, f, g \}$. +Dann gilt $A \not\subseteq M$. + +### Verband +In der Mathematik untersucht man viele Strukturen. +Strukturen sind dabei meist eine Menge mit zusätzlichen Dingen, wie Operationen. +Die formale Definition einer ($n$-stelligen) Operation erfolgt später. +Hier sei nur gesagt, dass $\cap$ und $\cup$ *zweistellige Operationen* sind. + +:::note Verband + +Seien $\mathfrak{M}$ Menge und $\cap, \cup$ zweistellige Operationen in $\mathfrak{M}$. + +Ein Tripel $(\mathfrak{M}, \cap, \cup)$ heißt +- *Verband*, falls Assoziativität, Kommutativität und Absorption für alle $A, B, C \in \mathfrak{M}$ gelten. +- *distributiver Verband*, falls Verband und zusätzlich Distributivität für alle $A, B, C \in \mathfrak{M}$ gelten. +- *Boolesche Algebra*[^3], falls distributiver Verband und zusätzlich Komplementgesetze für alle $A, B, C \in \mathfrak{M}$ gelten. + (auch *komplementärer, distributiver Verband*) + +::: + +Die Mengenoperationen bilden eine boolesche Algebra, aber auch die logischen Ausdrücke in der Aussagenlogik können als eine aufgefasst werden. +$\cap$ und $\cup$ stehen dort dann für $\wedge$ und $\vee$. + +Hier findet eine Abstraktion statt: +Statt sich nur auf die oben eingeführten Mengenoperationen zu beschränken, wird in der Definition nur verlangt, +dass die genannten Rechenregeln gelten. +Wie diese Operation aussieht ist egal. +Es kann also auch eine völlig andere Operation gewählt werden, solange sie die Rechenregeln erfüllt ist es ein Verband. +$\cap$ und $\cup$ stehen also lediglich für ein Symbol, das gegen ein anderes Symbol und entsprechender Bedeutung ausgetauscht werden kann. + +### Potenzmenge +Eine wichtige Menge (mindestens) zweiter Stufe ist die *Potenzmenge*. +Die *Menge aller Teilmengen*. + +:::note Potenzmenge + +Sei $M$ Menge, dann heißt $2^M = \mathcal{P}(M) = \{ A\ |\ A \subseteq M \}$ *Potenzmenge* von $M$. + +::: +Die Bezeichnung $2^M$ kommt daher, da die Anzahl der Elemente in der Potenzmenge "2 hoch der Anzahl der Elemente in M" entspricht. +Wenn also $M$ drei Elemente enthält, dann hat $\mathcal{P}(M)$ $2^3 = 8$ Elemente. +Über die Anzahl der Elemente einer Menge wird im Abschnitt [Endlichkeit und Kardinalzahlen] weiter thematisiert. + +#### Beispiele +Gegeben sei $M = \{ a, b, c \}$. +Dann ist $\mathcal{P}(M) = \{ \emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, M \}$ Potenzmenge von $M$. +Man beachte, dass insbesondere auch die leere Menge $\emptyset$ und die Menge $M$ selbst Teilmengen von $M$ sind. +Man mache sich auch zusätzlich klar, dass $\emptyset \ne \{\emptyset\}$ ist. + +Gegeben sei $M = \{ \{a\}, \{b\} \}$. +Dann ist $\mathcal{P}(M) = \{ \emptyset, \{\{a\}\}, \{\{b\}\}, \{\{a\}, \{b\}\}, M \}$ Potenzmenge von $M$. + +Gegeben sei $M = \{ \{a\} \}$. +Dann ist $\mathcal{P}(M) = \{ \emptyset, M \}$ Potenzmenge von $M$. +Außerdem ist $\mathcal{P}(\mathcal{P}(M)) = \{ \emptyset, \{\emptyset\}, M, \mathcal{P}(M) \}$ Potenzmenge von $\mathcal{P}(M)$. + +Die Potenzmenge mit den üblichen Mengenoperationen $\cap$ und $\cup$ ist eine boolesche Algebra. + +[^1]: Benannt nach *Ernst __Z__ermelo* und *Abraham __F__raenkel*. + Das *C* steht für *choice* und steht für das *Auswahlaxiom*. + Je nachdem, ob man das Auswahlaxiom mit zu den Axiomen hinzunimmt kürzt man mit *ZF* oder eben *ZFC* ab. +[^2]: Benannt nach *John __Venn__*. +[^3]: Benannt nach *George __Boole__*. + Einer der Begründer der mathematischen Logik \ No newline at end of file diff --git a/static/img/mathematik/mengenlehre/differenz.png b/static/img/mathematik/mengenlehre/differenz.png new file mode 100644 index 0000000000000000000000000000000000000000..89f7366857ac601b9e574410fc3c28bb689c4b9d GIT binary patch literal 7416 zcmZ{p1yCH_vd0&93&Gvp2?2t$xVsbFb#ZqB!DV;x1VSJ{kU)T4EMbFdAh-sCLvUO4 z@!eau>b-h(Pn|h^rvLrxu9=#e>Y7Q`)m9iBNO5~?e z0suJdu8NAfuJ-l-fNC-r?5vw(M$vzCCbgR&_e|l9u3{E9TXZh5Ip<`}C%K(sT_uks z7%I=(BvGYIB@_xvFtfYTbG(#TRC50~UeuvBUot&;GoMwe;ww7Yj>r74aqkDetrfp< zqz?*XQk-M=aG0Hb+xNx6bSlc{Bj~G~sqY|&lXHKx)#-K;Ky6Q0+v+&74x1#)^==ae z>i{9SV*LT{4;*Jk)OF0(J`8ITWjrFBO-vgse+#dguI)sH9B7PvW&;HC#unV9RC;+K{UvBa&Z8~ZL-R)ksnTMC9+7q|GEpAs`8hFCKeDu=!jgMl5} zKulF8FP!xcT%HxoHK zL6rE3F}AiNf@67%nzT+L6_kFIzY^i8R6UwDTMee4@r|+E6E40d+Wz{2F{gf@cEEN( z9Qf>(UZsa?E!8I-W@Gt`pU5QLz0azLV6DOjFW9$3as~A$CgZy|0{WZgc=`I(wb~u3 zeC&5-Q<88T-*~!sTm_yrYTMM~L{-*m;?ZR59@F(eJB*X(Cz!rP*D*jg*Bn?mu|B4& zz^?eN@GjFXLB8e;<6?H);O<7}2K%YesljQOP(fY^r4FxxN16^LCIUd}SGVL{8 zFpzI#EIUC1WrMGY5W^t8So3RsYff>l^aqmAMjpT z_pGY_lSvh+XnckGpULa5#a}TOUM#TEDLPMtoQsE&+&kX@tXS2+qL6dw2;?)QgOSUD z5uX4vBkMb-ZIM%|po}_~s&6^-$4k{_bpo|fjbXJ#brp3A^;R_^ji_APA@PBp;REPy zZU}Qq_B7-odo){`IZP|iIGx{_s~^gf`-<;Ml^!w+xq__nMrn4vj?|Xd>sDh@D%D@B zMto*goG=#B{-SwOwx0S-YtWp_xJq+3dlIjLHRp$>jj>=@KC@$pqw^;IrsO8dCI%Vg z?K|}n^}-=iqgZZ>7wXNL%_>Ia73EuXkeZpYOI5o1G2;w9+47Z2nfmTY?4NVB6IDW^ z*-j^>5}(Ou^4QIODT^32S)X;0E2q?w)d!gF*NJ`hETj8iRU4s#H6t{gJT38A1cuu= z6mB$GePi^YjrHkys_;rVgwZRGYYFJo8ytbV3L+aGBJXAH$1&M4aWJ3m6+u-Ze_}}D za$*#XE6qt-b=qM)dwrl~r)R+I-fW*_Usj(=Dns5+%_XhC!t=av;TIxgc`XHFc~$ud z1=D$Hjk_K?fkL;55(`UX;f2VMGa~W|@?G*uzK6!C=G0b?mLlsP=A`fn+tGONTcbRq zV(`xbS30+dDRY+(9;8kN-e)7m(_)C0iNLoXdXxVYZFDq>G?30UFOK^0!7O0Vza(KC zw+go?Sk-aw6v00XRLJ^W`pH$Ya*}^JRSu82IGb$WkA0BBpno^pLkiD>d-(1Ku)%L& z#&8+GUxB2sfc77U{D)Xe{WI0|TIP$pC{n@nSW+dyjZy~EQ5T5dkWiyA=_|4Gv5UjA zQl!VZ>t)Ec`?kgU?VQdpfgkn#@75XCS2tuCY#4N@8S$rxmYxN_QWfJA`@};@bHK1f zDb+e=yWAa+!^F;n!Njs}w%;_ny2RMdWcwo_EjP`UW<0)35lx{`k>ZCGV(-TmB4q8w z8nX;ED(O)eAy&p~$3Ds3C<@{p;;t5TlU(4wkvrE+)zSOOZ{Ma@@I18Qzsf*1)IvH?Iqh^ntAW0 zM_?7uReQGw z^6RAh4}x@sBeZa&prBy0P{aH;Bo&gM!^Cm);PL2ZQsd=rMf0I{=eao8cdu8V^jm6C zp!Bj|VnoHo=bQP0K=UwLtf?a?e`{~uQT46$h?k_KUEl1 zLiFCHXh1>yqgL8*sW7&iA>eplNxunN{mRkB9vy5e^lx84|Gvqscm&kTbXh#=*ZLOR z;=rP~Rm(f*yzspB(dpFUHhNdCpRVbZRnX{BAWT=;Faw{|icBIsPdM{K`CZlBubb88NN>^tT!GZZj4Ro*kjvm$ z*^|?Zud?JEXYX>}L3OyaUTD#1y?f_d1i!UgP8o!92~arUJ>*_DZGpFHnxf_(rUh`H zYju%#Sl_f?r;QZ;@lIR490?hdj(}c!*>)Xwj@*(m%rV@^V1^f&519Ax8;4KcOx@34 zoXzR4Pfp4z@Md=9_-PqFHBOB7s`^?0Kqxx^5FHNy+&sCWcL0C@K>%RS1^|%E0{|#| zirVy~o`eluO+%$8d;MR=<<<4&JJfA4lK zk>8JR!F%^h=g4;lcUM=}PxIf@ll}X@k_?>OTwGrNE9E}{YZu7VtLvxvROKmh`x5yi z{k=q9{3BkUUtI5BBA-%iT>Rtz_c%Yf-dVn08oVB@Lk?CVJ9Cf|&B)(BuMak^H)gJ< z+mYP`$lmwJ;y&Hmcb zNPiRJcmlT7dAgRr`uk#%WNZe}wVZiye|vFqvVJ*nv~zcSbKi3#Wux+x1jSB61*qYQ zm!SJ}g5#rV<_7@qv;1?Q1b>tbd~#y>t7$1=ZQ+pN1L*KkQLO<05`Y>|-Y|IKua&#v zp6W9KbQC281#BEkJ>Zsaz}476@v9~arZqO~_Qyvo&mi;-zKlbeWbFuQDgjTz-YSFX z>FI)sA$?b?S&{q^48GL+Tt|T|{bwelUoaXyN?VNt=5!8v{nc;fAUZ-m0PMXbRhIj~~|@!LDu>}9XwY<`|>YeV>OgSR?LitF8SHHWzu zTdd54-`snc84sGmT1pJ-$M&1*ca9|}6FTq32vy{rDerGK&E&RI=1s0@A-uDf+_$5F zwdMiJR=wqL(Xgo`hD7=6$yW&Ln{FRW|26;U8e_P%1Y)m+j47g6i|{A>0BRC_`)375 ztOO|bhj53yE8n_bND;% z(lZa1oYubal>*Wzm%^Lks}vSTwF}%bKJkmrC>`(9#rlzTrb!%#T2UhZ964-6{R{!@ zV4&iPuW$@RVk<#rYus8OMOI~tD9TkIjxc3Yf z8_=$APrx|3`#!9tW2MW?Rqq?I=55bhSD#FbbM=vSsTRz=-|i;QJEOI0vd(e}NP+vY z(+gHct`ld3>GQ>gAY+hNJY?$w#S$a3e{9F9qQ&h9=+UJpn)8*%jv%D*F<};5D(~ z#IiP-My{k+^n8=4?LHO~eGm3&c+-Xz(&3X!5EB5O!9ZG}_dRs; z{+40Z4a9FFjtA}2$D9PKK9E#*hm==CEpw^*en4UNcW)a*U)P!Jma@h3B-&$}&{jp# zVcQGl^M8k$jcB0v3FfAqy--Gbb{0!2n6BHxI8pEGMHu@%*xxR2O`-8wVq>He|FRBY zA7}1zlkkBk>-au>-uB;t`yz+ZB81JsJJN5OK&|ws77k;XGiXxV;+(7wOP<3g9rd~D zStMx=F`%!L5Ih#PG70zgVIJaOVHy5@RU6-zR?oB|WR z>!jl@8J6Jk{!GJ3p=X@&1GfwQ?cW4NcbRDCp*_XCmnfF-$t4TUHu>j?8xq1p;N^(A zy9rteNZs8UE!FlAQ9G$yJWCLpBxqxZum>E(HY+Pn8^UNZVxAOfzBMF!^cf#TFfwaz zUx#cj)b}aGKULs)abL5Qj?|FRxRaD zy6ki#?PqaFE-T#ZvO{i|a+?%ZZ)B#}PzqK<6<^SCI^JLc=1W&+f`G(}l~$+IQUVpx zdRB`}u5y7uRHHB-a)+k+&IR>FW>nFy=j_$ABc-b-j7^qJ&HA+}{!SNFRdwgsF0!Ae zjNPuxbhDaj4+~Scg83_FfYR6&Q_~TCg@DX_x!3&P0~i++*5Y0=-IRSbe0%#dU)Az7 zD-8HpSkQ*i5^4KwTELuA{nE(z`QAA?0Dj884kAXGHF|Yljmx~b6q{X1tlly;$pXne zV(Kk*Zbr&eDGZGjBWo0pi= z_U+|+y8JQhFG}8rgB$xsp)}?jf>Q)~G5OHkfMh-jrl7YlPFRqrWq{)YZ1}-PzL^Xf zvy}PicVeWS+@(u^14)pFURec`0lN-|!GaJryPU)8O=(7`>xDzIQrQ;Jx0IJ?nzv_+Vsh0xN}v#JO@R{H z2@K2=oJz8p6d=Um3aguJ;XmHD(rhr5x3tr21gMjL;tw9;aIXoaCNL`gdFg>}Ah+7N zN6j`%5MyEl%6yewwz2~z&qg`rW;+`J7WMF|p@sa+_dU8Kl@&q@0cTsq6`%%%e2iHt z{u_<;sxd1s#&Rpx)5$o;O~HM6QtlAFlQm|96K+;u2G*R_Kppsi>_I6x4fsQJipw_Z z?qGWI^m>JDhMEjf2xQJ0fwXpB%w@|FN)89WA`j%PO$G^*JEZgo2doPGoy3;1(t7YV zE)YrygB#VlnY|n=#oIQv$$*efpKc$LYb*zkcD9dwaGCc-C;n7>3&5 z%+<1$l3W2}jIsdrbX|&|zRbE_sAQb>5pkxy;oj1F2W$Fg9P6yl|F+k(1vg03B$Ey7 z=N<^P5WggN-8ZJnVY=wNfD4L7nU_q;)`|%jGs$eSlP{@z5#gKpdc8BNO?$9H7fkC} zzNer9)|$QLRbDjc5|8ny(`_8xC}cVB`G$8mgf%N`mDPmGIeMN@wlK>tw>5N4#m^C|Ql`S&o$Ik=L|MGbc!TFDJ8W zsy@{ja(h?VIe&{`+|uq1n_ zcLtNS^EE08#A)l(R6|Z+TG<751~xgMH9FIUAMC%Pp}DGOso?y^ncuxFt&n&l_L9FW zfeZ|`tV-o%Tl8=D^=>9?qqUUJ)xD~2`ZPELBHamO3x2%Wd)O~Twg_T(? znyjPq;$;TCF!92w_!!-{m3cxP_Xft+Md)srJJEopO)3+rqPo8E8&$mVx%~k> z3^cutC`b-?nsKnCnPon#Ns4K2NT3TJ+O&(K+w9}gWctm_M7gI+PWj*##Z`^pvx>#L zr%NC+6{v8~v_r#61o!I16HbYEc#{+nfU4A46c}x5w<_n)RQddad1s3w3oglRU)Nk< zbL003ul}9|&qD1*dxo-jp^wROh8+x<)+u`^dfw!>UX1ZV&#TwN;2eZ@rAhZ@K%V9I{pa^#1N<;OP=h-z-WrHmNY$wOH+R5SHMIeOfwZ>CV{H+jJaet^B! z@CRL)L?{(QoZy(dLaI<-IgR&IlL)A@Xf@zM4R*!B&@^F8UqL;73OrTB8(H{GqV4vM7d-PdrhP!I_hf$r}IQCi^_i9}?%hUWhpjTGYj;C|-@g0k~?1Sc1 z=#Hsa?VNE2302l@W~}DMpO0)=IPJd{3m1Lc8BEYs(#vr}*39W*rg9&i7C6|4sPS_C ziPP^DcJwF76*603ZjNI7gn;Of;SIrT$D}ZIF{hpG8!o8-k_BeFd5xrbpA|5>?*hAS z?gWkpy;W`>GS15*MaEwwokJ?da5YB)a{c;-Mf_|EqnzD`EINvx=~cY1YCdO+6+!Hf zAFO(!8(3Dp*zA+AFS8uIzls7rdhyJ9YV~S^PIEcGOBPywXf2&ZXS;rrEB%&*2-gYZFBs-C7dT0C*{jzHf+FIO9l*IdydBO8mT z>k=c0n_SV?{I$K^lS_q__JhQaUjqfDu9_V3Is-R)%`JH&#v5~DSeKU=1d~K8_FB2f zg9!}u2Ump54o`>~lD3I7bL4`lzS8(O7A@;B>p0FodYB_f588T*g7>lTT4Kjc<6H@1 zzMcrvHMVwe9jblBRZ<=^^h}Yu9lJnZ-oxO7K-?NcGfOZWIawgUUmqXpr4=CJY zdz9gQD+g^^lXf1i4;U5OyZLvtm~;;^X-l>>Thw>08Z-I3Ex)#~4a91Dm(6?e9-ucI zXv@VQimma`cqz}$$TmawR~%>_$1h==Enk7AJe8~8P^I_i2^z*9H#hvG3Ka6wf>XeE(E<`fDg@ z@9h%;a&>m`2Ppn$$0!f-cXe_MW;F12@(;2FIWh_h3JGDi^?rQR8wkPOT?Ps63=$-Sph1F5kN^RK2MF$g!6j&L4Hkk9 z%wU)AoI1Da)~(aEclX-w>SuNLs{XO7J62m$nE;Ol4*&oVsJvFx1pv_OpX?JHjHg;W zJCO;Qn*vFYiK+Mi4)hyGni9lVz#RrsI{N#SG(Pa`&EpZQiUx1X=A zxsJSv=Q?%%HN9-dV|MVQ$Aiz_ zn$INC6Acve4%#~!Y^&SWvpoEfn(F!3vvu}_f{ebiOJ9ujxpopj^+0gj`XsUjha|=M zZnveS!yCyF=?f@4hR%6FRhPI3BNP$j7k*~tcs6*XmIQwF7&hssWYxJ71X%O|fNr~jHq!yV zC+KphX(KJS*4nfXfW*nE(6j8vpz?GA0-SL4eK{<4bb~@%-v|Gz!V{u<|#gTF`6WEpPBrVI@Tnt4C(aJzI;w z#EGmUrY@EjOeQTMJdk@uOxqAm2YLyo#fwxZa$?6F3HL6_*Cx@&Gm!VwCcDJZ3m;zY&!J z;%{c2(xDSG^~t4?SVSdyk`OUd#VS058W$=$ z${o6VWDk=uNeHf26nzw)0@o&uO~PsPYvxMg@mR|N<1K$%%(LfbSYCNI5sEC%pIS2RofRtmg*jdgs9cIa!~nw73;qbB&vfKP)CMa^Zb0 z*4)$<)%IrJO%qC!Of&K7Xo(gxl2Q-(7T9znex`FKj++xz6!k%|Sg~I5`+!EQGiOGn zykFrf?Td<`a-#||;ixjz?U|d#{6?(bBEOmGA&%3qOR*r5dq)(&f>|Y9IO8&NETbx; z1H@qu0uo>)rS!1dmn7M5l+A_gBA zJle&luJ7|P^IljOO6&5*H>ah;!(9e07d61!-- znB*C81*)G_b4SPwB00@ORGZYBlnqMCO7?0pzRedSUeni37$)h+maKi1sqLM?nOdx# zt`HbcbvQE?ucDaGVm0~oO32{5<{C2K9S8IMYj zGsrT?PoK(hrhgMUYwGmHmCQlU<6_KkPPDIi+CT2g&)Ds}osI^fIpJIPGd>x%|ay0sLKk-Ehlc8W?fUGsE)z$03 zkEIpWV%RF<^UI&C#jm~pg!cq{WoW*#R>O4p08J{80bA;GV1tyNbl6p2AS}orSo&J@ za^mXbq6q1F>5PE=artAmb-Sqbi?6?Ss9=k6YkfzS(V9`41_YcXS|JUTd@af@TFym9 zd(5~(CG}&%X0_Mv6POi@34U>8a`b&+eFfAGw&{PLn3iZmI~i3B!BEJBQ1(mp9ro|_ z!8S!UnPf7hXXxe=`Y{;uI?_Ru{1S94kG7<3%7erEPr-qLw(IUh~3{et}b#~-a@@85H}AVUy4 z)v8--I|6%_s9qL$Y|{DFd-6|TOrMz&meQ_L{Li~BGg+Dky?&g-kF`n$($#s3z#ou(Ry{&d_4bfA2NE_>+n%bS;%_X7_V z6*|rJ13vOj^@{yn%p`WSt4cd?-TQoa9NEZyty zCtp!_LY}|$s!w!i*;N&4DaYS5*amyHz5+5!{fpxm?~q37k9W=2<%afqqfV=&0wWo# zQ2BF(VWqyGckybO-n`=$nypg7ET|F1$-&P<{TlRwf4*Crp8QqG7X1W`% ziiQ2!+G{mCHp~B^;Sq3|d->zh;oR&t{6KDq{=1|_!1zCZq8jQBF?%83-Ou-(N7t}x z529Ln2D&p^7(b05X9)3`HOi*1e<4YbkwL2U!jtU&3ry)^;_1IFo~q(gFV=?dJPl`rfzi zVM`Ble0a|_x+pp2if zGJ~4EU%I+j)ZLnykyYSM?)v1Tq5t&b1hRXrs{sH6u>t_$Q2+qyNebTw0Q~p?fJ18l zKq3nOp!CdZ(~){|^k}Q=D?PP0|4X^Pxp{h?%Ek4~))jK%994I6TmJVh{@}jl-|gH5 z>dCc_K(1UOdroiD5AO?(@BX|0-|HLr8S1}n#D7J2sJztyn006u%{_~;*mdg4+iP*j>8cNuE zxa9bBltljupK?eXq@pOVANc#P1uX2anN%dJF6bu}E&olk^N9<}QqsKn82P|>q~d^^ z8;hIzQ9~k31X&tTwLP6J^ulCD*uaqUsLirM-`&aX_$%ivw3>O^B~iRwP?^!vV^Qlk zb2rsr$&gRLlh$`8$91tZ<8^H{(2{n=rE~u#<5FXTrVMJ*>?V1VQD3l}v70?80k5P- zv#U9pBdYxjZOYDdt0lb6mLB`C5NA1CUUT$~<1nDw+A&#~yAfmbGIP_9Wa>)OkGiXC zxFfot1!~#;5Z5N5gnw|Q9Xfi_>S$c+hU6+V%M5fY_%pW_$OD{e8rOzg<5SdxpAfxq zgwbCr1-j|GV8(39Z$}on+j5;UeI~pLGJNxw$TAKiu) z1ovX_+nVec%qLMcPBZ%G^ZnNdTc1}pTN|8Ia6TPa*8(Wd&}!u|YK^I*^Rf)42y0LG z&g%v-oYn_5b1nX6DCl`-m}8`=X=&DIw7l&RkX-A@>lM>3zpq-yf2xO-*I{gxvA}zs z!+39Ad5XL2Q))6PiSCmRIUc?o8Lmtv%2JaR8z|zMBhC7OJ!Vyf!-&_yv z%%R66E7M0g+o;Ny_kQpyDzf)2u%(80D{*1nb9%-0kOR-$F9UdUy-u!>XWYYVL0%#( zK_F^uRQ;Z!HZ)yfEU|Ot6?X6QscPp4{;6Gm}<-or*bD*`GDLOnM#uq#^}M#}BV`=k`e z&C+aa*&#C$*0>7f6JC{zWk75NYTd(b!6;6u!J!IU2=ydRnm9DA)cTl%F`kyVb4<3L zvRLl^6O2@Qp2Rl~*Y5cUWb?oSK#l#0y!HZ!h$E(!LdUW#&5g)T`2=IlwQd;v8No7%wqSEK z9FhrgN1MDtpf!*Jh;Ey`+o50$ge68mXdy-MW%)MV7uM;&RuCpjoaSb&4u-1l*pGFXLdL$_2`$075y$*!R!Pf>_P zX3N9sanP)fb1wP2;S6wJ685kPc51meV%9Z>%m}G>IO2wBz^>Fw;;nJkpd2eFEk#jK zI@KSxZWLoo$q)`qqI%vxJy4tiaE5 z&UoEmOo}CE(_&HSaMVeCxS#__)G_&;zJxtA}899wJAQ{a8y83eCk`pBJrS~xGhp;q@W z07)RkLm+X#smWN6pFJ1!tMz%V!eJNqO6z4b6D0|J>-!q(HJZXwqNZpZDmjFkCt0V6 zE)Q?l1%Jmp`g{&kkT*^F08@l1nLaimFRB3pceim1h0UBSogFa-S$Y?Bo-{i_yx|q3 zi;?|akfd;(yzDBLvkNrotbMmZ4vBVBh<-d7SB)RZH0c7IQakN&DV<4mSl6eg11r@Cr=RGT$qqkD(j7Hf-!C(P-t1eL#7)VnuQWP7?UcC7_Pc zzitMm4riU!CxGh_Q=hn&CV~x8+KD@hSVF&yqR(U$1%5S4A`y>oWiktY_6GK~WDtI3 zWB}@pRIUCylLLQW_cNC>c^wqeI}-jEi_SK2P-loDkB=DDxANwvg&#|5W{~|elNp1V zA3X@Z_rgrc4LxGv1*^@F!DEi^kkl9y6OPLm+r8aH+rPSH+NV5pta$a-X|PRWWzO2gY#dNE%%O)IxINUXF3CTMWeFy@!k zP`||ZCf!$6YAvG(C7_7{bmC7O0hzi^Dw2P-=<{L6kPxG-jqTElLpjn&jenK$Z$J1t zRoN$vz9gYEhUuVnZp6MxW-H_{Q;{(y0_$Iu(Cn~jpCgleF&#^}tsg4P&FlJ5T4~YW z)Iz)a8^bK-nln~;csaDFe+SQ#NjM&POHvl4pf^<8jvjYOmp}`42G8h)q-?|jvZFt> zb^Xy%EhQ^AU%xf}qqZJ0eQ~fI$n~L!_c#u;raRB#-dYFK-cjleE#AD#ryW2i^`8pq zkz;tR@7bk8l??eU-2i9PS;fl55`>=f)98-Gl4S&84&8blfPOd!9P}~i{898O;wIXe za$0r<1(1Mb^WkT}*%KLfvs`j1R9XnU3u0@6AG{e@Z=aneqZkHbw93ykSSE3uZR^eI zH#z$UU{q(Pr>?%HVr%#1tKGQZc}Z_?71}!_IpScbN>R=mILzi!5tLP~NkQx&V~Y5? zj0jF!5qf56Ff1?10`0U`!T$+>Wv0TQOf`x^r4h&3T-ZZK^WIqJye!yQO6V{5)G(Gz zq`#-@Chh=tL@8alzB3)-@kEwJxSG1B$T=iYXLDT)M=6y+`}`mt+WFhg}_jU55BZt0}B z1X6xp6|eP@PF199QyW500${(9!^U*VL0qhBY^YvGVziE!X)Y!CXJFrR8;#>bu-Zh?t;1l{0MEVVBYqrb7$C zEkdKm|2z}y1AG#80>nazLJ(`$V#=f;aXZ&yBz|}_#a({sqjQYRu`)~7l6krWvR`tR z#;?}Mel!|QDRI7(e92(@dDDd6%(}Szdoa&*`r2x&eZ1$jDbr%Q_z3S}pH)`Bq*vCr zt>&5rlgNog9j7-p^`XT&yKbIe{<2Jnb69YkEYR&=)JaL6{CT7973WRc*N68K+DN;yo{LH6)jxA zT@J-=Oy$evt7z{v^z3zTIL@wF_JWbt0R<_1TsT3#Q_ReP&pqXb++LL{L;=QBTio?N zN<)_3t{P*6^eN#9!@F$gCh`BkE;cFL5d!Z^&P7*;*yQ%mUnr{A)~68;(khxp4Gzm` zN>Ih@g&JuJozUwZn{fPG`!I()ZFG_dt%68TQ%yB_?$?=wEgFe}J;I(28Nd#uu#%*Z zZASX5h<<6kLaE0eg*YEA> zgZsj!sRY4EJQDPip)nML$rR}AUf(h8MaCzSuMAsjiNHXs663cYp2aEMi@kuGb7NGx zIC9tgLE@#r{{l&2?K<{=&jKJF$7vab;u6Q>W95h0%H*Xz+~VCO^nrjmAO86*)-8d4 zNrA>Y%>Zy@a_*T4XxjS?`LH(jWjoxk*F#Sn_Y`?fN;Z9ZI^ zQF%UVaF}q<2*G&B!NnhQX{_hS!@8%wTQqw_DlIE5P3D)bMmNM<*(ls(=nfL=w>%v! zr4)_ipn+<%dQHTneQSNZ*SP#~uI2ta#kOowH9Su!4a=Yh>vmH1c$ZTHN7ON{ExO@c zdh|R(HRe`Cxz;5%6Q%sVC* z%0rYfFvp(;JWJ{%>UWW4?x!RCvPu~r4I98ZR+$-hOOiJipXuf?XfaYjAKJ83Mn(im zTgP#4ibUGgdltV@jqlLc=)enW?;LO`E!iD6m9Qfy6M3e&v6c+=KMc@(Zd$FmWx#Cm zUVh8K!@0F_COkc2mRvXj!%$HV@~B@pe>L!}aAjGugHYAgKZwq#!G{d zCxS4qmcXxMVIrXYEQohXv+m54IO?Sw5lY1sSw_BCuva?8VCtZlN$7VU#35L1Ls1(6 zMGZerF+K-wXdLnpaW)F~Usg4{F($L#8Y~~?eCsZb3omL|Xh*1i?Fcfn9ObE=n&0w5{uHKaD7SY>vQ|$+7m@?K+bP#@o zRSVXR*#CY+V-M=xkF*iae>#|8@l`VRwYTwwO4xZrpBjK5zn~xwzc`PefWCl$grJy& zpb!^7zXU)3gYdug{|9jMuy=NV{qI1Mv(eMF8-V9OBRt)}N!WRK!n~awoqPe1|FJ;w z-oDNb&_Ix$hl6i`jW-k|$S)v()AqCR2^9Dr&>rez=k4t2>+InU`2PSOU1bH33Iqbu z_V#dac7>7w(W0MVvj4!I_6`z;P;a0AfZB?$cm#Mw^h8a2pWFZyB~8T|1?$NF1M;Kp At^fc4 literal 0 HcmV?d00001 diff --git a/static/img/mathematik/mengenlehre/komplement.png b/static/img/mathematik/mengenlehre/komplement.png new file mode 100644 index 0000000000000000000000000000000000000000..f2091748f336c672b908bfb02a2b9a11e5a3ef13 GIT binary patch literal 5826 zcmb7|cTf{wzs3V7C`CY|3xtj|>0Ns0U0NWBNJ5vA01^QaK|pCidQk+FDj-2h5KyV1 z3kZTVfzW$s3H9dp&b)KyoqO*ecV~9?yU+9e?AbZ9v*(%f%EC;aj+%oS007V#8t7U9 z0A$dA&TAAT1=v}069Bj_B& z!9irCqEvJBtp&&@u8~~qb(|as1tMdGr1N=$ZqdZQAZH1T5-0C%3ShR>0{hRgzdh#C zXuix29rC+CEYBi_i2h{2xG30c`b2&n7` zZJHY*R$XIE@jP243m(a?O)rJM+hw>a;L`%J#18mF&x>rRj8Z*PfHFYEp`j+q}OX7|AF_ zk@1~H3BdZ7EKG}G0zd##3Xqdw$uSS9L;#?NJWAKfH6=U%rtg{aDBu27Yb39Vn))lr zMwuMRVDchU^U7@G)oU+4Gq4wG$)Ik2xUr_G$H0k>xeZjra#Fw0F7Ob!-uoP0@YaIS zn%YJy$b#vBCh$fR`AjrrLF`W@If`?-@My-YE2Az~?J34%C#9%@Uxv>g`pe}}uY4!& zJ|GPjYu?7S%S=#EqotY8+`UcCz}Kdk#^@BC=+8(m!1hY}3fA@m!yWzg6x$D+YdYJ! z+E5na^S1XMB0@&2uvc(BVgaGl`j@S>bUAep`B>ySXhtWoNVjyzL&kx-GOAv4|7YZ? zM<7cRz$wXBx1p%IAa*!)^$8noOr(oTztmtB(B!t8Y%v>xZ8Qdxz}{ijBYR(bU>v^BgV-yDn^n`W0H$5Hd-7Ze0lqY@{jx<0WKZ)VdR0*Q^s@m z6M&O|VY*z#L1ur(r;KLc9Vn2NjxssryNFAkTY{9j(H(<;4}2ew4C;*N34DsgPUo$)*4 zIAcyc!lc#tnVFX54?|v1fz^C@+b2GqVOwdl8k4=kg@l`?Jq~wl%S_hZjL;Mdq_&$p zw3Q0Y=7S+&?n|^wDobQbSD7sx_5Gdn)|_Xb zFP@#NpAS(AQC_Dc%@ti)jARTlW+oh5vH!DDq))yYIK(Z#$;YRzDp4x~TKj zVjiv;E&G{iqHbycA<^jAn7PFmDtxMaN=8*4m9LZDeqW!t+oPLBKPC0ms9Q-q|p|mju;JQY7F|?zAd>;HQha4UTx|ywMM2E!cC?2 zE(EQ1|6aslTL|*0P3XO2g@eJv?fn9x&w=L=a>aYaap82reDrR6b$9*(&%zu|gXbZS z1qYD!7yb0j5LE*O5rtAQHqK3+X*RWnL6?~yL8-h#yjOYoH^3XUzvrfbUwK{HUnZs{ zx^NCf7wS-G=jyPwtF^7SFSjA*<>&d-Gb7?IW!e-9#UBZch@$1-qP?Q!a$YKbL{Bsi zOcG2@ko`X5iuIyLL3s$s{X%!vBm}0d0XIY%`BBUyrDM(bs6uZh~7%;6p2IaczzuO3)H0zVmFsQG?^c zes6JPwzP#puvk$4$mK|Ii*wSi_ENV@*VAmRgY1}s3)YWrLpM+uXB)M)y7}wlU2LKh5pW$;nyDHFo%$k&uy{$}7Bc;d6D<+!IFV8uGNNG&dk;@s+S-37%kW63&8o+6i-qxBd^jsR z8$Fq;d*;WKLwz@4D*0GrA9)n=LSqk~{6&LBct1ZiKhyk%ft4u$@Kgu@cpeP^ zoRFmFs{lZd6acXP5CBlg0svV3^O`KxNJfZ-i8W~dn6Pk2TsvQYXnYW>K3aZR5Q`YYh#QX_yV zX!+0D*36WUGIAdI%v)n-5{v~` z=d@5DKS?Hsl4P>~c4?tk{ulRO5Q+Uy_g{}Bv5}ja^)mwa2Tl1b*Bp0~Pd1q?^>`JTD5bPpd8W0OEFevxNX6phcU zVX#ovT*2PJb@*=b%-{1q`nAJD%M48Vzeam9x3U(dU+Q7_2l#(raOFVSN8 z826r~I0f3-={-p_ZcREM@#){|s6MC|GnEyl$do zOv#ECXGX4D94Eb>}lyR-+=GfmJvkR5ryivpq_au?A)*$xEv94uEf=) zbq19A4bJ#Ab2;`|{`m3A+>bZ(<=BfIl}E8#FPlK?fh=534*4llwfkL9mJl0v(NY&! ztCiXlsS2N4;9t}{383~fmoJalKrD!NtX+@9p9qE0recNZ*Y}K_)QNGBP-vK4)wvFf z_ZoQJ5{?k_amBWbZm2zg-N&Xs={gQi=oQ9I{atUJx|~hr^t}MagW_VltR}IA9klqK zR1h`-oR$}+wcX-1+bR!l;lUOHSISCyOw(W#*j5&t{y1eXnhfepgRd2LKFoxjV=q{6 z?%?rnLc>X$2(1f9Dy?I8%H1z!_l9yLeff7*bBIaez4$>GF8IB`p}H)GLu?A?WqfDR z!@OxwRjK34=gsS1w!7Cr&x(}j_@rAfuOXu{bOLs76^jD-{N{AB4!I3i!#4!rz}nfB z>EDfU&Bx1WSC6Ml7>NeCa_@asSGnOlgP)F-j}HfVdBW$|PJ%8kRypwRsysRVSXABC zQIA$YEm^2HzJ$C~M2%Y8MHSEx8G2uwtaKj!5X6a=audB>!J`)A(U52*QlsRw)(r&E zo3r;RDp!gMeY;oK4&_)VZh}iF4Z4D49XXmh9%!6p#ML^}OP(3JsU%UYYR+0^QsySr zn*o2T^GKaF^vh4jjzpg6#rvnQa`={cX;x`Z8C)nEAKHQ`@OM6`@=-d#f=JV0gT;z* zZ1Nx9`luyr<(od1lDiwc@oi^DaXcl;$?BVU$-0idR00z&qKHFdi7yJ zN-J~EzC~Et>j@b}C3{)gf~vIr{&Jf_V9dxXg5VaB3O?tyyFK{Na2F;FmyTfu2vZl= z%=1ry^kYQc5(HyJ#Q0cUMS6NcU`8Yx$k0r-uBi7lmUm7&+*JPvRT0o1THePfk5k8; z{;JLvt7G-T@_R~JPtnNZ+-?uN^tsF7jg3W_Lz>+RezlkJPC=}@KdtPf1*@i`8d&`9 zJr3c_E$dBD5`@NcK@{fCpNJj$8(~#L2RidY=wmxYcb-{k*Z=+@sN1|BX+>WW=d-bU z9N3niRvY6}X*w&eNUrR1?p#t6?c-e}o7;ag7}v&uep`oCYhqmr6ToJ;wWLG1b_bir zQ4$h_;s7tQY`vGw;9l1c#tTk~6FT*KpA8gxc#NeU;9ki?IV;wY2apxKZ=SBJ_5(H5 zoGhfgj3`dTEYe4bC~!KxE-)?`u8SQ4?_fY_fJv;I{XrAGBIi|^Co~Q3VF&$bq;~d! zM*f#x@yhx!oV$`s@7{5Ffg}<4-1LBm8e^TM9x9Dez9BjhXJ`s4n;cuMLVLVwg z(Aoum(}B0plrv_5VC!!*_;ZcEN!O~{ZG8|Ns4*pzvI}WJx41e??al@5v4>LK=nGIw zE^qqV&bxcrps!)C)3r!Tiw%*AC1X#{k_Ili7*ayjj`|`Ks3zD^d!m$-&}QpsGWP0j z7tOBtcWkJ=UYQ%v=CEXvlmgZ4qOnv)?Rhzqx<2HPBu976u2>2s)ZTSkN@!UBOEUI+ z!AF{1RP`jOOo=2NpeWe$cSvBY2Ro|$;sYKNNTIx%9JO;>tIK_x9o0Fa^0QKj&J?YH zd))+#g^!mh_WVKh@%0znPUYshhjqCDGo=8t!jabkM7oVuHV*mi0_g&Ht(0Gi$H4tV zk1@rOpXf34ej?6eX5ZO0C6f#2mLOXeXhxj+m&Z#L_{YNM*heB%L9x)H$G{EUS*kIy zjrA0H{!CMY++**hD1aNPVP`%s-uPcX5OA#Qv4s3|kW3V$^(DG7Nq$;g{w2hcwL>d2 zy$fuviq1M6&pI^W_lsp%ZjFu^cfrB+?RIjPHp>^c%d~L#g^1ebV&gRh{Nvs5A`hMR zfdCx3WN@P>fM%p#8hQhxHXPdxQ$GC(r~WPn4?V(&53Nl~!9ARmteX!5_zRo5JiHKDVSI^dv0~{e8PUg~_m&0p+(stE;h}p_OFkCf%<=nB zjL4oAm@S`ND3&YHqHhF@k?Coy%uQhTByL2iN!+i!kk4h>9tvrNT77 zikYlw%ZooE*v3Rd>V+GOV#Jw?9TkJ2mRWOLqU>nv1Bl&V+@@8}#OHKsU#Pp0Uj4Ed z^Cq?sN*h@B%t#F*lR-^`UE0$AQhx&JF``}UtE6Seh(DnSV#!Z=t;!MHpV^-b@#QT1 z_%SC%{8dgpEe}S#LQ$3JectY@=*33e3rNPHY7i%Br4D_(=q16c;YH~^n%8GkBheiV z$vEX7PES<+c9ZKkLvoB8?U5sh=(os~9k%*e(-2&skaBfDQdc8Wnt|ttH&4SQNB{%)mf%8J)ADd|1A+VmWfv9&F( zl);&p%TbZ&F}d38&DE%;h=MIb;$c7#CIg?hltOUvI~-5+Mo@w?5=Vg^#Wf49dN<8G zli6>JFiG;oqlf$O;*Wmt>}MDuG~M-nnjs(;0K%(RIkLbk|HAH=g1Ie!O0Y z%scb`U1P9-{55kK8ISnB&DYmkQym}4ovjz3X58v6Y$y}I=y7tUqhq<_s94>EaVu{Aj6hXgKB&9!<9I9L;l}@;14g-rY}I^pAks=zbdYN z{z$l|yGI~E=ie1j3m)j{1`7e+_j3z;;sS>OWu&B~uQhdkA%W8W2B9#7E8NpR(9_Qs z@IL^AmA*F6P)7%70rzwB^no$alEsi4da0^#dPJ)$Q53GJ5w79sjH4!&Y;18|;oT zzzL9hXgWP4qoBD~Ferx```l@+uJK)Gm2*X7ZP(ZRPy zIpo>#BtnHZ;BvOK&!$)brsAQN3XD%{9LJza8N7V`PO^ti%t!h3Iq8A2NYbpNTFe$U zKnJmLlHF66XlkJ2O@9CSa#U13xPMAcjjCx3h}Qt~fiUI57|f)@mD7H|theTRt9 zhuC6(#sCmEpyov{7iP5p$mbGeqGqiMG$VcsTv%lzMUC~xlM6@@Mqc(uK@a$jN0txa zj3X#~wI?irM^PK{2Kb?m0y97)&w>GCzz>#}1;tmvRE0Q02`{mnUbP}F1)=7Jj`4CM zJ>qx=;in=`7@}w(O^42b(OiPP*RJfjGck95-JR;a3>T`fNHQTSraf7il^xD}uqV=LBFP@Nb0H(}S66g$M< z&~OMmk_wc2W5!iX>PR{f(h^11EoZR(U853P4b3|E>Q{*2L=DQU%%Sul?IE5E!9A5^ zH{)8AeN3}~4gnjkdW?0iZa2n=tpXRpst9WrnI#b_-PnhWuiP%YW_c=tH> zKzlf8a?`+t_`v?X&Gt>YbJcU@b5D-+)NE1(77?2ajRuX-*|=F|%`$qB z86kI2vCPK!ZGBcf>iqlpca);$f88&6J@6mR;Q-xt(n;LOmnlQZmC0>DMiU@54r=Vz zUkrwsW>H{48Ad6GLYks$sRkJw>0#MH=>-`{84{T$XAb4-O#eXQha#%v$(QXMac zs}{7rdpS?VwvorpRHCEu>OfO&W*Ivme>eMm0MR}Ku%TzDU_gqA&jp-w)Wog0bQ>oFl zdo~I#9QPp~=NCu3GVa_jaEXhF_lQeapK2!?qMB?PGxfT(2wRE`hl7$LR8v*6lE%_4 zDXqLGwJZv32+fr3E{4>mcsd*ZxH3VhgkA!LimJP$>4~Ex%$rINPz$fRnAN|VM}U@jl-TZZ410vtwqpr z!iBKe`A63=+cDbWpXu^yd98OYcHG=XflS^?!xzE_=Y?jEY1pKf?AN3M=9^6qRd zEw9~otar56?`IVz*t@F#5bj^a=rP4N{sP{LWW|-U4|zt$aPZ4$Re z2>Vd8y#zM8(;3#OEsiR_B_7%Hu&ymc{-klXF}_^djzn8bD|u~rO?yN!XIJ+uRwico zd9NGc28q&isJ64V3GD+_o2IRfo@ban!$#cq&Z_(hr7D>ImXWI5lzoG)vv#!CaCZ7# z7k+4H%q*2_J`XKmyg{~Wo3$uHKk`0XN4P` zgv<0E8AIvm>024HTC2%X$!Q57`jaP{XGir4TWej4f~wuuyh#rGJ?wcuqcUASEjfmG z7hhGv=h9uYJPpw%Ysy3?$tD;NG55&@c3|I17HWSys<-RM=BNwmdqd7e`o%kY9wKE^ zU~I#>pIZbxY2gE6qrKUG)RC%}PpdO|KJv*s<<{1)qu~vS9y6j0ga`UAao9lmeI2`^G@S^{}?tg-AFVAjwmu?sPZ->9# z^_SeWC*1vQxLX~&J>0zAoW7mb03EG5`|zSD=7vDL!p#<>0sDPX*vP` zY;XTn1h*m~mlq?NleD}z+BU{(JQ9qK1-otl0QZZu7(~Tw{z%s{u%MBk``2wFM~2CY z81R_u?)mwof%Nb!7;PaQ^YF6d(8QHINo#6~H4a-eMP6>O)@I?!0IfhselN5xT%?){ z2Bwu<(G%KLxD<6XYKt4DM?MZ%s;9;Atc`!U2;08ddFrB9U({^y*SzvSxXZi%qId50 z?T&Kngr6J*+O&QJZ@0XEyiT{LO2{y-20f-xZ7)=OiGE+cqxM5=B5H>|u+2z3&Qa(Q zv%17D+pbtYlJ2VC`YcfUJiUn3`AaYH_Z&uh@M!UY zOR4y!9}(-Awz*4+x;b;#fd?N21e^bWKExxeN}x=PuYTLR%u?F7UFQ6pteSPq+IsA) zZ9c4~_)1yy6F?U$)0N_ezWUgV9xr)Ib+v7=G9>)Fb%dC@1EcX5QveB~fz>k1`g3sD zYMwwfElHhq#_?&uEWWXPfK+WyxW=!M^1%vV$-CsE_fp-5d|jA3;eNb>ky8Fd?(-b0 zW=6`YdR%MHyl{7;NEB^}fl9e=zXV9|=$YCvYimOhE;dvAn!^&ckS@;rdb*i{n=#B0 zF4zTzxG3?cQQJcAtdA@%B9cZDgo3iiz_TX^qwht$PT^>5>FR~qhTR^cXwpo`}eU1IXtHoogqStD<41@rmkrHD>r4R z~Wc-eBT|gg*zi>4|&vnlOyY zw~sjw8wy*SV9>^kx=K_U6TWIS&LRsF`!*3d7KZi{&>IW<;vAewdZvWSyhdp5yph!#v!Oqvh zP+*f^jRE@4jXV{Y>v_g=u#^WZKTg!*qj}_=C*FCfg?nX?0G$>UJ190ZSsE0Z949F{ zNNr4K!ouo%Y1gjm2M#MjrDnwvwyr3J^K7bNA?M*UwJa7zh9&y3!rRsPP00+39Oe!d zBpIR@j3<2BKPWtRlO9Y1{rym`cEn6>6o7gNCZp}2O!38RUd^8^hncD~JZ;%&i|Z0q2b zYO{rf=sYG7`XElCj2Vt zC0pLYBN))_xnh?B(p&YggrYxZKJFi4BT$v7R1RT@lRx}H;of7o245+1!q6zO`i{{z z5%K%Vk*eM(F(~MB#l37n`?QZJGHkO9w~ip*nt?=zXM-n~r4rIx44iUu@0fd4^Mk^a zuQx}Ohjn8xz~mL9n1wu1_4*bj;Rw4+7M^AGbeAGVq5mNJbslltKG#&2B8SNer^(Mz zS21wx+MZTRDqeb4J5!`4^r7cX*4MTEih8y}rU)io1Y(hKzNz$M=_abTFedMbaQxD3 zY3b;%2Mrxbk&F#7vevyc=-P>JHMUZ0UfW-wYm0gUQI(e!TqRa$Y*Ev;pmtx=0;Jqsa!ru+r#uJ|&=SsHarUPz!-1%* zGfUa=Ag8UpFXzOiimfN2{R~PYT1t(2KakKIXU(W8yvw$57|6s2AouZD60{|)85Oi9 z`ZRDW{pPr3=|W#CMO`q-G$mrUD&}13?LPh&AO>h`G>)uLv@63^XIV_gU@I6W-QdWR zyuy@O~^Gx){sK%n_Mf zTLd0PqhSbnTVl&6uP{PAnpPjU?T9$1n7XZO#|9#UjXI4C!xr2lLm z#2ahp_oi+_WhkxEF+T{Zh6Y>ffspjY5!|RTD&(5&0MQ5_YRTpgA&D3MlQd1V@*Xa< zVl=GrScvY!i8y7iWgg%JSNIeth9CNN65ptf^L{kS*~jcilw1Oq#4X$Yv$81ahQ%wW z?x}t#PeAPac}%Ljc3rqRp5Ufh1kjY4`U8W|jXbr@-ks|foJ$3uH zirT)y-XxS^EZM z!AuFf4d)QH&pft#G98fjVIzz!5Zz_002|hyQ~i&nxP3@g&U#STh)MDkX8QG-Wfa{E z$#Sl+V992{tjO|TBPJIKFCQw}L#tC^;q7*YkA|Gp2gE>ytyfKgo_n%>I(kU%ycA_S ziJ4NW{lgOFv{!WjZ~?>38QBhye`Y2WCal?=fFZry<_fZI4z@7(i}WW{;}s&C9_Hx= zu*UHKCctX->DPAiQqTTNgC6v=(k=!STURV5HNQ{NeRQ#a0% z@(^#`X_i|}hS?p;L{*4L!2X83^erL)h5B$xbK}OB-M>P&PIh(&JN#**3TPMKn8T$J zmr%ca*p>M#$e}FIK(VT*HQx^Zh18%{Y8RuwQt*BMVDjo&&_Mm$DpZogV#XdJjQHqU zW2GsMWOl<_e$0|09f=tw3v6+0NBTQ1X*)1m_$YAdiChqy(OR$;TeSbj4X-t&{>j=1 z3)b=)Y5$>p)Fyvs2b!Sg$)}O8$T>83RP_0nv>VCyI-v3~Ke7${PZCr#)B!Bg=8|2mIHe#lo+E{x*6jX)23YA)KMRO%D-1o=Z?F zEnp-+GB{7?ryh{~2N?BgJ+aZQJP)PTU<*Jn(9#-5E+g*Uh7+u*lhhj5iMJXp%(JM_ zr>9XQV_+}E6gyYqiDUu-V|JgPC%!hN71N5#Z6WHDM??DCHae+dN>(_#LD{q1G)$IX zT}ij8!Wy?gTsvs?XsSOKI@E!9UJ0xi|2Zz%(dTU~C87pE4=sJltXiUm6ff?yiybqQ zF&qp>QHAt-hufr|qfJ(P_+}#pf>8(isf1Gn5^pxhmmIXz}V zh($=tc#IvPKswf=SaJL~50#-s0QX-1E>N zf_oLH{X^$0cT}iiuYg0$ZIc2wo&a4`_}ZH;Qi_2GNHw>XpkS1^w=M*B z^_D>>gNu4nbXj!$NUZNjIAZrH+0*|wuPOfwDeb`J?v01{Y7REaMlk~!(f~M0h}OV{ z)baJe%_-*@2l_?}s3(l0+v&_~eIwZB&Ye!sS!7_$xFVmh)q&haI?SHGwK;82vt7(PgX%Mpuj`5e~7)s_0ixieE4^OhSYw}s*hk}c2{&D!dEpWJ{e zg&b8U&Wm5TEp$#f+YO~#c7inEy@M)A1n9~6+VJ);#V9qhl`l(!dx)RhK40p?9}I|% z{@%)Gn>E$1zc7Mlmh6GcxT&f-9?^KPyr>dN*7N@QGbV4B!QP5b93f`Rks5*ZA>AlC z(}{C)E{+9bT3^VkIs41|D5|FiNDJlPFd=EuSt9JHh}8vO6$oc(N2^P>e6VffBQ*YH z7J)KU3-2d-W3T@}Wj;N6Fof^Bu%ni>r5n!Z(DgCmC>xU}3({t+sz5aLd6?1Q~uT z?zx_X-b@TK<;-}uZ7(Wh_a%cdnZdfTfqMU z9F-(RfYPF(Kq$=4%+kh`5E~)n1t$Cl+nbp2shPqY|AA03304la_sTq4zhB${Y4Oiu J-$V=o{tI$bI(Yy9 literal 0 HcmV?d00001