Rerun of this package, 2026-10-20 (Python 3.13.5; sympy 1.14.0 for own_lemmas.py), from a copy of this folder,
each command run from a new empty directory as described in README.md.

check_note.py                                  9 s   output identical except timings (45 of 45 checks pass)
original/cert_z5.py                          < 1 s   cert_z5_output.txt identical; twist_cert_z5.json identical
original/verify_json.py                      < 1 s   identical
original/family_check.py 5 7 11 13             1 s   identical
original/dual_fail.py                        < 1 s   identical
original/enum_racks.py 1..5                  < 1 s   enum_n1to5_output.txt identical; collisions_n1..n5.json identical
original/enum_racks.py 6                      32 s   identical except timings; collisions_n6.json identical
verification_run_A/..._own_check_z5.py       < 1 s   identical
verification_run_A/..._own_affine.py           2 s   identical
verification_run_A/..._own_enum.py 1..6       32 s   identical except timings
verification_run_B/own_thmA.py               < 1 s   identical
verification_run_B/own_enum.py 1..5            1 s   identical; own_enum_n1..n5.json identical
verification_run_B/own_enum.py 6              21 s   identical except timings; own_enum_n6.json identical
verification_run_B/own_family.py 5 7 11 13   < 1 s   identical
verification_run_B/own_family.py 17..31      313 s   identical except timings
verification_run_B/own_lemmas.py             < 1 s   identical
verification_run_B/own_selftest.py            22 s   identical
verification_run_B/own_b4_extra.py           < 1 s   identical
verification_run_B/compare_collisions.py     < 1 s   identical
