1ae939504fe32bda28165381e7b6238892dcf4e9f05d73e50c863b26a0d4d3fd  LICENSE
5e88505e7265701b334c623490023d29d9cfdfb423806763e8e1bf2ed28b80cd  PROOF_AUDIT_SCOPE.md
e40ed0c6583ddaf64269e37009cfa8a60b82638cb2e72a462cec0c92bb85a1a1  README.md
135692b756a3aff0732bb3b40d0ff0434052b64d656f13ae884acde9941c6910  SOURCE_READING_SCOPE.md
38a17acd7c2b320581b7f70562f1dd88ebc5128ab18675b3ccf0946cb83125f8  code/audit_affine_count_substitutions.py
aa27c3d5de1ca16b9d7232c0a56e7cec7f02ec7a3a36c61317808eec439d8b1c  code/audit_integer_perron_substitutions.py
6021e59ee2bc3fa49dbe8ef03f677bdf1c10cbc64f55a64dfcf8c0be54d0580e  code/audit_irreducible_substitutions.py
16440ed708a1d4159eceacd687ade76a4b2489ad3c1c49007440b1a689c51085  code/audit_multiple_slow_modes.py
80729110eb1f1fbcd29ef9d348b0c763d2d9679944ca44742768bb9c3f84753a  code/audit_two_fast_cones.py
4cd4aaa83d00f4919431e5313e985fca0d76a9d39f7515410b3d4841886c340a  code/audit_two_rate_substitutions.py
5a62ca071973c1de54f6d6900f1a6f2085bb06cc8a2074a2885670959df0d0d1  results/affine_count_substitution_audit_20261021.json
eae207591ae55d80837df9de6272430796ea7f4a0140f9e58aa806244c7cca9a  results/integer_perron_substitutions_audit_20261021.json
4ce56fa1b5b973be314f15ef3bb411415cd59cc48165591aff8c7ca7887d40c3  results/irreducible_substitutions_audit_20261021.json
1094c58be0fbf67fdda2ca971b73bd36126c48b1e7e0918ac97ba2cab2c0f3a0  results/multiple_slow_modes_audit_20261021.json
78ec0991325db0869d2a25fa3709a5dfaa1fe98644029f761dfd4cd457eee2c4  results/two_fast_cones_audit_20261021.json
f48256bd8f8b1fa2048fe5db178017242f3279952972b696b0f24fd4ff2203ea  results/two_rate_substitution_audit_20261021.json
