# programs of the note (original/)
check_fix_bruteforce_N4.out: IDENTICAL up to timing fields (0 s)
check_fix_bruteforce_N5.out: IDENTICAL up to timing fields (1 s)
check_fix_bruteforce_N6.out: IDENTICAL up to timing fields (1 s)
check_keyclaim_m8.out: IDENTICAL (0 s)
check_keyclaim_m10.out: IDENTICAL up to timing fields (62 s)
check_claimA_m12.out: IDENTICAL (64 s)
check_lemmaB.out: IDENTICAL up to timing fields (4 s)
check_lemma3.out: IDENTICAL up to timing fields (1 s)
check_lemmaZ.out: IDENTICAL up to timing fields (2 s)
probe_heisenberg.out: IDENTICAL up to timing fields (83 s)
# verification run A
out_fix_n4_m6.txt: IDENTICAL (0 s)
out_fix_n4_m8.txt: IDENTICAL up to timing fields (28 s)
out_slices_m8.txt: IDENTICAL up to timing fields (1 s)
out_slices_m10.txt: IDENTICAL up to timing fields (0 s)
out_slices_m12.txt: IDENTICAL up to timing fields (14 s)
out_lemmas.txt: IDENTICAL up to timing fields (5 s)
out_lemmaZ_ext.txt: IDENTICAL up to timing fields (72 s)
out_key_model_m8.txt: IDENTICAL (0 s)
out_key_model_m10.txt: IDENTICAL up to timing fields (10 s)
out_fix_general_small.txt: IDENTICAL up to timing fields (26 s)
out_fix_fft_small.txt: IDENTICAL (1 s)
out_fix_fft_m8.txt: IDENTICAL up to timing fields (10 s)
out_fix_fft_control.txt: IDENTICAL up to timing fields (4 s)
# verification run B
selftest.out: IDENTICAL (1 s)
fix_lie_N2_k1.out: IDENTICAL (0 s)
fix_lie_N3_k1.out: IDENTICAL up to timing fields (0 s)
fix_lie_N4_k2.out: IDENTICAL up to timing fields (4 s)
fix_lie_N5_k2.out: IDENTICAL up to timing fields (2 s)
fix_lie_N6_k2.out: IDENTICAL (1 s)
fix_lie_N6_k3.out: IDENTICAL up to timing fields (4 s)
fix_lie_N7_k2.out: IDENTICAL up to timing fields (7 s)
fix_brauer_N3_k1.out: IDENTICAL up to timing fields (0 s)
fix_brauer_N4_k2.out: IDENTICAL up to timing fields (1 s)
fix_brauer_N5_k2.out: IDENTICAL up to timing fields (0 s)
fix_brauer_N6_k2.out: IDENTICAL (0 s)
lemma4.out: IDENTICAL up to timing fields (23 s)
lemmaZ.out: IDENTICAL up to timing fields (12 s)
u2_m12.out: IDENTICAL up to timing fields (48 s)
gr_N2_n12.out: IDENTICAL (0 s)
gr_N3_n8.out: IDENTICAL up to timing fields (2 s)
gr_N4_n5.out: IDENTICAL (0 s)
gr_N5_n4.out: IDENTICAL (0 s)
chirvasitu_eq8_exact.out: IDENTICAL (6 s)
chirvasitu_z2_exact.out: IDENTICAL (6 s)
fix_heis_N4.out: IDENTICAL up to timing fields (4 s)
# program written with the note
check_magnus_output.txt: IDENTICAL (34 s)
# verification run on the final text (independent_run_2/)
fix_direct_N4_F2_m0-8.txt: IDENTICAL up to timing fields (6 s)
fix_direct_N5_F2_m0-7.txt: IDENTICAL up to timing fields (14 s)
fix_direct_N6_F2_m0-6.txt: IDENTICAL up to timing fields (7 s)
fix_direct_N7_F2_m0-5.txt: IDENTICAL up to timing fields (2 s)
fix_direct_N4_H3_m0-8.txt: IDENTICAL up to timing fields (5 s)
fix_direct_N4_Z2control_m0-6.txt: IDENTICAL (0 s)
slice_m0-10.txt: IDENTICAL up to timing fields (6 s)
slice_m0-12.txt: IDENTICAL up to timing fields (113 s)
words_seed20261010.txt: IDENTICAL up to timing fields (29 s)
tori.txt: IDENTICAL up to timing fields (65 s)
tori_direct.txt: IDENTICAL up to timing fields (5 s)
appendix.txt: IDENTICAL up to timing fields (32 s)
misc.txt: IDENTICAL (0 s)
done: 59 outputs reproduced, 0 different
