From 02e93ac868687f82fe10aa5b1d83481555ee833f Mon Sep 17 00:00:00 2001 From: flavis Date: Thu, 21 Nov 2019 08:33:06 +0100 Subject: [PATCH] add wohldefiniertheits --- ws2019/la/uebungen/la5.pdf | Bin 104849 -> 105514 bytes ws2019/la/uebungen/la5.tex | 13 ++++++++++--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/ws2019/la/uebungen/la5.pdf b/ws2019/la/uebungen/la5.pdf index f4c91647773d695c834711e107cf014a43a00b48..f855db1dd5911eee34e7fff69986ace3acdd8c80 100644 GIT binary patch delta 6782 zcmV-^8iD1Jvj(cT2C#k$12r}{lYt8@f5sJl*RMd{$g#26J$sL*Gp^gT(|FQp8#$ec zl?Td#D6|xnl43N?ukTq902komLK3{#eK9F%v3vGhzx~d_Utj;@Z!DTFuV^%lX!Pf+ zch^^6|B1=S601N(*Y}YCA|W!26Q*@^eHVQk-Eb~$SM%xeb~br_9><*X(O(y2e;f-T zM{*nk2%|@Tcvz&%=X5e(5BNS=JSX$l?gxQCjM->0j@c-G{9XFr^xv~|{PXp9SKnS= z{pX6II5c9#^3)P;A^P-q_3>vK-Ql0UizxoeL@(LE$4GD-qVel2`r+#D<%TL7Ht@O)Ne}*AM)VWHRFz=8a*BP@#)4_xT9njW9&B zasULTutZQ>4EQl0;LE`n;X)N7Zc*!Il+4oPHbvD=vn@oi;Y4T=#Y_^d)q3bptF_91 zOVVjF|0W=u&_tS2IvbEq63I&)tb+R!n)Tk_hcS%a1ZKfK!e&&bATOaQe<)$f^p@nG z>j9=JMEU1$0?(tZjj7q%G@1H$A#b5XGF8*2KLdK)W`IPcO)zh6A;CK831kDq&D0sEwyq( zB@Il)iNW~D$2M>*&w>TjvzwW$Q$GBsbUITjn`MJCl<-d z5o&uW+CO0T-3>Yb5YWyOfEX-t{=mw5+D&9y3|-yMp(2YGNeBlQf3#GnYC^0e8!(u$ zaM~C!1Z@r)R`a`%T=*4+&)?NbNl^;kFSRfP8dRd_F6&EKk*k`L#c?ysR%$Va2cX!; z{a0^tCA<%p2A6?+ofon!Z^Z4?7opIO9xx@qtuSR$T83Aemc2D7z3jO z|22FBt%RLKf2g=|-fx#V{tps&U@`~G$G#5%KFHv2J|anT0_FXhKv8P(%bJN>ybj@B zAZi0SKLp&85+zmLEoGxyBL3T+1n|gYO&}aaQ#js-BF&mIfI^P#29y=9gFwjrjbJy&@jP&_A!e?p)t$)%-N(QSxFz*36mG%4{5Lx^CC z*#r&JyHfOKn12kDB%V`!74l0Un%DCh^{SaA4D*4&aLUj2^X-a<8iaD!uR^EtnB&o2 zxD&>je@5xo|Il9r%-{>$2U7GvCA0}``fKH$aUTp_t}A(!?J!}R;|CVQ%tnp%7i&<0 zMi^3#n}^`Gm$Zria&kAwj#yT$JvR@j?7_F&6Dv=`34NtLrgZ@Tab396P!bIMTy`tqo`b_&K{W* z6PJ%gA7hO8(Yxe3WV8@_*c zIhlvlrATSOUqgA?WYph=s13V8ah4L5L=~9Om9i>13_;r0wdezbs)UYIvaPS}C@Q%j zf9peeg_S0m1OuOK5@(YLq66d0P3qcit;byO(NC+nYnXm=!2e+xbP%z7ud;zvHqEqES>0tyI@ z!6szZJ+5?Z{*~M%`C;#RjHkp^elnXSe~yk%9x<{&7xz!5$$XOEi@-Bo@>twTndN-` zuLYkU3P)yy=aV}asJ3lwDi-=}HBFutck?8d@g-dZdsZ>y7&Lh7?twK2a<{M*s|zV3 z{N23jYAp9!33@iAaw;qP$hOIvc8jIQQuTRnw-wx?Xq(zPb%|EIUei$OdH`yRf#0D3JG2ARj=1+tuP&2M~8!6nI?ZRZ#CoZ@^@T7%e+gqoIA~k<>`yX9+_e zL&G~APvzG&O#qTao-mFzliM8SwTJ1{U`vob0 z>jGU?ke(}4zGRQ}y%s-s;{vV$f5wmDzk}PhZ~i^4anBpg9HW`3dNeomK~Hmt-7gjN zzJ_s_?D8m>s%x?QPMhRe13Bj2#hrn+GYRYmZBDJ+*BG^vR{&2qmJ&JzP)9Ee!KDR} zz|UD4LQ-+aUQ#(>ZQvb{-5qSA(wl0-pKYlh54&@ z823b5Ry0S#jT(@|Y9SW34@~P2(=# zxAtiii1t2>CqqM@#%!*Te}^yR03xQY7OwW%Md&->=D+Kjex~=Ks&?}(nE9=(>6ndN zYfD+z+H!9#xb_zQ@{?q2GpzyAk|ECj;H9y(L9gdkZxXY;R$@0K)5SrUTks zwSG^-%N%u;V_@mpy`pm}{xcw@0~ZuH5gbAfmMVEd{@f8!Os|MSkmuIi3r z*Ho|v@ReVZf%iHY?xcW&cy7KIU3ZL&NiMk?BBj1Kzi9>w1J=x8FR1llkx^3B73BK7 zs)IAAZtaQ^(JR~e?0h^pu-`SK0c&(GqPJoHa5k2AFa`8uiy1{xwXV{|Lpa4jT(RCk zE2cv$yaBrDew6bie^&N^dHCZ%D(&v(iGfI8ed>$ReJTT-5^0Hj>mFKy62{e@mZ5_5FUO#* z{|BK$yY91+6d4NxH841nfeR>q?Oa=P+r|}s*RNooOijYg-Y?2{rgoFGO{Sf;vE7+k zd7vUnhE3BgCEC;c`knEmvcV~2VJEOBd zo;`nY_RSAW%^Y!>>)DH&ndC(AnPq}7V`eX|XRqg%LddJ#=JxJty}ZAFKVJwT=6~Ii z^M#aZuFe;nOKawTc(cv!?z82l81R?X_I|bb+J7VAn{zhbo-f$E{PXA8f3tV%?EIG( zKc0R6;_N?X47NjOY`;8pL^wYC_5IoFU+C-_e)Z#w!jJ6iQ$FzhObQrc;NyDs^V#34 z1H})f8PSZ*j8TLOS)Po4Dw<{RKg)Nr|Kr)~g`#x+>p8dcH_NU69ZbfWRHB4Qzj{8+ zPvr>N7{M5ElI=%uppvokn_{4Cj+1b#dKj`4ahC4~doAO~YbR?g!qMBUEcQ)u}EDW`4KaluWS2r>Dh|7ZskF1=QAmz_rGp3uOBXZv6pF$va(){GpKTT;iAO^$M9?z;M=<@_^=E%uS+s zsE$n|_JP&*;a~;{2e57V?U*3dzyzlOVPwp;4M(3D!|1{|(XJ8%eRv-FkhUQ~DR`f4 zs0Msph|JB0^=;_}mz(AK!);+Pe*+h}D?a9K$$KT#nrLEwY$%Y3+$d5L(NBlTD6vL% z7-G~O<-W31_do?((od~yo5WDDIB2ZUp;7#9`98aE5Gnu5nemL!;fddQ&aN=VGEHS;R%G|z1rcgu)+1kVr0-!ns0G4RX zfU`X?0$?kDRdp;I*|eJ6Do$wBCW)Hzft%vX4Q8Z#hf)Pnm7-P4Vt{GHCy;(<9fT*iSC`r~!;?~fhLH&!I7}H#$OcT>+Qcm>T>6l$L_m-%{7L4IAToY@m`+uy?(sHGJBr;&vNi@ zpK{-qMPyZ(uFVIsx_EUCv|GKq|FGR&3MqH*S0NpJSS}#D0B^!Uzd+jyI~D`Tp0D1J z5(E14-92V{WHbH0!7LrE4}irK8Zrr6(+!Q3wW`AP-(e8~Cv}X3(c5QwvYKL@ZC1;F zZJDcOcl%6jSJ;e#$=BJc`0@2_xh_9GySmEO*SifGgn5ya2T6qp90M48&>~j3Ln^Rf zMq2|BTRpCqXs?jPEGWLlR||-1fH2{5y##)VEC=Bw><3>?1J*FiVqW#+Rcj~0>(n$%CY(SV4yk&@gAhpmu z(`0%hY7V)@YWn03zWsee$`Sugzp@j6e|Z)!FzU(GT}xKw%q$ zQUnK!;T962IAy(RFyKsSA}YJP+U!%*%{9RgUrIP@!SGS8H{$#*t_Q=$a$QBa4oMIw zL}ScXk*JdoT8VeamqLLb6FVkWFbX8fe;x zBa0%AkrP=o!jGjil4y=!y z!1}bxEG=-EwZY~3@R$GtM>*{M3$R2zYjt2=io*KNj={VXg#U{3F_@R4p0Q>O<~8^r z9X(eN&Vt-a2)Hfie38^7fG*$dVTfnDyCRg|-uphSWd%hP^_!0us62uWC^Hyav9ZiQ zMF_jmf!;KWweu{7%vUUb*q_lJ730y#w4t1V@$ri^#X~CG(@jzNU?kM5$iP4Rvw|RNy6Oc z?#q8P)?Ofn1W1^anp!?^u*#FWtb?pk<1Brd--gIgq~4(W>J6^fC#vLnLw`l-S?H|6 zERw^0FM$6Vj3B6giQ|t-l4JsCB@;obq?LFYC_1Ukb_ex#dN+F%u|*28#VLr5G&&T0 z8@`Hb1LBC#Bn!pD!rS43JWq-ijj5jE9)w!)2snY#ryIFp54~-kyloWtRZ*NGW^e`t zydx+d*4R#92kNf(2t62l|uuNd-iRt0nbMy8=7` zQHj>(2z{D3b2tWc6w0?bs4<|U(2^+W#(<7~7aTI35uoGXgY-4p3CW1EF4kx#|KDhL z>P9;s01jw>w5u`SR=-)8r21C;hFy#RppAara{51gc#k!GYhs1L?$p_?D|KmzaGOOo zjHbB2tU$X(oVPP_70bvYC#1xvDG#Xnnyw<#;i}w2Bh6%l09l>Pm+?iOV%OIr2+y#2ri7kLvRNK zXI-*?2u_>v-lhj-^ikF(Y+dv?iS}j$WDR!Jg>{3O?P<(}NXfJt##-TsZPc|;q0fPe zWBA*~?nATJXvf5GYz98TK-7^#*^2cFvYbYc)iE3#2WBUcbaK=tO=Vi`N3j+ppe{9E zIOQS@0!KEA#h3tUP-pWI9@u00gr4BVe}R~PEgK8oPHEtW*Bz4NXu`U~6BMIr-1m%O zRE#*00#S)$nAO{4_5gYo+b)}6yS>V4APfxndDspqW0y}qvo9D`ZcH@LXq`bu>kM&< z@X4*f=kZy2sXvO$=Kl=kpi>*Y2hIHl zJB2O*>8J>K{M|7zrXs`zq_Dz_sR(giq!%M9LW2*|+lJ1;$@*+2xeYyf_um~LCtt+f z|Ke00H7V*@yX{-w+v(w$cljHpz6tbyqyJQ*HFqEC*8(uPHpEi%s4oAj#LNHoK`;LY zi)EX)t9SR=$DUe)_Vb(5)fy-@kMQ#ULH5K^5U}ye+=EveUY#$L-aqy86IyR@`lu*v zOi7@UvT_)H*@O8fkyww$LI`@?rIm+$93T;BdYJbQ)Sx2{#Q36pF{J%Yas9e~WV?~v zIl`R@Z~2V6WSDxzS)cp{`LtKE8~a@-9(m+bSfX9)-p}>2>=Svj$}WX56(2&l$G4HS z9{ucn+$?q-izUCs`4S_(b1M1DzzEenkn2jc-j#KE<$s2LgZ^1~o>H#IRC^Xh5x z@p~YDT>K%*myCtR8bb55|G5NowelfN`jLD^>Lla* zf1DKy1w@o#i^8bG9~oSB2JHK^u;W!tp5Fu=^QfkOTWu7uqkS*yC|qagDdMmWR}SJw zl{azH(hJETHwH5P51|tBlYbmGVRU66 zC`39kFflnXF)}eQI5RRcw?&8n&JIvDH8?RhIX5{nMlv)uGC@Q*I5{yjHaIyrLOD4# zGDAT=AUriSI59UlH#ss!GBh?aK}0w>IWaXhI5{{%IXN{lLqR@W3NK7$ZfA68AT&3V z@nI@|9nec`j8PcI@$*h;%h0-wTZ>Uuqi9{*x;90%)TMeMN~qSfh9bS8RaLaqOo@dM zkyu&SkRV|pku;G=NbGHzNbE$2#KJ#e7-udt>Oa#(nn*Ple#MmqZ=mo6tZaZ) z1F*Um*0jLdi1-TYK0whuC{FmQ31XrMnk%ViV|^Sp6vM_o*z^E4KZPydp!6q{g<)$6 zY-{u_lSPKe6jQ`hF-=StGepST_QxD6uY(;=pyDl5euSN0VAp%toeg_Te1d%es4n$? z7tIp0#T+r$-2N(dYdWD;eRc1kUZn?q!@(pR3W_mk7=goOLhm^89ggO~u?lE>1jnC2 z(@SX9qfc~0v=CZ4p!GGJ{0p&Pa9UMun(i4*<7^L{`v>hs&`}GWr=Y7Hx`*NXeYnsC z7j;LErqLUNOV!X9h08h6p9@#gVITxuSM%Xo8eGqU!4&ZWhW@}!{oim6-0Fw;4M?bO zWC(7L!ky24e%WH4m~ZZ``LzY+o~Qa0HaAw~(?WB}N}qDfB27LmGAnQPDc7tm>eFIT gU>0w6W)Jte|FJ$~B$sHJ0UruCI5G+)B}Gq03P@8J7ytkO delta 6107 zcmV<17bNJaxCW842C#k$12Q->lYt8@f4CKX_pji-Ns|x(&cQXA&LnBKoo;4#+Qvy| z8t1`oWJOb3*|qFuc7OdIkQ7By;7ufDHGQ#U8w3u{`OfVFq-W><_?w89n=>9QBOd+b z?DhHCvp)+JIp#Fz==?g8z!XGQAQQ$!=bxevvkOFd^{`%Uu5K>x@8>Zh&VIUMfAd&M zHB<8#Kw2~Vf)Zx@NoG)5H02+g=O+cDSK2w50m znGyK_2u$Ia<-j28;t=rk+X0^Clk!qL87NXc9lSW3dP|Rgp{MSRO z@!uA!8K*ZfSskRPMGcurjV}DY z;Y#4W;GEZ>3mO34QB+kC)zIS3pxugUNGD9vRLLN|zm8;5yQnaxu&0tKXf>>^R*fr4 z05C8f3BW9+xZ=Rldd5#=8w_3E&QOtMgCq>We>*Lgx*QKnu?8#! zESfe3&A__MLD!!`a?x8DKYW+-BxlB9x6mS}%;1Vd_d#E&l3eA8ET@eud!fY+cR+cF z{VNV=qQa1xm_p*Zd@b9SwA=l&)#^XaV}&(XRLB5)vLJ&ByG?wztE}w2{&KUt4`y{Q z0%-&($>4FLbTbf4e?y_*Q{EWBG!=OOf@O!Va+RpKZ^ccxm_VL}6m0vZV3^vtW~3C1 z(?DIiVk8j2 z=~j*vrpHKT!9|)1VdMO2iP*|w9-{vs#;vWy1Lq*1gLj# zHsFu4&L6Ksf3D_i?m;1B`vG~1dlB?i$b}H?6U0Ir@(y~@>5JLEyh#7J4(x*LC3XzW zvg0am0*XgQs12kgRaf9QG0(T2Menf3yV{K4Z$4;nB>+_H7RH@ zDcg_$9g!efkWkWXsG+7@>KITbU24ECxa2{aQ_0Ruf9v}&TTlSicOhH?GgyslypYZu z6BG|5xl`8lt@l$NX%O;VKMA#`F;b5!eT(7w1k>>tzrlO22wGbQ@^aV6PQ|QFk(;?x^5Dz; ziFHA{f5$-WyYys-{7EK-S3$btAZ!(EVquCk$|%;m7+L{~m0*#_onDlV|F zt4&6p-K^G&%e!jPSvq5lQ73Fn3`pVs@H5uMe>$Wsnw#g?{%l_m3*7t&T1d*vr>M_ip&f{yffMkXXL$u>pZZprr@*ZiL$ ze^y6-yO3xsm?}DIs+jgmC13(wAKq+;00`Odf47X-B5LUcYZvfG5I6;XN4IU)_9F%J^pa{Wql`!uBlyG<>?f4U-M?#BeQ%}R~ z3gj}mojc%m1(GVI9(20`xncs%klPi#H?sfHrtA|yKr?!wGIlyll!Ib+$AP~Lkfn}^ z9pTZBBv(lyN=fpbEV&+&C6`@Te{y+n-CM(w%YiJpYGcXGF*c^LPxK@ zk8QiF04*G=X}hZcliWrrTMc)23)+tr1UU$W?9#Eq%TNZl5|2e7pE&;+IE+Ll5kfbq zTWe$-^H>)4k7aAGFB{zQzDhm??GIiLfL|b(@o$$5kCXg6dKzD$YRk?$f3#2k;;+aKs$liBqiEKRg<9U04v%|7OK)%QNG`}PN>CJ9M2 z*OQCoL~^3|#40T%=YO}i=QAP1^dDPtK9f>S)%lEbY0dP{ z@3!g9Z93oN4gS8^-Yz!ZxPM6a$2psB&u45}{Q8UZxAen0J^%UQ$FuJ*&i;GGU^;Zd z_QTVJh=fmm`FQsBXF9otAN@F?@LzWFIcxZFA_X)t@O3@;>Fi(Sg2D^ajA+It#wfyt zEPqx;6-`t4n`JZE|MKMROi?=h<(%8;yZP4r3_4?VDN(|t8$IjhRnbD$S};Zu$@VQc zNXgjgGH+<>?IbL#YK9C&63h1uz5^L*GkxklbpB!XAK&Hwxj7s|farwS_wlvcF+OG3 zq+u{A_YGG?3)PrSxvHo6X1<(nicMdo>wnvP$CsDFNKA5C6QxVZeK?$~C0yJ6&z~Vv zV3a7P_bpmBi8ErY>ewV<%gJ0)N)PAbzLm0L-6A=h$Bc17IDA-Qvz7+C?Yu@I!PO}r)T+)#XK3EXp$IVvxYDv;KYoNO&lhO#}GADttKTLBaxT zQ-51Jhy@sLHK2@)B~9Syf-y`kj1!%dil7hIL+=wCB8-A}VME#An_OjwhaGqBn|ELUi3>I!dgOEkKOoQRXWPbN5WJq5ag# zCM5cX#ld2Q_Sf-p{xQ9+2`T%{iRQ#o(}Yjh*#)+-OcPz{`=2oXqFGagWKe~cU8=l9 zZQC%@=F<}*X=yEQ@JX1YgxmK>7m6q$809dKYWq;Ygq*WIx z+MYqvh?q7?(3CaY$1A2xoGAz7_3?1o`97p?XzgeFq*pgk|PtMsb)ev`tY z&Ga3HZt&|I9EsP>C6&m!G_lek8m__+HyAS%j3qEzK(@pXrfiF0dg6|;%z56x)M6Y+ zVYK!_96U0RI;n>^g&`mvCV${`rPm?r(P5iq&5;m|8^Aw*{+q)&fuMNhe;9%SfYesk z=d;h`8hZlUD|s{?zd~l5KsGF4MvTSImt(pih)`lOtM&7~3nel69d1ABzO}zuEyxYl zW|{3mZh2qG%^x#zvxki?Wk^;ia(i7oMd%hIiRB5zSb`W(%@)GNDSw~=FOc&s^)3{l zfSww}&W&m70%8)QOUef60%nmYKBx=J2&c0DLOjAq@B=1HQzvDcOYr$_xtd>r7vs|f z{B6Zl5RW-(D2xJNshq+0H--OOq?pdw3|$*Kqx{s!8FSHMkrt%OE2oE-LhJ3Xpt_lh z%d&{w<{IN)5@Jm0H-BHB^SzP1!8isGfhzU*_s^LJO#=$AOxxsh1T7lO-kgK%79Vau zZMT;~%H79>FGrUkz(zt6F@vZwp#>8;4^ee57Vk*GM*Z#P7Q-)DCnA;@T+(U*SY)Ch zr?HjX(3oATGI96{i!(Seq8aw91}ez1i*>qL%(q3>nBMGj#(!N7JozSHr;Gf*uXpox z@%8!DRl2_3ZO~B8siZteZ-nPvAaf9qC6(b96c^37;kyYPcxngC>2r@RnxB>6ACSbScjH?1%M`EpWe z&QFVUvB7K%gnvm(6@79Tfar{K%EAH_6T~Uc$s!$sMki8vJ#ut!xG)o>QD@2%?*wT8|T%M!9TO zkv&U{@~ZJs&oFE8IIqBpED9~MO?ZRn%XE!-> z_dz)n`1xaABadAp0^D3f>Mk5Fm8Xmk0o`-VLo*1HMZ{K)0I4I7|0tktjs>>0gSoL? z>R|lQ@qbi*gPdedaQX4`QD z-O+m?ErmY}zUr)JK?}a)Dk9&0xz9kK?`}RjUVpK@b;UySG7HTQ0Paw_-+&P)(>txU zp`hKB_h42!}5C7FR$NWr#*&>!G|+D zG_PlZc|Er0^)fO|evRhq)+SX61kMrZ`%Kj%7=w_y+vsWZ1R0#-&RAsGq6t$dum<0x5}K$*?s!SwkOEgI()*>gO&^i-GF&7Gsc zx2%_ku=ql{q0$IwA;76KBTBj}*s3xDaV zei2eY2G2v)FY^D@FQ=}4fh1ff@zpOC8`mfT@hLUXfux3u0cxsNT~>7e*H0g@dQMHO zFxZtF+jiq7j;m{Kk@ce~E-(}bR)2nlYgWZl1y)FjQDZJpb(KP>08hZ$$iqTX8212+ z6iml4oFRf!g$`o+&}cIbnBvaR?tg<#TViFp)|ePJ%^+mj5-Xh+R1N3SRER*jZ$*r- zG>KSRFxm)Fea#9cPfSTYeEy#=Bf_XYXFZH(#>3g+_R0{DhOE8kWrRKkg|mG!lI;tO zWHD14FVK8~O}%!N^WY+s>os(IF0;zjKI>_v?jA&PfwQfFMGm1&FvL{pPJdtz?2t3= zCpeK`QBu{JyA64_m^kI+yDNHGARjM@e}X3QwW}_nB%YB(#N_Z|$YymGh1>%|g{I3! zm~N-B9t0FMJi@QKRQGPezJQOQ^JWO0G&Vq^M63)Fv8R>DWAIrS7b__v5a4BGthC7( z(L*o!%$N9Kv^+6=bULp-@_&kgl_a$*gI(TMMtR$0h-|uu%pQn1#M`RVO1a9c^Mm8^!ClpOC-Gl{oWR5I<);R{p`qdZIE8@~lw64Hs@f5hxhu%BN8J~7lTcC} z!5Eb%va_3l$`J1ZQr|>-`o>$AAhnZ;8OT@=e`xS zjyIpGD~_02o9z9U$8=*+Mc!Dn_j+T|8!X+tUwpVt?>e|x?fN(O!o_|GHx`GmvCJE; zm5x>MUgORAOzHh22d_{=COL5>)?W`t3z$P)%D=_W5&7uXhywHSex%m@xU8t!a^j` zs93+A7w72j7U`uhrrZag?Qvx`jn~yWpLGdcBw&4uo_*mbiRubdl2cp|iapCX!G#2I za3LWGBLl82$CYQs<|W5G8W+9%4#po>e~9vB^SbsGPH56xUc;qVFQ&S< zG>ed`r)yF5bT=GX!*|-|Q+>Sm_1|N}{u+xhthF7-vtHg_#^=}Wk+!G!OPn$eLCQ|= z&{!)`q60zNwV9< zZ~CI674P^)?M-W#L_v;8j`ROv5`U&Zh|Xdt>lP0>$!?Bt;1CU@uSL$+-M<1>E*^C#y|mQH%bwI zsbaF2Vs1k}w;KncQuQ`vLzRkdu7&C*sA+>OrQ$c#-hr)}V_PNE^}_ahu*0A}33jGJ zgNAMxf?e03@jW!9!R~qp)j+dKg|*#1+Q#0G(9#I4*J1x-IPezQ-oe2iaA+6~e}E(E z(XMT@zk#C<;n)Bik3h#oIME6xJK)q_RXE)OXF8!X3|&=lwhqqe|IR;x?k~{u9U`iC z;Tv4ah2CPnzci69rkT4O@@E<5?(Xv`)7((MPg&-M@B1{}Ea!z!Gt7c7eabcq5BQWL h3e0+5JF~tA?mthoXhfF*oB