RERUN_LOG.txt -- re-runs of 9 October 2026 (Python 3.13.5, mpmath 1.3.0, macOS, one laptop), made in the
course of verification run 3

Part 1.  Output of `sh run_quick.sh`, run from an extracted copy of the archive (before this log was added;
total time about 11 minutes).
"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/ (programs written with the note)
passed                check_paper.py (TOTAL failures: 0)
identical             writing_stage/period_table_T12.txt
passed                check_symmetric.py (TOTAL failures: 0)
identical             writing_stage/check_symmetric_output.txt
identical             writing_stage/figures_tikz.tex
== original/ (programs with which the results were first obtained)
identical             original period_table.txt
identical             original period_table.py 12 = writing_stage/period_table_T12.txt
identical             original verify_regions.txt
identical             original verify_engines.txt
identical             original verify_model.txt
identical             original verify_irrational_float.txt
identical             original verify_mirror_float.txt
identical             original long_cases.txt
identical             original billiard_float_examples.txt
identical             original verify_theorems_TB3.txt
identical             original verify_theorems_TGa.txt
identical             original verify_theorems_TGb.txt
== verification_run_A/
identical             A chord_by_chord.txt
identical             A cmp_table.txt
identical             A formula2_check.txt
identical             A lshape_check.txt
identical             A test_gexact_small.txt
identical             A test_rauzy.txt
identical             A compare_rational.txt
identical             A examples_table.txt
identical             A t2_undecided.txt
identical             A t2_longcheck.txt
identical             A t2_converse.txt
identical             A t2_quad_pilot.txt
identical             A t2_rauzy_quad.txt
identical             A t2_rauzy_quad2.txt
identical             A t2_rauzy_quad_wide.txt
identical             A t2_rauzy_cbrt2.txt
identical             A t2_rauzy_cbrt22.txt
identical             A t2_rauzy_cbrt2_wide.txt
identical             A t2_rauzy_cbrt3.txt
identical             A t2_rauzy_pi.txt
identical             A t2_rauzy_pi2.txt
identical             A t2_rauzy_pi_wide.txt
identical             A t2_rauzy_e.txt
identical             A t2_rauzy_e2.txt
identical             A t2_rauzy_ln2.txt
identical             A t2_rauzy_liouville.txt
identical             A t2_rauzy_liouville2.txt
identical             A t2_rauzy_liouville_wide.txt
identical             A t2_rauzy_bigcf.txt
identical             A t2_rauzy_bigcf2.txt
identical             A t2_rauzy_bigcf_wide.txt
== verification_run_B/
identical             B t_smoke.txt
identical             B t5_cases.txt
identical             B parts_rule.txt
identical             B regions_irr.txt
identical             B case_i_independent.txt
identical             B float_random.txt
identical             B float_stratified.txt
identical             B table12_float.txt
identical up to times B t4_cases.txt
identical up to times B long_case.txt
identical up to times B scan_b.txt
identical up to times B scan_c.txt
identical up to times B scan_d.txt
identical up to times B scan_t5.txt
identical up to times B scan_sumrat.txt
identical up to times B scan_d_large_p.txt
identical             B period_table_v2_T12.txt
identical             B period table = writing_stage/period_table_T12.txt
identical             B period_table_v2_T7.txt
identical             B prop7_permutation.txt
identical             B regions_T12.txt
identical             B lemmaC_bruteforce.txt
== independent_run_3/ (verification run 3)
identical             run 3 billiard_direct_examples.txt
identical             run 3 reduced_exact_examples.txt
passed                compare_run3.py (TOTAL failures: 0)
identical             run 3 compare_run3.txt
== done: 0 comparison(s) not identical

Part 2.  Slow programs, run separately with the commands listed in README.md, from an extracted copy of the
archive as it was before the folder writing_stage/ got its present name and before independent_run_3/ was
added; the programs and the recorded outputs concerned (in original/, verification_run_A/ and
verification_run_B/) are the same files in both states.

identical             original verify_theorems.py TA            -> original/outputs/verify_theorems_TA.txt   (179 s)
identical             original scan_general.py                  -> original/outputs/scan_general.txt   (201 s)
identical             original verify_theorems.py T0 TC TB3 TGa: the four result lines equal those of
                      original/outputs/verify_theorems_all.txt   (32 s)
identical up to times A test_rauzy2.py -> test_rauzy2.txt: the recorded file has three additional lines
                      with running times   (80 s)
identical             A t2_quadratic.py OUT 2 20000 20000000 any   -> t2_quad_any.txt (6 processes)   (261 s)
identical             A t2_quadratic.py OUT 3 6000 20000000 small  -> t2_quad_small.txt (6 processes)   (153 s)
identical             A examples_irrational.py OUT                 -> examples_irrational.txt   (483 s)
identical up to times B scan_thm4.py open 6 -> scan_open.txt (1,155 pairs; 5 processes)   (541 s)
identical             B scan_stats.py <outputs> -> scan_stats.txt

Period tables for denominators <= 12 (231 pairs): writing_stage/period_table_T12.txt, the output of
original/scripts/period_table.py 12, and verification_run_B/outputs/period_table_v2_T12.txt are identical files,
MD5 74a4e8a629d0a2671cac24976b3f5386.  independent_run_3/compare_run3.py computes the 231 lists again and
compares them with this file (part E of its output).
