From b0cc460874dff5138eb4182a1e1129e7a8bd7cbe Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Sun, 9 Aug 2020 14:18:06 +0200 Subject: [PATCH] =?UTF-8?q?Erste=20Struktur=20basierend=20auf=20=C3=9Cbers?= =?UTF-8?q?ichtsfolie=20erste=20VL?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- verfahren.pdf | Bin 0 -> 36001 bytes verfahren.tex | 18 ++++++++++++++++++ 2 files changed, 18 insertions(+) create mode 100644 verfahren.pdf diff --git a/verfahren.pdf b/verfahren.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3d8bcc4a5714968d2d5ce80059251baf0761bd17 GIT binary patch literal 36001 zcma&MQ>-vb6s37=+qRAW*tTukwr$(CZQHhOYwn;Ylj(lwdZ_G5>S@(pJE?q&R9;w= zmXVGXigbQ?WF3lwfPuiy&=QK98;V}q#MaE&oPddgmEiwgQ1qe}*3Kr51oWcT2F@nJ zCPsF~CQ!V*P)^Q{CI&W8?wc|5JaR+)F#ZQUeS=0!!!15~kl5lV0m14(&*7NEVdIyXh zUUyZUkvFXxBV;qt@DeMk5!?arfK7(1H_EFHeG+hAs~O?9LWW;ku_;2aE$Ve7F?Qg`(AeF zTEEn3S7lam2>RwOrsL^wp{d;YMVyOPD=={^AHyH>Mol@3U@6+?E=kpmVyBvgimKarDmw|>e!`~fqgX8C^9U>Z}Uvh!D zKs@+ur>SA{S3^TYX=UxUHc3TbZEgp6ggETiE8V`7DJh zX&(F8l<8l1FNj=_Tfgd!9rltipyknDQlixBV}hbKx0jsx#Ex z@w<-IbLYQ=OEP5M%^&;6(xxAJp4-D|^D-GIc-K7L&!**3T|K9ZXC3t1_?tD>T$uKD zw;f4ix7iT5_@3t~b3@T5*{$FC5zM@o_VpU?Y3F3-_$sfvK$alp7Hn%LV5f&nARe%(z~MnYc?QQ<&j<%Sn_s|{S*oD_xdYf4|0laK5->7zF#ZqoF%ht_F|quQ z6EgwB|0oIAS=pKXw_WKB&a!>8N>4Z#zAJ*+lcrE4eAn})&wzo+9K8@Bt4mZUOe6^r z7=a|{tRR|PzTib4fmJB_K{nwv`?2eEr}&5r==GDF)Egh1qgCL6l3xY!m zf`pa=T6vk}FC0)<>jSHvz8ca|ytIr{iAMF_CZbDGy>RSv-*TW5EQc6{L zcyCV+wau_`DIj9}L4;F?6z)SE~nha(iD6>Pz=l5I&v6jM* z0SRcBN?+a#VjCR$0NO2pAYlEFU&)3izW^QNcTD3hE{Nd%t_v_QSm00g&F#5PSpNM^ zzrKlia0wa)K6r4)zg8Xt#Js$KJQ|805@^6aO)pkI9Ucf9{uNlrK%cyN=x%m^AJ)W( z0E26P@92YrxImWz-vFQDdM%u&Z&BY)1NXKt^8PuvUxC+O@25f_0m1CL1w8V5;~JP_ z5FhWmZ67M6tNj;iaAZwt7zgg5xC19RX?on(mRh zM=Y?KZk5*A=H(y##>DDwC7=gS!%njRel2kjmIZSM=UVWE+csUGc} z`JvB-iYgpHzdk;gLS9^25e4ECl*!_n@Hx*Sx_`cJ>s_y5(_Rfk{#34Q-Re_q%-0Xt z|INL2>}Ul$?le-GJ~@z(b9 z#}LF*P~YE&Tc7_TVgQ*R*S`qxyH}eU&sV$>*3R$4^S4zQ17sAD591c}^MzHwi!~1r z9)*Z-T)xrw$f0NGJ+{e_m$>N)fCx;9 z>>};4ExLv{@KNkL^-p1Z13hBc@rE6xUgultSH>EG1mF-R9ZQU3O2kW9ggvKMsrQJ! zna$oV*lOkxG*A8>rE%je`+1eQH?n#h^tj=%DcALJ1Jz}hxWr<0YQN_5Qp*9hVl;+N zhz=)FCUgx8FiEI64-C3BdC!drnGrIBvL;O1GfZ8WyT5Aer+g^o>c%T=`J8p7f=`rr z--q0@l-|{Q#=S>SGVLAcM}%VGyFo{IfkG`;=@o;A3s5pVBRn|LiAJ%W0U3uFALm2oBpb0=n}EvF z>CF_}7JsSM*mnGlyugI@3ye0Z2nCtJZ}LlFO+gWCO%^}z?hc)yJ*tY!bmZ~Wq_XWN zg*|WBh(-;x0y9Q1>Y6@v0jeqmr17$ZMoQNA?vN&Ve)U>Ci{dV#EehtDBWVJCw}pb) z&YLR3Zo0KIhhVu+19_na2{kBz({)3e*Y`_xB=?kh@X)$%`Y%CpE{T-+;=H?0Q+iOZ z{KI5*wn)H&by@VWhSJLKvOFws?1)pPwB17TYG%@ zN1|mAF4XNnve^%JB{WKf6+8FwaC??0&ucKHg*RyIV18T4>ft9+;Uuy0~6|)$h z09tF;*S!jdEo)SiA~lS)6(F>vd*kT~6li(fn35BBYEWa!tVYu1ZOYfW%8U~J#8`Ka z*_vg{R7Za4`}jBZ!u)5*a+8`K5X)2afsWl>ceI&$h^l=|*-5<&4Dj=?{W+D5ldj^o zIwj1Jk=Her5vs&_w?qPecoPxdsL+m1O7ibc@T9mlPaLhLcxz%{nBjw^c!qLVwcz_H zN~xrZ8Gsmg$mqc>L@Jp(l?vp3cs<4?hUE?x_8L}Kl4m-B;-XX~KU zU42Apv&I==;4FvRY^ZGKU!ldN{3 z620wX9#`*nXUK$l2)<#|N)RFQ=nX~ldc=i~=8`36JB zHgmNbzf#U_KPb9WV7>KA) z3zrSune_v=R2_C87`|07B7(x;yqVp`mJ7-x;d>Gql|(9)bOAP+x7>r7OqW?cOrVDs z;**FMS#q;WbI42#R)miGxoMI0!Hg--_rblt(l`4vTr03DS{%iBC!8O~nQDAGrVjpx z$Vo0BK~Es1uG&(x!Z^d*@>8d>-sYWL5k41Ge;_8L9Kk60ksNNa_C@h9W(!($zweL$ z%;^sc+@0==l3$|-wBdnRohzxLD#-=3Gp9$$*d*v&!B;rZWb}vyJ1xyI*;D2xeoTC# zd@42+_9=}ZXx8nn57#VG%MK#;(d%XIPLBwwYs`p~PK;6$cUc~Nq81HNZoj*M?TO9C zlC0h&(%JeY+k(-BQQl1|-CRG?C_$&24}5@~Noo%*)K%msQ~)LKE4-`jS3CDaa1t14 z8{#h2)E-4VuG!)gq+$DCupxd7Ni4m0Ozb1Gyp_cKT5{^a@@kN-Lm8D^=Z;3;P%)6h zk#l$=3yc-qu}j2iYxE~HOdbXG(%a`qY3Ph!K+oxJIcJM*R{3cLR)0e_o@Ugctq(0$ z0d%)vz6T``X`rmn1F7Srfwdaw_RSy&r4?#y57HPY2o(PMDcCaoTmk=NugUrKmhNQG zU@Ou`X_BGruLaO7zp}(YEnslMZjMAvon>r$5>HUf$-$)-C!hs=7tkL7nBw| zv8Tu1wJ8-W=@NC=#;5a4W>U#d-9b0aWSc>Y@=zDS*hW|HU|26u7q!y$Ss0Y#SD=9a z&&rTCfUwbspe=xI+c|Wec;tgEn50y^X#f80`RNmA{#J^aqoIty$iBi1%ZNSOmrrbd z*z;Ue_cz?8cw>f95_2p$S5!y>6_cOCV*gdO%9OIe83xLxNW@X`JKgL&a8UaK$c|fk z2eIQv&7P=|0V38}H^^{O94y??-u@&l9crg`O6%YDfD9#ZpZdOCWZK^|+1-XDxe5y^ z)?C?3Otg25DN;mbr&09C+S+Z@3=ak!*3mLxj9{<=v#Ccq5mhwuPjiNkx_0-)u(+w9 z=@!|77#UpJm_tc)h%q*&jR%=kylVT-4YT8Nit1FQ@IICc*HrF?BVDML^k7~i2%2#B zEGLy|hnUI;Dxvt>Il4-;tfnbtG=Rv zxZIG;1z)-CW_AF)E{@|XE>YCsOvj8KcJuiZ*-8Qwh6#+lRuME)U1u$P7sVTOFCoD! zD)J0lbh2z|%`wcJKL8l>{miPqUEXfbZoWe7m4Bk8FX?5KqJV3o>K6XeUY3X>DSe(f zxhs}h)8sJ+wjJXx`2J>lwZ`w3GtB>hZU6LFA9BW^Fxfie34z@F`G%Gjriw_(j%Cz< zlx>cE@jM|Zsu=a*R#(b3(l^@t;xAbC;Qn6YUB?vai2isFVA}h+;oEwd-wzQ>_8xP0 z2d#%bts<83^U<>nl*Q#vu5|LumT&Ul;P=^}-M=wo-Xvu`ePUk`GnQo~2POiJhJ&pu zE2|*~oM(dvQw`YgTi?`IMK1P-qhxg%ZFxoMwK+mUZ(^yzM43BYj(d0yl~xl5%5B4z z`KGITyFBQ&gCzb4_W#YJqNrb^k8~c(mmn$cV!u(nhNTzonIjVp#Mp(&h#@=Rs!bq7Wd~q9#cpKi;ICh_q}+lTC53cCey$wNJuNR18JE zERoW3y(YA^f|TVy2SnqVNdzfjHm3!qH_H}Ho*2Z$LG0RogR}4AlLE4g1{PC*ZatoK z{ZwS~=C~j>R+D8jy_J-A;OBUOr9KH*VI2N=_IftsYoU>!8%Qf(XUHh`*T-oA-r+iu zS2vkdk-S7v-J`F%nU%jC+9~i@&=6O3Agg{W4HprZHaJnm(K_!k+PF!@Y$Z~5WB2^C zwN{yv$ZwHv7FZ2iq@%DRg1W*(&TTaPtYv{L^N5lrcYAMu&5JQ7C$V7cRu`be-bPs@ z4k#n%R_nfCkh8i&U_KJfQG8+udsRx*E+n4nD#$U^NooJ^p@cXU+M=-%am3{(v_XDd zSf}PpeYm-*N9cbS%+4LWLBoIXMxGJkb2Vi9=Zk_Yp9LJY!CR)qxAhz9G|CoPCBtFa zqssjlDUfEh)FIzfXq$CncFL1d!F%)NHYfwhPtG4ZlmG_hw#ch>q|W2k+%m6uETnX- zLZFURZf9Jh!Nf)~Mii7c?u_4OoIZ;c#zrVA!NhH1YmlCXXrGx<&7Zx4sIpa5dV=_t z={*t#CV`B}kOilXZmX7#hgDZTj_rNl?TrkLaN#QgrHqIjfSz_O!Va=?Eh~p zgO*SK&(yPcDgSrnT~CUrw%`!@B10>0&$*`FDz#WC+2+3e@(X4U%cP}|r4Ocuqqd@^ zX>^%n6FDqS*52dUt-+$@niRuQ2l@4x&%lM_E1sYYQ;pRgA+@_&=`2l56V<^l6}X?% z1zLt}sOYj5gD`^--$v4JV!Qq6LubpaWSQyHx-e~j@zS2~66S>A?0vnCA(+&*h4)SX z2@t8QHQZ>_!4Se0_nPsD0uQL`U`+dVy}t-{ss~1^+E}Zqcbp50(eiEwPS#5%U-!ZA zZr2~(eJPj2aM5S#9x&I)^~Uxza_!>drm?FxpecJi=(%IatQTNS-s}zzaH6$8%sS2K zZLD$bF1yt>DHA&Npf%s|W3`}B6TE{qlrbH1*AYD2U|7u*HY%0+ju1#QL~(CMBs#wI zx~SwXJ-<9VU78k~tCr*mw{Jof2Q9H6AJyw~WR5B#K>Gm9bjk&P_--Lh%Z8SU%|r33 zIC~K)CR{9!K}e0PIoUK%v>i@Vhqs&=ad(ot^Z5w!?h&Q*_<~)>Le1(rD-cw-eo?Ay zvA5U8ho$zjw|eQxD&{8)N=8otd}dm!j8!S0oo_;(C{8S*4h{J$^$joz$xkJ4az75o zw~{j06A_}it8mA7n=@lBip$}S`sN~!Q+Cs@Vr`ixHOX5_et)lJCA_aP=6P3%4$Vy^ zR=d8`|1&kTZLY=@hXwx5#;>4RG||sQmFr)sjAXW}L5GQAI6Jtsim1Z&E|MT0YVoO- zEkF^pC)RcvxQVq`ly@DZ4Ewo>vl2!jC4*@vsXq0rieFpqGJL2)>l8Z>(yhCj$O-tN z)l;b+yGOj#C2B#7R*sdR(6)vqXHw8|YQ;48R^BJOCOH&~Uh3vJ+_jB981%m;etdXK zeFLTVRW6ztPsLE&Wukwx__=0&vfL^M8}_al3BVJd%7*M{9yyLqOxJZ!~<{-6;)V zaZetPf+(|cSkjt+O3jpz|D@elr84s6+Z^1&R;0x3(!03+$aiyVi-6`EI@7Cm7=K=F zx5x1Cn+=2Z&PL^4UD5p>%I2f>u-@oUu{k%i&#pyXwG8Wi{FB+2j4ep`oE|1A&9)-fAV$!z|!nNbuN zZ}xDSGYSpP_?k+7ESF zU$_l5B%39edw7)?(?|!)i3%y*ZO`uqtAUrPI8_-a>=DFa(V;v=1*P`)+g{t{2ReSjF_Z`81*tr(r?*a15_iTE+6 z!eb`JYtRN$uo`Da&d9A%@(d&c?LFyHvtfN3GT1P4PYg$M+=}TYgynP; z0KPTEqcWH1)+q^a$a)P}HUEnvTvZie-oP!9h~epk4YE4aDpj>{DolAS@s7ETN<9KW zoI$F6!Ln?*m0%uBx|^}R-^kjwSB#wKVQHe33yN#=)dT zd3&tj^Knk2c^vF!xZ2LE^WKZ0`elxJE59y`0v9vz8KIdWe$(3384l5q;e|jd@GL>` zr^_vMUWD?}2!D{@j&XVZz?wfL7$+woV`9NCVpp}1MAf6fzKz6tvZk_BL)(+W+G8h0 z8`?G!$7}PsQ{>9eVLGR43z9^(sr6niCAd+^zDR-9PpVQc{-X&GHbZ zq-J4qbMClU-4%Na|;%pV-xicC2&IJwe-Xt~AT7pFJX(v(N?Q;0m zvZPy>aI*Qi8nW(c{K+T{mZ7^*!B?>)ILe)qOhy&qgMy^V-t#BqV@2jAYpfeLx85F- zLK&rSaj+A5cZeS+x#9#R_9~QT+GDKK+C!LZ)U}R6aLAo8`obM7``5y9PEX~0v^VpX?lg4bS<>7dj>sa4I+xaZ9J)YRnDTcU?6 zjDBJpze)S6yaQ4Qo+4Pa4gWn}Jo{C$x%|~GTchgCW@*#umtUFglZWG1 z^ZHpI)=14c{AFcm3Sc3mb=}RdRFOK_OnW0BB)I0YV6yHncHpfuJ^o}{GPYd969ZD* zgP(gC$1$RDoaVi6O~iXgVd)Y<)w%d9`M_~=d;&vXp(Dnk0g(nh=o=l-a+T>=E??z&Cfczad39AK$+ z(1dn&0m8RkQEI=`-+@>X(ySx-|;SrvLdZ${)C*_NQ%4jfN2pq#4CRSP|nYMd- z)LtJu!d{hpl>A#xzF79*b3bBqk9#th6TL{=p#G%Bn*uGf!I!<1#@0hO3Gq$P+Oy)Z{bd9b&-`J#l~3B;Ee=`}_n(e<(6Tt=cex~nf8V#dMa{=IX=!HBnv z@=t=(lr;4$1f}!_V zp!3)ZVBpGlW}Q>=y++qw7@=IBeEF}ywnh)c#5WXzGyzcBegB-@4}K4LlluPx1^)+k z|9{Dg|4=YH!~aWsnFu&J7+C)Y|NZ}>U`7T`M#le(1^;gZG@3z`Q7+Ngq=|Q6nZ(~< zc4C5^gOGq>7=~eBgo28l!w7N`7iq=Q0>#CtU<3V=#fQSqvb|dfi6I7Y zp~57-rvwlI0g3N8Nf{n@<&fck%e^>&`2zvs!$HKAfgnI200IvG9D<2S03`M0%4zwN z;Pc_a1hySCP!DQ(Au_-_FMct>!Y~vaSZ5(CV=k)iEsft5!@gKkqx2WcNqAg zuYo?An0d8T{R4oPf8=!WZNr{{hzb0?1~Dyx13LD^-21HwA^Lv~0DM?s{adL)Udx(B z^WeDs`) z=nya#ao^m0B;`SdPk%Rk-v6?zkzsB@pT3~i1q@nU`?Bg^>`&N(1$MXzEG7Lqww2od z>|YT`_%R?rA|s&z32Xtv+hTzK?w-MTYvcK%^Y@;8zyW=0?bZBue30V-%5jf>!Pn++ zuOR^m5b@#x`uwneu@3_I0kq0tk@R63!UpaCCVb_Du78K$hQ#=L0ObPSHh}^C`}q9+ znETSwXmL)jpW?popH9>mR~Z!94}Y7E`fQ+}?Ct#V>+%u&)%Y<$5YUlp!WF+EE%{s_`l~2@9Zx4K)rrh{bKuEgOKm{I-2+23PS)meiz=E^BLw(f1#iM zs-O7;fB!&!xu*VPj{dafjo{7B_@;6E*8liS>!Fu7&gjFuW;_Y*Ug{wG_JG#^I4zKX_tpi{Aw)4?|<;dhpuz}dPU2>jLO-ERly^h9p05_{2oL5(xx$?g3kMQ3i|X= z0q7whzVWwyOgA`o`fzUFBEN?~I`p#tcoi{Cf!lt141flS02qJ(Uk5;Up(Xg$G4{bb z^+dG7-|(@(?w_~j$`u_+V0QzS3 z#MJ@%?ZDsozh(UW0|9)${06>;=l|Qx)BFe^Aojz4lCFOV)_uDE8iN47@B0eod)lsk zs6m}V*9rd&1pFHOB(Lo>k8^v`(Y9apE`kBR|EN%%^|HSD_I-x=9^Tkz;+_Nlro8oX z#`^Lx{P&*lDeUz^=J>+)uzd)_`HKFm-M+{myQw{W*lqiDv-KnLHX`}IN6hx>RKS34cUWjxOqXHK%ZiJTt$m@k=vOLC ze`a@932bJ|JYJ>wT&a%Xe6H9VS9BI^H=p~JC z_Sb|x$z)!Ov%%-T2Ml(S>)ASbsCooMWyYfECg~)vlhpuG(xnTCX7RUOAB{RL`zhPS zwkG`cC!$JV$sj%=i6bMnLZ?XU5p{auqU4UMtgpk*8$t^8y>c{G0t4|wmp4Vw_hGd2 zdA=)j42qM$7ma=^KbE@_6OIvRuY-ZJb3*zsczJtz!HbJw6+xUp!@Rh=JZUFM$V)kS zLN@1ltp^Sn>_w!Lyr_B+`H$$DtDBR>bJa5B-l4Ff!oGhvAnX<*ba`>xzHm-Mt zZ0QTG6qk{-BK)MnkE8@zB*r5~$@t>1$&vsb(ppR2Fr zRqEKNZSm^+r>^AVz#-~DZuA^US-aP%7Z5f;L_TV@E==%3ipr)3E5mCJiqV)K#30j? z_og<@brtepG59Ov7^W$*if-~IX#zg$bM1n)kesyRB#=g- ziPsYSyi?$hwHIVGY+6)Rb;z>ABpwkhy-|2+;OE|$EqI$q zzPgX*plt`X?&5osN(Qqy{&C$2#|=ihyf1R!U)BMI@^7UQvwA7GCt6;}Y09gPJ2qoK zLeG5huQchs#ZFIK>mYADv)i%g$?&ot4t2Y#ab`@IqR(PG1|PV?@(?*nZ6$cEmq(a6 z&A5s6P=DMT6XOWNYkCj0#>uOZ@kO$DOSi{e?IIDHDrvoI%$NBJm7r&Zb86BT&uIBq zShc`c8Hn{H3p@J9gg%CIbeV!)>sKr}$m3)iA$kSx`s}~O@l5Sy!x>8I zwr^#f#>r3swJNTZt6+Uz*^u5Zmxsx2Kh;O)y&>_TL$0ib%acKy!33tWi~bdq1c@+d z#OX2)pr%5w20|L?%(<^`@->Smz3cS6u zTtw3ec^1vQZ>S}5Ui;kDJvsVf2HE01#y6i%LC?VQqD@R%R|XZ~dHYcQe>XC~>D-r{ z$*6yHLbA#ba<_0Hhg}F_Og`XwESK>87)2_##lT%wE64xZ+%nJ7CHUQYtfwg=CZh== zkb;Cg!$q6~l?Ie`iO{vO<`b@P3}?7*JykFQe;N1&1_LOjByPp`99evm6c#oHfvi~c z3o_PZv}=6~F&*22iPhd-Us+v!qx_oFOj(FVLbbg$!UBzm)g~pbXx zXcBy#{7L8ko-&}RGouC0+LdlDgK&e#qBNB_Wz?Oc#>9-MRW&q;bQnYPbg2SgVFcO| zaot-<)ob*!_l6us&9^{o@0DQG4;THbM79J0n@xx@I z)&s=+cQbhi1@dN#>{p?Rxntf=$wTQO3xxuOSg__HCgrj{*Z}ICv1o`UrF4I;r4ohX zQ6k`#Uy^l4ITN{pRHFKsTF$S+2l3h>9p*lZ zvvO+2=__0~_~q0+@7127ZzD;~49PjIKiGZ(-Su;KBY#= zd=gMEb#-j1G3U#qR1>#-c@cEQY79(d{XyfUp%$U&&Re{fp%XDXYPDd{T)>BG^#Q}S zcrPzYT;8@pB|$XIR`%q51?H%{pK!QSv=m2EzN-y#fry^uA@-idr~!k}^P~tix49zo zi(wJaxot8A3Ayl~rDnBr)3DV08S-n~pl08cbbRh!M%S*mWuUF&d#++C6c#N)SOrc^FX$xI_ma{kZe7Kofp#%@l%1X_^)D&?=flu9T zCFD(=C)wx8Kao0ZQ5(m$ky-M(cy3P7JqYxnNYO8Vk=R^Zi5hXP=2N6PShN#JJJ_oz z*z`~KPzP@62f|a5hCjy0O)2;ES+0rcmYU?3-0z)!WZUz9rp0rGk45 z;7it#M4SgX4mqzil*UE!lSf*0gO%48^;%RB5JofYUzLoPa;8;b2BNmm&I?6<1kW;62sKih*Xw3v`uo zY`w@kq_o(Hd?^>+fKZJ~XS>NfWX3J%L7Li_Vip=ICta|m z8768+I+cKbOu3J?aJTMw6OGR!hulQ*c0Jpxma~Fc(;;EJ?FL2kFsuQ1d5gLF*3%J1 zYHsM2)7>B}w&4}?WtoQMgc zSg-^7atg5z;A~^J!zp$EznB;s*lIV@&F1s9qQ_{^oo79oAfVjbCBwX9QmhAMkja_7 zEwx!r&&OK2!xMRl#i&F{_bDQ@7r_ z36_!dV49P&_t5Zjo?2nSQ@5(X11&m}Ju`P|eGju&>65)%-{~&yCtQ!#aB$gf4yFk= z&OP%`q!AGf<_MxGCr&O*ZU}Qul2-4!WDpc$t)#cNre7ecx(J`>oKVmU*Hxg2~CSM=+2aR82vrTC-%QDB_XA}pG~jbi%p2GDDm z`3UpcF_FnIb(GQSI$Jo*XzS4kiIFCPLH>7!MGGD7Wh8rwrzA5-f9EZI6p$u#8I2T26${KHY(oIYkt-CFW* zHoeUi7aZIK;c25g4*%3RO;nvw8|og`aFmPB{Woci)SlDW(DL;$cpT3~3>aXvf*jo0 zdw4@$Ll)XER`j0*8d8oJ+86>V=TV;s)of_a4kv%RaTo%rrVZTUjXRvx0jN2I*hQl4 z?Gs;&=v8r`ilSY?rcm=jjQ-tC zM^O~Bt-EunKHgHA5SD|m<2s!U4vJaW`ecz_bcJquNb3Mt(e>c`{YuNL*TflMl!o@N&r#X}gj`xl3>ekwQdDo72W-;usmkKNNI-)%JsQwn7#Xge?8Kyo8@R%Q8*#x) zWnr@Aq$7;LqfH zs?T`AZYlgNhC#XG7854Jw~1!i8!OLt-aQbg>Xo#&A+rQf!sHA?8W+$L-9_Z1!IHv8 zuOqz8*I}S5A~5JsTs(g?4qF*T$0wiVii;2Bs(43_u(M*+K0RhLr5M33-buQe)XMCU zE)ud?yv8YWY23;gZXCl9V=cni0J*|b-7!yZt<uGAy~enZ`M!Qc&M-Q*ImP;Q(Oz7Z(Mkl^QUP;KJzdjhvpNx~fY&a@ zfvES?`?OxGuf^@Y%YmV8r;WGal@|00Y_ssxq_# zK_$-52|O*-d6k!2N)+=sX@%8_8U>nr*ITmkLl#wUvCDEj=5m6r2bI#$Ya6G%c114u z@nGs`HQMcl98{;$z%8xtG@&Ymuf57)!yc4@MMqIl8l=gHmg1$8+Q`2H0B_HDjW{#D zaH0SY^UHr^_1{9jyhV-qRx`j&msjN~?OJYyM5sV`6Xqf-P~uh;9yxY4Kl#@$}Lv3Ss2RH`TG7b!?-71YdubAO3AXBNGD6^JLz{Zr!Vv?jw zPCb2;!ZK6JcW1L%1+X!3(&t+{WN)n32=9V>RQaixnUdZNTOt_qHRu){yGwk3;F`XN z)3a~1Fv-cDM#eVsH>cM#sBeL&QWJy&Xv+H_VKN+SKm_Mn{s~k<(m>w;gklg355o)kU6|_v?XQ0foN@ zyFOCm7PmjVxx}YRCGcMJ*LwbCLzCx8Iw5K+kyHte(rcS(JU*Pm{$RKpWlfO@q7|X2SzhY2-fNC5)-3O* zNkv*)=zhWUC5l+kBF=u(-*9Jc5gab^fvF zn%6&+&doPI91zz{uL@jyo!8_?hJ6gxXO4ts;_~W+SM)zFMBMk%wDfZ0Dc4eGrbTQ{>wXT} zSu9md&RH($va}~xn?1XuhxTur#Z0qDd=hvpFM)8-Mv>7~b_pUk zUc@T}xnaTC{oxaRbgkI2HP;+GP6?%THtezdfM&RX&|#@M?ctDZ&iNj{!k$}m5MRBj zy`9qrN^fTf=i-)7E{jC;!6!ffKPzqahr)z7yf($VfVFwhT!!^i0lu53Qq`L`QoY+c3zami^?cN<9p3f$pkk zr>JqSt*+eOt;D^alN^Gxwxo- zq%=`c_wP}Ohgc>UB9<09!f0EgM2$6=t?ox=n-`oq4|T832*}tCsuuNS!Cv3^_O)&l z1jBp@kRRkJM?Lubq#A^Ah)$brJgwPk!S-yZqQ|qRnWw!ubQUs4zT2kINp}YmRpu>R zt>U#aVg)K1B`yg957n2OHy8Fh`=yB?nO>a_Im#FwZYjA+Elc!u7hES(DFsVhBw++i! zdjwpL;`E(CVpQRQc9d}x-D9dP&zXfw^M)fRWyF!bX;B|#XD!0feQF^}2&S?3EjX&T z(Ual@D3dV#ma?^_Tg!8;fL+gOxB%&M_-x|8NHC7e*59Dj&lgJ6TymZ7VRp+Ej7lIZ z$RSAjt{MW6%Eiodwly?LgEQ+!v-fe2&_5<@!;MdL~7^|s)Fi~*j&cf%dwUH|u zrG^YRDj9g*ywXyV2ZC zG|-sIkeI6Gw_09l2M|ASm7Y~P*9$@XnrHd9?w0QbwR5qaip4{%FH{1J?`_*2){vk1 ziyX+%C(A?ThjsfYw~bHYm-^iFpt@0 z{HFd+*HZkIexJR2@Im{S)xB&TO|0W_SWmoq0aPEBE-21hpEXAyL+O%PqSOZOkwBFQ z1JENU2PiPdn*bp()!2nx|23t!VjHC}kUFWwfVvex5Agtx^(1hcPL|4K%VaiR&LVXF zT2DYtDP$hzO&7V)G-n?_!7_#}*#g9-Kh{x38qd9)aM~=+&JJ06NB!fB&Kss14D^K& zhv<|qgE`&o+8$0v2^zH^U%sc<3{$<=m7A!u_Mws(Ux209fT+oelsu)p(XHaaD>&O; zjBIfjW-iSmaxG8b`#YsF(EUnxcnebNE2#BT`sWudTI1J&;Aht(%p3c6KCa<#NU|u{ zk=g>8xlB=|#WezIh`c-F=ne3WG#=>Nse^?UhBQbMLu(Jrtr z*<+6i`~-hkgDfwbDd7{alcOijuRKoCY1$cJUkmMHfQf$c^55VtclzS$0$df`($HM2 zT)eK~<{JtdVk-)hiO-Y=DV=+x7}P!*mv3aJgLxclNpe=__S%ApznA`NNWP*>t;YN|7YKSwr$(CZR0=Nwr$%sb1%tDC6!l| zZ0*iY)%I*p*KXC$_I%xweARrz7O+KYGh$r7%5)0duizc3NXCyeX>|<@Jj6rUA>izf zAB?*@+&E`oy`XkBts@vha&2d&8S|XfbFE*4BZ`ZTB%;Y|=1V)#rsx8I&+W6&eRbjS zDxF6)Rv&N~i4-AJ2B@sGbR^oVYOL&D-is7!8G*;d%R6kfhmR{}VDsM znl`9i`#C?2AgSiy|LCzl2jBR~(fNmtKt{J_o`i4pWmQbnC1tIu`-;A#}Bs*@(%liVj;6D4HczJKt@Wixz z3(taQvYVKFt`Eo9AzjU$t|0~A!Q?X~XUU;Y(ZStls>@ZEJdximE|yxr>0OBUo-1pV zG${ImQ8iQ&xSmIUt?{h#qCv!<$X$J$`fWcrkh)B@t2${EXJN%M9Z9+qBMwb0Q-Jnh zUx{EIZVlg$O-9&i59_d2e5$C*PwF?M?3^(FZ2llOxxKndW8v|fc52WSR5Hg;X>Y9z zU-#wkpDzw3WJGf9$hSa{*SEmBhy)PJCbg!=k5}c}aYZW>vp8a=RkPS0mFtu)*-?jP z5Gyhx{tLSd^X4`^4_DjQWl~eG|2RrL{XM69LVP`0^Ao<`1cRk^a?|vSDRdWNrN2xw z5oPX7a)yRDvf4^(TM`p+Ly62AAN3vC|spR0cA3*Agf1`f30;ma1s@HwNd{yY@ z6ue6oI8puJ=|R(~&~j%!XatWKBA*tEl6HF$i6FDm)0;;zFh@PSMA54b+5T;{fo0iP zHYA*WIi&X4f$`%J!_tHdZS?fLZfAP%#mxs_`_zif9h_RBVR_SiiKnpEm>E#Ec0heY-;Cl;q{H{A2Y7bX4?PvZc1#AGl}<=$EG(WbeH zrg!xL;>Dl-KM@CUt@+>UxbyMlV@(c)O+}*FN^D=)R85w!e@BjDVTnBV3DfLTo#ndF zWczNQsC>PbTkJPm-9Kq^W4bDc1Ik{#nRUw@M>Y)v^b5i)FMU2?a&JmhnzVmVA}?>x zS=CX6bSTAAs?QB0x;;F7}P~&hOEOfmEeqo9z5>gt8q5jl zhkbBGoC5>p78u9q-(gyEZ#oiPbSA-K%XcL%7g~n>n0>Znix5A{0AwRc7xvo2boXLT zMpCdLYA?)d%lS@jEWe!(GtdagT8z`1%-;=z1x(7G&J9%~I>t*(jul42H|4{dSs%^6 z2fVrLKdxJ8CS0UhLR~_ozzS!~Fj{A3`EO2r^LSf!6MQKyJ}e4)YRlyvWI^)SkF9-) zWn?v7$v6eWM3MG5iT|8&p<-KX@OLRne^_|md3|56+lA16s|V=4V}48UX$J}rOUxk7 zs1nkNH}J>&;cSfV#^HvwQC^?6WNTmT9j2%Q$;eSL)>1uipdV^%G^ESOf-1`qZ#PUTnsLk zFP#1^P|ki*O;q~lGqP|f7kA473%a3Hd7G`8#(F4e~mu z%P+*`LprLlwdHn@7pz{gu3ZOcA=21LaWP=fXw4`$Bv)I=lMgXj*=Ipd-^unuQY3Nc z{m$n+EF3-rExLghLf`k?vf>&oD0!c`uVGr-{~(7>EDb*#{omcG!fD{Y4!0B%2=^Y7 zCcWtN2+{6YJmuQ~2z8Sk$h*KBb7dU{=`;X)r*DWvK8(+)p6n6QO~F-FgZu!)ckhvI;j~`s z7kZ-XvRU!3c1s0~ZFk*v%Uq{iYt+us)Q&G|QIJ|@KAL@7IY|5oDaCtD;1TgDi3KnX zUvs!0ffastA|3!{TOwI_k3|Vc$!Ww=2pFVADi!#%=t>#hN05BU2sE5>7iF_Eq&TB2W3+EBvWY4Dk;-~KkT6O!jq8Tfdl}GEPKxJ1H*s&|- zs#`zfWkVE%W-6VI3}e|Eq__7Jd~U@4?fcbYiw3zZ!G*<@SRp0P`T zO3`3kbM%M$JjxdjNg41DFB`e6;w?@7lYreoVLJVdZa~zkK#+OE?(^SZ^urXci95m1 zWSV2U_J&Lg?BQ7GZ{4kMhMz!y4=)~qy)vijg(26IJfqU@jshcKY2T_iO$=+KPT9iU zsLIO@!y890sNfPc#xZX_J;;A5M*AvC&j{vnj5Ji{QT*}2R@Q#7h0q4 zZ3M^$8x`0zx#ukJ%fzyKw@ozl@cb{MTjyhiS5y8t&`M*%{O?VuzWjoSq&ckg?TJ2da@BDowZ|x=6 zI)p$dzj>UMpxcfB&_wBLbmDml^h%cZ28#1sdvN?B*At4llQ7uP#TEJsyr77Q(jo2w#qVJ94aC$GQ`k-WsO z`(k!7telcW$>}*JnS7eCnCcx*e$iOigqR{(TtOy1?ztj>*&k39AsWkDt~Z^L!wW@m zWbhG=km6-xGls}{$P^AyK2CT&z_KXMnNPJS)o)U@5btNdL0WJ*c~@IW`5j6Eb(_T4 z#x(KqgvQ4gvP<|v_N$8SV~N)epF0ir0Nme4s3D-lYzhCmkQd(T)DB8r%;w){v~6OF z^v@D)FYXmo-YNJbn7qzkaWf~}5?M5tr>`aGl6kE`*LjR;Tbb0_qqxNW&Gz7BM{_0Y zPu(HYkvpcK_bq`A-mOq$mHKmMt(^|izxGmRFJ1nb=wX}3!|d9}u5Lw|D3EdZvQcJV zdUO&IF8<>!Kg|4r^f>{fxjTf>kgG{=LYZ!}Vu^Ps7eKN7Jtw21UiY9WEpMywSU8k6 zX-!rFaV=}-L{kkAe2Qk?U>s`T3OlE-Rw^2&)D;|zs~1_Zk8F(2ty^pRM-5pFK(bdy z>ME)a>fQfyq}q{Vf)T;7T{GC-OwzR97vHl&ZE#xVUURJmUQ*?XsK%m0#6-~md7pBd zGx$P$sDlDy3@5E;saWBwi15{J%I)^}2S5eyh4sInVp;zSDwc_XmGeJ2SSA8SCIl?59Eushb*})4S%QoG!@WuV^N`&xQqX$h* z9afkKx{3|b47%!v;|Ji(iOR-K&yMB?y86yO*WZT<6y0)L3&5$SCIsn=Y6}>bxCo*q z!1}G3|1TMObZjbl3ia?-ll0?;Wma?|psJWKCPtt(lluJT-AI5=fZFV&YwgEp(6$#r zuJ#7s3K&Rp<1@wJ>Uyvm8jQ087}fZDDj-AtXVuF8H@+PX4h|5G4`3D(;IY2m@W(qW zrUm(yp8Uj?St+!q26+%t4>%d<5qu3G|3}_io0i89fF0d6ujhsz_a|DOlM`^6fSUc6 zgh2xl{Yu2O09*fr{!`iudI-vJ><33k?sxFAv$G?e?`Q%G$nEx%|MQf$c0_u#=Y_`m^ut9@Pf;*nRuPe(4ha)R_NdAN?5a{@eydf)KBYo^nLJJsUJZg0GIS0M1FQZ?K}8@Vagvt`I2>f5(qujA8bfFz}2R2 z0yDHLeuxZ_7x;bP+KaDfko+dKPr+GanjeBwNEKgVow6CIeE{n{Uz#57F`F-N2SG>m zKtDPG)l=NZ(BH=i{tYYy-Sn1-qEQArdVv4E0~X5vy<-*DF~Pr|53=DafCtdA#ZRC_ zb&8LmF_-BpPzDnETkwtWBec(7{vd#NiLMg*{=uU_e{X*a#nwn)z-MnPmz~uP{4B)H znw|ev;2>{o%A2^S`j9 zj3u|%+tTdb-O3`>+AW^WELYwscMQRqIp3gNVfC%~3n1~9WHS;iyXIWF$IZ0VhPEd^ z>HS(pbPcsbK*LTo)K+SE^ykw2pVeH87Qv<5Z2;k>?xNmGceX#zoNyB)+F_Fnb3h&? zf!rO%L)&zJbQy(r#Ef!$?rL42Xa#Q&(LprHke1gHeFRIpv6v-?yL(%l*2}+K>!8cj!2uFGRMmrJppu)8qeNhI9vJ3ROgN&89%#nK zr`JcaAX-}DhuAd_F5P|gF`Jjr1}Q+&s(w#A5^_RB!r%@gT#WW~n(n`>BcggUVl`3; zBu=ZruWRK<-s~PLV{NPiTnen`l-Xs(2g+yUh$$qwX7kzSFSC>lI{!B~>F`}-upypP zQI+M*t-Q~Aj-`8*D>x>d2tzjyAUfL?4C5}-cv?CPMLL6x_{qw^C;XDgp)QQ4)T@p{uyM_Gx&$q3dR@+1BO zB0K7?SkY0p599d7xRp9nX?UDuUGDY0dqBsGwL?Ylph9-oZ~!np=>GXX$01r#pyO(5@;|xL3pvKdIA*|;XS@HnpQGblhwlYLk1!E|~D!%<< zB3W}xT{p6KVU;P3_I?6O`oNKf3Xa)v=;rhG*~Fmv+b$*!0R^Q~`#hHf-xd6j?Q8|v^s0E8 zka(bNnbL3C3Aq%KyV)l(z7pY!_}5bhc%mAH5e{KI8#4-g$hrnA#O!A$WG&3}OsJ7b zn1r+@JzfsqoceJN>{8^}<0#LEZNk@Bj49~Uk2bNBqhBA*Yb2{y2QXN5b$Lm_bFqao zqJUaG66xe?S!$p58}^}bQxL0hu5o|#HT_)}7Zc$0p|fyijl9QH0^IDAD=G;#1S>w) z@l36ooxvZ7V8*#q-G!dZN^H<%_WZZ1MK>fst`-OrF@g4rnFGKOb^g`djktJT;q%F9 zlOres%oD=7Rk$6;-Q@QD;g3U84Do^d+pFvBjrN?Mg~0TP(-%xgT=$J-D_D5+c>4F* z(L@ra{~+unQ>X5Emez9aX8-Wf!IZm17o!~O>x0xTbk(%Zz%YwmKGt;6Em6|>N28;^ zaRhwh@Z%A_?o~S(lFCz&HFfZd2Jht;=um}K#_qeJQ#=A!w&koFBd9yBrPNUR{6`dl zzhMv+Z$r(zv)tVqbB2fjd)OI~>VckzNL0ARvR=tHN~A2{6Fu5>NAg@Ij4QXyC(ljwI6w414@Trou$IeHXR zV6qG4zPYY9fZJ;zQE?yDYf9-xSC;|Q7Rq!Y&Iw=MbGw|&cau#ku}ts+JH;W`dl#@L zH+xT@7$pM2DO776NY!+nnhlzV66q?Ixa$bFUWSwN)ghl#*a+WOhrgMC;WOGJiIs*N z0Tq=uJ^Z~0O+0zkrTKRKDq=rtohZB@ckN2phQ(RSjeI_XiL!M>>|~IgrvdvKuL`RIXB$0$Gt3A&4cxvLzd~raWI=(oY%+WxdaM4>=+P)2M})p3bRV2t=wNb{vd3r@-)V)qfZ>< zshb5F<8$|>;&g;+FEJEAOSx=)YOf1soBI$1BfYlSG<$=MmVQm(8-Jmuq?~;fOEYIj zp^HY=o9REGYk0k511!tNOGErjlHG+kk!cgJz?E706NJ+AJ+Dp@+E>i@=p}e?0ch;w zH7qLD49F95#|*Egscq&d3IpkE*Ev67U(e7<3MTFT^6h`A81A}i2XQMHTa+~G9>8@J zg#8tNdYMJYs<~u2?Jp^XZ+SQmk}35lkfJHL1msCli7~@A6n=DOhY@mPA^KV3zoa8E zO(Vr`Qg(tnBR^LvY(I0+m8%>rrb&jg9Z!l|WcV>j$H-ebq1K+bNJ#=ooZN5M!o*}C zSpUV2x%N@p7lRSf_q5kwCsGgYY{Z-n6RKMhDQvgEJFk~{jjO6#!Ia`Q^%{bZtKMi8 z!Vu$GvQA&uU#RHW(PYfH5hdEG*~`(y%p^-Zp<8TR;Jc(emz0(A-Ix;HJQ^3!h6yf} zCV&@f#l*Ovd7?hQZsMX3-w(&fn;P_Ce;Sr2W3F6d0w@_ytAusM9nBOYn4NjF1%re& z>BYg&4$ZkZtu-qqPI>ysi&w*&)qm`%f0^gL{lMxWN=w}o*FX3|zExNRp4-!ty}}y4 zkdkP)PGf*l@Nb}7vbs5jFVD3hVqQmLc!BO_a+e@u^W`%$)z!gAGx+J*QnO-d)iZg2 zgvu-QK?wBIC|3*d>vCcq_r4n46e2M>a8I8UJ<(O_z@oB@!bw@ZTyLqh+<_4{ZsHyY z^k%sZSz@#$Ao8PG^DAG9>Viv~eLLN7te@5QUhxSd@!z%JWEWVE%NiK?^QiY!FUg3C zj1u{$(%C$E9y2xcoIl-VZ7;9lG%Pi$hlG%ZOHAl%p?awMrZe>hdJxCmzXj9&i$6V+ z_GL@D2T9a0k+5wie{rjed7TiA?1lz+o1&W4F87pAkq8&4JBz<~ux4m@_n>&n9B$)cHx*_YUgdfSjk3r< zk|MMn!|kpQk}SEr{8I&#KR5`*vt*2JDu@VPQ3U6_SFO30v8rrR;;)gwJXyUIZOOs2 zI-|4@2Vj&JL!>;s#)VUSQ*4D1!=8-JEmLcjZFX7X1i5rj`lm)-IJd0eMmu10wYt*d ztk&V3J4~QvG3Gnme%=Cg5-}PJ@_HwC*asS$19>KT$*vY`PrR{Guk9WqkT*@o!VD%6( zLy4iT^WOv_@c-^dAM4PuJ?%(MWidM}qE~Xo*|GQThD$51ThNlxT%@$7j|eCewAm)2rIg zY(2G6lq?U*R*f9ZPvOD^g-`hrZf|Niu^nFY7jw-KJG9|p9S#(MJG}Yj2yeHIcX=^} zj7mT$b;i6~A{Np$KTY06{Q_{C35Rz%n%vGCTPbW?#9g1Xl`Ini%uHoo&+b>`iJPY) zUTV54!1KGw!}nb*1nMPsJiBzH=<}X9?{s1^aYz~8vzx_C;uvRy5(cH^dy3sXcoTZf zCBzMB&vPQ?w|p+a9iu!Pva5tT<4_wOo@S}|>$#m-F&ws&+NYth(>xm3(^elf2hHjJ zDX+;=_p6xwiD#r%G3buBaVUzj-6TNB1%WS1PX?ZIPmV!x$&VZ#c=INC2 zC{Vi6XlCU8gK3}_G42zjdp#zG;;D|pYMSCc{7|#=kL7eSilA-b?Y_!9)4V7b_LXL% z4jPckMWv58ut6l9k@9bn`oajf*hMV2koCh#IA>EN&@z;OOayqlXY|7uP3%Bx7eM+4RH$u7(5 zMXNd03AedE2&GRXmYW~1Tfqx1dTDOxvH?XYT5-eZ$JN&=gxx(c@fK8>0*tGX9NX+3 zprK@vyL&Q-W6dYWbqLmM1Zn_z-1stJ5!|Bls3WERNqU4hU09B3>qF2h#oW_0hDc;a zzU13#?-XF;!R+t`MtthdGjz5*G!a%Blj7ZOP!s8Y9(rmFyfHr-=xgHT2S3xolot0d zV(ox$L4~{Yo&q#a2Qk9oo6U>B3`+u+w> zrMsLBMrHP$bH;1}9z6Q=%8bt%r>I|Il`;PmiXL1_TkA>vQY3pS$aJ`Ka&$%b2{Th| zGVV>cMI|4!*9N7tcx1+uI(N6_doz+yIL3HiE;Ju3*3r4?9vP~7mnl*Er&HxN55h1n z)v&O#$Ue{Q#wO`lhi)LuLcOb%u-zaUD0!zyA5N$1`Gv&}E!Ej2Xw)VimNH=IaN0z9 zh5ijLQloQU#irQz2188s6Soe%W2x1F72P=2=ZLcGCgss2TTi|7F&ER78cW>p5vF@g zUgQE>a&72P;C~9%A-J?#wW8%ZS`nYY%7_C`Ac4MOV%(>u#Edq zWtGBD*h72{m)UaC66-B5>L*z#PUm1uPEpO4(O;ME@05k=s;xoU@oht=rHkQ>-m9f7 zs}#?U6}FwvOpeV`O|RhrDY+hU6wtWA-OkThw8RBrdN4E0!G_1C16xNG)12M`H)MQG zT~ACd+gbE345K|0vOIOs8v5v_mh=OLJn=a>GbH+jnB;VhPvX(e{tkk4KzhHC)^XAa z^V;b}yYXiG0dsJNqUo&b9}ebt*ov6melxeT8*X>O7b?!URb#m-ztVlC-qyRLxG8aI zqgPSpad$~AIRa}SKFO>J2UGPtoGc${F0odysvQW4hFLD6@IP(K<6;dD98;-0)NE(l z7+|Q~H>DI^WHX_w;=f>uiIZGG%AYkOxPTsbw6GVp@V*o{yiVzKf)_2a>~x+wUqt=0 zE+@*~Vjus=X|3k79sY3VBg#k8mVfVW@>Xr8c?xYrNhrwxF=EB#6ma~nbI$R4wRHir zAS18juL)JE=Uc0-63dbP(n{z*+h4kl?Yr@d#Y5L-`(^5XzvTud@-k)C<)&ni$8A9f z`9w6ukN*+!S5dE%$Ax3$F3O=wzrQHJd!DdFk5^b^>EiaN`UTlzL)`2%z%_!{ib*u? z)YeR1!l~R4f$1yj5$<=yc1EIavR8i|e%3n2ub>S4RP=)W`RAPstLl{IFwAbtG0901 z<*a0pkQz)boTYLHT@whSn7F6M^_+?HuPd|`O;Tkk%2b*xe2SZi7#)<2hmhQqpR@4t zVnr!x6R<;!bC@nrH(^L@K{3_VooXeBC+vg0N=1ZJ+}JkduMbCr=!0>2?lF2aKI%6U zRgRR$z%>m8mECZzLh+eCw4!z}1L`%_T>FM>Y`buR2rcVt;E(G5?2l2~!B|ihrEz{+5-pG^3gy11CgdOQ zfmHV#7gD)Loo1&}+wJ0eoh?e?8RVm8pK}PdrA0~er@*?(Rt$X`S$jBiqPrf&YlLX7 zs1m-g99Hkn>r5Tske}YU4kRL@j-v|#`&{i}g+3^}Q-CnSgydEQmhs%7(A%!XY8|!M zu1l-((gp?@853!TCG02RahJEW6E-Hj1=#~>LgN?<8!_R5wxhR*E1>YHZ^r5yt}Yri z{ibc9Zzi)iD^(*|2;dZFxN5)DM}PH+>3q?8i7GCn)g3OiqoHb=LuJ{(SPTn;$E#}~ z-iORY^~|%5jL{oXZd)Dg<+<4-k7S|h2pDFU*n^dzbBrAngiq zVmE#K0%lXRuBM29MAzAvJVN=sUe>?c1CQbBm>oBCstoH>f3ae6qyO^M*q0Z&3ahtDwtxKifr#{*0 zfwJ2M7dn_Xsk#OH?qdoNuD=W)(CpchBIX$(wdju zR}QArm2D*}Kn%RqF?!oO{%GW2DV!(AbKMW18jqu-dfqgl{9xUr8!#XmQ}ZqrizCB<_a z4%y(&2vK)9aziacdghu>>v2}@T+wiG5}6M9miuwD&Xy}}tTlgqRup^(JNWFr&mlwl z@kKi>S}%u7IPeQEDPnq3}qNd>*;kvhz>jw_>msS$8>9ntefCmW+u`ZiSytkly zNxZNpt80I-_m*YpLXZERJ8j1vo&ZyezOu78k9#rVP1Va+YxYxrIE%Pf#ked^5s!c| zHF7-3(!!pMWvi|G8xBW=pxC4jYvsxcFJsi?TvAH%NS=LOXII6?6#_ZWpk1R5Kw(`r zt@M%YHLC~YPhtM?=G^dp=yMPv|AO*g2*U_o?a#t{T|Brmew?k6rq4O0Ql!9D5j|qG z#9>ofz{0IIm(y@ih&KOAGXBk%s#fwWP%;hzCbg$NgM8PKF6ccB;RyQz&*niyiwxun&0Br1@K{IZfydMc>z_@ILPRLCrq0wbM= zPwMG}n$|{6n8#@9u7*;1J{;xZ8GX`sMk?UD0z>$^qem&Od2j@xyb3(|H}co6b4U-E zZpR7sxJoDNO!^+)xG`t{wta?K!IvlB%@ZiB)5A?pXQMG1$-bT^VDwZnfKC^0m}uOy zTSi)G3UZg*@orcEn#1eLaOc3lfg(0SF5`2~SGDmaVZ#@)5JUluIqQhQ+g+X^U7P@I z%1Kt;sCI~=*y_&U``e;ZlO{8e>Wxq0!tf zmC`Yzoih@pJdd3)G(BwcjouBU)9-S3WWf#ZwiVdviD@sFZ zKuLG1YRZm{VeXk&Anj*lY-N zZLBzR=+-UPG7f_Wh_?wsoptTyP=AVw-J3?vnU|aaoBW&o4+9ZG*hHrYV0rGLak%u| zo*9YLRpG+d_QPw_g(XrB&GEDywk~RYsm znek;a#@xqmfKuV{P!v7YT?VC6yjE_KBs5Fs{=sqHcJDK3$8&RBDN)Z34_!Rx%cjx^ z^6hm$@Z3G7(}?F47~EhI-7rWbD$$GJbIou%J7*Sb$j9!wkwU!OfsefjNK8dygGp{G z$1;w%5QXZ{D1ogNqCB3H-|N4g6pRS5^AE|h{18<_oCg#TU?;`I*F6op9|@-h2(apY zYN-J!bPSRE8u+-S>Zyoi*%F;b-<2WJ@!D`WWQ#4hX{3$3*d}ON9zJwf)t`+%U0@ca zq0;OwQvyZmK0_i{G%t7^?QD9mKqF+uiOJ?zOIG#t5QG1FzcYX6Qbi6df5wz%gh~Ea zq06L>+{A`hJ%e0&2n_yeKy}B;7v`VDo{a^!{kH8EyJA`|UVEjKLq!<~+nLbURZUa*z=zu#^c~{r=razi7s^E!6(01k8jUO3|!HRS9&r|4g5TT{9oZOGi5z zxM9^x+3Qx8tjJJVq^v?RDQxE=N>>HS%PJ51vMw|PjehB#(8@&D4k@cwfw3jzA?WQ$ z@Y@waFqFrFYW8#5%E}`Gv87|<#Kj;XV?0&y6a&8N$C~^q6%3~=vb#FMAso>j_fOXL z^*QsEsHbD1mi6pA)P_gWC$=J?D747(qFl>Y160V?-03FKyTa9*y!0ESj8ZZ@5UV`Th6APH7-hpMRFYm=m9V@@90Mg z;JOR5D43fcNiw94|k~&R!1ith7SJ?`lA`hVAbt{b6I382N9L^=_HBp5Oy&pQTj8&nH?$4AUD1lW^yww zi?2&jNRW01(iftHMz)}GjBb6oG!G?r&&Hz3!ECt46J#s*NHfo?rhC@I`;>F@1I4!8 zzB9`qzP34+`GwZ{>MeZ>^4Kysk|~NmIo-@cK|!^SP5T>`u&)?~KIVHtr#4RHhiLEC z1AP?z!MnFa(jyk1G{J!O1;exboj?gDd$q=}uTG0hl;NF5^9=l2mtDDA;j%)@ooaZJqAJjg#-+L|sA6J*eS=d;A_1_gSaq`?J z7(Sky>E)PyNw!6pHH=(XkMYj_;0-tLeHh=kw4p&6MXOdQV<6K8tZU`5sW|pG_-Aa; zvH9uTl3&=7P5`#iVR_r|zTPR!HF`8Sb6$L|Rm(9SZ8&;PxR<<#T)NgAUur#%yXFQ{ zoWa!`ehu(7V-3grtEq+C+wlBlbVOE3=L6#@@E}1ljI4<>J7B#lhc2ai3wcU-6Z9VK}5$_q-^DpKNf- z>RS@}7|FQ*?%TKWcnLloR_6goU5R9Df?w>(`YcKRE_8)1hGO{Hcn#f3=MA2P52H)I zY$ZQRIZ2Xoq|@759Lc0&3SJy8cZNJL&Z4a^_VVkF06DFI{OB6Ai1yzwbO!T=vdQ-C$Y(2i-%%YdRT32BS@Z#}~ZMMYxE)vVdI^6ZD*xnQu zM4=+P(q!z~pq)d0vcL=6p8DGcC!Uz5naZr(`^srYPfUB$r-*?ZhV zO1WKcVFDL7`I}ma!lWjqg7Fik{!jrTpl@4lA9N3I$Y`FcH;1gOj5=x-uHvK-76@F= zqmIDzX!wXp56+>NL}fU4kpS7(^K(#5Q|b+g1NfDa*;6Yc+;(&F_Ry`Tv}g%s0J?f| z9;~&~0FH9l>xSrn?RVD@h$IZ3f`Y!fUw4)jXq!giggGhI-$B{e&PSK|h-xt&RM+2s z5FvvreJ0PP=C5}L4MULhEN^h`z~@0^Fn9WRT&u&8=wlL9V|-Wt`WJp-(KD+}xF9EG zQHfD97~W5D;IvEGltTL)VE0CDlPM${8pg>smABVO$-=_aKpM1H1+ebmKj;ZVa&GIX zYfvFd>A2tTF$~=)r8XyDuy3nSiDv|NXy_n5nKOp^ywy?|2XlGPQ)1j8KH~eS8bD&! zrS#(&tCl=J``@vX%&cML%MAMJKvczaqIpN+?@WfZSI%B@1 zG0dO=A$Pqu74tB$W<<*hD4Z9%y%`Hsk38_q%_>&dKjSipNIbd^O>c`iA7EhWwZ~gtfW!k!M@f(N|5>Vo-s^b}& zyR(>FnJ7@d$BF7C(bM|=DbDsPae8K&cB$k)KLp}$3gtvx(knPiBmFL9stK z%W#vJ(4R_`V!BOGbD_3F4vUkJ+Op_dO*f0v5MP9=mUr_dIZJi5E%CFhE>TOz7r0&V%anP3t?FHiWz$} zgjN;!;B8gHZ~ai(QBKb`d01UVFDW20AACHisT zh%D;-Hnz5m{Iqjd&!so+$fJP)KWF;db|z~0-Lb;8y1@?wwC%oseGMZ~6bchpu>rBA z|7&MKZqZ*0f*%5kmKEhQL`y35ag(nheR^ z%~d<4v|UPmz&%esE0~lIvI@CTdfaar_ilyo4K_JQ()cC3iD)T9tJUYe)A&u~IcRs{ zq3WHXpdD+8oPaOA>frC{ zlF}!JDvOwgI#-npo^0?tQm<=Eg0u= z^pPpb_FUgq3^2wn6$wcWHb)*{30sabRpj7wmhRjTGf`AuL)h>_EjO`Uq1H#6PUHSr zVYQYzEO`}7F@c!xIRiqyHzPp7BFTO*2cN-9}_upQL zmBxn3>PC5|P(w#Yn|R|_c$-exWUGoHv{L>nBL_M4cVmGqHSONz!0lLukmU=&@2q`0 z-{9zicyXPq$R?|xLzBE^xRJ@3Fu-kb&qSi{AOh~1&@oN3Vb$JRrU-K|O^V`iYLlna z&-sP%^P2>*)_$p`Ka2qRgFsT=ri?C4gKYUW&W_6;RPz_nOOr?v7}>fpu9!OIuC6}L z5`KtOFKmql+bo*Fgh;T|tOU_b|arR7GbfZV68$1ImFR znV6KVYYnYTN5PhlV-r$+JazGF@5-ukSIR%q=PKB?-s!Gx*~21>(c9>KFE8rs5t8O7 zn#oMWGZsBX+*;eZy-ay-cUgm$n^1Az@_*7k8*TNJ6H5&?MW@lVaZE&AatF(nJlRl9 zu+;NjGyDTg*}-hZSI;xeZ0s5z#rBJ)&jyT*40`4vrp6VnXWP#M1bA$t_EoK3+-%VZ z!qu*1B0PmT8&Wl%3Y97xlg*{*b#MuHz&uF|{fl5|tggclyqq%%$6{XkDF_5Qb<=~A zhp?CK_5y0XQ)#<6bhk}-(C@g1Hs{s~!`alZ+5YB$3te~p-7u^}jftXeMNY!fL79#4 z^4`*sI|1jJjxzRK&awmVsesIw4>!#Mn1D*_WGt;&x5Sk~;NVGB`j%+&f*nMsHW1pP zOj~vZ2l_itn`Pz-q|vhwx(GrS?sF9r9@|iEglFBD7&HFd~V#JX90};MA^-XO1|K(kM3-XYOl9q{77x zRw5u{*O*I*c&&I+?#zPu;tQM48>aU8_hT+!p=HILs&8mWyKFuE2Sf+E!e4os!CR%g z;;$WlVJVGC$bf*F4M5ioL%<{Q&OW6?)E$e|^=?t<43(mgk*W~rg%OOq@oCgZc6787 zx)I)$IR7R0VoEg<&$HwqZ`X*if*)b7GyVhG1q6bkh+Jg6D^lS%)Aj|0|0C^%emzUN z!%yb-E`;4^j}NqG`JRt>(NNrx|GrpI(ZhO3g}@F{)TSI!xiQ+56s5C1Waj*gwuHzi z*LI+&{Yn&l{d)4@1uAMy7i-2HgjkPuDT}|^Lh8Igv8_-H9NQe;bU`peIU4O_DP(pK zL%ABphH~T6w0nBZ`eh?IO4A@) zO-v72L1 z-StnPVVV{mwAk?X(xc9BK{oRk2R;=&UxM!WnYC7Td*FFE?^$=?&e_+x)C?B}W9jm0 z%?2m3g{BI-l>+^xS@yptVkKspxLnnzNO&KUy*E0#rw*H#Ff*sUQWq>QFmN&{N-vA8 zf(?ZME{`;?;ARLNa%VShn*oV03gh8Q^(4NOVnN=wCvP$2Fqgn+G-V6mI?G9UNm@(Ngfr zi+hqbU4JGT9jI`qdeYD7(N7XnnTNwRXR1&HX9<7&(-R@e^6YKx6UcebA0WQKl}k1x zXFwVA(K<+jg>UPx9a_@W^)J26`4fMSnb1Y#s_v$XKPw#;C^Dj1Ju25ql||#cjq+|+ z{gdCZ7Hp2?I6WtM`U4P;NY?Xz#~yL8{BN;G@(#8}&W6Sg1Qd2gCQ8O?w2X8t40KG4 zlu-17&Q4~w4iuF1O6E>h#=mDpX9EjkL#N-`9|vQ7r{8PR`oB#GT+N-#2+Z8=j2#?| zO(^N5jNM&r9gG|)e(&+$18HC7&w0O`m_8l0l@s56_cESf&5oa z#@6WnC8Fe@Z)az0L_ja9Z{=tVMK7-;qDCj`Y-MGjZ)5Wx1}K@CI}-fv|HBX(0u^Hi z$6wV1%yhrnSUH*4SZSH)*#6VNU-{pzOPjkG6Z}V~C^qtHcjr9p!{%1QjI_Ce@ z*m(yvq2zH~0YyS@L8?Ioq_>2G8WDmZkO+h((wo4eh=2qzh!hbY5_*RRfuNBhMc`2) zh=BkCk|0t9LlcxH;L*#)ySbU0c{lU!zuleR%+Buq^VymG>{m%m7NDp1YYPM2d;$OM zY@r#;1u3K4e62$K0m?`a6#6TpAoyMg2m;gikHiI1Q&oZdzhU;T?IwdKjrblc+P=rP zJA8FnizT9oA@;IPlXa%SVm(O`AVBF&!d2j@zAzFNHT00@sy<)+_ydqiwq8Z+&}|ii z0Y0x>J_XNf5z>6pV%Q`T$y|5p9k9y6#*N(VJE)vg;MDuEkc(1`KYfzy-E&6X6C^-i z8(dxmcbN3(U_m=BS+b^`)qGibOHgx}w{L5+%v2;5ep~X)dCPt-o@l0HbxvQdjdR*Y zW#I?1Gv>JJyjb+r+0kgz31H zS5(v~UZBTWY-N`y?6Cmvqac;K4o$kkVfeczlz7`L``ry-AYEs+p`-jsA?_R?imR@C zP+yL6s!+^w*zj4)7Ff)z{87VIUpjw+PfXjXVKD5EQL0orPHrSV=vKL``qHPMN2#>4 zZs%`^ZyQ@UaQtzWn=^$#ptA%vbj2f+i>{RAe4raJrGiKqXK$;cGI*w9sbzezNx~07 zry!$~y(qXUwtIJDb1rSeAS^(&9w`i$%VXc(8d@s)kpj2ToV!qm(VJoIuj}n6conTk zAA)PLmwmH7<%E{ZIAX0m4*J(ubo66Q2GG|o){sXkg!o^fAEwKBOldXWKiJz*z8Q6c znVudZCmHmolY&yWq9dO|AwSJ<&CMsi&^K|q$%EokTRCVmuFx~jiQ~4X&09Z_6(^qT zPm2{p?9<(eR$Xxy^v@bm#fPK#tGvLAw00K+qOhWYYtor&k*G0OXj@zO8al5Ny zC7$UiD}eo==`t|DJNbYxl&IrHEKwWnRU%N$tlCBWW^onckfDKt}nKo_%(Z_ zZL6PqtJN*5SYo|Nl;-j!!eX(WV3%dJkrv_HrmylbxVG7;a#>5ho}8i;y~oo)S_#5a zFqu^WMV-Bg3~~i}+8pow{yJ&2BKk^&xAU8$l7{NMeZK_j6AsJk^CqJ_jkg5q^9u?G z0)Uvih1o+72XYj$q4T5yp{*Lsa9b3bW}a|2L=eOr$otxj;x-}+|1s(Oa*5fJrcX3lp5Nn&!PyOFD@M{+F4rP=C#sdoNkX6{&kqDrmcj03b|tYn?Pi~VEB!dTmZZ6W6PC2ZIs*iVJWM> z)YzPQBMk8vjtHG_uD!2q7|+bq2lVFfK0=?7_Y{~gD`iUK!tGA06ratQ_<``~SFEk4 z{~W%XE?CH#{w_?gVEil_x9JX~bhz*4IY$%1Zqz^anJ+d7M=d>g9y#o${c@~Hm<0gM zT0d}Wt`#df4`w!v2_cWXM)`0cgeN$k;V0o00%cv2{z>>8$Ypn8>Pv1|oiSvOmyOg- z@PAeYkZXDMMZTcbUHIV6MXMzJ)Ji!?12HKdzId5j!?ZCW6E})_LdlPp-tDF}m-U?X4^GJO$y+GUJL7q{GdHuHJP<4EKFGz6Rww z%s>cujGL8g+w9ez=E^0-^E7f@0-}k_BQPeJU(PT zTx$%5A&)A7A$NJ}AB*>hb(Dmzq+>AY78&`abRqbhAjQ zn>$pK{`e3Q-G$nX#P$vC)*SL@w8Yt{7f6_5$u&QY`j<<;YQFjUi7f8)G#LlQZOS{d zXlA<(R_;?j?m0Sbw(KG=PNOl?CVR>6#IE>sXBq;R`=!w@c=0X8A2BdOKuu1}T1XGK zP!+zEDB5@4c7-iE|Ft0VyFjw_JuBK9mgw<+jIK-vS6ygEMpVZO?2u?DZ+BvS8WyGl zT7`V+)1hmQn;&!?UHw|Rs%JQQ+hwc259sPR={Bylt$!L|GJO%C>o%Eu+~&dWPFv)FC3%f@`4X6bw?KVJlrR^az!`;sd*{IU7D?cJ$z&uHJi&QKgK`x=aE=;g ze8gh8&GZ2qXA}yay(^Nr?bBUqq5$@L-Hzkw5e@8aki_8M(h(^d}c?rBIEs{KDL#?Q+*0acCNfMPuQyUU1kCQ_V%BLv1V~1 z4HoHU3FcRCh}!B!JA4KXWPK`{A%_LEPnLxk-1;nBenDe~D)U&Cnu+u$$F}D2`O`*M zos(8!k*9xifOCW`!%xdzZ@Ve&TUJONzO(+i+%65!z(4suWd!89BJ%2qxRo{Sbi*%suW3S#)?j4{i=zz`6O zA)A9Nf0cU$g8l`IzdD8>2OUF*$~8ln2FwU%2-Sx|RMik_nyN-d`uZAR{cGwls2=F= zOBl15c?Nhhh*1@){%hk zoS8$dTXzoK?Ec6^#7uQS(b}uI#Hi5ED|apl18nw4l~S_vioa)LKlgj62Fx>Ev2py# zY~-;I)YtjX$l=4@sl_-}3CwJ+P~L`x$;MIs@oB24z@@()$h{EP;E-?z8w1oK5GV{F KC51p40saZEKpT4i literal 0 HcmV?d00001 diff --git a/verfahren.tex b/verfahren.tex index 8ae543a..a9b4482 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -45,4 +45,22 @@ \tableofcontents \clearpage +\section{Kontrollflussanalyse} +\subsection{Kontrollflussgraph} +\subsection{Dominanz} +\subsection{Rückwärtskante} +\subsection{Natürliche Schleifen} +\subsection{Kontrollflussabhängigkeit} + +\section{Datenflussanalyse} + +\section{Aliasanalyse} + +\section{Induktionsvarianten und schleifeninvarianter Code} + +\section{Schleifen und Arrays} + +\section{Schleifentransformationen} + +\section{Schleifenrestrukturierungen} \end{document}