{
  "area": 51.1488,
  "cell_footprint": "sky130_fd_sc_hs__fah",
  "cell_leakage_power": 2825.90563,
  "leakage_power": [
    {
      "value": 3252.84573,
      "when": "!A&!B&!CI"
    },
    {
      "value": 2455.72133,
      "when": "!A&!B&CI"
    },
    {
      "value": 2644.68175,
      "when": "!A&B&!CI"
    },
    {
      "value": 2885.96514,
      "when": "!A&B&CI"
    },
    {
      "value": 2583.40441,
      "when": "A&!B&!CI"
    },
    {
      "value": 3202.13127,
      "when": "A&!B&CI"
    },
    {
      "value": 3386.1317,
      "when": "A&B&!CI"
    },
    {
      "value": 2196.36369,
      "when": "A&B&CI"
    }
  ],
  "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.00516,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00753,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.0025,
    "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.09913,
              0.1097,
              0.12114,
              0.14467,
              0.19188,
              0.28539,
              0.47169,
              0.84487
            ],
            [
              0.09898,
              0.10955,
              0.121,
              0.14454,
              0.19177,
              0.28536,
              0.47156,
              0.84476
            ],
            [
              0.09886,
              0.10939,
              0.12086,
              0.14442,
              0.19158,
              0.28519,
              0.47155,
              0.84441
            ],
            [
              0.09872,
              0.10924,
              0.12069,
              0.14427,
              0.19145,
              0.28517,
              0.4713,
              0.84364
            ],
            [
              0.09856,
              0.1091,
              0.12055,
              0.1441,
              0.19126,
              0.28488,
              0.4712,
              0.84439
            ],
            [
              0.09842,
              0.10896,
              0.12039,
              0.14395,
              0.19113,
              0.28473,
              0.47107,
              0.84422
            ],
            [
              0.09829,
              0.10886,
              0.1203,
              0.14384,
              0.19107,
              0.28465,
              0.47093,
              0.84406
            ],
            [
              0.09826,
              0.10883,
              0.12025,
              0.14381,
              0.19102,
              0.28456,
              0.47099,
              0.84366
            ],
            [
              0.09842,
              0.10895,
              0.1204,
              0.14397,
              0.19115,
              0.28453,
              0.47092,
              0.84504
            ],
            [
              0.09892,
              0.10943,
              0.12087,
              0.14442,
              0.19157,
              0.28537,
              0.47147,
              0.84458
            ],
            [
              0.09991,
              0.11041,
              0.12182,
              0.14533,
              0.19246,
              0.28603,
              0.47263,
              0.84562
            ],
            [
              0.1017,
              0.11221,
              0.1236,
              0.14694,
              0.19407,
              0.28772,
              0.47456,
              0.84769
            ],
            [
              0.10478,
              0.11521,
              0.12661,
              0.15009,
              0.19729,
              0.29049,
              0.47653,
              0.85038
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.08648,
              0.09276,
              0.10035,
              0.11639,
              0.14889,
              0.21308,
              0.34073,
              0.59575
            ],
            [
              0.08624,
              0.09252,
              0.10012,
              0.11615,
              0.14864,
              0.2128,
              0.3405,
              0.59557
            ],
            [
              0.08615,
              0.09244,
              0.10003,
              0.11608,
              0.1486,
              0.21274,
              0.34011,
              0.59569
            ],
            [
              0.08592,
              0.09221,
              0.0998,
              0.11585,
              0.14834,
              0.2125,
              0.33958,
              0.59522
            ],
            [
              0.08573,
              0.09202,
              0.09961,
              0.11566,
              0.14816,
              0.21226,
              0.34001,
              0.59507
            ],
            [
              0.08548,
              0.09177,
              0.09935,
              0.11539,
              0.1479,
              0.21203,
              0.33945,
              0.59427
            ],
            [
              0.08523,
              0.09154,
              0.09912,
              0.11515,
              0.14768,
              0.21189,
              0.33941,
              0.59469
            ],
            [
              0.08501,
              0.09131,
              0.09889,
              0.11494,
              0.14748,
              0.21159,
              0.33899,
              0.59388
            ],
            [
              0.08489,
              0.09119,
              0.09878,
              0.11483,
              0.14739,
              0.21146,
              0.33899,
              0.59459
            ],
            [
              0.08499,
              0.09129,
              0.09889,
              0.11495,
              0.14754,
              0.21161,
              0.33938,
              0.59352
            ],
            [
              0.0855,
              0.0918,
              0.09939,
              0.11548,
              0.14805,
              0.2122,
              0.33994,
              0.59451
            ],
            [
              0.08681,
              0.09312,
              0.10072,
              0.11683,
              0.14943,
              0.21357,
              0.34131,
              0.5954
            ],
            [
              0.08913,
              0.09544,
              0.10305,
              0.11915,
              0.15179,
              0.21583,
              0.3433,
              0.59817
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.09436,
              0.10494,
              0.11642,
              0.13994,
              0.18705,
              0.28071,
              0.46697,
              0.8402
            ],
            [
              0.0942,
              0.10478,
              0.11625,
              0.1398,
              0.18693,
              0.28056,
              0.46706,
              0.83954
            ],
            [
              0.09403,
              0.10461,
              0.11608,
              0.13959,
              0.18676,
              0.28034,
              0.46657,
              0.84025
            ],
            [
              0.09393,
              0.10451,
              0.11598,
              0.13953,
              0.18669,
              0.28031,
              0.46661,
              0.8398
            ],
            [
              0.09383,
              0.10441,
              0.11588,
              0.13942,
              0.18654,
              0.2802,
              0.46635,
              0.84095
            ],
            [
              0.09372,
              0.10429,
              0.11577,
              0.1393,
              0.18652,
              0.27997,
              0.4668,
              0.84036
            ],
            [
              0.09373,
              0.10431,
              0.11578,
              0.13931,
              0.18645,
              0.28008,
              0.46659,
              0.84018
            ],
            [
              0.09389,
              0.10446,
              0.11592,
              0.13943,
              0.18665,
              0.28025,
              0.46676,
              0.8403
            ],
            [
              0.0942,
              0.10478,
              0.11625,
              0.13972,
              0.18684,
              0.2805,
              0.4666,
              0.83984
            ],
            [
              0.09486,
              0.10543,
              0.11687,
              0.14036,
              0.1874,
              0.28095,
              0.46734,
              0.83947
            ],
            [
              0.09599,
              0.10652,
              0.11793,
              0.14133,
              0.18836,
              0.28188,
              0.46828,
              0.84103
            ],
            [
              0.09799,
              0.10842,
              0.11976,
              0.14309,
              0.19002,
              0.28354,
              0.46958,
              0.84271
            ],
            [
              0.10134,
              0.11158,
              0.12282,
              0.14607,
              0.19296,
              0.2861,
              0.47262,
              0.84603
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.07403,
              0.08032,
              0.0879,
              0.10395,
              0.13648,
              0.20062,
              0.3283,
              0.58371
            ],
            [
              0.074,
              0.08028,
              0.08786,
              0.10391,
              0.13647,
              0.2006,
              0.32802,
              0.58281
            ],
            [
              0.07398,
              0.08024,
              0.08782,
              0.10389,
              0.13643,
              0.2005,
              0.32812,
              0.58311
            ],
            [
              0.07394,
              0.08019,
              0.08778,
              0.10384,
              0.13638,
              0.20048,
              0.32815,
              0.58266
            ],
            [
              0.07388,
              0.08015,
              0.08775,
              0.10379,
              0.13635,
              0.20043,
              0.32818,
              0.58308
            ],
            [
              0.07389,
              0.08015,
              0.08772,
              0.10377,
              0.1363,
              0.20042,
              0.32811,
              0.5834
            ],
            [
              0.07389,
              0.08014,
              0.08773,
              0.10376,
              0.13632,
              0.20031,
              0.32801,
              0.58287
            ],
            [
              0.0739,
              0.08017,
              0.08775,
              0.10377,
              0.13632,
              0.20042,
              0.32814,
              0.58311
            ],
            [
              0.07408,
              0.08036,
              0.08792,
              0.10393,
              0.13642,
              0.20054,
              0.32769,
              0.58325
            ],
            [
              0.0745,
              0.08077,
              0.08833,
              0.10432,
              0.13676,
              0.20072,
              0.32847,
              0.58274
            ],
            [
              0.07532,
              0.08157,
              0.08913,
              0.1051,
              0.13745,
              0.20147,
              0.3291,
              0.58396
            ],
            [
              0.07678,
              0.08303,
              0.09058,
              0.1065,
              0.13876,
              0.20272,
              0.32989,
              0.58506
            ],
            [
              0.07923,
              0.0855,
              0.093,
              0.10888,
              0.14114,
              0.20474,
              0.33211,
              0.58777
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.07486,
              0.08521,
              0.09662,
              0.12019,
              0.16768,
              0.26162,
              0.44777,
              0.82137
            ],
            [
              0.0748,
              0.08512,
              0.09657,
              0.12015,
              0.16765,
              0.26158,
              0.44782,
              0.82097
            ],
            [
              0.07479,
              0.08509,
              0.09654,
              0.12012,
              0.1676,
              0.26155,
              0.4477,
              0.82135
            ],
            [
              0.07474,
              0.08509,
              0.09653,
              0.12008,
              0.16758,
              0.26151,
              0.44768,
              0.82108
            ],
            [
              0.0747,
              0.08507,
              0.09652,
              0.12013,
              0.16743,
              0.26154,
              0.44824,
              0.82067
            ],
            [
              0.07466,
              0.08502,
              0.09646,
              0.12002,
              0.16733,
              0.2614,
              0.44834,
              0.82204
            ],
            [
              0.07465,
              0.08497,
              0.09641,
              0.12004,
              0.16732,
              0.26134,
              0.4479,
              0.82252
            ],
            [
              0.07462,
              0.08496,
              0.09635,
              0.11988,
              0.16722,
              0.26131,
              0.44816,
              0.8212
            ],
            [
              0.07461,
              0.08493,
              0.09636,
              0.11979,
              0.167,
              0.26097,
              0.44764,
              0.82201
            ],
            [
              0.0747,
              0.08496,
              0.0963,
              0.11981,
              0.16697,
              0.26087,
              0.44777,
              0.81963
            ],
            [
              0.07534,
              0.08543,
              0.0967,
              0.11998,
              0.16698,
              0.26085,
              0.44736,
              0.82002
            ],
            [
              0.07688,
              0.08661,
              0.09767,
              0.12067,
              0.16748,
              0.26132,
              0.44789,
              0.82083
            ],
            [
              0.07933,
              0.08879,
              0.09958,
              0.12239,
              0.16874,
              0.26178,
              0.44878,
              0.82055
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.07034,
              0.07678,
              0.08448,
              0.10075,
              0.13366,
              0.1983,
              0.3253,
              0.58146
            ],
            [
              0.07025,
              0.07672,
              0.0844,
              0.10069,
              0.13357,
              0.19817,
              0.32527,
              0.57964
            ],
            [
              0.07021,
              0.07667,
              0.08437,
              0.10066,
              0.13354,
              0.19814,
              0.32518,
              0.58028
            ],
            [
              0.0702,
              0.07667,
              0.08435,
              0.10063,
              0.13352,
              0.19813,
              0.32525,
              0.57987
            ],
            [
              0.07014,
              0.07659,
              0.08429,
              0.10058,
              0.13347,
              0.19809,
              0.32519,
              0.58091
            ],
            [
              0.07005,
              0.07651,
              0.0842,
              0.10048,
              0.13337,
              0.19796,
              0.32506,
              0.57963
            ],
            [
              0.06994,
              0.07639,
              0.08409,
              0.10036,
              0.13324,
              0.19786,
              0.32496,
              0.57972
            ],
            [
              0.06981,
              0.07627,
              0.08395,
              0.10022,
              0.13306,
              0.19767,
              0.32468,
              0.57969
            ],
            [
              0.06973,
              0.07618,
              0.08384,
              0.10008,
              0.13289,
              0.19745,
              0.32449,
              0.57937
            ],
            [
              0.06977,
              0.07618,
              0.08379,
              0.09997,
              0.13273,
              0.19729,
              0.32427,
              0.57917
            ],
            [
              0.07004,
              0.07634,
              0.08391,
              0.09998,
              0.13264,
              0.19704,
              0.32419,
              0.57917
            ],
            [
              0.07064,
              0.07683,
              0.08431,
              0.10028,
              0.1328,
              0.1971,
              0.32392,
              0.5784
            ],
            [
              0.0719,
              0.07788,
              0.08523,
              0.10105,
              0.1334,
              0.19762,
              0.32446,
              0.5794
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.25679,
    "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.46434,
              0.49565,
              0.51742,
              0.55078,
              0.60118,
              0.67853,
              0.80348,
              1.02207
            ],
            [
              0.46684,
              0.49815,
              0.51992,
              0.55328,
              0.60368,
              0.68103,
              0.80598,
              1.02454
            ],
            [
              0.46996,
              0.50128,
              0.52304,
              0.55641,
              0.60679,
              0.68415,
              0.80912,
              1.02762
            ],
            [
              0.47482,
              0.50614,
              0.5279,
              0.56127,
              0.61165,
              0.689,
              0.81397,
              1.03258
            ],
            [
              0.48237,
              0.51369,
              0.53544,
              0.56881,
              0.61919,
              0.69655,
              0.82152,
              1.04001
            ],
            [
              0.49394,
              0.52525,
              0.54701,
              0.58038,
              0.63077,
              0.70811,
              0.83307,
              1.05162
            ],
            [
              0.51119,
              0.5425,
              0.56426,
              0.59763,
              0.64802,
              0.72537,
              0.85032,
              1.06893
            ],
            [
              0.53516,
              0.56646,
              0.58822,
              0.62159,
              0.67199,
              0.74935,
              0.87436,
              1.09286
            ],
            [
              0.56635,
              0.59764,
              0.61938,
              0.65277,
              0.70319,
              0.78055,
              0.90555,
              1.12405
            ],
            [
              0.60413,
              0.63529,
              0.65709,
              0.69049,
              0.74099,
              0.81839,
              0.94349,
              1.16199
            ],
            [
              0.64392,
              0.67492,
              0.69662,
              0.73002,
              0.78062,
              0.85822,
              0.98342,
              1.20202
            ],
            [
              0.68157,
              0.71227,
              0.73387,
              0.76717,
              0.81777,
              0.89547,
              1.02067,
              1.23907
            ],
            [
              0.7194,
              0.7497,
              0.7711,
              0.8042,
              0.8547,
              0.9324,
              1.0577,
              1.2759
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.40955,
              0.44723,
              0.47434,
              0.51836,
              0.59232,
              0.72605,
              0.98623,
              1.50567
            ],
            [
              0.41234,
              0.45002,
              0.47713,
              0.52115,
              0.59511,
              0.72884,
              0.98904,
              1.50844
            ],
            [
              0.41572,
              0.4534,
              0.4805,
              0.52453,
              0.59849,
              0.73222,
              0.99242,
              1.51182
            ],
            [
              0.42079,
              0.45847,
              0.48557,
              0.5296,
              0.60355,
              0.73728,
              0.99748,
              1.51688
            ],
            [
              0.42851,
              0.46618,
              0.49329,
              0.53731,
              0.61128,
              0.74502,
              1.00521,
              1.52461
            ],
            [
              0.4399,
              0.47757,
              0.50469,
              0.5487,
              0.62266,
              0.7564,
              1.01652,
              1.53602
            ],
            [
              0.45568,
              0.49335,
              0.52047,
              0.56449,
              0.63844,
              0.77218,
              1.03223,
              1.55173
            ],
            [
              0.47631,
              0.51398,
              0.54108,
              0.5851,
              0.65905,
              0.79276,
              1.05286,
              1.57236
            ],
            [
              0.50306,
              0.5407,
              0.5678,
              0.61182,
              0.68576,
              0.81945,
              1.07945,
              1.59895
            ],
            [
              0.53696,
              0.57456,
              0.60165,
              0.64569,
              0.71959,
              0.85319,
              1.11329,
              1.63269
            ],
            [
              0.57902,
              0.61652,
              0.64362,
              0.68762,
              0.76152,
              0.89512,
              1.15502,
              1.67452
            ],
            [
              0.63057,
              0.66817,
              0.69517,
              0.73917,
              0.81307,
              0.94657,
              1.20647,
              1.72587
            ],
            [
              0.6932,
              0.7306,
              0.7576,
              0.8016,
              0.8755,
              1.0089,
              1.2685,
              1.788
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.05186,
              0.07024,
              0.08414,
              0.10734,
              0.14668,
              0.21631,
              0.34743,
              0.61291
            ],
            [
              0.05185,
              0.07024,
              0.08414,
              0.10733,
              0.14668,
              0.21631,
              0.34742,
              0.61289
            ],
            [
              0.05182,
              0.07031,
              0.08413,
              0.1073,
              0.14677,
              0.21605,
              0.34743,
              0.61207
            ],
            [
              0.05184,
              0.07021,
              0.08416,
              0.10732,
              0.1467,
              0.21633,
              0.34758,
              0.61273
            ],
            [
              0.05182,
              0.07031,
              0.08413,
              0.10729,
              0.14677,
              0.21605,
              0.34742,
              0.61206
            ],
            [
              0.05185,
              0.07022,
              0.08416,
              0.10731,
              0.14669,
              0.21632,
              0.34752,
              0.61276
            ],
            [
              0.05183,
              0.0702,
              0.08415,
              0.10733,
              0.14667,
              0.21632,
              0.34745,
              0.61282
            ],
            [
              0.0518,
              0.07025,
              0.08414,
              0.10732,
              0.14668,
              0.21633,
              0.34743,
              0.61289
            ],
            [
              0.05171,
              0.07024,
              0.0841,
              0.10728,
              0.14666,
              0.21637,
              0.34722,
              0.6123
            ],
            [
              0.05157,
              0.07008,
              0.08404,
              0.1073,
              0.1464,
              0.216,
              0.3474,
              0.6129
            ],
            [
              0.0513,
              0.0697,
              0.0838,
              0.1071,
              0.1467,
              0.2161,
              0.3473,
              0.6129
            ],
            [
              0.0508,
              0.0693,
              0.0834,
              0.1068,
              0.1463,
              0.2163,
              0.3474,
              0.6126
            ],
            [
              0.0503,
              0.0686,
              0.0826,
              0.1062,
              0.1461,
              0.2162,
              0.3475,
              0.6118
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.04972,
              0.07842,
              0.10191,
              0.14577,
              0.2326,
              0.41307,
              0.78615,
              1.53758
            ],
            [
              0.04972,
              0.07842,
              0.10191,
              0.14577,
              0.23259,
              0.41307,
              0.78603,
              1.53756
            ],
            [
              0.04973,
              0.0784,
              0.10189,
              0.14576,
              0.23256,
              0.41311,
              0.78604,
              1.53777
            ],
            [
              0.04972,
              0.07843,
              0.10191,
              0.14576,
              0.23259,
              0.41301,
              0.78642,
              1.53746
            ],
            [
              0.04973,
              0.07843,
              0.10189,
              0.14571,
              0.23261,
              0.41315,
              0.78614,
              1.53717
            ],
            [
              0.04971,
              0.07844,
              0.10191,
              0.14576,
              0.2326,
              0.41296,
              0.78616,
              1.5373
            ],
            [
              0.0497,
              0.07846,
              0.10191,
              0.14574,
              0.23261,
              0.41319,
              0.78719,
              1.5365
            ],
            [
              0.04965,
              0.07838,
              0.10186,
              0.14568,
              0.23249,
              0.41298,
              0.78651,
              1.5374
            ],
            [
              0.04954,
              0.07829,
              0.10181,
              0.1456,
              0.23246,
              0.41282,
              0.7859,
              1.5368
            ],
            [
              0.04937,
              0.07818,
              0.10165,
              0.1455,
              0.23227,
              0.4128,
              0.7862,
              1.5377
            ],
            [
              0.0491,
              0.078,
              0.1016,
              0.1453,
              0.2321,
              0.4127,
              0.7859,
              1.537
            ],
            [
              0.0489,
              0.0778,
              0.1014,
              0.1452,
              0.2319,
              0.4124,
              0.7861,
              1.5369
            ],
            [
              0.0485,
              0.0774,
              0.1011,
              0.145,
              0.2318,
              0.4122,
              0.786,
              1.5364
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.48474,
              0.51912,
              0.54289,
              0.57921,
              0.63379,
              0.71698,
              0.84986,
              1.07907
            ],
            [
              0.48725,
              0.52163,
              0.54539,
              0.58172,
              0.63629,
              0.71948,
              0.85236,
              1.08154
            ],
            [
              0.49038,
              0.52475,
              0.54854,
              0.58485,
              0.63944,
              0.72263,
              0.8555,
              1.08452
            ],
            [
              0.49524,
              0.5296,
              0.55339,
              0.58971,
              0.64429,
              0.72749,
              0.86037,
              1.08938
            ],
            [
              0.50277,
              0.53714,
              0.56093,
              0.59724,
              0.65183,
              0.73503,
              0.8679,
              1.09691
            ],
            [
              0.5143,
              0.54867,
              0.57246,
              0.60877,
              0.66336,
              0.74656,
              0.87942,
              1.10842
            ],
            [
              0.53149,
              0.56585,
              0.58963,
              0.62596,
              0.68052,
              0.76371,
              0.89663,
              1.12573
            ],
            [
              0.55549,
              0.58984,
              0.61362,
              0.64995,
              0.70451,
              0.78771,
              0.92056,
              1.14966
            ],
            [
              0.58725,
              0.62158,
              0.64536,
              0.68168,
              0.73628,
              0.81945,
              0.95235,
              1.18155
            ],
            [
              0.62673,
              0.66099,
              0.68479,
              0.72109,
              0.77569,
              0.85899,
              0.99189,
              1.22109
            ],
            [
              0.66922,
              0.70332,
              0.72692,
              0.76332,
              0.81802,
              0.90132,
              1.03442,
              1.26372
            ],
            [
              0.70857,
              0.74207,
              0.76557,
              0.80177,
              0.85647,
              0.93987,
              1.07297,
              1.30237
            ],
            [
              0.7464,
              0.7794,
              0.8026,
              0.8385,
              0.893,
              0.9764,
              1.1095,
              1.3383
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.40978,
              0.44644,
              0.47268,
              0.51523,
              0.58682,
              0.71599,
              0.96479,
              1.45677
            ],
            [
              0.41258,
              0.44924,
              0.47547,
              0.51803,
              0.58962,
              0.71879,
              0.96758,
              1.45964
            ],
            [
              0.41596,
              0.45261,
              0.47885,
              0.52141,
              0.593,
              0.72217,
              0.97087,
              1.46302
            ],
            [
              0.42102,
              0.45769,
              0.48392,
              0.52648,
              0.59806,
              0.72725,
              0.97588,
              1.46818
            ],
            [
              0.42875,
              0.4654,
              0.49164,
              0.53419,
              0.60579,
              0.73496,
              0.98371,
              1.47581
            ],
            [
              0.44018,
              0.47684,
              0.50307,
              0.54562,
              0.61721,
              0.74636,
              0.99522,
              1.48722
            ],
            [
              0.45613,
              0.49278,
              0.51901,
              0.56156,
              0.63316,
              0.76234,
              1.01113,
              1.50323
            ],
            [
              0.47714,
              0.51377,
              0.54,
              0.58254,
              0.65414,
              0.78331,
              1.03216,
              1.52416
            ],
            [
              0.50441,
              0.54099,
              0.56721,
              0.60974,
              0.68134,
              0.81055,
              1.05945,
              1.55145
            ],
            [
              0.53883,
              0.57534,
              0.60154,
              0.64409,
              0.71569,
              0.84489,
              1.09349,
              1.58579
            ],
            [
              0.58122,
              0.61772,
              0.64382,
              0.68632,
              0.75792,
              0.88712,
              1.13582,
              1.62802
            ],
            [
              0.63317,
              0.66947,
              0.69557,
              0.73807,
              0.80967,
              0.93887,
              1.18747,
              1.67977
            ],
            [
              0.696,
              0.7322,
              0.7583,
              0.8008,
              0.8723,
              1.0015,
              1.2501,
              1.7425
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.05879,
              0.07856,
              0.0935,
              0.11816,
              0.15982,
              0.2323,
              0.36806,
              0.6395
            ],
            [
              0.05878,
              0.07857,
              0.09348,
              0.11818,
              0.15983,
              0.2323,
              0.36802,
              0.63957
            ],
            [
              0.05884,
              0.0786,
              0.0935,
              0.11812,
              0.15958,
              0.23233,
              0.36803,
              0.63957
            ],
            [
              0.05881,
              0.07859,
              0.0935,
              0.11812,
              0.15956,
              0.23266,
              0.36809,
              0.63967
            ],
            [
              0.05883,
              0.07862,
              0.0935,
              0.11812,
              0.15957,
              0.23234,
              0.36793,
              0.63936
            ],
            [
              0.05882,
              0.07862,
              0.0935,
              0.11812,
              0.15957,
              0.23234,
              0.36802,
              0.63934
            ],
            [
              0.05879,
              0.07862,
              0.0935,
              0.1181,
              0.1598,
              0.23257,
              0.36804,
              0.63967
            ],
            [
              0.05877,
              0.07859,
              0.09349,
              0.1181,
              0.15977,
              0.23264,
              0.36806,
              0.6397
            ],
            [
              0.05871,
              0.0785,
              0.09345,
              0.11808,
              0.15953,
              0.23225,
              0.3679,
              0.6391
            ],
            [
              0.05856,
              0.07843,
              0.0933,
              0.118,
              0.1595,
              0.2322,
              0.368,
              0.6396
            ],
            [
              0.0582,
              0.0782,
              0.0931,
              0.1179,
              0.1594,
              0.2325,
              0.3678,
              0.6395
            ],
            [
              0.0577,
              0.0777,
              0.0927,
              0.1175,
              0.1596,
              0.2324,
              0.3681,
              0.639
            ],
            [
              0.0572,
              0.0769,
              0.0918,
              0.1169,
              0.1589,
              0.2321,
              0.3677,
              0.6387
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.04874,
              0.07612,
              0.09873,
              0.14106,
              0.22534,
              0.39882,
              0.75693,
              1.48331
            ],
            [
              0.04875,
              0.07612,
              0.09873,
              0.14105,
              0.22532,
              0.3988,
              0.75691,
              1.48288
            ],
            [
              0.04876,
              0.0761,
              0.09873,
              0.14102,
              0.22515,
              0.39867,
              0.75691,
              1.48197
            ],
            [
              0.04875,
              0.07609,
              0.09872,
              0.14101,
              0.2251,
              0.39863,
              0.7566,
              1.48216
            ],
            [
              0.04874,
              0.07612,
              0.09872,
              0.14104,
              0.22534,
              0.39878,
              0.75691,
              1.48278
            ],
            [
              0.0487,
              0.07611,
              0.09869,
              0.14109,
              0.22539,
              0.39855,
              0.75669,
              1.48416
            ],
            [
              0.04871,
              0.07607,
              0.09869,
              0.14102,
              0.22535,
              0.39881,
              0.75685,
              1.48232
            ],
            [
              0.04863,
              0.07598,
              0.09861,
              0.14099,
              0.22537,
              0.39853,
              0.75658,
              1.4842
            ],
            [
              0.04844,
              0.07586,
              0.09845,
              0.14084,
              0.22526,
              0.39855,
              0.75645,
              1.4829
            ],
            [
              0.04823,
              0.07563,
              0.09827,
              0.14075,
              0.22513,
              0.3984,
              0.7565,
              1.4838
            ],
            [
              0.0479,
              0.0754,
              0.098,
              0.1405,
              0.2249,
              0.3986,
              0.7567,
              1.484
            ],
            [
              0.0475,
              0.0751,
              0.0977,
              0.1403,
              0.2247,
              0.3985,
              0.757,
              1.484
            ],
            [
              0.0471,
              0.0748,
              0.0975,
              0.14,
              0.2244,
              0.3983,
              0.757,
              1.4833
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.44033,
              0.47169,
              0.49346,
              0.52682,
              0.57717,
              0.65453,
              0.77943,
              0.99797
            ],
            [
              0.44233,
              0.47369,
              0.49546,
              0.52883,
              0.57918,
              0.65652,
              0.78144,
              0.99994
            ],
            [
              0.4449,
              0.47627,
              0.49804,
              0.53141,
              0.58175,
              0.65909,
              0.78401,
              1.00252
            ],
            [
              0.44906,
              0.48045,
              0.50221,
              0.53556,
              0.58593,
              0.66326,
              0.78819,
              1.00648
            ],
            [
              0.45581,
              0.48718,
              0.50895,
              0.54231,
              0.59267,
              0.67,
              0.79492,
              1.01331
            ],
            [
              0.46664,
              0.49802,
              0.51979,
              0.55314,
              0.6035,
              0.68082,
              0.80576,
              1.02412
            ],
            [
              0.48364,
              0.51503,
              0.5368,
              0.57016,
              0.6205,
              0.69784,
              0.82273,
              1.04123
            ],
            [
              0.50974,
              0.54113,
              0.56291,
              0.59626,
              0.64662,
              0.72393,
              0.84886,
              1.06716
            ],
            [
              0.54779,
              0.57919,
              0.60097,
              0.63431,
              0.68467,
              0.76195,
              0.88685,
              1.10545
            ],
            [
              0.6,
              0.63139,
              0.65319,
              0.68649,
              0.73689,
              0.81419,
              0.93909,
              1.15759
            ],
            [
              0.67192,
              0.70332,
              0.72502,
              0.75842,
              0.80882,
              0.88612,
              1.01112,
              1.22962
            ],
            [
              0.76737,
              0.79977,
              0.82217,
              0.85627,
              0.90737,
              0.98527,
              1.11047,
              1.32887
            ],
            [
              0.8814,
              0.9155,
              0.9393,
              0.9755,
              1.0293,
              1.1106,
              1.2392,
              1.4596
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.34383,
              0.38174,
              0.40895,
              0.45306,
              0.52701,
              0.66058,
              0.92052,
              1.43997
            ],
            [
              0.34675,
              0.38466,
              0.41188,
              0.45599,
              0.52993,
              0.66352,
              0.92344,
              1.44294
            ],
            [
              0.35025,
              0.38816,
              0.41538,
              0.45949,
              0.53343,
              0.66702,
              0.92701,
              1.44652
            ],
            [
              0.35552,
              0.39344,
              0.42067,
              0.46477,
              0.53872,
              0.67229,
              0.93232,
              1.45178
            ],
            [
              0.36334,
              0.40127,
              0.42849,
              0.4726,
              0.54654,
              0.68012,
              0.9401,
              1.45951
            ],
            [
              0.37492,
              0.41286,
              0.44009,
              0.4842,
              0.55814,
              0.69172,
              0.95172,
              1.47122
            ],
            [
              0.39197,
              0.42994,
              0.45717,
              0.50128,
              0.57521,
              0.70879,
              0.96873,
              1.48833
            ],
            [
              0.41725,
              0.45526,
              0.48251,
              0.52662,
              0.60054,
              0.7341,
              0.99406,
              1.51356
            ],
            [
              0.45409,
              0.49218,
              0.51943,
              0.56355,
              0.63748,
              0.77105,
              1.03115,
              1.55075
            ],
            [
              0.50137,
              0.53953,
              0.56681,
              0.61093,
              0.68489,
              0.81859,
              1.07869,
              1.59829
            ],
            [
              0.55792,
              0.59612,
              0.62332,
              0.66742,
              0.74132,
              0.87512,
              1.13542,
              1.65492
            ],
            [
              0.62637,
              0.66467,
              0.69197,
              0.73617,
              0.81027,
              0.94417,
              1.20457,
              1.72387
            ],
            [
              0.7095,
              0.748,
              0.7754,
              0.8197,
              0.894,
              1.0282,
              1.2887,
              1.8078
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.052,
              0.07031,
              0.08423,
              0.10735,
              0.14652,
              0.21627,
              0.34745,
              0.61287
            ],
            [
              0.052,
              0.0703,
              0.08425,
              0.10735,
              0.14656,
              0.21611,
              0.34742,
              0.61294
            ],
            [
              0.05199,
              0.07028,
              0.08425,
              0.10737,
              0.14685,
              0.2161,
              0.34741,
              0.61295
            ],
            [
              0.052,
              0.07043,
              0.08421,
              0.10739,
              0.1466,
              0.21634,
              0.34742,
              0.61272
            ],
            [
              0.05204,
              0.07032,
              0.08422,
              0.10736,
              0.14652,
              0.21631,
              0.34759,
              0.61248
            ],
            [
              0.05205,
              0.07043,
              0.08421,
              0.1074,
              0.14673,
              0.21602,
              0.34719,
              0.61281
            ],
            [
              0.05206,
              0.0704,
              0.08427,
              0.10737,
              0.14684,
              0.21628,
              0.34743,
              0.61199
            ],
            [
              0.05208,
              0.07032,
              0.08425,
              0.10737,
              0.14657,
              0.21632,
              0.34724,
              0.61274
            ],
            [
              0.05212,
              0.07036,
              0.08423,
              0.10739,
              0.14669,
              0.21607,
              0.34733,
              0.6123
            ],
            [
              0.05206,
              0.07021,
              0.08421,
              0.10738,
              0.1467,
              0.2161,
              0.3474,
              0.6127
            ],
            [
              0.0521,
              0.0702,
              0.0841,
              0.1073,
              0.1467,
              0.2162,
              0.3472,
              0.6128
            ],
            [
              0.056,
              0.0736,
              0.0873,
              0.11,
              0.1485,
              0.2176,
              0.3481,
              0.6129
            ],
            [
              0.0621,
              0.0801,
              0.0941,
              0.1177,
              0.157,
              0.2262,
              0.3551,
              0.6168
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.05047,
              0.07917,
              0.10259,
              0.14619,
              0.2327,
              0.41293,
              0.78614,
              1.53608
            ],
            [
              0.05049,
              0.07913,
              0.10259,
              0.14619,
              0.23272,
              0.41283,
              0.78598,
              1.53622
            ],
            [
              0.05049,
              0.07927,
              0.10256,
              0.14617,
              0.23276,
              0.41295,
              0.78636,
              1.53709
            ],
            [
              0.05049,
              0.07922,
              0.1026,
              0.14623,
              0.2328,
              0.41294,
              0.78623,
              1.53797
            ],
            [
              0.05053,
              0.07924,
              0.10265,
              0.14624,
              0.23274,
              0.41299,
              0.78614,
              1.53647
            ],
            [
              0.05061,
              0.07938,
              0.10267,
              0.14627,
              0.23281,
              0.413,
              0.78607,
              1.53697
            ],
            [
              0.05074,
              0.07949,
              0.10275,
              0.14632,
              0.23288,
              0.41307,
              0.78633,
              1.5371
            ],
            [
              0.05095,
              0.07957,
              0.10293,
              0.14649,
              0.23296,
              0.41296,
              0.78607,
              1.5356
            ],
            [
              0.05124,
              0.07985,
              0.10313,
              0.14667,
              0.23325,
              0.41334,
              0.78619,
              1.5377
            ],
            [
              0.0516,
              0.08009,
              0.10337,
              0.14692,
              0.23357,
              0.4137,
              0.7862,
              1.5375
            ],
            [
              0.0518,
              0.0801,
              0.1035,
              0.1471,
              0.2339,
              0.4139,
              0.7867,
              1.536
            ],
            [
              0.0523,
              0.0806,
              0.104,
              0.1477,
              0.2343,
              0.4145,
              0.7863,
              1.5346
            ],
            [
              0.053,
              0.0813,
              0.1047,
              0.1484,
              0.2353,
              0.415,
              0.7856,
              1.5344
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.43447,
              0.46853,
              0.49216,
              0.52836,
              0.58299,
              0.66633,
              0.79938,
              1.02867
            ],
            [
              0.43657,
              0.47063,
              0.49427,
              0.53047,
              0.5851,
              0.66844,
              0.80149,
              1.03074
            ],
            [
              0.4393,
              0.47337,
              0.49701,
              0.53322,
              0.58783,
              0.67119,
              0.80423,
              1.03352
            ],
            [
              0.44356,
              0.47763,
              0.50128,
              0.53751,
              0.59213,
              0.67548,
              0.80851,
              1.03777
            ],
            [
              0.45023,
              0.48432,
              0.50797,
              0.54418,
              0.59882,
              0.68216,
              0.8152,
              1.04451
            ],
            [
              0.46071,
              0.49481,
              0.51847,
              0.55469,
              0.6093,
              0.69267,
              0.82573,
              1.05482
            ],
            [
              0.47682,
              0.51091,
              0.53456,
              0.57079,
              0.62544,
              0.70881,
              0.84187,
              1.07113
            ],
            [
              0.50114,
              0.5352,
              0.55886,
              0.59508,
              0.6497,
              0.73312,
              0.86626,
              1.09536
            ],
            [
              0.53773,
              0.57175,
              0.59537,
              0.63158,
              0.68622,
              0.76965,
              0.90285,
              1.13205
            ],
            [
              0.58941,
              0.62337,
              0.64699,
              0.68309,
              0.73769,
              0.82119,
              0.95449,
              1.18379
            ],
            [
              0.65322,
              0.68702,
              0.71062,
              0.74662,
              0.80122,
              0.88472,
              1.01802,
              1.24752
            ],
            [
              0.72767,
              0.76127,
              0.78467,
              0.82067,
              0.87507,
              0.95847,
              1.09167,
              1.32127
            ],
            [
              0.812,
              0.8454,
              0.8687,
              0.9045,
              0.9588,
              1.0422,
              1.1755,
              1.4046
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.34922,
              0.38576,
              0.41197,
              0.45449,
              0.52608,
              0.65532,
              0.90424,
              1.39637
            ],
            [
              0.35219,
              0.38873,
              0.41494,
              0.45746,
              0.52906,
              0.65828,
              0.90686,
              1.39924
            ],
            [
              0.35574,
              0.39228,
              0.41849,
              0.46101,
              0.53261,
              0.66184,
              0.9106,
              1.40272
            ],
            [
              0.36116,
              0.3977,
              0.4239,
              0.46643,
              0.53804,
              0.66726,
              0.91599,
              1.40807
            ],
            [
              0.36926,
              0.40581,
              0.43202,
              0.47455,
              0.54615,
              0.67537,
              0.92401,
              1.41631
            ],
            [
              0.38133,
              0.41788,
              0.44409,
              0.48662,
              0.55821,
              0.68744,
              0.93632,
              1.42842
            ],
            [
              0.39916,
              0.43572,
              0.46193,
              0.50446,
              0.57606,
              0.70527,
              0.95393,
              1.44623
            ],
            [
              0.42511,
              0.46167,
              0.48789,
              0.53041,
              0.60201,
              0.73121,
              0.97996,
              1.47226
            ],
            [
              0.4621,
              0.49869,
              0.52491,
              0.56744,
              0.63903,
              0.76825,
              1.01695,
              1.50925
            ],
            [
              0.50801,
              0.5446,
              0.57081,
              0.61334,
              0.68489,
              0.81409,
              1.06279,
              1.55499
            ],
            [
              0.56652,
              0.60322,
              0.62942,
              0.67192,
              0.74342,
              0.87242,
              1.12102,
              1.61322
            ],
            [
              0.63977,
              0.67827,
              0.70567,
              0.74957,
              0.82237,
              0.95207,
              1.20047,
              1.69267
            ],
            [
              0.7321,
              0.773,
              0.8021,
              0.8483,
              0.9235,
              1.0551,
              1.3043,
              1.7964
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.05868,
              0.07865,
              0.09365,
              0.11848,
              0.16006,
              0.23292,
              0.36836,
              0.63985
            ],
            [
              0.0587,
              0.07865,
              0.09364,
              0.11849,
              0.16006,
              0.23297,
              0.36833,
              0.63982
            ],
            [
              0.05862,
              0.07866,
              0.09365,
              0.11848,
              0.16006,
              0.23285,
              0.36828,
              0.63938
            ],
            [
              0.05869,
              0.07868,
              0.09362,
              0.11851,
              0.16006,
              0.23299,
              0.36834,
              0.63982
            ],
            [
              0.05869,
              0.0787,
              0.09362,
              0.1185,
              0.16007,
              0.23297,
              0.36839,
              0.63975
            ],
            [
              0.05863,
              0.07871,
              0.09364,
              0.1185,
              0.16034,
              0.23313,
              0.36832,
              0.63968
            ],
            [
              0.05867,
              0.0787,
              0.09362,
              0.11852,
              0.16009,
              0.23302,
              0.36833,
              0.63969
            ],
            [
              0.05869,
              0.07862,
              0.09366,
              0.11854,
              0.16039,
              0.23319,
              0.36839,
              0.63971
            ],
            [
              0.05857,
              0.07862,
              0.09363,
              0.11861,
              0.16015,
              0.23295,
              0.36832,
              0.6398
            ],
            [
              0.05849,
              0.0786,
              0.09365,
              0.11864,
              0.1603,
              0.2331,
              0.3685,
              0.6398
            ],
            [
              0.0583,
              0.0783,
              0.0934,
              0.1185,
              0.1602,
              0.2331,
              0.3684,
              0.6393
            ],
            [
              0.058,
              0.0781,
              0.0932,
              0.1183,
              0.1604,
              0.2329,
              0.3683,
              0.6392
            ],
            [
              0.0578,
              0.0779,
              0.0931,
              0.1184,
              0.1602,
              0.2334,
              0.368,
              0.6387
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.04831,
              0.0757,
              0.09833,
              0.14075,
              0.22491,
              0.39878,
              0.75646,
              1.48264
            ],
            [
              0.04833,
              0.07573,
              0.09834,
              0.14075,
              0.22507,
              0.39845,
              0.75676,
              1.48394
            ],
            [
              0.04834,
              0.07574,
              0.09835,
              0.14074,
              0.22499,
              0.3986,
              0.75669,
              1.48456
            ],
            [
              0.04835,
              0.07574,
              0.09837,
              0.14076,
              0.22502,
              0.39855,
              0.75683,
              1.4844
            ],
            [
              0.04836,
              0.07574,
              0.09835,
              0.14078,
              0.2251,
              0.39844,
              0.75665,
              1.48383
            ],
            [
              0.04836,
              0.07576,
              0.09838,
              0.1408,
              0.22501,
              0.39884,
              0.75639,
              1.48246
            ],
            [
              0.04839,
              0.07577,
              0.09837,
              0.1408,
              0.22515,
              0.39858,
              0.75657,
              1.48374
            ],
            [
              0.04841,
              0.07581,
              0.09842,
              0.14085,
              0.2252,
              0.39859,
              0.75636,
              1.483
            ],
            [
              0.04851,
              0.07584,
              0.09849,
              0.1409,
              0.22531,
              0.39859,
              0.75636,
              1.4827
            ],
            [
              0.04847,
              0.07587,
              0.09847,
              0.14091,
              0.22518,
              0.3988,
              0.7566,
              1.4842
            ],
            [
              0.0488,
              0.0761,
              0.0987,
              0.1409,
              0.225,
              0.3987,
              0.7563,
              1.4827
            ],
            [
              0.0517,
              0.0802,
              0.1031,
              0.1454,
              0.2283,
              0.4001,
              0.7575,
              1.4832
            ],
            [
              0.0557,
              0.086,
              0.1096,
              0.1523,
              0.2349,
              0.4049,
              0.76,
              1.4828
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.33076,
              0.36596,
              0.39031,
              0.42737,
              0.48294,
              0.5675,
              0.70179,
              0.93177
            ],
            [
              0.33344,
              0.36865,
              0.39299,
              0.43004,
              0.4857,
              0.57027,
              0.70455,
              0.93453
            ],
            [
              0.33678,
              0.37198,
              0.39633,
              0.43338,
              0.48895,
              0.57352,
              0.70781,
              0.93779
            ],
            [
              0.34194,
              0.37716,
              0.40152,
              0.43857,
              0.49416,
              0.57871,
              0.713,
              0.94298
            ],
            [
              0.34971,
              0.38492,
              0.40926,
              0.44632,
              0.5019,
              0.58648,
              0.72075,
              0.95076
            ],
            [
              0.36146,
              0.39666,
              0.42102,
              0.45806,
              0.51364,
              0.59822,
              0.73251,
              0.96242
            ],
            [
              0.3794,
              0.41459,
              0.43891,
              0.47595,
              0.53156,
              0.61617,
              0.75045,
              0.98053
            ],
            [
              0.4063,
              0.44146,
              0.46576,
              0.50279,
              0.5584,
              0.64304,
              0.77739,
              1.00746
            ],
            [
              0.44642,
              0.48153,
              0.50581,
              0.54282,
              0.59847,
              0.68318,
              0.81765,
              1.04755
            ],
            [
              0.50469,
              0.53981,
              0.5641,
              0.60113,
              0.65689,
              0.74169,
              0.87629,
              1.10649
            ],
            [
              0.58592,
              0.62152,
              0.64602,
              0.68322,
              0.73922,
              0.82432,
              0.95912,
              1.18942
            ],
            [
              0.68547,
              0.72347,
              0.74937,
              0.78857,
              0.84657,
              0.93357,
              1.06937,
              1.30017
            ],
            [
              0.8016,
              0.8426,
              0.8706,
              0.9127,
              0.9746,
              1.0664,
              1.207,
              1.4403
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.22698,
              0.2643,
              0.29152,
              0.33603,
              0.41079,
              0.54386,
              0.80141,
              1.32057
            ],
            [
              0.22991,
              0.26723,
              0.29444,
              0.33896,
              0.41375,
              0.54679,
              0.80434,
              1.32364
            ],
            [
              0.23342,
              0.27075,
              0.29796,
              0.34248,
              0.41726,
              0.5503,
              0.80787,
              1.32712
            ],
            [
              0.23864,
              0.27597,
              0.30317,
              0.34769,
              0.42248,
              0.55554,
              0.8131,
              1.33228
            ],
            [
              0.24648,
              0.28379,
              0.311,
              0.35553,
              0.43035,
              0.56335,
              0.82091,
              1.34011
            ],
            [
              0.25807,
              0.29539,
              0.3226,
              0.36713,
              0.44194,
              0.57494,
              0.83251,
              1.35172
            ],
            [
              0.27544,
              0.31276,
              0.33998,
              0.38448,
              0.45924,
              0.59231,
              0.84985,
              1.36913
            ],
            [
              0.30104,
              0.33837,
              0.36557,
              0.41007,
              0.48483,
              0.61785,
              0.87536,
              1.39436
            ],
            [
              0.33759,
              0.37489,
              0.40208,
              0.44653,
              0.52125,
              0.65425,
              0.91175,
              1.43125
            ],
            [
              0.38786,
              0.42546,
              0.45268,
              0.49715,
              0.57183,
              0.70479,
              0.96229,
              1.48179
            ],
            [
              0.45202,
              0.49152,
              0.51982,
              0.56532,
              0.64072,
              0.77392,
              1.03142,
              1.55092
            ],
            [
              0.53197,
              0.57397,
              0.60397,
              0.65157,
              0.72927,
              0.86397,
              1.12167,
              1.64117
            ],
            [
              0.631,
              0.6764,
              0.7086,
              0.7591,
              0.8399,
              0.9771,
              1.2361,
              1.7554
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.06535,
              0.08376,
              0.09798,
              0.12219,
              0.16373,
              0.23689,
              0.37199,
              0.64196
            ],
            [
              0.06536,
              0.08376,
              0.09799,
              0.12219,
              0.16372,
              0.23689,
              0.37199,
              0.64196
            ],
            [
              0.06535,
              0.08376,
              0.09798,
              0.12219,
              0.16372,
              0.23689,
              0.372,
              0.64189
            ],
            [
              0.06537,
              0.08378,
              0.09798,
              0.12219,
              0.16372,
              0.23689,
              0.37199,
              0.64194
            ],
            [
              0.06536,
              0.08378,
              0.09799,
              0.12213,
              0.16365,
              0.23668,
              0.37189,
              0.64186
            ],
            [
              0.06535,
              0.08378,
              0.09798,
              0.12219,
              0.16372,
              0.23645,
              0.37152,
              0.64169
            ],
            [
              0.06539,
              0.08375,
              0.09799,
              0.12216,
              0.16363,
              0.23658,
              0.37185,
              0.6416
            ],
            [
              0.06537,
              0.08377,
              0.09801,
              0.12226,
              0.16375,
              0.23685,
              0.37197,
              0.64193
            ],
            [
              0.06542,
              0.08387,
              0.09811,
              0.12235,
              0.16387,
              0.23685,
              0.37181,
              0.64205
            ],
            [
              0.06594,
              0.08429,
              0.09851,
              0.12275,
              0.16417,
              0.23722,
              0.3722,
              0.642
            ],
            [
              0.0694,
              0.0869,
              0.1007,
              0.1245,
              0.1654,
              0.238,
              0.3725,
              0.6422
            ],
            [
              0.0787,
              0.0961,
              0.1097,
              0.1329,
              0.1727,
              0.2433,
              0.3755,
              0.643
            ],
            [
              0.0919,
              0.1091,
              0.1228,
              0.1462,
              0.1866,
              0.257,
              0.3863,
              0.6495
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.04708,
              0.07672,
              0.10098,
              0.14578,
              0.23248,
              0.41081,
              0.78504,
              1.54138
            ],
            [
              0.04709,
              0.07669,
              0.10095,
              0.14597,
              0.23248,
              0.41084,
              0.78517,
              1.54061
            ],
            [
              0.04708,
              0.07667,
              0.10091,
              0.14593,
              0.23246,
              0.4109,
              0.78472,
              1.54147
            ],
            [
              0.0471,
              0.07672,
              0.10101,
              0.14589,
              0.23246,
              0.41087,
              0.78515,
              1.53921
            ],
            [
              0.04711,
              0.07666,
              0.10101,
              0.14589,
              0.23249,
              0.4109,
              0.78496,
              1.53942
            ],
            [
              0.04711,
              0.07666,
              0.10102,
              0.14588,
              0.2325,
              0.41092,
              0.78497,
              1.53923
            ],
            [
              0.04708,
              0.07671,
              0.10098,
              0.14581,
              0.23254,
              0.41083,
              0.78524,
              1.54175
            ],
            [
              0.04709,
              0.07665,
              0.10103,
              0.14604,
              0.23259,
              0.41082,
              0.78501,
              1.54021
            ],
            [
              0.0471,
              0.07675,
              0.10107,
              0.14596,
              0.23267,
              0.41096,
              0.78499,
              1.5405
            ],
            [
              0.04829,
              0.07764,
              0.10181,
              0.14664,
              0.23306,
              0.41109,
              0.785,
              1.5416
            ],
            [
              0.05182,
              0.0819,
              0.106,
              0.1501,
              0.2353,
              0.4121,
              0.7852,
              1.5422
            ],
            [
              0.0565,
              0.0881,
              0.1128,
              0.157,
              0.2414,
              0.4159,
              0.7862,
              1.5406
            ],
            [
              0.0633,
              0.0968,
              0.1221,
              0.1667,
              0.2502,
              0.4223,
              0.7898,
              1.5411
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.3314,
              0.36652,
              0.39082,
              0.42782,
              0.48335,
              0.56786,
              0.70211,
              0.93205
            ],
            [
              0.3341,
              0.3692,
              0.3935,
              0.4305,
              0.48611,
              0.57062,
              0.70487,
              0.93481
            ],
            [
              0.33743,
              0.37254,
              0.39684,
              0.43384,
              0.48936,
              0.57388,
              0.70813,
              0.93807
            ],
            [
              0.3426,
              0.37772,
              0.40203,
              0.43904,
              0.49456,
              0.57908,
              0.71332,
              0.94324
            ],
            [
              0.35037,
              0.38549,
              0.40977,
              0.44678,
              0.50231,
              0.58684,
              0.72107,
              0.95104
            ],
            [
              0.36212,
              0.39722,
              0.42152,
              0.45851,
              0.51405,
              0.59858,
              0.73282,
              0.96272
            ],
            [
              0.38004,
              0.41514,
              0.43942,
              0.47641,
              0.53196,
              0.61652,
              0.75076,
              0.98073
            ],
            [
              0.40693,
              0.44199,
              0.46625,
              0.50323,
              0.55879,
              0.64338,
              0.77768,
              1.00766
            ],
            [
              0.44701,
              0.48203,
              0.50626,
              0.54323,
              0.59883,
              0.68351,
              0.81785,
              1.04775
            ],
            [
              0.50521,
              0.54025,
              0.56451,
              0.60148,
              0.65719,
              0.74199,
              0.87649,
              1.10669
            ],
            [
              0.58632,
              0.62182,
              0.64632,
              0.68352,
              0.73942,
              0.82452,
              0.95922,
              1.18952
            ],
            [
              0.68587,
              0.72377,
              0.74967,
              0.78877,
              0.84677,
              0.93357,
              1.06947,
              1.30017
            ],
            [
              0.8019,
              0.8428,
              0.8708,
              0.9128,
              0.9747,
              1.0664,
              1.207,
              1.4403
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.22645,
              0.26376,
              0.29097,
              0.33548,
              0.41025,
              0.54334,
              0.80087,
              1.31997
            ],
            [
              0.22938,
              0.26669,
              0.29389,
              0.33842,
              0.41321,
              0.54625,
              0.8038,
              1.32314
            ],
            [
              0.2329,
              0.27021,
              0.29742,
              0.34193,
              0.41672,
              0.54978,
              0.80732,
              1.32662
            ],
            [
              0.23811,
              0.27542,
              0.30262,
              0.34714,
              0.42192,
              0.555,
              0.81251,
              1.33177
            ],
            [
              0.24595,
              0.28325,
              0.31046,
              0.35498,
              0.42981,
              0.56284,
              0.82033,
              1.33951
            ],
            [
              0.25755,
              0.29485,
              0.32206,
              0.36658,
              0.44141,
              0.57444,
              0.83193,
              1.35122
            ],
            [
              0.27492,
              0.31223,
              0.33944,
              0.38395,
              0.45874,
              0.5918,
              0.84932,
              1.36853
            ],
            [
              0.30055,
              0.33786,
              0.36506,
              0.40955,
              0.48433,
              0.61736,
              0.87486,
              1.39386
            ],
            [
              0.33713,
              0.37442,
              0.40161,
              0.44605,
              0.52078,
              0.65379,
              0.91125,
              1.43075
            ],
            [
              0.38746,
              0.42504,
              0.45226,
              0.49673,
              0.57146,
              0.70439,
              0.96189,
              1.48129
            ],
            [
              0.45162,
              0.49112,
              0.51942,
              0.56502,
              0.64042,
              0.77352,
              1.03102,
              1.55032
            ],
            [
              0.53167,
              0.57367,
              0.60357,
              0.65127,
              0.72897,
              0.86367,
              1.12137,
              1.64087
            ],
            [
              0.6307,
              0.6761,
              0.7083,
              0.7588,
              0.8397,
              0.9769,
              1.2358,
              1.7552
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.06513,
              0.08355,
              0.09776,
              0.12198,
              0.16356,
              0.23674,
              0.37186,
              0.6419
            ],
            [
              0.0651,
              0.08354,
              0.09775,
              0.12199,
              0.16355,
              0.23674,
              0.37184,
              0.64192
            ],
            [
              0.06513,
              0.08353,
              0.09776,
              0.12199,
              0.16355,
              0.23674,
              0.37186,
              0.64184
            ],
            [
              0.06511,
              0.08355,
              0.09776,
              0.12199,
              0.16355,
              0.23675,
              0.37179,
              0.64194
            ],
            [
              0.06511,
              0.08355,
              0.09775,
              0.12197,
              0.16351,
              0.23655,
              0.37178,
              0.6418
            ],
            [
              0.06511,
              0.08355,
              0.09776,
              0.12197,
              0.16351,
              0.23629,
              0.37146,
              0.64164
            ],
            [
              0.06509,
              0.08351,
              0.09776,
              0.12199,
              0.16346,
              0.23644,
              0.37175,
              0.64146
            ],
            [
              0.06509,
              0.08355,
              0.09779,
              0.12207,
              0.16356,
              0.2367,
              0.37188,
              0.64188
            ],
            [
              0.06518,
              0.08364,
              0.09791,
              0.12214,
              0.1637,
              0.23658,
              0.37176,
              0.64196
            ],
            [
              0.06569,
              0.08407,
              0.09831,
              0.12258,
              0.16406,
              0.23695,
              0.372,
              0.6419
            ],
            [
              0.0691,
              0.0867,
              0.1006,
              0.1243,
              0.1653,
              0.2379,
              0.3723,
              0.6422
            ],
            [
              0.0783,
              0.0958,
              0.1094,
              0.1326,
              0.1726,
              0.2432,
              0.3754,
              0.643
            ],
            [
              0.0915,
              0.1088,
              0.1225,
              0.146,
              0.1863,
              0.2569,
              0.3863,
              0.6494
            ]
          ]
        },
        "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.00625,
            0.0125,
            0.025,
            0.05,
            0.10001,
            0.2,
            0.4
          ],
          "values": [
            [
              0.04704,
              0.07668,
              0.10095,
              0.14576,
              0.23248,
              0.41083,
              0.78526,
              1.54151
            ],
            [
              0.04706,
              0.07665,
              0.10092,
              0.14596,
              0.23248,
              0.41094,
              0.7851,
              1.54046
            ],
            [
              0.04704,
              0.07664,
              0.10089,
              0.14592,
              0.23247,
              0.41093,
              0.78524,
              1.54161
            ],
            [
              0.04701,
              0.07664,
              0.10093,
              0.14591,
              0.23249,
              0.4109,
              0.78499,
              1.54255
            ],
            [
              0.04704,
              0.07667,
              0.10099,
              0.14586,
              0.23249,
              0.4108,
              0.7848,
              1.54166
            ],
            [
              0.04704,
              0.07667,
              0.10099,
              0.14588,
              0.2325,
              0.41084,
              0.7849,
              1.53996
            ],
            [
              0.04706,
              0.0767,
              0.10096,
              0.14578,
              0.23252,
              0.41085,
              0.78504,
              1.53898
            ],
            [
              0.04708,
              0.07667,
              0.10101,
              0.14601,
              0.2326,
              0.41092,
              0.785,
              1.54021
            ],
            [
              0.04707,
              0.0767,
              0.10103,
              0.14595,
              0.23267,
              0.41099,
              0.78494,
              1.5404
            ],
            [
              0.0483,
              0.07761,
              0.10179,
              0.14663,
              0.23297,
              0.41108,
              0.7847,
              1.5397
            ],
            [
              0.0519,
              0.0819,
              0.1059,
              0.1502,
              0.2352,
              0.412,
              0.7852,
              1.541
            ],
            [
              0.0566,
              0.0881,
              0.1128,
              0.1571,
              0.2414,
              0.4159,
              0.7864,
              1.5406
            ],
            [
              0.0634,
              0.0968,
              0.1222,
              0.1668,
              0.2502,
              0.4223,
              0.7897,
              1.5411
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.07871,
              0.06744,
              0.05723,
              0.03755,
              -0.00134,
              -0.07947,
              -0.23647,
              -0.55117
            ],
            [
              0.07857,
              0.06729,
              0.05709,
              0.03743,
              -0.00148,
              -0.07962,
              -0.23662,
              -0.55131
            ],
            [
              0.07844,
              0.06716,
              0.05695,
              0.03729,
              -0.00161,
              -0.07976,
              -0.23675,
              -0.55145
            ],
            [
              0.07828,
              0.06701,
              0.05678,
              0.03712,
              -0.00177,
              -0.07992,
              -0.23691,
              -0.5516
            ],
            [
              0.07812,
              0.06686,
              0.05665,
              0.03699,
              -0.00193,
              -0.08007,
              -0.23706,
              -0.55175
            ],
            [
              0.07798,
              0.06672,
              0.05649,
              0.03683,
              -0.00207,
              -0.08021,
              -0.23721,
              -0.5519
            ],
            [
              0.07788,
              0.06661,
              0.0564,
              0.03673,
              -0.00216,
              -0.08029,
              -0.23732,
              -0.55201
            ],
            [
              0.07786,
              0.06658,
              0.05639,
              0.03672,
              -0.00218,
              -0.08031,
              -0.23731,
              -0.55201
            ],
            [
              0.07803,
              0.06674,
              0.05653,
              0.03688,
              -0.00204,
              -0.08015,
              -0.23715,
              -0.55186
            ],
            [
              0.07847,
              0.06716,
              0.05697,
              0.03731,
              -0.00161,
              -0.07971,
              -0.23673,
              -0.55143
            ],
            [
              0.07939,
              0.06811,
              0.0579,
              0.03821,
              -0.0007,
              -0.07881,
              -0.23579,
              -0.5505
            ],
            [
              0.081,
              0.06977,
              0.05956,
              0.03988,
              0.00096,
              -0.07717,
              -0.23416,
              -0.54886
            ],
            [
              0.08384,
              0.07259,
              0.06238,
              0.04269,
              0.00373,
              -0.07441,
              -0.23137,
              -0.54603
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.05964,
              0.06917,
              0.07895,
              0.09862,
              0.13796,
              0.21626,
              0.37266,
              0.68802
            ],
            [
              0.05948,
              0.06902,
              0.07882,
              0.09849,
              0.13778,
              0.21615,
              0.3728,
              0.68688
            ],
            [
              0.05932,
              0.06885,
              0.07862,
              0.0983,
              0.13764,
              0.21582,
              0.37277,
              0.68716
            ],
            [
              0.05909,
              0.06864,
              0.07839,
              0.09806,
              0.1374,
              0.21566,
              0.37297,
              0.68684
            ],
            [
              0.0589,
              0.06844,
              0.07822,
              0.09788,
              0.13722,
              0.21555,
              0.37207,
              0.68693
            ],
            [
              0.05865,
              0.06818,
              0.07795,
              0.09761,
              0.13692,
              0.21544,
              0.3722,
              0.68629
            ],
            [
              0.05841,
              0.06796,
              0.07774,
              0.09736,
              0.1367,
              0.21517,
              0.37165,
              0.68688
            ],
            [
              0.05818,
              0.06772,
              0.07749,
              0.09718,
              0.13653,
              0.21476,
              0.37162,
              0.68584
            ],
            [
              0.05805,
              0.0676,
              0.0774,
              0.09712,
              0.1364,
              0.21466,
              0.37169,
              0.68762
            ],
            [
              0.05813,
              0.06767,
              0.07746,
              0.09713,
              0.13654,
              0.21494,
              0.37183,
              0.68529
            ],
            [
              0.05859,
              0.06817,
              0.07798,
              0.09764,
              0.13706,
              0.21548,
              0.37234,
              0.6858
            ],
            [
              0.0599,
              0.06949,
              0.07934,
              0.09901,
              0.13814,
              0.21653,
              0.37325,
              0.6883
            ],
            [
              0.06217,
              0.07178,
              0.08158,
              0.10137,
              0.1409,
              0.21928,
              0.37535,
              0.68979
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.08648,
              0.09091,
              0.09666,
              0.109,
              0.13412,
              0.18355,
              0.28166,
              0.47762
            ],
            [
              0.08624,
              0.09068,
              0.09643,
              0.10876,
              0.13387,
              0.18328,
              0.28143,
              0.47744
            ],
            [
              0.08615,
              0.0906,
              0.09635,
              0.10869,
              0.13383,
              0.18321,
              0.28104,
              0.47756
            ],
            [
              0.08592,
              0.09037,
              0.09611,
              0.10846,
              0.13357,
              0.18297,
              0.28051,
              0.47709
            ],
            [
              0.08573,
              0.09017,
              0.09593,
              0.10827,
              0.13338,
              0.18273,
              0.28094,
              0.47694
            ],
            [
              0.08548,
              0.08993,
              0.09567,
              0.108,
              0.13313,
              0.1825,
              0.28037,
              0.47614
            ],
            [
              0.08523,
              0.08969,
              0.09544,
              0.10777,
              0.13291,
              0.18236,
              0.28034,
              0.47656
            ],
            [
              0.08501,
              0.08947,
              0.09521,
              0.10756,
              0.13271,
              0.18206,
              0.27992,
              0.47575
            ],
            [
              0.08489,
              0.08935,
              0.09509,
              0.10744,
              0.13262,
              0.18193,
              0.27992,
              0.47646
            ],
            [
              0.08499,
              0.08945,
              0.0952,
              0.10757,
              0.13276,
              0.18208,
              0.28031,
              0.47539
            ],
            [
              0.0855,
              0.08996,
              0.09571,
              0.1081,
              0.13327,
              0.18267,
              0.28087,
              0.47638
            ],
            [
              0.08681,
              0.09128,
              0.09703,
              0.10945,
              0.13466,
              0.18404,
              0.28224,
              0.47727
            ],
            [
              0.08913,
              0.0936,
              0.09936,
              0.11176,
              0.13702,
              0.1863,
              0.28423,
              0.48003
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.09913,
              0.10786,
              0.11745,
              0.13729,
              0.1771,
              0.25586,
              0.41262,
              0.72674
            ],
            [
              0.09898,
              0.10771,
              0.11731,
              0.13715,
              0.177,
              0.25583,
              0.41249,
              0.72663
            ],
            [
              0.09886,
              0.10755,
              0.11717,
              0.13703,
              0.17681,
              0.25566,
              0.41248,
              0.72628
            ],
            [
              0.09872,
              0.1074,
              0.117,
              0.13688,
              0.17668,
              0.25564,
              0.41223,
              0.72551
            ],
            [
              0.09856,
              0.10726,
              0.11686,
              0.13672,
              0.17649,
              0.25535,
              0.41213,
              0.72626
            ],
            [
              0.09842,
              0.10712,
              0.1167,
              0.13657,
              0.17636,
              0.2552,
              0.412,
              0.72609
            ],
            [
              0.09829,
              0.10702,
              0.11661,
              0.13646,
              0.1763,
              0.25512,
              0.41185,
              0.72593
            ],
            [
              0.09826,
              0.10699,
              0.11656,
              0.13643,
              0.17625,
              0.25503,
              0.41192,
              0.72552
            ],
            [
              0.09842,
              0.10711,
              0.11672,
              0.13659,
              0.17638,
              0.255,
              0.41185,
              0.72691
            ],
            [
              0.09892,
              0.10759,
              0.11718,
              0.13704,
              0.1768,
              0.25584,
              0.4124,
              0.72645
            ],
            [
              0.09991,
              0.10857,
              0.11813,
              0.13795,
              0.17769,
              0.2565,
              0.41355,
              0.72749
            ],
            [
              0.1017,
              0.11036,
              0.11991,
              0.13956,
              0.1793,
              0.25819,
              0.41549,
              0.72956
            ],
            [
              0.10478,
              0.11337,
              0.12292,
              0.14271,
              0.18252,
              0.26096,
              0.41746,
              0.73225
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.07557,
              0.06429,
              0.05407,
              0.0344,
              -0.0045,
              -0.08264,
              -0.23962,
              -0.55431
            ],
            [
              0.07547,
              0.0642,
              0.05397,
              0.0343,
              -0.00461,
              -0.08274,
              -0.23973,
              -0.5544
            ],
            [
              0.07539,
              0.06412,
              0.05391,
              0.03423,
              -0.00469,
              -0.08282,
              -0.2398,
              -0.55448
            ],
            [
              0.07528,
              0.06401,
              0.05377,
              0.03409,
              -0.00481,
              -0.08295,
              -0.23992,
              -0.55461
            ],
            [
              0.07524,
              0.06395,
              0.05373,
              0.03405,
              -0.00488,
              -0.08299,
              -0.23999,
              -0.55466
            ],
            [
              0.07527,
              0.06398,
              0.05377,
              0.03407,
              -0.00482,
              -0.08296,
              -0.23993,
              -0.55462
            ],
            [
              0.07545,
              0.06417,
              0.05396,
              0.03427,
              -0.00466,
              -0.08278,
              -0.23976,
              -0.55445
            ],
            [
              0.07597,
              0.06467,
              0.05444,
              0.03477,
              -0.00416,
              -0.08231,
              -0.23928,
              -0.55395
            ],
            [
              0.07683,
              0.06555,
              0.05531,
              0.03562,
              -0.0033,
              -0.08143,
              -0.23842,
              -0.5531
            ],
            [
              0.07818,
              0.06688,
              0.05665,
              0.03695,
              -0.00199,
              -0.08014,
              -0.23711,
              -0.55178
            ],
            [
              0.07994,
              0.06865,
              0.05841,
              0.0387,
              -0.00026,
              -0.0784,
              -0.23537,
              -0.55002
            ],
            [
              0.08242,
              0.07116,
              0.06093,
              0.0412,
              0.00224,
              -0.07593,
              -0.23289,
              -0.54757
            ],
            [
              0.08608,
              0.07479,
              0.06455,
              0.04479,
              0.00577,
              -0.07237,
              -0.22933,
              -0.54397
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.0471,
              0.05666,
              0.06639,
              0.08607,
              0.12546,
              0.20388,
              0.36066,
              0.67461
            ],
            [
              0.04716,
              0.0567,
              0.06646,
              0.08615,
              0.12548,
              0.20385,
              0.36041,
              0.67395
            ],
            [
              0.0471,
              0.05663,
              0.06642,
              0.08611,
              0.12541,
              0.20372,
              0.36036,
              0.67477
            ],
            [
              0.04709,
              0.05662,
              0.06639,
              0.08606,
              0.12541,
              0.20377,
              0.36043,
              0.67467
            ],
            [
              0.04713,
              0.05667,
              0.06646,
              0.08608,
              0.12546,
              0.20375,
              0.36038,
              0.67479
            ],
            [
              0.04725,
              0.05677,
              0.06653,
              0.08623,
              0.12556,
              0.20408,
              0.36053,
              0.67554
            ],
            [
              0.04753,
              0.05705,
              0.06682,
              0.08651,
              0.12583,
              0.20416,
              0.36117,
              0.67562
            ],
            [
              0.04803,
              0.05756,
              0.06735,
              0.08694,
              0.12638,
              0.20463,
              0.36134,
              0.67524
            ],
            [
              0.04888,
              0.0584,
              0.06817,
              0.08782,
              0.12714,
              0.20537,
              0.36194,
              0.67667
            ],
            [
              0.05009,
              0.05959,
              0.06935,
              0.08898,
              0.12832,
              0.20675,
              0.36355,
              0.6777
            ],
            [
              0.05174,
              0.06125,
              0.071,
              0.09064,
              0.12995,
              0.20822,
              0.36515,
              0.67952
            ],
            [
              0.05415,
              0.06366,
              0.07343,
              0.09301,
              0.13209,
              0.21033,
              0.36707,
              0.68158
            ],
            [
              0.05774,
              0.06722,
              0.07697,
              0.09659,
              0.13598,
              0.21416,
              0.37024,
              0.68503
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.07403,
              0.07848,
              0.08421,
              0.09656,
              0.12171,
              0.17109,
              0.26923,
              0.46558
            ],
            [
              0.074,
              0.07844,
              0.08418,
              0.09652,
              0.1217,
              0.17107,
              0.26895,
              0.46468
            ],
            [
              0.07398,
              0.0784,
              0.08413,
              0.0965,
              0.12166,
              0.17097,
              0.26905,
              0.46498
            ],
            [
              0.07394,
              0.07835,
              0.08409,
              0.09645,
              0.12161,
              0.17096,
              0.26908,
              0.46453
            ],
            [
              0.07388,
              0.07831,
              0.08406,
              0.0964,
              0.12158,
              0.1709,
              0.26911,
              0.46495
            ],
            [
              0.07389,
              0.07831,
              0.08404,
              0.09638,
              0.12153,
              0.17089,
              0.26903,
              0.46527
            ],
            [
              0.07389,
              0.0783,
              0.08404,
              0.09638,
              0.12155,
              0.17078,
              0.26893,
              0.46474
            ],
            [
              0.0739,
              0.07833,
              0.08406,
              0.09639,
              0.12155,
              0.17089,
              0.26907,
              0.46498
            ],
            [
              0.07408,
              0.07852,
              0.08423,
              0.09655,
              0.12165,
              0.17101,
              0.26862,
              0.46512
            ],
            [
              0.0745,
              0.07893,
              0.08464,
              0.09694,
              0.12199,
              0.17119,
              0.26939,
              0.46461
            ],
            [
              0.07532,
              0.07973,
              0.08544,
              0.09771,
              0.12268,
              0.17194,
              0.27003,
              0.46583
            ],
            [
              0.07678,
              0.08119,
              0.0869,
              0.09912,
              0.12399,
              0.17319,
              0.27081,
              0.46693
            ],
            [
              0.07923,
              0.08366,
              0.08931,
              0.10149,
              0.12637,
              0.17521,
              0.27304,
              0.46964
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.09436,
              0.10309,
              0.11273,
              0.13256,
              0.17228,
              0.25118,
              0.4079,
              0.72207
            ],
            [
              0.0942,
              0.10294,
              0.11256,
              0.13242,
              0.17216,
              0.25103,
              0.40798,
              0.72141
            ],
            [
              0.09403,
              0.10277,
              0.1124,
              0.13221,
              0.17199,
              0.25081,
              0.4075,
              0.72212
            ],
            [
              0.09393,
              0.10267,
              0.11229,
              0.13214,
              0.17192,
              0.25078,
              0.40753,
              0.72167
            ],
            [
              0.09383,
              0.10257,
              0.11219,
              0.13204,
              0.17177,
              0.25067,
              0.40728,
              0.72282
            ],
            [
              0.09372,
              0.10245,
              0.11208,
              0.13191,
              0.17175,
              0.25044,
              0.40773,
              0.72223
            ],
            [
              0.09373,
              0.10247,
              0.11209,
              0.13192,
              0.17168,
              0.25055,
              0.40752,
              0.72205
            ],
            [
              0.09389,
              0.10262,
              0.11224,
              0.13204,
              0.17187,
              0.25072,
              0.40768,
              0.72217
            ],
            [
              0.0942,
              0.10294,
              0.11256,
              0.13234,
              0.17207,
              0.25097,
              0.40753,
              0.72171
            ],
            [
              0.09486,
              0.10358,
              0.11318,
              0.13298,
              0.17263,
              0.25142,
              0.40827,
              0.72134
            ],
            [
              0.09599,
              0.10467,
              0.11424,
              0.13394,
              0.17359,
              0.25235,
              0.40921,
              0.7229
            ],
            [
              0.09799,
              0.10657,
              0.11608,
              0.13571,
              0.17525,
              0.25401,
              0.41051,
              0.72458
            ],
            [
              0.10134,
              0.10973,
              0.11913,
              0.13868,
              0.17819,
              0.25657,
              0.41354,
              0.72789
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.05152,
              0.04011,
              0.0298,
              0.01001,
              -0.02907,
              -0.10736,
              -0.26451,
              -0.57935
            ],
            [
              0.05147,
              0.04004,
              0.02975,
              0.00996,
              -0.02912,
              -0.1074,
              -0.26456,
              -0.57941
            ],
            [
              0.05143,
              0.04002,
              0.02971,
              0.00992,
              -0.02914,
              -0.10744,
              -0.26459,
              -0.57944
            ],
            [
              0.05142,
              0.03998,
              0.02968,
              0.00989,
              -0.02918,
              -0.10748,
              -0.26462,
              -0.57946
            ],
            [
              0.05137,
              0.03994,
              0.02964,
              0.00981,
              -0.02923,
              -0.10753,
              -0.26468,
              -0.57951
            ],
            [
              0.05133,
              0.03991,
              0.02958,
              0.00978,
              -0.02928,
              -0.1076,
              -0.26472,
              -0.57956
            ],
            [
              0.05129,
              0.03989,
              0.02956,
              0.00972,
              -0.02933,
              -0.10763,
              -0.26476,
              -0.57959
            ],
            [
              0.05131,
              0.03989,
              0.02955,
              0.00971,
              -0.02938,
              -0.10767,
              -0.2648,
              -0.57961
            ],
            [
              0.05133,
              0.03984,
              0.02951,
              0.00964,
              -0.02946,
              -0.10776,
              -0.26483,
              -0.57962
            ],
            [
              0.05153,
              0.04004,
              0.02966,
              0.00971,
              -0.02948,
              -0.10778,
              -0.26483,
              -0.57959
            ],
            [
              0.05213,
              0.04052,
              0.03007,
              0.00999,
              -0.02931,
              -0.1077,
              -0.26473,
              -0.57943
            ],
            [
              0.05369,
              0.04178,
              0.03113,
              0.01087,
              -0.02865,
              -0.10714,
              -0.26422,
              -0.57891
            ],
            [
              0.05626,
              0.044,
              0.03308,
              0.0125,
              -0.02732,
              -0.10601,
              -0.26318,
              -0.57787
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.04046,
              0.0501,
              0.05995,
              0.0797,
              0.11905,
              0.19725,
              0.35317,
              0.66792
            ],
            [
              0.04037,
              0.05003,
              0.05988,
              0.07962,
              0.11887,
              0.19698,
              0.35347,
              0.66714
            ],
            [
              0.04033,
              0.04999,
              0.05984,
              0.07958,
              0.11889,
              0.19726,
              0.35323,
              0.66806
            ],
            [
              0.0403,
              0.04993,
              0.0598,
              0.07951,
              0.11886,
              0.19708,
              0.35334,
              0.6675
            ],
            [
              0.04027,
              0.04991,
              0.05978,
              0.07944,
              0.11877,
              0.19705,
              0.35293,
              0.66723
            ],
            [
              0.04019,
              0.04984,
              0.05964,
              0.07935,
              0.11874,
              0.19698,
              0.35292,
              0.66763
            ],
            [
              0.0401,
              0.04975,
              0.05959,
              0.07932,
              0.11859,
              0.19668,
              0.35348,
              0.66764
            ],
            [
              0.04004,
              0.04967,
              0.0595,
              0.07919,
              0.11855,
              0.19684,
              0.35284,
              0.6665
            ],
            [
              0.04,
              0.04965,
              0.05944,
              0.07918,
              0.11843,
              0.1965,
              0.35282,
              0.66718
            ],
            [
              0.04018,
              0.04975,
              0.05952,
              0.07921,
              0.11838,
              0.19656,
              0.35331,
              0.66569
            ],
            [
              0.04058,
              0.05008,
              0.05975,
              0.07946,
              0.1185,
              0.19676,
              0.35276,
              0.66664
            ],
            [
              0.04141,
              0.05074,
              0.06043,
              0.07996,
              0.11889,
              0.19688,
              0.35357,
              0.66761
            ],
            [
              0.04283,
              0.05197,
              0.06152,
              0.08091,
              0.12009,
              0.19806,
              0.35391,
              0.66889
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.07034,
              0.07494,
              0.08079,
              0.09337,
              0.11889,
              0.16877,
              0.26623,
              0.46333
            ],
            [
              0.07025,
              0.07487,
              0.08071,
              0.0933,
              0.1188,
              0.16864,
              0.2662,
              0.4615
            ],
            [
              0.07021,
              0.07483,
              0.08068,
              0.09327,
              0.11877,
              0.16861,
              0.26611,
              0.46215
            ],
            [
              0.0702,
              0.07483,
              0.08066,
              0.09325,
              0.11875,
              0.1686,
              0.26618,
              0.46174
            ],
            [
              0.07014,
              0.07475,
              0.0806,
              0.09319,
              0.1187,
              0.16856,
              0.26611,
              0.46278
            ],
            [
              0.07005,
              0.07466,
              0.08052,
              0.0931,
              0.1186,
              0.16843,
              0.26599,
              0.4615
            ],
            [
              0.06994,
              0.07455,
              0.08041,
              0.09298,
              0.11847,
              0.16833,
              0.26589,
              0.46159
            ],
            [
              0.06981,
              0.07443,
              0.08026,
              0.09283,
              0.11829,
              0.16814,
              0.26561,
              0.46156
            ],
            [
              0.06973,
              0.07433,
              0.08015,
              0.09269,
              0.11812,
              0.16792,
              0.26542,
              0.46124
            ],
            [
              0.06977,
              0.07434,
              0.0801,
              0.09258,
              0.11795,
              0.16776,
              0.2652,
              0.46103
            ],
            [
              0.07004,
              0.0745,
              0.08022,
              0.0926,
              0.11787,
              0.16751,
              0.26512,
              0.46104
            ],
            [
              0.07064,
              0.07499,
              0.08062,
              0.0929,
              0.11803,
              0.16757,
              0.26485,
              0.46027
            ],
            [
              0.0719,
              0.07604,
              0.08155,
              0.09367,
              0.11863,
              0.16809,
              0.26538,
              0.46127
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.07486,
              0.08336,
              0.09293,
              0.1128,
              0.15291,
              0.23209,
              0.3887,
              0.70324
            ],
            [
              0.0748,
              0.08327,
              0.09288,
              0.11276,
              0.15288,
              0.23205,
              0.38875,
              0.70283
            ],
            [
              0.07479,
              0.08325,
              0.09285,
              0.11273,
              0.15283,
              0.23202,
              0.38863,
              0.70322
            ],
            [
              0.07474,
              0.08325,
              0.09285,
              0.11269,
              0.15281,
              0.23198,
              0.38861,
              0.70295
            ],
            [
              0.0747,
              0.08322,
              0.09284,
              0.11274,
              0.15266,
              0.23201,
              0.38917,
              0.70254
            ],
            [
              0.07466,
              0.08318,
              0.09277,
              0.11264,
              0.15256,
              0.23187,
              0.38926,
              0.70391
            ],
            [
              0.07465,
              0.08313,
              0.09272,
              0.11266,
              0.15255,
              0.23181,
              0.38882,
              0.70439
            ],
            [
              0.07462,
              0.08312,
              0.09266,
              0.11249,
              0.15245,
              0.23178,
              0.38909,
              0.70307
            ],
            [
              0.07461,
              0.08309,
              0.09267,
              0.1124,
              0.15223,
              0.23144,
              0.38856,
              0.70388
            ],
            [
              0.0747,
              0.08312,
              0.09261,
              0.11242,
              0.1522,
              0.23134,
              0.3887,
              0.7015
            ],
            [
              0.07534,
              0.08358,
              0.09301,
              0.11259,
              0.15221,
              0.23132,
              0.38829,
              0.70189
            ],
            [
              0.07688,
              0.08477,
              0.09399,
              0.11329,
              0.15271,
              0.23179,
              0.38882,
              0.7027
            ],
            [
              0.07933,
              0.08695,
              0.09589,
              0.115,
              0.15397,
              0.23225,
              0.38971,
              0.70242
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.31674,
    "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.49915,
              0.53778,
              0.56435,
              0.60507,
              0.66664,
              0.76118,
              0.91376,
              1.17987
            ],
            [
              0.50168,
              0.54029,
              0.56687,
              0.6076,
              0.66915,
              0.76373,
              0.91628,
              1.18244
            ],
            [
              0.50482,
              0.54345,
              0.57001,
              0.61073,
              0.67228,
              0.76684,
              0.91947,
              1.18562
            ],
            [
              0.50969,
              0.54831,
              0.57488,
              0.6156,
              0.67717,
              0.77172,
              0.92431,
              1.19037
            ],
            [
              0.51724,
              0.55586,
              0.58244,
              0.62316,
              0.68472,
              0.77928,
              0.93185,
              1.19801
            ],
            [
              0.52879,
              0.56742,
              0.59399,
              0.6347,
              0.69628,
              0.79082,
              0.94342,
              1.20942
            ],
            [
              0.54607,
              0.58471,
              0.61128,
              0.65198,
              0.71356,
              0.8081,
              0.96073,
              1.22673
            ],
            [
              0.57043,
              0.60905,
              0.63561,
              0.67634,
              0.73788,
              0.83245,
              0.98506,
              1.25126
            ],
            [
              0.60295,
              0.64154,
              0.66812,
              0.70886,
              0.77045,
              0.86495,
              1.01755,
              1.28375
            ],
            [
              0.64399,
              0.68259,
              0.70919,
              0.74989,
              0.81149,
              0.90599,
              1.05869,
              1.32479
            ],
            [
              0.69132,
              0.72982,
              0.75642,
              0.79712,
              0.85872,
              0.95332,
              1.10602,
              1.37222
            ],
            [
              0.73677,
              0.77507,
              0.80147,
              0.84217,
              0.90367,
              0.99827,
              1.15097,
              1.41727
            ],
            [
              0.7768,
              0.8149,
              0.8413,
              0.8818,
              0.9432,
              1.0378,
              1.1904,
              1.4562
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.41728,
              0.4581,
              0.48642,
              0.5315,
              0.60606,
              0.73878,
              0.99317,
              1.49787
            ],
            [
              0.42009,
              0.46091,
              0.48923,
              0.53431,
              0.60891,
              0.74162,
              0.99614,
              1.50154
            ],
            [
              0.42346,
              0.46428,
              0.49259,
              0.53768,
              0.61228,
              0.74492,
              0.99952,
              1.50462
            ],
            [
              0.42853,
              0.46936,
              0.49767,
              0.54275,
              0.61737,
              0.75001,
              1.00458,
              1.50978
            ],
            [
              0.43625,
              0.47707,
              0.50539,
              0.55048,
              0.62505,
              0.75777,
              1.01221,
              1.51711
            ],
            [
              0.44767,
              0.48849,
              0.5168,
              0.56189,
              0.63649,
              0.76913,
              1.02372,
              1.52892
            ],
            [
              0.4635,
              0.50431,
              0.53263,
              0.57771,
              0.6523,
              0.78502,
              1.03943,
              1.54463
            ],
            [
              0.48425,
              0.52505,
              0.55335,
              0.59843,
              0.67303,
              0.80566,
              1.06026,
              1.56536
            ],
            [
              0.51124,
              0.55199,
              0.58028,
              0.62535,
              0.69996,
              0.83265,
              1.08715,
              1.59185
            ],
            [
              0.54551,
              0.5862,
              0.61448,
              0.65949,
              0.73409,
              0.86679,
              1.12139,
              1.62679
            ],
            [
              0.58812,
              0.62872,
              0.65702,
              0.70202,
              0.77652,
              0.90932,
              1.16342,
              1.66892
            ],
            [
              0.64057,
              0.68107,
              0.70927,
              0.75427,
              0.82877,
              0.96137,
              1.21577,
              1.72137
            ],
            [
              0.704,
              0.7444,
              0.7726,
              0.8177,
              0.8922,
              1.025,
              1.2789,
              1.7843
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06119,
              0.08395,
              0.10102,
              0.12948,
              0.17769,
              0.26202,
              0.42096,
              0.74103
            ],
            [
              0.06122,
              0.08394,
              0.10102,
              0.12954,
              0.17771,
              0.2624,
              0.42087,
              0.74111
            ],
            [
              0.0612,
              0.084,
              0.10107,
              0.12945,
              0.17749,
              0.26214,
              0.42098,
              0.74054
            ],
            [
              0.06119,
              0.08396,
              0.10103,
              0.12946,
              0.17748,
              0.26203,
              0.42091,
              0.74099
            ],
            [
              0.06121,
              0.08394,
              0.10099,
              0.12952,
              0.17768,
              0.26201,
              0.42094,
              0.7411
            ],
            [
              0.06119,
              0.08396,
              0.10104,
              0.12945,
              0.17748,
              0.26202,
              0.42094,
              0.74092
            ],
            [
              0.0612,
              0.08399,
              0.10105,
              0.12943,
              0.17749,
              0.26205,
              0.42089,
              0.74083
            ],
            [
              0.06119,
              0.08399,
              0.10105,
              0.12962,
              0.17743,
              0.26224,
              0.42092,
              0.7404
            ],
            [
              0.06118,
              0.08394,
              0.1011,
              0.12962,
              0.17771,
              0.2624,
              0.4208,
              0.741
            ],
            [
              0.06099,
              0.084,
              0.1009,
              0.1293,
              0.1774,
              0.2619,
              0.4209,
              0.7407
            ],
            [
              0.0608,
              0.0836,
              0.1007,
              0.1292,
              0.1772,
              0.2621,
              0.4208,
              0.741
            ],
            [
              0.0605,
              0.0833,
              0.1003,
              0.129,
              0.177,
              0.2617,
              0.4207,
              0.7405
            ],
            [
              0.0602,
              0.0829,
              0.0999,
              0.1284,
              0.1766,
              0.2612,
              0.4198,
              0.7402
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.04945,
              0.07914,
              0.10215,
              0.14484,
              0.22858,
              0.40196,
              0.76448,
              1.49886
            ],
            [
              0.0494,
              0.07922,
              0.10217,
              0.14486,
              0.22858,
              0.40259,
              0.76385,
              1.50281
            ],
            [
              0.04942,
              0.07904,
              0.1024,
              0.14479,
              0.22869,
              0.40276,
              0.76276,
              1.49766
            ],
            [
              0.04941,
              0.07908,
              0.10237,
              0.1448,
              0.22868,
              0.40278,
              0.76294,
              1.49792
            ],
            [
              0.04942,
              0.07909,
              0.10218,
              0.14486,
              0.22851,
              0.40194,
              0.76445,
              1.49892
            ],
            [
              0.0494,
              0.07905,
              0.10237,
              0.14479,
              0.22868,
              0.40279,
              0.76306,
              1.49823
            ],
            [
              0.04937,
              0.07905,
              0.10216,
              0.14485,
              0.22849,
              0.40232,
              0.76424,
              1.499
            ],
            [
              0.04932,
              0.0789,
              0.10213,
              0.14471,
              0.22866,
              0.40278,
              0.76274,
              1.4976
            ],
            [
              0.04917,
              0.07888,
              0.10213,
              0.14468,
              0.22851,
              0.40225,
              0.7643,
              1.4989
            ],
            [
              0.04898,
              0.07865,
              0.10179,
              0.14448,
              0.22854,
              0.4027,
              0.7635,
              1.5028
            ],
            [
              0.0489,
              0.0785,
              0.1016,
              0.1445,
              0.2287,
              0.4026,
              0.7647,
              1.4979
            ],
            [
              0.0484,
              0.0782,
              0.1016,
              0.1443,
              0.2281,
              0.403,
              0.7644,
              1.4988
            ],
            [
              0.0482,
              0.0781,
              0.1014,
              0.1443,
              0.2286,
              0.4017,
              0.7638,
              1.4978
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.52921,
              0.57343,
              0.60431,
              0.65143,
              0.72143,
              0.82644,
              0.99257,
              1.27947
            ],
            [
              0.53208,
              0.57629,
              0.60717,
              0.6543,
              0.72429,
              0.8293,
              0.99544,
              1.28234
            ],
            [
              0.53552,
              0.57973,
              0.61061,
              0.65774,
              0.72774,
              0.83275,
              0.99892,
              1.28582
            ],
            [
              0.54065,
              0.58486,
              0.61574,
              0.66285,
              0.73286,
              0.83786,
              1.00398,
              1.29087
            ],
            [
              0.54838,
              0.59257,
              0.62345,
              0.67059,
              0.7406,
              0.84561,
              1.01171,
              1.29881
            ],
            [
              0.55986,
              0.60406,
              0.63494,
              0.68205,
              0.75205,
              0.85706,
              1.02322,
              1.31012
            ],
            [
              0.57648,
              0.62061,
              0.65148,
              0.69858,
              0.76858,
              0.8736,
              1.03973,
              1.32673
            ],
            [
              0.59946,
              0.64348,
              0.6743,
              0.72138,
              0.79139,
              0.89646,
              1.06256,
              1.34946
            ],
            [
              0.63042,
              0.67423,
              0.70497,
              0.75203,
              0.82205,
              0.92705,
              1.09325,
              1.38025
            ],
            [
              0.66999,
              0.71349,
              0.74409,
              0.79109,
              0.86109,
              0.96619,
              1.13239,
              1.41939
            ],
            [
              0.71822,
              0.76142,
              0.79192,
              0.83882,
              0.90892,
              1.01412,
              1.18032,
              1.46732
            ],
            [
              0.77627,
              0.81927,
              0.84957,
              0.89647,
              0.96657,
              1.07177,
              1.23807,
              1.52527
            ],
            [
              0.8468,
              0.8894,
              0.9196,
              0.9664,
              1.0365,
              1.1419,
              1.3082,
              1.5954
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.41818,
              0.4599,
              0.48909,
              0.53567,
              0.61224,
              0.74687,
              1.00187,
              1.50597
            ],
            [
              0.42073,
              0.46244,
              0.49164,
              0.53822,
              0.61479,
              0.74942,
              1.00434,
              1.50854
            ],
            [
              0.42389,
              0.46561,
              0.49481,
              0.54139,
              0.61796,
              0.75258,
              1.00752,
              1.51182
            ],
            [
              0.42879,
              0.47051,
              0.49971,
              0.54629,
              0.62284,
              0.7575,
              1.01238,
              1.51667
            ],
            [
              0.43632,
              0.47804,
              0.50724,
              0.55382,
              0.63039,
              0.76501,
              1.01991,
              1.52421
            ],
            [
              0.44782,
              0.48954,
              0.51874,
              0.56532,
              0.64188,
              0.77653,
              1.03142,
              1.53572
            ],
            [
              0.46504,
              0.50676,
              0.53596,
              0.58254,
              0.65911,
              0.79374,
              1.04873,
              1.55293
            ],
            [
              0.48977,
              0.53149,
              0.56069,
              0.60727,
              0.68385,
              0.81847,
              1.07346,
              1.57766
            ],
            [
              0.52381,
              0.56554,
              0.59475,
              0.64133,
              0.71791,
              0.85255,
              1.10745,
              1.61175
            ],
            [
              0.56831,
              0.61008,
              0.63929,
              0.68589,
              0.76249,
              0.89709,
              1.15209,
              1.65629
            ],
            [
              0.62342,
              0.66532,
              0.69472,
              0.74142,
              0.81812,
              0.95272,
              1.20772,
              1.71202
            ],
            [
              0.68617,
              0.72877,
              0.75837,
              0.80537,
              0.88227,
              1.01707,
              1.27217,
              1.77647
            ],
            [
              0.7556,
              0.7996,
              0.8298,
              0.8774,
              0.9547,
              1.0898,
              1.3449,
              1.8497
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.07169,
              0.09268,
              0.10931,
              0.13838,
              0.18911,
              0.27862,
              0.44692,
              0.787
            ],
            [
              0.07169,
              0.09268,
              0.10931,
              0.13838,
              0.18912,
              0.27863,
              0.44692,
              0.78701
            ],
            [
              0.07169,
              0.09268,
              0.1093,
              0.13839,
              0.18908,
              0.27871,
              0.44676,
              0.78695
            ],
            [
              0.07169,
              0.09269,
              0.1095,
              0.13838,
              0.18912,
              0.27848,
              0.44689,
              0.78698
            ],
            [
              0.07172,
              0.09277,
              0.1093,
              0.13842,
              0.18891,
              0.27851,
              0.4465,
              0.78668
            ],
            [
              0.07169,
              0.09269,
              0.10948,
              0.13839,
              0.18913,
              0.27841,
              0.44702,
              0.787
            ],
            [
              0.07166,
              0.09267,
              0.1093,
              0.13848,
              0.18884,
              0.27876,
              0.44711,
              0.7869
            ],
            [
              0.07163,
              0.09264,
              0.10926,
              0.1384,
              0.18902,
              0.27832,
              0.4469,
              0.7869
            ],
            [
              0.07146,
              0.09258,
              0.10929,
              0.13816,
              0.18857,
              0.2787,
              0.4462,
              0.7868
            ],
            [
              0.0713,
              0.0925,
              0.109,
              0.1381,
              0.1886,
              0.278,
              0.4468,
              0.7868
            ],
            [
              0.0709,
              0.0924,
              0.1089,
              0.1378,
              0.1882,
              0.278,
              0.4464,
              0.7866
            ],
            [
              0.0707,
              0.0923,
              0.109,
              0.1376,
              0.1882,
              0.2779,
              0.4467,
              0.7857
            ],
            [
              0.0701,
              0.092,
              0.1086,
              0.1374,
              0.188,
              0.2775,
              0.4457,
              0.786
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.04995,
              0.08056,
              0.10453,
              0.14796,
              0.23214,
              0.40479,
              0.76255,
              1.49645
            ],
            [
              0.04995,
              0.08056,
              0.10453,
              0.14796,
              0.23213,
              0.40481,
              0.76257,
              1.49647
            ],
            [
              0.04991,
              0.08059,
              0.10444,
              0.14793,
              0.23204,
              0.40465,
              0.76248,
              1.4951
            ],
            [
              0.04994,
              0.08056,
              0.10454,
              0.14798,
              0.23218,
              0.40462,
              0.76304,
              1.49665
            ],
            [
              0.04992,
              0.08059,
              0.10444,
              0.14794,
              0.23205,
              0.40461,
              0.76264,
              1.49525
            ],
            [
              0.04994,
              0.08056,
              0.10454,
              0.14798,
              0.23217,
              0.40463,
              0.76295,
              1.49666
            ],
            [
              0.04994,
              0.08055,
              0.10455,
              0.14798,
              0.23205,
              0.40462,
              0.76274,
              1.4965
            ],
            [
              0.04997,
              0.0806,
              0.10454,
              0.14796,
              0.2322,
              0.40451,
              0.76343,
              1.4964
            ],
            [
              0.05002,
              0.08066,
              0.10455,
              0.14798,
              0.23232,
              0.40503,
              0.7636,
              1.4945
            ],
            [
              0.05018,
              0.08068,
              0.10466,
              0.14807,
              0.2321,
              0.4047,
              0.7642,
              1.4957
            ],
            [
              0.0506,
              0.0812,
              0.105,
              0.1482,
              0.2324,
              0.4049,
              0.7629,
              1.4954
            ],
            [
              0.0513,
              0.082,
              0.1058,
              0.1491,
              0.2333,
              0.4051,
              0.7635,
              1.4959
            ],
            [
              0.0529,
              0.0838,
              0.1075,
              0.1505,
              0.2345,
              0.4059,
              0.7638,
              1.495
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.48143,
              0.52263,
              0.55076,
              0.59335,
              0.65679,
              0.75294,
              0.90669,
              1.17337
            ],
            [
              0.48431,
              0.5255,
              0.55364,
              0.59623,
              0.65967,
              0.75581,
              0.90956,
              1.17634
            ],
            [
              0.48777,
              0.52896,
              0.55709,
              0.59968,
              0.66311,
              0.75926,
              0.91302,
              1.17992
            ],
            [
              0.49291,
              0.53409,
              0.56222,
              0.60482,
              0.66826,
              0.76441,
              0.91817,
              1.18508
            ],
            [
              0.5007,
              0.54188,
              0.57002,
              0.61261,
              0.67605,
              0.77219,
              0.92595,
              1.19271
            ],
            [
              0.51232,
              0.5535,
              0.58164,
              0.62423,
              0.68766,
              0.78382,
              0.93752,
              1.20452
            ],
            [
              0.5293,
              0.57044,
              0.59859,
              0.64118,
              0.70463,
              0.80077,
              0.95453,
              1.22133
            ],
            [
              0.55306,
              0.59413,
              0.62226,
              0.66486,
              0.72831,
              0.82448,
              0.97826,
              1.24506
            ],
            [
              0.58507,
              0.626,
              0.65411,
              0.69673,
              0.76015,
              0.85635,
              1.01015,
              1.27685
            ],
            [
              0.6257,
              0.66639,
              0.69449,
              0.73709,
              0.80059,
              0.89679,
              1.05059,
              1.31749
            ],
            [
              0.67492,
              0.71532,
              0.74332,
              0.78592,
              0.84942,
              0.94562,
              1.09942,
              1.36642
            ],
            [
              0.73377,
              0.77397,
              0.80197,
              0.84447,
              0.90807,
              1.00437,
              1.15807,
              1.42507
            ],
            [
              0.8065,
              0.8463,
              0.8741,
              0.9166,
              0.9802,
              1.0766,
              1.2304,
              1.4973
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.42894,
              0.47246,
              0.50269,
              0.55058,
              0.62902,
              0.76797,
              1.03517,
              1.56567
            ],
            [
              0.43147,
              0.47499,
              0.50522,
              0.5531,
              0.63154,
              0.7705,
              1.03764,
              1.56814
            ],
            [
              0.43462,
              0.47814,
              0.50837,
              0.55625,
              0.6347,
              0.77367,
              1.04082,
              1.57122
            ],
            [
              0.4395,
              0.48302,
              0.51324,
              0.56112,
              0.63957,
              0.77858,
              1.04568,
              1.57608
            ],
            [
              0.44701,
              0.49053,
              0.52076,
              0.56864,
              0.64709,
              0.78606,
              1.05321,
              1.58361
            ],
            [
              0.45848,
              0.50199,
              0.53223,
              0.58011,
              0.65855,
              0.79753,
              1.06472,
              1.59512
            ],
            [
              0.47557,
              0.51909,
              0.54932,
              0.5972,
              0.67564,
              0.81462,
              1.08183,
              1.61223
            ],
            [
              0.49973,
              0.54324,
              0.57348,
              0.62136,
              0.6998,
              0.83876,
              1.10596,
              1.63636
            ],
            [
              0.53225,
              0.57577,
              0.606,
              0.65388,
              0.73232,
              0.87125,
              1.13845,
              1.66895
            ],
            [
              0.57422,
              0.61775,
              0.64799,
              0.69589,
              0.77429,
              0.91339,
              1.18049,
              1.71089
            ],
            [
              0.62652,
              0.67012,
              0.70042,
              0.74842,
              0.82692,
              0.96602,
              1.23322,
              1.76352
            ],
            [
              0.68727,
              0.73147,
              0.76197,
              0.81027,
              0.88907,
              1.02847,
              1.29567,
              1.82577
            ],
            [
              0.7557,
              0.8009,
              0.832,
              0.8809,
              0.9602,
              1.0998,
              1.3671,
              1.8969
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06033,
              0.08184,
              0.09859,
              0.12732,
              0.17553,
              0.26038,
              0.41898,
              0.73893
            ],
            [
              0.06034,
              0.08184,
              0.09858,
              0.12731,
              0.17554,
              0.26036,
              0.41897,
              0.73903
            ],
            [
              0.06035,
              0.08169,
              0.09871,
              0.1273,
              0.1756,
              0.26027,
              0.41887,
              0.73908
            ],
            [
              0.06037,
              0.08169,
              0.09871,
              0.1273,
              0.17561,
              0.26026,
              0.41888,
              0.7391
            ],
            [
              0.06036,
              0.08185,
              0.0986,
              0.12732,
              0.17553,
              0.26036,
              0.41896,
              0.73902
            ],
            [
              0.06034,
              0.08172,
              0.09865,
              0.12727,
              0.17549,
              0.26028,
              0.41877,
              0.73843
            ],
            [
              0.06045,
              0.08178,
              0.09866,
              0.1273,
              0.17553,
              0.26038,
              0.4189,
              0.73907
            ],
            [
              0.06071,
              0.08185,
              0.09879,
              0.1271,
              0.17557,
              0.26013,
              0.41882,
              0.7386
            ],
            [
              0.0611,
              0.08206,
              0.0988,
              0.12736,
              0.17557,
              0.26021,
              0.4187,
              0.739
            ],
            [
              0.06156,
              0.08236,
              0.099,
              0.1273,
              0.1756,
              0.2602,
              0.4189,
              0.7388
            ],
            [
              0.0621,
              0.0828,
              0.0991,
              0.1274,
              0.1755,
              0.26,
              0.4188,
              0.7387
            ],
            [
              0.0625,
              0.0832,
              0.0994,
              0.1274,
              0.1756,
              0.2603,
              0.4188,
              0.739
            ],
            [
              0.0629,
              0.0838,
              0.0998,
              0.1277,
              0.1757,
              0.2604,
              0.4186,
              0.7379
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.05285,
              0.08429,
              0.10833,
              0.15201,
              0.23767,
              0.41579,
              0.78479,
              1.5352
            ],
            [
              0.05284,
              0.08428,
              0.10834,
              0.15201,
              0.23765,
              0.41583,
              0.78484,
              1.53515
            ],
            [
              0.05284,
              0.08428,
              0.10827,
              0.152,
              0.23778,
              0.41565,
              0.78447,
              1.5341
            ],
            [
              0.05284,
              0.08428,
              0.10829,
              0.15199,
              0.23777,
              0.41553,
              0.78435,
              1.53428
            ],
            [
              0.05284,
              0.08429,
              0.10827,
              0.15201,
              0.23778,
              0.41556,
              0.78617,
              1.53459
            ],
            [
              0.05285,
              0.0843,
              0.10826,
              0.15201,
              0.23778,
              0.4156,
              0.78611,
              1.5339
            ],
            [
              0.05283,
              0.08426,
              0.10834,
              0.15195,
              0.23766,
              0.416,
              0.78483,
              1.5345
            ],
            [
              0.05285,
              0.08427,
              0.10834,
              0.15198,
              0.23781,
              0.41579,
              0.78451,
              1.5344
            ],
            [
              0.0529,
              0.08435,
              0.10832,
              0.15206,
              0.23785,
              0.41569,
              0.7859,
              1.5333
            ],
            [
              0.05302,
              0.08449,
              0.10851,
              0.15211,
              0.2379,
              0.4157,
              0.7848,
              1.5351
            ],
            [
              0.0535,
              0.0848,
              0.1089,
              0.1525,
              0.238,
              0.4159,
              0.7842,
              1.5346
            ],
            [
              0.0545,
              0.0859,
              0.1098,
              0.1534,
              0.2389,
              0.4164,
              0.784,
              1.5321
            ],
            [
              0.0557,
              0.0875,
              0.1113,
              0.1547,
              0.2396,
              0.4156,
              0.7837,
              1.5308
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.50723,
              0.54607,
              0.57281,
              0.61375,
              0.67548,
              0.77008,
              0.92229,
              1.18777
            ],
            [
              0.50975,
              0.54859,
              0.57533,
              0.61627,
              0.678,
              0.7726,
              0.92481,
              1.19024
            ],
            [
              0.51288,
              0.55172,
              0.57846,
              0.61939,
              0.68114,
              0.77573,
              0.92795,
              1.19332
            ],
            [
              0.51775,
              0.55658,
              0.58334,
              0.62428,
              0.68602,
              0.7806,
              0.93281,
              1.19837
            ],
            [
              0.52529,
              0.56412,
              0.59087,
              0.63181,
              0.69354,
              0.78812,
              0.94034,
              1.20581
            ],
            [
              0.53681,
              0.57564,
              0.60239,
              0.64334,
              0.70507,
              0.79967,
              0.95192,
              1.21742
            ],
            [
              0.55401,
              0.59285,
              0.61959,
              0.66055,
              0.72227,
              0.81687,
              0.96913,
              1.23473
            ],
            [
              0.57821,
              0.61705,
              0.64378,
              0.68471,
              0.74648,
              0.84106,
              0.99326,
              1.25866
            ],
            [
              0.61052,
              0.64937,
              0.67607,
              0.71703,
              0.77875,
              0.87335,
              1.02565,
              1.29115
            ],
            [
              0.65139,
              0.69019,
              0.71689,
              0.75789,
              0.81959,
              0.91419,
              1.06649,
              1.33209
            ],
            [
              0.69842,
              0.73722,
              0.76392,
              0.80492,
              0.86682,
              0.96142,
              1.11382,
              1.37942
            ],
            [
              0.74477,
              0.78337,
              0.81007,
              0.85087,
              0.91277,
              1.00747,
              1.15987,
              1.42547
            ],
            [
              0.7866,
              0.8251,
              0.8517,
              0.8925,
              0.9543,
              1.049,
              1.2013,
              1.4664
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.42193,
              0.46405,
              0.49337,
              0.53996,
              0.61653,
              0.75105,
              1.00627,
              1.51237
            ],
            [
              0.42474,
              0.46686,
              0.49617,
              0.54277,
              0.61935,
              0.75385,
              1.00904,
              1.51514
            ],
            [
              0.42809,
              0.47021,
              0.49953,
              0.54613,
              0.62267,
              0.75721,
              1.01242,
              1.51822
            ],
            [
              0.43316,
              0.47528,
              0.5046,
              0.55119,
              0.62774,
              0.76228,
              1.01748,
              1.52317
            ],
            [
              0.44086,
              0.48298,
              0.5123,
              0.5589,
              0.63547,
              0.76999,
              1.02521,
              1.53141
            ],
            [
              0.45229,
              0.49441,
              0.52371,
              0.57032,
              0.64683,
              0.78132,
              1.03632,
              1.54242
            ],
            [
              0.46814,
              0.51025,
              0.53956,
              0.58616,
              0.66263,
              0.79715,
              1.05193,
              1.55813
            ],
            [
              0.48891,
              0.531,
              0.56031,
              0.6069,
              0.68334,
              0.81781,
              1.07276,
              1.57876
            ],
            [
              0.51588,
              0.55792,
              0.58721,
              0.63379,
              0.71035,
              0.84485,
              1.10005,
              1.60435
            ],
            [
              0.5501,
              0.59209,
              0.62135,
              0.66789,
              0.74439,
              0.87899,
              1.13419,
              1.64039
            ],
            [
              0.59262,
              0.63452,
              0.66382,
              0.71032,
              0.78692,
              0.92132,
              1.17652,
              1.68282
            ],
            [
              0.64497,
              0.68677,
              0.71597,
              0.76247,
              0.83887,
              0.97337,
              1.22867,
              1.73397
            ],
            [
              0.7085,
              0.7503,
              0.7795,
              0.826,
              0.9024,
              1.037,
              1.2914,
              1.7967
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06204,
              0.08476,
              0.10181,
              0.13028,
              0.17826,
              0.26243,
              0.42027,
              0.74003
            ],
            [
              0.06203,
              0.08475,
              0.1018,
              0.13027,
              0.17824,
              0.26207,
              0.4203,
              0.74008
            ],
            [
              0.06204,
              0.08474,
              0.10179,
              0.13027,
              0.17824,
              0.26207,
              0.42034,
              0.74002
            ],
            [
              0.06203,
              0.0848,
              0.10196,
              0.13028,
              0.17828,
              0.26248,
              0.42018,
              0.74002
            ],
            [
              0.06201,
              0.08478,
              0.10184,
              0.13028,
              0.17828,
              0.26248,
              0.42028,
              0.74003
            ],
            [
              0.06201,
              0.08481,
              0.10197,
              0.13036,
              0.17828,
              0.26247,
              0.42017,
              0.74001
            ],
            [
              0.06199,
              0.08494,
              0.10188,
              0.13035,
              0.17795,
              0.26237,
              0.42006,
              0.7396
            ],
            [
              0.06203,
              0.08473,
              0.10178,
              0.13026,
              0.17821,
              0.2621,
              0.42032,
              0.7399
            ],
            [
              0.06198,
              0.08491,
              0.10182,
              0.13035,
              0.17796,
              0.26217,
              0.4202,
              0.7394
            ],
            [
              0.06197,
              0.0847,
              0.1018,
              0.1302,
              0.1783,
              0.2624,
              0.42,
              0.7398
            ],
            [
              0.0618,
              0.0846,
              0.1018,
              0.1301,
              0.1779,
              0.262,
              0.4202,
              0.7393
            ],
            [
              0.0617,
              0.0844,
              0.1014,
              0.13,
              0.1778,
              0.2622,
              0.42,
              0.7399
            ],
            [
              0.0614,
              0.0841,
              0.1014,
              0.1298,
              0.1778,
              0.262,
              0.4193,
              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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.05144,
              0.08229,
              0.10621,
              0.14971,
              0.23389,
              0.40703,
              0.76543,
              1.50236
            ],
            [
              0.0514,
              0.08238,
              0.10625,
              0.14991,
              0.23399,
              0.4072,
              0.76589,
              1.50174
            ],
            [
              0.05148,
              0.08229,
              0.10617,
              0.14971,
              0.23401,
              0.40681,
              0.76592,
              1.50235
            ],
            [
              0.05147,
              0.08228,
              0.10617,
              0.1497,
              0.23401,
              0.4068,
              0.76601,
              1.50225
            ],
            [
              0.05142,
              0.08227,
              0.10619,
              0.14968,
              0.23389,
              0.40713,
              0.76524,
              1.50236
            ],
            [
              0.05141,
              0.08218,
              0.10617,
              0.14966,
              0.23433,
              0.40718,
              0.7669,
              1.50072
            ],
            [
              0.05142,
              0.08219,
              0.10613,
              0.14962,
              0.23427,
              0.40723,
              0.76695,
              1.5002
            ],
            [
              0.0514,
              0.08216,
              0.10603,
              0.14969,
              0.23422,
              0.40683,
              0.76675,
              1.4999
            ],
            [
              0.05117,
              0.08218,
              0.10603,
              0.14974,
              0.23383,
              0.40671,
              0.7661,
              1.4995
            ],
            [
              0.05098,
              0.08184,
              0.10577,
              0.14938,
              0.2342,
              0.4071,
              0.7656,
              1.5022
            ],
            [
              0.0508,
              0.0817,
              0.1056,
              0.1492,
              0.2342,
              0.4063,
              0.7663,
              1.5023
            ],
            [
              0.0504,
              0.0815,
              0.1055,
              0.1491,
              0.2334,
              0.4061,
              0.7655,
              1.4994
            ],
            [
              0.0502,
              0.0812,
              0.1051,
              0.1489,
              0.2338,
              0.4061,
              0.7661,
              1.4999
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.46784,
              0.50647,
              0.53304,
              0.57374,
              0.6353,
              0.72985,
              0.88245,
              1.14847
            ],
            [
              0.46977,
              0.50838,
              0.53496,
              0.5757,
              0.63722,
              0.73179,
              0.88436,
              1.15054
            ],
            [
              0.47226,
              0.51087,
              0.53745,
              0.57819,
              0.63971,
              0.73428,
              0.88685,
              1.15312
            ],
            [
              0.4763,
              0.51492,
              0.54149,
              0.58222,
              0.64375,
              0.73832,
              0.89092,
              1.15708
            ],
            [
              0.48289,
              0.5215,
              0.54809,
              0.58882,
              0.65034,
              0.74491,
              0.89748,
              1.16371
            ],
            [
              0.49351,
              0.53214,
              0.55872,
              0.59944,
              0.66096,
              0.75553,
              0.90813,
              1.17432
            ],
            [
              0.5103,
              0.54893,
              0.57551,
              0.61625,
              0.67775,
              0.77232,
              0.92493,
              1.19113
            ],
            [
              0.53615,
              0.57478,
              0.60137,
              0.64209,
              0.70361,
              0.79818,
              0.95076,
              1.21696
            ],
            [
              0.57377,
              0.61242,
              0.639,
              0.6797,
              0.74125,
              0.83585,
              0.98835,
              1.25445
            ],
            [
              0.62397,
              0.66259,
              0.68919,
              0.72989,
              0.79139,
              0.88599,
              1.03859,
              1.30459
            ],
            [
              0.68512,
              0.72362,
              0.75022,
              0.79082,
              0.85242,
              0.94702,
              1.09962,
              1.36572
            ],
            [
              0.75287,
              0.79117,
              0.81757,
              0.85817,
              0.91957,
              1.01407,
              1.16657,
              1.43257
            ],
            [
              0.823,
              0.8612,
              0.8876,
              0.9281,
              0.9896,
              1.0841,
              1.2367,
              1.5027
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.35882,
              0.39998,
              0.42848,
              0.47379,
              0.54861,
              0.68141,
              0.93603,
              1.44127
            ],
            [
              0.36169,
              0.40285,
              0.43136,
              0.47666,
              0.55148,
              0.68437,
              0.93895,
              1.44424
            ],
            [
              0.36522,
              0.40638,
              0.43489,
              0.4802,
              0.55501,
              0.6879,
              0.94239,
              1.44752
            ],
            [
              0.37067,
              0.41184,
              0.44034,
              0.48566,
              0.56044,
              0.6932,
              0.94771,
              1.45328
            ],
            [
              0.37886,
              0.42004,
              0.44855,
              0.49387,
              0.56868,
              0.70146,
              0.95601,
              1.46141
            ],
            [
              0.39125,
              0.43245,
              0.46098,
              0.5063,
              0.58102,
              0.71391,
              0.96812,
              1.47302
            ],
            [
              0.40975,
              0.45097,
              0.47952,
              0.52485,
              0.59958,
              0.73248,
              0.98673,
              1.49153
            ],
            [
              0.43707,
              0.47833,
              0.50689,
              0.55225,
              0.62712,
              0.75992,
              1.01446,
              1.52006
            ],
            [
              0.47655,
              0.51789,
              0.54649,
              0.59188,
              0.66677,
              0.79965,
              1.05425,
              1.55975
            ],
            [
              0.52746,
              0.56889,
              0.59754,
              0.64299,
              0.71789,
              0.85079,
              1.10539,
              1.61089
            ],
            [
              0.58762,
              0.62902,
              0.65762,
              0.70312,
              0.77792,
              0.91072,
              1.16542,
              1.67092
            ],
            [
              0.66087,
              0.70237,
              0.73107,
              0.77647,
              0.85117,
              0.98407,
              1.23827,
              1.74487
            ],
            [
              0.7516,
              0.7934,
              0.8221,
              0.8676,
              0.9425,
              1.0751,
              1.3292,
              1.8348
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06121,
              0.08399,
              0.10106,
              0.1295,
              0.17769,
              0.26202,
              0.42095,
              0.74093
            ],
            [
              0.06125,
              0.08399,
              0.10105,
              0.12955,
              0.17777,
              0.26244,
              0.42079,
              0.74102
            ],
            [
              0.06125,
              0.08401,
              0.10118,
              0.12964,
              0.17779,
              0.26237,
              0.4207,
              0.74091
            ],
            [
              0.06123,
              0.08402,
              0.10109,
              0.12966,
              0.17747,
              0.26219,
              0.42097,
              0.74045
            ],
            [
              0.06127,
              0.08401,
              0.10118,
              0.12956,
              0.17778,
              0.26241,
              0.42075,
              0.74098
            ],
            [
              0.06125,
              0.08404,
              0.1011,
              0.12965,
              0.17746,
              0.26226,
              0.42092,
              0.74022
            ],
            [
              0.0613,
              0.08404,
              0.10113,
              0.12964,
              0.17746,
              0.26227,
              0.42086,
              0.73996
            ],
            [
              0.0613,
              0.084,
              0.10106,
              0.12957,
              0.17779,
              0.26245,
              0.42084,
              0.7411
            ],
            [
              0.06126,
              0.08401,
              0.10107,
              0.12954,
              0.1777,
              0.26241,
              0.421,
              0.741
            ],
            [
              0.06115,
              0.08395,
              0.1011,
              0.1295,
              0.1777,
              0.262,
              0.4209,
              0.7409
            ],
            [
              0.061,
              0.0837,
              0.1007,
              0.1295,
              0.1772,
              0.2622,
              0.4208,
              0.7409
            ],
            [
              0.0607,
              0.0835,
              0.1005,
              0.1291,
              0.177,
              0.2619,
              0.4206,
              0.7407
            ],
            [
              0.0604,
              0.0832,
              0.1003,
              0.1287,
              0.1768,
              0.2615,
              0.42,
              0.7394
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.05007,
              0.07977,
              0.10299,
              0.14551,
              0.22931,
              0.40316,
              0.76309,
              1.49817
            ],
            [
              0.05005,
              0.07995,
              0.10301,
              0.14557,
              0.2292,
              0.40296,
              0.76409,
              1.50171
            ],
            [
              0.0501,
              0.07986,
              0.10301,
              0.1456,
              0.22912,
              0.40265,
              0.76453,
              1.50297
            ],
            [
              0.0501,
              0.07985,
              0.10299,
              0.14549,
              0.22971,
              0.40303,
              0.7645,
              1.49929
            ],
            [
              0.05013,
              0.07984,
              0.10303,
              0.14552,
              0.22934,
              0.40313,
              0.76413,
              1.49825
            ],
            [
              0.05018,
              0.07994,
              0.10298,
              0.14566,
              0.22949,
              0.40276,
              0.76491,
              1.49821
            ],
            [
              0.05024,
              0.07999,
              0.10306,
              0.1456,
              0.22956,
              0.40282,
              0.76496,
              1.49834
            ],
            [
              0.0503,
              0.08006,
              0.10327,
              0.14576,
              0.22953,
              0.40322,
              0.76426,
              1.4994
            ],
            [
              0.05051,
              0.08047,
              0.1035,
              0.14609,
              0.22957,
              0.40344,
              0.76354,
              1.4992
            ],
            [
              0.05081,
              0.08058,
              0.10358,
              0.14623,
              0.22968,
              0.4034,
              0.7634,
              1.4996
            ],
            [
              0.0509,
              0.0806,
              0.1038,
              0.1463,
              0.2303,
              0.4031,
              0.7637,
              1.5011
            ],
            [
              0.0513,
              0.0811,
              0.1042,
              0.1463,
              0.2299,
              0.4042,
              0.7647,
              1.5015
            ],
            [
              0.0517,
              0.0815,
              0.1045,
              0.1469,
              0.2304,
              0.4031,
              0.7629,
              1.4981
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.4833,
              0.52665,
              0.55721,
              0.60421,
              0.67429,
              0.77946,
              0.9457,
              1.23287
            ],
            [
              0.48606,
              0.5294,
              0.55996,
              0.60696,
              0.67705,
              0.78223,
              0.94846,
              1.23564
            ],
            [
              0.48942,
              0.53279,
              0.56333,
              0.61033,
              0.68043,
              0.78562,
              0.95185,
              1.23902
            ],
            [
              0.49455,
              0.53792,
              0.56849,
              0.61547,
              0.68561,
              0.79075,
              0.957,
              1.24398
            ],
            [
              0.50222,
              0.54559,
              0.57616,
              0.62317,
              0.69326,
              0.79843,
              0.96471,
              1.25181
            ],
            [
              0.51363,
              0.55701,
              0.58757,
              0.63457,
              0.70469,
              0.80989,
              0.97612,
              1.26332
            ],
            [
              0.53026,
              0.57366,
              0.60423,
              0.65124,
              0.72136,
              0.82655,
              0.99283,
              1.27993
            ],
            [
              0.55371,
              0.5972,
              0.62781,
              0.67483,
              0.74495,
              0.85016,
              1.01636,
              1.30356
            ],
            [
              0.58393,
              0.62773,
              0.65848,
              0.70556,
              0.77565,
              0.88075,
              1.04695,
              1.33385
            ],
            [
              0.619,
              0.66339,
              0.69429,
              0.74149,
              0.81149,
              0.91649,
              1.08269,
              1.36959
            ],
            [
              0.65832,
              0.70342,
              0.73462,
              0.78182,
              0.85172,
              0.95652,
              1.12262,
              1.40972
            ],
            [
              0.70187,
              0.74797,
              0.77937,
              0.82647,
              0.89627,
              1.00097,
              1.16697,
              1.45387
            ],
            [
              0.7525,
              0.7982,
              0.8291,
              0.8759,
              0.9452,
              1.0497,
              1.2155,
              1.5022
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.39064,
              0.43231,
              0.46149,
              0.50805,
              0.5846,
              0.71921,
              0.97412,
              1.47827
            ],
            [
              0.39247,
              0.43413,
              0.46331,
              0.50987,
              0.58643,
              0.72102,
              0.97596,
              1.48014
            ],
            [
              0.39483,
              0.4365,
              0.46568,
              0.51224,
              0.58879,
              0.72338,
              0.97832,
              1.48242
            ],
            [
              0.3987,
              0.44037,
              0.46953,
              0.51609,
              0.59266,
              0.7273,
              0.98218,
              1.48628
            ],
            [
              0.405,
              0.44667,
              0.47584,
              0.5224,
              0.59896,
              0.73359,
              0.98841,
              1.49261
            ],
            [
              0.41518,
              0.45684,
              0.48602,
              0.53258,
              0.60914,
              0.74373,
              0.99862,
              1.50272
            ],
            [
              0.43131,
              0.47298,
              0.50215,
              0.54871,
              0.62527,
              0.7599,
              1.01473,
              1.51903
            ],
            [
              0.45631,
              0.49797,
              0.52715,
              0.57371,
              0.65028,
              0.78493,
              1.03976,
              1.54386
            ],
            [
              0.4935,
              0.53517,
              0.56435,
              0.61091,
              0.68747,
              0.82205,
              1.07705,
              1.58125
            ],
            [
              0.54481,
              0.58653,
              0.61572,
              0.66229,
              0.73889,
              0.87349,
              1.12839,
              1.63269
            ],
            [
              0.60962,
              0.65172,
              0.68102,
              0.72762,
              0.80432,
              0.93902,
              1.19392,
              1.69822
            ],
            [
              0.68477,
              0.72727,
              0.75687,
              0.80377,
              0.88067,
              1.01567,
              1.27077,
              1.77497
            ],
            [
              0.7717,
              0.8149,
              0.8448,
              0.892,
              0.9691,
              1.1042,
              1.3596,
              1.8638
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.07072,
              0.0923,
              0.1089,
              0.13761,
              0.18805,
              0.2778,
              0.4462,
              0.78601
            ],
            [
              0.07071,
              0.09225,
              0.10872,
              0.13764,
              0.18799,
              0.27796,
              0.4462,
              0.78559
            ],
            [
              0.07075,
              0.09218,
              0.10872,
              0.13772,
              0.18828,
              0.27781,
              0.44666,
              0.78632
            ],
            [
              0.07071,
              0.09215,
              0.10876,
              0.13758,
              0.18803,
              0.27819,
              0.44658,
              0.78666
            ],
            [
              0.07073,
              0.0923,
              0.10891,
              0.13764,
              0.18806,
              0.27784,
              0.44627,
              0.78609
            ],
            [
              0.07073,
              0.09217,
              0.10871,
              0.13772,
              0.1883,
              0.27782,
              0.44622,
              0.78608
            ],
            [
              0.07072,
              0.09216,
              0.10872,
              0.13774,
              0.18829,
              0.27787,
              0.44665,
              0.7862
            ],
            [
              0.07081,
              0.09217,
              0.10877,
              0.13779,
              0.18836,
              0.27813,
              0.44605,
              0.7855
            ],
            [
              0.07103,
              0.0923,
              0.10908,
              0.13785,
              0.1886,
              0.27797,
              0.4466,
              0.7868
            ],
            [
              0.07131,
              0.09247,
              0.1091,
              0.1383,
              0.1891,
              0.2783,
              0.4466,
              0.787
            ],
            [
              0.0713,
              0.0925,
              0.1097,
              0.1391,
              0.1898,
              0.279,
              0.4472,
              0.7861
            ],
            [
              0.0697,
              0.0923,
              0.1102,
              0.1402,
              0.1911,
              0.2805,
              0.448,
              0.787
            ],
            [
              0.0655,
              0.0916,
              0.1106,
              0.1415,
              0.1925,
              0.2814,
              0.4481,
              0.7876
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.04973,
              0.08042,
              0.10438,
              0.14783,
              0.23201,
              0.40482,
              0.76285,
              1.49658
            ],
            [
              0.04971,
              0.08042,
              0.10434,
              0.14782,
              0.23204,
              0.40496,
              0.76269,
              1.49632
            ],
            [
              0.04972,
              0.08043,
              0.10431,
              0.14782,
              0.23211,
              0.40494,
              0.76251,
              1.49614
            ],
            [
              0.04973,
              0.08042,
              0.10436,
              0.14786,
              0.23208,
              0.40481,
              0.76302,
              1.49543
            ],
            [
              0.04973,
              0.08041,
              0.10438,
              0.14785,
              0.23194,
              0.40485,
              0.76324,
              1.49516
            ],
            [
              0.04969,
              0.08043,
              0.1043,
              0.14783,
              0.23205,
              0.40498,
              0.76317,
              1.49579
            ],
            [
              0.0497,
              0.08039,
              0.10435,
              0.14784,
              0.23212,
              0.40456,
              0.76295,
              1.49507
            ],
            [
              0.0497,
              0.08042,
              0.10434,
              0.14784,
              0.23206,
              0.40479,
              0.76298,
              1.4957
            ],
            [
              0.04972,
              0.08042,
              0.10436,
              0.1478,
              0.23209,
              0.40509,
              0.76266,
              1.4965
            ],
            [
              0.04988,
              0.08057,
              0.1045,
              0.14799,
              0.2322,
              0.4051,
              0.7628,
              1.4967
            ],
            [
              0.0508,
              0.0814,
              0.1053,
              0.1486,
              0.2326,
              0.4053,
              0.7628,
              1.4967
            ],
            [
              0.0522,
              0.0828,
              0.1067,
              0.15,
              0.2337,
              0.4057,
              0.7631,
              1.4965
            ],
            [
              0.0541,
              0.0848,
              0.1084,
              0.1515,
              0.235,
              0.4066,
              0.7648,
              1.4944
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.44063,
              0.4812,
              0.50926,
              0.55192,
              0.61543,
              0.71162,
              0.86536,
              1.13207
            ],
            [
              0.44349,
              0.48408,
              0.51215,
              0.55477,
              0.61831,
              0.7145,
              0.86826,
              1.13524
            ],
            [
              0.44691,
              0.48749,
              0.51556,
              0.5582,
              0.62172,
              0.71794,
              0.87166,
              1.13872
            ],
            [
              0.4521,
              0.49269,
              0.52077,
              0.56341,
              0.62692,
              0.72315,
              0.87687,
              1.14387
            ],
            [
              0.45986,
              0.50046,
              0.52853,
              0.57117,
              0.6347,
              0.7309,
              0.88466,
              1.15161
            ],
            [
              0.47132,
              0.51193,
              0.54,
              0.58265,
              0.64618,
              0.74236,
              0.89611,
              1.16282
            ],
            [
              0.48817,
              0.52882,
              0.5569,
              0.59954,
              0.66306,
              0.75927,
              0.91303,
              1.18003
            ],
            [
              0.51223,
              0.55295,
              0.58104,
              0.62369,
              0.6872,
              0.7834,
              0.93716,
              1.20406
            ],
            [
              0.54467,
              0.58555,
              0.61366,
              0.65629,
              0.71978,
              0.81595,
              0.96975,
              1.23665
            ],
            [
              0.58349,
              0.62457,
              0.65269,
              0.69529,
              0.75879,
              0.85489,
              1.00869,
              1.27569
            ],
            [
              0.62892,
              0.67032,
              0.69842,
              0.74092,
              0.80422,
              0.90042,
              1.05412,
              1.32092
            ],
            [
              0.68137,
              0.72277,
              0.75067,
              0.79307,
              0.85627,
              0.95247,
              1.10627,
              1.37317
            ],
            [
              0.7433,
              0.7834,
              0.8108,
              0.8528,
              0.9159,
              1.0121,
              1.1659,
              1.4325
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.39742,
              0.44057,
              0.47067,
              0.51845,
              0.59689,
              0.73595,
              1.00297,
              1.53317
            ],
            [
              0.39924,
              0.44239,
              0.47249,
              0.52027,
              0.59871,
              0.73778,
              1.00484,
              1.53494
            ],
            [
              0.40169,
              0.44483,
              0.47494,
              0.52271,
              0.60114,
              0.74021,
              1.00732,
              1.53752
            ],
            [
              0.40559,
              0.44876,
              0.47885,
              0.52663,
              0.60506,
              0.74413,
              1.01118,
              1.54137
            ],
            [
              0.41188,
              0.45503,
              0.48512,
              0.53291,
              0.61134,
              0.7504,
              1.01741,
              1.54771
            ],
            [
              0.42193,
              0.46508,
              0.49518,
              0.54296,
              0.62139,
              0.76046,
              1.02752,
              1.55782
            ],
            [
              0.43786,
              0.481,
              0.5111,
              0.55888,
              0.63731,
              0.77638,
              1.04343,
              1.57363
            ],
            [
              0.46276,
              0.50588,
              0.53597,
              0.58375,
              0.66218,
              0.80126,
              1.06836,
              1.59856
            ],
            [
              0.50076,
              0.54385,
              0.57393,
              0.62171,
              0.70015,
              0.83915,
              1.10635,
              1.63655
            ],
            [
              0.55368,
              0.59675,
              0.62683,
              0.67459,
              0.75299,
              0.89209,
              1.15929,
              1.68949
            ],
            [
              0.62002,
              0.66322,
              0.69332,
              0.74122,
              0.81972,
              0.95882,
              1.22602,
              1.75622
            ],
            [
              0.69737,
              0.74087,
              0.77117,
              0.81917,
              0.89787,
              1.03717,
              1.30437,
              1.83447
            ],
            [
              0.7885,
              0.8322,
              0.8627,
              0.9109,
              0.9897,
              1.1291,
              1.3964,
              1.9265
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06186,
              0.08261,
              0.09915,
              0.12732,
              0.17548,
              0.26015,
              0.41883,
              0.7389
            ],
            [
              0.06183,
              0.08257,
              0.09904,
              0.12715,
              0.17541,
              0.26011,
              0.41891,
              0.73873
            ],
            [
              0.06184,
              0.08257,
              0.09901,
              0.12722,
              0.17549,
              0.26029,
              0.41892,
              0.73794
            ],
            [
              0.06182,
              0.08255,
              0.09901,
              0.1272,
              0.17548,
              0.26026,
              0.41886,
              0.7382
            ],
            [
              0.0618,
              0.08252,
              0.09901,
              0.12715,
              0.17545,
              0.26017,
              0.41889,
              0.7388
            ],
            [
              0.06175,
              0.08249,
              0.099,
              0.12717,
              0.17541,
              0.2601,
              0.41884,
              0.73891
            ],
            [
              0.06171,
              0.08247,
              0.09893,
              0.12718,
              0.17547,
              0.25993,
              0.41895,
              0.73886
            ],
            [
              0.06156,
              0.0824,
              0.09891,
              0.12719,
              0.17547,
              0.26005,
              0.41886,
              0.7391
            ],
            [
              0.06126,
              0.08214,
              0.09883,
              0.12713,
              0.17556,
              0.26032,
              0.4189,
              0.7391
            ],
            [
              0.0607,
              0.0819,
              0.09863,
              0.12735,
              0.1756,
              0.2601,
              0.419,
              0.738
            ],
            [
              0.0597,
              0.0815,
              0.0988,
              0.1275,
              0.1758,
              0.2605,
              0.4191,
              0.7391
            ],
            [
              0.0579,
              0.0816,
              0.0992,
              0.1281,
              0.1767,
              0.2613,
              0.4195,
              0.7386
            ],
            [
              0.0575,
              0.0821,
              0.0999,
              0.1292,
              0.1777,
              0.2619,
              0.4193,
              0.7385
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.05159,
              0.08309,
              0.10723,
              0.15112,
              0.23706,
              0.41521,
              0.78475,
              1.53381
            ],
            [
              0.05159,
              0.08308,
              0.1072,
              0.15113,
              0.23703,
              0.41508,
              0.7841,
              1.53346
            ],
            [
              0.05159,
              0.08309,
              0.10723,
              0.15108,
              0.23712,
              0.41519,
              0.78434,
              1.53441
            ],
            [
              0.05161,
              0.08305,
              0.1072,
              0.15114,
              0.23703,
              0.415,
              0.78409,
              1.53366
            ],
            [
              0.05162,
              0.08305,
              0.1072,
              0.1511,
              0.23705,
              0.41506,
              0.78425,
              1.53404
            ],
            [
              0.0516,
              0.08302,
              0.10728,
              0.15116,
              0.23712,
              0.41512,
              0.78461,
              1.53267
            ],
            [
              0.05158,
              0.08305,
              0.10715,
              0.15106,
              0.23703,
              0.41499,
              0.78419,
              1.5344
            ],
            [
              0.05153,
              0.083,
              0.10721,
              0.15108,
              0.23709,
              0.41514,
              0.78455,
              1.5326
            ],
            [
              0.05142,
              0.0829,
              0.10709,
              0.15106,
              0.2369,
              0.41553,
              0.7843,
              1.5325
            ],
            [
              0.05134,
              0.08281,
              0.10707,
              0.15102,
              0.2371,
              0.415,
              0.7846,
              1.5327
            ],
            [
              0.0518,
              0.0832,
              0.1074,
              0.1513,
              0.2372,
              0.4153,
              0.7846,
              1.5325
            ],
            [
              0.0523,
              0.0839,
              0.1081,
              0.1519,
              0.2378,
              0.416,
              0.7841,
              1.5339
            ],
            [
              0.0531,
              0.0847,
              0.1089,
              0.1526,
              0.2382,
              0.4157,
              0.7847,
              1.5367
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.48684,
              0.52585,
              0.55266,
              0.5937,
              0.65554,
              0.75021,
              0.9025,
              1.16787
            ],
            [
              0.48876,
              0.52776,
              0.55458,
              0.59561,
              0.65744,
              0.75211,
              0.90441,
              1.16974
            ],
            [
              0.49135,
              0.53034,
              0.55716,
              0.59819,
              0.66003,
              0.75469,
              0.90698,
              1.17232
            ],
            [
              0.4955,
              0.53448,
              0.56131,
              0.60232,
              0.66419,
              0.75885,
              0.91117,
              1.17678
            ],
            [
              0.50223,
              0.54124,
              0.56805,
              0.60908,
              0.67093,
              0.76561,
              0.91789,
              1.18341
            ],
            [
              0.51308,
              0.55206,
              0.57887,
              0.6199,
              0.68173,
              0.7764,
              0.92872,
              1.19402
            ],
            [
              0.53035,
              0.56932,
              0.59613,
              0.63713,
              0.69897,
              0.79364,
              0.94593,
              1.21143
            ],
            [
              0.55761,
              0.59658,
              0.62338,
              0.66439,
              0.72622,
              0.82088,
              0.97316,
              1.23856
            ],
            [
              0.59927,
              0.63825,
              0.66505,
              0.70606,
              0.76785,
              0.86255,
              1.01485,
              1.28045
            ],
            [
              0.65659,
              0.69559,
              0.72239,
              0.76339,
              0.82519,
              0.91989,
              1.07219,
              1.33759
            ],
            [
              0.72802,
              0.76692,
              0.79372,
              0.83472,
              0.89662,
              0.99122,
              1.14352,
              1.40912
            ],
            [
              0.81167,
              0.85047,
              0.87717,
              0.91807,
              0.97977,
              1.07437,
              1.22677,
              1.49227
            ],
            [
              0.9096,
              0.9484,
              0.9751,
              1.0159,
              1.0776,
              1.1722,
              1.3244,
              1.5897
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.35887,
              0.40089,
              0.43017,
              0.47674,
              0.55319,
              0.68768,
              0.94255,
              1.44867
            ],
            [
              0.36183,
              0.40385,
              0.43313,
              0.4797,
              0.55618,
              0.69062,
              0.94557,
              1.45164
            ],
            [
              0.36539,
              0.40741,
              0.43669,
              0.48326,
              0.55981,
              0.69435,
              0.94945,
              1.45492
            ],
            [
              0.37082,
              0.41284,
              0.44211,
              0.48869,
              0.56524,
              0.69978,
              0.95486,
              1.46047
            ],
            [
              0.37898,
              0.421,
              0.45028,
              0.49686,
              0.57343,
              0.70797,
              0.96321,
              1.46871
            ],
            [
              0.39109,
              0.43312,
              0.46241,
              0.50898,
              0.58544,
              0.71998,
              0.97482,
              1.48102
            ],
            [
              0.40904,
              0.45107,
              0.48035,
              0.52693,
              0.6035,
              0.73804,
              0.99323,
              1.49853
            ],
            [
              0.43508,
              0.47712,
              0.5064,
              0.55298,
              0.62955,
              0.76407,
              1.01926,
              1.52546
            ],
            [
              0.47134,
              0.5134,
              0.5427,
              0.58928,
              0.66586,
              0.80035,
              1.05555,
              1.56175
            ],
            [
              0.51355,
              0.55563,
              0.58491,
              0.63149,
              0.70799,
              0.84249,
              1.09769,
              1.60389
            ],
            [
              0.56202,
              0.60392,
              0.63322,
              0.67972,
              0.75622,
              0.89062,
              1.14562,
              1.65032
            ],
            [
              0.61897,
              0.66097,
              0.69027,
              0.73677,
              0.81327,
              0.94757,
              1.20227,
              1.70817
            ],
            [
              0.6864,
              0.7285,
              0.7578,
              0.8044,
              0.8809,
              1.0153,
              1.2698,
              1.7749
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06252,
              0.0853,
              0.10248,
              0.13083,
              0.17865,
              0.26239,
              0.42049,
              0.74007
            ],
            [
              0.06252,
              0.0853,
              0.10245,
              0.13075,
              0.17866,
              0.26239,
              0.42044,
              0.74003
            ],
            [
              0.06254,
              0.0853,
              0.10247,
              0.13083,
              0.17866,
              0.26239,
              0.42044,
              0.74003
            ],
            [
              0.06256,
              0.0853,
              0.10232,
              0.13069,
              0.1784,
              0.2626,
              0.4203,
              0.73921
            ],
            [
              0.06253,
              0.08532,
              0.10236,
              0.13083,
              0.17868,
              0.26275,
              0.42047,
              0.74013
            ],
            [
              0.06253,
              0.0853,
              0.10235,
              0.13083,
              0.17867,
              0.26241,
              0.42054,
              0.74002
            ],
            [
              0.06255,
              0.0853,
              0.10236,
              0.13078,
              0.17866,
              0.2624,
              0.42041,
              0.73973
            ],
            [
              0.06258,
              0.08534,
              0.10251,
              0.1309,
              0.17871,
              0.26243,
              0.42051,
              0.7401
            ],
            [
              0.06264,
              0.08537,
              0.10242,
              0.13083,
              0.17869,
              0.26246,
              0.4205,
              0.7394
            ],
            [
              0.06263,
              0.0854,
              0.1027,
              0.131,
              0.1789,
              0.2625,
              0.4205,
              0.74
            ],
            [
              0.0627,
              0.0854,
              0.1024,
              0.1308,
              0.1788,
              0.2625,
              0.4205,
              0.7402
            ],
            [
              0.0625,
              0.0852,
              0.1024,
              0.1307,
              0.1784,
              0.2626,
              0.4205,
              0.7397
            ],
            [
              0.0624,
              0.0852,
              0.1023,
              0.1306,
              0.1784,
              0.2622,
              0.4203,
              0.7398
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.05108,
              0.08199,
              0.10585,
              0.14944,
              0.23407,
              0.40694,
              0.76693,
              1.50011
            ],
            [
              0.05108,
              0.08198,
              0.1059,
              0.14948,
              0.23403,
              0.40682,
              0.76685,
              1.50002
            ],
            [
              0.05107,
              0.08208,
              0.10598,
              0.14965,
              0.23378,
              0.40653,
              0.7664,
              1.49922
            ],
            [
              0.05108,
              0.08215,
              0.10593,
              0.14943,
              0.23382,
              0.40644,
              0.76642,
              1.49945
            ],
            [
              0.0511,
              0.08196,
              0.10613,
              0.14942,
              0.23379,
              0.40693,
              0.7658,
              1.50324
            ],
            [
              0.05118,
              0.082,
              0.10588,
              0.14957,
              0.23415,
              0.40712,
              0.76694,
              1.50021
            ],
            [
              0.05113,
              0.08206,
              0.10608,
              0.14971,
              0.23378,
              0.40693,
              0.76586,
              1.50378
            ],
            [
              0.05116,
              0.08199,
              0.10602,
              0.14949,
              0.23391,
              0.40712,
              0.76515,
              1.5023
            ],
            [
              0.05122,
              0.08214,
              0.10617,
              0.14949,
              0.23385,
              0.40704,
              0.76527,
              1.5024
            ],
            [
              0.05124,
              0.08203,
              0.10607,
              0.14954,
              0.23397,
              0.4072,
              0.766,
              1.5017
            ],
            [
              0.051,
              0.082,
              0.1059,
              0.1494,
              0.2338,
              0.4065,
              0.7666,
              1.4995
            ],
            [
              0.0513,
              0.0821,
              0.106,
              0.1495,
              0.2336,
              0.4072,
              0.7667,
              1.4995
            ],
            [
              0.0514,
              0.0823,
              0.1062,
              0.1496,
              0.2344,
              0.4066,
              0.7661,
              1.4997
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.34528,
              0.38485,
              0.41187,
              0.45308,
              0.51505,
              0.60989,
              0.76267,
              1.02907
            ],
            [
              0.34795,
              0.38752,
              0.41458,
              0.45578,
              0.51773,
              0.61256,
              0.76536,
              1.03174
            ],
            [
              0.35127,
              0.39084,
              0.4179,
              0.45911,
              0.52104,
              0.61589,
              0.76868,
              1.03512
            ],
            [
              0.35644,
              0.39598,
              0.42303,
              0.46426,
              0.52623,
              0.62108,
              0.77389,
              1.04018
            ],
            [
              0.36417,
              0.40374,
              0.43078,
              0.472,
              0.53395,
              0.62881,
              0.78162,
              1.04801
            ],
            [
              0.37587,
              0.41543,
              0.44246,
              0.48368,
              0.54564,
              0.64051,
              0.79331,
              1.05962
            ],
            [
              0.39373,
              0.43328,
              0.46032,
              0.50152,
              0.56349,
              0.65835,
              0.81118,
              1.07753
            ],
            [
              0.42032,
              0.45985,
              0.48687,
              0.52806,
              0.59005,
              0.68495,
              0.83776,
              1.10406
            ],
            [
              0.46057,
              0.50007,
              0.52707,
              0.56824,
              0.63005,
              0.72501,
              0.87795,
              1.14415
            ],
            [
              0.51909,
              0.55858,
              0.58556,
              0.62673,
              0.68869,
              0.78379,
              0.93679,
              1.20319
            ],
            [
              0.60152,
              0.64122,
              0.66822,
              0.70952,
              0.77172,
              0.86692,
              1.02012,
              1.28672
            ],
            [
              0.70347,
              0.74517,
              0.77347,
              0.81627,
              0.87997,
              0.97647,
              1.13037,
              1.39737
            ],
            [
              0.8227,
              0.8671,
              0.897,
              0.9422,
              1.0092,
              1.1098,
              1.2677,
              1.5365
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.23525,
              0.27657,
              0.30554,
              0.35178,
              0.42788,
              0.56169,
              0.81643,
              1.32027
            ],
            [
              0.23817,
              0.27947,
              0.30844,
              0.35468,
              0.4307,
              0.56455,
              0.81923,
              1.32384
            ],
            [
              0.24168,
              0.283,
              0.31198,
              0.35821,
              0.43429,
              0.56812,
              0.82287,
              1.32642
            ],
            [
              0.24685,
              0.28819,
              0.31721,
              0.36339,
              0.43946,
              0.57329,
              0.82805,
              1.33167
            ],
            [
              0.2547,
              0.29601,
              0.32498,
              0.37122,
              0.44726,
              0.58108,
              0.83585,
              1.34071
            ],
            [
              0.26633,
              0.30765,
              0.33664,
              0.38287,
              0.459,
              0.59285,
              0.84758,
              1.35132
            ],
            [
              0.28357,
              0.3249,
              0.35389,
              0.40011,
              0.47616,
              0.61007,
              0.8647,
              1.37003
            ],
            [
              0.30908,
              0.35043,
              0.37942,
              0.42565,
              0.50177,
              0.63561,
              0.89046,
              1.39526
            ],
            [
              0.34552,
              0.38689,
              0.41586,
              0.46207,
              0.53809,
              0.67215,
              0.92675,
              1.43225
            ],
            [
              0.39621,
              0.43774,
              0.46677,
              0.513,
              0.58914,
              0.72309,
              0.97769,
              1.48289
            ],
            [
              0.46142,
              0.50492,
              0.53502,
              0.58222,
              0.65892,
              0.79332,
              1.04782,
              1.55282
            ],
            [
              0.54307,
              0.58927,
              0.62107,
              0.67037,
              0.74937,
              0.88507,
              1.14027,
              1.64567
            ],
            [
              0.6445,
              0.6942,
              0.7282,
              0.7805,
              0.8625,
              1.0009,
              1.2569,
              1.7612
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06436,
              0.08665,
              0.1034,
              0.13139,
              0.17893,
              0.2631,
              0.4216,
              0.74035
            ],
            [
              0.06435,
              0.08666,
              0.10358,
              0.13155,
              0.17926,
              0.2632,
              0.4216,
              0.74043
            ],
            [
              0.06436,
              0.08666,
              0.10358,
              0.13156,
              0.17892,
              0.26325,
              0.42162,
              0.7402
            ],
            [
              0.06436,
              0.08671,
              0.10344,
              0.1314,
              0.17892,
              0.26327,
              0.42159,
              0.74131
            ],
            [
              0.06436,
              0.08666,
              0.10342,
              0.13156,
              0.17893,
              0.26334,
              0.42156,
              0.74121
            ],
            [
              0.06435,
              0.08668,
              0.1034,
              0.13137,
              0.17922,
              0.26315,
              0.42161,
              0.74063
            ],
            [
              0.06435,
              0.08668,
              0.10345,
              0.13158,
              0.17894,
              0.26335,
              0.42153,
              0.74116
            ],
            [
              0.06437,
              0.08667,
              0.10342,
              0.13161,
              0.17898,
              0.26331,
              0.42133,
              0.74137
            ],
            [
              0.06442,
              0.08673,
              0.10365,
              0.13153,
              0.17941,
              0.26347,
              0.42154,
              0.7414
            ],
            [
              0.06471,
              0.08718,
              0.1038,
              0.13188,
              0.17925,
              0.2636,
              0.4216,
              0.7413
            ],
            [
              0.0669,
              0.0887,
              0.1052,
              0.133,
              0.1805,
              0.2643,
              0.422,
              0.7413
            ],
            [
              0.0743,
              0.096,
              0.1123,
              0.1397,
              0.1856,
              0.268,
              0.4242,
              0.7414
            ],
            [
              0.0844,
              0.1062,
              0.1229,
              0.1503,
              0.1971,
              0.2792,
              0.4331,
              0.7472
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.04847,
              0.07949,
              0.10366,
              0.14756,
              0.23264,
              0.40635,
              0.76524,
              1.49825
            ],
            [
              0.04846,
              0.07949,
              0.10366,
              0.14756,
              0.23285,
              0.40613,
              0.76601,
              1.49949
            ],
            [
              0.04847,
              0.07945,
              0.1037,
              0.14765,
              0.23298,
              0.40639,
              0.76494,
              1.49806
            ],
            [
              0.04847,
              0.07949,
              0.10364,
              0.14768,
              0.233,
              0.40638,
              0.76492,
              1.49813
            ],
            [
              0.04853,
              0.07946,
              0.10369,
              0.14757,
              0.23287,
              0.40623,
              0.7656,
              1.50199
            ],
            [
              0.04847,
              0.07962,
              0.10364,
              0.14758,
              0.23256,
              0.4064,
              0.76544,
              1.49815
            ],
            [
              0.04853,
              0.07962,
              0.10375,
              0.14779,
              0.23287,
              0.40608,
              0.76633,
              1.50216
            ],
            [
              0.04854,
              0.07967,
              0.10379,
              0.14767,
              0.23259,
              0.40635,
              0.76493,
              1.50194
            ],
            [
              0.04861,
              0.07971,
              0.1038,
              0.14779,
              0.2328,
              0.40645,
              0.76624,
              1.5028
            ],
            [
              0.04957,
              0.08047,
              0.10445,
              0.14839,
              0.23293,
              0.40658,
              0.7665,
              1.5028
            ],
            [
              0.05312,
              0.0847,
              0.1085,
              0.1517,
              0.2351,
              0.407,
              0.7669,
              1.5023
            ],
            [
              0.0578,
              0.0911,
              0.1154,
              0.1583,
              0.2409,
              0.4106,
              0.7673,
              1.5016
            ],
            [
              0.0646,
              0.0998,
              0.1247,
              0.1678,
              0.2496,
              0.4168,
              0.7701,
              1.5008
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.50888,
              0.54913,
              0.57744,
              0.62244,
              0.69254,
              0.79957,
              0.9675,
              1.25537
            ],
            [
              0.5118,
              0.55206,
              0.58038,
              0.6254,
              0.69548,
              0.8025,
              0.97034,
              1.25804
            ],
            [
              0.51537,
              0.55562,
              0.58393,
              0.62895,
              0.69903,
              0.80606,
              0.97389,
              1.26172
            ],
            [
              0.52068,
              0.56092,
              0.58925,
              0.63426,
              0.70434,
              0.81137,
              0.97928,
              1.26728
            ],
            [
              0.52872,
              0.56898,
              0.59731,
              0.6423,
              0.71236,
              0.81946,
              0.98731,
              1.27541
            ],
            [
              0.54084,
              0.58109,
              0.60941,
              0.6544,
              0.72446,
              0.83156,
              0.99942,
              1.28752
            ],
            [
              0.55909,
              0.59934,
              0.62765,
              0.67263,
              0.74274,
              0.84977,
              1.01773,
              1.30563
            ],
            [
              0.58585,
              0.6261,
              0.6544,
              0.69938,
              0.76947,
              0.87656,
              1.04436,
              1.33246
            ],
            [
              0.62339,
              0.66364,
              0.69194,
              0.73691,
              0.80695,
              0.91405,
              1.08195,
              1.36975
            ],
            [
              0.67479,
              0.71499,
              0.74329,
              0.78819,
              0.85829,
              0.96539,
              1.13329,
              1.42119
            ],
            [
              0.74422,
              0.78412,
              0.81232,
              0.85712,
              0.92712,
              1.03412,
              1.20212,
              1.49002
            ],
            [
              0.83347,
              0.87297,
              0.90077,
              0.94527,
              1.01497,
              1.12187,
              1.28977,
              1.57737
            ],
            [
              0.9453,
              0.9842,
              1.0116,
              1.0556,
              1.1249,
              1.2314,
              1.3988,
              1.6864
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.42515,
              0.46799,
              0.49812,
              0.54616,
              0.62512,
              0.76477,
              1.03177,
              1.56107
            ],
            [
              0.42784,
              0.47069,
              0.50082,
              0.54887,
              0.62788,
              0.76753,
              1.03454,
              1.56384
            ],
            [
              0.43121,
              0.47405,
              0.50418,
              0.55223,
              0.63119,
              0.77084,
              1.03782,
              1.56712
            ],
            [
              0.43643,
              0.47926,
              0.50938,
              0.55742,
              0.63638,
              0.77602,
              1.04298,
              1.57228
            ],
            [
              0.44419,
              0.48703,
              0.51716,
              0.56521,
              0.64417,
              0.78383,
              1.05081,
              1.58011
            ],
            [
              0.45591,
              0.49876,
              0.52889,
              0.57695,
              0.6559,
              0.79554,
              1.06252,
              1.59182
            ],
            [
              0.4738,
              0.51667,
              0.54682,
              0.59486,
              0.67381,
              0.81346,
              1.08043,
              1.60963
            ],
            [
              0.50083,
              0.54371,
              0.57386,
              0.62191,
              0.70084,
              0.84046,
              1.10746,
              1.63666
            ],
            [
              0.54198,
              0.58485,
              0.615,
              0.66303,
              0.74192,
              0.88145,
              1.14845,
              1.67765
            ],
            [
              0.60317,
              0.64599,
              0.67609,
              0.72409,
              0.80299,
              0.94249,
              1.20949,
              1.73869
            ],
            [
              0.68572,
              0.72842,
              0.75852,
              0.80642,
              0.88522,
              1.02472,
              1.29162,
              1.82092
            ],
            [
              0.78707,
              0.83007,
              0.86017,
              0.90817,
              0.98687,
              1.12637,
              1.39317,
              1.92237
            ],
            [
              0.9057,
              0.9491,
              0.9794,
              1.0276,
              1.1065,
              1.2459,
              1.5127,
              2.0421
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.0646,
              0.08763,
              0.10482,
              0.13398,
              0.18386,
              0.27403,
              0.44387,
              0.78434
            ],
            [
              0.06454,
              0.08748,
              0.10497,
              0.1339,
              0.18384,
              0.27394,
              0.44399,
              0.78483
            ],
            [
              0.06456,
              0.08763,
              0.1048,
              0.13385,
              0.1838,
              0.27415,
              0.4434,
              0.78477
            ],
            [
              0.06452,
              0.08751,
              0.10482,
              0.13399,
              0.18412,
              0.27399,
              0.44401,
              0.78441
            ],
            [
              0.06453,
              0.08749,
              0.10498,
              0.13399,
              0.18412,
              0.27392,
              0.44362,
              0.78451
            ],
            [
              0.06453,
              0.0875,
              0.10496,
              0.13399,
              0.1841,
              0.27392,
              0.44362,
              0.7844
            ],
            [
              0.06448,
              0.08749,
              0.10478,
              0.13394,
              0.1838,
              0.27387,
              0.44404,
              0.7847
            ],
            [
              0.06447,
              0.08743,
              0.10478,
              0.13379,
              0.18373,
              0.27392,
              0.44392,
              0.7837
            ],
            [
              0.06445,
              0.08741,
              0.10488,
              0.13378,
              0.18369,
              0.274,
              0.4439,
              0.7848
            ],
            [
              0.0645,
              0.0875,
              0.1047,
              0.1337,
              0.1837,
              0.2739,
              0.444,
              0.7847
            ],
            [
              0.0646,
              0.0876,
              0.1049,
              0.1337,
              0.1837,
              0.2738,
              0.4436,
              0.7847
            ],
            [
              0.065,
              0.0879,
              0.1055,
              0.1343,
              0.1844,
              0.2741,
              0.4438,
              0.7849
            ],
            [
              0.0659,
              0.0888,
              0.1061,
              0.1351,
              0.1846,
              0.2744,
              0.444,
              0.785
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.04994,
              0.08072,
              0.10465,
              0.14846,
              0.23428,
              0.41131,
              0.77923,
              1.53074
            ],
            [
              0.04993,
              0.08068,
              0.10459,
              0.14844,
              0.23425,
              0.41131,
              0.77933,
              1.53063
            ],
            [
              0.04998,
              0.08068,
              0.10459,
              0.14843,
              0.23428,
              0.41129,
              0.77921,
              1.53082
            ],
            [
              0.04994,
              0.08065,
              0.10466,
              0.14845,
              0.23426,
              0.41125,
              0.77937,
              1.53067
            ],
            [
              0.04991,
              0.08076,
              0.10467,
              0.14856,
              0.23425,
              0.41186,
              0.77882,
              1.53134
            ],
            [
              0.04992,
              0.08065,
              0.10465,
              0.14855,
              0.23452,
              0.41149,
              0.77899,
              1.5267
            ],
            [
              0.0499,
              0.08065,
              0.10465,
              0.14857,
              0.23444,
              0.41179,
              0.77902,
              1.5278
            ],
            [
              0.04991,
              0.08074,
              0.1046,
              0.1484,
              0.23421,
              0.4115,
              0.77916,
              1.5311
            ],
            [
              0.04992,
              0.0806,
              0.10468,
              0.14856,
              0.23453,
              0.41204,
              0.7795,
              1.5284
            ],
            [
              0.04996,
              0.08076,
              0.10456,
              0.1485,
              0.2343,
              0.4123,
              0.7794,
              1.5308
            ],
            [
              0.0501,
              0.0808,
              0.1047,
              0.1487,
              0.2344,
              0.4124,
              0.7792,
              1.5304
            ],
            [
              0.0508,
              0.0816,
              0.1056,
              0.1493,
              0.2348,
              0.4117,
              0.7798,
              1.5271
            ],
            [
              0.0521,
              0.0832,
              0.1073,
              0.151,
              0.2365,
              0.4132,
              0.7825,
              1.5302
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.50902,
              0.54931,
              0.57762,
              0.62262,
              0.69273,
              0.79976,
              0.96774,
              1.25557
            ],
            [
              0.51195,
              0.55223,
              0.58055,
              0.62557,
              0.69566,
              0.80267,
              0.97056,
              1.25844
            ],
            [
              0.51551,
              0.55579,
              0.58411,
              0.62912,
              0.69921,
              0.80625,
              0.97411,
              1.26202
            ],
            [
              0.52082,
              0.5611,
              0.58942,
              0.63443,
              0.70451,
              0.81158,
              0.97947,
              1.26738
            ],
            [
              0.52887,
              0.56915,
              0.59748,
              0.64248,
              0.71255,
              0.81961,
              0.98751,
              1.27551
            ],
            [
              0.54097,
              0.58126,
              0.60958,
              0.65458,
              0.72465,
              0.83172,
              0.99962,
              1.28772
            ],
            [
              0.55923,
              0.5995,
              0.62783,
              0.67281,
              0.74289,
              0.84996,
              1.01783,
              1.30583
            ],
            [
              0.58599,
              0.62627,
              0.65458,
              0.69957,
              0.76965,
              0.87676,
              1.04466,
              1.33276
            ],
            [
              0.62354,
              0.66383,
              0.69214,
              0.73712,
              0.80715,
              0.91425,
              1.08215,
              1.37005
            ],
            [
              0.67499,
              0.71519,
              0.74349,
              0.78849,
              0.85849,
              0.96569,
              1.13359,
              1.42169
            ],
            [
              0.74442,
              0.78442,
              0.81262,
              0.85742,
              0.92742,
              1.03442,
              1.20242,
              1.49052
            ],
            [
              0.83377,
              0.87327,
              0.90107,
              0.94557,
              1.01527,
              1.12217,
              1.29007,
              1.57777
            ],
            [
              0.9456,
              0.9845,
              1.0119,
              1.0559,
              1.1252,
              1.2317,
              1.3992,
              1.6868
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.42494,
              0.46781,
              0.49794,
              0.54599,
              0.62495,
              0.76459,
              1.03157,
              1.56087
            ],
            [
              0.42763,
              0.47051,
              0.50064,
              0.5487,
              0.6277,
              0.76735,
              1.03434,
              1.56364
            ],
            [
              0.43099,
              0.47386,
              0.504,
              0.55205,
              0.63102,
              0.77066,
              1.03762,
              1.56692
            ],
            [
              0.43622,
              0.47908,
              0.50921,
              0.55725,
              0.63621,
              0.77585,
              1.04278,
              1.57218
            ],
            [
              0.44398,
              0.48684,
              0.51698,
              0.56503,
              0.644,
              0.78365,
              1.05071,
              1.57991
            ],
            [
              0.4557,
              0.49858,
              0.52872,
              0.57678,
              0.65572,
              0.79537,
              1.06232,
              1.59162
            ],
            [
              0.47359,
              0.51649,
              0.54664,
              0.59469,
              0.67363,
              0.81328,
              1.08023,
              1.60943
            ],
            [
              0.50062,
              0.54353,
              0.57368,
              0.62174,
              0.70067,
              0.84026,
              1.10726,
              1.63656
            ],
            [
              0.54177,
              0.58467,
              0.61483,
              0.66286,
              0.74175,
              0.88135,
              1.14825,
              1.67755
            ],
            [
              0.60296,
              0.64579,
              0.67599,
              0.72389,
              0.80279,
              0.94239,
              1.20939,
              1.73849
            ],
            [
              0.68542,
              0.72822,
              0.75832,
              0.80622,
              0.88502,
              1.02452,
              1.29142,
              1.82072
            ],
            [
              0.78687,
              0.82977,
              0.85987,
              0.90787,
              0.98667,
              1.12607,
              1.39287,
              1.92207
            ],
            [
              0.9055,
              0.9488,
              0.9792,
              1.0274,
              1.1063,
              1.2457,
              1.5124,
              2.0418
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06457,
              0.08753,
              0.10485,
              0.13401,
              0.18389,
              0.27395,
              0.44413,
              0.78435
            ],
            [
              0.06457,
              0.08752,
              0.10487,
              0.1339,
              0.18383,
              0.27442,
              0.44409,
              0.78486
            ],
            [
              0.06456,
              0.08767,
              0.10481,
              0.13385,
              0.18415,
              0.27395,
              0.44413,
              0.78477
            ],
            [
              0.06455,
              0.08754,
              0.10484,
              0.13384,
              0.18416,
              0.27405,
              0.44361,
              0.78471
            ],
            [
              0.06455,
              0.08751,
              0.10501,
              0.13404,
              0.18387,
              0.27408,
              0.44374,
              0.78443
            ],
            [
              0.06455,
              0.08752,
              0.10499,
              0.13403,
              0.18387,
              0.27408,
              0.44374,
              0.78479
            ],
            [
              0.06452,
              0.08763,
              0.10499,
              0.13397,
              0.18411,
              0.27398,
              0.44396,
              0.7844
            ],
            [
              0.06451,
              0.08746,
              0.10493,
              0.13383,
              0.18376,
              0.27386,
              0.44402,
              0.7837
            ],
            [
              0.06449,
              0.08743,
              0.10491,
              0.1338,
              0.18371,
              0.2743,
              0.444,
              0.7848
            ],
            [
              0.0645,
              0.0875,
              0.1048,
              0.1338,
              0.1838,
              0.2743,
              0.4434,
              0.7846
            ],
            [
              0.0647,
              0.0876,
              0.1049,
              0.1338,
              0.1838,
              0.2738,
              0.4437,
              0.7841
            ],
            [
              0.065,
              0.088,
              0.1055,
              0.1344,
              0.1844,
              0.2742,
              0.4437,
              0.7849
            ],
            [
              0.0659,
              0.0889,
              0.1061,
              0.1351,
              0.1846,
              0.2745,
              0.444,
              0.785
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.0499,
              0.0807,
              0.10468,
              0.14848,
              0.23427,
              0.41219,
              0.77931,
              1.53062
            ],
            [
              0.05,
              0.08069,
              0.10461,
              0.14846,
              0.23424,
              0.4122,
              0.77942,
              1.53062
            ],
            [
              0.04994,
              0.0807,
              0.1046,
              0.14846,
              0.23428,
              0.41217,
              0.77939,
              1.5307
            ],
            [
              0.05,
              0.0808,
              0.10468,
              0.14848,
              0.23426,
              0.41224,
              0.77945,
              1.52984
            ],
            [
              0.04997,
              0.08072,
              0.10464,
              0.14857,
              0.23422,
              0.41174,
              0.7791,
              1.53154
            ],
            [
              0.04998,
              0.0808,
              0.10468,
              0.14856,
              0.23453,
              0.41157,
              0.77907,
              1.5267
            ],
            [
              0.04992,
              0.08066,
              0.10465,
              0.14857,
              0.2344,
              0.41177,
              0.77891,
              1.5277
            ],
            [
              0.04994,
              0.08071,
              0.10461,
              0.14841,
              0.23431,
              0.41157,
              0.77924,
              1.5308
            ],
            [
              0.04992,
              0.0806,
              0.10468,
              0.14856,
              0.23451,
              0.41169,
              0.7793,
              1.5282
            ],
            [
              0.04996,
              0.08075,
              0.10464,
              0.1486,
              0.2345,
              0.411,
              0.7787,
              1.5311
            ],
            [
              0.0501,
              0.0808,
              0.1048,
              0.1486,
              0.2342,
              0.4113,
              0.7793,
              1.5307
            ],
            [
              0.0508,
              0.0815,
              0.1055,
              0.1493,
              0.2348,
              0.412,
              0.7798,
              1.527
            ],
            [
              0.0521,
              0.0832,
              0.1073,
              0.151,
              0.2364,
              0.4132,
              0.7803,
              1.5302
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.34557,
              0.38516,
              0.4122,
              0.45341,
              0.51535,
              0.61019,
              0.76297,
              1.02937
            ],
            [
              0.34827,
              0.38783,
              0.41488,
              0.45608,
              0.51803,
              0.61285,
              0.76563,
              1.03194
            ],
            [
              0.35159,
              0.39115,
              0.4182,
              0.4594,
              0.52133,
              0.61618,
              0.76896,
              1.03532
            ],
            [
              0.35675,
              0.3963,
              0.42335,
              0.46457,
              0.52651,
              0.62135,
              0.77417,
              1.04048
            ],
            [
              0.36448,
              0.40404,
              0.43108,
              0.47229,
              0.53424,
              0.62909,
              0.78189,
              1.04821
            ],
            [
              0.37617,
              0.41574,
              0.44276,
              0.48397,
              0.54593,
              0.64079,
              0.7936,
              1.05982
            ],
            [
              0.39404,
              0.43358,
              0.46061,
              0.50181,
              0.56378,
              0.65863,
              0.81144,
              1.07783
            ],
            [
              0.42062,
              0.46014,
              0.48717,
              0.52835,
              0.59034,
              0.68522,
              0.83806,
              1.10446
            ],
            [
              0.46067,
              0.50033,
              0.52732,
              0.56848,
              0.63031,
              0.72526,
              0.87815,
              1.14455
            ],
            [
              0.51932,
              0.55881,
              0.58579,
              0.62696,
              0.68899,
              0.78399,
              0.93699,
              1.20339
            ],
            [
              0.60162,
              0.64132,
              0.66842,
              0.70972,
              0.77192,
              0.86712,
              1.02022,
              1.28682
            ],
            [
              0.70357,
              0.74537,
              0.77357,
              0.81637,
              0.88007,
              0.97657,
              1.13047,
              1.39747
            ],
            [
              0.8228,
              0.8671,
              0.8971,
              0.9422,
              1.0093,
              1.1099,
              1.2678,
              1.5366
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.23514,
              0.27644,
              0.3054,
              0.35162,
              0.42767,
              0.56146,
              0.81617,
              1.31977
            ],
            [
              0.23806,
              0.27934,
              0.3083,
              0.35452,
              0.43051,
              0.56437,
              0.81893,
              1.32414
            ],
            [
              0.24157,
              0.28287,
              0.31184,
              0.35806,
              0.43408,
              0.56786,
              0.82256,
              1.32652
            ],
            [
              0.24677,
              0.28807,
              0.31703,
              0.36322,
              0.43933,
              0.57313,
              0.82776,
              1.33148
            ],
            [
              0.25459,
              0.29589,
              0.32485,
              0.37107,
              0.44715,
              0.58095,
              0.83567,
              1.34001
            ],
            [
              0.26622,
              0.30753,
              0.3365,
              0.38272,
              0.4588,
              0.5926,
              0.84733,
              1.35102
            ],
            [
              0.28347,
              0.32478,
              0.35375,
              0.39997,
              0.47603,
              0.6099,
              0.86441,
              1.36943
            ],
            [
              0.30899,
              0.35032,
              0.3793,
              0.42551,
              0.50161,
              0.63541,
              0.89016,
              1.39506
            ],
            [
              0.34545,
              0.3868,
              0.41577,
              0.46196,
              0.53797,
              0.672,
              0.92655,
              1.43055
            ],
            [
              0.39618,
              0.4377,
              0.46672,
              0.51294,
              0.589,
              0.72299,
              0.97749,
              1.48369
            ],
            [
              0.46142,
              0.50492,
              0.53502,
              0.58222,
              0.65892,
              0.79332,
              1.04782,
              1.55282
            ],
            [
              0.54307,
              0.58927,
              0.62107,
              0.67047,
              0.74937,
              0.88507,
              1.14037,
              1.64567
            ],
            [
              0.6446,
              0.6943,
              0.7283,
              0.7806,
              0.8625,
              1.001,
              1.2569,
              1.7611
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.06433,
              0.08663,
              0.1034,
              0.13145,
              0.17889,
              0.26306,
              0.42153,
              0.74052
            ],
            [
              0.06432,
              0.08664,
              0.10354,
              0.13153,
              0.1789,
              0.26305,
              0.42158,
              0.74063
            ],
            [
              0.06432,
              0.08663,
              0.10355,
              0.13154,
              0.17889,
              0.26317,
              0.42153,
              0.7404
            ],
            [
              0.06433,
              0.08668,
              0.10356,
              0.13153,
              0.17924,
              0.26329,
              0.4215,
              0.74133
            ],
            [
              0.06433,
              0.08665,
              0.10339,
              0.13154,
              0.17924,
              0.26305,
              0.42158,
              0.74112
            ],
            [
              0.06434,
              0.08666,
              0.10335,
              0.13135,
              0.17921,
              0.2635,
              0.42146,
              0.74134
            ],
            [
              0.06432,
              0.08665,
              0.10341,
              0.13155,
              0.17892,
              0.26318,
              0.42159,
              0.74023
            ],
            [
              0.06434,
              0.08664,
              0.10357,
              0.13159,
              0.17899,
              0.26309,
              0.42158,
              0.74042
            ],
            [
              0.06439,
              0.08685,
              0.10349,
              0.13168,
              0.17939,
              0.26341,
              0.42159,
              0.7407
            ],
            [
              0.06468,
              0.08701,
              0.10396,
              0.13184,
              0.17923,
              0.2635,
              0.4216,
              0.7408
            ],
            [
              0.0669,
              0.0887,
              0.1052,
              0.1329,
              0.1804,
              0.2639,
              0.422,
              0.7415
            ],
            [
              0.0743,
              0.096,
              0.1124,
              0.1397,
              0.1856,
              0.2677,
              0.4241,
              0.7417
            ],
            [
              0.0845,
              0.1062,
              0.1229,
              0.1503,
              0.1971,
              0.2792,
              0.4331,
              0.7471
            ]
          ]
        },
        "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.00769,
            0.01538,
            0.03077,
            0.06154,
            0.12308,
            0.24615,
            0.49229
          ],
          "values": [
            [
              0.04843,
              0.0794,
              0.10363,
              0.14757,
              0.2329,
              0.40634,
              0.76513,
              1.4981
            ],
            [
              0.04842,
              0.07947,
              0.10369,
              0.14784,
              0.23278,
              0.40593,
              0.76619,
              1.50228
            ],
            [
              0.04844,
              0.07944,
              0.10362,
              0.14751,
              0.23282,
              0.40613,
              0.76573,
              1.49841
            ],
            [
              0.04844,
              0.0794,
              0.1037,
              0.14751,
              0.23252,
              0.40636,
              0.76574,
              1.50088
            ],
            [
              0.04854,
              0.07942,
              0.10366,
              0.14752,
              0.23258,
              0.40629,
              0.7654,
              1.50207
            ],
            [
              0.04845,
              0.07948,
              0.10359,
              0.14752,
              0.23257,
              0.40628,
              0.76503,
              1.49829
            ],
            [
              0.04849,
              0.07957,
              0.10369,
              0.14753,
              0.2325,
              0.40586,
              0.76641,
              1.50081
            ],
            [
              0.04851,
              0.07964,
              0.10374,
              0.14762,
              0.23259,
              0.4063,
              0.7652,
              1.50216
            ],
            [
              0.04859,
              0.07969,
              0.10376,
              0.14774,
              0.23274,
              0.40637,
              0.76618,
              1.4993
            ],
            [
              0.04955,
              0.08033,
              0.10442,
              0.14834,
              0.23321,
              0.40654,
              0.7666,
              1.5022
            ],
            [
              0.05309,
              0.0846,
              0.1084,
              0.1515,
              0.2352,
              0.4075,
              0.7669,
              1.5011
            ],
            [
              0.0579,
              0.0909,
              0.1153,
              0.1583,
              0.2408,
              0.4103,
              0.7666,
              1.501
            ],
            [
              0.0646,
              0.0998,
              0.1247,
              0.1677,
              0.2496,
              0.4168,
              0.77,
              1.5009
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}