2afedbecd4cd9779597283715baf3212dbb6888825b61366d73fab6d6fdb2e48  ACCESS-LEDGER.json
8b1de20055918ec2b7388f351ac56dc6492cae99a8c66d6cd21b772b77fbce98  CONTRACT.txt
f07b6a894906dae3e7b604f82a391f6167400bb16fbef6986d885fd476eb5782  MANIFEST.json
66579833ddd8ed3f912bab065222a62538e985df5ea2d3dd0086871abc744a4e  METHODOLOGY.txt
c8cd2de103a6e5194736178a9a4d99664c74b3f8f22dbb6ef961720ed87d368c  ORIGINAL-INSTRUCTION.txt
48cdba49a97aa93d364d3612c83f8aefe3e9428815d62dd80d91d06fd8067e10  PROVENANCE-LIMITATIONS.txt
f90cc65193ca24a8f860b5a8d8aa0b31ffc401b625f713e1a9cad1a92f1a3d49  REPRODUCTION-REPORT.json
85b5f3412ba6a16fad1c3cf527067ef6bd887665f295882480960dc552d64e40  SEAL.json
ee5972a1ec41013f1265fe2992222bd0d138495540b9999fa61907465c67bb53  VERIFICATION-REPORT.json
1e56edd89adfde8347c0a519c8fc626187aa364cc63c80e7433e5ad1eecb32dc  author-control.py
63bade0a3dbd4bced0d0bb9c65924f464c6c228b5ef6afdfb36bf4750cac6fcb  corpus/CONFIG.json
c3052ad281c59c0039ee029cf603ca34b7d860a2573a9d55d5dcf8ee591ad0ea  corpus/development/index.json
8154d513f4754c99aaf39f08f7735df84daba2f97163bc311f3ba821997720a9  corpus/development/inputs.json
26229ede186b311a512c8d57c417e39db8e7d5fa5bcf452e8d0518b240f94bb0  corpus/development/private.json
4abf5bfa758fcbee06b6a4a151e4e7c063bb1cccc05479982f31a1be4f6da9d2  corpus/sealed-test/core-index.json
ff6d66248ac1b2c8f742f3445c7ec1ddfdbaf7ceb4e54f7a0b976f4077ab9ba0  corpus/sealed-test/inputs.json
85095e734fe0ce3188a5d60191cb0a2d52d21207c5121a88e6418ca1860ff863  corpus/sealed-test/invariance-groups.json
d14ee2bb34f9c2d90102daae5b77bce7e2d192f84aea3e669cb2d073fad1bc23  corpus/sealed-test/minimal-pairs.json
8c2a4806e6c26c1f424b43d335ab129f4d8146396a67e72e1f8a8feab9c1d573  corpus/sealed-test/private.json
814bb80dbcbf6d5fafa4bcfb837514699d6cd01d5e2e0c7307dcf389eb3dcee8  generate.py
7f0c3c798446fcccd2465b1b17a6b87a9f59f6b4d453767411d05cdcb798fac4  verify.py
