{
  "area": 51.1488,
  "cell_footprint": "sky130_fd_sc_ls__fah",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00538,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00784,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00267,
    "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.10221,
              0.11164,
              0.12149,
              0.14138,
              0.18118,
              0.26006,
              0.41628,
              0.72791
            ],
            [
              0.10211,
              0.11153,
              0.12138,
              0.14127,
              0.18108,
              0.25972,
              0.41608,
              0.72745
            ],
            [
              0.10197,
              0.11141,
              0.12127,
              0.14115,
              0.18097,
              0.25972,
              0.41603,
              0.72755
            ],
            [
              0.10182,
              0.11126,
              0.12111,
              0.14097,
              0.18081,
              0.25951,
              0.41591,
              0.72749
            ],
            [
              0.10166,
              0.11109,
              0.12095,
              0.14083,
              0.18064,
              0.25935,
              0.41565,
              0.72734
            ],
            [
              0.10146,
              0.1109,
              0.12077,
              0.14064,
              0.18046,
              0.25921,
              0.41562,
              0.72762
            ],
            [
              0.1013,
              0.11072,
              0.12057,
              0.14046,
              0.18025,
              0.25898,
              0.41524,
              0.72656
            ],
            [
              0.10113,
              0.11055,
              0.12039,
              0.1403,
              0.18007,
              0.25879,
              0.41497,
              0.72697
            ],
            [
              0.10098,
              0.11039,
              0.12025,
              0.14014,
              0.17995,
              0.25874,
              0.41488,
              0.72728
            ],
            [
              0.10095,
              0.11035,
              0.12021,
              0.14012,
              0.17991,
              0.25851,
              0.41506,
              0.72643
            ],
            [
              0.10105,
              0.11045,
              0.12028,
              0.14019,
              0.17992,
              0.25862,
              0.41467,
              0.7264
            ],
            [
              0.10151,
              0.11089,
              0.12071,
              0.14061,
              0.18039,
              0.25914,
              0.41555,
              0.72777
            ],
            [
              0.10247,
              0.1119,
              0.12172,
              0.14154,
              0.18125,
              0.25992,
              0.41645,
              0.72804
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.08833,
              0.09461,
              0.1015,
              0.1156,
              0.14387,
              0.19952,
              0.30971,
              0.52866
            ],
            [
              0.08819,
              0.09447,
              0.10135,
              0.11545,
              0.14375,
              0.19941,
              0.30977,
              0.52809
            ],
            [
              0.088,
              0.09427,
              0.10116,
              0.11525,
              0.14353,
              0.19925,
              0.30937,
              0.52888
            ],
            [
              0.08784,
              0.09411,
              0.10101,
              0.1151,
              0.14338,
              0.19913,
              0.30948,
              0.52861
            ],
            [
              0.08761,
              0.0939,
              0.10079,
              0.1149,
              0.14317,
              0.19887,
              0.30895,
              0.52853
            ],
            [
              0.08738,
              0.09366,
              0.10055,
              0.11465,
              0.14292,
              0.19863,
              0.30898,
              0.52771
            ],
            [
              0.0871,
              0.09339,
              0.10028,
              0.11438,
              0.14269,
              0.19834,
              0.30875,
              0.52748
            ],
            [
              0.08685,
              0.09311,
              0.1,
              0.1141,
              0.14241,
              0.19807,
              0.30829,
              0.52737
            ],
            [
              0.08657,
              0.09284,
              0.09973,
              0.11383,
              0.14212,
              0.19782,
              0.30794,
              0.52747
            ],
            [
              0.08636,
              0.09262,
              0.09951,
              0.11362,
              0.14193,
              0.19757,
              0.30806,
              0.52664
            ],
            [
              0.0863,
              0.09256,
              0.09946,
              0.11358,
              0.14192,
              0.19771,
              0.30769,
              0.52684
            ],
            [
              0.08654,
              0.0928,
              0.09969,
              0.11383,
              0.14217,
              0.19793,
              0.30815,
              0.52686
            ],
            [
              0.08727,
              0.09353,
              0.10043,
              0.11457,
              0.14294,
              0.19871,
              0.30887,
              0.52781
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.09718,
              0.10662,
              0.11646,
              0.13634,
              0.17606,
              0.25484,
              0.4113,
              0.72237
            ],
            [
              0.09707,
              0.10652,
              0.11635,
              0.13624,
              0.17596,
              0.25468,
              0.41111,
              0.72294
            ],
            [
              0.09697,
              0.1064,
              0.11625,
              0.13614,
              0.17586,
              0.25451,
              0.41073,
              0.72263
            ],
            [
              0.09688,
              0.10632,
              0.11616,
              0.13606,
              0.17582,
              0.25443,
              0.41107,
              0.72249
            ],
            [
              0.0967,
              0.10616,
              0.11599,
              0.13589,
              0.1756,
              0.25432,
              0.41056,
              0.72265
            ],
            [
              0.0966,
              0.10605,
              0.11588,
              0.13579,
              0.17551,
              0.25411,
              0.41043,
              0.72231
            ],
            [
              0.09652,
              0.10595,
              0.11581,
              0.13568,
              0.17539,
              0.25419,
              0.41006,
              0.72267
            ],
            [
              0.09648,
              0.10591,
              0.11576,
              0.13565,
              0.17538,
              0.25403,
              0.41054,
              0.72202
            ],
            [
              0.09655,
              0.10599,
              0.11583,
              0.13572,
              0.1754,
              0.25408,
              0.41078,
              0.72223
            ],
            [
              0.09676,
              0.10621,
              0.11603,
              0.13591,
              0.17559,
              0.25423,
              0.41059,
              0.72217
            ],
            [
              0.09715,
              0.10659,
              0.11641,
              0.13627,
              0.17588,
              0.25453,
              0.41088,
              0.72218
            ],
            [
              0.09784,
              0.10725,
              0.11706,
              0.13689,
              0.17649,
              0.25505,
              0.41145,
              0.72366
            ],
            [
              0.09911,
              0.10845,
              0.11819,
              0.13793,
              0.17746,
              0.25592,
              0.41204,
              0.72463
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.07502,
              0.08129,
              0.08816,
              0.10228,
              0.13056,
              0.18632,
              0.29656,
              0.51576
            ],
            [
              0.07502,
              0.08128,
              0.08816,
              0.10229,
              0.13058,
              0.1863,
              0.29628,
              0.5162
            ],
            [
              0.07496,
              0.08123,
              0.08811,
              0.10221,
              0.1305,
              0.18627,
              0.29624,
              0.5159
            ],
            [
              0.07495,
              0.08119,
              0.08809,
              0.10219,
              0.13048,
              0.1862,
              0.29627,
              0.51517
            ],
            [
              0.07487,
              0.08115,
              0.08803,
              0.10213,
              0.13044,
              0.18614,
              0.29618,
              0.51597
            ],
            [
              0.07487,
              0.0811,
              0.08799,
              0.1021,
              0.13038,
              0.18614,
              0.29607,
              0.51493
            ],
            [
              0.07481,
              0.08107,
              0.08796,
              0.10205,
              0.13035,
              0.18603,
              0.29644,
              0.51561
            ],
            [
              0.0748,
              0.08107,
              0.08793,
              0.10204,
              0.13034,
              0.18607,
              0.29624,
              0.51541
            ],
            [
              0.07488,
              0.08113,
              0.08801,
              0.1021,
              0.13037,
              0.18606,
              0.2961,
              0.51556
            ],
            [
              0.07508,
              0.08135,
              0.08821,
              0.1023,
              0.13053,
              0.18619,
              0.29655,
              0.51542
            ],
            [
              0.0755,
              0.08178,
              0.08865,
              0.10273,
              0.13094,
              0.18651,
              0.2967,
              0.51564
            ],
            [
              0.07628,
              0.08255,
              0.08942,
              0.10347,
              0.13161,
              0.18716,
              0.29733,
              0.51608
            ],
            [
              0.07765,
              0.08393,
              0.09078,
              0.10479,
              0.13286,
              0.18839,
              0.29852,
              0.51782
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.07635,
              0.08566,
              0.09544,
              0.11545,
              0.15526,
              0.23428,
              0.39135,
              0.70249
            ],
            [
              0.07633,
              0.08561,
              0.0954,
              0.11541,
              0.15522,
              0.23429,
              0.39148,
              0.70321
            ],
            [
              0.07627,
              0.08559,
              0.09537,
              0.11538,
              0.15519,
              0.23448,
              0.39125,
              0.70253
            ],
            [
              0.07622,
              0.08553,
              0.09532,
              0.1153,
              0.15514,
              0.23435,
              0.39102,
              0.7034
            ],
            [
              0.07622,
              0.0855,
              0.09531,
              0.11531,
              0.1551,
              0.23431,
              0.39092,
              0.70244
            ],
            [
              0.07618,
              0.08547,
              0.09526,
              0.11523,
              0.15506,
              0.23417,
              0.39104,
              0.70249
            ],
            [
              0.07614,
              0.08542,
              0.09523,
              0.11516,
              0.15501,
              0.2342,
              0.39087,
              0.70325
            ],
            [
              0.07608,
              0.08538,
              0.09518,
              0.1151,
              0.15492,
              0.23412,
              0.39052,
              0.70289
            ],
            [
              0.07602,
              0.08532,
              0.0951,
              0.115,
              0.1548,
              0.23395,
              0.39081,
              0.70294
            ],
            [
              0.07592,
              0.08521,
              0.09498,
              0.11484,
              0.15467,
              0.23376,
              0.39058,
              0.702
            ],
            [
              0.07592,
              0.08515,
              0.0949,
              0.11475,
              0.15443,
              0.23343,
              0.39008,
              0.70224
            ],
            [
              0.0762,
              0.08535,
              0.09502,
              0.11475,
              0.15431,
              0.2331,
              0.39031,
              0.70193
            ],
            [
              0.07707,
              0.08598,
              0.09552,
              0.1151,
              0.15441,
              0.23324,
              0.38972,
              0.70138
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.07144,
              0.07774,
              0.08464,
              0.09885,
              0.12746,
              0.18367,
              0.29363,
              0.51261
            ],
            [
              0.0714,
              0.07771,
              0.08461,
              0.09882,
              0.12742,
              0.18363,
              0.29358,
              0.51248
            ],
            [
              0.07137,
              0.07767,
              0.08458,
              0.09879,
              0.12739,
              0.18362,
              0.29354,
              0.51286
            ],
            [
              0.07133,
              0.07761,
              0.08454,
              0.09875,
              0.12736,
              0.18356,
              0.29342,
              0.51228
            ],
            [
              0.07126,
              0.07755,
              0.08447,
              0.09868,
              0.12729,
              0.18354,
              0.2934,
              0.51227
            ],
            [
              0.0712,
              0.07751,
              0.0844,
              0.09862,
              0.12721,
              0.18349,
              0.29338,
              0.5122
            ],
            [
              0.07111,
              0.07741,
              0.08431,
              0.09852,
              0.1271,
              0.18334,
              0.29327,
              0.51226
            ],
            [
              0.07099,
              0.07728,
              0.08418,
              0.09839,
              0.12699,
              0.18322,
              0.29312,
              0.51196
            ],
            [
              0.07081,
              0.07709,
              0.084,
              0.09821,
              0.12677,
              0.18298,
              0.29289,
              0.51201
            ],
            [
              0.07069,
              0.07698,
              0.08387,
              0.09805,
              0.12659,
              0.18276,
              0.29265,
              0.51168
            ],
            [
              0.07065,
              0.07689,
              0.08376,
              0.09791,
              0.12637,
              0.18247,
              0.29243,
              0.51161
            ],
            [
              0.0707,
              0.07691,
              0.08373,
              0.09777,
              0.12617,
              0.18216,
              0.29207,
              0.51078
            ],
            [
              0.07103,
              0.07714,
              0.0839,
              0.0979,
              0.12619,
              0.18207,
              0.29191,
              0.51079
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.21983,
    "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.63125,
              0.6679,
              0.6939,
              0.73354,
              0.79261,
              0.88169,
              1.02287,
              1.26547
            ],
            [
              0.63405,
              0.6707,
              0.6967,
              0.73635,
              0.79541,
              0.88448,
              1.02564,
              1.26834
            ],
            [
              0.63745,
              0.67411,
              0.70011,
              0.73975,
              0.79881,
              0.88788,
              1.02902,
              1.27172
            ],
            [
              0.64265,
              0.67929,
              0.7053,
              0.74494,
              0.804,
              0.89307,
              1.03428,
              1.27688
            ],
            [
              0.6508,
              0.68745,
              0.71345,
              0.7531,
              0.81215,
              0.90123,
              1.04241,
              1.28501
            ],
            [
              0.66326,
              0.69991,
              0.72591,
              0.76556,
              0.82461,
              0.91369,
              1.05492,
              1.29752
            ],
            [
              0.68234,
              0.71899,
              0.74499,
              0.78463,
              0.84369,
              0.93273,
              1.07393,
              1.31653
            ],
            [
              0.71063,
              0.74728,
              0.77328,
              0.81292,
              0.87196,
              0.96106,
              1.10226,
              1.34486
            ],
            [
              0.75004,
              0.78665,
              0.81265,
              0.85235,
              0.91135,
              1.00045,
              1.14165,
              1.38435
            ],
            [
              0.80179,
              0.83839,
              0.86439,
              0.90409,
              0.96319,
              1.05219,
              1.19349,
              1.43599
            ],
            [
              0.86552,
              0.90202,
              0.92802,
              0.96772,
              1.02692,
              1.11612,
              1.25742,
              1.50002
            ],
            [
              0.93657,
              0.97287,
              0.99877,
              1.03857,
              1.09787,
              1.18727,
              1.32877,
              1.57157
            ],
            [
              1.0097,
              1.0457,
              1.0715,
              1.1111,
              1.1704,
              1.2599,
              1.4016,
              1.6446
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.57212,
              0.61283,
              0.64304,
              0.69199,
              0.77284,
              0.9144,
              1.18227,
              1.71267
            ],
            [
              0.57507,
              0.61578,
              0.64599,
              0.69494,
              0.77579,
              0.91735,
              1.18524,
              1.71574
            ],
            [
              0.57872,
              0.61943,
              0.64963,
              0.6986,
              0.77944,
              0.92099,
              1.18892,
              1.71952
            ],
            [
              0.58422,
              0.62494,
              0.65514,
              0.7041,
              0.78495,
              0.92649,
              1.19437,
              1.72498
            ],
            [
              0.59254,
              0.63326,
              0.66346,
              0.71242,
              0.79326,
              0.93482,
              1.20271,
              1.73321
            ],
            [
              0.60525,
              0.64597,
              0.67616,
              0.72513,
              0.80597,
              0.94752,
              1.21542,
              1.74592
            ],
            [
              0.62412,
              0.66484,
              0.69504,
              0.744,
              0.82484,
              0.96643,
              1.23433,
              1.76483
            ],
            [
              0.6506,
              0.69131,
              0.72151,
              0.77048,
              0.85136,
              0.99286,
              1.26076,
              1.79136
            ],
            [
              0.68565,
              0.72635,
              0.75655,
              0.80555,
              0.88635,
              1.02785,
              1.29565,
              1.82625
            ],
            [
              0.73139,
              0.77209,
              0.80229,
              0.85119,
              0.93209,
              1.07359,
              1.34129,
              1.87189
            ],
            [
              0.78992,
              0.83062,
              0.86072,
              0.90972,
              0.99052,
              1.13202,
              1.39962,
              1.93012
            ],
            [
              0.86277,
              0.90337,
              0.93357,
              0.98247,
              1.06327,
              1.20467,
              1.47227,
              2.00287
            ],
            [
              0.9513,
              0.9919,
              1.022,
              1.0709,
              1.1518,
              1.2931,
              1.5605,
              2.0908
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.07035,
              0.09142,
              0.10699,
              0.13216,
              0.17449,
              0.25026,
              0.39209,
              0.6786
            ],
            [
              0.07049,
              0.09142,
              0.10698,
              0.13218,
              0.17452,
              0.25013,
              0.39198,
              0.67846
            ],
            [
              0.07035,
              0.09142,
              0.10698,
              0.13218,
              0.17452,
              0.25011,
              0.39195,
              0.67844
            ],
            [
              0.07048,
              0.09142,
              0.10698,
              0.13218,
              0.17452,
              0.25007,
              0.39202,
              0.6785
            ],
            [
              0.07049,
              0.09142,
              0.10698,
              0.13217,
              0.17451,
              0.25015,
              0.39199,
              0.6785
            ],
            [
              0.07048,
              0.09142,
              0.10699,
              0.13218,
              0.17452,
              0.2501,
              0.39195,
              0.6784
            ],
            [
              0.07034,
              0.09141,
              0.10699,
              0.13216,
              0.17453,
              0.25013,
              0.39207,
              0.6786
            ],
            [
              0.07035,
              0.09142,
              0.10699,
              0.13216,
              0.17446,
              0.25026,
              0.3922,
              0.6786
            ],
            [
              0.0704,
              0.09142,
              0.107,
              0.1321,
              0.1745,
              0.2499,
              0.3919,
              0.6781
            ],
            [
              0.0703,
              0.0914,
              0.1069,
              0.1322,
              0.1748,
              0.2498,
              0.3919,
              0.6789
            ],
            [
              0.0702,
              0.0913,
              0.1069,
              0.1321,
              0.1748,
              0.25,
              0.3917,
              0.679
            ],
            [
              0.0698,
              0.091,
              0.1066,
              0.1322,
              0.1746,
              0.2502,
              0.3921,
              0.6789
            ],
            [
              0.0691,
              0.0903,
              0.1059,
              0.1315,
              0.1746,
              0.2503,
              0.3925,
              0.6787
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.06347,
              0.09278,
              0.11746,
              0.16276,
              0.2499,
              0.42695,
              0.79482,
              1.5388
            ],
            [
              0.06339,
              0.09281,
              0.11748,
              0.16278,
              0.24989,
              0.42757,
              0.79494,
              1.5389
            ],
            [
              0.0634,
              0.09289,
              0.11751,
              0.16272,
              0.24981,
              0.42708,
              0.79426,
              1.5396
            ],
            [
              0.0634,
              0.09287,
              0.11751,
              0.16275,
              0.24979,
              0.42722,
              0.79421,
              1.5398
            ],
            [
              0.06342,
              0.09285,
              0.11746,
              0.16268,
              0.2499,
              0.42687,
              0.79413,
              1.5387
            ],
            [
              0.06348,
              0.09282,
              0.11745,
              0.1627,
              0.24993,
              0.42698,
              0.79443,
              1.5384
            ],
            [
              0.06341,
              0.09286,
              0.11746,
              0.16267,
              0.24986,
              0.42691,
              0.79426,
              1.5392
            ],
            [
              0.06339,
              0.09288,
              0.1175,
              0.16269,
              0.24977,
              0.42683,
              0.7944,
              1.5394
            ],
            [
              0.06334,
              0.09277,
              0.11743,
              0.16266,
              0.2499,
              0.4273,
              0.7951,
              1.5395
            ],
            [
              0.0632,
              0.0928,
              0.1174,
              0.1626,
              0.2497,
              0.4271,
              0.7943,
              1.5398
            ],
            [
              0.063,
              0.0926,
              0.1173,
              0.1625,
              0.2495,
              0.4268,
              0.7944,
              1.5394
            ],
            [
              0.0627,
              0.0926,
              0.1172,
              0.1624,
              0.2493,
              0.4264,
              0.7939,
              1.5398
            ],
            [
              0.0626,
              0.0921,
              0.117,
              0.1622,
              0.2492,
              0.426,
              0.7947,
              1.5399
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.65781,
              0.69797,
              0.72642,
              0.7697,
              0.83397,
              0.93011,
              1.08077,
              1.33597
            ],
            [
              0.66062,
              0.70078,
              0.72923,
              0.77251,
              0.8368,
              0.93296,
              1.08364,
              1.33884
            ],
            [
              0.66403,
              0.70419,
              0.73265,
              0.77594,
              0.84019,
              0.93634,
              1.08702,
              1.34212
            ],
            [
              0.66924,
              0.70939,
              0.73784,
              0.78112,
              0.8454,
              0.94154,
              1.09228,
              1.34737
            ],
            [
              0.6774,
              0.71755,
              0.746,
              0.78929,
              0.85355,
              0.9497,
              1.10041,
              1.35551
            ],
            [
              0.68985,
              0.73001,
              0.75846,
              0.80174,
              0.86601,
              0.96212,
              1.11282,
              1.36802
            ],
            [
              0.70889,
              0.74903,
              0.77749,
              0.8208,
              0.88505,
              0.98123,
              1.13193,
              1.38693
            ],
            [
              0.73711,
              0.77727,
              0.80572,
              0.84896,
              0.91326,
              1.00946,
              1.16006,
              1.41526
            ],
            [
              0.77665,
              0.81685,
              0.84525,
              0.88855,
              0.95285,
              1.04895,
              1.19965,
              1.45485
            ],
            [
              0.82939,
              0.86949,
              0.89789,
              0.94129,
              1.00549,
              1.10169,
              1.25239,
              1.50759
            ],
            [
              0.89542,
              0.93552,
              0.96392,
              1.00722,
              1.07152,
              1.16782,
              1.31852,
              1.57362
            ],
            [
              0.96967,
              1.00947,
              1.03777,
              1.08107,
              1.14547,
              1.24187,
              1.39277,
              1.64797
            ],
            [
              1.0447,
              1.084,
              1.1121,
              1.1551,
              1.2194,
              1.3159,
              1.467,
              1.7221
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.57826,
              0.61803,
              0.64738,
              0.69491,
              0.77339,
              0.91064,
              1.16847,
              1.67427
            ],
            [
              0.58127,
              0.62104,
              0.65039,
              0.69792,
              0.7764,
              0.91365,
              1.17144,
              1.67734
            ],
            [
              0.58488,
              0.62464,
              0.654,
              0.70153,
              0.78001,
              0.91725,
              1.17502,
              1.68102
            ],
            [
              0.59039,
              0.63016,
              0.65951,
              0.70703,
              0.78551,
              0.92276,
              1.18048,
              1.68647
            ],
            [
              0.5987,
              0.63846,
              0.66782,
              0.71534,
              0.79382,
              0.93106,
              1.18891,
              1.69471
            ],
            [
              0.6114,
              0.65116,
              0.68052,
              0.72805,
              0.80653,
              0.94382,
              1.20152,
              1.70752
            ],
            [
              0.63031,
              0.67007,
              0.69943,
              0.74696,
              0.82544,
              0.96273,
              1.22043,
              1.72633
            ],
            [
              0.65694,
              0.6967,
              0.72606,
              0.77358,
              0.85206,
              0.98926,
              1.24716,
              1.75296
            ],
            [
              0.69237,
              0.7321,
              0.76145,
              0.80895,
              0.88745,
              1.02465,
              1.28255,
              1.78845
            ],
            [
              0.73839,
              0.77809,
              0.80739,
              0.85489,
              0.93339,
              1.07069,
              1.32859,
              1.83439
            ],
            [
              0.79682,
              0.83642,
              0.86572,
              0.91322,
              0.99172,
              1.12902,
              1.38682,
              1.89272
            ],
            [
              0.86917,
              0.90877,
              0.93797,
              0.98547,
              1.06387,
              1.20117,
              1.45917,
              1.96507
            ],
            [
              0.9576,
              0.997,
              1.0263,
              1.0737,
              1.1521,
              1.2894,
              1.5473,
              2.0534
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.07938,
              0.10235,
              0.11906,
              0.1462,
              0.1913,
              0.27025,
              0.41694,
              0.7099
            ],
            [
              0.07932,
              0.10232,
              0.11908,
              0.14618,
              0.19122,
              0.27007,
              0.4163,
              0.7094
            ],
            [
              0.07924,
              0.10237,
              0.11908,
              0.14618,
              0.19127,
              0.26959,
              0.41706,
              0.71
            ],
            [
              0.07937,
              0.10235,
              0.11906,
              0.1462,
              0.1913,
              0.27024,
              0.41692,
              0.71
            ],
            [
              0.07937,
              0.10234,
              0.11905,
              0.14619,
              0.1913,
              0.27021,
              0.41699,
              0.7099
            ],
            [
              0.07936,
              0.10234,
              0.11905,
              0.14619,
              0.19129,
              0.27027,
              0.41694,
              0.7099
            ],
            [
              0.07926,
              0.10227,
              0.11917,
              0.14622,
              0.19123,
              0.2697,
              0.4161,
              0.7097
            ],
            [
              0.07928,
              0.10229,
              0.11916,
              0.14617,
              0.19115,
              0.27,
              0.4162,
              0.7093
            ],
            [
              0.07941,
              0.1023,
              0.1191,
              0.1462,
              0.1913,
              0.2703,
              0.417,
              0.7099
            ],
            [
              0.0793,
              0.1023,
              0.119,
              0.1462,
              0.1912,
              0.2696,
              0.4169,
              0.7099
            ],
            [
              0.0791,
              0.1021,
              0.1189,
              0.146,
              0.1913,
              0.2701,
              0.4162,
              0.7098
            ],
            [
              0.0786,
              0.1018,
              0.1186,
              0.1458,
              0.1909,
              0.2696,
              0.4171,
              0.7099
            ],
            [
              0.0781,
              0.101,
              0.1178,
              0.1456,
              0.1906,
              0.2701,
              0.4167,
              0.7104
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.06233,
              0.09051,
              0.11431,
              0.15811,
              0.24259,
              0.41375,
              0.76704,
              1.4881
            ],
            [
              0.06233,
              0.09052,
              0.11428,
              0.15812,
              0.24254,
              0.4138,
              0.7668,
              1.4883
            ],
            [
              0.06233,
              0.09053,
              0.11425,
              0.15814,
              0.24272,
              0.41378,
              0.76737,
              1.49
            ],
            [
              0.06233,
              0.09053,
              0.11425,
              0.15812,
              0.24263,
              0.41382,
              0.76682,
              1.4888
            ],
            [
              0.06228,
              0.09048,
              0.11432,
              0.15812,
              0.24278,
              0.41377,
              0.76675,
              1.4879
            ],
            [
              0.06232,
              0.09053,
              0.11426,
              0.15814,
              0.24271,
              0.41376,
              0.76754,
              1.49
            ],
            [
              0.06232,
              0.0905,
              0.11429,
              0.15811,
              0.24258,
              0.41376,
              0.76675,
              1.4881
            ],
            [
              0.06227,
              0.09045,
              0.11428,
              0.15805,
              0.2426,
              0.41377,
              0.767,
              1.4878
            ],
            [
              0.0622,
              0.09039,
              0.11421,
              0.15801,
              0.2427,
              0.4138,
              0.7668,
              1.488
            ],
            [
              0.062,
              0.0902,
              0.1141,
              0.1578,
              0.2424,
              0.4139,
              0.7676,
              1.4886
            ],
            [
              0.0617,
              0.09,
              0.1139,
              0.1576,
              0.2424,
              0.4137,
              0.7672,
              1.4878
            ],
            [
              0.0613,
              0.0897,
              0.1135,
              0.1574,
              0.2422,
              0.4134,
              0.7669,
              1.4869
            ],
            [
              0.061,
              0.0894,
              0.1133,
              0.1573,
              0.2421,
              0.4133,
              0.7671,
              1.4873
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.59264,
              0.62934,
              0.65534,
              0.69494,
              0.75398,
              0.84301,
              0.98418,
              1.22657
            ],
            [
              0.59489,
              0.63159,
              0.65758,
              0.69721,
              0.75622,
              0.84524,
              0.98644,
              1.22904
            ],
            [
              0.59779,
              0.6345,
              0.66048,
              0.70011,
              0.75912,
              0.84814,
              0.98932,
              1.23192
            ],
            [
              0.60237,
              0.63906,
              0.66507,
              0.70466,
              0.76372,
              0.85272,
              0.99387,
              1.23648
            ],
            [
              0.60968,
              0.64638,
              0.67239,
              0.712,
              0.77101,
              0.86003,
              1.00121,
              1.24381
            ],
            [
              0.62127,
              0.65798,
              0.68398,
              0.72359,
              0.7826,
              0.87161,
              1.01282,
              1.25542
            ],
            [
              0.63959,
              0.67629,
              0.70228,
              0.74189,
              0.80089,
              0.88993,
              1.03103,
              1.27363
            ],
            [
              0.6679,
              0.70462,
              0.73062,
              0.77022,
              0.82922,
              0.91816,
              1.05936,
              1.30206
            ],
            [
              0.71078,
              0.7475,
              0.77355,
              0.81315,
              0.87215,
              0.96105,
              1.10225,
              1.34475
            ],
            [
              0.77269,
              0.80939,
              0.83539,
              0.87499,
              0.93399,
              1.02299,
              1.16409,
              1.40669
            ],
            [
              0.85652,
              0.89332,
              0.91932,
              0.95892,
              1.01792,
              1.10692,
              1.24802,
              1.49062
            ],
            [
              0.97157,
              1.00827,
              1.03427,
              1.07397,
              1.13297,
              1.22197,
              1.36317,
              1.60577
            ],
            [
              1.1234,
              1.1619,
              1.189,
              1.2299,
              1.2902,
              1.3803,
              1.5221,
              1.765
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.48793,
              0.52888,
              0.55919,
              0.60824,
              0.68911,
              0.83057,
              1.09837,
              1.62877
            ],
            [
              0.49092,
              0.53188,
              0.56218,
              0.61124,
              0.69211,
              0.83357,
              1.10134,
              1.63204
            ],
            [
              0.49468,
              0.53565,
              0.56596,
              0.615,
              0.69587,
              0.83734,
              1.10512,
              1.63572
            ],
            [
              0.50028,
              0.54126,
              0.57156,
              0.62062,
              0.70149,
              0.84296,
              1.11078,
              1.64148
            ],
            [
              0.50877,
              0.54973,
              0.58004,
              0.6291,
              0.70997,
              0.85143,
              1.11921,
              1.64991
            ],
            [
              0.52136,
              0.56233,
              0.59265,
              0.64171,
              0.72257,
              0.86404,
              1.13182,
              1.66232
            ],
            [
              0.54025,
              0.58123,
              0.61154,
              0.66061,
              0.74148,
              0.88292,
              1.15073,
              1.68133
            ],
            [
              0.5684,
              0.60941,
              0.63973,
              0.6888,
              0.76966,
              0.91106,
              1.17886,
              1.70956
            ],
            [
              0.61008,
              0.65114,
              0.68146,
              0.73053,
              0.81135,
              0.95285,
              1.22055,
              1.75145
            ],
            [
              0.66989,
              0.71099,
              0.74129,
              0.79039,
              0.87129,
              1.01279,
              1.28059,
              1.81119
            ],
            [
              0.74622,
              0.78742,
              0.81782,
              0.86682,
              0.94782,
              1.08932,
              1.35732,
              1.88802
            ],
            [
              0.84017,
              0.88137,
              0.91167,
              0.96077,
              1.04167,
              1.18337,
              1.45147,
              1.98207
            ],
            [
              0.9562,
              0.9975,
              1.028,
              1.0772,
              1.1583,
              1.3002,
              1.5684,
              2.0988
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.07046,
              0.09156,
              0.10704,
              0.13224,
              0.17459,
              0.24997,
              0.39207,
              0.67882
            ],
            [
              0.07048,
              0.09162,
              0.10707,
              0.13224,
              0.17459,
              0.24986,
              0.39177,
              0.67859
            ],
            [
              0.07048,
              0.09162,
              0.10709,
              0.13224,
              0.17459,
              0.24983,
              0.39166,
              0.67846
            ],
            [
              0.0705,
              0.0915,
              0.10691,
              0.13221,
              0.17469,
              0.24997,
              0.39192,
              0.67838
            ],
            [
              0.07048,
              0.09157,
              0.10704,
              0.13222,
              0.17453,
              0.24983,
              0.39176,
              0.67858
            ],
            [
              0.0705,
              0.09153,
              0.10701,
              0.13223,
              0.17451,
              0.24985,
              0.39168,
              0.6785
            ],
            [
              0.07058,
              0.09151,
              0.10707,
              0.13222,
              0.17455,
              0.25017,
              0.39177,
              0.6788
            ],
            [
              0.07064,
              0.09151,
              0.10708,
              0.13224,
              0.17455,
              0.24978,
              0.3916,
              0.678
            ],
            [
              0.07059,
              0.09162,
              0.10703,
              0.13221,
              0.1748,
              0.2499,
              0.3922,
              0.6788
            ],
            [
              0.0705,
              0.0915,
              0.1069,
              0.1322,
              0.1745,
              0.2497,
              0.3921,
              0.6785
            ],
            [
              0.0705,
              0.0915,
              0.107,
              0.1322,
              0.1745,
              0.2496,
              0.3919,
              0.6785
            ],
            [
              0.0706,
              0.0914,
              0.1069,
              0.1322,
              0.1747,
              0.2496,
              0.3917,
              0.6788
            ],
            [
              0.0759,
              0.0968,
              0.1121,
              0.137,
              0.1787,
              0.2524,
              0.3933,
              0.6792
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.06436,
              0.09368,
              0.11827,
              0.16328,
              0.25016,
              0.42733,
              0.79473,
              1.53929
            ],
            [
              0.06435,
              0.09373,
              0.11819,
              0.16331,
              0.25023,
              0.42714,
              0.79449,
              1.54004
            ],
            [
              0.06436,
              0.09369,
              0.11827,
              0.16327,
              0.2502,
              0.42724,
              0.79451,
              1.53946
            ],
            [
              0.06437,
              0.09371,
              0.11828,
              0.16327,
              0.25023,
              0.42719,
              0.79446,
              1.5389
            ],
            [
              0.06439,
              0.09377,
              0.11823,
              0.16334,
              0.25026,
              0.42717,
              0.7945,
              1.54
            ],
            [
              0.06444,
              0.09371,
              0.11833,
              0.16337,
              0.25018,
              0.42734,
              0.79472,
              1.5392
            ],
            [
              0.0645,
              0.09376,
              0.11836,
              0.16342,
              0.25026,
              0.42741,
              0.79445,
              1.5391
            ],
            [
              0.06462,
              0.09385,
              0.11845,
              0.16348,
              0.2503,
              0.42739,
              0.79455,
              1.5395
            ],
            [
              0.06483,
              0.09411,
              0.11857,
              0.16358,
              0.25055,
              0.4276,
              0.7943,
              1.5396
            ],
            [
              0.0651,
              0.0943,
              0.1187,
              0.1638,
              0.2507,
              0.4275,
              0.7946,
              1.5386
            ],
            [
              0.0654,
              0.0944,
              0.119,
              0.164,
              0.2509,
              0.428,
              0.7952,
              1.5393
            ],
            [
              0.0655,
              0.0945,
              0.1191,
              0.1642,
              0.2513,
              0.4282,
              0.7949,
              1.5384
            ],
            [
              0.066,
              0.095,
              0.1195,
              0.1648,
              0.2521,
              0.4289,
              0.7946,
              1.5376
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.59021,
              0.6301,
              0.65844,
              0.70158,
              0.76576,
              0.86202,
              1.01287,
              1.26817
            ],
            [
              0.59258,
              0.63248,
              0.66082,
              0.70396,
              0.76813,
              0.8644,
              1.01524,
              1.27054
            ],
            [
              0.59558,
              0.63549,
              0.66383,
              0.70698,
              0.77116,
              0.86741,
              1.01832,
              1.27362
            ],
            [
              0.60033,
              0.64026,
              0.66861,
              0.71174,
              0.77592,
              0.87218,
              1.02307,
              1.27838
            ],
            [
              0.60772,
              0.64765,
              0.676,
              0.71915,
              0.78334,
              0.87959,
              1.03051,
              1.28581
            ],
            [
              0.61914,
              0.65908,
              0.68743,
              0.73059,
              0.79478,
              0.89103,
              1.04192,
              1.29722
            ],
            [
              0.63678,
              0.67672,
              0.70507,
              0.74825,
              0.81246,
              0.90873,
              1.05953,
              1.31473
            ],
            [
              0.66354,
              0.70349,
              0.73184,
              0.775,
              0.83916,
              0.93546,
              1.08636,
              1.34176
            ],
            [
              0.70398,
              0.7439,
              0.77225,
              0.81535,
              0.87955,
              0.97595,
              1.12685,
              1.38225
            ],
            [
              0.76429,
              0.80419,
              0.83259,
              0.87569,
              0.93989,
              1.03619,
              1.18719,
              1.44249
            ],
            [
              0.84872,
              0.88862,
              0.91692,
              0.96002,
              1.02412,
              1.12052,
              1.27162,
              1.52712
            ],
            [
              0.95437,
              0.99407,
              1.02227,
              1.06527,
              1.12937,
              1.22577,
              1.37697,
              1.63257
            ],
            [
              1.083,
              1.1225,
              1.1507,
              1.1936,
              1.2575,
              1.3537,
              1.5048,
              1.7605
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.49645,
              0.53614,
              0.56547,
              0.61297,
              0.69144,
              0.82874,
              1.08657,
              1.59267
            ],
            [
              0.49946,
              0.53915,
              0.56848,
              0.61598,
              0.69445,
              0.83176,
              1.08964,
              1.59564
            ],
            [
              0.50315,
              0.54284,
              0.57217,
              0.61967,
              0.69814,
              0.83544,
              1.09322,
              1.59932
            ],
            [
              0.50884,
              0.54853,
              0.57786,
              0.62535,
              0.70383,
              0.84113,
              1.09908,
              1.60498
            ],
            [
              0.51743,
              0.55712,
              0.58646,
              0.63396,
              0.71243,
              0.84973,
              1.10751,
              1.61361
            ],
            [
              0.53037,
              0.57008,
              0.59941,
              0.6469,
              0.72538,
              0.86267,
              1.12052,
              1.62642
            ],
            [
              0.54981,
              0.58951,
              0.61886,
              0.66635,
              0.74483,
              0.88212,
              1.14003,
              1.64603
            ],
            [
              0.57883,
              0.61854,
              0.64788,
              0.69538,
              0.77386,
              0.91116,
              1.16896,
              1.67496
            ],
            [
              0.62087,
              0.66059,
              0.68993,
              0.73744,
              0.81595,
              0.95315,
              1.21105,
              1.71705
            ],
            [
              0.67909,
              0.71879,
              0.74819,
              0.79569,
              0.87419,
              1.01139,
              1.26929,
              1.77509
            ],
            [
              0.75142,
              0.79112,
              0.82042,
              0.86792,
              0.94642,
              1.08362,
              1.34142,
              1.84722
            ],
            [
              0.84617,
              0.88597,
              0.91537,
              0.96287,
              1.04127,
              1.17847,
              1.43607,
              1.94207
            ],
            [
              0.9674,
              1.0096,
              1.0405,
              1.09,
              1.1705,
              1.3091,
              1.5668,
              2.0727
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.07935,
              0.10252,
              0.11928,
              0.14658,
              0.19188,
              0.2708,
              0.41692,
              0.70949
            ],
            [
              0.0794,
              0.10253,
              0.11927,
              0.14658,
              0.19163,
              0.27078,
              0.41782,
              0.7094
            ],
            [
              0.0794,
              0.1024,
              0.11931,
              0.14659,
              0.19172,
              0.27084,
              0.41742,
              0.70969
            ],
            [
              0.07941,
              0.10243,
              0.11933,
              0.14658,
              0.19185,
              0.27083,
              0.41777,
              0.70946
            ],
            [
              0.07941,
              0.1025,
              0.11931,
              0.14657,
              0.19168,
              0.27086,
              0.41742,
              0.70981
            ],
            [
              0.07942,
              0.10249,
              0.11934,
              0.14657,
              0.19185,
              0.27023,
              0.41739,
              0.71
            ],
            [
              0.07932,
              0.10253,
              0.11926,
              0.14659,
              0.19179,
              0.27033,
              0.4165,
              0.71
            ],
            [
              0.0794,
              0.10247,
              0.11935,
              0.14663,
              0.19186,
              0.2702,
              0.4174,
              0.7099
            ],
            [
              0.07939,
              0.10237,
              0.11933,
              0.14667,
              0.192,
              0.2709,
              0.4178,
              0.71
            ],
            [
              0.0793,
              0.1024,
              0.1194,
              0.1467,
              0.1922,
              0.2705,
              0.4166,
              0.7097
            ],
            [
              0.0792,
              0.1024,
              0.1192,
              0.1467,
              0.1922,
              0.2705,
              0.4176,
              0.7101
            ],
            [
              0.079,
              0.1021,
              0.1191,
              0.1467,
              0.192,
              0.2706,
              0.4177,
              0.7098
            ],
            [
              0.0787,
              0.1018,
              0.1189,
              0.1464,
              0.1921,
              0.2712,
              0.4168,
              0.7098
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.06199,
              0.09021,
              0.11403,
              0.15787,
              0.24253,
              0.41357,
              0.76697,
              1.48794
            ],
            [
              0.06198,
              0.09022,
              0.11404,
              0.15789,
              0.2425,
              0.41383,
              0.76733,
              1.4881
            ],
            [
              0.06203,
              0.09021,
              0.11403,
              0.15783,
              0.24254,
              0.41372,
              0.76731,
              1.4886
            ],
            [
              0.06202,
              0.09022,
              0.11402,
              0.15788,
              0.24244,
              0.41388,
              0.76768,
              1.48875
            ],
            [
              0.06204,
              0.09024,
              0.11406,
              0.15788,
              0.24255,
              0.41363,
              0.76722,
              1.4871
            ],
            [
              0.06208,
              0.09024,
              0.11404,
              0.15788,
              0.24252,
              0.41379,
              0.76728,
              1.4876
            ],
            [
              0.06207,
              0.09026,
              0.11407,
              0.15794,
              0.24252,
              0.41376,
              0.76676,
              1.488
            ],
            [
              0.06209,
              0.0903,
              0.11412,
              0.15792,
              0.24262,
              0.41368,
              0.7673,
              1.4888
            ],
            [
              0.06214,
              0.09028,
              0.1141,
              0.15798,
              0.24255,
              0.4136,
              0.7666,
              1.488
            ],
            [
              0.0621,
              0.0904,
              0.1142,
              0.158,
              0.2426,
              0.4138,
              0.7669,
              1.4877
            ],
            [
              0.0621,
              0.0903,
              0.1142,
              0.158,
              0.2427,
              0.4138,
              0.767,
              1.489
            ],
            [
              0.0628,
              0.0909,
              0.1145,
              0.1583,
              0.2426,
              0.4137,
              0.7668,
              1.4875
            ],
            [
              0.067,
              0.0964,
              0.1205,
              0.1644,
              0.248,
              0.4169,
              0.768,
              1.4865
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.45754,
              0.49797,
              0.52665,
              0.57029,
              0.63518,
              0.73249,
              0.88468,
              1.14097
            ],
            [
              0.46061,
              0.50105,
              0.52972,
              0.57335,
              0.63825,
              0.73556,
              0.88776,
              1.14384
            ],
            [
              0.46427,
              0.50471,
              0.53339,
              0.57703,
              0.64192,
              0.73924,
              0.89141,
              1.14752
            ],
            [
              0.46966,
              0.51011,
              0.53878,
              0.58242,
              0.64731,
              0.74462,
              0.8968,
              1.15298
            ],
            [
              0.47831,
              0.51876,
              0.54744,
              0.59107,
              0.65597,
              0.75328,
              0.90547,
              1.16161
            ],
            [
              0.49119,
              0.53164,
              0.56032,
              0.60396,
              0.66886,
              0.76618,
              0.91838,
              1.17442
            ],
            [
              0.51072,
              0.55115,
              0.57981,
              0.62345,
              0.68836,
              0.78568,
              0.93793,
              1.19393
            ],
            [
              0.54016,
              0.58057,
              0.60923,
              0.65285,
              0.71777,
              0.81511,
              0.96736,
              1.22346
            ],
            [
              0.58422,
              0.62461,
              0.65326,
              0.69686,
              0.76175,
              0.85915,
              1.01145,
              1.26755
            ],
            [
              0.64949,
              0.68989,
              0.71849,
              0.76209,
              0.82699,
              0.92449,
              1.07689,
              1.33329
            ],
            [
              0.74492,
              0.78532,
              0.81392,
              0.85752,
              0.92242,
              1.02002,
              1.17262,
              1.42902
            ],
            [
              0.87747,
              0.91837,
              0.94717,
              0.99097,
              1.05607,
              1.15387,
              1.30667,
              1.56337
            ],
            [
              1.0449,
              1.0885,
              1.119,
              1.1651,
              1.2329,
              1.3332,
              1.4875,
              1.7448
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.3241,
              0.36474,
              0.39518,
              0.44484,
              0.52691,
              0.66859,
              0.93365,
              1.46257
            ],
            [
              0.32728,
              0.36792,
              0.39836,
              0.44802,
              0.53009,
              0.67177,
              0.93684,
              1.46594
            ],
            [
              0.33107,
              0.37172,
              0.40216,
              0.45183,
              0.53388,
              0.67555,
              0.94065,
              1.46952
            ],
            [
              0.33675,
              0.37739,
              0.40782,
              0.45752,
              0.53958,
              0.68124,
              0.94634,
              1.47527
            ],
            [
              0.34526,
              0.38589,
              0.41634,
              0.46602,
              0.54809,
              0.68976,
              0.95481,
              1.48381
            ],
            [
              0.35792,
              0.39857,
              0.42901,
              0.47868,
              0.56074,
              0.70243,
              0.96752,
              1.49652
            ],
            [
              0.37689,
              0.41754,
              0.44799,
              0.49766,
              0.5797,
              0.72141,
              0.98653,
              1.51563
            ],
            [
              0.40504,
              0.44567,
              0.47611,
              0.52579,
              0.60788,
              0.74955,
              1.01466,
              1.54356
            ],
            [
              0.44723,
              0.48788,
              0.51841,
              0.56806,
              0.65008,
              0.79165,
              1.05665,
              1.58575
            ],
            [
              0.50733,
              0.54797,
              0.57839,
              0.62801,
              0.70999,
              0.85159,
              1.11659,
              1.64559
            ],
            [
              0.59102,
              0.63192,
              0.66242,
              0.71202,
              0.79402,
              0.93552,
              1.20052,
              1.72952
            ],
            [
              0.70037,
              0.74337,
              0.77507,
              0.82607,
              0.90917,
              1.05117,
              1.31617,
              1.84537
            ],
            [
              0.8382,
              0.8842,
              0.9179,
              0.9716,
              1.0577,
              1.2024,
              1.4684,
              1.9975
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.08428,
              0.10619,
              0.12245,
              0.14922,
              0.19428,
              0.27363,
              0.42117,
              0.71251
            ],
            [
              0.08429,
              0.10619,
              0.12246,
              0.14922,
              0.1943,
              0.27363,
              0.42092,
              0.7128
            ],
            [
              0.08428,
              0.10619,
              0.12245,
              0.14923,
              0.19428,
              0.27353,
              0.42035,
              0.71276
            ],
            [
              0.08428,
              0.10619,
              0.12246,
              0.14922,
              0.19431,
              0.27365,
              0.42042,
              0.71228
            ],
            [
              0.08429,
              0.10617,
              0.12244,
              0.14923,
              0.19437,
              0.27367,
              0.42038,
              0.71235
            ],
            [
              0.08426,
              0.1062,
              0.12247,
              0.14923,
              0.19432,
              0.27367,
              0.42086,
              0.71284
            ],
            [
              0.08428,
              0.10619,
              0.12249,
              0.14922,
              0.19436,
              0.27373,
              0.42064,
              0.71278
            ],
            [
              0.08428,
              0.10619,
              0.12249,
              0.14921,
              0.19442,
              0.27376,
              0.42072,
              0.7128
            ],
            [
              0.08427,
              0.10622,
              0.12252,
              0.14927,
              0.19445,
              0.27374,
              0.4209,
              0.7129
            ],
            [
              0.0844,
              0.1063,
              0.1226,
              0.1494,
              0.1947,
              0.2738,
              0.4212,
              0.7125
            ],
            [
              0.0848,
              0.1067,
              0.1229,
              0.1498,
              0.195,
              0.2739,
              0.4219,
              0.713
            ],
            [
              0.0881,
              0.1094,
              0.1254,
              0.1517,
              0.1964,
              0.2752,
              0.4217,
              0.7129
            ],
            [
              0.0982,
              0.1199,
              0.136,
              0.1621,
              0.2059,
              0.2823,
              0.4267,
              0.7149
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.06137,
              0.09181,
              0.11746,
              0.16388,
              0.25124,
              0.42559,
              0.79157,
              1.54268
            ],
            [
              0.06137,
              0.09181,
              0.11745,
              0.16388,
              0.25125,
              0.42558,
              0.79153,
              1.54335
            ],
            [
              0.06136,
              0.09175,
              0.11741,
              0.1639,
              0.25124,
              0.42552,
              0.79137,
              1.54175
            ],
            [
              0.06134,
              0.09186,
              0.11738,
              0.16367,
              0.25132,
              0.42557,
              0.79148,
              1.54191
            ],
            [
              0.06134,
              0.09185,
              0.11743,
              0.16366,
              0.25133,
              0.42558,
              0.7915,
              1.54193
            ],
            [
              0.06136,
              0.09177,
              0.1174,
              0.1639,
              0.25127,
              0.42555,
              0.79154,
              1.54205
            ],
            [
              0.06137,
              0.09176,
              0.11738,
              0.16391,
              0.25127,
              0.42561,
              0.79158,
              1.54336
            ],
            [
              0.06139,
              0.09185,
              0.11745,
              0.16371,
              0.25143,
              0.42565,
              0.79149,
              1.5418
            ],
            [
              0.06137,
              0.09177,
              0.11739,
              0.16393,
              0.25137,
              0.42575,
              0.79148,
              1.5431
            ],
            [
              0.06143,
              0.09188,
              0.11734,
              0.16394,
              0.25149,
              0.4257,
              0.7914,
              1.5414
            ],
            [
              0.0625,
              0.0926,
              0.1181,
              0.1646,
              0.2518,
              0.426,
              0.7916,
              1.5415
            ],
            [
              0.0671,
              0.0979,
              0.1232,
              0.1691,
              0.2551,
              0.4275,
              0.7921,
              1.543
            ],
            [
              0.0736,
              0.1056,
              0.1317,
              0.1779,
              0.2637,
              0.4338,
              0.7945,
              1.542
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.45821,
              0.49857,
              0.5272,
              0.57078,
              0.63561,
              0.73287,
              0.885,
              1.14107
            ],
            [
              0.46129,
              0.50164,
              0.53027,
              0.57385,
              0.63868,
              0.73594,
              0.8881,
              1.14414
            ],
            [
              0.46495,
              0.50531,
              0.53395,
              0.57753,
              0.64235,
              0.73961,
              0.89176,
              1.14772
            ],
            [
              0.47035,
              0.5107,
              0.53934,
              0.58291,
              0.64775,
              0.74501,
              0.89716,
              1.15318
            ],
            [
              0.479,
              0.51936,
              0.548,
              0.59157,
              0.6564,
              0.75366,
              0.9058,
              1.16181
            ],
            [
              0.49188,
              0.53223,
              0.56087,
              0.60445,
              0.66929,
              0.76656,
              0.91872,
              1.17472
            ],
            [
              0.51141,
              0.55175,
              0.58036,
              0.62394,
              0.68879,
              0.78606,
              0.93823,
              1.19423
            ],
            [
              0.54083,
              0.58116,
              0.60976,
              0.65333,
              0.71819,
              0.81548,
              0.96766,
              1.22366
            ],
            [
              0.58487,
              0.62518,
              0.65377,
              0.69731,
              0.76215,
              0.85955,
              1.01175,
              1.26775
            ],
            [
              0.65009,
              0.69039,
              0.71899,
              0.76249,
              0.82739,
              0.92479,
              1.07709,
              1.33329
            ],
            [
              0.74542,
              0.78582,
              0.81432,
              0.85782,
              0.92272,
              1.02022,
              1.17282,
              1.42912
            ],
            [
              0.87787,
              0.91867,
              0.94737,
              0.99107,
              1.05617,
              1.15397,
              1.30677,
              1.56337
            ],
            [
              1.0452,
              1.0886,
              1.1191,
              1.1652,
              1.233,
              1.3332,
              1.4874,
              1.7447
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.32333,
              0.36396,
              0.3944,
              0.44406,
              0.52614,
              0.66784,
              0.93288,
              1.46177
            ],
            [
              0.32651,
              0.36714,
              0.39758,
              0.44724,
              0.52932,
              0.67102,
              0.93607,
              1.46504
            ],
            [
              0.3303,
              0.37094,
              0.40138,
              0.45105,
              0.5331,
              0.67479,
              0.93986,
              1.46892
            ],
            [
              0.33598,
              0.37661,
              0.40704,
              0.45672,
              0.53882,
              0.68049,
              0.94556,
              1.47448
            ],
            [
              0.34449,
              0.38511,
              0.41555,
              0.46523,
              0.54733,
              0.689,
              0.95411,
              1.48301
            ],
            [
              0.35715,
              0.39779,
              0.42823,
              0.4779,
              0.55997,
              0.70167,
              0.96672,
              1.49582
            ],
            [
              0.37613,
              0.41677,
              0.44721,
              0.49688,
              0.57894,
              0.72063,
              0.98573,
              1.51483
            ],
            [
              0.40429,
              0.44491,
              0.47534,
              0.52503,
              0.60712,
              0.74881,
              1.01386,
              1.54276
            ],
            [
              0.44652,
              0.48726,
              0.51769,
              0.56734,
              0.64937,
              0.79095,
              1.05595,
              1.58485
            ],
            [
              0.5067,
              0.54734,
              0.57774,
              0.62735,
              0.70929,
              0.85089,
              1.11589,
              1.64509
            ],
            [
              0.59052,
              0.63132,
              0.66182,
              0.71152,
              0.79342,
              0.93502,
              1.19992,
              1.72902
            ],
            [
              0.69987,
              0.74287,
              0.77457,
              0.82567,
              0.90867,
              1.05067,
              1.31577,
              1.84487
            ],
            [
              0.8378,
              0.8838,
              0.9175,
              0.9712,
              1.0574,
              1.202,
              1.468,
              1.9972
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.08397,
              0.10589,
              0.12216,
              0.14898,
              0.19402,
              0.27341,
              0.4203,
              0.71259
            ],
            [
              0.08398,
              0.10591,
              0.12217,
              0.14899,
              0.19405,
              0.27342,
              0.42079,
              0.71275
            ],
            [
              0.08399,
              0.10589,
              0.12216,
              0.14898,
              0.19402,
              0.27353,
              0.42067,
              0.71272
            ],
            [
              0.08398,
              0.1059,
              0.12218,
              0.14899,
              0.19408,
              0.27346,
              0.42075,
              0.71271
            ],
            [
              0.08398,
              0.10589,
              0.12216,
              0.14898,
              0.19409,
              0.27351,
              0.42036,
              0.71266
            ],
            [
              0.08398,
              0.10591,
              0.12218,
              0.14899,
              0.19408,
              0.27347,
              0.42073,
              0.71267
            ],
            [
              0.08398,
              0.10591,
              0.12217,
              0.14899,
              0.19415,
              0.27353,
              0.4205,
              0.71262
            ],
            [
              0.08398,
              0.10591,
              0.12221,
              0.149,
              0.19419,
              0.27355,
              0.4207,
              0.7127
            ],
            [
              0.084,
              0.10593,
              0.12223,
              0.14906,
              0.19421,
              0.27358,
              0.4208,
              0.7127
            ],
            [
              0.08412,
              0.1061,
              0.1223,
              0.1492,
              0.1944,
              0.2737,
              0.4209,
              0.7127
            ],
            [
              0.0845,
              0.1064,
              0.1227,
              0.1495,
              0.1948,
              0.274,
              0.421,
              0.7129
            ],
            [
              0.0879,
              0.1091,
              0.1251,
              0.1515,
              0.1962,
              0.2751,
              0.4216,
              0.7127
            ],
            [
              0.0978,
              0.1195,
              0.1357,
              0.1619,
              0.2056,
              0.2821,
              0.4266,
              0.7149
            ]
          ]
        },
        "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.00538,
            0.01077,
            0.02154,
            0.04308,
            0.08615,
            0.17232,
            0.34464
          ],
          "values": [
            [
              0.06133,
              0.09177,
              0.11752,
              0.16386,
              0.25128,
              0.42559,
              0.79154,
              1.54134
            ],
            [
              0.06133,
              0.09175,
              0.11743,
              0.16387,
              0.25126,
              0.42558,
              0.79136,
              1.54273
            ],
            [
              0.06132,
              0.09169,
              0.11734,
              0.16388,
              0.25125,
              0.42551,
              0.7915,
              1.54324
            ],
            [
              0.0613,
              0.09181,
              0.11742,
              0.1637,
              0.25134,
              0.42556,
              0.7913,
              1.54197
            ],
            [
              0.06131,
              0.09182,
              0.11739,
              0.16369,
              0.25134,
              0.42557,
              0.7914,
              1.5428
            ],
            [
              0.06133,
              0.09172,
              0.11736,
              0.16388,
              0.25123,
              0.42553,
              0.7915,
              1.54341
            ],
            [
              0.06133,
              0.09171,
              0.11733,
              0.16389,
              0.25125,
              0.42559,
              0.79156,
              1.54317
            ],
            [
              0.06136,
              0.0918,
              0.11731,
              0.16379,
              0.25141,
              0.42571,
              0.79152,
              1.542
            ],
            [
              0.06132,
              0.09173,
              0.11736,
              0.16392,
              0.25138,
              0.42564,
              0.79128,
              1.5416
            ],
            [
              0.06138,
              0.09176,
              0.11738,
              0.16398,
              0.25154,
              0.4257,
              0.7915,
              1.5433
            ],
            [
              0.0626,
              0.0926,
              0.1181,
              0.1645,
              0.2519,
              0.426,
              0.7914,
              1.5413
            ],
            [
              0.067,
              0.0979,
              0.1232,
              0.1691,
              0.2552,
              0.4276,
              0.7921,
              1.5416
            ],
            [
              0.0736,
              0.1057,
              0.1318,
              0.1779,
              0.2637,
              0.4338,
              0.7945,
              1.5426
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.0802,
              0.07131,
              0.06291,
              0.04642,
              0.01364,
              -0.0523,
              -0.18508,
              -0.45157
            ],
            [
              0.08012,
              0.07121,
              0.06281,
              0.04633,
              0.01354,
              -0.05241,
              -0.18518,
              -0.45166
            ],
            [
              0.07999,
              0.07109,
              0.06269,
              0.04619,
              0.01341,
              -0.05253,
              -0.1853,
              -0.45178
            ],
            [
              0.07985,
              0.07095,
              0.06254,
              0.04605,
              0.01326,
              -0.0527,
              -0.18546,
              -0.45196
            ],
            [
              0.07967,
              0.07079,
              0.06238,
              0.0459,
              0.01309,
              -0.05284,
              -0.18564,
              -0.45211
            ],
            [
              0.07948,
              0.07059,
              0.06219,
              0.04571,
              0.01291,
              -0.05305,
              -0.18581,
              -0.45229
            ],
            [
              0.0793,
              0.07041,
              0.062,
              0.04552,
              0.01273,
              -0.05321,
              -0.18598,
              -0.45248
            ],
            [
              0.07914,
              0.07025,
              0.06184,
              0.04537,
              0.01258,
              -0.05338,
              -0.18615,
              -0.45263
            ],
            [
              0.07902,
              0.0701,
              0.06171,
              0.04524,
              0.01244,
              -0.05351,
              -0.18629,
              -0.45275
            ],
            [
              0.07901,
              0.07013,
              0.06171,
              0.04524,
              0.01245,
              -0.0535,
              -0.18627,
              -0.45276
            ],
            [
              0.0791,
              0.07021,
              0.06179,
              0.04534,
              0.01253,
              -0.05341,
              -0.18618,
              -0.45266
            ],
            [
              0.07957,
              0.07067,
              0.06225,
              0.04575,
              0.01295,
              -0.05298,
              -0.18575,
              -0.45222
            ],
            [
              0.0804,
              0.07152,
              0.06312,
              0.04661,
              0.01381,
              -0.05215,
              -0.18491,
              -0.45137
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.0619,
              0.07014,
              0.07852,
              0.09525,
              0.12876,
              0.19541,
              0.32818,
              0.59396
            ],
            [
              0.06175,
              0.07,
              0.07837,
              0.0951,
              0.12853,
              0.19515,
              0.32804,
              0.59365
            ],
            [
              0.06158,
              0.06982,
              0.07818,
              0.09497,
              0.12838,
              0.19499,
              0.32786,
              0.59301
            ],
            [
              0.06139,
              0.06965,
              0.07802,
              0.09474,
              0.12815,
              0.19482,
              0.32766,
              0.59308
            ],
            [
              0.06117,
              0.06942,
              0.0778,
              0.09457,
              0.12801,
              0.19475,
              0.3276,
              0.59405
            ],
            [
              0.06095,
              0.0692,
              0.07758,
              0.09432,
              0.12775,
              0.19441,
              0.3271,
              0.59327
            ],
            [
              0.06067,
              0.06893,
              0.07729,
              0.09407,
              0.12751,
              0.19409,
              0.32683,
              0.59186
            ],
            [
              0.06042,
              0.06867,
              0.07702,
              0.09381,
              0.12716,
              0.19383,
              0.32658,
              0.59189
            ],
            [
              0.06014,
              0.0684,
              0.07676,
              0.09355,
              0.12691,
              0.19346,
              0.32635,
              0.59173
            ],
            [
              0.05995,
              0.06819,
              0.07656,
              0.09337,
              0.12676,
              0.19336,
              0.32618,
              0.59116
            ],
            [
              0.05984,
              0.06811,
              0.07649,
              0.09325,
              0.12666,
              0.1933,
              0.32623,
              0.59209
            ],
            [
              0.06007,
              0.06832,
              0.07669,
              0.09348,
              0.12702,
              0.19366,
              0.32658,
              0.59212
            ],
            [
              0.06096,
              0.06924,
              0.07768,
              0.09447,
              0.12782,
              0.19437,
              0.32762,
              0.59251
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08833,
              0.09317,
              0.09861,
              0.1098,
              0.13228,
              0.17634,
              0.26337,
              0.43595
            ],
            [
              0.08819,
              0.09302,
              0.09846,
              0.10965,
              0.13217,
              0.17623,
              0.26343,
              0.43538
            ],
            [
              0.088,
              0.09283,
              0.09827,
              0.10945,
              0.13195,
              0.17607,
              0.26302,
              0.43617
            ],
            [
              0.08784,
              0.09267,
              0.09811,
              0.1093,
              0.1318,
              0.17594,
              0.26313,
              0.4359
            ],
            [
              0.08761,
              0.09245,
              0.09789,
              0.1091,
              0.13158,
              0.17569,
              0.2626,
              0.43582
            ],
            [
              0.08738,
              0.09221,
              0.09766,
              0.10885,
              0.13134,
              0.17545,
              0.26264,
              0.435
            ],
            [
              0.0871,
              0.09194,
              0.09738,
              0.10858,
              0.1311,
              0.17516,
              0.2624,
              0.43477
            ],
            [
              0.08685,
              0.09167,
              0.09711,
              0.1083,
              0.13082,
              0.17489,
              0.26194,
              0.43466
            ],
            [
              0.08657,
              0.0914,
              0.09683,
              0.10803,
              0.13054,
              0.17464,
              0.26159,
              0.43476
            ],
            [
              0.08636,
              0.09117,
              0.09662,
              0.10782,
              0.13034,
              0.17439,
              0.26171,
              0.43393
            ],
            [
              0.0863,
              0.09111,
              0.09656,
              0.10778,
              0.13033,
              0.17453,
              0.26134,
              0.43413
            ],
            [
              0.08654,
              0.09136,
              0.0968,
              0.10804,
              0.13059,
              0.17475,
              0.2618,
              0.43415
            ],
            [
              0.08727,
              0.09208,
              0.09753,
              0.10877,
              0.13136,
              0.17553,
              0.26252,
              0.4351
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.10221,
              0.11019,
              0.1186,
              0.13558,
              0.1696,
              0.23688,
              0.36993,
              0.6352
            ],
            [
              0.10211,
              0.11008,
              0.11849,
              0.13547,
              0.16949,
              0.23654,
              0.36973,
              0.63474
            ],
            [
              0.10197,
              0.10996,
              0.11837,
              0.13536,
              0.16938,
              0.23653,
              0.36968,
              0.63484
            ],
            [
              0.10182,
              0.10981,
              0.11822,
              0.13518,
              0.16923,
              0.23633,
              0.36956,
              0.63478
            ],
            [
              0.10166,
              0.10964,
              0.11806,
              0.13503,
              0.16906,
              0.23617,
              0.3693,
              0.63463
            ],
            [
              0.10146,
              0.10946,
              0.11787,
              0.13484,
              0.16888,
              0.23603,
              0.36927,
              0.63491
            ],
            [
              0.1013,
              0.10927,
              0.11768,
              0.13466,
              0.16867,
              0.2358,
              0.36889,
              0.63385
            ],
            [
              0.10113,
              0.1091,
              0.1175,
              0.1345,
              0.16849,
              0.23561,
              0.36862,
              0.63426
            ],
            [
              0.10098,
              0.10895,
              0.11735,
              0.13434,
              0.16837,
              0.23555,
              0.36853,
              0.63457
            ],
            [
              0.10095,
              0.1089,
              0.11732,
              0.13432,
              0.16833,
              0.23533,
              0.36871,
              0.63372
            ],
            [
              0.10105,
              0.10901,
              0.11739,
              0.13439,
              0.16834,
              0.23544,
              0.36832,
              0.63369
            ],
            [
              0.10151,
              0.10945,
              0.11782,
              0.13481,
              0.16881,
              0.23595,
              0.3692,
              0.63506
            ],
            [
              0.10247,
              0.11045,
              0.11883,
              0.13575,
              0.16967,
              0.23674,
              0.3701,
              0.63533
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.07694,
              0.06803,
              0.05963,
              0.04314,
              0.01032,
              -0.05562,
              -0.18837,
              -0.45484
            ],
            [
              0.07685,
              0.06796,
              0.05954,
              0.04303,
              0.01023,
              -0.05571,
              -0.1885,
              -0.45495
            ],
            [
              0.07675,
              0.06785,
              0.05944,
              0.04295,
              0.01013,
              -0.05581,
              -0.1886,
              -0.45503
            ],
            [
              0.07664,
              0.06773,
              0.0593,
              0.04282,
              0.01,
              -0.05595,
              -0.18871,
              -0.45517
            ],
            [
              0.07656,
              0.06765,
              0.05924,
              0.04274,
              0.00992,
              -0.05602,
              -0.18879,
              -0.45524
            ],
            [
              0.0765,
              0.06758,
              0.05917,
              0.04268,
              0.00986,
              -0.05611,
              -0.18885,
              -0.4553
            ],
            [
              0.07652,
              0.06761,
              0.05921,
              0.04269,
              0.00987,
              -0.05608,
              -0.18884,
              -0.45527
            ],
            [
              0.07672,
              0.0678,
              0.05938,
              0.04288,
              0.01005,
              -0.05591,
              -0.18868,
              -0.45513
            ],
            [
              0.07717,
              0.06828,
              0.05984,
              0.04335,
              0.01051,
              -0.05546,
              -0.18821,
              -0.45466
            ],
            [
              0.07797,
              0.06905,
              0.06064,
              0.04414,
              0.0113,
              -0.05466,
              -0.18743,
              -0.45386
            ],
            [
              0.07905,
              0.07015,
              0.06173,
              0.04521,
              0.01237,
              -0.05361,
              -0.18637,
              -0.4528
            ],
            [
              0.08047,
              0.07154,
              0.0631,
              0.04658,
              0.01374,
              -0.05224,
              -0.185,
              -0.45144
            ],
            [
              0.08228,
              0.07338,
              0.06497,
              0.04845,
              0.01557,
              -0.05044,
              -0.18319,
              -0.44961
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.04873,
              0.05697,
              0.06532,
              0.08213,
              0.11547,
              0.18213,
              0.31509,
              0.58017
            ],
            [
              0.04862,
              0.05687,
              0.06522,
              0.08203,
              0.11546,
              0.1821,
              0.31505,
              0.58077
            ],
            [
              0.04864,
              0.05688,
              0.06523,
              0.08204,
              0.11539,
              0.18208,
              0.31461,
              0.58022
            ],
            [
              0.04855,
              0.05681,
              0.06515,
              0.08193,
              0.1154,
              0.18212,
              0.31504,
              0.58011
            ],
            [
              0.04859,
              0.05683,
              0.06518,
              0.08203,
              0.11534,
              0.18197,
              0.31487,
              0.57972
            ],
            [
              0.04865,
              0.05689,
              0.06523,
              0.08205,
              0.11547,
              0.18209,
              0.31499,
              0.57995
            ],
            [
              0.04879,
              0.05702,
              0.06538,
              0.08218,
              0.11552,
              0.18215,
              0.31475,
              0.58031
            ],
            [
              0.04909,
              0.05733,
              0.06569,
              0.08246,
              0.11596,
              0.18259,
              0.31529,
              0.58198
            ],
            [
              0.04966,
              0.05791,
              0.06627,
              0.08303,
              0.1164,
              0.18303,
              0.31577,
              0.58109
            ],
            [
              0.05058,
              0.05881,
              0.06716,
              0.08395,
              0.11731,
              0.18396,
              0.3168,
              0.58246
            ],
            [
              0.05183,
              0.06007,
              0.06844,
              0.08515,
              0.11861,
              0.18527,
              0.318,
              0.58421
            ],
            [
              0.0535,
              0.06172,
              0.07007,
              0.08685,
              0.12018,
              0.18688,
              0.31954,
              0.58545
            ],
            [
              0.05595,
              0.06419,
              0.07256,
              0.08931,
              0.12256,
              0.18902,
              0.32173,
              0.58802
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.07502,
              0.07984,
              0.08527,
              0.09648,
              0.11898,
              0.16314,
              0.25021,
              0.42305
            ],
            [
              0.07502,
              0.07983,
              0.08527,
              0.09649,
              0.11899,
              0.16312,
              0.24993,
              0.42349
            ],
            [
              0.07496,
              0.07978,
              0.08521,
              0.09641,
              0.11892,
              0.16309,
              0.24989,
              0.42319
            ],
            [
              0.07495,
              0.07974,
              0.08519,
              0.09639,
              0.1189,
              0.16302,
              0.24992,
              0.42246
            ],
            [
              0.07487,
              0.07971,
              0.08514,
              0.09634,
              0.11886,
              0.16296,
              0.24983,
              0.42326
            ],
            [
              0.07487,
              0.07965,
              0.0851,
              0.0963,
              0.11879,
              0.16296,
              0.24972,
              0.42222
            ],
            [
              0.07481,
              0.07962,
              0.08506,
              0.09626,
              0.11877,
              0.16285,
              0.25009,
              0.4229
            ],
            [
              0.0748,
              0.07962,
              0.08504,
              0.09624,
              0.11876,
              0.16289,
              0.24989,
              0.4227
            ],
            [
              0.07488,
              0.07968,
              0.08511,
              0.09631,
              0.11878,
              0.16288,
              0.24975,
              0.42285
            ],
            [
              0.07508,
              0.0799,
              0.08532,
              0.0965,
              0.11895,
              0.16301,
              0.2502,
              0.42271
            ],
            [
              0.0755,
              0.08033,
              0.08576,
              0.09693,
              0.11936,
              0.16333,
              0.25035,
              0.42293
            ],
            [
              0.07628,
              0.0811,
              0.08653,
              0.09767,
              0.12002,
              0.16398,
              0.25098,
              0.42337
            ],
            [
              0.07765,
              0.08249,
              0.08789,
              0.09899,
              0.12127,
              0.16521,
              0.25217,
              0.42511
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.09718,
              0.10517,
              0.11356,
              0.13054,
              0.16448,
              0.23166,
              0.36496,
              0.62966
            ],
            [
              0.09707,
              0.10508,
              0.11346,
              0.13044,
              0.16437,
              0.2315,
              0.36477,
              0.63023
            ],
            [
              0.09697,
              0.10495,
              0.11336,
              0.13034,
              0.16428,
              0.23133,
              0.36438,
              0.62992
            ],
            [
              0.09688,
              0.10487,
              0.11327,
              0.13027,
              0.16423,
              0.23125,
              0.36472,
              0.62978
            ],
            [
              0.0967,
              0.10471,
              0.1131,
              0.13009,
              0.16402,
              0.23113,
              0.36421,
              0.62994
            ],
            [
              0.0966,
              0.10461,
              0.11299,
              0.12999,
              0.16392,
              0.23093,
              0.36408,
              0.6296
            ],
            [
              0.09652,
              0.1045,
              0.11291,
              0.12988,
              0.16381,
              0.23101,
              0.36372,
              0.62996
            ],
            [
              0.09648,
              0.10446,
              0.11286,
              0.12985,
              0.16379,
              0.23085,
              0.3642,
              0.62931
            ],
            [
              0.09655,
              0.10454,
              0.11294,
              0.12993,
              0.16381,
              0.2309,
              0.36443,
              0.62952
            ],
            [
              0.09676,
              0.10476,
              0.11314,
              0.13011,
              0.164,
              0.23105,
              0.36424,
              0.62946
            ],
            [
              0.09715,
              0.10514,
              0.11352,
              0.13047,
              0.16429,
              0.23135,
              0.36453,
              0.62947
            ],
            [
              0.09784,
              0.1058,
              0.11417,
              0.13109,
              0.16491,
              0.23187,
              0.3651,
              0.63095
            ],
            [
              0.09911,
              0.107,
              0.1153,
              0.13214,
              0.16588,
              0.23274,
              0.36569,
              0.63192
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.05158,
              0.04259,
              0.03408,
              0.01749,
              -0.01545,
              -0.08154,
              -0.21446,
              -0.48102
            ],
            [
              0.05153,
              0.04255,
              0.03403,
              0.01745,
              -0.01549,
              -0.08158,
              -0.21448,
              -0.48107
            ],
            [
              0.05152,
              0.04251,
              0.034,
              0.01741,
              -0.01552,
              -0.08163,
              -0.21452,
              -0.4811
            ],
            [
              0.05148,
              0.04247,
              0.03396,
              0.01736,
              -0.01557,
              -0.08167,
              -0.21457,
              -0.48115
            ],
            [
              0.05141,
              0.04242,
              0.03393,
              0.01732,
              -0.01561,
              -0.08171,
              -0.21461,
              -0.48119
            ],
            [
              0.0514,
              0.04239,
              0.03387,
              0.01728,
              -0.01566,
              -0.08175,
              -0.21466,
              -0.48122
            ],
            [
              0.05138,
              0.04232,
              0.03384,
              0.01724,
              -0.01572,
              -0.08181,
              -0.21469,
              -0.48128
            ],
            [
              0.05127,
              0.04229,
              0.0338,
              0.01717,
              -0.01579,
              -0.08188,
              -0.21478,
              -0.48134
            ],
            [
              0.05125,
              0.04222,
              0.03373,
              0.01708,
              -0.01589,
              -0.08199,
              -0.21487,
              -0.48142
            ],
            [
              0.05116,
              0.04215,
              0.03364,
              0.01699,
              -0.01603,
              -0.08216,
              -0.215,
              -0.48153
            ],
            [
              0.05123,
              0.04218,
              0.03362,
              0.01691,
              -0.01616,
              -0.08231,
              -0.21517,
              -0.48163
            ],
            [
              0.0516,
              0.04245,
              0.03386,
              0.01705,
              -0.01615,
              -0.08238,
              -0.21522,
              -0.48165
            ],
            [
              0.05247,
              0.04317,
              0.03449,
              0.01752,
              -0.01582,
              -0.08221,
              -0.2151,
              -0.48151
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.04191,
              0.05022,
              0.05864,
              0.07547,
              0.10884,
              0.17541,
              0.30764,
              0.57318
            ],
            [
              0.04182,
              0.05013,
              0.05853,
              0.07537,
              0.10876,
              0.17537,
              0.3078,
              0.57241
            ],
            [
              0.04182,
              0.05012,
              0.05852,
              0.07534,
              0.10873,
              0.17542,
              0.30774,
              0.57276
            ],
            [
              0.04176,
              0.05007,
              0.05847,
              0.07529,
              0.10868,
              0.17535,
              0.30757,
              0.57318
            ],
            [
              0.0417,
              0.05001,
              0.05841,
              0.07523,
              0.10862,
              0.17531,
              0.30781,
              0.57261
            ],
            [
              0.04163,
              0.04996,
              0.05837,
              0.07521,
              0.10856,
              0.1751,
              0.30756,
              0.57306
            ],
            [
              0.04157,
              0.04986,
              0.05826,
              0.0751,
              0.10846,
              0.17516,
              0.30764,
              0.5723
            ],
            [
              0.04146,
              0.04977,
              0.05818,
              0.07502,
              0.10834,
              0.17504,
              0.3076,
              0.57238
            ],
            [
              0.04137,
              0.04969,
              0.05807,
              0.07489,
              0.10827,
              0.17479,
              0.30708,
              0.5721
            ],
            [
              0.04131,
              0.04961,
              0.05798,
              0.07477,
              0.1081,
              0.17466,
              0.30703,
              0.5718
            ],
            [
              0.04135,
              0.04962,
              0.05796,
              0.07477,
              0.10805,
              0.17465,
              0.30697,
              0.57307
            ],
            [
              0.04154,
              0.04975,
              0.05803,
              0.07471,
              0.10799,
              0.1743,
              0.30683,
              0.57141
            ],
            [
              0.04206,
              0.05015,
              0.05844,
              0.07512,
              0.10828,
              0.17438,
              0.30727,
              0.57165
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.07144,
              0.0763,
              0.08175,
              0.09305,
              0.11587,
              0.16049,
              0.24728,
              0.4199
            ],
            [
              0.0714,
              0.07627,
              0.08172,
              0.09303,
              0.11584,
              0.16045,
              0.24723,
              0.41976
            ],
            [
              0.07137,
              0.07623,
              0.08168,
              0.09299,
              0.11581,
              0.16044,
              0.24719,
              0.42015
            ],
            [
              0.07133,
              0.07617,
              0.08165,
              0.09295,
              0.11577,
              0.16038,
              0.24707,
              0.41957
            ],
            [
              0.07126,
              0.0761,
              0.08158,
              0.09288,
              0.1157,
              0.16035,
              0.24705,
              0.41956
            ],
            [
              0.0712,
              0.07606,
              0.08151,
              0.09282,
              0.11563,
              0.16031,
              0.24703,
              0.41949
            ],
            [
              0.07111,
              0.07596,
              0.08142,
              0.09272,
              0.11552,
              0.16016,
              0.24692,
              0.41955
            ],
            [
              0.07099,
              0.07583,
              0.08129,
              0.09259,
              0.11541,
              0.16004,
              0.24677,
              0.41925
            ],
            [
              0.07081,
              0.07565,
              0.08111,
              0.09242,
              0.11519,
              0.1598,
              0.24654,
              0.41929
            ],
            [
              0.07069,
              0.07553,
              0.08098,
              0.09226,
              0.11501,
              0.15958,
              0.2463,
              0.41897
            ],
            [
              0.07065,
              0.07545,
              0.08087,
              0.09211,
              0.11479,
              0.15929,
              0.24608,
              0.4189
            ],
            [
              0.0707,
              0.07546,
              0.08084,
              0.09197,
              0.11458,
              0.15898,
              0.24573,
              0.41807
            ],
            [
              0.07103,
              0.07569,
              0.08101,
              0.0921,
              0.11461,
              0.15889,
              0.24556,
              0.41808
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.07635,
              0.08421,
              0.09254,
              0.10965,
              0.14367,
              0.2111,
              0.345,
              0.60978
            ],
            [
              0.07633,
              0.08416,
              0.09251,
              0.10961,
              0.14363,
              0.21111,
              0.34513,
              0.6105
            ],
            [
              0.07627,
              0.08415,
              0.09248,
              0.10958,
              0.14361,
              0.2113,
              0.34491,
              0.60982
            ],
            [
              0.07622,
              0.08408,
              0.09243,
              0.1095,
              0.14355,
              0.21116,
              0.34467,
              0.61069
            ],
            [
              0.07622,
              0.08406,
              0.09241,
              0.10951,
              0.14352,
              0.21113,
              0.34457,
              0.60973
            ],
            [
              0.07618,
              0.08402,
              0.09237,
              0.10944,
              0.14348,
              0.21099,
              0.34469,
              0.60978
            ],
            [
              0.07614,
              0.08398,
              0.09233,
              0.10936,
              0.14342,
              0.21102,
              0.34452,
              0.61053
            ],
            [
              0.07608,
              0.08393,
              0.09228,
              0.1093,
              0.14333,
              0.21094,
              0.34417,
              0.61018
            ],
            [
              0.07602,
              0.08387,
              0.09221,
              0.1092,
              0.14322,
              0.21077,
              0.34446,
              0.61023
            ],
            [
              0.07592,
              0.08376,
              0.09209,
              0.10905,
              0.14309,
              0.21058,
              0.34423,
              0.60929
            ],
            [
              0.07592,
              0.0837,
              0.09201,
              0.10895,
              0.14285,
              0.21025,
              0.34373,
              0.60953
            ],
            [
              0.0762,
              0.0839,
              0.09213,
              0.10895,
              0.14273,
              0.20992,
              0.34396,
              0.60922
            ],
            [
              0.07707,
              0.08453,
              0.09263,
              0.1093,
              0.14283,
              0.21006,
              0.34337,
              0.60867
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.26683,
    "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.68184,
              0.72737,
              0.75918,
              0.80743,
              0.87905,
              0.98699,
              1.15767,
              1.44987
            ],
            [
              0.68466,
              0.73017,
              0.76197,
              0.81021,
              0.88191,
              0.98984,
              1.16044,
              1.45254
            ],
            [
              0.68809,
              0.73362,
              0.76543,
              0.81368,
              0.8853,
              0.99322,
              1.16392,
              1.45612
            ],
            [
              0.69332,
              0.73886,
              0.77063,
              0.8189,
              0.89053,
              0.99848,
              1.16908,
              1.46148
            ],
            [
              0.7015,
              0.74703,
              0.77882,
              0.82709,
              0.8987,
              1.00661,
              1.17731,
              1.46961
            ],
            [
              0.71397,
              0.7595,
              0.7913,
              0.83955,
              0.91119,
              1.01912,
              1.18982,
              1.48202
            ],
            [
              0.73307,
              0.7786,
              0.8104,
              0.85866,
              0.93023,
              1.03823,
              1.20883,
              1.50113
            ],
            [
              0.76143,
              0.80696,
              0.83876,
              0.88706,
              0.95866,
              1.06656,
              1.23726,
              1.52956
            ],
            [
              0.80145,
              0.84695,
              0.87875,
              0.92695,
              0.99865,
              1.10655,
              1.27715,
              1.56955
            ],
            [
              0.85509,
              0.90059,
              0.93239,
              0.98069,
              1.05229,
              1.16029,
              1.33089,
              1.62319
            ],
            [
              0.92332,
              0.96882,
              1.00062,
              1.04882,
              1.12052,
              1.22842,
              1.39922,
              1.69152
            ],
            [
              1.00357,
              1.04897,
              1.08077,
              1.12907,
              1.20077,
              1.30887,
              1.47967,
              1.77197
            ],
            [
              1.0857,
              1.131,
              1.1627,
              1.2109,
              1.2826,
              1.3906,
              1.5615,
              1.854
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.58852,
              0.63298,
              0.66474,
              0.71515,
              0.79682,
              0.93784,
              1.20037,
              1.71657
            ],
            [
              0.59148,
              0.63593,
              0.6677,
              0.7181,
              0.79977,
              0.94078,
              1.20324,
              1.71924
            ],
            [
              0.59509,
              0.63955,
              0.67132,
              0.72172,
              0.80339,
              0.94441,
              1.20692,
              1.72332
            ],
            [
              0.60064,
              0.64509,
              0.67687,
              0.72727,
              0.80893,
              0.94993,
              1.21237,
              1.72837
            ],
            [
              0.60897,
              0.65343,
              0.68519,
              0.73561,
              0.81726,
              0.95831,
              1.22101,
              1.73781
            ],
            [
              0.62169,
              0.66613,
              0.6979,
              0.74831,
              0.82998,
              0.97092,
              1.23332,
              1.74912
            ],
            [
              0.64057,
              0.68502,
              0.71678,
              0.76721,
              0.84884,
              0.98983,
              1.25263,
              1.76933
            ],
            [
              0.66709,
              0.71153,
              0.74329,
              0.79372,
              0.87536,
              1.01616,
              1.27906,
              1.79556
            ],
            [
              0.70225,
              0.74667,
              0.77845,
              0.82885,
              0.91055,
              1.05145,
              1.31385,
              1.82975
            ],
            [
              0.74819,
              0.79259,
              0.82429,
              0.87479,
              0.95639,
              1.09729,
              1.36009,
              1.87659
            ],
            [
              0.80742,
              0.85172,
              0.88342,
              0.93382,
              1.01552,
              1.15652,
              1.41912,
              1.93582
            ],
            [
              0.88137,
              0.92557,
              0.95727,
              1.00767,
              1.08927,
              1.23017,
              1.49297,
              2.00947
            ],
            [
              0.9715,
              1.0157,
              1.0473,
              1.0977,
              1.1794,
              1.3201,
              1.583,
              2.0993
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08274,
              0.10905,
              0.12803,
              0.15904,
              0.21038,
              0.30074,
              0.47017,
              0.8126
            ],
            [
              0.0828,
              0.10918,
              0.12816,
              0.1588,
              0.21016,
              0.30024,
              0.47042,
              0.813
            ],
            [
              0.08274,
              0.10905,
              0.12803,
              0.15904,
              0.21038,
              0.30074,
              0.47017,
              0.8126
            ],
            [
              0.08275,
              0.109,
              0.12798,
              0.15902,
              0.20998,
              0.30119,
              0.47048,
              0.8121
            ],
            [
              0.08275,
              0.10901,
              0.12799,
              0.15902,
              0.21005,
              0.30105,
              0.47034,
              0.8122
            ],
            [
              0.08275,
              0.10904,
              0.12805,
              0.15881,
              0.21029,
              0.30076,
              0.4703,
              0.8128
            ],
            [
              0.08274,
              0.10904,
              0.12802,
              0.15898,
              0.21002,
              0.30078,
              0.4701,
              0.8126
            ],
            [
              0.08274,
              0.10901,
              0.12801,
              0.15905,
              0.2101,
              0.3009,
              0.4702,
              0.8125
            ],
            [
              0.0827,
              0.109,
              0.128,
              0.1586,
              0.21,
              0.3003,
              0.471,
              0.8127
            ],
            [
              0.0826,
              0.1089,
              0.128,
              0.159,
              0.2103,
              0.3007,
              0.4703,
              0.8128
            ],
            [
              0.0826,
              0.1089,
              0.1279,
              0.1587,
              0.2103,
              0.3007,
              0.4704,
              0.8129
            ],
            [
              0.0824,
              0.1086,
              0.1277,
              0.1583,
              0.2098,
              0.3003,
              0.47,
              0.813
            ],
            [
              0.082,
              0.1082,
              0.1273,
              0.158,
              0.2095,
              0.3,
              0.47,
              0.8127
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.0639,
              0.0943,
              0.11851,
              0.16242,
              0.24679,
              0.41786,
              0.77244,
              1.4993
            ],
            [
              0.0639,
              0.09426,
              0.11854,
              0.16246,
              0.24681,
              0.41808,
              0.77254,
              1.4999
            ],
            [
              0.0639,
              0.09421,
              0.11854,
              0.16238,
              0.24676,
              0.41733,
              0.77233,
              1.4985
            ],
            [
              0.06389,
              0.09425,
              0.11854,
              0.16247,
              0.2468,
              0.41815,
              0.77261,
              1.5
            ],
            [
              0.06386,
              0.09406,
              0.11856,
              0.16258,
              0.24692,
              0.41731,
              0.77167,
              1.5006
            ],
            [
              0.06387,
              0.09404,
              0.11855,
              0.16244,
              0.24674,
              0.41826,
              0.77272,
              1.5006
            ],
            [
              0.06389,
              0.09407,
              0.11857,
              0.16301,
              0.24705,
              0.41762,
              0.7715,
              1.5016
            ],
            [
              0.06386,
              0.09407,
              0.11852,
              0.16284,
              0.24647,
              0.41766,
              0.772,
              1.5016
            ],
            [
              0.06376,
              0.09394,
              0.11831,
              0.16236,
              0.2467,
              0.4182,
              0.7727,
              1.5005
            ],
            [
              0.0636,
              0.0939,
              0.1184,
              0.1627,
              0.2469,
              0.4176,
              0.772,
              1.5017
            ],
            [
              0.0634,
              0.0938,
              0.1181,
              0.1622,
              0.2465,
              0.4181,
              0.7724,
              1.4991
            ],
            [
              0.0631,
              0.0935,
              0.1181,
              0.1622,
              0.2467,
              0.4175,
              0.7724,
              1.4988
            ],
            [
              0.0628,
              0.0935,
              0.1179,
              0.162,
              0.2465,
              0.4176,
              0.7726,
              1.4993
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.72025,
              0.77279,
              0.80971,
              0.86546,
              0.94724,
              1.06767,
              1.25407,
              1.56947
            ],
            [
              0.7233,
              0.77584,
              0.81276,
              0.8685,
              0.95027,
              1.07064,
              1.25714,
              1.57264
            ],
            [
              0.72706,
              0.77959,
              0.81648,
              0.87225,
              0.95398,
              1.07442,
              1.26082,
              1.57662
            ],
            [
              0.73265,
              0.78519,
              0.82208,
              0.87786,
              0.95959,
              1.08008,
              1.26648,
              1.58218
            ],
            [
              0.74105,
              0.79357,
              0.83046,
              0.88622,
              0.96801,
              1.08841,
              1.27481,
              1.59041
            ],
            [
              0.75374,
              0.80625,
              0.84315,
              0.8989,
              0.98062,
              1.10112,
              1.28752,
              1.60302
            ],
            [
              0.77258,
              0.8251,
              0.86199,
              0.91773,
              0.99953,
              1.11993,
              1.30633,
              1.62193
            ],
            [
              0.80013,
              0.85266,
              0.88946,
              0.94526,
              1.02696,
              1.14746,
              1.33386,
              1.64956
            ],
            [
              0.83885,
              0.89115,
              0.92805,
              0.98375,
              1.06545,
              1.18595,
              1.37235,
              1.68805
            ],
            [
              0.89169,
              0.94369,
              0.98039,
              1.03599,
              1.11769,
              1.23829,
              1.42479,
              1.74039
            ],
            [
              0.95992,
              1.01152,
              1.04802,
              1.10352,
              1.18522,
              1.30582,
              1.49232,
              1.80782
            ],
            [
              1.04367,
              1.09487,
              1.13117,
              1.18647,
              1.26817,
              1.38887,
              1.57547,
              1.89097
            ],
            [
              1.144,
              1.1947,
              1.2307,
              1.2859,
              1.3677,
              1.4885,
              1.6753,
              1.9911
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.58498,
              0.63019,
              0.66278,
              0.71475,
              0.79878,
              0.94232,
              1.20637,
              1.72207
            ],
            [
              0.58784,
              0.63306,
              0.66564,
              0.71761,
              0.80164,
              0.94517,
              1.20924,
              1.72494
            ],
            [
              0.59131,
              0.63652,
              0.66911,
              0.72108,
              0.80511,
              0.94864,
              1.21272,
              1.72832
            ],
            [
              0.59657,
              0.64179,
              0.67437,
              0.72635,
              0.81037,
              0.95391,
              1.21798,
              1.73358
            ],
            [
              0.60479,
              0.65001,
              0.68259,
              0.73456,
              0.81859,
              0.96211,
              1.22621,
              1.74181
            ],
            [
              0.61729,
              0.6625,
              0.69508,
              0.74705,
              0.83109,
              0.97462,
              1.23872,
              1.75432
            ],
            [
              0.63632,
              0.68153,
              0.71412,
              0.76609,
              0.85012,
              0.99363,
              1.25773,
              1.77343
            ],
            [
              0.66464,
              0.70985,
              0.74244,
              0.79441,
              0.87846,
              1.02196,
              1.28606,
              1.80176
            ],
            [
              0.70528,
              0.75049,
              0.78305,
              0.83505,
              0.91905,
              1.06255,
              1.32675,
              1.84235
            ],
            [
              0.76139,
              0.80669,
              0.83929,
              0.89119,
              0.97529,
              1.11869,
              1.38279,
              1.89879
            ],
            [
              0.83532,
              0.88062,
              0.91322,
              0.96522,
              1.04932,
              1.19282,
              1.45682,
              1.97272
            ],
            [
              0.92937,
              0.97497,
              1.00767,
              1.05987,
              1.14407,
              1.28757,
              1.55157,
              2.06747
            ],
            [
              1.0414,
              1.0879,
              1.1211,
              1.1737,
              1.2582,
              1.4019,
              1.6661,
              2.1822
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.09628,
              0.1211,
              0.13985,
              0.17078,
              0.22418,
              0.31938,
              0.4996,
              0.8629
            ],
            [
              0.09648,
              0.12132,
              0.13976,
              0.17075,
              0.22421,
              0.32011,
              0.4995,
              0.863
            ],
            [
              0.0963,
              0.1212,
              0.13964,
              0.17074,
              0.22441,
              0.31999,
              0.5002,
              0.8627
            ],
            [
              0.09637,
              0.1212,
              0.13968,
              0.17071,
              0.22448,
              0.32006,
              0.5001,
              0.8629
            ],
            [
              0.09629,
              0.1211,
              0.13967,
              0.17102,
              0.22422,
              0.31952,
              0.5005,
              0.862
            ],
            [
              0.09628,
              0.12108,
              0.13969,
              0.17105,
              0.22426,
              0.3195,
              0.5002,
              0.8623
            ],
            [
              0.09629,
              0.1211,
              0.13972,
              0.17102,
              0.22431,
              0.3195,
              0.5006,
              0.8621
            ],
            [
              0.09628,
              0.12109,
              0.13966,
              0.1708,
              0.2244,
              0.3195,
              0.5002,
              0.8626
            ],
            [
              0.0963,
              0.1211,
              0.1396,
              0.1706,
              0.2243,
              0.32,
              0.4998,
              0.8631
            ],
            [
              0.0961,
              0.121,
              0.1394,
              0.1704,
              0.2237,
              0.3196,
              0.4999,
              0.863
            ],
            [
              0.0958,
              0.1208,
              0.1392,
              0.17,
              0.2234,
              0.3188,
              0.4994,
              0.8626
            ],
            [
              0.0955,
              0.1205,
              0.139,
              0.17,
              0.223,
              0.3184,
              0.4992,
              0.8623
            ],
            [
              0.0948,
              0.1204,
              0.1387,
              0.1694,
              0.2225,
              0.3182,
              0.4992,
              0.8625
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06409,
              0.09532,
              0.12054,
              0.16565,
              0.25065,
              0.42029,
              0.7732,
              1.4963
            ],
            [
              0.0641,
              0.09529,
              0.12055,
              0.16565,
              0.25064,
              0.4203,
              0.77351,
              1.4964
            ],
            [
              0.0641,
              0.0953,
              0.12054,
              0.16565,
              0.25064,
              0.42021,
              0.77352,
              1.4964
            ],
            [
              0.0641,
              0.09529,
              0.12054,
              0.16565,
              0.25064,
              0.4202,
              0.77351,
              1.4964
            ],
            [
              0.0641,
              0.09529,
              0.12055,
              0.16565,
              0.25064,
              0.42022,
              0.77343,
              1.4964
            ],
            [
              0.0641,
              0.09529,
              0.12054,
              0.16565,
              0.25059,
              0.42024,
              0.77345,
              1.4943
            ],
            [
              0.06409,
              0.09532,
              0.12055,
              0.16565,
              0.25067,
              0.42051,
              0.7733,
              1.4964
            ],
            [
              0.0641,
              0.09533,
              0.12054,
              0.16561,
              0.25068,
              0.42072,
              0.7731,
              1.4963
            ],
            [
              0.06409,
              0.09531,
              0.12055,
              0.16561,
              0.2506,
              0.4203,
              0.7728,
              1.4949
            ],
            [
              0.0641,
              0.0953,
              0.1204,
              0.1656,
              0.2505,
              0.4207,
              0.7725,
              1.4973
            ],
            [
              0.0641,
              0.0953,
              0.1205,
              0.1657,
              0.2505,
              0.4206,
              0.7723,
              1.4967
            ],
            [
              0.0643,
              0.0955,
              0.1206,
              0.1658,
              0.2505,
              0.4207,
              0.7724,
              1.4955
            ],
            [
              0.065,
              0.0962,
              0.1213,
              0.1664,
              0.2514,
              0.4213,
              0.7726,
              1.4954
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.6572,
              0.70551,
              0.73894,
              0.78919,
              0.86305,
              0.97297,
              1.14517,
              1.43857
            ],
            [
              0.6603,
              0.70861,
              0.74204,
              0.7923,
              0.86615,
              0.97609,
              1.14834,
              1.44164
            ],
            [
              0.664,
              0.7123,
              0.74572,
              0.79601,
              0.86984,
              0.97982,
              1.15202,
              1.44532
            ],
            [
              0.66961,
              0.71791,
              0.75135,
              0.80163,
              0.87545,
              0.98538,
              1.15758,
              1.45098
            ],
            [
              0.67803,
              0.72633,
              0.75975,
              0.81002,
              0.8839,
              0.99381,
              1.16601,
              1.45931
            ],
            [
              0.69076,
              0.73906,
              0.77249,
              0.82278,
              0.89661,
              1.00652,
              1.17872,
              1.47212
            ],
            [
              0.70975,
              0.75805,
              0.79148,
              0.84174,
              0.91563,
              1.02553,
              1.19773,
              1.49113
            ],
            [
              0.73766,
              0.78596,
              0.81939,
              0.86966,
              0.94356,
              1.05346,
              1.22566,
              1.51906
            ],
            [
              0.77705,
              0.82535,
              0.85875,
              0.90915,
              0.98295,
              1.09295,
              1.26515,
              1.55845
            ],
            [
              0.83029,
              0.87849,
              0.91199,
              0.96229,
              1.03619,
              1.14619,
              1.31839,
              1.61179
            ],
            [
              0.89842,
              0.94642,
              0.97982,
              1.03022,
              1.10412,
              1.21412,
              1.38632,
              1.67962
            ],
            [
              0.98167,
              1.02947,
              1.06287,
              1.11317,
              1.18717,
              1.29717,
              1.46947,
              1.76257
            ],
            [
              1.0828,
              1.1303,
              1.1636,
              1.2139,
              1.2879,
              1.3981,
              1.5704,
              1.8637
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.60443,
              0.65201,
              0.68602,
              0.73976,
              0.82604,
              0.97352,
              1.24817,
              1.78857
            ],
            [
              0.60728,
              0.65486,
              0.68887,
              0.74262,
              0.82889,
              0.97633,
              1.25094,
              1.79124
            ],
            [
              0.61073,
              0.65831,
              0.69232,
              0.74606,
              0.83234,
              0.97982,
              1.25442,
              1.79492
            ],
            [
              0.61596,
              0.66353,
              0.69754,
              0.75128,
              0.83757,
              0.98508,
              1.25968,
              1.80008
            ],
            [
              0.62414,
              0.67172,
              0.70573,
              0.75948,
              0.84575,
              0.99321,
              1.26781,
              1.80831
            ],
            [
              0.63659,
              0.68417,
              0.71818,
              0.77193,
              0.85821,
              1.00572,
              1.28032,
              1.82072
            ],
            [
              0.65556,
              0.70315,
              0.73716,
              0.79091,
              0.87718,
              1.02463,
              1.29923,
              1.83963
            ],
            [
              0.6837,
              0.73128,
              0.7653,
              0.81905,
              0.90526,
              1.05276,
              1.32736,
              1.86776
            ],
            [
              0.72365,
              0.77125,
              0.80525,
              0.85895,
              0.94525,
              1.09275,
              1.36735,
              1.90785
            ],
            [
              0.77799,
              0.82559,
              0.85959,
              0.91339,
              0.99959,
              1.14709,
              1.42169,
              1.96219
            ],
            [
              0.84892,
              0.89662,
              0.93062,
              0.98442,
              1.07072,
              1.21822,
              1.49272,
              2.03312
            ],
            [
              0.93977,
              0.98757,
              1.02177,
              1.07557,
              1.16197,
              1.30957,
              1.58417,
              2.12447
            ],
            [
              1.0497,
              1.0983,
              1.1328,
              1.1871,
              1.2738,
              1.4217,
              1.6965,
              2.2366
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.07976,
              0.10556,
              0.12457,
              0.15559,
              0.20725,
              0.29839,
              0.46808,
              0.8094
            ],
            [
              0.07976,
              0.10555,
              0.12461,
              0.15588,
              0.20749,
              0.29836,
              0.46883,
              0.8096
            ],
            [
              0.07978,
              0.10553,
              0.12463,
              0.15591,
              0.20754,
              0.29837,
              0.46847,
              0.81
            ],
            [
              0.07976,
              0.10552,
              0.12462,
              0.1559,
              0.20757,
              0.2984,
              0.46863,
              0.8099
            ],
            [
              0.07985,
              0.10567,
              0.12464,
              0.15557,
              0.20751,
              0.29848,
              0.46779,
              0.8104
            ],
            [
              0.07982,
              0.10555,
              0.12465,
              0.15589,
              0.20758,
              0.2983,
              0.4685,
              0.8102
            ],
            [
              0.0798,
              0.10556,
              0.12461,
              0.1559,
              0.20747,
              0.2984,
              0.4689,
              0.8096
            ],
            [
              0.07993,
              0.10558,
              0.12459,
              0.1559,
              0.20746,
              0.2984,
              0.4681,
              0.8096
            ],
            [
              0.08041,
              0.1058,
              0.1248,
              0.1558,
              0.2075,
              0.2984,
              0.4679,
              0.8103
            ],
            [
              0.0809,
              0.106,
              0.1249,
              0.1559,
              0.2072,
              0.2982,
              0.4684,
              0.8094
            ],
            [
              0.0819,
              0.1067,
              0.1251,
              0.1557,
              0.2072,
              0.2982,
              0.4676,
              0.8103
            ],
            [
              0.0828,
              0.1071,
              0.1254,
              0.1558,
              0.207,
              0.2982,
              0.4685,
              0.8105
            ],
            [
              0.0836,
              0.1079,
              0.126,
              0.1561,
              0.2073,
              0.298,
              0.4688,
              0.8103
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06859,
              0.10059,
              0.12604,
              0.17139,
              0.25705,
              0.43084,
              0.79279,
              1.5337
            ],
            [
              0.06856,
              0.10062,
              0.12602,
              0.17137,
              0.25705,
              0.43087,
              0.79311,
              1.5353
            ],
            [
              0.06861,
              0.10058,
              0.12604,
              0.17134,
              0.25704,
              0.431,
              0.79305,
              1.5342
            ],
            [
              0.0686,
              0.10059,
              0.12604,
              0.1714,
              0.25708,
              0.43082,
              0.79277,
              1.5336
            ],
            [
              0.06859,
              0.1006,
              0.12604,
              0.17139,
              0.25703,
              0.43076,
              0.79272,
              1.5337
            ],
            [
              0.06858,
              0.10061,
              0.12604,
              0.1714,
              0.25709,
              0.43091,
              0.7927,
              1.5337
            ],
            [
              0.06856,
              0.10063,
              0.12597,
              0.17119,
              0.25702,
              0.43088,
              0.793,
              1.5338
            ],
            [
              0.06856,
              0.10063,
              0.12601,
              0.17134,
              0.25704,
              0.4309,
              0.7932,
              1.5352
            ],
            [
              0.06859,
              0.10066,
              0.1261,
              0.1714,
              0.2571,
              0.4308,
              0.7927,
              1.5337
            ],
            [
              0.0686,
              0.1007,
              0.1261,
              0.1715,
              0.2571,
              0.4311,
              0.7928,
              1.534
            ],
            [
              0.0688,
              0.1008,
              0.1261,
              0.1713,
              0.2571,
              0.431,
              0.7928,
              1.535
            ],
            [
              0.0691,
              0.1011,
              0.1263,
              0.1716,
              0.2574,
              0.4308,
              0.7927,
              1.5356
            ],
            [
              0.0697,
              0.1018,
              0.1271,
              0.1722,
              0.2578,
              0.4309,
              0.7921,
              1.5316
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.69089,
              0.73687,
              0.76897,
              0.81761,
              0.88968,
              0.99767,
              1.16807,
              1.45967
            ],
            [
              0.69373,
              0.7397,
              0.77179,
              0.82046,
              0.89244,
              1.00054,
              1.17084,
              1.46234
            ],
            [
              0.69715,
              0.74311,
              0.77522,
              0.82387,
              0.8959,
              1.00402,
              1.17432,
              1.46552
            ],
            [
              0.7024,
              0.74836,
              0.78048,
              0.82913,
              0.90116,
              1.00928,
              1.17958,
              1.47088
            ],
            [
              0.71053,
              0.75651,
              0.78861,
              0.83724,
              0.90931,
              1.01731,
              1.18771,
              1.47931
            ],
            [
              0.723,
              0.76896,
              0.80107,
              0.84971,
              0.92178,
              1.02982,
              1.20012,
              1.49152
            ],
            [
              0.74204,
              0.78801,
              0.82011,
              0.86874,
              0.94083,
              1.04883,
              1.21913,
              1.51073
            ],
            [
              0.77029,
              0.81626,
              0.84836,
              0.89696,
              0.96906,
              1.07716,
              1.24746,
              1.53876
            ],
            [
              0.81015,
              0.85615,
              0.88825,
              0.93685,
              1.00885,
              1.11705,
              1.28735,
              1.57885
            ],
            [
              0.86369,
              0.90959,
              0.94179,
              0.99039,
              1.06249,
              1.17049,
              1.34089,
              1.63219
            ],
            [
              0.93152,
              0.97742,
              1.00962,
              1.05822,
              1.13032,
              1.23842,
              1.40872,
              1.70032
            ],
            [
              1.01117,
              1.05717,
              1.08927,
              1.13797,
              1.21017,
              1.31847,
              1.48897,
              1.78037
            ],
            [
              1.0944,
              1.1402,
              1.1723,
              1.2209,
              1.2931,
              1.4014,
              1.5719,
              1.8635
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.58989,
              0.63545,
              0.66808,
              0.71996,
              0.8037,
              0.94705,
              1.21097,
              1.72757
            ],
            [
              0.5929,
              0.63845,
              0.67109,
              0.72296,
              0.80671,
              0.95005,
              1.21394,
              1.73044
            ],
            [
              0.59651,
              0.64205,
              0.6747,
              0.72656,
              0.8103,
              0.95352,
              1.21762,
              1.73432
            ],
            [
              0.60201,
              0.64755,
              0.68019,
              0.73206,
              0.81581,
              0.95913,
              1.22288,
              1.73918
            ],
            [
              0.61032,
              0.65586,
              0.68851,
              0.74038,
              0.8241,
              0.96741,
              1.23161,
              1.74861
            ],
            [
              0.62301,
              0.66856,
              0.7012,
              0.75308,
              0.83681,
              0.98022,
              1.24422,
              1.76102
            ],
            [
              0.64193,
              0.68747,
              0.72011,
              0.77197,
              0.85572,
              0.99903,
              1.26283,
              1.77883
            ],
            [
              0.66848,
              0.71402,
              0.74666,
              0.79852,
              0.88226,
              1.02556,
              1.28926,
              1.80556
            ],
            [
              0.70374,
              0.74926,
              0.78195,
              0.83375,
              0.91745,
              1.06075,
              1.32475,
              1.84125
            ],
            [
              0.74979,
              0.79529,
              0.82789,
              0.87969,
              0.96349,
              1.10669,
              1.37089,
              1.88729
            ],
            [
              0.80882,
              0.85422,
              0.88682,
              0.93872,
              1.02242,
              1.16572,
              1.42952,
              1.94602
            ],
            [
              0.88247,
              0.92777,
              0.96037,
              1.01217,
              1.09587,
              1.23907,
              1.50307,
              2.02007
            ],
            [
              0.9724,
              1.0176,
              1.0501,
              1.1019,
              1.1856,
              1.3286,
              1.593,
              2.1095
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08395,
              0.11031,
              0.12935,
              0.16003,
              0.21103,
              0.30081,
              0.47039,
              0.8109
            ],
            [
              0.08397,
              0.11039,
              0.12942,
              0.16015,
              0.21143,
              0.3011,
              0.46971,
              0.8115
            ],
            [
              0.08394,
              0.11039,
              0.12951,
              0.16013,
              0.21136,
              0.30072,
              0.46987,
              0.8119
            ],
            [
              0.08395,
              0.11039,
              0.12951,
              0.16013,
              0.21136,
              0.30072,
              0.46987,
              0.8118
            ],
            [
              0.08398,
              0.11031,
              0.12935,
              0.16003,
              0.21099,
              0.30081,
              0.4704,
              0.8108
            ],
            [
              0.08394,
              0.11052,
              0.12944,
              0.1601,
              0.21128,
              0.30064,
              0.4699,
              0.8118
            ],
            [
              0.08399,
              0.11031,
              0.12935,
              0.16,
              0.21101,
              0.3008,
              0.4705,
              0.8108
            ],
            [
              0.08394,
              0.11049,
              0.12944,
              0.16012,
              0.2112,
              0.3007,
              0.47,
              0.8118
            ],
            [
              0.084,
              0.1104,
              0.1294,
              0.1603,
              0.2111,
              0.3013,
              0.4696,
              0.8113
            ],
            [
              0.084,
              0.1104,
              0.1294,
              0.1601,
              0.2113,
              0.3006,
              0.4699,
              0.8119
            ],
            [
              0.0839,
              0.1103,
              0.1293,
              0.16,
              0.211,
              0.3007,
              0.4706,
              0.8116
            ],
            [
              0.0839,
              0.1104,
              0.1292,
              0.1599,
              0.2109,
              0.3012,
              0.4697,
              0.8117
            ],
            [
              0.0835,
              0.11,
              0.129,
              0.1598,
              0.2109,
              0.3005,
              0.4707,
              0.8114
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06578,
              0.09696,
              0.12216,
              0.16726,
              0.2527,
              0.42282,
              0.77634,
              1.5008
            ],
            [
              0.06574,
              0.09696,
              0.12217,
              0.16722,
              0.25253,
              0.4229,
              0.7764,
              1.5011
            ],
            [
              0.06573,
              0.09697,
              0.12205,
              0.16734,
              0.25234,
              0.42383,
              0.77587,
              1.5031
            ],
            [
              0.06578,
              0.09706,
              0.12229,
              0.16713,
              0.25247,
              0.42305,
              0.7764,
              1.502
            ],
            [
              0.06577,
              0.09696,
              0.12216,
              0.16768,
              0.25272,
              0.42319,
              0.77529,
              1.502
            ],
            [
              0.06578,
              0.09693,
              0.12221,
              0.16735,
              0.25262,
              0.42268,
              0.77609,
              1.5008
            ],
            [
              0.06576,
              0.09712,
              0.12221,
              0.16708,
              0.25241,
              0.42391,
              0.7763,
              1.5025
            ],
            [
              0.06574,
              0.09704,
              0.12222,
              0.1671,
              0.25248,
              0.42298,
              0.7763,
              1.5022
            ],
            [
              0.06562,
              0.09703,
              0.12195,
              0.16724,
              0.2523,
              0.4238,
              0.7761,
              1.5029
            ],
            [
              0.0655,
              0.0968,
              0.1218,
              0.1673,
              0.2523,
              0.4237,
              0.7759,
              1.5031
            ],
            [
              0.0653,
              0.0967,
              0.1218,
              0.1669,
              0.2522,
              0.4238,
              0.7762,
              1.5016
            ],
            [
              0.065,
              0.0963,
              0.1217,
              0.1669,
              0.2521,
              0.4232,
              0.7761,
              1.5033
            ],
            [
              0.0646,
              0.096,
              0.1214,
              0.1664,
              0.2517,
              0.4229,
              0.7757,
              1.5031
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.63587,
              0.68141,
              0.71318,
              0.76143,
              0.83303,
              0.94098,
              1.11157,
              1.40397
            ],
            [
              0.63806,
              0.6836,
              0.71538,
              0.76361,
              0.83524,
              0.94314,
              1.11384,
              1.40624
            ],
            [
              0.64088,
              0.68642,
              0.71819,
              0.76644,
              0.83805,
              0.94598,
              1.11662,
              1.40902
            ],
            [
              0.64534,
              0.69088,
              0.72267,
              0.77089,
              0.84254,
              0.95041,
              1.12108,
              1.41348
            ],
            [
              0.65248,
              0.69802,
              0.7298,
              0.77804,
              0.84963,
              0.95761,
              1.12821,
              1.42051
            ],
            [
              0.66385,
              0.70938,
              0.74117,
              0.78939,
              0.86107,
              0.96892,
              1.13952,
              1.43192
            ],
            [
              0.68189,
              0.72742,
              0.7592,
              0.80744,
              0.87903,
              0.98703,
              1.15763,
              1.44993
            ],
            [
              0.70989,
              0.75543,
              0.78721,
              0.83546,
              0.90706,
              1.01496,
              1.18556,
              1.47796
            ],
            [
              0.75243,
              0.79795,
              0.82975,
              0.87795,
              0.94965,
              1.05745,
              1.22815,
              1.52045
            ],
            [
              0.81399,
              0.85949,
              0.89129,
              0.93949,
              1.01109,
              1.11909,
              1.28969,
              1.58199
            ],
            [
              0.89552,
              0.94112,
              0.97282,
              1.02112,
              1.09272,
              1.20062,
              1.37132,
              1.66362
            ],
            [
              0.99567,
              1.04107,
              1.07287,
              1.12117,
              1.19287,
              1.30077,
              1.47147,
              1.76397
            ],
            [
              1.1116,
              1.1569,
              1.1886,
              1.2367,
              1.3082,
              1.4161,
              1.5867,
              1.8791
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.51249,
              0.55732,
              0.58928,
              0.63993,
              0.72181,
              0.86286,
              1.12567,
              1.64167
            ],
            [
              0.51541,
              0.56024,
              0.59221,
              0.64286,
              0.72473,
              0.86574,
              1.12874,
              1.64534
            ],
            [
              0.51915,
              0.56398,
              0.59594,
              0.6466,
              0.72847,
              0.86948,
              1.13242,
              1.64862
            ],
            [
              0.52482,
              0.56968,
              0.60164,
              0.65228,
              0.73418,
              0.8754,
              1.13808,
              1.65448
            ],
            [
              0.53354,
              0.57838,
              0.61035,
              0.661,
              0.74288,
              0.88396,
              1.14671,
              1.66271
            ],
            [
              0.5467,
              0.59155,
              0.62353,
              0.6742,
              0.75607,
              0.89713,
              1.16012,
              1.67692
            ],
            [
              0.56668,
              0.61154,
              0.64353,
              0.6942,
              0.77609,
              0.91713,
              1.18003,
              1.69623
            ],
            [
              0.59673,
              0.64163,
              0.67363,
              0.72432,
              0.80621,
              0.94736,
              1.21036,
              1.72716
            ],
            [
              0.64116,
              0.6861,
              0.71812,
              0.76885,
              0.85075,
              0.99205,
              1.25475,
              1.77115
            ],
            [
              0.70439,
              0.74939,
              0.78139,
              0.83219,
              0.91409,
              1.05529,
              1.31819,
              1.83499
            ],
            [
              0.78532,
              0.83042,
              0.86252,
              0.91332,
              0.99532,
              1.13652,
              1.39912,
              1.91542
            ],
            [
              0.88407,
              0.92917,
              0.96127,
              1.01207,
              1.09397,
              1.23517,
              1.49797,
              2.01487
            ],
            [
              1.0076,
              1.0528,
              1.0849,
              1.1357,
              1.2176,
              1.3584,
              1.6212,
              2.1377
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08277,
              0.10907,
              0.12803,
              0.15905,
              0.21006,
              0.30088,
              0.47018,
              0.8125
            ],
            [
              0.08278,
              0.10903,
              0.128,
              0.15873,
              0.20998,
              0.30056,
              0.47133,
              0.8118
            ],
            [
              0.08277,
              0.10906,
              0.12801,
              0.15906,
              0.21,
              0.30113,
              0.47041,
              0.8122
            ],
            [
              0.08278,
              0.10903,
              0.12798,
              0.15873,
              0.20997,
              0.3005,
              0.47106,
              0.8121
            ],
            [
              0.08277,
              0.10909,
              0.12804,
              0.15906,
              0.21007,
              0.30092,
              0.47022,
              0.8124
            ],
            [
              0.08283,
              0.10904,
              0.12804,
              0.15872,
              0.21008,
              0.3002,
              0.47127,
              0.813
            ],
            [
              0.0828,
              0.1091,
              0.12804,
              0.15907,
              0.21008,
              0.30107,
              0.4703,
              0.8124
            ],
            [
              0.08281,
              0.10905,
              0.12797,
              0.15872,
              0.20995,
              0.3004,
              0.4709,
              0.8122
            ],
            [
              0.08285,
              0.1091,
              0.128,
              0.1588,
              0.2102,
              0.3003,
              0.4704,
              0.8129
            ],
            [
              0.0828,
              0.1091,
              0.1281,
              0.1591,
              0.2101,
              0.301,
              0.4703,
              0.8125
            ],
            [
              0.0827,
              0.109,
              0.128,
              0.159,
              0.21,
              0.3012,
              0.4704,
              0.8121
            ],
            [
              0.0825,
              0.1088,
              0.1277,
              0.1588,
              0.2102,
              0.3002,
              0.4712,
              0.8124
            ],
            [
              0.0821,
              0.1084,
              0.1275,
              0.1582,
              0.2099,
              0.2997,
              0.4707,
              0.8125
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06477,
              0.09503,
              0.11935,
              0.16352,
              0.24727,
              0.41845,
              0.77266,
              1.50133
            ],
            [
              0.06478,
              0.09503,
              0.11943,
              0.16363,
              0.24723,
              0.41827,
              0.77232,
              1.5017
            ],
            [
              0.06477,
              0.09505,
              0.11941,
              0.16362,
              0.24722,
              0.41833,
              0.77246,
              1.5015
            ],
            [
              0.06484,
              0.09518,
              0.11955,
              0.16324,
              0.2475,
              0.41778,
              0.7726,
              1.4987
            ],
            [
              0.06482,
              0.09507,
              0.11932,
              0.16352,
              0.24734,
              0.41853,
              0.77273,
              1.5012
            ],
            [
              0.06484,
              0.0951,
              0.1195,
              0.16371,
              0.24772,
              0.41823,
              0.77217,
              1.5018
            ],
            [
              0.06488,
              0.09515,
              0.11949,
              0.16369,
              0.24729,
              0.41845,
              0.77255,
              1.5014
            ],
            [
              0.06498,
              0.09521,
              0.11965,
              0.16393,
              0.24782,
              0.41824,
              0.7717,
              1.5009
            ],
            [
              0.0651,
              0.09531,
              0.1198,
              0.16368,
              0.24783,
              0.4177,
              0.7726,
              1.4985
            ],
            [
              0.0653,
              0.0955,
              0.12,
              0.1642,
              0.248,
              0.4185,
              0.7718,
              1.4999
            ],
            [
              0.0656,
              0.0957,
              0.1201,
              0.164,
              0.2481,
              0.4182,
              0.7729,
              1.4996
            ],
            [
              0.0656,
              0.096,
              0.1201,
              0.1642,
              0.2482,
              0.4183,
              0.7718,
              1.5003
            ],
            [
              0.0661,
              0.0963,
              0.1204,
              0.1642,
              0.2477,
              0.4186,
              0.773,
              1.499
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.65405,
              0.70592,
              0.74257,
              0.79816,
              0.87994,
              1.00057,
              1.18707,
              1.50257
            ],
            [
              0.6568,
              0.70868,
              0.74532,
              0.80096,
              0.88275,
              1.00334,
              1.18984,
              1.50554
            ],
            [
              0.66035,
              0.71222,
              0.74887,
              0.80447,
              0.88626,
              1.00682,
              1.19332,
              1.50882
            ],
            [
              0.66568,
              0.71759,
              0.75423,
              0.80983,
              0.89163,
              1.01218,
              1.19868,
              1.51418
            ],
            [
              0.67379,
              0.7257,
              0.76236,
              0.818,
              0.89981,
              1.02041,
              1.20691,
              1.52261
            ],
            [
              0.68586,
              0.7378,
              0.77446,
              0.83008,
              0.91188,
              1.03242,
              1.21892,
              1.53442
            ],
            [
              0.70392,
              0.75588,
              0.79256,
              0.84818,
              0.93003,
              1.05053,
              1.23713,
              1.55273
            ],
            [
              0.73062,
              0.78264,
              0.81933,
              0.87496,
              0.95676,
              1.07736,
              1.26386,
              1.57926
            ],
            [
              0.76825,
              0.82045,
              0.85715,
              0.91285,
              0.99465,
              1.11525,
              1.30165,
              1.61745
            ],
            [
              0.81649,
              0.86919,
              0.90609,
              0.96199,
              1.04369,
              1.16419,
              1.35059,
              1.66599
            ],
            [
              0.87422,
              0.92762,
              0.96472,
              1.02072,
              1.10242,
              1.22272,
              1.40902,
              1.72472
            ],
            [
              0.94207,
              0.99617,
              1.03357,
              1.08957,
              1.17117,
              1.29127,
              1.47747,
              1.79287
            ],
            [
              1.0207,
              1.0747,
              1.1121,
              1.168,
              1.2495,
              1.3694,
              1.5555,
              1.871
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.54194,
              0.58709,
              0.61967,
              0.6716,
              0.75562,
              0.89914,
              1.16317,
              1.67907
            ],
            [
              0.544,
              0.58916,
              0.62173,
              0.67368,
              0.75768,
              0.90116,
              1.16524,
              1.68104
            ],
            [
              0.5467,
              0.59186,
              0.62443,
              0.67638,
              0.76039,
              0.90386,
              1.16792,
              1.68372
            ],
            [
              0.55097,
              0.59613,
              0.6287,
              0.68063,
              0.76467,
              0.90814,
              1.17228,
              1.68788
            ],
            [
              0.55784,
              0.60299,
              0.63556,
              0.68751,
              0.77151,
              0.91499,
              1.17911,
              1.69491
            ],
            [
              0.56877,
              0.61393,
              0.6465,
              0.69844,
              0.78245,
              0.92593,
              1.19002,
              1.70582
            ],
            [
              0.58614,
              0.63129,
              0.66386,
              0.7158,
              0.7998,
              0.94333,
              1.20733,
              1.72323
            ],
            [
              0.61317,
              0.65833,
              0.6909,
              0.74283,
              0.82685,
              0.97036,
              1.23436,
              1.75006
            ],
            [
              0.6545,
              0.69966,
              0.73224,
              0.78415,
              0.86815,
              1.01175,
              1.27575,
              1.79165
            ],
            [
              0.71559,
              0.76079,
              0.79329,
              0.84529,
              0.92929,
              1.07279,
              1.33689,
              1.85259
            ],
            [
              0.79962,
              0.84482,
              0.87742,
              0.92942,
              1.01342,
              1.15692,
              1.42102,
              1.93672
            ],
            [
              0.90737,
              0.95287,
              0.98557,
              1.03767,
              1.12177,
              1.26527,
              1.52947,
              2.04537
            ],
            [
              1.0364,
              1.0824,
              1.1153,
              1.1676,
              1.2519,
              1.3958,
              1.6602,
              2.1759
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.0957,
              0.12071,
              0.13925,
              0.17031,
              0.22345,
              0.31931,
              0.49937,
              0.8627
            ],
            [
              0.09574,
              0.12069,
              0.13916,
              0.17002,
              0.22334,
              0.31874,
              0.49971,
              0.8625
            ],
            [
              0.09571,
              0.12074,
              0.13935,
              0.17031,
              0.22358,
              0.31937,
              0.49908,
              0.8623
            ],
            [
              0.09581,
              0.12075,
              0.13922,
              0.1703,
              0.22359,
              0.31938,
              0.49906,
              0.8622
            ],
            [
              0.09581,
              0.1207,
              0.13916,
              0.17005,
              0.22343,
              0.31887,
              0.4997,
              0.8625
            ],
            [
              0.09572,
              0.12075,
              0.13923,
              0.17034,
              0.22368,
              0.31947,
              0.4993,
              0.8626
            ],
            [
              0.09575,
              0.12076,
              0.13936,
              0.17036,
              0.22354,
              0.31935,
              0.4996,
              0.8629
            ],
            [
              0.09578,
              0.12082,
              0.13918,
              0.17012,
              0.2238,
              0.3195,
              0.499,
              0.8624
            ],
            [
              0.09579,
              0.1209,
              0.1393,
              0.1705,
              0.2239,
              0.3195,
              0.4998,
              0.8623
            ],
            [
              0.0958,
              0.121,
              0.1395,
              0.1706,
              0.2244,
              0.3195,
              0.5004,
              0.8629
            ],
            [
              0.0954,
              0.121,
              0.1397,
              0.1713,
              0.225,
              0.3208,
              0.5008,
              0.8632
            ],
            [
              0.0939,
              0.1206,
              0.1401,
              0.1723,
              0.2265,
              0.3216,
              0.5013,
              0.8627
            ],
            [
              0.09,
              0.1198,
              0.1409,
              0.1742,
              0.2284,
              0.3236,
              0.5026,
              0.8642
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06396,
              0.09523,
              0.12047,
              0.16558,
              0.25063,
              0.42013,
              0.77292,
              1.4974
            ],
            [
              0.06392,
              0.09523,
              0.12034,
              0.16563,
              0.25039,
              0.42065,
              0.77213,
              1.4952
            ],
            [
              0.06392,
              0.09523,
              0.12039,
              0.16565,
              0.25041,
              0.42064,
              0.77211,
              1.4951
            ],
            [
              0.06396,
              0.09517,
              0.12045,
              0.16561,
              0.2506,
              0.42071,
              0.77277,
              1.4943
            ],
            [
              0.06392,
              0.09523,
              0.12036,
              0.16562,
              0.25045,
              0.4206,
              0.77357,
              1.4952
            ],
            [
              0.06391,
              0.09523,
              0.12036,
              0.16564,
              0.25045,
              0.42058,
              0.77215,
              1.4952
            ],
            [
              0.06394,
              0.09524,
              0.12042,
              0.16555,
              0.25058,
              0.42044,
              0.77311,
              1.4959
            ],
            [
              0.06394,
              0.09525,
              0.12037,
              0.16569,
              0.25046,
              0.42065,
              0.7723,
              1.4976
            ],
            [
              0.06396,
              0.09525,
              0.12043,
              0.16568,
              0.25063,
              0.4205,
              0.7721,
              1.497
            ],
            [
              0.064,
              0.0953,
              0.1205,
              0.1657,
              0.2506,
              0.4205,
              0.7723,
              1.4963
            ],
            [
              0.0641,
              0.0954,
              0.1206,
              0.1658,
              0.2506,
              0.4204,
              0.7726,
              1.4962
            ],
            [
              0.0652,
              0.0963,
              0.1214,
              0.1665,
              0.2511,
              0.4206,
              0.7725,
              1.4966
            ],
            [
              0.0666,
              0.0977,
              0.1227,
              0.1675,
              0.2524,
              0.4218,
              0.7737,
              1.4961
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.59867,
              0.64673,
              0.68017,
              0.73054,
              0.80453,
              0.91454,
              1.08677,
              1.38007
            ],
            [
              0.60155,
              0.64961,
              0.68305,
              0.73343,
              0.80741,
              0.91742,
              1.08964,
              1.38304
            ],
            [
              0.60508,
              0.65314,
              0.6866,
              0.73697,
              0.81097,
              0.92098,
              1.09322,
              1.38632
            ],
            [
              0.61055,
              0.65863,
              0.69205,
              0.74243,
              0.81642,
              0.92643,
              1.09868,
              1.39208
            ],
            [
              0.61875,
              0.66682,
              0.70028,
              0.75065,
              0.82465,
              0.93466,
              1.10691,
              1.40001
            ],
            [
              0.63104,
              0.67912,
              0.71258,
              0.76296,
              0.83695,
              0.94692,
              1.11912,
              1.41252
            ],
            [
              0.64935,
              0.69745,
              0.73091,
              0.78127,
              0.85525,
              0.96523,
              1.13753,
              1.43093
            ],
            [
              0.6766,
              0.72474,
              0.75818,
              0.80856,
              0.88256,
              0.99256,
              1.16476,
              1.45796
            ],
            [
              0.71574,
              0.76395,
              0.79735,
              0.84775,
              0.92175,
              1.03165,
              1.20395,
              1.49725
            ],
            [
              0.76819,
              0.81639,
              0.84989,
              0.90019,
              0.97409,
              1.08409,
              1.25629,
              1.54969
            ],
            [
              0.83242,
              0.88072,
              0.91412,
              0.96442,
              1.03822,
              1.14822,
              1.32042,
              1.61382
            ],
            [
              0.91007,
              0.95837,
              0.99167,
              1.04187,
              1.11557,
              1.22537,
              1.39767,
              1.69097
            ],
            [
              1.0021,
              1.0497,
              1.0827,
              1.1326,
              1.2063,
              1.3161,
              1.4884,
              1.7817
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.55539,
              0.60272,
              0.63663,
              0.69029,
              0.77651,
              0.92405,
              1.19847,
              1.73877
            ],
            [
              0.55746,
              0.6048,
              0.63871,
              0.69237,
              0.77858,
              0.92613,
              1.20064,
              1.74104
            ],
            [
              0.56021,
              0.60754,
              0.64145,
              0.69512,
              0.78132,
              0.92887,
              1.20332,
              1.74362
            ],
            [
              0.56459,
              0.61194,
              0.64585,
              0.69951,
              0.78572,
              0.93325,
              1.20778,
              1.74808
            ],
            [
              0.57156,
              0.61889,
              0.65281,
              0.70647,
              0.79268,
              0.94021,
              1.21471,
              1.75491
            ],
            [
              0.5825,
              0.62983,
              0.66375,
              0.71742,
              0.80362,
              0.95112,
              1.22562,
              1.76582
            ],
            [
              0.59966,
              0.64698,
              0.68089,
              0.73455,
              0.82078,
              0.96823,
              1.24283,
              1.78293
            ],
            [
              0.62635,
              0.67367,
              0.70759,
              0.76126,
              0.84746,
              0.99486,
              1.26946,
              1.80966
            ],
            [
              0.66759,
              0.7149,
              0.74881,
              0.80245,
              0.88865,
              1.03625,
              1.31075,
              1.85085
            ],
            [
              0.72949,
              0.77679,
              0.81069,
              0.86439,
              0.95059,
              1.09809,
              1.37269,
              1.91289
            ],
            [
              0.81572,
              0.86302,
              0.89692,
              0.95062,
              1.03682,
              1.18432,
              1.45892,
              1.99902
            ],
            [
              0.92547,
              0.97287,
              1.00687,
              1.06067,
              1.14697,
              1.29447,
              1.56917,
              2.10937
            ],
            [
              1.0582,
              1.1059,
              1.14,
              1.194,
              1.2804,
              1.4283,
              1.7029,
              2.2431
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08194,
              0.10655,
              0.12507,
              0.15555,
              0.207,
              0.29804,
              0.46875,
              0.8104
            ],
            [
              0.08192,
              0.10654,
              0.12511,
              0.15558,
              0.20702,
              0.29821,
              0.4684,
              0.8101
            ],
            [
              0.08182,
              0.1067,
              0.12506,
              0.15565,
              0.2071,
              0.29808,
              0.4678,
              0.8105
            ],
            [
              0.0818,
              0.10649,
              0.12516,
              0.15561,
              0.20739,
              0.2982,
              0.46853,
              0.8093
            ],
            [
              0.08177,
              0.10646,
              0.12505,
              0.15564,
              0.20711,
              0.29809,
              0.46781,
              0.8105
            ],
            [
              0.08171,
              0.10643,
              0.12501,
              0.15593,
              0.20735,
              0.29821,
              0.46773,
              0.8102
            ],
            [
              0.08161,
              0.10649,
              0.12499,
              0.15557,
              0.20701,
              0.2981,
              0.4685,
              0.81
            ],
            [
              0.0815,
              0.1063,
              0.12501,
              0.15559,
              0.20732,
              0.2982,
              0.4676,
              0.8105
            ],
            [
              0.08123,
              0.10615,
              0.125,
              0.1556,
              0.2074,
              0.2982,
              0.4679,
              0.8102
            ],
            [
              0.0807,
              0.106,
              0.1248,
              0.1555,
              0.2075,
              0.2983,
              0.4688,
              0.8099
            ],
            [
              0.08,
              0.1056,
              0.1246,
              0.1559,
              0.2072,
              0.2984,
              0.468,
              0.8099
            ],
            [
              0.079,
              0.1057,
              0.125,
              0.1559,
              0.2079,
              0.2988,
              0.4682,
              0.8094
            ],
            [
              0.0781,
              0.106,
              0.1257,
              0.1573,
              0.2089,
              0.2999,
              0.4698,
              0.8106
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06733,
              0.09946,
              0.12506,
              0.17048,
              0.2566,
              0.43041,
              0.79296,
              1.5335
            ],
            [
              0.06731,
              0.09949,
              0.12506,
              0.17047,
              0.2564,
              0.4309,
              0.79225,
              1.533
            ],
            [
              0.06732,
              0.09954,
              0.12499,
              0.17042,
              0.25627,
              0.43054,
              0.7935,
              1.5345
            ],
            [
              0.06733,
              0.0995,
              0.12505,
              0.17047,
              0.2566,
              0.4303,
              0.79286,
              1.533
            ],
            [
              0.06735,
              0.09949,
              0.12507,
              0.17044,
              0.25628,
              0.43058,
              0.79354,
              1.5373
            ],
            [
              0.06734,
              0.09949,
              0.12507,
              0.17044,
              0.25655,
              0.43034,
              0.79351,
              1.5352
            ],
            [
              0.06735,
              0.09954,
              0.12498,
              0.17048,
              0.25638,
              0.43051,
              0.7921,
              1.5354
            ],
            [
              0.06733,
              0.09946,
              0.12504,
              0.17042,
              0.25653,
              0.43025,
              0.7928,
              1.5371
            ],
            [
              0.06726,
              0.09939,
              0.12498,
              0.17038,
              0.2565,
              0.4305,
              0.7927,
              1.5356
            ],
            [
              0.0672,
              0.0994,
              0.1249,
              0.1704,
              0.2565,
              0.4304,
              0.7921,
              1.5334
            ],
            [
              0.0671,
              0.0993,
              0.1249,
              0.1703,
              0.2566,
              0.4302,
              0.7922,
              1.5356
            ],
            [
              0.0675,
              0.0996,
              0.1252,
              0.1706,
              0.2566,
              0.4306,
              0.7922,
              1.5341
            ],
            [
              0.0681,
              0.1003,
              0.1258,
              0.171,
              0.2571,
              0.431,
              0.7927,
              1.5338
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.65857,
              0.70469,
              0.73687,
              0.78559,
              0.85774,
              0.96587,
              1.13627,
              1.42787
            ],
            [
              0.66072,
              0.70685,
              0.73903,
              0.78775,
              0.8599,
              0.96803,
              1.13834,
              1.43004
            ],
            [
              0.6636,
              0.70971,
              0.74189,
              0.79061,
              0.86276,
              0.97089,
              1.14122,
              1.43282
            ],
            [
              0.66821,
              0.7143,
              0.7465,
              0.79521,
              0.86737,
              0.97547,
              1.14587,
              1.43738
            ],
            [
              0.67556,
              0.72166,
              0.75385,
              0.80257,
              0.87473,
              0.98281,
              1.15321,
              1.44481
            ],
            [
              0.68721,
              0.73329,
              0.76549,
              0.81422,
              0.88633,
              0.99452,
              1.16482,
              1.45612
            ],
            [
              0.70558,
              0.75167,
              0.78382,
              0.83255,
              0.90463,
              1.01283,
              1.18323,
              1.47473
            ],
            [
              0.73441,
              0.7805,
              0.81266,
              0.86136,
              0.93346,
              1.04166,
              1.21196,
              1.50356
            ],
            [
              0.77935,
              0.82535,
              0.85755,
              0.90625,
              0.97835,
              1.08645,
              1.25685,
              1.54845
            ],
            [
              0.84659,
              0.89269,
              0.92489,
              0.97359,
              1.04569,
              1.15379,
              1.32419,
              1.61559
            ],
            [
              0.93862,
              0.98472,
              1.01692,
              1.06562,
              1.13772,
              1.24582,
              1.41622,
              1.70782
            ],
            [
              1.05347,
              1.09957,
              1.13177,
              1.18047,
              1.25257,
              1.36077,
              1.53117,
              1.82277
            ],
            [
              1.1926,
              1.2385,
              1.2706,
              1.3191,
              1.3911,
              1.4992,
              1.6696,
              1.9612
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.50648,
              0.55195,
              0.58457,
              0.63642,
              0.72014,
              0.86336,
              1.12767,
              1.64457
            ],
            [
              0.50946,
              0.55493,
              0.58755,
              0.63941,
              0.72313,
              0.86647,
              1.13074,
              1.64764
            ],
            [
              0.51313,
              0.5586,
              0.59123,
              0.64308,
              0.72681,
              0.87004,
              1.13422,
              1.65082
            ],
            [
              0.5188,
              0.56427,
              0.59689,
              0.64875,
              0.73247,
              0.87577,
              1.14008,
              1.65698
            ],
            [
              0.52738,
              0.57286,
              0.60548,
              0.65734,
              0.74107,
              0.88431,
              1.14851,
              1.66501
            ],
            [
              0.54032,
              0.5858,
              0.61842,
              0.67028,
              0.754,
              0.89731,
              1.16152,
              1.67852
            ],
            [
              0.55977,
              0.60526,
              0.63789,
              0.68974,
              0.77347,
              0.91663,
              1.18103,
              1.69783
            ],
            [
              0.58884,
              0.63434,
              0.66696,
              0.71882,
              0.80256,
              0.94596,
              1.20996,
              1.72676
            ],
            [
              0.63093,
              0.67643,
              0.70906,
              0.76095,
              0.84465,
              0.98785,
              1.25205,
              1.76855
            ],
            [
              0.68789,
              0.73339,
              0.76599,
              0.81789,
              0.90159,
              1.04479,
              1.30909,
              1.82579
            ],
            [
              0.75512,
              0.80072,
              0.83332,
              0.88522,
              0.96892,
              1.11222,
              1.37622,
              1.89342
            ],
            [
              0.83497,
              0.88037,
              0.91297,
              0.96477,
              1.04847,
              1.19157,
              1.45577,
              1.97167
            ],
            [
              0.9305,
              0.976,
              1.0086,
              1.0605,
              1.1442,
              1.287,
              1.5513,
              2.0683
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08449,
              0.11089,
              0.12993,
              0.16053,
              0.21144,
              0.30123,
              0.47079,
              0.8109
            ],
            [
              0.08448,
              0.11094,
              0.12994,
              0.16052,
              0.21145,
              0.30122,
              0.47059,
              0.8112
            ],
            [
              0.08449,
              0.11108,
              0.12995,
              0.16057,
              0.21153,
              0.30113,
              0.47066,
              0.8115
            ],
            [
              0.08449,
              0.11106,
              0.12996,
              0.16061,
              0.21158,
              0.3011,
              0.47075,
              0.8117
            ],
            [
              0.0845,
              0.11092,
              0.13011,
              0.16062,
              0.21162,
              0.30116,
              0.47055,
              0.8113
            ],
            [
              0.08449,
              0.11089,
              0.12998,
              0.16065,
              0.21186,
              0.3011,
              0.4701,
              0.812
            ],
            [
              0.0845,
              0.11085,
              0.12989,
              0.16087,
              0.21153,
              0.30173,
              0.4699,
              0.8115
            ],
            [
              0.08451,
              0.11091,
              0.12991,
              0.16057,
              0.21151,
              0.3013,
              0.471,
              0.8109
            ],
            [
              0.08457,
              0.111,
              0.13,
              0.1607,
              0.2117,
              0.3012,
              0.4707,
              0.8117
            ],
            [
              0.0846,
              0.111,
              0.13,
              0.1607,
              0.2116,
              0.3016,
              0.4701,
              0.812
            ],
            [
              0.0846,
              0.111,
              0.1302,
              0.1608,
              0.2118,
              0.3012,
              0.4708,
              0.8115
            ],
            [
              0.0846,
              0.1111,
              0.1301,
              0.1606,
              0.2117,
              0.3014,
              0.4707,
              0.8109
            ],
            [
              0.0844,
              0.1108,
              0.1299,
              0.1605,
              0.212,
              0.3021,
              0.4709,
              0.8119
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06547,
              0.09673,
              0.12194,
              0.16742,
              0.25254,
              0.42333,
              0.77522,
              1.5033
            ],
            [
              0.0655,
              0.09672,
              0.12199,
              0.16716,
              0.25255,
              0.4231,
              0.77491,
              1.5029
            ],
            [
              0.06546,
              0.09673,
              0.12187,
              0.16728,
              0.25224,
              0.42363,
              0.77578,
              1.5031
            ],
            [
              0.0655,
              0.09674,
              0.12197,
              0.16753,
              0.25257,
              0.4233,
              0.7749,
              1.5031
            ],
            [
              0.06551,
              0.09675,
              0.12197,
              0.16716,
              0.25223,
              0.42366,
              0.77591,
              1.503
            ],
            [
              0.06552,
              0.09676,
              0.12199,
              0.1675,
              0.25258,
              0.42332,
              0.77492,
              1.5031
            ],
            [
              0.06552,
              0.09676,
              0.12196,
              0.16738,
              0.2525,
              0.42349,
              0.77536,
              1.5033
            ],
            [
              0.06555,
              0.0968,
              0.12202,
              0.16714,
              0.25263,
              0.42269,
              0.7762,
              1.5006
            ],
            [
              0.06557,
              0.09696,
              0.12186,
              0.16716,
              0.25226,
              0.4238,
              0.776,
              1.503
            ],
            [
              0.0657,
              0.0968,
              0.122,
              0.1674,
              0.2524,
              0.4237,
              0.7755,
              1.5032
            ],
            [
              0.0657,
              0.097,
              0.1222,
              0.1671,
              0.2527,
              0.4228,
              0.7763,
              1.5025
            ],
            [
              0.0654,
              0.0966,
              0.1218,
              0.1673,
              0.2523,
              0.4234,
              0.7755,
              1.502
            ],
            [
              0.0656,
              0.0968,
              0.1222,
              0.167,
              0.2521,
              0.4225,
              0.7762,
              1.502
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.4787,
              0.5247,
              0.55674,
              0.60529,
              0.67716,
              0.78529,
              0.95604,
              1.24847
            ],
            [
              0.48175,
              0.52777,
              0.55981,
              0.60834,
              0.68022,
              0.78834,
              0.9591,
              1.25154
            ],
            [
              0.48541,
              0.53142,
              0.56346,
              0.61201,
              0.68392,
              0.79199,
              0.96276,
              1.25522
            ],
            [
              0.49079,
              0.5368,
              0.56885,
              0.61738,
              0.68927,
              0.79734,
              0.96818,
              1.26058
            ],
            [
              0.4994,
              0.54541,
              0.57747,
              0.626,
              0.69788,
              0.80599,
              0.97681,
              1.26901
            ],
            [
              0.51226,
              0.55827,
              0.59031,
              0.63885,
              0.71074,
              0.81887,
              0.98962,
              1.28212
            ],
            [
              0.53173,
              0.57774,
              0.60976,
              0.65826,
              0.7302,
              0.83831,
              1.00913,
              1.30133
            ],
            [
              0.56108,
              0.60707,
              0.63912,
              0.68763,
              0.75952,
              0.86766,
              1.03846,
              1.33096
            ],
            [
              0.605,
              0.65099,
              0.68299,
              0.73148,
              0.80345,
              0.91155,
              1.08245,
              1.37485
            ],
            [
              0.67019,
              0.71619,
              0.74819,
              0.79659,
              0.86859,
              0.97669,
              1.14769,
              1.44029
            ],
            [
              0.76582,
              0.81182,
              0.84382,
              0.89222,
              0.96412,
              1.07242,
              1.24342,
              1.53612
            ],
            [
              0.90007,
              0.94627,
              0.97837,
              1.02687,
              1.09887,
              1.20737,
              1.37857,
              1.67107
            ],
            [
              1.07,
              1.1185,
              1.1521,
              1.2025,
              1.2766,
              1.3867,
              1.559,
              1.8523
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.3379,
              0.38291,
              0.41535,
              0.46698,
              0.5504,
              0.69303,
              0.95663,
              1.47297
            ],
            [
              0.34105,
              0.38604,
              0.41849,
              0.4701,
              0.55353,
              0.69639,
              0.95991,
              1.47504
            ],
            [
              0.34487,
              0.38988,
              0.42232,
              0.47395,
              0.55738,
              0.70016,
              0.96372,
              1.47952
            ],
            [
              0.35053,
              0.39555,
              0.428,
              0.47963,
              0.56305,
              0.70583,
              0.96937,
              1.48528
            ],
            [
              0.35904,
              0.40405,
              0.43649,
              0.48812,
              0.57154,
              0.71442,
              0.97791,
              1.49301
            ],
            [
              0.37172,
              0.41673,
              0.44918,
              0.50081,
              0.58424,
              0.7269,
              0.99052,
              1.50682
            ],
            [
              0.39068,
              0.43571,
              0.46816,
              0.51979,
              0.60321,
              0.74608,
              1.00963,
              1.52483
            ],
            [
              0.41888,
              0.46392,
              0.49638,
              0.54802,
              0.63143,
              0.77424,
              1.03786,
              1.55326
            ],
            [
              0.46033,
              0.50543,
              0.53788,
              0.58952,
              0.67292,
              0.81565,
              1.07935,
              1.59545
            ],
            [
              0.52054,
              0.56566,
              0.59811,
              0.64969,
              0.73309,
              0.87589,
              1.13919,
              1.65599
            ],
            [
              0.60472,
              0.65002,
              0.68252,
              0.73412,
              0.81752,
              0.96042,
              1.22372,
              1.74072
            ],
            [
              0.71577,
              0.76327,
              0.79697,
              0.84987,
              0.93417,
              1.07747,
              1.34127,
              1.85757
            ],
            [
              0.8563,
              0.9071,
              0.9428,
              0.9984,
              1.0857,
              1.2314,
              1.496,
              2.0123
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08489,
              0.1109,
              0.12979,
              0.16032,
              0.21121,
              0.30177,
              0.47149,
              0.81258
            ],
            [
              0.08481,
              0.11096,
              0.12974,
              0.16032,
              0.21153,
              0.30175,
              0.47152,
              0.81237
            ],
            [
              0.0849,
              0.1109,
              0.12979,
              0.16032,
              0.21137,
              0.30159,
              0.47141,
              0.81261
            ],
            [
              0.08482,
              0.11088,
              0.12979,
              0.16032,
              0.21121,
              0.30112,
              0.47151,
              0.81227
            ],
            [
              0.08482,
              0.11092,
              0.12993,
              0.16031,
              0.21122,
              0.30137,
              0.47097,
              0.81328
            ],
            [
              0.08489,
              0.1109,
              0.12979,
              0.16033,
              0.21154,
              0.3017,
              0.47143,
              0.81263
            ],
            [
              0.08496,
              0.11111,
              0.12975,
              0.16023,
              0.21152,
              0.30168,
              0.4707,
              0.8134
            ],
            [
              0.08486,
              0.11089,
              0.12986,
              0.16034,
              0.21121,
              0.3013,
              0.47147,
              0.8123
            ],
            [
              0.08482,
              0.11107,
              0.12977,
              0.16032,
              0.21148,
              0.3018,
              0.4714,
              0.8124
            ],
            [
              0.08496,
              0.1112,
              0.1299,
              0.1604,
              0.2113,
              0.3013,
              0.4707,
              0.8126
            ],
            [
              0.0851,
              0.1113,
              0.1301,
              0.1606,
              0.2119,
              0.3022,
              0.4721,
              0.8128
            ],
            [
              0.0874,
              0.1129,
              0.1317,
              0.1622,
              0.2126,
              0.3027,
              0.4715,
              0.8135
            ],
            [
              0.0954,
              0.1215,
              0.1404,
              0.1703,
              0.2198,
              0.3075,
              0.4754,
              0.8141
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06335,
              0.09489,
              0.12027,
              0.16563,
              0.2512,
              0.42275,
              0.77571,
              1.50081
            ],
            [
              0.0633,
              0.0949,
              0.12036,
              0.16571,
              0.25121,
              0.42188,
              0.77478,
              1.50217
            ],
            [
              0.06333,
              0.09485,
              0.12015,
              0.16567,
              0.25115,
              0.42261,
              0.7752,
              1.50049
            ],
            [
              0.06333,
              0.09485,
              0.12015,
              0.16568,
              0.25116,
              0.42265,
              0.77527,
              1.50036
            ],
            [
              0.06334,
              0.09485,
              0.12013,
              0.16563,
              0.25109,
              0.42192,
              0.7748,
              1.50229
            ],
            [
              0.06336,
              0.09492,
              0.1203,
              0.16602,
              0.25122,
              0.42276,
              0.77569,
              1.50087
            ],
            [
              0.06339,
              0.09491,
              0.12022,
              0.16567,
              0.25117,
              0.42205,
              0.77483,
              1.50239
            ],
            [
              0.06344,
              0.09499,
              0.1205,
              0.16594,
              0.25121,
              0.4226,
              0.77492,
              1.5018
            ],
            [
              0.06347,
              0.09502,
              0.12041,
              0.1656,
              0.25145,
              0.42306,
              0.77558,
              1.5
            ],
            [
              0.06355,
              0.09525,
              0.12054,
              0.16568,
              0.25122,
              0.4233,
              0.7761,
              1.5032
            ],
            [
              0.0646,
              0.0958,
              0.1211,
              0.1663,
              0.2518,
              0.4221,
              0.7762,
              1.5015
            ],
            [
              0.069,
              0.1009,
              0.1258,
              0.1705,
              0.2545,
              0.4247,
              0.7761,
              1.5027
            ],
            [
              0.0757,
              0.1088,
              0.1346,
              0.1793,
              0.2626,
              0.429,
              0.7792,
              1.503
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.70696,
              0.75374,
              0.78713,
              0.83955,
              0.9204,
              1.04327,
              1.23267,
              1.55007
            ],
            [
              0.71015,
              0.75693,
              0.79031,
              0.84274,
              0.92358,
              1.04644,
              1.23594,
              1.55314
            ],
            [
              0.71397,
              0.76076,
              0.79415,
              0.84658,
              0.92736,
              1.05032,
              1.23962,
              1.55702
            ],
            [
              0.71974,
              0.7665,
              0.79988,
              0.8523,
              0.93312,
              1.05608,
              1.24558,
              1.56258
            ],
            [
              0.7284,
              0.77518,
              0.80855,
              0.86098,
              0.9418,
              1.06471,
              1.25421,
              1.57131
            ],
            [
              0.74142,
              0.7882,
              0.82158,
              0.87401,
              0.95482,
              1.07772,
              1.26722,
              1.58432
            ],
            [
              0.76117,
              0.80795,
              0.84132,
              0.89373,
              0.97453,
              1.09743,
              1.28703,
              1.60423
            ],
            [
              0.79075,
              0.83746,
              0.87086,
              0.92326,
              1.00406,
              1.12706,
              1.31656,
              1.63366
            ],
            [
              0.83495,
              0.88175,
              0.91515,
              0.96755,
              1.04835,
              1.17105,
              1.36065,
              1.67805
            ],
            [
              0.89689,
              0.94369,
              0.97699,
              1.02929,
              1.11009,
              1.23299,
              1.42249,
              1.73999
            ],
            [
              0.98202,
              1.02882,
              1.06212,
              1.11442,
              1.19522,
              1.31802,
              1.50762,
              1.82492
            ],
            [
              1.09787,
              1.14427,
              1.17747,
              1.22957,
              1.31027,
              1.43307,
              1.62267,
              1.94017
            ],
            [
              1.2479,
              1.2936,
              1.3263,
              1.3779,
              1.4581,
              1.5806,
              1.77,
              2.0868
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.59115,
              0.63852,
              0.67258,
              0.72653,
              0.81327,
              0.96134,
              1.23617,
              1.77577
            ],
            [
              0.59424,
              0.64162,
              0.67568,
              0.72963,
              0.81637,
              0.96443,
              1.23924,
              1.77864
            ],
            [
              0.59795,
              0.64532,
              0.67938,
              0.73333,
              0.82006,
              0.96814,
              1.24292,
              1.78232
            ],
            [
              0.60337,
              0.65075,
              0.6848,
              0.73876,
              0.82549,
              0.97357,
              1.24838,
              1.78778
            ],
            [
              0.61205,
              0.65941,
              0.69349,
              0.74744,
              0.83416,
              0.98221,
              1.25701,
              1.79641
            ],
            [
              0.62498,
              0.67235,
              0.70642,
              0.76038,
              0.84712,
              0.99522,
              1.26992,
              1.80932
            ],
            [
              0.64447,
              0.69186,
              0.72593,
              0.77991,
              0.86664,
              1.01473,
              1.28953,
              1.82883
            ],
            [
              0.67391,
              0.7213,
              0.75538,
              0.80936,
              0.89606,
              1.04406,
              1.31886,
              1.85826
            ],
            [
              0.71841,
              0.76585,
              0.79985,
              0.85385,
              0.94055,
              1.08855,
              1.36335,
              1.90275
            ],
            [
              0.78599,
              0.83329,
              0.86739,
              0.92139,
              1.00799,
              1.15599,
              1.43079,
              1.97029
            ],
            [
              0.88552,
              0.93282,
              0.96692,
              1.02082,
              1.10742,
              1.25532,
              1.53012,
              2.06942
            ],
            [
              1.01877,
              1.06607,
              1.10007,
              1.15397,
              1.24057,
              1.38837,
              1.66307,
              2.20257
            ],
            [
              1.1871,
              1.2347,
              1.2688,
              1.3228,
              1.4095,
              1.5573,
              1.8321,
              2.3714
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08659,
              0.11339,
              0.13269,
              0.16399,
              0.21713,
              0.31318,
              0.49513,
              0.8592
            ],
            [
              0.0866,
              0.1134,
              0.13269,
              0.164,
              0.21712,
              0.31317,
              0.4952,
              0.8598
            ],
            [
              0.0866,
              0.11345,
              0.13274,
              0.16404,
              0.21719,
              0.3123,
              0.4944,
              0.859
            ],
            [
              0.08659,
              0.11334,
              0.13263,
              0.16429,
              0.21693,
              0.31283,
              0.495,
              0.8594
            ],
            [
              0.08659,
              0.11333,
              0.13263,
              0.16428,
              0.21688,
              0.31288,
              0.495,
              0.8593
            ],
            [
              0.08658,
              0.11339,
              0.13267,
              0.16397,
              0.21713,
              0.31236,
              0.4951,
              0.8595
            ],
            [
              0.08658,
              0.11335,
              0.13265,
              0.16394,
              0.2171,
              0.3131,
              0.4951,
              0.8598
            ],
            [
              0.08655,
              0.11325,
              0.1326,
              0.16397,
              0.2168,
              0.3128,
              0.4949,
              0.8592
            ],
            [
              0.0865,
              0.1132,
              0.1326,
              0.1642,
              0.2169,
              0.3127,
              0.4948,
              0.8595
            ],
            [
              0.0866,
              0.1133,
              0.1324,
              0.1639,
              0.2169,
              0.3128,
              0.4944,
              0.8589
            ],
            [
              0.0865,
              0.1132,
              0.1327,
              0.1641,
              0.2166,
              0.3127,
              0.4944,
              0.8589
            ],
            [
              0.0866,
              0.1132,
              0.1326,
              0.164,
              0.2171,
              0.3129,
              0.4954,
              0.8594
            ],
            [
              0.087,
              0.1138,
              0.1332,
              0.1645,
              0.2172,
              0.3126,
              0.4946,
              0.8597
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06632,
              0.09768,
              0.12262,
              0.16769,
              0.25336,
              0.42692,
              0.78685,
              1.528
            ],
            [
              0.06631,
              0.09754,
              0.12263,
              0.16771,
              0.25337,
              0.42689,
              0.78759,
              1.5279
            ],
            [
              0.06631,
              0.09768,
              0.12262,
              0.16769,
              0.25335,
              0.42663,
              0.78862,
              1.5266
            ],
            [
              0.0663,
              0.09757,
              0.12263,
              0.16749,
              0.25337,
              0.4264,
              0.78837,
              1.5285
            ],
            [
              0.0663,
              0.09758,
              0.12277,
              0.16769,
              0.25334,
              0.42704,
              0.7886,
              1.5276
            ],
            [
              0.06631,
              0.09756,
              0.12262,
              0.16748,
              0.25337,
              0.42632,
              0.78763,
              1.5307
            ],
            [
              0.06628,
              0.09756,
              0.12267,
              0.16748,
              0.25337,
              0.42642,
              0.7876,
              1.5273
            ],
            [
              0.0663,
              0.09754,
              0.12264,
              0.16758,
              0.25339,
              0.4266,
              0.7877,
              1.5259
            ],
            [
              0.0663,
              0.09779,
              0.12295,
              0.1674,
              0.2534,
              0.4263,
              0.7884,
              1.5282
            ],
            [
              0.0663,
              0.0976,
              0.1227,
              0.1676,
              0.2532,
              0.4265,
              0.7884,
              1.5264
            ],
            [
              0.0664,
              0.0976,
              0.1226,
              0.1678,
              0.2532,
              0.4265,
              0.7881,
              1.5286
            ],
            [
              0.0664,
              0.0977,
              0.1228,
              0.1675,
              0.2533,
              0.4265,
              0.7873,
              1.527
            ],
            [
              0.0673,
              0.0985,
              0.1236,
              0.1685,
              0.2539,
              0.4275,
              0.7874,
              1.5281
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.70737,
              0.75417,
              0.78757,
              0.83998,
              0.92084,
              1.04367,
              1.23327,
              1.55047
            ],
            [
              0.71054,
              0.75736,
              0.79074,
              0.84316,
              0.92403,
              1.04684,
              1.23634,
              1.55374
            ],
            [
              0.71438,
              0.76119,
              0.79457,
              0.847,
              0.92782,
              1.05072,
              1.24022,
              1.55792
            ],
            [
              0.72013,
              0.76692,
              0.80031,
              0.85276,
              0.93354,
              1.05648,
              1.24588,
              1.56307
            ],
            [
              0.72881,
              0.7756,
              0.80899,
              0.86143,
              0.94222,
              1.06521,
              1.25461,
              1.57201
            ],
            [
              0.74182,
              0.78863,
              0.82201,
              0.87444,
              0.95532,
              1.07812,
              1.26772,
              1.58502
            ],
            [
              0.76158,
              0.80837,
              0.84175,
              0.89413,
              0.97503,
              1.09793,
              1.28743,
              1.60503
            ],
            [
              0.79118,
              0.83796,
              0.87126,
              0.92366,
              1.00446,
              1.12746,
              1.31706,
              1.63406
            ],
            [
              0.83535,
              0.88225,
              0.91565,
              0.96795,
              1.04875,
              1.17155,
              1.36115,
              1.67845
            ],
            [
              0.89739,
              0.94409,
              0.97749,
              1.02979,
              1.11059,
              1.23349,
              1.42319,
              1.74069
            ],
            [
              0.98252,
              1.02932,
              1.06262,
              1.11492,
              1.19572,
              1.31872,
              1.50822,
              1.82562
            ],
            [
              1.09837,
              1.14487,
              1.17807,
              1.23017,
              1.31077,
              1.43367,
              1.62327,
              1.94067
            ],
            [
              1.2485,
              1.2942,
              1.3269,
              1.3785,
              1.4587,
              1.5812,
              1.7706,
              2.0877
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.59083,
              0.63822,
              0.67228,
              0.72624,
              0.81298,
              0.96104,
              1.23587,
              1.77517
            ],
            [
              0.59392,
              0.64132,
              0.67538,
              0.72934,
              0.81607,
              0.96413,
              1.23894,
              1.77844
            ],
            [
              0.59762,
              0.64501,
              0.67908,
              0.73303,
              0.81977,
              0.96783,
              1.24262,
              1.78202
            ],
            [
              0.60306,
              0.65045,
              0.68451,
              0.73847,
              0.8252,
              0.97328,
              1.24808,
              1.78747
            ],
            [
              0.61172,
              0.65911,
              0.69319,
              0.74714,
              0.83387,
              0.98191,
              1.25671,
              1.79611
            ],
            [
              0.62465,
              0.67206,
              0.70613,
              0.76009,
              0.84682,
              0.99492,
              1.26962,
              1.80902
            ],
            [
              0.64414,
              0.69156,
              0.72564,
              0.77961,
              0.86634,
              1.01443,
              1.28913,
              1.82853
            ],
            [
              0.67358,
              0.721,
              0.75508,
              0.80906,
              0.89576,
              1.04376,
              1.31856,
              1.85796
            ],
            [
              0.71808,
              0.76555,
              0.79955,
              0.85355,
              0.94025,
              1.08825,
              1.36305,
              1.90235
            ],
            [
              0.78569,
              0.83309,
              0.86709,
              0.92109,
              1.00769,
              1.15569,
              1.43039,
              1.96979
            ],
            [
              0.88522,
              0.93252,
              0.96662,
              1.02052,
              1.10712,
              1.25502,
              1.52982,
              2.06912
            ],
            [
              1.01847,
              1.06567,
              1.09977,
              1.15357,
              1.24017,
              1.38807,
              1.66277,
              2.20217
            ],
            [
              1.1867,
              1.2343,
              1.2684,
              1.3225,
              1.4091,
              1.5569,
              1.8317,
              2.371
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08668,
              0.11338,
              0.13269,
              0.16403,
              0.21703,
              0.31314,
              0.49517,
              0.859
            ],
            [
              0.08663,
              0.11338,
              0.13269,
              0.16402,
              0.21711,
              0.31313,
              0.4947,
              0.8594
            ],
            [
              0.08662,
              0.11343,
              0.13271,
              0.16403,
              0.21717,
              0.3124,
              0.4951,
              0.8597
            ],
            [
              0.08663,
              0.11334,
              0.13267,
              0.1641,
              0.2169,
              0.31294,
              0.4946,
              0.8595
            ],
            [
              0.08662,
              0.11333,
              0.13267,
              0.16409,
              0.21695,
              0.31258,
              0.4944,
              0.8595
            ],
            [
              0.08666,
              0.11338,
              0.13266,
              0.16406,
              0.21709,
              0.31242,
              0.4952,
              0.8598
            ],
            [
              0.08667,
              0.11335,
              0.13264,
              0.16403,
              0.21708,
              0.3124,
              0.4951,
              0.86
            ],
            [
              0.08658,
              0.11325,
              0.1326,
              0.16427,
              0.2171,
              0.3125,
              0.4951,
              0.8595
            ],
            [
              0.0865,
              0.1133,
              0.1325,
              0.1643,
              0.2168,
              0.313,
              0.4944,
              0.8591
            ],
            [
              0.0865,
              0.1131,
              0.1325,
              0.164,
              0.2171,
              0.3127,
              0.495,
              0.8597
            ],
            [
              0.0865,
              0.1132,
              0.1325,
              0.1641,
              0.2167,
              0.3123,
              0.4944,
              0.8589
            ],
            [
              0.0866,
              0.1133,
              0.1327,
              0.164,
              0.2169,
              0.313,
              0.4955,
              0.8589
            ],
            [
              0.087,
              0.1137,
              0.1331,
              0.1646,
              0.2173,
              0.3134,
              0.4946,
              0.8599
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.0663,
              0.09768,
              0.12262,
              0.16766,
              0.25335,
              0.42692,
              0.78847,
              1.5286
            ],
            [
              0.06628,
              0.09754,
              0.12262,
              0.1677,
              0.25336,
              0.42689,
              0.78739,
              1.5275
            ],
            [
              0.06629,
              0.09767,
              0.12287,
              0.16765,
              0.25336,
              0.42677,
              0.78749,
              1.5301
            ],
            [
              0.06629,
              0.09767,
              0.12262,
              0.16771,
              0.25337,
              0.42641,
              0.7875,
              1.5288
            ],
            [
              0.06628,
              0.09772,
              0.12271,
              0.16763,
              0.25341,
              0.42694,
              0.78811,
              1.5294
            ],
            [
              0.06631,
              0.09753,
              0.12261,
              0.16771,
              0.25337,
              0.42633,
              0.78763,
              1.5323
            ],
            [
              0.06629,
              0.09754,
              0.12261,
              0.16747,
              0.25338,
              0.42662,
              0.7877,
              1.5286
            ],
            [
              0.06628,
              0.09754,
              0.12266,
              0.16757,
              0.25338,
              0.4265,
              0.7886,
              1.5279
            ],
            [
              0.06629,
              0.09779,
              0.12263,
              0.1674,
              0.2534,
              0.427,
              0.7875,
              1.5288
            ],
            [
              0.0663,
              0.0976,
              0.1227,
              0.1676,
              0.2531,
              0.4266,
              0.7875,
              1.5291
            ],
            [
              0.0664,
              0.0976,
              0.1226,
              0.1678,
              0.2532,
              0.4263,
              0.7881,
              1.5256
            ],
            [
              0.0664,
              0.0977,
              0.1227,
              0.1677,
              0.2533,
              0.4266,
              0.7872,
              1.5271
            ],
            [
              0.0673,
              0.0986,
              0.1236,
              0.1685,
              0.2539,
              0.4274,
              0.7872,
              1.5281
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.47913,
              0.52513,
              0.55717,
              0.60571,
              0.6776,
              0.78569,
              0.95646,
              1.24887
            ],
            [
              0.48217,
              0.52818,
              0.56022,
              0.60876,
              0.68064,
              0.78876,
              0.95952,
              1.25194
            ],
            [
              0.48584,
              0.53184,
              0.56388,
              0.61242,
              0.68433,
              0.79241,
              0.96318,
              1.25562
            ],
            [
              0.49123,
              0.53722,
              0.56927,
              0.61781,
              0.68968,
              0.79776,
              0.96857,
              1.26107
            ],
            [
              0.49983,
              0.54584,
              0.57788,
              0.62643,
              0.69832,
              0.80639,
              0.97721,
              1.26931
            ],
            [
              0.51269,
              0.5587,
              0.59073,
              0.63927,
              0.71116,
              0.81929,
              0.99002,
              1.28252
            ],
            [
              0.53216,
              0.57816,
              0.61018,
              0.65868,
              0.73063,
              0.83872,
              1.00953,
              1.30203
            ],
            [
              0.56151,
              0.60749,
              0.63953,
              0.68804,
              0.75993,
              0.86806,
              1.03886,
              1.33136
            ],
            [
              0.60541,
              0.65138,
              0.68341,
              0.73188,
              0.80375,
              0.91195,
              1.08275,
              1.37505
            ],
            [
              0.67059,
              0.71649,
              0.74859,
              0.79699,
              0.86889,
              0.97709,
              1.14809,
              1.44059
            ],
            [
              0.76612,
              0.81212,
              0.84412,
              0.89252,
              0.96452,
              1.07272,
              1.24372,
              1.53612
            ],
            [
              0.90037,
              0.94647,
              0.97857,
              1.02717,
              1.09917,
              1.20767,
              1.37887,
              1.67137
            ],
            [
              1.0702,
              1.1187,
              1.1523,
              1.2027,
              1.2768,
              1.3869,
              1.5592,
              1.8526
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.33762,
              0.38262,
              0.41507,
              0.46668,
              0.55009,
              0.69287,
              0.95627,
              1.47247
            ],
            [
              0.34078,
              0.38579,
              0.4182,
              0.46982,
              0.55321,
              0.69605,
              0.95948,
              1.47554
            ],
            [
              0.34461,
              0.38961,
              0.42203,
              0.47365,
              0.55706,
              0.69986,
              0.96337,
              1.47942
            ],
            [
              0.35029,
              0.39528,
              0.42771,
              0.47933,
              0.56273,
              0.70552,
              0.96908,
              1.48477
            ],
            [
              0.35879,
              0.40379,
              0.43622,
              0.48784,
              0.57125,
              0.71403,
              0.97761,
              1.49321
            ],
            [
              0.37146,
              0.41646,
              0.4489,
              0.50052,
              0.58393,
              0.72657,
              0.99022,
              1.50622
            ],
            [
              0.39042,
              0.43544,
              0.46787,
              0.5195,
              0.60289,
              0.74576,
              1.00923,
              1.52493
            ],
            [
              0.41863,
              0.46366,
              0.49611,
              0.54773,
              0.63112,
              0.77394,
              1.03756,
              1.55276
            ],
            [
              0.46036,
              0.50541,
              0.53787,
              0.58949,
              0.67286,
              0.81575,
              1.07925,
              1.59545
            ],
            [
              0.52033,
              0.56543,
              0.59788,
              0.64949,
              0.73289,
              0.87569,
              1.13919,
              1.65579
            ],
            [
              0.60462,
              0.64992,
              0.68232,
              0.73402,
              0.81732,
              0.96022,
              1.22352,
              1.74042
            ],
            [
              0.71567,
              0.76317,
              0.79687,
              0.84977,
              0.93407,
              1.07737,
              1.34117,
              1.85727
            ],
            [
              0.8563,
              0.9071,
              0.9428,
              0.9984,
              1.0857,
              1.2314,
              1.4959,
              2.0122
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.08484,
              0.1109,
              0.12976,
              0.1603,
              0.21129,
              0.30161,
              0.47147,
              0.81255
            ],
            [
              0.08482,
              0.1109,
              0.12975,
              0.16031,
              0.21152,
              0.30172,
              0.4715,
              0.81216
            ],
            [
              0.08484,
              0.1109,
              0.12976,
              0.1603,
              0.21135,
              0.30136,
              0.47139,
              0.81271
            ],
            [
              0.08485,
              0.11089,
              0.12995,
              0.1603,
              0.21121,
              0.30132,
              0.47149,
              0.81206
            ],
            [
              0.0848,
              0.1109,
              0.12972,
              0.16031,
              0.21127,
              0.30121,
              0.47104,
              0.81335
            ],
            [
              0.08477,
              0.1109,
              0.12977,
              0.16031,
              0.21123,
              0.30168,
              0.47141,
              0.8126
            ],
            [
              0.08487,
              0.11103,
              0.12973,
              0.16023,
              0.21137,
              0.30134,
              0.47185,
              0.8127
            ],
            [
              0.08485,
              0.11087,
              0.12998,
              0.16032,
              0.21129,
              0.30128,
              0.47156,
              0.8122
            ],
            [
              0.08493,
              0.1109,
              0.12985,
              0.16031,
              0.21127,
              0.3012,
              0.471,
              0.8134
            ],
            [
              0.08486,
              0.111,
              0.1299,
              0.1604,
              0.2117,
              0.3015,
              0.4708,
              0.813
            ],
            [
              0.0853,
              0.1112,
              0.1301,
              0.1606,
              0.2119,
              0.3022,
              0.4717,
              0.8133
            ],
            [
              0.0874,
              0.1129,
              0.1316,
              0.1622,
              0.2129,
              0.3027,
              0.4716,
              0.8135
            ],
            [
              0.0954,
              0.1215,
              0.1404,
              0.1703,
              0.2198,
              0.3075,
              0.4754,
              0.814
            ]
          ]
        },
        "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.00651,
            0.01303,
            0.02607,
            0.05213,
            0.10426,
            0.20853,
            0.41707
          ],
          "values": [
            [
              0.06329,
              0.09479,
              0.12032,
              0.16588,
              0.2512,
              0.42218,
              0.77569,
              1.50311
            ],
            [
              0.06328,
              0.09479,
              0.12017,
              0.16548,
              0.25099,
              0.42214,
              0.77558,
              1.5031
            ],
            [
              0.06329,
              0.09479,
              0.12008,
              0.1656,
              0.25106,
              0.42228,
              0.77493,
              1.50317
            ],
            [
              0.06329,
              0.09479,
              0.12008,
              0.16561,
              0.25108,
              0.42247,
              0.7751,
              1.50062
            ],
            [
              0.06329,
              0.0948,
              0.12009,
              0.16562,
              0.25109,
              0.42243,
              0.77501,
              1.50103
            ],
            [
              0.06333,
              0.09487,
              0.12028,
              0.16593,
              0.25117,
              0.42266,
              0.77542,
              1.50014
            ],
            [
              0.06333,
              0.09484,
              0.12013,
              0.16564,
              0.25105,
              0.42184,
              0.77505,
              1.50285
            ],
            [
              0.0634,
              0.09494,
              0.12036,
              0.16593,
              0.25113,
              0.42238,
              0.77464,
              1.502
            ],
            [
              0.06347,
              0.09502,
              0.1205,
              0.16599,
              0.25122,
              0.42206,
              0.77557,
              1.5032
            ],
            [
              0.06351,
              0.0953,
              0.12054,
              0.1658,
              0.25125,
              0.4221,
              0.7759,
              1.5031
            ],
            [
              0.0645,
              0.0958,
              0.121,
              0.1663,
              0.2518,
              0.4221,
              0.7761,
              1.5015
            ],
            [
              0.0691,
              0.101,
              0.1259,
              0.1705,
              0.2545,
              0.4247,
              0.776,
              1.5029
            ],
            [
              0.0756,
              0.1089,
              0.1344,
              0.1792,
              0.2626,
              0.429,
              0.7791,
              1.5029
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}