% generated by scripts/make_sha_tables.py
\newcommand{\shaDiffWzero}{6}
\newcommand{\shaDiffWfive}{11}
\newcommand{\shaDiffWfifteen}{21}
\newcommand{\shaDiffIV}{8}
\newcommand{\shaDiffN}{2000}
\newcommand{\shaDiffHamming}{128.0}
\newcommand{\shaDiffHammingSd}{8.1}
\newcommand{\shaDiffRO}{0.500}
\newcommand{\shaBiasN}{20000}
\newcommand{\shaBiasFirstClean}{5}
\newcommand{\shaBiasFirstNoBias}{4}
\newcommand{\shaBiasExpectedPairs}{1.0}
\newcommand{\shaPreCells}{572}
\newcommand{\shaPreVerified}{all}
\newcommand{\shaPreLargestCadical}{r=64, k=16}
\newcommand{\shaPreZthreeLargest}{r=12, k=16}
\newcommand{\shaPreRsixtyfourTime}{262}
\newcommand{\shaPreRsixtyfourSolved}{2/3}
\newcommand{\shaPreRtwentyTime}{6.4}
\newcommand{\shaPreRsixteenConf}{0}
\newcommand{\shaPreRsixteenTime}{0.02}
\newcommand{\shaPreVars}{70\,802}
\newcommand{\shaPreClauses}{314\,036}
\newcommand{\shaColCells}{264}
\newcommand{\shaColVerified}{all}
\newcommand{\shaColUnsatCells}{24}
\newcommand{\shaColLargestR}{18}
\newcommand{\shaColFixedTime}{53}
\newcommand{\shaColFreeTime}{8.5}
\newcommand{\shaLcN}{100\,000}
\newcommand{\shaLcBound}{3\times 10^{-5}}
\newcommand{\shaLcSurvivalMsb}{1.00}
\newcommand{\shaLcSurvivalOther}{0.250}
\newcommand{\shaLcSatMin}{4.4}
\newcommand{\shaLcSatMax}{118}
\newcommand{\shaLcSatBits}{32}
\newcommand{\shaLcPattern}{($\delta$, $\Sigma_0$($\delta$)$\oplus$$\Sigma_1$($\delta$), $\Sigma_1$($\Sigma_0$($\delta$)), 0, $\delta$, $\Sigma_0$($\delta$)$\oplus$$\Sigma_1$($\delta$), 0, 0, $\delta$)}