1 %%

     2 %% This is file `lipics-v2021.cls'.

     3 %%

     4 %% -----------------------------------------------------------------

     5 %% Author:     Dagstuhl Publishing & le-tex publishing services

     6 %%

     7 %% This file is part of the lipics package for preparing

     8 %% LIPICS articles.

     9 %%

    10 %% Copyright (C) 2021 Schloss Dagstuhl

    11 %%

    12 %% This work may be distributed and/or modified under the

    13 %% conditions of the LaTeX Project Public License, either version 1.3

    14 %% of this license or (at your option) any later version.

    15 %% The latest version of this license is in

    16 %%   http://www.latex-project.org/lppl.txt

    17 %% and version 1.3 or later is part of all distributions of LaTeX

    18 %% version 2005/12/01 or later.

    19 %%

    20 %% This work has the LPPL maintenance status `maintained'.

    21 %%

    22 %% The Current Maintainer of this work is

    23 %% Schloss Dagstuhl (publishing@dagstuhl.de).

    24 %% -----------------------------------------------------------------

    25 %%

    26 \ProvidesClass{lipics-v2021}

    27     [2021/05/04 v3.1.2 LIPIcs articles]

    28 \NeedsTeXFormat{LaTeX2e}[2015/01/01]

    29 \emergencystretch1em

    30 \advance\hoffset-1in

    31 \advance\voffset-1in

    32 \advance\hoffset2.95mm

    33 \newif\if@nobotseplist  \@nobotseplistfalse

    34 \def\@endparenv{%

    35   \addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue}

    36 \def\@doendpe{%

    37   \@endpetrue

    38   \def\par{\@restorepar

    39            \everypar{}%

    40            \par

    41            \if@nobotseplist

    42              \addvspace\topsep

    43              \addvspace\partopsep

    44              \global\@nobotseplistfalse

    45            \fi

    46            \@endpefalse}%

    47   \everypar{{\setbox\z@\lastbox}%

    48             \everypar{}%

    49             \if@nobotseplist\global\@nobotseplistfalse\fi

    50             \@endpefalse}}

    51 \def\enumerate{%

    52   \ifnum \@enumdepth >\thr@@\@toodeep\else

    53     \advance\@enumdepth\@ne

    54     \edef\@enumctr{enum\romannumeral\the\@enumdepth}%

    55     \expandafter

    56     \list

    57       \csname label\@enumctr\endcsname

    58       {\advance\partopsep\topsep

    59        \topsep\z@\@plus\p@

    60        \ifnum\@listdepth=\@ne

    61          \labelsep0.72em

    62        \else

    63          \ifnum\@listdepth=\tw@

    64            \labelsep0.3em

    65          \else

    66            \labelsep0.5em

    67          \fi

    68        \fi

    69        \usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}%

    70   \fi}

    71 \def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}

    72 \def\itemize{%

    73   \ifnum \@itemdepth >\thr@@\@toodeep\else

    74     \advance\@itemdepth\@ne

    75     \edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%

    76     \expandafter

    77     \list

    78       \csname\@itemitem\endcsname

    79       {\advance\partopsep\topsep

    80        \topsep\z@\@plus\p@

    81        \ifnum\@listdepth=\@ne

    82          \labelsep0.83em

    83        \else

    84          \ifnum\@listdepth=\tw@

    85            \labelsep0.75em

    86          \else

    87            \labelsep0.5em

    88          \fi

    89       \fi

    90       \def\makelabel##1{\hss\llap{##1}}}%

    91   \fi}

    92 \def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}

    93 \def\@title{\textcolor{red}{Author: Please provide a title}}

    94 \let\@subtitle\@empty

    95 \def\subtitle#1{\gdef\@subtitle{#1}}

    96 \def\subtitleseperator{: }

    97 \def\@sect#1#2#3#4#5#6[#7]#8{%

    98   \ifnum #2>\c@secnumdepth

    99     \let\@svsec\@empty

   100   \else

   101     \refstepcounter{#1}%

   102     \protected@edef\@svsec{\@seccntformat{#1}\relax}%

   103   \fi

   104   \@tempskipa #5\relax

   105   \ifdim \@tempskipa>\z@

   106     \begingroup

   107       #6{%

   108         \@hangfrom{\hskip #3\relax

   109           \ifnum #2=1

   110             \colorbox{lipicsYellow}{\kern0.15em\@svsec\kern0.15em}\quad

   111           \else

   112             \@svsec\quad

   113           \fi}%

   114           \interlinepenalty \@M #8\@@par}%

   115     \endgroup

   116     \csname #1mark\endcsname{#7}%

   117     \addcontentsline{toc}{#1}{%

   118       \ifnum #2>\c@secnumdepth \else

   119         \protect\numberline{\csname the#1\endcsname}%

   120       \fi

   121       #7}%

   122   \else

   123     \def\@svsechd{%

   124       #6{\hskip #3\relax

   125       \@svsec #8}%

   126       \csname #1mark\endcsname{#7}%

   127       \addcontentsline{toc}{#1}{%

   128         \ifnum #2>\c@secnumdepth \else

   129           \protect\numberline{\csname the#1\endcsname}%

   130         \fi

   131         #7}}%

   132   \fi

   133   \@xsect{#5}}

   134 \def\@seccntformat#1{\csname the#1\endcsname}

   135 \def\@biblabel#1{\textcolor{lipicsGray}{\sffamily\bfseries#1}}

   136 \def\EventLogoHeight{25}

   137 \def\copyrightline{%

   138   \ifx\@hideLIPIcs\@undefined

   139     \ifx\@EventLogo\@empty

   140     \else

   141       \setbox\@tempboxa\hbox{\includegraphics[height=\EventLogoHeight\p@]{\@EventLogo}}%

   142       \rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%

   143             \vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%

   144     \fi

   145     \scriptsize

   146     \vtop{\hsize\textwidth

   147       \nobreakspace\par

   148       \@Copyright

   149       \ifx\@EventLongTitle\@empty\else\@EventLongTitle.\\\fi

   150       \ifx\@EventEditors\@empty\else

   151         \@Eds: \@EventEditors

   152         ; Article~No.\,\@ArticleNo; pp.\,\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}%

   153         \\

   154       \fi

   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}}}%

   156       \hspace*{\wd\@tempboxa}\enskip

   157       \href{https://www.dagstuhl.de/lipics/}%

   158            {Leibniz International Proceedings in Informatics}\\

   159       \smash{\unhbox\@tempboxa}\enskip

   160       \href{https://www.dagstuhl.de}%

   161            {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}%

   162   \fi}

   163 \def\ps@plain{\let\@mkboth\@gobbletwo

   164   \let\@oddhead\@empty

   165   \let\@evenhead\@empty

   166   \let\@evenfoot\copyrightline

   167   \let\@oddfoot\copyrightline}

   168 \def\lipics@opterrshort{Option  "\CurrentOption" not supported}

   169 \def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.}

   170 \DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   171 \DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   172 \DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   173 \DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   174 \DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   175 \DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   176 \DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   177 \DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   178 \DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   179 \DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   180 \DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   181 \DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   182 \DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   183 \DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   184 \DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   185 \DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}

   186 \DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}

   187                         \advance\hoffset-2.95mm

   188                         \advance\voffset8.8mm}

   189 \DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}

   190 \DeclareOption{cleveref}{\let\usecleveref\relax}

   191 \DeclareOption{autoref}{\let\useautoref\relax}

   192 \DeclareOption{anonymous}{\let\authoranonymous\relax}

   193 \DeclareOption{thm-restate}{\let\usethmrestate\relax}

   194 \DeclareOption{authorcolumns}{\let\authorcolumns\relax}

   195 \let\compactauthor\relax

   196 \DeclareOption{oldauthorstyle}{\let\compactauthor\@empty}

   197 \DeclareOption{compactauthor}{\let\compactauthor\relax}

   198 \DeclareOption{pdfa}{\let\pdfa\relax}

   199 \DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}

   200 \ProcessOptions

   201 \LoadClass[twoside,notitlepage,fleqn]{article}

   202 \renewcommand\normalsize{%

   203    \@setfontsize\normalsize\@xpt{13}%

   204    \abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@

   205    \abovedisplayshortskip \z@ \@plus3\p@

   206    \belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@

   207    \belowdisplayskip \abovedisplayskip

   208    \let\@listi\@listI}

   209 \normalsize

   210 \renewcommand\small{%

   211    \@setfontsize\small\@ixpt{11.5}%

   212    \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@

   213    \abovedisplayshortskip \z@ \@plus2\p@

   214    \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@

   215    \def\@listi{\leftmargin\leftmargini

   216                \topsep 4\p@ \@plus2\p@ \@minus2\p@

   217                \parsep 2\p@ \@plus\p@ \@minus\p@

   218                \itemsep \parsep}%

   219    \belowdisplayskip \abovedisplayskip

   220 }

   221 \renewcommand\footnotesize{%

   222    \@setfontsize\footnotesize{8.5}{9.5}%

   223    \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@

   224    \abovedisplayshortskip \z@ \@plus\p@

   225    \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@

   226    \def\@listi{\leftmargin\leftmargini

   227                \topsep 3\p@ \@plus\p@ \@minus\p@

   228                \parsep 2\p@ \@plus\p@ \@minus\p@

   229                \itemsep \parsep}%

   230    \belowdisplayskip \abovedisplayskip

   231 }

   232 \renewcommand\large{\@setfontsize\large{10.5}{13}}

   233 \renewcommand\Large{\@setfontsize\Large{12}{14}}

   234 \setlength\parindent{1.5em}

   235 \setlength\headheight{3mm}

   236 \setlength\headsep   {10mm}

   237 \setlength\footskip{3mm}

   238 \setlength\textwidth{140mm}

   239 \setlength\textheight{222mm}

   240 \setlength\oddsidemargin{32mm}

   241 \setlength\evensidemargin{38mm}

   242 \setlength\marginparwidth{25mm}

   243 \setlength\topmargin{13mm}

   244 \setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@}

   245 \def\@listi{\leftmargin\leftmargini

   246             \parsep\z@ \@plus\p@

   247             \topsep 8\p@ \@plus2\p@ \@minus4\p@

   248             \itemsep \parsep}

   249 \let\@listI\@listi

   250 \@listi

   251 \def\@listii {\leftmargin\leftmarginii

   252               \labelwidth\leftmarginii

   253               \advance\labelwidth-\labelsep

   254               \topsep    4\p@ \@plus2\p@ \@minus\p@

   255               \parsep\z@ \@plus\p@

   256               \itemsep   \parsep}

   257 \def\@listiii{\leftmargin\leftmarginiii

   258               \labelwidth\leftmarginiii

   259               \advance\labelwidth-\labelsep

   260               \topsep    2\p@ \@plus\p@\@minus\p@

   261               \parsep    \z@

   262               \partopsep \p@ \@plus\z@ \@minus\p@

   263               \itemsep   \z@ \@plus\p@}

   264 \def\ps@headings{%

   265     \def\@evenhead{\large\sffamily\bfseries

   266                    \llap{\hbox to0.5\oddsidemargin{  \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage\hss}}\leftmark\hfil}%

   267     \def\@oddhead{\large\sffamily\bfseries\rightmark\hfil

   268                   \rlap{\hbox to0.5\oddsidemargin{\hss  \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage}}}%

   269     \def\@oddfoot{\hfil

   270                   \rlap{%

   271                     \vtop{%

   272                       \vskip10mm

   273                       \colorbox{lipicsYellow}

   274                                     {\@tempdima\evensidemargin

   275                                      \advance\@tempdima1in

   276                                      \advance\@tempdima\hoffset

   277                                      \hb@xt@\@tempdima{%

   278                                        \ifx\@hideLIPIcs\@undefined

   279                                          \textcolor{lipicsGray}{\normalsize\sffamily

   280                                          \bfseries\quad

   281                                          \expandafter\textsolittle

   282                                          \expandafter{\@EventShortTitle}}%

   283                                        \fi

   284                                      \strut\hss}}}}}

   285     \let\@evenfoot\@empty

   286     \let\@mkboth\markboth

   287   \let\sectionmark\@gobble

   288   \let\subsectionmark\@gobble}

   289 \pagestyle{headings}

   290 \renewcommand\maketitle{\par

   291   \begingroup

   292     \thispagestyle{plain}

   293     \renewcommand\thefootnote{\@fnsymbol\c@footnote}%

   294     \if@twocolumn

   295       \ifnum \col@number=\@ne

   296         \@maketitle

   297       \else

   298         \twocolumn[\@maketitle]%

   299       \fi

   300     \else

   301       \newpage

   302       \global\@topnum\z@   % Prevents figures from going at top of page.

   303       \@maketitle

   304     \fi

   305     \thispagestyle{plain}\@thanks

   306   \endgroup

   307   \global\let\thanks\relax

   308   \global\let\maketitle\relax

   309   \global\let\@maketitle\relax

   310   \global\let\@thanks\@empty

   311   \global\let\@author\@empty

   312   \global\let\@date\@empty

   313   \global\let\@title\@empty

   314   \global\let\@subtitle\@empty

   315   \global\let\title\relax

   316   \global\let\author\relax

   317   \global\let\date\relax

   318   \global\let\and\relax

   319 }

   320 \newwrite\tocfile

   321 \def\@maketitle{%

   322   \newpage

   323   \null\vskip-\baselineskip

   324   \vskip-\headsep

   325   \@titlerunning

   326   \@authorrunning

   327   %%\let \footnote \thanks

   328   \parindent\z@ \raggedright

   329   \if!\@title!\def\@title{\textcolor{red}{Author: Please fill in a title}}\fi

   330     {\LARGE\sffamily\bfseries\mathversion{bold}\@title \if!\@subtitle!\else{\\\Large\sffamily\bfseries\mathversion{bold}\@subtitle}\fi \par}%

   331     \vskip 1em

   332     \ifx\@author\orig@author

   333       \textcolor{red}{Author: Please provide author information}%

   334     \else

   335       {\def\thefootnote{\@arabic\c@footnote}%

   336        \setcounter{footnote}{0}%

   337        \fontsize{9.5}{12}\selectfont\@author}%

   338     \fi

   339     \bgroup

   340       \immediate\openout\tocfile=\jobname.vtc

   341       \protected@write\tocfile{

   342 			\let\footnote\@gobble

   343 			\let\thanks\@gobble

   344 			\def\footnotemark{}

   345 			\def\and{and }%

   346 			\def\,{ }

   347 			\def\\{ }

   348 		}{%

   349 	        \string\contitem

   350 	        \string\title{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}%

   351 	        \string\author{\@authorsfortoc}%

   352 	        \string\page{\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}}}%

   353       \closeout\tocfile

   354     \egroup

   355   \par}

   356 \renewcommand\tableofcontents{%

   357   \section*{\contentsname}%

   358   \@starttoc{toc}}

   359 \setcounter{secnumdepth}{4}

   360 \renewcommand\section{\@startsection {section}{1}{\z@}%

   361                                    {-3.5ex \@plus -1ex \@minus -.2ex}%

   362                                    {2.3ex \@plus.2ex}%

   363                                    {\sffamily\Large\bfseries\raggedright}}

   364 \renewcommand\subsection{\@startsection{subsection}{2}{\z@}%

   365                                      {-3.25ex\@plus -1ex \@minus -.2ex}%

   366                                      {1.5ex \@plus .2ex}%

   367                                      {\sffamily\Large\bfseries\raggedright}}

   368 \renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%

   369                                      {-3.25ex\@plus -1ex \@minus -.2ex}%

   370                                      {1.5ex \@plus .2ex}%

   371                                      {\sffamily\Large\bfseries\raggedright}}

   372 \renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%

   373                                     {-3.25ex \@plus-1ex \@minus-.2ex}%

   374                                     {1.5ex \@plus .2ex}%

   375                                     {\sffamily\large\bfseries\raggedright}}

   376 \renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}%

   377                                        {3.25ex \@plus1ex \@minus .2ex}%

   378                                        {-1em}%

   379                                       {\sffamily\normalsize\bfseries}}

   380 \newcommand{\proofsubparagraph}{\@startsection{subparagraph}{5}{\z@}%

   381                                        {3.25ex \@plus1ex \@minus .2ex}%

   382                                        {-1em}%

   383                                       {\color{lipicsGray}\sffamily\normalsize\bfseries}}

   384 \setlength\leftmargini  \parindent

   385 \setlength\leftmarginii {1.2em}

   386 \setlength\leftmarginiii{1.2em}

   387 \setlength\leftmarginiv {1.2em}

   388 \setlength\leftmarginv  {1.2em}

   389 \setlength\leftmarginvi {1.2em}

   390 \renewcommand\labelenumi{%

   391   \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumi.}}

   392 \renewcommand\labelenumii{%

   393   \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumii.}}

   394 \renewcommand\labelenumiii{%

   395   \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiii.}}

   396 \renewcommand\labelenumiv{%

   397   \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiv.}}

   398 \renewcommand\labelitemi{%

   399   \textcolor{lipicsBulletGray}{\ifnum\@listdepth=\@ne

   400                                   \rule{0.67em}{0.33em}%

   401                                 \else

   402                                   \rule{0.45em}{0.225em}%

   403                                 \fi}}

   404 \renewcommand\labelitemii{%

   405   \textcolor{lipicsBulletGray}{\rule{0.45em}{0.225em}}}

   406 \renewcommand\labelitemiii{%

   407   \textcolor{lipicsBulletGray}{\sffamily\bfseries\textasteriskcentered}}

   408 \renewcommand\labelitemiv{%

   409   \textcolor{lipicsBulletGray}{\sffamily\bfseries\textperiodcentered}}

   410 \renewenvironment{description}

   411                {\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@

   412                         \labelwidth\z@ \itemindent-\leftmargin

   413                         \let\makelabel\descriptionlabel}}

   414                {\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}

   415 \renewcommand*\descriptionlabel[1]{%

   416   \hspace\labelsep\textcolor{lipicsGray}{\sffamily\bfseries\mathversion{bold}#1}}

   417 \def\topmattervskip{0.7}

   418 \renewenvironment{abstract}{%

   419   \vskip\topmattervskip\bigskipamount

   420   \noindent

   421   \rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}%

   422   \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%

   423     \large\selectfont\sffamily\bfseries\abstractname}}%

   424   \vskip3\p@

   425   \fontsize{9}{12}\selectfont

   426   \noindent\ignorespaces}

   427   {\vskip\topmattervskip\baselineskip\noindent

   428    \subjclassHeading

   429    \ifx\@ccsdescString\@empty

   430      \textcolor{red}{Author: Please fill in 1 or more \string\ccsdesc\space macro}%

   431    \else

   432      \@ccsdescString

   433    \fi

   434    \vskip\topmattervskip\baselineskip

   435    \noindent\keywordsHeading

   436    \ifx\@keywords\@empty

   437      \textcolor{red}{Author: Please fill in \string\keywords\space macro}%

   438    \else

   439      \@keywords

   440    \fi

   441    \ifx\@hideLIPIcs\@undefined

   442      \ifx\@DOIPrefix\@empty\else

   443        \vskip\topmattervskip\baselineskip\noindent

   444        \doiHeading\href{https://doi.org/\@lipicsdoi}{\@lipicsdoi}%

   445      \fi

   446    \fi

   447    \ifx\@category\@empty\else

   448      \vskip\topmattervskip\baselineskip\noindent

   449      \categoryHeading\@category

   450    \fi

   451    \ifx\@relatedversion\@empty\else

   452      \vskip\topmattervskip\baselineskip\noindent

   453      \relatedversionHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous related version(s)}\else\@relatedversion\fi

   454    \fi

   455    \ifx\@supplement\@empty\else

   456      \vskip\topmattervskip\baselineskip\noindent

   457      \supplementHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous supplementary material}\else\@supplement\fi

   458    \fi

   459    \ifx\@funding\@empty\else

   460      \vskip\topmattervskip\baselineskip\noindent

   461      \fundingHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous funding}\else\@funding\fi

   462    \fi

   463    \ifx\@acknowledgements\@empty\else

   464      \vskip\topmattervskip\baselineskip\noindent

   465      \acknowledgementsHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous acknowledgements} \else\@acknowledgements\fi

   466    \fi

   467 	\protected@write\@auxout{}{\string\gdef\string\@pageNumberEndAbstract{\thepage}}%

   468 	}% end abstract

   469 \renewenvironment{thebibliography}[1]

   470   {\if@noskipsec \leavevmode \fi

   471    \par

   472    \@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax

   473    \@afterindenttrue

   474    \@tempskipa -\@tempskipa \@afterindentfalse

   475    \if@nobreak

   476      \everypar{}%

   477    \else

   478      \addpenalty\@secpenalty\addvspace\@tempskipa

   479    \fi

   480    \noindent

   481    \rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}%

   482    \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%

   483      \normalsize\sffamily\bfseries\refname}}%

   484    \@xsect{1ex \@plus.2ex}%

   485    \list{\@biblabel{\@arabic\c@enumiv}}%

   486         {\leftmargin8.5mm

   487          \labelsep\leftmargin

   488          \settowidth\labelwidth{\@biblabel{#1}}%

   489          \advance\labelsep-\labelwidth

   490          \usecounter{enumiv}%

   491          \let\p@enumiv\@empty

   492          \renewcommand\theenumiv{\@arabic\c@enumiv}}%

   493    \fontsize{9}{12}\selectfont

   494    \sloppy

   495    \clubpenalty4000

   496    \@clubpenalty \clubpenalty

   497    \widowpenalty4000%

   498    \sfcode`\.\@m\protected@write\@auxout{}{\string\gdef\string\@pageNumberStartBibliography{\thepage}}}

   499   {\def\@noitemerr

   500      {\@latex@warning{Empty `thebibliography' environment}}%

   501    \protected@write\@auxout{}{\string\gdef\string\@pageNumberEndBibliography{\thepage}}%

   502    \endlist}

   503 \g@addto@macro\appendix{\immediate\write\@auxout{\string\gdef\string\@pageNumberStartAppendix{\thepage}}}%

   504 \renewcommand\footnoterule{%

   505   \kern-8\p@

   506   {\color{lipicsBulletGray}\hrule\@width40mm\@height1\p@}%

   507   \kern6.6\p@}

   508 \renewcommand\@makefntext[1]{%

   509     \parindent\z@\hangindent1em

   510     \leavevmode

   511     \hb@xt@1em{\@makefnmark\hss}#1}

   512 \usepackage{microtype}

   513 \usepackage[utf8]{inputenc}

   514 \ifx\pdfa\relax%

   515 	\IfFileExists{glyphtounicode.tex}{

   516 		\input glyphtounicode

   517 		\pdfgentounicode=1

   518 	}{}%

   519 \fi 

   520 \IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}

   521 \IfFileExists{fontawesome5.sty}{%

   522 \RequirePackage{fontawesome5}%

   523 \IfFileExists{orcid.pdf}{%

   524 \def\orcidsymbol{\includegraphics[height=9\p@]{orcid}}

   525 }{

   526 \def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faOrcid}}%

   527 }

   528 \def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faIcon[regular]{envelope}}}%

   529 \def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faHome}}%

   530 }{%

   531 \ClassWarning{Package fontawesome5 not installed}{Please install package fontawesome5}

   532 \def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries ORCID}}

   533 \def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries @}}%

   534 \def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries H}}%

   535 }%

   536 \RequirePackage[T1]{fontenc}

   537 \RequirePackage{textcomp}

   538 \RequirePackage[mathscr]{eucal}

   539 \RequirePackage{amssymb}

   540 \PassOptionsToPackage{retainmissing}{MnSymbol}

   541 \AtBeginDocument{\@ifpackageloaded{MnSymbol}%

   542     {\expandafter\let\csname ver@amssymb.sty\endcsname\relax

   543      \let\complement\@undefined

   544      \RequirePackage{amssymb}}{}}

   545 \RequirePackage{soul}

   546 \sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%

   547         {.4em\@plus.275em\@minus.183em}

   548 \RequirePackage{color} %kept for backward compatibility

   549 \AtBeginDocument{

   550 	\@ifpackageloaded{xcolor}{

   551 	}{

   552 		\RequirePackage{xcolor}

   553 	}

   554 	\definecolor{darkgray}{rgb}{0.31,0.31,0.33}

   555 	\definecolor[named]{lipicsGray}{rgb}{0.31,0.31,0.33}

   556 	\definecolor[named]{lipicsBulletGray}{rgb}{0.60,0.60,0.61}

   557 	\definecolor[named]{lipicsLineGray}{rgb}{0.51,0.50,0.52}

   558 	\definecolor[named]{lipicsLightGray}{rgb}{0.85,0.85,0.86}

   559 	\definecolor[named]{lipicsYellow}{rgb}{0.99,0.78,0.07}

   560 }

   561 \RequirePackage{babel}

   562 \RequirePackage[tbtags,fleqn]{amsmath}

   563 \AtBeginDocument{

   564 	\@ifpackageloaded{enumitem}{\ClassWarning{Package 'enumitem' incompatible}{Don't use package 'enumitem'; Package enumerate preloaded!}}{}

   565 	\@ifpackageloaded{paralist}{\ClassWarning{Package 'paralist' incompatible}{Don't use package 'paralist'; Package enumerate preloaded!}}{}

   566 }

   567 \RequirePackage{enumerate}

   568 \def\@enum@{\list{\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\csname label\@enumctr\endcsname}}%

   569            {\advance\partopsep\topsep

   570             \topsep\z@\@plus\p@

   571             \usecounter{\@enumctr}\def\makelabel##1{\hss\llap{##1}}}}

   572 \def\romanenumerate{\enumerate[(i)]}

   573 \let\endromanenumerate\endenumerate

   574 \def\alphaenumerate{\enumerate[(a)]}

   575 \let\endalphaenumerate\endenumerate

   576 \def\bracketenumerate{\enumerate[(1)]}

   577 \let\endbracketenumerate\endenumerate

   578 \RequirePackage{graphicx}

   579 \RequirePackage{array}

   580 \let\@classzold\@classz

   581 \def\@classz{%

   582    \expandafter\ifx\d@llarbegin\begingroup

   583      \toks \count@ =

   584      \expandafter{\expandafter\small\the\toks\count@}%

   585    \fi

   586    \@classzold}

   587 \RequirePackage{multirow}

   588 \RequirePackage{tabularx}

   589 \RequirePackage[online]{threeparttable}

   590 \def\TPTtagStyle#1{#1)}

   591 \def\tablenotes{\small\TPT@defaults

   592   \@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ]

   593 \RequirePackage{listings}

   594 \lstset{basicstyle=\small\ttfamily,%

   595         backgroundcolor=\color{lipicsLightGray},%

   596         frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}

   597 \RequirePackage[left,mathlines]{lineno}

   598 \linenumbers

   599 \renewcommand\linenumberfont{\normalfont\tiny\sffamily}

   600 %%%% patch to cope with amsmath

   601 %%%% http://phaseportrait.blogspot.de/2007/08/lineno-and-amsmath-compatibility.html

   602 \newcommand*\patchAmsMathEnvironmentForLineno[1]{%

   603   \expandafter\let\csname old#1\expandafter\endcsname\csname #1\endcsname

   604   \expandafter\let\csname oldend#1\expandafter\endcsname\csname end#1\endcsname

   605   \renewenvironment{#1}%

   606      {\linenomath\csname old#1\endcsname}%

   607      {\csname oldend#1\endcsname\endlinenomath}}%

   608 \newcommand*\patchBothAmsMathEnvironmentsForLineno[1]{%

   609   \patchAmsMathEnvironmentForLineno{#1}%

   610   \patchAmsMathEnvironmentForLineno{#1*}}%

   611 \AtBeginDocument{%

   612   \patchBothAmsMathEnvironmentsForLineno{equation}%

   613   \patchBothAmsMathEnvironmentsForLineno{align}%

   614   \patchBothAmsMathEnvironmentsForLineno{flalign}%

   615   \patchBothAmsMathEnvironmentsForLineno{alignat}%

   616   \patchBothAmsMathEnvironmentsForLineno{gather}%

   617   \patchBothAmsMathEnvironmentsForLineno{multline}}

   618 \let\usehyperxmp\@empty%

   619 \ifx\pdfa\relax%

   620   \IfFileExists{hyperxmp.sty}{%

   621     \RequirePackage{hyperxmp}%

   622     \@ifpackagelater{hyperxmp}{2019/04/05}{%

   623       \let\usehyperxmp\relax%

   624     }{%

   625       \ClassWarning{Package hyperxmp outdated}{You are using an outdated version of the package hyperxmp. Please update!}%

   626     }}{}%

   627 \fi%

   628 \IfFileExists{totpages.sty}{

   629   \RequirePackage{totpages}

   630 }{

   631 	\ClassWarning{Package totpages not installed}{Please install package totpages}

   632 	\newcounter{TotPages}

   633 	\setcounter{TotPages}{99}

   634 }

   635 \ifx\usehyperxmp\relax%

   636   \RequirePackage[pdfa,unicode]{hyperref}%

   637 \else%

   638   \RequirePackage[unicode]{hyperref}%

   639 \fi%

   640 \let\C\relax%

   641 \let\G\relax%

   642 \let\F\relax%

   643 \let\U\relax%

   644 \pdfstringdefDisableCommands{%

   645 	\let\thanks\@gobble%

   646 	\let\footnote\@gobble%

   647 	\def\footnotemark{}%

   648 	\def\cs#1{\textbackslash #1}%

   649 	\let\normalfont\@empty%

   650 	\let\scshape\@empty%

   651 	\def\and{and }%

   652 	\def\,{ }%

   653 	\def\textrightarrow{ -> }%

   654 	\let\mathsf\@empty%

   655 }%

   656 \hypersetup{

   657 	breaklinks=true,

   658 	pdfencoding=unicode,

   659 	bookmarksnumbered,

   660 	pdfborder={0 0 0},

   661 	pdfauthor={ }

   662 }%

   663 \AtBeginDocument{

   664 \ifx\usehyperxmp\relax

   665 \hypersetup{

   666 pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi},

   667 pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi},

   668 pdfkeywords={\@keywords},

   669 pdfproducer={LaTeX with lipics-v2021.cls},

   670 pdfsubject={LIPIcs, Vol.\@SeriesVolume, \@EventShortTitle},

   671 pdfcopyright = { Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0},

   672 pdflang={en},

   673 pdfmetalang={en},

   674 pdfpublisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany},

   675 pdflicenseurl={https://creativecommons.org/licenses/by/4.0/},

   676 pdfpubtype={LIPIcs},

   677 pdfvolumenum={\@SeriesVolume},

   678 pdfpagerange={\@ArticleNo:\thepage-\@ArticleNo:\theTotPages},

   679 pdfdoi={},

   680 pdfapart=3,

   681 pdfaconformance=B

   682 }

   683 \else%

   684 \hypersetup{

   685 pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi},

   686 pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi},

   687 pdfkeywords={\@keywords},

   688 pdfcreator={LaTeX with lipics-v2021.cls},

   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}

   690 }%

   691 \fi	%

   692 }

   693 \ifx\usehyperxmp\relax

   694 \pdfobjcompresslevel=0

   695 \pdfinclusioncopyfonts=1

   696 \IfFileExists{colorprofiles.tex}{

   697 \RequirePackage{colorprofiles}%

   698 \IfFileExists{sRGB.icc}{

   699 \immediate\pdfobj stream attr{/N 3} file{sRGB.icc}

   700 \pdfcatalog{%

   701 /OutputIntents [

   702 <<

   703 /Type /OutputIntent

   704 /S /GTS_PDFA1

   705 /DestOutputProfile \the\pdflastobj\space 0 R

   706 /OutputConditionIdentifier (sRGB)

   707 /Info (sRGB)

   708 >>

   709 ]

   710 }}{}

   711 }{\ClassWarning{Package colorprofiles not installed}{Please install package colorprofiles}}

   712 \fi

   713 \RequirePackage[labelsep=space,singlelinecheck=false,%

   714   font={up,small},labelfont={sf,bf},%

   715   listof=false]{caption}%"listof" instead of "list" for backward compatibility

   716 \@ifpackagelater{hyperref}{2009/12/09}

   717   {\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot

   718   {}

   719 \DeclareCaptionLabelFormat{boxed}{%

   720   \kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}%

   721   \hspace*{0.67em}\bothIfFirst{#1}{~}#2}

   722 \captionsetup{labelformat=boxed}

   723 \captionsetup[table]{position=top}

   724 \RequirePackage[figuresright]{rotating}

   725 \caption@AtBeginDocument{\@ifpackageloaded{subfig}{\ClassError{lipics}{%

   726   Do not load the subfig package}{The more recent subcaption package is already loaded}}{}}

   727 \RequirePackage{subcaption}

   728 \def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}

   729 \def\authorrunning#1{%

   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}}}

   731 \titlerunning{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}

   732 \authorrunning{\textcolor{red}{Author: Please use the \string\authorrunning\space macro}}

   733 \def\EventLongTitle#1{\gdef\@EventLongTitle{#1}}

   734 \EventLongTitle{}

   735 \def\EventShortTitle#1{\gdef\@EventShortTitle{#1}}

   736 \EventShortTitle{}

   737 \def\EventEditors#1{\gdef\@EventEditors{#1}}

   738 \EventEditors{}

   739 \def\EventNoEds#1{\gdef\@EventNoEds{#1}\xdef\@Eds{Editor\ifnum#1>1s\fi}}

   740 \EventNoEds{1}

   741 \def\EventLogo#1{\gdef\@EventLogo{#1}}

   742 \EventLogo{}

   743 \def\EventAcronym#1{\gdef\@EventAcronym{#1}}

   744 \EventAcronym{}

   745 \def\EventYear#1{\gdef\@EventYear{#1}}

   746 \EventYear{}

   747 \def\EventDate#1{\gdef\@EventDate{#1}}

   748 \EventDate{}

   749 \def\EventLocation#1{\gdef\@EventLocation{#1}}

   750 \EventLocation{}

   751 \def\SeriesVolume#1{\gdef\@SeriesVolume{#1}}

   752 \SeriesVolume{}

   753 \def\ArticleNo#1{\gdef\@ArticleNo{#1}}

   754 \ArticleNo{}

   755 \def\DOIPrefix#1{\gdef\@DOIPrefix{#1}}

   756 \DOIPrefix{}

   757 \def\@lipicsdoi{\@DOIPrefix.\@EventAcronym.\@EventYear.\@ArticleNo}

   758 \def\and{\newline}

   759 \let\orig@author\@author

   760 \let\@authorsfortoc\@empty

   761 \let\@authorsforpdf\@empty

   762 \newcount\c@author

   763 \newcounter{currentauthor}

   764 \def\authorcolumnsMin{6}

   765 \def\@authornum{0}

   766 \def\author#1#2#3#4#5{%

   767   \ifx\@author\orig@author\let\@author\@empty\fi

   768   \g@addto@macro\@author{%

   769 	\noexpandarg\StrBehind{#2}{\and \url}[\homepageTemp]\IfSubStr{#2}{\and \url}{\StrBefore{#2}{\and \url}[\affiliation]}{\def\affiliation{#2}}%

   770 	\expandarg\exploregroups\StrRemoveBraces{\homepageTemp}[\homepage]%

   771 	\ifx\authorcolumns\relax

   772 		\ifnum\c@author>\authorcolumnsMin

   773 			\stepcounter{currentauthor}

   774 			\ifodd\value{currentauthor}

   775 				\begin{minipage}[t]{\textwidth}

   776 				\begin{minipage}[t]{0.49\textwidth}

   777 			\else

   778 				\hfill \begin{minipage}[t]{0.49\textwidth}

   779 			\fi

   780 		\else

   781 			\ClassWarning{Option 'authorcolumns' only applicable for > 6 authors}{Option 'authorcolumns' only applicable for >6 authors!}

   782 			\addvspace{0.5\baselineskip}

   783 		\fi

   784 	\else

   785 		\addvspace{0.5\baselineskip}

   786 	\fi

   787     {\Large\bfseries

   788      \if!#1!

   789        \textcolor{red}{Author: Please enter author name}%

   790      \else

   791        \ifx\authoranonymous\relax

   792 			\textcolor{red}{Anonymous author}

   793 		\else

   794 			#1\,%

   795 			\ifx\compactauthor\relax\if!#3!\else{\,\href{mailto:#3}{\mailsymbol}}\fi%

   796 			\ifx\homepage\@empty\else{\,\href{\homepage}{\homesymbol}}\fi\fi%

   797 			\if!#4!\else{\,\href{#4}{\orcidsymbol}}\fi%

   798 			\if!#5!\else

   799 				\ifx\@funding\@empty

   800 					\expandafter\g@addto@macro\expandafter\@funding{\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}}

   801 				\else

   802 					\expandafter\g@addto@macro\expandafter\@funding{\\\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}}

   803 				\fi

   804 			\fi

   805 		\fi

   806      \fi

   807      }

   808 	{\small

   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

   810     \ifx\compactauthor\relax\else\if!#3!\else{\ifx\authoranonymous\relax\else\\*\href{mailto:#3}{#3}\fi}\fi\fi

   811 	}\par

   812 	\ifx\authorcolumns\relax

   813 		\ifnum\c@author>\authorcolumnsMin

   814 			\end{minipage}

   815 			\ifnum\c@author=\value{currentauthor}

   816 				\end{minipage}

   817 			\else

   818 				\ifodd\value{currentauthor}

   819 				\else

   820 					\end{minipage}%

   821 					\medskip

   822 				\fi

   823 			\fi

   824 		\fi

   825 	\fi}%

   826   \global\advance\c@author\@ne

   827   \protected@write\@auxout{}{\string\gdef\string\@authornum{\the\c@author}}

   828   \ifnum\c@author=\@ne

   829     \gdef\@authorsfortoc{#1}%

   830     \gdef\@authorsforpdf{#1}

   831   \else

   832     \expandafter\g@addto@macro\expandafter\@authorsforpdf\expandafter{, #1}

   833     \expandafter\g@addto@macro\expandafter\@authorsfortoc\expandafter{\expandafter\csname\the\c@author authand\endcsname#1}%

   834     \@namedef{\the\c@author authand}{,\space}%

   835     \AtBeginDocument{%

   836       \expandafter\ifnum\@authornum=2

   837         \@namedef{2authand}{\space and\space}%

   838       \else

   839         \@namedef{\@authornum authand}{,\space and\space}%

   840       \fi}

   841   \fi}

   842 \newcommand*\affil[2][]{%

   843   \ClassError{lipics}

   844     {\string\affil\space deprecated: Please enter affiliation as second parameter of the author macro}

   845     {Since 2017, \string\affil\space is obsolete in lipics.}}

   846 \newcommand*\Copyright[1]{%

   847   \def\@copyrightholder{#1}

   848   \def\@Copyright{%

   849     \setbox\@tempboxa\hbox{\IfFileExists{cc-by.pdf}{\includegraphics[height=14\p@,clip]{cc-by}}{\includegraphics[height=14\p@, width=40pt]{example-image-plain}}}%

   850     \@rightskip\@flushglue \rightskip\@rightskip

   851     \hangindent\dimexpr\wd\@tempboxa+0.5em\relax

   852     \href{https://creativecommons.org/licenses/by/4.0/}%

   853          {\smash{\lower\baselineskip\hbox{\unhcopy\@tempboxa}}}\enskip

   854     \textcopyright\ %

   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

   856     ;\\%

   857     licensed under Creative Commons License CC-BY 4.0\ifx!#1!\\\null\fi\par}}

   858 \Copyright{\textcolor{red}{Author: Please provide a copyright holder}}

   859 \let\@copyrightholder\@empty

   860 \def\hideLIPIcs{\let\@hideLIPIcs\relax}

   861 \usepackage{xstring}

   862 \def\keywords#1{\def\@keywords{#1}}

   863 \let\@keywords\@empty

   864 \def\keywordsHeading{%

   865   \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

   866                        Keywords and phrases\enskip}}

   867 \RequirePackage{comment}

   868 \excludecomment{CCSXML}

   869 % inspired by https://tex.stackexchange.com/questions/12810/how-do-i-split-a-string

   870 \global\newcommand\ccsdesc[2][100]{\@ccsdesc#1~#2~~\relax}

   871 \let\orig@ccsdesc\@ccsdesc

   872 \let\@ccsdesc\@empty

   873 \let\@ccsdescString\@empty

   874 \gdef\@ccsdesc#1~#2~#3~{

   875 	\ifx\@ccsdesc\orig@ccsdesc\let\@ccsdesc\@empty\fi

   876 	\ifx!#3!

   877 		\ifx\@ccsdescString\@empty

   878 			\g@addto@macro\@ccsdescString{{#2}}

   879 		\else

   880 			\g@addto@macro\@ccsdescString{; {#2}}

   881 		\fi

   882 	\else

   883 		\ifx\@ccsdescString\@empty

   884 			\g@addto@macro\@ccsdescString{{#2} $\rightarrow$ {#3}}

   885 		\else

   886 			\g@addto@macro\@ccsdescString{; {#2} $\rightarrow$ {#3}}

   887 		\fi

   888 	\fi

   889 \ccsdescEnd

   890 }

   891 \def\ccsdescEnd#1\relax{}

   892 \def\subjclass#1{

   893   \ClassError{lipics}

   894     {\string\subjclass\space deprecated: Please enter subject classification in 1 or more ccsdesc macros}

   895     {Since 2019, \string\subjclass\space is obsolete in lipics.}}

   896 \let\@subjclass\@empty

   897 \def\subjclassHeading{%

   898   \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

   899                        2012 ACM Subject Classification\enskip}}

   900 \def\doiHeading{%

   901   \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

   902                        Digital Object Identifier\enskip}}

   903 \def\category#1{\def\@category{#1}}

   904 \let\@category\@empty

   905 \def\categoryHeading{%

   906   \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

   907                        Category\enskip}}

   908 \def\relatedversion#1{\def\@relatedversion{#1}}

   909 \let\@relatedversion\@empty

   910 \define@key{relatedversiondetails}{linktext}{\def\relatedversiondetails@linktext{#1}}

   911 \define@key{relatedversiondetails}{cite}{\def\relatedversiondetails@cite{#1}}

   912 \newcommand*\addtorelatedversionmacro[2]{%

   913 		\ifx\@relatedversion\@empty%

   914 				\g@addto@macro\@relatedversion{#1}%

   915 			\else%

   916 				\g@addto@macro\@relatedversion{\\#1}%

   917 			\fi%

   918 }%

   919 \newcommand{\relatedversiondetails}[3][]{%

   920 	\begingroup%

   921 	\let\relatedversiondetails@linktext\@empty

   922 	\let\relatedversiondetails@cite\@empty

   923 	\setkeys{relatedversiondetails}{#1}%

   924 	\ifx\relatedversiondetails@linktext\@empty%

   925 		\protected@edef\tmp{\textit{#2}:\space{\url{#3}}}%

   926 	\else%

   927 		\protected@edef\tmp{\textit{#2}:\space{\href{#3}{\texttt{\relatedversiondetails@linktext}}}}%

   928 	\fi%

   929 	\ifx\relatedversiondetails@cite\@empty%

   930 	\else%

   931 		\protected@edef\tmp{\tmp\nobreakspace\cite{\relatedversiondetails@cite}}%

   932 	\fi%

   933 	\expandafter\addtorelatedversionmacro\expandafter{\tmp}{#1}%

   934 	\endgroup%

   935 }%

   936 \def\relatedversionHeading{%

   937   \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

   938                        Related Version\enskip}}

   939 \def\supplement#1{\def\@supplement{#1}}

   940 \let\@supplement\@empty 

   941 \define@key{supplementdetails}{linktext}{\def\supplementdetails@linktext{#1}}

   942 \define@key{supplementdetails}{cite}{\def\supplementdetails@cite{#1}}

   943 \define@key{supplementdetails}{subcategory}{\def\supplementdetails@subcategory{#1}}

   944 \define@key{supplementdetails}{swhlinktext}{\def\supplementdetails@swhlinktext{#1}}

   945 \let\supplementdetails@swhlinktext\@empty

   946 \define@key{supplementdetails}{swhid}{

   947 	\ifx\supplementdetails@swhlinktext\@empty%

   948 		\StrBefore{#1}{;}[\supplementdetails@swhlinktext]%

   949 	\fi%

   950 	\def\supplementdetails@swhid{#1}%

   951 }

   952 

   953 \define@key{supplementdetails}{swhdelimiter}{\def\supplementdetails@swhdelimiter{#1}}

   954 \def\supplementdetails@swhdelimiter{\\ \hspace*{1.2em}}

   955 \newcommand*\addtosupplementmacro[2]{%

   956 		\ifx\@supplement\@empty%

   957 				\g@addto@macro\@supplement{#1}%

   958 			\else%

   959 				\g@addto@macro\@supplement{\\#1}%

   960 			\fi%

   961 }%

   962 \newcommand{\supplementdetails}[3][]{%

   963 	\begingroup%

   964 	\let\supplementdetails@linktext\@empty

   965 	\let\supplementdetails@cite\@empty

   966 	\let\supplementdetails@subcategory\@empty

   967 	\let\supplementdetails@swhid\@empty

   968 	\setkeys{supplementdetails}{#1}%

   969 	\ifx\supplementdetails@subcategory\@empty%

   970 		\protected@edef\tmp{\textit{#2}}

   971 	\else

   972 		\protected@edef\tmp{\textit{#2\,\,(\supplementdetails@subcategory)}}%

   973 	\fi

   974 	\ifx\supplementdetails@linktext\@empty%

   975 		\protected@edef\tmp{\tmp:\space{\url{#3}}}%

   976 	\else%

   977 		\protected@edef\tmp{\tmp:\space{\href{#3}{\texttt{\supplementdetails@linktext}}}}%

   978 	\fi%

   979 	\ifx\supplementdetails@cite\@empty%

   980 	\else%

   981 		\protected@edef\tmp{\tmp\nobreakspace\cite{\supplementdetails@cite}}%

   982 	\fi

   983 	\ifx\supplementdetails@swhid\@empty%

   984 	\else%

   985 		\ifx\supplementdetails@swhlinktext\@empty%

   986 			\protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at %

   987 			\href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhid}}}%

   988 		\else%

   989 			\protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at %

   990 			\href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhlinktext}}}%

   991 		\fi%

   992 	\fi%

   993 	\expandafter\addtosupplementmacro\expandafter{\tmp}{#1}%

   994 	\endgroup%

   995 }%

   996 \def\supplementHeading{%

   997   \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

   998                        Supplementary Material\enskip}}

   999 \newcommand\flag[2][0.9cm]{%

  1000     \leavevmode\marginpar{%

  1001         \raisebox{\dimexpr-\totalheight+\ht\strutbox\relax}%

  1002         [\dimexpr\ht\strutbox+3mm][\dp\strutbox]{\expandafter\includegraphics[width=#1]{#2}}%

  1003 }}

  1004 \def\funding#1{\def\@funding{#1}}

  1005 \let\@funding\@empty

  1006 \def\fundingHeading{%

  1007  \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

  1008                       Funding\enskip}}

  1009 \def\acknowledgements#1{\def\@acknowledgements{#1}}

  1010 \let\@acknowledgements\@empty

  1011 \def\acknowledgementsHeading{%

  1012  \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries

  1013                       Acknowledgements\enskip}}

  1014 \RequirePackage{amsthm}

  1015 \ifx\usethmrestate\relax

  1016 	\RequirePackage{thm-restate}

  1017 \fi

  1018 \thm@headfont{%

  1019   \textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}

  1020 \def\th@remark{%

  1021   \thm@headfont{%

  1022     \textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily}%

  1023   \normalfont % body font

  1024   \thm@preskip\topsep \divide\thm@preskip\tw@

  1025   \thm@postskip\thm@preskip

  1026 }

  1027 \def\@endtheorem{\endtrivlist}%\@endpefalse

  1028 \renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}

  1029 \renewenvironment{proof}[1][\proofname]{\par

  1030   \pushQED{\qed}%

  1031   \normalfont \topsep6\p@\@plus6\p@\relax

  1032   \trivlist

  1033   \item[\hskip\labelsep

  1034         \color{lipicsGray}\sffamily\bfseries

  1035     #1\@addpunct{.}]\ignorespaces

  1036 }{%

  1037   \popQED\endtrivlist%\@endpefalse

  1038 }

  1039 \newcommand{\claimqedhere}{\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}}%

  1040 \qedhere%

  1041 \renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}}

  1042 \newenvironment{claimproof}[1][\proofname]{

  1043   \pushQED{\qed}%

  1044   \normalfont \topsep6\p@\@plus6\p@\relax

  1045   \trivlist

  1046   \item[\hskip\labelsep

  1047         \color{lipicsGray}\sffamily

  1048     #1\@addpunct{.}]\ignorespaces

  1049 }{%

  1050   \renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}}

  1051   \popQED\endtrivlist%\@endpefalse

  1052   \renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}

  1053 }

  1054 % inspired by qed of amsthm class

  1055 \DeclareRobustCommand{\lipicsEnd}{%

  1056 	\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill

  1057 	\quad\hbox{$\lrcorner$}%

  1058 }

  1059 \AtBeginDocument{

  1060 	\@ifpackageloaded{algorithm2e}{

  1061 		\@ifpackagelater{algorithm2e}{2009/11/17}{

  1062 			\renewcommand{\algorithmcfname}{\sffamily\bfseries{}Algorithm}%

  1063 			\renewcommand{\@algocf@procname}{\sffamily\bfseries{}Procedure}%

  1064 			\SetAlgoCaptionSeparator{~}

  1065 			\SetAlCapHSkip{0pt}

  1066 			\renewcommand{\algocf@captiontext}[2]{%

  1067 			    \kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}%

  1068 			\hspace*{0.67em}\small #1\algocf@capseparator\nobreakspace#2}

  1069 			\renewcommand{\algocf@makecaption}[2]{%

  1070 			    \parbox[t]{\textwidth}{\algocf@captiontext{#1}{#2}}%

  1071 			}%

  1072 			\renewcommand{\algocf@captionproctext}[2]{%

  1073 		{%

  1074 		\kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}%

  1075 		\hspace*{0.67em}\small%

  1076 \ProcSty{\ProcFnt\algocf@procname\ifthenelse{\boolean{algocf@procnumbered}}{\nobreakspace\thealgocf\algocf@typo\algocf@capseparator}{\relax}}%

  1077     \nobreakspace\ProcNameSty{\ProcNameFnt\algocf@captname #2@}% Name of the procedure in ProcName Style. 

  1078     \ifthenelse{\equal{\algocf@captparam #2@}{\arg@e}}{}{% if no argument, write nothing

  1079       \ProcNameSty{\ProcNameFnt(}\ProcArgSty{\ProcArgFnt\algocf@captparam #2@}\ProcNameSty{\ProcNameFnt)}%else put arguments in ProcArgSty:

  1080     }% endif

  1081     \algocf@captother #2@%

  1082   }%

  1083 }%

  1084 			\renewcommand{\@algocf@capt@boxed}{above}

  1085 			\renewcommand{\@algocf@capt@ruled}{above}

  1086 			\setlength\algotitleheightrule{0pt}

  1087 		}{\ClassWarning{%

  1088 	  Package algorithm2e outdated}{You are using an outdated version of the package algorithm2e. Please update!}}

  1089 	}{}

  1090 	\@ifpackageloaded{algorithm}{

  1091 		\captionsetup[algorithm]{name=Algorithm, labelformat=boxed, position=top}

  1092 		\newcommand\fs@ruled@notop{\def\@fs@cfont{\bfseries}\let\@fs@capt\floatc@ruled

  1093 		\def\@fs@pre{}%

  1094 		\def\@fs@post{\kern2pt\hrule\relax}%

  1095 		\def\@fs@mid{\kern2pt\hrule\kern2pt}%

  1096 		\let\@fs@iftopcapt\iftrue}

  1097 		\@ifundefined{fst@algorithm}{}{

  1098 			\renewcommand\fst@algorithm{\fs@ruled@notop}

  1099 		}

  1100 	}{}

  1101 	\ifx\usecleveref\relax\else

  1102 		\@ifpackageloaded{cleveref}{\ClassWarning{Use document option 'cleveref' instead}{Use document option 'cleveref' instead directly loading package 'cleveref'}}{}

  1103 	\fi

  1104 	\ifx\usethmrestate\relax\else

  1105 		\@ifpackageloaded{thm-restate}{\ClassWarning{Use document option 'thm-restate' instead}{Use document option 'thm-restate' instead directly loading package 'thm-restate'}}{}

  1106 	\fi

  1107 	\ifx\useautoref\relax

  1108 		\@ifundefined{algorithmautorefname}{\newcommand{\algorithmautorefname}{Algorithm}}{\renewcommand{\algorithmautorefname}{Algorithm}}%

  1109 	\fi

  1110 }

  1111 

  1112 \ifx\usecleveref\relax

  1113 	\RequirePackage[capitalise, noabbrev]{cleveref}

  1114 	\crefname{algocf}{Algorithm}{Algorithms}

  1115 	\Crefname{algocf}{Algorithm}{Algorithms}

  1116 	\newcommand{\crefrangeconjunction}{--}

  1117 	\newcommand{\creflastconjunction}{, and\nobreakspace}

  1118 \fi

  1119 \ifx\useautoref\relax

  1120 	\RequirePackage{aliascnt}

  1121 \fi

  1122 \newtheoremstyle{claimstyle}{\topsep}{\topsep}{}{0pt}{\sffamily}{. }{5pt plus 1pt minus 1pt}%

  1123   {$\vartriangleright$ \thmname{#1}\thmnumber{ #2}\thmnote{ (#3)}}

  1124 \theoremstyle{plain}

  1125 \newtheorem{theorem}{Theorem}

  1126 \ifx\numberwithinsect\relax

  1127   \@addtoreset{theorem}{section}

  1128   \expandafter\def\expandafter\thetheorem\expandafter{%

  1129     \expandafter\thesection\expandafter\@thmcountersep\thetheorem}

  1130 \fi

  1131 

  1132 \ifx\useautoref\relax

  1133 	\addto\extrasenglish{%

  1134 		\def\chapterautorefname{Chapter}%

  1135 		\def\sectionautorefname{Section}%