% SHA-256 results — written once the SAT/diffusion runs are in