\section{Acknowledgements}

This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) and Naval Information Warfare Center Pacific (NIWC Pacific) under Contract Number N66001-20-C-4027.
Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the DARPA \& NIWC Pacific.

\subsection*{SBIR DATA RIGHTS}

\begin{description}
\item[Contract No] 140D0423C0063
\item[Contractor Name] Galois, Inc.
\item[Contractor Address] 421 SW Sixth Ave., Suite 300, Portland, OR 97204
\item[Expiration of SBIR Data Protection Period] 06/07/2042
\end{description}

The Government's rights to use, modify, reproduce, release, perform, display, or disclose technical data or computer software marked with this legend are restricted during the period shown as provided in paragraph (b)(5) of the Rights in Noncommercial Technical Data and Computer Software-Small Business Innovation Research (SBIR) Program clause contained in the above identified contract.
After the expiration date shown above, the Government has perpetual government purpose rights as provided in paragraph (b)(5) of that clause.
Any reproduction of technical data, computer software, or portions thereof marked with this legend must also reproduce the markings.

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "user-manual"
%%% End:
