Re-run of all programs of this folder on 2026-10-20 (macOS, Apple silicon; check_note.py with Python 3.9.6,
the others with Python 3.13.5, numpy, mpmath, sympy), each from its own folder, outputs written to a fresh
directory $OUT. Wall-clock times:

python: Python 3.13.5
   [3 s] python3 check_note.py
   [25 s] python3 verify_lemmas.py
   [0 s] python3 shuffle_class_poly.py 3 3
   [2 s] python3 quadrant_loops_exact.py 200 -1 1 $OUT/Q_a-1_1_n200.txt
   [5 s] python3 quadrant_loops_exact.py 200 -3 4 $OUT/Q_a-3_4_n200.txt
   [4 s] python3 quadrant_loops_exact.py 200 -1 2 $OUT/Q_a-1_2_n200.txt
   [4 s] python3 quadrant_loops_exact.py 200 -1 4 $OUT/Q_a-1_4_n200.txt
   [2 s] python3 quadrant_loops_exact.py 200 0 1 $OUT/Q_a0_1_n200.txt
   [2 s] python3 quadrant_loops_exact.py 200 1 1 $OUT/Q_a1_1_n200.txt
   [2 s] python3 quadrant_loops_exact.py 200 2 1 $OUT/Q_a2_1_n200.txt
   [0 s] python3 ratio_analysis.py $OUT/Q_a-1_1_n200.txt -1 1
   [0 s] python3 ratio_analysis.py $OUT/Q_a-3_4_n200.txt -3 4
   [0 s] python3 ratio_analysis.py $OUT/Q_a-1_2_n200.txt -1 2
   [0 s] python3 ratio_analysis.py $OUT/Q_a-1_4_n200.txt -1 4
   [0 s] python3 ratio_analysis.py $OUT/Q_a0_1_n200.txt 0 1
   [0 s] python3 ratio_analysis.py $OUT/Q_a1_1_n200.txt 1 1
   [0 s] python3 ratio_analysis.py $OUT/Q_a2_1_n200.txt 2 1
   [81 s] python3 indep_check.py
   [1 s] python3 own_loops.py brute 5
   [11 s] python3 own_lemmas.py
   [3 s] python3 own_growth.py 400
   [1 s] python3 own_transfer.py
   [0 s] python3 own_class.py
DONE

Comparison with the recorded outputs: check_note_output.txt (TOTAL failures: 0) recorded from this run;
all seven Q_a*_n200.txt, verify_lemmas_output.txt, shuffle_class_poly_3_3.txt, ratio_analysis_n200.txt
(all seven values of a appended) are byte-identical to original/data/; indep_out.txt is byte-identical
to verification_run_A/indep_out.txt; out_brute, out_lemmas, out_growth, out_transfer, out_class are
byte-identical to verification_run_B/. The files verification_run_B/own_Q_a*_n200.txt equal
original/data/Q_a*_n200.txt without its first line (n = 0).
