\newcommand{\pubdate}{28 October 2026}
\newcommand{\paperdoi}{10.5281/zenodo.23730883}
\newcommand{\suppdoi}{10.5281/zenodo.23498529}
\newcommand{\reponame}{sortnet13-two-value-v5}
\newcommand{\repourl}{https://github.com/tejasvi/sortnet13-two-value-v5}
\newcommand{\repocommit}{be14346d67fd89b14f7e036ea03eae8d561b81ef}
\newcommand{\lemmaprefixes}{$351{,}541$}
\newcommand{\lemmanets}{$20{,}369$}
\newcommand{\cfgsXXVIII}{$262{,}417{,}641{,}559$}
\newcommand{\nodesXXVIII}{$30{,}972{,}138{,}194{,}473$}
\newcommand{\leavesXXVIII}{$12{,}416{,}681{,}168{,}846$}
\newcommand{\certhash}{\texttt{092f8a343d02be3e1980cfc2da78343d}\allowbreak\texttt{a9d907ba1f55ef076437060bde8fd403}}
\newcommand{\hardersha}{\texttt{95da7e06ebef17bf76a50ae0e9d19d56}\allowbreak\texttt{cf87e0ec9e61b941528dc2cf05521fef}}
\newcommand{\hardershaU}{\texttt{7fe9f5cd694714bf83da0bcab162a290}\allowbreak\texttt{eb076ad4257265507a74cea8fab85b7e}}