From 9add249b471df114c775381f82ccecdc2c9d0ee5 Mon Sep 17 00:00:00 2001 From: Never Gude Date: Fri, 17 Apr 2026 18:50:33 +0200 Subject: [PATCH] stuff --- übung_1/ads_übung_1.aux | 8 ++--- übung_1/ads_übung_1.fdb_latexmk | 10 +++--- übung_1/ads_übung_1.fls | 4 +-- übung_1/ads_übung_1.log | 54 +++++++++++++++++--------------- übung_1/ads_übung_1.pdf | Bin 28941 -> 37194 bytes übung_1/ads_übung_1.synctex.gz | Bin 6712 -> 10657 bytes übung_1/ads_übung_1.tex | 36 ++++++++++++++++++++- 7 files changed, 74 insertions(+), 38 deletions(-) diff --git a/übung_1/ads_übung_1.aux b/übung_1/ads_übung_1.aux index 78d52e6..891efca 100644 --- a/übung_1/ads_übung_1.aux +++ b/übung_1/ads_übung_1.aux @@ -7,14 +7,14 @@ \providecommand\HyField@AuxAddToFields[1]{} \providecommand\HyField@AuxAddToCoFields[2]{} \providecommand\BKM@entry[2]{} -\BKM@entry{id=1,dest={73656374696F6E2E31},srcline={11},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542FFC62756E675F312F6164735FFC62756E675F312E746578}}{5C3337365C3337375C303030535C303030705C303030615C3030306E5C3030306E5C303030625C3030305C3334345C303030755C3030306D5C303030655C3030305C3034305C3030305C3034365C3030305C3034305C303030425C303030725C303030655C303030695C303030745C303030655C3030306E5C303030735C303030755C303030635C303030685C30303065} -\BKM@entry{id=2,dest={73656374696F6E2E32},srcline={46},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542FFC62756E675F312F6164735FFC62756E675F312E746578}}{5C3337365C3337375C3030304B5C303030725C303030655C303030695C303030735C303030735C303030755C303030635C303030685C30303065} -\BKM@entry{id=3,dest={73656374696F6E2E33},srcline={48},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542FFC62756E675F312F6164735FFC62756E675F312E746578}}{5C3337365C3337375C303030455C303030755C3030306C5C303030655C303030725C303030775C303030655C303030675C30303065} -\BKM@entry{id=4,dest={73656374696F6E2E34},srcline={50},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542FFC62756E675F312F6164735FFC62756E675F312E746578}}{5C3337365C3337375C303030475C303030725C303030615C303030705C303030685C3030306D5C3030306F5C303030645C303030655C3030306C5C3030306C5C303030695C303030655C303030725C303030755C3030306E5C30303067} +\BKM@entry{id=1,dest={73656374696F6E2E31},srcline={11},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6164735FFC62756E675F312E746578}}{5C3337365C3337375C303030535C303030705C303030615C3030306E5C3030306E5C303030625C3030305C3334345C303030755C3030306D5C303030655C3030305C3034305C3030305C3034365C3030305C3034305C303030425C303030725C303030655C303030695C303030745C303030655C3030306E5C303030735C303030755C303030635C303030685C30303065} +\BKM@entry{id=2,dest={73656374696F6E2E32},srcline={48},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6164735FFC62756E675F312E746578}}{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={82},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6164735FFC62756E675F312E746578}}{5C3337365C3337375C303030455C303030755C3030306C5C303030655C303030725C303030775C303030655C303030675C30303065} +\BKM@entry{id=4,dest={73656374696F6E2E34},srcline={84},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6164735FFC62756E675F312E746578}}{5C3337365C3337375C303030475C303030725C303030615C303030705C303030685C3030306D5C3030306F5C303030645C303030655C3030306C5C3030306C5C303030695C303030655C303030725C303030755C3030306E5C30303067} \@writefile{toc}{\contentsline {section}{\numberline {2}Kreissuche}{2}{section.2}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {3}Eulerwege}{2}{section.3}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {4}Graphmodellierung}{2}{section.4}\protected@file@percent } diff --git a/übung_1/ads_übung_1.fdb_latexmk b/übung_1/ads_übung_1.fdb_latexmk index a8a3560..5702dc2 100644 --- a/übung_1/ads_übung_1.fdb_latexmk +++ b/übung_1/ads_übung_1.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["lualatex"] 1776429127.59187 "/home/never/Documents/InNa/26_SoSe/AGT/übung_1/ads_übung_1.tex" "ads_übung_1.pdf" "ads_übung_1" 1776429129.32904 0 +["lualatex"] 1776444596.07125 "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/ads_übung_1.tex" "ads_übung_1.pdf" "ads_übung_1" 1776444597.83098 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 "" @@ -15,9 +15,9 @@ "/home/never/.texlive2025/texmf-var/luatex-cache/generic/fonts/otl/texgyrepagella-bolditalic.luc" 1770519351.48314 287795 ed687cb1567d94bda5cbe1fed2b3c16f "" "/home/never/.texlive2025/texmf-var/luatex-cache/generic/fonts/otl/texgyrepagella-italic.luc" 1770519351.66314 311419 4669f621992c404aa0dd607e5c91d78e "" "/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" 1773860011.04193 13886 5a3d416f4cb92d8148290ed2ca79d260 "" + "/home/never/.texlive2025/texmf-var/luatex-cache/generic/names/luaotfload-lookup-cache.luc" 1776432052.69097 13985 da06d8f141c43ff8d6d3c43ef2d76d88 "" "/home/never/.texlive2025/texmf-var/luatex-cache/generic/names/luaotfload-names.luc.gz" 1770519350.80013 381420 8c34679872cd58fe28bd24cc6f0940ba "" - "/home/never/Documents/InNa/26_SoSe/AGT/übung_1/ads_übung_1.tex" 1776429124.47193 1643 ce89290d4b850fa5a506bbb049e9ca6e "" + "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/ads_übung_1.tex" 1776444595.14003 3051 c9f0cea3acbf5485f64aa9520ca7bf9f "" "/home/never/texmf/tex/latex/ngexrcs/ngexrcs.cls" 1770519278.86221 1802 7595c33e7cfa7c377b26012654f0dae1 "" "/home/never/texmf/tex/latex/ngutils/ngutils.sty" 1776422986.52973 2546 cdbbac1864d91b223f5034978567f395 "" "/usr/local/texlive/2025/texmf-dist/fonts/opentype/public/euler-math/Euler-Math.otf" 1761682777 433104 26cb5ed06a913ce89a33ff41234f5c7a "" @@ -166,8 +166,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 "" - "ads_übung_1.aux" 1776429129.10996 2560 e7016168588901a60d123ae63e7648b5 "lualatex" - "ads_übung_1.tex" 1776429124.47193 1643 ce89290d4b850fa5a506bbb049e9ca6e "" + "ads_übung_1.aux" 1776444597.60105 2664 ee5f5228ebef91457d56f27531fb2310 "lualatex" + "ads_übung_1.tex" 1776444595.14003 3051 c9f0cea3acbf5485f64aa9520ca7bf9f "" "msb.eps" 1776424417.18606 5913 81dafb89427e3a448260b7481993e119 "" (generated) "ads_übung_1.aux" diff --git a/übung_1/ads_übung_1.fls b/übung_1/ads_übung_1.fls index cc48d97..6b52e33 100644 --- a/übung_1/ads_übung_1.fls +++ b/übung_1/ads_übung_1.fls @@ -1,6 +1,6 @@ -PWD /home/never/Documents/InNa/26_SoSe/AGT/übung_1 +PWD /home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1 INPUT /usr/local/texlive/2025/texmf-var/web2c/luahbtex/lualatex.fmt -INPUT /home/never/Documents/InNa/26_SoSe/AGT/übung_1/ads_übung_1.tex +INPUT /home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/ads_übung_1.tex OUTPUT ads_übung_1.log INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/tex-ini-files/lualatexquotejobname.lua INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/ltluatex.lua diff --git a/übung_1/ads_übung_1.log b/übung_1/ads_übung_1.log index 650f304..b4a2251 100644 --- a/übung_1/ads_übung_1.log +++ b/übung_1/ads_übung_1.log @@ -1,7 +1,8 @@ -This is LuaHBTeX, Version 1.22.0 (TeX Live 2025) (format=lualatex 2026.2.8) 17 APR 2026 14:32 +This is LuaHBTeX, Version 1.22.0 (TeX Live 2025) (format=lualatex 2026.2.8) 17 APR 2026 18:49 restricted system commands enabled. -**/home/never/Documents/InNa/26_SoSe/AGT/übung_1/ads_übung_1.tex -(/home/never/Documents/InNa/26_SoSe/AGT/übung_1/ads_übung_1.tex +**/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/ads_übung_1.tex + +(/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/ads_übung_1.tex LaTeX2e <2025-11-01> L3 programming layer <2026-01-19> Lua module: luaotfload 2024-12-03 v3.29 Lua based OpenType font support @@ -1277,7 +1278,7 @@ File: bkm-pdftex.def 2023-12-10 v1.31 bookmark driver for pdfTeX and luaTeX (HO )) (./ads_übung_1.aux Package babel Info: 'ngerman' activates 'german' shorthands. -(babel) Reported on input line 14. +(babel) Reported on input line 12. ) \openout1 = ads_übung_1.aux @@ -1334,12 +1335,12 @@ Package epstopdf Info: Source file: (epstopdf) size: 3745 bytes (epstopdf) Command: -(epstopdf) \includegraphics on input line 32. +(epstopdf) \includegraphics on input line 33. Package epstopdf Info: Output file is already uptodate. File: msb-eps-converted-to.pdf Graphic file (type pdf) -Package luatex.def Info: msb-eps-converted-to.pdf used on input line 32. +Package luatex.def Info: msb-eps-converted-to.pdf used on input line 33. (luatex.def) Requested size: 71.69984pt x 74.25963pt. [1 @@ -1354,27 +1355,28 @@ L3 programming layer <2026-01-19> ) Here is how much of LuaTeX's memory you used: - 21548 strings out of 476076 + 21557 strings out of 476076 100000,1144653 words of node,token memory allocated - 1185 words of node memory still in use: - 19 hlist, 12 vlist, 10 rule, 2 local_par, 22 glue, 10 kern, 2 penalty, 6 glyp -h, 59 attribute, 61 glue_spec, 30 attribute_list, 1 write nodes - avail lists: 2:660,3:274,4:3,5:209,6:49,7:3862,8:13,9:401,10:3,11:317 - 43688 multiletter control sequences out of 65536+600000 - 116 fonts using 28210383 bytes - 122i,8n,114p,11284b,508s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on ads_übung_1.pdf (2 pages, 28941 bytes). + 1757 words of node memory still in use: + 31 hlist, 20 vlist, 18 rule, 4 local_par, 38 glue, 16 kern, 4 penalty, 10 gly +ph, 103 attribute, 61 glue_spec, 52 attribute_list, 1 write nodes + avail lists: 1:1,2:745,3:291,4:4,5:253,6:55,7:4025,8:13,9:524,10:4,11:314 + 43696 multiletter control sequences out of 65536+600000 + 117 fonts using 28458551 bytes + 122i,8n,114p,11297b,516s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on ads_übung_1.pdf (2 pages, 37194 bytes). -PDF statistics: 97 PDF objects out of 1000 (max. 8388607) - 69 compressed objects within 1 object stream - 11 named destinations out of 1000 (max. 131072) +PDF statistics: 105 PDF objects out of 1000 (max. 8388607) + 74 compressed objects within 1 object stream + 12 named destinations out of 1000 (max. 131072) 33 words of extra memory for PDF output out of 10000 (max. 100000000) diff --git a/übung_1/ads_übung_1.pdf b/übung_1/ads_übung_1.pdf index efa3bdb60f01b98b543b58f37f9e20eea9b16983..5cc8bf0626846089990fcc9c0e706d489d4e6c58 100644 GIT binary patch delta 23864 zcmZshQ;;T16Q$d>ZQHgnZQHipZ`(GeZQHhObK16hzkhFcFEXMc?<(SCW#&^S_7Hfo z5F~*ggo`a1i4z?#qBRqD!~xekr}73aAsdB44jc?5O#$laAb#3XYt`hirb>4bVM(_`~2QuskLfZgJiHRj2~^n?bo>1=Z*l;%l%vc-Z7l zocQqhsiA}mObH*QwbgPMh;E&gQRD2bzAeFBV443;RT=5odyHPhEv=V46RkbMTqvzi z-#+&jEhZ;J5!>!UdlU^i#V(p7qNnEBX=Z~Gi%=&Set3;1;Q&ehxXlwrzfnMGj%H@q zVgpx=utpld{4kuK`nYxBk;|wy`3I^1 z@a6OS)Z6`{UR#4s@nHMT9`*l&k>cX~`ueoBRF?zy;@(JSec`AU7DI_%KF-yXK2BN= z^k7wF)U6VzG^~wWSM_|Ag=H@XD-q~E)O;MV0E__;dARrODJ16ppyTq3k(WWcfnTDp6*SJu*r)zUKoN6yDz63^yW}zc6M{AUOta$q=9u91XSQlc2zsh*Vm*C6lg5oMBtY)S^(yqeKF9f{tg zj#o!nbehoEtg7kWR9#a|1h)#&D2xUlbutognV2txLUIEpq!_RGT6lHUnM22{{K_WJ zsfIeo>Z(B{%(m6|SADiiUp+SW?W2=CFa_I!Gc!e&ZludRNw8Q~e#6OHVhzQI_BIQS zCe)i@1E^!CRSVdm$`HK=59aAzi!mok)HnHlkZ`?~x+|G!T!N+lRoUc6c-%PYXqU=gu%;#(2NoQx$e{fX4;q`r{RtHr0rH#V1g*z5 zy5ru8X3j)r0*=g`Jx!ZsQ4NuM zB{(4|pQA&KC~8+wcY@j~TDK<=s{*L8jRU5C^Ljo1PDV5EcM=A+%GkELqk<|u@l$-G zZ6M;h3q2=rGPI;?J?-eGE4a{t&zJUa2tl{(@^)VFMxznt-$ z@aHF_<5ymog(zvAPVbh0dmguI0(KR;K+Xj7-@_2aBYF`RFwKk6wHe1rV@JwHAHJof zH)P{uNwc<|DradCd%qq4flHTyB#y}Mx@H2LB6aRaX}J_klQO(ZcAqjQCbC@~c^>4fFIi)WWvPpJ5vm>OG3(x1*->LjA@5e2^?lru z`A@YdTzPxXl#mqm&&^yDHui|)gnZofAwA2z3(3qSiKV>tr$Kap$9sas3yr5^v$BmO zm0>old>6VGO&csQi|2UBk)=t6$m#K5m+N>B!035YL&>^<98tPlzA zwcLZ<(TCdtAe>m3*_Y^RB_MhqcIkcpO)22X1FpRsh$EM4V#lh_p}GEDjq(KRe8_4+B5Txj^93dEK3JfYBZv~ z@gbUCC1lkl26xp-dT$B}5n*mh;~&eM+~LP>=icLAH0u+SN>$lomRE}lki_vyK1!ThABkK3{B&yz+`$9KXAxj3&-_(G&jtjO?n z!w<}{th`wW-rwy>h)*kx^?gLk-UCtOpvH-B=}#XJbq=ZTqItFq+Jfb_jC;afw8Fb4 za!7J;FlKgE?quZuI;z%G+$9Ix&R*R(Voa@=atat6oauw6D}Ptv*3HN7ma@WBBc*c` z3De(o60f(?l)77kzPtf_IBK%6sn@-}Y4NEsU0+3{=@DdF$%m7?sk}UGP&&hZ_F6X1 z&R!it3@Op+i1pgLIJyGWaeH`c4vwgm%`&xBzGcoMd(LGET!63V?{Faz4`yv}`aA*^ zA@Q5Teku?hV)6SA?U8%~s$GZD`tH~M1dIp|8&*BAlwMda?@5myES)_`!#R-gA!4F= ziNF_9GTFLkB$R)m>xoVh!mWp~6upwDpD{iwWLZq-uiJcD04Kl30`C(}=|yYwa)r(8 zbZt_|k!e!j5Wt#tQT&vLDZg^gwH|d00t~(WUx`p)9V7wR5mNmr$W5g8YJpE7d3|@- zQO*Yuz8roX4f46A*{x7a*L$IG+Vb`4j*l{^`}`Pu_KZxJAT^1u#A?I@5EFPLRGENd zPUf~zqH*(ysFmu=ywVnOOuJ;InT(lML){v}@HpcN96)Y)2L|uZ5XYKNa?r`~DtM)p zj(C4o`IO{?nEuU+lS=Mj5wfXyTVs^XdnBz6*)r#Huv0SBxFhPcML|jJCR(mRn~V~R zcS&biJ9W}7bDatGB;^e4m*^q7zGQhr@%RVniFD3I?AB!hJIdMa;<$uCw1-H=tWaK6 z?5Zu@Gk`v2zFLh}={ZyH&6PtzzsDTWtVRy{ceKK@QXy%uV{x(iP-{XID>Yl4?=%IT zH{0|&>jYhPbfM6$MLWvs#>AVs1Q$;NI=K0&r8kW$J_*UsZ!yc=7k4j2PJWs4MYeWP zWv!)miDcv3raY0pP$g`=_Ka_G#D;Sc?Z<4@4B%thJMpOZvk0ce_hQi9}*= zD@u`Nj6f$Th$WCSty(}f2lXo^Q2d?J6L~lW+Jq4n0(?s*PoI_kQSuF0AAT_L!s1rhtEtIN{E-7f(on# z1keWR^MN?~z?maX<~bFc3@#=bYB zcN71mXG?pNRiEaJLD>-a+^oV?V;OFNfif%0zB$#YVCu!ZDaF>*oOn;F?U~}1GhUgt zTFmzPcm>IYsdA`Mt>-lqPgbD84(4XDe8j1b-RV2PTXjl84Exp!6nCy2S6ms zi)=?+5OFYmrSPLyx$4Z(svCG8w9Eu2bE~(e`f%7_?4goiqZiA{A$e74x|f4it^b;_ zWNL~=b+ckd(^(;}=ICh1vP8LTjL1_YFf}F%q_IZr(IX4%c8Pjaim8qWl};@&$E%a$ z6q%l%=ToX`UmQrN5-Oq=p!BUC0OVg2%FPtTUh3^U~DVx5qEkj-^8|>e0xQ z^>}lunoI@msZdR_X-{`{?#Gqf%g7!1*ZRS!n(F_2drp1I|815^STru?jty8#(Y6DX z`Gg$_M%BdBPj*j+0gB>}EnXero02Hk8FVI7t+vyae-WpQ4@GT3Dq%R12bgZ&0_?-y zsa>UAjPpcZbAD)>{+4qj{jB}KGAGpFZp`2?VJTwFNSW`5Wx-h+DY&;{B%<#GejGKV z$K6ET#*g79Q;3u4jc&9JDz}p6dXe!fX-Y}p3?eN(xSppZVM{2TxSlubH>5NOpH&CS zLNy{n!Vpjl%tjLl16|IC0d_h>w(J18;{_Sei;NQftyd48xwA7<_lU@2*`yaf{1klZ zBnW%^KZ4|~UyA_xdQs;0M+h_T`nMARr|aFG+_%YoFF`=Di_FG`A@AIsnM)tLVrY>3 z6SRYI1Ei*JgFUb4IHU~q!SzMe4^^vHAAY`qyJ-H`xjv2OkSY2m}bI4+tB^%-+<+)!EF*?tdo-V`~_8_GDlgK~Q!Mreq`(bbyJe zp^=fHsVUk6e5~sO!m>O4j5Ph?vmD(7P-N$K!f(O+4C$+A*g-hm5h8afq4Tuhu$I5g zJ<~61!aF_f(6?}y4`dY`D5wdHU<4gniV^!iB@mWOIxkfrl1#ozI9s8|k((aRPxK)a zP<|KC)32b(!s(|N6!2J6IdD-~S%3>ZI4LNoEcn>=a^dvxFdulrSchf*O z9MTvuJAWA)ez-d+sUDG0Wzl|8MtWve(SBO8Rzh8VBFM>kNuVc!m3T#kH^53f%g`Wj z=OQC1FXbXLDN7?sOL?Ndzu$V=dT_cQ%9NRjm5G&w#)44!V)t{%jqzx=XAkkpY?t;$ z^xxQ|AdRihZ%Xu!XaG`%07S6ZYdIisni+^B!#C7_79F^= z+4VqS4%@abxwL7@D|2q)^x*IKP)nxG;~#?DneFVg`#TUIc-^Dq1!T13eO4+^R(6*E zt01>TS(_myxPaRq^v!~Kf<>+gcWUDLUZNO*RaX<<($-BJ6ke{`f?xmE&mcEgGNSY3 zN9h~>n&|!1Dtw5Egh2?M6|1lTQzee#wQQQz6{;DOMAAO>E#&GJV{n`^g$FB!P;5=E z^y&*P{ffQN^m9sp!htq4Ayj0;@(QQM$u+9x7#c6d17+p5BH zjiNKyLV~h2D(eJgrTb$uSvQxkXUjJ1#Irb@yL_@3v*W-t`GbM_)=2xw;WAFOONR!T z9P#$LvCY#&HiA_9B3?@Z-Mnv=?6^5z-}6PzGv ziC7#q9_wi=Cj(FoW%Fk_M z2Cuy?uD#EPlkC^d&n~sL&YO<1*@wJewD?S}#Dja!SsnM9$IXU+*UyoO1B>8WASi>Q zb+v#~T`mpB6vrm48+HQ9%zo*&?U+c@T+-jZZHvS;bGdh?)f9pk_OJu|zdQm6J<}t+ zoeND?f;_#<{sn9IauPx#3VoapUv0nZLw*M=uPw|C)QflX^~?OE!$@{k&NRAaX;VydNbNTH-+Q8Z2~))Q7$sqdB`dFXd)e>&sDnJ zo`#j(`C?6eL7t2c^zj*VhP4G0HT9$UEQs*bhz7e3`NV2a^ zKxxyt`CN*i(gRABAR-}5{No*kAVKUYoat(3j*ujK_#T0>hMyk(dS(Y-0k{e{yXRJ% zAiWiW0D4-y0YTC^t4MaJ%5O^$C<)=1(!okXyONGhuC$=>W?x+Ni;*B&*nX0uY9aNX zt$!Lf{-ROc9)cEL<+x$jXBgmiu+Uvab>QI>YpzmbQv4zS(g$vRR=0B1Q#H+|YUfl?`wyw3a9U>-3z^%Lp z%0HjBf}w%Agq48_)&(%U7O49!=SsAz#pBup?hCYH9uMS7)F9XrRMQDr*M#~Js z=e#*Q&lawC@-;~R6oV)XLabVr5(;rC8G=-8mJ0`)Leg5##R6zIb|J_Wjp>++46>d$ zI7IVmrvg+Xn98;W!%TV=x?P}nZ^mR7Z;21lX+8hWo?QN+nI{@2S}<{mNO&Wu9>yFt z1gaW{U>ek3HDt*oqhLCR<8ckO)ap?JMyZi6N=v{8sTs9(M!qjOj+tK7a_F?JX z#h&|;L38$fVgwim$Mj^VB!X8hXtsjBrIwslC6#Fy;$dXzZu! z)kljKjD+Nn)(>)g7p#^ArkH4p9jvQm1F#XCs=7G=s zaIgVt_N=;rCW+lZvQTRZ?u5-!XolyB$Tw<{$WE<{RF$wM-LKnM^2i6Amb}^A(Sz`H z{o0$Dyf(~534-#0Ucp8kDi-`qBW3HIJo9^@ZuiqWKVLjwqV5HCNJSh;uR2{VFkfsB z_;3w|`UA!Q5pxmJJpN|PKTX9yLcf(S32CCi%sofg8f#inDXF$W7e{~DDuaISpJ+1a zYdLG6GhsEa*5mfBAbjx-YO3yZQAGcQNbXWtPe>JE)d_@S9?E&n(l>^Dg@#Of<#fM5 zWWKN>q(ODjNf+G`&?j(5Ls&~_M8Y>*opO6k@&Ux9y{|{JR-onxWN8%j8y9?sSv#ye z5fE^CBURC5RW|efq>Juzpj8`WoFCdeP0 zuFsOSckOt8IqorEbs!9pkd~9E#hE_1OHJszAUQ-6z`vbX_03KJGONmbxFNu28byFk z9spPc=MX_B3xUE!$ey4@=t(u~_OkkJTfEaK{7;)_e1@lyzkBvEpYF94og_KVDoQHh z4!opc{fK^aN{ek0iA*kVLB1VWH&!ifU3MLD%Lr{!Z23K743HQKYvl6SKc|-UCzJ2< zO&Xn@g+h+<;Lezb<3-hoU@kFbe3T^wF#ur*etiSlUA9yPjo^eFU%1AW=Ud68CLrEG zkVnp!Je+<_i`gpk|Q`f<|B3Wkp`h_H~qlf24M0_t7~ z;@T%~N0f~3iq4PszSep}7!Qzj3Hdl<8mC-ht^)Ua5_tpu1d7oGIOO*k=CABJHkamu zGl-nCsF2X8z$4T@B$i-ct69kf)xG}oG|tpRL%UI9a+hIr&yM=M!O!-Jin=Ce+$qq# zOS6D!bj5K74>p=1Sr_zNEjksK1B}d~#%;Mnf?FjG!UA~9#wn*vtz(H3Yl5uxN?Lwu_D97>KhumOpTVAyYcus zcEsPjSIK8LX1jb5$M}y8Mx~9{(=SyHG>BU4KEMeEhaSry70ta`6Q9@50rc?&*p#1L zCs>0un&ayKg0Ua=H4k5#VSIsX5U(HMHuG9Q-3xu_jn8JT&-v8NY-spl&=rg6RXHfq zKZRL}snKchNj^2Kr>l1>+k#Rh&L!Waw|Q&Uw`PZK^-tTJ9)~f=bD`A1k-}EGY%r)! z@*A(}Y_$I2UwhnfM#1@30a7uNbZzWgc+$B7M<;VzjPLV{As@b{smm2z%oAp+S zjU1^cm2t2z&Jj&flqu&s?2)E;2|Mt4L;% z;7kQjzAGtN)l5s1rp46XTddWeVh%GC)dlzpYJK0qs+-D$yV9il zUn5}@VBxH=>(y8DcR&~XUi5kpYi@b-#@;OTLx}1_h5QAPQi)@ODsNry1D+WS@@h7g z-j`@=_m2msn)@-7hZC^1cD=;js?!}&(aP(aNokGNLN)d56XI-zBu;dAOcWSpL<>cY z#W-g4z6e8YGBm#}fHnuiAd1AorwF!=hs@|RB?1H^NM*ZE^3Q{u7H#^Pjyb0+u0aeB zF=sGa_R*qwG8-sJG;rj|PRENBZ~LDO3(rQ@lLP77Jv6=5WGE*q9G^m*$2r%1=+K$~ zy#ka?;5t=z8yz&sR}m!J4=y?kCAG^aZCcp_Cd~s!2`d~h0LTUmWb-h!8}8(~k7M5$ zFqwA%Wy~(J1o~fP;sq4`E`v*sg?gRw|SuuVg9(gZQ zk>@UAu7%Y<07E|lDVAQL`h$%rYNNn50dD+wl_?Ev=U?deZIX*9a%e`~g6ZA~J*$1A z)4Df3)o2;N)LxOLVh)P_Eh%n_Vydp=+GAOj-x40)Nrq{NDA>loVsGnU?)?rbk7$M( ztnT<8H!#>ELq5MsneLK2vq zUCACF0ODHDVZm6xVbgyKKMD=a2tM0s{g@RRe)1s%_cO1d&-DxoYo8_#C6Km4h+QLh z>*kCM4eYLHoWlIew6w{e2*)*{H9~2ANG-U=#0-KRaPLp1e$bd!rd}zOPA-Cb{8uqM zwNaao+?-BEG&&mFs_LSI%U5!bs(s2$VjTpjfMeYXV>g8Z=oq1ff<@&Bv2@r=8=bE5 za2L=&Rw+9OFO8knGxIoEr(NC2Dhb>5hQBHXf6S za_Yu}qiNjWZ91&GZmrQBS0itKI% zAwgfiiixmBS~Lj`_9;#p;1}S(K}KX3fn_I&-N-3ko@!V&Qu)Ty^A!A zGSxa7$H5HALoNMTu_%hc^Kxw+F^VGX zq=YIS_2Jw>6@~+=G5|+LwFIkXe>saaPGo*~HT~y$ib{qXR@A}WK@dm?`1(2I7bOmV z4fc%mGtW}HfOch}emq}A&#AqX_Zeu7M8RSJNQ&3yHmIjFfX+Q?XqIZ~ z7=O&W?}mHp5nhb8`YZ0l{=-g9=R->YXL>6*sIX!nDgr>?wmeE-^H1$C`O6BCra_ml zxK2G?8W*H!T*yPpkB^FqyENy9PcelSR^&6wNxuJGRmWF6s%2VRL&==iT>#~@`S~Bl zajGD0U*a^7;_&EaI9p;MAfsQ^s&G@~_tuBKXT9oN9Q049sJ@?_hYuQo7LV6Od!xpZzbDWsf^MHW!WgW@A@BS zkyo03Q7K*lA?951w+6=tPwronX8!0mC>sA#2rVvWH8iQSdx#T~0Fgf9S8`y)q9+wk zL*Q4Gp4y1HO7UeXIPmJ|v<4O0(6_=d#5|m(mXe__sFvVeHAUbPQ>qdidby=C1&);; z?%ghy%x%~@O7;v}MwWux%2C>aD#win)B_JhlOgsnCjo5atVqy+K!F>7#yW?DrM$ye zIl|*y*mf(ExdzC7z**J~kjdPb*tW|d@YRmrA!A@Rn>&Erj)XhClI*WcM|56JVX3q) z*~LwvISc*<_@Y5~AA&%j1THu^d0JAEt8C}gZEVoX5val1cN78)$wZ9VjZ*X0FClc% z9V7HP`2`BJ9{SfUDS zO1Cb@!`k;aZ?MC7liGlCno+=#(aDhAS)7N8nAbp0EV^+-Ch>_4qe-$+N7XK14aj}S zo-r;C7m&jmF>8#us+*tz(&5N8mIS?#uU^qKZ_bhjPYW{(57Gz`f$LNxX_^;zYC`#u z!)R4N-bsxMNL*(|?K*pFMV9eKdLbh>#v8(3hwQc3rhZ6xZw~b!c_fA@q;Gha;=;2W zvpN#o?P0)iJ-T%qcfOJl^9%*^S&s}4kP6`XN{F=}vTyRUZQ5tb4aE2FN7>Bzz5GQF z*_BW0f*RAGD4eM12hk_Qxcl@TPE6TjTieLWE@>SHM6|a{LI2nt0(4Oi+bX_)J+%U0 ziA*}4&`aA@?-i| zTn~Sa-&SqlhGGy8BWH{LEw$$jN3IlQM}v{o&kHx2X>IVvC0EBKUngIW#KpZ(zo?I; z|KLVrWJo;ze-K%+lQtE|f8_iC9s}T(q8EM0gcf%DN!y4S+^ptkD1c?Q zzO^Y%^88|CG@T7al@f zB}ZZNsZN`=#=dF?)vHaeWq}|2ggq5joX*ovdpiElgdd6$YsFM z%Naj2@2HDy)L?FW%tAgATTug)-09@#GWB}7oO}CeXZxYbm6<*rV07*32c3(uc{j;y zZQ_mJ&Cb@?&)WGc?}p4jUhg9jqjunF=-~pGDj(DUgf`l3r+?cmx5&4+Y={Vvb_|zp&pD z0s+H>#ti%>dqI_wCi%~-L#B)ZJC6s(3e6e_Mvj6erARW65~NP#X@2+TAaj5<)B<7- zEf_ zSe*zVX-6Y*Pgv%3Hn>B#!!M~1+-LsJl?`pqw}Z`4?AIkd+;2bDt$%~j zEt(Hd7F%J2WG+cw5LS-=5n6UBP9!FS8s34Q-)~qrsQ!cg{&^s?rayMh`UOBh0~Jst z|F8HsS^tN9!8n=!)8GFHZHqRvr^-sJ0Q1g_y3I;h097$M^#yvSm^r$z&`E2s{)VB={1pOgEyCErj48X|1o?+?}cx)I3tq+8LD z*ujV!q=tk@3E%T-=&gUJmx2~+X*ZYMhq1Vrh^nHHVa!yF)si{CpvmSFH^Wa96=vs% z`1;WyCgBk#0e&$QAm066-cgHf#4I#jAwmQjABAnhY$RnxMR%1dJcXT zb>UOdV7IT|w=Xz%olj_&EzDC9pl1-YY#aZVaIg2G>h47caC3=CfQpvfKOg^@37HX& zC3#{r8kxwVz=WDnhNWSS^2qiG_sD6^!Wx=6Ic;dp!pPE;$vy3Bj@*>t6{|H!XO_lX z$2ygXJ}qO8-jt;^RBg7(e3=)wW+%x3+OLl2hQLW68A4 zpv3!pLTOS-aGb>KHui5ys2?;#8CH|iv(vMat65&1W*maC zH)Dfd0QB1^!6Q*KbNX*$J>y9>b0qFW#6&A0^Ef;f7mm!)C5_FP>gmMzYB>7Dhegi! ziGIP@Q`xgqw=dJ&-odyb*|&;fVbwo;BO_m8T8X7ia5=vv*Z5Of)iff=70}o>T}uX$ z+6_P4G~YbX?~1A-AH(EiB566&FazEstl5kZ0I|6VGELVY!}~~KEzO+5UGoZ?dK$U{ zBjhNij-u7cm8-5ww8VPid*+)cItvW}qzxs~=;^R!%hLleXxmlG?Pkv+jKO)MA)^;2 zyb$4UVMvX7dyYc6(G(D_h`>+n)L3<}9t;k8Fkb69r`D#z7jNaymUc~AUOTR#+_3lq zK=qFaq=p{&u_!W{h<`~iEr33>n#lgF>vDC-5hCKa1ksb4F3fJyPREHvu$BPENAZ3k zEeq8V8KG-{PV?-UCf*Zrx^J4XuLe&#AEs9l-S?IOCh7LtzORYntM&=KCe_p3F*>!d zM_VhpAk{7q;cVFhisv0yDPJiEbVN}T&|GH>q$8goe|A7#K0H+%raDhnB6(gPZWv1- z%D4rpSFf-~eg(%;C>2~vcgJ_a+Hpi20K_Kj-^4`7T`hTW_ZFgw|FTAcBFkdNmWF^t z`2*yvTYXKE$A;=6nXwX?PfPZ`xp=v#VB_#3w^}IPqgCpv84x~1zMqFtG&!6IphgO| zC%y?`uqz9`wBpk5?7N?-JxRV3z*BVpSb5h9deG;1J=OT9HCg}E)jOKyw`^umdwWC} z)KV|sg;D>c;;}y6iOZyQAK$>@th{JH9?a5z9O=>8!Pnu6{+sW@HH=j_ov~d{s)cgy z(Q-l)41X898^F!F=6&}v8<`&lPy}`VlGvI_T#Z1!+rH#1{-mXTLZH7`FfSXFC7mBq zF-cx@v_uK@pEC8Eue)|}Brn>xKKd*Z_{z^_as(a6$-+at2M$;p^1k-ggqd0|ab3v* z#3VYUlPxy2Y|M-T6B)m0bD!likp5!lVW8y!T3}lTo!!fjlbxkS<)M9G;`(tjTUF_D=2XjYn}{IlEYtcM zu6l#)rv;70&>p5b)1MfJcr>SKT^!wxOEv|o(rnq;Wu;5hR~^nwJ_7|l{E3O$a2F6v z%o%)Tls>+6QW83_t%3_1-Ggw^-CzsZ%ToN3J1=8n!kVoo{Qx0=Q>laRdd)V?zKlX0 z#{A%V!3_>pyKoGLHIgxxNru9DX9hj_RL=GQSpscGtJFC}44%Oki>& zv9Gjc*LR(!@C0pdDgjUJV(Ds|fb@nn2;FYUZpk6ou0ChSo$=r6w?#PU{p1|6;DbRS zk0`wkWU6989a`Ej_Pjku1yM7>Bj&i1vc#g2o|~KzeRLN94oy6SL75QP2x&HqyIn$x zNHixSCFC8V7e|We!(g9$qzyRQrya2l3T@Zk(qxNT+I^d3B8N2NaUWIYD|eXV%Zxie zOSB^`>N|t(A6^&ZU_E7Lj+U^9`8BI+!>1t-!WrbxN`9W{sZxL*NWY?9xd567Q3`y) ziqY*Ik-;F~KkMQL$8lR5(yCv$-q}q$iwgBs4#<^-{ZQ-W0gU%B`D@7aP$)d2Urq>- zfey%f#^o=(WLvu)&>)-!Bz%m}rF?@Su=>M%#gZvoLS)9<9qKriK$t-CyTzO1JA8Ib z_2-ENOFG?GpvUpIS3IUCuYad623?b#pU)+)k;Vaz9gaCwmqXmSb0vZIj704Qn&@I( zWrrsK+m;rtJl+!KTKYrYPkrgHF0Kx4mn5)1lixv9nV~@Ua_&ZC31LZ2K6sp50NHo| ze&;&e9I2Aziew-i$l((#lE#@DCyg~IZV!xCSC6K5rU%{bijZ5l{9x%cpsExt$2g=XJ0i`-Md7#A-?!OnzZe0gc$Rkw&cM}*`IbQ$Y+b{@U>3VO_Rr=HW=(@bGspOeqf;N>NEbkqfq zL3emkSUD8xBMZMyBc>R@AVdiCWCR)l#ZxX`!&4-J9`T+!Wb~yz8^RLp9DS+z6;|(E zHmlNy>K;VdmF&#tl_xW!#v{!hWEzdJVgtL*p3&$g6exqETP?80Ucs0L?zj zRLcHH!UyCgm~`4Ivaw3;j%QlSv)B*rD6VEuaC+b@*+MT zY&X&Bu#)2%7O;0qD&zg-s^R;ZDC6c#Sv4=W;xw)>C*$sM)%Rx1N4yjlrm*tqAnX!9 z&1!!`V7@N$=lGibffF2v|Hv!PkG6GrF~S4G##Q`qR)hHEbF-m$jNGo%dWHf}*sT58 zMp&Ty9+~q>OQRn< zCPj7{^|qhRPrfF(7oenXKyJ7y(VtWJSE6V?$PK%qj8PMcQ@*+eH7mIY z-V1>?WByM>kb;)nG--_}{$CfMU-Aeuct_Mw+|Jtwl;)Ox{5;U1U}ujDUNAY}%}EKD z&yb>5lPq}k!Q4h`W_L)O5L59}x|sZ6x9ZDx01`yUh)}L#VFHqC!Kra#u@bF^Q>?NN z>9+U1`U?JY5l=4T(J=r_{gQMseg7~f4r3X4BZ);yrGTT%nDOU8blDDI(+flhJOInc z2Tf2k`q2JG^p|>SFPhet+9$D(g)H?&tJ`xy{9!#d z(8Pe(Lo~0E4d%4EVIB=|HgPj;b6;Cm*1ZQQi^vxGS{X0Ot(w^=ml458TEXK&^DGAc9D2!93a5_V zq4l-7qY#!`u%lpOZ(*e;EM71XGnKvkZdqdR=Yl~K*#0@{=WWzA`i6=k`AT6x;HUzm zHDV^1-}R5zGn@ke@~2+*8lQiS)RUbrv<@#pxUQnHzO~TDK#!13q^6UtkcCSSPk*dC z2jeO<<%eMH}|YBY*kMhZ%O;}T1ZPo%An_QkFlSRQ1?TP* zg@n2pFL6!S%G(WZ*Cecoih*;ZymSIJ0}D5FjZyMoz*+&I88={KMKzqu0=ySwn99K~ z749+bEp|GY29fmf(N!6;WxCX>Ee@G{Iv%VMaTLA< znKu5O`LdWDoL%&~%q?nUFKk!By=BOh`S5J+$8Z%q&^Y_?9h-{J1odxo@W0PDXltIP zmpjzPgg$nF;T(sIrH<&G6? zLeH}q_a03J`|<)&i%`xkN%bRvmPMEcvr}@yCnx^F_3;l52>V`!Q9oDu!?jw8W9Mb1)o+dS0=LcLjr=g;|6&b#IW{;zZg z>-H9)vEI34MO)v#MngShN;Gwn$zsfiv$y2>WL+moK1S-{z^#$r|E#>CrqC|GqwGnq zpzHYXmgE2yT9DEBz}pL_d_xs9&6(5Q-K-d26-OwJ?>l6w(wi7LlFez^#W%Vl_~nOF7ewyYVP!bLM!9A?z%_cSgyY0 zHr%_M9rM)07=Yup{GuQ35g1YCKVV|L5Rg*5<9Q>}PE&rrledf&wzo`#m}tXtC>w3> zE^GvymRsj=O@|Bgb=~k!;oiM&F7u`vx?9$dm%7bE*}m`nT{${|po|8r3N{@8?KfX_ z+vTTsVzrEY!2btBCe97+X{tuCfCgazJwXyLfr4@%1xRxf2ZC7INy+obxjnA949vCW z^@+1ja$|DF-qqR<(2;tkz}O(gs3X@H9C>}tFErZ!@AbgPQmRThO>z|ivs;m+jjIsP z`%b9oAAQGD6)GeM|6db2lou+1j-9O|BmDS1gmvy3$AIg)KK3%IMmk@Ht21X>?oOUE zhGdy#TaAAm{pL0w(JfqZzp|ZX7UIg6`2(+Mxx&+TLVJ=+ir*hu1xoK0=Hu#an98OZ z?sf-7y`VzXF4iO9Pm0u6-sB$B6tY_+K>^TBBv))5=e>~$a4K()3?4SX2-fJRC{`Fb zBRI*}`-Fp?{qYrb4>WdV!LZ7tTuRI49?LKYG#ztznuJB$&CaSTCFj@Q-YXgAE62UbuBMrkE*u;(A0JySqvTpO`#cL^v1 zt_-NiLWL*?euyO9kiJ6giQXHeH07cu3q1$ME9{h?Td()tUa6ww172!6;~(&#KhX$U zuA!0ak9P`R8a;RX(qbiga<@wenK4IoievGVg2Yph;^MAI<>&|i*wV&e;*3cI3{#b9 zd>)sSNl1r(daX-g1|lyDNCI!Cvx&F#m48{4r~!dX9q9vScbu$;jV0@v`G3n$e(Y)t2jm(_ zWV3;Z%8JFh<(Jk&rOf?;y{eM#ww%|Sq2*;&O_eQk>XT#(IypyqSQ4BKNg4$c{3*;{ z2T_+v6cm!BmtTZnf`Jx+Bd$-fq-*5@m zIbsrSHewg}$J&hUWhayhs)dG>z_`DO?Iz}SA|T6=NB;^AZbP_(A~G^ycss&+8sVVk1pxvHQ>Xb}?KLDRl_= zmnC8cXQ*Dm@KV6yTr-UB0OV$Mc>6!U1GOG5Oo4Z(vcSTZMM&X$A4}B9o>G)6f#_%w zx5ttXgJ^4fZ?sJF1Q}v$gyq!^&CYXkSvjU|J`)jp_OOTm8V38Z#(pD0BQ#DLQ4Xvsk{fqB^WlHo;=(=n#vBbS@sAUDK`2?F_z43GC_!7ABajPvuJa~ zP3#W2Yxzg}tLew##Pz)QjP2juigwFWdUzB->xQP@d{gH%{~W&hfc8pjxfibo1FD3) zevRE@QxZD9slH9d%K0Mr!{3?hzstn%Ynts|jTrcq%h{yFFpt+L5i;>HOG>V)v{eI> ztDpj4;Vt1I2rEQv0@tOj-5duDf+*5m*mm6<5;@qZy%_GocvQkxg*Tq>78t3*p|dFf zDM{K7!|a|o33j=8?bg!O0rp{nBx0?q37MFsQP@`+B-4J=wBkio$)i5xtfyG3j?TZX zJn1)HAC%WyUuT^wRas`VY(B64u zUmc@pciIsT|KqT+0OD#bCi_|ZBZ*-c;$XaV<#l^I(=<6T;dEW3Jy>RJMrw1}fJWX- z6UHx{>aj0RZ|yKg?STEty_eRr?BC{enHuIb^~UxQCg)W2yEzRl4_(A=%c@*J9;l8M z5y{h>4#SM;j?MUC!+;d0 zLjd1^@uM!ko|x9IE$b-fNpIE zcXt@vg4^KkFt~e=;2t123{HTA3=9z5-CcrvAUMHYgS+b`-~ASM@z=lTs?%Mksu$gh zxBETM!KycT38zS71T4J=kX541MTWxSmrJSFYebe_wKSox4P^br*4)?jB?yxiAbWWX zX%i|npaL+DB3n~W`Vt2t{&L}Qq0RhZs{(DsG|Ekdfe#5aN82ba zxGFMlu^wDn{-FHi$)cUh>69uKdc*N@?@XZKQ|g#lGN~Qs!1Q488b{q6GK7aG{@3Q5 z<6`sg9m<8$4tL0!i0aY%{-LGo^D7bBhH-`QI>iIV zP(6b`+6Hqn`+x5?lVsNsRt+~^{-j+K)|PElZT1&B=UKaz3fB$GY1@2gP~@14!{bIC z`(CL~9OW?O5AmhSV{Vr*$sJS4w_0&Z8`pG2x&=9598dB1hR65>lh#sc7Y(BxD=+_8 zl=T6_v1f#oO+YkDSfk3(N3+tt7nqKYYfWgpLliQMg=Jeauwo)$610nuNk4Xi%Xi_? z-EFKYL+5)`pCx3|=b2uJ8=qQimS2)Bz_7fsv8-2Vi(F#mxhH$-qT~-c=d`#)8$k#H z*Yo$)C1`S)3ibd#frqbm*W5*8RVcZ*P4vKHNo2!&vmv4+Ok)EouwlB=X(a@g)1TXj zA$c*rK~MwPEK{m$lg((O6wAqJw?@265Q-xcdcDl7JYe}5Cp{vVCas|)r-MXXIunur=ZT@>-t1v;UC4WkYrsSq!F`w@mFp zdDuqYm|6k`q3c*hTqe+F)#x$dZRXN)QvQMiX;c}rEc>8!vR)(KhV|y3qxX*B1fno^ zMNP;4ypL8k7(+Ow|6s<-#5I4(CMb$~-v&F^+bOi1wRP52gH$fKuzLhRip)WBYT2c6 zx07t_m41Z-E#9a9KdeL`bc2Txj*ssjxkCs}Fm+hs#P45wW~z^rdR!lCj+x#=DUU@B`BK zUk>KRR90Rzicl1jWPV{T9aDQmYUFcj$q6>vmbu0$#tLUjIpjSOZyJS zor^T-oErDOVR?OVB3P<2Rg0MIkG*-M3CvmfWST7S$-(r{+-2@bO|TAYzKD0kt4T3_o{~_7*9B|Lo$_0VGoO&~!mNr_i1*EIxr~UFjtOS))9Zy&+OP=+5gu26#<)Af}P75d;J-`RC>={sc}qN#~o(+Ma9X-=R6uM=`LbGc;;WUNXhaPz^Es0qQq zJD$(Rtr;1kppgr6)PL}x|oY8GnWMCqUG z?x1_wlajfia!4pmq|WpYc3057qDi&QKA@^{Piur13Y(CvBrd6L_UqE5_zB{ui7(Y@?x z5UcO9+4HLH>&v?&o;V+9kGe24nok-=@ISy42EQmatN`cR)qP**Ax{Gf4b^9Y<^D%J zQQ%T`o*rQqHC-q!Y&6&0pPaVu?(-%$I(--Q&Frz067<6uszXXO4p_c z-n#lQk-!k_NnbXz7cw>9b1`LH@$3gX=-R<+5q&uzK$)Hg5HRfW5uz#4=k$SX@IiyN zk+X!05l3XXH;jMeX@)g8yr`?!Fidk*;O+T}VzcG+LFg)c^lH9+*5Wz@S(O^x%L z*NC~kKU~(AftAj367~_$k8fL#e%d{6LhRX^sdEU9=Cvn>>UFb1d4^i<=}AK?^OJ{k z%91VbnFXPxTxSCo3=(E_suo#G!eh1WY*0xGA@O_av%me7?n|J4A z`q`hunXsKxy7R-brPtZ(~^F#Ywh~NI{$!)!7fYJ_sy2h)PXa1x&}k!mz3tGdgILMCxg#(+*p)q|*@iD4MxHP4za5tU@H z{`lMv75%%fZ@~eK|7GQ5?Cn~LLI7*Z<^`iGGhnjozQMsaxrOqL3f`A^68`AC%b$O|98zn#y7KAGeVAJDvYliZ^IRSVz#v1XdFtFkh zi-ZAkk%S=40R$J66{O`_=C<#S7Q)~K_0W~WNY6g<&D-O-)>Nl%FYZ9IuocpO{D2f6 z0CI)49gun=Ye1Z>;6^8gZR#SNzgL;xlh+B&%5?YGP@7k?uH zwB6pzgdoNEtxtP*l}|d9q-oJ?J2A*_oSdPXaWU-ay~j>K3Wl>ZLRO7hWLJ2msXTKn zUxdbcG*T)h;8eSY6BFvGgMSy>j#8|820u6a$jRp`PCtR{a z<02!E*2O$qd}(G<8Oj6cwE<+jXxMRJU#<=Oxq((HCBm0GJU#I!(4}@8MS3?xc#$m<> zzC7LXh?#0G?cki_+D}`A>B8K>anH~LWK|HAX}tye@VJ~|k%oq_c3Z?KCl+o|H1W@S z8j7y*j-aZnB^DPnl*}Ajh1BF4D{`gosYM5lwO`IzI!v!pSTS98^2=~xL+aYZxf&RY z545R>F%mZi^b;O?V%(0O?LGdKw$5&(&9O6+mgK#Npw}PZ0yW9ve(?$dK_Kr=# z*?^L@O)&2a4;s4nIMtu?WBasr4|SyOd`3CCoj~`<5K|gP5}I7b=ZccUxB6-3)Z~l3 ztrj0lCy{6&V)`6k6a@$Xp`VJso=8VjvaKi%IfHQxh-v_tu?slQ z7-m1NSV(9BblK-rkS<2c7!`P zhZwM_sL(J!)Fqpp*OS(`pL(QSJ{#uMydle#L*B#8gjwPjf}K^ov!sWIee7pPUdtRv z+h7q``mCbs!&Kyao|iBPNd%dvNWN$qg&~B-G)L{Xzk<$i2=V7%9rSskgkv zCm0ez&9X~2KY3Cqv-75NjT1qhSh~i{fyW5T+OLG|U9zPdQAUxf-_LNsZ6`NNrsA-V z4?@Ium~u_s6ztCp+%WDb@(U(T1F!vm0t>zH|NQVnng&&5+Fku3uA`g<;s5kpX`};? zPoK^98Zev7EnRJ=QfVlMZ?7o43^@q%{qQGV#5~Z<;5A^iwbe^?Zk{( zs7XYHCXAjm-9PX_5QhFGdJv^BW9-SxDqV!RJiW#s!OzfV7=jxClmC7-PfAhh3HJzKuVO$&4wcMi~=sru;Dn3>Rl1Z9%dAw-`x4= zc2S@sj$VrRnqkt9^T&Y1s9W3$*LIa%d6BUxjHQgM@#md(E>HJo>dV%@H!93`B9Y&m zjgvZ`VLG1mV;jjXkUqkZIYQ|z{s~7CD2)~qtl&RfUZU=s)(!ldkoClJbS8G;}H6y)WDc34vUH`=fa#oz~0 zamd-ZxqDFY@^eFT6e;2Ocm@7blsRf>2`(4Z2v}e5HqMZ+ht-G+HsH~Ng@`l3(Y zm)|Dwh~T2Y&q1gro6!_#Gk3run2FsZYkb$(i7uWUj!-ZEjYAa4Ss6ijPv2%tv(~pwHNh zRvoe0CzU;ppf809;an8h1@I7FNLy}+B>C}kuFy(xFVQab{4vx?FXVR8brxdek2V$q5d^1;w z>I7Tlu#5Bc*ae1meLmee0d3N+SHG7wnzfHFsGPGg`c1O;I%LnEU-^1MRR*_Bf~R(R z=V-8LJPQUekU>Z{7 zQyhw!od@Umb9${jrmNf*`RHN+teTpbuq7ZQ5QD)hj-*LKvq{d4N5==XiOf-#sr#V2 zOY>8wsx@H%*tKT?0`WG%mi^s&XQNrh?$ZgWb?`^_%Mm|1=4pg~Tv>8_;#7MBFr`?x zZM}PEesr$0n*?*(1>0cts!}pQ4R?21I?~I!xfh%(b(3R|>qd=tl=Wy=U3mE?O`;T< zKe6-YIxvmcuYI-ygV?vlBXjNOZ_>uqN1-kaLz< z2|ps5dW*;iJU(D8+F49>hHh*^FYk|1se~mi_uwT!o#F(2`Npvp@!~9Bc~$5G5rLaF z>UGw&e@yZk(^)GHg({lT%YEi(3B-SP8aa|%k zm%kcu{iVN7XI+P~q>U=4#A4|f;v~(kPv^aB$2VAc zf6)bmib~amc~Q4-QAxk{GWUxoVvGAfxSgGR2lEeNK|NOQIi(^>c}!_VJw?Wv$kP>q zO@sIt z+>OC`-eseYvO%6J)BY%On+<+5qQ@de5uJKQK&o|i@+R>^J~DQa9J3Evkr;AwR5>fmZnq(DME<*N{6&zw6|9F_#B+5^7`He8Fh zR~C+o5NVvyLI#iPq~;Po@AV1!r z%Q(9#s#v3bWTN=2e&owfJ6Ht#;^HS)PidnhN1t~>LpJJ0N~}f5C7<6b?`ycCfTgeL zb%}?+;?bM0`!tyi_jDX{^DF1Ea)dOh6-(Gu{#rp2qU=3-P|Lm) zUMXS+*K5V&E@91) zw6xR8arloH&s~Uy2WY{N7M$AkfE&pW8rk1`B2)=I(wQl)!iuC z5-oI;y5_;i-gLH8pJo(0T-AIhx$-R$0;TkHe9v@awEPe}O@1bu+}S~tr-ktepg1UM zu(s(=;d$|z;bP=a^7QzD2Aa-YG>*hG5dEI4*8T~pr&m3z_xHa9jNFkiV4qk&lEI-- zM02J^)yOaxDd7eNPh`+fT&!mZUnm# z7%1Ec{sqXu@}|#-Iuz*F1n>02uQwnNkFN0z^Np$pr)T=GGi2=wZg6 z!aQ+3MsNLLZA!De;MY9iZ#84970-1zT>WRzj4vEH=54R(iK-_Nz#|ULL9RNfOtkH# zp&h%Qr}dCIS{d@?`c`o5Hjd<0P%B~D<8m)IY?W3wR1!Bq^M0mq{05w5xT+SL%$Y!3 z4Fz-^qd(!v+z*T~wbPd|bsVQeMrV8(;}?vYL4=vPZ=DXft6Q4tnP&;QrFPZ>3e;FR8w(qMey*j(0bKE&28U--}V`We8fJ^Q<}K zZ~o>yrN*k9m&(@;i($f?V9WcWZw zURsLybyO|PB;nKu{=*u3+j9)TYMO^B+zu~6GdK{TWAg0y_@V~?wn{y^snciYYlpAs z1QJVnOl_J7IB>d5?3p!yQP}T2!vg;AVYT)5tV$^RWCA*K1JA?a3ch;v`nX~I6t!hP&!QwG(FL1VoLxun6fB#?j zuelo+Coh!Lg&NGo$wy^E#i3>AYen@h=Fp=uqT-_Bej9Jgnl3ILZ_7MXoK%`r9E#4? zE^jm7e`hjpnIdvPS$=*wE>3Pi9zkh20iHLx%Ok@rBPGovDZ?ivAS?F&PeJYJ;NNYM*pz3V-4thzl+20zb!e-wrAAX4P7k7PoILSmayPu(M2K#E z4!O~pdgQx<$sj6H0#NIk$r(Y1yBEAhALkdwa0N4pJ6E zbN4rAt^tJA#qlo8CTYW_l^o_IET!guPT{;csrh`3$wL?LjVBw<`&%weA!wfl|X9`aD5z70Yea?>7fbOYwbK2be5 zn;q^jWlK4UQ67`7wPR1h7_K_Zuj)ZFsi#ZC-#f-cyl9kHsQc?B6yuuY`*9)p5jD#9 zp~!`|gp;>#V20p|P^6#D_Q7JJ37}u#m zc0~QXci4>Gwm7CKTmO0+R^WK8Ri>>wu>|?UGO3TMZhg=;sIzI&tvoH~aQ{tN3>AOJ zUdDV#*04rYP}7PDn32^Jz#>(QSHZJC)fppq*2Aj$!GEE&J@b7&kz26 zk|+2$VlL)A;|VDB3j3e2>eqqX8B61N*t`VGWrLl)ac0QM;NF+@7NBYiCBmB#Ybzh8 zd4yN8u;U;uBCJHm(c3Qir+aEGOJO6N_@RMw{hsR zm5JQizBKGwfya(8OqAFA$(=sWe~SXUv`w@{Tl>4Z+L%r4QeZ|`oT-r<)|0vo3#l(l zqxxeQdw+PEuCgjHybjKHGbwe&(pJx#yI0}py6r>^A{ICpQvc>I5K-S?(9|OY%@3ZP z;N>Vwcw_Ny{X$bGrTpmtXqTU6wJvZJ$T7EJ9)QpqRF7;V*&G;$r=E5~Z%SUMrJGV_ zX>F78*j>aYYNFk%W3%FnwvNwE$Cs$i&5o5ajMN639=+Y7D@apD(i1dx%H`P zlvX3^R8qf#AFSTXlBR@4!Xg_lQT!E3F;MhGr3$~x9X=_QN8bMy*r-XkkkHc=6 zX5~W$XDb@45EJ-F(o@y3?%eUJVLHy&MMsF8n ze+ZLe&H;tkt3Q)xXWL6Wk{ZwA#Rtw7l|F~)7_?Rca?(OCD7<=jyVR+NI#I=J#OBAuS)Gwm6|Aexq59S?1i&2&KBP1-@Iz~9mzUHjAx$j9qHLTND2iY-lwMj>%l-8bh83+) z$@nShjB$GsW1nFy)xjKvZlonISKmq%g^+anuZt0ihE?lV(`-CfFw9+#YC8${5=s-_ zH!Mfm3AgzawC2%&Tt^<$pab5RZWS4m3Rh#qj{W!PTMe3h(lRNBJ-DPdk)JNedi{$6 zK}i_-I<_?6K-K0Gl8X^M!R?lni3un+j@y&!fd7`4?u|XY&0yZmvv%MI!@v2HEPL*| zoTH1$ku0o1kL&5pxhszLt;QcWioqK+?jAxL)lh1YCg~oVsviAET;F4(q!6WWu6&LEx}=ezRMsp1R;^ zdn`;qfR%Ocsh*y8qKjIL(uM6G554$(*_y^Ko_rp;3AQ+wL;jL(>uGIbwb%{JoZycr06gski8Cc(#`SX5;OMO}KT3e6~BL$=5o;=Ug zQtEB%8b|1D^;T78Q|GK*alV0X>Fd~31=YFg+nV?=oad21-SY0;gCxB5T?!)~$+dvD zR6I=B+AGHP-0NO@`(lXja2!A3A_;^>kRnQ|E?J-92c6^F>)xKs0}UZhVkZ_1g|-85 zwQe@}hCd-w5iea-*!p2Aqe(;b;R^P&FkB(gLb%P`bsFaMnJ~Ubk%qkR&0oj6jrBL+ z>b4+UCU~qqVofZ3ZV{r!|7-m_2|H&i9WRR~>?Vni#zx9hUDmnlz15?b3a2SQS_LJ^ z#^SpwdpU7aO=knSp3a#Xa$ti|TGOPyUCvf9g~jTSBTC*nzY3@qc>q2 zFny*c&6+PbeTUZtjZv^v(2(q`+#pp#EFd*W2zh`NG3+Uq9LK5-LqG&Q8mfsXy^~Cf z`?B{IJy^65anz@QVtowftqr-8s?wz1Fqq@a-dKW_o9;*2sw6x&0=uW{Dh8i+_JA#E zG91;Y7%_r{oBU`4OOaZfsh8AcXpI&$5vqc=(4c|?kN)x<4up&XKrsp<0!Jd$8rkeYQ2 z9L$^_BJqDn%m)hkDGJHX#{&}e!2-0tsiC(O5fjUGfN@&9_=?X+Rk>`#DR9jhta!o z=!~8@UhddbQBhg~@%jlXZZ~j(akG$*(M+&^0J+3yL!y*OC?mebFICK(Pgo=0dqWSI zK9`!-IvV2=$3FCH(xIc{G{wz~mlsc4Nol*-Sj~NF4P97{Z+i=!HqHFxTr?u$1^jLN17EG? z!uTYsukOh?8Rae+8Vv?Xc@tApxiT5Ts7wO1EP~HKX|2&0+_Iex!)j(`78OXLWvuZQ zGui1xFnaX5;21Gg5j&|sPv}eYu4h;l%esL`P1iw8D=2)oCM-q79YDd7jVdFhPtlVK zQzt05|7&jtIbNP$pOy;N3wHmO^4 zr_k_fo{S4+EanPcbD}aOl3-|-Pz{|=d~QJlpPGJUgz9Qp@@EXQD`IT(pVTL3>g`&$F8&J*dr_mH?XaO=o`d zXkkN{@i$7cB%H`UvXn6B;rK{Aop`EQHyC|#ffCzinJ2HcNj*uUt*isE+t|K4^l`mi zQ?~j8mx1xhNPx#JH*1M8pPqV%?Tzf!);7Me&7H0DHSV8t`Lzf=6prOByikw6Z~4EV zMDb9+j;M;GI9(mEI&Vh4Z+P&b_5u_yKjv}{znT8v7pCzOq^w{#mnhLa0B+0PCChxqG@^;DYDwnbQ zmoFEqChx5_Dd%8T=gi)+Or15mH)Ev$D$9pP%FXF{-XCl(*OG=3#KJlKb}%)|Y5z;U3Q;(~nanTERE|UVA$;z0aYJLP9-6GM6gW^vDPQsok&gTJy zkkC}P-*DFO@(?8n3)QEW>v4p>ct`Ik80&6MsUv`T!US8g*r%BOuUy#ioK1{7t%7N| zVb{hxbt4@K2v4uk9`-bv`U2|_57ds`I=&#n3pjiJ5g5|{Aqzt1%G}B}A18wM91E!< z{54Tjw6}|(-ETulSizF%f9@8-ud;uU?k{gQX7;bTNqg0urYUE}O_HL^w5F`!v;u^I zYY2?P>^L!Y-^0(h+R<7*R!v3gDRFvtA`4k?X2wdhW-9$U#aG|ddOtUOFT}jsF_$-G z;6?joU;(*#-%MB4HPjg%^C!{Vx16d(>|o;)V=r zxF<8R1rN;AKIFkLPd+kXr22^D-IBKnkAA>`(_I=7$FArod_CKrMp@z;Cmuni4+_uk zJ`>vV`4gqcbD*#zp6$n!R-H?yv(gPI!5j(i2YA47_mK$ZCSEVOaPNuPanRLvmRx#J z%{;P_YjB#Z-Zn)W@41`n*y|4Z-^<4RqTz}d$k_JouIhbBu^%1=$b!fO=*C3mJPZJT zG_QY8H_BE~h*Dx^G8HtP-Ps%vCC{Xvx!`WJmj$}F8|V6m_9%9v%C+GC-c$ssKa0IC z`L0SsS9cPTl^)|Yr%8A}EW+5ll*wNff$y*6&a#t`tTSR{!$2?*-|x)pQB?qLB5e3B z)RX7h(fe2PuYJYA?(`-#YnG}XwHd%ZBeB_zLyFWw`KRZ)sb24QEew&yYFvwU9YAbY z^(UyTid%JzQW&+DJb-E!!sy2P0qNrBYvWq)ump7%ZR(*5xGgy>|0>dV4+)yh=n*e5 zqo!Sio8tD(ZIy@O1Jo;7X;0x}-YDmYbNpE@Z7#z5HYbbI1Jj=YF~g^I9?bx6_F&pU z+ilgzlCk6G^iSDfa5wK4SoYUQ?If)#dd@#tK&RH$yPp5uPZk;E$II!YAj0ztJQug- zWo5lYbyP>XDwaz%#0QhBprEerb*@#kM%P3uTrJU!EE94E*RIGG%O(+qMKdD$Rf_)8 zQuHW2`kDm`Rp69WArsGsSonY~?6v>0m%W$lhSusk{epY@5I^`aMNjne1qDM3Mku2U zvrPgQ>yh&;E%N2CLfZ$JmXP{Q=qLONB7#DV(p*#JkQec5{{^972tDB|zVr{(!evpx z5Oqz;s}v`11PYmhqCzSpMQYG_ADH$87SMH z(ZzOnkMJ3osi|$;z*Qz+@I%W($#cXg@I&e3XES4*>CM=~cpmPmYB-$E6J4jff7{V{ zkD)t~$960t6jVEMi!S?zole(Nj;}rqZ-u1?*GF(|a2(E`^q(5?VCwIMHBs`>k+m{gG7`Q5e`}v(a z4F2enVeh_t&~Gi|MR2A}=Talr#huT9IaNKkT4P+|W+tGQ0OK`a7`yQawrcmYoYtt( ziP5QrFY-fGe?_>nC`x%AAG%=1!A%gqZWe$0>d}(~1kb zSHcYoafeU`$ew@l@xv<-16=()&b6wx&uhgs7y8%%ZNbY2p7*c&{t%N;UvmGq_~qvO zkE*5x=lPFv#$i<9L1n#|&oKV_`hwsC=Wa73Uu`FJ^#L@|M8 zU3d-9a?9t!HAp?iT0!wgB}_%(!&3W_O>-+f7BpKyNe2kgdJk?1n=~2NMUUqUzLXM=2KW(h)8Os?b zlZuwi90}erx_ykMzu0Of-zHs#<8=G0%s22*EU_9hbqA{~1T)+xeJm*&qi#&QGNvZ6 zEeTv>@pd@`*DpBI@n&W{F*0yVgHOzQwxuI|mx*{xz=aIaM3LmZ_bk#h6 zov&o^NBP)D4=@Boh|iCndjBXL?pA>=-l`o;9T16|;?dxu(6zI7zF^^T2sFbPB}&OS z1l03_sC3w4e?sO)^q>N>%dIzd;%ORqx)~HAx_I=AZlvmSM78 zLz~z~=aaCE!sW{i(grq7ATC3&EOoUm4XYxA{d4C{=L=_EgpkZ4WM<=kRX=%7o^bk9 zp*C8hV3sKE{a?;mDK-52xe#yGPMxM&-%V4W8!kC6EZQI>G8vGWPZ35V$Z130TAhh!cd-pBTcFqa3$0sMF^hjn z+{^K)AcjfhV110b5&y`~f?Gki_CPNdmlyX*!GBqsJzfGHtU3!I`MHQ%Km|S?t;{8i z`wEim?TsdV5XGV6hZGI#6(%6^-CeUqTG^ppoou>ca=}2NF)#)Et#a5taCoXiI~rzN8>xUQhqf#O-JqeO?nCXE&-s>N7BYl93MeBzd|Iq3g=a$8=2V) zal^XH?Pfu_gB215thQu~EfWe-59LhrtRG3sYV)|JxwnV$&;dbGf-Bt8U&L70uafZo za?@iJs}!RCoBzb-#KMRxi;0QAqE&0sVMrvuSKU)4`UJmSU3_U>W@DCAn;O;S!h_9Q zpfHdroVCz$vU>44soxe22D|O;)ADV+!NtR3#3lqRan*3M!a7XLYJu3n)hS8h&{7Kv zKeZXMt53aCBEhM>FI&ChBQf({Oxj;hGh7(MG*PAz>^q*%w+>XaQ{6d#?dHm1tfhXR z3x0a_e*(eZGpFheA#}1cS`5Nk%5`>d#*u+4R@Z5w_*9g(?W~>$@)~r2CY)}{RYcF# zdI%DT-NtCsi5wx3_NoUvZSHut(@4wHoO-SN;QHJ~0oMbvLTl$&ZQKp%C5z}FBDH9K zmi+$XP2B-WF8l|rHyE-W$Fh#-(TyL$051ZRbeslqUSuPc`1b&T%le2(MDZTZeMX)p1U$+=JrL1WUK>_KZ7=mZQZ%n^vXgJluGO;h>1Ftvs6$GBSy8K z8JP!9?Cdq&P2#ZKkNYO2D?Dw<#gNhT+CvnI!Pt`@sVPa-lqugtcTn7+Tvo7me;!1tqiZr&^3SEi)zE7l)IMn^4g>8A& zsVU!u8*s?3JHyxc(9y|Gz03*|w};;XV&q^SkLjfKFl89p85-H3PX z3!^2I?!HmiQ@B#znMe&TB>*h}jJ=RgRt{5|9zuTYgY`DgA25EkVr-1BrO`1MA<8CB z2IlHso&%f31u2L7nJbwqkO+zW*;K?JW3;aIU)ExUA|*M$-Bk%t;1j{u7who?XbQhm z=RkEK*6pzb8syWItEytm(=t(dz$P7IqhVj!g_7ZZKL16s3R!Ae^9SO5zdfE%Bsxn# zR@a5BD!q(gb3Gq87AEn>v2u(~d>=SyD%b7wUVQKxvF|F%6|odM8B8@DgfSrX%J&)V z8MmoKxK(W0m}*##urV{HX<+st=_&c6+_5Q#OH8bS8{dMZ=67cHVl&=% zQuG>fSL@}WG~&`K55vt)nX#Y(N-y<(tvLnV|(@2it!r7L`+qJcOx&Dr)QW}kYU zS37S>(W{Ka2I%8xvs_Y9OEfB%Kx(l

rw>4-{TQ{jo8-wpK8{o>wlpk7Y})+b5?x zmn`(V!DS&+CH*6p3qIiAzNVxhDNd=2q1~E^fqNEll$tbzdIj*yrdX7u`ftBfdj9E7 z!11pC+@GQ5J8PPE-KWOKpU-Fkv+uId1`FH-@kJ`5D}AM%G?s~Ym^=8}k1oJig_%i* z%|-TAFdXCn{Hk#m{Nd@R0=z!Yp}0~y1Ooy>56XjB>XC$NmhiQn|LPq zMwP(Ngt$YCGJNUQ(pC4Ne@{vqfi?g_RW9_)Mwb*yR2E=xn?DYq^A6n08OlW?~-Qw>#@hOI%%EgBTJNKcyS`&U)yR95J zmt1QIX>=X6)lFc(2KPMjSKnjgpMiA@2+h!{n`+nuf_9vRiJ5D$IaLP?38lt~+9UUB zdaJ9cU>=Z@ollYByHPcqLdtgBUEU^T!}Ijz572bM6lRzZiKNGWBry+3F)43SNB?ZF zeNKh__}$}v8f<7`jXADsTR693U$@^3r4fetyntWFHm%;`Co}8fg#m8>Qns_*AAX9} zIbQK2@T zEjJeMYa;t8D*S$^_l`z^q7Y5e435)`-aw5EJ&rA-yg&5t2obcxo0M557)tj%pKMJY zoX!19XprPZ3O|pE_N`B%TZArrT>JSo^bNwt^Ck|dZiptKW7pD z{b?H1BAW#ZOFO6kidP>(x{|R^(mm_BjGrFrfD&0i)7em0T3FfGf`eZ`UC!Cyq8$KL zCHd$3kVC|#9!p4^ox017kw5Px;gv|lO9Y^?i<~31E@qv7fQICUh~&`E0_Os=N>q`P zNfg+FZ7f!B5?YKczfk#@4=Ign`m|4d2C}*hJ&%hMKigc5G>{9}ju$<}My|(c3~H*Y z(@Q0;kY2a8%?F7o2z~FqH^6wjoUnJXYugp-`ef)b(ec$ZC$b|oy*YQ(Qnz`52>>p+ zu>(4)f%eeJMjRo+4MP9?C3pnaZ#MLCFgeTu0!C(k_r+-tf9amab858=lBQH5EYQy? zm9>}?kzzEikh)%jldORMK>sL8I_`zx372~A)6-e&K5)U;>-tr)e7TjD0re)TnmL;l zdHB*0WgR7k8ehh&?PkiWw(!qTFB>qMH!4mIw2!&*vc0K@`hF(}%PcT=cG|wUTd+j& zliAHN`-<%02ZQd3r`xC;Z`jf$jJ z?-@_~kD|~f1RJ+zPFW?DO19O{>t^~xcd*ciK6lr?50IO(Y&~DiKF$fktPXxWck`q{XYe`~ zL3_e`O42c`;mn$tm~tPFhLdYkqw_@9>z19^i7+FP;};>P3oILgH9sFaAH<4y%j#5^ zSxLvjd4hsphThK^r8=XsP6UdT7Rk__ws(${(M>6a-cX#)PL9nKKJp@@{3#CIR9qQT z&~*cfBmoYYV1=k4tcy-{*oYOYNLu(xnG~U(Q5c@zn3qg4I`5F{3u-@RCB1Jo`YSYh z1Rw_I8r=Kr0sOi`;UAPgM${dsoA_RiOg`0B{nfm^{jx5Y&jog=4*=^C-$A$7l3ugn znAd3gG>>_O^@0nuP0*+MN;dye$AJ*M?#(mv+6y3(@%1@rBr%2Po^V=lwdemC?0Y7X zNd;eErtAmd;|NXQG2Ocqw}c;d(YQ|koXM|xf3N^yLHSLZ5nm2`F6pb5u+2f;;@DHO zo(eo8-)lWW(2k80n4#S88TJG_NjJZ*KpM-pe6?9lLU=LEvV9!tlZP=ijMf_{z zaWG7mAI9j%UiK_)-|EMp8VD;Mi(P=Zt}Q)oj0cE^Wolx2CaG3U+qa)?3|Ux5c#27a z_{-R^k0|Vb4Ex%X7x?K}c&8=zVA{g|H;l)EFoo^-so2ghz&sr5(*}k(?kdWe)V?D; zcmSR9wV`HFZ3*SLQ~eSYxj7E)n#~;qSm%c=d3>wBKY zF*vAPyEMobng;j1`RPe+QYA@;Fr1zgMWBw3?`HMJt-~QzLT4bCwrP$iz*Gvyeyv$} zace)YA=S4Nn5%zC?!>cYX5oo)$Y>mrd1@)~gbcuQFbKXX5WYxk@bjFi3FcA2#+Lad z!E@@!o%1WQhff4`_YBhv-AdV}^8VppNk8AG=#DplF&Si^TCnMB1A@h1K9?vgpm>{j zoW+~5tvvs*$jW-7!fprK(70^^vw0cZPq=Ynxq34J0;p&(jS8wq2AJ&;36cqe=|k9H zACRe2>r|uO*!RGosZ*Z#c0#;jNw07-62T*Mk7rx=bH&D>?e2xW)t&>o^$B2IpeDAE zOu}N4l^q@S&#k>1Evyij1WPu|ohv^mNRLT7H*gK{HR(jUuAm5m9t+oO+&(Gvyhz1C z`L|raTp+g)f)&^6TVQ}ozyA-g`lx8!amrWB=(<0m^4VC>@D@=+Cl9kyGxx&66qH50 z+88sV?a^6(?aHO|GD#$eY;)xCI_htX{rPerWp>0LXGM4VU6?ACgQDU+Ox&7^26MQx zVL}HAEeZajqP0WF8U2vR9&=q8C{1TqLel#S{9Gq4L;edTPCD8Yl;X6_q) zxZM=B2U~>8Y_Ff{Qn&P*nPg!`BS<|DbPyE)Zd5FUxR)lBei&VK}NrnCVuK0MkL5}MNZ7LT* z1NUU6j(=N=%4sKo6a&_bsx=!y5V2t-X8F3!*JMj+wFhTir(fgRu}@p;Zd^^K>YUPp z<6QFh=FgNi;d8)2xp&}W#`ME5^zrN|roi62u#|3)hd)lqdSLWob6LXd={+HP75cFx z{3ZFy{Iz3ohA|+raP+foiQaLB*_A}GwrBPJ*S?OeMa|)AzZCp#Xn6;I&Av!wBT?>p zSLZ!s4$tcfOe0>_+O)e!dW^CYiK0;)x%wICpf+3YzyUb#2+wA~hQ8xdcWXjAKQ|ob zs4piNm0n%+Y4a1xn8|rlkYT(b9Q0eHKm8BLp?-=1%^{FzHEkK@KLt5|TI)Vtf8kUW zkTyJlqeUz=wy?2)kP@<#k5vX%Ei@GMn-iuaAF2t8Nsvm#g%*RBFC_}hSp_CJUq%IH zTucEq+Zo_hm=nvF7#E|1BZA^DE~8W72vY{nBh;jq?S>N%3P|U0T+jf zLL~g4e7&KWrGNvar3*&jcs~R;pAAxoJ^D?uJ4iH8nPIi4un=MJ;X_gbxL0WD>b^cLbJh4P&-ZZl`qA{%`Y_2SoOb4D_Wg58B2NZH&?oLIqKA z(luV0Q$YO3NS?!@g<$_L5(9_M*m&E-IGvPqhjbTpcqktX46y=y^?%6619El|h2-Y^ z-(Ir6rmc#`5uR{FH({s+nFET14)0MQ8cQ1va~uRcZhNFbK?ADP)Jm98AIwTf=QjpS z4m??ROpjyKh1p>!`7ZNJYBJ6;DHU5zJyR-c@di;bgG8_~E494TDln`rwM|V$~s@WgmDt{44NG)Ft6`itv29MjtcyC8ECnCmkD$ zLK@AKla3vnoB@Mkzf5)P*R-*63OSGbzp_YbxLffuATIzxT(f>&?xp7xuXl%}Vi5{U zG*J>0O#&tfu|1bFk>E>tQL=k3z007i+;e4|L0`Xc?)e<%D|a9j9{GFp_B$CNumTLN z=WzF5?#rLHAKhK*)peXXrIIEP_}fl<>UTcsttaA`~+ zTfbeRtlGI|!8Htvo8}0cFg5$${aUkYXzWM3UT3POQw>7y1RXn$%WClEP=;NJnr`mG z3GejSoqpJaCdh`h&1T{uxM)L#`UT)c()@CE!GCw|IDhXF&!O}5)ym~lxZ*$88#XyG z!2Xe{{?&{7?6}TdsWNb+=iNDRSV2>aB_)X=O&%pn(Sng7$!tO$9celso`No@Dy@O$ zQ7A@T&%}gOaC65@!;SVqDfKH+d$c?-63jp}pzkCw0pfC^!2)?T?Uwh&&>O%BDC+sE z2|G}henO37HgL0V+6=fxVQ$qbaF827hAf*BuP*G^2c>aX|H^5`WW<-ZZ>*=AF^Z8R9#MA zpEOo6`=}pJgSaEqgbl!M-vJyCM?4+!2%b6AeQqJ&WY*M)avvKRhsBU{l6pkkX}0`7 z^k&u#GGqY!1G%nuIA*LkKP62|84E!K&km{0!Kl0Cw|C^+g;q|tp`x|z$o1>_jdeU znb>G8G0^=z#7l&p9)!nHX@XQn9YNw*PmsD=137?fe>ifCES`m7=jJKJ{=D;~bW_8LWRA`JDC`Vfd@SX5em`_O>%Hp7pIm zZi;C(EXE+~R|jpJ^LIZ`vj}rj#JciUXckk}C|9F5DZ2n+st}o-n4!*cddkf> z+(lHY;83cB{h%RtCzXzLvW4SuTaeT0Z+HxW9WH!!;1zduGI-oTOZsk8=M@w#=aoR; z!MaVj6zuV8lsHW7YlS$yZlk#N0UauS9CuUh=-@E)8<%UknK7{k8ZUh?4V+1WS|p91 z0PSh^iFPJQTMsZ=!cNt2Se=>v&El>!V2u#$BLcog0S(LJGxW2|ycZ?YkNt+Usz3(i zv4(%DxVvQ3d+_rucU0l%i`DN4(zhTYL+$fUavBM7uF$8^+Fw2oYoKCvZZMiari0*l z)c@^##zN;GA&?=bW-7bxgeGZAwtHE9r7Oa=8=Qct%mkp{k0uN0{#C&ZS+%We!X*lF z9XBikpjZa@NA;GN^i$mg5$$Y0p4YFM0U^h!7bby{ z(7y2dnZ#LBdGdyp;E0}KtZPQA-ZyL=?j0O8e?mj+B5q*3idG>>xf z-;g*3VkLP4vijZ51eS!UqT)_(efi1)0ga@a@4Er&e6}kgwmhGvG937M*p+?? z3@J2@UF&KkL*0&zUXVk5n4yfxR0vYd<=Zcx4+3?0ydidsE)Nx ziFmUt={zq~LE+wkSp^)#powRnXR2#Zaf{DxEHWI-mUcAYp{!+hH(^6NZN;69CU%#$e@K zS0DDUZqIb8U2Qe5_WNIW!OBl2pT7Ti$ml#Mv7XNWnuAF0r@54s5%2&56wN6;hmTxp zWG3<*eQ%*Td+x0!CrRQj}O1Ut6`$EikS;#Z(t$ZWW^|`uiSHMVhEO$YTvnY?J#<{$;h|J$;gew8)sCGBwfk%RN0@o_ls(97%JFErW1o>#xCBM zr?01RJDEPco;M73)pnNQE8H*iKObeT-W7P)gkkc^ZjqM%yQ2S1kn;W)K`IK8cAIT)s)^RsZ1*UyGYy5aO$J*+UHDP48F?C;Jx(#&85P@Y01|p@Fgf5Dz)_@lwdA$zq z7K~#n>ps*yir0dnwO#Ce9jxRmKi4oHb%pn6q8kK=6AUn-&G~i1J-S5*ot^RY>D)y+~PS0|o!MKL}Jq4@r?L|||`1fAl z$T>gB#Y{jT&PX17DGd>Jl@!VwJEgEIE7$=2Yxjv8j7I}HVicrkT;?F{8;C+yJ>lrvf(({PGACI1f@uJ?Zu9dQ>O*gwvmJ8oxY6So|q>_w$7Nx z@*O#w0YELD`epH-o8VYqHDGAj3ZRF+lH3&r9y)8XLiNmv&on06KaCWM{1Ql|9(kb* zk-6r2bi^i^>OMBuU+A_@Vu3-v%gRE8BOOH?tulK}o3M(hv&y)Z5dPrtnmJrv^%K1v zs{5(|=0$Mf238Xjy)@BfXndZ3jvwb1$(CxM0L&5vjE@l?Lc_m|d;LKPS4Xfx&&TYjQ4au*(y{zk!j#2L1nHg?52oIVRv&6l z4TOku5~E;!@BN7J$PCTi7;rk7SoQOeN+inn_Ch4J5XnU_m1mM+qcX%CUMo$W0gv-T zwpl`D$lrWMifTVT!P;H=RlOPaTWS5V7{V7cQ<}HbC@$;~ z2=&lcpZF^${O~b%PPaAeweRdzPVgq508Ug(9n61FdT8H26Zc-)36(YIYrcHo(+w$j zRcii|i5jAWk1YHIb?p6KIn``&#K==^czQBlz!Rzg10MKyJeYV<)IMz>>GhrTbF$^P6yt=tb*;&H0^U%+4 zOg2nS@)e;WftWbMXXC@^4tD~`Mh%1ABpR0qlOqcJCT60w!tUA z=A4q*hZ?Aw=frojDU6Pcwa#@bj@wJMDik{zD94CwZ>E$fG7lQx#asCTT%JF7&!^@- zD6_5t2+0QZ5}pDD18_9aU2rP0HK;nlyNaO;y7|+~jek7Rhk<}pA$P_oKH*dFvsaj}>V!9WvGzb#xynCIy`Ag3h0(c&@@h{fV6DZ4YVA(M6&cn_ThA%YYNpS#mBH@j&o^y{0&H* z2?f{DvX6O#_i7K|fCMJL#c$bq4-hm)=g*y#sx**3x3->@VF!OvR!9KxJ@UUqi3 zyXtQ{?SvU}BX6Z)5LRxaGaOW!9fJfsejIy{Iz)JXsPz052U?RlLL8Q*TK$>aL^|%d zu90oGFN_ecMv%5PS$^XC34ADA6QSFfW*Wf$%+16KrV!mE?`rMe5Wf!2*pBfIUJpG- zXlPEs%`~`=pCWxb**jUiky>_1fHEseOr^bqtCdwsJn_7az6|jy(Iwc{yyG_XZ_R(G z)tVLVy40+D1-P240B@$Z$g$4#eRaIEmoIYkGfeVjsoe@&_t#_yR~lM@EOhAB$V$VS zZ;L2HKeGaR@FJgPSRR#8Iu`>HPnR)i_e3pX}NuU{PsPK~Nn{Ov9( zRgi7zm#%N4A5;ffg7{KvK50=RTf=4D2Z$fU(*bw>P6LT9(bSynksRzi8{l z1PhHOX{3{7c6k+gcM6Fd%R?$|qvaIeGT}-s|KG%?w>x&Z9}>M*Elm1TP1dCW=9Zf; zA=YR-^#oZgxnYy6TcQ=S znZ<9^@y^AY&VGKV7F`#7AYV)9&=_iCW*7-9D=!?QDVeNjQGD&r`4R2=%9on?H_Y6B z77N|9*-_H-064S9fXDw=@`0Yb(Ljm`*hqZ5qz0rc>efCMqJ}y#LQZ-T* zIR{HeQawU@a4y$s-a_N4OV>6dss6ZmBVV$F)uba-z^c&k!;xPIlYZ%+}u{e)U z9V7~ql@!5RlBilak7p-|Zpk-?88T6pSJYiFNL)z(S^{@i_!hUHm^`+SwAb|3NHK%N z)0Ge-UE^{QGqm(QVV<6mNI1IzR*v7*pthD?Ebi^4D?!t|9&}CeTzd=sMy&0`_up4 zJw4w%+;8;RpYI=E_8Yyq{PysDcX_}2efM=gU9e|I7B$gx`LB_;q*r z5C8m^%kB04x83XR>FVZrclqD{_4(!g`Zs;K{qp=<`|`_v_gbZzg;e0*ztVp%@3!>c z`|I87)75kP`^(kcbA8TkE?=IXF7F<$ws-Wv-Oca2OQVdRWL$i?dEO6#ZXdpHFP^WS zZXWlS__KZ5U)>GT+z&~+{k(nN{qns3qe}BXB#j9RKP2q#>&@LLE&jN)i*FAPw}Z&^ zV|c*AHQ$!20>c=?b+HtT%i$eu10bChf4W;^Y1&YANNqX zhbGbdKnDMK+-;wB+cAUojgIuPzqxyEf5!*kt^3!z``y#c)#c~y=iS}(-%-xHwSFn* z?qxfP`m+1lM7>+*-xl?5g=eCOzq`D-hgRKunZOHJp{MWL`@wqYcPsxw{KX{bvI)HV z()0W74zMb4{4&&nd3R@MQosH2`0e6l|25&6?HBsiKU{p-UFe*{XvE*$JEZ)_?S8*| zx_>S|ACiA!U+HF{es~@9)SNhSa9LyDF(-~2UDp2T=6aNK;)v1YTwHyi=w5a+Mhl)wi_UUQ+$0+5*G2%0ZD`e)me;8!h z6Gw^N{mb{8{qB4JFv>b{i1_*d@9A-O)jy1~PE`0i`?$Tj-CpmWFJB+GPw=~@KcmPK z_5RM@qFcfg?p`17>?r6&rN6VEk+r4-l2tL=O2pu@jKrRmAP?7fo@Z z_RD6S`=vdx1H9bdTs^=Xe&6oDExwHTJFz<)lqqY_o!C1DEhO#v$xqP?&H=pa~D}5{f9p#)FN&o)5+f$#OKaJ8(jwWt@M{m5j z-&K+Gmr?4;vBl$;ue;}~?c;9#G|D?Uz_{DLUVZ=a-2RTTPL42;BYZ95=8vPqlY@$z z`>+2G@!-?b{ArYTV&C}o$JN8#!&Cb^&PANqGrIoXZ@=%B>Kjh%3V8bJ;pKkcKa8?Y z?h4nt{r+Zuw|j;oet*rrj*?IA91oBCn}_@7`O_%v*b z|K_nkIM4A!R|xju<({VUuDakI(xD$hdgCy`I0Yspfd%KvDjS{C>R|WIq2f%|!g`%bsKcI{P2n>-(Fp zH&@$zSx-<(o&B%-oBc+g{o9}Z_3Kykw2eCZKl8_bEJ4_QbM{j($)5d(KKrCU!cTG0 z0tg@L-;Hs>8fV-`XL5)k+mA+jd-iRWtUltOv-2arO^K-0C-A9$zi!{pKAim(|6kAA zT547qZP4vUIqbJ0^Q6K~WS^pq&Ol6x3Z9{{F1sAkN9TeL*~E8|wbo8+(=*|J&P?xiF39y-h0TnP#&>xk8u(YSo#+_>{AsD{}ZP;crTMmJ*fA9%WQMT1_H0V8@tNj@Z1_}&m4zUOa|rY@V8a?cnTlRUh5AzDeYbVp~6s%>`_DxCk@nh__kED zDBK0U`#=xTug;oaY#3z`?5)wsCk_V_ypMv78dlI$UKi0v2=_dnDHyGC;Q3^1md~s$ zbSbiw(Lt2(${vz( zTAGK-b()l?gSD`ln$~D*rRLP$h3grw+5z>B=yd{ju-rB$A;%dswl{(g8*W0Bc<{-n z6oj0Ec#a;{ZN@(w`Q@*zy$?T?qDL>zqE$GKh+P>Icx_ktLdqvDrRvkVl+)7u`{exT z0Q*2{S;M7(?d9!p92a_n!4|1Wy)i0AYo*@6PJ7s=LC!Q52>#|GI~%)o&jE=nQzxAM zhjtLS^(mmx0(UA{jC3Nm2XW`&mt?7DYriz@Jmo2FYv(7Jt@Zft!cD^iIV$GuIN0gr zL#H=e%kkw16X13R_>}#r)&t>p=a^=^4d*&yq_%>eoV77T&c{b+RQ8;I5HGbsI^1wk z8wnP`m4+T1OkaF(@KsYL?|PQ+-eyziVC0$EM6s>z(lK7S+q zCHva}_Bd+FU#&$8!dASIva=3-rn9xOa3GJBUowSEr~)icXJ!q}C*o5hB7RW=5si&j zyTFKuHr5IHIDDQnQlE-0AZCDgW1s?q_;W74)kGzFUEFer4z8&N254}+P#J?>lgTVJ z{I%jHC+GEyPex4eH>yi=8E$A6k}UlC>{cW(J`8YxpHQq!tw8G?LZf$A;1s7eO9Y<} z&c3yx$SxTjRh)5pj{Z5+yAJlvNim;}{Wv|V`_D!p2(eBLRt~ig5z}FmG5HW1u7yD< z8TopZTq<5~P?<5K#XEevh)}!e3v`QY>+k_TD5<0tvH&NKsN4k(XEMw>&hV5W1bB#c zBhL`BOg{upM++i?3109u^qGt{=c9syOLoRTv?nmKxR{lY6legCR^X&gaI{1U=r|!5 zSprxQG=t1h3L%B)INvCAA?t-4xXSQGQxG^+5Dg0)hl?8FpYU`IIt6-{#G48aHAIT# z=hjCQ4&QbNY&?4QlmaqV(uG@}l%goRv5R=Kfpg}Q)-yag1p;m=RojFKNz|p&f(s(+J!ge3(Bss??N>(Z<6Th>lWQ@MrqkZ)FIKasD@`L z-2#eVYPu$xX;5PMgn@E8X2HjBf;ij>KGY`LB;~-;B|Gw~>ELphWyflF?0RqEQJgg<$jYWgcS78kODrK{p z4`>2LY{x}#_&_Ow#+XGuMSJ>nU1*Dk4i=Et+Hp8~j{!o$T=w}Yj1Gpt+0W}lf&4v` z&W;&Akbw`ih}k9hO+$-R4~)0|1x$B!avaSs86)@(UhqOeD&IR-R=WhA zGlt|O_sMh5%pkJz|%vgTPT0IdikPh6_{f4f=x~O?ex-p(E3BD$Hg=7#DPB z_uh&SQ5NP&;lz>6V7<^3pn0-eXu5zR&YMYn|ydB@V}P% zNz_}>xLylBM(eD75PSsAs5mWf?+_j&BkJ7c_}9k&Hff%)B!O?9~t0Yk_QNl#qfr}k$H08=#ymkxqbYI7&?`nTz{mr3HIpA zG*UHqVrS$iQINKT$wT!<3pz9lU5PY{;U>Vk8p~5f%Nw{^QShw~h{Tk@U8eN`$@hqB z3~3gVk8xj>MG?k_wQ)Xa$wyZ*UgjTqh>#=+JeO!R2ss&X3e9l~KE{(c%5N?r<8Lku zZNlkxF3_?XD;`alB}dDS%Vc!1a|o`p;KLcAf(Sk$PM4MA*%JKC1$V-{zZSa&Egq{>!q#3X7 zAEPhFRfNa}@s#0-AfPln8Q(y!RY-zQ6SUr1o-4s;*+QilO)bunfwKoo zGKj0=jli3nNRgA0e2zChhIKv|Xl4b7K^zE7qLAgQ7_;BXCF|OCaP> zWvY|~zjqPF7r5v;7)CO>$=G#h6=2zQA}m1Zv6bC=6r3j=2Y5;~!B)_Yfd$)aGVNU> z4|xe|1-3OpidF~}$~+_E)55-WO5kvLWAOnPZfUxdrph>u;Vn3suG1b5$aDh@(MskY zhSnLHcw}-C&B8dzN1NDU{24#P*`gKC1#S=Eqgi|lZ*ATu4SJiiCI2H*`(kv*Kds|@ z$sZ+{IT-a!QftfdD);DlT?@KQ zVJsEb(w(H^O!Z-nbH*Ol^MWs zsHn8#aG%Fq!aes5K3|0o&SR3~Hs!b!!Qlg?fK^bQ;-B{P>$=d^$Oj9^YwbAP=P}=? zyz^C<&tsM`x6WhE89tDK54DJW9<%+x<}q7Z2j(%yj0cKeqc(m>zi%66c$?8c_erGj zOb$&el(p5dJqXXVRO1ETmWd7}_|)Z8HX=U)Z*l_cm637~)P^!I$@mB_y-+0aT8=fg2Ct9dLx0&hz| z2{Bca?Ls>@^w@!_{2UM(>nQj+CK?7gpFD6thHI(d^Lb2P{4$;l;(pl0q(w3s1x!w4 zmsA}gaTaoDme$K=hLN*+k#572cQIIjy98g>%KUhnX?uo9*TX|hMyA^*x<-Cl!TFG2 zDWC|-i}_HRTdX5$BBwhSXSUIYZeN_)j@M?Uz40m!{M&907X0PZfF>1AAuN+A^Qh2P z^ums}`A?4b`BKypZOG<)jyL%UevS9bV$kYFvT*ukew?DSAzJX^#szp70uQitHcCE% zb|-paH~$l)9h@& zi8rO{=Qz7ku>kpq)E>HZ{L?zl17xd44hB=F^5Fpa1ok;+v-CxPyvptY^6IY#1LOtU zC(pNsEfq%Y^4=O+Ynhb*4;QAq#d2czF+ZW)R$z#p@ zd;o8*QBs)#GmcwlXp@X6j|~V3#&Xv3(>^GQ%Q+u?g(4xr545~Uo;kxKQikmnIO2^+ z2mBaLn{tYJuyoO5FjOeXr(h775`04!AW%fW_!bTyt^IPoQ#8$?1>ZYbK=Oi5TkL~Z zf)4|Rc9Hpv9=*#84Ht6YmZPJ$4KyavCi|fiE_>~e{50-B-JI?*veOv7y|PE9O>L6w zl?lfoLTR+)aGN$|aK8+!D&;HTxU3$2o4`8MbK2Eaen%BU1&3$2Mfq+?Ks?~ zP2Z}#^HrEnn^HP;+H}b9fed`8MQqci{fFhWX-{i?+H{d|3IG#~Oi(l4w|_FcM{J0{ zbQE$7#zy38*&c+`go-tS58pe|g7l)sR&d(+65s@WMBDpvUbr1-T4%fH*G>c#vV#rC zqDJ#{F@g)Sa?m!YI4=rSY^s%&;NXD46%c%1PVy*GSdJgfzIRmIyj1PJErR`4Gvoux z;A8=iY&NJ=&JQsvGqzUc!6!Y(ZHa>%^UMM$v4Po(oXWByBQIa;2UHfs>S=T;Im0( z_yopfC6cj}UlT+!*6Xq>gX7MVqKfK<_R-m0QGFQOjHWT0eFBW^SN2l1xoBr3yU&Tba>fp!z3M-fv;iY>qpQq1JQYpAHFAp>t`P+? zAvrru=k!OmD<^pAq7={RCBlLv!N*W-OE*|%M&eZtEepfC3OR;WGf+F6k8l^3M@xQ& z2_pSuIIM4^x%Gt{G82g3DI(+f6nHZSa6y#ULJmwvD1-Qz?lej6j8&4KX${Z`KAeYC ztT@Y$z^fcu0iydrxEy#gj?T?;esI}(E7PT0jEql$A0yr9W(7aNkEE@noS$jOkTrsz zvo=9{jvKnpB#dg&M|HVv zOIAxh+sy1zqy`tsc$z}uT1k7XVIdsv$z|^~?S~MpWN5UdTS_=ibFZ``mdi%nJVE z1OUPa*p-l$snGNig47UM>iz&8hW2?2Z|&Bn4tl$>HLfF4`|3-_Kds|@jmr%iMID?a zRLr4usMFZzjLp**Yh0`BKJ~cz>%ldyB^!~F^=f^MYqdnHYg|j26#qK4y2dpTr$wkv zd~=O!@suU6KgZQIuBG@^69?9~h}_n=nBw*|t3|i*^BNcHHiAE`ag`_PniZGS*0_Wu z#%F6><neX zqRL%3-u_*ovQ*3jEUcAMP!j{3Bp`$(fx+<}bTPp?oP@kalVJggp zm^74E)*Ka)E(V`yjbuogbkWcmt;FgGQJ11SwwKw=F(5v*EK$ZCBE&>{Q4!0av$9k* zO?o6PUD)`_kk;0i`F*eVGPqYJSjbe6Ln97OnUtVsp@TH!n`U2!&p zt8Da6Me8^$Cs39cSSg1?ns309t(#Xnsk>qvIx^ch>|$-?KG{eSGwuBLvHezEqD=;=q_)N5t#n^O4lQz#ZxN0e5FO7+&86(uuD64cb8oI6JFv1tF6wf`a z<vC9QnUk_uE7`CRbR1iAwhrj1qBy2>KA%{PaUn}XW5|7pj@N-PfsP3{ zo&+s%Cz&BQEWdJRUy zTW9u2QmF-hn##g};0Au{&Wu0o#VP%nE)Amlt6B0Cc0+L`4!uGrT4syp#Lx*f&z38f z--U7$JL7we5JYRir|To=$|zn8&S%9ySY(5iwHPyu{D{}&fn_?o!IRIV74&M7C62OX zlj)@)OF4A?D?Iun_!zdSD7+Ygzcglaqho*yiDckUzy}B-8T5VH3L_+6aP9XpDyuKUQ}Q2T%6zfA}==QALxy&_2$dB$K=xrE;}TA3?0m&7=!o7iQRf6 z0xA43!&9Mif~oR$!6ubaIw+S0dL0e~-bYZATxqin>>%5~}38K{@p^|XbvG#$f}x4HC`C0=G;wO(e|7x&gHvy@LbvII9V2!2wA zt{LHcqf|!B={cVo7S5@be1x>tNt|x(4b}*p&b-3?<<%$T^FcMz)uW;qh>^={A4D=p zB?e^#A4LvYXRaL*Z$2*^CaaRNi&88j_;j8%q#--i zKyW_u{H+SAya9a`gZu+DttVJ4~Ks^_|s_>`GhuKE4Dc4M17i6%+D!J zsP};m^K^7MSKURNbymdi@Gk$EspAX=T595zGU!?233gtzZ13yeJD041&UUh=MxuAPKyTu3|<8{m; z`A89jcOvZv}vget8x&hrI@ZESrYcPJLvh7?2mE2@7c;k>7IZ4MVyK&#B z?3PlkY?Ojt#na)R*Wsqz@YCr!97dOTQ%Vf+#hNj`z`N2Xa&l(8)vKH975)l*7f0`V z^K=ujtXDUewvw9+2A6H1T9~9|y*BO}_1aRZ^;#zAMFwV=E*#Q!ihlh^OOyFX00B%< zF)$sz(4=Z*)-fMHU>J6BnIPcoH0?s4;fb9Ct>^{LMwUUI-hMdYZAOdZtpVms(O~oO zZ>Fh3htY~x%k@NV)l$h#27@VNi*zH(u?A?|HyWUR3kff;s|7P?pil&LbJwc4+= zTKj&k{UNpB=h|=Z#O}4v*m-(iN{6e>;&7|`!K0!h_#x3Dcgn`fk@hguNF_HJ4BmLU zB1z?=b>FzFV`)a1s3;6?2~Fw4mRjfM%=Y3jxP@}`GInRU6xs$uufbXHLm8-PgLV{r z+VD?189ASpGwC!J%Z|jW977ANG)6Ev7Dd%j&vmxbB&>-%kw}Z&$iBKU! z$LBh^%HS~VZ7O&5uQZR~u6GTQQgx|m28^!cYw(n>Ooz6oSiZAEc?Sb|q=D15qIX^} z=>@0P8hbV4&9rd5k12F}bP_o2t;}Jr)L!3dsPCNN$Y3mpv>dbMT8@=9k*f?2(+W(W z`=^f9cjdlS-!-Kk@F06K0}ZAXM->l_1?Xq=CK9^yuQIDOO5N;?35HbeOjpzEAS-@d zacie5l{p_7FE>Rmb2#JcSycV`MEeQyn8DuYwC*$Hq&4C^Jz(ghi}z?mxc2ChD~*`v zs;%TIgTu5cSFT4q)`*S!MkBVASR=9wbU2rt4XZVjhZdY@wFUFsfx#D) zptb74IP+!5 zIhyW|DaUTs8k@EV($bRZKU2 zg$=Y%B`P6@UPF`VwFd*AaH|4cH!b*<-eek-;CnJ`(Te;Cyvp&kRf-gY%fUeB+>maY z^kMwXa@Qc;XhV0Owx?RN&XK)w^qNjY+R=qfD>brNDayq_PSbUbU4;l7;U-yY-ejd= zC3)S9%EX$xm*6$fs}dXj^8vg~^yNgYCHMkwZiBT`n=`(^8$Zy#t0AAQcIQyuc(@`F zp*7t&7FR8#oh?))R~a1Mpe2oa!$LOh8zWRpshc|;=n9{XPZ@(*qcupi;1@hwOS>aE zzZ?sttCJbu(G|mFUK-wNmgB7k=b+t`JGvCb9GSNFuhifioi}om!QhQ^G>^Edor1eQ z#?Td1Y0gzm9|kdb(!d6{>Sl0r2!|6#W8=~snGP6K$(+-JX)C(+J;&NgNC<# zYmC1%d&a_L$%8sHwHjYIWGuaMXX6#BOiV^z7jo||m0V?TctbBsp*g){9kX%QM>7-3 z?JYf_X~J2Va!d6LGmoapTx``*A?EU`r}ofP7P69=uKVivY(1BFt3*0*oV?%*yjAY- z63+ydPvr_e#Gz|_cAivd&TdP zS)+FFd#&ILd^(eNT~>S?cqtogVXgWGwp4o?|s2fkQ_`iU<_??=8kzn%Hw{C4Q8;~&}+Cb>La?7EcH zPJ^+!5Rz!uh@Ln1CmrdAAy#T#uAEV#HfZkN(;i)p2Rh-aMY(CyYfvM<;`8;hy?mq= z!{wf|kuj%yOo>+5hm}Z@OWxhAL=9$2)I_f<(I{(Bq9xpwsKHZ)x)LojG%L}PJ}VL9 zcO_!{-t-Os(4L@E^pP(0WRmC-d)PmLM>-6emB2CTBj%AgN&(Sl)Vxkbjy7YR8f9r8 zmFMLkZ#vV&GRM0T&E@+mKj^x0+S-*Dq0VQAe~deypq{y(7?;*0=z4)Q?kRGwYdx); z%&xoI#K~;nM^0vs`zhB>W}{w%I{Qy^_UHS@m;DCj|MJ_z_ub|F?)Tl(o2yQiz0=iTLh|JUc2`|IEIPW*^n?02G#5$ zSs+3;Hwf{9`^hGb1wc-Yk--9td6-lA2W~Pu_UlXJl0B$FJL)Kdk@w-M_E* zhs|z#t+7rg-P8JNyZ&Xpzxv1B&CAnzdpunIZu>8*D-(YHarfi;>L32; z4_E*5-=AN$cR%Z^)tAH1<;xGp_3I$WOauXcx}|@w9#{15_HO;Uzd4k@KioVXhWqUG z)yrXj^|-rPJ<<)2n_t#fMj7ABxcss?92-FoyQkIV;by;iK3?I^YJa?WY^1qwlJ@X< zby)v!IDQ?Z`EQcOgoSSs_ISH_Y^B9-mv(u-+dVWQ)3=G--R&A-d6}@g{p$IC0|j|l zfBj|k*a*_(zd}YCCA(F{GE{ z=J8Pewl{uQ_wUx*^?q}6^?CJq{n-E8%K5O?Pvtzmta?#j*0)8}hjspaQ6E-#CW`p$ ztIZZ#wfWM6m+(USr`5LcUi!nzKM{Y~3%V)-AHUT8e%JtJ1-4(BSuh_qh9dR;>+}8P z%kehhp4AunRzF;RSzqd$L+ivpY#mbm^Xhn9@3)8U@+tWXZKb+};lpdAr)FW~;IdlV zF$?2Hm37>2?piquBSw*Pd2@R=_6uK%yoEud%7e;~6#;9tXJODd?so7r$JOVT$JKr^ z^$SBqFKD&jufDcY7RHFr2v_LLp?+v&*@aPJy?uGw9M@0vLn~`xh`8M$VR~NQ)DNw! zg$n;@pI0{ztGo5#>h*cGKdgs8t;mIX|7agzmT-mZ*XKvu3Rzu~7TvvW|9X7aG9Jc5}0XJA7Il?(QgQnFT_0BD{iq+Gho4Da`+n=k@rhmAAOScs#z|JbgKozpbpr z6$W~QubsH@V=HlSQL)+H{wM0e{eJw^%3Ej~_g`;zkGp;O+wMgyw2Z31+tt&0s=i^N zDd6s#-OKh^KeVzIo5J1tc-$Nx*9Rox+dKBPmAu$EcF)JnZhII%wbB+FN8cfYtnpJT zZ(*RQ%klh$g~71cAU4}0sP%8#tA)X0?9~hF)Y5Ee|49F9yRy8R-W=i7hCl7T+2RWN z^X9J1(fF~I_&3J_kvzwRsSy0b%a*qCZtmAN5A18(#Sd$L88o8bf4ru#Z`k|Gz&;~|X4^Nl9`)y}3EZ*1tVY;)udMUv^e%KCfsOWe-_9^Pq!)9}J zczJ%N-u*z|ioAv9uzo%qcaU-U{BSpZVY|z5VQlFBMSpKMjm*Q>e)Hk?FGrFI={GPS8HhCABuEyLwZ^J4kgYi`OeinYag^RP-;X+PIdsiP!&^?27H%{llAIDm=|{OqEJ5^>z1b6Ts!<($OJ zs4FgpZIg2``El3@j@qkF7WSP}?WZ>(=ve7x)Eu7}xx5;n(a=!V#%~6l=574Mr6`@1 zJtbvXo2SOLOv?V`EX=o-;To(RTl*01MtsnY01Y-i3p_@zJ1t{!ph?ca#c)2NiG`=- zxKY-apfi_q8jnyf+sL_ir;9Mgywhp8icp%wh(tc@XZK0aD3s^|QZcsCm=kGPnPgoMF)I}PQ0 zE(g+pQ}zNg%On2NJbsOIM0=G=zBS=Q_&eo&<-`zdPM_eG5l|Ph&);c(%Dz9rZvB$H zYAseUsP|fS)*1Mp!q&%V8+!b9wRtE9LKm{7{=UjZ5iGk>Km-s+*a78uX0>SY@Welt)dpqK<18#D1UXOU6 zG6?>)s*+qrpwB{*Mdp;q+vEJS3@9tmAO#rDYX35>e>uXGA z%vkXXKTK+XD*6&;k?oL}MQ@TyY9b48@~C@U;BY3#tm6px9YP9?dLr@;q04k3a5`2H zIb!gFuc6Q6v^gIW99*&^eo^i~WN|SoAqi%ZF>ZmAI)y9-pkX*67&!uX5iEo3Q3@f2 z=s4dfn2_~C4w4aMl_?0ECWyiU$DN50`8aRaz$jo{5-%#;%n&J-A6FmANrk;mg0s$A58rFmfNo3M#!UmiivLKf@J4K8m#SuQA zg=s}m)A&ywF;!8xS5c``WGKFkxpGkfXIHv`Y7YTrZ0};YkP)sY{p+oY^RE%~gDGYb zVhVBw;QmlBX+8rm6N~cB^05m1t^R97j!2sb%>XV+vM#RO4foI%1yWYtAq`iekb-i) zPRWxa<$T1Yh*D1Ah?4kk7Pz;V9V_|42a7yf;u+9YgMXm2KBUuFA#=+vJg(uMZq^7Ib~FW zZxfW=c!4{#s)7|bTskx-^I-`2(^wJ zqp-x-nQApZ!h?V1@ZcIXCWh8)Dg=q3LhzZgEro21C2`pT9y}MqH5Q)>LH>)HjJHWR z60UABI6o$gZ8Juih8>QtEkwL<+Xog2A)dPwvL%SxLJ}9w% z!a+G5v*06~Sl?>Fz=zsoo1`3gx@24a;5xV*=D9p_6u4BrI*0}i_80_CHkZAUc!qvv zxjY$(lgnax47oF;TB5t0&plnRDLXd1t?9jo_a>PUv0*q06GIU@#sb$ILExB*oVi<^!-XsN2KJy^S6)IlbfkY^1-F?{#syv3)ml+vYDxkNKCBLH zqk1KAdYao!Pb()~(<3a}CLHmS7jV2-eXu5zR&YMYi+p4y$iJrjNo1{9T(1Qm(K>4% z1RsSnCQb|7JCp~>2s}6n3$k70xhi%0M$>kqv#3g>97J!dVCFcgE{jwpPvzuh+26xE zbwEu~BLmV)$^fCU2yZAHStfT+pCr5P?c*Y9=+s&AaFN<3*u$17QWdyoXY?phkv4@X zL-j@rIy4KWM4H8L6X0Eq<*j1n4brSA_|^whVoKmH)AIqz_o!@@xUag0B8(4j z<9yPR4^uK;_8)qPk|YT{chzVRax&@^+T#{{#FN;{FDWA9UtbzJ=1~1yfQQsIHZs#5OQcTRmy^2O@#3UE=&hu zB*RQv)1jvTQ`3p?0G-7S>|#+!o^)*BzSRU@;iI3j&2^^JL6jj+VXeTnMo7^Lr9!vQ z$oTYN-#R65q`a}q0T^y+yOg%dIF9fZoNU)=j~isWfkL#B{fDDcUN;TunzKj#Z%C~VqbvT?JkB5aV+11yQO_hb_gG#9 zzmR>-*u4EI`~C#GKJuTvN|_fu0C=Zm!~+vTWkaLsl;a!YmrNB^U${19Y1^9ZV-D3$-=<*C>;Sf*VxYYZ*L}<>Tzg;O z^I7=hJ|;;nTaHr^96m7$cm?ID{wa6A&I>Jzd~$$%*4~EeKIS` z)p)_T-A0EJd@?zejp&cSi<|&|WuzPwwV~UWWPFsD$N(ju(!y+`#FO`4$$1NuQ&`zg zftP(uxR@|A|G@{{J+@@+Mx@OtTfvXUWwYO6 za#oVh@ghGVukn6540^heERufNAE)T_y%v0=aRC{Izyo}pjgpU|-HGX=-F}bMGDgvE zjvj$f@C`89@!@=AXLJ%S2tM>E*(7l&ucDfQ%dv(I&nG^g5+BUZqL5F~OFqX7KW0o3 zTbD+C-^Dw%wy{P^qOu$*Mg)4mEm+y0@wrvz`o*lDDI>;1ld)P39M8{|P zQtX3FQZPF*;mv7FxcQA899M|BABUyG7KZkAL#5K_t&#XxY|dVVg3!-L8u@QA>DfZZ zgs%S@O!XlS^c$YizrjIik{vwJ$lP~K<6NT0WN$IMRCZ2kmz6)1t<3o`mV5KCtuwjz zqO4VSHO292j}N+~+q;+^WTZO5H+q0dCsSewMM`;)LpxuJ#0>0i@Dj#MPVav0Y1vq- z^LTeZWO4VzxT95>HYe&$Jxr6WP_Q#Nqx4R}jd0)Zj46bVn6Pbk&dLO&E}V|`l~1YR zpU>ls%C}ch5@5nzJ-R-g80B*7wz@O9otfX9z>C96$o;JrxOIjeeT(tffI#1la~MCJ zZlG+N^I1NNMX+bK5t_WC(B6j2W(b4puc!-rJ`11R3?a$G zz6BG(;S-|>nr1YPcfZaHEspc#0Qs!F4VTT3_a^Ur7Ur8F)XuOO(scMl2QG#omd%iQ zVY(So+nV1DnRJ}0r35Dv)QHzZT@0^z7_urIg&dTJ8vUBC2jNsEStIxs4uT#tO=fHc zr{~!LrT8bTz3+YnSbnB3&vwzzo%8R=4n81@8BJY{1ge}ItPLj4i$Qfh)yhe5NWhQ^ z2)^&m=PNN-j=$M`?`XJrs@nBoC%ZOu$OnwU$pN6*j518{QOGINuGYYZFQ?ySNIaot zvrp}ScnEBFSThiY*f7JRl?~=d9b7rr*`RxZ6tG>@(H(eRNgoIazugg*_M#afiy%kivyvT={pu=Jq^a}$WWPbupT1bKqOAD^WAIb*rlnTr5;hEq&q1~A4t#^9aybgV!%`8mq+5S3%u|h{kBX`+NEE?Rx5cA@2$s;>4&8^(_}w$LZa+2IW5_B zhY1%Gz3qiO!*H={8!#$2dId~{`=JSVsN5pG@<4MTIXg|izHQl#jxRZS{ekE7uEK&O z!AGdJof%9!Bk@5FJ?w#Z6><#iQDSyDALTAQkCyxl7exBWaCqNHJ7yC($Rp{180Tj?2Vjlh=d4Z8p5umIQV?1-tUpSe%3;6e zqhD+VZ~5{VI;XC)#OeIFiDLQ;3O=lZm_8V9wz*Z8hq4hp<+CG-E=5{!(Tt}pB(9Zo zUJD+=aZBz_RMJyUu}X%bExmhy8b3odbMtCT_82kE?-U(6sIg$c8s5_C> zRamr)c?J)3%+m{8)62G!MMG=-%_r3jX9=FUkn`m5`>bxMsfJ!!P>X z3*WqHEz*tu#}@>M62+j)gh-*i&Y>5EQ^+}Zb>G=lv2nv*G7-f~jVzANP=C)2LfcbrVg z^%WYJr|5Kx;$jfY5^X0lm|kL{tY^~U#WiNea=4i5*eI<}8ejL= z)hy|)#gydJiz&EWuTx#jf=(B+$emrxMo_buQ?x8*LHn+h#hiAfF6NY67n8BeVlsAF z%mQB&KC+EWhZ32Xvc}U1;9}@!9J>BM9APTb9>H|1x~mx#p91<-fDhVoIMCTk%|}c7 zGeI@%0j}?4tivLI)4T^s(QgUb*MkaunPZ<+m>F`{aaA>@!c�qGxqxB5PC{1{bZV zaNnV#HmpNcZy3EQ4(Aum;rz1Z6~8EVbT2weSxBN|C5RRRkL2335;%%lls>XY{R@pW zpHtDJ>vm3&ghoX_o@L`Ow3p+&6?lEq);PY820SvIG$znb!Y3#fjLS80Ebg!o@~hvVw$^W*yZ?6>qT@#|ob%bEVdcm4k*-pkYV O+5ZAHIWj@4asU9COkWNF diff --git a/übung_1/ads_übung_1.tex b/übung_1/ads_übung_1.tex index a53e7cc..eab69a3 100644 --- a/übung_1/ads_übung_1.tex +++ b/übung_1/ads_übung_1.tex @@ -3,7 +3,7 @@ \title{1. Übungsblatt} \subject{Algorithmische Graphentheorie} -\author{Jasper Gude} +\author{Jasper Gude \and Pia Rötgers} \begin{document} \maketitle @@ -27,6 +27,7 @@ und $s \in V \deg$ ein ausgezeichneter Knoten. von $G$ ein Breitensuchbaum mit Quelle $s$. \end{quote} Falsch, siehe \autoref{fig:msb}. + \points{2} \begin{figure}[h] \centering \includegraphics[width=0.2\textwidth]{msb.eps} @@ -41,9 +42,42 @@ und $s \in V \deg$ ein ausgezeichneter Knoten. Sei $w(e) = 1$ für alle $e \in E$ so gilt das Gegenbeispiel von oben. Also ist die Aussage falsch. + \points{2} \end{enumerate} \section{Kreissuche} +\begin{enumerate} + \item + Wähle Startknoten $s$ und füge ihn in eine neue Queue $Q$ ein. + + Nimm den vordersten Knoten aus $Q$ und füge seine noch nicht verbrauchten + Nachbarn ein. Markiere diesen Knoten anschließend als verbraucht ($black$). + Wiederhole den Schritt solange bis $Q$ leer ist. Merke dir dabei die zwei + letzten entnommenen Knoten. Sind sie gleich, hat der Graph einen + einfachen Kreis. + + \begin{algorithmic} + \alg{EinfacherKreis}(Graph $G$, Vertex $s$) \+ \\ + \alg{Initialize}($G$, $s$) \\ + $Q \gets$ new \alg{Queue}() \\ + $Q.$\alg{Enqueue}($s$) \\ + $t_1 \gets nil$ \\ + $t_2 \gets s$ \\ + while $Q \neq \emptyset$ do \+ \\ + $u \gets Q.$\alg{Dequeue}() \\ + $t_1 \gets t_2$ \\ + $t_2 \gets u$ \\ + foreach $v \in Adj[u]$ do \+ \\ + if $v.color = white$ then \+ \\ + $Q.$\alg{Enqueue}($v$) \-\- \\ + $u.color \gets black$ \- \\ + if $t_1 = t_2$ then \+ \\ + return $true$ \- \\ + else \+ \\ + return $false$ + + \end{algorithmic} +\end{enumerate} \section{Eulerwege}