{
  "recorded_source_and_certificate_sha256": {
    "checks/c_bridge.c": "6a806516e1d8696ff8fe9e74248e2982697fec043068bed472845adff494257f",
    "checks/certify_fingerprint.py": "1269e25b9ffea092977c179ac2523450ce987bcf2f6fa31f20c4757451307fc9",
    "checks/check_c_model.py": "6c80e23cb48607d6d85de5616d912859ec2258a38f592afe242822e5442d26ad",
    "checks/fingerprint_certificate.json": "91d313dc7b051146ce5662004d33a3277718f685d3223ccc133522cb9d8346e1",
    "checks/independent_verification.json": "ffec422b25bcb9e0a6b0813f7ebd4069f51223884360b2c600b36f0c57f0acde",
    "checks/manifest.py": "3d1edd07e9fad842bb76657073f9237bbbe269e537c3739143302d1ad5028045",
    "checks/model_checks.json": "dc4b5a9b3b9d377bfa4d96f74db4c9046ea16c348089aca040ec43307f02cee6",
    "checks/run_xeon.sh": "4096c702a5e3c4de89e9eb2a46279100cfd4e0fe5b53e96b2ed3b0f587138c9a",
    "checks/verify_certificate.py": "4855be99988745807db3f90f735b40b5540059f3bb2070c95ea559d39850a171",
    "materials/UMASHObligations.lean": "e9a375a0bc68f48c7bc559e213d0c23d6767189ee80ea039ba8718d86f066935",
    "materials/checks/constants.json": "e918fabfe36d4ed735468f633c943863ddc3687dd812481a7d42feb543407138",
    "materials/checks/exhaustive_lift.json": "4ec229f04e7369e106d4f92edb832530065d31dd7582a7f4070d9e3f6b31e8f3",
    "materials/checks/manifest.json": "4aa5c3fd648ac72a979e0c5c88d0f70463de79cf7cfdde57f2137822a3543c7d",
    "materials/checks/triangular.json": "c60346c0f4b2834125b3c7f39ba1f8c2df90c4409149c331784e6a6fca37e2f7",
    "materials/checks2/enh_high_probe.json": "f1d101b204784a10867f7949fe2a24315608edf0fa565ea93520620e5e92590d",
    "materials/checks2/improve_candidates.json": "68aff02927984b497d5e72c5717dcaeac8cf42b5937e21ad627f239f5fcc678e",
    "materials/checks2/independent_verification.json": "a4302cb41d41a041ceba2e364515e865f14e2ff71d0b8ec65895d0247a731c5f",
    "materials/checks2/manifest.json": "c4cf243daf003308baf63302815ecbfc8cfcf97ccd290f1d48122d5e59c292f2",
    "materials/checks2/open_ph_enh_certificate.json": "10360dffb4aaabec95e192dbf903bbbfec43eac12e600a9c582309a553053b39",
    "materials/checks2/ph_degree_candidates.json": "bb0839416ff67825cd051ff3d52cf04a2a405c1d7d814ba6886cf60f2a244e0c",
    "materials/checks2/ph_enh_candidates.json": "a1264b87e22c6cb18c3e937c2f6f86ea13599fe8b4258b1e47b5aa9c55e9b37f",
    "materials/checks2/quadratic_candidates.json": "6de0cc9bfb5b575162b7378683b7ca370ada40f3be26276e8bba52ea1893f9d8",
    "materials/checks2/small_r_candidates.json": "ce63393e9d13eb25cfcef88f60c523460c7a2b1b2d19459169c39485d5131fb0",
    "materials/checks2/validation.json": "b79c66edcd70bfcfe86893df9c7ef34a558532779b9ae94eb8df23da4dbcd2e2",
    "materials/checks3/independent_verification.json": "131df0811739bc2a16aa641eec37ce30ca60d65e9cb0457497f099cb142a6dc9",
    "materials/checks3/manifest.json": "d0ab05517982c9dd3d951c46fd91de035e877b53d88d7aac2f18e6bf52f4b13d",
    "materials/checks3/primary_certificate.json": "115dd530e417cb51f13339e657e007d240f78b71e1c15e439765506d09a31f80",
    "materials/checks3/validation.json": "78bd501a5f17f6fe3526061b87acdf863de9d6680901773d52ba895a4a1a8380",
    "materials/checks4/enh_certificate.json": "c18dc613bf1612ee39ba00262e833e3aaeefc4b81f5264b08cc6d197aeef0c6f",
    "materials/checks4/envelope_certificate.json": "28efe6941228b38ce321af4e76a538b15fbab48f9ff84d291933b7574d3945f5",
    "materials/checks4/exploratory/bounds_probe.json": "514627207655856d02b44646a852213e154d56e9600a188bf3dbb73efa4b9c2d",
    "materials/checks4/exploratory/candidate_probe.json": "f4091b4a72f66b4f637e650c62caa9724175086bf6e91659717896e7bc4f2a0a",
    "materials/checks4/exploratory/ph_high_probe.json": "3d88bab20941ea181a1730035154744d8ff0d17f4acf18214ccf2ccbe3da682c",
    "materials/checks4/exploratory/tail_prefix_probe.json": "06959acb1a771dd5c954de14de01b1567afd7252065c9c11e3d26e08948c334e",
    "materials/checks4/independent_verification.json": "1a95fd369a587edd553f9889751ce1a6024462b7f73573d5b045711a108e0c12",
    "materials/checks4/manifest.json": "f093c0d4379de29707f24db61745a9a8da1463388d5c460149323e03e9ceb2b1",
    "materials/checks4/mask_certificate.json": "1043c1c672efa83323f6bb16f2473b85efcdc46232545dde6b45db5a5eded200",
    "materials/checks4/ph_high_certificate.json": "3d88bab20941ea181a1730035154744d8ff0d17f4acf18214ccf2ccbe3da682c",
    "materials/checks4/ph_linear_certificate.json": "375921b6c96d10738cdc5f88433b071060a7a5c52c671a69b73e1576753ea2e0",
    "materials/checks4/ph_low_independent.json": "6b35848d5c0d3f36b7952836f9f67977092a6a8af96efcef316677d3f35a5e8d",
    "materials/checks4/ph_low_table.json": "e8384a9403bdcc02c849ecdd09b447257b65b7cedffdec01dca305838e78c2c4",
    "materials/checks4/tail_certificate.json": "06959acb1a771dd5c954de14de01b1567afd7252065c9c11e3d26e08948c334e",
    "materials/checks4/validation.json": "4ad1812b73a44f30b49f137beaac18b97092e39624675eabac9b9d55ad6734aa",
    "materials/umash-enh-verify/certificates/phi.json": "5c1c85fac74a33df6bfe47559d364ab99442b68963112b3aae76a1a499f2c8df",
    "materials/umash-lemma/umash-src/selftest.c": "fff779f284a7c6999422ace22805e5420071a794a0a197144495e33af8c8ad74",
    "materials/umash-lemma/umash-src/umash.c": "aad7d50dcca9d8939a67452788fe7028357a76b125ee7f11d50b622269789409",
    "materials/umash-lemma/umash-src/umash.h": "a0a2a69bdd59a172fd090a7f321d94eecf718b64b63a6ef5962f31c409401291",
    "materials/umash-lemma/umash-src/umash_impl.c": "3ed89ba254d47fcf12bd45ed8f083cc9cd04f8c7ab19e600a1d42f6efeff61fc",
    "materials/umash-lemma/umash-src/umash_long.inc": "802708b3d787ed3e6ff47f85060cd6a1fb03e76e719e2916c0cd5db0c913d40a",
    "materials/umash-lemma/umash.pdf": "6ba1dac8794d78d9b32c8ba41b8334d536f0bd99b65a69fc61894ddbcbf2e47c",
    "materials/umash-lemma/umash_reference.py": "536a19fcb70245154b08714f029ae865e8f9709c5a5f5da14adf9880a1ad1810",
    "materials/umash-subcase-b/verification/results/table.json": "51f8a290810800994a9d21b085ef4f00bcb8bd7b5cba00b9622cff7e04ca0a9e"
  }
}