{
  "revision": "a6c827c0171acf1c284e604870933501079bcdd2",
  "leanVersion": "4.35.0-rc4",
  "examples": {
    "sha256": {
      "sha256": "22fa6345cc5bed08f07d4d5a0836885118259a73402470e4d7f7a7a81ad42817",
      "bytes": 35512,
      "theorem": "Silmaril.Process.LPS.Problems.GnuSha256sum.Close.lpsTotal_close",
      "verdict": "correct",
      "proofSha256": "d716bd9316beca7847b7f051f8761d73b40168fe49a80cf83bb36ae916852636"
    },
    "true": {
      "sha256": "faf558ec522716eb1b0979289f73782140a1812d73b2ae596040498f1dd74675",
      "bytes": 352,
      "theorem": "Silmaril.Process.LPS.Problems.CoreutilsLite.true_total",
      "verdict": "correct",
      "proofSha256": "2428f7f3983cfd168cfe09558ec63b5a39df01aa209ca4a55ce0e7289e12e6b1"
    },
    "wrong-exit": {
      "sha256": "9c3cee29433c7fe1c7a614cc1f1fc3ee1d2e9c627abd42a23a06ba174471e67f",
      "bytes": 352,
      "theorem": "Silmaril.Process.LPS.Problems.CoreutilsLite.true_mutant_exit1",
      "verdict": "refuted",
      "proofSha256": "19e2dc5f21c85766b0c87dac499ea6d077c7ea7a510fc43f3197bf1598f8b5a3"
    },
    "wrong-output": {
      "sha256": "9dd24bb059f591b787efa4e6cae2e035f53c497452881b3e884ea56df0e3942a",
      "bytes": 368,
      "theorem": "Silmaril.Process.LPS.Problems.CoreutilsLite.true_mutant_stderr",
      "verdict": "refuted",
      "proofSha256": "beaeed8c709607bf146054a2edc9857b54bd9b976f1dc193b125b6be5b819f07"
    }
  }
}