From 2a44404d143f93e4b782bb1cffcc95b807e85b6d Mon Sep 17 00:00:00 2001 From: Robert Jeutter Date: Mon, 1 Mar 2021 12:17:58 +0100 Subject: [PATCH] =?UTF-8?q?=C3=9Cbung=209?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...aten, Sprachen und Komplexität - Übung.pdf | Bin 357585 -> 361475 bytes ...aten, Sprachen und Komplexität - Übung.tex | 51 ++++++++++++++++-- 2 files changed, 48 insertions(+), 3 deletions(-) diff --git a/Automaten, Sprachen und Komplexität - Übung.pdf b/Automaten, Sprachen und Komplexität - Übung.pdf index a64fd3800eecac808475c3c6cec8af371116bbad..1624abc7e504ac3e0171a5b8a0b4722ece75524c 100644 GIT binary patch delta 27242 zcmYKFQ*fYN*R>7D=r|qQw$rg~+vwO%&e-X&W83N2wr$(C|LeV`c>SlTJ81ru-impsLlN!8Wg znyRpGNiFgt&V?sq%Oq(O+EAvvp05iAp$Q2UCrK<`>C66r$cVWTe|~1qj7cuAd3e*p zs20%Yd;dabC8dGEjEt$SmPke=zLdO=#kAOeUJ~5%q3nQo%JAsT!A}z3lugt(m z6b<7pq||UX#+6)J3}*cg35<;Pc39newXFS-_RY6ys+4&dfsX8%Tdz=s>QCuXwE-;l zbaPP$lqzOY?8btr7rQ8XyUxl8Q(*tl?(o=2z7zwN7&|ZRbSyO_#Szq9htllnT~41L ziPkdtPVpcn+odB-_S6HCa~ua+qh2p-8S`b|S05@$7wX!7n2O6h@@SaxSnQOHhU1BF zGK(PQD-f0X(eo`R_s z8JWE;?PfY!D$}G*nS~_A=BSWlv?ut9Hfn>>q)E)RbCp&VwO`mOzlE2NW@m8Kip4d1 z^k>vTwCMzg!FQ5o0mTwF4&}dK7@1%@N?i&J7>b=xPSz!{td}1b598L&DU@!ovzAXwfmD(e@T?bxeB-6Et0W% zV+ZUG$|jqjx+$0F1WgMDub@|~rDLzNpiI6+Vh9bhyzsJlLwjRk&tYU-DBk^|H({iI zJ5cmM01cfCmn9~{CwBga0B#HwO8yi1Mt~L zaaNW*8;U!YarFSnzvu<|V7+?eE!0(Su!gVbS#k9*{O!?8h zLeSCVpJF0zbjl&&4pc?+Qcl%r9DuGh>8K%k+7i`hcj92}K{@B)-8wZ$Jst(OvQss$ZX0MN% z`qoWCyc5<#i;n$nqraEcm;sQH7C4=Yt~QYdH%H=Q`fkRF~sNL&iULcBIbFS6E=*(<46i!-Lty` z3&}*xla=1WY0qhvC9t%-d%w%d*KT#1I4RN<7(k;4^@0^PfVW$L3N~iqe$|^cE{FNT zs)*RqJ|NT2;2{jjxuygPjZ@yE^S?8%8t}UZGa3m{gzSYX3(NU;5h4nh2@7$AM(G8$|+ zy#N5Le+}^zYnis=WJ*C9j1-PhPa3O8EBDKvK=i(lSm1O8vt)gBSM8B1CkZxqf{J$< zMe>i%`>jti!VD7EW(pRHBa%f_;bA3dks=qRn0O}2&w}Z|{Rc8hWW?&AcDjGTR#vd? zd~2Z!V1CUDJurTC&vqLHTVwPCnDwlLwSE97Fdaqi)*Tb{*=13QD+y)-XM>XgV@Iw| z1hKkbdS0kg^*e@HMl>vVMorI7lcG>kl8SdP^gftsMr=HZ>b9`77vk?wnD&XY-g1xu z{xbdijZ%Xev?24a1NOOs4$&(`Rd>YF16rR*P}|b!&|^^-E{2(X#2|-#|7sCUW^kZk zxE$-e^;Y#JseE#aY6wC)d6^85 z<%-6U;Jp(Lyrk%}cb24Ecn(A!ti1uE4W!b6B8*XWwI~Z1>;3)q96Cu3I@?%+TZF_roBLslW;yo7s8ufq;G_`JJ&Od4LZnMLp) z8>bMbt>vocTVy1HY3YtHpLzrdi>k5)ROU~+b@&dW3x|8-z6Gq`ZiX*RlDBoVm_}|9 z%VJ$a8P%mn!SY@khs#5;l`-zZ{`Z0d+zL?3`YcIYMTc4mKYIr~W&hR6fuaFX$|zw; z%`w|euNcjj_AU2ag^s;pxR~8XgT%fd7iRvH1b1OAH$OnSLAsvm*OHF#JKEY|5fL-T zTc4Pitq)->Mk4KX9c^J|&B~`I{DUeGV-;p{K(4!SzEMQe!@rPq6`vn`IWiB7h zA%FYEyI0j!lw-r|2ahr68aD%B)GbvPRv*sj$|JZPbWXYX=lQ{ODyoy_*N}u$58k7j zx_d?3SzDa@sn(uk_5GmW*|s?aNmfD2`HwL{N}DO#%%?ysmY-h;E0- z7baHQQQZF`&ejX7ym%GoT^9G_zGe@Ez59EwMf%I4Eh!Z0amP~MT|R-b5qm=c4St6k zA%)4~7c+Y^4Yeq>7`#4J#cEH=WwMDY2_e~t|s7OQ{UU2~Gl z{}|u?>pE}Z%4gWDmrwSMNcbx|UOLS?G1v&kj)tILfWx2WAarL6)|a&vnuqdW3$bkx z{6xL%3j2cDWu2lx50wJ=A=hnw9`dN7P|0j02{tyqq9e{FRwXf&x0M`T-NvV(2P`+%4k!rf$ zM`3-Gc7qHYkjI5z98zDN7K6>{CW3Q}gtbJBN8luDrX6XAe><}(urK@jR`^|UNM!Dz z+Sk<^x!~4xlkq%iyRCDwNfo78h3IlqWnfmg>N5mw>ZS91upPjp&w@Ula=&%+B^gPX zpK_mhFC8^Ly|w|m$Ll(!q?p7>S8?P{`P4k8HdS`QWiau}L+UPup(02gbG4Qv&%K}1 zX{2R3KF^8Qd~8Bz+K8I8L@$5OZpV3dHr6T5bXrzoyq2r4FEAu8n(OPTFkhRN=U1vy zUTyvAt3=RSoK{*L-LTd4ee!;;oSOD7f!-}g~5rbsd8aeCMCe8U<68wrmETzp?N(~;Ll=E%`a)Y?f%ipKO8_*~W4 zLJHX}7zH>76H^M&BNz>!Dq}w{h}`w8VPoH8>3V(_>xh56RB?MuBFC2=}Bp5DcsP=2)%HUhm7rL&JT4h>ph(!46oFjP( z4Vgdwmb??xb{7N?#eXj1G8J7grKqqW!5Ju+3UPR&SFgcPW^pg&(?YaYJM_51u94x$ z2uO2aK*RtU)>wle@uwhUp!DZX;#>gX|te@w|@%L}Pusg~}HO1dXtf;i=!SW7lBY%IB8>7T& zR_}lJb9jDz{w!A=p&78zOC!z_m@v@qKbR}n=c~6U2G~}W16@83#v-yF3}feA1bWR_ z*VkOb#fG&=oaY;c*EFX*);Pg-OD`u$Y1W>vj3ys2BS?y5)Kl4`&M05(x~>>Tvh z5Y`{EERAhVF(SPE%0$xhzOD#rN<<;Y9R8-)$dIayL;ca^pJe#YXG~_FiMPlY9_j@xhDz`NIlQ$$r?3|o- zfymMEpAF6b8`0fE$oGGbeLsSsrw}}X4g6?M%T##;_fQf7{+|HG%#{NA1csKlJwXGg z$+si+F~M)VqZ7>M4Y|z?U<>6-PNWIKL#_n|Yv#hib<4}31fI&fw?PX*LsUfbw@9v5 zqC&b^W?@RwTZ%@2^`cru$Nl-op7E7@J%>{$stgTjw8Nw|-7GXhcSE}TJbdUgLZ6|M zh{=&;zSXSPNywFP^eeQB()_RRz{wz1>^mOXDlJ-eC}nl#+rYP2GPO6Tz!(G8{|04c zOL0&FM{E9k0xPEn<@mp%gABZ$4wUQv73j!ZY(E%f&Fm~(ELn&+IJnqT47DN9!8y2? z|F;asG(fZAondfPia#)rjS=Oi%<4RBd1FEaDVbvxM9+Ft=99M}M{I?h1QJ2awln32 zK@bNkI5}N$KYx8|Z#SD)rFlNzUp!q|blXgLg?8K_GV%QT0Ux;oc?T;AhSvCZ(jN>2 z6qJ}B6jTU|gM$>N58dys1u;&C(gaJYO z3lS;x0|o>F5`yfDqHiYwggg#u05o?Jdd6RDF zc<6o|pXeGfROCWP(Vqim7v8OV)Dp=F9INkw*bw5bTi8L8hZLD0;p3yLtILPTosl2F z+K>uOgx-M@;sS^7(Kl>CS^>SOF!M(o!T%^>=Lh5Pk7pe?XY4^f3crEu?e)hE!W|%h ze{6HS4gKZ6>z{D}BH~K#Uk#1*hN*SV2!^yXeF)<3)AJqtzW+&!4Dq&(ZEBC?{0t%# zk6ik*2W1Zm>ZIKAmiPmi7X*1>7ZU|IID%}yg?{xXvLkB8?Yo{60zvom1vx417x?sC z?I$LHVdQ5FU#}r}1wvX|&CN=KNG3M%;l(^qKFSqf!JyZ-H+T}hrycb2m<*`St`kWi z&URiZ5TNam{7k3@=5Z^lAHtkXNM44IAjCmLA;=&GMa4i36+l*|x6-~fz(|2Y=oe0y z53{aQV&p^6dl0Uz22jLcu0VS~7)5;|LM9NGKKwxf4066d>bsOu!QszBKf=De2R_l5{$KvBN1tAK)Z z4^Og!xPtSLToB23_W;{&JB07opkKJin9w)gp6%`5ekk}v`UG}F2Lic0-GUG+NViBN z5IfJIU+ZrMwkzKK_6fv(GMB}}-P7HKNK7k8HVRCf2=ytE4rNi6JQeZX$Kz21zAy0z zw&{bTQRzX=-rq#MGRKuuusQ)bVKnO#s`DSTp}D;Edw%`+mg` z?=#fUExPzyB9n-SDi@*+5#2BnPWB~_2c`#5gWsHflM#BHqiNIH>{$Dc z!bVBd_%L{JQSlENM*KD`O)NdR+i%l$pfT=rK=9o&_)3zg9GF-ieqPnt3!ZB&Wi5f8 zzeOKPfmYp+{#$%U?pr~d_!#{Tj|;Bi)#|4_y;`~3df+rzk?OH5^?DFe?s2MCLHvF~ zG)#!o2cWd?)gM#ku%Tb>=hyGlD@@X@3ZdsXs<`{)ysG-(q(*n;LvdW`cW$Z;_YgTP zGdXugT}LL0vNvv0f)%Qd$wX@vUpC`$gm|`83GA(WlZf%{;x~ zvI-7VLE>!p1*EaJQm#Cu)vPR*4L{HOxhSI%0~sRL?_4Rior^h%<0Y~C+`UgLH}bjI zC#LF6GTQR=oo6&c>8Z9~N*|d(#9ZJhTChYGDYhE9mdZ+BgkKU<+IHe4|r5A&2M`t&~?3Prby%mOy z5+)}RW_bq36!vI|;fmgqNAF@;_&<2bfj`*)CJrdYXmO(@J9$`EY?uZ z+O?$Vg|4x}$71E(ykykSTwavQJWp@(nx!c*e1zM=>i5D6?cmObp*R^jeg-W?1-y%~ zBnlPs{|PRNO;qZAo_0*u);#YqV4~@m$7@ z@!|bJ=rzLE{Ur+wC*;>G!rs}6#L}A)LgygqL7PJXX!BY-7yDwF4j2M78tTU$4XNd} zQf*+VmO!WV!OL8oN%Q^IzwbE?pxiJXS-zNyUUTvH*W_2CvB52fosDzIZ zbB>W^(QH6seBk^B>F^SaUb*r7k3PvdMB+*ElIcg}>;9@$O2aholH*_W@zkuR7HH^< zsa@V(5K}mJ2nv{vl+CamQ3%QU@A_7o4_lNqR%`gvd+$P0y+lfG?DK>DfSbxs3+Fj# zD2-BS^WL41!6y1AJ^U7`enZvlDS~;%EkBZyJ^>ua)wpaHy{Y`wWb+hY)s66l| zl^R&~d`ZMc_7r7d8+k^XqpkA5m5XHF#Z;5maojD%WNdC$}13P^;t1*i;^GsKuumDd=qocfU5BI6@!5#xgnvBDaifO+Qs$FPJQXnZ*JimFfE~> zKuzE)Ln&&Me!qp*vHFE?^`kW@q$p6xeUwB>ksYoi7KI^?9tAnv%gT7O!Y{%v zPm*0aRP4m7H#=J-l(B|{lyHJu&<|2>+|F0N$lcSb(m(eR2x*e>u9$6(HO5&k#KT0Md{7;Z07C; z28B9$!%&b|#T3^@3>0?7Ie&XBbQFqEUjD`WDBqkHD8Z{|@TJw#Bhw*D{!3>ZNLn|) zsZu!G(oZK$fhDj*6+3Qx=U}Hf-|5{sO?iZ}x&w8Qp zM@%ob$XrPFv<((8Z=`5kk{4%RLl+2^t--uKEH8p{Xxs zsAA2b-(Lt@t~Po(+9((NcXr&SHx(~Tu>P*J!1)UM(Zoypy?v^mkP=li+lLO%Gt-KN~ zY@bkgv=?7|aRowSi2=<5XGgGmcIZd0(jYJ}T4@RT&3OI88?x>qmTTH_kS7j+bjX4( zaIiRDPJXuWTf7SK!rqu?d;D5sTG!Myh|OnJcuAm@)&2d8J=0074OA!vADX!z;t}Hl z$ZaD}W&Et?Cq?J|cSA>KO2(n(OX`&QvUmpXDh#&vhSAS!E60h{G}e5bz-|>%Up8-d zG(dxG71|5Efc)kjdp+bjD^*;foK`~!d`DY;mTSkJcE_Sbu{8EDL1^1`*!FRncuEl% zu?dK7zKG1_-MiAWwutdC+L(8Hm99y^4ga@`;EQ>cpudVs{=iQlH1WP&{}XY{HnFhX z_oWgiNp!!YLYlsm?3E?{u|8I2CZ!TgL7<@GCb8L#e{Z)_gMe8mLAkZwQh>J!Fr_I{ z$Fqp3R51R_9*{&C={FciP`7U5Ix=4tSItz|wG^bx<{^`}NFb82Ewm*!vzd=s8iT)D zCv~X}ofP}UjMf>l{p*FPR}If$Y4s@ZdxAQKN|lDNZ!*9|w}{uFNwJTpkIMzdcGMD` z%XD?yN95p>cRAp=Hf8HWMnb*>0B=2EqEpk8`%ZKTjEkA9#_;LSmk9e!`Lm2y7E0w0 zwYQwc7@zv8+Hwf;1P(@y#!y5B?@|y${;Vf$XLp2s6zS41*-l@n^4sln~yi3l& zNr2a-fVCEWoeSO(Zdki1?Lc4lG8KfW{*|du8Xo+;ZQ}EjA7v2BnMxf7VBNWe&+DSO zF2cuM)4?ayY!{jPg;RYggsldWhIE)q_c3KV=p44v->2QtTHjn+G`GApDgJu3bz!!A zK8vhIx8!}ynn-Bf?wwBMMw7$Wz=2t?GbWWD8g^~~nkx5*DInhSEkF<}yQRbXYkAtX9E@CE3$9yzRyXj)u!0`a?~%F|=63vo(`WS9Mv$P!V1F zO4WV*c9MDv(*-fz85)WuTr@XTd26D^xtWidw})2pwCUDBETG(6^AMWU*u~+^{VKFt z)L)VE@_L`lih&HtT5^uktB|LIv>LjTL^=Ma>!E^1oppB~2xAonNF@1onejPlI>!x} zy9>snZAB2F&_~&9BL*~9$Cj5`O{Tx?Gps*}fDN6fL^w3wSLzI8Ee%tnw+Xrnt!dc^Edv~hF zHb`6!ak;}!KrU~MsS-ot8x!tzAQBdNo5-g71*^bpZD)0UtOXJikPnkjlCQVaj`}2I z_BDr1G%q>Jw-vDRsq-Ti`dnkry_@~ClRtG))F{XT77UqgA_TI7jY~3iR)%aG++6nM zh8Z?8^!x_jQ^|u>Wck^H8S-|&tcwe|12u` z^rZGACT$tgT?cs+qk}kay~N)_at)A}#oGgGZMRDwVOxpiUX&+XjTW1GzokRgT4gS^ zznk{85s23f1w!v~T2LdUK6{W+o}*<0`pv_D6n;sp@N^#Qmnqpq|HqBYelVt{3L|1L z_j{&mhDzgY1OC>ZxJH{|C_U8!me(|FbvXeRF70@g3ARxI1Ku~b=BUX$wKY)~G?aAb+lVItw?7%VIcv!) zcJdXG>k}Q69CE)M^DX_n;C^Ol63*S}H+whACWN(eKbA1774G>~ds@gW&Jb|O?hepz zmhK~}Ul|`H!Yd^+V}pb1J4r1GvC=mI^7p)F`AI@Wnqha+1mlM~Dd=iyvovDjJdlHV z%<}!_Pevw-I?fl&6NsY(Img?XagjGsa;NPn$k zyG9d2qzD}6Js#}L=TEDp$D#jz%v4h9b-WFZ72BFfkGX#BljwU^`iM6t`I|xkU??(< z=#2@O&naN7{kyvBe~W+jdajnV5Ra=3xn*&yFO4z!cHDq@nKkMfxeiLTsSPG-#DV@D zSmEk^Kta6K1a{WA8$~>>ksJ+peY!TuEdOE~CXMYySPr8V}CGB6t>fs5h1k+BJ- zc&*`*J>5+Cb8qpJ@xVE}V%znT3f1oE0Slacv>StHHD{LMn49{w9%L(7pJ%X5v5 zJ@Tl`$Nao)2qUNH$`-l}2-eoao{;dK|20Fuj~XjUf?<|n{WM{KMe*4}b->B)Trj&S zPf=EPCEn>GMSN23Iw2cd8}SGuDRRx*Ff&Q8^U|mHH1DQ?kdvzx%yptQ#bwfv8gzf@ zu9-D|xI_Wh6IwPJ-ig;sa>q>mM@eN|-;XAkCV-kKrXb#9x|_%VxQ8$C`sG-W(IGn$ z$ek^8#3fb1<~Qg9C7Q2HqlSK@L-w!3Xj`j$kSIqfu?ee*v#wOkj_^$!o2*e^gbX2v z-6vS&4(%AdcaJT6xQQQ<_KDt8JxR27QC~#?`_TMpQ>rpB`6Z0Mx1hsdwfV2=Nah7W z+iYk1OwsnhGyYu)Af3Fl0T?}n8`6az%mnW1%Vp@&-Fy|5s=zlNE!lax9i7ps^NEdh(8=pL4kyn03KTuV!C4VRp#Ej4SP6b zI?33qMp19PQA&X(9(I6&}2gOGm>+`Hj&C&3(Bmz z5gQRcvP%Mj0gVE)ps|(8q_oWJas8Wmg7tzBSB}B3KHfz76MqCEn}OpRpTAzzXFW!V z1uqX2PW$IQa97LcxwWT<^2zDkg5_?BtEXrtY4)Y3-g=u`HhV(d z%jd%lUDqvtrdZ%qyhAw)uP$vo991dm&Zs9`K{AcnV4ApM4mdksIvck3u}a9seG*b6 zhOwCexZT}>Wu%^SOGfb;tHV9N2ILdpU(55fomndi^Tr+i2j3%B(?ZqhGi7w8XMsk-*&1S36Gk(@^= z3G|Fz8`Rn-JKqPc)k|L}!jC=jqSq|TDPfF2Ghf=`>15U2NN@!+`e#g+I?2h3zG#F*WV{&hZvFlh;;*|K%j)*chp7{3r+%O}TU3C`J$P zOM}>RO^-dj)I2xaAz~E%!QPS@_xFX0z!9Lb82bO&Fp1*?XNC7drIp?*zMc3nQcC0v zAkT`%@5uzl1<937?Yfa&UYS8^!#e7_O%=xgosqb}yaC!nx+jW;YV2a=qX?Z=BQ{0s zXzy9Ev|=qUSV=i<*a*Xh%1uS_pDz(Ila109NDVT(xb!O`qeL0}+B=uBQUj3|_qyVE zmk3cZM=j#RR?TlFTiubzO+Ql){5Bn+t#a9e=kxETZn?X47)~bivXC6Z*xr29>F0_b zV)}eP1SzY(>O?@w7(KyuWPiU+x2c?umVI%Xy&tl{K{utJ9kQ4dDl& zh6ga2kCUfQ3o#tmIXc*35Ht~1MvXn-u^DQu9*6h55a3GujE$lFx%<+nFn*zP2lp`C zDla!scZ#j2FUx-QL}BXVC_Sr-Vhdt7<7{v2pt1C-G|JbarMeT2)^y zy}9F?UX{+u;faryBIrU9QXdQZ>_dNje7Ch8oGD?-=3S#&l(Y#11Y5R<~Hc- zXbUnrnGe$eRd24YWA)Sl0G)O)))@EohmP4dV~FN4Hw+><`GqdQ-=mOoGnD?=)`q)>Il1-uv}ns54s)Fp|2vWs@xmkuO`ll9b3VI)xy zAs>C}cAh3Io|SY8@i64~os0^D0|_cQ04-@RuGcf9G8LRJ{sF1%@BEjZW(Gy6G(XKw zm!yDWbVAM&_y{s-z+aXc?KAuVdsGB=eS#}2pSJ5xgFchcud6tb8xDGDp>Nb;qgsE) z2tUr`1jU9+#OwYIIS&Op87sK`!1wx0!e&jN(4d->RUpplVG*gw6PV|SF{1J%+xDR~ z`8eHAeL?5ZExJmhS62#OfD4jv7AblLmlp0+;l$7wd>gyt@nokP$cyFC{>rn`=yGB^Y^I-87*b0W;H-U_jQsttCkoWk71hFz_kht-GcCKmN?d)ZAbP zej)|N#`1scxvmAg85i{bqtbp0;O8`;9L-kW;4|9)2c*%O6|^CI@W9xa{_p;-8w40B z82kTqqj0fu{r_n-7w3PpI_?`B4T78d|I2R2v_PuPU*mGfyOZK07V;Ffx3@d@7}~%T z$h7ekLI~l++aZ$|wTlW$$JrqZZJjm)-{0KV-fmM($8Gzq`)$|LQ&^`Bk6dOKc};?1 zR1ia>;^t>qcMm~tZf=}!Z*Gj3SAFE0o`0YQ8>THaMYh$k*%9G_qiT<(t$5Was{hq?bH zD~Kd0u|Bf9yTCLrG(kH^NQCjaCqY@N1>NJa5Fm1mz@5R``s^F(LBSt#-H3=Lo&^{* z2eJ&AIF;<|?CtFta5az^O4|#_XrX}~T!{a|L129TSNek9JvB+7=^WKP0xJ7`#tbP+J=qF%wdy!R=_! zMu6K*+q={EsxBtX0`A`T@+c@ot^3R0(9ROvW>AQSiJzq;-zA86eQ(gt5PcwEyd;5v zU>zVktROSPQxWgWkZ)afJ=;LvHWP1{Ai!CQ+XI>n#e{qS5)2r=darnZf-<=)80LO= zLw@ra-QIy+2)Qx&)6bwl^u7)A;6eTRa14Fk#yX!TZ*8CbD z|NeXOjT@i;pBr?h?!x-MCG7TpfW3c}fm&2k!t+DoD8A4MerYViybPaMfm{k@SAWy0 z1+4az2tn<^Sg=uE11b#JCBP05l2{zlj6NmzbbbNXntgnFf3PP`R8-5Awe(OKeI@|FO!DQF(e`DQz(ZAHd zb`Whi9Cvf{3Zx?A-GlamhxG_Lh<}FM_hxZ@txXHM@32k-u-TCyEkejI2_U_m&zMww z&v3!#UOk+^c+JqqC6pgI)>icQn}1L>QFzI)fR#hfPk8XwfbU!C8?+t-&|hDENgoQQ z!Jr#gg3wGe!~OG1;4ca+BsU3tyqm-XOfMLp3QD3oryjyz_}Cqf-Eju{uNJ1?#1UB~ z?K~Z1-6hylx!qIU%dE&J;0^uS>0xUTAw0`r?pq7Mn4+h%U2I-eRdbmkTf?J3rzFjN1q${#_fKM5Z>Q=jnHG8l9x>(Ej>1J$fxFg^T^TR^S zs*^o%F@69o_CxjbPC^-)T2lE=RfiWj)fBS&fQBXElv-MsG)+CeDnuQaKtpgTgunCV z;Iw^;qc}Vgghd@^H!fOt!i?5>~;qB6Pk;MxEvR{4CBlyYb9E6rhZlLLSsJU z$IXGw;B3(gSWXCzkJZR6#PhQc7eI&H>iA`mb=S&|NbMfhkHmq%A^CaI)0QF>yW%=B zy}3|kgAx^+k}atVEfqTJKjV4!^}4>c5vrPfa3MI=uD{hfw@{uzj5&yku;3@yZ2Sf4 zx0_Su@<|-nWh_UEiC`*Jbo||PYAFsWCn3%;4hk&YJ5*3v|6*um7AmkD3^OiJ>dt6v z3ysVTu%X1ndGd?+OI$dq3f(`=ta)gfHC?aK=Hp?Mpyz^j>sEVUf*OkZW(b@}`EqbQL#8kWY@ z5SXHN-9~>Piu~mv6EuQ}dn(cN{EC3j2C@f2a(KgaGAWr(4Q zQLSFa&Xy%v5{Pdgpz>`J_Mx0|Q-W?YBuUrq{lI2Dqmq6oMILS25bXiAzN3~6^c)=) z$>$<`HyLwdaqn-o{zDqWrFq!*^945 zk^*rqWJulPA>nMjOQ0R31x^LF5vr?kmz_x>x>hwTg%`(t#_p4ZNB5*@9Bxzxg7zzd zIz_#`2DTl>6G1Fs$CeX?#q~FF?>*-tbHQ3h>#<^M>aOBd!l%He&EdZhHj-O4+auA% zWzz9peQIYsaQK)9c_=d+WlV&3<@4WmHut;2`W|qmsN-uL1OXY+FTdvo)62k;DL=58 z-_{ZO5HI6Fqz$s>O8;@tFWrc5aPkVX8kAt)k}&oEb%?ZAasAZ)nUllgb03@DK$hhG z=0n`2c94_RNt^*N*Krbhy!#naZwE~WXkBf%yA~{2-CR!S{D$Mv-fj2=Q#8YR#1vT* zZZ+$!pw~b)f(WQfP2++nj|&8Gt2gBRaI7#j(2Fy#U%d%t$|lb6%@^Tm>9WN(*vMiI za|_mHU}|6*w9m=WLjDoNn$V=pyO!G5FW^9FZ=+dvG;<2rKl3&B@=0g|&JAp<|KxGz ziX;rEk{dD{kAFwxVg`|uIwaFm(F(Qb9zbeMEo~2!PRW;NoD{~Uwp9}~?TF*o}6ZN$r)7YjxBu{t!v$5FAm=#!3QjUuX7qcm1#sTan zsW$=tDG}3fH-$l;cuplwPc_haT0)wk<`nHRRth0vb68f`sFQZLSvD&cPoT7gs*4tP zCGK^y$fy<5SME9PaDF40e4B(66e(e1^E1HO16ufl>x+@tgze#ydgzOVI-5r9sjTWjn!nwka3ST~ir9R2 zI^t~F1;Y^RQwE2CtOKs-A0C*CPV!K%K$rqet};NKt&**2AZ- za)Ed^Ec{JUbg7<{aV|R8G%vvGg8uweb!mOQ(-EF z>{mpejb(X;P7H~T+N;^7Rq}Fe`%?5Lmncl2o-9|)1rh3yx`?YGofq(GC*kyuRU*mO zMlEXy^fz5Vp$6ICQHn*a=&Yff!XU~YiLQ5vvgIcBRXFSV;kDXGb9F|n_1g)juch#l zlQ7{ zK53FMcv;yK{rO2Q#+m(euhCQGsnJ|dx=3YN;9|QeZaxyUIGPPixG({$p@^f+c3Rr~ zQAD9XQ9|lobbk?eEz59Bt=jpQXpz-&z4_=s)p>=`rNKvxZ$>f$Esp z=uuSaEHStrJLaAFHAoa`GI11RGZ1VI7lqu#P8{Q+>Ah%2JUqW4J`nDBij(s|ZX0jE z_Ar;PEla47tRo1Xl4(}wFK^0oIHNG3URl}+Ji;w-ec(_W3+lbXREy_dPo1J#RarI4 zZawhXWl#a6vTmP?&U!IYl!MG|P36WJ1uLnqo7UhXISAtvdWaN?-f!%*D%dEp&jhA* zyN&id<`gG`FWeLH3xqz4p8I>O!~Z^Yl6hXoG~q_=9dqfaj*`7U)qJ2UONGjK?RSVI zQ!UlQwqi-bFS}<_8F^~>F~Bo0z+)&pTT3d+U*G}SaQ4By40HY5)^n0 zYgPav>k?o!8 zgVG}Ltlazb-Q+y|J(R3*z6@8qR|W*7Z$IrE;yB8NVYfzA0il z?gNBp>UhZgnOeHmMtr)t7yD}SBO?N-%Xo#lv~&#eim z_!MLjk4(STx9882TuWx{7xhJR`Gu}~no;;@oHUN{=c3kOC}GMCV?vK+N6<-ksZ7oR z3_ypFXp!OYmd*mJZ&ye0sgDF>(^_e=h~{&{Ej7yuN!E5=3+Y^ZNid&!T?5c=j0(lh zG`BpphO9KnGZu6c%vrdqz_zTscf~F%pTe&3Qkprmb#@*S{9yMcSB=ub=F+Q0)WS8Z z<%oPXyC&>UedGg)oJ9w>b#NCLHD4-rLC_Zy)Z82GM_FYrf6e%&S5J4pF=1(BcnERC z7wu~22k%}8RZgUM{1oq^nnu{SIZL16LE6fj;j?7zdVM@7dw7zrXHiU5EO>0K+WNWRSfDB4p4I)GHHYlVB zD33exHQ23$Y2{1&zWLb(EkCc7PnBTLKB$TOY7j^H3%fE0INVi@I=Sh)V3h9U5o6`= z)TPZLQAPBpkyx`dYnTEmaF5);i|#eNj92K>Rp_q>{qp`8@ViR%@~Od4$|6>4Wpr$- zNMAWny~Rcw#-p69D;HdgG4>D{4>S*Wx8%%9b0mU)+e<5_4gZW&i*=|7H4#$Qh@ezYof{gHbrTv1wkte*!n~d zr6Fo!HMc?c3TDy#$s{_~jnaF#Ac@9{m$qUoR+j46cN*$ZtQ6{7vR=w3EKsI<^N94J zbH5EQI=Fw>DTF*uwXZ(K1;H#rRJtuf^kDdH3fw2fPRd30AqZG{`|nUQ^t%ZgE!X{& zJEOE6A*!66VhU!bP{x~r!fIprwUC?{#A9e&PIDaweC(aaPMmu{Y#hFVzRi3+)Sm)& zt6Rg#hP2{rwI^X{xROTWtgwVG5zi$h9PcGQgyAPGFsqZeQT?DV*wa zlvT1V6#G)6*)L@!RxyLl6**dFS?aG2fE@;DJJOCza96^-h`!Iq!X}3S3X-AD-U{Pb&Mt zsg*^F37V34-_O6eKst6`AuLKVFl^!z>EmGA+u{L#vG8t79vPMo7($+Hm-7NL$td_X z{U|r^ka|yERU?U^L!XLmGf=JJkTaX(7)|BumD*WvdfYBGbgu5gmA0bHk!uT333^L? z=xnE`{+;L3sw03jtz@y;Z3;_+s{IFo|8g;U=LJhnr>QkNfi`|AK4x3v&?O+=!wN(- zbd=iNuya6Et?M}7#xe0+dDjG0NEWuzl{k<6zbwk{!W@v zm#Vv?^jsAl!aBaG+VG*bGOhtNcF4ALeH7Q$Woy(f1QM%x6R6~#xYay?xk}1>lbrJc z(w8YEb04R86mg(MR8_Q<%D0L>?CHT z$cE(+5k`{8L)L+@fd zHBU@>mBSElZcDM|hu%f$m7&^jK>ykFoi}Ct3Bo#fHiGXOHw|?EN~7NIu5T8@H0Gnq zDSY~&eil)>c7TYe_%4=o#57YS=n|C8T3GX-)3-92Ej<8E;hHe7J zf!Z=_;`qT~4ro)cl-_ehKFfGxJ^1|E+7Wxlqgz6J(66`b#AaS_Z+O#9E}Y_@hn{Kc z19Cp1Ue-)0+UK{duKoRHV#Yi?)wL-JSt5z2&<->D@P!GI!fN&4fiCv=Y>JJiI*fBm z*--GfwQxK0qZH&dN~G3IhG5ay4e4?yTP~P9*<1a6=YEf zaQVh0N&7R8vK0vtVEp(hg-VWHm!8vh3@Yefz0K;FvQ-Thbd6ESCEel33xdW?N_|AL z3@hKt-Agf@vjzrIc9&_6k#3&`$67zUZ1G85)$})BGnc4l*IU1STAkF}3VJll)v%eg z>%Dij@`z@-)>79oOC__XcH_p&=!&s5Ip|v|1&#Sd zwhiQ&zWz#>!|XY9rE^h-+^NLUt1loOpt?+s~`J5>64Pt#AU zq`Z#gIqo4SiSLPw&f%sh^g2l}A0#mpdKRW8cTZhB{uDlB#8fg^n|@^bwx&RiHXrI{ zCmrNkEaX?ZV297BH|PHB{V4K^XXZb28c+(JklopWvot>f&*XCP+6LmwJkg zO9gfj!R8+fdVV_gphbt7afda`s?9hUCNH}IJr&`Ohi~I?bmtBK>OYjw5n2AED#Yp> zn*C{%@cdt4?$U(eBsfITB$P#4aA)e5N{j&IGGJWYOIwwo{?G*xwWk5uanFoY$GFSn zgJw%((+i)w;!GHrgl8wlEr`Lapa$x~chv&$79X!_+4#qdwPLnXx$C>U)^L4Mu)Hn# zlYaGKIetVKHyOW7*;K8*O5F5BHC-3|dft*#se65xLjym$>ggSDmjS z-ac+WJV@rUvAkjLpv_>M5)KPkK6~f7$U6x}jlBszp~bA$QY?mLX^@h~u|3ORU^IDe zBpg9^P!-yG#WT(FO`DlxnDV->Iw6mcdjVT_f8B`xA6biok~{|*pR(Bn%mM$%m7i_} z&Q|_AVguT>Z6~A5|Pv;jE9%L++)--O-(02BbNvI(vgL9&6A3b;-o{1W0Sbz znR4~ffT{2QDkq^e3*B(Eq z>b~zV9m?{;8bR~NzWMUI)Nub!*m9HY0bW(i-4WQ=!HeBbnC?iNts-TA>;v=LD;^!1 z{W_T8)3CcUrO~Kqa5*p9YaumaPFJ$YwX`wd=e~F_&m;Fej-ei3^MXygUJPe+={-@& zcm~gB^NagmsN79)uH^ZHTFqIrK4^4G`Rf!P@LC`%(Ls;)ZHMQYEG+EF{5VUzqMMUW z!>*HO*~69(fvINpm{chy1D4)-v$(n(NnF0m8N|h3q}8!;fzbCDp~Gk#4@jgJc=|7E19cSDKWV37)?yIpG|6u!(vWPs#b#6^u!?t7CncCrQ}X zNUZ3i9|K5#DaaEDaG6$`>_ibVzG*+x z2Xqm4z^LqaO0FzNE2}Rn2MbCdzBS1UIu}-jL3-)X*tisw|8cO)UDR zd7t;qXjtEJ?lCgpMx%yPHq2+7Wj6tCG^l@!u})V1Owu(P_Q7q0j2qkg*yg1pO6YLQ zVT*QLUj)z~yk9Rl!+RaqmKiP7xT5)RTNaUmHL={S^I(d5uz}^kL<)?*xU%Z(nD31v z!vJV{`QvF?oV2RuFnXKRdk#QHux^aC;HPLSceNHUkC+J){lXrbR)@N)!{SZjFN+c z)yZW+;nBnQ6F?PQ!dDZ6s+^#B+xWU9vnq20Jyc7y6kJ7jDitd9l z6`*V(d;s0>k~M;2?#{;1@#DP2vuVW0 z57QR^4wl>Xy)3;8>3#LF#19b`exfCh8evrN_cB+Pc;CbSo^60PN_vA!lCLb;#)J#o zM=ZINoUukn-AO&xi-h5c!?YU+tKvO6*m;75YdE2r_R2t0u4vGC0gc;{YG!9-|3C!h zQ8Mt)xhmHdbDl->rgWGQk<5G#o-GWJ7c`xoh3_m_HIzKr_2Pq*LY%KnJZJmX_z$k@ z|M`(bryvw{;32Lij{nn>;EXu7s+Aw2jn2%&g>O95(k;H~hP?EAad-i@#lgCTTh2Ak z+okJwU39n8%K=^)8OY1`UxPwgLfh3`68zmV41sphrny-{DQ&F3LBF2RF|gJkj9!cC zOG|+^T;HU}L#ITv{5aN-)bv^8#9h(*UwC0p!N33BM20M@sRAX4locgk^cQs{>!Sr> zerO*Owe$<;yqRsf5{Pl7%^@KZE4d0%#O%ilrzk%1!{Z6*UH? zIZxf+m%35BWuou&7o#V?$>tll>3vq?vr=oZTD;gMb%TGu)w~hxdf5Q01ukB|T(=%o ziF)R2#Q2XC{Vq-9&-fsrmixeh7Jc+xa@Ai<(;$P!O};Xk_%60zF;1F4Eh8rC8jFCJ zYvWdldkAJgA5i$QX#=xHc6mX2e6~rbH>X2R`9WD#esD#n$d6JMMqvt;Nqg$^u_2a! zCBB%`OF9avFAYPrn!5U zYXK?B^+%L+>~}vMwgiTZpQuv3WWFWA_i?G%^7@Pm4nT=bLWr02^8q^O4^uxpluw9D|klhEiCW#Nj!lIW9yNB20^voWfp{}0yg-Gr>M3R79pvGtUcyfa$ z6Jg;l0wPO`pdR2|ld#0=i&eyK0(+RsFEN%Q!c4=Tc?_EN!1moW3OAA;K-vTS4GfWb z2pRY8MPa}m7^8LkP;8(t!Qu8izCzzQQTJ=p5yu)naUQySM8P*1fV`pfIR2MYmcRPJ z@?cu1ufFljkmH>bz9xNd?VMU)!QTeXpYPS72l-O-+!Kf1%}g~@jZ`jA*dIvsx7inC*1C`F_~}h=;cF)2C*fSROc|B+VrZf z7>0IF2YNqlgk@b`BfFjOidG{jj7-6*Trk#93;ES=yv8@(SJ0?ys!&YrSP&lyjiUnk=k(|+0{Rr2ZP zn#fDCkQwe9SenjJBBFLCm#9f_Ht-*3%ujo?v;k+(5ZT|NfPxtflazTYsfz)NmhLG$ zuJWu9=VIWAeQEx~8pvTk1xE<)!P+f$gGc!xOs?&Mlv39Vh4KG_dF#DUk;Exv8{p_I z9=lNK|C`OD;s>B0LU6IPa7zQ2Fp>W^j7P%3!NL1K?Wy`YF8JK&{wFoP2fvCKHnlY9 znv(6uoXLn25?*M8mFH#lL&$K6Vls_-wvgfm9eEODY`NE4$4Q_AMGJbq-csk{lHn}0 zALQYR|5&iG5E3TF<3^HCN)9Ah3fUCzHKImX4;3aQThA17br+a)JJljb`Iw}}*G4@| z@@Ox~g0#bF;ZCZ|fE}ZbCI=7=EY}de`9ZsB(egu9{8&#UfH0}}SsqmDT&HYn?A?Wc zQ>(PlqTraxK&vvy`xsnCsQYAG9Aoflep){8X&=A{3sJO5UoRFSL7hRLWx66%Z4!)%U2{+bqaH1CWoI zmDw{c$o-pCD_-WvW@kW)K%VYpZzc^K>I}$|6`9fN6$iGCgNGz|y^QSo{vI;+kFx@3 zlY(WUSHi%WN}IwI=5`OaA_L)}Ns>uuB{=FJG@!1LF7f^jBGcHCGn9%H=8{GOp^!R2 z3yx6i#tLk{t~^o`+6(a!A+tbx#qpZP-vB;;6B=bJ}1L{+}3_cWgr~|$@S&|bv_u-lkvA@Z8CQw z=u}%9`jWm2p%mN|BI-b7aTJhS1J(`Na~6fx$Kex^4H<^7^?>dV1OVk$WgSIG8ZBX4 zvE)(a#-^WlJYL3DREAzQuFaSBW&w1H zJ4oP4kvB6=zI*+!nCVo7m6>wBdSyIt6p={ZD_kYh)_& z&eKc!-=32>T1MWMOLJdL2QVNzzHAK?NJntv0Nd~)>2yvLgY^O^9LQ6Gi?Gaz0lYNc zkWK4f}DwPK%GFL;1b&RC>wh~f_0qDPtJTR(a; zMGg`KJ&~ssiho>-%Tl0;`c($wDh-+Yjt~p=#z`TWx--1sM77w}ftyNEThThezNEUo z?DfWMlL`^U!QJ}Z&nwxO~g&E_*Lq4 z{|bxbLsDMPr^gS$P2m2RwDbqwBHVs_ZZn)JCl#ilUR>3eL@6l7!dOTMHa*&#Dz#@4 zt;O6xu543R2lO)pHoAnjPnc_xt1YAB9obAS*K|Omz|&5|K5Q(jumaO_!`K2p^-O^! z@|ubk>k+gPpUUfGBcmwlssB5+j~nP$yN zF3bfG!jPC6>odqhS)S|LnR0(etZulfH7Vm0O?+LtTqiMd{?o{M_~rE9zLBLt8@W|{ z1Jl4Yity|jNAPjfa7xMLf+_z*kGsDVZjL@GzoTBKov?=x;05socS+GqcZ6_CbqBhm z8I+?5B*aRw_rB{&o+iGs1g<@@H_2W6G=xgcUe{xqrvqK54skMF2W4G zqDr`?#vHBSbNQA;*6CEk)aVTI1BQx(>Mbp+(F`9L-&aE7CfCDml%(uf5 zsZlvt&!8;5)uNmhq7;W_E-N;a=A+hSj$cj#%Lnex_=1L#RV!g)HdXlzWsJ)VdJd9T zJs8kSW5jS}i^*EN^}iaBAfA`)it?k6V@W9Uq^nvUc6cQYpSYkBoMO3VW^9?w;szI? z`_Y}Th|E^uRs|^R-&(I^W&vn%^wOAvlv{a z7aR~Ytlkp#qY?p6;q$XY3QrpJ1S-mV2zsZ#MPz;37!=T8jT{ftdVMi);t`O^JFwBo zgF)PdrXovuu{CvG;uriBu_Lmccy@;vd?s_tKeJ^cWiU)gb$?HZP>TrT5wMQZ#a3H6 z(IYowrUo!lr9e*tVr;3M%t=+yP|o|z!C?9&puyO7a~zm)H{GgA!HL%RbY)1G)0uU*e*tJ)E%05 zb0h`_tsoQ&mA(Wx2KMhOS~)%C+2J^evq^e|Y-cT4MpAZ+{fsMu&%@6$4TSSm0O)oW zvYc08)1y&tG~T~ExtGC)*!B2pg#d%y9p?-&M z|Km3iOF69t4js;)2>{9H&i?c-SpL5mn2#@VA9^_F_Ex*XEl8q{XlozR9#2?lKCe{GFwXa&^W z!52`;R#eIY80ntUYbcj62N-CqUjb7BYY7(Kbm)wdrau6ZMl@}|9hPawe}Og{b+M{M zDQX#N@jMcA=`iIfKvC-DyPG2M#8=Ri@we*Ec#Rp<1QgIVwW!-n%F0p#StaMt)W(Rt ze5`RMv~*VTUW!HS7{8rEj`NILA=TP4bg@57S7@l8@$huS*ATEMiHDRTkk_sLDQ5;2 zxO`f3m}W?kc@Z15q-IRxM}pp293@AE+67WjfuEaX-_`)yB|LUBax#-LJVb4SkTCTn zh_MpRECtcxqA8}pnnl|bxC7@5%ODJ@Icvv|eApZcZP}Q3pttmq^mU?d`cEiIPn(5^ zBOUuPk@1SH=7sl0uc>^6`f*fD#g(^O|hUQS190k22qYAAXkoS{)zF4)i$!uUUWCts^U$DeK->N#hsuUY0+P~X? zE+X=uCW$$6mh*f12k6fQbAwYGACYw4JQ8PJu8ib_S@Ix*&rv1Y?MA+KzRS>4vqG4; zF2juxy8x_#cXHe!*~B3=b9f&uptmy<2VQWFMukZ}ZuoS))4Tni@s~%kN3#v-_Oxwk z(SN}@2nbyUy@FHh<$}3%g(c@`ixS-QUsZ1K{$nIVYoN)(eJ=m8aNWF2Agcnm zQX2qMO}Mq&@^AVv12RuNn5icVaXTI;9>d)(!^N2PTYmoz&f)(!J47Td6mvYgwcMJUDEIIJ zg!Z}dMD)2RQDh6Gy1#cdlmt%r4;jB6Si5~92xVN~f}UT=NMI_RmIx09=0Ue5AH1Nx zXU~+Jf9(ETmnblu`zf6x?;q(XFR4l|mpRrTA3<%62rm|rAsKIf<4{oHKeKj+ZJDTV}wEv8x)Dp^YOR4CoL# zZ*9U8(J1Bf!QkL8u;QYaS?22p!@6%4YM6>kx+Yv%hOIq0(hQ6|O1k!TJGpTmJB(5w z7tSrlEdw_z#L>6{_LnBKh@YOoA_fAvXd1_fKxFc*fvj&_!vdlsGLD{0@FQy76FKo2 zm-mogh!pq=-n&NV zp6+AJBN`sM(c$Lb$35T+Z(A1&_e?ihiEwS(aj`F@c+VjxA0Gb(WPAAAAdaVAu)kn> zKzl~7Ih>gb8Bfncucv3*7X>Xr4F(7ePq^mx`;d7AlJw(&?Q}LjH2i(<{~g>HMi|ZD z@S>C%3dPZhHkbdw;7uRFseRw} z16GiBy!kC(-Jc&Lc82bIFa{ZE9$Z}Sel!Y$3wONnwf{La&v_h9eq;>Tjykk*pG_3m>L@t?MCgObc=>?EDTw?{;g1#Bs!)K2j5EgFm* z-w(&zU&JK5U$g0-w!)l0z_Z&uGv1cX0P=A@YQMcv(_H+ z*}9Cr&ErIRk8gq)Zgr<6KUnVZolwQl0KwahOsK>k&(PRiq7HAEd@NjL)3uek zuBp>T&(L7skCnn#(Qihtx$TAhC?#WGvPUBC2Rpg6I3;E$fqNMRP|9SF|0Y zV}xqK;ZIJ3&2;r!Q%5d=&{5cWZ)|MLuTC*elbqdR)|%V4GJctyEX6Zan1GLtEm=us zDb8%V#oYcK9N8M%tHavt8M}qffV(I% z{YaA3AK_H%x>Iv#r;lF)_^gN1?T_6^x3y#O%y+SP+<(#ZT7KzCe`KH6y4ipJi03WY zY_B|>6tN-ZV9uQa>e8*O2ClT^8c0Wun&~#TsRWX{sak4ZfKv^0oqgPhA&fyA zVjnighL}6K1XLU5ne=}>GUObn)-YeIanBm*A4dv?klEyp!{huD%j>9pe|Y_=A)BeS zV(@1n@6rDJc|%Zd@is0SVaVVVQN%E;dTerLjefNF4Q59J0pIz5xl1n2mJEA94g?e{ zHwSx)kRyQje^w@rfWIj(P5|^2MSTD~HWxgzl(n;qD+veN|Klo2Sb4Y;cPD808H!>c?sEbY?wnVSrk7CGZZlTFUU4N5; zrYouYEcb>K=%-98P*m>gL>f|(tlpRr>J-Xx_$x`@hM{A>6 zdvQZ%cp}@s)~_}T zkClX-g!R9ns)K{;e?txu77|r>X4zjB4*x06|4&Jf=n4GyA&?X|4>y-28z(ypyO<<9 zFSmpQFB>~A51Ry!IJcw_$^ZWr1H}LJm4k=n|N2TfHzB8?f&;j9xbjo9F}FeSv9$Q_ zBDWM-Z*LrEYHD)(oN~G-%aG#(xbtt7O4EW!%|PN9Q%o4vf%DLN6mfX6sJt|@Pr8=> zepcOVJZJi>T3FmqS6+hg${?emLYj;xWE^6(0juK)+C;t4o@37(i7Wf*z0lEM=&Khh zGeE8h8-*~*7qh0|;UY_6*_A3-cax*rurmxu$}S&$l{SEZN+48wFBrCs42QJ_}1fT z7F$rw8eKg)6XDn23-7!&yn4Lqcft$UUC{NCO6(-(;JFFt_MfYLhzGPr#S?W^m zX2!kw;jkoFNVM%=dQFLRn>v5sHugRy4jhrau9HdVwE&IcoYD5OXnsP)I-$XW^ zgBScJ5nljqCr*nGkRwN*6*5D;f#_?Zeunt*{0_84`%863kl!)JypD#XNS7te!B^l4 zK37sXFDbzeO5#JcOql2h;?YxXpHzxQ6@IITjX^uf!QUU@d?G%YHXKeVbp;S2az{yjD=JM+Bc2y+REp zils{2y{8ArlJ(g{=x-v4#qn4Z5p zQZ_@+G11mP=5`#n$RzNov-hEE6~$w`QW)G8HVy&nz1Fb*yPY4ESEl#HCq9;U&q13U zU(98q&0Tr{>25CUliCjgik5N?s-G$V0_q8~E<02H0qh|p?DyY7>Mk%S8VEacD)A2p zH9%Fq6J|gN>FN<(TQAba?RBR(5V@*WnXcf3I6S7L{(e<1I$Vu)iU~0g0cr)?*CD;3 zArZ(%5tlMv3ksPW#zPLvDA*-1djp}>Czpc=gBptpivM%ns|Q}hEP$}RN08yvxJL6? zPS3)A*~p^vgULy4+7-rEAz9Twd_E%c1!Eo31T)WpO@P_$2K5tDv-k>Ju$=)j=^hCc zgq1ns)u!B=TqEmfLM?~B7%F?L|@R4j# zP*5NXWS9&b3@8u;1OQ9fU(XxDpY??AE_y z{q$BJ2r>;7C^;VK@ckMg-aUZC&;SW94_t&>NY~B{EGP>Y0*VPP^5I<)3c(T*Z9+9M zcXx6!3i0S*CQN7pFzN6B)MY>g=`XN^ANdq40@N!FVG*R02arA_H2}rp>D&4RfkSem zVnjlLX=COZ>{D#}jERE80}%(YbA!Yxvj%a|$-nCz%K#vI009snfsR0bXtxM&^#cs< zc4vr~u=WpN0zdoqUVwPhSkdwd3&z79B<_KP9L5+)#@6uxj)#a3VEtLbEu6u-|c`oh;aI%etr%5Hc{dFtd^p&=Ne*GX(G5 z??&I;DEbEg7wm^+cj*r7I?@4rZ95s*7o;(0#|LWehDd=5DCEgsK=_yPZWbLF3Ch2( zkIJ8Zi2#D~&HV|Nb?K(|S?)K1$=*MtFXqc1C_sO<_ovDZ4MMmt+xJKAciYHM+*j3> z9rQ+!{1;Y5QOE;yt}Ac=NKY7A2^dIGLkx?Ef&vQQ@h~gYL9~`D_A{u7Zx;si=PTuQ zTKGG=@stqR;VT_UzE9BDlGLsU7Tn=W`}`jW3CLb1=G|}A>n_8uVES+5LodyDFRSvs zgWFGx^OyJ=z#$%XYW)=PP@;pNER%UoWD5@TtGAqDuGdT*7AC;6?TfP_7Gyg*h;M7> zT^|wv?W`W)DN5YIgtoTNIQ(VG`N3{I!^EY6xsUMa+6m+l00QzGvJHo|c76ik*qd-{ z59P%w_`9WyjUXZ92cMA_P6ZS!7U%0-P7Xi3%Oy^^3vcpNkkPwA}_|H{lIZ zCrSkE_pG9W*LQoffAH`b7}U3=n=LHRiv<7#fcyd%jI>#$PLITAiM09s;`fRj z)J!1&5;^0gPwojbwN%bo6Voi;Vz+F|hvHqnC96LB?v~#w0GH}?1FztYSL6LyA6)<< zr~rR${#M7X0;k|15#<%d)QhA|yB)y+S;srtZud^P*Xncfj4xEK&Z2fL$}&+G9sXeq zYh*K=7yHaV^GtT(NhjFhNr%j+uer~exAS$%hpf0&*|;1hRKE2XR2q>?M(B}Tg*S#| zT$m2`x$RQcQqw*G@?WM8pz6Bxk8pq)jIK_T2Gb0l{i#Hr1EZppwj?(QM zvS~{h1KGRs;+H!voL6J4pp@z=M59Vk0i*c{6!DsmHbnJHQjuj~V4rq2iUEM|z?h(6 z6vwnArQ-7Dm_5afUa!Xk&i_d7JwvW$aP7C%%u@!vPLsHC>AvRBdF(;uUYRBpC{ z(jxl^fcW-v%q|lOc!#iCXaTIk&OR{u9wMu&^o3?uy7OLOVTm!s$!6ai@a_-&mA82g z2P#i)I3&Te^rnZ9L#mmfjpKenC@LH23QR4Q^Sel!Njkv%+X<1;4HUeSQTQ@(nW^>9 zI}~1?)=<3^XItiHUOwmck*BOA%z1u9wA)`+z!Ytkpnfvc9Y#S{#sFa2S#-R#R9%5q z6zgOBIpLMMLIZC%#rkuI3-0@;vT&FyMeEul+c8Zov9Q`>K3=}BN$_Gx$M70_^i^)n zDM6RQUPdt}grUcZ*xY>YHH>Qo4AN1i=cCZ}@(NTo_JM`$A5ANT0>rX!Z+S?H%IB8C zWN+LMc||Yh;HduLH5Y)4Az3)mou{>z4)uW6*}eNYc8K$OURGgey*3A2CMz{G6kJ*d zZu%la!3k&ktg;tvcHK*1+=tirj>vN%L*v~*#>wL}zi}Dt@a9n|_~>%=8F@2gV%CVp zz`6E?4&{ij)bGnv0&m?sVFX|4%c;ha_i58d2fI zygN2uL3c$7+ZdU?VNYQ#`vA8u62?ameSuS=LiKSy3?l4+nnJTYJ;bJ@Q}mo~Ha;## zCH8JYGM4{gwgL!cs`~aO;x8&2?Nt62@XEHLY_jja!Ms*ayU|t|VTKv2Iw<0%A}p@f zQ2kn~R{2c!{e@jG1wI8`RagKKh_IY>e7P%-=Y}OrrLJ`5%TZWpXnVwFTKO;=ovT?Z zur2-G$-5oE;Bn7ElB(dM)>yZ5gZn91`@0sVz4UiRBLLuP*ZPulvgM4VXV_+MUuGcq zxOQV(hG3d6#chaXnHfJ4_$`4yb?D&yfvs|~v)=CZSK~ls!u{bPRd#nPGGGzHCn)KC z3z{C}wh*K!wYR&$>T54um-{@>{KvMJsx_CYF!KDsuri`PXgwS9L;VcKtlz)={h!>HnCH5lJ^SVDZ!;rufjARf^9ti--w7& z-t&6M^AxY@T%chmUkm+-&{Mp>XFZ5lGgBNEOZ$qK%-y`E)p5lXxRC7c;&qu}j8pxZ zY1UJD@X%)AB3pK7k@9UNr#o#MeK0C|Y&+B0-wl9$C-kRG#PJF>uvp!otVumw54&I* ziZnHWE?>i(&L%G-FR#y3Y;5<^G24&gZEk5_5-=K5s}WOIc%~v+QLr?B@+Vmf)UOh` z^qyp@GfzL)Y@sYh^5z|Bns;7$^~G9-Sb)b{H5MeL;hT6GXG-YVt)0j!GL>og$LZ0%Sby}zlkkvQ@nzEtJU(l2r?Pmjw&k4tZ8L;dd?>ZWYC2&pvF|F5fpsIB!^PQ0cEx}(WuX@#< z+nrc!SIm~ZqpdcPlZ*7>^0p@{#XhjN!rT3698i$GX%=sGmEM?7PEWLSow-ds z0(Xw@eURLKc#ZXK^#ox!VQ5wY71Vt$G8sQ2=r_}A)sGl8bD$_rF>>C(vm-HskM-Se zpA01Y3bmE5EP|C3kaA(s!No^<$pKv3MyldfFNjyiEOkVG$jfYd3EyV;k~*8^6ad>e zcktpHaxR!FpkB*f5=S6SJWH7}@#u`@@-%@R?8h(jca-{qhSSli$OdGDn z&EQ)|o%1F&Kc;%_T{WOP&}wVco#KVKYe+(tLaF2&ZBebLq&6PjbT@&iriUA~UWy(0 zP`plk6|3fn$jHDJOzNnB^#Vva?j*!mfs;Y7I*$(W8f}Y_`=nRX+jyX3YV$X1%P6o+ z3Kb(?m@2HShJeY`CK3Iru)%^9m{3+8&Etzx;dtyW2}=mf>L!JgRfrd!b`k(4XYNMNn68V>LfNVd%l+}`XA z^NNxASqIg9U$!wm{z&lqCkDd=&tTgk`il>d$kOz@2D+JU!&}7mO@l)F_QM~a?RU`F z<1T1r4qae>Y}zUV1O=s;ez41yO(dBm=LS-)y^{eoxBrt2Q`Iw8lcXB8SmGI@cd@BG z>eiOJSee5ydjVG|xCVGC_m*IF{`_H2JZN;`k7OXlF^h!0nA!gP<0-==`C+bWh0LwMOMQzJR7`bCt17AF8==Ax~hFa%i8pY~{Hql{8~EL{n}B0sN`L^zo{2 zE8#vTRZ^y$QJwV#=liMJjIijAND5HL@E;HG+kN^&V~RP7I$yyEH^bkz`RqTv4i zthrPTb2_18i!FedW{S9Vu@rR{2dR`bHl>(lsUexA;YMds7WQnN+@(omDtMjss8@7n zmQ#Fs@WUIigKb8yry!f3Z&2RaDq5D8@|`9p0l-qgN3eXNiOcHnVI z*S%#ecF|9tfdorNRdVo^EriIywYv~{m+1H2@Znqo1rd<+6Rdk+cbMXoYASK;N&wfG zG2A#rWveLdbloR%`{#EtV~DLA6{3j#Ypasfw9g9kM4VabRXm!YZ1bZr6g{y9KHV1U zDxMw_mZ41TPNs89o*(NL@x?0P_0EGah~rAB0ma+9dl3Moxg##fTieDj(P|V}@PSis zERCE4n+bqF$Q%0{u^kr`y|S_+|LN%F?JXaGy|StHad-b{IGlFKqrtfBek{LNV9(Z# zIod>LB+yEaNN_eCQ6Le0ssWm!@OsP@N#HLnHh)QzL86BqiB-7k)S2#R_W$7c@Ti(9 zw%D8%$v4%8vF~=g5t53SIr9HN;E8S99W1jC%LZus$q*{v0edGDeJYzLJRxv_{Ke`&NmxBB#VX!wY>?W1YUp8hF`s ze#D=2qXVZIX<$MQ+oLlve#7TE4%||t88eO~s9mVBsKVA5w8j+bLE9-OLZ*+hndJyb zi2=C6yGC&PV<_mPA}=~wzYWpyC$WYLhy}`#q(+}`fudLu;V{XY<4}H*@%{5A*KXXc zdYc~|6>#c%43I;i=tBqt-6(sxIfiQbH&bjACmBN6kTHYAKhsx0;ild)nLxGpCUvJ- zLDb*D8X(`@NFNrN{uWQO9yiPGJ+SPc{#cvfWdE;F8gva1e4z#XQC}HI{d*A?#41y3bPo*_i9{@ zO&I;ifgAgv*WB{LxxP&rF}^5d?dc0m-HB^-Ic^Q5tP%W7tp&`kj2R6)3z1{%2m+d! z5jB;UTMgM{>oGS}FVXa7GK>gAtj2gO&xm~w2QR$$jF_awCzwbCF$5JEiZSR zNaLi*yiEk1WIX5$?5)dzd}mNP1B!h=q3rkP`>)t`SLT@+Ud9)ol4u4FrosjqPpEUf z{t3gn8|8vgrySNPbyEcMHteToO9GrG4d!_PnB84Cyd!q*%cRwYo5(Y^zO4Pn?kp(+ zf$?QwT=pWN=NU0KMR@y1!mn;6jJ+I&;bD`GQqJQXRW+=+6l4$AA4eMJJVT2X3bDyC zAk+eF;BJIfq|;Pauhx~#2ba&EJ$Iw=@%HX0SsIxy3W&8Ft=B~SYsZ3}UH~ELHpttJ zwEgk65K!5kjEa_U5d@On=JX^ASH!8hc2}T!Qa0Hk*%}-ClPCeB_nm zH?B~3-{fr&J*e0G1!l(hCCzS}RQ5;(26&H@HHstJ;y^I^)Wm}>uf#EXxvc(9wu0or z*fP_SRn2ANIP9`{Jb@$`N&rpzi803m!TSXOvf}n_?rh&7A#u|yW@K_!3bBEotcAfL zbc-c4rHEV*6sN*y>>s0c#ft`zj_+qwt@ORZHQ@0jxs zfqm{F=aa@nRLAWZg~QDm0?6#aQXeU)G|2aaREc`VdJ4T8Smzh6GeDR8!oXr+7cPmd zmI6#$2H6HMOzz5Krk+^08>H$YOx@MtSn72$=To*w!fYyTQr2NTdeg1gDT(t?qXcHf zG{;wh017h#Gk?RTL0I~g$_Zh;|}(04-ZI1yVgqRnKal1Ep;xNs@uiS!_PywPmlWnq^kxkYAXOIdwy zBUyZ2C@rt}(TJeeEn=GV51IT}YgY;R)kaNVP+M9^**9P=@wJn9oxp-nViM;o1D z9C#huye%Lq1t8IKo&Ha4VmRlY*be$a6H9L}dL;K1me#a`z=`4jenv#*KO@&Iov0@dYT&{Otv6K3c zE_Tz2xWzz^Y&UFw7=!Ql3}jO$O@Zexgce8;oLPM69~~LZ-v( zfVU}t5blI#EWF1rwPLYrOsY~D%i<0dJ|WY4RGl(UqDG3C z0MM3C7}WX%468bLZ&L*MSh+s<+}+G|QDAeGX=0N#E6b6^WN~;zi$36$1{?UH3>p7T z4M%^DrQ_Erm~(2auS_=LKfK{mv->+GI_qz^Q+uT?O;hyJf|z~2qklG6d*}`SCQbgw z`l_4FSC;8O;o(>~Fnxm?K*(>5{iyn+3aAa67~Nh-VVFAPZ3f1W73I$gzHlT&NAajX zB3v6OMBn0lYjHTmlq2croU_u55(xY$qDTF#r4ewOd6diPq-bH+GtTin0=(4F>c#_` zO~b12DPL_}t0~3aUwN}^&B4NW;B@|KHSMPPcznX;dNt}@ML<{BTwkbWrA>~n1EO;i zl%EbB^HPm}m;kR0N#CK-RF3h>kuks4Ql+0^n#j`v5%gPSP?H8$@f=VBGog$r)n}B< z^)+VYmA>9d8TYs?(v42v&Vlxj<_Y4aRZ9{a4lD__A`%awk47opI*_X?{H6UaR|8S zBvee1t4WoreT+rdgRO*eKIKd$;(iKP_>E3)9Gzd-&+EGCXSf3=%d@-%0PrXg=(H~D z;_9K@%QP^pQb-bv;b3jH+9rgBe`o$WEIPu{74RehRz)Soh+f;fe8taRv#wA4^o-@! z4yqSBFBQC!;&_!c1G2b%!1+N&QGUsDTQR$Gm&}ol5)EUNo}Mm=INX>hB0k?h9StWl zXL`jtYn>EeAMpdvU()WpfI-&u%CYf_mND$mg^)9^ESvV%jyV*s*z4y%DG!d0pi^%h zq^}$GuYVm?7b{J+1Cb3O#fjb>Z@6URQf(vH`J|FBBPI|$NFB0?&l^Fpuvpn0*-{9c&sB1VlwRT z2&ZnZvJyDD&e!%xWLUGd=cBJ&Q*pidOY3@sw@Swv6pn=wM>f@?$|NUe9$YFPI$WS| zvW-v=!X&^U5h0ER$V~cx@Y}^cw%Dfnel?S+A|4Ad{|QNeuYb=;Jcu!(B;y&0xI(nj z``a(u`ybO{d<@(ihT$&e*0Cll4RZ$upnd3JK@`4-M9wd02%{jF%6T~S~}!-hC!{yQkZ z2Hm2+eEcXbBu2L$hG#CS(rbdqmhHC(ozWpADAo7ecwoqrYao_&A)yIga<5 z#j;6^SNw0|4uBY4b#kqLpgsONq*m{h{Hk{kyz8w9ZA?G{N7Wn>>&ZtO%j$J8yomFi zt>W-+9-gQ*oFK6{fqD`VpOtF{cST1Z3jGEipNFqEsbUccV(?JL$uN4j5Jc#G3RSG# zn?CZAqBSCseKmIVEI&=l`MFUbe~uv{%oIT|E|6557my1>sb)*DtIH}Ap5ujB`$41o zwV$IF+Z-0`V<|l7oJBVHvR#1$VKTB2DuX5yc`MF_zV%&k_YV|*J~+f&S=l%3;>%JO zS_t3I!uARY%SmpE_#MKSmxWGGw!fpJ)4W*B`4A^?A1yfQnFfREP=8^hz}VG)p|FBZ z#5;3C0wD6G=6;`SqLzW7FMBFUfsb7X!Rh-1$q(Bp;C=5mIGJn+uV_hvp0}A}tW+bf zFw!!gE8WHU)-}45MrvfSOihO!fPCoSSsY3+*{Hd5lR?G`U zED@4Tnu*3YMB1&!o`JfTjI6|(>IvYX#r|QW4Y)=g7#4k7&nLeYlaTlrcZ0;Z@Rd`J z(#Y>7t@P2^m8=e`f7O#+OfK}FK#3n&`4p$4G!w@8h_*~$j*;%r$<wkGHpbcCF^#+$C z+Mj5fh(G@3hT+_fY}CJh%|8a>{3cnVqZm0^QMsc?OsS&?7k&4<_IKBP<})X|@w)xS z<66Q3(lWU^R8Mvz-07dC90EO^y2eJ<8 zR}44T;tKwqj)Ta-+BXLc_bX}uE#df2M7crFwdbVf^v!A2v}$bfk|-@?5r&y z4?t!8livsa*2o3qNAT0T{cZU@iH!BJxrPB1+}^P+;@ht%=?{tp0&-Sn@j&E*qywZ~ z_RT1+4TTrl)cV{202j5nj)&#U=o*||LVVDF!IL@zpq|`=+JW)nE&W0I5r~dp zTLiaOV8MhuJOV+!f9c|foaR#h(yJ)?zXN@>gAW039gz3{`T6-F`Y} zs;F~>g_Yn9klr0XwJPw2QCSe4Wu%GoTVEo4J|Y0Xo~25tW#89!qOK#2(kHD?<Y-Se=- z3yvoW#M>ij=>oygW9Af)9sw0x02?roGaMLKA734ST}=_GFRCff^LL)1=n4@lVj!Uy zXiygrf9?2zdn$<%y*h(&1`@V5@C*JJ@fFDb0}e$5jHpcn1>z+11&i^8`g7~r%W?`H z*f*Ai|2yjcYu^u$iwEBq=lN}h{uu#_pNQ>!VHyKHx``-S(gz`S1Y*RB)PXP{>-_;4 z2KNj2qs!$K^kvnzYZqTbJXY|#3W?$ZF3Jzs|1Bd1R)7Mzf_NV-twZw1gmL=%PPi8& zM*+R_^2Z}0B5W(g$9qzkI~ZFa=Ht(E0CUp*q4ab#;mMf;NQT4W)894!Erx3!U|_yFe^z)PeIGL5o#%Ya=NBrHOE!x#qy{St7!3@G2wT!x?REM z*9Xh+D8+M!t5ETa&*o9qH1f3TO46qQaY)zbTYmMbABDI*whTRp4&cf9C@dz*q$o$Q z9j{7|K*a zVXa;fLt=2^l0tUA0h?=hA|1KHH#uI2xbT~DJq>AkLcagv;@!&HdhGGO_Ti znxyS85?*$xv2D&Y)4u0<;7-b4oXZ%UL0rAAugH zSplEa37~jI=A^TVd`niYTCZ4vgM)S|Y@pS&g;L>J_l;fG*e416!88QRaWj!bxlX5- z&sSx=3TXWvN|qBv3}H4ax;}tc)p`<4qFK-rEbN@CzPsQ*wp3L8EF)PK3^FPfGA*X1 zEs61k5tgLzc*Gp?AxcN?ssi8pd^MA+b{C6ImrxC+-NobbLvLv>{Uj*dRmUeU`x|ZY zO;5Z>7{0m%sw)onhVnTxRY@rFpv{-0-dn1)>0rF5nOZcOEo^YjBo%;wuku;^9sRx0 zXV-JtoJtS(1|CY%4l8Ptoi2;Srl~;MpQLBA3u}E$>yef?tIKQh59WyNG2;m0kvo<@ za@vV^w8IKPCd?8TK`j~Cr`L#lUZZ#$GxiSe^fhE593op)Zd%Q8TRp0sv{b<1&>EPe zL*T2IO@W$2-}8=zF+qUjJBFd~dz(@%QSg&|J}P+x+cjJy%^1X^;ZF=%$Lo5r>DIXI zSjJBafrKurqJ34u2T;BIl#q&W-^T^?ueXp@70ILQTE42%`@8d>mf{HBX5}(9NQtKO zxzotTF}DJv#-jFmqrbYx#?yo#mn$InT(0=4Ov`Wp8$Xy_Y-zy4KL1LNyuyV4DpS|x zq&BLpm)1Al@zdf%&{b@a=F+1*-T9>^l2=OZkwPF_gyM7doBmum+FEw14MJ;(%or-id)>7D5u@W77-bSte*LQ3IP$Y>LImAWtRH_Xho>)#@1h!0TS5 zLyT4Se!3V0dlulWWWB_G6Or*L;-(6@ks@)O-`?~m+Oov9&xA7^$NoT%OPdjj;e?Y z^1?}BJ!*inPLM2pw7dkmR>SG^XG5i>9p2-9f!-S|+QMYV*InQ9D43;F@kaT8+Grp) zb7RIrvn&2`tYX@KtV@VD>qY7qj(z? z3~EKIG1BxJhU{~)wNN62SrR$)26#0F26rDQYO6KtPnodnULZFQvh!TmvaU>`(|RgM>W_x8P7z?9 z;&KS^{?TSlA4M0A10U{wDuFj;I|Lyx*0xUhr9ak=EY`q?b2}M@?yB4pU;-)fV5l|A zjEiz|SjPz3$ijs@uc;kt+>hLhld z)GRt6;k@kBHSCkhYkBy@YIt^~|FLJ9-#o$DdC)IJbnbnikSDfQlzenZDO1BUR)H>L zQ6s)RmXO6h57Ju;9&fz!t0kM7Aix9p(ma~2Sx(_$N@3A2u5KG{c&!uPH(v68I;aB* z9twxES-e*^dZr1iZelsM+(D?imOz0{l7{-qiU}^>hU3uMY6_8`Pj<^cqS)_;DR#3M z$$=ziwI~gXWXhWB+cPRmZ}lyG_ynzK4Q4y~Tp0IsG$1nG&ETSY8EB`v!{m&r*)e_x zL$zzLlj7E}4k6huJ$FnFmrT(I@|*x|$$fe+e+#Lxd7!n^G&RJ2Q=(d=D%UeXQ^d>h zL;6mpbW=}`1*T>{AZ-XwD5}9Q(xKlKk9&XLE^vNu$o&EhFj4k!AToVlo2A2*?H|!K zbv+X71*C+u79bhD4oGK8$BRQ;zRxGB`-WcSWGu?Hf<9rpTvMBlKEsEhnr;CVd0AuR zy2Jl;8LtOzM@C5k+K%<_5tw0N>9pUYj;IrNhf19xY&h#|U9e`eePVreG+~k9mmTsr zh@Z9ZshR}he_qn&bDOm+*cMb^6=zl+>lh1}AHo;nUX7hM6L+J{ay>nSB%>GjJA{et z0y9+wjzL>nG-#av^Bl0g=Pv`wHX!GxZ`G(VH;*|Ncz4{0iMC@{Ahy5YKB=-`B+nRVV_mQA<8zMbh6aFmFY)tUjVm`}v24 znElK*jeeQf`39qyUO?Z&ALx+(36sJoEkp?r*5|B8lWCAndwH|eCOe3}2*KfEd zneq;wOHRbn8IoQn7JI5TBnMbRtD~wNiftG<~ z99ug&2xJQ}21Wyal|pvC=8(Qq;F^OE&99<2dr7@bQ?(Zf6dmT5C8gNvT zWO0+BbX@XoSV>3wa;3wPiXK~yi6_42+0=%Dka#{)^OC+CIYURQX(*2~ z8P|w9ncsCF!`!5UNQV)c zD{g#L;ycu##2S~+uHgoi+pI1p+1_kKa!olVVeM) z=kT#qb`)?hF50FuG(O&@eB$ONqBso`DB~rm!_pt7U+I% zcn{oM-*}@BIOw7rJH23DoE5paYv`8B=_`nZ&H~gwrKX?}Qg*72G%g0f$8b~UFCbp- z@GvQE6`o>USDf_kZNH41#m!@S4^y-@p`{*%LE79VUM`v`Is2;Jm5Yre?`K;>oSBH( zfr!M~KO{MhXeha!^5|c6!w&0A_)_m)^4TizZMsZ#H%!z3=REY2ssy{qXad;8@*?WC z#Q}QLERoqFml;H5(|I13rJ5%wO(`^Nz@VhOma)Z&gER?lR3Xp2iU=VF*Zc1OQU`&R zb15ODb9G%8<^JNcA^mP?SDeT~9;|}5N}=;Vo4S6(q)u>bz$3dG*WE}|&s}~w)c0%E zWPi3DTRi*ygA=$AI)1}7pTsaaOV2Bh_5vj2UL`IF*EPMk4s|o|QW4k&_VR{gV`su0 zCSr}s>%88z$rRV_vD?tU;2e_@z0payc4IP1jeA!gZZxoAwMOxz+wA_d_d3z6|IyUX zavwuEw&FlWL`}cHXhB6Mxm}nI86OTASGMTQf&0cfo6~dAR(R7w-X{Bd*ZY2C>#n}Sa_L-_X3=YH^sY9awS-&T>QpTmo~yn+If_vB&if?ux@87nbXt*p zG`>kmPd}p>1h?hXX#0zgQjBZAJW9)JaE}4nG9hqxf^tZT%1#e-2u-SL(DgqBjI?W84S)9Z7ulXDJ5|<-mO(a z%JV%Y?3X`vVcM9cpn~O(aU$p>Gy^#n24Gnj366JZ&sK8xQYW;WZcjWfGJxn#KI;#> z0;87^?v~iitp+tb`fByH>gj!tn;<HX=Q(2krR>Z7|E^(6S! z4sge;t#?;daS6v+994$s8dq$6YgsV~rxll(G}j<8DU)}rH5LX!|LgK{XEtpzd|jsD zU6jW3a!1NhQ5!uSJn4<81c0smxB|aoiiPLB&$4XFN~~bD>vi)*JfPEkExspZ-35VM z0Q1F}B4y$=y+T^1bVQ}Wt~9M@ahB(gt9qJhk$%_<0z8eFp$>yC2LFo2lB<D|Hzt17+umCImc8i+ur;oX6$dN-kM|fqF7Z)m1Iuq0kM(KXGC)C=Bj7^=3oJj4 zFfd020=3!_wv7vIGpC<#SseT^28pWN4DlbJf0DP|%{MUy6I~3%-CkF45Pkx^p_Ql@OkV#k;#hBCc1T zO2GEtwGyKDbY{f>mC?{*A7x`qfY;2slBhjLR$QW^NsF157eMd`tf$in=>+s|tB!7& z8P?+uL&0MNB~uL%R=pq&nXHSBO&5pO@|32G%1cAb&9uAL{F)i5hs8|Pdxh}s^>o4y zo9y6#hxq<&96#P_G}8xk$Y@$(LC$a^7#msh%aDLa#{IeD^GJb4e~vYalhCHb+i z8q&QgfAc&0%attZ&7KVO96FXX#{&Eq^mLsJLs%-NAr(2{lI&z%#06(QR_RO?l()EB zbrX!t>E1K6`P`pdZBs_#L^uWrmp`VDarkycfj@=h5wKu%2Rf?}2zZK$c>GGM_2{;h zJT3-0f>XZPPaej{V2Cpd2+z%QJDZRd#-FWUQfVPK@kTz68pnc=;6d#Z_Av(*SC497 zWalYhA!eXxWiTC9)h#P5d9E^)3u`()@&q&KR+d1QgWZ@k%3$(7HGKo=Au>#cvwI=6 zsz{o$1b|gqhVrL#l{Q!$*1tfE1lfFgF#iHiE_$rS`s`3iXZ52F1g^qHn3%q(=p{Rv zl_g-ArKh?-?J#jBK5pBD+8q0B`zWDnt__a+nd^ewH!t#xY_-N(!qmUtqk_tGghiYt z!l-#k@u*q`a`NNBa0N~q=FF{H$TA96!XMmz1L&Go`hm9ByGBc9jl3S$DcIt*vt;91 zdu{$!Vx#F0b-uY-c-WWZKNH~ZtCzyFO|Ch09uia$cGkXHRlR~0mDG;1LUPYT_mWt6 zRpQc7JmM5mFGt-}xEx8RH!ClRsJq=G9al%`VHqYkE0pngT(6XV$~Q-=j!C=)1LPe# z0A;o?Y2lMxCJ<`fU`X=1udUgzBn2B*emyi!HL-NJum)8Y>pX(8Iin1CI4wk(%h9eh zVsdPx6xL??!O&41@xDDW-a~l7 z77ZC#o|!;~Q>;xl#{D;kvbdlLZAHF`0hg1ZmB{B4F>yN^neWpr@m3L7CD!=+vmLnm zJH9J_nJ0Ye;c#dJng13>t7R^7#@@Ie_{1Pg1lc6oMK8FMBJ_dh=%kL`1#u70f5$&- z&}C;P`QjcVK%(1~YyMp4(k_cpp|P_2Q5D>KaUOLh8m;)?F?-BDiQM9DHx-(s?Lg4{|0inv9TwZjjl|K|?rn_b}@(0?Ig>xPWGiH3&ii z6^*e81z8K6UWr$zdUYjXwS(?mcD;eq!xBMzmE!&~WU*894 z4tzTpj5dn?tQ8gsmj+3_b4(DY0;ZK_HW%`@xV)QIjTq0){rGw(rWvx)1G@6m=~w15 zlS<;%9Uxs&wuEGq5BJ5`K{$oLEBP zu-T9dz~jj(erbBiRKc|U)(YvKf7rfqERryWL+t_jy(H>8gGXAB0BqPPBq?j9zCUYH z?V?Koq9gj!r1W2lUd1C8rwPnjb@Y09cMcOVLu1Q))gq?%rjxz}FfzL%%`IV1E$2_V zhc`|ZKmvPAJu=xa0guysR;_rN6*->_XW8c1nW*y5_L4Jv00NT;|xT>V?H0)HQ4^cV*|kj{1+QP^yM@#KKj` zNvxinjNuLNJ2SW3m8Z&%9<&Z%<0r>uc{4p6wURP!O7$952GFY`D`V73y^QFPAz4rq zceWlAc_9bz*eu&-R=bzt{7ty(SbMB!XG5>S#o6e=Zkegv9%wq`)ML3#kBYIQof#gr z{&&(OBc+yHW_}+6&p6GU>h5I7Fr5YW&V7rY8|a~_4VQ)^2!qzgZ>Gt1f*{zO$)ccX zQdNj*g|UJO2cQsZrvKA(n<#lzu6KIqrg36 znPpzoUYwY5vi^!rzy=Q%=|$TkXjst?_2n@7gno%l2T0pjMcOb|jurfI-fJk6n%N?) zs19(3HS)V0JI#$Ai&0@{q}Sf1U;xS06LRwsFi}tDf5xu{{e@#VgktBoyqiPkIDRy1 zmAd8owOXQNSiI3=3?p6&^=djv#1;}*af@1^Kbx0%I;Z*6gW>)eS8Qau@j5i+=^xN! zDhXri0z^3bofj4KF3-footcr}=>nD0Cxj@Jue>GaWDOe(eo#({Eq}uhP|tqHA+rQN z9&^oTB7Lk>t=V3@QQU<;upU~+%<=kEhA_R5_OI?ju{bynW=rl())9}=UX@VqlpYm} zS+2rF77f(nUa&c5R+rZjFbAlSg?Ye@wd$>@0l?Ll9QO(NQfUuNB@@{9Im_S)ig{3{ zpuL`^s^juz?n370wNb|S3CP$5TKq1s4G>#m+rw5>w-$MLmK-|6E`rQ1aP-_1fXrH>LJP#%C z0Gb+u-mlQjj2JR(=^hx59gfEcd=$*3I#|fQq;sz530yl5XHB)A&nw^EjttWaJJboo za!Oz5Y4bzIKVz3{W+@o5RswuZ=@g@b)rIu)SyRUXb+|w`E1KDlp zIefC*qy2j*(dy7rl2fSXk5p7zL!ga_CcK-MX37wg>oO~sh*mZy>9*HWD=rtMx)V4P zf_iIt z(-U<3P89PSin3n0jxm0c#K|R5Cy$||n}aaE(WPXA4XMt7MPWs|IE>ED!5Luf@`Vkr z_tkg5viacGeOxcY-U>E6!@eqgHcVqR43cKHiVU}?wH#26m2=%p2i1{2ulR0O7EbNcDE&?70qhPLPe6-=1|}R<5%T{$3*tGAci_Z zqe3J8ZM}V3FynJWPGI>7K+K}`zP<3{HmhHWZ-Tx2f3|@HdJPrpC2>hU&e4K6t!2#H zx#E9B)}yN5mQMoeNU#tK%D5O??1I))u<#sCP&LQxSQF)FEhY}7QA2+1fCi;XIEfFM z`-#1dPoCRGP5gvRS|{Xb!S;iL50x=wbJA#=_y)%2C|gpd0WJ^ypg?R&GI zXRT*l?6vOp+Mn;2Xquyhw>v0${T0Tuy(*URu1GJcg?ag2M6_rn`*9Sah!+nr-OyY0 zwT?~Wr5v;L_t!%vvE5Wpdqjt!g-%-JaPjP+IOUn9c(X66e@y$ZUnSlY;uyi=r&?%u zQO~3a_aXy~0u;U#BgKJ14T-xcPYfA9ODv^kz(hhT2erc;3}~^lv5EA@G+Y8_D$8ylpkZNO4}aQz4o8Msd8;i%2Zl>$QL_3xgD=PNKKozO5;0 zE*4F6al>FBWLEg{?6`544MAUXt}caqr%h)Y4^F84;mel@Wwt)42!d+4-AehG+jI7Z zWNAU3_3ks9^6pINt>@mqof+Og+8%kla3_lwP$I{%D(^?qu0gxsm$T25v(s3?t}|$x z>(b63Z`h(J?G|lIkFBnkVhFD}px@Ss*rVtT>IQwjV6ydK?F~ZNJfK^e+X#?H~H*f95}W*m%3o=kLMgN*kZ!Gu^Q1g>x^JqJsX7vm6rFk;lq>UAGZG~_T<8f$StaBp>*YmO@i zzPyUkEFZ7xw=W_(P=8TBCE@y7GI;LhWOXOTe9DG$@%e(65|OAyHL{PWuROsV5V+86 zANxec`^NJ+_Nn#Rf$`EK8MhdQ9i<%=5ys~q$8G+}4cZ+~(nS8VYSB9GEs^N608dsC zzON_GtoWBi{OSeR?di9zwB&*B;Iqj$p(QM&tNj;*`IeY5eVB3*$#x{>0=z^m!lCDj=~-0*xQy%N+`*;af(fb8gEp<-RhlVXFzL^Ay)Z3}|Ui^foNQY8a)UBglG z*`>DROHc{A9M8RHqHE#M1djRB6;8V#V<8C@=?DTB>YxqXaOwb9CSoK_LR*V*h~?bN zXmjFMnA|c4zPo!%dEB`_fL+1z&Mhl~a|5FR0n(&6DK1XmlEyf+?_cW~FMNm14{^0n z|9BwS{;P)SRB&u{fi}+a<`cE8V~b?sq;hvPzym_KHk9*zvctFf>JN{SlIn%Bq|+V)ocW!iEXP2{=)GcgG<+}>LP3f@c} zYy7a8q$0<@F5mqNqrOLJ0^RG-z*iyRG1V`rcUB1+cR2B;gyENtCag%^CaRzjj9kM@EMfu-(f`5hmJnEUAR@8%&~YvN7`AqGENxZe?1Z zRC4uBK&eVWtTmE~)6HUF0Oolclnaiai?qU-_;hhl-;B+Mjm8{N>v?n)5*E^F=KJTM zQUFcXkR#1}T$nu#FMXiH-Ca%5hA&o-iclx(w&-)%q#PFtl&Ecll1f~-$qKve?Su&) zhng#PK_-MZ%@6>mIXj9ivp#|Qh^0F;27kD#0sl0DEZ9~I0?IowoC~1<)57I8W%7f1 zeNZNWn%KE{){H5XFbHvO0nxC8O)beV(#9+h3wo0O>+t~5cYBM3VPPT#T?lfM5d`oz zbH+*E*vSn)l*7oW?VLic2z2YmVU*^oU8Rg)x7l!jRJpE|H3u0iG5n#IV=J8tV?mA* z<~f*&tz84LojatkG5?V7r>Nf=PgQiYI7%vf5}Q@5w;eH|9@7X6<;bWvvb5dB(V70u#p95&4*hN<2%c zXk7UKCD(X&6$g6cFp<=epXS6iQCSFOU}+%J#2Nyx&qdWtq66I}bpex>OjMApBRNng z8dH$Wiy#Rtt%K3!NxbUU(AtHFtXe25jwHT5l$jJh7bo8;836l04}-DveYIrAc*=ks ztQC7S;BwC*l6dnsGh6k#@$BzmEpAb0F!x+c(<{~h*(Z{jM zi15)i3DXH-DvK-EtJgOfnv=n2rhoL|anc#lyFK2oA=pG-3!8=T=Z3>i;kYYGn4CR5 z-`b@ctxvEB&{ls_oIa;+q}m8)EQ5p$X|aqvtYcGjm`#scd5RqoshbI|$e!@pE@*azJu%lDC8h>+mPY2o9dmiER^mC|Kw5coOtuE`%R! zW|&fSTI^17Wh6I8qvE<{U40uyZ-ju1QOcf8v`qB0^>oXU42V&Hf7N{vbdijBUqjrB7*}NIKErO#s;+!m(_B$tswmih?e#xlu=p8cxHOhG? zp>FkVH;#zFe#|JxmesZp*v;6HP!YM&6z&GEtRr2%gW6z=7%TEV;uXN~v%}AiLIioG zCTKcL>Sb-BRJ>$p2-t+-lovkl1RT>G--&zuW9W~S=}9S7JgY;mW9PU|sL)$G3jXY9 zj;inEYx+lEquS$zDBTtw2QVF8j^{!HGOqZ!Y!)N;oaL&<^oITMBL{w8OS1%!N7gyn z6)YW>qS?2X*+gqrJ_G&%W2x_hDQPZgJb{~_5frzGEvy-4d!oN+2-N&Ww{G#0JzT$D zEB!5h;vYB~n5}gLM|mtw@?AN8qx(y2Uod6vG5?)P+HP+@@2}dk<^YtZz5j3&+N93= zKDbejR83QFPwT5XZRM!MN$iDr8tlzt^>;kb+9ly3F&&nHSYRR~re)e?hP$fJ0LOI{ z!nvGfCHs_~7+o=!_E)H}e3=%j_&^3uO9?aZhAxf7z;93=t= z`*nW8P38oIuFw&D1u!ww24~U`D3R(j{_1g)#eRYj!q@%chFVeqLAe-M|M&DCB$F3Ob>h z*a6?j1i4MvOU{qHFSKQ9L^K`bCSS$sCb^Q%+o^@(d^MVu`RL&^KUJY6^g{}NHc(v` zPpp=uYAXJVddC;q6JCk^B#a=CeU>GU#U%mbs@V@?CyXBXoCvR^`;GuX4N}rgrn%un zetT4*Lzgz2nAWSy&?N%D8VxPa#e!+b8$y7E6f9>DBk_`-@v*e5=U+8tn}u_-l{Ri^j)=L6edj+?%wk%VUPdWoyTXmqLc2u#cL- zYF`i?EcWG(Da$#;ib{yv;Dlp4iuiDibdDE1h|pH4vwmuct3du#-;L?)7q7Qv1`BY*AzO6;oaQC~{CJ(J4+ZGTXToK5hINWNv zlWPQU(ibnkCD5}@2gDA>m1v&Z$C4(k6|3{^*wz(b6dN5?e0h;yJ~O<)#+#j}*fOqL zVM$W%{yoi55FJ{|MQ>ggzq2Rf4F*PwSllA}>1vX-jlLf6;_B{k;v>i=)Eq4H2YKjR zBdlmDp7S(n*ne1ALe|+C+HsUNvNL3?AY&w-(h$`I*Cf#3M%zI| zFi(=lkZlh>v5&4O*PD$UJi0p4Q0Yoro>FNsnGt*g&uAsUFezf{B*f?v3(fXOZRSxWI%upW*bD}Bg9=Sv z9Yl=T?>;*~IvZ9b*HsybG&)S{r@avceej0Unrz5OP&$c{@%Ie61KSRs>E>LXw5pHx zCogTKtwtA48)q(Z>4(E6Z>>_Y-nH(pc6`p;%$x1AU6qoU2Y9hEsjn(kY$l@peYbx9 zfc;irrYaEb?;@6ZsHI;c7sq)f^-v})#S^AK>q2cDmq#smt*|k$=>v$+OEQ?o;5{A6 z{u!0Ada7j_*Ixb%190o0oxP`df%uCJ3}#{|b!V&b=j!EmIT zL2#Eys_FUAdS9@q2BmP|TDlDN#hHuoDehfz3*QS$%hyECw?O7-r7gU37f`kAufbZV{+rC`eseM!+)9BLICZ^3XZ31zx9|By^{$$a6?Uf?7pWYx-n(cE=a(l?F zfQk81jW5}c5738bzx8;g3#MDmyASOf?WePM6hKBNu=#JRo&4ROygkwL-IlcL0c$k6 zfKGu(QhLlp)HX?`GREhMo9VJ&qfs$m<58xG=`vLT?qst@We!722)iv+*0ia1y<$6QTguBfJ(_)-OL@XAa zZ;mRRWN{+yYEc%Ffb#qIAn}3AsZSO2Y&crW?caWn{36Z7)an;obx}K{ z6m9V5;|$8_$#Z>fAPj=M9N2+?vQ%1arI;cNl*y+z^)P)vqfakrvFCjCm{%Oz2 z*~U&wT5>n9`*VUFGuAuWC{Ov;+SEap$?;rcn3dA7X``*g?~HPbe~TfLtFKwBG##-k zQ}t#x+Ja>y`v-Ft2XP4ZXJ_n7ZvyU)w@#<&fT`kc{b|VYnzI~JNMjqakf*Vdt48Hl z22CJpG`bDqLzhr4cXn`}m*^#co=~$Yq2p(z$<;ks>CkEtf`M~H*{S9wcsy#8*q$(= zDiF#C{2c8R)uDu)jP~n9C67`j_fd9_lfX?X{_H&&ZV8g&CpUFlTEB6FGLA^gV)qUL z7J&s%3Od{$Y@kp3ohkEfU0{EH^!0#1boRtG8*aKwDNz^IX#bGIz1#F1oCCTa&Hj?= z9mVZ`pXaHUl<=$iw-fkwG8xI2_B2YjOxOQaoO!xa@64eqr$eH>&W&Sy_dU3^!QByxJx9`A&k1cMP@QpM`#Hy$W(oHifXlzVZaY4jF z%&)O4_8!ZV+X;1{xmN3u{C$vxv;E=neCx=|7Q2x1hAppK7*jz#=HGC~TD$xs%2tk; zb<|2#{7%USuh2TLYI;W3^)Kqo%nf~<#EMWr0RK+NORM@?yV)U>*l}6*&xW5yI231V z^&}Omm3GqC_*F>c!!>&Aw|9b>$?ul^JwFD*8!G~&iCfT3$bv2 z?9y5MUDP4vwpvBQ&nvyfAt${e!acpE2wx4TwU^6pU&0xRieoZHVbjuk;P+Mzr89+; z`Z|A`xyT`SiD)CExS6{R{(SiR0W=kxwzc)rGsSVxSqXOJc7JA97ZS-nq^A6jqOgwB zkEZTNy%v>$XoV?v-E?W4G?4(<5yga&4>H6^DcCLHlX_~&P2@jkeYVxlhv?%2aqy{k z0_O@$0lU-wMl+nu%nYG~Y;0`mxyI!W&PhgYcB!O6SQO}x`W!#3Yz$68ArWz2K_N~- zK~8Qw0d;391#@?6FqZ-hA_x%@6c!W`g8aXdR9gTmIkg{wMUcASfJH*}s6SM+cYEg! zhCu&s-6A9c{g2meXsi@|mmo>l^Cw;pJ%1TCQl2Deviu0<8 zq;C~f{?oK@Dn}3&3m{^GC!k~RYYi3>d+b9Wj1&S3gM}WG+Ro1Ik4Yi0AXpnu;H8s| z^J4`0pGX0WlvISuiYN+-D~Lk{72$G1a0OXeQ7BwgL{T0hEF>nX@B;k*FEJtbzln*6 zi~eU~>=Q%I>RQxTr>$-NM6)$2)5v6=$eFx9F39o~RZ!0rkH_K$QTj(b24yxiS|FGM z#2^Sp*|2<2U>P6N>XBh%DW=Z#2zRLT;A}5*_LumZnMl8znIW_r>6vI$9UcfJLFsHs z?y(mR7$&gqDl=`o)eaZv1ife1WU+9GaPR=A`f1!gU3OgA)TY5L8rrH{BsYaxp`Su3tD=lKqLfJm#fsqK zhH8;P0^94s1Frlk{bXwg4I!ekCftU2Z;tUycHesp4L}TFEy>nQ#mJX>9lo#M40i$* zdOYPErDlz~P(KLu;mhw6lqBb6fH;AS=v6+u~l8YSQ1O zF_!E7Hr2Sln>8#!^B8}13S8;t@iKUfP1V15qf|wX!J^;VabueMM+6@xul^wRm8I;# zoG)4DRTJ_fL=ye;Lu(W6^JDVOZkddI6=~ZxswU8Hh65*LZ{Cb1Ev#otzk)rH9P|3TpE=?BW1uT80K@ftxpvs9&Bsd3174|( iAky#~#g%((y))!&>Ou$>1A(X*R8$0yogJ>Ji1%OI{duea diff --git a/Automaten, Sprachen und Komplexität - Übung.tex b/Automaten, Sprachen und Komplexität - Übung.tex index a4e567f..64b91ca 100644 --- a/Automaten, Sprachen und Komplexität - Übung.tex +++ b/Automaten, Sprachen und Komplexität - Übung.tex @@ -649,16 +649,61 @@ Geben Sie eine kontextfreie Grammatik an, die alle möglichen Werte von $