RERUN_run2.txt -- verification run 2 (2026-10-27): re-run of the whole package, made from a copy of
reproducibility/ extracted from the archive of the package (GAP 4.16.1, Python 3.13 with networkx, macOS,
one program at a time, nice -n 10), with r2_rerun_package.sh; outputs in rerun/ of that copy (not included).
Comparison with recorded/ by r2_compare_rerun.py (RESULT lines: group, order, vertices, edges, maximal cyclic
subgroups, chordal, C4, least hole length; summary lines) and by a line diff.

program                       time    result
check_note.g                  11 s    identical to recorded/check_note.out (135 lines; CHECK_NOTE ALL OK: true)
programs/verify_holes.g        1 s    identical after normalisation (timings, line wrapping, Syntax warnings)
programs/cert_m11_python.py   <1 s    identical
programs/cert_families.g       8 s    identical after normalisation (ALL FAMILY CERTIFICATES OK: true)
programs/cert_finite.g        20 s    7 RESULT lines identical; printed holes of J1 and PSU3(3) differ (re-checked)
programs/cert_c4free.g        45 s    46 RESULT lines and the 8 "every maximal subgroup has C4-free E(M): true" identical
programs/cert_c4free2.g       25 s    19 RESULT lines and 2 summary lines identical
programs/cert_j3_tits.g       12 s    9 RESULT lines identical; printed holes differ (re-checked)
programs/cert_ree27.g         81 s    identical after normalisation
programs/cert_sporadic.g      22 s    the same 12 groups, other random C4s, all "induced cycle in E: true"
programs/cert_containments.g   2 s    identical after normalisation
programs/cert_stress.g         1 s    identical after normalisation
programs/cert_sanity.g       236 s    56 RESULT lines identical; ALL AGREE: true
programs/cert_c4free3.g      472 s    with Reset(GlobalMersenneTwister, 2026); Reset(GlobalRandomSource, 2026)
                                      (as in RERUN_LOG.txt): 8 RESULT lines identical
check_c4_direct.g            563 s    triples examined identical for all 14 exhaustive runs (PSU3(23): 12654,
                                      524 s), no C4; controls found a C4 (PSU3(4) after 17 instead of 1 triples);
                                      CHECK_C4_DIRECT ALL AS EXPECTED: true

All recorded summary results were obtained again.
