{
  "scope": "Complete finite standard-library verification; not a universal K3 exclusion.",
  "sphere_counts": {
    "4": 1,
    "5": 1,
    "6": 2,
    "7": 5,
    "8": 14
  },
  "labelled_layer_counts": {
    "triangle": 3312,
    "quadrilateral": 1080,
    "full": 8100
  },
  "triangle_quadrilateral": {
    "isolated_layer_contact_floor": 0,
    "ordered_pairs": 144,
    "contact_bound_counts": {
      "38": 144
    },
    "minimum_contact_bound": 38
  },
  "full_full": {
    "isolated_layer_contact_floor": 0,
    "ordered_pairs": 1728,
    "contact_bound_counts": {
      "31": 288,
      "32": 576,
      "36": 864
    },
    "minimum_contact_bound": 31
  },
  "full_full_with_isolate_contacts": {
    "isolated_layer_contact_floor": 3,
    "ordered_pairs": 1728,
    "contact_bound_counts": {
      "32": 288,
      "33": 576,
      "36": 864
    },
    "minimum_contact_bound": 32
  },
  "full_full_with_marked_boundaries": {
    "counts": {
      "contact_bound_34": 1152,
      "unexposed_shared_vertex_degree_failure": 1728,
      "no_boundary_pair": 144,
      "contact_bound_38": 288
    },
    "minimum_contact_bound": 34
  },
  "seconds": 1.086
}
