{
  "and_nodes": 25607.0,
  "deepest_path": 1032,
  "depth": 1032.0,
  "fanout_histogram": {
    "0": 545,
    "1": 17375,
    "10": 15,
    "100": 3,
    "102": 1,
    "104": 1,
    "105": 1,
    "11": 15,
    "12": 6,
    "13": 8,
    "14": 12,
    "16": 6,
    "166": 1,
    "17": 4,
    "18": 2,
    "2": 2778,
    "20": 3,
    "21": 1,
    "22": 1,
    "23": 5,
    "24": 2,
    "25": 1,
    "26": 4,
    "27": 4,
    "28": 67,
    "3": 587,
    "33": 1,
    "34": 2,
    "4": 4804,
    "46": 1,
    "47": 1,
    "48": 2,
    "49": 1,
    "5": 190,
    "51": 1,
    "52": 1,
    "53": 2,
    "55": 1,
    "56": 1,
    "58": 1,
    "59": 5,
    "6": 39,
    "60": 2,
    "7": 30,
    "78": 1,
    "8": 9,
    "82": 17,
    "84": 1,
    "85": 1,
    "86": 3,
    "89": 1,
    "9": 36,
    "94": 1,
    "95": 3
  },
  "fraig_did_converge": null,
  "fraig_iteration_stats": null,
  "graph_logical_effort_worst_case_delay": 4642.499807636528,
  "live_nodes": 25607,
  "logical_effort_deepest_path_min_delay": null,
  "toggle_stats": null,
  "toggle_transitions": null
}