# programs of the note (original/)
check_fix_bruteforce_N4.out: IDENTICAL up to timing fields (1 s)
check_fix_bruteforce_N5.out: IDENTICAL up to timing fields (0 s)
check_fix_bruteforce_N6.out: IDENTICAL up to timing fields (2 s)
check_keyclaim_m8.out: IDENTICAL (0 s)
check_keyclaim_m10.out: IDENTICAL up to timing fields (64 s)
check_claimA_m12.out: IDENTICAL (68 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 (86 s)
# verification run A
out_fix_n4_m6.txt: IDENTICAL (1 s)
out_fix_n4_m8.txt: IDENTICAL up to timing fields (29 s)
out_slices_m8.txt: IDENTICAL up to timing fields (1 s)
out_slices_m10.txt: IDENTICAL up to timing fields (1 s)
out_slices_m12.txt: IDENTICAL up to timing fields (13 s)
out_lemmas.txt: IDENTICAL up to timing fields (5 s)
out_lemmaZ_ext.txt: IDENTICAL up to timing fields (73 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 (29 s)
out_fix_fft_small.txt: IDENTICAL (0 s)
out_fix_fft_m8.txt: IDENTICAL up to timing fields (12 s)
out_fix_fft_control.txt: IDENTICAL up to timing fields (4 s)
# verification run B
selftest.out: IDENTICAL (0 s)
fix_lie_N2_k1.out: IDENTICAL (0 s)
fix_lie_N3_k1.out: IDENTICAL (1 s)
fix_lie_N4_k2.out: IDENTICAL up to timing fields (5 s)
fix_lie_N5_k2.out: IDENTICAL up to timing fields (2 s)
fix_lie_N6_k2.out: IDENTICAL up to timing fields (1 s)
fix_lie_N6_k3.out: IDENTICAL up to timing fields (5 s)
fix_lie_N7_k2.out: IDENTICAL up to timing fields (9 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 (27 s)
lemmaZ.out: IDENTICAL up to timing fields (12 s)
u2_m12.out: IDENTICAL up to timing fields (50 s)
gr_N2_n12.out: IDENTICAL (0 s)
gr_N3_n8.out: IDENTICAL up to timing fields (1 s)
gr_N4_n5.out: IDENTICAL (1 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 (36 s)
# slower programs
out_fix_general_N5_m78.txt: IDENTICAL up to timing fields (129 s)
out_fix_fft_N4_m10.txt: IDENTICAL up to timing fields (149 s)
out_bcv41.txt: IDENTICAL up to timing fields (574 s)
fix_lie_N4_k2_m12.out: IDENTICAL up to timing fields (93 s)
fix_lie_N5_k2_m9_10.out: IDENTICAL up to timing fields (70 s)
fix_lie_N6_k2_m7_8.out: IDENTICAL up to timing fields (21 s)
fix_heis_N4_m12.out: IDENTICAL up to timing fields (102 s)
done: 53 outputs reproduced, 0 different
