Re-run of the reproducibility package of the note on Kourovka Notebook Problem 17.91 (third verification run,
2026-10-27). source.zip of the package as it was before this run was extracted into an empty folder; every program
listed below was run from there with GAP 4.16.1 (SmallGrp 1.7.0, PrimGrp 4.0.3) under nice -n 10, at most four
processes at a time, output to a separate folder (stdout and stderr together); parse_A.py with Python 3 and sympy.
Not re-run: verification_run_B/B_dl_check.g (a sampling check of DerivedLength, about 29 minutes of CPU time).
The rc fields of the lane log below are not meaningful (they record the exit status of date); completion is shown
by the outputs themselves. parse_A.py was first started with a Python without sympy, which stopped at the import;
it was then run with sympy (output summarised below).

Start and end times (UTC) of the GAP programs (lane names are those of the run):
  start R3 scripts:run_gap3_768_1.g 14:48:18
  start R4 scripts:run_gap3_768_2.g 14:50:15
  start R1 .:check_note.g 14:51:06
  start R2 verification_run_A:ver.g 14:53:43
  end   R2 verification_run_A:ver.g 14:53:43 rc=0
  start R2 verification_run_A:own1.g 14:53:43
  end   R1 .:check_note.g 14:54:17 rc=0
  start R1 scripts:cert1296.g 14:54:17
  end   R1 scripts:cert1296.g 14:54:17 rc=0
  start R1 scripts:cert41472.g 14:54:17
  end   R1 scripts:cert41472.g 14:54:18 rc=0
  start R1 scripts:lemma5.g 14:54:18
  end   R1 scripts:lemma5.g 14:54:20 rc=0
  start R1 scripts:run_gap3_1296.g 14:54:20
  end   R1 scripts:run_gap3_1296.g 14:54:22 rc=0
  start R1 scripts:explore1.g 14:54:22
  end   R1 scripts:explore1.g 14:54:23 rc=0
  start R1 scripts:explore2.g 14:54:23
  end   R1 scripts:explore2.g 14:55:30 rc=0
  start R1 scripts:explore3.g 14:55:30
  end   R2 verification_run_A:own1.g 14:56:11 rc=0
  start R2 verification_run_A:own2.g 14:56:11
  end   R1 scripts:explore3.g 14:56:21 rc=0
  start R1 scripts:explore4.g 14:56:21
  end   R1 scripts:explore4.g 14:56:24 rc=0
  start R1 scripts:explore5.g 14:56:24
  end   R1 scripts:explore5.g 14:56:26 rc=0
  start R1 scripts:run_gap3_A.g 14:56:26
  end   R2 verification_run_A:own2.g 14:57:14 rc=0
  start R2 py:verification_run_A:parse_A.py:../outputs/run_gap3_A.out 14:57:14
  end   R2 py:verification_run_A:parse_A.py:../outputs/run_gap3_A.out 14:57:14 rc=0
  start R2 verification_run_B:B_cert1296.g 14:57:14
  end   R2 verification_run_B:B_cert1296.g 14:57:14 rc=0
  start R2 verification_run_B:B_cert41472.g 14:57:14
  end   R2 verification_run_B:B_cert41472.g 14:57:15 rc=0
  start R2 verification_run_B:B_crosscheck_lattice.g 14:57:15
  end   R2 verification_run_B:B_crosscheck_lattice.g 14:57:18 rc=0
  start R2 verification_run_B:B_describe1296.g 14:57:18
  end   R2 verification_run_B:B_describe1296.g 14:57:19 rc=0
  start R2 verification_run_B:B_primitive.g 14:57:19
  end   R2 verification_run_B:B_primitive.g 14:57:21 rc=0
  start R2 verification_run_B:jobs/J11_1296.g 14:57:21
  end   R2 verification_run_B:jobs/J11_1296.g 14:57:23 rc=0
  start R2 verification_run_B:jobs/J10_rest.g 14:57:23
  end   R2 verification_run_B:jobs/J10_rest.g 14:58:18 rc=0
  start R2 verification_run_B:jobs/J09_1152.g 14:58:18
  end   R1 scripts:run_gap3_A.g 15:02:17 rc=0
  LANE R1 DONE 15:02:17
  end   R2 verification_run_B:jobs/J09_1152.g 15:02:54 rc=0
  LANE R2 DONE 15:02:54
  start R5 verification_run_B:jobs/J01_1280a.g 15:02:55
  start R6 verification_run_B:jobs/J02_1280b.g 15:03:05
  end   R3 scripts:run_gap3_768_1.g 15:06:22 rc=0
  start R3 scripts:run_gap3_1280_1.g 15:06:22
  end   R4 scripts:run_gap3_768_2.g 15:09:22 rc=0
  start R4 scripts:run_gap3_1280_2.g 15:09:22
  end   R5 verification_run_B:jobs/J01_1280a.g 15:11:35 rc=0
  start R5 verification_run_B:jobs/J03_1280c.g 15:11:35
  end   R6 verification_run_B:jobs/J02_1280b.g 15:12:04 rc=0
  start R6 verification_run_B:jobs/J04_1280d.g 15:12:04
  end   R5 verification_run_B:jobs/J03_1280c.g 15:20:53 rc=0
  start R5 verification_run_B:jobs/J05_768a.g 15:20:53
  end   R6 verification_run_B:jobs/J04_1280d.g 15:22:20 rc=0
  start R6 verification_run_B:jobs/J06_768b.g 15:22:20
  end   R3 scripts:run_gap3_1280_1.g 15:25:17 rc=0
  LANE R3 DONE 15:25:17
  end   R5 verification_run_B:jobs/J05_768a.g 15:29:13 rc=0
  start R5 verification_run_B:jobs/J07_768c.g 15:29:13
  end   R4 scripts:run_gap3_1280_2.g 15:30:00 rc=0
  LANE R4 DONE 15:30:00
  end   R6 verification_run_B:jobs/J06_768b.g 15:30:56 rc=0
  start R6 verification_run_B:jobs/J08_768d.g 15:30:56
  end   R5 verification_run_B:jobs/J07_768c.g 15:38:11 rc=0
  LANE R5 DONE 15:38:11
  end   R6 verification_run_B:jobs/J08_768d.g 15:40:02 rc=0
  LANE R6 DONE 15:40:02

verification_run_A/ver.g (no recorded output in the package):
  GAP 4.16.1  smallgrp 1.7.0  primgrp 4.0.3
  NumberSmallGroups 768 1090235 1280 1116461 1296 3609 1152 157877
  orders <= 2000 not in library: [ 1024 ]

verification_run_A/parse_A.py ../outputs/run_gap3_A.out (Python 3 with sympy): 10 lines of output; summary:
  expected orders: 961 found: 961
  missing: []
  extra: []
  incomplete ranges: []
  orders with d>=5 groups (order, count, maxgap, hits): [(432, 1, 2, ''), (648, 3, 2, ''), (864, 2, 2, '')]
  HIT lines: []
  bad: []
  total groups in these orders: 284845

Comparison with the recorded outputs (rerun_compare.py):
  IDENTICAL    check_note.out 
  IDENTICAL    outputs/cert1296.out 
  IDENTICAL    outputs/cert41472.out 
  IDENTICAL    outputs/lemma5.out 
  IDENTICAL    outputs/run_gap3_1296.out 
  IDENTICAL    outputs/run_gap3_A.out 
  IDENTICAL    outputs/run_gap3_768_1.out 
  IDENTICAL    outputs/run_gap3_768_2.out 
  IDENTICAL    outputs/run_gap3_1280_1.out 
  IDENTICAL    outputs/run_gap3_1280_2.out 
  IDENTICAL    outputs/explore1.out (records compared as multisets)
  IDENTICAL    outputs/explore2.out (records compared as multisets)
  IDENTICAL    outputs/explore3.out (records compared as multisets)
  IDENTICAL    outputs/explore4.out (records compared as multisets)
  IDENTICAL    outputs/explore5.out (records compared as multisets)
  IDENTICAL    verification_run_A/own1.out 
  IDENTICAL    verification_run_A/own2.out 
  IDENTICAL    verification_run_B/out/B_cert1296.out 
  IDENTICAL    verification_run_B/out/B_cert41472.out 
  IDENTICAL    verification_run_B/out/B_crosscheck_lattice.out 
  IDENTICAL    verification_run_B/out/B_describe1296.out 
  IDENTICAL    verification_run_B/out/B_primitive.out 
  NOT RE-RUN   verification_run_B/out/B_dl_check.out
  IDENTICAL    verification_run_B/out/J01_1280a.out 
  IDENTICAL    verification_run_B/out/J02_1280b.out 
  IDENTICAL    verification_run_B/out/J03_1280c.out 
  IDENTICAL    verification_run_B/out/J04_1280d.out 
  IDENTICAL    verification_run_B/out/J05_768a.out 
  IDENTICAL    verification_run_B/out/J06_768b.out 
  IDENTICAL    verification_run_B/out/J07_768c.out 
  IDENTICAL    verification_run_B/out/J08_768d.out 
  IDENTICAL    verification_run_B/out/J09_1152.out 
  IDENTICAL    verification_run_B/out/J10_rest.out 
  IDENTICAL    verification_run_B/out/J11_1296.out 
  re-run outputs identical to the recorded ones (after normalisation): 33, different: 0, not re-run: 1
