{
  "labels": [
    "a",
    "b",
    "c"
  ],
  "target_family": [
    0,
    1,
    2,
    3,
    7
  ],
  "status": "rejected",
  "policy": "largest_reverse",
  "trace": [],
  "unique_states": 2,
  "unmemoized_node_bound": 2,
  "excluded_singletons": [
    2
  ],
  "root": 0,
  "nodes": [
    {
      "U": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7
      ],
      "used": 0,
      "residual": 6,
      "eligible": [
        2
      ],
      "children": [
        {
          "root": 2,
          "node": 1
        }
      ],
      "status": "rejected"
    },
    {
      "U": [
        0,
        1,
        2,
        3,
        5,
        7
      ],
      "used": 4,
      "residual": 5,
      "eligible": [],
      "children": [],
      "status": "rejected"
    }
  ]
}