SHA-256 Collision Attack with Programmatic SAT: Errata

The chaining value given in Table 4 is missing a 0 in the fifth word. The correct chaining value is afea2566 1e0a73e2 da747de7 34381a7f 06f4c0d9 8897dd98 c592ba6a d2aa5e80.

An updated version including corrections is available online.