{
  "and_nodes": 8139,
  "depth": 132,
  "fanout_histogram": {
    "1": 5171,
    "2": 789,
    "3": 587,
    "4": 1450,
    "5": 32,
    "6": 43,
    "7": 18,
    "8": 7,
    "9": 4,
    "10": 3,
    "11": 18,
    "12": 2,
    "13": 2,
    "14": 2,
    "15": 2,
    "16": 2,
    "17": 2,
    "18": 3,
    "19": 2,
    "20": 2,
    "21": 2,
    "22": 2,
    "23": 2,
    "24": 2,
    "25": 3,
    "26": 2,
    "27": 11,
    "28": 3,
    "33": 1,
    "48": 1,
    "61": 1
  },
  "logical_effort_deepest_path_min_delay": 578.7031863552559,
  "graph_logical_effort_worst_case_delay": 596.0603538924827
}