From cc0ff6d3cd20c4dd2678c6f97c060e341c0153b0 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sun, 9 Nov 2025 07:14:53 +0100 Subject: [PATCH] [TI] Compact: Fix spacing --- .../ti-compact/parts/03_turing-machines.tex | 1 + semester3/ti-compact/ti-compact.pdf | Bin 331334 -> 331337 bytes 2 files changed, 1 insertion(+) diff --git a/semester3/ti-compact/parts/03_turing-machines.tex b/semester3/ti-compact/parts/03_turing-machines.tex index 90fb2de..c1746a4 100644 --- a/semester3/ti-compact/parts/03_turing-machines.tex +++ b/semester3/ti-compact/parts/03_turing-machines.tex @@ -36,6 +36,7 @@ The same ideas as with NFA apply here. The transition function also maps into th \delta : (Q - \{ \qacc, \qrej \}) \times \Gamma \rightarrow \cP(Q \times \Gamma \times \{ L, R, N \}) \end{align*} +\drmvspace Again, when constructing a normal TM from a NTM (which is not required at the Midterm, or any other exam for that matter in this course), we again apply BFS to the NTM's calculation tree. diff --git a/semester3/ti-compact/ti-compact.pdf b/semester3/ti-compact/ti-compact.pdf index 07bea4bba5a8456c78672fc1d1e13be9db14048d..a36f0aa4b13e474b7d503bf3bf0d2d0125c696ba 100644 GIT binary patch delta 6729 zcmV-P8n)%eoD|8N6tEt70Wgzc1SqpddFTm$o*C!WU0$jRNeaGpz#^PTR2jA(x|6vO zN%Xx$BByFYLOB*_SeCOofv1`l)TMn7meAz|GJ>qFPPhqPF+oD_RD@6H0xdB$As}3r zJB&Oeq`odzmq!rCAM{5{WgqB`*T}APHUe$RH>xx|j45oow>H0;*tQUJ3)J3|%UiL3 z9MyIaiN1aQ+dNHbxb$}iYS|S8-kf1I2n?K_6^BM zGV(Q8f1Lck2Mut7)`VY<_AQHbpnXUxDV+OeVo$#UK}g@| zC&mzG(JERjPR7x6TF{3B5hea3e6HMC8CrTaFz2v{3j+)l`RxTVE-ts=8R0pGY~ zy(%}&KHuQ_8f;vp$j&1^f5}__4 z=NAFZ7-Pq?fpsCbxZHp1URa332K{h+P3>#bXAUM{^8ue-n?4zDHk!ri>(%1*WnQUl zqwXahdUH|P9(y+PY1a?>B*dCD{+!?QE&e1i#B*Gz*Yk3A>B4>Mw=X7#X0+xo2qU%C zGQqo|1SV1}65ae%FDE@;$v*)En^Cd?lhFecgF}UfLxlmiLxlob!~rssVFW0D?Obhh z6t}Ye?q4w<D48NEwYsni7%10lSc3!G4VSj=KJFE~(f?u_jeN8*h_5V-rGZVr*h(jJSdavtqi{){vScgFcCvy7D|Xtub)0A2%pkryg0|jA} zcUYMh8c+u7Z4){Xq4i#Wv_q<`=!6u2Ec%j@Oh6bEau%Wa43$AmkpdPbf{Ph+f)P#y znMM$G=`gxXG$-&jh{8|?(z7TsRVK+i0(7RtZcn%mrNIQ0Jpv&sBl;(J5qje=&nWsJ zi$W_kCknkt)v>69%GgLDN+~#$q=!$KzsS-Aib#~w1Sd*pq3R)jKohg{2nj2P&V>@8 z0n#ISp>IXHCMHmZipNr*2ht-!xkWRi2K8_$IV^hwcgoSx2v z;!FBMOzFbNY~O1SKfGS>{pacFZ+q>{+5F99&Jns-?Va{+yZ_Sg1#>!*#fW;1A{4=m zoGdu_IEtbxE{$wSf^~xuJ#5lsCn!d8Uq z>b&$xDQt!7iWwEz^0vawG6%DrmblK2ww!^DX;j>H`XC$d$ZyFp ziDyL5wwr@VMl5`Q`jdzO@F;ADD}Kgbq1^-A5=Q~JomfKJ zZoXcB))u|}4Ba%!5;{uMHnQO_vzpD3&cK9*RuI_v=wfYT>@F^wYZ|Yk_|V(+L6CvbH5U|6FF@+1utZc z`OFlm8F8|4;~ELCO_V$%NQ9fO$E_Pqh}|f4pTn)%FY<~P0_ML=`+JIbF-6|ER}9kX zfn98l}wC3TdyY|xe@k%aRUxrh}Nlm!}=y@*Sa z3b88b1u3)5iuB4T4WQ{rpgz3y(idr5U~1$Aa%Ay&Qj>^NGGWKDET{%ELf*w1Cs~-J zS5az;1Tq2cU9gjsf(b&)2h7Arhdv2^w48+Vpk*)~=b2pOx)ay(HE_7T%`L$=tdnrq zGUz(2i%2yqyrz>)W#m?UvN*g7iwqYlq%%y0KW){?ByXj2g}v$PsM&&bF@Zu598rtn zupB9Sve7kB)TJ~Tw4-FOq6!gs8KO&F!h*%O%1f3`Leij95}2FpF!P)+k%+B-S4cQa zpVNuh31wXd!c7j%GIPvzu*xf7k8eI;pv$l?kiNoNp%6qh`gN64%51bt@(W&QxlifK zpwj6>9m`AERaj*sW|t(3NNdSuH9oKTf@}^jN5ylH3AvD{_R7{G{Ht`dUtg&MdP7Gl zb;TnTCmKg~P^B#Hv*B`iz@)T)6o{4*tlRirYh^F$sABq_SJPT!YP;{m*2NF_rKpk- z;lavfvww+8h5!D(>IW|=mTAG&1e3lDLzWn)!hXGTtPcUsgTB4O0=X-M3o#W2^^^*G zH2W}xZtydm_w<{5q++Pnfc;+4Wq6oNFn5^SWoRrXS|8aM`Yl4)*zuEpSPuGsEzFr? zYym5NrM()1BPz_~r7?V|Y$s!Dl?nQ|?yX~oqPs6iDAi5Sc%oJ=42QesQ7-jb>JVd! zTvw#!rEX=}>BSN2e!y~|+q+!e1{y>0YPVfGZ$-L3Hn;T09<~g+4(lXJhK>_n)5%%J z3bjux;3J{zm4N{UAK3DLqldRus5qPwBtrhHl(Z~i;-%6yP*Q@9U3TlX1yO>lYnS7# zYkJ7*_r48XiE0t46LW**GH_BKMyMEEs_Jx4vj_SuaV*j#?sir;WkjIr-;&9oQV{)S z8jME8QRzg4GK`;X$LPv-j0)f;W1*umoTx`^6zQ};00Dd86s*91l65G$z)01S0Q_@q ztIsk|w|W^ax$np#g;XUZ6OJ2ky{o@TS>(2iQxE( z9a0BM*xW~2Czz5xIHvcRYnFKj!?=~HM2u`jO=ggS{w{(mF?i{JK^X{a&m=-m$F}*| z&zMtikfUx}P>f`MAc?GzoES2qGY7TFkq+2kGsPJKZtFGG0%w@EA^DOmp>v?4YeGy{ zn6?Gt8Aon<#>{rLp%zL491*V86cD`b%TeK)E1sH$I1&e0Os*U$QYSs->@#L630#$< z(@jQnNbw|A7ITo1lgw2#T4-cXGji0j2)T;pU8!Jd8IqA58d_@_VE4 z8FFOi8q~gjto5|%E^2ZnE5&+KcFYbGrK3lS+?hnVF(6ozBbBo=^l_d>LZwe&z3GxC zeegC?#%LCuh?bIG!y)Iq5>Xj+Odt)k5{@+?MZhOf(1MVv56ryN&=6H5)}bESh6LJR zA*rJyigZdegcj~NHGKNx zxskh7+tMxyNaW8^5o3wh(b|7 zR=aZm#wEDls^k^NYv>xfbvMFT>}u})bzEMP)_`!}fx^1v=*-vcwHIsE(P&L^c}Zb~ zTOCn9}(i|Zex^RIjNSSPH#TuO>1y z>hrbFmHwKv1~Q}ER&SNxtGa$4)T-oELRE8md?7t+RuZe)5GJ+Dz{HDztd=jYs;;D3Fk!F8GX+@J4tlcQ(z9uR9vMRRc&I&pJ9-KR zpf2;~0~}-hHr%%nkLiH+7xnB-Xbo}BjVvy}k?of6xZV$0%_{!~UoF)sXPQCB z{6-cP9XHop&zV!jb1Bx7aL-t|&@Cf`VWdqQP}TmV&-Q>)w;WAj>G#oDbnCUb3v)-= z2mLL}u3Nt^@$imMp<(r*w^sIlHOx_fSr1K78!J_Oo#y)|6+IThmly6r60IOOO^lEu zlX!-;9qvD{48%(GpEfbgVt`z|iFi5;$o8bk3wzgcrjGE6h9e+?F-&*<3;#brcxoo! z;xU_bDMe%`_%`0ry(!f8UK_I(lxhP16%bUGKOF%Ho3Bu7@CPW+RL_flLBZ3cJx1?v9!J5Q>z%=pp7yM?>76CTU(yB^F7>-Eu3iF9A=V2Xmey||;~j5F zS0&3kv~@dsurBa26YpR>d#tduZ7Bqvjj+6K)9GqiA;*JnR^Os0W_l9F7$h@L&2H!)6dh8r4xATK6-srQq(7~yP~m#dH0wIDJ=Zb;=YNTZj#EK+8iEk)*< zM9BOC0Fn>2j9X#swt<((h^IX9if+)h78S;vRdzZ2{DpLjJSg3Rm0l!2v#JaFkpcv?+(QTp^r4DHvm~5Ce991*z8?n0lVfI8_g4 zb$jidIA1E)d#~P!b^lIB4=9};7+ftoN=nneKvM-k4AFF@9 z7cRNEv>YDp?;qUxpZ)tcUzkoBPR7UQ zjaQ7D{4npk5S#B1P>D4&qQm!a=STQ1Pjr2+-5;ObnM{v=-z{+3y4PYDw0&pLcy}>A znI7FZJwBN_vp4O$J#Wt^e@sr>^XbQS(JtQ2CzE#Z=dAtE z{?Y!~er!Lr|Nf_P=3px8u~9#RAAEthnbS}1J~+7dlXBW_;Isp$kpZ~!Z8+VP&v1Ip z=Lf>+C+*>Y+sfxR)5&~tK0OzPzrDcccc0GQ3CE^?mDwvkD@%X>Fk4KN$>8o*JPo_> z^!BscFAg7*r%&&0(qCJu{^Cy#Q}AEP)$gFTOTMO!eBBpbf{V(-3*0+ibL_Vj&wj7m z0Z%>+xsi6^#?3n~p8a%FxbfpgTeew#vWr z`7>7Kwv>Oe8`ph9OloaVkHw^3h$@Uv&fZ-xs>#V>+#b&-V=)m?hhM1>C*$|8-;CRn z$@w{zV{J<6pH9Z-@2aL;Wj)F4!n<2H|L@j+zwVQF;Y!xIR5^!_qQ4F2O1F`7?}tm- z$+eEJlEmf!yk3U4mp-<#CUTRTitGNkKu;!w-7(A+||Px0US<` zr44bwFXY4P`S|F!$%1iHE$gPfDIlBt{$YHASONd0m!q@Q9{B6-VcOZrhjWn&LyI@B zPl&aAQN#;T$NA*_RHwO)?v{S^%6O!I{r6-(8;Cvc}q!H%AVA;?^p3Br=M{o@E{lSkxy6f zWw$`|&f^Dn9)d3$b}+Zv!SEm1d<(v8-oKE6tU0sJ&aQW@YmR&vFruv7-+utoiZJn$ z(E}5Qn_UC9n_UEQp93^9IF}Ip1Rw)6GB~$0{RGksQ86<_I5_ZF*8IsI6^r#L`E}2LN!4&Gc-mqMnN<(F*i0jIYKitK3xhg zOl59obZ8(sGcc180x5qb)n8~=br{F-?{j|VcedYbo4J2&&P~_cW^;4R^3T*c-Q1j& z|I*E=b5pzMCW@fKprVTc>#D%3u-h^Ugm?l$iUJ`Bx-bhbx+q2jL27s*L}AbS)6I+L zdCob%bI$jC&iSR3YVT($`4-p;BbHKqimFJKrn-Z4U9DNN3#xxIOWB;NQc9`reozm~ zq2a!zQirzY(KgdAsVzs_8g2fu+9KNaXv@#3t%`PSw8gO6>ZtCis#vPJs;b6P^_!}e z#m+sPtrz+raUaD4uq#W}yP2vM>R^)DCaQW^4pYn?r+N@pz+q;OQ8hp#oMN_-stKB5 zf!Q!s3p~Wq<;;H`rEP^aW^0%Y(XNDcX1&Zd(5`|GW_`>CX**#xvvte{XxBg&v-Ql@ z(>@H{%!Zlu)2@XcW*eD3LfZ>{unsiS&ia)NmMW84(*cgq4GvP(LNn+VTA&l^Kw!;n>g`Kb)hAh=q>4Ja8IFTOc1RRHPOHIw%x(D{M zO9!+<1L)CCQ>_G6yx0d%z?1M4?1uyF(gpRPH9ZK2;AuF*2A)T86lP!+j=>yTc?!iz zmPD6!!cza&s^(!4PQw{E%Mop`3L0UBm8PHJ2+x4{c)V{1FKSkTG89k+)lh*NSO%<> z6L}}{PSAgy)o|kN#M=qA>y%1t6P30SYA4FB4TRNM4R5pb?6fXJ*(I^A#FA52P8Cd| z=LFchEuAZLL=Qi&4W!OVohxQ!(s?VKfOv%Ptz9~T_&D)#;^RcciHZ{yCn`=&{7zj{{M0vf-031$$u{$bpjsCkIXroE-Q8;K6@858e+0Pv4JNdT&sdcGS|%*Hz7! zHU6q<)@-7p>X_N$Z>r|ZE_SIpZgxfQmY*>DsYTUE%hD^V<}F)&L)9tEUTageVAr>bOm`If5O z^38w!s>+rxET}3hf8mm)zqAKSe+9n}1%Esr{J9w1 zITYMo3huoW{Cz=}q3@(Vj9XwUjKDV74m&4c6n26>BZ|sy7>5bi1NvXkAA!Cl`flvA f{GYdzl`9{m{{U)G;Odth4h10yF$yImMNdWwxyK_X delta 6725 zcmV-L8oK4loD{~K6tEt70Wp(d1SqpddFTm$)=qAYc2{?KsY)a%INJfMa3WE4*na3v z=0+sZ7ZZt`$_)u6S)gHE&gulNYFbd4_C;7iw-?9=(zZI{CV0mL8NE{>KA{`5#1w^q za9!>&^pKGHzF6HJK_Gw7A1&2=pf}zlyYktHv?<}J+VC*uu<7F3{A^;|LeMQxeNQfb zuf=jy+eIk)_W5t~JUPY@P{~(g9jn@&DyzahbVad*_C)~rC`dmA?Z;A~eF3o?pruSd z8}g^|8RX|!+{m~M`9;VBZbN=eK$M=rq&&2G0jngyRahMp4v`|tCf0|wWYN-BVxNlAP<#6A!SO?sPtdhdPZzlHiGZ4h| zjecSbaaOIO#p+}nO~(a&IuKFfKf>qAotB}cX9IH%i?}ez@G{Q26Ng(`4A?3(D;V&N zTSgwcC*#YrT`ea8r49{3qvd+*qxv0-l+9OzW&@c*0Vf>}k#9pkX)3706z=GMDj*T+ zCUSlg(2Oy5JRDdza*NCTx9)`nIc(Gq=hxJ}H+|+{60;=WvwPDg?Obhh z6S=bfo?kH^DM8NEwYTU!^x23VHYaDlTFA51X8yCKdxW*5${zx_Nd+cQZVY+!F~ z-8xmcMS;w=f9jlh*wCj(nhaGuSL4H-41u}P+4tq{&mI!R@J&fT7{#1`v? zC-RK)BJ**bu^rCUk!#JgJA%HC+oS4g=aN8v(td;ka zfa)5TF&&YG%TX5NWS}AomMKdi2ropQosgFYu<^ixBE%f`tc>F=rYW^jK*!Q}2MWR{ z@31m2G@uOD+a`1(LhHSMXopl=(FrL4S@b0*nSd}Tt1S6aZ zGL0bW(qVL&Xing55QU)(q-RlNs!Wo31n5kO-JWnCN`na~djvvOM)XhcBJ{>#o>BBc z7KK)7P852Ps$)?Hm9ddRlu~dgNe`bef03mL6p<*U2~L#ILe)cmfF@??5fWAooeL#G z1EfdvLf?vXO-!H+6_2Gr52Qzea*Jk2$%~qN|NUOm?$1tU^TV_8(L|)vHBXxM(Ri_# z%uhvTeEsp`;`ZTUyqJhAQL)z^%uW~0_un_|fvBz#vnAevNX5w9^aTbMO??rSGSaFq zFmG>{Em(OS_dw)-CtO_;kQcus04t44(lC6Hcco^)l4Xkn_v(v*{igMsgE_9=z=N`! zxCl`gikBaL*lQonXGe#VMe|ZvaqFOIpH4n5npb<$Bn)exema|gN5_*r;oa$Ca=JK| z?wrD2`($!H`!GM6oYN7o>i*=-bbNF6v3ZFhLJ1>CG`d+{9M6-pks;c8u_)8;OU%9yx{)_BHRjkuYOBT$@MYjjqQP*E5PDg{=tJ z)p_ZYQrHUD6*DTb8SI z63>X9Z8ry#j9B;p^)GY!13y3T<^!KSaMMEv-ro)e8wIzyEB6MAm~GWZ_Pjc`FLdP+ zk6m=-2)(|_l_LcF`?+#NsN1^oA#Qc$R>pN^E8Lhm;ZfKQSNx2>Lc0gJC5{4cJF$ec z-F&@&tSx%`8MwhnWy#FeM;X)D|)y9Bb-YjH()B^z#nwIhGU=6)q^Cvw_u3SP(> z^O-4BGjg1+`#;)!Hd@QTs0KU9aF0Qz?5{F^s)30PjQ1NDmAh>Fg*a#P+AhdkIOnh|clR(RVNjMK$2IFy_$wjU^aV=j1hwIzi5{$z-35P9% zuEV;BRI|csI@wf4Zq+A?!>h2!aIr!~$`%Y|K{D5DIDj5+T ztXwwxm$+2;&+n^#@RDMg7FB}%=iE%3I*E`4h5a2xM+bb-PyF$1SQ(;g~sjx@0 z4^!v{Kht?nzsW}`hH4Gi?-gB!hq(lEhq+yb#&V+dk&U6>B9x6CKZ)gkp#RsxoH@o8 zu;N$Rt1&pD!c1No!^BF{a3M zMOt3!R+gP!9I@^PEC;&1%jIpLF%++M+qLsnr0ZjIOMmQP%b@G9PNHP!IN>#&oMo&~ z`@{l163Si~7+~;$EkAmHcw2>v!zn=`px+Y5B2D6MXLVCX1gicmnG7lg(Ql@~ zXjB}PPDCif_}O-hu58Ds0B$lCIx547dc;PNP74GOum?`T3M^TFhoTFNR4oa>Kj*gk zEc0}$m*JB8jx170RYEf1xDiLrNn*FO?Ab9qcbKtf(%^AVB;mbo>2bA{MBJVTj<47u zb)baJeWZ1QDd~e_dY`#wnRhUZTbWA4$X3*31}W(8BDfNRm;M)&fxz}mBJ^}@o1guR zIRytf>b3>NNCuLB$QsFsAtO3-P@5d-fDJZNoFU-0UQ;b_hG`p;FWC}02RgbY#B_ye zTOgis<(o@bpW2Tb8RXIA{ zWJHG)Phw>;2N^lZTt%aWM)ou#M=gtxtH=+D8&kH(lr2$zmc&eSY0v<@+H)Kk!5$)2 zeCtBf>zE{(!cZjEGFG3fg%}>jW!gigxgoLj3{ki$;!7)&PuPT|`DUggvQ>+G3T-MQ zT9y*EojMPbElmks?F;#dT&R~_AaEdbG%$Nt7D{f;Bl(IXgoi=V>HV`UKXSE_u=i zZzE-lX3>dgDd{yFa?UFel|jb@(m*TWSQAnNd=dpM2&wwO%sUMYQAJ`M>Y;5&pbZw1 zIy$0Ar$kc-mg%p zxm&e;4XiYK5F-T&P$Ay4X9Qg`w-4r35ekr^Iw3GBXU83hvAnUXI65a!&a93o6a{3p zI|pD~g8QvXUU9sJuAy6ZBaFqa=H6e&pN+W>x0+#PJ=CgHS2#akM6>{&hS| z(KQEn0|X{GPKHl_r751vUgC~3ID{&fT@ph~EYpqPZE&@1(7B15A- zU;A9?uSshlGs-RyeN=_wIHK)fH(z9kIv8p|8**iuCPV_}M2I5(5FMllo zYgg!u22+eNQ@HfY47Td%%)PUNPgd;>41+zUVhk~>R#&PWgR)%50=Aa=Sl%bv6T>rq zjM%3@FQVnEX1D2Ad#`3uXUkAYq1Nc?vf-hnu1jna0T;D^9=y=;7lbr=-oT!vW7xn%yMeVu5Rt!&@@_~@D>9;C>ue7X?v%v19_Mn+hS)QPODO5TYDpU1bu!o~H zITC7mW9zvH0)i0h(I>oshBA?dA%;l{?;{EhLp1|rG^Z$8+)T>s7y{!RVILxKZOz=6 zIIQS?x10fCQo9UHyco!8`SPmjN~#4D_G&y+fOYMlC+jUen+E8SA!Lt-+Owm7r(gi; zGH*V>LAGHN&b(>EeH-zZ4rqT-&)$UA5a-;;;sPAmZuySu{gBnH@_+EvQk`<98Fb8V zWKq#^bItXfIaNHDVm%4>jFk)BGC~+e+Qb1>?N9n_4=8oZ(G-?`ADu67oCh%VYL1p>V5s40H=^B+%KOR{CmgKO2&3} zy?)jfK&>g{Kl`n4wH+TE;By8?$)!P?a!AV+!ugYeG4={EU{{cTdcA?E=gEvy^>9|V z*WQWqrEYZ5k?{xHl(&>Tm727)Kua9{9)bU;z$MT@0H2n*N^_i&-vo7_q`sa(G zcLLA0-t@lo+_iuD+P{db>|wm1r{Eeg@v{Rx1=aLZPZ|*g==o!Boe)YfD-md2UVbQ( zmsglI-5~wd6{TH&4Ih>_66=LtEcIAGVpSTwa!-1!9mv$KY2^O>>k3;j91|U<8JY^D z*IG5HcOT1Dgj7*YB+!jNePk;o<)N!JYrwzkl7?Oge0<(` z#kk22^S%qQ`3?b0;jEeErvnccLt4j7vq!Z z(T&sNlSw1w4;Pd7&+rFjd+m$bN#-gv-i_z@uIeA{jds7i)&AHXw0GNk?a%G~_EGz^ zecq1S*X>bzG&`A{3Vi>5+`efiElIR*+qYBs_s67tJNqzikK1?cwEe9;Y2UY}?dkM% z($3nMz_a#$4Br!;Ox`ZEG-vm-$$UC{)6U!T_I&ckX%qQp5b7A<~3w(a}>Fk|wY+9Lrz2dX7^!E?5#YCA5?rz1?unSLb zKfC?n@G*J%^zJ78wWaDW{^T$P|D|004r;sPYud=yec>gzs64#Dz2h~xCC3^3O5xfs$P_!*_jNbUjW;R<=REe4h=@^x5$C zWHy_B!_;0+kM)I$fVX$!#h=qRllH^u6yFGcTnyJ-c3JbY=a25afK}b!D1T?G{5zjN zV^wZT`6s(^-8aOf)&})hOzMTG!uaIu-36nXoGixe@q98C6A^Xzl?rh(e*gN-xILMi zpHn&3rlkJqWPJXvYRXmClguu>yLIz_ZvE?jK6w|eWSvWubNDFw+i$95&&!0W#QsR|MF=pumy!l2;$zkJCMAXB@?Bvz%JUo1O|1KAku2$*gVodsGi!s+| z^uBD!_eGPJdi-Xoud1z3)Q=ZDSK7^U9o{|sQCD0(;n(OFp=|``ON7{dXPv*0M*z-mt6)x}<(?4EuH$YEw>13((hN~XGeS5rFf}+dH#SB$MnOV1HZwOw zGebBrL_{z*L^(n}AUsAhLO3!oH8?akHbyr_K|(h+GdDytLpU)+L@+l*IYK^N3NK7$ zZfA68AUQHPlMw_}bWHhS+I{)e1Y@1_ScuQ?Dwwq#`cdISM>ba`2h2nix6&6Y#s9F|J zZsTt4&;fz>$d|)QNwD_4RFzN#Bh2S2~y zH`OXw&C+Gee_o_*fJSEPneCu$f@Wsz%(`gTKnt@DX4`4k!a8P~nQfz84;z?uGV7$> z2(8SznQf)r1Z~WAGTTDi4jr%=G}FoYD_s`KBU;mKT%i}-PE`r@pjTK0YoQ8s5520; zLTH7wbXrp_wswJV<%BEmfnGQOeQ*%^VE}ems4VJ%e-3dYZRil3hCvH;^*TBXhdHGM z8lVQWwPRFGz>4Qb;AMCPj>4;Oj8is1HE2!8;Wc<2PH=$z$R}VDPQode;wZb2pJhq( zXlE>J{YKR^%)vQ04;Q$i5!OI0th99O4X*G6h>yqL+xQL5QYb(UMJPcTDqtC~R!-!d z$U8xIe^$eZw-awC)UI19v2|2BN~oPEyABXmXEnUh!kc4y3}u(Zx)MuHT{%@SiJlW+ zZ?*7lt}EL3^EyE4oYc8uMkbwKg%c2uA-p!AD~OL1A16LeRGg?dQE{T;M8yw*e&>2~ zlH-FwRGe)12#msE7z1+P+lLIFQehk=ne`n+UII#PE!ou|~J=%nYCs$QXn$a^LtQB`Nmeq62UtR>-!s%cBsJytbi$@@*JW-YnXt7^`Y zM~kY?S@QcIs?J;5{GO@{mQH^Xc>Q46zmI~Y^OI`L($8B|C6+$8qAInlu%IflZ0{CT ze+A2CXH?~uy>nAl(Xy-8Rh2B8|4>!gvQPh?Rao{#f4tl6%aJ>`B6k-eUv@_B?T*~< zi+nvC`Sxh!!9?V{`N;QQMSl1*@~{+n%y~~PMt&NJ{M;0Iwix-fEArdhk%igF;&|k* zr;+EEB7c9R$Iy3DAI5#KA9|n{4nQ9qC4_#^XGBpMfI%37VbK2t{Ugw~MBj}gmi==r bSfTt`_z!7#;M12N4h10yFbX9lMNdWwP`nN-