% generated by figs.py -- do not edit by hand \expandafter\def\csname D@strand\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \end{tikzpicture}} \expandafter\def\csname D@strandtwo\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.62); \end{tikzpicture}} \expandafter\def\csname D@strandthree\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.62); \draw (1,0) -- (1,0.62); \end{tikzpicture}} \expandafter\def\csname D@cup\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-0.25,0.62) .. controls (-0.25,0.124) and (0.25,0.124) .. (0.25,0.62); \end{tikzpicture}} \expandafter\def\csname D@cap\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.496) and (0.5,0.496) .. (0.5,0); \end{tikzpicture}} \expandafter\def\csname D@tau\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.236) .. (0.25,0.384); \draw (0.5,0) .. controls (0.5,0.236) .. (0.25,0.384); \draw (0.25,0.384) -- (0.25,0.62); \fill (0.25,0.384) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@taus\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.236); \draw (0,0.236) .. controls (-0.25,0.384) .. (-0.25,0.62); \draw (0,0.236) .. controls (0.25,0.384) .. (0.25,0.62); \fill (0,0.236) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@cross\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \end{tikzpicture}} \expandafter\def\csname D@e\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.496) and (0.5,0.496) .. (0.5,0); \draw (-0.25,1.24) .. controls (-0.25,0.744) and (0.25,0.744) .. (0.25,1.24); \end{tikzpicture}} \expandafter\def\csname D@I\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.236) .. (0.25,0.384); \draw (0.5,0) .. controls (0.5,0.236) .. (0.25,0.384); \draw (0.25,0.384) -- (0.25,0.62); \fill (0.25,0.384) circle (1.5pt); \draw (0.25,0.62) -- (0.25,0.856); \draw (0.25,0.856) .. controls (0,1.004) .. (0,1.24); \draw (0.25,0.856) .. controls (0.5,1.004) .. (0.5,1.24); \fill (0.25,0.856) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@H\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.62); \draw (0.125,1) .. controls (0.125,1.236) .. (0.375,1.384); \draw (0.625,1) .. controls (0.625,1.236) .. (0.375,1.384); \draw (0.375,1.384) -- (0.375,1.62); \fill (0.375,1.384) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@loop\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-0.25,0.62) .. controls (-0.25,0.124) and (0.25,0.124) .. (0.25,0.62); \draw (-0.25,0.62) .. controls (-0.25,1.116) and (0.25,1.116) .. (0.25,0.62); \end{tikzpicture}} \expandafter\def\csname D@lollipop\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.236); \draw (0,0.236) .. controls (-0.25,0.384) .. (-0.25,0.62); \draw (0,0.236) .. controls (0.25,0.384) .. (0.25,0.62); \fill (0,0.236) circle (1.5pt); \draw (-0.25,0.62) .. controls (-0.25,1.116) and (0.25,1.116) .. (0.25,0.62); \end{tikzpicture}} \expandafter\def\csname D@bigon\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.236); \draw (0,0.236) .. controls (-0.25,0.384) .. (-0.25,0.62); \draw (0,0.236) .. controls (0.25,0.384) .. (0.25,0.62); \fill (0,0.236) circle (1.5pt); \draw (-0.25,0.62) .. controls (-0.25,0.856) .. (0,1.004); \draw (0.25,0.62) .. controls (0.25,0.856) .. (0,1.004); \draw (0,1.004) -- (0,1.24); \fill (0,1.004) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@node4\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.186) .. (0.25,0.31); \draw (0.5,0) .. controls (0.5,0.186) .. (0.25,0.31); \draw (0.25,0.31) .. controls (0,0.434) .. (0,0.62); \draw (0.25,0.31) .. controls (0.5,0.434) .. (0.5,0.62); \draw[fill=white] (0.25,0.31) circle (2.2pt); \end{tikzpicture}} \expandafter\def\csname D@taurot\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.62); \draw (1,0.62) .. controls (1,0.124) and (1.5,0.124) .. (1.5,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.856) .. (0.75,1.004); \draw (1,0.62) .. controls (1,0.856) .. (0.75,1.004); \draw (0.75,1.004) -- (0.75,1.24); \fill (0.75,1.004) circle (1.5pt); \draw (1.5,0.62) -- (1.5,1.24); \draw (0,1.24) .. controls (0,1.43) and (0.125,1.43) .. (0.125,1.62); \draw (0.75,1.24) .. controls (0.75,1.43) and (0.625,1.43) .. (0.625,1.62); \draw (1.5,1.24) -- (1.5,1.62); \draw (0.125,1.62) .. controls (0.125,2.116) and (0.625,2.116) .. (0.625,1.62); \draw (1.5,1.62) -- (1.5,2.24); \end{tikzpicture}} \expandafter\def\csname D@crossrot\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.62); \draw (1,0.62) .. controls (1,0.124) and (1.5,0.124) .. (1.5,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (1.5,0.62) -- (1.5,1.24); \draw (0,1.24) .. controls (0,1.736) and (0.5,1.736) .. (0.5,1.24); \draw (1,1.24) -- (1,1.86); \draw (1.5,1.24) -- (1.5,1.86); \end{tikzpicture}} \expandafter\def\csname D@rhof\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.62); \draw (1,0.62) .. controls (1,0.124) and (1.5,0.124) .. (1.5,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) -- (0.5,0.744); \draw (1,0.62) -- (1,0.744); \draw (0.5,1.116) -- (0.5,1.24); \draw (1,1.116) -- (1,1.24); \draw[fill=white] (0.31,0.744) rectangle (1.19,1.116); \node at (0.75,0.93) {$\scriptstyle f$}; \draw (1.5,0.62) -- (1.5,1.24); \draw (0,1.24) .. controls (0,1.736) and (0.5,1.736) .. (0.5,1.24); \draw (1,1.24) -- (1,1.86); \draw (1.5,1.24) -- (1.5,1.86); \end{tikzpicture}} \expandafter\def\csname D@fbox\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle f$}; \end{tikzpicture}} \expandafter\def\csname D@curl\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0.62) .. controls (0.5,0.124) and (1,0.124) .. (1,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (1,0.62) -- (1,1.24); \draw (0,1.24) -- (0,1.86); \draw (0.5,1.24) .. controls (0.5,1.736) and (1,1.736) .. (1,1.24); \end{tikzpicture}} \expandafter\def\csname D@twist\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.856) .. (0.25,1.004); \draw (0.5,0.62) .. controls (0.5,0.856) .. (0.25,1.004); \draw (0.25,1.004) -- (0.25,1.24); \fill (0.25,1.004) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@Rtwo\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \end{tikzpicture}} \expandafter\def\csname D@snakeL\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0.62) .. controls (0.5,0.124) and (1,0.124) .. (1,0.62); \draw (0,0.62) .. controls (0,1.116) and (0.5,1.116) .. (0.5,0.62); \draw (1,0.62) -- (1,1.24); \end{tikzpicture}} \expandafter\def\csname D@snakeR\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) -- (-1,1.24); \draw (-0.5,0.62) .. controls (-0.5,1.116) and (0,1.116) .. (0,0.62); \end{tikzpicture}} \expandafter\def\csname D@zzL\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.5,0.19) .. (-0.5,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (1,0.19) .. (1,0.38); \draw (-0.5,0.38) -- (-0.5,1); \draw (0,1) .. controls (0,0.504) and (0.5,0.504) .. (0.5,1); \draw (1,0.38) -- (1,1); \draw (-0.5,1) .. controls (-0.5,1.496) and (0,1.496) .. (0,1); \draw (0.5,1) -- (0.5,1.62); \draw (1,1) -- (1,1.62); \draw (0.5,1.62) .. controls (0.5,2.116) and (1,2.116) .. (1,1.62); \end{tikzpicture}} \expandafter\def\csname D@zzR\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.5,0.19) .. (-0.5,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (1,0.19) .. (1,0.38); \draw (-0.5,0.38) -- (-0.5,1); \draw (0,1) .. controls (0,0.504) and (0.5,0.504) .. (0.5,1); \draw (1,0.38) -- (1,1); \draw (-0.5,1) -- (-0.5,1.62); \draw (0,1) -- (0,1.62); \draw (0.5,1) .. controls (0.5,1.496) and (1,1.496) .. (1,1); \draw (-0.5,1.62) .. controls (-0.5,2.116) and (0,2.116) .. (0,1.62); \end{tikzpicture}} \expandafter\def\csname D@Lam\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@Rho\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.236) .. (0.75,0.384); \draw (1,0) .. controls (1,0.236) .. (0.75,0.384); \draw (0.75,0.384) -- (0.75,0.62); \fill (0.75,0.384) circle (1.5pt); \draw (0,0.62) .. controls (0,0.81) and (0.125,0.81) .. (0.125,1); \draw (0.75,0.62) .. controls (0.75,0.81) and (0.625,0.81) .. (0.625,1); \draw (0.125,1) .. controls (0.125,1.31) and (0.625,1.31) .. (0.625,1.62); \draw (0.625,1) .. controls (0.625,1.31) and (0.125,1.31) .. (0.125,1.62); \end{tikzpicture}} \expandafter\def\csname D@Tri\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.55) and (0.5,1.55) .. (0.5,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (0,1.55) .. (0,1.86); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@rTri\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (1,0.62) -- (1,1.24); \draw (0,1.24) -- (0,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (1,1.55) .. (1,1.86); \draw (1,1.24) .. controls (1,1.55) and (0.5,1.55) .. (0.5,1.86); \end{tikzpicture}} \expandafter\def\csname D@Etwo\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle E_2$}; \end{tikzpicture}} \expandafter\def\csname D@Etf\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0.25,0.496) -- (0.25,0.62); \draw (0.75,0.496) -- (0.75,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle E_{2.5}$}; \end{tikzpicture}} \expandafter\def\csname D@Ethree\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw (1,0.496) -- (1,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle E_3$}; \end{tikzpicture}} \expandafter\def\csname D@wbox\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle w$}; \end{tikzpicture}} \expandafter\def\csname D@Ebar2\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle \overline{E}_2$}; \end{tikzpicture}} \expandafter\def\csname D@Ebartf\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0.25,0.496) -- (0.25,0.62); \draw (0.75,0.496) -- (0.75,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle \overline{E}_{2.5}$}; \end{tikzpicture}} \expandafter\def\csname D@Ebarthree\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw (1,0.496) -- (1,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle \overline{E}_3$}; \end{tikzpicture}} \expandafter\def\csname D@curlcap\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,1.116) and (0.5,1.116) .. (0.5,0.62); \end{tikzpicture}} \expandafter\def\csname D@crosscup\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-0.25,0.62) .. controls (-0.25,0.124) and (0.25,0.124) .. (0.25,0.62); \draw (-0.25,0.62) .. controls (-0.25,0.93) and (0.25,0.93) .. (0.25,1.24); \draw (0.25,0.62) .. controls (0.25,0.93) and (-0.25,0.93) .. (-0.25,1.24); \end{tikzpicture}} \expandafter\def\csname D@twistdown\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.236); \draw (0,0.236) .. controls (-0.25,0.384) .. (-0.25,0.62); \draw (0,0.236) .. controls (0.25,0.384) .. (0.25,0.62); \fill (0,0.236) circle (1.5pt); \draw (-0.25,0.62) .. controls (-0.25,0.93) and (0.25,0.93) .. (0.25,1.24); \draw (0.25,0.62) .. controls (0.25,0.93) and (-0.25,0.93) .. (-0.25,1.24); \end{tikzpicture}} \expandafter\def\csname D@natA_l\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@natA_r\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.236) .. (0.75,0.384); \draw (1,0) .. controls (1,0.236) .. (0.75,0.384); \draw (0.75,0.384) -- (0.75,0.62); \fill (0.75,0.384) circle (1.5pt); \draw (0,0.62) .. controls (0,0.81) and (0.125,0.81) .. (0.125,1); \draw (0.75,0.62) .. controls (0.75,0.81) and (0.625,0.81) .. (0.625,1); \draw (0.125,1) .. controls (0.125,1.31) and (0.625,1.31) .. (0.625,1.62); \draw (0.625,1) .. controls (0.625,1.31) and (0.125,1.31) .. (0.125,1.62); \end{tikzpicture}} \expandafter\def\csname D@natB_l\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (1,0.62) -- (1,1.24); \draw (0,1.24) -- (0,1.86); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.75,1.624); \draw (1,1.24) .. controls (1,1.476) .. (0.75,1.624); \draw (0.75,1.624) -- (0.75,1.86); \fill (0.75,1.624) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@natB_r\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.236) .. (0.25,0.384); \draw (0.5,0) .. controls (0.5,0.236) .. (0.25,0.384); \draw (0.25,0.384) -- (0.25,0.62); \fill (0.25,0.384) circle (1.5pt); \draw (1,0) -- (1,0.62); \draw (0.25,0.62) .. controls (0.25,0.81) and (0.375,0.81) .. (0.375,1); \draw (1,0.62) .. controls (1,0.81) and (0.875,0.81) .. (0.875,1); \draw (0.375,1) .. controls (0.375,1.31) and (0.875,1.31) .. (0.875,1.62); \draw (0.875,1) .. controls (0.875,1.31) and (0.375,1.31) .. (0.375,1.62); \end{tikzpicture}} \expandafter\def\csname D@natC_l\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,1); \draw (0.625,0.38) -- (0.625,0.616); \draw (0.625,0.616) .. controls (0.375,0.764) .. (0.375,1); \draw (0.625,0.616) .. controls (0.875,0.764) .. (0.875,1); \fill (0.625,0.616) circle (1.5pt); \draw (-0.125,1) .. controls (-0.125,1.31) and (0.375,1.31) .. (0.375,1.62); \draw (0.375,1) .. controls (0.375,1.31) and (-0.125,1.31) .. (-0.125,1.62); \draw (0.875,1) -- (0.875,1.62); \draw (-0.125,1.62) -- (-0.125,2.24); \draw (0.375,1.62) .. controls (0.375,1.93) and (0.875,1.93) .. (0.875,2.24); \draw (0.875,1.62) .. controls (0.875,1.93) and (0.375,1.93) .. (0.375,2.24); \end{tikzpicture}} \expandafter\def\csname D@natC_r\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.81) and (-0.125,0.81) .. (-0.125,1); \draw (0.5,0.62) .. controls (0.5,0.81) and (0.625,0.81) .. (0.625,1); \draw (-0.125,1) -- (-0.125,1.236); \draw (-0.125,1.236) .. controls (-0.375,1.384) .. (-0.375,1.62); \draw (-0.125,1.236) .. controls (0.125,1.384) .. (0.125,1.62); \fill (-0.125,1.236) circle (1.5pt); \draw (0.625,1) -- (0.625,1.62); \end{tikzpicture}} \expandafter\def\csname D@natD_l\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.62); \draw (0.125,1) .. controls (0.125,1.31) and (0.625,1.31) .. (0.625,1.62); \draw (0.625,1) .. controls (0.625,1.31) and (0.125,1.31) .. (0.125,1.62); \draw (-0.375,1.62) .. controls (-0.375,1.93) and (0.125,1.93) .. (0.125,2.24); \draw (0.125,1.62) .. controls (0.125,1.93) and (-0.375,1.93) .. (-0.375,2.24); \draw (0.625,1.62) -- (0.625,2.24); \end{tikzpicture}} \expandafter\def\csname D@natD_r\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.81) and (-0.125,0.81) .. (-0.125,1); \draw (0.5,0.62) .. controls (0.5,0.81) and (0.625,0.81) .. (0.625,1); \draw (-0.125,1) -- (-0.125,1.62); \draw (0.625,1) -- (0.625,1.236); \draw (0.625,1.236) .. controls (0.375,1.384) .. (0.375,1.62); \draw (0.625,1.236) .. controls (0.875,1.384) .. (0.875,1.62); \fill (0.625,1.236) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@natcap_l\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.736) and (0.5,1.736) .. (0.5,1.24); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@natcap_r\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.496) and (1,0.496) .. (1,0); \end{tikzpicture}} \expandafter\def\csname D@natcup_l\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) -- (-1,1.24); \draw (-0.5,0.62) .. controls (-0.5,0.93) and (0,0.93) .. (0,1.24); \draw (0,0.62) .. controls (0,0.93) and (-0.5,0.93) .. (-0.5,1.24); \draw (-1,1.24) .. controls (-1,1.55) and (-0.5,1.55) .. (-0.5,1.86); \draw (-0.5,1.24) .. controls (-0.5,1.55) and (-1,1.55) .. (-1,1.86); \draw (0,1.24) -- (0,1.86); \end{tikzpicture}} \expandafter\def\csname D@natcup_r\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0.62) .. controls (0.5,0.124) and (1,0.124) .. (1,0.62); \end{tikzpicture}} \expandafter\def\csname D@capcc\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (0,1.24) .. controls (0,1.736) and (0.5,1.736) .. (0.5,1.24); \end{tikzpicture}} \expandafter\def\csname D@capE\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle \overline{E}_2$}; \draw (0,0.62) .. controls (0,1.116) and (0.5,1.116) .. (0.5,0.62); \end{tikzpicture}} \expandafter\def\csname D@taucc\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@tauE\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle \overline{E}_2$}; \draw (0,0.62) .. controls (0,0.856) .. (0.25,1.004); \draw (0.5,0.62) .. controls (0.5,0.856) .. (0.25,1.004); \draw (0.25,1.004) -- (0.25,1.24); \fill (0.25,1.004) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@psix\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle x$}; \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@psiE\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle \overline{E}_2$}; \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@psi_id\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) .. controls (0,0.856) .. (0.25,1.004); \draw (0.5,0.62) .. controls (0.5,0.856) .. (0.25,1.004); \draw (0.25,1.004) -- (0.25,1.24); \fill (0.25,1.004) circle (1.5pt); \draw (1,0.62) -- (1,1.24); \end{tikzpicture}} \expandafter\def\csname D@psi_e\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.496) and (0.5,0.496) .. (0.5,0); \draw (1,0) -- (1,0.62); \draw (0,1.24) .. controls (0,0.744) and (0.5,0.744) .. (0.5,1.24); \draw (1,0.62) -- (1,1.24); \draw (0,1.24) -- (0,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (1,1.55) .. (1,1.86); \draw (1,1.24) .. controls (1,1.55) and (0.5,1.55) .. (0.5,1.86); \draw (0,1.86) .. controls (0,2.096) .. (0.25,2.244); \draw (0.5,1.86) .. controls (0.5,2.096) .. (0.25,2.244); \draw (0.25,2.244) -- (0.25,2.48); \fill (0.25,2.244) circle (1.5pt); \draw (1,1.86) -- (1,2.48); \end{tikzpicture}} \expandafter\def\csname D@psi_c\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@psi_nu\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.186) .. (0.25,0.31); \draw (0.5,0) .. controls (0.5,0.186) .. (0.25,0.31); \draw (0.25,0.31) .. controls (0,0.434) .. (0,0.62); \draw (0.25,0.31) .. controls (0.5,0.434) .. (0.5,0.62); \draw[fill=white] (0.25,0.31) circle (2.2pt); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@wc\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) -- (0,0.744); \draw (0.5,0.62) -- (0.5,0.744); \draw (0,1.116) -- (0,1.24); \draw (0.5,1.116) -- (0.5,1.24); \draw[fill=white] (-0.19,0.744) rectangle (0.69,1.116); \node at (0.25,0.93) {$\scriptstyle w$}; \end{tikzpicture}} \expandafter\def\csname D@cw\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle w$}; \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \end{tikzpicture}} \expandafter\def\csname D@LamC\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (1,0.62) -- (1,1.24); \draw (0,1.24) -- (0,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (1,1.55) .. (1,1.86); \draw (1,1.24) .. controls (1,1.55) and (0.5,1.55) .. (0.5,1.86); \draw (0,1.86) .. controls (0,2.096) .. (0.25,2.244); \draw (0.5,1.86) .. controls (0.5,2.096) .. (0.25,2.244); \draw (0.25,2.244) -- (0.25,2.48); \fill (0.25,2.244) circle (1.5pt); \draw (1,1.86) -- (1,2.48); \end{tikzpicture}} \expandafter\def\csname D@XT\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) .. controls (0,0.856) .. (0.25,1.004); \draw (0.5,0.62) .. controls (0.5,0.856) .. (0.25,1.004); \draw (0.25,1.004) -- (0.25,1.24); \fill (0.25,1.004) circle (1.5pt); \draw (1,0.62) -- (1,1.24); \end{tikzpicture}} \expandafter\def\csname D@E2XT\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw[fill=white] (-0.19,0.124) rectangle (0.69,0.496); \node at (0.25,0.31) {$\scriptstyle \overline{E}_2$}; \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.476) .. (0.25,1.624); \draw (0.5,1.24) .. controls (0.5,1.476) .. (0.25,1.624); \draw (0.25,1.624) -- (0.25,1.86); \fill (0.25,1.624) circle (1.5pt); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@XTX\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.856) .. (0.75,1.004); \draw (1,0.62) .. controls (1,0.856) .. (0.75,1.004); \draw (0.75,1.004) -- (0.75,1.24); \fill (0.75,1.004) circle (1.5pt); \draw (0,1.24) .. controls (0,1.43) and (0.125,1.43) .. (0.125,1.62); \draw (0.75,1.24) .. controls (0.75,1.43) and (0.625,1.43) .. (0.625,1.62); \draw (0.125,1.62) .. controls (0.125,1.93) and (0.625,1.93) .. (0.625,2.24); \draw (0.625,1.62) .. controls (0.625,1.93) and (0.125,1.93) .. (0.125,2.24); \end{tikzpicture}} \expandafter\def\csname D@CE25\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,0.744); \draw (0.5,0.62) -- (0.5,0.744); \draw (1,0.62) -- (1,0.744); \draw (0.25,1.116) -- (0.25,1.24); \draw (0.75,1.116) -- (0.75,1.24); \draw[fill=white] (-0.19,0.744) rectangle (1.19,1.116); \node at (0.5,0.93) {$\scriptstyle \overline{E}_{2.5}$}; \end{tikzpicture}} \expandafter\def\csname D@cupLam\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) .. controls (-1,0.93) and (-0.5,0.93) .. (-0.5,1.24); \draw (-0.5,0.62) .. controls (-0.5,0.93) and (-1,0.93) .. (-1,1.24); \draw (0,0.62) -- (0,1.24); \draw (-1,1.24) -- (-1,1.86); \draw (-0.5,1.24) .. controls (-0.5,1.55) and (0,1.55) .. (0,1.86); \draw (0,1.24) .. controls (0,1.55) and (-0.5,1.55) .. (-0.5,1.86); \draw (-1,1.86) .. controls (-1,2.096) .. (-0.75,2.244); \draw (-0.5,1.86) .. controls (-0.5,2.096) .. (-0.75,2.244); \draw (-0.75,2.244) -- (-0.75,2.48); \fill (-0.75,2.244) circle (1.5pt); \draw (0,1.86) -- (0,2.48); \end{tikzpicture}} \expandafter\def\csname D@cupXT\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) -- (-1,1.24); \draw (-0.5,0.62) .. controls (-0.5,0.93) and (0,0.93) .. (0,1.24); \draw (0,0.62) .. controls (0,0.93) and (-0.5,0.93) .. (-0.5,1.24); \draw (-1,1.24) .. controls (-1,1.476) .. (-0.75,1.624); \draw (-0.5,1.24) .. controls (-0.5,1.476) .. (-0.75,1.624); \draw (-0.75,1.624) -- (-0.75,1.86); \fill (-0.75,1.624) circle (1.5pt); \draw (0,1.24) -- (0,1.86); \end{tikzpicture}} \expandafter\def\csname D@cupRho\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) -- (-1,1.24); \draw (-0.5,0.62) .. controls (-0.5,0.856) .. (-0.25,1.004); \draw (0,0.62) .. controls (0,0.856) .. (-0.25,1.004); \draw (-0.25,1.004) -- (-0.25,1.24); \fill (-0.25,1.004) circle (1.5pt); \draw (-1,1.24) .. controls (-1,1.43) and (-0.875,1.43) .. (-0.875,1.62); \draw (-0.25,1.24) .. controls (-0.25,1.43) and (-0.375,1.43) .. (-0.375,1.62); \draw (-0.875,1.62) .. controls (-0.875,1.93) and (-0.375,1.93) .. (-0.375,2.24); \draw (-0.375,1.62) .. controls (-0.375,1.93) and (-0.875,1.93) .. (-0.875,2.24); \end{tikzpicture}} \expandafter\def\csname D@cupE25\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) -- (-1,0.744); \draw (-0.5,0.62) -- (-0.5,0.744); \draw (0,0.62) -- (0,0.744); \draw (-0.75,1.116) -- (-0.75,1.24); \draw (-0.25,1.116) -- (-0.25,1.24); \draw[fill=white] (-1.19,0.744) rectangle (0.19,1.116); \node at (-0.5,0.93) {$\scriptstyle \overline{E}_{2.5}$}; \end{tikzpicture}} \expandafter\def\csname D@cupk\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) -- (-1,0.744); \draw (-0.5,0.62) -- (-0.5,0.744); \draw (0,0.62) -- (0,0.744); \draw (-0.75,1.116) -- (-0.75,1.24); \draw (-0.25,1.116) -- (-0.25,1.24); \draw[fill=white] (-1.19,0.744) rectangle (0.19,1.116); \node at (-0.5,0.93) {$\scriptstyle k_5$}; \end{tikzpicture}} \expandafter\def\csname D@kbox\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0.25,0.496) -- (0.25,0.62); \draw (0.75,0.496) -- (0.75,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle k_5$}; \end{tikzpicture}} \expandafter\def\csname D@cT\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.55) and (0.5,1.55) .. (0.5,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (0,1.55) .. (0,1.86); \draw (1,1.24) -- (1,1.86); \draw (0,1.86) .. controls (0,2.17) and (0.5,2.17) .. (0.5,2.48); \draw (0.5,1.86) .. controls (0.5,2.17) and (0,2.17) .. (0,2.48); \draw (1,1.86) -- (1,2.48); \end{tikzpicture}} \expandafter\def\csname D@XX\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \end{tikzpicture}} \expandafter\def\csname D@XXE2\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) -- (0,1.364); \draw (0.5,1.24) -- (0.5,1.364); \draw (0,1.736) -- (0,1.86); \draw (0.5,1.736) -- (0.5,1.86); \draw[fill=white] (-0.19,1.364) rectangle (0.69,1.736); \node at (0.25,1.55) {$\scriptstyle \overline{E}_2$}; \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@cTalt\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (1,0.62) -- (1,1.24); \draw (0,1.24) -- (0,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (1,1.55) .. (1,1.86); \draw (1,1.24) .. controls (1,1.55) and (0.5,1.55) .. (0.5,1.86); \draw (0,1.86) .. controls (0,2.17) and (0.5,2.17) .. (0.5,2.48); \draw (0.5,1.86) .. controls (0.5,2.17) and (0,2.17) .. (0,2.48); \draw (1,1.86) -- (1,2.48); \end{tikzpicture}} \expandafter\def\csname D@E3c\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw (1,0.496) -- (1,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle \overline{E}_3$}; \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (1,0.62) -- (1,1.24); \end{tikzpicture}} \expandafter\def\csname D@cE3\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) -- (0,0.744); \draw (0.5,0.62) -- (0.5,0.744); \draw (1,0.62) -- (1,0.744); \draw (0,1.116) -- (0,1.24); \draw (0.5,1.116) -- (0.5,1.24); \draw (1,1.116) -- (1,1.24); \draw[fill=white] (-0.19,0.744) rectangle (1.19,1.116); \node at (0.5,0.93) {$\scriptstyle \overline{E}_3$}; \end{tikzpicture}} \expandafter\def\csname D@XXXX2\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (1,0.93) .. (1,1.24); \draw (1,0.62) .. controls (1,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0,1.24) .. controls (0,1.55) and (0.5,1.55) .. (0.5,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (0,1.55) .. (0,1.86); \draw (1,1.24) -- (1,1.86); \draw (0,1.86) -- (0,2.48); \draw (0.5,1.86) .. controls (0.5,2.17) and (1,2.17) .. (1,2.48); \draw (1,1.86) .. controls (1,2.17) and (0.5,2.17) .. (0.5,2.48); \end{tikzpicture}} \expandafter\def\csname D@E2XX\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0.5,0.496) -- (0.5,0.62); \draw (1,0.496) -- (1,0.62); \draw[fill=white] (0.31,0.124) rectangle (1.19,0.496); \node at (0.75,0.31) {$\scriptstyle \overline{E}_2$}; \draw (0,0.62) .. controls (0,0.93) and (0.5,0.93) .. (0.5,1.24); \draw (0.5,0.62) .. controls (0.5,0.93) and (0,0.93) .. (0,1.24); \draw (1,0.62) -- (1,1.24); \draw (0,1.24) -- (0,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (1,1.55) .. (1,1.86); \draw (1,1.24) .. controls (1,1.55) and (0.5,1.55) .. (0.5,1.86); \end{tikzpicture}} \expandafter\def\csname D@Ttaus\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) .. controls (-0.375,1.31) and (0.125,1.31) .. (0.125,1.62); \draw (0.125,1) .. controls (0.125,1.31) and (-0.375,1.31) .. (-0.375,1.62); \draw (0.625,1) -- (0.625,1.62); \draw (-0.375,1.62) -- (-0.375,2.24); \draw (0.125,1.62) .. controls (0.125,1.93) and (0.625,1.93) .. (0.625,2.24); \draw (0.625,1.62) .. controls (0.625,1.93) and (0.125,1.93) .. (0.125,2.24); \draw (-0.375,2.24) .. controls (-0.375,2.55) and (0.125,2.55) .. (0.125,2.86); \draw (0.125,2.24) .. controls (0.125,2.55) and (-0.375,2.55) .. (-0.375,2.86); \draw (0.625,2.24) -- (0.625,2.86); \end{tikzpicture}} \expandafter\def\csname D@Ttaus1\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.62); \draw (0.125,1) .. controls (0.125,1.31) and (0.625,1.31) .. (0.625,1.62); \draw (0.625,1) .. controls (0.625,1.31) and (0.125,1.31) .. (0.125,1.62); \draw (-0.375,1.62) .. controls (-0.375,1.93) and (0.125,1.93) .. (0.125,2.24); \draw (0.125,1.62) .. controls (0.125,1.93) and (-0.375,1.93) .. (-0.375,2.24); \draw (0.625,1.62) -- (0.625,2.24); \end{tikzpicture}} \expandafter\def\csname D@Ttaus2\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.81) and (-0.125,0.81) .. (-0.125,1); \draw (0.5,0.62) .. controls (0.5,0.81) and (0.625,0.81) .. (0.625,1); \draw (-0.125,1) -- (-0.125,1.62); \draw (0.625,1) -- (0.625,1.236); \draw (0.625,1.236) .. controls (0.375,1.384) .. (0.375,1.62); \draw (0.625,1.236) .. controls (0.875,1.384) .. (0.875,1.62); \fill (0.625,1.236) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@rTtaus\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.62); \draw (0.125,1) .. controls (0.125,1.31) and (0.625,1.31) .. (0.625,1.62); \draw (0.625,1) .. controls (0.625,1.31) and (0.125,1.31) .. (0.125,1.62); \draw (-0.375,1.62) .. controls (-0.375,1.93) and (0.125,1.93) .. (0.125,2.24); \draw (0.125,1.62) .. controls (0.125,1.93) and (-0.375,1.93) .. (-0.375,2.24); \draw (0.625,1.62) -- (0.625,2.24); \draw (-0.375,2.24) -- (-0.375,2.86); \draw (0.125,2.24) .. controls (0.125,2.55) and (0.625,2.55) .. (0.625,2.86); \draw (0.625,2.24) .. controls (0.625,2.55) and (0.125,2.55) .. (0.125,2.86); \end{tikzpicture}} \expandafter\def\csname D@rTtaus1\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (0,0.62) .. controls (0,0.81) and (-0.125,0.81) .. (-0.125,1); \draw (0.5,0.62) .. controls (0.5,0.81) and (0.625,0.81) .. (0.625,1); \draw (-0.125,1) -- (-0.125,1.62); \draw (0.625,1) -- (0.625,1.236); \draw (0.625,1.236) .. controls (0.375,1.384) .. (0.375,1.62); \draw (0.625,1.236) .. controls (0.875,1.384) .. (0.875,1.62); \fill (0.625,1.236) circle (1.5pt); \draw (-0.125,1.62) -- (-0.125,2.24); \draw (0.375,1.62) .. controls (0.375,1.93) and (0.875,1.93) .. (0.875,2.24); \draw (0.875,1.62) .. controls (0.875,1.93) and (0.375,1.93) .. (0.375,2.24); \end{tikzpicture}} \expandafter\def\csname D@E3taus\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.124); \draw (0.125,1) -- (0.125,1.124); \draw (0.625,1) -- (0.625,1.124); \draw (-0.375,1.496) -- (-0.375,1.62); \draw (0.125,1.496) -- (0.125,1.62); \draw (0.625,1.496) -- (0.625,1.62); \draw[fill=white] (-0.565,1.124) rectangle (0.815,1.496); \node at (0.125,1.31) {$\scriptstyle \overline{E}_3$}; \end{tikzpicture}} \expandafter\def\csname D@mtaus\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.124); \draw (0.125,1) -- (0.125,1.124); \draw (0.625,1) -- (0.625,1.124); \draw (-0.375,1.496) -- (-0.375,1.62); \draw (0.125,1.496) -- (0.125,1.62); \draw (0.625,1.496) -- (0.625,1.62); \draw[fill=white] (-0.565,1.124) rectangle (0.815,1.496); \node at (0.125,1.31) {$\scriptstyle m_6$}; \end{tikzpicture}} \expandafter\def\csname D@mbox\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw (1,0.496) -- (1,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle m_6$}; \end{tikzpicture}} \expandafter\def\csname D@rhoE3\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.62); \draw (1,0) -- (1,0.62); \draw (1.5,0.62) .. controls (1.5,0.124) and (2,0.124) .. (2,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) -- (0.5,0.744); \draw (1,0.62) -- (1,0.744); \draw (1.5,0.62) -- (1.5,0.744); \draw (0.5,1.116) -- (0.5,1.24); \draw (1,1.116) -- (1,1.24); \draw (1.5,1.116) -- (1.5,1.24); \draw[fill=white] (0.31,0.744) rectangle (1.69,1.116); \node at (1,0.93) {$\scriptstyle \overline{E}_3$}; \draw (2,0.62) -- (2,1.24); \draw (0,1.24) .. controls (0,1.736) and (0.5,1.736) .. (0.5,1.24); \draw (1,1.24) -- (1,1.86); \draw (1.5,1.24) -- (1.5,1.86); \draw (2,1.24) -- (2,1.86); \end{tikzpicture}} \expandafter\def\csname D@Cx5\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (0,0.31) .. (0,0.62); \draw (1,0) -- (1,0.62); \draw (0,0.62) -- (0,0.744); \draw (0.5,0.62) -- (0.5,0.744); \draw (1,0.62) -- (1,0.744); \draw (0.25,1.116) -- (0.25,1.24); \draw (0.75,1.116) -- (0.75,1.24); \draw[fill=white] (-0.19,0.744) rectangle (1.19,1.116); \node at (0.5,0.93) {$\scriptstyle x$}; \end{tikzpicture}} \expandafter\def\csname D@xcup\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (-1,0.62) .. controls (-1,0.124) and (-0.5,0.124) .. (-0.5,0.62); \draw (0,0) -- (0,0.62); \draw (-1,0.62) -- (-1,0.744); \draw (-0.5,0.62) -- (-0.5,0.744); \draw (0,0.62) -- (0,0.744); \draw (-0.75,1.116) -- (-0.75,1.24); \draw (-0.25,1.116) -- (-0.25,1.24); \draw[fill=white] (-1.19,0.744) rectangle (0.19,1.116); \node at (-0.5,0.93) {$\scriptstyle x$}; \end{tikzpicture}} \expandafter\def\csname D@xbox5\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0.25,0.496) -- (0.25,0.62); \draw (0.75,0.496) -- (0.75,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle x$}; \end{tikzpicture}} \expandafter\def\csname D@xbox6\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.124); \draw (0.5,0) -- (0.5,0.124); \draw (1,0) -- (1,0.124); \draw (0,0.496) -- (0,0.62); \draw (0.5,0.496) -- (0.5,0.62); \draw (1,0.496) -- (1,0.62); \draw[fill=white] (-0.19,0.124) rectangle (1.19,0.496); \node at (0.5,0.31) {$\scriptstyle x$}; \end{tikzpicture}} \expandafter\def\csname D@cxc\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) .. controls (0.5,0.31) and (1,0.31) .. (1,0.62); \draw (1,0) .. controls (1,0.31) and (0.5,0.31) .. (0.5,0.62); \draw (0,0.62) -- (0,0.744); \draw (0.5,0.62) -- (0.5,0.744); \draw (1,0.62) -- (1,0.744); \draw (0,1.116) -- (0,1.24); \draw (0.5,1.116) -- (0.5,1.24); \draw (1,1.116) -- (1,1.24); \draw[fill=white] (-0.19,0.744) rectangle (1.19,1.116); \node at (0.5,0.93) {$\scriptstyle x$}; \draw (0,1.24) .. controls (0,1.55) and (0.5,1.55) .. (0.5,1.86); \draw (0.5,1.24) .. controls (0.5,1.55) and (0,1.55) .. (0,1.86); \draw (1,1.24) -- (1,1.86); \end{tikzpicture}} \expandafter\def\csname D@xtaus\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.124); \draw (0.125,1) -- (0.125,1.124); \draw (0.625,1) -- (0.625,1.124); \draw (-0.375,1.496) -- (-0.375,1.62); \draw (0.125,1.496) -- (0.125,1.62); \draw (0.625,1.496) -- (0.625,1.62); \draw[fill=white] (-0.565,1.124) rectangle (0.815,1.496); \node at (0.125,1.31) {$\scriptstyle x$}; \end{tikzpicture}} \expandafter\def\csname D@xrho1\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.62); \draw (0.5,0) -- (0.5,0.62); \draw (1,0) -- (1,0.62); \draw (1.5,0.62) .. controls (1.5,0.124) and (2,0.124) .. (2,0.62); \draw (0,0.62) -- (0,1.24); \draw (0.5,0.62) -- (0.5,0.744); \draw (1,0.62) -- (1,0.744); \draw (1.5,0.62) -- (1.5,0.744); \draw (0.5,1.116) -- (0.5,1.24); \draw (1,1.116) -- (1,1.24); \draw (1.5,1.116) -- (1.5,1.24); \draw[fill=white] (0.31,0.744) rectangle (1.69,1.116); \node at (1,0.93) {$\scriptstyle x$}; \draw (2,0.62) -- (2,1.24); \draw (0,1.24) .. controls (0,1.736) and (0.5,1.736) .. (0.5,1.24); \draw (1,1.24) -- (1,1.86); \draw (1.5,1.24) -- (1.5,1.86); \draw (2,1.24) -- (2,1.86); \end{tikzpicture}} \expandafter\def\csname D@Etaurot\endcsname{\begin{tikzpicture}[x=1cm,y=1cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.19) and (-0.125,0.19) .. (-0.125,0.38); \draw (0.5,0) .. controls (0.5,0.19) and (0.625,0.19) .. (0.625,0.38); \draw (-0.125,0.38) -- (-0.125,0.616); \draw (-0.125,0.616) .. controls (-0.375,0.764) .. (-0.375,1); \draw (-0.125,0.616) .. controls (0.125,0.764) .. (0.125,1); \fill (-0.125,0.616) circle (1.5pt); \draw (0.625,0.38) -- (0.625,1); \draw (-0.375,1) -- (-0.375,1.62); \draw (0.125,1) .. controls (0.125,1.31) and (0.625,1.31) .. (0.625,1.62); \draw (0.625,1) .. controls (0.625,1.31) and (0.125,1.31) .. (0.125,1.62); \draw (-0.375,1.62) .. controls (-0.375,1.93) and (0.125,1.93) .. (0.125,2.24); \draw (0.125,1.62) .. controls (0.125,1.93) and (-0.375,1.93) .. (-0.375,2.24); \draw (0.625,1.62) -- (0.625,2.24); \end{tikzpicture}} \expandafter\def\csname D@pid\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (0,0.95) .. (0,1.9); \draw (1,0) .. controls (1,0.95) and (1,0.95) .. (1,1.9); \end{tikzpicture}} \expandafter\def\csname D@pe\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (0,1.9) .. controls (0,1.292) and (1,1.292) .. (1,1.9); \end{tikzpicture}} \expandafter\def\csname D@pc\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (1,0.95) .. (1,1.9); \draw (1,0) .. controls (1,0.95) and (0,0.95) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@pnu\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.5,0.95); \draw (1,0) .. controls (1,0.57) .. (0.5,0.95); \draw (0,1.9) .. controls (0,1.33) .. (0.5,0.95); \draw (1,1.9) .. controls (1,1.33) .. (0.5,0.95); \draw[fill=white] (0.5,0.95) circle (2.2pt); \end{tikzpicture}} \expandafter\def\csname D@Q\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.57) .. (1.333,1.178); \draw (0.5,1.9) .. controls (0.5,1.33) .. (1.333,1.178); \draw (1.5,1.9) .. controls (1.5,1.33) .. (1.333,1.178); \fill (1.333,1.178) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@P2\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.5,0.722); \draw (1,0) .. controls (1,0.57) .. (0.5,0.722); \draw (0.5,1.9) .. controls (0.5,1.33) .. (0.5,0.722); \fill (0.5,0.722) circle (1.5pt); \draw (2,0) .. controls (2,0.95) and (1.5,0.95) .. (1.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@P3\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1.55,0.95); \draw (2,0) .. controls (2,0.57) .. (1.55,0.95); \draw (1.5,1.9) .. controls (1.5,1.33) .. (1.55,0.95); \fill (1.55,0.95) circle (1.5pt); \draw (1,0) .. controls (1,0.95) and (0.5,0.95) .. (0.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@P4\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (1.5,0.95) .. (1.5,1.9); \draw (1,0) .. controls (1,0.57) .. (1.45,0.722); \draw (2,0) .. controls (2,0.57) .. (1.45,0.722); \draw (0.5,1.9) .. controls (0.5,1.33) .. (1.45,0.722); \fill (1.45,0.722) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@P5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.667,1.178); \draw (0.5,1.9) .. controls (0.5,1.33) .. (0.667,1.178); \draw (1.5,1.9) .. controls (1.5,1.33) .. (0.667,1.178); \fill (0.667,1.178) circle (1.5pt); \draw (1,0) .. controls (1,0.608) and (2,0.608) .. (2,0); \end{tikzpicture}} \expandafter\def\csname D@P6\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1,0.798); \draw (1,0) .. controls (1,0.57) .. (1,0.798); \draw (2,0) .. controls (2,0.57) .. (1,0.798); \fill (1,0.798) circle (1.5pt); \draw (0.5,1.9) .. controls (0.5,1.292) and (1.5,1.292) .. (1.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@K3\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (0.5,0.95) .. (0.5,1.9); \draw (1,0) .. controls (1,0.57) .. (1.5,0.722); \draw (2,0) .. controls (2,0.57) .. (1.5,0.722); \draw (1.5,1.9) .. controls (1.5,1.33) .. (1.5,0.722); \fill (1.5,0.722) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@K4\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.55,1.178); \draw (2,0) .. controls (2,0.57) .. (0.55,1.178); \draw (0.5,1.9) .. controls (0.5,1.33) .. (0.55,1.178); \fill (0.55,1.178) circle (1.5pt); \draw (1,0) .. controls (1,0.95) and (1.5,0.95) .. (1.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@K5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,1.026) and (2,1.026) .. (2,0); \draw (1,0) .. controls (1,0.57) .. (1,1.178); \draw (0.5,1.9) .. controls (0.5,1.33) .. (1,1.178); \draw (1.5,1.9) .. controls (1.5,1.33) .. (1,1.178); \fill (1,1.178) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@Pid5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.55,1.178); \draw (2,0) .. controls (2,0.57) .. (0.55,1.178); \draw (0.5,1.9) .. controls (0.5,1.33) .. (0.55,1.178); \fill (0.55,1.178) circle (1.5pt); \draw (1,0) .. controls (1,0.95) and (1.5,0.95) .. (1.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@Pc5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (1.5,0.95) .. (1.5,1.9); \draw (1,0) .. controls (1,0.57) .. (1.45,0.722); \draw (2,0) .. controls (2,0.57) .. (1.45,0.722); \draw (0.5,1.9) .. controls (0.5,1.33) .. (1.45,0.722); \fill (1.45,0.722) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@Pnu5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1,0.874); \draw (1,0) .. controls (1,0.57) .. (1,0.874); \draw (2,0) .. controls (2,0.57) .. (1,0.874); \draw (0.5,1.9) .. controls (0.5,1.33) .. (1,0.874); \draw (1.5,1.9) .. controls (1.5,1.33) .. (1,0.874); \draw[fill=white] (1,0.874) circle (2.2pt); \end{tikzpicture}} \expandafter\def\csname D@Pcut5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.6,0.722); \draw (1,0) .. controls (1,0.57) .. (0.6,0.722); \draw (1.5,1.9) .. controls (1.5,1.33) .. (0.6,0.722); \fill (0.6,0.722) circle (1.5pt); \draw (2,0) .. controls (2,0.95) and (0.5,0.95) .. (0.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@ptaus\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0,1.178); \draw (-0.5,1.9) .. controls (-0.5,1.33) .. (0,1.178); \draw (0.5,1.9) .. controls (0.5,1.33) .. (0,1.178); \fill (0,1.178) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@m0\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.95) and (2,0.95) .. (2,1.9); \draw (1,1.9) .. controls (1,1.292) and (0,1.292) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@m1\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.95) and (1,0.95) .. (1,1.9); \draw (2,1.9) .. controls (2,0.874) and (0,0.874) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@m2\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,1.026) and (2,1.026) .. (2,0); \draw (1,0) .. controls (1,0.95) and (2,0.95) .. (2,1.9); \draw (1,1.9) .. controls (1,1.292) and (0,1.292) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@m3\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,1.026) and (2,1.026) .. (2,0); \draw (1,0) .. controls (1,0.95) and (0,0.95) .. (0,1.9); \draw (2,1.9) .. controls (2,1.292) and (1,1.292) .. (1,1.9); \end{tikzpicture}} \expandafter\def\csname D@m4\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (1,0.95) .. (1,1.9); \draw (1,0) .. controls (1,0.608) and (2,0.608) .. (2,0); \draw (2,1.9) .. controls (2,0.874) and (0,0.874) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@m5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (1,0.95) .. (1,1.9); \draw (1,0) .. controls (1,0.95) and (0,0.95) .. (0,1.9); \draw (2,0) .. controls (2,0.95) and (2,0.95) .. (2,1.9); \end{tikzpicture}} \expandafter\def\csname D@m6\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (0,0.95) .. (0,1.9); \draw (1,0) .. controls (1,0.608) and (2,0.608) .. (2,0); \draw (2,1.9) .. controls (2,1.292) and (1,1.292) .. (1,1.9); \end{tikzpicture}} \expandafter\def\csname D@m7\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (0,0.95) .. (0,1.9); \draw (1,0) .. controls (1,0.95) and (2,0.95) .. (2,1.9); \draw (2,0) .. controls (2,0.95) and (1,0.95) .. (1,1.9); \end{tikzpicture}} \expandafter\def\csname D@mer0\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1.25,0.798); \draw (1,0) .. controls (1,0.57) .. (1.25,0.798); \draw (1.5,1.9) .. controls (1.5,1.33) .. (1.25,0.798); \fill (1.25,0.798) circle (1.5pt); \draw (0.5,1.9) .. controls (0.5,1.292) and (-0.5,1.292) .. (-0.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@mer1\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.6,0.722); \draw (1,0) .. controls (1,0.57) .. (0.6,0.722); \draw (0.5,1.9) .. controls (0.5,1.33) .. (0.6,0.722); \fill (0.6,0.722) circle (1.5pt); \draw (1.5,1.9) .. controls (1.5,0.874) and (-0.5,0.874) .. (-0.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@mer2\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.15,1.045); \draw (0.5,1.9) .. controls (0.5,1.33) .. (0.15,1.045); \draw (-0.5,1.9) .. controls (-0.5,1.33) .. (0.15,1.045); \fill (0.15,1.045) circle (1.5pt); \draw (1,0) .. controls (1,0.95) and (1.5,0.95) .. (1.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@mer3\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (0.1,1.254); \draw (1.5,1.9) .. controls (1.5,1.33) .. (0.1,1.254); \draw (-0.5,1.9) .. controls (-0.5,1.33) .. (0.1,1.254); \fill (0.1,1.254) circle (1.5pt); \draw (1,0) .. controls (1,0.95) and (0.5,0.95) .. (0.5,1.9); \end{tikzpicture}} \expandafter\def\csname D@V1\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.95) and (2,0.95) .. (2,1.9); \draw (1,1.9) .. controls (1,1.292) and (0,1.292) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@V2\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.57) .. (1.25,1.178); \draw (2,1.9) .. controls (2,1.33) .. (1.25,1.178); \draw (1,1.9) .. controls (1,1.33) .. (1.25,1.178); \draw (0,1.9) .. controls (0,1.33) .. (1.25,1.178); \draw[fill=white] (1.25,1.178) circle (2.2pt); \end{tikzpicture}} \expandafter\def\csname D@V3\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.95) and (1,0.95) .. (1,1.9); \draw (2,1.9) .. controls (2,0.874) and (0,0.874) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@V4\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1,0.798); \draw (1,0) .. controls (1,0.57) .. (1,0.798); \draw (2,0) .. controls (2,0.57) .. (1,0.798); \draw (1,1.9) .. controls (1,1.33) .. (1,0.798); \draw[fill=white] (1,0.798) circle (2.2pt); \draw (2,1.9) .. controls (2,0.874) and (0,0.874) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@V5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1.2,0.665); \draw (1,0) .. controls (1,0.57) .. (1.2,0.665); \draw (2,1.9) .. controls (2,1.33) .. (1.2,0.665); \fill (1.2,0.665) circle (1.5pt); \draw (2,0) .. controls (2,0.57) .. (1.4,1.292); \draw (1,1.9) .. controls (1,1.33) .. (1.4,1.292); \draw (0,1.9) .. controls (0,1.33) .. (1.4,1.292); \fill (1.4,1.292) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@G0\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.95) and (2,0.95) .. (2,1.9); \draw (1,1.9) .. controls (1,1.292) and (0,1.292) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@G1\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.57) .. (1.25,1.178); \draw (2,1.9) .. controls (2,1.33) .. (1.25,1.178); \draw (1,1.9) .. controls (1,1.33) .. (1.25,1.178); \draw (0,1.9) .. controls (0,1.33) .. (1.25,1.178); \draw[fill=white] (1.25,1.178) circle (2.2pt); \end{tikzpicture}} \expandafter\def\csname D@G2\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.608) and (1,0.608) .. (1,0); \draw (2,0) .. controls (2,0.95) and (0,0.95) .. (0,1.9); \draw (2,1.9) .. controls (2,1.292) and (1,1.292) .. (1,1.9); \end{tikzpicture}} \expandafter\def\csname D@G3\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1,0.266); \draw (1,0) .. controls (1,0.57) .. (1,0.266); \draw (2,0) .. controls (2,0.57) .. (1,0.266); \fill (1,0.266) circle (1.5pt); \draw (2,1.9) .. controls (2,1.33) .. (1,1.634); \draw (1,1.9) .. controls (1,1.33) .. (1,1.634); \draw (0,1.9) .. controls (0,1.33) .. (1,1.634); \fill (1,1.634) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@G4\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1,0.95); \draw (1,0) .. controls (1,0.57) .. (1,0.95); \draw (2,0) .. controls (2,0.57) .. (1,0.95); \draw (2,1.9) .. controls (2,1.33) .. (1,0.95); \draw (1,1.9) .. controls (1,1.33) .. (1,0.95); \draw (0,1.9) .. controls (0,1.33) .. (1,0.95); \draw[fill=white] (1,0.95) circle (2.2pt); \end{tikzpicture}} \expandafter\def\csname D@G5\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1.2,0.665); \draw (1,0) .. controls (1,0.57) .. (1.2,0.665); \draw (2,1.9) .. controls (2,1.33) .. (1.2,0.665); \fill (1.2,0.665) circle (1.5pt); \draw (2,0) .. controls (2,0.57) .. (1.4,1.292); \draw (1,1.9) .. controls (1,1.33) .. (1.4,1.292); \draw (0,1.9) .. controls (0,1.33) .. (1.4,1.292); \fill (1.4,1.292) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@G6\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.57) .. (1.6,1.368); \draw (1,0) .. controls (1,0.57) .. (1.6,1.368); \draw (2,1.9) .. controls (2,1.33) .. (1.6,1.368); \draw (1,1.9) .. controls (1,1.33) .. (1.6,1.368); \draw[fill=white] (1.6,1.368) circle (2.2pt); \draw (2,0) .. controls (2,0.95) and (0,0.95) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@G7\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,0.95) and (2,0.95) .. (2,1.9); \draw (1,0) .. controls (1,0.95) and (1,0.95) .. (1,1.9); \draw (2,0) .. controls (2,0.95) and (0,0.95) .. (0,1.9); \end{tikzpicture}} \expandafter\def\csname D@Etfrot\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,2.7) and (0.2,3.15) .. (0.6,3.15) .. controls (0.85,3.15) and (0.95,2.9) .. (0.95,2.5); \draw (1.5,2.5) .. controls (1.5,3.1) and (0.8,3.2) .. (0.8,3.9); \draw (2.05,2.5) .. controls (2.05,3.1) and (1.8,3.2) .. (1.8,3.9); \draw (1,0) .. controls (1,0.8) and (1.2,0.9) .. (1.2,1.4); \draw (2,0) .. controls (2,0.8) and (1.8,0.9) .. (1.8,1.4); \draw[fill=white] (0.6,1.4) rectangle (2.4,2.5); \node[rotate=180] at (1.5,1.95) {$\scriptstyle \overline{E}_{2.5}$}; \end{tikzpicture}} \expandafter\def\csname D@krot\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,2.7) and (0.2,3.15) .. (0.6,3.15) .. controls (0.85,3.15) and (0.95,2.9) .. (0.95,2.5); \draw (1.5,2.5) .. controls (1.5,3.1) and (0.8,3.2) .. (0.8,3.9); \draw (2.05,2.5) .. controls (2.05,3.1) and (1.8,3.2) .. (1.8,3.9); \draw (1,0) .. controls (1,0.8) and (1.2,0.9) .. (1.2,1.4); \draw (2,0) .. controls (2,0.8) and (1.8,0.9) .. (1.8,1.4); \draw[fill=white] (0.6,1.4) rectangle (2.4,2.5); \node[rotate=180] at (1.5,1.95) {$\scriptstyle k_5$}; \end{tikzpicture}} \expandafter\def\csname D@Pproj\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) -- (0,0.7); \fill (0,0.7) circle (1.5pt); \draw (0,1.2) -- (0,1.9); \fill (0,1.2) circle (1.5pt); \end{tikzpicture}} \expandafter\def\csname D@xrot\endcsname{\begin{tikzpicture}[x=0.5cm,y=0.5cm,baseline={([yshift=-0.55ex]current bounding box.center)},line width=0.6pt] \draw (0,0) .. controls (0,2.7) and (0.2,3.15) .. (0.6,3.15) .. controls (0.85,3.15) and (0.95,2.9) .. (0.95,2.5); \draw (1.5,2.5) .. controls (1.5,3.1) and (0.8,3.2) .. (0.8,3.9); \draw (2.05,2.5) .. controls (2.05,3.1) and (1.8,3.2) .. (1.8,3.9); \draw (1,0) .. controls (1,0.8) and (1.2,0.9) .. (1.2,1.4); \draw (2,0) .. controls (2,0.8) and (1.8,0.9) .. (1.8,1.4); \draw[fill=white] (0.6,1.4) rectangle (2.4,2.5); \node[rotate=180] at (1.5,1.95) {$\scriptstyle x$}; \end{tikzpicture}}