From 027dfedc5886d38227890ccbde1353e30187f438 Mon Sep 17 00:00:00 2001 From: CDaut Date: Mon, 17 Oct 2022 17:20:02 +0200 Subject: [PATCH] annoying tixfix --- chapters/Kegel_und_Ko.tex | 46 +++++++++++++++++--------------------- main.pdf | Bin 319038 -> 319023 bytes main.tex | 2 +- 3 files changed, 22 insertions(+), 26 deletions(-) diff --git a/chapters/Kegel_und_Ko.tex b/chapters/Kegel_und_Ko.tex index 4093ac4..5ff02c0 100644 --- a/chapters/Kegel_und_Ko.tex +++ b/chapters/Kegel_und_Ko.tex @@ -570,16 +570,14 @@ aussehen können. \subsection{Kern und Kokern} \begin{definition}{Kern\\} Der Kern ist der Limes über dem Diagramm - \begin{tikzpicture}[baseline=-1mm] - \node (L) at (0,0){$\bullet$}; - \node (R) at (1,0){$\bullet$}; - - \draw - (L) edge node[above]{$0$} (R) - (L) edge[bend right] (R) - ; - \end{tikzpicture}. - $0_{A,B}\in\mor{\mathscr{C}}{A}{B}$ ist dabei so definiert, dass für jeden Morphismus + \begin{tikzcd}[baseline=-1mm] + \bullet + \arrow[shift left, "0"]{r} + \arrow[shift right]{r} + & + \bullet + \end{tikzcd}. + Der Morphismus $0_{A,B}\in\mor{\mathscr{C}}{A}{B}$ ist dabei so definiert, dass für jeden Morphismus $f\in\mor{\mathscr{C}}{A}{B}$ $0_{A,B}+f=f=f+0_{A,B}$ gilt. Nicht in jeder Kategorie existiert solch eine Abbildung.\\ Gesucht ist also ein Limes $K$ und eine Abbildung $\iota$, sodass folgendes Diagramm @@ -593,8 +591,8 @@ aussehen können. \node[blue] (KE) at (-1,1){$\bullet$}; \draw - (L) edge node[above]{$0$} (R) - (L) edge[bend right] node[below]{$f$}(R) + (L) edge[transform canvas={yshift=1mm}] node[above]{$0$} (R) + (L) edge[transform canvas={yshift=-1mm}] node[below]{$f$}(R) (K) edge[red] node[above]{$\iota$} (L) (KE) edge[dotted] (K) (KE) edge[blue] (L) @@ -616,8 +614,8 @@ aussehen können. \node[blue] (KE) at (-1,1.5){$T$}; \draw - (L) edge node[above]{$0$} (R) - (L) edge[bend right] node[below]{$f$}(R) + (L) edge[transform canvas={yshift=1mm}] node[above]{$0$} (R) + (L) edge[transform canvas={yshift=-1mm}] node[below]{$f$}(R) (K) edge[red] node[above]{$\iota$} (L) (KE) edge[dotted] node[left]{$\varphi$} (K) (KE) edge[blue] node[right]{$g$} (L) @@ -628,15 +626,13 @@ aussehen können. \end{example} \begin{example}{Kokern\\} Ein Kokern ist der Kolimes über dem Diagramm - \begin{tikzpicture}[baseline=-1mm] - \node (L) at (0,0){$\bullet$}; - \node (R) at (1,0){$\bullet$}; - - \draw - (L) edge node[above]{$0$} (R) - (L) edge[bend right] (R) - ; - \end{tikzpicture}. Gesucht ist also ein Kolimes, sodass folgendes Diagramm kommutiert: + \begin{tikzcd}[baseline=-1mm] + \bullet + \arrow[shift left, "0"]{r} + \arrow[shift right]{r} + & + \bullet + \end{tikzcd}. Gesucht ist also ein Kolimes, sodass folgendes Diagramm kommutiert: \begin{figure}[h] \begin{center} \begin{tikzpicture} @@ -646,8 +642,8 @@ aussehen können. \node[blue] (Keg) at (4,1.5){$\bullet$}; \draw - (L) edge node[above]{$0$} (R) - (L) edge[bend right] node[below]{$f$} (R) + (L) edge[transform canvas={yshift=1mm}] node[above]{$0$} (R) + (L) edge[transform canvas={yshift=-1mm}] node[below]{$f$} (R) (R) edge[red] (KK) (R) edge[blue] node[above]{$g$} (Keg) (KK) edge[dotted] (Keg) diff --git a/main.pdf b/main.pdf index a3f520773303978204ae7792876e56d4f61e7f4d..548dd5121a55c282c383d6975f3bb55add43db17 100644 GIT binary patch delta 16738 zcmdnDM|k}n;SFYtlCsY}d@$_Kx0#!isCCEb&)4wTXBU94LDJuszH812Hj?fv+G>(l_t*CDLmtZ~0o`*M z%sXT+K6!X1a{uO@f^8=X$|@VH=iiTwuld?6Bzf>eg7c==mN8l`rYA*A3;I*9f4?a| zS=#Hvm-DaZAL@?(dm!bzF7x|>ilE^7>g>$MdKXu2?{bwIL?~G-PJrk_s>8E43Ux(~0LEMYdCOHr4rb zI&&%&IdIsloBrDMrq|csypL=4YgH-bmLFXgV^Y3=6XYAVGIXWGp$+F2sl3eEpz+lue%bb`Q?}e*CeW&! zl<|6*>U0pOi$-_xX`C$DsO|=x++v*%{)pf%9$rA$9gjAP%`S0_zn&9Tu-myB! zi8(yxyQy)PrR7732~Nj4e#Zvp$)8SoY2qU2$n$l2=S8-Rf(u7qZ_3)Rx!Dkj?@5@~ymd}0|^G|!V)Z@*2Zdw_A3=Ley$epNle$$Po+U`mjTLhf< z?4Hp6pu)O$huy2i6W*t6sM9Wp-W1{CbawW{mkhO%ysQ^fg&scGG4R^w+nS*c&goUElT4DAR;#gOtainhSZ*~0ZH*Nk?zpYqm2Gfp;12bNEPHge%+Hi4iilp(fiHWkuI(*hHo{$&(P^ow2 zq%KB@4U7^e(v6%Z8_w3!I1wQp zaA}uf?8$ByQ4N8HwRZz%Gk2;^XG!dk5|BCdChhq9<3c~}AJm(_)|z^_$0_ELaZ$wF z@2_3uz2Y4l{zb{JlGvBy)mF-C>V8$*Do&sKL2>w(u1PNc&K5a0M2kMYk#9buu%dnS z$!cjiGq-oy2Os){{JZkKBsTvVf4$E1&xc~oxK^##H{X1megA>KIh!>WT#wf)KXJFv ztF5$d_h0T=SCevH^Z#zEZ_V0Ud{-+%G)ZcT^i;2fyJd9`znbc#%f4#Wq^BH>@8%oU zw&~ut4%qHvu5(6i&%fudRU`P$Y@Ee7_0yh`FM`u`{(b)XwN>|4p_@^gYSTB{Yjh9mXwWWlbj;nZ#nHX@5aet4p=9CSg?QAO^U0`jCepuh<){>FYqbRQteg9si=+g`FTB%>V6d&HW zcC)tSH^Yoc!n5yLGAs?gAb)fI)?M!!ug-t)U4M1d8jYt1jEz}}6V5oTP82ebkbKeI z8!HrKCc-Jc_j{bUnbGBpG zu?^b6Z1tK>O?#^+Z)-afymh99QCYv1S=qe}(mP6@l?7EgSD$7+>};&AGr!uq`ZRm@ zciua7yMFgBmEK)1$F`n%PQ=U3Md$eo8g)$sL;Vl9@!XqGxytYCmF{9)6H?H!_K8@B zYRbum*E;jGt&IG?e$;-~_x+1`_ul1#RwraE`^#tTX%??Mlqs}*&-o|JM3TZ&&70a5VYeO1XO3cSmD&w-m5>`K(y8(lGgOaNW5NCWc0H-)?_*Xq&lj;~$IL zZxSY_iB}7)P=#=5S#`qS^uJa#iVh|zS0RkqJBwr`hTcCs|~x~hNCtUtJBO7W%H zQh1dQ)ddx=tjv{T?p`&$|NdyvHtp+EL&Glsxd$n(>iF}=LQOza3&3ryBE?Z7Dp4{McMaT2d2Rf&zw`UW$)@t{I<%;`VZsULcS}8fEMM|rM8k@-qc;A=d`5C2aKq?LBs9%S$L+EfgS7h z#Ye>I-|}4AUgdYCHOB0MVIKRj&s+MeA3vHd%kknelk*%Yi7z`F3w18=&70tGaPf`h z7K)XYK^LwqT;TLIsYc==*TXMs9$&9Yce?9fd62Q~`vSCyMSR~%oyFn#sguvVo&kz4XmI>60Jt z#v6LZX(TM){{Aqx{gH^<-4by}*n3pA$!lb)6i#0x)78~nQ@iTdjG6CVDwbL_@~i68%+ zxa7M1Z|&zmiJw2;q!rg);aVv^ef8b?i_6RFe}3F4k}NY#FfW18{=1Gt!SwY`Yf?F% z6pC^Ru5Q8$eyZvB( zT4AlId-!aFCE~N+sr~)+D(m;pq|(~T;@G7JGY>gT+3Bz(lc%t)N??NJ+>+{gQxi(mFD}Lw*EYIV4ASr!96$X)}7p!TA!dA_9=!de^qzWjybjoem7_3 zYt3TWeDzxPrEjyIT-9~pOx9Xq)MPhP(c3Uo%HM6OQqb4m3DM3;oZ+^7aZh`iHg-(f z%*44#OtG%mRHyHOGt16(%85bu=1%JTEn(Td>i30~EVC0!o|;_@ULcgbZXUyejoe~} zrzR#HoP1!CuJWz=cbkZYZCVkd0Zv{APoauyD@KY-1PB1?L1)&(wSD2`gf(+ zmIIvHNg@`BC-;1?eX&}#O^SQt*C$E813h;BtQBYT+x_G8Y|%8SA6sIQS-$z3r)Or| zZC!r#S-ij{g+*(3z5OV3__l=O_WE~vyU*$!a$?};x4ZE8u+;T^`}(r;^R|6_$hG*< zNmmt3x6oPalkDZ?*I!${ctfY*=Zf7{{}pSFX8wElD(Q0U8YKaP8d3TGpHo@yUwR|y z_F#JY#Lge3l{NPsp1P}7vp+&kek;$SZ)x>gmbE|Hvg+8&?RVF0bChX4aQMB@(s;ST zo%I?0OQQGG2X7bAIyiG<%qjcw^wqo_EKdVBUs*9F3F?++7Nq{lxVUJ?JI$x7nmB{`1G)T?!DL<2&Sz2$o=(y$* zfzzvUR3|#Uc`8_B;QLlqsHUV!XpY>HBUOFrH$)HZh}OtHWU~HO{p_BG>89QM=e8JB zOgnn)%g;A=l}q%uB=U++3ApSK#PZwKTzz`~znctqx{op2FN#Q5^~}5Z@Wc37HxKa? zoY>&aV{Rd6k(u#F+J1hFndK!p=I27&BxYMuV!x`3viV+lp4qS?G}C zpWUl?lC$~IqNn^9CNRphEpBsJxA07ta75EBd7dZ#RV1cd()KvD^t#*454CKHiE7Ty z<=@RYnpZ!r@_Nn|ctXEHb;Wwk{qflu3#No;?f+5K<@J&E;+IJ)JI@Esm#{hVhoyen z(y*{I`j6EbHP?vnaL4>DT{creL1v4h^{&(lm$q|n`&F=EYNUeH>D}oI^VS7Ut3G>` zDPQ9~`;65NKNsv#e>Us1b(5!VZQX~rr+44F#IO5i_nW1sf5k~X_1L=iO84r0(-+-a zR?S)3Dl2<-YM$QXa!y9M9tZQ+&o16(>=Ct+dr;rBO|vXtLGkCMnhd+jj^GICqKD7S z=bSkpYv8b84ohiFRgGWb-qyW#>xAQeFqJsp%gL3n=3KpW{;$g1SvQpPg}+UHmiu|v zN{I~$VF}fekGAj0-y;+-BQQs_F{D>c#%-RB+6ETW8y@qdp9ZwvW7^5Q)iJ+O`@)to zr{bKWg|FAtU%zjlVLGLsYuQ=tjZA-ZvyC>K-Lq6$Px-!|!u`b;4|Eq)ORRUSe>{hI zbDOaa*YCYi(oXl6))u!(KCd>~(7;r8@n>M$u494=S> z#Gd4Um_U6liA_BZf6BTjc&v?G#L*Ace{7Wc#!v9t5(EMiHX;gw?*)K#E#a2CVsPqVx7wf64%ptWgs*E+qOyB;hnn%$M_ zmz7W_{l8x8o!h<()63r0uh_=D&cOa|(LQdaiK0iJ&04eTR*I~j!RKX-DoItRY;!mD zSxvvn72kZ_G_vNIP-1O!*4|xlrMG9F{kg(9bk5?WzbX;eGHVTkoBO30wp+T@26`r} zu`iaCE!OW(*Al;wQzlo}y}4&6>qdLmiZg5G{Rt9P_F5>pAT7_qfcw~`^m^z0A)e2V z@b0}FE%P@nW{&K%r>;vg*D6-L(2-2}dS}gx$ny__B=zjty{{C^e(uF*Ei!NZ*ZPM3`ZjCjB9>D#CWKCX z^(W@W3!dk?Rn_{h%o*Gy|NYD=-LP^QZ@q~8gbP-DSG#rvhx`8iC;KKV;?F$G4a<%= z%)H3;;ceGBvxQ0#O{Z?82ipf{8KherpPGKEap}CpS?_f>tu?6n)c#5LP~cC-eMet7 z{4J~b9J#MuRK12@C$!o}Y_cy8`;LY0Be!Uu$X~QC{ia`l;EQ*OI+J-_dm~S$zgZZu zCP$97eqQyo?B6MHCDb~a&}{j@+?O0v!(SJ@i%PG6tPTesHoe1zewnY z<7rJs?$ezr*L~Ubd8Olf+4t$r;`_n5Lg1~zHEF+-Z&*G_=P!GsnUNfIweQoapIu=A z9{raiPiKX(4&?X5^ z&6!JDJj<8=5xHb>X79xB)z7pY^i{m~IWp??p4usw%iXVZ)d|P^Du>N%ePi# zHHBr!ADJM)RW{AyNC4Ami7NY#BCH{m5dtUXZfZFz)NWqa5VGKk#EPtXku%5NZ{DZa z{Htye=ka4=$GJD1y7NEgno-X6M1#5OCn`lWaZNvxoVlyp+#&DL_v4HCW!F_qS6`JJ z)0(90pL_m_1&hklU;ZDI4~WldKkzNJ;)9xvY?DyLLeYonUcXa3^m$CLEc)?~G1Rms zz&_CUXu%>j{)wNCb$J%3%zk`vNkKhN*eA7xwckamH%D2-9QJxHbE|oyAMY>8x~$9j zf8T7IKW|#bWvR)<>>cb)lC4jgW=#FEHc7AZ$t33sr4@gcNv&LwFBJD|9-PXD#@) zE$!JcPbTkx_|LzdZMKq{d)IyL7ap&!qW==Ao4+&Fvos5xyxAUWanXS#?)QEDy)0$c zFYmtE=XbxcCf+^y%|B~4R#(@O&P6l3`V-eT9h2yd6ZX>KHH?1mFH^MP{fdy2ihtkv%J9>c#TSg_ zuPW|sR#N(=Qx{iyJyx~jx8VOnm3pCvRcKiMiyWqN_##wjQ&ReCk&1yK`>wFc} z+Q(mV^Wkat<)`0%T^GIn@9dioSr;n%i66BzUfvb)>d(eqzUi@6%^Zx8|HO+nE3Mzm z?${s8WN9?n&{3oQX-s6l%yz-L>+4_GREm{d-or0lHDOUi+gz52Xgh{Thp<~WuSQf` zSZm)tvEE;_KX206dD&Y##o1KO`g}jWm``kVm+QrMdlujQ>|XM0^1=OEl4Zl2JdRo) zX1(ZFmaixOcQ^Bu&*z-w1C{24-p!Y_Vy;wn^Js zw(7wpA=l9B($6|B@0-3{U#|97tB5S9i?>TWJ+?{pO84b=Pahp$9In5w>dSU=HCvx3?-L!SaE_K&&tTT7XTvt*qS>Jr{@`kXI^1uTTN2dsi-(Z$HyrwYWN_^RR zn@1wgK8pVND=BTfT%?(A%H#z})A!jgU&FYhzF2CD`ZsR-2DU?Uw?4c%+aRjSbj$1D z!wWy#ef_uW_crTyQQKx@D(UKkG45r#UEW|SCiR9Vs^oa*vtn+eMM@{UzpmMM$>H|W z`Mb8|olBY?JGH4#q?d*Dx0na}!{~E!)j3{FY$(0bcE7nKn@?m#yK*$&-_`&CW+r#~*B5MiAi>O4^|1aNqrKZR%f-x=K2dGK zeDRmMJ(E8+^z=M%;bLFIU>|vc|GjZR!fsaU%h?8;PUo$v8AToM?U-ZkEAZVfX7Bc# zFWRflWxv-kNLcc}LVjv9r(tWO&o&`P?imZtE&8h(5}j+U&hhk2V~0Z6#U9Ozkueol z*h?FPc-Z~5+O^mMdq39;nFe*})$-*h70)%VH}Fb7c(N>`=0K_WBRQE+&WpQTyc296 zKbN`6;k_dE%DNjr&311NeZSROy24;nLfrefGQ+(GHgpCx$H-@H$ZL{pJt$K1II)?f zH^FPs+0XY`Sh{b9C9H6qexQEgipZPld3P5Yo|m$hIeO`VK?F}g!O`2y_0E;&Is|9T z4rr4wPv0b@vv5yTjS1&d?U1D`h5H_tu=i{H+4;(gT`O(jFCE^e%hi1BOapX3%(C*m z_)~Hc&osSt@$z4L^ro#2d(gdZ5}W+b!)>?HmIp+qu6}h{zru2bN*LegUvCQEc!o>d zxF!5-&DCC}bG#k%S1ej9+4xwYlId@K)fMi&KV%}7oqe?Z*%gHZ5u4XjwyLFbm@{{5 zZ|jv=9T6XNB4PQ-wnfFV2d}sMN?fLVn$6?(El<{M&CM}PFFuwthGt2AnA4Qjzv1-N z++sg5Cd;{Of7YFJ->_zbx7&%wGc&czX0&`=)6&@MYq~+8@mg{&XY0QFvnLu(K8bC+ zgFcH8GQ^&bn1e+lf9+M4@o(~N)9bd%@5G+)Xb<@dDYcr%Bbi1Z`Icj5|Z zGOBF{WzN>wD79?u=+j%;y}sY#$8Pg*$K3^@zxDrp{Ayhz_-KbfN$b7ingR1SyKMb> z*Y5MKs@=Q#?s6u1+}(GflG!ZfPFLGb2jPN;hpl}cWKa9GpYxX0xmlU@ve&rm?0nz< z-?uAf-Qnx=TP9vyy`S^L<)^6?Uvo-}>WYghEp6jUT%2|+d~mt-K*{sXIek)%`xZVa zdOq2atx6?uO5&1T-bs6G?Q{<38t!jTUu4j7+HXn8%(zc0Sh}Q+o>8fdeRL{8clL9E z`Mm9CB&;|3ip+A>6gg1j_|r^CIHz8_*R;TE$xOvf-&>h;Dy-H12CB17l`s-7{vV{& z+Sba(bp9?4P{z|M9P9_4C7DpZ@N9|Af(o$mV3v=ghxy!s|Z$ zyu57rV~(XqzsVj}&wVDlNPoRPv&YRGpK~?W*eqw(e`2oB{cY{@u!A{Ez5StQ$?JLB zb{$z5s;nJcv~RkD?)K0hVt<18cE30|LHqOm>(@V4ehRlgcz=WX{597fo|ViyYX0!| z`O}N#zQ11mVY665>5qdSHk3@tUvVgKP0s>(Cyj5++^#ZOBIjpK+jnSJdX-zEHvc_= zGqLFh`qLlP?o+L-fAY!Td*SBEZzWead9{}%eLP^KXva29>-ICDAK!0n-5IjlYN*aYCr2OAm_1TOqVfBmKYP|bA`HX|RC*OYh^Xu6xNjcsAGmpw6^pihq z+qbXcv)R6wSl1hqudfdmU;cjmxxK4<^h)>Lo2P&M{oxxYFFsx1D8L$5-|p^hKmXv< z+(HrCFNXPlOO3y={7(qkC&1crZu-LSiIdJ6Nb=^0c@|!ja;`Y%c0oOnVM&sK;Ee9w z`z+$)=IUL4`1Qep-_zf()7QVxp7)EPvDim{>Kmy`0#_d`TC2Oj%jxmWvkuIc-~QOi zpz8EGL{4tmyR}bBZyi6$oF2R>Ryehu{pJF%`Y@N2uj%jJSnH?-%`ITEQP>_Y@#OB4 zxrY~oJ$O{IqCu3e<79U6sS~P)gtF{PRyOEvuY0xVx$6d|TQ99Is)+P7KQEb`>9t|4 z$<+h9_{`2!cwJ>*)%?~}`QM6?>$@J*zD_v!eQ|_Do?*68eA)9rP7|q}x~eNvH%}^^ zxS@Ve(~mf=Am>memLjg0ggXACs#4$Tk2UM7OU#aT5u6sV^ib|P*_E@V)$~01s$9Ev z))lvu=J^6roGYC-uI#(2ymHOOqfS@OruJICVw`HKwdQBb+n^QB#!8bsbmj=2OE5j7 z@U>{Z*M^o^o%Pxwv70z1A6>jDao5k6fA-}3w%=H=vYxkZS<0J$pG@0%?;UTra81%W zxeQoeMvs2mU&7Oqs zcUer?_E+tiu{ze^P}k8pHHUPq6R&Rh)MHcl_1C@iT&u+=WvoirSkxzKzG3B}AP;Yy ztvtzQ6S#k*iAUDf%Zo*y3~61u>x<>S&b5^pe~<5*ykV!uCixvf8`y2j`H~+l57?y_ z__)(@o3`CY*9@(;W&F#_Dm_H5iSzsx==;%Xa74McMe*`9jT?abZ&39dteDL$E{#rkWo4V$cnVPb!7FeB1Q*SA{DDS!b z$G_QW(-YRbx$yM%ltn%2T`yh-udnZmJf@IpczyqxY2vT%2Yg%owJ7eyKk-BB?yp;S zZu;|FJtO8gVQGsGZ$E82=@!6g*>ErQ@X^S%;oJZ3RF&>esDAcg4@37#%Rn75Et_7J zrNt4hH>ORF@ROK3@5nKsmb6K$9k;d0x_pjZdeyj<_4zW96PKU9Jp@5;Sz#=qKoSvJDJ(=PwDf%}p4_XpS_oVKp-xVqxn z(tEwzr~K88EHrNtIa0dsT)wfRV3>f(-Yd}yqo!9K{Tuu0XjYzXrB`fig?*p&ew)Vd zH0Jd}Itw2;z2g1;mHUp)x>=llZ@HIzUwO|q`?=oc`Xeb;lD8h&g&FHT72A30z5V1v zwZ7XK)DPZuS7YT_^7Wmm$tdomFR#=_m+q^ee?y0|8tm2K>&l($U=*$y%)GA;# z-<@+q%dFFjr>t06UsJfR`dJ{$=gk|O<&FyF_6kLR(y)A`_%!gxUe&-gAL{O>s9xW$ z<66SMdFq~Ip`}?-s)0Y|8f!>=el$1c&wlwSjW^`3IzHT~HjOvIXo_KAO2Cv!Zi`jc zFbI~sEUpob=I@oCuu8*E=7)?-r`4Bt_FoR}J@rxm(?Ivh`Nv?2RdYan$*Y*R8qwDQ`tebM;kc?>;}_db7$u zTR!=-tHk3xp6;2tlyiEfS^Q_s*V%TnG-nE@>C5iSEmiK?HDltDZ+pFr)tJxUmI?N| zdw7Xi>a7n!`~UkdVwo21W-Y{3^J&V}dPdEF^zD=F*Qzrc8Jj@*y%C=IO70^2K5M_? z2zurF_VgX2Q!JT9NpEJS^WE6ODS1Hhz{&gPSFc+d&QvCHGEjx*Zs`5hRlk$muC+}3 z+48l{{*K?hzdF1Rd2BwzzPW#kvczJpIs}1}vEz4q0$yPj9diFTYe(|K&W;^Qc%lJP$ z=o5Z*VegH+va5!AH50?`p4Ujf%o7>9`^SgNX*=z7%6HGY-M?M9&&KdjX9!Qvv?E2F zK~_8d1M% zRlQn7;^Swnm!;&mH$D-&>DqcLfoa`g&8?}S$2Un%3*35dzd;`Rsh5l&ceobEc8A9F z&fl|qLZb3NS;ei)OW(RG3cuMj!S=ydr=X_}#(`zrzF)c@iA{X<`)59zmsF447o$_G z7U$Qx7OiLb)ZBHzbm`Vfskz>2=7CFXzbamesL!l$bhEuTalL6u>z&#|`|mgLwtVza zyijobqu8l~nM-Rd+#?$wEwoeFETpM=`C#hi+*!J_zH^!CKKaQuYh8tcd5YtvGqLp# z?g;Tp?T>#hETr4WeY=}*a^|#cLAg5CbGsCKnVSnQcSd*2tdEnOFJEU{`l@lB z-uC0me}t4~yT?k_bu4v@=%3E@M1Hl{sX%$@7jH_o+Q=n4R@dBGxBBlYuk}mQuH@gJ zSGN24zwvfEt`Qzg4 z+TDF_7W{?}<8C?C%-gPKU7Z`NZ7Gp+Pj7|x;bT`#ZT1J-?p|Wcn#Oor>P+LLNy)r6 zYlK~|JSiyLVYJS($KqN2+0b*M=QCr?icWT@tz}xNmu0kY*DRTN_RCH_Yclk`0s|(X@m#v@p>u_WB+KYM% z_9m@lFkCNd7W`nZpqhNYzJ|&$$s?b>$j&< zHmqN9^#;qfH@D3X7_Hj&{_%|3+bb5A(OAFZl?)BWg zVSCQyFh1=piL_IT*mQ0*Ej=cg8gk3fyIzHF71P#xFPa;_-fLfX%|Ptdl|K{A-8%kT z&wIb&cbJmTtVgG2zD&L9=kcJ?H2Fe!uZ6IPZG*$tAduF+O+mY=hKSr z={sVUYj94gaPH*tv@EOp`*JvdyK%kZ%3`IY zNk=ThJQ*FCX1(x^3O)H?PMOff#j>%N|1@fN?CWZgV-Zq*ICsTr)gPJvrmWaJsjF+5 zvHd{WItX;8|EtE^hY*xz>ktJ?5L1&%oTDAoV z?D>-6dsIqj$EEr!hpW~F@=JSu@CxQv=X7F?Ex4Af^Xg%Z18>xn3bkFIDr>avMMS!W z%waVa%5pl?zeaC~Oo_3^`|^%S2_D@JRRxo-FlfDC{?euu=o}E@c`sB!waHOvN!P3^ z&1!)c6Kt}CWn-H@yjXmjQOi(BzinAprwH>FwFOM6{xA5>3Gb?BHVG<^ZM^ZsQ_)6> z{gqr`r$U=mfbO!n^7VHF_3h%WPOUJqT3vqR?#ri(_Qjmh_AmRE<8HJ1`Q_I)3vJaG zKbCI)da`1R{ojDSQ$=5&ny1FLIJDYu@9l+wX;)-j7JS|Rua#3vs?=z%?S3iQ>r3jt zFl^Qp`}$_mmPz{W>m&Yrsi`-Nx-#{VwDqF~j+J$PHVUx^yuI_P;XrT9(#E5cZ+`hv zxp&3AOBvt!v_3BSw_(LS)8f1|ubFz`UVqIuTos=7YyE_NXz8Up+p02W z?W|qt+UH8S)Nkp$mUEl?I;B75_t{$R_6t2P6RyNF%$^u~qvTK6hN%m3+Ab(X<<&Q( zFl-YGk?Jd8e!{u#d-lPb#(JO6_N-=gVGL+YZ!F^UT)EPDRyfz|(}}Mo*WWxi;W8y$Iny^hMU$LL}Ea!+V9yr_Xw4 zwzr-tU0C#N_RsygjXNAIA|;boR&H-yl|JL0wecB6bMqy+@i`g$(lhe3oj?DY-#c&q z^?70;OZ}sE{SKOn=Ta?s>hd84D-KY!llz>Eh40x@U*CH{~Ww4fwQA zb&hJtY~kMe=tE*9;@cGV8|O+#C{HoqQRR!DliWJbknMBqkF|`?*bAZ+tD_~V1a*JB zXKFJ#fA7tvcAZsc?sTuI`7HH$+J>WXSGc2H_x?C970!70*_v0|48HVe%zDq+c7Eel zyO60ntgQFWnkyTcAHKP(`s?qHg@4~H|64BcYOP<}CC1Ro&hmQgBYZ1YluuHcvZy9z za`RE?9+%hVr_OU0zP}I_>iH;^&Gztau1sxb&&htX&ih@|GOF6MVC4tCqe0TnjtA9N zWiOGBNOj9f-`T5nMkjLavEQOmEEb)1lU{DDaBrE?s?;@6s`lR7JzKB6t+Z0lfAON{ zmU32J=@k{Xt5$Arzw4Y`TmQ|e_)IyIZSR8qTP*S~{6e@&*M7Hon0n#*4BP8lOa#Bn z2ENK*aeuqlyhNRK@AO$_XHVET1^099ouqQ>lg`;aH6fE0=;T+-4)dA9^L1wSjAxCy z6Bk66F4n!Fd+SNu*;@U~b!_uE!ir{Zs?AHDy3{O8)o#{Rou8R$8rNrkn<*q$@9w#t zbG4Jzgj_Bgj=qBx56-$TXJ$KjJmbRRa-Jo}Qv)yEvfXXd%5w8r^3Bt;JwCmZUtBUF z=>3Wk2EntMuU(3lH1s^$d!Kv0<*^gRcOKl>l7B4j>_Ova%3B21zxc7p@rL2bpVNwd zep#t~QdUTLYWs=Be6mx|-bfRX~<4w3K!{Ef6XD>+5Wp-%?v$pG))J zozpgdO7ZsjTXt=GpSt?oasQG_OZclQwNIR2JM0m5|Nq92m+MWJP2O~hYlUg`)*J(E z^R>}m7Y0r_68&tUbGBXB=d={F(`ip0`57l))DC_cmi)Br<`u6~QMO-ib^SI@J+v!$ zzjMj|DTu)d@sVwqvzr4G_tkE{PLt%c7{47}oomG#$c}~g&KdSrW`z0voGw*3V z$0`9qfp?1v3&MjQ^*#Nq#bj#bw$AvG4R>k74vRg3MzfhcDs!S4?Isq?vz@Ye$F~_r zA`c`BFIp2kDcSPyGLwmJKRM@R6}*!y zEX#y$a=5?9d8t_xbEx)I$v2apizl~j`ufWEN#en0$uC1U8%Zyd=en#bVQ(F$e%tt= zmFL+9TAMc+#>!k&@!z~|>e@~7%C>H;44bgMbHl<#)gey;i#tvpXOnYapT8~T^yZ=o zwt>%>z++u1ki5_pCC<;T0ze7;uoxQVR0Yqi~A&e9o29;Y^n_)Gh087t(WqZAg`m)V=LgtSXYV>|g_5VDn*5q0Z z+m~Gm5A`=@-8udJ!RpGw3Db?F8k??7kI>Alf9E~r;mSuGNA86ts&eSrR@Uq_bol<} z)3kS)lPfKlcc$EDaAZ%dtnGLq;qyeGy)>a?o^jd{Ztsb#SuBpn=iJz+?B%Fr<{f94 zHcw||NRs-~9kFo^t_klK$E__XTE*ZZb3F09f33IP&mC?@H$AiHz0m!_{oJ(=9cz-W zZQkFt;7Wblg%cMy6h&R?ywg`BzS8`W$-dPtYqq{=nrpJgbe{6YL$&;_`FDyEBGb}+ z1C2MbIT%;`d?|ZJ$hs=Fh3WjhbCFlql+Fq`kY~OA_^e%}t6kP`@=aX3*kjeNs&(Ox zYgdSF+HNx``Ha+E{a3B-&v(yydC_Ly*|3S4KCkE9{42Hm1xLNt1Dj8mj=Qw`2X=-} z?%w$4p^k=w2f0J>33r&pDTS2RMKH3wKWCFnHBn<`+2s z#7_B*9Y1FOc$0eX%|l+bw0e>IJ1%|hSoDyu&3wiMHfcAB`vSdu(or`YynYCk^Da=? zCo8FHw#!Fs=jAr@ojuBe0b1SpzH>SENV>|+J62RF>{WPU-IgR%MN^L+<&E>v$;Ll^{%t!O}=d+(cm^pq%DjMTm9M<>p6ysuE*v+>dX;6+z@jth0CGQLe^jPs6t zF)icMUsW+}A0{8x*;};VSsy(J3qR6$DMK_*Yn{~l=O>?$PU52=ary;9BY|i88 z2gjr*n`=o;2`J=xZFw~PpIFo+qvY*ZH*c?3R&HG6e1q?`(Hpi&ijp;&{Hdo-HS`~D zKANVmPvLy}hJO7C4>doWwOspP!_(9qkA4bQY|83fQo3NKTN2}n&0>pr=SXa;G=0wyWIg-%f^UJEWjP0CJ28G$&2HLu^4Kg6 zPlNg0`ONhbj2IFsB4@lz&72Wuv`>d2fs={(;)i`YjW1Xh_$)4;Sw6MW{iB)D|CkQ3 z580ERe7;n5Q)};e8}pj=UFF$40ibXamYcQLOh1tO-)&VT-G+On5jx!3&VfIkbMngF zowVm{=~ca+&Lgu|sD8gI)O6~WLh|YjYC7D9rcKWFeKDo}h3`83i5dcpCYlTOYu`KZ zfc3=QsyZ9#c->{2|2RGQ_@Zgvo{Dd8zMJ>gSD5U(Bk!;N`1I>;@h=rdRj( zZnE2JQqw!9#e0?5l8oM$9hv*n@ZN#vqkFBStPnMc~ zUi|A(?@wvgk4i7knWR?#s@87S!>_0RcUULI-x2kVJ@kbR_ zGvh9Oe3Yc(=b~Ft7Wlu?c2-Al;jjEDtroKT*B^cPrAqDGkx1L!3mp5@iVN%Y&e_M! zy*@oj=b!%{MYTsxFw5SjuKcxXUtcO+PqX0{G?_QA!~W>}>z7@9 zljVA!eSM|0eP-v*8Q0%uPW$*QcC@6*hCPKHB@k zyGB6%=>13UtIYo1*V)u;xNz+f?R&Fp!vyQ=>VCaCc~@N5^~V1#YAtIxe+Zt560I>> zYE-fQ`l}7Adu1z0=;kTcrz^2ZHQfJE|nV1FoDgc<-0bx2Y-laht!K|NZ{3BICoigx+%Q?>MA?-swVi z-P;MDZ>rw6T##!v<)8c1HF9U&j+?G2udgYaw*H1y`1JZK-Pe+L#hF{oi#xka{rd54 z*T0Dyzp;E-Q^2-kR{Ui7sGjB1)gS-7n)0Qvmf1EsL2E1TjQaKO_x}8OHJj=4hlc_) z*sjfvzxQ!n%u4HRORX=86s$_wy(@Wo1Dh>}#+vVXxASi=Tz~iHtv#G|IaDGM%sw?)O_j76JB~Bh^UmB&$h6_ zNbj%b>FFjXPjPDgH%!a8B+}<0y}A43*Ey3qtN7TJ#2%mYyz9??CCu;V%ggiQ>+LGo z*06nP6I;g{;#eoTqDj7mtH)e$dZqK7w;z{p|2%p9JDZ9f{(o%i?UwND+xV$P=l;?} zw!%tbHt)?FwxxVv)U;n&J$wGznrn;I%jenslKrzsl4sG%TTdlcRR})1#xwCpUi!;0 zzEf`+a%xH{!&d$HWwiQjhS}_YTfORku3CAnUi``9=k)rVf(&+e7#)1Zr^#OkIe7dSey(a9*W;n{Iy;|z+9$dy3BUVTc;ZL zRsH%=@L#dM*yM@miAJ^OAEe9ntniF?KHm1%$=iS0q5RX^&%O=Q`*8GO^K}2Xe+57O zoO{^dc{J<#C8rq4!}&*}PAkL~y}rX6c67eMGE2=5Yw|uOZ7V9zuiN`M;lJj`P4-7l z>v`s0Pl}eR=JyomyZfup*+1IovG2(<`cqzB6%X(3FW$8C^vn9B)P=eK&XjGkviS4z zEC1%7FKaIR4c#4~qnR^_RhGR>ze#3V$i|3Et#dOkC-qOdYo;tc=h)xV$x#_`^Dc%w zz8w6?Z2AwKZ)>^c>NXZ_UvMdLtMA4i-xnDb?!D+(kbj0ph*p%0=&%{|qfU z%I7xKY4Y!>mH(@zvsylwe>(J;)!yT`Cx3Ml_;%s?ZiX9i z>v$mhF{@^i#r)6ly#=>b7yeM@-}f=;*X^e>-Z?&GtNHbxec>_jDW9%(1zlYz^55i= zvT2_Gs{?MK)34oFdUcm$z*}Ai-`l}f8x~$(xaFr~tz)Kv>WYB2wo4Lr{wt>57QS`2 z@nz78>LUH4^R5N?uk!D|HE-TKHMi+8V?KoI(sn6L}+w|odOKBO)t}kESI!!xu zEZkc#PvJz4e?WTdebp7q|KtfMTwi`X&)+{i^X@|T?;(3w`}IUJnw@sPJ(;;aZugZh zS8g6tEc&Il`sc*IWxwu3=9F>1dTIRaG8g}XYb;Cc9Jd#Izk4-l`hs~*r>9woGql>- zZvXId?$V&?bLQ1sP5-c_)H09Zxme!r&8J=pBtKcc!ExUHmSbO56mI`;_HL-h^f~j4 zrXM`KX641&th|Racfan?GyN7k$&1xun}6RvUW>O|_IvyJ_t(yh{2B3tLHfhZ2h%@Z z-ey^MyR6ss-Y@^cn8WAw9}Axn|Lp&~=*F6m;;HpH)21&7jT70k`|JZ}%k))6S5|EL z8XmcM)g7Vwo8`AJ*2puPTO%^|Pb3=1OOB0jn3b$BfV4UsFw^*hz201zz8aufdn;AJ< zx|tZ7IJ>$Tni@NsTN=2ynj09nnAs`V5L6P&rSFrPmtK;gU}9>b0G>2az3A-`QYdru zAlHHr%(|{PTnD{?lg;#29aWc|s@KR#Q=$qvN2?`H175LJ$9X zpXF9j6XcQIl{$f;TiP^zf=|S=^0W1ypGa6b`%T*XL?lx!SEc(*%Tv4S$Ind+D{4BU zbaTU@?5bJLX@|RRoA^&Io8(@U`1JeN1+7meTW)aKocH-eOvK;(vm%iW&khH%?h>8Q zy5SoCtZom*H$g$0n{^bs6YqwXW-FaO5p-kim;alZblShhT+va|PTb3R_G*ggntY$l zGwRng^7>_#O)5>%eRI|Ru9Tt zPyW?gd*HBOsOq9`+N=I{?E4oGsyJ)kN~?w)-xg~%?zkMnE@-b28mcV!fAK0u8`FiW zT>ohQ{lupzvNZlvV#_J3P+2GM{jWFX+qYtDA_IpsHhJ=1&MdHy8l^Uo_jKi%|~ YeYsw!{dCcLEDD^4#$2kZuKsRZ01dQNOaK4? delta 16766 zcmZ3#M|j^J;SFYtlDf}6d@$_Kx0#!isCCEb&)4wTX^sXKdiwWL$Bh{muegfeRol8zzf}I%#$#c|i$9)QTKM_(_X#4JfzD@- z`Ze$-rKh~?u(|#|#$v|~{er^EM)vvl$PQ!mW!#Th-pE;==JiW z?GQjVv!;bS zIQg{d`wt7%~TXjEA;`#1WQ-RFQYqx!^t^U6I_U)>|?b+}8J&zbXirFsI z`P}1+_Y-wx;reh7Az9DWZ>`i%IP$f&Wd9PHyZ_$a_$%d>-)1;Rj-rUg$(9>u2=j1fsOmk_62Ia z9z831zP&qP;k}0`aEIWWq$n=4O4ftgS5sz2PvuhKd9CZUX&qblC5JDeb zEtJ~I-f;=}GX`&3-T1!aoQ3XV8$XI& zp|4-YgRa*L)7%V~tH>}1oe(M9zy8(PodGoI>{%Gkh$#c*5?<$mtpYrxvXXpA=R{Rkh!IjgF>cv+IIZkes zc=WfGiDmii%p+d|aq8dgNlkhN~W*&Tfx%9AvUZ_}2L z$C1Bw%&mXwSvKwe`Lc7&!7S4mB!X>MZkpgJXjU~rC-|6&(VF8D6L*%1T#D7&b3S?1 zk|chf8*&mS7>zaS_>IcrZgSShHwtI%jw{@=*{j?m#^#HT=iYpQbR);fhO@OaPDIED zeA=a0dvdjpsD?np+PeX>nLC$GVM*+e5|BCdrtG-yhvqoefK4S2VqMszP;v6lezaW z>(jxu_TGus>K1oAPsx}2@2ZuyO7+LJ zC9nPb`prKhZ1u*q_V4PW#AaQ+R=zqRv?DVhFG%a?yRt1j#o9-s_(HCxoEBudYoGj! zC%W##g1nh|kuz*r{+!&|LZn<*i>*uyx|iY(;w%={KNfjQ3gyBJp~)z{9|#s>NerWO?B?;_3yj7i+=2p z(F^!?e@nj0DUXS&y4Abi2)@oj&_SZ*wsJb;YGBonCuZg`Ced9)+lt}85x9WTL zJ>;Jt5x973&f6D%6l}WQPknfFM}=fqeRzy$e)oa}^Dat$)@XQANH*^ex@H?%&zRVnSbq_ z+F!p9-uie{|JWgX5cI5+(;zx;bPM3NN z&R;TItj--We;>p9ofir=Uulh6xcE#bJL`GP>Jx!!HtNNzOXn2vTYrm5o8i>-d`i4R zl}85G0_}uLraI?a_7r zfS_+KA6QdwuGXlxWm+~@Z%ZlLDZdrlRvIQVht{2QFg13Y`_}B=p=~y~7ynp9=O<1s z6R);fp{5<4V1CtX%7uS(9>2M`vSF9cTvMxB=HD;>OldlBY?1i?Df<)ZPFYHx@i%~0j?Ph8 zbIY!`Ro8M}@+f`R1N>gu}=-oN# zyCu*~%34ZQUtY>NF@5>l`3Y$@877lwew;l~d1~H)(gZJ+Nuhi`-J*-OeObsR@U-}x z{`^}PpWatq?ET{HIg5ldQPTxD>VqupZhF6+==aTUUhBS-{j!=Badl!=brKcDR|)Z`NLG5Zb6`GyfBJ z;LL;PoSXMeQ#Aasu9Zo%SDO3c2i3;pI zQ>b12+$Hu*YPHp|y8@N-t{3LF{MqEpR2!Ah5zO3dXKv8Pdh1}YuttT*Z<*z4`tDq} zEJZ?AIQH}_M=8#kSE};5OzjH)Ok@Xq&Zec_T{4-O|NB>uW>VyX6KLdS~DU#A;v zRG;?sot>~tTfXzt&kW8z8`spb*?HXkE>T@FKWL-Be7{KQEak_1t2S6?SD$ngwXX>H zI;C7AE9KpkSCyMSmmFWdak19o3ayX)rCTNccbz&`_g}w8SAfZ0hV!hPJl{M&2mfi; zjtC^@_MYSC`7-n%UUGV7j0ivqt?@>6>{nJ3royzvvm~ zcED`<_lK?WNo(G^^5{Qeb`!eIue?(A?7NI7J#K{)*87W|w7U^&yZA6?PQu>HzM|cw z8}&9-md1U2byRs?{rr8^Umh1f)jAmYz%k_gIW0vU<7**)Y!bm&cVB*W_|e~q&%4up z|9-Z(=-20)XP^C95q3*YFT8&DV*mI5K0Pj8+h(yR;nG2-!grBP6Bfp_R_aGhIIbeJ z%&Gm!d&xs$9wx#;+ZEpNi-fX5b5{q8@uyJTj3GikY3j4tA_1$Rgr!A4O^>L=JTfB@;mUJ%t6_EW{ zET1JpXldlR#UFb^qSx`{u!=^_5WjtX%A5LZ#;`|Qb(Vf;ixD{@`iHSt>spO-hR~U7 zzgBqO&kULr-C(Tf6O_tUYveplFfGT1HMA}B^4n(J)+5H5Rx*>G^fYf=VVJJ0aw4kj zhi*Uw)8TfWB41^}sQYs#b^eyHV82uwacu32)FAKsmyDg3w#C>oIy@IwO1{E;v`M{D zHTz)wn)~Ul462C>+O3v{t!-uf&egYa+JgTH!Y|mn1dr|zs{R_}#r&pM-ZCNST7&h+ z{YyQHeLDT*=4XhpFM9jUQ{h|ZhciugT@Tn_iV705osx3z?fqcBnE4OW_AK`j^?bHt z&4K${&TYJ_C-=>x;GCMc6od5|jVmnCFK@{hbFJV$V^MD|ux{I`+6h~xsItGQQ+d|3 zR3&wms_D1&Y#i?YPi?&=@5IwPvCM|~g8Gt`6Z+JrymIC^A!2e~?~Q-R1t#^J8O9G< zwssuqU$B0fM3&8wYm>X*x-b3u?0c+~Mee8gdut3XA6WiWO1YqBmt}VQHQ%bJ+<&Z! zyh^uL-IUWe+`}tqQvdqdrkih!bXY!o5n#5pTT}S<_3J&~o~6x}UuU2-FD7MDQOMI& zg`b~4e$1-1;+QRA+`oPGXZcIoe%<`x;Jy=xcbkJ`TE)w+3DvEnCdI1%{;OG z^yANL;dx~*|0Y$|gm8DZ9SLsXUlGNWNJU4{9b5jyqxFW`W5{p5qs*L zqq(j>IOC%EbpGtkSJ_;eJ}uBO)mD}Myn1HLMPbg?*WVohhrk{R&H(|Hx>HAIg3yvg-2-mJW zs42xAc7Eko#q5to3eo>;q?B)^EKwHq*#Carw%bq7KAp17U-sjptXcM9JAN{A2Tjrzibz!9Bg+8B8hxrb}ih?w-0|aN|xl z(z&-O;;@Ca%p$`xS=MGd3V*%0xM;~+jj3%1T2{7uS>K%crN>KfnPQ+s zgJX2JPz&0HECT;eZs##Q3d+~R1zck2(lF=!3R@;nu0y!J|* zoFeH8t=K+mI+<)SLC8{%_Hi+;YCFM43_3Z)OqeXPq??hCP)^DjI7ngO$n(HkLkSw9v( zt$F`>=lkoe7RqdQ^x}=?@wt`Y&U}jhfRMC}^8C36qgK?Zi_Ym;z;OL_-CCC%ckMq< zzqTlPY(97+oBMaY`@QLk%uiL)dXF_cd86aZxu&&?=dV@jiWV(NuOnq!f_O4dvWSRp zt!ZeJc~Br^y2OiDH0(~()_~v5jsNDeG;jRkrZV-?>diS%?3yna1TR?F{#&}`@YO=w zWbbB)llqNY1LA}0_6KDwm|~u`|A$xCu}9vEUaB~E>VKFaVRPhal+5S3obWF zt`V8z5%afn*~|qBGFLRMccos~w4Hm~w}K5uyyZQ2$BVsFzM9?jUZMTwMMP#! z>CF44EENV!(Q8+`=T{pTUMl3DUccq+#%gBHlha>0f7NuFbLiFt?(qE&QyAYlFfa+5 ztaxnnh@0)T?whZkw;#2NFOdF}_Wtq>M3gU#3Hsh6F2E%w{<>$a*`LAEtB!f(X2 z{aE{6dcBB9noP8-LTGw*d!SmsZUpz$+a5Eerv@nRRV}K{ntV?vd_ku4l&LqmCfog} zU$MU~AX-D7*JpOP65}7;Y@?03iEpj?ClHNoa^Ksf$^#uFyrY^=y2ePQ{|hCg(GHXL6*p+-q!i{CG6+<-rXb zA8NH646_dtb~`R8V0UG*#ghZ}4^#M6J6kt)2-hp@JouPVqHLD6toZc+iN_Km;Wk}N zZF>YN>evN2f?i(;VsYeRZawO9rg@W*YXir!NRFhSmsdKsS+!U^QDp5;-7d~0lh1q6 znTcI4u*uLz)l62hyFkg&t6|HZWshci^^3_V?q2yKsnS+?sAvoUS^bz0)8d*R%9=TYa6P=X9MfdoM@J{Eds5 zBRlOW>%}eG1Z;99@^D$1OMhMSykI8N^f`x@YQ*FlSXi#Ni=nJV-1VP-%ZZ)Fwtvu`4?|j zJKkrINcr)6_0@yRW|aoi)H^sytAuDj^NTf={$0Ldb>heBX9uPkv!}YPJ+NKc?sm(m z1l^E>`)2%_xslDg%{wM_*_?=17E0CmGjp3S2HQ=^pW1hd|HE1~_E*~sq$FbAs>rvYWgOI#-I*f8{aEd*`H8wn6&Bq1yVp z3m6oY~A?h*lf*eu3K}$t~T$<+P5fF=F;PDI;l|? zcb(k2cv04&%gXnr$KQUMzUPz3=jVTxGk>r3nzbeE&Z&cE?{lvTVdkCrPpYc;iP--< zJ^S_3qxTfnPhB6lcKzkUH?RKMb92tK(^2~UEs;9qXMbKTyJ}-MW4_eUIc-yXiq%SX z1lMt8$~?Pw;&ek$DNz(sPcX$@K|#`_BJrV|w+wQ%y)Z zT1fwdRQdnnNc|15?FUQtxq)JTm&!cv%dz_yizeTf=da7z^~lyPQ1+3OrrGC^avxr2 zht+p}aM!W?aQYl@W1kQI#g^sH0Zi=c4QyNE7Z#s4SSH?Q{Vwp&hlW+J>Mcw^&bF^^ zn6aS6c*ch26%WO4AFU5E*4^52K>7p6xsY29foYD1-Zn7L)Ox$|;Hn)WNjgfGyF9{= z>c3xh%O=PS4#8@smbweXp`CifF{BQHt_kF&5Ozrrx=jPITB4+3@ zPj25~C%5LKt+?!mNpbbA4-G{_K8F1_S<;smR`G1=j?=C8-#z=VqL-^Rvi`rMN8X}$ zyqlby_G%<56$q7Ic-yQK$8_M(SH^I47mf)&3j!@x9Nas5XXT})tpV|$rJfs0_3FM` z>Q}{{+~s9IQ+4xqrIv;u%^&TtHX9vS;{M;)-z)Z}?9%S5d*`kb{yER>@t=RY*_6B7 z0@b?HwCoyfx#!vPR{3dc)v1u%ZQoe0ad6+_XG}Zt3LJhsd{JA?Ej4G+VdL=kGs}v_ zAQq;H|16!6==5S^>l@e4!cWaV3Ln{U-SPh2Mdc#14t=i^{!+$$_rmnHC1%?fhJXDs ztunDrdU?CDv*h<_lMY^+dvxDD;j6_@RmQ5Xdg;7S z`K0*b&uJ%lKToK7@NrlE`8_#|%$xq`SFTox-t6qyAIoHD4Cz@tjfpIl*)CXjefyL#d_1x(_Gd1atUIELQuWcG< zr@mYFIKQAm>RQ*kbzBmwTZ|qxRUAl~Vahk>SNFT6?t2)m_OZ`a33?Xm-7wP17Qu}TX?h++djTp@=E%K{U*kge>vSD zY+*(I=5bSg_;T+%de`*8akXh@*SZKh?<`Liu+u!N)76@NXz8cji)f%Na9qPCy(FRC^Ynx#A5`z&kkIKnagxJtNr3`a$K=*O zKMa}KH%5Oj-pe*!;Y-Q}@c_Xmb5EyUW-XLIa<%&OwH=FQ?ddz$#NhVNpWo0@p+nOr zWz$rSumdcmVt@4)-paad>8O#;7s9f$E6u0#+@nK_?N%~RN%-+0r6?n5!qs|<^?}N* zFD^YVQ0Ke;^TT38D{jYa&d-?_?iS=1SmAZznrao(YgT*F6>bquZL&0~_N1)Rq7Uger!t1Darzo5d1|tnkDt^GF&E#t%Ow8rxUzYto3Hn)a!dd0s{Qe3 zfTwfMpTgkW&Ec!oZVLVSGkj0Y3Y9RvlG=|J=ay*mvV z<~h{wpZCS-{63b6na01@dP=GEG^J18Bv#l~VBApgdShVH)EC}-l5b3IE`D*v<%8+M zx;ZmWY+}6htt_bV{euP58LIx&I!p~?Gg_W-Q~6C*;q4_Sos^beX5OEFO3+68%_PB3 z6-_xu-z`hDU70A5e3?flWx?0YWlNmww`dqWFshus@LT<+-S?w|7gmS!de5GxCiTv> zy0wWj=S})oW5tlhf?tUz=11wYzNpXqrD>!$^?r14!}rUt8oquDt`_3{w>3)jsER;p z#D}*JdS^1cf4ogU?ljwPv-+${Dkpv%_`me~-H4|%(_`1<`zMGm+HC&0`)HA2{L%T( z!(U%h-lBYJ*Twl}U+Z%tbZ4BhY)Cj_aI#xd+C^VG>-ybUeL_dsV*|Dvp6+|BS-NKj z|7mky=>)z<1zFzGKT;m;+#u7QyGB#*MuYt});C(Er+b6Slk>M0@jsR=Ex9&D{es=P z#<^`FJNpk!*mmo{-fi!v`!b5$OOj`lnXt<*U-I38fTcU-`>I!!Z?}D3U-K<SSEk0s0WAW{N_m&M}h8LEWd^^k8 zUQxc4=UVIP8}%Qj=ihtSJK=ci674f~lN@T#3Z1>?|NG4CS8pGw`Kfm(e*JOi8Sjq? zh1yaXjfw(?+N*6P7A7g#CbSxVZpx{jCdS=3(sx5qvruzln$aZ|vE|XfEWO241+l zEcKiG4^F*&`@B2Xm5(aFckFk}Q0fqUwQl*hSrVPcxqGVLPZSBSTEybLLclU--mU2? zys{_Ws#7qx|KpK$Sd4}H|H5|(4GWoEnLcZ!s?O`l)HL|-A0AMAE#W?+O7fW}uGy;< z|Fi#FS{%{k6Mw1KBIwvejpz0o9^Jkw@c!7ZGySGn^@>ghlr`6>wq9ntJMmlD$zu-F z{hl0Mbz;`Mnx9)F4J@2eCw@Pw<8obaqQv(D`|riDPuO(R*wI&_=Ad(~R=~fVvStRY zzuz_7%D!JKw0QCIwVEF*fXz5G&n9*zun?+y7-RcYY$zGf2O{-v2xnO=lAo&-rv`|c3pnfPxjzB8Og7G z_VvA6vF^07bk`{_wP=y2|1`QjZOXi9@I!5FiQsWww>^?F!Bg9d-kuPg_O@@AkLJVU zXCp1G-Ro%7*qYk?w3V{rQS{TZ2vY^{QYKj zQX*Rxk&Z~yo#Nixwt zZf{h~-k%%xe39dOeEpB%`RA|s8x__*j$)nNH08BgOjG5dr2=tgsyq)rM5z2*rYXpG z(ek|TbCaJoXY2%Sp7E4?XyhHeBg3|y*(}g@#_9Bjj3-(>*wmLY`bTfe6VaL)O#=3uyz2hS@~x@MZlCw} zo2xU z22JhX&Iowky`t2$p+$=~uX?_l>6R(UDeL8bW`C^@tN*EA7X72|+}pp6majT~F+0mL z2z%9DKh(>7f13>O$dlyW?Ht) zds$%2Vbu$=DI3qU*@#6Kemmdz_{I!d?b?`K%Wr(+b_)7+u9t5CcTA9z^`jYcb4oZi zv`8`c2K`pe3jSU1@!sRzxohX+q}EK)n0&2>-)~y5_V)EpnMz%1@5mSlZ~Pu*SMvR` z-jdp{R_nLz=g_`Z$;DQl(|GlQmdd9ySH1sl2wNWK;p1`8ySOh`_m23<4e9rTP8*an z?>+Eo|EXCoHZ1mB7N&l6>G_X-GG`BG)UudvSm}49Zi1Jh9M4Tl8}54h)=Q=G68?ua z#(q3m(<|8CmH6VL2?zhuL%($Q**#UPoz`K})wbcd0BiMvhBX1p7d@P@?N`X{IzhYn zbJu@1R`t<7pD(_D-i^pJCpRAvuH)UhX2y2?%?H00hWuh#{)~fV<_%x(AfK;KTu$6% z*J0%N@hF?!spHKP4*lt=%zO6psMd4t*%{I19r=|}fBIE+w{(@5`nIhdA3At8$oN0~ z@wbao!zTJXce6fpyz5a=e&DJ<54|<+nEP>a z2+7np2yt0>^wb;em1|9!{Qfa(gwxyK|8i{Ct(wnr@7KhgVSiQj7JRS&Shw`ca*ppW zkmA99arJuoT%=6S2Hu9V8bVs>8n=EmuME0a5;5lf7KKF%TJG;NUjgs`~FySLA!MM z^-r8^a{okge1DXDRau~vv8p1d!OXP(NZ*!s>*jJi6?cWrN?g zyx-fw|8KcgOaE6hv5LRHk{U$0YtA3?G~J>#=R+@Rea2N6fy9rg;eXskr!>~coppSu zxGYrWw<&M(q7}0=BCbi9CbF)mU*J9e@mz~4i5iz>iw?YZoOAHy-MMz{mOJ=At+<^g zEI2LT?f1i3AuIoRihcH`?JORwM^kLX12|2#MZD*Dek$>*{Ukw&*Y4;1__bP=s%(=v zzv+gX;+gX6Ss%0od>oz#Wbn(fRA&8=pS{1{VDhQ8>P*I#(;fG)Xx3kiIGrbLE^_y` z_Kwv&B@+AO**0ZdIO4D?D0vCDI`?g<)m}O~r@ndez1l+Mxo7CMW(Ko_$~24i>E91l zSG+gaq|!4-ZevMpaoLwwbGNh@znb~{$(vag{;lFixcU`6&xt*$`F4F{^5)y8A9rnz z+-vo(=G(uk)~dfZt1LfLaU$nKeZ5S0*qK*v3sv9b2!A~E{o|p4=ds7?lV(j_qNO$E z#Ddq8WSmXSZ4GU7UZ$z9pKM_qF(vr;U5|SOuD(;lBtNcIITCo<*kOvxgRnz|oSzE& zd9J_uxb%hpt&=?$G&R#Tr+*8qezH!*Eoi-$+O#BbrDXSQy|&Bt{^Rswyu3{Hk7Yq+t3lH1syiKN zhs`hFyR!PO{pw$A-!jZ5hXgwwPhv~l*i^J^w~DC8tMy;Ec?JY6-7d=XxTa-KZ0>~5 z_r7hcFx!0fo!-8P7M1q`=BrEhb~Ddk6546Ft?*L)qPXMX``7DDyWRbDSKzm|Hv>a9Z8p z->Xd}xpGxKmaQz`VR-I9s+mXTkHQ^)jdd0WvFw~1Wz6DqXHT@=tJ|x(%|CDSWjcBD z$RGBcNnNKNOlPh)Q@xQm+wH(Y-_T1HDOcOwtOceC-ZJ5GjxX3Ka_ji>**sFw77nh) z8##9{r`M`Ke^P9`@4%(^AAdV(`R%+uD|y|wu0ov_#b>1_GGFZ#RO>#@eC1f+^O#BZ z{;dDBx-4$0`nE%>b^dnMC=>^E$UF}@c=$x*&npKMxp%smN$G2v$JRe^)0vbYd6lKl zcafP>@1kj2)<%^k-+0!%;i2vf!G8^>W+cqy(KEb~^;YCzo0RI-7j8~Z=CJmLb|onv z4A(r8Af6oYVecn7RfnnhpSn$gm(DzR{=CJ9kNM7Qa%Ww_zRp+^kmb2y*CWH(Q~WP3 zo~Z2q`tIMW_d8RgckSJA^RAoG+WPh@cLd(AFH~_ja7KK0tV-EJ(Wkw#7Rn)uzP-LZ zJ9Td)%Qn8{?%pTQUcP?&>#u)#q51Fq*w|0~xOF?(>7ZV#?J=9uLw2)v=RUFgx}`+$ zQs6=6^M>A{UdxTnr$)HFeY(@I;MCn|TV74u5&gKv{MqrGPhC~#_-{=~XwQ{mbk~_+ zQa>+BRPeTHr+NLnY3$3DKMSfGWo@b6;k{|jy`<{tyq3!?O$}Z*>^55SX5Gp^cD;Se z{4z|WZhTMhn^MVD#E>^V)9uTXk^-xsZ%eqQq{?mCxoFP4q*hn1c_A+tk2?CRUAZth z_@}CW8TS;M$Wk%B+Q>B;3a1tH`9nmQubf_~5tLg0m07ga;9$H(C~qHQ@{xI6N{5YB z#RT>QKDGM5DB5~(qTp)BBS(_X7do~+R#55;n=|{tx-yQ9&ana+b|GvU#&Ut7OLnf5 zyZ9{i=)9d5*cmeKTwZ+M$#cpK}U z78zl?vqwUnov9DV>?!#_|FrXsV!n+2-BIQ~lAB7I`LYi3oL?7kYvJ`tVtXeDF8a*A zSgbn6(fF`Lu;cWK$?+m;`{(4oclj*n8WEE8O?^%g)7gN4vj@z5R@zEVOq9G@D`8b| zr1x2Gk&0w^>9w=p^QII}>PqKR=lW7;nUrxP<;B#1ycrWZUhKbC|JN~KMY2ZfZ)>$( z>rVaCZkS)c{i<2a&1l)LOZ1k!+N#)ktXuiAL?8d!9Oo3@fco8gV(#j^Ge3QU`RC*- zlCev~G|i$G8t&Q=U29#odDj)I*!K5vw=4SP*53P~{=7f8T3YK+>vE}|QJNbxnl5Hs zn--FL{j2;N=PRXLsd*{IB}L7jH?@D>#Mu6M6I1)=P0ZUrZ(?~b#0XuUaW^Kq`1ZDK zb>G)Ncx-ujqvM^%ndjzpPTt`uy?m$X^faUDl-b)#x8>}dbVu#)*XmmC2`rNqC0klr z&-}|Eq*569Iy$^zN=|6_vaWrTRs{ux2ZhaAbt%lP)oa!%ttv6C^cOSN?^&3(vFln$ zMNIVG#kya4H(pvc$*RTca&7qasmto>^^S4LE)?l{x8tZ-g|SR zi)X#ctinyAcfTCTQLwWq^!syr#S5!PGFn*~%7(J47d2mNHQ6~?3+>&w&3fXqz!rnv zC$@s}v7$@L1Ux=m(YPcqOG>cM&`LpXrN*p@eKEx)S5|1=QI_<0`L^#!ZK(E^WpSs3 zeocBdoh!uCV}`?0Gohf(rAuZt|1k++Xj*UD?_e5R?|kUWVT*Nv{K6r3CU!;LkSaPh zHxz~vPt6L`8-Fc>-}+hhsroaH>!TwHW~fv-ZGiLdCQ z#-xdT*Icxx*w!zyw&;JscVUsLM~0ZB?9F!PWdFO&;T|SOtgkk0wzmJbLpiQ?SC-bt zoRVvAI(}b1?OMEZMtI+wH%I#_E}mI_ee>fqKeyxNe6uHi%&7mhu_`|Ng6Qt$9y$k4 z>=m$ob3w!S6`#_DU-JJCu!#0r%{&(u*V`w3$-b)LrdW4cnP=3=`sw`kdUaJhC3I(b zed?7hbZ7~&{}<88JgL!tEuTk8<7$%)6=t*L_UDLQt(JOw&`~wcR9^gQyUp{oWlP=_ zsXnb|jLhQOfRKRFb(4>W8eNxla$6T{5m*(OzSys{%PZyg&wY)~ zCz7KizKS1M_F6ATt48~VSABq)bB2JfxuX$7G`AM3`wqrW9M^wueegzd`oFYeSD6+u ztT?dQVQ0&dD_0cHYPWuUy5Vb2cz)_0w>sAwd5KL+y}Vc+%gs@3QQe}NqdI44+IrJZ zeFajNyN|z$J{ai~s&G4Kbxt*g>! ze6uz_qiAlvBsV@MV_kYinYMHBD|=~M`}MZEE4=1!Df$RfmEl*fy<*$tc|vEzY^1}P zA1OrT=+>w%F5dg+%+Gw*+Xu83KB=wuw(wqIrY=?9a(1;|&c1)=w&W)C1{^Y&Vo_7r z_q6)hi?8Jmx3kTVKakt{CN}YftI7L)+!Cj3syCmO+qB~RI_>uyp)Xvm_J=Ovel=S+ zXJ3f7)A@*|e`#y(C*IDhU7=N2T2^IhZN2K=`ZQ7gS@y?|pY5Li%|2npcdab0-i<8A= z^#eaFYPpqB^iM4)R`KkCETaJH!?_}fX(x7x+*=&5DL?zm%9(P_<&GY{8bvRn7M^dP z`~BDrTleQLOk~$it9Cg%x3BAnM)dIocjhhJ`E=g-`r{?XFJET(wW7Ct-a8h}!0@c| zf^kx{Tkmb&xs-25erM2|kI`B0=iEE&ExA>^c(#pE|Ag0$i^A7*ZZq+oH@$z8n#O7A zb4NslRh?^}8C|y7pePiwdfimU-LA8*Xx}e4Jv;RwXM*Zh&D+b(+@!LSQ=Tl2J3DEf zT3e9qcK<0KEH;(ZcWuyG!hF;1eDi}BTbb|GY&n%Yp@c`uw#wbVDn=|)+WGVI$^8>@ zt)}gr!>2O;pWzj;pjWa>KPf29pXB#M`QGGxxrcfg+~uLycO?JV$K%l3*Z8`};=Gfrf*xP~lmp8cg5++8 zC73jER%>Jzyfx@FZ8+}Y5~-ct_mpRLh>O%y^@>#oc5amj_U3nAqTC+LS01$asT5y* zz)5De9{I*u%QPO&^h!~dSvYy=@dJgN-!(7a3^s6!-ad70`1y(Lth4);hWnmcGqX;^ zXM4h*Cl$GO=W$-&7{;^iines{Q9<8JCa>S*06+%uXMSpskky|gY^z`}9w(n-U`+K@1?tiV~xOSPl z+!?nOR_~Uc=GuI`IW<${t5a3YcGcjma?0I@wnZ-&o3&X)wsMckgh!dzmMAGly=K|n z*7HxxYDM4qH`nrtb=d!9@zrde9eY3a-1dv=>(`%7$w&@ z@l5%4?FoxUU48WNMFkzF<@!vyy$&sn5>h^!{9u!ge5};*kLj`1KZLsOsG2HH@4Cto za@F-4@0v>oD@weiT$n9ZSWjly+@a`ubmtmxwiLVB_0uM(zI`b_{l)Y?$EQbpqb25l z&3k$|=B%AmwjFQP+Vv0hH)h@O{{CQfW#NQrMqG_e*QQ5kYQFQXpYm|!6OJSILX%WE z^kge*wi-HofAgvDUFPJ<2;QA4_Zb|kGb?I4Uc4xMAkbdAfWOZ;?FhH?MAj@8$Mz{V zHY#`RbIVy*d2~jF(UPEvbEiBl%VZR7*vp-@^^)gGCV`DI?Xvczx;vLVmJ&TYD_PV@ zf04Xp^jYOieUiujX*C2ruC1T8IPIy)65*AyKlOt0k7U-^cSdC2V7(o+`I<%F5uxw0 zBDT9z&u{WMH)~N^3U5Q&hfkLycc_+qS;fKHS3B3#XnkpsM#A>F*OGVUz0ndpeNb^j zsfcH2{Q0X|D@3bLn$N*MqV=`34Jl&3X*%_TAWWgYP#Pod3ZhCI2#QUU-c@_p|sUfva8LQ#bzDW-{wY`h_#r;)@!8 z9%sLJ#D03c#LW2C^*tL`vdt?!)G^nhBJR^(on>)}2UI`r)0y^#=NH?}kUTdDK%KiOr4?4qwKXev{U54M5iXo0!>!e4U#h-(ooDmXXT_PmKMvhw zs}MdKy?Yzqp08Q5Cf7cO|DCmm&m{PI1jDK&M>Ck!+j8TMS~pxdx5RKo?Sx6P(jS%u zIMkk;wIH{2o0^l*ndOge)iWGnVUUOuORI`By6k;yIxB;YV}gRw`_qp){TNP}Sk11O z-dQe^&h+_wYX;+ft7|oJQTowKi#wm6`M%0x_b~=gF!g;1c(b*#GwQ>AJ;qGNFM7!v zb=L5>KAf+ZVzW!tYVxa1u@aM|^5;yuQ{MgEDAQRss?{_xQea!o-fJy>^_+goe+hLm z33^Os`qloZmnW{lCga)h%^$BOS$XTb%Xnhx>Mz+aHsjRpow1KGrttSo-st#+9G`9`C-G zQd9H(Q_iIapPnw-S>byx$9>P)vznRpi|##NEE%`|PyY_}Z%3Iw2FP^GKcf6G;*Zk2 z4(E>{f3)Uxia%Ofp;{-re{Rq0NMrf)N3%b=?Gb%{qd%9g{`@Sc=ji{=`p(WB0@EKA)!gh@Ib+?kxtG39-Ek;-wP*1zkFApDomqO9 zt3TrZc>HV0#S1gs7guiH<&m3~r1$LXe3R2Pe*$%mG`)zNbAFba&c9h**@b&&z4-O1 zMZ#v@IjN7!e|Xo3%s+Df(fc&BzxP!(H5)F}&5qt<{(DWm(w{$n&Tjs_KB{X&{bscv zOE|ae(GNN38mrY@oVAv3x7TdO-U%0)rh2WgSR$0&8nNo|>uE3gJuYRxoOjP@-u%gF zLNWek(oa7v|FK(_aept1oc*7-cbnC9Ic?-7F)a1keIinJ(nWz-O@`ZI4tIqb^0^bj zSM|ExoW>CFe`-7F#)rsnVS#|e8 zMV0C7c`@?(VrP#Zy(N5M^C8IxS#`d38HV%X=Jh-epL}uoSKco?9erx{p9LT30Jk-F+FJkhqv12B(K(|pA`)m#qqEaywj zOIY>8KFM!)VpX?k<+RA9?7CvhXgZ|%M5qU3pToV=ApxpBpb`jUoRW(oYJ(f z|M&TIy}N$H)rNZ)4w*VXeZ8J(YI$=&<42jondV3C%GGCC+y8uaZ}IWpNA91V?tJRO zrm5~JKh5}zJ5Jv=h?v!CsM_4`@ze9}?LRqBH_x-#{r%6$_Ya=mO%Uk4s&_o#WVgWX zw2mX?=HBLC7o6ccam;;s`qHlT`jc<J{Ye|BJgGDK2!Gw!iC? zt4rL{Z;x+&T#_ifKutVHPyTpuO|_ZY;+ZC&D~;xNU%XmlC@MZB^6b&0UsDYC&8iW) zy!x3@{}d+f9m{IowQS1Sv}~KlwoiNg@7vXX{p>8(DP3T$BG4?KG&!TDAl^}-%tAol zGOu{cROZ^xe_lTPm;9_ga%Hq$R2l{Tf@Hl}Q_ya9IcMIx45SJJ-$3qPKne z@hunj*eqUoZ29shxq2TX-&DV}j%IqA=eYDw*6gH@=UtZ`u3Fsu;NA?$fH@~ML*w47 ziHFZT@X?qxjBA5Wws;1OdJ^A*f#N2S#ml<-l8(nzLRn~h3ybxZpO?|~?a(CXG zZ?Cp``})uIl~7v#e$%J^m)kEtKbN%GJHUVb#`$3t3_H~{zH#nq-u-@^*lw1uBD?Zd z7BfzGf4P`_{=G=8(vvS&7T0s0kD7j%t>E2*ZPu&j@EPvf$0_~fr*}q4zf?8*{X4O( zB`05M7E9WEnI&~~`7^$GJ9qcJ2ujYI6ryv$u(s$*?19YXe`AZPs@|MBbE;K|{YJxi zw*5Wxx1IfXdt0{7r)%|f$;S5kd;B%xefBT%PTV}{r`F#aI=YUlw`lw*n0_$$oMXt+ z6@jX+*H20dU8(wS*86pfcbiP`X5MKs-QRx6=a3t#dFdq?3MQsT3XnC3s+UgY zpDC0%_VN7Z-?g__EnRKoy838DR`}MC=v|SkT(@r1EAcuMYhj_lr?iCKXj+R&riaQT zwU!Q(C44G};txEy!pvT-xAy$!FP~2R{`tq~^J$gjG&9kePuHoe_7G(>obgopwSZ;A zhr*c8BAuQr&R*Mfgc1sOr}3R^OZ|Vz#{4pFS&Nj^e+<+ zr-;qu^qzD5vSo^y&dv3eJvB{$pn!DQr@N7YOWi$y^O!&>vbX~BHV5J z&lI^e`fDS-gfh#l^Lgr%ZI+aN6^(*yN%cXSL3H1u=T3XX>eXCmaqp zotz?>Q@5^NmJ4&6dc2sPLxZ3g~u6dQ@#~)wrFK7Mu zU4B*Ak^k#fmnnzr3w!Ih;(h2_*B6q(Z=HAi2*27^@OFEaz3ZV1+|D~{k9jVi!>)Sn zu>ZM&KI5PVHl7y#+H=zHo_oRj{HOKvtFq6}Mn2D-`}yCr&kKF-*W9Xn@;Un0&tErB b#%%iUG$lxTI@>)K1x{lFE>%@me>W}wnR-Sp diff --git a/main.tex b/main.tex index fd0d0da..afa33a2 100644 --- a/main.tex +++ b/main.tex @@ -10,7 +10,7 @@ \usepackage{mathrsfs} \usepackage{mathtools} \usepackage{tikz} -\usetikzlibrary{positioning,decorations.pathreplacing} +\usetikzlibrary{positioning,decorations.pathreplacing, cd, babel} \tikzset{ every edge/.style = {draw, -to}