Laboratoire de l'Informatique et du Parallélisme » Linear Arithmetic

%%

%% This is file `lipics.cls',

%% generated with the docstrip utility.

%%

%% The original source files were:

%%

%% lipics.dtx  (with options: `class')

%%

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

%% Author:     le-tex publishing services

%%

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

%% LIPICS articles.

%%

%%       Copyright (C) 2010 Schloss Dagstuhl

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

\NeedsTeXFormat{LaTeX2e}[2005/12/01]

\ProvidesClass{lipics-v2016}

    [2016/02/16 v1.1 LIPIcs articles]

\emergencystretch1em

\advance\hoffset-1in

\advance\voffset-1in

\advance\hoffset2.95mm

\newif\if@nobotseplist  \@nobotseplistfalse

\def\@endparenv{%

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

\def\@doendpe{%

  \@endpetrue

  \def\par{\@restorepar

           \everypar{}%

           \par

           \if@nobotseplist

             \addvspace\topsep

             \addvspace\partopsep

             \global\@nobotseplistfalse

           \fi

           \@endpefalse}%

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

            \everypar{}%

            \if@nobotseplist\global\@nobotseplistfalse\fi

            \@endpefalse}}

\def\enumerate{%

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

    \advance\@enumdepth\@ne

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

    \expandafter

    \list

      \csname label\@enumctr\endcsname

      {\advance\partopsep\topsep

       \topsep\z@\@plus\p@

       \ifnum\@listdepth=\@ne

         \labelsep0.72em

       \else

         \ifnum\@listdepth=\tw@

           \labelsep0.3em

         \else

           \labelsep0.5em

         \fi

       \fi

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

  \fi}

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

\def\itemize{%

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

    \advance\@itemdepth\@ne

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

    \expandafter

    \list

      \csname\@itemitem\endcsname

      {\advance\partopsep\topsep

       \topsep\z@\@plus\p@

       \ifnum\@listdepth=\@ne

         \labelsep0.83em

       \else

         \ifnum\@listdepth=\tw@

           \labelsep0.75em

         \else

           \labelsep0.5em

         \fi

      \fi

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

  \fi}

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

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

  \ifnum #2>\c@secnumdepth

    \let\@svsec\@empty

  \else

    \refstepcounter{#1}%

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

  \fi

  \@tempskipa #5\relax

  \ifdim \@tempskipa>\z@

    \begingroup

      #6{%

        \@hangfrom{\hskip #3\relax

          \ifnum #2=1

            \colorbox[rgb]{0.99,0.78,0.07}{\kern0.15em\@svsec\kern0.15em}\quad

          \else

            \@svsec\quad

          \fi}%

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

    \endgroup

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

    \addcontentsline{toc}{#1}{%

      \ifnum #2>\c@secnumdepth \else

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

      \fi

      #7}%

  \else

    \def\@svsechd{%

      #6{\hskip #3\relax

      \@svsec #8}%

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

      \addcontentsline{toc}{#1}{%

        \ifnum #2>\c@secnumdepth \else

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

        \fi

        #7}}%

  \fi

  \@xsect{#5}}

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

\def\@biblabel#1{\textcolor{darkgray}{\sffamily\bfseries#1}}

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

\EventLogo{}

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

\EventEditors{}

\def\EventNoEds#1{\gdef\@EventNoEds{#1}\ifnum #1>1 \gdef\@Eds{Editors}\fi }

\EventNoEds{1}

\gdef\@Eds{Editor}

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

\EventLongTitle{}

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

\EventShortTitle{}

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

\EventAcronym{}

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

\EventYear{}

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

\EventDate{}

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

\EventLocation{}

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

\SeriesVolume{}

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

\ArticleNo{}

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

\DOIPrefix{10.4230/LIPIcs}

\def\copyrightline{%

  \ifx\@EventLogo\@empty

  \else

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

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

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

  \fi

  \scriptsize

  \vtop{\hsize\textwidth

    \nobreakspace\\

    \@Copyright

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

    \ifx\@EventEditors\@empty\else

      \@Eds: \@EventEditors

      ; Article~No.\,\@ArticleNo; pp.\,\@ArticleNo:\thepage--\@ArticleNo:\pageref{LastPage}%

      \\

    \fi

    \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}%

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

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

         {Leibniz International Proceedings in Informatics}\\

    \smash{\unhbox\@tempboxa}\enskip

    \href{http://www.dagstuhl.de}%

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

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

  \let\@oddhead\@empty

  \let\@evenhead\@empty

  \let\@evenfoot\copyrightline

  \let\@oddfoot\copyrightline}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

                        \advance\hoffset-2.95mm

                        \advance\voffset8.8mm}

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

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

\ProcessOptions

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

\renewcommand\normalsize{%

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

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

   \abovedisplayshortskip \z@ \@plus3\p@

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

   \belowdisplayskip \abovedisplayskip

   \let\@listi\@listI}

\normalsize

\renewcommand\small{%

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

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

   \abovedisplayshortskip \z@ \@plus2\p@

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

   \def\@listi{\leftmargin\leftmargini

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

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

               \itemsep \parsep}%

   \belowdisplayskip \abovedisplayskip

}

\renewcommand\footnotesize{%

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

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

   \abovedisplayshortskip \z@ \@plus\p@

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

   \def\@listi{\leftmargin\leftmargini

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

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

               \itemsep \parsep}%

   \belowdisplayskip \abovedisplayskip

}

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

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

\setlength\parindent{1.5em}

\setlength\headheight{3mm}

\setlength\headsep   {10mm}

\setlength\footskip{3mm}

\setlength\textwidth{140mm}

\setlength\textheight{222mm}

\setlength\oddsidemargin{32mm}

\setlength\evensidemargin{38mm}

\setlength\marginparwidth{25mm}

\setlength\topmargin{13mm}

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

\def\@listi{\leftmargin\leftmargini

            \parsep\z@ \@plus\p@

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

            \itemsep \parsep}

\let\@listI\@listi

\@listi

\def\@listii {\leftmargin\leftmarginii

              \labelwidth\leftmarginii

              \advance\labelwidth-\labelsep

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

              \parsep\z@ \@plus\p@

              \itemsep   \parsep}

\def\@listiii{\leftmargin\leftmarginiii

              \labelwidth\leftmarginiii

              \advance\labelwidth-\labelsep

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

              \parsep    \z@

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

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

\def\ps@headings{%

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

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

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

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

    \def\@oddfoot{\hfil

                  \rlap{%

                    \vtop{%

                      \vskip10mm

                      \colorbox[rgb]{0.99,0.78,0.07}

                                    {\@tempdima\evensidemargin

                                     \advance\@tempdima1in

                                     \advance\@tempdima\hoffset

                                     \hb@xt@\@tempdima{%

                                       \textcolor{darkgray}{\normalsize\sffamily

                                       \bfseries\quad

                                       \expandafter\textsolittle

                                       \expandafter{\@EventShortTitle}}%

                                     \strut\hss}}}}}

    \let\@evenfoot\@empty

    \let\@mkboth\markboth

  \let\sectionmark\@gobble

  \let\subsectionmark\@gobble}

\pagestyle{headings}

\renewcommand\maketitle{\par

  \begingroup

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

    \if@twocolumn

      \ifnum \col@number=\@ne

        \@maketitle

      \else

        \twocolumn[\@maketitle]%

      \fi

    \else

      \newpage

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

      \@maketitle

    \fi

    \thispagestyle{plain}\@thanks

  \endgroup

  \setcounter{footnote}{0}%

  \global\let\thanks\relax

  \global\let\maketitle\relax

  \global\let\@maketitle\relax

  \global\let\@thanks\@empty

  \global\let\@author\@empty

  \global\let\@date\@empty

  \global\let\@title\@empty

  \global\let\title\relax

  \global\let\author\relax

  \global\let\date\relax

  \global\let\and\relax

}

\newwrite\tocfile

\def\@maketitle{%

  \newpage

  \null\vskip-\baselineskip

  \vskip-\headsep

  \@titlerunning

  \@authorrunning

  \let \footnote \thanks

  \parindent\z@ \raggedright

    {\LARGE\sffamily\bfseries\mathversion{bold}\@title \par}%

    \vskip 1.5em%

    \ifnum\c@authors=0 %

      \@latexerr{No \noexpand\author given}%

        {Provide at least one author. See the LIPIcs class documentation.}%

    \else

      \@author

    \fi

    \bgroup

      \let\footnote\@gobble

      \immediate\openout\tocfile=\jobname.vtc

      \protected@write\tocfile{}{%

        \string\contitem

        \string\title{\@title}%

        \string\author{\AB@authfortoc}%

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

      \closeout\tocfile

    \egroup

  \par}

\setcounter{secnumdepth}{4}

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

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

                                   {2.3ex \@plus.2ex}%

                                   {\sffamily\Large\bfseries\raggedright}}

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

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

                                     {1.5ex \@plus .2ex}%

                                     {\sffamily\Large\bfseries\raggedright}}

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

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

                                     {1.5ex \@plus .2ex}%

                                     {\sffamily\Large\bfseries\raggedright}}

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

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

                                    {1.5ex \@plus .2ex}%

                                    {\sffamily\large\bfseries\raggedright}}

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

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

                                       {-1em}%

                                      {\sffamily\normalsize\bfseries}}

\setlength\leftmargini  \parindent

\setlength\leftmarginii {1.2em}

\setlength\leftmarginiii{1.2em}

\setlength\leftmarginiv {1.2em}

\setlength\leftmarginv  {1.2em}

\setlength\leftmarginvi {1.2em}

\renewcommand\labelenumi{%

  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumi.}}

\renewcommand\labelenumii{%

  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumii.}}

\renewcommand\labelenumiii{%

  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiii.}}

\renewcommand\labelenumiv{%

  \textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiv.}}

\renewcommand\labelitemi{%

  \textcolor[rgb]{0.6,0.6,0.61}{\ifnum\@listdepth=\@ne

                                  \rule{0.67em}{0.33em}%

                                \else

                                  \rule{0.45em}{0.225em}%

                                \fi}}

\renewcommand\labelitemii{%

  \textcolor[rgb]{0.6,0.6,0.61}{\rule{0.45em}{0.225em}}}

\renewcommand\labelitemiii{%

  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textasteriskcentered}}

\renewcommand\labelitemiv{%

  \textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textperiodcentered}}

\renewenvironment{description}

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

                        \labelwidth\z@ \itemindent-\leftmargin

                        \let\makelabel\descriptionlabel}}

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

\renewcommand*\descriptionlabel[1]{%

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

\renewenvironment{abstract}{%

  \vskip\bigskipamount

  \noindent

  \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%

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

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

  \vskip3\p@

  \fontsize{9.5}{12.5}\selectfont

  \noindent\ignorespaces}

  {\ifx\@subjclass\@empty\else

     \vskip\baselineskip\noindent

     \subjclassHeading\@subjclass

   \fi

   \ifx\@keywords\@empty\else

     \vskip\baselineskip\noindent

     \keywordsHeading\@keywords

   \fi

   \ifx\@DOIPrefix\@empty\else

     \vskip\baselineskip\noindent

     \doiHeading\doi{\@DOIPrefix.\@EventAcronym.\@EventYear.\@ArticleNo}

   \fi}

\renewenvironment{thebibliography}[1]

  {\if@noskipsec \leavevmode \fi

   \par

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

   \@afterindenttrue

   \@tempskipa -\@tempskipa \@afterindentfalse

   \if@nobreak

     \everypar{}%

   \else

     \addpenalty\@secpenalty\addvspace\@tempskipa

   \fi

   \noindent

   \rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%

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

     \normalsize\sffamily\bfseries\refname}}%

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

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

        {\leftmargin8.5mm

         \labelsep\leftmargin

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

         \advance\labelsep-\labelwidth

         \usecounter{enumiv}%

         \let\p@enumiv\@empty

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

   \fontsize{9.5}{12.5}\selectfont

   \sloppy

   \clubpenalty4000

   \@clubpenalty \clubpenalty

   \widowpenalty4000%

   \sfcode`\.\@m}

  {\def\@noitemerr

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

   \endlist}

\renewcommand\footnoterule{%

  \kern-8\p@

  {\color[rgb]{0.60,0.60,0.61}\hrule\@width40mm\@height1\p@}%

  \kern6.6\p@}

\renewcommand\@makefntext[1]{%

    \parindent\z@\hangindent1em

    \leavevmode

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

\usepackage[utf8]{inputenc}

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

\RequirePackage[T1]{fontenc}

\RequirePackage{textcomp}

\RequirePackage[mathscr]{eucal}

\RequirePackage{amssymb}

\RequirePackage{soul}

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

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

\RequirePackage{color}

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

\RequirePackage{babel}

\RequirePackage[tbtags,fleqn]{amsmath}

\RequirePackage{amsthm}

\thm@headfont{%

  \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}

\def\th@remark{%

  \thm@headfont{%

    \textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily}%

  \normalfont % body font

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

  \thm@postskip\thm@preskip

}

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

\renewcommand\qedsymbol{\textcolor{darkgray}{\ensuremath{\blacktriangleleft}}}

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

  \pushQED{\qed}%

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

  \trivlist

  \item[\hskip\labelsep

        \color{darkgray}\sffamily\bfseries

    #1\@addpunct{.}]\ignorespaces

}{%

  \popQED\endtrivlist%\@endpefalse

}

\theoremstyle{plain}

\newtheorem{theorem}{Theorem}

\newtheorem{lemma}[theorem]{Lemma}

\newtheorem{corollary}[theorem]{Corollary}

\theoremstyle{definition}

\newtheorem{definition}[theorem]{Definition}

\newtheorem{example}[theorem]{Example}

\theoremstyle{remark}

\newtheorem*{remark}{Remark}

\ifx\numberwithinsect\relax

  \@addtoreset{theorem}{section}

  \edef\thetheorem{\expandafter\noexpand\thesection\@thmcountersep\@thmcounter{theorem}}

\fi

\RequirePackage{graphicx}

\RequirePackage{array}

\let\@classzold\@classz

\def\@classz{%

   \expandafter\ifx\d@llarbegin\begingroup

     \toks \count@ =

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

   \fi

   \@classzold}

\RequirePackage{multirow}

\RequirePackage{tabularx}

\RequirePackage[online]{threeparttable}

\def\TPTtagStyle#1{#1)}

\def\tablenotes{\small\TPT@defaults

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

\RequirePackage{listings}

\lstset{basicstyle=\small\ttfamily,%

        backgroundcolor=\color[rgb]{0.85,0.85,0.86},%

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

\RequirePackage{lastpage}

\IfFileExists{doi.sty}

  {\RequirePackage{doi}%

   \renewcommand*{\doitext}{}}

  {\RequirePackage{hyperref}%

   \def\doi##1{##1}}

\hypersetup{pdfborder={0 0 0}}

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

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

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

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

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

  {}

\DeclareCaptionLabelFormat{boxed}{%

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

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

\captionsetup{labelformat=boxed}

\captionsetup[table]{position=top}

\RequirePackage[figuresright]{rotating}

\RequirePackage{subcaption} % subfig

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

\def\authorrunning#1{%

  \gdef\@authorrunning{\expandafter\def\expandafter\@tempa\expandafter{#1}%

                       \ifx\@tempa\@empty\else\markright{#1}\fi}}

\titlerunning{\@title}

\authorrunning{\AB@authrunning}

\RequirePackage{authblk}

\renewcommand*\Authand{{ and }}

\renewcommand*\Authfont{\Large\bfseries\mathversion{bold}}

\renewcommand*\AB@authnote[1]{\textsuperscript{#1}}

\renewcommand*\AB@affilnote[1]{\protect\item[#1]}

\renewcommand*\Affilfont{\fontsize{9.5}{12}\selectfont}

\setlength\affilsep{\baselineskip}

\newcommand\AB@authrunning{}

\newcommand\AB@authfortoc{}

\renewcommand\author[2][]%

      {\ifnewaffil\addtocounter{affil}{1}%

       \edef\AB@thenote{\arabic{affil}}\fi

      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%

        \setcounter{Maxaffil}{0}\fi

      \ifnum\value{authors}>1\relax

      \@namedef{@sep\number\c@authors}{\Authsep}\fi

      \addtocounter{authors}{1}%

      \begingroup

          \let\protect\@unexpandable@protect \let\and\AB@pand

          \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%

         \@temptokena=\expandafter{\AB@authors}%

         {\def\\{\protect\\[\@affilsep]\protect\Affilfont

              \protect\AB@resetsep}%

              \xdef\AB@author{\AB@blk@and#2}%

       \ifnewaffil\gdef\AB@las{}\gdef\AB@lasx{\protect\Authand}\gdef\AB@as{}%

           \xdef\AB@authors{\the\@temptokena\AB@blk@and}%

       \else

          \xdef\AB@authors{\the\@temptokena\AB@as\AB@au@str}%

          \global\let\AB@las\AB@lasx\gdef\AB@lasx{\protect\Authands}%

          \gdef\AB@as{\Authsep}%

       \fi

       \gdef\AB@au@str{#2}}%

         \@temptokena=\expandafter{\AB@authlist}%

         \let\\=\authorcr

         \xdef\AB@authlist{\the\@temptokena

           \protect\@nameuse{@sep\number\c@authors}%

           \protect\Authfont#2\AB@authnote{\AB@note}}%

         %new

         \@temptokena=\expandafter{\AB@authrunning}%

         \let\\=\authorcr

         \xdef\AB@authrunning{\the\@temptokena

           \protect\@nameuse{@sep\number\c@authors}#2}%

         %

         %new

         \@temptokena=\expandafter{\AB@authfortoc}%

         \let\\=\authorcr

         \xdef\AB@authfortoc{\the\@temptokena

           \expandafter\noexpand\csname @sep\number\c@authors\endcsname#2}%

         %

      \endgroup

      \ifnum\value{authors}>2\relax

      \@namedef{@sep\number\c@authors}{\Authands}\fi

      \newaffilfalse

}

\renewcommand\affil[2][]%

   {\newaffiltrue\let\AB@blk@and\AB@pand

      \if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%

        \setcounter{Maxaffil}{0}\fi

      \begingroup

        \let\protect\@unexpandable@protect

        \def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%

        \@temptokena=\expandafter{\AB@authors}%

        {\def\\{\protect\\\protect\Affilfont}\xdef\AB@temp{#2}}%

         \xdef\AB@authors{\the\@temptokena\AB@las\AB@au@str

         \protect\\[\affilsep]\protect\Affilfont\AB@temp}%

         \gdef\AB@las{}\gdef\AB@au@str{}%

        {\xdef\AB@temp{#2}}%

        \@temptokena=\expandafter{\AB@affillist}%

        \xdef\AB@affillist{\the\@temptokena \AB@affilsep

          \AB@affilnote{\AB@note}\protect\Affilfont\AB@temp}%

      \endgroup

       \let\AB@affilsep\AB@affilsepx}

\renewcommand\@author{\ifx\AB@affillist\AB@empty\AB@authrunning\else

      \ifnum\value{affil}>\value{Maxaffil}\def\rlap##1{##1}%

    \AB@authlist\\[\affilsep]

    \labelwidth1.5em\labelsep\z@\leftmargini\labelwidth

    \edef\@enumctr{enumi}%

    \list\theenumi{\usecounter\@enumctr\def\makelabel##1{\rlap{##1}\hss}}%

      \AB@affillist

    \endlist

    \else  \AB@authors\fi\fi}

\newcommand*\Copyright[1]{%

  \def\@Copyright{%

      \setbox\@tempboxa\hbox{\includegraphics[height=14\p@,clip]{cc-by}}%

      \hspace*{\wd\@tempboxa}\enskip\ifx#1\@empty \else \textcopyright\ #1;\\\fi

      \href{http://creativecommons.org/licenses/by/3.0/}%

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

            licensed under Creative Commons License CC-BY\\

    }}

\Copyright{\@empty}

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

\let\@keywords\@empty

\def\keywordsHeading{%

  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries

                       Keywords and phrases\enskip}}

\def\subjclass#1{\gdef\@subjclass{#1}}

\let\@subjclass\@empty

\def\subjclassHeading{%

  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries

                       1998 ACM Subject Classification\enskip}}

\def\doiHeading{%

  \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries

                       Digital Object Identifier\enskip}}

\setcounter{page}{1}

\def\DOI#1{\gdef\@DOI{#1}}

\DOI{}

\endinput

%%

%% End of file `lipics.cls'.