ce17f01e5a8550c69058d7372a6b4ced902e7f7b03877930613710645bd2dfd5  ACCESS-LEDGER.json
d50f1a2fadd283b767c99c87d8302a2654ff2c839ec0e830b1fffc708e194885  COMPLETION-METHOD.txt
5d741e5da3aeba515d9d64452a1f1024a3f21175b3707fbc474ee2095dc2fcf6  CONFIG.json
357015cdb13728015f4c2f21e2316e17efac31c670fa8f0f2ef2d9b07a046061  DEVELOPMENT-VERIFICATION.json
2f08177dc408e44dfaa36501c09b0b73c1887ff221b5b61156f191f1f32df0ee  MANIFEST.json
bfb75fcc195dfa4433ff489423cc1ae59a13b939b0feb6f540f3f2b0c2a0e854  ORIGINAL-INSTRUCTION.txt
a4495067e8386a4a560c7f5776f3a561fdd334b311ebf2a42494b707c437e8ad  PROVENANCE-LIMITATIONS.txt
39dac018ad1fd523092f85703d63f4fe1287ffe7bcc6b8380bad61ff2432442a  REPRODUCTION-REPORT.json
4365c2432ac21ef80c85bf6dd31fbc63e5621cd0fbf3121d9247374648cae9eb  SEAL.json
3b4439457c592640c3c2ca268ff55ed8eacbefcc35034a09a6180f71827a6ada  SOURCE-PROVENANCE.json
8b1de20055918ec2b7388f351ac56dc6492cae99a8c66d6cd21b772b77fbce98  archive/original-CONTRACT.txt
66579833ddd8ed3f912bab065222a62538e985df5ea2d3dd0086871abc744a4e  archive/original-METHODOLOGY.txt
48cdba49a97aa93d364d3612c83f8aefe3e9428815d62dd80d91d06fd8067e10  archive/original-PROVENANCE-LIMITATIONS.txt
c3052ad281c59c0039ee029cf603ca34b7d860a2573a9d55d5dcf8ee591ad0ea  archive/original-development-index.json
8154d513f4754c99aaf39f08f7735df84daba2f97163bc311f3ba821997720a9  archive/original-development-inputs.json
26229ede186b311a512c8d57c417e39db8e7d5fa5bcf452e8d0518b240f94bb0  archive/original-development-private.json
e20c81eadd43e14cbc9ce78f03c5b6f97f2f93bb369ee20edf302142d88fb901  completion.py
7b2a3149302c51b21690194fef5b3430b4234262153d8141fb02f64318e843ee  development/completion-groups.json
995b5392e821f8794c7dcf04f8dbcf88d6ea73ac6044b2bafa64b7f4733b96ed  development/equivalence-certificates.json
83fe616102581f2bce91d9c9949249f2254d7ea7a6c579ffe1e9dbb58e98c9e7  development/inputs.json
b9aa035e5c748220131e16ebdb583bd44011e836ec4b786922665dfc0210757d  development/representation-index.json
b281019ce3411a705200d7f87d33c0f3ad7ee7a16e810f33de0847385b19b4e5  formal-functions.py
4c597b87baa8a782588cba804b856e5702a9804691c825e82e3cbd51a38a9165  format-functions.py
