From c4385ce853abf20754ae6b80e8d0b0a5f05a79f9 Mon Sep 17 00:00:00 2001 From: Benjamin Neumann Date: Thu, 30 Jul 2026 10:41:36 +0200 Subject: [PATCH] vault backup: 2026-07-30 10:41:36 --- .obsidian/workspace.json | 37 ++++++------------ .../Anhänge/Pasted image 20260730103526.png | Bin 0 -> 4337 bytes .../Anhänge/Pasted image 20260730103836.png | Bin 0 -> 18052 bytes .../8. Ket Notation/Ket Notation.md | 14 +++++++ .../Bernstein-Vazirani Algorithm.md | 0 .../Introduction to Quantum Computing.md | 1 + 6 files changed, 26 insertions(+), 26 deletions(-) create mode 100644 SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730103526.png create mode 100644 SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730103836.png create mode 100644 SS2026/Quantum Computing/Bernstein-Vazirani/Bernstein-Vazirani Algorithm.md diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index b09e7c2..7c59572 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,12 +13,12 @@ "state": { "type": "markdown", "state": { - "file": "SS2026/Quantum Computing/8. Ket Notation/Ket Notation.md", + "file": "SS2026/Quantum Computing/Introduction to Quantum Computing.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "Ket Notation" + "title": "Introduction to Quantum Computing" } } ] @@ -38,23 +38,8 @@ "icon": "lucide-file-text", "title": "Introduction-to-Quantum-Computing" } - }, - { - "id": "0871819db0c03b83", - "type": "leaf", - "state": { - "type": "markdown", - "state": { - "file": "SS2026/Quantum Computing/7. Quantum Circuits/Quantum Circuits.md", - "mode": "source", - "source": false - }, - "icon": "lucide-file", - "title": "Quantum Circuits" - } } - ], - "currentTab": 1 + ] } ], "direction": "vertical" @@ -213,8 +198,7 @@ } ], "direction": "horizontal", - "width": 200, - "collapsed": true + "width": 200 }, "left-ribbon": { "hiddenItems": { @@ -229,12 +213,16 @@ "obsidian-git:Open Git source control": false } }, - "active": "0871819db0c03b83", + "active": "644429833dab1cca", "lastOpenFiles": [ + "SS2026/Quantum Computing/Introduction to Quantum Computing.md", + "SS2026/Quantum Computing/Bernstein-Vazirani/Bernstein-Vazirani Algorithm.md", + "SS2026/Quantum Computing/8. Ket Notation/Ket Notation.md", + "SS2026/Quantum Computing/Bernstein-Vazirani", + "SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730103836.png", + "SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730103526.png", "SS2026/Quantum Computing/Anhänge/Introduction-to-Quantum-Computing.pdf", "SS2026/Quantum Computing/7. Quantum Circuits/Quantum Circuits.md", - "SS2026/Quantum Computing/Introduction to Quantum Computing.md", - "SS2026/Quantum Computing/8. Ket Notation/Ket Notation.md", "SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730102318.png", "SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730102312.png", "SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730102305.png", @@ -245,8 +233,6 @@ "SS2026/Quantum Computing/8. Ket Notation/Anhänge", "SS2026/Quantum Computing/8. Ket Notation", "SS2026/Quantum Computing/7. Quantum Circuits/Anhänge/Pasted image 20260730092817.png", - "SS2026/Quantum Computing/7. Quantum Circuits/Anhänge/Pasted image 20260730092809.png", - "SS2026/Quantum Computing/7. Quantum Circuits/Anhänge/Pasted image 20260730092802.png", "SS2026/Quantum Computing/4. Observing and measuring/Observing probabilistic and measuring quantum systems.md", "SS2026/Quantum Computing/5. Partial observing and measuring/Partial observing and measuring systems.md", "SS2026/Quantum Computing/6. Composite Systems/Composite Systems.md", @@ -260,7 +246,6 @@ "SS2026/Quantum Computing/2. Probabilistic systems/Probabilistic Systems.md", "SS2026/Quantum Computing/3. Quantum Systems/Quantum Systems.md", "SS2026/Klausurplan.canvas", - "SS2026/Quantum Computing/4. Observing and measuring/Anhänge", "SS2026/Datenbanken und Informationssysteme/4. SQL/SQL.md", "SS2026/Datenbanken und Informationssysteme/Datenbanken und Informationssysteme.md", "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Relationale Anfragebearbeitung.md", diff --git a/SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730103526.png b/SS2026/Quantum Computing/8. Ket Notation/Anhänge/Pasted image 20260730103526.png new file mode 100644 index 0000000000000000000000000000000000000000..f6f358b111af9cfe6f34748cb2808e4442a798b4 GIT binary patch literal 4337 zcma)=cR1VK`^TvowW_r#F>0?GwMtVnRYi>Fsa2zPwMI}yNzG8To*Jzc30hi3QL#cb zR&}6SN~}D#ASogtl6=$a_t*EjzJL7wIG=N$`#PWd+@I@Q_xrrgCkt#3;^UU!W?^CB zv$<~R#KOV~W!es09Ly)1&0rFn|?mD+0kbmS!#wy>{k- z!B}?&2T?bgxPg<>n?qz=8Hj+vWi5Db-`xOPz_^TE@?|r52mQI$_|5#!C|U?eJ=p}` zgb|%HQV0TISW2rW^w(tsbyvdclyc<9WAVha;Lb}YS&AE#A>b*yHcr!H&C+4jy>LEPc=XCt%&-3D zzDAj{DPIQn9H`A-jBdFceLwgH{~C$dxKPhspo!Qt;P^IdGT_d>gL59gIx2_0@Aon5 z)Wk<-(DNjpa5eB@DT3NyaO%#a1P8U2)ym(;lfCi*)>5S+gI@95;d2(wp>QQgIL`5! zhD%>~Klt=OyJ-)8$ntNlx>vZW*fB1zsim}C1$Ta4DDrd;StS!iy1qG-q4+NbNJa=g zk|TajQFT(LaV^@l@iNnkoLiFK`MRifLRCN(aHIwQX8N?}vb)UFFYDZSmF1**^@PXU zn#Tk^iR`X0o`e_kV&KXdXayPl*O`Z_oam!lm!qk%G-X+Z@5g?F?eCKYyI}Ah%WC!W1?Xo*nEMC`eydsL_9Y;b#O0jW>Q;qLK;x z^1O0&a>dhKnI*OItNZfl@+LA4eC@#`eC7SioEH=Lszax14UDL( zp~pebZ7AKZM&x+*6_2?TA``M5R8ORSc%8|NjvHUjfiM7Hj7~hLos_*%^@r?D;zO58T=AV7bN?nP=6O-Zy{8`IJq6@}do0xNM9Djmw~@bJW$d|0ek;n^>w5e^ zB>p29mAr>N|9V(eN9z>6?&NNDZ&}os`Y0%110?drj(v2OQoldHud~<0=Q^wkX$lQq zJRGNcrPI5&)8nWUM=~h2{P}vMf&(@jTX!E{_efQi(aoPg9NwymX^_(({ z=}#ZoMd|Em-Ka}?i#(9a+cO}XTmPO`T5KVpb_r!$S6P_vu7YHQ6cBXw=K}nNxqTl{8t*_}Tl@#m@vT{x0 z?!w}yv${o|$ffRCjm_syExyDqt05n5an_Vq91Th2ZV-oKUo9B)l%Yt(osp|Ko~L{C z@(Wm(IPWQ+4DS#wPVdE1Tfqsg0q4@;kwN;ypgj$Qv2E`to(l+#JK{TQH(-_amE9nT1?)9pppVn8}L35TN^VhIa zHqStRajd`4uOl18PU3LIxqvg8>fu+xuk+D3#%J^2IekM}Cny2jc-MVQ zA-ZRgd;IX`4@SiSV7^I-tb`dU4fWAW7p1$o9A}3fp`JBr>%}@FLP%j4A+9@d?r>mO z^-=!?y_>s)om$vfl(+n^4-av`dp&X}d8*LP47r3Id}6IZq14dq6eYcJ`cAu%QIh%u z^IFMW!WJUv^J4-m>fpEUrSYb&&Pq@7*!f z|1!z%P90q$o0I6e8i7tlY*a9;R~NTFcKmDFo*NGZo#N&Gd2|3RTBPXi7HsPE8p8bNSZ&hso*^hZ9&?sppU%pVS1uX1^rw zJErb=h$jK&udLEbt{q0`c?EoWndA;jM9K@s=Y(Ju7qx&FV0nuH&}R=ZT%e}+Y2I(f z_=2EtB5FbKQUeO4$K#yVxBV8T)f?9;S7a7qHigI1WFsIUo^C<8XqgR?K4*ZG!F7NHoj%@m zy~$wYHk|h2-qVZ#vHHYvi{sn#TBMN(cmM^K8c(6D(CpU2b-`VG6v2Xj1 zFxmDTO&8^}1dFHJ;DB_~9O<&t{b!u)`PfklTEGv+ZG3ER3-EHW+eZYfAAY-)AMX~P z7c3$zO@|C(k~$HDsiy4i_kKVDZ_Yq-dhOtJ$UJcG+W2T3n~rPP&0rn%YF_|aYNALX z1B~wGiyDT%Rgpwo=6f)$70!D@uw_b$D=O9sbR?m#XD}`;Ku^X?EhI=xeMn_B41+4= zG>7a2&Aq5g4VrU7K({+u?I-*1(_0X=-&3uI{=s-RdINri$7x^y)zaMeQEPzU4f%lD zNW$hf9Kh2XR2;X$V2^W5a^`#61PoEI=9kh+V;VrKY#D7GI?buOxC?n;ghwuO%`ppQ#e0gbIfgih)b`HQboz<&om+<=dJK{EUS!Y z7l)gLe9g-3=%jE&LzmpcC>&;Xopkl{or~kn~ z6->TS=)K)}`?26eSx!B%EWyQ#S|`JLOO`wzi124K=}^wKz-aowlY&+Fu%|Qvh>5k% zeixacr6HfexDXBfQPnqkEzavPy;Jh z2ybCewLmm6zobp44-u|ML zvBj|;DJSsDLY1qCFkvwL9Mg7wu?UkUnSSOIorG_F! zFW&S5soGGLIRmhjcXK%>Oqg!P{5Kz75_CPNT`A?~PZSN2s~DnE7aJ%kcCagXDowU* zo`>yd(Z!Wk`z5Pbh)IXJ@wYhzMTk9<|3{0N!R*W^nSTpl;QtTPt;04QFUAlyYwiDo zq9O*0Eo3*)UG6_fsxWT+MRs2`Z`+-9@cjkVl8K-%Oq9xe`Q22@!t~w{ba_UORC;Nl zaH70fY|*K+QKq|?_%%Xzh^Q2=8m8{jyYNb8JUPY{9)1QlYe`SfI=p|7tRPDc_v;NP zTsSNEGdn>qv9I(JP*JZqNFr_AbzcdI7@|h+iH@>0qgpRDnv<`U;RiANUvku+`o#S^ zWtOOvcM>K%mHcGxrBS5#wi}*?%J!<#zPl4tz%cBi5H182P%nj1_YCWsIffDJ7B-Z4 za0c*P`iNGlLw%hRM+nbQyf{v)ygZyjw*Of`P!0q5o0Bgy^IVu(PUzf^@G`$qQ&oBT zaFnJQC`>Zi85kgzz~|pgEEk$SQP~|KIuyylmme_+xsruRVVm>X1rdI7s1Pgj2bH+R zRFZWSQ9&%E1*Dd5B$nY$XycM~agE|$=#B&@s0>wJw)49~frpH6}?|Zotnt<957|E-7)cvMWQVDVCR5W!;w5T*$Z6 zo1g-mbXn3ReL_@vL>&!SGe4quzUZ7Z>t1!*oSEd;d7%O8pF0Y(9!Y3MdzO>?HHISG zaF|$P>f%<$@3m3XFDyx?(Oy(%>+DfA^iB<595H2!3;PlvWOwOgRlGEQHgZgFz#j94 z+(aeOnRQ^vzqYtQ=nQBbR?o8fvzTWn&=c^W_eFD9&-v_FXvac$IEgLrCgqC0>J{UI zGr-lF39GO=P&@hq@vQW-U*~Vm(GTt7)KhSa$M=v&lULZB7+Y3bv=&*e?bJv2k`=Tw zfD=xk{SPaxR*fMj?Ec|rm6ipdvT&R4y#vVxKnu;`Wx}~lC z)SGH~3u6Ez_0qH240`(XuD8St;htT^04?}O;@{m{X;&7bwfgt z=PBtoYg(Pd9}+b>9TsBF8S!*A`^gK?c7vXGjlJuP89#9c;e!s6VZIbW4Rl9=>}|b6 z$Vk|0<(fU^M0GQ4BSPxNKSmkQxnRKNRPy^GtFYm+m7>IeD)E~=Mt65rMtU3(VN=$c zl&iDM8SOcb){zO2+3Amc$ym+&&AvrL79Zc`i@BY zyJaeMO^luzNzW_Xc6J*#WOV$dB|^#><=-rKnPPk(L?Pie)cV$F;A6YSrUYKSGDZ(PiQ+y(f98kbG<{{)vUxsiG3ms@9Jr$ivqtz?p_Hft@FX`sKXUZzTvlL$c0h9miw|Ji@3qi zwR({{m*{@P-Rsna{cr7pk=R>?^+`fMLt=i}4M?`YG8TW&h)8-6Pr~$j{|H3+LnR7} z(7L%K+a2P(K`xAg(YNxp4)R^7ogie@3-Z6{5pH-44tNZ|O*%(B)YElz%UIK&jGQH@ zaXcGJroVcq=beAs^Bwmf;Kt~E{=qN4fp!1qb6k`h!M|gp1l3?ml1K}Z$ZP~6(0{Je z{tk$-Ai3!LT724h0=s4^jGYJJuc5&bS*zl{)BW8j!!u)!Hb$h{kGn3-8g+aQ& z^HmsDFZZZpH~i+#w|)a6I&)HijxXmFuA5(N8IHhysMcfiYF1`Wop!-1Q6~d`ZWdQM zw(fRiiADb11{l3%{eXE5RQPWG(RExAd*1Z*(ApOmW~4<{dWalB-JQwB)M0$|Li9Q5 z4>{sFW3*XeaN6CjHJ}Vu6BYC+iwVzH8Lz+TNeJE;JwzhVsN;-NPkT|%2jL$Zo>Q{U z+H$s4uQRl^ep4SRnhX`)b;HKDRp}w>Xo}3J_FSz`J_ruS^h@6cxJQS305OK9oXgDS z`bE@d zxiJwjyaQRxA7kuj8XQ@Nr1pt{8Kq{Je!O94{@0SE*ga(Yl0t@JxO1|BOxQ9ry%s;3S#bg67knXR&gn&h*3UI2 zY4aUsd{cF*5p-6XJY+3a)zKk-k58FarIKl~Mi*D6zlxNseHR1ou)p;EpXMh#`Tw$_@wN>5Z z)^cg%D)n_n?=F%qv?O>R`aU-tjU~+;ibP5g9y?AsVKp$kij@#Z_KD3U=j%kCmBU!} zn`(cIH74P0Y#WB_^*K#n9pGtU^8 zL%cK8*T2J*j2fbQ^eq;|Buhkfq>pbYPPB|rZ*^a)E&tfbi@q>b*}il(Nxq-D~{O%{rqxpi4A9g&lNX&q<=f)hUor-7anvB_n zKvQ@!snt+^h4juJJtsEkB|&WwidLKsTzj28_;oc1e_!BZ(oI8Y?k+cP;f* zVysx{>cgLl`i!(G^UAUy-vc$leOwS|hcZ?lh-$H)W~}PhD;QljLE2(p-2JNIEdOhkH>E%&dO~ynn-vq|z7M%&UhUvWLe{Pf&~O%uk((jGz(VDkS{y=?1e& z^V~QfV4#!tmP1Yb7%)c^b$mULE=1-dT%z(0C%~D>z>{(B4WR6@B5oIXDFa}?f{!g1 z%1YDRWUSz@@{wm(S1bmHxJFLH#4>+kU9S&Svs6U6x$)C!tc6cobl2J=f261e7{@Ms zDHnnF>JczbSpQ}#_drn`se|=G6Q{c!m==HnYR49yomnS{P?7Z2jquZzJ5%nH9q$8z znc)*zqYrK`CcX!20OdqwW^q=PyRpw!COfiE;SoapPyZG>O(yOalc0{;MJ9 z5^N@?F8ecT|7zsb6&wBy!JWfstV>4_QU_WN^ON@L-wMUN5hiX8y<`Vm7$ss|Jmuip z5u4boU-xdq^N*iaHhoE!TAwp1eJ&WA8BRx8CD2MAX;GBvcrw!*FGmyRd&!WaokbYq#D@ z8Pv~iR0S1Z40A1&ui71b8G#&StI+t0y=V==r z2Fax8e34lVvdx0E``b!sNy z^@J_X=bVdN02Ny!4KknztfenEym&Nl1v1Ww%Gwxai*x(|@OK?Xo!=-U#J<>IAbs!c z-Z5#jtfIl{SFEiV`}@d3rFhHI)zFAD^<=Q0d89giiaGynVjy@qw%z3I9#VR;3*G-#TT z|9%5=vmRW>8^`3XMLds1JHO1lhTX)Bd0jk1%4!1=BGu=na9ZTUlSM?F4WqzW&Mqs*3(1eW5gw*fo=s$B5^_cjuJB4-cgM|8A zO4XzK6+}c~UFl61)c87_5zVUTGkKzAJ*tBRGPEWS?gZxgfEsocAnFgX?YPO4qLtXP z5ER`0^7H@c>#Wlo4wAY_KWG#f`noRdK@%%=I~t%ybn75MS=d>tBy8T@Ko6i8Ee;xY3g#Cb3~C`A z*^+VTU}se!cy&H#K$RN})S;lj70A&Gf%_`j-2g}Fi*+4~Rdwl(jIdL7OQ#f)3oJ|$ zP-RoZRG8OR+b5wl_P~>NCHuk;OqTw+uW5iCi=wWm zfh?6^k#eb(L0UE8=^nM1b|0!h7;=4HM9gdeESe1AiFx%J}{M;K9AVy>lIlzTr8o0M$Lz1(|0g6DM<5&rmo``-55 z5kJY$2i1BxImQN)Z9&#d?Cc&oUiA}a)TLaw$8p|J&&iOgWYXep16lCtJf~d19!|ry zilF=~4?{xPJ2M+N5gZ>1gA}#>3dgAa)0@_3HAyNF2F^zuYqE;{f}cw{YJ=@Hrj} zuZ?UIdU^Ht3(BPt)pBd3%e@K-zx^T!gAJ!wl_tA;x-HjxcMu%5iz0C1-- zQzwnL(|kx~WwhvqQ4x!)X%yZasqm24P_1uUWNoE4rgi^sSSa@nslyQ4b0IcolM*shEh3R>sV8B&Hgwe zrKt;!YE@zSya2SBAUmG;Fa`X@wqU!AMf{DVoHY=9(@Y|h){ zWUcSz@dn3oR(KIEbu88P2D4lwdeQHufa?>-l~8ZPO)L~Hu+9g?PxEddQOmpAM>DHR z>h>-FjYsz&iR%MA8Q?bs7AA^9OYNZzauj4c1pucRFG{a#J!$&)Lbc582hnLr5&n8& zv<#b@It0EU@H()e#WF|UYSAY1R;{Y+5%Dv;4CG6!X977Q&#fpiqY@tI5|-si@n(?M zFu5Cj^}zFm_jW9N0`vxSUnF?Zr$#Qg^D}&lVqsRM(qre-=C6m+xD|`V)jiit8vd#p zC04&T#A5wSm!+$CxeV>f6COlclf^tR;^FrfhIc{Pe_@7OBN~s5X?+6OeuWGOP6>Ye zI|D}_wrJ0cO^LWO#53op)&14gb**XVv*2HveO9)TBJ zfdhZkE}vE7nE#NYj>7K*1e?0!U=K#9$?zqw$Um~d$?|-O$EMoLAvUrKQlXP?uH)vw z`i9wdL5a6xOOhRpgpSv(OS52o9t*2_C; zs~9C)#VXYENVKh;xZN4eyZyjV-*oRzln0??71&QcoTPi=71eqjY0rdbA_VSjgom!y zEq&AMqX#%zO6Vl%;&Gb=G8W(ZlE)XbD*I?_reO?k+(~{9cb}5KZAE+h@Dkxb7QKO( zkidnpkQvGLc+8HWBo*l()5Q%)eY7B;L%ox%MPN-8oRG*>fc4CyNGAhRA|TtEd4{r} z|DA-Oi0?c{J(w+3gxlufL98D+%bEz7o63Ieb;eN~vO^fdiO8Y3UhGmbm^ehszF=n7 zlOVF8Z+8q0g7Zan;2hEC-kzR;Lzs|S7Y?uYClV8~qVH6s>(~BvQ7ZkHtnA_S0vvhQ zGn19JHBGBy-{k|8e^4@7w43eb333?#IiAUy$C9tMluR~z;lqIB6VKCr;uA{nm0hsl z>7mBcwnm?@(ZsNQP<4_%0ZG+E7k4D*>#Sf~wo3z`8gMHJVJNS^31%XfW_8(-rl&&$ z`ZqyL+;c<;&UsqcPBMdjXa2>PJjE}nItkblrGphO%#>;%@9k4NYF3g!H7G`1+AdP$ z*n`MS@z^1obeo&g%pK=lJi)shkoPXq+IYt4&FVu&(<(9+GJy$CRb5%_?GE0@DFUo_3xO_`U3SsH}zt{ z*Ipc#KCA=drJ-+VTuPqIgA&=3;f-b0;F##RUn)l&vN9YpKw+LhGRI71xtf1<&EiU; zBE#lSTd!P4SqydpzzRuWs0%~@4{8z(w86zxlM_?SbOkvAY{yQ__%`UeUXtlTa&E~e z*2#z>7w|<8+}G{zb@72So%sH06xFpVbLBRb7VU6w?ni1lv-R)OA zC*AF_!{6FhMRxx|6n5#-owZ@H^KFyazQUked{-?aFd1uZ8WU^CD%|2z$ES~%?BSui z3xvkc_) z(9qe;Ks|)=_!qo|52I}a0)277{YFOeC5L!vG}nW}$Nb|pM2!A+c8l-0o}d<7!s2P^ z+eoAl@#yK9YrRQ6D)CF8*kcC^%?{beL9u*;9%V{DwDBNk$PQNclV+G3Uu=&y`mP_+ z^45F`lhj5d3o%EQlcA0!SQ$5!|HN4bj#8JLr+hz!q%cd-bH8Ut@xXuQ4#;Us|31Ow zx^W6t-NQ%TODugf2;)%!s0_b%-Z(i5doaN(iIMPUAtC@e+gWqPHD6%A7_F!V=Oka5 zk^O$uL}k$9y3Nd2h+#Imbz5l*$Oz>w4zhAdnzQ&uz=?u5EcgxVC_eguDM;ixU2cHn z!s6R~o!`h!TsMr9%+hkfjI*AGDzs4zcLX|sRJn|J%g$L6%jxLPz>jp!p2ruZEOneu z)gLlCgC__1l;X!qRi!kfuAomH&P(RvBW&K=c zb>dFSuIV;@csMq(@P0Zz;3F#aRu&hWJM&3LFF;cJ=Y(eHGV+*lCRF{-fIPXyXkd{rSkK2(RWv8i8i_`KCIBr&3Qt@^i&V?NR7=P z!Ppw-Knw~#PU7kGd|9s$S)#f-c#lS;BBUIbIN1@}8fw&oZo-&EwYK#-ZA&y}$6lLu9X1@5?BgUcH z%9arqM4ijLF(SP(DAQq6_?{1aYw@%Fesn;H(x1KT`=+_{1K=^@pQE||En3oWoi=V8Bqj`5}OSfTr=G!yp`E3;B3#UtlYAknJ{VwWE zjq+xDeJM?0!5aehvjcebC%G)L?EjC4PHxn;f%9^%&LGa_y~p3I8US!TQ?>*gvqUv& zhaL<4O1q%hvqMBvRMPFo#m5ty&Q$*`I&? z?}1Aqt=2?mWcM_h$2E55utY04#6_6Ro3@H1CIyzm6ijfv^yCGzA?5~1-8mu8kfXeER7sCMArav>0^60z?(8g^3GNr$GAj9K(H%!Kl!|9Yl+2pLO>Dw`?5f1*qWRu$h^emUeY@^*-UYs^RK&mDnvXx@6J~psZ7% z@&q{ftvFyY8Jm(WWTyDKBKLTO%rUwAW|s-_^mGC<+h#vsIH|8vYT`pXFs2)QW81&; z=g+%szb}E0@Y9{J3sv}P_XP+p@E3pui=Pr*juknDOB6J{p3?*lO<-pXb3q~^dq5z$X5#Ad=^jr{19P&6OnwEcXe4Bd{-J~30%v>ssYYo@Lwxb`Cr&TrjR89 zZn&GCzB=S|G5_l`xmPUrR*2R}cEaEJK{vxxs_;E8kmC#gNHRFP+HdCIXYudPp@539 zo&A|}%D+J1v^0bq>rbN1zAesRmJu6U)`0ZZf;tP?>t*jPH^ET-AAg4mDx4eT%7ZKD ze%0)b_2TJD?ePBvATkmu{A|&FwaB*q#XCYZl39DOktJm3vibuq;CJz3Yvh49+3-Tp zNFRG2N3g2OZ10N@q0+0z*sdFNSl5@`D%f2Wa&T;P7FEW0F0>ux_cdaMbu<7df{r$L zQheLzEQ%F+NU{^(<)Dao%R|qh0PIwmrVzEQM{WJmdFTvWsJnVWp44b%Ip9A@?nJu=T3x5YV5{2re=IIuFvni}9En4RTEzeqX zo?+SKe|I0Asmqh|R#4Cz>o%B>7PW`$@z8PEw$vggOAZk82TaL(iN}wAiL5W{4JeV_ zDEA*BQUFF1n%US336S{cmI$E@uJLO6pR@@)mQ(JjP9BJLBctCLAw??w$dY%d629E# zBZW^8b~i6GRYrVJCxvVX``3pNmkkee*iP`B`LE#B<|zMbd2@e%|FA?sc!|f3lk?>~ z2Lheo94{}bb%G+Z5n1B}O|LdG2e14IKQYn*b>LLkX7E`m=>ykGXPGL=r!C3Gf1T0N z4k(L1fz1>EclQ(yKbl3zbU&HE8QE)PnL7PkK56)(8U6R&ru1zQg&1J?S2|Bl*pP*Z z-i5GqM$UIJ(DQN27-l7@A0EW<_d`4o3;9oCAoM)xz3@~f){;tk6+BwO)M)4%_NIps zOA`b$xXJJ`;(*YVV`Y3HDVe+)vme-+R`Q6ESswIrj-o@CL43TV-f1e%-TT}f-h4-_}wyY{Wz&}dV!-- zLQ!!$_&EB&h+Pu0Zd}k--zLLmJC>=}og4PpfJprs@8}Bate4Mm)9?N3o<>^K@8bqk z_vc%MaXaP;OvF@)YrAyiPekbb=4A=*Z!~4yOcj2AmlDZ7-7U-gIH{Y@hS`!t$s-JV zx@G7AIO>H~0L9Vo^qQxs2|=bhCxkMMGxpu>f`{J;GYdP;{i=^ie{I_0;d*HSCFp6= zO`Pk*fBguzoSP?doy$e#F|+}p8rAH`Vr_e@i@LrdH85+<{g^UXOpt;kg_mwMIFWKS zZVbo^!8eMQc@E6f828$ep#k;5Zpg!?ur(!&JzL!Q5wh{8f`D4Ye_xF-%;rMvUOC9WcFyCcG(}%PC99 zIoD)0c^Fp2TR$B{{wVF2qasb5Zp<3f)8EGWcz)Ikh`B{5B24wo;$v(!eigWEY14!& z`S3wv`&lZ(mK z5$SWLZF--_{M5fET^RZ-F*N}8c&VUy!Q%pLc-LES3ac%D z_h#W?B+$mSVlXvGpvCrnd#r^Rw-+{8Uqv68%E$2vY$Tx(ZKF$Q^!ewWM~7One!ymi_<37fbkV@mmJNyp|9=C`&|@Yu13tzCQ35@5X51 z2f)gg;CZRTVwkKsWBffT{ca0j!Fz0ofN?t?jTo!L3Nc$$cLiZi&M8zvwZ>I_rHZl9 zi4&BB&3pprqraZWeg;38RQ_58cIt(=gJ?TOzKt$iq$hKQOqQ>b?~`(k6%1VUC|Y{r zOp%mt^TKYunOzQZmp*S_v=RhB0X{bQL#)n+j4h~i;bAzMxkRlA=!w($uf8~- ze$;!*m`CWsHkuoXQpj|u1X;J0Bq9ofa^N z*DVG zVLyVXqNN$#V!jR*;nknTZH8=?@V%$ov`E2y*_DZiOYzMFp}db(c0TD)X@B7S0KHK+ zqjo0|C5lv-jkcH!TGbhf2UgpO$PLD_Lcsq=Emd)R&31{P90k@h$dtH+xu~^7CKsA3 zI>~wOWjA)!-DO7RV%*o|w{-m>PId_U0v2Wk=5P7>FK0K#nsohK)vT)=t3#>i^)fh( z6vm2HQVdc4)wz4U)xu08e^W`YNVbc-I{QkFcwU|;LSOtRB%!B+CR6VP04wsFP+VfH zgdeqn_1*B~iPx0z+9po{&NJ*1rbSS;Dxn339hGSx-@VrQ-$5$4<)mnIq}Xhj@R_3) z|08f1X!CiQZ58m1w%t!AB)nV`CDEAAN-pB(!j`6Ft(X|RoeC1IT)kVP$YvV=WHkXn z@S8K?!7RqP;k3eDN#y*e3dK6t)jWFk+&6L~|2a4k-x#qQVz;GjMJ2MDu2 z7ma`c9*ge9a~g4}Zl|E7G^rVsnx0(i#T|eBC$1W6g?;P)TNL_70N)t~qlC*9+FX2r zntL?yqg&h#({h*ISaZ?>O>fJNw;15_ep=rfy9%S^TBb@Y<+zT*eIkl@&JPN>{-bR| ze||d+*K36R3BvqbMF_<C8I-EWJ9~Kg87fW$&j#(nv`@Zyn0shBsJUgh&Wmt z;Qp>aJ8DC!uoEF*z%Ji|eRnT%Vp~&_x@~O_kJ=>tEdXlCjD(b!iqLbK*8dUwbY=F* z47fBaG^3~;)v0^wSvVd-1q)SIgLaZb?!}Phlpr_r=O?7Uds{_~rY^^RyDH|4GJSpc z2VUOOPD##+S%!cKKzl^>E9&J|5?zi%@f zHE3BL<+b(CYBs-1KFX3nAuX`d+HkKdh3_^vh?-4`GACK;^^~KdBvfE;;%3dB(WdiI-nc`FCn88uLA4jRnnj@J|-U< zvlWyZ`d7bOGJZpKGhukV79eohd%LPc*We=6_O&QLBtW@%L$x``BaPDtIj0&ZETnj! z9nv$yD6%04TGC98CVAMe`yp|;KoGa}Giax1LF&{G=|>3aksdDQJ=>!XA;|kY;&tl5 zy^?XW*u9+qK_#2!ak}Q307#rwwk=2gw1g#5JaDQdgFi+?nfchb+PhZsL}yAYd0@wj z@IXCqU!8KL(}CbRmOHfb&`NW@0icYHk!Gf8s7qjm*~K#@&e=IB%eykepZXe%f-BLc`?xP?J?z>@V`Y7Irl>5 zO;gnVPy8202xp$oA@em7BCZF}RqZ0E2&?Cjr`c&fMe{i}E3 z<2%%2NkQtvvvofsSucHs-Q{ZP5BGBLO_Ry?h@O@8mtjPY!?QR-0hMoFo9>jaX(Oe2TpLo| z$}SP`JFxkDuCD144hg+%Yg1%)sD>*cwBdUzM~AgmG0aGcHQ%_*o+Y>{5v{rkiNJ-N zkjSGRZ9&H{@^p5c<1G+8%wZjrAjP7{Kg9QvTbNHgz1WCs$&hz=EA0e%zXrTldx^>r zJKXdl;Zj;G4QJJOO2ZWHpdIM47#U;F)CLVkl-fguiRF6!#2miC@gbkHVD{C?QxO(O z#>NM&v7V`$f`bGY)qg?a&n}Au8iOljJ2qax)oeP*h#_hS`lJ^uJen=*t|$J9YtP2} zDlfAc>YF&BtjLzI!e@4mwc43~f@M5!c3x3hhhtK&~ih*2Z8L`89s;eHOS? z|LDA)>PzH;`X_>$VxI~+;p#gd&8JFnvzzm4lVC`%mD8xzEeyV7}wq;&HnzSM6xnedU(nKm(66`CP(SUN}={IwS60 zUH1a+$1XANKTt>xjuy?&$H6Drz+NVqhewtNg9O}*zchE*AE2Z^6z{r(ge?H9?N4EU zGw2T1lX_&mfO8JGW%$^{TRuG~Wyrz)ZHfJ|o%cbXvsmR6I0iqf0`x$I>(d}HXpunm zi>1vGGy6HoS>(+O@Lgb!_U=a~;=lw6$)S#Sk{E3I9+N&J&_MjF5^n2Cz_4$qR*J|l zHU%yN6HPE;G}?RY?@tMT$_S?3UcB0V3=j19toi00 z5aDJZ`xp_Dws-#&!cD<5bcclcbvQjFw8|ArUwC@&{3>380CaY)G|+IRMZMY%Nf0Z4 zx`R41PbSD%heAcoO~H3HRZJz7q4uwlYDYrMCHl3*(h^z&!y2w@lWSBhe|lTCLhD3@ z60%IR^0R85rryNncE#WA=g))8n6B$K8-i|d*)%z3%?!CKw@3@rS`vvz>EOE*^;9}Nv!YYjlWLQuAA*+kt&MG$nHD+#Y)7&&YP=jZYrH*$hGyQ zn}aqaa| zUDSXY0p73cN|=8tJ}0E-KoUIV9==L$iGlIkhbM?BZfb+t+4Z{S=Ai+By|kd69pEp( z)qy2FX>bRj=}WV_EUK=Z&RUn-Nl;0Pzx~gMQD3wuo$SO)EHh5fsbcrOMRnmM$Rdq6R=hk9FN7UrU&?}N0YII;j$dFX zO}X`;IDS;2-`}RD`#0~}(ILU}RP25@m5Lf&nStsZrLx!Jlk$%eJnBG9c2Mf-$ewe3 z-ejzqDLch^tcv70G3a82%ZmpEgL7Z)rBYMZeLI$TGDTLoTo{-f8bAG5mSFX4s7dq!brgRA)FhEuvL z`F)#W*n15F`SF%))c_l9n+o#T4xez@&u}KS&a$Sjei}hr- zB*%%EN$SONDTLp}w=|euYd|;Sm;~v~MtEkCS<|H7k%+`2w*ApwVbFrqjvQ(K8tjm`aZO%28@eK{#k!UmDjdOc~j)2`FVpgw=~;MUrd$&=JK~! zwbyLS@5rE?9(jixx92v0lDZCBxiD+A6uOkyIQh2)hwWPfesA)15{49Gq>_C(F}4pZ zWQrv?YtyYk``lU_QR#P3kddVAAdnPs=7PI}hNUjEhnm(Hx>@2V&_tJL-l zwe38?r8(IFEk7JRS1ogB(G}#C)rc+(C`Hxa)^$Qj-uAtTa9d~uD#6(+a#k5i)YqPA z?8;m%#-^t`4~4l7JyG{x0AjL3|JMc$E$jVtbH#q_N0;#Lt87+X&+!Wn1zp-q_FYzpc)Bd0dun~;T|P~hy_rQjD^ zwGggI8lTTc?&xmWxZ?UR9#P<2ccs$is|!3oZQx>v52Frf0Q^RjmhhJC&Et0_*=8zT z0*#O#3Aj&5fv9hB8{YlT=E#SKX(;#r;#Wm8LlGx+N-$+OMU2$K_Shn$t}+;f+8TtO zjy$gj5RN+LTgzP?d)+S#{7mtdWEX$Z3DTM;d*F!Ha>Sa`O+{rJU4Lcb24#~)p2I}k zeVUB-GlZ*;Jn!r!IEzV{KZZUNtOrH|)wuWTz*{#yog|J7tO{|q*#mw_#wyuoU1GKn z94h{Q1&X6;z~qsyXM%&#z{*Ut9BJ1;JQ285NybFITu<-c#d_(&(NO5lZrTldn7e_< zjWF+E6K=Le8lDqrH!A)SdugW7Ti>j6fI8lHuJ~hz*R4+1*CT4g9HI(ifMt>Oj(U-Q z31_ceJK!L&j(L|30?5qe(g5N<{n;u8#xf^!h+Y_RB0i}OnzPoY_wDl@o<3S()aMPe zZxpbdJ07weD8HK&TOITw{A zqJ(KeT7xmpxb)T#Vo{bVLXe-7!`28qk!gKZn);C0tn^6O`rvldz-R0YE@68_bna6& z!fGD8~mBi&R|jdcQ6fO*~p`a1g>j?k9IuOujl%lW^g@Vjz5 zH*iR2+6K0%Q~*s(i5(Y{LAtWZjj7Fs1S>z@tOSCcP5Z8pU#?)@?B{0`F%Xt~4fIy2 zhMJp<72h?|CSvnL^-YDp@830Iq~#MOJr4hM=GevqSyu5lVpHzmv+7HkB6BxZ9ut6k zbuxBTZ9%v)<*^y2KI+sCl6;yUmVtXKjI88kt88xJoMhM@ieP8nVf#;6?)uk2teu(8 z)elDP`f>y7WwP&_r5A!`8q~sWj{dQdSt{=z{!L)KU^dp;Hoc#EAG1a&QFniPlGy`cHv^jh7%9=1|U`hRQ)TR^&_RBdR5zhmFi=t@Hf& zH#@fdy%NGPZ=#&)bZfE?em2KXFTdX!J+6EBX%f~*mhZp}k)E~69qvvLyf!sPMGTAxDS)`tr#Nn5GDm5JSc+b74zTsJKzP8W17q zZzEnCq!$X+07g@`J(9~V8)s3-Lz!dp$W-$&2`VT1SR^;rN1{s~!{Nt%+SwTN?I^di(RO=~#9M}}M zEaWa9$Et0;5;sX8+Je2-S$l%fSV}A1E-#vH%-pv14xWx_ANK3`_!}~7nl)(NN9qyp z>4`QxI#0SY7`h_EPXUAbNm3|0q(<1qdw;1$DEISBf919*6&Uzj`?NV1EEJjZAz9kJ zGrf;C)L*yqkxaGJQ?gEib4FoWQvAq2Z3$9%msL6TQ!k?zG0_8QzeLKY&`=>oLO2HF zS?V-(VCrQ}v>VJrcq zb{yBR-XcGN;G%?kF(wm~TjF);rr;83QYVW#rnXcB-UY43Mf+Zp%pH827QK&`jnRx9 zW<(K(Uu3*^c-@B1S(--9>Mj66BXaKlQw3um#Od3*%DbtX^%$pO{$C0+r>w zZZjD0FQoN0S%DXeCVwGId5Kd68)a+6?798vFw{WXLjL|a6=8}ba-hioF_r5Wm&uWaaY)eCkNt`ezSe9d=Ej$ zJ7c^-Cq*LDKYH+X4D=EHX3{DH8?bp5*UMWr*W~5Wyl07zxfl$Sju+j$j+kssBVwVP z%i9TzK+yy=73`i4sFWzP^oCQcS_}TQ6Vzq7ve(1G5VIDjaetf^7%)@;h*?EL#cXhU z`Sr^Ba}s)wTTROvN2yCD^^|O2DOf~z9t=kC+h+CXF9f4HtPm0$%c$n4KVYABB5Wy5 zYPb5-(slpz_5$D0qm!lYse6&Qo@+(P@Cf4C#JtPJwHC`@8sDjSmzmusL$nkoct>#f znf{2RlIL-2W6C=FealaHIJkVtw)}(0oC`hd{5B%whUn75BL3__6o)o00{X7lvn%Ep z`Hs?uTm_dvAmn}ohZAC*^jOFdF&B5IO4)kTUheE{0q7z&U7+i$D1VQu8+9C0ir@3# zXCRpb{(n{#a%t1K*61+FW7}?O*WG>k9(X8&g;L>?e(yVf{cRqod`WEBS8&_>BCpUL zV3{9mw7Fwa^LBH+lipi84gnVzg=;?ft`qVNSRKtc5qH+{w!z2s^;aBT<}rCG^?3qlx9G zwy$1XacQ#l;cuUT2SPmgo}Dqr^8Sm(e`DOgr7=!b=3biXyvB_CNZj5jHw_Z^YAh_6 zA9j{^axSQoF=yL_0@>{ui^NxdF1qktH{!Qd(YaSPT&Kb|8vysJrY+p^^iNsA%o9gV zw&ni$avPXFwAaN=NyrJm_-|Y5sckWyp%yQhpX<)J(smNK=}@;s`4_wIilo##<(oAw zygI{f<+CdOXL5#}hjXlX;2phg(bi^`N&o&iPU{c&`22CL=+D)WBH!9}_jeoJxfEEH zxUfXuJgs!zYM%AchkPw{f~DVHSA8PPB~dE9^~?@ueZ^3P)#hm?eca_|GVxzFOsL5mvRF4 zlAU;?l$A5>y`fUp%O2stz?;`+o}XmS`ovNIc%($z%n3U?R=m);Ki$X0H7!2fPP&EL z+x4SJMu5+4i|e|eS>_)z`a8O|+>6l@blvFoFwFGX=Y`F$+8B%LUrb8|wtQ!J&Y0Z6 z1X=?W-1bfo+;ZM&