{
  "and_nodes": 3940,
  "depth": 171,
  "fanout_histogram": {
    "1": 2780,
    "2": 534,
    "3": 211,
    "4": 253,
    "5": 89,
    "6": 44,
    "7": 13,
    "8": 2,
    "9": 6,
    "10": 4,
    "11": 3,
    "12": 10,
    "15": 1,
    "16": 2,
    "17": 2,
    "18": 1,
    "20": 1,
    "22": 1,
    "24": 1,
    "25": 2,
    "26": 1,
    "27": 2,
    "28": 1,
    "30": 2,
    "31": 1,
    "33": 1,
    "34": 2,
    "36": 2,
    "37": 1,
    "38": 1,
    "39": 1,
    "41": 2,
    "42": 1,
    "46": 2,
    "48": 1,
    "50": 1,
    "51": 2,
    "55": 2,
    "56": 1,
    "57": 1
  },
  "logical_effort_deepest_path_min_delay": 777.0461317636377,
  "graph_logical_effort_worst_case_delay": 819.3660826291409
}