From 4a48f7368ce84b041ccec56776fec1b86d2ab5be Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Fri, 10 Oct 2025 15:50:13 +0200 Subject: [PATCH] [TI] Fix error --- .../02_proofs-of-nonexistance.tex | 2 +- semester3/ti/ti-summary.pdf | Bin 897863 -> 897868 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex b/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex index 40f5e90..bee516b 100644 --- a/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex +++ b/semester3/ti/parts/02_finite-automata/02_proofs-of-nonexistance.tex @@ -16,7 +16,7 @@ so heisst das für uns von jetzt an, dass $A$ nicht zwischen $x$ und $y$ untersc (q_0, x) \bigvdash{A}{*} (p, \lambda) \text{ und } (q_0, y) \bigvdash{A}{*} (p, \lambda) \end{align*} für ein $p \in Q$ (also $\hdelta_A (q_0, x) = \hdelta(q_0, y) = p(x, y \in \class [p])$). - Dann existiert für jedes $z \in \Sigma^*$ ein $r \in Q$, so dass $xz, yz \in \class[p]$, also gilt insbesondere + Dann existiert für jedes $z \in \Sigma^*$ ein $r \in Q$, so dass $xz, yz \in \class[r]$, also gilt insbesondere \begin{align*} xz \in L(A) \Longleftrightarrow yz \in L(A) \end{align*} diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index 176181c580a66039d3f6b5dc561df1964d2dfb0d..1ed238430172bfdf777059baae4de75d83a855de 100644 GIT binary patch delta 7908 zcmVY#oD47T)e{Y&~*KFI(+jDNFH_iD>2s!;~b+zu6^KE;3{?qHPClYEh zXw=sDdcJBmSWHa+Yq!0}0%tE?pZ$7Q7Qq?i^=zA-<_2)>QYV^E9$D^G47QrDpnIFqLAk^#&|V-f8M-17i`+J8ytYH zrk71e53ky{_~qtY@aeXB-)^?e%Hlkln{qN^29Tqczgj}=noqxk_NUEtv)asIq!x6) zbKjoZZ|`v0px+AuUd}f-H?;uRsv+3V=QAv`*|y6imfkj0;^hJgyE4DwhxLj+eA}(B zyZLh2tmxy9WmP^~e_XG-c6$RrcxCjVK@?h73TpklXdH42TDOW96|W|y7W}_Pna5^VQ0hnT6`K4pbPCv4fuDKud`O#Rog$tGOeij=sHc6OL1$?PO`3 zEGiG5F6hb4P)n6)N*AuBB>|W7zL$ocZn3p>ch07rorqg_f3kB6#lKqK!Cb(waK3?# z*RJ-WZLXSbMTKCr3P+0*dO@HT+Sp)YTPja<1P{*x@)vFb2eU%!E}5BLwhb;SKKcd5 z=di%|5-%{mCl}Z^Mo+7j=EDw%K--im}x`b7*OS*!G z%LVqNp(k4whZpvMh&Br~aNoc%SM4 zsf3CyD7Uh&Czq_>bf$wccMdog& zxK|>ouIV;g0$6(AbyVvTM`;`Obch}Ly3L9v7FXLL^K7?W1Jn1ty1s7aP_n^E#4^Lp zNw7_G;~L#;=iP0JT42{+H;%YEnn+;il|D9)^VRJZ(NM5vtIG>|4D1JA+b*WCS}2-I@;r63-WDAIP!v3=4g%0roE;PBNj-25r5Y~s4}<~qBaiNn4mwBoInlc0hORxRP4u+smuUv zzo`LEe|0tVM1k@q3__VG7yxFhkhNQaRApI6J&DSE218OhJ;_tYST&peH8tqE5TZJ1 zf6V41j#)i+%xMx4l^wSKcR?h8yApqIfS(|LMRK{c!UBM_+3K>;T%RuLpyCc_YULV< zl)iHMOS8Rqz06k*1uL;~fsx*aU0uK|vPT-vIf91p;7S8N>qJjejg6Y4qDBZhz`p&-i2Dt=r z3GlfARC% z-{T?%dc68h5bqulJC~C)Ul(7ozN_VDJAU^?q1Mgh>?&GlX&0ae=8>9+4Ydo^m?$JjIuCN>KH6*2}&O?Wz_A`gaI_jVYITWzL0QB80Vqicj^guX!EF63Absc-~wfYI~ z-+j?N_He>%GC0r*pu%WIJt&&h0Mdm4&BA~ZSei;1oCzZ}aG@}>9x$9)4|Oxk8LwCm zWw4Q%LUk#05P{;E^}xZ*e|lh#ROrFu-DBb)(F}VKv=v(L_1y0mo|*B{+{SySP{0Cp zQI`CqtwW~J@h^j4W`Eso(gGRPWTtopoXR$xFrT_ozK~T5|FJ^LD5+y;A_aA9x4I^? z>2GK+wW=w+xO1JTP^kvh7REh3*aeV1*jbe_I|Tn5X?Y{`h$r+6f5Xn)EKFVC7c2kJ z>mbCAXAwX4J3-rxF!}qJ_NCS!A>Kvs?mD?$UgkE@$7oY(Qz!+RGaTy*p_InGC`(>Q zBgzPhqOb%3$}|$Vhl&~|N+LCL&_imiVu&m%!AoI@K0x6x1tL{hZWlp;Yt9peWxqtOgye4a(I3N|vSJdfc~p?g&otcKnze{`v!KDSJGqg)|XB4=eZ z`0txGd#-$zJ&lqF0*a8`44N#ol(}QM8XU`egDN)gV_7PC%AathKNkx*w83dTP1-oT zC1q^Q)5f2bM=c2^r#x-v(}r-QY9ca>)W9A&>Kn*doXw>aiB@z`1Dl#f1+Aq6#_Y`v zc$6y`N2?VOe=9S+n+L+^Ct6*5sXsk8=FVC;01uj72+5o(ej#6$*QAX3iD`c28V5JJHXA_XC8ILSXLDF_K1)Dq|)mlP~-;BdfJ=wSf)3~HHem&~DpHvOsAP*z*c zo#e92Oz$#W)_C5S;HTfEDF%8XgZ?IE$p<|`+4Icf4f%tW269IKXGG5_(WMGGp!weg zd$mF=e`)yFut&}B#o6)Xyd)lXf~@XxGnPjG{jkqH=`IdP_m_(|=?$7h;V192C}=-@ zZleI~&ceuxw&~E`51Yw32bC%+Eg!T+e`zk8j1vOB-lvDi*~1kW#emf+tH7uu3XHB4 zDKIK{m$MjlX$;Hip=@M&K@(!NC06I0GeFpYf1n(>M&I9`&!p^$5q(a%x#N!@k1pdD zp8j;@Gd(*f zj*{}hwgt2vmtuRmIxd2mKG_f+JAy-I5qCt2j!^?!2c6bt)y&ZjnuoNC!% ze?c_4qb6h*{B!I6tmJgrwF+>0_~G0LG{@!LyZ33C2oyfQy>ITk_`ojO z?$R+5Vk6SVB(dqG!)n)$BA_4<1$h7kIb?);@t9G()Zg0eO}n^iTnt!noQt05e*jKI zCu9^6hhT~w3;}Aa(m>ksK@n;;>Wmus{;r!xK_tQk3HrxZK2{AEuxqY&i+R^>gYZ2e z{K(C?+h8G}iK598o^c6Bm8#}PJ>z9z5S;N2N;o{T+6=sd@W5f?4xEF$s7-ByUW}3g zy+kAe~OsQ2~Py| zeXMPB+V*<_xJ(`0ls(Nywy{;BZiQqyu%NNzF|al)(bNDzU~xR zDrWzn@hVkkdYzn*f&|`IB$#&Xw*74+!dRIw)Zv`^kKf+T+)Cr zBB!oTj0&|_-&(=rW3Vr%ai??86ZP>=+lmIV7f0_I%x@MRd#4f6e?M1XzX#uwP6jZ7xTw55c z@_N`0EocdwyUr;}n~{7ks8p8oWg~xuj~f;tZg|2qtaf>#Y8*L0jEc_Y1LKP*3(cy5 z@#SYc1y4~KET`*5e*!mF7h-6N$@)}`dcrdmoa(BKEeF4RljVKJZ%ueuH8)GYbQF#W z%b6#%%mCmVi4!-ZGpiNSIx%4T@;F08GH0F(GiQshm?yt&H;+yYZqM2R?#RTv2cPpo zs}p0hZM`x<3ml|5dYkv9-@Y9#7Hpp-=@-o*sb1mO) z0w@t~LN3Q5{*AX34XTE+g8{vn{)Htl;LPeq@gNGnW(IFNE$9t-N>cp8x1`Dt zP#cQ=U($vmIM@8;-2SkbVro!RrFa0r+;~Asf|U*Iknnofa~pX37LLK|)y;a*%$(d6 z96B_^4fAc+f3DuPclP`R%FeoYUR)N>G6p|B#cK?3g#8aP>i&|RHG$?oTQ02}Ce20% zNSJ5JC+N@-=VwX8u)v2eC(|`9Co|=govr}d*|T<$)=l+4R{f2Mo2K0o)LjxhCpLpK zzVaXNLLT0{d+$!f0E{l>I0#)A!Y3#G1qNlD=s4Qme@AK+G(nByRjCViX%SizMq1TP zFy^o4ozJ9V?jn`K$a;HSPW7fwYX@!I=OvC6zkWlEli{t?<9C(p%`>bv@2+?L_F+qN zfz95!3o^Xm?C7FNFpk8Z8P_n-990k@I3z2fbLPjxSm~*p0;> zahKzWe;^r*0|ZGq2#aVF)sa;6fC;-hn01+UhXL2t{7*XBs(!-RPBAE1pb=#}+m6i1 zQGtX`jtYdW!ks$1C#}JcM=DSQywctQsaeK5AbC&($8~_o zTx2e&sU*r6jUv?Kh-qMdE^|1SS)6qS=StO6f0LxIqkZg+QCnio94{1*jULkf@#95h z@1_rT152o5!iHNMkBgE;WyX4#Hv%a)f`Yg4jtW^r9lON-gu-o{MPtx7dxkr;6Eclot ze`(l;wR$)+KFPe+Ce3SjRGA$)M-2Au9_7-yyY-wqb)oah1~gqe_M=W=Kk6`B)C0dZ zdq7iz5t*XYe9% zlB4IgYwQUFK|}WoLeLr`S+(afiHuiRe{8dhTr&i6=?^LrFgC>izWH0+0q|QehM{4z z1tBi)+wlJLyz{68&!w@R%b=9{Q4dl^1ee{=f#(ujz|+viN`bEKleNS;-_*!m>MwMH znz`rl0~U3&&Cofj(Jq5S1^cEx(LuJbdn5J?lA)qcv*0+RjxL~z$O^(RR+)?Ae`b&( zn`%as6tDV#R5R29UYPSwFO#snzBt}hun~a>u2>-RaxD7Fc z9ajkLcI&sh=r8w9 zar#E-aX@H4kF&jql5#PS&$gUCf7@*~^Xu%@V?1|(Zf6d0tpSS~*r!Tu4Ue%l@#0xp zgDCmnWU<0c=xG#0tY>3xKZy~V<@8&e1$1#N@!`$})TGbWpvw6m+7dX%#@m@e;oV&k z^lH7h##oAu;9p%f&8PHe{pgNCFrQ{cNqfWPL@k2E6^3qdHI!G*dMu83f9p;5KDfc~ zU>6HuL~ryKA-h7lL7on3vo)Q_#Ydl`#pYtbT1SIe9~D22p>cSDOycg5j|(7&HZ&d! zrGb;0d6EEfWvt1TO9sF7zanaw(cL5)Hmsf^Z1{qf&58#T;?LkIiW)J_OFMxBoska+ zA~r62P>#gfwEa(&Ij1Rne|eP+|1%-(<^gm#SWs5Vg7bj_cSHwP!_!TM_Zv~*E#(g( zUu;8Y`IO`>{ME<1*PMgf3mFz=mXTK5&+(j zzF4|wtK3w+&rT(Y&T@JU)i=JIoB7rusgoAaJ=>Q~*^&051Id!(L+Ogj zm zj4ypV56wCA@i90t=ZpjbfrfN#@2NgI<&0})*0=K%8D~JXu1f_{+GUf_=u)csv@RNs zdt6s0)C+(?K9m3*q?-xQK3z;`KR^Nof0kS`@stJ_?lWHVe~@#Mbk%$SdtV1{9+b}0@gnDK>TE9NXp zY2nmH%oIlk=20#gfZ!1{g6~`+@7`dHLE02PF-}BNl(mTK&O4V5oGj@!$<1SP(?r7` z=cX|a$W4PuK>{EDBc`SS(FfwcGQ-p~0Xj%c6QCghe~XcLH&VtBQ7}{1e2|$&0~?d> z?nw`XmDL*fdEWs{CG?KUPrxLA;@mU=ILJ=Z*ACfb`aXJ)$7PV6CZIh?P7{XLcM|4c ze+Ea%X#zTj($fGnR_cke(=gN_OL-(ajW4yIokkwZP7`&I%uW*q^RV1B>?v~7Fu@C< zs)M;{e;DZMAWaY7N|D0ke8-}W*;b9>;S@KQtw>k7@hJ+S#JTp?NaG73}umb4}0&?I-CgBwdr4Qt?5_zL3;$TC1gz;(e5fY;K@Xf~!K#_yj7O}v) zbnJ=A#-7;Qp2;ic3{C^6#UBq2fr*gAP~&C0e@!ET!$~2}GMICW_;gr$Gvs*KFu$o~ ztSZ=ERcaMS$QxneRZL!&hh8u{Ks_{jy-Qnx$|{>K!QZStaJ}@t=@v~$(@)#O;0+ah zLauf1Zno~lwTs7SGp6C86MP1|TuDB>&VkmfcF(%L9}FdOk-2WTnfP2gBe1eE8)uPR ze_38|lUUjO&?>x-XS47YQn6@gA2hZDqcT~uxg9b)sArAQ=RyKEHk0vR8fla0kGezj zzaXb*T}a74%pNJH|C701R%h-Qa$Wl{@`I!?2!+DPdKq(`+hlZKUGfv6`*H7qUmV;IEkXD6_FZ#c(O;NIe=;%2{mky&VX(B6i9`ZqGM7F@WzD=g)8$N| z{dUC9G8mL>`XdvWJ<53o1Kb3E%_f8UESs>-x>`z~sS>4v9`<|7enT zau^@+)-^39i>TdQ*Tf%Sarq{8*DnA6&I?hinxdX3PP)E1iuLNVQ1oKdzTWS)9R|vY ztxH_d|IH|LnK?I%5A442ewy*$L68zM`V%S!|Ab231@7`8z#+ishlGOV!=IuUM-Z!o z;eX$5*TbZd+=;=7#E=|&cBU#7egA~U!SopS{|5|wptzS|ybKeEZL$c5ZL$f6ZL$i7 zZL$luZL$o|^(iqmG&waiD=;!AFfb=63NKA>WJF z&e`YIq-m2jx2A29Ch0Xzvy-Mt+cZsT+VqlJ+cfDVF?xI*P_~3J-KjDP>TjvAq0C*WoVnkt3f4R86GOF0e<1rc$%U`tMNFngjLe(f53XY0-lzy0kwEVJa&+- z1NC^T@U*oCumP_ekKLym!A86)ygcP5uohr| zP_~1ucpLE2l-s~|yk@*I${k=QUJG6+_Trr(e}4;w#N`@sQl5Db7rU=R$O%O24)4)cp+s3FuK z7zKLdaWDza1HI)VU<4cm`t2w<4o-lR;1n1G<6r_zf+=tsoB?OSG&l!lz$`cqE`W>R z5|{&e=_BR}GkS%2wsr{2fGIEn*oJ3{SGyO?Rkf=$e@2JFDT}^*UmnTv3V--pH9wG- zXUYUPY;NfPd6kyBJ|xB8z$?nD&FvYHx0cB|$uUd4_=Y?so9y~JOI^Dsufa0k{UAkv zy#lOsZnVt9yat+BWg4i{9E4X`mBd!dtgP3(c1AfmuhzV8Qg-}hN`wn?J|&J#0F%seskhrtjS z21kGvAU>YZcw*s?S#)JwtB@g2hP;|bhWr@MJqpHwR*@nWo-}#wdD5aAHClymc^wI% z@zWN)^R5O6mnTrmsVT>R)Yah3Dy9mggY$e(u%pIVy>l_dnm32b)X(J04}4r5o`pTz-FM7 zG+Xp_RvT)uY;~{H7R#Q$Bh_lzrBSIi%YJcLs@-z#6REA1+x(-{Hp>k>E4AHniyuhs zf3V!^_oQ}O?)NFFU6yZbkm|7f;IhexUnSFYlXYdN$s=3{m-TPtnk}EQvFu=<5#KuR`~ZPsRLHrG$(b? zirr6!zV*Hr(Em-qKvlrtRKW0sfRQHxe?}JrPF@Wde<@(JkJCu}}^UMA9>qY}0NCA@U@$4q4%0y%n zAB{$%yV2c%%gJJwD47T)f3KU{uGzMmx98kUubcCk5OVs}`s%h@&A08%`A@IEo=B+4 zpix`n>-oCfU@?J-lk);+N}l!Kd5ieY@Ef3K!}Earg(KjADm3qsndxQQ;H2WCpJ03r z6O1qM1mk;hf_-E3v~GzWc0dH$?p$?04%buLEa_>}S9#YqUAt(y3)k+Pel1l!2Fu$; z5CfebZDWy1e~fs95K4_JTaKH8!_wO4Ie>7jW5(NcBuD1Ur4u}e$8LQIvtXxm4G)(~ z>`6mUwk!@WtN{@%7HZ(Wfnl!clc&oCeR69PK5SZ78auLl4A1@gffD`bG>uNUB_*n| zV1l2rqzW3f(55Jj0P5+Y7QzV_q&vtZ%PlKl?WoAytrYi4 zOw~2rW=jCe@4Jp_UE(Nh!=4YZLtnR96Jc?-9Wu{$+glL&zE{`R^&CnzNJK0%T$}{k zG}o@t&34}1q__oE?V@qa)e#{>wqE0)v6vWZw8+xzDZ zSQgr}pJ7QfTY5w}G+%mUaO+x*`{ZQ}a*j=Sp}4aeeomkUbU-6$78U!kWGXX2+iz-s z(_dW;JyBr134>533I>1~D`f4aAXQlwQct2XpTUrnP7`_R1gmD#zorIV7eZ7gjoEy} ze=)1ajycUDqO!yG|1O9Ha8=^(HOLc`ugET!R#^a$7F%5wn(Nb59aP)_Ppw@ekic&=)vwb%fX2%#L#UozhEOX*V^!}-mZrTN ztLjhvc4D-ds7g~vCU7(H>jd@*Ury|1f8osTCo0%bAejCui_*Qjr|;~GZ;(q+$DqI~ z)XD}MWCe;Q`WHXHT}_6aeb=`#^UciqcE0mn{cbSWLnMh014(9JnKKUjT0b5k-_9&* zh%oXS4~2##Y)=)}vhJa@9j%3qd+1>S4Qw-jeUHl+ z=<(`1LA-lJEG;KzzAnCEeOJp?)dQX(ym4Ep7J+3PO-+TBe?;9yB0q z0D}ImD_P1(1@j~o(oz;$F%eVOe?vy(^iwILxoaq{;v8uu9XV9BL%fZ(R0GL=2Bbm{gtN!Oi3eZTi3eY+CwTwvi|&bs z6R62xLo0v_BZ_)ZMAZP&g#pXLfDu@lN*Sbtks72>psWWBDeIw*vYhdX^-u;2nJF}v zLI)8jrmP1JDC>beQlSTre|L|GgG3beAZRPJ;On{HF+4-@5pCnOQz#IDx+qJ2($XPU z==hhxFSEaHHEDr@YBE#20!d|?PPk89DPPE%h5uNiXOzq_bdiENwp%aAZTcJfORZ@N zFK%BaDm1FWw1shxH+BJJH+I&f%nrf-MpoVkJ(3B%z_65?1=0n1f3fxty$wR*coxZH zzY?@v2$R2mXb&tqg%=w4L?tD*M_Ln>&`trF2Fe^*GAC|MZ|{`;oQ?kk^V zccT=6fFk5KgC+|tWo}!p2HW!9p^6RsSeA;O@;hAV_r*dEeQ;V&lRggbNf~?dwDEi8 zQA>i!DNp_a+nur`DHHb%!_67Zlo1(tg#xn%tW;rq$n{xLJC3HawC)=aXIczrGf{Cs zs2cQ;f~8lWk#czA?i{^;EO~Xv8R(XSTOkkNf(j(Kf2vPm163#ZAm>Rs!U|xX6^4Hh zD+p1;PX0+*K}e9GmO=lxtYBpWhYhyE2m|P6Fw1PaAvf4`Sq?Bc5dY6&1 z#>>WpJpC@sG0+n^^fxI_KG+e;?q?qF$REr!urtO#BYsY)E>*|@&;KsOt5sr2$G?U( zYJM-le~u@YCGofuY;~8TSQ`EJ!#?-4yEvfTUoPLI7ibcNpM1=sp!M{*%>uA13o|d; zrbB-}EG8EmRH~@7e9#j8rMYY}K?wMIpB^G-4>w>G15vB20i%u>FuGD?z^D*i&SKc5 zF)XWxijnCB5yVF znm*YO9y@|V{t&k}iuO+fCkJiQX4W;GaEN60WiFUDi=t`SEJ5_OqX}du{Bs-ktmO38 ze=*E@vu&<1UQS@YX@y7JwAzQ(22HEVZO;Jm{T-!&-M91Q)qJ@mC?<4u^!NgEcU*9A zer2=60BZAC@WELbV6!RAr#V%KK}`~3_7P|6ve`D>s$HXqblv%kBWLnL!M`^YAO-AJ zHbG;0*({eX{Q+>0kaIp?Jk`V@gfA1k=XRo zVYTZ=5m1nbf;@nN97@2wM9e5r>Tm7#x?Ns1F8M1&%tg<104JssGD?L*FeMF!f6O#i zX<%*npwu**ZbprKf7i{U>=9wJ1O4MGpQMHp*fopYa^AJupmk5kJ8~3v3oK+ZQ5sny zBrai(Qq}xuNW3fzf-_-33A<)in?YC*9yl!AK~#_zwW)2ki&0Ww*b8>syssYs=);qR z5wePa=)nUblo+J!tHNxknpdIme;(j5u>M5{^gS&jm`A5?+z%_D&<6nns(lbJ3}+Ms z9K(Iplb!wO&z``>OX?5u^*gy;i2}@Mkl!$@TGT;qYaJ~dSIC#KO!XW%=ngpe(}NEA zh_^B}6k8|iR>+nE*BMLh|7yb$O$`tP5y#}9sbA7&M^z^4(*T{RV)l0!uTpiUizGn` zQg~mHV%oLa_P3D=cS)9{#Df$hz^gb_w)1*)fr(C}EqMuI&Kwtjo!9sCEEB9V`CB$4 zDavRitQXzw#%cXcFhb&_e_(j+Gise;2f?9Gv5SH$-fu6Uu+7V~4W~1uowYN>LLm_g zditU5sLU#)YO4CgOz92f=tC>lZR45=*}e$22R4@UVZPg3(tt1(r>;*-2enw=SjFR$ zuP>-^XLHaK_3=;JiUzh9M-Ldxua_QsXA#i}1Idd@iKDrq+t!*-e^49Ekr7sDR#8cL zF#~B{C?SV-TgvA7G$b)cw#eu6`yFQJDX*ky0=D;*O{yqQTNrEdde{#wSP7fE&KXLZ zk$x|zR95n3Q+|a{7#1O6c)~Tzc6p*{97R5iiZI2{+_3 zYZcNwF%bLmxIjcUXI=_3=Y)p`H+9=?9_=*1UXE4# z8}A|-R1IYZ19~(43rk?YnYE4LK@@(@3?6e@(i_T@r22<%Ns}RY=dvt*SE`N=Jc-M(4iSFm~Xpw{kFZc z`!6tdZj0x|e`WD32*#97J?k{Po3H1Bfa%tl*={7pR!aP$x!H14HKT9Hp z1wMQ_nXYj*&-z7LN9up9`=b)qO}iziI~{mVVg@O`_8;&h9v-=S?{>rh zj85Y?2%QtcC#U`eW@DTfG1}foW)(C+jpG@q3wK%(e_9hpTGLH1=FjDw&!l4R1eL;+ zdV5YzvEZArCp;SWd4*%euiud1WO&^4_#q{GL;XjNKvl-_JE*Oj*xj+r@N=FBzW|`=K>u6+l$H`N*}HUmN3VJ&9gY3 z5G9MsjO{SV#q@JJd<{>IAvwoD0>uIXUve>Y-d_;R>AoesIsdbOPSok=#jxft-k}oC zL~k;a$){Couhqe%f4d`z-5EW=toTo|9^UTc%? ze>L2y%#Q3M2J3c@b7|h)e9oP@(0OA6ny#JrQKyI>byzIwK|q^5psB%#Oi^k+Xe#L) zRg66_%sGQCBp3b^yU!rUlj}^mljiX7Dqac0C`hdfd4egmrG{=O&~wu@c87tWVfY0h z=#7!A+6$RP&MPdo*+rol0=at+DpD}^e{KPM^T)RX;J4rmL&s(dN?hKz;r-`%=TQlf zOJgIK!6@~k9^4fXLUzLdp1auso`ybF%5Zg`tS8pRrbgjXf07f-%)O8wh^XsrhR@NA zc2_r4ux{!T17u6PHsZ)2IV$@56`W+$(aBR0c|jN^DRXh$4N_$9m=Pr+~yX-iYtV6tM%L6>aJbe zUE0CcQpDgI_Rv*zh!_rQPm65u9~q%!Zk4}q%*UpG^EzmY@p2y&r*CvG4k+#C@ii}^ zq)QkmW?N35?KYeFB75c-_g!Gyf0;v4YapTq{;5)1$75_wym*$jAWA;iS*&ppdL9K8 z>&2K`Phx~-IsF!?fFX_*KHOne%{sle22;*w&z2xDHr~$+2Jh~QpjWrc1?Ez81pn%? zX+EV#8%K8ng8BPZl(a`%PP8IOU1829S3`Z}yvO25wBBS7f*Z^WcDVpXfAmgo5w2B8 zH^|fJO17p`x%lWWXR((sV6CIstB*(%@LU*~7+N8o^{ekwh ztUomS7BuhAT-G?IUx0!ULt`!^9HkXnnTy`>de1llkh_*c=da~}Lb+=>%6y!yuQlXJ zd!$ny<4MpR1CAWr<6+!A9v7s`yiw56fLf>bDVJ?cK%bySl>qRLf9%E5Wn1M)`94cZ zQk~^=0o6CYo9p@3A?5O40T#u26K*?(i%5^c!?|;3!p48`dN90S&2AJfo4pIoD4b$g z!Pv>+6yfikgZf{PZeAV9q)W{%*p)iz0p0U`>69O7FFTMtIX;!HsEm1l4U$YmY>yrB zF#BI#9XY8KGoZa#f5vVK*UiRX0*3&fN0`p6!*HpT@(C}S5!&b5e%MtneLD}mZ06%* zaN=b%5*P#;(zQLH`sll6Tr;!2ou{~J22AU^RG_8ZH4+*_N>zWKi-zqU*OdwN0$^|v zN`MaTnF-MTo|w>nfCLQwESJp0Bn>cJXT0X&vK4#&A9Qg~e^(C}($zx;_saxme?3g- zAOZ~t`v*PVCn9&qxc+uLm(dnrvc{PCqU<^h+| z;B6p5j{gzwqyg0j>c29>J81%Ra3@WGhMQN6#6yuXe};&HnX=}CD`_-{G3m~p^gx(d ztwEmm9RMkzcQk$iCIJ**N)v#CYiau0;aZu#j~?W48C**f&>q}M6NcA!5@@hb!O^WW z0i8ql(f~JB>WQwUVQ52^^2oI`zSRD;H1gQBG*Ji1YiYt@9(E}Wdx}eGnBav_)xk?? z7})Bde@zdcN|D0kV#lJ6#a4~#;gm3!tw?9M@hM87#J(s9h#y|wuF=2l(tgvp)#0$j z;1scHjM}le7zCezELV~bk8_|mtKIXi?2ICq~*N`lId;{Vyme zS{G9C5A#RL>HlPom(`gwhFsS^jr<^M3{s&mvtGuM=O&rmSC{;R>^@%00|y6hG6x4) z&cABP!v_cVQ%f*By?xi5SM;YPl0r;!e^1%HGYpoOGMPw#Oyw*hNN=t@=^YS}lRKLRf*Cqxt;1Pj zl)tt2t-CnR{CY`m(b;?~;~rky42E{;-y_d^VhPqcwWAc663eCi^FC0@9qg~Cf9+*6 zU)nR6KJ^QsJ`;iZ_lIdj?Jj?C=wG^f0_vPbGudl{zzS|3JO(BYc63N}8vEChe2~NV zjJK|7>9UC0opnw8V^kKN|B_9HJ_aVS0!03mhg5}enq8vw1tAycy z-)wJ(w?%TN1}73za_rujs#Ns-6B-B8W8D8Ao2H*~myvD?6NhiI2#0U735Rd83Wsm9 z3%75w4AAu{FgP_hG&3tOGAA%FCn*XqO>bmGVRU66C`39kFfuhUFflMNI5jvlGq-4{ z4bBBpIXE&zHbXKuH$*}-GeI&%I6^iI6*f=HbF5pJ|H|fI5I>wLozovL_#z( zK{7=+LN-H0H#b8#K{rG;K`}KxT?#KuWo~D5Xdp2$GdPoB1So$Ul}l(IRTzfP_b2)P z`EN;@G-;FclKZXqG?O%K+N5bx)26pv+N4Qslhz_a6tN-*6+-S5nU642VG1oU3pt=hDtx z{pSJhN0nyI-jRPwnM<9PDsj%0uLM+pN>IIGu4IEoOG8;p`9Nh^DC{*qWP_~6K-J>!J>L01Fq0C*WoVn<#R6a~@=WZRK6Sx%y3IRS9o+GKDEP`^p61>%v z6`&HY6t9|c6{x~1!$YMtz!g4?rzu*r7LON}uu6IjSc`vGz|-<|pdPP?#}3jBU>#mL zp0>6gY{09)WB2Kepb@VIFHhM7n(=D!a+EEg6>kk*ma+}BNKNBVf#2_Mq-@fGZB8Mo}YR0_c`U zz%)1m^psD4ac~Ie+6iz390kX~ac}}mf+;W!X23~s3e18za2m{m1#kvD3C@CZU=iq{ z51K2?>k*dN+I}z(X23XL8=fg%?Y>~Hrc0$UItG7^TlDRF@<@(X_`_$_`cPh;DO2Ep zxzYFKRaxrQQ7JwHuPCoFw{u+HY9{MVp0Ly_Z^~1$$*ym()YWg~t+&k2ze*8cuK+8Z zjh1 z{ThGhWr3sMB%mK&sZ-4QEgJ08ya7h(z8?g1-|w+#wnd`^&J#0F%sesk2f!#80|$W? zAU>YZcw*rXTeLi>RmhMhLtf1zL;eK!Jp?9!R*@nWo-}#wdD^0Dby|gRdA$-s!^fWs)>2pT~XXa-72t3}^u zw4pZ3*7i%aTlUNysSeBDIwaL;*{`0K>av`>E!Azg=HH|?S#J0Rsm+#q?v~UR%e{Z` zwbWM2{WT@E&GH)?q_$grnHaQ9