9642bff5f261a089c83bc39ead2ca4f8062c5400e9aaec0c85154ee0d2a7aaf5  files/LICENSE.md
b26ce008a208e634eda33914ba2b2e5ece89b8bed934914faab41c52138e90ce  files/LICENSE_STATUS.json
1bfe996d8b8214c72ef2c6136e06a060ec49e8820b6645a660f71532ae378624  files/README.md
3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a  files/current_continuation/licenses/NOTICE.md
3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a  files/inherited_baseline/current_continuation/licenses/NOTICE.md
b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1  files/inherited_baseline/original_releases/block27/privatechecks/block26_independent/external_sources/LICENSE
b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1  files/inherited_baseline/original_releases/block27/privatechecks/block27_independent/external_sources/LICENSE
3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a  files/inherited_baseline/original_releases/residue_counting/licenses/NOTICE.md
ccce6fc50bc2c300d987aa870a199494867a6c52e119b49d7b17c100a0213652  files/manuscript/Paper_X_Block27_Amended.tex
cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30  files/production_replay/third_party/LICENSE.AINTLIB.txt
03137d45dbdbfea4af5a57805cd608b4d4044f0c10c72bbb7e72427f5cd9d669  files/production_replay/third_party/NOTICE_PROVENANCE.json
4d1488777f93fe72b701bdf4d9b5bf064c0d008efc4c56ecd5a90c2da51f2092  files/publication/pdfs/Paper_X_Lean_Guide_Final.pdf
ae8a83ce63ac10d54b6fa23016987dc61d1758e30da047ce3c94f57e4e0b5868  files/publication/pdfs/Paper_X_Traditional_Final.pdf
60fd88b945ff7a300e8de09364cd3fe1e5c4e1439b6ccb0cda6b0558fd5fcf9d  files/publication/pdfs/Paper_X_Visual_Guide_Final.pdf
309db0467546e53fc3cd47717acc45fb09eea95d06605f35550f16187af3541e  files/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json
ce647d834db6e4adb75c7b6db8ece17bacd2323e4e1fd0e5821286bbfaef3b6a  files/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt
