From 18001dea1194eda81e26866947dee184dddb43ce Mon Sep 17 00:00:00 2001 From: Never Gude Date: Mon, 18 May 2026 19:20:02 +0200 Subject: [PATCH] Aufgabe 1 korrektur und Overfull \hbox in 2 beheben --- übung_4/agt_übung_4.pdf | Bin 55402 -> 64351 bytes übung_4/aufgabe_1.tex | 26 +- übung_4/aufgabe_2.tex | 6 +- übung_4/figures.pdf | Bin 22397 -> 31881 bytes übung_4/figures.pdf.autosave.ipe | 877 +++++++++++++++++++++++++++++++ 5 files changed, 900 insertions(+), 9 deletions(-) create mode 100644 übung_4/figures.pdf.autosave.ipe diff --git a/übung_4/agt_übung_4.pdf b/übung_4/agt_übung_4.pdf index 555124b534f4d8b4f4b03803e62d4542bd5aa818..ad1eeed52dd7fb4a18f7578496ddae81504c2997 100644 GIT binary patch delta 31445 zcmeFYRd}2`vo2_gV`gS%W@bBPW@e_Cxy{UNW@ct)W{#O-h%t6-$2?xy|5|(hXYXgu z%(AvV{sXo;!sj4JZ>HAR!zH<)_MXo3&LC?&ZDUbyOR`X@Okxk{(icZ zCrN~jCGh5@5_Fh~lk^iT2D^%Fz?~Dn|8Vvc=$lS zbHKSd^POY=5x?rd!2=!@un6I5A>0wYduBpIw`qfEOx+9cF=HJDMf+@;5nh$_9_pN9gWx^f({x$r zcUxK&T41-5y3>V|X-Rcqr;zsb>3UTW2i}8?A+CGv72&@9{(1lE{`OtL4}e?bh!F-j zSS1Wf8PIDqhQJW2S@GI}pBiv90GVaSB^JJUfp^ApG$9U~M*_hT|jB&lZrGdi0 z>d{L|i6;umxve%EU}zIW`^j?gTe1NY$>i>VM}PP{h(06ee7&rj^0Y;*huAh`A9f(2 z)nKXZX}al(R`|ymC+SmoEf*tbNpxk%H!=2Mr1Q z4w1|7E$R(mEK@0|9fq2_iI@>l=y!nz5bP&8c(iTDE)Z>b00jhWI<+vxy~*0Ii>Xak z)n|G@vPl|pt}l2N6F6!DrfX?CsZ}vECDWnQN72gPvcFgdOxWk}7SwIqdLYtLb*T$Z zdsm_3nLU%P-w}j~P;+Lw>8*BuHY$1!-gkzD#MYjt#fa`S2&3dO#=S;6qviVwrjVU4 zzL%!vA0;i11jvuTMgoP4V<9OK9=rBf>5LzVP25c|dxonX<(d!*)N}!pp4-;CO90U8 zd(U3M+39V81Uk2~s<~4!EdB1R^1_4-=5kU%_-2kj%+{ZX?NQ)AKkAF?NTHwIt!#3Z zU;i}cNu>wKMcPN6MN~|{-m(NR;j$Zx{LLG?BvkR zO3{d8H-?RrrwTWTnAH;bK2~YfBUl|*8;roaJt1!&m^qt(tW)6W8nY(oF%~8t7QF^Y z$AC4Wys`wE8w^G*!iKG=1DpI2am<%Qy3SUy-xVn^;7}DUQCYM4g_;!aeWkh?QlrPovjIvYtakM~lxg9R_*h9Z&e(!X z{CDd>+un5kDK8F(tl`UxxWW}ObyB4v55e9uN^N2=fqQ?=}m1G4L%^=rSKgR0bp>XrF<6lVv%fFgNFyWjMYP_YoYj>YQ-B75Rq#jg$dgS{~^etr- z=uhqMF_{S=2qea_H5Jpy5Sl#GltZJlxdJ4hisZ4KgSV-O(WhOy&*yN_LMIFKzdgs+ zOof8wpU_o2jKyPsyiyZVi1M{R_%nTNLehiXC5RV{*>g_b(G1;|rRGeT0X4koIggzx zjjr(RY!MkxUUJKV9v1{LqoF|Jy8%7^p(HTxN*SHz7`qw;(;{3!-#IDSx45N^vI%fr z49GZa#9|+iu$EStCeYg*Agt}?;DqV^seNae0zqd zwJPrMS=y4lXbXo~5Wy)^dSd3VHujoS;$3fHi%_@SV)MU_b{bqMR`rDs=<~A`S;(l6 zO_GVWJX>;9tJAp6SDb?8QF<3$gaLe8G%<`iu_oNgj>*wJz^^MvU3X{YQt}QO*YmEUagLx&d3%~iYvHInlm#n=@s=G)oYd> zD>yj(vC(Vj{Dcp9zzK9-6aXBbc?}gW#b6VQ{2Ee>H%!H#U>heg3-*JRkmkQ95hNqH9+i+lCt-^0Kub zAdKCQuA2OIZWB=*$xk7iMJ`MDMu7*WepS3J_EbC~iN(YcIu9$r)Y`Ije0lsrt}@h zQ~YvYP}bbYHDQu<99h{nW`cJ1TejD(imIPid|0~==S7SBkzoGgX0WiNWSC&Y6zL!r zUp+ixOI4K;C8r6l2ktwlY=-qTjG4Wuvx}3Nk=W>7*-|XT{ z;uO_R7KcM+n!?>C!?%e)NvK7V7p%mk}KgoXV?5_QfB5&t8zR%Bh$FxInc4lV6zd^P6b-{ zBh&|d{m_&~#3r|Uj;U-)l^;yiRN}$R&G22$oQHInH%Qnu^hF`NUEV@@X^4HFiJslA zyKdU7TxJpH`$=_Z$^gpbPAcw%%B4u#s@@yN`;-3XZE4e>6FdKVeHT|5!B+KoW#Bv| zDzE{%<1-gCCp#BA8_*d>ACv_c#3umC3Pgs*1h5e?5h)WfO4zXwv9kY7vl6j#{7thF zv2y-RvlFp${Y`Tav2y=Sa}u#J{Y`Tbu`&Nma}%+#{7o}65wWrU^M{#;?T=)@U!s{= zh}iy-&CE)~_K$F8HX^ovq%*Sv0t*`v`#%s^*ooNx1A>46k$?aU;}<6fS4TcR zMioX?CnI}jM;3Q&{HM6&Hu_WSR;rQsYm92}J)5kBc z3k4Q-N=JV2F`)qoOi|)vI2g`Jf@&#(_1gb%kYl+;aICb8!SZIo8N2WJ$ zLAWxu|G_N(nuNdXlaG&xQ58r}z=6Qb$;QCS`k?`w3|yRSKm$xp9FD(-lZ%~*D@xevvhUVh~-inhTy>8r;jI+SLH26Gml%ky(zzCeO?$9k9xOX z5;v1d*8&Wq8<+d?z(EuWPeQ3@ZKW%yBzpvyzAxRj5QDZJpE-LtEgn7_DcoHEvoOmX zWCtHM98}~(ZvHCZd>2*g#@pD$i_4+&yK3Z6M^mfsmOKT~N@J(#(Gw2Ixr2o2HN#O8 zX^|shPEi}>hPt7A-g4eBL-V6R3~Lj{HZ;zwDTkg@}Xgj}9=iu>6}2 z$i?y^3<$xAdFKvLI`W;dZ%c*;8jwjh;TMENhCXAi(TPRUtqpfk#x=A&_B<=~D7aLy z>4M|2go5cB1n1Ci47L0HuKxmwFzfYPzrA|hVAhyt8rrt!P{dU$Vf|Cn(8?w_jZ$67 z0I+KH4gPyE^p04nG^;8h84{2T^#k+Axtxjn{{S=0;9r=tMJVIhJ87Fjk;cBovy{PF z0cqqe4LrId`k{)9w?zx9?0T;JlCDtkgF-8V^dvO=55!N_8XB=i!w7lN4Bw+S;+jV~ zmg#jMnwf@J-Xv~rt&1??(7Em4Q*9&EmR1NKT~0!87N8vpWai*h*U4~!HfaCnBcPW=l3nFKrt&+74*E-eckzIoYjNL zuz?Ne|L5cUUoo?yvcQs5MKNef^VBa-j67q`%yiU2B<}Zq>G_v#%(@`(=;EKVw1MIM zg*kheOW=j80HoAnQ+);JO#Q(Yd1(M?@;9zk76)mwN7C1I4om^-u#nP4`EAj`>FbK z6T~Zs(l8m25=-Nc1%9~L|E&f7-y^`+q2g4tDZC z?nDR}i%0U8J9@#Sf}k}=gaU@(s0015{?i=^1HrM0|Kixh#{-IBqeGOPBXt0qaP@(@ zn4JH;9W5Lx2s&s)WZ*WQKG25XKRNz5y}#PX#YKiN$3dI~!V~BNQSkng;~y*ycvKM7 z?+CX*KEi*O@~<}NAjJW!T;|GZ-a0BOm;rI(_2=PZd&xjL$xTwg)fsCX=pnu#c(3!*?Xh|*#ye1a; zS4kbI2e5=f6lg;x`md5JGEd+kr6{nH{6Bd_fQ}R#Kr(6+U_2W0f2%r;zWg5UJ@b52ap%eAKC%bvgeLKr4u2z2&NWF3SE^*g5936IaTJfYVWQO*0O1X zSHB*DvkuqSz=U?he<5R40h2RqVbc&%yfL^fYrH@_FPu{+h>OWum}mRya%^>Z+OP7% zvdx7p0xu>sXC$X2=aSEJXXrV4YkpupjVEIy$5??>!EgF>Rs4!&U2c{8_V;CUvv%gd zW`4W6EuqN%L%VuK1A}`f;r@-Y_B!1-=3?9x#(&=%aB%&{>~S*v+w6q^^`iEf&_b`C zX&W#Do#(BzpZDOD%hd8Q58%{OjIOMmT);V~ttR(-cgRX-`WhN(srZigPo3o#)>>QF z8QXXQdOeB`LAr6+!FzqIcpNx3s5n}P!uUZx`x#v1j%TV@g$7JbTB}Gg^QAeGuK`>S z9Ti^rn?j@FbCI9%SOf<;-}N;FBZGRw48F^3jpZ=Bg6odh6#81j#u>L|1iqU`K*!gD z582)0yD%pCQ0$QwFTKI_mg6}t`xtK2hR+hp%Zmo+c$_Jqv!IeU+NqLL=#(9Pw z_OH@~a+j82O|EFkvHR>O6eh9^#$UzHvMTF&d~`s!cC+6O(c>lhc-#j;Gwroa=3x#QrLWP zxLO!BYE-guUbq}+Z)_^1BJlzZ zN}kDJ{7-=b%FN+&_NU`__iY;(xZw-_0h?9iNGLcJMbfgg^U6d@le8hq`G(x2!%HJK zl5ogus#13w&O~Qf*J1BWz^R9q>4#?uV4N@qF2ES;=y4%&z!RTD$P#z^$)9wN;@;jP0-G#jG;M-(1u`WcK+cC!}flhs8gI6r+deU+BrzXplN( z7gQrc6mF9lH8XD(Q751zr@+3(y{H&RodK5MrIoT#7QnP&3us}dg&7M%%0TG9_^C!u z%v-A(iOaH#kZy~x?dl0ejfM67SeRz4(NHXq}8a6hi z_1I(v)WMB|@i?smMH*%yVH>8P&mW!2_rhv;z^Fpp{#dNOy&mD=rS|T zrgDp&F2Ow^nrUW426ED`Z_uNz^O=m&mKF>YQcDO{0Y&}hpm{?hgiHF^?yCT8mVWDH zb_Qhgb6Id0;LXJa@p#N3MszQ|_dpg?wo$~Qk}H_eE$cZ;0BvQ9*M7utVjTc)CP$u@ zx$NYy34eS+q3!Lw!1j)nZB>BJ;*jxnj%(^=j!n%pJy6^zhqmoL#CA|BA@|GAq*;uM zi~O>8X^}I$cR0-EUd<8VM#Z9W9-NL9q&-?SXurxK8CQD$+5-PIYbPSIL7T=Uq@l>2r~R7LDXMNXPQ&0z@5@UdDPJ!rNlh!+B+KsLcuFxZzUz~3EY`Xep z3l6~PC1Vo_EJ)(b;UeU6u^fCM0%|z67#?YZ1m4mSAF0!Fz3iml^SixWyY1q7Qjh!D z@7@Bymx^LJ{4!>E-#%f+3=l^C_Z8}6fpVu}`v}qe*XV(X;m1eH&=75D6$Au42UOvI zc8$`)pq;N&g<4Qw_su&pqX4Uv1y0w0bU3DMcAKZYr}w`dZmNj6+wOEEU}P% z<J_%y4@rL+RvE?+vA3OmE+?Z%A<9T+hb&iboMPT!3WB7 z@{HM-?FP)(<)=NHc`%W&kVLoGx4`%3QBZ!pO})+RuANk`wsvoB?>5gifQ&}PscN${ zt(v6@P(?+xN&1XLjm(j7L4{pP`LbMzg0`@ELbF^Rzj8_P6r$M0E?k%RPD*W2Sx_xn zxmry+JG)r9TA5ld@AP6)SIocvdW9lZ)q&u;>vz*Yufmp)DfVm)i^u|wIMY(*T z@LeWc!2_XwD?~_*6m4GwvJd&Q**#~)iADf5vflLq*)Na8aoCx6Xsa^Ol=cIZ$Ae3} zDr8KDVIYj(1R?rPJs5HZF%L3p@pEEWV=xF%UtyCq8Y_uM>kt@khbMinm51a3?S5IF zWL$}w-T7cWrx;{25-xp7lA|#HPpfh`;mC&&d>g@lY&IdrU43 zDBqc58Rf4XJ7aPDwqAbDivMXs;H`{dV&RnbLYMdU_)3)pW)Da ze4{e@Atdy!)Kxh~QnS|-k6?R{vam4-F>0a1gutz_561H#zRw(@@r1~a#e@`JYh^1iPCSJJDEAG1VG;c#>856er}g^z8QiVg{cD!^ zLIfh~yebq`gXnUZA$xCSeQ6b?~5h;r@r_so2+({k0A>k)tH5?PcVE5vUn3x0b z1KloRezV}HWjTB~d`hoAsFAG6A1yjiLsanpGR$;8L<4$bkVYU!K&*bx3tcy-$R(g5Mf0C4LRV zzm;%_OAvYZ?_=-@_3A|R2O?^dt-)msqx(~O3nQ(ymCGVHtu~PQsTd#5D8>g=(H**Q zmA<%m04k4QbOU72?JSUOR3zI&cAg%Bwy&;uTL#jn)**&Mp$A_N1`NtMjTA^R(#J-4 z`RMwn(Fl+Y!*-9)Wy9d>lsf5+b;LTrIQk&vFH=_N`G0}H3B5(VcoAcaBQ>{g=dOX5)~u%JCd?B#-rEq@NDmF6YPEP5z_gU)5`t1K1%E6ki(>i z0HDAFO$PkL_%4#3Zm1C8@zW-A!o|raX_RX=1A+tP+pep}GMM4PDwQFJpRwI{@?9&6=@(5mdH7||k2 zzNr(93*MD?Aq&;FVEVzQ9U8Y_DMK+;Wx&JAIugTeKemxHnU&3hj}>REa|k914~us` z=6VG@erW8CJrjwIu!DoBEt7XMtc5QV*Fmt}kSK(Lm=JW$*)6A{-_JKc#hAGI#!&z7x z$j?9JJDhMBd}hv3x4I)sFVraST3qYS(6OYK*F*@Yiq3udn)06d)ssG5^v5$mGFHP6 z&SNj>{4>_T{7XhcV$NVGq8(!-wMrf`hTr}XRyt;t*}-Fmf;&x*>>ft5KPx@~(bw3B z8wekmoiJDxHxR$yzPp$rcL5?otpWVQ0{&Fy0)0ql2rqndm$Tj>stB-}^P|Lf>FGf~ zaw7U8RHKHX`lhFd*p2RyBvX(9RgK4$#2EF$>Z?bZMrW_Mw&dAQoLy!X=O%(uV3e`V zk?$teIYAd8-|AiyUU|*Ts{BYlYkkIX30sUSA>2}fNuImO=rcZRw}3QZ)E>*$3pZPF zj;`E-U6wu4kk%L;o46jSSfB|Q^b&8VJgE*UXccC=$ZVZW#@nq4di;!l9x1k?(5dXh zB)IeBC-iIP9R%y#0uhKV%L}CEMW!@2G~C@ctecI=>;w6P2ZCx1+V(%}WZ3`O$uv?k zN_+<6`YYOE3C6|wrwE7h2RInlpCkN7b3bYSmA|9@*eek+iikLP5a|$or1U;=SPbk; zf90sSKTOdomDf0BGa`f<3wa(sYd_3>D|Ki30K zY>6Vpth*s4zz)riQ6adCa5O=NGHIJxlGL1Af*;ia|Cpp^lbLDpY*@F z!wPf?+RyuT5JO<{wjJw8$7mQh01~!2Ib8(idru0j4EJ1b!V`YE>~t^|FTOQCUu<1~ z1Jv`-SlhwQf9ZgA0ODvbe@p9*nMHYXJZcywX-d^Uu95~>5qP^R&Xp>nBaDdgWJjMV zfbwAMqbS~Bvr?PqN}IDr`lAW>BYwhGyvz0<+V-LU{u!itrYm3MMCW9kq5QL=2WSzy z%=B@r;3vy-f(oROf!Sj%#OSf)Cmx&7{Kmrze+fMTNHX*RO@IPA4pJQY0FYV^H-O$QEu-&#jArZBs|1v9E;`MpZKWFakpH8jM29QmNAp{_q6fWbtVv8 z5IA;ixKs^MB?wORqq>qAHhjz?4Bv;K+Kawn_lrm=U4}Fiz^8i8+s4%%lQiBsF>rLk zwohM9T^6t5=L00L`mOobMUAFPiTmc{Mg5t(1R&lKU1zL=8yaGWyw_~srPpFX5x|?j zHyn+|*FM&tUrx=!tyC)DOsq^lK%V>X<%{KF1y<$QAMC@{rx&3cq$FR$oQ>mXd25^P zgZ><)U1*e~K}NG?|H;4g=I0JZ=o8FERkEM}pWYq<2Lw##)&y)(Itk`Lxj1uUH%vhn zCvm4q`5Vg8ZhcxgV9(CW=dU&{0IU(#O3so*h$*Hm4?UCwC$+n5AwWwJdL%WALQa#_ zxsJJ+QJ6O8sBeDG4|SB3B##7Z4c^`)?pAco{@_~-;rT&K3BhRHcJju0HR>7=$ zIwG;eIp)_fMBDt8l5MkTVIi^{EFlXqS)YE35zxW}N@m=9?hmF0!5&t(kqTzad9s>A z0m8$$g!Or-c6tKbF~n(8qIkX$VlfJFbewomhj5tG9>LNROd!j$>ONw-6@{dmWjh_hwpjT_(fPp5?Msx&)g^b@XN?S*hlA_x<6-MRQ~ZfUtf); zyh4@L20UQiQK4BZ0nLC=%VDSY}JzTP$uF8L>qU*M8eC>!TmF5 zb&Mx7-FxG5MwU;PPqdGs!2S11Bl=#j9v?IOUT&SQUoY{pmfjYf=!g zppN@casniODrL`{=aB1n4FgNF4lOVTH*zGJi4J|R66bdK#)j}$j#mL**~^*rJ+_=I z^J?Q@KOI1KT~URLQFR6vn(HDg*aQunS4}_9oh(NNLQnB2PFgq6 zD7%8*Z*~RD^O-Ma?w$piuKE%DNqXm1ZbJhPzD{M9UvM|@Gp4m&`WSEvzcTRjdA}ST zaB^wzoSYblq-5XhVl>3q(Q{aQE+)_1dAVDE+VcRoKI^cQz^{o01etGt7TbJ&< z&3w2xeM(b*P4^KuvH1%v-4H}`sdoL)a0954~M*z!t5fja>GHAcl#Ap z<2B@L5t6{Mxb6;;zc>p$+$14LoRrqRy=|p*(VqHar02-^Hl{a zhW3p~W2T+}vjF};Ut{s|LUa}vj$Dap!QMWgkGjsNy=_!_QR=?W)Q>0Y3@<);o)75^ zj3HF@E8jk68;YYI+wdGvt_Z~-Mri`IEb$6k4&90&+K3UuQ7!FQ&B(M<1V9p{b3ton zVyjywAt!Ite$K>>ub8~OnQ4jr4$vvQ#BabqN`@8RY=w!Ls7W?efnh>i6T>5Y1JnYD zpX$qJ)l0cJ^LK~e%XrfXyY~+oBPel!4R0w6!W_U1Nvl>2MLB(mi)6?@V$U>AFt60;IL@nx>9gxwxT?GxHHJ1J31C%gQ;H;h{6u z=+f)IQuQQKE2q$fl)t(RqM>1TfoST>;17G1mXP^ss@(6Dt0#6DNO4qVtg&c5jnZbKwntb=r&1kdLt*{8I9>;RSI+ zWwFw6O{)9-_Bshr4@UCFK(jyWh5>7Qe>|AH0*o=fC(b%>R(B0<02bE?ImNyQCfC0A zydF&M@RF=V#o|-Dm9m*~M^cB09ME$N2n`B&A&Xmbbc;ei)!Py zezW5G$*fWJXLg90LQ#*+Cz#WraE1~@We_>8b=X&!dP?x zl1!yvYoI7oyM?+7$o7grcKtI%K+@tD_8ARFTb)3?14i-4-I2A#72JsCi2=#*4N@p2 zVU_iCDOt9mHdJ3L?ZOk#z^SNU48@gZ`A#e8Nsv)7Hg!-c*}X+GeW4ZitC*rbraa=W^CMpG&2^Q{n{EeBsYSn8e@Rof2dC+L_v^FXCaCA_1**;@ zo$$1ANJ}USE`GO#{pi2~G{cR*I$ec@N+toE(c_m>16ch!7wH*d4?hb*b<1&zEpyy<1~S#DjcUnUuIK^X+H~6E7h0 zsKU-(PVBbZK9%EY#pzfaQ6Uos;=x3gfs#By=Bm!PG8^vI4}q*=)vPy^%i z@HMwNGDtlwikw{e5hp!vcInE4m{=IT_4bLDQ1it%puQ3@a)j8i9$0q%lmT!WC~Tyy zx7Rto(I^wJ;rB*1*>I>2@Yj^}4#wMrI7JgP0=g_PO3##AT*G`}zDOtR2SD~1)OLHK z^~<)pVr+gw%ZrIbfx|j+a#`^;(WQV>@^czWCMe}8 z6@alWx&I95wg|tTId3QN%Whx<8x1TmeC+fNUca-QJG>LlLtK7Sl1|J`+eYR)|J;gt zb@7w*lc=~iv<=Z(Ahe%A%_Wq=7rLM1{@{G)_LJjHd5hgJOZLbe`>Z5M3f@kV~Rtmft*c z`a~9(jw65tX+|D)?f7|mKi%VafEA8uW^KQD1xig4$_h}yF>#wDvpU@hyn3wQe3eKs zXwk-{oSYQVBAcASG^KAfJc2!Ib8fl3CT6T@(4V|26x#NdWVu1t0BGv79Fy1j_4s0j zj?3k#&E2$))Hwra>+D--<&dc0gY34MN|qWVjN#!trST#8sjrXn|xPJWxwW*V;V0@`1QoQhZr`= zyjefsDfm#Dvq?52UhI^%YQ9!wGtgnusWOo@qxt1z0a#n})eBRvZT3M8Y zEAQ|j0dy-xL39AZbNNlvYUBEazyn7T893(28?@sd!fm>0?G8~{wSmMMM@|!U zLJ^hoD_ZNp3P8*A%^7BA7=cn5vT`ogWfm-_Nr`wabPI!bUw2+y&IRw#m{=#IFIMZe z%MHi3wss2A9^h*n^*roB(Rd~~L)Bh+uBCZATBar&o{5?~HW=JRnW`{@H42~kX_39t z;qk`i;ld>NSvI>KeYSB4L)5p=nJXiYzTS6aEQ3o?~c+g%8(^&bAyMecqfe zb<#kpz0BrrK#qI!7P&InsIjd0A^32_TS$V|($+Xe9H2rA81Ih1?=dVIaPgWyN$S$u zecA^qbR4ECJZ+QGKt+8PFD|;OfhxIDz8tb}Zar{TLs5BJD!xuc)uA+O%L1r3ry`<7+H=B4A|5wh2GVe$4XjPG#|vcV$zsa%NcM zds-5`SbCibyNa2yY;448gl+^5ZE z2MW@GdiJ!JEEP-n#@F;I0|{+Uo}8AG)9OD7lS!@m(I6TtzBJ1Xu-$Av=kQWa7MsM? zS^}ivj7lxd*i7bW4E5$|C|`dk$j@N+-HEv`_(?O_6}|PA$c?k5Y=!%=rx9PuaKnib zwn0fvv&ro7WTjQSuUzIu%?^@*;w2$Ne;cZ4%^=(K`59s6t(>nVbwxGU-O!;%#Y0U; zl&GCf11UvLtH)F>zcXP!9Dg|R#-PnM$OXuaQrz~{f{MluN}6Dl4hTT=T20vZNCHMo zIIsGDAM@?ve_hPMVMf96q|tMRcszJL9aU(5R9ShDqP?-OzkzYumi3nh;l3eOu7-b46Fzl_yUsJcNimH{h23%!zmxKHofJ~`Ol3VMwX$wM~OrD)hp)Vx`!>46ZIX+HC6JeIK%NC zi?!tpOVOk1L*GcWC6t%IMPtb(abq!8c8a*oMYgG05PuZ z%nlBYYZLcFwHe-Fw{z0UdZ^>Is>O(tsfd@TT+3M~EqAygKo0F#$7+wkJ-Jh|Pqk4` z;$5f;NnwGFF0nDK*(CzN`db6UHdV#9wiS*__?pNE#`f}XbEsq0(wUYbrs8Ggh}eQp z*ZGKr#{tW^yvx*PI}t7Cr3pqVPbk3%(>!dKa}}bK2-UnzPA8t{b7z@nP6D&{jm-LT z4H7m7b7mKCtMeg4XRb*VO*E~W{Q7S!Q7twfuMA{fIQ@x=09(=F!I@e9ghRlXxq-PB zm`H|L^?f0x_y}-tU?528AjyB$Ku33YpmzovIOo6S%{5U<7S#xC)B;Po)T~UJj)2On zz*49_35VQKSqlxlnwf#Q4UNZ+vc(0rOw}%i4w+ycMx-)D1RWd-MGg_gq)<3$1a>=| zVz)nv0w=X>Ctmmfj?<*;<<`&PvG+=bAhx)~m@C!-$Nh5KK&d;wVSdJgVpv+F{b8JCGH!tZX>c+E?&4p zYbr9PKto!SW=`#QR(mE}G&5&nJtJ#FY+gMx3q5(Boh~t+C@~#+g3x&_zE3i}+FoZI zjg7J89IWtolk6r~6ae~MmAXg_utD(w(=k9VjRvJ9L>TpiP)C zGP8pfCok@M2Ibyn5UxeMA?7epkgzkZaEQQ>3-!$L`3TGd&|(SEIH0lHsmN=3etrG@ zm5+mkZG{(s(}-&IDh{H9%Mlo;bII?#0I&(^t~ z_oY(bI3uVQa{3KQsL!7nIM+UJ&V{Iko@q$$=&()@e}b$$2I(zg6yC2gnUx0to>c!O z+O@gg*O07tc=@{E_^o@WI-fUz8Oz`COPk#)AwQ@E@tj*d>IDCWo*IF2v-u&p7vL@t z3px77;{3|lI+gAPthi*3W?E`USUzkA@zIq4tY4dB55EutO7D@GFr|wKZ8-|TNapnr zT|!%>Jr3gboJ1a{Q#<1FHSdrY+GTwqMjhC(eLaxo^gi`=ZHeb+AhT5XT{`S5?PKka zk>4V&WO8M&lg*vd1>#BjFvYS|s0iPvXcBVL@>t$L+*wpw|Cq?}hl%)b;Dd2+|M6_D zAD(UCU!D!=S3bwev>bKFG!5-wTzPc&%3%d)W)j;U*QRDvTsI)SoMFV2^PSwPS$X&eSaCY3(;;RHPQNm3iv;+^*A#Q*v{-bDM0}fA%;lW| z&P`ZPV4HVdcmI{)iRVi7Rz+ z3sZtm6-;U=iO~V{K-6S*ye{X6;hAlsK7=mQBGJ2fh+edfelAUrIE8!U5OXlCjJiZ_ z*CGNmW=0`~6XFH0dy3vSGf%N&2r4O*-L^*23x*@l0HlsO?A9tKKbdB6JZVoTgAP2#Bs8Xy{+F z2*$$o*HQ(}!oidvhz@X7w^3Emz>tUIPMeoBHt^oa?t&^w z`4hPiQJ09M5R;Hd4li`T^~xA2lDLojeYdW>B2w7o_t4=gz1Pv0GyQOC#W6q@rY-rLD zq>S`&BlEA=UNEA!X_P@@FG$#DYDc% z30d^;=SgPdm6`xiVqZ>+Fx?WG#L&`8)%IFC-LiR05@6#EsdJJQa)Qb`E*%IeNR&36 zFDbtku}nhE?D(wtthqqL0=PsIot#qqJs|drc=wo_45s8a3X4fI7^^CgoJ>-91y57) z63D6()nZwU^onSYq~$_QjnYHg)b13LN%e6xalDjZQdIz2bFf#CSDbVnO8JE<4S6X` znJrDOvXb>1;>+_(?@s_a1gtScIv+wRf4^tq?ID^QTPm>cbPw|DgIq)gOJC-!4J^v% zHEM+KdoqtPfr`R`eY9;sDfw`0*Q=r2yC%jyy19smj~+ePQ+y?hf^k>3Hbb&-1UI8l z!EZas#sYv96M=7Gk9<3Mn)3`+ zjOZxT$UTH#k#)2re+O{;WJfs&9IDM4as(V#MtT8mF!N~o%z^&X_N{A7yQJBuj@V2N zk6'gT)%+O@_qzxaApl-?5&;l5jZ-m@VWD(T_QTmte-wh=Pa;EsF=y`G7>%7PnI z*upHv%k2=sjNwI2N9Kf3{AJ043^xoOq{M==-6MnWBTQ#f#I{TUL z%%U%!DUYY-gw8g0Be#J!Kix65pY!^{Re=+b2krRfTM=>NM)e{yT%dV1&!4)usIxSFJEe;k$br7ur(%a}-l0q4cZtpI@ zmQ?D&vUwNe$ZqICKs9m%PL>--zgHhMCH*nC&>g8 z+n(6AZBA_4X2&)snAp}t6K7)Ewrzcx=l$NQd#mn``=hJ(={nU_UHhQ-I%}`(NL|ww zE;dM3;x^_$IOUt)ZJrnG9xTe+Qc*64M}}>gq1~seLN}Rxcnr(h3Ssl|+-Pq6cjD>B z--;m!(Oiu6xO! zc;#wL+!j%3(x;yveJTutM{0J-U$wah+46X$wRj6Q!Hq@Lp()3zk-4W3@Y)h^*umbJ zchQ3(E-tpr8(8r*aPj{BDYyomZMdm`F!2{?RA#ExIk66{hEBnZGDklFbqL>!qL;kh zgZ_%70FV#(Mk>v+!6cV>b#cg{JHK<;+aZv@4 z3yzs?_#~v)puZ9&dcfBRev|aSNAGZYf`^Ce1)xGjR#Bqandv1yznC^$7FaogtrN)M0}Hr!9G(_TJJwkLFa&~FqGgSNs~MrkCs6BLr19* zF4E*MxvNsUT7GzTvbf=;P)naEH!&`m3e`!`;y*wiY%ukAy1HgN%Y1Z*huU@|kL$s; zIb-X~;x-{}c)vlQN+r3KV*UAzs}zfA3-INaJ^AKn_>+y7Jl=a8T!q7T8h>I{HbjK# zvk6|1L!-yP>>Pel?VF01bRkIs9~;IfB_vEwU*qCoLwwv&`1#S_ew)AUnp~~Vu0Lk06Z>+(A#{BneFDw{ zaPgO>%~0geJmMNe{For(0kjxrl>7_w8qd(0uqwmzQNuDn5frruk$2CnW7B0%Url*r z5jw@|D$^)yCC$bs$wHS*zx;qErFtTpf0F)Fwap!9pdR26^pbyw>?OL5jkhmY_-$|n zHO}l5+s;)>S3Vfhw(B5uc}2m)sTK$vrc5Zk1|i*T+(B$)ur)^G#Ir23f%x7qCh0|l!pD1hAHEKZ+cUzI9IS6KuWIm*+q7y2xQsqi{=+n7pg*3bz)ETt)f=z}MLalU zhNpneuuP-UH*iBHH9mM*QRhz^2c5y}x?A()imbu@@Jw;R zvwAr#g~WWly52T;_O;kWMDD2KeuY4GyG+Y4m0LHRJFrsZ4SsD|!i|t2U+>wD2=x9a zEvK%aG=uS|gJ6n794LfmP9twd5v!foI4mm9U0+fN{%O^mMmvAEc?szCRwgw{omA*k z2b4lJ6em<7u{@1FvR&;>FHDp(qPSFra8On3)|*f?Oxo}7G4En7F`eD z*;ir2uMao*YcE-t%zV}p9P~N}2-GFUed-Fm0gd*0Be8ov`_gGlnkD_$oiy6Wha_b} zm8vIWa+~3A#lzFW4Gv(Bxi7m}4Dx2?Lu$~Jn2gLuip&{h6j~pW<|ZE$PA9u5$>Hx+)O-X z*D^m{H9n-aat09aNnOF~FfSs%o)((74;il|3Bwfu;FCFaQ|B6OOGT@~^hHaq?W`&v ze%qCl^noE6#~XQQnbbF=4liLxAn%V)o-NC7*Ed_B^8n>DfS||qmU~QJ@{%pG+1jjy zk@SpXt;V{qF^XT9)EtNNi}m+O@lC)~B9twieDahl3t7x~5xcUGnh8I0`v^AVPQt@N zRj8+xTy&Fq*d|_}j$QTcZ8waoYGCE4hRnsPfir)@8F(fNQ9BD7wwyYu*_GxjA?U)X zs!_vn^@9!olp-vk2N7r04%JOf{uce#$Y6GfzSu0&XBa4d>_4@!E#+Thvg|-H`|&viHf9QL@7sJ zZp@6+j!V_t; zX0Yo-qz2SPo-)`^M1>WMorC2c2gOJIoB9v&#&c<>KhoCRQeOE_AuM=_m_+COCE;m` z`C{8Yzvee@_mD}~&#-XAv9#N(w`v$~V1R(6q9;*+1|VVl02M=ln`(~o82;JTCb=f} z`=;G;BO~>~=Vt$IVdLre#~PQ5+?vz-^9d8ExHw2J!+6GgrA}x6$(ajPApp#_$-WqY zp0%HNsOf?rb6yZ{>Y2E=fYD=IGvkK;5qW$FrrT9X9pZ11;p^+5LS*ozUoyF1!6?2- z&}iUPq4nrpcT&185)e7-TLW{(p z)6P}LJ0?Ke{lhO~08H~c0|2Z_Qp7~BPvEQ3HkuQtkscj>CHZMQVvEPb! z@rTW*ZNIJc6>(pG*P9f;-xqRu$iT(E8;owQrusynPzL`Rc@&8;k#BgU-M9Q^AowoT z=V_uK(rg&B0b}Fqr=x|2xOc(NPdI!g`h(tE=M3X~=VI%C038Jt1)$IA{A9HHi!g{X z$ZpcOs}N!|Lz}|vL#-pxpj4n%AbC@$Q>)WIN?g|J=Wi-^qj#%zv-z_#M{5io{^aTZ zo2l<>Kj<*%GU&wctv(p8N32*d*ROWP1*4gJa{eR$svE02cGQ|Ip7UUHmtliQl|$5h z(xKHT)95>QstqEMA`qia$VN<5mce4ARFyb6)OX}mOkC`hxRKUo;8-R?qCrWSq8%S4 z@8Kr(oK!yTQ=b#6x6pfgyV-$nFfsCq;~jYhrx+_cc6DN(ZSzZAN^`J(abuCpv`vj8 z#)*@#bth8u0T24{mcLT`&d^2I+(XF4@hQciOV|%=C2Q7K5m;ZJcWnN`8t&8JC7cJE zy#D7Km`JcMdq~qAG~^Hjou>D)ciG$I)O?i@08#;#*<_==gg3Y4v`9`M8ir8Z6p{=% zch2`rPADnhyN;fm`7;Mz=Eq4q>K~)%;O;ij#b{RC4iUO=nkPTV5)3jJEQqdDZ)Shk z1Q7kgU3gs<3ZU&dF0escHtRF@%?w8QCV}vqt2Bcd{7tu`^~W{+OwzBV*GP7y&r z_=WYcln7T+Pa40GYF6e&Wz|V>F$R*O&Mv8je@j&U((&{=S%gd43hzk++S&DR8bn6%gUrQ04b?^(2?Br`rG! z!PzG=7Qhz_Et{6B5c_DI=MSsJCTTcxC&?utJWa!K;enie*3;j;Rveg~c{OTh46-)w z)?&@dovE7)T^=X<9pWOQKnO2k?ut3LK;F#I1n4&QaD+XDxJ@a7mUrr_+BQ_C%cA0k zNAGn2W6B;MHEX{ukJj~L!>*6ix$@fPQr1geB~G9%O1qNUci|l#nK&{qIj3BbL`1MM zaNXw;sQbc19vSi=Cqyr2-q)FBfX}z9V+%vDt@Zhn%N&m4E6)d^KIz;E-{r@SO+YkV z0r*SQ$DFb2&S$gWG6_M^__K!0er;DOX9?VgqX>gbZ|ApFpx2bkUt^+ zT42O!Z0fWW(>|Wwe@HYxI;dECK#71Epg-C{qQVLmPTiGh%368CNDZ16lFQW2liG+{ znrZ0$x{K9z{pv;9E}#{snDXO8ag8cSuc;5+qMCI&>M!%tkvsf7PHQ+*c?wxgHZTFF zxh1y!oe$w>n4QkFgQzXG$?-1?46FEV>Snp}SaONX zM7j`6Z|f$*ZIjkRwli;lKP4ed4? zyeIFBra9nVCtt$C?{#I&_jk-Acp7$uKr+k&4p0_UGfs=`@7zh*AZf5vGyw!TO(oU6 zjwO{A0@H4;mZn)2ogiQ}S=bgp9d33qvP^9W;?mWxuC}xzgFMu;j;mt9lfYXN zRyi}@i-y^%q8h!aFNO4Hgll-!Xh zIzDtSG`E(n7*2CGG~i3HP}nf0h>_j)fv$VRuS~{3^2#>KKUsjNQ1i9O{U?&h1Hf{l zx_waVgu{v7tCBp)0Pj4GA3D3*Q7Y{(j0DSNbhO;TnE} zxBP*4N#|6*y*GF^xXFd3v4H@-8ZJ3hL?onHs#6B1`{TWkIm`7yp56Y@W{DQ%141p= zFryrM*y_-;1`F7qY}PML8H{>SNOLX7N?v1H_usJx@pSTX>L{tiJw5i%P}l~MCeoD; zs=;Gp6LSOOLijE`7OLPW3tgk=Kvc_!2v!Dd=&3~*c&*(Rf^#Vd$5=S~igfCI?;d;JSF10>N zRrBSQ1mM_L)lUg+^vDax{bA+CMzfm0GpV;^WeqoBWF_**y@aQ^3lK$A!qUZ%4s2~k zlOOWitJ&ZljI}*@7Ea^OF^2a4%lyWab!gvzEgsn!uT#Cb#*sLl6|PB`p+N`?hL?wz zMA^>GPXWWNjM{pU4JM_W*5<1qDyTU=TeRxi(2I#=2gVE;(AX{>#$3kJD5tjf9y1y< zgwyFM!L@ZKobfeCjWgEXcuZ$YhYF}8^f-p@ePMB`plX<7^T|KZXN4G1EypZK%R+vW zu1vW&*5EI;;a2o1`mO1cG?Riy2~5q0xqht^%Ln4wh|U&W7h%qKNw1|KRDLgo^!%mI z%Oc4}=&G_1ZwJBqA}dS`T%hNYRMeWykEptbRnFgzXE29336hk1JX( zPRNHn9yNYz!|rM|h4HiLA=@DzwAAlh8S;U9C0ThWr;yy#u`+ZB2(AqfR7$Io zu?1|F?tUc_lbg)~)per%`4SC?$vttSt-<{ymZ6_Ds8lsgX&1fZM& zrmsQv&pO;kBqOx}gO|{px;8}Rq9X7juQGvVgzLSAH;8zDnQI=gQox=suF!(`X$ zNPr1LgW9cH+>ijjpX!#K^YKsHZfv~V*Esy^#~YdR*)1j;)s$+X%=D3F0!4eWlrs}l zJ*|X|tgL?IGm$VUQ4Ro3uf=>)C1G0Z?*-hg85@s-wl*)gmMy%xjJ) zH0*+dtdUgJ017P|z+R?7f{NY4>cglrM0o-Sg9~WCWrP_mnto@6 z`?&1K7N*A?7&XpuR+}NFk<8x>=h}fcwv^rn*Wq_bXq7@BMqvCE^x_+vJ0VQ+d%e-a zfE;6BTx-Gm8r1y zFI2Q4ysr4I$n6}BVOYuCxwzmLBNLQItQJPh5*qn!$0THm$E;Au|j zaZ<~i!cbMiSZEdsuO(?$(7{s!8=LfXKZGY0jZPnaG(d2V4EUpkYs82$-09}$Cc7Db zr{>~LnfZ0J!EisrPSKGuBS&(QguGH6Nk*hWD1P?c!GP)ma_Cg;h<2W?D4_ngBi9FW zaoKOrq_8mgTJ`soGr~ks}3M^VRIELS>M`FPN{xugO!CqKoiQ*I0 zxk^>me7y@CcBz z$nf`TG;?TZ0sH;lw9s>qRxfCPM6d)oCnD4r*l{`IO9!b+o=^F8q$doQI$^kW8C|*z!C_$2yIMPCUytf{nC>Q%ZWo_91Bxj-jHl1wq&c1G#FucfEk^mNp0x8|x?d2G&t zEL^R9zOs*r>>V9~AiI@brx|%8|LZwfK6K4?hf9q(rr$`hIT_<}ZOu%JJVb{mvS)*K zW#?e5?ZTVyJX67+6xhFMwSUn``9oGdPlx>^v|Woi_GX3KQucV_TefuHIt-Y}s{8Jx z4%D{dLbm!>6Md1ey?OEi{!HfC3B2sf41!pcGhI(npp@nM;eyw9T1K z=I-KdvjFD6`mbgXX5VBn(SQIN(HDM}Fw z19?dzAtIFFu;EI`SWE@RHFb8|wD~F*YJ&-`YCqhxzwd&@Tlc(UWfe7N?-)izdOV_0 z787J;o=&jKi<4c2HW~vx=F<0O5uZlHr%@dC&uDFYojfcSX6I`yePpY@7M^+ZM-wyq zDZWNRMg730<91iIg0^lzll{&D&E@%19Qb1Wt^6{vw()-%YEf(X2ZHblfBL#e>8h{^s?X-DE2BK8*y!M#3Pxc^?+uzXJJ|G34@ zJh5YNZ`9PJ*2bNHxBBNaIpmy}x~@Lk#BR*gLrq5$d50N^+*b<^e@V`DE=!DUqVY*} zcIOweo#>o4$J!47qw+{Ql0LkucOTNTi9gHLt~|O@H@hmqbq`2OFKSrO>9tXV#6PZ8 z1o@a_x=Z$<*C$)T8OlBX`~BuzXF-L4Ex=5tyopPF+&Go92`T zKYX;_Qf0#V@|`Pc*0!&-K1F)Jt*p-=Np0tC+)1F%ybx=-z}lh87(N-m0; zku*_z^Q6-!8p2uY<5+bzkTVJQ_F^crp>6XdEOp5!OAWJ*9J)t6@_kbbBI^NYS}dKL787bYa|gm zMY@iGJJNSD(FwqyaZL|Izn0l&_r_lHJ#B?imk)w4k>tpf@tmnoEdsBrsVo6nG|+mT z%gM7HLQBDrxnm|dlyRS{403QhLi8=t1*Pj&)5~E6t~=*Pw9 zAV(w-lS*JI9aB6--1_YI}$2e9HMaC2V@a)MH4M>vSf#*b?SI~#!^ptEvwvzBpfupLu?^!r+6G1y~8q<04 z$vz`IU3&h>i}RZ;&<%1@c7FVa#3M)kuVd?^KWkeZ@6IW%E1L*c=Y%f*)W-yOP+S%`1P=Tob zk!=}<&ERa>2I1xYeq!>k1d0FU3TG29@7m$E2g<6$?_R=|yvvB_W0qb*fXa#qdkpP_ zD(MV5{yTr^7%h)gAKPLN2mO99>RBNpMgksp4Ee%FkrxltlTqzUmwV(zw+S(F zx)G|o^WAdp>%;LNnB_oY9xwI_zZ}EFW+tp{F8ge>!ZmsxwN$A`O&pI}GOw|44-rLB z@u3${3;uM^xGA|Jtagnn;ll{kObXumt!$(U(L=A-g8j(B3+qj5>&1Fa-_1e$a z)G`NaG-W>#Dd{!UHs++?)$3lv(kgbpU+#!yn5GX!zBYe%T#@N2$&1#7rRDRc>8{Dq zdarqEk;Wa;1s{ZvZ+r}fa#K?n)T_88xYt*&m8q(cj{kV_!R$da+ zmCJOyuPEmE6QlRP(DHCt|N!c&aLdYd9P|~2}1>wZFT}n;$J|vHP6nE5~tcg zrHef@lBAY#$m!5JZ$YcdVnuN{r0?jiUM7z~d;#%{W0!h*;)iD=hD(&F^StSKjG^!Q z(U2DO(jnX?OAaY9InD1p`-@lSb zmd35dpk}o>qwA}kOVP~4igR6=-3rWO3dMH~ zF>oMr^_Z@DpcMrB1y^dTY#Ltg>$NR6EbSzVeSnP3Mx_PESQmg@BqU7^xrXET~RUJ+}=> z_YgHWp$D5X37IWt^;@w5X3&jh2}#?n7PieVRK-W*DRGe~;|7WT>7PD*6Hv zdsi|lgWlzcW8cTIkWkihzHi}$c_E_!qOb)dVi6$PU9ggh{%CTVu|eX*3ZU9Q=B+8y z;<~J%M_sXJs0-umlNfri1E`HA)c0TIZ4wCqKBLBpf52av(&saxDck)aVNdARr_| zp@I&Rj6|Y-DKn!~0e)j{$*>T}I~*WAl@}{2CbcQTsR<7yigh(GK)Xk=XJMYFDt3yc zOr9tjp?XCI~LoZ}0|1Xm>@Ha5fR%M}Jf# z%F-tA)}&&lfD%yjng$D-Q{x(G3ZGU!rl^ zUOZF7-=8kgC*F>X<7LsE;;%#O>Yr|XU4M-cv1;3=uSJD;%>WE3f3u~lio1CkDj=ia z%rmhda)Rw&)`pBDwrZ-A`l8f`tFK;hStvG(avt7i0&c3s6FW3(3c1-kN314VW)siABY=m4WY7h|-zvSJhKzZ!{;RHj}fa ze-noohVPKSPN*+Q(=65=)D%OgYlsHgPERftjCArvV0v+ZT-v}E3JJ05|8C7(yD_|L;AZ=3YI+K zfJrt%p+FKHx&dEs_BYK;NP}d2V}ZA$1ZaKz(VeK6*CIbZ2Pk44fS-u)Jr!JpUsfnW zGGyn^gm4Lt?#+8u953nfg0L@2xXD}FQcfAeSWMBOx#r!CX<%6oz{=g4mv1#UkpWj0 zv5Ac*yu{p~HL4|>K2pMUP;OmadtQv4;J~L%!8HLh_E!UUuWqQ%yBw4I_ZQ_{)VJQD zyIWJ17PPlSoJ*kLvDFE-1%JH0?JZ-bccJs+X(Zzmcqzu{9nv29)qeB{Q8Tu`u(WH+ zp`p;rc|Uis4D0m-*ghW^2RSfry%j;Vv~fH&zciAG^#5vFI(u{HI4K}?o`dSUE=4=NeC!mMHHH2d9ikG`Z+!b zWgO;9$Q-APd9{7w9q+@L_G&e}2{D)dWO%RAw%DHLJKQJ=d_=)xYQ9D~Uag4CtgUgp z2t5n=Iw@63-c#|=DxXsgzfA}{N!`-U;8QK{$P2t!R?y94NiFAl+b-kGIKGcvN;g8U z>};Lkvf(tXjZFN;11A?d?v@#C%TK?!MpfWML{isw5(K#I+IcT3{A*vN0UbrPq3LG7{@ zM;=cXegW~YV_-*_bGJ0^UIVcJUyMpgY?SjP!Q;sTIRg>@rxnT(pGb2yU4-`n3-Sw@fVp%gVmbKewNAUJ88IZ z_|s+>EgjMZ&rLM0&`5{L9b5V{M{s$V!HTO0v%{;Ll9J0r;mZ_w5Mg1ZGAS=F;&v_gO4GHfk7k_+i-I&d~x-M9A!f7 z-o4L+T=;cx9z7gScxWdVBibRsxyzVIY{Q#4U_gai!8lnj%jcP$v-yY1HMp-n-{ueo zZBMMbf}{_Mp#=Z7;FM+JD?DE#Hvc}i8!KB`F<099)FQ;n%`%^`QN9wreg?s9cIOPM z@8rO{L3Y~eN+GTMRcOEQ4bO@4fil6d zrogOeqaX1@rSxcNJC;a*H1&~>V62s=x2>DzY$OD@S}-HA)eK!i7M!z)m~}#A!LJ*q zc+fzrEM>@Q`Ukpuz#~I`lh68+~d-?r_jl%!@5QU6u30%lUG)5t!BEF@@p_s0H8ytBTl| z%+nq`nAgA2NHQ*=C&l306-}DZW^X(6yI8hVDBhuUgIia=v~i`Zf|LqfG!Ye!B@)f` z9g<=uFTa85Y4d_b4cbEdR7dL0O*t(u;>pLsO4W)=Va~b&zgakG)5|F$8stG)I*rOS z*qB@Pjyr@FpI7e#58uCGBw$qpXm!XnGGfyWO-9PQ;F;Ihrui{ATm?YQ+|viY{7|er zQ8nhdyU7xdI+fTRn@66qqD|}^Ua;xyPm#Ej)n!c@>ZgrXXn*Pk)WR}0w;MN= zMCiD;&V}fieV+?af;~E=tAGlmL%pQhMq8iZiC@!;veNJ~lKU>3vB;~oOKRl`9axYX zRe(jeo19~0tm1#vwZ1uH+O~CcpCf=3AmBzeZDH6 z=?%qLz|&U1(aQuf0Qeu^xiFeczigc(gzL)+2}JURpG&#e&Ao< zX5Ooq%id_5fu`1H4bHTH=KfS2hx^RkU+iOK+7Oq!X|Cv1|6WCY+nKHF%kyz^;ObbR zo$%2>`2-l>;k9-F$M8D(bBQk9Mz4DFFtzhATb#E-z6f1SR8({pej)BNSAE45)g)X$ zQo##jzf z-~l?lnnz#JF!YfWR*9%JJf4rOu%6BmV{3H3XP^J>Ab64n&fC|1dUaYJ>C{|YpPkM4 zyd-Dp^|V#udA;z&_<#-9N^z->L|U60e>?SH+$c5AlofppcXl@>WH!WFF<18EP$?F^ z?n_I_=j*f^nt(2)#y&I}Z4;M;@(I?MJ87-FtCFfdvTWz_`gn0@`8Kd*%>{_uaMwUf zttLDfJ@)nk^TDKbV_&{vv#WdrE-=7>*tfbEl&&g$>9L{tQtNnyhrHP;gmiwC8#Xtp zhYX?yNowtBip206-Q_n+%}Y{h$TL0@0*}1~%1SB7W~&4I{?Qa(^ zuVGEV*@$~3805JIC?pp;oj@<>(41LeBMg6TZkbK=zLHg{`FLW7(t56#Z-t6=1*pNB!hj=g`@X9#h@Wq6CHn4HClm&qyTD8I(?+@K z2KXTzAim1KhNL(2N-FWP{QcpWlYgGr$eix*{TBajF~QP6J02rC769C{zCIZ%ac zeDCzz1N7%L8#0O3yNY^$eXe=TrCQ^gR$jI6>C9JAFcyHZj5XtBQPT|CQK1;!*p4VZ z^pRD|#>$JSdd{^yHy@)m{-9AAJL$uePLNW4bvq2Z=zbkRwyMaBnXVf~K_44_SEnU6c*4qQzf7`TsGK&}|okJaCJ#Nv&PTKCtCS@iDI zz+s?TvZp&rQ06sn1!z)Q&?RZx7dEFQq&N_5i)mAE7Lc$?wgDK`9|tSNA0IC-b9&RA zVZ_&|Gd$n>S&I96c-Dqah?FZw<0yan|5^;8{TZ%1+T$rw3vp)N2UwqqeU(NOC)(%W z!gNK~r`zYWQ6K*q$6UNy!Nkc;IgmBT8SQxfGc%R$AUhtWW8~_m_98U~USg!(5Gnoc zbf=@oZ*4|GHQl80tYKD4N1Ie_H&wZ)k-PqE`*Uv^0qp7ctq{H3PqB}YIGDB9@5U)w zz9FMxu#s_r+B9PL*TCAd`gwCywIjQey!QDY+6SitW39&yWKn!<1Sdu*g$Smke9+$| z*SVROa;%n=1@8&VzlqT?vmK*!K_=pJw7GFM9A#`}j^D4tlR= p(cU1ZPSnf(-+71sD!n;58#p?LV|X1 zvo!qeyieH}hcIS-2_#}XcO8Ui|H=Gpze$6#_x8^0={28AzlmGSF4;(`8Zg2&dhrW^ zc{(obqIez5Y8ZdVJ$r?nlg`91-49ZL&@vfx4|~~6o7n9(Omu$SJK<3w1}c=LHjl^; zg=ho2OeI#&D5*eaErB^2r*2Cu4MnxC&*{@YXxPT~KGV^7$y4jN@PW zgBl!W;p$skg~zId>-)wWxK~8meuQa~4~W$asXcwV8|~1Hr`?<;E9a-wwE#8cR7nlx zRw$A9Tk(@yyG`k4wylf`8%1H_B8hRJwZs8pt(@FXxQ*$n8mbny5I;A$h}jptq3}zP z*WedvdyDiOzivPFh>ZG%6Ouio%ij!QjPKdi?`$QP2K4TuN?EmWA^{}}u{$Z+#SufJ zP3QX*Qc)eVOZj@DQnvoKP+tSpFq1=~kZx7-R5?JQOv9>}$Mfd5 z48)V`=c^MsJS^;dbNqT1z&C9#wa46OZhd_{619ztHeqG5$>?5(bAcq+K1cHe`ZA~i z)^W0<6!jIC7>~wbFw`Zw`4R33G-Kr}4-V+oc)!nh^UAp4&D*PxXBV2%r67zB&<~ck z&e)@ajoyLcLsYd^MFd3>ptQD8{Ww^Fs}CLSo+}nu8e^y#(Ay!Ev)(w=z;lZ%re@=7 z@+{gMo6l@sx&{Zchd~O z>Mbx=XA&Bs43rJ4(r@)pK|bbZtkEXWU`iNXtd?w$lcxqWV}q8QelP(kR@hdHY6YG$ zY7`9PS1Q+zlbWoPU4_bq*N$cP8K_9gE39j5r?_4a4ri9GNUKT8AkcLebt%rK8RV~Z zu=vVt#RvUASom($56K@Swg`nzSBJtl+1UaaE~HImb+J+5oc2TzZ6KD_Hxc}9>R$jU zp7DdnIoj+}6(G29cFpq>S<@=@3piOdxg1xNpa(PjTQ}+PCD;#!9W3~u=|vq~BMLgt zL(A}7B6+2xo5`6(C8i(O)+0*x`3aGNs))PnFShmw`6`-z{0NnNc<$%&rVUNoAye>z z_#^J*SzP4OU%(_EH-fvZslN(_N&B~&O%L9OT=16;ZGcpl8+*YX2&x>KP|CVS;k@5T z4h?TO`yz5TmrIzxZPDJo#7k|hRA}$UUVSw}IbYyq-GEVRXMR$tATDw()K_{7RG>%b-GvJpAqRNsWni@4N3>^7XrV6)2_^L>Zc7ea z5dPjrEChurIO>Llh!hIn>g(SIGo_#+aE&6{=lR~Qg0*gIJXNR-%4LqbO9uk&k*&o>RTBOmDG+}`vJU)riG<(;`2xR>Njl**^ zwee)~jQm1*f;|Nf(ePoi6FWv+J~EV;at$0+Np7RAEM13cgo zT?gCw1W$HFM(Hw}OsLl2+wpA8Fk#r|-3p|MitZWxyXvtscDsW2(F!A60etATgBM%8 zhHc@M%vC%A^}&dPKItsN+|M{{hAmjqX#yh%+7R}ISQwYKB0&T(KeZ$X4eZW@eELZ` z#6Yt@I?t%TcC_Io?2c-JS-B)8T;;~!a`SGvdPWVx;l4$8-tP=?!+>vTK7X~lry%(4 zHF5ugmLR1MmRy{^Im<1xG9(~=II=5HcqwO|@Qv%I9dVD{r+6EjZ_vI)<)bN#Z%HPr z99<||VuEH9^rsop6uDb1(92#@Qy#rx=IEdsLMewqR842S*{^G#k1$0i=*S90vgt3V z@Er2etf*4ya?(rb7~)t6dy3wK=1t)Ba;;@>?Nc5wAESt|%C+Zd<~Y3y;*ts594<9+ z4+gGpo3eifm|qit(S$R@BmG#F$WqQ4RkHKP!F~V#5l8 zu7zB7uQlZ#$yHv`O2`==_%-R}K;ZNve|977sw3(ISdp{D-dU%lstzZ2Gj6i6-K6ER zA>-kVcG^?$_!apBSi5)=)+4Ld?2{-YN7o~NIGNFK(ZJ6&{gIj;R&&;Ff3Z5G!xcxb zXVo!v&r8iFSxR|;+s$XqF$*N+k%u&plVcj14K7!eyc=*;Q;SSO@MqvS+ zq<)fVJF)EZ&vu@H&Dt;IvFvR>kt`g|-9Ecom^l1}oJ?(zIKfGx^w69WR;cX_wykQtP=;J zVD`QMK5{sv|8i>(E*8}qJooDE&*Z^|W3u$HXK?Ki5Hy_07AdhZAYJ@m>rP;T+F%u$k$zLO8I0FVJtjNQb>@nKN z4aSYy7LR<^LTU)0Lz;EVc~a~l}O413{r?S>eR)fujI9-Qh6tgCrx`$lRwhb zb8>Y0ucQb8p7qh~M@XHnrL*z}a>>uR;c5-B1$X2hCuF8?hFiBzNyd8}`uKO9=b5hkXE%3DUxkORbprMZ%kLE?qS`b08 zB3nO(?Xdi?UaQ3|=Xh>NipFQWptzyv>B;q@H={;m<^2Z`x#%-%NNaMo*e!S9Nyq_r z3F}_i?BM^H5pV!29GDQf1D=PSo0E-`8@!5a2nhu9p$LPxDA*`eDOk0YO>HgAK2rz^ zQm{%nuv2hy|8rc*frEmR=RcT}f|K_@7)Zg%_aDqf0c86R=B5C${|EC>06G4Hc`1OL z|G|6|K;S~VO6kjwEApK z!OOwh2#NL#Wzz8N#hY%NJ-TY^)|W7UM71((WU8Dwml?XDh+V;5UE8z81iB=alP3K7 zkl^f=)4&^YE}KxT7`nxl4~*I;}v<^ zX{kN<5JwY?iX#Hc`^OnRunLYTlt~G=83zDkv4uVX#>LYH3*!p?&$Iiu04R$_a3VDh zSQB3YY=`%M(ZnU{r!kB@?zg$u|7o@E98+mk3HA9#n7Qr@J*xW>xH z(b&2SBl)`pLK<{ZxKEm88WLqY(kyp4ZFsmxJ*6SWVu|SDVF}(yh2kv=Kp~Jh()NQJ zew{5eY@)%rehsBQ1nCu_4LFGy8_Y%Y@&7wcX{-M;Cs_)i>mN={WIh%SPOiUvpzv4OAfD3t$qFQt6o!Y%(Fy~IJeMNwcj=0{=f<43^}y>EAG4|j%y@arVP{@YV* z(vM(gdIT^(1LvK_16q0(%|DBvivo6`fx}TIsXh2GZ-E1Z`B~Ok6?Yu|4y6O zUsLgynh7-tn1Tuyra~5@_ixDy^5Fm5&cR9_Fkt}P==gt25mNqRiY(oKP5JvmGNA^* zSQ(+u{w<|IB@e!&{;!1Se~qPwVPZym{9DT7gZ%$+>3{V@0{%gZ31bz8zVNqHF||DS z|Avhe3`dUvW%>B$;=~0{)5wFp=>N<2cTWTi02pga^i8k}D>nFz_P^f!%VWm)hes5B z=5GlA{YUT=qc|iR7?Y_Ltk3Y@mKZpJ*%KVYC<&Gai2Z$D3_Jz!0*^3#1V^#_qw$xF z7+8sw8w>~d-;ZK|v)O3DQY;_AuC5hy16-dz>sKEpj3^~cpP?=?j@~#K`ctc1_R99Ueqf@0Hk>AjPuTe3yFZnMula` zVkSfBOZG!olR(%sWdHOTjp*Q|XUL`h2L+QCA*Ts|G0V=(dvLz&CEM3Z$pDVl-_SB#5MPO%&zS_PB3n5tL0%(0P3-LOT> zl{qWVh+&PZk2mK4D#rmvpYPW3!}f~UwAF{Y5uZ4Fb;s6a;^Tw8C|Ih>P#XhoYav?e za~qm8p)n;%kjp%+WNlgY{+WWacCZ`mjRG!S^Q}RPlQPe)8cb*+mDZz{8XD+(uLa^4 zBl1?2+O53!FF!1ZIoU@hpqV-FR+VI3Yz2ITNZA2>8-r7NwY;}I@L1O-BN1qPlcym{ zh3+Gx6JI$rQ*y@SM(nx^o6y}F<~796MEIJzxRYNbpQi9YS=IPi5-98+zDrR!L*k3@tC*McN z(^4<85u|#R8LIcgt|lO8;v#CIkA`=^e zM&RsIDkAwZjk=HX>L`&7(COHA=X7a!6>HL9#eJwT##FwTp?$%)h=ob)HeXA6b%kj4kb*d zZ{-@Z$|12nUR*!c;=3okl>W}a#G4Egc`-5)2I;?ffw49;#xJ)nk636_0s`b1E|#{Xw-PxH3uH(L}HR!L91YeTCEuOIfFwdwk!ilWw6 z#w&fYGs7Z-DXW~#O)o(DCKfH_-uLwzYv%qmRHz&VE7BNpw=UGOuDWD6xGQaz1u5Q; zELT_tYdt0}_7H7{La-j+jbwZ3R|+1Mme5waxuVfu5$RJ8B$$fvYDp9h&o(M_R5whD zJx=T~aSY}`#sh_c8>X^xDn|vrgY?6Zo}3F@9-;9fQ!!yC-^kECcTe zLuZ@ns)N7=)lkJ|HbZ3bik_R6GSXQL@_dgt6oaE9}i zv^P)_K#K4NCE4cF6B~8u@{E0Udf}@QzpMj?!xUE2-c0Dqj9xTOs3`w<3n-?$V4C!v zcElu7PnwxS6q@d^sijvwf6NU?#G2}?AV+nD!oNoqZeZ#-T0{=;O^{J|gu^W+R4E|W zD`Sn#=h#f=beKBwN6qKxwoL6fDS4BN>mp1o(a;nFovn;5{Ep~XY1!-7Xg=|6NtM6^ zo6o8_M36u$L9jfx*TYXfiX6A1X%(&yrFMrfS|_*6nsbgFEAn>R{{nu7D2q{{(094o zCbPiPuVU*3oyf{1HsXIsHHIE*9N8>-5;dHYy$SujA($kBjyI(E+c{GVrTX#bhh>+a zlU75HAW1eNot+M=D?6JHh(CS;a{WepyX|AD)Ky~XWdc`4L|s(|Ja>o+}KxXsfvy@*=SHxx_E50 z3=3t}Trmj|XwdTW>v^$~#ftRAeGRL^jbAt*2Z`=|BPBWOkVK--w6b+MLNu z_&UbMzp;Wqk9yLByqjjwP(q|wJ69B4*BK+yGV`hGYlJAAG_nr@ruM?F-@w0lmAq0; zO8cI}f5$S#e%{*gGegfn5Lm1|-5C~3?UyfDIYf+ufMr^gdJQQ~7OPtbwd1%;VfNnt&TXuP0phlvTZEG0L9Ac9)=9#$y#a#O56gs-P%_ijS3ADV zm(Ae|L>3AdGTuAcMlD`|_G^BP>1$eN7#3UshZe+Z27=}B#Z;R4xf8~~S-nsv5R$pK zk?N#64v<)4zU>plh_Wr1)0`TzKD%a8h#f>;W{TV zl9t2e0v8-h)?;rxy$+xisjg@)s3^j1WU3MnM+r>`^PPV&{`RKA?pj7gK?A%+q911% zHu@3qi$6b4Lp-X@vMdN;r>2PvahFs~UytbK%Mrw+Um`jx?+4={TPCEurz= zsDVD#4Sa~n+?k;`v0xW7k6o%dqP~JyU1|KJynFj670wE>!&Apl)>Nja*#}VFRZQN!&GMt3YhD37Ss3{@Gx4fESpO^vr z5!;FJ*Xo63tqQ{LQNBie%oB^luq%E%7K4qn#eieT4Kp){_MEc^HKPu)_l0chfhrRs zVE4r9SsjNPOtL#!#1~0Vk;9V4l)N2a(_JZG#x+;;kw6o69nrJqfljXr8T_hk!mR^M zcU(_Fn3ol{*}{wR0A}!MDOWm$&AY9{Z`TaxE?Nd(J5gTc&M4@%o-5e(WB%e!pCwN4{SUSIsR!bE-2&M%lPTdAgjmW9gkoMr+lG2`rR ztVK}?+cZu#3Rs>IWYm3!8j)2w|LWJ0JsWvVV)(-Zfz&zDg@DqzlGVihecSRn&x`{o z!+Xwgyt)ewJ@e4d8>U-hEL@d+GRG-yM+=eNZai*>Yf0>&DE9idQbgrv4^vbk{FC_+ zSAsgm*RbKfZ% zG2(F6qZ!ifQa7P%)}dkA;kUuK$6Bj+0X*`K9AYQgVMzjHsWB3X06Pr zWesB-gji1{ujd|Jkm2Oho@UsvTbr5d6*<`qJ6_^c>7jB&#Jqu1dP}s{?+{WZYT3-I)EYd}*pU!FeYl{$SRD&1zz!!in9gqx=93osI2< zEPHDe^mjk9%Dpa+W^A=ip$z=o_}6 z{Il1iDkG0AbezTEdGZSxdxPokfFD)rh}nofr~{^)=*k50(F3;9VohY5ztRpAN$dIX z`c7KxJ<mzdhN6-7Aj(LRDc^9b{rT6+UnTWst{Imn=UeFO zm;vj>r_^rv{?4=Vo}i1K09vdM*W%_qpaCKr^1Aul2={)s!LRu`du&GK2RU@@g*1XT z4JujRxTEze_d#)yb$CV=Rp+%D$~DiCudu$yL(vBdcC#Osgi~AbklUXWhAu3VB9&iT zpYiuYyag!5M~nA6>31dk$0PIn%C2QQe+KXJq#qWs1mUc7My4dp;Z12E6)BdV@;-&( ztk_I^jJlgJ3om6ZHMDeJxse_0%=Y@FHqj{@MU77n@CS*QOq6bTl9fxiUVmWtg|` zh@JgzNzDO0yvj13B9)(|#KV3eDG(cSms(4A(ghkgbeJ!J9AXfhY&6ATP+?#hKVZ*- zGv*b7Vz$wkh3`0wE8wZnLF;DZCiY1+1vkifpYRSfuJKjxcu`>-QdY*{SZGY@GSJzFcCkwo?q71PcoFu*J)SEOV#^&SjyLe|0ku z;)5y6&P$Ds=U|WfV6X4biy%8{F`FPose|de8EM)IqJ~drt{MEE<=ajEmZdEeO-+W! z%uC+>eDr#GN38TVbW{8xz0l(wz3T$PA0On_doBI&uu~hBoG918o;%`^8fawjqhe3J zC&fjcd*G6tzrRT@6w@?L*h%{0N_HeW%`}szkaZwpj-0nANo<;B+inM%P;lb`f|hr@ z$Lu>fY$h$UUd%4t2}MlB|0pl~UGU-iD>?sH<>&7bf{i`6Cyfx??7#!X$Jcn_-~j_B zwq}6lm&O+XMba!#& z5V@9rdT%mc#KG}&0>8Mq4{o2Q^^@5x+J^UC11d+1>r|@%D%^S!@m&c&IG1gPRPBx1 z6f~o7CPxynN2Alsrk}E!di6)hqtBoRpabA4m!>5lF57ljwtIKI6H66(}{9==YpdLCzSsJT3~)XwlHf&q1P(GTZjz zK#lcWtC9dAR8u1IsLXy|%6S|W{EXW_xKmG_%MkCL%D#{>ktFdQgXm)uyRyQkYa^HA z#&|k()B+LVTg>}Z8@;0d)8kK1yz!)&zQ8-{v)Qq)ang1XWF=@qLc={>l~#21a7O!$ zns#3|9QtG%3quFT3mG+5m>)V&A0DO)A5b6R@P_UoyTD0p*idYLr!1k^fnbaY0we-h zYDhc?NNxz&e@=4!m9K;b{z;wvRlzeeH#RXbHaEvXy1RWqyI%AFOv(c0?i86vA)-27 z6W*gBdbCW60WWanjP=&F|IC#k5a8W-0Z85-84f6=Q-H%h4~9}cr6 z7$HbBkqSrJB#h!KXFwu*9P$?JUNJU=i`+}h%vH;b|Ja$7#FEH1ui`8_F|IJF;ygae zJfbxt19@{hCn^}xRJfqt-2|ditgG#HbXOQvmb+7son#tiE;lze-afUkG=`Z&Q9x0M zjU9WF+wcXoom;GTK0F6?PxuZ6l)Y#_N{2aI?WGzLf zRhQ=hc)t1`$G+KY`GeX#J>92&Z6>yJR10)>7S-`ZgrMW7K#3H2FK`F;O+ru+)FQuT zGhOd}wf@zgm&>^vK&NPxe#4RXb$Wm=DZ-9(=`cf3Fsq%Xc5eq3Vr#UN>7SY8{wp&L z#mSW%h7U?sbP8cZ3BP#6-7HY`&4=+>VGM1$`zWp^qTXSnmHCAmi<&<4IrA?(Q9(kPk zBD~R4R0poy6lJEWoP#ONqxhm@Zdxc0EdugXV3OUEQo!z#;n+@qx* z#yO*^Nz_4?#zQ}TR?_7pI+yaE0a4El)&Gym-xUHF z4j?bz-^oFDO>b>AEj(ou*7gvfhUu3KO`}~^90n6)4JJ zNUVljdkl{_W=O^?y!yx%%rfGIdVY>-?Mj2HRMju@uZc(I@*mYKn=aMA;iYEMfx}7< z!zLxT_D)JtPK6qd)Xbk#T#GXYlAVKfrG-H9-BM>I$z?+7{KfeV3^c_h_i8jR-)=y= zW^b%eNferi(|gV?2Gev8~1m>%kb(u8!aNT-Bu?p_-(z<@C__)hg3i7GBk{>Qdak_Tb#qqusO{P8@-} z;fJE{*UxKO?rUngJR~h0Yl6Rvz`xikwAKCQe;9!|CqE+X!ylx!$%c80)!G`K-suKz zyEbea+Uog?+C6ft9BXt&VvKyS-i;=3eAr#tii@|{qKgR{%ukh+kPCGRGw8#^!|Jh$ z-`d{QL-*F8obb5xQ&EwALs5s-uEqk@t=elc!TA-sA=N-0R=*l^Vz5*hWq`x@UCR@u z?|+cMnjgHI)A_~0$ZX3a%aZbihDvXb{lN4yCAj!@z50pmZNpz>to)a|X-G51&+*j( z+&aWZGz5zB`ZARm35N+J>#j0)6)IRAHwt_Yh=$97F`_FHMB^XGV>X`K?YAxLbghO7@dgJQkZLVNPEhB(`Fstq&3U9$W90DU#4%V7Z#d0PZgiKK+RJkxw z;xEAXd6PnA9G+$6loEXQ;pQ{mk>GaDldgWchbb}|Oc%;!a2~{T5afZ4q?L-=dQwUV zqGG5UQct*(qn8haVvs-uKWYX@pVsPi$W4j=B-k&|;#ro$4J(j2Ov2N&){h!(nz840 zS4_i<7N@r`a=}ZKkiu!iNuwpr^MpTfPOki>fkR$CiETiI_x1Ph!}=U%jq~Ti+52DK zrXl0TrB{bz9(J6|eYTKwmO7(Y+UVw~Y0T_`5hyGUi+!WqbO!M}8JCuzFM(P2@ITLC7*pd(lwVZ`~cV8Cxd+Dp44J{INBi?HF zfS*SEjsPFFfvw2R20|V>*B>)j+d76^fL%*XMoO0NbL^a}wq^J^)7(dp-MQd`B4(xn zol33ts{yh+n&@K7b;p~6kl}b;c6cDV+QLHScAIjOHLdx8ROrw~z@w}8!&eK~$8xM4 zD;l1w{Y7KuOx;&l&2?-=-VD0IY8~~X9S=|J&p}*h;z`z6rXWBVe*-L+jflfn3GBo1 z8AQ)*`atX(J@h=GH(@_0)Y@LgPmNXxSC=nI*_?sGp$T0f&}B^@QPs;m5~$GC^KIEY z_0R@*V<{>jgj?4c?KQkPDsV7RlMroSN6bqV6!|ZZ1I;n=T0X!c%8tA}5RMvOwzgh^ zu~m$sXd`N(&_ShSG4Ggfa3Z-O@G~l>46ehd;2GLBD61zyx|J#)Hl%wPJ2ZavfciX+ z2VCF@(~T|%Nk$zCm8UrG$i}l^n7whj$96maZ|LN+F@-2ueo!v=s-mV)zAC-SSZm{V zEwbM*TZAazu_ivOlS^o!vlr~z0uF-)5cV~YM)tThhCw|));E#R*F%+STbc{6OH2h) ztJ4^6AZhlSb|_lpy8BCp1z+%{c(M zvXQ7$;+AJzEZFYg;VOi(@qFFmOk1H(&@A0*dRoh52IL8Eazp|_6&}XeQ}8c1MClKw zr2s!p0#Ki|xKoLmj}TL)*nE0#$wmho)yR|;>L*J!?a9=kQnymMsqxF;hM=58Bms_l z%f>4YEFJWR?*tccEipj^@vIk{{*HTzvkqcH!9q1%o)aF5d&KDw2~bKG8Mb_j+l_u0Y``tdO1Y@TbQ%JYz z?kSZME)ZzFdY!FDOrIj6J8tTJk!01T?>P~XuC5jyyS7x&R#HGCy67JxfW5;7EHLb{ zB|(lINXOZCsgdpRS<7QO@E%+4>*6+yTvJH*H^2%p=uEh;RvDL%)VWFH`CAcZMGz)y= z{1#LXmlJl0y(7t7{Mmsj3?Hn>SS&g~^1?$TB zpDjlMQ;RvP2%}$`e%BVbeHji(Ye<)k|Ay?x>a{AA;7!kBoe|KJt9-wJ_!IvJnJ(FF z)>wY;Tkl(Ve*W9at8@t2BhR2Wq10c?J4p7wpNIthc{T(xj0O}-*;Y?v$g~A{5atcP`TM zB972O8%DjqS-n9I2X5&g`p%fiXCtJ>lT*talV4734mu~&c$;ohXZ^aBRW5h7dK7&f<1}t1>7V{Jq<5yalWYL zt=xXki93HTX%BSkZ%Z#x=o^h*)j7RJ(%#P8U?c`~o;ZM(L{=i~pcN=0%p1yZn-mQL zNAC!`!W^V5~`k;2B8kq|Ly%8PYwjiYWNv4t=Z zi*zD!rX#s!8W9+FB-oQEs3t>!*s8J|g_Kf^qa?E5CF~0Ml8Z>Gy_1?ksBxnhM`^{e z&?Snf4ke_L=|AYINw)Yyx;$d2Bt^dZwFx#?`||FCk7( z<>;30Jb&kM->bNc&~kr~A?bGP5}{T@G5c#`!DkMr;I&0kNUlHIXne*I7h@~i?fp8< zZ3~lLB$B{3$SE^Zn0h_}XQ+EPxURq`6LSb!2wfrQsDBpyJb!PqIXQsf-UwWfyB6Xn zb*&!(35V`Rb!QT5r6u7&A=_At2Zk3}U{e zs`XK9`^B{bbHgY(i^dJdOB}#CrYkki}%wfi!QfYZ8@ep8GN zS-VzJ&%^slkJpu8E^`i(Q8OJSttzF_*GO5plitMa#xR&6tnn+x`~Xm@xA(%tga`I@SgWn2sJ3;ed& z%^64q;=g2X#dVdlY>@pYss|nNvQ{RkmXEw8MQ2%b8q0JXU#w|UC2~q~XBvMo`y`UN zWu0(S|Ni7W>)-S2@c=);eHiOpT&H#0^OL{_nkygtvwhe!K|kRHL}r$2m`g0wDMaq| z=FlI3EoCK2-rA9Helh^fxUCOJPDE=E-qR|HBRj*7-Sub2 zc%7BZ=|qyhdfDYcwO*f!~%HBcrNsr_|+%&Q%~Dq*r};KDE)JwqA_ zmmD8}AO7(P)@oE2#I5mp%%||VcV}wz!#lDz`Z5Ve1#iY2wg+1k4owsq-e=l{LEt&> zi*TYng-BS@zIl1-td1OXvawNB{rs0kWF=G77}n$%abJdQN<-wBoLGqMm>qr!t5FO# zELU_^ex^2#@8WO5aXJY#tY%|36Dx_RdLMb{!7Bb}^J_dWAV7A|c;7>GG%}OAMOc0) z0u43QD7l*yi7U;9KkS16#^*iCw9_8hFGpUpYF#K1qY$93ef)2I1{DtF_4V@U=hWCi zk+Z3l%zj%TG<*0gG_Nw2&^i&DW7LgNz~v)axD1#G=L*9oDDJv-gmN?c4!Imyd*kZQ zNnO|aOs;swATD(mSnZ*dEW4^tNZj23{M*FJ=|##TgnD+Y7r0!g z4sr2k#gRHiG@1gFEJqNP7u7l=a+%|uiYrHWr*lx1WyqiIibA>jaov)sY5u=0R#fVU6Nr-TQfg8VxnaHpLss+P zYWeK7N-CxW`D7T-8%%5+F?HC%nX>?XnHBZ453S?}Yq06H5+wqoCm43CedRY27IS{5 z&)+T+fR5a?*uuYA$};9E30|!==mnOyL?}W?b#2}vBzd4x>)lP{|4QEB+=Ij(?8~a_ z|5D0L--KjF(ghC*=zI#PDcKB-K)9TEb6Q*TO#tcK(QMlo=UK^1rAi)6ab&J;m+o_Y zf#k#)PyZ8)go*tU&3*4>Blg)|f3hg~((_&gg3b(Y*=p0%A-#^L1BaZMU(NkGD};-L zDri4{dvWuEN%&^-3+fi;{+k|NjQ#hRkFmQin;!>J4B#`{d+&i;YVa@4tNMWY~_nbg|#B?_Qq%7UL_Gmcc* zm<1BC){VbZu#yV9w`Ka^&^zDG;Dr`X@Wwf}$g0AbHxYOBKv_|QS`XqNQk42Y5Th^@ zjs^C{HEcx$kpzi|%|SMB@FlH-s9P)9p}B;F8G?!U3WW@ z*gBDaMhXbj3&9UhDyhj2UBPYFs0Trgz{m`XdqKS7LJQqP8z|y#ut9MJJkP0AJ30rB zg1QC^_ce5rT0WQ`XZ!VtJ^2tiv{73+fQ_URE5S+^T>s>9k5Ad^((hm@DleUd< zG_KpUOj;EtN?&4KU}CsKqF&iPKVf}A_ztD~y9rCXS{tVL$DEWugEt|H=3y6ZV@Lz` zCo)^j0=a>9G1^u@y91}hM|)5Z6%Dg)J#i%b+%L;O&EesK@=H82a&x?Wa%c}h)ilqG*isLKO9Bcb(jdVR+G{y1Z=x(JJo;VrZt&Klpk z`Z$n_KF~8cR9>d~JY-T*rZS(Xk@Ew?Dn6psSeA`BxUFNb1jVovIqParTpP|;+>D9> z>Icb;kSL#D2{=Dk-m42_#gQhY`x1An3pg6ky=9583$iy4d?}!Aq%3D?R$Ci{pE*l9 zlq#y8Vlvs~d?+b}Sj|}u8rlpD`7Q7TLQ`I+a#NusFrIZ`3qP+hyFOb|H^vC+L$_u! z%83c`#cf8u8{bAXRmcr-3E!hTBxuLpn{nQ}lF2Sqj($n^#^DzTP-(9>!*y-L$##fU zHN+6;zwKi$&GIFXm65iIE0aA#;RWM5!9K`fTi%eW7U#OEWm!A-&UJXvTR`DNMK~Z!nRE$a+3gbSl+IU_U(r>$fpO8C#av5ZoG>|A7SNT!sVG? zNWyicim?pLNAl_JbV#h%iqEK|scUe;s(jIyD-*MP+dO`$;P?p{l`SI?{kuL)!S6QC z$d^UJDQjc}IOm{39{t0dLE9hfYm4tjdvP8;$q`{~7|6ebnQ?A&jB))$JzJVQJW84v zcay=m950@rhxbhIEzta>qdDUHJtky}GHIWXc<)N!v>qJb=&C5*$}c%;1W0zgPX`!V zso68Z;|tdBB$?a*3j0XT99dgVXV&?OpGhxf`HYZKTu@Sd3#Os!1^BvXA1dA*#FeTq zHZL0GR&?uw8sQ^u$T4yW=ozUt6)+K_DUTX?%0)m_=ZM6LUDm%7xZ{Cj;bis61r=uw zF?GCoPE%bRJ)(x^GdWA>*K*et*I_K52A%q$zpb%h(5LX8^M}-zraxcR{-Qj}1U+ty zzcQ#_fr}8@2+k?hR1op#A!79D{9|o5n{1`pHjk%nT~GymuvzkEs%hM z)J!1pH8Y3V+$ZHc5IJYq;-EwQeTuagfpK9aMKNz%Rn zS5$byo}(0m6xzik_O_`mPF{X_(gg2X{*gUgb$!PL}+$t>OJs{-B5A zPJRdYIrj1n@h-}9>%msx?KRzH)5)Hq`wgeFGJ9+5?Rd0yo-*J1=< z(I*_`WO(*_U7z_MSyk`_vXb+yi7%m)K#71D^qe>tGHu%e&y65)%Gg(h>OJSx1%9po zw{VCJ9?&(rW*5Cbu~obQe8SbLzfsqqXPxh)gTB2Q_`TQPX$=s@zN_Ao3wu8KZ{$^< zgRm^8S2p+t7V?ZcI%bs>1YM`j`s6CR+S|POojh&^Ex(SNRj0NSn!#JmV?(OBFK!`# zDr5ZFS-d^ZeA?`9>#y*Txz|>Wm$I1n{Vy$@q=L%tq7*OISAIHLuW|Cy#rlrZs5v)D zg3da<0Ia>1j>~ZkvmM_ym0ycDjr5Em8z{gUU-Rw8krc|6w*jZyexrDH&pJN&i$*R= zIuRcVaAOlVh(0b#+tkghQYtrdAQh!A?q#>-yBJI{q(mXdP#jTzqap@bgYpc)DV;7t;epNM5MmCkJ5TPR0Nk)Sun(UnR>wZ;vLr z;)4&{*bzRG>0Mt8?QVg|+qEI{z+UZCpb_$#m2`J^z`i8O@LPWsBkf(wcvnJrw-dV{ zjZUh@?Cs%@9X?I69FE22Jx54Q70-hfdpvs=JDCUOt! zkTNK!QPKKua|0g>^b@a;Mo~UG4G3V+ooh;&NiHac$%D&76h;-s_9OD6{SExB;B4uf zwmq@UT!8oy8_^KO5a@#^6qhTh{MBl9{-@3@uv^<_woGq<>ln{{Qm?)XcT%SznPL~RxGXX-kMrQBui(OtuAJohv@<#S=6B;^ zjs>!ozo(0BF$b0W0i}_DK=far%#KMRhK;nNZ*FqD)h3NR^Ls)AoBBY}v8B3Bduw}V zrRN4_%_TnE{jV)qY4n?)=;J=k{C`Itj=v%g9eBM{0*d3W*RVtyO}gY!q5k}T$jl-= z)Ss6D|BphhDyprn+ZI}&P~6?6cnI$9?!~QWv5y3Yq_`AXO0XgYN^uG96n7}WAyC{M zic7il`~UlNAMV2$W1ltF(>`;pz4jS%&L=hl>~Iht`pK9nlACO_V8M(peeba4FQEZBxI9v;RrY!a{ApS2!CS&C{9pq9`8Kg`GoL|J zf(Vmv-Q{t>r-b`TpwhW{w7#11sMe2j_?FSh;K8D{0L0SHT!5QFyYuV857|~OQ~?QY z=0K7_9ZUAREE?)On=mB|$D?AOsOK{~%$gtN z$%v;CG1M!{aP$!n_uQf-G8A1LkQ!FH8hLRHe~=k9`fBRf^tQ&hZ4PhGrEOWXhKxnU z@NA@Dd10#hA%EWmm_qKG7>+5nd(dn(ruZ~!I^0&01k_PhJUR^+&#fW}eshi4w78;O zSm-8lY<$VgcSqBn1I`++B@jc)KngV4GTh`=ZM}^Ke>jpfYsX_muBv+wi!~c#vQh)j z(dd^GG3=k^lZ7$rV3~&LFvy_MnaI7xOkj~qd3M1#^(rUMeF&fUJ)_P`xr>+6VQ8<> zttH=+=8){5B!%eV2PvIUY~;k}Cxm(72lbs$bU9*YGyLzOieapFS_eJbKYbUKkLIfv~+nz{%9i4+w_}?T!5G2FB)J$Q8=)c6lxgm zh$5^a6=uO|Yd$u+g={Q(=J2eb1RWDL?QTh!GOUA)jcyT?Bd^Ru6pS<%LF zpvWa?*sx!DvbN@yF1B&jDU@#wYemF@h$lib8BJJ9+}you$x`;VOxhNYv*FO ziAqJLn-@^i&qkrqI*jRVm{L**7L<02lCJjE%%hGmM9SnmEWPYboOg~BS8d>x$<09`w&n-q}rq589 z)bPSc-_}iLcRe3`jMX0z%Oa?=hQv*X_CRKbh_Tcyq9?exuzQKwWn(|reeAsa_j4J(1avnNhC1f?%}ULNzsRn(?a!EWXW>0?xg|xK9-DN8tUAUBO+7i&O)95PF?#+Eky0wtmyQSHpW;TToTfK!q zKcV#FsxW`u3U!tiDl>Bq$S#_e;UiB#PmMt~i#tsk9rT2I@n}i7-AexM)(&t@6z|@x z98ACfa>JOnaJ_+YbV9=30k37@PNv1vl06M^e0Mf^3c2qZ28E)P^6)ihwDmCgn_0|D(vT=lu`V_*iEf-|txYrkTtLfDw^6|b-py|q*ZaJT3711N{-6Vc} zPQmBa*EUg0`drWQjRa_FqpDvmt~^*&{vp$6g@dMLv|0L!faf^AYVdY>e-hNB8bQaF zGakQx)*vl5sp?a^fDT3R&wTcGx+F&Vm(Tsy-k~Q2qvO*TI9;h&#ch$i5gQx+ zW-zfN`cLt7IT@h%4-c}_u*5fJIqIkO36vjcDDBhF=+(^|76P{hlO@;xP^IPbkWdW- zMLxO|XXMkpa(Z(ho~Gq;p#lr+OUsz!{Jh_niu~-Sk=mz^LRK730V;5`LQ&P@U~XWF z;Po&cYi*(wd!<>-lkVCe0P*hpna;2QQC`aRgWantWCW-{Gyh!ga*#awx)P#$;h zS@?D{3gw+tQkP;r&7biE-vwuVp~H$vFFW!LHiERnFx_!Ia1-!oiL0Oq=D`@SJUDxS z!1TiWBCv5%+86wM!odHEFU|C+`UxT1#v@DySk6bOB?cvpOTJ}wDD6u8^Zum@>DN7PD zk6&)mi7D1*_*D-}XdD$s%t|dnDSRWMp3#)OmWXf7h?yoL7dI11gzlCk-;cZghS$8y zW2!4p9ex;zVRd5Z$7JATDOLh~m&ig4$fwymIde_t!7&B-7cQ!*R$tm~DuX z3g6;uHAiQ>&W!ZLLKXeMQ`=>lgOMNS`Pm!GP*o?E6rCU0LFw6wzTzY8&xCSxtwLj*CrLb&#Bai3WmQ z!SC^~0E++65XNbK#k%g#_jOERDDF6Re#0j~cjUbj#M9gy7o!CRMWpsfr<&s>gr^(e z?T8dY3U=N*bl!`vpT77dTc=>#GX~&q9zC{kI0r4^hnvY9EbxK~tnm6DNgjR;o>!+q z3izh|A1k3#%Xeie;UK~@TU>u|r6i8qJab?NG?niM*)u6NO>H~Xu{&`&F7~&-;j7b! zwL8V!(K9psu-?j{ih#=a^20#U(jQxbh&YU#=Kk>$H>1T{8tZ{U2$ zR=^r`c}kQp8wL;QZL|zsrdvOLj%_9MRkq25B!<)eb-B zDo^RR>WT zu1gGGQt$he*w}kufFfGE?4`e`zUY{nvbE&sQ$NJp$t8XuTmLY)=^4awtDK5>^!(#? zhwp9+-~>L-cm7%RfI|ZG?>&yM!GNzccw1Ht%Ou7Pd7Z?5+zw>D*It0HL|51!p!@ug z%A8}i_D@ketuk1(JkGdQtTbhY9T<3$li36I$Ntj-dVX~|Qa~If;KU;&HVx8qC zY=ZBHd_&=~!|%0Qr~BD(G9tIAnw#^Cxy7c;AohBN$MAc8XKPSy2sh!umV<#gEOA8e7#>bJE-g8k0F%U%S;V@1s019NU(H7RAC=>m++)wg$ z6>qiy%$SpbPceY0KDD8|U`R(BBaws$i}n?74^!ifF_(hQVFV)n`#AkK>%Ondm8@y8 zo`llh*|RYn!Z=w_Azw0;i)wp9OoFwACasNdJ8?0yE+yX@egeGvZpE&v^HBwI-zMAs zag~_)r`C`As0rZ!Z*V*@l+D)<9KUv`j2hrMj3Svvhq)uLVBIeNiF*qe{JUV=H2~d# zlYJFj%C{e#+1W@!y7Pm1Kg5;Ww8S-)zk!X%w$?Wm_>lL3+*tFlg+xwN{hWr<*=3LR zP@*Ej!5J84g3Y#WUgGBZ$2qj$>Y501nzK1>7nnPo$)k925X++vZN}d58uVxoI--$T zrdfGqQNQaYlS*K5@^j+2tXX2JxM^XR&muB8Ey&j*Mzn$PK ztv&jNZW0nWua|t8@2FxD^7N+pO8tFPWf=brJMQ zH8R#sP~5KudUyITTqC#;qU>^-=aYkMYS8nt@Imlx;)?6gu>8=w9rQuu@7Rm0)Y0^8 zSB9~K>wY23ECm>upr!`Y7IfYaYPzyn5+-oV^7+Y?=ka8&uSKd;q1UsaXBAQOL$ujg zD+$B|L<_xyKFNnPYGB5(In=Z7JAFzcwHRCgOB@ zZkAk+4Ek3fT<})1Y;^7S@xos3$(X$JCnuF0sH|phyK8*hYw&$1%yP3{K%Am62p>)o zD_FEwD;`c-gJ~A4kE<7aFVO_n6$Q_DsF5P7c`!)iQuAOs-R=3Jx-)lkbT;L#!90Fe zEc6plgeYoArjO&!(&;HX#d~{F=F)Q!6EUjqwfzMXGSAE6gd$&8_z6)6jpkf*>6w2d z4|iQEsXV|f5%_hwszW=&$T6Pj9SB;?x8_S~e?W~nAS4X9&l`{31Cun%D^ zRZ^Xeh>{qOT-?b1z||tJII9n+l;Q#2@0h&=xi?N_P|K))*snXxkOto2TIEJXbMx)Y4-9_cVE>u0cD9hdqI6v{14hFJMRI9K!HMEP?{4C66DP5TU2SU%K^ z&`n2JpG{#~SN=6xv|rr`^{bj5CKpXOsK11;8dz}r`kPc+(4Eb8Z}pikTi)2m!|H`PdVRqL@&Hv)3qOvzLVAFrU#Mp3Kc+)k3{wG6>4U9q;NO2Jaa166W+YUmv1 zpbw__z0Q{Y@OPH`7T)cY_g1Z9Hz)h6wgk8zcHdq`Z~N+yWH$C9e+%=S-zY{vSu;3t)5sTv(q;@C>kHJH#eU3V6Sx)JdlIVP>L@1P7lsp_FT^{comrzU=>d>sSf1sVbN2Z>d9=}L)oX12| zaiLIBsQ6?jFYxS#N0!zLrjtP}14Fig_Bpp{TsHcVy?w~;0v(&C&6X#g#dJ<<;BEiW zAjGVY!s9Ar-iU|1Q%P6FHDn$d^-77PJ(j3m{i4Cb?BM}%(DLk;Ve~>F*%}@P6mz1! zVxT`1CiB9WOmMvI3W7qjqn5089dAp$5g@ewiIbjorMuRo5 zAv=xqp$G9x+Z{<5;u-_4ZIW)9lgh#?_|2{B-r-Jb6S9+3v#2;!i=IVUJ5Okz{KdJ2 zWk`*8()|M#EdA1KgAwW?<~pvtqA{D@kuo2!&WQkKFSmA5)@W4At_M?W^W%I8^*|)B zrvL?UJ*Fp^D0}Paa`WD79>b$%yKky1(#tMxAbii6g7Jg~Y|$NBmN>Be6`r zpx^xCEefTw+K^LBJ60%-qK$%3x;gcufa$}yn$1Td1%E;3K3KeFh@v%@<@K?{3f}3b z)ecHv!`LXksf0eet6a{%^V%(ys3ABD8(2?(a}Uje&PHtqK3U_Vr5+D$E}yjxCD3*M zlX=2*{KW!B_vhseKnbuXItaSoos?#fj^N9@M1{5ic-sfU@40@iwx$+r<{O_4zZu}Q zrY5qiNJ*7B9)L?n-ZS#pQSvwLHI$weUftr=Oel~4U*#nTY~uy?^Rjoqdh+w*=f`4U JQPft#`X5&Nm;wL* diff --git a/übung_4/aufgabe_1.tex b/übung_4/aufgabe_1.tex index 62f2623..21957eb 100644 --- a/übung_4/aufgabe_1.tex +++ b/übung_4/aufgabe_1.tex @@ -11,23 +11,33 @@ \end{figure} \item Das Problem kann als Maximalflussproblem modelliert werden. Dafür haben wir - eine Quelle $s$, eine Senke $t$ und Knoten $v_i$ mit $i \in \NN_{\leq n}$. - Die Eingangskapazität eines Knoten $v_i$ entspricht dem Eingangsgrad $e_i$. - Die Ausgangskapazität entspricht dem Ausgangsgrad $a_i$. Siehe \autoref{fig:task1b}. + eine Quelle $s$, eine Senke $t$ und Knoten $v_{i_{e/a}}$ mit $i \in \NN_{\leq n}$. - Wenn es einen vollständigen Fluss gibt, gibt es eine Lösung für das Problem, + Die Eingangskapazität eines Knoten $v_{i_a}$ entspricht dem Ausgangsgrad $a_i$. + + Die Ausgangskapazität eines Knoten $v_{i_e}$ entspricht dem Eingangsgrad $e_i$. + + Für die Kantenkapazität $c \in \NN$ einer Kante $\tup{v_{i_a}, v_{j_e}}$ mit $i, j \leq n$ gilt, + wenn $i = j$, sind Selbstkanten erlaubt, wenn $c > 0$. + Ausserdem sind Mehrfachkanten erlaubt, wenn $c > 1$. + Siehe \autoref{fig:task1b}. + + Wenn es einen vollständigen Fluss gibt, also alle in $t$ eingehenden Kanten vollständig benutzt werden, gibt es eine Lösung für das Problem, sonst nicht. \points{4} + \begin{figure} \centering - \includegraphics[page=2, width=0.5\textwidth]{figures.pdf} + \includegraphics[page=2, width=0.8\textwidth]{figures.pdf} \caption{Das Problem als Maximalflussproblem.} \label{fig:task1b} \end{figure} \item - Die Modellierung ist korrekt, da der Eingangs- und Ausgangsgrad jedes Knotens $v_i$ - von oben beschränkt wird von der Eingangskapazität $e_i$ bzw. Ausgangskapazität $a_i$. + Die Modellierung ist korrekt, da die Eingangs- und Ausgangsgrade der Knoten + $v_i$ im Graphen durch die Kantenkapazitäten $a_i$ und $e_i$ Fluss beschränkt werden. - Zudem erfüllt die Flusserhaltung den Zweck, dass die Summe der Eingangsgrade gleich der Summe der Ausgangsgrade sind, was in einem Graphen erfüllt sein muss. + Durch wählen der Kantenkapazitäten der Kanten $(v_{i_a}, v_{j_e})$ im Fluss + können Selbst- und Mehrfachkanten ein- oder ausgeschlossen werden. + Damit entsprechen diese Kanten im Fluss den Kanten im Graphen. \points{2} \end{tasks} diff --git a/übung_4/aufgabe_2.tex b/übung_4/aufgabe_2.tex index 067063b..147143a 100644 --- a/übung_4/aufgabe_2.tex +++ b/übung_4/aufgabe_2.tex @@ -23,7 +23,11 @@ entspricht, da dann alle neuen von $s$ ausgehenden Kanten vollständig ausgelast Also ist $f'$ ein zulässiger $s$-$t$-Fluss mit Wert $|f'|=\sum_{v:b(v)>0}b(v)$ \item Sei $f'$ ein $s$-$t$-Fluss in $G'$. Da sein Wert maximal ist, sind alle Kanten zu $s$ und $t$ voll ausgelastet.\\ Für die Einschränkung $f:=f'\vert_E$ betrachtet man die Flusserhaltung jedes Knotens $v\in V$ in $G'$: - $$\textnormal{Nettozufluss}_f(v)=\textnormal{Nettozufluss}_{f'}(v)-[\textnormal{Beitrag der neuen Kante]}=0-(-b(v))=b(v)$$ + \begin{align*} + \textnormal{Nettozufluss}_f(v) &= \textnormal{Nettozufluss}_{f'}(v)-[\textnormal{Beitrag der neuen Kante]} \\ + &= 0-(-b(v)) \\ + &= b(v) + \end{align*} Also ist $f$ ein zulässiger b-Fluss in $G$. \end{enumerate} \points{2} diff --git a/übung_4/figures.pdf b/übung_4/figures.pdf index 9236211972a91a785da05261a11e0cccf69e69f1..12bdfb090eb08d97355438f34660711bdbbe2b4d 100644 GIT binary patch delta 16036 zcmeIZWkA(U@F*IKS zipc#PAAJm-|9$U!->>iC1G{r(XLn|2W@l#i9F!Bpd?rX%$3kFGIXOySKOcJ=cgjo8 z{S5=%m`}6cdDJvlUcvpb&O+brI8MFGDTK0L!sPTJ*PeR3?f>wx{sk-7 zwb78!nNlHoM$Y298k!O#`XIdliAeoiYm7kmc+a*PH3QsG{lg1i&}!!U=tD4WaPRBT z-o7v{NfF6q%Z`2XdGtnyEp}o?-~OzkdiNJyII6c=g=SLd!T`;5Ut64YRKfAh;G zRybRK&EB&d6>zbg8zU{U$D(si`&@Z5`tJQ)1;g_AV#Qi4B!?vLTtii;OkL4+EocgZ zP*G`;xWA7)DC%xKjTiS~i9JNiFXTKPDpJPnOW?Ra8 znna-9cWguJwm?e?T^kvuldf%%x0mR7_r#2iTGCrFs>IZX%NL#ycwR(`e6_fJGTGx1 z?tNU+*JRp+6M}n4A1a3nqmE0R3@gHyZ+}%&1;^h-%e=qqeUjpFFdE=p52ZXgKe^wSyD{*`obC?>-a?r?pf42rgCOw-;+)m_(vAmfgMOBr?xE+{j8Nt=%t*h{k^N^P^kt z^Gr~lPitM&WYerxax6hdNMFp{&y-`HoIUB$ z0~cyH_j~=nklj6RCT=^b-|V7wNsNp;P1Vy+UqyYDoVqv7+sl-Wqxn+WRcmZ*r~GlN z?&TL`jTkG>2Bnw6#gPxmz|Sgny3|qdaCVX7n*)t{{ zer|zB3#=|%C)&|IB$_iQZ4ZYujBD# z2kIEDJM5l8#G&QLS*gzw;d0;7=st_xzH`N0<1qJ8p#LNHq?TLD?T8QGLW#!jCL)8= zpPc+glF&iO7mEud!|*{czk8tz*1$*I+M0QM>ew-&YyutJ0-3C~w$^D)4I>F{`v7Gv z0~-%t2v}0d)6EVft?Fju=nH}a4Nnh0B_+>GAPY$d3 z1`-ZJpdnTuBn)H$#{f_y@HHF_wgRDmuc2^!1OBst1X&=UC@T;e46=a1F+c+fG=Lr+ zY6Y_Qu=BKap@cwi^5T5BEDCnE|A9B$2t@`K4F6p=K{u>i!@=y4n>!M7R?Ll5t~KY~ zm~H$e(UWuzsEe++hgLblj4317)~i!AJu-^(Te2eAnNv;EZ`z4W0;!{jD5XtHjA7KH zMtaxJZR%ClsZ5tLV73QpTB6I0PxO+0asGH)ePo8yTX_2Z>q~kElIhq*y*|E}1KQny zPrRijam$6ztP}3M6_>W-8L=+cK9w_B%QVzqbjTK#){!DsZ$GE|OsPNc8tF~_9b5j( z#TreW=@C{MNrZPu~z|+#p8t4vrS&`|BN#xVX=OG8oBx@ZtU9be2TKl=l)5 zth=(DGO988j3CT_P|LawZla{SeSW8?dYx`9|EV!=QbOkF2;AFm*?Hq_yTLoBdOvs! zcS2NlPj*4}#;MCMyY}N}M>Y+v*7D1P{HPI=u;ft~IsuNnj(s);yzQCbz-Z zjZbM|ufe#uN-CgE@kXT@U?P`<0tMn$rbrIVtVs;O1Pz%a;eU z`xyBf6}4C)wHq}r1@~wyIKC=|Kxbc^=PjFTl=P=H?peK&kC=SxAAj>QoeJ%sWmwu7 zC@nHxASum#K#F=pSvku{<8;e@#=wu6Z;^R6R= zN_~+xE+&2pJKXOjkhPkzn#pQ@dFx7jLm(!w{&M|UtV!`(!&(gqBPRo#fq`L-#_Dk+ zK`*{h1BAN%#(h0uiTv8fruVgZO2*aR65sQ4zh=q*LEUIfU*0HQzsyJ@E9;(qnZB4- z&fE0?ODkuq=Cj4ZbBM(1kw)QG!Z5@9k2BDF-vPDL8@lk+x=IPNGI@pLI zxoDO0M3FV3wWPAJluj3`?38>V-fK2^`ejFz$qHhDC(r)_Pi2h+r0lvLUme zq0_KHDeEMH>+y?Ro+oxjB1R%C-3r7$RA%#UKv;+M51p56Z^KP5U6Ps92U|{$n4h=0 zvaLqs*M4v93A5qV6h8e2qIzvI_GaaR;Y=fPsf`THmv9Rb#~zMhk( zPPBUfMC{&5o z;PDY&jrCOpMPEybl_zv*{Lhas=Vf$sDShCl0TsS3$>i=8N$QP&!oNwDCdCv$~d#_CFF&> zygFDJ3PBu+^r2E(nzc^or7hQt$9_InZ}y^x(}|Ic&tCaonjo}ZoD#K02HU#7W++d2 z*>v(T_JfJ5K*rFiofEK!d|@V>FA>wTT<5Q{Nl4yc&|Ylvgx8tA7n+Ba^e9Ye_Nsu! zpt*KF;(pwlf%#C;XAzQ}UtWq|j8L~$G1T9~PCloX+G*#o(GYZY-Mi|HO7x9nW0Zjg z=CVC6rs0W7-1Yz;cUAQCRCWUgX2gcxWo+c%?3+6-s*1K0<+$$(z4=gq%A~Qj*xaa+ zG0)mLq>$}d#@adU-NDtR+iB5vz_9zP9W46?2FLB4*2eDZ!nBz?#!eR8*}-&@AINWY zVhKjUvElX9dbjg(wsyYoAe=V&gH@d!MxKP_j20dLVDn)l6Iv8nEh6zHhpti1^JQq_ z`PZK1&n;^hSVK*?O(aV8J3Q_7R`x#{3bVf33267YrZGZtjPlrJvlZu?i$i>B5Qn`s z*ryG`Qwz4P4Wvywk}>^yytHEmx8{Ak10=DJ*_R5RsyB!$6qh!7oN4Ae88jec)5KDm zRdPsdA#Uj-{@AHI)H{$<;OsJz^o+TndwoSX<

v&1;*I4w4=ALy(6&9${Nu-NJ(X z*PyT}p*50R&lTi(GDx&k+133Z)A5C(z#2=iW%fEum&%@VNYW#wO{<4t`i{MqB+l68v^6u z1$igNY!hFld>Kt;aPe61r=VACN*_X%6ds1kcFTo`I>@!ruhM=!^>kx6Fw&5g%5z2n*i zd38dO#M;=y3uW2i>yghY4z3@Zw6`w}79cYtM92IK+ulBcje^%jh<0J9|)sC7676J z3;_p0F$f@72RbMi8fXAPI0hetBY@Z&fdS%kBt9&M06{n$1A?QV|Ne(TfpI7p$j$=) z4HN+c_o(lvKRXy;-1jIRi1hzy07(E0$OPbE6bOa}GK25mqJf#ANGlKqK!YQJd;k=i)bX4A#Tj|eH|Jh0IEQn2tzTUE7$=&3id zZ+*2#ryo9iE?qAZ+Is2k(y>RJ2%^@j&N80J7ox~IP_*nZvf%UUcltAoOQS*u2V4x) zA*XJ82~GQBm%MZiWNV`0lJ79=b3^4jnhwvI$j64aMxTFucD65D>VU|y$2C95g(}Im zK0WNvA%-IP0a2IxM;<@vn^%SB1@4W1txRb)EOW2j3sb*Eyhr*($wwB0!>zYb33QNf z3H!8`B4E|sAIkW0%9hM7m#|O_;!ex2WcXs=hnWm1VyQ0k?>sF?0v#%L(tCDD(F==akQR)grr z-UQjJVZ}z7Mj7ubTv1Z0W*&;akxu4g&q``0}Vnze6fwMjh}Fy~2dg=2#f zNEQDn&izz-DEPbD<5a{I8BLGq5bh2&w;&p?E`XUCdK!5+U+}cE2SG4+&@bD8LU0@W za+PYQ$q1oP!15gkp)kO_2l=6pe^l*<%|W4mjf3M}k!KP@5kIu}G&L0V&j1q;6b|U7 zF(DL*_axP>lv4zRP!xctii@L`7J`1a-ai%v{jS!(Eeegx<=|!pTmTvY`pza`{Hj29 z4UpLq7she2DbYeua48rJ27;la&?q<#Opp0*d>hV_SQz||RI66M-J=6c{b)~On+T@u zCX!&t-=3p(Qu~oslZS}Z{$b}Dyn>LUiP|W};N(_d9iPnj=4v&&--BpcPuaF}+)6p6 zfhyu7T!nKp+OsZe`Ekii9~KIdp4>W7hl@VZuXSb*35udQE@I{4Y$>m&`DO_Fv2e~& zg~Fx($?D$Qd)=!&`L9L^9qltZ5k%eAow}zOYQ5!rKg2z_c(S_YBp1@+Q)$nVg{fKF zj!-I{v&qYv&zGs`eH)L99;ADj(vKlyp6Z%2Zi`jjA8{J7j$C(D$q+Mq;TE~Q))~a_ zOGrn}fukaBkiXztjgb+iWO-;e=QP3EecA9i=OY{HNVdUU*~C^FhOV^qE}jjiLb9@j zQ|KW_F)h(Z5?OOO3fo;1LEe1cAd>jzu5Fu>-*U6bV*~mh2xTX4^K1?3EpSdxT=yyS z)bq4ZAio{_>d*j&%u{}Nr_r;iXIB7M$-{(GVrM4#wN;_)O1SehCx1X}I4uc1if{)s zlEilDbUokkb2xs-f61YO>!QW{iEm8@;Cs+@f5#`{`W;`1O9dxFe*~Wg_llmL*be*8 z90bVf4So?~LKy1D*@hs5p#d!y$7KuW@xy*N)gPJ;6np-#5Euq$Bcg_r69?hzGq^}` zUfiJw9X0H`ZGogsKmY<>-Qf^`xJY%H=v@L_42T-1F7C#Tx6nWB52zpkAY3bm6<5MR z!SG#B|JaQxa1Oztc>N}X!*TN*3e*s&6a+Z3&{AL&8c=ZXe_-Ra8v^~KaIckklD0#E zS|#vKhltmyRm7aywXpMo8Z|t5k+D(xY||%HVoywWH;W`y)qQT+*K5)7D}`GUaYLgB zEzd_}OTOr82>w)ghLm>r%6{eC)cY#?>KwbM`gza0=m)AUTc*~|t`WCIjP=fAr<|YB zyuSC6TjiDp%#crz{-}q7BLF*Q`j2Jfjo3$+5f>s2riMVIP+-je1(%eacrLS)M3NCr z5;alueb17iMO4l>ajlK>mmbBmli#(SQ_e4SZ`lmKxyi&69#s-n>@kzeVek)Piqn_M(XP;6V zJ{RQr4=z#v8!n4PesKAJxt9=1LPhG+`(WAjgXv8({`(^+WOZ0BvI-_ z=-p47*B|`kGD~8;oPd@?iJ)9sX*kt=!BYM!8bs9V_~^jY)9uo9m6a&J`dVbwZ!9HJ|G8xnS>XkMVirrZZ5`ird!Zh` z*qI~%^}5otK5Twr_Hp)5*bNR_iq5Ap@eSRzprOFd?z8qRwOayKw6nT%U&?C8h!2kG zbqmtskS9d{iw_Z8%n4w70QG|-{tt}of6GfB^|hS;x4aNRy{`U0@}m8V7yS@H4qTC> zDDjWeUIe!bxAbpAJf#(JmTbR@37ZYxIq{MDV{ugmJIHO8?U=qQoaC=ooH5f5X;?;<3qbTD-77k1G5G zFE|<49XRO*eks|{kPQjLyNX}OBOwy+>D6%YT))Wt!5)U2fmrO2b_bV@;K3DhQ2ss? z`F-dB`>&zj57!VLNp=SXx+niJ`*%n6I|(#EBJd~!hrA4I_BC|f|3L!p1%7UgFaZj0 z``-mo!S~lPR6&yLj{I~}M`@rSe+dBv{qJRT^E0s9@6$d04-!A*`0t4cM1a7FiFM1rGiPBOVtB79vFd;Ot*QXgp^MxC-eX%c>+q|GjebKP$fp{cWy` zglI(dH5izH5RJq&!aowCQNX`w90uum7LAWP@X79}QInO9Q~YtdnhE%26?=i1vO2GW#79czv+ij9r;kw@{}M}s@A1QO3Q!C zjwg9}$bg4sGRu7~M9jOOOLs0iqM&g*F*#M_3EB8k!*E)vpJmTlBXlT1f1N4uG1K`P z{{k(NB;%8Pi4?;7Uf^#;^3+A}qZ^3%CwKXW3q#zh4h7Cqo(hntlRO$=9@ioxPl!h2 z4rSP}(C--w5dXVFLBLHO5Iy1BK;Zu)-%xdjgJ9ot3OpQvPy2u1An}?1k2VSf{}HgM zx}!me?|~T}AA>In{J{BM5cszP0U_|CvEQeI05yVt$3tKsVuP z;N{`C&kAsy`Y9wkP=GkH^AIo)`~q8#y=UB?$c+N>Ad?k0P^^l}BT`kuC5L4u(rYxG z;cX2|ds^Pt4O8Bw@p2_>+(>^RASP$zg>77EnQ3WQX+H>{l53Lp7zt|RCuTcYzigqA zU~=9QdwmXt@{=2BUCDR0p7-Crc750HWux@Hv2WG;>$B@bSmPXKSOekOt_5KuHc4XR zlZIuVeOw^&vx)UhQ}xQvQv%`6ynz9_PYZQfXnRy-vf@{D2xM3n7_Zsb4gZ0VS*t&Dm--lYX^Qsy_mpx z-Oa^jdTzQQPREH?TRcp)NjqqH>G&O9r-XsZj}pl)6&Hxn#GLN+T%uKR1++ery_Ra} zuBRYMQm?zn8}2^iXjf9#+lZ{nqq!A0;+FJa`FQn?j})?rs$pnjaO2)IPcBxKz1>Cj zxw6e*A%ELbZRHS1vmEguo&OV;h^ndtP~f!Np~iF~0WDGO>#8@s$qznPu5AnsQ%{!Y za6Xw#VWERb|>;mh-788AxCgnU;c(4qySIy7kwk<>Ws(4F$oSrH%kY;r$e3`f-<#l4%D+v*|Kni8`llZ%L~ zoLt#5+dS+v-vhPb<1s3_wcqZ!A*g9X~(r7~jnrA^2A_rHkVQEPN^-drMNV$r{9wW?EO- zC|FU>E^Y?oQ6Wjz17X(?nj5q<(xO~x~!WgXrpzz2hg)c#SqK4J*wlVzTn0#iCS+F z_)N{{XzYE$>zQ;Z=OkyPv2|bqLEF}~5JDqjM0CZATZFc#m8opuV=~g?>||XJh8`1n zMf%LB-W#bV9*d*v?dKn};OiFfpmn-TD3|F}@Jy9^HrFxU;g0lxdZp+c9;e1N!Pki~ z;KY4MMzM2wQ;b7eNCc!$>6TJ$9qB#OsUqX@3%Ta`iYZ`4ZFfMz*t1*{<%Q1d6WQ)N zsy5AZ*4pD2%4j>=8_ilDI`&M3 zmCEb1qctOxUf1UFLiH#Xvy20Thd+5MU@!G{ykO85|*n0nT|fMGO%J0{-rx*DYtu7wZ^W_6*2- zNY$j)1oT>^F0zq7JuaC(S95FYc(VI6YvQ-#{mW}H-e2HBxE51KwS(( zzFC(WJp3w>$9NV2x4@1etVpWBbDslSM;u%d9WoM~2UBMDzuNF-hV1TqCAchfF13|7 zo3SBx&!)v2hK&odlb#o*jWtJUEiRLxW`i???zDEk=^9GXNG;qFfD>J8f9z|&Nk(uU zcZs1SgfO`{wm70XvY_a!)w7giadA~wGaq3UCZBc^;S{7E2S;E}44;v2#j&dgOJ@|F zC3{y6eKSf zS#S_xNs@PCUQAeQOMeYij7^mHfZWjtV%;$|nkU7()vmj823-hGPi@6eh# zvunJ^Q`ij-5GTp#$Yoto-xbI->JItLAu0K8VT;o-FvEs>;qD9gld90pX`7li6`V4N z)FEm|plT6YEKw6S{lu8{^uXzz6t@gZHmy3UM9++MAs91uGlrant|em6Y3&UCz|~OC zQSY$XJ*&rdlwbRN#|9WFlniI14S8EOLno)Y3u#(*mLe}qkh%CCpwV$qrPdMMD zIheJbFj935do`hMX>y(GW!G zC779$_Mp@4tA<&F$rP>PBnN4gX=hvN^_XJYct7#`W6!5|m|h_p+__Zuh4LJgzS|0K zvuFU9<$ZElr7rqZWOTHW3D25==QD>{CEf+=UWgxf!L9Ss2ltqeym#plTCeyLG4g6> z2QE52L^n#L^f`YTF_%%uSHBu%OJc@j8!(R!y(R2lmZB}-5fiSL$0kj_upHH0G~`wo znK)C(HiBgldafRIQ|1cQ?N1{DWWdwE@pESGD`HxNPr4$sd6YiDo;$cU#tQr627OQa zI%^}G{V0aN-u&hhdr&Gy2BC7DFPvok+Mh%u?McrZo?GedJZ~SasCW`}5;+XpGMnzk ze0vQ%JcKe6s_br#k(hH>@zIcN5>sA9oR-dw9)F2Nuo`L^-8f~?a_}%QW9R)z@9V7d zsswCpQOs^E)^TJOP_P(DB?f#wRxy*1dcoJ}Ow^=$j4-#k2oye15sY~Za=6bv--NoC zo>KLWJ5`-iWMgvpd~y4y0t}NNd6x1DV?;l{CPfD_gFHhKlq{CM=OJrUBg9~yl)b+c z=fZhqha|=sxx^jOCtOdfNEM;60wT+m%Gz@mS93}Z-7>zY%QCutoS8s*t|0<% zzCs5+cxw>paze?1T=}U1a;`nv>$29NeD(8Z*oKAE$x7y(jz&Tk2)4b@|y^h-HX&dr@gs2JyWyDZS3yhtONnSk=0yy`4I`*(|ws0*u{C zzH)oRDJIcECDJ|R_L5&t$xySof;%U-g44*%Y*#*jl%$jjt@4>HVMEg~ zk~5dBtnu+va){_jUS-iJ^;d~wDETXpl@lh|+v~C!lw;`+OlJiX+GRV-x9$bj6||JT zlQ6!tynfKvyWn((RL|u0C6%X%tkPd8*XQ!&Oy@1-|Lb(~^d^6-JW4Pg| z+%KK2jc&KdBws+r^r*tFVyDVqT%6}|+dG+7eR(<4szQA~FhCZfoKK!cpYTc%r4=z% ze2VC9O_ilnY>;_F-De%e)m?v7OwTVl!T3 zTki9|^2>LH{o-SkO$i&8U!9j0T$B4Ga#mTP!nY-RMo|K0P18^9#B-k@w`n4oI1B*_ z&0%w9xp*b>%IA-w1N=9?JhZvWm`m1+y+57cD#Xy3+iSx}N)*VdIYYy|O)aY+cV{eS zQ8glZqIZ4*$G2JBMXcl(&x!!56=|UcKzgpT*|E z%PU@CSG7LMWRw|5Z)fv=BEHzP)40Obe{R?nDfHgv(X`{acY)LCQVq-EyH|o(%*N%Q z@l-9S^LjUgamPMz3U#k#AVfJYjqqdT2_HQip6_GTTx-onTw8C;&br2*JaD^^RHcT( zi0ly$xYolJ<&XOIaga0h!K@*nSu*$V>4ShE!&7FQM6WFCcK!FdMuN`!??o8uL(`Sq z^u;zOGeC248#;>bH)=Bqw1}l1LlvE4^^~N&<2bMETv5+%6m=NVo9%q)X*L@1VA!!*CYZCkZ$KnC7BkcPDT3;2w~Y19`1py@FU&heBJJ&K7d(6qW0bM&C!<2e zsjPVM0+_t%0LuB-A9eJB@;635Qvuoqnx zJMg;i5}T`!5RFPa({82_8cni}Vkmu0Wo!Ax!Jmhv%|}eCM&sL!rvl)q_l78G9<;l0 z=;lZ#m`NtWs)XP^=_e0^uyq%nYpD;-2a3FjOx71GEN2G7!JP67tDxw8#^?KFhJ|M( zylj_I1&lpzRLdn}v6fFM&+TI0&o^HuN>4RdtsO7RFdUOEBAtJsgql-=X+}_UNY5mG zaJJiZRmr#AHl{>ay`Rj5?z42>diG+l3}s9`*-qkcuce~jzn?CPsx#8X`B1(#o4EE0 zyi&?3>_r>OLclmvm{ZQ`q|(LKbMPYFO>i!pt7@e0lSfHofpKxd+>|Vq+0lZD+k2$t zGfb*Ki2KS1p4Kk?s{%{8Qxw>{`-TZ~T-^s{b?*{+8Zy`qsJD_JYg982Y|+;vY9BMH zo5H#ZDcD(CeCeXt+|gamE*IG((Gga%9Z-J@22$^IHr2SuSFDAZdC|c*O+Z=?AN5gA zkM|k|eM8)sh|s6djwQo}%r0Lgd7H9)%?(s8r~E+r+w8b<(pRPr3d*^;vb)^RpHG4> z44}wBZ=bRS+wToXU$yO^Ijb3xB7N1-87bi8=u90n`|MV5J=?djVaN4lnBAI`Td-Gt z?Br*0grG8Fd^fPjNpbv*Wuc7#h7v-6LwvkN?KE4(ER+q-?O4itu1GCkUVbEH@@%ehK3+b$pRYQ}v(g`*dv{0#> zGp%K?XT-xcQ7ev8TG&So3@QiX1!2VyH$Kq`sfAjugs2JJ&p!J99#t zryQ2H&zkeJJfZub;(LEg`O@d>(9Fu+6FXlaroGVC;4nVj;+MAAgX=5FZOxy`J32uQ zw`||*4N676pm7-GH{4_tQNCtx#dRU!8gBNiP3o0G(a(~*0-d`}I`M9ubY*WRgTn3h ze3IjDd6E`KH~E(NPE*e-!FVH#IXQ>45@Ra!&qd#mQAuYn@Z(d!mbSp##NV$Hz`g{Y zmRFa$l8xOZGWpy@WqUF9oIFe98I(8n!_MJ1vW+E|&6|$Wu{Y1q1^b@<937y!xAF0l zns@9i(hX-^_^}ZW3~pD+vpyTEHj8`qEatKQwzTw=T|-UWLLgnO!{TDG^yLO=x}GiG zmEP&YV?%d4t8jxlC%L~DqxC_Ue`=^!zZK3gFr0ucoDB^@Amg@&HkOZ$L3{3>cTA z=Z}Tr-y;0+9T@mo9#8`Q3x)vRxcv=70zYo~8-_*zh4DYfLSZnVaQqhxjslA8U@-Q# zMSlUKVc9s z1bD-61O_}M{2K;8!UzP6fc_&b?5{~60DDIXqR~eP0{1_EO9prlazug1kvHn~P41>fT;RFslDg`(U z^Y=DE;3)i+&YuL~z!lfuFa!ksx0L`-Y7>aMWMk6>=A!^6SsVprJ>c6a|gGFG6#i#fk(xEE(QvL0N(Z=|M#yFLLu-YZWIb^-rw9o@vHuuARw%tV*PhwDC{U6 z40wqBbFAgh0||yYVq#F>jQZQQfoIk~P3PC5F~}p12KaF$0*X6f!iB^jDW&y2J^euV oEduFNN~?P~c!Kbg0iEy9Xl#7^zMq&-3>pol6cReEqe}U|0BrwpU;qFB delta 8199 zcmeHMc|4SD)XvUWvqaV*Tg))e%rjduj3xWNq)?H4-$|H6wuE{LS=vb{dqgQqMV9PY z3l&L=B@var8Skrw_xJtx{r5e8&2!)9T<4tYzRvCEJc-M6KZ@wm^vZV&X|X`PjB-$c zggS&^QiS;7SD-IUa?mLJEELI1glY6c`lX?BETj{_=J7fB^((4$t>HC~*y;NntaB7<5dLhtc^FHLjW9 zUvZ&tf*jCMEgX!XgeMZ=I3+9yjhO@MInWbv(3qKofkXbGB3E~xLv95;XP!8-rZb$5 z3r}}Rhe=k$x^Qu_ad9D~k_UMD^40q$^S3qMG+N+58XiL=cXL4X1u6eahY@LD+yXqLS0^9w&uV=E&P$1S*K|K|b0cWObVnj2LG z@#u;{Y+5{wt_Qihs6KMP4m3uAX3q>&Yi+1Oo>39OwM@gO`@3k&#-e}q3$2i+d$uyV zp5X3XOALu(|Eq5>G}Y@u>iX-k{%}PKxh(%zNrklMA?)c z#6e1^Hc1eKqu}OnWlcRT3+Es>h^4)fNbC0ih=)V~T_~EL0A&M6b`bZE^WxhLp`^pf-&^_Bk{)py%d);Hp8VE%1=C z7JGS*g&Z9{4urm2E<&fY*&!yYDCnrQFAhiJhqvm03ME8WBK1#0vxx- zGVC|aI6MU3%TGsuy4bcsorgKf_wF5}cPM-K{fJyEkaTNw;pp~D&E|zCnxEZ3TtG0C zT>}h*Ep0+89T@VHF*0%UlR_UCF!o2-3H{4QKGR{3_~f|jxjMHM8T5?E=aI$>c7M{& zb{(>ubu)vDxM2I@HRmMmez@)hk#+f~L5&>X^wbP|9q{xx479pmjUI=C)NF+)z*?Sg z@!ypjjX?6g??xapGLm$mcy_nf8s6)Gn>=o&gc%BVk@ z4UL(N++pbOUDdY@c}Quzf6ykoS&jBP9zgErE9hK^m^*s9Y|hPUKUxR$VQ zR4lj2u;7mobI#-6EXSg%c`0YlvL-v`XdAx!DR(TTcv7P@&j++1KH0CEh*0qXLTgO0 zZu!>AW2ckgiUMS;g1*rW)+Dp7(s@#KIt4!E!j=ar$pMJ$iwAcOW9tdI6ZE;>jCRBY zpB-a^wT(!sWpQ;_?>-$@!%Zq8%n%q{ETq=O2 z?q4zHb$mK>Z+!8VqJj6K&s1f(59+NZK69>oa`{&*Kk?lwL$%Md}XQHi)iz?tXSLUo<&j7 zZ8M2&^)iI6^P(9q4YjQDZT80=#uwit9|_FwHTROz2#L6U&RylB={Yuu0U671zoDnX z?qI}sl1set8@0Fd6%G8GFMB-dpN=N}e@FjEM}r~&0jq?C1301*7LTU>#RI8t7!a+5 z0WeV1VIl(#4gTBRTol{X*OdZMOT|3NjJo0b zZ!>0rMqdW%zR)!*b878*Azhb}A@wjYOi4PpS@WBP-~1g{wf5uEQ8_BRfRXA-qex|w z?xtn6%U%1<mV`Bk;c7OKl!irKjg_B*o75s1P#TSuQ*WzKg8_GX7aAQk-ccw z`a?PO^DM`;gOl9N@87sCdroqYT2?80oF zjOocT3CY%0pm|3631#QQ45NiS_Tat3u4ipD+XHj8PG^u*y<&nyR@9u}sp;1b#WMm=)5sr^~(R zbOwg>g=uwXWK7xHJ-P!~%f9M8c1qSWh+Y9lq!0R_Z|k=(B~hA4SN2(PRL|b3C^)GT zaY^`Ff{PXKCaJXhiV~OTgTZ1~<=Wt{DLsw@ehN(4j_OE1>C#j;YXMEtGaGj^!PI_^ z%2fZ?Y2+Fs2q7}{jO!})g}#vsB3|TKmklRhU#|^QRqj<}Qu@hB#X(%PQkIt>{U~nO zz(xKgAD|!}#Yvgzl1`9JUxtldd(C)n=HA&>e&*7dybPH$u?01$nY$fF8E%&vJQImX z9reF|h@ldy$xW{6B9M!@t*@WP!9q^@Ta=nOZsXCK2(afQyx&!wzi&tWIroOXE1D>% zBklcdTzieb+&kH9v51BD=e)u#F6bTLXv?%fsPLVfejMLP={Wu~eb_~#ZoA4)RR4wA zSv$*;A9s?$U^*6&aDk+xk%FuYlCa%*R#gpYo^;%c#!H1)quO zsuA+9bhxsTqM^PoShHT1gR99dsJlDF?m03%G>;E^YU*|#I~eEKhPowPXpp0n1E1}7 z)bw;NORxp%gt`hP;+`5bI<~o_3~MyK{9L%3UtnmbT?;cMoIMQoN{(*QM!ulDY`8Np z9LB`QhYM!yNv&*uE~*e0km>Y5F1yvQQ17rp*yP)V{y<(QBVvM;4ZGT@%CQbI@5+&w zOMY?nKe`(VbL!PqlvQvYn7Mt!GQ`yhPG?HKFrC!mQY+Jb0egv4TV@#bBRJa;m*c?! z>^4iye&ZvQ{2#N~iP@j0bdH=(AFnuOaOfuEFw?-c`bwCgK3SB`@T?XQV+QC}~Qxp=c6!tv&gv@ivyOn=z;*6}EugII?bC?Id&ls5+_<8c_9oSe6 zqWx~kHjMMIIweik?lloOtat7C)frWms3AL6nMcIf!zmP5zGugE@VP*A9&;iSmPUVCH-5belWTr3nF<>r>CF?KigcDSlNFM#!rzu^ z8h3@fFDd-#mCby8h|hC%q_4{D1D0Yr#(1=N(Bgy#Lc^9-)9;$scg-#1^I1QBKJgrV zn7CU^pjsCrQ))IExOGayF3pr)W+8BHM#Vsk?Tzw0ybM8f@x?lYt z9IF$;ajdfS!#>IkOy~&3de?x>Sxzo;eVXS%&$k_~G`BIUsJ+*{{5ak{q_;%HKgo!F z+fDD*?(Gko=+DclL}uC)y$e|pJKo3QzgM5oZv68=H^n~E+D32dxw5C`995nC!%GgY zlkjB>)v`%;?zK;!>56~geJW#OJrORVl^b}9aK%!6s%8uSQ=fQH9iMs2Z zhKQL#%gjDXMC0^@ZpJv*-id>iuAbAag%2D~gszej7!WDqJ@9E5U#dJGUp9OEpk_WO zrc!l(HtiZYDmgC6oWNKW-KR9i6+mvfemK>zQ>JT7BIKQ;q!SZ8MG`mHP@q($$L}SW zJ$v&+oV%~kt+YA%XlC0$`$eyESAzeck9?+&iF2${xV3D&RH|<-cDiG(&-vbNufde;lzlvJzV(E>s66@U&^@*0 zoOYGBAC8+0sjYNE7%=NB8^9_aRIZh9wGgAeUs2IzE<#3StV$Gn`m8FM-O+rDO1X;e zHR+_j6BOP+dac4UoLpv*Jg<1rM97;GQ1U&U-j<_}=jG)eYVH*S16E>$Gq1sAyN7Ca z`Cm_bhZZc2Gahi&QERa@)mhaK!G>lRUcE75C3xzMXQ-8Hi|EklA7^sCOTp8vIahQo z&NoRPH-`R%~G8_x+C2m`bFPyZ!P^y@eee>`UWMw&IjKrsz58Kzns3~)n2Wxe+YD8g=tt|AU46BM zMeFH-$vOolF6~oEnn$k4&dJ|oQnC`WH66RB*TqcvyyJb~q^8GbHtWWV!dOgqbm(TQHa+_+3|IWIw zN{ZiMOF{Y1uDYmuu`GVj;)u3;vKtRCGs@gW7^1UyU%6=R%jY#3);M3AtuMuH(o}V2 zwTYx~8ez0$*1B>bcnQ(@!!md&*-{^!uHj|wK6)GPP!>6Kv2pg^l1~xJ(`AFY0G%DcRq}?6% za^1Q|yv$c^wpW}}7piE;=**#2fR-mFz{S&A3VNV~hOgx(*km}^@y?bt zd}ciMEouE)v9o^WdnSTI5gM@}1J>4s)7LwX8a?A#2$xfPY_K!dBb{ONQ!HN2w!k5V zBa{+W5!vE_x|07s<&kz5QHwHZGECdQvT?h0-TE6-7p@10@|zg*$8Ps>g_LpumDdzNo@fUYXx zqP1DmyD0$vs8Lziv!%tOeR#6I{MhkO4i+nl&>SnPW5it#&$>RDFH5ZFg&B)P&ub|Q z>|`jP?~Q4%xrsloHbT+(x!@NclUi8aSpSIr(filj_lw^?w7EQ8`vDoCdbE+e{N=#= z?2^EH2cmYT+746{GkA=Q9S|jDeC-htO@3bOCN=$X%<)IV*9wk+o~aoLQi=MAV}zgI z&k>5V>sh7Rwu8+tW~VzaqQZo4JFGQy;=1wQYj*m*9PjaiAqImO>1;C*=;I9yeb0n6 z$zx2hdE@*z7cm_(p7`XmFqR3z>js0MlG|Rpy6+|*O7=d&y~D7T^@&aT5~`uZE`Dps z1S3QHeqq-zA~x)Z^u6=(*X4e5Gt! z1!E7axCDy{)CKHRuGqgC?x=I9Wc-HDff~P|TMVODQypZ3SnpZGZZLoK>0ulGvWo}l zdneuOHFMFBoLTkV3>F7O)T4ef*OE-K33q{UhBYeT#pro`p>pJiud!kPSuw1uG5#Bw zp_5YfVt=vB>iuV&H_r=N#>{#rFcJzno)7Jgy>(C)v-w z-RF;smFkuR7MZM1R9cjv2aKL)?~}|9S4pApm1dbL9F}1m4eRWRykM5brJ`KDVp{Ux zDVS`Ps&#l@XvSrXa zp3o_ZzSZbnp655;{puJ1LaBeT#s)J#%4`;w9ghvoX}-gZZ;dP zwEhr38g|1Y=C$NqFFn7yhSY{vm&DW*#+w*FSWynQ>@z5QsgoJT=TmTeH@m$2+fbym zA(Q^sj=}mH$La-;Fz4*UN}RA_RO2-Rh9b7-Y`Ei)b3!=3(p~etrl}KK6qtf{A?&O? zu zew$Z)`nn0YaNnRXa_f*GNowXJh>qG*niep2sXSd)h2K)bzy3n8D^aj&LacRpWqVX- zUX<-Q75x2z*&~Z;7jhp>tPRvLf%2lbf96d1e}5a6Aar2MKQnaCi(g9_@kqz+r1Y z&?t~P@?8iDrVwe9w!ijJXlmq5YiL@s8|*;zMqCscM;q_`ZAblAnmRVyu!bhC#ijg_ z6bggEZg$3jn}T5Q)G^=&KoEu6R0xQ|ZNdXFv?1TGWT^3}4+x?+1LA3eM%wd>H55od zQAdn_uVDdT6I)n-u!$`!mWs5|7fYcHgEs&Yu$v8u)bZv9I~*FdiB>B6n^?eMv77C1 zwCODMq5M%D?!ST%@qf~_mI5BVIcYp*vlj3;+Gv>e{ALi3Bm9-%8vl4Aep7V>)F#oQ z2pHPD_-{Z0<{u&b8H9i%Y{H|4*yKwjfRv5rPW=Ff-)IP+0NMcgufPBb^B-#j>PUK{ z9dVNg0jl%AI->ld1^_Ud+71Ayvfc;?;87a|NByd>sXYNSYSYmHXaM}X5Gwxw8r;-k z02;fg#Q-#cIxpW)9hyM+8<2{J0f?KD#(>04Nn`LJNZAO8ArdzMg471xXa^E$U#I>) z5-dpA*s=gsgB#b-DD1Ce3iy2^VhJ0oqcVv4V=XAa!QIO_07m + + + + + + +0 0 m +-1 0.333 l +-1 -0.333 l +h + + + + +0 0 m +-1 0.333 l +-1 -0.333 l +h + + + + +0 0 m +-1 0.333 l +-0.8 0 l +-1 -0.333 l +h + + + + +0 0 m +-1 0.333 l +-0.8 0 l +-1 -0.333 l +h + + + + +0.6 0 0 0.6 0 0 e +0.4 0 0 0.4 0 0 e + + + + +0.6 0 0 0.6 0 0 e + + + + + +0.5 0 0 0.5 0 0 e + + +0.6 0 0 0.6 0 0 e +0.4 0 0 0.4 0 0 e + + + + + +-0.6 -0.6 m +0.6 -0.6 l +0.6 0.6 l +-0.6 0.6 l +h +-0.4 -0.4 m +0.4 -0.4 l +0.4 0.4 l +-0.4 0.4 l +h + + + + +-0.6 -0.6 m +0.6 -0.6 l +0.6 0.6 l +-0.6 0.6 l +h + + + + + +-0.5 -0.5 m +0.5 -0.5 l +0.5 0.5 l +-0.5 0.5 l +h + + +-0.6 -0.6 m +0.6 -0.6 l +0.6 0.6 l +-0.6 0.6 l +h +-0.4 -0.4 m +0.4 -0.4 l +0.4 0.4 l +-0.4 0.4 l +h + + + + + + +-0.43 -0.57 m +0.57 0.43 l +0.43 0.57 l +-0.57 -0.43 l +h + + +-0.43 0.57 m +0.57 -0.43 l +0.43 -0.57 l +-0.57 0.43 l +h + + + + + +0 0 m +-1 0.333 l +-1 -0.333 l +h + + + + +0 0 m +-1 0.333 l +-0.8 0 l +-1 -0.333 l +h + + + + +0 0 m +-1 0.333 l +-0.8 0 l +-1 -0.333 l +h + + + + +-1 0.333 m +0 0 l +-1 -0.333 l + + + + +0 0 m +-1 0.333 l +-1 -0.333 l +h +-1 0 m +-2 0.333 l +-2 -0.333 l +h + + + + +0 0 m +-1 0.333 l +-1 -0.333 l +h +-1 0 m +-2 0.333 l +-2 -0.333 l +h + + + + +0.5 0 m +-0.5 0.333 l +-0.5 -0.333 l +h + + + + +0.5 0 m +-0.5 0.333 l +-0.5 -0.333 l +h + + + + +0.5 0 m +-0.5 0.333 l +-0.3 0 l +-0.5 -0.333 l +h + + + + +0.5 0 m +-0.5 0.333 l +-0.3 0 l +-0.5 -0.333 l +h + + + + +1 0 m +0 0.333 l +0 -0.333 l +h +0 0 m +-1 0.333 l +-1 -0.333 l +h + + + + +1 0 m +0 0.333 l +0 -0.333 l +h +0 0 m +-1 0.333 l +-1 -0.333 l +h + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +-0.7 0 m +-1.7 0.333 l +-1.7 -0.333 l +h + + + + +-0.7 0 m +-1.7 0.333 l +-1.7 -0.333 l +h + + + + +-0.7 0 m +-1.7 0.333 l +-0.8 0 l +-1.7 -0.333 l +h + + + + +-0.7 0 m +-1.7 0.333 l +-0.8 0 l +-1.7 -0.333 l +h + + + + +-1.7 0.333 m +-0.7 0 l +-1.7 -0.333 l + + + + +-0.7 0 m +-1.7 0.333 l +-1.7 -0.333 l +h +-1.7 0 m +-2.7 0.333 l +-2.7 -0.333 l +h + + + + +-0.7 0 m +-1.7 0.333 l +-1.7 -0.333 l +h +-1.7 0 m +-2.7 0.333 l +-2.7 -0.333 l +h + + + + +100 204 m +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +h + + + + +100 204 m +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +h + + + + +100 204 m +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +h + + + + +96 96 m +304 96 l +304 204 l +96 204 l +h + + + + +96 96 m +304 96 l +304 204 l +96 204 l +h + + + + +92 92 m +308 92 l +308 208 l +92 208 l +h + + + + +100 96 m +110 96 s +110 92 +106 88 s +116 92 +118 96 s +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +100 204 l +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +h + + + + +100 96 m +186 96 s +186 92 +182 88 s +192 92 +194 96 s +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +100 204 l +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +h + + + + +100 96 m +110 96 s +110 92 +106 88 s +116 92 +118 96 s +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +100 204 l +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +h + + + + +100 96 m +110 96 s +110 92 +106 88 s +116 92 +118 96 s +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +100 204 l +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +h + + + + +100 96 m +186 96 s +186 92 +182 88 s +192 92 +194 96 s +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +100 204 l +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +h + + + + +100 96 m +110 96 s +110 92 +106 88 s +116 92 +118 96 s +300 96 l +4 0 0 4 300 100 304 100 a +304 200 l +4 0 0 4 300 200 300 204 a +100 204 l +4 0 0 4 100 200 96 200 a +96 100 l +4 0 0 4 100 100 100 96 a +h + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +\usepackage[ngerman]{babel} +\usepackage[sansdefault]{fontsetup} +\usepackage{ngutils} + +\renewcommand{\theoremfont}{\normalfont\bfseries\color{dark blue}} +\renewcommand{\definitionfont}{\normalfont\bfseries\color{dark gray}} + +\newcommand{\labelfont}{\normalfont\bfseries\color{dark blue}} + +%\setlength{\leftmargini}{1.33em} +%\setlength{\leftmarginii}{1.33em} +%\setlength{\leftmarginiii}{1.33em} +%\setlength{\leftmarginvi}{1.33em} + +\renewcommand{\labelenumi}{\labelfont\arabic{enumi}.} +\renewcommand{\labelenumii}{\labelfont\alph{enumii})} +\renewcommand{\labelenumiii}{\labelfont\roman{enumiii}.} +\renewcommand{\labelenumiv}{\labelfont\Alph{enumiv}.} + +\renewcommand{\labelitemi}{\labelfont $\blockfull$} +\renewcommand{\labelitemii}{\labelfont $\blackpointerright$} +\renewcommand{\labelitemiii}{\labelfont $\bullet$} +\renewcommand{\labelitemiv}{\labelfont $\bullet$} + +\setlength{\fboxsep}{1pt} + +\newcommand{\bk}{\color{black}} +\newcommand{\wt}{\color{white}} +\newcommand{\bu}{\color{dark blue}} +\newcommand{\bn}{\color{dark brown}} +\newcommand{\cn}{\color{dark cyan}} +\newcommand{\gy}{\color{dark gray}} +\newcommand{\gn}{\color{dark green}} +\newcommand{\og}{\color{dark orange}} +\newcommand{\pk}{\color{dark pink}} +\newcommand{\pl}{\color{dark purple}} +\newcommand{\rd}{\color{dark red}} +\newcommand{\yo}{\color{dark yellow}} +\newcommand{\tl}{\color{title}} + + + + + + + + + + + + + + + + + + + + +416 256 m +416 448 l + + +416 256 m +320 416 l + + +416 256 m +416 64 l + + +416 256 m +256 352 l + + +416 256 m +560 112 l + + +416 256 m +224 256 l + + +416 256 m +608 256 l + + +416 256 m +272 112 l + + +416 256 m +512 416 l + + +416 256 m +576 352 l + + +416 64 m +256 352 l + + +416 64 m +560 112 l + + +416 64 m +224 256 l + + +416 64 m +608 256 l + + +416 64 m +272 112 l + + +416 64 m +512 416 l + + +416 64 m +576 352 l + + +560 112 m +224 256 l + + +560 112 m +608 256 l + + +560 112 m +272 112 l + + +560 112 m +512 416 l + + +560 112 m +576 352 l + + +608 256 m +272 112 l + + +608 256 m +512 416 l + + +608 256 m +576 352 l + + +512 416 m +576 352 l + +1 +1 +2 +3 +4 +5 +5 +8 +6 +7 +10 + +416 256 m +416 64 l + + + + + + +320 192 m +448 192 l + + +320 320 m +448 256 l + + +320 320 m +448 192 l + + +320 192 m +448 256 l + + +320 192 m +448 320 l + + +320 256 m +448 320 l + + +320 256 m +448 192 l + + +320 256 m +448 256 l + + +320 320 m +448 320 l + + +320 320 m +448 256 l + + +320 256 m +448 256 l + + +320 192 m +448 256 l + + +192 256 m +320 320 l + + +192 256 m +320 256 l + + +192 256 m +320 192 l + + + + + + +v_{1_{e}} +v_{2_{e}} +v_{n_{e}} +s +t +a_1 +a_n +a_2 +e_1 +e_n +e_2 +\vdots + + + +v_{1_{a}} +v_{2_{a}} +v_{n_{a}} +\begin{description} +\item[\color{dark purple}{Lila Kanten}] Kantenkapazität $1$ wenn keine Mehrfachkanten erlaubt sind. + +\item[\color{dark gray}{Graue Kanten}] Kantenkapazität $0$ wenn keine Selbstkanten erlaubt sind. +\end{description} + +