% Copyright 2014, 2015, 2016, 2017, 2018, 2019, 2020 Kevin Ryde
%

%; whizzy section

\documentclass{article}
\usepackage[T1]{fontenc}  % T1 for accents, before babel
\usepackage{amsmath}
\allowdisplaybreaks

\usepackage{needspace}
\usepackage{gensymb}    % for \degree
\usepackage{hyphenat}   % for \hyp hyphenation of words with -

\usepackage[pdfusetitle,
            pdflang={en}, % RFC3066 style ISO639
           ]{hyperref}
\renewcommand\figureautorefname{figure}   % lower case
\usepackage[all]{hypcap} % figure links to top of figure

\usepackage{mathtools}  % for \mathclap and showonlyrefs
\mathtoolsset{showonlyrefs=true,showmanualtags=true}

\usepackage{amsthm}

\usepackage{tikz}
\usetikzlibrary{arrows.meta}  % for Latex arrows To[length etc
\usetikzlibrary{bending}      % for arrow [bend]
\usetikzlibrary{calc}         % for ($(...)$) coordinate calculations
\usetikzlibrary{decorations}  % for [decoration=]
\usetikzlibrary{decorations.pathreplacing}  % for decoration=brace
\usetikzlibrary{shapes}       % for shape aspect=1
\tikzset{font=\small,         % same as text
         >=Latex}             % arrowhead style
  % must be capital Latex for [harpoon] half arrows


%------------------------------------------------------------------------------
% personal preferences

\hypersetup{
  pdfborderstyle={/W 0},  % no border on hyperlinks
}

% these must be after \begin{document} to take effect, hence \AtBeginDocument
\AtBeginDocument{%
  \setlength\abovedisplayskip{.7\baselineskip}
  \setlength\belowdisplayskip{.7\baselineskip}
  \setlength\abovedisplayshortskip{.5\baselineskip}
  \setlength\belowdisplayshortskip{.5\baselineskip}
}

% less space after "plain" style \end{theorem} etc
\makeatletter
\g@addto@macro\th@plain{\thm@postskip=1\baselineskip}
\makeatother

%------------------------------------------------------------------------------
% Generic Macros

% GP-DEFINE  default(strictargs,1);

\newcommand\MySlash{\slash\hspace{0pt}}
\newcommand\MyTightDots{.\kern.1em.\kern.1em.}


%------------------------------------------------------------------------------
\begin{document}


%------------------------------------------------------------------------------
\section{Peano Diagonals}

\begin{center}
\begin{tikzpicture}
    [scale=.8,
     my grey/.style={black!30},
    ]
  \fill (0.1,0.1) circle (.1); \draw[my grey] (0.0,0.0) -- (0.1,0.1);
  \draw[->] (0.1,0.1) -- (0.9,0.9);
  \fill (1.1,0.9) circle (.1); \draw[my grey] (0.9,0.9) -- (1.1,0.9);
  \draw[->] (1.1,0.9) -- (1.9,0.1);
  \fill (2.1,0.1) circle (.1); \draw[my grey] (1.9,0.1) -- (2.1,0.1);
  \draw[->] (2.1,0.1) -- (2.9,0.9);
  \fill (3.1,0.9) circle (.1); \draw[my grey] (2.9,0.9) -- (3.1,0.9);
  \draw[->] (3.1,0.9) -- (3.9,0.1);
  \fill (3.9,1.1) circle (.1); \draw[my grey] (3.9,0.1) -- (3.9,1.1);
  \draw[->] (3.9,1.1) -- (3.1,1.9);
  \fill (2.9,1.9) circle (.1); \draw[my grey] (3.1,1.9) -- (2.9,1.9);
  \draw[->] (2.9,1.9) -- (2.1,1.1);
  \fill (1.9,1.1) circle (.1); \draw[my grey] (2.1,1.1) -- (1.9,1.1);
  \draw[->] (1.9,1.1) -- (1.1,1.9);
  \fill (0.9,1.9) circle (.1); \draw[my grey] (1.1,1.9) -- (0.9,1.9);
  \draw[->] (0.9,1.9) -- (0.1,1.1);
  \fill (0.1,2.1) circle (.1); \draw[my grey] (0.1,1.1) -- (0.1,2.1);
  \draw[->] (0.1,2.1) -- (0.9,2.9);
  \fill (1.1,2.9) circle (.1); \draw[my grey] (0.9,2.9) -- (1.1,2.9);
  \draw[->] (1.1,2.9) -- (1.9,2.1);
  \fill (2.1,2.1) circle (.1); \draw[my grey] (1.9,2.1) -- (2.1,2.1);
  \draw[->] (2.1,2.1) -- (2.9,2.9);
  \fill (3.1,2.9) circle (.1); \draw[my grey] (2.9,2.9) -- (3.1,2.9);
  \draw[->] (3.1,2.9) -- (3.9,2.1);
  \fill (3.9,3.1) circle (.1); \draw[my grey] (3.9,2.1) -- (3.9,3.1);
  \draw[->] (3.9,3.1) -- (3.1,3.9);
  \fill (2.9,3.9) circle (.1); \draw[my grey] (3.1,3.9) -- (2.9,3.9);
  \draw[->] (2.9,3.9) -- (2.1,3.1);
  \fill (1.9,3.1) circle (.1); \draw[my grey] (2.1,3.1) -- (1.9,3.1);
  \draw[->] (1.9,3.1) -- (1.1,3.9);
  \fill (0.9,3.9) circle (.1); \draw[my grey] (1.1,3.9) -- (0.9,3.9);
  \draw[->] (0.9,3.9) -- (0.1,3.1);
  \fill (4.1,3.9) circle (.1); \draw[my grey] (0.1,3.1) -- (4.1,3.9);
  \draw[->] (4.1,3.9) -- (4.9,3.1);
  \fill (5.1,3.1) circle (.1); \draw[my grey] (4.9,3.1) -- (5.1,3.1);
  \draw[->] (5.1,3.1) -- (5.9,3.9);
  \fill (6.1,3.9) circle (.1); \draw[my grey] (5.9,3.9) -- (6.1,3.9);
  \draw[->] (6.1,3.9) -- (6.9,3.1);
  \fill (7.1,3.1) circle (.1); \draw[my grey] (6.9,3.1) -- (7.1,3.1);
  \draw[->] (7.1,3.1) -- (7.9,3.9);
  \fill (7.9,2.9) circle (.1); \draw[my grey] (7.9,3.9) -- (7.9,2.9);
  \draw[->] (7.9,2.9) -- (7.1,2.1);
  \fill (6.9,2.1) circle (.1); \draw[my grey] (7.1,2.1) -- (6.9,2.1);
  \draw[->] (6.9,2.1) -- (6.1,2.9);
  \fill (5.9,2.9) circle (.1); \draw[my grey] (6.1,2.9) -- (5.9,2.9);
  \draw[->] (5.9,2.9) -- (5.1,2.1);
  \fill (4.9,2.1) circle (.1); \draw[my grey] (5.1,2.1) -- (4.9,2.1);
  \draw[->] (4.9,2.1) -- (4.1,2.9);
  \fill (4.1,1.9) circle (.1); \draw[my grey] (4.1,2.9) -- (4.1,1.9);
  \draw[->] (4.1,1.9) -- (4.9,1.1);
  \fill (5.1,1.1) circle (.1); \draw[my grey] (4.9,1.1) -- (5.1,1.1);
  \draw[->] (5.1,1.1) -- (5.9,1.9);
  \fill (6.1,1.9) circle (.1); \draw[my grey] (5.9,1.9) -- (6.1,1.9);
  \draw[->] (6.1,1.9) -- (6.9,1.1);
  \fill (7.1,1.1) circle (.1); \draw[my grey] (6.9,1.1) -- (7.1,1.1);
  \draw[->] (7.1,1.1) -- (7.9,1.9);
  \fill (7.9,0.9) circle (.1); \draw[my grey] (7.9,1.9) -- (7.9,0.9);
  \draw[->] (7.9,0.9) -- (7.1,0.1);
  \fill (6.9,0.1) circle (.1); \draw[my grey] (7.1,0.1) -- (6.9,0.1);
  \draw[->] (6.9,0.1) -- (6.1,0.9);
  \fill (5.9,0.9) circle (.1); \draw[my grey] (6.1,0.9) -- (5.9,0.9);
  \draw[->] (5.9,0.9) -- (5.1,0.1);
  \fill (4.9,0.1) circle (.1); \draw[my grey] (5.1,0.1) -- (4.9,0.1);
  \draw[->] (4.9,0.1) -- (4.1,0.9);
  \fill (8.1,0.1) circle (.1); \draw[my grey] (4.1,0.9) -- (8.1,0.1);
  \draw[->] (8.1,0.1) -- (8.9,0.9);
  \fill (9.1,0.9) circle (.1); \draw[my grey] (8.9,0.9) -- (9.1,0.9);
  \draw[->] (9.1,0.9) -- (9.9,0.1);
  \fill (10.1,0.1) circle (.1); \draw[my grey] (9.9,0.1) -- (10.1,0.1);
  \draw[->] (10.1,0.1) -- (10.9,0.9);
  \fill (11.1,0.9) circle (.1); \draw[my grey] (10.9,0.9) -- (11.1,0.9);
  \draw[->] (11.1,0.9) -- (11.9,0.1);
  \fill (11.9,1.1) circle (.1); \draw[my grey] (11.9,0.1) -- (11.9,1.1);
  \draw[->] (11.9,1.1) -- (11.1,1.9);
  \fill (10.9,1.9) circle (.1); \draw[my grey] (11.1,1.9) -- (10.9,1.9);
  \draw[->] (10.9,1.9) -- (10.1,1.1);
  \fill (9.9,1.1) circle (.1); \draw[my grey] (10.1,1.1) -- (9.9,1.1);
  \draw[->] (9.9,1.1) -- (9.1,1.9);
  \fill (8.9,1.9) circle (.1); \draw[my grey] (9.1,1.9) -- (8.9,1.9);
  \draw[->] (8.9,1.9) -- (8.1,1.1);
  \fill (8.1,2.1) circle (.1); \draw[my grey] (8.1,1.1) -- (8.1,2.1);
  \draw[->] (8.1,2.1) -- (8.9,2.9);
  \fill (9.1,2.9) circle (.1); \draw[my grey] (8.9,2.9) -- (9.1,2.9);
  \draw[->] (9.1,2.9) -- (9.9,2.1);
  \fill (10.1,2.1) circle (.1); \draw[my grey] (9.9,2.1) -- (10.1,2.1);
  \draw[->] (10.1,2.1) -- (10.9,2.9);
  \fill (11.1,2.9) circle (.1); \draw[my grey] (10.9,2.9) -- (11.1,2.9);
  \draw[->] (11.1,2.9) -- (11.9,2.1);
  \fill (11.9,3.1) circle (.1); \draw[my grey] (11.9,2.1) -- (11.9,3.1);
  \draw[->] (11.9,3.1) -- (11.1,3.9);
  \fill (10.9,3.9) circle (.1); \draw[my grey] (11.1,3.9) -- (10.9,3.9);
  \draw[->] (10.9,3.9) -- (10.1,3.1);
  \fill (9.9,3.1) circle (.1); \draw[my grey] (10.1,3.1) -- (9.9,3.1);
  \draw[->] (9.9,3.1) -- (9.1,3.9);
  \fill (8.9,3.9) circle (.1); \draw[my grey] (9.1,3.9) -- (8.9,3.9);
  \draw[->] (8.9,3.9) -- (8.1,3.1);
  \fill (12.1,3.9) circle (.1); \draw[my grey] (8.1,3.1) -- (12.1,3.9);
  \draw[->] (12.1,3.9) -- (12.9,3.1);
  \fill (13.1,3.1) circle (.1); \draw[my grey] (12.9,3.1) -- (13.1,3.1);
  \draw[->] (13.1,3.1) -- (13.9,3.9);
  \fill (14.1,3.9) circle (.1); \draw[my grey] (13.9,3.9) -- (14.1,3.9);
  \draw[->] (14.1,3.9) -- (14.9,3.1);
  \fill (15.1,3.1) circle (.1); \draw[my grey] (14.9,3.1) -- (15.1,3.1);
  \draw[->] (15.1,3.1) -- (15.9,3.9);
  \fill (15.9,2.9) circle (.1); \draw[my grey] (15.9,3.9) -- (15.9,2.9);
  \draw[->] (15.9,2.9) -- (15.1,2.1);
  \fill (14.9,2.1) circle (.1); \draw[my grey] (15.1,2.1) -- (14.9,2.1);
  \draw[->] (14.9,2.1) -- (14.1,2.9);
  \fill (13.9,2.9) circle (.1); \draw[my grey] (14.1,2.9) -- (13.9,2.9);
  \draw[->] (13.9,2.9) -- (13.1,2.1);
  \fill (12.9,2.1) circle (.1); \draw[my grey] (13.1,2.1) -- (12.9,2.1);
  \draw[->] (12.9,2.1) -- (12.1,2.9);
  \fill (12.1,1.9) circle (.1); \draw[my grey] (12.1,2.9) -- (12.1,1.9);
  \draw[->] (12.1,1.9) -- (12.9,1.1);
  \fill (13.1,1.1) circle (.1); \draw[my grey] (12.9,1.1) -- (13.1,1.1);
  \draw[->] (13.1,1.1) -- (13.9,1.9);
  \fill (14.1,1.9) circle (.1); \draw[my grey] (13.9,1.9) -- (14.1,1.9);
  \draw[->] (14.1,1.9) -- (14.9,1.1);
  \fill (15.1,1.1) circle (.1); \draw[my grey] (14.9,1.1) -- (15.1,1.1);
  \draw[->] (15.1,1.1) -- (15.9,1.9);
  \fill (15.9,0.9) circle (.1); \draw[my grey] (15.9,1.9) -- (15.9,0.9);
  \draw[->] (15.9,0.9) -- (15.1,0.1);
  \fill (14.9,0.1) circle (.1); \draw[my grey] (15.1,0.1) -- (14.9,0.1);
  \draw[->] (14.9,0.1) -- (14.1,0.9);
  \fill (13.9,0.9) circle (.1); \draw[my grey] (14.1,0.9) -- (13.9,0.9);
  \draw[->] (13.9,0.9) -- (13.1,0.1);
  \fill (12.9,0.1) circle (.1); \draw[my grey] (13.1,0.1) -- (12.9,0.1);
  \draw[->] (12.9,0.1) -- (12.1,0.9);
  \fill (15.9,4.1) circle (.1); \draw[my grey] (12.1,0.9) -- (15.9,4.1);
  \draw[->] (15.9,4.1) -- (15.1,4.9);
  \fill (14.9,4.9) circle (.1); \draw[my grey] (15.1,4.9) -- (14.9,4.9);
  \draw[->] (14.9,4.9) -- (14.1,4.1);
  \fill (13.9,4.1) circle (.1); \draw[my grey] (14.1,4.1) -- (13.9,4.1);
  \draw[->] (13.9,4.1) -- (13.1,4.9);
  \fill (12.9,4.9) circle (.1); \draw[my grey] (13.1,4.9) -- (12.9,4.9);
  \draw[->] (12.9,4.9) -- (12.1,4.1);
  \fill (12.1,5.1) circle (.1); \draw[my grey] (12.1,4.1) -- (12.1,5.1);
  \draw[->] (12.1,5.1) -- (12.9,5.9);
  \fill (13.1,5.9) circle (.1); \draw[my grey] (12.9,5.9) -- (13.1,5.9);
  \draw[->] (13.1,5.9) -- (13.9,5.1);
  \fill (14.1,5.1) circle (.1); \draw[my grey] (13.9,5.1) -- (14.1,5.1);
  \draw[->] (14.1,5.1) -- (14.9,5.9);
  \fill (15.1,5.9) circle (.1); \draw[my grey] (14.9,5.9) -- (15.1,5.9);
  \draw[->] (15.1,5.9) -- (15.9,5.1);
  \fill (15.9,6.1) circle (.1); \draw[my grey] (15.9,5.1) -- (15.9,6.1);
  \draw[->] (15.9,6.1) -- (15.1,6.9);
  \fill (14.9,6.9) circle (.1); \draw[my grey] (15.1,6.9) -- (14.9,6.9);
  \draw[->] (14.9,6.9) -- (14.1,6.1);
  \fill (13.9,6.1) circle (.1); \draw[my grey] (14.1,6.1) -- (13.9,6.1);
  \draw[->] (13.9,6.1) -- (13.1,6.9);
  \fill (12.9,6.9) circle (.1); \draw[my grey] (13.1,6.9) -- (12.9,6.9);
  \draw[->] (12.9,6.9) -- (12.1,6.1);
  \fill (12.1,7.1) circle (.1); \draw[my grey] (12.1,6.1) -- (12.1,7.1);
  \draw[->] (12.1,7.1) -- (12.9,7.9);
  \fill (13.1,7.9) circle (.1); \draw[my grey] (12.9,7.9) -- (13.1,7.9);
  \draw[->] (13.1,7.9) -- (13.9,7.1);
  \fill (14.1,7.1) circle (.1); \draw[my grey] (13.9,7.1) -- (14.1,7.1);
  \draw[->] (14.1,7.1) -- (14.9,7.9);
  \fill (15.1,7.9) circle (.1); \draw[my grey] (14.9,7.9) -- (15.1,7.9);
  \draw[->] (15.1,7.9) -- (15.9,7.1);
  \fill (11.9,7.9) circle (.1); \draw[my grey] (15.9,7.1) -- (11.9,7.9);
  \draw[->] (11.9,7.9) -- (11.1,7.1);
  \fill (10.9,7.1) circle (.1); \draw[my grey] (11.1,7.1) -- (10.9,7.1);
  \draw[->] (10.9,7.1) -- (10.1,7.9);
  \fill (9.9,7.9) circle (.1); \draw[my grey] (10.1,7.9) -- (9.9,7.9);
  \draw[->] (9.9,7.9) -- (9.1,7.1);
  \fill (8.9,7.1) circle (.1); \draw[my grey] (9.1,7.1) -- (8.9,7.1);
  \draw[->] (8.9,7.1) -- (8.1,7.9);
  \fill (8.1,6.9) circle (.1); \draw[my grey] (8.1,7.9) -- (8.1,6.9);
  \draw[->] (8.1,6.9) -- (8.9,6.1);
  \fill (9.1,6.1) circle (.1); \draw[my grey] (8.9,6.1) -- (9.1,6.1);
  \draw[->] (9.1,6.1) -- (9.9,6.9);
  \fill (10.1,6.9) circle (.1); \draw[my grey] (9.9,6.9) -- (10.1,6.9);
  \draw[->] (10.1,6.9) -- (10.9,6.1);
  \fill (11.1,6.1) circle (.1); \draw[my grey] (10.9,6.1) -- (11.1,6.1);
  \draw[->] (11.1,6.1) -- (11.9,6.9);
  \fill (11.9,5.9) circle (.1); \draw[my grey] (11.9,6.9) -- (11.9,5.9);
  \draw[->] (11.9,5.9) -- (11.1,5.1);
  \fill (10.9,5.1) circle (.1); \draw[my grey] (11.1,5.1) -- (10.9,5.1);
  \draw[->] (10.9,5.1) -- (10.1,5.9);
  \fill (9.9,5.9) circle (.1); \draw[my grey] (10.1,5.9) -- (9.9,5.9);
  \draw[->] (9.9,5.9) -- (9.1,5.1);
  \fill (8.9,5.1) circle (.1); \draw[my grey] (9.1,5.1) -- (8.9,5.1);
  \draw[->] (8.9,5.1) -- (8.1,5.9);
  \fill (8.1,4.9) circle (.1); \draw[my grey] (8.1,5.9) -- (8.1,4.9);
  \draw[->] (8.1,4.9) -- (8.9,4.1);
  \fill (9.1,4.1) circle (.1); \draw[my grey] (8.9,4.1) -- (9.1,4.1);
  \draw[->] (9.1,4.1) -- (9.9,4.9);
  \fill (10.1,4.9) circle (.1); \draw[my grey] (9.9,4.9) -- (10.1,4.9);
  \draw[->] (10.1,4.9) -- (10.9,4.1);
  \fill (11.1,4.1) circle (.1); \draw[my grey] (10.9,4.1) -- (11.1,4.1);
  \draw[->] (11.1,4.1) -- (11.9,4.9);
  \fill (7.9,4.1) circle (.1); \draw[my grey] (11.9,4.9) -- (7.9,4.1);
  \draw[->] (7.9,4.1) -- (7.1,4.9);
  \fill (6.9,4.9) circle (.1); \draw[my grey] (7.1,4.9) -- (6.9,4.9);
  \draw[->] (6.9,4.9) -- (6.1,4.1);
  \fill (5.9,4.1) circle (.1); \draw[my grey] (6.1,4.1) -- (5.9,4.1);
  \draw[->] (5.9,4.1) -- (5.1,4.9);
  \fill (4.9,4.9) circle (.1); \draw[my grey] (5.1,4.9) -- (4.9,4.9);
  \draw[->] (4.9,4.9) -- (4.1,4.1);
  \fill (4.1,5.1) circle (.1); \draw[my grey] (4.1,4.1) -- (4.1,5.1);
  \draw[->] (4.1,5.1) -- (4.9,5.9);
  \fill (5.1,5.9) circle (.1); \draw[my grey] (4.9,5.9) -- (5.1,5.9);
  \draw[->] (5.1,5.9) -- (5.9,5.1);
  \fill (6.1,5.1) circle (.1); \draw[my grey] (5.9,5.1) -- (6.1,5.1);
  \draw[->] (6.1,5.1) -- (6.9,5.9);
  \fill (7.1,5.9) circle (.1); \draw[my grey] (6.9,5.9) -- (7.1,5.9);
  \draw[->] (7.1,5.9) -- (7.9,5.1);
  \fill (7.9,6.1) circle (.1); \draw[my grey] (7.9,5.1) -- (7.9,6.1);
  \draw[->] (7.9,6.1) -- (7.1,6.9);
  \fill (6.9,6.9) circle (.1); \draw[my grey] (7.1,6.9) -- (6.9,6.9);
  \draw[->] (6.9,6.9) -- (6.1,6.1);
  \fill (5.9,6.1) circle (.1); \draw[my grey] (6.1,6.1) -- (5.9,6.1);
  \draw[->] (5.9,6.1) -- (5.1,6.9);
  \fill (4.9,6.9) circle (.1); \draw[my grey] (5.1,6.9) -- (4.9,6.9);
  \draw[->] (4.9,6.9) -- (4.1,6.1);
  \fill (4.1,7.1) circle (.1); \draw[my grey] (4.1,6.1) -- (4.1,7.1);
  \draw[->] (4.1,7.1) -- (4.9,7.9);
  \fill (5.1,7.9) circle (.1); \draw[my grey] (4.9,7.9) -- (5.1,7.9);
  \draw[->] (5.1,7.9) -- (5.9,7.1);
  \fill (6.1,7.1) circle (.1); \draw[my grey] (5.9,7.1) -- (6.1,7.1);
  \draw[->] (6.1,7.1) -- (6.9,7.9);
  \fill (7.1,7.9) circle (.1); \draw[my grey] (6.9,7.9) -- (7.1,7.9);
  \draw[->] (7.1,7.9) -- (7.9,7.1);
  \fill (3.9,7.9) circle (.1); \draw[my grey] (7.9,7.1) -- (3.9,7.9);
  \draw[->] (3.9,7.9) -- (3.1,7.1);
  \fill (2.9,7.1) circle (.1); \draw[my grey] (3.1,7.1) -- (2.9,7.1);
  \draw[->] (2.9,7.1) -- (2.1,7.9);
  \fill (1.9,7.9) circle (.1); \draw[my grey] (2.1,7.9) -- (1.9,7.9);
  \draw[->] (1.9,7.9) -- (1.1,7.1);
  \fill (0.9,7.1) circle (.1); \draw[my grey] (1.1,7.1) -- (0.9,7.1);
  \draw[->] (0.9,7.1) -- (0.1,7.9);
  \fill (0.1,6.9) circle (.1); \draw[my grey] (0.1,7.9) -- (0.1,6.9);
  \draw[->] (0.1,6.9) -- (0.9,6.1);
  \fill (1.1,6.1) circle (.1); \draw[my grey] (0.9,6.1) -- (1.1,6.1);
  \draw[->] (1.1,6.1) -- (1.9,6.9);
  \fill (2.1,6.9) circle (.1); \draw[my grey] (1.9,6.9) -- (2.1,6.9);
  \draw[->] (2.1,6.9) -- (2.9,6.1);
  \fill (3.1,6.1) circle (.1); \draw[my grey] (2.9,6.1) -- (3.1,6.1);
  \draw[->] (3.1,6.1) -- (3.9,6.9);
  \fill (3.9,5.9) circle (.1); \draw[my grey] (3.9,6.9) -- (3.9,5.9);
  \draw[->] (3.9,5.9) -- (3.1,5.1);
  \fill (2.9,5.1) circle (.1); \draw[my grey] (3.1,5.1) -- (2.9,5.1);
  \draw[->] (2.9,5.1) -- (2.1,5.9);
  \fill (1.9,5.9) circle (.1); \draw[my grey] (2.1,5.9) -- (1.9,5.9);
  \draw[->] (1.9,5.9) -- (1.1,5.1);
  \fill (0.9,5.1) circle (.1); \draw[my grey] (1.1,5.1) -- (0.9,5.1);
  \draw[->] (0.9,5.1) -- (0.1,5.9);
  \fill (0.1,4.9) circle (.1); \draw[my grey] (0.1,5.9) -- (0.1,4.9);
  \draw[->] (0.1,4.9) -- (0.9,4.1);
  \fill (1.1,4.1) circle (.1); \draw[my grey] (0.9,4.1) -- (1.1,4.1);
  \draw[->] (1.1,4.1) -- (1.9,4.9);
  \fill (2.1,4.9) circle (.1); \draw[my grey] (1.9,4.9) -- (2.1,4.9);
  \draw[->] (2.1,4.9) -- (2.9,4.1);
  \fill (3.1,4.1) circle (.1); \draw[my grey] (2.9,4.1) -- (3.1,4.1);
  \draw[->] (3.1,4.1) -- (3.9,4.9);
  \fill (0.1,8.1) circle (.1); \draw[my grey] (3.9,4.9) -- (0.1,8.1);
  \draw[->] (0.1,8.1) -- (0.9,8.9);
  \fill (1.1,8.9) circle (.1); \draw[my grey] (0.9,8.9) -- (1.1,8.9);
  \draw[->] (1.1,8.9) -- (1.9,8.1);
  \fill (2.1,8.1) circle (.1); \draw[my grey] (1.9,8.1) -- (2.1,8.1);
  \draw[->] (2.1,8.1) -- (2.9,8.9);
  \fill (3.1,8.9) circle (.1); \draw[my grey] (2.9,8.9) -- (3.1,8.9);
  \draw[->] (3.1,8.9) -- (3.9,8.1);
  \fill (3.9,9.1) circle (.1); \draw[my grey] (3.9,8.1) -- (3.9,9.1);
  \draw[->] (3.9,9.1) -- (3.1,9.9);
  \fill (2.9,9.9) circle (.1); \draw[my grey] (3.1,9.9) -- (2.9,9.9);
  \draw[->] (2.9,9.9) -- (2.1,9.1);
  \fill (1.9,9.1) circle (.1); \draw[my grey] (2.1,9.1) -- (1.9,9.1);
  \draw[->] (1.9,9.1) -- (1.1,9.9);
  \fill (0.9,9.9) circle (.1); \draw[my grey] (1.1,9.9) -- (0.9,9.9);
  \draw[->] (0.9,9.9) -- (0.1,9.1);
  \fill (0.1,10.1) circle (.1); \draw[my grey] (0.1,9.1) -- (0.1,10.1);
  \draw[->] (0.1,10.1) -- (0.9,10.9);
  \fill (1.1,10.9) circle (.1); \draw[my grey] (0.9,10.9) -- (1.1,10.9);
  \draw[->] (1.1,10.9) -- (1.9,10.1);
  \fill (2.1,10.1) circle (.1); \draw[my grey] (1.9,10.1) -- (2.1,10.1);
  \draw[->] (2.1,10.1) -- (2.9,10.9);
  \fill (3.1,10.9) circle (.1); \draw[my grey] (2.9,10.9) -- (3.1,10.9);
  \draw[->] (3.1,10.9) -- (3.9,10.1);
  \fill (3.9,11.1) circle (.1); \draw[my grey] (3.9,10.1) -- (3.9,11.1);
  \draw[->] (3.9,11.1) -- (3.1,11.9);
  \fill (2.9,11.9) circle (.1); \draw[my grey] (3.1,11.9) -- (2.9,11.9);
  \draw[->] (2.9,11.9) -- (2.1,11.1);
  \fill (1.9,11.1) circle (.1); \draw[my grey] (2.1,11.1) -- (1.9,11.1);
  \draw[->] (1.9,11.1) -- (1.1,11.9);
  \fill (0.9,11.9) circle (.1); \draw[my grey] (1.1,11.9) -- (0.9,11.9);
  \draw[->] (0.9,11.9) -- (0.1,11.1);
  \fill (4.1,11.9) circle (.1); \draw[my grey] (0.1,11.1) -- (4.1,11.9);
  \draw[->] (4.1,11.9) -- (4.9,11.1);
  \fill (5.1,11.1) circle (.1); \draw[my grey] (4.9,11.1) -- (5.1,11.1);
  \draw[->] (5.1,11.1) -- (5.9,11.9);
  \fill (6.1,11.9) circle (.1); \draw[my grey] (5.9,11.9) -- (6.1,11.9);
  \draw[->] (6.1,11.9) -- (6.9,11.1);
  \fill (7.1,11.1) circle (.1); \draw[my grey] (6.9,11.1) -- (7.1,11.1);
  \draw[->] (7.1,11.1) -- (7.9,11.9);
  \fill (7.9,10.9) circle (.1); \draw[my grey] (7.9,11.9) -- (7.9,10.9);
  \draw[->] (7.9,10.9) -- (7.1,10.1);
  \fill (6.9,10.1) circle (.1); \draw[my grey] (7.1,10.1) -- (6.9,10.1);
  \draw[->] (6.9,10.1) -- (6.1,10.9);
  \fill (5.9,10.9) circle (.1); \draw[my grey] (6.1,10.9) -- (5.9,10.9);
  \draw[->] (5.9,10.9) -- (5.1,10.1);
  \fill (4.9,10.1) circle (.1); \draw[my grey] (5.1,10.1) -- (4.9,10.1);
  \draw[->] (4.9,10.1) -- (4.1,10.9);
  \fill (4.1,9.9) circle (.1); \draw[my grey] (4.1,10.9) -- (4.1,9.9);
  \draw[->] (4.1,9.9) -- (4.9,9.1);
  \fill (5.1,9.1) circle (.1); \draw[my grey] (4.9,9.1) -- (5.1,9.1);
  \draw[->] (5.1,9.1) -- (5.9,9.9);
  \fill (6.1,9.9) circle (.1); \draw[my grey] (5.9,9.9) -- (6.1,9.9);
  \draw[->] (6.1,9.9) -- (6.9,9.1);
  \fill (7.1,9.1) circle (.1); \draw[my grey] (6.9,9.1) -- (7.1,9.1);
  \draw[->] (7.1,9.1) -- (7.9,9.9);
  \fill (7.9,8.9) circle (.1); \draw[my grey] (7.9,9.9) -- (7.9,8.9);
  \draw[->] (7.9,8.9) -- (7.1,8.1);
  \fill (6.9,8.1) circle (.1); \draw[my grey] (7.1,8.1) -- (6.9,8.1);
  \draw[->] (6.9,8.1) -- (6.1,8.9);
  \fill (5.9,8.9) circle (.1); \draw[my grey] (6.1,8.9) -- (5.9,8.9);
  \draw[->] (5.9,8.9) -- (5.1,8.1);
  \fill (4.9,8.1) circle (.1); \draw[my grey] (5.1,8.1) -- (4.9,8.1);
  \draw[->] (4.9,8.1) -- (4.1,8.9);
  \fill (8.1,8.1) circle (.1); \draw[my grey] (4.1,8.9) -- (8.1,8.1);
  \draw[->] (8.1,8.1) -- (8.9,8.9);
  \fill (9.1,8.9) circle (.1); \draw[my grey] (8.9,8.9) -- (9.1,8.9);
  \draw[->] (9.1,8.9) -- (9.9,8.1);
  \fill (10.1,8.1) circle (.1); \draw[my grey] (9.9,8.1) -- (10.1,8.1);
  \draw[->] (10.1,8.1) -- (10.9,8.9);
  \fill (11.1,8.9) circle (.1); \draw[my grey] (10.9,8.9) -- (11.1,8.9);
  \draw[->] (11.1,8.9) -- (11.9,8.1);
  \fill (11.9,9.1) circle (.1); \draw[my grey] (11.9,8.1) -- (11.9,9.1);
  \draw[->] (11.9,9.1) -- (11.1,9.9);
  \fill (10.9,9.9) circle (.1); \draw[my grey] (11.1,9.9) -- (10.9,9.9);
  \draw[->] (10.9,9.9) -- (10.1,9.1);
  \fill (9.9,9.1) circle (.1); \draw[my grey] (10.1,9.1) -- (9.9,9.1);
  \draw[->] (9.9,9.1) -- (9.1,9.9);
  \fill (8.9,9.9) circle (.1); \draw[my grey] (9.1,9.9) -- (8.9,9.9);
  \draw[->] (8.9,9.9) -- (8.1,9.1);
  \fill (8.1,10.1) circle (.1); \draw[my grey] (8.1,9.1) -- (8.1,10.1);
  \draw[->] (8.1,10.1) -- (8.9,10.9);
  \fill (9.1,10.9) circle (.1); \draw[my grey] (8.9,10.9) -- (9.1,10.9);
  \draw[->] (9.1,10.9) -- (9.9,10.1);
  \fill (10.1,10.1) circle (.1); \draw[my grey] (9.9,10.1) -- (10.1,10.1);
  \draw[->] (10.1,10.1) -- (10.9,10.9);
  \fill (11.1,10.9) circle (.1); \draw[my grey] (10.9,10.9) -- (11.1,10.9);
  \draw[->] (11.1,10.9) -- (11.9,10.1);
  \fill (11.9,11.1) circle (.1); \draw[my grey] (11.9,10.1) -- (11.9,11.1);
  \draw[->] (11.9,11.1) -- (11.1,11.9);
  \fill (10.9,11.9) circle (.1); \draw[my grey] (11.1,11.9) -- (10.9,11.9);
  \draw[->] (10.9,11.9) -- (10.1,11.1);
  \fill (9.9,11.1) circle (.1); \draw[my grey] (10.1,11.1) -- (9.9,11.1);
  \draw[->] (9.9,11.1) -- (9.1,11.9);
  \fill (8.9,11.9) circle (.1); \draw[my grey] (9.1,11.9) -- (8.9,11.9);
  \draw[->] (8.9,11.9) -- (8.1,11.1);
  \fill (12.1,11.9) circle (.1); \draw[my grey] (8.1,11.1) -- (12.1,11.9);
  \draw[->] (12.1,11.9) -- (12.9,11.1);
  \fill (13.1,11.1) circle (.1); \draw[my grey] (12.9,11.1) -- (13.1,11.1);
  \draw[->] (13.1,11.1) -- (13.9,11.9);
  \fill (14.1,11.9) circle (.1); \draw[my grey] (13.9,11.9) -- (14.1,11.9);
  \draw[->] (14.1,11.9) -- (14.9,11.1);
  \fill (15.1,11.1) circle (.1); \draw[my grey] (14.9,11.1) -- (15.1,11.1);
  \draw[->] (15.1,11.1) -- (15.9,11.9);
  \fill (15.9,10.9) circle (.1); \draw[my grey] (15.9,11.9) -- (15.9,10.9);
  \draw[->] (15.9,10.9) -- (15.1,10.1);
  \fill (14.9,10.1) circle (.1); \draw[my grey] (15.1,10.1) -- (14.9,10.1);
  \draw[->] (14.9,10.1) -- (14.1,10.9);
  \fill (13.9,10.9) circle (.1); \draw[my grey] (14.1,10.9) -- (13.9,10.9);
  \draw[->] (13.9,10.9) -- (13.1,10.1);
  \fill (12.9,10.1) circle (.1); \draw[my grey] (13.1,10.1) -- (12.9,10.1);
  \draw[->] (12.9,10.1) -- (12.1,10.9);
  \fill (12.1,9.9) circle (.1); \draw[my grey] (12.1,10.9) -- (12.1,9.9);
  \draw[->] (12.1,9.9) -- (12.9,9.1);
  \fill (13.1,9.1) circle (.1); \draw[my grey] (12.9,9.1) -- (13.1,9.1);
  \draw[->] (13.1,9.1) -- (13.9,9.9);
  \fill (14.1,9.9) circle (.1); \draw[my grey] (13.9,9.9) -- (14.1,9.9);
  \draw[->] (14.1,9.9) -- (14.9,9.1);
  \fill (15.1,9.1) circle (.1); \draw[my grey] (14.9,9.1) -- (15.1,9.1);
  \draw[->] (15.1,9.1) -- (15.9,9.9);
  \fill (15.9,8.9) circle (.1); \draw[my grey] (15.9,9.9) -- (15.9,8.9);
  \draw[->] (15.9,8.9) -- (15.1,8.1);
  \fill (14.9,8.1) circle (.1); \draw[my grey] (15.1,8.1) -- (14.9,8.1);
  \draw[->] (14.9,8.1) -- (14.1,8.9);
  \fill (13.9,8.9) circle (.1); \draw[my grey] (14.1,8.9) -- (13.9,8.9);
  \draw[->] (13.9,8.9) -- (13.1,8.1);
  \fill (12.9,8.1) circle (.1); \draw[my grey] (13.1,8.1) -- (12.9,8.1);
  \draw[->] (12.9,8.1) -- (12.1,8.9);
  \fill (15.9,12.1) circle (.1); \draw[my grey] (12.1,8.9) -- (15.9,12.1);
  \draw[->] (15.9,12.1) -- (15.1,12.9);
  \fill (14.9,12.9) circle (.1); \draw[my grey] (15.1,12.9) -- (14.9,12.9);
  \draw[->] (14.9,12.9) -- (14.1,12.1);
  \fill (13.9,12.1) circle (.1); \draw[my grey] (14.1,12.1) -- (13.9,12.1);
  \draw[->] (13.9,12.1) -- (13.1,12.9);
  \fill (12.9,12.9) circle (.1); \draw[my grey] (13.1,12.9) -- (12.9,12.9);
  \draw[->] (12.9,12.9) -- (12.1,12.1);
  \fill (12.1,13.1) circle (.1); \draw[my grey] (12.1,12.1) -- (12.1,13.1);
  \draw[->] (12.1,13.1) -- (12.9,13.9);
  \fill (13.1,13.9) circle (.1); \draw[my grey] (12.9,13.9) -- (13.1,13.9);
  \draw[->] (13.1,13.9) -- (13.9,13.1);
  \fill (14.1,13.1) circle (.1); \draw[my grey] (13.9,13.1) -- (14.1,13.1);
  \draw[->] (14.1,13.1) -- (14.9,13.9);
  \fill (15.1,13.9) circle (.1); \draw[my grey] (14.9,13.9) -- (15.1,13.9);
  \draw[->] (15.1,13.9) -- (15.9,13.1);
  \fill (15.9,14.1) circle (.1); \draw[my grey] (15.9,13.1) -- (15.9,14.1);
  \draw[->] (15.9,14.1) -- (15.1,14.9);
  \fill (14.9,14.9) circle (.1); \draw[my grey] (15.1,14.9) -- (14.9,14.9);
  \draw[->] (14.9,14.9) -- (14.1,14.1);
  \fill (13.9,14.1) circle (.1); \draw[my grey] (14.1,14.1) -- (13.9,14.1);
  \draw[->] (13.9,14.1) -- (13.1,14.9);
  \fill (12.9,14.9) circle (.1); \draw[my grey] (13.1,14.9) -- (12.9,14.9);
  \draw[->] (12.9,14.9) -- (12.1,14.1);
  \fill (12.1,15.1) circle (.1); \draw[my grey] (12.1,14.1) -- (12.1,15.1);
  \draw[->] (12.1,15.1) -- (12.9,15.9);
  \fill (13.1,15.9) circle (.1); \draw[my grey] (12.9,15.9) -- (13.1,15.9);
  \draw[->] (13.1,15.9) -- (13.9,15.1);
  \fill (14.1,15.1) circle (.1); \draw[my grey] (13.9,15.1) -- (14.1,15.1);
  \draw[->] (14.1,15.1) -- (14.9,15.9);
  \fill (15.1,15.9) circle (.1); \draw[my grey] (14.9,15.9) -- (15.1,15.9);
  \draw[->] (15.1,15.9) -- (15.9,15.1);
  \fill (11.9,15.9) circle (.1); \draw[my grey] (15.9,15.1) -- (11.9,15.9);
  \draw[->] (11.9,15.9) -- (11.1,15.1);
  \fill (10.9,15.1) circle (.1); \draw[my grey] (11.1,15.1) -- (10.9,15.1);
  \draw[->] (10.9,15.1) -- (10.1,15.9);
  \fill (9.9,15.9) circle (.1); \draw[my grey] (10.1,15.9) -- (9.9,15.9);
  \draw[->] (9.9,15.9) -- (9.1,15.1);
  \fill (8.9,15.1) circle (.1); \draw[my grey] (9.1,15.1) -- (8.9,15.1);
  \draw[->] (8.9,15.1) -- (8.1,15.9);
  \fill (8.1,14.9) circle (.1); \draw[my grey] (8.1,15.9) -- (8.1,14.9);
  \draw[->] (8.1,14.9) -- (8.9,14.1);
  \fill (9.1,14.1) circle (.1); \draw[my grey] (8.9,14.1) -- (9.1,14.1);
  \draw[->] (9.1,14.1) -- (9.9,14.9);
  \fill (10.1,14.9) circle (.1); \draw[my grey] (9.9,14.9) -- (10.1,14.9);
  \draw[->] (10.1,14.9) -- (10.9,14.1);
  \fill (11.1,14.1) circle (.1); \draw[my grey] (10.9,14.1) -- (11.1,14.1);
  \draw[->] (11.1,14.1) -- (11.9,14.9);
  \fill (11.9,13.9) circle (.1); \draw[my grey] (11.9,14.9) -- (11.9,13.9);
  \draw[->] (11.9,13.9) -- (11.1,13.1);
  \fill (10.9,13.1) circle (.1); \draw[my grey] (11.1,13.1) -- (10.9,13.1);
  \draw[->] (10.9,13.1) -- (10.1,13.9);
  \fill (9.9,13.9) circle (.1); \draw[my grey] (10.1,13.9) -- (9.9,13.9);
  \draw[->] (9.9,13.9) -- (9.1,13.1);
  \fill (8.9,13.1) circle (.1); \draw[my grey] (9.1,13.1) -- (8.9,13.1);
  \draw[->] (8.9,13.1) -- (8.1,13.9);
  \fill (8.1,12.9) circle (.1); \draw[my grey] (8.1,13.9) -- (8.1,12.9);
  \draw[->] (8.1,12.9) -- (8.9,12.1);
  \fill (9.1,12.1) circle (.1); \draw[my grey] (8.9,12.1) -- (9.1,12.1);
  \draw[->] (9.1,12.1) -- (9.9,12.9);
  \fill (10.1,12.9) circle (.1); \draw[my grey] (9.9,12.9) -- (10.1,12.9);
  \draw[->] (10.1,12.9) -- (10.9,12.1);
  \fill (11.1,12.1) circle (.1); \draw[my grey] (10.9,12.1) -- (11.1,12.1);
  \draw[->] (11.1,12.1) -- (11.9,12.9);
  \fill (7.9,12.1) circle (.1); \draw[my grey] (11.9,12.9) -- (7.9,12.1);
  \draw[->] (7.9,12.1) -- (7.1,12.9);
  \fill (6.9,12.9) circle (.1); \draw[my grey] (7.1,12.9) -- (6.9,12.9);
  \draw[->] (6.9,12.9) -- (6.1,12.1);
  \fill (5.9,12.1) circle (.1); \draw[my grey] (6.1,12.1) -- (5.9,12.1);
  \draw[->] (5.9,12.1) -- (5.1,12.9);
  \fill (4.9,12.9) circle (.1); \draw[my grey] (5.1,12.9) -- (4.9,12.9);
  \draw[->] (4.9,12.9) -- (4.1,12.1);
  \fill (4.1,13.1) circle (.1); \draw[my grey] (4.1,12.1) -- (4.1,13.1);
  \draw[->] (4.1,13.1) -- (4.9,13.9);
  \fill (5.1,13.9) circle (.1); \draw[my grey] (4.9,13.9) -- (5.1,13.9);
  \draw[->] (5.1,13.9) -- (5.9,13.1);
  \fill (6.1,13.1) circle (.1); \draw[my grey] (5.9,13.1) -- (6.1,13.1);
  \draw[->] (6.1,13.1) -- (6.9,13.9);
  \fill (7.1,13.9) circle (.1); \draw[my grey] (6.9,13.9) -- (7.1,13.9);
  \draw[->] (7.1,13.9) -- (7.9,13.1);
  \fill (7.9,14.1) circle (.1); \draw[my grey] (7.9,13.1) -- (7.9,14.1);
  \draw[->] (7.9,14.1) -- (7.1,14.9);
  \fill (6.9,14.9) circle (.1); \draw[my grey] (7.1,14.9) -- (6.9,14.9);
  \draw[->] (6.9,14.9) -- (6.1,14.1);
  \fill (5.9,14.1) circle (.1); \draw[my grey] (6.1,14.1) -- (5.9,14.1);
  \draw[->] (5.9,14.1) -- (5.1,14.9);
  \fill (4.9,14.9) circle (.1); \draw[my grey] (5.1,14.9) -- (4.9,14.9);
  \draw[->] (4.9,14.9) -- (4.1,14.1);
  \fill (4.1,15.1) circle (.1); \draw[my grey] (4.1,14.1) -- (4.1,15.1);
  \draw[->] (4.1,15.1) -- (4.9,15.9);
  \fill (5.1,15.9) circle (.1); \draw[my grey] (4.9,15.9) -- (5.1,15.9);
  \draw[->] (5.1,15.9) -- (5.9,15.1);
  \fill (6.1,15.1) circle (.1); \draw[my grey] (5.9,15.1) -- (6.1,15.1);
  \draw[->] (6.1,15.1) -- (6.9,15.9);
  \fill (7.1,15.9) circle (.1); \draw[my grey] (6.9,15.9) -- (7.1,15.9);
  \draw[->] (7.1,15.9) -- (7.9,15.1);
  \fill (3.9,15.9) circle (.1); \draw[my grey] (7.9,15.1) -- (3.9,15.9);
  \draw[->] (3.9,15.9) -- (3.1,15.1);
  \fill (2.9,15.1) circle (.1); \draw[my grey] (3.1,15.1) -- (2.9,15.1);
  \draw[->] (2.9,15.1) -- (2.1,15.9);
  \fill (1.9,15.9) circle (.1); \draw[my grey] (2.1,15.9) -- (1.9,15.9);
  \draw[->] (1.9,15.9) -- (1.1,15.1);
  \fill (0.9,15.1) circle (.1); \draw[my grey] (1.1,15.1) -- (0.9,15.1);
  \draw[->] (0.9,15.1) -- (0.1,15.9);
  \fill (0.1,14.9) circle (.1); \draw[my grey] (0.1,15.9) -- (0.1,14.9);
  \draw[->] (0.1,14.9) -- (0.9,14.1);
  \fill (1.1,14.1) circle (.1); \draw[my grey] (0.9,14.1) -- (1.1,14.1);
  \draw[->] (1.1,14.1) -- (1.9,14.9);
  \fill (2.1,14.9) circle (.1); \draw[my grey] (1.9,14.9) -- (2.1,14.9);
  \draw[->] (2.1,14.9) -- (2.9,14.1);
  \fill (3.1,14.1) circle (.1); \draw[my grey] (2.9,14.1) -- (3.1,14.1);
  \draw[->] (3.1,14.1) -- (3.9,14.9);
  \fill (3.9,13.9) circle (.1); \draw[my grey] (3.9,14.9) -- (3.9,13.9);
  \draw[->] (3.9,13.9) -- (3.1,13.1);
  \fill (2.9,13.1) circle (.1); \draw[my grey] (3.1,13.1) -- (2.9,13.1);
  \draw[->] (2.9,13.1) -- (2.1,13.9);
  \fill (1.9,13.9) circle (.1); \draw[my grey] (2.1,13.9) -- (1.9,13.9);
  \draw[->] (1.9,13.9) -- (1.1,13.1);
  \fill (0.9,13.1) circle (.1); \draw[my grey] (1.1,13.1) -- (0.9,13.1);
  \draw[->] (0.9,13.1) -- (0.1,13.9);
  \fill (0.1,12.9) circle (.1); \draw[my grey] (0.1,13.9) -- (0.1,12.9);
  \draw[->] (0.1,12.9) -- (0.9,12.1);
  \fill (1.1,12.1) circle (.1); \draw[my grey] (0.9,12.1) -- (1.1,12.1);
  \draw[->] (1.1,12.1) -- (1.9,12.9);
  \fill (2.1,12.9) circle (.1); \draw[my grey] (1.9,12.9) -- (2.1,12.9);
  \draw[->] (2.1,12.9) -- (2.9,12.1);
  \fill (3.1,12.1) circle (.1); \draw[my grey] (2.9,12.1) -- (3.1,12.1);
  \draw[->] (3.1,12.1) -- (3.9,12.9);

\end{tikzpicture}
\end{center}

%------------------------------------------------------------------------------

\end{document}

% Local variables:
% compile-command: "latexmk -file-line-error -pdf pictures.tex"
% End: