{
  "lisa_vingerafdruk.py": "cc62dc49c1479835580eb68aa54b631c6cba1252f3fa1568121d89501b8dd1cf",
  "README.txt": "1a3a631f8a449e54f5a88267c152390b26d40ccc2891fa35cdc56a45dbb3349e",
  "vriespunt_24.py": "cea092c0d26efaeb6f47b02ca56048f57eca1b8b87d053242a9cfaf435e85023",
  "mathlib-lake-manifest.json": "cf4120c617b954911e9a03c8bbf86ce82085840c0451b82ea61e33e8ae3652e5",
  "requirements.txt": "b459cff0337d71e9679cf10cff3adfca5a746065ef50c10218148839b6ab4635",
  "math-audit-20260916/alpha_u_toets.log": "05db4568291577f317c2f2f42e8cd21b36a141c7990254d9fb557a488d1c24d1",
  "math-audit-20260916/qft_matching.log": "ddfc3883d19fda51aa434068c330242e85f3ec72a928202c6f93fd11cb10c91d",
  "math-audit-20260916/Orthogonaliteit.lean.log": "8123fe829d0439977f6bf32a3ef9be07b18004203e6f4293db2f821c81ca990e",
  "math-audit-20260916/spectrum_check.json": "339ab647a63b2737d3d7e8ec3ce98f3fec746fb8b86a5c499fa10934066cbd37",
  "math-audit-20260916/audit_checks.log": "04dbdf874da097f369349eb5ffe25f191e15ba768d53b47b4188a82aa755dfdd",
  "math-audit-20260916/zeta_assembly.log": "aa4b704712d0e2c75c833b25a35864e39974279544db8148dccbf2ad8f325e40",
  "math-audit-20260916/spectrum_check.py": "285e900c78f64d186c7bd366a9bb125d347f3595bddf1cdfbfeaf11ab89ef8ab",
  "math-audit-20260916/Kern.lean.log": "a1748fc58a9079f5c96a8ce72b88b45d61cc65b718a7b3ac5416b491c3a1e22f",
  "math-audit-20260916/vriespunt_24.log": "2a69d4a4439e6eb78b1cbf0e17d4e26e6dd7374dac8920ad8bea28caae8c7488",
  "math-audit-20260916/spectrum_check.log": "6f0c790eaa83982eedeb2e1f93c1ef72276d9e717f96a381047bee049c1fcf32",
  "math-audit-20260916/run_originals.py": "23227ef52748bfde7f0df1db466b1e88483f6794e0b68659c9acc6a8766be64b",
  "math-audit-20260916/audit_checks.py": "b820b1b485a5286dbbefb461018b1f996935dd8459997afac71a4e19c915f0f0",
  "math-audit-20260916/results.json": "7c63c2bb523fdcc54a0d0abd76d67cf7e853b8db28b4b4080d9c294c40d32262",
  "math-audit-20260916/lisa_vingerafdruk.log": "127a48895595c23009f1abe337c9b0294bf1e51dfbc92799d74a5e2708ec0296",
  "a6/fermat_k3.py": "1c4869b27a09497990020ae19a224b7bce3e5481ca0a6e900e7bc310fca0ae2e",
  "a6/qft_matching.py": "e6309c471547bdd03f6f6f1d7a5dadb75cbc5b4c684e0813b53134c1b9a99167",
  "a6/k5_run1.npz": "ac754f1c334c03894c3909d9a14f87b2237bbaea5b24d3e86b63dceedc5e3ce1",
  "a6/k4_run1.npz": "1948718a7b1a411438d1c9e6027975d2827554db3fd400086c890fd698b18aed",
  "a6/k3_run2.npz": "8834050d1241de31b1ae3c6d59b1a1b9e100fecdf45847ec709cc7c217ef2e4d",
  "a6/alpha_u_toets.py": "28079f525a2568f5ee2c76295cefbb32a2121bb366e572c106f091a9b81af181",
  "a6/zeta_assembly.py": "34c1c3c15cb3cfed0a661346b74b5b141f71c6e940cffb725f7e36d8cc2f476d",
  "a6/real_invariants.py": "ff0ae6d4a15251c2e2d9a95c06e7b56d4530e8cc00da44b69f16d2fcc40e914c",
  "a6/k6_run1.npz": "6fd887b4d4518266ba994dcf691810bda47b915bde4c21a1608593e464f0259a",
  "lean-kern/Orthogonaliteit.lean": "3dce24a2acb7381f25c98887b7335bc33f54a49541aa30090832f63f225dc262",
  "lean-kern/Kern.lean": "6b5469dbf40b49b59ab4592d4c17f6dbbbaa2952743dff7b54b635c9d464870f"
}