From 6533d01016bba8ba39648f2c4c80801f66a6bc12 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 15 Nov 2025 12:14:19 +0100 Subject: [PATCH] [TI] Fix error --- .../ti/parts/05_complexity/01_class_p.tex | 4 ++-- semester3/ti/ti-summary.pdf | Bin 1001581 -> 1001579 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/semester3/ti/parts/05_complexity/01_class_p.tex b/semester3/ti/parts/05_complexity/01_class_p.tex index ac1a6a6..150c805 100644 --- a/semester3/ti/parts/05_complexity/01_class_p.tex +++ b/semester3/ti/parts/05_complexity/01_class_p.tex @@ -16,7 +16,7 @@ \inlinecorollary $\text{P} \subseteq \text{PSPACE}$ \begin{definition}[]{Platz- und Zeitkonstruierbarkeit} - Eine Funktion $t : \N \rightarrow \N$ heisst \bi{platzkonstruierbar}, falls eine $1$-Band-TM $M$ existiert, so dass + Eine Funktion $s : \N \rightarrow \N$ heisst \bi{platzkonstruierbar}, falls eine $1$-Band-TM $M$ existiert, so dass \begin{enumerate} \item $\spc_M(n) \leq s(n) \smallhspace \forall n \in \N$ \item für jede Eingabe $0^n$ für $n \in \N$, generiert $M$ das Wort $0^{s(n)}$ auf ihrem Arbeitsband und hält in $\qacc$ @@ -24,7 +24,7 @@ \vspace{0.25cm} - Eine Funktion $s : \N \rightarrow \N$ heisst \bi{zeitkonstruierbar}, falls eine MTM $A$ existiert, so dass + Eine Funktion $t : \N \rightarrow \N$ heisst \bi{zeitkonstruierbar}, falls eine MTM $A$ existiert, so dass \begin{enumerate} \item $\tc_A(n) \in \tco{t(n)}$ \item für jede Eingabe $0^n$ für $n \in \N$, generiert $A$ das Wort $0^{t(n)}$ auf dem ersten Arbeitsband und hält in $\qacc$ diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index a0e41e992ba22caf70e80f051922f23be3c2d1e2..5f8b37f5927b3f93273851b63cd9ab1858ce5bff 100644 GIT binary patch delta 14441 zcmajFV{oO-7w#R~wr$(VB$?RGM3ZDE6PvSRb7I@Z#I|kj*tXC7pZ7hV&xc=C*IL)z z-PK*y)puX(B2M@$PPn!J0f^-7ao|dbKtMeNN%+jZmHnXD4YJuq~nDb?E+Mv!lI5MAFO4+1dA);#yj@3?u4Wd0Chl zAtG7S^dPAL18M8egg2IF9WG>pJW#|~vFxaEOb}c>8b;G;`60Pi3h=3+-daee>ztQw zErp4ql%QrJ7=g!5Fx1qFYq5?Tos8z@`fEL_2PJ`ib;XETYZ6i}@RTJ=S4HFLa-JwJ zimRuFuce|aUZnhP;|0pcRfG{%S*rn~%yWx!7S}v<0hD+I8i5?lii{^rbsHdwtoio$ zT(|%c{5`a@>zYE76S(c3^j8P2JZiP6S?6%7qNyUnj*jPEpkd7%uh&wSC|ZfTp?)gm z`Kl^%*cz*UAAB}SYVkbN$Km@~@;B5S=JykI{bjM5vpsxDA_U2^g$yR4T%8G~XYeU> zZG3rU)6Wxa8YP_(NQ)g9A|mI3y&wb+HVW`o0>*PTijsn?XW)73+Eys8bSp-NgH?vb zJq*}dOd=}Dr*CkMK2oJ23EKnc!>y(Iwm3M&ObdsEk~hY2i;RZY0B3u4fNBu#V`Hep z04G{z%0=Pa&%YTEQ`Wazq=%2CI}C|&Jj+!nO-y=M-@v0a=@fkhQ)=RS`3=pafECaz ztIp6UWX!u=2V7rPT|||koIuPG?@a2A-Y<%xd9*dxaPD;WXMT8KIkY1s$!tO%eiFZD zfspzNpw*wmsf9(R=3WOy*E(*wT?Cj`_-?9hcq32mtmxF_QpH@qg9K5pm|cWSa$Lbb zHUi&#tf6C6Cav5)t#W2(FsKgdsu0(sI&9}P4UaZ?fi|oceZO7VS}x%USA6vha%L#3 zZKzspK~WORo)oN2)ih}NeDQBE$TN+b3C%}v@e&V+vJMcobJwKE7$8KxCm~rIM)tl# z?0WF*PcisfS`E27iBPq36+pm0_1g1GCFz1{8MVGS>@hAgFg$(`ErfNzQo3 zOHFRGFj1hg_<6VIMn_zVn$5D;U>8<5W_Y-3YNDF-3oIS0Y9K{?0s*rD8bt(?QH&$I zlhJ^VShc-o=N%Sw$v*ks6d(`TTW$lX_VgTY_Rc&O==hH6CSj79Fbj#9;7^VV&XZsQ zMF&jMHcH6gK?6ROfY6nvp~!1@*sbOtIp(KacE6Ldc#@H=r}zIs%wHZaxvF;SUFq#S zi|o|<-u|}UO@Z<#PV`>y(QMf9!ao{F!LT$cuyPsD7`AjHu!3c!VN-9c4~x3^YSAn)Ny1J|=UWIY&Q)_{H;xAd z%7AWknA8ubMaP?KY8300H?)Cxrd!Zxj!@sID^?BljN-N9%`ioFdUmnDEM;1CLfOTt zz?hVHa@c`f7!@M0akvO;N847;Qs2-OfC-PL8gKqXjHnU=|A6A4eb(V^3uL~m*8`;L zYpcm@3ZXLaK!pku`oqsCQv|9DpTibI%!$*z&DR35CMcE?crS|vz@}+z;fYw<0&*`g_Wnrucc1gl_33&wK{lI zMOyTw;D^r&M6!jB6>+qhN{;={!UD5lLagPH%$}Txnvbgs{XmIXT3H3qtq_4v3P>)3 zpTL-J5xLeDsLi7}d%m|)Rt#H10I$|HJbOl#+Nk3C9KDNYA6wO)ggnhvE})b_OEmRU zb-m2ux5f<;m@-W(7KMUAG~iODwe6c7%fO}aoAB`MNiNc0+8;!nXz5bfi=;g&K;>!$ z4?&S_zJ%PL$0LrEJk)fm{y4TJ_HoaO_*<2DKJT7}P}^6t3$azVN55a#k=3rP_Ty$j z6^~2>iHGe*32K zydWV!PVNmF_L1r<%Z@LSpk*?(v%Gs!9>rd7?Z{RO0T_pjyGbT;>s8aEY%62{PnoMud79 z$V2nEa8xjAMLQoRp91%g7jdJ1DLq)IY`&PN>WWUVG;X8!t1?oQ6Wb8L_w7{Pjke!J zKS9eFmf-D=AMxSb=_XS*kcBcCsdrSbaUD8yd$Jfi8n}%HwNpK9z%Zg;}Wm6>6ya%>;^v+^#QaAnmT{rHZ^Y^{ws=`gLtDAKb;+;uA$@rmS2}(<(cqZKb2~s|;-`Zc#4}z%3OsYWb;w-0c<$wW z`bZs8&8+#FKH8gP-TFCa_H76b*bJA|A=jC9Gv|gui|_kh9SO&UoYVcMX&bGwux03m z_4MLW?0*Mq0}d@c3V2z97&kfO`Zuf;@IpAu26t{;bmp)NzuWFrBh>b8A%|;c84;79 z?@zeTSXAg)2*5z)w&iK!)2TKStp{Mt4JXHisYwwoCF;1^9dMgF2 zy^wcSu0A!f=0F*^F#=X&zX6>06BI!vB63|QPA6A?>JFUmKb5cmqykb|16T9m@ye#- zgIkkKU#Phlm}AX8rf{&>%ziwhPeyJdS1!D4Efxn?j{8&SS)&km>5O0Q5S~ig-DIxu zDf4iTK(N2xM(Ubt-Qn^GAu4@R)Dz%nq4>XR9;f_HfMWpXPuRhsZ=OqlgF$10Rd9K) z9aJYjyZSNE!6}xLq=NqepTk{!8~7EbeA_-txt7F$%6rSYbhJ2^0#OL32{d#jtIoY@Bri48=4x)iiw=nq}cl0XodIH7v9>B{g=Z zn%eg14;juD#k>zMQO@ii)WBnr2f91L-#W}6p;v8-uDnJ}r$t}S>eLmM7Z2sXczD5r zv`GVvPQfgRs226`o`TQ$TNY8ln=h_R%>$-7X=YwrgdR5CWr7Wh+8GJr9uS z)|1*>iN1~PV%EIX5zQ`6_Qr<9O%0Aa8!j7DrhV?7X6Yu+15k65*_Rxzs&95T=!b_2 zq-|wgT{P>}2^>i_?LKQC6pF=QO?$3|*Xlw`=`$WKUd}wko_tr&^A7{iN-9u~=eNj) zpAet{d2x?VLRoS1wZzrvz);yB%pFal%<*81 zT@tT$Nn{c{2xygsxz%*%^mD68{F;np-Mq6S$Q4iri!9v2!B;8uCS-*2kgifq9K;Zr3~l>duwj?@kB ztZ$>qB+garaMi5=!i3Zt*>`gy?`Je;n0bi8iOJb34OiRNMEg2M5?J$(W&ctE(Ri|v zgIUi^R(syCkN{}?A3vUlsobuqukl4hl-2mae&5}B?5!2mI%$*^2saU~EaQ;KNSAWS z{Hk1@{0qEd!}KMoO|^895;~7`ri@$Y2Rpp*O0s?n#hrei8n9~O>~zb?#(re_8gwRJ zOb3i9SqN5ok`_;P+jiDM<=@&YFNo3gNPbqKNZIn+{IPBs5%ogKC3Q>`6*$i2leMcj zdD|sxt@GPB08|07f5EFD5;PNP&7U<*$&#$U9RYD%%8J`L_)#52J*LNW%@d~ z`#x;jAFhl)teL^N^wViOu({MUs;Ou}(*6Yp8>njKKw34(EzQ$FFOOEz!~{+5D**94 zaEkMVu?R36m^2j-*CjvL7o4)5X8JJ*RxBWfN!E$*ZcYWoJG`Yf43wr!4Sfb*^RzNA z-i2|3^>`B+Ds1wC^}*CyTQ_r5&;m5Pd7={t!~??>#a6nju#!?`b!hV(SfFPkZhhP+ ze_DD`t|&@>i$W8CMPw8^F-scp8U-5n!^ePnp=68)n9ry|IeD05t5Py(jY-nD!^FSc zcPKG)QehM2E`})?eIc%Va-Zw}(CujT&B-`h1AZp!@oT#HPHd6VQStfIOH+~O88a4l zhOtR;lryswH0D02A5Z2UqMcELF)^{>hp9oPD+W-=;Kf;P0JbFQuQ>x{GJvi#fe;8Q z#t=i7YecDWa>5>&lsMu-18x7%`v`ivsyoj1;4|T&&&!0ww%{ZXU#+Bxqk-W|D_S0!@ZLyq!<%0kp2=^c_LY#3`j3f!2t7Tf!^Uae^!SNlq?s zH@x$=ZZmfrdAN9XhZa_+e>!xALVv*C?0O`R?v22&vG?s?8MWa8D@;N?QhM9ZDB3%S z%<^Mri)TXUpwl^t&fv7=C|M&S&`mspzcjUkH&;DsbwgTpaoCz0;aDl}2hrJS@J zW$xh-Lg`o3k`mnTu|`645%jILVHIdEn}iuiu4#r>1JQT``#F?UuOE;|1{-HQ_wbqW zcN)W?l=zw@9qz4w+WV!#TW~aHSx};S<>^NO+_HmF#9$s+sWU*1Ip`F} zCVVa{PXrQ(?nHR79GU_G=e_hA9i`;Qs=1XjJhZl~!qwT$%>{FKNMwwnEkn=|cjNQA z`~#?03>ba@zF{JoS|?+>B%|OtbMb;yV^l)47|FD(y+Wr)EeLen-7%zwM0({YmHsMR z)Jk62{KND00fKR8N8^|s{hpqG{2P6b1&? zCYS_fB}bgu`NGSY?nwby&Yh@7+Zw5soPM$ymdLHjgR_6~WFFz4-60M%tltkL$=mQe zya{>lm4oCj*yb!anp-Lg!<%_0mFQ?wtOPtS_Y@q)?w)%%>Hdjr7t?Y#V7 zbh4tx&xSIxMFf;;D*3C*VBs+*X&YuwS`25pBk@@pzDGfiES}!kpfw1+Y57@ULtTQhWd23zK&aXMnDjXP>*=gF^@tM&qKxD-Mc+U>XVe%=ZI1z9 zLxndW^GajPK@M^R)jfOdGQ-oG+g=}a(4%@vw5ta#8$_9D)CywrYjeQyfg6J%h09&26$M@4&Mk|0X(J&PM~?+_L-gIl zjxT+0XtVw4Kp36Q=eM`f_TU9%JD_cxOtu3LorNY`i4{_7{Wlgov_D-KBwbh@*+yjl z#BR~&l8s&ZV>t@D@u=gJcRpkbtpH2CEFaWcYA;r*bP>!P4r+vgK%>cpScGetPxz(>AvhlpM zq=N#cmvT!2Jk-j1vPT~d6$#H1#PoB3;4Hv63WKQA!~xFI_XA37KAS8AF%5jS7S_ul zxNE$Np)#gkp?Jt!Y@jEN7?KV6xL{EmrnK!rq$QE}giNF1y=_b|6=Uy!OHz@24k^a@ z1T|$Q0gOW=8*vymr?S-B4tIQaxH|LNv&RaJAogbN!-k0W< z?_XODd2Gsxl6Yz+Mm#cj<`HvWU;yZNvW7%=%ALMXO|ewrLV6QAX$kfS%x=6iL4E;9ULqBcHrtaJL$XmjDac+~g zOPeN(UoJK#Tes(S)WbTZbZB5cntf++2S^}se##7zNYk0Mr`*LC9Ss&;OYKmEHe_KV z2$o%B7z;?Ij2Fvg!)h+j#;Nj&cLxI61b_ski#BD5k zm?~ECDRXq>#rYgJyJl1F?Z+%O`CEbcus4Bds^KO^s$=Z&jVlQfae~zYD?49WM^W1r zoYxwjbj?hfm{A%iywi&?kW0jV3`(&dg8uPS(L-m6H?qY=ga$L&IdeuD1}yY@W(#?i zIYfLwCGPM6`5*r15_$rp+dtB`>n?W+TQJ$K(0#4p(!3&OQWcnxjfS1&Vu(mh4levx z_MUG;Ek3+&m9pIcO!^1YaJ=)>^8pcqz?|LKTTy|}sD~Qh++$8gVJc0cB0`2^S50@! zVZQjHh8tV%@_hFU1Wc4bFdZpW_%Dm=>)BV{M0)e0kmQG;pf!hXpnelhum1t-(Pii% zmYFy&_B%L~GbXRvFelhZbo{l~vOJ;38_HB)#ld8Gm8Hq{0g?chWXMbPuVnjlL3h!x z`jZGD+LV3ZYS<#GMxwK2*$b=vs;_=FcMOl1c6B8>j;#!=Y-)5O>x>E6)O19ci9f25 z(!XmJE%#z#cJ)K+s`F4hjlzRy^2gusjJ8z|fLrqzWV-pgU-QlN+UA=B3XHKEC#~3f z7P$|?y6Eso6lSMP#+yP_0FBR{htVm;hEC8@3%U}}buV$K-Sdbu5744m#MZI3nWWzN zF^?~KcJ1kJHdwRm(fj>o?BoVf{_+)HE5m(x-Q%J5#@T;zD@30oip}fZZq~ZBa<5a$ z2D6Hl!-d4nq*(`*uUa~jXtd^E6{$?R?&2ldgsPR8JvuRb1W2%PXccUUw4VKH9g zUJMQxikRBO@HQZ3{p*obV0BDn$0h|Tkqp4Unsp&|xTWtOblHgwr(YcD8bh14IDLgH z-5!j0j=MMlpNU;+%;r`I!QE4FPJxyl(*g%29|5u>M&rPxY+lenH%I!uW9>9RQY)Hb z#;0AtcZQx>RIjdHSX1D89<3^9O3eR*j*Ji}T==y&jCjIQjN0mtv%r37$`S)B15Yto zO+tg0^ZSz3xZzj?Gb)d_R}c!rkVB*qWaOc<@}~EN6E#C5pjxs`+@Ee=;J(WtQYnLz zpg7*-yL0)#Z_Suiilsy=NJHztzM`V^idc9TR{T^CGK(+tN3QZ}VG|iGUc$1q_Rs*P z5%bF+J-fv^eYAx>WWu`UMUKI6*#D@t2kV`8B~&Y z%%2Ib;K8MJ&~fAoriQ|AvJaF!3}g^czhgWLteg6mPH49C%HW{y-uBKziYKn>_fPq~ z_muC9(FG(_QL-`Zd4#Nm&3FQ-`FCu;ogSA#d25d8L%*^bcfDgo<5YPw&?RJq1@`UZ zdiWltcy-TGDW6cixIEBQRe8#y3t{M1v z=>}aq3|7oKrxgv3=$JU^fbhT{4-&YdO1k`FPDjrCZ zS0gU&aCq6Ha3~>4$Bo5HI;%XpI&V?6D;@~~86YfyuDZ)PAuIA_29>+UH8(sISVR-` zSj6IVqQWl-TKB88pdDin7!KVw;xMb7PhOn>7p^)})L%E=HN6!l-LVqj0Fx+AUpWc3 za7=!`27xSetF#b{MT>-Bn#*!~aChuSFMB^WE%tIuz~B0A?TOk)_Wo0P(~$nxRxDbR z?;q-<9CPYb=s}L3WaX~(fkUzt{5TRFd*p+x+cATm2R}z*rpMmqdRKZ1_`g9fKz3fR z-Hai4gXjT3HauYP`H+{^r{lX=RZK(^k36{z3?mPosxYDj8aawhOO5?Lgdb zC(3jqzda?XKJ5eaK~ho>rt}lbCAZylU6irRhM$~xb<3u>iNYAril|G~kSI|9{r z2&I0K3XsD@;~M7=gZV})$KCJ9rSXZ9X0h?j+sd#$W!M>L0r-id&#$TW?>G7@I?Y1G zi2(YZe}pTLH#RAsB5-%oWQ?sw`;-jw;YG#EI2o0i5kKzKTP)L?>C>5G@+W78d3vv- zHlSQdEJ&w-G5ha!;B9zxPw#-V@j%%X*s8lh(_{}>yhCI%%$Q9%krd|`ohot zZADcxlDK>r=Rhj{Ps<4vNPSY9uQ?>n1*&5*NyUI-Ato49qw7R*zP#dko48!*Ks?Ny zvG1rsNs9#gp4;FG)b}xC%6(M+w^-cpe6niu%SzvY7Ox^+Dg)+mg*17>BdQ4@%kF;; zje#)kP772nDCTA0)`_R#e->00$Qd1}zAG~Q%_)>7l2=P`RZ&n&fVr#1;=ZR>TTq#T z)4ny1AZWzyvGaQ7KuCX*=@{NPG#%f4bco0q*SzO#yP-$SAL#19MHB5XV4m$GfdG!T zth(p}O&v;pXx2g;NI{r_zCUJYGiZp!A&w4DmV^azra59Z>{C(=-t6c{5rGbCF(D8; z7-e!&XOA)6PZ~V#GW)E+{yy*Rkh7ti;@NZnc+907_^9_!;0}?@L?DxAX<98`cL&WA zF;?W0wH#qR`xUz)2KDb|5NY6RCC69V>#<9Le+qOlccIT9n-#9ks;ktSeovFYT$LVU zs#VJX8=NJpC8VS|O=(EHdM(MulZ^Wji2;+=k4P79J1Ra*JiJKmR1(XRaFvyK(T#M~ zOq3H?T5di7jGCR+pB++k>Btv>LvF?z77HPlAquFcy6wlDEMf#1qnD%vRuRWnE}_Rj z;Ep6N6MBGes<4{Emphg2a~Li`NJcdd301Uz0+eqEMT$`K;IoK+9p>&^DmLsT;#N!{ zWuDoiW?T{M72@S^axS*dUA0KcC#oV=aH_GR#giR7pB_Q@H;A9omtIb3{DcS)ig_Py zGTG6_DzhibiLuvogzdHw3fIfCnGQL?XfLEp&ietv7FFz%#Uxrq=y?2AnLRN!sgimD zLvrbtUj??Cuf*QJ=U(OEY-7ER&xg5ZCH#W$0C?*OorwN$IdJpVqCM zb*J^+5jlr`lXGoux_=CxaczVUp@Dyl$FcOpTmUS%!qEV|lYzrxgS{~*wpl~KkIBO0 zeKz*}stUp!&c2ZK>fr8vj5#Hnn*JQ{l_AB2vf|RCn*+)|*PpRcUZG-fKS{q?)Np9RSm0Oyk^ihv z$ab~L)it^QWsN5?=J)zqS|tz;o@}9@Z0PIf8|`nEiA$9IFYrL(()pCO&VSAh*MH6q zN*CM?E}NL8tBy}oudthA?xSY?ah=lh#Jk|2@ggEc8Pb;pp2$tmw&>H=s#izc7mPww z!(%ha5}Y6|gN+YL9rq=-OT3e@kvICJALLmfDLp7sHQe*xT;KFILUw zzzaATJQg;=PduQ18c&v`?zeDjck(X?;*OiK z=4WVlC=BrBln-2Z8p!63^zqt7ZTjyc8NU88eFRAh**1t+A5U zt~~gsrF81OZV^Tt(daWPH`^f)xQ{<_{we*5==@^%-n=RXkBSA3kaD5{&jeXe8`6xY z36F-)G-G4=Lb|-OM^bfTI7blQSlmavdeCFzao#H}(%ShI?%UdUg8FaKMam+Fm< z1(29ziSOTPm@ku`b=Eu}FRt3JJzk3cs6f*f&&B5Zoo)k3AV@{m7~fd)X-q1c+q~dk zVE#Wxa>F0K2%F8{nYF9?N5Q*6c2HUSZmPZQuGznN16x&lKmEp@n+elyr@OC{lUHr8 z-g4^b8~Rh~Q{WlE`TpB!m{j;81mI$;o%04lc#hzcbPcUXgg>&j3H(TEG|knFU02n` zURilaTpI2Z89t%N?Or$0v_-{Z6CgLL{q*O-!?tTud|un(;?uG zDD8@nsGWPx0#!FLz5YXR%1Is_2ysDo@8Fw7=~WWbaJI@^EY!cNZxK$qTfp;>j0!X6 z73_A{0-nasb;FFl;kRH`$F5FMCdXl+3C)c;=BcC#z8*M)(yfZHlgWLGFjBzL;xqSU zE;3{g4h<=)jLsQOu&c9oIscQi#&1==##<-^1FDUrE*55;`$VwBRhuyZlD{|B^{Gs% zo{w5WF$jn8@5G90lTMqH0>F?8cF+Y!btOW@CGz*8Xu`U zBA(iMp6(>6fslma2*vv*)#e}ZhLKQR92%TFnblq$nNTG0)A>B_Yt)(|4lzjhy`GIXY1 zu(pc1@0(+!3P^RlaQ=kw@6_$cOEBQA_E% zho+#JL#!K0ERek({M2(1%vB*iBj;e2;L>>HPKE`kH_sy27@y1i0wzYaF_^KpM3rEn z&FMm;#79^R8{j?rcH=3@Eq1c`@iwy{amhDr-=k~VwR4vB$g~T3$p~K&EoajrX1ivN zloE9gC_nM;4fajD%RzKRi9LJ;|QmbSG#9Uk1dNCeUB*Wv=S7A$81S z%rrjfEZMz`+9?Ds4n) z0gm9T*@W0wU&U2jUXqaOGuH}}>npivkA%ph9k@z&IETWg0@r_Rhpk<^X)lC43E&ji zj@3pX;3tP$%J1Z#+0YL!ucZ#P>ATM~jrXl*i)X~Ot#|ECKG0$|k`q3`uf=(7@mHI{ z+VWkXHHyoTHl>`kOsZZ6^~*RcERy^V2f2lT1QtT9zC&eWjr$m1IX%$2f*!<`xum9* zu~mIa1__w6fJe9y1sU;=knO;-uxdQpHefjSn4aaO(QZXz;^+o2;OC`iFUM1kaeO9$ zCy^G#&h-B0O=HDMy(#9JhqAzr?Qd7pPmiCj_D|QJe`oBxzRD>O8e7G0{cBLd+b<`z zL(g^L8zw(RZ1ANsMru2PareZ>`O8Tfy2j<&swCfI(jj&s?k@(gm`$q zE6g6cay?_KIwz{u5JLf<&>RtQQ~&2Lo;%NYcg*ap*~<&PADl;3~N0 zBt~>u`@nW&`i(b)JH zVttdPfAZ=1_-CDmhsE=!z*6_e83Yp^5p_l{3)GNdh61QGJnwW|d}8{5%mPWf#UhA( zk+6DzXV5IwJCsQ`HZ+tets@zSiNQ45dhTKi$m%@fd2&>>TRZ8T_Lg%IWq)~HlK>uB zuJ87iVMS*W@s1LY$ybTP&j#(NkFTvA5RBlx?A}~)<3nPk??y`ElH~s&>SmyogoImC zJ$EJF_s~jXKoqNb{TamAv?|;3_$@hQ92{`x`#xk6O z_9SeVM6D+@+V6!Z!n^XX63@_Pdn_Nh7`U&X<@alFnbB7H=L7qe=WA^8Ab~`v&Z1Cqh`Gnv|U6JOv zvS(*hJ)%)UC9n6JhJit~OaA?Zgj!$J)`jNZt1_X4t`zRWa&y7#gS%};^0Oh?nW@Os zTp5~I5JCa`eP0HNO}^ts5Si2u$cc(3o-{-WZL)N}+ZM}_Tf0fNQ9bzxSMIJ{gvae@ zx&j-W{z#+he?03ACI2jedh*+`s_y*B7qs=wpvRm4X7!lZZm$F1s3eEXPgzK^UN3aM zf+I~H_=Szh0etD}_P+jl{ebuyXur9&ef5_F0uNE!Rjy0cWBE2Kdm_F81F~7|e@xTd zH7QnKXx)uWh3QK($>T^nnHKTd7p3-;9rk6=!+6)sbg zD!>;seQS}dzn_L&A8PK(Ktuz{ki7oh{fY0FAiF3ivv3|eIO!vht=PARW>c|qermyQ zXf$oFP2z!zR!yUBlsOOrtm~}Uz;_`05!s2@+8oLF#gxn&ErB4Z$w!z>pUddm*G6aF zPf*YCpv=wCosLZEpT+Z@ZB{WGOuJ~uLFnGH-{>V{PnFJ=2| zdnX*DwDb7f%p%ke;_v>bfLhyGjOxBv+;6sGP1GLva!+9Bd{vk|CBOuF(;#w z65wFt_?Kq?|0T^hJgB4ylHB6boDw{o{QSIJJZv1&9PHnuxOlkuxTQFy+1RA{*hR>M z{$G+54>44JpnjO4Hu2EY*Te+Bcg`;hnl%0DiZpqSR$9)4!co4~sr_v3w2iB@_;TZK zq&DPgjg+T>&-uwXg>VD|5@!jC66;KbWZxKNt#D1nWi=_1aT3KyU)c=1Ygk1;zwECX z?9bko^k~QHht%j9TO~nke5SffV{*D$Q%t{_Xn$Un1G&e~`8BD><+L^an(HnZ$N~J# zbG=9Fo45tmve!t~faMpmwm|E3U`12rnr7LBhng+*U&%7&D~*hjQ+3T?^CVskP3G|& zO-*@PROe>&TJWFpM5QSlzii~M(ANQkx#3O3RZ{B^<1=o#__nmi66@i`-Y$U$fc8I4 zEn@8u!28_jyvg~;0FlN{fIHx=7i>+WalMhTm!a_k&1nqw5?=%U>Xwu+5p}F)kfXM@y3iEi$-}s3ZU7q3Xn3( zGG_;Q;+$SnV3@lJ?v~FiBdFYt7?l^DJ2?xC350J%1{?w01BC(4_KwMJtR6&)S36cu z{vUwlnW;IYfcq0BjoGOgC4Wc&cjJ5`Y%h7^BA^6-8b}H7>Pl#o>E&9pXvA#f1mUfb zH10L_!E;5wuqwJwPX=E$U-JCA zQpfq|C9ogciY91~)H5(^;;?jq2qWU)<+(6eD=;bw`eHlhP!T_QRnWA-25WHXTt389 z_2IE<7scxI5V2@rvGN|odhsD5#({7uvOEEbWQxAR_Ldq29j6Rz;HmOBu)U=R6`uv_ zO@5BGs~k_lR{H#d;D+|RJ*m;~|tg)u#fSK~YIvU*TN#NvP@NQ-O#eoYaP~e&BcF7PxA^ z3J^gH%DySbX3O`#glO|a#7<>5owlu6OPYth5U_wwM-HQrJ&ag+A(oq#fjtbPy7#>! z7Y>-4=N{Z-RPDkY+*nN^ts9*|GqhM}pOOPXqZ!ZVK{M>_er8^X;@3e#0N?N)QLK@W z#WiH|^t(p)pa{vE$N64eEO1!lM}KL;P24d5k7dF}pU>e}X6f6NVa^7xp$$$F5_^xK zWqZhf4iea8>MPZR$?u8Vl0cRsdW>!l#VBw8Vo7FNNn^yB27pp#;igP*zfjY)dh*vf zZQGW3&-)R3v?xOATn8*?@^%98hob`qTf8UIQCgRf^ex_~5ky0BH;_K^mESM^U*LZ; ztnu%*@!Y7sWBW5K`3chk?~v7v%yo1uXqMh%fZ-rD!UViW!i7tvF;4fhk_g3i-<}0G zz{OissmnJ=8lu8X)r0sA|4a=^@hg&`b>HiUImf(~H~tNuN;AUcGw)Xep)TLU;6ID% zt95@dD_kqrLk$j0fyx$P8-;?QHje8F!hos5>#R01j`QP%n1Uy)TKTOF`=2ZY>fiX^ z|LOnNsQotchudP%KlWbV0OMNP_&$&%(~1h9`_mdl52;RU24lnkqj7{?Wv3JySK74< z-w!${*Ft3g!?dKd=e8JOFO)~P6X*y1 zFRDYv76=vn3DIrb6OnFvmKyjJD$h%2B1ehx+?-(_aBOOOk%XN-Rg zbFQ+1Pz&#(d-JZ}h5&i>Dkh2t#t6>YZAR=;=@}EgR0XMkaLHavQcK0xcM<{~S!~t` zbWsqG`8E)*H~cwm+q8R7;$oBxKb*dsT0}HnX*PbcV%Fx^Q@@vLOYDtSqM4%E&rZts z7;{OM+PFJebC!Qjyvb!ee7y39@84G;V|AD=B|TOSAy<{!!ibIhCT7Qt)M=1wVFqAp zziYp_thpF~uUP{MYasur5q9kS*FnG->?hHMf=T_qUQ&wzn%(tE?YR?r{YI0OuVXBK zEf(D^G?OY{9Wu&!Dr`R#G}{*~c*{;}*LX=w8T2oTWXc(|-u9d{TNj%j%NQ!VY7I3P zPetFG%hMOHF0?h9UqkIHtP3}XaNU0uFTQJ+>sclEXfJa7>Uf6L%v$pJ$}0!5{8}0> zZ>!>eaMv8K;ukEn4(86u)Lt~3w0tZ({d*WYr17A8SF~Mm+I;x2tck31r))G{`I2Hp z^ZxL!T+9n|cQB~?Lue-u7xVKbBM7!z{&~3q9`%a${pkxn2Z{FmO0TcLp4w;3GslhY8BvMr}*PTHBOYzvzOpq)( zo=bWcceO>@tvsGgIsgyelq&51HoEH&(MDydDC47kveh?7L$PBF$f8kRro76alBA%@ zqCzvR#@gKemp%m+eA1of@R+mIZfNk;f`)>s0S)k|c%Bn#rHLHo1u0bwu<7Ojm59#`X<;+F40f5-}uB}H! zW~yiRACR+=h)xk9Jw}u@ZH4vGewdO$E2|&Cc}F#GwH?9Fh+>*>M~%?n*QVtT^q{$Q zABIbO+nAmo_N{6UmutTiIR^^=_I3shIfGVj7#7mVqMlhKmLM7U56EVE@jXPMc-P{y>6I_mX**f5v%Kxd8w6Woe@V9I1EduAscEeLVJw21$ z@e$wQL4&P`Td9RPB5J3syD}a=`{G#sh!A2ATQW5j<3e^?9nU^j^&G zzJ%keThNRGVQp~Rr*M4hJ$XYg2fwfL+Xk0{b2~-lqi`!sBtmg)QzAZW6QN9ce;-Mj z8-B;)t4&0^x_z`1&b-w9_I0?1{jBq&(zY>dJ}(ibA21&i%XHM; zb^+w-rkZow(SBbK8z0wBAF#keOz?5pY`#yya{%9zWC07@w`j}qyGlnvL~s~WHReTW zE*dZ>%PAVC^d$>syn_UY@x#c}%prm(huGpHZX#k2p4MLPPl$=E)&1#I)yO!F@aSSV zEcwYcm&gQ)@(ULZ0w2(A{>t1v)!TCtbGu&pos3lv!Auln^R{ z^c`L_CQz#Gq}v`JYWFLX$B$q2I=EJbLQbo|?1?7s9G{lRb8_78ErLm(bqlks^SYs+ zM;mmV=3>x7X@fC(v`EiG1)i+DIx+*F1V=+f#&k!SR~*B55_GPa^^WX*)TZ~9B9jkH z8vm6O+(^5nMR~OEPUJ$noLJ(E>_0hrUY-n0><6hpOTEXv_8;RXj9x8I1rESAs%HN+ z;TFL{+%1-qp&k#r;qZSWM#MYcKy;)L zS^|GZr%^K~{RyCwX+Q-vMgGR!N#Xm}7{_MV^c^mW(S)rlSU``KYfNU$y9n}-(>GpI z9}M~&uB|HsMEfjoOAf%)r{&g(SM0N(DM1Ow@1|_rmMwwgGMuR`J_wjls$+rHdaYCi zFI_u-of%~3sDIjOHhkGC>b+1SJQP;?=m@=AX3ghV{5AqqZ_m}{_=eEueER~25Q6<- z*cA`te>(Hilq9o;3VrORy<%TgL+~k1jsu2VDMjh@cm zo%LX0OK>)Cds%IfNQOme+YrRDj!;YF`-U75Z=>pdE9=L&o$=Ie(oP06>f7ERtG1a#H8b5;p@`y&W~lnwInxvjMNXyB8dLhb0}^(-+00U9%q`pvhu43KH;g$ z4N8mF6u_JbXD-rJ4hg!e+=F(aPaB7LOZ+w}o!;vht0}B)R-L1E%J8rj@A%N*c3hU8 z_l;hMUL%UwG*NF3lt^PvSPkh@C|_Ak)H~T$c@EtL{n$)he|nFGchElm%{WZxVXhP0 z{o`AzeJ!JYPMX8|q&6$I#W5^=sjPrX6o%p#e>Y4&_vo6)LG*cL-VwAT`!Qxa@%T__ zOMvC+7|{}J*7Ll{Q-n)$zQuP1lHe{kF#fA2j(;_h>-=|bG~wSXX^3qI@T}+ycet|9 zK6%vHYJ1u*|MaSxGOVz%y{}1)bhln>9x=)<--uhC@V9&yd~yP{ zLoF#ArU0Om@+;!60Sw)vAzq)85>>2x)myKZqybYp43EP4fV}7X@h`_uCt4g6-CkA{ ztb)vmcW?pQU#pEiD6`~f1|YLR2Pe?Nfq%zF8&ahO=92>57`K&wpb(mBp@yA#-MNr1 zgRlDd@82_q)PGh(rjPa(**7g0EOxS!QJ*)cJ#Luqt%sD>KL2Dr+4D}7&oBRYOKo}& zF{OK^iw8lU#$SjxLNkbE}Mbi4+A0BYHObd znBYd*gYEv)80qs3<{z;CfcpphKM-1dz9DXyL35>;!7;W59U=Z8Vm8fGiae}8h?L$K zG&;6)AnzKKvHzGiqg*)R-??WffN49c6^2llr?VHd3PS^2NT4s$t4IM1u=E+LUzkj~7kIi7~lj>w2#uEivc+4@hJd;^a3C{Q|nX; z01=Z}QN`n}Zcvlz?9%v8C$~gisv6NdQXX&3jr7y=-8&XoF*TCpnP4e$arQs;+MqQz z8vdF~2(su{vySua7kZn@DdhvVhSAdGNk?$G%1wUkn%8ih6yIp6a( z9V= zvLC_LYgHms{_dKp))O#p3pWHxW#FefcU#cvI$z}^sobe#LdO-j`Qrio7urh~_4a*0 znEM`FuMS#YQ2S4_%*hrbw)(r40&Ekud>6)BmLR>_;{pDSmzHey^vP&3h+5^#;;z?5 z^O`VJKT8n?TH#EDhT7RLSrAU5;Y>S|F;fkFV|%jH+zezI6!Ls2d8TrH0?{Zx3245t zvMv{@hQ*V!e9J!)m@(Luxb91MvL+uXD{{_@KpJM^2x>t6f}a|xs(XiPT~?yVQxY>X zmmECqyQL(p`na;%-eEaErTRxyP-J$D1sfKdX%tr!$ilA>SQ zO1C?RGWlROt%N;*X!B%fE?;1(H*mhWRmB@`HD|syZ!xORJTUu@1cCgTk0mnArZk{r zD2{y?I2h85Zih~}4$Am>94&MaMo9g-UUBh~GYRHwqWsUPZ5Ap>B|%pilw zDzHVFAd<>@@;q)78N+(Yq~hldK7rXUe zk`1+Uw8n6Z&{N*pw;F}jC3Hn}UmU76^b!5xk}joPDgBKS=hSk0(Je#QTivQcSrJc< z4fk6}FyVIb9e;MF&b0E3#ZTEB(F7)MXYY*m8|=1j*0AsvTUe@vM&7w={kK5iXMvk& zCjW*Z>-kNMNKoc6O|M(-th#L7G+VWd1_o>fJKvdBHn~`!tZ<6y->JKH-JwMWpWj+i9b6%GivtNI?lzU51B|*bbapX0+l>hl?6G|Aege7>Bf3VL z-%GcEf*Bd5x2VC{<)8ufLg>rje^dCJ0<{^di%4 z#eBgM-StSdJQ%C}s_+Y@(+H>FN z7`4+y4#@RFe1=pdUR zB9hP1pna)qc&P7xzZwxaO>OPw@1lDb%_x+fFV5#>gDsA&x{(>5!1l50O36_8Uqb08 zRh?!NF6Z!jm>;2pHvuG4_v(D%1~l$f8zGiIufAw_*>spS2^+xs~N3Tl^6$}rxMO?`o*l*PL0vo_8)cwfo@ zVIs8gyzT{Vv!I-N_c%LEZONV^Y--%o4HZI;7ftd zPw<;4{x<{fl$dPCf)bP9iU)UpfdWdnOe(&(6k^G+?A|3gFTs{LWRf#F#73mv zPaBa5$^qu&YRqVH@{5P4o6i#02U;a1CP>4%ljQ|T`t}E3XYUOkATm@`+bNA)NJwag zoM*D()wni8J6z0&2I66xtoG>j#xTA8FexF7&G~<68QsF+ed(*PM1MewyZdo0(C$}v15^B|UGNt%d*Yrc%F1f5GwtPx8f<1gSmNl{d$(_a~e zHhTvU+MKLmAZ+F^#2RyYLVpCuxBe5CiW-}Z!L$4W@@X4=(AXgrsq zSkJ35t2PY3Ge2L9iJ zaZdV|PpdzMbPU1{QHR?VZGnjdR+B7tvN@8jELCQ(RtQKUQs2V9Co4>n-eKB!peLnb zcjD(BJXf%7%Bl&HqaT}RPW9kmbbOV?Ne`6_vY3r?N5%3VL2Tepc5)TzvZxW?vF7j zB!H!&Iue^)1{Z!zi3n`qB5S()u5d6qA(J>hSbJkHLm-1F&bn-EE9W*R2ApqhBZ;MEJD_dakHTU~S_L)L{EzP9Z7bMF z*cLeq*z@W9v}dnTQs$_W>E;NoBRX&OF)rai!lVYiv7u0r_ZDT&862WJemW(wW31IY zn_TA+iYlH&?iW#RKQ^FIdopa+M>=M05Dp751nsKqUDwsCvyF9h*od++vYv>g=p$(5 zsPBR;9&~g6urBn!*(K9 zsov$`8%#m}c9V6T&XS(m9e3@(}W;wI2vF~ zbouyocs%omC}-ico#Vw5_ec?mD~c+pGr9mz9W>qnBF2rOp;CY- z0N97(+MnnJ@k0oJ8c{wu)UCDcxa_lUTKKjUW{O?G_R2Jm|^m-e{;#AnL(V=)QK zp*fOy7-ajRc=oYz`H7&2HR~U0k)UDAqzKzf1@(zvU#QakI&*O}0Jcn$wNE0EPS;#T zfoya?X8g9wHFka=Bwmt7t&*=j?^<{3VdC!n7V>+;mG%iua0%KA8-O|;(7&Q$B*|~L zW0^{~QcJPS1pQfTcWO~-b<|~KlJ@S!5{qE9?N+;*MtlAY-BFS-pJB`&BO4V8MQYhK zd^%#HEs)?8HB0S3=?r_Mo`@|ZZGnp32SUtU#Z2dU6#0#WrF=U`FI@G^5RGq8js24x z;%5h+wKufUk#Hc2#TXFuu_E#Z4BKJbaYm`25UW6u@~3ney3$BIIy_VccOMIPUk#J| zkD2wg2FSkE8@yYJ#A!O}%H~%HD}a@gs8358%4E#}U&?6}+;osaJ)bBfP1CyJ2ZFWS zVmlu9#@G;vVZsvA;YfQIGMTRVz47VLsH5acz*NjkHIn8V9so5R<|ku&)izVQi-&rA z-rbMoRN1SjR<(Y!EJ5Kb{C-$OIdTCM--D`KNe&&QkWCJO@Z0Vnn0z}`9UX;K=-E0% zKbN@f@owg-c(1P|L;ezfdb7!3IY19hBc@n6-PZzD;Zm0*%4HATeLO!!x3 zgRL)+ehwEuQxZrd?kQ^J8-dw=Cm==}GgzJ9 z>Ok$X%0yN~d|n+9e4%k<6*Nq^q~ZPi^1N~TsEU|-yJJaDXs<1bm*oT6QG!#l19JlW5 zyvbVp7^~(=sh5qMk~8BM3WMJc*)z(~Z?bhgP4)R0w;P992;pXeQ#nM$r}f>B9cZW0 zgffA$afpLqxn&7G&pN0x?E=1|ra`SyD~QcePDBdEOrO3C#W@+)N`oYU3!fkAm^F|C zSdqRHMO`VP2x@IAMo-H#sk#@z<^1XTG=|!q*E4=VP#P6xN_>!lF#5`rzgk%IT>t z$G|vEXq($65P4SVy@Ns#Sun%w|Kx|6bQ2T!B=PQ;Ev|psn^RY&XFU=qh(m=!PZ4mH z78-}6hSg_R9hatc$5+*4CEUl0*>43OW_F^9oS}rfz5!l!$^{A|T*xX|A*B;`j$Q2Rp)K7q$2Xq|zuHaqvHPF=RvW?OiqLQT>U&!rB!&TEJu z@u=&Qc0VH{T~MuDRZxE6S3jjmP?FW-(M=Un6ZDIlRa~8|u#i-LKyg3_I;?BZR~b~4 zfG0PuJr}{u>R;yp)zj0t{P9g@6(0?!wJPhp;I#a|8_Y0Gl~2&ldppe?k2|EOz30|n zf@gB50+82wdPicpyX4n~m8(PP%UnCzJ@K4ar5ySdYeDTuL%SQD!ovq#+R34 zC!3IyxB``@&Oi0L%e4wFT%B%yFa60qK@p3G8(=nLQAazry1%b3N)ft0b2<&1jH|PJ z*s<1R&QJ=-y$eFJhoZ)WUL_y7hra5cma&YtzqJge1nR#L5eR*8qz!ZJmD9j5r&*Qq zq{ZXL><8_@lva+5aVD-td_;a}@nRQPql2bnY5I9S?M3N+qeEGc(h6f%=}|v*Tip6G z8)Oz|64e)^p768RHv}2MLY{dBwsVXP#%?7lM&hOzaIp+c<<9G-q(Y!Rl!#lvz;F&7 z=`I-IE*jlP)TeL9-z@tg^mn+AFpgmk>*4aF z>c__N04>41>M;yo!UgxJpdZc%RpN1SOac5yw5i#p;fx`N6w0wo9>^Qj0Ych^vwUsF z-H;Jr&;nKh)lO>~j>?p{3OzFkBCQWax+SwEPSIrTTlEc7e}*LydiO93NK>i)w7PIr z#sv~~jVHVULm$kwN8bNL^el)OL*N02KFuCQQ3M98OCRwG|0++`s?!EO<(C(J*5dY> zSoYNwn(JR;z{S8%BK#7+ypoB&JhihEbvux$m|LI(EHChPdtCR96E~-{J@%9YWLeN^ zBE~0A_)1YydB*Wj4$8NUy#9`G^$E0j@FmzJg||w2TJU`LroP16=iP2oRx9~q z&hNu&PI0dc5s4;w&*^vw<>XTYdg-x9Y+mO(uTR;-&(doHhRVT^Jq*i*4X^MS^#t^1 z5?qdW;dzyotBIsn#8Hh|8v{V$tmU$rtTloeVg1CQov;FLmaW_ZZu3jH4EF+zaW*JM z)db%RG0?TMetQoFt16hR=`l!u#k1YojeG8aQpDxBbVqCkQ?CY_zV3{_<3PIOX1J-S zI+Z?*L_mhc(~%2i$(2n`8Y&Uf9>48vUM8S#scSG83*$+%u`7n$EmSR@G(=xBQH5F+ z|7TmRSN7!F!-&y-?XmqG77`y|k`S~~@o!8vR>vF>Uc%#ZHEBkCj!Za?0hAqe0YVTLw*tUu*H}3I!?m*O&_YA~}dny{yMFV|Ts$7|7F{>FuyXId~QI8_UPX}l9D?L9^pHK9CO@s&yeVUHSg01sg z$ry~ar7S{5DgwfpYOsdW&86fvtiRW_pwRC7fuB)^j_}#TL{IwXiy-L-y>t^!bDt` zm)uST@G8)aRlc$ej@w)%yf~xqk!IvaLRvBtVu+st<)A&saiBd*co7EYaDn-VOYE8r zv}ABd$)6bH7PQB5tAVj9;PKCAkWGyR`Hl?hA&2}*Yn+rGDoXppgJ2<#3`Hgrj{8^+ z&hv)>?4CQY2=D!ba{{O@v)qOj6ToBnv!~|ee1f|mQ-5npi8gn(!L9jFgg%wySW6?& zivW`sqKtuYGyEVwx65mizSK~dc>jQ^- zGJn5`_}D$s4#An+VbT&|Fnb`@!nk%p65;f=;I5aILQ#i{a`7=(;8E}G$TDlxns1yZ zY_DckD<>G>y0k#;(1Un@LlP49J+3!Ob4zjpXMXQ`dYsz=)FHx+O4H=vDl)Ci`Xigu zM&CLnpU=EspaH~jS@Huqii2yKr4hxq(?6zu0YYy;MWLcCoV1+dO+_M*ITu)yeN=C~dZZt}%0Bl>CTDefDRP14A7{g;*}`afk-(DiSv;NH zDLjag+->Pa^abv$N@!|DbL>BgBMQ*<$8kQ}o0kvJ^4@4AXH|unCui|w{30$r?5&O!&S%0*{daI}uiu3us)f_AJ4cO30r_jlO9~?>Ld1kcc}R>CEXSv9k9C zz?DZ948py+;e-7_=3^Q1I;25m3eCyUE5oqPjOoV7|6K~=&!SD<6NY)ZpDj=x@K zk@=LuZ}RuaO|;+WSVZ8cOrK-;yb#vqWDItXeBMe?jwXr->F@O`>m2Jz03&glx&}9% zxx%)F&fS)}hCOLbAGB$Pz3O7?zcXUCj`DI=^1$Puk@K?L<^(YU?Be>I^N)h0mMDm^ zcN7Hl?|{HIGt+bAUz&qEkbLsD1fK%4wiEju^*KU;&oefR?xXG|v6t?=;xyd}!oK_6 z+wTfO*nHL|@cMpt-P>l4NCthamsv`(AlpL5KeP$l{w^_n^K%NU*p%FE%bH~qf7LK; ziNUS@H;!;&St=k?^Kkj+6`-bNsCevQ_^S_S!D2h7z-F^Iu0o-E5{R#hLknv^Wd(D2GM=QFb}{5P+=|u>*dbsqyV|_6Az8N|K(sfZiy=P?pPuN^MAhk{Odh*(j@ZFbeR_Al%&8tm zd3IK2ZM^^Q?ocb|5`d9_Ipw#sW1K&lQ8DStvayVN`Z!+_aSLDR+Xs7asulzamrxK4^s3Df)sWW3U%5 zq#*EQU$001cPkVGq-!i_-Sl??Bzjog&eZ>@f`mv1Sggu2;R6^BwCq5%$El6K1Kc8q zOxk9}Q5tEhm-epiL|5>$!AE=F-o$slRVn_j&WIUl3m!T)U6ccf5ymbvohlL?r`3-G zi3{^nnXQzLYaHn{QbtPZlSc4ICKi35PB|Q{JQqX>E%tef!WV(7qbKPD#y!*M^?$vc zOCY`BK%=IgXd$t}O4of$uTMw9X=TwydM9LkO7Tkja3vGFm?hq#tH%25z`UMhggy~5 zOzya!vi6#{lCG2uk$_N${ridgzd9QyBnDJgAIq7`o|ZPlT?@NCw5FcR{=I{2MJc@E z3`Oy1m!#Oc5ztzbbj}deF(LoZgNGeVXk@2)>AN6CWVZ@;Z`o%sGY~U^Kb^ z(j_#p`vIm%0}PygzE&gYs%1<+h;st9{T5m>H>&sNu$5lxSZrqU=`^{*K3el1!1f*= z_&Nw)-~IaA9yT^N__PZ-V^f(e^eM#JIL>76;xC7Ut=Y}BX?U}fq#l23X_mXQ%mG2T zG>d9}FMPkz$=O_}?DPXDbF#E*OP!>aK4ug<)y8>nugsKubZhqK2J7-hl|>r}8#b41 zZ>*wjcQa9IwXOcxeoE0l-e+Zmhu$o}|70}Vn4Q5L^lV9V7|?FqMcz@S8ifhz8*C}4I6sW~2Hc=!$)X|~%TManU zscR@5ZeBOr55%3msT%$za&iX>KzzYnJkk`ZSPSoueu{wdSU}gtFj%)1Qi@!-g1tba zE0y$-Wu_;eg4J?-I{Z=4XET5T3aQ&isfwIwV6Ut0>XUVKR@){TuUf4C3azH?1>Zk{ zt_$^DI)Mc$-0&-OU8%Imw*Dn@{^vtvA%S6BI?T4CPDAl37PZND{YxaPMB5|8;NwxZ zW-s_IfgzPVD78zR?aXbQAC&8-8v!sP+IL8l+gWvKCyc)VCrVjr&)RF!=W1gbznDrC z(}c)Y>wnPU0W3+r~+0;a^T&_@FKJh!hRaTIB7? z>PnbN12BJ}OzPT&GV|5!Mf|4vwD55AQBtT4nLH=6Jp1+h`=n3()oo5Pl=B{Zn{vAL zA>^g*&Rh&U)tca~OwEq4smIJUY?bS6$>e#Vfmg~KZn0V!y_pQQ1cJmaUWnEjKa%`| zWgjUDv-Ai6kRbfq(Jx}IiM;MIV(+v5xkpesnR|q(;$!-;o69v(UpnSyVN(V!`bTts zoc34gePLGTrM|W?qRQq7e@>?hK>91zk*K193A04e@Qp8Ke6g#(TZ1%~n!=X%GVtw@r55rzXM&P4_u2syd`5Z<}MBK4Gw zG@))Iqi#cQHZ#Buk^jR*vC{GN{d0~-;7k$f?5(CO?v`D>oD%5h`P=TXb@6-eg$Z*Z zi(K}FiMeaTQs!&=6FQw0*JB=K=BsMm#5;o??Jqg<$W(Mw4j z2^ioD)bRY;$suUy`I)+VF;XlcZO=k$4`mnuL5{);#W)R{gPQS$Jdt%W-lNSBXF{H` zv2hXoXm?skxDAt3H*T^Qu^Ol**{JD!|JTKgr5|{33Ojce800J3)epoq{%&e_W#9F) zyHL66y|oQ?r{~+dR&?Oi>$xU%L(%BsNcBTR&fhCG<7E)I7x}Th1lZwf>gXbk_`RPM zTKv+9;u+@7S^+kjXTD`rslNbkd;SIVL*ORnn- zEvA|l^l#p8fbB){h96TmA`y*vP2Us9(zWRZ2FqD)Uz1$|Ymf+rZ*e-scm92i*fm{S zHA(kg7-!ljK%4$WO5cxg2SdMwkuQ{2hb{GlV<2PzrQmEFv&1fKM)L=Z~f4Yf@Ao>J5+dFvSVC-NP$F8DkW$6@M0wiair zS%i6UH+q)d=3W2P7KVlwLiUcc1!c-P9j#UeDQ_FGA%Nl~WnpO_*$@>e?El34|pvFg67NFwDN zR*Ppk-OlpS?iZSxJP~vhMvgq;uB&Puo|s>cdKP^@@9lkAD%n^2vqHO&C)7_-o8n?;<|6!tU@AEPYir~nCN#inICqJV z+)~LikP0TOAR~wRC-(E#T?fM_w(en(5$jJ!dWwT%xyVjla2YU9qX~qjX+C@2#2_&! z8*<7}<~Vue{;I!&o)lIRW*w4kM%iF2t;<|RPW#22n)R>Wa%5|ar@)`6&~{4 zd+%WFZae}4nV|40*j8<&aBbHQ0pZ2KiJEM7=BgY5v%juYA138swZ`hjx3s%mj>Qb? zt6qbHgTc5Ep;*9nUj@v0P6xMFxQTxvLzbCBt&&&f|oE?la2{J6TH@ZBt_G@1b;XZqQWkc*PE@EuhJS3qj&@%x4nT2|@&v@xF=;4KF+ zYpUF%ARpH0r@CX2T4?*0+Ho63yg)LT(SYXr>ebpI3TaM1_}VZ(XZYgk{q)-NP8qv4 zM|{habhn9u2N@Dky`YxWH=u|)!}7hKLJ);-^6AyYH>|JnLD&#N0l@NE|KDoTy9%ip z6DCJFovjOr5pD$h#q+<%o?C%kNc_;yEa@fPNDOczHNIc}D@X2iBmD#UA1MDo{Rdj> zUN<_THzE%w9|t!NNBT7{2I>F1XvO8jpg@-9=H--;qZIl7rKEdFU+DbjO~?u(5oCzsBTdeT2u zjanvWu5;69|G@8~s2QF_;BZ+uy+*oB*WDHaRQh;fif#qb%z%vs2HO&sOX5e(?r(a$U_G`n7hvhG7 z+GhIC3>D022eoAtr7`ktYm6%h4ZOx>sa%zppL=LpW|kyjf$Rp~Tabii9twzn498L= z^7EqYk{GLy;_8~2hft7M6Rhoc)4M4Ym}6CRRgxpz3l7W%7OEo$6Ez7pk@U(n*~~i4 zJHevd~ zG%zukt&RkU1!e}5CzAhqCSHXBi*dv+g?WAR5*G;Oi{?`m20_!$wiFnZiUQCJc6t^C zR|mH3c;3-f{ozEyykNoDU|fZSDJgg`HJC>rT1U1+!XK4Xel6H5_W@4ed+DWj`~z-= zC(W5jp}frM%)Ql^6mErS~&y9=9>JtuxlP_k*J9<1-#g@5ke|f~%hm zMC({=;j_AHK;#eFO+ih2O$LlU3Je!JazqYk(eUJCQe#p z7@jDxmkU9&1zV)4bTXn{E^#`%qf*o%G4>o)-#t^DB`a-nwb_=iLzJ>wZ(hkNYJ%Zi z5GM?uLDx;jZOCc8o-VNKaBiHLHCv@ZfGE3n^4|+Do6YN;Vpc>|S1{H5Y==m`Uw2)< z57UvS`+VIUPy5)@Hj0%L5xe?!K!a!ZG-!dBpe>?vP58$Gddu$l>8u^S$ERxdwe7&G zx6EWCA;Mi`>iS<6g1F`Lx%}gx82PKu`CfejXjsg6ye#HAaahnekKgh6M)%%0cE3Ks zronG%y^);U*=K3_5;`mAHJHAX9Ep2^qV8=l@1%%_`Z{LWR0Nd=y*bAbz9YCh#(EbQ zjKxfPSpO}r|!9NhWvWGqMHK3SD#S9bz4y%Uy~zksM4TW&ND;8X(cj z13eF?jI&zhqrXMD-QHUf(SQeTP&6HZlT+$thwg!U!>-dh-ggpN2@Zq_LYhbqwhL7r z;6{65<}iTKL8=NOtTW$Eya>^TVM7A7(O!XJrRnP!p~K)16bW0*&r3H$Bw;oI0t}9= z=9lAs(3Nmsv0Xm*(m|*HzrYXT0}#Qzr3 zW+Dnju|koF3s4J@38e+c6C0dl2Lt=-rQ3wJ+1hMCgN78xm7fetxQgrtnJKoaG}Wvp zlT@vBo+04|jbp;M6^c5(ovPX~+TI_k+LhWzUgh?Ur@tu5?ORW?Kh(8bPHSJZ4s_N; zi!16@$J#2Q7rWo|v={9$a<#P^S4}o`v{iq_C0r~ibUedqPkJaoepaAYf^Ls0gsLGO zJr$>*2DwkVi@>-O@ru*>q4lT=V+WBBPVK;@Ht~{*En<^QEnd?&eo&eH46(DQ7O!Po zt9YvZ-i9;7+u$yhkf z-KlhF1q{4&GzAPK{r?Eb?;}*=|H&zW@Si3WLWoXlDgUEm|53o)lXUnJKrQ<7B;%dJ wn{Q1O*~-b%-NVhw4EUeO+1wu4-NVey!^h3a8d*?KkXwKYnT}3YRSx<80N$SUdjJ3c