Re-run of the whole reproducibility package by the third verification run (2026-10-14).
source.zip (SHA-256 23a17e107073846bd74223f43a67f98aa6b17b38d0c04146b1d33752ef95331b) was extracted into a new folder;
every program with a recorded output was run there (Python 3.13.5, sympy 1.14.0, numpy 2.5.2; nice -n 10; at most
four processes at a time), its standard output written to a new file and compared byte for byte (cmp) with the
recorded output named in reproducibility/README.md. The three symbolic programs that write a file into the current
folder were compared through that file. Columns: label, exit status, wall time, result.

== jobs (command lines as in reproducibility/README.md)
aut_p3_G1_w1	exit=0	2 s	IDENTICAL
aut_p3_G1_w2	exit=0	3 s	IDENTICAL
aut_p3_G2_w2	exit=0	4 s	IDENTICAL
bf_p11_w10_G1	exit=0	8 s	IDENTICAL
bf_p11_w2_G1	exit=0	7 s	IDENTICAL
bf_p11_w2_G2	exit=0	7 s	IDENTICAL
bf_p11_w3_G1	exit=0	7 s	IDENTICAL
bf_p13_w2_G1	exit=0	20 s	IDENTICAL
bf_p13_w2_G2	exit=0	19 s	IDENTICAL
bf_p13_w3_G1	exit=0	19 s	IDENTICAL
bf_p13_w5_G1	exit=0	19 s	IDENTICAL
bf_p3_w2_G1	exit=0	0 s	IDENTICAL
bf_p3_w2_G2	exit=0	0 s	IDENTICAL
bf_p5_w2_G1	exit=0	0 s	IDENTICAL
bf_p5_w2_G2	exit=0	1 s	IDENTICAL
bf_p7_w2_G1	exit=0	0 s	IDENTICAL
bf_p7_w3_G1	exit=0	0 s	IDENTICAL
bf_p7_w3_G2	exit=0	1 s	IDENTICAL
bf_p7_w4_G1	exit=0	1 s	IDENTICAL
bf_p7_w6_G1	exit=0	1 s	IDENTICAL
check_note	exit=0	7 s	IDENTICAL
degree_I4	exit=0	0 s	IDENTICAL
direct_p3_G2	exit=0	32 s	IDENTICAL
direct_p3_w1_G1	exit=0	32 s	IDENTICAL
direct_p3_w2_G1	exit=0	33 s	IDENTICAL
direct_p5_w2_G1	exit=0	720 s	IDENTICAL
grass_p11_w10_G1	exit=0	1 s	IDENTICAL
grass_p11_w2_G1	exit=0	1 s	IDENTICAL
grass_p11_w2_G2	exit=0	1 s	IDENTICAL
grass_p11_w2_OS14	exit=0	1 s	IDENTICAL
grass_p11_w2_OS15	exit=0	1 s	IDENTICAL
grass_p11_w3_G1	exit=0	1 s	IDENTICAL
grass_p13_w2_G1	exit=0	4 s	IDENTICAL
grass_p13_w2_G2	exit=0	3 s	IDENTICAL
grass_p13_w2_OS14	exit=0	3 s	IDENTICAL
grass_p13_w2_OS15	exit=0	3 s	IDENTICAL
grass_p13_w3_G1	exit=0	3 s	IDENTICAL
grass_p13_w5_G1	exit=0	3 s	IDENTICAL
grass_p17_w2_G1	exit=0	18 s	IDENTICAL
grass_p17_w3_G1	exit=0	18 s	IDENTICAL
grass_p17_w3_G2	exit=0	18 s	IDENTICAL
grass_p19_w2_G1	exit=0	38 s	IDENTICAL
grass_p19_w2_G2	exit=0	38 s	IDENTICAL
grass_p23_w5_G1	exit=0	140 s	IDENTICAL
grass_p23_w5_G2	exit=0	140 s	IDENTICAL
grass_p3_w1_G1	exit=0	1 s	IDENTICAL
grass_p3_w2_G1	exit=0	0 s	IDENTICAL
grass_p3_w2_G2	exit=0	0 s	IDENTICAL
grass_p3_w2_OS14	exit=0	0 s	IDENTICAL
grass_p3_w2_OS15	exit=0	0 s	IDENTICAL
grass_p5_w2_G1	exit=0	0 s	IDENTICAL
grass_p5_w2_G2	exit=0	0 s	IDENTICAL
grass_p5_w2_OS14	exit=0	0 s	IDENTICAL
grass_p5_w2_OS15	exit=0	0 s	IDENTICAL
grass_p5_w4_G1	exit=0	0 s	IDENTICAL
grass_p7_w2_G1	exit=0	0 s	IDENTICAL
grass_p7_w3_G1	exit=0	0 s	IDENTICAL
grass_p7_w3_G2	exit=0	0 s	IDENTICAL
grass_p7_w3_OS14	exit=0	0 s	IDENTICAL
grass_p7_w3_OS15	exit=0	0 s	IDENTICAL
grass_p7_w6_G1	exit=0	0 s	IDENTICAL
group_p3_G1_w1	exit=0	25 s	IDENTICAL
group_p3_G1_w2	exit=0	24 s	IDENTICAL
group_p3_G2_w2	exit=0	25 s	IDENTICAL
own_p11_G2	exit=0	5 s	IDENTICAL
own_p11_w10_G1	exit=0	5 s	IDENTICAL
own_p11_w1_G1	exit=0	5 s	IDENTICAL
own_p11_w2_G1	exit=0	5 s	IDENTICAL
own_p11_w3_G1	exit=0	5 s	IDENTICAL
own_p11_w4_G1	exit=0	5 s	IDENTICAL
own_p11_w5_G1	exit=0	5 s	IDENTICAL
own_p11_w6_G1	exit=0	6 s	IDENTICAL
own_p11_w7_G1	exit=0	5 s	IDENTICAL
own_p11_w8_G1	exit=0	6 s	IDENTICAL
own_p11_w9_G1	exit=0	5 s	IDENTICAL
own_p13_G2	exit=0	11 s	IDENTICAL
own_p13_w10_G1	exit=0	11 s	IDENTICAL
own_p13_w11_G1	exit=0	12 s	IDENTICAL
own_p13_w12_G1	exit=0	13 s	IDENTICAL
own_p13_w1_G1	exit=0	12 s	IDENTICAL
own_p13_w2_G1	exit=0	12 s	IDENTICAL
own_p13_w3_G1	exit=0	12 s	IDENTICAL
own_p13_w4_G1	exit=0	12 s	IDENTICAL
own_p13_w5_G1	exit=0	12 s	IDENTICAL
own_p13_w6_G1	exit=0	12 s	IDENTICAL
own_p13_w7_G1	exit=0	12 s	IDENTICAL
own_p13_w8_G1	exit=0	12 s	IDENTICAL
own_p13_w9_G1	exit=0	12 s	IDENTICAL
own_p3_G2	exit=0	0 s	IDENTICAL
own_p3_w1_G1	exit=0	0 s	IDENTICAL
own_p3_w2_G1	exit=0	0 s	IDENTICAL
own_p3_w2_G2	exit=0	1 s	IDENTICAL
own_p5_G2	exit=0	0 s	IDENTICAL
own_p5_w1_G1	exit=0	0 s	IDENTICAL
own_p5_w2_G1	exit=0	0 s	IDENTICAL
own_p5_w3_G1	exit=0	0 s	IDENTICAL
own_p5_w4_G1	exit=0	0 s	IDENTICAL
own_p7_G2	exit=0	1 s	IDENTICAL
own_p7_w1_G1	exit=0	1 s	IDENTICAL
own_p7_w2_G1	exit=0	0 s	IDENTICAL
own_p7_w3_G1	exit=0	0 s	IDENTICAL
own_p7_w4_G1	exit=0	1 s	IDENTICAL
own_p7_w5_G1	exit=0	1 s	IDENTICAL
own_p7_w6_G1	exit=0	0 s	IDENTICAL
own_symbolic	exit=0	1 s	IDENTICAL
own_wrong_input_p17	exit=0	128 s	IDENTICAL
own_wrong_input_p5	exit=0	0 s	IDENTICAL
own_wrong_input_p7	exit=0	2 s	IDENTICAL

== programs writing into the current folder, concatenated runs, summaries
symbolic_check (original/, file symbolic_check.out)	IDENTICAL
square_omega_symbolic (original/, file square_omega_symbolic.out)	IDENTICAL
square_omega_iso (original/, runs (7,3), (11,5), (13,4), (5,2), (3,1) concatenated)	IDENTICAL
vA_symbolic (verification_run_A/scripts/, file vA_symbolic.out)	IDENTICAL
tabulate (verification_run_A/scripts/, python3 tabulate.py ../outputs, against table_all.md)	IDENTICAL
own_summary (verification_run_B/, against own_summary.md)	IDENTICAL

Summary: 108 + 6 = 114 comparisons, all IDENTICAL, all exit statuses 0; the long runs
(vA_grassmann p = 19, 23; own_wrong_input p = 17; own_group_direct p = 5, 720 s), which were not repeated when the note
was written, are included. check_note.py: 197 checks, ALL CHECKS PASSED: True, output identical to the recorded one.
