{
  "algorithm": "SHA-256",
  "excluded": [
    "MANIFEST.json",
    "caches"
  ],
  "files": [
    {
      "path": "AI_PROVENANCE.json",
      "bytes": 1560,
      "sha256": "141430707161035de41961b43b168c994b04ffea5c3acbfbb8c1e69cc9dd2437"
    },
    {
      "path": "code/audit_certificates.py",
      "bytes": 6100,
      "sha256": "3cccacd362518b7060d1cefd9d74dd79555c3a4ab28be7dac2b5d82c0094ab62"
    },
    {
      "path": "code/check_family.py",
      "bytes": 1900,
      "sha256": "0abf3c57e6391e4626dd35114e29d65a8553d622540df7c85da09ef81515f417"
    },
    {
      "path": "code/check_normal_form.py",
      "bytes": 2516,
      "sha256": "e5a08c6715354ce2ca80b8089bfe575f1dc8ded91243e4c233ac517e8e3632c4"
    },
    {
      "path": "code/check_prior_art_dictionary.py",
      "bytes": 3864,
      "sha256": "7348ca65accd81e22af0325b0c1672cd4ce72ee22da07cc8b9f0237e78cacdce"
    },
    {
      "path": "code/check_uniform_identities.py",
      "bytes": 6869,
      "sha256": "39e38d990c5df8bc8c4ec26a374d024e58825e340a36f5aba755d917110d1b61"
    },
    {
      "path": "code/laurent_core.py",
      "bytes": 2808,
      "sha256": "a0c5dae12bd3629d59e9f0affa2cbd455ca297b2b74d4af8249974ee063f3047"
    },
    {
      "path": "code/replay_independent_audit.py",
      "bytes": 4546,
      "sha256": "554cb9c48363ada4880866d5d691be43e7b41fe7f59134b3809e73c2c9b41038"
    },
    {
      "path": "code/run_all.py",
      "bytes": 881,
      "sha256": "afe4dd3d3dd000f338ba7a6ea2371e2566527e3e3e78d51db2c4a31ae810aec6"
    },
    {
      "path": "independent_review/check_claims_independent.py",
      "bytes": 3525,
      "sha256": "e476d58b221dd7c6acf737ee894e2e9585c44d8bbf5a1d3eb9f41b43928a1b6c"
    },
    {
      "path": "independent_review/check_normal_form_symbolic.py",
      "bytes": 1892,
      "sha256": "946ca50bc5e95c87855c53f03357440ed0f11ab5b4fa384293092eb65be9f1f8"
    },
    {
      "path": "independent_review/check_outer_independent.py",
      "bytes": 1780,
      "sha256": "239d755d11e72d1253feb5e3367736c17d1e3b9352bc9a706e3b8cbaa404fe8c"
    },
    {
      "path": "input_certificates/d4_weight_alt_certificate.json",
      "bytes": 33197,
      "sha256": "353491b1bcfa5b35a474d9b37e5d91cb6c5fe99f4225e9bfffd9b57d92fe850c"
    },
    {
      "path": "input_certificates/d4_weight_certificate.json",
      "bytes": 33344,
      "sha256": "3ce6f35d235bc23080857ee08088f2a76a32a829751317fabe928d8cc207fcac"
    },
    {
      "path": "input_certificates/d5_weight_alt_certificate.json",
      "bytes": 53788,
      "sha256": "926522926be1acc4853ee704afc8ffafedffe703702c2474a96f0981a7c7cd6d"
    },
    {
      "path": "input_certificates/d5_weight_certificate.json",
      "bytes": 53935,
      "sha256": "f73d4db4b7de38c62f59ee4907fbd432eee7a3d7725ddf3f7cc5a07d41de765a"
    },
    {
      "path": "input_certificates/d6_weight_certificate.json",
      "bytes": 79758,
      "sha256": "418710f8fcaf471de4b6d831cbd222de77d805bc52d49ff7bfd5a424bf933a1e"
    },
    {
      "path": "input_certificates/d7_weight_certificate.json",
      "bytes": 110477,
      "sha256": "cf1ede42862eda8f8f21649de146433afb9516ba4c8ed9bc6a00d8fa89d86a5c"
    },
    {
      "path": "README.json",
      "bytes": 2546,
      "sha256": "d69aa3d185a27052ed0eca22a6916c832050b6743c5cb4428732a28c4e491b0e"
    },
    {
      "path": "results/family_check.json",
      "bytes": 273,
      "sha256": "79ba56e9f9002fcd965d3b1f18eb9b931291e35bc33ac7dc37ccde7cbd1883b6"
    },
    {
      "path": "results/independent_certificate_audit.json",
      "bytes": 3425,
      "sha256": "f5d8b28589bcc875ab4c059a2b3c105cebe9dc6d81267ce5b30897eb30b51016"
    },
    {
      "path": "results/normal_form_checks.json",
      "bytes": 3585,
      "sha256": "c9e7b5a962e9a3003bb6509e11850d344af36e1b39d5f296730e1679894f810c"
    },
    {
      "path": "results/prior_art_dictionary_checks.json",
      "bytes": 762,
      "sha256": "a75233cf61cbca4504652157dd1b8e1086448884ce04ace820c6792924a4b610"
    },
    {
      "path": "results/received_audit_replay.json",
      "bytes": 2495,
      "sha256": "5bf6cd4e3d5d0d3b3b0d0dd01b82516b74e8779a495a87281d772a5af23952ae"
    },
    {
      "path": "results/uniform_identity_checks.json",
      "bytes": 533,
      "sha256": "31fb14c278811ce79569a7b44e85e15672f497da664ea617e04a8bf55ba19ece"
    }
  ]
}