{
  "status": "PASS",
  "old_contact_vector": [
    7,
    1,
    7,
    3,
    3,
    1,
    9
  ],
  "old_inequalities_hold": true,
  "new_four_terminal_lhs": 20,
  "new_required_rhs": 21,
  "local_drawing_planar_layers": true,
  "local_component_intersections_are_cliques": true,
  "layer_edge_counts": [
    18,
    17
  ],
  "face_walk_counts": [
    12,
    10
  ],
  "scope": "The vector is abstract; the local drawing has no asserted eighteen-vertex ambient extension."
}
