2026-10-14  sh run_note.sh  (Python 3.13.5, sympy 1.14)
reproduced: test_tc
reproduced: nilp_check
reproduced: certificates
reproduced: crosscheck_perm
reproduced: invariants
reproduced: noniso
ALL OUTPUTS REPRODUCED
