{
  "proof_files": [
    {
      "path": "logs/repro/fixed_attempt_1.json",
      "sha256": "0a9379ed049cc4ede537a62a6eaa83675fc71ddafefc3ee366f20678e5e883e4",
      "size": 5235
    },
    {
      "path": "logs/repro/fixed_attempt_2.json",
      "sha256": "a330655ab893e6da10e50132fda5100f695d496902dc8d91e9926d86b3b4e6e5",
      "size": 5235
    },
    {
      "path": "logs/repro/vulnerable_attempt_1.json",
      "sha256": "f7246db46ac8da4f45a9a73f4247a3dba1bfa4416b397fce41d3713f92d5dbd5",
      "size": 9125
    },
    {
      "path": "logs/repro/vulnerable_attempt_2.json",
      "sha256": "10761a021ec5cb55fe2dbf3247bbc0141881ec182e5ec045a37b71d6c11cbc81",
      "size": 9125
    },
    {
      "path": "logs/repro/summary.json",
      "sha256": "e449a61112380e34d7f2dec732a3bfc80d96483e2099f010da307c6e93daa810",
      "size": 29409
    },
    {
      "path": "logs/repro/patch_presence.log",
      "sha256": "bfec9cdac311d2525c35f88edfbcdf30c0ba17c865551fda07ced2be4456da76",
      "size": 2529
    }
  ]
}