{
  "and_nodes": 25659.0,
  "deepest_path": 1032,
  "depth": 1032.0,
  "fanout_histogram": {
    "0": 548,
    "1": 17413,
    "10": 14,
    "100": 3,
    "102": 1,
    "104": 1,
    "105": 1,
    "11": 21,
    "12": 4,
    "13": 6,
    "14": 13,
    "15": 5,
    "16": 5,
    "166": 1,
    "17": 1,
    "18": 3,
    "2": 2790,
    "20": 3,
    "21": 1,
    "22": 1,
    "23": 5,
    "24": 2,
    "25": 1,
    "26": 4,
    "27": 4,
    "28": 67,
    "3": 593,
    "33": 1,
    "34": 1,
    "38": 1,
    "4": 4806,
    "46": 1,
    "47": 1,
    "48": 2,
    "49": 1,
    "5": 188,
    "51": 1,
    "52": 1,
    "53": 2,
    "55": 1,
    "56": 1,
    "58": 1,
    "59": 5,
    "6": 42,
    "60": 2,
    "7": 29,
    "78": 1,
    "8": 13,
    "80": 1,
    "82": 21,
    "89": 1,
    "9": 34,
    "94": 1,
    "95": 3
  },
  "fraig_did_converge": null,
  "fraig_iteration_stats": null,
  "graph_logical_effort_worst_case_delay": 4642.337996474545,
  "live_nodes": 25659,
  "logical_effort_deepest_path_min_delay": null,
  "toggle_stats": null,
  "toggle_transitions": null
}