RERUN_LOG.txt -- log of rerun_all.sh, 11 October 2026

The script was run from extracted copies of this package (before this log was added), with Python 3.13.5,
numpy 2.5.2 and sympy 1.14.0, on one laptop (macOS) which was running other jobs at the same time.  The
four groups were run as three parallel jobs from three extracted copies:
    sh rerun_all.sh python writing original
    sh rerun_all.sh python A
    sh rerun_all.sh python B
Each line: result of the comparison with the recorded output, running time in seconds, program.
"identical up to times" means: identical after removal of the fields which record running times.

== writing_stage/ (the program written with the note)
identical              1s  writing_stage/check_note.py
passed                     writing_stage/check_note.py (TOTAL failures: 0)
== original/ (the programs with which the results were first obtained)
identical              1s  original/scripts/01_filling_pairs.py
identical up to times  3s  original/scripts/02_trace_family.py
identical              16s  original/scripts/03_validate_sl2z.py
identical              0s  original/scripts/06_reflection_check.py
identical              0s  original/scripts/07_fibre_check.py
identical up to times  173s  original/scripts/04_examples.py
identical up to times  281s  original/scripts/04_example_genus2.py
identical up to times  357s  original/scripts/05_johnson_check.py
number of outputs that differ from the recorded ones: 0

== verification_run_A/
identical              54s  verification_run_A/vA_01_model.py
identical              6s  verification_run_A/vA_02_traces.py
identical              2s  verification_run_A/vA_03_enumerate.py
identical              0s  verification_run_A/vA_05_fibres.py
identical              2s  verification_run_A/vA_06_pingpong.py
identical              0s  verification_run_A/vA_07_primitivity.py
identical              133s  verification_run_A/vA_04_instances.py
identical up to times  635s  verification_run_A/vA_08_big_instances.py (24 cases)
number of outputs that differ from the recorded ones: 0

== verification_run_B/
identical              1s  verification_run_B/scripts/vb01_topology.py
identical              0s  verification_run_B/scripts/vb02_twists.py
identical              0s  verification_run_B/scripts/vb03_holonomy_gamma.py
identical up to times  2s  verification_run_B/scripts/vb04_johnson.py 5 2
identical up to times  10s  verification_run_B/scripts/vb04_johnson.py 7 3
identical up to times  15s  verification_run_B/scripts/vb04_johnson.py 7 3 1
identical up to times  7s  verification_run_B/scripts/vb04_johnson.py 7 3 2
identical up to times  40s  verification_run_B/scripts/vb05_validate_sl2.py
identical              0s  verification_run_B/scripts/vb06_instances.py small
identical up to times  28s  verification_run_B/scripts/vb06_instances.py full
identical              0s  verification_run_B/scripts/vb06b_check_fastkeys.py
identical up to times  1s  verification_run_B/scripts/vb07_covers.py 4
identical up to times  19s  verification_run_B/scripts/vb07_covers.py 6
identical              1s  verification_run_B/scripts/vb08_lattice_and_words.py
identical              1s  verification_run_B/scripts/vb09_crosscheck_claim_sl2z.py
identical              0s  verification_run_B/scripts/vb10_fibres_reflection.py
identical up to times  6s  verification_run_B/scripts/vb11_enumerate.py
identical              0s  verification_run_B/scripts/vb12_family.py
identical up to times  218s  verification_run_B/scripts/vb04_johnson.py 9 4
number of outputs that differ from the recorded ones: 0


SECOND PART -- re-run by the third verification run, 11 October 2026

The archive of that time (before the third run changed the note and the package) was extracted three times
and the script was run as three parallel jobs, as above (Python 3.13.5, numpy 2.5.2, sympy 1.14.0, the same
laptop, at most six processes at a time):
    sh rerun_all.sh python writing original
    sh rerun_all.sh python A
    sh rerun_all.sh python B
36 comparisons with the recorded outputs: 21 identical, 15 identical up to times, none different.

== writing_stage/ (the program written with the note)
identical              1s  writing_stage/check_note.py
passed                     writing_stage/check_note.py (TOTAL failures: 0)
== original/ (the programs with which the results were first obtained)
identical              1s  original/scripts/01_filling_pairs.py
identical up to times  3s  original/scripts/02_trace_family.py
identical              15s  original/scripts/03_validate_sl2z.py
identical              0s  original/scripts/06_reflection_check.py
identical              0s  original/scripts/07_fibre_check.py
identical up to times  164s  original/scripts/04_examples.py
identical up to times  259s  original/scripts/04_example_genus2.py
identical up to times  279s  original/scripts/05_johnson_check.py
number of outputs that differ from the recorded ones: 0

== verification_run_A/
identical              50s  verification_run_A/vA_01_model.py
identical              6s  verification_run_A/vA_02_traces.py
identical              2s  verification_run_A/vA_03_enumerate.py
identical              0s  verification_run_A/vA_05_fibres.py
identical              1s  verification_run_A/vA_06_pingpong.py
identical              1s  verification_run_A/vA_07_primitivity.py
identical              130s  verification_run_A/vA_04_instances.py
identical up to times  559s  verification_run_A/vA_08_big_instances.py (24 cases)
number of outputs that differ from the recorded ones: 0

== verification_run_B/
identical              1s  verification_run_B/scripts/vb01_topology.py
identical              0s  verification_run_B/scripts/vb02_twists.py
identical              0s  verification_run_B/scripts/vb03_holonomy_gamma.py
identical up to times  2s  verification_run_B/scripts/vb04_johnson.py 5 2
identical up to times  10s  verification_run_B/scripts/vb04_johnson.py 7 3
identical up to times  13s  verification_run_B/scripts/vb04_johnson.py 7 3 1
identical up to times  7s  verification_run_B/scripts/vb04_johnson.py 7 3 2
identical up to times  37s  verification_run_B/scripts/vb05_validate_sl2.py
identical              0s  verification_run_B/scripts/vb06_instances.py small
identical up to times  27s  verification_run_B/scripts/vb06_instances.py full
identical              0s  verification_run_B/scripts/vb06b_check_fastkeys.py
identical up to times  1s  verification_run_B/scripts/vb07_covers.py 4
identical up to times  19s  verification_run_B/scripts/vb07_covers.py 6
identical              2s  verification_run_B/scripts/vb08_lattice_and_words.py
identical              0s  verification_run_B/scripts/vb09_crosscheck_claim_sl2z.py
identical              0s  verification_run_B/scripts/vb10_fibres_reflection.py
identical up to times  6s  verification_run_B/scripts/vb11_enumerate.py
identical              0s  verification_run_B/scripts/vb12_family.py
identical up to times  204s  verification_run_B/scripts/vb04_johnson.py 9 4
number of outputs that differ from the recorded ones: 0


THIRD PART -- the programs of the third verification run (group R2) and check_note.py, 11 October 2026

Run from an extracted copy of the archive, before this part of the log and the last changes of the texts (the
note, the report, the README files) were added; the programs and their recorded outputs are the same files as
in the final archive.  Python 3.13.5, mpmath 1.3.0, the same laptop, one process:
    sh rerun_all.sh python writing R2
The outputs of group R2 are identical byte by byte (running times go to the standard error stream).

== writing_stage/ (the program written with the note)
identical              1s  writing_stage/check_note.py
passed                     writing_stage/check_note.py (TOTAL failures: 0)
== independent_run_2/ (the third verification run; running times go to the files *.err)
identical              1s  independent_run_2/r2_02_twists_lattice.py
identical              1s  independent_run_2/r2_04_covers.py
identical              20s  independent_run_2/r2_05_extra.py
identical              83s  independent_run_2/r2_03_instances.py
identical              767s  independent_run_2/r2_01_seed_and_pairs.py
number of outputs that differ from the recorded ones: 0
