{
  "and_nodes": 4401,
  "depth": 259,
  "fanout_histogram": {
    "1": 2760,
    "2": 1307,
    "3": 288,
    "4": 81,
    "5": 61,
    "7": 1,
    "9": 1,
    "11": 3,
    "13": 1,
    "15": 1,
    "18": 1,
    "28": 1,
    "31": 1,
    "36": 1,
    "44": 2,
    "51": 2,
    "52": 1,
    "53": 2,
    "54": 1,
    "57": 1,
    "58": 1,
    "67": 1,
    "75": 1,
    "79": 1,
    "103": 1,
    "107": 1,
    "109": 1,
    "112": 1,
    "118": 2,
    "121": 1,
    "283": 1
  },
  "logical_effort_deepest_path_min_delay": 1283.8043067793617,
  "graph_logical_effort_worst_case_delay": 1305.0650552136067
}