Re-run at the writing, 2026-10-14 (Python 3.13.5, numpy 2.5.2, sympy 1.14.0; nice -n 10; each program run from a copy of this folder,
its standard output compared with the recorded output after removing the timing lines written by the shell and the
running-time fields printed by the programs).

original/verify_construction.out: IDENTICAL up to running times; command: python3 -I verify_construction.py 11 4 13; time 41.52 s; lines 11/11
original/lamplighter_check.out: IDENTICAL up to running times; command: python3 -I lamplighter_check.py 7; time 27.08 s; lines 18/18
original/possible_values_check.out: IDENTICAL up to running times; command: python3 -I possible_values_check.py 9; time 482.64 s; lines 8/8
verification_run_A/vA_automaton.out: IDENTICAL up to running times; command: python3 -I vA_automaton.py 26; time 6.82 s; lines 17/17
verification_run_A/vA_blocks.out: IDENTICAL up to running times; command: python3 -I vA_blocks.py 8; time 65.42 s; lines 10/10
verification_run_A/vA_direct_groupring.out: IDENTICAL up to running times; command: python3 -I vA_direct_groupring.py 8 6; time 38.37 s; lines 22/22
verification_run_A/vA_fourier_model.out: IDENTICAL up to running times; command: python3 -I vA_fourier_model.py 17 10; time 72.61 s; lines 23/23
verification_run_B/automaton_enum_D30.out: IDENTICAL up to running times; command: python3 -I automaton_enum.py 30; time 36.51 s; lines 39/39
verification_run_B/selftest_automaton_wrong1.out: IDENTICAL up to running times; command: python3 -I automaton_enum.py 14 --wrong1; time 2.00 s; lines 24/24
verification_run_B/selftest_automaton_wrong2.out: IDENTICAL up to running times; command: python3 -I automaton_enum.py 14 --wrong2; time 0.80 s; lines 23/23
verification_run_B/lamp_fourier_K16.out: IDENTICAL up to running times; command: python3 -I lamp_fourier.py 16; time 23.26 s; lines 16/16
verification_run_B/lamp_regular_K8.out: IDENTICAL up to running times; command: python3 -I lamp_regular.py 8; time 46.90 s; lines 9/9
verification_run_B/selftest_lamp_regular_wrong.out: IDENTICAL up to running times; command: python3 -I lamp_regular.py 6 --wrong --exact-upto 4; time 0.61 s; lines 7/7

Not re-run (long runs of verification run B): lamp_regular.py 9 (K = 9 alone took 671.7 s), lamp_fourier.py 22 (about 8 min).

check_note.py: recorded output check_note_output.txt produced at the writing (59.4 s; 14,386 checks; ALL CHECKS PASSED).
