From 975b131b03e176f53d18ca8f2cb6d8cd8e3c10b2 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Fri, 10 Oct 2025 08:58:55 +0200 Subject: [PATCH] [TI] Prepare non-determinism section --- .../02_finite-automata/03_non-determinism.tex | 2 ++ semester3/ti/ti-summary.pdf | Bin 897071 -> 897863 bytes semester3/ti/ti-summary.tex | 1 + 3 files changed, 3 insertions(+) create mode 100644 semester3/ti/parts/02_finite-automata/03_non-determinism.tex diff --git a/semester3/ti/parts/02_finite-automata/03_non-determinism.tex b/semester3/ti/parts/02_finite-automata/03_non-determinism.tex new file mode 100644 index 0000000..c643462 --- /dev/null +++ b/semester3/ti/parts/02_finite-automata/03_non-determinism.tex @@ -0,0 +1,2 @@ +\newsection +\subsection{Nichtdeterminismus} diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index 47d76308864dd1136b64660da209101a4ac13ef9..176181c580a66039d3f6b5dc561df1964d2dfb0d 100644 GIT binary patch delta 31811 zcmZs?W02?E7cJbjZQHhO+vc>*U)#2A+qQe!cK1x%<~#rAet19Jo60(MDl2=Xl2q;N zQ){PwpJV(FM}rhJFlRcj57(i&?>RhH;BC5%pFybby~5|AuLwBm zH7M3BWOH*DJm|;agPWE?U(%5D` zlRzBK9RXmxj>#r7967rKn3PV{bJ1L@*h=9N2I2gWvM7MUqu+AP9b~NH!%XbBTu_zwC32$i%Vn#-(B( z*i}uEXygw<6ih<6kjBfn_9bJ9;`>e4hPi-Z^#%;$YU|fQzP(%kWDH1-T+HI^No5lh zSt2QcE&GJ~ttdvImMbxF)$$>JuB0o0z;onq$)qbq#L$iSM_{On1YL<;;r3({m1ERJ z`^8j&EW+GLdVElLhaE};iw;6xKs%B10hz4b#L}e#Q|7*1E~?!2HE=8(4b>vhP@da% zH4ME+80uhK^sR3I{Ywm=PS>kRZ*`90XPY@GgQuHnZ)Qt2!wtMS3;Xs-piF%kRD^XO z2L+M$R!r-=$)&Z%q^>X_9XXOSy9t!QkVYU}83E8uwpO$VEN~MQ+;~Yc;XlmE2)StB zys=zKUd9y@KfA3M{SV&y2>OPMZ34m=2}H0Ms%93Ekdq#OL1I3oUq(+2gRs~gB>S>V zr3IAP0f>H_j0Jkv7@|A1#Is{Ok`E$ApSc(f8-P6!l(5P*sEYAmMv_;yfS)FNPWcl= zcG!ZG9eV}m-w{*c-hOAeU9qb2E9n~Sj$n&A--<-H@aSK}j@m#k!kwW7M{}uPb(KRK zjona=9=r~KHw4STlb_5tKR41cH0+`Jz$*~w5~8<$_gN)}EN|s7C=(}0+g)wY^!082 zTY(*CeWM1WT|X zb}b1VE{soX{m}7@B7hCEl7V%x%$fEL^=ra}@Z~h2yrbX@XA?#t;j}441(pYw!@L@d z**6<{s<|-6+j-IDHu4S!*LJ7{uvk~hxjtiOG|3;_I;ulHYMIwR(@k$ZOdFwj@evoE zx@`Rbad2_pP;tZn`>ChZ!V+@s(6xAww@vAJFwcDbx68|_y4}s_KHi&UL(5DA?=uI{ z7ke$(p~M5DD>PT37EQ<}&6=0&*(yFr(Q+iHD#8K~pIrw9fDTci5t_tyi0}_WRBl3- zf5kh~^+_2c=JU0WdM7SF(YOgY@<(q!L<=2#z-1CT^|uw&gXWB{2W70A>V$1a@QsfTqcX*m;ZHE8>kd7>>u?z7fZ&upBhL2 zXOvPLSX%prD>u;jNKT(whY08?7-4MU3=zY#DcJ+_{et&K2%}djqQ;Ad=$ek%6?kc^ z>vuPr=(ay5!UsP8yK$8D2>Zqwmn`uwMhO}y(Q=m^%~(=SzVV^bs_KX$eqIcD;4&yAubuc5vMKI6EjT%L{*TlK)~KEDRkR5APDFsms zwb!5RRk!q=Y^7QH1FCRWTl?l4s(eqj=axDFyPh&@AI_$c{!Px!=R1rM7)o@0;cHs^ z&KDPozKu1aTV1#&lv>(EX~K(usfVg+rlqZW{fzgabX^})JC8jg8(7suQK@p9hPa7+ z-%>$Y(5XIgrxTL8MO8ni1#TpUucU!OUcAzTMB?2ef-?2Z*0W@Y>zJ#HPd(8R0*jwm~voD{-k(We6fu}#fCOLhR|Bu>*n%(3Sr?rLAm4J==EFD_ zB;RqDM2FC1c4a5)@Yf-Jif!t=O-rH@pf;VF()govBkwX*>u=z{<^OEbK`m6#eaBtz z7Cm0_V{7>{3L34rHEIaUhwOb=BmqV;+jH2m?g!h8@+{zEOw_#W<3y?G=!_bI3+;Ns z&+x4kV!Cv+j_O2oB+u3c@au(MB_Wj^aV8gQc?PhRm!f?q*SXl@=(kv*LL&*c8SnxZ zwnv#IL}lDSd|id(Fm8Y}8@E-{sZO=o8wk-0L@&|B%95DtOKM+MfOZ5|Y28z>nR$NS*UB z+bmDy3WaaCdISQ63r4=u>P@$7KU;e%3lLa=26+upUNQAmA-GBsnC8;roFm+U3T_7z zhcu;n*vG{lTG z8RFQz`C2Ot$jVpuR7G?+)tC9Tt!H+ra)YmXgpQ<8%`kz-VyaB*-Rr8I&HuH*(7IbxKeXW$upItfU_?OvcB7} zisYuYl35{9O)D}Q)*!T7~~^?EB)K? zZ2$E;&RZ--*yV|Ov_imxp<3Wx!M7DvJh4B!Cz$sIb)`?YHuR?tg0ypRTa=WlBAZRW zRL7p~BQou1gksXy1GtjSYPIl3S5w=sZlLi}bb?Z(R+ob9hr3 zp+ZA&?gWpnwKo~Vpv69y$-PpJy`mXwE916UZNJk%6@zP`xp@;|T#1gn^2h-XcF-`^ zbu6!Uh#gEy*Ro87cqM!8fOX^`5y-U22ex=a8FbC<4fg`f0J>P<3Uaq5;F+SFZphYde)6gCMSXN%%R-M(wNM_8P$Rpmt80TGV!Vd_2>=&h^n$>cf0P!WlK+TY0SEaKG1V3 zE-sh(m4gu6q~R1;h->@Qwz%|>a=1*?J0uyPyqbQIz&J)wJ~m{YchG|_AV^gcI1Zk| zo%&lHW_~u-`e)zu)!5yBW-!{pFA7LMt9>aR4}#XK05$gHW2WBFU1VIbJjeLCmG;AE zQaNx0fVmH9+2+0zY=sm1_#yc*vjpn?-jtebP8;qxM*4BAG{B6>G(d$7v37NOz*V<( z5bSXN!Hf{hwDXxiKfb}ZYqe}DJ^=*)w1x2xLSuw3Wc7J)Y6A^@Fd9g25kf^u*~|YR zZX{gf{NK6ozg1jv9u64-^Z&n$W8-E?HU^^-yVBiq#^pru`>VOXP^V+;*k7Vnmt?nb zu}M~))T613h{m1Rk;p~kd~Egb#0`%Sj^{+BLZa=2rx6+43A9tL$jKCooXm%d4Tx`1 zi=v)yX->2rjDhK>%z$2WZ86rs)#J4Y=A4oG6C-4;bXeFpqfHekW$9#0;-XO0Bw|gD z!}^!Bf$LAuD*i=gG(sx)gGfQjjBI2!1UY}p46S^svNu)qjBUUJOsQyPCZy0Ge3^1y zf_9(;@QLODOrm+(aigFYBm`8y0DvE`e2^%%vbq?C6OEDBvK0w^v=vG1mDqd`20=-n zuw8@@6f?xk;5m?jqY1IbQgHyPBxM4Q@4qww0o_$XlmKNJtFXO>&YD67YqF zDbzzTIg`RAP6b||z<->Ql9V*2iq!MO7M8rn!>%sAEWqAS^hV`Gm`e#!26v?HC1Q}` z4HB^d7L-=}Mb-2h6+g>Y6j0leYW0_1*{qV@)rwGE(wl@O34t(zAt}E@8RQ9MBga=E zN$%cFX#`Y{0@MaeQ3LXj35+M019cJ`d6SOr8jrxeskz!7z|>?=u9J*V~Qz zJSEI5XH$kL9dE$ksDsFYxm76{0QC%A!zBIJ+5MYzO0#}lqG^JyF|fw^gF~CkPk$Re zQZ&ZLisE;^FHa-_VtjaSQNAkgWQ6g1uIlvVYu`+`-}71d^%IxnSq4Fm_sXP#g!l~| zBQYzl*GF8ghvUQ63*g6;&w<1?yYW$JwfzwAOa$`$^)tWn(+}};^YIh*y=MEim*h5- z$^D|}urj~yJ35+NE+#3P?G|K8a1v%ZOj?wOV}U4E%g;h(A1c(w51-gdQjE8A1$u;w z2sfFEo{@0{YD$O|J0La71lWTdYXdb+W;;Sw1{@Dcx>VLg0jh)S(t%$j^Shm=tM*df z#&RwHHby(YG-nDvt;OVys#kA+eYy)uT=sijjz`p+#{_(6KliY+?)tNK!ip}z`}d@6u{ zZL?rrOU;j82l!or!JfNRE>2Hdf9J6UR6iVV zAokUT!Da8v56)E8I2VJ>Nc4GD$OpZHaW_8wWl2};#tym8y~X<6=f0pxE4uP0XVF0j8WLQ#5ILi0(v(Byvb#s*4I(~pvp`Yq$f!fV}$*w%1sG+T^R+m{fRha^gHcIcf=D-gzg! z0U&nOM}JISZb?k1mXjBG@{YO48F!OL7%gh7#D@(Rm1winW|CdCm^iC!s;%bpQ%I?N zAyBLp`wLW2ylxmaBW`4~rKkM`s|u%XT8vt%lCwmAAz`{g+K$qgfw-0v>TT|hMqz2b zfgH|nE*>5(A?B6Io0w|?l8UkAckxLR`g9f!Ywg zD$_~3?y_cG89FAd2L_7(nU=^Iobg;2IiI>B$x_m1rr!?8;(7{;lQ4t6>t7#&fFE;+ zIpnxBSkVfL;qHrzhf+7ws*BvC7GKvs`yBf(3P zL3-ClBaTZG4!N$h+;xfQNXpV0fQ)*ox~A*Dy^Tg+{k^K@xKk#t{`l?xIT%zNhsyjL zz`rJb-yUKtP;rv)R`Hf^q>k9Xr@YF29VPCpf_(dQJ?b z=wHz`gWAOG$31(4#TF_rUSlhvtsRbC7RYkL^94QY7>%JJ@$v+bHfP~>gW8t>hPQMV z=E$zmJCq~-J`Js32jK)h6058iRLjD9re$|Pu-ktuYn505JAjFAK~>kLAtIpY5Zv_|$W779;M5cjYe5_`QEa<7 z)e!|NO6~(uWpd!dbi0cTzcGvkQ+0#UoBgO*ObCQXYxc3EtfpDCbb?dqDd@M}mys@Y z@^Rds-vXXT!j$xXw{0@jVo(QSu7KNR#V&EQ5OY_>_K}Z_IzT%u{ewNiH|`HO6jJg6 zC>k(Zx)Tl*YI8RkD*`mT>FN*Stq+RIKL!?`Y(tp zUD*%BDtSf>9+)e5Q!IQ_47hz$48)xan5+FC!v+Sz!t$Rk2oqZ}G6*#wHL=@%mnrq4h8KA!%PaboLOZ&;)p`1zwaKF1IFxB;>&8{6Z=SiK|XDcQ;4H2t@B@a;A0kfdZMF8!SX3avdD2TB(Xdd6Pl7Lcukw)tNW zJ5&271=Kzo%;FjTD*#C0!Px5m9OwE!S3=-}>cN3_OMm`>L{>q8`5%YL!S;WfKJ2V) z>50Oy)a?|SPzz`<9eH7OKcJT`lYIZFadQ1Ztsz!_yp?r!f8MR+Q-av2SS_!-KKO3bG-Bm{J9WQBfHU-Yx!rw($R3PG< zwC53hZ_T=+5@GCB z?Ks<6J%jT0=xnH@{Ti#^&dUrO3R(jO!(}-Gs=c)jsQNwUtR>2^+0o5$zR#zeuO+`U z4FL_Jzt>m?ms_+=tJM^J3-{KRUT*c}`+IVf zOMxd<;%C&$3%gGJmQ*!tu=+C2qD}B^pxLCf8d;6_KPyD!1(XLKxA!G&v`PcXJxi^$ zAe53YvyfBSlC?FiBg=#G!S+*8hO~?jCjp?ufb}}ghm#c}*qdm2$H`6UEfKeuhDW{( zPk2h_zGp#&)<268_JzNgO=DC6WZqGndtQehms$Bwy1Tbs31>~$cm0-%3{>4 zO!F&GUl19sx}Y69@TWdc50|fe2f*L;=h@9-aJ)e(&4#yEO%RnqCIs9BfF_eft?>b@ zFuaK@jcF}gr3tJTZzqz3x*C=UD^m-Z(S@oUY9$2jct*^1na zNltKrPr*u#X&0HIU{1gO zuEH_En%A+$8^uu@W!d{0?A3ygz7vHQH&0rPp-o{d7;h(PsZ0U+!bl~CA#3iq>`?6? zzg~y#5n@WfoyqQD<22fEJl6@pNA&CmB{fn;h2UUs@&thBGSR0lPjO}yz_eJ1H2Pmc zo{n;}u~;+96trVMLr3^D5(}9HM+t?%fEG>K6mAKyD2a_#!Xj^)^qmGQ5pCJ)n4ndh zVVZMHM4%?TRey7g32Pu-x1jthpjxG!NQXl^x^Y5{@&wtnh?xcgPq3m#Rdxx3E|lrA zjcSIyK>^rH+I*djOSXmWGKU!!R|N)m7|LoxQ%^hyyuuQtyQwu)zoJ;h2hm9Bk$Eum zsY+UEp+pkE7%$3xp`&mcC4ojO{2VQEV?*fUGWOB=V5Q9Q!|m|QAs3Zd`4|Sd;TaSw z*Rwi+IhH{9=MXoCWzrP_({wi_*C;u*@-ZHb%>vlC5+g(mmr9F;dwX=)cD>y-*aPzH zI1yhS z8H|GlpN)HNB+(k4iwTjVSoQV?V>8-;XMlNOYW!L{pId?HZ-EubC^uZ8A#&hgdKa6V z3joK)TL*vhwxB~{a|3D?dM;dP)Gp;H#U;x|`C-w+_Z6X+UKZ#7RBimycpBn8hmfWb zHcUzph$>l!$jY@Os|?Xz42mN@1D2T$0ZXL+{T70f|5k>VE!g;`CAg;vP?2|J2O_5+nc9tq0i$_sU>giumNh2mbFnIbV7)i!tu4 zSu++HOW;lFKK9-|*f_L}y0_(qtf*4O-Ala`7+vYYHJsFwRlkOx_kPGtPKOCWR0zO& zzj2XdQ*dl<#`Bn<=@hW0`4b9Hkd_EGau1(}fdkZ?>c;U}p4Xr6y+Yg*iqHkS5@5b* z{Zm&Vq%}Z7+w$eCnA`xO3_2af8S16N(2|C3;-i6KC1Zc+n-dV|OtZ|zZ_G~Bl|A?! zq$2rZZOI*qS_rCs{rrGYx(Y4+y9GeQ;5DWvevQJrt#0654f4aprX3ta74}xHjwCKA z?5l%gOEgf$^aK|}&%m>@gC1lhWPY&r%rHhD^wuHl#3b_aw! z#a!o6Mqd-$UvtVN>F&6GG67H=V-^9`9(H%688^b!TX1oT0a7JcDVnFY9>Wev&J=3{sB@WozLqWusFu_Vi0bcgY)Qg3o;IGg9io zVmp9f%@0~opYlZkvoI&Rt6U1L>o~O#_}X&n$|^r`M|Vz|Y6BRSQvk3ka4qZID8Pp+ zOqO%j6J1Oss#1Q4%=|31}Jlsf!r$JyS-+hZ12l4N4*3lhp%$*qSTEA5k^|K07wYO%pw4ba$1Ql2wRj{x@?u^j|DFH$dwQ9TG zu#?g_f!xxng8~1-O>!Jx)m1TLVX1RT-4=fAaxt0e0UAX*<=T5*#CF#o2@QwtdW3Ze z0n7{hslr2rK4jhk5KC0#We-S8f9$XuO7*=7byk=VJ2I{Gk*A&Or2xMS`5=F7M!~IX z8oB0-9#5kw@6~R|ql1>J;;M1s0C*|?E^wLGZ_jnU7V8gGakcP8u;RcC#rr*yVCpQiwCXO0a2j{}<}O5%+doQI zjl7z%IyA`+EDMB&K+Vcjg@$E`H1?-dm`YPe_vk?wp4rIxgh`bd*djqy6$MKSk^BHj z4i*envOr?h9rV~NOXU|cNs3S|+5*&NSwz{U9YDb9ycir@&l|f4`9@sOi4Bf<8cDun zy|gslZv%@|rW8(j2HSMANGkoZ5xWS-l^03`<^$ln=f@(+JdFlJHr=G0MnqTszx zOL>ok%4vU?bMq7=%b&dP{Oa1{w?N_J;s7B5zl*9a9A7rL2j+j7q1;?ekt51-e?e62 zQ-T->unj)NkJ}9s8vqIF_CK(ChnGi`LX~G8M3>VEeR{nn7;XRZZ9@WHJ!}g=o=nW_ zwhrPDFw&^u1%YQ2oE1gUQL;n_nBjOb%={*s=sihva`34{H9%DK+VQabO> zIJww8UvcA66@|ymcJIAw4SY@oym!k|jg{|eJA)kpq;6A&=Yz`Z!IvFcYe@k%Ph3B_& z%Yx+x)z#HX!roZD;hlq803ME-`olpQ;!cSTne%9q_O zpgLF+D4HDG<#(m$Li-vXh{4q_yoiWERX!z z`>I{FQR`j!Q1eY6YP8iXXi`(-W=D^4IC^#(tqnS;(2$@x>HS&DNKX5#Q42?tAC?hQ z^J_X(oR}FAjRAYPr>^xs+()Gii^mmoNRP{Z4i@vL^rf9&kHzxzLjj3OF87J;st=yf z^>i_cQb;Z3=65DJ*mQV>LLAOcX=(;V+i$XBQDQVd&j=fr=*{9|V5aUwnfp7?m_q!F zhCriN1Hy@Vs@|6%sO4m20kiV!#c5iUcO@uTU2l5Y9HZc}8x^8e?cv8%u8a!Zh5B~ zzS9eD^vi%aXbgxzT(VqB(KPJ?^|J>juC zchG#gCQcQE8^8d+Rkv~*=gy#bd(GMQq8c=a=u9)dqp8xE78)A_YM?Qysh)23Ipx6C zB)FAwgYiLN9#lvf+ByqFaVK;IQ+BT7LR%gYGWajLArr-DIE)2rTtujLsupPk=oOAh zV)*j(d=ypKYFd-VOcg^YI?}5KBY+~eKIB)C#u(E|qAD&akc36W zaf{NYtaC%4z~ZdY#;4_5{8nC5t@=aPCYQma5z|@ylKEPte2@P5YWN(@D@t~RT)l#i zxpwy!h+^XpK6OS9nO8+gIJA)?#nM~?i^cmzg+2Jjfz7j=&(D`Z&;d)Ks6c^T-Z+_P z*Fhmk4FJ@#22VvdGUNEoFv0QO`svaHYnU(mqSct*%!*;0?nf_N*w-xUkB2Jf^|b~@ zPRHx*8V(1~50_QZ#uQZkV%77mauuzeh(fiDk9J}+HS^ybIb+;LK}tVWzQFX-XBgv5KsSfxd4_U@SJk43+A;6eMSczmMB<3o_W72 ztOfJejxHbAe7WQ%Vbq}NHZGq4CALz*4|CbTRwYND4slF zb+v(vlr$sV5t|tX-j4_qp6d`VjClVQp|a`^>1c{q=gtQEN>PM$j(~Ahu>Q->&fInVkd#*JEUPggSgFH=!>=Rt_NR}Ffr`=9SaaaE$Xgg;|rb;I^nCS zN)Js9Tw`GNxJglZd^LaS>8WWEv)#t=S!}A}L+_6Z`Pv$$*g?|RR*P3zQK#9ROl~XL^RiLTMUuMTl zGhO{dAXw@+XTN&Gp&8BYj;{E?)5WNNH#ub&WT+hjZx{{n^#ktV0Un(>wjXm;>dxglt8^BxVi_yJwex6^rK ze1&$(bk4uRzT>X)00<)+s1MQ4ob*illw4PY@{H%yT}2vkpLU6LsE~elDRMti0(QPo z)pYN(Y7uicm~!K<0pl!3?FkHJuR41<}EQv&$)wu8yRUPv>I+I z1A^ zZ&cM{CPVjk&O$)sIOy!_HQ)w=s!$Y_Gn%K2r3?xtKrk#J3GndFrdF%jP7E?cBaMjg zcEGX7aIB$?n#@xB)O`vDCnDD;IMGziL(-^UccI=JCxM>A(yJ}U*EOe#xV9qn8p^Dy z4IsG@dKKrYQHbotT8ZuzVyBXLSckPt`OWuy2z;$)W!}P41AeHj0I-r}%1aFqFBpVs zvb%srQ4SbGp^NS%(-JGU<3pe=y#1ki9^y(+$m(rO*P_U+FuD^PZ7fW$XL6&QF^@M;y$_H_KK7r zd|n=jyTdHBSCP5>1b8pqWO^iBH1hDQA`^%;DV~c5y2UHL5KG)Ry1(sfar_K2s0}ms z_r9R2+y5XfkFSGoWW$7?>|(Mhm>a*SmfEs@F!&VRbA`(0`5b;A3KVQ{+fSv28^3lx z$MYWFuk+Bb4a$d{m_YgeYY4}*yX0{_M4fIt+_r=Vnwh7C1Y{}MO3vC^(cxhipof`A z8l0Xr4uFCdzEn#Aaty?3pp!#AJat!>dJ#^j(y9bm<-pLG-TMMokyNqWd}9VYId>SUK3#9d;$iAxfH% zd*LwG5~t+20Clf%(Ba^EdC>lkIJ;A#eyjX^z9%kn`q1?*REcK*gzKFgnv7tmx5~cr z$D2ZG@?2Uz$+7qu>G3}#JI=on7=utKZX4c>=})T&YHAe_ z98GgkIlKov#G4XRiC%fRz*^W=PAue%7qQa84ywvr0Wan3qy(Ou!IwM_&H1Zz2MgMi zMtH*ra9OxmL<^vXO-;9}vBQ;FGhNj~%_^dHZkR@s?NaD)_aSXEYecg~=_2j9FVpy} zGTvj#_pEVAczERa>@)nB4i>{`#Y$VIewM?0RrKHM#sv0r@T&OnIQ&OU8@D)=-*}^@ zX7F8yfKK2i!{8YB?Vs^gNEjQ&Cl*6zlu_y-BUlEzn%BxpR<)qlUgT)Hi_@Rs{4G~6 zk8e>y?Yl@wQ;@!o3pOR}2PkATj~YH>#Ve0cOn&hKM<<=bl{`ra*Shj=r@be0&^4R% z=7448)3H6E&6B;aQ-QNRBkV_T06gjXy<+e?Ao_skAWnCrD?cntzkkb8{wtxxZQiW` zQdHxtP8F+Jb4PL7MC7~(Eg~`XvhJD=DCgswYki~$uZXS`%M5%zXMh|*0a4Dx(tWX% z$WH_mG#8jQt`eM_xhq(WlIGYvNHbR7(AOH8Q-}BpJ?jc_^mpgA#*X@tz#$0M0+Vdop0n$0H@3kBa-!ejm%8zLL zE0fV6vwYb+LD7<{NXrtmm$m5FQRN0H3IQs*2brOqwcU3 zGMo3V>XCbt%yLB_U9v7i9c}kyXqxIYC&%wjm#XbKY0GwqJ9V3@n zowAD8_s7T1A7Vk4@p3w{?yjX-6o3Gq+QIh+=B}>18{x|jXwihK@c#_FbdwAyG%z-1 zHunE@1hx}KKv5t;vj~=a8QPsK(f?=hasTH&qJpxsaHS*j{rme%-{puS>E;{VJH?hh z?3D}-%nX$< zR-(9jVJBdE(nLj}kI(1({W6)cBXe22wj-;jFKePpsWj_U2cxx)qMnh`p{%|>d#i4v zExY~iwp@MoLnacy`F-X6yiIqu{c842vA#b~s$#N0S@-DTt!u}Knfa@J=a~RDr`OZ( z`2stQin8V=41H!fxxKoXQ!q7I_VxLxgig$k;^x;RdWxEOB^Vzg6^J41%*W*lA*+~o=TuIw>)d|Pc+AMeJSX!7YX+x5G9A&7cd z-hUIp)Y5_jTKx?;5IV_cbw{J4G?TTprHHMqek}WezI=XPjlH$wRctf_9%omnqwdaZHjcUyJAu3hK&)2s7COmB%Jf#wq0nI=ldc!nU!#M0`i1KyH7OT)fPF~ey6qMgo0)x}~yNoIp==`h*V+b0n zgm;2`nx59%zw^SeNt~Pf&?7xf@V57=Vq&`%fc7FIx5B<-AqzBp(;a7{e@JCFoQK#b zYS^xgYV6d8&ob}6rHl05r@6NFgeSuxB}T`pmjkxNwpO<=>%O~F(gChZZ#eA5o-jouj45!empn;w z@W(24woG3sJQ0d)z=q&XS-635E>t;g2ffprfK&|C+69Nl-6}p!_uF@8GN(G+s4RQ$RJyCK^5)z*blKR~F zU4UE4_?&twOt1Dwel^L6phbf=ZE3U#5UEA5_3;-$3uCh--&mSW*ISI6&CuK2@j@r= zK_dV!;*)y$+l0_ndN?RCZvLbxy2oezQ&C%IJFx^X0YiP3%7^?#R)KhRKH!EIa zX#Tvp$Mw>2gb?4tTZ#-qEc7+02y4UBTAu+8Z0k@BJ7vnEvBy*fSr>}}R)9QtxsxIC zN~yIGL&L~^DWb16T^F|C*M`RVoEihe|6&dBi=W0iy*uX>?(q?$qo=g&W9T#S)0|f2 z^?wmBTzxveq{*_frYxYMw|jwx5lOJtDa)%MU?chk6!cw3t34$R{y>JlsDh!xjI6pQ zDslW|BpcJjq;if$XA3O>AY?ROmIcE_Sr3K;dlrhRKnlSZPn0kEV|-b!LCK#QTk(?bEs zT3IsKB_WA8B}xS~kZ{x&g>g+ecTrDD5U`olZ0RD9$W&!DkO)*4f&40kkntYzk-=hU z&;Q)xmi>#)J!Sx(=pC}%QL8EyQeYRAtpDO7vF7P(`XFO-zdgHkV2}-qY7dCCdA34_ zqCU0ZL{{jJRZ%f-8CwHthtEpOOKEh0;qYLeewC zC}sR3y8-?v->frhy#wspkZ@?XP;qWG`Z_pc#U_fMkEvV}6e>qCZ)&D?YM>5YUHAec zN@F!&i?TqaDV0j4jSc_(Q8s%`n{Vz>3_uGEAUWm?rhuh4x7V$M*t*{>jDr8vN{h<7 z=hZuV85KeBbJS5x7C^X>#`bw=x$`+umJOPuR{VHtA;zoBiohdfkC2RehJeBN>q0GF zgs#6#RA!+pd~p`Q?BfAye*!bMU<*DoB}e$my&(_!VDAys(V%#{IHAg~T72>w5`ga& zDzYp`Q#*);1&L2S(}l<*Vr_u+`xwmyj{{hjYdsxS3u2{^1BmgsSZ!S;1sU5j6r>rV zM$OoF;z?VDH?FL?CutO!aD`lY3tt6;~F zVJ|(i2#NyG`HMvu>eV}+fW#7!(+CYzxw;0pI1Y=cOT}!U0!e?)WWAJ`t~xv_@eCY! zL`Sw}4%{-J5m=ZTCbq9%FkgCum2@n}x#dW4oB&gxKS+*`Ti=Mx<19$%%KOMA*?uiu zevK?E?23>|m75KGk5HUnc-cXPs_B!)+g%Bf96cCd2b;miF!~(hTGE##uz^It8zlOT z)Xo|8tO!a8X}4st%AV^OVfJFqkiijMWW7Nr{McFyZASU&g8Nc){J6?IW#Kl9;(b3<$c^Js%LF;x< z8`}ubOg&T1tsWsPk7DwSYyTjlPxA#8ho|pS@BRZnL%&c0gDmtROdS&Lnp2;N7Thfob zl$;G8=L5Q9yzCxh=EIlH!78IjrxQfK8HzOc7ivfL@80FU9ZjDDkS|IuS@O|tD4^0( zR_^D`+RtUsRg@yaYMPjaS$8EZAwXYX>s*DP{V|gPoS#qcm z=uuFyn1Pm*-fd+8y-Y}tY+4_&=Bc#$RT(_- zw?JvtDc}IhfEE~44o4yL=#AH??pYB>C5E8xW0GRN*1rDOnS$UgmsvIxhDFt1%cs?G z=jRa;qg=-93vWJ6gd3c{{B*~JS;zTez(YwtZcANa4H2|+fG|e&X*n1&X|ro%FAH<=!J`lU8ZC7 z`0kC^`h>o*%nqUhSX2Rr!@u@tA$5h!l0X(gMBZYKs&;cS=!Vv(vL?wA_j1f4G!=qq%J=dK{E(tbr z+MzcxV_s&3k0Z2cX{^@$tU_`5Y`-IMUOW5>gf*;N5mC5heHByh`x`+-rxIjN+VNZE zMrJPQ@mu$&RuhytFV-^jeps&edMoch5QXzWcOoiIu;`#AKC6h1CZz6BeP?e%kpyPg!R#V!_I6m zK1-HMkJm>>U+Wtyo0oIk@vzkm)BfqchR`oCgOx8bmn&Ag8u66wo@K~{sAEk zk>62?{NEHPBB4bB1hO041hVNXFFYV;)n{I%^kvQffV#I*jAf-B>MB8EA7yhG`k#-a z|ENevy8W-chQQ*L_xa%RF$ZWXKcTHH^6=Q#wq&faxx^Co@v9NN_0jb)rS%t-*p6ln z^JmJ;ub?sp(*69Em78~Rn`wmzo_r%Lh8wq&cPxE2?w`r2{ST08r+S8`Nd+Baa8@o7 z1n~zE0n>>Ev_Fg*2>~?d>yjgg#aHdKWL%|EX7+btHXQD|wP&W!<9~19<6uV`pD9t? zh}5XU+=40SVPDXkN(5SBN#M-9pIcZK+}M)Wa=zqZ>d$D)yyQj4AoA%f>;-u$$)Gs| z1k~X>P@+yRa@tV7&Erb1$KajBakSze!?WPU1Bkmtk^jldz?NBOp9CNLMk87VC;y(p zpIwnkXF(9Fnnu|W5~zRV%F@brjx?Q7Q%N&sBJ;LFSlTg}vuaFdN+^8rwZ9%WP9jg* z0F%i!5Z?d-DArHZSwRdbszs%Yq0X) zQ^4_X(-G@dF~+o{3rE^mrCsOGHk%iw&hlO@gt4)tF*#kQ06N;!*^`Y@IdGf+#TG86 zL49FEyut%xhqNp1jhe~C3rd)CucYsGTblvX`Q5X=7LYj&`Oj*V(WIWbOlM-Exxz)& zzoQk^>_u!DPKmYRh1n+g!^BZ zeqZ4BiV7(*dxj=INl2+%L(G<(W@PGEl`6)E==MitP-lB|1`oI!>4eC-c<*rVge>7 z`;tkctInMwXXfI)ba*wJoX;>JEfsor_D0G08D8J8^DO_)jcK6!is8}Fe|OtJR=2#) zLI?dJ6xm6{w+B}lf2jn@tr(jSq0+BtibCnsp^g9fjZ_!gkZowSMq&wt0?D&+gfkG! z817a3u)cZLV6<+u_IpWvXoui&Rtw-6jfdi(66g4j6u;QgIpde>THRp8!cnQ$C$oc0 zUSvhD&JEp<1RDE%ILkoAJlvZ91E)HeJP})D!%TZhpsy1~W7=jWlZ>5bYX*P>bA1(C zq|-S8eWdOI^>x-_CsHm$DB}$g`tqig-X>$9+(sd5WHwEsBN2GmJF+L+wq=PLN;rw= z)eRb;Ndd4-o~Wiy;cBa-um*@NSTBa%Xmg23=~4cXvZHM(=DY=8 z9sFZNm~PR`bNQuV#bS$KVr+HysW{r>3r31Ulb+GC6JXj;+#Is#>YbMIA&uoD^dhl> zyN;$WLj5MMu?t@Jjq44E>w3m;iLb&WI22vNf`y8x99us-ZtKQxh7SOd+>jJnMky;Z?+*!f?GDxt2R3qtY7&=4|GxzEi97G0Q;AC zF+6W&a47pCq9CuHf9L_e$on(*{AG#!@YVzzXV?$ZSuiqAHfdn6`@7A+AHaUX*#JLt6;Jazeq+y zRlIL7a;l=FV-oQV+nb3oF@H4{XHlQ-A7_N+sXrzVQDB8KS<`icuGQ(c@T|G$Ysc$B zD_X39f~b9tNBb78dsdtncu)lM?ZQQ`Cq34NoUK3eE4%Dr6wd)aG>ghNxiJVNr^^1&!q+3>TU1zEE}!B9w_Ou)$@Dr7c8o8F_{7Ht1dQV%y39aOye zMG4ra2`F2Du;K|B1Tx$k><>ff9b4T8)-HoTB=wE<{(TesIu#C_>VcD6UkTn5 zMF(66f$le(96o?0UHT?oKe_^JYa*9h1Y*gePndKPyv<;Y3=i1{VX|pq96&*j6~(x; z_ry+@f|`_Q_+M!th5aws;qZrka5LfA{lDHjE|I4<&rh3779v|y97r1N3U1HV_$G9Z z=F=rTOnIx(IzuU8z8*11qOOPpzrC+uuD8tM<<`0m-D@^NL+8r*4Ld# z{OOgr-fzmej=+KQJ5FR`iC^f~W#EgjXTLZG1??a_TxpepBXf1)ha^%sBBMjITaLmQ z?YN@ZPp1p+MYHtk#R{H?!RU*|WP)^|OB_ksP?;8!BMVl5EIh zMlO3}*fs%Fe$Ul&f#*v+&4cl3pT#tko7qZa-j23&{rvmc&UL%e&ZP!B=3qBqO5#P2 z>>sOOm$eh2y7*hc4sYeGNC~x2K4sv*e553CSUcftH=PYwFKg3vLoZ)E^pg%Qn$&o! zVeZ$}e9%JI;%?K>4ptw78O*#6?5G$~cDfE-`c^VvLjEAXB05az6#dV3Qc`mAaFmOP z3s@|XP)9WMR{3`oMV_ajf=9&yZkr}TQN~XncQ`b06paL(OP&Nc6xs-(3Darz{ROkr z&E$PE$Uuz+U9G0xn!ikm$-DzYtyw~}sC_%_U=OpG4=k6^47C@+@Sm0sA^YV|N}Y}a zAMb4dA*2G;IaPa}oSdU3QP%VxVv z@Cy;+2}oF27Yi<5{suI#Q(9={Dtzzd8I8e|srb7RE&R z$DN4kIPpbe<)sy;$r@*t$OB@r2xiFZQxR#95v+=c+?kKY}x<5DX2f zmxrt;!P|0bK=R;od}o8*X-o84zNZr4{Se!Gd&qg0<#XGY+FnVc?QTeJgjc59_=6d% zkD$HrsmCcQ#@+m!rQzgD7b|ko5bqDIm&qI7)N_&yJpRWeRv18#niRtOiM*et|0Jp` z^l+iDgh)oUHhdSb?dTHKDdk=XLyMu|ezBEZqj~>VsaGNVq0gNq`IgYkO!R@cWaTn80hpP-FFCWLu${MmmOP~)RIfYB{?{yY^ z%gQAZxPQ*a5a3D2H$n^NhZ)?Ah`OQb3Jzbzf8^1^BTfi@i(fa^jAyraf@ew18SwEZ z*M*PbJMYVhmHxvQt}@#E7%Lr$#(Laa9&46@D3BOdXnq1C34lzrQu#yuKEhIz!j2;F zpuLG0~QMkT5B0of?!@EeSi;G|$D+;;IBoF!FMfrU8beji$A z70ON(7u8A_9Y99r?3*~H?66PyNeB#W6bzCL8CsvJ4Aw@exkpwi51XI13^h30T5F4W z`*EG7-Aoag+9>v5XxY1~vaN@380%8OO;Bs^R4_;_txpYKuwX<(9 zGWg9kcw|;lI^^LPTM?y_v#MA1-2A4hu;brnPx?Uw5Ct=Lm#*XT(c6)Q)t59n-cb!X zuPH69>3+WM;GUY8vlXh(xqCxhxOxTV&TVVm*$cg_D6=rrlmu?SZ}i$3o2YxMal5Ra zS9c>#FQ1|4oMVN9drBG_*63kKvQEvV*i9>a7x;;nd$jWI>i=M4pz%7_>!Y??sPF2? z0}nsw1vd#@ zF104<2_;0W&ssg5B^sx{&`Sa!P?>gVY%tijPRcVyOSRhN%ZM;n-zVqOl6n27vL6R0`9hH0t zaf6X#{lcNeXiMwq@8y0N^2Z5EHLYgRNWE z3!YnDgfi-%=1cQ#+cI-iy0V|2AKlKjHu96VyK>-N5Gs>8s~MI{;pxXA>GzdAzqxe= zz|UO=8+Ed*bs-dQiIYgtP*r#2l`!jc?m`5 z-W{2{bN}dBY-soj+n&kYf85SJf4n?pTCpm@n+--}G= zfXUdGYDnU;Nv{4Rqek2%rV2CvkX1-^K*Si;3ZxQX^)VF&y-!A>HV zg3H|d@cVGLnV%hajH-3a=2Tht+A8eTI4QsTw|Bd9Z>lPWXG!4#d=a1BeIo%R^Lw2I z5QWsj4F=D=mkc-BJ-)* z_XDzd_7$;CL4tq&cn`DZVyh&txNclV+p9aH+MAu zH5(Ia;I95bb>Z@>P07~pV{|~V(Hxu?c0w;J!715XGV^RQq`1X`nYWX?K7edi-rZ+X zMON^70hUr^n?vkYnEu`xHT}G_+rPl&=9z8T=KsPpFo`E~wElfseEHsh(z1OMdpiTALHC3xxWLSPC_EwpB{ z|1{{g4qIcj#GIiPdm*d*)2rv~AEH*1qg2hXUkiPG6|RcH{>+Z;t8 z5@2M0Cbo^rG@#3u)*<-ETvvTPz!$MXN=U=F2CYq3e)?g?t31f_=-+X}eWFRPzEEDW zMe@4Oq;Y=*5>x>120R|*Pa>e~`NxZ@@!P_*Y`NNMG{7W|YyE4ciz;gyt(U(c6iTBV zV4Z7+A)m#kWL-^=qBNvYv(+UJ=ejR;$--#MOt0-1Uhtx1;{D=1y4W$EFeb2>GUE;01yK;#6XDn4FR78SYr%A0Vf0mB4B3>B6g=<3_^ef zP_YB#J-*=kbU@oX5aO#L!SevkK9I0Gd83ei zaRPTqk+C}wdyu%%fhSy`W^Rp1Bt{~jrXUDYPLP%nfQzCa^uI$of(IT;gV5sx$%z8^ zqzJ-$QsjFqAg2asgbyxca!82MXBco>R|1)Q}&{?XZPiVO=0^o|5w9LW9+3CxQ5pHO$Fu`MzjBm_I>f1AZS z{T+}QKo-}3Eg;Bh?R0WM_J#mw&r}7S{Njd84+``Aw@)2N=L5R7Q%}&%LV)Cl|Jx)F za&3SP?u7P7R)&IL=La5#B9C>F1S5|?fOB*ng(9awLU6GE&s_15$VecIqSQYIpCTe%6QVfKSV~-mUUAPf-^qYj^>kkj`fg3etYC#0g zw={|Mi`IjgBU*qV<5JYsDecxH3+fwG@vUGLA<6IHnLzD>Yw8NGL^C%>LsS(d(3K1` zgSpXDHQ0h_qsNC5kTFvOAnd^OigGsRV3O0-#2O>;<)w9TtmUkzmrNsX!D1ta%VV38 zI@lm>A#?e&zy%>lP+~|^I1=H`!60Oyko{x?smey&`r+)%!;O<1IZ2ivCBd+UAarR% zM8HVf6e?Ybn)C$X+K|`=p^I8UC5{T=)cr_}Zb@LAy%9FVW|61>*|2Cs49zfnQ9;YB z(3}uq%l>bWYzjj{eBk2HbzojOs&wgbXrPuGR{V$*L53a7d)(;4_)*4~9;qRTkh0Me zRkGxYIl(L&vrarQLvS5kV!bk^tFR5&76~Q7JlMMkcr%$0JceCUD{R%0-b$NvW-OVV zs8k3$q&BsF7Bm;YPG)M(zy2I4Ay?j0G}L4^UCbg)QC8DNFF_33@^rW+i0FKEgmUmB z3FySgfxeJ8RY(N-!y;>}4&UHGupm{5tvx@6;I6?VT?xNEX9j`Ry9E`&L$Mn*$T6v# z8oKSiFV!qQSBOJCq<=+9&LjIOg5SR4E#lk(0tM5`E|ItZY$C0kTlX$q%~tq46Tg7h zz?%yXc0*0qx@NOVp*&@rVU=&#hs6kz9t7Ue>R94_v#EGlBw6#PVrX~I>x_voV-VSKwAImOR7R5)t7X>OBOiF{Loi1Z`+WZ)>$f z`l#S6TC&3eJSBXt(;I7E?!CO!rsR^;7Ti4f39giW;gY%`5?+FVB&$SG#NVNMkZqcv zZsH=Zm1#6|Zz$DVKY=DdLUTB5m$A@a&UuyG^10LX` zx=t`8)ONx4g9N;;Rls*qDbz5p82n197e_xH=HL&&R~I-I?EDv|T`HMqaWVsDtf)A8 zIDS#ZctnX{CiJKvFIy4rXD1Y$#f4EX(|B&}%-47JbVxBoBP7JS&v(v;TQq|2oIL`p zB1>c$u#25@QV(aVTeKVdrE`A4H4`ZRntZFm_J~Fy{w{!Nb%p)#r` z{Kp^;@V&lC^*bbDJDmw+v$8$jE|+V)E5#lO&ko+TSv}bR*?fQ#a+?4ei-u%Y z^-}uyT_HH%24(uhLvNa=fpO0s1RH{@WiLlCIh`V1pAKZ(HHNKqn`8iz zI%AOQEG5im7)_xK3 zq;>yR@8qdvnJArVg#1C7T518mvZ_nL3Aw+8SK`; zbbnv81Aammo&=xZ5Y8m;fGxVle#|jDil|EeON81##^3KqNZhlt!RBCp(j?`PW?yT; z0Gp-(FwYLZPd=Zn=e~klP)3m}n~f+gv1Q5MbA|->q~@6CRy8y=_#iFOsK?||?d`|T z18ZgPQ~l!p1QpqAxLfgQ1a-SFrFux19Y2V3}Lu70lync%4@_Ze?vJUPQ1UCtwM$ z@+`FsRV7!NsaugJU7@MVPbmi6SVt)b6^Ks$-OJ zi<5=ZA&SPHl8C!?l!f5|EGq2f<|FjUo9tbv_(BTh`<{6N2OI?a)NE|X2uc{|+PHeg zaH{`?O)>b1yMhM~09+ycYayK!{9Ya~>D>#LqjJ`=o?a8w5B!EZ>g8ly3799`1PTAL zWn)lAjtHn1{bUH#E7?fOcyhQ127J)em5W>n7vba zFuzS*heNFIL+3>Zmd)~z;E1v*TrB3*V%1Sj&T7{_l&)eB(vx?Jv{G7|_6UHCHF&9v zh~L?w6sysd7*nALY;@qsuQ5rvd&0@sg{DJxhnpyUg0)O#%|nYNB&s>!M1vb~G{~}) z;eEb^2;B`S00>U$>BQliEIqg{ndE-h@?AX0_ByU1{a#G)N=mngR$c;EV*M5Hyy8qllPWr4OmSV_T*T4O1) zP-v!iM^MnLKxf^UHxzQnl1r;y3AjY1{75DsFM6bL@9_on9FMo2gA1Rw7`dN>gT9-r~A&oFjdHVa9 zw@qYzY0h`Zc>(TEx1;*>KZ;4nkW*tuXlU9p`1q2cO2t!^qi%FMGdz8W5vYz*>wW{Z znCKlfwRHakDxMT~sKoSoa%skKny?k0@n(M>H~>{pWP(OZ<3O64Yv_qYDL1|>vD`&C zjhcyxG>@5MBX=wxhh#zoh(7vRh|lUlFR*` zmP5zVHa+H*-k9K_MHe(BpN9-bU0B&9e9yXUHl2s?yzcm`f_fO1nV-^bA6u+tZf0q@ zFCeBZVVI1V6=t4BC{bS3k9|0Gf@Vg|QaZs|*rmC9B%}RbRp1i#MMU=kLLUE-Ef z4megNS7BKSJ(*H1g8P8@8lud1W>TwoTEMXK72Z`=qv%om`FYX#n?kDt9Y)&$f!i2! zJn<3kAx0zF*zY}}&WdzuhNNf~BpXOOYpeqr_ehOdR1|oss)95cO;qJMx1%sxd5so zrLBp!JprJcxGD*i{vbBz2}2l6q$nK1ttL3u$a2cx91LlwykltY_64!z3+fc&3icE5 zyMWt>>TUCcfy%|MtQj*pwja9E_^a0~&P-p-=lXR8!2N%E#k#vhJ-1tS4OA|eG8J(o zj-GZ}68ElUDQuylh*EZ5V!)QNbwJ8xYLQf997^!*0d87`;vQH@?0JiyC2FK~r5{(KOxTgscH?4#)Q&;N+jflAExwdh5+)7y7~fF z{8DCvznU5;LcKoHv8-lAwG!(LSaF$8kAY+WnItL!EIo+A-os z2mZiYy4^4m$AIXYGPbM&cnrWOB^Pz#bTs;Gd@pPbJ$qE*3XWFhWhrWlcFzOfgx^&jAs=aGC%jM6&f`;~?Leiya%4+VJSMSpvBoLUvPC7g%Kau! zLm=n-{FdJLC%W;PSo1D!^~9Pz|K>b^cF^I(H|X~29+(EWB)#rSgAn*LSnF%%GepuS z^D^{f4_?5{b!aSZ=n3~2_nCm2C^+98;B(hYU=*ll`e{=+=VKUD8&H1Nh zn!9G=#JRh=@&w?tjKO6**PbWGIJ4E=c)Hew%~a&om}PtzsHc??_pS2K>81X?_1*ZB z?(3Cy;lLFtD;TF@S%$DN_Hn`I>EHdy1NwsQ!>lf4!i}=V$VhQ>^i$Cdd0%g=hX}dA zF9`X>-y?XofjSMTpj?tO9%OT6cALv_!#rgMka8t z-W^A7UM-J8|bEAZq;yT&b57&yY44}b;oPq!Z>b?E$NQqtPd0{&EM2V9FB zm8UO`K578+HUCn^qAAy#9ReEt0R?I1qYFs%3%j`wL3G9tzlYdj=<=!uzq>2bEZ z(7OEykN>McNr6R^j+9vx;t?Rct(pdCXak6Y=(m2D(E%khW5$F$kc51xLt5 znj#8_9T7Mw211P}8FtL;&pZ}!Wnm8c{%CsqAHm;+0KRUhhe(isi@jI{+u|z3)~T>|nu4ao;_~`#SKUvO z;FaXvzV+1??}g3m4dX&cq0-vPZ9|)aH03@3{`R!kOh8}#5n_|HV>|222v@*M(^64m zURAlY@p->jK7D6KXpsN2<5#>?xym;}FLMjHBue^^@$B+F-rJm&ycGZN-WPEZwWA{! zGQY6V3nKQ#r3DAZ`Y*FD+o!4TB|1qZe{+(wxt>Yw_xet){7uI5D`b=dU>jUJR#Y;a`F>ONus!i=| zh{KqyX6X&w)0g40#)z#Kdjm^le}tPSG8u63VQO!rm!c#7C-TVR0R+?7(;U%P?HL@N zCwFaRQGK=pWi*HN-B~D?(CgxcP=Rp*OQZ#tQMEvR#&Rh<+x4qgFWzQ6AUzFmW*@zv zJJR|oUh;b$O+lw{Wbx_cl3!eW4k>ecmMD=h{?VZN-KGcDC8+?j^esRbF`(iL#pT9G z-~lh->KhXNb>w%hkh^aUQT36E!&gQ%UWsf2J~NpI|3N0dNHJ*~hhNyPXsjlEk%{__L&8-O zO^X43Fe>c`>|0d$g%OQ?wL7arPnF0Re@Oi?aCYQHy}RGhjQ zBeLJ?>&`RQL;tFtOE7dggvzWvYMUE=ahW3;0;z*IeK`q+@nzUTe4+{CFduP}SQte@ zLu%W7L8g%Y?#{m7(0S2rH&onr_I$00s#3Y`dajd38`$e0ev9$yPf5rvTgG1XPC%ji z$L^n|3LKk}vj9d7%9#iN_jgk>#s@#I_xGs@-Y)@>P2sDQOjRNFduV*6uUzrtWBEf_ zgIxZ_KKjKVpgl_BSe+gCpf-LbxOiu z?;~WVr5csOOZuDSqNuIN-(3Fm5A?dtNj_5xKpPisM*Bxcd(#fkOEIF&dIl>q|E7*C zw5M%v_jGV@x#jXDAROSy)O&Kb`&&`Cm{ouun@n~pujl7|ASr?Ny>!KK=T12<=CvE6 zl-v93Fi8CY4!0NLQVpA&g5_C>`utyh$QP&K5?yd*THGmhS4q?I$(@a>9?dg+ZjyRW z+dw7D)he%T6Z$mZY|GVn&PGqby9-%;PN)9FfH$giH6WxPr%KfX=^PgAu(Nbx80Z^f zGF#GYv#^Xgdk%~in`z#LQhWQ;ik#B-O;Xx}{B~X9Zy$o=;K4O&8fcH8fk(FX>)AE5 zVH8R7FuF)2vSnyGXH?ZUlv?QI4B}wLFi8f?GL-dyN;8*$)ukWU_7Y{h5>)#L6m~z* z#xBY2jgH#D&*VFr_$4W#M!m_^QH#{>q$`k9euddlSmc~Rly$;Zd5X=$R8cN%*?_%V z^NbUACqWp%cx^VgKfJpI6 zuP9;y?r#R^3mEg}IA+K0+*8zu*RF4HqO;ZZ+CPs2J)3_giXU|$N8qpB`CJZRtqJ?+ zKhT6l#X8fpoTB&sK(cCi4SDEDO~6*2XiHZ^t0sE`lIdV&y}|uJW6(OUp?O;B_lQIv z2hOY#xRMlAtm8-V@a1B+&upGH)Y6d_ zRT`{@;s`ZU{uR0Zz0gj025$d@@S#)e?8kyq^HO%hQjF|`ZKep`2KXKLS`XoD=kGRy z;OcuoV83DM(oJdW_xH04X6xlMm64po&|irx?6$``AvYGw?-TvI%dsyy6($u!l~EVP zx|g`I8BWE|%(~Bq*G&wMH;BUx`xU~D*CZnKDI)i^d>5>lh1AL>z|A%uKY z+dL}=rO!(*b`m955%w0{Bl_f|qQ-g5#`<&d>eAt^P&67}ub%#kGHVRuhaq6=8DXF+ z|1r~yF#&U4J@2$K>^0OkOGZz_&di!+eLs!!Wqlgtd3|ofFL0gjTYA7bH)KqZI<;0g zawH@l7bkG59F#%&4}e!77ejDxgQ|ZB@i{@&Khk#Y-#y4U+1dUt4a3gPo<`0|4@l5i zkKN!y3%qWu8o8I?_>u0620?B{ZkdMc@2h`1o9&YunSENk-fH<3RBI_mx!MBHwIWb6 zQLSOM%A5fSu5QvW6gjqXr@YW`OX&*yultJ$IPCKZkrV)KX=a)hEp= zspdWC)N$iFx9&4NyE*R7t1%S9gX#`8Ehq}gajYen96e@?WXG*C)7)FMlxH|aI%Ou; zN^8T5b!zEqU^{o$qG|3qQ~`9aQQDug_*JSSA8}_U_Chbk(-n$9twVyD1tM&W9X@^M7X3;WC)BIHG?q7wouH zM%cz%r)cCpA5yH>&16Ndr4?p<9dbNPbm~bPROuG5aE@F0<0(wZz7EKS(+KA!9LRlr zX__Lpwcpim*l%hP^PA=>CjYlM%{3YO1#3b zKmi8Pj1JtgvlFx{^MVjfutIY?q7H}fF`}})iQ{WLQD0f}6E<=iX3<>c4n zBw~LQ2*aP_UK|4^k66~rRac8;vNdPImUcq4wBnGl4>LUY(tGLz zSh%t7CpngSZ1_(8d2^pH#Lf*~`DJvoee991%%|8V+V^7Rmsf~I-=#gKSIJmWE2q=* z8T|$2ozLg+YuJf%{%uztrD`3u|BD2+%hwwZ)%%zdFiTWDob~1W@yNB6PePIU%XJTl zEcPATgGeO*7b-8nD9TaMIcackeKf>a?@;0l5H(3U^Z$NPP1GP$0Jyk}5Lh+r{H(~h z{*xBgAv0hn<0NATIn`ZUJU~u%P`QUX0;`;}wF}7N_+Lws%s_}Av?RtO!NJQbDbB?y z#v#Qg&Lbho%PYYr#w*Dq#?CE5_Wyqf3TUGL-DH=Yo%4TE(Zm@Fwj^43kuy)UFJCV% zayeXfY4@pb^-o-BTuy6ccIpciorY^=a!zSW6yjLT6mZ!3SWGy>31nDxMyJuxZWb8` zv1B7s%?P2PKbkHF5^7@+fBO`8-~9`^=Kp>)8E~EFHjS;LKD~z&ExMFf>q>t-KW+GN z41Oh(VLiQ-0+7#E$j@YOo6cy2(hQbY?K5w%43k!n&{KF3wbG+I7uS0&9`~SIj%c~i z%g9#kh~U^P_ZQFK0bCN9G4!iGTr7r`!|tS)8>b??RKT};O= z!f3>5%yGxA8eklhDCh3S7D=e2*Kfl~!p&@w_e0i=1L*WG+t&m>-MgIFc5!8fu zjrGza3g8Fx+GpO$uiSuyp+8mYmF&j7fRr%ByMU!Moiuzbx^fFFXxId8OrZUFc}8z3L^wR9s1oA{iGN* zhjH>8J#%F(hz-@cpU;%AfZq7>r)filLOHtt3?R|q{?h+eHc{t!&}Q*f)wqCOV<)(K z?&(lV?`%xO^{t*Ge2b^&?z;`!K}!kD2_Q zB4OZwv^vI(8i;fv0bxONB`QGfr0^F+Bmf`dPi#S~W6Q}9+)Ab&Pbs}bs`7lh=80`t zoJ>cvv5dbN*pO;Oxk1iBbCmil4TdA#SpKLzzge)QkcZ$wx-B>YF-%(+dAVAtZJV}Y zo{6PLg?59-N#bghi7f%DMZ49;g3Pm)ydLI7r|zTeG9EqWXXxswO#iFQzc>?pfSdNe z+7ln#)a_HZgoI@s20;fu|DsH=ddWWMe)={31uYgm=4&<{0$wB-I^MTUWFPd31(_FJ zBB~kHd+J;-EB*#!Um2&aIYs!J$X_-O6n@Dg>+jxBR`+Q?Uwc;vYC8%ra$64nj4O75 z{YlI?d#Kj-`WI=H{map?{V#0_h7vT5}dydK4E*`$r=B56FDGq6EZHS?1_gTftp%M IMH=D%0sC@ATL1t6 delta 31131 zcmZU)V{oR=(*_#bwr$(l*tTtKtS7c@+qSc@ZQI${Is5ycQ*}PPAFi&co}Q_ip1bPq z?yG0?grjbcqh1mkn6*g?`UQm5jq`CAb2q*o#?0RIw~Moxk==hI2V-j(W-ewTCZhjF ze0(sBvS#)cE|x?r%xo-a%s-IS0Bx~toHa1Giv{I;+J5w<12ozeg|O!@iC5( zI4cQwVY*H%*v9@H;FVtoU}0ia=fxp*qymT46FJyRieFoCuN2dN?_d7z6$267Ev`gO zW19!L88y6XUUKZ+@WA6#PO^t>^OK|$5zZtYXaW`}4q^i_fi*=2smFW}EEKiYQa05H z4SBlwtAW_lY#a|*HxllHmy%8PNhGwmJlq6lT>WD|mKA{62 zAyq{-NS(6;=hXjlA^hL@!kmC;I{Z`cHam=AUw;EU$rzAE`d=W*#TSs)f2oAC z%we2Bu84rx;;cA1eh_R+Vin<5Ai$;T4l=E)(BmW`Z8E`N#fzVbUqEe3%4$E66dv@@ z1h5EkC+hM+;TiWS5-d0feF1F`WCL@C8G;4K_-^1_B;{mH_-TbKFZmmwOAGZMF5SD0 zkE!x^W_SORY>B~(6WV14`_&?d0woXEsG8J z3y~#Q=;6@ccC%WBZ@YJr^%hr}aunjgi$?>8!7>0^2f`P6j!=kbxLEvjcOnqAP_HPm z)NA9VyLy|luvDiXS{j_Vl8p^B^UX+DfHH8-lMnTHCfOdbem(*pOpCfCx6jfG4I4k7KyA84?fxj916G;l}46kaGEdyVxQ4Yf6H zjwk?-d(%tqts{o!cV5RXr@QeQ4DMiEz%>YTG0|J!b5-q5?S&RLN%$~+x2FTXuJP}m z{tus7*MNb*H%EawNTwSNpd)sy+a{BpP&;Pl)#i)8NVvK3?30rjdeW2V{?$ugqL;Np z5I>S@d(^hw?Y*7*N%R7c`v+WqNZQ{gD}n&-c1e-Gm`duJ*$XYa&h`n}A0^=1Ms=jm z0v{e4?lM2i>P8?g%zHAwoeg1&;1E8mqLz`$gDzo&6%zKdxEo)?NhgoS!Z@(rnGgl4 zy$DlZ&_{6>5YTnkZw`!VyYze<%_|k0USqd3$X{IBtAamjnAbkjOzzwd8=!gdIp+aS zrCJ|&*c9)mYoVVV^qjn5iK$0u`hw6$HoW|(d%jM`O-)suUKWV&H($ly978U1G5{PN z9wT}viO`@nm3rX$9lRyN1_52Wv}0~Ao)96$FCfDDldqGjGH?_aFQY$lXOFjrYrqv& zU6t@(`VO1U=Ci$NDZKNbB(pDB9d!U--PW#J?V9JCXhiGUtNmJ7S;db=yBUq;&W*JI zq#9?}D_spEvh}q(OCHT=6DQ&6n2?eN$KWANtUiuZNof-!C%T&ii1OmIFIWCM+LM|D zbmY+nU`>{OvBg1hI2R#}J4)XaOA33}M}96S4>9`*HJL7*5X=M0La$y{6W&4Nz&^ z^UoeM(XAcWu%}ppo^)dzC%F*}3+mt)-pUb)k`L6R+jP3!}Jq)A;7v|qZ zwq+ulu%z;yJ9Ip}DfBs?lAohfE1a7fp;tNN<37N7wYXO)dRg{bZ*jkA%bWlV{3TYt z9WB2YtG5_*USM^xBRd@KFkp3WK3`Z3rY;rRtUA}A#4*Cn=9=%jFK8saGZWBJo6c*n$8#!ElLyFEI?o=Yn8b3#a7Vizu-}q4qmbWzW^u#_U=CPGH%T zKA+DefGxf?W=dUKho3#;&+6%nOHEtF#4hJY!B+k+4Sfhd3GA#f&Eu@EjrCd3ihHlq z$*A{An5miFkK>H}`B!`u1JJSlUMW;_n{*Z^o3@~OL~8s@^>%B6gRuC`X^cng=8sDy zDL7dVS(LS?AsRKL5AjJ>545kla<=PS)6x+@0DSzPFr$ODB&S#-$@|~>(Yvo>IW(r4 zKHWhHh^LGUT@<#XBK~FR?@hoA#G4>KjvLV%7m$8kLPrG`KfsmRo@w(M@Tj27+{{UI z=<>iON#5u@05a+B>z$}3B4|{Hq+#J!E$_{R&9}`WmYBv)`c$P0!ewW2vn#hX-+DTpawd{K$|j@`Vl8fJ-vXsAxLm$rPmdji34KROMHN z&Y2o3m-#|DG9j>auWPX29hyX88slEv$2LOiZd+W?^k4(GkmXVeXpJ3EU=n!Ki3ufY z58GlF@VQS+)01wh<=sik!>WnwG+Hw0gInD8E2>Mr*cTVI^LNFn)Z0w{FG3|l_X(R5 z9nqgKK=z{s9Z}sRZo)@*JwL4l41D13$rCgj2>DH$5B{e9VcoSHxNABv)XrOCf8SXq zOFwZ)uv4o`vS>3XPzYiyTCd23tB?M>h4OAI4iMPyzZ+myxAw@t@aiOdd3fitS`5-- z3n6Ps5xj7)D#w|luQ#2x3cCv70+ZUbTT(HO05EVnw9IqYuRrW)%z-o++q)D1gqLwt zPrW-1@x}3F*K6Bh@YH$DXPF}UJVtmJj|!_44RmA;dz0}T`YEXvVEVREed~l(jnetT zI6)ir5)M6HbYpL}?EsTEXI1v$j6_(?6!CIN{N!V@a#>$RIVQsd1zUraVB zKq#>i?j+r1wfKav*ueqt=uO*sTnngK<~V4p5?$xgTfw*jaINvrd^L>Xej_eNAKl`b z20QIrL~LVm62xmfP%CFO`!9SoSBgrdQ}LEano^0v((d*0NR<0>y}(dk)oRi6&fo{; zD_zY{EP78(C=pmZ1{3Azg3)OOJBLUJKzQAssq;b1)1ORsCPkioKE$c))OsfYkwBX} zRHs@+9yHr2Kc+Y+(R1$F9v#8vA_8QSIbC0A=E~We$;!BHRD1|;p7Ugn@+E-2(QDpGML{R)q{8nUK++<`0DELRGCbTqVlYx^6nM9275lj^Wg z0rtvyq4AdloeS!y%`tstB+?Zg<)iGXhQ5@norcR?7ALBC=BftlwbaX5`mUFuVn$m` zT?>8^a56RF<)v*_L{MSuE9AE$>^q!zu35(Mj0QuBvKH$+nPBS{o+5uctrpW~htE3v zhn=>`NpBLjEJQN}Zz}sw!ck8%)Zb9W01ZtpET^KLA3mdar`@!~#HMfzXWR>fS(3Zk zL`E!$^=0dWS>GuO>9^M!1H?oZTX1&3Lw+wkRxQf5_1>HPKhV>~)}Cf2+nW8P61`?K zn1X%=LGwJ4O-IT>$g6v!jZ3#Ry-t6}Wpv!?D8drD$K}$mZI^(634XO6%14j>0H`Z# zmzO$j?dNo*XNIk78AE?B$HeB+G&u3VO=u5;huT*!Z%QlNszj;;J;D$Ii)$IwiuPi8 zXXC)8d4@iyzkcS|Ll9spo~VjwQ1fwemVN~-?uV^+Fher-K2d|XSnbFQI%8EI1<13d z-m>=jtwZAr<~WD0uhw1#kxPK101W&Qv)4CV5eu!@7H$czSrri1&L`F7Q)}=BvE#0i zM1e+5g zF{FtWv~<(QvXd;U6}2N~rrx0FVmtC(N4-u8MNI~}k*LTYln+XUrBYHoODdS95zP`j z;T`o0T&UO|fX2E-&s|0jF@PF@JTYEDjy#XCWbX(DjS3O#0gU-Fj#Q+Xkz*wC;L+hY zdc|hQdc`d{XIgWEL2OLr@W@caBmUf)`2EoGbbqWXVYr-JKq>|#D9Eki^L4B-LW+1} z#ayoA6O^pr6`->F1)vFk!4sj#hl|fc`)lT>)iY`Lr@<)VU!~1q;-3eGpGhHTM(%{f zF2&=G&*StI0tzZ6A&}IQJ{6|ni8&P+j5uuTUBu1T!!J!Mf`G8gC5W6-uYlSS!ig8@ ztoJ3>AX>+?h~$exZ)70vOUQ$Q{vdy+u<)G8sRMz|jER`d#of^26Add_YSZ(e zL?T{+Ny!kA$ztU1L7YU{g^@V}-^F=IYf1j1kL?IuldLPuG?93SKWbH&o!-?a<>c` zm7NUl0i3yd1yzQ?F670(^gUG`lQPG}7K$)ovzvpa-u$egkp=_;tSQcQY|kLxc)SU*@Fy?mnEGkdT!mKr*S_eMPrrjaz9PQ5>9jj#s$8X zdhk!^@KuJZG;*$76dz~qQCON5+bFNPgR*ve0Y7PfyCbUYMixx8b|Zh*i=fuxegs!v ze{eqg2!C+j4eE{oGAqy)=39atYO4+Fp%0V_5wWQPmtdoG6Y!^@ zFj$+}UF@tDPHG#X_)3K-(RWs}mu!5)0OYLo7q#e#vE3BHba;+jUg@ICQ_x#({8ZdK zyEE+!mKyJI0B!JhJfCNtOLaB@Llmp1KtVW{OX>S~gL%2uCcFy}YaH(1bH7+qcuKsj z2Ssu*)>{$EF=h#u|GH?=ZtB|AEKb?*RZL&f<1ke`yS0dw#+>vyuwGnse=e4u0lG5d z@3}K^CN`!#OFJX_{H(m5yk^oolWLuf(5ek5rbT}&V(t=b^2XzA4o|J5{V=URAM(f) zD90V{_uhMgsOZv<$~4Qwr>4-FJYvu96c5iieES5F+YQa%7VzQ>tSioU7#T57P@^bz zH*qdq;a>}-%y>Q~t5bfYF*iDJ0Fvu}mMwkNtFYK8cP~3thISVvc8{;F+olURY%6G1VZT?US{%8M$x95?i~Uux)DLJlHu`SU z-m{}GwG7Z*0(P9cT1j;fV2k;zj*-HQ8dZn&9-YSWOV*!$_`T#)FF)X#1=umT8C$`- z#6C0+LFr)$$t$&lwRmZnVum$8>h@zen!dA%_gcqeOWG7{h-}xzls>bi21<|wq6F~HKrMy>9K|m|o1nZ(QptO+ zQ^#DG8~#`i^%VaoTB2sK$MT-0KkJIciA!Al4R4n~bK;(Hqy=j-db$1iOvC1q;MypG zEy#S5Xlpx#-5gn30q~Amh27Y0j#N?d-#Bm3Px{PRSo?T>D)#cycA3qLIIWD!Bkdew zGDkjpZCEqSjc6TGVm7C_u*h0QRYWA=$aRTOvNx-_(X}1>N-t)jEvpKJk=2vkiCteIvD~qd*UAbqANvL)&?2)iY8$0 zk5*!H=_usB)gX}v+FR-PaMWc15_4tnngw8gVq^Els!v94{Bh6kmee1KkzQc7sQx^7 z8QHoE#|Ul2_lgZDrU7v7=s2C=t+$>l8YHJda-kv{k@&pvO7SgLU~$_(?QMlFaL#zK zz|00IBdV6SUhy4+nlnNZok70m;S?Zlp1ihR^&Cy`;~uSWxu9`8@D@(%Avldb6yx8- zGXzKv!f|X8)+Xz5q_zkWX;K=-aKI8-@!8{Ydxu1+j~7(UKL83KQNaPdi7Gf8#;r{- zC3+b`<@iF(l2}xT>WKtkLaEEXwbOOnxBo;B*St)>P(~O2$m8@xy!P z;eUWDI)%+ef3);5$a#st&Ra_zROt)mghHfds?>t7NL+;@$Ju>f!a8D3bWG5Zn{g%( zH0P5m3^RvSHcY|a57ZrxR}9Ufj2dfPeUWTxF5O$z%N+Pb$?wQYJ@RykY!H$JwD$(p zFdygb?r`b14nGI^Z95$ib@X2CCkK?Oe-29L-3Fqvc7dQL?>ql*9LLO^#;gyI+Vn=o zh5)^6vhss?XN{tiG!KgQ|LXNvsgR*v1QXr?Z;wn@|LK8Q)8c(WEYs?PK;S@_S%a{} z!m!1F+pxtz+_->Q+y2e5fu;S6uh2kQnb?z%L8t*K3H%O0Oh}>bKasdbdv|Y#{Wi;W zrV*8mV%Q78Y*ge_!4%2>UwE(p8nZLE=a1a4tsWEs;lU`6v0tCn%8qB6%%;3d2wE&; zGx;)fraGDs>jHHb-PAK#iX{UAh@>@gOuRRhow}UE#JXm`nR=5xi}Xf)eCcLthz3?VkBbUjH*jn7Y*-BFyxWoIKm$UHX7 z$=fX2&ioM?L*bI^hECAz;GVwJ_m@DAkfUVO+O706Qu#{Kzb(>}bABabHE(CcbgSt{ zSd;{gPN>9YA5Ni=6sfR{_nqK(7U7z(1#~mx=1I?4xo-OZ5r`Nrs1O(&lSp6vibzApZdR4`BZQ z{tpmsy+M$KY9Rma@jvsnf97AXX*+9>aBbMfkcZeX=QGZSKfu(>^vVBrMFnAHX~X@2 zbi;)nYdHHsT!O<;{-2tSsjUtN$_@_t(O%>ZkR^z={+~Ln1_uhQO_maB1`P&SZVhqSND%@_!wco1@FQr_{EDrr7bREeT_%SZ5VIeQA*`>?1w zeLbJQy2(kE<~a!r2T)D!1+zT8OwWx1c` zZa>ZKS*1$RZ%aPnt^g2oA8VtT5>x( z2HoEYaYFn9_W#Sd$(;l zzm3=d?w8?aLv4_&M`}HVtJ7OA4VqIL0o9M^gtASDF_cc*bT%M;opi@8E!$f&d(d8f zP2~k-WyTs0%W^$CLN)|Jh-vmf8c&V=N`8NJ?}O!8^)YlcUu~kKrE#7B1{H>3`E?f3 z=~hi6>K!>8GVd}&{$UP;sXvCg+qR5vF6=L=AY8G;i?^5O-mmth2KqDY4gRLJ68n|E z4fLLR*DJ=@;S46uqipf@nJwcZY%Th|UguvkosIp^%_0arsbOI0h+&7mSo{-N7Ncog zxHHI)bCJ+3QT#QWp-ch*{A4e|pGI9fQ)wDO^xd)r4nuy*>XJfaVZ37y=I^D}}bI z_uRFYEOSp(^|7oDTp%Hb02-k6ITB^Nzl0Yj6hLYHkxu#TpN*mbXBjeHvZ2!YczZpG z07NC{r=wIO6mz}8EiXafgvYRmBpFP37pr(ZsL~(JfzK|0*S@|;kVp!6l5wFHurt)g zpk=caGgA4bv5Yp=T7O3);J85`hE(X@>{0_5Kv<~%y74;u%g`~ zlBHpd>RTIdn6ldfs-?~xUEQ|dI_D7|VW*bku*38g+QSD6^^J zN*Fbm0uxZ=Ibxe&9ugq>ltyUP02-5K!^&$SVApb-0%|o-Cc|YnWF!UiHBpoc2&86o zZK(XaHblaFH(j#Iy_Fd8aO*!fp2fkHLNY)J8r(ViOX%mg8N=!$6J-kPA6!;Mum!Yp zVBKs$7aA#mLiVd2Ip7IrGpA>l5A z`}i_rNP4QhJ#DzTxm^-)@oHmCg!AywH1LAje^8e>f96NKo($wS1tT|*-s=ob22M_7 z9W><5SimW(wE;z08T`YHbd*pGJV$Qj&jT|yC=Gz%(F-PlmZfgD;*}J_PlT`xD+b1D zuT4f#2 zl-shv70zBBY1aD@aPZM5GlmDbF*ka~O+1 z01F1%G0-g~Gl@cnJFW*?e+Yc*ZU{$bO#$dH6~~C%gOQafswogBUGiU<;#xuc0_rIa z7N?*WM}FiO5CCyvWWYx1_$5Xpqy}AB(KylSOP22+t%3>CJnSAV?5FA~`%=}55eNLCVw07Pyr$cTe+vKLmh!90pYjm6#ODZ3))ZktOi;#6N<;XOwDH9wkb_$EF zgAPY58JOmp)CQA5z%(8pR`%m`o(&gN8-rMfO#2=el5u^jVqQ)l-rw;f+h^#Htd(r1t?(Mu^IuNtcMtYnje&Ysre>FA zS`!d?{tAa#@w+1xaSDLl>Ox-R@aHy^2xy7pSncJ=2j||4NT$nRAoouaE&y<@rPWYq zq4PbKY+zsRLX5)vo-J>?q|2q#`0bTc7Nn|j>KIDy$!<``%l9<=dj{}}22Mx>`f;}` z)-rp~+=BZiUQNb(L3N51myeDVKD-2%Z~= zQ(eJd&HMr!OGnwYvuhG;-hU!;<(XlGKJdI<*oi7ej+qbZ?lK~h@{bTc^q%Qp`t^Et zCqFFpfJj)4TBb-+h0EhJT``EawQ(}v=nNg%xkGq@M|3aP)FdF|K`i9UH$IVj222f9 z^G0=KYFygzsdCbrgptN_qcyVXh2nRsNWl zTh`r+mzdez&U^hOFE#JDfIYoB(h-JVM!^cA-bpe;#^9l=7E;Wo&{Lc73Ad~e!%@Ph z_Dm1sxOyE^l*5MV5GZ*(dTSz;_9u&d_+?ed^lh|xNy&h=uMZyfA)#$9?;2KWEOE7> zlVTih%45ltdqUZ>?y375jqD*K#DR~iD;y@~Nnic&e|7uie41-+%US13d63T77=|#p z421oV=6>Q+J%nRRI|8+rw>#q(^F5^NQKLER+7Yg$x*)+C`KxuX;Cb+WSFEH?)1g43~Eb` zD5WO-UtUzwBl(qc>0_=Vs$$VQcNc#<0_}K5DQNw?;6_SlagJSRW@MG_7Z;O!SeuG- zQbqypZwnC%+q(5MUwOKgB#&T;a$n}>nq8j(dI z>C0tScQrOhKAH1~?T}YFC{_m%V6`tQWER_4Y_hOvs|4(RMx{daVTzE5zE!cwLDzUn zmP7!fY=Ubnze=jZ|NV5i!O-xAnRMuZ3b0LehQ*Xozny8L$Ksx&fS!AeH;7Yt}stdH#eTEd={6tE_BwjM#WgTr<^T&E`7G%f&c zi~LyoLHxX#%5tvaw02Woz`bx+h=GSy0Fo^uMi#-+bc~rh-^qrT0@6j|)rXfTVP@Aj zaT&^HO8fXIGmsnzCTs;7OARKPwY*VUCPvY{T9^d(b(S9wL~eJPAO8;!&!UiN&5wd=V9*Y@hRO6*0b+WtSv_ zYQsOUo!QfZI>KTD$tu8_+%W@14wXdN**G$P}C$|2+0c?_^w9h@RYIMsQmlHeHncUR0>@U_MY+A6AV;*}|AHtN zLIq|d#JPPRJ#76(V)W0e*`1Hx*{3$H`Lr^B6-fq%$_aac9+?hp48f{Tt!BY$K+EXJ zqOd#!H6QLIox8hV+rYE_FV_XQ~JAikTG!&f*L zJtq_}Ts~P)JN+hd>&Zr*?pKAxmvuY8a)9Xnqld+5D>Y^r4l7_B3j0ki@2(KT_@p;> z@9OY$!IN9DUxJn8)>E({^bwf*eS;GDx57OYPnb({SFfo%_hY^$7v(C;HLBOa%~gf5 zPJpeY2xY+U6{#*=(+vx`QLYPF;W3nG*?kOR0cbc-GI<+>j!p;sux^6mjrsHKKhhCAzJNlA@pNM1fuMo)ibCskCTVzi7Avx5CSkwI$v#zDcMo9o1Kh=2lgAUJ80jg> z?Aq49Pyr(y*|Tba!F_p^E-S!cK_!_#3?zQgt?$<7nJf`JXNpu_G+#Lcv+{h}PB#6z z<377+C278kO`Rw<+M^E?SF`!!k9WS=N!vm6RcElg7HKnCK2 z%ak@y9*T5AF#C9)itz-CHke0SsmyL>OJA!)?C#jBx<}Dse%BwDXb0=)=+!b%jd-cDqdKkMz(O)fc&f!Dn zNL-a#SUL*uyGmWCq2%agNjb2oWCS)hB);|`@7*81+ID;YdN3=T&W=EK-FsV# z*po3@XH}k@%YuJg{s;;4eJ5|88&S|^Y@T-!V`%c`B<1}GcmTb^NkY$!dXFl3rUDqS z&Lm+1HYOllImMkncW#9rDa7-{bN@B<#f!7<8`rvU+sk=l!+m5~Ji4oJ-rT6~=d{1x zt>SR-c;T_lR~D)!FIYeCC|Semyl1PUzBJNVAkK(A#}D||gw^EGHe$qm`k2>+y{YQQ71+=U z$@0J=6Z$-(Qz@W47Sy7n$X2^E1P4Ax#nGx%Ppp%jmHA{Qi0T&np5VE)!Ui->>RZTD z1R@PSd<9|>)9&frIGS$3XhCN3UV}e37pk(HKsq0k);oOB7Dv|h=S?!?WC#8H+fIaOU#RB`>!iSVO7hoU67r~W~6(7 ziRiq?<505Zyj9%}&^e?cMghWbJH4m84|3w&kv~2|?C()Ck+xmU_OX9K(46|I^-NX6 zb-PKmdzU5ek1|%BzL}Y^Yagm<SHQo{I3_ErnD=MEQC{fl{xXpq$!glow z_F}2!oc`h;K!eu$^x%B~b~9Kbx0v7d7lNpP^s5+h@vAso|FC;#`Vfm1>-kLAw@btB z$o;<8i$#~|_U;*qtN|=+FLvBv{z`QInHptlk8lrjjUAxrruN@ z#USSx0*t!N3PK)SCA_J9WMN?4sU*I{m0CQZ>D)=jecC0|qC)!q&6fL#6tMHTtD<|& z;RJJ4Mkeg_)vUSbnzq{xW}MkYMC5#ebe7fG;yn^h@a)Q80|Id1q;Yri>3*aN!)$Rx z+3Y&W`u<51q_1mrH?ouWAA+TQZ0BoUG26w)l=3#y6`!QC+Qt5SsZE9uEucY+TwE^I z_auhz@+Q{2?d0mjD6ABjL88#&8in-Fw)_LRVYwH;b+?0|Gn}lY5c+;#96w=@0@Vhnzr$eLCV= zp8l??WFa$CN53vaWrAXU`zD&Kz3~6z)={hR#Dk@#Sa~&Vd^GQx>DA5vF~}&AEG9;I zj}UB-Jamz~CS&E*fLRVP?1AH*5XhQ4q7St<6M|8~UIMTT@JL17P!^#eH$v8A3ao5> zf`XcN^9BHHYSmop#dBN=&Avf^6 z6dd~(vjAXkEPeOswRo%LmU!8~!?S{XBgR7hRM_7+TINky6B%kFk`0hbGbBoP#7G{D2tUk7j zG7PRL75ud)p~DopyL6Z9u{2rjMU|!-jr=`<0|daDt^&)vtHfci>tzO*`eR~6;(HcQ z8U;W?_}pp)d~@}LYaUX<-rm*zQh4D>E=$kC3*n622ud>9+VB59deuzWy#K0ud4ny| zwjV)c1a0cwE$!`!OJkOD#ixNUc0*1C>|!`FzBk`f~^mun`3Ne1=<$`NwTRb+GHEP640|V?^m-@Vvv4awLYy@5NJS63(a_sTL`2n)p%<@m12ltr-#6&%iI@#o-7ZG7aD1Sh&OxjW_1+rjre zqofreW}?{Z>XQduCXPcAHX4;ieV+2u@K{j+gGoE$*1z^NRXz2(Abim?;Bc&Q6M!AV z3$cHN&)56jj=M?vhELTu$hW~7NCf~cmJQ%msol3omcH1QuHLr=Y%apgYrJcN_^}#C z+;RrfdoKL6F;JB;JA|ScT-;qLf%lePCPQVyk9lZ=uc$-ie!Ou}~ zu+HE#rDW;HBIfand6b9~p^I_4{_M@KYt^4cPE-uSw14v1&io9Y^tp4C9Rf}g@^azs zx_KZYA?U0oC769NhST8%bI)nz)Mv3X^gpA{Nf$2@WPfmv-})8vk}v1Q)#LWwO*{z{ z=H_pw^WsjA`#iqgXCCrIbGUQIbzDz8))`{x;hw3v^pT|D1>7mn39KPyxxeN}1>iIt z2OH1-^&AfcX_;E3M8_J%{RJHDyl&#Xx)Ag%Y>J`QAvR?51-#bpRJXckUDN2&2H2l1 z%fYLYY)gUw#e*oEozIX1=)OF*xEVEu#K8CVkGs^`BTNm;Ki7QHExd10PF>3B5H9!K z&XwM1LeC4E)gr52K9*6TfWT>_KPlEj|mXEAGZ?Z(N#2@(^Ft$b5eSyO)!@6Ar!sg>5QA|Iv9^T%7-x&SPU{}M zV4F@j6gd)%sv`2@H>2I!BHe#W(s06|&_FrZS&|G{X#o6sNw}P`w-2xnW{6_Lu&9{SO}eXlo#(MoB~e>9ae(Bquy zRFxVsnUF)evzbP!{yv;+mlz(FZtnrPu;;Sl^8>oAcMsCCWClhzPkg)9IcTFE2<#^2 zgRzBTwZE;QTWkcrQ8oxUAIw`a1|{jw{7!rM+je(|*YkI2L1s#Ei{n} zwyoFB5hZQ#DIOjEgSAr*uSPwEh`Vl=o}79NS?Io>4b>ACQE#0#ZJa>C8sdaFzY1JS z@&PNeQ6t1{`JPoCN`I}{s9~we;IDtKF!KS3+73PnZE0%kxwY!8Q)H@Tp812}(fE&O zklNCCR03uIH7%5>28jnX*OUmRV=YuWHWP8pVFAH;v^sTKo z4D0Pp!R;ZGGCEY>%l8PDz(XQlpoDdL*8s6iUC!-Dm;p=lSPW<{v3!h;HA52}8U-IP z#97dLjaYxs%DHYC^O2_30jXgL!GTvi3M_*I=#iHru#b^5t7R1aD}Siw?T!mSyxOu> zt+~a2d2Fp+r`wK;M(sBBmv*HW9LA+55@-&gok@aJv^>OW0{&6raVj}~ z-!^fL>~uU8WvaDVL%UximP1PI!gcjM{SWdD_)7++5@rM*(C=p3EfPq z=*hZ$7ev9Wx2x~AY=LReuRkn9!&3EfzYlS?ZOgXpB6SRxXK+V#@sUx$yh;@2ojNLM9M{=A z(Z7g*Qy0VIU;=%etjHR>ar<2ww8AzX?+&o7s0K*jpGN$=Qs?v@L(~ZuJLjVFdOqt< zdPs45t|cu&ROTCPa1GHkDIZt3N^8NXWZ1Kh2%$jFByx2L@m=EaipwYeejE{nRE$#L zI=6gtYRLq8&S}?Z#-2t|7y~?QZ}WH!wJaC?LdoZC&ykPkT=r82Hd^pr#wT%(@NoZ% zI9afNW(&ce`HRny(L9@stD5__?k)k1_I2WT7596fLKMiN!2$i_b~ogND;w#G3B=3< zf{3YeDDKyw)u%@Qa`2rD!R0eJO>f~Q>T&qLGsS+HgDC7ghrWGnLKHPlXO^M<(e+%X9TY6=_9H)CeV0OLMNPE)>4pj2&2&QcB}x_skDgk*`pD@z$pYL$(!E z>kEXKzBDjOyxkRc*8!NjL}~f4!T}oPDexR)Flcg*jDCJyc<{U*wGL(nSs9PlKBryp z+lG$*k|=}_iBtV77I?2MetaUmIZ{hVMn?(C)s5EvL!}_!1~K*$n0Z^%bw3Z+Xxtawi{fFGz<@h97h-rm8I?u?7!Za}gUBeJceAtC|N8YsWL5+lM76h34G)V1)OI#v#0+sAg81r#9$B34S~ zh)T+Pbjw4)K~*gb`L*oQ)jaJoI}3D8Hf^VX`7I(E3W&h6I0SKl5c?&7` z8oat-&<>n7La#nh|DQn;P$ldBMrcJ{WQd~-ChbQ>2*72=kO{u)To4}2njz5p4F)q4 z5xN&qHa~_u-)rYTX!8$zxEnkQ@ns9kLEvfw>tZP_1(8%j#52HYVn9UqFQ`rskw-5P zg@Bmx8%k;+x+Wh-YgC7^XpYGibfEEs3o)DVI|^wbUM0Zrdvtrt;*k~BLkjB@fE&zy z-3+k;&~}ULy4_&FNfa^7#%Hy8j$pQb%U89^^Yd}!(CUPg*Go}vR5T_q8_o9x z)z7fWf5Yh&8^&I%|8~y$4*gcP$sCN@T#bNp>O4^#QC5tl@DE^uTUU(sc8oegohJ>>ZUD zb3wu$ieS7OR$gY^uhsFQBl;aGYfKNNz&rD8%z(8uJ5+iOOqmwq6N^68Y z%QElCUg!ipGbA3~EbOWDrX4{v7b(KNc%)XZTf}m#m?>&a-*>sTyj6NioFVvH2aLfde0g63OPmD4ah_ zWHgri_)O-v_Wd=w16*D;{#qI5pn?`%R)#y*@<^D^*!no0wHDS6+>gS-68Z&5>_yTx zOyJK!u_)%-koW~`jBu9Dk=zJb{`7cPli+kg7n->KnDJkeI=I=V z(8dkvo8n|MbDuOoA(SjMVsjT);kE(8PTEo-6a^rIJ%b3$r$+%Xp(zZPDKem3ZN*=S z5)Mm`n#E8xoWX+mY5^;CS#)^pH4@6WhFtwLkhOo!KYt50rnj#zTXLP1bR^rk`A}h$ zKtrG}P?nE7*M!V{KTzn}`tWzsN|n|kdqkvfx^D(-sa&C@Hirz7 z@3ke!I`q%h2tO^iK5wX&UF$Ub$RzX?XU$!BmiousM!uC=$2GQ4Z(k8x{fAp;doBY8 z*l=)dEP;XHO)M;ee4U*emXI9*tN<4+s4ajaq?tj+%6j!^#Eel6Gs`l~JdaAwvIWM`>vewt>T&4!u=B;r3<^)6r^n%@dk4_Z zuwj1^9F9qx9{p#8HEg+-P)tae1m+$J#+eEj5rw(vS4CgTW|o`N|5Mmo2E`F{eZ06Y z5+t|;_r+azhswtlBi&-BdHRPS`3 zKL6fq->XAs`6{ponVqgMMuUwykiw43x~N$a*s>q2ylC5r$8qzf#}(Ts88VG}7hmU_ zgs)(@GUX9%wPGLqOMv`xOzAgceZshym1$%`dx(IH+HEq~HK-AYFcShxd6ubV2WKSW zxn1uFuOyZWAr0Q&7@I^qdkibboyr)fFqQJ0;BnRTqx(Xk>HPzp_?;I*a zVK}{jx#`Z2AH$}t?%!6=|Cw`^nSt^HCYN&M*X(@vuyiQFgCz*xBvCzZ>y+I_ZYe~N zlsyd+jn`W?9@+%3FOnFfBjIVK0yLZ|Z4d8{2r+Y{bZ)-<%;sT);H$eV)1uNeyJ@qP zP)?bb(VXqN2h*1#uz*;Ltt(%q~=E|*Lo3J;W=^cj5;@_EQQmfR8}lX zgSD$2YW`l2uV^f_H}M=rzC4xLi9>HhC&QzZav{g}G({YR1n!BK{2bSvx3ih1E{{DJ zBUZOkSCaN(fwa=6Aq#icnK*c6r(lt69Xnk7M`V6PTUTra)e7DyMZf_Gyy^d_sNS0_ zeMQOxGKdadMcAaD-^eX;NBQDn+fBghe^tWCRD-UYoNa$2Dq_)$TZx9TuV(r=2cHZm z#k~*lp<7*6!=py^f2N}U7h{llRc~#d=6^zihFQusYncJrFZczKYmdzadx4(?{ohTq zuo$O>J`&quNH{!~+lD;|{~Z5!W((}^w8-ZZ?mAU+?FmVY$Vow-{Ezu zR|REnm|sMcdzL~8X%zjUKuO;W>AA~yI)#_o4xv*AXcZ)*wYgV{-i%mAmkdi~ zt|7uYuA@@0=n1$eR+&vPSj-kB65Z)wtY z=cySk2*&$rgJL&O@%w0{5S`OvvrbUwVj!5pJmD|>2c+WPoy4w3dr6f3Blfu9IUX`! z=Mw`%&XEj^qH{k}brH-Z?%c#q=Q8X94x?g@O&F7R-K~8wx&wtDv~m?~hkIDay?8!@ zMNWBOZuQp}0HQ+JsJtSHa--x-{d#lOdijYha+Qi# zAHl6I6s`b|5lJNrjW;DQ~GjIEjwS&Isk49=0*T3M@!3z9NvQ4x8n;b(w#rdIm&irmkrIVU2p zmxe9NDR&zbG_ab8yaZ9_>MCrV7KtiFj56@XOKMunO1-H1#Z2xyhPCS;hojUa;fxuM zMb1En^8G5s^QkEbyvb6U7TX3gtZh;FE6CeNY3=**&~pEmgY6?)J~?NW z_iR*yp=1-O8I}a$hJb#sE=ta$28>ImgNVb-2SYvx)9u}hrTRJAqdbIdK5NSK#%aBV z`CLnI(vH?4Rn+-L#rcam0m+0kFFWtOrE&l)NiqXqvR)nS>xf0i%6hR6pp7mW^Iyb3 zr@*#urUzG^iUpJF)@neh4YmIg&tFNRuhHJjvGA71NTs-k-ft7B$BnYVIy z5Al$MO<=&GeQQ8jL3}E!?k4qVq+3Hpk7ET$XdKb}Kx7O}Y-yTv=+IK4tBQb5lj}YM zvN2STz{xa$5c};7NrCm`Xs;ron-nEErGxt%j<(TbD&lk4Na8q((h@+u|GGFyahA^< z7mj61M;b)0j$pQH2&XQ-5>v}&hsFvO4oP6|f^0O5E!wsGa&GVSnF-2tZfQen><9q) z998m4poF)SiE}>1$NXSzn=s%$Fxl<%B5EG??D(7;=j!|lpYm|~l=)R@ff5C)iE(t+ zJ!{%ESHLCaA5;DL6iWpMx)Sttevp$jc<5QxJjQ}K9yWIiXr z@ZBGq@_asxtp-6^BfV*S`G*0|Wdk=x4cA)mHr#EH9#a5D&!SGqXXggEaqUd1IaXy7 ze3{fbqeRg>HGMcK`ZCHwjj9+Ytt)Wjl(9P(Hey%6Ua!KYn8Z^X!Kn z!o0C3?hg+}G%I1?Cc$;2wl(DVy=iLNhXG5h_>TTC%o&oVINrOU>Ird*Hr)$5{f`aI z5qJDG-|**LIx?c9RjB$wp+`4J5EuusSGzy=Y{QfP<3c-*mBixI2H>?oe4J9|`NefK zfE@nO6W1et6#JOf0n3#=|JSkKgqaS;9Cf)8B}6y5PlM~4I*)SiY*Lb{1yAnx``F6^ z^G-LZj#rHU@rJFCjkuj}3qCtLzdP8BcKbX9aJTBrxsaL;wnf>H%5c>|KzDa;@h6|d z{P(ZLSzv0`W924f_YwtfVKiR@-hD~lF;oi0IK>irIul~UU1uCtp5t#m;7KKbExJ% zYN}=uQpjMTNlG>rX=s!cygILT+u_^~c)j0?%g|x2_j3bptdQ#lXqcbFCg{QUKqfE- zH@^BC@M?%Clln}mDoN8LXm^v9h9_1uPuCaJhLX#nj&v4F9Ay!T zH=5Ng3Xf6V2U!9y!IdvYNu=zD7U2>eRkYnd;JSicluG5Q># zX`F6w0{(R3 zNXgMe(Y!c19F^fNgSxHXa&|__XhOgIDF{pBf z_jtUHVC!JZ!|m%lteAgjnO#a>QCGziGWR%iierK<4$Jn9u0o;&caz*m>|1w+TP8;> z*=l!;(0!pAb)^OQX9BmXANsre(@`j$Gdk?sGhTING19d%rkkW@7?|6or)>Q#v2#b8 zRxWXr8!RnJ*jveqShd+S}f?JJ=?jeAbZndfnbO zvPKLmYrD*xjCyYtQ;v|np!IPK8@N%X!bD6MCw#$5b-O*017n81ZwP!on0(V+l8mux zr5QHd?Qc&u4>;|!jaS@a-9Z+Nl2y_wQL!!QM{Q^z#ieTQ?uQ>Hk! z9<4bYS5A`2_V5+X-~zp;$FbX7%^)|0a~jyvpT zS}Q*d^qn5%&kipBe&lEr{$dyBQ_Obrbzxqq>I*H@D0;Z}Z#xGnDcEifW51C^4<=+F z4?X?7ARsAQ``A?yl>qS#Z~svk5AWafL#RgtzK~TIKHrtmjAAU&89n`J+ql1KmAY8k zmNJ%!+vHP8jp_x7?&kmez%lNrx$Vvr8%>iJLD@z<~2#VNPdz#RU zA2;F{7}R6}9_)M{1zLM5ECZMZ4Ot;BKsU(Xps)hxKv#HKNGLj3n+~jG4J7C@ z*h!!2D8Qs_WzG~R`QjtJCO;>*Ya^xalObj*NwVpYnnk$Xv6dAF zs~0L^@?-`(@{9JeXOM8k&fp!A>5;;wX=%7kNRe=^La}v$V{btCF&S zcSnAvqv}RH8BsYC402njMAc=iG|%<_Sea(-Pl)>mfWb+>#&2Ai)edvg_j5n9h=t z)Q!vFgQLH@-5|gBd)J%Ud@q(9Km6Hs?BC%B-~;*Fn~-(*%|(RpNI^{i{MO44^vq=W zE51BN8icu9bw9~cF9CsEeB85eHo|%37bUkwO9?GtQL{M~yf;G!ukU5MBdR_nh})eU;Dt|JP?xwv|5Ii&)&8n&TinM$}& z3sdcj+CW^rPFatApjRE~!hb%u%;p_Be}#S+j!tgqMmx{8&}`M&D6I}P=eHeNQy&|y z@Qp(^)H?W6YIlFVbveq&^CGxqn{4cPzS$~<9T8a93v#}qT^fA>#B@Zo;%)X*VvuB!eCP$Zz>sS5%>ac$D!KK^68g91iEL&Zm;OTLLel#_}$mCNyUC^SPex88cS- zY5Fa{#KOCgFpy4C;EU@P+TCdJAt%SLJACDMG*+rjMKh z>JmiGAzEH00sn7lX;t;C79f3!3R1S&u zG3`krLFb&+<6{2$s<0U{=k`_tWyK=E&=P;~_g_aI@s0bj$ZO-}VUHYI#;G3&!)Lf4 zWlSQG*VeUFonZ!Bc`N1~wIM`?=xHL47Wv_yV|E?G0v#WG&g(BquQKD{c*ove`W+DQ z(BIm={^@-(v`Z zW@SHrC(NBjD=udHy`PrNCsf;b2;t)s2@drQeB@@Zz5e$<@H0odAOZ!ejc68uKoW|L z9lZ07g4rgIgJ>%O#m4zR){HKquNV{?_y1T11&D|wQ0&0}vHbcGS%kp|vk2HNLr4VQ zz}z^9*loApkOGLn9lDNop+;PMg&QQWFro z_3aZ`Ns#l%!7jp|cqoc2LIf_f|3pDU=U>d_uB%(txr2%t9eV z#{hTTf8x?K3JoC`o(=`4?aK+u5)wF2`4eC7P<9c)`4K4CZFlb|Hs8Rm-Jkdw|GL2f z_fDf=g6ntyt!>O)06Qp1?zS8r00%Vq_4xDQ?ehbep&_~do8R0r#{l5--SpXa~Sf32=zYc!I|8@8)0a&5I zW}E<=wh>hTF*G=f2k^D+pT>W1o*#fy#;gN?24e~Xu))t70ExCJeZU43SVi>nL<(kr z&NepV|Fozp4!~;rvbK0}AY? z1i)_dZ~@RlgBw&oT_s+CrZx+Y|K6L%=TV>bCKMQ7=M&R>0emoEp#Enqj}SmxTXrB| z6bfu+^y&Jv{h`6UW}k={0r()ClAQ7O_B4Y#L?%+QVy=qWT+7eh5F zh~dEl44Vdzcdn0f%Aqu_M#zkEM(n<8gIZ{RY8_Ft{C2tnFMoIj&Nf_qd68C#g?`*={ArkPb(E?@_#{0?JGsrE`@h`&DOu|HT{*z(8fm*{+`Dd=Rlcv(v=F-;UY zsmd#7NgGln++ro4J!p$Lj3Y1(F0em~y}lC8viJ_p1}G{4zl4ihPzIq%uk8vE#Bsw<=S(J(n$C%l{hv5DJzj_Km-Ytv(6>}A34TQ@7?nPV9vzNEU z>l@tt3=u#Z=uq^?heSz40TN~wnP8=1Mhazvhqj^FW7UN3fpo!3KnukR36LVSCX+~C zhQVdV&_breQW8bdh$ej{!iDFE_7xB24MqyS8-`%3f}lr&tgL`hmT=K3#PEUMl);7e z%hyAc^%X1k+6%UZe1_nmr4{~@!ucaP!o44#u1&eU@EX-AJQI4H9yCWAY6uB?6*$ug z{9=RQO%Q2f0--IOg_W@FK~akkov-g%O~#01@lBtywkXj%k{rdJ>hs5#+A(Cf4N8)G zoBxYZK03y~;DgK8m(#v?SaGG46>whNA=qL#Z@+5ZS!=pX-0O!QL7qlk-i04s{z@L{ z{%F3)ykM9>E&q}{XfEE&sM;sS`z+s{=%GPhFih|3x86`evimliQEeau&WNUE%PQIy zEG}ljurxqG7?vb>2OVRj9`c_jnhPuju_S(7O`y63#T{HS#JxXa_5%C^%GATHnLwUL zqt)c8I&c0=FlRta0~L%TmhhlH-u9f8*q{$AJ3K8UTM^|A$OOFx!e@*pe2D<<(ihm@ zzy*1N`XaKalRirj%_xdN*N%#>c?vs4WJHv$L&m|>j|+cZ9}e9+JxNGCM^FrPhvrVI zTtXpDoBx|Znt3~B1mlIm2%w8^r1Y1Ra;}c1fFnVb@ds*SXsU=e#vv=d7fYC@`xxUY zNAdi(vXSH|kcls$(D|!Xpa$SidkZmvb$%`6a{q=f9i?G<$Qw+ZfF+#2PCd=X8~+o0 zf*Sm!BmLx6QEQyf)fdOqE5L z!2W4QQ(ChzXH-SwwC-yl??rD?W+O0lL?x0u zI*lYqjCu&ZQQKNrrv2^-m9Vm(l6r9Gm``r2i$%jXrfvOo$~4xo)|dm;u-w*T!qybP zAfLbEpl#moC*L|^rt0Nw$l^^w*tt=TbSdCdA9$A$~T)GLr4Q>v< z2K)1^E9sWy%E9OE@}~0JoYt@dhO;VqWHY!GU%Sj}y3yKTBujLi2v_49eVIH{%uE+g zK~f?VIjCdI&A|qP7V(n4?XvZjVwR*!P?3W>rGMM@46hr}u_H2}=mfm#*K2|M-g#9& z5yu%)wW0%6=p5`~i`~~`u@mIaKo7DHgEPWwUm9={XvM9khVeh_7M zR;w>cYvZ1#sI&{KuB9L)LFDHo_5J7UMvYTMIvKxnMv}Bnk!@^VB`>jcn>#p3S20V_ zgTy^t+DGBMvPIva2EN;SX12dY54+T-{IGvKIu|cbPuCgEnB%t0Fjx(QlS^R3gtbnbBKrZcq`F#Je&gid^s@d8A!cbTzXW&66=OA{#XuVoW9N zGc~JUHj$Wb9eU#TiThpx9&659qeR{iER!0NsESaae$l*CUS!IVqpxmJsrKcV=n2+H z@GpsE@9(&1G82ec_CtFm`OvAJ(5Qhj^y52f>`k(xjJ&ylDTIr@5rIV%Swrurm&Fuf|uacU?FDW-S@hCEvm9KMAH zBH3j!AxBq8KFjaffq`fvNzj#WRe!=ynD1F(%4X;R0lJK(!oZv$X>C@yTvKTQ0a)>J z$TUG)uCHpObD`e$l&X{;=zAiN;GalXK~LR|iB zjF~)bSH4wNvJH(IrY=l8Q%%uRa5a?2fRz_FqcD8hVq>)c| zQ1N#Vrp^v+afMB`rf!d75%;Fl&0bphcY*JVT;qJ>>F%7%J4D_RtVup{7rA@rTofCy znIi9PZJ?Dwl4UPNA4)=w zFmb9gqLQyQzHKqc-UDs3qKSh_rw$2a^72m^$E(5?b}mp^zx)mB9um$)(TeIncZEWb z9H2XBO*9~3AC~?tKBx6P?u++pJED-r*!oDrx%>vR!J{oQwuN_CudbUDlKbBxd)rV(GK2a4*D2j9dpV{s@!5(;YEw^>Z25k zx09qAe&#Dso>I*!nTAR9<+iQ<-ks2HSKP{tm-my3VtEddGLBQu)XJA=+)I*3%)QdN zq=nhZMW6X`u;nC3Kg%R8`z%1$VtN?KFXiBqCp@Eeb43mc70E2}NS1*3n{tr6#0Fbz zr7ohNDP?2iP`lp~b8WghPBesli+9Am`@(w?CTQjQUA!<&mz=31v}5SCu=*J(iI8E& z$wo%2@H*mX(2+AiLPEs;n*}$lpAlI2GpoW%^nM%5&O+f-1nuU#rxC(^MMg#b0;axP z$K;7#ZFLQ(WV}(@ZJ*XaNj6!>1&?nh6DLg^f9>voIBd}9JC`&=)+?jQup3iySiazP zi4zq{=R|%S8G3LKzZ&WAwHrlCX$S_!p_i!qc{2uukF+bQ3dvo77yt9%-Ij6eV3}H9 zdb|-Gu(P}<=B%rhU^1_>cKD>@B77EU8EJGi^-%$2Lg|&Y%BFW`SS8zpKRA>qK8OIN zNF&pP+?hhT5oZh*WAxT*hD@REOIH{#M$NC}X3mm)Ftl{7gy+RPzDZOkC5iOS{Yd*D zkx8)d-_JHk-{t6}I@~j2Iy$X-KJ(tH*sI7`3i^6m9!=FDytM@OwdDS`KYtWa%1yLb zlqmta*{3-0w@Rr!+)cEySIEgUw?8XkX~n4Zs>i~u#kF5iSLBYJPg7h{RY~OUJ`jk_ z=X_lj$+vioMUA!ezV6aSsC}mFKOstXDY5Za?)D!+ zVcn`GM{VR)`gd^{f4%9HWHsrFwaLSZV|*LZ7Gn0ci>v(T*CWUD1@tV;Bd1;~AG+C79$9fW5eweOanQ@nl9dcI* ze1qdkz4rxwFr7MM>Ik_h&BSxcC!Q!kr=$cJjs&stO-;<1Z#X7yx7C^Zb~)whIeAg5 zZeB9IGNx9h_j2A#>q!;b(}`k68$BK2RA^dFHnULUTU7EBwQCx@^D+}dhl?|HeHSTZ zLbX+e{Mqtg_~pO8g1!1P2Yh$F{GCBuvvGg&Ufo|O-{-e{Xt#$=T{~z{9#=O&S$@p# zzNUKD2szxVfA_@w*J(Yz9xl5^5*U{KCeahB8UY)mrGKo^I^p>~O8uQYoSZlH?d9vq zR)v)VHCESd74~e>{wWjbhnTuHV;8DO8~#Y?+Sl(eAWl)7INZP7kG?7Q)#{~FoM_wc zx-sFQo1M75@#V~rFX-;XPyM1!;m36^`AkLFTx(ZMr2y*&KqtqeId7ef%+Y@Piip{~dyW{?HQ2llVff;4f%F zc}>Ajl)eZ#b^Cwpezi7!%nJHGIbMZnHrenj3bKTKJpDDojW$kbaPnFt#{j+wd7t1cy)Z>dwL0&HXD8|lc)BV;UeI>_{%tGI=W}|>>6VH)8(ek zbZ}ML=({^>Z%A856Kf~bZ8NSsbAR_vi5yN!!CzB41MS@Wt%PS`E8-{NRN?8)NM1jII!g<1ACGpWXrN3 z)Y&lC~1GLxU-vK&RbcZ6+O_l1V9oea0V;S!`^}~M_ zD#8XM)%DYn;YUJx&v}IE1&#qabXJ$R@X&e>ytkuN@3d19z>cf02)%~licw}>WWvEr zL~)CdFejggTYw0q9)k7?rsg3ab}}HT5f)33Q<%2o0#pAycrhl-| z2hKy5xW@6yiQ~ZQYP%x<^U#;G?xegZ7W7*k=k9Sa_^~gC)!CYRK7ece3Cv#j=Cv0# z6sr`BV=`VQOFL^&aEN>XZDY(bOHB(~6qr6)IUT;az6Hk2&DzdF? z*vhZlZ2%afLLS*EPr!bh81FD4PmBW&& z6Ab6XBz+q`&y(Xjr{p`s3211eOXROAoC_5YBGw1L0VS8=tM$e}R)H=^=AIl+G#$LC zA}(fsK5xbDZS13f3Iq(V0UQfVjaoyZ=U?gd&zO4N%xmpM(!HW2Q9xZDdu&7Z4R(_d?j z`MUh__-q>M>;={tSbxr?wA6Ebrfhntkci_K_4s9r9cxFweuLmw4#tU}RN zR_>CqNLgODHh6#)nO)e6FYbmGv(Ck;7xl_0ikUH|nn&6rAd-We#3Uln@*qe)X7Nw% zZkadp{Pc4oC7D=#ftorlqU zvEf`3h;ij2TPP_nTOI)r6WA;r5u0~r)gCGDU3Sj?N^n7A+nnZh9bdC8_q$NY5)}Eo z>Kt2<@Z32SYmzX~(Qyue#MY49W6?X4w4X<3%`e`jWx7CB$)>wD4Ik63A@4`%7p4q% zWY&^i+NVgUZA#@`Ivd<;jq$vYyAmG`HicPeh{~cH-1o4;3P6`iwROIQ&k=SD0n0Y(~LUU_7+athc%i1HjLd3Q??Hl8eu zYc2*NZn1$?g>aN1;ykGtLNkywmej*agm)MjenBUSL14@f7g1~-hzN-^{)4_a)V=C( zR^zLI$L_iCnbghU@-XESx<(#n_>RBnfs+rezY|O8bokCA0vTTK7ExR?o71Dciku=KHxY#Zm2tJsF7Va*(B zb3JheF!L9ef^TVDexHIRqph3LI|L>=6E@Rc#-+8IOa|XRkJbHVF6&{tkwYkWfJBs5 z@@vFRfZDi~4WkrmiverPkZ5H2MNaQ2h3quBNw?(6d#7d2Em__|-PH;ddC^AUZ9Lk9 zr8zr7;;z3CWosi=Qmm*`dyz@frivX1 z3dXf{{X-nr09PbyNBTCcpon9FHjdJ|dLHeJ*VWkG} z4aCN-hs3O6^{KJT&c=?!tU;>7Ldr(U@>!_t;NbdM_@C`Zm64dG?aduNE!O|F#7K4c zdA_r;h>5Up0L9rwSU6cYIC&&KI}{*LLPSDDl#7E)ko5n*3hHM=|GTLv3kxgfe+08Z zl&P||YHGNlkD!e$pNpzcWh6$sW5yE3eWxR68mx(;{WWE4`p_FoWNbVd3RHHgFx;gG zc|vY7N{-=oKoOE0>V_bC1Si~op7|d&qgwDRhm}FjRu;AIEf9~fwwm>zDrH)i3fcz)g4n7$~-RfW);5e?Xe%fPd8bkLyZ8qMt&`xRt)w;?6HY@dJ#4)4lN`dC`MD+F_bQ(=A`9>zS8N-zzH&e<+tuycX!0J$2ID+6<)6?Z~*NR`|Q5`{bNK zd#J4O*5sU@_K<$2n5NYAIs=@Ipj}gyRsVXTGYDuy>Qz{{X|u;;qO$|$hx~{9)<6*; zQdmFGGkwEG(q}-ho`etret-;!BGGRIM2ZVwxkAT<#|+3SjSrG`L?MJ<4|*t-KeapJ zI7SSc!d5ssF7s-xF(ix$&=Z~=&F@}kx3RZU2RWrJ6B+i28)TE;VlAqG{PQ?hy!Etx zQiconbri5oR5INAYRd>ARG!gK-yhBRvwXGr0ngxOrHVKGV14Z@tLHDG)njJgM_WRt zVyMXHS7dgvwIs^sfd`Gx>M*9Fu88SZWp)9oI$hV?&+)cCRnv(&RvT1^K4CuLy;r3y zHWzFyKQ~}>bqem;1{(eV<^J-rKJZ~Y`H)<(Gf#c->^$)5>YXhdCuylXQDRe^?yfB| z_vgyj^+!j6JlUm&Ahcy>#86nxJ`_2S(-PFPW?D1;BRuQOiwT9;FmZi1uttnX2v zt6!BeLeg@y9=xN(q*%w_b8|OwYjgMd^UW$+@NC}gHR%nHzV|f|gzBl#o=(nqfD%nF zjBgsCJt%_n2pLzGeoJ={5EY&OMKw@dm~p2(iYLn$wMerpJ}%45kf$8_Uf4n*Se)zd zUN|gjQ+1NIUB|OX z1?S|OyKLp=O{{|y$W7D#v3&`DQn8PE+3NY3K-q>7WTI)Ev+p4Et!3-xu~pWtUUXDe zxdD5y`UgRcV+qBwS*YTB%1P_s3SWtL_0=S0g+BeOlfHE__Ip<9y6tePkd$46@#XAH zlwU058zv;Q2DJMo67DOL;U7gvcn})yGyV41TR`MRz_=u|ZK*yQ_q|9z%F47KzTP#*BAX(9wP#LG&qv8WlD9%!Mlf*`fEbyBlbZ*Ll2Tkz0_pz& D7dS~I diff --git a/semester3/ti/ti-summary.tex b/semester3/ti/ti-summary.tex index a99e258..8b09325 100644 --- a/semester3/ti/ti-summary.tex +++ b/semester3/ti/ti-summary.tex @@ -78,6 +78,7 @@ \input{parts/02_finite-automata/00_representation.tex} \input{parts/02_finite-automata/01_simulations.tex} \input{parts/02_finite-automata/02_proofs-of-nonexistance.tex} +\input{parts/02_finite-automata/03_non-determinism.tex} \end{document}