RERUN_LOG.txt -- re-runs of 9 October 2026 (Python 3.13.5, numpy 2.5.2, Apple clang 21.0.0, macOS, Apple M3 Max,
one process), made when the note was written

Part 1.  Output of `sh run_quick.sh`, run from an extracted copy of the archive (total time 7 minutes 15 seconds,
17:02:32 to 17:09:47 UTC).  After this run only texts were changed in the archive: this log was added, the stated
duration was corrected in one comment line of run_quick.sh and in README.md, and main.tex and
verification_report.md received their last wording changes.  All programs and all recorded outputs of the archive
are those of this run.
"passed": the program ended with "TOTAL failures: 0".  "identical": the new output is byte-identical to the
recorded file.  "identical up to times": identical after removing the fields that record running times.

== writing_stage/ (the program of the note)
passed                check_note.py (TOTAL failures: 0)
identical up to times writing_stage/check_note_output.txt
== original/ (the programs with which the results were first obtained)
identical             original verify_m9.txt
identical             original verify_family.txt
identical             original verify_m9_polygon.txt
identical             original witness_pants.txt
identical             original validate_twists.txt
identical             original check_counts.txt
identical             original allcycles.txt
identical             original check_normalisation.txt
identical             original g2orbit_M9_full.txt
identical             original g2orbit_n8_survivors_witness.txt
identical             original g2search_n2_mode0.txt
identical             original g2search_n2_mode1.txt
identical             original g2search_n3_mode0.txt
identical             original g2search_n3_mode1.txt
identical             original g2search_n4_mode0.txt
identical             original g2search_n4_mode1.txt
identical             original g2search_n5_mode0.txt
identical             original g2search_n5_mode1.txt
identical             original g2search_n6_mode0.txt
identical             original g2search_n6_mode1.txt
identical             original g2search_n7_mode1.txt
identical             original regfull_A5.txt (regular)
identical             original regfull_PSL2_7.txt (regular)
identical             original regfull_A6.txt (regular)
identical             original regfull_PSL2_8.txt (regular)
identical             original regfull_PSL2_11.txt (regular)
identical             original regfull_PSL2_13.txt (regular)
identical             original regfull_PSL2_17.txt (regular)
identical             original regfull_A7.txt (regular)
identical             original regfull_PSL2_19.txt (regular)
identical             original regfull_PSL2_16.txt (regular)
identical             original regfull_PSL3_3.txt (regular)
identical             original regfull_PSU3_3.txt (regular)
identical             original regfull_PSL2_23.txt (regular)
identical             original regfull_PSL2_25.txt (regular)
identical             original regfull_M11.txt (regular)
identical             original regfull_PSL2_27.txt (regular)
identical             original regfull_natural_A5.txt
identical             original regfull_natural_PSL2_7.txt
identical             original regfull_natural_A6.txt
identical             original regfull_natural_PSL2_8.txt
identical             original regfull_natural_A7.txt
identical             original regfull_natural_AGL2_3.txt
identical             original regfull_natural_PGammaL2_8.txt
identical             original regfull_natural_PGammaL2_9.txt
identical             original regfull_natural_S5_on_pairs.txt
identical             original regfull_natural_AGL1_11.txt
identical             original regfull_natural_M11.txt
identical             original regfull_natural_F3_2_Q8.txt
identical             original regfull_natural_F5_2_Q8.txt
identical             original regfull_natural_F7_2_Q8.txt
identical             original regfull_natural_F11_2_Q8.txt
identical             original make_groups.py: all group files
== verification_run_A/
identical up to times A vA_step1_groups.out
identical up to times A vA_step2_mcg.out
identical up to times A vA_step3_orbit_allhoms.out
identical up to times A vA_step4_cutglue.out
identical up to times A vA_step5_subgroups_pants.out
identical up to times A vA_step7_extras.out
identical up to times A vA_step8_conventions.out
identical up to times A vA_step9_genus3_recipe.out
== verification_run_B/
identical             B hb_n2.out
identical             B hb_n3.out
identical             B hb_n4.out
identical             B hb_n5.out
identical             B hb_n6.out
identical             B hb_n7.out
identical             B hb_n8.out
identical             B hb_n9.out
identical             B hb_n4_verify.out
identical             B hb_n5_verify.out
identical             B hb_n6_verify.out
identical             B hb_n7_verify.out
identical             B twists_check.out
identical             B family_check.out
identical             B genus3_test_p3.out
identical             B mygroups.py: all group files
identical             B orb_AFF_3_Q8.out
identical             B kappa_AFF_3_Q8.out
identical             B orb_AFF_5_Q8.out
identical             B kappa_AFF_5_Q8.out
identical             B orb_AFF_7_Q8.out
identical             B kappa_AFF_7_Q8.out
identical             B orb_AGL2_3.out
identical             B orbreg_A5.out
identical             B orbreg_PSL2_7.out
identical             B orbreg_A6.out
identical             B orbreg_PSL2_8.out
identical             B orbreg_PSL2_11.out
identical             B orbreg_PSL2_13.out
== number of differences: 0

Part 2.  Slow programs, run separately (one process each, from a copy of the package; 16:35 to 16:47 UTC).

verification_run_B/programs:  cc -O2 -o hb hb.c;  ./hb 10
    240.67 s real, 238.02 s user (recorded run: 237.17 s; 5.5 GB of memory)
    identical             B hb_n10.out
verification_run_A/programs:  python3 vA_step6_genus3.py      (after steps 1 to 5 of run_quick.sh)
    180.84 s real
    identical up to times A vA_step6_genus3.out
verification_run_B/programs:  cc -O2 -DWIDE -o orb16 orb.c;  ./orb16 groups/M11.txt natural mine
    160.50 s real, 158.25 s user (recorded run: 172.69 s)
    identical             B orb_M11_natural.out
    (orb compiled without -DWIDE does not accept this group, which has more than 4095 elements; it stops with
    the message "bad file")
verification_run_B/programs:  python3 genus3_test.py 7 1500 200000
    10.22 s real
    identical             B genus3_test_p7.out
verification_run_B/programs:  ./hb 9      (measured again for the memory use)
    9.16 s real, 0.38 GB of memory
    identical             B hb_n9.out

Not repeated when the note was written: g2search for n = 7 in mode 0 and for n = 8 in mode 1; regsearch and
regorbit; orb for the groups AFF_11_Q8, AFF_11_Dic3, AFF_11_SL23, AFF_13_Q8, AFF_7_Q16, PSL2_16, PSL2_23, PSL2_25,
PSL2_27, PSL3_3, PSU3_3, S4 to S7, A7, PSL2_17, PSL2_19 and the comparison of the two generating sets; kappa.py for
the groups other than AFF_3_Q8, AFF_5_Q8, AFF_7_Q8.  Their recorded outputs are included as they were produced.


Part 3.  Re-runs of the final verification run (9 October 2026; Python 3.13.5, numpy 2.3.1, Apple clang 21.0.0,
macOS, one process), from an extracted copy of the archive as it was before that run.

sh run_quick.sh python3
    passed                check_note.py (TOTAL failures: 0)
    91 outputs compared: 82 identical, 9 identical up to the fields that record running times
    == number of differences: 0
    (the complete list of the 91 lines is in independent_run_2/outputs/package_rerun_log.txt)
verification_run_B/programs:  ./hb 10
    241.07 s real, 5.5 GB of memory
    identical             B hb_n10.out
verification_run_B/programs:  cc -O2 -DWIDE -o orb16 orb.c;  ./orb16 groups/M11.txt natural mine
    171.61 s real, 3.6 GB of memory
    identical             B orb_M11_natural.out

After the corrections of the texts required by that run, sh independent_run_2/run_all.sh was run from an extracted
copy of the final archive (one process, 5 minutes): == number of differences: 0.
