Re-run of the release programs by the further verification run (2026-10-20), from an extracted copy of
source.zip (version before this run), each program from its own folder, outputs to a fresh directory;
check_note.py with Python 3.13.5, the others with Python 3.13.5, numpy, mpmath, sympy.
Comparison with the recorded outputs (cmp):
DIFF check_note_output.txt (only the Python version line and the timings differ; TOTAL failures: 0)
SAME original/data/verify_lemmas_output.txt
SAME original/data/shuffle_class_poly_3_3.txt
SAME original/data/ratio_analysis_n200.txt
SAME original/data/Q_a-1_1_n200.txt
SAME original/data/Q_a-3_4_n200.txt
SAME original/data/Q_a-1_2_n200.txt
SAME original/data/Q_a-1_4_n200.txt
SAME original/data/Q_a0_1_n200.txt
SAME original/data/Q_a1_1_n200.txt
SAME original/data/Q_a2_1_n200.txt
SAME verification_run_A/indep_out.txt
SAME verification_run_B/out_brute.txt
SAME verification_run_B/out_lemmas.txt
SAME verification_run_B/out_growth.txt
SAME verification_run_B/out_transfer.txt
SAME verification_run_B/out_class.txt

diff of check_note_output.txt:
1c1
< check_note.py (OWR-12872-018); Python 3.13.5
---
> check_note.py (OWR-12872-018); Python 3.9.6
6c6
<    [partA done in 0.5 s]
---
>    [partA done in 1.0 s]
9c9
<    [partB done in 0.1 s]
---
>    [partB done in 0.2 s]
17c17
<    [partD done in 0.1 s]
---
>    [partD done in 0.2 s]
19c19
<    [partE done in 0.1 s]
---
>    [partE done in 0.2 s]
28c28
<    [partF done in 0.2 s]
---
>    [partF done in 0.5 s]
40,41c40,41
<    [partJ done in 0.2 s]
< TOTAL failures: 0   (1.4 s)
---
>    [partJ done in 0.4 s]
> TOTAL failures: 0   (2.6 s)
