From 095d9b486466248ead6de5d36fa9d0262c7d3889 Mon Sep 17 00:00:00 2001 From: Never Gude Date: Mon, 20 Apr 2026 14:27:02 +0200 Subject: [PATCH] typos --- übung_1/agt_übung_1.aux | 6 +++--- übung_1/agt_übung_1.fdb_latexmk | 10 +++++----- übung_1/agt_übung_1.log | 16 ++++++++-------- übung_1/agt_übung_1.pdf | Bin 46993 -> 46777 bytes übung_1/agt_übung_1.synctex.gz | Bin 22048 -> 21766 bytes übung_1/agt_übung_1.tex | 8 +++----- 6 files changed, 19 insertions(+), 21 deletions(-) diff --git a/übung_1/agt_übung_1.aux b/übung_1/agt_übung_1.aux index 9bbccf4..a93da76 100644 --- a/übung_1/agt_übung_1.aux +++ b/übung_1/agt_übung_1.aux @@ -8,14 +8,14 @@ \providecommand\HyField@AuxAddToCoFields[2]{} \providecommand\BKM@entry[2]{} \BKM@entry{id=1,dest={73656374696F6E2E31},srcline={10},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030535C303030705C303030615C3030306E5C3030306E5C303030625C3030305C3334345C303030755C3030306D5C303030655C3030305C3034305C3030305C3034365C3030305C3034305C303030425C303030725C303030655C303030695C303030745C303030655C3030306E5C303030735C303030755C303030635C303030685C30303065} -\BKM@entry{id=2,dest={73656374696F6E2E32},srcline={52},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C3030304B5C303030725C303030655C303030695C303030735C303030735C303030755C303030635C303030685C30303065} +\BKM@entry{id=2,dest={73656374696F6E2E32},srcline={50},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C3030304B5C303030725C303030655C303030695C303030735C303030735C303030755C303030635C303030685C30303065} \babel@aux{ngerman}{} \@writefile{toc}{\contentsline {section}{\numberline {1}Spannbäume \& Breitensuche}{1}{section.1}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces $\mitpi $-Zeiger des Breitensuchbaums und MSB blau hinterlegt.}}{1}{figure.1}\protected@file@percent } \newlabel{fig:msb}{{1}{1}{$\pi $-Zeiger des Breitensuchbaums und MSB blau hinterlegt}{figure.1}{}} -\BKM@entry{id=3,dest={73656374696F6E2E33},srcline={130},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030455C303030755C3030306C5C303030655C303030725C303030775C303030655C303030675C30303065} +\BKM@entry{id=3,dest={73656374696F6E2E33},srcline={128},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030455C303030755C3030306C5C303030655C303030725C303030775C303030655C303030675C30303065} \@writefile{toc}{\contentsline {section}{\numberline {2}Kreissuche}{2}{section.2}\protected@file@percent } -\BKM@entry{id=4,dest={73656374696F6E2E34},srcline={156},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030475C303030725C303030615C303030705C303030685C3030306D5C3030306F5C303030645C303030655C3030306C5C3030306C5C303030695C303030655C303030725C303030755C3030306E5C30303067} +\BKM@entry{id=4,dest={73656374696F6E2E34},srcline={154},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030475C303030725C303030615C303030705C303030685C3030306D5C3030306F5C303030645C303030655C3030306C5C3030306C5C303030695C303030655C303030725C303030755C3030306E5C30303067} \@writefile{toc}{\contentsline {section}{\numberline {3}Eulerwege}{3}{section.3}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {4}Graphmodellierung}{3}{section.4}\protected@file@percent } \gdef \@abspage@last{3} diff --git a/übung_1/agt_übung_1.fdb_latexmk b/übung_1/agt_übung_1.fdb_latexmk index 6855a2a..6c58aed 100644 --- a/übung_1/agt_übung_1.fdb_latexmk +++ b/übung_1/agt_übung_1.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["lualatex"] 1776616354.93745 "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex" "agt_übung_1.pdf" "agt_übung_1" 1776616356.60204 0 +["lualatex"] 1776687964.3922 "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex" "agt_übung_1.pdf" "agt_übung_1" 1776687966.21834 0 "/home/never/.texlive2025/texmf-var/luatex-cache/generic/fonts/otl/euler-math.luc" 1770519352.28514 417132 89f085d929a7f52a226e499fed2b660f "" "/home/never/.texlive2025/texmf-var/luatex-cache/generic/fonts/otl/lmroman10-bold.luc" 1770519351.28214 128405 86240d2e88c12243734a13e4bf6704ec "" "/home/never/.texlive2025/texmf-var/luatex-cache/generic/fonts/otl/lmroman10-regular.luc" 1770519350.86413 127322 64667bb671c8def3fa5d85c341ebd817 "" @@ -17,9 +17,9 @@ "/home/never/.texlive2025/texmf-var/luatex-cache/generic/fonts/otl/texgyrepagella-regular.luc" 1770519351.40914 310182 64e3ff98a9959bea5d737ee8b9a06ff2 "" "/home/never/.texlive2025/texmf-var/luatex-cache/generic/names/luaotfload-lookup-cache.luc" 1776608606.25376 23014 4a1f49530b644afddd7c9abad44fb6f5 "" "/home/never/.texlive2025/texmf-var/luatex-cache/generic/names/luaotfload-names.luc.gz" 1770519350.80013 381420 8c34679872cd58fe28bd24cc6f0940ba "" - "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex" 1776616350.17396 5761 9ee8208e5585b6892907aed476364b6d "" + "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex" 1776687963.64524 5687 f4492753592b18742dd16079aa201ada "" "/home/never/texmf/tex/latex/ngexrcs/ngexrcs.cls" 1776614186.59271 2041 f7d79ac75cecdfbe676fa2a93e60930b "" - "/home/never/texmf/tex/latex/ngutils/ngutils.sty" 1776614808.22579 4454 147dd8f83f4d7216383b2edbd9427865 "" + "/home/never/texmf/tex/latex/ngutils/ngutils.sty" 1776618253.70411 4493 7f39562722b52c0e9a76c17c4438174e "" "/usr/local/texlive/2025/texmf-dist/fonts/opentype/public/euler-math/Euler-Math.otf" 1761682777 433104 26cb5ed06a913ce89a33ff41234f5c7a "" "/usr/local/texlive/2025/texmf-dist/fonts/opentype/public/tex-gyre/texgyreheros-bold.otf" 1257299502 135204 f5f20609880fff666e17267854df804d "" "/usr/local/texlive/2025/texmf-dist/fonts/opentype/public/tex-gyre/texgyreheros-italic.otf" 1257299502 139208 418e1daec3a0c0b2d8ebb349c646ec22 "" @@ -171,8 +171,8 @@ "/usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1770517628 5541377 824b1e5beafd2ebda40585373b35bb6b "" "/usr/local/texlive/2025/texmf-var/tex/generic/config/language.dat" 1770517624.99251 6800 99336720d16c8191172704bea65615e7 "" "/usr/local/texlive/2025/texmf-var/web2c/luahbtex/lualatex.fmt" 1770517696 5655839 756767735d369e65a483b47207bff649 "" - "agt_übung_1.aux" 1776616356.37697 2666 19123ed0733971294f7b908836665a2f "lualatex" - "agt_übung_1.tex" 1776616350.17396 5761 9ee8208e5585b6892907aed476364b6d "" + "agt_übung_1.aux" 1776687965.9159 2666 9cc8dc5483982b638424f38dffb2e051 "lualatex" + "agt_übung_1.tex" 1776687963.64524 5687 f4492753592b18742dd16079aa201ada "" "msb.eps" 1776424417.18606 5913 81dafb89427e3a448260b7481993e119 "" (generated) "agt_übung_1.aux" diff --git a/übung_1/agt_übung_1.log b/übung_1/agt_übung_1.log index 7be0716..4fe2d0e 100644 --- a/übung_1/agt_übung_1.log +++ b/übung_1/agt_übung_1.log @@ -1,4 +1,4 @@ -This is LuaHBTeX, Version 1.22.0 (TeX Live 2025) (format=lualatex 2026.2.8) 19 APR 2026 18:32 +This is LuaHBTeX, Version 1.22.0 (TeX Live 2025) (format=lualatex 2026.2.8) 20 APR 2026 14:26 restricted system commands enabled. **/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex @@ -1385,13 +1385,13 @@ Package luatex.def Info: msb-eps-converted-to.pdf used on input line 35. {/usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map}<./msb-eps -converted-to.pdf>] [2] -Overfull \hbox (2.21837pt too wide) in paragraph at lines 148--150 +Overfull \hbox (2.21837pt too wide) in paragraph at lines 146--148 \TU/TeXGyrePagella(0)/m/n/10.95 kann nicht exis-tie-ren, da die Sum-me al-ler Kn o-ten mit un-ge-ra-dem Grad [] -Overfull \hbox (2.02118pt too wide) in paragraph at lines 158--164 +Overfull \hbox (2.02118pt too wide) in paragraph at lines 156--162 \TU/TeXGyrePagella(0)/m/n/10.95 wer-den, wenn be-stimm-te an-de-re Auf-ga-ben ab - ge-schlos-sen sind. [] @@ -1404,14 +1404,14 @@ L3 programming layer <2026-01-19> ) Here is how much of LuaTeX's memory you used: - 22895 strings out of 476076 + 22896 strings out of 476076 100000,1373583 words of node,token memory allocated 3192 words of node memory still in use: 61 hlist, 40 vlist, 38 rule, 9 local_par, 78 glue, 31 kern, 9 penalty, 20 gly ph, 213 attribute, 62 glue_spec, 107 attribute_list, 1 write nodes - avail lists: 1:1,2:660,3:286,4:4,5:380,6:50,7:4200,8:16,9:454,10:4,11:416 - 45011 multiletter control sequences out of 65536+600000 - 118 fonts using 28706559 bytes + avail lists: 1:1,2:660,3:277,4:4,5:380,6:50,7:4204,8:16,9:451,10:4,11:416 + 45012 multiletter control sequences out of 65536+600000 + 118 fonts using 28706639 bytes 122i,8n,114p,11297b,573s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on agt_übung_1.pdf (3 pages, 46993 bytes). +Output written on agt_übung_1.pdf (3 pages, 46777 bytes). PDF statistics: 118 PDF objects out of 1000 (max. 8388607) 83 compressed objects within 1 object stream diff --git a/übung_1/agt_übung_1.pdf b/übung_1/agt_übung_1.pdf index 97c34fc1dc86614934a95b8aab2ea1f5869b2be2..d8c55a008289c1d6ff3701f6337aa0688d92eea3 100644 GIT binary patch delta 10775 zcmV+yD(Kab?*h5)0+2leH#0erKo)U^lLnGes(c|7qcPRxH3=oNxY z9f99*DJ;Hg7lM@U?_Z%dNg9+C)+)19JXk@B2WyRRYEs-pIiYBv>=CL#ydCq3(VV2N z&gMm};uvU>R|{_2NnVh2gJlw0>AIHIMFMBrq7AUOwLY#{ePV-+3hHbiz1D$N9>NQr z;VJo2^~t(ci8{W|9;rGh#lnA*9jsKsc&<8G%yP%Z2Pu?MyXsjzeW_#PueC|~`2O^B zT0)y3ln#S&R`_6tKR=$neaDv{xV{cjc*n!PY3#>fq;L**e-D2={ocv2-VDYvinXzxU@1hEF<)nvVE;B^&cR5E{ijCT~(kGKXCJjVx=Az2rPVikG3t|P@nh{0U0Qq9+Ihi9f( ztmc%BPt~r91IO7p(IL^f>E0hGyfoj66AedcoUBMsNph5yLKW&-Np5m}eWT8EDBF^URY@`OvU&YE)XVXb9u&RVMRv*a;s#HuU2iJcS%K}M6v=acJ9+T=t znaOoKS)x(*yq>PBCf-i)U7>_XZ_9E@IPZE{HG1&%bxQ&Zy`J4bYct%q_Rg3i-AOR?!PB&x8qDq82C)_$K3pKUmYI>`uav)yM$f zOO5#_Ll%>y2UmY8wcM%eK2*{RhjQ$dg_5tnn(vGH`n6p4x~>X25;U!Z+M-p?k&q!{ zM?Xix(MrFFIYlqiVs3n!%JY~~G6RWOjJ2&*ccCxOsien6z==^)hS8~v0D@L~8&t_T z#C5v8-I;_wEqy22=)Ka==!4WNv@VUYzA3+B6X`|zU+RBvvqx5CK#y>LN{!+fD_HqbOFGITjpV;Fa#Q$s=lqy=l(%f@h=|hhC|@ zEX5u|z$t(Iv{c+lpBjXe1hvC00#Wq-p6AbFJ7HZd&bC*tlMp$EeQ3-LfUOk0Ko?wIjf&1-Y< zSduWk4KwmLX9%3WRsQDlxBk>X$9-Pxpq^cOK>pyVfnn;U_HCZEE^Rd3Npmi^G97>I z5ig#iC&!&ui(MaEUK!L<0Wa^R0uCDuwX#RswGDezfF(hM?nNbl_Hv5~~__UaoAtKmy2Fq09`he%e&#Prx-ru7XpIZ1vGC zNxR1w0J+$E^`}#S&TY3+fPUH)3h)b>Z@ADwnDd{tr(xz@2h@N=SY^ za3A*ZDsUgCU5|nL7dYRMArT?N`DMUei^!R_Ldllq>dgheMIV?9p}&9B;pO|$Eg-%m z^Az0WYcvHQWNOdjS-a8GR|yI#W^NL)-d<5GbG;lFH@y4zrhH@$VaEsW(i_|Z8rn4MMyeUIW}^a!L2mx{sZ089CTR9X$XizNKyT(4pj zM_Qe0y^*EW`_}y*fD3<6K}Z=k_eD6Qc^F~0hq0EGTp6&etDDc)Rn4VR=`Jnid67Rf zXX1mmqB<E)q_A?BjwP=F{{P||c%=@wJy(nLBq2TS zV4)QXkSJ}sis0d8b47^eYPM^oz8dK&@_ZdDubU$@l_%-@zOaMfgtFu2%%m27cJ&Tk zx{Q_YgdRA>*#2q_N{uMCUfE`@oWHL4o->V5wqVl|0(729|@yUImuJv{H=O1(sjne3oG(f{4EgSke&{Cg_t= zRybK}FRE_if5Rtr43p0nJ^?k6KoozaTFH(hHw?Y^SNI27(Y^qU0_?VZm|Kv(4RT75 zQ|6FUem|5%Nt8;pc!Gw}<&s2^6qiTJx39Nfp21v%W=dOm`TFZkTsZuRiw{f&adFx* zr(xvB<@*QcQZCZKe`7h<4n7_}5G{9yW#Q4+43YUuDZvW@T`B9cNGVW zU()~hQu{@i^t}B3^$mDa?jkq~9R4VCLRe<3zBnnEmZos0G?KaEaxdr0m1Z1B56h)r z-nEcXfJb~%@B~X?=JM{-m;3TAtVL<~^?*rGp)r2kB{K-0Cn!MhqReNOK717Q;H)ST z@L&wSH&uO(BTGo-mMIyHNAiEbPoWM}KE-;c^xcp{Nz|lI--Q0i)Qrd!_%jK;ItcEV zceZNMAP>(hr!?XNjpdq6Aj%0#Ia?ks;@6wS;>5nOXb5>x7d;7~4tCaoSrNu%MJc8z<-k;f z%={a}q*F*mKJF*Q?v`;O(}s|%qV}a*R46BR&!59EW(2cVtOy?+gXJu$uwO;p*Yxg- zET))$&2cWjndg_$1mnsoreDt>N_Z}^Dk0^ky7!8b(k1G~&{coub@{K$K6#Z}d_bFn zw;3N`T;-2>&;yfmQdeu$o!sC=oCXbrdBB#K4)#U9ts=bLi11ktpO~+0vDK`tyr;Zo zeQeUGSwe*dgK%+5=7pKYFj`*{l9#ti=i@ac{wZ{qN2O**N|FG8EyYUDglq6+#{e_> zOZ=J^sf=lADR6&g14dYI1kuo@P^d`t^S%cJA@r>XANZaDnY|d7?KxlOkvd;~^NRCH zvfM0#uGCE{s+|%c+PS&8&p~iHkjW~8`L}8 z=Giq^XuAG{OEtg5WkiumS7;=O(b{g)>*`HqOurNz=8Avxih+C3_*I-GQM_gfw@w!LH4{641K} zD|0;pPSwHeV29#nki~S7D9~Cd&Ty#Nv|g1p%?^-TTd7TKCy$I)m>^xEk5&?9i77Ln zX%SeN=n{Wa-R5MR$-=m4oT-e-ZGQ(i6144ra;K0k6KqAMG`by4k0D+xtrc*i6w?ji zJef&UrDVcwC-!MvKs;XeU+VQCS5vWj302??v zTE%^cRx`C%Qn^T_=vl3D%ap1xU*`&m&z-d{TdRC@Qj|*f37c4yfefjO}*MWbC_2!~Az%$`?iNJitf(S_D7Mtq=B%HQp zoMYTbplcaa8$}DYw9djjg=s*ELill+x=zFol3DJ5hVzLIb?lRgS9EwgyjzIvDb4MR zcME26x8N~2kw$g2PujAo;ps|nkm;kxDfFNqpmHC&JBLz_Nl#EuYI&4rODtIWA<%!x zR46Ec^-|>ehBH1%A5i+PyIJ0>P-1P))F_eXxh8!{h>ahE)it(UgduUo3X;@qtLl0R zaDJ%}D(AQ1_X@(N(ZuaroF@52W*l>Hr%@nh?k*98pH|BU3C*RJvUPM|cbgN5!8)qv zu1X*rd98}6VW}U%YOpB2pcubd$tZsdRv2o4q?ZNb0rhxk7PJx5sG5X&?1g$Qm5Zo} zW}W{lf;y=`LQCaF0Ae$mt%qti8KLe=ij1iGhS(XA$j!pOdSu z?@(-cJ2+BKYJs*U%--Eo9#zf#8@M2$AaP1}N_Lp{r>B3XmQQExNx9{?5a54(XegEX zi1I`IE?cWkjdzc<5)Y+A8cJz;6bftLk)>%CCY1=5%GW+-v>lQ*`!}nyI-IkHsjei4 ztfyL(Bc4wyqZ{c9)rbIli>`deMj9=ryYQQC-MZ$k5HpE{pk7Ta5dC91R#)@0-jVO4 zTlWO}QdKTIl`T7iYRH9_A;^E(3Ge7$uSSr(I&&Ga1Er9Pu39DxY7^dnw1A&8d6|1g z9duhXe_oOCKs~cLwvE=|eyTXgHUQSlyf|NlN(5nm-Qyi$K{GyMu+sKYnY%+QMOqR* z3@9bP>0DY7cX-q_^;V<4dEo~Ud2hG>(*>m4wSIkgA(>@;47V~ftr~yLM9bX=t*+7# z8}pGV9%qg`&hXVQ9Qd>=NsFk`m&MiV2HoM#4S5h6SIQH0vEhoSM0~?HGesYT#$3-i zlNYHuv*e0qbY7PVX+`?mSDFu7ftfhG(_PEzJ?tl(9XiFr`LTOsXmxzgTk5)no%8@2 zA!U|O;e=>xrvH9@v({cSmRe(+Aa+vyjK4j?4GY*GqH{5933Y3`@6qd??X(7mbj%cY z|E~s@5{guPqL5XuRN#X|XDje=*=@T5f0^%z{(ywx`sMn2>$fUA-rDJuIUKLiU+5yl zf1|`SJd;r&6SD>(hH4NX<8aA}L4kp2-~a%HX#(|=oQqTgF*GxgKooy{R%ujINfv&O zkUW6)Gz zJ8yBCcdBY>T$xt2K&5}x=zNk@d8I{JTI+rc&++b6QigXWcsG(~YwA+8Y6$OfRit0rlY~5|Q+gil# z;+^6yiBys*X~JJ*7aG@rrjw5`ki+gyST|fOMyUkrKNX8#Nlc&-!wJb_)QG*HmBw-j zNa2}SmRSCXpK2mco1wl(#D8m~Z&ACp?5NtVP;dO}VHVC&mbg}=Q9frG+HGf^N^aMF zcdS$K__Ti}gDs`<*OkXtFgUKfY)9eeW0JH*D}L`X<8I2wdv}huoM%?oomBr*v9I1( zdxS+Vh@+z-mxm^(4qm<7bf~YM>D{}(=4kyG0YNA4(Fw^0@~{~$2_Pz*hKqyo5Y?8S zax_+ft^pnxhOuT3aQ~_G$enX+1hoa~X|!7$8R&nTWC9t;ZkPu8uZE!=BRDfbOgs3Q zNItwz#P5bJ^v~Nal%Har7ld7!ra&(rBrpo21}4K4koL5HY-DFk=Id8z7AS%eu7GqG z3#}b=Rn?BlT?{r$EVV!0daCHY6&J$F5(Rc6y7*NF5}x#m_CcndIdL#;yrIJ zG&vqKLyJl7$!~g2^9d1=l>A>evz8uPpg@0Tf3(F246$%vfA{>+yO-H~3fbiJ>G4Ys z-Ts1^C7D`h`V8z95d7c~Y-DFaG>sF|<^}qtJ_0#7Ug_xTZ;M1ZBO7sVT*o&WUcGm` z{@$lYegk}*_{QLoMoR8C$iJrFPntx@aC}+ku)l#kV1cz35g!4IX#SLP+-jB{-LNb%En=j)#j4WP6VYysgrIDyFPt4`&EW@9h=AYp3Ci#Z(cJ zhH`Y>FeVZFM~u{Hu;1*4x^8m70(~z<{3m`d4Q`<(^knddPsJ9v31vc%KYa#v?DQHs zEPZ(ZgXvHQ>5{&-k_#8+F!GmO zk)Jm7zzHhtY>Td40gAp45XJ@>X&j#v;TO30C$I~R6d@cTH4!9IU0?t8FR z(tT>ReVXChUMX?rZhm znp`fN`Fs1llj>9>(<^yb8FzmT?Gz{rPn;fdItLtz+0OOiYnu*kP`NByrk)#>wg1Ux zCQyQQHSKBOrhti0Z@gixxeRSWE_ae=hTyw?YXX+gFwwsc<*}(HOH>R*S6_MYMsf2@ zPTXJEUI~oZ5P2U71%?D5i&ePxXB-Q&K=JYgu&n=9I$%*!Xvo6b1HFIOubQ8=rOvSO zyY&(8(hi;m@|p1PTBirp&dr}!ZdBxbvAc71waiG#q7T;-TFn)QI z8HLu+0qaeUJlj9NUtYrh39{+u`K_~#F?SCiKmX7LWTB5xfs-QVp!ZIJgAc|t&Hakb z=9N*AYl_gFjlMw1cfNmYT^Sybn(php;=;RatUy4(p3WGUtN^b;Gq?y0RGInHLiGs| z9{&};iw3E(7hQ1j>}ZVIE;xnpwJoh?#gpsFktu7IC+4xfOK|G!RSPQ6&zUbWkBpVn zUHi7leDU=U6JNDm>@d5GR_I&!6O_MbSLGl zspZK17ABM$wRj*%&<{-liW(TCp>ht$P>DX_=zv?W;tATr44B?6#O@}>|0^0-uJoU# zTrmjgkls8nG}P>i$)m+oh?qNX9Z#B%4m=za+#VGPFfdcic9 z(*Fjcn4oGJ?H7MX`zn)1i^tUt%ixu{=)}lpU_AVre(N`xf(IgM^V_5B6xOoRqiMSnP)OnI}j=e7e9 z*;O>$M8!DY+R10$VeWw>j$<60DGo#5GSIC&L$ET-pcPr|%%=)K^1tFqhH1wW``v0Q zk82~RG>a=o8%G6FN|7?86e&kqJ4$`*39FPyShGONeBJ|6hRQY41IB7cIVw}^o})6S zNV%iZ6XqpbM+MHACsar=Dm`J%GDRw|LxF@IO7u{mhtw<4L+Yz+QHkD5@7>K3Z?NC4 za0~aFwX3(c>EpE7q_sI}cjeq!+EWw~K5k{NdYk3G?mAyzGfOYK;1BtW9u~9lmhTZO zGB7bTGBz+YD=;!AFfb=6ATLdCWJFvRSerEF{Dq92lIr*Rd(v>`ngtJuS`CHpURR zb&Fy=(nziD*6E{`W(4C*F{PMPOlZfXX2RgdFySY&V8$7ynKfq1 zGlvF&d4(Q|c^8=QEReLo0=4E$aKV`rfA}?qK_U-gG!HB%nH z9%aZgXru(`6_`dp#~nix;kjoT{XFDo^z#8_vOl}Agwll?TVAjGECz*0EB{=5be@+Xf zoq!4O8$I%HD2CG93kFp*e7WVw1USq=WlugL6)_E7G9xgES5Ohgcv4Bj8Sos3Fz=a_ zD8MzA^bH&;NWUd89UjI8{02M>1}b2df@Ka0z}XlY{t}!s=S-XwOdZq~98x*-5g1Kk z3Iw+pR)sAAKYL41Ku63hT+cBef96*}ToB|N{3=oprUZ@lFg0j6$3Qg$%ou>fKnb)7 z)FRXXE*dxzzAOHk;f{ud*3n7AxLm*ZE*?@&mFs{!B1kOe4$_e_c4KPjaRZ zKz79TyW{Z$;$#{aBVGdMblZ<(e{d8M#iLjeC^#AwNxQ=z^Vg^I!5p`zyXLyg4!7R;?3dfi&r-t-r=wjbqCq(YMS59CsT^Gs8EuZIvnNG*?j-oV9EsR{V^!+ zCF`B%*Yj^P@)uxZF%>ZEe{g&?xz5K!3fCy<^zQ3C3L}xCt?$C%vHa)Yd$vl+z0#c> z0LEe#HNpY|9*qXW8NAioon4Vjsk*m6xP6o5!*4~A#-L}^wRb!pjPk49@ok|^M<|NUH zt{^TjqKh~Luv8cE369XQ-0$r&wgCI>n|ydT&AMU-N|bsuqT%AxXV5@b1`1%)4RGxE zZZxWOUThmuTjRQpe{a^-XtV`;Y|>VH)it2wjoNbA1?8-5Dy-}}qHSZlUTr29)ZTTV z&UV`vHSs18@fBP`#3w{i0AmYT-h+yCaZkKxihIZvw(N`+q6~PbaPswEG|@E3@pt&G zdh&icxgx|~;`ZPOILdxJ#9>M;l9&=tVzH*HR+Bk{g_$QkD0|4jkUxGM*NzuSG)INmo{l| zhRDh%Yu zLFMmnl}{&hxvmBnRhPW2!(HXYA%@42Na-l0Djd_^-zW(=eRF*H>GP|@yHPgnyc-}Z zsI!emO412PI6H#CtB_9O!fA{$A@Q6y6A}v`*9nQFe~0&GBo|c@Bb%v*Euv@t_<$g7 z#d0Q+GPhRl#hdxb@im6e=RZ4dnyKLmgOjG$1B^W(p1Gv0NX$$jb#gY&Au(fCJ*Wbd zrJ6#MwPP;Kh%J`TbJ`tMhX0(wO~>P#Nu-Al*)X5Yr$5>D?)BtrhD_~*k|eTqyR>zO zw7I<g4y;exveddLmILW1%c}_3kp8hwr_rz%yM!>x z7G+d8Rd0srv$v<`2cKVk%r0L4oMyC$j7Eb_K0@F<@b=i2bhMxyv7qgQpxM-$(^jc@l{_+D@PGSnSk0rl`?s6XJ70k9Q+?aAK7`$c1* z(cNe;y$?yC$or9mE$;nD^7rlBnmE!hs(~Y?TR3v+xp4G=?JIy}mx1KWlY#V*@7t5+ zWQimvUIIxWCeJ?p_X{?4#E`<&w~mM|gw}tbHqmfSM4cjLb&gnA5y4qb6sThZL_nX8 z(k_{gW0=Uznz~u4m4Ui{Sy|uOC?PQ8edKe?RT>uHGd3P(VKWS7#$LxjoQgwu5@xI_ zxmROPpz&0LW-W47jkViH(1zGDP|HBWDs4c`N~_gQ>AS_I>!r*6IUTRq}()w|2o=#KR-Ns_WXwbYJTH+ zJ8r{s#qA1%mt)n-|@!s5p2?ft!NZS4*M@s?daTENyjqCdI_2!G~r3gj5TMIe_uBMLDpt0=&^NFBNOp;RVhvJ($rOIkwYhJ0|j@iv( z;qCFo@$piBTD3PBUEdc7FubGal-EMZr9fz}i@y0HLK^@0KnU%9e|WZi|2o5$qads} z00>V%09fnw_FRSPB*4GONr3dl(o<~q>jl7w`nIekl&2~iS4(hjLR-xEWZa-f$VLQL zQhkV7F-1tQ#nP9cA3_aYUhl`~#c1jg*Qrz&7lq<~Ue;~t9q8lsaese2-2dyWbpM-d zI+;B{|3(I4^7sZ_K@;s8sE@@4>>V06`Cs3c4z`X1bPM+F(Udg zt|xc%Q9efR^vw<>Fi}zZXoo(LN?J#`y6TzFfdo^u+@*IJ@ve9)OkY@~@-+L0KCfzj z`Z{$rRadpHYrzA5(u-H)R>+Z+9KJ?QX;YH3LLVJUIohq3le)HGL%~Q+-aeRIbx!Al z>3oMJIorpWV0sxWe4{LP=tIN0taj*2!@8_@XdSJ~W{37mb=mIFTcud8Kf961?(JJ3 zfXcp6#DGdS${0`=<;Dx^!oubYVP)D&Rn&2z3d-tgsrV!Rp3fIu(QI13$j@eID1=^) zzx@HCXfiCpTz=+O;j^BK=yy@R&8Oz?5Y@f2SyqGj4ohEv2Pu9%^h=Q8T5+ zQu91D=^a>GNor?j+{#}<*a;WV8?bN%y$~yFp0oI!^W`}wpPBvn%xC(1<@58xKJH9K&;9{+ V9xJeuX}2BIC3Sk#Dp4Pr>g&zW%#hmX7CvWSpcp(ztLZ_AK~8G=k;;-O-}%S9$3yN~uS zPetr{%`M8d2ac9alsns_+sEi!{*LU1nqI@H?Kx+rgY$*Afxs>WAWx6JlMda^6Vx+O zT=!6=A71PWe2m!yhxJ*Bn{BAvN+BR3i79xo(p)8GQRCw9G}_ST3^$mtP*vJSc}Z8Y zg|X9AiuYU=y&Eke`l{tWX#R@<{Uno0J)hYm;K#m1sG^fE*4s-PP*Wc!boZs zhFUbg8CsjqCe-@A%KxU4wl1>af2EAooi9*dds%F{2yX@;vtn0UpXqvb#Zrvz+Xf<5 z!DsC$%#70Ys*sdPcr_=Oj?7f}x%a4jKoEu!1q%3XsdwKdP7~$>ulW{v4~krg3k?tU zv^7zzP3eT+y)Bhk7-G0(LzB$%{A5oFpVA<3wgaZpS~x~3CM9N8KDLs)y9 zm*3fAUcCUAH-%LMcX2aOm_Bw`pzf@xYYV2|c_3hCi;WmG%a7Jm=gCB9H9TmBk8L>j zdVjeqI7>M@fRL%e6(@Or6%3GnZ^V4nOvx%bR2u5gNXg7L%uPGTALAgumw~p?L+Pdv zyI=9Mbg`j!uGDHjvuj&{){wSRedG>TwNnxCa_0x~u%sXYg29;1NYV_FGxa>;DVAvZ zA6<3X;o15;LeaoFe~#lF249;mp48Vq|BNWR@ODpaPtY`!LpJv^0LOXS9vc1xMvIyH__O29 zX_+}kcYMdm^g?@Brsd6N3=c!xe=geKxQZC|;(7n5UL@H#2Gdgfu2U#o&xYS9bvqH` z^-;r3c_)5AsFpRYQatdnBkh*@dVX8KNKglUfIWX+U_Q{UM9|_;+5SSyD|z?Hn`qE- zOP;Mn%aK?bR`HiV|3;qdsiFT5exG!E9&fpSj{cNKUD`L}mYiY>jie%6?cvEA}4&wSQLkmQIN(~}H=In6Z*25)h0N)#_} zt{NPll;_?iPAqnfocc>aC&88jjSO4pc1Z%9tCawcV`+Vc^s67C6nkhz%SBariYzXw z;W`k0rC5%WlXl|TQ`5+un*g$n=mh#Ic~F3V_+BEG zKe+X3Zz6|Mo+^!4Wo!bI=LNwz$@SA?H%}0+5ovg4I8iug8;IHz_ zYj3AIk~87##*wC54&Te&Ivyf0{Z-eiePH_Mbp>wIp16pQIa0?wpZmCjb!5kRL0N7~ zieb53FIFMAEu`So;wSq{+Mtxp$`m)5WW(pI34C@sq zEL_^Q`W@C-=jUi|iF}T+SRl^Y{H-G453Udco9%;H9qWQuh0e;nG1nRZw(aE)A2%VJ z&ek2t?pR(59F!j;>P^=;6P*uzwLKRpM42#jQ+FBSw6G&;;9V0HgaAkqs-HP&+wQS_ zXl;dXYis!C+WHHoDst;Fil7-V4fl~gDXm@?>~M}2VCQ0Vx(AfNh}7#^G~ePOLKfaM zTR@`V0eHAx9q*&r1d+h0lPkBMdVV@%Ki4L~jMGhCTl$j;_M)VxP_gl#&x%%8n^ z&Uz;p*!{_|vkrcSiqLktLnvxkDwUKU)%QuRb&Ml4<2_(&0!mS3CHpS=#dH~OYMl3m z2jO{DOOA(88nRj|awx+lOym0*E+cPtAICJZwSbRYw-mi@@sCR2#xf{p~$CvofBB0iPc8idm2D|+;kUJyi6EpSAg7p(JbF^Tv zkpPw&8vMUoiqWWpSPTcO$f+UwAN|5H?BLKL__bO@HRR6~e>Cryqt+#O9>Nj&a7>_O z5C4FK)~4sy-tbFyGl!E18uv?^U4LfC&JDwgc~^fFi2+V=!5^VP)m^cCwD$MKfPg{h z#eUN{v)LEKF)s@_sToHPVuLLzH`%yS14Wy+OS9uFxWxAH?rRV5@h<4ge?(I?j%|g& zHoA}_+2Ed9T8oUqH?cu3*WI0^b>z*xXAG!GQ#*2`z9L=2g9R~_G`kA`(0AY2U7vf= z9KFx&biu|QZ-NO#XBT%GXg7Q?kP9W@^xM=BWnqQJGz;f!X7ovRsgAwj3)^PTG|u(u ztG8NXzrZvC5JZ5nx^|lWzKH?2HvVY!s)N4)=K2J_pfVeVKQbQr%+pc-^10E8x-b{> z;}7)*SJr|P-VaR9FX8yOjT1gwmQkDQpp=BU17r0g>nlyjyz)*qhM~!N8{l;qQry~0 zzE;h<(KzHP4K%*{Gb+9R%6L5q$T)Zs=9n^zr!l3Gxn2O&6E;Zi67CV*8_Gfj;vZ0Z z2@#H%7-;i7CR&jn31I@hB6MfxnG-NHkkIQ7*n7VWeIaWXgj(O()%4LQ49{{kE~)QL>cWH?qCZl{e<1b-O09?LVH}^46VN-dMjgl zd?~+yUG%m_BzY(KWIqA94{29&LI-y0cRzO=c$1Kfh)yA_!h&hVboHCmeMlJvF?356 zamLUQd~L!6wUf;%Wc>7Kcuih+r&ZJ}{uCL>pL%R~f4JTCR^R*EJMm^fEqLW=E}W+0 zv4>}W+i2Aj{%LqRPz|`UbkgIV=ewfx6MIer_%x4tPLIlwC?@D)NWb=0wCF>+s-hA? zSg3f{$-89k8!9j~|2UgeNRxd{!4n`V&l<*24H2eD7mtU*s&`{#Y+tXbzvmgIF*`k*;aMGhpT?E~PCQGqmr<{`tc>wN_$s zI++a;%qMbDxol>4JP@4pjqYCuVR_a$U{mg70W0C@1hqI@!cru4KkbJMCvvimB5=zO z%Oc6n$m=X{kibh6+qLJrHVFMtF(s+9laBIiR$|GCPjKJ^%3(Qm?lr-_Y_5VR&1$V5+8#}nK7e1KD3W;#UJr8P;Jt-byD_dQ|#zEIB06?M}N73`$NpLtfNo;09dZXDx!e9ym%7y3-OXW zcfpJt(Jnn5yq#ejW8VIEZ=~Jtl}!KC_!1u+E;F|)ei;6Ftt}(8zQAx1tHrV#oK%+5 zb27_e;DIasY2L!SRh$?ekHd{)#LmJYIo7(4W0{vy>sw@>J});KeH(lN{4rzkEu;=q zlOOV~-k*IkRm#r+V|PMol6hyUCT-SKX{RkdY1H{+fHQA2Y+b%$v{XQwVZDwMs!*=& z(}p#nKWIZ3g_~dlZx2ostXO> zg2GARhia|nK}WYqFeV~0Fl|rD)+L{h8YWWc`#xBxg^fQ{x4*caPkBQh!zzO>nvx*8 z@LNqqGnt@lsU~=vn|gCo6q%(|8p(UBoUTe!M7Ejb%|rsTDr5~U$2L0j7WnXd@AMGV zLtCSKAqojZcze!u?D>Ro{0x|8#HJyQ{%D=}@CuAZN&G$1!|>$=yg!Q#N_x~|?W808 z7Bd2&N>h+JPfxl*qcP~RlE9s^%{)R>#8f~V>RMW7_tWQz74LOTY+&tC{p^bV3b_wO zvcF0y*L3w1?A9H!oVmNQ=^X7kAXYVRzF3JV@~n8`G26noK_D+y)T1%hPRYb}s);)AUL+MnIXD$p zc$T5VFjn8Thbemo(sUz(=IT*_TfASt^?}@-*FJjUS7`iKfI5=3VXZbAu}KkjGj8)S zB;rzC?CZl@-#HyoVwAmj&%};0)x|N?RL2I&x2dBA6{NKRx_@zyHPUnf4pO1-!DBqF zF`MA$(^5htF2ud7|3ukDSY&?T1$nCg(J6frV8*OD)ulGAIQay!2x4lcqITGiICvq= zHpq`w+Fad@jic@)xk;7PL`rr9+4%5DI(yad9>pOAacEx(Ov!3`m9u`e?HhQ$du@?4TyhpqarsZ+oRu(m5r(=Vhy^-?Tz@Y)$}y6&E{wR+ zHO>JQjUta5esgCP-|M-F+RuJnP3&iF{OcEH=uGSiukh2>>9(KAzS>BDE&R35_X|6- zCfsJw!(ROap(o{+;Q7e-~!rW_omOIx-zbgXlf_h1b?>6 z=fKnLU+>S$wxI>claT1n5*R8q%f^3k>zU0a3H5WhNr?50XO^Frvz@d()D=cRqgC6b=lu+5rO#&4hSL>Wf5A5{?pv zWMSp{kI4Z)4Qn+FO{|)RQ-4mOLwHjb~V*bP}EWlM>SX(-F>z3bO2m0EE zo6ZxpA4B-ON*v@IH~!hg)5W3I*ylCbJNDOo?ZFMzt&~JOIUp3cr#E z;flwHVDHMul4v{QmQz}O=Bfs(2L|T5xY>?BibID=2yihm*>w~mAK$xq8#L_@P7^h7z01hc zN&JDCmn!T%?`9dCG~JX0=Elx%m=lRp_n|ROt`k@z@@uLTV>md7E9vW6v(5 zpSpW4k9RQ46>UUu|1_o+oV!2eUjUsQ`@cKVe5hPk^?sbngTpev_Kj1TPs)Cs{aAFW%BGO^KFfN3AsRA96teZcF@Voke(|y;k z(u{gtH1F1#>qH*I`vrF26Y&{4LMo&vl?h9Y*ef1)W)x}6XpF}dw^s`0dl?3}?JOMn z3{gX_$5-P!QtPsz8B%krahLc_x4`zE|0ql~R&j0JDf7=Fu@R*)BB1uT%g2f^ct3as zzL0riDtLWz9@f#|0DkJb1#zLG>SN1|zJ-Ji-PuzvEQ#$i%*j$2yf{4C}0b_gq>z`+`;3OSM=l zy>1I{<{1t3@dxfc1=FUwXp`Yb{sIrG{33&76#V%fBEv5S#73fWCl@wR@YCKc^dkB zBIP4_U0V*;D3>Tp#(fymuuShAS%hIW;9HY6)R78F#jHrnicyq2X;sKy*X6OJ2*ZX1 zpCaj8+b{o#`-#7R>jqE7BwJ&5gQmK)=FA^qakaCi8+0$GmgMs_;_e3PYl)cSx#BhM zdTv8LU}YlGtYgWYJ`5f)+Q;+K(&4{_Pq0R;h}3`UFBw@|Y^0Tq`5bW5J5=CIw-nYs7wY`2+Jf{T#$nFIDJE!}xKX!P(`RylNA;uLq#HMUn z*|7nx@dSZOEAV*qR}jm&E46xb|Dc^uM?&q5f3IY|Bj=lnQdieGNX7!X#{4hgjKBO31PyB?P_fV{Xw4jUNXQ|S+*%}H$%l% zqlL<*-uw^VOju*QcgH9ScV2R=xhxHjaWifW32EcUimB=r>e-GeZlb7Ro}dEK(|~96 z^Ja_M;X6IJR_9&BY+?B5&5H}f5G1c4_fM1&FfPOGZk z(T~CB@2IDq=k%_eSC|>NeU^@K#lsE_-m@+mdUaU5m1voiNfg82$_UnqZ=4^$H;jOYNEb&mkwv!Dh46gaP$O$64Gd z5r3%*ZZp6?fM|E#{o{UldFI~-pY;ob&f_j#)`)DOs0}N!Nn2X--?Vu`I5pqY{GS#*zykr5$DTwN=aTZ6snMK9G=cSRqQRR2OkT_GfQ_x zL5GQAM`p9g-p-rb(6doTd7*qsuQ38K4ubBR&~|`g2#mQjSC*XD{;JD7L_`%PJEtZ%*})C>*YB;dsD=~>YtIfQe=V|zsoe+k=M*@+A-uB z4tCQTsX7;rTW@XSgb)OLb@U+PAX8Dj6Jo21aa~|hhOGskf8VrG4!CNRm&E(e7(>fh zN>(WN&GbDECabcdBsuOfG<+APQXq6jK?r&!hR_QKql)c0NEqY0t^>CUIE)L*YEq1p z7=3W+1RT>X0;$LkMN(@V$drBJBmPFT?`gw{U4f!dr>#&a1EQ+|+X27(grKTa>LzIP zLZEEvBX+X5RiL7Ripj?C)woX(oK%BS#)GPNbs^lJQZ%5#o^l{b@Db}jA%KIRfLN{L zJVZC@y5TX=#k{{;D3eCY-+PU%yTK67`%?n)`ex5W;Ne8iDZ?RK9nRwfwXUNd4HN|w zw5|j6A=0z_jJgYbr`|561@{BudK_4nd<1d!Is|`AH{SXV>*2nTWXfNaXs#kMMG;&# zocq>szQXI^1C(hDDX3==3_$b(6^|+kG5_An=B+1$GYd1!i0n?5!+XLrtR#anUnD_b zR^ekAy;@5w_7YJFRu?oMAGtFEQ1+R*63m*jXeC!_J#pfxwCeGBCzh8ef zlL28t%RJ156#DXHUVq`pr5km(2Jaa(Yctxi6asu*ow$(z&l~;DLXz-D4>PCVZ4Q!BYgZhqu5*g~4wh?E`^NX5QKI zj1fI2&sz_%KJTePPD@ne29ps5==yi)=4Q**k?a-UzQm%L>Nl@1Sz5r}FRx#395UR7 zkV2>rtvm;Yju~%;YY-25OYn?VZa1ye#=E#Uit2~m2)6A2dQt=IK9i*UwQ~mOg_vRI z(0b$<%oI8C-DS7nRXI4Z1qR77ySNwwbVrELcG4839rOY#Vv}#$TV%widxX3AqYBS( zfBRFCm_?G2kWm$SK9aC9((t!?9TtI`-qS~|0bD-GBB+c7Cq^9&zga416TU)kylvXy0k59Xt( zhO(dqrY7PN8h-Q(ziutZ^#G-PSlNkWn8LHfR`a&XDlRA=yNJ=>rWO75 z7auW+@r|4#zjJ%Kc)IY+=chWs8-jS&t%}IA14xU>;JPBo@-=s){ng3IbM7rfOu!F# zND>}^o2}@B0vQuC*2lWg=L;etl%i^_DKV9!rLk^LRzYqM%)9Sr<$XyyZjBO`v^PK4 zHT+PzEUmbS1wuuV;yykGtHok4sgTwg4Y~HXi?O&}eQ1uVn;OlhEetC`T#urO=S%$e z`&Hk!DEn&zMUeUEf&z^+seY@hzK2xC`nodUE?ROdo+3ILpfNX-L6S(! zpG{VRXYP&`f};qyn2*4-DUn4fv{RM{RDHHc`*d}7_rEz@9J$zgthJWN9JOLQA%_CC zARXfxiVDlaS%bzbN$^hGQ7S_nR>e3UZ1X$GXnjT75w>B>CDFG*F^QC9+$eH&g`jgs`bB5NrIi;9JpTZeH5_7pE$6kZT%(>8GTO(L3{Qm ze|@KIrHo}uw%Hjy#fr`HX29pqdq)6>SIvpJ@6Cw$&EB61xV1_DMx+XttJaT&c3oC^qMf%1;t7v05+)`HZ0g*~yJ;Y~Fj6H{opNcsu&B?1 zLhPAeY@;gFr6b@BXPA?bP86x`2hmPKWb(hvaI(|q()%&x%2cXOhLx##Y?eFLYRAk* zjq1tuBL8kA}0V*=Z%9w&>EV! zQYd+{3w%f1EY+c*7}9e+h>78;w4EgunUvCt8Apsqr|2`;c0}x zkt8}G+TzHVv231pa|TfKLy>ILHPaH3?<@xr^H{DGo63cEx@J_43yTLP!>GmL6SO%U zG_a6j7q&z~Wkm%-jVoMdMB*fssXZ$Bs+Ov)UfTYpn_U;^OlQo(H^e7mELQhPntk+( z1smdxRPd^Fd(Fq2&}5v+oxK@4QlYw}x*s=NINgo^OA9y~i23gx#1> z3=WKhmf~ZEBvJdk+%k8vk*d!4^MX9^mhuBPy$$;7X-(Ya*COBSY*{D#Jw4t&PrB^e z*-mFj%Y(e`H==%}q1y|N>Ags3p zy;~@4@$zo-@>{LDUiMYZsz11e&DgFRwZw&k%C0%Xdqi%axde6XK??7f0a$but|U1I zCAI9Iq(G71_fzb$mGx^+%jm7UtzGVvL-L*+bwg4N#ws`Kh^2-3&R1$8Q};LD-_GgO z)P6mphO!jpWcvD(6URb9G!j>HwlSWXUBo4E)ha$2ADN&gn>8MJ_C>X32OCt_&jOFS z;p#jxIv(He*(#-CmZ5w+$*xVh@>KHnePLM%(Lk3UQ~O!gB<%bvlB{b>Tz&6@f!2$J z?$r$EZ#Uh`8Oi_p^^AZ{>m<@21-JF9nQtX4H9frv($|-|!~tudSt!wBJbR`E@y^?; zj+wew2d#8>YALu^M(f%D>U zLU-)LC_mg!B!kU&ws9M#+%1d!&Cy)-s3*gANPN}*C>}j2waHY1Rg9UNg+rW+jYHzU zVixD*;1ppK6&7a~VHXx*VPO*>=KH@b`bi0Vgy1YmeH_>T=0rOqq!G@@?XhNs)u!a8 z+M-|U8R+_5DjLTQ3mz4wUYeYMzF&w(<|oHj_@D(dj(yb&XyDi{*LRyUF8#x6!ql5* z?*UHxZnLvpNaNzl?xjB9ha7PLDk5>1!vQh2*XRfupOh$1*JuE8`rUH-ra86R&fKIp zwFLZ{awIX3p&a83Ex6HxpjLput|j^NtS$`YtUi(nw=M_{ceW^g8Dotz)Nm7o)l?v# z;G%jkkFox%8#4Pu<=+~{7t41^{cB;y0^C=Q7{bh!E&Xdz{Esydll{GW;?)~*7*kba z!0E+;>*M|#^)OS-U=hu&U5A&8ADU{~l77bN)yxA)yt5ycOPc20Qu04`{;PISxVfDX hx~|M+h5^zA5hI8}F)5*i5P^-21%ZM>Tu}ny{{dm0V0!=n diff --git a/übung_1/agt_übung_1.synctex.gz b/übung_1/agt_übung_1.synctex.gz index abd2e0f32d4ce3150c0a7fbe03e3a29c357d26e9..18c8a710fce93a0a07c298ac57b6b6ebc60f6fd8 100644 GIT binary patch delta 21198 zcmV)`Kz_fVtO16q0gxDfA_ydlzAtenNPy56k_M=rfd&boz+^^}1Xl%vHB2@7&2*<1 zoA2{;+>akK|0DQUHnNHlVVj%#@x{y+v%miS>Gi+d{r7+Rf9~$TzWe;?);{~^PhY-0 z+}hihZ$E#$d->_^?|1hv|I_E!-#*@bdieVCpFjQAS1(=q+h0F_|Ml+WfB4V;^77T2 zhriu@zq^0^?(5yl|MS0p`S$6}-)w{SKmPJ?_kEY@PErB?_#6Ly`Qa7+{q*MU`~B;$ z{pVj^fB3rd`P-M@zTUt5@cH$t4`lf8?(cUmopEuK@#5EaUmqqx?>~Qh_2TR6`*&X+ zUgF2A`-j&bCTZb+4@rCf%d4+{``It zS^k*F&u>0Y!s>Ox-rT?X^7b7%$osqB|NiR3B*>b7T&;)CukjJyy`II{KUB-F@BY`F zwO=04D$A*4`2Jwnem5z`~I7|Pj~n4Ucdb1)h~A+ zwtr_iKiuojaz1=}wTb%m?zb-Lhx`1~qJFr;3sI!Md-?7YdeysMH{c7*LiZnEeVS%3 z`@^08B>u%F=w%o9;n$(>4-bH)!1<4<72FRGhA#E(?_b`&`1bHy0ne*n`Pca6#jkfS zY^`aY#D92ybZGfsUOhbA-GBPp(3j+2IabEBu>bOX>Zk6?l|#y!$Bw&l-59bS?%%zc zoM21O9yX>CM-F@yjgh$|d5E_4NUR;Pu;C)|DN8 zmi6)7*LmggSN3;Z#iL*OEBpK1r*9wMJ=}d9zs!1F+2?=z3}f@l-RtqoEbGet{=t8F z_4@s*H+NrOe*g079%kzHV-|U3r~lyJV-~~8argbp2R{qCveSR?zd*OUPrn|&y--8a zUpWSURO5A#ho0fep+GaWiM#tWe~NJBDA1qv=x*W4QSj~4yVswwdVGBK@b>h_tlyQx z;iAk%3tl-ore4V2^ZQqKH-4GLUO7;<5A*K(i`VmT3s(-2CgtI)<<~v>UAS^oy!!aH zHQfGl*5}G$F-gLo53{5z$HF8D*2wI(T{!}OCPBY^omZ%MTxY~XA@bLZh$6vqppR=s1T?J@_KbyGY*ID8Z50dd^KmGRq!F|5JKYp9#T{$-1 z{{H&&htK!@=Pc>Ukum!3r&k~E&fPa%ITXPC`t!F>5960v*40Dd&E3PpyN3^VU*WfW zdL#avC0{)_K7V<5_xaP;9WjyCA zO(Dz=-#&5Y^Yz=i*YCxjvx-;mHDUGppWp7<_`JJ6|250K(o~|K`|;KN`|-D^w`D14Se>tBDy!zHx{_?|v;x#>x?+=^3`tkj{cQ3zw`|^dV{)K;a zc~_2&yDwiKK10TfFYn(Re~6v=a;<00f1&Sh?Jhv;X_kyN6r*?7#ni(|`NzH;lAf^X&gUe*KTl346GG_NNp}diJmO+0XVT z*iIq)k8M33$vLt6s zO;SriEVQiFqxWP{E{23RAx8xc)fHDI*rPM&8YDPaV_gboq8jid;gH&y@PDc77Rpsd+=j# zgId;_B7|H5_sR~itgSC0Dca%(bsr1@Jdb3JOz6PqkfMM; zZ=FMx@UswNY&HIpkgH0(P^GJ6++V8yswit>@wFaBJqZrR9N?`txabmuOE8MT%$TJR zj5}ANmDCY^BxePGPFO%NQ%E6~z$J!YCLzx+BmPJKz89HFvYe0PcaY%QSgB4}_Z}tW zXCY+oJ!>IXmH6+W_5GT7-FvD*hnTH(H*P+)|H=+EY%Xuq9i1JfSHz^n)O=Oy@-^H4OU8}Ktp z#+qtqN$(_oIVF!Cid7$m+I7S?j~9L>e!C`~7C?>k9^WjPCyEU|I80TY*cy*X_>r1x zLMaj79uvzTtQN*N>F#$rcp7G+!}rCfdI3`x-xY&8%)bvUcBUK>jC%-o4qtr|ej|kU zHrVN+ZDuqCr?B@1Of4XZvXeNBj>>W0!QVHqt0i!Mh3nvLj#A{erpv)HiGC^Ncv#^z zEaV7sOsy%I(q@sZ;d~76UVgaYHcxV&Xke_tGWT9qHWX(uEgoQU@xKe>=+YS6`r-W} zxW;MCKx2u(ydTUog`xf#E?0zKP%lx(;v6a{h~F%U+2R1B8FR&V9^m&U_i>1RfniYn zzA9vY*fXY>lPrKsgv%U~1Xs?wHXq0}Rvj#qc)~KXZQVx>d84MjCl^m?$ za8gQAa5fMpe+dr`=47?9T$-vFR~p_s@YF(Q>{$Nz`f!$0c9TC6F`~B;pja!{-=<;= z-QiB%#M|3!TrAce;BC2A;NGS7Zz6;gj^=Wr2Dk)UF+3$TY%LfC`2gQ6!Th3dj^j@e zE2rUdZn80#h|%$Vu7fsUxd>g28Zo1$qrB&nX$l_~HhVAYs^E|5Z?Rfr?mtZxcs`s! ziF>n?p9&U#W!RAlj&%|Ls|p@rHDgs(@DyPP2ThOR?`(+j8z_CaG2&zY3h>BGwI$2` z2~ZB0;8gWs<6{=n%~1=q%2^dJ>2F_b%Wk*ZG5v+POKrtCxSW^^)Ifkek4Z6PMeiaE z$7~e6FX-$pDtJJt@F)}Dp4L7k2IO2-s9)B6QnO^vQ(ZX`Z2HF}e=91QARofJ)qwjSV3n~aqV zbC0A(aXxTa64VuD7uUlM-se{d-ls;3hT-=*3xV}#u=t#*9hYp>rAXNdyw6-%uJQ4u z5Lmo_aJXcdgu~csA4AgT;*GD0-a4+cR?%Azusgm*`$P*k$GmmM>QBT0iGjryKBSBp zP+|6RU3S}|B=p1t6>P4G9?OZ3b1&HG(QT?PS`KEq;%EAO>X358%oSmyU`mx=2dhEA zcuWe;F;}C}@QVIf_2;QDoI+Kf$8kD?sio9^mGp9^OTN?~T6Z3LPr=)ebOtLn2980! z;jh5d%$#E}jbllOaI%_Tg!*hobJo;GkiBVSnFa>6+sPgWCrrbU7S}>t+T-9HBNhk^ma=b_U<@$0%5fZj z=CB;hi@y3<;R^~p->X02VNzA);$!AybUVZNfUmFH8SVsT zXs7g1@IDoq2*)fd`NjEaYgF>#K4Ruk?cfY|9_2VBoc@5#vX?4)F?GU*!vB<7SlvKm ziYf+EGH|@kj&||gU)2 zoC-gMyV{B#>q(yFcN0<2-@b6XAv5N=gc;I`>e1pXfoF*4VqBZ&;9OTl4`YNCQS|UQ zLp4FFrRZ;8U|R1E1G+q>k#KI5=JR?CPv=zWnBq#79~<7p{KJg>0FcpzMFr7{JgHhMRxF~oGb(mrDLQRmZeMQ{yvxb-oQ$TI@J^4Ds}C!G!eFSiIiLd0 zsnKgaH=`%3PUAw(##nzY7oKPH(~bC?fG5LEE~ns-!kIwHVPl$775x|@f?mPZ(1BkR zi#ZJ)o&ubQPR0z-M(j@AM-+@Fn9Plr(w7hr#@I=Xp)^ixt=+V3&`$+vYrIyKmGs#0Ht@hxzGvJMI zJBS~IPoDChxH1Ayqm<|Nb$WTcEWMaZ$jQXD6c8lwuN!-xSp3^J+}bn0YEtZ zfUpC;AJI$t?Wn(TU~%!@C`p*Js&`3C67=G*zp=u@;Kj}#Y{2QXpWHriM%7jB=l#>z z8|VGkjZJpUeGa~Vf0Cj}@ssmg3l^L7(FXPQrZUv>Z6KsqIS&dbpRc05v_$!s@ezml&hb?Ura$c&(>` z_kB!EF=^5MDJI*FEk(H*W^<`t(P!tY<4KdGhhg4M^MpPM-j9F^e5$O!3vX`Nc>wM5 zD}1$Vv!btmxxnX9-<=k?tJ%q3s_5lDW^8tuEXHkDxveV3qJkwTb=lS75?3XMyR=b% zW=wM4p33d;5<^a2!9#&9>$N`7S6pi$1aC3~TCes)xwmMV zq3?M`D%NJqcJgW1H)D3d_s@*>#8f-czaP`ViT=Ek)e;wf{K*^El3v2QeAsHdqkXDI zyLRtk^lN>B;cE`7=pzKd!cg#pxz1-z52rn-=A&5>VOr*_%B?wKAyo7ZFz)zBdRS+? z36~T-`cd&k!_j#SeF`bZJKn1=vOP6?AATN=e92MMOL(Wx6-{*hE_3&N625ioI#x=L zrotDBkL>GzdaJ3&zAllmwms;M+`F*iIrZS`qs1I>FuiHAxLc4h+Yazn1nm40QjH33 zZJ@y;#c;bQ!d1}p1)r0n`K+s=7u!GFdn(1A#I;4zl;$f*c;H*bkd;~}0$0Sys6_$kW&x4)S$lb8~;&B!B-TMSJq? z%R$4ppVd!~TT&{#Xt(#tAETsZ>7eA@vt;Lo+%R!cuKV1PXg2T^C=Jp!>Y|2Eqi%)8 zQo=`!ll;dhc?#Jmu`2$1P?{g2!Ac05Dn3F}u}}xtEC=O%qjVt@9;kmmM!EH~h1Avu z-}gh0bsalz-8X;~U^sGYe)KY&}vchggkffqp+GG$-tE{A*MhGKT= zR(TCZOP;yEZ)7m>(a#U=t;&k~WCmn!Drf1zw1L^!1~ZocSIj{rg#*0lUD1SmQ8!bw zxeP`-oE%BcnIo1m(cgcp;Zv8Nv4ywKvKxe9Fg2Ug)e8nf=yp+?rhbR{# z21|v}^mGQHl%jWxR6vhF(0dqsJo}aO!El?yD*70BfD{!yuh@U5XcRprFnkxSXO2FY zsCu}P1G5|heVm{dUb3GC;d#_f#c%5lx?2dtM-G-Z_qQwg7q(4<)zpg($8h)@o$PUN z-!>KC5vrquZ%tZ zVLvMRl(TX3*V^eZm-7XehBGRJ*K!JH`Rr7$Qt-W3mF@bamIFULE%dMLnVYU}4Y1-x zuWj&xaci_b3f^~b4W<#JJ}^jO=FNI;^5Kc3VuPkf->vYN6upD;=vs0ND|)f144c4( zYE&_v`nrFlit*95TNx4_B0H*TZuCCB-Brzpwar$ESK|syT-Qck{ck&MBEnbYI1I}`Jh?P0q1if!})A>T?fcMKxf?jMM z`QlkL~E*-a9&~dc5bGv8a$F!A zo`QdGqvtra4V=7_@sI39hp4H?o+yyKT$rirj_hDI96x0TpSP%osMBjMxHX*APO_TG zfsyTvhGSJ~&z1-LO)HxrgWw1`sS|I!V;QXqjwwCa=#?CJK{3Xn=<)4=2(ogDUJQp2 zT5JtfjldhRR>PxVEVH82ihM$mgu3YhJRg6a#FOyeJ%+J9x`)_Renjfn?;P--*KoP3 zj2cWd2J@x4wDWr%^^K$!<*QxgCG~Ljm)MKD$|q{LhbE=6-c?@KXt}F=rmPiySXu5W zZ-m>n?;w0~SNY6kc#|?Nca_hCy(KQ}DwDYHDvORgc8O2pEFHVbVw@@ZZCAN*?7M%& zQc~YlR+0q0*i~+<`>yg2HsG|YOzys`EUVmim8Y>cc9pLio9A8SCn%n8I|y+KshN2X zBTrW=v09lHeIojQ7ur%ouJn~A+Mfk2`Z^Y>HSINW-|SYpg}d*}AU^J1!0_-Be52pL zMmgZySKOtIZ*gGz*ZLE;+~Tu;v(JD2WX-dGZSkJaHGed$>dl&Z1d1hc5h->9PoZLW zz!59 z7Q`3B6lvPlTaPG39s2&PZx?(7DI&HGTxrrM!>uk;M^xb?~1%xquHb5k0_0O)ubGe0!KJzYUDlrjDd; zE?X*!ny=_%m0(_G;(apFZc>VDI5xaCju`sC>}lLlGDUSY2B^vCzLGk?e1vr;zp8?N z@9?^9CM$XY-^F9F8g8u$Wzb`C5)}={9QOoxoBEF1XthQAb&JPTeFI?f+B@;^|C`T_ z=8d`IcAKe&WSk!y$60?vGTeYU6Jt~|Yk3ml^@%~kyBNOPLQ#rd z!gulLD28^hr~`UL!f=t)rCPq(SHdN{D^sJ%97K{{!gujC8y z!Yp!DQe)9&a8yan!z5TWlDaU$yNQyz5B8b5YOtIGm?{H(!d{_%2FxVnI6pg^dh|X5es_`O41jF29-#0ky85bCaSTItkbYI}a3c z34?mr^UZ&(b_!mraV?;-fHUx+Vbs}y*t;$)2_7n)7zl?=g1?-icPa5KQ_=G|cPdrE zqpvo^tmMF~b}i9>pieMlP`3j<%w@qK*LyZpi&ZWPDtrsx#?rYUOm-NZT7eoEOeLP> zFho$=o>-sgGtZ~7Mun;smJDLZ;DaQaz4}s)AryaW@KOQC;Jqn3r2rOao;oQ76oY6n zhGjBg?pu374wI|Px~7=3+6@m$?->^;SVa%Nmh-Nn4~4NrtD?tb%pf8Pj#Yv-vXTSi zGOoTziI{YT+_dn`4qf`!m*jGBHN1k8vnt(!k1=!4#kW^nf$#Xv<+n$gAs5D?7xY-d zJcE)-dS4jwpeltGgB;*62e!3L6ckMhNT=FYBZmFJfSWNdI3%JM0fiaRNY(`&MssQ< zeS$Z^TL6+i({M^r!%KvbYIU1PL2{FzFiL;U+?Zo_;gh|&TO6|sRzv-HF6xgSiy@GFsjAssLg;Y%+Jz4$qjO z=8@KCPAN#voY}(`N{iMlmVvvh(yX*l?YbsMs-`o&f~%g%rFS6(%vFfTCCM+5O>C{1m*^Djk5y@!k zu{%QKzB}5Ha(i?z9XAEGst3pI$iX)D>lw-^D7bCgTqZ3LC2s3_N4#lzK`YOYTPFs> zF{MQ;SBl^3v7}z zc10v&%!2&1)-O0DVlSd{*W0RZ!3XB>!=j{T>|qDXTGR7Bt<9>f6oZ^VxC-)(=Bc15 zQ23MZ?aa{}hZj6t;6}%EhQ~`t$=Cg0^G9iK1TEG?bRqpxg;5f)WbBDQFu;=Gi|T*D zz`%!I%g8rNL|xaA_n_9_cJ<<@@Q^9feLBk8!IhqNIKX{MmQv3yef8dzR8GzR&%$D*>AQ;ahaITh!P#AzP%5Q(e;9f0M-GCn^r9cdmGDaB9b-^JKgCoQLD?yiC z!Bfr*geNBSvPQL{Vz_<5=$q--6r-u)g4O`*U*ImY)Bpx&3!Ja&q7Y*O=2kq-9>pOM zgCoQJiSgWH*){XgEqE0G=16-JkQirFy^#YoZ=EoRaHrmdNbqgjQ0KUIBy zV{ZA_>?o|)Qz6D?Dc4i>eaWE^gTvDbs|RAMXG;d@@=B6K92>RFn`##v5-|n}L$$c5 z%Jx3i;LVAl!82EIf56Aqu3*6WXBpMuD5)?7iqR!ixUD9tl0wG+Tu}6(zyWqu(PKcE z$^}-?CzH?JWv9md|W#p%At_c^}i6@q60A!&r=bDubA-A8FTMrq~)3OFKsr00?xUvC=m7+*W_ zE<=KusHlZNd320+VmU^;6C=y&7CsY2)O5f%)tV{Dt^SFeVCL0{<^X?pmq)@kDb^So z{!xnIDGE=#6g^`=c{=ujK42ub-NX*>EnbfnFAUV|(OQlN_HohT^=O5ic$Xo;x3K6L z9_jHG@5E2FcrU9j)C@Vo{k#tU^9A^ruv&glrx-M1a71|Ur7k!mVmiIzd%6R$H*hsa z1M_J|bZB4(YI2LW*&u%&mEMVW84`RO8S4i=@1qUei7zZW27}#kn(bw6D!}Sy;?hIm zQG10rHupHsWhIH}jM|3B#L(cF;F}j9=__+mWJS+|zR2MrHByLO5N3?ZD|b>5oYUM+ z&N{q*COdtm+8zhNW{!M1w)jl;wxTJjOM`fqA;G*X*n-cmK9heUzAz3{S$!PvH3|*Z z4&POSO~YtrGkI;<(qPYVbv~0@lh|XEqQ?}I3ys(gA4Z8p9ODdA7573U0wxUF;b_{? z>W8Q1+G|v}ZcHsz<7#lY(Gs0_mm$Hou{~vx&3SJ1LHtCkkFvgx>hn<09EeRfbag)K zi6;ianX?#7ik^Sx5-p2}pbre06sCfEyDLO*#lz)sOxo)qrO?}Jmo{Z9PBq(!cNr3V zn=12!ujg<@yq;q4xpNEN+>3fI8n?5L5cLfUo+heu9Ze65G`Rz@RfxBOT}w36;fMV! z5JM8|K|eKEm*gy?hWiskgVU;xS<{yc)6yyWP`S;Kv_^jlu?vb8>o$Yv2| z|LEcP=q{ObG#SUzq{m@ z_PgO0mYuZRlxMCl?-)9>!@uuvbR)+s1fn3tAa@m8FvfHixFMpCTdFyU$h;vFlxnu3 zOENCHP>p}diG$TDJM;kVBuhE?{4TJs3VJM8&c>{(C>dlGnJp$Q+LC^tS+r%0a6U@Z z1xW^VrIe9G=bG*XCGX)yMO6?M*3{yT3V4A#6VsxmQjk2tD{N|)^f$xk+#=RWM1{xF zlFbU085A+rBvpftlNrBJt0o!Ljx1Yd(VZN#5O9ARN@&0ft-)olG+@Sy>L!i*L=caO zz%$l=cD%}!m;+DG1MwJwJMk_j`;H> z#F+UZw=!jk8F;O>s*jxkoRNTO=m7yq9A|g zYP)YH3xb8so5+gZd(?;qrJxUyNy8S3Nd|RKCU2X#v%r18p<6kvF`vY=@ZUm%cG4KV z)<80-li+4I7*$Y<2;!qEs4#r`{0(+EvppIn$(9O8L9z*$%e-1uQ)i5+ZIL(^r5Z`w6Um`bfH~p z%nBYeQ(5Z))dht<~kXmk4f>Hy*c1#IdiFa!EmRD8&A`U=2^-t42mTyk$(& zyxOZE_1G!csk;;jzl|O;p4zSG#82({^upAhPe<(99h*Kg2N7e}M{T!KR(w&(zR+qsjyTdab;N(q7Z5T$%bBRO z=suTXs9Z^Y^OOoILd%-`2yn1OUyRWr$eD1Vq;-&%b+wjJTBKCEwP_iqWvATpS9QuK z_b#>+?qpJ&w3?=jWk(G znBWirTQ=sNDC@_Xa*BW0(%46)ELruDDyt)=m@Vs3_x$3h-TLbNqu7nxPRSq)-*kui zNT34LOOr1m0IcXbyhkgL@F_mW2ESRuFNQ2=!uJRRQiz0KQo3iw8vNfc$Q_?_QPJm} zi*e$)?;@o!A9esu+LGfgTJ)-fE8EGXv0Q zjt~>?mTC_85x%xGF*{=H&I%6oV7X*wK+r|OHp_KYRB5jr7cIlLO|^K9s7&57S7&%s zq73-pq0_{7rP*l?1|`T|R;Rf;uE5pQ z9Iy`xFUKg3$dG^6Ge<}8Ns{$)XcB=*Io6;#FyGsgy4^>T9MWkVai-^@tX&}Ve1tv^ zGM$RGB^BOgbIW|=*=-pVHu7GXk}C}13BK2*^3k?C#1CUn(2HKdNHNU2brQE7+VFvw zSLL_6HWS7J1WW1vk2=$9OPa9FIaBR3*bs=9xYHdKRlESe)SgE~irl`f&b}|}Ka*m}g)Gd|aiHhdHGMjD5>Z2%*^Pwyp_n2EODN&Nc5KlJg zhH>yAayC|QFl7|qgA^+`ww$Nv7gA}4a^kBaZ?q_17_DI;Dq^HUF;z{)Ax~`h;vW4M4mtZ}Ud4)Db@V9}iO@kI^iXyw1?Nsfd3#@R9?F5snHl80 z1m4uJ%x%!&dnLJC+QN|}7%=n0$Ya(3$$?R6z;htR7O3D*TcC_jm8>p`d8BPMx+u@* zz-GbWv#H)&%@G(e!WE5(jIP3dBSkSQTFYu6IWT`!m6qs6a`0R@#svpMUobk2MDTfC z%Uq}smi3Oh^&KysxuVP9oynS`QLV2yWdHZcY*`>=QNCTRUT7VXYvI)tA{ouQPv!@n|;gyOI@7KUqA9F75=m};&g#%`hD zkoKcz6f5?ZS>k>))Pg)K9T?o$aXyqfVB9A@wN*Mu4!QFWV=Sh*frfFrzbaFR(xONi zq1{dSD3=-@Qu1;SuCNhH< z3OKCbWFoV{C*(e<(hp<{PbfBfxC1uzcZJCoL zjd|e25f%tNL7>esR4z^s-*@t~r?-FG$vYf=xAR<2X85)@o|uwC!fQ5;S7ir$uUn;Y zM;q=WpECouBRG|JL_hr&4CglFgu;UyRleoXuQf&}(C%GgVW^@ewjDClw>3%w#i3TA z=wmgyZTNzRiLo?-NpdSQ8A|06Kb~`1xeW8JrbTraREd`$6bBsH;%d=r z$dVL?8tS|v;Jq%2_Ys+kMis@dJWO_@I2fM8&02R3tV@6JKo;%8TWF;$3QvqkoED-` zu&KFd4tnT}zM?n^XIHlE+)80G$4?%a}!%F4(xWc)Qu$yF-d z#t)y9Mctn0K|Zwfol*suBc<(mNRBoU=INV_P)HIn#wgq?-V#)ZXqcDHXi*9=IGVyy zYlV5xw;iVwB40vG;fS6_jG=gBJnlnL-kNw!@R7s2BYwVsP`4)Rl=;S|_O#=XtTxw> z-$;LQse-;Wu_QlkO)SxuZ%v%ZYevt%klJQlt@W)5A=UCAW_@d7qui64cgm-4O`O?` z;Tx*;t%);bZ;wm2CP+Qfri;FOYMPd^6backnrQG0*Rb@LR-CdZ{?A+EO4k9+L?gfp6abroSj z*Wu&-gn%FEws-i=8h-iy1cmo|4nl~8UsAfK#~u9NFUaj5cU95nohvi3q4i1{bMr7` zn}k;u(sDoVa1jq}XfKX-vDovzqHIxkaE0MqWih;0kod?=GB5!|ZKl2CXs3?eD$Rcs zhYmN726dtdwx=wdv#Qns4G?%?UFm=k7??sw=^#0z?-M;t&sB9}tmxZ|>SC7Tfu-h1 z87sK6nj=TgJE&SY$)Q8xqHATN8wd+956!d=6^l(=^ijr-X7WhI!Hkcg?P^O7XZSR% zD6JKTx=YWS?y_e$V~IH`=Yi672rz%UjnQMlMJ7(S3yv7Lfwj;&GE{fbAHikj9(1}- zF}09yw+SQ%v#@)5Qxb9H7Z;)wLd~Oa&JEbJq!YEjfgw z;f!U%Y{CbkcNEK~f6VbTa}dFNVyQ|FrrCyd%om(z4%-4Uc^~}(Q3FGEX;FWHxqXu? z+%^}8zMMud)hrJY6oSWcJXTf+Sg4toxFrJaD+6mz9OHmPXeIq|M%0bWohKUEwM#d$ zW&9RRoh!)#Q5Z6~sFuMs&kEin?{P^>s&3#*}9rsd~7sXI3C1;_0R@7$3G%Q1wK z^HFQfyJfuUt`UJAXV!?qh-QDx9WAvkfiZon*18nK_?lX4$sxbaNHupVDlHI;K?xHa zQ|BWQ+(}-1w7hiK$$MoOgM&$H27Ipzd3+%M>d) zY+*#>pb^{Uya_S(0);5KM8E?7E`<)5~DT~s$Ea2olsT?-_ZPfb1&&q&101&)?# zow0IyO8RKvOkF0&SoEs|_KiBDQ!^dFDE0Y)3cSr=v_b>H9*1$oBg*Z>J2D>$pZpy{ z5~f!U?VWa(596e^$y$Fj5h@p=ui`WD{MOT#a$2K-_yLU=d%(5?>_ej=26TM;|6@&8 za*BKyG&SAxBjBM#_R6876%%A1aNKXXr@Zk8Zh<&w>6~(ibIStmDe-WX&+n8fcI-~_cPd+FTJ!v)h*c9!U zWKxCMRR(`~hcho>q=hiUn}_QS$MS*b!_Q#tVAh(mq;~I)S#E;n;OR93*((mFX|}X0 zP8OSieo=GYdrfgm=e|x&a^PW zArH1tSwRZPm?^~!wvW&@dmy&!*$nV z{4;nS++$3!{@;n1hekEU6Y7qx#PzDn|&KL6UpC=!Eun&WvDa6;@H`-dq9 zV*8|B;P@;Dx_`Mpp{LmV?BCq8KUwqaU$^RIcMBUa@sZsAvn8u@+fr3Aj2LXW8U8nG z@*{~!3#xYp-*m7!vUlu&UGWP_oY*^(Qw*BrEJ`4o*eh$clTS~{;lWR7UIHfPRQZ3j z^oPiq9}Xtcq5sj{4WEOam$A1$Kr_{;)4`W3F#ZlY&&Q#>RlZMy$MJN6Ib3U;($-|Y zn*0gAgK_l|b>y}NjO8=&nm)1laS1+G zND^El94wm$cvq;RF)*h~g_xw)RFi)sIi^GmuoM+NT;h;gV4pKRlVXSB2mJZqa4oW- zE*Z`pfNJ?K$<#>Olf1A_J zUr=EGh77_`Fk3}BIx&pCVvVjEdTYx| zE1QB-o}GHY%^LoAB{*>T7V3Yf#Pj~a6s{`-aAguosSqqFxUs4~aND@%Xcc|HY zT9c|C_Zf;yRTeMlXWy7;=52&~rHYYoHI-uiV7Tr}Q|WF3)_`V&WxrF8=>$C|MO}@b9LYxb$A~V5>eq&mJE;DSepa6KRNQ?VSZ`%PN27OWR5{r*1 zDLI9QJ;o?{dTr(C6CKXA!SLOPYz`sk_B|M zT^6NF`uVJjXa@VSveCCI8Oh5==lu%9J2$GaTyznASv3~s4sU;=s2<^c#7Q|4u0|q5 zQrC1EiSjCuZwXOb$cvr2i!XGzvmM}Fo7&8~G{Ae?32HH!SW|f>Yh)P=NKvC3njXVZ zz>lRD)_PpX$$VVnq_RvNfiImDz2l0Ks-`b(Qdas%_!yt)5q#_}<-_E2rbH#5>znhM z9&-Tf;-Ki^1x0@*ZIbjcW~Mz-^og;MQc(1%R>$xblD;sbJ4_i#k8xh+cI)jR;eBW@ z7Om6YQNerHHQf3MMe5^h;xwETylogbCwrZgBbQLV`ms~D8}O7OpK(aIhwqTAt{%)X z24Oi@qs<5~t-a_*?clgVj2a}8UM{%-c72Yzm}t=I#j1Z|c#cxwyvkw(y=;}pi=HW} zT4sY4O-=-a^Rr|%C=^^;4vJpD`=*YBt9gu9jxqkUNpZf&%>0PVj<{2I{VR8J^C6|{ zqu|}qfk(sl>55*$yZnMRmr2fMISld3m~FxM1F?S}$)G0797AQ=t5ZRvp=1qLh^+~O zIhv4*UTuGiCDvDFt-PKIDOf6~X)ty=W@j&;4=tTuS7WPSVFv|jOtSSyBrr-vXMnJPM%%qyas zG|_X5D@3d{8m|$>FsJ*XIt44z3DLFY^yt$a41$4s(uEz*VkAe)oSK>7Omi?-Z#4^!c3-jOj28&_ z*nA_blfgeFe*tk-Q7vmgNt%O?VOq>j$-(HZG*mT$!O4QxT1!#FwZ>e`C`@O8ZM3>n zm}x-j#z#IeCtVwd1qzB@FCjyj^h=4=YmFUvWsI z7@mDQC09iyM!Crgtr2V%Wwc+A9W)@ODpgJc~Nj;Yq|^xp-8LH<)0#T$+k_h8V0S zKjN_fJ1ndnyOnPl-7RM>yB*%?nU0LpQHOU6OVBF|%lK-uDu$jL&+`VnTUZi4EG*|e z4@e|~e@5&jSmwtKyqh9wV%wQo%W810isDcf7L&ge-DWKyC7*JsqF^mWZonvxz?g)K zX0~u;I3P44!oX_zxTV%ol(Mig^DkE2qHa zYt=bI!NAQ$)l+duOEQ+Wcc+Vj4HH|6d0A9qa^#|Wh@%~iiAakoHkA@}_nh*32o8nN zlTc#NvT$({`o59#JqDkybn-DTcys`!dGGK(FJMCELBxr^jpoX8#3UHn-e+Qne8J&b zf2`e@XzfabXCSUTA;w|65GDI$V8Tnz4^ju106lpj&F)+Jnt(^*3-#uw;Y&1`O3` zlUa!J^lKKM6XS)OWD8O3Mn``#4btq_rT;;deUZ%Btwn_)dA)4>b4yI2Zntzcl5o3_bG8AGldMl%(Ke;~gS}!M-oxFby z3^>ykuMXc!=7C3u_DmlbnGGgebqBng=YoDtOV~y>ucQQBzU7%Y!zoGyEDteEO-civ z@naImnuE_@c>73k_-4vwjbMt;nirx1gKX!8D5m#jE?|vdS{EC%D8Amx)@cp~Nq=m{ zpJ+^qL{23E?$}uV_Fa#Q#{*k&yYEVy()<@-?l9?Q4%{L z)8J|j%n8xYqB=(#t5&usuc9)Zw2>`JgpX*rg(x25GWMZHpuyt&orl#dM5)U@Fot-G zT6SATZDmG^1psEIbogFy<%%>51GnUbe7;BaHhJPPB37lGe zkS|Wv7GxdXPXZ-;q+{#wn>GCMNgxZ|kKm*b3BRCoc1HN}D zhM=JLB3y;eQxX%*qC1=J?3q@OFWyj{8JPX(dXUw3r$LpY@+4HbnGo z+esq|ZGWo~oHlqCs;a}jT*IOPFrycmSqf2@w!p}qL_}fc-UUa6qh7KcFGMhPNj8du z@zPKuGG%`2*kgBOqKqkk(zG`x0Ul-5d= zy0j8p3y35?8v`iNm(z%3Vq3fvf~Re{E~*1Vj47D3)-457ty*izA=`Rnt&~M6gr29Z zZBJ((wYLkCkr!>&+&u!gJ;g-2vZA zsmunSor0rDN+`Z6K@7-%23T-d`m;1xB*HOk4UKP!@Fr(w|50V|Rt(=4YL1*D!$ZnO zQ5?!JLudC~uV;yy{RJDNE_7&r0Sx^@2j0XgDQOOT7~W;o92mxd!CsWsl0)ry1U{t- zx+pBxSeX_@F+vwUoaU(T8F<@6ayUkuwNdvo#i0#1xTH?^5GIiDyojrc@_{ybT_B3v zOj@CX5~cPj?3N8sepbfHI*)^afEj-3*JGw<;IOJ&&b4j+u&55N5ylXIwAPYCy=8)# zZldmUj=Pm*@mUZ1OmZlMo{Z2&e1G)Vgbs4p!NzkU*vZGl5h_ghbil_1fnLqK@sfcj ziIrg#6$hV%z;-xu#P+HwVnGXM4kGvhhWVBTVwie@<2(s6@08)@mEdz%t3a!urR;!}$y)YMB&4F>~8Gll7lopJ? zXpVwG<7cfq2ltow)<{)Ha;O`bg}ahkImhH*O#UZ};^{wAIjN!)hb#*20OM)vqA;XO zl|74yU>O50lOIVL5#@@JnlwkD$6ocfIL7WtlwFfaNiBa9a{6@UXk*>LKuJ^4$Mx$o zhuRS0%+0=jDr#=6ClPxy9w8DK4$Ib->0N|6inF)8Q+33My)zI$UqGl(M<=4_P-CnP zmqQ(0L4Na;3Odx$lKcn-vP54Fb#x|od^zhcggRPQYaQxHNaeA%Uxzx{D7Q#NgYxN6 zM<=$(*I|Dx$owMI(Yb)$9+yHLk-CREQXQxVE*gmM9kGWx8i;*#D2`im2-^b}DPcX- zkrpO6WT>OYyoWma!KR!;9g)3rQz#qQkUz!#pc@h0fy z04*!>%Mn@@)Y~@*BSg!9ix@3K`Z`FyIMU?i&Sd_YLN^hQj6l~ zp;{D2kFYWj&j(Lv381SM78&9)S&hgHLQ#!Iv;@N|y$WyVWUE?O>2-T*VW!G3%-JjJ z;{t3JK08#1(J_yTvah7cC9fqijKZZC&aG=jO@72}SztSS9AOFg=t>=avxckKEpa*; z>b!r?FKV%W)i|QJob_O|U4|j?2mJd6#~7o(tl;Qs)iK?fLNNG2 zur#S92g3y!zbJz@lX6^$igdzK(4u&AIn7#i4mjwH8LBzZEv-pLb6`r~Eo{xfc=`5D4(w7Wty|wEObonvqpBl0<~$R5dN6z{Dy2 za6nspl@3fQoaXP@b?})nQ)FAW0MLIX(tlMtNDdVZfcJ^3*F{C%GgF_H2)<27i=rfl zywuAV4SYwbs@n&e(m^5g2;>P|Fi(y^ba%(>zB~CCfmrf0lS>JBdmiIvMDM$%y}z($ zj)veNjE@Imc))@~?grBh%B!N<)zY#k%E8U&Hkm?jRJY7lQU@tYT>-+}$;f{_svTm> z;c2yUk?)D~LI-$OsZCN6k(q@i_ywXckC)eFFyd!R*DX0sCk0Xs+lxR z){~*vFc~ipm0oI42tGb6Z9WuQ^9-&SuUm!z>|C0)?i>ydsEc{Q0b`ayb7Vaghn!iw zp*di+*34doxqG6M5A>izXu?!{2KebR~yE=uyk)M5+Gpy1A2&QM;dp z4ftL%pUh*vKhpzV(Kc;L7jTSnh6l4s5VNI6-q+I{l@mib5XUG#bI6{D0pqx@F6+XJ z9k!FhP0N2-xwJy)DGc)l0q8t}Hzu@rDiV*@72ga_6L2BDh)AN?LR3egxam$pU644HB+@gY* z>=}(&b6`nlt}V?06TUXvUT`=p8#S=cNd)|AeQ|1?!h{{J@e&RTM z?XxJkNLB`{wL-bghGx>#s1T0U3ZuAaM2;M*8ey3WiuSESaL;6Jvb_O#ah87%NmM-@ z)2K1dnXISckb{WF4PN%k%{yoAMz=szZq4eJf$@;r`y!<^-@m)C&^oph?pA9pIix>N zleT5aZRsS&;0qSiCYfU{8Mnn~lxwkD4?Bvwq>b9H}zg2+X`DYuy+wnGY+aZi+)( zY6&n^`P^Em0G*jmS*yUO3ea1tkm%i(xztXsyS#;!1z88!(A2}%3V&GFQC-7 zvb^ose0hn0BfFh=2t*6jZIjj-CIW9N8l^RN-CJ&YskP!z7hHciFiO@%@m)T1BB-Kh z?|9Ys+CyC0HnK?rM>eDCXRVy%kVZ!=%@NWKlz6{lF)rZsrf7|BYhL4QS3Q*0Fs)qk z7^T+zC|q$UgdW}SyqQSyiP6nSP)wT8$;XZ!Q$^6$>hQhff<+J$!kHd$%n^o%eG1O- zyv8dz?ZJLEn!$fE-67WB12H!A1c%ztqv2qKstTu(!o0`|fu=|)rUfGNTUD(!yJ`wS zYt8rnCOXX#7;PtJ%@LV5%Q}ryj>^!~=TZ9q3P%w1#5NxW4YsxB(>d5hB@nok%_+b)$H@Qz>x z>aW8Y#4wnJMtE2i)#>WUGUS0pBy@Ek09FZ*mOB3@vehss03Y$G{p9fHRf zabD{X+DS;%Iz+4*fjfPYBW4cKqB#-_DnB>ChMQ8@o~`7F_p!~!TO7(BkF1@j?GP-Vz)9Jo^0yobiqff zE@%V>o8c=TjVJ;B*n$IVS6)^pG*$X)e2T`rl?Z|jS1?+Q5Fa_bMaL>BM8njmk2@v>g@RbKMiVCz|)Am5Xzv;@d_kpT0UjvoT?e4{^>Cycckz3h3=2ug-I_ z?EPe936>pbl9e+Pb z(Q^dnDR1hfw7;k1wSSaaWrPhVf(zx(p=?c?pU{~sP>yzAX+0RX&ZkpFjWC*RNdq+h4zb{Pp(LfB4V;^6K^5 z`@h}(xV?Mx{@d-V|MS0p`TqIs-)w{SKmKxm`(u~tPErB?^c(+u_3<_T{rvX!$K9K6 z{pVlaeEhca`I}eYzumq1_~p&(k7W4x{_nT1oN;lJ@$%RA-|i`SM{B zS^k*FFK@q0!s>Ox-rl|b`tChC$cNkC|Ni>pB*>b7T&?>rZ}1V`znR6^KUB+a@Bi1W zwO{Yi<-T-@?hh#V``6pocek%+1^puf>HGcrkKg*wneoYgegEz4=i9sYZ(jZK`j^{} z+rP7%C-?fZoR8mMZ=!y^{jH07a-V-()RQ~B5JmdiSMNWgSH1sr1HQy8boc4?=V|t` zPwxCD@h>+)ue!jGzYcw$JOGvg=Rc-aa8Di#UFy5vzrK6<{rrij|MFw%r|!y?L&}=Rj=OT*7_#o~-oKsY zT)AR&IWOP*_V&;Ve{^|QE*e7~x(r7VU~})ea?!Z|@&z-^{p(-8e|&v+YWgdeicQe# zySvxF&r+^jBYweh1!caCUnW`p%2nbc{(S%W?YHrN%Pi~4CE}3v?H+^R&AVCFl^uST z_38b$dFAp~_IF*yqhI+e`}^(Z@1Ne^-+mgu%z9nf=YRVGWAp3noAJvm>&pKA(SLpY z=ELi^x8Gj<`1<+|X6p817I|f-|L8wp7Q@PM`{V0JKMT6D(|`28K)2h^zaGE6R728V zIR;dJ<8_gTp5e-&Kr^+8yZt!XydS$n3UVIRYksLBD*PSEzX97?=co`Fhgm=>y>V>%CL$ zzib`$^w%u-%29C3rTCXG$1k(2E4%&W5rxGW&g%Uz`{I>7AJ*gT-5pGr{>!Z8)jq}h z-}qPicb0Rl2mSYNxAz>=$8WQ=tNn)$f5&Ki|M_+odHgX;z1oTR`s;7E-`>3bdVBnT zHg7>(?LK_G|MBM2uiyI5S=QCA0yM&(P2BP8Eb+;MWPI7rzx{u3pYQID-)4DNj*WM} zzxnd<%U%CDOS*DojQ;!i^{3l&_f1z01#rLl^8NGu_+^%L^-y?wdw>7_{^RX8_${B` zia%$`R}YRaU+>?4`TXtpZI*WR;Mf#@!jg6THp{zmp%|az>#t%N%vTSH_n+@UI)2VO za#t=EhgRQ(QrB8bcOUuxS(PXE{IU7){vMOs{$rMO{if3Ux4n&yUuTK`@LHgZ=X|9p zg!$q7XYPEyd3XEfgZOh+@#?)MtbYIV`)wPaw|D2iX1Q0IO7wF-y}tV}ewk%|{R7VP zChNnem)rC^wPZ1W>`dS<=Tm{#-}}m6o;)bt&;$8#zuBvwKD>Yb>f86PU#aR}_*a*A z<=D9W`tAM;WW4B$`#=4Ex8HulNV_r5{@>%*|Jaa|Kx1+&)zMG%}@C6+4Bc*TOnr2f#3GO-}b+sy?FLN z@c*@HtJ1u2)?s#>@G*BDU5BYu!-1 z69#9j#o9jzssFpjNsh{NvKW0awH{=?8q_PLO<)~_$;DD@JlgR<75pq1PeVpFp+?lu z#Oy8GwcczsDYX-C5+wBa5(|!ppe7fGiVWzx74$*rFP{C_;I$YV!+>v4^oANyGXX6Y zz&M~ETGOgZy~N)!k%!oS;9YV)&7ug7-q{k11Sgkb%!(TAYS24HE996VI|?mJa@N!& zwG_lc%W6G(PZs53NO%)+RNzouaaDpnI&-c;f`c{IrEpgM0<`*6vNh9ZI(0p3BQR#_ zztFHIlYYXO^rr3&jS(|*N`nbjsQET zWvwYf$R%*E>;TK!`VvAe@u+QaF-P;0$0)9)kA;+?Eq+kd3i$KZ zIaCQh3n9i<<1Y!hs>BObx=O~~rTVXmvL+T^>rvFB;9$%F-g<+JEV$RgQ9^ze zLiXOX7IIaI{~lW3t%=vYry6vK`I|if?8Fy##-|!NEuE;HNgmz1NNP;fTu~12Hoq(K zo0m2CJZ9{IF6Ylh6ONe$E2dX)pH1e(FX6$W|3@!%y#$Vb8H-L;9czW?z3~brF^eAb z=UFu3-;0p8bTn=$mgq%Ohx zoU)+CZ{Eck1@$FxYXegcuxx{3(bb(hn}?$PcA5=Ldl&<=9^jvs;2X|E(Ufk$&m<_j zW)}uYPRXNxhho)-p>`ed^M?yR6Te#%PYa+%dXI0G%p=9ZXu*^|h^_IMgdeE6CX^B} zo#2ZM!fIiRlkRS(gQsC8I(%Pzs+TZz@m(>f!~FZuVrR;j0ATRkc;~=734bnx_cqw+ zqHSh01gEg~223qAa6UYD5{J=IIqp07#|Cz_1g>y@9lXs^iu}fOIansqFQpt0E4+q< z96^q$H6>HpEV4D6j{)AxlN)aHB=?C1#u_Yh?`35}aTe3!0VWs!yD*L}jlr!S-aUY8 zoYoAqgFAu+I!#j;>Yw3qMfe5v5_K%jp@M?=?UI-+4ltTASA6FI{%~?1hv=8i$LjZ0 zA;X@3F~yu@0bC+n=8z<~a@Mu^0B;Jx55v&PQX!~JM3UtAcyKmSRP<=Yz)4xs!wXLV z_TYfO=p0xzLas(h!q}*&w}P`LrK&1mFa4;vUmF3b@#kkV&-hrnUV#o4j$Je(Uj%M=wBSv&9!9%fDuD?me7`nrq zx{0?p*|=D&J;2*?ufV-a?cYQQDH+y z2TX9Pda&^^i|OX51zP2-ikI{^FSlj4+wGYC!rY~{VjNsf%mr#7z@EpX7_y>w5r$(n ziryD=b{7>qpj3Di3XUlqJ*UcQDEa4B1QruuP=BrHFx})@tAZC8OfZX8HHvqo&c*LO zgMxQCmHkjRU&Wx#Mt!AY3Y_Wv0z12`boJ6+M;{ALm}M)1%u|U$h*|bj8o~`_v)jh?y(GM!}RSzYbP|fbp0V zoMWy=qu~|(v+B=NVK{}VK9A#c22)F^D}U+bOqYDALA35X^d5t^A?XZOYz!QOdUK{S zg_;^n<5&_RoUG;-p+1|@oHex(WN#Z;rh!52cCv@T3Da<-g>?px$)bawFTq&)O{s3F z2YLcl>>x!*@P%3=i#3ZjMd$vp7P`Aamn$e+?O||^5etL{OWDttU<@$0%5fa#uzwuP zi@y3<;R_19*sEAWf!#EHk=+85U;ibhme6;*VB28caN(?Y0laW-N(a2#ND|)X6x86P z?=Hu|Gr%Nt{vL!^e6?T{J>2kuXX*X;~<0yDHz z`Y3px3QdG#mX-YCe1&D8%q?d@?xrnm)pJsWvG%nxa-YEw12dDv!Pkz+(CdFm+YV(qZKZur4iWS``6)SX*3$nivX>8W;s0N@rJvC2fW(_65dCB@~*O1 zNO}qH@?n+maOtEEkC8GyZnTOXt97+8DS9~0g$GFz9s}Hi;uJguE(^L`_ywl4eWP=^ zIe2&_S`JokOlVcY;dObKDu4AP2cPTs?2o~>?hucaAw~GcJQsCX-rzV2OYR-LLQOrk z?tz34UD`N!}(#~L7sL@$Pj-G{~#GWPKE@5_cUY3e4?_g$S zMek#RCuS5pR2~9o`Ut3BnC%yS7dq!rbp#aRN+5YNT9HqXJiu8JPU2rHuK;ccY<-@L@M-W>*Xc}yeW+$hcG^%$PcsnX#Kmn=Uv;K{*iwyIGS{n z4eDK;0$tiBZwGJM!1bhaQ4aWS{t5E)x(XNB!Jl%n5IB^M&8|wp-9QQ>vmLLqyOkxEea}J$P+l z9y&Y)I1inS8K8~Wow|=G7*94&;H}hxxgzFxruH|L*UV@kpTX9E+B+r18n_B=pHa~B z(B225;4pb}vjGI$bAP*(TV)cCSB^R)OFynpktX)wOIIN5(d>NtKL@SoRkdAQFL?Lm_xX4I4yXYgj1 z_;l*$f?Ae;rha#UdK~aCv9!E+0Psl3aG1R}gBm@W7i1r(zkjAwGU3)$cgUpG9{hF& zyb*2(@q_TuQ~ncIPUy?I9TpVtCh^au_}&sb;W+0vA@3cO*A#5q!Z>$a&&#i#TLAL_ zAUqZdJK*~fy`z1RVC)8^Vv_Aq$tW1hi7 z`wo7-1Yg|8bkmmOS%d^%s72yMO!_~a`^Q>n|Hv0BC|m7e@Yu(Er173F!EztdP5YRK z!WR^Hu~%{IV|Ikt$LwWY*vFg|=gvsZ*2Ss(zK<#4eSb%T*9h6;g&b}xw6oRud$fH_ z9@Rue@7qR)QS=;graGmMf_FIy^Oe(b;MAtJFDdBZUcv&@^fU{r&l+B0j7GOxqD|qo zo(kUgF)_uYMf<0iY&*6Tf-xnbu4 zw9Bsvu79!3ioWIoV^n>2THvl`Cwr-)m;0Ep*=4dAw_WA7su+t3mY~#SSBFbnl^pKU zM*W#F$$5J!x5G;eIe7&S1-7i$`b1xOJwufnVIdZ$%N-kC6TLSJxLguE&+O4b)P5-U z7Pr%E&nr@}P-x6{@@d#NV|Kvz&y4oOR6Egs7?aHs9DlSDZ&*uu3Geb@eesU=sT%Ft zy@%1S^$CWrIjo|O5CjWD!4u{>pEW(4_Mn=N`=1e}WzMQxxN2Ak6}ZRD98JbY4TBLdx-u_v(vmPYvIPA50M#G*Qz_c&E=5O?3V)bN77|zIE$5R!WcV zjEO!yuz#=Xt)?FPx_Mkg*@4|}b)Pt*!7IVPC^tQ?3Zb8OuJHT5Ju=5KX@TlO{ z1{yq447ZCSd^1g7@Hsh}&$=plvHionr&8=mTw5efX}*$#2fkGdS*e90@Kv2si?xnv zg1=kCPwj3o#ig2bDKRDP;h*8|O89iU_EC86R8`}V<>*wxL4H8$aNP#{=QUh9$f&_Y zV*~d_FFVLrP(PQ{qI~5bFR6!vyu@B~kWbXEowC}sgS@QK(m@t7ExM0gI>;O0=D`la zM;+u77gi`f6I(iyJrpi~eqsYo4l=pBgDk7u9pq{34F~zUvAMawZIZuxl%hTP_T`{) zg|8FxbUQv3UbNf$(?f2UI4ReC?npEncnXvTX&ZG>!>3WV!eS}m zBgRSoLzFy)Y?N3P|2-(plW4FK!lsH3&{Qnc0XEA)dDkdi2!#iK>JL$F{cIt%^}!GQ z&|_W4&Rh2l;1lnQ{;e9e-V;js|0$ec%l@t!}rgudX@mH(9j2J8x zM$^+7gi?y$F;W3N0zvO#@bTqAoO#K98ieOjI~BjJJLqm93?DgI?yY3|z_w|yntHL}7!IGKlRXUX+ol3M zLUnZT^CkG=wkaj=JDfs<1Yf8{vTV_OaQ|2f-6zh=6_l;^Ft~4B?qihbL3AkN#SqpbC|=}B?kCMcL>k~!ex`lo;oj}88p%}S2L+Q=u{r|;43 z3&cv3QPO)%5Im4Rwb%mAn=kk+{e*8H+pFOIplMAVa$LO#YQzC^Kvga3+HML+b>raM zpy8sbRGU-1ZiD~>45omhkL@LoQI(bO2i1>()vf1$u05_r2;8nvOsGT96+p4op;0A$ z%GtR2Ywh%y%lU#!!x; zxHVcI1@F7JhMSe@1A`Q1-mK>)9}Zb6HfVbEUD*6y(K{%Qt|iB?q8FRWunAnKMit|! zuS=?b7$0rBl_B9FvZJczM(-;&Rn>f0+nnW^E#ZmRX00waJD>T=L&5i5Gg+>JzmN+c z-}}LBXZ4gj%b2oUb&7Hi%d5ae#>439b9%5wpk@WaG6u*FDkOZT84MreFyQ%W?X!wtQc@j%JN2j1y@J=823e}#=4bv!j48Dzj zo?|Z>Gc;zKyt+%(_o748)MHN+$U<+2GsBK-WdjV)jS?#9S|um&f=?Ctr?yERoHv@j@(eI2dKeF-&Ei5I z1>fcH1c(7Zq#Rf>f$wG|eF~L_}cEmGl*kqxVkH*J@p| zQNkVLm!!EHj_1o~IpWzsH(PFEH^QDQ)s`(roK70q&d~jT=uXA^Q`OuH7 z&h+9kb10b~Ton_!g(Q0={aRQaL5^g?EAK<7ujIJeGCqlfV{9hgh?R0m;=Kg*_25ef zxba3+PtpsMr~AjU7zJ089*i8QcyZGE(WudpvAo4Wy^H5nCPV2Ryj23j0fm(Vyt`h4 z`sO90#`LpA7zMo2f0ETaEPlp+x_~EM2#*SG8QZaVsj9`y97-utSKFSd#3+?j^rsg9 za3e6Uq;f8Wa5$+ci_*&l__SaCD7=5Sv2`%Mn>gcoKWphiJ+>Z~*o$XeXX+A4ymSe4S)=6{*I8z+ysNZ49amgz8Gp=dujWe$6#^(8q>k*0<+kR%80{mv)3d>XIQ`jb^#lngH z--WhRv>bPCCfc6`tuqmSX7if%8o6)xJp-F)pbX-%m%!s5KfyQp{cDs1zJ0~FV%X+M>_F*nDb`=jUtc5w@DhMcnEQJO!@a0Y~KO%Th&=Dt7e( z+2cK5QL&x+>EWv%q&~&3o+&Q{uzr+gs?k$IShEW{6~p>+)U*YE@x`ENnzr>;H)5uB z=!dhuUGNbyjo2PDZ4yOrkC`UGJ!V=5Z|d}rX=imt#I!T<2$&|Qd%QG3-NU7I@QY3# z4DZSsDFy~_;gOR7GbEbvQAmfS#}J8Lg8KkI3gtIS!#>Tt+*QnEp2{Pg7!~p2EJRc7 z(0+1rhW0Pnq0d);(2K`56uY0WoCOHz1x0(zj?VjIDRE!P78QH3b8t~K>8QlsOJ!>v zj#BH6DHfiaOog}Z==gA}h-QK-W*92_tZB^&mWh|;3gXFcB$j(JSj?*|*m5(ZSPh5w zn|zg@lehXJZ{&9HpF6pL4>1uv0Pe4%7w|5=g^7^g2F7ZCQ%6#_%Z#ZgYR2@4Rf2i7 zlDAt$yGbds;ZmX{r^-$lt8h?dGr|%UT1j2tnZX8>)chvdRYhGGlQ>A~%7w>U0mdYc zWyr~<{M@KQVgGC+CBNB#- zq%PGmf`}3>;a!;;P39ny^b)>{ui5YzTqwh7$1~8tncDF)&h6ZH{tElQ65?Fqo~`^U zQi_<>7=Quhi_{c`8qbtfAwC73c}Z{xh5?18kib_vS++g&gjwXQq{gDlP|cE>N87M! zBz0kbz6ld0bsy{#b+Q^P=Kv<|L7#A!?4KWv8dH%cu2b(|tQm#7b_2Xm05DtZ=Kl}s zZK%`gCcHdJv%GEP#sU->Ed5+Q^Nujku2O)LC)!Rapctl0L)!o^u(NB? z8o*$S@K7`Y6C*lXJ*(E9XMtgEvL729_KXXE3<@vkGXwN`tLSUnw+xCNeTE_NG(E-$ zBY~)@ONN`59@fJcC5FMo7B%P4#hhxT0*(n-++2}O0dy~07^gS56$P05y zVa0HBnrt0K(B1F?5qSQ0$qJ~6}=(T*t*oT7Ir@n(ghXK;yBs)9$)vyZIgz^ryH?TMgI zFl11-13t`U!64UrHdM=;APOpsOwq=F(zzf^b{L&nff^XvDW2u<@mJacKAh&-Ev>1cL@swE=reJYdP;K`cN3zxGH)~#tdns;8-PSBP%&DF5~KplxUbQLD3g~Mv1Gs z++(Po=@ncJ;TG*MKC+CXZRjWs>Tb0uc;8Us6BjrH1HP%l*zlH#TqbgWFn1<{2Vc()+>yELAD27~}wl zIk2r|qM&G6cudv48Zqn#hX0L!dBGtOy$C4G@M^Ly@GzQFE9n!w30}I8^qGcJiW*)b z(?;kvk%HtV0S~Rp+?Zo_;RE8iTO6|sRzv-HF z!BH@Gd#7~T?tZA|Vn8-us%mx@(ZQWl&F&I|ozGpg!!u^6d8GB3QwoxQGbgjc)U;^b zVi`uzD$Pnu9HDD+B#t}NE4Z3^pgdCqO;e9Ctxd3cZnx9uLBLjbArI zlT(xL^u^Nxo8*jL5s4VHAV0133l53ci>Tc7w(46j+y(rwDCrpq-NCZf^t|0~vuZ2F zASV#6f_yQ4Drkxf_b7Zjb2P`{1rHav(J`Ij!JIP5*ZpAgskF}pE!ISIA*bHWF=h*v zj6Dqz23RtT?|(2DI9N+j;OVHprpN_J2aHXdm4sf56rPQ-a zU%huFm6NmvPdstV3eJ-bvnAjY2u2qQoU0`w6ox~M@_*Yf)L;voIpBv$DGJ07;auN7H~Q?#b~Oypf$ky7r4tTHGsj{(s-!4 zD8!h6xfM^dM{!8R;K*=)Vm$X)cFlTp3tk0C+etMlk!7EI+o*Z#gdxp4^)5t$Z`y`B zH!fEFTYpin`!{dS@u-rxjKY#8%Iin%3o&B#AgSYMI5^ zE;uA&3={^Aa#5A-eXPNo6GMY%uHgQFkF8z7fc4KZ#>`PtVL~ROOR8{NO;ja?jQ_cy z=tF@6?5d*2fH0K{te{UOpS#OWk3ULF11;$bBY&19MV~XnqiTIPrt(6c!fmrqbW2GF zVVA;GVN`mfzZFkqjmrw*_yvp8eUYyPea$Nb&jLcy2);;4angDprPUmxH1j!E;N_Xj zGa)@lK|IFSPQ1&IV5UuL0ht~gqn%ie(eA{^vbu%Ov^6yy@J+R53UaG|A}5$xzM?t6 z-GAkg@J)&}hK7HXVt9(e6E8*2h;*Kgy`T>m$!#~W!+VR{qs0ru#(T7uI*dkAaOsh!~c8%J|?V|t=K6BjTjse9(<__4vCmf zulTz6K=cN7M+5VrS#-Q5hSkX}B1M3BRDXIW-epMeO=RRT_`DA`a3{X7>=+Do$7!~g zwW$D)l4+C=g-7ib;@I5dJeQRuCRb}49uq@@V}fs9fTXX?kdqZX5Beg9htx6Ij+uUa%&QMY*O@?VsfDo+u_3~k%(iQVXER@ zh(y4IK|35xJ6iql)LeTTZ!q6Se!11)2%{xB@h(GxZ@9UV)t5WB`XGL!)kj%BM)i3p zXb!}t8@f6l8O9R>;mn{8CPmM4iGP;UNYDoca0^qxz1U6 z*V0~f_+dW_#E=Ag&`%B4B{|C+2L8m*;Iyh^*7POAv~-F-RBm%5t&u|Pf`6jLy3LTD zLQrI~L^~DGKYBVox=SXe(n23th6-AI^@K*nY{t;4JM}I^g4@eW%qkZ?yQIFjvY5~^ zAoRlecbELqe&=h!Vka#(<(YZVI|lOY@E&axu$zT$$NNFQ5A%RHMJm7N!8%vWJZ(Ks!0a5Bg>XqbSKB0DBOk;8h`LYYjD{s4VZtY zx=G_c5#(bc@XS1tnIDp`9apn|K8D~K`<1q6jTB-R#E=zj zp%8+S@mp5z4jZ-GUCZ8iFw}O@ha=1>dd~#wEqCFWo}tGW zeq_Lp!*+q_EqQDKI_^_JjTRpI}!`X!iaDTzv)YOl*WG`+kJPy-1 zvp{vkpD!WC%n!Mh36vyw(k2gOgIHe#|!MrAgbQ^Ix=0I^(YXVQX~6j~&68KecRu=b{vcyd>MM zJ9FKVMLAd7t$#CB6bx-%NY)(Qqgpg9B}a(NWw=mIa;OV4dE3oBN!&&r`j=a1&Brk< zErHab9Xdv@b&wqDP`H^8MiL;Wxa-$Z)I=PC}jd(j??*Ub&;NeiFouyErMaD`y$Dwe31g3>%^_ zfNszTSAVdg*omX}YbomHd@|tCl-4d(XfGAqByc=_lZa#AC*_iY=1_?7)!g*eYGhp2 z8%AKxtGx_TkDY{_x=WGpo9H3qvE7VL{MepQFHG$Tb;PdSu_-ij5HWUzB*)kmk{om< zL(3AlBSvFN#AwWEd#y0+lZCC4JmX8O8Z(TI<9|-wrAYVL3+WHykTxh#B^E^YRe!fI22-w9PH^96(q-*P4@ zg@5ms{N?y9*N{JdOa&FeWleqrKv<$L#&8kjOb=7iI*7}e3aEO2|8*@+V_q3**BDys8k=IXFeSakO>xe0)%X-wkxHxLJzIyi{cH_3kg;f}& zg(2P^2xMSQ)#Qr^0V}!=@6ik-e2U+(!Jn_;7eg8};d=xEDMZ3ADcy7U4gMb&#(Gh&IWWCp-;D17;ScB%kd~Z+cc2`MqNGEbc#XlA07YIEcq0fV? zs^|hO1^PCdgPhO#w|p-fd9O^#6^8Hx-|JHOsM{Ulhp{Km*y~6h*#R`tiutUF)O4Bsvt0Zr9li)|*#>1% ziTO+XqA2*f-a6f)ibKwRnSWQcqE{V#N}MEgPzXJgT}p5gPeXZoe{mklOvS}13rCV*z|0RLk2y{x2Z}M^IS^xaRB))>QO2)IRu_eeaN|@L<@sFL zEI52N)qATs0wYSeq7jkNSJ-c)C`RyYIankIrmE7?a!C%J8^^fdV1H-~Mz4_wKEG>u zRuzH)NKMqO?|3oI6kD zaKy2%Ne(8N;o}^QD0E7_s*DmPYQsFzHD+BKbQsu6N$ZwlZn3tN3MFx^T+|;1A*O)E zr{R@xp5iH`C4YzP=N0xXue(aEVSGW0kTe4PFj#|9&N1)>1MExXc*l^t6Pg3&2wF{l z9IgnkqN}Qo;!sNo4~|XLTE{*4hSDMO(NS9Hz*hpihof|m9KveF(1Dg#my}^+v}I0~ zH0FU5M_M5C1c5fkP`Nlk{MgCUo{V!R?{N6t&T~DP;eXrScwzz_39s2WUZoxIy>6Ap z9c{Rie9jEqj^I?@5&dXfFr3?v6ABMwW5~ZT7@rFu@S_jAR8lx^MFzm3C zU75p@VPumGFB^Y|tvK-2S_)Ey7(@IdDqVxvCIx4XNg)+p?DG#qZiG3f$tSA;*f!Ie zf$i{uk;^+P1O9e{!#FgpV+wk@acJ(NnCZs$i9wD(zO3+EphZEvPwN>WR+R)(&oVlP zEJ<;wq0XBE-s_@xUy-?0R8b7u!_-`ggW)^etaazWx&(g@WYIpnrB=$K@WhD4X(0*) zo0^N}poh-rEQ+IWc6Ey~3h#m&T?SLSqOa%*ayQh*g;wlqrCMDG^U2K8B#C^b1$ zg9*}|B@z*Mn`!aA_;$yH#rJYC!9}7$Avt1u-|IC;HhlVKHAm*%niMogp>HscjE)#1 zR*F&xJ(PblADNnqL;1%>Uf|s`u4yM9>v;RVUcupx*Oq=f_``` z=|J?J#RxMDh;rg+V+!k0ObbNd4xKYXRB7>)Q1>V}N_!)lN}Q@UOm)F=bFwaAre@gw zx}enFQWRYfbJ&`&;Ao+-!h)kP5oYlkQJDp>R)v4yYgjsJx-zm18J;af4n6g07@Lb1 z(Uj6$#u>{+tKb*~J;;w)T1G=O=k(2bq$GtHLllk4m|+@`Yv6y4AcRQxC8c{V@4^4$g53UbR~3EHxiYh`TCb!rbq_|hf>##O z64mc;5iV_LFHUw7)^3{JqDA4r6-IlN#qe4|;u|>0!2A%kS@x2n9XfieG*cWp8a;m+ z)QKk8-zH(ss#*s$K;R{Ir2|G_V1^x~gXEB|PxP=nSJjQNqHiy%i&>86m6{`EgC*Z; zjvPI&planLhmMqsu9b~$AS}Q{5_pcUOM@I54`Xjh(gW-jLB`Wj4 zxavOT3e0OygG?gEv@1m^gqla;pB1`w5Bf78kJ+?jojdvPXYh3^Q`-r6Ejfgw;S6=c z)aM7HcNEK)flL84a}dFFW2s6GW})^>AZi7NZ}FPEkA8uuff2p5sK7+zNfv+3RM4i< zmD333#pW4;Lhw|s#4cvd*+V{-BoT?$aq&eVbCqD8~ zi0y9Pgcw_aLX=!`T;LZF$~6Sp@CqJ!?@zc$9CWynXZJ- z01qJv(<_JePCLtoaZ-QVWG$Kql?%~V@tJsh>*-55tHxE}g)~t*c&2|i$W{#xjTqZos3t?R z%T9419`6(mjL;{}onq{(@!e}&sEVmSlqlz69*IZhN{^ZYR++bU!NE(X+d3y2SaPWQ zh}>FDiv}+3BI5#aEN4PFh0yC9qk)9-*gDrQS#|QU{xS6vC#DYHOJ*VyTJL9i!0R^p zB%HS*9aC#61jB!0+O*(cG=5%$(}>ET+!Mz*Ts!Net~b%0ZvABvxL1$c@8BXwWhwtVtmqdi@c=RCLU1*iFjD22&04%ZYG_MSxF(gR*AR2@r}3^qaNN9%JRd&hnEgS7>TY9>Iq6Uq2tE0rNc5!Dkmg^?D*3~wH;Hyq0cq7OfVwS!4*&XU@-J0`&inuCYejB~Fzn8n%B zt~hZp@)R@eavC{tFd|e7m*_PI@3rtWKygG~M=@1%VCoAebvsA$*6^`|;z*3OTNWId zkve8|$3~RkkU40I;qAYmTfZ=HUa<Vhjusv3{j5DyG7_mWWjhUb@Ka$c~ zaj461p=$XOurCB)pnA4QCge;3>7(u@DHEZ zKX7n%1^IJHE>+M6XG`+q;B1M$d~kLm_smG!6058Z&X(0$ADo?)sLVI%)(2-B<#w($ zC?9`6I6Jc$zWJ%^gR?VbZ;wj{XQb{2XRoNWrTMzCrrda>)M9f2@n&OH0XGx6ZHqw8KS`l9*`E8$nZDJ6KK|Rg!ya_lVc8>kS zlmoGS(k^g(mIK|t+@IJ}%CmoS&;Df1vwz*Hm%|Ng#Kbpp`_Gok&TUIo#V}$l=4SXm zUy~m>PBOC-ox#sL*c{0{cEGOq1tm`G9my#M&2knckWK8BHQULjm*nu^rz|i5lXHKn zd|CP=a;A@iiFD|Hba%topyy@m-4kf0I(0huas|fULFf54l$Xl4V*PPE%_}*z#wn{! z=A+4<;5!&sFHuKsYrt4O6Te*&Z{611Bzo~N4)BMw&Rz6N#~@aX30O=(EymL12r%Q#H!`6RPlO#E&L=3PL6}@$Q85R^hb7qI)2mHn0a4qnm zE*Z`C34c&+LD2b5{Bb z3hW<|4@hg^yPT5>?xx^l;J*R>^WHNBxc5w-+I43kq%zt(OzfGO@vRK47+)kgFOpz1 z#B;qhyglK}Zsq&0s4s5gHsU=!k7$>6##wnDJ}|u#3l1i;NJl4z(O0a|RYPxWX=`Ou zaLTh&4|u+YKU@h8Tt0<5D)E1!e=vpX3ISZ1qf#maOA2nR>JQvDt~pvoA22!cZmWV< zQ{n!q<`Z(}t+j2i`w}roMF+#Okgz;t1ApKGt24KD;$R5U34KH}IfndCDaq<#r3!zX{ABf9WH{HP zs>gkX;!>5xOZwS2CYos-;a;g?BwS6Um_HcJ`_fdpn}9W-8DZJ))MGk9&k4B<@EF4| z@3Hzya@$-TI7c1chlGTWu^Snb&S`o9AM&%u$4*Kg<^YA;spuVBrE2{d*qIS>JG}P+ zK`)02Mv`NQVp)yA+<|}DsN$mu@CAb^J~5Vl5zWV26D88(KGXYl0Ej_f6uiXZV@gU+ z;bD(4ik@CuIr>D0b8RquHX@rt$hkR>2zt59MIc&(v5H%?522M~40pa5_gv>mr)5eynWt?MenOzpG-fWQCv`%S9K_msMk7?(imx>Jfk5N1T)+;c6r@Vs%ZY zktnYc`IaxWMZDOlyZAzfJKF)?wW-a#O9Q;OouC$zi8YmHvPPD{coa3dq3JOk1^ifg zVXeo7oXod1PAbdX68O?d(L1gvscQPtCS|3Mgpcuw9>KTnQa(&RXG&D^xxP8C=`jbu zE)I$wUQlFCCrN)FBOhF7`H7*BQc(1%@RfTt80xkAD{e1~Lp^)&_>vPn_M1xi@Ru#i@lmdU}RTd-YWvfJ9^h{CJG8?RD zav~s{pCzk7q2SVTQ1k-cH+3Xj&11ZBjPa*Uit|NgrcY$@#GSh9U%8W;4=G(A1@Ddy zJQ_YvSM(Cz2f8OjFDme@uuqzUNf>xzRdFzH1vi*90-7aLwboLU@@{Kl+7aEPiJn_r zA!4o3c#SBADc={>DOizCh^{rKN1qm2OAfj87&yC(KqZTEhEe~6QAN?bVbV%fl;W6= ziZ_329m|Z@eH7+*C?`ZO%JcloIL+ZREpMwiBHx_YMRlTY+gJ+@tUSE)tT+;1iMjfo-(9RG4T$ z>c&Stk*~3(3JwbtJat_gSl8P{9L2%Q8;oJA5X{PDvTjNk*vWXi;wTkVY{) z`*upMib@P}lNVYuj4Wf*D~`-}0I_P0F(^+QZhwK$qcxaVn94|w)}t1IJNh{_>tLrI zW?bxk+&){x3bJ^|iPS0#*oQ^uYTUdf#Sy;wbn^iIN+<2Zh;N8NK@L^#&?|DEX z8GkflFTpZ>Zs6S%Q4`zF)LK%5b5#_Fvapx}rsy_n@hJI}OBDrcDRKiw0WcHK>~RE! zBwRGJg)74Wp%D=VR!i3{wU(lkg_RlYpz0>&%eUsyNkn39Iu|tpeZVv3jH*tqjJF-M z){HpJKq5+O$syaiW{-K%>!Nt`sHUWfVo>eMP+otMgHJV?vsrWSiU6vr5#IAtCoRh3 z^VC_Z&JhX*ZZ4{xibGnGv9!HAT@-AX*fP+|q7ri_7u`b~?PyFyT2!&Al&HJsl-@&d zD1@Gb5@VKyi<8igjhyc>_;jU{k9onP127AGhxd5_6EY7XPV{XwSDqs#!O-?T6C>mc zj?jNX?Z!lFS0X&)aODXx4&#L=*(U?@VRC+uI=~c&ZPAlO;Un7S;Y*I>Xx=)_k=clO zp*05#ckPwdQq29xk>7VX#w3*>((A@W~;w}V}2zY^fzFnMw`q+ zl&4>__?#Fo+$39wVm~UmYL0;Z=dIBkjJAKr>)MKgY3Q0gEIBg1{@l3_L_y(m&HM0{ zqNMjW29nf4A@m5#Oit=gBdmqNK98^p1^85^lXo~HEM-OkABg^aP1}~Pf`cQ5D`UzB zVl0e;LoJLo@P>gdiaGz#{~nSLvc<5}Xi3}P5?R7)KS8X;HtEw-0wE#0lsL2?N5$=1LFhop&|e4Brw@P4NSBB)NM#ucu^7FTLDC;xA9<~p6U$ECzXk@J zX^U5f?|R7^Wtr0nhj` z31rQ|=P$f{q&R#t<+4UF@n_8oQGqeG^FkD}e=}9EMlh?34O$dmZ)NK=2V;LEHsen; zrQ(odwYX$baH1$?4d?s6P(@M9xVG%XXyxcwtIlzpDt{+lRjii`O;Vr#}|Ml)ipRo;Iae&{4{YV|?B zI8|Gab$CAsl<<*_t;3(M;g?SWS?GQQCxuA(1)U=|mEnjE_I>9?!H3SJ1-u#Xy-P6! z1-&OpuhbJKhXdYE4p;5?Vsz-ttckLea)W+rc?0dNRcWWod^|be{nS~|%f7}0*?a{r z%dyro5O!1rS*Cn{*%Oph`wz* zX+)vzZ#9C`2G2rOb=a3{STq1;^g=UBAquk=7}=AEC`{bD;HYraOP1q>2xczHMsYA) zIxMxQn@n!c-ofhqB=0dn1M-a-7+xMs&vdA3P>j$zb=)HkzY7;H`&7$M%xokW-51{$&dWY-+bv`|9S9E@zi z>_HmA_d!Ce(&kqF16H8j2@!ke6#{703+TQPiJs5x?q3=b(A zMR6#@44vI`y`Cj*_7`l7y3l{21u*mr9e5L~q@+3UVR)BSb6^+;276IjOAfW;5%`oU z=%TP#V`W+t#Ry&aaGImSXW(rQ$>A7r)<)gW6o)q4;F3DsLzq9p^CGS)$_Lu$b%7{u zGiikmN|f5Cuv;=f`B@n&>pTty0%rKBUyqrdfy1h9IoG!N!=gI8Mi_rX&{|6l^_B@{ zx{12aIqp`L#b-V2Gs&S4dNM*A@%_<*6S}`?X%09M?BrwO2o)xLI^bi1K(FTAc*($% z#L6&=ii6KWU^@to_NpmjK?{O|&zCGdVwyOHsV6wjlOWU1nLwv%7TBhVlG{TLr2-Eu zEhiSK0{RPYv1k<}$IW0%-g%zh3I~kC=yg$Og%+?{6@~AGx!7tBj6=`(lZvCXVEjdM z6bu?aYu!1xzr?pjsydQG-N-E5mDI{P=Kf;tKUow{|Cz~26{R?2QE&$sPg@s-AziBK zS&YZboEtuq0Z17UzI_6{}E3=K^|rTncqW>K^Jy zb)X)&Xdr%c#2)Hse<1eJp*U{LA#4v^q=fZQM_QQRkfDwm^B(HxiA_0&IwE@yb)>4^ zLmdso9O`H}>MoDkt*_oah~2r0}eW4hH4IUOKXzR9GDV#3tMwAo<4*5Dh^n9dDZABmuc^HtE0zZ3g*ls5!|*6 zS&Kr+*|Zs7aTM+;O?_b)@`6KJ*I3(~&q87|%N_NOe+vYh%DUnRHJ4_|N(2LRSf^Xx z!7hc;y7gVc#K4<3sydQm&NGpx2g9eL(h8ww25;I9(8ZbI$41`m^-ezK{lE-~R>3*% z8%87R@V)Ytrm`<*`ZngEY0XX}TEW2(n}2r!N-TC&4)s3p1~F4 zb;~e-olCRUox{NabulkEV9YXTj;yERkTZ)nGzYBKn%S$cTxdix0TXsTE0_2(kyq`r zXfh%){5>wwibEmvsAY7bRG++V?&M?CIPRxm1HPBcC-WiuGd>3#6njaN`yg#AMHC%$fsBI&*Dl4w&$@+4h3NVcDpGeNG~n z_1&wl!5_12%OK*qf_$qJqw|`>2YmJ77940@UgA-RkoR==Qj-!+GJlaFg7&g}qT0zj zoL5p9%RwV7_qX8D4@B<~Hl%hR?99O~&vct~(G&tUoXHD>=VdIrKm-h{8W)9!$~;Sp z!jt3kEvGq{y3BDQR~(hIV9^LZrSU-xykkh;Kf-!BvJKrOryp) zXR@A(Lk=PyH+b1EH}9Oe8{Gm?xiza>2F62f?~9byeE;skLhIO4xLd8Y211i8mR({3m4I&rrE(|_dw-&LxG(UOaT(_U|n zvIk3KWR0VxMlPi-{3i|~@EsXnNVbgPkVbW4T-H={J;%tDIw*u5vb@L-u`0?X z779C-WQLY9We|%gAv^)G7kortglC0sHs_yO%oXJ(MSnh}vV*+WIU8=^l>^>NjyLq* zODt!4z+n?-PoH1FD`sz>G`(fU5C->E2!^-FA*qrXy$Dlp)*O6B!YCbz!xd+n-6lCa z@9EKXkqB<;TDK5|euM755S19FgYL5AfKBX8s+xlq1&r?lG2CUrq1@$^`2tFPE6dxC z&6k%5IDfL+iHAV6P~A3ZtzjbYrlL_=bJxA)rk7eP4t2qm1EXYJ6yN1DCxR-9_KsJ5 zuRX-2Z6ljBabz>9e%8uK4rz46(i|b(K#BJ&7UKe5Z;ICFw&pd?cGW{^4b#dsk5Ovf zkHQs)Lg>*A&zp%P9~s?@1jVEYoqX)*F;xU@t$z;ROD3Zt!B6N~S1!Mp$)aqVM5G1ifgT%6Bl{oyBd34t8^46@u~n zL)HlHJ~N4rM#Nxvvri+K3YYVos3Wr)*|yy(Drs8^i)d6W6^F`0!t3gJQBNKz7Jp~7 z4)ArEgkI|qVULDcROg7iCSvucM4w_1L8rBr95?49lAO3^2d#9=Gas!+6lMT$y4P4n z^ejnt8+4BCnw&z^is_ykUP6>Ju~0`1tRg-C@&fSMt*HxrECCM#?2{q46~oK zMNg_$uzFWHqKFt1)Xb610-_)dqgp7U1<8(D&tFu@_O&Nt?sCHQHR9#kCyJxY^3 zR2+Zy@C|gL;LSH!Bnr;q!9>A%depE?6l`*|&;HFn`{&PJzu(`KaP#Wjmru8^KHvWR z_U_ex`ts)cr`yl>-(LOm=l}Zpl}ms7>zBXYzWNXU`CneWetZA7+aI@gZ{B~qef59- z_b=Z+zx|ti^_K?kfBxn5_aD#xRO_?<>&q^;``4d-`FMNt>_2|_{`tOTOnCMumm21u YzP-77|MmX+r<-U0KSq3V!isMJ0Ngbmf&c&j diff --git a/übung_1/agt_übung_1.tex b/übung_1/agt_übung_1.tex index 68cf296..8d4d35d 100644 --- a/übung_1/agt_übung_1.tex +++ b/übung_1/agt_übung_1.tex @@ -42,9 +42,7 @@ Falsch, siehe \autoref{fig:msb}. Wenn $w(e) \in \set{1, 2, 3}$ für alle $e \in E$, dann ist jeder minimale Spannbaum von $G$ ein Tiefensuchbaum mit Quelle $s$. \end{quote} -Sei $w(e) = 1$ für -alle $e \in E$ so gilt das Gegenbeispiel von oben. Also ist die Aussage -falsch. +Gegenbeispiel siehe Foto \points{2} \end{tasks} @@ -114,7 +112,7 @@ falsch. Der Algorithmus kann aufgrund der Struktur des Graphens (kein Multigraph, keine Selbstkanten) nur Kreise der Länge mindestens 3 finden. - Jeder Knoten wird nur einmal in die Queue eingefügt und nur einmal herasgenommen. + Jeder Knoten wird nur einmal in die Queue eingefügt und nur einmal herausgenommen. Somit läuft der Algorithmus in $\Oh(\abs{V})$. \points{2} @@ -166,7 +164,7 @@ Wir modellieren das Problem als gerichteten Graph. Die Aufgaben sind Knoten. Jede Aufgabe hat Kanten zu den Aufgaben, die von ihr abhängen. -Eine Reihenfolge können wir Mithilfe einer Topologischen Sortierung finden. +Eine Reihenfolge können wir mithilfe einer Topologischen Sortierung finden. \points{3}