{
  "format": "ProofAtlasProofFrontierChain/1",
  "source": {
    "edition": "goedel-sample-4331",
    "indexSha256": "2e5bbcebb8129c823d4640a7c17f06b1a073c8a2df20889e65f4efc61f213bd6",
    "name": "lean_workbook_plus_6206",
    "sourceSha256": "2a3526bb9f81af698af149affbf40b722c5b2e6137e352433e91bd4d34f83ba5"
  },
  "stages": [
    {
      "seedFile": "research/proof-atlas/packet-typing/proof-premise-seed.json",
      "resultTypes": {
        "edition": "goedel-sample-4331",
        "name": "lean_workbook_plus_6206",
        "indexSha256": "2e5bbcebb8129c823d4640a7c17f06b1a073c8a2df20889e65f4efc61f213bd6",
        "sourceSha256": "2a3526bb9f81af698af149affbf40b722c5b2e6137e352433e91bd4d34f83ba5",
        "file": "/public/data/proof-atlas/packet-types/77ba2dcda61d0e61bcefc5bea793a12d6ad4e8298bc14396f67b9daee15e651b.json.gz",
        "sha256": "77ba2dcda61d0e61bcefc5bea793a12d6ad4e8298bc14396f67b9daee15e651b",
        "checked": 27,
        "queried": 27,
        "bytes": 176544
      }
    },
    {
      "seedFile": "research/proof-atlas/packet-typing/proof-premise-second-layer.json",
      "resultTypes": {
        "edition": "goedel-sample-4331",
        "name": "lean_workbook_plus_6206",
        "indexSha256": "2e5bbcebb8129c823d4640a7c17f06b1a073c8a2df20889e65f4efc61f213bd6",
        "sourceSha256": "2a3526bb9f81af698af149affbf40b722c5b2e6137e352433e91bd4d34f83ba5",
        "file": "/public/data/proof-atlas/packet-types/3dfcb01eff8e75b76efe89725b2cbeef6bc1903e8e4f399028b218657dc7c5b3.json.gz",
        "sha256": "3dfcb01eff8e75b76efe89725b2cbeef6bc1903e8e4f399028b218657dc7c5b3",
        "checked": 36,
        "queried": 36,
        "bytes": 248307
      }
    },
    {
      "seedFile": "research/proof-atlas/packet-typing/proof-premise-third-layer.json",
      "resultTypes": {
        "edition": "goedel-sample-4331",
        "name": "lean_workbook_plus_6206",
        "indexSha256": "2e5bbcebb8129c823d4640a7c17f06b1a073c8a2df20889e65f4efc61f213bd6",
        "sourceSha256": "2a3526bb9f81af698af149affbf40b722c5b2e6137e352433e91bd4d34f83ba5",
        "file": "/public/data/proof-atlas/packet-types/88eb53fb27c57eaea860f0f2abe306c822180256e8bc12304017d85f01ff486c.json.gz",
        "sha256": "88eb53fb27c57eaea860f0f2abe306c822180256e8bc12304017d85f01ff486c",
        "checked": 50,
        "queried": 50,
        "bytes": 391576
      }
    }
  ]
}