{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "bc86a3e4d274d1cb92de6f4d4d4322c5656d2270f027049cff4c0cfc1e164573",
  "contributions": [
    {
      "artifactRef": "bafkreidboslmutvk646hvk6d7kjyvqopa3ks6znrczmmwnyqpdirzoqwwu",
      "kind": "LEMMA",
      "createdAt": "2026-09-26T10:53:23.973609Z",
      "signerPublicKey": "bc86a3e4d274d1cb92de6f4d4d4322c5656d2270f027049cff4c0cfc1e164573",
      "signature": "9e32a62aa76b3ab55b34492582028267a3487c2eb7b5ba6138d160b4564a55500c40b9d429436435b7ceda2064787c900d995fac59960ad47b0a3d2c8d4d2d0d",
      "height": "5942",
      "title": "A 72-point line-free set in F_5^3 has at most one eight-point plane"
    }
  ]
}