lexing: thys2/Paper/document/lipics-v2021.cls@a7344c9afbaf (annotated)

396 cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	2	%% This is file `lipics-v2021.cls'.
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	3	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	4	%% -----------------------------------------------------------------
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	5	%% Author: Dagstuhl Publishing & le-tex publishing services
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	6	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	7	%% This file is part of the lipics package for preparing
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	8	%% LIPICS articles.
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	9	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	10	%% Copyright (C) 2021 Schloss Dagstuhl
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	11	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	12	%% This work may be distributed and/or modified under the
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	13	%% conditions of the LaTeX Project Public License, either version 1.3
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	14	%% of this license or (at your option) any later version.
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	15	%% The latest version of this license is in
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	16	%% http://www.latex-project.org/lppl.txt
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	17	%% and version 1.3 or later is part of all distributions of LaTeX
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	18	%% version 2005/12/01 or later.
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	19	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	20	%% This work has the LPPL maintenance status `maintained'.
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	21	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	22	%% The Current Maintainer of this work is
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	23	%% Schloss Dagstuhl (publishing@dagstuhl.de).
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	24	%% -----------------------------------------------------------------
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	25	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	26	\ProvidesClass{lipics-v2021}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	27	[2021/05/04 v3.1.2 LIPIcs articles]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	28	\NeedsTeXFormat{LaTeX2e}[2015/01/01]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	29	\emergencystretch1em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	30	\advance\hoffset-1in
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	31	\advance\voffset-1in
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	32	\advance\hoffset2.95mm
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	33	\newif\if@nobotseplist \@nobotseplistfalse
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	34	\def\@endparenv{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	35	\addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	36	\def\@doendpe{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	37	\@endpetrue
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	38	\def\par{\@restorepar
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	39	\everypar{}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	40	\par
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	41	\if@nobotseplist
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	42	\addvspace\topsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	43	\addvspace\partopsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	44	\global\@nobotseplistfalse
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	45	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	46	\@endpefalse}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	47	\everypar{{\setbox\z@\lastbox}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	48	\everypar{}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	49	\if@nobotseplist\global\@nobotseplistfalse\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	50	\@endpefalse}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	51	\def\enumerate{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	52	\ifnum \@enumdepth >\thr@@\@toodeep\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	53	\advance\@enumdepth\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	54	\edef\@enumctr{enum\romannumeral\the\@enumdepth}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	55	\expandafter
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	56	\list
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	57	\csname label\@enumctr\endcsname
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	58	{\advance\partopsep\topsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	59	\topsep\z@\@plus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	60	\ifnum\@listdepth=\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	61	\labelsep0.72em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	62	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	63	\ifnum\@listdepth=\tw@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	64	\labelsep0.3em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	65	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	66	\labelsep0.5em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	67	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	68	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	69	\usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	70	\fi}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	71	\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	72	\def\itemize{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	73	\ifnum \@itemdepth >\thr@@\@toodeep\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	74	\advance\@itemdepth\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	75	\edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	76	\expandafter
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	77	\list
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	78	\csname\@itemitem\endcsname
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	79	{\advance\partopsep\topsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	80	\topsep\z@\@plus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	81	\ifnum\@listdepth=\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	82	\labelsep0.83em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	83	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	84	\ifnum\@listdepth=\tw@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	85	\labelsep0.75em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	86	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	87	\labelsep0.5em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	88	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	89	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	90	\def\makelabel##1{\hss\llap{##1}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	91	\fi}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	92	\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	93	\def\@title{\textcolor{red}{Author: Please provide a title}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	94	\let\@subtitle\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	95	\def\subtitle#1{\gdef\@subtitle{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	96	\def\subtitleseperator{: }
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	97	\def\@sect#1#2#3#4#5#6[#7]#8{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	98	\ifnum #2>\c@secnumdepth
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	99	\let\@svsec\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	100	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	101	\refstepcounter{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	102	\protected@edef\@svsec{\@seccntformat{#1}\relax}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	103	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	104	\@tempskipa #5\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	105	\ifdim \@tempskipa>\z@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	106	\begingroup
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	107	#6{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	108	\@hangfrom{\hskip #3\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	109	\ifnum #2=1
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	110	\colorbox{lipicsYellow}{\kern0.15em\@svsec\kern0.15em}\quad
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	111	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	112	\@svsec\quad
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	113	\fi}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	114	\interlinepenalty \@M #8\@@par}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	115	\endgroup
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	116	\csname #1mark\endcsname{#7}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	117	\addcontentsline{toc}{#1}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	118	\ifnum #2>\c@secnumdepth \else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	119	\protect\numberline{\csname the#1\endcsname}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	120	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	121	#7}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	122	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	123	\def\@svsechd{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	124	#6{\hskip #3\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	125	\@svsec #8}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	126	\csname #1mark\endcsname{#7}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	127	\addcontentsline{toc}{#1}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	128	\ifnum #2>\c@secnumdepth \else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	129	\protect\numberline{\csname the#1\endcsname}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	130	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	131	#7}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	132	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	133	\@xsect{#5}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	134	\def\@seccntformat#1{\csname the#1\endcsname}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	135	\def\@biblabel#1{\textcolor{lipicsGray}{\sffamily\bfseries#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	136	\def\EventLogoHeight{25}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	137	\def\copyrightline{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	138	\ifx\@hideLIPIcs\@undefined
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	139	\ifx\@EventLogo\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	140	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	141	\setbox\@tempboxa\hbox{\includegraphics[height=\EventLogoHeight\p@]{\@EventLogo}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	142	\rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	143	\vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	144	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	145	\scriptsize
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	146	\vtop{\hsize\textwidth
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	147	\nobreakspace\par
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	148	\@Copyright
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	149	\ifx\@EventLongTitle\@empty\else\@EventLongTitle.\\\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	150	\ifx\@EventEditors\@empty\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	151	\@Eds: \@EventEditors
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	152	; Article~No.\,\@ArticleNo; pp.\,\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	153	\\
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	154	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	155	\setbox\@tempboxa\hbox{\IfFileExists{lipics-logo-bw.pdf}{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}{\includegraphics[height=14\p@, width=62pt]{example-image-plain}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	156	\hspace*{\wd\@tempboxa}\enskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	157	\href{https://www.dagstuhl.de/lipics/}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	158	{Leibniz International Proceedings in Informatics}\\
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	159	\smash{\unhbox\@tempboxa}\enskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	160	\href{https://www.dagstuhl.de}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	161	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	162	\fi}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	163	\def\ps@plain{\let\@mkboth\@gobbletwo
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	164	\let\@oddhead\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	165	\let\@evenhead\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	166	\let\@evenfoot\copyrightline
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	167	\let\@oddfoot\copyrightline}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	168	\def\lipics@opterrshort{Option "\CurrentOption" not supported}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	169	\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	170	\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	171	\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	172	\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	173	\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	174	\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	175	\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	176	\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	177	\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	178	\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	179	\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	180	\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	181	\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	182	\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	183	\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	184	\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	185	\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	186	\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	187	\advance\hoffset-2.95mm
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	188	\advance\voffset8.8mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	189	\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	190	\DeclareOption{cleveref}{\let\usecleveref\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	191	\DeclareOption{autoref}{\let\useautoref\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	192	\DeclareOption{anonymous}{\let\authoranonymous\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	193	\DeclareOption{thm-restate}{\let\usethmrestate\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	194	\DeclareOption{authorcolumns}{\let\authorcolumns\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	195	\let\compactauthor\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	196	\DeclareOption{oldauthorstyle}{\let\compactauthor\@empty}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	197	\DeclareOption{compactauthor}{\let\compactauthor\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	198	\DeclareOption{pdfa}{\let\pdfa\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	199	\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	200	\ProcessOptions
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	201	\LoadClass[twoside,notitlepage,fleqn]{article}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	202	\renewcommand\normalsize{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	203	\@setfontsize\normalsize\@xpt{13}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	204	\abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	205	\abovedisplayshortskip \z@ \@plus3\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	206	\belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	207	\belowdisplayskip \abovedisplayskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	208	\let\@listi\@listI}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	209	\normalsize
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	210	\renewcommand\small{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	211	\@setfontsize\small\@ixpt{11.5}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	212	\abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	213	\abovedisplayshortskip \z@ \@plus2\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	214	\belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	215	\def\@listi{\leftmargin\leftmargini
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	216	\topsep 4\p@ \@plus2\p@ \@minus2\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	217	\parsep 2\p@ \@plus\p@ \@minus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	218	\itemsep \parsep}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	219	\belowdisplayskip \abovedisplayskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	220	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	221	\renewcommand\footnotesize{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	222	\@setfontsize\footnotesize{8.5}{9.5}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	223	\abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	224	\abovedisplayshortskip \z@ \@plus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	225	\belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	226	\def\@listi{\leftmargin\leftmargini
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	227	\topsep 3\p@ \@plus\p@ \@minus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	228	\parsep 2\p@ \@plus\p@ \@minus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	229	\itemsep \parsep}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	230	\belowdisplayskip \abovedisplayskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	231	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	232	\renewcommand\large{\@setfontsize\large{10.5}{13}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	233	\renewcommand\Large{\@setfontsize\Large{12}{14}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	234	\setlength\parindent{1.5em}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	235	\setlength\headheight{3mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	236	\setlength\headsep {10mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	237	\setlength\footskip{3mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	238	\setlength\textwidth{140mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	239	\setlength\textheight{222mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	240	\setlength\oddsidemargin{32mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	241	\setlength\evensidemargin{38mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	242	\setlength\marginparwidth{25mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	243	\setlength\topmargin{13mm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	244	\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	245	\def\@listi{\leftmargin\leftmargini
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	246	\parsep\z@ \@plus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	247	\topsep 8\p@ \@plus2\p@ \@minus4\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	248	\itemsep \parsep}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	249	\let\@listI\@listi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	250	\@listi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	251	\def\@listii {\leftmargin\leftmarginii
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	252	\labelwidth\leftmarginii
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	253	\advance\labelwidth-\labelsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	254	\topsep 4\p@ \@plus2\p@ \@minus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	255	\parsep\z@ \@plus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	256	\itemsep \parsep}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	257	\def\@listiii{\leftmargin\leftmarginiii
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	258	\labelwidth\leftmarginiii
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	259	\advance\labelwidth-\labelsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	260	\topsep 2\p@ \@plus\p@\@minus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	261	\parsep \z@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	262	\partopsep \p@ \@plus\z@ \@minus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	263	\itemsep \z@ \@plus\p@}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	264	\def\ps@headings{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	265	\def\@evenhead{\large\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	266	\llap{\hbox to0.5\oddsidemargin{ \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage\hss}}\leftmark\hfil}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	267	\def\@oddhead{\large\sffamily\bfseries\rightmark\hfil
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	268	\rlap{\hbox to0.5\oddsidemargin{\hss \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	269	\def\@oddfoot{\hfil
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	270	\rlap{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	271	\vtop{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	272	\vskip10mm
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	273	\colorbox{lipicsYellow}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	274	{\@tempdima\evensidemargin
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	275	\advance\@tempdima1in
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	276	\advance\@tempdima\hoffset
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	277	\hb@xt@\@tempdima{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	278	\ifx\@hideLIPIcs\@undefined
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	279	\textcolor{lipicsGray}{\normalsize\sffamily
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	280	\bfseries\quad
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	281	\expandafter\textsolittle
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	282	\expandafter{\@EventShortTitle}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	283	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	284	\strut\hss}}}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	285	\let\@evenfoot\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	286	\let\@mkboth\markboth
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	287	\let\sectionmark\@gobble
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	288	\let\subsectionmark\@gobble}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	289	\pagestyle{headings}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	290	\renewcommand\maketitle{\par
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	291	\begingroup
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	292	\thispagestyle{plain}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	293	\renewcommand\thefootnote{\@fnsymbol\c@footnote}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	294	\if@twocolumn
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	295	\ifnum \col@number=\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	296	\@maketitle
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	297	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	298	\twocolumn[\@maketitle]%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	299	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	300	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	301	\newpage
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	302	\global\@topnum\z@ % Prevents figures from going at top of page.
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	303	\@maketitle
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	304	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	305	\thispagestyle{plain}\@thanks
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	306	\endgroup
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	307	\global\let\thanks\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	308	\global\let\maketitle\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	309	\global\let\@maketitle\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	310	\global\let\@thanks\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	311	\global\let\@author\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	312	\global\let\@date\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	313	\global\let\@title\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	314	\global\let\@subtitle\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	315	\global\let\title\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	316	\global\let\author\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	317	\global\let\date\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	318	\global\let\and\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	319	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	320	\newwrite\tocfile
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	321	\def\@maketitle{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	322	\newpage
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	323	\null\vskip-\baselineskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	324	\vskip-\headsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	325	\@titlerunning
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	326	\@authorrunning
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	327	%%\let \footnote \thanks
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	328	\parindent\z@ \raggedright
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	329	\if!\@title!\def\@title{\textcolor{red}{Author: Please fill in a title}}\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	330	{\LARGE\sffamily\bfseries\mathversion{bold}\@title \if!\@subtitle!\else{\\\Large\sffamily\bfseries\mathversion{bold}\@subtitle}\fi \par}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	331	\vskip 1em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	332	\ifx\@author\orig@author
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	333	\textcolor{red}{Author: Please provide author information}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	334	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	335	{\def\thefootnote{\@arabic\c@footnote}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	336	\setcounter{footnote}{0}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	337	\fontsize{9.5}{12}\selectfont\@author}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	338	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	339	\bgroup
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	340	\immediate\openout\tocfile=\jobname.vtc
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	341	\protected@write\tocfile{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	342	\let\footnote\@gobble
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	343	\let\thanks\@gobble
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	344	\def\footnotemark{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	345	\def\and{and }%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	346	\def\,{ }
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	347	\def\\{ }
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	348	}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	349	\string\contitem
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	350	\string\title{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	351	\string\author{\@authorsfortoc}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	352	\string\page{\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	353	\closeout\tocfile
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	354	\egroup
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	355	\par}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	356	\renewcommand\tableofcontents{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	357	\section*{\contentsname}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	358	\@starttoc{toc}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	359	\setcounter{secnumdepth}{4}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	360	\renewcommand\section{\@startsection {section}{1}{\z@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	361	{-3.5ex \@plus -1ex \@minus -.2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	362	{2.3ex \@plus.2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	363	{\sffamily\Large\bfseries\raggedright}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	364	\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	365	{-3.25ex\@plus -1ex \@minus -.2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	366	{1.5ex \@plus .2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	367	{\sffamily\Large\bfseries\raggedright}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	368	\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	369	{-3.25ex\@plus -1ex \@minus -.2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	370	{1.5ex \@plus .2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	371	{\sffamily\Large\bfseries\raggedright}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	372	\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	373	{-3.25ex \@plus-1ex \@minus-.2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	374	{1.5ex \@plus .2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	375	{\sffamily\large\bfseries\raggedright}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	376	\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	377	{3.25ex \@plus1ex \@minus .2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	378	{-1em}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	379	{\sffamily\normalsize\bfseries}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	380	\newcommand{\proofsubparagraph}{\@startsection{subparagraph}{5}{\z@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	381	{3.25ex \@plus1ex \@minus .2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	382	{-1em}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	383	{\color{lipicsGray}\sffamily\normalsize\bfseries}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	384	\setlength\leftmargini \parindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	385	\setlength\leftmarginii {1.2em}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	386	\setlength\leftmarginiii{1.2em}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	387	\setlength\leftmarginiv {1.2em}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	388	\setlength\leftmarginv {1.2em}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	389	\setlength\leftmarginvi {1.2em}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	390	\renewcommand\labelenumi{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	391	\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumi.}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	392	\renewcommand\labelenumii{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	393	\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumii.}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	394	\renewcommand\labelenumiii{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	395	\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiii.}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	396	\renewcommand\labelenumiv{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	397	\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiv.}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	398	\renewcommand\labelitemi{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	399	\textcolor{lipicsBulletGray}{\ifnum\@listdepth=\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	400	\rule{0.67em}{0.33em}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	401	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	402	\rule{0.45em}{0.225em}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	403	\fi}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	404	\renewcommand\labelitemii{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	405	\textcolor{lipicsBulletGray}{\rule{0.45em}{0.225em}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	406	\renewcommand\labelitemiii{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	407	\textcolor{lipicsBulletGray}{\sffamily\bfseries\textasteriskcentered}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	408	\renewcommand\labelitemiv{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	409	\textcolor{lipicsBulletGray}{\sffamily\bfseries\textperiodcentered}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	410	\renewenvironment{description}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	411	{\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	412	\labelwidth\z@ \itemindent-\leftmargin
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	413	\let\makelabel\descriptionlabel}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	414	{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	415	\renewcommand*\descriptionlabel[1]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	416	\hspace\labelsep\textcolor{lipicsGray}{\sffamily\bfseries\mathversion{bold}#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	417	\def\topmattervskip{0.7}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	418	\renewenvironment{abstract}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	419	\vskip\topmattervskip\bigskipamount
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	420	\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	421	\rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	422	\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	423	\large\selectfont\sffamily\bfseries\abstractname}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	424	\vskip3\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	425	\fontsize{9}{12}\selectfont
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	426	\noindent\ignorespaces}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	427	{\vskip\topmattervskip\baselineskip\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	428	\subjclassHeading
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	429	\ifx\@ccsdescString\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	430	\textcolor{red}{Author: Please fill in 1 or more \string\ccsdesc\space macro}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	431	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	432	\@ccsdescString
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	433	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	434	\vskip\topmattervskip\baselineskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	435	\noindent\keywordsHeading
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	436	\ifx\@keywords\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	437	\textcolor{red}{Author: Please fill in \string\keywords\space macro}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	438	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	439	\@keywords
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	440	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	441	\ifx\@hideLIPIcs\@undefined
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	442	\ifx\@DOIPrefix\@empty\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	443	\vskip\topmattervskip\baselineskip\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	444	\doiHeading\href{https://doi.org/\@lipicsdoi}{\@lipicsdoi}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	445	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	446	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	447	\ifx\@category\@empty\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	448	\vskip\topmattervskip\baselineskip\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	449	\categoryHeading\@category
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	450	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	451	\ifx\@relatedversion\@empty\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	452	\vskip\topmattervskip\baselineskip\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	453	\relatedversionHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous related version(s)}\else\@relatedversion\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	454	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	455	\ifx\@supplement\@empty\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	456	\vskip\topmattervskip\baselineskip\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	457	\supplementHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous supplementary material}\else\@supplement\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	458	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	459	\ifx\@funding\@empty\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	460	\vskip\topmattervskip\baselineskip\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	461	\fundingHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous funding}\else\@funding\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	462	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	463	\ifx\@acknowledgements\@empty\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	464	\vskip\topmattervskip\baselineskip\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	465	\acknowledgementsHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous acknowledgements} \else\@acknowledgements\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	466	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	467	\protected@write\@auxout{}{\string\gdef\string\@pageNumberEndAbstract{\thepage}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	468	}% end abstract
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	469	\renewenvironment{thebibliography}[1]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	470	{\if@noskipsec \leavevmode \fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	471	\par
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	472	\@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	473	\@afterindenttrue
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	474	\@tempskipa -\@tempskipa \@afterindentfalse
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	475	\if@nobreak
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	476	\everypar{}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	477	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	478	\addpenalty\@secpenalty\addvspace\@tempskipa
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	479	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	480	\noindent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	481	\rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	482	\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	483	\normalsize\sffamily\bfseries\refname}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	484	\@xsect{1ex \@plus.2ex}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	485	\list{\@biblabel{\@arabic\c@enumiv}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	486	{\leftmargin8.5mm
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	487	\labelsep\leftmargin
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	488	\settowidth\labelwidth{\@biblabel{#1}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	489	\advance\labelsep-\labelwidth
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	490	\usecounter{enumiv}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	491	\let\p@enumiv\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	492	\renewcommand\theenumiv{\@arabic\c@enumiv}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	493	\fontsize{9}{12}\selectfont
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	494	\sloppy
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	495	\clubpenalty4000
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	496	\@clubpenalty \clubpenalty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	497	\widowpenalty4000%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	498	\sfcode`\.\@m\protected@write\@auxout{}{\string\gdef\string\@pageNumberStartBibliography{\thepage}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	499	{\def\@noitemerr
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	500	{\@latex@warning{Empty `thebibliography' environment}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	501	\protected@write\@auxout{}{\string\gdef\string\@pageNumberEndBibliography{\thepage}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	502	\endlist}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	503	\g@addto@macro\appendix{\immediate\write\@auxout{\string\gdef\string\@pageNumberStartAppendix{\thepage}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	504	\renewcommand\footnoterule{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	505	\kern-8\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	506	{\color{lipicsBulletGray}\hrule\@width40mm\@height1\p@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	507	\kern6.6\p@}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	508	\renewcommand\@makefntext[1]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	509	\parindent\z@\hangindent1em
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	510	\leavevmode
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	511	\hb@xt@1em{\@makefnmark\hss}#1}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	512	\usepackage{microtype}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	513	\usepackage[utf8]{inputenc}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	514	\ifx\pdfa\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	515	\IfFileExists{glyphtounicode.tex}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	516	\input glyphtounicode
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	517	\pdfgentounicode=1
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	518	}{}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	519	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	520	\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	521	\IfFileExists{fontawesome5.sty}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	522	\RequirePackage{fontawesome5}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	523	\IfFileExists{orcid.pdf}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	524	\def\orcidsymbol{\includegraphics[height=9\p@]{orcid}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	525	}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	526	\def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faOrcid}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	527	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	528	\def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faIcon[regular]{envelope}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	529	\def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faHome}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	530	}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	531	\ClassWarning{Package fontawesome5 not installed}{Please install package fontawesome5}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	532	\def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries ORCID}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	533	\def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries @}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	534	\def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries H}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	535	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	536	\RequirePackage[T1]{fontenc}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	537	\RequirePackage{textcomp}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	538	\RequirePackage[mathscr]{eucal}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	539	\RequirePackage{amssymb}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	540	\PassOptionsToPackage{retainmissing}{MnSymbol}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	541	\AtBeginDocument{\@ifpackageloaded{MnSymbol}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	542	{\expandafter\let\csname ver@amssymb.sty\endcsname\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	543	\let\complement\@undefined
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	544	\RequirePackage{amssymb}}{}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	545	\RequirePackage{soul}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	546	\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	547	{.4em\@plus.275em\@minus.183em}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	548	\RequirePackage{color} %kept for backward compatibility
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	549	\AtBeginDocument{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	550	\@ifpackageloaded{xcolor}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	551	}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	552	\RequirePackage{xcolor}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	553	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	554	\definecolor{darkgray}{rgb}{0.31,0.31,0.33}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	555	\definecolor[named]{lipicsGray}{rgb}{0.31,0.31,0.33}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	556	\definecolor[named]{lipicsBulletGray}{rgb}{0.60,0.60,0.61}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	557	\definecolor[named]{lipicsLineGray}{rgb}{0.51,0.50,0.52}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	558	\definecolor[named]{lipicsLightGray}{rgb}{0.85,0.85,0.86}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	559	\definecolor[named]{lipicsYellow}{rgb}{0.99,0.78,0.07}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	560	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	561	\RequirePackage{babel}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	562	\RequirePackage[tbtags,fleqn]{amsmath}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	563	\AtBeginDocument{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	564	\@ifpackageloaded{enumitem}{\ClassWarning{Package 'enumitem' incompatible}{Don't use package 'enumitem'; Package enumerate preloaded!}}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	565	\@ifpackageloaded{paralist}{\ClassWarning{Package 'paralist' incompatible}{Don't use package 'paralist'; Package enumerate preloaded!}}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	566	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	567	\RequirePackage{enumerate}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	568	\def\@enum@{\list{\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\csname label\@enumctr\endcsname}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	569	{\advance\partopsep\topsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	570	\topsep\z@\@plus\p@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	571	\usecounter{\@enumctr}\def\makelabel##1{\hss\llap{##1}}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	572	\def\romanenumerate{\enumerate[(i)]}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	573	\let\endromanenumerate\endenumerate
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	574	\def\alphaenumerate{\enumerate[(a)]}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	575	\let\endalphaenumerate\endenumerate
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	576	\def\bracketenumerate{\enumerate[(1)]}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	577	\let\endbracketenumerate\endenumerate
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	578	\RequirePackage{graphicx}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	579	\RequirePackage{array}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	580	\let\@classzold\@classz
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	581	\def\@classz{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	582	\expandafter\ifx\d@llarbegin\begingroup
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	583	\toks \count@ =
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	584	\expandafter{\expandafter\small\the\toks\count@}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	585	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	586	\@classzold}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	587	\RequirePackage{multirow}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	588	\RequirePackage{tabularx}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	589	\RequirePackage[online]{threeparttable}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	590	\def\TPTtagStyle#1{#1)}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	591	\def\tablenotes{\small\TPT@defaults
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	592	\@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	593	\RequirePackage{listings}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	594	\lstset{basicstyle=\small\ttfamily,%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	595	backgroundcolor=\color{lipicsLightGray},%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	596	frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	597	\RequirePackage[left,mathlines]{lineno}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	598	\linenumbers
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	599	\renewcommand\linenumberfont{\normalfont\tiny\sffamily}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	600	%%%% patch to cope with amsmath
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	601	%%%% http://phaseportrait.blogspot.de/2007/08/lineno-and-amsmath-compatibility.html
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	602	\newcommand*\patchAmsMathEnvironmentForLineno[1]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	603	\expandafter\let\csname old#1\expandafter\endcsname\csname #1\endcsname
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	604	\expandafter\let\csname oldend#1\expandafter\endcsname\csname end#1\endcsname
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	605	\renewenvironment{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	606	{\linenomath\csname old#1\endcsname}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	607	{\csname oldend#1\endcsname\endlinenomath}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	608	\newcommand*\patchBothAmsMathEnvironmentsForLineno[1]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	609	\patchAmsMathEnvironmentForLineno{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	610	\patchAmsMathEnvironmentForLineno{#1*}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	611	\AtBeginDocument{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	612	\patchBothAmsMathEnvironmentsForLineno{equation}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	613	\patchBothAmsMathEnvironmentsForLineno{align}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	614	\patchBothAmsMathEnvironmentsForLineno{flalign}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	615	\patchBothAmsMathEnvironmentsForLineno{alignat}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	616	\patchBothAmsMathEnvironmentsForLineno{gather}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	617	\patchBothAmsMathEnvironmentsForLineno{multline}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	618	\let\usehyperxmp\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	619	\ifx\pdfa\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	620	\IfFileExists{hyperxmp.sty}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	621	\RequirePackage{hyperxmp}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	622	\@ifpackagelater{hyperxmp}{2019/04/05}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	623	\let\usehyperxmp\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	624	}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	625	\ClassWarning{Package hyperxmp outdated}{You are using an outdated version of the package hyperxmp. Please update!}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	626	}}{}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	627	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	628	\IfFileExists{totpages.sty}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	629	\RequirePackage{totpages}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	630	}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	631	\ClassWarning{Package totpages not installed}{Please install package totpages}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	632	\newcounter{TotPages}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	633	\setcounter{TotPages}{99}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	634	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	635	\ifx\usehyperxmp\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	636	\RequirePackage[pdfa,unicode]{hyperref}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	637	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	638	\RequirePackage[unicode]{hyperref}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	639	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	640	\let\C\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	641	\let\G\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	642	\let\F\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	643	\let\U\relax%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	644	\pdfstringdefDisableCommands{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	645	\let\thanks\@gobble%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	646	\let\footnote\@gobble%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	647	\def\footnotemark{}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	648	\def\cs#1{\textbackslash #1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	649	\let\normalfont\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	650	\let\scshape\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	651	\def\and{and }%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	652	\def\,{ }%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	653	\def\textrightarrow{ -> }%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	654	\let\mathsf\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	655	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	656	\hypersetup{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	657	breaklinks=true,
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	658	pdfencoding=unicode,
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	659	bookmarksnumbered,
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	660	pdfborder={0 0 0},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	661	pdfauthor={ }
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	662	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	663	\AtBeginDocument{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	664	\ifx\usehyperxmp\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	665	\hypersetup{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	666	pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	667	pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	668	pdfkeywords={\@keywords},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	669	pdfproducer={LaTeX with lipics-v2021.cls},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	670	pdfsubject={LIPIcs, Vol.\@SeriesVolume, \@EventShortTitle},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	671	pdfcopyright = { Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	672	pdflang={en},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	673	pdfmetalang={en},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	674	pdfpublisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	675	pdflicenseurl={https://creativecommons.org/licenses/by/4.0/},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	676	pdfpubtype={LIPIcs},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	677	pdfvolumenum={\@SeriesVolume},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	678	pdfpagerange={\@ArticleNo:\thepage-\@ArticleNo:\theTotPages},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	679	pdfdoi={\@lipicsdoi},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	680	pdfapart=3,
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	681	pdfaconformance=B
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	682	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	683	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	684	\hypersetup{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	685	pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	686	pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	687	pdfkeywords={\@keywords},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	688	pdfcreator={LaTeX with lipics-v2021.cls},
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	689	pdfsubject={LIPIcs, Vol.\@SeriesVolume, \@EventShortTitle; Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	690	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	691	\fi %
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	692	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	693	\ifx\usehyperxmp\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	694	\pdfobjcompresslevel=0
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	695	\pdfinclusioncopyfonts=1
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	696	\IfFileExists{colorprofiles.tex}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	697	\RequirePackage{colorprofiles}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	698	\IfFileExists{sRGB.icc}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	699	\immediate\pdfobj stream attr{/N 3} file{sRGB.icc}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	700	\pdfcatalog{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	701	/OutputIntents [
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	702	<<
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	703	/Type /OutputIntent
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	704	/S /GTS_PDFA1
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	705	/DestOutputProfile \the\pdflastobj\space 0 R
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	706	/OutputConditionIdentifier (sRGB)
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	707	/Info (sRGB)
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	708	>>
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	709	]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	710	}}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	711	}{\ClassWarning{Package colorprofiles not installed}{Please install package colorprofiles}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	712	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	713	\RequirePackage[labelsep=space,singlelinecheck=false,%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	714	font={up,small},labelfont={sf,bf},%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	715	listof=false]{caption}%"listof" instead of "list" for backward compatibility
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	716	\@ifpackagelater{hyperref}{2009/12/09}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	717	{\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	718	{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	719	\DeclareCaptionLabelFormat{boxed}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	720	\kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	721	\hspace*{0.67em}\bothIfFirst{#1}{~}#2}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	722	\captionsetup{labelformat=boxed}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	723	\captionsetup[table]{position=top}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	724	\RequirePackage[figuresright]{rotating}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	725	\caption@AtBeginDocument{\@ifpackageloaded{subfig}{\ClassError{lipics}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	726	Do not load the subfig package}{The more recent subcaption package is already loaded}}{}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	727	\RequirePackage{subcaption}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	728	\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	729	\def\authorrunning#1{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	730	\gdef\@authorrunning{\markright{\ifx\authoranonymous\relax\textcolor{red}{Anonymous author(s)} \else\if!#1!\textcolor{red}{Author: Please fill in the \string\authorrunning\space macro}\else#1\fi\fi}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	731	\titlerunning{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	732	\authorrunning{\textcolor{red}{Author: Please use the \string\authorrunning\space macro}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	733	\def\EventLongTitle#1{\gdef\@EventLongTitle{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	734	\EventLongTitle{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	735	\def\EventShortTitle#1{\gdef\@EventShortTitle{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	736	\EventShortTitle{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	737	\def\EventEditors#1{\gdef\@EventEditors{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	738	\EventEditors{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	739	\def\EventNoEds#1{\gdef\@EventNoEds{#1}\xdef\@Eds{Editor\ifnum#1>1s\fi}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	740	\EventNoEds{1}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	741	\def\EventLogo#1{\gdef\@EventLogo{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	742	\EventLogo{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	743	\def\EventAcronym#1{\gdef\@EventAcronym{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	744	\EventAcronym{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	745	\def\EventYear#1{\gdef\@EventYear{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	746	\EventYear{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	747	\def\EventDate#1{\gdef\@EventDate{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	748	\EventDate{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	749	\def\EventLocation#1{\gdef\@EventLocation{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	750	\EventLocation{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	751	\def\SeriesVolume#1{\gdef\@SeriesVolume{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	752	\SeriesVolume{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	753	\def\ArticleNo#1{\gdef\@ArticleNo{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	754	\ArticleNo{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	755	\def\DOIPrefix#1{\gdef\@DOIPrefix{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	756	\DOIPrefix{10.4230/LIPIcs}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	757	\def\@lipicsdoi{\@DOIPrefix.\@EventAcronym.\@EventYear.\@ArticleNo}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	758	\def\and{\newline}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	759	\let\orig@author\@author
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	760	\let\@authorsfortoc\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	761	\let\@authorsforpdf\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	762	\newcount\c@author
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	763	\newcounter{currentauthor}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	764	\def\authorcolumnsMin{6}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	765	\def\@authornum{0}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	766	\def\author#1#2#3#4#5{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	767	\ifx\@author\orig@author\let\@author\@empty\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	768	\g@addto@macro\@author{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	769	\noexpandarg\StrBehind{#2}{\and \url}[\homepageTemp]\IfSubStr{#2}{\and \url}{\StrBefore{#2}{\and \url}[\affiliation]}{\def\affiliation{#2}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	770	\expandarg\exploregroups\StrRemoveBraces{\homepageTemp}[\homepage]%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	771	\ifx\authorcolumns\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	772	\ifnum\c@author>\authorcolumnsMin
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	773	\stepcounter{currentauthor}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	774	\ifodd\value{currentauthor}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	775	\begin{minipage}[t]{\textwidth}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	776	\begin{minipage}[t]{0.49\textwidth}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	777	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	778	\hfill \begin{minipage}[t]{0.49\textwidth}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	779	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	780	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	781	\ClassWarning{Option 'authorcolumns' only applicable for > 6 authors}{Option 'authorcolumns' only applicable for >6 authors!}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	782	\addvspace{0.5\baselineskip}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	783	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	784	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	785	\addvspace{0.5\baselineskip}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	786	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	787	{\Large\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	788	\if!#1!
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	789	\textcolor{red}{Author: Please enter author name}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	790	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	791	\ifx\authoranonymous\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	792	\textcolor{red}{Anonymous author}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	793	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	794	#1\,%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	795	\ifx\compactauthor\relax\if!#3!\else{\,\href{mailto:#3}{\mailsymbol}}\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	796	\ifx\homepage\@empty\else{\,\href{\homepage}{\homesymbol}}\fi\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	797	\if!#4!\else{\,\href{#4}{\orcidsymbol}}\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	798	\if!#5!\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	799	\ifx\@funding\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	800	\expandafter\g@addto@macro\expandafter\@funding{\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	801	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	802	\expandafter\g@addto@macro\expandafter\@funding{\\\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	803	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	804	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	805	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	806	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	807	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	808	{\small
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	809	\if!#2!\textcolor{red}{Author: Please enter affiliation as second parameter of the author macro}\else{\\* \ifx\authoranonymous\relax\textcolor{red}{Anonymous affiliation}\else\ifx\compactauthor\relax \affiliation \else#2\fi\fi}\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	810	\ifx\compactauthor\relax\else\if!#3!\else{\ifx\authoranonymous\relax\else\\*\href{mailto:#3}{#3}\fi}\fi\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	811	}\par
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	812	\ifx\authorcolumns\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	813	\ifnum\c@author>\authorcolumnsMin
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	814	\end{minipage}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	815	\ifnum\c@author=\value{currentauthor}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	816	\end{minipage}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	817	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	818	\ifodd\value{currentauthor}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	819	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	820	\end{minipage}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	821	\medskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	822	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	823	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	824	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	825	\fi}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	826	\global\advance\c@author\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	827	\protected@write\@auxout{}{\string\gdef\string\@authornum{\the\c@author}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	828	\ifnum\c@author=\@ne
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	829	\gdef\@authorsfortoc{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	830	\gdef\@authorsforpdf{#1}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	831	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	832	\expandafter\g@addto@macro\expandafter\@authorsforpdf\expandafter{, #1}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	833	\expandafter\g@addto@macro\expandafter\@authorsfortoc\expandafter{\expandafter\csname\the\c@author authand\endcsname#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	834	\@namedef{\the\c@author authand}{,\space}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	835	\AtBeginDocument{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	836	\expandafter\ifnum\@authornum=2
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	837	\@namedef{2authand}{\space and\space}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	838	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	839	\@namedef{\@authornum authand}{,\space and\space}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	840	\fi}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	841	\fi}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	842	\newcommand*\affil[2][]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	843	\ClassError{lipics}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	844	{\string\affil\space deprecated: Please enter affiliation as second parameter of the author macro}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	845	{Since 2017, \string\affil\space is obsolete in lipics.}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	846	\newcommand*\Copyright[1]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	847	\def\@copyrightholder{#1}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	848	\def\@Copyright{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	849	\setbox\@tempboxa\hbox{\IfFileExists{cc-by.pdf}{\includegraphics[height=14\p@,clip]{cc-by}}{\includegraphics[height=14\p@, width=40pt]{example-image-plain}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	850	\@rightskip\@flushglue \rightskip\@rightskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	851	\hangindent\dimexpr\wd\@tempboxa+0.5em\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	852	\href{https://creativecommons.org/licenses/by/4.0/}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	853	{\smash{\lower\baselineskip\hbox{\unhcopy\@tempboxa}}}\enskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	854	\textcopyright\ %
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	855	\ifx!#1!\textcolor{red}{Author: Please fill in the \string\Copyright\space macro}\else\ifx\authoranonymous\relax\textcolor{red}{Anonymous author(s)}\else#1\fi\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	856	;\\%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	857	licensed under Creative Commons License CC-BY 4.0\ifx!#1!\\\null\fi\par}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	858	\Copyright{\textcolor{red}{Author: Please provide a copyright holder}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	859	\let\@copyrightholder\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	860	\def\hideLIPIcs{\let\@hideLIPIcs\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	861	\usepackage{xstring}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	862	\def\keywords#1{\def\@keywords{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	863	\let\@keywords\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	864	\def\keywordsHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	865	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	866	Keywords and phrases\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	867	\RequirePackage{comment}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	868	\excludecomment{CCSXML}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	869	% inspired by https://tex.stackexchange.com/questions/12810/how-do-i-split-a-string
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	870	\global\newcommand\ccsdesc[2][100]{\@ccsdesc#1~#2~~\relax}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	871	\let\orig@ccsdesc\@ccsdesc
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	872	\let\@ccsdesc\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	873	\let\@ccsdescString\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	874	\gdef\@ccsdesc#1~#2~#3~{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	875	\ifx\@ccsdesc\orig@ccsdesc\let\@ccsdesc\@empty\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	876	\ifx!#3!
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	877	\ifx\@ccsdescString\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	878	\g@addto@macro\@ccsdescString{{#2}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	879	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	880	\g@addto@macro\@ccsdescString{; {#2}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	881	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	882	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	883	\ifx\@ccsdescString\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	884	\g@addto@macro\@ccsdescString{{#2} $\rightarrow$ {#3}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	885	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	886	\g@addto@macro\@ccsdescString{; {#2} $\rightarrow$ {#3}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	887	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	888	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	889	\ccsdescEnd
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	890	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	891	\def\ccsdescEnd#1\relax{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	892	\def\subjclass#1{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	893	\ClassError{lipics}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	894	{\string\subjclass\space deprecated: Please enter subject classification in 1 or more ccsdesc macros}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	895	{Since 2019, \string\subjclass\space is obsolete in lipics.}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	896	\let\@subjclass\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	897	\def\subjclassHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	898	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	899	2012 ACM Subject Classification\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	900	\def\doiHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	901	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	902	Digital Object Identifier\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	903	\def\category#1{\def\@category{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	904	\let\@category\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	905	\def\categoryHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	906	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	907	Category\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	908	\def\relatedversion#1{\def\@relatedversion{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	909	\let\@relatedversion\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	910	\define@key{relatedversiondetails}{linktext}{\def\relatedversiondetails@linktext{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	911	\define@key{relatedversiondetails}{cite}{\def\relatedversiondetails@cite{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	912	\newcommand*\addtorelatedversionmacro[2]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	913	\ifx\@relatedversion\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	914	\g@addto@macro\@relatedversion{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	915	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	916	\g@addto@macro\@relatedversion{\\#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	917	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	918	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	919	\newcommand{\relatedversiondetails}[3][]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	920	\begingroup%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	921	\let\relatedversiondetails@linktext\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	922	\let\relatedversiondetails@cite\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	923	\setkeys{relatedversiondetails}{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	924	\ifx\relatedversiondetails@linktext\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	925	\protected@edef\tmp{\textit{#2}:\space{\url{#3}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	926	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	927	\protected@edef\tmp{\textit{#2}:\space{\href{#3}{\texttt{\relatedversiondetails@linktext}}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	928	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	929	\ifx\relatedversiondetails@cite\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	930	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	931	\protected@edef\tmp{\tmp\nobreakspace\cite{\relatedversiondetails@cite}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	932	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	933	\expandafter\addtorelatedversionmacro\expandafter{\tmp}{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	934	\endgroup%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	935	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	936	\def\relatedversionHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	937	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	938	Related Version\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	939	\def\supplement#1{\def\@supplement{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	940	\let\@supplement\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	941	\define@key{supplementdetails}{linktext}{\def\supplementdetails@linktext{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	942	\define@key{supplementdetails}{cite}{\def\supplementdetails@cite{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	943	\define@key{supplementdetails}{subcategory}{\def\supplementdetails@subcategory{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	944	\define@key{supplementdetails}{swhlinktext}{\def\supplementdetails@swhlinktext{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	945	\let\supplementdetails@swhlinktext\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	946	\define@key{supplementdetails}{swhid}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	947	\ifx\supplementdetails@swhlinktext\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	948	\StrBefore{#1}{;}[\supplementdetails@swhlinktext]%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	949	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	950	\def\supplementdetails@swhid{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	951	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	952
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	953	\define@key{supplementdetails}{swhdelimiter}{\def\supplementdetails@swhdelimiter{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	954	\def\supplementdetails@swhdelimiter{\\ \hspace*{1.2em}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	955	\newcommand*\addtosupplementmacro[2]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	956	\ifx\@supplement\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	957	\g@addto@macro\@supplement{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	958	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	959	\g@addto@macro\@supplement{\\#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	960	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	961	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	962	\newcommand{\supplementdetails}[3][]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	963	\begingroup%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	964	\let\supplementdetails@linktext\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	965	\let\supplementdetails@cite\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	966	\let\supplementdetails@subcategory\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	967	\let\supplementdetails@swhid\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	968	\setkeys{supplementdetails}{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	969	\ifx\supplementdetails@subcategory\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	970	\protected@edef\tmp{\textit{#2}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	971	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	972	\protected@edef\tmp{\textit{#2\,\,(\supplementdetails@subcategory)}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	973	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	974	\ifx\supplementdetails@linktext\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	975	\protected@edef\tmp{\tmp:\space{\url{#3}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	976	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	977	\protected@edef\tmp{\tmp:\space{\href{#3}{\texttt{\supplementdetails@linktext}}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	978	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	979	\ifx\supplementdetails@cite\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	980	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	981	\protected@edef\tmp{\tmp\nobreakspace\cite{\supplementdetails@cite}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	982	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	983	\ifx\supplementdetails@swhid\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	984	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	985	\ifx\supplementdetails@swhlinktext\@empty%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	986	\protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at %
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	987	\href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhid}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	988	\else%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	989	\protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at %
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	990	\href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhlinktext}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	991	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	992	\fi%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	993	\expandafter\addtosupplementmacro\expandafter{\tmp}{#1}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	994	\endgroup%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	995	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	996	\def\supplementHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	997	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	998	Supplementary Material\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	999	\newcommand\flag[2][0.9cm]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1000	\leavevmode\marginpar{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1001	\raisebox{\dimexpr-\totalheight+\ht\strutbox\relax}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1002	[\dimexpr\ht\strutbox+3mm][\dp\strutbox]{\expandafter\includegraphics[width=#1]{#2}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1003	}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1004	\def\funding#1{\def\@funding{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1005	\let\@funding\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1006	\def\fundingHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1007	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1008	Funding\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1009	\def\acknowledgements#1{\def\@acknowledgements{#1}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1010	\let\@acknowledgements\@empty
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1011	\def\acknowledgementsHeading{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1012	\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1013	Acknowledgements\enskip}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1014	\RequirePackage{amsthm}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1015	\ifx\usethmrestate\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1016	\RequirePackage{thm-restate}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1017	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1018	\thm@headfont{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1019	\textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1020	\def\th@remark{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1021	\thm@headfont{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1022	\textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1023	\normalfont % body font
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1024	\thm@preskip\topsep \divide\thm@preskip\tw@
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1025	\thm@postskip\thm@preskip
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1026	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1027	\def\@endtheorem{\endtrivlist}%\@endpefalse
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1028	\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1029	\renewenvironment{proof}[1][\proofname]{\par
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1030	\pushQED{\qed}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1031	\normalfont \topsep6\p@\@plus6\p@\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1032	\trivlist
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1033	\item[\hskip\labelsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1034	\color{lipicsGray}\sffamily\bfseries
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1035	#1\@addpunct{.}]\ignorespaces
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1036	}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1037	\popQED\endtrivlist%\@endpefalse
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1038	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1039	\newcommand{\claimqedhere}{\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1040	\qedhere%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1041	\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1042	\newenvironment{claimproof}[1][\proofname]{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1043	\pushQED{\qed}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1044	\normalfont \topsep6\p@\@plus6\p@\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1045	\trivlist
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1046	\item[\hskip\labelsep
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1047	\color{lipicsGray}\sffamily
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1048	#1\@addpunct{.}]\ignorespaces
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1049	}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1050	\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1051	\popQED\endtrivlist%\@endpefalse
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1052	\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1053	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1054	% inspired by qed of amsthm class
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1055	\DeclareRobustCommand{\lipicsEnd}{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1056	\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1057	\quad\hbox{$\lrcorner$}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1058	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1059	\AtBeginDocument{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1060	\@ifpackageloaded{algorithm2e}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1061	\@ifpackagelater{algorithm2e}{2009/11/17}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1062	\renewcommand{\algorithmcfname}{\sffamily\bfseries{}Algorithm}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1063	\renewcommand{\@algocf@procname}{\sffamily\bfseries{}Procedure}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1064	\SetAlgoCaptionSeparator{~}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1065	\SetAlCapHSkip{0pt}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1066	\renewcommand{\algocf@captiontext}[2]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1067	\kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1068	\hspace*{0.67em}\small #1\algocf@capseparator\nobreakspace#2}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1069	\renewcommand{\algocf@makecaption}[2]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1070	\parbox[t]{\textwidth}{\algocf@captiontext{#1}{#2}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1071	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1072	\renewcommand{\algocf@captionproctext}[2]{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1073	{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1074	\kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1075	\hspace*{0.67em}\small%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1076	\ProcSty{\ProcFnt\algocf@procname\ifthenelse{\boolean{algocf@procnumbered}}{\nobreakspace\thealgocf\algocf@typo\algocf@capseparator}{\relax}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1077	\nobreakspace\ProcNameSty{\ProcNameFnt\algocf@captname #2@}% Name of the procedure in ProcName Style.
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1078	\ifthenelse{\equal{\algocf@captparam #2@}{\arg@e}}{}{% if no argument, write nothing
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1079	\ProcNameSty{\ProcNameFnt(}\ProcArgSty{\ProcArgFnt\algocf@captparam #2@}\ProcNameSty{\ProcNameFnt)}%else put arguments in ProcArgSty:
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1080	}% endif
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1081	\algocf@captother #2@%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1082	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1083	}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1084	\renewcommand{\@algocf@capt@boxed}{above}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1085	\renewcommand{\@algocf@capt@ruled}{above}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1086	\setlength\algotitleheightrule{0pt}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1087	}{\ClassWarning{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1088	Package algorithm2e outdated}{You are using an outdated version of the package algorithm2e. Please update!}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1089	}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1090	\@ifpackageloaded{algorithm}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1091	\captionsetup[algorithm]{name=Algorithm, labelformat=boxed, position=top}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1092	\newcommand\fs@ruled@notop{\def\@fs@cfont{\bfseries}\let\@fs@capt\floatc@ruled
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1093	\def\@fs@pre{}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1094	\def\@fs@post{\kern2pt\hrule\relax}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1095	\def\@fs@mid{\kern2pt\hrule\kern2pt}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1096	\let\@fs@iftopcapt\iftrue}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1097	\@ifundefined{fst@algorithm}{}{
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1098	\renewcommand\fst@algorithm{\fs@ruled@notop}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1099	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1100	}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1101	\ifx\usecleveref\relax\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1102	\@ifpackageloaded{cleveref}{\ClassWarning{Use document option 'cleveref' instead}{Use document option 'cleveref' instead directly loading package 'cleveref'}}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1103	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1104	\ifx\usethmrestate\relax\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1105	\@ifpackageloaded{thm-restate}{\ClassWarning{Use document option 'thm-restate' instead}{Use document option 'thm-restate' instead directly loading package 'thm-restate'}}{}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1106	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1107	\ifx\useautoref\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1108	\@ifundefined{algorithmautorefname}{\newcommand{\algorithmautorefname}{Algorithm}}{\renewcommand{\algorithmautorefname}{Algorithm}}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1109	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1110	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1111
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1112	\ifx\usecleveref\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1113	\RequirePackage[capitalise, noabbrev]{cleveref}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1114	\crefname{algocf}{Algorithm}{Algorithms}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1115	\Crefname{algocf}{Algorithm}{Algorithms}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1116	\newcommand{\crefrangeconjunction}{--}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1117	\newcommand{\creflastconjunction}{, and\nobreakspace}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1118	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1119	\ifx\useautoref\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1120	\RequirePackage{aliascnt}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1121	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1122	\newtheoremstyle{claimstyle}{\topsep}{\topsep}{}{0pt}{\sffamily}{. }{5pt plus 1pt minus 1pt}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1123	{$\vartriangleright$ \thmname{#1}\thmnumber{ #2}\thmnote{ (#3)}}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1124	\theoremstyle{plain}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1125	\newtheorem{theorem}{Theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1126	\ifx\numberwithinsect\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1127	\@addtoreset{theorem}{section}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1128	\expandafter\def\expandafter\thetheorem\expandafter{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1129	\expandafter\thesection\expandafter\@thmcountersep\thetheorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1130	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1131
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1132	\ifx\useautoref\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1133	\addto\extrasenglish{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1134	\def\chapterautorefname{Chapter}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1135	\def\sectionautorefname{Section}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1136	\def\subsectionautorefname{Subsection}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1137	\def\subsubsectionautorefname{Subsubsection}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1138	\def\paragraphautorefname{Paragraph}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1139	\def\subparagraphautorefname{Subparagraph}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1140	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1141	\addto\extrasUKenglish{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1142	\def\chapterautorefname{Chapter}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1143	\def\sectionautorefname{Section}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1144	\def\subsectionautorefname{Subsection}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1145	\def\subsubsectionautorefname{Subsubsection}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1146	\def\paragraphautorefname{Paragraph}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1147	\def\subparagraphautorefname{Subparagraph}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1148	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1149	\addto\extrasUSenglish{%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1150	\def\chapterautorefname{Chapter}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1151	\def\sectionautorefname{Section}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1152	\def\subsectionautorefname{Subsection}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1153	\def\subsubsectionautorefname{Subsubsection}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1154	\def\paragraphautorefname{Paragraph}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1155	\def\subparagraphautorefname{Subparagraph}%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1156	}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1157	\ifx\usethmrestate\relax
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1158	\newtheorem{lemma}[theorem]{Lemma}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1159	\newtheorem{corollary}[theorem]{Corollary}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1160	\newtheorem{proposition}[theorem]{Proposition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1161	\newtheorem{exercise}[theorem]{Exercise}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1162	\newtheorem{definition}[theorem]{Definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1163	\newtheorem{conjecture}[theorem]{Conjecture}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1164	\newtheorem{observation}[theorem]{Observation}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1165	\theoremstyle{definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1166	\newtheorem{example}[theorem]{Example}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1167	\theoremstyle{remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1168	\newtheorem{note}[theorem]{Note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1169	\newtheorem{note}{Note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1170	\newtheorem{remark}[theorem]{Remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1171	\newtheorem{remark}{Remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1172	\theoremstyle{claimstyle}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1173	\newtheorem{claim}[theorem]{Claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1174	\newtheorem{claim}{Claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1175	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1176	\newaliascnt{lemma}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1177	\newtheorem{lemma}[lemma]{Lemma}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1178	\aliascntresetthe{lemma}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1179	\newcommand{\lemmaautorefname}{Lemma}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1180	\newaliascnt{corollary}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1181	\newtheorem{corollary}[corollary]{Corollary}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1182	\aliascntresetthe{corollary}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1183	\newcommand{\corollaryautorefname}{Corollary}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1184	\newaliascnt{proposition}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1185	\newtheorem{proposition}[proposition]{Proposition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1186	\aliascntresetthe{proposition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1187	\newcommand{\propositionautorefname}{Proposition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1188	\newaliascnt{exercise}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1189	\newtheorem{exercise}[exercise]{Exercise}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1190	\aliascntresetthe{exercise}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1191	\newcommand{\exerciseautorefname}{Exercise}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1192	\newaliascnt{definition}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1193	\newtheorem{definition}[definition]{Definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1194	\aliascntresetthe{definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1195	\newcommand{\definitionautorefname}{Definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1196	\newaliascnt{conjecture}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1197	\newtheorem{conjecture}[conjecture]{Conjecture}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1198	\aliascntresetthe{conjecture}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1199	\newcommand{\conjectureautorefname}{Conjecture}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1200	\newaliascnt{observation}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1201	\newtheorem{observation}[observation]{Observation}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1202	\aliascntresetthe{observation}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1203	\newcommand{\observationautorefname}{Observation}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1204	\theoremstyle{definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1205	\newaliascnt{example}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1206	\newtheorem{example}[example]{Example}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1207	\aliascntresetthe{example}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1208	\newcommand{\exampleautorefname}{Example}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1209	\theoremstyle{remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1210	\newaliascnt{note}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1211	\newtheorem{note}[note]{Note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1212	\aliascntresetthe{note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1213	\newcommand{\noteautorefname}{Note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1214	\newtheorem{note}{Note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1215	\newaliascnt{remark}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1216	\newtheorem{remark}[remark]{Remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1217	\aliascntresetthe{remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1218	\newcommand{\remarkautorefname}{Remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1219	\newtheorem{remark}{Remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1220	\theoremstyle{claimstyle}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1221	\newaliascnt{claim}{theorem}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1222	\newtheorem{claim}[claim]{Claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1223	\aliascntresetthe{claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1224	\newcommand{\claimautorefname}{Claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1225	\newtheorem{claim}{Claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1226	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1227	\else
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1228	\newtheorem{lemma}[theorem]{Lemma}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1229	\newtheorem{corollary}[theorem]{Corollary}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1230	\newtheorem{proposition}[theorem]{Proposition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1231	\newtheorem{exercise}[theorem]{Exercise}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1232	\newtheorem{definition}[theorem]{Definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1233	\newtheorem{conjecture}[theorem]{Conjecture}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1234	\newtheorem{observation}[theorem]{Observation}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1235	\theoremstyle{definition}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1236	\newtheorem{example}[theorem]{Example}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1237	\theoremstyle{remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1238	\newtheorem{note}[theorem]{Note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1239	\newtheorem{note}{Note}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1240	\newtheorem{remark}[theorem]{Remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1241	\newtheorem{remark}{Remark}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1242	\theoremstyle{claimstyle}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1243	\newtheorem{claim}[theorem]{Claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1244	\newtheorem{claim}{Claim}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1245	\fi
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1246	\theoremstyle{plain}
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1247	\endinput
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1248	%%
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1249	%% End of file `lipics-v2021.cls'.

author	Chengsong
	Tue, 14 Jun 2022 18:06:33 +0100
changeset 542	a7344c9afbaf
parent 396	cc8e231529fb
permissions	-rw-r--r--