Commands used (all run from a scratch copy of this folder, with nice -n 10, Python 3.13.5, sympy 1.14.0, mpmath 1.3.0, numpy 2.5.2):

python a1_lemmaR_symbolic.py        > a1_lemmaR_symbolic.out        (368 s; sympy)
python a2_theoremA_exact.py         > a2_theoremA_exact.out         (16 s; standard library only)
python a3_states_jacobian.py        > a3_states_jacobian.out        (5 s)
python a4_propB_small_N.py          > a4_propB_small_N.out          (8 s)
python a5_exactly_five_vca.py 1000  > a5_exactly_five_vca_N1000.out (28 s; standard library only)
python a5_exactly_five_vca.py 2000  > a5_exactly_five_vca_N2000.out (211 s; standard library only)
python a5_selftest.py               > a5_selftest.out               (needs a4_helpers.py = the function definitions of a4_propB_small_N.py)
python a6_check_closed_form.py      > a6_check_closed_form.out
python a6_scan.py small1|small2|small3|mid|thr|large > a6_scan_<mode>.out   (63 s, 71 s, about 95 s, 22 s, 4 s, 2 s)
python a6_threshold_fine.py         > a6_threshold_fine.out         (15 s)
python a6_threshold_finest.py       > a6_threshold_finest.out       (run inline, about 15 s)
python a7_other_examples.py 700 1 1000 3.40 3.60                       > a7_N700.out
python a7_other_examples.py 690 1 1000 3.45 3.65                       > a7_N690.out
python a7_other_examples.py 680 1 1000 3.45 3.65                       > a7_N680.out
python a7_other_examples.py 670 1 1000 3.45 3.65                       > a7_N670.out   (no window at the default tolerance 1e-9)
python a7_other_examples.py 660 1 1000 3.5726 3.5742 1e-11 6 13 16     > a7_N660.out
python a7_other_examples.py 655 1 1000 3.5805 3.5809 1e-12 7 14 17     > a7_N655.out
python a7_other_examples.py 653 1 100000 3.58251 3.58280 1e-13 8 15 18 > a7_N653.out
python a7_other_examples.py 652 1 100000 3.58406 3.58418 1e-14 9 16 19 > a7_N652.out
python a7_other_examples.py 4000 1 100 2.3 2.9                         > a7_N4000.out
python a8_misc_numeric.py           > a8_misc_numeric.out

A first version of a2_theoremA_exact.py (Fraction arithmetic throughout) was stopped after 10 minutes without result
(too slow); the stored version uses integers on a common denominator. No other run was discarded.

Copies of three scripts of the claim (certify_five_steady_states.py, small_N_checks.py, independent_check.py) were run in
the scratch folder (not in the claim folder) and their outputs compared with the stored .out files of the claim.
