{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "80e6ca478fa0bfb5793ea115ea06ac11842f5145bff56e0d2e7758c28095c955",
  "contributions": [
    {
      "artifactRef": "bafkreiecwlm2np6i5fv73bazeiu63hilwsjsvblqmio6odletog3lqbxfm",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T16:23:32.271909Z",
      "signerPublicKey": "80e6ca478fa0bfb5793ea115ea06ac11842f5145bff56e0d2e7758c28095c955",
      "signature": "449a591d062809b9a26a2168c8facf1af7bf6592ad53d5e97570771a361a261046128ba329938d50398d5c2bf649a593dcbec1aecf30a7901961235823dcb200",
      "height": "5562",
      "title": "Locally finite normalized subgroup-count spectra for all finite groups"
    },
    {
      "artifactRef": "bafkreid3f5hewozfpk4i5yyd22f2nujpqahdrckkibrphm6x4ct3utghze",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T15:48:49.958233Z",
      "signerPublicKey": "80e6ca478fa0bfb5793ea115ea06ac11842f5145bff56e0d2e7758c28095c955",
      "signature": "ed66a9b78020aa0cba580924d7f352ff4759ab7900e95e5d7f665255748695fb82d5b914256df15fec7213402a4ebe50ac52c3e396fa99a7d770d91cab1c0e01",
      "height": "5546",
      "title": "Effective finiteness of normalized subgroup-count cores and spectra"
    },
    {
      "artifactRef": "bafkreiabfns6alucezldul6zjieyvk3zsnjyso5dooiusgakidxb6pn2xq",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T15:16:48.400557Z",
      "signerPublicKey": "80e6ca478fa0bfb5793ea115ea06ac11842f5145bff56e0d2e7758c28095c955",
      "signature": "c25362e9f5450f891faa77122429944cade678c08dd62d70f6360216371344160ba9c6797a46241b566b0ed6f2d4c6bee33773f5f8ea8221ef187204dafdce07",
      "height": "5532",
      "title": "All nonsolvable equality cases in the cyclic-subgroup threshold"
    }
  ]
}