<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% Public Domain. No Rights Reserved. See
% https://creativecommons.org/publicdomain/zero/1.0/

\section{Benchmarks}</pre></body></html>