1 2 3
\documentclass[USenglish]{lipics} \usepackage[appendix=inline]{../../apxproof} \input{../common}