{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_ms__fah",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00554,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00822,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00312,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CI) | (B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.16068,
              0.16864,
              0.18048,
              0.20739,
              0.26491,
              0.383,
              0.61927,
              1.09497
            ],
            [
              0.16039,
              0.16839,
              0.18022,
              0.20707,
              0.26475,
              0.38257,
              0.61919,
              1.09338
            ],
            [
              0.16045,
              0.16838,
              0.18024,
              0.20713,
              0.26454,
              0.38248,
              0.6192,
              1.09491
            ],
            [
              0.16072,
              0.16866,
              0.18051,
              0.20733,
              0.265,
              0.38306,
              0.61946,
              1.09466
            ],
            [
              0.16151,
              0.16946,
              0.18125,
              0.20824,
              0.26584,
              0.3836,
              0.62052,
              1.09589
            ],
            [
              0.16319,
              0.17106,
              0.18289,
              0.20981,
              0.26746,
              0.385,
              0.62209,
              1.09753
            ],
            [
              0.16603,
              0.174,
              0.18594,
              0.21273,
              0.27052,
              0.38813,
              0.62497,
              1.09963
            ],
            [
              0.17156,
              0.17936,
              0.19126,
              0.21811,
              0.27568,
              0.39319,
              0.62992,
              1.10571
            ],
            [
              0.1809,
              0.1887,
              0.20044,
              0.22716,
              0.28473,
              0.40247,
              0.63915,
              1.11571
            ],
            [
              0.19723,
              0.20484,
              0.21651,
              0.24314,
              0.3007,
              0.41852,
              0.65484,
              1.13139
            ],
            [
              0.22159,
              0.22899,
              0.24059,
              0.26722,
              0.3243,
              0.4421,
              0.67829,
              1.15413
            ],
            [
              0.26058,
              0.26765,
              0.27907,
              0.30579,
              0.36274,
              0.4795,
              0.71698,
              1.19233
            ],
            [
              0.31956,
              0.3262,
              0.3374,
              0.36344,
              0.4206,
              0.5377,
              0.77329,
              1.24793
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.13395,
              0.13808,
              0.14632,
              0.16588,
              0.2088,
              0.29679,
              0.47538,
              0.83304
            ],
            [
              0.13371,
              0.13786,
              0.14605,
              0.16559,
              0.20839,
              0.29697,
              0.47457,
              0.83294
            ],
            [
              0.13383,
              0.13802,
              0.14621,
              0.16578,
              0.20876,
              0.2969,
              0.47503,
              0.8337
            ],
            [
              0.13412,
              0.13827,
              0.14649,
              0.16608,
              0.2088,
              0.29721,
              0.47561,
              0.83267
            ],
            [
              0.13485,
              0.13903,
              0.14723,
              0.1668,
              0.20958,
              0.29795,
              0.47646,
              0.8336
            ],
            [
              0.13648,
              0.14063,
              0.14883,
              0.16841,
              0.21132,
              0.29946,
              0.4773,
              0.83466
            ],
            [
              0.13963,
              0.14378,
              0.15195,
              0.17145,
              0.2144,
              0.30256,
              0.4808,
              0.83983
            ],
            [
              0.14525,
              0.14939,
              0.15751,
              0.17709,
              0.21994,
              0.30821,
              0.48672,
              0.84451
            ],
            [
              0.15478,
              0.15889,
              0.16696,
              0.18647,
              0.22935,
              0.31768,
              0.49599,
              0.85374
            ],
            [
              0.17137,
              0.17542,
              0.18341,
              0.20278,
              0.24545,
              0.33388,
              0.51192,
              0.8699
            ],
            [
              0.19626,
              0.20016,
              0.208,
              0.22735,
              0.26992,
              0.35782,
              0.53547,
              0.89464
            ],
            [
              0.2359,
              0.2396,
              0.24725,
              0.26619,
              0.30889,
              0.39669,
              0.57444,
              0.93134
            ],
            [
              0.29566,
              0.29906,
              0.30647,
              0.32511,
              0.36734,
              0.45533,
              0.63285,
              0.99063
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.14705,
              0.15508,
              0.16717,
              0.1941,
              0.25188,
              0.36953,
              0.60623,
              1.08083
            ],
            [
              0.14667,
              0.15481,
              0.16678,
              0.1938,
              0.25139,
              0.36927,
              0.60574,
              1.08143
            ],
            [
              0.14656,
              0.15464,
              0.16662,
              0.19363,
              0.25115,
              0.36911,
              0.60599,
              1.08183
            ],
            [
              0.14668,
              0.15481,
              0.16672,
              0.19373,
              0.25135,
              0.36941,
              0.60578,
              1.08127
            ],
            [
              0.14737,
              0.15546,
              0.16742,
              0.19427,
              0.25176,
              0.36971,
              0.60569,
              1.08278
            ],
            [
              0.14903,
              0.15697,
              0.16897,
              0.19594,
              0.25328,
              0.37095,
              0.60771,
              1.084
            ],
            [
              0.15235,
              0.16032,
              0.17219,
              0.19891,
              0.25649,
              0.37393,
              0.61101,
              1.08693
            ],
            [
              0.15833,
              0.16612,
              0.17792,
              0.20443,
              0.26175,
              0.37925,
              0.61609,
              1.09234
            ],
            [
              0.16804,
              0.17556,
              0.18711,
              0.21344,
              0.27038,
              0.38774,
              0.62454,
              1.09929
            ],
            [
              0.18387,
              0.19111,
              0.20237,
              0.22847,
              0.28513,
              0.40173,
              0.63845,
              1.11313
            ],
            [
              0.20717,
              0.21395,
              0.22488,
              0.25056,
              0.30643,
              0.42296,
              0.65837,
              1.13504
            ],
            [
              0.24528,
              0.25146,
              0.26191,
              0.28695,
              0.34253,
              0.45792,
              0.69419,
              1.16921
            ],
            [
              0.30462,
              0.30996,
              0.31977,
              0.34387,
              0.39841,
              0.51342,
              0.74732,
              1.22294
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.11293,
              0.11704,
              0.12515,
              0.14466,
              0.18743,
              0.27593,
              0.4543,
              0.81187
            ],
            [
              0.11279,
              0.1169,
              0.12498,
              0.14451,
              0.18749,
              0.27584,
              0.45355,
              0.81185
            ],
            [
              0.11295,
              0.11705,
              0.12513,
              0.14475,
              0.18747,
              0.27585,
              0.45355,
              0.81074
            ],
            [
              0.11324,
              0.11733,
              0.12544,
              0.14491,
              0.1878,
              0.27632,
              0.45446,
              0.81305
            ],
            [
              0.11384,
              0.11791,
              0.12602,
              0.14556,
              0.18843,
              0.27652,
              0.45505,
              0.81364
            ],
            [
              0.11519,
              0.11929,
              0.12736,
              0.14685,
              0.1897,
              0.27796,
              0.45567,
              0.8151
            ],
            [
              0.11793,
              0.12202,
              0.13011,
              0.14958,
              0.19233,
              0.28044,
              0.45844,
              0.8163
            ],
            [
              0.1233,
              0.12729,
              0.13536,
              0.15462,
              0.19716,
              0.28493,
              0.46356,
              0.82189
            ],
            [
              0.13196,
              0.13583,
              0.14385,
              0.16311,
              0.20548,
              0.29294,
              0.4711,
              0.82865
            ],
            [
              0.1472,
              0.15093,
              0.15888,
              0.17794,
              0.21973,
              0.30723,
              0.48525,
              0.84173
            ],
            [
              0.1709,
              0.17425,
              0.18207,
              0.20086,
              0.24247,
              0.3293,
              0.50626,
              0.86458
            ],
            [
              0.21199,
              0.21486,
              0.22219,
              0.24052,
              0.28165,
              0.36766,
              0.54329,
              0.90128
            ],
            [
              0.27703,
              0.27925,
              0.28601,
              0.30331,
              0.34327,
              0.42818,
              0.60299,
              0.95846
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.11339,
              0.12191,
              0.13392,
              0.1609,
              0.21791,
              0.33512,
              0.572,
              1.04612
            ],
            [
              0.1133,
              0.12181,
              0.13386,
              0.16062,
              0.21772,
              0.33535,
              0.57143,
              1.04617
            ],
            [
              0.11327,
              0.12179,
              0.13379,
              0.1607,
              0.21777,
              0.33508,
              0.57148,
              1.04526
            ],
            [
              0.11334,
              0.12181,
              0.1338,
              0.16067,
              0.21779,
              0.33539,
              0.57174,
              1.04741
            ],
            [
              0.11355,
              0.12209,
              0.13404,
              0.16079,
              0.21793,
              0.33562,
              0.57181,
              1.04705
            ],
            [
              0.11416,
              0.12262,
              0.13464,
              0.16135,
              0.21848,
              0.33558,
              0.57255,
              1.04821
            ],
            [
              0.11579,
              0.12417,
              0.13608,
              0.16275,
              0.21977,
              0.33672,
              0.5733,
              1.04816
            ],
            [
              0.11958,
              0.12769,
              0.13944,
              0.16583,
              0.22268,
              0.33942,
              0.57574,
              1.05042
            ],
            [
              0.12656,
              0.13421,
              0.14561,
              0.17147,
              0.2278,
              0.34453,
              0.58049,
              1.05589
            ],
            [
              0.13798,
              0.14508,
              0.15607,
              0.1813,
              0.23684,
              0.35328,
              0.58864,
              1.0614
            ],
            [
              0.15362,
              0.15999,
              0.17042,
              0.19506,
              0.24968,
              0.3645,
              0.59966,
              1.07438
            ],
            [
              0.17841,
              0.18396,
              0.19371,
              0.21739,
              0.27097,
              0.38463,
              0.61878,
              1.09146
            ],
            [
              0.21527,
              0.21991,
              0.22886,
              0.25126,
              0.30335,
              0.4157,
              0.64756,
              1.11976
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.09063,
              0.09524,
              0.10342,
              0.12315,
              0.1663,
              0.25464,
              0.43332,
              0.79117
            ],
            [
              0.09052,
              0.09514,
              0.10331,
              0.12304,
              0.16617,
              0.25467,
              0.43325,
              0.79094
            ],
            [
              0.0906,
              0.0952,
              0.10337,
              0.1231,
              0.16623,
              0.25456,
              0.43256,
              0.7911
            ],
            [
              0.09069,
              0.09529,
              0.10347,
              0.12317,
              0.1662,
              0.25463,
              0.43335,
              0.79087
            ],
            [
              0.09107,
              0.0957,
              0.10384,
              0.1235,
              0.16661,
              0.25503,
              0.43359,
              0.79108
            ],
            [
              0.09208,
              0.09667,
              0.10475,
              0.12431,
              0.16731,
              0.25541,
              0.43427,
              0.79285
            ],
            [
              0.09436,
              0.09873,
              0.10667,
              0.12607,
              0.1688,
              0.25686,
              0.43471,
              0.79418
            ],
            [
              0.0984,
              0.10243,
              0.11009,
              0.12913,
              0.17137,
              0.25958,
              0.43789,
              0.79628
            ],
            [
              0.10477,
              0.10819,
              0.11554,
              0.13414,
              0.17606,
              0.2635,
              0.44142,
              0.79908
            ],
            [
              0.11574,
              0.1184,
              0.12532,
              0.14333,
              0.18447,
              0.2715,
              0.44922,
              0.80552
            ],
            [
              0.13131,
              0.13304,
              0.13938,
              0.15674,
              0.19711,
              0.28297,
              0.45963,
              0.81747
            ],
            [
              0.15679,
              0.15741,
              0.16298,
              0.17934,
              0.21877,
              0.30349,
              0.47891,
              0.8335
            ],
            [
              0.19449,
              0.19392,
              0.19854,
              0.21365,
              0.25156,
              0.33491,
              0.5087,
              0.86365
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.25409,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.18728,
              0.20739,
              0.22194,
              0.24556,
              0.28428,
              0.35024,
              0.47016,
              0.70245
            ],
            [
              0.18909,
              0.20919,
              0.22375,
              0.24737,
              0.28609,
              0.35204,
              0.47192,
              0.70412
            ],
            [
              0.19155,
              0.21165,
              0.22621,
              0.24982,
              0.28855,
              0.3545,
              0.47442,
              0.70671
            ],
            [
              0.1955,
              0.2156,
              0.23014,
              0.25377,
              0.2925,
              0.35846,
              0.4783,
              0.71074
            ],
            [
              0.20155,
              0.22165,
              0.2362,
              0.25982,
              0.29854,
              0.36449,
              0.48431,
              0.71662
            ],
            [
              0.2103,
              0.23038,
              0.24492,
              0.26853,
              0.30723,
              0.37317,
              0.49302,
              0.72527
            ],
            [
              0.22268,
              0.24268,
              0.25718,
              0.28074,
              0.3194,
              0.38532,
              0.50515,
              0.73744
            ],
            [
              0.24011,
              0.25997,
              0.27439,
              0.29787,
              0.33645,
              0.40231,
              0.52209,
              0.75434
            ],
            [
              0.26383,
              0.28347,
              0.29776,
              0.32111,
              0.35957,
              0.42534,
              0.54503,
              0.77705
            ],
            [
              0.29524,
              0.31467,
              0.32887,
              0.35212,
              0.39048,
              0.45613,
              0.57578,
              0.80779
            ],
            [
              0.33695,
              0.35619,
              0.3703,
              0.39348,
              0.43178,
              0.49732,
              0.61662,
              0.84882
            ],
            [
              0.39247,
              0.41167,
              0.42567,
              0.44887,
              0.48717,
              0.55257,
              0.67197,
              0.90347
            ],
            [
              0.4676,
              0.4869,
              0.501,
              0.5241,
              0.5624,
              0.6279,
              0.747,
              0.9787
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.17386,
              0.19537,
              0.21296,
              0.24465,
              0.30386,
              0.41898,
              0.64761,
              1.10447
            ],
            [
              0.17523,
              0.19675,
              0.21434,
              0.246,
              0.30524,
              0.42031,
              0.6489,
              1.10594
            ],
            [
              0.17697,
              0.19849,
              0.21607,
              0.24775,
              0.30695,
              0.42207,
              0.65064,
              1.10762
            ],
            [
              0.17939,
              0.20091,
              0.21849,
              0.25018,
              0.30941,
              0.42451,
              0.65309,
              1.11008
            ],
            [
              0.1823,
              0.20381,
              0.22141,
              0.2531,
              0.31234,
              0.42745,
              0.65607,
              1.11301
            ],
            [
              0.18546,
              0.20698,
              0.22457,
              0.25626,
              0.31551,
              0.43058,
              0.65918,
              1.11622
            ],
            [
              0.18865,
              0.21016,
              0.22776,
              0.25944,
              0.31868,
              0.43379,
              0.66245,
              1.11943
            ],
            [
              0.19141,
              0.21291,
              0.2305,
              0.26218,
              0.3215,
              0.43657,
              0.66525,
              1.12216
            ],
            [
              0.19271,
              0.21418,
              0.23175,
              0.26342,
              0.32267,
              0.43787,
              0.66653,
              1.12345
            ],
            [
              0.19072,
              0.21213,
              0.22967,
              0.26129,
              0.3205,
              0.43558,
              0.66429,
              1.12119
            ],
            [
              0.18266,
              0.20402,
              0.22151,
              0.25306,
              0.31221,
              0.42741,
              0.65592,
              1.11292
            ],
            [
              0.16473,
              0.18607,
              0.20347,
              0.23497,
              0.29407,
              0.40917,
              0.63787,
              1.09457
            ],
            [
              0.1315,
              0.1528,
              0.1703,
              0.2017,
              0.2607,
              0.3757,
              0.6044,
              1.0613
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.02429,
              0.03967,
              0.05093,
              0.07102,
              0.10823,
              0.18115,
              0.33077,
              0.63944
            ],
            [
              0.02428,
              0.03966,
              0.05097,
              0.07105,
              0.10819,
              0.18107,
              0.33033,
              0.64068
            ],
            [
              0.02428,
              0.03967,
              0.05096,
              0.07105,
              0.10818,
              0.18107,
              0.33017,
              0.64009
            ],
            [
              0.02428,
              0.03968,
              0.05097,
              0.07102,
              0.10828,
              0.18124,
              0.33043,
              0.64045
            ],
            [
              0.02428,
              0.03966,
              0.05098,
              0.07105,
              0.10824,
              0.18096,
              0.3307,
              0.64042
            ],
            [
              0.02423,
              0.03962,
              0.05092,
              0.07099,
              0.10821,
              0.18115,
              0.33081,
              0.64046
            ],
            [
              0.02413,
              0.03946,
              0.05074,
              0.07083,
              0.10811,
              0.18108,
              0.33025,
              0.64056
            ],
            [
              0.024,
              0.03921,
              0.05052,
              0.07062,
              0.1079,
              0.18092,
              0.33071,
              0.64062
            ],
            [
              0.0239,
              0.03898,
              0.05024,
              0.07035,
              0.10766,
              0.18074,
              0.33013,
              0.64063
            ],
            [
              0.02386,
              0.0388,
              0.05002,
              0.07,
              0.1074,
              0.18043,
              0.33042,
              0.63905
            ],
            [
              0.02381,
              0.0386,
              0.04977,
              0.06991,
              0.10723,
              0.17976,
              0.3293,
              0.6398
            ],
            [
              0.0238,
              0.0385,
              0.0497,
              0.0698,
              0.1071,
              0.1797,
              0.329,
              0.6384
            ],
            [
              0.0241,
              0.0387,
              0.0498,
              0.0698,
              0.1071,
              0.1799,
              0.3292,
              0.6381
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.02057,
              0.04478,
              0.06729,
              0.11096,
              0.20002,
              0.38295,
              0.75165,
              1.49316
            ],
            [
              0.02058,
              0.04479,
              0.06725,
              0.11113,
              0.20025,
              0.38237,
              0.75146,
              1.49249
            ],
            [
              0.02057,
              0.04479,
              0.06728,
              0.11098,
              0.19987,
              0.38231,
              0.7515,
              1.49224
            ],
            [
              0.02056,
              0.04479,
              0.06729,
              0.11105,
              0.20005,
              0.38247,
              0.75152,
              1.49501
            ],
            [
              0.02055,
              0.04475,
              0.06728,
              0.11103,
              0.20001,
              0.38231,
              0.75173,
              1.4926
            ],
            [
              0.02051,
              0.04474,
              0.06723,
              0.11093,
              0.1999,
              0.38253,
              0.75254,
              1.49461
            ],
            [
              0.02041,
              0.04467,
              0.06714,
              0.11087,
              0.20017,
              0.3823,
              0.75232,
              1.49204
            ],
            [
              0.02027,
              0.04455,
              0.06705,
              0.1108,
              0.19986,
              0.38266,
              0.75208,
              1.49519
            ],
            [
              0.02007,
              0.04435,
              0.06693,
              0.11071,
              0.19973,
              0.38206,
              0.75175,
              1.49321
            ],
            [
              0.0198,
              0.04421,
              0.06671,
              0.11053,
              0.19978,
              0.38246,
              0.75213,
              1.49327
            ],
            [
              0.01959,
              0.04404,
              0.06651,
              0.11041,
              0.19953,
              0.38227,
              0.75256,
              1.4923
            ],
            [
              0.01947,
              0.04394,
              0.0664,
              0.1103,
              0.1995,
              0.3824,
              0.7516,
              1.4926
            ],
            [
              0.0195,
              0.044,
              0.0666,
              0.1102,
              0.1994,
              0.3822,
              0.7519,
              1.4935
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.18636,
              0.2078,
              0.22346,
              0.24885,
              0.29016,
              0.35943,
              0.48245,
              0.71634
            ],
            [
              0.18816,
              0.2096,
              0.22526,
              0.25065,
              0.29195,
              0.36122,
              0.48425,
              0.71818
            ],
            [
              0.1906,
              0.21204,
              0.22771,
              0.2531,
              0.2944,
              0.36367,
              0.4867,
              0.72032
            ],
            [
              0.19453,
              0.21596,
              0.23162,
              0.25703,
              0.29833,
              0.3676,
              0.49062,
              0.72455
            ],
            [
              0.20054,
              0.22198,
              0.23765,
              0.26304,
              0.30434,
              0.37361,
              0.49664,
              0.73046
            ],
            [
              0.20928,
              0.23071,
              0.24636,
              0.27173,
              0.31303,
              0.38228,
              0.5053,
              0.73932
            ],
            [
              0.22168,
              0.24306,
              0.25867,
              0.28401,
              0.32524,
              0.39445,
              0.51745,
              0.7511
            ],
            [
              0.23944,
              0.26071,
              0.27625,
              0.30149,
              0.34264,
              0.41178,
              0.53471,
              0.76857
            ],
            [
              0.26424,
              0.28532,
              0.30071,
              0.32578,
              0.36676,
              0.43576,
              0.5586,
              0.79255
            ],
            [
              0.29725,
              0.31812,
              0.33338,
              0.3583,
              0.3991,
              0.46793,
              0.59057,
              0.82409
            ],
            [
              0.34111,
              0.36174,
              0.37688,
              0.40165,
              0.44232,
              0.51102,
              0.63332,
              0.86702
            ],
            [
              0.39907,
              0.41957,
              0.43457,
              0.45927,
              0.49987,
              0.56847,
              0.69077,
              0.92367
            ],
            [
              0.4767,
              0.4971,
              0.5122,
              0.5369,
              0.5776,
              0.646,
              0.7681,
              1.001
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.15963,
              0.18086,
              0.19807,
              0.22912,
              0.28768,
              0.40261,
              0.63103,
              1.08807
            ],
            [
              0.16101,
              0.18224,
              0.19946,
              0.23051,
              0.28909,
              0.404,
              0.63263,
              1.08954
            ],
            [
              0.16276,
              0.18399,
              0.20121,
              0.23225,
              0.29083,
              0.40576,
              0.63417,
              1.09122
            ],
            [
              0.16522,
              0.18644,
              0.20367,
              0.23472,
              0.2933,
              0.4081,
              0.63674,
              1.09368
            ],
            [
              0.16822,
              0.18945,
              0.20666,
              0.23773,
              0.29629,
              0.41119,
              0.63965,
              1.09671
            ],
            [
              0.17156,
              0.19277,
              0.20999,
              0.24106,
              0.29967,
              0.41454,
              0.64322,
              1.10002
            ],
            [
              0.17497,
              0.19615,
              0.21338,
              0.24444,
              0.30303,
              0.41801,
              0.64654,
              1.10333
            ],
            [
              0.17795,
              0.19908,
              0.21626,
              0.24735,
              0.30594,
              0.42086,
              0.64944,
              1.10646
            ],
            [
              0.17925,
              0.2003,
              0.21747,
              0.24851,
              0.3071,
              0.42204,
              0.65053,
              1.10745
            ],
            [
              0.17697,
              0.19793,
              0.21504,
              0.24601,
              0.30455,
              0.41938,
              0.64809,
              1.10499
            ],
            [
              0.16831,
              0.18917,
              0.20622,
              0.23711,
              0.29555,
              0.4104,
              0.63892,
              1.09572
            ],
            [
              0.14947,
              0.17027,
              0.18727,
              0.21807,
              0.27647,
              0.39127,
              0.61987,
              1.07647
            ],
            [
              0.115,
              0.1358,
              0.1528,
              0.1835,
              0.2418,
              0.3565,
              0.585,
              1.0417
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.02675,
              0.04352,
              0.05572,
              0.07702,
              0.11556,
              0.18924,
              0.33736,
              0.64344
            ],
            [
              0.02674,
              0.04351,
              0.05573,
              0.07697,
              0.11561,
              0.1892,
              0.33751,
              0.6436
            ],
            [
              0.02675,
              0.04352,
              0.05573,
              0.07703,
              0.11555,
              0.18922,
              0.33736,
              0.64394
            ],
            [
              0.02674,
              0.04352,
              0.05574,
              0.077,
              0.11561,
              0.18918,
              0.33752,
              0.64366
            ],
            [
              0.02675,
              0.04352,
              0.05574,
              0.07703,
              0.11554,
              0.18922,
              0.33739,
              0.64428
            ],
            [
              0.02673,
              0.04349,
              0.05571,
              0.07699,
              0.11556,
              0.18919,
              0.33736,
              0.64326
            ],
            [
              0.02671,
              0.04343,
              0.05563,
              0.07689,
              0.11551,
              0.18907,
              0.33737,
              0.64429
            ],
            [
              0.02672,
              0.04334,
              0.05546,
              0.07672,
              0.11526,
              0.18896,
              0.33709,
              0.64413
            ],
            [
              0.02697,
              0.04333,
              0.05534,
              0.07644,
              0.11501,
              0.18856,
              0.33721,
              0.64372
            ],
            [
              0.0272,
              0.04336,
              0.05528,
              0.07617,
              0.11477,
              0.18835,
              0.33693,
              0.64448
            ],
            [
              0.02735,
              0.04332,
              0.05515,
              0.07612,
              0.11451,
              0.1877,
              0.3364,
              0.643
            ],
            [
              0.0274,
              0.0433,
              0.0551,
              0.076,
              0.1144,
              0.1877,
              0.3357,
              0.6422
            ],
            [
              0.0276,
              0.0434,
              0.0553,
              0.0762,
              0.1144,
              0.1876,
              0.3357,
              0.6415
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.01978,
              0.04375,
              0.06576,
              0.1092,
              0.19838,
              0.38137,
              0.75117,
              1.49433
            ],
            [
              0.01977,
              0.04375,
              0.06572,
              0.10914,
              0.19834,
              0.38148,
              0.75157,
              1.49397
            ],
            [
              0.01977,
              0.04375,
              0.06574,
              0.10918,
              0.19836,
              0.38168,
              0.75119,
              1.49249
            ],
            [
              0.01976,
              0.0437,
              0.06575,
              0.10919,
              0.19841,
              0.38146,
              0.75119,
              1.49507
            ],
            [
              0.01972,
              0.0437,
              0.06574,
              0.10917,
              0.19834,
              0.38119,
              0.75119,
              1.49431
            ],
            [
              0.01964,
              0.04361,
              0.06565,
              0.10908,
              0.19835,
              0.38124,
              0.75175,
              1.49452
            ],
            [
              0.01948,
              0.04351,
              0.06561,
              0.10903,
              0.19836,
              0.38127,
              0.75112,
              1.49206
            ],
            [
              0.01924,
              0.04331,
              0.06545,
              0.10887,
              0.19842,
              0.38146,
              0.75096,
              1.49205
            ],
            [
              0.01896,
              0.04309,
              0.06526,
              0.10878,
              0.19821,
              0.38145,
              0.75128,
              1.49391
            ],
            [
              0.01868,
              0.04284,
              0.06499,
              0.10857,
              0.19817,
              0.3811,
              0.75116,
              1.49342
            ],
            [
              0.01849,
              0.04267,
              0.0648,
              0.10838,
              0.198,
              0.38121,
              0.75094,
              1.492
            ],
            [
              0.01847,
              0.04261,
              0.06473,
              0.1084,
              0.1978,
              0.3812,
              0.7512,
              1.4921
            ],
            [
              0.0186,
              0.0428,
              0.065,
              0.1085,
              0.1978,
              0.381,
              0.7504,
              1.493
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.16807,
              0.18824,
              0.20284,
              0.22654,
              0.2653,
              0.33128,
              0.45114,
              0.68342
            ],
            [
              0.16939,
              0.18957,
              0.20419,
              0.22789,
              0.26666,
              0.33266,
              0.45248,
              0.68497
            ],
            [
              0.17139,
              0.19158,
              0.20622,
              0.22992,
              0.26871,
              0.33471,
              0.45465,
              0.68696
            ],
            [
              0.17486,
              0.19507,
              0.20972,
              0.23345,
              0.27225,
              0.33825,
              0.45817,
              0.69047
            ],
            [
              0.18062,
              0.20086,
              0.21552,
              0.23925,
              0.27807,
              0.34409,
              0.46399,
              0.69605
            ],
            [
              0.18959,
              0.20985,
              0.22451,
              0.24826,
              0.28708,
              0.35312,
              0.47304,
              0.70547
            ],
            [
              0.20319,
              0.22345,
              0.23811,
              0.26186,
              0.30069,
              0.36673,
              0.48665,
              0.71909
            ],
            [
              0.22313,
              0.24335,
              0.25798,
              0.28169,
              0.3205,
              0.38652,
              0.50636,
              0.73886
            ],
            [
              0.25073,
              0.27106,
              0.28571,
              0.30945,
              0.34825,
              0.41427,
              0.53412,
              0.76645
            ],
            [
              0.28679,
              0.30757,
              0.3226,
              0.3469,
              0.38642,
              0.45297,
              0.57295,
              0.80529
            ],
            [
              0.33709,
              0.35833,
              0.37373,
              0.39859,
              0.43892,
              0.50652,
              0.62752,
              0.85992
            ],
            [
              0.40887,
              0.43067,
              0.44657,
              0.47227,
              0.51367,
              0.58257,
              0.70467,
              0.93767
            ],
            [
              0.5117,
              0.5341,
              0.5504,
              0.577,
              0.62,
              0.691,
              0.8149,
              1.0489
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.12735,
              0.14888,
              0.16645,
              0.19806,
              0.25723,
              0.37243,
              0.60107,
              1.05787
            ],
            [
              0.1289,
              0.15044,
              0.168,
              0.19962,
              0.25878,
              0.37394,
              0.60259,
              1.05944
            ],
            [
              0.13079,
              0.15233,
              0.16989,
              0.2015,
              0.26063,
              0.37584,
              0.60446,
              1.06132
            ],
            [
              0.13359,
              0.15513,
              0.17269,
              0.20428,
              0.26343,
              0.3786,
              0.60723,
              1.06398
            ],
            [
              0.13762,
              0.15916,
              0.17672,
              0.2083,
              0.2674,
              0.38257,
              0.61118,
              1.06811
            ],
            [
              0.14328,
              0.16483,
              0.18237,
              0.21392,
              0.27298,
              0.38803,
              0.61667,
              1.07362
            ],
            [
              0.15163,
              0.17317,
              0.19067,
              0.22212,
              0.28104,
              0.396,
              0.62435,
              1.08133
            ],
            [
              0.16221,
              0.18363,
              0.20098,
              0.23224,
              0.29088,
              0.40541,
              0.63371,
              1.09036
            ],
            [
              0.1698,
              0.19124,
              0.20855,
              0.23965,
              0.29791,
              0.41209,
              0.64012,
              1.09675
            ],
            [
              0.17319,
              0.19459,
              0.21183,
              0.24277,
              0.3007,
              0.41439,
              0.64189,
              1.09829
            ],
            [
              0.17078,
              0.19211,
              0.20927,
              0.24002,
              0.29753,
              0.4106,
              0.63742,
              1.09312
            ],
            [
              0.15915,
              0.18037,
              0.19737,
              0.22787,
              0.28487,
              0.39707,
              0.62327,
              1.07827
            ],
            [
              0.1325,
              0.1536,
              0.1704,
              0.2006,
              0.2569,
              0.3681,
              0.5929,
              1.0472
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.0241,
              0.03957,
              0.05092,
              0.07103,
              0.10828,
              0.18118,
              0.33082,
              0.64058
            ],
            [
              0.02413,
              0.03959,
              0.05093,
              0.07101,
              0.1083,
              0.18126,
              0.33072,
              0.6405
            ],
            [
              0.02415,
              0.03963,
              0.05098,
              0.07109,
              0.10826,
              0.18116,
              0.3302,
              0.63948
            ],
            [
              0.02417,
              0.03968,
              0.05104,
              0.07115,
              0.10836,
              0.18108,
              0.3303,
              0.64048
            ],
            [
              0.02421,
              0.03972,
              0.05105,
              0.07117,
              0.10834,
              0.18125,
              0.33095,
              0.64082
            ],
            [
              0.02422,
              0.03975,
              0.0511,
              0.07117,
              0.10844,
              0.18133,
              0.33039,
              0.6405
            ],
            [
              0.02422,
              0.03975,
              0.05111,
              0.07121,
              0.10846,
              0.18136,
              0.33039,
              0.6405
            ],
            [
              0.02421,
              0.03972,
              0.05108,
              0.07117,
              0.10838,
              0.18122,
              0.33066,
              0.64045
            ],
            [
              0.02537,
              0.04066,
              0.05182,
              0.07165,
              0.10872,
              0.1815,
              0.33062,
              0.64063
            ],
            [
              0.0267,
              0.04241,
              0.0538,
              0.07376,
              0.11074,
              0.18266,
              0.3313,
              0.64005
            ],
            [
              0.02881,
              0.04477,
              0.05622,
              0.0764,
              0.11345,
              0.18549,
              0.3329,
              0.6408
            ],
            [
              0.0326,
              0.0488,
              0.0604,
              0.0805,
              0.1174,
              0.1892,
              0.3357,
              0.6423
            ],
            [
              0.0379,
              0.0547,
              0.0664,
              0.0866,
              0.1238,
              0.1952,
              0.3402,
              0.6438
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.02079,
              0.04493,
              0.06732,
              0.11103,
              0.19986,
              0.38204,
              0.75124,
              1.4926
            ],
            [
              0.0208,
              0.04492,
              0.06733,
              0.11097,
              0.19995,
              0.38221,
              0.75188,
              1.49264
            ],
            [
              0.02083,
              0.04496,
              0.06735,
              0.11103,
              0.20002,
              0.38207,
              0.75189,
              1.49474
            ],
            [
              0.02089,
              0.04499,
              0.06738,
              0.11108,
              0.1999,
              0.38241,
              0.75149,
              1.4921
            ],
            [
              0.02094,
              0.04504,
              0.06743,
              0.11113,
              0.19999,
              0.38213,
              0.75167,
              1.49299
            ],
            [
              0.02104,
              0.04509,
              0.06747,
              0.11113,
              0.20005,
              0.38236,
              0.75199,
              1.49275
            ],
            [
              0.02114,
              0.04516,
              0.06757,
              0.11125,
              0.20011,
              0.38213,
              0.75196,
              1.49271
            ],
            [
              0.02173,
              0.04551,
              0.06793,
              0.11147,
              0.20024,
              0.38229,
              0.75174,
              1.4942
            ],
            [
              0.02239,
              0.04605,
              0.0684,
              0.11193,
              0.20061,
              0.38283,
              0.75093,
              1.4946
            ],
            [
              0.02301,
              0.04652,
              0.06886,
              0.1123,
              0.20089,
              0.38285,
              0.75137,
              1.49468
            ],
            [
              0.02376,
              0.04708,
              0.06935,
              0.11301,
              0.20133,
              0.38292,
              0.75149,
              1.4915
            ],
            [
              0.02475,
              0.04782,
              0.07014,
              0.1134,
              0.2017,
              0.3829,
              0.7515,
              1.4922
            ],
            [
              0.0259,
              0.0489,
              0.0711,
              0.1141,
              0.2021,
              0.3831,
              0.7517,
              1.4936
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.1521,
              0.17236,
              0.18719,
              0.21172,
              0.25233,
              0.32102,
              0.44352,
              0.67725
            ],
            [
              0.15353,
              0.1738,
              0.18864,
              0.21318,
              0.25379,
              0.32248,
              0.44504,
              0.67871
            ],
            [
              0.15557,
              0.17585,
              0.19069,
              0.21525,
              0.25586,
              0.32456,
              0.44709,
              0.68051
            ],
            [
              0.1589,
              0.17919,
              0.19406,
              0.21862,
              0.25922,
              0.32793,
              0.45048,
              0.68375
            ],
            [
              0.16436,
              0.18464,
              0.19949,
              0.22404,
              0.26465,
              0.33337,
              0.45591,
              0.68925
            ],
            [
              0.17288,
              0.19312,
              0.20793,
              0.23243,
              0.27302,
              0.34172,
              0.46427,
              0.6977
            ],
            [
              0.18552,
              0.20567,
              0.22038,
              0.24475,
              0.28524,
              0.35388,
              0.4763,
              0.7099
            ],
            [
              0.20354,
              0.22352,
              0.238,
              0.26211,
              0.3024,
              0.37091,
              0.49322,
              0.72658
            ],
            [
              0.22741,
              0.24718,
              0.26144,
              0.28519,
              0.32516,
              0.39344,
              0.51562,
              0.74859
            ],
            [
              0.25862,
              0.27823,
              0.29229,
              0.3158,
              0.35555,
              0.42358,
              0.54541,
              0.77829
            ],
            [
              0.301,
              0.32048,
              0.33435,
              0.35754,
              0.39696,
              0.46482,
              0.58632,
              0.81912
            ],
            [
              0.35867,
              0.37817,
              0.39187,
              0.41477,
              0.45387,
              0.52137,
              0.64277,
              0.87477
            ],
            [
              0.437,
              0.4565,
              0.4702,
              0.4929,
              0.5316,
              0.599,
              0.7199,
              0.9515
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.1265,
              0.14767,
              0.1649,
              0.19602,
              0.2547,
              0.3697,
              0.59821,
              1.05517
            ],
            [
              0.12809,
              0.14926,
              0.16649,
              0.1976,
              0.25625,
              0.37127,
              0.59979,
              1.05684
            ],
            [
              0.13009,
              0.15125,
              0.16849,
              0.19961,
              0.25828,
              0.37328,
              0.60178,
              1.05882
            ],
            [
              0.13309,
              0.15426,
              0.1715,
              0.20261,
              0.26127,
              0.37622,
              0.60472,
              1.06168
            ],
            [
              0.13748,
              0.15865,
              0.17589,
              0.207,
              0.26566,
              0.38063,
              0.60913,
              1.06611
            ],
            [
              0.14396,
              0.16514,
              0.18237,
              0.21348,
              0.2721,
              0.38713,
              0.61563,
              1.07272
            ],
            [
              0.15402,
              0.17521,
              0.19241,
              0.22346,
              0.28206,
              0.39693,
              0.62556,
              1.08243
            ],
            [
              0.16667,
              0.18782,
              0.2049,
              0.23585,
              0.29429,
              0.40904,
              0.63752,
              1.09456
            ],
            [
              0.17693,
              0.1983,
              0.21564,
              0.24681,
              0.30537,
              0.41997,
              0.64838,
              1.10525
            ],
            [
              0.18589,
              0.20757,
              0.22522,
              0.2568,
              0.31563,
              0.43027,
              0.65849,
              1.11539
            ],
            [
              0.19488,
              0.21692,
              0.23496,
              0.26723,
              0.32667,
              0.44158,
              0.66982,
              1.12622
            ],
            [
              0.20527,
              0.22797,
              0.24627,
              0.27927,
              0.33957,
              0.45517,
              0.68377,
              1.13987
            ],
            [
              0.2167,
              0.2408,
              0.2599,
              0.2934,
              0.3545,
              0.4709,
              0.7006,
              1.1578
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.02773,
              0.04361,
              0.05551,
              0.07648,
              0.11489,
              0.18848,
              0.33635,
              0.64314
            ],
            [
              0.02777,
              0.04368,
              0.05557,
              0.07658,
              0.11498,
              0.18841,
              0.33675,
              0.64352
            ],
            [
              0.02782,
              0.04374,
              0.05565,
              0.07665,
              0.11505,
              0.18837,
              0.33683,
              0.64345
            ],
            [
              0.02791,
              0.04385,
              0.05573,
              0.07673,
              0.11511,
              0.18843,
              0.33687,
              0.64385
            ],
            [
              0.02804,
              0.04396,
              0.05589,
              0.07686,
              0.1152,
              0.18856,
              0.33691,
              0.64387
            ],
            [
              0.02836,
              0.04429,
              0.05617,
              0.07711,
              0.11533,
              0.18877,
              0.33683,
              0.64354
            ],
            [
              0.02898,
              0.04487,
              0.05674,
              0.07759,
              0.11573,
              0.189,
              0.33672,
              0.64372
            ],
            [
              0.02982,
              0.04565,
              0.05744,
              0.0782,
              0.11624,
              0.18917,
              0.33696,
              0.64418
            ],
            [
              0.03098,
              0.04658,
              0.05825,
              0.07876,
              0.11659,
              0.18941,
              0.33715,
              0.64425
            ],
            [
              0.03229,
              0.04776,
              0.05931,
              0.07964,
              0.11706,
              0.18958,
              0.33677,
              0.64413
            ],
            [
              0.03424,
              0.04947,
              0.06073,
              0.08067,
              0.11796,
              0.18983,
              0.33629,
              0.643
            ],
            [
              0.0374,
              0.0522,
              0.063,
              0.0824,
              0.1192,
              0.1908,
              0.3368,
              0.6416
            ],
            [
              0.0423,
              0.0565,
              0.0667,
              0.0853,
              0.1212,
              0.192,
              0.3371,
              0.6419
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.01919,
              0.04328,
              0.06541,
              0.10883,
              0.19833,
              0.38121,
              0.75106,
              1.49392
            ],
            [
              0.0192,
              0.0433,
              0.06543,
              0.10889,
              0.19827,
              0.38166,
              0.75104,
              1.49216
            ],
            [
              0.01922,
              0.0433,
              0.0654,
              0.10886,
              0.1983,
              0.3812,
              0.75103,
              1.49372
            ],
            [
              0.01924,
              0.04331,
              0.06542,
              0.10889,
              0.19828,
              0.38145,
              0.75098,
              1.49234
            ],
            [
              0.01925,
              0.04333,
              0.06543,
              0.10889,
              0.19827,
              0.38145,
              0.75103,
              1.49239
            ],
            [
              0.01922,
              0.0433,
              0.06541,
              0.10889,
              0.19818,
              0.38124,
              0.75107,
              1.49266
            ],
            [
              0.01927,
              0.04337,
              0.06539,
              0.10894,
              0.19823,
              0.38132,
              0.7509,
              1.49405
            ],
            [
              0.01987,
              0.04373,
              0.06577,
              0.10913,
              0.19838,
              0.38201,
              0.75126,
              1.49125
            ],
            [
              0.02069,
              0.04469,
              0.06693,
              0.11022,
              0.19899,
              0.3819,
              0.75132,
              1.49169
            ],
            [
              0.0219,
              0.04598,
              0.06851,
              0.11205,
              0.20054,
              0.38228,
              0.7509,
              1.49172
            ],
            [
              0.02388,
              0.04799,
              0.07094,
              0.11475,
              0.20289,
              0.3841,
              0.75252,
              1.4922
            ],
            [
              0.0266,
              0.0508,
              0.0744,
              0.1191,
              0.2069,
              0.3868,
              0.7536,
              1.494
            ],
            [
              0.0299,
              0.0541,
              0.0781,
              0.124,
              0.2124,
              0.3923,
              0.7589,
              1.4954
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.10797,
              0.13029,
              0.14697,
              0.17449,
              0.21875,
              0.2904,
              0.41463,
              0.64864
            ],
            [
              0.10971,
              0.13202,
              0.1487,
              0.17622,
              0.22049,
              0.29213,
              0.41632,
              0.65055
            ],
            [
              0.11198,
              0.13429,
              0.15097,
              0.17849,
              0.22276,
              0.29441,
              0.41867,
              0.65275
            ],
            [
              0.11561,
              0.13792,
              0.1546,
              0.18213,
              0.2264,
              0.29805,
              0.4223,
              0.65638
            ],
            [
              0.12143,
              0.14373,
              0.16039,
              0.18792,
              0.23219,
              0.30385,
              0.42812,
              0.66218
            ],
            [
              0.1306,
              0.15287,
              0.16952,
              0.19705,
              0.24135,
              0.313,
              0.43721,
              0.6713
            ],
            [
              0.14479,
              0.16698,
              0.18359,
              0.21108,
              0.25538,
              0.32708,
              0.45131,
              0.68538
            ],
            [
              0.16493,
              0.18737,
              0.20401,
              0.23154,
              0.27594,
              0.34774,
              0.47206,
              0.70624
            ],
            [
              0.19058,
              0.21379,
              0.23093,
              0.25912,
              0.30422,
              0.37645,
              0.50095,
              0.73499
            ],
            [
              0.2243,
              0.24845,
              0.26612,
              0.2951,
              0.34145,
              0.41501,
              0.54008,
              0.77419
            ],
            [
              0.26973,
              0.29504,
              0.31345,
              0.3434,
              0.3912,
              0.46642,
              0.59292,
              0.82732
            ],
            [
              0.33157,
              0.35837,
              0.37777,
              0.40917,
              0.45897,
              0.53667,
              0.66517,
              0.90077
            ],
            [
              0.416,
              0.4447,
              0.4655,
              0.4989,
              0.5517,
              0.6335,
              0.7661,
              1.0041
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.09174,
              0.11315,
              0.13086,
              0.16278,
              0.22224,
              0.33764,
              0.56644,
              1.02347
            ],
            [
              0.09315,
              0.11456,
              0.13226,
              0.16419,
              0.22364,
              0.33907,
              0.56787,
              1.02514
            ],
            [
              0.09493,
              0.11634,
              0.13404,
              0.16596,
              0.22541,
              0.34083,
              0.56968,
              1.02672
            ],
            [
              0.09767,
              0.11908,
              0.13678,
              0.16869,
              0.22814,
              0.34346,
              0.57241,
              1.02938
            ],
            [
              0.10191,
              0.12331,
              0.14099,
              0.17286,
              0.23228,
              0.34767,
              0.57648,
              1.03341
            ],
            [
              0.10821,
              0.12956,
              0.14718,
              0.17897,
              0.23833,
              0.35369,
              0.58246,
              1.03952
            ],
            [
              0.11675,
              0.13802,
              0.15554,
              0.18719,
              0.24637,
              0.3616,
              0.59032,
              1.04743
            ],
            [
              0.12577,
              0.14742,
              0.16507,
              0.19679,
              0.25585,
              0.37087,
              0.59936,
              1.05636
            ],
            [
              0.13412,
              0.15632,
              0.17423,
              0.20622,
              0.26545,
              0.38016,
              0.60852,
              1.06525
            ],
            [
              0.14001,
              0.16312,
              0.18145,
              0.21395,
              0.2734,
              0.38804,
              0.6162,
              1.07259
            ],
            [
              0.14061,
              0.16503,
              0.18399,
              0.2174,
              0.27761,
              0.39248,
              0.62022,
              1.07622
            ],
            [
              0.13153,
              0.15773,
              0.17757,
              0.21227,
              0.27397,
              0.38987,
              0.61827,
              1.07377
            ],
            [
              0.1063,
              0.1347,
              0.1558,
              0.1922,
              0.2562,
              0.3741,
              0.6046,
              1.0616
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.0267,
              0.0447,
              0.05844,
              0.0819,
              0.12167,
              0.19388,
              0.33948,
              0.64454
            ],
            [
              0.02671,
              0.0447,
              0.05844,
              0.08189,
              0.12166,
              0.19375,
              0.33956,
              0.64519
            ],
            [
              0.02671,
              0.0447,
              0.05845,
              0.08193,
              0.12162,
              0.19395,
              0.33986,
              0.64475
            ],
            [
              0.02671,
              0.0447,
              0.05847,
              0.08191,
              0.12157,
              0.19393,
              0.33991,
              0.64418
            ],
            [
              0.02671,
              0.04474,
              0.0585,
              0.08196,
              0.12166,
              0.19397,
              0.33987,
              0.64469
            ],
            [
              0.02677,
              0.0448,
              0.05858,
              0.082,
              0.12173,
              0.19392,
              0.33955,
              0.64445
            ],
            [
              0.02713,
              0.04519,
              0.05894,
              0.08233,
              0.12194,
              0.1941,
              0.33946,
              0.64509
            ],
            [
              0.02959,
              0.04724,
              0.06063,
              0.08359,
              0.12286,
              0.19468,
              0.34017,
              0.64453
            ],
            [
              0.03314,
              0.05115,
              0.06454,
              0.08721,
              0.12569,
              0.19639,
              0.34101,
              0.64587
            ],
            [
              0.03765,
              0.05599,
              0.06939,
              0.09207,
              0.13032,
              0.20019,
              0.34249,
              0.64634
            ],
            [
              0.04362,
              0.06246,
              0.07592,
              0.09855,
              0.1366,
              0.20545,
              0.34638,
              0.6475
            ],
            [
              0.0519,
              0.0715,
              0.0853,
              0.1079,
              0.1456,
              0.2138,
              0.352,
              0.6499
            ],
            [
              0.0635,
              0.0844,
              0.0987,
              0.1217,
              0.1598,
              0.2273,
              0.363,
              0.655
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.01792,
              0.04263,
              0.06545,
              0.10963,
              0.19901,
              0.38215,
              0.75123,
              1.4932
            ],
            [
              0.01795,
              0.04263,
              0.06546,
              0.10967,
              0.199,
              0.38188,
              0.75139,
              1.49214
            ],
            [
              0.01795,
              0.04263,
              0.06546,
              0.10965,
              0.19899,
              0.38176,
              0.7518,
              1.49248
            ],
            [
              0.01793,
              0.04263,
              0.06546,
              0.10958,
              0.19898,
              0.38191,
              0.75234,
              1.49181
            ],
            [
              0.01792,
              0.04262,
              0.06546,
              0.10966,
              0.19901,
              0.38229,
              0.75132,
              1.49218
            ],
            [
              0.018,
              0.04266,
              0.06551,
              0.10959,
              0.199,
              0.38222,
              0.75134,
              1.4928
            ],
            [
              0.01871,
              0.04313,
              0.06589,
              0.10992,
              0.19915,
              0.38178,
              0.7511,
              1.49288
            ],
            [
              0.02047,
              0.04468,
              0.06731,
              0.11091,
              0.19965,
              0.38254,
              0.75172,
              1.49444
            ],
            [
              0.02312,
              0.04685,
              0.06953,
              0.11307,
              0.201,
              0.3824,
              0.7517,
              1.4931
            ],
            [
              0.02695,
              0.0502,
              0.07288,
              0.1161,
              0.20324,
              0.38352,
              0.75189,
              1.49454
            ],
            [
              0.03227,
              0.05507,
              0.07779,
              0.12097,
              0.20712,
              0.38576,
              0.75274,
              1.4919
            ],
            [
              0.03961,
              0.06195,
              0.08467,
              0.12804,
              0.2138,
              0.391,
              0.7557,
              1.4935
            ],
            [
              0.0495,
              0.0717,
              0.0942,
              0.1379,
              0.2236,
              0.3995,
              0.7626,
              1.4981
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "positive_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.1079,
              0.1302,
              0.14687,
              0.17439,
              0.21865,
              0.29028,
              0.41446,
              0.64846
            ],
            [
              0.10963,
              0.13193,
              0.1486,
              0.17612,
              0.2204,
              0.29202,
              0.41615,
              0.65018
            ],
            [
              0.1119,
              0.1342,
              0.15087,
              0.17839,
              0.22266,
              0.29429,
              0.41847,
              0.65243
            ],
            [
              0.11554,
              0.13784,
              0.15451,
              0.18202,
              0.22631,
              0.29792,
              0.42212,
              0.65609
            ],
            [
              0.12136,
              0.14364,
              0.1603,
              0.18782,
              0.23209,
              0.30373,
              0.42793,
              0.66192
            ],
            [
              0.13053,
              0.15278,
              0.16942,
              0.19695,
              0.24126,
              0.31289,
              0.43707,
              0.67108
            ],
            [
              0.14472,
              0.16689,
              0.18349,
              0.21099,
              0.25529,
              0.32697,
              0.45117,
              0.68509
            ],
            [
              0.16487,
              0.18729,
              0.20393,
              0.23145,
              0.27586,
              0.34763,
              0.47189,
              0.70598
            ],
            [
              0.19052,
              0.21373,
              0.23086,
              0.25905,
              0.30415,
              0.37636,
              0.50074,
              0.73465
            ],
            [
              0.22425,
              0.24839,
              0.26606,
              0.29504,
              0.3414,
              0.41493,
              0.53994,
              0.77389
            ],
            [
              0.26967,
              0.29498,
              0.3134,
              0.34336,
              0.39116,
              0.46632,
              0.59272,
              0.82712
            ],
            [
              0.33147,
              0.35827,
              0.37777,
              0.40907,
              0.45897,
              0.53657,
              0.66507,
              0.90057
            ],
            [
              0.4159,
              0.4446,
              0.4654,
              0.4989,
              0.5517,
              0.6334,
              0.766,
              1.0038
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.09162,
              0.11305,
              0.13077,
              0.16272,
              0.2222,
              0.33759,
              0.56644,
              1.02327
            ],
            [
              0.09304,
              0.11446,
              0.13217,
              0.16412,
              0.2236,
              0.33904,
              0.56783,
              1.02514
            ],
            [
              0.09482,
              0.11624,
              0.13395,
              0.16589,
              0.22538,
              0.34079,
              0.56954,
              1.02662
            ],
            [
              0.09756,
              0.11897,
              0.13669,
              0.16861,
              0.22809,
              0.34353,
              0.57232,
              1.02917
            ],
            [
              0.10181,
              0.12321,
              0.1409,
              0.1728,
              0.23225,
              0.34765,
              0.57648,
              1.03351
            ],
            [
              0.10811,
              0.12947,
              0.1471,
              0.17891,
              0.2383,
              0.35368,
              0.58246,
              1.03952
            ],
            [
              0.11666,
              0.13794,
              0.15546,
              0.18714,
              0.24634,
              0.36159,
              0.5903,
              1.04753
            ],
            [
              0.12568,
              0.14733,
              0.16499,
              0.19672,
              0.25582,
              0.37086,
              0.59936,
              1.05646
            ],
            [
              0.13402,
              0.15623,
              0.17415,
              0.20615,
              0.26541,
              0.38014,
              0.60864,
              1.06535
            ],
            [
              0.13992,
              0.16303,
              0.18137,
              0.21389,
              0.27336,
              0.38804,
              0.61619,
              1.07259
            ],
            [
              0.14052,
              0.16496,
              0.18393,
              0.21735,
              0.27759,
              0.39247,
              0.62022,
              1.07622
            ],
            [
              0.13147,
              0.15768,
              0.17757,
              0.21227,
              0.27397,
              0.38997,
              0.61827,
              1.07377
            ],
            [
              0.1063,
              0.1347,
              0.1558,
              0.1923,
              0.2562,
              0.3742,
              0.6047,
              1.0617
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.02667,
              0.04465,
              0.05841,
              0.08189,
              0.12165,
              0.19386,
              0.33957,
              0.64428
            ],
            [
              0.02668,
              0.04466,
              0.05842,
              0.08187,
              0.12164,
              0.19371,
              0.33931,
              0.6445
            ],
            [
              0.02668,
              0.04467,
              0.05842,
              0.0819,
              0.12159,
              0.19387,
              0.33977,
              0.64441
            ],
            [
              0.02668,
              0.04466,
              0.05843,
              0.08189,
              0.12157,
              0.19385,
              0.33976,
              0.64433
            ],
            [
              0.02669,
              0.04471,
              0.05846,
              0.08194,
              0.12165,
              0.1939,
              0.33971,
              0.64423
            ],
            [
              0.02674,
              0.04477,
              0.05855,
              0.08198,
              0.1217,
              0.19373,
              0.33975,
              0.64471
            ],
            [
              0.0271,
              0.04516,
              0.0589,
              0.08232,
              0.12192,
              0.19404,
              0.33955,
              0.64436
            ],
            [
              0.02956,
              0.04721,
              0.0606,
              0.08357,
              0.12285,
              0.19461,
              0.34002,
              0.64437
            ],
            [
              0.03313,
              0.05114,
              0.06453,
              0.08721,
              0.12568,
              0.19621,
              0.34064,
              0.64479
            ],
            [
              0.03766,
              0.05597,
              0.06938,
              0.09208,
              0.13029,
              0.20013,
              0.34246,
              0.64585
            ],
            [
              0.04361,
              0.06247,
              0.07593,
              0.09857,
              0.13655,
              0.2054,
              0.34623,
              0.6473
            ],
            [
              0.0519,
              0.0716,
              0.0853,
              0.108,
              0.1457,
              0.2136,
              0.3519,
              0.6497
            ],
            [
              0.0636,
              0.0845,
              0.0987,
              0.1218,
              0.1598,
              0.2273,
              0.3627,
              0.6548
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.0119,
            0.02379,
            0.04758,
            0.09518,
            0.19035,
            0.38071
          ],
          "values": [
            [
              0.01794,
              0.04265,
              0.06549,
              0.10959,
              0.19909,
              0.38242,
              0.75125,
              1.49142
            ],
            [
              0.01798,
              0.04266,
              0.06549,
              0.10973,
              0.19905,
              0.38195,
              0.75142,
              1.49487
            ],
            [
              0.01794,
              0.04264,
              0.06548,
              0.10969,
              0.199,
              0.38166,
              0.75203,
              1.49337
            ],
            [
              0.01793,
              0.04265,
              0.06548,
              0.1097,
              0.19904,
              0.38193,
              0.75137,
              1.4934
            ],
            [
              0.01796,
              0.04265,
              0.0655,
              0.10971,
              0.19905,
              0.38233,
              0.75135,
              1.49239
            ],
            [
              0.01801,
              0.04268,
              0.06554,
              0.10965,
              0.19905,
              0.38226,
              0.75136,
              1.49301
            ],
            [
              0.01873,
              0.04315,
              0.06591,
              0.10995,
              0.19921,
              0.3825,
              0.75252,
              1.49267
            ],
            [
              0.0205,
              0.04471,
              0.06735,
              0.11097,
              0.19972,
              0.38258,
              0.75174,
              1.49445
            ],
            [
              0.02314,
              0.04688,
              0.06957,
              0.11313,
              0.20106,
              0.38246,
              0.75102,
              1.49222
            ],
            [
              0.02697,
              0.05023,
              0.07292,
              0.11616,
              0.20331,
              0.38378,
              0.75191,
              1.49155
            ],
            [
              0.03232,
              0.0551,
              0.07783,
              0.12103,
              0.20718,
              0.3858,
              0.75275,
              1.4923
            ],
            [
              0.03965,
              0.06203,
              0.08474,
              0.1281,
              0.2138,
              0.3911,
              0.7558,
              1.4937
            ],
            [
              0.0496,
              0.0717,
              0.0943,
              0.138,
              0.2237,
              0.3996,
              0.7626,
              1.4981
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CI) | (!A&B&!CI) | (!A&!B&CI) | (A&B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.13378,
              0.11675,
              0.1016,
              0.07333,
              0.01927,
              -0.08696,
              -0.29825,
              -0.71991
            ],
            [
              0.13357,
              0.11652,
              0.10137,
              0.07313,
              0.01905,
              -0.08719,
              -0.29846,
              -0.72013
            ],
            [
              0.13357,
              0.11649,
              0.10138,
              0.07312,
              0.01904,
              -0.0872,
              -0.29847,
              -0.72014
            ],
            [
              0.13383,
              0.1168,
              0.10168,
              0.0734,
              0.01933,
              -0.08691,
              -0.29819,
              -0.71985
            ],
            [
              0.13464,
              0.11759,
              0.10246,
              0.0742,
              0.02013,
              -0.08611,
              -0.29738,
              -0.71905
            ],
            [
              0.13617,
              0.11914,
              0.10403,
              0.07575,
              0.02167,
              -0.08456,
              -0.29584,
              -0.71751
            ],
            [
              0.13895,
              0.1219,
              0.10677,
              0.07851,
              0.02444,
              -0.08179,
              -0.29307,
              -0.71473
            ],
            [
              0.14397,
              0.12688,
              0.11173,
              0.08347,
              0.02941,
              -0.07681,
              -0.28808,
              -0.70974
            ],
            [
              0.15271,
              0.13553,
              0.12041,
              0.09211,
              0.03804,
              -0.06817,
              -0.27944,
              -0.70111
            ],
            [
              0.16815,
              0.15086,
              0.13571,
              0.10743,
              0.05336,
              -0.05285,
              -0.26412,
              -0.68572
            ],
            [
              0.19104,
              0.17371,
              0.15851,
              0.13022,
              0.07616,
              -0.02999,
              -0.2412,
              -0.66283
            ],
            [
              0.22778,
              0.21045,
              0.19524,
              0.16701,
              0.113,
              0.0068,
              -0.20444,
              -0.62604
            ],
            [
              0.28332,
              0.26598,
              0.25074,
              0.2225,
              0.16852,
              0.06242,
              -0.1488,
              -0.57044
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.09684,
              0.10711,
              0.11933,
              0.14463,
              0.1965,
              0.30047,
              0.50939,
              0.92539
            ],
            [
              0.0966,
              0.10687,
              0.11908,
              0.14458,
              0.19626,
              0.30032,
              0.50878,
              0.92641
            ],
            [
              0.09675,
              0.10703,
              0.11928,
              0.14464,
              0.19636,
              0.30049,
              0.50845,
              0.92582
            ],
            [
              0.09701,
              0.10727,
              0.11952,
              0.14493,
              0.19666,
              0.30078,
              0.50866,
              0.9269
            ],
            [
              0.09769,
              0.10798,
              0.12019,
              0.14558,
              0.1973,
              0.3015,
              0.51015,
              0.92643
            ],
            [
              0.09913,
              0.10942,
              0.1217,
              0.14705,
              0.19891,
              0.30278,
              0.51168,
              0.92812
            ],
            [
              0.10197,
              0.11228,
              0.12455,
              0.14999,
              0.20173,
              0.30589,
              0.5141,
              0.93194
            ],
            [
              0.10716,
              0.11751,
              0.12981,
              0.15517,
              0.2071,
              0.31099,
              0.51893,
              0.93718
            ],
            [
              0.11602,
              0.12645,
              0.13871,
              0.16416,
              0.21592,
              0.32009,
              0.52818,
              0.94558
            ],
            [
              0.13155,
              0.14201,
              0.15439,
              0.17986,
              0.2317,
              0.3354,
              0.54337,
              0.96203
            ],
            [
              0.15517,
              0.16565,
              0.17795,
              0.20358,
              0.25549,
              0.35932,
              0.56723,
              0.98399
            ],
            [
              0.19297,
              0.20344,
              0.21576,
              0.24125,
              0.29334,
              0.39738,
              0.60479,
              1.0221
            ],
            [
              0.25061,
              0.26109,
              0.27335,
              0.2988,
              0.3505,
              0.45533,
              0.66307,
              1.07867
            ]
          ]
        },
        "when": "(!B&!CI) | (B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.13395,
              0.13624,
              0.14263,
              0.15848,
              0.194,
              0.26722,
              0.41623,
              0.71475
            ],
            [
              0.13371,
              0.13602,
              0.14236,
              0.1582,
              0.1936,
              0.26741,
              0.41542,
              0.71464
            ],
            [
              0.13383,
              0.13617,
              0.14252,
              0.15838,
              0.19397,
              0.26733,
              0.41588,
              0.71541
            ],
            [
              0.13412,
              0.13643,
              0.1428,
              0.15869,
              0.19401,
              0.26765,
              0.41646,
              0.71437
            ],
            [
              0.13485,
              0.13719,
              0.14354,
              0.1594,
              0.19479,
              0.26839,
              0.41731,
              0.7153
            ],
            [
              0.13648,
              0.13878,
              0.14514,
              0.16101,
              0.19653,
              0.2699,
              0.41815,
              0.71636
            ],
            [
              0.13963,
              0.14193,
              0.14826,
              0.16406,
              0.19961,
              0.27299,
              0.42165,
              0.72153
            ],
            [
              0.14525,
              0.14755,
              0.15382,
              0.16969,
              0.20515,
              0.27865,
              0.42758,
              0.72622
            ],
            [
              0.15478,
              0.15705,
              0.16327,
              0.17908,
              0.21456,
              0.28812,
              0.43684,
              0.73544
            ],
            [
              0.17137,
              0.17357,
              0.17972,
              0.19538,
              0.23066,
              0.30432,
              0.45277,
              0.75161
            ],
            [
              0.19626,
              0.19832,
              0.20431,
              0.21995,
              0.25513,
              0.32825,
              0.47632,
              0.77634
            ],
            [
              0.2359,
              0.23776,
              0.24356,
              0.2588,
              0.2941,
              0.36713,
              0.51529,
              0.81305
            ],
            [
              0.29566,
              0.29722,
              0.30278,
              0.31772,
              0.35255,
              0.42576,
              0.5737,
              0.87234
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.16068,
              0.16679,
              0.17679,
              0.2,
              0.25011,
              0.35344,
              0.56012,
              0.97667
            ],
            [
              0.16039,
              0.16654,
              0.17653,
              0.19967,
              0.24996,
              0.353,
              0.56005,
              0.97508
            ],
            [
              0.16045,
              0.16653,
              0.17655,
              0.19973,
              0.24975,
              0.35292,
              0.56005,
              0.97661
            ],
            [
              0.16072,
              0.16682,
              0.17682,
              0.19993,
              0.2502,
              0.35349,
              0.56032,
              0.97637
            ],
            [
              0.16151,
              0.16761,
              0.17756,
              0.20085,
              0.25105,
              0.35404,
              0.56138,
              0.9776
            ],
            [
              0.16319,
              0.16922,
              0.17921,
              0.20242,
              0.25267,
              0.35544,
              0.56294,
              0.97924
            ],
            [
              0.16603,
              0.17215,
              0.18225,
              0.20534,
              0.25573,
              0.35857,
              0.56582,
              0.98133
            ],
            [
              0.17156,
              0.17752,
              0.18757,
              0.21072,
              0.26089,
              0.36362,
              0.57077,
              0.98741
            ],
            [
              0.1809,
              0.18686,
              0.19675,
              0.21977,
              0.26994,
              0.37291,
              0.58,
              0.99741
            ],
            [
              0.19723,
              0.20299,
              0.21283,
              0.23574,
              0.2859,
              0.38895,
              0.59569,
              1.0131
            ],
            [
              0.22159,
              0.22714,
              0.2369,
              0.25983,
              0.30951,
              0.41254,
              0.61914,
              1.03584
            ],
            [
              0.26058,
              0.2658,
              0.27538,
              0.2984,
              0.34795,
              0.44994,
              0.65783,
              1.07404
            ],
            [
              0.31956,
              0.32436,
              0.33371,
              0.35604,
              0.40581,
              0.50814,
              0.71414,
              1.12963
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.12602,
              0.1089,
              0.09377,
              0.06551,
              0.01143,
              -0.09481,
              -0.3061,
              -0.72778
            ],
            [
              0.12572,
              0.10862,
              0.09349,
              0.06521,
              0.01113,
              -0.09512,
              -0.3064,
              -0.72809
            ],
            [
              0.1258,
              0.10869,
              0.09351,
              0.06521,
              0.01115,
              -0.09509,
              -0.30639,
              -0.72807
            ],
            [
              0.12592,
              0.10883,
              0.09368,
              0.06539,
              0.01131,
              -0.09493,
              -0.30622,
              -0.7279
            ],
            [
              0.12678,
              0.10968,
              0.0945,
              0.06623,
              0.01214,
              -0.0941,
              -0.30539,
              -0.72707
            ],
            [
              0.12865,
              0.11153,
              0.09637,
              0.0681,
              0.01401,
              -0.09224,
              -0.30353,
              -0.7252
            ],
            [
              0.13229,
              0.11517,
              0.09998,
              0.07169,
              0.01761,
              -0.08863,
              -0.29992,
              -0.72159
            ],
            [
              0.1384,
              0.12125,
              0.10606,
              0.07777,
              0.02368,
              -0.08256,
              -0.29383,
              -0.7155
            ],
            [
              0.14776,
              0.13059,
              0.11536,
              0.08705,
              0.03296,
              -0.07327,
              -0.28455,
              -0.7062
            ],
            [
              0.16289,
              0.14558,
              0.13034,
              0.10202,
              0.04792,
              -0.05829,
              -0.26958,
              -0.69118
            ],
            [
              0.18466,
              0.16729,
              0.15202,
              0.12364,
              0.06955,
              -0.03662,
              -0.2478,
              -0.66943
            ],
            [
              0.22048,
              0.20297,
              0.18766,
              0.1593,
              0.10519,
              -0.00103,
              -0.21221,
              -0.63375
            ],
            [
              0.27601,
              0.25839,
              0.24304,
              0.2146,
              0.16051,
              0.05445,
              -0.15674,
              -0.57828
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.07888,
              0.08918,
              0.10144,
              0.12686,
              0.17867,
              0.28288,
              0.49122,
              0.90791
            ],
            [
              0.07881,
              0.08911,
              0.10139,
              0.12684,
              0.17877,
              0.28274,
              0.49165,
              0.90874
            ],
            [
              0.07909,
              0.08939,
              0.10165,
              0.1271,
              0.17897,
              0.28334,
              0.49162,
              0.90791
            ],
            [
              0.07954,
              0.08984,
              0.10211,
              0.12764,
              0.17941,
              0.28379,
              0.4918,
              0.90881
            ],
            [
              0.08053,
              0.09085,
              0.10311,
              0.12853,
              0.18039,
              0.28436,
              0.49319,
              0.9102
            ],
            [
              0.08251,
              0.09283,
              0.10508,
              0.13061,
              0.18249,
              0.28655,
              0.49499,
              0.91154
            ],
            [
              0.08624,
              0.09653,
              0.10879,
              0.13423,
              0.18608,
              0.29004,
              0.49832,
              0.91629
            ],
            [
              0.0928,
              0.10301,
              0.11518,
              0.14052,
              0.19217,
              0.29627,
              0.50377,
              0.92175
            ],
            [
              0.10264,
              0.11278,
              0.12488,
              0.15004,
              0.20156,
              0.30515,
              0.5143,
              0.93004
            ],
            [
              0.1186,
              0.12865,
              0.14075,
              0.16583,
              0.21724,
              0.32085,
              0.52879,
              0.94717
            ],
            [
              0.14256,
              0.15249,
              0.16449,
              0.18961,
              0.24079,
              0.34439,
              0.5517,
              0.96899
            ],
            [
              0.18298,
              0.19273,
              0.2046,
              0.22952,
              0.2808,
              0.38396,
              0.5913,
              1.00765
            ],
            [
              0.24605,
              0.25569,
              0.26744,
              0.29208,
              0.34283,
              0.44625,
              0.65368,
              1.06954
            ]
          ]
        },
        "when": "(!A&!CI) | (A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.11293,
              0.1152,
              0.12147,
              0.13727,
              0.17264,
              0.24637,
              0.39516,
              0.69358
            ],
            [
              0.11279,
              0.11505,
              0.12129,
              0.13711,
              0.1727,
              0.24627,
              0.3944,
              0.69356
            ],
            [
              0.11295,
              0.1152,
              0.12144,
              0.13736,
              0.17268,
              0.24629,
              0.3944,
              0.69245
            ],
            [
              0.11324,
              0.11549,
              0.12175,
              0.13752,
              0.17301,
              0.24676,
              0.39531,
              0.69476
            ],
            [
              0.11384,
              0.11607,
              0.12233,
              0.13817,
              0.17363,
              0.24695,
              0.3959,
              0.69534
            ],
            [
              0.11519,
              0.11744,
              0.12367,
              0.13946,
              0.17491,
              0.2484,
              0.39652,
              0.69681
            ],
            [
              0.11793,
              0.12017,
              0.12642,
              0.14219,
              0.17753,
              0.25087,
              0.39929,
              0.69801
            ],
            [
              0.1233,
              0.12544,
              0.13167,
              0.14722,
              0.18237,
              0.25536,
              0.40441,
              0.70359
            ],
            [
              0.13196,
              0.13399,
              0.14016,
              0.15571,
              0.19069,
              0.26337,
              0.41196,
              0.71036
            ],
            [
              0.1472,
              0.14908,
              0.1552,
              0.17054,
              0.20494,
              0.27766,
              0.4261,
              0.72343
            ],
            [
              0.1709,
              0.17241,
              0.17838,
              0.19347,
              0.22768,
              0.29973,
              0.44711,
              0.74628
            ],
            [
              0.21199,
              0.21302,
              0.2185,
              0.23313,
              0.26686,
              0.33809,
              0.48415,
              0.78299
            ],
            [
              0.27703,
              0.27741,
              0.28233,
              0.29591,
              0.32848,
              0.39862,
              0.54384,
              0.84016
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.14705,
              0.15324,
              0.16349,
              0.1867,
              0.23709,
              0.33996,
              0.54709,
              0.96253
            ],
            [
              0.14667,
              0.15297,
              0.16309,
              0.1864,
              0.2366,
              0.3397,
              0.54659,
              0.96313
            ],
            [
              0.14656,
              0.15279,
              0.16293,
              0.18623,
              0.23636,
              0.33955,
              0.54684,
              0.96353
            ],
            [
              0.14668,
              0.15297,
              0.16303,
              0.18634,
              0.23656,
              0.33984,
              0.54663,
              0.96297
            ],
            [
              0.14737,
              0.15361,
              0.16373,
              0.18687,
              0.23697,
              0.34015,
              0.54654,
              0.96449
            ],
            [
              0.14903,
              0.15513,
              0.16528,
              0.18854,
              0.23849,
              0.34138,
              0.54856,
              0.9657
            ],
            [
              0.15235,
              0.15847,
              0.1685,
              0.19151,
              0.2417,
              0.34437,
              0.55186,
              0.96863
            ],
            [
              0.15833,
              0.16427,
              0.17423,
              0.19703,
              0.24696,
              0.34969,
              0.55694,
              0.97404
            ],
            [
              0.16804,
              0.17371,
              0.18342,
              0.20604,
              0.25559,
              0.35817,
              0.56539,
              0.98099
            ],
            [
              0.18387,
              0.18926,
              0.19868,
              0.22107,
              0.27034,
              0.37216,
              0.57931,
              0.99483
            ],
            [
              0.20717,
              0.21211,
              0.22119,
              0.24316,
              0.29164,
              0.39339,
              0.59923,
              1.01674
            ],
            [
              0.24528,
              0.24961,
              0.25822,
              0.27955,
              0.32773,
              0.42835,
              0.63504,
              1.05092
            ],
            [
              0.30462,
              0.30812,
              0.31608,
              0.33647,
              0.38362,
              0.48386,
              0.68818,
              1.10465
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.08806,
              0.07105,
              0.05581,
              0.02721,
              -0.02728,
              -0.13382,
              -0.34532,
              -0.76716
            ],
            [
              0.08796,
              0.07093,
              0.0557,
              0.02711,
              -0.02739,
              -0.13393,
              -0.34542,
              -0.76727
            ],
            [
              0.08791,
              0.07088,
              0.05565,
              0.02707,
              -0.02742,
              -0.13397,
              -0.34546,
              -0.7673
            ],
            [
              0.08794,
              0.07093,
              0.0557,
              0.02708,
              -0.02739,
              -0.13394,
              -0.34543,
              -0.76726
            ],
            [
              0.08822,
              0.07116,
              0.05593,
              0.02731,
              -0.02719,
              -0.13372,
              -0.3452,
              -0.76705
            ],
            [
              0.08886,
              0.07177,
              0.05646,
              0.02785,
              -0.02664,
              -0.13318,
              -0.34466,
              -0.76649
            ],
            [
              0.09061,
              0.07342,
              0.05803,
              0.02932,
              -0.02524,
              -0.13181,
              -0.34331,
              -0.76515
            ],
            [
              0.09469,
              0.07719,
              0.06164,
              0.03265,
              -0.02215,
              -0.12889,
              -0.34049,
              -0.76238
            ],
            [
              0.10164,
              0.08379,
              0.06791,
              0.03851,
              -0.01673,
              -0.12378,
              -0.33558,
              -0.75763
            ],
            [
              0.11324,
              0.09483,
              0.07858,
              0.04863,
              -0.00721,
              -0.11476,
              -0.32687,
              -0.7491
            ],
            [
              0.12901,
              0.11005,
              0.09338,
              0.06273,
              0.00602,
              -0.10221,
              -0.31477,
              -0.73728
            ],
            [
              0.15422,
              0.13467,
              0.11748,
              0.08595,
              0.02815,
              -0.08121,
              -0.29458,
              -0.71759
            ],
            [
              0.19137,
              0.17116,
              0.15331,
              0.12075,
              0.06135,
              -0.04957,
              -0.26423,
              -0.68819
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.05361,
              0.0644,
              0.07691,
              0.10269,
              0.15488,
              0.25934,
              0.46698,
              0.8849
            ],
            [
              0.0535,
              0.06427,
              0.07679,
              0.10261,
              0.15485,
              0.25913,
              0.46697,
              0.88504
            ],
            [
              0.05357,
              0.06434,
              0.07686,
              0.10274,
              0.15468,
              0.25923,
              0.46735,
              0.88398
            ],
            [
              0.05367,
              0.06445,
              0.07694,
              0.10271,
              0.15498,
              0.25932,
              0.46704,
              0.88465
            ],
            [
              0.05419,
              0.06493,
              0.07739,
              0.10317,
              0.15532,
              0.25971,
              0.46812,
              0.8848
            ],
            [
              0.05543,
              0.06611,
              0.07853,
              0.10419,
              0.15625,
              0.26074,
              0.46907,
              0.88562
            ],
            [
              0.05803,
              0.06848,
              0.08074,
              0.1062,
              0.15802,
              0.26211,
              0.47,
              0.88733
            ],
            [
              0.06247,
              0.07245,
              0.08443,
              0.10966,
              0.16116,
              0.26503,
              0.47302,
              0.88975
            ],
            [
              0.06928,
              0.07866,
              0.09035,
              0.11514,
              0.16601,
              0.26964,
              0.47745,
              0.89542
            ],
            [
              0.08086,
              0.08941,
              0.10077,
              0.12515,
              0.17557,
              0.27854,
              0.48608,
              0.90313
            ],
            [
              0.09745,
              0.10503,
              0.11584,
              0.13961,
              0.18934,
              0.29161,
              0.49804,
              0.91446
            ],
            [
              0.12383,
              0.13029,
              0.14038,
              0.16327,
              0.2121,
              0.31327,
              0.51857,
              0.93389
            ],
            [
              0.16234,
              0.16762,
              0.17681,
              0.19858,
              0.24603,
              0.3461,
              0.55063,
              0.96432
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.09063,
              0.0934,
              0.09973,
              0.11575,
              0.15151,
              0.22507,
              0.37417,
              0.67287
            ],
            [
              0.09052,
              0.0933,
              0.09962,
              0.11565,
              0.15138,
              0.22511,
              0.3741,
              0.67264
            ],
            [
              0.0906,
              0.09335,
              0.09968,
              0.1157,
              0.15144,
              0.225,
              0.37341,
              0.6728
            ],
            [
              0.09069,
              0.09345,
              0.09979,
              0.11577,
              0.15141,
              0.22506,
              0.3742,
              0.67257
            ],
            [
              0.09107,
              0.09386,
              0.10015,
              0.1161,
              0.15182,
              0.22547,
              0.37444,
              0.67278
            ],
            [
              0.09208,
              0.09483,
              0.10106,
              0.11691,
              0.15252,
              0.22584,
              0.37512,
              0.67455
            ],
            [
              0.09436,
              0.09688,
              0.10298,
              0.11867,
              0.15401,
              0.2273,
              0.37557,
              0.67589
            ],
            [
              0.0984,
              0.10058,
              0.1064,
              0.12173,
              0.15658,
              0.23001,
              0.37875,
              0.67798
            ],
            [
              0.10477,
              0.10635,
              0.11185,
              0.12674,
              0.16127,
              0.23393,
              0.38227,
              0.68078
            ],
            [
              0.11574,
              0.11656,
              0.12163,
              0.13594,
              0.16967,
              0.24194,
              0.39007,
              0.68722
            ],
            [
              0.13131,
              0.13119,
              0.1357,
              0.14934,
              0.18231,
              0.25341,
              0.40048,
              0.69918
            ],
            [
              0.15679,
              0.15557,
              0.15929,
              0.17194,
              0.20397,
              0.27392,
              0.41976,
              0.7152
            ],
            [
              0.19449,
              0.19207,
              0.19485,
              0.20625,
              0.23677,
              0.30534,
              0.44955,
              0.74535
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.11339,
              0.12006,
              0.13023,
              0.1535,
              0.20312,
              0.30555,
              0.51285,
              0.92783
            ],
            [
              0.1133,
              0.11997,
              0.13017,
              0.15322,
              0.20293,
              0.30579,
              0.51228,
              0.92787
            ],
            [
              0.11327,
              0.11995,
              0.1301,
              0.1533,
              0.20297,
              0.30552,
              0.51233,
              0.92697
            ],
            [
              0.11334,
              0.11997,
              0.13011,
              0.15328,
              0.203,
              0.30583,
              0.5126,
              0.92912
            ],
            [
              0.11355,
              0.12025,
              0.13035,
              0.1534,
              0.20314,
              0.30606,
              0.51266,
              0.92875
            ],
            [
              0.11416,
              0.12078,
              0.13095,
              0.15396,
              0.20369,
              0.30602,
              0.5134,
              0.92991
            ],
            [
              0.11579,
              0.12232,
              0.13239,
              0.15536,
              0.20498,
              0.30716,
              0.51415,
              0.92987
            ],
            [
              0.11958,
              0.12584,
              0.13576,
              0.15843,
              0.20789,
              0.30986,
              0.51659,
              0.93213
            ],
            [
              0.12656,
              0.13236,
              0.14192,
              0.16407,
              0.21301,
              0.31497,
              0.52134,
              0.93759
            ],
            [
              0.13798,
              0.14324,
              0.15238,
              0.1739,
              0.22205,
              0.32372,
              0.52949,
              0.94311
            ],
            [
              0.15362,
              0.15815,
              0.16673,
              0.18766,
              0.23489,
              0.33494,
              0.54051,
              0.95608
            ],
            [
              0.17841,
              0.18212,
              0.19002,
              0.20999,
              0.25618,
              0.35507,
              0.55964,
              0.97316
            ],
            [
              0.21527,
              0.21806,
              0.22517,
              0.24387,
              0.28855,
              0.38614,
              0.58842,
              1.00145
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.29478,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.1931,
              0.21663,
              0.23364,
              0.26131,
              0.3068,
              0.38442,
              0.52493,
              0.79553
            ],
            [
              0.19491,
              0.21844,
              0.23545,
              0.26312,
              0.3086,
              0.38622,
              0.5267,
              0.79739
            ],
            [
              0.19737,
              0.22089,
              0.23791,
              0.26558,
              0.31106,
              0.38868,
              0.52917,
              0.79984
            ],
            [
              0.20131,
              0.22484,
              0.24185,
              0.26953,
              0.31501,
              0.39264,
              0.53312,
              0.804
            ],
            [
              0.20737,
              0.23089,
              0.24791,
              0.27558,
              0.32105,
              0.39866,
              0.53906,
              0.81006
            ],
            [
              0.21609,
              0.23959,
              0.25659,
              0.28425,
              0.32971,
              0.40731,
              0.54776,
              0.81892
            ],
            [
              0.22839,
              0.25183,
              0.26879,
              0.29639,
              0.34182,
              0.41939,
              0.55985,
              0.83043
            ],
            [
              0.24583,
              0.26916,
              0.28604,
              0.31354,
              0.35885,
              0.43636,
              0.57681,
              0.84776
            ],
            [
              0.26999,
              0.29313,
              0.30985,
              0.33717,
              0.38233,
              0.45973,
              0.60011,
              0.87075
            ],
            [
              0.30216,
              0.32505,
              0.34162,
              0.36877,
              0.41375,
              0.49099,
              0.63129,
              0.90189
            ],
            [
              0.34481,
              0.3674,
              0.38381,
              0.41077,
              0.45562,
              0.53272,
              0.67262,
              0.94322
            ],
            [
              0.40097,
              0.42327,
              0.43957,
              0.46637,
              0.51107,
              0.58797,
              0.72787,
              0.99827
            ],
            [
              0.4763,
              0.4985,
              0.5147,
              0.5414,
              0.5859,
              0.6626,
              0.8022,
              1.0727
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.17275,
              0.19522,
              0.21332,
              0.24576,
              0.3071,
              0.42822,
              0.66889,
              1.15077
            ],
            [
              0.17413,
              0.19659,
              0.21467,
              0.24712,
              0.30845,
              0.42932,
              0.6702,
              1.15314
            ],
            [
              0.17587,
              0.19833,
              0.21641,
              0.24887,
              0.31017,
              0.43108,
              0.67186,
              1.15452
            ],
            [
              0.1783,
              0.20078,
              0.21887,
              0.25131,
              0.31267,
              0.43372,
              0.67431,
              1.15718
            ],
            [
              0.18128,
              0.20375,
              0.22185,
              0.25429,
              0.31564,
              0.43674,
              0.67736,
              1.16001
            ],
            [
              0.18458,
              0.20703,
              0.22511,
              0.25758,
              0.31889,
              0.43981,
              0.6809,
              1.16332
            ],
            [
              0.1879,
              0.21034,
              0.22843,
              0.26088,
              0.32226,
              0.44322,
              0.68423,
              1.16703
            ],
            [
              0.19066,
              0.21307,
              0.23115,
              0.26359,
              0.32499,
              0.44607,
              0.68699,
              1.16966
            ],
            [
              0.19178,
              0.21415,
              0.2322,
              0.26459,
              0.3259,
              0.44667,
              0.68777,
              1.17015
            ],
            [
              0.18934,
              0.21165,
              0.22967,
              0.26209,
              0.32337,
              0.44417,
              0.68519,
              1.16699
            ],
            [
              0.18057,
              0.20282,
              0.22083,
              0.25318,
              0.31449,
              0.43552,
              0.67612,
              1.15922
            ],
            [
              0.16177,
              0.18397,
              0.20197,
              0.23437,
              0.29557,
              0.41637,
              0.65747,
              1.13847
            ],
            [
              0.1277,
              0.15,
              0.1679,
              0.2002,
              0.2615,
              0.3822,
              0.6232,
              1.1051
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02603,
              0.04465,
              0.05831,
              0.08229,
              0.1265,
              0.21166,
              0.38464,
              0.74314
            ],
            [
              0.02603,
              0.0446,
              0.05829,
              0.08229,
              0.12648,
              0.21158,
              0.38473,
              0.74311
            ],
            [
              0.02603,
              0.0446,
              0.05829,
              0.08229,
              0.12648,
              0.21158,
              0.38473,
              0.74313
            ],
            [
              0.02604,
              0.04464,
              0.05836,
              0.08239,
              0.12643,
              0.21183,
              0.38504,
              0.74312
            ],
            [
              0.02604,
              0.0446,
              0.05833,
              0.08236,
              0.12645,
              0.21164,
              0.38499,
              0.74272
            ],
            [
              0.02602,
              0.04459,
              0.0583,
              0.08233,
              0.12637,
              0.21177,
              0.38512,
              0.74298
            ],
            [
              0.02603,
              0.04454,
              0.05821,
              0.08223,
              0.12633,
              0.21165,
              0.38464,
              0.74316
            ],
            [
              0.02601,
              0.04438,
              0.05799,
              0.08198,
              0.12611,
              0.2116,
              0.38441,
              0.74326
            ],
            [
              0.0262,
              0.04436,
              0.05785,
              0.08173,
              0.12589,
              0.21136,
              0.38468,
              0.74345
            ],
            [
              0.02638,
              0.04428,
              0.05761,
              0.08144,
              0.12549,
              0.21092,
              0.38411,
              0.74328
            ],
            [
              0.02641,
              0.04403,
              0.05731,
              0.08114,
              0.12522,
              0.21061,
              0.3844,
              0.7433
            ],
            [
              0.0262,
              0.0437,
              0.0569,
              0.0807,
              0.1247,
              0.2102,
              0.3832,
              0.742
            ],
            [
              0.0259,
              0.0433,
              0.0565,
              0.0803,
              0.1242,
              0.2095,
              0.3836,
              0.741
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01952,
              0.0435,
              0.06527,
              0.10865,
              0.19834,
              0.38267,
              0.75237,
              1.49615
            ],
            [
              0.01951,
              0.04351,
              0.06524,
              0.10846,
              0.19809,
              0.38172,
              0.75186,
              1.49577
            ],
            [
              0.0195,
              0.0435,
              0.06527,
              0.10843,
              0.19816,
              0.38176,
              0.75251,
              1.49766
            ],
            [
              0.0195,
              0.04353,
              0.06528,
              0.10864,
              0.19816,
              0.38173,
              0.75442,
              1.49582
            ],
            [
              0.01949,
              0.0435,
              0.06526,
              0.10863,
              0.19824,
              0.38179,
              0.75236,
              1.49706
            ],
            [
              0.01943,
              0.0434,
              0.06521,
              0.10838,
              0.19815,
              0.38172,
              0.75199,
              1.49762
            ],
            [
              0.01935,
              0.04336,
              0.06518,
              0.10856,
              0.19803,
              0.38293,
              0.75216,
              1.49501
            ],
            [
              0.01925,
              0.04329,
              0.06509,
              0.10852,
              0.19789,
              0.38173,
              0.75245,
              1.4947
            ],
            [
              0.01913,
              0.0431,
              0.06508,
              0.10837,
              0.19819,
              0.3819,
              0.75433,
              1.4956
            ],
            [
              0.01897,
              0.04298,
              0.06487,
              0.10823,
              0.19799,
              0.382,
              0.75422,
              1.4967
            ],
            [
              0.01884,
              0.04296,
              0.06478,
              0.10826,
              0.19794,
              0.38214,
              0.75316,
              1.4978
            ],
            [
              0.01881,
              0.04281,
              0.0646,
              0.1083,
              0.1977,
              0.3818,
              0.7526,
              1.4948
            ],
            [
              0.0188,
              0.043,
              0.0648,
              0.1083,
              0.1977,
              0.3817,
              0.752,
              1.4936
            ]
          ]
        },
        "sdf_cond": "(!B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.17227,
              0.1946,
              0.21086,
              0.23745,
              0.28108,
              0.35574,
              0.49348,
              0.76333
            ],
            [
              0.17364,
              0.19597,
              0.21224,
              0.23882,
              0.28245,
              0.35709,
              0.49483,
              0.76495
            ],
            [
              0.17538,
              0.19771,
              0.21397,
              0.24055,
              0.28419,
              0.35884,
              0.49657,
              0.76666
            ],
            [
              0.17791,
              0.20025,
              0.21652,
              0.2431,
              0.28673,
              0.3614,
              0.499,
              0.76946
            ],
            [
              0.18136,
              0.20372,
              0.21999,
              0.24658,
              0.2902,
              0.36487,
              0.50251,
              0.7723
            ],
            [
              0.18564,
              0.20806,
              0.22434,
              0.25094,
              0.29457,
              0.36922,
              0.50693,
              0.77735
            ],
            [
              0.19046,
              0.21296,
              0.22928,
              0.25588,
              0.29951,
              0.37418,
              0.51189,
              0.78205
            ],
            [
              0.19517,
              0.2178,
              0.23416,
              0.26079,
              0.30444,
              0.37912,
              0.51682,
              0.78691
            ],
            [
              0.19856,
              0.22136,
              0.23777,
              0.26444,
              0.30813,
              0.38285,
              0.52054,
              0.79085
            ],
            [
              0.19899,
              0.22204,
              0.23855,
              0.2653,
              0.30906,
              0.38378,
              0.52154,
              0.79139
            ],
            [
              0.19372,
              0.21715,
              0.23379,
              0.26068,
              0.3046,
              0.3795,
              0.51732,
              0.78722
            ],
            [
              0.17867,
              0.20267,
              0.21947,
              0.24657,
              0.29077,
              0.36587,
              0.50387,
              0.77417
            ],
            [
              0.148,
              0.1726,
              0.1897,
              0.2172,
              0.2617,
              0.3371,
              0.4753,
              0.7455
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.17657,
              0.19935,
              0.21787,
              0.25109,
              0.31316,
              0.43414,
              0.6749,
              1.15647
            ],
            [
              0.1784,
              0.20118,
              0.2197,
              0.25293,
              0.31501,
              0.43597,
              0.67674,
              1.15834
            ],
            [
              0.18083,
              0.20361,
              0.22213,
              0.25536,
              0.31744,
              0.4384,
              0.67915,
              1.16062
            ],
            [
              0.18471,
              0.20749,
              0.22601,
              0.25923,
              0.32132,
              0.44227,
              0.68307,
              1.16457
            ],
            [
              0.19081,
              0.21358,
              0.2321,
              0.26533,
              0.32742,
              0.44837,
              0.68918,
              1.17071
            ],
            [
              0.20009,
              0.22288,
              0.2414,
              0.27463,
              0.33671,
              0.45764,
              0.69847,
              1.18002
            ],
            [
              0.21383,
              0.23663,
              0.25515,
              0.28838,
              0.35044,
              0.47137,
              0.71213,
              1.19363
            ],
            [
              0.23333,
              0.25616,
              0.27468,
              0.30789,
              0.36991,
              0.49079,
              0.73161,
              1.21306
            ],
            [
              0.25954,
              0.28244,
              0.30095,
              0.33416,
              0.39611,
              0.51702,
              0.75765,
              1.23925
            ],
            [
              0.2946,
              0.3176,
              0.33614,
              0.36933,
              0.43126,
              0.55208,
              0.79279,
              1.27409
            ],
            [
              0.34234,
              0.36554,
              0.38412,
              0.41732,
              0.47912,
              0.59982,
              0.84052,
              1.32182
            ],
            [
              0.40727,
              0.43087,
              0.44957,
              0.48277,
              0.54457,
              0.66517,
              0.90567,
              1.38697
            ],
            [
              0.4956,
              0.5196,
              0.5386,
              0.572,
              0.6337,
              0.7541,
              0.9945,
              1.4756
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02461,
              0.04235,
              0.05549,
              0.07857,
              0.1211,
              0.20497,
              0.37922,
              0.74162
            ],
            [
              0.0246,
              0.04233,
              0.05548,
              0.0786,
              0.12105,
              0.20482,
              0.37936,
              0.74104
            ],
            [
              0.0246,
              0.04233,
              0.05546,
              0.07859,
              0.12104,
              0.20482,
              0.37937,
              0.74068
            ],
            [
              0.02461,
              0.04235,
              0.05551,
              0.07859,
              0.1211,
              0.20508,
              0.37966,
              0.7409
            ],
            [
              0.02458,
              0.04236,
              0.05553,
              0.07861,
              0.1211,
              0.20508,
              0.37975,
              0.74154
            ],
            [
              0.02457,
              0.0424,
              0.05554,
              0.07862,
              0.12106,
              0.20491,
              0.37947,
              0.74091
            ],
            [
              0.02459,
              0.04249,
              0.05563,
              0.07869,
              0.12115,
              0.20489,
              0.3795,
              0.74036
            ],
            [
              0.02471,
              0.04272,
              0.05582,
              0.07881,
              0.12116,
              0.20511,
              0.37956,
              0.74034
            ],
            [
              0.02496,
              0.04302,
              0.0561,
              0.07909,
              0.12138,
              0.20514,
              0.37985,
              0.74121
            ],
            [
              0.02551,
              0.04363,
              0.05669,
              0.07955,
              0.12167,
              0.20538,
              0.37921,
              0.74123
            ],
            [
              0.02656,
              0.04465,
              0.05763,
              0.08029,
              0.12239,
              0.20572,
              0.37936,
              0.7414
            ],
            [
              0.02805,
              0.0462,
              0.0591,
              0.0815,
              0.1233,
              0.2067,
              0.38,
              0.7399
            ],
            [
              0.0301,
              0.0483,
              0.061,
              0.0832,
              0.1247,
              0.2074,
              0.3807,
              0.7408
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01957,
              0.0443,
              0.06669,
              0.11035,
              0.19929,
              0.38211,
              0.75179,
              1.49382
            ],
            [
              0.01957,
              0.04431,
              0.06669,
              0.11035,
              0.19932,
              0.38224,
              0.75163,
              1.49338
            ],
            [
              0.01957,
              0.04431,
              0.0667,
              0.11035,
              0.19931,
              0.38224,
              0.75219,
              1.4953
            ],
            [
              0.01957,
              0.04431,
              0.0667,
              0.11039,
              0.19934,
              0.38209,
              0.75186,
              1.49429
            ],
            [
              0.01957,
              0.04432,
              0.06672,
              0.11033,
              0.19926,
              0.38235,
              0.75239,
              1.4933
            ],
            [
              0.01962,
              0.04435,
              0.06677,
              0.11033,
              0.19933,
              0.38186,
              0.75161,
              1.49742
            ],
            [
              0.01972,
              0.04442,
              0.06686,
              0.11039,
              0.19944,
              0.38215,
              0.75162,
              1.49274
            ],
            [
              0.01999,
              0.04464,
              0.06699,
              0.11051,
              0.19958,
              0.38215,
              0.75211,
              1.49295
            ],
            [
              0.02049,
              0.04502,
              0.06738,
              0.11082,
              0.19964,
              0.38187,
              0.7518,
              1.49456
            ],
            [
              0.02112,
              0.04553,
              0.06784,
              0.11122,
              0.19973,
              0.38224,
              0.7528,
              1.4933
            ],
            [
              0.02205,
              0.0463,
              0.0686,
              0.1118,
              0.20023,
              0.3821,
              0.7515,
              1.4941
            ],
            [
              0.0238,
              0.0476,
              0.0698,
              0.1128,
              0.2008,
              0.3827,
              0.7519,
              1.4932
            ],
            [
              0.0268,
              0.0498,
              0.0718,
              0.1146,
              0.2019,
              0.3833,
              0.7527,
              1.4954
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.17232,
              0.1957,
              0.21254,
              0.24005,
              0.28539,
              0.36276,
              0.50306,
              0.77447
            ],
            [
              0.17369,
              0.19707,
              0.21392,
              0.24143,
              0.28677,
              0.36416,
              0.50458,
              0.77565
            ],
            [
              0.17544,
              0.19882,
              0.21567,
              0.24318,
              0.28851,
              0.3659,
              0.50618,
              0.77737
            ],
            [
              0.17799,
              0.20137,
              0.21823,
              0.24574,
              0.29107,
              0.36847,
              0.5088,
              0.78
            ],
            [
              0.18143,
              0.20484,
              0.2217,
              0.24922,
              0.29458,
              0.37197,
              0.51226,
              0.78342
            ],
            [
              0.18578,
              0.20926,
              0.22614,
              0.25369,
              0.29906,
              0.37648,
              0.51692,
              0.78803
            ],
            [
              0.1909,
              0.21446,
              0.23139,
              0.25898,
              0.30439,
              0.38183,
              0.52218,
              0.7934
            ],
            [
              0.19618,
              0.21986,
              0.23684,
              0.26449,
              0.30996,
              0.38747,
              0.52781,
              0.79895
            ],
            [
              0.20039,
              0.22418,
              0.24124,
              0.26896,
              0.31454,
              0.39215,
              0.53258,
              0.80375
            ],
            [
              0.20196,
              0.22586,
              0.24301,
              0.27086,
              0.31655,
              0.39418,
              0.53465,
              0.80599
            ],
            [
              0.19814,
              0.22214,
              0.23941,
              0.26741,
              0.3133,
              0.39121,
              0.53182,
              0.80302
            ],
            [
              0.18487,
              0.20907,
              0.22647,
              0.25467,
              0.30077,
              0.37897,
              0.51987,
              0.79117
            ],
            [
              0.1564,
              0.1807,
              0.1983,
              0.2268,
              0.2733,
              0.3517,
              0.493,
              0.7644
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.16824,
              0.19092,
              0.20923,
              0.24193,
              0.3034,
              0.42419,
              0.66501,
              1.14637
            ],
            [
              0.17004,
              0.19273,
              0.21104,
              0.24373,
              0.30518,
              0.42602,
              0.66683,
              1.14814
            ],
            [
              0.17244,
              0.19512,
              0.21343,
              0.24613,
              0.30761,
              0.42841,
              0.66921,
              1.15052
            ],
            [
              0.17627,
              0.19895,
              0.21726,
              0.24996,
              0.31139,
              0.43224,
              0.67305,
              1.15437
            ],
            [
              0.18227,
              0.20496,
              0.22326,
              0.25596,
              0.31745,
              0.43824,
              0.67904,
              1.16041
            ],
            [
              0.19139,
              0.21407,
              0.23238,
              0.26507,
              0.32655,
              0.44734,
              0.68814,
              1.16962
            ],
            [
              0.20466,
              0.22735,
              0.24565,
              0.27832,
              0.33979,
              0.46059,
              0.70138,
              1.18273
            ],
            [
              0.2232,
              0.2459,
              0.26418,
              0.29683,
              0.35827,
              0.479,
              0.71982,
              1.20116
            ],
            [
              0.24812,
              0.27089,
              0.28916,
              0.32182,
              0.38317,
              0.50392,
              0.74469,
              1.22605
            ],
            [
              0.28158,
              0.30445,
              0.32277,
              0.35539,
              0.41679,
              0.53745,
              0.77809,
              1.25939
            ],
            [
              0.32702,
              0.35006,
              0.36843,
              0.40107,
              0.46242,
              0.58292,
              0.82362,
              1.30502
            ],
            [
              0.38867,
              0.41207,
              0.43047,
              0.46317,
              0.52437,
              0.64487,
              0.88547,
              1.36677
            ],
            [
              0.4723,
              0.4962,
              0.5148,
              0.5477,
              0.6088,
              0.7291,
              0.9696,
              1.4508
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02534,
              0.0439,
              0.05751,
              0.08156,
              0.12569,
              0.21091,
              0.38481,
              0.74291
            ],
            [
              0.02535,
              0.04388,
              0.05751,
              0.08152,
              0.12567,
              0.21112,
              0.38436,
              0.74267
            ],
            [
              0.02535,
              0.04389,
              0.05751,
              0.08153,
              0.12567,
              0.21105,
              0.3848,
              0.74301
            ],
            [
              0.02536,
              0.04388,
              0.05749,
              0.08152,
              0.12565,
              0.21095,
              0.3846,
              0.74322
            ],
            [
              0.02539,
              0.0439,
              0.05751,
              0.08158,
              0.12575,
              0.21085,
              0.38482,
              0.74265
            ],
            [
              0.02544,
              0.044,
              0.05762,
              0.08163,
              0.12574,
              0.21118,
              0.38427,
              0.74324
            ],
            [
              0.02559,
              0.04412,
              0.05774,
              0.08173,
              0.12582,
              0.21097,
              0.38492,
              0.74281
            ],
            [
              0.0259,
              0.04437,
              0.05796,
              0.08197,
              0.12606,
              0.21131,
              0.38496,
              0.74296
            ],
            [
              0.02632,
              0.04471,
              0.05826,
              0.08224,
              0.12632,
              0.21156,
              0.38484,
              0.74351
            ],
            [
              0.02707,
              0.04532,
              0.05887,
              0.08274,
              0.12654,
              0.21151,
              0.38514,
              0.74322
            ],
            [
              0.02821,
              0.04624,
              0.05972,
              0.08349,
              0.12741,
              0.21235,
              0.38457,
              0.7434
            ],
            [
              0.0296,
              0.0476,
              0.0609,
              0.0845,
              0.1283,
              0.213,
              0.3857,
              0.743
            ],
            [
              0.0314,
              0.0494,
              0.0626,
              0.086,
              0.1296,
              0.2142,
              0.3867,
              0.7443
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01947,
              0.04402,
              0.06596,
              0.10902,
              0.19834,
              0.38147,
              0.75142,
              1.494
            ],
            [
              0.01947,
              0.04399,
              0.06592,
              0.10904,
              0.19832,
              0.3814,
              0.75159,
              1.49545
            ],
            [
              0.01946,
              0.04402,
              0.06596,
              0.10901,
              0.19835,
              0.38169,
              0.75147,
              1.49339
            ],
            [
              0.01947,
              0.04399,
              0.06593,
              0.10904,
              0.19832,
              0.38148,
              0.7526,
              1.49566
            ],
            [
              0.01946,
              0.04402,
              0.06596,
              0.10902,
              0.19835,
              0.38171,
              0.75123,
              1.49565
            ],
            [
              0.01949,
              0.04403,
              0.06596,
              0.10902,
              0.19833,
              0.3817,
              0.75134,
              1.49359
            ],
            [
              0.01957,
              0.04408,
              0.06597,
              0.10905,
              0.19812,
              0.38143,
              0.75253,
              1.49347
            ],
            [
              0.01977,
              0.04419,
              0.06611,
              0.10914,
              0.19845,
              0.38174,
              0.7517,
              1.49262
            ],
            [
              0.02021,
              0.04459,
              0.06644,
              0.10936,
              0.19851,
              0.38167,
              0.75164,
              1.49252
            ],
            [
              0.02087,
              0.04507,
              0.06688,
              0.10971,
              0.19848,
              0.38137,
              0.7512,
              1.4939
            ],
            [
              0.02184,
              0.04588,
              0.06762,
              0.11033,
              0.19892,
              0.38175,
              0.7516,
              1.4928
            ],
            [
              0.0233,
              0.0471,
              0.0688,
              0.1112,
              0.1995,
              0.3819,
              0.7519,
              1.493
            ],
            [
              0.0254,
              0.0489,
              0.0704,
              0.1126,
              0.2002,
              0.3826,
              0.752,
              1.4933
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.18316,
              0.20545,
              0.2215,
              0.24763,
              0.29084,
              0.36541,
              0.50336,
              0.77333
            ],
            [
              0.18495,
              0.20724,
              0.2233,
              0.24943,
              0.29264,
              0.36724,
              0.50515,
              0.77544
            ],
            [
              0.18739,
              0.20968,
              0.22574,
              0.25188,
              0.29508,
              0.36967,
              0.50749,
              0.77787
            ],
            [
              0.19132,
              0.2136,
              0.22965,
              0.25579,
              0.29901,
              0.37361,
              0.5115,
              0.7818
            ],
            [
              0.19734,
              0.21963,
              0.23568,
              0.26182,
              0.30502,
              0.37961,
              0.51746,
              0.78779
            ],
            [
              0.20607,
              0.22835,
              0.2444,
              0.27053,
              0.31372,
              0.3883,
              0.52611,
              0.79653
            ],
            [
              0.21837,
              0.24063,
              0.25665,
              0.28275,
              0.32592,
              0.40047,
              0.5384,
              0.80861
            ],
            [
              0.2357,
              0.25788,
              0.27385,
              0.29989,
              0.34299,
              0.41752,
              0.5554,
              0.82567
            ],
            [
              0.25958,
              0.28162,
              0.2975,
              0.32343,
              0.36643,
              0.44087,
              0.57858,
              0.84885
            ],
            [
              0.29155,
              0.31344,
              0.32922,
              0.35503,
              0.39791,
              0.47226,
              0.60996,
              0.88019
            ],
            [
              0.3343,
              0.35599,
              0.37166,
              0.39736,
              0.44015,
              0.51442,
              0.65192,
              0.92212
            ],
            [
              0.39097,
              0.41257,
              0.42817,
              0.45387,
              0.49657,
              0.57067,
              0.70807,
              0.97797
            ],
            [
              0.4671,
              0.4887,
              0.5043,
              0.53,
              0.5727,
              0.6467,
              0.7841,
              1.0536
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.16715,
              0.18987,
              0.20835,
              0.24138,
              0.30281,
              0.4226,
              0.6609,
              1.13737
            ],
            [
              0.16853,
              0.19125,
              0.20971,
              0.24273,
              0.30419,
              0.42393,
              0.66248,
              1.13924
            ],
            [
              0.17028,
              0.19299,
              0.21146,
              0.24449,
              0.30591,
              0.42572,
              0.66431,
              1.14112
            ],
            [
              0.1727,
              0.19542,
              0.2139,
              0.24693,
              0.30839,
              0.42813,
              0.66653,
              1.14377
            ],
            [
              0.17561,
              0.19833,
              0.2168,
              0.24983,
              0.31125,
              0.43107,
              0.66965,
              1.14641
            ],
            [
              0.17872,
              0.20143,
              0.21992,
              0.25295,
              0.31438,
              0.43422,
              0.67286,
              1.14932
            ],
            [
              0.18181,
              0.20451,
              0.223,
              0.25604,
              0.31751,
              0.43731,
              0.67573,
              1.15223
            ],
            [
              0.18443,
              0.2071,
              0.22553,
              0.25859,
              0.32008,
              0.4399,
              0.67834,
              1.15486
            ],
            [
              0.18545,
              0.20807,
              0.2265,
              0.25947,
              0.32097,
              0.44082,
              0.67933,
              1.15615
            ],
            [
              0.18303,
              0.20556,
              0.22394,
              0.2569,
              0.3183,
              0.43797,
              0.67649,
              1.15369
            ],
            [
              0.17435,
              0.19679,
              0.21514,
              0.248,
              0.30936,
              0.42922,
              0.66722,
              1.14452
            ],
            [
              0.15569,
              0.17807,
              0.19637,
              0.22917,
              0.29037,
              0.40997,
              0.64827,
              1.12417
            ],
            [
              0.1217,
              0.1441,
              0.1623,
              0.1951,
              0.2563,
              0.3757,
              0.6141,
              1.0911
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02352,
              0.04104,
              0.05399,
              0.07706,
              0.11994,
              0.20456,
              0.3796,
              0.74179
            ],
            [
              0.02353,
              0.04104,
              0.05401,
              0.07705,
              0.11991,
              0.20465,
              0.37964,
              0.74167
            ],
            [
              0.02353,
              0.041,
              0.05402,
              0.07703,
              0.11996,
              0.2047,
              0.37983,
              0.7411
            ],
            [
              0.02352,
              0.04105,
              0.05401,
              0.07705,
              0.11993,
              0.20467,
              0.37967,
              0.74164
            ],
            [
              0.02354,
              0.041,
              0.05398,
              0.07704,
              0.11996,
              0.20469,
              0.37981,
              0.74105
            ],
            [
              0.02354,
              0.041,
              0.05401,
              0.077,
              0.11994,
              0.2047,
              0.37984,
              0.74117
            ],
            [
              0.02358,
              0.04103,
              0.05394,
              0.077,
              0.11986,
              0.20446,
              0.3795,
              0.74191
            ],
            [
              0.02366,
              0.04099,
              0.05391,
              0.07687,
              0.11981,
              0.20462,
              0.37959,
              0.74173
            ],
            [
              0.02388,
              0.04104,
              0.05386,
              0.07672,
              0.11965,
              0.20452,
              0.37971,
              0.74092
            ],
            [
              0.02408,
              0.04103,
              0.05374,
              0.07655,
              0.11948,
              0.20423,
              0.37944,
              0.74069
            ],
            [
              0.02424,
              0.04105,
              0.05369,
              0.07652,
              0.11933,
              0.20389,
              0.3789,
              0.7407
            ],
            [
              0.0243,
              0.0411,
              0.0536,
              0.0764,
              0.1191,
              0.2037,
              0.3782,
              0.7413
            ],
            [
              0.0245,
              0.0412,
              0.0537,
              0.0765,
              0.1191,
              0.2035,
              0.3784,
              0.7394
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02011,
              0.04444,
              0.06664,
              0.11004,
              0.19835,
              0.37921,
              0.74597,
              1.48375
            ],
            [
              0.02013,
              0.04436,
              0.0667,
              0.10979,
              0.19825,
              0.37911,
              0.74618,
              1.48492
            ],
            [
              0.02013,
              0.04434,
              0.06664,
              0.10988,
              0.19833,
              0.37918,
              0.74611,
              1.4861
            ],
            [
              0.02014,
              0.04439,
              0.06664,
              0.11004,
              0.19827,
              0.37893,
              0.74529,
              1.48115
            ],
            [
              0.02009,
              0.04435,
              0.0666,
              0.1099,
              0.19834,
              0.3792,
              0.74616,
              1.48573
            ],
            [
              0.02003,
              0.04436,
              0.06656,
              0.10998,
              0.19832,
              0.37989,
              0.74603,
              1.48579
            ],
            [
              0.01992,
              0.04423,
              0.06651,
              0.10993,
              0.19828,
              0.37906,
              0.74646,
              1.48572
            ],
            [
              0.01974,
              0.04407,
              0.06632,
              0.10982,
              0.19806,
              0.3792,
              0.7465,
              1.48127
            ],
            [
              0.01955,
              0.04384,
              0.06618,
              0.10946,
              0.19757,
              0.37901,
              0.74667,
              1.48414
            ],
            [
              0.01929,
              0.04371,
              0.06597,
              0.10949,
              0.19785,
              0.37896,
              0.74566,
              1.48298
            ],
            [
              0.01909,
              0.0435,
              0.06577,
              0.10937,
              0.19786,
              0.37924,
              0.74492,
              1.4811
            ],
            [
              0.01902,
              0.04329,
              0.0656,
              0.1093,
              0.1978,
              0.3791,
              0.7468,
              1.4819
            ],
            [
              0.0192,
              0.0436,
              0.0657,
              0.109,
              0.1973,
              0.3788,
              0.7463,
              1.4817
            ]
          ]
        },
        "sdf_cond": "(B&CI)",
        "timing_sense": "positive_unate",
        "when": "(B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.16998,
              0.19344,
              0.2104,
              0.238,
              0.28343,
              0.36099,
              0.50147,
              0.77255
            ],
            [
              0.17134,
              0.1948,
              0.21178,
              0.2394,
              0.28482,
              0.36238,
              0.50284,
              0.77345
            ],
            [
              0.1734,
              0.19687,
              0.21385,
              0.24148,
              0.28692,
              0.36449,
              0.50485,
              0.7757
            ],
            [
              0.17691,
              0.2004,
              0.2174,
              0.24505,
              0.2905,
              0.36808,
              0.50858,
              0.77911
            ],
            [
              0.18272,
              0.20622,
              0.22323,
              0.25089,
              0.29635,
              0.37394,
              0.51438,
              0.78508
            ],
            [
              0.19161,
              0.21513,
              0.23214,
              0.2598,
              0.30528,
              0.38289,
              0.52337,
              0.79449
            ],
            [
              0.20458,
              0.22808,
              0.24508,
              0.27274,
              0.31819,
              0.39579,
              0.53627,
              0.80684
            ],
            [
              0.22262,
              0.24604,
              0.26298,
              0.29057,
              0.33595,
              0.4135,
              0.5539,
              0.82461
            ],
            [
              0.246,
              0.26931,
              0.28614,
              0.31356,
              0.3588,
              0.43624,
              0.57653,
              0.84765
            ],
            [
              0.27638,
              0.29964,
              0.31642,
              0.34381,
              0.389,
              0.46632,
              0.60661,
              0.87719
            ],
            [
              0.31754,
              0.34064,
              0.35733,
              0.38459,
              0.4297,
              0.50702,
              0.64712,
              0.91762
            ],
            [
              0.37297,
              0.39597,
              0.41247,
              0.43967,
              0.48467,
              0.56187,
              0.70217,
              0.97247
            ],
            [
              0.4474,
              0.4701,
              0.4866,
              0.5137,
              0.5587,
              0.6359,
              0.7761,
              1.0467
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.13743,
              0.15988,
              0.17798,
              0.21046,
              0.27177,
              0.39272,
              0.63381,
              1.11577
            ],
            [
              0.13912,
              0.16158,
              0.17969,
              0.21216,
              0.27356,
              0.39459,
              0.6355,
              1.11814
            ],
            [
              0.14123,
              0.16369,
              0.18178,
              0.21424,
              0.27564,
              0.39636,
              0.63733,
              1.11912
            ],
            [
              0.14444,
              0.1669,
              0.18501,
              0.21746,
              0.27886,
              0.39953,
              0.64089,
              1.12268
            ],
            [
              0.14924,
              0.17171,
              0.18981,
              0.22229,
              0.28365,
              0.40478,
              0.6453,
              1.12851
            ],
            [
              0.15591,
              0.17836,
              0.19646,
              0.22891,
              0.2903,
              0.41097,
              0.65232,
              1.13392
            ],
            [
              0.16522,
              0.18767,
              0.20575,
              0.2382,
              0.29949,
              0.42071,
              0.66127,
              1.14473
            ],
            [
              0.17768,
              0.20009,
              0.21808,
              0.25042,
              0.31163,
              0.43259,
              0.67317,
              1.15656
            ],
            [
              0.18808,
              0.21052,
              0.22853,
              0.26072,
              0.32174,
              0.44247,
              0.68336,
              1.16505
            ],
            [
              0.19484,
              0.21732,
              0.23531,
              0.26748,
              0.32839,
              0.44872,
              0.68969,
              1.17249
            ],
            [
              0.19808,
              0.22061,
              0.23857,
              0.27066,
              0.33132,
              0.45152,
              0.69202,
              1.17412
            ],
            [
              0.19767,
              0.22027,
              0.23817,
              0.27017,
              0.33047,
              0.45027,
              0.69097,
              1.17197
            ],
            [
              0.1935,
              0.2162,
              0.2341,
              0.2659,
              0.326,
              0.4451,
              0.6852,
              1.1666
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.0259,
              0.04439,
              0.05804,
              0.08204,
              0.12632,
              0.21163,
              0.38457,
              0.7432
            ],
            [
              0.02591,
              0.04441,
              0.05813,
              0.08213,
              0.12628,
              0.21148,
              0.38471,
              0.74297
            ],
            [
              0.02589,
              0.04446,
              0.05816,
              0.08219,
              0.12624,
              0.21161,
              0.385,
              0.74304
            ],
            [
              0.02591,
              0.04444,
              0.05816,
              0.08218,
              0.12635,
              0.21151,
              0.38452,
              0.7432
            ],
            [
              0.02592,
              0.04448,
              0.0582,
              0.08224,
              0.12632,
              0.21158,
              0.38486,
              0.74316
            ],
            [
              0.0259,
              0.04446,
              0.05816,
              0.08217,
              0.12643,
              0.21176,
              0.38498,
              0.74301
            ],
            [
              0.0259,
              0.04444,
              0.05818,
              0.08221,
              0.12633,
              0.21151,
              0.38469,
              0.74314
            ],
            [
              0.02588,
              0.0444,
              0.05804,
              0.08206,
              0.12622,
              0.2115,
              0.38487,
              0.74306
            ],
            [
              0.02632,
              0.04453,
              0.05805,
              0.08193,
              0.12602,
              0.21152,
              0.3848,
              0.74259
            ],
            [
              0.02639,
              0.04459,
              0.05805,
              0.0818,
              0.1259,
              0.21131,
              0.38483,
              0.74269
            ],
            [
              0.02661,
              0.04462,
              0.05805,
              0.08186,
              0.12588,
              0.21107,
              0.3845,
              0.7434
            ],
            [
              0.0271,
              0.0448,
              0.0581,
              0.0819,
              0.1259,
              0.2113,
              0.3838,
              0.7414
            ],
            [
              0.0275,
              0.0451,
              0.0584,
              0.0819,
              0.1259,
              0.2112,
              0.3844,
              0.7409
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01947,
              0.04343,
              0.06523,
              0.10841,
              0.19826,
              0.38158,
              0.75228,
              1.5005
            ],
            [
              0.01946,
              0.04353,
              0.06527,
              0.10865,
              0.19816,
              0.38296,
              0.75232,
              1.49502
            ],
            [
              0.01948,
              0.04349,
              0.06522,
              0.10854,
              0.19803,
              0.38268,
              0.75434,
              1.49959
            ],
            [
              0.01949,
              0.04349,
              0.06525,
              0.10858,
              0.19791,
              0.38269,
              0.75308,
              1.49572
            ],
            [
              0.0195,
              0.04341,
              0.06524,
              0.10862,
              0.1984,
              0.38276,
              0.75247,
              1.49571
            ],
            [
              0.01948,
              0.04349,
              0.06526,
              0.10858,
              0.19797,
              0.38269,
              0.75298,
              1.496
            ],
            [
              0.01948,
              0.0435,
              0.06525,
              0.10851,
              0.19834,
              0.38229,
              0.75422,
              1.49491
            ],
            [
              0.01974,
              0.04358,
              0.06544,
              0.10862,
              0.19834,
              0.38211,
              0.75292,
              1.49647
            ],
            [
              0.02025,
              0.04403,
              0.06593,
              0.10891,
              0.1984,
              0.38194,
              0.75249,
              1.49653
            ],
            [
              0.02069,
              0.04443,
              0.06621,
              0.10926,
              0.19831,
              0.38138,
              0.75441,
              1.49455
            ],
            [
              0.02123,
              0.04488,
              0.06663,
              0.10971,
              0.1987,
              0.38195,
              0.75238,
              1.4955
            ],
            [
              0.0219,
              0.0454,
              0.0671,
              0.11,
              0.1989,
              0.3819,
              0.7528,
              1.494
            ],
            [
              0.0226,
              0.0461,
              0.0677,
              0.1105,
              0.1991,
              0.3824,
              0.7528,
              1.4975
            ]
          ]
        },
        "sdf_cond": "(!A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.1416,
              0.1644,
              0.18072,
              0.20724,
              0.25074,
              0.32534,
              0.46302,
              0.73304
            ],
            [
              0.14315,
              0.16593,
              0.18226,
              0.20877,
              0.25228,
              0.32685,
              0.46447,
              0.73502
            ],
            [
              0.14507,
              0.16785,
              0.18417,
              0.21068,
              0.25417,
              0.32877,
              0.46637,
              0.7366
            ],
            [
              0.148,
              0.17078,
              0.18709,
              0.2136,
              0.25707,
              0.33167,
              0.46934,
              0.73909
            ],
            [
              0.15232,
              0.17507,
              0.19137,
              0.21787,
              0.26135,
              0.33594,
              0.47357,
              0.74382
            ],
            [
              0.15811,
              0.18083,
              0.19713,
              0.22361,
              0.26709,
              0.34164,
              0.47926,
              0.74954
            ],
            [
              0.16491,
              0.18757,
              0.20384,
              0.23032,
              0.27378,
              0.34834,
              0.48605,
              0.75612
            ],
            [
              0.17008,
              0.19242,
              0.20862,
              0.23508,
              0.27856,
              0.35313,
              0.49079,
              0.76083
            ],
            [
              0.17007,
              0.19195,
              0.20797,
              0.23429,
              0.27771,
              0.35231,
              0.48994,
              0.76015
            ],
            [
              0.16434,
              0.18595,
              0.2018,
              0.228,
              0.27136,
              0.34584,
              0.48337,
              0.75329
            ],
            [
              0.15083,
              0.17229,
              0.18797,
              0.21398,
              0.25727,
              0.3317,
              0.46922,
              0.73902
            ],
            [
              0.12477,
              0.14614,
              0.16168,
              0.18747,
              0.23057,
              0.30497,
              0.44237,
              0.71207
            ],
            [
              0.0781,
              0.0996,
              0.1152,
              0.1408,
              0.1836,
              0.258,
              0.3953,
              0.6652
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.15989,
              0.18269,
              0.20123,
              0.2345,
              0.2966,
              0.41757,
              0.65838,
              1.13997
            ],
            [
              0.16093,
              0.18372,
              0.20227,
              0.23554,
              0.29763,
              0.41859,
              0.65942,
              1.14094
            ],
            [
              0.16261,
              0.1854,
              0.20394,
              0.23719,
              0.29929,
              0.42028,
              0.66104,
              1.14252
            ],
            [
              0.16565,
              0.18843,
              0.20697,
              0.24024,
              0.30235,
              0.42333,
              0.66409,
              1.14567
            ],
            [
              0.1709,
              0.19368,
              0.21221,
              0.24547,
              0.30758,
              0.42856,
              0.66939,
              1.15081
            ],
            [
              0.17937,
              0.20215,
              0.22068,
              0.25393,
              0.31603,
              0.43703,
              0.67782,
              1.15932
            ],
            [
              0.1924,
              0.21517,
              0.23371,
              0.26695,
              0.32906,
              0.45003,
              0.69083,
              1.17233
            ],
            [
              0.21105,
              0.23381,
              0.25233,
              0.28556,
              0.34764,
              0.46858,
              0.70939,
              1.19086
            ],
            [
              0.2352,
              0.25803,
              0.2766,
              0.30987,
              0.37192,
              0.49288,
              0.73369,
              1.21515
            ],
            [
              0.26762,
              0.29049,
              0.30905,
              0.34227,
              0.40428,
              0.52527,
              0.76599,
              1.24739
            ],
            [
              0.31181,
              0.33473,
              0.35332,
              0.38655,
              0.44852,
              0.56942,
              0.81022,
              1.29162
            ],
            [
              0.37297,
              0.39607,
              0.41467,
              0.44797,
              0.50997,
              0.63087,
              0.87147,
              1.35287
            ],
            [
              0.4589,
              0.4824,
              0.5013,
              0.5348,
              0.5968,
              0.7177,
              0.9582,
              1.4394
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02422,
              0.0421,
              0.05517,
              0.07813,
              0.1207,
              0.2048,
              0.37952,
              0.7408
            ],
            [
              0.02421,
              0.04208,
              0.05514,
              0.07818,
              0.12063,
              0.20463,
              0.37964,
              0.74114
            ],
            [
              0.02422,
              0.04208,
              0.05515,
              0.07813,
              0.1207,
              0.20473,
              0.37964,
              0.74042
            ],
            [
              0.02421,
              0.04206,
              0.05513,
              0.07811,
              0.12067,
              0.20483,
              0.37953,
              0.74106
            ],
            [
              0.0242,
              0.04203,
              0.0551,
              0.07807,
              0.12065,
              0.2048,
              0.37957,
              0.7403
            ],
            [
              0.02415,
              0.04197,
              0.05504,
              0.07807,
              0.12057,
              0.20462,
              0.37961,
              0.74104
            ],
            [
              0.02405,
              0.04189,
              0.05496,
              0.07798,
              0.12054,
              0.20462,
              0.37951,
              0.74067
            ],
            [
              0.02376,
              0.04172,
              0.05489,
              0.07799,
              0.1206,
              0.20474,
              0.37957,
              0.7411
            ],
            [
              0.02363,
              0.04122,
              0.0544,
              0.07758,
              0.12047,
              0.2046,
              0.37978,
              0.74137
            ],
            [
              0.02372,
              0.04095,
              0.05409,
              0.07738,
              0.1203,
              0.20414,
              0.37903,
              0.74108
            ],
            [
              0.02389,
              0.0408,
              0.05386,
              0.07721,
              0.12021,
              0.20445,
              0.37842,
              0.74046
            ],
            [
              0.02444,
              0.04106,
              0.05382,
              0.07707,
              0.1202,
              0.2044,
              0.3792,
              0.7402
            ],
            [
              0.0259,
              0.0423,
              0.0547,
              0.0774,
              0.1203,
              0.2047,
              0.379,
              0.7413
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01938,
              0.04415,
              0.06658,
              0.11022,
              0.19912,
              0.38169,
              0.75173,
              1.49274
            ],
            [
              0.01934,
              0.04412,
              0.06653,
              0.11016,
              0.1993,
              0.38275,
              0.75176,
              1.49342
            ],
            [
              0.01933,
              0.04412,
              0.06655,
              0.1102,
              0.19915,
              0.38218,
              0.75218,
              1.49369
            ],
            [
              0.01929,
              0.0441,
              0.06648,
              0.11018,
              0.1991,
              0.38204,
              0.75159,
              1.4945
            ],
            [
              0.01926,
              0.04407,
              0.06647,
              0.11017,
              0.19917,
              0.38259,
              0.75157,
              1.49487
            ],
            [
              0.01923,
              0.04406,
              0.06647,
              0.11009,
              0.19922,
              0.38202,
              0.75152,
              1.49336
            ],
            [
              0.01928,
              0.0441,
              0.06651,
              0.11025,
              0.19922,
              0.38178,
              0.75153,
              1.49346
            ],
            [
              0.01952,
              0.04432,
              0.06666,
              0.11029,
              0.19929,
              0.38243,
              0.75182,
              1.49325
            ],
            [
              0.01999,
              0.0447,
              0.06708,
              0.11061,
              0.19956,
              0.38186,
              0.75185,
              1.49343
            ],
            [
              0.02036,
              0.045,
              0.06736,
              0.11084,
              0.19969,
              0.38208,
              0.75179,
              1.4966
            ],
            [
              0.02098,
              0.04552,
              0.06788,
              0.11125,
              0.1998,
              0.38254,
              0.7523,
              1.4934
            ],
            [
              0.0221,
              0.0464,
              0.0688,
              0.112,
              0.2003,
              0.3825,
              0.7516,
              1.4937
            ],
            [
              0.0243,
              0.0482,
              0.0706,
              0.1137,
              0.2014,
              0.3831,
              0.7524,
              1.4937
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.14269,
              0.1664,
              0.18342,
              0.21109,
              0.25657,
              0.33406,
              0.47441,
              0.7457
            ],
            [
              0.14417,
              0.16787,
              0.18488,
              0.21255,
              0.25802,
              0.33552,
              0.47586,
              0.74697
            ],
            [
              0.14598,
              0.16967,
              0.18668,
              0.21434,
              0.25981,
              0.33729,
              0.47764,
              0.74888
            ],
            [
              0.14866,
              0.17233,
              0.18934,
              0.21699,
              0.26244,
              0.33993,
              0.48026,
              0.75153
            ],
            [
              0.15254,
              0.1762,
              0.19319,
              0.22083,
              0.26629,
              0.34377,
              0.48408,
              0.75536
            ],
            [
              0.15804,
              0.18167,
              0.19865,
              0.22628,
              0.27172,
              0.34917,
              0.48952,
              0.76036
            ],
            [
              0.1658,
              0.1893,
              0.20621,
              0.23379,
              0.27919,
              0.35663,
              0.497,
              0.76788
            ],
            [
              0.17316,
              0.19633,
              0.21312,
              0.24062,
              0.28595,
              0.36334,
              0.50361,
              0.77457
            ],
            [
              0.17522,
              0.19791,
              0.21456,
              0.24195,
              0.28724,
              0.36464,
              0.50497,
              0.77605
            ],
            [
              0.17061,
              0.19313,
              0.20967,
              0.23701,
              0.28228,
              0.35956,
              0.4997,
              0.77089
            ],
            [
              0.15793,
              0.18041,
              0.19686,
              0.22408,
              0.26938,
              0.34673,
              0.48692,
              0.75752
            ],
            [
              0.1343,
              0.15679,
              0.17317,
              0.20027,
              0.24547,
              0.32287,
              0.46317,
              0.73377
            ],
            [
              0.0915,
              0.115,
              0.1319,
              0.1596,
              0.2051,
              0.2828,
              0.4233,
              0.6943
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.16271,
              0.18535,
              0.2035,
              0.23606,
              0.29738,
              0.41812,
              0.65885,
              1.14017
            ],
            [
              0.16389,
              0.18653,
              0.20469,
              0.23722,
              0.29855,
              0.41929,
              0.66005,
              1.14144
            ],
            [
              0.16562,
              0.18825,
              0.20639,
              0.23893,
              0.30026,
              0.42098,
              0.66174,
              1.14332
            ],
            [
              0.16867,
              0.19129,
              0.20943,
              0.24197,
              0.30329,
              0.42402,
              0.66478,
              1.14618
            ],
            [
              0.17407,
              0.19667,
              0.21482,
              0.24737,
              0.30868,
              0.42942,
              0.67016,
              1.15161
            ],
            [
              0.18322,
              0.20582,
              0.22396,
              0.25649,
              0.31781,
              0.43855,
              0.67929,
              1.16092
            ],
            [
              0.19771,
              0.22031,
              0.23844,
              0.27092,
              0.33223,
              0.45294,
              0.69366,
              1.17513
            ],
            [
              0.21868,
              0.24127,
              0.25939,
              0.29185,
              0.35309,
              0.47376,
              0.71444,
              1.19596
            ],
            [
              0.24624,
              0.26888,
              0.28705,
              0.31951,
              0.38071,
              0.50129,
              0.74194,
              1.22325
            ],
            [
              0.2828,
              0.30543,
              0.32356,
              0.35601,
              0.41709,
              0.53764,
              0.77819,
              1.25959
            ],
            [
              0.33239,
              0.35493,
              0.37305,
              0.40543,
              0.46642,
              0.58682,
              0.82722,
              1.30852
            ],
            [
              0.39987,
              0.42227,
              0.44037,
              0.47277,
              0.53367,
              0.65387,
              0.89417,
              1.37527
            ],
            [
              0.492,
              0.5144,
              0.5325,
              0.5648,
              0.6255,
              0.7456,
              0.9858,
              1.4666
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02567,
              0.04428,
              0.05791,
              0.08188,
              0.12603,
              0.21125,
              0.38495,
              0.74336
            ],
            [
              0.02567,
              0.04425,
              0.05789,
              0.0819,
              0.12592,
              0.21109,
              0.38493,
              0.74309
            ],
            [
              0.02564,
              0.04426,
              0.05787,
              0.08188,
              0.12601,
              0.21123,
              0.38493,
              0.74276
            ],
            [
              0.02562,
              0.04421,
              0.05784,
              0.08188,
              0.12592,
              0.21116,
              0.38486,
              0.74363
            ],
            [
              0.02557,
              0.04421,
              0.05783,
              0.08183,
              0.12587,
              0.21107,
              0.3849,
              0.74354
            ],
            [
              0.02549,
              0.04414,
              0.05778,
              0.08176,
              0.12594,
              0.2111,
              0.38493,
              0.74374
            ],
            [
              0.0253,
              0.04397,
              0.0576,
              0.08166,
              0.12582,
              0.21109,
              0.38492,
              0.74361
            ],
            [
              0.02523,
              0.0439,
              0.05756,
              0.08162,
              0.12573,
              0.21108,
              0.3848,
              0.74345
            ],
            [
              0.0255,
              0.04377,
              0.05741,
              0.08146,
              0.12564,
              0.21094,
              0.38488,
              0.74288
            ],
            [
              0.02613,
              0.04394,
              0.05752,
              0.08158,
              0.12571,
              0.21076,
              0.38458,
              0.7436
            ],
            [
              0.02653,
              0.04418,
              0.05764,
              0.08174,
              0.12602,
              0.2111,
              0.38376,
              0.74392
            ],
            [
              0.02783,
              0.04526,
              0.05841,
              0.08209,
              0.1263,
              0.2114,
              0.3846,
              0.7419
            ],
            [
              0.0316,
              0.0494,
              0.0623,
              0.0854,
              0.1284,
              0.2129,
              0.3857,
              0.7434
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01867,
              0.04324,
              0.06507,
              0.1086,
              0.19782,
              0.38128,
              0.75269,
              1.49367
            ],
            [
              0.01866,
              0.04321,
              0.06505,
              0.10845,
              0.1978,
              0.38141,
              0.75196,
              1.49254
            ],
            [
              0.01866,
              0.04313,
              0.06504,
              0.10844,
              0.19782,
              0.38151,
              0.75214,
              1.49331
            ],
            [
              0.01859,
              0.04314,
              0.06504,
              0.10846,
              0.19782,
              0.38145,
              0.75175,
              1.4925
            ],
            [
              0.01858,
              0.04312,
              0.06501,
              0.10848,
              0.19778,
              0.38117,
              0.75181,
              1.49367
            ],
            [
              0.01857,
              0.04311,
              0.06501,
              0.10836,
              0.19774,
              0.38165,
              0.75181,
              1.49321
            ],
            [
              0.01855,
              0.04305,
              0.06498,
              0.10834,
              0.19787,
              0.38192,
              0.75133,
              1.49312
            ],
            [
              0.01872,
              0.04311,
              0.06505,
              0.10841,
              0.19783,
              0.38139,
              0.75159,
              1.49433
            ],
            [
              0.01916,
              0.04353,
              0.06537,
              0.10867,
              0.19813,
              0.38107,
              0.75189,
              1.49377
            ],
            [
              0.01967,
              0.04387,
              0.06568,
              0.1088,
              0.19831,
              0.38138,
              0.75268,
              1.4936
            ],
            [
              0.0204,
              0.04437,
              0.0661,
              0.10932,
              0.19836,
              0.38232,
              0.7521,
              1.4934
            ],
            [
              0.0214,
              0.0452,
              0.067,
              0.1098,
              0.1988,
              0.3816,
              0.7517,
              1.4945
            ],
            [
              0.023,
              0.0467,
              0.0683,
              0.1109,
              0.1995,
              0.3821,
              0.7523,
              1.4933
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.17251,
              0.19503,
              0.2112,
              0.2375,
              0.28084,
              0.35552,
              0.49346,
              0.76373
            ],
            [
              0.17388,
              0.19639,
              0.21257,
              0.23887,
              0.28222,
              0.35691,
              0.4948,
              0.76511
            ],
            [
              0.17583,
              0.19834,
              0.21453,
              0.24083,
              0.28419,
              0.35888,
              0.49667,
              0.76696
            ],
            [
              0.17924,
              0.20175,
              0.21793,
              0.24424,
              0.28762,
              0.36231,
              0.50026,
              0.77053
            ],
            [
              0.18511,
              0.20761,
              0.22381,
              0.25013,
              0.2935,
              0.3682,
              0.50601,
              0.77629
            ],
            [
              0.19489,
              0.2174,
              0.23358,
              0.25991,
              0.30329,
              0.37801,
              0.51594,
              0.78638
            ],
            [
              0.21019,
              0.23268,
              0.24887,
              0.27519,
              0.31858,
              0.39332,
              0.53118,
              0.80121
            ],
            [
              0.23205,
              0.25449,
              0.27063,
              0.29692,
              0.3403,
              0.41502,
              0.55291,
              0.82321
            ],
            [
              0.26062,
              0.28287,
              0.29889,
              0.32504,
              0.36831,
              0.44298,
              0.58091,
              0.85105
            ],
            [
              0.29696,
              0.31915,
              0.33508,
              0.36113,
              0.4043,
              0.47884,
              0.61664,
              0.88669
            ],
            [
              0.34547,
              0.36744,
              0.38323,
              0.40911,
              0.45212,
              0.52672,
              0.66442,
              0.93472
            ],
            [
              0.41067,
              0.43237,
              0.44797,
              0.47357,
              0.51647,
              0.59087,
              0.72857,
              0.99867
            ],
            [
              0.4979,
              0.5192,
              0.5346,
              0.56,
              0.6027,
              0.6769,
              0.8146,
              1.0845
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.12965,
              0.15235,
              0.17085,
              0.2039,
              0.26539,
              0.38523,
              0.62373,
              1.10047
            ],
            [
              0.13138,
              0.15407,
              0.17254,
              0.20561,
              0.26714,
              0.38684,
              0.62511,
              1.10204
            ],
            [
              0.13353,
              0.15622,
              0.17471,
              0.20778,
              0.2693,
              0.38908,
              0.62749,
              1.10352
            ],
            [
              0.13675,
              0.15945,
              0.17792,
              0.21097,
              0.27248,
              0.39231,
              0.63084,
              1.10758
            ],
            [
              0.14139,
              0.16408,
              0.18258,
              0.21564,
              0.27713,
              0.39698,
              0.63564,
              1.11231
            ],
            [
              0.14803,
              0.17072,
              0.1892,
              0.22225,
              0.28378,
              0.40349,
              0.6419,
              1.11862
            ],
            [
              0.15772,
              0.18041,
              0.19887,
              0.23192,
              0.29341,
              0.41304,
              0.65183,
              1.12913
            ],
            [
              0.16806,
              0.19064,
              0.20904,
              0.24197,
              0.30335,
              0.42307,
              0.6616,
              1.13846
            ],
            [
              0.17354,
              0.1962,
              0.21462,
              0.24749,
              0.3087,
              0.42843,
              0.66644,
              1.14375
            ],
            [
              0.17355,
              0.19624,
              0.21466,
              0.24755,
              0.30878,
              0.42825,
              0.66679,
              1.14399
            ],
            [
              0.16659,
              0.18931,
              0.20768,
              0.24057,
              0.3018,
              0.4213,
              0.65932,
              1.13562
            ],
            [
              0.14932,
              0.17207,
              0.19047,
              0.22327,
              0.28437,
              0.40377,
              0.64227,
              1.11747
            ],
            [
              0.1162,
              0.139,
              0.1574,
              0.1902,
              0.2512,
              0.3703,
              0.6085,
              1.0852
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02442,
              0.04192,
              0.05479,
              0.0777,
              0.1204,
              0.20501,
              0.37955,
              0.74154
            ],
            [
              0.02442,
              0.04192,
              0.0548,
              0.07773,
              0.12042,
              0.205,
              0.37982,
              0.74191
            ],
            [
              0.02442,
              0.04191,
              0.0548,
              0.07774,
              0.12043,
              0.20493,
              0.37998,
              0.74071
            ],
            [
              0.02444,
              0.04196,
              0.05484,
              0.07775,
              0.12044,
              0.20504,
              0.37964,
              0.74164
            ],
            [
              0.02444,
              0.04196,
              0.05487,
              0.07775,
              0.12042,
              0.20487,
              0.37999,
              0.74078
            ],
            [
              0.02446,
              0.04201,
              0.05489,
              0.07782,
              0.12049,
              0.20506,
              0.37975,
              0.74128
            ],
            [
              0.02448,
              0.04202,
              0.05492,
              0.07786,
              0.12051,
              0.20503,
              0.37993,
              0.74156
            ],
            [
              0.02455,
              0.04208,
              0.05497,
              0.0778,
              0.12047,
              0.2048,
              0.37997,
              0.74086
            ],
            [
              0.02472,
              0.04211,
              0.05486,
              0.07775,
              0.12042,
              0.20479,
              0.37969,
              0.74192
            ],
            [
              0.02495,
              0.04221,
              0.05502,
              0.07769,
              0.12028,
              0.20455,
              0.37975,
              0.74098
            ],
            [
              0.02515,
              0.04224,
              0.05502,
              0.07767,
              0.12033,
              0.20442,
              0.3794,
              0.7406
            ],
            [
              0.0254,
              0.0424,
              0.055,
              0.0778,
              0.1203,
              0.2048,
              0.3789,
              0.7404
            ],
            [
              0.0256,
              0.0425,
              0.0552,
              0.078,
              0.1204,
              0.2046,
              0.3794,
              0.7403
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01984,
              0.04416,
              0.06644,
              0.10987,
              0.19825,
              0.37917,
              0.74787,
              1.48597
            ],
            [
              0.01985,
              0.04414,
              0.06646,
              0.10978,
              0.198,
              0.37886,
              0.74619,
              1.48141
            ],
            [
              0.01986,
              0.0442,
              0.06644,
              0.10989,
              0.19821,
              0.37882,
              0.74607,
              1.48451
            ],
            [
              0.01983,
              0.04418,
              0.0664,
              0.10964,
              0.19821,
              0.3792,
              0.74616,
              1.48501
            ],
            [
              0.01982,
              0.04417,
              0.06644,
              0.10987,
              0.19824,
              0.37991,
              0.74605,
              1.48615
            ],
            [
              0.0198,
              0.04408,
              0.06646,
              0.10968,
              0.19809,
              0.3789,
              0.74621,
              1.48143
            ],
            [
              0.01981,
              0.04416,
              0.06642,
              0.10986,
              0.19801,
              0.3788,
              0.74613,
              1.48193
            ],
            [
              0.01997,
              0.04424,
              0.06651,
              0.10986,
              0.19804,
              0.38009,
              0.74582,
              1.48101
            ],
            [
              0.02025,
              0.04449,
              0.06673,
              0.1099,
              0.19799,
              0.37925,
              0.74616,
              1.48612
            ],
            [
              0.02048,
              0.04464,
              0.06689,
              0.11026,
              0.19802,
              0.37898,
              0.74713,
              1.48386
            ],
            [
              0.02075,
              0.0449,
              0.06711,
              0.11041,
              0.19847,
              0.37936,
              0.74489,
              1.4836
            ],
            [
              0.02114,
              0.04516,
              0.06735,
              0.1106,
              0.1988,
              0.3795,
              0.7469,
              1.4833
            ],
            [
              0.0216,
              0.0456,
              0.0677,
              0.111,
              0.1987,
              0.3794,
              0.7478,
              1.4821
            ]
          ]
        },
        "sdf_cond": "(A&CI)",
        "timing_sense": "positive_unate",
        "when": "(A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.11178,
              0.13579,
              0.15337,
              0.18228,
              0.22945,
              0.30835,
              0.44942,
              0.72031
            ],
            [
              0.1135,
              0.13751,
              0.15509,
              0.18401,
              0.23117,
              0.31007,
              0.45122,
              0.72196
            ],
            [
              0.11577,
              0.13978,
              0.15736,
              0.18628,
              0.23345,
              0.31234,
              0.45349,
              0.72422
            ],
            [
              0.11943,
              0.14342,
              0.16101,
              0.18992,
              0.23708,
              0.316,
              0.45709,
              0.72796
            ],
            [
              0.12524,
              0.14923,
              0.1668,
              0.19572,
              0.24289,
              0.3218,
              0.46295,
              0.7338
            ],
            [
              0.13439,
              0.15837,
              0.17592,
              0.20483,
              0.25202,
              0.33094,
              0.47204,
              0.74293
            ],
            [
              0.14855,
              0.17248,
              0.18999,
              0.21888,
              0.26606,
              0.34501,
              0.48618,
              0.75694
            ],
            [
              0.16885,
              0.19299,
              0.21053,
              0.23946,
              0.2867,
              0.36573,
              0.50689,
              0.77786
            ],
            [
              0.1948,
              0.21986,
              0.23789,
              0.26739,
              0.31523,
              0.3946,
              0.53587,
              0.80665
            ],
            [
              0.22896,
              0.25509,
              0.27369,
              0.30396,
              0.35292,
              0.43342,
              0.57514,
              0.84599
            ],
            [
              0.27501,
              0.30254,
              0.32193,
              0.35322,
              0.40355,
              0.48552,
              0.62842,
              0.89962
            ],
            [
              0.33777,
              0.36707,
              0.38767,
              0.42057,
              0.47297,
              0.55737,
              0.70217,
              0.97387
            ],
            [
              0.4235,
              0.4553,
              0.4775,
              0.5128,
              0.5684,
              0.657,
              0.8055,
              1.0791
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.09192,
              0.11506,
              0.13389,
              0.16738,
              0.22957,
              0.35063,
              0.59175,
              1.07457
            ],
            [
              0.09333,
              0.11647,
              0.1353,
              0.16878,
              0.23089,
              0.35219,
              0.59313,
              1.07534
            ],
            [
              0.09511,
              0.11826,
              0.13709,
              0.17055,
              0.23274,
              0.354,
              0.59518,
              1.07702
            ],
            [
              0.09786,
              0.12101,
              0.13981,
              0.1733,
              0.23541,
              0.35661,
              0.59762,
              1.08108
            ],
            [
              0.10212,
              0.12526,
              0.14404,
              0.17749,
              0.23967,
              0.36087,
              0.60229,
              1.08481
            ],
            [
              0.10844,
              0.13154,
              0.15031,
              0.18369,
              0.24577,
              0.36682,
              0.60842,
              1.09162
            ],
            [
              0.11709,
              0.14013,
              0.1588,
              0.19204,
              0.25398,
              0.37501,
              0.61594,
              1.09803
            ],
            [
              0.1262,
              0.14965,
              0.16846,
              0.20181,
              0.26358,
              0.38447,
              0.6259,
              1.10806
            ],
            [
              0.13455,
              0.15866,
              0.17781,
              0.21153,
              0.27338,
              0.39404,
              0.63512,
              1.11765
            ],
            [
              0.14036,
              0.16557,
              0.18529,
              0.21968,
              0.28195,
              0.40232,
              0.64309,
              1.12539
            ],
            [
              0.1408,
              0.16761,
              0.18815,
              0.22373,
              0.28709,
              0.408,
              0.64782,
              1.13022
            ],
            [
              0.13153,
              0.16045,
              0.18217,
              0.21937,
              0.28467,
              0.40687,
              0.64787,
              1.12767
            ],
            [
              0.106,
              0.1376,
              0.1608,
              0.2003,
              0.2684,
              0.3933,
              0.6366,
              1.1191
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02629,
              0.04529,
              0.0598,
              0.08505,
              0.12968,
              0.21415,
              0.38612,
              0.74312
            ],
            [
              0.02628,
              0.0453,
              0.0598,
              0.08506,
              0.12969,
              0.21413,
              0.3859,
              0.74306
            ],
            [
              0.02629,
              0.04527,
              0.0598,
              0.08506,
              0.12965,
              0.21402,
              0.38593,
              0.74306
            ],
            [
              0.02629,
              0.04527,
              0.05982,
              0.08508,
              0.12968,
              0.21413,
              0.38608,
              0.74307
            ],
            [
              0.02631,
              0.04531,
              0.05986,
              0.08509,
              0.12971,
              0.21406,
              0.3859,
              0.74336
            ],
            [
              0.02639,
              0.04541,
              0.05993,
              0.08509,
              0.1297,
              0.21401,
              0.3861,
              0.74306
            ],
            [
              0.02673,
              0.04576,
              0.06027,
              0.08536,
              0.12995,
              0.21423,
              0.38599,
              0.74309
            ],
            [
              0.02897,
              0.04757,
              0.06177,
              0.08647,
              0.13074,
              0.21472,
              0.38652,
              0.74245
            ],
            [
              0.03249,
              0.05135,
              0.06535,
              0.08967,
              0.13304,
              0.21629,
              0.38699,
              0.74311
            ],
            [
              0.03694,
              0.05601,
              0.07002,
              0.0942,
              0.13732,
              0.21941,
              0.38826,
              0.74391
            ],
            [
              0.04281,
              0.06241,
              0.07642,
              0.10042,
              0.14299,
              0.22398,
              0.391,
              0.745
            ],
            [
              0.051,
              0.0716,
              0.0859,
              0.1097,
              0.1519,
              0.2319,
              0.3962,
              0.7471
            ],
            [
              0.0628,
              0.0846,
              0.0995,
              0.1239,
              0.1661,
              0.2453,
              0.4065,
              0.751
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01847,
              0.04344,
              0.06589,
              0.10964,
              0.19863,
              0.38222,
              0.75324,
              1.49567
            ],
            [
              0.01849,
              0.04342,
              0.06585,
              0.10968,
              0.19916,
              0.3833,
              0.75409,
              1.49627
            ],
            [
              0.01849,
              0.04341,
              0.06588,
              0.10946,
              0.19892,
              0.38229,
              0.75215,
              1.49795
            ],
            [
              0.01849,
              0.04352,
              0.06588,
              0.10975,
              0.19918,
              0.38226,
              0.75239,
              1.49712
            ],
            [
              0.01851,
              0.04353,
              0.0659,
              0.10966,
              0.19882,
              0.38236,
              0.75317,
              1.49967
            ],
            [
              0.01861,
              0.04365,
              0.06605,
              0.10986,
              0.19891,
              0.38221,
              0.75398,
              1.4959
            ],
            [
              0.01942,
              0.04419,
              0.06654,
              0.1101,
              0.19911,
              0.38186,
              0.75423,
              1.49797
            ],
            [
              0.0213,
              0.04585,
              0.068,
              0.11113,
              0.19985,
              0.38264,
              0.75379,
              1.50004
            ],
            [
              0.02409,
              0.04834,
              0.0707,
              0.11336,
              0.20072,
              0.38357,
              0.7535,
              1.49594
            ],
            [
              0.02808,
              0.05209,
              0.0745,
              0.11687,
              0.20308,
              0.38334,
              0.75427,
              1.49623
            ],
            [
              0.03372,
              0.05756,
              0.08,
              0.12239,
              0.20801,
              0.38613,
              0.75327,
              1.4964
            ],
            [
              0.04134,
              0.06525,
              0.08791,
              0.13091,
              0.2156,
              0.3922,
              0.7575,
              1.4989
            ],
            [
              0.0517,
              0.0759,
              0.0988,
              0.1423,
              0.2269,
              0.4024,
              0.7639,
              1.5001
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.14565,
              0.16674,
              0.18269,
              0.20928,
              0.25317,
              0.32823,
              0.46619,
              0.7366
            ],
            [
              0.14715,
              0.16824,
              0.18419,
              0.21077,
              0.25467,
              0.3297,
              0.46768,
              0.73834
            ],
            [
              0.14908,
              0.17017,
              0.18611,
              0.21269,
              0.25659,
              0.33162,
              0.46964,
              0.73989
            ],
            [
              0.15216,
              0.17322,
              0.18916,
              0.21574,
              0.25961,
              0.33468,
              0.47269,
              0.74308
            ],
            [
              0.15703,
              0.17806,
              0.19398,
              0.22054,
              0.26442,
              0.33947,
              0.4774,
              0.74782
            ],
            [
              0.16442,
              0.1854,
              0.20128,
              0.22781,
              0.27168,
              0.34671,
              0.48464,
              0.75475
            ],
            [
              0.1743,
              0.19523,
              0.21106,
              0.23755,
              0.28139,
              0.35641,
              0.49434,
              0.76481
            ],
            [
              0.1856,
              0.20643,
              0.22221,
              0.24865,
              0.29246,
              0.36747,
              0.5054,
              0.77553
            ],
            [
              0.1969,
              0.21758,
              0.23329,
              0.25965,
              0.30347,
              0.37845,
              0.51643,
              0.78655
            ],
            [
              0.20669,
              0.22719,
              0.24284,
              0.26919,
              0.31297,
              0.38785,
              0.52579,
              0.79579
            ],
            [
              0.21236,
              0.23263,
              0.24822,
              0.27458,
              0.31845,
              0.39352,
              0.53142,
              0.80132
            ],
            [
              0.20967,
              0.22967,
              0.24517,
              0.27157,
              0.31567,
              0.39097,
              0.52927,
              0.79937
            ],
            [
              0.1924,
              0.212,
              0.2274,
              0.2539,
              0.2981,
              0.3739,
              0.5127,
              0.7833
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.16748,
              0.18827,
              0.2057,
              0.23746,
              0.29813,
              0.41838,
              0.65891,
              1.14007
            ],
            [
              0.16924,
              0.19003,
              0.20745,
              0.23924,
              0.29987,
              0.42012,
              0.66065,
              1.14214
            ],
            [
              0.17153,
              0.19232,
              0.20975,
              0.24156,
              0.30221,
              0.42243,
              0.66293,
              1.14412
            ],
            [
              0.1752,
              0.19601,
              0.21344,
              0.24521,
              0.30588,
              0.42608,
              0.66656,
              1.14777
            ],
            [
              0.18109,
              0.20187,
              0.2193,
              0.25109,
              0.31175,
              0.43196,
              0.67246,
              1.15371
            ],
            [
              0.1904,
              0.21119,
              0.22861,
              0.26039,
              0.32102,
              0.44123,
              0.68178,
              1.16302
            ],
            [
              0.20485,
              0.22565,
              0.24306,
              0.27482,
              0.33544,
              0.45564,
              0.69614,
              1.17753
            ],
            [
              0.22616,
              0.24688,
              0.26422,
              0.29588,
              0.35645,
              0.47656,
              0.717,
              1.19856
            ],
            [
              0.25507,
              0.27558,
              0.2928,
              0.3243,
              0.38464,
              0.50458,
              0.74489,
              1.22605
            ],
            [
              0.29264,
              0.31292,
              0.33001,
              0.36133,
              0.42141,
              0.54119,
              0.78129,
              1.26239
            ],
            [
              0.34282,
              0.36288,
              0.37983,
              0.41094,
              0.47072,
              0.59012,
              0.83012,
              1.31092
            ],
            [
              0.41087,
              0.43067,
              0.44757,
              0.47847,
              0.53787,
              0.65687,
              0.89637,
              1.37697
            ],
            [
              0.5033,
              0.5231,
              0.5399,
              0.5706,
              0.6297,
              0.7482,
              0.9872,
              1.4673
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.0229,
              0.04073,
              0.05409,
              0.07777,
              0.12088,
              0.20524,
              0.38004,
              0.74137
            ],
            [
              0.02291,
              0.04075,
              0.05409,
              0.0778,
              0.1209,
              0.20513,
              0.38009,
              0.74165
            ],
            [
              0.02288,
              0.04071,
              0.05408,
              0.07779,
              0.1209,
              0.20519,
              0.38017,
              0.74036
            ],
            [
              0.02287,
              0.04069,
              0.05409,
              0.07778,
              0.12092,
              0.20535,
              0.37987,
              0.74075
            ],
            [
              0.02283,
              0.0407,
              0.05405,
              0.07774,
              0.12084,
              0.20529,
              0.38,
              0.74087
            ],
            [
              0.02277,
              0.04065,
              0.05403,
              0.07774,
              0.12088,
              0.20525,
              0.38,
              0.74208
            ],
            [
              0.02272,
              0.04062,
              0.05403,
              0.07772,
              0.12088,
              0.20535,
              0.38002,
              0.7406
            ],
            [
              0.02286,
              0.04082,
              0.05424,
              0.07788,
              0.12106,
              0.2054,
              0.38016,
              0.74216
            ],
            [
              0.02312,
              0.04107,
              0.0544,
              0.07813,
              0.12122,
              0.20542,
              0.38018,
              0.74113
            ],
            [
              0.02364,
              0.04156,
              0.05492,
              0.07859,
              0.12151,
              0.20564,
              0.37974,
              0.74134
            ],
            [
              0.02453,
              0.04244,
              0.05579,
              0.07947,
              0.12244,
              0.20645,
              0.37963,
              0.7408
            ],
            [
              0.0259,
              0.0438,
              0.0571,
              0.0808,
              0.1238,
              0.2077,
              0.3811,
              0.7407
            ],
            [
              0.0276,
              0.0456,
              0.0589,
              0.0825,
              0.1256,
              0.2095,
              0.3835,
              0.7435
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01821,
              0.04241,
              0.06422,
              0.10738,
              0.19697,
              0.38085,
              0.75157,
              1.49498
            ],
            [
              0.0182,
              0.0425,
              0.06421,
              0.10744,
              0.19722,
              0.38079,
              0.7511,
              1.49672
            ],
            [
              0.0182,
              0.04252,
              0.06416,
              0.10737,
              0.19714,
              0.38093,
              0.75166,
              1.49547
            ],
            [
              0.0182,
              0.04248,
              0.06422,
              0.10747,
              0.19746,
              0.3809,
              0.75165,
              1.49242
            ],
            [
              0.01818,
              0.04249,
              0.06416,
              0.10747,
              0.19713,
              0.38094,
              0.75171,
              1.49372
            ],
            [
              0.01816,
              0.04251,
              0.06413,
              0.10741,
              0.19749,
              0.38067,
              0.75115,
              1.49262
            ],
            [
              0.01817,
              0.04249,
              0.06419,
              0.10748,
              0.19731,
              0.38102,
              0.75121,
              1.49288
            ],
            [
              0.01818,
              0.04246,
              0.06422,
              0.10741,
              0.19734,
              0.38114,
              0.75144,
              1.49375
            ],
            [
              0.01854,
              0.04273,
              0.0645,
              0.10769,
              0.19761,
              0.38113,
              0.75111,
              1.49296
            ],
            [
              0.01898,
              0.04324,
              0.06489,
              0.10804,
              0.19739,
              0.38112,
              0.75147,
              1.4944
            ],
            [
              0.01964,
              0.04379,
              0.06548,
              0.10842,
              0.1975,
              0.38159,
              0.7513,
              1.4929
            ],
            [
              0.0207,
              0.0448,
              0.0664,
              0.1094,
              0.1983,
              0.3811,
              0.7521,
              1.4951
            ],
            [
              0.0223,
              0.0463,
              0.0679,
              0.1106,
              0.1986,
              0.3818,
              0.7518,
              1.4939
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.14566,
              0.16675,
              0.18271,
              0.20929,
              0.25318,
              0.32824,
              0.46617,
              0.73655
            ],
            [
              0.14716,
              0.16825,
              0.1842,
              0.21078,
              0.25468,
              0.32971,
              0.46771,
              0.73824
            ],
            [
              0.14909,
              0.17018,
              0.18613,
              0.2127,
              0.25659,
              0.33164,
              0.46969,
              0.73969
            ],
            [
              0.15216,
              0.17324,
              0.18918,
              0.21574,
              0.25964,
              0.33466,
              0.47265,
              0.74281
            ],
            [
              0.15703,
              0.17807,
              0.19399,
              0.22054,
              0.26442,
              0.33947,
              0.47741,
              0.74784
            ],
            [
              0.16441,
              0.1854,
              0.20128,
              0.2278,
              0.27167,
              0.34671,
              0.48464,
              0.75473
            ],
            [
              0.17427,
              0.19521,
              0.21104,
              0.23753,
              0.28136,
              0.35639,
              0.49431,
              0.76478
            ],
            [
              0.18554,
              0.20638,
              0.22216,
              0.2486,
              0.29241,
              0.36742,
              0.50536,
              0.77548
            ],
            [
              0.1968,
              0.2175,
              0.23321,
              0.25957,
              0.30339,
              0.37838,
              0.51641,
              0.78655
            ],
            [
              0.20658,
              0.22709,
              0.24274,
              0.26909,
              0.31287,
              0.38776,
              0.5257,
              0.79569
            ],
            [
              0.21224,
              0.23252,
              0.24811,
              0.27448,
              0.31835,
              0.39342,
              0.53132,
              0.80112
            ],
            [
              0.20957,
              0.22957,
              0.24507,
              0.27147,
              0.31557,
              0.39097,
              0.52927,
              0.79927
            ],
            [
              0.1923,
              0.212,
              0.2274,
              0.2538,
              0.2981,
              0.3738,
              0.5127,
              0.7832
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.16746,
              0.18825,
              0.20568,
              0.23743,
              0.29812,
              0.41835,
              0.65887,
              1.14037
            ],
            [
              0.16922,
              0.19,
              0.20742,
              0.23921,
              0.29985,
              0.4201,
              0.66063,
              1.14204
            ],
            [
              0.17151,
              0.1923,
              0.20971,
              0.24153,
              0.30218,
              0.42239,
              0.66287,
              1.14442
            ],
            [
              0.17519,
              0.19598,
              0.21341,
              0.24519,
              0.30585,
              0.42606,
              0.66653,
              1.14777
            ],
            [
              0.18107,
              0.20185,
              0.21928,
              0.25106,
              0.31172,
              0.43194,
              0.67244,
              1.15391
            ],
            [
              0.19039,
              0.21117,
              0.22858,
              0.26037,
              0.321,
              0.44121,
              0.68167,
              1.16292
            ],
            [
              0.20484,
              0.22564,
              0.24304,
              0.2748,
              0.33542,
              0.45561,
              0.69612,
              1.17723
            ],
            [
              0.22616,
              0.24687,
              0.2642,
              0.29586,
              0.35643,
              0.47655,
              0.71698,
              1.19856
            ],
            [
              0.25507,
              0.27557,
              0.29279,
              0.32429,
              0.38463,
              0.50453,
              0.74486,
              1.22605
            ],
            [
              0.29264,
              0.31291,
              0.33,
              0.36132,
              0.42141,
              0.54118,
              0.78129,
              1.26229
            ],
            [
              0.34282,
              0.36287,
              0.37982,
              0.41093,
              0.47072,
              0.59012,
              0.83012,
              1.31092
            ],
            [
              0.41077,
              0.43067,
              0.44747,
              0.47837,
              0.53787,
              0.65687,
              0.89627,
              1.37697
            ],
            [
              0.5033,
              0.5231,
              0.5398,
              0.5706,
              0.6297,
              0.7482,
              0.9872,
              1.4673
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.0229,
              0.04072,
              0.0541,
              0.07773,
              0.1209,
              0.20531,
              0.38,
              0.74034
            ],
            [
              0.02289,
              0.04073,
              0.0541,
              0.0778,
              0.1209,
              0.20511,
              0.38007,
              0.74164
            ],
            [
              0.02289,
              0.0407,
              0.05407,
              0.07779,
              0.12091,
              0.20526,
              0.3801,
              0.74014
            ],
            [
              0.02287,
              0.0407,
              0.05408,
              0.07779,
              0.12089,
              0.20512,
              0.38008,
              0.74062
            ],
            [
              0.02283,
              0.04072,
              0.05406,
              0.07776,
              0.12086,
              0.20528,
              0.38,
              0.74086
            ],
            [
              0.02277,
              0.04066,
              0.05404,
              0.07774,
              0.12088,
              0.20525,
              0.38001,
              0.74209
            ],
            [
              0.02273,
              0.04061,
              0.05404,
              0.07773,
              0.12089,
              0.20533,
              0.37999,
              0.74154
            ],
            [
              0.02287,
              0.04084,
              0.05424,
              0.07788,
              0.12105,
              0.2054,
              0.38017,
              0.74211
            ],
            [
              0.02313,
              0.04108,
              0.05441,
              0.07803,
              0.12122,
              0.20544,
              0.37985,
              0.7408
            ],
            [
              0.02365,
              0.04157,
              0.05493,
              0.07859,
              0.12151,
              0.20565,
              0.37974,
              0.74123
            ],
            [
              0.02456,
              0.04245,
              0.05579,
              0.07946,
              0.12243,
              0.20645,
              0.37964,
              0.7409
            ],
            [
              0.0259,
              0.0438,
              0.0572,
              0.0808,
              0.1238,
              0.2077,
              0.3811,
              0.7408
            ],
            [
              0.0277,
              0.0457,
              0.0589,
              0.0825,
              0.1257,
              0.2096,
              0.3835,
              0.7436
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01818,
              0.04242,
              0.06422,
              0.10737,
              0.19746,
              0.38103,
              0.75109,
              1.4958
            ],
            [
              0.01819,
              0.0425,
              0.06422,
              0.10744,
              0.19741,
              0.38076,
              0.75162,
              1.49323
            ],
            [
              0.0182,
              0.0425,
              0.06418,
              0.10756,
              0.19706,
              0.38134,
              0.75119,
              1.49459
            ],
            [
              0.01819,
              0.04248,
              0.06422,
              0.10748,
              0.19729,
              0.38085,
              0.75118,
              1.49306
            ],
            [
              0.01818,
              0.04249,
              0.06416,
              0.1075,
              0.19727,
              0.38089,
              0.75154,
              1.49636
            ],
            [
              0.01817,
              0.04249,
              0.06412,
              0.10741,
              0.19751,
              0.38103,
              0.75137,
              1.49376
            ],
            [
              0.01817,
              0.04251,
              0.06419,
              0.10747,
              0.19728,
              0.38165,
              0.75191,
              1.49293
            ],
            [
              0.0182,
              0.04246,
              0.06422,
              0.10743,
              0.19751,
              0.38119,
              0.75165,
              1.49496
            ],
            [
              0.01855,
              0.04273,
              0.06451,
              0.10769,
              0.19761,
              0.38108,
              0.75297,
              1.49383
            ],
            [
              0.01898,
              0.04324,
              0.06489,
              0.10806,
              0.19718,
              0.38113,
              0.75168,
              1.4933
            ],
            [
              0.01965,
              0.04381,
              0.06549,
              0.10844,
              0.19751,
              0.3816,
              0.7517,
              1.4929
            ],
            [
              0.0206,
              0.0448,
              0.0664,
              0.1095,
              0.1983,
              0.3811,
              0.7515,
              1.4954
            ],
            [
              0.0223,
              0.0464,
              0.0679,
              0.1107,
              0.1987,
              0.3819,
              0.7519,
              1.4939
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.11195,
              0.13596,
              0.15356,
              0.18251,
              0.22971,
              0.30869,
              0.44996,
              0.7213
            ],
            [
              0.11367,
              0.13769,
              0.15528,
              0.18424,
              0.23143,
              0.31043,
              0.45178,
              0.72295
            ],
            [
              0.11594,
              0.13996,
              0.15756,
              0.1865,
              0.23371,
              0.31269,
              0.45403,
              0.72532
            ],
            [
              0.1196,
              0.14361,
              0.1612,
              0.19015,
              0.23736,
              0.31633,
              0.45764,
              0.72894
            ],
            [
              0.12541,
              0.14941,
              0.167,
              0.19594,
              0.24316,
              0.32216,
              0.46342,
              0.73506
            ],
            [
              0.13456,
              0.15855,
              0.17612,
              0.20507,
              0.25229,
              0.3313,
              0.47266,
              0.74394
            ],
            [
              0.14872,
              0.17265,
              0.19018,
              0.2191,
              0.26633,
              0.34535,
              0.48673,
              0.75793
            ],
            [
              0.16902,
              0.19316,
              0.21072,
              0.23968,
              0.28696,
              0.36607,
              0.50744,
              0.77886
            ],
            [
              0.19498,
              0.22004,
              0.23808,
              0.26763,
              0.31549,
              0.39494,
              0.53642,
              0.80775
            ],
            [
              0.22916,
              0.25529,
              0.2739,
              0.3042,
              0.3532,
              0.43377,
              0.5757,
              0.84699
            ],
            [
              0.27524,
              0.30275,
              0.32216,
              0.35348,
              0.40385,
              0.48592,
              0.62902,
              0.90062
            ],
            [
              0.33807,
              0.36737,
              0.38797,
              0.42087,
              0.47337,
              0.55777,
              0.70277,
              0.97497
            ],
            [
              0.4239,
              0.4556,
              0.4779,
              0.5131,
              0.5688,
              0.6574,
              0.8061,
              1.0802
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.09197,
              0.11493,
              0.13358,
              0.16674,
              0.2282,
              0.34794,
              0.58621,
              1.06437
            ],
            [
              0.09338,
              0.11634,
              0.135,
              0.16814,
              0.22955,
              0.34943,
              0.58767,
              1.06444
            ],
            [
              0.09516,
              0.11812,
              0.13676,
              0.16989,
              0.23136,
              0.35113,
              0.58987,
              1.06702
            ],
            [
              0.09792,
              0.12087,
              0.13952,
              0.17266,
              0.23406,
              0.35374,
              0.59259,
              1.07028
            ],
            [
              0.10216,
              0.12512,
              0.14373,
              0.17684,
              0.23833,
              0.35815,
              0.59662,
              1.07301
            ],
            [
              0.10848,
              0.1314,
              0.15,
              0.18304,
              0.24443,
              0.36408,
              0.60303,
              1.08002
            ],
            [
              0.11712,
              0.13999,
              0.1585,
              0.1914,
              0.25263,
              0.37236,
              0.61074,
              1.08853
            ],
            [
              0.12622,
              0.1495,
              0.16815,
              0.20116,
              0.26225,
              0.38176,
              0.62046,
              1.09706
            ],
            [
              0.13454,
              0.1585,
              0.17749,
              0.2109,
              0.2721,
              0.39137,
              0.62961,
              1.10685
            ],
            [
              0.14033,
              0.1654,
              0.18495,
              0.21904,
              0.2807,
              0.39966,
              0.63759,
              1.11449
            ],
            [
              0.14072,
              0.16739,
              0.18779,
              0.22306,
              0.2858,
              0.40535,
              0.64242,
              1.11922
            ],
            [
              0.13138,
              0.16018,
              0.18167,
              0.21867,
              0.28337,
              0.40427,
              0.64257,
              1.11727
            ],
            [
              0.1058,
              0.1372,
              0.1603,
              0.1995,
              0.267,
              0.3906,
              0.6315,
              1.1082
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.02634,
              0.04538,
              0.0599,
              0.08517,
              0.12981,
              0.21438,
              0.38662,
              0.74411
            ],
            [
              0.02633,
              0.04538,
              0.0599,
              0.08508,
              0.12975,
              0.21434,
              0.38645,
              0.74435
            ],
            [
              0.02633,
              0.04535,
              0.0599,
              0.08517,
              0.12975,
              0.21422,
              0.38643,
              0.74406
            ],
            [
              0.02635,
              0.04539,
              0.05992,
              0.08518,
              0.12981,
              0.21436,
              0.38659,
              0.74416
            ],
            [
              0.02637,
              0.04541,
              0.05995,
              0.08521,
              0.12979,
              0.21442,
              0.38663,
              0.74384
            ],
            [
              0.02644,
              0.04547,
              0.06003,
              0.08518,
              0.12981,
              0.21443,
              0.38626,
              0.74442
            ],
            [
              0.02679,
              0.04583,
              0.06037,
              0.08548,
              0.13007,
              0.21445,
              0.38646,
              0.74419
            ],
            [
              0.02901,
              0.04769,
              0.06186,
              0.08659,
              0.13088,
              0.21498,
              0.38702,
              0.74374
            ],
            [
              0.03252,
              0.05139,
              0.06544,
              0.08978,
              0.13319,
              0.21653,
              0.3875,
              0.74399
            ],
            [
              0.03695,
              0.05605,
              0.0701,
              0.09429,
              0.13747,
              0.21972,
              0.38882,
              0.74499
            ],
            [
              0.04282,
              0.06244,
              0.07648,
              0.10053,
              0.14318,
              0.22422,
              0.39155,
              0.7461
            ],
            [
              0.0511,
              0.0717,
              0.0859,
              0.1099,
              0.1521,
              0.2321,
              0.3968,
              0.7481
            ],
            [
              0.0628,
              0.0846,
              0.0995,
              0.124,
              0.1662,
              0.2455,
              0.407,
              0.752
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00692,
            0.01384,
            0.02768,
            0.05536,
            0.11073,
            0.22146,
            0.44293
          ],
          "values": [
            [
              0.01841,
              0.04319,
              0.06542,
              0.10879,
              0.19735,
              0.37875,
              0.74721,
              1.48239
            ],
            [
              0.01842,
              0.04312,
              0.06539,
              0.10885,
              0.19751,
              0.37857,
              0.74551,
              1.48239
            ],
            [
              0.0184,
              0.04322,
              0.0654,
              0.10868,
              0.19744,
              0.37867,
              0.74597,
              1.48124
            ],
            [
              0.01842,
              0.04321,
              0.06536,
              0.10887,
              0.19751,
              0.3786,
              0.74608,
              1.48581
            ],
            [
              0.01844,
              0.04326,
              0.06543,
              0.10881,
              0.19758,
              0.37872,
              0.7462,
              1.4819
            ],
            [
              0.01854,
              0.04338,
              0.06558,
              0.10898,
              0.19763,
              0.3791,
              0.74545,
              1.48076
            ],
            [
              0.01936,
              0.0439,
              0.06603,
              0.10929,
              0.19771,
              0.37871,
              0.74649,
              1.48285
            ],
            [
              0.02123,
              0.04557,
              0.06765,
              0.11022,
              0.19822,
              0.37878,
              0.74613,
              1.48379
            ],
            [
              0.02402,
              0.04807,
              0.07023,
              0.11253,
              0.19903,
              0.37994,
              0.74542,
              1.48297
            ],
            [
              0.02804,
              0.05181,
              0.074,
              0.11603,
              0.20152,
              0.37978,
              0.74787,
              1.48275
            ],
            [
              0.03367,
              0.05734,
              0.07961,
              0.12168,
              0.2063,
              0.38302,
              0.74647,
              1.4826
            ],
            [
              0.04128,
              0.06506,
              0.08758,
              0.1302,
              0.2141,
              0.3884,
              0.7511,
              1.4819
            ],
            [
              0.0516,
              0.0757,
              0.0984,
              0.1416,
              0.2253,
              0.3991,
              0.7596,
              1.4858
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}