From 15a3515d23ff27850cbe3c22f7109df5f243c23f Mon Sep 17 00:00:00 2001 From: Never Gude Date: Mon, 20 Apr 2026 14:59:56 +0200 Subject: [PATCH] aufgabe 1c fix --- übung_1/agt_übung_1.aux | 10 ++++--- übung_1/agt_übung_1.fdb_latexmk | 9 ++++--- übung_1/agt_übung_1.fls | 2 ++ übung_1/agt_übung_1.log | 46 ++++++++++++++++++++++---------- übung_1/agt_übung_1.pdf | Bin 46777 -> 48895 bytes übung_1/agt_übung_1.synctex.gz | Bin 21766 -> 22498 bytes übung_1/agt_übung_1.tex | 9 ++++++- 7 files changed, 53 insertions(+), 23 deletions(-) diff --git a/übung_1/agt_übung_1.aux b/übung_1/agt_übung_1.aux index a93da76..50c2411 100644 --- a/übung_1/agt_übung_1.aux +++ b/übung_1/agt_übung_1.aux @@ -8,14 +8,16 @@ \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={50},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C3030304B5C303030725C303030655C303030695C303030735C303030735C303030755C303030635C303030685C30303065} +\BKM@entry{id=2,dest={73656374696F6E2E32},srcline={57},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={128},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030455C303030755C3030306C5C303030655C303030725C303030775C303030655C303030675C30303065} +\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Tiefensuchbaum in orange und MSB blau hinterlegt.}}{2}{figure.2}\protected@file@percent } +\newlabel{fig:dfs}{{2}{2}{Tiefensuchbaum in orange und MSB blau hinterlegt}{figure.2}{}} \@writefile{toc}{\contentsline {section}{\numberline {2}Kreissuche}{2}{section.2}\protected@file@percent } -\BKM@entry{id=4,dest={73656374696F6E2E34},srcline={154},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030475C303030725C303030615C303030705C303030685C3030306D5C3030306F5C303030645C303030655C3030306C5C3030306C5C303030695C303030655C303030725C303030755C3030306E5C30303067} +\BKM@entry{id=3,dest={73656374696F6E2E33},srcline={135},srcfile={2F686F6D652F6E657665722F446F63756D656E74732F496E4E612F32365F536F53652F4147542F6167745F65786572636973652FFC62756E675F312F6167745FFC62756E675F312E746578}}{5C3337365C3337375C303030455C303030755C3030306C5C303030655C303030725C303030775C303030655C303030675C30303065} +\BKM@entry{id=4,dest={73656374696F6E2E34},srcline={161},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} +\gdef \@abspage@last{4} diff --git a/übung_1/agt_übung_1.fdb_latexmk b/übung_1/agt_übung_1.fdb_latexmk index 6c58aed..9217161 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"] 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 +["lualatex"] 1776689922.84723 "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex" "agt_übung_1.pdf" "agt_übung_1" 1776689924.63041 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,7 +17,7 @@ "/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" 1776687963.64524 5687 f4492753592b18742dd16079aa201ada "" + "/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex" 1776689920.30511 5918 404e74808326e7cb118bd3c5e2c239db "" "/home/never/texmf/tex/latex/ngexrcs/ngexrcs.cls" 1776614186.59271 2041 f7d79ac75cecdfbe676fa2a93e60930b "" "/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 "" @@ -171,8 +171,9 @@ "/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" 1776687965.9159 2666 9cc8dc5483982b638424f38dffb2e051 "lualatex" - "agt_übung_1.tex" 1776687963.64524 5687 f4492753592b18742dd16079aa201ada "" + "agt_übung_1.aux" 1776689924.38713 2915 9d880eef7bcc0cb3af62e0b7eba25b39 "lualatex" + "agt_übung_1.tex" 1776689920.30511 5918 404e74808326e7cb118bd3c5e2c239db "" + "dfs.eps" 1776689817.37668 5896 bfdfa03e5701d0b1d7555aa426023dcf "" "msb.eps" 1776424417.18606 5913 81dafb89427e3a448260b7481993e119 "" (generated) "agt_übung_1.aux" diff --git a/übung_1/agt_übung_1.fls b/übung_1/agt_übung_1.fls index 4672b31..7799f3d 100644 --- a/übung_1/agt_übung_1.fls +++ b/übung_1/agt_übung_1.fls @@ -176,5 +176,7 @@ INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/public/cm/cmmi7.tfm INPUT ./msb-eps-converted-to.pdf INPUT ./msb-eps-converted-to.pdf +INPUT ./dfs-eps-converted-to.pdf +INPUT ./dfs-eps-converted-to.pdf INPUT /usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map INPUT ./agt_übung_1.aux diff --git a/übung_1/agt_übung_1.log b/übung_1/agt_übung_1.log index 4fe2d0e..cc39179 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) 20 APR 2026 14:26 +This is LuaHBTeX, Version 1.22.0 (TeX Live 2025) (format=lualatex 2026.2.8) 20 APR 2026 14:58 restricted system commands enabled. **/home/never/Documents/InNa/26_SoSe/AGT/agt_exercise/übung_1/agt_übung_1.tex @@ -1379,24 +1379,42 @@ File: msb-eps-converted-to.pdf Graphic file (type pdf) Package luatex.def Info: msb-eps-converted-to.pdf used on input line 35. (luatex.def) Requested size: 71.69984pt x 74.25963pt. +Package epstopdf Info: Source file: +(epstopdf) date: 2026-04-20 14:56:57 +(epstopdf) size: 5896 bytes +(epstopdf) Output file: +(epstopdf) date: 2026-04-20 14:57:58 +(epstopdf) size: 3721 bytes +(epstopdf) Command: +(epstopdf) \includegraphics on input line 50. +Package epstopdf Info: Output file is already uptodate. + +File: dfs-eps-converted-to.pdf Graphic file (type pdf) + +Package luatex.def Info: dfs-eps-converted-to.pdf used on input line 50. +(luatex.def) Requested size: 71.69984pt x 73.23537pt. + + +LaTeX Warning: `h' float specifier changed to `ht'. [1 {/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 146--148 +-converted-to.pdf>] [2<./dfs-eps-converted-to.pdf>] +Overfull \hbox (2.21837pt too wide) in paragraph at lines 153--155 \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 156--162 +Overfull \hbox (2.02118pt too wide) in paragraph at lines 163--169 \TU/TeXGyrePagella(0)/m/n/10.95 wer-den, wenn be-stimm-te an-de-re Auf-ga-ben ab - ge-schlos-sen sind. [] -[3] (./agt_übung_1.aux) +[3] [4] (./agt_übung_1.aux) *********** LaTeX2e <2025-11-01> L3 programming layer <2026-01-19> @@ -1404,15 +1422,15 @@ L3 programming layer <2026-01-19> ) Here is how much of LuaTeX's memory you used: - 22896 strings out of 476076 + 22908 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: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 + avail lists: 1:1,2:655,3:303,4:4,5:433,6:52,7:4721,8:16,9:476,10:4,11:478 + 45020 multiletter control sequences out of 65536+600000 + 118 fonts using 28706879 bytes + 122i,8n,114p,11297b,574s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on agt_übung_1.pdf (3 pages, 46777 bytes). +Output written on agt_übung_1.pdf (4 pages, 48895 bytes). -PDF statistics: 118 PDF objects out of 1000 (max. 8388607) - 83 compressed objects within 1 object stream - 15 named destinations out of 1000 (max. 131072) +PDF statistics: 132 PDF objects out of 1000 (max. 8388607) + 94 compressed objects within 1 object stream + 17 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/agt_übung_1.pdf b/übung_1/agt_übung_1.pdf index d8c55a008289c1d6ff3701f6337aa0688d92eea3..4ed4906f7a9dc283a782d120807ac6b5328933fc 100644 GIT binary patch delta 20942 zcmZs=bxhw+&^3x{ad&qpF2&v5-QB(T2e&Wo?(XjH?heJFh2l=J_xC)x$-T*Y|JpN| zY&O|*HgjgD^Ah6g10n%4`G%bqij|v(Em0U7kaIfXLhbvl^#>(%`rumxB`R(M5$vDc z=+m|hH5>s>+NYKNy#u)-TAijN=xE^v;$!E$JwJ2BYbB%IV3I&g^z4I=dK%o8_dzg1 zOg0q7W(4r?=lFwd(3d!tUtZ8;ib+%y2KCoqPGnRAG98|ztF!OK=_6{qxplK-my4GnS;d-b5)$* z=q`FOr{ufEeUYY1jCGP0qT??a!yr#c3R*Vxb#i)imThbYRA0TnM_H>hggo@po5EhT zkUAtoAbwE!gWM|3UtKCyzkC5z4>lMq01~Apwu!h}k+FHF@m2)EVx`U}ZH(E&{@p@x ziTPSdXq;*S#)9_S+7AoHZ$JRQ|J!$?fQd(sg(*J5PX#j}nCetF*XQS(@#X8>Z%>{L z_9@RTbYf%02-@a3yK)aA)deT@v2fny5FwEkrHN914KT)AZGuv`99fxun4W=E17dfV zA5--_D(0xKd^s6}s294TK8bXrwrE(<#k^z`YJie~X&WA6}dUTN+L zeB+PERCG)!i%us=I##qx-)o^R&vOU$T`Xp}^DKU=mbEr})PXazHx>Qi0tgg*Pk;jB z14msEW9g;k>vE)#o1h;%aj(kqB0lIAg$Jvhc9r~b?W4o#bNJUm4uW2H&XJ8ST|4^c zEF~b_nbUN%5>rR@q}j)br;hNb-z4%oZQC*|ARD^+Ppa2oNxIA^S>L4B0gC;0$}bsQ z2GA&zs3kexvl{O4F;p5;e+Ejr!gkD0V@PU8<%-C0O~y zRgvTd_t(AeS0<^y?wevuY3~y0S;zuI3uCODzghsZLW$KGP}{FS4CthQOJ6G)ij?!m zst;~7rBQ<0_VvT2>4a*Gv-zkD9ZhU$-z|3p1cegLSAqD9GfsTpP4%?1D09c@;h8b= zMn1+nSD&YE)4T3h0Hy}K}-;61SwWu*>_xd+6PXtVB zN_Z+YwO)R7b!*&KfW4b;d5^vui<^Dn&1(74iVplb8Z!S#1<286dsu`X3|;MZO2%o0 zMySQX*?L!?vz;ljCkPGt{a92yb0LYTy<_}Zf%RSsQ!^1b5>8E%ulHz!zIjoLX zA=*I1DU3(iYgI53y|1A)228M$!p0*#I`9NkITxSJ#3zC(bsCEv1>Hm@OwgM)J=v!>BPvT^Yw3S$DL_>*xA zba#eEi9*U8P~8valP3~ceXV7VwSteh({35LEj_9#ikU_jZ3O3$aUm>48pzftnRX1XuFJS15sAj|f z;b#TPr_wft`36+-lh2TZ^BO9$UzYSs(3)cmmDt{^5G6w`HNWzi*zVc+_tTj>gq;ME z63DK@Rre(M#yZKe$m+J6=m+y@MT^S(=I zC1fOABmO}yspGND?mMlZ0`G8YjRdgd^3ZjTrK3>X29M+ZWZY+lvIa6fnrJZC;N*dF zqrikswpECago#J`{K@egl|5eQ@yt-A1#%lY0)u z2f7PM?Pe6h)ytfy8V=cqy}ih-C>>(d5QW-c?5{31C8{$EyH>uuBFB;Zl5XEDHlYv> zJJ_|USEpm1UXlxG%{>s~!wj*vGqvtKdqSe=&P|hXIm;6HP?_)ff61Zz9~P2_(1y0mi$V9jVm2p#urlK&omm zGg?;C4@``{meA3=T>A%H;@K~(V^X+ebpU)9F>AzQOZ1y3$DbgFB#0U@VZjNBw;y$4x1mgN)od*OW%c2D@V zAvS%;D4L&#j(XKgljS;Y(i5I5BKN?ib=FVc;GCZW7s5Zy%ci|Ntm;onzK#5W}eBm>|hz;3IP-{lVqC zlE>)pT0g0SqCV`3UUcN?Jn%>QIl60SK6yf>+96|CLACDh6@@=DGPh*6=yhk#F2rL? zYt_A!g>A@&M@o}uYCT?qRX9}bWjY~86BpR(hpQ&z`o49IurE`=;-(7|dqU{$=&dTR z8Uyy{dK=#nOe8Oo?e@Cv-r<6v3oW5I;q}k(W+9tFnS%J|VZl=t4mqT~1I_W)s;HH+ z`Z5Cr#ilwNJle4GM4_X)#$XEI?B3a)dwiioLzreek&b63xa5=@X!Z{G9k_?$mpu#I zAUOs!|6=T}y7@=w?qP)0S?jD{25us;SO6^kdT?=t_yB~faH_AJ>mc-LFfTa{z46A4 z0m5cYzw>RDfLE-wr2U_PQK&u}?|+~U6jzHJ{T;;pxC>hHejvsDfG!Ap4btsOQ9GAd5hXGvwgG73 ze6zhVA5!5(&A@{+>aCjuB479A4hC}Br*(>=3Qpt{E{~LCX0c(6DGl{3 zOEQi(>*jFIZF-!9OWEX2dDNKQK7pM@>We={Rm@3-@Dj3t%@lv;4HXJnZmcgLyH;1B zaJ%@^>>x895p9h_vj)@7v^j+rhG0GziT)C}KEsa9Rj$h^s`5hS+D*a#b$d4FuO)(Z zv6e!sD+E^XFFSv_EO?SAu~Q|TN{o-CXG~u4o@zM;tn8$b_qINgUJEmIj{>N}#*D;K z<{UoUsJQh+k#tn7LLSosw(X2fB+|3C2KO`hg3Yd8C?@D!`_mLm8#3I5o&KI`(<$dg zBIe2w(5LxEPW@j&PM=}A?zWob{uJtmGUz?w=PuqbbCI^t;;Tk^a(0A%3 z)Dshq>1e}~hTZV;?_37Xae(V}ZDyJAIFfiG5($PRHx%Q4e$MZa<7o$0JVFU3_=u5 zQKs+d6rE!T%4zQF1Yi}`d-sy_$PuBcUKtQrjCZ%#+D)?Uo}2%VFZL+ycVz8j4(Ps( z`b+hi-gYszp<5CoOfr3j;&2=&9Bls|L&d?K90A7%$uA_{-XW}m9(eDa{+swmdZW%lki4x_)UO2CIqFAyfOt>JM;}XjzX+Yh(fVHx!ijZKfhGzT>($xkbi0d`kfiQX67uomA|dDo@F_@}uAggs3Ge5&qR*!gOe|ub)ciYD#2AEiENK zOIzoQ{%`&`c>W{CDfy9|FnJ9D*OZ-|l~hm=;s4>-D+gQ{y#Es%3Kw*U|Hp7TE`73k+* z*vK!DF9y%jSfEphNvVSMmb!V+6zG6wmKG!k5;ZfCsMo-)Se&V!0QG}<96)j)MN?%( z|FGyNka!qK5qAmn3- z49xrql>UET5GU(@UY`zvhx>o5ey{Fi93?k$@4D78io14^CuyQ^9qb-VUG~B9w^I)P zjOF)FWkf33!pI4F0?Fb94YH`B4nfr}|A6;9)ho(Tbf`~0|IatEJgCp)7beE3isWTa z7ktHhA*KHOu)u88t;6`qF9MHOaO}egqW+#6P=|CZkj*C6ZykR7vd&ox$gsB*CbrZS zr)e7AM+O|C?9WrgRk6pebe8!wa@3J7%Mt1dE-gOd;Qh(QI7EBBPrT>R%bVW9ajDYG zsd7;KdU^L?k}Ji=!<ejk!ufxihNt=V~bY{ z8#KUb`ctfaL~^M6$04KQ&eUaJsxf+I?Ee0!-=m7l1Uy#HuGjiN@$3Ed_Kk$+j`{ud zkrMlQ|oUW6PV6|&*_742W#e`X<@3HW9Js}hp{d z$K^(~+Ohc+Qp>~+*gBj4t_&*8mNTLq!5SwRjzw}z{6iv9CTkT{+AR8X@xYfHhG$Wz z7RWTndRz9Epf{9SisoS^@@-9oA-C_mVW#`HaE_SvfofX65hEP-ocKvhk;anmtLx&w z9q1)|{bED5^1Gb~;5J7N)nKMWxmL9?8l)35#$S^k;ewQf6Fl4|=ci_zD z4v2lHa}yE#L)(-PKsc_$f(;27vr~>+Z9`{SJWBt*Ufbf+D0w8?8JhJFiv&xc+ds0; zfmt|=C=eQXu}}ji6U|qm-RjzxyVk^vXez@^nweE z=gun=?N4ukVi9lfjKhV`d`!O`Lo6i5x#8@7{V=?zb7|}MvnQnkS z&{O~xf;WanK*)6z6cQ=(`E&((*mq7Ccf@y8;wTt->A(ur^)0OL#Oeqj8@YZL=;b8B+Iks_ND#sTOsHM3CdnMXx+L7KA0G03&R?i}+Z<_xxLK z4Yq*V3SHW$@*h)4=v3A*BtH*!t6Z6E)<-#3W9a{B9_|6*G7^bWmN3Yp10L+o2uH4jXYB_c8S;G%=&SNNmKTW$Y%G-!89vShit)S5 z+sG+Fm2%UGJcn2ItaOMBnab^a%BZ}dS^<=)$4Oqtqv+br=SrDTtS77Cbl*!={6hi2 zgcVLjG7+z=?vMXftR{ji$-}w&OlKjLyQZ=V`78}Hd^Ksx!=)>PiMbQukGm&r$1t8ev**Fa`MXIjf^0X;CI1eEA z*aH#`>3vQJ_x?AzBe(N1*><7QsDZKIV}G@m$Q%u=y+$K zqgqY>DtXK$(Wc4rKJQQW34biZa%XOh1{LifkLww#t?0Npi}3A?bqDg0|BS6xr*`l! zT9b>*7r!-LKQ+YrV-S|wN!V&iREpO1Twxs_`2j@O%_{0~wy1Qz?vtFN`Dvo?P{i9vn(~GY- zqMg0-+L)UIdRCx-&kc7@C19_DF@+5TXJYyIAYa(iNvCkoIF+IO^#*um|g-)@6mhyIucco%e4oE`u?GJ^|BUierYwJ$4X(uQajEvgx}Sn zLG@eTD`95H(cWg~ls)#Y%gqzYFI@DbF)Fr7%uQviY)0$_@*n^n^vCvt=fGPvhWYmZ zFGE#pOHw!IS`}tjg-kh8q1td7(5$-RCNJ+z_bhzQHs?Pv6-q+y+N4UCN)kHggOJ{@ zp0(#BH5s~Iuf058_w=FOaGwDV&=&McMOK*4jmEL;D5xgWG8T+J)JH8KCT*%W5Ms`& zj~HRsJgf_-r)MiU_chJ#fE6~~*bEjRMKAuPw)67XYqt7G6kS>$LUB@p?d3Lf@k{VT zWp$@N2oW0ry}VjW$s4G9hvoJYw7X8xivxKiBf9=elY1=;j##TvJG!K(ABB9BhQunD zDr|ruE@;!qP$w_d?t3CDzFZIxyW0KHHpJUwg~Sf%Oct;@ap`!UzVxtlJvs@w3J>&J zXbGol;xkut-!Nz?)t2VuN>ANid|1KgnA+9UVPE@1VCu!MmKy7BHn2ynCO9Za)bX7W z?ftC=r>vjT55ExB<7k7pjc|v-|%stp793h2&)8PQK;E0&>*_;J9j`#B`;$Rw{z6fS3z_=+-iyx%j zpRdShQILdw;4RRYHt5X-(`yp_Iw!r++&x6UN?xjPs0d91E#-iPmI#6Vq?gGCf7h{Hl26} zEo!z5oW3^I!7^JEo~0kB))`^&om4q`1eGU_Dy$QkfgBd|TMJ&5f2uJ?dgv{J=QlbG z@i4Yh>97Ss^twqa>sjc&2>n!C?T$`Cgt2t+y*rb!mYI6G`q!g*8Db*5Hi7rlf-TLp zx^kk-!1?fHL*t;Gw1Hzu#8D^HaDAMpDK52OX#tUt@ZR7teEdUHDV;BcjY(e!h!83^uR=6$}09Ljp@s!-m%a=Sr z$_c^El^nz+)XYWp9Rh;;Ke4dWG{;f|fhRkv(j{|K2}AI({cpa5iW?b%hrRihodqH} z&7JPQz4*!ITm;}e$s!=(<^e8fsQ=)9l54)=%>Yl1h@?xd=hp=PksQb++$=zR}MDk!Z zCOFIgoDaqQgM;;dTQ472ef9OW&&-(YO__vjmbj=WWN`_#7%Emz47rsJ2HHqcqLOFc z;RP$p+)NYeCBARN3%(j0X_%a4*76+a%N({Gm!0Fj9oL`FA{ZF;x4U~^AG=3zLkAbV zeXD(~Yl3hYtY)}D!lWMhzgtW%+tNL~E_E>oPFqK3#~DZmfXfpHL%~FFN0WDq>6y0E z-vg?)c@r5l@H0zNGhCwg%VwW0-sYd;?iPm`;2cpVP=i3R5lN$8lArC5%z$UpjuZ9I zFvP$v);4zHWs_XdZ+gbtW?C?+iZgYx7(5Yw!+}z1M%bmyskP8^7#o%e9n4jl>zngorJO&BoX? zXZCRIBxhpGC})~y%q;(UP{83x7H-~Lb*;{$CJjFmZCvT4OuqnX~`BeRmQ z|AtBipxT1zAovE|2k(P3gMS2j2fqeG2TKG~1!IXy4p8XL*8rgb+?nuZaV$azjL^*R zn8DX1i2|+~FF6e^@}%em%#5z$_0bPS)g3n~lf^W|+aDY4@#VU6E$_}3agEoy&^rFl z?Ikn|7*|TVLOKo(6anHjSjjGPM}6r%T*UFfJTY)ZH>!48ev~K3N9Hwj!(KS=JbxYofQM?3-MH{_&3 zk%N7&dv&*&33bq5;wt(*4;u%YqWP#qGR-bd5=~?~R7dCVjy?HFiEi(Aw+FHEbyrh> zd{@*GEHiE%^k?179Hy{+spYKeVdh~bM!qz!SnkxV`OIhLTI;j#2JyRak=ByYl9c<| z76&=ik_j8Z#Ll9^=^Rb-4`57=$^I-|4X zkHO@J)MQCB z?nx+PYG;}HXrx_Ayo14NP>4!MG7xqlf91ose9RiiNLeU(lx<5nvZ}l5BoL+d8*VyY zt0?W9zN1d6Fo7Pjj-9g;wb3rrX)jW}y3rvPO=eA=SO`PO9!2E%Sguxzh_*@qexAs| z_gY4b+IwGi=Qg1>)jaO(Iryz}>Dl%n^3vm&Q$}AH!7#UTC8kUDlLSQQ1e8v!G|!z_ z%BHxD;=e)!D8o9WMWrMzrrPj|i;8hPaoO6iue}w2tlb{zI-nvhO^6xY^ybLs(B10Y z>=HHHVSj8&H!14itTjEB+#r?%42S(VN$FH4*-icrabk_X=$M>|zdsWSu5PI8Ao(wl z{5n%3(nL?Z%m^8!_`S#ZG{pL1`O2yYXE#7)`RqtIBA|jom{oo=}Xf&KMi+COaHt>84x@CiTFn!Zdsvv<#b(3FE#C=P$uCMHvL=DG(eWaBau_VT1MROqh>F6yn+{5+#Hl zl)PkwFKW*iShJ=-bukc?IW2~Y!`37%`aW4d@Zq!GO_}ENLiud&T@JsVD@os z*e@&6)sn3xiHMMzWT}7%Y=664D0KYY=w+8!ubBrekzll-AsC5NE)DzOO0IrUmMq3b zd#E<7zLB|Jq_sT$Bue96$@iKXpo>|hlJd`RK)>rXREQKTEPtJUCM>QZk)M{DOEs)F zHBvmu9bTafawLl{utt-fZ_-LZe2>_=h58S@Oi$xKtJ~k4?M5ja0E3EA_;;+d{X|kU zuX6E;B^PUS@dCa`z5=yP6PuqfiYX5qgn#Y-feD5}E)p5G8p8DFtUp3_rv3<5W$fGC zQ~o7k_Vl;*V@G@An_fzG<+I?=z}%V;m}HNy3{o@@LlwX!h=xhkP?`uphO3-1u zb>h8KGv?a72m-V}*aV?rN7VlOlwU)EoC=WRV?(av^z-_66yF68*&b+LbitB#58i{- zM&CYUt36y-rsVK%Tn+u+BJo9E!7|wsH4?Qime}>ro&=e^(}JXZvPF=GjA>JH>!SSjRD=Z)mCn19=}cSG%3*2QRiSubW?McWS}I+t)3-qUi9#K`hI zVJu^~qm5TQ8nUnHAdo$}?8k#%$r*~kTar)x$Isra1$t{W7FVRFX~p0fbX+?#nQ{}_ z3rM{B_@iM05kZydq)w+|Hs(9)00}vMZzCK(dTIcC9kk&{+*^ncFF8l9NnsjS*L{8C zL~Y+;yrX#LtXf@ZXjK;Z(H0C)%7&nCyz~U}&KOYANYlwkv}&xraxz}6C=-%ZDSN;{ ziJ}r%+u)D~b9n3f@t>Y|(v!X|d_|C1o9<%A9a8OOhCZJh=4Td(EDvxESUD@c;+1Yt zl41a@ItILIR~{EAQE{}J?40yW26Y+PQv%3>Db?1y*>Yc7(V8WH>S{xKPvh(FJUSJY zr`l8wo%+Sz>xxgOg66F`f0C6Y)=z_JkW6u?=hJQTk*?H;NIC`#C+2{IwxCl|3uT@$WrqxU{H;V*t?k!0a z2M}SL&o<=^t*!WJ$0JAk`YmfBXsvri%}>qmqwrOg-gc^PnR97rh|nX4)oMAslM7Hu zD1e_G>lCb@?-e$X1US#u8Ak55mdtWCB>hYX?6n+26jDOCZdrU&Dx@-*B2J#emgZS= z+w-q5mANYWsA@>pDfL+zPs&gMn=XXWl7C^2dmxR^ae3>0!}`h6(b)vU{LsmJU*+T? z!Bzoilzya>33h`*#qeJZ#m+8AW58C2eEZCNv#u)&{^Z88)r1$R8td&ob#i$JoX_lj z-tXX&c6s!slWwC4(WVP(t5I*axq4T#jvq_j4P(bIbw|EI>-#WmvIUM9AC{%>*@tdl zW3sWElDo3~gueuw)}m_(+u)hJ@W z#T_$(BS!bsGtDUXQ?Au;mT(sc0D}O<#T0D}9gI#P+#ch(CJ!}ZRz?T8>w!ZhRmDZg zh}bYM=@5ac3669M6R8uaAfN`!^n(GF?@ux})cOlo$BCO6LgNd9l}1Z@(AxUJa~y!= zu#lvhy?~mYUVt?8&w+Z24e1Qu4TXuT^Z2UZ;T>YUXGXxntTnprjG{OA+~?3IwPOu& zoQbycBaPB6dkkakz-PffZlkJ)5Hhwz2U}N&3*zZ8arD`}r1Rf;8Bjj|*nqVK6Hp6& zm$d0zqo=Brn6uDgK|H7*nB*HahvvW^VzqZRHKpM#^A^Ig$#xibzPE9$XB`jAB)j)( zZ^4;38S6Bx;?6n1BnpP$wdP*swZflP?6pDAkB3CP2s@Qa`xMmqND-7%tP`<>*aWiG zdFT3Ssh*O!M5x;z0=n*U9?4R(h#Z(SZ<3H?)yrqnt=>%7ypQ`~!A~-ps%78260;|g zcPv(JqPa?=F!n_%J`#KE9Yr%oy*sh+?GJxGX}nhX2N~8d$A@@Y=T7C6JXp^N2#_CP zXZ%X=(pkBUxk!<`a6)Tk-5m|`4fiD7fnA<`qAk@>`&Bk-3XIYgc2@4JI0`eb#RkV{ zJ!JwH*f~xd<1L6bLLZ=0oF|+Y_yF}UacBe6Y&H}#A?fXK)%B^Rj`T`By8%M0Pb*2H zV7w^>H_y4ooEfH;1+V6)6y%T9sNFQr*n%%On{C_XC@c@#7>Nu$uY`8?Q{;I5SaViH z!-7kY#$jRtKD1-Z)M zR^|Ph;uc*A3BiiJ$pkF_Cg zgVbwt^!ET>j;WZ~ZQP}Bfb5)Poy(hQ8l`EI^DzQZu()!9o~pWOg&o5c7(ai@SQqQY;fCXq`rgx#FkbiZq1Jd*(K8m@AT(NF3T++8NfdlcFBkQ~Z%^(?1KZ zrBAN3htL06tH7O$CO71~Mh&SDv^x`*V;N7s$Ny6{aodc`x7PL15W0Q|hVORb3g&*K zPX(zqyN}#p*wh;XK4IW+s}+)1+pmDNLMZ?Om?}_BuN)Tlf{r>lYp$TFs-%fguIIYT z+bEU@z_-Bek+NH#5O@sU!;Zy|)??l>#LBruBty-^rXH`q64{36)f(V`*9ZxPL+<^m zZNb_)Q8+kh`f!yV%n^tBt1fc~M=!LoNjHFZQ%%rE8Lwt`5lc)S7i+E)QgDhO^AWxU zP-sICAY33BIv|rk<&+vY%Xv!4I2d~ODaKFZpLAOHYKh+&YQsKx3_`LZRl=;Q$d~El zgnz$0<8KR`4f=35Gzv%~fZT1+x+3md@ZOWm2(Bki5YDe7?=S1=u5Kg2FOW1uS8ZhG zhT9$5!KK=QEUfXT1}sGw&h}uXXJiHe011&HHA#`z%Y8|){AiBFd!C~tlb>t~U$kzj zHwFJDot%7%n=o-rRK`{VbGJUijh3EIg`s@%hyVvKyuD6B=fD+lsnJyoJ}-zXo&Hd~Zwtkcl6wm|neB-CT$mF3WfBgHOL@0ymZNN_XDZj$1~8|~@!=m^7YPSe|?0^U4wFciu*!9Z3s#BDp60E!IjR2){2|! zey-ZDxO%xxY?auuG?+?o+f|s)AJ2=wA8rJxpUCh2#8K?vR&tA%N{$`^+-ne>cl9oO zsO(so87mj&u0fU%H>DPLQuwO~{wgTXb&H!-Gsko(AW-1m9KN z=K<4uo%`;jfhOzX#+n&z90OuXq{ukrmPY)>-&uN2N*xquD;1O|id37|VR7fW(|WMk zK61OiBf#BeASwN*4za@k#%+29@E_SVgQoYj+xY_0a6$pp8d)^BQHc5f`oDo-C0EZ% z&fORCT8IuAeTRj`J9_ z1oSpnTY(uiLeKaTTWa5ekxWux*rZ#G^1Y^;9EjEaBlYQQC+NokT!=l?9{AR{!(~Xn zoOZ--h0*$LaDKHAZCyQVJ3fca-ik4G?Od!-8$60P`x3Fkt$6zGe4uUWV5k)@ggSb^Sjf@fEIs> z8vq}s1mURa9^&l+gbcWcebYzFk}e4Ky~<9H44t8j-yvsCvNGzJQ#dSB$e!vY?OmcJ zOZ%Yd>w6z`cO<9TYIR*iw5v~?RILuvFHS5WB>iFu&2RX0%y{sl>PwhCqYNtQZ+q5E zWL-W}X@yIs9f@fA)sA3rn8!h!s&O;h%JfaWiBAILB%o{qwht8E~>qXgm%N z^;#;*&P+Fo8O1r*<&}j62LQiIOvf2L#M6xnuxIpnKPzoG^N{!5wq)3lJ~?_H10 z%!oi2V#vQ??j=S4dAb5_WR(pU5-BjHY4evz)~{(NDC_qu5euxR*2|;hDmC&bkPtZf z+b2o3cmQ#m&!@N3)M~k)g+dvsIyH!nSp9xG>N*iP2pB{e9ztkNJyz58;a#|c`Epa` z?KD4ccK%A}!3~>4Uor#p9ZN^rNDyUHOmU0MPJyX~<87VYygnM?$IL^eMUh^DX<|i< zG+9+OGH>O%&CNx!M3i;%3#X^OP01*i)n&ZGHI0JPJcE=SqKDAKh!aL>!CBEfQoB|? z3?c}A6u^HpMT*)|C)&9i78$y?t}wO@IZe#jfKJK0S_>! zKp_HQNb(M`FnM}71f7sydD|14uJOspB`iP*fjlGeKFPDXca;E;y;D0Or*8ON2ug3dAPSle18vBodNm~sprE84GLa^}FAayJ`KS24Dx zD&hAOOXIQT0^Y4cN*1G%90Z{i>lUz`v*rEtgd5V@;U~nY6osI{aE}Gu=ePXsH$r_Z zw70wovRvQwikyvO7;%L&3LiNsm613rbw=pQ((4}@S-k*l^)qm)+cgAfJS#Jdq! z=CS%dWM~u$ZNN36WKwg2T?r6kFL&NsgZO2Ztu~eeIOh*XC3pA4o|gZUHjjU7J*bc8 zTR}hDcBC1BN2oHbE=zR?)6}igW4c5TKLihx(M-22s&tyDWE_<0R`FI*;bsbgh15-J zw`Y-1Uocut!O1Q_h+d9y(I%W;$)6X3k=mb*9XAZZYSu6RC#ziixY-2ZO&-rI9pua_9JlAVw#!$#D9ADV!`THu!uD1 zAERHcfkkBL>jy|KU=`)h#50gIfS3?1HF0%|lHgnKvvB${)*ysMBrF$sC{#@r{bhru z^4?8PZa9(vZ$21u(VO7iAnRU78qbYrJ+pVVc5Y3eGu|zz4TK!q^CNa97%AuL#mQ|? zB3BrNJ>2EsN{6+GdnDn%Raxh6@%T&_qDXoO^s~4>cnGVRBAupXLVpIT7NbKP7iMIS z`Uk6GVBUFgB5RU0h0Y}9(9{ESy^7g!uXn`vCDRC3EJ3!tLcDY1m+o^iqu|maRW+s7ajylu2cw3Vn2( zt;GuNChtJRe#0HAP>S`7VY|Y5*78*U7^1|XqaF>m)7lL4)x8eH_5IbTrxE(=iu{IhJ5Lm-YrN`x_`;R z?ZtuM#UVsp&#< z#c3Nomx%W(Drp^$L>5tS@XpC~Gh}K>z%BJp4PhndskO5W#)$}Y3vc|-A8@NB>Xs{| zM?dunAfV~hR%}`<9_Lz_QKl0urreRb?(D?|wFIQX59q1q6+e=)$9u=%jSi{hnA2t8 z1U-Xe3Ni0_X%6x>y3T)`aXHidT0h?=_9xseooxTlAY@YSGJ(De>|7c}PPtoT0c=y$ zu#iOU4qNTJ)cj+?_D6>*jb#~3;JV?fRPS%Nc-aLqWvR~Cn}Jo2t3R-yW3gIeQvwug z>1eOOGYvTc&VKp%rs0wpDa3U9j$=np~{X3fum`53` z#nD16@J>Xx#+U5TAA|1yLI$5si-ottW0p$pN@_3_2GEjz8QNg5Qy2>;rIWq=reJ!0*s~VGa4~$ zQY-$QyAQr~QjL|xl4bL$jTTv|T^vq;Zc?l#EJ~roa+TfS4j~o|l(_{135Q%vFf(&f zm!ipQt~^_X%@4Ox{T4XSlQ(?PzoN+0eh^m14Fl%(HO%;dN-UeC!NjqBSAz%g5&68W z)JXa)?OGh`n@3?fd9nF2fJ_5i7uoc{A@%HslVS}Iw>78GF1=TGqP{&=(@9bh9C`&= z3*!)`x_CrP4G#q~k7cQF$yHWtV%-9qsdcRIbD_=NewtP+-20Ks;+o zbryOmab9nt$gFrsjOF(ym!#)85J;3PPY)geS!To z`nmGIGj-Pgne#((v;4R6VgsoPPFup563?Gl%MvB-A~zfCN0g${frUk?$+Y4c+qq^a zE9e^&8PH#SX8B|y8dzBHBNqR4pzBKU)k;d$gC!M4m!y60qs;;<p8F{r(M- zkbEOR;r|qJmQhh~-5!@5Y5-v*CBz^F28Kp*hLT2FT1r|vbl{3s2h?p^DCyC3#C`@h%zc)sj&e*c{^jCXoGP+X-kgLbZ;S(}x7RpfhMIm{eFF zYbE;r(!EXFd+js7Jh448J6~-y)nWG}to)s?U51Xvz8D=`N;uT1|Lx;)X^)>?<*}F7 zlV0Uex@b&JrGtLE^=bTW8J$-U4{5zoU11#3SNi29R zPaZ~LJ6q8~UlDDS)IC*Go;MN>7rWlh{&WiUtEOt2-bElG`5`UNw?XNrDhjQLr(6m! zj!=XaL%t?lXFN~;em#eCWCP6YWw%&QV{aCOOO}58IhU+#9xI}#FrbzGE#e6tZ)lx!I4<3*`0R7+Kq}SFS7aZ658y-Q~ zq@Xl<0UaOk0_olPK>G zTQ=+#zv3x7l$aj%#jO8mMXZmb#YbS&TX0zJ!g<3`X|XMj@BQrx>_X~^#kNG8s`buT z)|WkY?Zj`HN?K@S6v$e#SxM{S_s>yRye^F}XAckR11HmUOo3Zh2}{N`&(8u)!yjSg;!AdlQ_77U}SV*FrJVo1UUeB_^-=F z6e55WE(!*ULGH}L_V3(1SpS+}5+s@N1;HXhf4P+*qd8|rF{<~c`ukV~*2q&*e!BLl z?udvqAOJxtLG18ZBbFBCu9@t zTX~_RU!G|<;9K9l2S~y?f6>7@N90soxm3rKH&pQnN|PY`qdiOnyB)AW(gHD+bhut> znjP*^VUgVi|0C=OsDm{;o2!W!Q7|2u`edk)R(W)XVR~&h7MK6y(*bZ)Uxzb+UEVza z_f ze4Q36LEDjoB$e_V-;&0AsL8QMBfGq zRxkV1gb5-VSJb>RPASlE`IK(yl-ION9iNJwRY! zvx=F2yo1;(K}!f|)pQYuqvVbM$zi}`=JH8^S->_$;mqr$Ea@S2b4juWc!1~C;bBio z?2b}2$Ww9V$mZkX5Sp6ANw{=GA0pbvJ~p#Fbpz$VUVb%OaKJYAy4ac(t_ck$V#dvV zFu55APErh%5|ssiE{6s66u5Nf7DB%_Uise|*Y)=XH|j_PmIDfSRw$UhkX;6I229Rn zF2q|EH+fID`6sOhS6C;&FS2aMQQqReDE?$zW6e`#jrRhQ-(Mmv^G=^-s#}P~k=&pK z8Mb_dsheAaegcn7E&7zD1}U5TLT@*NZM~=RqXJOU=^LIsS~u%22_I6rmiKKW;f@S z)k9Agvj~Fyy$^kWQ)F4`iFr42#-fP?N2QJT{_15p`)tIQfsCCIH3^0)-}3`xL=`Cs zAwi>aCw|=T@UB_!sOsW)&uqpuuj=n;-f0g;Ek-AOtMzFWJ%(PXEPdZ}fo_o+I(P*Z~oEq~7$$nf3x`J1i*KQKHQoy4UkU!_Zd)#j+XmfKQNM-=cG76Fv&n zVJ}=o+$H zqo@zYqY%=(?YymRCz)M!(OOI;340i`qG};bNr}_)6nttdp zk(It&s9XMaxN>hkcmgO~kAjYl`m|1Tdf)s!I$JHI#hi9Ij{1&aR9;oM##mP(@2!yw zCxR-cw;2t2+Sb|V@*SW5L)3z1Q=*u1X5lSm3U@B|%+6cw8hiYYhe1LRh+f{IHD!q4 z;D}}(zFD*PS$`<;O-~@{OP9+ne^o6w%$B$%CS>v;T#Gy=jc8ex+MH)1G1+m)-9kZ5 z*^t(wMGJU!333)^dQUG1Y#AUt_Ygkk^*VLIWD4dH+Mo{zd;{I?vS`y`bp^KM3g=iQ8XSZD_8t@!Wa*lVyc0-y#W_Ji?w7_TrPG!YM)LCN?aph%~!H+7hy(!;zq@(ASYKORJOf#Y#*1es~NQZd0y%P~Ru1 z`=gw0A7OAjP?i28*UB>qIVbq>NKy*vSAK>{e8vB+#1XTfA@<$R@-eu0IL@Q!Fh@Xi zRq~N#CE)g<5QVs0(Zj%D4@dDN4%^ncD={}LX;W5wMocjY? zq)2p=Sp-SSvu+ub%dUTKGbR31;<8yAa-7rur<$0Gmmjm8xiJqH$4ha0Z66b<^9F%j z8xX1_3QT-UG~nm1fHXrb5tJ6KPGq-C)s`Lq28ejVze!77t#$?Anpz_dj)FYfx1ov7 z3HqWJ{9S0mlg8ltVU6Pi;}Yo^jS>zwp~t+_#xKJeJqJ`Z9V0y7BL? zWV;FL`BrMhL$c!PZvY-n+!v0co?K%eKbANh=UML3Sp9*YJ0|Faq~BVpRaMzcgSdF= z8|L&~7s>kpo3sF1MW;+>$xP3>oFy5vA^Szbnp+$av@o2JYI2vUX;h;Qwg|b<4K%GX z)W0}rK92cr7Kkc8**&USM#?u`uXu88P5gTCJ|;|(v+c8<*=}OR>A)1m`OC*z$fxydct0;Omzd~s%1Jik?ecfU$g~uw#*{HFYerR%jnEWk`ryseqcr>Iiw*F(h z&{u~=Sm^oolDFSu#&MDt-$t!Owz0q$+`Hf;=2{~SEGm>4p?rA!8+%sZF7->p#y>|@ z%u54|JxXtQGm%qv8saP^;-3>8o8x%8^9+>#ji%Hw=sLus+{fs z$9QNO1<2ZunZbH`$s?DHF@ST?XU^pC-5;mw$XzaN6f1#AIZ5Z@q06}=)DG4P%rOMxNqtftu!HGCaKVth+LVkt&N zVvX#|xQ{C+fJ{TN!370bO<4JK?ES1+!FM^IKC3Y+m{s5|?#kLOE*^Jf{(pV?%FZ?} zcMAMJ3VPQmDF6n`$}7l=LinLjF;M}20a-CYA$fjLAt)FORS=Ms`hQvo|J!5ocRIoo z1PlMyp29SY;l4Mr~z25Whl%0Sr?Dr=F`2q>FZC+R+s-p*4c z$8PTZHkvm7@7Ldll*`ku{RXZ4&Q^|ylvSqRy{~S$EVmhWXQC#{rB@XqmS;hN6KzSk z-7E8~nlcCgj(|N}NeF~KZEKu|amdGN2mk&p4+pD^L}{DM!!1XU^59bu$I|N5t$<0X@Fxg=Ecq!OIls~s*sMD%R zZr)xNf`biB&Qxh_3kE6&Hmd?*CQNDNQfeYkdCe5)xSQ0#^USHgO-;Uqc{*AFnwvIV d;xtYGMUFz9$b>p3Qqj9PljP}Bn1%w$e*kDdOu_&F delta 19385 zcmZU)V{~9W+y32lIyI)YZQHi(c4~X-?z&Ukw%w_1+qR~*`=9H6-f!=xoxO47}OfK+h<4JJf^w-wtIbh3k?ooBLT|Yp1%rj zwkV_lAFlQA~n#?%@3Q4 zokBFCnd?s`Z?CxcDdjUlvi)UBD!SdY8!z72UN<_&tZ^RQGw;%xG{osK58fLpKz;({ z1T8=o&wtyIinhxdBOvkW${>$j3Of;XiMm0RS5qh)(mKk)N_j(+E6*bL9I0HW1Me<; zHnXsL>PW0=57Q!E1J-U`Nm&=gtwv@Ll_49t8zAHKHv4}Z0m&(FXpm@^x~&Lw|! z{65(1U8)!5htW3mFz&8t{4#DTV6ZP9uTr(oy_#EV!fAL2k}6TD{Y;C`r_6Z2=8x3t z^XI*@wr~bvB0`{}`m&fC%t@Y>n1#!3_z^ zp;eFdxTE_=M9zDK@k=3*ey;ttxDu@euY=fIH0iY7Yhk0aAWG7alZn;@czQ-+y}i0` zapZ&G!mgTmn79a2tAg%h!+x?=?gT4NDxT&3=+wdyaEYWQ1=@tQH2kUk?3cQ46W~HQplv84|Fxr{6l%12WPr;Nk z<$CM{jcF-U*NL7mYfR^*O(DdD!Qhyx`MeZEZFvy8I>9J(xvDHB0J)4Z4kjhqhys#} zpKvCYHtNcwm9O;FkzHLuz9oOHmlq^yKkg*WdF83a=6U_#Dgy@FnZ0SEOkan3l`i!e z>%?U`T!y75b6(|b&0LCl)@l+sLDxJ9^U?&RJ_}1X9R#hNk4}m3Ouip1pgCWBF5efs zI0CXQ6ZJwNf}T(aKx$C`*(m$VuQ~@C>U5qI9ADFweiiZh`bYP%tr~_4nYAitEnjUa zE|$nxLO`N#R=WE)ml(tRPdo37vAa}d=5JwIk$3k^GPCDmiP68Kb8tJ3zx~RI1QBK8P0fRI91_^aj!IO_s8aUVy zxm?pRZAq}?$4`7sGs|l3+;_t3n$qpk4ETvbK-af&N19N*m`vgC{=~?0*{N&vY4A z9|RQ?jOXsYv{U1SCGJlDwZ$kvX+$!%Rr3;pNE9^t30z(qF@Fgs39=!c4WE2#%j0?{ z%<==%eo)qM>63FIz6x?X4MKrY+@@KdgFd}1Mu9tPK(|^>bWV}?6W28MQi67@*XPTM z^^K4}s7n%PY9t0)wR_dh)E~xdfA&TPbF{&KwhhfnG-keyAXLosfz9Nl17hkZ*s*7fJcFOOQ3?{tsy3YccNjI3HSVHY2l56#tgOka>$86**{Oud z-DFXRdg@ji*DbQHvkDN1>q@vZfhaV^5OL$|6nwb|Ug5gYu(+q?f@PF#9& zcOVy+j=kx@yHARJ9h;``&kucc6m`zvU-UQ}1X8y7E!;mK!OY{P)sCD=?ybIhC^Li> zGLCZpPT>~J>q{tEQmoRsa9?CW=7j{Dm5eeGe94c@U9OkNjRtkRI&N4Nv4#? zPg*+Xy?*cJgnwM5E1#aJf+k=F7DzbvVO2FdV_=l{d00do9B z2ucry2y&IUMFzSfsb6i=DF`;Al{W!btM0pYq|n1ARvn-cW%DpgchHmcr6@Zbdq}9Q zUkq{sCDlHR3DUaa^-!YXH)Y$b?B~0N26GLYZr?H^lzNx*r^MI>Nls84IlUqC*>qLE zH}VT4eu2}tK@w6I6oHkHkx-eCLEPTXg^-yoVHBOG;R5Oo6qK=H7sdn>lqCU_j{=;T zlllMtgq_+lF(j?(@+mssHN z{g>2X`I6!9l4tvG&D;3BnThD7beUaWA97iwA7u%MU;*4*w!!oFN5iMnZd9OCh9~Qq zRDTL$N)TrtPmQPT4M{uI+XbcoN_0z+Pc zTh9ER)N(e9X}}(fEsJfuApYo~@In}t+iNDL4st(;!^mWX_8gm5u3?{6Z$Y{0)I#Yh zNNN5)iJK7Is4>gqB9ald2`dlACg@ZS;O$PxBbznfy&1jCDXu&0$Y>JRVuR7%a*OJT zm$=o|IIWd-;qU51p7p>c+K1uK0C9eCw6zv1@t-0KPLqXZf;4(Vdl-2GuW`#;QoW$I4YZb7Ixj+OPD~Mp2;~F1;YrLQW(CP;ufW1T&{6 zb+8e&_*2K^=TQDqe75FTEJcjJ(v#hm6IVgB5Sb2)U6-O5qkqfL&_)?y7?GVuGXBZ8 zcWx4uFI(3dwvRo&KRgL!9VimP>z@CzTpR0G)cj+m%?6=xjb|5rl*IV3#zD!AuuuLz z#-W)l2!|J1Rt7p^Zo5t7a{Sc4>dsR6XOS(X9k7_Q++RcB!p?Kp9A-xojK-en@O0J z+Zkh$k5VSBE7gOIDj`Nzo0CH1B;?_+};^|0h%U)*UN<)|t)aSCC6iJf8o z+VRi0@HQ>|oR>@p5HA$^bEp|(BKlU9N6Av%O-75&6wgE();A!(asnZ74>W)OF%vQ% zkm-sP9!84NQ?1ficc&G}psGP`*lS%85Be31L4~ zIW_gM!beDm>7*JiAVnqI&{mIrPe#j{U{GqY!w!!HtP@8Pz#h)@9M1$pwSN)PZadQ3 z>obi*fRauR+ut&a=Ixr(Cp`SYtq7BU6E+N)k^o7cgEbV!?IJboCu6;sPl}%xU6Tas zt5REr5c*;V`n=4ftcp-_Z*8xtVdHKGNsAS}(R6rkS+3*pO#yL|bFn3OP+E`adk>5o=(ztl#upg+h3>|B3Go$ zyd!BXWd7y@JF}GZW=INg!qGA*k$fsSu@UuaGq7SEOShX0o687MNvMj zKsj%zMg=9JRz8D0CRw$UEse=@_~gie62HKZZF`#uaJR@Ez7Mg*!q`PLE1Wuiue+*Y zWohiOj1z_6i1KH;w-CD#eq#`8D<~fa`#e!?v@`r$;iaDZ6DhC8U*F2MSG+B5;^VFP zYoUyr8#1dzS{m)^Wq&;fn9TrYkDn4yw{}ner3*1AKdHG!=erfYo*#z=2b7Njvk|CE zOGGUI-tb&uqFW>{w*%>4Pepp*2M&Eu(>76c$%wuy0?(w{NQh62@C-cbh=i5*2D{$L zMxe9-jUNU4M5Hqz(Tr4QU46^g!HU{`ZRxTVf<+B>)^gY_3nL0#fUKEWtCI%& zG<|plE0_cU(}SjT%$~YL2EDnh^&?;MtIHWsr}-hQ)^$8MT&1aFNMVd===ta|0jvQeu3)sR9(j)R+#?@Q;wGi#boyMc9i+@EQw}g?Z-~rPQ8JO)p`)Gsp^Vpju*(wEPH;PHmqfuKY$#{Uh2b32X*iKzd@ zv_~&uB&|t!H2LUk@_V-!K`LBc_rmVs+bkVn7wH}9#-TOqcR~}Z>3yyC*?A3U7-};+ zu%%=I0<7kHfzA2cwDlcvm^j{yPC4E-oh1Gg z6tr{OkIMPz$%fRF6f;1b4AU<)CsIVzto0VdAT4&#iNSh$jYom@N{zk{%f<2X$*b>H z0`e>bc)AH2q9a3TaLk8vVy9Vc)Y&?NU4#Kyv{reDq(0!ap#fYlk@C=;#$7(OPmDe9 z3L8<`(P4$PPN~skHK3ngdpPbz2rYaX5%;7-e3yoKXfUyqwrxQ8&aSDm*zY5&ChMXu z>{IGnZ#DeaE<3Dj8ZG`+^xD3mF>Lu~6)j%W% z4(WeS?r&6%TxI*7Y_Rj+t`hLO8%A>u361s7J(=W;pn)=Tw-)E zeE0@=tV}=G0~m8HBk<$%BlE-X|MEx)=`WobZ~rG2S8qw_s@sOst}B6LH#EpdgSoF~ z5b{s*7(*vCx+wkBr{w|#PK47tv|6! zeiGiw*WfZnN4J;rDQ~y*m13694}MaLc}%_=WGqlQ6qJJ3`4i^J{NAV!JC&5k*M@Li z9BMw%Br=kR$y8WT61PB)LLP!D|Db2d{bsC))Iy=ccF^a@LgWbQGYfPlH`HaSTa(os zA>uS`3G3dssKazQ!Z9K{$YB$_m0VqRI`SC(sU6AvklIeTM=jIn4@^*ttvrhLw)Q==7-OIkn=O_$gd2T{eB7%v;K z88gurA5Yv5lSq7TC~pwTeqY4|?cMatFThCuB~EotW{*icxm^NHo8^q88!M8khW%hC zp9Hg$A?ZFIt45ug<)9`1snys`BiE-)LmBC~dI%kFJTZYuteo_P?M7E2N=e~1ozu@~2Hv1v2}OVxct~4bYaq6{e1921Tbv3^ zI?{Ki9jDBK?~hRz8%z^QyVKWG6CIYcJ%z{5k(~|Ar~${WFE!)*9!Wahf*FC$SOkW; zhcO;A-x8daHLMr2Hg-faA>e~OdXiHS9>uzIRIwg#5EnjXJ?8POC=xfx*)-c?yH~(p0h#IIx$l&xD1ZsxD9;o!tbOGDP}4- z39S6h`Z_3>_&WD2D7NPxQl*yvy2c<5p|F5{LN5MrpK@Zs`M2+}r*13aEbwd`t+Hua zw0#E2uyqfZipEK6SdfOzuG!81J(Dw)?MB5r3J31P{k>+M)iTMHI?Q0273ymerN&^A z>qk+i<}JcqP=|H2RTi|I9h82xz_)b_A=O#yYNjku=jz zkO9@rBa_V0z81^OvdB?e0Fo2A@xsrkB$ghLHGo65t(DQD8vi`WhA38T(m^|?+-f_w&Z&4;@Q;k9-?)sm zNzz#nKP0t1I2DLaljzBMD~C7ogm|52qAK%v(OU+uK>4%)77s8v%^HpKkvqF}azG-y zy_!W!^^D{;|DDnVY_!RWZ(UmjG_BNr5b|K`=_LKxxT>&9;$>-ab>Jo^PuoTZ3eVo{ z4oAD2-IkXzuqNObw7j1_FBccf{=n~tqkOg=mfc@rJ>G)>P?87e8Gpe@Gn>pZjW;B7 zt+7;b#9*5mr}}tZMyD$XT^Mo)B7k8cxo!=K!lNS+gux3up zJ4~E$;;xMfYxU*3r_v6wrv<}Q_ql|*P6TZ{p~^8*3W^F=9*O2Mw3@F(Gr*`SC8hs^ z^1*8e3%?YB;%jxg)>ftBPur;l%DCfJav!PRQ3QdDY)!gBM2>?n@e8&UXPz()zGXkC zkDGU&VERgC2QG9n$zR0GaGf1WlnBi)>5+nR)W;#ACySEnU0n>_GEl;Lxyz5Mr3rC8 zs=~{R$_RR`YAL&NF}t-!DFIk@Oe?>_l<)hX5AK%ejY#vQ=|P_7!Jc$U5v5^fSzj~( z++_m7GKb;qk)|jdW(a+*|9X(0RkuCyq5-O^%6m2|s zIF;qC{F}%pwl-Dp)h0i1S_tz99i`o*f2BT^lmI2k3g#D5t%of?b^sp>%B0udw;~_( zIu-I!ZZVC>h(#jU(w3g6FxES9MV9E~Nl?jS%lu}Ic=7CS92NE4nGGRj)uf@7CEAH3 z*$OlTIH$0Szd^hrs=bHAvFS?MuQTj6+m5P#u!IHW>dVpn_%P;H*SKrgin}V%c>;e^ zR-@-lqT>m)8VOD&8Ua?JuTJ!9#A7?Sow4e_6~%^EYm>uSp=<$-emN{2Xf3%_yg+@o?@y9lkAHZngPC0X~W zt~QdJ`vTj8dO?@RE+mqNee>7+_rmo*zCP|mX{J7K&CD!S*ubRd_$Fjk_1q7fyErO* z^Jw0w>qQ3K=SCW-h|;-~!NtE2o4Zr+9zU=(#!y`AcEd|Wz56*>#0Y|ibf>uzFv_?Z z4#Le`^iyCg#a`Dn(h+t1(>Ock^~TTm&M7kSxCi@Q>by)WT)n4t&f0>r?m@7LOp_IN zgDh-{zkGcfmH?JyZR1SBU&yGi>wl&cD+N``EP!bdY!EYR#tO<_T=zu4ryXxZFC4OjB;R!VpDEPSZ6~J#iWYd&m=uswi(*o3gN{mu-tWe)^G8q44wybHVEUl~2uchH zJkF(V%MMjvH}7IJ<&W)oe_9UzE={zwH|V;V&k7y$w49>3JE}oI2!p?ScnqucvE1qi zX6RzI|NN;_v%{#5H zlX0eR8<=oE!ZM>~iK;U;V`NFwnz);Qov=9)GeclWNt^B% z=$N22)HgzBibyk^pf+Q>gJ=lR8m~0oGFf85NsXEyH)ClCULCVBZerm{(~IQW?>RSn zWQ?BBHzU{|yJwL|i%EkGpaRqBWd;1R42unu4WkXa4D$@*4C@Tb3|kG8Vv(*}*cox~ z^S0$o`%?EOV!&j2VZnlTLM2RM8euh}jfM_#e?+9AQ;5xrF~1X6`z##JX2c9eW^q22 z7KI)rIm)YpRjdpT3uJ#iZ|9WyI?X0jEw%2M4_e(+-9YbeC!@-zGW7!a?f@|_+a=Yu zRE#W)m*>R%nz!G37zvLcSLmQ1RrtXG?Eo9n;vqUF z^~Y21Xe3m==5Ro?BWePI83iyvovoo5wGp;2vYdB4O*>7)N|WZ3NTJ<3nte#!t~ux1 z#nAN=ttsp-j5(S6V<{?KC}M&i`<*0%R#WuI@jjWEj>PAHghWniAoH1&1E(d;J?*#e z=FsHP37rjFM@WXu8F=u3mgb0D3M%EA%uJDi&K8?)PdylFJZ{EOY%K7qy%KW4pm-{P z@)h%4tWZHyRG2jFl$0RSe2%46SkNWMCE&X`6nZvRBKQ*caylHF>yV*{prNEg?t-)> ztA?w740>!2(Js{;o79rOE@3>1Hu@>s=q`JI9q~$);tI`;JQ;Ytak}w26DL^U8Aabwf`_Z@*e|8lVEIrCK>G6o`4TG_eqrFx( zMu-7JNZ>S1chQm|W%8{~g2R^`Kk!aal!kwApcea4{K|E}apORH*uAK9bbL89mN$#Y$eN5sMQL$(@8|9#^4vHs6LRGXgm72#Dg&OtBAE< ztYyyUTvo(O3FBVaz$Mg8P18}d$ru40(ZG9nYOl#4cSL0cQ!rO zn)K#qEoU%CW7|W2u28fSt4&oiIy6vpCkdHIW;jpkhrc*dvq)(D=G-N2CjDi#!0PNX zs5ew-!8)HcFMJnQ&DonXjT0Q1rguS2S9wC)EXVp=i(@TX6IHXauz;K2W@R8m0{mAd zDG|YMZ8m^Q5iFJW?oxl%1J@ugHU(<^jvgg z=-&r|?2qRH`o11pLLG~q==}~*`_PNAi(2%hI&0umMdy=C>1P))vO(#T%>n`lQlHyw zAcD^uwR*qo&d_sL{g&_Fttv;{fDcrqQvAEjHtbQuZH?K1hQMRj4Ys-2)H(8KPxjo>$TNiEg(5%42rYkjZpF@F-Q2l{IQo2a|k2fOiq=` zD&~OWe!Jg`;HONnp7nweZMmc*;|ds~o}h*W!R1<;aFa7*O^w=X-?c&f3_NAS?PZ5R z9fBSzBhV9+mGsn+ywIcjbxw;-X!VCwi>+7)!R#$id&?%eI_M|(^2AVYE6UN%G>mX; zOq;dVv>bmPew348yGH#~u1>tSeqHg+O=$yi+(vw~8x1nD;dB0_2VY2Jg;(Oz+qG~Q zwI%uDMA!}Cs|gFb_Cwn{|RF$#Dj zYiDiNjr4ri&wU2Vk~IRbV`I5QN;n+@xA!CfoKHA1bOS;~Rf zj4`e}DYMGIdfZ(f(%f(&wkj%R=6; z(OveJ)B1S6SUsVeC8y|L5|~=GV;~g!x3wMmOWYg8qDA>CHf1QYE7zA~A_Q6OjR)wT z)OK0<1myT|E9#2d3ayR2JWgTNyt5xrL4@oxbM&I%mbWd>?h}iSNrLY)U*7>FR>mtR ziR<_)xxTlbH`8hP`YO{){pJorFIaMQQi9~x4cxB98#pTj$aqTi5>~3(ZMt=YNjR`u ztQxZ|94YT?5$c84^csEmcf-ri%B$s;Mmm;z_Be9y^dv5aJ?4!)+$i(c97TTR(PlVf zZA@C$O=qt#Az8DVHoN2I5%Pc>2Ti`~EBRY3Glap}-hC*=@1@^*2*5M}?O;TB zL?^K$p#z1h*RNj~VC|QtvTdGXp3J5b!OY@jo56g=!g)d&WSBZNwS(g@ zX#260hP&zg!Si4XPF3zm-lP*=&&|bq5`&@JH?0}j#Ya!@VQ_RvZa4cM91fke@4Jp_N+J^Oc z`nA$)w`>Sy^OYd=6`QFae%Z!S*Wc!J0*}&a34@Oe=vYR_^=x@xt;L4;Wk2KG!iEnG zoQ<4~1orMg-)R7LsSx9aV%DBK=s>(v2s^h8?SKgOxrSIV7Xcyjvml!gq7Py`E>KS)kIGx%n8ny z^y%3-`>7bMVeIPG7RS6BB&Fpf^vl0xvK-#`_IT{2ncV;jUc+zI-!_kbS51sFDJrB} z=RKH`?113w|5A{^t^nlte5y0(mY43V;bT)KLX0IYCq9}-Y68IlmVZc*F+;h0q1 zs^qwul1KzfwTj@AUkvT`9SDytmh$cc&ik;@y9Wg>@}1P%{a`s8=)I?2W2Gmfo6u?8 zM-vJ1a!_;~j8BdQmosonMG}W(o_M$kH9njL3xDE?D(KIoS)oLge>ld0;K{#i=7-0Q@GNWmp*yh`IqHZ1#-XA2Nb2+Jzzprn! z2KfLaB-gbQ&K`Tpu58*)R@8Ar8k#UIpzckY zj#*nZUJqJlQCnHeDvq%+YS^xsZEFFPn5zm7g-g8InYJ72IWE#+q~g9;_H-uA{{@Y^a3&vdg;N*m&{ zQ)4?e1W^9hjf`Br9s+AfCx2kj_iFx#JllO6)jDo7u6#w2RN+0j;Tcy;jjp*R)VcaF{<_tHD+ zy|eIB*hida#ixHCe5(aLw+?(WK2w1&M@gNi<%G>zYw)lE&G-g+3ia{oVF%~l3)-sl zj7-rz$p~-2L+h`v=i%$BrC|=p5iE%O>EJBfVBmn-8rZ-jTSLsN^dSc#1!+zNUZp19 z0=f~QX%gcRxZPc59QadEzEr}I=*F(fb+=9r#Kg%E?9pXgGSm$#7VTK`C=>LwI zlvSEEzjG570oT92TtFz$%2GMJ)5Z=$JbmV8EnF*=c2?2%_7cQ!lzs+C-i8XW{s{d% zhp?V6K@eI0H#Z{Z$9ua%C=_uMZ@*CR6b%TCYmh2pp5QCvoM34O+#uXS2`cOS-_JYF zoP3JK3+4~YAI@w}f_md0*Dhag*)fBZO?{=Yy1>*fupnE@utvsDd>k0$EWAwYc3q+g zHckl|Q_!E5y&f}VddGog!ZurF;Wk`k!WPahg%Au*BCYTVSTM%H+cI&m%|%<=!C)U19)V-_ z+f4ke{sDba{7u(P9Fm8C(uGpZ_cc#Kjjv7nP{gpyxeM7-{H7v9e6~gjgHBVQkEIQw zn;KKZI`&wA?C(r==_Ye1EA9rZ)qGKP^DeR2(>Vou4o5c$G;P$sg)I~HXVz3`&hO+z z5U0Y(tGeuPst{0;G8ZRpb*3H_Qg9JoR$gMBSy6e%7l2DO#wXmhMrvj?Is9b_GqP#| zkDg(_{c~SMSoLd30Ks74LXiRBy8F>u5z))I#6i${dFBouLZfm&p#rSjZqk{rbp;#{& z&Hlh3BnZ*;LFn{w%kEu&z;Zx#)?Q~Dm)QTk`zB%VBlx{I%VnP30`H<(@5(ttMIz&= zgZyx5b3LL72f&*Ebnh}Mu=0Mf5^!&NP06`9zwtO1@wzSQ!XQ)w)}e)D*3d$C$pLn;--ipxOW6N<1i)AvO}Hz>EYW55D=?=O3pZ(*{h z&$e%X-3aGfv$V4>Y5kZ=v4;0{&!pSeIz~)-&DGd+d!k&{s+jA0ORYrBvcfq@!OoLa zKLKLK2}3oB#ndb5lbbFl{dWim&_dj*Lv!MuX=AEi@*a;6#5poB7Iip)mMzJJ<0Z@i zjVSKXxR#{_d_t7nv(RgfQkk;f^zc=W<6f;6Qbv+g_dEXL{p-p%&E^PioU5XkqUX>} z$~wo2=UImkiP;>#dc9XPF4s}i5;!rxga9yfgA;k`Ffaw1tCN?Z^3AAkbB}^Zm1+>h zEh>{&q+K#0uiyX=XQ0gkmZ!5g$aYgtuikJeTND zgj2MW%3SVuq0lC(H@?i&&^{EfLr|$TL3Ri*rb?~dz{+H@uFm!?8=-j|f;^aXcOZOn zo@^4mK$I4v7u!eBQPaavrqA&tq$wbs+WQDE-JMVpuf~O0F_b-$yAkGVHjg0F0V9l1 z868)MC+u^_5J-cx%?!NTlQ9V{bDa@ezTea_9^^CAxBYQ4SwRL*ty;N6ek`uok1$<` z*Vgr^sAtJR9uw!S>d5(}NEPvy6)+S8r3PFQ{RR-KHc zc$6{c;K|XS?qa-3c^B}z^cJ?Kfk99T!9 zU?yuSl2#ayV1_vgw-RsvLvNfpvBMBeLXwr@)ediUvB;A*sJThH{FM_9Ev5YSX~jJ= zSlXwzv5afcQ}7D!Q7aUam<^P6`Z*>Wh?@w%#PH>_S=$f>L~MR-5YdKSCrRq6$E&95 zgPG?xlpR{j>Q3;NUc4cTBthV~yMB3VqUcubg_aC}+fPItwkes&0Lo&r0$Y;F1ugV) zQWX%*k=m1Yi0XmjcZK4;R3xpIsOacY_p>LpM~q&W)jenrXl<6kP0HKx6n8~#fbQh{#3t^Vlbw~)lelDhiX~(5iC0e2{gA(9x zKP%8kqKcaH5}H7ZfGeFZpWmX}p1zXaX)j-^Ch;u(h(E~rE1x?VFy*I&>EjUUZOfkW z>EB~)<*A%+dVLTmoDkYk0)>Vi=K~)_@mxEmgqifV{)?7pT zJ@5gOP{}?iDzY7`q7b=b7!>(QO|Gsg5qYrI@*sS38vEmo%Iu5m8pJLE?j(1M;>lzI3=bl<+4Y z!??<^3+i;GhPZ~ijeA>?|IGqg>D`S@^roARIQ&ah3>c8XVh*GA{jn{R3Rxj~48z4|_7&2z!=kq&Y0tHTpBs1nNr*OwyeMULUXbr&)jvYy zg@?K5`rbDaw+tE;wwS78iT?aeI!YQUHuR?*{S&mboZ`s-BBy5Xh!eAhQ(VU@*AulZ zH~MJ%B%qT1T}@+TklP3ix}=yif7K-T9u*EBw{+l8E5ppOl0v2a${ouSLdt+SDq`&xInv_vk zavx*w3{FWSMusHTGR0PH0vMxIYcwHED~rVNe4s!Zi%q-<{aT5$n0E}347+RDcJa?a z<8{rAa9m4-(hw!d!KqQ1&Mt_k5Uc3lQZD_EU@?DQ3(c{dc|3b{IIgC0mmWogaS0CvnY8o`<>rZhcR?GBTY>VJ!a6i5k z8o+H<6H&RP4|GXQ#I-_wYjI+mwOmWO;5kHy%5s6VK1z_m6~!Le9zNV;{^S!i=UHF} z)(_6UFg!|8!k+<%@}rqo6a3CrCuJ%-xM$5p{gHG1J#xo6h)-G~{Az9_4AB;#Z-w=rimjQU zvV^Ib>UVu%`R7|XZv{@GMDc3Gk?;D*d&z<`$C4HAj*vo$B&AC?AxHNr9Ws5!07w=W z3mm4uOq-1UNnvqmEp1it5L!#3^AOJ8#`}$_-Z#s?#pNeT7GSzA2nF0=Xp)cvhXh%c zudw=JmT6kC%gZ#dJ;eU1l?rF^ zNqfV(jYh`GlBtXnLItekZWD~W08wEx2QyG?j|H+en>WE8uae0vAAFO@NXR?Ix>*Xv zWcze><$jk=iB&OgfK%SKA&hObyfxL{O^OXn@d&yuVS(345V6Hm`v zO;}?XW4(e=x_ac2^r@15c;B*OiKt9eWCnTtd`mYk`gaMgb)aUj zgzgo!LnP21rRexne2Z45+p}f0`$y85G+PmC1}?PAM%|!&ft-8f_toCP0%AEN9k@og ziinpdCT4b_1X-G0-Fj%X(+a0CSnM%tY>QW}&NfT5mVk_S0cJPj&F7QyHyVIxREJV- ziS3vp?f3cnU-FwpY$tIrU!Zl@v`$S4K0GEKu|%y9eKg`=)v+IU3FS>wzAA@dvEDrEl#Ht(k3m0Yg;DzF62n_><0goI#D=w<&tC2kv07`pOr~bk>;?H%+8ll}3sbs2G*wFjVM@A!=kl zknE#yK!AXe9SUjd^97#46Xb|bmQJh*&Zk_S%hasrda#@!MPV~Hax(tTUZ*93N94lR z!_nF;Ysnc>cAg3Ma0r2po+%|!snSHZJCX`R;^$#Zz#3t#Cvj^+R?@0 z97!=HWeN_`%{lCs`UtOxV)xaZ4gC1z3$+8Wq?Tq)v53wzB{GVLj)Fn#%|wKxl*~?{8jJG zI(}QH5`)#i{E()VoGfB2xB3d^(#%!(---9X!}o9OTx@5I8tFg0+&-{4ZIQeqx~jFx=;>;{z7D^kSuoukb*1REQLuD)xlXU{gaMiJv@yHd32+y-j}Em;%u z9%}ek8%G{V_6otB=dVx2b(=uq;&Aek#76b`^w!>6&COZSvG0ec-8u34$_4x1&b3L) z47Sc%zIN&u9k(N(3AUM#f0LvQcOkzD`7qK(OYmG~CJ5-7rhCPRchy3R zLS)#|P81Z+r@SlB*qru09n<8lLc69T@9sBBc!aU9<) zm7ASC)~=eHH|5Oc9F2!UMj{>;S9OWJ9_cHf%3zc9@6|s|Y;m$ylat#$3MW3mzIE12o-|9hTH%%tU`u!xw4Pr+rK{$LZCH53lS&Icz> zpztLCNPHNs28=OP>g6?a;t9$A!cC)2YYj7)db%nw!_?S`zb;ScNq(ib!k%t3T*!R+ zjuLUio5JG1c0MHwWcnrv@79Avj3B=#BmPS^ifj)B6>ZgQS|=tqld#82Ki$*Rkx(}H9( z@O@dPqEuB`i{V1EzMWylUDkx;Fv3*P@A#6_iG#L=Ls-RWY-Zyup%DHa!T8}G7^&B^ zv5h@oe~x4wdecyWXSNU_Vnlzc(I8e#tbMA2=AUlm!_HM~D)`;_rXwsCh2W=Xsp0~| zcp@mft>)MtyayKdcc7+?u-dk9RJcjpJIh*Tx&A?F;(HiYnDv^RAv$FP6(MQ@Drmk!Rs@VF#gt1L>h8emg>j4#tmh>N=u^bVN1S;$EB9+CS%0I zAA)#?;Dv*rHcSpMMS$s9#l-$Z&SW{3%|w;OTR_KE=DJ71l=}$--i)apOb069C8H=P zF+r<4%|r+sX$b26IKX+QRz@rak9uTev)~*SWcxOO>DMm^-3YxTtU!sKSvV_6U*drg z1Z{V|WZzx4MfJBc+dH#%3$z`and_~`Q{pA_VfCte7=i%UGOK*@WgKt?n6u6IUm{x< zu0_~0HsosRu?*2^woI2_4DD~f)pLHzGU~~aOrQXIoMj45#Xkgp4Lr8*-+=F#U}KW# zgB`o9#~1?+sK|o_nn;wK*l1Gi{RDT*C3n5J%_Z&UW{l~krh%Qkv^)W8nEx*q3+VLv z;?3dfi&r-t-r=wjbqCq(YMS59CsT^Gs8EuZIvnNG*?j-oV9EsR{V^!+CF`B%*Yj^P z@)uxZF%>ZEe{g&?xz5K!3fCy<^zQ3C3L}xCt?$C%vHa)Yd$vl+z0#c>0LEe#HNpY| z9*qXW8NAioon4Vjsk*m6xP6o5!*4~A#-L}^wRb!pjPk49@ok|^M<|NUHt{^TjqKh~L zuv8cE369XQ-0$r&wgCI>n|ydT&AMU-N|bsuqT%AxXV5@b1`1%)4RGxEZZxWOUThmu zTjRQpe{a^-XtV`;Y|>VH)it2wjoNbA1?8-5Dy-}}qHSZlUTr29)ZTTV&UV`vHSs18 z@fBP`#3w{i0AmYT-h+yCaZkKxihIZvw(N`+q6~PbaPswEG|@E3@pt&Gdh&icxgx|~ z;`ZPOILdxJ#9>M;l9&=tVzH*HR+Bk{g_$QkD0|4jkUxGM*NzuSG)INmo{l|hRDh%YuLFMmnl}{&h zxvmBnRhPW2!(HXYA%@42Na-l0Djd_^-zW(=eRF*H>GP|@yHPgnyc-}ZsI!emO412P zI6H#CtB_9O!fA{$A@Q6y6A}v`*9nQFe~0&GBo|c@Bb%v*Euv@t_<$g7#d0Q+GPhRl z#hdxb@im6e=RZ4dnyKLmgOjG$1B^W(p1Gv0NX$$jb#gY&Au(fCJ*WbdrJ6#MwPP;K zh%J`TbJ`tMhX0(wO~>P#Nu-Al*)X5Yr$5>D?)BtrhD_~*k|eTqyR>zOw7I<g4y;exveddLmILW1%c}_3kp8hwr_rz%yM!>x7G+d8Rd0sr zv$v<`2cKVk%r0L4oMyC$j7Eb_e?s6r@b=i2bhMxyv7qgQpxM-$(^jc@l{_+D@PGSnSk0rl`?s6XKQ1=QOT_13%u>TM|Stz8YyM*!*Y z?aAK7`$c1*(cNe;y$?yC$or9mE$;nD^7rlBnmE!hs(~Y?TR3v+xp4G=f9)%PWS4>D z%#(riknh`*=46Q^CtdJds+EDdSy|uOC?PQ8edKe?RT>uHGd3P(VKWS7#$Lxj zoQgwu5@xI_xmROPpz&0Le`YOmR*kjWN6?1YGEmDv!zyh+#wz~8TJMVSLD5b{CQ0T} zTaoeu#dV_)dpIrQa>L^y6W1F>mJrS3-ucQ~v{R*RK03z>jT2WPI;7k*g#S9)KR-Ns z_WXwbYJTH+J8r{s#qA1%mt)n-|@!f2cTkNP(Mz*jG!U2&&M8axOvlk$qDBMdEND_ZP;+`qWp(_CdrX zFOor&qeZGu8795%uoXF^c8Ih1jN~d2=|C0)7HLrl9oxqFNjYE~SIHyjqCe|ia;Amn?cR`EdseoX{1 zIMXT}IU%mnsjn^@6&s|~pbF#|z(pXJJ0l7)Dyt~Kxkx0Kc6!%Ta7>a??T6xLkFw$Vq_o#nMx3_Ui?}i2AmyC6uQs8&^wkZ$ewl z_+;FmN61D5S5ke5SusUOu*K4spdUgFUS99V=*4L25!b0y7Z-)%Ue;~t9q8lsaese2 z-2dyWbpM-dI+;B{|3(I4^7sZ_K@;s8sE@@4>>V06fB9eEmkzd$19S`a?c;#(Y{vm> zO<%@6y~ADx{?m^G)_Z;d`PFGac#+cpSs!u59Y;aiyt+-8PN!5g@mKI}!#XsuTlY&i zRs~VlqOGV8v^K-+hj%CMkIvhkTSL?IK}APlV+6nk`iQ`^0E^+Z+9KJ?QX;YH3LLVJUIohq3le)HGL%~Q+ zf8IWrTy;+8gXw&SB{|#2m|%JtEPSIZcj!aIx~z8SOT)UXcW520%Vvl6OLf`q&|9Tg zu0Okx$?ol2Ab`rgQN(~sH_8}L7v;ta>%zk33t?s2Rn&2z3d-tgsrV!Rp3fIu(QI13 z$j@eID1=^)zx@HCXfiCpTz=+O;j^BKALw^czRjoR?-13!vsqSy`Q$bm@5b?2HEI6^ z;1L=slfiov0x>v~z`P<3F*zVzATLvCdSxInF*%d)ycJ?GHXtw{QXnr$Zf0*FF)=qF zFd$MOFG)loTOd3#HaSHzLNYNzFhe#(G&4d%F-9{nHbOx%MK(7$Ge$T*AUrZQIYl!< zGBH9hLpDS-GeSZ!Ml&%sLP0V`Ha9pkMmRnoU6W869|AZvlR+gFe-+HhF2hk6hVkz$ zrKM^fYHU?eGo{8-^E@@_9avjQYG-HM%3ng*2^Y{Cuy6&v5G!k*v-q9!|9 zXZn2Q^a(*#j=Q;D*5vLgRAUDl$RdO#%wZZ6s6iODsKXw7C__2?s6ZtGsw%qOZD>#^ z;^sy)p&27+K`RE)e}#xz3+`V#I?#!39HR$O93h5Y93qZB93X*y3@G|!ivF77XKr5- zLl{;fY)TYNsUO!zF@|xaW2W?#Y2n-TNlYQ7rE62hZ_1s!K7%x7m9I19dAsmjpT`0g zRd_R922Hm&u4k}}72TIi4_VV=!1YzEVO`#s$$K`vlw9A$9Tv9r`ek}cn%?hS-^D&o haEhEh?o36`{sDF#E3lK-z8woTGBYp=B_%~qMhc$_dS?It diff --git a/übung_1/agt_übung_1.synctex.gz b/übung_1/agt_übung_1.synctex.gz index 18c8a710fce93a0a07c298ac57b6b6ebc60f6fd8..4a0257bf97ba8e7005224561e9b1bfabd70a1aa7 100644 GIT binary patch delta 22246 zcmV)}KzqN2ssZA!0e>Hh2mk;800003t-afh9!ZiOc+aPp2Kpii6q|lNR{kyJ9-%hq7tOm}**{XUOy4-Yf{GxMKrbTu>6PHyhu2QxpI{rPX7 z-~P+pfB&cd=kEU7hcBOR?Tdf@{Pp|8t-XEy{>$%ouRq`Y^?&aE^?&;E_WSR5pC7)x z{^!sC_04OS{_^K9f4+PDAO7>dyngfU;V*YT?(W}y_;&aD|NQS?zJGrA7u%ryk3T)! z{n(|tlT^Te|Be5?{`7|betviN&C>GUFYVR)FJC@RBFo<=^2@s~ldyW7uy^-wzP|r}4)XEtZ-0IB zX%b}3zhA9~FK_V?KD?d9*}ton-#+}WJ8Qo_pv!&f5`W#_q2S-X-o3fMdowHOpBPBr zA3l8g)_=~7&+hy0?mpk$e|Y=)mp8xMecJw=;P>)mf%)U*5i)1sc; z;e{yD-@X3u8NKSmuN&|cW}*Av-+Z2CFZ=Aye-i&{6ZEzjv%yZg`I8v2s_E62*1 z7WQ9$O#RedxpGKZ^Vo4$t{X$v!~KVMvz#kej4tQZ+uz(Sl9m80PM=MQhcVDlG(eJ{QqvFl)-+x-e?LTLIt{fJVB>ed>OS*C_Op;)Y%x>G2 zBVZEr%eQ%jidT+-Nzj+CCykyz0KUK3JJtTn)?rV7&4RBS1$SJEfBAC!GRwNM+g~10 zSe)UkJ`A%jUfJ_uJ>K2l!-VO-%vxUUQ+)W1f3<&SIoEp7fBkm%z%hONHcPwOe}DM+ zSB%CFpYL{&#~-uQtDT6izy5aj?d_YdcgJt@7R1%=!>5NIZ-4*wTmL!By4qEMM)~-+#`Mt{fSo|9*b+``x+wrYna6 zxZi&H{`q12GRwMpD7?FSc=+(}>3{AU{Fcw}#GkX|s|UxIuMZ!-eExR)HcPvDaBK=; z$vS?UVLf^tbYIV z`&}EKclYPNX1Q0IO7wGoe{=tF{4&e>cR0_RtdGCH+NR&BC5!p{&IJB+J{5TLy|4V` z*@NOOJ&+#{o4xw`#}6M~fBXLRD^>jy|LXFt92<9Ezdd|`j8|VjzB~R9JM-mQ&zk>2 z-`_q=GQa(8bFly0_Xo-Z=zqn3dGqe`hu=QDee=+cUyLy?{_oEp9&YW6|Nc+^?YG}B z(r(R*|M&RyKQ<@q;r7KJQY`7kzuFf++n=y1hU}9o>8JhYtqaM!;KEPA)s$29KRFxy zi}y=n^ArB};^q2-Ort0#uh^@83S~nE$guxkWvGxx_>i_;}lA|)6EJj~Utp}N} z2K7p56IcgfaI12#lHfFEp&lq@OS*y??2D!?HH z4ze{{Fc9hO!Lx}90n-A;`T%d#HDrs9Bft)7S!;?AatYikJHWEGzJ!oVJZf89%+dVh zF^X&HVLWr@|_)9{rD)B;0l`cmg+3V_?<;{PPlg%Xui8(hc~T1ZCIk!XU{hdGt`M z`Y_b4BffdO@H6rIHSx3nYNYr0X30EJEQ}UR>4VrBk4gBEnrlKS5z`62$RMm1#yIKj zcRF|)W}?IQ#ix1&Qy1SAgF4K=4=r}4j0pe+&#iY3ydsnE8zH>6!A=)#Gov9mg}pam zYN>(q;klDIjE>52-@!jNlL84Tf1cfNn1R z<$SDuUllU!8B@$j7QiLKWe!P#D`#Ds5AdcC{4flyEER&vL?lU$j|XQXe?>))Rt%h! zB|W_G6krby_{+|LRU_nTlq8Ieih3(Jds3>Z0v4ksC8ukE86KZOYgAGyDF;dK42F)6 zN{(YEF(oND8;Fy?ga-$6vRYX#O;wC54euRzY9V$ke|&w*;bMd)hOh#55<<-Oby6^rsozim`WdRU|}xjsx%E=jil zCO&xHR<;0!iN~trWnC5gG5xIxDRcj6s=&+P1WMeyork+yJ}8AOf2I-x2Sw7`QX*$j zNsq+{E2gd();E|bXOP2i;pd2v4 zsp`ST$1J9sqZVkDvnpQF-@e+G-EOyI`U`WH+KO>-IWZTgfdG3RlVZq<-bEOW*(iEn z(Aiy7@PJa`Q7Aa3e{}SmDyyO7pIZ@FOn^bPqQi8PYpn`iU@*ZfR@Erpl{y!{`wR-+ zIK2YAyaVqc`(&ku9<5&_R zoUG;-p+1|@oHex(WbYbTrh!52cCyF83Da<-g>?px$)baAmS8OXrc}4o13dvNc90?@ z_(Cm`#hOK%qI3UP3*B9z%N3NZ_Bc4lhy_A}rR!DE+E(=Nc9Y}sC-hP9E(abM_a~*Cz+EKg6n%gdeCi-OJ-3bBLQbp| zOL9?ilFcOqt*3(b(=beZF<32!Gfb+gTzt%&jBaNbAMo{ce>=mSzzpq_J__EaLKESb zWhK8jUtt+2`EVaG^Qd-khC7dP91>1{z-HM?6}^}`VMF0Rr508<5SgNi!4wT1)lBT` zndh659wtroMs+)fPX-5H(?|F&)g}c;Q`9P_#T8sl<Se*!yv|2o_(jYh+H5ui2CEQhB&-f&m&fOoqR#8~D^)xjHeg+_%=+8Im>H9D)v(X%j=*s}!OCCskQ%Tn>>9n7q(=zUD^#EgQ6 z%0mE6AK}+H_ADVE>%M6x9)cdTO^C&6dJH8Owf=2Wn+Cst*XE5TC8xqq;jXr#$9j@y z`Q1bmfAqJn9B;^sc`jjww4!>1m%uZ`b1|;Xb8xP!qK7fUiYR(`oS~W^)l&4guQ085 zhXGw4(?~csO7nR=hNp9?bojz0%a09satZCmX#3(TkN8wECE0E7R}?eM^O-&_;A(K^3Vh2Bk3i)(_>k8>;j_PgvB)& zr>d9WX*T~|z`1^)j!I6(2snMyoxX6xGwE_GRv{l$x!k_4%>fl~PK{pcxfwlKbs86P zHpcpMx$r!jpKiqG1UwmkZgM#VhZN2PN)8*-l&a{*5E1kWu7(bL4_;fChYn8x&O;|- z252L8r|u&P#*@txcq_GFu829Fsr_x`H8WbsXRtM(_D)H$2ChQeXB6~2wD-X%I85H$ zYybiG+%Dx-nS^6`OF@?#Yy^WYH*twJT7OKm!ExhJ$SK@~37Q^%-^91cU(i<=TRiDJ z!NUdkJS{#2@85iE8jNo)PWB&>I*y+Q{O2`X9`5r*d(h;F88zj_8NAsgKA-wVP|Nbq z)bB4)j|2WCmX;R}0G=or4zu@WP@_llg6t#p*OW>o+`8%xnY7x2-_C$H!tEe_5I%Xz zf8xpseK}_y78LJ)Ch<2?d~b=JaGdj-koOMCYYMh)VVpaz=jB(=Er59d5FQJK9q|2# zUea$z{fz^Qi}yxJ!kksTOInhk7l-|g6&?mJc0RKKr_=s+M*}libh^s@ynh;d;SrHb8RPodmKFWG0)(keFxtx!58;2 z-L&O+79qhGYLR#mlm1WV{;?L?Kk~&2%2s`Y_<{m2_bQHk z%#INIn7ynE`^VRXBNz%hGZ>M=e9|iA6Km|Tk*58FUH|#uscKJ2IHMUvN z*IZzXs_#w<+|}%4FIDt%A2T+)Ocvv|tK3!5|p~^>TrpxlEYovs6R6%Id4zp zc6f;)C$He4z?St|pXe*EXQ*-`EX3k;xnrYiqW5M2mrH`@nLRp)+7IR4;&z(tc|{5q z3XR!LJ`MY3%ntbenbDq@YA5=SV>&p|pSK1qyKqVATnzU!VU=?f4tU@Hl<=`%idNzc zYe_GE;axtgFW%8URijO6k#^G0~?-_I170)MHH%BJ|{=>Syx3bwtu+yREj-`Ym1~Q%~z7} zz_*GaE45GrzN%AdvDPt7@b_!@sogE6xKxuaC8oqZ{4?BL37>A)J_+xgYCN(Wok}== z$d5=JuG@hByoO5$88w(_Y~bGLWe52R>KjQd%2y8Zl6pAEOYB7l`9$s7DXU#O$jcfn z9b_TXqWjpTgS-)L9_%1|(m_6PVTIx|v8982ChRS7!9gZ*caTNL9S-klIJv_?7NcCz zZw|7b99}7@JIG3spcf8uW8EF(XExw}Pd<;5nx%shi+qC7K0V}yiIZ~O=Z-|Pfu}%ekhW15HGCR% zD=d~0K4P5YKSs$@$VQ1(@gG5Ho<)O|5H?kOgr;Jl4zO7c%KJv?LMS{?e~fZ}>t_q8 ztq*?ehaT%XcHX*g0H1hY_HWg&B_G%gzV}c&bBTUXz2TMGsmH*JpbMF@FLjs0J#s@a zJ9VqP2BRg<+&?z5>OA`S!M#;kai7e9>`mn?J(xBy8{1&!65xtCsHAX!H@z#GkT2?H zYBra_Xor&{$x*(ErA+iUYxvZEIyqiYFR61r7 z?t|kc8C4&j;1bOB-0RPKQ1r_sJ@-NgoWiIjo|Ofd@!Y(esLZibm0YV*(R$|S zgNdq#D>*RBG0^KcbLJ)cX%L=A?Nt1>?x4GcFnr`-xwn$-Bip9IYU;&?V>o<{PWCvs zZ<`A62-VTSH%suvZBt6#cQ}Oz3BFK^WZ9zm;Qp}|x=);!D=1s-ad6)@eX8+pmSDMU z8tm9MofN*Hz{|agecN<@AkN#SqpbC|=}GZ+%@dPMG6#HI{}k}yvBCecS;=u&8~J4W z^gY`7f2=eaCB4T4!2{`2i!I>1`GVilPx$t+y$bFRn%2}I$JL9VMjS8)RMn!c?WTZK zHx9lH8ZN3zwK>)6MhGy#U=p}I9U4{Ar<{$O zzt&EVxtuS!G@MZ(yp~fq%V(#0m4ffRs%+OUwH)~2X`z2@&)jrt z-A(5UnFHQ0GYNXJdF*Rq4^hPg{?C;IzV|)_@4H<127$d#(o1-kk6{9ZRW2G{3g=5lv>hfl>2Hj*BHhvFA-43c0}ufYh!Xg5`U9u5D|FHd5L=jasl z3f}1hU!mG_xnUY5Pr=*hiQzCme8OzAyoT8KqJKlw)MHPS$bB!mBgJ0y;92fP52klb z7A%4ooH@W-5!PTb;qzn(ryGcgNs7UejqhfIqQ{)zd0AEHs_5ljw6B#f>1J_lRC5Q7 z-A}-2hQUctYDM0KG`f0lOMsi;@7M5CyE90ep&Oz~sqFhnmC|0JX4U3c!ST(FriYma zn}6AAIQ%;LD-w>P^zd@njz+hPLAQcBwqRjukuL3Y}w#5JYNStwaruT-e$u`9c?BKQy!5zw)qGA=QUg&rl1A~jYmbyW48^jpuQ2* zvV3)zvZNk+Tubc5!;~|12_;^-ZMdw_@-XEr69dm)xNW!*Zl@iC@X5oJ6BqZ8!heO^ zhG+4;B`zGMkhmYFh>klBM@|DHABQOeE)G+Uk256gha*x_KTJ`Q1id&+X{`HU$}<~q zI!qyVKTMHT?uRMU*c*o_*Nshf%xw<4e~RGcwr!TCII@|SkMa~@6DFEzAy=aRhtQUa zcH;)YMEkR#bq4m1UDIA8_ucNAT7Rt9w4Qe2D*8 z!7&uYi+{5({$S0Ee{Dg|;1xYLmhjD*dPGMiauFVR15fdhcfb)K`La||qzaL|K=!c0 zS5$1LetwkXN2yO?l4r_Gagv{;nQHW$NXcBl{AJ3NtmmfL6@(nh$5t?-pMUUH_tZde zp}C{KEw=VJ59_3?W;7apeC8!~oIVcuk5RTWMN+2t51};AqJgo;TiuV)j5EbSdEY3< z>Ek1mZCJ0Q_R~jpii?%(%>DTB#Qd^+1XvK%p zvIg*{Z0io9#yP?=s72B9!eM5RRzY7d$=2ev#*#sNI?G@Msd%k1qkkLm5`sol#}Ok{ z!(3{7$m-*@E1u|8ir(^(nKO#s!#XZ=6?b|pCh)@VRc^>W0y?&_zkf$`oTatFy@zy^@E+4~z&E9OOh=*Ai0LTEM@&aa-(xyT`X1A9 zz+ZNbV0fe7C`qC6_`)kVLpK^9WeLtz#&Y!vK0fnNGVRji_!6E9x0v0uyC9FBlhM?R zgWCn!4({j70(=BM-oZCZ@WpdxO5Trzg$N10pl%N{G`N4Pg@5iV^CG@16WR>T|?l}}${9?0EW zhdpDQKX{J29m(*(OORviGEYiY^w#mc`$Ye74E8gFn2BIk8a{?P3EYQpDm*zE5!Gr)?Vcl@%aX75L@g~LP3 zftksmqv|s$L1H3g^cfgNN@3W7yiubI@+t7hU%^8#45+T;1U_5L>RUiv7+uaPdaU7$ zRYA8ov$9jd}-T$tkI6vxE0} z0@e^C^q;8Pd_YsC9Pn-f2zoW_1Fxl=8=62H~M# zje$j9i`D>!V6@zIkO)km=y&z38t*v3FST=%{n+3zj^LgpMV}d{+*?IoY53=$=+SQ& z8h=#NW56&XlB&97xP9eeevAQQ7*ugla}H%px>hRSn25^F71gjea>(J*{fup}^O{F4VNehM zpjqfn!D}^cOLK9CbA!$>7r;R5T^AMyulk%A2#4`v+h&rWcPa6PnWATqom8rVM_+B= z5-sGwGIuTglb}zqcS@S{9M-mAkhTCDs%4N71raU8*|Jq45To3i(_`dYN$UiCX1B4{=ANJQS?!@ zl|~F(fH6O7(HsgfI11)&@03owablusE(WIbrK)Ck5gpt))$A@Y>BHPbJ3M2Cnnzln zIi(;ub22+tO^enomf=*b(toV91UkAVV~P><3NEJ}XW;XgI8Qysv^K%&x!)~=2LW5% zwUk5~^)8-Xdt$hd4&J|zf_J0BBv%;4TF@)_?EkcB@Co=tH&cft3&(H#P^`I2T}m&7k16ZH_V4qe7I}*7bpS*MIbaR-S=SPYi@( zN{gXo3OUm|Zn6cZ=tIC{k%OXd=5VfxK2pu3;c$XuWvE&SM@OwOsRmR9$hn9K7h4Q7 zp;*Rv%|R@NU_Dms9*Fr4JDU*ENZ{9qY_D0ac zqN!=7-H+fIy9!IjmYD$zIT^;e84N9np;zGPE|94Qwrj+z#?5GzrQEEgG2~BR_Q~_b zfD6<|0>z8ScT42Ii|28$3tLQa(Od%jcnL2rBQBz@Ye**f(|_M~brAz(a75@n9cAs{ zN>4i+;65cwsb`nIdhbdqCut3yc%YdToQEWaHBbm%!w8(KB_b4tg^u#uFy!hMK)AyX zlTsjtNf{%I=DOgJh{2J4YN?cD*%dtH%uw4q9fmM7sudN(?JLGaKW4{7Q^f_X0oFg> zzfc;$;M~#~$wj&-#F&7&PtTx!ibEm>N5*K6@!VtCHN(*@pq#06y_w68(cjh8AyD&L zRFW^Wf95-|n} z1L(P^%Jx3i(9(|_3=N*Sg8KtLwsr*r)<4TwTSrNSiRp|kslshFQI!-j{&PXmb9=po z;uiE65T>@gIA{7~^0~Y0^eLgs8LR0FBR3{RpEJWmYkfGT@WmleYC3l^vQB417WnpX&(1%#v#e3_Zzq;(&q)8x&B6Aq3DLnpW-$Je_? zJjT~fyvvYarjKla=^h=Uomh_1?!?Hlx`og5T{Ru>O|@nUG8E!OPB60_wv-|}xVtnbR|*x}Xmj$=pqU9Pr-a>1c8EVYm!vEk2Hc2d-N@9j&kv z?=mF#78X5&RzBY1o%pF1?`8Fcnt|YQI^ci203Q=p%i8V~gGLOF2oIiXpW={+>GXOyOhOu2Qe^yo^IegReB@dWk~RCWCTX|ypK2VPJCh6F&ONQ(`+wmQvn`- zCDX|t3Xj?=#Id=@c`hqSOfuOr3{DIU&h3ZbG<{{Ju&n5L&=)y8q(%y{3&M<1Te@Z; z2+nEVa*6El{+Y`0nKC_X2ZO;yKImV3rgB@+6qTW|cj8@!1oLKMO9{04Op5rzI8bHv zalkjiG*~-)R}D5zi!nQqR|Yo?u;*HT5{?r&uO9~~o^VVtxzLF1@L`ll#4*k=Rkchd z0s#}IICC`ZX!XfcE8GgVnC~OM+-h*tqa}9YU4{hTa&slCFDF{P6F=4Jy{sRj`aBdg z2V&C=U7e4u{x*j{}esXC0cGbK_3{%GE4>cc2|g(Js#Bu%$772f*Ef zA)%U))T3@Yb(bRHx2eJiEbD1p5wB+%zA56M906XHap#@@yf=%eBHXEXxWkMH!=4c4o)-f+QO6G%a%@HcMJCfE)A-bq& zv4FQ2$3j$O`dB-aF+RT?pWmB*$Q&;;RNE^Azxw`6+l85p;j4D?E=Ix`afeYyFLVG& zeQ}vFfoWkzX}t$Xere1b?q}Ia&0T%wWA)CN1M#CH(53LPRZ)sVZZfur*-1!ji0C6D zg=<9Sg_)q0vlac5G25ha4i*^SLuv&20{51cC_X<4j2$aEu!Ql&fUc*1bC?#v3(j^nn!_`2m5G`o@@}RrS}TR< zq8Q*Ow*cBgR5HFWIMP6jT{ppTD-J^#`;Q^hJKy-w$KETW_B)t=xwjeJKN~rDzuTzM zl-YCpw3Bx+3ULc5SWDLCl%~F5PwDcGPZ!%w!hz@-I#}?I!O3S1(=G*Z$T`h{g%JZG zYYql%WYDI8IF9B8Vl?QnW9aEmmBgSIa2x8fLBmwRoxF=t2zbXZ7B1MQn)=BG?d6T7 z$?^THKM;Ssgc!?z0_0X#HHShBjvTgOr8p#FY)r$`W*o197%hG5`uJcfxb=C>+|-lh zu#9hc#mo^8-e5qv27k{gr;OH|-2Y7Nt1kD@+hD6tFJJ@n#RBtIMLiXO6MljXZ+Y*LajYMogm&UflaQyq<&MJo(Ghq0;-ti`Tnlt&TRjhk4N>^^ zKWKz2SW)c6G2VF#QMc!#1n(03r-cgbb%UD(jwg425^-!4rQE`COAdt?U+vgmg#nmz z_TiSH>+^c=BaeNDPTi$Q_-*u%@xY3|friiF?twl+5}9^0-S#20P>)L2?} zq+Zs4zQ0tty*R1RFRDtZ=T3_c!3mCoH(o9y#&w%r1CxmYdV5@mOxCDJo)_7HM&g!^_|XwP(@RI}LsW6xnnPI6-6DmJ zWG_mX;1B`IHs+r0<#|mxMJQ|RBj1ax`bhZF5mSt^^{9J!anx>o_5M-p&VAf)^`#hp zSU&cVs0vs-H2ESa-nJ^AV2|8YU?_@s-9 zzU*9uwmWxdgfxs=bTp^ipqbC1I?cggqirdY9CQ~m(~L+CI36YyqdCxnVc1*E5qxII zHO&!X;$>CM!Ax_EH8K!mV^?sf*U=?^!-QNYml-;0Ra9xuCl@Wl$5IT`qY#xj8t3W^ zA4`-W-vk@OFl$LD*WNzD^{KLVG#|^FmV-lb@X}CpvO1j8`A{`G&B5>p*~{uQ$A=l1 zqvn8pPvdtITbSt+E5zyw%oxE43V5LoNg70;yd=c&r@x#~?^rBZVwoPv7S|)MZu@7I2 zc~yS9yo1rK6tIjP+>S#ehhsc-?qy33zF=g)B*ozi?2W1`X+t$=$D%p#9n+SsM{uOb z$AV6CaA7ZVgLRI~CvkK@BmypfK`eElZc7lBi{`*Gn{CPJqbQE^5ik7rm|OHjQIcZ> zDW2HMk{o=9oQ)M6OiRZHCdCSlEps3Gg;bgufB1~a8!gHg#)epkiY?A;Qq@!(@|=fH zh+CRgSyW=;C%-5PzOJ`Ux2WQfvmY!}2FXwzeaZ|ZbWjL2lmk;xp?}SPL%BWJ5JQW5|8hz{Q?$>q`lq8Kpq!^mT#Ov!;!$yj*@V(g9z4z)YVuv*FLqEHcT zoa&-H-xr$&htCFPnAIGC(I{Neh!|i)qu(e|On%!EVMq>4Ri%aCl^i@+j&Z@k$Qlfh zBN2SB*Ai4Kgk`;>ZhfAADpgl>8N7s9VQ;C{R~)kc`(#?OFIALpceNKvVQW&3o z3^C(~W%Tr&e2gvLYAEG^?6a>(NV7-KQb z4K$3~{h69Vlorj(2<0YY=xM~(E!>pK%OytF^OwA~wx3Zo`FNN}Z1G&<&A@Ku1CCWG z`Gc#|SB#0=60n?q;jn@eI&fGZupCt;PU?tmb%_$rkqEeL%w_g0Z@Waxs2)*ij4ox+ z_El@ZfRT&@q&WD}#IdhQ4rb@dEf0%C6gs6|RYr*twMjIMW7f4nhk?D6v~G-A$|EPG zLP=aJ7xjlhh$&$4X?Vw+r+7+f$szlBg?-EWu~KUoU))E3PZ|M!7_31l=NKtt%baso zj+YX#@avDm$9HHo{c*S=z>2P_I*LOrCA<+}qSiW&tVKeH$X7~fp#z^4@OF;UL2?MI z6+;JFT3u3xjnS4lS<;vXW)5c;2t7gYZLfD1Cx{S&W)@@ zsR(Vnp^~E3!EwCCsEY~=r0-er>+)EBi9lOyPL}X@5+7M34&t9BvBP>D%$oQr$?tlH zS|p@@*bs}16m8r8a!QJmuyh`ZrD2c&6@mph~6&4>8ujl z>+30##0Hp>Qe2cOiquIdG;*YHxT0n|`O{e`o=1L8OEFPiOiS?;%~Yr7q@~!qVqaAg z%!OKYeyhpqc1}?rMmLeoP%$0Z!3FEycHL}$1HaqA@T?4HbwSN75KL90h&H96N`icz z(AtZ7A7BM!SqQJHd&YK_rNBk941*&|k@T_{&-*prt73TTx3;H!=VBNei+MmLJwxQU zN!?BlOAbD}ZWP|_#Hym?Bt{%hS`NxIH5Wynv#TNL<|s5poR(ksyuv8?OdF4Gq3Xqd za|0W-KI~MbT2(KmX=Ua&`5B~~c?oS%{HlQ&;ZEWR54`fHKMx(9i>XxDwu-*p z0Xe$)pwEVnNv)#KynB{{qAzrvr>@`OeFBzpB>bfurSK4pD;Gy;H)S3AaLt{%HxKMI z&oLswF#5S0B)~iXq7A3u7DJ#!P47*AYAJU+{1_Vnm5L{Nx8;Q936O%fIMOiOPjY0;FXZjX!6bo)Xs?~?GpuZi~Hjybulcpx>g(T+tK+lqeF!K!KT}b+Z?|^D3daUP; z$D0yfnLovO3Fp3lV(cSX2_gUXG#xpExwQ&y+xXxs&8V6XeFY0aR80s?W8uDkpQLZo zT0TC}A9wi@KE_|HnfGTUJTmiWFiMVu5BjEQRQh06^W1Jd!NUdkWavBve<=;KG0x;| zp+}^S+bbRZ^BS(M3b`r0Ve-Y7@<`^wE2wV-wJcxX6IxMEnZFj;%eRD1)PeK&h0KM^ z8m;dLon-o$YFKA3+zGcEJe}}==^H{bR|<@EvCdq07T;Uq()}P3_xnMjv>Yc7E=y)Jf9M$EVE-Vn#Q2t~lY`-N7=bibu5r-(tw( zF~$O&Oj*33mySsEwz@@sEn}?c!Mc{1yLjTR=u>7AYOCmT^t?i?)DrYkEpB}=qPJ|7 z%EaSFt6Q;dMBNh^N}bv5B|S6JGcT#4cZN?Oi&R(A&zE_coy4~qR((Vs!or3Qs`vnt z*cjE@UBtXhH%8LOz%5s;F7F3nCRcD6Plhj4q@2tP4pns?R~T4-1%8c$_c>I`k#IFD zR_^|k`j~$~YS@YlMYU7+W-IuX6)Up<*OCLexCAqXPc=uGqfb~qXvI7@(-Y1#uc-?9 z!bbr3D%GCpOAA8gee@b$1EbU_IatOLA5cnq%$#(n6dVRm;2D>M^U#==9wZ!QWabM4 z0f+0zD6$8AA8JB>AL#=#cyvS`70v3}Z7|Ustxu!9u^4E0VQB0kn*)6vW7(v7(7;~E9m9d=p$<`#(ND{BaW|5wk_a`sR>A4JhMQ5nnB*{!Qe72eN%_;^T1>kH)?f)}Rh zLOF(O<9#Wm0~XcfgV8!j4!N!eUS_1lB#YuU7Tqeg5gsVTO11G($<~+B~4Vb@*N~pAZ`3&-8@XZS+Yvujjg!d{!bD*wv;52lGg@EU*eu z8BTuU7)MoSokY9yb|QSvcow)hSLhYY%^(qfjNruAB?^HqWEk$^)GWT;nb5DoDiRIz<>ICFNPCV^&hgu2teS#Jtdo;h$nyw0NfV8RdB8?FWpT({Spu zlH|C36?x)%%rX1R9M#>9WZAP0eu2=F55H)PtI5Zv{Y3yLnN(qRl|kO&OvxE(ATDxZrOe%2k# zd?$pvgqZvHlZesrNBZv3@#R6*V}i#S%Ru~m0in*aP?3X(SClb_KXRCL1^JC6mn!Jv ztR?wzp0z|@KF~Uohh&lq7f!U6)mk5E38@CwNm!q0ZIs)g)1Z9%Q0v47XBCTvU7u>5 z3+U}}=~#=@{a8!(<#A4R9#8InIM|ZoNpb8)Ta9Nws#3!G*_IY2IOOS8W8P17i zwU~;osnlW?S;HsYk^$c~Iz|*x9ME$xA>60oXYY{*=7#jmlw6zzbc<;@)l1L zdgNQ?sI+;~Z#S$Jy!Tn3+QmpIr!o*cZHSrP^Q@9dt$a}o)-dxNlPjNEV1Z~4CbL^Q zI4kmtn^lc^PoE=Os2$c+p5Yy+aeOLxm~Y}}5t_TjnnexKjknZ)va(Hh<<-ue;^qS4 z@w#wq^8wOSmt*5iA-h(9*Op9DY6X8CX1nep+$XC!TFn8s$S{kFMpOg;H|nO8qSSr@ zUt4n+i*5(Y8a^W@C5gy}yO_G8TE2HQK57JC&74H_dKQkIy)E4lT>X#FWARZlE+fs>`Gr;CiQDmi?6Wm}6&Rq3EO zq=x`QjE5AuD233oZ?-%>y*T^+*vKp9?k!LEMn2{p^ryhx;tn4Jz0j`BiorIskB)Rl z^bw;FV}M7-igODNi5O*MkMEzfR!ryVlCB0u5mvUks0X8eF#9@j^nM{Z#V@igd2U=HZA8IQ+R+Fm2U(rMT|PLWDQQuK8{x)ij+#7= zr4)keim5i~mXV@v2rx2_Ro`Gc zs!m>g1D-v98(uxo4dD7kQXqC4rKwd&U8UOW$8^B=c9it;l+{!oVi{EqLrK)=4tiv zE%^9Jb2zR@sV+E5*^EJ{l|qa`jBdi`>Z%M_mCm$(wDzJ5u9D6#I51f-bCKqVn5vk| zNpZxOnGQ*FB*rvKL35;99ph9ej>2T`w2>qS=7Vx-#Bp#a5yw`&^=|QLHKKQGLk~I> zrImxL>9Z`OjcYzfb58X~B}%>K;QsI2AqOJC#mx(Zhu4zqqMoq(Vw+n})#3J6g)#4C z_i6`!aTSvEC{i49`3`U=a$FP@4L(AV?6uk{q&uA}_X|)!PN@2wEZ8c`e)@ot;0G-5IFF)6UuX39}LS}8DknNzV-_exZ5ljTE7*GR#;mj!Ps zx2g$x3Gea?R&H+X&T@QhVTHLTbRhbOsT8H;VSsw#>@UE=~D&uvvv zJS{sRdQpK79DULpOtrvUfQo|&D!AFD5zs7|sNnSZo!cqeBWv`2Q!(R z5QC#KU+tpFB*&Z%x?QA+wBVxZAxF^alMZ=-&?^G7y)oeYg%#n)M$YJ1e5u@j$;XUB zXDLtc-UUr+$HRhw`{adB2P8*}*PfXPO>;2AZ#4^!b{UK@%q0TeI^REPQ6A=8DMfRH zfWFGPL?X~-dD46!#x|M|CC`}?@5Y)%b-1U?sJE)9mK&fX&B4b5&B2o#4B<+{RU;UI zEO@Q86eav}%*70~bQZYX;7f&n=>(*1d=e3J(zS6|py1}~+Q8c0ZaF9po{Te6twJy% zm&v**@q04ft~iR%Ch7Vs4rv=Fd>negs;IR}cXhC}oRe2hsG4DGEG!!{<-UT|0y!rMK6Ir2%=T!$wS zTjioVD#wVBAiFdb@eDo`O@2g;0CredJ9aC-FoavqTy{IW(=$T>Viuk08K)n-);ow$}jw8OiFCE>%ua^CZ7Mlxu`UIHc~e31}UO>8^iYpDy)RZ$$u!eXMA zqT8%Ro#a~>RTQkH$ekL+5g2%If6>eqt_%l+Mno7`EsM9*T8dH@R&G1mx=HzJh#s9n zB<7=YQ6ta?JmX}j>g39(+Cgj0xWbHyptP18vaM_Om>0b+3O+4bHL0Q)I=eDpm*n89 zHl}jc91Kc>s%nJy{M1Q{V$PR3Yt=bI!NAQ$)l+duOEQ+W%cqNi4HH{pe|lL|VoK$r zdx)bQjfqH$DmIl8b@!Z-cnA)K(34OIo=Jcovxh*=%kF#^(8+@FF0xos2dZlU5W6Fwv{KuxEmlu$vzpF3zPGM)B&bIY>S>O z3Lnun4_|U5NAuQcj?6~Pe+#WSV7TM2w3edIri$gU2VWe>FMtsiwz)~_hG_xaQtQ^< zzGbVwfnydW8}v6|JVu+$LX@Xpv-q4CFWe|wh+;n~xoVDp{>K0)ii0urco$Z2FxgzQ zhb2eG*PlE0fhZ_^u6ZBcQk3-G#z2xfD1;tik&hVcX@s?4*XI#df1v>1A$0N%hfT>n zkqObiuW9?$^~}*m3|B^`r|yX3QTCZbEsQnrW`iz@nf=;wE{o!kV+~aoB{|d!Y~FVY zqE?YPsSD=OENVpr<5Ba%t}04$$c2-6ek+aRS>m<~Vi<5#OC1UtAy@e=Ondgz^4uyN zB!_$#R|C%?k}j$;f6l!Nswkd{R$CS=D>>v!#N`$Xg(}L?#4b^{EaTB6W-eA77{t7} zpg96MBwzO{L}bL<61AwvhI3wXq{wMkcZ4l5x?8B5;p^C-zYeq6gl42m#2BQq42966 zH!nCJ9+;a7;vU7ULC%d%(IUW?U_C@wLMHWe`bB}@NS+9`Z)z*8`-@4 z5_I{zvYK4GiF;PS@*u<1q%`1t0Zal}bMS2eZ#^jv-%Poz5lrt{^FmZ$B<;Kq#q{6I z3#<{$-C~0l#iudZI?chzZq4`;O{qBKSS>D@6r3oEIm7w5DpXMv6L}k$G&5pM3xZ<` zTD$ETGP$rFnZ8nT#qCNqs_Xh2FEob!J+K)-1gr@QB#1w zrxANI#-kZA6QhmIV<&-gt9SCnsoH|9!^cUWfR7Wu4!>E$FP{Xm(0&9bgh==Wog+7u z>4PRy-V?ZfAgLMy;4t}9Cmm=Ib5~l%h91TR;?sU@we!=mbcl? zTKRUm%$I2cK3Z zf0k#dR;{(j~s;#Ez}7tky?Zf+c`bEyXJ^Ka!*!s zFl>ua^=!A<8QD$NbGx*T59&3d@Ypt6e=Vxi3adV7j!NUq>M~$E@Y=f8ikIFnFcusP z2y*(6DL&lKriBN#`#&RwHd2g571eG;iP*4o@Q3Z>SPLydDdrKalcf2k2_ zoO{EmpguLu3-e<$H{wn{{A%7`L8n#lw$-EI?BhHmQSf4FDdB+cHK<%pilC3}Y^he> zTpfsRX9xy;ZMZ#C6$SOvQB$9R*xT?p5yW&7p^kg(05K*_ejFeIJ6d?hj;NB7>*TsJ zrDMx-*}2|r(keV>-rpVYy_Cw7fA35fD&T0667VsVAij1-y%!vo{wxd@g>Xzw!%V^w z;Z4p=@uSM%tr)&~)EqfQ2G^5~qBxXchDF0;y*^3Y>@V0Db)iEG2?9?CsHueP1JqPaksK8KI@UXQ*tPTo{V_c#FdMa(T|NBcChiB z2zK%@afAvJJ{|BeL7-Rjf5NPQZCeu%K%$J7bQ95+pFklmStTOH^_apx~NoX zMCs4UR94nH{aJZC0MnlS7RT5M$BgD12s&s7VHj31b+ zMr204s751N7U7j%g|~CERV}Rax;?cpvk4d`=9Tqv0X7RCA1cJ?m`6ohU#Z8cTr4k3 zZ6vpFdQLn&0Q^rD3A`L$h$;-dgdlUi~xev$EuGI%p7$Azd!CoBam ziZ_?jtX1cLgU*1Anj`V)d@`B?Qvz>cYYql0XQWic0Shm$8Xe^_xxH?6^f*kxoOvXI z+m<0~e^HKqwi#b>Ft}Qs`ofWh;>@uKb?ndw&k~zi?x=TMAmCKi6-TJKG)q<@81sXf z$5eG-mqKaX`YvH&;LRIV9myeM_xG2<=c4KYp=Sp4Lgub}ELH-@hrPa&k9j}Xz`N-Z z&UxQ#`7by4UinH>*_ShY8*|XK(#w~KmMW2xf15EJ6uvi?7rH#xrkIX&roK*cI8Ix9%PKN(c?GRhCe?qI3i+oR<7dpVRO4}qQ5Sb}Hf?psCvmSX} z26Id^C%58&!R(o+R@GB-sCj~+fTPp(WaKIv79F8hdZ|Gn`1r7F^Wj-*zMCn=>y}~g zJeOvzJBNb<>SA7Sz?gN>t9mL9IkR{}bHHk?nFGk0s1eBoOxRT@$Crtg3#e!^eRog?q- zX^zT?p&W=~l%F|d&%=Om+*g-%;l+-YJWL_*5i8@+D}=|Q!h<)ZHM4FRZ?)E*xliIk zYssPRR#YzfMHdxd=F>G*MTM5^XAaDCB9TFonxT79Ne9WSYk{l}9Sq>34yJ|Vdv_UTE9)xMFe;T@jN(VTi z?TVn%L2{@hToKDT=2xXds?1SiG@{!VXXWYwp{Fp*lY#W)6vo@_{MtMDF;!I>rU$%F zRg8^^1?o)C<2S=YBr6!&fgQX87y}9c^Cj?1NQrV>?EHemLn}rIP#hS$28Oxjh)nj8 zvPL8i<2DlL+|L#;dQvvu!N$ zNqvsg-s(gc8=AuheD&fM9B5r$;!%hISFGlRD8@d-qM|uq%3v~{nq*vW5*%tIpwIGF z+DT$Vgp!Q>^bG;e(#Y074H2oeLg*pFoDU&BHAK)}mQPeWd57~#e+pwcXoThdRy7Br z_XrzOyAO8eV3%j!Lbzxe0UOTb1;X<(mR%qMhEen?>Qt@%fh19Lx*lxR5K3 z%2}{z1fSCQAVuYtVXWmuKXdTNn6aGs#U-NhQJ0@M4qy8$N-mO&{S~ZGZnL48c`_=5 zqqV{)E*inS_Ni)we`TT_*tZ(NJ(Ib~_6Fd^Sw19D^<;8+-Z@kCR2*^;!8YPKsMf(p zCdP9MMCI13ZW$O4xxFt^TJ!z83k$6yUo+43Jcj<6L;CZ{^VOm5AsG5h(JVXL6u|e) zQ5Oh3!gxEKCG0wDGqU|CBRhWb8DpnbY?DEtpcAa zKyR%=qIX;B0)Z|Qi`SyCtXBq*Rvabr-D}kxyu-m)T#5s}o^c`S`b!SwlY^7{0zan7HHY`Zsxg~E;{nW3dj8N^~r z2+u(9{P)J5PDMjzRGU1d_rVW_V%rAmKZu&i-1)}we??|7-~5X|So7jvw>uBeke7HF zA7cN>mB%wB7hkAh(C~`5jee`3rZ(e3OJ=H;Gx(;1&2+H20d~DF=x}21NZ$THtDHp% zWD|Q`f5mp{aY#x#I8Jv0LP(qp^Yf@JeRbG?L;KMqc%GfY`F_#+XV6SF>U5D_Po28C zXD$LpQQV6?0+_;BgxwntQoY)OIz>K4w4HhbV*)VT0WSmG+T7f7|Et7urZ%^5DYN%U zf-7tvpA@xaRT)8B!WkL{6N4<2fxlq2WJS*he^`ufBk3JR3LPFv?|Hu!F298HECfcs zl7rcn!G9HfVr-jG6+Qe&Z&FqCG{WJp4*18djV1lb4rwWZGoK8~Ps4z^nR{On&N-ZG zjexhf_%tke?pCxfB3*iU6{{0>i?O?Ah23AI4Q6g+3w?m|g*86lcGDpK7(A4_@( ze<{Z;EP3O~Q{$FV(wMYlr|xQUym3>egZEMk%tH+HGqt_N&^J5P9P$z+490w;&Ue>}_*js{5hIvSq&ZK_h29WsTW)MYpf%-o7T zF!of;iav7rwobtrF_y7^q@0v2U;Hb2-kqbBEa`cT9S*#rFWmi#`ZF-SH78+7Uuiic z{TT$k93Yq*5-*~NW_9f@Zc?8Cwh$H!qdo%z(lX1vR2QAsbF)sW>$sHg{)eQ;e^@Tg z8AVUio2i9G^(6htEN+pjn0z9rVgm2ehpLK+eAngFSLM@P!(#$Tp9;L9tiA^41;Y?7 z3hrS_SEs5Wa5oEX!j}jKFu6C?%*0@fx9@(ygysDotn<5t>cLruPL_s z^}bUKFyrLqJixn|S{N}7YmuO)e;2@%_Z_@9il7#4Qu#z*mfT|8+d?;0!5Q+R76s=) z5_7F8c!d2oRbjvj4@#n}8uQBY8LO-tlQ3dzdRaM1FPDGMq&zvQ;)BO0a9$N3+BsiT z#Yas1!6ii>Gsj<1^a)mvpQ_!}74)~K)!#B`CB0LrEq5gt!9c)*l0_CT9PrYA5NpZI@&C8HRV1ja#>L-PHvJ$5>*NYYi_U z#sxiAp1i6Cyt%Nd1{2McqTz|>^-g_M5LeHAO<8Rr|Mu8yq62H&_JvZaV8vzLM_EXp zb58V8!}VNLxp{M%i$oM1f2!sfz#?^GE&U1jUTV5r>ToX81*z$HhtT0aui@&^$BD)= z`d(hV%E-lCNqzG~`Dg0)7pNz%dx6#OJys>d)?@hT`3(ny!ah=eO{rxv7IdB-d%)N2 z_x(4*?JY(peEO}&%vE@)F6Zf~$1eUx684smFFiN~_O8)iddM!*f1ho1_>T_X-+6TS zJ|-potvMv^Z#JZ){>Vc~I@8N19*uQ>;_-UG-5^i6=|ML6Y>(6(8y}N(?pT4~P{`=kMhi|X{`SX8$ z^V+4q{Q1kD?_U3h|NJkn-@JSH%iWK=`?nvy-M#)l|NEEkpWpq(zW!5#_doyi=KGHq zf2iff|MlhD!<*lK`E+;t;y-@*{`sM;tuOxIQp5byx3~8n5xzcr|NZvG{}1n3ykkXo F0RU2Bth)dJ delta 21501 zcmX6^WmFtZ*Gxi?pn)I@EH1%eA-Dy1hv4q+4q4pYo#5{7?jGD1cUauv%kzHoYvxS% zbf4R|Z`G-;*{=E+RQeH26prxWe-}(e$8wa8L>!^pRMFw5V^Re2@J>ei@8UkwIB{^r zS-x;za=MK~<36jx`m;*2K210k;iO+&JFZ0&vAmN#sIt|Dq3froKVJ@v!K>7_S32^|NHIv9{6GE{pxByJ-BP#yQ>ZSdVaD#_I}+3e!M%H*tGJ$T8Y zxxMJBOGF74xZnqS-ENTC~{JqIrmQJQa|NqD}Gl~uWdAD^Jl4D@d#=7MTZ zLcM%1cjtX{^zZiOj2pk-UVdY!zoiUM+49Nt9y|ALtaUwI-4SpNKeuhZza96H52t~( zDuSn~F3~qSvIdsT_*_HJ(Wt-=&&h47_pVhYu&>`>j#m5H&~%@t zQZIv_-_qOUT<E1(@Yqj`!e6j-v%fTjd32f7IQAp(0mHIAEQgK*3i&`7;eul zbT`1A4|h<_k5gs3kBbj`168h!Ru$%1{a`mIvqxPWUY@me@YBk4@~$rDufh82_bcz? zqVv&2q0zLVs5XanKrP|^X7GbG_iO& zMt3qwu^n@J`_UhAyQ;pBNbo!9_HupEeeX*3&Q*ILPxq1b`FXv_mS~fA%^TP??xDSW z0DeX`ydGOW`Csq1w;r(j?bB-+yQ{A5@As=?LX+b=Lu_~BqIbxqA$H%W{rxL=44xmU zwRRQ^?fTi&Cf7yS)gdqRSCl$(Rq;zZ;?YgYGyP!MJKzq8-y&&W$jNUXcSA9mic#i_lJe<$2Gh96w zCV4b`yWCscJn!uMeY2}>^*OixP!IOuD?p|Ek1?qX*85VeJ+*poaH1No`B|bui@JRONT`LG(nhD_Y9j9Z_BW347v3 z$C0(u3zyVO@Zu+9o&#DLl5w<6KKp~~+ts$ki-GLAFx3lI{af&J_U8G@Lwg(lJL_1- zU*+8F=gaxm=l}AD$S#Xr{er)9sc^G|BK*-Y0jVCh>R*x6k*Dzc4HmxxbjFr4vX69^8;d~~QVodD-t*j`Yk>Vh|cr|)-X zzRVvz?sRoJz>hcQO|DhCy!AUchU0bb&$Dg8n$M?Q@3Y|NGxmsj&Fj;5-ruj$6JI== zz3+-Jr9AGc?v|(SzAwp=Jnu?AnZLWA2wpKXLzV1U_mp4dCPm**&*GL|0^YOMdHhxp zK~ktMjqk68@2{tib??6KRVtc^`;m31bvtxokhJkKFiji!P@Fd^s(~aMQ*9<1>zwj$ zM3QA??KctwOY7B6-Ir|l_$bCsEAQ;V9193yPaIh~P_UY6XAWD3DS-wZn z39kVmgCF2TY>UxZzfBu_jDUISWUVNjLwX_j<{pBwL2)ok7X~@Zq^}XTbD$n9FP^D{ z>rko}jKZzWo314{m61`D5}>OuU&y;RQeX%QU?&lSMV-e|rC7>iIlv?5P&3pLq8v{=XX$*}MZ3B{86=zD~O?ePXvB^d8S2(at<9s}v{x0=947WVLjTIC9M z*Zb7)b>lmuEa&bZRQqczq>%<_eYzh-tuC)%B-zD?Uctt3{K4-Yv90l>CQiMw4ev~Z z{D~*pC{p^c`!FWghu=0+C=pus)xe7NEiR@^vR%HQ%xF!w^u3hI(%`azP=xmj>L3tO zq0ZiXh!G&g6xK7IQt&l`TQxUv4&9sF6joO4CzFymNpd$ukRBz;6eHQ2*n1~Vs$^|O z^sZ|RWL2$1R_&gUV%L016r0X~#PVld6ZOyYu^lOmchOob?D#krq78s|6V z?>5RT?4OZ0gqw7!-@{P&IHXlFm++z`9%9oh1*y?D3BQdImtzld9G$yzx#5}Q_T3K@ zd3;pD*~Iea8t+1*cPRv7M0g^&qLS)*WBeuyxMy2B%C$E6@wuq_9!{E`IJ7pNBO+?l zezRwjJs$20HTZY)7Mq+ywwYde5A(gwFE&h55Iv!u!(|uJ&f#Cc+SAr6S@WRz#81P} z?slT_AAvb*&<2+U+F8xcf?b_A!tyWqoKoxI;8#*U=s`mEqWS6Am63>qT%5B29S!jT~z9qZfzq)Fr zMYli*0b94ILN*HSY)Jz!qxKzg;hH~df_Nxct>^);j~_PadR}tvqITraX^XZTY-&Nt zAv2fWmHupcEeP6?c%Zz(y!Hd`TmuEZqozn23AFGZl#9UqMC$j925m@;9Fgb}4zIfnHcj>-Z>;+sN%5c<9b-$XMbj5W=w42Z6O9Ejr5TpiiY)fqGu*p|% zdMDRF237gSl^qC>3>yI@sn#}051FZX)E>BB4IB^ed{W;+Lgd*jQxo!C|KT0G{wW@; z`wm-}#MIik)xOoMe)-95Yb^oQttpngeTurcM`BYu%HPyS;_!tRq3Xe+hsvXQ%MPQw~vrUp{KFKE-x0s8EXwkBhfrATi^`YR?YR zKMwD);LOlhRN31$+&6OK?tAd5s#*o(o_{tmE4opD@?oVR4AId(4m?^|Dqn5!8SE>Z zL6BVu_c+Ki-h3u%lW9Ca&b>js?+F@e>pzXcXyBB7xGA&LRGDVkN_wRHn8%+#1M=Yl zy<~{C+LY5VfienZ8Q7|JtciJfIfj!;?z*irVk-i9JE))5nvLLZ0Tp&2`bcm$>Sh-z zyHwtcoz7>o36`-f>S*>gEFQ=@LkyJfINmj}L-4PZTQXW%K(N$zZ?}kqOZz;P8?}nE zNQs#~dj=lyI4A%@h*<=owo{+p>z!mRIK$5zo9OAIopGr4Fcd7qK&=|4HJ z{Tp^XvrXq~8ggKum3{!xQWZfn48T&jfpQ433X~Qc+Un|QT%f|V@)X9}*(B^=dmzgl zC?BP4OC}NFLwEI9HRq|q-mLPP0~*-U%ELwu5nbLIJwaM}af<`u9y50Xs)Uy%29mX_ z8&y;$DF-axTHW)INyIh7>arf*eGh<5ydoMcSZk2^rwnX|P#0SXm50r==taS=FrDH+ zQTrraEle0gG?o!^8(mw>_OX$hjEKTysBEFff;bJOs{7nA2NKt zgZpF{iXbt)sXs^b4bv2{UIC~e=e<2>tj~K6@~0<4*}oy2#Vvk2agNO8}!G>8qLeKwIImUCtR`an-Izd0iInql~%Gd1w3S2#S zHykUW;=iVbd^2wBQq^liPP2UbIZ#;GtP2(3a|!{;9mrE1=MH2#(83Z|=WI{Ybzvy! zwmAb~6})pJ30_4!vvPhTv?hudV^x@WZk*A_w=O2c{688W=d`qMSl0*($XOFnKx?6)hK$A7F-j@5}g^-gR&io`21k~ z4cY4eKE#b^A4IRx@-8G>ndsdR(Z zsx1{XgSmbbRL;xb`7I1pir}_-1+a;qW@$MW?jke`CgUzw=1c5`F5UN25qJH{+%sK7vpu12 z?W}ssfl`tO2F=-D$};lox}V>Q0-|3PUqj4tfO35z~G@hB@9 z>STzmY2-ZwN3FG0Z*$&4j`Ie9c1#`SwauC_pjA}pug|A17>bdIHr9W7$Oi1%sCreV zZ(y_I^B&8~a&cDq*F0$kviciD{wD0xO1MEZ2VxR6s6Oe=Q#Yucq)E-qy4BdDw3v~KD zi7JL)CHlAL6QW*Wc+Lp$DO@8{W7fIEB(rL84V$L6d&N!s71%&vM|1hgcSM}s{E+ay z+f9da*tB;80|#h?;R>(rw6+D!3X10j8i7W!UiXRFqt>?)<68a8$-j7P5wkC>3%vEf zWdM!94*weeYT+LKw{K9doDCfv!K>upcXAQWtFtkIzNYMXxoAyAns&3M`w^nNe3PR; zyX$pE2f=Gh_KKCyYq4f*P)sV6zih|3L2`LEfdh)YViEB#LsagF%TzTqZ=UjLM7ceZ z2?d)|3YB$$N7{Gu(lb%Efy1^CT-p=f6UZrgQsAG!9a=O&A#IJ8r^ zP0!-Y7GZuL&0*JBrD$Iq0UTyy-D8Ge&)pycm*ZdVD56qXEnT)oOqVlLXy+B9Vb4Zz zMz%DjM?Lkv%S&)9$sbh51t;Gg?%#k+Qd!pA^%gV-^2}zzk#Z4S@D0 z0MmQ>l9b-@;}jLHW0hau=CIemcSw7}Y-=zT4jG(O;LME^Tuwr+YlQO8=%3S`056{B z#G4+w^gfy=fSV5{7H`#3kr^g0B@@^Sr@}OfFQwR{IS!@{2;-gc2S=wi8*a;ePIkcd z1hrKYp-&7oiT%Eb_7SI1#(#b;9A(Jv0hoDeZ@0;Y1wk*(^S4ccgs&DRv|rdEqGNdF zV2{*_T=)D(&ayce|DT+7T0bf8tkd;4to~T4vF4)o67W6n#CmQ#`U%cxk`Yrsv7U|J zZkLf~8X(Yn0o}TgM4Wq|D2|Pa$?A_O_^j&0yEXi0ICS zo*8;#tr7jGC=rS(!x4z&&_gXQ713Um`B-8D^uqt4rJQKtSh^VbLHE$66`;26alW#n5fFcljij#6PxF*eXMer8as*1ghD{D)p$S-YKs0?kRjyKmcBm$v zJryLu@bl2$RGp=!SK6XfZ;Mn}L;dV6>;IKLS6h@q^gKQ$asB-X51Xs4(0l{`Lb1&X zXbNV$A`UqWU*~$fI}Q-+*z$pkP%Op$V?vX_&xwh3NDZ6o73u-KPDDP;q=S1%BInxY z4qMmRN5Orc`!Q)h9V^1;v?U>BknekoL-+kg5yU$gX_L76Uc%$c#T7{UPjxBWCh2ni zt%Oy*GA6I61|rLgH$NiRY@X^q*T&E5AY*~(U-J+Y7tPEdRWDm`(H5()WofdVj{cpC zO<@HdPl02*17&H?EoW-WTIR-<5-1=tAMIgofDr;9?c^Ox zp+3ZFpM~!fY&dY}`yrX-XPbAx(SVZC9)B5qDiT~=GL%IX)2@|LauRi_#|Gp#hR<#) z4lbUxWN2p1n3Dz9rj7W}Ma<<5n93C0Gr9)02=%Ic4YZtw=x@U;dn zsr(i`Ub+B6vls1J$|CTjf52TAwA5dF65K}SWABw|?@@qn?e3D7!rMl_TQmn#7SwL2 z=q#AElzA1FWBpcBKc}$`SZ%x@_Hs~t95;50XJ&9soC@fmU^u0TZ@!=jkK%R-mD`~s zXd5-ipnm#?VD_hN{fdg4D!<}BcPy#cls{Kqp|L^g%cRdc%jnA1Toa3G*j*B<@Y4^p z_r6nQ*>Zys>=8>+-O&~ILOn_Z%ukX6;Sf=F9?z30WJZ%u34b>O)!iqPI(*nrOvr(!t4uWWhl`36}Xo zF~7lDB*K{hkGZ8W`!MW&oIXtRl?BacDiMOGw{lw?ug}z^jbhYk!su&xm|yIo73X@= zxp>8A)HBiZ4yAbnF~1xW=7`JRe-I&f`Ij7htLCC%UlOyLll9<8nE4QoCVO6k{i%Dr zKM;WfukZu)BTaOQ%!)eJ5tGu3XK1$v&hrXaa=fcO ziagUkPCk26+v|>CV|jKu8a3}x5+p8pmRMEv5!tMRM0BE3k!;szE=z>bCzN@K-aK;5 zC#Z)cvOBZ{cph>3d)Xw^#>?oIxU!-(Q0~Fi#ome8@%Lt=7v0X#Z0;5xG!Qy(x2Oyw zMBB?Vg}w_VV!kjc--bbxCM>P$&@fR?$7I`^dB#RD%!-3Uyn0u8`3s>5La7zu4}+Y< zxq)u8hOo3v^0v}qq&y!u3GEiB8*O*WZVfW$assd?3%|qh=n7{@zvU2fl!|T2s<`eB2x`tj4pcKs25yq`;|FPDONzK5r%)s+`gyHnuMeUni5I1n44fb; zao>gt^tJ&yR|OTqbb4Jc52=D&s*7PfgnR8`=L$4BmsNWy+G&;YMu5WqsFUj@D?TC5 z7h{eyH@-7oCGOvYEt$_ry87>`f*Dc~&J@Mui9T{Q*0@%t-nP)VRg;HyRxbKZYU8 zc`;*m~qiV+s z-+f*)qRsVX362{L)8UK1$I|sgxeKCBnLYiVS|1i@j{e-T?@}8B-4{ZdOaMZ#j9*tq zt}FE=ozl!Trz?$0Pae36t-pM?yWE9-#^;Y5laYKA4BxnM5AmWWn{v1c10szV(#GK5 z7Gh}^K&FN-9zdERYmZ4-ekDsS`;cX-s75rf6e|hYU>M?0{!f!vj3U9bgera7=1sOBzpKE#wpvIStwHBt-t)QSuT;SqRsewh%x{|IdbI}58gv)Y= zjK+yc5u;T6*lOcoc9<(W#Y0n^Y8jfC7?kGs2!(E?s~{E#O%Dc_p~gUKAu)4#*D{%& z=O7Hn=x!1KRE9v*uu(dbDORj=tsXjos{OQ>yz5}k+U^%$N3-r14RV|sXj0Yky?B`1 zYZ6N%!5PfO0pF_kAvee>}8OwdxlHm*VNxp66f6MFT&sr(PN()&!{K`t;M_H(c ze%u0PS3Z{={QiK7_NlQI$zA?p`zRq#1{L}ih}n*hMG4CF$yJ3eziuhMV7AZG5G1pJ zILYb$32(8h=p$ywHQa)`o!l$24xUa-1njVlrSL;%!#!+wC%B{3RL$0_T9ou(DQr$W z#M;e01ZbyXG{3|3f(k_FRKqsxyXZJXh(1w<12Mf>f*nW!D6PQs&-mGlcon%{@`qafAs%`*J_8KK;n9MK4mkx4Nr{gv zzUp0zncIG*Ul4X8c~uNlz^FDl4drL*j@t@9?&Z%IiKvlm$PLBBjzIR%IWbGcMN#uax*-aUuuM@yJ_ zCEI=rA5L^340UrK;7pM+s*ZEN8h+aU#WO)T@L%V?*U-x~!)4a%8G1LY5BuVt-(mo! z${n#VthSjRr!O#fl@H-vGaS7q0QscDOLHR63L(m^`g?9_Xs%WtAF1t zVi~+anW+@q(UoMJFc80CJlz5Zhyj8_6l!QL9=+pRfJ}tu^suPffxCwmD)qXbOmXM8 zs7jb%!)7Q{nky(v;{*rawd8Mdx<9(8%ozSm8HN2d{XKqa-MDCosDMHz@g@-D7neJg z`teHxA5h6XM{cW8ovO8f+#g&mrC-W~T0gTHR#ZD^9BB9AH*nNBe9zgrkL73jk;FV; z&oP_Bd|k|(Q`CGP29bl*EB_!4sB4RN3DD)fWDxR8EiMlH>FyNaV!$cd_Kj@p7@O~# z$edF*`+OSpaK&3_hTi^s=>7-SWU*d$>IDGan?l$YHKJTQCa>X7cP{XqAD5N7c{GI*G_N`f9rdu*ePgC_FF5%H7_C>#3gBxQR;~X+)?`u2i`!(!C zO0~vs`69p%13O_iXaU2&{N?J{_H2czVYg!ygSj>rb28I|vv3G+S|%n;+z55W#qh$% zJ%Q)D$U|8RWu)VV^9Qfnr=1yF({vx3Z2uM7Qt%AqV7up-GNuSUidYF6>Ys+BK+43S}Xa^^b;{Z}SZ>j2VWSqB*O;URy}kW(=W{XE-fg>47= z_Uxrsz$YXH)2o)rY{s;*tgHWvP&&pjH(IllGjzC}6@a!Y`8oyF;N(#V2=}+<;C?!I*%Fs{3c|LCa@)8ns>RDNS2b&h8;W;1YUb-UNfuvx^(Z=+VAtgQS zX(Z`%ATn@BAJ23nG3o()P0^q7NYcb?9J(tX(i7Xq7KIrs9N}%kF-bpRDt2SScW38z z2A9;#=bgIJ0*oK|_pw+=(kh1?s+*JO@thnkWe1aaiql(okc8=40{>|Q>U(Do=TT8o z+KE<-LCn43s*EXvdM@#SMVl=pl3(CN`f%8W=UfO}!5_3(i9RrP*uSNgqqI$LuIu*h z&e7zo0A=^rLpKHeUH$?(7Jf1p$3slm0V?w02-|ry#Y|pLFDNb?b-Z|#BT0zj0<~XK z#@aPhluRQ^tYbNFcFS4L5Ja%^0sZteH)wq+_NBx_o}3YG42V}*C04b$_r6UyDoD_$ z(=50XX`+Yv8gOxvQ;xR9I3gj7lKKgpuZUCHM=o9#X3(!{i?1WZjb%A1+Z`ePHB)Ru zZw3BQfc&*4i5VLBeHk*s9k1^j#^O-=DjMeDtvpAW@0~vu-O}XGsmikN>>L?nxvWan z2L-M0k-mBRXlBc3BBA^#`Bp7g3upShoG=Al>2gZG+}5p3ev37aJPYpUWMBm^9( z`rlggP~f1HB4So~~M+{~(PC-(0S(qlNga{dF&1lyMy#?9>E94Opc6Tb^7oZQeu)*f!p0y__jDNOwYdI}FWI12OXBx+0wRsz7&z?(!LC|ZH)4i#IMpsE-#I49xgkkG zBVW0-!5p{HxM=NK)p_*$PJPC*WC_&@BTPfcCl61pkh#CbVnKAvzM`XLQ4bsFykft^ zPKA{1*V2U4raUMDBY&t%ra-=a)MVSwqBeOtoI%PMlmEn zSFzP}0Pkg!ahM?6Nnz$7Gu(c=<$|;Tw5!$wQL&yz-j~nZ*Nb3g5DD`q)HiuCAKAi1 zEd@;Y5+Vz2SVTcsV5ZHYzJ9w%vOs-6?*upg0C5|fP9mb->a`e|{G1l)VH@ESBD2Q8jf_&P9H-Sp>jkN(itL}s z;9ql~ec?fFxi;~QR{$Rxb7oir1=fa%dbel$b5 z>2RGManN|1Ge#4^3e-1Qb+4(74KN}3u~{Zn)!;|4;U5{e!(^bBomzP%89S*`X=@yt zvcC&m8X2=cmssGgc&zPn#y+H12fPn=0;ETAVa8K%h$>*1qfgul4cqT#PPZO8&ZCOD z&Y=U|r)bhqE5!AEm18>!vWJp5u>G=QGREBW$E4+G%qTjLo5#SnST zKM`_?lS*RJp{N5? zi(?QLUPzaTD^eKhu05s&F8-Qy8`XMCz?jvNI|j)dNy}5HsNyhszaOzuCpJ>()UMDm zBZ#xyn#Ux?o%PGk7FO>A1*y}9>MVR!>+QJ5Q!u074=nbZj5`sW1JJ|?k=y`Q8hce! zN1kEUM6+OsJ|JI#8r{CW*|&AkD24pZ701n4vqI(#U1}RZ*G63+?Q>t2(!sxHakG_=i*^m@$DU%{KtBD& z2SLU-MXQw61yM4C{Q-y^}NqLgjC1kDh6p|e9sE|rf@^W4K*(9yMop1pt zk16l0Y{5st7Pnl?9;zQ=s2dNIUhN)Y$5S{=@KC{}kemxjRks{(Wjkc5PL5lk9|F3! z<||W$TJGh(F(H6p>G)8p0<(wufP7ch6Q^x(<-MBFXaSmE-2QAi)AVT^5AL> zkkg-nc?#ntfOTp-MWj2V9~~QkSK!YCNSQ(Q>!#~feNofu2siL|)3uhI$wMQ1R!W>; zuO(ZQsxcVet4g!LUJU=7JevikiHsxBRha)38~K23H=x%asM5JNQ^hJuHGQsapkJIz z*+{@V+r%mfGm!Hu=g^R~)%w9NIJD-6pM(P~3$ElI27i{LMho(FWub^OKshv-7!w}2 zylpXquphC*3quhWZmnj=F-WdQ2|u!x@_Rw7q7rPG{{1Ew)9)fRby@XCEk;3Z@gvtd952XtOT zkv|Y1^g>Rf<-hbj&_Nop1iGEoWhBj3Mq+U_V)3DIqTWQ0yIpVhN@LWgYZ=0XDsz(J zmj$-T(2s-qa@ZJU19l&F#=cC!YGC$1*Jh#XsYo#0(&gC>$6*HJ9k-K0IvB$4(Nn`k zu?DJnq+Rkj09kz#8m_42QqZ5+XMLJx1$2mV5#kxxx$@N|EoP`5hY_8*9Ehf>O;mZ% z%BC4(CJEA~uu5WAA!{wOfzDs0^H@eYq~IS0^4TJxit$3MDa7mQxwa!JdW7_yIGg(^ z)ekxhl+EHlsK~{vE?hhIhlAu+%lC)drQ-eescumAV`tC}`y~|+bAlcA$rK&!slc1V zNbR13^k=(<9d|d@ICfdQ9#xRF!+nhcbb5RjEjzb(jfE0ljzQU`<{!FPUN3-;H5FDzOJ3G#f6QI4l^6Quu6}p(EJlIv*Sh9vknFL>Tfa?VN=Ko z&fLYL*wFWn(j(=?F+hVTCaj-p!;+aLD4r-T|w!skSx)N z95*ALb0LL|G&gBzY+oDM?@k~2Cd$)<$HAhz`kmNvw#ArDafcGWPSzT7ej6FOnPgj; zj1f!Gsjiq66YYxIiZ3MdSHvdXmIiri@oBE3MgLweM{MDj-d2RN7~4imftx7BdH)uM zcY5s#@S`m7P{`t32W~If%KXU6LexgYZ<$SG>LK~}xSz%Q`VYrDSq1K5`Lus|@5=GR z?b%yyk1BXhI$vXsP!1Isl2kVSjrKf!3t&m}a>mjZSlrrq3-BR2YIJ>=!2A99_Brt0 z6IJkk5MDGy@E?Sqfr(sI{$V&ROHIzLB%b3nlVN&*D)wIo{tG*FG;1@)D3_Y0>&{#& z1vk6EEiGeEyK2nCunaTPM`7#2j$N~&s12G4%wSaZXgKHGFO5ZX8Fi%#A5p%#>1!YP zpaW6_#g2$M^Dn;fN>8ac8QS-6WwdS-2BS@`#0PpJqI1qHq)<&Cew0&HU)a?%|5{&hxR zYKxpP>=B`qZ9<9yH2XG8b1^Hs&Jgt&?-M$;%7GeUY@5E2!`D@NdMIJo@8aO(VhT>= z*-az9whjUDz;S(u#ynZFd~B4L&a{q;U)<<91M;^bjC-wm;d5Ov$BMw?mp>f8_IMeT zNTL=l2RV=9WSF9^eqwefdi|sTBjjSP;M?LIPq)T~6VjO>$}~@hhK}hsNt&S8L5mZMp?cfec1%?5=XIzzfxi-jKp1;kw|SWdJVw;xxc`x2Tig!G1(j1$l| zF!+MJ%NANO`ySFXEJsMXCdFA@X=v!bh6{Z822?sALtm57@v3ikS{m^*2Kf6+Si*T# zA?*Zdf+@Ye-6S@xn{sxHrTGz6cuye%%3Q`UX*sR*g?Ij-ukN*f0o{EHq-xo1?q(!T zutd;NESb# zqW7{JJ++nDDeUkbYqXKbljLOhFs8)&Ct#zJz!sS`4jz(EW)Nv@$|1Fzvd?#sTzN_? z1l?4(kG_cQ6MFT6Fg=99_5)<2XZ_sFL|?LB2m~<-RZ-6}U6Rmt@*77qexTFfKfezc%V>HGXjNtD8&P71gWYI?%@q&>_O(cPlns76Ka^Pqmj3$7+p z!whCY-C2nIm4w>R`M8D4Hxfcid~V6Z zD3U=b>Y3!knh!h9*QUxP7VihG-HGpiVby8dE z#!xY30aC(6>Ru{+gmj4_!(WQSm0*?a+p6~Iuq{W(okf)N3Crl^O8LcCxju6qtFOQ& zMpCqpXigI_dQR(VilHo5KCGY|9~B0#IqTyR=2?o7V&Jk0oO>_}qkeuMQ(t=U3Chrw z?_uAR-kIJ)T3x=&MU=XY-#+As6=smr!Oh2I9nj!k{=5cNtOyV)o6Hd>A zA`gtcSCF0urabjZtWUFy_bexg{sEZ{p^6*9A(3D_N)`4%AQ*nSX>wKIB z(oV^%biVhMeku%qkF*_kEIYwd;BzoFyuow6Hspa0z7^cUpHsB-a=N)z$FF{Us@rsI z?23dBx{O@|ztvHcIj$%G=PVRP zuKs7A(b|sD(934wjW-D1hJSg4*wNSKFyKzIh~~vwlTg@a8${py{X~cT&{i|5(U%}y zdNcAhjU)@6Fe_<4 z+Zkg>mVBk7Zmuciw_9!AH^cJo-W{H!MbwcALcQKW7bdcFeZ6n(Ujdd$fXbc zdXFMMh-_sN#KWJZZC5`M!+9$}F~Xy%sW}6Kc?YRHJgoN)zY$C}^g!1`tWZh72X{QA zhkMM+K4vIzWHwuT0l%UIR@}pNlO{W4_O-DKq@Etj!_DBHYiehjXmLlzL=RpO`?%Rl zYqXruz13N<_fc(giwU>9`z1IrDn&_!6c?TFLa%6IZNDgJ4u@y9hBG=f*AYOp(^tmZ zesp`Tez5?hswufsS{mUZi!0=T@zV(V6uP4ea27nYhDW@#cJgbb34IweF*|m`;z|n{ ztrdSgi9Z0c57E6&8TR^i9SemivQN^l(+C|uoNoU)+=3OMw2r$0nH2IW-h|e~D9YcI z{2GE{$8|F0aZBS$MBD4^yPTX6Z+V+BVOPvIBelCm(D07cc zjRL*ZOW1b~kH3VBM>Q*fU0-Qk9j-|VPVyk@GrnSd_ecMX4s9=ftjQ9SCY;EZV=2}> z4=^=gqLDw8V?ZI}l`&w$>LDp|J+deYOkGt#byX^;aEg;aaDg`$3u-!S~L;rjhVrZB!9{{Z8?cVrOT*$SaQU zi{=|XxzcG$5y3#$gg<iWdI23{9!@iSnWE%Tq zTTX*YSqOoP7yVfWHY#1v2vgj!mKmqbP5&|D7)~o(&WcxsKEPD;oXZ7E`}fOC!~V_T ztl&RZnM?>{nrtg;tT4&c3uY>%N@E|FED2KtUMpOhR2ZgSwnq29pzi$}$~_B=Tg2&A zxM$5OwwwN~tyuQP8sDZS&^b#bZhn^a1b7ryvWK$+?Q+%FelJIJ<%Lsg#Jw4GY)|Pxike( z&2;Ho_T_<@!;kG$6F=IkD9~H}lt}ZB*4G%98|gW${GrV1*E8a`s3E1$+c2m#P9<&X zYhB-}oMQg-cuN&y^+voOCV;uqm5?F@J>s`EpEzD>?wLJT4`Z! zL4a~f{_UC%+;rsxZHczH>-44!Z3G)fsZkNL3c;>OQq#0ZV-FT}G(lPTQ`d0qnraw) zbadbYUNmuX|9{z|wm*c@o=$3Eu$uZ$v9qfT+m^@1j_<-;H=!q{$aW~n)uR`&>86V6 zP6-G%X|yxuApSwx+imgKT(F>+P+QG>&G>6Q-|KOKhbvTEn(rW2^beXFT&BYONaDvP z|AjP?U|b1d^MBft=He-c(L)>4mT*2nSpghTs*O7)=@f5;61QhsBdoIg$4}EO@2Yo)AD$c!_`bphPO)C} zX@btq_rT;;deUZ%Btwn_)dA)4=wzYeBPADWRa5o3_bG8AGldMl%(Ke;~gS}!M- zoxFby3^>ykuMXc!=7C3u_DmlbnGGgebqBng=YoDtOV~y>ucQQBzU7%Y!zoGyEDteE zO-civ@naImnuE_@c>73k_-4vwjbMt;nirx1gKX!8D5m#jE?|vdS{EC%D8Al*%GPNP z21#tjpJ+^qL{23E?$}uV_Fa#Q#{*k&yYEVy()<@-?l9? zQ4%{L)8J|j%n8xYqB=(#t5&usuc9)Zw2>`JgpX*rg(x25GWMZHpuyt&orl#dM5)U@ zFot-GT6SATZDmG^1p!Z56~)^LJQ{z7ZXA!k?~WQ8EdRA?KP zPL0A4=6ObND1@GX3U35kJpoNyAeetrjFt1lPCcv&o>sEIbogFy<%%>51GnUbRj2LT`_l6%k z37lGekS|Wv7GxdXPXZ-;q+{#wn>GCMNgxZ|kKm*b3BRCoc z1HN}DhM=JLBKuGG%`2*Zih~!A>7y$|G`x0U zl-5d=y0j8p3y35?8v`iNm(z%3Vq3fvf~Re{E~*1Vj47D3)-457ty*izA=`Rnt&~M6 zgr29ZZBJ((wYLkCkrP(sukjBLU5K^npLL00z}B}$F+%uKC+S@jvmcRePp5T41?y+$xX zf1SHVuMUP+YWq%7Ypk`I8-+@1$)UzMoKjPD_tXeI&N&??^VB#mOr2fgARm4;@2{}a zN_gAq(Qx*0o{=ax?8Q>T0pDv-xttV1&n|8-P&p$#{W8mJLvTR>sOYkAs1L8Gh>5W2R@|u&P_mwQc^es1C0Y#t^jDl0&^^f|+ij?sJa2 zm1XgNSr7Y6awvqJjL=4WfArXd4szJR#&aUr$;ZSIDoprvz{doEUd_All7T0Qm0=VW z2cLz&b~tmy_NpmjK?`RNBKQJ^`IZJ^n0kWaJP9)IoC$QQW`S**D7ii4P%7}i(sE*v zDxkmc7K>Iva@@Y)o#*MTa40PUhbjuK&;nL}tD^9|Fc(|RfpO>=e^POj7L31Wj)Fns zXRSL2_m}wANL5F2s2iDuyOLTt$K+p3{wIs#=|59BsiG8zEDG)b<7w-nFr-VBJ&TB7 z83Qipq9liWLlr&EvaE~Z2Dz_R7nLfFDE(QP<%*G-G)JMwUiG&)#_ma!T_E(J=F2*N zUr&QtzNG^BupxGGWu*yt<$W5qqlCkBi2V2hjtQ_NMt~iN-T@60a{6@UXk*>LKuJ^4 z$Mx$ohuRS0%+0=jDr#=6ClPxy9w8DK4$Ib->0N|6inF)8Q+33My)zI$UqGl(M<=4_ zP-CnPmqQ(0L4Na;3Odx$lKcn-vP55h4s~=UcYHbPFN8W;R%;#VNJ!OYyoWma!KR!;9g)3rQz#qQjH;lLN3 zukj}6yIMU?i&Sd_YLN^h zQj6l~p;{D2kFYWj&j(Lv381SM78&9)S&hgHLQ#!Iv;@N|y$WyVWUE?O>2-T*VW!G3 z%-JjJ;{t3JK08#1(J_yTvah6n$tABPGK|8d7tXC~MNNLhZCPMDd>mm3_~=Rur#S92g3y!zbJz@lX6^$igdzK(4u&AIn7#i4mjwH8LBzZEv-p^Msr|F;4N&; z!Fc)%=Bqeh;pJ7Mqg>{_*R75ohbfpdk3?|WGGr|ZC1=xSe8o|?r!@72VaN*(X5D4(w7Wty|wEObonvqpBl0<~$R5dN6z{ zDy&)lF;iq)w*b&4(tlMtNDdVZfcJ^3*F{C%GgF_H2)<27 zi=rflywuAV4SYwbs@n&e(m^5g2;>P|Fi(y^ba%(>zB~CCfmrf0lS>JBdmiIvMDM$% zy}z($j)veNjE@I@VtBxUL+%FC4a%#c+SSssD9XXj=Qf!_a8$R;c2yUk?)D~LI-$OsZCN6k(q@i_ywXckC)eFFyd!R*DX0sCk0X zs+lxR){~*vFc~ipm0oI42tGb6Z9WuQ^9-&SuUm!z>|C0EweB1a4ycQH!2x5IL33n1 z6^EQzyrDT@wbsmDh2=sck_niwt5A+F6M5A>izXu?!{2KebR~yE=uyk)M5+Gpy1A2& zQM;dp4ftL%pUh*vKhpzV(Kc;L7jTSnh6l4s5VNI6-q+I{l@mib5XUG#bI6{D0pqx@ zF6+XJ9kykE#FGeo#M)9NNQ7sa%(&2+`QwbYT5HerJaM756)sd zLd)mqbWxH+PJ^^B_!vf2mmQF|eU%Q05gJ_8I;6bq-Y6X;hdfS%-3vRzYaJLDu9`)Y z7q~RBEILZHOw*!Sq9likT9!kMRewFl%vLVx9)xMF8oGl@2RNebilEX#a!5lShG=Q?tJEP?rcp8) zG3<+3xwJy)DGc)lrCk*$9kB2sIG z&_g6(B!KRTA%ga@e4^UPJDgWi7|TH;EcdtI(GNuL5jLcDAMC`@x;)cu(nV7U*l;E< z5T2K@>;e%mtZG~o9xC%JEecPL&$pcBVCpi*g{&6A&RjVdHsR0=FV+@ z#Uo>eQ|1?!h{{J@e&RTM?XxJkNLB`{wL-bghGx>#s1T0U3ZuAaM2;M*8ey3WiuSES zaL;6Jvb_O#ah4BBR6QNjs4>o&tf%6TgNVlsUiQn)J7?}jw?I^G&FYqc@sQj5BBeFo zzq_!|I<^$T5aZRsS&;0qSiCYfU{3;@jm_Dc>xDNHG)FWrQ|2aX94$3+DQ)3DaS(y;$oN9CWfX@rsuSa~ zrlRXPMyAw3A@q>tMSh4?Q7*B6P}s2~GqjW`gIG)n;Rg_V!AJB(cvkpkbN;EtT#;^5 ztXsyS#; z!1z88!(A2}%3V&GFQC-7vb^ose0hn0BfFh=2t*6jZIjj-CIW9N8l^RN-CJ&YskP!z z7hE|oO4dd3T|RRnsG?}^c-8mXLtNT6vPlC+Hlylit(@eLMn^2o5z-Bmc)wyXF5va1 zXpL@bUgK<6J(Siktz7ee7^T+zC|q$UgdW}SyqQSyiP6nSP)wT8$;XZ!Q$^6$>hQhf zf<+J$!kHd$%n^o%eG1O-yv8dz?ZJLEn!z&NA=cjmF*fuBhuYAi;b4QR3a636yvPcH zrbsEK1tRlXRjoCyj>^x>aW8Y#4wnJMtE2i)#>WUGUS0pBy@E zk09FZ*mOB3@vyV?Rg+oT0;VKHzUQcwrPRu4aOsn=edNKj1yw zh@cm(Q~7dP7QY=j*wV~*g`auZ5iz7wRR*Gea1%MIIx;Uj-}tFYqAt9G zehss03Y$G{p9fHRfabD{X+DS;%Iz+4*fjfPYBW4cKqB#-_DnB>Ch<7A7ZqG*~ zjP2Kqc&RkKH@@^%h{Amj=d^D4mVrT6ly0T)UY*ql`c7f-anRB+mBq)w`irF_>S`*E z%}t$Rw=x`mo^0yobiqffE@%V>o8c=TjVJ;B*n$IVS6)^pG)~Y3RZ8Xs8a=v3F^dA76>(S@l`t`2+lK?2toqt?D+ma z4Qf@u(}=y~`bf$BUSX=21lK8TZAbik0imwW&qTC;Y7#o=;&OW~?ppGjr&KtTzr93$ zT%BK{_0{=x;h5QAsLc1_8DR6VR?wtcY6{#eo373$*fRU=>5Xzv;@c^ozB)g%F=31k zan2IF7jUBr=#LV8{q3)x|9bcGKm6x^dHL$i z!{6?{-`&4{_x0}O|M}m)eEam~Z}#P18odAcmsj7uKl@Xy&;GB^Umsq5{N=;l?X&;* l`P-)l)}=oClS>WrPhVf(zx(p=?c?pU{~sP>yzAX+0RSgM8kztA diff --git a/übung_1/agt_übung_1.tex b/übung_1/agt_übung_1.tex index 8d4d35d..a2e5d4f 100644 --- a/übung_1/agt_übung_1.tex +++ b/übung_1/agt_übung_1.tex @@ -42,8 +42,15 @@ 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} -Gegenbeispiel siehe Foto +Falsch, siehe \autoref{fig:dfs}. Der Minimale Spannbaum kann kein Tiefensuchbaum +sein. \points{2} +\begin{figure}[h] + \centering + \includegraphics[width=0.2\textwidth]{dfs.eps} + \caption{Tiefensuchbaum in orange und MSB blau hinterlegt.} + \label{fig:dfs} +\end{figure} \end{tasks}