Re-run of the package of the version examined by run 2 (release/source.zip, SHA-256 c23b960a6e30416828c28ab5676f70d03cef3d4689372a0839f3d01d65fd0f36),
from an extracted copy in a scratch folder, 2026-10-15, Python 3.13.5 (python -E -s), nice -n 10, at most four processes at a time.
Each output was compared with the recorded output in the archive: 'identical' = byte for byte; 'identical up to timings' = equal
after removing running-time fields (and the lines 'exit 0' that run B's runner had appended). Wall-clock seconds.

program and arguments                                              time  result
check_note.py (full)                                               7.93  identical up to timings
original/final_formula.py 2 30                                     2.23  identical
original/final_formula.py 31 44                                   26.50  identical
original/ksv_consistency.py 70 40                                  0.61  identical
original/symmetry_check.py 26                                      1.50  identical
original/jsz_reduction_check.py                                    1.74  identical
original/reduced_solver.py 2 14 2 13                               0.24  identical
original/reduced_solver.py 15 18 2 17                              1.89  identical
original/reduced_solver.py 19 24 2 23                             36.49  identical
original/triple_check.py 14                                        1.82  identical
original/triple_check.py 17                                       14.96  identical
original/lr_direct_check.py 11                                     0.19  identical
original/lr_direct_check.py 14                                     1.44  identical
original/lemma_checks.py 20261015 40000                            1.95  identical
original/thmA_solver.py 2 24 2 23                                  0.19  identical
original/thmA_solver.py 25 40 2 39 allopt                          5.71  identical
original/balanced_check.py 2 32                                   27.62  identical
original/family_check.py 2 32                                     29.52  identical
original/onemixed_check.py 2 26                                   31.01  identical
original/bound_check.py 18 17 reduced_n14.out reduced_n15_18.out     1.80  identical
original/bound_check.py 24 23 reduced_n*.out (three files)        19.54  identical
verification_run_A vA_jsz15_sign.py                                1.37  identical
verification_run_A vA_jsz_check.py 20                              0.18  identical
verification_run_A vA_ksv_check.py 150                            12.90  identical
verification_run_A vA_lemma_random.py 151015 60000                 3.25  identical
verification_run_A vA_reduced.py 2 14                              0.25  identical
verification_run_A vA_thmA_vs_C.py range 2 26                      1.09  identical up to timings
verification_run_A vA_lr_bruteforce.py 14                          7.04  identical up to timings
verification_run_A vA_lr_bruteforce.py 19                        280.48  identical up to timings
verification_run_A vA_reduced.py 15 20                             3.82  identical
verification_run_A vA_reduced.py 21 28                           110.81  identical up to timings
verification_run_A vA_reduced.py 29 30                           131.34  identical up to timings
verification_run_A vA_thmA_vs_C.py range 27 46                    17.79  identical up to timings
verification_run_A vA_thmA_vs_C.py range 47 64                   290.21  identical up to timings
verification_run_A vA_thmA_vs_C.py random 20261015 2500 200 28    14.88  identical up to timings
verification_run_A vA_thmA_vs_C.py random 77 1500 300 34          26.39  identical up to timings
verification_run_A vA_thmA_vs_C.py random 4242 2000 500 30        23.28  identical
verification_run_A vA_smalld_largek.py 515 400 120 6               0.94  identical
verification_run_A vA_smalld_largek.py 616 600 160 8              35.47  identical up to timings
verification_run_B b_lemma_tests.py 20261015 40000 9               0.93  identical up to timings
verification_run_B b_wrong_inputs.py (stdout)                     16.33  identical up to timings
   b_wrong_inputs.py: wrong_thmA.json                                    identical
   b_wrong_inputs.py: wrong_thmC_noB.out                                 identical
   b_wrong_inputs.py: wrong_thmC_unbal.out                               identical
verification_run_B b_lr_bruteforce.py 1 14 (PREFIX.out)            1.16  identical up to timings
   (PREFIX.json)                                                         identical
verification_run_B b_lr_bruteforce.py 15 17 (PREFIX.out)           4.29  identical up to timings
   (PREFIX.json)                                                         identical
verification_run_B b_lr_bruteforce.py 18 20 (PREFIX.out)          20.78  identical up to timings
   (PREFIX.json)                                                         identical
verification_run_B b_lr_bruteforce.py 21 22 (PREFIX.out)          48.96  identical up to timings
   (PREFIX.json)                                                         identical
verification_run_B b_thmC_formula.py 2 30 OUT (recorded .json)     4.43  identical up to timings
verification_run_B b_thmC_formula.py 31 44 OUT (recorded .json)    47.83  identical up to timings
verification_run_B b_thmA_solver.py 1 22 OUT.json (stdout)         1.14  identical up to timings
   (OUT.json)                                                            identical

Not re-run: verification_run_A vA_thmA_vs_C.py rangefast 65 84 (recorded as stopped after n = 80, 990 s) and
verification_run_B b_cross_compare.py (it reads a copy of the first-version folder that is not part of the package).
