From cfc6b598f62d4cf72ef33ee026a16ccd0bc9ef39 Mon Sep 17 00:00:00 2001 From: wieerwill Date: Sun, 6 Feb 2022 12:19:33 +0100 Subject: [PATCH] =?UTF-8?q?Pr=C3=BCfungsvorbereitung=20start?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...und Komplexität - Prüfungsvorbereitung.pdf | Bin 0 -> 50258 bytes ...und Komplexität - Prüfungsvorbereitung.tex | 90 ++++++++++++++++++ 2 files changed, 90 insertions(+) create mode 100644 Automaten, Sprachen und Komplexität - Prüfungsvorbereitung.pdf create mode 100644 Automaten, Sprachen und Komplexität - Prüfungsvorbereitung.tex diff --git a/Automaten, Sprachen und Komplexität - Prüfungsvorbereitung.pdf b/Automaten, Sprachen und Komplexität - Prüfungsvorbereitung.pdf new file mode 100644 index 0000000000000000000000000000000000000000..a6a7f0f5de70585fca21ae565a6f3d1ab7589c68 GIT binary patch literal 50258 zcma&NQ;;xB&~Uf5ZQHhO+qP}nwr!iw+O}=myLp2zRjEH!Nndr>T%YOco;jonB4V_R zbgWRM^UEXaP#gpd1olQ&P&_}*T~|7Sqai&@&Zm^u;Ai`f{un2MMh z+nbm|@$o@9yEvH|+Cq73&Zx=SZ!y61o~c`~V`r%PYIoTVtpeQ8=?3ei;cgE*#%xNO zk4??%^G`O}kjplrb)r}hCz0)Wn~-pVm_`&_gy7Vo@Ie+yU{AvcQ>|(sMxmV?vj>$> zS}~J@I2V&{5@WmhgCx)1)nuYx08WsS5b29#<* zu+RMWG>h8f9EssdC+{kE@b#SQZ>Of|gfAuoegTG77*tZ3+c>?1MYg!q%b75=7C;{UXh1KoHvK9;A?;HtW@p zVc92{%PqUrSM%w5BBYsB>LCA9_@e4j$_CrGd?eToY-%?Fs2W4t! z@_#|_U-rKP#K`%-kiM^*|KGsbx|=HG z+%(aGtN{$TI=DllZ3l4=n1W%LI52g1C+y$e-qH>1AoFy1JJ`Lp&+WF))@tA7`)O6F z*WXsPXQwHR;vE)U+yWe$oR}OTfLM%6oI5!=H~?_0cPLs~lI9AO(HVG0q*OvnAQS)t z0kH_c0m#t-po4>xQ_%`6?hfog+E|_d88DcCi$l)0v4RHO{F4K)_15-gZ|Fo7Sf81Z zou1i9otbz+-r6I8MS$2h0tM0tuoVQ5L|vhOoNNLB(=??Gpn(8#Vrm7g=*rp%ngNV5 za7Gx$9ENCUa0god{Q_iY4+j|d8$6zVg$Ibh9-la&XMiU6<_<_|DeH)dY9bTRO43zE zGJpaELOJ;j6V}NA{qqW*o+)Or56Jm90&eg=MMw+)(e!?GV`W`!V+9VxAhEf{+0hk{ z10eM(kbn$AU}z5wA|b3RfItB8j&HBb-BA1WxAy1HbF3@#_ecoW_&r51)~{+{j>&)m zq5|6eUAjHE{7SF-ckU|icRSaQ^uzsWPxWuF59o%l?e;JE-k$NV#5nz(sGR04^P}JR zK3)^c$POMvmU{(BBm)p&|T>$;lxSK!cO>BOu2|=LaCrHqh=LbX{k4GBU*BBm9lO^~c;-z9Udz z0fF;!s;IYfA;HygS%MP&#rFjh$mxY7GVQ6T+3RE82PYOLY_H%w6!Fw1(a$H!v4^GV^-B zriHU1wH+<5{LnVvjP2#*NU5Mn^2azwOa{O1G~+N4-E2D3)X|B6?415O)eS>wS{;|l z!Qm8aDxi~|Q-4HO{{+7#E_;3s*8>BLXE&4*D?QmkU4cNP+% zeS%?&MO?sNCiLpQWjg~*j21+vy40=6BMOoKW(>Eu0>ATRTtb>D1spNPT2EdGL7!A`WK};fvPR2V7psTZzGP$SLCx}^#5ufs*q zx1Z+qn`{^^sL+OqVpkh7Ny-dH9kH=v%RIgsYO!y)C2OFTySRQM1@R>&^>Vm{w*KN6 zJpGH=zRJ1vE;oMXSVegH=odmq(y!TsxfZZw$|M{`*XQEA7A6K#4~cL5!!Pb;hsDXi$0YWF)X0t%l?+w_!Hei8@(=MT~T`+=1_`YWGMz_?=LO@S3Wn! zOUi-EY_gu(2k*6t5HP2tU(|={<9e@&1-x$7AqvOH-%i;j>e7I(|E4F;m_UAcW_Zr& zu+Sn=3HjB<+}x2jO4>rr8>$-?&?IUPR#H+waDfjHTvT{}ud1+7E8FX<3Gj%`9GJz{ zjl4xN`cFJRe6LOCIC2|wW*SD~d_yXaJNhdFoDG#+8u&sHn``QWTU=ZtWd{R`R0vTT zVOX_3ikCgE!NsOs4m2ucZU7Jh)BZHnZbh#<&CaO!dp4%-GB18ES~(lO!JLq2Y|L>r zbBFSV(2_@$321oDv$ZwW3cOd)=kjdL(q~cBm};HTjPq=k%DN!T}*b|;zqt#S^r6qtB!*hA$9pckYhd% z56xBt6krg3f`O6nvI&$>eXvNa#C{G0I9DujDxY>Vc<^vA z*pcRF<82P%8KeWg6>$j88ebat=HN&N)hUpO{ z!o&&hvr+PbHeLw)t|7@eI*vW8*VOyD`;j+Jqm)*a$*c}JmQ#!Bkj1(TcsGe1CXkPH zpZB0=zqNB3{z^y?#s1y>VdUFZDjyu7a-9Mwed1Tqy6orGoy#ESe)|vI@`(7k4iNd4 zs(^oK4KnMJ1Fpezeq$-}o#s2}Frw^k?A$%DvZK(nnhTqs4$>l=RV4glO3Nl9#&eI} zj|tL)TmCxF{$_Jax3N4Wh^%;R7o!+cO!G&r@&~SLP~7MfosBQ9ac#pvh~`yDlj{tm z&*q+f6so6&5$bC=*c3(Rgg3i`oHR>#?W3|l)=+6N7@J zFyE<1XNC`h=bcukBAAZ2kH$x7w1Uu{N}-{|${GE|DFn@vj-abQ%$NDP+m*A`eMi`*Idz%; z*n*_;lMFc`CHr@Y4V@sNPpuyP`pEoIJOD|CDGy`$xrvYg&HH{*+x^vs$&3L^l0fjseBP@E?XEsrxnd#Zqj9KrX6`n>2Zp$+Ccb*iU?{H1T&*e;OgTb2|Op8Bbb=&6B~>9laFQsF5Imm=@AF}RlEq8e>T{3FmGS+-y3 zBkv1he6ZkY3Zduf<=e9hmd8^>e9!1o=Vu%>y`~R@ zrA`&kC1S>!#r(ksqhpCvtgC9+xnwA>ab)B)eRR81;vvZUMTt*qYWywWmI5*N`YOHQwto;f~m^3@FEzwTvQDLOpmQNLmR2^9*W_8jYgc~TmE8cfPPTP^$tBqyYkxz_X-#_n}PaTa5W@ zxsnK3aAgOSSHRxkv9&H6OIII}xX1ds)!|z7_ohpfqpQK38MBL@jVu(_ba)b&>?i~m z)^?B%sJf=us#$9etucWXqER0c1UnX;oX1BpFFjh(|u zZj%(K8{6(Y`siAz)bBm$h%nq!l?+4Bwp55~lkicJqNj@4uuYEK-Kk+JxPt5R#{|J@0@0v@AnKujlZL)ROwLF+g~K99>ekM|c| zbFOj3JHKE^JV}!Hfg|f!wBS-i`)qI1u>*oHn+!=hYjLqRDG)vHdUgsVZr_-o%+emAw= zN=0@ofGbYR@1doUJX0m*#mkeMi9qk+(QSEpNI2ZO-ymM6h5geC^j;$VWNobhOf^@} zx~X%L{Gl+=GE{>;d-lwIC`gNKM8Y#~<;y(KcHgehyH22N6W4xAaClNcwzB%lCX03{ zGHGu@;R|{C3TsxwRp!}NNHzOx35tVy4t%xMus&mB8S<3v5_*vzaUfIb!tO z{W9<8QF1xiJ}Ho{+jF!`g*v6SS8QAbuP#P#`t8Df1xvwDN|}WAlk|C7VSL#;r5VyDYqtDLsv>PI) zhcTn;;pB~l5xT2cTwd?4N+XE9z(Be2BXD!l}K}0QmyzyW%~m5<%;3&1Yw45rPdFuT^t2&cCfq z${u2zT<$?6XvO)_k=1`27Llp#7V!`5pEP>Twoo;GW>xhbD|o)R>~M!7H5>3tKjl(+ zZha*keqSZNofWegnJB636h|^L(jW@-a`h@Uhm>!cZQwe6zMg~Hthg(wcM)E6JPF+D zT)Q{kbCcDh8QsakV{QMSsMM;$UE^)s)B(1asXE8 zC@bK{@Gdr4S;=RV^8O$gi1MePA2%wTb$K;i8C~FLGSn;-g3KVX&EI^~6ERv6x#LD_ zlXYb(wBPLu|3e%RD^T6A@Mw`uJ4c;f^-Z#@`eWLNPv2}I!_v?( z19FN2ma7YjQM4*un^pQ&<5hH&CVuHigXj6?(VPP|PQ%sTGni8*)@v}w1#h;cI&f{* zt&Mje`PzWHADSrIEhGAg1=E?+-%M{C!HOsks133*iR!3GQ30RKjx15Hq*e9s;ubCsh7A0pmDoBl( z^)G48&Y#9~e?~=9J;6d;jiJ6q>LA(nv6KNrG8&Cjtl&0U#82ekk;v;cbGFB}gp^+L z^COzY-ne1n;pQwj#Dm*h9ydU!I*J+16L`<4=he)#8ORZl-0H8a`IpHP3-$VR!ZP+R zusWlZ;Ze$%t2+@lG`r3)F*gFal75oG>~OmD)(DHm?*;?MOn=~1Vd>vn*Fzg=W#f`# z(IfirPqt*Yw)g5C5o_nl{k+yHDszb{3ObH*&ec-YI*U}o_={*}Ui=VU0m-vYVCKjO zfPs>VHIE*|fcADW=Rp@L3LVsm{?Gc$9Z8NzB#f9FVIGJFpXmxP`mco9|Mb?&^7r+s9t=OFrBzVOKCVVZB|B6yCp- z&gWwkj85Z%mSH$9Yu0hu2NS(vtcm3YhPBqO ziA-&?V8X^cXwRPY&0gmG<4GbOI|Cz{MU=LA3aP%HBqawzIZ!s1KqK+fGfOrkLM79` z>BQQ&R6f*mKOEPHo?4n>zZxRJAuXibQ7Au>W6U2NggHGj?SP%au0=%3C6PG8Iz*R@ zJ8KMTl*8H#iZd}%CF@Dn@#rbhGRXG!e1Fv5UL5qv5sBATzhrVksZsb;pRDudPemm9vRNb0qmU^zk?UFxdg5Z>Xuv0FkVIkgNMsJKDqY)#Cl5pU=%qnUkW(oSXKMacEayvb$AY!e8Zu?B<%_55<3hF~dv9~8 z_>XDpM!c7<#y3!^g3tvUSuxaW?fKuWLc}8&&GSQW;@c+KKana(6n7G`6Y!4X@>JxBaD1|#?Vo=&D z8Dd3y>|N()r@tIU+grJe;n{)U+)%!>m%_ zb7zg;IMT?u>Fn1&V$zrocWgUib1ig+BOiw!rX3)#@Y=;;VPnAgAJE5%NPy zRGm`)psTx>VLr-i6uvErXu=Pa6~?ZuD^4r`G$bK-JV0+ z#(#@+WPfka^Cg|{WfBfjEq%XHB~DVXUf-B5=`kq06R234% z(zG~lM^q}$4jj75Y3|@b8Ht>8HI9!&9$R4Fc`~{*VOSyrXE4BlNt=X$sjR}5cDoMD zPd1b+cK|NAH@VhLdU;5WeB=^mCz#!xZA{Fi?cKEvS#Z(R846%+^Sd1!&u!PG!vBe-ob@q1$NXcNQ!wRK} zo<~QO-^FY2^`fg!@m?63N{#V>NAEieqHVO9ObpJ!WbkoOfd^7HyMpbO2Qs-fFVlNPT0ocf+ zn1Z%_S68UF+?4!kafFsF4cu;zY^0!R1xD+a%~N_VlS^ooRL2p_e|#tl9ZUgc+K8fI zs{)XQ7T6U6bSvhirU|GbqW8eX*`084Fmayyn9@qd8>F><>0?qN2dhJ==pDJBX41d| zUArpKx{nzggX?&(KNOvqq8~pXT*03wJQZm?8zAaxzk}XX*c7(SPibKtK9fyA>bMlb zRqbYK*owA6W#X@vTqvomJGlKKd-Zw4}`nZf&VOtd5FMdKrrxhRJtcc0>LlwU-Sz(rVz zXfDcm6(>rQ75n(C?&vbeU?SFYyvt8mVU*qt-Y2-$|5chkfdvkS@&a`FOtG|JIIDmI zRE3&PQHvFh-s=_1Hc`e1EM1HDW`6HTV9=^Nl*tm2%ruagb2iho}9LJc{qu}$3-mqPO2=xP54{~uwoV2VP)X%L=E)3m9wJ2+* ze}cg8k{XVaQMn|3S~}z9l^P^f9bmVeR=;5LCmJ}WWqD#MbwCuf)b@9&SuF?pz{gJI! zrVlnyPvD_OY&w?FM@Tw`rY)CpSp^AP51+(k%jin=NVMd!Ze68cA47LcE03|=;4DUy z5l^CZ^^b}soG#mBs1Lu{Sp{CC6_}SZF`=>YJ+nP?e}^vzzIH;fJ}+0_AY@!WR0O`M zHk+-v);rds`&>@iXs;RX*J3ahmOp^C0#GA)H($T4T%Ft}wY10FK5zAVol(Md6Gf&T zH2&@xx_?USCKURwRn#ZsK_=z5I~TKX{-r!Zwi{iAv?zHbdQJy|)_Tm2-_^~0fS-rZ zB6}a}R#+2G3{#Fk{enPw{N;_;2o-y~Tu`RzD&Rk!pHsYdq@pVJnaWl0yx(Iz;YAoR zy2{-YX=u+CLLKW2adziIoEt1jDs0O;^g_Y!^FN(0x6LCxF-J&bg z8q>eo*0fV^l)V4tk&QQ7c+qAP@V>jg{TSmlm0v{1A_^7RP5z$s>Zhf0Icsdz%9fSz zKC_>x=*Hczjo?ehDlQhZt1k+A1LOtfOCE0nr(^9<9%3=H6Qi_v)}@b@4q9HBuk-7A+qI&=^*|fkXnzD1WKhA){>o(S8x*H6 z*zz2duBL>gPmNwz`*OT;5KbC`b5k9%uLWkF5#O0m0yibbyNxkZ%H8_5q3RDkrEHvg zwzLf%^vZl0SgiJFg(tv*$MHaAv#P0E#$u#5Wx5Uuhd4VaY}jY10Xc#`LX$I6v;W@BSS;%S~h5jt4X;6^e^=!CkwPk z;{B9TQnjK~q&T*AD*q{K_lPL10ErJ{?Yy=eu0~2%^2{vp(XZssU;v*9eM~pqm+Nf6 z(T)}Yl!o_YxSq391Y~FlxOi{F6(Hue#zI2)LvrCAgfUX{ep|K%)&|QlXD`{?<>^<) zkgZ#`j--@Xohp{}vnk8dqU8Hf@!$9ROSU4%*Gc^QXi1LVU0pR*FSd+JUtJ_15TF6SH;~R)K-)r%iON+KpP1QS?8%5zw`E+LG#5Vc*G7tpXcHC z97$SYhSMh9%Wp4Gj&GFar#=cS+>^ zYIF(ZSZa%8{(^S0zvB~ zx}Lq&d+hTRs8wGY8;oi&Z9(hRJ42~&Wc}!XIh@x@1{pdlxf7jpo>R^_#3f-lBE%ri z9i^w4gyyRd6fd7Sqpg*BZ{Pcv-_}D3Y=0sBmz0oHx>qHq3g`XbHeO!ZO_a5FDUyP&!zb9E%Rjqqg+HFn?i^cJWYzj%bTV zBYz5#S+wPT%^*G^bOI8zB>WDT%;&j=fi{CDBv<0!jO5df%n*G~0CdgM%`!8(anIdr z+y;XN13Om!CiA{|@G9F!^wb=K2$2I?r^hh+p^r5W4VPjzku!(*tI9~08AbZekA0aW zRpMhApHu5G&^>hZOTZQQlkMwGS3p+T*GNvoyW0glKUEBR&7}eq<@G}B85w|w==vbdgGJ$@327&`4^RLVy}XXj@bp{wMtvR}5thlWCR5S% z$Zx}AkWf&y0PD%o{>p?$dUg)y?hSmXzTd@>7>-Xn765T(e|iG7y~hM6Sbv7LKN)KS zd1YlAjD71~WDgCYX8YGDT=dLqSoFB9kgsfyC+B8F$#6fsJ=+3gd-?sn~8O zwvxvNd1|L|6Y#mBh+6K`!l@j+g7t8HLG`(DaQ_W_clJ#;pJ?r24YsO&#R?eOl8IZMG0VuMS2Y^F8|B-H{lx1qEG&q+uAGvXC9^t-*Tdqz9w#8-=%Ut*HE$^ zX+d!N?T{7hWMAg<8OE@`CJI)8qw4|-uD6aid@+S8G2F4!>miB~;ASF@c;&k<`2~c1 z0HShUe5XkvncHtd2nR7nLN;&xkf>D9UP)k`6cD*DSfHNoi<9{@Z5QGz9T|w~`y5AQca|>xk>$Lc z4Rh0YhRwoTWW%srkvD!bY7JSh^9Y92hCNZD^Y_GPce2}r!S;&fXSfD<61P@Vk}iwt ze4ZkMy$L1xkb5ul41v39FjBbSGi}(E0!JFw$(9su`2KX}0ey4k{PWcr@5gWW(O9y5 z{_U3DzMabtmWHvjb}AN*?t`3b>I`p1MZh)RcF1}ci0lWVCGJzhqRMrJ8Jqgu6s$yt zIU9~7XQ~DLr4&CHuqgJ{jh;KT+0Lf|x2X50$}8H@9YZDebsih+-ONi3+>eH*o$iD3 zWx5IK@n-tpD5zr5JlPs(uQXy45M3FkT-0C=gQdsJ zeDPeOwfb<5NHkDg@+dwJl<#4xjV%X9vm;kbDJeK7tei@ZWggFHY?n7?NI!{+!}$4u zFkE3AAys?h$%#b0hM!854-@raiLp4~cwW6R4gz3Rv%pkwPHlSjw5RDeJ)@Q2gM%N0 zGuO}n_bAz2EYMXC?NC$TR|`MG^wC_YkKWwE)go=|#1GT++_6xY6@aO_KS1o`0pXCs zK*wnXU74m!+o~yI7>bM55sQ3j7AnrtUESD1`^&$swL2DiFDs~<=>RObfiQvj1{GzF zWH{Eey#lx*d6w^JTAfdgv(%B_Aau~rvP&Pg^zQ0*&ZAND@6Z#+Cn_NFS8`0}Yr$Lm z9_~-8`>KzO#?zy2iKN4o?ylXtz#!m*Q;YufauW+VtCmSor!if-#arx zP-rXd=(M=YzM-fB__fHBvuB^f)Y4h?c2gG|qLVTP*Y2QaDWj&VR(tAK%)OfN^Fu@T z=|i5rC4@-Qf!n`LQ3s&jX-{pvb#y0vh4g`-c?kBj&hX!q@7dmne;(I^5KO-CDQGY& ziUJ&U%=f;h@&fjpHMV~rMNyRL=PJ;PIKpb;Hlc(09=GOB@vG}-kx&#DmHXLm8^ov! z-9Dee0IW*4mpWDuMEe#@sE`<&!iZ;-(}by~{=^E0eN;2*ntD+})EtHdEX~!O#;LI& zz&wpE^XNG`)zD7IF{G<-mTEj_?9wL~pGkZ=R}P2R(q$J85UiPY$ai z(-*Z7wUgdFuLdJcu!XB@Bta4Bo+z{tqpmU~EJe=m%<>V|s9}cc;=ys}&8KZ49dg;d ziYwOFvnxn*vxZKEm%tHYX+MH9Xcpk-u`A(?nmg_)Ban+IH=FoQyLr(^v!sxhEx!kTA(zEm2+>KS)+W1mjX;6T39)3r&_+0i;=4vv8>j)N6+{rFz++J#mt(rA1 z1+;O}9$4+&cXDrW*7R4SUoZF29Wzcf#J$k%lF>P4Qcr-sla)k^4P>JC$=j2I3xl@Q1Bu};FjAtP*?C~OK)2jrhyd*`C(RxaOPjtsjBCMP_-;Y9 zXo7`_F`(UiFvLzdX9e;%nq436OHkrcx~(shn(qWb8d^Z607fz*iBWr?t8p|Fu!2ad zk9mBb*jwS3o44}NK;i9yM9}q4NWRWNRnUU@-&D-O*~3hRY41bHh26q9$Ms?$8cBPH zPwE@<&z*$0V4-L8Fdy&H$dAV2w@8aZzS&$0bcrvCG5PkO(#mz0jFG(OmCyc7qxQy| z4NTEdq8O5^ejyBLSk$K(p*FXzTgnD8vC~qr}M7fYqi8%35#G4P%So_94$YfqzaNNP+Tsv$t zQi1qx<~Qet{0M zVgxW6uZ(ZwjGL4Agn>y!ke?ui??N$9@||wIOcqfc>B~#e*t}E@tIM*rI6wU_y?Vxr zkoh#O;ejYtPmxGq-cipc;7XF5``PW#i05%7!pxeFd~i~Z3QVa{5=PW836Xf)iA)xXM;xp$wa+4PmkuRx zJyd4)y;&``bH@@qAHLdU3^S(*eYprseaSY@4@TlQX>qMF`()BRz7ee{7*3TXxx+Hy z8aDURCP@hGGj~|;+8ewCqS2{uA$`(CnE@;kwh&)cv5n1M ziiq2yunjOh%PqJ#tEAy+hWMsO^!_v2o=O$b0lp6*Pq>N(juxobdjT}1ZQ7ZjWkd^( zrzrw~;L99tmhR38^y0znvWTN3+I;@iCs|qR|E}jb*~zwCt$dp#O_!VgU zov<%yR#~t7dDpzb7^r>3E&9O`vSg9Ak|&b4SGm#Rd18yrEC^;@bB5x584b@z&$Jta zElSmP<$l0U#JQj}so(^yG?u!9rq{7GK3%0d>P+xEjczC6W!BMuY;yQIRH61fqlnSu zJ#Sok8&MDNN^zYqGVa(8 zjKe68obo21=2?td9L)$HWF#7Q1+p(id?!PrLqk}aMPmcHixP3NW+oG|t@g3oI=@ci zy-M5VL*$7~bKFL!4IfxxzRlmAz#lj#W79WUZ*gPz6r9MZwh>-ykb9)Rfch|XUz{1e zRg}H3!d8m$-HooAX&vnY?B6$7CB+G;6r=?%J{`Pv^IzF$+uG^c+6 zmU@N^|Et--#Q6Veb};^rzww{h!OG0`f0zFcvxAkB_5Zio(c$b+Hit%wv$aZMZ)0q< z)yC>+ywygQx6Ve^X1mq)@-xf%mZRN%S^aBnd~?~Ves}42Nl1>?-t4OO(!g$9W^QJ1 z2v!k6J;lh($OxE$p>Z%iA&N5-lN0FHRwOoSwhaKwtQ-)P$s3Rf`fqS}7)Bfpp|SbR z0pz#I0ZbuN;g1_ap`DEhbQ1s<@X~G7txfAiz0OkBJrh&~Xv<39oJN-_H&CCq|&L3oU z*ZLp(3p`=D|2tsC??M8WftA@W{N~7}*6#Qyi~y;Tx$)hh%_&4eGc&7m3n<0b2FAuO zx~U0p%j^5!$Pa!+3te_V3bYKf6gv5`q#kdhyR5z&AIonYEEQRLc*jg5$5a zG_m;7ALwtc8Vk^`x!14sY5x+4!Eb+GPGU3hJZ{0z@O}M*!ROj%ed(LO;^3g$t={u= zjt+pA8k!jZGd4GPK=e!b+@J8;@W{f#^yQf6j%Cgk>IQZA%?gQ=CX zMP|LmfD9+e&2&m3)(sN#`J>5ND;$->zrp4GeWW`%RQfg8gE5x?#=Y5*wq;%9NW~n? z!G(7b7RQcVq+Mx5%Mbd!%Nh34p0zHAA8H6!9c*OJh^q+gv**?o0nseTHvSFsl|?vG zp9-Yug|JfF-UJHm2kIyIHl$^*6bsBveF!t}7F7ynG{O({Q6T#6Y6HVgL2ih(;|?&i z4^zNba6>Kk{yvQZ*0xyN?%dODrjpuW%Q!ek_#vVWsG++)g(Rtf<75+SXsqq0B^z** z*9G>rz8!qsc&#c1ind`yc#h`0Xo_^Mw8=(9gOhEr@pzUmZPa-hb~Q3@MStK*_hI}# z;*DCacA$1khaU`zQ3148lJTb?DP|55-zj(M%nKxDcDO>x-I~@KN{Ex~^f0QtAD8lk zkc70*A*VY5#sp)f9BC@n7Y}Y6^53N1TRGQ3m3n9Npi4Dg4j%QI)!k)|R3$1J2-p2E zbmQ{yb*XjZDhOIi&G;A9dR03ro)76$ypgpnV@nE_A?|qle7;)@KPg9m$AH{+m&D_BIucQ!~EE*(rC+q!Vr34 zMV!3@$6xdE!hbwL9Yc(&}`(-uvp-lOv=vZ4eAXhti+d)hh`5ZuW znla@dU(Y_6OWhHDFXfxe-l0+_Q)ZNorc|-a{J_NIRO!;iwOu;Pi&IBMkI!(FxG7T@wCEQ7xVJ^yr+>TTd_3#U+kxaDX=~mF zp1RvK=v8kIK%wit=pAW#G?bY&tP?x+360IhZLrbKs9+qlXQl%IiG+hYA@S<02wAxL zf%inJk3fu`QLVP~k+crvx3zoxzPn%A{%R&IfUb?)Q0J!t1Hrsl_Q6!WSXM3v^-@~d z+9CVei`9I0EC$knY!}Pr0@&pX*#7q~tNO-Sb+mX$PQ7?}a0e^TifI2CjObcK-=f5Y z;?5RLczMCcL@|^e(!#o@sm>6T`x81{)(nJ*75)8c!K0JSVa`JaP-&O56M7|RS2d*k z-Fu~i!mq-DY7UG8ZyIe{kx81OXluNUb8EuK1uQ^LCAKV!(%P;wyIb67PXa3F2B?oM z8ZUhYZo7}28RweOQMlOHUE^DpB84WT{jiWl6eJeLVc^B($MrQo1HyyuA`VaXU!b%a z{?EUk4;q4!4p5jV_F*MTxth4$wD>8 z!ghb)Dqp^-ZfLB-*u?rCfECsDcjI&3-yZ=ia_)YyRo(jMF=e&FMco?ZfX&SVUy2fa;KU(@LB$qF&W90dp%u+P1_Wo`n^GWk)-y;FN46oy2uoa zfXN~^f3`lT$rTW#(=*R~fiySk+h@sR$7dM{E-yhUfyQi(5c4IH$*;`?KJQ7=Ly@9& zF5<$FeiU){w&>vBL1zXm;dqUh6yPF@3>HxUs4}MHbMZN6wb-_>`fCkcDsWp!=D|CG zw8!HY-j2oHx{+gYTl8U;dmMMG9Zdk$lM47DJUX?PMQt{uV-4-Flh);Olh2Zg;*~xK z=!Kx6EgZT278$-oN%+Je6>>nO1LX(V54avq`9>g z(#+!ZX6lUgjhcpwQfC^Oc*qR4WhC|!DgDimO&`Cs9Tc*V1~{k-1$NObHE!Gn?pTkd z#NMS;G(8_9*LHNMK*&Wnz!82c>XY?V^if|Z%XfbUN3Uw39d@Yx2=&lHWxTxYiCb@5 z^in?=gyAHRlREGoR&cVBf-lQ#bF|TUkkHsJg7KBN&%`&oT47BOsC>|rbAE(}kNa~> z!q1`w72?rb5Ac5b(x$8^S1$f-IY7zot?`kp@7%Xr17)Ix8AiOIopxX^eQ{9%qgz*s9Ma&I;1L!!X;ub z`Txe)IRpvAgu!`j+qP}nwr%fzYumPM+qP}nHuL9@sw9;|s^&7+shRgM-B0(y>?|SJymX~E04gM1_ngDb0Hl>B@09!x8I(-C&u&b8r0$RqR2jVC+8N&lP<(j*; z;lRa;XAWd3ZQ<>`zU-q5#J=vGq7UL}c!UrNl?e)uV1;4@CEv_j!luI+<@<^>{Ajzw zn(BRBNjXz$RcRZiN$x3!FS#NaR&nJtD7suOaLXbHBj38~a$V`iT9hzj(9j5-k-{3V z2>jg8b~`rZR{!x0+^yD;l4em_k8qpXkqye7q?*Jp2cR(hj7+wG3V$Pqfj3!^w)pmu zo-#4c14tRxmC_!t;NSOeRy<9O5V!|bs*aiTObA*)FdLr*U%epT$+`e0MYSl zIMoP>E~u-qmX0nXcd|GcBIMYeURY^_?-ALt+~b7vd9H5dXnjhIjVg3>gl<=a`-#s+ z8BLoQ8f+k=LF3uy4OWEV#s@YSS4XaRZZB&UR~D*E*zQ`aRnk0$c~1Cwrzlbm)GvU~ zW#To1p}z9c2j+yM%=K>*qOorcf6;$4(G@!$gBjc84&wPBu%ZEXj;sI~cQ@Ew6nc|0~XztfQz)e5Icas->p{fnMbNU?|3$Qv~YO#jDVxhCZmW@#9F6t8%@ z3)^1hzA9#Zg!O{-8z)i$=q5XVpUp;xI*`88}Oi`lR55;7Bh zI=iDz2ttl|%utph2n8|P#{t-As-4ZUFtrbLa@~~B!3yVK0_(5$Jt{PCWj%yKa4qGM z1?5jb%JnrEuApYM5xHymSlfw`(r{!S&>B(@G@7LUZuV~$bkHqCM1u$D926i!>!(-k z;jvL8Rq!_!Ko+z0oUO}-cSuP1fyPkwT<>q!#JqpsSdRS(bckP-m0vUv^Q`kZ+t7zyUdt2=8QmnF z`ktAc*o87&Hp7PcTR@a*;-E=3EUe0&camQP^Lf123srYD3D}78lI-bxv~M!5RGKri zXGaPoze4WyQHVV;F+*z~lZjnZk>IK~qT2rDe-T9(R#6oWHPxGMfr!1Fz}Pt+!c#)DF~}$%+!R}t2!CYq>v#=D|?|rhr#C2-ZkqO zjxPN;SiYu6v?ETZ9oWe5d5Rpg=QSa5h93|#(iO??rp0Cb!5gQQ*IdW_If?vQvemsH zeag4I()Y7L!1i%r7rhW3%rhYE*;v({%j7OzrJjeuSpnoI9vt$u>$uW|42vfT<@trdU1(wer^c72*4p>0{b(XGLh92Io#OCHqCJKSaCu$d9~O#`Vo2*Z z$j`+f(=YFdfD#a*E+2N_v)AmPlHTtLXYZC;vCquZG+UEqJj*GA#0<2-VT|Ym645Kp z|3%AmE{_PvhP^TL8YuddS?ZyMy#;#@!{A4oS`x0phSC0E>c;44=(pW^RiFkKj=>i>SmrqU}et3!ip2d#+w zBm3E^1Wqk{HAI~EZ3UyM@;nR-JhH63# zJ8xAcBBueX{WPX7j?@25bz4oo@feVx%MahmEZ2gC27#ucm1n zcDQy*;Q38`NK#QEsuOaXqau`EHf?9R%hW8IzQ5TrV~=UQ=-NZj-?O&{9pvj&R+Yv~ z{NBfs#?t&WbY>)Qyd-AFWF$g?qd;)uS6Lyvg(tX0RdjN;$JTv0FXQ(6u8gCpVJY9{ zQaii}0$cUdOqI%pXYme3_#1 z`RMYr`g3cF-LT&^S86*>yLZT=<@!^p^&zZqTw)CWIid8U%40QaU!Rb*D^1{2Gq0{Y zHm31GDV++8Kew{(Ui&(lr#rqu+9{`7GBPVpC%BW2Nn7rsy7<&YDlR~5kyCnK6gZDZ z)4WsI4NZK|fL-Ff^PGqw#bgKg zOXD$o33k~vK@UrGe2WY%u4wy*-ppuaACQgutNeaZeIgwdK_gaH{w5~Eo`{Q)Y#!FS z(%S1#tLxAI%W%~xV&EhglwEtplY=sVR#X2IhgEx=r>iKuuAi5XMk6GG^50ptyyM=T zkku+561y6*EGfsp&z6^ygD@s;2@&b8ldn{*$zj$Z7BJkZf&T z_~AqLN3(74uShJ0oSWnjM7JX5N7Jf^CA>u2tg4JKR!Q*L*7y)dhKf7GlFgm~H2(DfUK+q|o1h{iwaX1dP!VzSiKY~`eG7MMM5 zkF~;)1e<$rc>4&m@#T|w(5L=$ZHPEqF#=Vrb7{#R~L=BqO%wQ1|Pj018q zjngAfc5#2$Xc3S8yv_{w5EujlaB5K<;6TCSKQYK-aSlaeus>%>85lkb!2}ZfgwM?#om3aCq$J=W` z*LhY(B-jwud3*FYP6Spx5KvrXG(Dk=?I+Xq`^jEEu_V*7^c#)DBmUUq7_P^K9SVrH z-9^~UQ%t1C_f}w~lw4C)*X-S66Q~k$vBe5vC=`tM{^}BFRNU zIk)hqs18h;ny@U(bK~jVouMP%s)!-_PUj>IUNicT4-kJ*_QbT_$EGXScU?}Je*W7f zr!#9}WSPCI?n#u-*P}O_PewzNjN`lOg*Mcfg@dLYX|Y<`5g_0U zpF&hP>$wqERKDHvl>^|J%ip5R3}=seBmX+?Z=hbR)Bu{D~e~>M*47gl}@nT_Vr{{vl6(feYE~ z(9>74I`rW>2KlW+thEy&YLm-!+lVgGXYJ4S4MX7G0A|JWU&_vFoM9O>!_8$Pp9wa6 z>k0wfsq|4TsaNK43GP?v%HCkiVOAIk4{=j=6}KMu3lt37JFteC1)eJ`fLlM%lodC%@-(t#}p(=GazA$ zJM0C71Mrf1MHzCbIExuc(`n zR?p~XOgFv9ZGR-W8=fv(5rzIWRJ~&z@`vCW;6ylhu$36R0N%IHlUhl!N^nAOrEk%- z`8H**>8Y{e_cmK7ZW2>F7Z1W#^9WYoavn}Pl3D)SJ%ytLP-^GzUiNE?(P;v7gYgS5 z5uIr>SCIv9OrxQFK_BcengXvw-i`bAX548uS27hqx-p)@5coA_Z55|{A>>&}&D&+p z;j8F-iVhQ&wCPAN5YY}h!gPRjx(G7GKRD@>oQiZ{?MCKmfBSixT!IE^D&`hSA*c}7 z{Ih#P<{J;_)Q>Wi{0GQIqBw~wWb~5>A#VzF?DTU91`sH&$b)Wcp)V_Qs-6k3Vf`|O z7F(aF7%yLFj~Dko9Fm-$F#g zdj`hTIjh6G_6b5QKwD4F3leeIcqhYdtC_VDwDqr#A<%o9B<|?>z-;x}pHq;hQs4A(-bDbUw{@oYO{}ty~Ac~yV(IW~KA(+Ad zKLBxdS`Hj$+bit#h+`uxCsdn*mBb5Rs@5u2d9rS(+w zE9YeE`na?bLP!vkx77Z;SGPb1$1t^+9v=m46yKQb_xU0qFQ=HaRmrktN0@^I)Z!O- zcW_;LD`Ra~K37ljQ49{> zq5Wht_>eW%BBg&@M$u9bwf5k*Wh8!JK^?xlC3*WpK~{%X5`O214Id6=bMD2V*4Y_K zk8~8P^z6=dkAL1RgwLx|T^_|qZT~k~#dy)dS+)^K#cIz;7Q|Qa^)-L&x#IlM65|L} z#E()7KoPHa3Q2jzucLa{!|}@#0BuhU@godlPhOTkG$rR@t)OCGZ`uOnjN$MhU1y9>*j>&fDPb=Y7nWSWe+Y9CbHdyP(mXf0nY#P?_Z|P6lskEgU z^1Uo2N@JExAnm*Yp&5!Bd8#*itys8%fJS_JMdXd%j?v3|hqk)hO`Gom#Q=tC&b!95 zBg^AEa$WMz>3qX`Ivyx0rhDX|tOmy!tp?Twv=3(V@Y6jUhjX~?g2K8CXKda-4|2b1MFqAuPn|v z?6?t`BQPR+CzjXK&n}L}tsJF2&0F71d`~96lj>)wiKpx>pW?#s4Ti`!scV!1`sqU+ z5FYOZFAc(C3DjWpuKhzU?~@_2@XHtLPwn8HtO{MM^qqTUu^st{cdPD~b#fCe&1ZJ#?s+o;-C?jg-KHi=`w-!U+Ouz@yPN{8~o%q z$G>}nIxEQ~Z5Z(^u-suE{I#fB@MAF!juJJs&_$H=LPU%CLU~(kY`Bz9V7KoDUD5_s zU4^3#RFI-w7Vy#Xm~{ae*$vH(86hAL`M`{-`;U9L)8`kvb+AEtJ(NV6pLha==vbMb zg(N(dp_c3_yAGISDf-b*O%WXF!njEL2X^!PwyPI0NAGMe^}xT|&7*gi%XOI#WbE#g z3&dS-HQ#8H<)JqvDU}rE7@)`p&$(NWmNe0ko0=goz?%s<6KE^270vAMhV4Pq5|hB&^|QIFm8L*`v$DdWj|r$@1>J*g%iC#8pE#>&(8|&Zs1= z_FKYp`k!CyiH2|ONrf|@gz3s%)sz{&Kr%oUwCxGtehENWRWxO8n$cWIv0j00aJqJ@ zW51LEqNUhu;3szpl7i-11q&q1}qJeCr zqTH0GMV+Y;d>@l~In)Z9!8sug>({}>s_$7#E7|(-;bU89!GHI!W6E4`@G+Cpgv)dm z&H6c7p1pf&D~|pJ8^f!ksQg;*}MI) zu}8`0cei{?YHGzW896KXDmV|QBNJNg8M@A^0X3XiFM ztu%6sY;(}5CbMu*HH~sE~)+_JepAO^-6WbG^ z+@yhzjSU2eaTCJ9NNg>XhV-*lF0JoQtlTb=UvQn)dZ?mMBPU{JV?a=F>tml^w=eQq z_yu9^MaP*O*2i2BE(eu~(f3=^f^FUA*`mrQxJHI42W4TyMCLO<2_k)?b&Ij-C}q&S z#Zp!Ks6(M5wVGCs`zjnxv-*Y(S2+?d*fp6*zk1(^l1i1;lD62?WD5T&rLMA!#lml5 z3}deS{PbbIFf}9Vj(|E>hVwM<+6Dza;8Q~sSBNV{_N1t`@dY9e97Q`DE2%{edYYCW zVB;QiVfv7~AjDntL;23u@y`!Wwn8la${B`PF-PmABb~9HjFCnv-Gx~UzlSSv3k{jM--DxCS4G@HphT@icP}eWE$^T? zJR{c8A^BDt$70WlZD~+4-7Ur-wffzqJ$E+P$3w|M@fdi8>9R*sA$ObcBT_x|$O>2E zba!xCG*9?o{@ompC&D)AE3Gg%(eVcB2NWsci{%(_hTbSy1@zsT@?fr^*EOQKhwKN*B~%j9mNI`P{BTfwX(qfzw(>_`br6lr)S zSz*3PL#Vo1ykUNq>!GZR;1^L)P3=6DqHN8g0F5MAb7ub&M)6<7%s~YvC~A)HwjRfu zP3H0r_E5ygpcfWwRx61OW)3%T{;sfnv>nFLV$;4*9Y2L~pJ}shDh3E`wWn)#QPF2_ z<3kxhB1XT3I_Zj_ezRTj6@?6fzhSM{p9;hyqUw%EGw~h{5TMx0)G}EBd)K5S@^$w{ zf7rjqYJC*2fqtS}UPJYZ@Qeq4M?T+F<3XaeTW${gf6r)|K{2kY^zWJ0TsVb4($4r& zDYRw=~FmK>uxf03Ibs(Zyczpgt(`I*5ncJxh!^eYV2imMHeRDs^({q`IPO1agUMjXK?? zb7(=*o4fZHj4+bl44zJXJPtll!}KK*aK@h)0Fx-feXzqq5F%;r2p7Y49+R>+3buDd zY~4rhNfe{iW_lpOKEYDeN=9SS9NZR9(-aV7U+h;w&)LO!e)Z}5qx zq*;tpOBFmBf;#fzA7RwPSsSx};Jc}tpr2`wZWr;1%}}ftK#5_KW?CbC?VLx0ms_4A zM)&Uu)#X9-R~%?KP&POVOCTwij{$L?FPi!bHJD08f`g(jBB+v+a=qR>$s1(=hJe=R zSAyU*=pX!G)IX-ATky<9@z0NPJjJ)fWxBoBv*zrmjJ3uFX2zeui~1BhU0iA+mSYZy zM^%nuSa@=S;=#D-GwdH0D!GISkrr=euNcF=6pMTyOleE-?n3IarRf{=us)FCMyDgm zu7mP>Y=dZ|(_uKSq3$>>)rY!Rd1~nwZ&D8+`R=oC$ReC6KK_U_ZMg|}(-i_G>kEbu zG%%uiQe*Ln(3F{SC627#L!%_o%L+7-OtpCiBqdOrGvf*ol#=v8rZ$_u+x8EiYRoOp*;yLr8^!G~+&!B z`rY>wB-q9b^{I8^d&t|Bd1w63(iGB=t^~)We#gEh3-yRr#KU;Twz*2s_u-R&?p1v4 z#Zkn_^sxo&?Rr#;*&anenS3V}c-LUNTsR$)8E=U^Hizx-af>_xk!r+4E7{b+l#a$h zK6}MtObyl5W-CL7BjV^;rubMcos)FJaY@^J8BR5~+T_HVUP(z4X-W)OagH13TqgD1 z3eTrG;?5GGe)-X0${w732PK-gS|Z?*jCAWb@S=MS4GYT>S|6U=IA>CNrF?c|qYk9@oXtNkeu(Bf@BU22 z&zf5V{+YjCD(|DaF|l4OfD+x4#d1|2r%5q|Dhtj28LhATml-`nSS)RT8G0RD6H+sT zku7A;x4?$abZefp`GX4dP%=P-`|~ij1?E)_3M5wQ_yR5FZhpt!TX`X$YYT&1t&J66 z?0%u3*rsA6UezEmFaI!TdHPRLXAF$Igm$ae+Ci#|YXmgNS19ieIx}IU!8j%xH9dl02Abo=M&aP$(3OgP%I9+!z!=gpvtLhTh(0o~VQkxMO>$xq1pClf!ASo$yh1lJF;OYwc|Zl$D_eB7j@`uH!G@5!Fs zbr?qIpU3RE@Gh<}0o4#nOlDN_IxW8{fUCb|C1aYHIwhXucWrd9hJ@qdY`@IxP4)&U zycjirtTQ%O&CmuNvQuVMIz3pzurDsN9J5CZrhzjgqd;huQ{%k`!hgbW%oZVj(`VLI z$EFF}bM+xPV~^HgG;7HL0MhQKwgd;ftq6B3_ZDA2GfZBzUv7}CgG$ujh1lB8%A!!Z zLwCE~>a2O=_jEp!pn8%(uI_QVY^s){uRo`tw{_FwU+`uQr}ODEazjza!k z^uG-ksI235q<$c%|EO$1(xAZ_v*oq!E#_|Dh4XdMx+&i3fORs)No8|a`lP*5J$YaZ z=v)lEVdn9ySxzv{w=wZB?jvn}Ty;#FnS1!e3YMdPF(j+Mu2L|9d7&W%d%!>Nm3W`h zPX!{4kM1FR`$U{-klIi>K^k#z@i$e%P{`c{Z81~QP8@YqHW&20rGn7@Td;cD082l6 z>HaWNuTH~~L~e32h=LIyKRt>+EIjYszb}SW+_6Zf)T{S`;l*i5#g)#7vkW=oO4fpT zt~e04Q>rO-2a%||079;vPk=S;9BIHH6UdkdC^+ZT2U9_wD#_rF)4hW-jPXwHY@S ze<{i5kGWz(t`s9h0)=)~V5LyH*QPJ)+iw*~wct*LDXFB8hZb&E@_E6Y(cc*X zh@qG@0CXK~BTc*^;2&d?VKI&JVptv8s#u^deF`5h-bW;SDDVkmPMEALw7mv>PkfeI^RL~D@7dAU zjc&uW7GP9ix$e1V7X}sR?WM+*9I_LNLdRnL!ODrmJ>RYtWwlO2#>(=vRQuF^k8+h7 zRpgqPrlrypa}gku$<}9VCpN>m)#(6aH@|{SA*K63CdhK{pMTRXYeCo2bji{G56_Mu@-%U`g zBOkM@6v`zzf}|F-GtBc4)W-YxRZ}K?zhEy*w4T@a#5Nl1{zMu^YH$wzvuw%!TL9x7 zN<2txDNmbEOU!>k>J-HSN#GPK6B)+}F}o1obG+OeynlA$Ms1$tSZ>)E8g6I|SHE4W zSA11vDlb_Rn0v&u>9mj6F&l8egVB{#l|x(m-Zm>Vd=Byu z86+nBeqUzp5`=LD4qnFRh&6351dxW zPNwUt!$dY+j@M5;PtM~&d!|@evzPfq35|UpNCjrux%Ni*tnNWLA*QA9k5PgGCULK?KGUKLe9c>!Gf|5HHcwhA0Sa2vq4rmxaJZB# z9YKrnrQ_mdd|(m|gK&F1lTF$ZizP8b_9#Lmcdab@b+=xDZi#M~tHCu^@K(@U2e?)y z;u$3N!l$Q%RzX+wzTUoPH zRpF8pFn9t@qkXfmdpdc4T_5@N{jrak`6LfRQ9UAl+)hFt^R#~d0;PoQVK;m?yUTX~ zp5(r7$nE4_h2wly005V}&>A{CUy$8f^GS)KU;{j}kQoQ}4VGS6(#3x#=EfkoB*gKm zuI1O}(2CuXzA2~_k~asuB4JZw_Qp0Mk z)~9lt{}o$Q0{K5{Mxt;x;CSvk8Y2gG5)=Z{B4r**0b*vqs~7koHtk^f`+H9heO&3Y zVi~NaiOIgwdf1S;Qt>|eBoaTByO1`gR^orDk7$#fpxMXPYaJ_V5pMH0gkesC#5_8D z@IJmP1A%L<{V1W%?9tTh4t*R9wP7D>Lj#yzfIQooeBl{5I^%rbO6}59mGHe_Qg(6^ z3L|)yfu$vqRUyxT8gqNlyT&x`5nNmA-EW{h$00(M%R1gqmNxAa4Hh@?01)0`mO>E0 zc_dKo>YJH`KSI_2j7BZYOl)+>7{%2)06j6Ijpf_d>1hKD|N;_R!36SbB=(C)7s5kL@ z?ei#^J2m1@7kZr~%E5H8g-eQEY$RV(YJB|1bn<0T{Fffo zy6RIsj2oqjJO}&J7-L>Z!x;vsnAjT9R%-D?b7@-`{6(JYu4izE=Y8Y-xr; zmoEy$n2V3J@k3_Cg_+Y4j(0~>;;zUY1itvUKeqi&R?=ID$lj&T^ylfuRpI3*wy!M2 z+kQi*>RW}>XGn>zm*p!5<|!jU0Kr>S`TKK0FL>5?eE<5{9Ew2r9pFoGK;?xS zd1JUCn!czswawrH``@RagR3%H;B#4rzB814C;@@>UMBsiVRs%4l92yKQy7~_VCvjB zaOI4kj{CHW8@p7y>WXWL*)ob13UwGCzkH?CP#-ff^Vz>Q=*lrntnW39qHvAh&OGgtB`f58hhY0~1}dKx_&5knHpguk3R#xfh5APn@sjol3$^)o=E_Xq=nAfuVp<`*=kTF8=LpURfso0He0e6G7=Mb@`R zxm`~}3|7TL9_;YdLu$Xo8qqLfrrb$>o;4}JYJRK<&Z8oFZ5Zb%CI)qpXYnMkH43*R z?hxty2Z0lnNx&l=wu=_3Yo2uxA;+pDl2DWR9Y7nC;zkOrT{Dlp4P z<`H_Yn#X|Sy$qmCZ2lD{GE*v6L$yI4`}Z$!wK-img7PIg+t1e+Sn{+3)QQ@!Rn$cm z3vp6q)!xlBLp8eW5#||eQ9^Gf)SpjLp0H>^RugXIq2l)nn58L7FotB=gP^|DsdThZbyTnWR?+H@cXmgd)foygo-3R64Pv z34q(=B4D65ar63)^HNU>6tLap(M`9(S7o|1yzr_6xI2q1&BNDs+blv;z2b3!yZ}aV z+^Q54>G}RI(5guY4OgFGR`4(Vwl&bb(*BNqbi_-Wtq8Xn?t;fF$OyuN!hk@Ug3Mo_ zG}DI#)z7wh!SHCC2Yecf%K%U_V%I%ewD5YWlv#=rB6EUqj6Ut%z}n+p-5oX4SyCcK zU=UT^S;^IdHiXO8`S<0lO($YflY_SK$vEA?A~u#7ZqGZ1DP@zDRwuv3w4d4z95^k# zfXq)!*+zTTdQ+O9)>&xTQ@eF{IK9A1nfdF05qP@eI$!Sdy&rNJ(v>Hq8BcV;rrNi6 zGy!GP)_71|B|)WZw($V z3B_E;{8#;_txW|${J8l0sQNIW;+EAHSI6QueEO1-hT{hwKnvD%$L=0%zd865r0H26 z(O8Osh1w|{xT-(e<%_e{)xjBRw&m|s9y}xd|y*Vf9syG(^xKepB zaGu$s(2NH;yhF_;%aU%SFuXkXsBuv2=B1MMW@m$?yiSU0mm*teO@g1#LkCX^;(@tx zV>!%)W-@;P_f!I`_J1XO`&xEge1g*h*X;$Nu)T6M{=C2!t)I)!t{iq81~LpcgkGXa zwN}rvPRHu$W{miAylsv50A&Flj|Vu8LZ_)-&HS6BZ0tDXsXQb!T>fTj1q<0AJ- zg;7?WlM@0(!&#IlGbc+Kl?x#5oz16!@>Yu1q7Jx4_}G9{(-;OKUM6r=`geICLEn{qQ&x1^$O#`2K9Bgh{$2md4e-HY3uc?7dR6# z!#3e>FhAeWN^Qb!Ar%G|^|JK*mo0J+TiNV>*fPwnDAT}uD7pIPoavV3HBi-yWZrrL z{+YEcQ!g^N9iu~z&Lf$3_S1M!JT6YZs-~Wew(O1aIZ$FxH}kcSlLtZ!TbS3BN?0sY z1c7i2*8UHdo8^qkCly!)JhBdFu3|Z8w6eX`-6ihlM*1jko`9hJn==XbC1u2aK_9-; ziU&%@?wXFXC~N4u+lR0SL$N)Z=mO&i*45?rh23cnrHnm2yq~We+|D6Uv=6kpzne_J z)e?)T$Z<)Vf&1SnQ3qaL$H9etA<3hF2hCQ~1QZ!&n0~^rA)5>f5@YduG z9Ojy~ibo{C)-I?sH(8hnX#pkx&Ib(wDWT{6W+AbrBxkocX8?79KBt^Ck`nzP0C$J6 zeet)sYaHVKNxso+&M+$`vXB%lh3Z$*`}s~>Cs>$$6)#C3)aj*R0$;as-ng6*zU%eW%=w~#2Gs=XPT=Dz{{V#;YM`JcEIbhl_ILZ`a&O8 zL1D4;C~aJ9L95-&S2PGx^+o7qqc`9@YQp|U+-1e$lEW4UOE?uMan$H*__7T@0IfH$ z2Yya+294$wKQ14*K7Jnd=GBp9GP*Eb*z$T!m}8uYoEzPb;IVhY8GI;-{Xp!8cfCEe zZ(TRuM|DxwswUUxu`TKL+z>=wx~W_s5V{V*h=|nzgceg1YVcVbFX~OOg!#W$dPJWv z$kRHQ#`X&LG)5%xP~yizNQzUZ`061(ug@X#NZKj`oe!`D0DVYU>j(Vkbc=RUy*+a2 z-9w*n{TTy>ja+`|QE4pp7W&K2gnKUX|KQmFBh&w{uFwD3P{{VbaqR5O3{3xP`+sok z>>O+?|DO$oHtxzUbknV-HpXKU=v)7jT>o#~n2fdB-WiOwF8%SA-E|zjo-5KrH&vcy zw%}DpCM!(u&WesK4J0R|Cd39n=hKuDO^o;V0~q8RhZ2&ax-zl4G&Hv%GrBOI0F`HD z0wl}g0z}IIkb!}TVJP|6_XL$Cm2`wa`wyl+>I?d3#uP-9)RZ6#%fOPw80ioeZ~m?|s#M}<)KPcM$55YW`+Q&N({2y-L*M-THa-RNX@{0e4ab!q&n|6>72`_o_x{cDK+HU1&LI)1Q^f(uPRG%&Kf z24Y}hZEFrH_@m$XkJ!EjwE2U}YUlcPyTlio{ksQN_%0$O?H^vg#&52QiODXgq4XD8 z-(4M88CixTu(mh4Gy#uyVf-#@{0qh0)Y^3a^$Ykzf3R=Q&-vhATwrRPXRQC`w!5G) zyD+pWG`M(-+cyhk`-6C?Ywx`1lNVoI9$s8|-HS^9Et=#%vof+bKl<={`zcHJyOF9Z zC@rKT75>R%dso+5o?YJ^UYy0rzkZA>43#7MgZ!qhF|hc!!vkXYo^$$p#QYmeV|8(C zdw_YH z=TKjIpk4jAaQ1Zb;cs&%xyL@x35MO2+YiewFowamRIk>Qjwv1bJF{Iz2inHLyR7M0 zsWlBa>$1l=(x<0l@jxpq(yqH6ImyPH^o<rQFmQs1@P^AN+tE*)z1!vSQiol zAv;_b9b=HtQ|eawczwjNNLIg#Y^L+xx{O7SAvG_GK=t^si(TztR69P&#vp`6p+Iyl z?kR>osotlT&DjtRcHx1skdZFp@7Sba7b`s_tjjCH#Gj|;=MO;qE0asKL7l_!E*gH*mwgePW(j| zChHYlK{_~cHS~uz=&7ATQbhqst7vu95xE56zyV(v`>H}XiNOswkLShe?PwsRxZ@*g zRZETWA&ln*{1o$cGI6|$kfAQgL@0!rBh8Yu$KI`~j1)7);h9J``RWoy2-blzmY=J%85=eOD8C zaPL2qDKytKm%J!~JnJquhfah<4&4wQ-3@(h3i1AZs>UuKmF_v<70$46gIn}ympE;@ zh+1NdcI#NEIcvY%#GCN&d~j%e?Mes`9c_uPZ_ww^==-rtReNH%_nurco?7a{nc2V( z9wbbD%f#RgWuxbTvsi%wcvh`dto6E6NOG&_MYy-9vfUtD@q*qBg7F;*YOtBAqCjBRk0hhjU?CV|or zI^PO9R*~QL!WGp}5^1Ww1u^#GB!y!=y)4niCE8{u7rS?;I}Szgzr{`uSO*XFD8mcz z4pUI-^)sJ1x|y>yknqT_TdtUoF625UoE_EG1f$csX!J1Z>~S(J1` z7%wk_9^XTcaXd@8-f;JBz-=5F0p8)zc@@n)hCsvUSe{nhHZ9*aQj{%Srd^bx7T{t{ zMuQoYiUAkmOTpXw*mKT3m)*CBw5Tk36!5*&ame&|J5oR;u5NwqC-3)mUr+#1v;DqL zxb7GwxGZsn&Jip*%~;SS$AK=g5|5M2?=43A*LvAd^`ST-yqj)KYPWlNJUU{ zkJ1_yyfDSesOnyIfiA$q(;@n61ApMUaSXx-!5zFXxrHICDe8?g>oTz%e+tJi!BCN5A=rDj?HE4m+V&HraYD=n2^Lg?fS--W=mPQ_cYG3wxx<)uht&Puy zmH`|m%tZ0XQN5;`%ZIzH1{-^5}YUc?H9oEka|tRmM_g{|h#w)2zgX_}&ORV>u0I0GYr}OP|YK zQYd=4VU{P7Uy3c3!($a7;d0MD$V&w9>(YttIM$BluUdLt&LK@fRCuTi`nvQ|Jgi{1 z=U(l0h3Ccl4%fc-X8`n=(mC>`&EsU?a3}q@V0?B2nLAtv1~^{uULLw|?k;SqbuF<` z$&M;e-YdEU9n+k&B&8b)%F|px!<8K*fZzGv=o?&HCgxKV_0Vk2H7O+i|Zv z6Zox?g+Du@Q>$8Kct~zHlYu`z;J@g)3u)WAtX)zgC6*C``l0y(D#{(^`>imtXPj}J z`f_2pD&Ehs(l=|>?7@yTvMz%HuX;n(Wg&PQs^fM{xiXjrnvHRz(6tBkOFHl_JNl8l zz->ft`am$8djP{qUh5)yal@n|t9KGTJ1U`l^8EO3c8_q(=qK`<*Wl+Pd*L)jNm#Ha z+ptx>M;JYUudT290kOSDE*O#22-~@W6=NgCo!cyWcSdUAWn8z?R_)8>6cv4x>Y7TE zvYUc2Xi!|KW*eyXMY%FswSLdD$ZENa$@5`OHc)zuxD)U~y&djHXXSD!hnv}2!xne| zuWo2qHZ*51uE^HFn+ya4zeZPz2D2DRD|9{?U1KO z1abQCMlA#J)qC0`5cE#A(IVYYxd1J6u9oN_+@HGnPeqlMXF$S$2azU**v*j|ZDi5a zci#N8h>=C(<|VyR`V{!phx?N9lu$8p)iT|1$1A8aj9Rh4b0Fr@p;WvidDnZqx+2(H zB^NE$ifaX^TgT+LQ4Cs6JdPO>~`B-;Ntsja?`**%q9r31{ABYtmJYbyM5L{ zi4_ebV%MEyy@iS<7mbX+&$vYp?&`3oDwTj$O26ZZM(?^XT?yuvGOpB7Qn;frd=?EJ z^|tdkgMq`)%H=vdLA0W9ccHbD39~Czi1@I22VSKvtng=pwK*JUDD%`q2IvCkRCQ!i zf4HOWbX$Rmb#e@9-~Z>YEe1OZdyI3Opn3{lFOELTlfymuLO$822K zOl>D<A6A!i|GdmAa*`>?sIS>Z=zeMp|V+|aUX+9sztm++a%06Y@4@HD{te-QSKL81iBmUnF1wrv}CY}>YN+qP}nwr$_B zXXktG?e3qA*ocbg&d#i=&a59@)m3@UhUK;7N$_*Wm?9=^qB1^2G9&8-9jEl_YN!O< zt>o#>d}L?z&1C<>JK;?B5+I2k$=7%=+NO(FjSWH~@8MzM>dz`QB)oj^J7m;i#Mi{* zWFEZcSPz6)s?NMG{O~A%BQcgw`nsnmb{#rCK$MwWJN4JQCQ<->`LEJ}?Lm1g1S>re^ zKfqJQ|0YU{f-el3OVc)%ck|q61D%H|?q|S~3m)P+Pc(wH@j{xLe7|z`Pn(W@a|sR> zsyfM3hbHAh%H$k4NO#d}8tHl;_!c9Rjbz;d8;S)|`~Qw7CF)LP;7Rh>m;~NYUONj@ zAb46Tg9Y0Us;N!wV`pdZvUtWS-5Op{%(B9nyR&}?6xVbj5nC_nozGC0!hIU(?$C}= zJJ3D{zd^E%xFiJ^?^1g4hdE>Wyu41bZ=*uB8b@PhF2va9gSxeHOa9T}^c7Ywd0#3- z*&AApu{k(YClt?Dhd+|esJpH2r!&G*=!}HMvFQ*_2NjzGm;Gxt@SV~g>sr;9k5@K6y=%Z76;cH9i zwKEv9Bg&)>)i6IeFUWsJeHC5z6!(B82cGUEt`~h%KzhUxgp_3-wkus^T7(chOchRx z2bjD@1qxM;{G*+*QHpM$1ixQsJQj@TbT>!B@1NrQKvAE6yrkf{36b}5sq-cVvGIrq zTR%(bS66^2Vf4w|B-2%(B4e|5c4bp!-y;F8sEeacJhuSo=!OWRlDIex^Zl*f1k;>?Q8-ynXXBs}cR@j*@kdz9j|9Mw$#X-dYSx`Nh+RkBi0RERcWBgwl3!8(4@kCj`8?08-%TXYH7g7aH+DZUwvMx=w86X z5EWkozWM|!Bd0}FT{QslSi{7Fndaj18Ou;%o+7EEB>2WJ{%spJj#t8yBQfZT*n#aT zKh`BguriRyP(+r~oR)_$It&&^MKVGzg6IQR`09E-w2z^2)P@gl` z(rf*`ghec6%1cM>=;#D z$?=g9H>{4kBZ1v}Q#-Yy0a*G8g8dsIg3Phcizcy7QuBiq(twzc-&!y>qhJUKKQ$kU ztIJ=WXs?Iknk-{ySFXBK#3T1*Oe%uucU)*ZfOfcMEUW(0^pA}^+JpQZBFBPy09p`G zt9AULv;XAR`5EfS=7QN#p}6;C+rN+`&c46Mehe3{N0Hgk)FH4WntKp!nanYfsib#ZK}gKg76{rtdMXX{{vaH% zQ&S#e*c&k_ccLf0ZtKR|XqTm3L^Nv>`884a*d0#MN!Yd63^~@hxT3Z9$Q&dSbz(@jIQ(Rq7|q(qztX=Q%juDMG_f&jAH2 zJqF*baB2K)fOYRd0!y(E51%x578o4{g4J7azjg<`l{5*^i$#|o-kf$!uz$t*pm}Qo zy=jNaO;()i`yw_&b_zNv=K+PQo!)_88-@mRILru7J@eTd-M0OMVu*05)jN8MnD&SW z6pzmI2t_}}&Wt;CpR?zZMPeUs>Ha8WFZrsnAvOTifR|%!N=pl^kYzwl369VRlNc#> zHTqYeIS${t>WvWy9GMhd(UmZ~_wk(LK{TKuy3z#=TE53WB`u2a>Zx!QOi9sDy~6n+ zJJa=jm8U#-ho01zqjyOsK2+7Az*PvR$eV1E+PGq?TE#1NF~Z!4)S+w#3>Ikbg2I;? zDR-Z4lmo;$q7KZS2)bjteQ3rVGFR30cX0#?Rg8`61t zqEl9En;q7$^w!n$qMrq;p%z5zEc^)Pi!Da`(HjV(-vka6)na(l_oBkWRYzDZ#m;H+ zj4XM(&>Qz;JoC&^XkU-;f`#87Ilt>EH1EwWNU<02d1XuTc1m6(x)@3mQDNN7BJ&fP1di;Fi%OoA&oHX3VghBV2 zE?C@Ew8|lF1fo*zz++`%;rSo-Se;~`vRIx|95TnBnCU{7pdqo|NSHBJh4}W*t33BUghmEKnFv_} zGPon!k!WPZVG?LSqQir1*y44oJ+~=i2M(&i4!&+C)+6kUYh47CAlM_UX8zT>mzlPx zrqqDkUO0AQNC_!Vg_FHkxWBn+u1WPK@@C>R@sKVz>9&U>VB()K=FIG^zV~04g`4im z4trmunEh-*P0}0X=`qw;0(-^74*+>bNUEl(H@~7!s*qrqKKj18ai6h zc4n;ypl6FW{}A*AtG-|xobtH^*MVH%S@PqPQ~`0`h)EVf4Ep42UE z>wo(j{Zb6n4E2&tsKDFbEmBe+Y@Gz>OT6%l9_e0wnFF!-y?hi-XDE<4zGeVB_DItb z$WCaxxV;ViWzCKShA#P6IZW+Pg@Nel;Nf$gyxMZK;&>%=P$M|QZM7jalfORMk~Vss zf}C)eZ`KSlpPM*YR(?3swBa|p@ia!ff2b}PFAywNAJy&_8u&!*n`4QTO_@0gdzA8H zGHPCane|KU$1+>dyxT~#Wc`~n)%cxIquc@mSb`8bf-FAIe*8}Jb2mq@&7|pBqeCnt z)YmyW%$%?xK(t~UwzT;s)zthFLk?l~LwjFc=WA9<{LgQl-OLDDI{8U_f_@@)T<%XG zbFsn0xOPLrqiiL5Pmzn-mO!<6+qgTm5*`QMw-bHQi;29loxq~*aDr%l_PM2Av{=-H zH5WpkDX5;u9n`JrQ9F&L_xyPE>e=kB5R> zdDckw(VnxSU^TMzEV0SFN3i%LD2@$<9d}z2uYM149aIU(cs#9nd9h;T_TEpra3}$6-4GQq zEon9E^{|HfYq9UI(UO0(N4{bC63PTuSY340LjFvG2CjR{#3eESf$n9~RQYe+@DfWy zOZ10Zx2`>`M!ze3y3%8mha}0&NMrIOI_G8mbZ3*gN^Tp+&D8Mw6p8@|q`5!@f~7Ow z=2yZ&KHt~x++T!G3Q|}g7FV7fH`#FBftNQ&2oey^KN=3S52vMv*hz0P?I8^D^PDn@aVpIylWoM^lq;EH#sKgtBoxPsOAk6UFbJV;^wy~EY58zPXa zHPu9K%3pe#9xFqxa-7BI8CO>X5i@%{+LddfH_B+}esj_i!#fw7Wh=`FH5xAZJP|~n2rq^Pk`uX4_vP=MTof$58g0CWTNy!HD*p!p*7)LWK zq|ruJy2pC%MagAvBw3~f9<1&nEo#q?oZcY<>)2785wL%{5$QK$nl%;o8*V9iU$*Q9 z2%`0k@K&=%!iQw{HAAAohvWyFgd$owXLCmgS^HpM6035$XD~)L_|nH|?xV+q%z&-n1r@A&S>6L+y|^!8sVPZ@%uxWcq31 zhyWoZZsenT>aNJ_62Lb;rds)CB1%P?BR(2HQ*nkqd=DY&0sVHX+aB# zW^7Xi=T)h((2whjzl}e?qpk>n*dY^p=q9hhRoH3q|EUsJSFMMHZc}$$& z=}Hvez%nkIE^vS`>D1ui6FxV%>XGFMwCxjQ7>^Q7t_>{jcb~bYHky~GnKfOEe6wc6 zK51*0wg~<28AU$B0vM!A9n(Ow%hTnq^3=;rmJvEWQXi_Nff-T#9u;hjUM*o z+e+OZg;)5%aO{Qp!t?|QnLzDiqNnTb#+z=mS{np%%tWpiTkyPmtjiz7Is1_Axg5El zrNG%OCEygcHNqf7It)kcz6tF`3(>Y2iQW4Mo9KBK%~YKoXm^}mKTKp9hD?_ir4=nV zE`jz5AgVuxt6;zf@dWqyc*0?8_#Qb_+T-1;UrwkW#n~FE>i)@H*d;!(wuUUr^N4@! z%Vj1;rd%FSlO(B5g?ab#$Ajtgw5&KLeOfiBt zVkWhZr9WtK?TEW;@z#~=fXmd&@7>o*huRN0APLPv5=y6UPDhhV1eA04W z;L=l|6wjU2P3)22^set_OHqk$UGhIR^FqH>%qP?YCQ$UE0mfn)I{9d+7kt;QJ#a2Q znV;n71p4^x>wp!dKdq+u(-LdRMeQKwNQ}sfM|yk^v-i_^AAV+OvV!6}gARP`rV-KN zqnKF;&xm3+;n`d7c)5AJZ}Hq%9_bd@z?i2@vQz;0gX)FM1URJ#koPd>}>} zJZHT$eR^G&gII4&JQ_pvArHx;dnSyLubN?7T^cdPq@U+zjz^R_j2^{AXchZ`dy;Xv z&y9sP*ewg&Z1lLB{m{#_h#4#QVlko`$8$-oYY0sKVwzVt*a5IuZTmg!5YJ3ziw(|n zS5!!6hL)5}KI@4Ss4yLg?yMS9o(g43wf(RpIkCTFB$`M&0xg9sY)*ce&94Hu`j>z0 zRJRJqw*itFL)V!|W@J>Ow^t~!O)UJijw$L&jjeUuo{OKzs z7C0mP`IF3)=sT7S|C-b$n^si>J^Q<647xnv@XJKS4tEQoSN5??&89B~#bFaJNxPbX z%7pCi9aQ7-W~uFCbpEWI^L}YF93#MiQ7Wc1W#VfI*O4TRAGG)`c{F+xeW8P@2z^O zde7uIg!D2r65I6|zj<@wWMt^-RZgZU5Jh}i&IXr{uS_lrcFw%6NE-aL7X+VE|0q)c zSbfDFJAv3{B4#kBr5{UgXH3;Z(zY8}8>9 z$(?yJh|V1iHEI~Ri<3mprd9|tAa{>V5d)5u7kNe&i*92k<7db4;zU1(lM;})@IKAc zI46wcUgt(Bpcsq+zJVd7yG(EOFcy%6*V64J=m(vy;VC1%gm4Nm#08`Kjl!H~CR%bc zc@~SeW?ckDe5&HS)G;xjml%+u5==dVh}XigYz#Qtb4{cI$s4%lt|)toidgB<7w|MOhNXx7Ekqy`ro|hWOYM3Db}NBeyG>A2 z^S!P{nlo6`$1ZC>mNGi5tA7U5e~Bc#B#b4<{s)BkuE}qJmzKglHlOZMdkl-NJBmQv-d=*9$|uHtCufvc?RT9cuvp zfmwuR>soy%9D=+QW%`ZazCQDNhN>{~cs|TAiOpc7JWX>UD^%8S!lB(dH9G}g#^%uF zoc+$`uP&TvknA_=cof)tZ}W8HUGZ0dBRsu^YDGHq}5 ztek|=eDd6GHjS%`RnQzz8|0;#tfOQo-fQqxdhnE}MUi^`KiCzO;V~*x!YvKT10kSP zX6L6amH!YF` zgzXV1PFz1GQtqM6(x*l!hQ^?JaevPPbuA!Rnji=iu$**uea|!@eH)-V->h#b2z{Pp ziUUhD&{UYSW}f=_hX$n^NC-FPj(q^beJ0EikhpP)xC$5r)%Nnoa%VvHHTeOtw~vo6q+I50);4)?l#4o}Om=SD?c?1G-OnCB!xI%mqYU(l+Lh^`hB;wtn-@oPqFG(K2 zm^#Sa(g`ncyZH?NLpnk~4IwarLN1=xn(0nQpP&-u6*SFrLQ4a$^~PpRj=e4V{^j^) z^{$+i3>EMjledY+RyKD=@u|h5PT0;d&RF^*tN%_SvJ!yqJ@rEhdFjZrh)ytHWsDpB za@uhxk|j>M`vVNz0-2Ox#+V>Gt*-MX<=6Z4Oh8$7H%GQ*IB4H3B9~wk3F&!rDmXs7 z+d18IIf$S(s@0exEV49$c*kMnPIXe~6if(uqewO$P_fCL9ZK1X82W$}mWb2)x`pr( zQN1E$MD$a5O91oc?^4AYPB8jqhVhjlFX#5r#(_xFNr)M~z~@>L6~MDwy2YdaSacO{ zA0$6_onl%3^b#AAz@|5dBs@j=VC@T$lN8N9A!m$PHqu}=@iN;20`nr}PlQVj zAa*K+K<15d<_#)U_UTpmnT;V5ktV`=$2({3L+yH7!T)8WZ3jo)>PSidoUmDq0z zP$;5c$G|EKfH~-pS(_kmMYUGHD@Cac>Ws?eQ=xz9n3vl2V>4druG;}Q5fqU~) z+lWbxyF(SHBs()DxXMs6ljoc*F8+qiSHegCnwoUag7(@r*XD1z$C>m@yebNL$xgq} zfdabU3xTBz4U*^{3iC&p5rXC1?+N$o12q+aJ%rg-XDxy9_*?2B2cr`nLzcdJp7m;b z?HT(viZVuARWXJZkIlZni&h|-@+7f8FF3@-fHF78xF{$U%Dui;SD{yY4JB@-0};^z zq$h@bfKI{C@6P{%7ce$`@4JHKr@E6pRK5eEcTtOWjXAIOy}btq($6>z#sA zd7QaPI~-xnrW7E6E`{%@DEnBwddc%AaHh7%AYNQR0e)aSWPh_n9PQmy$qja7P+a%f zwd6{Tgb(4^n#pk`Eh+55PyZ^=4*(rV^g+2|E!45jjgt1?5Yf}gXDHX0iwJ@bUe=%W zS>=_@x!f^OTM3*n`&VdtQq?HOMYL;4*u4> znZak}=uiL}0&?lT39YTg>8=}4qB^&1T`8DDS81t)Rb`QwS-2A z-q=9I8FmxYJb1~x0r0(TTV=Y)k~j(9S1vh3J2$x<6F;L0!7qOR;>1tU2bj2dHwo)h ze*$CBY>nZ^!_W5HK#6E>sxib}x5&dEv>f8dQPSI0eCD3dx=ytPmTn+&3p=atAqzUX z^5TaAN6uf6s%!Fnh)J(g2iK8Ay>rT9bJ74SpI4E^X$Mwpi$Vwl?`6;aEdEU?$9T;8LI{7wg_&)Osjdjbv<5_s?~xAe7{LcyNQeJT2^S3 zxENlv;Hp&W6j;c)V)lYIj(Ikt#USZ}+l|?m4R||#D8>mGvnFVSK!f#TovyhpJ`(u$ zz4O%F@U+SYg!3rcu^fs_Jd!IvTc@R;W3gS0+9>WkBx?3v(dvL~7C}2`38SK}%2x(g z+Z-GP(FV)0ZsUr$nbk|cfck)678mFe2&Uw8sIlJNE&AhgZGC`OU{DYS15tw-iRosBQ#{eZ3wU+_Czc8jTMy&;%(^3O_r5wxnDg7awCIzh zbn5f$ag4B{^_VLTzz96bG}XGku@kar@i>EMhJnYStcTgRbGy8Nm z(}T?C0C#}b2?U-d^tcL7-FI+UkA>w1W!K3?1uFwA4$Jar83*YiZ|^8E)LFO|OpfdeHmaJ$1jl2uNsRgk3{UYH}_9)BmPWyM`6MF$Cv zmWcJwc__eXoniYl5&|Y+zg4bsXpSV5jO99r8c3ZJ5>9=CE9fYN1rc}> z6~B=#)6Xs4-b7(kG`jk&RqeJ>RY?F_wmWF_%bjJcPIxBliGi}}13NPc``?!gT!6nW zQbA5DGvwhP`!5ymOAb-}Mq=9SI^m@+VfTgaj=B}AUjur2x_2TBIou}m8)PVbPWaJ1 z`$r}(XFci)Zrv&Y0uGZQe+B#8+k{2++a?^G6x_?P6Ln;^TfM3xi3a}N_uT2G{}R%K zm7=sGE@__+Qx^^)w^S2**Pu3zHr+0?w__Nix^Y4tvghVbC0uYsz@e^v0Kjw|D)K2+ zp(OF9SJKVW#)}h%!SXbXVM^ido_^80Y{qlCGTMNkstxavTh=yHJ9o3f^bLaH+r%?- zJY7E&^ISgof8=RD}v_pRKq(0LcG_ z@04hT&j%yFCe3K+GBsNEo(s*fHM1^StvG`rSY3V3VAyWYtZ9TQWMsid!p@r>=f@{o zbWH;E?5rR3va768*M_tBiUZId=&6}Q>)kz}ODB8#@<1ov#8tc&<qBfVfYplQyJCxD#e_ySm0)n@`5u8bs#7Aro z+Q)fyeRH+h2lA-3%*a>d6!kl8qN^oy6O(Y@kxv)~t=w<)81Y$Kd}LMP?_$>7vrcxv zrSr*{EhLgWQ(#{GOJwj(ZfjAqn0FQ?Zzsm^2;wp0qp_UajR3P~-;LUPyoj`GHf=X` zsc@`Be`f)Btpx~jt?RsZL~;i=0C#{2qa0v0whP$6N~3L-*cwApTPV2ekv?)yJ?NVs zlbG=n6YIAdG^x0C3PR<5?$?=Z4hy3)a>l%$Wj@mQ*N_DwaoI z%}b_i71oSMxF%koXj%V<1kUG=h`MH2PJ2<_3_reqbE85+@pxYCwdIob@_n+;*If{+ zCie+xMu%nBX2sGWkx6~f0+s}518^y>KnbPwju8$WTd1<8==vSAec#nGA2ADJpRi)6 z>fkU)zOI&gqed;CPtm>fIVp{^-P;V8?q>T`s__{a7yFYM~2ObQh61yrDLQBefI-Skc?79h(EZD0GABbP#En9v?z>zCRFqw8U2krhU{NG5 z)3zFyj4B5Ya>35n%#vx(q+mI0>9567{@3SF-TKH3bacR5VS{gf6#6xQKhwO;@^*xh z$T~ff?NoF=WmBb;JaSlG3c=%{zJkUeJUI0@R!9ZL}_6Nq)r8l_r@!5JF3G9LK z!q5TP`+$aSp?kSRPH)Sv1Q{Zy)IfR@#e%bSKTtvd;0zZF#_VKY*x!`P0Vqfq{XXw5T^a1nTnwhS2bhy5L`ca6%=TmB6dr zx!?XCyTWE@kShs`5YNLx@a;0H1HwR5oZS}(DYybp!fh!!kQ96muTz?mVHtl2UV#r~ zT9i@OkqP7WTMi3k3vj5)Q##a9O|_Ayw+jy~%b3#+F;gh&Tk29NP-$NmR6qWJ zDLfK}IfzVB$&QoY2TA7Y^sI8&zhi|{)`ay*&_`%(9}RKL+td2pUt9#&Qq!X-D8y%? zj&cG?=O9#O1)NeN7S)sEnSb)8+S)6MhlSE8N=m)y!NoLHrP)!}#pa5)^MPMw5IDCC zy#nIBk5tV#i+up0@aV!%(P_ou%d13mx<^Y+q<@!k)3i3UU8UQ4j?Vlh3NHpS!N(0G zsYm}vSqRXnP)@@S#E14s8(fk%@v@7X0zxILj+5h=Zk8 zHL$w{syk<&Zp&A`^|M3zN}y5zD4z)I-_rc4?_*}BLS3PCs0J6h zB0vs@h}HAn90__xagrm1Ooc!73urjCboH<*V1}aUDZPz8 zD6of3W~)X0clGI>Nj1`gi9^Z`_q3bT?Y^?(Uj*tSzN!#vw+-L`hH(;?Z{o5jL?OeM z&%JXsrghnz4-T8!&!O3NDkI|*`%EPoZ(6qgI#MRVlN1^NR)|+vK34H#pwxE85QiZY zK>ugVt3O};esqr~JW)#c*{Xa0o>GH{(arI{b=AE?SA6Gl0_anMd!27MY@$ZAWBXYY zgRm}zRx>>--x_(Z=(r5a*CNi2Tlw5H-ej#?qIUDTsgB+wz zIs{>NyY-AMxil_GI;AJ8>P=)MX$6y9ds|#l%gjw8 zW1_}&Nv4T&e>AC534@WDd__7}=aGZ5YHG!C)@5Szo1|%cW{bQ>BdxpEo@^1KKIw6o z`0OkFbM%!6-Hpez#Pd{Tnul1jm8+Pu`x{lt8p8LXr84d*Q%Rc3h{`g#dBxdh2$HP- z*5%(sTG>GxU-PgfwM27poF)0gSrCJP2$SmdB=A8Am7$z~057>BJe$p=m}% zJ=z(THYAyNCzZqiEaEA-c6zLs+w}@69P|=*Rw#xv8n<1*Z@1~IWdZ1K9;S%l|M_Bs zT4YvZoi=EK$$m4pyBLZ5{pd$kpgC3t-I`Ry8=>3Q?gnsJUA86=P``svCUFU0!pZ@|xl71$E(|jyzKByBMMD)T@z+9U|AjiZM6cr^nvWOfWMKb*rmA5XPdf-wN(jM>Bp||P6QvinvP1yQA`*OW+@X~})S z(*KRh=21;a^NbTd-|}1IS)sH=s^Ta%QE8Hy74>(M6Je39L_m9W;G>=? zGApxa@rt=mP5nR~lXS6uAI*#z5ou^UvZG70!!%YbT2s=;FGdy02)UJcN%N#=wk$pjI;?<2Bt zl~!=#MO!foaA_(Ku6lR3|H5Cdr7z#rCp(5836+K8A5TAcQBd`~}BiVL+#(Ovxq z2u4D`Q&i9BGRK9hvj;h{!Vqo>u1D0V5CTB&;tdJYBCrL~R+&U#1d62NCNr;}SWA>d zE1Cmck>CNr6h)W~Hb`0{9X!4aBs;I4RSAli>p3;n?fC>p1&8*ub zyRo|r*B6?^#3&eNAO&?xe^tRut-NZy$Bi}0s#%*jjT=+*@Qh^twmpqUaDs4=Guj~^ zR@u+(f>7iUC)NQJ{2k#mJ6;6mZSln=wWh-pg@n}C$vWy;8kZ=8M=R8Q7+;3U4Wd!J z3bkB0P5r`)`c&727txypz#_1%|4+f`>JvGxJQT+yuI+sl+>S2RV&U!VGU7eCq~Z}F zN(P8Zxc-1w<0+)!)(^m4%aHu*{ocbe-aKUXg15stQoUB7fmn*_u@brAP8k)kH(hlU zqo*lxe-e}fmHjPOvQhy5sI1o<9L44j0D9}Hh2#|>_D^=q2MQ9EeJisA4V6**^W6w+4A2pe7YUK2lK<0;dMK*#Solt|{ji&_H!7 zG|@DqN8q)bGPPtIz5Vh&t54MII9##dss;h0gIRlu>t}s?Vx@CAHB zp3;$?#GV(>#2xg&a`@Q*p@0k<6$9}&u|!s`cS7~@-q2W4Ex>Z6Tp#aYE3V9>U}QqS z?mhek>a?~;y9;nADbmmuYF!v}1yX zYaZS&L(d?-r==TEt{G%$RZII7#w#R~9GJ_k%XPjo6s?FBg&*zU0a1x0-9{eQ!c$pQ zwT-DR`}Cp4UQSO35|W4?9-!A94t;p72Ug72MQoPaf;spltuPC$ER4qS*z%b6LFT2( zz3~=oP|&T?dUY-%mY4TP8Y&9QYJd8S%iFw}JS&=(0+n+=$p<4paT4)iMk_Fc$Vb0u zBhw_)cYQkONN3H$J~9+PF~6vrW&`;X_$8=IIa>zY$0SwPF+Z*W3Gr&J%6I5^KD7Q| zk@;k;(94jl{&D@#mrs@bH^ZL~8KqIwJJ0wc#cEQ^-Y~1xlZ1ZxG`E5nQrh^zWz-sY zw`7&oGT|C$X+?v7ot8A6^IDJwvvxm?2^m2k*pO!hof3oM)q<&Gr&mKHg{TT$L^%z& z4{bup9O%3*B@Umk2tUz&MudK*kwD8iMu@`z8u$%cX$K#u=OjI4p4WOh!)EH#wq$vj3ifOdz|PTwlKPN>O%jT^H@P|F)9Cgl*WH?r0A}mQH_ik>zn{3-9&~s1hVx`rsVL#KKeR2Y~Rc zd&6443)3kmiBea?#x#2+wdq41XPD9_7?e~g=($^{?f!B^CXehV1~YPFcRS3_*8pMRB;k}Fga{n(S2l|k$R$&fVJ+E zYpUD(ynDyo1A!q8EogPBF|9oXt4jSw=V@bNxApcFv5yZ`|F7H*d%G8%QRg&DmhWm* zf9%GJXh?Prz1Dz(q$q0jBFXP*t}|#H4`|3ryXxuZsR-l7oe?ex-cWES_1F~;IWE^L z9DO<)iml#vn>>Q~O+u19(E0n>L?Jd7)kQAc9!M1pg&c)z`ImhbU+)Iq`-W7%+8_r+ zwzoDy7ZLesfQU9aKs@_(TjJtGFsxU45eJ!Y@XdI>M%JtcdtRMjT@@V${CC%*B@2bg zmCaKF4h&ol5BkE`NG!I;6Uqd7X7#E_RS~dXj-9H-FaCEyF{Aw4mu0?}W=t%;t6pJyx$M>nv?+VGj0Gn}>@?z<6$$G$2 zF!P0(cfOG3uVa=gXhv{i%h(pjSmgy@%l!#)(3y7SYGW?rZ3ZTI#P97-HLvOSsLOAY z6t6@Y=jLA81s~q&6g}mhS1X;l3(|MS@J5ew> z6D>ezmusd`GcQ5wPNWwY&J%X2si(`1IH8zT*nH5S;E^c@E{=mJbvvRebl{~wGeMU{ zIK`D=__`Tc&T)B6o1^OX@ant#B1{NrJV2W`@S5W?k;Yz+gO%@9|ExvMfB@^wdRl3y zEA&3P7*48{-;5XrXWv|p#j7L8!8Q+MYzkM517Ac1`{)1#FRF>C&p>K%pS!9R#hw6{ zPQ$|&0nmjbp$quh%ky0M_JCZi!Wa0`cM?Tj;)ovbGHI_l zVk5f+j=7B_tuhIPQe7d7|CF+*C?YnI)7TSmAb%MB*S)V<6!znaPWV0>RL7MOfh`sl z)le|$YTg*;9&5ZeL1Ih*^+2v|@;Z)wE9>LB>F|A6QgA_^x`E?uaSZ1~ZjBJbc~7@6 z=0YkI;GOE{>lt0HYjEG!!psgHI<| za3auTrpd9slX|X{CdEVcyk*E4771L3<5n+MUAu(auWS8zb!z$HJr63R%JGD6D<`*u z-U|f6J#@#=-a_>%C94H1#IR@@%tMAs?<&C{{bJv z{(s?P@adGyove)U$pxI9Y_0X3jBTj#7401K4b6;g@U=+srEIP3tc=~vosOLFY4GJ7 zK24l$OdVZp9Sn>ejLn^X1qysRAqQi9CtC-6awTK6Us2A%*2vk=_*b?wGWmUk&p^ve zPfP!+`R&B)KXwYXztx@aC5@e(oQxfQ6^hOV7RH87_~ie`h@9fT-|YALKg!>`|LKTa zTK_-Ix|%zg;hVYJ89O)_n^4e68N0jMIv6>UQ$YT=p}DP%@UKVsQruz+OwzoSN{^y@V~oveX{qLVcw zoeVzXFW8T$xr3t*=ZgC! zMZ_+{cB(-kKT=i+WXz+1lz`f>L{8Lmh!lj3ny}XjoF6Gbq#ps3LycN?$dl_9GEv^+ zd(PznvIjh{bKwNC|APjb%>&9%l_|BhJ$&xZ{>56$??pbk%+HD zecM2Zh9QUjuBD@5@@t((>xf-1a2gr(IC{#f4LdIdBqC9DXdClvD#!O5sB2b9P7axo zidy=XG;vZ49f&D|`$6W39RMeL3YF}^L5ZM7{zzz@dD$RBZ}cYe1y<6Io-lyS3gX#P2R z27XMdFj;V8ieLZlNk2*&l$}bvSH3y7gN3bxPCE4EntPH%#Tc;(@jNO^W5`MbWIE_2 zvO|kX8q)$ix4MLAR#eN1ykn%8x*?mX6~Atpi+9egs3NzUl6u6@WWb~Ftjbz5W-{^4 z77?b#sQcd(_Z5yngniBd^+O86lPfFvNFJ5;^{}>KJuKT1>VxUFlBUxBQ{v3LOoOb2 zoN6VZ04K?Af*ICXOJ>%(b$+hmC@Mu7po@)X3Q5KuhzW|{ZTKzCN2Dsn2@kHLa@Ikh ze>RG@hS6eP3)DqP^J^tpolO^bh5cePPSZSs9IK3@gl=}`y0ElL0+|62z^$u8sV$KK zk{Rwzv3jBt+}-L&t8o?|bV*P2##9t6!5SYbY5aOe^=l{sVwpA>`hHK>zlGmYWH1+Hkps=hY)g^fhb6%7w}H0Xr4#QrtFK`zBxUE90H1y z-aH&%8AxJVHGmEIq-<`9*Sv4>9~r3SgWtq3P^XUn$@HifBM_1b}Chqg^0;$BxS zR~6eLRK}D7+U&xpJ=HDoxH8 zyd8I@*7|Z`+~iJj&)Qok#H8w_neycvxF$i?75-Bpgwp1pbBfs2 zj5$NT1)SifJEg1i@LF^kN1VPM^YhSQIWEGz{yUloX?I^#ZZq3waM_jIA0dFkb{qh^ zAUotwJ}j*Jw_4W7;KF{U-#O~2w z(>JJTHg~Zb&`LBd+y5e(^|*%_K7aMx5*7Cpr?Jm0rU#z#feY_}6^6EmV8Dq}nELd@ zQjxom{499MilSCpUA+Q&7;}nTA3DE3+%!hf*@h(_@b54t)#7#tBM4Ai=QtTjW3iof z`~;f~wNZwELsuIDML`?bbUNy-zyqS-F1N z+r!7LHgEAN{BZJM&X(d!Q@WpN?$y3{`p9Id- zt3U5KGSy0&|Hj&@r+r^HWIbNEbNlAiUNtdc@88ezv|Y+^@BHeQ_g1V-502RX{SWW` zk8yffnlhFcm10CtY8scmXI@Hbg+jD}g0Vp?mws?&RVt9hr5~;kZKzMAw;#$O~X>?+p`;`eZYHkQ7Rg}CiT;STrwDf58kFafe3%APVXEX~6r&*idocn@( gj~9nFX1EoXBo>ua0Gmx*CYF{)CS0njuKsRZ0IqIG^8f$< literal 0 HcmV?d00001 diff --git a/Automaten, Sprachen und Komplexität - Prüfungsvorbereitung.tex b/Automaten, Sprachen und Komplexität - Prüfungsvorbereitung.tex new file mode 100644 index 0000000..7bdadab --- /dev/null +++ b/Automaten, Sprachen und Komplexität - Prüfungsvorbereitung.tex @@ -0,0 +1,90 @@ +\documentclass[10pt, a4paper]{exam} +\printanswers % Comment this line to hide the answers +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage[ngerman]{babel} +\usepackage{listings} +\usepackage{float} +\usepackage{graphicx} +\usepackage{color} +\usepackage{listings} +\usepackage[dvipsnames]{xcolor} +\usepackage{tabularx} +\usepackage{geometry} +\usepackage{color,graphicx,overpic} +\usepackage{amsmath,amsthm,amsfonts,amssymb} +\usepackage{tabularx} +\usepackage{listings} +\usepackage[many]{tcolorbox} +\usepackage{multicol} +\usepackage{hyperref} +\usepackage{pgfplots} +\usepackage{bussproofs} + +\pdfinfo{ + /Title (Automaten, Sprachen \& Komplexität - Prüfungsvorbereitung) + /Creator (TeX) + /Producer (pdfTeX 1.40.0) + /Author (Robert Jeutter) + /Subject () +} +\title{Automaten, Sprachen \& Komplexität - Prüfungsvorbereitung} +\author{} +\date{} + +% Don't print section numbers +\setcounter{secnumdepth}{0} + +\newtcolorbox{myboxii}[1][]{ + breakable, + freelance, + title=#1, + colback=white, + colbacktitle=white, + coltitle=black, + fonttitle=\bfseries, + bottomrule=0pt, + boxrule=0pt, + colframe=white, + overlay unbroken and first={ + \draw[red!75!black,line width=3pt] + ([xshift=5pt]frame.north west) -- + (frame.north west) -- + (frame.south west); + \draw[red!75!black,line width=3pt] + ([xshift=-5pt]frame.north east) -- + (frame.north east) -- + (frame.south east); + }, + overlay unbroken app={ + \draw[red!75!black,line width=3pt,line cap=rect] + (frame.south west) -- + ([xshift=5pt]frame.south west); + \draw[red!75!black,line width=3pt,line cap=rect] + (frame.south east) -- + ([xshift=-5pt]frame.south east); + }, + overlay middle and last={ + \draw[red!75!black,line width=3pt] + (frame.north west) -- + (frame.south west); + \draw[red!75!black,line width=3pt] + (frame.north east) -- + (frame.south east); + }, + overlay last app={ + \draw[red!75!black,line width=3pt,line cap=rect] + (frame.south west) -- + ([xshift=5pt]frame.south west); + \draw[red!75!black,line width=3pt,line cap=rect] + (frame.south east) -- + ([xshift=-5pt]frame.south east); + }, +} + +\begin{document} +\begin{myboxii}[Disclaimer] + Aufgaben aus dieser Vorlage stammen aus der Vorlesung \textit{Algorithmen, Sprachen und Komplexität} und wurden zu Übungszwecken verändert oder anders formuliert! Für die Korrektheit der Lösungen wird keine Gewähr gegeben. +\end{myboxii} + +\end{document} \ No newline at end of file