# Rerun of the reproducibility package (verification run 2, 21 October 2026)
# Source: the source archive of the note as it was before this run (sha256 6a8497d7e8c3e6166d75fd08cad433eeef4114a17b89de8c61f0029f4cc9c2d0), extracted into an empty folder;
# all programs run with python3 -I (Python 3.13.5) under nice -n 10, at most 4 at a time.
check_note.py (full): "644 checks, 0 failures", "ALL CHECKS PASSED" (107 s; recorded 103 s); output identical to check_note.out except the time.
original/ (run inside original/, after mkdir -p rerun):
  check_small.py      23 s   identical to check_small.out (timings removed)
  check_extra240.py    1 s   identical
  check_more.py      ~190 s  identical to check_more.out; rerun/base_more.txt identical to base_more.txt
  check_families.py  ~270 s  identical
  check_sl_pgl.py    ~600 s  identical ("ALL OK"; PGL(2,13) 367 s)
  psl_brute.py 4 5 7 8 9 11 13   59 s   identical except the last line: the recorded file ends with a comment line (run stopped after q = 13), the rerun with "ALL OK" (as stated in README.md)
  coverage.py 406     <1 s   coverage_witness_406.txt identical
  coverage2.py 406 3000 <1 s coverage2_witness_406.txt differs in 14 witness lines plus one more line, as stated in README.md (recorded before base_more.txt was final; not used later)
  coverage3.py 406 3000 <1 s cert_choice_406.txt byte-identical
  make_cert.py        <1 s   certificate.txt byte-identical
  verify_cert.py      <1 s   identical to verify_cert_release.out
  psl_scan.py 150000 200  23 s  all 175 entries with q <= 150000 of psl_scan_1e6.out reproduced, no extra entry
  psl_scan2.py 5000000 600  5 s  psl_scan2_5e6.out identical
