Verify any file against checksums.txt:

  Windows:  certutil -hashfile <file> SHA256
  macOS:    shasum -a 256 <file>
  Linux:    sha256sum <file>

Re-run the whole worked example from the four XERs:

  python run_mip33.py
