A SAT certification for the nonexistence of weight 16 codewords in a projective plane of order ten: Errata

The four partial projective planes that we found were not necessarily missed by (Lam, Thiel, and Swiercz 1986). Although we used the same initial matrix, the representatives that are chosen for the first block will also affect the search. Lam et al. did not specify the exact representatives that they used, so it not possible for us to verify this aspect of their search.