1% generated by scripts/make_sha_tables.py2\newcommand{\shaDiffWzero}{6}3\newcommand{\shaDiffWfive}{11}4\newcommand{\shaDiffWfifteen}{21}5\newcommand{\shaDiffIV}{8}6\newcommand{\shaDiffN}{2000}7\newcommand{\shaDiffHamming}{128.0}8\newcommand{\shaDiffHammingSd}{8.1}9\newcommand{\shaDiffRO}{0.500}10\newcommand{\shaBiasN}{20000}11\newcommand{\shaBiasFirstClean}{5}12\newcommand{\shaBiasFirstNoBias}{4}13\newcommand{\shaBiasExpectedPairs}{1.0}14\newcommand{\shaPreCells}{572}15\newcommand{\shaPreVerified}{all}16\newcommand{\shaPreLargestCadical}{r=64, k=16}17\newcommand{\shaPreZthreeLargest}{r=12, k=16}18\newcommand{\shaPreRsixtyfourTime}{262}19\newcommand{\shaPreRsixtyfourSolved}{2/3}20\newcommand{\shaPreRtwentyTime}{6.4}21\newcommand{\shaPreRsixteenConf}{0}22\newcommand{\shaPreRsixteenTime}{0.02}23\newcommand{\shaPreVars}{70\,802}24\newcommand{\shaPreClauses}{314\,036}25\newcommand{\shaColCells}{264}26\newcommand{\shaColVerified}{all}27\newcommand{\shaColUnsatCells}{24}28\newcommand{\shaColLargestR}{18}29\newcommand{\shaColFixedTime}{53}30\newcommand{\shaColFreeTime}{8.5}31\newcommand{\shaLcN}{100\,000}32\newcommand{\shaLcBound}{3\times 10^{-5}}33\newcommand{\shaLcSurvivalMsb}{1.00}34\newcommand{\shaLcSurvivalOther}{0.250}35\newcommand{\shaLcSatMin}{4.4}36\newcommand{\shaLcSatMax}{118}37\newcommand{\shaLcSatBits}{32}38\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$)}39