{
  "source_input_sha256": "ec7d42d440f7f0ae531cfe9ffcfaed101afad3f95909d1313f0c14509f76bc00",
  "programs": [
    {
      "file": "interval_certificate.cpp",
      "original_file": "supporting/original-audit/checks/interval_certificate_original.cpp",
      "original_sha256": "c3b93c21257ffaa786f4a51c4a7139181bdf0dcd9768021483e42cb4b9a3ed12",
      "sha256": "c3b93c21257ffaa786f4a51c4a7139181bdf0dcd9768021483e42cb4b9a3ed12",
      "byte_identical": true
    },
    {
      "file": "profile_certificate.py",
      "original_file": "supporting/original-audit/checks/profile_certificate_original.py",
      "original_sha256": "70aa31a4dfeaff3bdb8813228f316375b3ed1d7b42f00c0c98ae48cb680267b4",
      "sha256": "70aa31a4dfeaff3bdb8813228f316375b3ed1d7b42f00c0c98ae48cb680267b4",
      "byte_identical": true
    },
    {
      "file": "central_band.py",
      "original_file": "supporting/original-audit/checks/low_bias_exact.py",
      "original_sha256": "4589a08b152b708f12bbb49aad1f6c4860f35224cdf059e84a8af8160ebca209",
      "sha256": "5e4b0414b002272f095062d037817ec140aaed191646db246340efdc81185676",
      "byte_identical": false
    },
    {
      "file": "intermediate_bias.py",
      "original_file": "supporting/original-audit/checks/low_bias_middle_exact.py",
      "original_sha256": "3c75ec2d89b00ee20c594dcb758551e64b37ea6ce4743443e2e8eba6ab80664d",
      "sha256": "f3b84225d9d85126a4adcc3a2e899b7b3f8110259384ff85fdf9ef0b9ea52621",
      "byte_identical": false
    },
    {
      "file": "large_bias.py",
      "original_file": "supporting/original-audit/checks/low-bias-tail.py",
      "original_sha256": "dcbbcd409af5d0efeb1a207eaea50172433428b24a0a37c96d8d8380cdb66f7f",
      "sha256": "b20bdf81cee876e82bd65ec20ca64d5d92973ab07c5c2ae6fd56ed7ab5b03915",
      "byte_identical": false
    },
    {
      "file": "profile_formula_audit.py",
      "original_file": "supporting/original-audit/checks/profile_formula_audit.py",
      "original_sha256": "b846110cb9a8e2b5430e19449c070f582b1f1ffc6ea4d5eb1c1a1b6bc7e0b09a",
      "sha256": "098c5486474386c28edb0cab40d47a9e3257f1e86932e0dbfefa39a8882f9b27",
      "byte_identical": false
    }
  ],
  "extracted_blocks": [
    {
      "file": "data/profile_tables.txt",
      "original_file": "supporting/original-audit/input.md",
      "source_content_lines": [
        266,
        282
      ],
      "content_sha256": "03ee8d5b605548282b737d3660f4afbcc9289ed13ac1896e5e065c732980930a"
    },
    {
      "file": "data/profile_tables.txt",
      "original_file": "supporting/original-audit/input.md",
      "source_content_lines": [
        303,
        320
      ],
      "content_sha256": "b95658497571ae505a7c496ea70ead87d01b60e3881f37c0737248188ede67ca"
    }
  ]
}