From 32597233c6cb8fca71b7639c9e87838faf5b68ef Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Sat, 15 Aug 2020 11:21:55 +0200 Subject: [PATCH] Kleinere Fehler behoben --- verfahren.pdf | Bin 267507 -> 267788 bytes verfahren.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/verfahren.pdf b/verfahren.pdf index 149fd983852154943bfae1204b81742a717de4bb..fb14dae114d80592e6450d16f669171f4440d3ff 100644 GIT binary patch delta 21951 zcmV(~K+nJPsSu2;5U@W1e?*`<$ab+Us}O}^iia8DUPeSoq*DGvuh>Nt&Xp(4w<5wG76`R%S114fymYK~~x25R?jNT^< z3rb`9nRVb`JL?dMnBR#G_=~Y49f40K1(>$F~4`8rEQ=6oN|41@4St1>eb2Ue^XvUJ_&*HPq?5DwxNtw z1RrgwqQR``s2ASR-Q;Be&K!btQ*16*X6u<H{{n2J77i;u6`3us0LW}FqS>|_ z16oM^e>m)BdRhnO8gX|&)a`;IbiwH=&&p&vW;8iha6aucm!8z-63#%GmF}svX#3pR z^9dm&p2CV{R_($m?Y4ER%j;X83>?(X%(q3hGWMrNk-fJ{N@L61t3BvQtsv{nd$M*L z{s&!I;qmLhlBI3bW!TCISFt`yQPGw(SO+`Le~NkXHptvw&DzbdW;3QZ*bEPwnUJ`2 zR=P}bd$=ohxT}<_Q^`S~;0V5BJMC~+8CZS+8>*{ix>{@sNH4FJYu8n`<(KZQJb6>v zkKTv*r!gV-_m{Hvc(ZzB9WtAAnN8@4)CQp+Qd_pv?v2QKZ8?O9vm(!GxB>)I>oEP~ ze^JTHx-Do<9?fjv$#?vMQnt19($0hJ1#2LrM+=50>pv9_-Q3<^-93iv4h)+D_QPj( zx%3TE5hSr3>72ORG&8%%7uSJ7&T^Of-LIeO-DCH{Aa@vLMake-37f8q;S%`L0aSy$V`NdNgCc2T2{f zadY6%F>stS@pq8^#suC}+hRXoDJ&oUe?s{hQ^#+$NJ^3LW&{JXnj8Dk-#oi`2J$c9 zc*qsAI|iU00XLUXCIKk31SJCme?3*Ey|n~mRGU(oc;BS32c{f8Yji(fbf7dPN)BFg zB+|q`3TbTBAe58oqm~P)@?tAwSP_pZL)xys*M74D+V67%$$7oxZ~!?R3r?#;K4Gq$ zTYsQYc&MK&rnz?EYdy|scDAD>AJSFBbG#7UfAA}fAP$Ymh2j~ zH<{EtTqDTnufYdZ*6nqRNaoo3rCs$KLbK!0rmE#?<;I8RU7H0qbcA-{G!wOOjd!m< z?2b=d$mOc-HKnj!aGO`QWayPx>Lce}XN8~>r(7o#_}2vxQu$*(=}dB5u9(<+TeGq0qpPEJUSRC*%^1W5O@iAe|`@A z%8l_kiUfpIjlC9_V>4=gIvn0sC+veQGdb=Ijki|}?f;0xJd9In5xe$ej1uszSFa}* z{{vJxacQ%cDiUo1IXIV5CIKja-C9et+qM&XmLmOEJ4&&ECx!TKsbVLpy2qZYeOHKY!So;Thw9h;lkxV#Jl7 z@E`jFo^^)OVv}zk7gW!)yk0Ds;Pb+~9ZUDJN{hlh?d@cO8RAUcB74~E@(+g2_Nklw z*)FkI5+HB>!JwG0;L(ox#Wtm-ln^9&a&w9In2|d3GqZh`7gf6V@AnJM;6%HuIY#sF z<6*HhJ9&?ZTw0<_N(5qm8rCBW30T)sKjoRlq0Y=+8BoX#X~uv;QPrvc(GAtGQXTTb z5KEXLsu5<)5#>>ay|mk)1To1XhlUY`S@-0YH?Zud7Sj@dtjvSMJkM5H;rI5u^haPG z1UO40B7`eM#AF!(Qn^Rv@Q`mBT*|!8%Dh?3up_Ha@Y+4{vzIb|=}I-gBN6u~QMcT` zdoy}^K#-yeezM=bEjGK%OPUqiVpG*wReuu#4Qoge@`6Np5us-fl<4`okxho>5S#b~ zn-Vq8_m03{o#?GHH|)4qf?}w7R;;qxkN?AnZd&H)!_I*R2)b&L+h=z<7;SQwNjY=37+2_wKrGU>kh99v2v#mKDl)zjEw3Zz@#T1^M5mGOfS z#=EOIwlEk_7v!KfWsgaPA@c(C5mbsDT#)mkOc3&AJ>_c_%1A8y>PrX}A ztIGX?TcvP+zkmbC8hHf2;k^XR-WsO%-6b4=3Ki;1Jid7iTce4H;bDe9W-ipoca(&QsCSoLQ~V+B zx0z_a2tw$_>CA)zM9DZK)~K$te&7m-rsHOU$1kq(7u-Ju*dI{ZkF=F6@Y0?TczRpRb0!+wIS*LL_jWG^_(1c9n z+mcc0q(RTE+l?HKK}0TCGpFmHI#FG~#>W4v#IE*-Vk0x#A7-PFd?XtwQBFv^3OU7p z=Kj>Atud?rVwdmp0%FmFx4hj1EPhCi0QvD?Wp)Kv(xB3`G?|*cO+BErhtNFZsS!xO}(4{oBt%~q^A;5CW7?z<3RC<1oN(2h z=N(l3p5@!93GXcdZE-}6!F^jTdoqCrYrK(?Ol z^2)}5$Fzm0*PN2=7?RZHMRG_(v|ZJ>}j z(`&VEinMMq`z59V!a{al<}U--!()HD{W~8`uUfILYCp!c5!3!=`-0vLXD5Wk0cspc z18vu3#gWlCa9AUt8CuSNgq}90A3i>}}Xd z;%k~+{Eo!}l8QRtMN2AR=Ts}gZ`zWwJDfdxUFM(iw7uMkU+Z0e&Cmp-TQ*mMkc;r? z3EGc4do7gt)a>W-@UYAFQP4;LbQ;s|U~w4}=H@mN;*Cx@D4|BQ2#$lF~qRsVMS zvP!Bsm}q^w-rch)T%Ap>y|XF2irqE+M{TYsFZU;#{k3i^gc4%HL|)WQLX0@5hCCO( zQ-9k;lQApX+ol_T$N(ZtCAaIxgUC22h@tO(B^M?^ihX>+oZ+m1UbIz{DFZxf6=Ltm~hB-BPERU-&eR+ zSYNdhD$H!-S_#_3$c++ZQ0^N+=3$_^a=r-*INgybfsMI;Nd!1vBZ!R!W%6jc!J-!%Qlcd)lOs}@>DksUs`{&SaPsS zzP%0{`GgLC6*KW;W?Hq(QvjDXVXdCnGiRvyqGaXXY(JrSXd7YF+>f}xWPR9e{D9Rz zNqn6=xUXli{+DRD|)OCrImO^=PPfc0GMQKm*u*d+;5tIp&e+hUG=aj(_goF z)$qiA57Js&Zw)V1mU}X;nMM)cN=qr^9BgFQPE|FV$+uMlORmX zI%rHC@jQ-3`KEzXnDU}b5a<5lipc24FYcfG7yI^@v4bL_w<4ke3ZD=+F*XV>Ol59o zbZ9alIXO3%(0>CJ1u-!&I5L;;zX2$Jw*^of*cL5{6WoJC6C46`6WldOaCc~+aT;jc zf@^ShC%8L-KyV0z;1=8i!94^XnVCB?_x@k?UUe1SYi&7u@3Z!)f}Tc2olV@_!4&e^ z0qVjAVh0KUBo);_oB$y36*~~fiB36rig1TdK~13>)zyf6O<2Z-B4VAf_}C_oYHVg<2(I?)Vl2T*q~vxc~M{#Obn zAuAUbM*$8FcXxMou)Q<81I$u?g!v`F-P*+ppayY$P&ufD1Aza}VxOk;pMu@~x__p>c7qx4-?@|=oal%wT(KJI}uyo;2&~@}z%7ho>!o{;#Vx34#AX`~VKK zzY+H<0EdP3li2?zIG+dySJ>YK2>9e;`7ii%lJ&pfQ#$*9AP5NHfc^`D02~f~L#`*^ zrw8;O{N(KT^lCxvAQmqFu%N%#KPC4!&GSS*3C+R$U+K939RI2m^i-Pjzu;5EKk-kK z=Wua%_?P*AX)Lb)f_wlDw|^k#Qx%^79R6hVg24Wa{;!KObA>&X>hi~GJ>BYm@E`9a z1mXcPLtmJ6FcS>6sSobBsTC)8XWRZFJVn2)oyN@Oy#VWUy~9RLX0FK!T!meUClB}F ze%q90x)fWa{^fnp)`%L`o~Ziar_a4{yxPR}2lV-Wug?d@iw?va`YF*U*fhj;e119k zXa(3Jw!wGF)8{$4@?onK5Zt);$#^vMmoJTm&Tgyj)bPB)xG$e%i`I-X2q>AR&o|AU zA$ft~!bbUw1^>hYXZrGL3O{%Jky<{U72WqR`c<*F-Wq4j?TpuQr3R;SHz^&d9tkDl zCI0At1cSH4UWz>NoOfyQDr_`$=6UDXx_uJJZjZ@pTS@H(wtr^CKtC?PL`uSeNGSI% zYPDT9!M=nh0fj63eiPpReUq?Uv;0xKrYesw3$F-& zO%^pa=C%bPY<Q(z67+Nn`82c8EA-QsXFh8Z^ z?5Fa6>k(B=V|bp)h0v$hH_e>-P{c|WVXxZ9NWjmtJ}<|MQUK=LW|Yc8n0P_011vlp zY0bE0{XTBKY$&mxLO6*fI+$Qt0`_b^7JpwqVYJm!Zh{hf$^Sfqn|Z3fe zM-8UHr^20YgWLRXYrgKg?AvMH5qZ&+8#0E$M1P91SWvIt_{7azO)wQm zU&wqK=n_NzfQbjS&3x;%2l=rW*S$}mniV8usPg-z4G}rtOMQQBbM=LH=PHeqXe<;FFm!-Afg& zS@dW&R=rxVhdo?sH|@8c$TMk`!Go-i#<{TC^ffn*idt{YP4gmS!>&Wchn`t$uoc_> zq#&3bl$6GD1AeyJIF=r%IA~lxR zM(&ynHGnwGe<+QAGnMRD1DG)4zJwn0F-?q@3q$M?j_5lVQvyW?yDg)g#$$Ovg90Ui954p3LkkJSj?n)Ig)=*rxoc+&C77Hm+00dDw*^q`P7yEYXaR ze^rHuX)8y_mhS^bv)h_YL~}1+Q}~Rrd<%*S zMkJ_=1XFK2MqrZ!DXC+A)u&;oLMDi#*zTwE^O?D}r$-Rc=p47LU4OO@a}BB06;p&p zwzz)LHlY`PCBsqWqr7mJd1XoI{~*|bVP1^V`ps^{0d0(|jq?{~qUQSfrE53OMw;a8 zJ9@HyU5!gdwTq}hGMh=bT!&c@rD8eMSK%R+749TaK>4AGW7OnYENFKscPeI^2##o& zt2L&vLLMDESOW9i=n!3nE_kL^mIzHe-p>;FTuwEAiS%4(MGz(Rr<;$^4<6KMnT0Je zmuM%Q&?u4h;aEpG;wt)DCMul^x8#u>USCinKfGOqc+H!|YJYfYo?^UbDJh1DpKw_- z?$+w;;xCMOh|U>PNDscg`etIwqJi1WR9$A6(~HBytv1i5|A|Su>QG#s=9RMmGK59E z;QP0K!ck0Qy@&E4Y3D|zi75LBC1_s3~l5ogC5n}2cvCX z&@}9>@K9UH(pn2AZMKEvUqL)h5e}#o5Q6FRfsQvJoU2zKAo1|=AFhd-F2)#2+s1|kWBhXd)!YZFSuvtUU&%=;M zcbNGzP6)#j|2wTC&h>aLB9tuX!lss8V=Ea0?lO#IkD&rDjBk57*Q>5STgD-rzk780 zg%NSpt-l&>5rIdTj~}5i?#h@Rx}qEIfrSr(&Hf`S^5>?o28zA zSKFOUa|yJy4pLf)4|Yk zBbO8|Un_1%{EDnnIIK^$O0M{&atkVd593-f>H0XHT|onNXeN5_W2lnycalX~4=^0s zh_Xh`Gp%j54@@mI@=YyzA3b$e(K<_M3~RjRzKPATH~W{}5@B-xh=3bsi%pbLXyi7A zEy!-~S2$?HQcStc z2_{&SrO~+KuleYoPjOnX?_pj#TuGAH0>Sx?f2nWe$U@&8n)et0236DTUr5$5p z*1=AA1(60dx8E6=KO1u`P=54%qnlsD+GIW}Vq~_W^^Ru%A1JLi;PP_l7a;*DbEWka zBE%1%Ox;j5mCFsqdrxl7C&B%|vNI5z>ahmx6r=tm{S!e-esb(xZ+sj}?ESUw(vNAJcdl%oEV)uGi04_j_-_=T*C2cyM*F-Bkcp#4mGR0-ke5JykwXOSllP4t~DSVsEYfx^|b(` zAW>T}j!!GURS(~E(tZAa(0kfS=}1frBpL${!hO*Rk;li2f5WS%AoT)Vn0#TeBL^y_ z5S_Mh>17<|6X0NqlFO0F&s{`Cfg5S!i5x^C4NJok3S!N#FN0kHZn8Xb=4}E#3x_xQ z)qLRZ+V<*|`$&WIexMnK2a!?g(ou30k4WJ{(R4O66|{_pr;28OQxMpVy5=CNT&x~- zBmmE+Ji`&#{0j289ZWhK+A@hp(dteIm)5{Sv5NaqF`gLya^|8Jw0U2t~8^ggm9VYfEFMsAjM<>bA3` zcx^Hewx9TmRj5wE=qacP{sUJCG(O-B#E}dmtRVZpF!Y6Qeoffb z-yOdotwF#!WUpo|g!aA%_6qzQIC#)cLuIj%Ft~^OAyPeyL7T{1i+mQY8fD4&5vv?~ zt*@ksBQ;%r+YCJbYa5g}&z3YmTHTbq-ltb}K;-6*sM0Mrq0PUhKhQ4JV%3$6xYF7yH;a|xm; zBf@8WcJTQbP_sJwu~#f$yg2L4{;C~sp)G6x1?~ucRs8KA9Qu(6ofIVciGlvgYOatH z;(L*8nZ9w1VlTM68XJ|*H7{+ncLS21t1VW$@-{kQ9e%j6vA07Hjm&tJOY`l7lpmH5 zd_Wd$jkb?#;@ZbYQ_oFD)?kKIdaJ3Key=Ai&e=t?!=;9Z4Uh~#TzZcghqYChchPe^;f~@**GYFk^d`!OBtKEuxsYGw#gZz3yO^5?@E@` zL?kKNR~3zX?+ioD6(n3+ncUNc`WXN-GV&}q$I~Cxqk%qzdy*al4qe68N>ToA#FWI+ zq7Dett}SZ%ww7;$I9F^k;IccnGrUy^n4w%eWr6>nEuWoh@B z_^`*7cpCt2IIA3T#8eoTf_sTTMGG?T`GlXZUs0kZMhB_8%R(J}rRsn`Q11>dJTJGv z7DYk+rCH*yM5V7{*wt`zC9vUFk+%bXQjyKZHGP!NN?F@9Dd`$v6T%B&5pmVz(70cX zyWA$D$%QZ1);Xq6j9`M?qGbFd^CvhWs#!{NGJ4jiL6xi5S@D*sp^n1dp;N{ikmeSEUSgVJUv9Hqh`C+i$+4JS!Zfx#<)hyeJ zIPzZ#an|?$^>TCyJuc;hBbH=zKWm@bh)P@f^#}_`$T~%MXh9(FyF{ za$ZOa??btEMUL3HAl|KY9xRl>@(ed9B9=Uphs$FQU|8+8SB#)1N7~FA?Ly5kKoalz z^mX)%*HN-EuTY@`zgS*>q78U?g?E{$_V%{W{*gy8D5eU{O=W|bK&Iw?b6bUk9;e>I zkUmz~CBQGXZF`f%&Z0xy7Ih;ZUu1YTH)Oqu+P7IO+<3gDe)AEz>|C3WVYieSnfCU} zoPTXb)a*~zd}6xcIL;kw_!Pw9Pio*c)(s|6eeY+NV*~?-L{f={#!i8CI@G)aQEN1cJLdzFn);#uo z7vrYMmyG`JdsLVg&%c)Bz*wg6*15Dp9OvlrFeo&=DcPc$OD6&)BFN7Hxly5HPK$Zz z1?XTCiEe9YDD=cd7i1#Q|mYZ znLUWp?!o80pC&M-m?24cP{{tEtiHoR2b z^!M|hwl~gyDFs#{%^4;k@wwpWGL>4Uw>I=D)uF9J!y-87O)}bc$qE4zq6q2PVOvcn zx9_izmgCD9K1Eu&UcxbSQi;Qd(&0u0Mo-h<#qgUMs9?U3VS2HG*}qYK`|GkPbo~%{ zxcd`f@+2;tR|pbCRBkHki^MH|@>asd)}V5&4cW+l^n}Yr(xzyT%wq1ftViUAE>6e3 zM*Y}i#W1{c99yrWdK5~B3A&M&Wp~gRXvn#?q`Hr2N>CO5b z(Ub@)YG@EE*9XrTu~MQHIy{@`>k9X32w84>RrC)gdUg}`t1~Q@?nHDGlG7o-@SMG?##kt5+X{dK z^_p0MsAaGD(?W0Uw+L61YY`q6LP^|v+?8Eflm>6GZQ(r3BD2#UwF;*{@mI?BIPukg zat;@bvy_!!`ptMr#xIhH% zJpv|J#CF)lE<-;|p-W3eV>UXX?n%M~PHWF8@wTTARdJDo3%B6n_Xsyev$dPZ5ufvU zQ^ng$YRDQEQy<(DJXbMo#iIOF6&P1Du^wHYp0|z*M>QNmBTgZ7;Kl( zPj=PaOdHeDk=oz6^Id|Y2~v>1+FHr8lyx=XoIXEId~L&~Uocx+r;#@`P7ub9LYDWS zn3CZtsBe;@XhjB)vW;bN)Xg2$mtgB7{B^NqY+Se1x2MOJWkk5v|!I;&`E; z=G*){pi_^3P&_K|LD9h@y%TEaZDPb;-?J6Qz@ z2<}DzvYSLs&}D~A$!xy%E$1QMwyv`{!`Pg@p?HlB30iAsxk0wpvi9BvcS_OOlvw#4 zu1O4}M!!izVf9+h3ir+Zoje(Sp9tH_X+3!mdfh{i8SCZDs-Tm9dT5vFXGuC;xpW*H zTltTU;q-&;>C~&bH^!L=lOC;?5~ZGKod%Q#FV+g)UK692nVrVi(C}rAe>3jIT}!$O zr<1cW2pj!UGEbF(BW(ms459V()j9jO>_}|BzE$(4q*A;DUynv>H&!Tv!?;FeGKOv$A@S>d1PN_er7%Y`lVVh zR-?dRpFx)ND|=91V$~M6Uo%eD9SqM(r6W9OG%ij!gd)|9hz>hH`(1`%@A;s;kdv#r zBKB(s>Zaq!yyo;bhH$fb@24rtY2xmIzIO!@=_f#Q-#Qn6u9FJ_AKIAv6O<7l$4dE< z_^uk9+Jkw#m!98K9(7!LWl)2K+fkVS_sYjVYoV@OR8x!OIh2>&HS5vYXI6YcB{4X0 zFHRLs;U&{wR$AIBz1-xi(JGy#E>Mwc?C8yAHXSa9UugdNGEXQaIV^MDeT#T$M`E0J zS6I6Re#!tPQn<^gS>+Z==PLN(lU9^alvBKXa@O6xQ1c?!HqNW+{$0W@4;lZrkFgV6 zNKrVtc&fz84($+8)x(vYr5ELNOjyBnpN{i}G3XV4>R%0>qQBRr#Lg)Bfg6o1p^iOS z%_})|JXk)UEV1s=7p2LSGE*as4w?9P>1D!MKgE=3a>$9uxQjGYTb^uLxueB3OPv_F z$({0sg$xLsshJptweC;Nk|*Wlmv)4CIOtY!=WaBh@rZPsphcF+Q|&t%xlNCU8N0NtvfM! zR*F4e(N>ae=CjLY66DJy-iQ&#&4iOIeX5@H^I-lsg{Xs`A547=_!%i)M;!N|Dms4M zwv6MsI}PMT3q6&rQdE~Q1#ovnb#X*RXPBNPh%qvvlK0AIOOy6~K0k}FW<%($u=v0o%^M@n5TY~DZF$x^N^Et9`-b4%bV7y zDXiX1o|fyrZJWi>S<4U^I?mozUh_>H&z`tb;aJkDP#0^MHz~T2$eDiOVeiVNA@Y(p z6Y+%OM`xKZF6FPXFDG^9;J5Kp@BpcQgm)&`@m?240{(5N>V^S)eB>%i?@v@1e)T66 zD@i1vUKI%93`iQae)!&^Wz>~m>}^EaJ|VFym~W0VmGaejXr?l<%0C8^AD?0Ug=N#1 zSlFFm8J+~WoFT05DdX!|*)2h3i4D`{_Yz~6{i-PxL(UQ_Mt23FZ;}yG2dX1~$ka=< zNY-|lb64>@+#00Oa2O+dXbiabmwjMq_BkW~8^o8<4eU)3-@fESsPhY)CCJq-xY5hf z9~+-%w837J?3=8HUBxh!O52$oH2+0KnqJK@bZ z4}~x!wAZrwWgB~&@3^5htGXJN24b&lbF#>T&$eF`C{sHcZIJ9=crPr#C`e$|GE#_I zMQ@o;B`&w)j@-Kg6wQ3|!WQ0pZ-U`6CfiXd7A*nr1HzlH^-tA#7mlc#k-pgV*Ghb+ z3rkL5*X8pw@Slo*)T5K(B(B9UN-%ALLj;EuG2Nn=J4bRdX670@@QCnKsvcw>^*Fsa zm@ezjrx7I7W7n5kL0Adh38_=XH+|9DZ)Y^ND$u-lUagl@-m^RBHtL=;s?FPX$n} z%xxPPfS@LS2_Miu9u3HTqjr+7YV`{Fd^P65>vl@{*=ZP)S>KY3wOlZ^P)DNuMCW`i z0;ZZ}Da|xNtSF)SE)qq`HDq4T7BE{duEL?5@|J)lRWjkRX4#G95CnXsnaoG5sQjHm z#GbtxrD$85EaE$^a*WM8&H{2hlc32|%VWnW{;=Nz*i5dy3@mJa^bjA}x-q!w#RbjNP7* z>c$=>2$pVn%y&jhTk}ZKFJc5b9v0lf!R%DeX_;g`W4H!15|TNn3?0hf(VXG@RF9AF z6~8789jzOv2bx#92yyr{p`N>K&Y*OMx}?elV%{ZXN}(GP>@6 zdkRj2qswX`iXjrJNEbH;!s|Lm)9RR%bWEpO<%4kRhL1+&^6)zZAOr6Tl%A;PfB`Yv zXUJ?Y*mL4?5mdw4Lca4N_M=q z@1IJ&cy?pvBlwnm&t5KoB76*g>YLBKpOD{9GeKQwU|6#U?+$JTW*+f=jeMDZ%mJsI z!V%-(GR{+6rN@dh`4RS~?=u-Q?^vZ^^B?9uR;R8YOGCAxlTk8{aIe12N= z7SVoS2g!@|#|tW^V3~R|(E`il+8HX)LAeucpg*nNMh0fDbJ{KZ*b-#U>(ztTUjLDo z?XX2hdA@?g#F&fC8j)xjmw&n4Mv=h%&%i7{ScRG1C~#})O%8%6l|vqX_S;hb2uIU5pj8WzTypoKEg9U#yKap<{R>3{H}(D}o^nf$ z5<_H=q3QeQsjC(}$wB;ouLlu9?sdlLgMHWM3IVlb6jE1Zp5<=E<}#sHMRKc-eTyW* zUT}#5r|rmk;JvDmE1#tbhFixkX>wTFwY$#YcVlWN!;iX*G6w>a*Th29g&6m$%q{Im z#ob+H1?TtpAg`nLvFEU??-LoD-uFIOABv9nW*xIC{x zZ&Q_B`4!UDbvCNqZrV!lJFAj3m{sO4UFGQf^_2G3W`}N0iI3yPS+7Hw!nl*+WJ_2x zmE~UWw(bfX#fUf77N>0R3*(nq5*s1(xYcf6GFI}PW37j?tAN{Kq~ylFN*{+*S=Pdn z-Gx}&BHU@&Uk}`WJb$AzaHkTPu6xVpIYu{xXy|9C@+MHZ$is2Q$SLKa+dnC$aQB+{ zczvY1iCAU$8y9Nj+vRJ!5_R29T(#huGlj+?T`$dtY^2=`M}vWnxyf}BHK68b0aM|= z$S+le9*e=&@9uJlw5PR4-m`oUh}7Ht$i{SEu8va2%Fv2`#)4pQw|)fZXeC6r+}cV7 zZEP<+Z0k68BNaxSMm~o84C7HxZ*pa<-QJt}wO{M=LRl_dZJtYsj4fRRCMtNE95<^L z1sOvK<|n@Sc%D9@EnQ@e3#maVp(om;-gtqwW!Bg;Sr-yks=w-WFjXU!BJ!I5QnZO4 zzmh5kBJ53n+O|;cCNX3d(3QU+>bpKD81&|_tE!HpYwgFLtc-H&H~zp`g%9eDN+lLa zpy#1(zFbS0b5Y&f+qdz$a{{!9rlzjO;+n1tOQKPw4nH`*kGor3Nv%-E?A@@0^ZTRa3 z^CunT{{uhKV|AA?$^#RJ{%Zoa{%ZsFhygj5Q6>Q>f9*V3bKADo@A?&dY^T>Iu>&)m z&e(C%W^t0n*_z%w&^B%JMwVPr%J%EOvw#vviL&M9@tZ^-h~?}!3uIebkrkP=I#UK7 zCUX)VE)xYleI|s@q$@IE6g)*H6^uJYYovo+8sBZEoEu5!GHq}?WZJ{i7nu$Lo-#8^ z!&7Aje_%>)GFt!)Z!;?at@oL=K!p#PD`0&PnbUeCgUp=4cbz%-$Y3&W@aZy7?>-As zW~wN%VDTxk5b!C1ei&4M1Ueo%8ah^wRAHdwaE;A`7PtnOwFWyLJGeMN#{y3xA3GA+bEy$b^U^*J$7}P(|3q38>2#iV?quEr2u^=cRaU&{BNSqBIX#qwG5=S2=z5X+A3_&Bb(fUE*|BE}HD*J`oH{Ghr&;}7Y zgySvNyRp(Cz)eI7osEG+cZnjPzTk+vr!k_tV5QPCMtg)`2rGEsvENAEgxbetJYovh z{s%$F5n?oqeC~yIWlW`2*Y7&WrSd+KUEtHawH+1KZ7mhTi z>jzj3r!u!;6U`s0@x0Q7zF~YurnVP{EGxv7yL46D!5jI?qe=2%NEGiia(iJ)LL*rpzY2*wl4UibBOB zedp~tDB=%-Us9SYc)IQBrtFoTfMuPh+<<;kb*p}an=NDs6VX)Y1*K-LQ<>zc#~H5i ziUlDV^xoNu$THfqEE4DK&F~eEQ_Py{2wJ)@ohdQ@=}LIp_lx>Ama--PBGYy0d(`}+F(hW?SAB>mXrvCtNcC42Z&zR-Ie%Qaev?FWzw}4U#E`Abm$xLMx$fs65>2Od};6K zJ^VMg@6!TrTDGj^jZh)OiM)P&vC0%q@ogzufvX)32exoSipK}=-pAp)pliRYjQmPJE;;9P(%pewIBO1i zFYvg}5wMNxJ#81kJ%IW9&$`Ievt(UI^ofG_+k6 zr&b--!_8YorNz|4)EzQ~YT<(S5;gIX43BJ!PdirKfR*p~5+9@dxZ5?${!uI9--zOC zR1$;cg;q{CSe(ZH=vMFQ(+ZBW_;hm*Jf1C#9WEA580dvnS_X!?dsm^Ux(Yw1P^N zT}qKo@pqm)1V$e0CBKwd6M^^e=#>RRygXFeu;s8+t3NCbNot!xCd6^Je=?kK4|oTn zrlF0=QtkXyIQ;qt^9oy_64QSkZYG)T|mU_S?I_* znN_ZjbQS5kcU9)>J1{5H6B+DPZ8s^4u;3>Xyp1h!)Qwh{E--ntoS(lm+C8>hzl;hN zNmDfsXd$a^hC_z<0buphscHXwT+4yFX_pl#!5GNxv01l%cHW%y9M(Uci@5mez^!=bR=e=q!%P`y{*;gBjC)0yk}ibWm=bh+}Z9^h?8@yuW8FNp_oaCbBD&KvFJbQoevm6upI#?LMep zEtTbUE{Kqx@r=|bd|`~IbDXTcBooev@H6y85uPI`?}DgEFE2wadSi<@$3#Mzhw_&C zpjAjtApSo(6%l!wufo0EU_2-#eF2qqT%45BPwu0&B{S)}9n#9C_&KA(*!(v;4aq+KIEUq5FMqL_^xO#vuNU{JRtViqJkO7AMID;xDg& zxdx3jEfwn&$mh|EFKf;&7oVZRZ`+GA@i(-R&uZYkkrjC+;gxaTJSHa=#h_EsX{!-| z#wBF(J!odh7HjFW<>$Fmf6qdno0E-WWoo%pD_K};K^R6pnCExSF+aLdx{2J^3cJ`f7GVysDxg&Y#->+{%;2hb=AI^DhA+QFkewJ41@wu%7P8gfT{ zOw@AfE;lkYX!dCQX5J$!64dxY3|go4$%4ac(y%!pT6tokw{N1nE&6nJ#kmOJ0faM# zV~Vz%j8}${)g&!)kaFv-u>?3AaRm6f2Kbz&fT4C4mZD#`*bs=R^7$42Njra3K=uV^ z_{CVCUeI{DQG&$JdA-N%=9}CiNcq-k!2wuRTD+bEE!bBY(s%I>N4Z;cVB@C`7w^?) zC+I!O9-_ry$(IeztBZ^U0fSce!~G0170T*7vsO_-cL&-_0X~l#n^Rc*BX>-8`1~yD z78GsTT*kwuc~_&uWW3yHjn7x}hsVyi%GtNydL&tGnD}PIoTxSXcB8*BB>^rZU> zEoF|K`nLABd9r1D$F<*Kxe&=pv*28#qJ9FS+*igjFr#o{Vemf*0tbRN-qu@dXNbN& z9oSa{{4Z#Ce*k)dhY2?!bMJ{hoU@BNM)O@ofh@3&G%u2@2m#|v}etZj5OT;GRjy{_UeN$$X%~v8+zaSsClivoFm3Na1l`QQmy~9 zk$p>e+I0^GQlB#AMzc1?PPcD{?pcA1wtQXo6Qm~1svDNrxYM0SGw$5fy~%UNoMA@n28tgs3YB%bq2Yay*GbsVNo^O zXYP|DipgvR6x`3vwNWI5_3ps}w+aIE@z`boJPpR$X&W8{osFozJZhve68jtTPd@k8 z8xIEYU2CxlI8%P2)=yFPnygHpo}YhEW&AXIlQ%T2J$idEWItwQ-QXwEO{%o)qw?k0 zC9%oVRn!TPVItazltv?eQrO<$EWD+<4nY0;CG*ud(-8;*f z{pS@K(KOikCM(WmMe2Ri>=$_?fIJrnl$lg z%|FT<3tE22qK_6leiO5a+&v2j5-H}2^w@=swV6~quNp{Uv?3WSTcjQ%@D&NgbtEsC z@qRy1HSwG8{}ES3^bbO{rdf}`e|bYxc1KbsZ|W5Iq?D65AXx!EXT+O=tN2D~%j9L( zOzv*LM_oQu*B6$ZzTkQqnYY0cRS-_p=GGpS3Gv)j()HUaKIs+%u2$m)?c@{Bu(X>Y_hQ@PT4iyHhy^Q*tU-}UN5@@ zKH|>lWM(!qJ$am_&|%M+a`{*IsmnQ?pnKYX_IOpuR#wa>B^CO$KE_Hq;0`uNeTs|) zK=-BiYbR;QV-_d3x!k(m&c98Tk>8=u0UJ@XnAdjRU+92lzso~ZyV!CBcf2U9+v@yU z;71LecD~h?g>g;gIlE+FSOT5sh_)s0I54pmVd4^|1<<6dA;|F^Op!NUDQOu?n+XUG z7un_)&Xz<4{q0emkP5o-ELw4HB?NWAYeANi(KoXoUz^Uw&zBz*HXW^Ur6e*|Vu)6x zfrp`!fsT`4{D3;-i8uT>r7l}v_lL?`E|5*UV{C_1>>5<>&mbSSltenbj|d?A-GXjR z7=v}R-7ZbU;s)30mvgn^mq@sVj_nu6T;oZNVACrf!8p`)HY!mN*QAzyKcw9J2RB-y#G4Z*w# z)kOo3zpBt_g&M;cpIKhS23P=;bi{4q8B^SZAxw11TA@NTWf@XA1uMErf@i81C0|*p zzoLJT<4#ENzPPzB`o5CARM_}o=kBUIaK9ji?%-YcYqi=Jkd4C~|CE}*{j!+lyt$LN z15Jx`zEAqKF*4_s-ezJrdp(D9cUK`Y`x@t!xr^H4L!bv4vXv(7JsT^aTJqWF3QBA5 zea95jzhxl=NvHkW=339X-Mpq7(frlmsH|W0#W-GC1wfQC#hrHBKfAAuG>(A` zDI$-o&zG5zF#*L*c>jU}t^y~^t@0G!_?4?K(9$l9v{9Xp%MMmLZt$vRl zvT1oO+!OxA;Y{iF4$qObg$GiMDLA!@wiiv(JjS2jBWESwlm-0Sjx~%Yw~uDXWEKzm z#vmOg*NZY1a|Pp@Q&^ob3wR#n{*N;{sMA{0#6bAW`c;8t!}WRGWBXB6137}KlS!g- z@uyf#gco-`@$Mh*f#xe{v*~c(1*ju-%i2g9v+(w%AcUK`#(z(Of~bVL@XbznwyxM@ z3=j~qVn1Vln`=$>BXHdL9{u^yvfbI?_ROrrgIfea(}hF*{-JYtbVEdURZ5=HBlAxG zO6EQbi6*P8lj5J(2xu(~dSp_uZ*2M#y?72ZR091`TA_qH)TC9hfoohzZM@VXz43(g z3}bd7MGps*j3puCou3e3JF<2 za2OgIE@2p2NLVy;c36}f4L6?F%l)YEuXa^ANl}$whijr^K2fEG&yXd&=Q-d(etYo% zj6fWZ&Mfa1`-b<;J9xA^bog)K@r}zj%Z0SKu?i#_v0cv#gKKp^YnWmg=@N)k&^uTI z=uV%sDyaWL@us_s=P(Jzu@}D&j5wS-NI~s8q_aYBJ~tJPcD@(KN;no$HHQ+_yr7{C zhPzVzT%)2zJaZ-eYz^8m+7*uMVjXU0e#kXZC=byg_$~2Kk@CD|_|BNy;Y z(Vbs2$VR5jkGLvpf*$tJ=?_pNWMl_fx)+Th*xe2>t zSW$04KK_)+oFH$?#`y+I$CMxtr2gRCCOhNn55oqXgcCw9;Q#5UBFT{dlDl{i`id6B zitTm&v*lLVBTya`V%rxCEHW^7L1V?9>ssu4NI{V>@UAX=J37R>o?7_=_#zao#2?d zk9A#y<821OF#9{q2gIv?3(|>Q1AA1v%chfr%F()-2bQ@=?OZl$%rIS@wiQV(oA()c zHR|yEklcT?H8ZLQ?(QH((G38--pqRFn!1r{i!1Wgi~vO1+;CR1~NCslS6%`Q2Wn)v; HQNjHm0<*ib delta 21689 zcmV(xKzmKqR4KRlO%;~e*h$bzxE5)`r9mY z_salgB848H?2fIEB(0G=+pKe&*&W1E;(Ki22g310aMK~UR3OLNA;O-mg!A~RDa_1O z_tLW#^a(1Lv3PEZ@JBd=YEx?q)I!>;1(hPrG%V&rpVi;#)r&@qiRK$lSjGZ@B5~Gy z$&Q7Qu!FP{hJ*x7e{N0b{^ap1yQ#+0R3OD5$;ZMIr;Tj}-|fIaR2h<*h9eXE6QlKs zHC3^I6WJM16{7xc0>Xxnjgp+zGIBn1%wDccer2pFt{vNr-P2v9^5K>KS0ExgsmUfy z_v^M=8d~jH2IY50pCz2>nBTk4(zefjPPsn1cizT0_3C8weL+x6NM z!P~da-oL(pNAt^-GuJqtT@Ul1Oj91q(L}l@*KYtV{t%>F2B9V%VU;dvWuc){b}{TAPKo7Jl>VEzBD=`g?~3qh99} zov|Q-HV)^_mS^(f8gInwa3=tNHMTEov%5b24g2N z{YnP{9f%+-^#Pk(gY|BbGGExft?Y}ty!#YZxqo{-0ZWqpkWF5lV4Zl|FNW6^u*YnB zHCo$aChF0&S9Nq^<*n8HBV3O##3{%nMqG*Bl@3M>!-%nez72e-ip-W*0A#io(QI3e z0WG9{e;jr*J*@+CjkvoX>UKd9y5Mw`XJs-SGn$+$IG=W!OHXQZ31^_pO83-Sw0-XE z`GgP>PhrI}t9Id(cH6qu<@K#k1`cXx=G!7$8T(VC$lhBerLkr1)gE-DR*-e(Jz2XA z|AVfq@c4CL$1v72$EQibWYrDnweeXi|fF_swvLA*3%x9!$&ZM)$A>b%<=aYG(jCPXy5qqXB5A| zM4vR!^ikw{CYryqzAin68}9!cS&(LNe+M%~jp?(Xd{?IEUNG_g1yg;K0u3iHZehRz zfGRfay+?1#xi^4c%5N>@x1^pN&Im*!O6UPj?G$?+K&Wdj*r1M|bz6{BJ(@A!gQSk# zxH)j>7&y+E_&Z2{V*+ogZLy!P6qXPFKcRe$spGd=B&A4rGlGFx&5ix&Z=PK|2Kg7l z9>^54I|iU00XdUVyeP8-B?AP1Ib}ZT(q3AEEvii=O}uYX*aK4ypEbCjuQ^bd5(NjR zITC2%9|bhFXb{TD^ij)&RC%!#F|3G3RUvIt-|N2F0p0hxapb&SayWh*4h5%`A)hc+ z&aFStC_L0p7Smk2Xtu2pHkT~S(qsJ0%D)?Rg4Fav z+nYpc9ig>g2&w!ropc5{E>%oys*pv# zaah9QFo}|*U3O2a!dXav#^m(2@Us+vsRM^`gB<2T0<4|6{}7FX4lPhtbx@Z30rLfV z#`yxONY^O*Y9+Ms>~>OY=Jyi|bFv7`6u%d{XYKF1)d044Z5|!WlkAAQS_r%ZygxsN ze&xRS97O^`s>W6e%(0m?Kb;M4s}uIYmKhv(X2#nqhW39%Vjjj5DYZ>|GDZpb)~nZ( zi~j+itTMCTl&sRIsJYyVxQBG$| zjJWax{$oGjS*Iy2w)ys9L6dow*NY_+d|sHhQ|VsTX;HYRgB?sTL!7BwWRKf@{=v}M zJ$0i$+bI@H0_4pfG>Z8e9&MYSY+G7Nnjp#b%_-hvM(WIu%nn&zRO!LL-!BpdJKAT> zHkyYYkBg;Q$$L!X(h^-#A`nY|U_Qc-fO#$TbDmio>ddT_0fpRW~+Pm}Z7(f-qx_D33DirCkOkh)EXNG_)|xx;wYLfoVUrn3e!!WgZ;ndA809zqaS4 z-vaX>z+M^=AzUFMCd&wr$~`K_RlaR-Df2oj^JX%`j;ubzYj?}fUP|46m1=-TBJNS5 zZn}T>M)dT6AVn2?vVGqc+kNIG&5CWYt?I0*zX^ecIV1^rL882f(6bxT$$ZnuCc|=w zP5cp?w3_D!N8qnc^wybccHApLG1NRO)>-Y_|6xQoE%S7>ci;g6Nq~SZczW7^ zu7G!h@3A0LBo36TmAHf?lMKTfM-J$2vSM3iMPChnXG={Hp*@vYefb(G z;*?KXW0~#KI&VyvA@zL*Mz^8gS~xX7#gXE|UgV#8 zx0qIy`+{4ga9_ZG0c4Flg5U670!Hr)Q~T}`Hb8|6btWF)yoRMwEn;|>=8u^RHS&Gs z8cyC-ms#_^b`Qsu3k8}FuZ*I&!Da2+E?z7gyH1T!g-7ljaPEQ{^9j~x_Lr3|ylCS9 zuqB=apB6&S)BWDzWL5zlz(JoM4v$ndh$QH>NaD?Lla-!-bFZ6i!)&6Njm?V=X0=;@ zXPl3Bn#dp-6+Q0jr*8B^8;j(Hi|V?826!x?drmd7Hm zoU`&eqE>yasZArJ)+)Sc1`hz zxZh@??Gc2~jnkP41&ESyMyyd?XZ^qxkc5sK2_C<=%3pB*6l9Bqvh|)y)#q{&ZjeiT z0h@5c9WwvcXtx3-k8lVwI*1D|V=#$fD-ahgf6g&~Y&Gn@ow{r8j6A(r*sQ>WI%)CH zx?AQQM*@+P9vwNwZBo=Teln89D|5lux3oxKXszIfQ^m+SK7|@hhif$%O7T=kbEQ?DN#;Hy9znQ z=Kj=wq^&Wl|6-pX@&aPfqqn@>1T4NujsW@bU}bg&nA0Z;eS%AZ6QnqpKFX26$=8rP z9_Ukql156YY0lv*t>_#hV`6AENu^eCGHR;J8=ylVx|p(@i%$34Fh-cSqVT67-DCPI zqx=>5{`(N(eT1$kdIB$8nFpjz+f+q=zTX~y%e>wlY-Ck68A;W+I(VH?L=zgANMCvD ze0aNpuq+G%2SZUs5Vpl7VGAKH>&t#M27jKV^#GCHE+G4pJV+AWT0ibxz=O>g3YS^f z@H!TRc~kGk|K_{sPI@X4Wgbq5~+)U{uqyGFY=v6zyx+n6@ZyX>A)kTg8kpG2+fvUIqyGt3+)0Q;!1#jFG<{TfSpsV2)}7d%5HOZ?{%4f%G366Cw{DVHA54BkZ##r2|_Ny zrzdDX?(MNq=2Nqu%j0UF9ipI-uGatGC&dxiq-aT%*~6)<@=p#m%l;YXNXy%|WUBt@ z^y4aN!ofr*x9irhW_#Ln0~tVngeiTyemsbbgF+6R;P*J?&UCS!XTRlD4TdfnEor@pU^U5PG|=+nSNDI0v+O*9P}NJO>;*tdsk7lk~CGK(se9y{Vy0`ZUZEp}RU!XMCK}?g|mFekYjv@VplAVeCNOS+wc4)7u zg7-0Qe2lej@T~mJ&30@jNL=UUX!-0e7CqF*vbm{bj?z2XlRpvKg9ci%$8DMZx@%6_ z{bd#KY4PxuXpS%ka|hX$)?Pb^jCOu;|Kz`NK~#N{!A}!|Y@)Ypq5=1w5jHtF3NK7$ zZfA68G9WoOH94073jq`bF)%nbG?T$9Cx4B%1yEes7A}kv+}#>?Y24l2Lx2DcG}<)K zxCVFk;2K}UUWuAeS3EZ_%9lr(GU!Cvv-Dy{>woQ27d;* zKXLLP_a{FMXDC3`0|Ef@0f2&{Kp{~c9sn;7kH~)}~DbpO*R0D}cp{6#x_w5#snG93bNahS^(zpa2b!yB*l+X+ zX9Vcm*}MJ8>p9!Fdx2nJz!L$nw*o`mo+3P;)?gUmX>ov_iaJ2c1q}VuS^ZB34!~b~ z0|0UX|4#Q;^zTIW&_9AfR#whVE+D9nJ=7LpV-EoXv=r63+`Zj703fLKZ+}M+#Lf9B z9^?tKhkz`f9R8>r1W=UG0f3$w{Hr}TE112DyBn9AJ>++b+`rR2?Xm*YTF%+Y2@G|2 zL;qc$ygdwT^|b9i+<%^|Bh=Xo>h~A0v4>jQ{BFY9!-d-bYVYa+R+0b9<%vT7hqDE{ z0|a<@c!Wgw0bo}E*xSmE`+s+OeIFO_A4cGB`l*8eKNn{gfX!1A-~f9Y@Y5f(y#aoleEa}TUI8FLM1NQqASA#82>9MtkfH|!@`st_5BvYe405uE`26MYq*)L5C;e+UKTQGje_fx0 z|D0J3u(iF1)Bjpk+{LKe+mISwHE-eafYG)K2bpd0JqF<>VFR;Bn05r_#25lA<#ca z1i)?eHxl3laN9V0!2TwHJbVCd+ke5Q#PFE&vga5b|!C-H& z75dV=vz1twLt|L?&juL^FV3A$5;KfD&$C!L{gz-o9=F)2>8$m+A#1QJne@>QxL>yv zST3cPX@2<~bu^?A&jkEOz_idK*_sluj>0W07Uv94Q@& zJ15mMHvCg>oY~8(8T^9DM;g^+cJzR6@qA@|#_PNZH*>x#HTt}6ePj$|#-vn;m-ypT zOn$Qa8GouI3w{-4Yq0UmIpUs)4W~39WS_-%M^pDF?BItP6XT>P3mGXlBB4rb+*+q{ zic>jl3JQPT=~vY?Z~QlMCna5 z(0+kPD)@pXChVw^9oymic#>7qVXKv~6~dNw5r1q81*(popiSG{Mz7$56@A*#uihgn zvuCQl(@~xWTWk=*(+jH{=b_%+2{&seGBfye#+H^4iT#Go^a6Pdc8XZyraUT-E0GQg zWb%0W^xW*i4!#y`jA8SajXOsetU2}jU4vfeKcfZ@w+O2Ysvc$PYYT;Q@k-H@Q43x*Zs5AJ$Y}9}7{nbHubhkYj=BOB%kALx~_N99}(pE77vE<|1#jh@V)WBdp!v^?( z#9`4leXCWVb88;Efd#);uf&~D=6Jonj~8UzMi7PD3Je7zhGdMKz@guSQc{R0h1dnf z1x|iHpJf&2)0-m23b*d9Mo{gCn}8|~-xBv?1{S&npPOmQdzQ4u<$vSm zaw!co>p{D{jZcnCQ;2=+it6}KuNq5AvZ^CZ2GCHtY6!Eb45Irbej)pu z#FGkK61k+Ew(AxcT(|!qV1F9s>F%r`ND5)j;9SqCY!oI)pK@1ul<{U8FJaiA{c202 zi%6;*qz6Y?EvEb45bnFddeAp1TF9Gtjis6?URwgK{V!aE;ratYsie29UX!V>Sfx4; z%jBM|6=oP(5(=4ZI_Bh8UaE@KSYe@S_NB3%V=cuiQTDwlU0?FgNq?E`r;aixeYBdW zTPxnj9<6}PzS>9?oVLprL^eU=U0Q4TT#!UfW4!KZaFM+U>DKmVWHlUa$96jHT&T{Y z!pE0j>IR|j)ev8(CiJ^yg_%>8j5nsdM)pZ~wM6dkryEinFF4SgKb9$*nJDC-a!rmJ zOcEJ1lEs@z{;LT@7=L|V&WQP#B`w5{A^iwPbjZ(=LfOqF0e=jbps~oGwqtgwnciae zPWPNJ3W#WwiXF#On&-olrxMK!F>6h1DVixrVq@yyKXX}xZF~L}% zrO))t#}jsFkR(w$Rl;Kx-o>9<`EZ%_-{{C{J-G-6<>R)ivJ+C(hd z`QnbkU8wb9=~Y6*%G{|XZTy+K%gUr(0`F>Pf>7pn3|fd5I20-UC)mD*#)Tmg)Wm>j zc3h&dNkcXDFh85nGSwmzBvI}RGQ9GiyLMtkkks#)bZppob^!ATZ+IcC0gY+%`1IU@ zQHmT#N0{ouOMi*amMZ8$tQ*6+45j@mWXu_Dg1m$G7iOx##`&d3pWtSe+C@-VTTBgXq3M_p}ATW z9Xm`GGj@E0q51`Au0fdyO(yx3Ef2AZP8!*{_^KF6=6{{1zxa1S)LEsaZE5#-SEGnH z$&JxO7Zs9P#s(H@qYKaUv0b46V6zB3q*|t4ZMiN8o<^_??^#C1%hdO{?Af>LZz0JS z=7L1$%o$`ypZUI8II`(uwzAY!zRd5(5fso}voRDJA9#8*u7B^ zj&cz@@*PjsbTWNxIKejTb4rGh5*Mb}&!LIZC8&e3s6Pr1mCA z7q^taJJR2n)@%^xotFY=!RGDs@o1a9(_?NtKR*SxWu4~ZH)itJSBPp~KJe}I;GO+A zcz+vQtz|cCtiF~#FlAv23(O@i?g3$DPT=7#ipfz zCXj^n)~1Az(K%PR$&-^X&=^!FEKu`8hJR&{`5+|W8@bh0U2wJ{S_kk6+nxo zsdlD70E+j9!d_Tb;DK#-C@j-^9oi#J^IqW&L0%SwNtr}kbm$HO#letJ{g6p;^QT&2^p))(}7CTFKl*IfEAQdvkvb4 z%%j4h+$?b_`AS6v%cv-DV=aO)!$@S2Sy_v^0uq(jNT<`ovhv1JAQO&RFyF_|- zeEU`2(IUMWYK7r}l{9;eG+kt(Gx$*q++JFW*(SqN$8)NS?!{em6Mxk#*NwXnfEF{J z;fQX1272ENr~Me&wn#=X>`OmmQcyrB2$pKK!X?F?|4E1`_a$@qwUAIFr^WCR15$mh zhUXgUA=M$Ve^WS<+d$kW%sN3M+5ua7sP$x|Nvap#c33c!CCqv$A=7!*ndZ9OJp5al zGcWd*_)1q58bZ`t%70<3_c#dDk=`0fD!pdtJr}hm4A%1chsN``H<;7?4g+oLA*uHM zT3mYyB3_ny2%T<&vZ%gE8}r#C&9p7qytbzZrStcMf)%*yUnVS3tzcO+9Y4M#KPLxb zzmlO_gBlf&p8;FoyZFPQ$-!z=@3rJOi8W;^HzY(zYy~8~KYus#o)~9A_6}|ycwEj` zctzdte%W1^1UEpl;9_1SL4GVOEhQ_uw>rCwrk6H2iF6cU6*-9RWdMAuB4O`fU-FWI zJ^}BDldiou+M5qBJ`gd_@X;VGwasSA@IG=^j9xC&b0R-Oig~y?lrQFwSXJ2T1LZB; znXjK)p$B8_0Dn^#1qytUg_|h2F+1l`3_G{#%P*G7JNkbFhveb1nJEU4)6h#{YE$ec zv2wD|+c*L00?|77JKwoYVt){NC`nCHLxQw)J;3E8_mVqG z1CtnKzHqno4%#2-y>71VN98$>uAd{d!6!0!s-yB9FI6 zJHWN@7!amy6ks54vO=o3F)(<2uQetX81SV6rycL7wPaY#2>G)y?D32nEE?O+cc{ql z5QBSX&wsLCF$L^+O>{bpz7hir6$Wtd9^!38s)D*onO9@YU&kXoomRJ-NEk0~`nw96 zrU_rxNNCFigx!BN=lwc7>-g)EkbvoE2m#|j4E$C}Xdwl;OeN!ITn~?q&3o?7`&JJpP3Ha^6GEy=C^AaY1U*n$lTuM}%3| zHuVGBD>tFMs|}?e?B`)cLQ}{QjFiO$-Z4`X{AEJ1--SQ6eGdzI8#z)e;21b3`p}an z?|8w{HspSbDR+u|RA{O3p?Y4*P?rGtw>;lbZ;vi~F1JB8rJ+F; zxiWlG3RekSy0`_h*zjw}JHeUAR+9$)T7N$(*gFiU7@A>I5=)WMNp%#^q+iW@0v6-x zB^>J;+_R@)HWSax)fJfV8P=OTf1r();LLV*OkceGHAv+%WChw;>iMF0)ZZ7QS(Q56n5aQQnx*Cq(So zDd-#S=nAnF9td}+IUvT39pO|6NE)zVTtIw7)vLb;f0P5A(n>~+6%d~Rr9u{ zhv=wRHwiVCy7XbS5nD^|vFg5j|7a(*Y~mE|B1QkryCjo`1IcSw%GtN+M}JP+*Jmo5 z9-6YsILzPRn@$r*1`VHA5yjCO3C@DEjk?acUj?}R^qI)Z{?76xKm-{5y@#i7+ifW; zY5?Wh137y4f@H73ZMZ}U%O}dTltk`_DqJCJFw@yk?YJ9sXy@P96IbOUcnoE`W?AX~Nh1hhMW(;`v=G#g z9XEf+UPQt$n#8+nZ~nScHqX}+>BNHarQE^rODp#Mpx~*v&ah@=wtvvEo0hsA4GNx) z?uhH61=ER<2NdTanlI-G=T4o5=#?C0`X=4yC?!ktps*9>L0H1_yQQ{I66}Rs2kz!A z(;Un}Z$4yKY5WXCW7@Zhw5@J0M4#>F;FNIOIO}pVrX5ZR50vqgb!UtP~U6)wuN^Eammi#qD0q2`nYFqpJ`7rjNxK}P0*2_&s5W+-xBM%zF z;(R5H4r)tY4Fqs4)=o4Vcwyn^n!WB9BX8jjnf*)!s2+a0sedj}5lW#?rozkyPH@f# z#Md7}DI6y6^+kZBC)%myu=>`eiO?KgU=tX%JoBD7&37U|%x;-BZi%fFpH zJil}N>6TG!Cx6+RZ4sVa0E(~FZeR&?VAQUQXdfAs#6fRSdJaif51x`jc%2uy-Ew;K z<_c*gxsvI9jGf0N98(Xq415FwZd^$GEaPp0h?S`}CY=%s-74nbX4TEF%a(|ZZ^)y4 z?+MeVap8Q!ktpK|GTG@;w}U9!376YLs|+`lV_v6RE`O7?!~>O<3$B&DV>VylbRXz9 zPE1#i!n-AL_PglCp;W(@YicZX6-5t06cORPdy5#^DdnTpsW;EH%f7Bp zZ*gxyw+IME8*)s}b>x-Fk=$XT3^i+9*(cNWoszJ@i$2I;{b}nUvy#f}9cd}6Z7p8E zRc1Dwz<)7Ai_>4^Ik)4qh@ncG{FY6;?k%@oBf`iB1PP6CkpLqqlP|h_8@DpN?3$t0 zM|7K>aEgLx3YRG+CtNs1pJt3THACbnsJ1@r(b$m^#g+Ke;Ge4PNeWEIatW}gZQK&g zNV20wgtGH@`OHaI5UnETC482hJ2rVi)83tSiGNl@#c6Sm7ndHLmV7pmOj}mY>0f!N zYp4MeM6+hVbBMpL_NoJu7j)Lfe`jIjvf#Sb? zr@nx7^VWmtp*K$3gsWN&2oFmUq+TDqv^>}}hks%_!g*W8QxBz8j*SD;-p=nC@jn9VMz`*JYRvxajjyq(!^I=Dy@CEIYx`-Ge0dCyxY5Q&BT zsFR)K3>MqO+H~9>D7NxU>SB!7s_^j~hJUh~{a+yJ@Y9U!%83&hgC`e{Nu0NLZso(> zLv(Xr2+tgCls`7Ut@x;SzaNwdFWfYw4Hoxwu7fA$$WTIy45igmw#=y zDJWQE-p;X(!gJ}BvixIK;`PCiRZ5ssVFSfcDrmDps9y&89%KGHQkaF4p3I2$_(ejV zXia8TRmd|84DrH->u(4Pzod1(2iP~OyVTfBN}L6V-^5BB%}X8F#*C3wKTepuCHsiZz(Azt5-Q6;1t{6rt2WoTj2utyVv+jiGkD3cyDYCNj5`G31y{F;1! zdvAq1(6RXxY4FG+p%1V*sulEez{~_P%z3OWmL68K0oyV+5K(I-U>1JQe0sWu_d~mQP%?Mh3hp^V&N` zaFSDRUR#Ia;6;gjbb6j%w1277UiT)E4KrP_+nQ?h`9&)kCJm-W>6^TJ8&ka>HN=?9 z%C}oh_0QovI(zHM&&92o)<=d!rjJmGW$5`fCEMk)`%2-p4ordC;tZ?A2?rzsU%g)N z>0PTSP~3Yrp?xFo4KS78q?fmSQPf@qt0X;|roa**V4~aPq{|VYL4OseC}+&42fEI3 zKXBJx-SIjW&Mr0j5phF6T8q=`6GMdXsfUHUD5WN|(f0cin^osXI`;TEoT3J|aLBTW zoc8c6G-9tfw!tBjs>bd;5T^3J=O|^gDeN^9!M%tA&YrI(z1=yC6<)NkwrG&6LckOQ zxnfo3<7A~5^y6+o~y-ufd(B9 zit;&;rVi!XI{k_@Dg{oGPpM!Kbq=p%yqS?%-~C*cn5Pp^wjKI*COUC5v*0)9lrws8v6fJ;64t!|)_*mk%euv*ouLc@Yh*@I zBr=vVRblM>UVavRH4?$V5{Ac$^pkWlug;J;qoYUmRzrmkc^*+d_>^fZG(?2sd6K3K zG_jF>0Z3PR+Y)lhkAgP@bOHe{h}UJ=im@wxXkS|6&8p`W7stN4S)}kraLYSWfgu|T zK8oWR8O46XBY(@PI({K3Ja()!OZOdPW%F}mrP0T?Ojf$ofs81Ei=6Ms*H`?{;Fr|m z<^||`IKCEp4q;`x)?*nSc6(XOdX-Oqp4VNE5_U^{tQ}qqrPEI1$M|KZJy((6{&2Oh z(yQcua6%IQUTaYN7!4$GPSb|RC^-KN5@fLM<%ROgFMqf|YQK5g|CyS2cgL4QK^+U7 zxH{g-wi{L!(<7^y*)?QL!F0*HsGG0ID_y!xZB}X_wF2H06jPF=-zJ6LKuyw0j+8Tg zMXxayx}K)_AT66zaF=>GW%WfX9*mkZF4-*IWe(+6wT0t`g(i7IlTP* zNmD`bYgixydSCBD5rtboDO(%WK+FoTTFdR!&O8{&NSa}_G}Kn;P?}1U4iZ>eq`s&@ z?_uuBuPZCQLHVst(NHkWYB4I`{rN-^j=W4OnJlV1&_wemT9qttj0z%Wxjctyc6e4B3+CvTZlT|=S_bA0VIkTt&r8vZZ(9bhSY9kPPfBlJM5wL*0 zyacFI4%7{V_k&9zRF3*-46ZZYTya6+I62dlf!!JrCvWamAQynJ)RBU2vQnpV6qIDm zq=~t`wfWb_$LIP9T4XC$mGOP5b zosvrlM@MWsEWBGY>&E4Xu<2CN&EjCAt)qlfh^3lj{OlmQb0@kYxg+NhBuwPw2dw~t zA6rOCA8-?vbk$UP$=bj&t2>2h{O`U(XEIH<8WFSbz4r8qZmwnoT(G#&wmCd zR}2O63iJvMMk&3!i&lL$s2oM)4V`1ddabUVRPfpCnZhcVJG{bfjO}K0IPth)Rmv&7 zb)QJ>?B2=pbmx@<6{e*jzL!j{3=e?XvG8c*=JX7Aj2VI%#~Ajx_)9}rZ-7pI%!@wJ6*S<#ti z4;{;WTwY%Ecw`P&$sK7T34ioQSm zaoMbC$~^vS?FYi1$~&aHuYPKgE`j-d-J4N!f+1?1Nd^l!W{e6VY%g`UOHHX7o5ro_ z6-(Rvj(r(cU#*8ea}clybtH?A>Disv{dCuh`^jy}v~u?L`8(0VwyV0+kL5A17S=w) zEP{3kHa;XQmh!Xh&u(Ff&wtw4y-40T0NtwAGoLp#8aFF*mEHk~S_J*Z1c zVni;zf-|SO&4ZTfJ;|nRPngUfZ-#O+?O!K!eu$gk-=OmLANv4e-hUei=5Sd4V2Op% zX-&M(aq+n@LO5clDS41FSv5F4 zB~X`eUggxA^V(yQ#c28wZhleSGb!)xdpxe_9dP*Dq0L;7=V9i%TRnzG$Fj&%0u3+O zmFT!_&cbJ%6@Pw}%(OgA5hyty?@F$XBV3_wkxQ+KqL873$qmNXZ}ND<2cFfXG9bd(vKx#n@%=YbC-t(F&tI6D1&5|&(hFV*}344Nw$gwkBM@sNxLbr)a?Q7&^r%niSGLX%P4F%+J7mn!QD}0N*Tusb*K+M=(A=M z+=U*=2+A-e(h`z4qxbb>?2EzV1B?s!8aG@;yNL+qkxL^kkiIX88xoI|6dXy8aVDp~ zN+preqB7Kz=ys)YykE=iKZ{F*msas#_FEuteR;4a->`c3=)6U|m1!S=E`hK!cl-|G zzwllGZGXj=wQKy2Rw936)12?396cg8IR-~zg+YekL7=`IG*TcD=--MYK9P*P*GC#>SqYkl#^+GBiuzw%qs0* zAtJ0sX+X*|suBC^VZqwS();7jaB)|oCy>iRFMp4Y;wmW!3Qn8^o>zYfjOM!D)6_6B ztn?M7Ia!);7g0LS50`n@QsG`}V-tzJ{<}}xX-Ju52FojcSqY=u^KZB}0*fI7OfM4o z3D71TA8^~wT(F{lJxtq+y&Y#Ge1KumLdfmK!7TK0kT) zWq%AG`$J#lua!fOP$Nv&Zvq931!POm%DcHBaXvwgXWK$8~E|SA-x6r5hF}Y z+jj5l)Z8*#!{rm(;5AVHK0@e4BQa^@#ZmvZ$w!QN!khCOvesD|IUTSKY2?n#jejrn zyh;?rBFd*p@5vZ;%DAF?(`21?o*uoN=c0mIs}Zvgpi-oon|0pOFj5LPlSJ=ca5G&W zBKT~>uul-BFQ&bbetgNo3Z#&Xl2k#Db>*l#^N*E0UaU8*p;6hl;$208AQJg5nGzj* zG+R-(XjV*fjlKq9X5+n4l-zoAet*Y{C|lE$Z{x9=6hH9XksXe=)6VcC+~%0mbb3hc zS)5-{Seu=EOl*J0o*gF8yyaAZ&NQv->b@>$mKDNdS9GoJFp{_>B{s*KWq8Jtk^gL7 z%{KV$>_={O+}K2r`Ao^zQ+LN6fWCv6dc7;i$C&k7q*a5ss6LZq^sMTrM}L85w{1K8 zPtmvi4D<>z?D52G^mpFv!fzf|o9OV(w`+Cwo4xgP6Y2b_d&ghQ-0fCq(I6J&M!!2W zJu^OQJ`vg1rwyqvr>R?!>a61vw2qr?IzpWaP9m4Vp7rcMfl0R!67oZ*mp$Payfi_X zNTVl8NCIp=WVm;Y6YI7xb$|YwlP(5_v9JhM`Ng+tt;iFX(nNx&u~&R_%#xwotsQ!r z_ZEeMrU4qe;Z7L?Z47B!J>A#PTM<8$DOCGa@=@mVx^v5G7=54lvEjNXZ~5nvARnFO zVv72`lO)=f*7t%y9fklI>33_G*q*36F1IUD^muOrV^f9udD0E2_kT;N8zqJh2V;;4 zsH@OC>pmVnPiz(1S_P_`C`WUCn zN-%$nwm8tewr_8-hvY^85jm$$lk9*`xw`FjAln1~8GvqZ@k7wrvpw#d%CepQOvpBwI}ZW` z=*HNLWoP^K-&tCAOSTMV^7vKaR;!n@_gUJ2v?41qX?3OyJWS>!JX|IUeELiXpGj9_ z!YFu(Oez?6iq=R6yEMMrOgXnBoy)Yr@sMc`PhVs@1bE8KC=E}Q8GnE&y~%6=FucvI z1hn2~)&dniWUheqL1a$r9T{Zi48H5k!AAy@d4o@vd3yI*kTO$6kp+uSk%fRy3G~CD z0wmD!(9zJbdPfxoIu6&^OlW~?fLUv>DIt)l03Fz=40cqeJkYL$ z$#mi6juJN0uE1R`Gk*fuS0Fm$HEs`?)kvT$fI;9=N#M{(SS(fM1@Nu_mRE>W0&`Y^ zWM#;_mtjXKU`ry+N&%n97w9T@)R{s}6(Dz|0&*x&BLaFJv1njlNTf*v+rohSl!hI$ zfHg|P4k@+YQ3iHE2WCOb0@MsU4D663UC^iiUa$u{l)`mjHGe`G>;Xohyg)i|T>$bt zOzJ}7kVhdKz2jk(Cc6LxS{JBD=oqjjFcP6r?qEqmJFp3jBLPH>RGUJ9N&vADR%IIC z7_j78&>xDic8NSqBIZUIILg4SSupjKgpL!*KYT93v#jiMpl z8x*0%F{{On1b-C^>riB%Lt%Y^J%v4s#)&(E#2)SlV7xNGtSj)y1iXcP@<$9*wN0fzh?Pqmj6C^Gs*J9?5Ada)>P-SdNSVAd+O)xx8HVtdi`JJ^!caR zv>Z2=lj%)~(^)xhveVQ3-N!KU^D3MO#4w2cQC&8>`+wtd^sT9W-h|cc3Epz}cpo-2 zp^FxTVtxbMKGT5J{Uz5;wrwm-U>OzYY8 z4aoFIp?{3{Y{YhcJ*w)E+pH9nf%^fiHf|%-Sc@G8I z)@F~!v&(8a28OfGVDC+f`lj_;CzJG&ZMb6#Bbw3!g2V+__vnfb?KCP>1 z)YD%OPxjp3JAXMT_ar=ZPKpC%Y#d3)A$hlnj;+!;r9iC7)T&Slm~828cv77u-oxRGaH z;5dXww0?`ZB@K}1Jg_KXt3vh^7&nX*IHGA>;GutT(0b~7Om_&2Ltd;vdK{!x8Z;m~ zEo4K$VEfPt^+{4N8s9A zph0$v+&Y5q0>Td{HRTn`1*k-QIg}bvW59w0+8v#8%^ty^{l!)gUEDg<|A= z4FthZhgwLFNwzG7F1ihmux1z5KoQ*PNXLJcQX5FxRIa?Y-$bzK!@2%e4JMO(z}VTf zY<4-^zfT*_c=S|TZoU`j_!yo^ad&4rTf1Xc2RtU!ZrB9%@zS3`{fGyWTGY9TZ2|vG zD3Azhc?A>XEV~}pV~#Oe^S%@$7_jDUK*MUWOFgf*6U1E&ld3{nM!6XLZP5r_+PjvCz- zw+0Vtpdc$SOe=CW+{d~5e&TL!!7>>pRFdcvspS!530mRFArvSdFE9ZxED5BOWrM}9 zW~WL!0|iP;ju9$LL2>{@6o;YGMSy?Q_iPT)JHiT&%3#D$*3vLjL9HuLbWFKT`hBh- zXh)#zi(+455QCyW?%>f@4n#32i$_A#KkZzs<`tTvHdOK0l5WyjmKFE8jVX(xv_p|R z1=^8~P8oeg@ECeqdId_=Vaw7MLc@S5$XjxzMvAhSCScA1q(U?Y#{;vLQVD+;;jmH! zMSha#bYyQ%E+|i1Auz^a!yH;g34+A)fB_#R)FuTMue8WwG=&t05DQKRaJ?-s1yI^k zEKr!cI6)>&k+{IyGZehS6T^L;`8O>(0|nxQW8^4rp?H`-8iG$bE#z^qKJPZ+Y~P)2=^l8S+mgCXOk z7F}~^fa78+jMaWeR0KGtQb}J)imAz(C~O|5_!`CIk(C&~ll8ntLrDqwrwG)l1(q10 zks-WVAUDSeAomS~l74^hJ}u>TCVuX}?H)j>SwGt1>!q0eWodf8cBynGt{f-|C{yC{ zh+1AjtV$~QxlM>K1r8vTF`T-y_&5P5VCWhoIPQ@VenE=oiebN`jLmA)bo zaVr<5V-|wPUaZelTN!eXtJU_N%PIr4C{AJcu7JMFAppyFp~CKOS6I!UJBB%U&Xvr@5!|_jZBV_N$m1I zA9=?SG^(J)v7mpn8uTwH&!Za?r#xMIpvS}95bH#A1X^(rqU@Rr249fJ;}o2HBl86Q z--Ut_=@4(FP?{7)yj;}xTq>eO4BgFGnzbF>bGwuZYu8B3vozmMDuPIMtVz$>Q_yrS z>QT`F&|o*b&f+(Aba#Vs8AGn7Jl7P8ER%8{gUOzzNQ!^=FPJWpE@>s+#RakevyRAkw4!ExC_Ynbw1)avo`UrF<9nb4TNHwl_C&!;6Ja#VUb-q3r%9X?%_ZbL z)XY+2OH2Cbzf93qjLa658*D(uiOAzkn3_67zM zPS7TY3dL?#;(?=`k`x0%i1fwYf zUiM@lZ?c%D9W-WyCA~_Fjl5&AisxD-khh`!a*oO6KDFd0sOBa+;Fj;zrDsDfRz8kn z8(WLTeBJS-K=d_5EGR``@fL-L8K~mCg6d~JMTSpCSX?Bq{c5&0wmgidyuDZgiFUq* zzM+3l+?~LP6!XOZwaiT!-*0;0Cbcfzwls7Q*$Laq5 z(T86iogAG0DGHbwl~+xsdC9@S1z@Lv$_>&X(y;Z*7oLA!+y4julQF;5M zs;{nR;HK?Pj(BixR|EiaJS#`_`TqE7RKW-goX)D7cc7D<{6pLY9uI(Am($Z~mi>Q} zzxUzE*tewknAbw0|+`6R#1Z_8;l9#xk!?oDxfKFw$OJpa;_fZj#|A0EBi z|M;9F;0FW{q5z~aKSlsj4hmrQWzv6T#%{yR(Tk&#lV`xp(V#j(I=eDh{DQ&Y6@^@~ zqdT@)B)mW#IKYc`2`fsZtej2D^Q!vF&+A!zdolUK3ha!qA{RsR+wPM2ZL$ET4(h9` z<=a^@b5ma|UuL&C{a{G^8Gu>!b+$Aig0XlztGh2(iG>|>Ul&W;x2t?U2Jn9ub#pr^ zzjamTw^7~6tK&yc4ncJ%$3vKjeSrAK|E$quc8;Kg-XmS(%^b=aZWoJiiy!2;M6=zE}Cxv?@UfaE$+# ze}bbts+y)f&(*Y^T;#Xcb^d=(Jjb8&FZtK}TmHQxM^$Vi$3G4ZpM7{qa`YQc068>K z{3tQ{K`|bX2w8kAxK>W<f%@FpL3ncB)(zkBuk#cK>#uZLKIs2k5n5&n&G7Y@#bjVFKP5uK68pyDTV zPM(3PPk_&tpzc5N*YU)>%ir^fxdE$h%JD^BHlX&p`Gm&@T-K**ws3pUXP1XZYBU)y z4^~}GtEO%+LehfjpLsa~JG#XGbx!|3!@+~G$$X0DRZVXI+u5jrP#f3Xa@ppdrC+12F!o*pLx}wH-*k*RsmdE-oCUUxyhUAre@lk>NDVM>aTe-!k9kG zXV=rJ!Z?>6`22e{?FK%zRp5L1;$;8ygbYItI8QqDA`9OC7`reV?BXOxhZvPmlc=MV zH^>+TH(Lni+ZvH<6;PhOdiwG05sGBM52`k?D_rqIMB?nANDhDDaJ+(}P;Rz&O8%lz zUs3LNbBB4NT}HtrcJ*adczUZS^7zpo?+@RB@J>&MGh-)O0S5YpYFL2ydY{Blr4lrL z*x4LMNAt4dVonH>5>}jnb+g|)E2qoclzY+W z>*@KZB0Gk;8z3*QZftUrog8o&1@;B;^CWm3}D9975!W+BW7J8 z+pzfpUvHtjs?X;mpa{|OCdy*DZT`XMXAD%MuJ*Qy)lYw)oxUaibNZ(ph}Bpnd$4** zKWFg+bZ3UsStuiJsxCWQMVNQTFOS}RBzA`UDWo0&e<4G7{L(4>2wNQXsI9TE`flbU zsFgomXVam?w<_Ez-PM}e=P`qUki!^ zm1Fob`-2-{;{xxeb;U$Hw(AC~wSK3z$lfK`AHaR@KBJF4+;Qf_61#kW;dQSLddRidj9euCM%e9?_hNTcin+)Y1u@8e%FI^_qsH`}A{=goceD`tne z@>2DwuYW*{@29$b>??K`I);}9`3D%@YJ%FsZ&y8D%DwPuiW3#p=85#D7gk7mRbEvM zWTulj)*U4Yir^q>e()gv1Oq((eh75I4g#;v;?wYx zBL@0We)6T=!*G}g(=zqK#ix(-2Y#2uojAl04#|n##=W6ktXsK-NEg3L=Di2w<$N}( z#|VZr53AxaK-FiGd0EP!-CNJFcwo&y6+?djg}RY`{JRtUKCM2}-=j$FgLYiw-%eTV zHtTo4sJ_nV?^>+ct(UuHcXvy4#9btoy&xs>7ePnWJFYyGPU?XgTf6dScO|S*F z!Zz3r&9DP@LW`T#>D6|@?t*zf15*t5P@RV}Z~>;_2adMEK4^yyI0T2`DD=W{7=n{< z3dZ0x(5uoJI1AHo5w6icdKL64_|)K?V=weTKOE!aPH1(@XY?_9dC9AA4p@rPeyWQw z33}QAI09X64ZrBxgU|=ve{RhmHOJFR1JLi*_EvLx?l26xb*^dd1n6laZaqVq8|7)^ zFah(-or4Lt;cvH^gc&&RHu+j}Q=EK>N?dT8{aXiSIdBsB|Q!U2XsfP>fuu?=Dy#5Stke_s8sQ^;SG-ERM( zAps5o90WKBa1h`iz(IC{?8at3hF1%c7)@?>R&)bW9Hcl%aggF5#j%4c_{t!EvD@wL zoUYgdEzk<&G{|X?$>?yqe^2M_2ONY5eSkU!)`Brf7gK#-jtI+c`_Fz)4*q6Z` zOxh5HCfJur?VJTNp44KJ6LSpJc484%7-}i>LTr+xkpEREIV%hmhE=%1Pywm%mFC$865*-D(4oMvNR|3@t%nW38{~CR53A4s8-dr&H-Vye9U7qt__lltY=vvE4YorwD1SR)7wF%q zKV}QGg8oBoun*edG<1OeNC%)3y5Jxja{KFNecNHTf8VP*;$D8Js@uK2K~<0YREMgg z?!R@a>UIC~UYV*s_y1~D^?PBgQPnXo-29~KxECHws~Yga`(;&wo>`Tu6P`8Cs~Ylb z@E=vfo>lr(jd=F!nyOLH9zRue(z7>DRGsqd-MA{ndl8nrSbn6{r^SgDC%T*HZlbZ5 zs}%$uKzf?!X`-izo~AA@)>O=k^*`AcLS(&u3T19&b98cLVQmU!Ze(v_Y6^37VRCeM Ua%E-;GB!3dG%yM!B}Gq03LJ&|-2eap diff --git a/verfahren.tex b/verfahren.tex index 4beaa96..1aef84d 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -212,7 +212,7 @@ \item Vorverarbeitung: und sowie Wertgleichheit \end{itemize} \item Kopienfortschreibung: \begin{itemize} - \item Eine Bitposition pro aus Kopieren entstandener Wergleichtheitsbeziehung + \item Eine Bitposition pro aus Kopieren entstandener Wertgleichtheitsbeziehung \item Setzen bei Kopieroperation \item Zurücksetzen wenn Original oder Kopie mindestens schwach definiert wird \item Anfangsbelegung: false @@ -723,7 +723,7 @@ \subsection{Entfernung von schleifengetragenen Datenabhängigkeiten} \begin{itemize} - \item Legalität: Für jede Datenabhängigkeit muss die relative Reihenfolge auch nach Anwendung der Transformation bzw. Restrukturierung erhalten bleiben, die entstehenden Abhängigkeits\-distanz\-vektoren nicht lexikographisch sein + \item Legalität: Für jede Datenabhängigkeit muss die relative Reihenfolge auch nach Anwendung der Transformation bzw. Restrukturierung erhalten bleiben, d.h. die entstehenden Abhängigkeits\-distanz\-vektoren dürfen nicht lexikographisch negativ sein und müssen ihre Datenabhängigkeitsart behalten \end{itemize} \subsubsection{Schleifentransformationen}