{
  "recorded_source_and_certificate_sha256": {
    "checks/certify_enh_weights.py": "31ab43c8014f5ef92281b37cba7f17730ad1924638a90eb8329890365039131a",
    "checks/certify_envelope.py": "91c2021a976e61ed742de8ffc31b5de54bff09d6e038d6091b54cd9f2baebafa",
    "checks/certify_ph_high.py": "fc65c9ccc4c5df7e31f7568db93c11334d53ed8c48d0477f2f7c9ab9269c0eb8",
    "checks/certify_ph_linear.py": "3413c32758de44c7eff2ba8217dd3d62d0d57d5dfbf0b9c5f84be165898264ea",
    "checks/certify_tail.py": "e0788849c5011f10bc986df06c5530a40ea2e6a7adebdfd25783907d394f4bd2",
    "checks/enh_certificate.json": "c18dc613bf1612ee39ba00262e833e3aaeefc4b81f5264b08cc6d197aeef0c6f",
    "checks/envelope_certificate.json": "28efe6941228b38ce321af4e76a538b15fbab48f9ff84d291933b7574d3945f5",
    "checks/exact_common.py": "8c9903b0ed3e4f5d9418f0c800ba524083f8f2e2959019ec0bcca57e146d4310",
    "checks/independent_verification.json": "1a95fd369a587edd553f9889751ce1a6024462b7f73573d5b045711a108e0c12",
    "checks/manifest.py": "54c72c4c8cc6355b31cc94ab2d7c316efd062cf6ccb7969f65e43410d6fd47a5",
    "checks/mask_certificate.json": "1043c1c672efa83323f6bb16f2473b85efcdc46232545dde6b45db5a5eded200",
    "checks/masks.h": "faed065aebce3f25b727298e390db9d06a5bc9d10a69700b6734529ce187bf86",
    "checks/ph_high_certificate.json": "3d88bab20941ea181a1730035154744d8ff0d17f4acf18214ccf2ccbe3da682c",
    "checks/ph_linear_certificate.json": "375921b6c96d10738cdc5f88433b071060a7a5c52c671a69b73e1576753ea2e0",
    "checks/ph_low_independent.json": "6b35848d5c0d3f36b7952836f9f67977092a6a8af96efcef316677d3f35a5e8d",
    "checks/ph_low_table.cpp": "f858de626c9ad660c52992c70ce4a2a5a9d9f6a9eecf069ee52cded0cbce6872",
    "checks/ph_low_table.json": "e8384a9403bdcc02c849ecdd09b447257b65b7cedffdec01dca305838e78c2c4",
    "checks/prepare_masks.py": "30871986514eb38a79bbcb346f9d6a5df3d342374b299b9e159f68849f96f5de",
    "checks/run_xeon.sh": "4be620d69b55642f239f2010dcc6cbbb6e9b11377ea1695f6332995ee43f667d",
    "checks/tail_certificate.json": "06959acb1a771dd5c954de14de01b1567afd7252065c9c11e3d26e08948c334e",
    "checks/validate_new.cpp": "d90fafb05245b02bc812966e616f688fa22fff292aff5503fb1040623ea4b5f7",
    "checks/validation.json": "4ad1812b73a44f30b49f137beaac18b97092e39624675eabac9b9d55ad6734aa",
    "checks/verify_certificates.py": "556a761d0ae01189a007e6479d0f12cfc11787fe52c9210f390c400a20c12db5",
    "checks/verify_ph_low.cpp": "7fe93c78baddbb84c65823c039346cb2f689023356d75bde0a540509968b5e7f",
    "materials/UMASHObligations.lean": "e9a375a0bc68f48c7bc559e213d0c23d6767189ee80ea039ba8718d86f066935",
    "materials/umash-lemma/umash.pdf": "6ba1dac8794d78d9b32c8ba41b8334d536f0bd99b65a69fc61894ddbcbf2e47c",
    "materials/umash-lemma/umash_reference.py": "536a19fcb70245154b08714f029ae865e8f9709c5a5f5da14adf9880a1ad1810"
  }
}