From dd2b5043f0e10cc39205289c54890d4a1b9226ce Mon Sep 17 00:00:00 2001 From: Florian Knoch Date: Fri, 1 Jan 2021 16:31:12 +0100 Subject: [PATCH] Add missing details --- content/mathematische-formeln.tex | 14 ++++++++------ listings/mathe/align-example.tex | 2 +- listings/mathe/align-example_crop.pdf | Bin 0 -> 45806 bytes listings/mathe/align-example_crop.tex | 15 +++++++++++++++ 4 files changed, 24 insertions(+), 7 deletions(-) create mode 100644 listings/mathe/align-example_crop.pdf create mode 100644 listings/mathe/align-example_crop.tex diff --git a/content/mathematische-formeln.tex b/content/mathematische-formeln.tex index ad05267..ba63521 100644 --- a/content/mathematische-formeln.tex +++ b/content/mathematische-formeln.tex @@ -1,8 +1,8 @@ \section{Mathematische Formeln} \label{sec:formeln} -Mathematische Formeln können nur im sogenannten Mathmode gesetzt werden, der inline durch zwei Dollarzeichen aktiviert wird. -Außerdem gibt es eine Blockumgebung (vgl. \cref{lst:SampleMathEnvironment}) +Mathematische Formeln können nur im sogenannten Mathmode gesetzt werden, der innerhalb einer Zeile (auch als inline bekannt) durch zwei Dollarzeichen aktiviert wird. +Außerdem gibt es eine Blockumgebung (vgl. \cref{lst:SampleMathEnvironment}). Wichtige Pakete für mathematische Zeichen sind \mintinline{latex}{amsmath}, \mintinline{latex}{amsthm} und \mintinline{latex}{amssymb} der American Mathematical Society sowie \mintinline{latex}{mathtools}. Wie bei allen Umgebungen kann durch Angabe eines Asterisk (\textasteriskcentered) die Nummerierung der Gleichungen ausgeschaltet werden. @@ -21,7 +21,7 @@ Wie bei allen Umgebungen kann durch Angabe eines Asterisk (\textasteriskcentered \mintinline{latex}{\sum_{i=1}\^{n}x^2} & $\sum_{i=1}^{n}x^2$ \\ \mintinline{latex}{12 \leq 4 x^2 + 13} & $12 \leq 4 x^2 + 13$ \end{tabular} - \caption{Häufig verwendete Befehle (Wurzel, Bruch, Summe, Vergleichszeichen). Durch \mintinline{latex}{^{…}} und \mintinline{latex}{_{…}} werden die Inhalte in den Klammern hoch- oder tiefgestellt.} + \caption{Häufig verwendete Befehle (Wurzel, Bruch, Exponent, Summe, Vergleichszeichen). Durch \mintinline{latex}{^{…}} und \mintinline{latex}{_{…}} werden die Inhalte in den Klammern hoch- oder tiefgestellt.} \label{tab:MathsCommonCommands} \end{table} @@ -39,7 +39,7 @@ Wie bei allen Umgebungen kann durch Angabe eines Asterisk (\textasteriskcentered \mintinline{latex}{(A \lor B) \land C} & $(A \lor B) \land C$ \\ \mintinline{latex}{(A \cdot B) \times C} & $(A \cdot B) \times C$ \\ \bottomrule \end{tabular} - \caption{Klammerungen, Quantoren, griechische Buchstaben, Pfeile, Mengenoperatoren, Logikoperatoren} + \caption{Klammerungen, Quantoren, griechische Buchstaben, Pfeile, Operatoren} \label{tab:MathsLogicSetsBraces} } \end{table} @@ -47,7 +47,8 @@ Wie bei allen Umgebungen kann durch Angabe eines Asterisk (\textasteriskcentered \subsection{Mitwachsende Klammern} Im Zusammenspiel mit Brüchen kommt es vor, dass Klammern mit ihrem Inhalt wachsen sollen. -Hierfür müssen die drei Klammerarten \mintinline{latex}{\(\)}, \mintinline{latex}{\[\]} und \mintinline{latex}{\lbrace\rbrace} jeweils nach dem Backslash um die Auszeichnung \mintinline{latex}{left} beziehungsweise \mintinline{latex}{right} ergänzt werden (vgl. \cref{lst:GrowingBrackets}). +Hierfür müssen die zwei Klammerarten \mintinline{latex}{\(\)} und \mintinline{latex}{\[\]} jeweils nach dem Backslash um die Auszeichnung \mintinline{latex}{left} beziehungsweise \mintinline{latex}{right} ergänzt werden (vgl. \cref{lst:GrowingBrackets}). +Geschwungenen Klammern (\mintinline{latex}{\lbrace\rbrace}) müssen die Positionsmarker als Befehle vorangestellt werden: \mintinline{latex}{\left\lbrace\right\rbrace}. \example{lst:GrowingBrackets}{mathe/growing-brackets}{Beispiel für mitwachsende Klammern} @@ -65,11 +66,12 @@ Die Umgebung \mintinline{latex}{align} erlaubt es, Gleichungen zum Beispiel am \ Ausgerichtet wird dabei analog zu Tabellen am \enquote{\&}-Zeichen. Zeilenumbrüche werden durch zwei Backslashes markiert. -\example{lst:AlignExample}{mathe/align-example}{Am Gleichheitszeichen ausgerichtete Gleichungen} +\Example{lst:AlignExample}{mathe/align-example}{mathe/align-example_crop}{Am Gleichheitszeichen ausgerichtete Gleichungen} \subsection{Mengenschreibweise} Manchmal ist es notwendig, im Zusammenhang mit der Mengenschreibweise Prädikate unter Verwendung von textuellen Beschreibungen oder längeren Funktionsnamen zu definieren. +Im Mathmode wird die Zeichensetzung von \LaTeX nicht auf Fließtext, sondern auf Formeln ausgerichtet, was zu ungünstigen Anordnungen zusammenhängender Buchstabenketten führt. Für diesen Fall gibt es den Befehl \mintinline{latex}{\mathrm{}} (\enquote{math roman}, vgl. \cref{lst:SetBuilderNotation}). \example{lst:SetBuilderNotation}{mathe/set-builder-notation}{Probleme in der Mengenschreibweise und ihre Lösung} \ No newline at end of file diff --git a/listings/mathe/align-example.tex b/listings/mathe/align-example.tex index cdbdd26..5ca9fcd 100644 --- a/listings/mathe/align-example.tex +++ b/listings/mathe/align-example.tex @@ -1,4 +1,4 @@ \begin{align*} - 13 \cdot (4a - 3)^2 &= 13 … \\ + 13 \cdot (4a - 3)^2 &= 13 % … &= 208a^2 - 312a + 117 \end{align*} \ No newline at end of file diff --git a/listings/mathe/align-example_crop.pdf b/listings/mathe/align-example_crop.pdf new file mode 100644 index 0000000000000000000000000000000000000000..aa9a22d09459498e9c516e95e823f67350eb1a82 GIT binary patch literal 45806 zcmag^Q;;r9ur`RcZQHhO+qP}nT5a22t<|<|+qTWO=i77s9dRb+V(OwIGb{O2-c&}B zD~US$&TBOn0d>gHl@Y!BnLNqfwq#snlH3a(E|3JR{z%IX?^tjFL#rzZ-Y;a4Zb z0AyDN(FSAgVD^73{-gdU8uR~OR5foWb0S79MH3ryQ#Tk!Rd*A&|63yA=wkn00{`v* zw+1r|qmr7q7Q=rTnJXCEn-ftnFxpwWx>-9|x-!}uyIGkt8rxZ0I?$VY8QVMAnH!qA zI65&nnORW(A44T$OLGNxdz1gl`Cnhs4i=7L)~0Smod4yc0>daG;^;-B%k&?^&dtui z!pT9z#m3CQ#jOv+sABHw=H04vE;5uA^v5Z>hrWG1;kIpH<0->Gsihc zluYFZ5*mc?mI4kb``-;Rrf0GaaBX*zMf~Fdd1!68RnQkN1MU-N*l8;URC*=TaR_v` z&$eJ6vDPFXN>eLso|mjvEz9uh3{LM#aOMKPAtU*fO>B+EPvP$BL{S1WXEFBd9E0-m z48e-uk5myprQ%Pss^8oKD*OFMy>v#(sGgGlcki&U{)gxPvt^lyn7KHZ{uf0SA{G`F zcFzB0|5N{8l8A+s?SBsbzq-1)(_Jk`KSLl^b$chItE;8G%eP^lOv)+p5RLZsmZ7X& zms+Q=UDuhaj?jNM%iHpl^EZH&w!^iq_Ke5(j#nF+zAT%fx}AI-j|vn*Sc`juD-1|x z630lA6^RnE8e)EPW?&k;e`IuEAXHA4_5y@0bUj2^#R91iDTvSnRH-GXd!yId$q9;N z3B)XzsBkK09>wSuTnR#Cy16?yC>IE#DGua6s%PSN)LZr2wvMirysqpY#mof26A?%uhl}`#PaR_-l)mLHM~Apzh)yB4=|xPHM)wv5A4wZ*{!c1gwP)t+h3b*$;%q->dXv^%)}mOq z-tWlE>T>_U`t-g>X#wHl`T}s={+_ef4HB+vtwUN1^acZ|vBM7vZ1Vi^wP-C2WHNU~ z_r|uCr`ITJ8w72j3Ef)Lu)hW2pto7zPG zVDwjMb>tK7XE3<_bu``z?I$2A_!TuWhiz>Boa!mdLG9ugU)_MGVtgUIbVPdWW40v% z>jwtn0S(H>;J6M11*kFx8qfCK<01zLC>T)&rDcWE&d;sFyn6`0Ir(tue`Hwer3fm-#K+5(CcGLvW9+> zH##TReL(0}?1(Wqev4lX+xdpCYXKv|s|fvVrXP@tfGrgS$CfXSK)c^~Mj%>B#J%6- zp0u)XeyHSUm<-JQp%0DqbfLMxXz>172oTX-IUofGB*7r`b?}e7;9l&8-=>GYdqF6| zGu*>#i_?2UC`Qbn9hmFWN5>$-egvPb(Li9n5Fn5HKtorc^}Oj_pABHE7soli+~45N z?}Q+}ZO8hdEva|Lw{9R0%|c$JXUDKJ_=cD7x6c{W;ZgASyQpqQWMYE-Kwfm9dS6g| z0Qk3}#R@qu}9 z`!@lo`PX6X*MgoH`1RTNi@F7lqDf4Nrg5_mEA7sg9Rxb=wU`^^Ui+9?KG6`w3j#amacA5mO*4}|q1 zx?jdcWE3zVT!_NIspy5kXj?12lA@V@X|iPjm;{iWFCLn9@Yrn*WKF^bqwA~1_MyAL zKFfMruxz1hjstI+Mka^g@4OXsP#82Ys8+_(Y-&6n@JCy6>pJP<)$?OA{o$3yDCa36 z{`c1I%xvL*7$YYr4?B22hK7{u)8*_@Xc{fZC(e3p2D5V@#k$S=kKX!Mf-TnVMvOR| z1h$a4wmuzvK9E^t^lkiHlR_#YE>kR0fy(8^1(qhUAh~o7nw!jKG~2)n=@@WS%~;-o zmrLW{z3rK3qez;1OLbM7gl(|{C>l{k8xiHolEy(Q$O<0>hBaN}N_; zB3KQ&E54LF-B-mXh7=-EQ3fIQWf){?QFyJeX^VN@yy-gCuk??uO1AY6-d%tfIES5H z)lj14=J~s;r-GjXIZ`2neGelhqyiy+o;II7H>VP3RPDA*P|}mj#JkgulHd55ds-B_ z72(YdM=&>>iDW6OMNA(cY?@`Axg!5~%sMx&ArYo~?af+%lAlLacJI|~O$OVyIy!#) zFxVbU;FFK=;Q9DYV~RNXviLbcSW?i({K|p1Xi~{WTe~KCMJK`kBiF5y95^xKBQyAL z;t%DX7L|~v7C{0+qE)qM+*75sM!tx|wRB^5{(DJ_IY+AP;DC?vC{c!e|m4nk^C;-f|Xh3(&V|D{pciM&}zrxvj`L^{778d>#5$v(5F z)=3e%X(R)ZHIIPIk9tc^L@^2H^EJPw1CT94hUb+u!KE))lGwJXZqBH`PwI&Ak2_oLLE339< zEMYg*#Mst)*09CF|+a9$Y{RPe+l$jA2y~qvqo4)b>^u%dsg>V|q8E z#C1+x1JY5lrAM)XN`7yk#7<{VBLm5=dYCiTsz9WPwbm(Pc9upI*wD@AC50l9HFfxs zXY!9i-Fa}1dIJ0B%iQwwS6m)g=25M8cK6|uE|r%*IVzmki7l$u4a{v({#1wUZZ;!_ zT~P#CH9}v@jJ|-o8Cj{J7+({cXBl)I49{(}BBU_yY{3=OLO9A?o`);H;70j`!iE4d zaP34*d?|G^Qq8oHDT8GAoIs?V49HEb&|#tg1EvL=c!L!u?Iw8 zt8McJpKRp6w~$F8crjQt2d~XUL}zZ*nC)N$aj#H662{ZyQN#{>U8}a0KW5y>zdp!aCqYg zlZqHEVsGRN4bj~+S$`hw#L+lI@*3g&f+hG9blT4hTfptphw}~k1-e|#c=KkGog^VO z61H5evdQ`Y?(|nK(+KM!XR`N#S;kfv6bn2&9nW; zu8|~O=l9X|BrrRe>LZR(c;LWNyC0|IuuKZ!dQwcZa^HAXD5JEez-Xb>SA-x?11MMb z46Ah^N#YBLR#x6QgayB=I`vn8No~+NN}amN8_X=lXN#v3bL-|QzN&k`P<`;7=pD8G zmNUhh64+HDFKdyxH&Bguc&k*Em#8fz-f^+*>Mm#OJ2ktt9Pp{r^DY4fE6@d#8r#8SrFY5Sg8J> zxMsna^LauQ_TIIC3Dom2qp7iKj#G$tuAy%@cECNg;nOdpgs7UFwL#Lo!uUeHUOSAK z%xkm|x9;1zOEwIt@Jtz>8C$)!>Kw7UhMK~lw)PLu+}MjJwm8!>Z2NgGiKRF>^M6)- zJ5lz+jy__}Jx8JCK%>{b(c{7jp$KsYAIha|Xk?!lAw{ssI2M=n5!_M9*il){Dqa%* zafp{2-!OGD9-e#G`CPH>Z~;;>p6%dyVoyjHg{@`X{~qacx*mfqv2qeS=%2g*1&{Rg zMS&(>dv*0BZd;gt))<3`&8Xp0Npqi4BS2(~@lSIfwrNj02tVdlJf|3e4Sy*i4cJ)6 z#4CX2FrV?%{=>48a_^8YM#In2i?UYCPs}U^mS)?@XvVka%w5BAFuaey_vVjazs48N zYT6(g)8Z&DPc5mq_lrz`+G^x%?U9%)`Y*?8i_nriNn5(}$~ilF+79F=-v>@u7Ij;j zE@Hsh*Xe4C4BaBvXVZs6_ktF|mZUNdb5IaR41Nk|D6y}N_)YXacRp?uKGO%EDIL)1 zmOd!C0f;NuvI%XxWVh=?qwR(gUF+dU3(MRX`Iizb^6rAOa7+i0^SUcA;zs&ic6BaJ zpzcFUv+3NTZ5g57z7a#KVeDLIxQfNX&3C~FG_W&4+8((6L9~Uqm`<~7Ps^& zKGiVwk_t>MV%(n|Q;K}TgmLzWqW!BUS?JNSn|$lR)iUMTmtOZfWCaiKwFt3k@3yYr zcAUCGPe(UO3kR=tUA`%@OCF*%*@GEH&8^@*IRP>#!5baWX)9zgCizRfJ9_sC;J0ew zPqw-xd`N&@)!zdlTo$~V6!+s!#l}N_P7cCY70Hp_wfPq^TO5paL9D>S{8M%s$y4GBg3*g98rg12xk2p`;Z>#CQfY@||g+x|!N5 z0dJX?hqBIsq?er^vJ#Ka~M;w4fLU=Pu1E{ zuhTxi$jNK<2DQC4Y|JHzKx6dWUS<^&BU~7&q2(=7U1bx`Ce|vv_l!}hkNJ>)9qpK7#W>*iQ3SmA#wi<NSAAg6{|bl-Rq9?1Bd6PL<=; zMOZVR#JRl`Z%T>YDUv0YBkX#%-Qyg@~dgC-pd_sjf1(PD1zk))j-OvFrzr>As z4qwXJ0z5!&faY&Yhti-+dQgkbc-S5bal-C9v{T}9wBR760#1h8n6)mDU!?|6lkl5K zeikC=r;C@A-42RBU8TZ@tIkjW&Y(?mG(yDhwDzUA|im8I7FY$kh1} zF9b)%*`srl&Pqzem1UvOVJiPhpn_pLTyM-PMtWJx10LK8pxd*lEG|kA8v@*1QiS(X z-*V!rQ91r`Pa z7IqrCr^!lU_@*1KpC%RaY(y?#q6rf~@j;>?zC^sxMLN9u{TE5zs)dEmHljR5+lxc* z-D|kTFO#TjJOPF-_r_Nm_Ew#)Fg#^H2UCuT)rb;CZnIb!PHc{|{i`R z!39&=5E&P(j+gPzL)x9W5^OzOc}<(i1`HIJgVNoD#7%4Az;_E3C9=~|9&mh3dQ|Ub z7`ycL&$^I9k~3%{>LU5QHnvq~H!)0RZO&zr(`xK=RTMTS;!32gEIOeUW{$cDdEr)$ zA&paJPSdpR@N+hc*xQSCdTBbJp?@-3**KR$C7mH>#rby_V~A?;Y+@bUhk)pS9#%15 z=u@pl-jH!}KHy8Jw|>y`77viH4Th$D?e|9a((1l;a+3U`%@_vn`NrmB*xAG0E-DVT zhj)AvZEBu_)>!A9WY-#UGuz(Vm#ZZBx~*}6jNQt- zd_=~dr=)32pLs&8GwBub6*YZjfZH2Rj1RV93V@l0wuCMKB>tfOAvU0q#v}7#4xf=+ zaTPQodj%LYZ&T}#Vjrl{-;I8D(uxV~ks7%42 zGo6G6rcf-y08DUarog&1s3c3{kI`{lQJO}Q6lphJaC}gQUr;|m9^N!OIB}r-m~1&2 z6a8Y#y(N9O_|8D7+LxV0R5~~K@QACEJ?+Nb7Qm&~l2qALARJAR0DZ8t;UTAqaCuXe zt5x-Cm>@7si&m5**;$knEs#_=^tGX0-xD1=67_!1y0QbWpjwE{2roZrKle1^ccegL zzqMQ7QaZb$irBe7R!JitSQK>j9Id#1n*PCo->a$3p{JHRB_w!!@mq@yP2(+#Ni532 z9y-sx?GnlYIwxESNg$)BjG0q1+8{=$?SOCZ7S(^;eLM+4^V8A!uHzkH3cT?&ZYBWmY{V}N<&;r@Mq6VG_edMUWp?*B8gJ{I4f@dV znB~Y%5DZ#ZSu*!rWO2uKF6|E}W_AE!^COw(Y26X1beqKKF0Pe8kcstw>Wtg6*)3oOodKg%{g z*=u4?kn&yE{WRr`!U{XP%NDP`mrXWdb6%T}SE4bNtO+fi#2Ne~!<1ohKoWm)k}}uM zJJ~^5on;0(q1Z=?OiOde7r!dVW^}|Y_L*$w4M<~W#y&1q3D&LQ2*UYWw`$E+U#=)P zA(*i|S%X%k7HcfhSzT|+eQ!Q~UK&NIwW0BHnR*;5Wq3_7nU5_4R*1L-lE$8Mr4%~< zFz*?%l9kC)C-~uSO{yia`H4b5k*3Ff{|@!Bz*L2yH?VNf2FUrGwtz4%7*}qEGV&S~ z)amRMM;$J{wVQUsMlLJWdTN-CHNZ!uKKC4tJGFt~%*|)L^F9nU5N(%?V#Kb1k6XZG zNFurr+@G=`aqnoF&pvmXkEIKHERQ7*EKrjIn0k;i(^61IvA#-BTe+2YX^_E>^96}@^%W!@A?W!xc{(ISZ zo)cKkRWa`4r_dRl^GDkS;sSSGcl(b(2dbDGU#XA2mb%TBt)$xEg3cVxLOJH$>NPqw z_#uX^L_atA0}9G#3bUJ`>?m-+|2FauRSm9ShtVpgY~tZZ_0JMGNAifk%zP<2_g+2%VM zm_A2$>Krqu`C7|LuRYg0pm=%T9i3LsqQo|ZNJ*J@v4HN-d`V8QD(khj#>^x|J)FN| z0_Ojz4n`tG5pJfT2-ZtCLwn5Hj@g$G%TXuf)mpHIW?)b=5`}kGRYcN^9H0Ef>ed() zj#;mEx0c_kgKenFksX(q>@jj}pytDo zFJhzfy1tYm`jes!35mFtE;uPL8e{7tk)^ReooYjJckug(T#mIbz1zz~!*0|wUGVtJOQ0>98Z)&1yx z^pqDA-;hKbW!sj~@C70|%ap025N5p!`N2EEEdx1mH{*a%qndBgDa!p^d#{(IxcM3b zWs6DKF)mU5j6)fJ;S+3NNFzPcXT^*^t0ZvLag0CazXYZ&geB#O?|mM7y-1+5NbHw# zY-1tcFEAX{fTK2y((4+jtMR72#G3z)X<5-iVXa!Dr!gi#&XQ_SIxqgO|A4!3cnih_ zO^Xdem;T(0=kX{Cc);Kg)!sb`zL?&(9HLCYAOnn7{#{i5loc=To&L$oVKANi&>sKVGH9(bE@nIPm8%N#Li zh4#0UF){Pw!OthB+#{~}j^IXF*IttSX_jMtZnGVZ!NssPoGKG|F=U9reXUyLRS_!X zceCshIfAhj#`&iGLAxAlO&hXOGH zbE93Fi=k~us@S_lD$=WRrM~Dqd;EeAJYbV8Vx7BjfrqTmfCS&d?IRg6V+MUyH4efr zh_nD>?4!lZzMY}k7)k1(!$&#ZSKzDpBfS=S#hzZjs@1Za>j*w~)}%uc%RZ&m!2!z3 zs%mW}QOt-Gn3q)#yygq>=iS0v2P^zQZ(&$j+8VqeFow5AgEh7+ZJkg-^j*1b=!~fo zeMsGsYw8irBBznxl?xZF=8PmI(eXB>-zi6;5hl_jD3e~ipk>%4=A@O-o4dcQ;{8k(6!oeXIv#4RZEW-tt zjGvE|h^{82naiil`r;=R=7IB78sOgXlS6T)4Mh!6sBwvlw8fXlqEw*Y7+zx_@!{>0al8G%0b=aKd(qn*R+yV=2u{>G(!3gEd zmhe%u6;p?SiS-soK2T4k`B8UsNRr*K6q_)KJM`+&CJRVY7DGP~98AlX3rxa`BU-!O-#d7Nb{)GMjv(&%nJUeF>G?IngHQ$Nb;Du` zR$Pwy!2+W=1m@GvPoo9`>)oji&9S2$6vXXOAPgorM4Deb3`0!!iqJ}Qh8r83km~Cs zK_Ag$@l1a!IZ?Bq2%rNa43H7L9N6fHWW(Mf>y5(Yf%h{c{tkLDf6Sf{D?*z<-gap?q7if z1|hklA1AuK8nv?o2@QXXN>M)?jP#=01>T`m7)_R9ia^6x`z4%zWevwlzUM=%>t}B~ zIkWygPCo^FYk~3k;Jo!}`Sf3vNxwvVjPUS#r8C138K(NJwMTB_5~w+tPByXVk=bwg z)7F>HAJSk7fzpH|Z3WoUp(s;--$Gz}FoK1f9qP^#(FlCK6I`gToKyGjHYavF?P>$I z6y3@oP+*)jBH;PTsT<6~kac7K?FueBY{xI&lM0-AjrD6I1t%nj610)Bea&is(Fga1fy)On3ep_DkYZm9sC#R9ek!!v)N*5<~8E`#EHJwb5*l18wp5U&S}cDLM3I=#Gc*+ zIk>=^HR^t)j$qHgvV7xy+gx}RC>fUQ}nwFynT>&Zj%wTLahyYUEclt~X^MJLp=9Cdt# zf6Y@leId}b zoJZAs`l+V8PpAaceBYlX@L@y7;pCjx{w1IRQ8-qYr7fp?OL~tw@tjHdfKpR#7H+>%YFUsj^nSAU z=TrT0@QP8!W~{e354sgaW4qS@I%Z;WlZ6}1; zfh^659O*Bohg99|T{zl@c|9lksbx|%0`Km->10AAPWLS{G0|Z0Pj|Jro-DgmJmJC7 zjz|EroN0G7+Jmz8F@WHgKv8KXft3gyTwj9pFth^pAnuEAG#4Q{(8%$^YsV#l<9HQ^ zrukIglM?U7!m*)T^Q2`nUpAoQUX!0qObm20Hug`0@I*3>>dg|e0t2R))w+V3$+Cc} zje9VvzdbiPY-yYc^Wj88+IHq}hL%l|7`G&*pU2_kWD}XK z)>*L$mzDAleN%1ni{uCJ4V)38km_k06I`7h z){>5<)s_n-7ue&n(T*y_6>58PmJDPJWDcSf`Ai0SptOuWIq~xA?5X*s zOYGFu^~6-M4@gmaIM})`Nr2)}{T=6*L+3=w;NUcBZnht+L2UEBKVRC{8jaXtl0}5b zRc+i3K!>ZtvD@J4cjwzO{Fv7+chG!}O&PUcD$#krwM1nC2BqGpGe&YNgq!A>y-E;> zYi_M5Nfy%n`^(6#vFhC}wnd-G^x@gpk`q1W zgRSrz^4Koxuv~D2lNh%AQ>{vJ&P{#iSp0ngbMmd7aKg%A&E})oaOaE7NStxonBY8O z>q83c2anGuBy`e@W=!84ibUd2W*rP1jdOnAJbKWoXf?7;`;;9; z0HR)$n}w??kig3#L7kjJKpBb_vWSk-NQRIV+h8~Bp}>@kqch%@NwVzElWg*T9bnh&+17E&^lZD-JPGWqx&`^ zNK(;PCuZXwnRlUizGkBELwxlZU);4lF^)qpW|MP zkU?~RM1mj|dt~zLpID8UXsmhGDc7V^@~lFt#anWlCfYIk4uLs{A<0!!+8Nb`>m0%8 z^}zP?mD49bI{j0zvX%Lo#K~z~kTXhdP*=FKElRxYYo54^y$SXuEHqptF&M=@3Tt^z zn>CZk>j^5U@KISGp~R*NjW#Z*gnc#V64AxhKRP7+`qHNRuSS>5EN5in+p?Hg?;;s} zV}F@m85F$pZdjm3Q#Uv1u(ms>DV{P28r2@#`vsg; z!!bff5+rRnC(a(#2@2FIS8*!d{9_KgQjHm=+ORQK5dF!bmAJJiQnE0h0Gwje|I1~C zupU-8rj^)k(WBo(=Qi&gIa%%om582=57Yr>u(UG=L6(N8?&!mvQB1qfqurq_&@#LJ zqo!yQc8ay|0QHB%>(Ah@pH>BxrcofxfPSqti8(y3%d`!eB>_q!-wU8!^=q64j3E=%}<$>RB!&dEEmZ&W?qC-r*`g(OACH zekA|ET|KgOp_gC;dzQ?1ZiWgy$D>`LC8Uas5LvIuG2icmh)@ah@01z^#w3CX0%ZP1 zwXpDrqXW9?;g&%}dqx7nM7WsK$6NUyYfY{Wu!XecQ}-a;{<0I>ZSqn^nHUj9VW?u| zCmOajFiO30JVkUPhNrZbyT0%yPy`VjJuJ_-i1fT2t%}tun<$~UKfvWJ1|#*#2$Q72 z0c)H+-%kPursps2<72^+1rl!1wWW|X2}Sg@@r`?L6i@1~ABnxeJE*Az@rj!1qRuWToht6|>bdFI*pYcbz(Rw)s z@P=kwl)nmg*9&OEbVN5v>m|Wb0Kx)ekR-`0s<*_MM<-*Qs(>(hR3`(yd87ASO6=5! zz^f0M7)6KS5fzB}{&1FZjKCUa9DCP#h0QvV%us%KPpSENF1M}KX_>DJ;0816$XUV+ zFGEIOM=K`ph!l1hPtvDz;I`gd>Kc6%xdUsBxqW6NV|Dz9#+;sYNQN?0zf_`=1^?R# z3~(JZh-}6A8Gb+5ZO_|$bVbN0vH^|4Q6H2(rn9gn1`8eJ*SM+Iu);6%g%Yso_AB%W z{=dxrw}9N-3u}doBB4MJ{_8zv$*Mb9zfkF{Y{A1Cl-^c<0ZC`HZ|+Io5<~?1x8BD_ zYr0gTJAJTg$#11>m(sRS}h5W%H1wP0p2 zU8L!aS-W46BgilRkQLyZ*p|5G>iaiB78=uAf9CJ2XO2>bId#h_;x5mgX8{a;Fyzs# z(@GuBvp#i3KC{|zBd;R%nol-n15o17$Z}mKpdp^)vdD!m)!SzgiKgv##8;XO z>aG?nV&1GjDG-}`;eOZnOqkTW!%Vkes0yk=5(4cdH&Y@L8&5)&MYe4dTt|5gA|hU^ zO))@ITyF(@0LFKTe~7Z=)QDLmcl0ul=@Q6oIb+=)&dp`MYPKXgs@@-)Df(4&_cPeZ z0#6MmD>N#VQ184C zaN4dn(omsfl$!ik!j5MHqh9L7=PWrPHX!cDuPzJko*btRZ|W^j`*tE8K22$k6gY7wUbnT-AG`FtPxQ5&0bOnR#DHosS!4dZyp8=UR;d_7 z46#)~%jgyNMcggd%o3UXRrc2Yc^{c#6ApZE=pHHx>+i<{UH-msPkhrlAQ@ZeSh?XX z$+S@L$en-381VEgykqylmVJICO4vgI33%APwO}=YR|B0<%`f_}iC@IsY4BG384R-}fxhhSb0b>6BJ z`@3x%ncg|M#j2LrAok3ZXo?Rz`j)3`%cB7pSmt?EnBJA~B8*M7cZ-=FG|6#88^xv$ zjUc}$!|Z>^W|wYfY({X#8RN<|tOV`R9C5pTGmMx5+jioblhaeYw9M6r37 zUxX(8_1M$C=9oqyJ-9>5V}JE5$KM9oss(7}UROQQ!&l_^H zw(feNZjZ7{`ZXD~xZ|Q(%%Za~NSroHHhNa$v+iHe?;>mPaBEWW5?&qLrua}czp8DC zGBSZ0-H!|@mv%i&GKwZ&iB)7jU`Qc7nRh|W2;dq8D+uuaYj|`lmq5hJQ0UV?SInw*nx$i3{>U*6)OEWA|Xb_uLzvH43-@V(^v z;={`)UC!Hgfj2yu*04aKp5|gvKgRPBCw{|qrrliRq4I~60#dr?et7|RN{$x;$3uW~ zV;h&uK3hSI#ahw!4Sdb;dae+>DE{LDW7av7mHc8bO%rkab%NG!Yb0=p!%dafbVq=` z5}PG*{pL1nBu9W(()o^qprsqtXlc+HDp+oTXT{HP;n~Q7sbCb)7sN(LBeU z%`vI}+UDDYvNAobjb$;3_O#;biBzMl;gw}gksp+Rrb-)pdkc3Qr`1&L&M)CF5H<Sz99~WI5pFY$Zx@^Z8FtLgH&S|C%$*ThyTMjwS09HkKfnlHQz;_7Yk(sEa2`m;$`lH)DmWRT}K$1YfLxfM5A**=lG?@y_LS~%= z)`nI?B^d?7#HZ6Lyzyyymcdtog_oMui+pOWE~d?zs%T&z2$E@vqaFAsivYO{kTZWN z^n#s-OLlXw)ZWAZ*c|4o9V+NSaZpN0h5iG6MeCMt75_!_RDyumIVMEpu0vZ-yKl`h z&B?@|amr%CJ8y9LYSKBGwH0BPR4u+X@N8z=0vIUjh~yB0^wU(ZbxXyRHFUV#VD*X3 z2VzG-#XxYpNo30+iVo8lat@Cru^!EL6!)vjh%sy>W1JcbCc^pay5tVTP$yYbK7XGj z+e&u9vUSWiqi_MPRCrRnBdw+@MQ4z0<8z+%8!K8oWqA?#%6ixPwnIC4G8l?$flU zzGtZz)6<;*uB;9#)00*%??SIv>_rS8?>kmEb7+%JJ-0g4Z!=O1cO?L=od!?F`vpsT zNq_|%Q2~I)wYq|(vNE|k*q{~p1Oz^t zSvK3vQJak8Ow1eoRq90mpz&adAQsfW>^4h#*qfA=({6W}11HW`8yOYIe2KOZo;d92 zt%p0zl;1wQzEn(0@RacCvIG+i^Aqi-Iq*Z-MHJKCoVfa%uEKC?Pt=g2LWty(3 zeO)&fx(qrHr;fFN>~KL8q<&q3-9lv)aBn>lkE+`@uev8wAnud9YnwO@7RnV6jAuXeDQGXyp85|UX1x~>Wm<`(s!1?>53dR9{ zD3kN0VDVCH;y1}VAD*2yybfH!i+0N!(;-h@VpSs*n*T$GCZqB(qn@wBC-(OQEOOCa z9(fH?ZwP7Aw6Ul4WZ5UJ#|<{s0GED6nE_#JiWncds5>u3*9QVuw0_Fr%YrF!yMd8GP9auvLk?e}^g@1r$Ir_hi&cmcg zOtb5}(3enB*eg4L1N~@G0!h`ih-IF;?MH}f2qw#@P3Y3q>=1_uGp+N$+?c2lY0ozlc`hk4Hg^>deGliMfUwgud2YGo zR1QBoxAy|36a5TA`|8q&HUc-Cin*?+Q{L2{uTkr30`a*!)2{FCmZ!rz*yN_x;zgs+#hT54g*eWGBGSSf@mAwnk{o;SR2i@ zu0R-EONUfb7Cz;-II4V&Y5Uj@^Z{~|nYo?=@egYEcBn%o0%>({9#ou%iRdhj7XPch zl9y;s<1Hh;VI1U4If}etLh?QB@OIs5h+LLJzhs2yWO*d&l54uyD@E7CuN4ANRBo2b*jhToEw(ZgCJn=r0TJ-56#xM{G~gO z2uY~ekPqIvoYAKk(Xi-e?T7MS@x;)Nv%{-~cUK*Rl<)B_{Jt@TLAxR!c+m3nvl(Hm zHXdjN#s?LciAG6VjD*Zgmrc(-Yv(RjmB5sb?Wi63q($L9q|T6>;ZM62D^5r^e9r);Vrx)7Vv`%`X|&9G~u4Ej$7s!6aPJby0CtwLbJbT z-CNunyX~7;#%ySBAn;?7b7+!`ijA!inW#3qsCos0;DTp(CIymRLZR-TpX4lVbz7}u z6+Mm4`E)gr%nMGQl5CV|O(v6&5c2g%l@DN>}QLd$gjTixZ)1US3bol}EK6)Uuxec)|#X3yf)FJW96l<*>B14qu>> zvu=5FMDbC;_>%QHcdCSI@TMg+P=~dbuKPY+XY5?MgQ+D0#Y_Yl@-_w0E{93g1jAAT zorzP!{B`K&Q5aR{>MM!XvFcM8v1U$p&b7!(Rs;MrDG?~xpVBw=gYTlj%q}x!5Agdj z<)kl&3&#aZjeR-{kFxvUGIKX#@6i#c74{m_mmEr{rw8=x`X(>}@rh(L3WXTA9Mz=U zvmL4u1a6-;h(l+SDM=EJP-=>TQONcPl4I>xkHL`qJN}(&FVOGYH)_EFc^P@8r+|jw zSuWy3zdLGfAB2Uv@tp)%1PNHR#}poF*ofLcRji(I+L(jBcF+eSCz}2b7xzLpc9wr( zPl!AhE((S4XQ{~wq{@$`jq>Erh3HS|&JKukh_3gaL5&}|lDTM%TN)C-Z3I=`8>JDj zU;_eTC;vv9_)9%+WOFPH@u(>tcjVHt06_m$!pg;c=E|kz$_Pkaz zst4oH8E9=JQ~#LtcdE|;1T4qk+<0`;od*10guP>rE)39a*|u%lwr$(C?e5*Sx!cBW z+qP}nw(j#xCTB8}d6V<8{=rIBUDrCsw*JzLlUa(UrLE-j*5&W>-ItvbID*toTY_8; zEqA8hpNP~MoLkPo6HIgz-Aj)xc0tD_k)Ar` z(2^egwx<@Ef6=iL20~SUJq+1LTIbr~|MY$qA=ktzs_2~_&uU(_79X6zk)A-xD(4G zmXvlXTr9OnvWu?C3$R?e^N}xM;PQi+f?z4{YON9cL#^R~m}BX^4LVn(VVq9R#^%Fj zSL~PJ=TJ1Hf4|uc%Nx%;8a6|)K8emjwG2D=X{XlM3-cN|+d2At_zrchPnlF7(4`SB zm~UQ+@(~1VVA7`9W=Ybs zq53S`LzqsL*_iMIoBY3Hi>HLMB$Xc3Hi?{AEUy zVY7>kT6#3wals)y!|7o3i=BFD#^=MDVH)$seXxreCKO?2ucsZ0a-*S~%{ zbJk>_*_G?bl7f9GQ$=$&*crW!3wTt24k_TX<)DKHO)ARxlX0T8O+zS?3|;2TXvgS2 z03bp*eJ4L~JY;RqzgM$i?1#Konf6btQKvAJ#Bm8kovKIEf?vk5aSWD|(y($KLlqOQ zXCL4q7bob_K;D1!h=AHP24n{4ou};o`?fOSL}{fs8*h1c%AS~3HY;cP*Nvob$hS#b zo=pS2qCxQk-M>k|N_#de)+%-x@Lf- z@l)izRs7}np$xxzwADnIX{_<(?hvq5ct0#l;KuGD38-c5&s{_u!zsjlz@2m^#siN6 z$9>pD?t(YCfXc|!sxDP}MnK|=8<;*poy$T=>&d$4jQ{6K1CnlOY(-R!{L;D4ItI#; zL#6`!wJIUVyiA+?R=^@7Tr_wQsYbMgeQf(Mnpf(3d;1}=Xt3i@|2_Qr9WWHWb$R_>5k`BKEgcV2*w3WL~= zxy!|#W4c8G_jzW${O2id-D-wb0ZO;uy~jnQdf7b!QS$n(RM3&f%yK}EHUynGXB23M zRiZOiH$4=%c;-)rJ+V;r=%=8O!8Kx@{P=_Hy#@dZY}Z3l9$`Q9$aK8EW+rIiVw`_@ zyjspfolohxcK0+D?>HHgR~D5|YYk&DFJZ07w?XmM;{itwlnv@yD@N|itQ&r|9G)9A z{b8xsF$K`0mU6}HN#i*D=NOsyAwUZ~gNl)_!Vg-_Oz$G6aXa|Gya>c%o%l2T@%qbu zKWKf3+sOMG3jflIE;;ENFl^8p!$BI4?g?}U8G;yRh6_X@W4^~$z{V|x)iA&)sBUJ$ zBW(XJ(Y`y2yqO$;cJM@R%v5!M7C^}uc~pL?p?<{mY=~6oO{i80lzIhoFZ>95bPOS_ zxr=dxK0+=ca;x?S`3i(0;N!dN3XQXU;=1*_yrI5BepNK8PJVTvL$5)iJLNtYr4-h-aA*=C3E1w0M~SenZG9uF zl4HHETkD+3e>IOBDY0$NT+*D5&-YK&`MCB)@-L?CQi~Kejr?euPE)F})h^7C?mQ1O ziT@dV*ozmGBI{7omLbf*mc{;zt69Vl;XQjE@FGrM!@b(y> zvq4Ru*2CLxIrwX#dubA{$3ZApFcmi!t00N3?24!z!Ym5va&a9vzDjFy{gnat$~u~B zmXWZ;e+6p+XNPqh{K*M|{rO@I<|}xB#y0?lm@&0f8zi*7XHx50HMyS!FaHPqItIeoaPYkaJ4UaWbixnm}SaMAd+N((pp!S|^_BL6HQ zB5(A%nPeIra1|z-WcK)n_8duZ!=N$h?z}xLB$jt?p7<;w7K>lg``CR;iBDU)haB-C zzbUI43HB2=g$HxEbh+INMmQ9`f(LKko-K=1rxC}GNoFji0OaW3U=QOM2Aib84lR12t5+6ENW77yBvty zTSxQ~df50Ro#4%Lm|t#>#IBY!`>+fp=$xM6T^-W{Esd*`bnV6|0rH(-4-bbVd^UWJ z>MnThELqtw*Ra+hpnt0m62#Kn;xS(FIvxX7kZ5mY)nOjFrrRm5wu3`i73=uQOm{=Z zG2&Q^w?gns+;)bOhF$^U=!(78v=G6Oc3aEXVEUGLnLD4h2xj?zF9V2|uJ?a!}SuVqz0yfpV9 zmHO2J4T5vUt%h|7vcX>68Q-dJb>+6=R|;;z$O|OoVoT8f&VW?Ku^}pmIEp`S`>+$W z?azgKIs+CQIx)oMpH?f5<}hPGV?sBl;)9|g*-DC^-xh77cWnmo2jg$#{&;^4Pn(x^ zE8cnjpU@gB5rD>{Po4ycv{I|(f@%Xm6N>!_oD+mTjR=RlK32!5AeF1AF06fgU%P8(G?D96`7S$_ z`#p;8OR`);rCIPu=awvq@w;VGvuI5wKAvtlQ-gqpqZpFx!d}|i19d`>szX45B35E6 z?zXn^YC|$3JsYwk3Q!VF*|wdaW^R>R;$V(yR!@V&C5=x7kq!Nz@H`ZS){+i6L4iAW zxD9?=NQ!X@xYR^669&1M5Ib*VANHLiFHar)DcIS}bxv&PT25|(lgLW{ zEt9d;VOzPU3L~@q%`yw_htxk5lFgIFl@*(Vz|}*HIe2bK<18v=Ym5yES4}qe;p!Bw`XD1?T1Uh&&f5ULGI?` z=?)^(CyDkX7x(@iP~EI>`1LQaamtN+P2=wtoHbj%50M3CPpO4P#tXV}FbKsOh8~@H z;p&6BARHoSOS1VGP?cLxXe$N)uQDs|GP7(MvbwZC`$@<@so4hqxf zuqSe!Y_vc^mE4@%+CXJ;4RNb)d#ALRM0d-|2B7=a(u%|orj*GfQ4KHuC6vC`1Txf@ z&#LN}b>s2xuzriJUfH7F)A_~AJ8wOERj6v7KdL>5f&Lab?>FPx;n|mvm+ayy^U!aK zbM<7%;5yX&=7*M#Y)AQ=S1p20XnT7s%-n!Wi+1R7&uqiwN{ZN_ zlCvPxU#6Sj8jP4V<|1%j7S@sUF}E5P-sDHt*G${Cvq~)!EMyhz_zyo?s@N&PmZxx+ z9c1S>!!RWcWRu0JG6X(9yP~pn**3}ax20x`KqHth6S=A7hNy<|So6&E;V9Z+yXNaf zX#8cjFlGo$fhI}^k4fHeUdu3*+C8%@YqB;cKjAAJfD%4eAPVxkM&r z&3G{>+E&T+Dae}r+h-J-tL;g12g{q=Z?v|m>y-5g0;-l$VQvX1@U?R6D#Q2 zN4Hz8nEpuWL3CF+Oy@fhS-6A{BT9T^!tAciO3U_TjyFO1r#X_IV`<>m5*c_kNiYd` zg=7;{n8r@dmhHBJBTH)76rMgBo0vh*V!wYIR7{Ta-WM#IH}Fnsk-_=?B_Pq}=)n+z zuH=vGUGWD_!Z;5CE-8&C$o(KH@?$_8vC-qTM z!vfKQnMg2JHd}6R;`37&zE_c&FO(4_9vks^!{!AWaHV!XmH6i}JIfSt}_l>yxdDr~U#J#yGpCzLr3=0@$gda7>Q+yt+SVHRA~Il$2C_ z)NXRgmYXY>8P_}BbsQ&#A^kE#izasuiIggw=i*}k;IbOuT*dE*Rxyio zDu#`jnNyCHG&JPVXS*jt&?RM`bf!Fz)zA6i5dLOX;VRC)L-1Jb10sP=Ui3m+%%kX- z0?l|SXVk<`DzAwdPO`tp5*t3AHQo2O`&!q!*9g~8Blau|r;%_N+lXLc*`VJy(;iA% z9tF~yxn}aDG|Ai=oWgtLNDzGiz3x1Lw7~#(DC*B1p{XJ_ZMrnxmCC7!^od#zU1w)M zi?^o!+vYKYwx)8(vSrE5yH;|T&H)>J#XhJZ(WNSTCv!B|$EC@Il->f+6Yf-WI<(yrk zUCa*Mf|?E$eel_(Q42<$Yh8iQibyT;Bv-s3^+vILFi7WjyNjsQ15~$sBFVvMXb2oH z*9Ray-I$&&C;CZrydbj;P=NyTnFPsV?HF1;pHXDGr=SIo9otd!m=+~x6JrYFw;=J{ zES5ScS_4w$qt30n*Gu)QL6RvHr>8>57vU%o+kM4ra`%vk&h8=Q;9%RV?Q9J6laW5} ztmLKmX5cK>>Dz4VJg0>e{(@O!0vD<|4<6Gp-m1Z&^1EPB3gR~2ZyvWlI?OVvGD(^> zIcj3NEz{B``}r`;_wN)0c+F{c|1! z$@u=%$ya11>XLh1lY~-(Of+jdBi^sU5RO)cIWQ>v*q|Rf5Zu5MmV};9GNw<)Bbs?5 z`*5nHb<@NL7Mk2~`ojUOK`7jc0ar0xs6G@2?{5|&ODDKR{kAxNHdX0 z*)Ro4_cms4y3x!U90>BI#-Y9Go=a+eij?LSDx7kfwQ!7ssF!0pO078Ub-U4FVKT~$ zE|U}i?)4R8Hf0l;6E#wFH-2P%>5;r{x`h5@BLy8W7WaUDv4wL8mH7|{@ZjOyu&@Wt zcv~U;0H(X#mds+rPfKdy4!w`|Pt$8jC{CglDuN&Rs&V|_0$6%55%iLiMYM35XGhM$ zOeHmG(TuD?5Sg`gjv5eRbT3O%kHe<#Q-Lz9;MJSjBnS7*(AXzNYcL|iCcF&Ap%!=K zcxUv#ogqpRW*@ILUg&&xhgr97s$%Bukv`0ir*G}dAWRDi^rdE zj)VyegaBmP$pzOev|zy~FLW!kr;dJ7PbkNNeU@$%qx1WsU>3lY8<&j6Fk64mUi^gh zMaU{TxpTtdpHn;)kpwg5BUQhLZ`pk%^01+ByUWJBmFa{OmJ=R`3>uz<#>)wenrAz> z1m-Ka@&EXKFd_Vy9G5O4s$1B@p=#Er@yBN=1qtA&>c4f$eDKO^i`{;XCIavAyab6vjyGfgUyQ{0QQDpvEez9q# z@c8yxbUvv|xN^SA_qi10RaK7#Q5$mPeA_3ElM8Kof@1MaDT2Gc60O zt?%(~Yg!F-(yPhC-etazhb(5|4pM@13bGlz+umPPQiD#yW7<+q9%lPDCo`m_g=JFW z>pg;4oZr-$b30V{(l_3QU2q?GlxKd7fuQ3ghi7|^zN#h!3Fy!ja&?NP?E2+{h{1?q zL~-tKuxndpE)gyUK?E2}FyrD^%?|o9b2;L`B+y&Oc^@7BKiGTg5{TT;Yga?l>F7k^ zfS{vvwwzgh$@|a=rNFn)QR!E`GK4NN<0{iBLLX`CPCrmY|0vYv3$-t5U4s?rSQ)D} zR-p>m!QF^&Sq(FFb_a0M^PIf=C*2WXL0lizcj*$!(g+Z?Bdgtkvi6ldH(ZT3wUt_= zKTJ~4dny9IX3IdG@+6)d*3_=pqvarNr{cUAF3Y;k$>cpU^(TtZ+f?A{b^8Up7y#^c z69*Sr%DSuY70-g7PfU5>A%N415J!SdjCBf&=mk|kJ_i9nQ-rPrgxN%7~Uotynan& zac*>qfR`;74pAEmE>vr@>o&o;Y%ix-s91Gdy^uK}#8--=Xc-cI%8`-qX9aaJSH*9- zVL5p}{5D;q$nWE5Ae&!!^J|Q=%!JL0+n@*%oKu7{3rBzl$B!i8D!Ht z(-oUAk_CWKLeD?Z5gzF|$YnFJ2mBF&k{1~%KCD#N?Ja7G3)GUr{{`Yf&$zTc17&}D z)`Tunemva*X{HQ|1Z^7RkTXw(xj zX1Pp1v6w~fuzGD~Lmcf1WvUqQYl!5NZ0oQ&pvC5o^^UCdPjFg^DW4=Zx_7*hOEbC# zhJB|yc6V_!H)PqNQgu5zn7&?#tFVr%A3LB;`{8(U#-y~+&i zSMFm%ZA{t2vFsdVr8aHhGP`Yynw&4^(^t~dtC0B7WPTXv>W#F`(XmdkA>%R^x2Bpw z#4Ao7+=@8_Vq(!#3>6ok0zB^u-L$=MkB@)`CAp`D#ix~ijghCDm18JxFAHL=#kscu{o#Y+J-|4D%JIuSw7; zd4qCpb@>lHp;cEB%V^f?E<<_{rR4mz^qtlN9NFLSCqn@uAsM?QWyW%X(G)Y=ko|`C z#B|LM(38+ll`+d_BspQMzTR}K#XD&kOR^|^0h_5H9MlL!pMMR3QFNssf14e&ENo7} zw7qlu>qUBX;@xl5yjkCXM+H^AyP#YpTX<2B(~wt2v$B$7(ws$Sa=L^#oC?u0Kfa8j z;iOU?k8W74j(3=-!7jj~I;N~Noc}txpt}cZhL*zN$?X-w`bVCyu^(XB?B|Awd6Urw zK3HUF5Ftn3te)Yyj|nNSUH|@g=I8=p711@Ag?q>X`SUIwEJH#lUDR+y@r34UwEW@U zx8$m3&2N@yJOS%AR(OUm?=9zDFkOq2%%fV?F}dgk%^F<4+|Yf* z+*V#^v(14Uy96Jn;YgykFNDQNF?*IfzYfmEJW--ZFwp)v+I)c z*o}`Tz-vwVUv?5aoq(07l$Ce#{`| zw-r&l{?yTkhdB*&w%1`2bcwi>R|?-5c*^Sk&whHkv+&cV(8e{KYCQM1-UUBl_M5|3&ZLPkPDl!Bp>hWaO@3<{PwBQ>b;Fc^wAD8+)x zf+|uF1WQ5_T~Po|8%--~f2C7HL}P=FEH2z&g)XD-Q=OoU&XhU|2Dyz#eLV- zbH;n;nW+In978!UGEX=rg^_V{4lN=gip(Nikrd;MJ>dRdEWT1EoC-MO=JyS%{%tv>6syA(4(* zM9CsjS{ZIrmAJQEq*$y}nk;uHYov&EVL`wSDU^)t$c6+P9Et*1_*#hrYG?&55`-5I z)Fd->90fQJN{k6d4C>=R1PQ5^NQ9`_QZ*`!CJaQg_vDZkO&p91NYEfN649sx6e`Blr#Vj)b7_0*>r*znr~*m_3F++4Jf+Xz;u{B2yHp$0WM(O({t;!{U^PdH z`ErC%3Pi3ye1driMyut|B`>F@(CuI&CH)gC@I*4?MaEnzB+f4G;MjUHKPZ`H>d5=` z%sC|@K_cQ7!D4z71&V*KZsE9GQvWjI5QbZ*CW6o?>xme`DoM*D+ka)21`(Lm(BSVa z1^5nGuZgHcQ4Ue5iR|1Fwkzo>7g@*P{dcON&iU;5()m^fKK-(OC)yl?RGc#6_6ACi zz-^IdSc7lx>aqwx%VP3du^N$cf7|(+=L%$uBWKjyatLj}E!&DWQ!{>e*QvuDelhT? z*z%BbUNAVfDN~!r#`&_fU<`kDYw)_XxX9>nMEoZ&rYSnz*ta-~Th*-Yj$rRwUp2w( zpj&~AmTk(9B!5i_Vo=}& zwgWj}{nl35_opAKS5pRu@c|F6VY`tPs9nTES6T#`+$$D45PWM>w4=cz>e zTG*-fWCytD7Gh?{NXvCNNK;{+qa*;&cYi#q6B^giVO8*L=5VH*#!XXS?G{Bdueou$ z^O5PQo3HCJN7*#>&(6ob{^_pERD7}(|A4i%?HdAC*L@oUl0>uk)L z%&$({TYOC{|3vj#FR5$FJ7YJ7=Y^k4Y@erdsUL*xa&}7#_7D}YsCcYBwmwcXrk@1LH+ z7P3LT-Qj8~djh^&RAXx;!AvU$(G-f~svD zL;!_8b#LUei<8!guMBR#k=AzpboFHK-;a&Mn(EqIRxk0rAv^h=w(+m(k78~7=tozL zZS=~qjO0)P2KsMu6PafkeMZ-{=;N?d@Evf& zo$S!x&*2rb?F7t2dAd#v#Y;YHO7Vy?1FA+V>pjWeVOI;T<2Q$^sJsEDSM11Uo4gy{ zyJ_sDubzdFsGWnIoazo(UBc#C?R&FaQKW+oTlNLCM_n6%Hr7?r)qjloO90areoGJZ zuZ?N-ufBiokwmOZ`HHQPtl8GPnrj1f@p)fF<;eUFlXC)h8%UZ2qg~6|D$Kf<7(rw4 zeE}=g7mIVX>MlPXHg)kE!buUIcP(xv6=<0#IGUFOF@TSpAQZg+$exRb7v- ztIzU4IY!<5w!zgMwq5^%f0OHe@ayxq+GhE@KmGq=(x=XtC^YJu;N=uw{S1z9e5dYg z0t5PmFOCMNX%RKmHPT+|>^yp}2tU3~mR2m34>$XF2fFc#u>#A#7}$9ljV*=^S9uOF zB_TORm`2NRLS-+zaR-akW*dGIsFqBC2cS_tKw^F;@hE-l(g7D23Ih zh?2+Etr7peU#vRr?ze_Wft}O4>;%l5Z*oPzBerf8DDuYT$ozzH$~^!0jY&|`&_Uq! z$Ubih#Pk)8$$CBA6fL5Aj5*-YuF~;n-l&tu_ZqgkDy!#;Be-50Tg;vH#3^L+`364O zGHbh=gxqX^Gjwwa*n z^vAEL{O$bC(^?QzIor03t>)*QwvjeCpUXcD!^#PIyFH&)R*Dt6{1QBB8+I)EE;<|) z5xO65Mk2~dyG+8tUZ@Y&^2YSJvEM9q-!m+Ce%X77)~;Yf)^~3uQda6nQ`|q3{rH-; zMaLReuW;#>9`p#9-Cz1cdlaWSAEs_9Q>w4K-}FKPukt@CC3|n?@ZDV*s(X0OUky=;ZcWRN7Mfubnvr->@n%2nFX8my$l^7fK3NrD= zY`w=k?3T2-+x$CA0n1tMfW5twukXCOyM^Dp6Y__P5hH@(Gmu!=ZsWlHqmk!lkodeSe=UPgG?E6* zRG}bfL8peN$5&@P@N4_+o-CkOeQ-Sg?(R~+E|bhXqCWU`544_6gi~sG7jut&H>j2z zk9sGh5adF=QmE9_?0%Uj6KH+~a-kkE1~DzrvlkabeSwOpi3wGqGD%J_v?w)5Z)`p% zBJv+BIV^<8Hl)*`#!<0CyrNt##5@Hee*FFDdSf*(*$}*XYo=f;a%8dfhrTG}xc*Y^ zkEL57upz_L17Q;FYTB3+7!o3|5o0uwjZjjA17#84jVhD9|pdLM5G{8&b0G zu4&23R;-35`R{cuDvQ%7VXIWDDa)P@mn}OubYc=cwp?Tgy--BijhGV4@B)_X?6|Hb z(50#DYZ)s<@-AaBPbCAkzEcFKQkAZwufbE z4DgdR>%cMTvoL}W91OGK=kUA>Qz|1cUZ!kOrzsaPLJweWdZyw8Y2>U+6uEv^kkg}# z6YbAEIbdIKXbv&`an*G!6d5THB0LfgiFw+Xm@Aue=h*tojRu!36%mwWCsKr!%~+09 zVA1*rwUMHhLd>T_+BpRqt5C~>3noUaKawKEsECzy9d(TO1fe4SSI$t8Gb9i>WjZUW zkr^R493;E}Iw({`N~8!G#uy7XM2m;m4}mUS8cKiQO^LWN z>X{re-A&9qy4auO<={5CrpJjG1L2Dp@9^|@I*f=$Y#7%%RPQ`A_uc<{^IIJFMo|Vp zx4DXeI+hHN9W>2E;UUb*0$MiO+|Ed{v6K-hS0Q#MP+N)$XQTz!B%Rx5YBzOUpEH>X z7-fZZM4wybD2GdBXnytFVEy+rU$a?i^D5cNe!wo-mM1&C#2wwiqiq*Iw;N6Hw5FhO z(sx(2Yv|z`deqPg8SNQk$dh2blzJ!ou#tYYnxy5YtP1Fm{hb3Ii*q3cwqULG6&C4W_I zJ^PWg1`gXSvS;tn^lImA;MI>;$w(o)IoLAx|?iK!*)tGy>h|0KJB7ohii zLmhX%hAPX0hUb&EC71Az_+t(N&5~Q5t!`_6z^ue0)NrlF(6_qimyzD}sXhaq+Y`Sw z&W76BK{xMJpss)1D1GW_aHR)Q=C-vD-cVypLNJ-YdFMqQWina*dr2IxgB_V3SYA?rfTobM}wxP(jgZGgvY^0HFr!mU@zPtalSFKL@9o zcz&7s(m(M}(;Wtz{})O^{NER2$3>em30Abp4o8$zfnHZgx(f+Q=;SU#o$OGx$(!>B z?vLLL(0Bz+N%`7LgT@-YHCLHMboEPyXX_3&K1P$i?VIlKS)I!(N$f0`CwRtZT8vw` z?H#`@y0Ez#Ts<3T_^(b5&*_enG{Bn1_q6OH#_9C zr^k#~*HE(S{$!N?Sg{NGv-7UI#e&sq-7067udUCY`%Shdc^y{-@;?nyr6rx@*82S& zK?^-@;PAz_F@gI3#riLH-CA?IS*V=zZT@Zw-NXFb{rQ_!qXAF8eIp)DYiENl15~c% z(9P?oqG|a;2Wh_ZVB(@<{;yceUCdtcuz!5Jl?DDMA}n4?`lz=yx7=fP$vv8J(}UAV zUt-;0>c>SxmmK^dAp;Y9QlQS5cFOV1&9m$K&yF+T}LUOK9CBrv9VSGS@3A zwe#5DA@T;%+Q9ah2ihJVzRUe28;xs>kfQ(tUG=;QL}>DeE4`<>iQMf>iGZv7_?Cuk znTD~_Eu{ev@8_SMp}p)p!I{CMBfkHfNS9ClV(aLX{_)^^yJq;`-iO!d$5FWcn_5(Z zPk*sBP^iRtyu+QS{$j75*0O#!l1`4Vk;DvTa-~4$8Z2AW;6Vo70DqZePb;;+PqBpUNRo|FMIOancNyhy;MRm>bZxOuFg0c<@8ThhEw|_bAQ@& z2*!8PxAja-c6?ft`PGIHqX)B5)dhzntj#c~!;v5W( zxbH&$c6!P8Kiugmz%yU}EzNCQ<%WhjE=Ll+Em}hNGipg3o<{{x94wnUu2)0|0Y?-$ zWv}^)Mr^LMH=%Dw#;*;0D$AuNvx2_uhUWY&3ImLShJa-wqCm>e_ezTNi1Zk%bQU&5 zRtG9p^N)Q`k~W}_B%;(55@1|hbYd1Usj4vIZ#=Yp$9Kh^HezvR!`O~A8TSnA!t#k$E%MeGz6`QPUo zN`+t@Ba6Gjl&k50QNU~F1niddI*v)hDgNCx;{D#=zKf(2BQGIx60>T2CJ{WzSsm;O zxyIS%*i6er_&k1EH4hkXWHh}|tE6H9-=0be+K}R;oL=XOqy4N^!>kuxu*Zl#1@0yz z=eF--tqPBJnIaV@$DOFi(zH?kQm(P#;m+un!~nl;HDT4F-twXW1KMh3Fvd<-#|{?< zn+-;er#r2d{LC5F6xo?i`p0J+MfgX=%tORF%P{TQuCCWHB}|=Y9fQaH{`QR&lQq(? z*|a!LwhL~FM``9L=i(An?HSWE|6elx^I{I63?9S(%3-D?dlb0)v|2c4#Gf4g7z?!$ z?RGRwPI}9oc#a-^mVmrThE4R@a}VDtI?xCzrbQkZK3}hH`kqvlhz9Z_#`$vl9Hp-2 zaFu_|lylDQR6ISNjAA~&25SMLImZ*Kx#Gsb{k9+pY!!tz9iMbC#p~*?@iYl#Ya+Y) zx=tSW4V8lrkNT&(o`&Hmpy`u~XE|CfkzuaiEus|$5I zT9g_sx~oezXkWp}Gvct8{`OW0FWT0b>b7=7;B)J2+x4~gZO_q+%yG5&Dc4rOmW;Hp zP)WrcgQJBLLVA7cPu7O^`a6)zBh7285HEoRdSXWm{5*93z~Ja;n3yQ(B^XFB{mspA zkP#AL5TqTj5*u(|d9P%B!vo0z5Sg$CQMqS1b^kgj5h4ia3Ll=(HIUD~AS}7BB~ugg z{KpP_BWqhTD06ptW}g<~retPq5iiT&NFojo+rW)_H<*0DAa z%&Wtlge*``4}L$E8E`W*=z2ErvXBmtySg*FdQeGpQD-s@=#;OqIwmBfZ#iI)q^hcn z;RBe6qPlGCjdxE$@dL#^F;8@sc)bsuO+W5os;`=#}Bj) zTuVf0In`$m0L8uGW$6b9`6{xzHn#ng0|)JbzBAbbkMC0RHY--#@t2dje$w z+vf-iq+1lc!6s+0&ZC0?@pc6Hb^o>7P5Ujqa=0pX-KiUpL^)jSa5fp*IF;R9oJ}Cf1;oD?-fk+;9NU_w0{hJCKGtGd;CB zdl^8M6%ZP=m9?I&vzZ0T)h-AUq@W;#NY?5}?BwJM+P%KVZV%%Ekfa9Ez~J@0_l4;n z0KW!hYVs8M?8@G@1JbC^{xKw7?0eJvoTSHnaH)rUEo0 z`H-&7{%Zq&t%ZH{{Q5fT+q(ehg8l_0Jp(2&kQ+STOin+Cp^Z-WPk`!O1N{Px&-Ncb z+VoNabCCg7kGUNH0|34f5Y#aOi?EJPJ?96WUD_s^&L!=yeHC1Kc*aQy$X!gj9N)Cc zs2U{mAFW*sa;bY?p_o958&6+uY61VfW1ub)`oBhc*=sMWC6g1ls^*3E1$Etw%zxYO zt!g1+e2mJzivqPV$%hK%9R7GPugO{H`r%>=`9DjgwiSOdhnpV4KhcD#)K%NF6Ry@c z#rI&3O+ZZfBZpL^csW<0qI|zbqGG~dqZ^pyu+u<|;HLd?J--;;owDYAZ#2K-Ep%HS zOp`yR@o=Ylx2ldEE1SdI@C#UH3pn)D)*lE$rMq2U;;f4nw@;J*dfM$i zujLckkk>!~Y^+b;9{D{(cF*`O&duotWkNP>T|6$}4AKP5#!vIw-TmoS4tJHW*3sPm z6PZFtlgSNhf@dGF-!IE_6d`@YDE2)=PF3jAP>`=aZ{(ZXI9HvagaGM78Q#fJ;zLmi zVi{H*NqI4e;ZpYzM2xjv8>uxOc5J3#9xMkYx|WkVsjbGd^20wmprD{bZG;$dJ1@3R z>VUwho;}*}(t?HNdsDKmQhMmYez^&zoV-+ckNh0E9B%6Qv8cf>no{dHIyyKN8|*pg ziGt1!@VH$O`p$&s>$t|A&=tZIN{Weslg9x5HkOhxO!P3%-K!#Pl2WF88hF_YzX5I_y=pu+TF5IWk5@XB$6V-~bSFA~XdAnt&-3sewH zdeTgF{7aaB(RQH%oZ0UdYj>t&KJ(MX$6QZNy#0fm>4YFbKV-e7+#AKQI4uQI_%#G1 z#TqeX-I_r$(_||D{7yCcxDU2dXai>FWnJGej_HL3s3|gUeS}RESYhQRpPWt!zAT07 zb`!l%f8TUN%%>Ik+cNuVb8@rLIw0I1xPj9_#L{WJU~Te?F)0l{R#{>qFFmOZlZJ8F z8N0(nQ62sonVHj1%?p-fODNHh^8ED->dmn*MAkUB1FpJzHn-|l^;|3+*FB|*uZYCT z--#cVIjuHL4~BLM)|rf~cbUaU-Njs8?J-a5-7FMC)76y?W({@REBo)Fji+XD*d%jr z76t0@ij(6_5j3zlcJv}0^jofIegUVIJItLxCT3DT!U>A|>e}X|oR|ceSw<=W+xsfY zuE9FeAO5&w#@3WcY0xh%U3(w_7`wm1&mamm)-#F zQHS_XsS4d8T|TOcqF}JjF?X7)yopf^yzZ&3Qufw%ex7?uU^b#cE5>|fSvZa}@dI3m z4dS#Zw_w&e`%;nw&{#O8V4CM>v9YcB4gq2{FoZV0$79BuXyPcR2M~H3>7NXIHNwXztoOc*1B8A6p8VI9sAW=9WwGqfI1^ExPZ%*)$Z zXQq~?!t9|QW*VrZtyX~?0c3q`wx3pbwiY7=W!Wgr-J_xmGFe#;wqwmW0V1xog)MYh zAwySAHYZF(;5su))jwV$20%jDa>m-*s}}@i$u;kTGaJ z$(MAy#KY&XfG!4&g4LsYXAM89bPw1S*xInnxtlQ$`gHtOv5e)f4Q0;jKTF@bE;ahP z@U>K!q|9O#ImOXnBG*b4K8fiuV=&TkS|~wBeNYw@(GNtFjk7I8AL0oeBv#QGFP%Z3 zHzhp^C&=G)?_hVXaytP?a%)ShR=uMNn09=rMCNj6(*koS%aX}w{+LXHuwZKK1%GgC z?ityIsi8r|)@;?E&kIvVo8nmE%nDBs2svEVnUBC#6y6Wt1I)NSwo@HghkE59E&Dr| zFQl02h2liP^iUhWC;Z+TDV^X~0X~Zu<%%fO-dp-N67}_k9x_VYPUR@o^yy%MPx1>a zCq;hJ#*`Tf*YX-Y=GPN;{D=VoZy>>UgI(M?`$#HxOeSaSBaXonq{9MrrZ#MSHpSev z7{s@@Kr}gwxiT#z3*@)`wO4w1E~~ei0EXGT$%M+QiY;R>K=_QUA*Yq$ZiO>+0@D__!f_Zq+t6@?aW)Y+*-_je$J< z*%BAra3a!N*e?SrA@rW6;k9ewL>DK3n5&$3LQ1!Mh~Ym~_%<`aO>_}IJH_$X8J-%O zhXNxm`kR0w&H}V|D8#hoNZhxNvW#bWfC@@Y+SgwtgJFe3^D*PyB2frH7u*+twQRpo z@YNxmmES|0ymZ$aQWrP-azn6vD4s&1DU+ntW&B!=a6o^=Mn}7XpmC5w_ug#GmJlxDs*hcYo*Wl%y~CAlFS-514}sn|H`qV}H(ZL2S;Q*8QzcJ- z^1wF?*c)p4Y2IniTwX#?tQ-jKqLxJVsqOzN?45%%iN3Ajnb?`wHlJ7%7iDft}Ihtzyy%iW_@-q+(G9EjEl`ZSn5xVV2ME?S<7Q*?jKYh3Duwy-EC^ z8+l=FBFN0dQfOnB`L)E0< zI3WW9hcqy@%f31i6eWqIG}y-T!|MZX0Qe4GO0l(Bq;Y6l^YU{a>Ov9i{G)dGN%wHo zMlKS^DQFAA#41eeK2_bs!5?zeC$W#)Gt%~*J zLj;-KwgWHya`Qk*j(^JzR&$t68pfV0B|^hePs`#PoU*$QhxxLBm1R?3#x*&dhEu0! zS1WG~^V)MEKN(4I4R!)dowKZc>WUc>ig5S42kYCVM`lHlyAs{PsZNt^xxvqIr5{b1 zBAwjL6dV%iAq&x=R*JeuEA;^8nG6>{H2~kvm_!>^2u3tjcwNLx;FHl*4U7milZ7tj zUCaCed(~LE-9kCS{Ju%L^BvPSC-OvzVt&goa0bB@bn;Pz$$^-0k98-MFn7Y$J6W(A zyY&Kf*~yY<@3$Lo?94moaW0uc-bCBMwZXl|GTa~_$U@#?=#N;%S^=Rf;Szt?OeA zTsciGaWk!IO~AKAO}>D7@u;KlvAXqStaW%r7Vo?DTEMabcr1g#Df_LGiC%=AN%`#M zfu=HMLadAB*~~DHp?`m+tuFm8jE!xEvnMEkf=pmj5?& zY)we@{s$V7^0J2QR!KF?_E&T0sKRrkW%`M-E}N_M0zd0EN14pT6(eq!KcFqo(#b0i zCQ;PwH|P%=o%QGl>pITDsXhrvSq+0ido-7uZCnza9h}?#a)`r*y>l&`c5le|@$*a~ za^rgL`zR*-;^H-%PkFtPHeKMiMu3cO;H5f{QVJ!7+sQ6?$HuH#@iK#z4_c$sJvvqv zv&S8!cbM^6dP5>vR*l+>U=j13iFBsjrqbmevq?(|$69Bq=QlmcK*W2c3!Br<#OhEz zSF%nTL}VjE;RrtrVU2A;DIcup@qG%l_?5}?aQFTmDuwg*Tf)BCZy6pa{H^1$Y^QtV zkbl;-NpWKR0q7EV+eN2&{S=s`qh(rO_O<;J*oRn!ZQ(B|zS)51r!|q*3JL5#-3n5{ zB36qm+O3WLei|5*yb;#;z$Hmb?w|I%y2hc9#kyXjGEXHQp;g%m>ocyq&@Dy2dScOE z22&jzD`J!Iv&g6(Wq+#Y=@+l&U-WiqW&#;uy(q$bqkp>|cf)nz{20y1zVn_K4gI)b zFlO9JJ=u3i>_$o%+Y=SZak;v?Z01xx7T%Ow)$~_L?DD-mIJ+C46-ZY&K@&*u@r7!HtsG z9$N`DAj&*PgqKn`waYSS23_zP(<0eH&!OLxfL+9RiKN%|MM4*Q4ABfhDNSY5*0Fmq z_8;?kXKseeWQZEA833L;R*5>A)0es$=H?N!55;dc5p5x}2+~~T$S5(IdkiNVdk^&z zt_q9nlQoMM0N8E`tS0kNZCNXCBiVAQTB8?~0SlMKLyuBbl+dy-gpl&*Fhb#+ws7=SM-lH(-Pc zs1{ryQdgfm#%xncZqOQB-Lpc51-L6eELWkiwRhO#=dpmu}<1t&=EDOyM)J=UV zO@(G-|5L;uyUn$~_&%$Ra)jaRXp zCs`m}_E-eEp@Gf)c;<2D7N}1p5AB~=JdsH6Yj6+gz5Y!>Qv|Kt-}>q9cl!Mwqp0h1 zc|88Bh<(3qLpt9XPh2znKoykeVwp{i#H4}(<*z6+2$=E55e{2Q%L2rDb>0J@h`zk0ghpuy za3MH8L6?%ti_8?fgV_m)AS;~?Wre0l&FK8T+xfAr!>?_30AWo4?b0j3`sDVVE%o_N zLO(SFb3uVj;0?_;C!3G{eGpN-FxZh<^urSX#Y`qNQrSdf zbiotpKpOZH=pviqjjjC3Ks{A|=~j}aIsOgVKA$WTA#7E<5e}a+Q^W zthZ`UN7YGUfzb5k*V=RXydd>jPdijWt@sVRhatf!vu^IimY|gmxQ5ex0MeWuVAW>- zM*i+a8&-s}y0}IU6TKd%{bfJ?=n&TMCv)guz>2=6OWG~bNK7*fHvXMhhIaxYC@KlB zbOd+@jT~z-VUY#S13&Xt9nqryg>noFNNr&5CL3sLFvxfsIImqvq{(kSGX6@TxF1X* zv=AvnBsmZ|!%al&5?`e?vUj0 ziwu?-+jbb$HL9$T2}7$dQvobh8P!Sc61v4n55p*iEBO%irTwubXzV!RiOcWdq5;U$ zxt8)EOC}SOiZX!Z6VcG#;Y&s3&g`y2E-k+3&oS)r@u63xx4% zeKD)i`m1AOxg3&bt`>Bnj;?Fog|#dib&Ov9u?qTX@lnU3FiVv3=zyqiDLg8Z?r_PH zdqeP(8ARqtJN?!zRKB%xUIA*gU5md`bJMmB+1@tKBFRZx)kC%UN+L`Y_0oYK6E9^} zjAN;KGm-XzIrrHN%jLrn4q-=+?tsX#ARAto-^h4Hh#-5A< z7Vi@-Lwla2&HM}d%U3GV?2g(=_{GqUuWy^6rcX`IkwAm&X&;t-;I`}2{h69`MkER% zh;U5AZ?Uf_r?Z{-3mxr2m{yPTTl(6(BY4TL{Xlu~pP z7mcA~{em)@Oa5?{pPfHk5?eDm;p@ZF__yKR zO(C8h9TQKQe*VP0!@|>bp+VwFMx)h0-e4IB56XsaLB2)RSp>N(CSK3>Z0p+v02ioD zXFGC|=a_={z-KoGDC6p2n!;-C~N9A_)A}l z2=OJUn9ZOyt3zi3-pF;dLm0-_+U>-P)c1MAC_w(yO7KPk0>`gRiNeTHF11f+{^;~2 z@!l$Pn!v%uTW9;Xxc{cj#I=RgMRioE7sVCs|*X@*eAtq;+4@k#~UiBfl~E# zh68g{nu7MO%*Qqj)-xfEqp!GD?;y*adh$B>dD@O+;#E5X84at6({*S8?CaiuF&u`zcEgjWNTr&1K!uw}P^h%yMyjJV4ZZ(C|tq7O=} z-VxU1zsxCVsx&mrvV)0`TcZ{d&CV5A!j^yAz@8@)_&HgN@5UTN!FnsWWEeH*E|-4DDd*|buNm@DnlEhw~cGni!24>44YGT0f&3MiPj_On&@_FQg0b!g>j$1_td$I8<} z2<{K{FDF3G8+4&mpsiaNdxXOxE@{1FAZu3PWD;`jp;`}^t9A9GRameOeNN~1&@#B` z?c&tdQ}RDl#Gu__EW_w%A)IMwE2=M&UcILLgoOP=m9$f^o!Se{Fco=F_co;_)H*WL ztZEZnZ;T|tQoi&)7uuw7akIY^sTx5^h(CHmLxl#@;U0V+;?nlmI45y}x%d{*W3(Tw z#Yq^3%-U>2FgfH->kGHyuuZpQtj6T$l{1W8$63vVT;t&6FnkC?P!+-m%*t%yn4Oeg zm%p7ZqMnGp>@8{K98*t{g{%2&&(Uz=fE!XER!b0ze!*5@-S+@Pd8>Zc#AdJ8ILSO= zJgP;sTlIbCFnxOZIaryjFc!kglt`-LY$HcXxxMUj^6Ar9FP*L0wu3TU6!>bkJYV?2 znRB(%4}SVe=NKSf>Jx1{71r*~XWP}P6N@DR@_E5&x3aO&zDkgfe$OS7wUD_^VDG<4 zHG_LJ!!&>?{I;l`yRq|kwgG9IYSUz(X1m;oUyPeuxU{Td9IY_~r}O$`p8D*n804U? zQ%6ISdMJM{E86Y+nW>gIAWVczW-9;2SuR5*x~400rgt!Tpf?&BQQ0BQ!8LH++fJ!C z@lLnQIa5>Rv-+)BgY(c(2Rc1NIqM#$2{x({#lZJ3d%MgYl$HPxP%ieAZE*90p5(}O1jhC&uqFa~YG>Ur`X|KTi zFDH6`TfH>1 z{F^h6)Uq+&K4Q>vbl>#~g;Pn&4*vNW`PRNBc3SItNx;D@rF=RJM~)`Lqs(aOyeOOU z4HfETVtS!0y>G`3NADZ0C>^m{E+&4C&zGgifO;$d)w37XtnHZ-`+Ut;@E$d!Xtfs# zw{+7V2m8kquP#pioMt}c+};wJZ>MZ)ZpCnww*s99sM!i-TbogA`-c9WPX1Itr7fmU zWCWabqnG@F^ZsJLkJeXoL~n6ainHysodm?fFmuPdTaN2Y z5#=7x0<;kfL1TuED*ZV(lsEmd;4Q?kSa||FPAq4A>Cy4sQy(&qNNFtF;3YeO#xY8@ zp6cVl<)06dmTO0kK_5E7%^k>mH@TDZ26FcW8t1ol^nLQ`)q@SYG|M5F3z7FM1C@K; zlJ|k%G%_{n$6if%$WoN~4hzk|*d6TdzP}L7D0o9_Z7$W8M9dWf>bWcFh30&1T}Bt# zmR)^Z;{B~{U7WsBT0qcf7(D_*y;;VK4vD;Fb<%FMM1k=ldIK)imaPFbi%F-h zv@9)}LIszp^9T(>8k{q*?<;=IHBZNF`u6v^R0T(9z3V_z_Tzo+r- zAPdhh@U&AKerW>sg-y4mX$a!tQ;ZZUV}Tg0Nd`ERg!DvUw56BgmNOpO;zhI)WJEud zsq4KGL56^T{_X6OroF^cZXHWVjY1QGek%HgYpKTtUW0KfrJG+7#O)w5Py}{DP{~$V zx05pj=ou)!VT6loK??b_dBlc}#Q*vbf1(1V>f zMCf&XyBOh3oJ)H8=@or&-#_yA%tbZUlVBPX{1HRSSFXeFt)U1oQ9J-R@Zc%FM{Xa! zQvC}-Vplm=3myn=-3-Q0K5hIdIR~FfEGd2i38|Z6`rEZ)xi{b2K;$R=xvIo<@X7n? zTl-8sW{x6V{`}>)CHtb-&U&Nn9^_Lk#f%SYj%Xh;(q=JQIq5no=AC?u^UVxV*-Ki7 z&OU7vq~91+_+0{68O}!!V8M;zUN*K~0Rzi_w49O;+tG_OxssjNQkG6i@;S^~c^s~? zcye}ph3n=!=ryx!DX>21uIvpo$k|zBvTJ2#M)b@n0Tsq0iNVH?$hmq=&ZVWERn-j=E|c z!y9yXZ4&|gGq4NN?qi7(OimcEbv6 zhs~Q_XqD!y?jOGAIp)3CMi0ZrRJ=*=<#AEpyHbRI&+g&lW zek+mi^=P}_I{h>?kIzz&ye-&z&h=5M%RHN%81Xu=`d!Lbb76rJB~+$}K)Ul1nsgMr zLiONyre;3DqI>nh#qeEBex7iJZN-!KbM|0EJZI$8k;Xu0?_)GxAw&-6)3Bs~JIh^Z zhdvt~h-=!6&Sm`Xg}=IZ!kC%23FNS8DfM`~(|i->N>Dkh3ZY^rQ$ufKNY%6+<^L&I zlP^euluC{=({7JWaG{awHSY+1<;9r*O}n}u$3i{lG+*Cp(y|5S*uJrLI+^OMz!sH- zmkc??l|=7@V@&GxZJ(-}J+|mi%B!E`LmGM8B9ZgcEeg^E-S7pU+C_VpxPh zOr-*W)uWhpo#=G*!M`6lZ!#k`_OGyp1lrPO1V?62dFB~Dv`M6KTJLX(S4<{tmGl9G zz$jWq^N=hQd_4IOzsIcMvK9Pj1Z~sT$DPgrB|k*gplM2W%22T6qGYHErI>YYYYhj9 z;ZMH_)QstIdj~9=Cp>{J0oW0mYlS=Wi|R%$qD*7@m$(Vgw~C6ETUL*Ds~9P?aL3+N zE`kc@B4MXGBZ*w^EQ$@fO&afIzb&bj5yE-4N2XYamAFN;=xI3gCwZqS=k4Kr9Ztxg z;mgurIu(rR67f%nl5BfXzUBfImXegcF5^WUa8|g$Y)9U)mWpR8& zs?M@h+6lc5U>r+hT1%5!*cts9NQ-vv(J3UM{5;efUBYCo z9=oT7hN^I$4U&L zuow}FmM|Sk{g3Xof#n^_G0z!592$6LrN~S5d+Nc`%|1f;#vuPK?=y5Ucc1py9z7D; zSAA+qx$oziFAvk2-4jsccAm%Ez6O@8SPF>oQLHy;T!xWJaBtvsU`^c2YCf_p{zIlM zaR87RZFaxC$GvI;c(vGkoZelnXjo`PqW48jS#~f+xS|A$J(}N0i1uQ@st+2}dYy+M zA8ys}a!YgIznsS|+oAU+`sMvCpVr3nPZScPa$Jhon$sb3a8IDx_YEHBlPrkXwi>FB zn&?dKKW3nZ0x$P`hJe&AVNZ;BpLxMR=*3@(HHT@ElnW>W&?aMGBRRO)|ynU`=PG_MO;0 z1rP&o{ee2w$gQ=_-@PKKk&j|eQmO-%9K-y0J8sk~R~A^AW~kFe0=%*Tn#1kQ%CvKUxMfUPc~+k|F;bASA55@VBCfxo<;Q z{xg8(BFo50hDW=zrYCZmMx^o=NzT1=WrV&Urvwk1#AZQH!b+tK8(WKKbB)I_APWm@ zL*nq1Ig#KM6Zlu0HJdSR7|9TKg4dj-pBYBCELF26)cA*reaH=#8h;olm#sTUBQ`|8 zbq`+0mejqc)TWJ#s@X zX+*`0ygLy5O?(#B2MJq%0_6j!^;r`sgyAA*Jd!1m*a9_D(eLE8V zGf(lE1L_ec9j3!U12nUq2LD=P+pA$8MA!XY-e^+GCid;wRJZ)`OlS@XUy`o9V@x5wYX?sF@Y%zOK{?6)f$l?+( zz@yoFIyatvTXWnAUSA?ep@8ioZ8sN zct~c_$wLSNr=u@dEv#C{1!veLEd&)K4MV>k0!Q_X7Nmb=xglN7;77OIP`}cz2HI*q z^{e<*mOf|L3IwDqUBQ*#%c^iji{Y+@h(e^5xM@Jt6^{IDd`SJ9Z>P&rgXd$OY1wb2 zQLa5)i2tJcYqB;qFGQ}4Ks)9+C?qiU5Sp#s`mr^Lklr9%=KK)~;RqpVvj_o%xy7D8y1+!tssPCj1_EggQ>RzG_P=6UIn{H1Jxxm73OYTj@`nQfOkF?TeECR6zZJ3^y_8zkibAJ_D@%Q4Tn77`EkaoSqIpq&Mt6-NjBvqawnUIZ?h% z!Nr7(`#YHGlMW@B|2%1w>HFi6@|%r~fQrv$_hVX7I@intBcHORS*=@+=u40@nbuUQ zm}ZT4gt`K)OrPSokL7kgT&v%f2+nq<k2Y9fQ0$+S2LQK7f>igqW_|OORnV;MR%noj%Y?)&oB{b`fw%vng$B zr6CK%Zbq264>-NjNQN&8L8Bs-_-MyJF$~WhtKb=^aQaH$y;{b@7P)zb6V!m=lE&%| ze9Nd0XhSzXz*3l|R;idQh!x)QuKjU!SwzMApG|?a%zv8m!zSg@&~aEGQ2fUao&~#K zd}N1;j?@kbf~2LXGBDz;G71CS`N|IK4<#;jq zh!q2$b`3P-r9ur41cd%Ia&6}a;2O5Xg|H~F0g~T6Lx)GliRE$lX38eBN=7aox=Bfw z)|eeD2kEwaTl62e6YRQf&o)-lOtjkju(-!*qVo*Jom8O0>hNAhSl~hfbTgsKL z3g@NAf>BEq^Q7dQqGxlSj!w_A?RO4F-vPoBSl$nB?~Q@tieEM@g+2~zYu?J70a0GH z0FCm`AAE8{>J?PFQZmV~XG#;sMN+G;XZxPm#(U{3FMm?h69*$DdmW#>SFZK|+BrCP z1y#_S4}5GY93NP#x?{`%a6BXOTUOqIyOzOE<(ESd-VefJF$!okkfy2)U`8Zf3NX^y zVexN_6sWS7Va=^F30S`>ZQh^bfYk8T`&0d48=1fDq$rkz?D**xHOFFRS)9FN6J%BO1xQQ=hlE5#Ars=CwFX=(ThT z++8;`(gU&@PrZn;N!IKZMr~>?MCTf^2ditDJ7B3MsiegsK&=W{Hl>}I!GWi zb82Cd!NkNQm-|Yxwu2ZmlEW-ji7UsPB8ufVUdT45;e1$pK7GBSNQ*FtwieJMxj|h@ z=l71fqqJ$#ZjC-h&n;mc5BGS7zi6qAMJqH7VHtBsmiXG5z4(Tu3FJt(;8c37N5h+sr=@anGypJ`ynE#m#Q~-ucAKD1tr>do4^V~3SJdYdXk84*P z2fOK)cdrm$#Kq+WP+ZN8V^QshVxX1l)JIDg`=JbI9~zZy%yURFB#X zeKIl+@RG$|H_*y%PH3(OmLXFvE_tDUksP5xP^`WIC^iocNxK5`?QDER$Zp0`J#=Qm z;uhK(7J$AUA=TMPePoyXlZw2(CscCxLKfa4=~24OiH9(`R$!t?6_37%B?TPFDy~#q zDLAALsW-((C~eLNcWez4-pEt7l;a!y`*=_mF_Bd2nKMzle9x=QSN4X1duf5AodfV` zvW=(Pg1RLG;8h83Qos*~dXcqgb~^4k78>+-Xsv06nV8q=KHf*e#I}yqwRj^hFn)NE zTgRnut_5-8N0*RoA1|lz!%yd$Q8#>^f@`q6rzBWc24Zvyd^zdk)lbmQM0~yWB?nOX z0-Ae{ct02C zB`%#jQV8xY*IUNZ8DGfi_*Mx+NW@o&N2q(QE%Z3O*ORZ%-YsxGcQlmn2b-3TZt;Z? zyHq!}EU}6&;3VH*7@VPbs3^t@B>T<&NuDv(aFTmw=BiV} zR(iu6MC_j^hf~L`=1}0F=TY*#c=|2YBP&(S9gM^vRMND3Ul||guL~(NY?dn`97rx| zQUR#zC%~H|1aZUqm>1^&3q%5bFa_FoLx~}7QF2{b-9%{ZJtCEnjJ&y zrQI9+ck!-ON0{Hg^cOfvM~|RMr68w`2B>wwPKRgAagz);U#KsB{@oB00MUogGK~al zFjc>-({U^{$E77BS#0Gk2?pmlB|?vYqA>m{NMS5jKdh+x724h-mjj|9m_EMoL=Fi$ z;=xv~n>zklE)<(9Ry=7ce%dUNUxpDZf2HK z%5XdJXQRD*Vg?ysq^c`Z495Cy;#R?{z}V1(bFdD5t}^^Di8-F}Jv@s>6rZxrP2ft>cKt zjpSm%<=_Zz3I0b!GNJVO|De2a{SV5UyrZ45i;;;VF}1z1sj`VW12ZEV6C(=~4IDtk z(Zs;n?(50d^nVX6>}*91oK1+SMR{15SeTi2*wuy!(m1IR0jsWSpytgQ_VY;FHji?X?e6Y<_3tG7+M(E(hytO8#tRgnHUhe{@>*sj9&?8 z;Q0Cf(-b>HOSu23yrJxFZ$b=^GqhB4wt)l4ex>>kwa?MXnV6aFOI+^1q&SGVx!H;T z>-gV^e+8;KcDr2Y-cwc0cB~8Z4(DD~rLpETYYJo5kk-(lCx76f+VN01U@x3~KM1La z6(Jbv=x~;ZmN<_xJ-scH@Zo5}s7a?BXehUyLX9Gwgu??un!CZGL)*-kcL`IwIS{KY4}pX>X-5r%H}^q$}kZEs+Ee`>#U zjMbfZAmV3GD)ID_=S*-QB=1p=-XY@awi&7I7o>|mt*)W?>sZKPK z;5EOQWtQPI+RcwS{gn&PsFy&)&0jW3O#HBX>`*_)@cDbQUsq5$&4p7=`yr)yC6)tATm{Tm8o-|NbLS$hRyD zJ+9YiQ6XBhaBJ$gDv=&5DDJ-A;m5MQLt{autR&V*u{ljyiN-!=TTBqk&;CyDkG;dr zkCVowslO}-vSn3=XQGFyF12}Kl9g&8u}(={wIeb2mKg5RDZ?g5R@m)_v`ny=lGf2% z+6-f*j7ganc0~`|$}`s@ZwF{?J_v3%4SrL}8%!QwA{{hsaINZShIe=CuE@&Ew+_Tc zK*6v3eFpOx{(3HJeb#t}W;f(?dmqB}Y}QsngeF+T=-%Fq%|8d6G_3K6^dz$5N0Xi( z4ONaMo8{G_lR2mjH)0ep^S9c;nxq`LCi|h`KW3*HDHGX5nJY`Rb?Er?tP2nGOsfWr z+)C?aWRIr7MVY7BRR}?v8+>Ipy6nHO2rC4b;klHvK8qUN(^y)=<-8>U)LdUv1;tjACDzQ- zI7a@%5#51n9}b>5Oldqe*x1l;n$;@L=`Ww~a znO{468q>4T-fH_rCe%^N$HC1Fc_VLHPn|8I(eAcs$HT1<{hlu)2R%)-Ev7OL3Lvhn zZ5PB{qsx82cSB!S{Xejk`+s2Te<6yxqKPRSK+@LO#En>siI|m12M(ZQ;bHQ12M16i z)?z09q8NY8DcadN6SHuBtyla{xTzg6%YT6SKLb%>EnW^L5l&GSAy!dV4pB}vRxwUC z4q+A`Cp(adiGxL$9mr4ozlVJ7^4~DV{C`o5_VwL2oM_C;Jyg@NN9CumAt{IXN3RI=eZ3HH?j&je{MIf