[
  {
    "relative_path": "baseline/ORIGINALS_BEFORE.json",
    "sha256": "941d4a7c5e293b7541a2ffc4b36d5bbb1a47d4878001a735f6a56013ae971e85"
  },
  {
    "relative_path": "baseline/PRESERVATION_RECEIPT.json",
    "sha256": "02938afd7e0eb45afaf2a11e5da810012051a475f207d78202a60a1934afa285"
  },
  {
    "relative_path": "baseline/PROVENANCE.json",
    "sha256": "8e5313cafa68f7af9c7f43014bef2098673407821645fcd9a9dfe024cffbdf72"
  },
  {
    "relative_path": "baseline/README.txt",
    "sha256": "f25e6ac63f46ea215a73e2509b1e89c0b0a450de0aae794e61c28ebb5e840962"
  },
  {
    "relative_path": "baseline/REVIEW_REQUEST.txt",
    "sha256": "057892b783839050339a16fdad85035cdfbf502899dfec009455802a30f29241"
  },
  {
    "relative_path": "literature/FINAL_LITERATURE_REFRESH.txt",
    "sha256": "519991a6d5cc5b4f37dcb8c682075ed00f773713cd63cc13c6d1a21432d14cae"
  },
  {
    "relative_path": "manuscript/main.pdf",
    "sha256": "5f2799f141c9a052bdf6c0e04ef03d266bd0ca5840f45ae6ae2bdcc7c918cd27"
  },
  {
    "relative_path": "manuscript/main.tex",
    "sha256": "63d71dce68ca261f600f91a048696b3b381c35f6c97781948e96219e7d49d04b"
  },
  {
    "relative_path": "PRESERVATION_RECEIPT.json",
    "sha256": "d217149639c0b85fe7e0fa7163a5f6030aeb5dffc66fd58b61485a59603ae080"
  },
  {
    "relative_path": "proof/GENERAL_PROOF.txt",
    "sha256": "c041807f92005436abdfae2c10ec583f17453903c4acbc7d7ec0d5d2763b9ef8"
  },
  {
    "relative_path": "proof/ODD_PRIME_CHECKPOINT.txt",
    "sha256": "68615793e7cdb6cee5e9fc4ed3d55eb3f0bbd65a14744c514db8425e988fe1b0"
  },
  {
    "relative_path": "PROVENANCE.json",
    "sha256": "28ebcf977322b0b72ee338c4973ba2f08c68a31a3c1715d94f288ece1f4b26c3"
  },
  {
    "relative_path": "README.txt",
    "sha256": "f7cad8d3e27a27e7026ed005a69f37a7e834719a05ae9c300778f6dc103bf67c"
  },
  {
    "relative_path": "review/ATTRIBUTION_AND_PROOF_REVISION_REVIEW.txt",
    "sha256": "323431ccd859c94701eee492d3ea2ed203b8bbdce34ffb834d3ecb09c04522be"
  },
  {
    "relative_path": "review/baseline/CODE_AUDIT.txt",
    "sha256": "3389fb43b21af8d135e2c885fce989c45229cf3606e2e9d399d0d5d0b372aab5"
  },
  {
    "relative_path": "review/baseline/compilation.log",
    "sha256": "b1f3d1c2498e4258a6d2097d2a4b4cfb367ff98961f885a758f7918a17ce769d"
  },
  {
    "relative_path": "review/baseline/FINAL_ODD_PRIME_PROOF_AUDIT.txt",
    "sha256": "ba61e096e14a2e7b4439c9e0f6bf89e9821647b4dfbbffc89b2a3f66a2588eca"
  },
  {
    "relative_path": "review/baseline/layout_check.json",
    "sha256": "8ff692e78373a890057cac2d13232e3052aa0870a2e5dcfdc3cbce26f955bd1a"
  },
  {
    "relative_path": "review/baseline/MANUSCRIPT_ATTRIBUTION_REVIEW.txt",
    "sha256": "076e143e6b3c4a00aa6e3678308c6dfac54b34f1cbef451769a6138bba60112a"
  },
  {
    "relative_path": "review/baseline/MANUSCRIPT_PROOF_REVIEW.txt",
    "sha256": "1a954614280589cd92c93e4f570d4bc44e44d04a77a81f97863e248306144978"
  },
  {
    "relative_path": "review/baseline/ODD_PRIME_ESCAPE_REVIEW.txt",
    "sha256": "8bc1fd50e64a8dadcd9260f3f5894958c4a5861296fc1b16b316e55c51e64751"
  },
  {
    "relative_path": "review/baseline/ODD_PRIME_LEARNER_REVIEW.txt",
    "sha256": "084ba8ccc04620d9010bfeb3d2e5a637e5ffb87c1ac3aab6831722c45508bda3"
  },
  {
    "relative_path": "review/baseline/ODD_PRIME_ORIGINALITY.txt",
    "sha256": "93ec4f3550bb14f05dafdb963e0c73cd7cfa85a38d9bf3c1820648ae0dcf1243"
  },
  {
    "relative_path": "review/baseline/publisher-code-and-replay.txt",
    "sha256": "7a08995b9bf51fba708c69fa7a1d4174a8b7d2d3628e317a8cfa6a1f693c9871"
  },
  {
    "relative_path": "review/baseline/publisher-full-assessment.txt",
    "sha256": "9908e3e76723c0756e45809a431797d241ee8717f96f3f4364237fb6e4c51122"
  },
  {
    "relative_path": "review/baseline/publisher-originality-and-value.txt",
    "sha256": "25b15d72f03be0f275d271861538e40e33c12d8ae17f479531f8ae72eb839704"
  },
  {
    "relative_path": "review/baseline/publisher-proof-and-claims.txt",
    "sha256": "d24f75eb2b5c8d37832a6b3babab5ad10cdf1ecd5343f1dfacfe600098ea1ab2"
  },
  {
    "relative_path": "review/baseline/publisher-publisher-independent-reading.txt",
    "sha256": "340c2544456e0532d59d403bad2160e7976e057cca36341a20b5d0dbca3935e1"
  },
  {
    "relative_path": "review/baseline/REVIEW_DISPOSITION.txt",
    "sha256": "28afc4445ce48133beabba8c34862e9576e6eba12bc25e8055e7d6638e4050c1"
  },
  {
    "relative_path": "review/CODE_REVISION_REVIEW.txt",
    "sha256": "94375efa13371c84671bc1fa510bbe0aed57e2db072ca7e84d20364893195c3f"
  },
  {
    "relative_path": "review/compilation.log",
    "sha256": "917890ca1c109464aba08abd9e6998adca5c449a9e487477270c508a797a5c88"
  },
  {
    "relative_path": "review/layout_check.json",
    "sha256": "3e1f086a0561a2a6d4e73407bb13348a2a8af17827129c13eaeb0607e3b9e13c"
  },
  {
    "relative_path": "review/manuscript.diff",
    "sha256": "dd159cd476b315e4e15f2a66423dedcef004899636b2dcc884117efed238416d"
  },
  {
    "relative_path": "review/REVISION_DISPOSITION.txt",
    "sha256": "69ea8a36cae290c9322b57375f92b9bbd5e684873b1b9d0e233de464126e1cd6"
  },
  {
    "relative_path": "REVIEW_REQUEST.txt",
    "sha256": "e98900b84962639b5b51d849cee5fdb2dea0abb95536d60b6854098683b18e84"
  },
  {
    "relative_path": "REVISION_NOTES.txt",
    "sha256": "7af32367bee0ab4044adf504fa69112fc5ec9dc55edd2f787732a5c8d052fe8c"
  },
  {
    "relative_path": "verification/baseline/fresh_independent_dense_pvm_results.json",
    "sha256": "4c6925a516ac151b48a0414048909a5644ef05c7bcf90bafa26bb4d09f557990"
  },
  {
    "relative_path": "verification/baseline/fresh_odd_prime_diagnostics.json",
    "sha256": "e3369591236e84300900e543f2b05c63fdd804186bd007c55fa24ceeb5490c89"
  },
  {
    "relative_path": "verification/baseline/full_replay.log",
    "sha256": "245b76dc3ce663d8bd3cfae19dc0577346b7cc765ce190a76f794fef816fdd92"
  },
  {
    "relative_path": "verification/baseline/independent_dense_pvm_results.json",
    "sha256": "4c6925a516ac151b48a0414048909a5644ef05c7bcf90bafa26bb4d09f557990"
  },
  {
    "relative_path": "verification/baseline/odd_prime_diagnostics.json",
    "sha256": "834bc544a6c0391da730892c024782cdab7145705158941a0aa373253d0b5c47"
  },
  {
    "relative_path": "verification/baseline/REPLAY_RECEIPT.json",
    "sha256": "9b2bf4ee2d8b5032acc5d380f24c8e0d562828930744d311cebcc742f745ae23"
  },
  {
    "relative_path": "verification/child-failure-controls.json",
    "sha256": "182e5167d9ba814b3b0f5aed9ffb91e0cf5556938fe02d8ab0b54d0e143d1ccc"
  },
  {
    "relative_path": "verification/independent-p7.json",
    "sha256": "ba8d95d1db2819b8e243f4b3116fb608ca1fba2cc939677e7ef4a8a42dbcb8bf"
  },
  {
    "relative_path": "verification/independent_dense_pvm.py",
    "sha256": "e7807590f869271d09f1c09cf5347c19ec39b48c1c2b4bd511e0700db6d2ce2e"
  },
  {
    "relative_path": "verification/independent_dense_pvm_results.json",
    "sha256": "4c6925a516ac151b48a0414048909a5644ef05c7bcf90bafa26bb4d09f557990"
  },
  {
    "relative_path": "verification/independent_p7.py",
    "sha256": "2c6b8309656a971432a46ed173beab60c82217a7277733c445975d52ff36d33c"
  },
  {
    "relative_path": "verification/odd_prime_diagnostics.json",
    "sha256": "e3369591236e84300900e543f2b05c63fdd804186bd007c55fa24ceeb5490c89"
  },
  {
    "relative_path": "verification/odd_prime_diagnostics.py",
    "sha256": "8fc7f17008d02ebb1d62ee0cd690e7bafe0308e5b4d9eadfd02d2549e0dc91c6"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-case-collision.log",
    "sha256": "d0a37909fe318d3eb77ad9ded5d51e3bdbc64f915c3068518bafd673b68d96ea"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-changed-file.log",
    "sha256": "4aac692ff926748428f8043c5d058e6c6ef45d2a75082a27e1179c7fadc7112d"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-duplicate-json-key.log",
    "sha256": "dd6c340a44858d800e92ea9a5bac92b158e7fe81f735ed62ca9883291a5c9fdb"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-duplicate-path.log",
    "sha256": "3a1879dad920a2684c53b1235bb7f7f70bf8ca241adcd16f17b7a82cdd9a7b7f"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-empty-list.log",
    "sha256": "14a894185f71c16d206407b33189665bced39b83513656b7b6266c43c6575591"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-extra-file.log",
    "sha256": "91e0e9e205a3a60c1e3b3304628f08379754a0e305c28019f0f693205702ed49"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-false-dense-environment-optimized.log",
    "sha256": "0cfeefdabe110a40d33fff0909184c029f391b041dd997ad2550ff8a84845779"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-false-dense-optimized.log",
    "sha256": "42fb07865ccc74b0be3899ac0eda25f35a3f53b5136dbd13ff540424fa7430fe"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-false-dense-ordinary.log",
    "sha256": "d70a33faa2c6ae775a42096a7abba089109839f406844b99dc5da77808225058"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-false-escape-environment-optimized.log",
    "sha256": "40266b95ee7320f643d76612f9b8d4e2f7bf5e3ec09a896debdc42651d83c409"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-false-escape-optimized.log",
    "sha256": "f99ca641be9fcb05ce55d5a1839c2cb3d0d90637143896268e386c6a0c5f727a"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-false-escape-ordinary.log",
    "sha256": "55f9e06240b44c7c557d4ba9f9608d5ba21cdff7c93663e13d4d6716934c6b63"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-full-replay-environment-optimized.log",
    "sha256": "4c7a3b2f89f105eb4b27d45b1b34a5047c9fa450165c765b4265a081130a6246"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-full-replay-optimized.log",
    "sha256": "0d082be8614a23c8add96702caa1d37a06c42d957adf90672e0e98cb691e3e14"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-full-replay-ordinary.log",
    "sha256": "22b799a961e44bc836974472f6b943bf0ecc2f507f726d174e28b40dd8ad3eaa"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-integrity-valid.log",
    "sha256": "08f7a564e0e11765b4b35aeca339bee9425f41d582304a2cf214a0e853fb2ee5"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-invalid-json.log",
    "sha256": "4763aaa46bf2f3f37f9b8aab9b04024cb62aa1c7249726bfe1c6c0b68988c263"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-invalid-sha.log",
    "sha256": "77f5b9ec77e7f618871fd5ecb6007269498b68db61a78f8d39587371895d8fc9"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-missing-entry-key.log",
    "sha256": "64e0c281913c90d9518140d14888e65ba8c1fd9b0079f3915f9e785aca409c98"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-missing-file.log",
    "sha256": "d5f6077b760c0cfb8f311abf71009efebb3d88ebfb4f990825e84252f19a3465"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-nondictionary-entry.log",
    "sha256": "2dcacfc9f1f5b7eb27303b6822bcfe45710b7e9f0e4b4329f0a93f9764424901"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-nonstring-sha.log",
    "sha256": "77f5b9ec77e7f618871fd5ecb6007269498b68db61a78f8d39587371895d8fc9"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-top-level-object.log",
    "sha256": "14a894185f71c16d206407b33189665bced39b83513656b7b6266c43c6575591"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unknown-entry-key.log",
    "sha256": "64e0c281913c90d9518140d14888e65ba8c1fd9b0079f3915f9e785aca409c98"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-control-character.log",
    "sha256": "817bbc8a3ab5b69a8d287fc1047eb76e08a862a5310be4454818608053506e42"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-dot.log",
    "sha256": "c81303da8d4198e8b789c9eb0e87ac3f2900bb2053324560b492ce4330433226"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-double-slash.log",
    "sha256": "d2831e13742dfe019decc803e4b2c582d26289d8dffe04bb93992bd4a0061b84"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-empty.log",
    "sha256": "8d9ac0c94aebe90720c3c2c7a0161b72b27830db0830b75387cdca5850063289"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-nested-parent.log",
    "sha256": "604f9e7ed8c6d0c1768a389b691459249adc3ab71e171fd8924559d372fa632a"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-nonstring.log",
    "sha256": "2d8dd389ffc31356f6afb8fb5f30270f4c209114a58030cb9f925f1bc4189f92"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-parent.log",
    "sha256": "621610f80b766d3cd7b80b05b3bc7df97be3621e8861e115124c909774cfd98e"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-posix-absolute.log",
    "sha256": "eff4768b4a29aa7085e02839f25d1fc6807b6884ee4e209901907262f0f4f7da"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-self-manifest.log",
    "sha256": "4007afde3c9802750f5cf6e681ec21465c81cb566e9d3cd14ff5288a6b25d082"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-backslash.log",
    "sha256": "d6ace1fc3679ceaf3bb3817d836b238314c5abd972a9ad3094a1070a5032b9e7"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-console-device.log",
    "sha256": "cdad1c1eea519e5298e8e541da5ac097cd2e37f5867b60cdac0db807771f827c"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-device.log",
    "sha256": "487f559364b6abce04f5d35e66433bb109238d5e068b4b00a4e5d1e83c609f76"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-drive-relative.log",
    "sha256": "d958cae3d39d4cb9378293ccd765b4984ba9e4cda2e169e5a734290150315cb5"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-drive.log",
    "sha256": "67728872e26a2bdf745c127f30af9ea76b33b314de02b444cf7e0776576974c1"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-spaced-device.log",
    "sha256": "21e3a3d31e51a52296eb5240c23ade3f453d3974176e5d97ae9a2be0e2bfb7bd"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-stream.log",
    "sha256": "15f5c09f1819022cd62ceb2052bc97e8fe8fe7631b1dfedbf49ad46ce5558314"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-trailing-dot.log",
    "sha256": "ae46169ed5db88191c3df858644deab36d8fe5557636827540cde36d2cee4f8f"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-trailing-space.log",
    "sha256": "5b88223e64bd061675a28d868632854f5e5e7762f4cf09680e4c5a3de1bbeea9"
  },
  {
    "relative_path": "verification/replay_logs/code-audit-unsafe-windows-unc.log",
    "sha256": "e07a83df14e583740ba761a1aeeffd1c71359bcbd8e93a7f4c820eaf95589428"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-inherited-optimized-independent_dense_pvm.log",
    "sha256": "ff4d719a8fcdd2ff348673f0b7ecf2ef905f0f99918ca3fef4aeb4eb9330e0dd"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-inherited-optimized-odd_prime_diagnostics.log",
    "sha256": "245b76dc3ce663d8bd3cfae19dc0577346b7cc765ce190a76f794fef816fdd92"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-optimized-independent_dense_pvm.log",
    "sha256": "ff4d719a8fcdd2ff348673f0b7ecf2ef905f0f99918ca3fef4aeb4eb9330e0dd"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-optimized-odd_prime_diagnostics.log",
    "sha256": "245b76dc3ce663d8bd3cfae19dc0577346b7cc765ce190a76f794fef816fdd92"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-ordinary-independent_dense_pvm.log",
    "sha256": "ff4d719a8fcdd2ff348673f0b7ecf2ef905f0f99918ca3fef4aeb4eb9330e0dd"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-ordinary-odd_prime_diagnostics.log",
    "sha256": "245b76dc3ce663d8bd3cfae19dc0577346b7cc765ce190a76f794fef816fdd92"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-dense-inherited-optimized.log",
    "sha256": "ab3fe20c7a787d7d4914925c5c1159be311ee5fec33e4f18e7e235293d52cc80"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-dense-optimized.log",
    "sha256": "f1af79ec7810d537a697d36a8f53faf011b353e6b4ef29a8a5ddd479a206e037"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-dense-ordinary.log",
    "sha256": "d3c5c13527ea915affaa2495d9e53e8a4c087da8b8c01e12ca1938517efc0060"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-escape-inherited-optimized.log",
    "sha256": "897d341a80ef7ad1fe7e47e046cbb76ae3d24c7a5d8e5a5b555954a1bcdb7690"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-escape-optimized.log",
    "sha256": "1937b30f4757d5750643885b7f5458bf1cf20e47c512363eda03e1894fc4c4a4"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-escape-ordinary.log",
    "sha256": "646b373769e9d4a5e9cf3adb14e5b054d40e8ee960c797996b1f1c0ab625b754"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-wrapper-inherited-optimized.log",
    "sha256": "31c8a59cd33f0f60cbfb65155e445eeca83661c8311e9a5de6052d4b33148fde"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-wrapper-optimized.log",
    "sha256": "cbe373496dd2d55ec8c9b3c69037e6bc502686f825adad4d5ed4a3153b04b639"
  },
  {
    "relative_path": "verification/replay_logs/replay-audit-reject-false-wrapper-ordinary.log",
    "sha256": "67ee6db0673999d309f9918b5163111da39fd2dab4934113335b73f46da9f058"
  },
  {
    "relative_path": "verification/REPLAY_RECEIPT.json",
    "sha256": "c4845be274b7f9b01e1a12a8481354fe69f82c760635fde60b241a8bb8ee1b97"
  },
  {
    "relative_path": "verification/robustness-receipt.json",
    "sha256": "4a402b1d1821ec3fd2124935905225db955ee2cfe5a8fd3fe007bba75bebcaf5"
  },
  {
    "relative_path": "verification/verifier_robustness_checks.py",
    "sha256": "675b4a30b0652a59e3c9e8ad0669b29a33dc078f2d1792b69eeb7d6becb3dc50"
  },
  {
    "relative_path": "verification/verify_package.py",
    "sha256": "94497876c070e9501656501934764d43aa6466be7555b3998bdecbd0c089184f"
  }
]