From 99b9b59fc2b608229490e9612d3609fe088269c8 Mon Sep 17 00:00:00 2001 From: wieerwill Date: Tue, 8 Feb 2022 12:30:19 +0100 Subject: [PATCH] Chomsky Normalform --- ...en, Sprachen und Komplexität - MindMap.pdf | Bin 173655 -> 174280 bytes ...en, Sprachen und Komplexität - MindMap.tex | 9 +++++++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/Automaten, Sprachen und Komplexität - MindMap.pdf b/Automaten, Sprachen und Komplexität - MindMap.pdf index 63865c65edb8480b14b027a0f663fdc07beaa54f..949c4224fa47b6a7f903dca013394e80be8b8b12 100644 GIT binary patch delta 26798 zcmV(uK66?xcK@!wqV39uo~j{D+@Q8xsTp0nvEIxBbOW?8MO?XKGXdd7d~^tRlbB~0^axtc91zlu#S_Ph16 z*x4Vi&i>>2-wr+t-{jsm2~TtQW6peO0wYH@1AS#6)X{`H*H07eFop!zduW; znwATE@4M$P`nEljsbF>cSGIxQAAXwXy21C@k)FQIL>B1_hRgEi<8RIqBB#G|?fhmW zWmcdyy+utzn0u&vcZrnzF;&N_oxCnV*$ux(@G<0+T<#B1a_ ze47z@Ms)r2+2JZsl4eZSGlS`q&K3mQ2K$wzTEX8e<(cf=w_tF=#=VJb1at{saSh69 zRRSR~RudZR@2#tORj%f)_~DG|=^CarUD=j{RIvZEVrysdtXj>BcR-7JS{94}EA0v4# zt6hw!h)g*Zon08Ni4Jgt9H z@kNvuVJ@CZkc5W0c*tD-w^d4EySzp;vi>=YDnFXYXGU_uhFGLx}$n>I> zga}el18mO7bcuxu3I?+LYUc(t&sWvXO}elsWxc9}4UATz&d!CPX1Ek&QigvUDN~(0 zBD_A!`EJ zo)0TZvrX_v3;NX&oHz!-iT_pvcYYj%`&^h1hj0Xe@eqVVhUddn#5_>dVz>^4=Tb(b zanKJGRWsagBGx9NH&1`2M>P%blH#MoB}a@`jE$G2oP-lkB<0ha*eYrepN(*S>7@9N zXNh37NdGA&VhGrf&1~k!m_bR-WP@Bmg|jrvEYp!*@G3gs)y!amcm`qtHd>H;;{A>>9)_M426O$}J|7)0>>p*)wVXpfY)T9g=e0<`EvvT~BY;;q=OKNAn3c-+~2>IvvP?=03}u~L7PprbA1{KhK0g4GNyk+StX7u1L3nPw>y+-T#@Ml z2ZP0Iy0r#3cHE2t85o=WSXoOJd)?XSL9wu}m78t3d)V1__tj=*OQ`=ZpwW8n4Ivkf z$A2ol{_4fRSiz! z(VyVIy4S>Yo3#C!z?43WOA(YQ!qMfQ%~ICt)}enL_j6S^f-!3hd;>p#h|m3if!ie@ zY1oasZKtW%kFx!+>82q=XyRU|?d??`5uzW-k?{}ZVo`3K@2P&HOMqEgGv3d@oHWlZ zL1E#desfu)i^ak|u^5j4Fx7yr-F8%-)*rlYe!k;#>5cjtG*$r4({C9SC@t9gO~`A>&`A-g2euMzrCHUad`K} zftOr4|CbXx2twT3=l11dZ%30bl*yrdGm?@qG2K?}W{W2HB&LqE7FGGKn%gQsa~AT* z=~emneYtwD^&Vx3>6^0hF=5k@@dmnx6K;Pw+Q4fKPPS&sNqeZOnPjtV1id!VLMP`jXiGc8hKiXHUQn=Gu(h$> zdFcj)PppRn+wM0F=V>bojefu%xOL@+-6FM37l5A2#qx0R=LT4H@B8qo~Hyc`#8X@ zm4sEen{M3Evk3x0LZkqkq$h$|Cyxifm6*N&#(h^yfhXA{(6pH@TT9!2epd%KsuCm5jU4u#yif7gVE?7|=0oE)FEsqwh{CK2$|HAy0u{EOrf3!G#`CZSjcwyhc8p3=P5wSJw z_!<@CNBA0Bhufc{rY6(P#GUh?OO3hj;VPo*pXGYMu(8WO;tDxTR!N;>N`T>Hh}{#R zPYsw*UEx4gKJ{djX)!N0g_VCk6-dZ)TM24wYnwMA4fD&{HrT}2@QJTS-MG-M-@0&` zHG8bot__u9Z_%5>>TG)9d#<;imiVUqxn9&MC>HkZN^6GnS{*>BQuv-CkkBtnkfOHu z0mZaYX7J;W^I7SNs2zW)7K;jPvgTQ9HXr&lc{2au zE?#XIXIodlbNuv+=|)S87>rxT<)%k-w0_*ZlfEAio7JND-f+MB@zF`;PmwL*d8%5i z9T#%&tz(=w>ImlzPypDj#vyN7In~%;I1~jEWIu{U4VzuN-O_&{Pi~OY@(?%L^FhC3 z;KbeIN=mncA3qI*O%ot_j2-yAM#G^_{+bA|06!qW%X|kn{`_eFpp*pRXdNd?q?G7U zSiIQTcdbWjRn47i2?aHRK1rM~!$!>qUs+NHLGLW7M8cK<8T&J62ie&fv&_(v)+rI} z_-%njjlil50Q!G~rLu;(Rn#TJkhHv3Zf9a0GEmw4^d3LOwSUWGqXEyCQPoefMw&Ux z9#lR#LD;eZVVluLY*mr*%ao3&kAUj4c=Uj|$UKF~5Jw=tM~B7x%^HBjvdp++B1lD{v*}Y*?^pGFmfzc2>80yGmbX}n_j=dztowBg7u(P1=28U zxaniu{^Hz|HB7ktu8WGM){cw^5j}#G+V4BoH(lTX2lb`+RzC zmuTxm6e53_$X0+xAIw}&DCb~Wo=$(Dsr4Q@FAd|M@;T}L_Zz&R7jbBwFs;>s?OgOYxP7VN|s6{ zP9J(_>}pUZ!LaM+{}T5)=J^0ci!>LfL%a4gU0vGcr)FM9JlwFGlv z|Fp4hLq&DihU5U%6$=wVFVVKasN8J-0G59MNCvE+X6D9}hKF8UBpPQGrn})SQPj_z z;n9A8e%Q#2gOgR~c6iPMj-xg~7RhSA4U_^ch>=7AEXqTO=mngZ&4=e!2%Ds%)?n}T zR(V?Ys@Oe5d{jSGzm{X6gsUi!B+3U*KSi^gbA^~{#hXn{ASFW)#6zwrTOqG96 zdR4>9HhpfIuIdQF;kG8`@LDGW^Cq5>M}8{+Qx2*Z1)9T|g0j{x#!Gq=O%zpx{`2QW z;`54YG1)rHGW3@ciY4jdU{JNHHW(AScjp1kGk5l)-0WNBLC=m9o9(fNNcgOK)AhRI>)Ik$6a zRC!*-e7aJzFo72tFnT5urr8?VH$5CkNALz|_3W{3oxsT?ZDx}fqPhlfD0qKuYLd>W z5lMrf;NN06DOJ)txWZ)Qv!HdE3_g1w4I5B$TB`n46s&lAGLNZd@9f2XRfl;TMO8D< zDsjV=V2F`Y6Y)Vq!zsdLW!2`h6)Mr4J11s4y2GRLWgSB8SEm>ICR+AnGnaa=YB zR)^Z0t*c3m|{8XJ`!5hO&Qu7*5qG)zNI#kcBv~kk_VJPM0%8DQ0tq z0i9r_(eKadD3tS#FhPTy4LY4!pGlKwB7%f3(H<9fxjs9HBxpVv6+9cNGpnyL*VSU2_ z3YNs|jis}1Z8ycHxZ9N*cTtE7D=YXLxN6MHAIw=r_v7Wc{X0u6H}Tp5R2!c)pwZ{QqH0ulToudNIa_yomB!wrX?`Ao@Cc&1N-XRwtzmBNH3 zGu43b@&?V?nxcOK>xd#CX<%f}U?~{8gd9Iu`8hE{FbgQ`mo*H1C3Rq>TiFg`q6b*v z#TKwx3Fd>>oBQ*sGF}PH_A~+jRaAQ*-~N7e#Iby(cyPN+CcHEFiRl65Jv=mqCU4D4 zOgw5{V8IK`seP2MmB}93FDjFOdWbLp%t!qO%T$Zjl z1NcDgibE;S7FWy8Pba-?}hgqwaL6`B$?Pnr%2}Ur2QQ-Cf59H|9Ho%2u7Q# z4;Jw|xiZ{WY`jKNh=7yv*Vec*wQ_z<;KMd&8LNLiFoQosjD$5E@wqB@X-~3v$T$+< z0H_dwNo@5cZvSKa!}~fIb^(fGU7O;6i)*tdCm=MZB;Er6?1c?o4owBUw z3Y>qu%~1K+q$)=A7-+rxi=A}AZghNfB<`c*L5ji0xQ|+EZ*09R6(Hnw1H&C^64Lq8oG{=wlWvc zozUfHkhdPB?sK~+=r7_@_-RxDb%EW@j`p>mDiu5K=8jk#^^x}-MCXGcc07sR4*5w` zX?mA6%ww5cd7E_^3sE@ZnTApKn=$tP(&ZChzIvxw-s5ymQ>xVV!vH6tCp^h=my@mh=HFBYLg>l8Qu zK$U0BvNzt`$ni-qy_bbMSFusPm%W*%MpQb)_mVjsbs{mLJjOYR{JH=HxPz z>a;p64`kEf;}Ksf1z4^5fHj`OCdh6sT_{aJU2xI~#QxS(F21r|^2PSn*8)*u;mXbr6IFB;9v40X*@q zCgApJ0`3mpn8M1|n;{^uxC4KL@yR~xTu$IAU>u!0{#fT`Vn(HnI6!6Rc7pcuqho-V zGWjB>EBeY8h0XGXlnD@(jpVV?(Hjlg9wIrcc)3iQ%MhHbJ2(>TAK&R44a<)nP7&i( z(L(apM|?hV2emf;UyIM)ir(Y*`rx{_?!9V)96jB)8BsANq%8uo7p_E50betJR)$8< zId77Gp~facK*1os8h_W${HxO5g-tD7bPju(D_5jhwMi-V#3+;Pu zkNO7)3AYTB_B$Yx3{z?WG_!Y8J4pdFlL1p`vm2eA0+)~m0Tr{&pFk~_!z2L}6EQhB zGzu?FWo~D5Xfhx%Gd40gli!~e1T;7^Gna9s0w;fs_XSWKO4G*+Bf;Gv*y8T)!QCB# zEU>t{yAxc3LvV-S?jAh21=ry2mvbJ;dEW1cm z*x5QWurM<70z~CSv{+aH%*<099!@fTBIf_Fv9&|8k%Q z{QGbKEQ~Dw4fpTee+9Cz{d+Ue*x1g-9%$=fVQU63wXg;O6eZ*so!y=30YF=mzZ`#o z)=qZs`+=@N3u~a!yTjkofdC0%WdQKK!hhH2Wb9~R@9f0rWMTbRjZA-qc|T@xTN6<` z8yk?VvlIMZ`ot_8LB{Xr?!ol$%eAt#bF=mO51Crnnwb7ohKY+kle(>ig9}Jn?B71` zCip)#GmtZYgPEC`i<1WcasYtbjm>|V{z{xM*dksEb_ICCF)Auq!J{G2+ z_doDnPC!=>z}e9ShF=`uXoCz4s0?v9q=I_~ZWf6*GxQD#&Tc)BU^T|1OG%*tr9|7&zDf46J_~EC3c3 zHXZ;M2Q$Fuf8!_tE&i>8`OjWyTT?p#&%flppVNONyZ*ZesQ*16G=Tq&rC|5oxgY@b zpGN=8%)xB@{)^@RbG!e&<^Nxo{}tu`wbB2tA_*63>%Z5j|K;%ivktVeu=e=3$9w0x zIKNMUyxsdO*#2KvP0+taSHyqL+T{PPNjn4IXF=H3%=*8_XyGJb;SMrUvT!yw|5v;G z%dY;{pjlhkf|Tr>EdF|001Pb5%>QTYeY%XT-k%Sr_n!QF3G_ZZ|C>_W*4WPEuPI~Y z-~<329f2P3%=LmoQ*Nt*=0GNdT zGX0CV08FBPhzGzV{$Ju^1~5tdAr=6WEal>YH}w^{rH-*s921K)*N z{{!EZ+5AD4cV+(w_5PeN+5H3GmD&Hv{qAf3{>Ix{gG`Z;b#e z$QJM}8H!v77jA!Kr96y#w|+_Yx`DElvC#Ql<-KZ7S%l}Z8HQ-}FP{U7XDPlJWzFG| zLOU}M!qTFjyQ9qB-2Oz*nS3LbiKm12`5nzx=%us48uKvcxmKaZ>eP)#j;Di52zi4( zHcjaza*!f}v*1-y6e|-NRb)!2Ki?$SfdX`3|4!1i#9x2*V{-Ec?x8_|Xc@}(bZD%x z@)m{2$f31rPA4vUZXH+g%nOS_KD?81=l%<}XH?~Erel!Mpq2B95^GpmUxGDJ@C~&P zbmu|XLCON>B3|C$0FUnsRei#n->3LRR-6W}QJ+>cy$Ua4qv8v|P=q4QxWQiD|3yoFCg9q9L z*K$>t0D%Q55qVS}o5Remi|>>Oc_-?pOJ~9n4o!cmMNAUBr=`oLPD7;h-NNNjs>&xp zWMX1xELr7jnu+<{5sYI~S6woU*qjShvxNMqYIyP^zeyVegB@|H@hTJohp@6!5VwNJ zG6b7+EPHOv^F|uzQq^DGs^2cQ;h*ct<97O{wmxraDlm!`Qfth7K2zA+BgpOOZDvD5 zhMIpB7P_=HKy~UVl@C>Fx+_EIjPWp4^(fh#?=spz8}BpZaUryi8N5~68jh<`aB-Zc zkrQw+FO8WCoEa9ISo+r5qcj_(U+jb1)JzQ3-8~Dx!%#BesZKk-Lc~_F?|Zu~Rp^Ej zv8K-dcv8?}~r>wd^BxdLTN#4u2%)VmgQH%4~Wa_)j{| zXEe!Z-tGO(jV&71Wc$(MT_{~?%<*x92Uh%k& z1uMRSI#M*H!3^FeK%f>bI}*%4dF^QA}~lyc?<-Vj;eiNB??M!D+Qqz_fj#E z8&hF+Vc8Sg3AsH%5bCgWGPoyD4|rB+c!>Oh^isZ6`sKsm>Vnn2Xz1&{G#_|yQY3R2 zFb#s~CTGK-zp~!9$JwM?>^*->WU+ubeorp_eLWzkQ+_(OE;Jc4&b_6i18#E=2Tf)J z5>vXKPA>`PY{idHdf+K?6)+d?HqfFT^oR>pxKD+l=J{B>k7L3y&!4xh#a;&0#(_Z+ zdyc3jngLxSP9$?1Q{LHx`gw6yPwN{dZfgoreO1Quk~MAf>=-_;HbH*_gCK$Z2-j_L zvs~*_{m`OL_K>J=-H`Ro!%ambdYefaOTjoVQ@|s@jD#L@2)<+0C;A(*@&w&E3=f-z z7oam)Iof*uShA|2aSMqHjD(LE0^GxaZga2v0%=C3KG{$B7z!G0&-Kod$#H6KIWtIy zPzjZWy~cE&PSIY=Al!f17r>FC8>^y2&TpP8y6%?RL45JVt|W|+zz~KDC0QT4!IowC&SmI6+rUo{6Ug8_apI2lTH#^D%-aO; zkU}dU0u04wdUSs~&H)GJoNiviD8~E(>s78k8Dl6)V4{V;U}tC}y`6*?zWz3q9i+Ri zWFZNtj4n=8wS6cU*!Crh_A@}E4b>yeZuo3*PJ;CyGj5SN>hL4gMg|~T2Qcl(4fmi` zeE>)Hxs9-p)ZlajHi6@8lH1gVy7HrX>L}yu%gyaGD;$5RIHcc_tk80exX3BCPY4+K zjr*QH8?4E|y@&=%3-NPY6ha}WA$mF$*Pr;f$Qh={FZ!2tl5%CscK$?wJiXg*yW9y~ z{UZ*^dB?+4pYwhJ3fda;Mqg$vwS_8Dv#9SxpH*-T$ZEhwPdmW^Jfl@ zuw=6BC08un5beo&8mxV6*&WqFeS&&l+m^IS`Hxyp^xTyBTtK8j6Y|%uYsm=u&P!;&HC1FqS*r@z+5k{1 z%+{;NRWsCs-Z~upa=u);AgYwNczjW_vc?u{rP`>KI{AsX&NCgzkVNy)_2lv$zT1Tk z)4G4&GA=MJ0H^1RC5C>I^-lbo?PPfuHk^O%#c+A2=W07OE(6CY*Fn9!ILN1Yt0TO=z ze$p5Vtt@Kwj!n|1Pz@Y!pDKO%TdZw2*|5GKMC?rNJXJ13M)L>%b^ld~`%X7`MYXtU zF(;YSAIkWx^^ZM4UNCS^0Uc`VolV!QRT_BlRSHhOW@4T$QT#e7M1q#hzg(`66D)tw zZ(a%J?1g>2vOARhx=bpSHCc^3i;@dyE@zz(K`l`q=c1DNPThFcMmUr)eOYPDq9nZ* zw|U2CovSnPAk zGcFXzRP^zVCx$=64nss8_2_tstBNs~qjVcrq;XqC8jx03$O9zB)gZyxrX+MnV=>z+ zKCW;`wMrI93H|+r0ieUu9vWTUz9yx6R+YXZ0fcN-b^SDxZ*kb@wm*O4LH1&j{sz(e z<17@F!fEuEZ^max&_l%iPd)0Gvt@YR-Af>AYk|--#_Fn9Nbc^oWX^mx?5A4Z!Ee?T zj{{D?J??|0PRZ68jY!kBYZychg=5m-{Dv*3F$_YdH+p;wSI5}Ul0K^BL_lxE zyG=X9g+?nEsx!9?)R%wiuO0zl5=W`Q>-K&1tVEbCiTys(wCnXaBBGOm9zyAg1|#55 z?d)ICpLw^EzZ;3~=W6H$voy|VoIe=R2a$%!+DR~*7{viUw*JO@8_QWYWtY?+tFTI- z_S)|o=Us(|O>1~v*JA+5G%Xr^O#WdUFeildJ?DAMeB{oF4t;+j&oA){bG8|@wJ7b{!)Ss@7WBsFsE=miZV~$XK|%um@P-lYS`Q``g4w> zi;3W`3%)yx7GZpY&eI4icsmJ$=`>@j8-Ss|;LM%Cb3(-XpX0cXD6B6{T ztVL_jJWyI!DF|MPX{IP_8#U)7G8LJ?Fy&FxJSzQ0FlYCDuXG$bPD+=FEu`~80?3PU zM1QDd(7Fee4d^|U?WfRO6I!h8-0EtNtOJ{?451j9WgBee#F^&hvnWcYCaE z)AH5E(e)-n={klCNiZQ7*2v%evTfVouC3^YTwim44uVH{Xjx)V&GjS)%CyQSCNI-t zWzh?ta+812ZrI_4Ti?ZP$GSt3YDo6Bmz?Rio3<~eO8It8C;naXKk4+T=u?qTISrUr zG`-9h$4Aaam?EarkH#$b>r{PaUQcAgJQ1dyLL=uIcOp0EEpgyV*6VydGvvG+gg=9+ z%$SqYMDcnmsLIH#c@S9YXZI%!B@i}%#|;t?(ae9SP5DmA>Ocx(Jt{Fn#RfvlC}I0j z3;ObGQT7$CyY_79zmdWQL3Pq}glTc?;|rKWD$E1|6;KyzODUpRptj~+p;=bVT!r@i z**WXD0;F!^v5!e!uNoAtUwSO_wiMY3OFA%@I*r!eb_-gf!JWTJTzXvY)$QI~P@Z{R zxha3^(&$Ds{ITMN;vFCqKfe^UGraiP%2=LE>DLXP2SufXWO>vdwrU|hr#?jJ)`jXH4kJ>v#I3NsTV-!{KEqwND(&Dru}^<2-;OYnc& zyr@xytkAq$dTGEE=+pvkAHrI&@p->;(|9{Sv>S?!$yy|L+7}bjGvtn8FBhRx0V-1y z3q#Ym%`tWg<1i!w=ZlbEuLiw|Klo>IzM=|e0yULx3QT$K9f; zby+R&%3@UoTAnRj-d>sdePc??v5xAJ5Q8lOZ$eeh~-k0il2ep5?tV5+< z_swIwdtTQDbp(;`&2634uG>w0le#Kiu^keZNm(yT!pQ7=NK;W5hiZC$GdFw1l?)wY zJ#CvV@3yPOpNZf-g4A{Yt@(W24VRUyZIsvh$5cD#`nLsksfU`vSu4j2U+G{l@t8uJ z>)DHR*UE@$Bl=$5boa8rfX#nlRPB&YO{p7>1ade{-BgdnY(IDn3x&BvV|}&g4E9nx zRmdcFgf;q|^&-XAO^`b4N#N$0{kLcXTz)~VcwQUr;M4@B*5DtPJ8Dm#6xAw3*5ou& zTutMd!Gc{5e^l3^G#?M=j9XOf+`oF?v7&@(h2lP{^H`D1UkJ zFzqlh)G;t>BLoj|1Idy{{(cVRMoj_=%ZMzyJIsfCq$At3hDv&W{P8G!JU?QyBj*XG0u zUL~KQ(64FRu}$jxu~W)&#PYLF@oq&K;|IOh9zC2qev(EkbDA+gpLd3-t`t_8^=c^F zO2DY@uQ1O+64X)RXGj#qNKDmXG4S++dP(x~MZ4 z$foth9-sWVv~+V3QKP_N4o%QCsW{tYgiD?zZ)BLx5XgN+31dj=w|sJuw*5cI%hn+X zH|g-+=HhksAjQYq`CyJ!Nhp6?=Z#YRf}Pl;WUdN>J+Zg!+VYaFo^MeH&RveXd{)n? zr+=4pEmw)w#d+L^p2T+0R zLfIIHd&>5KJVn=_D6qG(_0=sjLS45<-emveSh+Lpb=`loJ_2T{!HsuqjqC?9rQU&j zD_;g}6KDL*^OnAR?~KQjq)E$-96>QBNi7AD?7IC%Jbn7Mt$hzRk({rl7@fD%sEMW| zXH~5S3ye`YCX5z4l&oZ7Em{95*YrNy9D^e^Dr!7CsV&lkaEi>;5;{I~@+L7BAEPgL zteET^_>X^8yFi_yDZYF+BloNJW9%T3=ipvVCY$8m(XK)Kui_i+EY4@xn4&nYdhl#f z@^j~O`kZ%*lXvFX1Dz!Gs(#WNa%#;*IDwC>9)S$zuoy69v(=1sAHwyFs$3oUIyN~X zuD@@!dd9}#w;n3)WHz+eptesPv*kEY(5Yh+S!S4J(44vQa!?d@eg#$C<_F%ouL@E+db#eHIiRm0Y*Tgs+@+{G)2nV_V9-+t8OEGHYm7tEG30 zJ#sCIN<>!wsma8u_HD4~kwa|?(2PCsSD=LLl6L`wihr!-Zwqef@8QkON*U?i-bpdG zwx}|&NQ8lB?fO8ePr=~4cWJS%rW5NMWrlyEp9Ie_NmaWyMLy`?JmVrn zKMLPm14B?QmkChc@#=CNIOX_h8!jlBlTaH&>Rm9~6XSlrWzb>ydSGSaAKT#9`uE~$-60nHfPrA=H7$+;aAH|x~r@I=h>oNin9+_0p4f!teIXBA0| zXkA&_0(C`h`5W>6?Gn2|w!J2hA$-R=4Gu;w$|6tZoNQl2ol8hYHx_5&l?icwP|3M8 zC%IxE^297y8?|kswxCQKn>uZwGnRi;k+7jo>eDFey&{oZ8NGsMc(rQr)`JT3Zn(v0 zG-->>;^%z=J0jAcG-ol#Jv0MCMK5gq=Zk6^nflR&NN58cckh;&ng(uB%3LD;d{*ot zS0=LiMUS*w`p-0NU^eF|kSR%~bz1&l^Cf6Pu(|A}{iFxK`TA$U*Gx#LP&t1CI@JL2 z3hQfVx=p&G;Bf5-HREB*mI}-9n6TO1%9e;VpO4amGZxh)Pb%wtm$dAoA6#czmOw+- z(}Wbs9KR@AjS#n94bq_@Mik=Qc;>ae^-$Rh;ZXc?!dX~ef_ttEp?B5{jbw$t``B}I zI9>qHXfI(RFPD>jzmQr};qiZ|jeQK)YIpJh$D&lTLcQes)LRhQgo<(>^tLHTn4`Gz z+sd|px!cDY^J$VSJH5V@vK=oKurX8mR6x+{t)+I&j@UvdQ7g$7uJULTh>_T~tFztd z=*vf=jo-&KoOyJN+ywhf#|mdAmzEZ03@($zxT$Rot0Z`IAL3xB!8d<-&e+BZVXMQZj|)CL9Gh&tnUEr=Sp z#Yc`UWeHr3KGT}A>`YWG$&vGQRI6IePZ3q!nc{^^R*%DSHbP{>aVbKC-Pk8V*kOh- zC97e?+G+_qAW07t2qAxv&m;9#P~x|6T|`4GDVpLqqF)+?mgTsslJSRM=2Ern^z0>7 z3EbzQd-evHmnN!L*}|V$XM9&a?1@7%AS8D7<1(v41AVF+s^pa zTbZkkc;S*2XUXAxb!URvQ~x6~ePSb<5#7<5XDt;@ zpEYgG_i=6+eb8~zmlD>?w`G4*#E=CU3nx(P^!sjGZH0fF*fwpgI`v6n1vn)9`s{Mt znP7njh5c&3!>A3<)}W>NjdMm;5NMoQVnRN=6szaupEn+t8X0#1o1q`HS9$mOp$+D| zK&%pqr#(>>@0-PBZbk_rwm|T{pt*BMmE;=-q$R{J(NfVS^tcpy5eU|6=oIj#PcfOi z^#u>Us&0QlnKSYkWl?=LJzu6W7odi4-+6V-T&6npARjvj*a(2VBN$^I&cX_S_+L@ z4;vSnH)OC_XrWw`sp7;;#C(N$^z`X^)DNrgihC4LqvXlsIL^!;h9n?99n-&;p~~5w zpiX}x-eln&MWNx!-yy7&_ebf1H*%Dl?!6UCZ`w68@AO8e>yMS=(<9HI+UvmkeL43=wPE z?ctIz;K#TQtt3z#-6%rFL|~QTWg;Q}!r^~Y^OpZ5roE`(w;fopo8_X*3$nP&C{Hr(T*lNHVdH2UrD++GemY3IORB1n`^ zd@rOLA>6vtR)Jl-Kb4+5ikcvTo3kK@tU{74 z)ov_R2-y_Zwb%r!t7MIE)-k=p@?1R4)L>mKx9U|DtgbKiCvQ;DewKhQ;c9<(CRf#+ z;(-T>Sk9p7JysEiv?Uk84H3%BxS!=1J$c0fdlEH2d*~Q7T4;YV;$6GT zkR{YD3LFbtwjiAeF8B0s=AD1ymu^#GLLrA9Osr54D+KyxD2Y#w)!=GyHKeBlyt*H%?fOWloDUwb ziEM>ERbU-PJp|?&mdt-`f#fp?P6_)F8w2#brZ0ZI*Gn8I4JuwGNIHjRZbF?0q%P2p z&5^p#@_$X?Lagm^l@c?v)Z^@TlQPvzT;vbCZG`{C-SLv3T+s&v@|A*b6tI_UbG&v z6U4aKce@FfWU@>m@qnV$7^xm6gZvuz$V=Tm5xF^Z)6dRO*B_HW^Ie7Yh%}? zVJH)Uf*H$GuODq8qO5P*Vg(+AA!Wh{VlFyfTGO};LRy&}J-@}t;;Afn;hCY}>rm`# zOn+fVLRcGdNRxk2FcaZIyl|ZC&gxDkl_6VS!S7PLN;hqnYzpfsbU0x)ra~a|GD*fsVf&N z_6$h%bv38%q%3n3Vq5xXh}h2M9I4D;NKim7s{ z6_TCP4Zf=Aoh>L%#fu-tb2gMhH*=KjP{vYG86M=SEr2Vb=nld9T|#l`H&-(pakh+% zIkt}up|u$uMLh{=PS+-t$9=bU2_rT_l+Ht;t0;dwNiLPj(^Fmapm)w-+LGx&+iBC6 zw;Mp9$X+Ka6{DC5 z5R!i*l5ik|I^Te8DZAalCp1lwufAL#!nn=6MVv7J>a0iMuehc4RUXQ@T5`S6#ZbsG zc}^!AlSLdn*H6!r}| ze36<|N2%X&!g`5NHAFGi)e?~<*m#wq$wU-veva{&95(X_$1g^aySPz(Z)y(V2iZ5 zZ4sOlz}W3V=)17@)^v}%YBHaRHueM7Pm5#x;5|D0wsjw*ISC!()!LbNBEr>bO8wD? zsxs6lnDczXQ3@%iD!wAAn4;F;kefxcXO^McQlV&jO)HTmNG69deK`U3k63sMR>_vP z&8R9Z?^nJ$*i?+ZPw!Ldk1`UDW=nJ5xNrCB0lCkhjz*DYusk!2%HGLtfPvU9#@JuF2}wG?9AA~S&$^d@UESojlkE+_J?1|-@cLW zo`2temo&eYEb;Xlh0Stbtj{`4eL_tBmD$kFRmHTzTDcq!=|iev^6@?PubDW;N}uVq z2V%2qE?9V(LScp+(V7 z?sphiG;nKh?7fK0Gs!fE97ZT{LxAwKE)x(fx=n`}q!h#|})@^vnsoZ+ZESjAYFT%0Mhq zX*_&98ZtdYf?@JU zRQDrheYJb}jbPl)cz*%ekXiLuaS?6Q6y8ekW!kgj-o7CM^9WNu^8mN#{O3=VzzKBH zp5uY_?9Z2&PyuAOkb~v5XcN~4DSn9%EV7f8$ZtKVw#Y1IYumCE!(ie9%vv(zA&AYt zuF5COPgVAZd=_`w)^pOX)sXAJbz^TWb0WOmR4)2a@-hB4k}t5k zT|{j{>)5#DEj3mj*z#kP@uDdolw#GT`bwisD(w_x{QC3g@nXg@v}gRO683M2P)aT5 zNr|*8J-ttYqw1PJdxhj40)b-$JUmYI!gA5+E9L!7Tang1@`fZKn@-IQGp<9d!e2vb zypz9&3nFusRd-5@?vGJ?;ZiSx4p@=Ulm$_$nD}AAkNLcuIbGi4oBLw zhhe(yC z*ZO2jlHZ{R1?~P2nt@SGa@ld30h;cB9MT zCP7F=^SEQGG2xRM@R%E|weD$(fJVdX^Lrtuu6Dl+-Xym=Imoy9Q7V?LlYFI}uXYXf z!e}<8`3LlJ>gPlMN^Ma`M2Re*O{M6|l-+Y{GPwuhs>BWji1@Yv8zbf}-PZ9IruC!_ z17aVF#z@0=H%5cG@rBTZg^P(f>(lsokkVT-|zDcqapn%C2@ zJM~8|E6wbR<z9yA^W$6Y`>UcZn@|hI8h!A?{qB=Ziu>Y6Fm&_Ja5=6w~lPw zpG)nR=TT%hSHTX4F#=ZaU+*(oe^fY4ZFol#<4Jh|)6e?RVINoY?jtXkYR2+&54Tf& zacGG8H?KY`8#=O|6lr;RpmJ(C*emAtX{i--gW@ku3uwP234%R@7MYdt`h<%+m4x$e zD^NdDRHB8sQdH;+x{nIF?bJne?h9)&bHM zL8TZ6Fh!g!C;RCdmw4qO8=z%7bA!3K!r#HYU$l*^N0ax_qlfR`NZBN?e6s_u$3CTH z0nhyC@YnPk^X7(hp7-rs8+wwGe`kp@tv(iz#HJg(_zV%I{62-*w96$S7<5T9P^xFI zcG<0hsSf9;j}y)$yN>-B>9$1gv3&8wi-cAWe0J?%agOZTZt_JWb7X(8hSZF~+b9Rh zX10G!#_*Url$FuhjZK7fd;-yyjPFh-8SDANbur7gZ0x+7&O3eHS_mv8mmZzGD)#ViR&yWO;tsq-w0HV-+LSk+$v%Y#Zd)$k4U|i)MBCTj_@-w$mJB!u;V8WQC=5!D`$=? z57PQDWk)OB_2;56q?IY#Tx{8~PmRO^dpci;)Cb%v&fOZot!Py<4;7_7bW+FL^R%Hh z-al4LdN2hP-cC?j93z){yfi#6!;EMzSI>0>IOE$m#Gf82B-U=P$cV5A|H#hRkO}5g~$n`I7MtnI%rBvm-W;$386py(0&1 zxw`SD;_~Cclo%2|y8Z~hOxxDitCOQ-%_^&>Jqcvr@(0WUgwUL!Pk}ujrA;v45R&(= ze3!)@|8&8Hn2O8`7%~{7-AFt$UWVBG^qdZVDnV@C+kfsPtn;3vp7GBkv}i5E)hkg$ zY#$VYn+HwI_Z$Z)e7aX#@=Y}Xpb=QyoB2dDNJG#!i{|5RG)E|Kof=TaCs^Js;X-o0 zRYikzr_@u?5Gcn0zGno&>RiOi=udDFAcQS`V>H@i&uMvc&ijWh5LavlST{n>5E^6f zG4U0SPp{8u-L{-Z#+o-`#Xwb-=}w5X0W_`aWf<62DG$=$^V5kLELsD`YzhjjGCw}s z4F33w{U;*}ZAvOlyy~wsdD-2vQObI*+g@^3i^V z$-UCHx3K&RX>XD-a;J`c)a)h&WVH~4{-M?{n!({u=BO*&^`SiAS1Ym51U?44*tvtZ zw|wys^*BPGB}1&4ZjKlL$<;X1(?160o_a)W?95)qG=4j}ZU5@toiDREA@_UK?_1-9 zCCkg2l$UoiYRHLx&`Z-gnopxp8=r4m@v(h<(XTa&a+?9TRNyTJ}Q z*M2qrVDWMI46_=rd_dC3A;DYp^!ZqdOpG_1(fh~s5I=sfn#f8hd6F2T7-Kx0dI(s#1^51qwOT^X_$hns=*tuYQ6r#A+UU;e2O8qxQsEb{y9^K~y zFq|H%WG*(^sG^Tu8^S!P#7W{p26&4FJzy|L_Gw(Oiq>m}C77+HjdLgPTD50k^#!%{ z7h*!rZ3xbxlv-_E!Cwo65b%Gz8f2F z|GTx@Dt+GKDJc(9X)}TtPr%;D;{{Cy(3_OOyPK*Y${?!lo^B^2yCY;5(6|TF{q#Ah zuH*#mv3rx{xL~RATVD$Co-NUfX?VI)NoWep2TCerWse{IwG9UG;6iJh-Rdo{Z>9T( zITn3j$Xj6lK|HcW)J7gZ4GlG1^GG+Ptcez%NHK?!r#BSdkN7gV)uXSS&y|PivFzv7 z^0z#h;LR~t#_Tw*ijO(eKHBLs_g<-88%;~YTTM>Sj53^4+By|S@8`)<)Od*%S@&A! z9a16Qf7SzkdBX?@>Z=f+wXbU%J;Q=im{jtBAsd<>&y4ckcoPfWc3T}yRsCa;@Me3N z76O?02e8rkiLZK?cNX7tuYUm7B>hFT48*Ud+bYL0CdFapF-|Z9P)nxTy#fhNQV&W& zvu~pd!Am!ONvg~`Jl%wEnyZzF=w4hSl+ff+mZB(?pS z;=9tT`#W`hG{m;B@*Sio8)w!leIqw+UvvV0hQwwY^hMXGKE)SXEuAX(6(P) zR+E@T`&}>&4=)rEIHsFEw+gNcKGl|hBfne42xM+Iz?Jyo0lh;`FG6}R1+i#~mHy>IeNE`(>wrbRj{(+kImMrntS~8ruF~y{4E!N=`$cgt~#*r%!M2Cj-`6%4Xti zp9Pc&S*5IZqsr5n(&2X9 zy@KdWTHMkw|Gv5kfVSTw2U%?a%Ml3<8h*|i^+RH8zi*K;lH$RtzbMVw6A9pO$_jOR zn3uo=RhmEN&U`r+Jhrvne~wa~)IDsh0pz=y`H9{JaweIgYQs@o`~IJ2gpYO<94FFJ z;LId`$(`qB{@$T=KOs9ZLkeenEWgc9{zTDDv`(i|?XP37$pp$mgozUa5=!Gv7_AtX zx{uxBERZqsh2DQf7!VVwry}@QMUcB-X4nqEdeQr#=3y`53N)+VB8Uyz<1NVO4t7aR zQSkquGa&93hF16W{|Y?T`GfT`?5uHYJRxuL6^$-`iR_U=fMRM4g5#(z;mwlwgd=00 zak4_ilQSVMkJ?@3fCc}>4CH7X<`X#iHnp&}o#z5UU+XVX%!7-wWc9bV{Sg1PP>SRy z0WD;SCFatFh&CX}n+==Qe>m0z)hPWS-Sr3m?3%lpgy5HehgIqL+C!G~xjhq;ry`_% zf3{3PzKOrEf(~<>&;)B3hQ>k!m=EO8`8XK7#w8kwy#M7ctAQ9v|BLL}NMsMf zKm~ELK@$;Ra2kcZK}2{MTzvnB^h&|W&;P%LFCh@um4*iY`^qk}Rza*tLAIGgrOdB5 zf+bl6HZww#JodFy%+CmM}gS#Mb0Or8bABId!EQSJpYbw+ka}iJ(T7?tpR_1S$ zfS$Q;!rM-05ikcSX%bWpD&BJMl4r2>hRk9K#S%FSu&Gcl1K+(NhgV1w(`&FAHt3#7k42)1)sKw&CbNk2d>RmkwR?ap&P>@qtW|CI*l8F#ry%y9l$Ii z`PLZ^1hvcCRPaN!8_#EO)c zWDW{Sp=eW2JP`9wFfRxJS%6S6`T)E{G?&4>?$g(YZ9@-VaHiJw`^)Wk(Cb-`B&(>h zqLff8FOka8wvDr1)QSINt^jj9`Dwl&5#F3`+ZZAod0m%+m+VgRQS0}-4AXq+Soa`xF%14Z01sMygk1Nj^jkMi6)AJ_f~PvT@AtQ&P|gY zCFfV?zqwwG;oSi6#@qkMQ`144rfu;GxnkAEys&@$`&aMpUy`f8_OBZpe|<_{AXhA& zMbNj$$+^q}9K-XIpg0mQpaDj9V+1lEhL-0Mx)k-ZoGF-iQE2ee4Lz|uVQRkCvFiZ} zD~XPKhPK9Q>xFdD0fz5~qIobs6LI&baV>IyRlB8o6+T4OT?8(t4D2xRP}TXWo^N+>A`42+mg@D_o`6W#cUxX(qgHo|Z_(NJu6kxCoB z*qAu=@1|z7)3b~Se;#Ewp5vh+q*@(~8?odlRUHk>Mz|gV#J#ogo|EHk&=9E+DN#sH z#k}v)M^WeFAy~|so{T=g!OtJ%Sp-}RV1>U!ULYKA${=WjlNL`S2{ea|>UdJn;)tD*LI% z%V_GDearU%G@FMF(>|>9vv`{QHq(vuc596CzJc_=0G|?g5h_1yu%Z_HuFQoRf=mmt9|L@ydUniZR_1E&oKk86QOlNPF7gOCp_(ud47$oMB0}v&KBGnyI33fXu2aB)@evipn$a3GcRuA&AC^jlMsMjZV{COF*KCt$=GmYsjW1kK% zg;+iV*)a#Nh8@ijfhg|B>uukdi79Ii`ycB%_^=!+gKFqMwYhfQu4DAHwl~7*Gilgn z5l=z{6Up8jBVkYkun@+; zeV~N3m0uL|9_ij}BfDVI_)|!YG+;c`Dwfv-d~hS3R5VpQH>c#{>vb#8RVZ$8_!2n9 zR4T73O6(W^iBZ}-muF%IPg=cKGi4wyTW0_5+PZ)zRw_>P+F+{4+iV!Um()_c-<3h4 zWTW0&gU1Ao^tMN#5QfYUY557?wDsU%K8vRgHP)`=1b^jE9C&-jxDFBVa>~z_C#?rE9FB^cZJEL3Tvkj~ z*ZgK{iQ?JgDD zQJW>CrKa+mCI2x-n{O&yRgcc>DhsGl8R9fl|Kv)%ppvwcIgV2`rEX)KvV^M(Ae6x; zP?DE^>y!<~(z}C00*R?1Q3RO;Tjb!mvOcZUWvNEm>+F?Fc|vbF{nkb~70X7=MCiJT zJz$fy6D32o@dAaqlcxiwi%YD_Z3|5_N_-Th6b7z}6x#xsCa#;Cj;V*!W~Y-dc=3BTo%!%;S4gDL_4?T&#?N5X%cUSV;vqrSu$;~`>rpw*~P_v-g+@fxr5p4-5IigF^zRDT(0QuAif3$!0QOfkz#&#CZLNotYk=S98X zDRw7cf;^zM&WOlV&QmO1+A-SIMdNgO;Nn@8_*4W0lFUJ{8^WvY-{!2+aPW)-M2&xA zv$gGqrou94IiAjZ$`AnHOR>*1MUrEYQxK>T)QpvR#K$4D|q+Nb{SWwu~+GXcRC2 z<0AUFY*hDZn(0z7^SzleIVB%{9U;quu&T;dNLq$kS9{ARnoE_KQ4r?4F2&~*I zv}Y0QhUS;H8v;nWy3km|PN*=s!AObT(1C^tv;-$~ueW(m^D8uA-7dUfeW1CkZyKSG z7d@KJ)UDXJ(@y31%d*Om+rF=E4BPe5!Q~pAtmvxXB0%k`gc=k7{v2;+(8Aq0GQNAWqEpG$lbS|Z#3tIr-N)0H{S$oOhsNCl zZohK8`#~}s(tw!JydsjVb7*`zh#2TlO%pDoi0_1H^6GiySH1s0Ci2xaK}gG1Xl{og z%gyaYAbZa_xcI&XajEx2{f_VJcj4fT@TKdM2y!aR${M5E4b1Rl7VP~c_&n!F8y|2S zR?5AONxJ1rm9uVkV~I}kFYmeJsR)i zw|bkFrPIm>{Jns-c8Z2xBdX5xV+7jROk%+Ez{)s+ev|28F}yP@N9$U%%VC#{NZ;O- z4*#~WlyTxoQADW18kkX2DD4Iah%3GOQR@;hVWF*(@r92_abQMTJej~9TxWr%_Bvce zjGv!eOGT2V3>y(^DYjHsRyqv+Cx3*b)0@|9ZvL9(*A~Z8s~C_&`gV0SM~S$&L2ATb zDP-thc!AK&(}p_@MN&rTZ##KuKl!oJ-(6gZo=w&f7%Y4I&isl$;K~ai!Kj>%kIo64 zcrDGlrg`>O_mbI_hGAXG8jI=#RDRQ`lFynv~U2l=m*4qhQ^Kg^C&cWUy>G=1P z%9Bd)k{Ys@)pQzW^Up9qng3T(pzaTc>7}DBZzTQM1$nn< z>7~aeYv$jY(0>|A#PQKB*)M(^HmsWGD2Oj5$2{~tTG!-|0Sga6V>Wv1<1IEGf(#oC zlkCi$re?$Sm-KfAu@j}vbN&*=h4*hS=-EtG-#=)X!Fh3!G|ag@Fp!vqUU~)+db`Wp z7Nut;EIx)aM8eQo-4gPV(|+}0%1`UiS3`y3)X#+7?Yt%TZs+i;A0L%VXWKp5UzwKfS>|)Bsg?A#rs?p(J?rPQ2wlyM0ZmF4&%K1BV@) z;fthu(I!iUSx4L5rBdU%K#ik~sfCU*qH0%0(<$M;?g10$zI+>M> z(W-YdiuEq+XmEqGbbw$|D=P^$s^M%kcUnD-oP9Bh2- z9Gq-yTu{{?Aj1DA;PL~M0^;U?vc`c(h&Z@WSY>QnT-_+x`FZ~D696v{Z!#8$0Z7$e zQCShg^}W~0l+~DBZnbhu!^DPDV@0OWur7>3 zfbxs>msH@S+Z+NM$gD4#Vb}?s9ynC^F6aIe7df%vPl&?v3?X}xghc~qCfzD^nUlIax%J!*!#7v=&7N!aljyp+?mg|jbo1b`klz_$ zz49@{J1#043M%?^hQ#`-g-Fx_&lp#=X6-fJbV_LM&O(3l@KCVsd}0uT0Du9pG#g6k+#i}@jPSk(jikLg}$3~^A^|13Wgx4%b z+v2vI9~ICKEIRO_iT#Njm?+)RxI`xnKimsC8fNU9T4ZFA394siyPFl~lhn1L`q@qi z?HeyUZE;R!RC;GO>8mT&|d!atgw89D(*-HkCB&!e;2bREdeWd9Am*@+RcA{`;>1v0DYtZw+Pd0qao zDe~IK4PEq3WeIj)w#$ZpSxV7`K(1tszQ63^kW3YIg90D{i0|~?L5!6lk@oBygqpJ7 z8(L+B7!0F|@*B&2PJCRN3RQ&+QkhHbUT?Y|6?kNheb;e!qq@xDqCCYJwGdOy73d5S z>go;z)>;-z1ut5@0`w7mZr|k5TE9p|<^`*>dVJkQlDf~rHTh-hHX)(=+yE8^E!|om z9X}}`b2=U!P8pU!Z85MLOw3NdBg~&Mow4?I6&z3(1ScHn+FJajC$>_)(`U)Q zS7SD^)w+qDh}aIHLmWA2(Lx=S*K5umwc|QgDj#At#NS|b00Gmx|ADjr3p0-YF)ik^ zx03}0tFDHHB?_y&gSmwl1%!=)orlu^g;mqW$KpRG3abtUgq?zug8g4m!_n~{)_B6_$?wJof+gq$nUl{8Btp5mNmj@0zid}!#SLtTpz05z&|r;-LSYOVQWm>FVDzk{ zmfwMoIqwSD$-s=Dm645$P~Gg~r{1Fx5$FHQ{b+IOzMPfpZ!}hxOZ>Zr`T|pCt<0F_ zx=PE|`K5Sj%@@MZ6lzhJlD=D-2*S-RIZFGoU?UJW786d)>HMi5V1Ly#5$Z|i_IWx7I{DSJtH}5rO^S% ztyj0& zG-jP24H%PZ8-r*!v6Q;Ges`ID3+4CPYPeT~WVgJQGYY#-_-Xi@87`^&Y<65~*{u5= zH%ETXaw0+UY z^OC=wa{!P8*dW<0DOsnInyP6K1VLQR3(bvxyn-y6hshqvJ znNgiFE@wjKSx(68&3yLPWM1v7?W$hayM4X;<${0F<=*)-C3*1d*Uz-~2$l%co3`^5TwzZnctWZqbS?4h8lw`aRwry;DJma#Md5v6$ zKj%bV5ZzopJzfP$vYg3gW-xuy+k#-*V88NAEBMVbp3A{~3kDZ#+}p@TK$q|q*PyD` z6%Z0*4WYsQ-nyEX)q3HIA13^C#`OK>- z*Yj#UK3863nou`cF+AC$xgHZhkMJ~8!T!(7ot?$gdc7#$0WIpJDwpqXoATb?M)F+M z`xsFXnQ-mU=gSbR2)TU6kv^?&h$*+t-_MK~acIiq9d~xq`V`=r|bDcD?@X5yDCnRp%WsMW>U*Z5jv>n?+)9C$98<*KD!`C&Q<&AJgbFj|Q^yAXn!;Zl%EIc|TX%yi+1 z@XbZRlfxF|@~T86M3P(7P)94B!(%innB&cFEBA6Bp2w|hcWVyV#qSfy?Y6y#6MOU0 z4ADFV({bvsUfUKbwa>q|gc`#>vdCl(uz}_oqjDSq6=y)8QxOnIL+N(=FT-#u^_oQ$ z1gF{)U$IfCj1;0%GBMEOE5Hj7itptNAJMXsR2S(fLP>Bt~>6+Q53W-voM12lMy;-H2q=|j20 z?e=gg-etgbq?iPCftu_Qa;qkXO~%Nk1}u6CBKYQ5p36*f`Wb&Z?L}2>AF2jzI`@S0 zK?IVMCD+SxeP@e@3G+?>6U+ar7DS74W0;)4(nv-PC}$12eo?RQcICSzXf2@HI2Z>Z z;r7k~Z!URq6+RLY4uCA)QqJqhN>~)uBdwlsDm!g_f2^*6IL%bX9S%t5)W@Bj!P1A( zx})`h*M&Om=}>>wspHB(`0T6Q9;F&rBw6BM zu$U)1Yj9)7?I@6evDx>vwPdl^y^S7}OZ!;0-BtUCy=`}2Z|Amz`u_?VZ5G}T3gLMC zhsx`(Sqz-@0?8_i35(pWsdU@)Kymtt=#9u83tE>L~vjC*lBR0%^m2Rl8F`TIPB0@v}M zqtTkDZyph2I*^$_;}xV4B`~_#FRMp?f0PkjXlCwvMRSYfMpxwUSl-lr{l^uVeY<(| zukhFOn!0Y&u3rWsef@sxR|Z4N3KI=iWZLDor26M1Wj(cJWdq_E(49?RXj`4W?5D{BZ6~n z#b#-WJ-?npKyPHn7=E_NXsA`yGyK4o#Hqk;S=P_tYd&7o`xe;Dauv@URvE4=G z28DO5hXdOlwk_vrD+`T&zzf{E>cf7S*``ZC&sFQ$%0oixR#g<06>A!5zY`0o{xW7CGm(e zweIme=q^}M9Rb!X4=s-lt$cr?d;iM(%GjDwfInKCzx=LeSiG?BU=3luiip@6_I!vt}kX3ZWe zwHrgFJXrMRusTbwe9!gn*A+f#FE`631;xU?ePzv%L8}7@RSMrz1QPm11ya-&KcJX4 z$_y_4w3t_}h}!X|dbzC8CTs6?X7jO6gEuY^V^mZ|qv-;yg_IR}gI|B36qoLJ$Afvc z0tEY|EzQfOzeW9S@4DQ@cptF2=jmNXy$Vu$jsPm6RL;8;Ez*!xo)PqSdOHg$v@|5b zSm8*7@dj*yC81A;zu1G(I}zInERoIu^bqCkf|EW&g&c*3{b?55rJaN&MwnK$Zmfe) zSjkK()m!PF8$`BJ_LYCx_Fdg*QGCOy+}k5-dLbRi$U5&8|%P#eD@8Z>l zadu7hJI7BynQpYih{3dVTx|z5N9V^qIO+QVu~{RE?+y36i;qq!{~Fm6USz7%+HoNV z?>fbKqfT(%00n^UY8>*Wl~au^hC@*xLH46q)Uer&+btXO|~uxSb;kFf)v*JwD@*w4i_ODL!j^hx4`88&KP_|lRx2zqBpr4qIb$k?AjH^|=3m}Q2Rv`L9zr*8`^ zY6Mp00MKVFlMR2&t)ng(hNR`Sayt|2kb%nP=lA$)T>E!SHW~1I5mo&pZ>5>D>_O#| zGlVT05wbV2Xt7x-);a%tcDzdN{NP2!RA;2 zErL`OI#0eu^^S$0ms9{qF%}ZuGDaHKxF`wMmDaYz+E;(bE@io`Vn*;Oj=h)A4^Ny_ z{1^$dV%m@I<-0U&*0=)dc(!!jg^^>qLcrIZo^iY>Sn}p2{!(Wi3O0aN6-dLp<))8u z`-^i=lBZm$CK4MAL}skx%Xl_)(M4gV5{qIHk)VS`L|@pTt;c|IZNV`z@AK)UU80>6 zQHW$BTLFI>eKd1DrJRFlRfN#H-Q1(po6rFo*&CKAL3(==LX4cWz{rYun-@AQ<)er> z)nFQ8ej4nh$Vubxch-NLB?)NL)=yMNp%Mj9!drn5webOQ`eA4q5BK0Me@?ikM~z4X z9%gW;<~lY$=^KXK`1JAkj-%i#44{Gic|L(=)_Z^GyhKpycEwz_UOBwDvOnl&HHB;Y z<0838oiJ;v?B;P2NDh`K`^~;I4j_!opf3?C8*gRRdZN)NLs@Cs8J~}rqtI8`3dNWR zbk>p5V6^C`%Y-fmE(7J=19)%lxZt)7TP$ur5s`9trG zU5&~l7csNly~7qatfdO`aTjukmQb)MJpMQ`tCmSC>zPZ#?( zRMdoRNC8k?u`m(z8f_bl%FPcCUn4J5ysfD@yw=OWyosmek>3iyl%wiJf#z_gpltMu@si#|6GauF|M+>4_`Kp; zOm@z)9Q~z)VoAC<7*wt6EyjfI-FZNB&z-%fwtLseCk*QiAI?wpwI=njv{S4{|YSe;%S+Gts!8^5SY#BtdiSRFc@ zu*Qp%!IjCc*xH8z7eHjs&=`NFEoJ}VIGn08s-xMeAq#O}A+JrloGxdGQq1NI13JM< zqu-x3Q7GpfVS)xZ8#I|)pGli&B7%f3(H$3exjHb5?9np{-jC$ST4=J1C;&hwp_lm z#3KRu7ko0#)MlXLrU5giE+P?-*;g)Zt$=gQ>gNVods#6GZ~-V5+~wx81CgVZ3Q&pe z%U2$HN)=%fP9|y6lD~hHMQb!T2~66~sKROOnpNqGxl4QB+9cNGpnyMmVSU2_3YNs| zjis}%Y&Ye$yxUh>_n{CMR#xyExN6M9AIw=rck$xV{?4=83`<3OiJ0vPW=Us zobX90SH_{1@{Dpe7&yn1Km^~&8!H0@K0z_ka>KD_K38%Qp6T=88EmD_q%fh$T(uy) zxZ?9jTa4cUb9(-LU7v35C)bxPz9&Q>#lXvDNCLXm9 zu;79A)IQ4B+GGzMmbFPhJw_M+W+Z|c>|ZMn-r-e~wF-a5?=}X{&25z1)-`7eT&lZP zb{S3S+M&kXzVw?&lfWCvalJ0r;fY<7ZY5CtVnMq6j)Huc7ss~bZ!plU~ygDt_&4XfeGcdvNV(ng%%k@xxHJjR+THx0Y23> zb;x)(p_6O8D$Q9TLwd2~z3@9nT{3SLNhWsDDUy3UX|F@Z#F`)Nk9WL^V6>_JU=hEQ zE8~5|#%m;n2sjz9cE+8lmGf%?A9gv*SnYusybOOa64vy@=epWw1Igkc<4Ax5ph5&D zu{9rY`yb;UKGeau3s9Wu+7$m=T$=+q0iii1@jC#(j;QVFiTOLfi{MI=o`g||1~A3& zus!Y!AV*Mss(WVGCIzg-i{4SuFB5Q@0A9fTokaXK8f(eVNRhjb`Z2m>r#v6{1WwUq zsC<8HQxzk6476VH*-pA(H+nug68F*ZAjRNg+()goH?~2R3O;%Gn~N6o{Jn)X-?+dG z>70tQG4yV;9yorE-U4AzDSj!U`y!OfT|fYe8kAU(ZM=TQ2WV3k@b)uu@_J_ zy+5yZ2k+pkJ-6N-jt{@h#sT5Cb9fTpY^8tr)F%L_hc=MRSdsk6sG&D8(pKgJbZ2z= z3FNIusr%9{3i^w<6n+|2KwV&Wvy*-8=Ssz%ySXP8Cw=5Y2hsUxh#gO&cSC*>Rhr(% z8WyokuA$&tJXsEbnPLry1316vy+9#tqz~B5yK2DKCF) z)-u-FM5ndA7>i=#{RR>`@43Wpq^aQRFKuqW{c1)w`Oz<7j>T&&PXDk79b2cs0RXBz zZG1Z1FO>qU)_lYoFJKd7KbJ0)CZH}j=>=kc>nRss*e>~Od+SSqC^2!e1tSPv zJNNZGmR#4%xpm(?86|Cv#)drm!+q`a@o2k!;{;(!;pb;XWwRb9%;2-O|8Ha`{|0mC zkEb>HdE#kU@EWN%_>3OP2B5F?Yxokf#e zR1ETDHaQ9}Ol59obZ9al zF*7tUG?zgP0u=-_HZU=hLCz?DwFOX}%Mz{)A-GF$S-88qySvK*7VhpY!7UKng1fuB zTW|;o9^4(mWy{&w=lp-wy+sv#Pft(x+cVt*IkA!|y|AghF-XGR&V`Ka<;U$0$v;0Xc)5+(4#)KS~BD0Bu2km&O1`4p6hObpC5W)!xj- z9q0rCycujPO+a?eZ(CgLOhHb7x9k8_X*qzR1IX?#XSu%|=m38o4uF|~`JZrq@BSl@ zrQM&KfhH#Qwhll$PfI&Y zox3OF-pl4xc1~4;!vvLDC*_i;o{~bpOX!*Ae zrr&#|?ab@}+<(b^JE#9hcKf>rsQw-hYQTTTQm}vPTo8cjccbeuu``*x{bK%qZudX8 z{Qq_NA5s3VjsCxiBwTH5{#>W}%i;gC4z#tj@%-E4t#e&n-ljm_{%scQ{?}C#^w;Q$ z*xQ)?@0zrK3-E0ggze02{y9cVX9-IWkg1ZTi;2Zw?edph{f|Mjv9tpz**jbQ@w5Qw znVFdWXYFmeOswCY59ha@{BsHPHa!2GQrynO-t>h5s=9MVtUe(ci=kU=;s{IGF&9 z62FNVz$p2fSOAPtzv(Te>~G=#Fv|U=w+!;Xi3`A}@SEQ9DgHxTZ!uMV6DxpG^*6Br z7}b8$TR!#Q^p-*MH@(Hw{)f2V)_}k1ExYk=dh;~-hyJ(=M$>=cTfLxv;hQ+Kf8m=t z^MB!gn>>quknK&Lg{OnX+f(}6~1^U@(kwCbit8u{U8A>KE0aIp3jS;k4B(1L@Ri=40*1jD;JVdKKi};fTTzLVAv|eEGJb9jR)&e#OlnXrp3=P`32lD*Q?N_v%=~p6|1X?)X z;~3ULZ=D}3u@4Jg-zwBtoO^J{aCEQt zA_E=SYKgm7_{zqoH^;FL3p6?(UYHHPz&R^- z?Z04pMODscIt2?3S-YGlv4p4fC)yB(+)xQZb^Q$gnX<&OjFUe!$n7^r*^v0^FO;y% zVw~rq+v^SVKs@Ps$9aF@J3TFF2a~OPt)_h{UC?Z7x)qO1 zuig7`*{4WS7S;S3-A_k@St7=0f)f?;;6e5wb)3~DKwv>iL_Q^MOSt)U@tqO@&s4)~ z>D)*71Jh~|(?p+H>9U#AP$>g{_mA?(RprwlQZcbJ=B#p7&7?0q5eySESKTrUm>f%0 z^8|dUYB=(v$0UscAx_v-I28&(!ymF!5VnFzGX$D-ta@)P@<$tKQ`LXDSHE6t!#y{U z#qadbZ0T)kDlmu^QfbWTohj_?;pcYtwXmWhLCy;cUfLL6wSyp)Z;8Qm2_*BV?`E_q*MeDs;yR_S#kEdABeM-A;tGxH-x2Y4(GOM_U=@ z7dPzBWw=!7L1=tBe32Y~%jxX0YxC*#;9qIIo>3(`^O(S?d;FcWE0Q94mZ~vEP4dAp zMG#B#IHfff0$(5(cXKsgTQgMj5gRkP2OxEHG6-yaOt9=j!fWFLM}wsGY{L}5!u;&g zJ{|6!Al&BSFzMmEn8_hzIK5w9e4pGAs5tQI2ebNZ@+3B+vIiM|9D)}-gldd(b&n|U zbFW!#Fyb>~p^4__V6oKU7n~9<@ZhmWl_4rUCa>i=jchqGb9A- zSKRf{Dgb^?olD=+%=LJE+9NMeD7FT)ZrT_uE|hH}eHYF5?VcZOMHpl&pESgD=&MtD ztJ3B*S7lQi8mke1PV-xu^8D0X?+VWs6_4tfKO|HTKLq0Y0W&B#*$RU9A)^o0=eh@> z>G<1d$ICP%uuS$?2U%;zafZ392jMM_4IxjUY}!BU3){iOe+Q=THU>4{D)bB^&Uf>i z=N0Rwkxk~9^2}J8d{|7gdJ%n+XW22DV0WsLi@W0ag1u9JUoi6cqq1w#@5e8bT(l*5 zBiNE35$MEb+=c>5ht<9?5(TBVl>(5-GT0}O4>;DS zI0$?KbW(m*2IV8*>H^h%sAwC0)bF{mQY3TeF$_a!r{}|=KC|3+#M`D@?mbLpF@rhP zCYK&x4+`jil%Gy)2u{aNa&0N;fZP6zha$BFi78#rrk8x=Xv0hR^uS%@#&03sW2i+n z^ z-IhYwP?hn#Vnfq1KY_=ijo(NwfbTHMd7IoK*Y?zZFubgjJuK>1KWuaJa8nV9)^3`{ zTrkPQ82AVH-EdFsB)WKFQxZo1obI|crKea zdgy?ImkOii!vPXKY4TmSo}f zfUU~#p3Bhc*}_c`;mhDWabS=2S>vF`F4_iilRzmT0F1=udUZR`0Y5D`+`Wa7P5AhK zH>%uxGbWIgz(fnb!_3h{`Zx)Dy^XMx)ZlOjHiKhrlG)aUx$&WR z=_unF$Sv$MDIBUerr#2;(QuBs$|-h#Oz|80Px_rc8-A04eGv_k7UW~UD1?MpL-2Ag zZaDFEl`~3_Uk)hiBH_%I?fME2aeBAkez_C&jmuLJ5aoS&8DHR&>t;kv*vB9ihL6vh zx3ZTkOO}j-@#QCMS_goR)xR!1W$v4Ef0h_l`;V_GuMtUweQJnJ0TU**(B&+D#|gpY zfzO^|dh!jZs@zh`=gKi13t3KP*OJ8s&wA|a;mM@iD{dcjL$#+Hs6Xsu%I>HZ8sInh z*|nxs%HwK1(Q#3H;RGTMnUekb{4E*Yz=cs0EpXX$y4$~d0J|9Gs)DUWS=O6+g?|z( zR8y?ORG{4+7j(F)li{$EjB6QxLJvX~Qc9G2HIDPCxFvOfB;n|mjX{zlQqmg#?q!Tr zl%o@7GI!_u8hAoYjwQD&Yo^G8{H-c*>j!{JVZK27>KUzO zZG$P$M){*o>f|fJ2KQ_b{U_>&?kCq;xE@zp44Vein;o{sgBGt+6FKL9@FdK8H5n*f z9>@x}DctAKy=Xzr2!;D7`42R0h&2k3mS?AOW>;ns^NhuU@L#|tKG~y8O&9_viF4Nx zw?qzI^l!X^^g6LJAS*ULsW7HFu@xNsJi?TJEJ?v!0LxgCaQ7cM1F=)a>R{F(%=Ed3d zkd7D#yo;O5U8KyV&uDocuo18>ao^=Guc#JZE#@qfI=6vc*B@P*i@{unWRKmXBp{d>ezXODYXW$J3$qQgki3+*=$vu* zDzws|1_UK{Jn=^E;+ttQh4zqDzWkSx*N-GtT9EBp&JZv1PPog5;?)huSqpN{BtMCd zY0R)`Gl;>}g(DKC$KD~(39_Q~Y8Und1fDc$Ln>KPetZZDACI`MZ=PYT8}7UAA;$MR*^ql>7c93HK3Rx#wV zmu_Q=G;OO$1JddXxq&3u8pP<^6a*fq%;tN=M-`5#*2(-SVaL(*03GIzu$bzOZ&JEv zRp~ntK!`R~H=(&NmIqDl`*WV8FQ)0Q@A}5i!cfS6oyWfWW#~bG9wP3)>Qlv@t-|r_ zUIJO#3Iu1-*Vny6b9c8Ta~88<=3^m*y8jxeDleO1W_fj$U#oAwAxP1dfIXYLs&FV&wt1HmK?Q$sc! z`Wsk(2r*id27IMyHX5)*M5hHj1=AG`N5LUG*gm5@^K2#88jJ7eYUqbBH_d6BKN!;m zlZ4CKOE8%l#{+TOj&WWmayHD^Bn>7itP`oc_xmS#*5P2%8h>r*(}QH1myL0g$4vqk z1V7Z~JWp7R-Z|5vP38MXJ`Nc+I%i}Lsn%hCW&I?e1GdV@(41?f{#A zQ#f)DNL}-Wd6bh-D-ORxG*S5Z59=g}i3Zj-qIGAU$ZhN7_`is#XUOfEG#4Z?6&b-W z_<2rSn4r$%=AB$JH`uJc7#x^`FZ2Q>d?rEOWrYUD$Lo zQZ&Hk^=)?}0yVyZC9EnwB?Sgl-E>fYn}b>YYK6Nbr++7-K9s9#R->lHInT&|8)_1c z85Ibl{{AD~odxF^mwZ0k^dUa1*H3Pq?TPwLt6#QGZZ{c9*RiCC0*SdW#sMCe?c0WT z?M35q{VfAI@Sf#iWl6y`*VF9CvnoQ2-eyP2q8Gm9rei%YBTKh_%iB)%2gKEX5Nz!) zIkWLM?a^jRU+kMt0=nhD(i%|Gr6Qej7&5MDdRr_{j-HJ&M$D!kPFU^NtNPCUI*|$Y zf}eE`i(F{hiQHVY!h$W?sQ2^Akn?sF)&o^D+x?6WEXX3xEA|9 z9=`>I!dwtg0cE+alstwRa%<5Iih14KO>jSejia73Q0g`T^N9G@Rinc7ORrV_mLeNL zNhiiim+`mP-GbH_aF;xZOV7)_`rVrgiZkykcV%5#ok*F)e8(0z+SW~fA^5XxTRXb% zR`Pb@X3_|@@Fgme1l8*AD;uH93WOU7uNzfEqU(hwN7Y1cvgo+fzvGChwQ1A{A)Xk7u>)le<# zFrB#xfr#Ri1`<@DU_eoS>?-YZ^AJM&y2w=8NCM9T4<2udr3!ssS>DG{rS5*CNFu)U zt4k8g-u@}8IbVLHp6eBM34WU&HKvdimVZkp4VVFcom#@~zq1i&dfuxTj16?#X%mkZye0GX-z0bSFi-6?Jc{U9^~D_YRMPlL`h09=oZ zx2VDeUrnWl97CR~SM1ooWkxQ?S=&28tbvpb{ytdD8(6Am#oJ6~SBPRdmP0u?DJzbU zLg|pSivavec)M&&b(-fg!DZ23=|hfT4y8aF5=TY9Ifz$Uv5j=53pur zk#4e%psXx*hcM=w5J^V6^%>^X-b#S4>bB{T@Ln#X`*54NSI7;APDv*aY;%PFMaR)m zsKy900vkg#s^*jqi34ZV=TaT#XPqv~aH;ow%f#-U_qAbvJ$~d{bK7Kf==MBwVZFbW3!O9 zkMa17&vbBXomR*<0iIMOWYT%HuEGjbPuG7)^7MS$Hqpv6rJM*%F@0hBrs8euRb1^bw2G` z2jbVaEd_GS4P__;_bKde!BPF*85H7`(LDLq`~c*L1H6lLe36pcW@(?oWVjr^h1HB| zGucvqOKXopK-{TUuWe%s0RAiM<4V1s?TIy<$`|@V|K@F{cB$GU=akim)n}dJ-HI}X z_xitj^|A8#h?_oGP)`8*eKO2+r9PC|tcS6#1&--{5BC~E8e{}O6`uubzZAEp(ET)> z4cEKs=CF@RJ*l2w?)lk@E8fQiCb^)CGKY?TWY$pZDHOn|rJIX@5(N%@V2Y+m$E~7pJQiF(JX;7h|GILOE}PCrULM zGpSk0LKPZwYH!u8^(9^Xi)B4HS2_0TSp$c@!QH2G>52Z1ilksydBYOl}U+g;P$l+!E_}0fgQny?^feNG-$|hJ`Gjg)nIqxmdCNe)Z_e{c(zNwP4!@X# zxQ?7qcEjOE0$uvHokK4sp`4$l7_E=;3K||%@+Q#-UIst#I5F7;@bPu~Af2Ka-Y@RP9#BF%`$uFGK8gSe#Pv2Q&4|WkZsQOF)kW*_Z z!U}q1@eHE3fI){Yo3Cc5fB#Y6xXR6mw{w#{;<|RL%_}Y*ukAo_C$q8D7Nuk6h&9KN zidK<;1-|4uIwWoBn))b1ALA*1!Wl6oiaqr`I5M@Iu}xsQyn(LGhn9fJ#L#}=4rbST zBB(C|zKnZoT3FDd?hiKGj3govRlbn$RG*qu-CXvPF9!`Ygl)@y0(Z%)&h)EW>FMULc6KN-Fo*;}XB`GWDWMQ>p1ZU-H?ygY zA7w_OLIUR)B&t1|BDlGK7vODF^3dtNP|HhONC;%#cRE<)L`@*J48i${9Qnu|y;CHXq07_Z1KxxhTtgnRC*85p_;M8QnOnsb7o;`$I}Dr8&tJgOMlZA=)VIQ*{Mp+L%;nOI>j! ziUf`IQbJ=a_lksna%FT1ULUJfi?<$Bn07x}j>V8lwlt$6!WOaaeweWH_qqerUKGP^ zco}K1iPh_7hCJ=GDs0LCROCMSL6S9d>*?6cT5rQrv5(IzY-WiR;5=EKfQK>*;`y(- zDx_D!FnG;%pfi$ioii@4h;(D$98&o)9~uN_)=96~i}o{rj)}u`Qhaxg?2WKd(rm0Q zqK#lOwdOMqPazWRl>u{Hnu{Sy=5D$wH~&Pk4ruTlddHEsMBy4Wt<{yIKp_NVyelVu z*wHq-D;L{;a;_ZL5Gr2&3|GW)D}0gf&tJb$0dE@Zi#_{v`nx8I9siJB^V* zu2oXs?OLCbchIIuv&y8}CW(h}g2GGZ*e_Yup>Fqo>ptBO59Kd+Ze=>3m?=yXEz(Eb zq*0cWU~)LQRnDwQ^UsnJRzhl>hk!g1Ig0uy{X-=VT2p#?x(<@W#RG2U{S7-8hqh=F znDSSr^Zt{SEZ@N1I~VPp6IcW>^in;;pGH-FO9Uf8aR>5{aaX6`ypJ|IGb^pUpDgP3Av;jB+K%DP{Qa@vQ1vvI^xB<=DNYU*0I`3U{Me&AK!WmcvbHDJN7 z%PEHGclP^axE z=sbhT#pd#p{@GK`56SmRHV)899roCX$9SlJ$D>l)Lc)c_3~@sIO#E7H?Oq59srq3t zeItA>&b>&L?a>D7i(%jC5^x~U$bu?5Vm#3GukjX@XRG<2MLGhl2`19GL6ldpgiJ# z-+e{ZBAf9xYR#^^YdSUNXVkgQ#gNA>>u<%#mO8G%Mw>J(>KC+PbJeuYi+Ua?)O=K% zqO9>cWGEol)^m?nN)2W+W9bvMd=)`@{b@#gd!*04!a5_hCPCwYMT$N+rzSqeT!>B+ z42`o;8PZ+|_i>y{-CE^@k>G2jW;wur3zn;^wtp{(t&I#hfS`$QS){TtUr>pL97`*h z$-$=a3Pc^p6P1{B5d54e4bOrN5TyPbb#)g2vqoc-C*Aik3U4$N$wWKT#NkO1Cdh^M z0~nN*W^V+e@zA$*P5gk#m~x~2!>(Ttnp8f4atq%W>-WurCp-~BBdXwcMDNmnXx_(J z)w|Hx16(oGuQVpJd%ie;xoSm+E2?*;;kCYq8|guyW(dpN`S^x3Xk@!ImGtS)O*&NZ z$XTnzjD(Im)hbZ<;OM8mGl^`5u8*nt2p5B2Mbc8b=0>zV(?4^%gN93UY}%ZT~x8<#+NN(wVFhJR3%r5(mk6`k%e-j3Hot6p!#-p!X? z!fSo9YyZsZ?u^(ifn@b8nxuCZGWi+=ld;JXchUZh0~ZCR8IpLX|4Kc774K8Juy&Mk z>jp1o>N|M-Sj(%}_v<~L!gDleMFfR6Mb%1%4&gTJK8B$Akn`T!eOYVEwhtYUb=9gq1Z+!ZHlkbdU~jzOgK6T?s9sABVZl&nR~g(mIttQldJ@_eoF zM*AH3>h?V~E%(}ggA@K2I8UuP8*PUw7AH%U zw&V$P|883&9F-bh;-`;epoW?4krCR_>Gfo1yrv`%cQoBV3&-d~Ki-4Q@tutWLbtko z6(+e%s`Vjjncu@2e}Bg6dl$3!rbo5?5ro#C^-Z@>iC1ZVnXA^7nt$xP?A};JEQBDo zoy6^B?n(zE>@je|_w0T&BikUn)xRZeQOv#$f(@!VM|T~3qz+`^9O_;TrlLJVEof(_ zow zx9(yM9$R@-JBhy#O=0@;-bk8P&Yyh;e)Cnvea}liFX=sX#f~G*uVIiZiF7-3viFse z9rYHvQBtsNg*iVbrle`S$ftKqT~T8O>KE;MfuR_GdE(UYZ9Hns_qbFS07&?#v zBlApyiO<;lZWPgH6Zys&XlFV8Gaujku#!b-ahoQ;x9{=_V_Rl;c_rTt(Z3p%00HA! z4m-vsnX{G@&IyKbiW*UmE5#K8#VjWv2UOUIx4A329p*p{-n#6UXsexp-db8^95|MT zS^D6A0e2w>iIM)_0K=FUY^-u<3C^Q620sY2V4LGwf6Y5$sZA>{6+M4r=5!66FWfMQ z_d~-|8C{5T)h^}1a|trm%lOgQr1RQoym>Sf)8HMB5J^T2{*a!x7R(!C3 ztF>`M@JzFAeXec6q(^!3CMiSY;CybdlYdtEx(MCggGJd!cN;O zkF{0XBd2ulok)h-oQz(vEku4Slsnb%GIvq+a4}f9$C#zD%Yw3>i3EG68tY$wU{n~a zRZ?GNmYtvK*1pc+wn?=Gc1JKyV-cE~fZFD@&XF3`jWwp3r==Z$IAan4Ih>gE*b`le zuIl+Xw5LK*wWGq800qT)()a1trWBbUZndZGrPjiMiQnQBx~6oRtx*x@QeYfck|;iICw2i$B| z3Uak6oUA%4DZAw92IisNgTfsze*_jMVL4FOqy4JomdVoUh{KEROz^K`g2uN-Oya6ymM4HYX^QY8*p1QdI_!!1O*hE3JZ<>XUu9AUkmnbNf1q%Jr~|>uWUrkF|0VNe24Yl-Z;2zrk1rbY?V{H zJ+8Ufd?bwfacUJCsLd6Bpzw?mQ%cXrJ&ZdyE>K}M57-(B0}(-_eCv2&3-TGMS8XFq3Rd#zEP&R)p1)!~-M6 z5GLIbosNIw%b-q=yk!4bibemERlowu^k5;+*s~|9xVPKaaa3xT;Y)))zV%v5yv2EM7Pc*S6I{kK-vuG+P$`d9DOy^1`jE(rEM3(QGNKBzM+Del&a3qE&Bhx3vuPR405JonY& z2W$Ca_h4{$j{|nhyrQFkM~oJp?W^IrHB4^~2PP=jjlVNJZLi3mEAa8Eh}9Xae>b>%G)95Q;&rO%v@qUspPRdr6PD<~-^+7B1;*2gh^UYxM^tpA(H^uzX1>IUU zL!z{cZNq$h#CG3-~0Iqr2F?L;>3`dMF_K3 zSC1ufLpxM>;G0moRR7=@IUP6CDsZE4?U zb5!(G_EaL?oBDVS2yh3>NPQw9ptWgf!eTcZnFvu?ej&7Z!~YqGp+$B+KiKcs%UT*L zOtzb@7GB|FARW%{UMzPDp9Am8EZg+mYL~Rgs0F-BC$PSf|0l{!@BB}?v2KgM(87$o z)o9H0U0tjFGE1_1ti|l-?~(e`r;|*I>7C{ax^Eq>>cXwxfiyI8oTUCJ zFPsvQ53F!lF&curObMq9tdmGn2I$DXaJHtsQWFIECSJaeYxWq*Gf^dd#Hgla?M4B+ z;<3>N1Gv!;fIL@eT}#(QZ5I%g@*5+|va(OW)T`Vgd!e;}nc=snE{U~ZD`nQ$&$i6 zWXw!@P>i2VJ9B|Xx{9yz2$qToC$Bd=NF8H1VEb8*-HI(~-GtiM}C1wMBIV57U><~>g zm-Z{mzLQ9xhq2u1l^0fbS?lPoV5^x&bBz z)P&G-Re}SL2%<*(r>N*>+FoF=?!Y=~_1+AcS-ElciX zk>(Cqq%b`(<=g*rqnJM6-S#5DA{j(R_gjHHeTuipz2}i0HNZ|xY42GE?Nk`Tf;3Kn_#E*7 zlVuNVlQRWGkRmRh==TfLBU*>2(lxC#`;Wi2_X_}Qnw;M5;dpoWA!vnz(5t;D(=|f0 zZoySeN}tP1`8wS6ZYyv_nGYuhRhj`K0&IG`N%J>5s;MXFK%ZrSN-x2{zsRZD0>K6m zY`SjKiN28NsX(faus=h@_=J_f;fmLMr;uo<@xSib^%Cc}yIK#5Pe;iSABAQYRhB8gU9&F;CXMF#5W0@=EJ@uej_cX4&OA zmE}FuAcPtUb6_?ZP>u%`Gct|<-+$R;Dy;PE>+&5sA~?|OFxxr}K`aBP-|@Hf7B$Qz zx;)7At+GAcarcL^z2TD@wmI}?n+`7=(YVx++;PJ8KM#d4VUuHdSISRLbIpGKchqlE z&Y{jN=`EcDn0NL?R2!XMk?KaRube{S7n)1@-b+<7d<5l> zL3FebmqIw-)cXChqzOfVMn_N>g)qp4q;!w!fzhZxMK9^km8Icbf8Qz_9__JH*&tHl zFDyS_3mN7%WOaQgcn8O6zJeZy z-p9tsF|}A9L^94HVoT$ck)hwjRgS9-?p1C0{CGt$7b+oO>WDglJ6c)UcswW$t7*_# zb`^5~j|h}1-bsP&wdxh5D8l4M_Yta}_FThE(rm*_8eX{MODS@m4Lwghsky3p^ARu! z%&KY@ggb$t_!=_&u;`{}XK5xf<(1_@y0~a3B)!^|^zf$PKcCZ>U4ZaVPrMufEG_#^ zOdMPU;ZJjd488&+wF!w?E+RwU80+zfjbcvzqmpQv63t9CEtM z!{}O^N0$WM#tm&P8BQ-;;Klj%Jz}OF+COST_3utBjhEDbfJuJjFr#l!0}hx8X#vS} zWk`dI5J>Vkf(0OyV)Ailiow^kgvrbi8zAAmOuUDm+dq3D)~XPV;(O5a)+}wJtKFAj z1-7bGudMT=2X?PLJ1wc+bFIEAcRql$`tfA!8`O6Q~4W>0@D-WyHfW>tE7`HF^y2 zn9pzfkq?uT>Q|?CiE+@Jk=HE(6=IkjsLxSq5hye)c>#aab@s#%s-)_WHK`_T*338% z1u{Se*PbO-gL&zwmbzddVoo-PdR-2>-e+MDtib`^lqS5Y!L0cR`Ae1Tqs}EG`1Zr3 zPXusHbX>?ht$FhZEyo)13v~4EPY&&#Q`e8MzWZxHNh3RQVh-2hz077Ks(5rlSo+V#C?hZ=w3-sdzs*gVt}6#;&qXJ5@mE=~qkEa0 zSx^DlRRbAswx$Z88Lg%zvd#8H-S({jzglyU=$Z4NG2Pu~|HNsMIlgTQKqcVBJp`HF z8?HxW?-{6{@N6W1%kbh{De7X56*V2X>(t&-xRJc8@&sTanh%5arc7kpS2yEy4vmma z;BLGBq;eq$rgM_#^s~gG8&ZJ>A_{UJjpzdJetK{J<}gr`YA)-TXjf{GY3Dl0O4gY~ zniG)EOPkB7$8`pv$qTiLY@7{hb@EFLiym_8;L=q8&dr~XI;9@KaZl(Bz2r~W(s+EB zn9l94})k7!H>lvlI};^?tkq*^ec>E9I{k*WdK z8dxZVw}SQzK`-AiCFPa;3_C4gxw@P`%~9pN-3_<}lGx`DX{MYYcFg~HjVT2^Dfv}xM}R*c&Prpe}<2WW5Wtp9E(Amf3CV)X-M*S6te-1aX53m2Kc{M!@EZ#C^vcLZVIMPIj&B}g z?_mAUOS_wQXgb)7Jr}L;2rq!@)aE=LtGd;}liU z+T15c%BZxZ7sLpdmyipghfC@gMIm2m`NG>BZ9Shx*LvZ$Lf+TN5$%@965Vv!dLQaz>N&U3U|XtL}eoxVt163?B#$^2H+e#pgBh$j}$?w5qSa>lIKuvSM7OGM8~+BdWZC0H9uU)@+IhMt7?BKg7|u zPwlC66!AnHPk|+x$U6)(^I&USP`A&oPtBQotgW&4@2<&0rI1ohOZk;k!yaN@wT>3c<8{UO#|?1K>Zd$|WnPh+2JF zGVr-2KKNNRGHvUXS(@_aknH7AXr%X!G=f2BtU=122}O-F81ySZdHbRZncK zodtsy`j*Bg-~D^+<8$hxUgeYr=&8`bgFjZdjJKRTb0bSKE}G2Z)--EE7_u&8T${xy z#+|y;#zc3^HO_$kS8O&(wL#4fRNr|@{T+78=8@p?rd|s>O|>r9mFBdQ=zd?^+R8Ng zIzgfQDH$8Wh%N}$JP>DpTH&5k_3M6j?t|4^czXnU&}}eozv-0u@xv8TJ86GJMw@6KIPnQO)R~PRHw#STKwz*uhxVFMNF!=+cYcbMTxNtuy{Qcp&yof8iQP`>E zJB?ZS(gs@4Hn*%)Fs1fCnh30SddV`LG0)#O#93it2~Hp-O{C{};Csdw7%#s<$k(rM z^`5xN*U3j1n_ANB`oHYE51^qIhn;ukf8ll`T|P#B@T4y^*_Q1P^J(Mf(%P63jiDpQ zM+*X#M3Y_^Q5}4+iZ`fTI^su5v|;+S4&a9q4R#90Q9~=|pvX5d0K!z>7%jC<-DiAN zS0OEKentn`c(?6Uy2FRwAftgNsGiZJumxk~l79gKBQ`V<1abahnU$S!=yMejRzEF| zV8IDxAFKi|SoxkR9=-r3h>o29F?S}X=O89mU}0zd@8Cqee-l8G$pOo?=_BT9 zR4h*!73viX+h%f}6zlc-Gbo9WGLb$AV0@l|AGucmi9~dpIoHK2O9Kfc=+NKtUU{cP z`sNZ$A$6*78T+NN`8A7*qa^B%f20fS>%c)x>asMiyO>Pff#U)W)1^ zHU)z5q&U#RmE)r+(;1Vn|5f@n}rHq;`=Tfk}Kg8rlWR z^r3ZZKiXMrD4IEGY|`}Q7(t_!PY|Rsog5&TFq#8zmt(9C3JHNg99JCnjDR=!-Lzmi zbh>{a9n?sA(Wd}tibjsaM|O@7=g=?mHd{LpDF`!i@7;7M}3dAiOQu)1`waP zyDHhrby%}yx}U((X0~O66BbXXEr>5wh)sDi`;vW5kzq&w# zM%Y%1&!X?|jUqk#H-9E(=FxXYuN1-2Aqe3`!;)0c0ZS|0`H!PJ|OU&`{jkJ;WuTPrp1Te9$2QxiZ{@RI1Cv(?&gaXYMNZ%>b=TG^6e0JGJw*H`gHr}RSL7O&C4FJb zG@`BX9RdC#uXu~7q~6SLhhqrHX2t{G6<$YP?Ls~$%D|-=atIS%Fxzgoj-`6+iBoC;u zkD}nh#!%_W^?OCc3H_tHRq1+z&`|!YqMKkU6A6)vRe&*Kpn=Jfu?ta-o26~gSu^!( zOyRSPsWN%*{_pf|5fRpaTNA!_z=$5l;9C_z9Q>JocI@fR`(D+-G%)bF8xOhCvqYlf#hC-K_`zy%J1Auw-?VNRi(xKd}kCdqgRC7s02lx(kie;LAmdxL*Dl9=~8f zZZLkrSKmdm)>1VhP2(SJ@o~}ywdYe!9Mye6iYWg={fB(=0Fm|-V71JBPttfEvvXvi zkigj)sF?6wZF~N1W?_+6@Tds*iDX0WrxR$4vv?+%C)Id%SLS$lSJwLXEyj z;b)Bzz)m`D8RBq*t4Q}OSj!V%6>}l@$r4{RV?9{YmfdCn!q>(Eh6x1JQ_jSNp+Z?# z#^bIdbrdWA5V7e*Dh~5(jq@b@2r?|T|8Db60t!Ts{Sg#iHzknT1aUfvox zHMhpXqKQC1)eH5-m<-)LJbr8=h9AhBqPSF?ECGL792b~0i`a$l%F(0TN&CfMb-_KO z^eLWt_#*gC25s|*0Fn$?l;d}&-((#&T7q*t|GFpM)%kafjNN%R;JBMO?8)yMHdM1{ ziSGxOx13Yr?7UXD`yrPDHEXjZ62W;rp5IYT@trYQjb9aKSg;L58)x@Dq^18=6jM5Y zmsJ#c395T>NE;dX_>v^4wjPo%#27KW3xOi~?Yoq|NAwmAJuDJ%nuU-yEoqCvmAhGF zbFoTBX&XNvhGEIyya2mBFJaUkFO96nLc{(7*~;% zLx`V{rBQ;YCT9^q4ude5fI<;x7FJDpr-+O&tG?+X ztuuP~s+NX*>0gAz2^|{-apLAEg2!EjikRw!1OX!=)uigTi%**!L7xYt5?abH{>#@1 zJh?iBO4XKraDY>RS&821>6dx$yyRh8OA+M?LiJSKV4@SCa&|ccfcs&-*^Y5az&c*j zc;9Wf;}@Jy#p9^XPjWGq8(3z7JtQT;M44PoK=%{1<&^cKxHt$YV3+leTy@ID^p$ZE z>bGy9O;uHs-?AWK>`wF$qY0ZM;YzT=Ob)))j)HjO?5Jg26|=x6XH{&CQ&tbOp{t-0 zNr@`cg{}L5u#A4-kN^@I9@Oc&zJ{sjcAO7~wds<<7WzBQ!p?zL`hd*|tu$@Wh`(Zx z(j_!iHCbom?~8oM-kTzpKT=pJO-s#lEamFmlw_1k45X(**r zkHrgJYp&FV^owjD$1phcmtAvn3&g|lM%41*(Zp1XJ0}5=^llahYc0oYA*t;JIex;2 zmkSj@N23FdW3~~uq}&Rpy-Ayd*~?5a-oZ9?AdiZVqHgeU<~-AgIQzE2OE!f^RP@tl z9apIb(W>rBtWPPQq*EKo>g{66N?9~UkLLlF6|G-QP%!?Y9(qeey~F1MP8tTK(VDRF zBsxpifh!7&_|~u4W5-Nm41!Xm@ncD;@SIbir^dYpK32hr+nVG-<^e^PGPVB!xJ3ps zE45S7wgE}>!RqKwl7v4su_vb$deLUKIEJjT90){%;>CM?=--mV_wB*2X}hoY%GCJ4 z!_f&HMaeY=c1{ucvdwQiM~*U8hOsv0440gL{PGP?_lc)e^R@X#nKYa1#yLcYLD}#L z1V0FDXzsCo8{-+0F6DF+qo9>UNO>xr_c`ds(ORQ<<#h*S6e6FYs}z@mb!2D)MR;Q>}GoVyRaT zdLA~p6^U_7xdu(y7$~gEJ{j|Rm z1q`hFiM&wCZ4+$+-*-$J)T`^&lZ)RS?BBW4j$A^EpBi9R2QE||dHga3LpLKQ$+TI0#-3%kn;}P_&^6Y`SJPb4I3zag98+xlF7kL&5?FIs# zPd6`jp=RC}eY*A}kY4KUP0Nj75n2eKjIQhYu4CqdHO^1A-^WahZ&!TfG4n|m8?{Ug zmRxvP_o{nUwj~35cc%G_!hJU`%X(Zw7pCtY1KU@hx0u7k0yr8{4+5?EfNYvdgpeW?Ox zb}Z$u)582191oo)3nb}}v3xx2U&)PR_-P6dL2;J7D@|3EV>(>jRj?WZh3)40A2|Wz zLbdsF$DKUSW4lhwMuZK((2uFl)Vr?zLvB~6M7vEnrU1BQ3a!cH>Fo*V3Ijy{*R!3~ zU3^^cCS(z+JP4YE*7_UUkG5y1=Zzj&UZn;j92+ZjLrk!F1W2FUAVYGfk3QN+&8>)r zLxTASwKTwB#j86PA8}e<5SOuCaC=47M2Rh|CvYm7l)z81hi)IZEmhPsRz*dS_E3hK zmxGuU81mK#+N0WcHOR~|bK|jV=xOM&v=E~O%aPF&Js`v3IxLgLupdwOljyu*d1+yg zrt|hxlyG{H*O1FF5>P67_qsa|qXhibR@>M7*UgyzL81R@IU=Xq>(}+Djrog*ofjQ? zLf-Z|FaTwVsK)@PM^V@|z)AMu6=Sf1u;1fIs^+3&=AyEk+@nNwX>n$-8#L457+R#o zNvzDq)RlKYlvR=AC~~;S3Lz zYBbSPh{$VX)x-rR4vbdH>9S8il&DANyWqc!#E@Bs}y$I-y|dM(c1K{aRZT}8`x7UWx`YM$s@My-Tv zR@97nb0o_3MjVtq^jrNRqKy?_ct?qIZ!XK-Z4*~+9X_l(UmjOS_uEd{NGZubb1=X;xm(fl z!4ClltSsy-9IQO7?3^qhKp{Bp{{Sco!BfCFct9P6-~_m=@XV4nu5RumteiamUohb0 z;YvmWrv(ORDA;YVpmx7$O|mjIwFtb1p~AxbnB#!^;7KKrCu<3xx-#W2{&*tPG1OS{ z^|-M;vN<|^@uB<%&B@{@LZb|ho1Bl!0$&^wPM-)nYP|-A2Q3OlEv_7fIp+kAxPD7rVoOPG5-+e`1p&mWX{+V-A$1_)sRxpi9peFJxk3jyZeV4*hXf zzqwLS=J@E;iB?x80HKJ+5R()`rvav4weKJJqte4zX z02g>yb@Ef-rVcTI1#O1GaZHWaCv5ySG95z+6V;WT$PdH#pJd21u#I&`3RHCet(P&}A>&~0z9BG_`FPKsItTHvyl z*QOme)j45huBrlt&@4>H@6G$m-DUn-J8Zs{hp5`jSUSsChnsF zSihLi_u1o2gzV`hSdBt=aSL>Do=yM11mywImVlE2Ie87>nbmB3E&kE&Uv8Nei5@En zI|=JQP}Rxl|8SA(-}(<#cxD+#OQ(Mw_kTKZ5(#nq<DW3(tR3op7#GRm}u*=(fA(fIw6l7B5zuJi1V2 z0SxX|5)7?t+qA0?0EM3^0LJ|D?3bDQ!tk7=o)xYx{xEml17ZKu_LS3-?ijC0IwRR? zE=CkS3(Or|5=K(lxhBOzKxIYYdRlh0UVRGc&ptyE7_r3batg`IdGj);GvP{=vLWSU z;CA)DJWA0xKFv2#tT#PXXWE^{qCn{Zixxy1Fb0j4sx=UdNzzpAXdkM4{c0t0pGmr9 zqtV0w%fjlbv{XKr){5zz3T|+vJz6>J$PS)fk~@K{a}MKoKEN;M(5at_{j|8DE~#y{ zUvcx!(3-o1T@kG}fVDbk{H_@y`T?C(V11tEOnH-U8dEPrww6tieO6G+4YW`{e3clM zEz7TlyMbKopsX7_>|JbzKDLc;erKGkz5wt1zb~Nf!-Da=*kY*)m*qLL#ajb8C3Wr| zUEhke54-a6SK#a%yT_@I9HU2bNAdAlreB(2**T9K^P)p4W4G!PC7BNt@}L{`x7@}X sg3x1J0qUKI#Q@ug&aX#3WH5FNF?3K~88{IF8!s;_JSC-sk|g|p0Xsg@RsaA1 diff --git a/Automaten, Sprachen und Komplexität - MindMap.tex b/Automaten, Sprachen und Komplexität - MindMap.tex index 14804aa..7a637f0 100644 --- a/Automaten, Sprachen und Komplexität - MindMap.tex +++ b/Automaten, Sprachen und Komplexität - MindMap.tex @@ -406,10 +406,15 @@ \item $TOT$ ist nicht einmal semi-entscheidbar \item indirekt nehmen wir an, dass C semi-entscheidbar ist \item dann existiert eine totale berechenbare Funktion $f:\{0,1\}^*\rightarrow\{0,1\}^*$ mit Bild C - \item neue Funktion $g:\{0,1\}^*\rightarrow\{0,1\}^*:w\vdash 1\phi_{f(w)}(w)$ + \item neue Funktion $g:\{0,1\}^*\rightarrow\{0,1\}^*:w\vdash 1\phi_{f(w)}(w)$ \end{itemize*} + \section{Chomsky Normalform} + Eine kontextfreie Grammatik G ist in Chomsky Normalform, falls alle Produktionen + \begin{itemize} + \item die Form $A\rightarrow AB$ oder $A\rightarrow a$ haben, + \item und $S\rightarrow\epsilon$ und S nie auf der rechten Seite einer Produktion vorkommt + \end{itemize} \end{multicols*} - \end{document}