From 24f247da4bebf69ac4d54ee82e7ff822a622480b Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Fri, 10 Oct 2025 16:38:46 +0200 Subject: [PATCH] [TI] Fix another error --- .../02_proofs-of-nonexistance.tex | 2 +- semester3/ti/ti-summary.pdf | Bin 897868 -> 897853 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 bee516b..faa1ec3 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 @@ -83,7 +83,7 @@ wir wählen $yx = 0^{n_0}$, also ist $y = 0^l$ und $x = 0^m$ für irgendwelche $ Nach Lemma 3.4 (ii) ist $m \neq 0$ ($|x| \geq 1$). Nun, da $w = 0^{n_0} 1^{n_0} \in L$, ist $\{ yx^kz \divides k \in \N \} = \{ 0^{n_0 - m + km} 1^{n_0} \divides k \in \N \} \subseteq L$, was aber ein Widerspruch ist, -da $yx^0z = yz = 0^{n_0 - m} 1^{n_0} \notin L$ ($0^{n_0}1^{n_0}$ ist sogard das einzige Wort aus der Menge, das in $L$ liegt) +da $yx^0z = yz = 0^{n_0 - m} 1^{n_0} \notin L$ ($0^{n_0}1^{n_0}$ ist sogar das einzige Wort aus der Menge, das in $L$ liegt) \inlineintuition Woher kommt $0^{n_0 - m + km}$? Das Ganze wird mit Klammern bedeutend offensichtlicher: $0^{(n_0 - m) + (km)}$. diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index 1ed238430172bfdf777059baae4de75d83a855de..80048128d6f614789158383549d02b96708f3e03 100644 GIT binary patch delta 6486 zcmai%WmFUjw1pYEkscZW$pMCLq>*N*5kW#ar7jIKbb~a~Al*IELpRbPDJ3Z&-S6JF z-v77G`t~_L_V2y+8Q&A`+!Ka}0zy$k(L&KfF+wpzv6`^M8j@Y{xnPpZNi;)=rx)Z; zkvPP~HSIrXqMON5EMq=Y+f5f>CkLWLv6iUN3c`tPhKL@HCab=+S3trn-l;CsFtcbf zw@+4ea5Wy;L+0lZP*bV)`$rnXk)<5_5J4`U6tsUMc}fN^EJn{lRB!r$6ubX1cI8bK+mfi zE=LH|BO{!|KJ#$?@bGTq(4O$LtJ1!gMz<5e4V}_S{NUA<++qnAi+?w2P)yqQ$TG6*Xzh%a!N8l6?Ue>%+az+R#hSO>kuM%9V#sdrB8hf zn<7mBpT1?Dw+GFos7{Y4IOzT))akz4!h0Y0+o~S4wz9I6qM11xl_i@vB0iPH*jAFk zQTyR#`!|#e<|X$GAA5iyq=nKv35OazV+8w+rRao(n%gt4SA0L*y)5X@jFavQ7EZ~xIN%2{tEWHcBK`qg3N+BU(B(L8 ztPEXsd~AoFwtKGMTVG7N?+-qKb-)w|9D`g^h# zTcwkKB5JuXm_lemb#Gc|lx6bK1o;TIIpYmn2R=1eMBx4fCO z%sDyr9A2dn2>izO*79L$gegY3|Lnv!&|Ap~;i=5F=?!S}Lv;S5-0bHgHPHAE+v*7@ z(V)%*7QG79u#@*l)(#g;{>QJeVY}zT@o89U+@}5G^Qx7usMm3e6D2}Tg2O8O9ftdY z0y6w0<;7ux@!NI&S5pPV%EMQiv9&=d?zY|MpBhUw1_D^<;jTo4LT6Kd9ycU_MGlBA zBC~@`rh)AQwyZ1Xw?@n#t}%R-)Ncb0B3&|2VW`_OW{lsdyZ6N#VenUCn#zbkha5AM(@|{MVcsovU6biuIo+uc5zTc1084qSCCQg!>ti%tD=r#Sp zbc0xm)cmvJJT3mWzCu&~GC#o>#FBY=RUC%*lAc*NcsMX$Vxp6<@`Z7fRvhNTK zb3CFHXkWWCC^e9(T9@i5vkI84e&{h$4)AEmuBJR8G||0zD0S##%c{=vp6(3&$8hJ0 zCOXlk_;uu)NjC`$?8rFpc7&|@4^K@L?@K23$cS23Wr>J`Wrxk6PVxtnC9mhtW*or2 zdNSl77V7Dr&o?W76gBR0zrX2W4MnbffrXbQDTuaJ12agBb0xoLS+(=H6k^kY)4+w8 z6R03$BQBaCcjReoo3`eodo6axN8{Nti)kP0=DXwii{y5J^>us{ z^A|5*#W#4+MsF*17kE5N^QjU&Kqw76G$;)&zt)EU_tI*M6E z6F{G}6!_xuEogZU;OWekAzQzwQ`BIEFeL0s%Z~~~S8^*<4ms`DvwJv{xt19cF^f80 z{nA-CM$gj3eO5n{tPjn%241_ts)xsktA{f?42slWef0a8YLzt8&wexC*sJ}5##}M-asAS{3f}+L5P)L>&OTsE`jW6} zAZzwoN%+qqW0RZ22nm+%&~-i%J&5X?6iA>Ce!)p9PhUMSBTgTx<`Q8COBQ9T90%)~ z%Sa2``l>NqMQ}Vh<3$HNcX{n-52A-u>=bgFV_ogM&2QB)52L&VvEG81VJC@3iTWC5 zZ&Erj+CxFU7+L;lHqgQNDzfj!JM9M@0IjUdcRgBecln~0+O(6-Xo$8nP9dMbvo1cz zJc1T7(5eawyr5_4pLHHsD5atjyk&Q-0(6}S>dC2!`09p6*1!L;zzJCc620=3a~0{= zxbLeL$~3pQFmyG=I55RSpe0*@FtZ1GRGuc5T$v>z3hConEfwvbx`sdCbVj0ebWPGb z76NrzwW6j+FgL7~-~;VLHpl+N@53vP6-Rqbu~dmWTU)UGq%Oubbmymc3C5oL zlGHJz7V6|ezL3RMF)X?Q(tVrdmd`=T3I>%fxR%`Xv=_c8h9M`_x;H!N1#rd`H+4aB zlGGyA>UDlyh+wCztgU$KWk8;yRX zULX@*=4&Xc6LMVZa>eF3N*{n31a`YlS`cxfCe?P&dIW6mYd4g34TJM+p5;~lLA#83 zrwHatSLcpq-RoZV{Aw#V4Q#yVQ*SY_@v%$YjV z_}^~6)S&~bA{4!Xr9dDXprm7^X>YAJo9)Y8Bs91}7|C_HpK4}nfpea4^&ki?(%`tcH~eaETLta(m_KtKwqK^trM z%!`21EUYa@x+NH$zALBt)ad56Yh`kc6tiM8NHZ5?BfQXPk8r>`$L#OuTx)+ovF++H z^J!lnD7duxy>@wWO0rr)sX;vn?s3{#D$W{zO$R&88)s7%#~uF>eWaQQTM{U3urD<9 ze?w7RJ`9)ah}js3f{3PUpw(A~2fR(+x8JW=B8$$nhb~A3hKw9+_wNoEYC& ze3)OZk`z<$I~&xA#9c1L#Op3$r64ilhZsJl$N1wM0O+w^ z!b9rLO&Za=rpt=0w;o%SNN9mp{?eD+8ChFUP)R{WNI$RN&F3z%$=o@T__E zxZ1%+R0)RE2dc>o(g1yq-UlpjekW4L>36jG{OEc3*RjuBTwFs&oO zVJC5o(li{$qz631@MX7t6iQ()>FGEv;L&IRH1nxXh1?6hUu2f)^B)5O4TRK#V(8P% z&)$)X`)=O0H{kXl&CKl(j0!~#0F^WgN|@JO%@wf7&HmYx|!b; zo?LNc4yXU}NkoR5AHEVcMXVqQkU#Ml?HMozNHw9e5?oe zE-}#b;k`fos`Sd%V7VjB-FpwMm;xg?oGQN3o_?|*@QWRA*Es5m!=_tL9Bz(Z#1!n2 zkLzg58SIiD{!Xd6`Op##CaF$yNs@8+aD^iJ-WthUK{JTS?t9FLv|UpO_)5I_Nf>GR zbW1#3i;Sm)o3~iu<2xL(A<2mx&XQhxT>T66nbaep1`$i2*f4t7Xlo*$92&cvJ<&`* zywipg6P-6zRvlR2gx$+5jH1(zSvG*qjH;epCQvBnB4a1mg93}@qk-dCqk%!3nLV`< zAEF`@*a;bFO3qhs9|)e5&rnCl%&F^4&BUmS1RnBbCQt{XQH81dn9ah~0M@!GeFT|E z!@coAka6Xdts}*ZeB&1frW`|dqVe8vDDl$Iun$UhF>+fze{3kn>jce8zp`U$pskEmWY@Dm#!5R1(nERE03CJ{FJQ_~EK%t*>CT+MQ+ zu!jS|u-!Im5X16S97~CkDz8DHW4q(9d|j7`1z91nx-zut8!+0BC>3%ii zHT;r9o>lm%a!_!1e4c(Yazt>C>{H0LSuus3Ow-=-+{3wk!Psa&w{jAdTH$1w@)_N? zd&=Nft`yeWW)%D8CNbzDt?G^8;0X&ye~4r;Y>~2`B;;$4pl| zJ(rnl80GFo0>Hv5xv0{9Cr12ww{gmQ%>5rbo&k4#+u?ew?8^Jd-xVslrIJw?9}<|xt=&9i0$khO za4^HV{rr;@gRIZPpa%VPWZ45ooJG+;OMTKr)3Ovbi}?z}G=8CVbE^CrD~eHyi;gk< zt(9&5T=^ug)}GN6R`dAo&@rC4BsQd+5ti~6D=!>B#dz{3cmAr$hvVqWytO0Cwi_W; z$fUAf^bS`#PlcEUmtrdF2dxC!O$t2;&L@VgRY^!d;1 zMM*J7i|)MY?_TmgxxbcK;Pe!1WNEs~|8!wnNW?Boxk;rWnqo1qH{u4n7}&eqCWmD; zx<^mkv2h7^gUZ{q?RmnP4!Z&`lcL@2xF)|+wj|iR_ux7#*rLsIic0ZwncZsSmLH1v zWRBA{u8ZCkH5y4ki)R4K=3yR;&wmx^cRxseU>i)y_&aULe25wIZO25qZ)7I9CdtO5 z_G+m{a8Cp+`KRYttp%N3+&5q57n)$PnalmEwB&@;LL$o=>Um;kg*)stu_ZwN`*0vUO*%vUDlPt-> zp7~q$qy=jVz5{_6Bu5u4;m*PdantRz(CD!J=HCzQEBDRGIv_wylys7)84MjB2V0rs zJeu`d*B`$%-)ws!JIp7SSo3TD?Bq*(DSwhv`$(dAYEE+1OyrQBvuLv^yW!mIRub~# zY0wy5;C^3$Z#Rolx63K)dKK1Qxz2em?j&@Pr|W7Mh<(tJkkm{r8g6)5{!5lz~=m9rHqr^RIjQp$;B>IvOag z-QS{8>Tz1JkiVG_9jE$dDgzxegP-41BRewo6sUa`RBwA!kDJ=#emBg1=iJHZr7=yn zig53TL@T()rPqG*-}(kCV9&fFeK(du^;WqnG(dKX*IBg;mXPQZhb0ZpnU%d zYanm5cqMpGYz+6Bca_!E&DQH2JNhHFg&Nxcz*)Ssi>%qO8GAIh0oA!yOIKt+XwJ-C zNCjLWlH*#)zK_wZnu&M6W6AfOS9PROflum9bP$!0eiX>_C*~gPkNX<=g=sZBLJTQh z8ea8EdMQ=}a@})_$TPMNNXhdfP6TJ`chG=8F1+)QmOPE4)`mVOn+Cv5Ldt9I6wmL} zcnSBEK^70CHfd^1HBW3L@&44ZDg8v;F$~3Ewo_U_(GOA?w(fE;@6Y$tLmHh6-n4di0NMmy)C3ud}mdxw^y90=|wS2Q$EB;bb9)AgA&|gP$0tl zo-8LTWvG!|v_>p&CS#{ZfG=q-q^gJBISHt;9Af;$U*86-l}e4(`ABI0N`Wq^eey}i z`Fy(zpJ)Qh0_CkU!ON3pcT~k8p!X3=k+UF_fb}8a;S)DS*URcO>-=`}3n_$SGXmGj z+0xy^&B{DoO^yI3B7YG3U;f*;|AL3eAH>i9#V#x$Dj>iG=4S(g**I`{H9lJ^n0r_; zvMY%5gZYK{!2izwS`fBn1d|x@va<5B{7QnNassmaA|i5%N}@_~3JQDzLi~zy@_eF- z(u|V-pC#R=hCl>Hm+JH`SD$w9#|tFyci{S5=l-0S$cAZ&ALMh+tl00l)vT;6%~Ij! zdZzbW@6lytEoA>~3XoR{b^G#u??WOPQQxA+h?-K6>*3uS5C<%mG9Ai$1}>&EEWU{U z7Q1OZeYwis&K|2}%O2o(71SgK-6NTNlhc~{18vodb0WJF#+?dI7iH7m$>#b<#E!OW zHrv)(C>}=<(UA0)GWAVC6`|ERUFwMTLU_XtRcg7ma0LHyH9zj*=kmIOxlFx5V-I~! z8dk(vlfe|`syJFJN*?wpq%40tM5lwPVWpSBkGnRFMkj<^<`D0L2{`%FbrW4bWa z+rJLAk_7>Wadyz=rqyB!dHYCuep$t}KUY0(YIe#eti?}QV?%_{d6Rn^j`~i)p;74t zj_4ZRMrSiA6ZsgmxV(jq7*5{v-W;QzQ$f&(^rBT9@$<|xRrYoyPlt8Kr_nVtqILQX zrqRxP8s0%Q?Q6J6hq>gpSXqX3S;?yghT}d7wPzlfHX;1UJH}f}n=tsbsxMis4n0cW zCL<6Kfn*1Yq~}fv5MIQ5E90AE7sb3B-rmH2kLo)%gk%v#yqf1CXjWr8XKK;Yt|#R+=l+K z&%?S6BQ+cLQI$8lPK|SYdBxauPaXQ+rH|!s-d3wJQgDh> zr@uFuwN@&xe&4s*;I*+yUg*@VPt3Xx6fJZtnXC3kIR+WSb4cJop%#w=J9 zy}YNLoy>=2l3lmolzB=!=vFrYY80JJw1Emr&~zBt33 zy#`<;%e{mt8oPC3hE;||Aj4tTuzv(=F0fXEdcJFZ?|V?AS6RHlkYwL@Nr|U(lIDsi z76;9q#m#As#Tus^HjVEhirPT1i~CZYcF={bu|2{Hk*<1Df4m=1-kJ8XJn^vQIL@G) zek`zsb>3k)uPZ&8`(aV4Tzaheg?avS>nybB+VIakcR66JT8g82!;MHfjk;--A)zQ7 zbn{!j94+nP)TrEiY*9;%uE~GHe}4rz0WaW1Q|gV&VW1-d=HX^!?Bl)0Gq+$_F|#+(ix%o|Lv;LH~)Y7tsmN)F0IUlYI*Nmd6OMzK}mYH*a^> tU(^4Wi*Non7@ht*KYy~vb@woL^YC`Fvc?q^6BZN_#(ncfQA-K;e*n6`WlI16 delta 6448 zcmV-08PDdu<~GdcHh_cygaU*Egam{Iga(8Mv&GV}-zhkDTNTrx6p1&zXMO3K@T?tZYSv+49FJ{kgo6WY_x4YNZ z%*<|^>pACQ_Q&qce`dR`_wBpuzdrw=5YUstpti>kb=U5&8K3>@-Tna^Tz&ie>Tg%r zqAchz4JFi6#q0Iei@%n|0^a>ll!RBN_+VSEp`{|F;_$pGe!hBkRr;lmN0KEm@E1n< zTLF!}FKo*zJD7yg5R7k#LGYLFmv8>%bxjF0+7(xn2&y>@e@2+3F!_1_QFvfnN|=6t zF;ba|7K|vP1TQG|Gi>PJ16~(bLJ-4+jDRqbP(+j^l~Gqsl&YBQ2Oj`o1vpp$hM86o zEG%ajJZ!69f(PJ8VW}Pj1NGYp+w_0O@X!@Txh<~V6j#qIYDYK)NH`-79Scdg(0D%B zp!EO8&#%|+e}w!2kN<|j=8}_=s$#CCB2;o5($cZk5gq$Rp^c@=Z<==ZzHL^2u=F@J z5723tYBUH;^laGF-0o`LZ|hm%|LcmRnJ3VBM4^XlR~Z6Fm@fC1cI#N^S7bZjIy&2a zu#erM>D;RiZL?^6vqkGU^XK>5I-zwf zt|?MH{&>3ScKfE52xh|qcVHXi5#lehO z`kH;1pe<-V=d_x=ESb!2f|c1#C`|+im{WTYM5rp>194mU^V-po(416~!8jEDdKP)O z!$x%W(6r0Okq>p7wogc`?#W9O?UX+Ny4F#xJrxIv=m+L1fo0F4AKKFo4$%**!?2BC ze@uP1^Q}&;dRV=Ccv;Hww(a`C8%KR~wyL{jvxC>v{r=_J@Y!bTCtkL%U|kk@{f1)X zS!oDjiL=~J0Rmzp-tJux)Ah~?0FPb-1@Z7L?r7&QUB3Yy*jushg?;P)29|;`97_Rg zd?4`d;cmZeUzU{biCYqELI~Uqsdy?$e}tpkf`KW)<;jD)T{YbVCyKxUV+kWl&@8|L zJgYE3(}MWUs0-!9Klh4&*~L|rI>recJMlp>WayUl9wwFFJ{BQTN^JsNx`rlz*94rC8>d<&My&JEcM zyX-+i+X+5adbVySs2PU6Tq`nje?%*?Dz6nO6GWGucI7llX=0RhWJ04=edm#gQWOcR zc0ZjYg@?a8{5UcRcqnKo0o&C_h(;LdKVd{QyU&~6l@*ZqCo3Sq3x+fOOcL_OZ50F- zVr1if4MHoolPqyCb!-m`Oc0nc+QTX{3^=bcG33!&oLa}Da0%`(trF*Cf1Md-E)2-W z3QccGr2aUi-)=#%FFy2+9LktrP))gLE7(Cf`zL6wR9N8!K8p!H%gA55aVxT_39N)^ zZ^14hi(bKIU*y@9u_G%5E*JT3I&Z+!sw7hIlUzP14jB}Ov)jO}E~QFMo}avLd_5PX z3APkIS_yy;XfU>|vkUR}e-tC&yZmlN$!02x{jaX=%W{}0H^77#y`N}nha6<+=(zAD z#oZ7$=}&iPG~?5vp4?Yn`U_SKJ2+%428vOb-;o`cVA2o{QX!s@O`wP6-RRlPm|nyI zUf*O7HcXUjD`v`Rw&GmQtoC%yvz*mFT()&TowE-Qqo|q#`UnF& zO-MX^g*+&GgCbQ!e~NIK97dUCLexSTCOoi`M9&0c6i_b;j`g&d%Gx!Wl)U<_xFTLE z~>qxX=o1Q@J`MOTA8EG%ajJZ!69!f$vrX#e?yH-oA)z%TUZ z&0uI_iSm!#e>G>b{aw3nH{GSzgVAh<*Mnher)~!$Vm-Vaq$S8xIOSx`jsb722Gk4` zH|V>~dL075noU|xl>V==oc`JE^obQD@bG=zJv8p|Lu&;XJYl>F9_Z}ps)oo}-ngE3c#pVn&pUfP4iAA-LT?xK&0h-R`?nJ=TeiKL z2++qjf9vN3KTvyeu5-bUk#*10;73Fd=}e$GvV7&XIfU89C@?3&5s7(H5pAlRzbZ!l zD$Cv0Uw}1@#L8KINA~If7XHK?x}JT#SXkliDH8-L$E$;wGFy-hOjWaQfoAUCTfwmD zJf*oeBN>aJMU5eSrVNnl?zUdNa^QzMyt7`Qf1zXF)xLF$;dg|*^^noM9fGVcgKe7J zD#Cp`w%l!Cifx!5w~ElOyNCLA6&AI1z&|x^tY&Y~&~%nZy&gilCp=%!hHFg{l6>tl(fF z+4WF~7YC{^V3cY7==FqQ=EFF>>1I~|f3~u;t%<@bHV|uvJ_F7IRLv+?=r7<;Wq>WD zv&!+e25*l_f%;zv3L0G-qNR3H(st|tXptL5s4(CQ^iWLvt0+-SgL&UWUAANeYGat7 z2lZ>Pu1A1|`BpJ7tZJA77dWcUdjF|kO5~4)F(Q8~j4<}c#_$QO_e>)QG%IX+%Q-yrky49-Ny7}sRaKAY zP(R2#jB>8T`kb?0DjmQu22v40e>zYFHZ&DMI8Z|*quN?^vH~8a6?zFw_5FGP94s^7 z7nK!b0~9@W5MZ>dqQ1-sa4{?3uYUXp?LnFtu=h;CfZ(MvhzTRK4MBLs20)6~e*m?ZU_^k4 z6Lm&Z2o5NXCKy05W&<$6YygHuMKkzyM=SA=2*m+p!!&+dVZWjO2tI-G=`ao0FR&a9 z(wTi!pk@hUMFAU);Sn&yr2w-jO63Mk;4E`yV-~JeXf!qp>7iN3HIdFNlm}*E#fu1R z?LsZ1>_s8*ye9gJr0>=Re_y1}kA#)ny6lfh3}m86quq_7NDlGy9`mC(QYxCPFrN?7 zJTQ{B3by#u_x4AnLA`v4;M--M+n!D`;pZ7ufEl9{82$!CmXJ=(3x??wDgvS^Mb^`l z@c{}r1REQaU14Apt*}O70D(h6!LqTsxrb`Zso`LJt`aB+Inb*~a=zrlWz0SyN@bUYsIFRTZU z`^{KK3I_IvGlYaWM@v%FlE~MG%q=uK*=N=703BU zJx8n)_A(zf^X#;wf5T*-$_Da{G>?#V{q#x_iXjHfye=8bM|OQ9i5Zg8iBie=N|$yc7v;atUV@VVcL- z_-gW$-dqq%6so^;KR8lz>`1|-2G0M-AL%G-xYYE_f}H!42sk(}oo9uqyc0NJm%1lG z;|O(j?jCk@NwZUQb3b|3k2*U{>IHB6w`E6APi7R*xBT-2gPksb$^~cgU}t)^BXX7@hfaw5J@#l*R~1jos9 zRcOeuN1Utrgy*Uc(!{V%>n6hNAy&|wEzuBl-o;--6Z{I_d1*JeW_AZBNbI7`2wbkN>9^*QKf*^(^{1Ktf9cu zQazt*dCbA`HdbVZr2$`S@688;Z{%W48F(d}2?J$P{eR8*|DBq1AwbqDb~LjjwE3u- z^Jt=vf2cVZ;2B9clw&pL$#Q@9HRtrx)ts|)YR>s*t2sB5d9)W)oQt8Bx-TQWr0`tY z!gJ<@?UNd7Z!wKM6rS5s0i+rC;HJgrdZ;m&s4ubA7ZX|HNj18GW5FVj)78X2`QFz# zeCKL)G{FmybF1XA;}L`ZXvN3LEcwhnZ4wMVf8?kT^JjdrmYOb90$FWM%cz-6ti(~_ zpiy(<BxL;HK_VZicHN|GM^?==|m!&bR#l(EthzkoClJvi~na$A3IymP^+P8U(gRAjLB(2RXV$x?8fm8hO0rSV2cJF`N1ZUUAOV+l# ztylYI?|{B4oC)WLT9~V6W|%gwPJTCGvt0FGGH~603FXj=o$kHeH#R*E`l0sDe~Us) zdJnUxuYKrTc3z)>2YuW1+L;bM4;*t5f6OQk{1GYNworTF-BoXuc%8Pc{a007mLEb| z@1taG1&(1BeX0bMg5_?~k`9*w*1fxyaFY9`8^RsE_Vr2h=oQ&=+FQ`SHZd&y=tCH3 z+w8p!^-bfyu(fU4S1t`QSYn%Q(qa2?A``WgEL%7^7Rt;DWj>7syo2D0P!9Q>f6TZW zr?|Y*=XY{#KcL~BY|T0R^~KjfL_WR`FpTfJMjkWztZ`X0x;o+>^zzDOredaAia$+Pa0{B}tWbQ0o5abX-Nhp)c4>?)ofHSSZJqj3 z)MnKpD0|8ZxV=10-Jl0jgU!_>!KmJJ#)+b!7yO#iT#997F}N>E$+JW;e?29Nff+Sb zi7a;72IlT_-4*j6uYiXIz*?tYz%k>QLp*(o&P~eWSxh*tIeyZZSDb1R5D6+IjBJpWk~Ki_k+2U-}q&CXg(MN_;G9a_jmhETw2d(%zsy;5K7o!vj4^} z)?(rNFCA@CJzo2N1p~Id;r^4+0~Cjo#t4U##tDa$#tMg%#tXNT#tfd}1vNA|H8htt zs0|(kH8eRjG`Cr(4bBBaI5apiGB!mrF-9^oH#tN(L^wk*Lo!4(Hbgi?G&wRsJ|H|e zG&nLcHbpWqMlv%uIYc=`I72W)GDI{sL^wn=IWj?)YOW18e&e`YI zq-m2jx2A29Ch0Xzvy-Mt+cZsT+VqlJ+cfDVF?xI*P_~3J-KjDP>TjvAq0C*WoVnkt3f4R86GOF0e<1rc$%U`tMNFngjLe(f53XY0-lzy0kwEVJa&+-1NC^T z@U*oCumP_ekKLym!A86)ygcP5uohr|P_~1u zcpLE2l-s~|yk@*I${k=QUJG6+ z_Trr(e}4;w#N`@sQl5Db7rU=R$O%O24)4)cp+s3FuK7zKLd zaWDza1HI)VU<4cm`t2w<4o-lR;1n1G<6r_zf+=tsoB?OSG&l!lz$`cqE`W>R5|{&e z=_BR}GkS%2wsr{2fGIEn*oJ3{SGyO?Rkf=$e@2JFDT}^*UmnTv3V--pH9wG-XUYUP zY;NfPd6kyBJ|xB8z$?nD&FvYHx0cB|$uUd4_=Y?so9y~JOI^Dsufa0k{UAkvy#lOs zZnVt9yat+BWg4i{9E4X`mBd!dtgP3(c1AfmuhzV8Qg-}hN`wn?J|&J#0F%seskhrtjS21kGv zAU>YZcw*s?S#)JwtB@g2hP;|bhWr@MJqpHwR*@nWo-}#wdD5aAHClymc^wI%@zWN) z^R5O6mnTrmsVT>R)Yah3Dy9mggY$e(u%pIVy>l_dnm32b)X(J04}4r5o`pTz-FM7G+Xp_ zRvT)uY;~{H7R#Q$Bh_lzrBSIi%YJcLs@-z#6REA1+x(-{Hp>k>E4AHniyuhsf3V!^ z_oQ}O?)NFFU6yZbkm|7f;IhexUnSFYlXYdN$s=3{m-TPtnk}EQvFu=<5#KuR`~ZPsRLHrG$(b?irr6! zzV*Hr(Em-qKvlrtRKW0sfRQHxe?}JrPF@Wde<@(