From 95201b3b4a7dfe851f42fa81ee11ebeef096673a Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Thu, 25 Jun 2020 12:28:58 +0200 Subject: [PATCH] =?UTF-8?q?Grundger=C3=83st,=20Inhaltsverzeichnis?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .gitignore | 21 ++++++++++++++ verfahren.pdf | Bin 0 -> 47331 bytes verfahren.tex | 78 ++++++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 99 insertions(+) create mode 100644 .gitignore create mode 100644 verfahren.pdf create mode 100644 verfahren.tex diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..9e7898f --- /dev/null +++ b/.gitignore @@ -0,0 +1,21 @@ +# auxiliary files for LaTeX +*.acn +*.acr +*.alg +*.aux +*.bbl +*.bcf +*.blg +*.fdb_latexmk +*.fls +*.ist +*.loa +*.lof +*.log +*.lol +*.lot +*.out +*.run.xml +*.synctex.gz +*.tdo +*.toc diff --git a/verfahren.pdf b/verfahren.pdf new file mode 100644 index 0000000000000000000000000000000000000000..c26bddb10b6e5f1d3e34ccf921d13aca6da94d55 GIT binary patch literal 47331 zcma&ML$okVuq1eG+qP}{e%H2b+qP}nwr$(C?fz$`dp2(|ldH;8Cr@o6va+IrR9-}k zmXVGXigbQ?WF3l$m4Jc3&d?HyhX;yY+Qin(*_?obje+3*2`G9o3u|W+M*?~=YXfH! z5fdXjV-qMoJ}4(=M-u}ZDEG}1bs4!W0fe3>YHw|P>sRjG-TdToE;YXvcp@yN>Ok|` zfd@=)sd$H!3cDEYC7G82t)z1jV~ksR=gWRTZ@wrvA!5J-gs?V8#QrNrB^X(TYOtIG zpPNxq^+F_@6ORkwV&G?7=c^orTb%guHzqcIDEDp2C6QTyt8qFszoclT-0MGZoO zVi2(+d4*$V1)XF(vb3ws)Da}v0ZIXC4l(Bt^6~3zav+L-a0^Z9_A6ac1B3&~Lhm6C zUr|7K;~n`1r?(ecx5dUmP;=UI|y8gO4@wVlw1Ioeg2Bh zViioZnnH}tMpaePU$)Li8zOr;ws{%%CW;G~6^>eNJ(goaO_o|KDqAg{@g|RW2;XnV zmt!bb<1Y5EOWLan7mz2_l$KW8$tL1zH^)Giy#0(B<0?2=b3Z(J9%qk68&Hu>$haBP z+CsCuF?TbfRFGbP5g*aRUpfVh&gR|;GNvc0L-}@=MonP0kr8pSwUQ0p_DF%HkMnfE zn?nCM#PwXtrlYUoUnoH*z$k6ROKPRwG|hV%7xonjdH*3RaRZx>qWbXLT)rF_^Ja^e z%Gx+*n{?0>)>tcYX_ehn&byn89%rTK$YB&M@Q{w6WM9zmre7qFd1()>Dem<(cPwZ) zZLP}OW@+u%*!`S>-M7qtvbq>#cupbkg~dCs?#T`Y@7(;^eCT*_wN~*!bQLUB%(91N z(0#wO%rN=OlT2V4GTA6{vxm&uu)cyOzh-}*PDU(wz%5ojpr8;~uU3euUdqY}d`F1x zP;w!u7(gA6HVvH}WgsDv2;>&Qk-U=<^|DIIB_srt zq9eqgp~7=z$@_y-#MSB6Z!ze|)t03m#DboCQEqedsn}qgCBSI}{Qm-@Ly4I%3hYWi zKy&fSFn#IOw|e`r0Z7K5)&Ys2*Zl$Sb-0TTuV*XAn_5Do!(G)HbV>xz6()Po!`hR= zu5iU>4U{GjJ;%1l2Rt7w62`_osyliK+zCy60L!ds#!}z!kH~SF_nr+=z$-W@&V0UD zmaTv?t_*RF9V{~-%*BB7~PpmL9aQqLjFcL6waxna#HqS)B$jZ*b{(n+t zg8z4ifRT-po$3FE)&KVe5d8)!uf5d@26eR9&dqZBzr%Kbl>-EVj<6l1ZU5F5@)jXh%m4F!>o|zmT z896>ABI3&r23N=3-*6Of)l|R(EI+y^sDs*HdwF4EYh-hA@`iZkj|Zqix*}kDdpq0N zuM0TjW=5x4CI;94anx4z^c5ddCg#S!GPZQ})OPoe8U!^jB`XUVp17#2j6A5JhdQVz zssw-)cYbMe2CCff*7Ekyz!vPg${;_mq344?hY?^rz*2R!_HSGTmv);cMrS$zABfvZ z$q9T79^MU{*$I7L+%dnh8ApC$V*3E!sKXED-2X2FHa;WZqwnDN=tqsfDy%OjMn(qr zCMO!Vy9Spg0BzOvR6rDx6O5gnoh!c~XhSb_)U`Gi|92E`bk%i~3?Ix-%@!sZK@|+k zkL5k@Ra-`o4ecv#A`IeQ+|=S0%-GD(@bK6aG?N>6rboI4 z;}5Ft^v3wNE%Af?K^*+IS2k8wAS#Y*`lp6=n*SHjTPKEhI>46h_Vl;+PxadlMBfxF zQzNSrP-dF81{c7u&@X(3_ICh3?9T88blK!{ACEcyqOR|c@4|0>YIO6E&$>~AF^oWm2)=VBw>|C#1mTHv%#V)Wx-|F3U|0#oa+EZXnmAGbOOP{&`z ztC94dQp1=ZguqMQNj})`ojO!3el;t&;tyd59x`{*#TfY0pIPPK&EsF(fuHDyAMwW@ zt;FEY?5!Q^%HHQ6eoI47OU|1g44=f+?P~+TV=TVa{=J_J>&%~qriT-=mD|@}Rf;R~ zuR4eUxK!6)?82tX;O5k}^u*@O@+E%jH?i8E)zo!0?sN){PR(DZs{b>-_>-SAewB&k zmxD{Yul%E3%E#F0_g(TKTxqPSUkwH{H~9Se$jCbOy~8+uIPUq>cSDrvsjgoV#`yUD z{`unR zn$tA?$xoI0X`H6^ABVT}#LDdY%B3C{KI8VU^IyX5%;dO>l@6-Wt=vUvq zxEr1y!IU__-G3)}`uv9eMfH{5($V3oz3;J4gLnLa|NZzF*xs7hLaFQ8vz)*-eW0yA z$dgB(N%rv%@Jsd9Wk|~0bzLuB{02khi0Nb@H(ofBXR|Fvb+=N>x==R@Jzsilf8ugA z(u#KcY}}17NSb)|;nuT+aB^sP(`+*c07S{vkvZ?bU0#M7mrn^9_Z-O<=eR6EH55?eeZbq7(2)R@(~r?7!-Rr zw~gsNRqgu|^p=n_$F!%|PH$4lu?d11hiq}Ex0QCVa53#fies%o7dvp|*^QTsBhx*} zG9o9zp&R3$WBg)z1?-u0`?(y22(7K+Ocv&lSNfiNQG^Y4O~ge*&4zLrW8HYT-RO!WDRVkKtuB-~|-+t$OF zWvN`*Lf+`3K)%ZvUW~(M1%rpMh z#b(*#!NdzfAPl)RHW5Nk=SToTOH(?v9#5Gs?4vI}-nf20hT=seZN6V?zx3G>=sSU~ zJ6^k51tZ-;L5^1ZgXMO)A52K)KO)sAzh+R5NJ9;3GSiXjjn5SC=75bi0vxDZo0$^o z*r0_hCi^u;tVIPf@(f0T25y{Umy6*0rX~DQ1eJ+U>5k`!&Mm_WK{C0r`G=tZR*?$m z*zuQDJ`EBctpy4pnnzErOeD_h&!TQrX;=B>?ki}CM}NYV+Te|%V7RcDBofHWI`E{( z8aZ9}%Db+RVRvXx1Po`pNs%8xpBA4{u?>Iv#I5&5|Mhe?6DP%qO{|KJ4Qi0J(ifd`>{iYUo4;+kKoS9*Vg*pHQvem zXXrDlhz=UiJUjSJccS`ZV zcB-B%>c=a%GYn43QF(QZ{8KDD@Z zF?Vye98`;~q_h&?kmbfm>FV*)@eFi&DWqe@$+^C)G?l!Dt9(~NqHnd1^Nm%RCv^qo+coc(}bxkB1kNv_doEg<;aAq%3*3X4(CvF zLF~P`Rr!Xk`l-&XQp2zTYR*(AOgJu+g3{m~yaLIF*q5^A79s`uusVAb=*vXqls$W% z!Du`{)8ZG2IlHR%!a6`Tin*GK+l=(cLwuMEn;(aR+ga3m^dwkN8u||PhyQG-FukO| z_RHgpFji0Eir_DmnUEKiuVF_DR>{Vf;4(NsMejdr)uIQ$)To;b@hr^m=}=vx#b=0! z@>eOCC{ArOmR#%|ROk>wbDu?nwN9U|9_%0!B&>NS{_&KfX7ZSkxmbXVZ7FPMtUe#t zrcW!6)gZUws7#m5{Vi|#`mmTPnT}RsLj$Nf-f>tZH+$n!1Cn)Nt>>b3WR93|6MT}q z^b4r@anhV>^ruZd4J^coca+-)L{U;!LcGW$Tt%j&9Uqe=r8fB%Ng(Pr4sW^EAKin+ zBnQaE%UgFJCWY+qt76fsMx&#R;=P1RKyIfuP#1Dod(ZFceam+602X#Iwc!6-&>2Rd zf%YC67&mMVZPCqj2xFZXx!uCYj-W<-O?fR=tSG^$%lT% z{NR&;v$w9>p}7abH=T5b71Y2O6WMBK5Q=Cf4e8K_dUMjyV;}L(N;UHY^59az#n@Y9uMY zLcK|Ks5_dQNgiM~1JgHw9f~$qo>a|B-aP3q7`Nit88|&2Kn0zitHbxpnUNZMlQ)j!CE`)52%tQ+aULY``7ssyBdzD{ zIoo!J$#T{=vNjE<3NlRl-7{NnGuf$Xv`5C$CoNf%F2E@(4-*##cd_5(7>e;gzkD$S zU=I%3SJniu68pcAz=RZwU5y^bx=Du36W149KNo9a#djf0gOyH|9>fOs-X}unWt}r^ zOWTT@!ceNiV3q`0#Hj(@m)}W7_zt(b*KvLWr0ipRR?nCJ($ni8J;s*kIP16v09=@c z>L1EglnK;OK4$rnv!kqgfA9%Fo5>-H?L}p>g_szBjhh-bW10-%*x55MPz&e;9PDl# zE5R4{+5+;Bgr6sJ&B$+j zdg>x^M$K}Fr@n07ySL?J?R~$_0ZIQLggfH5Xv80RAZAgK1*g09gR?`q` zF3|+6OC%Ep6IZ@favi0?O20akikHq zE8QHs>qlJ+LKe7L)%h9Yy!pe;ibRZifXQ4m+sJ_y@Kng~FSb~P*_a_p=DXk!su%R6 zW{t7DVwN6!!svE!R28>AaM&4UYRdzCNGc8kmCj-Uteq^*YM_?^LMMuz>rOB#!Nmyz z&Y}@B2q7#x11!vt8tp<7Ht-_@II{auG{jY@?3A%65j!2n^jDVWYPe;RCIC={xGR5h zP9l*#brg_UMHg|VBR;lNEyj_1frKL?Qh+!{yqV8O4fjVLA1(o=?hKl*pT^LAtXSWA- z6Yxn&GwIY>nLA_$;o@hQh6FfKqUGu(n1cG;uPRu9NYJk;|rGcT{U93*-l!oRrkJ2H% zE_(b0Az9L+9rVIhG}>=<*2Tsczf_p3B+1m0LM1#U?XgZ-!C81S%ZlEQ-Yr&^R`VD3 z5zKzzDcXe1Xjphj=d2NG$*zIe=urd=ewLv}98sT)HYnN6c(XeSkuUVB9x-SHKJ-4{b{N1Cn8l*fO z!Hk}yS`1nlPP31VYK;2Nbw3Y;W%MRR$qke)aNA|XTVEf_?kv?yZ0>t0nqb75Y3`F8 z2PQsdKPbHhF7;+0_6b{_$sHFj&w!d!hgV%fhjvMwUReh)&9_X>m-&WQH*mP#+RK?! z-aTHY9Ky;)rC`@KR5^ULM{zAwC(6*5T7@Od3~G=cqJ+6~52u`<0hDqFzRk;$)T4-v z-s@NJX^5HB#d!jGd7dYYOArE)^v5-pzTFQ>#1k33qWqSHh2hCq?E=>>(sjLfnxt=k zah?fm7kT}zPBN0F6ijP6j8BV=f&s^Dug^<93|6C=Knaf8&JC&+zEr`I}O?X z9f+uxzJkGoji}hYG8;f8y))gPd9yLY5*4M_*px1$$~C9+He3Vw&7n7)_NXNxPGd!k z;f*fpa#!z~+X|$ZB7_1uypNr@z*vK#m`HQJm9#d8#UFpJ8k zR~Rf)*Y+CJh3%4kY@|>>3qrZp72j@5EsM&MCfHjBCKu z>5jW_zSu3ikbb)_f(p3^2DFue_+AqjtSZO-EXGrJSzb&uJ(Pk}7^0!G6}e%2jA`fS z@Kf)z=i#eBE(Y@90Qx76y50n4m_fnkR`e=vECjD##Ks#w#Iq0=$C`Cu@Nf4W!Ua~| z#IZood6c>pdAZW96K)n;Bo_6&g2>|owp6Kp1ik@@ppRsVO z5dEyNxmQ8po;34JCC^7)yNdEmAg{s;0PNOoFEiw2!-YE;W9pPYH8lRTWOeF12PzD}(zuf;k&i zLYa-L!Bb#Gu!l=~p<`}W;= z23m+h-iRDd4(gOq5P38euZ-JrY`n5$bgj%460~@$q@h?xWfzb`xI9047yE_ID4N5Jr6PiMmUjou2Zzc8GuS?!XSa0f+@{X} zGE%l>c6OUv*J6Rz8NuT}5^Hc?b=+)%KGSH9y(eqHxdFlVRl&A`yZT0DFM;}C5^7;SGE=xbWWx~s)%i94$Q*+YTqQBp z-dyfKF6Ig<{buTn+r1(&adyhVuH{vo6zLS?7k;pu>dw`_D=Wqo2K3q5bz-PRyxY?q zNUZ&}f?Oz|)tbmQr=@ON*;)~HXCXZD|7{g=niocG5g1~p2w2v2OqLfdBeYjYnhokj zf8iMC$P|`Zs#v-8`coo?uh>F(q-QMgK|Jt9`e35zw(YXUZbtjfRzxT&tXQ%v@o8MJ zJ#L9HswyrDQamkZ%KQW%vI&0bOa?vFLQkY9_{0=f!jBOslzS9?m5aXLh_aMlzOPg` zYkSo40vqann*Hm)&h+nR-HaTH`n0BXOd@$MQw&Re-^+V1aJj!rsT|cQPAo_ZgG`m? zIiz;M?RhWeRPxKGVif2u7obd+71RxwLfC9C`O@+nYW4c6a#~2aZ&9%PR0V(sAvdmA znF?D($Pq!`DWFk`Qbmvy;@?fhHoE2O`3W{bTSloXO0f|VdgWinyMDh$rG2)4TsrNw z1Ve^h5&x|6E@&uLMdS5*5p(sSjEg_E+y9)MzPeMZxOqkZNN$1KE*=t&2W}4%e2^?d zm!MJJqyx$#?-;=CWg{5ov^tRp561ek*xtX%G+b-^ICgasUl_>Ot9?!0TBuBqI|SE+ zSO@e`M;P`8Qhqu*_n`x%Bl*HU1!KR4f{Nk{BlBFFn!E50TH8lR8rIL&URROJ$p9Y$ z(%Vgxpd!mKe~CirQ-UmzpD(?VV*GnCL%Zj8aYY5&tbyv34JF*%eF>=4<4QoxUj832G+|CkRD^&B84;Q2_k!H(Qyi2aENe$gwGz z?u{Lv0VWaS+@7Rfp3?#xdRz;7ii=s$JRlR(^)P??Q>$8|3z#RMcyvbHF(_^yh%tfd zEE@`K^5w^NLG5gWJ$u*kyqHPWqiC;OiUqH?1>1{&_Am_+FeGd)9G=yJOy!Y{oOLpV zaM6xuhabCsL}Zsx-*}O)T3+&Ph<-v?aFWt6&yDRW9AZSKCp@C z6Vd?T(;@2ib@G7aMD=}wsXw%& z4X-E7XHM3fq*7@x!vJq64iyWO^UF!&E7~8zYCmios#O}w(HY7RTe!5z4>BU*H|UuES*-XSY0)STl)S7N}EhvN*Qu!ckPBCF<&KDw0^FZd^uCP6nRPQ*#zC)+33W=)VLX>uW z*MQNhd-X48HU#KP?D|9CBskhEh`5U92Q0$Ng9|H`n!nVFnrRY9&8wQ?0GLv4(IVUA znke_0)RursU`fyC^Vyds$X0<6UC#5_mLqYKY}t_gbGdPtlIB9F3-pj!H1Do^4grnl z*&I4z^O+Txt`5)m-UfgFm|+R0p1WJ}Q%_hw;lA_8o`tp>r(LjLU*0Ce5`#_TlsjF4 zu#>Q|uFg6Mq=a2O-sm*5(0*MP_DAPkMb~_xXJBvAIIg8RAoOWdm2JVf;tF7a-y~rs za%&|MMUVO{6tpT`LoQpVT$SD3m;Le7a(Lo@Bbn(BBO^nZ9KDP2Hfkosf6n)Zvvk#C zAJbUGqIuB@gB7KC3&;JhQiXVt*GMIIT*4SDyS?%EMR8HQq|+C^1x$MyV2@@b1Npx5 z&KQmNGevUspGZBG$1HDxU*`J%)p#|Kok_ou3mi;Dbw9x?3m{y25lW*K=U z`qF3r8pkVnO66h0iKte%RGJy~UZ)J7yTe1wB?%m>Os2*sTjc}1AhmC2e^KljgrNE~&aTv9~2pcC)1Iy=mK7S*J;IF5gv?G%!`UT!e$^UY36F^xgt|m$bM)97UMfblDZUP)HCW??xNALqYPDV zMnxsPU$I0+v!ItBnf)NmL0l^M1oyb4QbNR+TzjFy^W*YU@}ae?X;R+{42w#Z(h2n; zC#KfGmON#-_As9}p$#dYM2(>%pGmN17mGRYUqRNUj>f6p{H^Af<}5*ck)E zX#5ljFBLU<_YK~g<%I-SBZDDZnLTu?`Z`!o=zN;_lcYEQ!Dwa50T{~Q;^28j=m?5^ zeer&$fN}j|P&~gFn_xS^TWli`_x?a?=esf@S}MMNNSy}`ZY4F!`|^Ki9X=NGXjiPiMO|RRVYsG=E;#^Gi{MiG>PY}M5YZjezyi1Kz=0{^ipt+ zeJ;!o9PlQQzsUP#COh@dWRf?$T@Uw^Sg04UnC5Vv$L@S=_itrPAAKyJ_S^+E0(U%6 zjVd>&QmJSUXZ`|P`b?rZ__aNXDTT`Z`{4{b6d(2A`+8+brRpqq#pA>~sCR4lH@Eh2G=$DnL-(X$l)ebUZd6WO>&2wQBAKnvZR=DE z%ppPc1LI}}#w4{ctluu^@MWiS=o4%q3!ox=86 zuK-++C^XQ3a1s47^Xt+>x{N=#AIfuA0p9u#VyRkL-45669ucIip$s)V6^w)AWBeCD zuH{!3et$5S&BO4QXzrQ;8VP8umg$4-*J%(lvUzIJDw@Jag90#BcmbrAdte$}y$hq=;$#-=j?*`E}B%&p? zi@@?TwPKCVZpueiu$_7L_e$K$a-bYRil9)9uMYM25E~91cNggu$tdzEq%J>U`Z{+H zWCP?@0KFGB#aw=+a+1obP4-aVBjVek5%BR+Z8{2tNi}05+?iLtB&pcXpi%p#haz_qhKW4+gAD;C^giV>N*pl)HDm zNWF=N!m+R4W{UChYWLb*^Y}|zo1o?OOxgONIDSp7SREjB5B?jI9~l88^c8S0Ayf)8jToK4$tc@JJ;sA9;xqi#p*a;;#m%VX%1 zk8OcWlOSc2%a&&w{3d-^_LuWZ(w|tpNLN8ECP5_jWyR!N-dmSm+x5mCe}!Ye&qX4T zgU1O1Dfv2=e`v4rMtC#1Lv`o%P?Kz@sqUTwZU$xZzXda^yVH-6MLZ@f` z4}?q&SsnJCGHU{}F2I5Agy9yjRKrGrS?@3Nv)pUKt{psW5Nma8?^yR`RoF8^qNB?f zE|eMqw@`kz2F|*tj1pUw^{L=|**7drsTt6JR)|UG_q-^2M&MYV6Pk9~SL3i0FjyQ; zmD;zb%BR_(RCo-K*<_L@j0QI=rW5o8OWV{4kr)&ykwR~nmb~=XP3AE&E&w}F0-szKlah76!n^ic%IXAji$QIej4{PM<`>aga-+iWf}6@<9AWxsAQ z_o2%p+edAKVb%!p@sc}eR855RErnO{>)!E0&=r;e$vkD@PC8UOIbkm>2o$iczPP&7 zHGv0PJAoR|z9?KX9K(I4%HQ6kyh`jtqHTEXRd~YjYy=Lc#lgLS#b4TExBsm1*P2YW z)T{)|*&a{&%FM;hoz+dC6kWq?9C?!}z=G?wu=3LF)cFDB(l>%AG0DfAj{%J4Dsih8 z?0Ac%8DYR;&vnF)_!f-u(+EX=jnV7`uMQgPUHtv=iN&>jhpr+tV)mP!uY~Aauw6Q4 zazgrRRZbFrdQ-&Mf_KXi)^($?q|5V9cB;Xv&Y>!(XPU zQ4oxTNLkD`vbt!il5OJC-xDe{2=i@r)wIW5xAu5-69W(k13I+V99vewh<#|9KDO@) zOn|@VuDVw2eB}V<8?ia)c(B$uMG4Z|7=5Z8$h6e>zMdq1F3lgf29S!tOQ3Ks9VKz* zL?p?8Uuabhw`HmV>&zB1GEUZD)xo}vp|slyG?bj8;CL?L64xUKP3$E%^qS3<8{?Nx z_gLbi5@MqunihQqcZ$LKaYO*YB*aMOU>TdK3L_CSEE6DN->N}OJmEqFJdEhIrB>6) z`%$F+wNK2eJVthGd4o*NY|Jh*1nK1?y-!(-1LF+3gN8i}b|>xxqJKu^quC=fFmf&l z+oeXj7Qz)YHE9|L?gqQ`yT8L9(AAjtx&u>2JPy7~l8j!g&y(n9Yw>~OA;r4%BdAMu zi0Ew62SNj@Q`atx*l7+q)G#$p^m#-G@Ts2Zyw~VknKQamLaf5~WT~KY26B#l-OE(Y z8tS2tlaDCsz`;sqTwa-YJDk0}CIH@Zet(J6{{-1$MAjCds}XSIohZY<_~gY&vc)W@ z_AdcPd;3=%iQC2XKf5E^a?pQ@YX+^_bG*Lg`OvA`okgb%rqM8*e2e@NTQV${*#QaO z?9eV`aO^0*JVV8Y=$L4ci_sIUX_9nUV@>wpu_lOX`NYwuKwm&YcuCmuJT{Mqlkf?QT8SX)UK@((b9q( zU^#2Xm$j3R8W+2mXRd@qjl7IbA|^Y4%b6|#kXol@xxjzRrcDgCZmM49KrCRz-l;ST zG6B>VSm>_MTQ5QyV@d$mBiU`A$jXwSJ(2saedncj^*>ktwa9_K$|vhz#ak?e6+dIb zy6G0ACZ-{+d^G;ROK6ezu1Y9#d!^3IvbU9`Ds%2-0sOnP42;Q>qmSpzp2m_lI~gD< z0K#;(NviNhHDr2AG_$>j#Sy4K@K2&xn6+CdNgKU7_GOI(gQP~6UWn2y1EsUCLd3iG zBHJcRW-Q>0C`>&F(N7w}fQ|+{ZHRZGdp*0K$*m51Ktt_QkGE$?DQJlV@nh6$GgjH7 z1I&u+HozKV&mom*X&WwTOKA(@XKxwvJeipw>FzUzxK$Pkuoj@a+Zyxi3cBY;l1Q$d zb9=YpD-D}&YABC&{D&g|fujz9ZMu;`N>dpM2+Eb#aniOxkEei!?AUp0GDap73&s_S zUibc9tq1hJ5Eb(H66%c6a4E^79Wb05+gs%-uDTFK`N8W5{-OK=v!tB0^z>PJ&aG{- zE~{$6AE{bS(-T6)$9UtR)evih6$SpE1ibyMOnJG*cDwgj?d5$^HhEZWEcrdBTsqjL1nu=ip4cH1w?O>7cdlF>n(oQd0LZWK`M7BxLztmi zX-SHr0uH`+dOM96%*12?n*?} zTgQx)veK(^JEtO=61OQ#oyEpw&xbrTaS zv-F!u&QuPacfSKoCLd{oV35X}E?#>BQPkkqIArt3@V~c1*o4B(*uouHx;8Nx76$Z& zKSh8d{Ly2F=*F0` zS4V!Up_Gi>SbVwkUI9aE%DbBICSej06*2A&0two%^-OmKsxskdwjr`v{r&O5Mu#Xj z2Trxxzwq;=Ore19Y1qm+D4Sk6G!LB*L7aGr$lBk#VH^m1-^;nO)9qt|@oV7>?#`XFeiziylg>LD! zbPW=0E#iz;16p%NxoDV#4oZpiLDy%B5+bM;!V;yAmT@jQ>R47s9SSY&VHSl96PX=( zwsRwmKvmZZIQYfy&ETEo{s(xj?sqWq^100Jon#^UK|cR1@h^}GO0L^gnIGbqCGdPq zUsKjGS(HE6^o&8mH8bjeE)~=|u=TGtP(!QR-KS@>Ie}xP-3z>fVYF z!cV|rTgC$scZ84O$mh2GJdj{)8+|DtFZ&kbG{}L-#Hyz3tiOJWJ#WB_*sg*mqqKQQ zgpCwl0F)Cq({=>QfBti28IiG4uiiT*!Q5L8_8xSx4z{u8ODXfc!}X4X+)OjU-5>jZ zxhrV>S8JR58_-Ulk8BPM5qc&dhQoO1CGv8?m|CdVXx^!F*-+jZM$`6PvTX%5a2w<%Iucyax zZM7K9hJ}!i`p)4Dr8pPwhfRb`uX2AKH5Mx4v%m_UY+%K+Fwj?;oUvZzRA)i$BX`mB zh;IF?OPkxf=u+v^A6G5*x)oGIaxkyixYtfcZW$v|Lnh0a9;Uu;-;1j;Rfj~PwK0)H zvsSI1Xmzls3_iJ7;U!f5!9qth)e?5{^N^}SB$TwYqJs<~0o~ZR)Xn=K&ky0%hMxD1 zgbxs^IY1G|O@|{ek$wp5aYaublN-9bpFF4^zRsX|7wjg>3c4X3%rlKSxc1m#F>n!) z%NPqD6Ik4~$HJtAuq2qqIbH}Ge(e}2p|6xU|s=amvI#ZI$b5SGRoVi#Vh zXvU@SwAo)D3s8C5hgwEkY{}ywbUfxvgvqf1-{tjiN=87o8;{lHEPnAWrYg^ll)Uy5 zItJKMIUJzM=lx6O9SgHbJC}uLl1&@)+rFzceFt(%4}{s?TP^&XD7L{cBZC$$BSQto zo?Y7!gg;oeB$vQQtpFjnaE)WqKGOi=2H*Z=kgHd;P&7pDw;%rpY9m#JNNKs%;_I80 z-G;=>*n94AQv$cJ!cAIE9QHwJcy=0WVgh5PIB~{WuZZ64&&&;6umRCIVaOnJ72_Ct zp!ukz9@3cvEwB!IrYp$sYMF-og#1TLHG#QZClsk zQP`r zhdig}EcM%DM>TUoGS(HRIM(t@^7&Ag+$3lMdPTzFA{^v4OFAk(I)|aN_cTVMmp+Oo zfG}Ad2WgQ(^2ZqG-m=UTqsdgeB&;+8!c*a;Do_J-VFgE$H)5-6?uu*j>Z(`9JRD;` z6#pU;#ixGZNxPCW&BY%4Vd>T*Y@ebTwQ^-(>$$HIA_{U51uqp8FLwai3KQPa5L!z7Wf%{k7RjTtfZAB~rdQ8+4Gb z&?kaQrm82O;EzHLR2&74<#-eoNg@KpS0dOtMUdMQvUud_($9{_*jXHWpd^vcF-=LD zNA0IBM23dfdD9_sU1EUDoQIPg3#TrPX$z)SX$8FPwvH4_IZDLcVP06KHwT3B$JbzZ z=GWn?_|BVDKxPP!q_BWqyOg~dWqQ>E4&Kp#?QX@fPbPu45StPR*}pRO3#~XaB&k(EPt~^KRY?7PngsbJE%?&@ z_>E(R3*>SCi?Mg=&V&iqb>GIYPfx}U4A2Nzm}2Z0>UJJa0mI5CJR$j6-jE>pPhbA=U~UY1twfZ30Spbd1ulL5|B zVlyF?N|^^#)ax|H9TAH;@MQ3vKtN8TPS~||)_AimjLD=8l?%G-)*9^fSK?D1Zp75I zF9a_k`q~P@%0A;`!=NJZlPUR%glv`67LF&ASg)uxb1<>(D_ady;npzTL;^;UU(q)V-$Lubiqr#0M^s4$Pv7^(P1POl? z?7X+*l^-xeBHRhY;a>|3>D%dIBLkZSi{6J}2ZaINcQM*07}hAri)&sna=@w_6a~jBK80opH@+cx1!J z%7P>;p9K`&ZOkS5clVMUd8%m9WQf+kl-{Gpqn5kh!`)R!BSe8-R$-hvdq37LeL$B1 z?aZ+h^JWU+Fx+?M>AeEi1D@V>i;!`e>S3e~6)Ks`>Z@REMKizHUZVMau6VZ+{fV-< z*W=w;=H(GNteTf(WJfg1ACeR+dw|rgpN%IXV79$jDzcd2bJAvJ3%CIQb)WSW+Tv{Sb($f>S-ef^+!cn~9iGC2k1NXAfj+Ktyo}k3lKQWZf;qdNLpA6HQ{Q&k zm+h>uP*SKf47usqUX)cjO$}%>u;KR5(!$kw)pmXdd6)@S-3Cqi7;+l9GfIHx7OM4l z)M#Jr`;dqZdaY%xkH@mQvyEd;`(v!w&(7Ef_JJ13Hs^Efkh=Tyy!Z`cTLg0v zMJW*C!fGRp^wDKJEh8!KV34`HgMG0;Q1fjo7y{RQUmKB?x?S;~G7%Iw1RREoIe*6~ zux8Sz>re>(pEjL+oO|7?ZB+C5ik#lO*JWb`_u6_f--fZG73xk0zj2V{Zqovsadpn} zu5`W@+&J+;D87d(s$6d2dH9+wwjJ&{+Mt<6#-)KpP#12k7a97HK)otQZ*o7`V$JB5Ll=DKKWCG*leuIoB$oEOi0EHHT@K^XE2nVg{e76nCI_k8!e z@SI5RH11%s7wO!U?zwJ8qDS>S*)icka80j?%mRW~=cZ@`+O{gj=ruhnI!+>%Iuhh~ zCSzUQwAJNEh2pTHYqNhxRY1$^35h}7BM6Srx%O#h?4=<_f)@rnWr!OK9f+B`^`#%B z0)~$Nd`H3KJd9V(X^V~7NIoF^s11q+y~oSDW8j#2JG4QXaV|@mQ`YleO}6IC>3pgnw-IA=B^dCK9Lb4VlGe{KL$d{N_Wt=^8l)VI(~ADG1xo0`L@cvYiN0y)f>U=f~AxlyP$|rv=BP@ z{e=0tH+@_PF2!G#CmQa8tDt5XMO~;;)%YGa+#T1f*)NyKJp}+;A|NHb=yh}!+m5}6 zx(%us{<#K2Spb{Chz=RwdsGAxVc#Y_XgfI&Ve=nGcl*s>rqa%2lyI#c5?7izmzc4# zp=OKALuaiIT^Iv@&H!5yzD^Wj3PdF6`6dGxX;4u?g{>H`wb`@XI*T^~lhZ81I=)B- zkk%O!S!G`yUHyip>u4rbxg!$GSYQ7fkF93`(z*qBGiVR4kG$j5rgu5T!#iNw(<*As zU(`@OB}E&}8!N=?KMH_N0O=3Zb4%nFfLVD>|AP6lrJVh0j?B}hf9h>WSCIdWuVqsd z-?M{cD8jzG-{4T-7BX@%ngij#%n^q)GfPI=%_oE{?m)&Cg@frPzEn#2b_ANrb&{|B zpMap~lU$-&`LjNSnD~EH&$u_E?O!UML^DT{=AQ6UYwpu#H8~TqfjF=#K%h?BO#$q< zgL&KHnghG(trPp#DaE$W+`jVXu)3Bj|^I5B{`wU10=GxWvu z^9E7v8NS&M{0oa6j;45M)D|8sG-S_@rQwB7nyU2-rpdj6r7Ln8v9t?xHcOi#f(r5J5WH01l)5tG*hzP)_dPl%sFw_AjTqC z0Op1?&}gT5S1+t<4+_2lzMMk{hC?oOe1w6gFQ>Nw4mZbUAi*2$KZoC=zU>H0t_aD; zYd=@74x5jsj2wX!6a)f+Ng4oXWE2cYXqY=d*AGuLB=my@I`2;iwGf>VAVDCyySL;A z?doCmQ|o&JLA@{FR5^G%8Ux<&P2#Z53*2++wm0x+R{DqJ=tp6%x9M}2^}83M+p)Fj zV{qyr{OiXAa$V$V>&LlmwVLHX|EIG4gD&v9u8RM4Hb)IYM=<;PXSFf}uzec@zcg`k zYZJoR9oQB`$4Ut8aw#zUKvDPMGk!&=SPwY`^YEbt;t1;H`9131t98=)!VtdLP5i?c zbc=b~8)~?< zB!mC^=u`Ly6kwmRyF?%vLC{z8iS!H9vFbZk^akaOfE09({Rao;4y28a=w;z2Yp-4T zrZtjCnjv|Uq|X6fti9B;&g6VDKZ`EF3JjWNE}^F5k;@fQc^lJi2n+A@E(^*4jndLA z#H>^m3GcznvZA!yUOI17>rQ5q)}kiHAaVNf5}UL?I&vQOxXh-`dM-u6cVstq_mmdN z_D42915P8jO))SN6zS0N9pSb^;r1bi7N;gdS|T1#6HZs0J3dOj5V>J8UGo~K_`5Q0 zo;my~d_~N~#UcVE;(r;v_;kM~p4C-WdIP|?*o@!d zqFUvY?ekJ8JL2^0G$Wgs%tIy*7PvDs3>{Q>aBLY|PUWK_H%r$c*5J*KVk!*kr+tye`$dfl6p_bw1O*NWK&`HfThQDP=a+k2(#~ zb?*OmziS8Q1a4Q#SpAEyn6OV8yC=*gygjXRAup|Vf4er;mobaWnO0Z9#jjP`%1x`_E2LrAi$^Cn$r?=4_R+jK zifOevax3w-606HTsex&qJ>;{r58O4DZ-F|UH9BiPF{H+Cp?)sSd;45>8vNEoMA;8!^_rlQgbn$Rk5O1;Z8-_2uyzA>~a%s5N-Xvwwtxq+OFpALM{yK0$bhvA}Vw2X~POsB2N%w@{ zlf$E>sDT-zq7SntFcK5O|7_+iRH4K2-YyJN^A>h|YLk{`Xt7Kluw$JDd=6%hfIJxO zk?Bjo?z<<>ePU8go031U`Zv=L);g^e8@ydD?LTMgO_37+nOu|>PH!jNcQbEyZBC$g zg5>p*0E?~AxZ)AP*xlvb^;h7IVpzs;P=j`^6NrCPMarS5A%kTOMz z`7DmvR}Z4tNB}YkxZX|Z*tm>Udgu+68GGV1*p>Ono%AbyhH;_MyO9i=OZ9r5qw_fN z4_YFx;4Uf5V~4eiOji%bpXj+s+|5M`-VUc+&R9Uvr}_1-hKqi|Fo(VXeB#o3 zwE)~ey@LD+bUi$J{r2CKWN3_r?IN>4E>(0&=HX$vpZ}=)9|6=7!H+kQ?}Zo*?N86s zL&oh-p2z-&;Vrs9-^86xyT{=DN|&la@Fcc78N(g>)oY_qVKVd`Wfe5;HQ4$w)!yB) z;LqXHDr8u$Lqor0YY4Nal^;}&&*aOF2vIwDP2GH9!+e@=;ak%F<1y@$4K?ge1Q#BQ ze-q)9z**A{KQ<`^TmL}_w(@?#IN?{6|+@It`px?*iIq2IO_rb+D08h)T|P2`Wl)d zb4yu)NBD0OWd|}V%HcSyMFdsA2a~3{cYkEmtqz6qkz^LjZ^qjlKMdNnxi}uvSgBcx z20wE6sfbfq3(FaGsAxd&({T417}vC6K%~b$x`Q!Z30;uy~kz*(Z;}~rmDO?>_9D9Gm zDYB7Cc7pzsd)O`Z%tzw|ky)-vI+z;y*m6LmvEVD=M%+Ufmf?DMK-R+$!B)%IL>?RA z%nBWuta}sZq*zF4Qf=yG>v)mKSxn9sLX%M8$)$4>F3q4R_;mO6!2yF8x295; zR(W+GF9$v@pT4Vdjrcg7wb6LKx7?H*;G48AMM;^@Hf^=kPi)XiQ8d+eN*V=Xo;1Fl zF)MOl^!uCoCds2x4JWd>j*Wnx|KK3AGjRy+>leFwHhsl9{=|~#W6x@huOH_65r`bQ zB@$di3SDKh>(Xhq)F&3@*>A)_V;OhDQ*K~m1ItvHK&$xNkZ;lf>M@<*6z+5z%Y2ul zkt4c*N3j6mTAi&|e+jqvp46L@7Oh$sl(!v*0sZlU*n{*nPN%c-tTlubkWl5hsk=E# z(@EFkAg2s51XCpCO!1;mB}T zJ37E$9Ys~RU=ONPDs;zk4nr7b26RO_B$V~zmAUZZeemtj@`_u<8Gbjg0z;(oOH=+O zol{#QD?`Ov8^+Hg`}&A&^`X1c0TXL|@2IMs+e37$+&+KK31kb|KiSeXfiS+}PJW$J z^VIqEe?FLen;7@zQP1*SbZlb|xgot+&Fw0tdKj8Uh% zLd3Mv!;ViT%Jps1A;iKQg&z-vfi%cS2fMsAG|;yVO~w}lV3=enDE8ePsP%+cMk;Be z7!kvD3(E~XrSJBq3-k-ZCIeC4Z1SPLCxlt48%;7V5qRSZ<=C-&^W0TVMKA37+e8-m zm`3zA8@vhK14$U$YS$X{w2JT2VI^5!JpAzG*-?{G5_&=p_OiwRYO-5oyl!}B(ur74 zJ*SqzsrTiOfUujSmq`sS^eZ=vq{NXEIBy3Cp9rrb1RrEvKLIJJa!nbc(=$VZKyE*| zbj@);O{=xci)Lu+hqJ}HpQGKj`X4J3 z?c5|vZAN`$I&ExJ2)_g){=}aTD>s6PWI9{%4J`nrTiR(Rzxf)F0$ug5#uCNK;N?v9 zedumaM1e0Gx;lTwKL3Oe^*fh9W%WEZBV7&m;*e4veSUfj&c1PB-MJVH#`673M0kGL zD1TG!w)3!uZIM&9dp1%+_Tj-&>s$HXNgO2%IfK-_>1m?3N=Qg0mz*PJ@W{e{wGnmHoNclgpgJ%q|a(`ZS`aNOP zhkJo&CPkrY^Unt!$c21}ZYr^A)*K^NJajDH=0s&pCY*0)unx_OrBy~$gdhhcGc8mM z2iB#rD_2WjxRWIAUd%0ZsRi^Ys~5<00S~FF^=I=7TlrY2T)Y`Q=brTPdDxPBG>@hz z*74E2peqHfcTggSp9TwV<&(~dRpY+8smKNOzv9G9 zpjCJu)F-)fRHIUHpuI8kaCh_*wFP%)_6TIw<5~mvUyfoqtiRwEo^NKISRS}ZyZoND zk)5uP4EB5popX1#?ZZY>Y3{pqe$%0BoXftO=6bUxQ68tekbArigUjfJx@}2Oy`OM? zzh3r*SOw9(aPDJc+jpHv$#$PCM-41y43y58`~=2G*p4uCRh;KZ?_15;igLU=8Smh~ zc9pf>J~eRprs4nGg~HY7BL(t*9`CcRl2orw)j7}l6e=Kq5jRQ}o(&9=ce6)`rPnWP zcEDiJ?hA)Z{`1eQ;h%$)4~!CQBfo#=2P%PUPnCeoIJD(DAo*cjq;k0!Bvp8|OO%y0HG@ zrVXgeyz{0{@n_!Z#nFE*Xm40$^*Y{x6H$oy2O3y3c9 zTzMP@cy@X0KOSR}L#%*M2p&4{x+R3H=y6K`fU)A(M&v+JI_)vzzZ-paWiT@al-n0W&`EazH81?eH%ztm>< zx@krMEXyn2dOsH+Lg=gIRU5yC71k>`H{CoEf8{|~43}-v4uFeT3$p<*2gK~jqDI@) zjdfsnD^r(p7w&zZY*pFCqD&y3th4Jsoowf>1!mk zW?>XDnO44%7^lKryO-jk*RovCbC(AsNX>-@O(w1K8w6}PAY>CFy>MkFw+_Qc9GO6< ztP_IHMTDiMU0bLiM4;6T&kw}Bv(=O%fP6|7=1^l`v>^y(~~V z404RQEikz`swFK1vrbfk$|B*83_8p55%UEwm6e3I?}rk^HyU zITxhgprTqZ3-FjYOXhS0MO7!(h)1HF@p}xK*o_is6q8eH4Nzs0wmOS)Hf8~GC*?jj z09#zC64Af;=VX4N{fT2JJT#=lGm%A$xDsN3p9q8IVoknVp@6ikOkRRkJLT~maUcZ7 z@0c!oFFIM!vDugsToL|rouy-l3_lFI3`3hLI^nD_`Yu?AYT9rS6F%Wv${e(evgi9U zZj^)s>vwXj6qXbLMS|`?wYmSg* zo)yd?7*^+fR%OC7;Mr8`c8q*^=PArKXpM(Gz5m%w)G@O;KZNmxA7};8-a-zM9v?o! zBc(w>l{Pz=0)2MVn;hQW;zZe@mW}Hn5OtSR>Z%s*SX;t$k7T>?uRcOyE(`K_BKaE} zRtDe3l=4lMy#Hiyu)x4_8{ULT%=%|qy^{CmPPfD|R^S{PK7ZVa1-m_)wlSj4u!}cO z)e&4V{-ec7Q(sN`%hK3mNxJ97ISoTd!yK~V#Lh#831wRO_sLlo0Vp{#rlt8k0+fs8 zUs?aO^$PzOvQbsL>RXgq0QO4_YGhC6C8xo#meLTt#z1k+_m$IH$tM5{us^{HH9ka13eEz3BnAPbCB}(EBY-6mN^qB(2#-BB| zxG6Sh*qbH_h3ej-N!3kBFm$~dP7D~4q7hQF$-Nw0MD|rK-;kYyxRH=fhS$ipy#BY4 z6XcAT*xt}(ibLBZ7r#;MtYBLC=3;syNf+lzhFd|-K`u`g?6bkg_He<@%WQ#kHNz4t zwyM`b$;vB6Qu9}+L$5`5b7R6=Zr>G#^|S7vaF=mQpC@akNlZ{Z%cz<0wm-H;22pL4 zTvu0=PA7KFEnH>@werwr;Ebhww8NWrSehQ)obk(e6x;-yknLNOXAv0vK(>QPn6)*C zGplQr0sDCk)j08E*I6WzfxR?rOwaKzL$7vUId<~#zv#clW_AzwiS$HU0~1jAK79|u z=V{(YRy-`$N?fx`fuaeK`?m*wArF7U!g6)<=USat3_vu{<)W;M>Ls_O23Is?P8L3E z{ce|SpNYFi$wPINrHXs^9b^X1*qG$^x!C}SmP||$t5X_|UeLVFdc`~P^&_8c$U_$X zMOSsOWNF`$1<^%id5MZo8Y0Ao) zE+%PT{)5#^%Ik3uQO}-2=4Jf~25oKir^Aeao|6tB<8AHK_0%Y8(XNmvL-rIk5yp}q z4tCZ360&>Vj{#i`CHFQ>Qog4XLrf{ZiKsdbBfwR&7t_qK3r^3squwDa{$XCXNr36G zbpN}vS8Z}L=Xlq$f}KLnaK0M;xm?;Xrh17k)Q_7a{+CQPmu2;J{m>~g`C9MsmGI+A zI&&L*PC7xc41R>}=IA?^P{qeCgCF6@$~DZ=O4-?|PefPu{%Rtcuel;`A@gG=UK>4J zd6FoS#NoaQ_^UHXc~cz)OqI+dSiJ7xGk!rx1a{gWm4IR`&^@q(VCnICb3TD=W`e#~ z*5CESTe+5o)l=0UD&qJ)dcIw}r-HSiy!9)8GTsIUJ{M%Igv>)B$Jw^t z#prp{rnPyM+BV&3sfTS2VrrIbpp$}p4)2zGK23!|K!2vb6^E=nR5I%M6MUqMJ*5fP zfOk-1I=7E2zTfACnhF0_g8cT5hQ&kA!TaZlq3lj`q^8Qnez7$L_gOBXlFC__a|iRw z07NKS7Ferc!KHvo8NLcj3mW*9q+O}q5T0m`jk=uIPQtMv+mp;OXz`zw+SGQ%36-+p zQAm>kn|a}Mwr$ce^HUBNVEzg>s4PHrRl+z!GrxF_4WFXWJ(!^uOHciz;Rb0{=~6_Z zoRH@(j@i&%L2IjkifdI0($n1d2tEtnK1s<*9fQE-)~)C({Nksp`)i~=7EH+-GF(BQ z_OA^Do!y6^9SvJuJ6ndvhP%G*`g5dBB#$KzkwS+O55*_t5Q%ZJ1G_{I=pj$lIJoN0 z6~;7k;b|CsdT0qaztpOn{=CL089*&Sru7yo%!|(&b24S^gJ}JB8>_;{5C*V+oV&{X zT+sUZZ?`+pAW7F>&Tk)Kh_&XaRLW+`Qfs!IRt3I=0?rHTJBc!mQm+VY4)R ztXPA^_%pROmOWcuGKhgP-`+wVx;2; zSi$x@0Ld3u!4$t7=>wCKR-H5swsWJfB{ybl`!@r_Z&t*ReEqcH+k*~lc+k2gb+V)@ z&bJo7IKL@ii_`=nthZ}kr<@&O)$)8rnE%M{Wrmb-$R$p~nhcMQbvw~nYCL2n#i$RB zMkhC6*6IFXo<#X$YUsdLqsu~J7vYcm$@b+nJ?s1Jgtbg&mJj)8GP#SQpKGE^k)xH% zUAkoJ-LHn&-f6YCE|^oTSIuwNEgAqrxnK)a&~4Ns-&z(hDRG)@to@+;AIXXaHQ5M6 zXbnq+L8WM`50f@uiEx&x(KH383D*u+BO^+w^>pf^N>jx^_$uwq8Xfr3EU2Yfr4w9I z&%dh8AK^})F$v-@AmbsKC^PrP=Wh*Xc@n=%xrRZKFSr&1DtQ(+5^w@zL=7u}T*!JG zL+BpZj~Fb!A-}a_RP_3Z2KBh3rd4)1PErxr(u2;07R3Ri5QCN`R{K`g#T-LZFa7_0A#WzY1t@YgcWhYQ zl$AOd+ZgKob52-Q!S~#B*i$A8pt$mk(X6V;?O}oq$a_OBui<2Vmi}mvA3`e5nfGUazV`oMKymk-PkWe;ai? zn9dv4#dIBW0|c7$>F-^uOb;~oHOv_b{~U5dMeqIr9d;Nlsset4)a^Q3X067h`^*qf zrEQDdJ&^9nfV*KGc=3~KWaxhMk81||$7-r$V`Dx;4lJqJA+UibKHU&Yet4fDldQY- zlJdD`({KwMoHM9%vK0A=Yn9A07I%L7&3xzIT*|4o>;&{bq@v(;ZHJ=9f|ryt%|L&& zPC0=~7A?__lArCzXq8V@#ES{!6ww>%*=Lo|r1=2{-Gzz``8d0nCwqFwd~9w%GPMxD zk`QHw95$xHI8SZf@JGq7BfdXb)w+uI5}9sz>LTQW9)N9#H!ZkH8)^l8wW!Ep#+R1N z79II6EjwxymFjc7opyNPj643zTUcqOo_TzV5;BngFq)((5MWw(X`UqlB6R_C2Ga0y zK)&z|hEvCz*qxy-%4~Gv z92VnBEW$DN^#Ry&tdeQ^dcReSO~a=~k5CBMJb%OVF=Bq$EUM3kRxRdgwA;)GfHSM8 zO*zUMW+i98idOKu87afI9@E37`!Yi#rXk&p4u-r*TIzb#RKB9uBC*JgfB8;^V$4ba zm=|omdT{KfhjZ-uH}m?jUCs~ccNc- zo6~Hcww$^|z4@ctEiq829{dn2>XkSvesKq3#^U?Tu&Y;a(ODX@IG4B>i6;>=cu2!v zA4{=4|jDVvXq5(FEb6cgk%{=iiZlVSCWT>87DPah=YHS_Ldm*&;npH_z{dX6X?CQ^YR9VoxbP z4|l*CJg&^;uyT(YrsV~Y(LlPTWcyLGHJVT=v-hpigpjOWCH~7#I^)(R!Q(!@?`phV zy#eWfD0V(L^CrJc*1Ip<0*s|iiq39GmovmM2B`zv7XUkhZw>~9;upsQLjv^)_>#E0 zQ3<+wVL$UjHk=g}7Vc8~-qiK^9g}~c^=~WpAE#4Hm?@-kMy?_{#;YO<4Ye{GuyMj? zttliqXU}GTsZVn+m)seK%RhT5zqXYljGDCuzejGQQ1S_j!1UwLSV?kopn$}BZ@5ZN zZG2eASPk6;5~gQ#J5jfSqB;9C0vNgtZ%9= zGUHqc{G=5<4FBAia$Gzb&0$EaUL=3J`-O+8sqZX4v3xp-_!C)4sD5uN8)7Z+t9PfGpZ8Wacaq0 z{fE9c(TMR^w{`5*jKzOXAN&0h(WO3b-|5d-yIe757yd9l%~XPkMwW>ZnoEk-mqVW# zWRVQXJqwzeyD29aZuWNas9Jp7jT2FAGB*(^Y3x6a;!>b7axV-=ng$LjH{z22h0g(g z++(Ksj65efx1`Yd=89-&hU~}VKLw;~ffXW&1iI3utt1h_LZ+HQ_#XGDBZw%bUB^jJ zjfr1xj9&Kh{b|+`#Q(U=@(4e?f%&P6+^O+)|NQ|?(qu?hC+Bwa7}Ygi*7^DsqSdzD zBAoB~EA&tiNUzIS*M^NCin6|WQWEq*uN0g*8*w3aIIivJy0 z*fWB37#D5d5|jId6MMywQyN~C6M!-`&Ky+=NyUf}T*rD8!LBf=jk?nb=cjm0|Aw{c z5ncHb0QjvUJN&;vm;e7Zb4-NHOe{?QgIWI9IgFW&iS>V${}*-1!okJ#|4LoDn`tIr zW6(n@FAyP!1iN~KyGo}G0Ynhsr;(LG|G0X<6uLq$P;GB-FX%a+d_3>u-T2MKxlFrF zcfDx8Ojy*M;&D^E(Wy(x)N?5!UY$)$jE@k3$E(jTBrY5t0URA2o17dS3+Cs$LE1OK z0&M2aTmz9Yk=K;Ykp8lQTb{rsji>cbOe5;>PhAxV&$=~jvzp^Hrob>zfMv5Ec?Ot(9n)7-ZpUw&jBHUv{Ses z)aJG9f>4^Ga4bH77;B*5uK(T{Fk^_>Yis3&udeX%@omi!>1_=oT7IL#^?@B(gUx|= z0Elh`W%>-vz*MJk1Aov)!^ELHO~9Pr(xl;Rk1vcMK|l>bec~bJ<{`|FPAp+U0EYJ< z+OQJs?=TzY4+wLokB>r%B#2f>|5Q>6Df+4<$tq;}|3A}uq zs;S+(qY*HLOZP*Zx!xIQ^lW}(PUyqp@_YaGXd2+0hz(%TjQy#d8wLe+c6Kvz0a^c1 zBl|G0H;henYfgsb;RN96>CJslC_sXPX!mj74u8+0Y;yhK!!77-Kp&f5xTsU6-OgTX z!4sOX7lgSSu8U3Mcu0o@4HabwdF?nv^D?rkedG~FDdTJ1yIrmPz0t# zr-Aj26H!9%VeSE5zkw8PEOWgqZ-eUn^RV#9pBe-8@?R8IF98amhrO7gFn7B>s{Qpa zkf6TJu723x0^~jn^uGllzXMznU7CPDS^cjB6FrVa*V)?(E!f&RZhtK!DxjLvAQ1icpXb$zhkMX9vY%gHaQFXZ zI{qa7fX*ieQh;IF8`QlEVC~qSL>};Qxf_AgS9^!kPfYnG&X`Bti!xPq;Xn#)sPO^S zKa#BX#c=>yZ}Tl)53Svcf)w~Q?EoHK_Jz|=z3>JFGf7a(u+ddF)R>)S=t2H z9Q=DMkk~69zWu;)^yjS+9E3;^bFKS13;YuN4hdRj^8%=%xuH(@vg^ImyJW~QMgYke z^^X8qJ#$(h9!fnkHZ2L^ZnoNxdG5cxx@!XD)Z*>`W+`9)4UK~i(4AasKX>q*HEaF7 zCWCGDzzqUx%^UgN<@z@H`V`2Yc_Mkuhk)b}n8_!PGEc*d_O-0`wNIhIH^;AS98FIR z9O%0^`~C-)e}Eq&z~lZiREXN?_b5m|uICqs(VO=V!jDZ5?G_>O8r<=%4PvX_Pk%sf zcc7p`KE%cr>zXjXgiGB-fFu>Ec|#-ahVI}Rw(XA>#qS*u~bV*&4EkUgAB7!PTpl^?e4VCuI;@( zGLvZ?k0_L#D0V1CRjCq9Wb;5YXUOlhoc89AA_*-A>2UkY$UxTGp!WFHsBv!n?c`}pK~JG~XKPK& z(Y-kJzdOQNx(y*wgrHTlIOY~L^IB1eibG#|*v}zEyJqE@el#ohL^PHLGXW~)GfX_% zJT2+(2-egOO@Y+BL9Q?N9L&zfYJvXWM*HhFJU;YU#jWZ=Ey@Lg3m&jCN|oQgUT_;F zzaMWPGZ$mR_fzm8u&g$G){FcxF@Lp(*>qjIYo?;$2!N)S08q*Pa^n|M^zRpTuMb|Q zbEe7hg7`E_(&|KLIH59Jw-UO1m`~!M?-Lq!x9FzVy8_QG8I0B^8k&5c!r8%qC9WikVCOnqTLL|v@l8id6t!~odUtVW9mBVaor;HaSt_wt3PpfGQ-E1^_i3E-x%PG4uOhTUJP?Ek@4b)0ZBwTVwVw(t z0RG0d`7UbA_-&uu;hq?!EV-FGcb`^8q>t@aX3~GmFh-v=bg1~RBcy+8bW!vU%6?g6w`^ zeG(f*Kl-*|l-;L>z$S+Pv zmy`L|AwP%m1?MiBhmUM^ktG5-M{=^Fk3{=xeQta z`;V*pSj=1b>g&BL)J!)IBkY;kni$dBYWO9sZ0eyyw-$G8DdP8Ss%_{rUe zL*!r*SpyVS%8zvsl)mj##2Vi?GM7G)gYTVF^}w987aau2Z0N7foLB^0;Qx0{Yq@}!(`D#8DJ&m z-EZ_}9<_pn6O1`U-IUdz9;mgtPJM$5^ zR+8zH)9&2gt|y+{#a&3c=k6$GI0^~)=31o!rHaiAFzE)*mSs48v+m!CgG~sq`&`m* z$iKh(*@B$j*wln?V-$-6IOWKn)9g8o?CZ7{@()k*KkJIL zf|V&&+3O0Kw^5bK?SI^qUdeWrSU%NGa%(X5G`|Lkl{E%3ax`Z|i((GeX$LWn#@IkD z5@^N8fbox9|8Aj@+Z(Jd?J~Tfe}^gX{?)b?)=@DYv-Be=$wf4ID~MJ4o9tnPWNHB0 zy@Lb}M&K$L1)U>dl_=jfPY^jXgO$Xh#%pm^!RFQg$q-xLE{bH@eylcC549UG&?N6{ z{N~0981-Ny^H&+PuA;O^EWlabMITx;xFgfwI`nqvyxN>EMG4msHNrW+<7XkQjCMnj z@rfaiB(<+seO<4KiO~$Sot4u*;rGo43-dR0J9}yZT@R*itZ*F}?1%(K*;0K$d;PEJ z1v)5tsqie7CF6aD)}c7#VuVEFH7E@zcWj!C3}n-?qURj$NJVUr5v^2Q#<=@2j zq2wilstkq`tRzMb<2{(eF%zX2@v@F8Uf3*cS$bQcwV<-o#Mx9NJmeNix=OWaL8~T^HMJk(2(~90z~+mKS(VLr>-bT4;uxeBq`yCYreAx*K9MLJptLu(~>h~ zjDPGG1*AJ3-`+Po^^-X5xVegDNyLcT*KTPnY`W(mTpf~?HmD~&*N(E!@q9_cb2)sx z$xd36HSN1wO7$aqG`^oS!yE!~8RGKJa_9=PytJA{cJ4pnovND|p8WQQ*R}^DsA;gN z{j|gzi=?MsH5xbw#}05IZciFer5s&$hW#dM?0?8w%u-ruZkHNNzbhHuDzua5)hq~3 z^kWsOY-9O+hI+yR{)i+&W}^Bxy3V`IWrSu}IzT=9{P3B~xWSo0N(pnj{|#R&vii{4 zVuQOp4dHB{LA4mL`4W(GvRv9Z@J%5=zVw(Z<=2(-I`hmJK}Qc=ntmxeu5BUWsH^+5|v1Qq=xB3^|F{9G@h?o>T@&Ot!RZ%bJpsLIEB#t=vY!x zH)|nfM|+&f&j9`M>Q%W(ulws(-QLtAR z&^SDSR~Y)OZ}J_lF0W%re?-ghjYamP{LJ?kvxS1kF5fc6@@ZBTCgso| zJeNpvCjlY}@6XoSe^+|NopT3|q~PpPYwkSCg0tC_&_7t1n}(z_3VPG=sNm)8-(_b~ zp|d;bPA}@};iVl!vXQUcM*^?VzWTtf<}08uQ?@5t1y#ar`aw}}vP_h?lRNk&h3YN+qQ51_x*6I-mkuUtEOhUdrnVx z&vbV^r>D3-26h>ENAPya;{O`#w=3O?B+!9AI&DmBgwO)k{kdR-Qh(7VyOk^MV zGFDOXl#0f3be%10eaP#babut8;IDcBRJ^1DJ5tuOM28dOo^>^uKOne0WfL~-Zi{Z_ zDAhH8vMeMm30NVMN9ly(rkfzHcyOQ_F z#3R2j^AG;v{~2aZ1~8&e8(ODnMbg-6VZK+OSjlVNSo6R7Q;M;^q)&LZZ09XLMG|Fg z=Cn-=xmS*@(DGsL2z7|~|KxSRa-q+wlt51(q#b`m8l-6U+dY^b>sZ>!;+cTKo(<xzhYYyT>QBo-Z3v~!m+#;G=h_-I& zMld&YwyaKTS4YW`SFK38Cp&UDP zgM!v{ME0i4(Q`A6Qt6v9&Oc*)&AjM~A*$rC`PwD~{h_!cql1@t>^}GGw&88CCVvHC ztUY$atI92bx$PSf(IwJmzD(*jD>}_BZZCsj@hZ&wid#%fM-q+Z)6_o@@uSH)=y@S$ z68j5ONqGIZomdYl83K-^f?W^OHl@?Uz67?~J4KiHF`GR=(VtPKnSxdXDxjz}Lp{76 zVI)#I1>~tYnuO^N8+D1OweA@4dnmeTHj-abFL~$8;XYUYR+1IAa`DG9XYd}`Z_Tdc}_&ry%)&Q zX~&>e&^8*>)&Z+1uAAzWmh%egJ+&CAZxEcyzKe~*HeF3w7~qe<*7sLN5Ht`MM=@tk zib-wjI;pp?Vs4GEe|oMtzi86_sz@xCN%BZ}z_mt=+$7EsEsD2;@Fr2@04LDO ztv$u+{}JisdZ>W&iDANesK^7?w*2k1VJt?ogMi=&Y+OecoFxp)v7qLWt@hjlox&X| z(g3JcGrI?w1STWhev5*2^X>{a2EdZ@QXPEVTijaAbnX^6A1~>QR?bV!zO|)^zy{Sj zUWVXR&E;n_l4p%B+Mk`e#u4mV_@g3n><)J7rX-Wh{~MRj9L}hwV_EMq)mnv0yqGI< z3Lxn}jg1oep*~SCMRvr94bCI2R-%jPPC8v}CpA@b=go$4#ad2z5kEYD#FpycJ<`c@ zbLr0boZAWJm#=6aEjn9LgSvLKbEpfO460-PtND0*0H>4JP(vMG$Y}-dKt9+Y{CCGz zf|QWNj4t1vVkLb@52B}Is?W+(MZh%FknP${T!l83scS#Qo|_F9c7Kz{*HJ{{-k;lE z&m-~OVKb#qda&^9bof?!_=h|xXTLvJezHb$iQ86Vaf^y*M1^|hMYm$SZ>GT;%-BB% zfasGdL;APdPwVczZ%^eNk-ploC>8AI(#maK2W=7{8l)N$&({8eHGXeF1$r3-Z1nc0 zdCw)c0L-)sYRl$aumt7l4Bw~8o-57Z{6SYuSHFQ1v{Tm$pzgxiQ-Q%6y4E>wyG_24 zs-#D+CuxnHxbcrzlRi{?`^Q-3;dXE7iT;Zwj|3ppNtrYnft0Ln`vK)|bbIp4m1+&- zL_lJPri7L=(#LRej&qtegMGr+-1eM|A6{Esc5yeBk5+0>8>@~R)~;)@wCkKTHP|Ys zS;9`^V{Rc~&07EDfUJ(h>FN=mo%Uqs!tUp8_H(&3 zzj!5D*$>UafroV9X+rK$GM+4HI&_pK%eV*6{;QQ2impuF)#WzJi>s&~Vq;kdT8Y9s zU8X*0p_|T^GO9nm#g{+F!85gX?(aXL@iDxF;=x7U6I^avw-%X9msA|sLi}@zdoZ6h zRS4vH_Jav8g-VMd8L{~i`im&9t*_vm_-uh)m^>9H@)v$_ZdI52{F5j^b}utnmc?lq z^IKnL`W8$hYYBSo_7g{YrECwo7bU!Dh5X^@gu2_n2V&U$bKvLKs7At z>Lz$Vkcir`)Xl|%rX>S`uiDGH);-X}khLS#&YnowFMKiv(w=PJA?oZ;l`3@wb6^5x zS_wQd?NK2l`WggN`i0?m^x6Ebz)PZe-BL1$mr)xLvk>NWIrG%5t0X}RtJOI*$(iaH z@n2q9FW|p(DWQLQW;d}y5pZc&bklR`nKD`t{!~O{urA*|Da%Yx>UhJu)gfNZ+JZT;5 zpFI$)wM%KyN)3dhC3B0DTBjJ`O~-@`m;dZzE~d9{gYL4Mu(AX9@cH$J;91~(chRMw zG*ivg0mCqG-b_(F^FABT32>2@-+3EPWKx=~Ca%SYdvs(|a)|fIkSG ziELb#f`at#X*+Agib|cH?|}xMtiFCG?5YcgdbyXid+ z)HBKcX345-j)9;_Vei_F!;?789UgBMc_FSV6r*rFg$Rdnif?eE{mmoW0rPebqxy4M^uad6rQ7WnPh#8*xoy2P~waZCLC#C#6?{P-%1 zLj*bebD&m)<(aqA`_AT2lJ&t3?I)-j*oJ3TtM$nwg*-b;1G*}3GLp9pA||0aVVQTs z%X{`?Ha0RcX_MMXfBlUf+Bq(d&ntwX^yPavot>A2+8biWayt^ZG9L(6y#EY9S$XG( zrBV;(DdP4zNxK5u3a_>5D$uR=hI4|>MI*G@3R~}%hH2I3%|-NMFn2dHJl5`oh*R85)US3bx7-U9|?5?cc;9PCYh{|9-5&9T@8U4t~ zBD6#&2lWeApU`5DQ3?N%?8i=oAUet60ac`BzHn*tn}@x16khKnYYlv6=(t}*Ws3d* zai^9rSKkW_hseu%Z0&?{0llfcuIYHj4a)b@^28?|o?+B$<@&M0W#|y>i-9VSB(Uwu z4u5GUX*&g???y(qhUg9^y^%TdA-&Rs5z(1>Ej~6Iwd71b;ABt|qykc-4d%>l&c#6C zPqnzQNMN#s;+IBfv75@+MhB~|s33{5p3)3qholAbwQSl^iNq&P)c^$1t;}eHlU;qd zk=K2#M~w>A{Rmb}S~xOD!7w)e&EH=I<@o&U6@2R#| zYY-MXLqrOh20Zx&=iV7=8RWEo8QLyO`C2rzd1W4B8@Xp6j^}dj3j|v z1dqO5R@nNdU>=#CFJ{`Cp|o3w24%ZYP6Ca6CpA|mejg$^dwYi#MKg+{cXEbvv@*h= z`y3}*<*tNMJ*TRPs2ylMvYFm-j2F&>zpJ(g+#0q{Dl4^qXPNhu6<#OB(dx>Mm;Q@c zPyN;j<(u=(U^r&?YufFq-6fEtnOr}iw_J;N0wJFA5MZ#>p6S65*c&OKuO<)dC}dBH znyz9uVpAltz6^*4yu31vUpnR8T22dSd8i>X`kAMny^rVUDjI9coL(ZTfpIU{5upZwx)~1th@0`5F-R$q#MVg> zicI$N^caSZ{+bq}WJKk^tbmaR0JhH_CXvmS=O?Vssst#t1BkGVP`U&M-6937d7C<} zt|`D_ym?u>V&u|<3x+3{+%(iroxK|9H2SzFsQ(2YDngYeZQv@~&u|Tq#X-AfB9ULk z(WsJUWtP3oJYYjk;nMXr9VAYaZ;3Qc&Qo*g{upTS>UZTete05>_M%|8*0Zfjb7T^l zt|FtYj5p3gT;5vazPUwWEMY}1A-PGL4_&uFr0Zo~Q@x{+vG79ZIPEWlmeKjItLhSE z;Vh-8hP+~r-ZfW8BsbV#MRC87D zoU)UWTTYrNq}HT2qQ+VTfK(bL>9eROnL%6Xg_Fa(n&&3#t2+9w$>{!8<{!Gic>#;=fm>D{=Gfa^_}=zw^RJR@J0W>HyO5Mw)E$*uP= zvj`6Fi9od8**P_J>$v9rO}XIb>jY?FF6F3HVP%(V1@mE6i56vc3iU>qw!Ku66%@pS zr%L$>kR?Dl0+L|*X}lmA+T=Z-aw=hU#c=PNpuSWQQS6Ce2N0)_PvWXcQ0B*K(G=Zh~2r$1pBpQ&~wuo|2y zJ!K=@_3ZsNE4ExYG^yQxFdE57Zk)wL)Y?rwmv>t0{j{K3JGu*Rus?;8XHj_jcyaZ) zXKYlI(@|2c=A^%ZN^6))^6rE=GmWd149Ll>Zud_=shp-h$iaVpW|Frx1& z(V0|6-KWMft#ggrYG>|OUOh-=R!4j&j)j(Iv0uMx?nd}*pu_6i+bVMKy*2}bhMb&) zVuG4VtXb(4Jc36bL*D2?=EkV`PtyxAd`5)G<7}Z+SbNz{id*;pV73zxwhj?eD!S;e2ca;{yn33 z;l;C@h3>F+gg^ESPz#s z+>w~`;hg&J#k6a+hXtjp=2WacdJv_KECi{CvgsEstW)D7vlD;8B~Jcy==iP#P%$n> z3hxP{5%`F#)~(_P?mdBgCjFLdd&;veO7%1(;%s=J@*L#C3KXSb66^;crO}QGCG`t2L|C_NmeuD!4!9;UASVNl9my-GFKRYT;|gUfV?sddh1`qW}0JMCa_sK6A%XH=|m%YEX4(6j5k>@M(p5+pu&xn zlK5{zo%5G3Ec}Spp?S-tKm6yp3Dm%yF>u`arSf>ZJq_9Jvi4%sVkkyXe;D`L4MWf% z4dmPIzUUhkww`TI&))NbnI&jxs~#?xU9}D+ib3*1)Aptb85!HC#}zv&!ZW*zZM!G+{=j#b?*JGlz8as{}cec&_(~~sS5s&nDlZJf*LxjY8~5&y^>Upj8faY8VAZ1 z(iKbvH8DM%RVQsKsVMZ*@7pd1!6O}$U>-V%MCIVURpgR{X7gJhEV0BO7V9MZ)mtuv z)M_j442fTZl^{qSr0iAo0q>x^iV5j2u7Ji%cT=$Vx-GmJL~9D2v!z@93SF0pJ ztXtXQ>GEAkcr7mpR2m$@jMSfOp)PxwCg(1*w&pxCgs+oB4~xgnLzync&3D_vr-2|B zoU2%I`)Qs!xJsKNc zjHxNDy(a&+9s56Wh}Lenw1+?o?X1UWTIv0_EOM%GBQ5D!)&j(uV$8wYgbE^((PkI% zVI|+B@O8-n`t7xnSRzkeY;aVo6j~LPU<}110hV~{SuT(R_i*rW8p9tWyO#>~Lmb!K zZ!V*)WaYg!sq9185<#)DWN$#@n!V5C17mv>)ODF7$4h!f$c5ii ztyh*+$MVo3?eBo?{pSjo1>^Hz9e#y~acDt&R$xw2%Zw&zq|f)$mN~_)CIPK;w2IaJ z*>`<#M(ga>b-@gmIUVsY>zp0@+RNQ?SJ(M8dQ_p{2G@nu4=%iE2_q3NW)FP`|7Nk3m5X1WfR z89O`c`ZqS@tZqSKlZl;sYHu2ncoKb>bdxt@N=N)zBP*B!Oi@J$8uPc zD99Q1dJ-hO*?Z4l{*dkC4KoF+@o|)dOubqU2mQ;y;O!fS+iuwU0(m~`o7Q1BE+os& ztBTc|crMq~rN#KzBIC@m=Y#rQKC1fgV`VJJTJ={>m`HQpU2Qe8xQ8tMpDv>@O_*Yv z8e9fh*`6$EU1aI`^z3kO@@2hw?ZbJ@r}>pIO_9a@Z|___yxo}5sd?wf=9fH-4)%00 zXa7glbpeA2UJm1!(wY$`p#67#}1gw9itQutz}J-)I# zWS$-&oIcZp%OGXJK)3A6qYY{QAvBZ*`ii%PyB216Oq_iXKF{`Xe$cG}2KC zE7R@F*n`y6Pv>$&I8$tZA?*p>>OO|oV3i6MhRweAx;dO)N-4DSKqqr zTBMY@+Yz2$3Ors9h!4nN;t#yxq~~}fcTzn?I%eY5A45`H4vjEu?YZNa;`uHSfW>=y zd)^GRAATr%97#ia=^fN!^i8iBRK2k*k5P0D$brm(tGE|?jQdgQy8blj~7xGoxp+^wKDO z!o6^Zqi~KKIi_=}fnS2MzWXsJ#}hA?zkI5}v#)ysLPSU8XLFPT*Lg&@M?*|y%;R>H z1r=-TM$U**)rf5J-sQc8Va$cvM^uV^fshz zTyX}wp(<<8}lJf6Vch?L4VO}+^N+V%bBbit^5z13|ZfqqC z*CNhtKBuv<)mT^3Bi(hRB=4t7{E)F97u>b0o*Qp662r3wkkctOHL?g*igZA90+(zT zfWiqelwhla-hT5Nc92OQuphZ-@~ip-Urr<bG(s%!|xK?{MThvUjeo;YVkm>@@@W)A^-0 zG*G!?M;``}b3u*X4HVgvbaDv;_g$IZx=2nOg`2u@Y7)9?4~Z$8Y(MGp=lw|X!!cUm z04sl5k?~Z#9-qV0S^U2lJ9=chqk;jpZ9=o@XJa)bp>W?h4Lp3LYyaZGuZv8gX;XM@ zNeKkv&imIt)*{UxL@kMQQ5V+o&nKn%TJ7wx(J!&eHlkJ^lkYeH{yNxlcJ|)Hd^Ctw zm?Ed}x+QxRPp@VPkfWUGBDIY|vCr6JN&Tw8bj#ybs2Vy_=%RYS(2qba=3VNg!t;K2 zmsn|LP#XqAs7iq2Ht+=Um*e<+LrJERGdiBWbacx?3JtL!GPt2RPhQ^2nLKU@_bHRN zNEcd+P6x(q<7JX`7K|T~|@D8+dd1 zSGP@n5t=^m_4Or+ISyybc6p7lP96`ngHnStT3+n6)$d$;Khs`nks<^?_yNRCf_F5& zvnMnKW5X*4D^tNs;aMr;>rWlRHx0^>Dc(TQEvcNxSo9IqmXZvW+TkXfuxJLyQSq?G7WDrMzwzjbH#wma7j=I?ir~XPMQs@^$HC&r}X; zIRTSA@`=8#V_HktRJpY!ssnxBGYPnCJ6coR^5Eq89#hg&#hY2w3~v7~Y3_b|&hdxH z1V$xRwgTp%Z=mJa%N${1c4KrhBC%Qn}_UQ9=mhs zl+-dWz~fRI>$eiVWR#e=P)uwxi+rbbmBH%5-&4p@Dr7-APdOi+-d~8$!*sVT zf}1BFN$_dlx>gkT2NT^6C^HdPhdTzHHNV0LhEXUwO|l+F(WxC8N9IrVJmCKvMQ6@v zIJP&3&p#kx#)-AB5(iuQEI}W)+_JZ5MHMEks!hnMjSe7Ysv~$M*0&NA%3?j1SP5Sb zyKj_7e1P>%wh8Xs2?XuE21TDDk9@4foAzLUc`S)Jk}cZ^Pq?TRK}y<`@;N6#LW>>J;G6qI$ud{RFTExo_L=l+pIy+lB;kZ zqWbLAFsO*roK|TczKmQ+&A$OA12J@hyj@<5eW}kl7GRV&1a=JdSe|ycPX~&Ugy8S^ zB5$0UjLCa3rY9t2=>da7h6W%ghK47@7eyrZcyl0PLcR^_NPe!d`Um1*>%>qY^jy_2 zUwxmsE-vZ1rqaM{1)X1t(ZDUf@HQ?l5}8|qL&AstM-Oy_EUm6iRI)m3d9;GbpHqAg zw}U2xZmq?uu!*)DQKt})|;_ zSrYbKH)(vE8-hcw7f-%ffrVf*8v-MEf3Q_lYT71EaI=&wvMs8@C2p~*k-LF_#f%Rz zjj>$aja>Q;O*|e86J@BZ&Z8|Z_m}6;nAb0@X{3`H?b7+k80FzQ@6=HaaiLAwJRUMX zIpL=4O$98!q{tky7KaNZv0_QNCS>v`Hw_xW_sq0c*s?Du9fyj;nNMLqyDn6uz#$O| z-D0k7*w-0x^yb?OX@qvUdIkdnvtcU(yg#DGGf!CN8*ZgSLL02rSbX}P)6ANrrBVD+ zw2J0Cxh}z^cW65+Wz|z;X`n|0Y225xT?|(a+(cnn_>ROB^wBB#5yls}uOZGrte~X; zx(zGtL#zO~q3TNhaI4my{CelHuG6e@+E43bpUsOl;3RG2vU_ZQF zr)%2L{%$8$#6ORiH45x8Gnuhg@x^MJyf7k%C+>FS(NdzUegz#&PXC9!@{a@^|c@2VGlWPUHSEJM5!#PM!ai_z!2|1U3jBF z9HK~mU4xPIw5zw`6^6O`;U5vPlLTyg#cI@`Y#$o?d#cxBC+`b9<7W{&krY@K&hnN!nd9Nm9@uQ3mhtt z3w`&)!t2Lh)32~;9A6*qE{iQMez2J=cxK<~n8(G;USa8@nlUkWjTN^n3wz(8h+(Nd zD^PPx%i)y6NfsD^HptLJB03<3;S=fB08}jVM*Ymk7z4HQ85vhs2ZMK08YA()FS;4E zRcr-Z{YGG4^3|89?Myo}Nkuiz(GvC|1!u4aDGXo6T}ydL)%wR_qw})vJN7}DNNDHt z_{6wzgJ6af=%Xj^QQ&*?1yX@ev-IEX%2@vwDt{F>TOfd5-oRYh(F%rM4#3F307EZk zX7At#VCVdQ===dpY)owb)0hnKpSzZhKzjhan5DiWPy}dbV+4fZ2!MLtA zXlgpFiJ^EORi%ixGzPR(m8z6FmZNP&QFt`ioq!|(kQqg51tctvmadkV0ivUDfh0=k zoIi|PJvuv$-GB6fJIF{Mrq=pG6y_PlYNDt1hd9U>(CkXq6obWMe{3?FO%o3YXgOjz z`b~omkOXB2fhk=<#BWCcltB3{QsSNkGn8b^{7ohjpnWNWv*N(2sg79YvY$Xb0XKup zu$_P1Xpi$C4TyYgt!$mb%wS0cswA<%Sa~WH5q@Y=6a6d!%|iYIkrmtQH}!YnFCx_s zxj%pN;br~+MunPvdBWX5K=us;a-p+)dFXNLVvcTp*!6&L)8WJa{;?RtNn3}6LO3HN z;TWXJFoX#y_XCkeoCBPNq$NKB3?JDJLKnIkp_wFrvo~@OEDI&btrt<+V>+YOc+`aS)j-t z!uJ*EC{v4e4tpxTo>k^mKhIke#wQ9a#d|%3@1ajZZ*6djItqN8p)s;#=Qks$ZuOu)i(@*vfAT z6#KW94MQ$*!28%e%I$EyFegc<7ZaNWE@BIzhHY#`0|%=4^Ec*x3Z%h-0acDG{qC8~&U3gp|bUn!%Xs00CsE|g(0{!Vp1)(LfDZ8K}RDL4_ z_Wq~gqr%iSW`KB3^`q3UFifa4x?I+1VK@6F%%kwX5K5HlrsukY%Ga$Gl{4}PpmtKJ zM45EBkLvyc=&Lpm`u{d5sW9rTsZXlqW(P$Taqu0&+(w_fgH)#Z%#A2m*z^J$MCKL? zJ&~LCFR?RBKuA<}N~Wn;V93ry(~ zTA8+p+WmqpjfteznKD(A?|R)~5tOEjgKc9OC92pCtoDL#ECXCx4Ay;p4oXmrz5onz zsvBgihxYC!5_CzVu4-_~_!1DP^8`iPrA8EDqKYPL)pS*8mK-S<)*8*pXw==`x3*UI z^tBt&$I!R`666HQw&LxmJ}(vTr$FcP0P>+q0{_a2^NpYQrlV$F4*%w zT`mn?s6qG1|k(A5uN@OAiUO+79=c$$c zQVGsb{?FM-hzF{UpRj>K{g`GU7)_(&tN=qUe|XqCe->@?sTU@6_)J&HZcz01u}5rf z<5MjG<)}5DN8sNcDYF2dN|~#yjVE|RPiHSyi^{I*sWG<~eJ6E274o6C4NbQ-LYt#{ zO7gohGY4fQ8&)^QV>`f_8)vGD?0|0c*vq@(zjo~lT=ne|`a}AkYg6oi484faa7FD% z{f4}?ktO_TjJEqpN0yRhecr6dv8!lX$GeUB3yh!!P@kiZNZcjmJ~cbB8znp>*y z(#qtJ2^aMzeOoJst>)>aO97d_NcDN{PkXMO%5u(6gG<#a+^sE{{JGZb8y@zXThlHl zA0M}mg%{|v=~She@~RH1QPnFoZ6^VE><7i|J41W+_Uh3?ssw_WSO{J6qv_aoI*j?Z zPRg6>04=t&TD7io%jr*Mxtu^T{pd7g?Z)GeDcrIOdD@DCQVWOZA*Fo?1dU~WW%{Vh z`%`7K`aH^9C=C_VOlK(i@>`ME7Celq5Fv_a7q8H!_)0vxKTUS9FCr#$+@lBg&)kx^ zSLj}@O$L4>xHRP zJ7mRhm-E>3GYS}mL~s<>=%@XT$>N`q(n=U#JpOj248PMo+6&ni)Bcr=3PL1i?Ao#k zZ-5N7>|1gbY0AFlyEMg#?SL(llhJj=By)1Fgy~pJD6uK-&g{z#Zg7mW(e5ceSByHrC%va%Q>Jm{r;;l^OnWg$~FSU zDPfc!BU2$S*ti&$AWd1Hk;5=XxD|OAGiN|aev~8Ig62R+npXKcHtA|9pLElcJ`iCn zc)c~@bM-hO4Glj0&FP>#*M@>*abM?nHcM-RwDH(ob+RSKJs!J-oCM4%L;7_6v>lU@ zDF`_TH$nV_SZMOfnv;36z;dXTa3GC+QXPR;MHeqO!1NUBu~o;qgW87S_Va$J&OiB! z%hiJj;&tfYAtP0$ItzinO|1HNViGB`nP4v1(YxOyAD!QAcE*R&!V)ph&q%JCQNy;l zpL&f4&7I5XI?>cWZ~7WrU%(qd_|IGwEQI=tEsLwyc04?@2(E>_Bb2W#K9joku3jL$ zdxPJJzxt)Ud+6N;s-Dp&&EM0apO4?*fIq8VQns$4v+OOcJqJySOAC|RcO3Y{dD(Vp zZE6Bl+dsAvwr;sUGrw+#EZkJU($VxEFrQLpCO5r!Je*P@3fXYrM-cKPF@#;Q(^qKO zJRqcFttu6kjOOMuS&bbf@YL0MG@^%Sk^%EK30d$TMtmMS;FM!!RI)xLd^Y2IR_O_g!Vf{Nt9r%I^t|ia@K*Z z*?L*>!8TU1Vmlj^COi%Bc^Y#|L=Z(}cAS7dK?S;N+o`bMCEW*;{(P5R;gtyd@geWE z5_K5S>G*lDLJ;ukzjF7ht6^ne_1qrl{Iq29#aN9GIvrhnrT*iY0AzYCo3jIK z+R2MkuYGp(Xalk;dULCB&s~VeOp2x+>xXPA-(z7B%@m#H85=FrhRagNJr>u7vrTON zc@Q7V0v=llYc^h;4#QCMAkG1d#XW!RVD-MEHU~HO)v=1K_DHn-xl+_71$m9NNOn?& zLF8PUYJjPPRz;(hw%ofS-tb6Qu?J9k4PoeKQ*XYz)j{cz9sw73^({oD9Da zD21(&u?kRwmXVHyfsToh5{6#T$Ngo}xRiGhLbn`VKD ziIth1nt_R&fr0#6PS(cge0L1rekDbWaVUHW2I%H``%>#Uk&`0|E{`>nKKaZpGwiIGc$cB zPy#G$^&L$efcgOE|0_Ei9Wxyh<$pjq(AwxfuZ@xM{}=PK{@;+F@&DzL0I)Ltm(wo5 z{{iIpQjxY;XF%$FQy*v4mRNF+G=lPtnU-Fwzqg~}Y!20cOaG=&NqXFJAz6ts8iNIS zNl(2Zv?7UA@WbfFq$OqO17Wq*1eMxO1Tg|g!;k(Ife8C-P8Ty*sW+e2`W1my9CO@h zZ2A`!$q&h-o5Y16gHJ_seI0F$K(?!?pXADB;1Qu7Mo;f7p7)-F5Yn^OM~4d$|3c3^ z5$tt3qZQu~eYz-3U;wn)W{SjqB7ALaSys;a-4ADUST+x`1OdmXTFQ|jc1D^kEi_cq z_?m`UhLv$3@LXzuYeW#lZhI&PLa5HUbSKI+dVnV+pW*qr}g_Cu|5C&4>wVBGI!^{uPBVhCnvqDwam6e zZZ0gwb|k&Yk4{d7or|Q`c!%gu+fbKBhc|;Jer|3A)C*HY7e3J8nKOR(xayeyuMx}g zzl_-bQZhA^fW|QNlGa8*SAaIdf0#>t!_X_6xdZBs0 z|9g?|a%6zkCg1Y_6C2Ba>9+p|Jso{Ul7B%F6Y|>O@*=306^OxNp8By{j@Z}2an0$UkRpRFK3SG z%)%`(1x*OdL`6+qhmjf1SU?%Mwn%2eqTl4HadVe*|-HT@_(&PRZ86DACE}{`&`aaMZVVbp4)8VOZEW7@1&5Nk!$wVEzYR C!p3<3 literal 0 HcmV?d00001 diff --git a/verfahren.tex b/verfahren.tex new file mode 100644 index 0000000..718e164 --- /dev/null +++ b/verfahren.tex @@ -0,0 +1,78 @@ +% !TeX spellcheck = de_DE +\documentclass[11pt,a4paper,toc]{scrartcl} +\usepackage[a4paper,left=2.5cm,right=2.5cm,top=2.5cm,bottom=2.5cm]{geometry} +\usepackage[ngerman]{babel} +\usepackage{amssymb} +\usepackage{scrextend} +\usepackage[utf8]{inputenc} +\usepackage{amsmath} +\usepackage{enumitem} +\usepackage{mathtools} +\usepackage[load=named]{siunitx} +\usepackage{csquotes} +\usepackage[hidelinks]{hyperref} +%\usepackage{listings} +\usepackage{algorithmicx} +\usepackage{algpseudocode} +%\usepackage{pgfplots} +\usepackage{tikz} +%\usetikzlibrary{positioning} +%\usetikzlibrary{arrows.meta} +%\usetikzlibrary{quotes} +%\usetikzlibrary{angles} +%\usetikzlibrary{babel} +%\usetikzlibrary{fit} +%\usepackage{datetime} +%\usepackage{xcolor} + +%\pdfminorversion=7 % Import-Unterstützung für PDFs bis Version 1.7 +%\pgfplotsset{compat=1.16} % verhindern, dass pgfplots im Rückwärtskompatibilitätsmodus arbeitet + +\setlist[enumerate,1]{label={\alph*)}} +\setlist[enumerate,2]{label={\arabic*.}} + + +\title{Grundlagen des Übersetzerbaus: Verfahren} +\author{Marco Ammon (my04mivo)} +\date{\today} + +\begin{document} +\maketitle + +\tableofcontents + +\section{Transformationen} + +\subsection{Innere Klassen} + +\subsection{Generics} + +\section{Geschachtelte Funktionen} + +\subsection{ohne Display} + +\subsection{mit Display} + +\section{Objekt-orientierte Sprachen} + +\section{Code-Selektion} + +\subsection{Mit Registerzuteilung} + +\subsubsection{Naiver Code-Generator} + +\subsubsection{getreg} + +\subsubsection{Sethi-Ullman-Algorithmus} + +\subsection{Ohne Registerzuteilung} + +\subsubsection{Baumtransformationen} + +\subsubsection{Verfahren von Graham/Glanville} + +\subsubsection{Dynamische Programmierung} + +\section{Registerzuteilung} +%\printbibliography +\end{document}