RERUN_LOG.txt - re-runs of the KOU-8.3 reproducibility package from this folder

Date: 2026-10-22 (UTC times). macOS, Apple arm64. python3 = Python 3.13.5 (standard library); the programs of
the second verification run with Python 3.13.5 and numpy 2.5.2 (written VENV_PYTHON below). Every program was
run with nice -n 10, one at a time (at most three processes on the machine), from the folder given (cwd,
relative to this folder), with its output written to a separate scratch folder, never over a recorded output.
The outputs were then compared with the recorded ones, ignoring running times (progress lines "..", time
fields and the shell timing lines are ignored). Times are wall-clock seconds.

[1] Recorded outputs made in this folder when the note was written
  python3 -I -B check_note.py           -> check_note.out           27.5 s  TOTAL failures: 0
  python3 -I -B check_note.py L 17 6 3  -> check_note_L_17_6_3.out    55.0 s  TOTAL failures: 0
  python3 -I -B check_note.py L 23 6 4  -> check_note_L_23_6_4.out   294.3 s  TOTAL failures: 0
  python3 -I -B check_note.py L 29 6 5  -> check_note_L_29_6_5.out  1038.9 s  TOTAL failures: 0
  /usr/bin/python3 (Python 3.9.6) -I -B check_note.py C: TOTAL failures: 0 (compatibility check, 1.1 s)
  python3 -I -B preg.py 13 4 4 / 19 6 4 / 19 5 5 -> writing_stage_runs/preg_*.out (1.2 s, 19.9 s, 20.3 s)

[2] The original programs (recorded outputs in runs/)
  15:17:28Z orig_sanity exit=0 0.9s  cwd=.  cmd=python3 -I -B sanity.py   => identical up to running times
  15:17:28Z orig_preg_11_5_3 exit=0 1.1s  cwd=.  cmd=python3 -I -B preg.py 11 5 3   => identical up to running times
  15:17:30Z orig_preg_11_4_3 exit=0 0.3s  cwd=.  cmd=python3 -I -B preg.py 11 4 3   => identical up to running times
  15:17:30Z orig_preg_11_4_4 exit=0 1.2s  cwd=.  cmd=python3 -I -B preg.py 11 4 4   => identical up to running times
  15:17:31Z orig_preg_11_4_5 exit=0 3.7s  cwd=.  cmd=python3 -I -B preg.py 11 4 5   => identical up to running times
  15:17:35Z orig_preg_7_3_3 exit=0 0.1s  cwd=.  cmd=python3 -I -B preg.py 7 3 3   => identical up to running times
  15:17:35Z orig_allV_gen_11_4_3 exit=0 0.4s  cwd=.  cmd=python3 -I -B allV_gen.py 11 4 3   => identical up to running times
  15:17:35Z orig_allV_gen_5_3_2 exit=0 0.0s  cwd=.  cmd=python3 -I -B allV_gen.py 5 3 2   => identical up to running times
  15:17:35Z orig_allV_gen_7_4_2 exit=0 0.1s  cwd=.  cmd=python3 -I -B allV_gen.py 7 4 2   => identical up to running times
  15:17:35Z orig_allV_gen_11_6_2 exit=0 44.1s  cwd=.  cmd=python3 -I -B allV_gen.py 11 6 2   => identical up to running times
  15:18:19Z orig_allV_gen_5_2_3 exit=0 0.0s  cwd=.  cmd=python3 -I -B allV_gen.py 5 2 3   => identical up to running times
  15:18:19Z orig_allV_gen_7_2_4 exit=0 0.0s  cwd=.  cmd=python3 -I -B allV_gen.py 7 2 4   => identical up to running times
  15:18:19Z orig_allV_gen_11_3_4 exit=0 0.1s  cwd=.  cmd=python3 -I -B allV_gen.py 11 3 4   => identical up to running times
  15:18:20Z orig_allV_gen_13_2_7 exit=0 0.0s  cwd=.  cmd=python3 -I -B allV_gen.py 13 2 7   => identical up to running times
  15:18:20Z orig_allV_gen_11_2_6 exit=0 0.0s  cwd=.  cmd=python3 -I -B allV_gen.py 11 2 6   => identical up to running times
  15:18:20Z orig_allV_gen_19_5_4 exit=0 41.3s  cwd=.  cmd=python3 -I -B allV_gen.py 19 5 4   => identical up to running times
  15:19:01Z orig_mech_11_4_3 exit=0 0.4s  cwd=.  cmd=python3 -I -B mech.py 11 4 3   => identical up to running times
  15:19:01Z orig_mech_7_4_2 exit=0 0.1s  cwd=.  cmd=python3 -I -B mech.py 7 4 2   => identical up to running times
  15:19:01Z orig_mech_11_6_2 exit=0 44.8s  cwd=.  cmd=python3 -I -B mech.py 11 6 2   => identical up to running times
  15:19:46Z orig_allV exit=0 57.1s  cwd=.  cmd=python3 -I -B allV.py   => identical up to running times
  15:20:43Z orig_family exit=0 168.5s  cwd=.  cmd=python3 -I -B family.py   => identical up to running times
  15:23:32Z orig_allV_gen_17_6_3 exit=0 509.7s  cwd=.  cmd=python3 -I -B allV_gen.py 17 6 3   => identical up to running times
  15:32:02Z orig_rand_pairs_11_4_3_200_w1_1 exit=0 29.7s  cwd=.  cmd=python3 -I -B rand_pairs.py 11 4 3 200 w1 1   => summary line "mode w1 tested 200 witnesses 0", as in runs/rand_pairs_summary.txt
  15:32:31Z orig_rand_pairs_11_4_3_200_sparse_1 exit=0 9.3s  cwd=.  cmd=python3 -I -B rand_pairs.py 11 4 3 200 sparse 1   => summary line "mode sparse tested 200 witnesses 0", as in runs/rand_pairs_summary.txt
  15:32:41Z orig_rand_pairs_11_4_3_200_rand_1 exit=0 69.5s  cwd=.  cmd=python3 -I -B rand_pairs.py 11 4 3 200 rand 1   => summary line "mode rand tested 200 witnesses 0", as in runs/rand_pairs_summary.txt
  15:33:50Z orig_rand_pairs_11_4_4_150_w1_2 exit=0 87.3s  cwd=.  cmd=python3 -I -B rand_pairs.py 11 4 4 150 w1 2   => summary line "mode w1 tested 150 witnesses 0", as in runs/rand_pairs_summary.txt
  15:35:17Z orig_rand_pairs_11_4_4_150_sparse_2 exit=0 29.4s  cwd=.  cmd=python3 -I -B rand_pairs.py 11 4 4 150 sparse 2   => summary line "mode sparse tested 150 witnesses 0", as in runs/rand_pairs_summary.txt
  15:35:47Z orig_rand_pairs_11_4_5_40_w1_3 exit=0 68.2s  cwd=.  cmd=python3 -I -B rand_pairs.py 11 4 5 40 w1 3   => summary line "mode w1 tested 40 witnesses 0", as in runs/rand_pairs_summary.txt

[3] The programs of the two independent verification runs (recorded outputs in independent_runs/)
  15:35:50Z run1_my_exact_11_5_3 exit=0 1.3s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B my_exact.py 11 5 3   => identical up to running times (first_run/out/exact_*.out)
  15:35:51Z run1_my_exact_17_7_3 exit=0 9.4s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B my_exact.py 17 7 3   => identical up to running times (first_run/out/exact_*.out)
  15:36:00Z run1_my_exact_23_9_3 exit=0 42.9s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B my_exact.py 23 9 3   => identical up to running times (first_run/out/exact_*.out)
  15:36:43Z run1_my_exact_29_11_3 exit=0 146.8s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B my_exact.py 29 11 3   => identical up to running times (first_run/out/exact_*.out)
  15:39:10Z run1_my_graded_11_4_3_all exit=0 121.9s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B my_graded.py 11 4 3 all   => identical up to running times (DONE line of first_run/out/graded_11_4_3_all.out)
  15:41:12Z run2_exactB_11_5_3 exit=0 1.6s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactB.py 11 5 3   => identical up to running times
  15:41:14Z run2_exactB_17_7_3 exit=0 0.2s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactB.py 17 7 3   => identical up to running times
  15:41:14Z run2_exactB_23_9_3 exit=0 0.5s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactB.py 23 9 3   => identical up to running times (second_run/run_exactB_23_29.out)
  15:41:14Z run2_exactB_29_11_3 exit=0 1.2s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactB.py 29 11 3   => identical up to running times (second_run/run_exactB_23_29.out)
  15:41:16Z run2_vcheckA_11_4_3_all exit=0 23.8s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B vcheckA.py 11 4 3 all   => identical up to running times
  15:41:39Z run2_vcheckA_17_6_3_nfL exit=0 33.3s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B vcheckA.py 17 6 3 nfL   => identical up to running times
  15:42:13Z run2_vcheckA_17_6_3_nfR exit=0 33.4s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B vcheckA.py 17 6 3 nfR   => identical up to running times
  15:42:46Z run2_vcheckA_19_5_4_nfL exit=0 2.7s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B vcheckA.py 19 5 4 nfL   => identical up to running times
  15:42:49Z run2_vcheckA_23_6_4_nfL exit=0 140.6s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B vcheckA.py 23 6 4 nfL   => identical up to running times
  15:45:09Z run2_vcheckA_29_6_5_nfL exit=0 435.4s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B vcheckA.py 29 6 5 nfL   => identical up to running times
  15:52:25Z run2_vcheckA_13_7_2_nfL exit=0 140.9s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B vcheckA.py 13 7 2 nfL   => identical up to running times

[4] Further programs of the two runs
  15:54:54Z run1_brute exit=0 0.8s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B brute.py   => identical up to running times
  15:54:55Z run1_lift_test_5_3_2_all_0_3_2 exit=0 0.8s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B lift_test.py 5 3 2 all 0 3 2   => identical up to running times
  15:54:55Z run1_lift_test_7_4_2_all_60_2_3 exit=0 6.7s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B lift_test.py 7 4 2 all 60 2 3   => identical up to running times
  15:55:02Z run1_lift_test_11_4_3_forms_0_4_11 exit=0 58.4s  cwd=independent_runs/first_run/mine  cmd=python3 -I -B lift_test.py 11 4 3 forms 0 4 11   => identical up to running times
  15:56:01Z run2_hp_check_11_4_3_600 exit=0 0.8s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 11 4 3 600   => its lines occur identically in the recorded output
  15:56:01Z run2_hp_check_17_6_3_300 exit=0 1.2s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 17 6 3 300   => its lines occur identically in the recorded output
  15:56:03Z run2_hp_check_5_3_2_100 exit=0 0.1s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 5 3 2 100   => its lines occur identically in the recorded output
  15:56:03Z run2_hp_check_7_4_2_100 exit=0 0.2s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 7 4 2 100   => its lines occur identically in the recorded output
  15:56:03Z run2_hp_check_11_6_2_100 exit=0 0.3s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 11 6 2 100   => its lines occur identically in the recorded output
  15:56:03Z run2_hp_check_13_7_2_50 exit=0 0.2s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 13 7 2 50   => its lines occur identically in the recorded output
  15:56:03Z run2_hp_check_19_5_4_100 exit=0 0.6s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 19 5 4 100   => its lines occur identically in the recorded output
  15:56:04Z run2_hp_check_23_6_4_60 exit=0 0.5s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B hp_check.py 23 6 4 60   => its lines occur identically in the recorded output
  15:56:04Z run2_exact_random_general_11_4_4_400 exit=0 4.0s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exact_random_general.py 11 4 4 400   => its lines occur identically in the recorded output
  15:56:08Z run2_exact_random_general_11_4_5_200 exit=0 2.1s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exact_random_general.py 11 4 5 200   => its lines occur identically in the recorded output
  15:56:11Z run2_exact_random_general_11_5_3_200 exit=0 4.7s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exact_random_general.py 11 5 3 200   => its lines occur identically in the recorded output
  15:56:15Z run2_exact_random_general_13_4_4_200 exit=0 2.0s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exact_random_general.py 13 4 4 200   => its lines occur identically in the recorded output
  15:56:17Z run2_depth_check exit=0 0.1s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B depth_check.py   => identical up to running times
  15:56:17Z run2_test_bruteforce exit=0 28.1s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B test_bruteforce.py   => identical up to running times
  15:56:45Z run2_exactA_random_11_4_3_2000 exit=0 14.5s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactA_random.py 11 4 3 2000   => identical up to running times
  15:57:00Z run2_exactA_random_17_6_3_400 exit=0 59.9s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactA_random.py 17 6 3 400   => identical up to running times
  15:58:00Z run2_exactA_random_7_4_2_400 exit=0 0.9s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactA_random.py 7 4 2 400   => identical up to running times
  15:58:01Z run2_exactA_random_11_6_2_400 exit=0 11.1s  cwd=independent_runs/second_run  cmd=VENV_PYTHON -I -B exactA_random.py 11 6 2 400   => identical up to running times

[5] targeted.py
  15:37:42Z orig_targeted exit=0 1688.4s  cwd=.  cmd=python3 -I -B targeted.py
  last line of the re-run: "tested 11190 witnesses 0"; recorded (runs/targeted_11_4_3.out): "tested 11190 witnesses 0"
  (the recorded file is the tail of the output; its progress lines ".. 7400" to ".. 11000" also occur in the
  re-run, whose first line is "x reps 25 candidates 11190")

[6] Not repeated
  allV_gen.py 23 6 4 (recorded 2736 s) and allV_gen.py 29 6 5 (the original run had not finished when the
  package was assembled): covered by check_note.py L 23 6 4 / L 29 6 5 ([1]) and by the second run's
  vcheckA.py 23 6 4 nfL / 29 6 5 nfL ([3]); all give the counts of Table 2 of the note.
  first_run: my_graded.py 17 6 3 forms k 3 (3 x about 4 min) and lift_test.py 17 6 3 / 11 6 2 (8 min; 35 min
  and about 27 GB of memory): not repeated; recorded outputs only.
  second_run: run_validation.sh (about 3 min; its case 13 7 2 was repeated, [3]) and the mutation and orbit
  runs: not repeated; recorded outputs only.

[7] Re-run by the third verification run (22 October 2026, from a copy extracted from source.zip)
  The archive of the package as it stood before that run (sha256 dd47de42...d0c0) was extracted into a new
  folder, and the commands of [1]-[5] were run again from there with nice -n 10, at most four at a time, outputs
  written to a separate folder: check_note.py (A, B, C: 28.3 s; L 17 6 3: 54.7 s; L 23 6 4: 297.0 s; L 29 6 5:
  1028.7 s; C under Python 3.9.6: 1.1 s; all "TOTAL failures: 0"), all original programs of [2] (allV_gen.py 17 6 3:
  511.3 s; family.py: 168.4 s), the writing-stage runs, the programs of the two verification runs listed in [3] and
  [4] (vcheckA.py 29 6 5 nfL: 440.0 s), and targeted.py (1654.6 s, last line "tested 11190 witnesses 0").
  Result: 68 outputs compared, every data line occurs in the recorded outputs (62 outputs identical up to running
  times; the five hp_check.py runs print in addition the fixed line "expected: ..." that run_hp_check.out omits,
  and targeted.py its first line, which the recorded tail omits); the rand_pairs.py summary lines as recorded.
  Commands, times and the line-by-line comparison: independent_run_2/package_rerun.txt.
  allV_gen.py 29 6 5: the original run named in [6] ended at about 17:25 UTC (10671 s) with
  "DONE p=29 n=6 m=5 forms=36723 top_in_Om=30968 sigma_zero=5755 bad=0"; its output was added unchanged as
  runs/allV_gen_29_6_5.out. allV_gen.py 23 6 4 was not repeated (46 min).

[8] Re-runs for Section 6 of the note (Theorem A' and (L1_n); 2026-10-22, about 22:48-23:02 UTC, i.e. 23 October
    local time). Same rules as above: nice -n 10, at most three processes on the machine, outputs written to a
    separate scratch folder and compared with the recorded ones ignoring running times (time fields and the
    shell timing lines). VENV_PYTHON is Python 3.13.5 with numpy 2.5.2.
  The note's programs (cwd = this folder) and the fourth run's programs (cwd = independent_runs/fourth_run):
  22:49:35Z L1check_11_4 exit=0 0.0s  cwd=.  cmd=python3 -I -B L1check.py 11 4   => identical up to running times (runs/L1_checks.out)
  22:49:35Z L1check_17_6 exit=0 0.1s  cwd=.  cmd=python3 -I -B L1check.py 17 6   => identical up to running times (runs/L1_checks.out)
  22:49:35Z L1check_11_5 exit=0 0.0s  cwd=.  cmd=python3 -I -B L1check.py 11 5   => identical up to running times (runs/L1_checks.out)
  22:49:35Z L1check_19_5 exit=0 0.0s  cwd=.  cmd=python3 -I -B L1check.py 19 5   => identical up to running times (runs/L1_checks.out)
  22:49:36Z L1check_13_7 exit=0 0.7s  cwd=.  cmd=python3 -I -B L1check.py 13 7   => identical up to running times (runs/L1_checks.out)
  22:49:36Z L1fast_17_6 exit=0 0.0s  cwd=.  cmd=python3 -I -B L1fast.py 17 6   => identical up to running times (runs/L1_checks.out)
  22:49:36Z L1fast_13_7 exit=0 0.1s  cwd=.  cmd=python3 -I -B L1fast.py 13 7   => identical up to running times (runs/L1_checks.out)
  22:49:37Z L1fast_11_8 exit=0 0.8s  cwd=.  cmd=python3 -I -B L1fast.py 11 8   => identical up to running times (runs/L1_checks.out)
  22:49:56Z L1fast_23_8 exit=0 19.4s  cwd=.  cmd=python3 -I -B L1fast.py 23 8   => identical up to running times (runs/L1_checks.out)
  22:49:57Z L1fast2_23_8 exit=0 0.8s  cwd=.  cmd=python3 -I -B L1fast2.py 23 8   => identical up to running times (runs/L1_checks.out)
  22:49:57Z L1fast2_13_7 exit=0 0.0s  cwd=.  cmd=python3 -I -B L1fast2.py 13 7   => identical up to running times (runs/L1_checks.out)
  22:49:57Z l1matrix_4_11 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1matrix.py 4 11   => identical up to running times (independent_runs/fourth_run/outputs/l1matrix_4_11.out)
  22:49:57Z l1matrix_5_11 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1matrix.py 5 11   => identical up to running times (independent_runs/fourth_run/outputs/l1matrix_5_11.out)
  22:49:57Z l1matrix_5_19 exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1matrix.py 5 19   => identical up to running times (independent_runs/fourth_run/outputs/l1matrix_5_19.out)
  22:49:58Z l1matrix_6_17 exit=0 0.6s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1matrix.py 6 17   => identical up to running times (independent_runs/fourth_run/outputs/l1matrix_6_17.out)
  22:50:04Z l1matrix_7_13 exit=0 5.9s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1matrix.py 7 13   => identical up to running times (independent_runs/fourth_run/outputs/l1matrix_7_13.out)
  22:50:04Z l1matrix_8_23_sample exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1matrix.py 8 23 --sample 60   => identical up to running times (independent_runs/fourth_run/outputs/l1matrix_8_23_sample.out)
  22:50:04Z l1matrix_10_29_sample exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1matrix.py 10 29 --sample 60   => identical up to running times (independent_runs/fourth_run/outputs/l1matrix_10_29_sample.out)
  22:50:04Z l1rank_4_11 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1rank.py 4 11   => identical up to running times (independent_runs/fourth_run/outputs/l1rank_4_11.out)
  22:50:04Z l1rank_5_11 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1rank.py 5 11   => identical up to running times (independent_runs/fourth_run/outputs/l1rank_5_11.out)
  22:50:04Z l1rank_5_19 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1rank.py 5 19   => identical up to running times (independent_runs/fourth_run/outputs/l1rank_5_19.out)
  22:50:05Z l1rank_6_17 exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1rank.py 6 17   => identical up to running times (independent_runs/fourth_run/outputs/l1rank_6_17.out)
  22:50:05Z l1rank_7_13 exit=0 0.6s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1rank.py 7 13   => identical up to running times (independent_runs/fourth_run/outputs/l1rank_7_13.out)
  22:50:05Z l1rank_8_23_sample exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1rank.py 8 23 --sample 3000   => identical up to running times (independent_runs/fourth_run/outputs/l1rank_8_23_sample.out)
  22:50:06Z l1rank_10_29_sample exit=0 0.2s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1rank.py 10 29 --sample 3000   => identical up to running times (independent_runs/fourth_run/outputs/l1rank_10_29_sample.out)
  22:50:06Z l1words_4_11_full exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 4 11 full   => identical up to running times (independent_runs/fourth_run/outputs/l1words_4_11_full.out)
  22:50:06Z l1words_5_11_full exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 5 11 full   => identical up to running times (independent_runs/fourth_run/outputs/l1words_5_11_full.out)
  22:50:06Z l1words_5_19_full exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 5 19 full   => identical up to running times (independent_runs/fourth_run/outputs/l1words_5_19_full.out)
  22:50:06Z l1words_6_17_full exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 6 17 full   => identical up to running times (independent_runs/fourth_run/outputs/l1words_6_17_full.out)
  22:50:06Z l1words_7_13_full exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 7 13 full   => identical up to running times (independent_runs/fourth_run/outputs/l1words_7_13_full.out)
  22:50:10Z l1words_8_23_full exit=0 3.6s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 8 23 full   => identical up to running times (independent_runs/fourth_run/outputs/l1words_8_23_full.out)
  22:50:10Z l1words_8_23_hyp exit=0 0.2s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 8 23 hyp   => identical up to running times (independent_runs/fourth_run/outputs/l1words_8_23_hyp.out)
  22:50:10Z l1words_8_23_A exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 8 23 A   => identical up to running times (independent_runs/fourth_run/outputs/l1words_8_23_A.out)
  22:50:10Z l1words_8_23_B exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 8 23 B   => identical up to running times (independent_runs/fourth_run/outputs/l1words_8_23_B.out)
  22:50:54Z l1words_10_29_A exit=0 43.7s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 10 29 A   => identical up to running times (independent_runs/fourth_run/outputs/l1words_10_29_A.out)
  22:51:38Z l1words_10_29_B exit=0 44.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 10 29 B   => identical up to running times (independent_runs/fourth_run/outputs/l1words_10_29_B.out)
  22:51:40Z l1words_10_7_full exit=0 2.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 10 7 full   => identical up to running times (independent_runs/fourth_run/outputs/l1words_10_7_full.out)
  22:51:40Z cases_check_2_5 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B cases_check.py 2 5   => identical up to running times (independent_runs/fourth_run/outputs/cases_check.out)
  22:51:40Z cases_check_4_11 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B cases_check.py 4 11   => identical up to running times (independent_runs/fourth_run/outputs/cases_check.out)
  22:51:40Z cases_check_6_17 exit=0 0.1s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B cases_check.py 6 17   => identical up to running times (independent_runs/fourth_run/outputs/cases_check.out)
  22:51:41Z cases_check_8_23 exit=0 0.2s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B cases_check.py 8 23   => identical up to running times (independent_runs/fourth_run/outputs/cases_check.out)
  22:51:41Z cases_check_10_29 exit=0 0.3s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B cases_check.py 10 29   => identical up to running times (independent_runs/fourth_run/outputs/cases_check.out)
  22:51:41Z tiny_witness_2_2_--all exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B tiny_witness.py 2 2 --all   => identical up to running times (independent_runs/fourth_run/outputs/tiny_witness.out)
  22:51:41Z tiny_witness_3_2 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B tiny_witness.py 3 2   => identical up to running times (independent_runs/fourth_run/outputs/tiny_witness.out)
  22:51:41Z tiny_witness_3_3 exit=0 0.2s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B tiny_witness.py 3 3   => identical up to running times (independent_runs/fourth_run/outputs/tiny_witness.out)
  22:51:41Z tiny_witness_2_3 exit=0 0.0s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B tiny_witness.py 2 3   => identical up to running times (independent_runs/fourth_run/outputs/tiny_witness.out)
  22:48:57Z l1words_10_29_hyp_part1 exit=0 622.7s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 10 29 hyp --start 0 --end 308033506   => identical up to running times (independent_runs/fourth_run/outputs/l1words_10_29_hyp_part1.out)
  22:48:57Z l1words_10_29_hyp_part2 exit=0 620.5s  cwd=independent_runs/fourth_run  cmd=VENV_PYTHON -I -B l1words.py 10 29 hyp --start 308033506 --end 616067011   => identical up to running times (independent_runs/fourth_run/outputs/l1words_10_29_hyp_part2.out)
    (the two hyperplane pieces ran concurrently with each other and with the commands above, which ran one
     at a time; at most three processes)
  23:01:16Z check_note exit=0 37.6s  cwd=.  cmd=python3 -I -B check_note.py   => new recorded output check_note.out
    (Parts A, B, C: identical to the previous check_note.out up to running times; Part D new; TOTAL failures: 0)
  Not repeated: L1fast2.py 29 10 (2576 s in one process, above the 30-minute limit per process used for these
  re-runs); its sets A and B are covered by l1words.py 10 29 A and B above, and the hyperplane by the two pieces.
  The fourth run's own re-runs of the package's programs (outputs/claim_rerun_L1.out, claim_rerun_preg.out) were
  not repeated as such; the L1 programs are re-run in this section, preg.py in [2].
