diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000000000000000000000000000000000000..fc0bdfbd90a4e7c18e91b97cfde12bae71fb9b44
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,120 @@
+OASIcs Style - CHANGELOG
+
+* 04/05/2021 OASIcs-v2021 v3.1.2
+ * New feature
+ * added optional \subtitle
+ * revised displaying of swhids (hid contextual information)
+ * Bugfix
+ * fixed problem with numberwithinsect in combination with thm-restate,cleveref, autoref (This fixes #15)
+ * Fixing "supplemenatary" typo #14
+
+* 25/02/2021 OASIcs-v2021 v3.1.1
+ * Bugfix
+ * exchanged OASIcs logos to ensure PDF/A compliance
+ * corrected typo
+
+* 04/01/2021 OASIcs-v2021 v3.1.0
+ * New feature
+ * added documentclass option pdfa to explicitly enable generation of PDF according PDF/A standard
+ * Bugfix
+ * fixed problems when using old versions of hyperxmp package (This fixes #11)
+
+* 09/12/2020 OASIcs-v2021 v3.0.1
+ * Bugfix
+ * fixed bug related to unavailable sRGB.icc (This fixes #10)
+
+* 01/12/2020 OASIcs-v2021 v3.0
+ * New Feature
+ * more compact presentation of author information (email address and homepage URL only as logo)
+ * adjustment of document licence to CC-BY 4.0
+ * added anonymization (documentclass option "anonymous") also for \relatedversion and \supplement macros; resolves #9
+ * added \claimqedhere to be used in claimproof environments (similar to qedhere in proof environments); resolves #4
+ * added new macro \flag to display a flag or logo near the funding information as requested by some funding agencies (e.g. ERC grant)
+ * added \proofsubparagraph to allow structuring of proofs
+ * added new macros \relatedversiondetails and \supplementdetails to collect information regarding related version/supplementary material in a more structured way
+ * added new theorem-like environments 'conjecture' and 'observation'
+ * added support to produce PDFs according PDF/A-3B standard
+ * Minor changes
+ * revised style of procedure environment provided by algorithm2e package
+ * Bugfix
+ * fixed bug related to loaded but unused algorithm package (This fixes #2)
+ * fixed bug related to outdated algorithm2e package (This fixes #3)
+ * minor issues related to cleveref package (n-dash, oxford comma)
+
+* 29/04/2020 OASIcs-v2019 v2.2.1
+ * Minor changes
+ * export of several page numbers (end top matter, start/end bibliography, start appendix) into aux-file
+ * renamed heading of \supplement macro to "Supplementary Material"
+
+* 19/07/2019 OASIcs-v2019 v2.2
+ * New Feature
+ * explicitly defined/named colors used in style to ease reusing them (requires load of package xcolor instead of color)
+ * added document option "authorcolumns" to activate displaying author details in two columns (only allowed for more than 6 authors)
+ * revised style of algorithm environments provided by algorithm or algorithm2e packages
+ * added qed-like symbol to mark end of e.g. definitions (command \oasicsEnd)
+ * Bugfix
+ * fixed problem caused by "\\" in title macro
+
+* 06/06/2019 OASIcs-v2019 v2.1
+ * New Feature
+ * added document option "anonymous" to make author related information anonymous (e.g. for double-blind review)
+ * Bugfix
+ * fixed problems with using thm-restate (added new documentclass option thm-restate)
+ * fixed bug when using algorithm2e package and cleveref package
+ * fixed problems with texorpdfstring in author macro
+ * fixed spacing variation between author name and orcid symbol
+ * capitalised labels when using autoref (e.g. section -> Section)
+
+
+* 10/12/2018 OASIcs-v2019 v2.0
+ * New Features
+ * support of metadata in PDF file (e.g. author, title, keywords)
+ * revised displaying of author-related funding acknowledgements (now displayed as part of the funding block instead of footnotes)
+ * added support for cleveref package (new document option 'cleveref')
+ * added support for using autoref for theorem-like environments (new document option 'autoref')
+ * added new environment claim and claimproof to realize sub-proofs
+ * added new environment proposition
+ * Bugfixes
+ * fixed problems with theorem-like environments when using cleveref and autoref (see new features above)
+ * switched several URL from http to https
+ * fixed problems with using of ACM 2012 classification (deactivated subjclass and revised support of ccsdesc macro)
+ * Minor changes
+ * moved ORCID symbol behind author name (according https://orcid.org/content/journal-display-guidelines)
+ * added separator \and to split several affiliations
+ * added warnings when package 'enumitem' or 'paralist' are loaded; they manipulate the pre-defined enumeration styles and are partly incompatible
+ * preloaded package 'microtype' in style
+ * revised spacings/font sizes for top matter
+
+* 09/04/2018 OASIcs-v2018 v1.5
+ * Bugfixes
+ * Fixed problem with page style in case of many authors
+ * Fixed aggregation of authors for ToC file
+
+* 15/03/2018 OASIcs-v2018 v1.4
+ * Bugfixes
+ * Fixed enumerations
+ * Fixed aggregation of authors for ToC file
+
+* 26/02/2018 OASIcs-v2018 v1.3
+ * Bugfixes
+ * Fixed \hideOASIcs
+ * Fixed enumerations
+ * Fixed typo
+ * Revised display of ORCIDs following recommendation by ORCID
+
+* 06/02/2018 OASIcs-v2018 v1.2
+ * Release of OASIcs-v2018
+ * revised author macro \author{name}{affil}{email}{orcid}{funding}
+ * added support for ORCIDs
+ * switched to ACM 2012 classification system
+ * added new macros for extended metadata \category, \relatedversion, \supplement, \funding, \acknowledgements
+ * added warnings for missing mandatory metadata
+ * added preconfigured enumeration styles based on the enumerate package
+ * added option \hideOASIcs to hide all OASIcs related information
+ * added support for line numbers
+ * Bugfixes
+ * fixed copyright line
+ * added warning when using outdated subfig package due to incompatibilities in preloaded subcaption package
+ * fixed bug when using MnSymbol package
+ * fixed bug in numbering in theorem-like environments used in appendix
+ * fixed problems in ToC file
diff --git a/LICENSE.md b/LICENSE.md
new file mode 100644
index 0000000000000000000000000000000000000000..4db9b5af292e9840b7e250a9e55b50dc35a051b7
--- /dev/null
+++ b/LICENSE.md
@@ -0,0 +1,415 @@
+The LaTeX Project Public License
+=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
+
+LPPL Version 1.3c 2008-05-04
+
+Copyright 1999 2002-2008 LaTeX3 Project
+ Everyone is allowed to distribute verbatim copies of this
+ license document, but modification of it is not allowed.
+
+
+PREAMBLE
+========
+
+The LaTeX Project Public License (LPPL) is the primary license under
+which the LaTeX kernel and the base LaTeX packages are distributed.
+
+You may use this license for any work of which you hold the copyright
+and which you wish to distribute. This license may be particularly
+suitable if your work is TeX-related (such as a LaTeX package), but
+it is written in such a way that you can use it even if your work is
+unrelated to TeX.
+
+The section `WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE',
+below, gives instructions, examples, and recommendations for authors
+who are considering distributing their works under this license.
+
+This license gives conditions under which a work may be distributed
+and modified, as well as conditions under which modified versions of
+that work may be distributed.
+
+We, the LaTeX3 Project, believe that the conditions below give you
+the freedom to make and distribute modified versions of your work
+that conform with whatever technical specifications you wish while
+maintaining the availability, integrity, and reliability of
+that work. If you do not see how to achieve your goal while
+meeting these conditions, then read the document `cfgguide.tex'
+and `modguide.tex' in the base LaTeX distribution for suggestions.
+
+
+DEFINITIONS
+===========
+
+In this license document the following terms are used:
+
+ `Work'
+ Any work being distributed under this License.
+
+ `Derived Work'
+ Any work that under any applicable law is derived from the Work.
+
+ `Modification'
+ Any procedure that produces a Derived Work under any applicable
+ law -- for example, the production of a file containing an
+ original file associated with the Work or a significant portion of
+ such a file, either verbatim or with modifications and/or
+ translated into another language.
+
+ `Modify'
+ To apply any procedure that produces a Derived Work under any
+ applicable law.
+
+ `Distribution'
+ Making copies of the Work available from one person to another, in
+ whole or in part. Distribution includes (but is not limited to)
+ making any electronic components of the Work accessible by
+ file transfer protocols such as FTP or HTTP or by shared file
+ systems such as Sun's Network File System (NFS).
+
+ `Compiled Work'
+ A version of the Work that has been processed into a form where it
+ is directly usable on a computer system. This processing may
+ include using installation facilities provided by the Work,
+ transformations of the Work, copying of components of the Work, or
+ other activities. Note that modification of any installation
+ facilities provided by the Work constitutes modification of the Work.
+
+ `Current Maintainer'
+ A person or persons nominated as such within the Work. If there is
+ no such explicit nomination then it is the `Copyright Holder' under
+ any applicable law.
+
+ `Base Interpreter'
+ A program or process that is normally needed for running or
+ interpreting a part or the whole of the Work.
+
+ A Base Interpreter may depend on external components but these
+ are not considered part of the Base Interpreter provided that each
+ external component clearly identifies itself whenever it is used
+ interactively. Unless explicitly specified when applying the
+ license to the Work, the only applicable Base Interpreter is a
+ `LaTeX-Format' or in the case of files belonging to the
+ `LaTeX-format' a program implementing the `TeX language'.
+
+
+
+CONDITIONS ON DISTRIBUTION AND MODIFICATION
+===========================================
+
+1. Activities other than distribution and/or modification of the Work
+are not covered by this license; they are outside its scope. In
+particular, the act of running the Work is not restricted and no
+requirements are made concerning any offers of support for the Work.
+
+2. You may distribute a complete, unmodified copy of the Work as you
+received it. Distribution of only part of the Work is considered
+modification of the Work, and no right to distribute such a Derived
+Work may be assumed under the terms of this clause.
+
+3. You may distribute a Compiled Work that has been generated from a
+complete, unmodified copy of the Work as distributed under Clause 2
+above, as long as that Compiled Work is distributed in such a way that
+the recipients may install the Compiled Work on their system exactly
+as it would have been installed if they generated a Compiled Work
+directly from the Work.
+
+4. If you are the Current Maintainer of the Work, you may, without
+restriction, modify the Work, thus creating a Derived Work. You may
+also distribute the Derived Work without restriction, including
+Compiled Works generated from the Derived Work. Derived Works
+distributed in this manner by the Current Maintainer are considered to
+be updated versions of the Work.
+
+5. If you are not the Current Maintainer of the Work, you may modify
+your copy of the Work, thus creating a Derived Work based on the Work,
+and compile this Derived Work, thus creating a Compiled Work based on
+the Derived Work.
+
+6. If you are not the Current Maintainer of the Work, you may
+distribute a Derived Work provided the following conditions are met
+for every component of the Work unless that component clearly states
+in the copyright notice that it is exempt from that condition. Only
+the Current Maintainer is allowed to add such statements of exemption
+to a component of the Work.
+
+ a. If a component of this Derived Work can be a direct replacement
+ for a component of the Work when that component is used with the
+ Base Interpreter, then, wherever this component of the Work
+ identifies itself to the user when used interactively with that
+ Base Interpreter, the replacement component of this Derived Work
+ clearly and unambiguously identifies itself as a modified version
+ of this component to the user when used interactively with that
+ Base Interpreter.
+
+ b. Every component of the Derived Work contains prominent notices
+ detailing the nature of the changes to that component, or a
+ prominent reference to another file that is distributed as part
+ of the Derived Work and that contains a complete and accurate log
+ of the changes.
+
+ c. No information in the Derived Work implies that any persons,
+ including (but not limited to) the authors of the original version
+ of the Work, provide any support, including (but not limited to)
+ the reporting and handling of errors, to recipients of the
+ Derived Work unless those persons have stated explicitly that
+ they do provide such support for the Derived Work.
+
+ d. You distribute at least one of the following with the Derived Work:
+
+ 1. A complete, unmodified copy of the Work;
+ if your distribution of a modified component is made by
+ offering access to copy the modified component from a
+ designated place, then offering equivalent access to copy
+ the Work from the same or some similar place meets this
+ condition, even though third parties are not compelled to
+ copy the Work along with the modified component;
+
+ 2. Information that is sufficient to obtain a complete,
+ unmodified copy of the Work.
+
+7. If you are not the Current Maintainer of the Work, you may
+distribute a Compiled Work generated from a Derived Work, as long as
+the Derived Work is distributed to all recipients of the Compiled
+Work, and as long as the conditions of Clause 6, above, are met with
+regard to the Derived Work.
+
+8. The conditions above are not intended to prohibit, and hence do not
+apply to, the modification, by any method, of any component so that it
+becomes identical to an updated version of that component of the Work as
+it is distributed by the Current Maintainer under Clause 4, above.
+
+9. Distribution of the Work or any Derived Work in an alternative
+format, where the Work or that Derived Work (in whole or in part) is
+then produced by applying some process to that format, does not relax or
+nullify any sections of this license as they pertain to the results of
+applying that process.
+
+10. a. A Derived Work may be distributed under a different license
+ provided that license itself honors the conditions listed in
+ Clause 6 above, in regard to the Work, though it does not have
+ to honor the rest of the conditions in this license.
+
+ b. If a Derived Work is distributed under a different license, that
+ Derived Work must provide sufficient documentation as part of
+ itself to allow each recipient of that Derived Work to honor the
+ restrictions in Clause 6 above, concerning changes from the Work.
+
+11. This license places no restrictions on works that are unrelated to
+the Work, nor does this license place any restrictions on aggregating
+such works with the Work by any means.
+
+12. Nothing in this license is intended to, or may be used to, prevent
+complete compliance by all parties with all applicable laws.
+
+
+NO WARRANTY
+===========
+
+There is no warranty for the Work. Except when otherwise stated in
+writing, the Copyright Holder provides the Work `as is', without
+warranty of any kind, either expressed or implied, including, but not
+limited to, the implied warranties of merchantability and fitness for a
+particular purpose. The entire risk as to the quality and performance
+of the Work is with you. Should the Work prove defective, you assume
+the cost of all necessary servicing, repair, or correction.
+
+In no event unless required by applicable law or agreed to in writing
+will The Copyright Holder, or any author named in the components of the
+Work, or any other party who may distribute and/or modify the Work as
+permitted above, be liable to you for damages, including any general,
+special, incidental or consequential damages arising out of any use of
+the Work or out of inability to use the Work (including, but not limited
+to, loss of data, data being rendered inaccurate, or losses sustained by
+anyone as a result of any failure of the Work to operate with any other
+programs), even if the Copyright Holder or said author or said other
+party has been advised of the possibility of such damages.
+
+
+MAINTENANCE OF THE WORK
+=======================
+
+The Work has the status `author-maintained' if the Copyright Holder
+explicitly and prominently states near the primary copyright notice in
+the Work that the Work can only be maintained by the Copyright Holder
+or simply that it is `author-maintained'.
+
+The Work has the status `maintained' if there is a Current Maintainer
+who has indicated in the Work that they are willing to receive error
+reports for the Work (for example, by supplying a valid e-mail
+address). It is not required for the Current Maintainer to acknowledge
+or act upon these error reports.
+
+The Work changes from status `maintained' to `unmaintained' if there
+is no Current Maintainer, or the person stated to be Current
+Maintainer of the work cannot be reached through the indicated means
+of communication for a period of six months, and there are no other
+significant signs of active maintenance.
+
+You can become the Current Maintainer of the Work by agreement with
+any existing Current Maintainer to take over this role.
+
+If the Work is unmaintained, you can become the Current Maintainer of
+the Work through the following steps:
+
+ 1. Make a reasonable attempt to trace the Current Maintainer (and
+ the Copyright Holder, if the two differ) through the means of
+ an Internet or similar search.
+
+ 2. If this search is successful, then enquire whether the Work
+ is still maintained.
+
+ a. If it is being maintained, then ask the Current Maintainer
+ to update their communication data within one month.
+
+ b. If the search is unsuccessful or no action to resume active
+ maintenance is taken by the Current Maintainer, then announce
+ within the pertinent community your intention to take over
+ maintenance. (If the Work is a LaTeX work, this could be
+ done, for example, by posting to comp.text.tex.)
+
+ 3a. If the Current Maintainer is reachable and agrees to pass
+ maintenance of the Work to you, then this takes effect
+ immediately upon announcement.
+
+ b. If the Current Maintainer is not reachable and the Copyright
+ Holder agrees that maintenance of the Work be passed to you,
+ then this takes effect immediately upon announcement.
+
+ 4. If you make an `intention announcement' as described in 2b. above
+ and after three months your intention is challenged neither by
+ the Current Maintainer nor by the Copyright Holder nor by other
+ people, then you may arrange for the Work to be changed so as
+ to name you as the (new) Current Maintainer.
+
+ 5. If the previously unreachable Current Maintainer becomes
+ reachable once more within three months of a change completed
+ under the terms of 3b) or 4), then that Current Maintainer must
+ become or remain the Current Maintainer upon request provided
+ they then update their communication data within one month.
+
+A change in the Current Maintainer does not, of itself, alter the fact
+that the Work is distributed under the LPPL license.
+
+If you become the Current Maintainer of the Work, you should
+immediately provide, within the Work, a prominent and unambiguous
+statement of your status as Current Maintainer. You should also
+announce your new status to the same pertinent community as
+in 2b) above.
+
+
+WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE
+======================================================
+
+This section contains important instructions, examples, and
+recommendations for authors who are considering distributing their
+works under this license. These authors are addressed as `you' in
+this section.
+
+Choosing This License or Another License
+----------------------------------------
+
+If for any part of your work you want or need to use *distribution*
+conditions that differ significantly from those in this license, then
+do not refer to this license anywhere in your work but, instead,
+distribute your work under a different license. You may use the text
+of this license as a model for your own license, but your license
+should not refer to the LPPL or otherwise give the impression that
+your work is distributed under the LPPL.
+
+The document `modguide.tex' in the base LaTeX distribution explains
+the motivation behind the conditions of this license. It explains,
+for example, why distributing LaTeX under the GNU General Public
+License (GPL) was considered inappropriate. Even if your work is
+unrelated to LaTeX, the discussion in `modguide.tex' may still be
+relevant, and authors intending to distribute their works under any
+license are encouraged to read it.
+
+A Recommendation on Modification Without Distribution
+-----------------------------------------------------
+
+It is wise never to modify a component of the Work, even for your own
+personal use, without also meeting the above conditions for
+distributing the modified component. While you might intend that such
+modifications will never be distributed, often this will happen by
+accident -- you may forget that you have modified that component; or
+it may not occur to you when allowing others to access the modified
+version that you are thus distributing it and violating the conditions
+of this license in ways that could have legal implications and, worse,
+cause problems for the community. It is therefore usually in your
+best interest to keep your copy of the Work identical with the public
+one. Many works provide ways to control the behavior of that work
+without altering any of its licensed components.
+
+How to Use This License
+-----------------------
+
+To use this license, place in each of the components of your work both
+an explicit copyright notice including your name and the year the work
+was authored and/or last substantially modified. Include also a
+statement that the distribution and/or modification of that
+component is constrained by the conditions in this license.
+
+Here is an example of such a notice and statement:
+
+ %% pig.dtx
+ %% Copyright 2005 M. Y. Name
+ %
+ % This work may be distributed and/or modified under the
+ % conditions of the LaTeX Project Public License, either version 1.3
+ % of this license or (at your option) any later version.
+ % The latest version of this license is in
+ % http://www.latex-project.org/lppl.txt
+ % and version 1.3 or later is part of all distributions of LaTeX
+ % version 2005/12/01 or later.
+ %
+ % This work has the LPPL maintenance status `maintained'.
+ %
+ % The Current Maintainer of this work is M. Y. Name.
+ %
+ % This work consists of the files pig.dtx and pig.ins
+ % and the derived file pig.sty.
+
+Given such a notice and statement in a file, the conditions
+given in this license document would apply, with the `Work' referring
+to the three files `pig.dtx', `pig.ins', and `pig.sty' (the last being
+generated from `pig.dtx' using `pig.ins'), the `Base Interpreter'
+referring to any `LaTeX-Format', and both `Copyright Holder' and
+`Current Maintainer' referring to the person `M. Y. Name'.
+
+If you do not want the Maintenance section of LPPL to apply to your
+Work, change `maintained' above into `author-maintained'.
+However, we recommend that you use `maintained', as the Maintenance
+section was added in order to ensure that your Work remains useful to
+the community even when you can no longer maintain and support it
+yourself.
+
+Derived Works That Are Not Replacements
+---------------------------------------
+
+Several clauses of the LPPL specify means to provide reliability and
+stability for the user community. They therefore concern themselves
+with the case that a Derived Work is intended to be used as a
+(compatible or incompatible) replacement of the original Work. If
+this is not the case (e.g., if a few lines of code are reused for a
+completely different task), then clauses 6b and 6d shall not apply.
+
+
+Important Recommendations
+-------------------------
+
+ Defining What Constitutes the Work
+
+ The LPPL requires that distributions of the Work contain all the
+ files of the Work. It is therefore important that you provide a
+ way for the licensee to determine which files constitute the Work.
+ This could, for example, be achieved by explicitly listing all the
+ files of the Work near the copyright notice of each file or by
+ using a line such as:
+
+ % This work consists of all files listed in manifest.txt.
+
+ in that place. In the absence of an unequivocal list it might be
+ impossible for the licensee to determine what is considered by you
+ to comprise the Work and, in such a case, the licensee would be
+ entitled to make reasonable conjectures as to which files comprise
+ the Work.
diff --git a/biblio.bib b/biblio.bib
new file mode 100644
index 0000000000000000000000000000000000000000..ef95cd0f649dede5dcd6b276fc8fbf4b43a683f5
--- /dev/null
+++ b/biblio.bib
@@ -0,0 +1,68 @@
+@article{DBLP:journals/cacm/Knuth74,
+ author = {Donald E. Knuth},
+ title = {{Computer Programming as an Art}},
+ journal = {Commun. {ACM}},
+ volume = {17},
+ number = {12},
+ pages = {667--673},
+ year = {1974},
+ doi = {10.1145/361604.361612},
+ timestamp = {Tue, 07 Jun 2011 16:50:57 +0200},
+ biburl = {http://dblp.uni-trier.de/rec/bib/journals/cacm/Knuth74},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@article{DBLP:journals/cacm/Dijkstra68a,
+ author = {Edsger W. Dijkstra},
+ title = {Letters to the editor: go to statement considered harmful},
+ journal = {Commun. {ACM}},
+ volume = {11},
+ number = {3},
+ pages = {147--148},
+ year = {1968},
+ doi = {10.1145/362929.362947},
+ timestamp = {Thu, 09 Feb 2006 13:19:49 +0100},
+ biburl = {http://dblp.uni-trier.de/rec/bib/journals/cacm/Dijkstra68a},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@book{DBLP:books/mk/GrayR93,
+ author = {Jim Gray and
+ Andreas Reuter},
+ title = {Transaction Processing: Concepts and Techniques},
+ publisher = {Morgan Kaufmann},
+ year = {1993},
+ isbn = {1-55860-190-2},
+ timestamp = {Thu, 05 Nov 2015 19:53:28 +0100},
+ biburl = {http://dblp.uni-trier.de/rec/bib/books/mk/GrayR93},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+
+
+@inproceedings{DBLP:conf/focs/HopcroftPV75,
+ author = {{John E.} Hopcroft and
+ {Wolfgang J.} Paul and
+ {Leslie G.} Valiant},
+ title = {On Time versus Space and Related Problems},
+ booktitle = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
+ California, USA, October 13-15, 1975},
+ pages = {57--64},
+ year = {1975},
+ crossref = {DBLP:conf/focs/FOCS16},
+ doi = {10.1109/SFCS.1975.23},
+ timestamp = {Tue, 16 Dec 2014 09:57:24 +0100},
+ biburl = {http://dblp.uni-trier.de/rec/bib/conf/focs/HopcroftPV75},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@proceedings{DBLP:conf/focs/FOCS16,
+ title = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
+ California, USA, October 13-15, 1975},
+ publisher = {{IEEE} Computer Society},
+ year = {1975},
+ timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
+ biburl = {http://dblp.uni-trier.de/rec/bib/conf/focs/FOCS16},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
diff --git a/cc-by.pdf b/cc-by.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..3b7aba19995d1f831e17df9f3ab6b66732ac0c7b
Binary files /dev/null and b/cc-by.pdf differ
diff --git a/main.aux b/main.aux
new file mode 100644
index 0000000000000000000000000000000000000000..73ea72dd30bfbeaf2c6ab114f65c5ed5abe9752b
--- /dev/null
+++ b/main.aux
@@ -0,0 +1,16 @@
+\relax
+\bibstyle{alpha}
+\bibdata{biblio}
+\newlabel{sec:intro}{{}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {1}Words, transducers and logic}{1}}
+\newlabel{sec:prelim}{{1}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Words, languages and transductions}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Relational structures and logical interpretations}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}SSTs and pebble transducers, semantics with an without origin}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {2}FO model-checking of transductions with origins: SSTs and pebble transducers}{1}}
+\newlabel{sec:mc}{{2}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}The Backward Translation Theorem}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Model-checking (copyfull) SSTs with origin}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Model-checking pebble transducers with origin}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}SSTs and lexicographic MSO-interpretations}{1}}
+\newlabel{sec:sst-lex}{{3}{1}}
diff --git a/main.bbl b/main.bbl
new file mode 100644
index 0000000000000000000000000000000000000000..9b431fad0d4079afd902592878894a32b623a159
--- /dev/null
+++ b/main.bbl
@@ -0,0 +1,3 @@
+\begin{thebibliography}{}
+
+\end{thebibliography}
diff --git a/main.blg b/main.blg
new file mode 100644
index 0000000000000000000000000000000000000000..de6530a3ef02615c83690e72cfd762a0ca7b89e3
--- /dev/null
+++ b/main.blg
@@ -0,0 +1,48 @@
+This is BibTeX, Version 0.99d (TeX Live 2017/Debian)
+Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
+The top-level auxiliary file: main.aux
+The style file: alpha.bst
+I found no \citation commands---while reading file main.aux
+Database file #1: biblio.bib
+You've used 0 entries,
+ 2543 wiz_defined-function locations,
+ 558 strings with 4433 characters,
+and the built_in function-call counts, 24 in all, are:
+= -- 0
+> -- 0
+< -- 0
++ -- 0
+- -- 0
+* -- 2
+:= -- 10
+add.period$ -- 0
+call.type$ -- 0
+change.case$ -- 0
+chr.to.int$ -- 0
+cite$ -- 0
+duplicate$ -- 0
+empty$ -- 1
+format.name$ -- 0
+if$ -- 2
+int.to.chr$ -- 1
+int.to.str$ -- 0
+missing$ -- 0
+newline$ -- 3
+num.names$ -- 0
+pop$ -- 0
+preamble$ -- 1
+purify$ -- 0
+quote$ -- 0
+skip$ -- 2
+stack$ -- 0
+substring$ -- 0
+swap$ -- 0
+text.length$ -- 0
+text.prefix$ -- 0
+top$ -- 0
+type$ -- 0
+warning$ -- 0
+while$ -- 0
+width$ -- 0
+write$ -- 2
+(There was 1 error message)
diff --git a/main.fdb_latexmk b/main.fdb_latexmk
new file mode 100644
index 0000000000000000000000000000000000000000..3da92259c8590dfd542211a4a5ae9b8395cd6d09
--- /dev/null
+++ b/main.fdb_latexmk
@@ -0,0 +1,48 @@
+# Fdb version 3
+["bibtex main"] 1632489458 "main.aux" "main.bbl" "main" 1632489511
+ "/usr/share/texlive/texmf-dist/bibtex/bst/base/alpha.bst" 1480098433 23907 a5f93555796fb564b924339521f10a7c ""
+ "biblio.bib" 1627286900 2496 833178ac78892e1ed621941d842e740e ""
+ "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
+ "main.bcf" 0 -1 0 ""
+ (generated)
+ "main.bbl"
+ "main.blg"
+["pdflatex"] 1632489458 "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf" "main" 1632489511
+ "/etc/texmf/web2c/texmf.cnf" 1601279320 475 c0e671620eb5563b2130f56340a5fde8 ""
+ "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
+ "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
+ "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1480098701 1324 c910af8c371558dc20f2d7822f66fe64 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1480098701 1328 5442e22a7072966dbaf88ca900acf3f0 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1480098701 1524 4414a8315f39513458b80dfc63bff03a ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1480098701 1288 655e228510b4c2a1abe905c368440826 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1480098701 1292 296a67155bdbfc32aa9c636f21e91433 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1480098701 1300 b62933e007d01cfd073f79b963c01526 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1480098701 1292 21c1c5bfeaebccffdb478fd231a0997d ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1480098701 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 ""
+ "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 ""
+ "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1480098733 32080 340ef9bf63678554ee606688e7b5339d ""
+ "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb" 1480098733 32298 c6d25bb16d1eac01ebdc6d7084126a1e ""
+ "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1480098733 35752 024fb6c41858982481f6968b5fc26508 ""
+ "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1480098733 32722 d7379af29a190c3f453aba36302ff5a9 ""
+ "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1480098733 32362 179c33bbf43f19adbb3825bb4e36e57a ""
+ "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb" 1480098733 33993 9b89b85fd2d9df0482bd47194d1d3bf3 ""
+ "/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1480098821 19821 310da678527a7dfe2a02c88af38079b7 ""
+ "/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo" 1480098821 8292 e897c12e1e886ce77fe26afc5d470886 ""
+ "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
+ "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
+ "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1601280639 2700761 ac0584cc9514ab21918550a6948c4ee2 ""
+ "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1601280650 4129943 ba808502b9cf84b5c160479985bd2263 ""
+ "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
+ "main.bbl" 1632489458 49 0eba253fc001332e731e8aba3f23127b "bibtex main"
+ "main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
+ (generated)
+ "main.pdf"
+ "main.log"
+ "main.aux"
+ "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf"
+ "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log"
diff --git a/main.fls b/main.fls
new file mode 100644
index 0000000000000000000000000000000000000000..a41a022d867bdc49135323ec53fa67a632ad3c50
--- /dev/null
+++ b/main.fls
@@ -0,0 +1,41 @@
+PWD /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon
+INPUT /etc/texmf/web2c/texmf.cnf
+INPUT /usr/share/texmf/web2c/texmf.cnf
+INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
+INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
+OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
+OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf
+INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb
diff --git a/main.log b/main.log
new file mode 100644
index 0000000000000000000000000000000000000000..1fe0f5197c61fb0622ef84987cf2f259ede042c2
--- /dev/null
+++ b/main.log
@@ -0,0 +1,74 @@
+This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2020.9.28) 24 SEP 2021 15:17
+entering extended mode
+ restricted \write18 enabled.
+ file:line:error style messages enabled.
+ %&-line parsing enabled.
+**/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
+(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
+LaTeX2e <2017-04-15>
+Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
+(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
+Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
+(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
+File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
+)
+\c@part=\count79
+\c@section=\count80
+\c@subsection=\count81
+\c@subsubsection=\count82
+\c@paragraph=\count83
+\c@subparagraph=\count84
+\c@figure=\count85
+\c@table=\count86
+\abovecaptionskip=\skip41
+\belowcaptionskip=\skip42
+\bibindent=\dimen102
+)
+
+LaTeX Warning: Unused global option(s):
+ [UKenglish,cleveref,autoref,thm-restate].
+
+(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux)
+\openout1 = `main.aux'.
+
+LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 14.
+LaTeX Font Info: ... okay on input line 14.
+LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 14.
+LaTeX Font Info: ... okay on input line 14.
+LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 14.
+LaTeX Font Info: ... okay on input line 14.
+LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 14.
+LaTeX Font Info: ... okay on input line 14.
+LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 14.
+LaTeX Font Info: ... okay on input line 14.
+LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 14.
+LaTeX Font Info: ... okay on input line 14.
+LaTeX Font Info: External font `cmex10' loaded for size
+(Font) <12> on input line 15.
+LaTeX Font Info: External font `cmex10' loaded for size
+(Font) <8> on input line 15.
+LaTeX Font Info: External font `cmex10' loaded for size
+(Font) <6> on input line 15.
+ (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
+
+LaTeX Warning: Empty `thebibliography' environment on input line 3.
+
+) [1
+
+{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux) )
+Here is how much of TeX's memory you used:
+ 244 strings out of 492982
+ 3285 string characters out of 6134896
+ 56278 words of memory out of 5000000
+ 3880 multiletter control sequences out of 15000+600000
+ 8194 words of font info for 29 fonts, out of 8000000 for 9000
+ 1141 hyphenation exceptions out of 8191
+ 23i,4n,21p,236b,185s stack positions out of 5000i,500n,10000p,200000b,80000s
+</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb>
+Output written on /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf (1 page, 63438 bytes).
+PDF statistics:
+ 32 PDF objects out of 1000 (max. 8388607)
+ 22 compressed objects within 1 object stream
+ 0 named destinations out of 1000 (max. 500000)
+ 1 words of extra memory for PDF output out of 10000 (max. 10000000)
+
diff --git a/main.pdf b/main.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..24a061599f92653ccd42747ce7d3b370c5f68fb2
Binary files /dev/null and b/main.pdf differ
diff --git a/main.synctex.gz b/main.synctex.gz
new file mode 100644
index 0000000000000000000000000000000000000000..f0eb06a0d109dd5e08cfa08ff6030824f6154af7
Binary files /dev/null and b/main.synctex.gz differ
diff --git a/main.tex b/main.tex
new file mode 100644
index 0000000000000000000000000000000000000000..ee8a4792fc6a35c400654917ac2650fe7fef1955
--- /dev/null
+++ b/main.tex
@@ -0,0 +1,46 @@
+
+\documentclass[a4paper,UKenglish,cleveref, autoref, thm-restate]{article}
+
+
+\bibliographystyle{alpha}% the mandatory bibstyle
+
+\title{FO Model-Checking Superlinear\\ Transductions with Origin\\
+\small{and also a logic for SSTs}} %TODO Please add
+\author{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{document}
+\maketitle
+
+
+
+\begin{abstract}
+The abstract.
+\end{abstract}
+
+
+\section*{Introduction}
+\label{sec:intro}
+
+\section{Words, transducers and logic}
+\label{sec:prelim}
+\subsection{Words, languages and transductions}
+\subsection{Relational structures and logical interpretations}
+\subsection{SSTs and pebble transducers, semantics with an without origin}
+
+\section{FO model-checking of transductions with origins: SSTs and pebble transducers}
+\label{sec:mc}
+\subsection{The Backward Translation Theorem}
+\subsection{Model-checking (copyfull) SSTs with origin}
+\subsection{Model-checking pebble transducers with origin}
+
+\section{SSTs and lexicographic MSO-interpretations}
+\label{sec:sst-lex}
+
+
+
+\bibliography{biblio}
+
+\end{document}
diff --git a/main.vtc b/main.vtc
new file mode 100644
index 0000000000000000000000000000000000000000..3958a38d58b5ea4587bb0e453f15acd72db89de6
--- /dev/null
+++ b/main.vtc
@@ -0,0 +1 @@
+\contitem\title{FO Model-Checking Superlinear transductions with origin. MSO-interpretations, SSTs, pebble transducers}\author{Jane {Open Access}, Joan R. Public}\page{23:1--23:0}
diff --git a/oasics-logo-bw.pdf b/oasics-logo-bw.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..a2f6663b8a8bc10efc4b9eede3b29f1a86707bbf
Binary files /dev/null and b/oasics-logo-bw.pdf differ
diff --git a/oasics-v2021-authors-guidelines.pdf b/oasics-v2021-authors-guidelines.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..d2b761c45c5f87ab781e9d357c47f2f72185d450
Binary files /dev/null and b/oasics-v2021-authors-guidelines.pdf differ
diff --git a/oasics-v2021.cls b/oasics-v2021.cls
new file mode 100644
index 0000000000000000000000000000000000000000..15e0430565af0302c57ff9b8396efece3fe56363
--- /dev/null
+++ b/oasics-v2021.cls
@@ -0,0 +1,1260 @@
+%%
+%% This is file `oasics-v2021.cls'.
+%%
+%% -----------------------------------------------------------------
+%% Author: Dagstuhl Publishing & le-tex publishing services
+%%
+%% This file is part of the oasics package for preparing
+%% OASIcs articles.
+%%
+%% Copyright (C) 2021 Schloss Dagstuhl
+%%
+%% This work may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either version 1.3
+%% of this license or (at your option) any later version.
+%% The latest version of this license is in
+%% http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of LaTeX
+%% version 2005/12/01 or later.
+%%
+%% This work has the LPPL maintenance status `maintained'.
+%%
+%% The Current Maintainer of this work is
+%% Schloss Dagstuhl (publishing@dagstuhl.de).
+%% -----------------------------------------------------------------
+%%
+\ProvidesClass{oasics-v2021}
+ [2021/05/04 v3.1.2 OASIcs articles]
+\NeedsTeXFormat{LaTeX2e}[2015/01/01]
+\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\@title{\textcolor{red}{Author: Please provide a title}}
+\let\@subtitle\@empty
+\def\subtitle#1{\gdef\@subtitle{#1}}
+\def\subtitleseperator{: }
+\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{oasicsYellow}{\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{oasicsGray}{\sffamily\bfseries#1}}
+\def\EventLogoHeight{25}
+\def\copyrightline{%
+ \ifx\@hideOASIcs\@undefined
+ \ifx\@EventLogo\@empty
+ \else
+ \setbox\@tempboxa\hbox{\includegraphics[height=\EventLogoHeight\p@]{\@EventLogo}}%
+ \rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%
+ \vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%
+ \fi
+ \scriptsize
+ \vtop{\hsize\textwidth
+ \nobreakspace\par
+ \@Copyright
+ \ifx\@EventLongTitle\@empty\else\@EventLongTitle.\\\fi
+ \ifx\@EventEditors\@empty\else
+ \@Eds: \@EventEditors
+ ; Article~No.\,\@ArticleNo; pp.\,\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}%
+ \\
+ \fi
+ \setbox\@tempboxa\hbox{\IfFileExists{oasics-logo-bw.pdf}{\includegraphics[height=14\p@,trim=0 15 0 0]{oasics-logo-bw}}{\includegraphics[height=14\p@, width=62pt]{example-image-plain}}}%
+ \hspace*{\wd\@tempboxa}\enskip
+ \href{https://www.dagstuhl.de/oasics/}%
+ {OpenAccess Series in Informatics}\\
+ \smash{\unhbox\@tempboxa}\enskip
+ \href{https://www.dagstuhl.de}%
+ {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}%
+ \fi}
+\def\ps@plain{\let\@mkboth\@gobbletwo
+ \let\@oddhead\@empty
+ \let\@evenhead\@empty
+ \let\@evenfoot\copyrightline
+ \let\@oddfoot\copyrightline}
+\def\oasics@opterrshort{Option "\CurrentOption" not supported}
+\def\oasics@opterrlong{The option "\CurrentOption" from article.cls is not supported by oasics.cls.}
+\DeclareOption{a5paper}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{b5paper}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{legalpaper}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{executivepaper}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{landscape}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{10pt}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{11pt}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{12pt}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{oneside}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{twoside}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{titlepage}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{notitlepage}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{onecolumn}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{twocolumn}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{fleqn}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{openbib}{\@latexerr{\oasics@opterrshort}{\oasics@opterrlong}}
+\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}
+ \advance\hoffset-2.95mm
+ \advance\voffset8.8mm}
+\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}
+\DeclareOption{cleveref}{\let\usecleveref\relax}
+\DeclareOption{autoref}{\let\useautoref\relax}
+\DeclareOption{anonymous}{\let\authoranonymous\relax}
+\DeclareOption{thm-restate}{\let\usethmrestate\relax}
+\DeclareOption{authorcolumns}{\let\authorcolumns\relax}
+\let\compactauthor\relax
+\DeclareOption{oldauthorstyle}{\let\compactauthor\@empty}
+\DeclareOption{compactauthor}{\let\compactauthor\relax}
+\DeclareOption{pdfa}{\let\pdfa\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\@hideOASIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage\hss}}\leftmark\hfil}%
+ \def\@oddhead{\large\sffamily\bfseries\rightmark\hfil
+ \rlap{\hbox to0.5\oddsidemargin{\hss \ifx\@hideOASIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage}}}%
+ \def\@oddfoot{\hfil
+ \rlap{%
+ \vtop{%
+ \vskip10mm
+ \colorbox{oasicsYellow}
+ {\@tempdima\evensidemargin
+ \advance\@tempdima1in
+ \advance\@tempdima\hoffset
+ \hb@xt@\@tempdima{%
+ \ifx\@hideOASIcs\@undefined
+ \textcolor{oasicsGray}{\normalsize\sffamily
+ \bfseries\quad
+ \expandafter\textsolittle
+ \expandafter{\@EventShortTitle}}%
+ \fi
+ \strut\hss}}}}}
+ \let\@evenfoot\@empty
+ \let\@mkboth\markboth
+ \let\sectionmark\@gobble
+ \let\subsectionmark\@gobble}
+\pagestyle{headings}
+\renewcommand\maketitle{\par
+ \begingroup
+ \thispagestyle{plain}
+ \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
+ \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\@subtitle\@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
+ \if!\@title!\def\@title{\textcolor{red}{Author: Please fill in a title}}\fi
+ {\LARGE\sffamily\bfseries\mathversion{bold}\@title \if!\@subtitle!\else{\\\Large\sffamily\bfseries\mathversion{bold}\@subtitle}\fi \par}%
+ \vskip 1em
+ \ifx\@author\orig@author
+ \textcolor{red}{Author: Please provide author information}%
+ \else
+ {\def\thefootnote{\@arabic\c@footnote}%
+ \setcounter{footnote}{0}%
+ \fontsize{9.5}{12}\selectfont\@author}%
+ \fi
+ \bgroup
+ \immediate\openout\tocfile=\jobname.vtc
+ \protected@write\tocfile{
+ \let\footnote\@gobble
+ \let\thanks\@gobble
+ \def\footnotemark{}
+ \def\and{and }%
+ \def\,{ }
+ \def\\{ }
+ }{%
+ \string\contitem
+ \string\title{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}%
+ \string\author{\@authorsfortoc}%
+ \string\page{\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}}}%
+ \closeout\tocfile
+ \egroup
+ \par}
+\renewcommand\tableofcontents{%
+ \section*{\contentsname}%
+ \@starttoc{toc}}
+\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}}
+\newcommand{\proofsubparagraph}{\@startsection{subparagraph}{5}{\z@}%
+ {3.25ex \@plus1ex \@minus .2ex}%
+ {-1em}%
+ {\color{oasicsGray}\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{oasicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumi.}}
+\renewcommand\labelenumii{%
+ \textcolor{oasicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumii.}}
+\renewcommand\labelenumiii{%
+ \textcolor{oasicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiii.}}
+\renewcommand\labelenumiv{%
+ \textcolor{oasicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiv.}}
+\renewcommand\labelitemi{%
+ \textcolor{oasicsBulletGray}{\ifnum\@listdepth=\@ne
+ \rule{0.67em}{0.33em}%
+ \else
+ \rule{0.45em}{0.225em}%
+ \fi}}
+\renewcommand\labelitemii{%
+ \textcolor{oasicsBulletGray}{\rule{0.45em}{0.225em}}}
+\renewcommand\labelitemiii{%
+ \textcolor{oasicsBulletGray}{\sffamily\bfseries\textasteriskcentered}}
+\renewcommand\labelitemiv{%
+ \textcolor{oasicsBulletGray}{\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{oasicsGray}{\sffamily\bfseries\mathversion{bold}#1}}
+\def\topmattervskip{0.7}
+\renewenvironment{abstract}{%
+ \vskip\topmattervskip\bigskipamount
+ \noindent
+ \rlap{\color{oasicsLineGray}\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}{12}\selectfont
+ \noindent\ignorespaces}
+ {\vskip\topmattervskip\baselineskip\noindent
+ \subjclassHeading
+ \ifx\@ccsdescString\@empty
+ \textcolor{red}{Author: Please fill in 1 or more \string\ccsdesc\space macro}%
+ \else
+ \@ccsdescString
+ \fi
+ \vskip\topmattervskip\baselineskip
+ \noindent\keywordsHeading
+ \ifx\@keywords\@empty
+ \textcolor{red}{Author: Please fill in \string\keywords\space macro}%
+ \else
+ \@keywords
+ \fi
+ \ifx\@hideOASIcs\@undefined
+ \ifx\@DOIPrefix\@empty\else
+ \vskip\topmattervskip\baselineskip\noindent
+ \doiHeading\href{https://doi.org/\@oasicsdoi}{\@oasicsdoi}%
+ \fi
+ \fi
+ \ifx\@category\@empty\else
+ \vskip\topmattervskip\baselineskip\noindent
+ \categoryHeading\@category
+ \fi
+ \ifx\@relatedversion\@empty\else
+ \vskip\topmattervskip\baselineskip\noindent
+ \relatedversionHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous related version(s)}\else\@relatedversion\fi
+ \fi
+ \ifx\@supplement\@empty\else
+ \vskip\topmattervskip\baselineskip\noindent
+ \supplementHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous supplementary material}\else\@supplement\fi
+ \fi
+ \ifx\@funding\@empty\else
+ \vskip\topmattervskip\baselineskip\noindent
+ \fundingHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous funding}\else\@funding\fi
+ \fi
+ \ifx\@acknowledgements\@empty\else
+ \vskip\topmattervskip\baselineskip\noindent
+ \acknowledgementsHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous acknowledgements} \else\@acknowledgements\fi
+ \fi
+ \protected@write\@auxout{}{\string\gdef\string\@pageNumberEndAbstract{\thepage}}%
+ }% end abstract
+\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{oasicsLineGray}\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}{12}\selectfont
+ \sloppy
+ \clubpenalty4000
+ \@clubpenalty \clubpenalty
+ \widowpenalty4000%
+ \sfcode`\.\@m\protected@write\@auxout{}{\string\gdef\string\@pageNumberStartBibliography{\thepage}}}
+ {\def\@noitemerr
+ {\@latex@warning{Empty `thebibliography' environment}}%
+ \protected@write\@auxout{}{\string\gdef\string\@pageNumberEndBibliography{\thepage}}%
+ \endlist}
+\g@addto@macro\appendix{\immediate\write\@auxout{\string\gdef\string\@pageNumberStartAppendix{\thepage}}}%
+\renewcommand\footnoterule{%
+ \kern-8\p@
+ {\color{oasicsBulletGray}\hrule\@width40mm\@height1\p@}%
+ \kern6.6\p@}
+\renewcommand\@makefntext[1]{%
+ \parindent\z@\hangindent1em
+ \leavevmode
+ \hb@xt@1em{\@makefnmark\hss}#1}
+\usepackage{microtype}
+\usepackage[utf8]{inputenc}
+\ifx\pdfa\relax%
+ \IfFileExists{glyphtounicode.tex}{
+ \input glyphtounicode
+ \pdfgentounicode=1
+ }{}%
+\fi
+\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}
+\IfFileExists{fontawesome5.sty}{%
+\RequirePackage{fontawesome5}%
+\IfFileExists{orcid.pdf}{%
+\def\orcidsymbol{\includegraphics[height=9\p@]{orcid}}
+}{
+\def\orcidsymbol{\textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries \faOrcid}}%
+}
+\def\mailsymbol{\textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries \faIcon[regular]{envelope}}}%
+\def\homesymbol{\textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries \faHome}}%
+}{%
+\ClassWarning{Package fontawesome5 not installed}{Please install package fontawesome5}
+\def\orcidsymbol{\textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries ORCID}}
+\def\mailsymbol{\textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries @}}%
+\def\homesymbol{\textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries H}}%
+}%
+\RequirePackage[T1]{fontenc}
+\RequirePackage{textcomp}
+\RequirePackage[mathscr]{eucal}
+\RequirePackage{amssymb}
+\PassOptionsToPackage{retainmissing}{MnSymbol}
+\AtBeginDocument{\@ifpackageloaded{MnSymbol}%
+ {\expandafter\let\csname ver@amssymb.sty\endcsname\relax
+ \let\complement\@undefined
+ \RequirePackage{amssymb}}{}}
+\RequirePackage{soul}
+\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%
+ {.4em\@plus.275em\@minus.183em}
+\RequirePackage{color} %kept for backward compatibility
+\AtBeginDocument{
+ \@ifpackageloaded{xcolor}{
+ }{
+ \RequirePackage{xcolor}
+ }
+ \definecolor{darkgray}{rgb}{0.31,0.31,0.33}
+ \definecolor[named]{oasicsGray}{rgb}{0.31,0.31,0.33}
+ \definecolor[named]{oasicsBulletGray}{rgb}{0.60,0.60,0.61}
+ \definecolor[named]{oasicsLineGray}{rgb}{0.51,0.50,0.52}
+ \definecolor[named]{oasicsLightGray}{rgb}{0.85,0.85,0.86}
+ \definecolor[named]{oasicsYellow}{rgb}{0.99,0.78,0.07}
+}
+\RequirePackage{babel}
+\RequirePackage[tbtags,fleqn]{amsmath}
+\AtBeginDocument{
+ \@ifpackageloaded{enumitem}{\ClassWarning{Package 'enumitem' incompatible}{Don't use package 'enumitem'; Package enumerate preloaded!}}{}
+ \@ifpackageloaded{paralist}{\ClassWarning{Package 'paralist' incompatible}{Don't use package 'paralist'; Package enumerate preloaded!}}{}
+}
+\RequirePackage{enumerate}
+\def\@enum@{\list{\textcolor{oasicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\csname label\@enumctr\endcsname}}%
+ {\advance\partopsep\topsep
+ \topsep\z@\@plus\p@
+ \usecounter{\@enumctr}\def\makelabel##1{\hss\llap{##1}}}}
+\def\romanenumerate{\enumerate[(i)]}
+\let\endromanenumerate\endenumerate
+\def\alphaenumerate{\enumerate[(a)]}
+\let\endalphaenumerate\endenumerate
+\def\bracketenumerate{\enumerate[(1)]}
+\let\endbracketenumerate\endenumerate
+\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{oasicsLightGray},%
+ frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}
+\RequirePackage[left,mathlines]{lineno}
+\linenumbers
+\renewcommand\linenumberfont{\normalfont\tiny\sffamily}
+%%%% patch to cope with amsmath
+%%%% http://phaseportrait.blogspot.de/2007/08/lineno-and-amsmath-compatibility.html
+\newcommand*\patchAmsMathEnvironmentForLineno[1]{%
+ \expandafter\let\csname old#1\expandafter\endcsname\csname #1\endcsname
+ \expandafter\let\csname oldend#1\expandafter\endcsname\csname end#1\endcsname
+ \renewenvironment{#1}%
+ {\linenomath\csname old#1\endcsname}%
+ {\csname oldend#1\endcsname\endlinenomath}}%
+\newcommand*\patchBothAmsMathEnvironmentsForLineno[1]{%
+ \patchAmsMathEnvironmentForLineno{#1}%
+ \patchAmsMathEnvironmentForLineno{#1*}}%
+\AtBeginDocument{%
+ \patchBothAmsMathEnvironmentsForLineno{equation}%
+ \patchBothAmsMathEnvironmentsForLineno{align}%
+ \patchBothAmsMathEnvironmentsForLineno{flalign}%
+ \patchBothAmsMathEnvironmentsForLineno{alignat}%
+ \patchBothAmsMathEnvironmentsForLineno{gather}%
+ \patchBothAmsMathEnvironmentsForLineno{multline}}
+\let\usehyperxmp\@empty%
+\ifx\pdfa\relax%
+ \IfFileExists{hyperxmp.sty}{%
+ \RequirePackage{hyperxmp}%
+ \@ifpackagelater{hyperxmp}{2019/04/05}{%
+ \let\usehyperxmp\relax%
+ }{%
+ \ClassWarning{Package hyperxmp outdated}{You are using an outdated version of the package hyperxmp. Please update!}%
+ }}{}%
+\fi%
+\IfFileExists{totpages.sty}{
+ \RequirePackage{totpages}
+}{
+ \ClassWarning{Package totpages not installed}{Please install package totpages}
+ \newcounter{TotPages}
+ \setcounter{TotPages}{99}
+}
+\ifx\usehyperxmp\relax%
+ \RequirePackage[pdfa,unicode]{hyperref}%
+\else%
+ \RequirePackage[unicode]{hyperref}%
+\fi%
+\let\C\relax%
+\let\G\relax%
+\let\F\relax%
+\let\U\relax%
+\pdfstringdefDisableCommands{%
+ \let\thanks\@gobble%
+ \let\footnote\@gobble%
+ \def\footnotemark{}%
+ \def\cs#1{\textbackslash #1}%
+ \let\normalfont\@empty%
+ \let\scshape\@empty%
+ \def\and{and }%
+ \def\,{ }%
+ \def\textrightarrow{ -> }%
+ \let\mathsf\@empty%
+}%
+\hypersetup{
+ breaklinks=true,
+ pdfencoding=unicode,
+ bookmarksnumbered,
+ pdfborder={0 0 0},
+ pdfauthor={ }
+}%
+\AtBeginDocument{
+\ifx\usehyperxmp\relax
+\hypersetup{
+pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi},
+pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi},
+pdfkeywords={\@keywords},
+pdfproducer={LaTeX with oasics-v2021.cls},
+pdfsubject={OASIcs, Vol.\@SeriesVolume, \@EventShortTitle},
+pdfcopyright = { Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0},
+pdflang={en},
+pdfmetalang={en},
+pdfpublisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany},
+pdflicenseurl={https://creativecommons.org/licenses/by/4.0/},
+pdfpubtype={OASIcs},
+pdfvolumenum={\@SeriesVolume},
+pdfpagerange={\@ArticleNo:\thepage-\@ArticleNo:\theTotPages},
+pdfdoi={\@oasicsdoi},
+pdfapart=3,
+pdfaconformance=B
+}
+\else%
+\hypersetup{
+pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi},
+pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi},
+pdfkeywords={\@keywords},
+pdfcreator={LaTeX with oasics-v2021.cls},
+pdfsubject={OASIcs, Vol.\@SeriesVolume, \@EventShortTitle; Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0}
+}%
+\fi %
+}
+\ifx\usehyperxmp\relax
+\pdfobjcompresslevel=0
+\pdfinclusioncopyfonts=1
+\IfFileExists{colorprofiles.tex}{
+\RequirePackage{colorprofiles}%
+\IfFileExists{sRGB.icc}{
+\immediate\pdfobj stream attr{/N 3} file{sRGB.icc}
+\pdfcatalog{%
+/OutputIntents [
+<<
+/Type /OutputIntent
+/S /GTS_PDFA1
+/DestOutputProfile \the\pdflastobj\space 0 R
+/OutputConditionIdentifier (sRGB)
+/Info (sRGB)
+>>
+]
+}}{}
+}{\ClassWarning{Package colorprofiles not installed}{Please install package colorprofiles}}
+\fi
+\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}
+\caption@AtBeginDocument{\@ifpackageloaded{subfig}{\ClassError{oasics}{%
+ Do not load the subfig package}{The more recent subcaption package is already loaded}}{}}
+\RequirePackage{subcaption}
+\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}
+\def\authorrunning#1{%
+ \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}}}
+\titlerunning{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}
+\authorrunning{\textcolor{red}{Author: Please use the \string\authorrunning\space macro}}
+\def\EventLongTitle#1{\gdef\@EventLongTitle{#1}}
+\EventLongTitle{}
+\def\EventShortTitle#1{\gdef\@EventShortTitle{#1}}
+\EventShortTitle{}
+\def\EventEditors#1{\gdef\@EventEditors{#1}}
+\EventEditors{}
+\def\EventNoEds#1{\gdef\@EventNoEds{#1}\xdef\@Eds{Editor\ifnum#1>1s\fi}}
+\EventNoEds{1}
+\def\EventLogo#1{\gdef\@EventLogo{#1}}
+\EventLogo{}
+\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/OASIcs}
+\def\@oasicsdoi{\@DOIPrefix.\@EventAcronym.\@EventYear.\@ArticleNo}
+\def\and{\newline}
+\let\orig@author\@author
+\let\@authorsfortoc\@empty
+\let\@authorsforpdf\@empty
+\newcount\c@author
+\newcounter{currentauthor}
+\def\authorcolumnsMin{6}
+\def\@authornum{0}
+\def\author#1#2#3#4#5{%
+ \ifx\@author\orig@author\let\@author\@empty\fi
+ \g@addto@macro\@author{%
+ \noexpandarg\StrBehind{#2}{\and \url}[\homepageTemp]\IfSubStr{#2}{\and \url}{\StrBefore{#2}{\and \url}[\affiliation]}{\def\affiliation{#2}}%
+ \expandarg\exploregroups\StrRemoveBraces{\homepageTemp}[\homepage]%
+ \ifx\authorcolumns\relax
+ \ifnum\c@author>\authorcolumnsMin
+ \stepcounter{currentauthor}
+ \ifodd\value{currentauthor}
+ \begin{minipage}[t]{\textwidth}
+ \begin{minipage}[t]{0.49\textwidth}
+ \else
+ \hfill \begin{minipage}[t]{0.49\textwidth}
+ \fi
+ \else
+ \ClassWarning{Option 'authorcolumns' only applicable for > 6 authors}{Option 'authorcolumns' only applicable for >6 authors!}
+ \addvspace{0.5\baselineskip}
+ \fi
+ \else
+ \addvspace{0.5\baselineskip}
+ \fi
+ {\Large\bfseries
+ \if!#1!
+ \textcolor{red}{Author: Please enter author name}%
+ \else
+ \ifx\authoranonymous\relax
+ \textcolor{red}{Anonymous author}
+ \else
+ #1\,%
+ \ifx\compactauthor\relax\if!#3!\else{\,\href{mailto:#3}{\mailsymbol}}\fi%
+ \ifx\homepage\@empty\else{\,\href{\homepage}{\homesymbol}}\fi\fi%
+ \if!#4!\else{\,\href{#4}{\orcidsymbol}}\fi%
+ \if!#5!\else
+ \ifx\@funding\@empty
+ \expandafter\g@addto@macro\expandafter\@funding{\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}}
+ \else
+ \expandafter\g@addto@macro\expandafter\@funding{\\\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}}
+ \fi
+ \fi
+ \fi
+ \fi
+ }
+ {\small
+ \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
+ \ifx\compactauthor\relax\else\if!#3!\else{\ifx\authoranonymous\relax\else\\*\href{mailto:#3}{#3}\fi}\fi\fi
+ }\par
+ \ifx\authorcolumns\relax
+ \ifnum\c@author>\authorcolumnsMin
+ \end{minipage}
+ \ifnum\c@author=\value{currentauthor}
+ \end{minipage}
+ \else
+ \ifodd\value{currentauthor}
+ \else
+ \end{minipage}%
+ \medskip
+ \fi
+ \fi
+ \fi
+ \fi}%
+ \global\advance\c@author\@ne
+ \protected@write\@auxout{}{\string\gdef\string\@authornum{\the\c@author}}
+ \ifnum\c@author=\@ne
+ \gdef\@authorsfortoc{#1}%
+ \gdef\@authorsforpdf{#1}
+ \else
+ \expandafter\g@addto@macro\expandafter\@authorsforpdf\expandafter{, #1}
+ \expandafter\g@addto@macro\expandafter\@authorsfortoc\expandafter{\expandafter\csname\the\c@author authand\endcsname#1}%
+ \@namedef{\the\c@author authand}{,\space}%
+ \AtBeginDocument{%
+ \expandafter\ifnum\@authornum=2
+ \@namedef{2authand}{\space and\space}%
+ \else
+ \@namedef{\@authornum authand}{,\space and\space}%
+ \fi}
+ \fi}
+\newcommand*\affil[2][]{%
+ \ClassError{oasics}
+ {\string\affil\space deprecated: Please enter affiliation as second parameter of the author macro}
+ {Since 2017, \string\affil\space is obsolete in oasics.}}
+\newcommand*\Copyright[1]{%
+ \def\@copyrightholder{#1}
+ \def\@Copyright{%
+ \setbox\@tempboxa\hbox{\IfFileExists{cc-by.pdf}{\includegraphics[height=14\p@,clip]{cc-by}}{\includegraphics[height=14\p@, width=40pt]{example-image-plain}}}%
+ \@rightskip\@flushglue \rightskip\@rightskip
+ \hangindent\dimexpr\wd\@tempboxa+0.5em\relax
+ \href{https://creativecommons.org/licenses/by/4.0/}%
+ {\smash{\lower\baselineskip\hbox{\unhcopy\@tempboxa}}}\enskip
+ \textcopyright\ %
+ \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
+ ;\\%
+ licensed under Creative Commons License CC-BY 4.0\ifx!#1!\\\null\fi\par}}
+\Copyright{\textcolor{red}{Author: Please provide a copyright holder}}
+\let\@copyrightholder\@empty
+\def\hideOASIcs{\let\@hideOASIcs\relax}
+\usepackage{xstring}
+\def\keywords#1{\def\@keywords{#1}}
+\let\@keywords\@empty
+\def\keywordsHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ Keywords and phrases\enskip}}
+\RequirePackage{comment}
+\excludecomment{CCSXML}
+% inspired by https://tex.stackexchange.com/questions/12810/how-do-i-split-a-string
+\global\newcommand\ccsdesc[2][100]{\@ccsdesc#1~#2~~\relax}
+\let\orig@ccsdesc\@ccsdesc
+\let\@ccsdesc\@empty
+\let\@ccsdescString\@empty
+\gdef\@ccsdesc#1~#2~#3~{
+ \ifx\@ccsdesc\orig@ccsdesc\let\@ccsdesc\@empty\fi
+ \ifx!#3!
+ \ifx\@ccsdescString\@empty
+ \g@addto@macro\@ccsdescString{{#2}}
+ \else
+ \g@addto@macro\@ccsdescString{; {#2}}
+ \fi
+ \else
+ \ifx\@ccsdescString\@empty
+ \g@addto@macro\@ccsdescString{{#2} $\rightarrow$ {#3}}
+ \else
+ \g@addto@macro\@ccsdescString{; {#2} $\rightarrow$ {#3}}
+ \fi
+ \fi
+\ccsdescEnd
+}
+\def\ccsdescEnd#1\relax{}
+\def\subjclass#1{
+ \ClassError{oasics}
+ {\string\subjclass\space deprecated: Please enter subject classification in 1 or more ccsdesc macros}
+ {Since 2019, \string\subjclass\space is obsolete in oasics.}}
+\let\@subjclass\@empty
+\def\subjclassHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ 2012 ACM Subject Classification\enskip}}
+\def\doiHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ Digital Object Identifier\enskip}}
+\def\category#1{\def\@category{#1}}
+\let\@category\@empty
+\def\categoryHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ Category\enskip}}
+\def\relatedversion#1{\def\@relatedversion{#1}}
+\let\@relatedversion\@empty
+\define@key{relatedversiondetails}{linktext}{\def\relatedversiondetails@linktext{#1}}
+\define@key{relatedversiondetails}{cite}{\def\relatedversiondetails@cite{#1}}
+\newcommand*\addtorelatedversionmacro[2]{%
+ \ifx\@relatedversion\@empty%
+ \g@addto@macro\@relatedversion{#1}%
+ \else%
+ \g@addto@macro\@relatedversion{\\#1}%
+ \fi%
+}%
+\newcommand{\relatedversiondetails}[3][]{%
+ \begingroup%
+ \let\relatedversiondetails@linktext\@empty
+ \let\relatedversiondetails@cite\@empty
+ \setkeys{relatedversiondetails}{#1}%
+ \ifx\relatedversiondetails@linktext\@empty%
+ \protected@edef\tmp{\textit{#2}:\space{\url{#3}}}%
+ \else%
+ \protected@edef\tmp{\textit{#2}:\space{\href{#3}{\texttt{\relatedversiondetails@linktext}}}}%
+ \fi%
+ \ifx\relatedversiondetails@cite\@empty%
+ \else%
+ \protected@edef\tmp{\tmp\nobreakspace\cite{\relatedversiondetails@cite}}%
+ \fi%
+ \expandafter\addtorelatedversionmacro\expandafter{\tmp}{#1}%
+ \endgroup%
+}%
+\def\relatedversionHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ Related Version\enskip}}
+\def\supplement#1{\def\@supplement{#1}}
+\let\@supplement\@empty
+\define@key{supplementdetails}{linktext}{\def\supplementdetails@linktext{#1}}
+\define@key{supplementdetails}{cite}{\def\supplementdetails@cite{#1}}
+\define@key{supplementdetails}{subcategory}{\def\supplementdetails@subcategory{#1}}
+\define@key{supplementdetails}{swhlinktext}{\def\supplementdetails@swhlinktext{#1}}
+\let\supplementdetails@swhlinktext\@empty
+\define@key{supplementdetails}{swhid}{
+ \ifx\supplementdetails@swhlinktext\@empty%
+ \StrBefore{#1}{;}[\supplementdetails@swhlinktext]%
+ \fi%
+ \def\supplementdetails@swhid{#1}%
+}
+
+\define@key{supplementdetails}{swhdelimiter}{\def\supplementdetails@swhdelimiter{#1}}
+\def\supplementdetails@swhdelimiter{\\ \hspace*{1.2em}}
+\newcommand*\addtosupplementmacro[2]{%
+ \ifx\@supplement\@empty%
+ \g@addto@macro\@supplement{#1}%
+ \else%
+ \g@addto@macro\@supplement{\\#1}%
+ \fi%
+}%
+\newcommand{\supplementdetails}[3][]{%
+ \begingroup%
+ \let\supplementdetails@linktext\@empty
+ \let\supplementdetails@cite\@empty
+ \let\supplementdetails@subcategory\@empty
+ \let\supplementdetails@swhid\@empty
+ \setkeys{supplementdetails}{#1}%
+ \ifx\supplementdetails@subcategory\@empty%
+ \protected@edef\tmp{\textit{#2}}
+ \else
+ \protected@edef\tmp{\textit{#2\,\,(\supplementdetails@subcategory)}}%
+ \fi
+ \ifx\supplementdetails@linktext\@empty%
+ \protected@edef\tmp{\tmp:\space{\url{#3}}}%
+ \else%
+ \protected@edef\tmp{\tmp:\space{\href{#3}{\texttt{\supplementdetails@linktext}}}}%
+ \fi%
+ \ifx\supplementdetails@cite\@empty%
+ \else%
+ \protected@edef\tmp{\tmp\nobreakspace\cite{\supplementdetails@cite}}%
+ \fi
+ \ifx\supplementdetails@swhid\@empty%
+ \else%
+ \ifx\supplementdetails@swhlinktext\@empty%
+ \protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at %
+ \href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhid}}}%
+ \else%
+ \protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at %
+ \href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhlinktext}}}%
+ \fi%
+ \fi%
+ \expandafter\addtosupplementmacro\expandafter{\tmp}{#1}%
+ \endgroup%
+}%
+\def\supplementHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ Supplementary Material\enskip}}
+\newcommand\flag[2][0.9cm]{%
+ \leavevmode\marginpar{%
+ \raisebox{\dimexpr-\totalheight+\ht\strutbox\relax}%
+ [\dimexpr\ht\strutbox+3mm][\dp\strutbox]{\expandafter\includegraphics[width=#1]{#2}}%
+}}
+\def\funding#1{\def\@funding{#1}}
+\let\@funding\@empty
+\def\fundingHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ Funding\enskip}}
+\def\acknowledgements#1{\def\@acknowledgements{#1}}
+\let\@acknowledgements\@empty
+\def\acknowledgementsHeading{%
+ \textcolor{oasicsGray}{\fontsize{9}{12}\sffamily\bfseries
+ Acknowledgements\enskip}}
+\RequirePackage{amsthm}
+\ifx\usethmrestate\relax
+ \RequirePackage{thm-restate}
+\fi
+\thm@headfont{%
+ \textcolor{oasicsGray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}
+\def\th@remark{%
+ \thm@headfont{%
+ \textcolor{oasicsGray}{$\blacktriangleright$}\nobreakspace\sffamily}%
+ \normalfont % body font
+ \thm@preskip\topsep \divide\thm@preskip\tw@
+ \thm@postskip\thm@preskip
+}
+\def\@endtheorem{\endtrivlist}%\@endpefalse
+\renewcommand\qedsymbol{\textcolor{oasicsGray}{\ensuremath{\blacktriangleleft}}}
+\renewenvironment{proof}[1][\proofname]{\par
+ \pushQED{\qed}%
+ \normalfont \topsep6\p@\@plus6\p@\relax
+ \trivlist
+ \item[\hskip\labelsep
+ \color{oasicsGray}\sffamily\bfseries
+ #1\@addpunct{.}]\ignorespaces
+}{%
+ \popQED\endtrivlist%\@endpefalse
+}
+\newcommand{\claimqedhere}{\renewcommand\qedsymbol{\textcolor{oasicsGray}{\ensuremath{\vartriangleleft}}}%
+\qedhere%
+\renewcommand\qedsymbol{\textcolor{oasicsGray}{\ensuremath{\blacktriangleleft}}}}
+\newenvironment{claimproof}[1][\proofname]{
+ \pushQED{\qed}%
+ \normalfont \topsep6\p@\@plus6\p@\relax
+ \trivlist
+ \item[\hskip\labelsep
+ \color{oasicsGray}\sffamily
+ #1\@addpunct{.}]\ignorespaces
+}{%
+ \renewcommand\qedsymbol{\textcolor{oasicsGray}{\ensuremath{\vartriangleleft}}}
+ \popQED\endtrivlist%\@endpefalse
+ \renewcommand\qedsymbol{\textcolor{oasicsGray}{\ensuremath{\blacktriangleleft}}}
+}
+% inspired by qed of amsthm class
+\DeclareRobustCommand{\oasicsEnd}{%
+ \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
+ \quad\hbox{$\lrcorner$}%
+}
+\AtBeginDocument{
+ \@ifpackageloaded{algorithm2e}{
+ \@ifpackagelater{algorithm2e}{2009/11/17}{
+ \renewcommand{\algorithmcfname}{\sffamily\bfseries{}Algorithm}%
+ \renewcommand{\@algocf@procname}{\sffamily\bfseries{}Procedure}%
+ \SetAlgoCaptionSeparator{~}
+ \SetAlCapHSkip{0pt}
+ \renewcommand{\algocf@captiontext}[2]{%
+ \kern0.05em{\color{oasicsYellow}\rule{0.73em}{0.73em}}%
+ \hspace*{0.67em}\small #1\algocf@capseparator\nobreakspace#2}
+ \renewcommand{\algocf@makecaption}[2]{%
+ \parbox[t]{\textwidth}{\algocf@captiontext{#1}{#2}}%
+ }%
+ \renewcommand{\algocf@captionproctext}[2]{%
+ {%
+ \kern0.05em{\color{oasicsYellow}\rule{0.73em}{0.73em}}%
+ \hspace*{0.67em}\small%
+\ProcSty{\ProcFnt\algocf@procname\ifthenelse{\boolean{algocf@procnumbered}}{\nobreakspace\thealgocf\algocf@typo\algocf@capseparator}{\relax}}%
+ \nobreakspace\ProcNameSty{\ProcNameFnt\algocf@captname #2@}% Name of the procedure in ProcName Style.
+ \ifthenelse{\equal{\algocf@captparam #2@}{\arg@e}}{}{% if no argument, write nothing
+ \ProcNameSty{\ProcNameFnt(}\ProcArgSty{\ProcArgFnt\algocf@captparam #2@}\ProcNameSty{\ProcNameFnt)}%else put arguments in ProcArgSty:
+ }% endif
+ \algocf@captother #2@%
+ }%
+}%
+ \renewcommand{\@algocf@capt@boxed}{above}
+ \renewcommand{\@algocf@capt@ruled}{above}
+ \setlength\algotitleheightrule{0pt}
+ }{\ClassWarning{%
+ Package algorithm2e outdated}{You are using an outdated version of the package algorithm2e. Please update!}}
+ }{}
+ \@ifpackageloaded{algorithm}{
+ \captionsetup[algorithm]{name=Algorithm, labelformat=boxed, position=top}
+ \newcommand\fs@ruled@notop{\def\@fs@cfont{\bfseries}\let\@fs@capt\floatc@ruled
+ \def\@fs@pre{}%
+ \def\@fs@post{\kern2pt\hrule\relax}%
+ \def\@fs@mid{\kern2pt\hrule\kern2pt}%
+ \let\@fs@iftopcapt\iftrue}
+ \@ifundefined{fst@algorithm}{}{
+ \renewcommand\fst@algorithm{\fs@ruled@notop}
+ }
+ }{}
+ \ifx\usecleveref\relax\else
+ \@ifpackageloaded{cleveref}{\ClassWarning{Use document option 'cleveref' instead}{Use document option 'cleveref' instead directly loading package 'cleveref'}}{}
+ \fi
+ \ifx\usethmrestate\relax\else
+ \@ifpackageloaded{thm-restate}{\ClassWarning{Use document option 'thm-restate' instead}{Use document option 'thm-restate' instead directly loading package 'thm-restate'}}{}
+ \fi
+ \ifx\useautoref\relax
+ \@ifundefined{algorithmautorefname}{\newcommand{\algorithmautorefname}{Algorithm}}{\renewcommand{\algorithmautorefname}{Algorithm}}%
+ \fi
+}
+
+\ifx\usecleveref\relax
+ \RequirePackage[capitalise, noabbrev]{cleveref}
+ \crefname{algocf}{Algorithm}{Algorithms}
+ \Crefname{algocf}{Algorithm}{Algorithms}
+ \newcommand{\crefrangeconjunction}{--}
+ \newcommand{\creflastconjunction}{, and\nobreakspace}
+\fi
+\ifx\useautoref\relax
+ \RequirePackage{aliascnt}
+\fi
+\newtheoremstyle{claimstyle}{\topsep}{\topsep}{}{0pt}{\sffamily}{. }{5pt plus 1pt minus 1pt}%
+ {$\vartriangleright$ \thmname{#1}\thmnumber{ #2}\thmnote{ (#3)}}
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\ifx\numberwithinsect\relax
+ \numberwithin{theorem}{section}
+\fi
+\ifx\useautoref\relax
+ \addto\extrasenglish{%
+ \def\chapterautorefname{Chapter}%
+ \def\sectionautorefname{Section}%
+ \def\subsectionautorefname{Subsection}%
+ \def\subsubsectionautorefname{Subsubsection}%
+ \def\paragraphautorefname{Paragraph}%
+ \def\subparagraphautorefname{Subparagraph}%
+ }
+ \addto\extrasUKenglish{%
+ \def\chapterautorefname{Chapter}%
+ \def\sectionautorefname{Section}%
+ \def\subsectionautorefname{Subsection}%
+ \def\subsubsectionautorefname{Subsubsection}%
+ \def\paragraphautorefname{Paragraph}%
+ \def\subparagraphautorefname{Subparagraph}%
+ }
+ \addto\extrasUSenglish{%
+ \def\chapterautorefname{Chapter}%
+ \def\sectionautorefname{Section}%
+ \def\subsectionautorefname{Subsection}%
+ \def\subsubsectionautorefname{Subsubsection}%
+ \def\paragraphautorefname{Paragraph}%
+ \def\subparagraphautorefname{Subparagraph}%
+ }
+ \ifx\usethmrestate\relax
+ \newtheorem{lemma}[theorem]{Lemma}
+ \newtheorem{corollary}[theorem]{Corollary}
+ \newtheorem{proposition}[theorem]{Proposition}
+ \newtheorem{exercise}[theorem]{Exercise}
+ \newtheorem{definition}[theorem]{Definition}
+ \newtheorem{conjecture}[theorem]{Conjecture}
+ \newtheorem{observation}[theorem]{Observation}
+ \theoremstyle{definition}
+ \newtheorem{example}[theorem]{Example}
+ \theoremstyle{remark}
+ \newtheorem{note}[theorem]{Note}
+ \newtheorem*{note*}{Note}
+ \newtheorem{remark}[theorem]{Remark}
+ \newtheorem*{remark*}{Remark}
+ \theoremstyle{claimstyle}
+ \newtheorem{claim}[theorem]{Claim}
+ \newtheorem*{claim*}{Claim}
+ \else
+ \newaliascnt{lemma}{theorem}
+ \newtheorem{lemma}[lemma]{Lemma}
+ \aliascntresetthe{lemma}
+ \newcommand{\lemmaautorefname}{Lemma}
+ \newaliascnt{corollary}{theorem}
+ \newtheorem{corollary}[corollary]{Corollary}
+ \aliascntresetthe{corollary}
+ \newcommand{\corollaryautorefname}{Corollary}
+ \newaliascnt{proposition}{theorem}
+ \newtheorem{proposition}[proposition]{Proposition}
+ \aliascntresetthe{proposition}
+ \newcommand{\propositionautorefname}{Proposition}
+ \newaliascnt{exercise}{theorem}
+ \newtheorem{exercise}[exercise]{Exercise}
+ \aliascntresetthe{exercise}
+ \newcommand{\exerciseautorefname}{Exercise}
+ \newaliascnt{definition}{theorem}
+ \newtheorem{definition}[definition]{Definition}
+ \aliascntresetthe{definition}
+ \newcommand{\definitionautorefname}{Definition}
+ \newaliascnt{conjecture}{theorem}
+ \newtheorem{conjecture}[conjecture]{Conjecture}
+ \aliascntresetthe{conjecture}
+ \newcommand{\conjectureautorefname}{Conjecture}
+ \newaliascnt{observation}{theorem}
+ \newtheorem{observation}[observation]{Observation}
+ \aliascntresetthe{observation}
+ \newcommand{\observationautorefname}{Observation}
+ \theoremstyle{definition}
+ \newaliascnt{example}{theorem}
+ \newtheorem{example}[example]{Example}
+ \aliascntresetthe{example}
+ \newcommand{\exampleautorefname}{Example}
+ \theoremstyle{remark}
+ \newaliascnt{note}{theorem}
+ \newtheorem{note}[note]{Note}
+ \aliascntresetthe{note}
+ \newcommand{\noteautorefname}{Note}
+ \newtheorem*{note*}{Note}
+ \newaliascnt{remark}{theorem}
+ \newtheorem{remark}[remark]{Remark}
+ \aliascntresetthe{remark}
+ \newcommand{\remarkautorefname}{Remark}
+ \newtheorem*{remark*}{Remark}
+ \theoremstyle{claimstyle}
+ \newaliascnt{claim}{theorem}
+ \newtheorem{claim}[claim]{Claim}
+ \aliascntresetthe{claim}
+ \newcommand{\claimautorefname}{Claim}
+ \newtheorem*{claim*}{Claim}
+ \ifx\numberwithinsect\relax
+ \numberwithin{theorem}{section}
+ \numberwithin{lemma}{section}
+ \numberwithin{corollary}{section}
+ \numberwithin{proposition}{section}
+ \numberwithin{exercise}{section}
+ \numberwithin{definition}{section}
+ \numberwithin{conjecture}{section}
+ \numberwithin{observation}{section}
+ \numberwithin{example}{section}
+ \numberwithin{note}{section}
+ \numberwithin{remark}{section}
+ \numberwithin{claim}{section}
+ \fi
+ \fi
+\else
+ \newtheorem{lemma}[theorem]{Lemma}
+ \newtheorem{corollary}[theorem]{Corollary}
+ \newtheorem{proposition}[theorem]{Proposition}
+ \newtheorem{exercise}[theorem]{Exercise}
+ \newtheorem{definition}[theorem]{Definition}
+ \newtheorem{conjecture}[theorem]{Conjecture}
+ \newtheorem{observation}[theorem]{Observation}
+ \theoremstyle{definition}
+ \newtheorem{example}[theorem]{Example}
+ \theoremstyle{remark}
+ \newtheorem{note}[theorem]{Note}
+ \newtheorem*{note*}{Note}
+ \newtheorem{remark}[theorem]{Remark}
+ \newtheorem*{remark*}{Remark}
+ \theoremstyle{claimstyle}
+ \newtheorem{claim}[theorem]{Claim}
+ \newtheorem*{claim*}{Claim}
+\fi
+\theoremstyle{plain}
+\endinput
+%%
+%% End of file `oasics-v2021.cls'.
diff --git a/orcid.pdf b/orcid.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..c31b0393efd556887c0cd1a595de7be764a6a168
Binary files /dev/null and b/orcid.pdf differ