From 385254300a2c654f694a111b0fb70a659c957b67 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Sun, 25 Aug 2013 14:44:04 +0200 Subject: [PATCH] added permutation sign --- tikz/permutation-sign/Makefile | 35 ++++++++++++++++++++ tikz/permutation-sign/Readme.md | 3 ++ tikz/permutation-sign/permutation-sign.png | Bin 0 -> 50413 bytes tikz/permutation-sign/permutation-sign.tex | 36 +++++++++++++++++++++ 4 files changed, 74 insertions(+) create mode 100644 tikz/permutation-sign/Makefile create mode 100644 tikz/permutation-sign/Readme.md create mode 100644 tikz/permutation-sign/permutation-sign.png create mode 100644 tikz/permutation-sign/permutation-sign.tex diff --git a/tikz/permutation-sign/Makefile b/tikz/permutation-sign/Makefile new file mode 100644 index 0000000..839102a --- /dev/null +++ b/tikz/permutation-sign/Makefile @@ -0,0 +1,35 @@ +SOURCE = permutation-sign +DELAY = 80 +DENSITY = 300 +WIDTH = 512 + +make: + pdflatex $(SOURCE).tex -output-format=pdf + make clean + +clean: + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot + +gif: + pdfcrop $(SOURCE).pdf + convert -verbose -delay $(DELAY) -loop 0 -density $(DENSITY) $(SOURCE)-crop.pdf $(SOURCE).gif + make clean + +png: + make + make svg + inkscape $(SOURCE).svg -w $(WIDTH) --export-png=$(SOURCE).png + +transparentGif: + convert $(SOURCE).pdf -transparent white result.gif + make clean + +svg: + make + #inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg + pdf2svg $(SOURCE).pdf $(SOURCE).svg + # Necessary, as pdf2svg does not always create valid svgs: + inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg + rsvg-convert -a -w $(WIDTH) -f svg $(SOURCE).svg -o $(SOURCE)2.svg + inkscape $(SOURCE)2.svg --export-plain-svg=$(SOURCE).svg + rm $(SOURCE)2.svg diff --git a/tikz/permutation-sign/Readme.md b/tikz/permutation-sign/Readme.md new file mode 100644 index 0000000..ae183d6 --- /dev/null +++ b/tikz/permutation-sign/Readme.md @@ -0,0 +1,3 @@ +Compiled example +---------------- +![Example](permutation-sign.png) diff --git a/tikz/permutation-sign/permutation-sign.png b/tikz/permutation-sign/permutation-sign.png new file mode 100644 index 0000000000000000000000000000000000000000..92abda2bbfaa6bb7266fc7869d4135db7765b6a7 GIT binary patch literal 50413 zcmeFZWmHvf7caUfX{A9F5D=skkdOumMWh=9DQS@I+9HjBsC1Wv(xCzp0-|&Z2$B*4 z5`u)(o$Ea@&N=sfxM$pZzuo^B@8DJ0d$0AZ`ONvNXGf~5-X$fXCqfW}^q!);CW2tY z|HU35I0ruh#-iHb2d2&ay7u^-~-L;&o z+`Y_PEfFs-uN$_H?cFTQoGouSxmu@fNYEq5737}$ZEf%L^&ehFl>2A+TVv#PELVtB z<*yTci}Khsn6zW?s0l1>@E8$Wt&9COSmIGD`=i<;FE=rYBbc~gBeIC&ru^Ou6-C!( zX`4R_FIYc>$Y2_?;_xrL@BXnYMR-qY^GG?&(!l1a8J#%t%P>QpfH{QhLnKf4sqKn# zGMyMs2$?JaXAl(vKbY@CU?cFOoj?PTf!}+TM|0g!_49tL7t0X;G+0t|1YoY|G|rkYxEO^+-V4k zYm`Yduw)75c6NVhg@lGOOGc4xO z@x)C*arAZuLdZ;=`Qd{oyK*w-bIhenV%#Cx7ttH!it+usdQpt{zyFb5$d2y6|MCCy zX#Vfsehm#$Ttz`av2}dt*51*PV>|rXW~_`so+ZBTS7e9z)vH%!u2ST9{{GH)>(-dX zV^TS;1QsbNMj^YA?0cT4FVoVZ+uP;!A3Vs@Ej29g?I+WWhtlBUDb|kq@F>XA>+zI~p&`BXp#eTVzWe4h!^zS9U8pU*g0$4ssG1tV{DK0P zZ?#EIg#`s>Yu`#M>gtvn&#Prgbv(tt;Cyx(pje<;V>5`&dgmD?FE1~9SySSAP*701 zbP%J4hDJnWgIyCm}jb1s~<;%}*IZa<- zX2$aI@hN)n?gqWELqy=ozqyb5)7-;rI0|@y>gr^D8RFqb`dvbqb1COf>hO3y|VuP5@944gPG;RvVC@zM4V?4&yA_bwXyPrZ>0}bh6H0 zj*)(N?9T1mSmznULKZsXSlQXnA?l@uLL%bgZC}35 z#x8az<-vpT?Z3dh7=w*y=CptQJinY3^tsl43_)V(g+2x25u;C~iP4RMKF$& zb*rhC)0NG*-3f(u8K-%&`(Aw z|A>nMRxQ)hjDCCTx1of|85v{aS?_ZFsekm9LeTL$)yBpK+v~O}o(P%)x;- zA_Loi-(yvKcXc${%}7=jdt>@zG_3l_&<9H-6wC?r?eS zYlW|0o5M{+$+mv`rc189#V;h(F=i4(s->m%*0_P@W(vt0-O^yitDk61{9FBE8~0dl z-J*rpx9$C&+&D8~1j?y`_Xg!h8hzX@OZn4{mgp=< zHW}91=~q1>baiu^TUdD7*eKzD^!ptw13n&BzGj{Vk}nINk}Mt6l)Gh3cdo(nwxM78yMkF~@um(0ve^qB<0ODS+L$H)H9n4}+S9N@IPV7rfdU0VF{lnB}k zWd?ujeXq42)!m7fXBi(K&(QHG!!sn0t;`r|FE=4&t z1x0XM_=UF5pU=T)A~=8k+krn~3fsO&t1#C5XucylJ(bEaqQe~SEmG@1ElpTO{Yf7m z3EGl6qG>H)XGSd%8na!!YPvpN8THBJDuvnK)loK@(+=wLf4m$VEo#yy?Y3nw_Hz)7 zHUU(y_wGu(`D9z0oW&eBMI`#r`kD&vC$X@yKCSL=ZN*yn93uyh@V>G=tYAb$gu282 z>L@X+G)?;1{Nb1G?zS@H2HcFX3NyKcPs@XOcSV9uC7_4m(9+WOS^Sa76Y)@?he3fL zk1Q?cTAtt}-?Su(Ws)xAH__GAMc2`KW~nzV{>6*jZ6nL>B;L;6v|H4Z&{;pdHK?vp zviPq<`Olv}HBC+F5?^>2`Bc(H$TyqMnzDC#dwN8KIGm;%TZ^>{-TN*uhuy(K_}{~W zUH{RLRK1xOCq?1@7^+poap&vTuUxja6tGEQXK~kEzka>aby2Bw=wSBgg@N}j79D$) z7M)aHDXAQBk3<5GMPLWCO)g3L{CUKqUxAdBmDvpD;wAE$#A4x`dzI{|s2I`J^zxb- zQJ3E4^heS1QhAmqSy@@xZj0v`B_af@`#9<@3E73fb=f6^O~Jh=3GKShGzCPxzJk~c zWIy@LPHqYFa`~s((cbSU4XO}rVE`0Q{r>!nRMII)OH0dkD=jUZTV3s%=p1`p)|Ytw zfyktBgXgHPHv^*TSE0}I8J))&g;O6kh6?V}iMew)6^i>b<3M*hI5;T!?Mxt3AdHI) z4GrNgcK7shgK*joV@uwM5Wq zdUZMcMR2)sx@$OJ(RQ;E`RI4;V5;=NI~H;A2bI^M z=xheAv@Y)q)}EUk$dTjn(PQ+vqTLzGAUfHRc8j1`8U4up^$CH5fbX~n6ixc?w{Lj> z6%mTrG!?e%7BEFbi^wEH$Qom^NERxQD(jrk+?1{ zE;i#8Il8~7HUmry>+0&zQm46L6aoFBl-LxSZeQI1Jq9pLNllEOx3`UlV?bndbQ=H% z(WA=@3?7;DdWUC})YN#1mfil}ewCV{x-QM>$-YTK zK>ax%nL)q&_i#-e&k{nk*|l+GNXk6czVY$%KT&4aT1TsK)@SVHix(o3vYUc4jXrr* zYV0q~et)kG?pw|?k|Fx-tY>6^i?E^B4s&e#=T}PkyLVaH*c7(4)YY@y>bp+3kl(2u zyT5)E-G5?c6H!MtoJgDvW0Y`P_Gd~)<_ydo!j?bsv2ufZ)yy{w(a|OdXlzmK)_-;e&V8{zx)H3&CShcVVne= z9)@elnORzf!gT!9)`kN!)Y;u#-r1SYKOmsC>D&xMWofBn@t;!erYk(0oW# z&SW#hJi06gSzxIFpD?4Nt}TpIOZy}|Bm}^gs)f$)P-0q2fqSRPzs{v7rXc}|3a8~x_MkGZTmk00NFS}Cfd4e<6BIX&J{>(~ot3M?9J zzv1td-w|G_Lyd=rcd!sA&F8&ksxa5jN5Za}9s%9cVxr2@X83iCE-`g+-js{FYFcc@ zzjj)0?T#}6=I=nwwCP}-7k87Jy*3%Ym7DZW(gf^p7%QiXXt>bMd~maNm~J$9lljB{ zWfzB+@0)d)l>BC&a2+P=RQL^Z@5Iofa1*_>AzKZmp59)cVQ9f4N3|gwO^LxqI!Dr! zxx{wZSExV3Bp|JHWpwX;_gEd#xM-Hs`{jJVJn?SP zISd&QqKFrtm30BY(eCd_+JJw%x3i=I_^kUbUlwyGNV;MCN&4*gDO7oKTG|3IgEqjW zbAYwsl2)fayal*j^zdW7lG*dj%s#&{{RwYh-;$m?2OYE~1P`rq1SKRSwC`ZkaUru0 zs`P#kMTO82!zYGr0snktZSD4Y&cofk9qND|5Feso@*QZ{z~qk)DJd6ycUN+Te(?$l zYA@TGb4Ph?P6K34t1br;!^M4U%koHRu``az0stqB#VGU4V_2OxM$)3925;=w?!)XI z%)dw3XA_S$y!Q4L$Il9~T&$}&GF&0}7Z?$a)!Pp#{QUer>hZ(W4ti@2`0C=e$Ul@S%9}<@a3I?`!(<<%_1?M{czvo{@v?1)bC=Y;0_$1X^Ug z+WJCpaIkl{B!%W63R`gxtE%@mXU1&zB#ikSRrS;qVvx$CJ^RVRIM~c}+L^Ec)IZ{pjZf;Q3j#(`21v z@bX7J&-r%3tL*IaN1M&J#%-{hup^yTEj$3ObFYXTJ{McG@1kYl+5na;Hq&u-dbG(! zOk%quO)u#yX#IjCMfn^rFK@;lY((5^BSfA>gYXJrF;5ZYm0~i(caKTq6>))zr`>YO z1v0!cR?cKMR)(VMzBp(cJlC&7^TH!0CIwGu{1#rfX~94p_^z|K3vWs7L#UW#X$j9 z2qC5OQqM(&(Ewdt8feI(a%=Mo3ubn9Q2@l=GBQ5VG9gaNt@i(vn^ zSx zsba>;O*+>ns)2g4*(5dsD=_=|f~}&WqJ_8ln8n5i-fN}=7hz^*rW3GwHru#!c)ZhJ z>9_y5&-e^r7oY1-#p&RBkwnW%n?V-Es}#yvQVjR*-GhtOk_i0$U5JE9%BV76b6T=- zf7*}joYMV7p4+~@_2%D~Kp8RLp6@sSmSJX|`+?#Q-~s&)u54mn8_z&MQJ5p88r1|5 zhTvgDCtzfF#_dpCWVE#Sh=}_NnX-xs`jNM7FH8DT!9Wj>jwXhsy|!{$mWyRDikiDd z%xtkMArT3j^?M7f))vO8Ku>B`{*e7--E~IkK$OX4^d%`3DBio*3ggh_V9QLx|9~t* z+>54>qzsgaa~Bw&0iSI2-o}>E;60$_eVDD1Cd}4nX`-%<`MWk|0kGd@D4!6W9fCFk znEmmV78#IjX1fx&xAylt;f8cRcivS{U=|UfgGB*kFXQem2z%iv?5tMDUY2-*lYf8P z;1j7n?i6TpKAvfcxnW#i#AC}%OG)_@*v3NZQ~dD{ZrA7qZ7{D@(mqX2J{aWx1HJlS ztL=iBlT#cN!Q9GVUb47XnUZzaywBm!muk1@jrATH!kw$%Nc*RPYp zR=D9Jx&r;x?DY8XV5eVtu=K&L_3yRBqi^(hx5e7uFD@;a1CMEp`%qs$%_!+x6C`SV z4=>Nr$vVtz9ohQU(3>fFv^Y|%W&Agu-`xMv&5O{aDok60HLoi?Fe){yo&EKT)7#eU z13F}3WujD_(Io=GD^1uDr4OK!F@tmh#Qc5WiC9%t)fS8oQy9l~X(aU?YhfcJ+8LSm z;S#ndotkYuR09L0P%RQT20Vt`f_M!sQ30fo~*1a+WXM?IQh;g z94NtjIy6Bu7z^oxBY})99D;`KevY^PJy$ALeQOO+hXKpq&JSfoR0EZR~RuD)&y?%X6qF+M8!xx~7LEZCKS~ov^it}1IB^cD5PoF-?E^cRMUqK56h8?V@ zvxi3qY~`(Ag;{nwbX|{b;^N}Y!e|FBz7$~mM(0f!Dl~(HlrEE>k7NTqs;I7h3aI>TJ4UL}_pj3S zyQerR8n+3UUD1ED9V^S2--IIm$eRIV`+=(I?Y4IW%s&%ZwM zy_aTbus-!ctJ1jqp(F{Tgg&n=rL3Y3%2ViIMmx+j8S^`qWo0of^=I{qlSd0fuRvu1 z%4@0!hhahA@bF77BT?oMI&LB);`Z0&lq6pK_07#V*fOhAX1riKR9pA!Qk}w_1Bc?; zK$YeFkBcc}vL)E?`>ms}+kwGc104&;-rj!dy$cTX(GGx6F29D@VtTQ8y60hkCyRM- zNgb^VpyIKWl@*V|-0|Rnd#SR55q*(p!+qZmx z4oDcpsQCH$-v^yZK?jb1{u~2EDB-)S$WPmxm&Xcld7#`xT0~Sd$D%XV=6g+XP8K#i zL?S96Io%Tz7lE0F^__#ixi^CU|BY7!tN*{}Qhga2xHteR`0bSZZaxxNy6&rvs6EC~ zB8VjeFi8w<+v*pz;5Gncz_p=IC_pI=e1VcS03qc5yMM zgQFwpR8b&b)0p^g<88V;Jx3~A{_vv`&oLJGRIP)9`eakM-z>j(S-9iAK28o?gBKQ@-~YfFWcw23G6h9TIV=nUP^1$U zp{0t)I>^R`13r5oSAiI3@fqDyz{&Jt#Fk}mGxOkM@5Ek?gyENX?_Y?v)d=nt8K?~y z80|;nGeKv@eIJ-VUxm>M4~frRxXZ}YG&`qSCSouLk;#Vcy|WSYcU4DpIfU-z{iGYr z($X^n6C7Gl#_zp0GjpnM|Ce8UfsHh|d=6QO20=8ZT7BvG`ufJb>xcrJuD;!x$=)aK?!Bv^78U@V%(N?AQEi-{VU`yOu%m_NTQBOPNoAM zSF(PKpT8A&f30eHb~b_*J3vEnTH0`c(O(|j6cH24h5fQJ^+5o7VrNR2ei5k1U|@p1 zY`iTlDaim@qv-njx_8#(N56f*v2jaJoaem$TNa=nnyTF`#4Kw#_drv;a32bqBU5R)BwB1_x9g=4)*{C{$&5|NecpNpqmhk9wiaXCbop3N#!2_Ei^mtQ;LgoMHeqXK4MI6KO=fNX%`3N#S|uBtXbq1f11fD(6_15XB;0{k*kRoq-%sm|J- zJtOIuLGj(mDd<0_`HS9CUf$g7ECO2-x?)IT$c?avgji5bKKuJ?V;7)qXwy}pJJ&f( z1Oty^hF$=m9F^+fa^+dbA2#_%VlW8oej4ZrEfr>Md`{C6F?c_r{cO*+;=oeoWoKjd zlYtO86MY3A$rK6$dSoc<6S}Y`+Fa<(fQKG>LFxeGb_%Sg(sq~~UdGDJ9sN#C9=e4N zHU|1MEbKh+Z6xZSGHBi%3ov5QQUZxS8lY3c!DTr)xyr{s#3a185Y1w3Him20u6cWV zo6da-4L-dVeu3#TEGEcLvFqy&)5{i*AD8hXsL_c+D`AF9mo9-_26}<>(Vk;SSlFkr zG1?CwJ~Vdvz{i$1pK7LMfp%yHC1n?YH+0+CX6J2cSsA!|nF;C{OR}z$Arb1QOcdT1Up9wM< zOTsK1?kta2nBhF0ZX^U!0?jW6c)-d;^)+a)WI!oV(;YxIYByT-XT|_Rwk3(W6UP_> zbQ+#n(m2%~7{6{!Ou!~wW?QhN1}YPD-F^6w5!NvbiV;L6lDs=H!2p!3dXk@jjyDVUl`P?NQ#D=W33PC-zWXqw z-Q8R(XpNQ`+2WlV#Uzmfgg<1@N8{6(( zLx&>h4lu68Jl7+@&zpxBfD8l};vtv;a>Xp@R^ESp5`rd22A(4zK9upI@L4+(V`)D`Hg$f!fse-L=nFBzqwcqH*xRG>Mp&mbKufq;M z{?pBiURK@XA5kC|6V^la!V9&+V>%07zqU)Ku7FBqlVX4Q6`t4)4z+p|MFzs~2m9zU z!Ut3B*`-_OfhB5*?m>e__W-ozP$Bzovw(s1E6wq~*Ezn~7Q1-yB5)##bY2*k)ZDtL zyUgUjg#|N}1Y!!PyA8Ayh7u#ndoSI3eC6s@T$qEfJOX?GA2NtRUOsF^~ZtMR_=|EM-NUKaNx zfpXHG*j!#N{7ai#1wjfkfN1FfK=Q}yJ-9(eX6A@t5chO05l`YV2?^BC?EX=@050pbd63`s_FZ|LDn-yaYVwXFwTn zQZ(d%rg%DhF`02Z%ba$d!u{3b@LE5iCKT9B>KUiMV4%D2m;#z$XUx$E-WlOUS%2m zeOCJh%yM3nChdu4(CGTyHh(m{`)o)H0}|TS7Fw9jJ4-4*mzP?HYqhLcPOaBlr@U|p{FYr*P)1sno1nOMzMBc;-l9GT zf*zI3ZxJ>RHiLURWGqJaBD=nPX@Sb6zWo+@By?C4b260O{rvg!3S=>0c{;!r)WHsh zPCim@!h|ZRyT679OLVwvL+i`Sc>@pT@D*Z|KuU4}tyPovawi0g{ud=@KA_^V29o_5 zzy!bJcfme+9$+`9=`^CNNBa)oD0u98m6G7zzBOrnxZndK52u|U$`9GJ5Zl$wXT10x~s^VtG`F_BvQ^XJb)@W4NE=N89Hr2=&HE)(BT zM6!8cHL?QsE*7c}7qrYB{TZ*Zr94MMm#rhl1`{Z#!g)>>l0vBGO=(!?z`1gt57JSP zzEO9WoS2vcv5c+nRqOHy4 z;L$v4U-v#*MH>M~Pny~aK;4*T{C8q>eGdMum5biSNFe&PcGPGd4ce1^kCvSs7wQou zd$o>?Pyyf2EsoT_2G@)(cHG0AxWW0@QhdE&9MB<};LQ9Q;Pd-p{Wu@kUi`-`vDSKL0>8gF)VP7_Y#Bt0FDj z+Jv$%n@ z-|-e&v9Yqs73>w|lDj6A^+89g065mM7bksMq%(H`0VXr=pLxsid;W?WGnGlqH&{kA z>;wT08THJ|moJOdUIS$j(sqMfOu&DasZP-(i}nGIf{Hfk^*S6K9T7jSnmcNW=k59i z(V^R+(%JvSGQk+Oxt3cpge3#|C+z8w(?^dUU14Ft2I$@X_2o7GfPe1pzlQJt$Y?ck zf&j7w#bpkJKA1=-d!EBVBqT_mPK|q>|=SAQ$Arna9ehL*LItj$CXn>f8Gl-@JWj}zR zIPHc3OBD=%Vai_dcscf}f+rfZI2K`H-L1o}O>Xc{eE-_j*pJ0(71`w;`wUxEal&H; zP_0{O41Jf!ph|x05D^jbfTjkCqToIONJbQ6NkWDO1>o?Mh&H+hKq=|-gmTZ6@L^e* zDtWEsg?$Wujfd12$O8b`p=rPRUib3_1ecy_WlTYyXm@Q)ZOy&j{a0=>2OI1O5JNxb zDntur7EZ|>!PZ0@hm%ezgjP|o0s1->6;;viM+F;b-UtH-9{hjy6@Sr1-W7OhEVF)(bnIDEa~hMF9jWq0vrr9 zh#g(0ol4jdFyW}B>z}nIMaRYIeMnoKs0PCbEbz!-xnr1(!Ptl;2*32=jN1WxHO%pf zvvYII2SP~;_J#XfTQcA*-A{(vH<*bUkUxaE#IZ*hKw6T@#eh7cNSLC))k?HB*_$wA)yOK)#zZEdaYFUTORXur(4o}+TLW7|W@&11BQx7bze zdtgzFWiT1k`dj@3rrOofVyi!ThTNmHlafwsE^#IB=m;B|4=Bj_gSu{8jq#DZcM zAsI{nW_f-g?cY2r0~)lN(7>gZZ@vFC2%8Xa!C3^o(xvV?56>2u!*&4yGD66J)fWpF zh)y=j@d;Jd)Z`U^VYUvc)A9Qxq=T?HtHHMVzP{e|pQ%xE zpfP{!!w2=a2pAA3gcym%zNf6L{p+nBF!GG2R%o`at_%xPT`d4^v4_~Z_a#j~J@1vc zUz3qjR8#8&xTmw1^!lj*WWGcuzbk)X{m%=_%Snw(ZXT*5>U%(r>pg!*0q?cZIoKJr z`jpr;3vLD1TF|T42I|IQ06Ee>@YUqRA;`e7!CXTzXRlYPYfuJ2=s$hmiz1tvoRm@n zs!Q_d5lO$3f3;oDDem9D-{c9)dkbb!Q(P4EGX|!do6C-bT1uQX|xJ; zZQ)2zf__!#p;A0>zB`r9o)k_u_XJrm%n*-n?xy=Q4~OzH z&_#ovKAl@$4u>eI3%fvxZYe#;-WPydGQa(a2q!gfv_L41(TWqW_q`AHFMlPP&kLu{(zj^3yc5#O=@pNdEz+==drtRhA1zA7@h+@ja zr%rSwO&i{aM5@N@)tqYn)w`S*US3VO083+KXV=wWnEi)-JAZy~O#U9ohlBUUEa9cM z3*_veS5^X|`)IPZz0fHFV5s1-`6!sG36VbY^Ygne_CRM7nOs_03f7|&dIcBpM$im^ zRsE-Z<14Egi2AvMjeM}*jaJ3~EL8DepZLQA5B5GRJnqhVqWJVOfH83Ey_h^L6$-MG?d!$)S!LdYW4Y#$GRY^eXznh>ELbR`M{2DC< zMQ)W7=otk{)s1Kz+A^z*5{vp>z>z0_>}Os@%$yIXkXKkx<$xN~s(B?O8b@AQebK`M zL)5-_i23+cp$&Ay5#O)|h$*cVR3|4SBy_b4q+$~v{uElZx~rAh8V9LLn?cz(jiKS; zYmW0&i+xVAscK*y{uRba7Xx&D2Ld&sM?k|3N(2*dFaQHlT!UT`8arnS*d@2l0$m;2 zoVzMq2_<@d0oaep>ZoGm9tXm~3d*+Lq3P!2JGJFq78Vv~5TH?JN=h%t;kZW-2UFhl zdw@aWX#D~tK_|8Me%%ScpiD`Idal61L6LDL5 z*7pnK9RfIUf};Ar@sha(T;#|rswebSJLGMAXv)5j^9lqjE(tpfh?RoN%wzPP45Wij z@LTXQ@}@)!c^(osi5nYl1RkCS)lccXT2jU3D8WL{_*iE(s#CMT;Sz|8>loGV!9EZA<1zE%Kc_vb;dhOr&%LEoU2;WErsQwR`6UC9QoVJ2Xoq0m$A<-mY?PpS|x z8hfua56uSI+f|!}d}#3yVi0d|Q*?X`?LFjWP5eIqVm8D+c(Pdu%2xqMuw^~;uCP6> z#4A1rJ08#_SRE~3Oo42?bb{>%aWF_eKz`u~R2nFxy#XNZT znA2Cad(#|j%xur~L)cNhvh&8(4s(7K6oAkJy6-GlODG!Fp2mm!fMY8%z%$#; z`RT$m#FyVgdD8pS6h+ZFli!zD4(F+2m!$C^nC+e-Nan077*Z}BX&YwXmqKwy&V?~*FRfp z1}!t}JVVKlkqd}1Xw}ofAuiNUO3MUa2%0}?yaLCVhf9SvQQh^!4VLiF&JHXM7St{{ z{t0G59k6E@!6XNZ2kfK{G{86CK@9m9x!+rZkRe7HHkw+;8;w?kN!|_Q;_=%Q~BkVYAEXdF282aG1f1|OnQF|jlOFHO0;2(hGP@FOg%lQzr zaQ5=*g#Lu4XMki9)81$SGs}^(K$*P_WadiKR_yVK2{fg}cJ3`e!-%-JPLMXqX=u=x zW5T5r@YsN0a0cT<%437L-nZ`ux&e$_s$Xc7cDFDxCMFctHFpBSgn{5A7tS^ z+>nAB42Kzr3fWOyUqES|gYvlpnZ?2E+c**OEWpoaVd39{0Rf>^$J2o7+Lc##ONa{u%Qz-Gl z?{_n(=Lr2DwF06#;mqNu;=eAQo?)e>*MU)@c_yN!hDnIz2s=%`C73m=v3Y_z$Ih01 zbwqMC^6tRCk_Qh1js?waZeDP5a#G-%07j2iVq-7gKVL=!%{+Aosb)#VKuBTbRUZ(Y z`~De=5Lrc&X|B`VAb53xj0tBP%Ze&r?VJ7C-@gk+HH?vH_=OUcX2`j4c^%7gG;e}{ z;+|S=x-s=3S;D94+wxZ^;UbcZSC{xqTbLjhR_)Eib2q{6Is!pjfDBN2AfIV(du=lT zNe6A7D_8SyrX%PoMdY+q0A*KK7ZHr_mLiS33IOR4%wiD}GaP*FWM>C`lUQN&6#!y1 zdWfz)5rfp91`DWRpr6ixz{~O=uK}ZI@m=G~L^6`L7C1=*u`@`asvlo(rs=K%RK~%< zp?;irW_(<$t9m!{?qQuam(EX>%yTAUC~@r9JAJ^Fz|{xoUUqc)esEhxRjYJyuk#>| zC5yVTV{&55j;@)%+0S&PWs(ZU6KM8&nlI$^01}@fI8yg_K<@oW4bm zn$-1>v)&=Nag3GiG}9y!@J|r+kf3l_g@tJ#iHJ53kVmHdHYGb4ia-%TpXg@OQS9(x zA0&HV)ZwGsmPTLT;Ck)I)c?Jm76|g~%0gMq46Ql7pv&WCm!wv`Y z4b3=QKgK%U*V}Gpqllb8L4%#%Y6K^j(F46Obw5EnK|MA!Zv?wY12+#8_;lI(QvBlp z9^iDqh1T-$V;_#7#Kj;1k~SYT+Mu{Mev+?DE+txuW=*^p;=Bi3z5>#`K!+LN@NOp* z6!j)+_KGCS*)(31T{c)fJ>u<}DT-Hv3knLl&NNT!U+o6u9XC@&%2!lXY5MSfu_t;p z9DjCW^X4ZqE)`N49XLsgHfD){e^g*iE2^r(stc(Drxt|sLeOpUJDzeO&;UUjKoJ-` z3}DlD;cP4#l>*Nz7Z4KH$xR4m&Mq(GLnDBE)Th3_*!{an1*elv|1ArUf)A!bI1F8& zC0HPe0d$fBRIBYfY|jmE3%yPjGB_~(G$5=CZ~F;?nsC-t0YZYKnE+qnV6dZd71&Dy zwqNZ&KzBup7JNn+L1-)!J^revH%7EykPccDbYfO6E+QDokh#ZzPL8I@K_Y;|oGJ^( z?m92vcV=fz;Rp&dj7xY6^fU~(Qm7kHD(0l?nUHf1^Pg`JkniV`L)6*sV4>eCATJKt zIr#a%e7nH^X0Ymi{%V5%%@=>s&WePEDg6aQ=x@qZ__hJfUlly|D?B#&W9TXUG&l+w zztME+0TkU+<5EQYm&qhGlB>_2xn zADJV7Aj+0>CFu7jke%fIFJE}@Q59F)fRALDN=8~J+{nT}_-*4KIg)U*1Q`;s^vR3Q_a|ppZLWN$Bu9CBTxY&61~)CQY|5NhEE%*UOK!@nA*sKJh){#xMz8)+KH63^Pl1{X)Skj}vBA zf-`<&cA)gkgN6-T9g%qk_vMN7ci8aIf# z8fZ;tmEH75iyG3OC4ymQG&#GYPdtz*Q@W)9$w!f7xmay{Cs+qK6&wmT*%4Jf5&ry>-&gTX z7kbE6l%!1`M}*WgHS=X1j`Lh|aXull?`OUqC8Qx|#=}k-aj>GZq9pyjh#tA&Bxw`L zwNX90U7*Nr(rZD3#2&wkMVRFwb;oZ>XC;lv61-fpQEiYtH}!#oo<%>^DwHb}4y#$h zRg$zwBEN+$``&I_XhlX!Z+u3^Tljhi!^~Fg;}v8hD8kIXBLrA{x7%{&km(X13BndF zQd@tlS@t$Q23+e3qCEI~JGfYW5`kxC$vcQYVw3vGix#4Y$@$ z(pE$D%1o9ZndJvv*aYFMups{LGwc;?ncOA1ikvL$@iusW|IbX`^J^+OMzSxz`|7>?gJUcN1w zcQmC5$7sMsVC=@-lEirObce031;h8joX^I?G>=|RJU1KKRCZ61+6{+oCcYbSz#2%m zH1NpcFRkG5W5is-%m^7By>2QqFo3tqj#0xP%H1!h$ z3Qv_~pIz#%dT=pJG%B~hlnoQk(_OXb{@WRerVBg7QfS5C%FuULeO+`piGt0qX?rpz z$}!i>B)6D@q=pkw$VS0~AXVtK46BzS?tOVq$7ci=?ce{KL*{>-P^p9!!RBr$2huBL$(Bd;+sdPt-7PA%7f8S5=9Q%t*Awv*y{IAVo^=w_xW;=X z$jQ{nZ!ybz`Q&&A3yY4GRVP-`q6$5p!@|bq80UQ!l_F|*3xS^=yVW-;u;xCToyju= z;TmC2G5jUq7_x(yFL^O0<%gop{JTd_3{FYX7dLk7lept|sgQ^W?Iji23qc=tY^+TM zOk-9~oSsPbtb5Lu*$Aq~>&l_mhBtL$HM?}+F0h8>fMcZU&EtHL?@JFOZmie-MWNmz zMXVBB4i-&?4XLj`n6BbtG0DH2q-3ORw6wAxyY9x~gMLU2;ss;t?t;ddFOE~%#KzyR z318q4hP=FCM1vaMDP3A4)mCzfqkcF~q#)#tS%#`MaGGLO){x`g9{2N!^@DxaScZb9 zPVUYohQ!q&s%0*o^7QC^+4}HOB})zT(3IP%%Cr3E9jBM^Uh@(x0fK7)!oE|YD zfk@sc|GIku!!*Uvg~;P!ZLbJi!tUX#F1GT#$JQz{LT_sIBo2L`Mb~7=<8iG#`Et$$ zsotG+Fy)^eA$oC~IAH8NWk;RQHsrvCMMi$l(>&+bAOWUWf%>GL`rx3u%9Tx%4ZVOD zf3Nd>WUWw2vHi>S#~_C&nB}?>x{Ot}c(40$KPRN?#^?%+;^0MEVWRA(10Joxj2KI2j*S-&R{F0Yz7>uhj<{~}2%Dhe>AvVzcbD6>A%A#VLV*WZbjq%Xb3)4BVwXhuoBcmbaATQY z^+-Ol!cVMjOmQSU<`MRha+V(veXjVU$mYZ6p7opAw+0yXFRx(ps1#j&ghw-ZkpHU}UO^4xu2!Cc%tiguWp}Zzy+7i< zo@f^TiV7K--fKyuzR_U58)bh1o}exBMqp&hN5qI=od~Kb3sJ-Ar%c6Dy(&>Q8L`z9 z^se!0AnrNrAou-=h#IIWyG^4{1g6!5w7;ij4$j;NX!l}6<~tRLj%VWW*sxfJWT#G4 zW(%$MC}poy2=HC;rM?+Wb~XLi2GcwL8wx{Oh`Pl_nQ$|UV{$|D`E_%vZZgK@(u{q> zXX+GuSM1p8aFZzFTA$oqSWrU{+RC~&FvQ+oD?EBPq z#f@a9cyRsMmVo_H-J{3_yCGM>DrIfM%|3ytSW;k3aqg0y*S+Yv`o; z|M&rBpRawGlj4#8_Z;KSRDkM70cI9Bb!f+kAe+eAnAt~L3FNZ&rg8+&dXGbZskP~i zt^9@{!(|@oM^+E8PcRo-@-|K_Gpes@QZH@P8s|)0&Gx$(-GfC_Y^tLw^5IqW`u&Y2 zIlMKB_*XsaBD01xQQDYgANHw7Lr9$eNJ+#9svt5T0872xaU3g zle!i2ShrYBE8{-D_uITV#6N2~Yh}7^^M}f7GgX+BoHH(kf#5i=rSn0}YjJylqw8CR z*i8Qid+!+)Rns+WHW|bO2&f1sNX{7q0g;RZk(?E6B}ouya!`yU5y@FV$w-buivj{o z&N)ej2FcKb+5J58{d>Pz^J8YM`7vwVtXr|W&*?h5cI~QD=ekfY_6lv|m?La+-JaAQ z1+NSS5y|c}GNZ?zsOJNtEy-=aKHd znKm~$KO1t41-&b^**S~oaNFzTx%bqf)rL(8b!|}5ag?A7b`n~nII6)bmn^fPA{&e z{xQ-HkwC+}UiaX2t3Tg;!hjk%E95D0Iiil_jf98}m5mr2^z+VGy|M)hF#^URn}^*b z_3;aVnmMrstoNNyU+_iMss89&p^~>--DZv9h(f$8y>UM{`R;Pkg@|%x0yLp@dOiMq zrsV_%*(i3!k$5j+#QCF&rWMWq^W}VUxhPV_kuUIjnlWF4(7}YJp~XUVgyIOf$SApF z@x;MJo8V1gnC(PXNHOkvOJ$u;+Je2ZSJn2JZV_1` zQlLsyqPIV}Wyled@Q*JIhwU8mwXm;agQ3n>L1T`syiN5jSV?sELzDI3<$u%TF*;FM^a^zdT!eWr*#uWwcKRwAZnC6hK7x7p1CMrgE1 zHK<>fzDMqoJK6Mw|GI&8L#N+#?R$i*a*YmlcyWTefjxooFqg(Qwor+@$>4@7l{C}7 z#K!lU`oY9Cz9vjG(Jsf?2R~RTn)Bj()4YNWI-WOT6*%B<5;lZ#lf>y6b&bm z?U*-+m?|6@vYge4<3{CVk$iOmHUIN}vs|aADH%(albBruDIo)!Pp#RuQEIFd_T)}r zY3TRK#;v&1iu9To6P5eOfiS_}8+U>xC1fS3(G|#D&gqKdr&7lk6bTxYFUi)$aE$3) zi~qiw6ZEs^@ZxS@0s3vwtoO|{fuNk|zsd_4zbJO32DD=5yhXeTD^r{>QD;Li_AeUt zOjf0bSp6`HL zehBRQc~nEo4X*KT5A3&gJhvQ)WfT`5jRY>C1*bF>5FhKuE>BHyug@|Dz6e7IM6#B`GvtKVazK29*9H-B$71tY*RJfuTR@I zwDeNk8IpZcu=R*8aob&0sGdq|>|pfNBI023x=itYIU2Qo=>nph&5U@a(6~tSD{ZX6 z>5h8Djw`Y34H@KNn!GGLAWohsF*v{G&rC(C$m90>a%2V8J3xzTpo}cD^NGNGd;R%o z_IYUq!D5ewbze?O{yrw(7~1vqpciTi+ZsK$ItX|9BTk$eq})s*d<%df zf%U-#r7an1t2&ZQy{dikl&D#3&!cc57keekso5q1alJfDi2{`}`FkLe64CKt;*{Mn zj_pjM=zu_RvTRUr&oiqi;mzIq_KeL2l}S8=hByBn{9fFeCBM@U1yxFqagYv6L`qYD z@a8{CI%3h4=%O)}ZUR$L#5=y;S56CKHxbumykb>2rx#6FlK9a)MWXD438L2Zqk$wS z{*pl7HY0awIy0+<%;S@Ew~p}W;Udh@37g|6B`Lylt0H(nLUtM_a2at)&C!)Nbfrx* z{dZlz-1IdacZ7Ua*8bxYKlN1>(?@dNERMs20duWJD2@i}H|y4;{~m20m;?nZI9TOV z+az7mm}Pq;LCm#P%0sDMk?8czeDe*#zTJdyiK;QT0;i@2`@@tKnzcxj;=#d__pV;b zllp!ayO0`$%gKQsgw0)sqYw38>OB~cJ+Xv_+uHIph=q8knmP^p}oAjBMrgu)H2_LxBYhP*ez1+6m zXT}t8o~u{&3}GFSc&?T7VNt5&c;Evb)mgNWg%-ci=?pLDrcZIh@za}JL;*NSjQ{$dE4qW4FS6}PTXfosgs5gqS_aH7o~9dn`+ofA%b32jD9bb1}_ zQgS&}DauDavhQ@V_l|@Im?uwmgSuHpuaO`!Jy(y*gVxuuzvIU1UH1a9b!9avv)B|` zwHoWdB^w;eyA;(C8vc=}cb41bgjlD&h$mlZF5IlnFhVBPo?hU6;VV@|V|28~-MmO$ zZzzQ7^$76}Aj0JReg6})%QE(UL2}yDS!v8yH0}J|4%?uo6>6LHxD#agv%rH7`HqA) zJh&HX96Q$a>}co2mhVm%5B=RAx2`Jq@PqlX*!VqGzmP%=&O;_6Bont(lTb-Nxdh!o z>v`APAsw-nCS|uawn~GWCmczRChn>@+4$a_MG))yk>!UH25eqQ`{B{D+sajYCrdQi z@qF5W=~XopbwBS1uiTeUW>8mxGmY5m8J|0fNXyxVC&j<5Bm3IB{a26XKI~kkU^b5x z%)e8bMBm6>zk>aD{Kf3wv|XooNe0svoIYEi-4~SybBCXA`R?Tp2|OG5>Z>Z!>l4vL zpJH)y+xz|-Dht2C)u?N;7rC{XUqx}WnxQ%Fxu3Soa?=s1!YPJ4H&CbOac$>4EOw%Kym#Vw;kSTf{~3f!SyTd#=Hnx3%?fMB zhL%kYk(xG4m|)45S&sHE{cR1xxT+gkXN+Lec9GjjDnQ^7dbw4x0O# zb>byt?W>i#v=7FQ<*-ct#Gj0j14%lgwHn|MioyS-if04t~7aITs456trrO3o`+ycZ3& zF)%-48#A6zBPV^6FieXq*On?7>xR5MAd3I=D_c=a!!GwVXF_)ln`SKT~*x}-!Ku$lc*?F-N@+i{NJDd|q@|^EI zq6M>*?DRWCjv~oBZ~BwDY76;GD=>aA$E-S{3wg4-^c>XK5bsfK_bHTh^KnQr1Xgww zgY4Z_tYXnzPj=dC!>o!ZWHvq`(5TBNHy4saBJ1BRXQ+PETTf>r3h;{g^Z8asWLN~L#Cks(h$^3t#i+?$vji>@4fA8&aqFg+8)tSNhU@y*`rtR!Ebs@KSO zn5@X~T+AxF0vX%42>y!!UH+cTBBPnA^^|2F`$E2(26|FDj3#o=v2h`c0tspB$Bvmq zYM3S82wv>A%a_5N#xUuno)e;< z6rZC$BdJH zzf5~S>t}-`>l2L(Wur}@&ta5%|23&Zo|gX-av<*Sth5`60g8D6yQiG5Cw`+;@PH(Z zXDH*jHHz)?NU1HdT$PQHDT-^!`*{l@wX6cIx;%(KFc%_=Rb=!+WoT3VFQ=(k-tm74 z!yl042JxQb$2_R|iSY_DgBxcD84Npvb#xIQJ-R~=^|f=fbwjBGGDPR8mcv8^OP*lt zUj=z4IPE!(9c!T`Uu|$sqeRbH`RV6qdhl#WwzS{OdkM!_X>(xcNOU(;ud zTD9OZrx+l-{It@R7=KD(lSL1$gxGjo;)gBU^M;hNCZdT4#7jQJ3s>R9M16Nt%Gtg9 z6^XEUpEtUHDbacJJ{RQ5_cC}Rn#JOiZxBEcxF;v;vV;d zN1W<*^}d?@<^oo>R%)rd^x3_LqM{a_c;n7nk5%B_!16+Dkj)eGjP!~6p6%mFN~8M3 zQaj$kAolFsky576AB6+s22#6eHZM{u#*ZUe+GLbwZ+uR(8AM0DL!A}5;34?1uKZ-Y znfXqJO<2F|!>XJQCTDJ6N*H^uV_Ym%p1H&tfJ=x&=HJ|Lsn&l%BUWPGzUm;7Yrq(c zf#-n8x>I@og$dPtThgh{)VsB5X&2>w`R`4E-pXU2o}q-PFb{M=?w#8=dIMf5Wcb7#cGorRP86B+7tIQ7Q$;@+|Q?ixk~Y-S3*{}v*> z{CJzSt=H?}2z~keDHQ3-^SMp?R14JV?Vq^6s#8G&SS!U(WQXLZYA?GG29$R_7#%=H z_gNdMb(gG}J;=)LzF0PAl6^&~6xUn&c}@y-YS@Djis`O=k=z)-%7Y<8i;H68w^h_b z)K!Oe*W!yhj&@J`FW+U!_jpnx8l`41o{KQ%WTYVk= zQY3tGDWNtzF8{twJhEIW?O^>PDrGqF=*fN4bBIspQ%xK+#Jqg2YWK4I5o@=P5bhn0 z>KfLl%UFMC{K-4Z&S50NEVn)*%kj{x@X`9Ego<}_fdsU9qXDPEn#uS6Jr8B5#7P9H zC>-E^XCn>V^Z#)QEHtyH%wTP*3z^K+&Ye7qGt+n(p1zhH8md=jVD>&5v=0e`x- z9)`EB8gTvV-nk`San8BVd@Z-ACAi0R`}<4Gs-Bg`RNs(_nr5{DyQly!yMrTkCeDIi=SS5p(h>bn~^`wtUks$=+3(=5HZaENIAEooHd4^Y3nlaVg9{#b!tA@xI(;4fvpStfx_Ncifs<63{bx9(m z5tUUhKSjI0uiDU|#Lyh&C?cRRmo!Opem`Td)6^2HEh!?FV3ft?(KQn_>j4_C!l7Z9d;}An7-)>lav$K3UF&1`&tmh zRKM99N8-v;H0E9O%_|4yVLE5m(RZKlqV6;}yD7e&9R5}0 z%EZ6v{e#TM2zgk+_SbDxxYtN-r0_*s{e^9A>r<31PoxP3729OYoBkE)E7YkFB(-61=P8!X^10=eHN_|~^l>Y~GV7v) zv_iOHFb$U9i~7qC-MeV5o2BoQ?o|q&$aAu^IxMbPq}IELm_`bcYY#4#5l(yBCemQ1 zCRxm!>RHVMnKxXO@~d{%2*>D0zv2QTWn=_`J0~N$=8sRw$)?q?Sfo3@lk-GgCk>W8 zhE2v2i?Cno-l)5Oe(V0o)VtaiW&&I_Zc%ha;8Wo-xv%11>^nJ*5BR z=wvlj@@Uig7ypo+EA&5-xwem+d)DuGT>3aE>nDfuzv;-tO1#xf<2NXMCZj(=N4<-$ zb>)L7(`TNA8Y2s4*S$gYzb`x$TJ9DE%`;3%pv{v7-|3fzAHUSWB-PCNFi8%L*Yg(@ zl#U98>jb(BPfMPjse~JzA9{?#okITl)kKjmgjF5{4P1{ja!S0QHBwM3!>=iMI#*#- zbwP5FvNTbsB$T4L$t$Qee1UF6rF~W6zTXSa$(Mgunx8dza#S1(RN_QDmyQIcO+Kb* z>9URc6FHVx;Zof9Dk3)rZ2P1M-zyp5boa4!CWW$ml_!kcL-S&RR7I|JEM|ZASXLL0 zDH=zZX|%9J);7HAi{rdp+L7NUHzi}8h08wAr| zJXxk^il}bL-x6{3$3^IH8#;}u)orP7Rp*DS86`MTck)SJsEpFNFv~kt_UzD@tw*Y~ zq1NJ~aLO9F#Fg32=p<_2&TlF!r<&WN+N}vsdDF1+Ez*CH&)*U;%w@jN6X`L&^~B-= zOX8?YTRYn|YkF$J)fAdHIUS)S!i+;4O4YqQn7y4MSHC>Lq+$(2+hbb?HUtA9?0p$BeTVrjXZeZHx+B(~Bc!1GSwk+XQ(4Spg!c3C zgp22cUXeFiJNJ^)W92GwLqT()8%HQhg`(4#pq?N(@4Vl?Fku`r9HEX2d5islI+y{j zk@B(A-tprvwXUR!o|=aRNUFL>kE=-m&e)TfT33q?U)NW<86WFK*fBRWKJ|_dvz3U@ z@!8|wP(h_6ZY0r0=@Cw0P3L^;7}Ks;>i(9a*{7dY+)1s8kv{J^B2z#+=j^Dk5xJe{ z`uKA=*_f|l+|s1hqS4p-g(x${%m*BVHNBGtDo6?O50|5%aQeVI8)T)_+f(}G;6Xl)}QB7$EjCq z{K0*a#gm{(N9|ARea#3Ib$n^`wcZBIi6VLBr*eOH3yax>Zxyx96mwPz@^STRRj%`N zY71(eJZjHEVeRaCU>u)vB@I?h60J;o#)OU(SuVVxpGIS*w}fO<`2LS5?dF$Z>&}=n zh(}umisbQitbJ6mi%K7wO%?jMQ#l?^KBJ$TeW88uCtW_ijc9A;&ZCJ1WzNt)B$?@B zzUn=-`D%S?1KdHBE#IThbmiPQ<8FBUsGyBXeNC2(-J4Xqt6O$3X#>Zn;UT(XoaU>? z{S6^6oSO*ubRR$LHAsMsJg`p&zbWK@d(*w87@io}_oj+?9ZiU6Db|0qZdjnfuc)}3 z>JVmiQ#UZHqUd>$ma;pGt3!h06_J{2l`&nBGcioc0yI>{i&?DKTZl!x1G;u>tL}!$ zPGh~xTHNlwC2xz{-Nl$*KQ{?&C(g!OTjV1)DbsnzR0dKkdks4lro?D70)pA z>-N>F`f$Eq{=0{u@67+bJJC;yS+9$jGE08{!+Uqk*C>CJwd@HpDWD`6vsqUor;~f6 zdJ9=D>SPjO{H6-`(PU1=wiBa85G}Cr&lOc)9DQK3B0PK{AdXReas9`~$g$%?{7ZPM zKi=aJZu7(&AO5dm z>;L1sKq3s9Fm(ASCdCXd{O%}k3`RT;WwGg&1-FBXd8>!k&#YdsC&(k_wLwM(UI@If zc~ZB8Em@8-q~c16+abjwZV?nBSeFyhVdMI{zV~qsL}L_r$r8iq_2XX#&wHl$K0?;J z?{U~g-leiRFJebFcCT`uh}WWdRWuC(M+}K%#H>D=VzUyP^0TtEGH-bQg|drm|C}JZ zW48sG2D$q#F5lo6Z?NhUErN2mb$tdl;OO2(!e&oWC;koL?-4c3GuZHI949Je4Lezb zQ^Cq!9zu9rkH*NN-y+@399{^p*u)Jlqf@;W(l5h4oiaDZ?^ia6zbDj$^NPRN#++W9 zY8_HZ3S4PlO{Hted?z}nSz63;DhV$Yqc+dmBS9i4<6 z_*N}N8!`V*ec|NW!~v%gL4fMH*kNIGKU!ug9ONkb!w+Q?EoCL>_{)huO|`nUbTM=fg$lTUk~{Vi6BF~JoLm} zxTFM==lFWb%)+XAnebg-T-@=sAtFh}{o;;cE;TqVrAW!Hd;!__6oMGSU+t?|XFlO1 zG?|IyvrMnExIIFSQ$)EzsUp3clp+e3sI=CNqHK4|4bdSY!ozU`l|tkbvC+MZEH`?6 zKoc=vL$^qtsIwlDkqO72%eS=h60ll1(}OETZzsbxIF@$U5k_6TB|AFaJSZ(^16!GF zJeg?^R!7hD@NC;V$DQe+jz9{Q%mvg_A0E_~!zl(6A|j&qm;{9$9$s#^E(dc>^!5i6 z`gf`&ME&6Dv%4ac9%mPseGLl4XukSlvAx`#neRTg zVRi}6lkq$431!YZI*49PRXtaUduH`O#FQ>}78`Zx*cxe0eoXQExJC-T$!6@ZE_w$o zUE1AIiI2>WHQEkH>IC{&3)g!DRN2*S6nEX%m#}J@FHCRWCWNgKVVbeKtZ92fRM`X~ zqgVFXoZ@Q2vrvBA_=X6DZxl#GEqj<=b6PQQK-KbPQD`g_%{eu5>*+UR*fx~0Ciy{d zU%SpZD49elL!6($fS^3zNvF`@E*pZyL0)fqF(fG5Zx$wD_pV`K!EPYo+$s= z>V-Y9iX(3V<->qN#4becn1FI9y2 zvW(SjD@#<0#X3eW5_W@_+z=ThxSS}lRo_<*!r|5s?O zD4~)a3Z>&J>T0=a+Vpm?R4Q?XJ015lU{7d|I=)l&qSevY6rR-AtR(P6tO}L51xylY^J1D) zA!-cJm|Fzl1S^D-L}ZmXIs7Xyx01Tnc5{%sk6zojs>izP>D6;Q|5U?lGVR5UKfex4 z-fbs=?|g!cL+#^}+|~!lXm>O$U#>*AWU7934LK>WoO3k{wQ!!zsZG|y2hXHspl@Jd zp!wMGxNywrl?{%D_xK*aWqxLC03&+-W(dQ_^ zo%5V5b2@Se7B?&8ao|eeKlE;t#ZkLGUn;$h&Bk?>EBL@{!r0qQ$u@ld0-J>+kvCB~ z+lH{m@Uv1lLecgQ<`5B1^dRtV04)2nwtqphbm!81XHRRHqUc^|_p;z(83vL`hBC%p zNkK)fO)2t?KCp5iL+}TGOEi#xOQcJLEWeZ%JeeVm?ic*}x`#HR)jmSdp*Mcv3pxIU zf{@Q;5cXXPxv^8&$#R_$7Tut@d}3Y#SAu9_FG6pX!b-;W)rV6z6jo9k1J(oLuohb# z0sl!tC+H5o*t+D?;J!{xw02vp|KwuSI-gZ;&KxHjq+Y&48otr~r_0Y@DP=6PQ!h_p z2$38|NsR4-5rTE{%|WO2Sq{-e_!nZv*I7kzG!d^uYM9N}W%Sge5K8}#Y_&`kzfBhq z=Rjyr#C!Mhy=lml2EV|ob-CZhp&{VndL=HQ%%on`^wPPMYKiZn8>|~vd~X%RN|XZ3 zDHg(7(9PHr#ry$*9+T2x#P#a^dezHsr4~%^dt=b!D&W<>DQ^NA#zEEHU=8wgrY6Wp-@@@<%f%g}0~WnH`YFIYq)Equ2H? z?w@Pa(5fcf$|=%{c&$@3OJ^l9{~rM39;fO zVRHpHxevV08HvrYyc+Y>t6HJ5X&bReOkuT&d8UWPH}khp3}-zv%KIa?Kr?k2B`4u<$U+$` z&VWF`US(_@-}kG6mt##IMOYH;5e0vaEhKWHcXEG!Fi$i{WLJ%&!=9+O+zWo3SmQsB z#SxAN_6A;IqZ>}XxL9b!?I0peQ~6eB(-0$qHo(?>t(i2rHONBA{6fHOYs_7-eG5x0 z&MUN1A6Ta(%N)TH8Xf@K;kve^J`Y^4PT(D|{QcjGJkkyB;$2i-H+?ifap?l#1Zg>E zMAO+R4^+LJ@A=F!!IEzIbwcLw7kmA-u}R{EnlXsqRk-@VwScD@7?ahR3z-5Zg@kh5 zjg}b)W5*g+{!^{gCDGgjoNoV4&kh;T`$t%%f#rMb*wpHR0+pY}KH2wR7(3Ipm4usL z^#+P?nt%I7%}TCxvR)xS!s5`QK#y;lYg6>-Ont4xGgB8)r$wzxAIPV$h8MX{+H)Qi zcOpisa6#N(xq9aLJ`*5B$L=Q*B`UaKIblG2y5FE@qmV)CvWFvQB=j|X{TEBR8=_9C zbhA@|0r6My*!#3DuElH_`zkkrnTo4@-14St#dxBHSPDs)%bsrjD@9?OvzimYJ;O{$wmc)CYs5|%@TW+=YHfRxFifwgUe#BT&BHLNYA6Pt z?9e@?eD~M{Nf?mje{xKI+dor?ZfJD8*Hwa-g>OLuO~bX2M6o)HwKnCKW}$owG=Bv4 zMC`jnX3g~^vTIY=NK;uu7Tu7VPNMT{XmyLJ1%=dX!fA#3IcXQ|IF=K0;>1MS;|CtL2-Pfm{1c6RnpivsyAQw9)FGhSoR!Q zPTnQN-5wbNRSw0kGLEN)dK&=Kc517*Z0MH& zQI_=YR-)I}f!)w?^H`s~an$=1zN){UH2Nf^-{)LKB>HT&q$D~uP~@`|!{=wm0Fvzc zxcg|oG=tL8bMybVcWwVq8~k{}-G=0*hEZO)q z2eoM+Ha`U>ApGNx=^emDNW?$wO1-lR^jWvoG}Zq+DU-1QHVIrHw@nVRex5kSO_0KzWMEy@m_7~?Je!@{=k0tKqZ z4xmS)RhWH$10Q-3NTVuDo;QIe%I*CF*fy+yA;sg%?A4A3qJ|y~0ZpJ58e4~ofe=c?eDfwHJqhB9F#NNH*Ag3ewgv=~ zJ&#WD5Qn!+UhiZ9WpM8)oLen`w>6`~zll8lb8*1PI`rjI$W^fq)4$$|04ws1EB=j( z$DMw=A{|l-iOOy5DRL>_lD$3vrZoBVWUn5`meIf_!9%^h_OO~@PaN`?4IO@#9-6Z| zPEfl$Vi$5v>JxxKguJ$&$(|m)04%2hpq7`$Yb2VPym{>ks*veVl09Z93Tm*o@VaXJ z3jlx`CuT?2d3*0#VeRG_)VQ1B@=pEXa<0tgA6A*uqb*FL6b(Y;*EqxcQhzSJH@1pH z<(f0G25*sK_cnM(T4=Oox;K2alWvu@IDW?nw{5JJbc&li2Nb=`7DnXUopu1&caSpR zy_!$>wjloTqE39X z013ZQnZe;Vyc`1{3{Q|qUjar?`0d@x2(oKVhUrvWmV-vG=xj}~s@{T25#xdoZv&}5sN-vmS>FrlA?OGOWs zJz+z0H`=|i7Z(BRwaoHI|*aN_i@kzNEs7hz!hgw}5-*Rs39(bB-g zhK>DREE;-R75<^ zB|2yF@HOp_b2DQc5L^IN@(3E2HnSHWXp?^4_}~THZk(u%Zuh}@^$I`f`D=ghf%-uE zb|ZIgUeDv?8+YG04H!SgD}R`LHtyh09n_?4#clki?k8hOaCMRyo>v9}b&LS8H;6E4 ztR$VeYq#>2>`vcF<2Q}A6Lfq$(is8xXy%SvE4O z{8HVYu6XFXfd7F8ovFQ0LH&srGz*S>>+j1z7#2f$3Tr=s2QLX?O%MR$6TW-q5R!eX z(*J01eODT(S_*}os}UY*D152^WBYe~o-QX6QZgt8MK zh;T-Hs9t1}y5_sxefF|oYPWbn?Pe>0I$Bq2w>riko1F{X5b*m)38Wtke7ITJk*YW+ z;?KuAUz|(3*q~_bDZq@Rrh{le#j0++WMBKQ$;^AL?A*E>usp+VEpq~?-NN7&{E8m` zbCI8^@W<{|j%1HVckesZfeIp~jlU-3ftJ*3$XZ2HFNX0sgo1`0-}4bo;mn-?9PjKm zv@|!EKs>LSi+&SX9OpdYx!^qX@GVhm~=^K65>ggb2DK>*EpW$?UawgUNeU2x40_Omc?&`VkTY0ngG8 z<}q=<@F7?!OJ3g$Be@2QN>xi=6O170KRoY*{_&rV1_a_N2!())_HbO(nA5LwvBuqV zl=%J&!wWZn9!VO^PaP`8n{sjsOq}9q4U7W8pjULfJNlyO%F~S&j+9I1VtbrW`2GRt zp>e^r?Otui;>o`vB4KhT9(6~X8rZ4@CeVPi*?dcC(v%qgZD8uqpLe8Mo<%GFCcg$- zeYE{e&cPjzn&kItQ2&J)avyb|*@BYiGX6sg{g3T{fu~cfJ3v5ot!uFXKZXdq{QXnB zDFTL2e2~1^V{jIZnl-D@GroU1ggfMr0UH6mOS$K5b*0&+dUdm+g*3@v31oq z`t$Q5=`HE?+DH($#N%`PW(&uQW=7O!41G}WBRu4FqJFcLXAHhYc66vWWFg7J#dHS# z695$bg}~+Y`q#PFn{x7*QlR$Z=<}NV$JzQ^6=NA|P?40B(FG0JvWq*EpmMvU|1 zv~;KY&2r*79M^R}5C(*dK91DP`J`25YsZoKqJ=Hyd(%}rCyY>YhPpMxq%|ZBN71#{ z^cJc~Z-KMF2|1-ajgSrv@uBBZ1#q(x=*42SC=_IqYjtoH*|&Bf_e{NZ0nF$T7FBO2 zx&|4a*Em~X60Yso#wldWN_gD^z8L?Ac6_Wr#_)}li8GFrK889JOmX!um+B$?%2!&2 zGTn}cwhe;N$$4A{19byj^MPk0ZiD7{5v&G(0-#cz6WvE_&egB!YVb9}5Usx*q4bI9 zyku&(qxpOM(3_TV#wtRI?jh8$*`|!H%YE71LPEBES?sjp_{U>EI={xsx9R7P4F3xr z(-8Ra8!}cS^U22B;&|)El-%&EV%$5$fFheK>6En-%{RL5Tj%j44`5XPFe059782;x zJFoEOi>ni$AQIR)eBrklnId{d5E7_3Fx2k5R6&VY+l_;g@ZZ#{3s5JV{vMfsn&?bg zG49Sl#^`zxIB?<@WH#g@KfIE%^xdIN@!3?1T(S``fpq^ceGeL#4~AZsoF_Nz+X`W< zQl4CU_?FSYIkLJGwXBA>4tg#m4K6wl!r-n2nzdGS4yITOU%-!(eC)e~cx;v}zH6g@ z$Xl*=3+SEJ2@d64HENU4T>Xo_1;b`np>}*8X#>%8uWZ%CF2Db;!U0qx85VoZ%>I}c zowo;{nH2QPOTnaPD9d#Lvh*B`he(--`w{;-DIbAHn5 z0kGNcxQo8by(sJW(o}j1)XFe4|sjY;2t(ptIiTCtXrAm1FyyIq~ z?B2Ed&k)z*IUD3@ifKmZPwaA0)lkk|{b30+koeC|8T$E?#>Fc6h>ZRfAWRIm{r0|o z1P!e#fP?%k;l(UKC%|@M#FlJv18R6XUBid)g}(u#^GUuOhlQ=M-_d?fM(;JqwO62z zi-5A>AzF3O_mk8tj5!HO%2I3yz+>ZQ7tcH_J7!;H9Q4lnLpiL;eOCON%abE) zc@N@x_9LrIK!hm*o_T4q-e0M$nfXQrY!F+%qL;3hPF+}cXd7vh8Gn~9a*~6X6Y+5y zAh@{$b-vzEO6?%OJ?K#K>D82&gVE@@$0=NrO@I%6EqKi=;GpVFb{nXt?7i_X9=8}N6Y1>SgD<5lpjpG?j_xd!Y4Mo(ggU?;-uin>mAh%2hKI6AAhGPzwzLFC zSMVUJW#<_u)2rj9rJ+#@@B3<(u}4cTef zI{daSA9IWzgG{}RwMp3-1il!CTHka1$KGY|bHG>7k95e&D7JZS|DlpC#;kazR$S$I zNT3hUYyHzxORiN}aK9L1L=~Deni+e*eDghi5(6Uu6?}rluTs!PWu8IIXr4gvdAocV znV`3#xg1dhI5&IvTXwW|G2~UkG%ZD#{_s@C#+W|R34>`wB1{>Bpa<1{f(V2js8K_w>FnU{j9GU&2&%$xhT1r&p=1}1Cxuw;Q9=>sdn=# zKp{ap8VgCYFwJ`w>Vm?@3C<`-SNe*fN5RhcNhMQ0U-p-o>Xic1D1yZJ^s2kJI1b=a zRKhf^3f{(`&IT>o2{W-)7!34xvtBk{%HinJWu=V%v@Mwf^xH&N*lG7C^l@A~!H1hr z{*pnw8vjb_lbH1B75t;~X-r-cW=DR%O2MQo=ZyZM@CjQQ`JrI68bA8o-W_@cldP)g znfjB%75sz~YVr>`7Ds6tNq$vP(z$F)D6L-o64f$jT(0Ye@A)MXHz19)!#ra+<8%*S z;XzR+;ab`YC452E{MB7ZFvSBgePaUI4AbSSDW^vq^(Q-p4E?Af$Vd1=L;ZZPS++tu zXYY2%5Owi}w8m(v3PP8b(sVB!y5a0gN`5>65z0kA85p_8{BUdd>i7s|){p0+43W@i zk3mobYN;^D%iRU$(&wdD1z}JtEykTkP-{@qeWeb7FCPiRX32f7Rw!0lmFUes9}20l zMMKlzb72O{vmb;3ua8mD<#!3>oAh&erojAR$d)uPQ#NQ}4J#;SaB+C+_Ghkn{*Aci z{QEz1RImYk7O2~Q37zf(yet7q`~Gs zkb4a2O`qb=$^l%HFF$V1=D6+Y+X%eK*MBY(kkP$jqN`iKul9;2Y6WU5t6;wJXV3a| z?6hV6DMs3;9rJyrURRK40d9WmZEyGVPoJSg&1|uLW9w5G1-MrtNP33pHYLdR890)? z`v}zd`oSbw#T)o>T#Z0JEgsw0cc?Jjg905xiAaFvGrUY2A4AO)q#m^`e~ZD5|sllv;Ga=vejSW~g)qWrv)Uor6rsJ*MuQQa7hh5V+)ONv)CG8pIhQ47ohq_DCy%W!)$UdWmhMm7&) z&p&&>l|A+M-eaP-o;ba5B$gEHs`w$1Tj~j8w9x?dE}fmTzvH*E4)x;Ka|_=Giu1&O zvt-h``zEcM(>6khALsX$ zYxDqwS*kg2F!M>tqqSH3WmICrh3b$532J{hw*!AktJ#oQ$|XbB#tlH0w@6sPw38t2 z@DhNOc+;t~cfnr%*L5~Trj5^>i&WwA(K0N-rHlF$0xfl<04S>f2>o7B@iZUh;?e*- zXyX+qH^22O-q!~*_2;kjq@}nHGGbzUKgYOudP)rxS{C-=_%5BHx^jgAoOnK9(KT7u zK1(A;c=IyMKXP+$^X&OWP=g$0`rcD0dMjae6Lw9CaB406J>FP8 zRuzddR0LKjkUcwkZVmdJ&jCZ)EG+k+K^YpWq6OwYJV_SjFU{VPlOH~u0Z$JxnB{@} zlGV>2mEoLr74Z`0dhd3|!0%F0n;bd;u4!PtHo)Jco~{Omh0R}^FrWo!dahw1cfQ<< z`LpYy0TmK?VAK0P5ET={6WUuC2KqbvRMjK~$mGD_1>xK*TsBozRe2vDnT`~>aF_y4 z!w7>HK2p)rzQ#*}@o-tte*#1GEtnbelO+=3<7Z&#{Ec6L&C^g<$9vHVsdIHWgWwP6 z8E*x3%Hl#$WrBm=u7H$HQg7)82C}A2Y6>{LkD$u9y63yUaRUMZFWLSA0kR0IiCgu6 zAP2E=oN-5cyOOT%r;!PgT!Z`un32WJ!B=|J{Y5FUjN${RP{0xLZ_v{JhN!6C(kXs9 zG|Edl%Nj)M_=PSdSd5Ny!`tj(fcRx+ABvZn!EC3}ZG{f6(Qqp~^Js{8zK=ut@f^1)PzC=4j5si20W!N_ z|MNK#`3B}M7u?<50bkqD8pRVQGz0>%a1h5a!i58iw4$G%>{HsDhzKg6I}?D+X8zk@ z;~uDx@GSQG_o)D93|#DQ#nofu^~+MNH*C#^bp49H34^rzHb>!0N;g2H^VQjhmtaSJx)%nW57? zMD{YkDqY>-G7oTu6>Lna%)-FakY`>)M@vgP1n_In9~kNH>k|_a+(KbPK;4=KQ@6_! z&l8*Wvh(uJLI6A>sR8MivX#~Kr+h8I&UN1Wt7bo3OakcuZ*IVo|98by$GJH<@l!p? z(}k6l8dd-~XN8qy1Q8+{D*cXc)g8<;fR>oZ!~5YH6p!H9#rv&*-wkS;E3jl1sKfai z)>-iC>C0EH+~DKWoD2P04NWK)c&6M#u8!^9C#+~?DD-hqH|8lvsu zd&O8-tOroIvHlFc6X1Qdnb|Rn*RJ8ucegUPt)oL3Nd7c`pJF^%_2Mbmq|zb&Ir;eT zP<+t0UXN0ro|}6Ou;2dS&+S2=j!}K}z``O7=5Ny=&8YOni9>M5QGY5b5`s&NUl0Xl z=d1qjx!j1XWm}}3UE2ZvUdmTCcW@WOx&kpEykkMvj=_W+2uVo1y~q9v#NSFvBwG*4 zj)tG62o?I`5&e)nFn%C}5fl@9((_q8GtV{WL|ja)5jtwr#H;$#69#a?t7>QvAwrnt zm|%5S9_Y=Vz3zc#LC?TIfjbKRV*xiAP?cc_kjGQ+XJ?~qS@B9x$o(s#wo{QD+805z zhW{q8QsQxZD7G~W#;8Ti`_|#`C3NQANmm*FLIDXK#J784d)G>zW&x zn$Cjw6+a@lULE7+;h}_F_6soQ;E`w%4HAQP0fiK-y$9mgDMRlP2oeOyUzZ1s&OlPRh#4a*y70%C<$hOgE7HZf?d~crhrj#-G*F(((WSA-*4jk0plm*i!|Nx>sKp z7Yl>tgA_d1+%*yU1_oasdjMVh+~Ld5iHRZb_Vmii%V3ec1F-~)v3W1N8XFtmg@rXi zOBi={LpX*)dheI4hb|343A)YP3Vy#sT@#ZJo0~2cp|p0UF#M~lt6Mob78VO7oAIka z?t>P$J^mp85oK%~H*)k5rE!-WaTOaC-**MfRCvYOno54hjeIO-1}UZr)tHeGIDTc`Bk*85#Z?L45%EgMVH2-J+qUc8zb7Pg;&_288{_ z@?98sG);#b0mZsFjG1<-T81tcXy%0M zhXgT6()7T}-|=`HbaB%kh|NK-V624tBnSq9X}l8(oP>Bq0Z2~fjq4zn;C;$4j{cpW zXAuwx7kj+|>-cX$uM2_?!&!_g0LKU6V-$(NDa>nGcMUqR5{$ukts!_g=Jz1?cEOFn zQu|?QkWmChM$+IvP+Gd?u;Ug`V-*Py|3`0E8c*f=b~m9>NiS_oa4WrJxjsTAP=tHic5*-k1rvw z3*xd2Ab$au;wn5o8UMP*g2x;GpS}3`-&K2S49=eY3mEN;gxyLuRul`Y_q9kc#Pi{U zj&4oA)4mNK+r!Q&N)eNgsEa-0N86rv7N`hAXOaoO5p%-qoSf0mZp(${Vi8}DqC~<} zA;brlm3jHvUXS!p3|vk*b?OxIhL@mK1CT{WM{hlHL=fpJ_CNRT+jsnl`?q%`j>b*e zzIJvyf)q)(rlzhg8-5uZr~cV9AxX*A{r&wUlNb%v+_J^IM^bTF0D?U~JsGPCRNlry zL28~QrV~V0mLI$kIoEFf{T#v(maSQ1VC0W{;@RK7mBe_&=g%YY+_1!9)7Z5|MB0{K z{IY`JQ*>R_@CPVKB!A3veCv8ilWRy?V9pw1BOg zPUptMDfs%KM9)~r!zUT({gid=XnFrAsxe7dMnuNQA&Fv9+?m~G6-S+&89gnVaeF~_?l6B2 zH3#y|a9=sjO=(R-{jut+xlA3+Gby`**2Yx2c`c>izPF{LwLuCQ;5@jVHoRPkNl64g zR93GS;?xSXV>7%@WIEb>x!07<4FP$hvz%-~bDH?4mzM5U>~;ez;TgEgH7p^r4!gP% z3iSiHl&}%jpabpMzh4!to9>G!2J}}c>*tZ)FE>fCA)sM8>8g=ILgUcL$O{S3smxa8NW$(xct6MeiN)znPuAGdec5 zU2GQ~&T&-{zkFe}m9YULlI|ggmEL;-nH*?eGMNIa5gm(M5v~hW3MFA=ZFhO<; zh`FzANcz!kikBLd`V?R^nhBgeaQn1Ev-mE&9#xto9wXdG6*UgYlT-eH0GOpxs;a6s z9`?*{5eqU24GREggYUE%p2Pmy3v{ClM0>z{k*`0Yyn5ag(GD z8aYDAmC&W}a$26&^Z=S9h-<2^%C@z*p(Gdz5D56Wrm1N)HfIO|;V`^I?8wUSMw+f} z5U3@2^If|*@dqKTDCE(j?U1;G0F}oDZl?g*BOp&qQu4U7vy_WT+oI%-9km#gwx#I+ zH6Tfx=@)8uLWCO+IX(CKwuxk;|H71@Lw7kZR(s#;!Ze|Db#-;G%2<;|XY5)L5s|G3 zqC-e{5MU!Z2-5IEki}Jts9lI5%76?-8r9`U>G*^-3!+=mvWTpi1}mOrY~uW1Sjp7} zTBY^AAL(re^ESI5BKqOO2f0f#JCTV*qT=;;r6BW>P&24?L^{m&Qkg}xIKofQPQG?) zBFSsdLV2mbW1^$;n;s+AtF){v1)F53HDevf-L%4A1!^M51=@fh)IjJB1qw=5R#v5@ zrRKBa{SYs{%+Ie~aTSYz+8#G@f3P8(zkg^by=V;7fkd{G1Qd)&u0DJy?D7WzT8Y0m z;!y;inr$j}82lP>ibvhOdks3!02EFN1=;Kb{eJ)coog8z$rlB3;^OBI1CvB7@M=&y zLg!o44k5AzcPXPgZEjBiB$o#4g|&z?0Tpi+9VY^144#CiS=f>?hKU;| z=B{;6L-m{q~sF><#gqo|Orgp8~E@Wujk@JR5AnhuA0^WzKOSrRW_ZR7lbk zkn6RuFeL|vog|7F|78Vnf!wRH_7|^TE4#YN2q^em!-C2D_#G92uZv9%k+lerOkB)L zPp`r2+rFQ9ZxH}ocs?jNSla7cTP833U{_G?NmE9MlqX`|2y}V=Tum8?Q_w?6YScSO z*=Bib!7nhK)Bd)Pc$(;C6&0HS#uV|fp`oGXwzf-=(uGW{%?Dkt?YIuHWgD^y_u4iE z-O_p^e)%u%<$eplZ1JYjvicA)RiH!>`5F9TfIud<5uTZUJ_G`lk|=i)UH3A#O%LTf zLu#Y0LxS7y8AozO3F}3|5QJe?1ml>LU1Uf7v?-Ya)l^ekhImug!;=k2LEr>jBWZ3$ zRj^u(PfZQn2{zo>0I(R21;IiA@mb5o6@X;Ay86$H3RnF93i|bI zX|xxkcM;Ti-R^yw(Dv<1apxOhJu;MCiRuaAT*=y61U)eyF>&M*iSlsATu|OS2+9b- zinxB@f&mDon_5IBkkH}7n*j>~uqCnNoqtW9B^WpRr~a+DxJ@_0!|5jS84<1!$^)S{ zESarNKnXIi_pr3ENMRgTO9=RZl6M!fJhDe`0IAmY_MRDj@TXZ-kj3+m=G(>J{)=mn z=133=H#c{_%^N;4$Y`gZJ$shGBg$_M6K(CMnJfc3fhoB^c5^K=x3JKXh>-kz@c;t5 zpt`X$3|9f=5=+oV$R~s0GDx{6R1hA|u-REp=!;7h78Y=wTjfq8WbeBEpfPq5;C?XT zpsheSHy(1|Dbe9M^_7!ISNOV0+isa-@?b@Xuc6Z$@iQ0M$w2YZi4!BWd6rGqsLA;&Wi|a-@0cH*JGz{*72FIZ)IO4KR~>a zzHmP7EV^p?M>EOThiE7M3%|DeA@){8R8%~55b6w^8bECQNWnU_AS^7*K!_@HCX*Tk zl^czs9*dFTHmc8j*45a!6o3`qyB5L=Vg*A%W;1doy9&;(%!==Z;)jGoN>7gr+1`LC zR=A4dSz3_9V|JfuVl$)=_m2o9NQjH;$B41@F2{I@NEDP-l%{?V zwCqKivGHC2c+>|{k?5wN)IPqx#Z=Whpvq|GOQ8m+;(x+jmg#)|Af+SX!v@ z{-^f3GiS~q;#~R_WdC|-c&-|Gp~xvj_s0$m!S`mc%9tvwfyzwAS36Wt2i8G&dT$uY z-s8@TSWa{MVMJ(Mjf~_ni}(qB;TBi`GM*72$+$_9=Ngf7cnh(0*k;EdKq34JGuC@A zNsKFrVzco=x1tUz2olBp=TFY)h98pvO^q{8p1a35?(NT}NB{ z3P$jE6EYbQXK(X4xDLhZRLR|N6@;$ z{12Vf#gnPpB)W~sT#vbFR>Pn#3kyqj1;CvE)Lo*!fmM^Q01jOIR+F8Tg-CIu(Dove zl5%E>vjpE}>SfutKCHt`20h!b(!01*`^^(e@Saka!PO-25AZoWA~N7{Y72Dsm}#%8 zAt4g%31h6l266`uSRhUH?j8%p@Rq0-)`t1!EG|b01$`N5=_|#>vLuI&lYid@Czl^XTK{xE*?{ye zP(019)#>O!*{VT6c^#$B4?7Rb*zi!qkg-RC97Qz}pNq$JB8l=t!C4{b7)^02&_$oJ_`M;mx2sG{?YS36O3Hbl|)mrBVn4pZ_5OnGqoX90p>wN3!-g6J|u|c zWM?lD4KWn8j6vL?Udf;)7Wnqmgx`Sl`KUp_YWLb@R|aU`SwsLN|Fmw`h|I`73d*|u z$u~7!%(sduTqqc`&?lYe=iHdFPtbG7>X!Ng@n*Q zo}RES#~KGxZ={KDSjL9rOKH*5_pa{;DTOQnx%Wdrd(hDh^`-^=W-Y=e zrG4jI)7+||o)R4vq6R~2YqC$3yyrLt;%qIzY4OWIq({=@&MQ3uh1x9d9bN2%dA3n? zH2{DrvR31IG(o`$ugRO)6`IEjtdD`J#FpC!q4(~QmbUcG?UdQ)aEi~3vIpGY$M^1p z_7YM%G1@mOai9&ft5d1k-jbR0lRD2N1JIjWcWlYfeOdG)PaQ6pHt#C8+$aw~b1%L5 ztdpu;_VT{$l(BN~iKpG&rgmHcx%;-5VAJ-0{v3o8&$zPMj<@RawFj6qb!G66S#C-luWW*EiRNtbq#oF2>T_)XZ#knMp2V{U?~2YH6O@RcUt;#lpo}v@&%lEGQ^i zO&PJTS!pV%X7aI{-jmR(`OsSdK9_5l(~x-@e%GkIM9l0czcD9(ts=%M^rVoG5Pe5a zU1vAs+ENgqiLQ09_*jPBl1A|_U%uGWzqhosAPMxXk-_a;m(X@$(?@~s9v?CkdPJv5QX@(@eTG`hqrw!7TEd=L%73mO2goGzAGH%FYC#=I#4@5| zrCkIrgnM^%h*o?37`oMR5DU(v@;VZgNl13i`#9hN&D(F3>sxC%QeMX zGavCLR}UD-c3-kmWeK?F+?|Lr9@m`bYGG-~ia6k9Y^)t!T@v9eO(8-zz24X+^G^CN z{FyqPc-V^@dQ|ofZ%0SR=0~RmS8bN#LP+eRRIA3DrdbPJdEW{Hc6k#`-ew2e~Q1JSG9zqUdrbM z1l%aDIw;JEqs-n7ZGy#ULk1GYiX+-iPLk+iv_exO8tvZ*<0Ff|PFJ4Z)D?L_T_iQn zeYMH(xvph}xf$iTw}Qi2De?n+qK2ZkQ;LdoM+c3AT4T^h`eCsR)D*L3A{yEP<>a7S zmc2vi*RXbjhuXQWvrQ73XG(MFt`pR>)DDPkwO134}=O2Oh8`1t9e#mlh z861i%*G2#<@Z*Oo zg3YxY1?i?Yb>2&j1Oi%XZ{5v(-G1{&5(F+!g*T?-(2-TeN4IM7x@Eerdx0sd36JSjNO1IS00{aYcH;eLx+nizBX$qJv@aV)J44q_M9map|0%nq zv|LM&X720C-}W@OJ-V3F0$Y5}hc~^2hST(;jlBU!T6aT3ub;vZoLzK1(Zp zztczaU1X1f6w6WzbJ6ux?e;Z~$g8>H%w~#|rbuxhYk*OK^$TwO;p1XF7d5#54u_GZ zuC=wOVQTNtn3|{yPKQJg$ozL zrwn6Z3de+MjSX$vt*zU(DGvU?ez0(GAc@u^!k3g!hHs;2wjF$2wKNlv&<(_9v(whb z241Dpqu=+Er2ArfUdUNoTwFDD!DmMw?(12Z%luwm6fkHnl6JCA>X~nmWByr7%PWxR z3YhXfvynd+uz^+F-AlB0oY=X3^v8mPf=gTLvR&wFpa(c8Q#x;fggG`0%WU~~BUu1sk~lp~(`VwIlY*RmD8F3(z8xN%a+n%xZ&TLUz+;-*FjMr--` zSHg$Wb9+wAtljm1AGS-YCxh|kY^}k=WfY#Qw#*CauZ&|sQSvdCU>+U?@Fj{=_aix| z*pQ>HLYczZRykEM9bFTX*YOG)Jr5)@lh$?q{l46dPMEAfFL+Vr{Kw4OufB8?+O8pv7uT_#EyQhGeCGJ^U~R`v z*l3FUKF1s9irk2BEd;XYBcun>auj&le8`H~HKWJHjn6!HLM z{v2RA-W$EI=EESZ88e@7Y$U0?iODY~k;SfIcL*&T=c~Ah|LXDM5IB*@vF1~MKi$6t zJm9Qifb6!B!f7jMAQ(8)BT$fb00R)EY6}e<18T= zhB28jg-_Cnf=+nv>jHc;ODikdelJYIF+?$`^yY=yt6iQVPCaqrn5HHd{b>R^kg$wQ zw99jYKF6Q6ARUljEFcu1UerL-XZZZOXu}T*T<&eAiugNb&sI)ag(I|Bu;Fy|+ORNqjDx$BP*}i={guU7iA2u~L zH9;P!emRx(ve5SJzsK1;&ow__C-7s%IBz%PMhp!s1ROCR#cBDq7u?+RejE8j)IrR} ztm*Xu%k$?WaNneRBVa(-iWGGf6&2!t)6iILyT{(b;xg2@6x`JO;$jsL;c?vWtX&td zx1jAsy3Hp+N%=EBug8&sY6`Q%0q%9{Cg9k$d=oEAjd-1j`@I^Q>Qqmj>63;JvqczY zBWv9}_W)edL}rRxY;0)QcI3$Y6WbLO?iI#lK-Teua%FC16$l#G4->bJm+#ky$;p&J z4$e=1?&sx=-Go%KHECV@ZH{#mXzg&s7@QwQ$8G&(I0)*!jFa;$H4~km7*dJrn<)FB z@i6!`7Sr1aCFbGfwScRNknT>4pvG|iN4j%g=oq$kR9<@A@D1|j16Q2^2~p8tyL0-t zT{Hb{pd`XK!`!h&y?7-M3-Jt20C$AY_Tyka81qt$Y;bK=pm0P*MU7)q^nuoG#ChWq zhYze6hL|-DVL$w)O=1i+fwOK>e{I2Cd>t>l5;VyZrZX7n_Y)-+LrZP`bluq4*boS% z`uANyJ&3$WX8li|9KzrpOehEgq56h~2WW%Dil;L#5&MeaIboS7e<|ip2_!ctD-%!! zrvw&-Tb(g0yDzz|VB{oyoNz)EiL98TOnD_^wwmd-PBH}x^IsDpd zfaJ4H%D927wG-U2q1?QApoJ+j&)tPT{9VRUCN40&Rq3G+8->$GlCo~yI-KR$2xG9l zKL!C>G}`j(%1{5~E`--Lc~B^9+fFDS(-mGHh96|ilvz7Y%*-^vWbo4DHO5$>D>q1r zsb|=sk+Uq}Fo#NCAvpv+;~36QSvWbZCKk82IEEiCtI+zexciwukL_Gv$oC_C0D3jH zPeDuGTo=T`i)EX^H8F%uPfs^rSReK*+fJAFz1E*yw_oU{>CEpP1szA*y6ejuVJv!^ z(UN{IO%yh%jxv|+1l5r7*z)De<=p?-h<1@y2Tj z8$-!TfNFu$mjC)QAZkGcw|MiE32$VM6I9feQLM9DQBhYQx#Rw}!L8{hZ}I$j0G3WgWhFTtLC)rT_~8)!Rm`vYFute*xu5tktb?8< zBrYEMA`d9Dp}`UyN^{OnZ_!CDRr~89Ei59K`^$E`ROcr(?V>pjpH$rYwFc}CCcebM$CyKn z#_P{-~ z+U^+5RV!ikk2Vj0cmvG`5?KxA9N;)w_Ihh7eD!~!D|dYOP}|TDTsAyvmB@l-QB)*@ z;T3VaVD_6hz@%r{|GDz#j}PYV$#9V3#m4}vdEjA~Nk*cD@-*=(rE zNzrIeClS6X4u|3BN*|2Ax`^A(MWj5N2kR+eIiWvfo# z$jGRd_D(I2r3M<=76AH;w<62&6YZ7hrEuZ}wWeUjD`bxyru@eO=0+9ciD~l?p#0}= h2>f5xuXl?}g?x)H1t?2+!4yO}p`xLjt7v}ZzW__jS$6;c literal 0 HcmV?d00001 diff --git a/tikz/permutation-sign/permutation-sign.tex b/tikz/permutation-sign/permutation-sign.tex new file mode 100644 index 0000000..00701f5 --- /dev/null +++ b/tikz/permutation-sign/permutation-sign.tex @@ -0,0 +1,36 @@ +\documentclass{article} +\usepackage[pdftex,active,tightpage]{preview} + +\usepackage{tikz} +\usetikzlibrary{calc} + +\begin{document} +\begin{preview} +\tikzset{box/.style={fill=black!15,draw,minimum size=13pt,align=center}} + +\begin{tikzpicture} + \draw[very thick] (-1,2.5) -- (-1,1.75); + \draw[<-,very thick] (-1,0.5) -- (-1,1.3); + + \draw[very thick] (-0.3,0.5 ) -- (-0.3,1.3); + \draw[->,very thick] (-0.3,1.75) -- (-0.3,2.5); + + \draw[very thick] (0.3,2.5) -- (0.3,1.75); + \draw[<-,very thick] (0.3,0.5) -- (0.3,1.3); + + \draw[very thick] (1,0.5) -- (1,1.3); + \draw[->,very thick] ( 1,1.75) -- (1,2.5); + + \node (one) at (-0.8,2.2) {1}; + \node (two) at (-0.1,0.8) {2}; + \node (three) at ( 0.5,2.2) {3}; + \node (four) at ( 1.2,0.8) {4}; + + \node[box] (odd) at (0,3) {gerade\\Permutationen}; + \node[box] (even) at (0,0) {ungerade\\Permutationen}; + + \node (transpositions) at (0,1.5) {Transpositionen}; + +\end{tikzpicture} +\end{preview} +\end{document}