{
  "coverage": {
    "mode": "native_latex_index",
    "claims": 11,
    "sections": 3,
    "external_references": 20,
    "source_bibliography_entries": 20,
    "unresolved_bibliography": 0,
    "unresolved": 0
  },
  "claims": [
    {
      "id": "iteratedens",
      "kind": "theorem",
      "label": "Theorem 1.1"
    },
    {
      "id": "lowbound",
      "kind": "proposition",
      "label": "Proposition 2.1"
    },
    {
      "id": "intersection",
      "kind": "lemma",
      "label": "Lemma 2.2"
    },
    {
      "id": "density",
      "kind": "lemma",
      "label": "Lemma 2.3"
    },
    {
      "id": "sumsa1",
      "kind": "lemma",
      "label": "Lemma 3.1"
    },
    {
      "id": "blomgran",
      "kind": "lemma",
      "label": "Lemma 3.2"
    },
    {
      "id": "intersectionlemma",
      "kind": "proposition",
      "label": "Proposition 3.3"
    },
    {
      "id": "niederheath",
      "kind": "lemma",
      "label": "Lemma 3.4"
    },
    {
      "id": "singseries",
      "kind": "lemma",
      "label": "Lemma 3.5"
    },
    {
      "id": "friedithm",
      "kind": "lemma",
      "label": "Lemma 3.6"
    },
    {
      "id": "sievebound",
      "kind": "lemma",
      "label": "Lemma 3.7"
    }
  ],
  "origin": "mechanical_source_index_not_a_proof_assessment"
}