Proof, including what did not work

Every number here is read from the evaluation file. Nothing is typed in by hand. Null results and failed checks are shown with the rest.