Re-runs of programs of this package, made on 2026-10-15 when the note was written, from a copy of the folders
(Python 3.13.5, standard library; three sequential chains, nice -n 10). Each output was compared with the recorded
output; "identical" means byte for byte, "identical up to timings" means after removing the fields that record
running times. Wall-clock times in seconds.

program and arguments                                      time   result
original/final_formula.py 2 30                              2.1   identical to final_formula_vs_exh_n30.out
original/ksv_consistency.py 70 40                            0.6   identical to ksv_consistency.out
original/symmetry_check.py 26                                1.4   identical to symmetry_check.out
original/jsz_reduction_check.py                              1.7   identical to jsz_reduction_check.out
original/triple_check.py 14                                  1.8   identical to triple_check_n14.out
original/lr_direct_check.py 11                               0.2   identical to lr_direct_check_n11.out
original/lemma_checks.py 20261015 40000                      1.8   identical to lemma_checks.out
verification_run_A vA_jsz15_sign.py                          1.4   identical to vA_jsz15_sign.out
verification_run_A vA_jsz_check.py 20                        0.2   identical to vA_jsz_check_n20.out
verification_run_A vA_ksv_check.py 150                      12.2   identical to vA_ksv_check_n150.out
verification_run_A vA_lemma_random.py 151015 60000           3.1   identical to vA_lemma_random.out
verification_run_A vA_reduced.py 2 14                        0.2   identical to vA_reduced_n2_14.out
verification_run_A vA_thmA_vs_C.py range 2 26                1.0   identical up to timings to vA_thmA_vs_C_n2_26.out
verification_run_A vA_lr_bruteforce.py 14                    6.7   identical up to timings to vA_lr_bruteforce_n14.out
verification_run_B b_lemma_tests.py 20261015 40000 9         0.9   identical to b_lemma_tests.out except its last line "exit 0", added by run B's runner
verification_run_B b_lr_bruteforce.py 1 14 PREFIX            1.1   PREFIX.out identical up to timings to b_lr_bruteforce_n14.out; PREFIX.json identical to b_lr_bruteforce_n14.json
verification_run_B b_thmC_formula.py 2 30 OUT b_lr_bruteforce_n14.json b_lr_bruteforce_n15_17.json b_lr_bruteforce_n18_20.json b_lr_bruteforce_n21_22.json
                                                             4.4   OUT identical up to timings to b_thmC_n2_30.out
verification_run_B b_wrong_inputs.py                        15.7   identical to b_wrong_inputs.out except its last line "exit 0", added by run B's runner

check_note.py (full run)                                     7     TOTAL checks 495166, TOTAL failures 0 (= check_note_output.txt)
check_note.py with Python 3.9.6                             15     the same output up to timings

Earlier, verification run B re-ran all 13 programs of original/ from a copy with the arguments of the recorded runs;
all 20 recorded outputs were reproduced byte for byte (about 3.5 minutes in total).

Later, the third verification run re-ran check_note.py and 47 recorded runs of original/, verification_run_A/ and
verification_run_B/ from an extracted copy of the archive; every output was reproduced (independent_run_2/r2_package_rerun_v1.txt).
