apxproof (7nov16)

git-svn-id: svn://tug.org/texlive/trunk@42453 c570f23f-e606-0410-a88d-b1316a301751

20 files changed, 29 insertions, 4990 deletions

diff --git a/Master/texmf-dist/doc/latex/apxproof/Makefile b/Master/texmf-dist/doc/latex/apxproof/Makefile
index dc81865090d..d24336a7d7c 100644
--- a/Master/texmf-dist/doc/latex/apxproof/Makefile
+++ b/Master/texmf-dist/doc/latex/apxproof/Makefile
@@ -3,6 +3,9 @@ all: apxproof.pdf apxproof.sty
 clean:
 	-rm -f *.aux *.log *.gl? *.idx *.ilg *.fls *.ind *.axp *.bbl *.blg *.hd  *.out
 
+ctan:
+	git archive --format zip master --prefix=apxproof/  --output apxproof.zip
+
 %.pdf: %.dtx %.sty
 	pdflatex $<
 	makeindex -s gind.ist $(patsubst %.pdf,%.idx,$@)
diff --git a/Master/texmf-dist/doc/latex/apxproof/README.md b/Master/texmf-dist/doc/latex/apxproof/README.md
index 639d60de92e..d46e042013b 100644
--- a/Master/texmf-dist/doc/latex/apxproof/README.md
+++ b/Master/texmf-dist/doc/latex/apxproof/README.md
@@ -2,9 +2,17 @@
 
 ## About
 
-The `apxproof` package facilitates the writing of scientific article
-with proofs deferred to the appendix. The documentation of this package
-is provided in the [apxproof.pdf](apxproof.pdf) file.
+The `apxproof` package makes it easier to write articles where proofs and
+other material are deferred to the appendix. The appendix material is
+written in the LaTeX code along with the main text which it naturally
+complements, and it is automatically deferred. The package can
+automatically send proofs to the appendix, can repeat in the appendix the
+theorem environments stated in the main text, can section the appendix
+automatically based on the sectioning of the main text, and supports a
+separate bibliography for the appendix material.
+
+The documentation of this package is provided in the
+[apxproof.pdf](apxproof.pdf) file.
 
 ## Prerequisites
 
diff --git a/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf b/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf
index 3ca5b9b692b..cb2849b1017 100644
--- a/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf
+++ b/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/Makefile b/Master/texmf-dist/doc/latex/apxproof/examples/Makefile
deleted file mode 100644
index d37f4179e71..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-TARGET = $(foreach dir, $(wildcard */), $(dir)/test.pdf)
-
-all: $(TARGET)
-
-clean:
-	rm */*.aux */*.blg */*.bbl */*.axp */*.fls */*.fdb* */*.log */*.out
-
-%.pdf: %.tex ../apxproof.sty common.tex common.bib
-	cd $(dir $@) && \
-	latexmk -c && \
-	latexmk test ; \
-	cd ..
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/article/test.tex b/Master/texmf-dist/doc/latex/apxproof/examples/article/test.tex
deleted file mode 100644
index 62d05443193..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/article/test.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\documentclass{article}
-\usepackage{../../apxproof}
-\input{../common}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/common.bib b/Master/texmf-dist/doc/latex/apxproof/examples/common.bib
deleted file mode 100644
index a320617f913..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/common.bib
+++ /dev/null
@@ -1,19 +0,0 @@
-@Article{	  brin1998anatomy,
-  author	= "Sergey Brin and Lawrence Page",
-  title		= "The anatomy of a large-scale hypertextual {Web} search
-		  engine",
-  journal	= "Computer Networks",
-  volume	= "30",
-  number	= "1--7",
-  pages		= "107--117",
-  year		= "1998",
-  month		= apr
-}
-
-@Misc{		  sitemaps,
-  author	= {{sitemaps.org}},
-  howpublished	= {\url{http://www.sitemaps.org/protocol.php}},
-  year		= 2008,
-  month		= feb,
-  title		= {Sitemaps {XML} format}
-}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/common.tex b/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
deleted file mode 100644
index 788a5eec969..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
+++ /dev/null
@@ -1,134 +0,0 @@
-\usepackage{hyperref}
-
-\newtheoremrep{theorem}{Theorem}
-\newtheoremrep{lemma}{Lemma}
-
-\renewcommand{\appendixsectionformat}[2]{Material for #2 (Section~#1)}
-
-\begin{document}
-Hello world!
-
-\begin{theoremrep}
-  \label{th:toto}
-  This is a great result.
-\end{theoremrep}
-
-\begin{proofsketch}
-  This is the proof sketch of Theorem~\ref{th:toto}.
-\end{proofsketch}
-
-\begin{proof}
-  This is the proof of Theorem~\ref{th:toto}.
-\end{proof}
-
-\section{Section without Theorems}
-
-Since this section does not have any appendix content, it will not appear in the
-appendix. \cite{brin1998anatomy}
-
-\section{Section with Some Appendix Content}
-
-Not much in the main text.
-
-\begin{toappendix}
-  Hello appendix!
-\end{toappendix}
-
-\section{Section with Theorems}
-
-\begin{theoremrep}
-  \label{th:titi}
-  Another great result.
-\end{theoremrep}
-
-\begin{proofsketch}
-  Proof sketch of Theorem~\ref{th:titi}.
-\end{proofsketch}
-
-\begin{proof}
-  Proof of Theorem~\ref{th:titi}.
-
-  For some reason, this proof has an inline Lemma:
-  \begin{lemma}
-    This is the lemma.
-  \end{lemma} 
-
-  \begin{nestedproof}
-    And this lemma has a proof as well!
-  \end{nestedproof}
-
-  This concludes the global proof of Theorem~\ref{th:titi}.
-\end{proof}
-
-\begin{theoremrep}
-  \label{th:tutu}
-  Another great result, without any proof sketch.
-\end{theoremrep}
-
-\begin{proof}
-  Proof of Theorem~\ref{th:tutu}. It has two
-  references~\cite{sitemaps,brin1998anatomy}.
-\end{proof}
-
-\begin{theorem}
-  A regular theorem, not repeated.
-\end{theorem}
-
-\begin{proof}
-This regular theorem is naturally followed with an inline proof.
-\end{proof}
-
-\begin{theoremrep}
-  \label{th:weird}
-  A repeated theorem, but with two proofs, one in Appendix and one in
-  main text.
-\end{theoremrep}
-
-\begin{inlineproof}
-  Main text proof of Theorem~\ref{th:weird}.
-\end{inlineproof}
-
-\begin{proof}
-  Appendix proof of Theorem~\ref{th:weird}.
-\end{proof}
-
-\begin{toappendix}
-And now for no particular reason, two isolated proofs in the appendix,
-  written in two different ways:
-
-  \begin{proof}[Proof of a non-existing result]
-    First with a regular \texttt{proof} environment inside a
-    \texttt{toappendix} environment.
-  \end{proof}
-\end{toappendix}
-
-\begin{appendixproof}
-  Second, with the specific \texttt{appendixproof} environment (but then,
-  cannot change the proof name).
-\end{appendixproof}
-
-\section{Last Section}
-
-\begin{theoremrep}
-  Another theorem.
-\end{theoremrep}
-
-\begin{toappendix}
-  This theorem does not have a proof, but a discussion in the appendix.
-  \textsf{apxproof} can figure, because of the \verb|theorem| environment
-  that follows, that the proof of the following theorem is not a proof of
-  this theorem.
-\end{toappendix}
-
-\begin{theorem}
-  Last theorem, not repeated.
-\end{theorem}
-
-\begin{proof}
-  Proof, inlined.
-\end{proof}
-
-\bibliographystyle{plain}
-\bibliography{../common}
-
-\end{document}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/inline/lipics.cls b/Master/texmf-dist/doc/latex/apxproof/examples/inline/lipics.cls
deleted file mode 100644
index 6565f968562..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/inline/lipics.cls
+++ /dev/null
@@ -1,646 +0,0 @@
-%%
-%% This is file `lipics.cls',
-%% generated with the docstrip utility.
-%%
-%% The original source files were:
-%%
-%% lipics.dtx  (with options: `class')
-%% 
-%% -----------------------------------------------------------------
-%% Author:     le-tex publishing services
-%% 
-%% This file is part of the lipics package for preparing
-%% LIPICS articles.
-%% 
-%%       Copyright (C) 2010 Schloss Dagstuhl
-%% -----------------------------------------------------------------
-\NeedsTeXFormat{LaTeX2e}[2005/12/01]
-\ProvidesClass{lipics}
-    [2010/09/27 v1.1 LIPIcs articles]
-\emergencystretch1em
-\advance\hoffset-1in
-\advance\voffset-1in
-\advance\hoffset2.95mm
-\newif\if@nobotseplist  \@nobotseplistfalse
-\def\@endparenv{%
-  \addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue}
-\def\@doendpe{%
-  \@endpetrue
-  \def\par{\@restorepar
-           \everypar{}%
-           \par
-           \if@nobotseplist
-             \addvspace\topsep
-             \addvspace\partopsep
-             \global\@nobotseplistfalse
-           \fi
-           \@endpefalse}%
-  \everypar{{\setbox\z@\lastbox}%
-            \everypar{}%
-            \if@nobotseplist\global\@nobotseplistfalse\fi
-            \@endpefalse}}
-\def\enumerate{%
-  \ifnum \@enumdepth >\thr@@\@toodeep\else
-    \advance\@enumdepth\@ne
-    \edef\@enumctr{enum\romannumeral\the\@enumdepth}%
-    \expandafter
-    \list
-      \csname label\@enumctr\endcsname
-      {\advance\partopsep\topsep
-       \topsep\z@\@plus\p@
-       \ifnum\@listdepth=\@ne
-         \labelsep0.72em
-       \else
-         \ifnum\@listdepth=\tw@
-           \labelsep0.3em
-         \else
-           \labelsep0.5em
-         \fi
-       \fi
-       \usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}%
-  \fi}
-\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\def\itemize{%
-  \ifnum \@itemdepth >\thr@@\@toodeep\else
-    \advance\@itemdepth\@ne
-    \edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%
-    \expandafter
-    \list
-      \csname\@itemitem\endcsname
-      {\advance\partopsep\topsep
-       \topsep\z@\@plus\p@
-       \ifnum\@listdepth=\@ne
-         \labelsep0.83em
-       \else
-         \ifnum\@listdepth=\tw@
-           \labelsep0.75em
-         \else
-           \labelsep0.5em
-         \fi
-      \fi
-      \def\makelabel##1{\hss\llap{##1}}}%
-  \fi}
-\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\def\@sect#1#2#3#4#5#6[#7]#8{%
-  \ifnum #2>\c@secnumdepth
-    \let\@svsec\@empty
-  \else
-    \refstepcounter{#1}%
-    \protected@edef\@svsec{\@seccntformat{#1}\relax}%
-  \fi
-  \@tempskipa #5\relax
-  \ifdim \@tempskipa>\z@
-    \begingroup
-      #6{%
-        \@hangfrom{\hskip #3\relax
-          \ifnum #2=1
-            \colorbox[rgb]{0.99,0.78,0.07}{\kern0.15em\@svsec\kern0.15em}\quad
-          \else
-            \@svsec\quad
-          \fi}%
-          \interlinepenalty \@M #8\@@par}%
-    \endgroup
-    \csname #1mark\endcsname{#7}%
-    \addcontentsline{toc}{#1}{%
-      \ifnum #2>\c@secnumdepth \else
-        \protect\numberline{\csname the#1\endcsname}%
-      \fi
-      #7}%
-  \else
-    \def\@svsechd{%
-      #6{\hskip #3\relax
-      \@svsec #8}%
-      \csname #1mark\endcsname{#7}%
-      \addcontentsline{toc}{#1}{%
-        \ifnum #2>\c@secnumdepth \else
-          \protect\numberline{\csname the#1\endcsname}%
-        \fi
-        #7}}%
-  \fi
-  \@xsect{#5}}
-\def\@seccntformat#1{\csname the#1\endcsname}
-\def\@biblabel#1{\textcolor{darkgray}{\sffamily\bfseries#1}}
-\def\copyrightline{%
-  \ifx\@serieslogo\@empty
-  \else
-    \setbox\@tempboxa\hbox{\includegraphics[height=42\p@]{\@serieslogo}}%
-    \rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%
-          \vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%
-  \fi
-  \scriptsize
-  \vtop{\hsize\textwidth
-    \nobreakspace\\
-    \@Copyright
-    \ifx\@Event\@empty\else\@Event.\\\fi
-    \ifx\@Editors\@empty\else
-      \@Eds: \@Editors
-      ; pp. \thepage--\pageref{LastPage}%
-      \\
-    \fi
-    \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}%
-    \hspace*{\wd\@tempboxa}\enskip
-    \href{http://www.dagstuhl.de/lipics/}%
-         {Leibniz International Proceedings in Informatics}\\
-    \smash{\unhbox\@tempboxa}\enskip
-    \href{http://www.dagstuhl.de}%
-         {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}}
-\def\ps@plain{\let\@mkboth\@gobbletwo
-  \let\@oddhead\@empty
-  \let\@evenhead\@empty
-  \let\@evenfoot\copyrightline
-  \let\@oddfoot\copyrightline}
-\def\lipics@opterrshort{Option  "\CurrentOption" not supported}
-\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.}
-\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}
-                        \advance\hoffset-2.95mm
-                        \advance\voffset8.8mm}
-\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}
-\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
-\ProcessOptions
-\LoadClass[twoside,notitlepage,fleqn]{article}
-\renewcommand\normalsize{%
-   \@setfontsize\normalsize\@xpt{13}%
-   \abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@
-   \abovedisplayshortskip \z@ \@plus3\p@
-   \belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@
-   \belowdisplayskip \abovedisplayskip
-   \let\@listi\@listI}
-\normalsize
-\renewcommand\small{%
-   \@setfontsize\small\@ixpt{11.5}%
-   \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
-   \abovedisplayshortskip \z@ \@plus2\p@
-   \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
-   \def\@listi{\leftmargin\leftmargini
-               \topsep 4\p@ \@plus2\p@ \@minus2\p@
-               \parsep 2\p@ \@plus\p@ \@minus\p@
-               \itemsep \parsep}%
-   \belowdisplayskip \abovedisplayskip
-}
-\renewcommand\footnotesize{%
-   \@setfontsize\footnotesize{8.5}{9.5}%
-   \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@
-   \abovedisplayshortskip \z@ \@plus\p@
-   \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@
-   \def\@listi{\leftmargin\leftmargini
-               \topsep 3\p@ \@plus\p@ \@minus\p@
-               \parsep 2\p@ \@plus\p@ \@minus\p@
-               \itemsep \parsep}%
-   \belowdisplayskip \abovedisplayskip
-}
-\renewcommand\large{\@setfontsize\large{10.5}{13}}
-\renewcommand\Large{\@setfontsize\Large{12}{14}}
-\setlength\parindent{1.5em}
-\setlength\headheight{3mm}
-\setlength\headsep   {10mm}
-\setlength\footskip{3mm}
-\setlength\textwidth{140mm}
-\setlength\textheight{222mm}
-\setlength\oddsidemargin{32mm}
-\setlength\evensidemargin{38mm}
-\setlength\marginparwidth{25mm}
-\setlength\topmargin{13mm}
-\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@}
-\def\@listi{\leftmargin\leftmargini
-            \parsep\z@ \@plus\p@
-            \topsep 8\p@ \@plus2\p@ \@minus4\p@
-            \itemsep \parsep}
-\let\@listI\@listi
-\@listi
-\def\@listii {\leftmargin\leftmarginii
-              \labelwidth\leftmarginii
-              \advance\labelwidth-\labelsep
-              \topsep    4\p@ \@plus2\p@ \@minus\p@
-              \parsep\z@ \@plus\p@
-              \itemsep   \parsep}
-\def\@listiii{\leftmargin\leftmarginiii
-              \labelwidth\leftmarginiii
-              \advance\labelwidth-\labelsep
-              \topsep    2\p@ \@plus\p@\@minus\p@
-              \parsep    \z@
-              \partopsep \p@ \@plus\z@ \@minus\p@
-              \itemsep   \z@ \@plus\p@}
-\def\ps@headings{%
-    \def\@evenhead{\large\sffamily\bfseries
-                   \llap{\hbox to0.5\oddsidemargin{\thepage\hss}}\leftmark\hfil}%
-    \def\@oddhead{\large\sffamily\bfseries\rightmark\hfil
-                  \rlap{\hbox to0.5\oddsidemargin{\hss\thepage}}}%
-    \def\@oddfoot{\hfil
-                  \rlap{%
-                    \vtop{%
-                      \vskip10mm
-                      \colorbox[rgb]{0.99,0.78,0.07}
-                                    {\@tempdima\evensidemargin
-                                     \advance\@tempdima1in
-                                     \advance\@tempdima\hoffset
-                                     \hb@xt@\@tempdima{%
-                                       \textcolor{darkgray}{\normalsize\sffamily
-                                       \bfseries\quad
-                                       \expandafter\textsolittle
-                                       \expandafter{\@EventShortName}}%
-                                     \strut\hss}}}}}
-    \let\@evenfoot\@empty
-    \let\@mkboth\markboth
-  \let\sectionmark\@gobble
-  \let\subsectionmark\@gobble}
-\pagestyle{headings}
-\renewcommand\maketitle{\par
-  \begingroup
-    \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
-    \if@twocolumn
-      \ifnum \col@number=\@ne
-        \@maketitle
-      \else
-        \twocolumn[\@maketitle]%
-      \fi
-    \else
-      \newpage
-      \global\@topnum\z@   % Prevents figures from going at top of page.
-      \@maketitle
-    \fi
-    \thispagestyle{plain}\@thanks
-  \endgroup
-  \setcounter{footnote}{0}%
-  \global\let\thanks\relax
-  \global\let\maketitle\relax
-  \global\let\@maketitle\relax
-  \global\let\@thanks\@empty
-  \global\let\@author\@empty
-  \global\let\@date\@empty
-  \global\let\@title\@empty
-  \global\let\title\relax
-  \global\let\author\relax
-  \global\let\date\relax
-  \global\let\and\relax
-}
-\newwrite\tocfile
-\def\@maketitle{%
-  \newpage
-  \null\vskip-\baselineskip
-  \vskip-\headsep
-  \@titlerunning
-  \@authorrunning
-  \let \footnote \thanks
-  \parindent\z@ \raggedright
-    {\LARGE\sffamily\bfseries\mathversion{bold}\@title \par}%
-    \vskip 1.5em%
-    \ifnum\c@authors=0 %
-      \@latexerr{No \noexpand\author given}%
-        {Provide at least one author. See the LIPIcs class documentation.}%
-    \else
-      \@author
-    \fi
-    \bgroup
-      \let\footnote\@gobble
-      \immediate\openout\tocfile=\jobname.vtc
-      \protected@write\tocfile{}{%
-        \string\contitem
-        \string\title{\@title}%
-        \string\author{\AB@authfortoc}%
-        \string\page{\thepage}}%
-      \closeout\tocfile
-    \egroup
-  \par}
-\setcounter{secnumdepth}{4}
-\renewcommand\section{\@startsection {section}{1}{\z@}%
-                                   {-3.5ex \@plus -1ex \@minus -.2ex}%
-                                   {2.3ex \@plus.2ex}%
-                                   {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
-                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
-                                     {1.5ex \@plus .2ex}%
-                                     {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
-                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
-                                     {1.5ex \@plus .2ex}%
-                                     {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
-                                    {-3.25ex \@plus-1ex \@minus-.2ex}%
-                                    {1.5ex \@plus .2ex}%
-                                    {\sffamily\large\bfseries\raggedright}}
-\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}%
-                                       {3.25ex \@plus1ex \@minus .2ex}%
-                                       {-1em}%
-                                      {\sffamily\normalsize\bfseries}}
-\setlength\leftmargini  \parindent
-\setlength\leftmarginii {1.2em}
-\setlength\leftmarginiii{1.2em}
-\setlength\leftmarginiv {1.2em}
-\setlength\leftmarginv  {1.2em}
-\setlength\leftmarginvi {1.2em}
-\renewcommand\labelenumi{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumi.}}
-\renewcommand\labelenumii{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumii.}}
-\renewcommand\labelenumiii{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiii.}}
-\renewcommand\labelenumiv{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiv.}}
-\renewcommand\labelitemi{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\ifnum\@listdepth=\@ne
-                                  \rule{0.67em}{0.33em}%
-                                \else
-                                  \rule{0.45em}{0.225em}%
-                                \fi}}
-\renewcommand\labelitemii{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\rule{0.45em}{0.225em}}}
-\renewcommand\labelitemiii{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textasteriskcentered}}
-\renewcommand\labelitemiv{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textperiodcentered}}
-\renewenvironment{description}
-               {\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@
-                        \labelwidth\z@ \itemindent-\leftmargin
-                        \let\makelabel\descriptionlabel}}
-               {\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\renewcommand*\descriptionlabel[1]{%
-  \hspace\labelsep\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}#1}}
-\renewenvironment{abstract}{%
-  \vskip\bigskipamount
-  \noindent
-  \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
-  \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
-    \large\selectfont\sffamily\bfseries\abstractname}}%
-  \vskip3\p@
-  \fontsize{9.5}{12.5}\selectfont
-  \noindent\ignorespaces}
-  {\ifx\@subjclass\@empty\else
-     \vskip\baselineskip\noindent
-     \subjclassHeading\@subjclass
-   \fi
-   \ifx\@keywords\@empty\else
-     \vskip\baselineskip\noindent
-     \keywordsHeading\@keywords
-   \fi
-   \ifx\@DOI\@empty\else
-     \vskip\baselineskip\noindent
-     \doiHeading\doi{\@DOI}%
-   \fi}
-\renewenvironment{thebibliography}[1]
-  {\if@noskipsec \leavevmode \fi
-   \par
-   \@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax
-   \@afterindenttrue
-   \@tempskipa -\@tempskipa \@afterindentfalse
-   \if@nobreak
-     \everypar{}%
-   \else
-     \addpenalty\@secpenalty\addvspace\@tempskipa
-   \fi
-   \noindent
-   \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
-   \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
-     \normalsize\sffamily\bfseries\refname}}%
-   \@xsect{1ex \@plus.2ex}%
-   \list{\@biblabel{\@arabic\c@enumiv}}%
-        {\leftmargin8.5mm
-         \labelsep\leftmargin
-         \settowidth\labelwidth{\@biblabel{#1}}%
-         \advance\labelsep-\labelwidth
-         \usecounter{enumiv}%
-         \let\p@enumiv\@empty
-         \renewcommand\theenumiv{\@arabic\c@enumiv}}%
-   \fontsize{9.5}{12.5}\selectfont
-   \sloppy
-   \clubpenalty4000
-   \@clubpenalty \clubpenalty
-   \widowpenalty4000%
-   \sfcode`\.\@m}
-  {\def\@noitemerr
-     {\@latex@warning{Empty `thebibliography' environment}}%
-   \endlist}
-\renewcommand\footnoterule{%
-  \kern-8\p@
-  {\color[rgb]{0.60,0.60,0.61}\hrule\@width40mm\@height1\p@}%
-  \kern6.6\p@}
-\renewcommand\@makefntext[1]{%
-    \parindent\z@\hangindent1em
-    \leavevmode
-    \hb@xt@1em{\@makefnmark\hss}#1}
-\usepackage[utf8]{inputenc}
-\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}
-\RequirePackage[T1]{fontenc}
-\RequirePackage{textcomp}
-\RequirePackage[mathscr]{eucal}
-\RequirePackage{amssymb}
-\RequirePackage{soul}
-\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%
-        {.4em\@plus.275em\@minus.183em}
-\RequirePackage{color}
-\definecolor{darkgray}{rgb}{0.31,0.31,0.33}
-\RequirePackage{babel}
-\RequirePackage[tbtags,fleqn]{amsmath}
-\RequirePackage{amsthm}
-\thm@headfont{%
-  \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}
-\def\th@remark{%
-  \thm@headfont{%
-    \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily}%
-  \normalfont % body font
-  \thm@preskip\topsep \divide\thm@preskip\tw@
-  \thm@postskip\thm@preskip
-}
-\def\@endtheorem{\endtrivlist}%\@endpefalse
-\renewcommand\qedsymbol{\textcolor{darkgray}{\ensuremath{\blacktriangleleft}}}
-\renewenvironment{proof}[1][\proofname]{\par
-  \pushQED{\qed}%
-  \normalfont \topsep6\p@\@plus6\p@\relax
-  \trivlist
-  \item[\hskip\labelsep
-        \color{darkgray}\sffamily\bfseries
-    #1\@addpunct{.}]\ignorespaces
-}{%
-  \popQED\endtrivlist%\@endpefalse
-}
-\theoremstyle{plain}
-\newtheorem{theorem}{Theorem}
-\newtheorem{lemma}[theorem]{Lemma}
-\newtheorem{corollary}[theorem]{Corollary}
-\theoremstyle{definition}
-\newtheorem{definition}[theorem]{Definition}
-\newtheorem{example}[theorem]{Example}
-\theoremstyle{remark}
-\newtheorem*{remark}{Remark}
-\ifx\numberwithinsect\relax
-  \@addtoreset{theorem}{section}
-  \edef\thetheorem{\expandafter\noexpand\thesection\@thmcountersep\@thmcounter{theorem}}
-\fi
-\RequirePackage{graphicx}
-\RequirePackage{array}
-\let\@classzold\@classz
-\def\@classz{%
-   \expandafter\ifx\d@llarbegin\begingroup
-     \toks \count@ =
-     \expandafter{\expandafter\small\the\toks\count@}%
-   \fi
-   \@classzold}
-\RequirePackage{multirow}
-\RequirePackage{tabularx}
-\RequirePackage[online]{threeparttable}
-\def\TPTtagStyle#1{#1)}
-\def\tablenotes{\small\TPT@defaults
-  \@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ]
-\RequirePackage{listings}
-\lstset{basicstyle=\small\ttfamily,%
-        backgroundcolor=\color[rgb]{0.85,0.85,0.86},%
-        frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}
-\RequirePackage{lastpage}
-\IfFileExists{doi.sty}
-  {\RequirePackage{doi}%
-   \renewcommand*{\doitext}{}}
-  {\RequirePackage{hyperref}%
-   \def\doi##1{##1}}
-\hypersetup{pdfborder={0 0 0}}
-\RequirePackage[labelsep=space,singlelinecheck=false,%
-  font={up,small},labelfont={sf,bf},%
-  listof=false]{caption}%"listof" instead of "list" for backward compatibility
-\@ifpackagelater{hyperref}{2009/12/09}
-  {\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot
-  {}
-\DeclareCaptionLabelFormat{boxed}{%
-  \kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}%
-  \hspace*{0.67em}\bothIfFirst{#1}{~}#2}
-\captionsetup{labelformat=boxed}
-\captionsetup[table]{position=top}
-\RequirePackage[figuresright]{rotating}
-\RequirePackage{subfig}
-\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}
-\def\authorrunning#1{%
-  \gdef\@authorrunning{\expandafter\def\expandafter\@tempa\expandafter{#1}%
-                       \ifx\@tempa\@empty\else\markright{#1}\fi}}
-\titlerunning{\@title}
-\authorrunning{\AB@authrunning}
-\newcommand*\volumeinfo[6]{%
-  {\gdef\@Editors{#1}%
-   \gdef\@Eds{Editor}\ifnum #2>1 \gdef\@Eds{Editors}\fi
-   \gdef\@Event{#3}%
-   \setcounter{page}{#6}}}
-\volumeinfo{}{1}{}{}{}{1}
-\RequirePackage{authblk}
-\renewcommand*\Authand{{ and }}
-\renewcommand*\Authfont{\Large\bfseries\mathversion{bold}}
-\renewcommand*\AB@authnote[1]{\textsuperscript{#1}}
-\renewcommand*\AB@affilnote[1]{\protect\item[#1]}
-\renewcommand*\Affilfont{\fontsize{9.5}{12}\selectfont}
-\setlength\affilsep{\baselineskip}
-\newcommand\AB@authrunning{}
-\newcommand\AB@authfortoc{}
-\renewcommand\author[2][]%
-      {\ifnewaffil\addtocounter{affil}{1}%
-       \edef\AB@thenote{\arabic{affil}}\fi
-      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
-        \setcounter{Maxaffil}{0}\fi
-      \ifnum\value{authors}>1\relax
-      \@namedef{@sep\number\c@authors}{\Authsep}\fi
-      \addtocounter{authors}{1}%
-      \begingroup
-          \let\protect\@unexpandable@protect \let\and\AB@pand
-          \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
-         \@temptokena=\expandafter{\AB@authors}%
-         {\def\\{\protect\\[\@affilsep]\protect\Affilfont
-              \protect\AB@resetsep}%
-              \xdef\AB@author{\AB@blk@and#2}%
-       \ifnewaffil\gdef\AB@las{}\gdef\AB@lasx{\protect\Authand}\gdef\AB@as{}%
-           \xdef\AB@authors{\the\@temptokena\AB@blk@and}%
-       \else
-          \xdef\AB@authors{\the\@temptokena\AB@as\AB@au@str}%
-          \global\let\AB@las\AB@lasx\gdef\AB@lasx{\protect\Authands}%
-          \gdef\AB@as{\Authsep}%
-       \fi
-       \gdef\AB@au@str{#2}}%
-         \@temptokena=\expandafter{\AB@authlist}%
-         \let\\=\authorcr
-         \xdef\AB@authlist{\the\@temptokena
-           \protect\@nameuse{@sep\number\c@authors}%
-           \protect\Authfont#2\AB@authnote{\AB@note}}%
-         %new
-         \@temptokena=\expandafter{\AB@authrunning}%
-         \let\\=\authorcr
-         \xdef\AB@authrunning{\the\@temptokena
-           \protect\@nameuse{@sep\number\c@authors}#2}%
-         %
-         %new
-         \@temptokena=\expandafter{\AB@authfortoc}%
-         \let\\=\authorcr
-         \xdef\AB@authfortoc{\the\@temptokena
-           \expandafter\noexpand\csname @sep\number\c@authors\endcsname#2}%
-         %
-      \endgroup
-      \ifnum\value{authors}>2\relax
-      \@namedef{@sep\number\c@authors}{\Authands}\fi
-      \newaffilfalse
-}
-\renewcommand\affil[2][]%
-   {\newaffiltrue\let\AB@blk@and\AB@pand
-      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
-        \setcounter{Maxaffil}{0}\fi
-      \begingroup
-        \let\protect\@unexpandable@protect
-        \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
-        \@temptokena=\expandafter{\AB@authors}%
-        {\def\\{\protect\\\protect\Affilfont}\xdef\AB@temp{#2}}%
-         \xdef\AB@authors{\the\@temptokena\AB@las\AB@au@str
-         \protect\\[\affilsep]\protect\Affilfont\AB@temp}%
-         \gdef\AB@las{}\gdef\AB@au@str{}%
-        {\xdef\AB@temp{#2}}%
-        \@temptokena=\expandafter{\AB@affillist}%
-        \xdef\AB@affillist{\the\@temptokena \AB@affilsep
-          \AB@affilnote{\AB@note}\protect\Affilfont\AB@temp}%
-      \endgroup
-       \let\AB@affilsep\AB@affilsepx}
-\renewcommand\@author{\ifx\AB@affillist\AB@empty\AB@authrunning\else
-      \ifnum\value{affil}>\value{Maxaffil}\def\rlap##1{##1}%
-    \AB@authlist\\[\affilsep]
-    \labelwidth1.5em\labelsep\z@\leftmargini\labelwidth
-    \edef\@enumctr{enumi}%
-    \list\theenumi{\usecounter\@enumctr\def\makelabel##1{\rlap{##1}\hss}}%
-      \AB@affillist
-    \endlist
-    \else  \AB@authors\fi\fi}
-\newcommand*\Copyright[1]{%
-  \def\@Copyright{%
-      \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,clip]{cc-by}}%
-      \hspace*{\wd\@tempboxa}\enskip\ifx#1\@empty \else \textcopyright\ #1;\\\fi
-      \href{http://creativecommons.org/licenses/by/3.0/}%
-           {\smash{\unhbox\@tempboxa}}\enskip
-            licensed under Creative Commons License CC-BY\\
-    }}
-\Copyright{\@empty}
-\def\keywords#1{\def\@keywords{#1}}
-\let\@keywords\@empty
-\def\keywordsHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       Keywords and phrases\enskip}}
-\def\subjclass#1{\gdef\@subjclass{#1}}
-\let\@subjclass\@empty
-\def\subjclassHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       1998 ACM Subject Classification\enskip}}
-\def\doiHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       Digital Object Identifier\enskip}}
-\def\serieslogo#1{\gdef\@serieslogo{#1}}
-\serieslogo{}
-\def\EventShortName#1{\gdef\@EventShortName{#1}}
-\EventShortName{}
-\def\DOI#1{\gdef\@DOI{#1}}
-\DOI{}
-\endinput
-%%
-%% End of file `lipics.cls'.
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/inline/test.tex b/Master/texmf-dist/doc/latex/apxproof/examples/inline/test.tex
deleted file mode 100644
index d024efc1235..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/inline/test.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\documentclass[USenglish]{lipics}
-\usepackage[appendix=inline]{../../apxproof}
-\input{../common}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/lipics/lipics.cls b/Master/texmf-dist/doc/latex/apxproof/examples/lipics/lipics.cls
deleted file mode 100644
index 6565f968562..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/lipics/lipics.cls
+++ /dev/null
@@ -1,646 +0,0 @@
-%%
-%% This is file `lipics.cls',
-%% generated with the docstrip utility.
-%%
-%% The original source files were:
-%%
-%% lipics.dtx  (with options: `class')
-%% 
-%% -----------------------------------------------------------------
-%% Author:     le-tex publishing services
-%% 
-%% This file is part of the lipics package for preparing
-%% LIPICS articles.
-%% 
-%%       Copyright (C) 2010 Schloss Dagstuhl
-%% -----------------------------------------------------------------
-\NeedsTeXFormat{LaTeX2e}[2005/12/01]
-\ProvidesClass{lipics}
-    [2010/09/27 v1.1 LIPIcs articles]
-\emergencystretch1em
-\advance\hoffset-1in
-\advance\voffset-1in
-\advance\hoffset2.95mm
-\newif\if@nobotseplist  \@nobotseplistfalse
-\def\@endparenv{%
-  \addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue}
-\def\@doendpe{%
-  \@endpetrue
-  \def\par{\@restorepar
-           \everypar{}%
-           \par
-           \if@nobotseplist
-             \addvspace\topsep
-             \addvspace\partopsep
-             \global\@nobotseplistfalse
-           \fi
-           \@endpefalse}%
-  \everypar{{\setbox\z@\lastbox}%
-            \everypar{}%
-            \if@nobotseplist\global\@nobotseplistfalse\fi
-            \@endpefalse}}
-\def\enumerate{%
-  \ifnum \@enumdepth >\thr@@\@toodeep\else
-    \advance\@enumdepth\@ne
-    \edef\@enumctr{enum\romannumeral\the\@enumdepth}%
-    \expandafter
-    \list
-      \csname label\@enumctr\endcsname
-      {\advance\partopsep\topsep
-       \topsep\z@\@plus\p@
-       \ifnum\@listdepth=\@ne
-         \labelsep0.72em
-       \else
-         \ifnum\@listdepth=\tw@
-           \labelsep0.3em
-         \else
-           \labelsep0.5em
-         \fi
-       \fi
-       \usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}%
-  \fi}
-\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\def\itemize{%
-  \ifnum \@itemdepth >\thr@@\@toodeep\else
-    \advance\@itemdepth\@ne
-    \edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%
-    \expandafter
-    \list
-      \csname\@itemitem\endcsname
-      {\advance\partopsep\topsep
-       \topsep\z@\@plus\p@
-       \ifnum\@listdepth=\@ne
-         \labelsep0.83em
-       \else
-         \ifnum\@listdepth=\tw@
-           \labelsep0.75em
-         \else
-           \labelsep0.5em
-         \fi
-      \fi
-      \def\makelabel##1{\hss\llap{##1}}}%
-  \fi}
-\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\def\@sect#1#2#3#4#5#6[#7]#8{%
-  \ifnum #2>\c@secnumdepth
-    \let\@svsec\@empty
-  \else
-    \refstepcounter{#1}%
-    \protected@edef\@svsec{\@seccntformat{#1}\relax}%
-  \fi
-  \@tempskipa #5\relax
-  \ifdim \@tempskipa>\z@
-    \begingroup
-      #6{%
-        \@hangfrom{\hskip #3\relax
-          \ifnum #2=1
-            \colorbox[rgb]{0.99,0.78,0.07}{\kern0.15em\@svsec\kern0.15em}\quad
-          \else
-            \@svsec\quad
-          \fi}%
-          \interlinepenalty \@M #8\@@par}%
-    \endgroup
-    \csname #1mark\endcsname{#7}%
-    \addcontentsline{toc}{#1}{%
-      \ifnum #2>\c@secnumdepth \else
-        \protect\numberline{\csname the#1\endcsname}%
-      \fi
-      #7}%
-  \else
-    \def\@svsechd{%
-      #6{\hskip #3\relax
-      \@svsec #8}%
-      \csname #1mark\endcsname{#7}%
-      \addcontentsline{toc}{#1}{%
-        \ifnum #2>\c@secnumdepth \else
-          \protect\numberline{\csname the#1\endcsname}%
-        \fi
-        #7}}%
-  \fi
-  \@xsect{#5}}
-\def\@seccntformat#1{\csname the#1\endcsname}
-\def\@biblabel#1{\textcolor{darkgray}{\sffamily\bfseries#1}}
-\def\copyrightline{%
-  \ifx\@serieslogo\@empty
-  \else
-    \setbox\@tempboxa\hbox{\includegraphics[height=42\p@]{\@serieslogo}}%
-    \rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%
-          \vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%
-  \fi
-  \scriptsize
-  \vtop{\hsize\textwidth
-    \nobreakspace\\
-    \@Copyright
-    \ifx\@Event\@empty\else\@Event.\\\fi
-    \ifx\@Editors\@empty\else
-      \@Eds: \@Editors
-      ; pp. \thepage--\pageref{LastPage}%
-      \\
-    \fi
-    \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}%
-    \hspace*{\wd\@tempboxa}\enskip
-    \href{http://www.dagstuhl.de/lipics/}%
-         {Leibniz International Proceedings in Informatics}\\
-    \smash{\unhbox\@tempboxa}\enskip
-    \href{http://www.dagstuhl.de}%
-         {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}}
-\def\ps@plain{\let\@mkboth\@gobbletwo
-  \let\@oddhead\@empty
-  \let\@evenhead\@empty
-  \let\@evenfoot\copyrightline
-  \let\@oddfoot\copyrightline}
-\def\lipics@opterrshort{Option  "\CurrentOption" not supported}
-\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.}
-\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}
-                        \advance\hoffset-2.95mm
-                        \advance\voffset8.8mm}
-\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}
-\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
-\ProcessOptions
-\LoadClass[twoside,notitlepage,fleqn]{article}
-\renewcommand\normalsize{%
-   \@setfontsize\normalsize\@xpt{13}%
-   \abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@
-   \abovedisplayshortskip \z@ \@plus3\p@
-   \belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@
-   \belowdisplayskip \abovedisplayskip
-   \let\@listi\@listI}
-\normalsize
-\renewcommand\small{%
-   \@setfontsize\small\@ixpt{11.5}%
-   \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
-   \abovedisplayshortskip \z@ \@plus2\p@
-   \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
-   \def\@listi{\leftmargin\leftmargini
-               \topsep 4\p@ \@plus2\p@ \@minus2\p@
-               \parsep 2\p@ \@plus\p@ \@minus\p@
-               \itemsep \parsep}%
-   \belowdisplayskip \abovedisplayskip
-}
-\renewcommand\footnotesize{%
-   \@setfontsize\footnotesize{8.5}{9.5}%
-   \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@
-   \abovedisplayshortskip \z@ \@plus\p@
-   \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@
-   \def\@listi{\leftmargin\leftmargini
-               \topsep 3\p@ \@plus\p@ \@minus\p@
-               \parsep 2\p@ \@plus\p@ \@minus\p@
-               \itemsep \parsep}%
-   \belowdisplayskip \abovedisplayskip
-}
-\renewcommand\large{\@setfontsize\large{10.5}{13}}
-\renewcommand\Large{\@setfontsize\Large{12}{14}}
-\setlength\parindent{1.5em}
-\setlength\headheight{3mm}
-\setlength\headsep   {10mm}
-\setlength\footskip{3mm}
-\setlength\textwidth{140mm}
-\setlength\textheight{222mm}
-\setlength\oddsidemargin{32mm}
-\setlength\evensidemargin{38mm}
-\setlength\marginparwidth{25mm}
-\setlength\topmargin{13mm}
-\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@}
-\def\@listi{\leftmargin\leftmargini
-            \parsep\z@ \@plus\p@
-            \topsep 8\p@ \@plus2\p@ \@minus4\p@
-            \itemsep \parsep}
-\let\@listI\@listi
-\@listi
-\def\@listii {\leftmargin\leftmarginii
-              \labelwidth\leftmarginii
-              \advance\labelwidth-\labelsep
-              \topsep    4\p@ \@plus2\p@ \@minus\p@
-              \parsep\z@ \@plus\p@
-              \itemsep   \parsep}
-\def\@listiii{\leftmargin\leftmarginiii
-              \labelwidth\leftmarginiii
-              \advance\labelwidth-\labelsep
-              \topsep    2\p@ \@plus\p@\@minus\p@
-              \parsep    \z@
-              \partopsep \p@ \@plus\z@ \@minus\p@
-              \itemsep   \z@ \@plus\p@}
-\def\ps@headings{%
-    \def\@evenhead{\large\sffamily\bfseries
-                   \llap{\hbox to0.5\oddsidemargin{\thepage\hss}}\leftmark\hfil}%
-    \def\@oddhead{\large\sffamily\bfseries\rightmark\hfil
-                  \rlap{\hbox to0.5\oddsidemargin{\hss\thepage}}}%
-    \def\@oddfoot{\hfil
-                  \rlap{%
-                    \vtop{%
-                      \vskip10mm
-                      \colorbox[rgb]{0.99,0.78,0.07}
-                                    {\@tempdima\evensidemargin
-                                     \advance\@tempdima1in
-                                     \advance\@tempdima\hoffset
-                                     \hb@xt@\@tempdima{%
-                                       \textcolor{darkgray}{\normalsize\sffamily
-                                       \bfseries\quad
-                                       \expandafter\textsolittle
-                                       \expandafter{\@EventShortName}}%
-                                     \strut\hss}}}}}
-    \let\@evenfoot\@empty
-    \let\@mkboth\markboth
-  \let\sectionmark\@gobble
-  \let\subsectionmark\@gobble}
-\pagestyle{headings}
-\renewcommand\maketitle{\par
-  \begingroup
-    \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
-    \if@twocolumn
-      \ifnum \col@number=\@ne
-        \@maketitle
-      \else
-        \twocolumn[\@maketitle]%
-      \fi
-    \else
-      \newpage
-      \global\@topnum\z@   % Prevents figures from going at top of page.
-      \@maketitle
-    \fi
-    \thispagestyle{plain}\@thanks
-  \endgroup
-  \setcounter{footnote}{0}%
-  \global\let\thanks\relax
-  \global\let\maketitle\relax
-  \global\let\@maketitle\relax
-  \global\let\@thanks\@empty
-  \global\let\@author\@empty
-  \global\let\@date\@empty
-  \global\let\@title\@empty
-  \global\let\title\relax
-  \global\let\author\relax
-  \global\let\date\relax
-  \global\let\and\relax
-}
-\newwrite\tocfile
-\def\@maketitle{%
-  \newpage
-  \null\vskip-\baselineskip
-  \vskip-\headsep
-  \@titlerunning
-  \@authorrunning
-  \let \footnote \thanks
-  \parindent\z@ \raggedright
-    {\LARGE\sffamily\bfseries\mathversion{bold}\@title \par}%
-    \vskip 1.5em%
-    \ifnum\c@authors=0 %
-      \@latexerr{No \noexpand\author given}%
-        {Provide at least one author. See the LIPIcs class documentation.}%
-    \else
-      \@author
-    \fi
-    \bgroup
-      \let\footnote\@gobble
-      \immediate\openout\tocfile=\jobname.vtc
-      \protected@write\tocfile{}{%
-        \string\contitem
-        \string\title{\@title}%
-        \string\author{\AB@authfortoc}%
-        \string\page{\thepage}}%
-      \closeout\tocfile
-    \egroup
-  \par}
-\setcounter{secnumdepth}{4}
-\renewcommand\section{\@startsection {section}{1}{\z@}%
-                                   {-3.5ex \@plus -1ex \@minus -.2ex}%
-                                   {2.3ex \@plus.2ex}%
-                                   {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
-                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
-                                     {1.5ex \@plus .2ex}%
-                                     {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
-                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
-                                     {1.5ex \@plus .2ex}%
-                                     {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
-                                    {-3.25ex \@plus-1ex \@minus-.2ex}%
-                                    {1.5ex \@plus .2ex}%
-                                    {\sffamily\large\bfseries\raggedright}}
-\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}%
-                                       {3.25ex \@plus1ex \@minus .2ex}%
-                                       {-1em}%
-                                      {\sffamily\normalsize\bfseries}}
-\setlength\leftmargini  \parindent
-\setlength\leftmarginii {1.2em}
-\setlength\leftmarginiii{1.2em}
-\setlength\leftmarginiv {1.2em}
-\setlength\leftmarginv  {1.2em}
-\setlength\leftmarginvi {1.2em}
-\renewcommand\labelenumi{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumi.}}
-\renewcommand\labelenumii{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumii.}}
-\renewcommand\labelenumiii{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiii.}}
-\renewcommand\labelenumiv{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiv.}}
-\renewcommand\labelitemi{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\ifnum\@listdepth=\@ne
-                                  \rule{0.67em}{0.33em}%
-                                \else
-                                  \rule{0.45em}{0.225em}%
-                                \fi}}
-\renewcommand\labelitemii{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\rule{0.45em}{0.225em}}}
-\renewcommand\labelitemiii{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textasteriskcentered}}
-\renewcommand\labelitemiv{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textperiodcentered}}
-\renewenvironment{description}
-               {\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@
-                        \labelwidth\z@ \itemindent-\leftmargin
-                        \let\makelabel\descriptionlabel}}
-               {\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\renewcommand*\descriptionlabel[1]{%
-  \hspace\labelsep\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}#1}}
-\renewenvironment{abstract}{%
-  \vskip\bigskipamount
-  \noindent
-  \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
-  \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
-    \large\selectfont\sffamily\bfseries\abstractname}}%
-  \vskip3\p@
-  \fontsize{9.5}{12.5}\selectfont
-  \noindent\ignorespaces}
-  {\ifx\@subjclass\@empty\else
-     \vskip\baselineskip\noindent
-     \subjclassHeading\@subjclass
-   \fi
-   \ifx\@keywords\@empty\else
-     \vskip\baselineskip\noindent
-     \keywordsHeading\@keywords
-   \fi
-   \ifx\@DOI\@empty\else
-     \vskip\baselineskip\noindent
-     \doiHeading\doi{\@DOI}%
-   \fi}
-\renewenvironment{thebibliography}[1]
-  {\if@noskipsec \leavevmode \fi
-   \par
-   \@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax
-   \@afterindenttrue
-   \@tempskipa -\@tempskipa \@afterindentfalse
-   \if@nobreak
-     \everypar{}%
-   \else
-     \addpenalty\@secpenalty\addvspace\@tempskipa
-   \fi
-   \noindent
-   \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
-   \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
-     \normalsize\sffamily\bfseries\refname}}%
-   \@xsect{1ex \@plus.2ex}%
-   \list{\@biblabel{\@arabic\c@enumiv}}%
-        {\leftmargin8.5mm
-         \labelsep\leftmargin
-         \settowidth\labelwidth{\@biblabel{#1}}%
-         \advance\labelsep-\labelwidth
-         \usecounter{enumiv}%
-         \let\p@enumiv\@empty
-         \renewcommand\theenumiv{\@arabic\c@enumiv}}%
-   \fontsize{9.5}{12.5}\selectfont
-   \sloppy
-   \clubpenalty4000
-   \@clubpenalty \clubpenalty
-   \widowpenalty4000%
-   \sfcode`\.\@m}
-  {\def\@noitemerr
-     {\@latex@warning{Empty `thebibliography' environment}}%
-   \endlist}
-\renewcommand\footnoterule{%
-  \kern-8\p@
-  {\color[rgb]{0.60,0.60,0.61}\hrule\@width40mm\@height1\p@}%
-  \kern6.6\p@}
-\renewcommand\@makefntext[1]{%
-    \parindent\z@\hangindent1em
-    \leavevmode
-    \hb@xt@1em{\@makefnmark\hss}#1}
-\usepackage[utf8]{inputenc}
-\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}
-\RequirePackage[T1]{fontenc}
-\RequirePackage{textcomp}
-\RequirePackage[mathscr]{eucal}
-\RequirePackage{amssymb}
-\RequirePackage{soul}
-\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%
-        {.4em\@plus.275em\@minus.183em}
-\RequirePackage{color}
-\definecolor{darkgray}{rgb}{0.31,0.31,0.33}
-\RequirePackage{babel}
-\RequirePackage[tbtags,fleqn]{amsmath}
-\RequirePackage{amsthm}
-\thm@headfont{%
-  \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}
-\def\th@remark{%
-  \thm@headfont{%
-    \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily}%
-  \normalfont % body font
-  \thm@preskip\topsep \divide\thm@preskip\tw@
-  \thm@postskip\thm@preskip
-}
-\def\@endtheorem{\endtrivlist}%\@endpefalse
-\renewcommand\qedsymbol{\textcolor{darkgray}{\ensuremath{\blacktriangleleft}}}
-\renewenvironment{proof}[1][\proofname]{\par
-  \pushQED{\qed}%
-  \normalfont \topsep6\p@\@plus6\p@\relax
-  \trivlist
-  \item[\hskip\labelsep
-        \color{darkgray}\sffamily\bfseries
-    #1\@addpunct{.}]\ignorespaces
-}{%
-  \popQED\endtrivlist%\@endpefalse
-}
-\theoremstyle{plain}
-\newtheorem{theorem}{Theorem}
-\newtheorem{lemma}[theorem]{Lemma}
-\newtheorem{corollary}[theorem]{Corollary}
-\theoremstyle{definition}
-\newtheorem{definition}[theorem]{Definition}
-\newtheorem{example}[theorem]{Example}
-\theoremstyle{remark}
-\newtheorem*{remark}{Remark}
-\ifx\numberwithinsect\relax
-  \@addtoreset{theorem}{section}
-  \edef\thetheorem{\expandafter\noexpand\thesection\@thmcountersep\@thmcounter{theorem}}
-\fi
-\RequirePackage{graphicx}
-\RequirePackage{array}
-\let\@classzold\@classz
-\def\@classz{%
-   \expandafter\ifx\d@llarbegin\begingroup
-     \toks \count@ =
-     \expandafter{\expandafter\small\the\toks\count@}%
-   \fi
-   \@classzold}
-\RequirePackage{multirow}
-\RequirePackage{tabularx}
-\RequirePackage[online]{threeparttable}
-\def\TPTtagStyle#1{#1)}
-\def\tablenotes{\small\TPT@defaults
-  \@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ]
-\RequirePackage{listings}
-\lstset{basicstyle=\small\ttfamily,%
-        backgroundcolor=\color[rgb]{0.85,0.85,0.86},%
-        frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}
-\RequirePackage{lastpage}
-\IfFileExists{doi.sty}
-  {\RequirePackage{doi}%
-   \renewcommand*{\doitext}{}}
-  {\RequirePackage{hyperref}%
-   \def\doi##1{##1}}
-\hypersetup{pdfborder={0 0 0}}
-\RequirePackage[labelsep=space,singlelinecheck=false,%
-  font={up,small},labelfont={sf,bf},%
-  listof=false]{caption}%"listof" instead of "list" for backward compatibility
-\@ifpackagelater{hyperref}{2009/12/09}
-  {\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot
-  {}
-\DeclareCaptionLabelFormat{boxed}{%
-  \kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}%
-  \hspace*{0.67em}\bothIfFirst{#1}{~}#2}
-\captionsetup{labelformat=boxed}
-\captionsetup[table]{position=top}
-\RequirePackage[figuresright]{rotating}
-\RequirePackage{subfig}
-\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}
-\def\authorrunning#1{%
-  \gdef\@authorrunning{\expandafter\def\expandafter\@tempa\expandafter{#1}%
-                       \ifx\@tempa\@empty\else\markright{#1}\fi}}
-\titlerunning{\@title}
-\authorrunning{\AB@authrunning}
-\newcommand*\volumeinfo[6]{%
-  {\gdef\@Editors{#1}%
-   \gdef\@Eds{Editor}\ifnum #2>1 \gdef\@Eds{Editors}\fi
-   \gdef\@Event{#3}%
-   \setcounter{page}{#6}}}
-\volumeinfo{}{1}{}{}{}{1}
-\RequirePackage{authblk}
-\renewcommand*\Authand{{ and }}
-\renewcommand*\Authfont{\Large\bfseries\mathversion{bold}}
-\renewcommand*\AB@authnote[1]{\textsuperscript{#1}}
-\renewcommand*\AB@affilnote[1]{\protect\item[#1]}
-\renewcommand*\Affilfont{\fontsize{9.5}{12}\selectfont}
-\setlength\affilsep{\baselineskip}
-\newcommand\AB@authrunning{}
-\newcommand\AB@authfortoc{}
-\renewcommand\author[2][]%
-      {\ifnewaffil\addtocounter{affil}{1}%
-       \edef\AB@thenote{\arabic{affil}}\fi
-      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
-        \setcounter{Maxaffil}{0}\fi
-      \ifnum\value{authors}>1\relax
-      \@namedef{@sep\number\c@authors}{\Authsep}\fi
-      \addtocounter{authors}{1}%
-      \begingroup
-          \let\protect\@unexpandable@protect \let\and\AB@pand
-          \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
-         \@temptokena=\expandafter{\AB@authors}%
-         {\def\\{\protect\\[\@affilsep]\protect\Affilfont
-              \protect\AB@resetsep}%
-              \xdef\AB@author{\AB@blk@and#2}%
-       \ifnewaffil\gdef\AB@las{}\gdef\AB@lasx{\protect\Authand}\gdef\AB@as{}%
-           \xdef\AB@authors{\the\@temptokena\AB@blk@and}%
-       \else
-          \xdef\AB@authors{\the\@temptokena\AB@as\AB@au@str}%
-          \global\let\AB@las\AB@lasx\gdef\AB@lasx{\protect\Authands}%
-          \gdef\AB@as{\Authsep}%
-       \fi
-       \gdef\AB@au@str{#2}}%
-         \@temptokena=\expandafter{\AB@authlist}%
-         \let\\=\authorcr
-         \xdef\AB@authlist{\the\@temptokena
-           \protect\@nameuse{@sep\number\c@authors}%
-           \protect\Authfont#2\AB@authnote{\AB@note}}%
-         %new
-         \@temptokena=\expandafter{\AB@authrunning}%
-         \let\\=\authorcr
-         \xdef\AB@authrunning{\the\@temptokena
-           \protect\@nameuse{@sep\number\c@authors}#2}%
-         %
-         %new
-         \@temptokena=\expandafter{\AB@authfortoc}%
-         \let\\=\authorcr
-         \xdef\AB@authfortoc{\the\@temptokena
-           \expandafter\noexpand\csname @sep\number\c@authors\endcsname#2}%
-         %
-      \endgroup
-      \ifnum\value{authors}>2\relax
-      \@namedef{@sep\number\c@authors}{\Authands}\fi
-      \newaffilfalse
-}
-\renewcommand\affil[2][]%
-   {\newaffiltrue\let\AB@blk@and\AB@pand
-      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
-        \setcounter{Maxaffil}{0}\fi
-      \begingroup
-        \let\protect\@unexpandable@protect
-        \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
-        \@temptokena=\expandafter{\AB@authors}%
-        {\def\\{\protect\\\protect\Affilfont}\xdef\AB@temp{#2}}%
-         \xdef\AB@authors{\the\@temptokena\AB@las\AB@au@str
-         \protect\\[\affilsep]\protect\Affilfont\AB@temp}%
-         \gdef\AB@las{}\gdef\AB@au@str{}%
-        {\xdef\AB@temp{#2}}%
-        \@temptokena=\expandafter{\AB@affillist}%
-        \xdef\AB@affillist{\the\@temptokena \AB@affilsep
-          \AB@affilnote{\AB@note}\protect\Affilfont\AB@temp}%
-      \endgroup
-       \let\AB@affilsep\AB@affilsepx}
-\renewcommand\@author{\ifx\AB@affillist\AB@empty\AB@authrunning\else
-      \ifnum\value{affil}>\value{Maxaffil}\def\rlap##1{##1}%
-    \AB@authlist\\[\affilsep]
-    \labelwidth1.5em\labelsep\z@\leftmargini\labelwidth
-    \edef\@enumctr{enumi}%
-    \list\theenumi{\usecounter\@enumctr\def\makelabel##1{\rlap{##1}\hss}}%
-      \AB@affillist
-    \endlist
-    \else  \AB@authors\fi\fi}
-\newcommand*\Copyright[1]{%
-  \def\@Copyright{%
-      \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,clip]{cc-by}}%
-      \hspace*{\wd\@tempboxa}\enskip\ifx#1\@empty \else \textcopyright\ #1;\\\fi
-      \href{http://creativecommons.org/licenses/by/3.0/}%
-           {\smash{\unhbox\@tempboxa}}\enskip
-            licensed under Creative Commons License CC-BY\\
-    }}
-\Copyright{\@empty}
-\def\keywords#1{\def\@keywords{#1}}
-\let\@keywords\@empty
-\def\keywordsHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       Keywords and phrases\enskip}}
-\def\subjclass#1{\gdef\@subjclass{#1}}
-\let\@subjclass\@empty
-\def\subjclassHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       1998 ACM Subject Classification\enskip}}
-\def\doiHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       Digital Object Identifier\enskip}}
-\def\serieslogo#1{\gdef\@serieslogo{#1}}
-\serieslogo{}
-\def\EventShortName#1{\gdef\@EventShortName{#1}}
-\EventShortName{}
-\def\DOI#1{\gdef\@DOI{#1}}
-\DOI{}
-\endinput
-%%
-%% End of file `lipics.cls'.
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/lipics/test.tex b/Master/texmf-dist/doc/latex/apxproof/examples/lipics/test.tex
deleted file mode 100644
index 60abaf6a1b2..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/lipics/test.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\documentclass[USenglish]{lipics}
-\usepackage[appendix=append]{../../apxproof}
-\input{../common}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/llncs/llncs.cls b/Master/texmf-dist/doc/latex/apxproof/examples/llncs/llncs.cls
deleted file mode 100644
index f5d4e8236b3..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/llncs/llncs.cls
+++ /dev/null
@@ -1,1208 +0,0 @@
-% LLNCS DOCUMENT CLASS -- version 2.18 (27-Sep-2013)
-% Springer Verlag LaTeX2e support for Lecture Notes in Computer Science
-%
-%%
-%% \CharacterTable
-%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
-%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
-%%   Digits        \0\1\2\3\4\5\6\7\8\9
-%%   Exclamation   \!     Double quote  \"     Hash (number) \#
-%%   Dollar        \$     Percent       \%     Ampersand     \&
-%%   Acute accent  \'     Left paren    \(     Right paren   \)
-%%   Asterisk      \*     Plus          \+     Comma         \,
-%%   Minus         \-     Point         \.     Solidus       \/
-%%   Colon         \:     Semicolon     \;     Less than     \<
-%%   Equals        \=     Greater than  \>     Question mark \?
-%%   Commercial at \@     Left bracket  \[     Backslash     \\
-%%   Right bracket \]     Circumflex    \^     Underscore    \_
-%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
-%%   Right brace   \}     Tilde         \~}
-%%
-\NeedsTeXFormat{LaTeX2e}[1995/12/01]
-\ProvidesClass{llncs}[2013/09/27 v2.18
-^^J LaTeX document class for Lecture Notes in Computer Science]
-% Options
-\let\if@envcntreset\iffalse
-\DeclareOption{envcountreset}{\let\if@envcntreset\iftrue}
-\DeclareOption{citeauthoryear}{\let\citeauthoryear=Y}
-\DeclareOption{oribibl}{\let\oribibl=Y}
-\let\if@custvec\iftrue
-\DeclareOption{orivec}{\let\if@custvec\iffalse}
-\let\if@envcntsame\iffalse
-\DeclareOption{envcountsame}{\let\if@envcntsame\iftrue}
-\let\if@envcntsect\iffalse
-\DeclareOption{envcountsect}{\let\if@envcntsect\iftrue}
-\let\if@runhead\iffalse
-\DeclareOption{runningheads}{\let\if@runhead\iftrue}
-
-\let\if@openright\iftrue
-\let\if@openbib\iffalse
-\DeclareOption{openbib}{\let\if@openbib\iftrue}
-
-% languages
-\let\switcht@@therlang\relax
-\def\ds@deutsch{\def\switcht@@therlang{\switcht@deutsch}}
-\def\ds@francais{\def\switcht@@therlang{\switcht@francais}}
-
-\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
-
-\ProcessOptions
-
-\LoadClass[twoside]{article}
-\RequirePackage{multicol} % needed for the list of participants, index
-\RequirePackage{aliascnt}
-
-\setlength{\textwidth}{12.2cm}
-\setlength{\textheight}{19.3cm}
-\renewcommand\@pnumwidth{2em}
-\renewcommand\@tocrmarg{3.5em}
-%
-\def\@dottedtocline#1#2#3#4#5{%
-  \ifnum #1>\c@tocdepth \else
-    \vskip \z@ \@plus.2\p@
-    {\leftskip #2\relax \rightskip \@tocrmarg \advance\rightskip by 0pt plus 2cm
-               \parfillskip -\rightskip \pretolerance=10000
-     \parindent #2\relax\@afterindenttrue
-     \interlinepenalty\@M
-     \leavevmode
-     \@tempdima #3\relax
-     \advance\leftskip \@tempdima \null\nobreak\hskip -\leftskip
-     {#4}\nobreak
-     \leaders\hbox{$\m@th
-        \mkern \@dotsep mu\hbox{.}\mkern \@dotsep
-        mu$}\hfill
-     \nobreak
-     \hb@xt@\@pnumwidth{\hfil\normalfont \normalcolor #5}%
-     \par}%
-  \fi}
-%
-\def\switcht@albion{%
-\def\abstractname{Abstract.}
-\def\ackname{Acknowledgement.}
-\def\andname{and}
-\def\lastandname{\unskip, and}
-\def\appendixname{Appendix}
-\def\chaptername{Chapter}
-\def\claimname{Claim}
-\def\conjecturename{Conjecture}
-\def\contentsname{Table of Contents}
-\def\corollaryname{Corollary}
-\def\definitionname{Definition}
-\def\examplename{Example}
-\def\exercisename{Exercise}
-\def\figurename{Fig.}
-\def\keywordname{{\bf Keywords:}}
-\def\indexname{Index}
-\def\lemmaname{Lemma}
-\def\contriblistname{List of Contributors}
-\def\listfigurename{List of Figures}
-\def\listtablename{List of Tables}
-\def\mailname{{\it Correspondence to\/}:}
-\def\noteaddname{Note added in proof}
-\def\notename{Note}
-\def\partname{Part}
-\def\problemname{Problem}
-\def\proofname{Proof}
-\def\propertyname{Property}
-\def\propositionname{Proposition}
-\def\questionname{Question}
-\def\remarkname{Remark}
-\def\seename{see}
-\def\solutionname{Solution}
-\def\subclassname{{\it Subject Classifications\/}:}
-\def\tablename{Table}
-\def\theoremname{Theorem}}
-\switcht@albion
-% Names of theorem like environments are already defined
-% but must be translated if another language is chosen
-%
-% French section
-\def\switcht@francais{%\typeout{On parle francais.}%
- \def\abstractname{R\'esum\'e.}%
- \def\ackname{Remerciements.}%
- \def\andname{et}%
- \def\lastandname{ et}%
- \def\appendixname{Appendice}
- \def\chaptername{Chapitre}%
- \def\claimname{Pr\'etention}%
- \def\conjecturename{Hypoth\`ese}%
- \def\contentsname{Table des mati\`eres}%
- \def\corollaryname{Corollaire}%
- \def\definitionname{D\'efinition}%
- \def\examplename{Exemple}%
- \def\exercisename{Exercice}%
- \def\figurename{Fig.}%
- \def\keywordname{{\bf Mots-cl\'e:}}
- \def\indexname{Index}
- \def\lemmaname{Lemme}%
- \def\contriblistname{Liste des contributeurs}
- \def\listfigurename{Liste des figures}%
- \def\listtablename{Liste des tables}%
- \def\mailname{{\it Correspondence to\/}:}
- \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}%
- \def\notename{Remarque}%
- \def\partname{Partie}%
- \def\problemname{Probl\`eme}%
- \def\proofname{Preuve}%
- \def\propertyname{Caract\'eristique}%
-%\def\propositionname{Proposition}%
- \def\questionname{Question}%
- \def\remarkname{Remarque}%
- \def\seename{voir}
- \def\solutionname{Solution}%
- \def\subclassname{{\it Subject Classifications\/}:}
- \def\tablename{Tableau}%
- \def\theoremname{Th\'eor\`eme}%
-}
-%
-% German section
-\def\switcht@deutsch{%\typeout{Man spricht deutsch.}%
- \def\abstractname{Zusammenfassung.}%
- \def\ackname{Danksagung.}%
- \def\andname{und}%
- \def\lastandname{ und}%
- \def\appendixname{Anhang}%
- \def\chaptername{Kapitel}%
- \def\claimname{Behauptung}%
- \def\conjecturename{Hypothese}%
- \def\contentsname{Inhaltsverzeichnis}%
- \def\corollaryname{Korollar}%
-%\def\definitionname{Definition}%
- \def\examplename{Beispiel}%
- \def\exercisename{\"Ubung}%
- \def\figurename{Abb.}%
- \def\keywordname{{\bf Schl\"usselw\"orter:}}
- \def\indexname{Index}
-%\def\lemmaname{Lemma}%
- \def\contriblistname{Mitarbeiter}
- \def\listfigurename{Abbildungsverzeichnis}%
- \def\listtablename{Tabellenverzeichnis}%
- \def\mailname{{\it Correspondence to\/}:}
- \def\noteaddname{Nachtrag}%
- \def\notename{Anmerkung}%
- \def\partname{Teil}%
-%\def\problemname{Problem}%
- \def\proofname{Beweis}%
- \def\propertyname{Eigenschaft}%
-%\def\propositionname{Proposition}%
- \def\questionname{Frage}%
- \def\remarkname{Anmerkung}%
- \def\seename{siehe}
- \def\solutionname{L\"osung}%
- \def\subclassname{{\it Subject Classifications\/}:}
- \def\tablename{Tabelle}%
-%\def\theoremname{Theorem}%
-}
-
-% Ragged bottom for the actual page
-\def\thisbottomragged{\def\@textbottom{\vskip\z@ plus.0001fil
-\global\let\@textbottom\relax}}
-
-\renewcommand\small{%
-   \@setfontsize\small\@ixpt{11}%
-   \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
-   \abovedisplayshortskip \z@ \@plus2\p@
-   \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
-   \def\@listi{\leftmargin\leftmargini
-               \parsep 0\p@ \@plus1\p@ \@minus\p@
-               \topsep 8\p@ \@plus2\p@ \@minus4\p@
-               \itemsep0\p@}%
-   \belowdisplayskip \abovedisplayskip
-}
-
-\frenchspacing
-\widowpenalty=10000
-\clubpenalty=10000
-
-\setlength\oddsidemargin   {63\p@}
-\setlength\evensidemargin  {63\p@}
-\setlength\marginparwidth  {90\p@}
-
-\setlength\headsep   {16\p@}
-
-\setlength\footnotesep{7.7\p@}
-\setlength\textfloatsep{8mm\@plus 2\p@ \@minus 4\p@}
-\setlength\intextsep   {8mm\@plus 2\p@ \@minus 2\p@}
-
-\setcounter{secnumdepth}{2}
-
-\newcounter {chapter}
-\renewcommand\thechapter      {\@arabic\c@chapter}
-
-\newif\if@mainmatter \@mainmattertrue
-\newcommand\frontmatter{\cleardoublepage
-            \@mainmatterfalse\pagenumbering{Roman}}
-\newcommand\mainmatter{\cleardoublepage
-       \@mainmattertrue\pagenumbering{arabic}}
-\newcommand\backmatter{\if@openright\cleardoublepage\else\clearpage\fi
-      \@mainmatterfalse}
-
-\renewcommand\part{\cleardoublepage
-                 \thispagestyle{empty}%
-                 \if@twocolumn
-                     \onecolumn
-                     \@tempswatrue
-                   \else
-                     \@tempswafalse
-                 \fi
-                 \null\vfil
-                 \secdef\@part\@spart}
-
-\def\@part[#1]#2{%
-    \ifnum \c@secnumdepth >-2\relax
-      \refstepcounter{part}%
-      \addcontentsline{toc}{part}{\thepart\hspace{1em}#1}%
-    \else
-      \addcontentsline{toc}{part}{#1}%
-    \fi
-    \markboth{}{}%
-    {\centering
-     \interlinepenalty \@M
-     \normalfont
-     \ifnum \c@secnumdepth >-2\relax
-       \huge\bfseries \partname~\thepart
-       \par
-       \vskip 20\p@
-     \fi
-     \Huge \bfseries #2\par}%
-    \@endpart}
-\def\@spart#1{%
-    {\centering
-     \interlinepenalty \@M
-     \normalfont
-     \Huge \bfseries #1\par}%
-    \@endpart}
-\def\@endpart{\vfil\newpage
-              \if@twoside
-                \null
-                \thispagestyle{empty}%
-                \newpage
-              \fi
-              \if@tempswa
-                \twocolumn
-              \fi}
-
-\newcommand\chapter{\clearpage
-                    \thispagestyle{empty}%
-                    \global\@topnum\z@
-                    \@afterindentfalse
-                    \secdef\@chapter\@schapter}
-\def\@chapter[#1]#2{\ifnum \c@secnumdepth >\m@ne
-                       \if@mainmatter
-                         \refstepcounter{chapter}%
-                         \typeout{\@chapapp\space\thechapter.}%
-                         \addcontentsline{toc}{chapter}%
-                                  {\protect\numberline{\thechapter}#1}%
-                       \else
-                         \addcontentsline{toc}{chapter}{#1}%
-                       \fi
-                    \else
-                      \addcontentsline{toc}{chapter}{#1}%
-                    \fi
-                    \chaptermark{#1}%
-                    \addtocontents{lof}{\protect\addvspace{10\p@}}%
-                    \addtocontents{lot}{\protect\addvspace{10\p@}}%
-                    \if@twocolumn
-                      \@topnewpage[\@makechapterhead{#2}]%
-                    \else
-                      \@makechapterhead{#2}%
-                      \@afterheading
-                    \fi}
-\def\@makechapterhead#1{%
-% \vspace*{50\p@}%
-  {\centering
-    \ifnum \c@secnumdepth >\m@ne
-      \if@mainmatter
-        \large\bfseries \@chapapp{} \thechapter
-        \par\nobreak
-        \vskip 20\p@
-      \fi
-    \fi
-    \interlinepenalty\@M
-    \Large \bfseries #1\par\nobreak
-    \vskip 40\p@
-  }}
-\def\@schapter#1{\if@twocolumn
-                   \@topnewpage[\@makeschapterhead{#1}]%
-                 \else
-                   \@makeschapterhead{#1}%
-                   \@afterheading
-                 \fi}
-\def\@makeschapterhead#1{%
-% \vspace*{50\p@}%
-  {\centering
-    \normalfont
-    \interlinepenalty\@M
-    \Large \bfseries  #1\par\nobreak
-    \vskip 40\p@
-  }}
-
-\renewcommand\section{\@startsection{section}{1}{\z@}%
-                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
-                       {12\p@ \@plus 4\p@ \@minus 4\p@}%
-                       {\normalfont\large\bfseries\boldmath
-                        \rightskip=\z@ \@plus 8em\pretolerance=10000 }}
-\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
-                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
-                       {8\p@ \@plus 4\p@ \@minus 4\p@}%
-                       {\normalfont\normalsize\bfseries\boldmath
-                        \rightskip=\z@ \@plus 8em\pretolerance=10000 }}
-\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
-                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
-                       {-0.5em \@plus -0.22em \@minus -0.1em}%
-                       {\normalfont\normalsize\bfseries\boldmath}}
-\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
-                       {-12\p@ \@plus -4\p@ \@minus -4\p@}%
-                       {-0.5em \@plus -0.22em \@minus -0.1em}%
-                       {\normalfont\normalsize\itshape}}
-\renewcommand\subparagraph[1]{\typeout{LLNCS warning: You should not use
-                  \string\subparagraph\space with this class}\vskip0.5cm
-You should not use \verb|\subparagraph| with this class.\vskip0.5cm}
-
-\DeclareMathSymbol{\Gamma}{\mathalpha}{letters}{"00}
-\DeclareMathSymbol{\Delta}{\mathalpha}{letters}{"01}
-\DeclareMathSymbol{\Theta}{\mathalpha}{letters}{"02}
-\DeclareMathSymbol{\Lambda}{\mathalpha}{letters}{"03}
-\DeclareMathSymbol{\Xi}{\mathalpha}{letters}{"04}
-\DeclareMathSymbol{\Pi}{\mathalpha}{letters}{"05}
-\DeclareMathSymbol{\Sigma}{\mathalpha}{letters}{"06}
-\DeclareMathSymbol{\Upsilon}{\mathalpha}{letters}{"07}
-\DeclareMathSymbol{\Phi}{\mathalpha}{letters}{"08}
-\DeclareMathSymbol{\Psi}{\mathalpha}{letters}{"09}
-\DeclareMathSymbol{\Omega}{\mathalpha}{letters}{"0A}
-
-\let\footnotesize\small
-
-\if@custvec
-\def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle#1$}}
-{\mbox{\boldmath$\textstyle#1$}}
-{\mbox{\boldmath$\scriptstyle#1$}}
-{\mbox{\boldmath$\scriptscriptstyle#1$}}}
-\fi
-
-\def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}}
-\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil
-\penalty50\hskip1em\null\nobreak\hfil\squareforqed
-\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
-
-\def\getsto{\mathrel{\mathchoice {\vcenter{\offinterlineskip
-\halign{\hfil
-$\displaystyle##$\hfil\cr\gets\cr\to\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr\gets
-\cr\to\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr\gets
-\cr\to\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
-\gets\cr\to\cr}}}}}
-\def\lid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
-$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.2pt}=\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
-\noalign{\vskip1.2pt}=\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
-\noalign{\vskip1pt}=\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
-<\cr
-\noalign{\vskip0.9pt}=\cr}}}}}
-\def\gid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
-$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.2pt}=\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
-\noalign{\vskip1.2pt}=\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
-\noalign{\vskip1pt}=\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
->\cr
-\noalign{\vskip0.9pt}=\cr}}}}}
-\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip
-\halign{\hfil
-$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1pt}<\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
->\cr\noalign{\vskip-1pt}<\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
->\cr\noalign{\vskip-0.8pt}<\cr}}}
-{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
->\cr\noalign{\vskip-0.3pt}<\cr}}}}}
-\def\bbbr{{\rm I\!R}} %reelle Zahlen
-\def\bbbm{{\rm I\!M}}
-\def\bbbn{{\rm I\!N}} %natuerliche Zahlen
-\def\bbbf{{\rm I\!F}}
-\def\bbbh{{\rm I\!H}}
-\def\bbbk{{\rm I\!K}}
-\def\bbbp{{\rm I\!P}}
-\def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}
-{\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}
-\def\bbbc{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}\hbox{\hbox
-to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
-{\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox
-to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox
-to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox
-to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}}
-\def\bbbq{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
-Q$}\hbox{\raise
-0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
-{\setbox0=\hbox{$\textstyle\rm Q$}\hbox{\raise
-0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptstyle\rm Q$}\hbox{\raise
-0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptscriptstyle\rm Q$}\hbox{\raise
-0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}}}
-\def\bbbt{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
-T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
-{\setbox0=\hbox{$\textstyle\rm T$}\hbox{\hbox
-to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptstyle\rm T$}\hbox{\hbox
-to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptscriptstyle\rm T$}\hbox{\hbox
-to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}}}
-\def\bbbs{{\mathchoice
-{\setbox0=\hbox{$\displaystyle     \rm S$}\hbox{\raise0.5\ht0\hbox
-to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
-to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
-{\setbox0=\hbox{$\textstyle        \rm S$}\hbox{\raise0.5\ht0\hbox
-to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
-to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptstyle      \rm S$}\hbox{\raise0.5\ht0\hbox
-to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
-to0pt{\kern0.5\wd0\vrule height0.45\ht0\hss}\box0}}
-{\setbox0=\hbox{$\scriptscriptstyle\rm S$}\hbox{\raise0.5\ht0\hbox
-to0pt{\kern0.4\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
-to0pt{\kern0.55\wd0\vrule height0.45\ht0\hss}\box0}}}}
-\def\bbbz{{\mathchoice {\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}
-{\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}
-{\hbox{$\mathsf\scriptstyle Z\kern-0.3em Z$}}
-{\hbox{$\mathsf\scriptscriptstyle Z\kern-0.2em Z$}}}}
-
-\let\ts\,
-
-\setlength\leftmargini  {17\p@}
-\setlength\leftmargin    {\leftmargini}
-\setlength\leftmarginii  {\leftmargini}
-\setlength\leftmarginiii {\leftmargini}
-\setlength\leftmarginiv  {\leftmargini}
-\setlength  \labelsep  {.5em}
-\setlength  \labelwidth{\leftmargini}
-\addtolength\labelwidth{-\labelsep}
-
-\def\@listI{\leftmargin\leftmargini
-            \parsep 0\p@ \@plus1\p@ \@minus\p@
-            \topsep 8\p@ \@plus2\p@ \@minus4\p@
-            \itemsep0\p@}
-\let\@listi\@listI
-\@listi
-\def\@listii {\leftmargin\leftmarginii
-              \labelwidth\leftmarginii
-              \advance\labelwidth-\labelsep
-              \topsep    0\p@ \@plus2\p@ \@minus\p@}
-\def\@listiii{\leftmargin\leftmarginiii
-              \labelwidth\leftmarginiii
-              \advance\labelwidth-\labelsep
-              \topsep    0\p@ \@plus\p@\@minus\p@
-              \parsep    \z@
-              \partopsep \p@ \@plus\z@ \@minus\p@}
-
-\renewcommand\labelitemi{\normalfont\bfseries --}
-\renewcommand\labelitemii{$\m@th\bullet$}
-
-\setlength\arraycolsep{1.4\p@}
-\setlength\tabcolsep{1.4\p@}
-
-\def\tableofcontents{\chapter*{\contentsname\@mkboth{{\contentsname}}%
-                                                    {{\contentsname}}}
- \def\authcount##1{\setcounter{auco}{##1}\setcounter{@auth}{1}}
- \def\lastand{\ifnum\value{auco}=2\relax
-                 \unskip{} \andname\
-              \else
-                 \unskip \lastandname\
-              \fi}%
- \def\and{\stepcounter{@auth}\relax
-          \ifnum\value{@auth}=\value{auco}%
-             \lastand
-          \else
-             \unskip,
-          \fi}%
- \@starttoc{toc}\if@restonecol\twocolumn\fi}
-
-\def\l@part#1#2{\addpenalty{\@secpenalty}%
-   \addvspace{2em plus\p@}%  % space above part line
-   \begingroup
-     \parindent \z@
-     \rightskip \z@ plus 5em
-     \hrule\vskip5pt
-     \large               % same size as for a contribution heading
-     \bfseries\boldmath   % set line in boldface
-     \leavevmode          % TeX command to enter horizontal mode.
-     #1\par
-     \vskip5pt
-     \hrule
-     \vskip1pt
-     \nobreak             % Never break after part entry
-   \endgroup}
-
-\def\@dotsep{2}
-
-\let\phantomsection=\relax
-
-\def\hyperhrefextend{\ifx\hyper@anchor\@undefined\else
-{}\fi}
-
-\def\addnumcontentsmark#1#2#3{%
-\addtocontents{#1}{\protect\contentsline{#2}{\protect\numberline
-                     {\thechapter}#3}{\thepage}\hyperhrefextend}}%
-\def\addcontentsmark#1#2#3{%
-\addtocontents{#1}{\protect\contentsline{#2}{#3}{\thepage}\hyperhrefextend}}%
-\def\addcontentsmarkwop#1#2#3{%
-\addtocontents{#1}{\protect\contentsline{#2}{#3}{0}\hyperhrefextend}}%
-
-\def\@adcmk[#1]{\ifcase #1 \or
-\def\@gtempa{\addnumcontentsmark}%
-  \or    \def\@gtempa{\addcontentsmark}%
-  \or    \def\@gtempa{\addcontentsmarkwop}%
-  \fi\@gtempa{toc}{chapter}%
-}
-\def\addtocmark{%
-\phantomsection
-\@ifnextchar[{\@adcmk}{\@adcmk[3]}%
-}
-
-\def\l@chapter#1#2{\addpenalty{-\@highpenalty}
- \vskip 1.0em plus 1pt \@tempdima 1.5em \begingroup
- \parindent \z@ \rightskip \@tocrmarg
- \advance\rightskip by 0pt plus 2cm
- \parfillskip -\rightskip \pretolerance=10000
- \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
- {\large\bfseries\boldmath#1}\ifx0#2\hfil\null
- \else
-      \nobreak
-      \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
-      \@dotsep mu$}\hfill
-      \nobreak\hbox to\@pnumwidth{\hss #2}%
- \fi\par
- \penalty\@highpenalty \endgroup}
-
-\def\l@title#1#2{\addpenalty{-\@highpenalty}
- \addvspace{8pt plus 1pt}
- \@tempdima \z@
- \begingroup
- \parindent \z@ \rightskip \@tocrmarg
- \advance\rightskip by 0pt plus 2cm
- \parfillskip -\rightskip \pretolerance=10000
- \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
- #1\nobreak
- \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
- \@dotsep mu$}\hfill
- \nobreak\hbox to\@pnumwidth{\hss #2}\par
- \penalty\@highpenalty \endgroup}
-
-\def\l@author#1#2{\addpenalty{\@highpenalty}
- \@tempdima=15\p@ %\z@
- \begingroup
- \parindent \z@ \rightskip \@tocrmarg
- \advance\rightskip by 0pt plus 2cm
- \pretolerance=10000
- \leavevmode \advance\leftskip\@tempdima %\hskip -\leftskip
- \textit{#1}\par
- \penalty\@highpenalty \endgroup}
-
-\setcounter{tocdepth}{0}
-\newdimen\tocchpnum
-\newdimen\tocsecnum
-\newdimen\tocsectotal
-\newdimen\tocsubsecnum
-\newdimen\tocsubsectotal
-\newdimen\tocsubsubsecnum
-\newdimen\tocsubsubsectotal
-\newdimen\tocparanum
-\newdimen\tocparatotal
-\newdimen\tocsubparanum
-\tocchpnum=\z@            % no chapter numbers
-\tocsecnum=15\p@          % section 88. plus 2.222pt
-\tocsubsecnum=23\p@       % subsection 88.8 plus 2.222pt
-\tocsubsubsecnum=27\p@    % subsubsection 88.8.8 plus 1.444pt
-\tocparanum=35\p@         % paragraph 88.8.8.8 plus 1.666pt
-\tocsubparanum=43\p@      % subparagraph 88.8.8.8.8 plus 1.888pt
-\def\calctocindent{%
-\tocsectotal=\tocchpnum
-\advance\tocsectotal by\tocsecnum
-\tocsubsectotal=\tocsectotal
-\advance\tocsubsectotal by\tocsubsecnum
-\tocsubsubsectotal=\tocsubsectotal
-\advance\tocsubsubsectotal by\tocsubsubsecnum
-\tocparatotal=\tocsubsubsectotal
-\advance\tocparatotal by\tocparanum}
-\calctocindent
-
-\def\l@section{\@dottedtocline{1}{\tocchpnum}{\tocsecnum}}
-\def\l@subsection{\@dottedtocline{2}{\tocsectotal}{\tocsubsecnum}}
-\def\l@subsubsection{\@dottedtocline{3}{\tocsubsectotal}{\tocsubsubsecnum}}
-\def\l@paragraph{\@dottedtocline{4}{\tocsubsubsectotal}{\tocparanum}}
-\def\l@subparagraph{\@dottedtocline{5}{\tocparatotal}{\tocsubparanum}}
-
-\def\listoffigures{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
- \fi\section*{\listfigurename\@mkboth{{\listfigurename}}{{\listfigurename}}}
- \@starttoc{lof}\if@restonecol\twocolumn\fi}
-\def\l@figure{\@dottedtocline{1}{0em}{1.5em}}
-
-\def\listoftables{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
- \fi\section*{\listtablename\@mkboth{{\listtablename}}{{\listtablename}}}
- \@starttoc{lot}\if@restonecol\twocolumn\fi}
-\let\l@table\l@figure
-
-\renewcommand\listoffigures{%
-    \section*{\listfigurename
-      \@mkboth{\listfigurename}{\listfigurename}}%
-    \@starttoc{lof}%
-    }
-
-\renewcommand\listoftables{%
-    \section*{\listtablename
-      \@mkboth{\listtablename}{\listtablename}}%
-    \@starttoc{lot}%
-    }
-
-\ifx\oribibl\undefined
-\ifx\citeauthoryear\undefined
-\renewenvironment{thebibliography}[1]
-     {\section*{\refname}
-      \def\@biblabel##1{##1.}
-      \small
-      \list{\@biblabel{\@arabic\c@enumiv}}%
-           {\settowidth\labelwidth{\@biblabel{#1}}%
-            \leftmargin\labelwidth
-            \advance\leftmargin\labelsep
-            \if@openbib
-              \advance\leftmargin\bibindent
-              \itemindent -\bibindent
-              \listparindent \itemindent
-              \parsep \z@
-            \fi
-            \usecounter{enumiv}%
-            \let\p@enumiv\@empty
-            \renewcommand\theenumiv{\@arabic\c@enumiv}}%
-      \if@openbib
-        \renewcommand\newblock{\par}%
-      \else
-        \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%
-      \fi
-      \sloppy\clubpenalty4000\widowpenalty4000%
-      \sfcode`\.=\@m}
-     {\def\@noitemerr
-       {\@latex@warning{Empty `thebibliography' environment}}%
-      \endlist}
-\def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw
-     {\let\protect\noexpand\immediate
-     \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}
-\newcount\@tempcntc
-\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi
-  \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do
-    {\@ifundefined
-       {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bfseries
-        ?}\@warning
-       {Citation `\@citeb' on page \thepage \space undefined}}%
-    {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%
-     \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne
-       \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%
-     \else
-      \advance\@tempcntb\@ne
-      \ifnum\@tempcntb=\@tempcntc
-      \else\advance\@tempcntb\m@ne\@citeo
-      \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}
-\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else
-               \@citea\def\@citea{,\,\hskip\z@skip}%
-               \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else
-               {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else
-                \def\@citea{--}\fi
-      \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}
-\else
-\renewenvironment{thebibliography}[1]
-     {\section*{\refname}
-      \small
-      \list{}%
-           {\settowidth\labelwidth{}%
-            \leftmargin\parindent
-            \itemindent=-\parindent
-            \labelsep=\z@
-            \if@openbib
-              \advance\leftmargin\bibindent
-              \itemindent -\bibindent
-              \listparindent \itemindent
-              \parsep \z@
-            \fi
-            \usecounter{enumiv}%
-            \let\p@enumiv\@empty
-            \renewcommand\theenumiv{}}%
-      \if@openbib
-        \renewcommand\newblock{\par}%
-      \else
-        \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%
-      \fi
-      \sloppy\clubpenalty4000\widowpenalty4000%
-      \sfcode`\.=\@m}
-     {\def\@noitemerr
-       {\@latex@warning{Empty `thebibliography' environment}}%
-      \endlist}
-      \def\@cite#1{#1}%
-      \def\@lbibitem[#1]#2{\item[]\if@filesw
-        {\def\protect##1{\string ##1\space}\immediate
-      \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}
-   \fi
-\else
-\@cons\@openbib@code{\noexpand\small}
-\fi
-
-\def\idxquad{\hskip 10\p@}% space that divides entry from number
-
-\def\@idxitem{\par\hangindent 10\p@}
-
-\def\subitem{\par\setbox0=\hbox{--\enspace}% second order
-                \noindent\hangindent\wd0\box0}% index entry
-
-\def\subsubitem{\par\setbox0=\hbox{--\,--\enspace}% third
-                \noindent\hangindent\wd0\box0}% order index entry
-
-\def\indexspace{\par \vskip 10\p@ plus5\p@ minus3\p@\relax}
-
-\renewenvironment{theindex}
-               {\@mkboth{\indexname}{\indexname}%
-                \thispagestyle{empty}\parindent\z@
-                \parskip\z@ \@plus .3\p@\relax
-                \let\item\par
-                \def\,{\relax\ifmmode\mskip\thinmuskip
-                             \else\hskip0.2em\ignorespaces\fi}%
-                \normalfont\small
-                \begin{multicols}{2}[\@makeschapterhead{\indexname}]%
-                }
-                {\end{multicols}}
-
-\renewcommand\footnoterule{%
-  \kern-3\p@
-  \hrule\@width 2truecm
-  \kern2.6\p@}
-  \newdimen\fnindent
-  \fnindent1em
-\long\def\@makefntext#1{%
-    \parindent \fnindent%
-    \leftskip \fnindent%
-    \noindent
-    \llap{\hb@xt@1em{\hss\@makefnmark\ }}\ignorespaces#1}
-
-\long\def\@makecaption#1#2{%
-  \small
-  \vskip\abovecaptionskip
-  \sbox\@tempboxa{{\bfseries #1.} #2}%
-  \ifdim \wd\@tempboxa >\hsize
-    {\bfseries #1.} #2\par
-  \else
-    \global \@minipagefalse
-    \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
-  \fi
-  \vskip\belowcaptionskip}
-
-\def\fps@figure{htbp}
-\def\fnum@figure{\figurename\thinspace\thefigure}
-\def \@floatboxreset {%
-        \reset@font
-        \small
-        \@setnobreak
-        \@setminipage
-}
-\def\fps@table{htbp}
-\def\fnum@table{\tablename~\thetable}
-\renewenvironment{table}
-               {\setlength\abovecaptionskip{0\p@}%
-                \setlength\belowcaptionskip{10\p@}%
-                \@float{table}}
-               {\end@float}
-\renewenvironment{table*}
-               {\setlength\abovecaptionskip{0\p@}%
-                \setlength\belowcaptionskip{10\p@}%
-                \@dblfloat{table}}
-               {\end@dblfloat}
-
-\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname
-  ext@#1\endcsname}{#1}{\protect\numberline{\csname
-  the#1\endcsname}{\ignorespaces #2}}\begingroup
-    \@parboxrestore
-    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
-  \endgroup}
-
-% LaTeX does not provide a command to enter the authors institute
-% addresses. The \institute command is defined here.
-
-\newcounter{@inst}
-\newcounter{@auth}
-\newcounter{auco}
-\newdimen\instindent
-\newbox\authrun
-\newtoks\authorrunning
-\newtoks\tocauthor
-\newbox\titrun
-\newtoks\titlerunning
-\newtoks\toctitle
-
-\def\clearheadinfo{\gdef\@author{No Author Given}%
-                   \gdef\@title{No Title Given}%
-                   \gdef\@subtitle{}%
-                   \gdef\@institute{No Institute Given}%
-                   \gdef\@thanks{}%
-                   \global\titlerunning={}\global\authorrunning={}%
-                   \global\toctitle={}\global\tocauthor={}}
-
-\def\institute#1{\gdef\@institute{#1}}
-
-\def\institutename{\par
- \begingroup
- \parskip=\z@
- \parindent=\z@
- \setcounter{@inst}{1}%
- \def\and{\par\stepcounter{@inst}%
- \noindent$^{\the@inst}$\enspace\ignorespaces}%
- \setbox0=\vbox{\def\thanks##1{}\@institute}%
- \ifnum\c@@inst=1\relax
-   \gdef\fnnstart{0}%
- \else
-   \xdef\fnnstart{\c@@inst}%
-   \setcounter{@inst}{1}%
-   \noindent$^{\the@inst}$\enspace
- \fi
- \ignorespaces
- \@institute\par
- \endgroup}
-
-\def\@fnsymbol#1{\ensuremath{\ifcase#1\or\star\or{\star\star}\or
-   {\star\star\star}\or \dagger\or \ddagger\or
-   \mathchar "278\or \mathchar "27B\or \|\or **\or \dagger\dagger
-   \or \ddagger\ddagger \else\@ctrerr\fi}}
-
-\def\inst#1{\unskip$^{#1}$}
-\def\fnmsep{\unskip$^,$}
-\def\email#1{{\tt#1}}
-\AtBeginDocument{\@ifundefined{url}{\def\url#1{#1}}{}%
-\@ifpackageloaded{babel}{%
-\@ifundefined{extrasenglish}{}{\addto\extrasenglish{\switcht@albion}}%
-\@ifundefined{extrasfrenchb}{}{\addto\extrasfrenchb{\switcht@francais}}%
-\@ifundefined{extrasgerman}{}{\addto\extrasgerman{\switcht@deutsch}}%
-\@ifundefined{extrasngerman}{}{\addto\extrasngerman{\switcht@deutsch}}%
-}{\switcht@@therlang}%
-\providecommand{\keywords}[1]{\par\addvspace\baselineskip
-\noindent\keywordname\enspace\ignorespaces#1}%
-}
-\def\homedir{\~{ }}
-
-\def\subtitle#1{\gdef\@subtitle{#1}}
-\clearheadinfo
-%
-%%% to avoid hyperref warnings
-\providecommand*{\toclevel@author}{999}
-%%% to make title-entry parent of section-entries
-\providecommand*{\toclevel@title}{0}
-%
-\renewcommand\maketitle{\newpage
-\phantomsection
-  \refstepcounter{chapter}%
-  \stepcounter{section}%
-  \setcounter{section}{0}%
-  \setcounter{subsection}{0}%
-  \setcounter{figure}{0}
-  \setcounter{table}{0}
-  \setcounter{equation}{0}
-  \setcounter{footnote}{0}%
-  \begingroup
-    \parindent=\z@
-    \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
-    \if@twocolumn
-      \ifnum \col@number=\@ne
-        \@maketitle
-      \else
-        \twocolumn[\@maketitle]%
-      \fi
-    \else
-      \newpage
-      \global\@topnum\z@   % Prevents figures from going at top of page.
-      \@maketitle
-    \fi
-    \thispagestyle{empty}\@thanks
-%
-    \def\\{\unskip\ \ignorespaces}\def\inst##1{\unskip{}}%
-    \def\thanks##1{\unskip{}}\def\fnmsep{\unskip}%
-    \instindent=\hsize
-    \advance\instindent by-\headlineindent
-    \if!\the\toctitle!\addcontentsline{toc}{title}{\@title}\else
-       \addcontentsline{toc}{title}{\the\toctitle}\fi
-    \if@runhead
-       \if!\the\titlerunning!\else
-         \edef\@title{\the\titlerunning}%
-       \fi
-       \global\setbox\titrun=\hbox{\small\rm\unboldmath\ignorespaces\@title}%
-       \ifdim\wd\titrun>\instindent
-          \typeout{Title too long for running head. Please supply}%
-          \typeout{a shorter form with \string\titlerunning\space prior to
-                   \string\maketitle}%
-          \global\setbox\titrun=\hbox{\small\rm
-          Title Suppressed Due to Excessive Length}%
-       \fi
-       \xdef\@title{\copy\titrun}%
-    \fi
-%
-    \if!\the\tocauthor!\relax
-      {\def\and{\noexpand\protect\noexpand\and}%
-      \protected@xdef\toc@uthor{\@author}}%
-    \else
-      \def\\{\noexpand\protect\noexpand\newline}%
-      \protected@xdef\scratch{\the\tocauthor}%
-      \protected@xdef\toc@uthor{\scratch}%
-    \fi
-    \addtocontents{toc}{\noexpand\protect\noexpand\authcount{\the\c@auco}}%
-    \addcontentsline{toc}{author}{\toc@uthor}%
-    \if@runhead
-       \if!\the\authorrunning!
-         \value{@inst}=\value{@auth}%
-         \setcounter{@auth}{1}%
-       \else
-         \edef\@author{\the\authorrunning}%
-       \fi
-       \global\setbox\authrun=\hbox{\small\unboldmath\@author\unskip}%
-       \ifdim\wd\authrun>\instindent
-          \typeout{Names of authors too long for running head. Please supply}%
-          \typeout{a shorter form with \string\authorrunning\space prior to
-                   \string\maketitle}%
-          \global\setbox\authrun=\hbox{\small\rm
-          Authors Suppressed Due to Excessive Length}%
-       \fi
-       \xdef\@author{\copy\authrun}%
-       \markboth{\@author}{\@title}%
-     \fi
-  \endgroup
-  \setcounter{footnote}{\fnnstart}%
-  \clearheadinfo}
-%
-\def\@maketitle{\newpage
- \markboth{}{}%
- \def\lastand{\ifnum\value{@inst}=2\relax
-                 \unskip{} \andname\
-              \else
-                 \unskip \lastandname\
-              \fi}%
- \def\and{\stepcounter{@auth}\relax
-          \ifnum\value{@auth}=\value{@inst}%
-             \lastand
-          \else
-             \unskip,
-          \fi}%
- \begin{center}%
- \let\newline\\
- {\Large \bfseries\boldmath
-  \pretolerance=10000
-  \@title \par}\vskip .8cm
-\if!\@subtitle!\else {\large \bfseries\boldmath
-  \vskip -.65cm
-  \pretolerance=10000
-  \@subtitle \par}\vskip .8cm\fi
- \setbox0=\vbox{\setcounter{@auth}{1}\def\and{\stepcounter{@auth}}%
- \def\thanks##1{}\@author}%
- \global\value{@inst}=\value{@auth}%
- \global\value{auco}=\value{@auth}%
- \setcounter{@auth}{1}%
-{\lineskip .5em
-\noindent\ignorespaces
-\@author\vskip.35cm}
- {\small\institutename}
- \end{center}%
- }
-
-% definition of the "\spnewtheorem" command.
-%
-% Usage:
-%
-%     \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font}
-% or  \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font}
-% or  \spnewtheorem*{env_nam}{caption}{cap_font}{body_font}
-%
-% New is "cap_font" and "body_font". It stands for
-% fontdefinition of the caption and the text itself.
-%
-% "\spnewtheorem*" gives a theorem without number.
-%
-% A defined spnewthoerem environment is used as described
-% by Lamport.
-%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\def\@thmcountersep{}
-\def\@thmcounterend{.}
-
-\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}}
-
-% definition of \spnewtheorem with number
-
-\def\@spnthm#1#2{%
-  \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}}
-\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}}
-
-\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname
-   {\@definecounter{#1}\@addtoreset{#1}{#3}%
-   \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand
-     \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}%
-   \expandafter\xdef\csname #1name\endcsname{#2}%
-   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%
-                              \global\@namedef{end#1}{\@endtheorem}}}
-
-\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
-   {\@definecounter{#1}%
-   \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
-   \expandafter\xdef\csname #1name\endcsname{#2}%
-   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}%
-                               \global\@namedef{end#1}{\@endtheorem}}}
-
-\def\@spothm#1[#2]#3#4#5{%
-  \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}%
-  {\expandafter\@ifdefinable\csname #1\endcsname
-  {\newaliascnt{#1}{#2}%
-  \expandafter\xdef\csname #1name\endcsname{#3}%
-  \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%
-  \global\@namedef{end#1}{\@endtheorem}}}}
-
-\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@
-\refstepcounter{#1}%
-\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}}
-
-\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}%
-                    \ignorespaces}
-
-\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname
-       the#1\endcsname}{#5}{#3}{#4}\ignorespaces}
-
-\def\@spbegintheorem#1#2#3#4{\trivlist
-                 \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4}
-
-\def\@spopargbegintheorem#1#2#3#4#5{\trivlist
-      \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5}
-
-% definition of \spnewtheorem* without number
-
-\def\@sthm#1#2{\@Ynthm{#1}{#2}}
-
-\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
-   {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}%
-    \expandafter\xdef\csname #1name\endcsname{#2}%
-    \global\@namedef{end#1}{\@endtheorem}}}
-
-\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@
-\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}}
-
-\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces}
-
-\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1}
-       {#4}{#2}{#3}\ignorespaces}
-
-\def\@Begintheorem#1#2#3{#3\trivlist
-                           \item[\hskip\labelsep{#2#1\@thmcounterend}]}
-
-\def\@Opargbegintheorem#1#2#3#4{#4\trivlist
-      \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }}
-
-\if@envcntsect
-   \def\@thmcountersep{.}
-   \spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape}
-\else
-   \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape}
-   \if@envcntreset
-      \@addtoreset{theorem}{section}
-   \else
-      \@addtoreset{theorem}{chapter}
-   \fi
-\fi
-
-%definition of divers theorem environments
-\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}
-\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}
-\if@envcntsame % alle Umgebungen wie Theorem.
-   \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}}
-\else % alle Umgebungen mit eigenem Zaehler
-   \if@envcntsect % mit section numeriert
-      \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[section]{#3}{#4}}
-   \else % nicht mit section numeriert
-      \if@envcntreset
-         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
-                                   \@addtoreset{#1}{section}}
-      \else
-         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
-                                   \@addtoreset{#1}{chapter}}%
-      \fi
-   \fi
-\fi
-\spn@wtheorem{case}{Case}{\itshape}{\rmfamily}
-\spn@wtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily}
-\spn@wtheorem{corollary}{Corollary}{\bfseries}{\itshape}
-\spn@wtheorem{definition}{Definition}{\bfseries}{\itshape}
-\spn@wtheorem{example}{Example}{\itshape}{\rmfamily}
-\spn@wtheorem{exercise}{Exercise}{\itshape}{\rmfamily}
-\spn@wtheorem{lemma}{Lemma}{\bfseries}{\itshape}
-\spn@wtheorem{note}{Note}{\itshape}{\rmfamily}
-\spn@wtheorem{problem}{Problem}{\itshape}{\rmfamily}
-\spn@wtheorem{property}{Property}{\itshape}{\rmfamily}
-\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape}
-\spn@wtheorem{question}{Question}{\itshape}{\rmfamily}
-\spn@wtheorem{solution}{Solution}{\itshape}{\rmfamily}
-\spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily}
-
-\def\@takefromreset#1#2{%
-    \def\@tempa{#1}%
-    \let\@tempd\@elt
-    \def\@elt##1{%
-        \def\@tempb{##1}%
-        \ifx\@tempa\@tempb\else
-            \@addtoreset{##1}{#2}%
-        \fi}%
-    \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
-    \expandafter\def\csname cl@#2\endcsname{}%
-    \@tempc
-    \let\@elt\@tempd}
-
-\def\theopargself{\def\@spopargbegintheorem##1##2##3##4##5{\trivlist
-      \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5}
-                  \def\@Opargbegintheorem##1##2##3##4{##4\trivlist
-      \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }}
-      }
-
-\renewenvironment{abstract}{%
-      \list{}{\advance\topsep by0.35cm\relax\small
-      \leftmargin=1cm
-      \labelwidth=\z@
-      \listparindent=\z@
-      \itemindent\listparindent
-      \rightmargin\leftmargin}\item[\hskip\labelsep
-                                    \bfseries\abstractname]}
-    {\endlist}
-
-\newdimen\headlineindent             % dimension for space between
-\headlineindent=1.166cm              % number and text of headings.
-
-\def\ps@headings{\let\@mkboth\@gobbletwo
-   \let\@oddfoot\@empty\let\@evenfoot\@empty
-   \def\@evenhead{\normalfont\small\rlap{\thepage}\hspace{\headlineindent}%
-                  \leftmark\hfil}
-   \def\@oddhead{\normalfont\small\hfil\rightmark\hspace{\headlineindent}%
-                 \llap{\thepage}}
-   \def\chaptermark##1{}%
-   \def\sectionmark##1{}%
-   \def\subsectionmark##1{}}
-
-\def\ps@titlepage{\let\@mkboth\@gobbletwo
-   \let\@oddfoot\@empty\let\@evenfoot\@empty
-   \def\@evenhead{\normalfont\small\rlap{\thepage}\hspace{\headlineindent}%
-                  \hfil}
-   \def\@oddhead{\normalfont\small\hfil\hspace{\headlineindent}%
-                 \llap{\thepage}}
-   \def\chaptermark##1{}%
-   \def\sectionmark##1{}%
-   \def\subsectionmark##1{}}
-
-\if@runhead\ps@headings\else
-\ps@empty\fi
-
-\setlength\arraycolsep{1.4\p@}
-\setlength\tabcolsep{1.4\p@}
-
-\endinput
-%end of file llncs.cls
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/llncs/test.tex b/Master/texmf-dist/doc/latex/apxproof/examples/llncs/test.tex
deleted file mode 100644
index 887b95c13ff..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/llncs/test.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\documentclass{llncs}
-\usepackage{../../apxproof}
-\input{../common}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/scrartcl/test.tex b/Master/texmf-dist/doc/latex/apxproof/examples/scrartcl/test.tex
deleted file mode 100644
index dfe380ccd60..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/scrartcl/test.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\documentclass{scrartcl}
-\usepackage{../../apxproof}
-\input{../common}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/sig-alternate/sig-alternate.cls b/Master/texmf-dist/doc/latex/apxproof/examples/sig-alternate/sig-alternate.cls
deleted file mode 100644
index a3f68d9f2cf..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/sig-alternate/sig-alternate.cls
+++ /dev/null
@@ -1,1649 +0,0 @@
-% SIG-ALTERNATE.CLS - VERSION 2.5
-% "COMPATIBLE" WITH THE "ACM_PROC_ARTICLE-SP.CLS" V3.2SP
-% Gerald Murray - May 23rd 2012
-%
-% ---- Start of 'updates'  ----
-% Changed $10 fee to $15 -- May 2012  --  Gerry
-% Changed $5 fee to $10 --  April 2009 -- Gerry
-% April 22nd. 2009 - Fixed 'Natbib' incompatibility problem - Gerry
-% April 22nd. 2009 - Fixed 'Babel' incompatibility problem - Gerry
-% April 22nd. 2009 - Inserted various bug-fixes and improvements - Gerry
-%
-% To produce Type 1 fonts in the document plus allow for 'normal LaTeX accenting' in the critical areas;
-% title, author block, section-heads, confname, etc. etc. 
-% i.e. the whole purpose of this version update is to NOT resort to 'inelegant accent patches'.
-% After much research, three extra .sty packages were added to the the tail (ae, aecompl, aeguill) to solve,
-% in particular, the accenting problem(s). We _could_ ask authors (via instructions/sample file) to 'include' these in
-% the source .tex file - in the preamble - but if everything is already provided ('behind the scenes' - embedded IN the .cls)
-% then this is less work for authors and also makes everything appear 'vanilla'.
-% NOTE: all 'patchwork accenting" has been commented out (here) and is no longer 'used' in the sample .tex file (either).
-% Gerry June 2007
-%
-% Patch for accenting in conference name/location. Gerry May 3rd. 2007
-% Rule widths changed to .5, author count (>6) fixed, roll-back for Type 3 problem. Gerry March 20th. 2007
-% Changes made to 'modernize' the fontnames but esp. for MikTeX users V2.4/2.5 - Nov. 30th. 2006
-% Updated the \email definition to allow for its use inside of 'shared affiliations' - Nov. 30th. 2006
-% Fixed the 'section number depth value' - Nov. 30th. 2006
-%
-% Footnotes inside table cells using \minipage (Oct. 2002)
-% Georgia fixed bug in sub-sub-section numbering in paragraphs (July 29th. 2002)
-% JS/GM fix to vertical spacing before Proofs (July 30th. 2002)
-%
-% Made the Permission Statement / Conference Info / Copyright Info
-% 'user definable' in the source .tex file OR automatic if
-% not specified.
-%
-% Allowance made to switch default fonts between those systems using
-% normal/modern font names and those using 'Type 1' or 'Truetype' fonts.
-% See LINE NUMBER 255 for details.
-% Also provided for enumerated/annotated Corollaries 'surrounded' by
-% enumerated Theorems (line 848).
-% Gerry November 11th. 1999
-%
-% ---- End of 'updates' ----
-%
-\def\fileversion{v2.5}          % for ACM's tracking purposes
-\def\filedate{May 23, 2012}    % Gerry Murray's tracking data
-\def\docdate {Wednesday 23rd. May 2012} % Gerry Murray (with deltas to doc}
-\usepackage{epsfig}
-\usepackage{amssymb}
-\usepackage{amsmath}
-\usepackage{amsfonts}
-% Need this for accents in Arial/Helvetica
-%\usepackage[T1]{fontenc}  % Gerry March 12, 2007 - causes Type 3 problems (body text)
-%\usepackage{textcomp}
-%
-% SIG-ALTERNATE DOCUMENT STYLE
-% G.K.M. Tobin August-October 1999
-%    adapted from ARTICLE document style by Ken Traub, Olin Shivers
-%    also using elements of esub2acm.cls
-% HEAVILY MODIFIED, SUBSEQUENTLY, BY GERRY MURRAY 2000
-% ARTICLE DOCUMENT STYLE -- Released 16 March 1988
-%    for LaTeX version 2.09
-% Copyright (C) 1988 by Leslie Lamport
-%
-%
-%%% sig-alternate.cls is an 'ALTERNATE' document style for producing
-%%% two-column camera-ready pages for ACM conferences.
-%%% THIS FILE DOES NOT STRICTLY ADHERE TO THE SIGS (BOARD-ENDORSED)
-%%% PROCEEDINGS STYLE. It has been designed to produce a 'tighter'
-%%% paper in response to concerns over page budgets.
-%%% The main features of this style are:
-%%%
-%%% 1)  Two columns.
-%%% 2)  Side and top margins of 4.5pc, bottom margin of 6pc, column gutter of
-%%%     2pc, hence columns are 20pc wide and 55.5pc tall.  (6pc =3D 1in, approx)
-%%% 3)  First page has title information, and an extra 6pc of space at the
-%%%     bottom of the first column for the ACM copyright notice.
-%%% 4)  Text is 9pt on 10pt baselines; titles (except main) are 9pt bold.
-%%%
-%%%
-%%% There are a few restrictions you must observe:
-%%%
-%%% 1)  You cannot change the font size; ACM wants you to use 9pt.
-%%% 3)  You must start your paper with the \maketitle command.  Prior to the
-%%%     \maketitle you must have \title and \author commands.  If you have a
-%%%     \date command it will be ignored; no date appears on the paper, since
-%%%     the proceedings will have a date on the front cover.
-%%% 4)  Marginal paragraphs, tables of contents, lists of figures and tables,
-%%%     and page headings are all forbidden.
-%%% 5)  The `figure' environment will produce a figure one column wide; if you
-%%%     want one that is two columns wide, use `figure*'.
-%%%
-%
-%%% Copyright Space:
-%%% This style automatically reserves 1" blank space at the bottom of page 1/
-%%% column 1.  This space can optionally be filled with some text using the
-%%% \toappear{...} command.  If used, this command must be BEFORE the \maketitle
-%%% command.  If this command is defined AND [preprint] is on, then the
-%%% space is filled with the {...} text (at the bottom); otherwise, it is
-%%% blank.  If you use \toappearbox{...} instead of \toappear{...} then a
-%%% box will be drawn around the text (if [preprint] is on).
-%%%
-%%% A typical usage looks like this:
-%%%     \toappear{To appear in the Ninth AES Conference on Medievil Lithuanian
-%%%               Embalming Technique, June 1991, Alfaretta, Georgia.}
-%%% This will be included in the preprint, and left out of the conference
-%%% version.
-%%%
-%%% WARNING:
-%%% Some dvi-ps converters heuristically allow chars to drift from their
-%%% true positions a few pixels. This may be noticeable with the 9pt sans-serif
-%%% bold font used for section headers.
-%%% You may turn this hackery off via the -e option:
-%%%     dvips -e 0 foo.dvi >foo.ps
-%%%
-\typeout{Document Class 'sig-alternate' <23rd. May '12>.  Modified by G.K.M. Tobin/Gerry Murray}
-\typeout{Based in part upon document Style `acmconf' <22 May 89>. Hacked 4/91 by}
-\typeout{shivers@cs.cmu.edu, 4/93 by theobald@cs.mcgill.ca}
-\typeout{Excerpts were taken from (Journal Style) 'esub2acm.cls'.}
-\typeout{****** Bugs/comments/suggestions/technicalities to Gerry Murray -- murray@hq.acm.org ******}
-\typeout{Questions on the style, SIGS policies, etc. to Adrienne Griscti griscti@acm.org}
-\oddsidemargin 4.5pc
-\evensidemargin 4.5pc
-\advance\oddsidemargin by -1in  % Correct for LaTeX gratuitousness
-\advance\evensidemargin by -1in % Correct for LaTeX gratuitousness
-\marginparwidth 0pt             % Margin pars are not allowed.
-\marginparsep 11pt              % Horizontal space between outer margin and
-                                % marginal note
-
-                                % Top of page:
-\topmargin 4.5pc                % Nominal distance from top of page to top of
-                                % box containing running head.
-\advance\topmargin by -1in      % Correct for LaTeX gratuitousness
-\headheight 0pt                 % Height of box containing running head.
-\headsep 0pt                    % Space between running head and text.
-                                % Bottom of page:
-\footskip 30pt                  % Distance from baseline of box containing foot
-                                % to baseline of last line of text.
-\@ifundefined{footheight}{\newdimen\footheight}{}% this is for LaTeX2e
-\footheight 12pt                % Height of box containing running foot.
-
-%% Must redefine the top margin so there's room for headers and
-%% page numbers if you are using the preprint option. Footers
-%% are OK as is. Olin.
-\advance\topmargin by -37pt     % Leave 37pt above text for headers
-\headheight 12pt                % Height of box containing running head.
-\headsep 25pt                   % Space between running head and text.
-
-\textheight 666pt       % 9 1/4 column height
-\textwidth 42pc         % Width of text line.
-                        % For two-column mode:
-\columnsep 2pc          %    Space between columns
-\columnseprule 0pt      %    Width of rule between columns.
-\hfuzz 1pt              % Allow some variation in column width, otherwise it's
-                        % too hard to typeset in narrow columns.
-
-\footnotesep 5.6pt      % Height of strut placed at the beginning of every
-                        % footnote =3D height of normal \footnotesize strut,
-                        % so no extra space between footnotes.
-
-\skip\footins 8.1pt plus 4pt minus 2pt  % Space between last line of text and
-                                        % top of first footnote.
-\floatsep 11pt plus 2pt minus 2pt       % Space between adjacent floats moved
-                                        % to top or bottom of text page.
-\textfloatsep 18pt plus 2pt minus 4pt   % Space between main text and floats
-                                        % at top or bottom of page.
-\intextsep 11pt plus 2pt minus 2pt      % Space between in-text figures and
-                                        % text.
-\@ifundefined{@maxsep}{\newdimen\@maxsep}{}% this is for LaTeX2e
-\@maxsep 18pt                           % The maximum of \floatsep,
-                                        % \textfloatsep and \intextsep (minus
-                                        % the stretch and shrink).
-\dblfloatsep 11pt plus 2pt minus 2pt    % Same as \floatsep for double-column
-                                        % figures in two-column mode.
-\dbltextfloatsep 18pt plus 2pt minus 4pt% \textfloatsep for double-column
-                                        % floats.
-\@ifundefined{@dblmaxsep}{\newdimen\@dblmaxsep}{}% this is for LaTeX2e
-\@dblmaxsep 18pt                        % The maximum of \dblfloatsep and
-                                        % \dbltexfloatsep.
-\@fptop 0pt plus 1fil    % Stretch at top of float page/column. (Must be
-                         % 0pt plus ...)
-\@fpsep 8pt plus 2fil    % Space between floats on float page/column.
-\@fpbot 0pt plus 1fil    % Stretch at bottom of float page/column. (Must be
-                         % 0pt plus ... )
-\@dblfptop 0pt plus 1fil % Stretch at top of float page. (Must be 0pt plus ...)
-\@dblfpsep 8pt plus 2fil % Space between floats on float page.
-\@dblfpbot 0pt plus 1fil % Stretch at bottom of float page. (Must be
-                         % 0pt plus ... )
-\marginparpush 5pt       % Minimum vertical separation between two marginal
-                         % notes.
-
-\parskip 0pt plus 1pt            % Extra vertical space between paragraphs.
-\parindent 9pt  % GM July 2000 / was 0pt - width of paragraph indentation.
-\partopsep 2pt plus 1pt minus 1pt% Extra vertical space, in addition to
-                                 % \parskip and \topsep, added when user
-                                 % leaves blank line before environment.
-
-\@lowpenalty   51       % Produced by \nopagebreak[1] or \nolinebreak[1]
-\@medpenalty  151       % Produced by \nopagebreak[2] or \nolinebreak[2]
-\@highpenalty 301       % Produced by \nopagebreak[3] or \nolinebreak[3]
-
-\@beginparpenalty -\@lowpenalty % Before a list or paragraph environment.
-\@endparpenalty   -\@lowpenalty % After a list or paragraph environment.
-\@itempenalty     -\@lowpenalty % Between list items.
-
-%\@namedef{ds@10pt}{\@latexerr{The `10pt' option is not allowed in the `acmconf'
-\@namedef{ds@10pt}{\ClassError{The `10pt' option is not allowed in the `acmconf'	% January 2008
-  document style.}\@eha}
-%\@namedef{ds@11pt}{\@latexerr{The `11pt' option is not allowed in the `acmconf'
-\@namedef{ds@11pt}{\ClassError{The `11pt' option is not allowed in the `acmconf'	% January 2008
-  document style.}\@eha}
-%\@namedef{ds@12pt}{\@latexerr{The `12pt' option is not allowed in the `acmconf'
-\@namedef{ds@12pt}{\ClassError{The `12pt' option is not allowed in the `acmconf'	% January 2008
-  document style.}\@eha}
-
-\@options
-
-\lineskip 2pt           % \lineskip is 1pt for all font sizes.
-\normallineskip 2pt
-\def\baselinestretch{1}
-
-\abovedisplayskip 9pt plus2pt minus4.5pt%
-\belowdisplayskip \abovedisplayskip
-\abovedisplayshortskip  \z@ plus3pt%
-\belowdisplayshortskip  5.4pt plus3pt minus3pt%
-\let\@listi\@listI     % Setting of \@listi added 9 Jun 87
-
-\def\small{\@setsize\small{9pt}\viiipt\@viiipt
-\abovedisplayskip 7.6pt plus 3pt minus 4pt%
-\belowdisplayskip \abovedisplayskip
-\abovedisplayshortskip \z@ plus2pt%
-\belowdisplayshortskip 3.6pt plus2pt minus 2pt
-\def\@listi{\leftmargin\leftmargini %% Added 22 Dec 87
-\topsep 4pt plus 2pt minus 2pt\parsep 2pt plus 1pt minus 1pt
-\itemsep \parsep}}
-
-\def\footnotesize{\@setsize\footnotesize{9pt}\ixpt\@ixpt
-\abovedisplayskip 6.4pt plus 2pt minus 4pt%
-\belowdisplayskip \abovedisplayskip
-\abovedisplayshortskip \z@ plus 1pt%
-\belowdisplayshortskip 2.7pt plus 1pt minus 2pt
-\def\@listi{\leftmargin\leftmargini %% Added 22 Dec 87
-\topsep 3pt plus 1pt minus 1pt\parsep 2pt plus 1pt minus 1pt
-\itemsep \parsep}}
-
-\newcount\aucount
-\newcount\originalaucount
-\newdimen\auwidth
-\auwidth=\textwidth
-\newdimen\auskip
-\newcount\auskipcount
-\newdimen\auskip
-\global\auskip=1pc
-\newdimen\allauboxes
-\allauboxes=\auwidth
-\newtoks\addauthors
-\newcount\addauflag
-\global\addauflag=0 %Haven't shown additional authors yet
-
-\newtoks\subtitletext
-\gdef\subtitle#1{\subtitletext={#1}}
-
-\gdef\additionalauthors#1{\addauthors={#1}}
-
-\gdef\numberofauthors#1{\global\aucount=#1
-\ifnum\aucount>3\global\originalaucount=\aucount \global\aucount=3\fi %g}  % 3 OK - Gerry March 2007
-\global\auskipcount=\aucount\global\advance\auskipcount by 1
-\global\multiply\auskipcount by 2
-\global\multiply\auskip by \auskipcount
-\global\advance\auwidth by -\auskip
-\global\divide\auwidth by \aucount}
-
-% \and was modified to count the number of authors.  GKMT 12 Aug 1999
-\def\alignauthor{%                  % \begin{tabular}
-\end{tabular}%
-  \begin{tabular}[t]{p{\auwidth}}\centering}%
-
-%  *** NOTE *** NOTE *** NOTE *** NOTE ***
-%  If you have 'font problems' then you may need
-%  to change these, e.g. 'arialb' instead of "arialbd".
-%  Gerry Murray 11/11/1999
-%  *** OR ** comment out block A and activate block B or vice versa.
-% **********************************************
-%
-%  -- Start of block A -- (Type 1 or Truetype fonts)
-%\newfont{\secfnt}{timesbd at 12pt} % was timenrb originally - now is timesbd
-%\newfont{\secit}{timesbi at 12pt}   %13 Jan 00 gkmt
-%\newfont{\subsecfnt}{timesi at 11pt} % was timenrri originally - now is timesi
-%\newfont{\subsecit}{timesbi at 11pt} % 13 Jan 00 gkmt -- was times changed to timesbi gm 2/4/2000
-%                         % because "normal" is italic, "italic" is Roman
-%\newfont{\ttlfnt}{arialbd at 18pt} % was arialb originally - now is arialbd
-%\newfont{\ttlit}{arialbi at 18pt}    % 13 Jan 00 gkmt
-%\newfont{\subttlfnt}{arial at 14pt} % was arialr originally - now is arial
-%\newfont{\subttlit}{ariali at 14pt} % 13 Jan 00 gkmt
-%\newfont{\subttlbf}{arialbd at 14pt}  % 13 Jan 00 gkmt
-%\newfont{\aufnt}{arial at 12pt} % was arialr originally - now is arial
-%\newfont{\auit}{ariali at 12pt} % 13 Jan 00 gkmt
-%\newfont{\affaddr}{arial at 10pt} % was arialr originally - now is arial
-%\newfont{\affaddrit}{ariali at 10pt} %13 Jan 00 gkmt
-%\newfont{\eaddfnt}{arial at 12pt} % was arialr originally - now is arial
-%\newfont{\ixpt}{times at 9pt} % was timenrr originally - now is times
-%\newfont{\confname}{timesi at 8pt} % was timenrri - now is timesi
-%\newfont{\crnotice}{times at 8pt} % was timenrr originally - now is times
-%\newfont{\ninept}{times at 9pt} % was timenrr originally - now is times
-
-% *********************************************
-%  -- End of block A --
-%
-%
-% -- Start of block B -- UPDATED FONT NAMES
-% *********************************************
-% Gerry Murray 11/30/2006
-% *********************************************
-\newfont{\secfnt}{ptmb8t at 12pt}
-\newfont{\secit}{ptmbi8t at 12pt}    %13 Jan 00 gkmt
-\newfont{\subsecfnt}{ptmri8t at 11pt}
-\newfont{\subsecit}{ptmbi8t at 11pt}  % 
-\newfont{\ttlfnt}{phvb8t at 18pt}
-\newfont{\ttlit}{phvbo8t at 18pt}    % GM 2/4/2000
-\newfont{\subttlfnt}{phvr8t at 14pt}
-\newfont{\subttlit}{phvro8t at 14pt} % GM 2/4/2000
-\newfont{\subttlbf}{phvb8t at 14pt}  % 13 Jan 00 gkmt
-\newfont{\aufnt}{phvr8t at 12pt}
-\newfont{\auit}{phvro8t at 12pt}     % GM 2/4/2000
-\newfont{\affaddr}{phvr8t at 10pt}
-\newfont{\affaddrit}{phvro8t at 10pt} % GM 2/4/2000
-\newfont{\eaddfnt}{phvr8t at 12pt}
-\newfont{\ixpt}{ptmr8t at 9pt}
-\newfont{\confname}{ptmri8t at 8pt}
-\newfont{\crnotice}{ptmr8t at 8pt}
-\newfont{\ninept}{ptmr8t at 9pt}
-% +++++++++++++++++++++++++++++++++++++++++++++
-% -- End of block B --
-
-%\def\email#1{{{\eaddfnt{\vskip 4pt#1}}}}
-% If we have an email, inside a "shared affiliation" then we need the following instead
-\def\email#1{{{\eaddfnt{\par #1}}}}       % revised  - GM - 11/30/2006
-
-\def\addauthorsection{\ifnum\originalaucount>6  % was 3 - Gerry March 2007
-    \section{Additional Authors}\the\addauthors
-  \fi}
-
-\newcount\savesection
-\newcount\sectioncntr
-\global\sectioncntr=1
-
-\setcounter{secnumdepth}{3}
-
-\def\appendix{\par
-\section*{APPENDIX}
-\setcounter{section}{0}
- \setcounter{subsection}{0}
- \def\thesection{\Alph{section}} }
-
-\leftmargini 22.5pt
-\leftmarginii 19.8pt    % > \labelsep + width of '(m)'
-\leftmarginiii 16.8pt   % > \labelsep + width of 'vii.'
-\leftmarginiv 15.3pt    % > \labelsep + width of 'M.'
-\leftmarginv 9pt
-\leftmarginvi 9pt
-
-\leftmargin\leftmargini
-\labelsep 4.5pt
-\labelwidth\leftmargini\advance\labelwidth-\labelsep
-
-\def\@listI{\leftmargin\leftmargini \parsep 3.6pt plus 2pt minus 1pt%
-\topsep 7.2pt plus 2pt minus 4pt%
-\itemsep 3.6pt plus 2pt minus 1pt}
-
-\let\@listi\@listI
-\@listi
-
-\def\@listii{\leftmargin\leftmarginii
-   \labelwidth\leftmarginii\advance\labelwidth-\labelsep
-   \topsep 3.6pt plus 2pt minus 1pt
-   \parsep 1.8pt plus 0.9pt minus 0.9pt
-   \itemsep \parsep}
-
-\def\@listiii{\leftmargin\leftmarginiii
-    \labelwidth\leftmarginiii\advance\labelwidth-\labelsep
-    \topsep 1.8pt plus 0.9pt minus 0.9pt
-    \parsep \z@ \partopsep 1pt plus 0pt minus 1pt
-    \itemsep \topsep}
-
-\def\@listiv{\leftmargin\leftmarginiv
-     \labelwidth\leftmarginiv\advance\labelwidth-\labelsep}
-
-\def\@listv{\leftmargin\leftmarginv
-     \labelwidth\leftmarginv\advance\labelwidth-\labelsep}
-
-\def\@listvi{\leftmargin\leftmarginvi
-     \labelwidth\leftmarginvi\advance\labelwidth-\labelsep}
-
-\def\labelenumi{\theenumi.}
-\def\theenumi{\arabic{enumi}}
-
-\def\labelenumii{(\theenumii)}
-\def\theenumii{\alph{enumii}}
-\def\p@enumii{\theenumi}
-
-\def\labelenumiii{\theenumiii.}
-\def\theenumiii{\roman{enumiii}}
-\def\p@enumiii{\theenumi(\theenumii)}
-
-\def\labelenumiv{\theenumiv.}
-\def\theenumiv{\Alph{enumiv}}
-\def\p@enumiv{\p@enumiii\theenumiii}
-
-\def\labelitemi{$\bullet$}
-\def\labelitemii{\bf --}
-\def\labelitemiii{$\ast$}
-\def\labelitemiv{$\cdot$}
-
-\def\verse{\let\\=\@centercr
-  \list{}{\itemsep\z@ \itemindent -1.5em\listparindent \itemindent
-          \rightmargin\leftmargin\advance\leftmargin 1.5em}\item[]}
-\let\endverse\endlist
-
-\def\quotation{\list{}{\listparindent 1.5em
-    \itemindent\listparindent
-    \rightmargin\leftmargin \parsep 0pt plus 1pt}\item[]}
-\let\endquotation=\endlist
-
-\def\quote{\list{}{\rightmargin\leftmargin}\item[]}
-\let\endquote=\endlist
-
-\def\descriptionlabel#1{\hspace\labelsep \bf #1}
-\def\description{\list{}{\labelwidth\z@ \itemindent-\leftmargin
-       \let\makelabel\descriptionlabel}}
-
-\let\enddescription\endlist
-
-\def\theequation{\arabic{equation}}
-
-\arraycolsep 4.5pt   % Half the space between columns in an array environment.
-\tabcolsep 5.4pt    % Half the space between columns in a tabular environment.
-\arrayrulewidth .5pt % Width of rules in array and tabular environment. % (was .4) updated Gerry March 20 2007
-\doublerulesep 1.8pt % Space between adjacent rules in array or tabular env.
-
-\tabbingsep \labelsep   % Space used by the \' command.  (See LaTeX manual.)
-
-\skip\@mpfootins =\skip\footins
-
-\fboxsep =2.7pt      % Space left between box and text by \fbox and \framebox.
-\fboxrule =.5pt      % Width of rules in box made by \fbox and \framebox. % (was .4) updated Gerry March 20 2007
-
-\def\thepart{\Roman{part}} % Roman numeral part numbers.
-\def\thesection       {\arabic{section}}
-\def\thesubsection    {\thesection.\arabic{subsection}}
-%\def\thesubsubsection {\thesubsection.\arabic{subsubsection}} % GM 7/30/2002
-%\def\theparagraph     {\thesubsubsection.\arabic{paragraph}}  % GM 7/30/2002
-\def\thesubparagraph  {\theparagraph.\arabic{subparagraph}}
-
-\def\@pnumwidth{1.55em}
-\def\@tocrmarg {2.55em}
-\def\@dotsep{4.5}
-\setcounter{tocdepth}{3}
-
-%\def\tableofcontents{\@latexerr{\tableofcontents: Tables of contents are not
-%  allowed in the `acmconf' document style.}\@eha}
-
-\def\tableofcontents{\ClassError{%
-    \string\tableofcontents\space is not allowed in the `acmconf' document	% January 2008
-    style}\@eha}
-
-\def\l@part#1#2{\addpenalty{\@secpenalty}
-   \addvspace{2.25em plus 1pt}  % space above part line
-   \begingroup
-   \@tempdima 3em       % width of box holding part number, used by
-     \parindent \z@ \rightskip \@pnumwidth      %% \numberline
-     \parfillskip -\@pnumwidth
-     {\large \bf        % set line in \large boldface
-     \leavevmode        % TeX command to enter horizontal mode.
-     #1\hfil \hbox to\@pnumwidth{\hss #2}}\par
-     \nobreak           % Never break after part entry
-   \endgroup}
-
-\def\l@section#1#2{\addpenalty{\@secpenalty} % good place for page break
-   \addvspace{1.0em plus 1pt}   % space above toc entry
-   \@tempdima 1.5em             % width of box holding section number
-   \begingroup
-    \parindent  \z@ \rightskip \@pnumwidth
-     \parfillskip -\@pnumwidth
-     \bf                        % Boldface.
-     \leavevmode                % TeX command to enter horizontal mode.
-      \advance\leftskip\@tempdima %% added 5 Feb 88 to conform to
-      \hskip -\leftskip           %% 25 Jan 88 change to \numberline
-     #1\nobreak\hfil \nobreak\hbox to\@pnumwidth{\hss #2}\par
-   \endgroup}
-
-
-\def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
-\def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
-\def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
-\def\l@subparagraph{\@dottedtocline{5}{10em}{5em}}
-
-%\def\listoffigures{\@latexerr{\listoffigures: Lists of figures are not
-%  allowed in the `acmconf' document style.}\@eha}
-
-\def\listoffigures{\ClassError{%
-    \string\listoffigures\space is not allowed in the `acmconf' document	% January 2008
-    style}\@eha}
-
-\def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}
-
-%\def\listoftables{\@latexerr{\listoftables: Lists of tables are not
-%  allowed in the `acmconf' document style.}\@eha}
-%\let\l@table\l@figure
-
-\def\listoftables{\ClassError{%
-    \string\listoftables\space is not allowed in the `acmconf' document		% January 2008
-    style}\@eha}
- \let\l@table\l@figure
-
-\def\footnoterule{\kern-3\p@
-  \hrule width .5\columnwidth   % (was .4) updated Gerry March 20 2007
-  \kern 2.6\p@}                 % The \hrule has default height of .4pt % (was .4) updated Gerry March 20 2007
-% ------
-\long\def\@makefntext#1{\noindent 
-%\hbox to .5em{\hss$^{\@thefnmark}$}#1}   % original
-\hbox to .5em{\hss\textsuperscript{\@thefnmark}}#1}  % C. Clifton / GM Oct. 2nd. 2002
-% -------
-
-\long\def\@maketntext#1{\noindent
-#1}
-
-\long\def\@maketitlenotetext#1#2{\noindent
-            \hbox to 1.8em{\hss$^{#1}$}#2}
-
-\setcounter{topnumber}{2}
-\def\topfraction{.7}
-\setcounter{bottomnumber}{1}
-\def\bottomfraction{.3}
-\setcounter{totalnumber}{3}
-\def\textfraction{.2}
-\def\floatpagefraction{.5}
-\setcounter{dbltopnumber}{2}
-\def\dbltopfraction{.7}
-\def\dblfloatpagefraction{.5}
-
-%
-\long\def\@makecaption#1#2{
-   \vskip \baselineskip
-   \setbox\@tempboxa\hbox{\textbf{#1: #2}}
-   \ifdim \wd\@tempboxa >\hsize % IF longer than one line:
-       \textbf{#1: #2}\par               %   THEN set as ordinary paragraph.
-     \else                      %   ELSE  center.
-       \hbox to\hsize{\hfil\box\@tempboxa\hfil}\par
-   \fi}
-
-%
-
-\long\def\@makecaption#1#2{
-   \vskip 10pt
-   \setbox\@tempboxa\hbox{\textbf{#1: #2}}
-   \ifdim \wd\@tempboxa >\hsize % IF longer than one line:
-       \textbf{#1: #2}\par                %   THEN set as ordinary paragraph.
-     \else                      %   ELSE  center.
-       \hbox to\hsize{\hfil\box\@tempboxa\hfil}
-   \fi}
-
-\@ifundefined{figure}{\newcounter {figure}} % this is for LaTeX2e
-
-\def\fps@figure{tbp}
-\def\ftype@figure{1}
-\def\ext@figure{lof}
-\def\fnum@figure{Figure \thefigure}
-\def\figure{\@float{figure}}
-%\let\endfigure\end@float
-\def\endfigure{\end@float} 		% Gerry January 2008
-\@namedef{figure*}{\@dblfloat{figure}}
-\@namedef{endfigure*}{\end@dblfloat}
-
-\@ifundefined{table}{\newcounter {table}} % this is for LaTeX2e
-
-\def\fps@table{tbp}
-\def\ftype@table{2}
-\def\ext@table{lot}
-\def\fnum@table{Table \thetable}
-\def\table{\@float{table}}
-%\let\endtable\end@float
-\def\endtable{\end@float}		% Gerry January 2008
-\@namedef{table*}{\@dblfloat{table}}
-\@namedef{endtable*}{\end@dblfloat}
-
-\newtoks\titleboxnotes
-\newcount\titleboxnoteflag
-
-\def\maketitle{\par
- \begingroup
-   \def\thefootnote{\fnsymbol{footnote}}
-   \def\@makefnmark{\hbox
-       to 0pt{$^{\@thefnmark}$\hss}}
-     \twocolumn[\@maketitle]
-\@thanks
- \endgroup
- \setcounter{footnote}{0}
- \let\maketitle\relax
- \let\@maketitle\relax
- \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\gdef\@subtitle{}\let\thanks\relax
- \@copyrightspace}
-
-%% CHANGES ON NEXT LINES
-\newif\if@ll % to record which version of LaTeX is in use
-
-\expandafter\ifx\csname LaTeXe\endcsname\relax % LaTeX2.09 is used
-\else% LaTeX2e is used, so set ll to true
-\global\@lltrue
-\fi
-
-\if@ll
-  \NeedsTeXFormat{LaTeX2e}
-  \ProvidesClass{sig-alternate} [2012/05/23 - V2.5 - based on acmproc.cls V1.3 <Nov. 30 '99>]
-  \RequirePackage{latexsym}% QUERY: are these two really needed?
-  \let\dooptions\ProcessOptions
-\else
-  \let\dooptions\@options
-\fi
-%% END CHANGES
-
-\def\@height{height}
-\def\@width{width}
-\def\@minus{minus}
-\def\@plus{plus}
-\def\hb@xt@{\hbox to}
-\newif\if@faircopy
-\@faircopyfalse
-\def\ds@faircopy{\@faircopytrue}
-
-\def\ds@preprint{\@faircopyfalse}
-
-\@twosidetrue
-\@mparswitchtrue
-\def\ds@draft{\overfullrule 5\p@}
-%% CHANGE ON NEXT LINE
-\dooptions
-
-\lineskip \p@
-\normallineskip \p@
-\def\baselinestretch{1}
-\def\@ptsize{0} %needed for amssymbols.sty
-
-%% CHANGES ON NEXT LINES
-\if@ll% allow use of old-style font change commands in LaTeX2e
-\@maxdepth\maxdepth
-%
-\DeclareOldFontCommand{\rm}{\ninept\rmfamily}{\mathrm}
-\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
-\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
-\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
-\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
-\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
-\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
-\DeclareRobustCommand*{\cal}{\@fontswitch{\relax}{\mathcal}}
-\DeclareRobustCommand*{\mit}{\@fontswitch{\relax}{\mathnormal}}
-\fi
-%
-\if@ll
- \renewcommand{\rmdefault}{cmr}  % was 'ttm'
-% Note! I have also found 'mvr' to work ESPECIALLY well.
-% Gerry - October 1999
-% You may need to change your LV1times.fd file so that sc is
-% mapped to cmcsc - -for smallcaps -- that is if you decide
-% to change {cmr} to {times} above. (Not recommended)
-  \renewcommand{\@ptsize}{}
-  \renewcommand{\normalsize}{%
-    \@setfontsize\normalsize\@ixpt{10.5\p@}%\ninept%
-    \abovedisplayskip 6\p@ \@plus2\p@ \@minus\p@
-    \belowdisplayskip \abovedisplayskip
-    \abovedisplayshortskip 6\p@ \@minus 3\p@
-    \belowdisplayshortskip 6\p@ \@minus 3\p@
-    \let\@listi\@listI
-  }
-\else
-  \def\@normalsize{%changed next to 9 from 10
-    \@setsize\normalsize{9\p@}\ixpt\@ixpt
-   \abovedisplayskip 6\p@ \@plus2\p@ \@minus\p@
-    \belowdisplayskip \abovedisplayskip
-    \abovedisplayshortskip 6\p@ \@minus 3\p@
-    \belowdisplayshortskip 6\p@ \@minus 3\p@
-    \let\@listi\@listI
-  }%
-\fi
-\if@ll
-  \newcommand\scriptsize{\@setfontsize\scriptsize\@viipt{8\p@}}
-  \newcommand\tiny{\@setfontsize\tiny\@vpt{6\p@}}
-  \newcommand\large{\@setfontsize\large\@xiipt{14\p@}}
-  \newcommand\Large{\@setfontsize\Large\@xivpt{18\p@}}
-  \newcommand\LARGE{\@setfontsize\LARGE\@xviipt{20\p@}}
-  \newcommand\huge{\@setfontsize\huge\@xxpt{25\p@}}
-  \newcommand\Huge{\@setfontsize\Huge\@xxvpt{30\p@}}
-\else
-  \def\scriptsize{\@setsize\scriptsize{8\p@}\viipt\@viipt}
-  \def\tiny{\@setsize\tiny{6\p@}\vpt\@vpt}
-  \def\large{\@setsize\large{14\p@}\xiipt\@xiipt}
-  \def\Large{\@setsize\Large{18\p@}\xivpt\@xivpt}
-  \def\LARGE{\@setsize\LARGE{20\p@}\xviipt\@xviipt}
-  \def\huge{\@setsize\huge{25\p@}\xxpt\@xxpt}
-  \def\Huge{\@setsize\Huge{30\p@}\xxvpt\@xxvpt}
-\fi
-\normalsize
-
-% make aubox hsize/number of authors up to 3, less gutter
-% then showbox gutter showbox gutter showbox -- GKMT Aug 99
-\newbox\@acmtitlebox
-\def\@maketitle{\newpage
- \null
- \setbox\@acmtitlebox\vbox{%
-\baselineskip 20pt
-\vskip 2em                   % Vertical space above title.
-   \begin{center}
-    {\ttlfnt \@title\par}       % Title set in 18pt Helvetica (Arial) bold size.
-    \vskip 1.5em                % Vertical space after title.
-%This should be the subtitle.
-{\subttlfnt \the\subtitletext\par}\vskip 1.25em%\fi
-    {\baselineskip 16pt\aufnt   % each author set in \12 pt Arial, in a
-     \lineskip .5em             % tabular environment
-     \begin{tabular}[t]{c}\@author
-     \end{tabular}\par}
-    \vskip 1.5em               % Vertical space after author.
-   \end{center}}
- \dimen0=\ht\@acmtitlebox
- \advance\dimen0 by -12.75pc\relax % Increased space for title box -- KBT
- \unvbox\@acmtitlebox
- \ifdim\dimen0<0.0pt\relax\vskip-\dimen0\fi}
-
-
-\newcount\titlenotecount
-\global\titlenotecount=0
-\newtoks\tntoks
-\newtoks\tntokstwo
-\newtoks\tntoksthree
-\newtoks\tntoksfour
-\newtoks\tntoksfive
-
-\def\abstract{
-\ifnum\titlenotecount>0 % was =1
-    \insert\footins{%
-    \reset@font\footnotesize
-        \interlinepenalty\interfootnotelinepenalty
-        \splittopskip\footnotesep
-        \splitmaxdepth \dp\strutbox \floatingpenalty \@MM
-        \hsize\columnwidth \@parboxrestore
-        \protected@edef\@currentlabel{%
-        }%
-        \color@begingroup
-\ifnum\titlenotecount=1
-      \@maketntext{%
-         \raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\@finalstrut\strutbox}%
-\fi
-\ifnum\titlenotecount=2
-      \@maketntext{%
-      \raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\@finalstrut\strutbox}%
-\fi
-\ifnum\titlenotecount=3
-      \@maketntext{%
-         \raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\ddagger$}\rule\z@\footnotesep\ignorespaces\the\tntoksthree\@finalstrut\strutbox}%
-\fi
-\ifnum\titlenotecount=4
-      \@maketntext{%
-         \raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\ddagger$}\rule\z@\footnotesep\ignorespaces\the\tntoksthree\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\S$}\rule\z@\footnotesep\ignorespaces\the\tntoksfour\@finalstrut\strutbox}%
-\fi
-\ifnum\titlenotecount=5
-      \@maketntext{%
-         \raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\ddagger$}\rule\z@\footnotesep\ignorespaces\the\tntoksthree\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\S$}\rule\z@\footnotesep\ignorespaces\the\tntoksfour\par\@finalstrut\strutbox}%
-\@maketntext{%
-         \raisebox{4pt}{$\P$}\rule\z@\footnotesep\ignorespaces\the\tntoksfive\@finalstrut\strutbox}%
-\fi
-   \color@endgroup} %g}
-\fi
-\setcounter{footnote}{0}
-\section*{ABSTRACT}\normalsize%\ninept
-}
-
-\def\endabstract{\if@twocolumn\else\endquotation\fi}
-
-\def\keywords{\if@twocolumn
-\section*{Keywords}
-\else \small
-\quotation
-\fi}
-
-\def\terms{\if@twocolumn
-\section*{General Terms}
-\else \small
-\quotation
-\fi}
-
-% -- Classification needs to be a bit smart due to optionals - Gerry/Georgia November 2nd. 1999
-\newcount\catcount
-\global\catcount=1
-
-\def\category#1#2#3{%
-\ifnum\catcount=1
-\section*{Categories and Subject Descriptors}
-\advance\catcount by 1\else{\unskip; }\fi
-    \@ifnextchar [{\@category{#1}{#2}{#3}}{\@category{#1}{#2}{#3}[]}%
-}
-
-\def\@category#1#2#3[#4]{%
-    \begingroup
-        \let\and\relax
-            #1 [\textbf{#2}]%
-            \if!#4!%
-                \if!#3!\else : #3\fi
-            \else
-                :\space
-                \if!#3!\else #3\kern\z@---\hskip\z@\fi
-                \textit{#4}%
-            \fi
-    \endgroup
-}
-%
-
-%%% This section (written by KBT) handles the 1" box in the lower left
-%%% corner of the left column of the first page by creating a picture,
-%%% and inserting the predefined string at the bottom (with a negative
-%%% displacement to offset the space allocated for a non-existent
-%%% caption).
-%%%
-\newtoks\copyrightnotice
-\def\ftype@copyrightbox{8}
-\def\@copyrightspace{
-\@float{copyrightbox}[b]
-\begin{center}
-\setlength{\unitlength}{1pc}
-\begin{picture}(20,6) %Space for copyright notice
-\put(0,-0.95){\crnotice{\@toappear}}
-\end{picture}
-\end{center}
-\end@float}
-
-\def\@toappear{} % Default setting blank - commands below change this.
-\long\def\toappear#1{\def\@toappear{\parbox[b]{20pc}{\baselineskip 9pt#1}}}
-\def\toappearbox#1{\def\@toappear{\raisebox{5pt}{\framebox[20pc]{\parbox[b]{19pc}{#1}}}}}
-
-\newtoks\conf
-\newtoks\confinfo
-\def\conferenceinfo#1#2{\global\conf={#1}\global\confinfo{#2}}
-
-
-%\def\marginpar{\@latexerr{The \marginpar command is not allowed in the
-%  `acmconf' document style.}\@eha}
-
-\def\marginpar{\ClassError{%
-    \string\marginpar\space is not allowed in the `acmconf' document		% January 2008
-    style}\@eha}
-
-\mark{{}{}}     % Initializes TeX's marks
-
-\def\today{\ifcase\month\or
-  January\or February\or March\or April\or May\or June\or
-  July\or August\or September\or October\or November\or December\fi
-  \space\number\day, \number\year}
-
-\def\@begintheorem#1#2{%
-    \parskip 0pt % GM July 2000 (for tighter spacing)
-    \trivlist
-    \item[%
-        \hskip 10\p@
-        \hskip \labelsep
-        {{\sc #1}\hskip 5\p@\relax#2.}%
-    ]
-    \it
-}
-\def\@opargbegintheorem#1#2#3{%
-    \parskip 0pt % GM July 2000 (for tighter spacing)
-    \trivlist
-    \item[%
-        \hskip 10\p@
-        \hskip \labelsep
-        {\sc #1\ #2\             % This mod by Gerry to enumerate corollaries
-   \setbox\@tempboxa\hbox{(#3)}  % and bracket the 'corollary title'
-        \ifdim \wd\@tempboxa>\z@ % and retain the correct numbering of e.g. theorems
-            \hskip 5\p@\relax    % if they occur 'around' said corollaries.
-            \box\@tempboxa       % Gerry - Nov. 1999.
-        \fi.}%
-    ]
-    \it
-}
-\newif\if@qeded
-\global\@qededfalse
-
-% -- original
-%\def\proof{%
-%  \vspace{-\parskip} % GM July 2000 (for tighter spacing)
-%    \global\@qededfalse
-%    \@ifnextchar[{\@xproof}{\@proof}%
-%}
-% -- end of original
-
-% (JSS) Fix for vertical spacing bug - Gerry Murray July 30th. 2002
-\def\proof{%
-\vspace{-\lastskip}\vspace{-\parsep}\penalty-51%
-\global\@qededfalse
-\@ifnextchar[{\@xproof}{\@proof}%
-}
-
-\def\endproof{%
-    \if@qeded\else\qed\fi
-    \endtrivlist
-}
-\def\@proof{%
-    \trivlist
-    \item[%
-        \hskip 10\p@
-        \hskip \labelsep
-        {\sc Proof.}%
-    ]
-    \ignorespaces
-}
-\def\@xproof[#1]{%
-    \trivlist
-    \item[\hskip 10\p@\hskip \labelsep{\sc Proof #1.}]%
-    \ignorespaces
-}
-\def\qed{%
-    \unskip
-    \kern 10\p@
-    \begingroup
-        \unitlength\p@
-        \linethickness{.4\p@}%
-        \framebox(6,6){}%
-    \endgroup
-    \global\@qededtrue
-}
-
-\def\newdef#1#2{%
-    \expandafter\@ifdefinable\csname #1\endcsname
-        {\@definecounter{#1}%
-         \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
-         \global\@namedef{#1}{\@defthm{#1}{#2}}%
-         \global\@namedef{end#1}{\@endtheorem}%
-    }%
-}
-\def\@defthm#1#2{%
-    \refstepcounter{#1}%
-    \@ifnextchar[{\@ydefthm{#1}{#2}}{\@xdefthm{#1}{#2}}%
-}
-\def\@xdefthm#1#2{%
-    \@begindef{#2}{\csname the#1\endcsname}%
-    \ignorespaces
-}
-\def\@ydefthm#1#2[#3]{%
-    \trivlist
-    \item[%
-        \hskip 10\p@
-        \hskip \labelsep
-        {\it #2%
-%         \savebox\@tempboxa{#3}%
-         \saveb@x\@tempboxa{#3}%		% January 2008
-         \ifdim \wd\@tempboxa>\z@
-            \ \box\@tempboxa
-         \fi.%
-        }]%
-    \ignorespaces
-}
-\def\@begindef#1#2{%
-    \trivlist
-    \item[%
-        \hskip 10\p@
-        \hskip \labelsep
-        {\it #1\ \rm #2.}%
-    ]%
-}
-\def\theequation{\arabic{equation}}
-
-\newcounter{part}
-\newcounter{section}
-\newcounter{subsection}[section]
-\newcounter{subsubsection}[subsection]
-\newcounter{paragraph}[subsubsection]
-\def\thepart{\Roman{part}}
-\def\thesection{\arabic{section}}
-\def\thesubsection{\thesection.\arabic{subsection}}
-\def\thesubsubsection{\thesubsection.\arabic{subsubsection}} %removed \subsecfnt 29 July 2002 gkmt
-\def\theparagraph{\thesubsubsection.\arabic{paragraph}} %removed \subsecfnt 29 July 2002 gkmt
-\newif\if@uchead
-\@ucheadfalse
-
-%% CHANGES: NEW NOTE
-%% NOTE: OK to use old-style font commands below, since they were
-%% suitably redefined for LaTeX2e
-%% END CHANGES
-\setcounter{secnumdepth}{3}
-\def\part{%
-    \@startsection{part}{9}{\z@}{-10\p@ \@plus -4\p@ \@minus -2\p@}
-        {4\p@}{\normalsize\@ucheadtrue}%
-}
-\def\section{%
-    \@startsection{section}{1}{\z@}{-10\p@ \@plus -4\p@ \@minus -2\p@}% GM
-    {4\p@}{\baselineskip 14pt\secfnt\@ucheadtrue}%
-}
-
-\def\subsection{%
-    \@startsection{subsection}{2}{\z@}{-8\p@ \@plus -2\p@ \@minus -\p@}
-    {4\p@}{\secfnt}%
-}
-\def\subsubsection{%
-    \@startsection{subsubsection}{3}{\z@}{-8\p@ \@plus -2\p@ \@minus -\p@}%
-    {4\p@}{\subsecfnt}%
-}
-%\def\paragraph{%
-%    \vskip 12pt\@startsection{paragraph}{3}{\z@}{6\p@ \@plus \p@}% original
-%    {-5\p@}{\subsecfnt}%
-%}
-%  If one wants sections, subsections and subsubsections numbered,
-%  but not paragraphs, one usually sets secnumepth to 3.
-%  For that, the "depth" of paragraphs must be given correctly
-%  in the definition (``4'' instead of ``3'' as second argument
-%  of @startsection):
-\def\paragraph{%
-    \vskip 12pt\@startsection{paragraph}{4}{\z@}{6\p@ \@plus \p@}%    % GM and Wolfgang May - 11/30/06
-    {-5\p@}{\subsecfnt}%
-}
-\let\@period=.
-\def\@startsection#1#2#3#4#5#6{%
-        \if@noskipsec  %gkmt, 11 aug 99
-        \global\let\@period\@empty
-        \leavevmode
-        \global\let\@period.%
-    \fi
-      \par %
-    \@tempskipa #4\relax
-    \@afterindenttrue
-    \ifdim \@tempskipa <\z@
-        \@tempskipa -\@tempskipa
-        \@afterindentfalse
-    \fi
-    \if@nobreak
-    \everypar{}%
-    \else
-        \addpenalty\@secpenalty
-        \addvspace\@tempskipa
-    \fi
-\parskip=0pt % GM July 2000 (non numbered) section heads
-    \@ifstar
-        {\@ssect{#3}{#4}{#5}{#6}}
-        {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}%
-}
-\def\@sect#1#2#3#4#5#6[#7]#8{%
-    \ifnum #2>\c@secnumdepth
-        \let\@svsec\@empty
-    \else
-        \refstepcounter{#1}%
-        \edef\@svsec{%
-            \begingroup
-                %\ifnum#2>2 \noexpand\rm \fi % changed to next 29 July 2002 gkmt
-            \ifnum#2>2 \noexpand#6 \fi
-                \csname the#1\endcsname
-            \endgroup
-            \ifnum #2=1\relax .\fi
-            \hskip 1em
-        }%
-    \fi
-    \@tempskipa #5\relax
-    \ifdim \@tempskipa>\z@
-        \begingroup
-            #6\relax
-            \@hangfrom{\hskip #3\relax\@svsec}%
-            \begingroup
-                \interlinepenalty \@M
-                \if@uchead
-                    \uppercase{#8}%
-                \else
-                    #8%
-                \fi
-                \par
-            \endgroup
-        \endgroup
-        \csname #1mark\endcsname{#7}%
-        \vskip -12pt  %gkmt, 11 aug 99 and GM July 2000 (was -14) - numbered section head spacing
-\addcontentsline{toc}{#1}{%
-            \ifnum #2>\c@secnumdepth \else
-                \protect\numberline{\csname the#1\endcsname}%
-            \fi
-            #7%
-        }%
-    \else
-        \def\@svsechd{%
-            #6%
-            \hskip #3\relax
-            \@svsec
-            \if@uchead
-                \uppercase{#8}%
-            \else
-                #8%
-            \fi
-            \csname #1mark\endcsname{#7}%
-            \addcontentsline{toc}{#1}{%
-                \ifnum #2>\c@secnumdepth \else
-                    \protect\numberline{\csname the#1\endcsname}%
-                \fi
-                #7%
-            }%
-        }%
-    \fi
-    \@xsect{#5}\hskip 1pt
-    \par
-}
-\def\@xsect#1{%
-    \@tempskipa #1\relax
-    \ifdim \@tempskipa>\z@
-        \par
-        \nobreak
-        \vskip \@tempskipa
-        \@afterheading
-    \else
-        \global\@nobreakfalse
-        \global\@noskipsectrue
-        \everypar{%
-            \if@noskipsec
-                \global\@noskipsecfalse
-                \clubpenalty\@M
-                \hskip -\parindent
-                \begingroup
-                    \@svsechd
-                    \@period
-                \endgroup
-                \unskip
-                \@tempskipa #1\relax
-                \hskip -\@tempskipa
-            \else
-                \clubpenalty \@clubpenalty
-                \everypar{}%
-            \fi
-        }%
-    \fi
-    \ignorespaces
-}
-\def\@trivlist{%
-    \@topsepadd\topsep
-    \if@noskipsec
-        \global\let\@period\@empty
-        \leavevmode
-        \global\let\@period.%
-    \fi
-    \ifvmode
-        \advance\@topsepadd\partopsep
-    \else
-        \unskip
-        \par
-    \fi
-    \if@inlabel
-        \@noparitemtrue
-        \@noparlisttrue
-    \else
-        \@noparlistfalse
-        \@topsep\@topsepadd
-    \fi
-    \advance\@topsep \parskip
-    \leftskip\z@skip
-    \rightskip\@rightskip
-    \parfillskip\@flushglue
-    \@setpar{\if@newlist\else{\@@par}\fi}
-    \global\@newlisttrue
-    \@outerparskip\parskip
-}
-
-%%% Actually, 'abbrev' works just fine as the default
-%%% Bibliography style.
-
-\typeout{Using 'Abbrev' bibliography style}
-\newcommand\bibyear[2]{%
-    \unskip\quad\ignorespaces#1\unskip
-    \if#2..\quad \else \quad#2 \fi
-}
-\newcommand{\bibemph}[1]{{\em#1}}
-\newcommand{\bibemphic}[1]{{\em#1\/}}
-\newcommand{\bibsc}[1]{{\sc#1}}
-\def\@normalcite{%
-    \def\@cite##1##2{[##1\if@tempswa , ##2\fi]}%
-}
-\def\@citeNB{%
-    \def\@cite##1##2{##1\if@tempswa , ##2\fi}%
-}
-\def\@citeRB{%
-    \def\@cite##1##2{##1\if@tempswa , ##2\fi]}%
-}
-\def\start@cite#1#2{%
-    \edef\citeauthoryear##1##2##3{%
-        ###1%
-        \ifnum#2=\z@ \else\ ###2\fi
-    }%
-    \ifnum#1=\thr@@
-        \let\@@cite\@citeyear
-    \else
-        \let\@@cite\@citenormal
-    \fi
-    \@ifstar{\@citeNB\@@cite}{\@normalcite\@@cite}%
-}
-%\def\cite{\start@cite23}
-\DeclareRobustCommand\cite{\start@cite23}		% January 2008
-\def\citeNP{\cite*}					% No Parentheses e.g. 5
-%\def\citeA{\start@cite10}
-\DeclareRobustCommand\citeA{\start@cite10}		% January 2008
-\def\citeANP{\citeA*}
-%\def\shortcite{\start@cite23}				
-\DeclareRobustCommand\shortcite{\start@cite23}		% January 2008
-\def\shortciteNP{\shortcite*}
-%\def\shortciteA{\start@cite20}
-\DeclareRobustCommand\shortciteA{\start@cite20}		% January 2008
-\def\shortciteANP{\shortciteA*}
-%\def\citeyear{\start@cite30}
-\DeclareRobustCommand\citeyear{\start@cite30}		% January 2008
-\def\citeyearNP{\citeyear*}
-%\def\citeN{%
-\DeclareRobustCommand\citeN{%				% January 2008
-    \@citeRB
-    \def\citeauthoryear##1##2##3{##1\ [##3%
-        \def\reserved@a{##1}%
-        \def\citeauthoryear####1####2####3{%
-            \def\reserved@b{####1}%
-            \ifx\reserved@a\reserved@b
-                ####3%
-            \else
-                \errmessage{Package acmart Error: author mismatch
-                         in \string\citeN^^J^^J%
-                    See the acmart package documentation for explanation}%
-            \fi
-        }%
-    }%
-    \@ifstar\@citeyear\@citeyear
-}
-%\def\shortciteN{%
-\DeclareRobustCommand\shortciteN{%			% January 2008
-    \@citeRB
-    \def\citeauthoryear##1##2##3{##2\ [##3%
-        \def\reserved@a{##2}%
-        \def\citeauthoryear####1####2####3{%
-            \def\reserved@b{####2}%
-            \ifx\reserved@a\reserved@b
-                ####3%
-            \else
-                \errmessage{Package acmart Error: author mismatch
-                         in \string\shortciteN^^J^^J%
-                    See the acmart package documentation for explanation}%
-            \fi
-        }%
-    }%
-    \@ifstar\@citeyear\@citeyear  % GM July 2000
-}
-
-\def\@citenormal{%
-    \@ifnextchar [{\@tempswatrue\@citex;}%
-% original                 {\@tempswafalse\@citex,[]}% was ; Gerry 2/24/00
-{\@tempswafalse\@citex[]}%  	% GERRY FIX FOR BABEL 3/20/2009
-}
-
-\def\@citeyear{%
-    \@ifnextchar [{\@tempswatrue\@citex,}%
-% original                  {\@tempswafalse\@citex,[]}%
-{\@tempswafalse\@citex[]}%	%  GERRY FIX FOR BABEL 3/20/2009
-}
-
-\def\@citex#1[#2]#3{%
-    \let\@citea\@empty
-    \@cite{%
-        \@for\@citeb:=#3\do{%
-            \@citea
-% original            \def\@citea{#1 }%
-            \def\@citea{#1, }% 	% GERRY FIX FOR BABEL 3/20/2009 -- SO THAT YOU GET [1, 2] IN THE BODY TEXT
-            \edef\@citeb{\expandafter\@iden\@citeb}%
-            \if@filesw
-                \immediate\write\@auxout{\string\citation{\@citeb}}%
-            \fi
-            \@ifundefined{b@\@citeb}{%
-                {\bf ?}%
-                \@warning{%
-                    Citation `\@citeb' on page \thepage\space undefined%
-                }%
-            }%
-            {\csname b@\@citeb\endcsname}%
-        }%
-    }{#2}%
-}
-%\let\@biblabel\@gobble   % Dec. 2008 - Gerry
-% ----
-\def\@biblabelnum#1{[#1]} % Gerry's solution #1 - for Natbib -- April 2009
-\let\@biblabel=\@biblabelnum  % Gerry's solution #1 - for Natbib -- April 2009
-\def\newblock{\relax} % Gerry Dec. 2008
-% ---
-\newdimen\bibindent
-\setcounter{enumi}{1}
-\bibindent=0em
-\def\thebibliography#1{% 
-\ifnum\addauflag=0\addauthorsection\global\addauflag=1\fi
-     \section[References]{%    <=== OPTIONAL ARGUMENT ADDED HERE
-        {References} % was uppercased but this affects pdf bookmarks (SP/GM October 2004)
-          {\vskip -9pt plus 1pt} % GM Nov. 2006 / GM July 2000 (for somewhat tighter spacing) 
-         \@mkboth{{\refname}}{{\refname}}%
-     }%
-     \list{[\arabic{enumi}]}{%
-         \settowidth\labelwidth{[#1]}%
-         \leftmargin\labelwidth
-         \advance\leftmargin\labelsep
-         \advance\leftmargin\bibindent
-         \parsep=0pt\itemsep=1pt % GM July 2000
-         \itemindent -\bibindent
-         \listparindent \itemindent
-         \usecounter{enumi}
-     }%
-     \let\newblock\@empty
-     \raggedright % GM July 2000
-     \sloppy
-     \sfcode`\.=1000\relax
-}
-
-
-\gdef\balancecolumns
-{\vfill\eject
-\global\@colht=\textheight
-\global\ht\@cclv=\textheight
-}
-
-\newcount\colcntr
-\global\colcntr=0
-%\newbox\savebox
-\newbox\saveb@x				% January 2008
-
-\gdef \@makecol {%
-\global\advance\colcntr by 1
-\ifnum\colcntr>2 \global\colcntr=1\fi
-   \ifvoid\footins
-     \setbox\@outputbox \box\@cclv
-   \else
-     \setbox\@outputbox \vbox{%
-\boxmaxdepth \@maxdepth
-       \@tempdima\dp\@cclv
-       \unvbox \@cclv
-       \vskip-\@tempdima
-       \vskip \skip\footins
-       \color@begingroup
-         \normalcolor
-         \footnoterule
-         \unvbox \footins
-       \color@endgroup
-       }%
-   \fi
-   \xdef\@freelist{\@freelist\@midlist}%
-   \global \let \@midlist \@empty
-   \@combinefloats
-   \ifvbox\@kludgeins
-     \@makespecialcolbox
-   \else
-     \setbox\@outputbox \vbox to\@colht {%
-\@texttop
-       \dimen@ \dp\@outputbox
-       \unvbox \@outputbox
-   \vskip -\dimen@
-       \@textbottom
-       }%
-   \fi
-   \global \maxdepth \@maxdepth
-}
-\def\titlenote{\@ifnextchar[\@xtitlenote{\stepcounter\@mpfn
-\global\advance\titlenotecount by 1
-\ifnum\titlenotecount=1
-    \raisebox{9pt}{$\ast$}
-\fi
-\ifnum\titlenotecount=2
-    \raisebox{9pt}{$\dagger$}
-\fi
-\ifnum\titlenotecount=3
-    \raisebox{9pt}{$\ddagger$}
-\fi
-\ifnum\titlenotecount=4
-\raisebox{9pt}{$\S$}
-\fi
-\ifnum\titlenotecount=5
-\raisebox{9pt}{$\P$}
-\fi
-         \@titlenotetext
-}}
-
-\long\def\@titlenotetext#1{\insert\footins{%
-\ifnum\titlenotecount=1\global\tntoks={#1}\fi
-\ifnum\titlenotecount=2\global\tntokstwo={#1}\fi
-\ifnum\titlenotecount=3\global\tntoksthree={#1}\fi
-\ifnum\titlenotecount=4\global\tntoksfour={#1}\fi
-\ifnum\titlenotecount=5\global\tntoksfive={#1}\fi
-    \reset@font\footnotesize
-    \interlinepenalty\interfootnotelinepenalty
-    \splittopskip\footnotesep
-    \splitmaxdepth \dp\strutbox \floatingpenalty \@MM
-    \hsize\columnwidth \@parboxrestore
-    \protected@edef\@currentlabel{%
-    }%
-    \color@begingroup
-   \color@endgroup}}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%
-\ps@plain
-\baselineskip=11pt
-\let\thepage\relax % For NO page numbers - GM Nov. 30th. 1999 and July 2000
-\def\setpagenumber#1{\global\setcounter{page}{#1}}
-%\pagenumbering{arabic}  % Arabic page numbers GM July 2000
-\twocolumn             % Double column.
-\flushbottom           % Even bottom -- alas, does not balance columns at end of document
-\pagestyle{plain}
-
-% Need Copyright Year and Copyright Data to be user definable (in .tex file).
-% Gerry Nov. 30th. 1999
-\newtoks\copyrtyr
-\newtoks\acmcopyr
-\newtoks\boilerplate
-\global\acmcopyr={X-XXXXX-XX-X/XX/XX}  % Default - 5/11/2001 *** Gerry
-\global\copyrtyr={20XX}                % Default - 3/3/2003 *** Gerry
-\def\CopyrightYear#1{\global\copyrtyr{#1}}
-\def\crdata#1{\global\acmcopyr{#1}}
-\def\permission#1{\global\boilerplate{#1}}
-%
-\global\boilerplate={Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page.  To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.}
-\newtoks\copyrightetc
-\global\copyrightetc{Copyright \the\copyrtyr\ ACM \the\acmcopyr\ ...\$15.00} % Gerry changed to 15 May 2012
-\toappear{\the\boilerplate\par
-{\confname{\the\conf}} \the\confinfo\par \the\copyrightetc.}
-%\DeclareFixedFont{\altcrnotice}{OT1}{tmr}{m}{n}{8}  % << patch needed for accenting e.g. Montreal - Gerry, May 2007
-%\DeclareFixedFont{\altconfname}{OT1}{tmr}{m}{it}{8}  % << patch needed for accenting in italicized confname - Gerry, May 2007
-%
-%{\altconfname{{\the\conf}}} {\altcrnotice\the\confinfo\par} \the\copyrightetc.}  % << Gerry, May 2007
-%
-% The following section (i.e. 3 .sty inclusions) was added in May 2007 so as to fix the problems that many
-% authors were having with accents. Sometimes accents would occur, but the letter-character would be of a different
-% font. Conversely the letter-character font would be correct but, e.g. a 'bar' would appear superimposed on the
-% character instead of, say, an unlaut/diaresis. Sometimes the letter-character would NOT appear at all.
-% Using [T1]{fontenc} outright was not an option as this caused 99% of the authors to 'produce' a Type-3 (bitmapped)
-% PDF file - useless for production. 
-%
-% For proper (font) accenting we NEED these packages to be part of the .cls file i.e. 'ae', 'aecompl' and 'aeguil' 
-% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-%% This is file `ae.sty' 
-\def\fileversion{1.3}
-\def\filedate{2001/02/12}
-\NeedsTeXFormat{LaTeX2e}
-%\ProvidesPackage{ae}[\filedate\space\fileversion\space  % GM
-% Almost European Computer Modern]                       % GM - keeping the log file clean(er)
-\newif\if@ae@slides \@ae@slidesfalse
-\DeclareOption{slides}{\@ae@slidestrue}
-\ProcessOptions
-\fontfamily{aer}
-\RequirePackage[T1]{fontenc}
-\if@ae@slides
-    \renewcommand{\sfdefault}{laess}
-    \renewcommand{\rmdefault}{laess} % no roman
-    \renewcommand{\ttdefault}{laett}
-\else
-    \renewcommand{\sfdefault}{aess}
-    \renewcommand{\rmdefault}{aer}
-    \renewcommand{\ttdefault}{aett}
-\fi
-\endinput
-%% 
-%% End of file `ae.sty'.
-%
-%
-\def\fileversion{0.9}
-\def\filedate{1998/07/23}
-\NeedsTeXFormat{LaTeX2e}
-%\ProvidesPackage{aecompl}[\filedate\space\fileversion\space   % GM
-%T1 Complements for AE fonts (D. Roegel)]                      % GM -- keeping the log file clean(er)
- 
-\def\@ae@compl#1{{\fontencoding{T1}\fontfamily{cmr}\selectfont\symbol{#1}}}
-\def\guillemotleft{\@ae@compl{19}}
-\def\guillemotright{\@ae@compl{20}}
-\def\guilsinglleft{\@ae@compl{14}}
-\def\guilsinglright{\@ae@compl{15}}
-\def\TH{\@ae@compl{222}}
-\def\NG{\@ae@compl{141}}
-\def\ng{\@ae@compl{173}}
-\def\th{\@ae@compl{254}}
-\def\DJ{\@ae@compl{208}}
-\def\dj{\@ae@compl{158}}
-\def\DH{\@ae@compl{208}}
-\def\dh{\@ae@compl{240}}
-\def\@perthousandzero{\@ae@compl{24}}
-\def\textperthousand{\%\@perthousandzero}
-\def\textpertenthousand{\%\@perthousandzero\@perthousandzero}
-\endinput
-%
-%
-%% This is file `aeguill.sty' 
-% This file gives french guillemets (and not guillemots!)
-% built with the Polish CMR fonts (default), WNCYR fonts, the LASY fonts 
-% or with the EC fonts. 
-% This is useful in conjunction with the ae package
-% (this package loads the ae package in case it has not been loaded)
-%  and with or without the french(le) package.
-%
-% In order to get the guillemets, it is necessary to either type
-% \guillemotleft and \guillemotright, or to use an 8 bit encoding
-% (such as ISO-Latin1) which selects these two commands, 
-% or, if you use the french package (but not the frenchle package), 
-% to type << or >>.
-%
-% By default, you get the Polish CMR guillemets; if this package is loaded
-% with the `cm' option, you get the LASY guillemets; with `ec,' you
-% get the EC guillemets, and with `cyr,' you get the cyrillic guillemets.
-%
-% In verbatim mode, you always get the EC/TT guillemets.
-%
-% The default option is interesting in conjunction with PDF,
-% because there is a Type 1 version of the Polish CMR fonts
-% and these guillemets are very close in shape to the EC guillemets.
-% There are no free Type 1 versions of the EC fonts.
-%
-% Support for Polish CMR guillemets was kindly provided by 
-% Rolf Niepraschk <niepraschk@ptb.de> in version 0.99 (2000/05/22).
-% Bernd Raichle provided extensive simplifications to the code
-% for version 1.00.
-%
-% This package is released under the LPPL.
-%
-% Changes:
-%   Date        version
-%   2001/04/12  1.01    the frenchle and french package are now distinguished.
-%
-\def\fileversion{1.01}
-\def\filedate{2001/04/12}
-\NeedsTeXFormat{LaTeX2e}
-%\ProvidesPackage{aeguill}[2001/04/12 1.01 %    % GM
-%AE fonts with french guillemets (D. Roegel)]   % GM - keeping the log file clean(er)
-%\RequirePackage{ae}  % GM May 2007 - already embedded here
-
-\newcommand{\@ae@switch}[4]{#4}
-\DeclareOption{ec}{\renewcommand\@ae@switch[4]{#1}}
-\DeclareOption{cm}{\renewcommand\@ae@switch[4]{#2}}
-\DeclareOption{cyr}{\renewcommand\@ae@switch[4]{#3}}
-\DeclareOption{pl}{\renewcommand\@ae@switch[4]{#4}}
-\ExecuteOptions{pl}
-\ProcessOptions
-
-%
-% Load necessary packages
-%
-\@ae@switch{% ec
-  % do nothing
-}{% cm
-  \RequirePackage{latexsym}%  GM - May 2007 - already 'mentioned as required' up above
-}{% cyr
-  \RequirePackage[OT2,T1]{fontenc}%
-}{% pl
-  \RequirePackage[OT4,T1]{fontenc}%
-}
-
-% The following command will be compared to \frenchname,
-% as defined in french.sty and frenchle.sty.
-\def\aeguillfrenchdefault{french}%
-
-\let\guill@verbatim@font\verbatim@font
-\def\verbatim@font{\guill@verbatim@font\ecguills{cmtt}%
-                   \let\guillemotleft\@oguills\let\guillemotright\@fguills}
-
-\begingroup \catcode`\<=13 \catcode`\>=13
-\def\x{\endgroup
- \def\ae@lfguill{<<}%
- \def\ae@rfguill{>>}%
-}\x
-
-\newcommand{\ecguills}[1]{%
-  \def\selectguillfont{\fontencoding{T1}\fontfamily{#1}\selectfont}%
-  \def\@oguills{{\selectguillfont\symbol{19}}}%
-  \def\@fguills{{\selectguillfont\symbol{20}}}%
-  } 
-
-\newcommand{\aeguills}{%
-  \ae@guills
-  % We redefine \guillemotleft and \guillemotright
-  % in order to catch them when they are used 
-  % with \DeclareInputText (in latin1.def for instance)
-  % We use \auxWARNINGi as a safe indicator that french.sty is used.
-  \gdef\guillemotleft{\ifx\auxWARNINGi\undefined
-                         \@oguills % neither french.sty nor frenchle.sty
-                      \else
-                         \ifx\aeguillfrenchdefault\frenchname
-                           \ae@lfguill  % french.sty
-                         \else
-                           \@oguills    % frenchle.sty
-                         \fi
-                      \fi}%
-  \gdef\guillemotright{\ifx\auxWARNINGi\undefined
-                         \@fguills % neither french.sty nor frenchle.sty
-                       \else
-                         \ifx\aeguillfrenchdefault\frenchname
-                           \ae@rfguill  % french.sty
-                         \else
-                           \@fguills    % frenchle.sty
-                         \fi
-                       \fi}%
-  }
-
-%
-% Depending on the class option
-% define the internal command \ae@guills
-\@ae@switch{% ec
-  \newcommand{\ae@guills}{%
-    \ecguills{cmr}}%
-}{% cm
-  \newcommand{\ae@guills}{%
-    \def\selectguillfont{\fontencoding{U}\fontfamily{lasy}%
-            \fontseries{m}\fontshape{n}\selectfont}%
-    \def\@oguills{\leavevmode\nobreak
-                \hbox{\selectguillfont (\kern-.20em(\kern.20em}\nobreak}%
-    \def\@fguills{\leavevmode\nobreak
-                \hbox{\selectguillfont \kern.20em)\kern-.2em)}%
-                \ifdim\fontdimen\@ne\font>\z@\/\fi}}%
-}{% cyr
-  \newcommand{\ae@guills}{%
-    \def\selectguillfont{\fontencoding{OT2}\fontfamily{wncyr}\selectfont}%
-    \def\@oguills{{\selectguillfont\symbol{60}}}%
-    \def\@fguills{{\selectguillfont\symbol{62}}}}
-}{% pl
-  \newcommand{\ae@guills}{%
-    \def\selectguillfont{\fontencoding{OT4}\fontfamily{cmr}\selectfont}%
-    \def\@oguills{{\selectguillfont\symbol{174}}}%
-    \def\@fguills{{\selectguillfont\symbol{175}}}}
-}
-
-
-\AtBeginDocument{%
-  \ifx\GOfrench\undefined
-    \aeguills
-  \else
-    \let\aeguill@GOfrench\GOfrench
-    \gdef\GOfrench{\aeguill@GOfrench \aeguills}%
-  \fi
-  }
-
-\endinput
-%
-
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/sig-alternate/test.tex b/Master/texmf-dist/doc/latex/apxproof/examples/sig-alternate/test.tex
deleted file mode 100644
index 75df1e09f7a..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/sig-alternate/test.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\documentclass{sig-alternate}
-\usepackage{../../apxproof}
-\input{../common}
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/strip/lipics.cls b/Master/texmf-dist/doc/latex/apxproof/examples/strip/lipics.cls
deleted file mode 100644
index 6565f968562..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/strip/lipics.cls
+++ /dev/null
@@ -1,646 +0,0 @@
-%%
-%% This is file `lipics.cls',
-%% generated with the docstrip utility.
-%%
-%% The original source files were:
-%%
-%% lipics.dtx  (with options: `class')
-%% 
-%% -----------------------------------------------------------------
-%% Author:     le-tex publishing services
-%% 
-%% This file is part of the lipics package for preparing
-%% LIPICS articles.
-%% 
-%%       Copyright (C) 2010 Schloss Dagstuhl
-%% -----------------------------------------------------------------
-\NeedsTeXFormat{LaTeX2e}[2005/12/01]
-\ProvidesClass{lipics}
-    [2010/09/27 v1.1 LIPIcs articles]
-\emergencystretch1em
-\advance\hoffset-1in
-\advance\voffset-1in
-\advance\hoffset2.95mm
-\newif\if@nobotseplist  \@nobotseplistfalse
-\def\@endparenv{%
-  \addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue}
-\def\@doendpe{%
-  \@endpetrue
-  \def\par{\@restorepar
-           \everypar{}%
-           \par
-           \if@nobotseplist
-             \addvspace\topsep
-             \addvspace\partopsep
-             \global\@nobotseplistfalse
-           \fi
-           \@endpefalse}%
-  \everypar{{\setbox\z@\lastbox}%
-            \everypar{}%
-            \if@nobotseplist\global\@nobotseplistfalse\fi
-            \@endpefalse}}
-\def\enumerate{%
-  \ifnum \@enumdepth >\thr@@\@toodeep\else
-    \advance\@enumdepth\@ne
-    \edef\@enumctr{enum\romannumeral\the\@enumdepth}%
-    \expandafter
-    \list
-      \csname label\@enumctr\endcsname
-      {\advance\partopsep\topsep
-       \topsep\z@\@plus\p@
-       \ifnum\@listdepth=\@ne
-         \labelsep0.72em
-       \else
-         \ifnum\@listdepth=\tw@
-           \labelsep0.3em
-         \else
-           \labelsep0.5em
-         \fi
-       \fi
-       \usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}%
-  \fi}
-\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\def\itemize{%
-  \ifnum \@itemdepth >\thr@@\@toodeep\else
-    \advance\@itemdepth\@ne
-    \edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%
-    \expandafter
-    \list
-      \csname\@itemitem\endcsname
-      {\advance\partopsep\topsep
-       \topsep\z@\@plus\p@
-       \ifnum\@listdepth=\@ne
-         \labelsep0.83em
-       \else
-         \ifnum\@listdepth=\tw@
-           \labelsep0.75em
-         \else
-           \labelsep0.5em
-         \fi
-      \fi
-      \def\makelabel##1{\hss\llap{##1}}}%
-  \fi}
-\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\def\@sect#1#2#3#4#5#6[#7]#8{%
-  \ifnum #2>\c@secnumdepth
-    \let\@svsec\@empty
-  \else
-    \refstepcounter{#1}%
-    \protected@edef\@svsec{\@seccntformat{#1}\relax}%
-  \fi
-  \@tempskipa #5\relax
-  \ifdim \@tempskipa>\z@
-    \begingroup
-      #6{%
-        \@hangfrom{\hskip #3\relax
-          \ifnum #2=1
-            \colorbox[rgb]{0.99,0.78,0.07}{\kern0.15em\@svsec\kern0.15em}\quad
-          \else
-            \@svsec\quad
-          \fi}%
-          \interlinepenalty \@M #8\@@par}%
-    \endgroup
-    \csname #1mark\endcsname{#7}%
-    \addcontentsline{toc}{#1}{%
-      \ifnum #2>\c@secnumdepth \else
-        \protect\numberline{\csname the#1\endcsname}%
-      \fi
-      #7}%
-  \else
-    \def\@svsechd{%
-      #6{\hskip #3\relax
-      \@svsec #8}%
-      \csname #1mark\endcsname{#7}%
-      \addcontentsline{toc}{#1}{%
-        \ifnum #2>\c@secnumdepth \else
-          \protect\numberline{\csname the#1\endcsname}%
-        \fi
-        #7}}%
-  \fi
-  \@xsect{#5}}
-\def\@seccntformat#1{\csname the#1\endcsname}
-\def\@biblabel#1{\textcolor{darkgray}{\sffamily\bfseries#1}}
-\def\copyrightline{%
-  \ifx\@serieslogo\@empty
-  \else
-    \setbox\@tempboxa\hbox{\includegraphics[height=42\p@]{\@serieslogo}}%
-    \rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%
-          \vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%
-  \fi
-  \scriptsize
-  \vtop{\hsize\textwidth
-    \nobreakspace\\
-    \@Copyright
-    \ifx\@Event\@empty\else\@Event.\\\fi
-    \ifx\@Editors\@empty\else
-      \@Eds: \@Editors
-      ; pp. \thepage--\pageref{LastPage}%
-      \\
-    \fi
-    \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}%
-    \hspace*{\wd\@tempboxa}\enskip
-    \href{http://www.dagstuhl.de/lipics/}%
-         {Leibniz International Proceedings in Informatics}\\
-    \smash{\unhbox\@tempboxa}\enskip
-    \href{http://www.dagstuhl.de}%
-         {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}}
-\def\ps@plain{\let\@mkboth\@gobbletwo
-  \let\@oddhead\@empty
-  \let\@evenhead\@empty
-  \let\@evenfoot\copyrightline
-  \let\@oddfoot\copyrightline}
-\def\lipics@opterrshort{Option  "\CurrentOption" not supported}
-\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.}
-\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
-\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}
-                        \advance\hoffset-2.95mm
-                        \advance\voffset8.8mm}
-\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}
-\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
-\ProcessOptions
-\LoadClass[twoside,notitlepage,fleqn]{article}
-\renewcommand\normalsize{%
-   \@setfontsize\normalsize\@xpt{13}%
-   \abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@
-   \abovedisplayshortskip \z@ \@plus3\p@
-   \belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@
-   \belowdisplayskip \abovedisplayskip
-   \let\@listi\@listI}
-\normalsize
-\renewcommand\small{%
-   \@setfontsize\small\@ixpt{11.5}%
-   \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
-   \abovedisplayshortskip \z@ \@plus2\p@
-   \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
-   \def\@listi{\leftmargin\leftmargini
-               \topsep 4\p@ \@plus2\p@ \@minus2\p@
-               \parsep 2\p@ \@plus\p@ \@minus\p@
-               \itemsep \parsep}%
-   \belowdisplayskip \abovedisplayskip
-}
-\renewcommand\footnotesize{%
-   \@setfontsize\footnotesize{8.5}{9.5}%
-   \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@
-   \abovedisplayshortskip \z@ \@plus\p@
-   \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@
-   \def\@listi{\leftmargin\leftmargini
-               \topsep 3\p@ \@plus\p@ \@minus\p@
-               \parsep 2\p@ \@plus\p@ \@minus\p@
-               \itemsep \parsep}%
-   \belowdisplayskip \abovedisplayskip
-}
-\renewcommand\large{\@setfontsize\large{10.5}{13}}
-\renewcommand\Large{\@setfontsize\Large{12}{14}}
-\setlength\parindent{1.5em}
-\setlength\headheight{3mm}
-\setlength\headsep   {10mm}
-\setlength\footskip{3mm}
-\setlength\textwidth{140mm}
-\setlength\textheight{222mm}
-\setlength\oddsidemargin{32mm}
-\setlength\evensidemargin{38mm}
-\setlength\marginparwidth{25mm}
-\setlength\topmargin{13mm}
-\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@}
-\def\@listi{\leftmargin\leftmargini
-            \parsep\z@ \@plus\p@
-            \topsep 8\p@ \@plus2\p@ \@minus4\p@
-            \itemsep \parsep}
-\let\@listI\@listi
-\@listi
-\def\@listii {\leftmargin\leftmarginii
-              \labelwidth\leftmarginii
-              \advance\labelwidth-\labelsep
-              \topsep    4\p@ \@plus2\p@ \@minus\p@
-              \parsep\z@ \@plus\p@
-              \itemsep   \parsep}
-\def\@listiii{\leftmargin\leftmarginiii
-              \labelwidth\leftmarginiii
-              \advance\labelwidth-\labelsep
-              \topsep    2\p@ \@plus\p@\@minus\p@
-              \parsep    \z@
-              \partopsep \p@ \@plus\z@ \@minus\p@
-              \itemsep   \z@ \@plus\p@}
-\def\ps@headings{%
-    \def\@evenhead{\large\sffamily\bfseries
-                   \llap{\hbox to0.5\oddsidemargin{\thepage\hss}}\leftmark\hfil}%
-    \def\@oddhead{\large\sffamily\bfseries\rightmark\hfil
-                  \rlap{\hbox to0.5\oddsidemargin{\hss\thepage}}}%
-    \def\@oddfoot{\hfil
-                  \rlap{%
-                    \vtop{%
-                      \vskip10mm
-                      \colorbox[rgb]{0.99,0.78,0.07}
-                                    {\@tempdima\evensidemargin
-                                     \advance\@tempdima1in
-                                     \advance\@tempdima\hoffset
-                                     \hb@xt@\@tempdima{%
-                                       \textcolor{darkgray}{\normalsize\sffamily
-                                       \bfseries\quad
-                                       \expandafter\textsolittle
-                                       \expandafter{\@EventShortName}}%
-                                     \strut\hss}}}}}
-    \let\@evenfoot\@empty
-    \let\@mkboth\markboth
-  \let\sectionmark\@gobble
-  \let\subsectionmark\@gobble}
-\pagestyle{headings}
-\renewcommand\maketitle{\par
-  \begingroup
-    \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
-    \if@twocolumn
-      \ifnum \col@number=\@ne
-        \@maketitle
-      \else
-        \twocolumn[\@maketitle]%
-      \fi
-    \else
-      \newpage
-      \global\@topnum\z@   % Prevents figures from going at top of page.
-      \@maketitle
-    \fi
-    \thispagestyle{plain}\@thanks
-  \endgroup
-  \setcounter{footnote}{0}%
-  \global\let\thanks\relax
-  \global\let\maketitle\relax
-  \global\let\@maketitle\relax
-  \global\let\@thanks\@empty
-  \global\let\@author\@empty
-  \global\let\@date\@empty
-  \global\let\@title\@empty
-  \global\let\title\relax
-  \global\let\author\relax
-  \global\let\date\relax
-  \global\let\and\relax
-}
-\newwrite\tocfile
-\def\@maketitle{%
-  \newpage
-  \null\vskip-\baselineskip
-  \vskip-\headsep
-  \@titlerunning
-  \@authorrunning
-  \let \footnote \thanks
-  \parindent\z@ \raggedright
-    {\LARGE\sffamily\bfseries\mathversion{bold}\@title \par}%
-    \vskip 1.5em%
-    \ifnum\c@authors=0 %
-      \@latexerr{No \noexpand\author given}%
-        {Provide at least one author. See the LIPIcs class documentation.}%
-    \else
-      \@author
-    \fi
-    \bgroup
-      \let\footnote\@gobble
-      \immediate\openout\tocfile=\jobname.vtc
-      \protected@write\tocfile{}{%
-        \string\contitem
-        \string\title{\@title}%
-        \string\author{\AB@authfortoc}%
-        \string\page{\thepage}}%
-      \closeout\tocfile
-    \egroup
-  \par}
-\setcounter{secnumdepth}{4}
-\renewcommand\section{\@startsection {section}{1}{\z@}%
-                                   {-3.5ex \@plus -1ex \@minus -.2ex}%
-                                   {2.3ex \@plus.2ex}%
-                                   {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
-                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
-                                     {1.5ex \@plus .2ex}%
-                                     {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
-                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
-                                     {1.5ex \@plus .2ex}%
-                                     {\sffamily\Large\bfseries\raggedright}}
-\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
-                                    {-3.25ex \@plus-1ex \@minus-.2ex}%
-                                    {1.5ex \@plus .2ex}%
-                                    {\sffamily\large\bfseries\raggedright}}
-\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}%
-                                       {3.25ex \@plus1ex \@minus .2ex}%
-                                       {-1em}%
-                                      {\sffamily\normalsize\bfseries}}
-\setlength\leftmargini  \parindent
-\setlength\leftmarginii {1.2em}
-\setlength\leftmarginiii{1.2em}
-\setlength\leftmarginiv {1.2em}
-\setlength\leftmarginv  {1.2em}
-\setlength\leftmarginvi {1.2em}
-\renewcommand\labelenumi{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumi.}}
-\renewcommand\labelenumii{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumii.}}
-\renewcommand\labelenumiii{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiii.}}
-\renewcommand\labelenumiv{%
-  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiv.}}
-\renewcommand\labelitemi{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\ifnum\@listdepth=\@ne
-                                  \rule{0.67em}{0.33em}%
-                                \else
-                                  \rule{0.45em}{0.225em}%
-                                \fi}}
-\renewcommand\labelitemii{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\rule{0.45em}{0.225em}}}
-\renewcommand\labelitemiii{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textasteriskcentered}}
-\renewcommand\labelitemiv{%
-  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textperiodcentered}}
-\renewenvironment{description}
-               {\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@
-                        \labelwidth\z@ \itemindent-\leftmargin
-                        \let\makelabel\descriptionlabel}}
-               {\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
-\renewcommand*\descriptionlabel[1]{%
-  \hspace\labelsep\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}#1}}
-\renewenvironment{abstract}{%
-  \vskip\bigskipamount
-  \noindent
-  \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
-  \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
-    \large\selectfont\sffamily\bfseries\abstractname}}%
-  \vskip3\p@
-  \fontsize{9.5}{12.5}\selectfont
-  \noindent\ignorespaces}
-  {\ifx\@subjclass\@empty\else
-     \vskip\baselineskip\noindent
-     \subjclassHeading\@subjclass
-   \fi
-   \ifx\@keywords\@empty\else
-     \vskip\baselineskip\noindent
-     \keywordsHeading\@keywords
-   \fi
-   \ifx\@DOI\@empty\else
-     \vskip\baselineskip\noindent
-     \doiHeading\doi{\@DOI}%
-   \fi}
-\renewenvironment{thebibliography}[1]
-  {\if@noskipsec \leavevmode \fi
-   \par
-   \@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax
-   \@afterindenttrue
-   \@tempskipa -\@tempskipa \@afterindentfalse
-   \if@nobreak
-     \everypar{}%
-   \else
-     \addpenalty\@secpenalty\addvspace\@tempskipa
-   \fi
-   \noindent
-   \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
-   \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
-     \normalsize\sffamily\bfseries\refname}}%
-   \@xsect{1ex \@plus.2ex}%
-   \list{\@biblabel{\@arabic\c@enumiv}}%
-        {\leftmargin8.5mm
-         \labelsep\leftmargin
-         \settowidth\labelwidth{\@biblabel{#1}}%
-         \advance\labelsep-\labelwidth
-         \usecounter{enumiv}%
-         \let\p@enumiv\@empty
-         \renewcommand\theenumiv{\@arabic\c@enumiv}}%
-   \fontsize{9.5}{12.5}\selectfont
-   \sloppy
-   \clubpenalty4000
-   \@clubpenalty \clubpenalty
-   \widowpenalty4000%
-   \sfcode`\.\@m}
-  {\def\@noitemerr
-     {\@latex@warning{Empty `thebibliography' environment}}%
-   \endlist}
-\renewcommand\footnoterule{%
-  \kern-8\p@
-  {\color[rgb]{0.60,0.60,0.61}\hrule\@width40mm\@height1\p@}%
-  \kern6.6\p@}
-\renewcommand\@makefntext[1]{%
-    \parindent\z@\hangindent1em
-    \leavevmode
-    \hb@xt@1em{\@makefnmark\hss}#1}
-\usepackage[utf8]{inputenc}
-\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}
-\RequirePackage[T1]{fontenc}
-\RequirePackage{textcomp}
-\RequirePackage[mathscr]{eucal}
-\RequirePackage{amssymb}
-\RequirePackage{soul}
-\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%
-        {.4em\@plus.275em\@minus.183em}
-\RequirePackage{color}
-\definecolor{darkgray}{rgb}{0.31,0.31,0.33}
-\RequirePackage{babel}
-\RequirePackage[tbtags,fleqn]{amsmath}
-\RequirePackage{amsthm}
-\thm@headfont{%
-  \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}
-\def\th@remark{%
-  \thm@headfont{%
-    \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily}%
-  \normalfont % body font
-  \thm@preskip\topsep \divide\thm@preskip\tw@
-  \thm@postskip\thm@preskip
-}
-\def\@endtheorem{\endtrivlist}%\@endpefalse
-\renewcommand\qedsymbol{\textcolor{darkgray}{\ensuremath{\blacktriangleleft}}}
-\renewenvironment{proof}[1][\proofname]{\par
-  \pushQED{\qed}%
-  \normalfont \topsep6\p@\@plus6\p@\relax
-  \trivlist
-  \item[\hskip\labelsep
-        \color{darkgray}\sffamily\bfseries
-    #1\@addpunct{.}]\ignorespaces
-}{%
-  \popQED\endtrivlist%\@endpefalse
-}
-\theoremstyle{plain}
-\newtheorem{theorem}{Theorem}
-\newtheorem{lemma}[theorem]{Lemma}
-\newtheorem{corollary}[theorem]{Corollary}
-\theoremstyle{definition}
-\newtheorem{definition}[theorem]{Definition}
-\newtheorem{example}[theorem]{Example}
-\theoremstyle{remark}
-\newtheorem*{remark}{Remark}
-\ifx\numberwithinsect\relax
-  \@addtoreset{theorem}{section}
-  \edef\thetheorem{\expandafter\noexpand\thesection\@thmcountersep\@thmcounter{theorem}}
-\fi
-\RequirePackage{graphicx}
-\RequirePackage{array}
-\let\@classzold\@classz
-\def\@classz{%
-   \expandafter\ifx\d@llarbegin\begingroup
-     \toks \count@ =
-     \expandafter{\expandafter\small\the\toks\count@}%
-   \fi
-   \@classzold}
-\RequirePackage{multirow}
-\RequirePackage{tabularx}
-\RequirePackage[online]{threeparttable}
-\def\TPTtagStyle#1{#1)}
-\def\tablenotes{\small\TPT@defaults
-  \@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ]
-\RequirePackage{listings}
-\lstset{basicstyle=\small\ttfamily,%
-        backgroundcolor=\color[rgb]{0.85,0.85,0.86},%
-        frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}
-\RequirePackage{lastpage}
-\IfFileExists{doi.sty}
-  {\RequirePackage{doi}%
-   \renewcommand*{\doitext}{}}
-  {\RequirePackage{hyperref}%
-   \def\doi##1{##1}}
-\hypersetup{pdfborder={0 0 0}}
-\RequirePackage[labelsep=space,singlelinecheck=false,%
-  font={up,small},labelfont={sf,bf},%
-  listof=false]{caption}%"listof" instead of "list" for backward compatibility
-\@ifpackagelater{hyperref}{2009/12/09}
-  {\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot
-  {}
-\DeclareCaptionLabelFormat{boxed}{%
-  \kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}%
-  \hspace*{0.67em}\bothIfFirst{#1}{~}#2}
-\captionsetup{labelformat=boxed}
-\captionsetup[table]{position=top}
-\RequirePackage[figuresright]{rotating}
-\RequirePackage{subfig}
-\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}
-\def\authorrunning#1{%
-  \gdef\@authorrunning{\expandafter\def\expandafter\@tempa\expandafter{#1}%
-                       \ifx\@tempa\@empty\else\markright{#1}\fi}}
-\titlerunning{\@title}
-\authorrunning{\AB@authrunning}
-\newcommand*\volumeinfo[6]{%
-  {\gdef\@Editors{#1}%
-   \gdef\@Eds{Editor}\ifnum #2>1 \gdef\@Eds{Editors}\fi
-   \gdef\@Event{#3}%
-   \setcounter{page}{#6}}}
-\volumeinfo{}{1}{}{}{}{1}
-\RequirePackage{authblk}
-\renewcommand*\Authand{{ and }}
-\renewcommand*\Authfont{\Large\bfseries\mathversion{bold}}
-\renewcommand*\AB@authnote[1]{\textsuperscript{#1}}
-\renewcommand*\AB@affilnote[1]{\protect\item[#1]}
-\renewcommand*\Affilfont{\fontsize{9.5}{12}\selectfont}
-\setlength\affilsep{\baselineskip}
-\newcommand\AB@authrunning{}
-\newcommand\AB@authfortoc{}
-\renewcommand\author[2][]%
-      {\ifnewaffil\addtocounter{affil}{1}%
-       \edef\AB@thenote{\arabic{affil}}\fi
-      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
-        \setcounter{Maxaffil}{0}\fi
-      \ifnum\value{authors}>1\relax
-      \@namedef{@sep\number\c@authors}{\Authsep}\fi
-      \addtocounter{authors}{1}%
-      \begingroup
-          \let\protect\@unexpandable@protect \let\and\AB@pand
-          \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
-         \@temptokena=\expandafter{\AB@authors}%
-         {\def\\{\protect\\[\@affilsep]\protect\Affilfont
-              \protect\AB@resetsep}%
-              \xdef\AB@author{\AB@blk@and#2}%
-       \ifnewaffil\gdef\AB@las{}\gdef\AB@lasx{\protect\Authand}\gdef\AB@as{}%
-           \xdef\AB@authors{\the\@temptokena\AB@blk@and}%
-       \else
-          \xdef\AB@authors{\the\@temptokena\AB@as\AB@au@str}%
-          \global\let\AB@las\AB@lasx\gdef\AB@lasx{\protect\Authands}%
-          \gdef\AB@as{\Authsep}%
-       \fi
-       \gdef\AB@au@str{#2}}%
-         \@temptokena=\expandafter{\AB@authlist}%
-         \let\\=\authorcr
-         \xdef\AB@authlist{\the\@temptokena
-           \protect\@nameuse{@sep\number\c@authors}%
-           \protect\Authfont#2\AB@authnote{\AB@note}}%
-         %new
-         \@temptokena=\expandafter{\AB@authrunning}%
-         \let\\=\authorcr
-         \xdef\AB@authrunning{\the\@temptokena
-           \protect\@nameuse{@sep\number\c@authors}#2}%
-         %
-         %new
-         \@temptokena=\expandafter{\AB@authfortoc}%
-         \let\\=\authorcr
-         \xdef\AB@authfortoc{\the\@temptokena
-           \expandafter\noexpand\csname @sep\number\c@authors\endcsname#2}%
-         %
-      \endgroup
-      \ifnum\value{authors}>2\relax
-      \@namedef{@sep\number\c@authors}{\Authands}\fi
-      \newaffilfalse
-}
-\renewcommand\affil[2][]%
-   {\newaffiltrue\let\AB@blk@and\AB@pand
-      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
-        \setcounter{Maxaffil}{0}\fi
-      \begingroup
-        \let\protect\@unexpandable@protect
-        \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
-        \@temptokena=\expandafter{\AB@authors}%
-        {\def\\{\protect\\\protect\Affilfont}\xdef\AB@temp{#2}}%
-         \xdef\AB@authors{\the\@temptokena\AB@las\AB@au@str
-         \protect\\[\affilsep]\protect\Affilfont\AB@temp}%
-         \gdef\AB@las{}\gdef\AB@au@str{}%
-        {\xdef\AB@temp{#2}}%
-        \@temptokena=\expandafter{\AB@affillist}%
-        \xdef\AB@affillist{\the\@temptokena \AB@affilsep
-          \AB@affilnote{\AB@note}\protect\Affilfont\AB@temp}%
-      \endgroup
-       \let\AB@affilsep\AB@affilsepx}
-\renewcommand\@author{\ifx\AB@affillist\AB@empty\AB@authrunning\else
-      \ifnum\value{affil}>\value{Maxaffil}\def\rlap##1{##1}%
-    \AB@authlist\\[\affilsep]
-    \labelwidth1.5em\labelsep\z@\leftmargini\labelwidth
-    \edef\@enumctr{enumi}%
-    \list\theenumi{\usecounter\@enumctr\def\makelabel##1{\rlap{##1}\hss}}%
-      \AB@affillist
-    \endlist
-    \else  \AB@authors\fi\fi}
-\newcommand*\Copyright[1]{%
-  \def\@Copyright{%
-      \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,clip]{cc-by}}%
-      \hspace*{\wd\@tempboxa}\enskip\ifx#1\@empty \else \textcopyright\ #1;\\\fi
-      \href{http://creativecommons.org/licenses/by/3.0/}%
-           {\smash{\unhbox\@tempboxa}}\enskip
-            licensed under Creative Commons License CC-BY\\
-    }}
-\Copyright{\@empty}
-\def\keywords#1{\def\@keywords{#1}}
-\let\@keywords\@empty
-\def\keywordsHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       Keywords and phrases\enskip}}
-\def\subjclass#1{\gdef\@subjclass{#1}}
-\let\@subjclass\@empty
-\def\subjclassHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       1998 ACM Subject Classification\enskip}}
-\def\doiHeading{%
-  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
-                       Digital Object Identifier\enskip}}
-\def\serieslogo#1{\gdef\@serieslogo{#1}}
-\serieslogo{}
-\def\EventShortName#1{\gdef\@EventShortName{#1}}
-\EventShortName{}
-\def\DOI#1{\gdef\@DOI{#1}}
-\DOI{}
-\endinput
-%%
-%% End of file `lipics.cls'.
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/strip/test.tex b/Master/texmf-dist/doc/latex/apxproof/examples/strip/test.tex
deleted file mode 100644
index 629b00fa7ca..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/strip/test.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\documentclass[USenglish]{lipics}
-\usepackage[appendix=strip]{../../apxproof}
-\input{../common}
diff --git a/Master/texmf-dist/source/latex/apxproof/apxproof.dtx b/Master/texmf-dist/source/latex/apxproof/apxproof.dtx
index cfa587ccb9f..ac3ac109b81 100644
--- a/Master/texmf-dist/source/latex/apxproof/apxproof.dtx
+++ b/Master/texmf-dist/source/latex/apxproof/apxproof.dtx
@@ -24,7 +24,7 @@
 % \iffalse
 %<package>\NeedsTeXFormat{LaTeX2e}[2005/12/01]
 %<package>\ProvidesPackage{apxproof}
-%<package>  [2016/10/31 v1.0.0 Automatic proofs in appendix]
+%<package>  [2016/11/07 v1.0.1 Automatic proofs in appendix]
 %
 %<*driver>
 \documentclass{ltxdoc}
@@ -44,7 +44,7 @@
 %</driver>
 % \fi
 %
-% \CheckSum{433}
+% \CheckSum{444}
 %
 % \CharacterTable
 %  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
@@ -63,6 +63,8 @@
 %   Right brace   \}     Tilde         \~}
 %
 % \changes{v1.0.0}{2016/10/31}{Initial released version}
+% \changes{v1.0.1}{2016/11/07}{Prevent empty bibliography environment;
+% fix typos}
 % 
 % \GetFileInfo{apxproof.sty}
 %
@@ -89,7 +91,7 @@
 % This package makes it easier to write articles where proofs and other material
 % are deferred to the appendix. The appendix material is written in the \LaTeX{}
 % code along with the main text which it naturally complements, and it is
-% automatically deferred. The package can automatically send proofs in the
+% automatically deferred. The package can automatically send proofs to the
 % appendix, can repeat in the appendix the theorem environments stated in the
 % main text, can section the appendix automatically based on the sectioning of
 % the main text, and supports a separate bibliography for the appendix material.
@@ -169,7 +171,7 @@ This proof is in the appendix.
 % theorem, \meta{counter} (e.g., |definition|) is an optional counter describing
 % from which kind of enviroment should the numbering of these environments be
 % inherited, and \meta{title}
-% (e.g., |Theorem| is
+% (e.g., |Theorem|) is
 % the title that will be used to display this theorem environment. What
 % differs from |\newtheorem| is that, when the following is written:
 % \begin{quote}
@@ -926,7 +928,8 @@ This is a citation in the appendix~\cite{proofsAreHard}.
 % \end{macro}
 % After the end of the main text, we add the appendix (on a new page, set
 % in single-column mode) within a |bibunit| environment so as to typeset
-% a separate bibliography for the appendix.
+% a separate bibliography for the appendix. There is an extra test to
+% ensure an empty bibliography environment is not produced.
 %    \begin{macrocode}
     \AtEndDocument{
       \clearpage\onecolumn\appendix
@@ -934,6 +937,9 @@ This is a citation in the appendix~\cite{proofsAreHard}.
         \immediate\closeout\axp@proofsfile
         \input{\jobname.axp}
         \renewcommand{\refname}{\appendixrefname}
+        \let\axp@oldthebibliography\thebibliography
+        \renewcommand\thebibliography[1]{%
+          \ifx\relax#1\relax\else\axp@oldthebibliography{#1}\fi}
         \appendixbibliographyprelim
         \putbib
       \end{bibunit}
diff --git a/Master/texmf-dist/tex/latex/apxproof/apxproof.sty b/Master/texmf-dist/tex/latex/apxproof/apxproof.sty
index ebb546fd8d6..9fcaa834947 100644
--- a/Master/texmf-dist/tex/latex/apxproof/apxproof.sty
+++ b/Master/texmf-dist/tex/latex/apxproof/apxproof.sty
@@ -27,7 +27,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2005/12/01]
 \ProvidesPackage{apxproof}
-  [2016/10/31 v1.0.0 Automatic proofs in appendix]
+  [2016/11/07 v1.0.1 Automatic proofs in appendix]
 \RequirePackage{bibunits}
 \RequirePackage{environ}
 \RequirePackage{etoolbox}
@@ -244,6 +244,9 @@
         \immediate\closeout\axp@proofsfile
         \input{\jobname.axp}
         \renewcommand{\refname}{\appendixrefname}
+        \let\axp@oldthebibliography\thebibliography
+        \renewcommand\thebibliography[1]{%
+          \ifx\relax#1\relax\else\axp@oldthebibliography{#1}\fi}
         \appendixbibliographyprelim
         \putbib
       \end{bibunit}