{
  "rows": 242225,
  "open": 132224,
  "mentions": 329881,
  "layers": {
    "research": 107372,
    "textbook": 134853
  },
  "open_by": {
    "research": 777,
    "textbook": 131447
  },
  "kinds": {
    "concept": 3982,
    "conjecture": 1449,
    "counterexample": 112,
    "definition": 62856,
    "example": 15042,
    "exercise": 4965,
    "object": 1050,
    "problem": 2166,
    "proof": 1838,
    "statement": 108480,
    "topic": 18102,
    "unknown": 22183
  },
  "outcomes": {
    "deferred": 152,
    "merged": 54,
    "node": 1104,
    "open": 132224,
    "out_of_scope": 2156,
    "record": 106589
  },
  "sources": {
    "active_calculus": 366,
    "applied_combinatorics": 948,
    "arxiv": 177558,
    "austin_ula": 717,
    "ernst_ibl": 648,
    "hott_book": 2562,
    "lebl_diffyqs": 1142,
    "lebl_ra": 1941,
    "lebl_scv": 890,
    "levin_dmoi": 950,
    "mathlib_100": 100,
    "mathlib_1000": 1199,
    "mathlib_overview": 512,
    "mathlib_undergrad": 566,
    "napkin": 2574,
    "open_logic": 2549,
    "thousand_plus": 1200,
    "wikidata": 12302,
    "wikipedia": 121157
  },
  "msc": {
    "00": 1370,
    "01": 236,
    "03": 4712,
    "05": 15572,
    "06": 15,
    "08": 5,
    "11": 10467,
    "12": 27,
    "13": 3312,
    "14": 11043,
    "15": 28,
    "16": 4425,
    "17": 2356,
    "18": 3293,
    "19": 977,
    "20": 9768,
    "22": 4314,
    "26": 3583,
    "28": 27,
    "30": 3451,
    "31": 1,
    "32": 3399,
    "33": 9,
    "34": 13,
    "35": 11399,
    "37": 5412,
    "39": 2,
    "40": 3,
    "41": 1,
    "42": 8,
    "43": 3,
    "44": 4,
    "45": 1,
    "46": 7891,
    "47": 4954,
    "49": 7125,
    "51": 3041,
    "52": 2957,
    "53": 8670,
    "54": 1494,
    "55": 4731,
    "57": 3690,
    "58": 1669,
    "60": 10373,
    "62": 4192,
    "65": 2912,
    "68": 40,
    "70": 9,
    "74": 7,
    "76": 8,
    "78": 8,
    "80": 5,
    "81": 9701,
    "82": 6,
    "83": 7,
    "85": 2,
    "86": 5,
    "90": 7123,
    "91": 40,
    "92": 5,
    "93": 7128,
    "94": 4341,
    "97": 1,
    "none": 133677
  }
}