cells/fah/sky130_fd_sc_ls__fah_4__ss_100C_1v60.lib.json

{
  "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.00512,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00756,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00279,
    "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.0988,
              0.10813,
              0.11755,
              0.13622,
              0.17321,
              0.24619,
              0.39084,
              0.67935
            ],
            [
              0.09867,
              0.10799,
              0.11742,
              0.13611,
              0.17311,
              0.24603,
              0.39081,
              0.67902
            ],
            [
              0.09854,
              0.10787,
              0.1173,
              0.13599,
              0.173,
              0.24601,
              0.39055,
              0.67911
            ],
            [
              0.0984,
              0.10772,
              0.11716,
              0.13584,
              0.17286,
              0.24587,
              0.39061,
              0.6786
            ],
            [
              0.09824,
              0.10759,
              0.117,
              0.13567,
              0.17266,
              0.24567,
              0.39067,
              0.67909
            ],
            [
              0.09807,
              0.1074,
              0.11681,
              0.1355,
              0.17248,
              0.24542,
              0.39019,
              0.6786
            ],
            [
              0.09785,
              0.10718,
              0.11662,
              0.13528,
              0.17229,
              0.24525,
              0.38992,
              0.67879
            ],
            [
              0.09765,
              0.10699,
              0.11641,
              0.13508,
              0.1721,
              0.24504,
              0.38984,
              0.67786
            ],
            [
              0.09745,
              0.1068,
              0.11621,
              0.1349,
              0.1719,
              0.24485,
              0.38953,
              0.67789
            ],
            [
              0.09728,
              0.10664,
              0.11602,
              0.13468,
              0.17169,
              0.24465,
              0.38964,
              0.67722
            ],
            [
              0.09723,
              0.10654,
              0.11594,
              0.13461,
              0.1716,
              0.24452,
              0.38936,
              0.67748
            ],
            [
              0.09722,
              0.10651,
              0.11589,
              0.13453,
              0.17156,
              0.24451,
              0.38917,
              0.6773
            ],
            [
              0.09744,
              0.10668,
              0.11606,
              0.13469,
              0.1717,
              0.24466,
              0.38963,
              0.67731
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.08467,
              0.09131,
              0.09805,
              0.11159,
              0.13833,
              0.19069,
              0.29377,
              0.49918
            ],
            [
              0.08463,
              0.09123,
              0.098,
              0.11153,
              0.13828,
              0.19071,
              0.29403,
              0.49928
            ],
            [
              0.0846,
              0.09121,
              0.09797,
              0.11151,
              0.13824,
              0.1906,
              0.29382,
              0.49919
            ],
            [
              0.08443,
              0.09105,
              0.09782,
              0.11134,
              0.13809,
              0.19048,
              0.29374,
              0.49942
            ],
            [
              0.08419,
              0.09082,
              0.09758,
              0.1111,
              0.13786,
              0.19024,
              0.29348,
              0.4989
            ],
            [
              0.08395,
              0.09059,
              0.09736,
              0.11086,
              0.13761,
              0.19003,
              0.29328,
              0.49871
            ],
            [
              0.08368,
              0.0903,
              0.09707,
              0.11058,
              0.13735,
              0.18971,
              0.29284,
              0.49818
            ],
            [
              0.08339,
              0.09001,
              0.09677,
              0.11029,
              0.13705,
              0.18941,
              0.29251,
              0.49834
            ],
            [
              0.08305,
              0.08968,
              0.09645,
              0.10997,
              0.13673,
              0.18913,
              0.29251,
              0.49799
            ],
            [
              0.08276,
              0.08936,
              0.09614,
              0.10967,
              0.13645,
              0.18884,
              0.29227,
              0.4976
            ],
            [
              0.08251,
              0.08913,
              0.0959,
              0.10945,
              0.13624,
              0.18871,
              0.2921,
              0.49742
            ],
            [
              0.08237,
              0.08901,
              0.09576,
              0.10932,
              0.13616,
              0.18861,
              0.29193,
              0.49713
            ],
            [
              0.08255,
              0.08918,
              0.09597,
              0.10954,
              0.13638,
              0.18896,
              0.29226,
              0.49716
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.09404,
              0.10338,
              0.1128,
              0.13145,
              0.16841,
              0.24127,
              0.38604,
              0.67377
            ],
            [
              0.09399,
              0.10332,
              0.11275,
              0.13141,
              0.16834,
              0.24113,
              0.38589,
              0.67451
            ],
            [
              0.09389,
              0.10325,
              0.11265,
              0.13129,
              0.16823,
              0.24124,
              0.38611,
              0.67375
            ],
            [
              0.09376,
              0.10308,
              0.11252,
              0.13118,
              0.16809,
              0.24111,
              0.38586,
              0.67352
            ],
            [
              0.0936,
              0.10295,
              0.11236,
              0.13102,
              0.16791,
              0.24077,
              0.38543,
              0.67389
            ],
            [
              0.09349,
              0.10283,
              0.11223,
              0.1309,
              0.16784,
              0.24069,
              0.38553,
              0.67384
            ],
            [
              0.09335,
              0.10269,
              0.11211,
              0.13076,
              0.1677,
              0.24058,
              0.3854,
              0.67375
            ],
            [
              0.09329,
              0.10262,
              0.11205,
              0.13071,
              0.16759,
              0.24048,
              0.38529,
              0.67334
            ],
            [
              0.0933,
              0.10264,
              0.11205,
              0.13072,
              0.16761,
              0.24059,
              0.38523,
              0.67374
            ],
            [
              0.09339,
              0.10273,
              0.11213,
              0.13078,
              0.16768,
              0.24048,
              0.38545,
              0.67368
            ],
            [
              0.09361,
              0.10294,
              0.11234,
              0.13092,
              0.16782,
              0.24064,
              0.38538,
              0.67381
            ],
            [
              0.09386,
              0.10317,
              0.11255,
              0.13115,
              0.16796,
              0.24082,
              0.38566,
              0.67344
            ],
            [
              0.09434,
              0.10363,
              0.11296,
              0.1315,
              0.16828,
              0.24097,
              0.38562,
              0.67409
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.07194,
              0.07855,
              0.08532,
              0.09886,
              0.12564,
              0.17804,
              0.28133,
              0.48657
            ],
            [
              0.07187,
              0.07849,
              0.08526,
              0.0988,
              0.1256,
              0.178,
              0.28131,
              0.48694
            ],
            [
              0.07189,
              0.07854,
              0.08528,
              0.09881,
              0.12562,
              0.17801,
              0.28124,
              0.48675
            ],
            [
              0.07186,
              0.07848,
              0.08524,
              0.09877,
              0.12557,
              0.17798,
              0.28109,
              0.48679
            ],
            [
              0.07181,
              0.07843,
              0.0852,
              0.09874,
              0.12554,
              0.1779,
              0.28126,
              0.48663
            ],
            [
              0.07181,
              0.07844,
              0.08521,
              0.09874,
              0.12553,
              0.17791,
              0.28122,
              0.4867
            ],
            [
              0.07183,
              0.07845,
              0.08522,
              0.09874,
              0.12554,
              0.17796,
              0.28115,
              0.48639
            ],
            [
              0.07181,
              0.07843,
              0.08522,
              0.09873,
              0.12551,
              0.17789,
              0.28129,
              0.48621
            ],
            [
              0.07187,
              0.07847,
              0.08521,
              0.09874,
              0.12551,
              0.17794,
              0.2812,
              0.48649
            ],
            [
              0.07198,
              0.07859,
              0.08535,
              0.09885,
              0.12562,
              0.17795,
              0.2812,
              0.48644
            ],
            [
              0.07226,
              0.07886,
              0.08559,
              0.09911,
              0.12584,
              0.17818,
              0.28135,
              0.48701
            ],
            [
              0.0727,
              0.07934,
              0.08607,
              0.09957,
              0.12625,
              0.17852,
              0.28164,
              0.48742
            ],
            [
              0.07345,
              0.08006,
              0.08681,
              0.1003,
              0.12691,
              0.17909,
              0.2826,
              0.4878
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.07314,
              0.08237,
              0.09175,
              0.11054,
              0.14769,
              0.22109,
              0.36659,
              0.65451
            ],
            [
              0.0731,
              0.08231,
              0.09173,
              0.11048,
              0.14764,
              0.22104,
              0.36655,
              0.65374
            ],
            [
              0.07307,
              0.08232,
              0.09171,
              0.11046,
              0.14761,
              0.22102,
              0.36627,
              0.6538
            ],
            [
              0.07304,
              0.0823,
              0.09165,
              0.11041,
              0.14765,
              0.22107,
              0.36634,
              0.65428
            ],
            [
              0.07301,
              0.08226,
              0.09162,
              0.11039,
              0.14755,
              0.22089,
              0.3663,
              0.65456
            ],
            [
              0.07297,
              0.08222,
              0.09159,
              0.11031,
              0.14747,
              0.22101,
              0.36603,
              0.65449
            ],
            [
              0.07293,
              0.08216,
              0.09152,
              0.11028,
              0.14749,
              0.22084,
              0.36586,
              0.65457
            ],
            [
              0.07287,
              0.08212,
              0.09149,
              0.11023,
              0.14746,
              0.22077,
              0.36608,
              0.65479
            ],
            [
              0.07282,
              0.08203,
              0.0914,
              0.11014,
              0.14731,
              0.22065,
              0.36599,
              0.65359
            ],
            [
              0.0727,
              0.08193,
              0.09125,
              0.10998,
              0.14707,
              0.2205,
              0.36548,
              0.65379
            ],
            [
              0.07254,
              0.08178,
              0.09107,
              0.10975,
              0.14678,
              0.22022,
              0.36531,
              0.65319
            ],
            [
              0.07251,
              0.08167,
              0.09094,
              0.10953,
              0.14646,
              0.21971,
              0.36479,
              0.65288
            ],
            [
              0.07262,
              0.08169,
              0.09091,
              0.10939,
              0.14623,
              0.21932,
              0.36426,
              0.65246
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.06822,
              0.07487,
              0.08162,
              0.09527,
              0.12231,
              0.17523,
              0.27824,
              0.48332
            ],
            [
              0.06818,
              0.07484,
              0.0816,
              0.09524,
              0.12228,
              0.1752,
              0.27831,
              0.48318
            ],
            [
              0.06817,
              0.07484,
              0.08156,
              0.09521,
              0.12226,
              0.17517,
              0.27827,
              0.48311
            ],
            [
              0.06809,
              0.07476,
              0.08151,
              0.09511,
              0.1222,
              0.17513,
              0.27823,
              0.48346
            ],
            [
              0.06805,
              0.07471,
              0.08146,
              0.0951,
              0.12215,
              0.17509,
              0.27804,
              0.48274
            ],
            [
              0.068,
              0.07465,
              0.0814,
              0.09502,
              0.1221,
              0.17504,
              0.27801,
              0.48302
            ],
            [
              0.06791,
              0.07456,
              0.08131,
              0.09496,
              0.12199,
              0.17493,
              0.27784,
              0.48315
            ],
            [
              0.06777,
              0.07442,
              0.08118,
              0.09481,
              0.12185,
              0.17477,
              0.2777,
              0.48287
            ],
            [
              0.0676,
              0.07425,
              0.081,
              0.09462,
              0.12165,
              0.17454,
              0.27743,
              0.48278
            ],
            [
              0.06743,
              0.07407,
              0.0808,
              0.0944,
              0.12143,
              0.17428,
              0.27721,
              0.48253
            ],
            [
              0.06724,
              0.07386,
              0.08057,
              0.09416,
              0.12113,
              0.17394,
              0.27685,
              0.48224
            ],
            [
              0.06708,
              0.07369,
              0.08036,
              0.0939,
              0.12082,
              0.17356,
              0.27653,
              0.48127
            ],
            [
              0.06703,
              0.07357,
              0.08022,
              0.09369,
              0.12056,
              0.17321,
              0.27602,
              0.48152
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.20547,
    "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.67237,
              0.70911,
              0.73438,
              0.77231,
              0.82804,
              0.9111,
              1.04127,
              1.26117
            ],
            [
              0.67536,
              0.71212,
              0.73739,
              0.77532,
              0.83104,
              0.91411,
              1.04424,
              1.26434
            ],
            [
              0.67904,
              0.7158,
              0.74107,
              0.779,
              0.83471,
              0.91779,
              1.04792,
              1.26802
            ],
            [
              0.68471,
              0.72147,
              0.74674,
              0.78468,
              0.84039,
              0.92346,
              1.05358,
              1.27368
            ],
            [
              0.69353,
              0.73028,
              0.75556,
              0.79348,
              0.84921,
              0.93228,
              1.06241,
              1.28241
            ],
            [
              0.70702,
              0.74377,
              0.76904,
              0.80697,
              0.8627,
              0.94582,
              1.07592,
              1.29592
            ],
            [
              0.72756,
              0.76431,
              0.78959,
              0.82751,
              0.88324,
              0.96633,
              1.09643,
              1.31643
            ],
            [
              0.7587,
              0.79545,
              0.82072,
              0.85866,
              0.91436,
              0.99746,
              1.12756,
              1.34756
            ],
            [
              0.80375,
              0.84045,
              0.86575,
              0.90365,
              0.95935,
              1.04245,
              1.17265,
              1.39285
            ],
            [
              0.86519,
              0.90189,
              0.92719,
              0.96519,
              1.02089,
              1.10399,
              1.23419,
              1.45439
            ],
            [
              0.94472,
              0.98142,
              1.00682,
              1.04472,
              1.10062,
              1.18382,
              1.31412,
              1.53422
            ],
            [
              1.03937,
              1.07597,
              1.10127,
              1.13937,
              1.19537,
              1.27887,
              1.40927,
              1.62957
            ],
            [
              1.1453,
              1.1815,
              1.2068,
              1.2449,
              1.301,
              1.3847,
              1.5154,
              1.7358
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.59568,
              0.63412,
              0.66299,
              0.71051,
              0.79015,
              0.93213,
              1.20547,
              1.75167
            ],
            [
              0.59886,
              0.63732,
              0.66617,
              0.71369,
              0.79333,
              0.93532,
              1.20864,
              1.75484
            ],
            [
              0.60271,
              0.64115,
              0.67003,
              0.71753,
              0.79718,
              0.93916,
              1.21252,
              1.75872
            ],
            [
              0.60845,
              0.6469,
              0.67575,
              0.72328,
              0.80292,
              0.9449,
              1.21828,
              1.76438
            ],
            [
              0.61708,
              0.65553,
              0.68439,
              0.73191,
              0.81155,
              0.95351,
              1.22691,
              1.77301
            ],
            [
              0.63017,
              0.66862,
              0.6975,
              0.745,
              0.82464,
              0.96662,
              1.24002,
              1.78622
            ],
            [
              0.64968,
              0.68813,
              0.71699,
              0.7645,
              0.84415,
              0.98613,
              1.25943,
              1.80563
            ],
            [
              0.67695,
              0.7154,
              0.74427,
              0.79178,
              0.87146,
              1.01336,
              1.28676,
              1.83286
            ],
            [
              0.71304,
              0.75149,
              0.78035,
              0.82785,
              0.90745,
              1.04945,
              1.32275,
              1.86885
            ],
            [
              0.76039,
              0.79879,
              0.82769,
              0.87519,
              0.95479,
              1.09669,
              1.36989,
              1.91609
            ],
            [
              0.82152,
              0.85992,
              0.88882,
              0.93632,
              1.01592,
              1.15772,
              1.43082,
              1.97692
            ],
            [
              0.89817,
              0.93657,
              0.96537,
              1.01287,
              1.09257,
              1.23427,
              1.50717,
              2.05317
            ],
            [
              0.9918,
              1.0302,
              1.059,
              1.1065,
              1.1862,
              1.3279,
              1.6006,
              2.1466
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.0755,
              0.09396,
              0.10733,
              0.12955,
              0.16717,
              0.23403,
              0.36044,
              0.6102
            ],
            [
              0.07551,
              0.09391,
              0.1073,
              0.12953,
              0.16713,
              0.23396,
              0.35978,
              0.61041
            ],
            [
              0.0755,
              0.09391,
              0.10729,
              0.12952,
              0.16713,
              0.23396,
              0.35978,
              0.61042
            ],
            [
              0.0755,
              0.09391,
              0.10729,
              0.12952,
              0.16713,
              0.23394,
              0.35975,
              0.6104
            ],
            [
              0.07551,
              0.09395,
              0.10733,
              0.12956,
              0.16716,
              0.23399,
              0.3604,
              0.6103
            ],
            [
              0.0755,
              0.09396,
              0.10735,
              0.12959,
              0.16715,
              0.23401,
              0.36041,
              0.6102
            ],
            [
              0.07552,
              0.09394,
              0.10733,
              0.12956,
              0.1671,
              0.23397,
              0.3604,
              0.6103
            ],
            [
              0.07549,
              0.0938,
              0.10734,
              0.12956,
              0.16721,
              0.2341,
              0.3604,
              0.61
            ],
            [
              0.0755,
              0.0939,
              0.1073,
              0.1295,
              0.1674,
              0.2345,
              0.3596,
              0.6104
            ],
            [
              0.0754,
              0.0938,
              0.1074,
              0.1296,
              0.1672,
              0.234,
              0.3597,
              0.6104
            ],
            [
              0.0753,
              0.0939,
              0.1073,
              0.1296,
              0.1673,
              0.2342,
              0.3605,
              0.6104
            ],
            [
              0.0753,
              0.0939,
              0.1074,
              0.1299,
              0.1676,
              0.2345,
              0.3599,
              0.6106
            ],
            [
              0.0747,
              0.0934,
              0.107,
              0.1299,
              0.1678,
              0.2347,
              0.3604,
              0.6102
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.06086,
              0.08879,
              0.11275,
              0.15749,
              0.24458,
              0.42351,
              0.79591,
              1.5444
            ],
            [
              0.06085,
              0.08871,
              0.11278,
              0.15743,
              0.24459,
              0.42327,
              0.7954,
              1.5452
            ],
            [
              0.06086,
              0.08879,
              0.11273,
              0.15748,
              0.24457,
              0.42353,
              0.79593,
              1.5455
            ],
            [
              0.06085,
              0.08871,
              0.11278,
              0.15743,
              0.24459,
              0.42332,
              0.79535,
              1.5454
            ],
            [
              0.06085,
              0.08872,
              0.11278,
              0.15744,
              0.24459,
              0.42333,
              0.79535,
              1.5453
            ],
            [
              0.06087,
              0.08879,
              0.11269,
              0.15748,
              0.24454,
              0.42356,
              0.79586,
              1.5451
            ],
            [
              0.06077,
              0.08868,
              0.11278,
              0.15746,
              0.24454,
              0.42333,
              0.7959,
              1.5442
            ],
            [
              0.06075,
              0.0888,
              0.11278,
              0.1575,
              0.24448,
              0.42337,
              0.7958,
              1.5447
            ],
            [
              0.06076,
              0.08881,
              0.11269,
              0.15748,
              0.2445,
              0.4233,
              0.7956,
              1.5446
            ],
            [
              0.0607,
              0.0886,
              0.1127,
              0.1575,
              0.2444,
              0.4231,
              0.7955,
              1.5452
            ],
            [
              0.0606,
              0.0884,
              0.1127,
              0.1573,
              0.2442,
              0.4229,
              0.7954,
              1.5457
            ],
            [
              0.0604,
              0.0884,
              0.1125,
              0.1573,
              0.2441,
              0.4225,
              0.795,
              1.5457
            ],
            [
              0.0601,
              0.088,
              0.1125,
              0.1571,
              0.2439,
              0.4222,
              0.7948,
              1.5466
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.70447,
              0.74521,
              0.77308,
              0.81467,
              0.87529,
              0.96484,
              1.10347,
              1.33457
            ],
            [
              0.70749,
              0.74823,
              0.7761,
              0.81768,
              0.87831,
              0.96786,
              1.10644,
              1.33764
            ],
            [
              0.7112,
              0.75194,
              0.77981,
              0.82139,
              0.88203,
              0.97158,
              1.11022,
              1.34142
            ],
            [
              0.71686,
              0.7576,
              0.78548,
              0.82707,
              0.8877,
              0.97728,
              1.11588,
              1.34708
            ],
            [
              0.72569,
              0.76644,
              0.79429,
              0.83588,
              0.89651,
              0.98611,
              1.12471,
              1.35571
            ],
            [
              0.73918,
              0.77993,
              0.8078,
              0.84939,
              0.91,
              0.99952,
              1.13822,
              1.36932
            ],
            [
              0.7597,
              0.80044,
              0.8283,
              0.86989,
              0.93053,
              1.02003,
              1.15863,
              1.38993
            ],
            [
              0.7908,
              0.83154,
              0.85936,
              0.90096,
              0.96166,
              1.05116,
              1.18976,
              1.42096
            ],
            [
              0.83585,
              0.87655,
              0.90445,
              0.94595,
              1.00665,
              1.09615,
              1.23475,
              1.46605
            ],
            [
              0.89799,
              0.93869,
              0.96659,
              1.00819,
              1.06879,
              1.15849,
              1.29709,
              1.52809
            ],
            [
              0.97982,
              1.02052,
              1.04832,
              1.09002,
              1.15072,
              1.24032,
              1.37902,
              1.61032
            ],
            [
              1.07837,
              1.11887,
              1.14667,
              1.18827,
              1.24907,
              1.33897,
              1.47787,
              1.70927
            ],
            [
              1.1867,
              1.2267,
              1.2543,
              1.2958,
              1.3567,
              1.4468,
              1.5859,
              1.8174
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.6026,
              0.64005,
              0.66808,
              0.7142,
              0.79163,
              0.92955,
              1.19197,
              1.70897
            ],
            [
              0.60576,
              0.64321,
              0.67124,
              0.71736,
              0.79479,
              0.93271,
              1.19514,
              1.71214
            ],
            [
              0.60965,
              0.6471,
              0.67513,
              0.72125,
              0.79868,
              0.93659,
              1.19892,
              1.71602
            ],
            [
              0.61538,
              0.65282,
              0.68087,
              0.72698,
              0.80441,
              0.94234,
              1.20478,
              1.72178
            ],
            [
              0.624,
              0.66144,
              0.68948,
              0.7356,
              0.81303,
              0.95095,
              1.21331,
              1.73031
            ],
            [
              0.63709,
              0.67454,
              0.70257,
              0.74869,
              0.82612,
              0.96402,
              1.22652,
              1.74352
            ],
            [
              0.6566,
              0.69404,
              0.72208,
              0.76819,
              0.84563,
              0.98353,
              1.24593,
              1.76293
            ],
            [
              0.68406,
              0.7215,
              0.74954,
              0.79565,
              0.87306,
              1.01106,
              1.27346,
              1.79046
            ],
            [
              0.72059,
              0.75805,
              0.78605,
              0.83215,
              0.90955,
              1.04755,
              1.30995,
              1.82705
            ],
            [
              0.76839,
              0.80579,
              0.83379,
              0.87989,
              0.95729,
              1.09529,
              1.35779,
              1.87479
            ],
            [
              0.82942,
              0.86672,
              0.89472,
              0.94082,
              1.01832,
              1.15632,
              1.41882,
              1.93592
            ],
            [
              0.90527,
              0.94257,
              0.97047,
              1.01657,
              1.09407,
              1.23207,
              1.49467,
              2.01177
            ],
            [
              0.9979,
              1.0351,
              1.0631,
              1.1091,
              1.1865,
              1.3246,
              1.5872,
              2.1044
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.08537,
              0.1054,
              0.11974,
              0.14345,
              0.18325,
              0.25307,
              0.38252,
              0.6384
            ],
            [
              0.08537,
              0.10539,
              0.11974,
              0.14343,
              0.18325,
              0.25312,
              0.38247,
              0.6385
            ],
            [
              0.08537,
              0.10536,
              0.11974,
              0.14343,
              0.18324,
              0.25319,
              0.38254,
              0.6384
            ],
            [
              0.08538,
              0.10535,
              0.11973,
              0.14341,
              0.18318,
              0.25317,
              0.38252,
              0.6385
            ],
            [
              0.08537,
              0.10543,
              0.1199,
              0.14358,
              0.18329,
              0.25279,
              0.38321,
              0.6382
            ],
            [
              0.08538,
              0.10541,
              0.11983,
              0.1435,
              0.18321,
              0.25311,
              0.3824,
              0.6384
            ],
            [
              0.08537,
              0.10533,
              0.11973,
              0.14345,
              0.1832,
              0.25319,
              0.3825,
              0.6384
            ],
            [
              0.08537,
              0.1053,
              0.11972,
              0.14338,
              0.1832,
              0.2531,
              0.3825,
              0.6385
            ],
            [
              0.0854,
              0.1053,
              0.1197,
              0.1434,
              0.1832,
              0.2532,
              0.3825,
              0.6385
            ],
            [
              0.0854,
              0.1052,
              0.1196,
              0.1433,
              0.1832,
              0.2528,
              0.3831,
              0.6381
            ],
            [
              0.0852,
              0.1052,
              0.1199,
              0.1435,
              0.1832,
              0.2532,
              0.3826,
              0.6385
            ],
            [
              0.0851,
              0.1052,
              0.1198,
              0.1437,
              0.1835,
              0.2534,
              0.383,
              0.6386
            ],
            [
              0.0847,
              0.105,
              0.1197,
              0.1437,
              0.1839,
              0.2535,
              0.3831,
              0.6384
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.0595,
              0.08621,
              0.10942,
              0.15292,
              0.23777,
              0.41021,
              0.76527,
              1.4869
            ],
            [
              0.0595,
              0.08621,
              0.10942,
              0.15293,
              0.23776,
              0.41022,
              0.76539,
              1.4876
            ],
            [
              0.0595,
              0.08621,
              0.10941,
              0.15291,
              0.23776,
              0.41012,
              0.76508,
              1.4863
            ],
            [
              0.0595,
              0.08623,
              0.10943,
              0.15288,
              0.23768,
              0.41004,
              0.7649,
              1.4879
            ],
            [
              0.0595,
              0.08623,
              0.10942,
              0.15286,
              0.2377,
              0.41006,
              0.76502,
              1.486
            ],
            [
              0.05946,
              0.08618,
              0.10943,
              0.15295,
              0.23772,
              0.41016,
              0.76503,
              1.4859
            ],
            [
              0.0595,
              0.08623,
              0.10941,
              0.15286,
              0.23771,
              0.40997,
              0.7648,
              1.4869
            ],
            [
              0.05948,
              0.08621,
              0.10941,
              0.15282,
              0.23767,
              0.41014,
              0.765,
              1.4901
            ],
            [
              0.05939,
              0.08614,
              0.10942,
              0.1529,
              0.2376,
              0.4101,
              0.7653,
              1.4889
            ],
            [
              0.0593,
              0.086,
              0.1093,
              0.1528,
              0.2375,
              0.4098,
              0.7647,
              1.4882
            ],
            [
              0.0591,
              0.0859,
              0.1091,
              0.1526,
              0.2375,
              0.4099,
              0.7647,
              1.4867
            ],
            [
              0.0588,
              0.0856,
              0.1089,
              0.1525,
              0.2372,
              0.4099,
              0.7651,
              1.488
            ],
            [
              0.0585,
              0.0855,
              0.1087,
              0.1523,
              0.2371,
              0.4098,
              0.7651,
              1.4866
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.63654,
              0.67331,
              0.69856,
              0.73645,
              0.79212,
              0.87514,
              1.00517,
              1.22527
            ],
            [
              0.63889,
              0.67566,
              0.70091,
              0.73879,
              0.79445,
              0.87748,
              1.00754,
              1.22754
            ],
            [
              0.642,
              0.67875,
              0.704,
              0.7419,
              0.79754,
              0.88059,
              1.01062,
              1.23072
            ],
            [
              0.64689,
              0.68363,
              0.70888,
              0.74677,
              0.80241,
              0.88543,
              1.01548,
              1.23558
            ],
            [
              0.65468,
              0.69146,
              0.71671,
              0.75458,
              0.81024,
              0.89326,
              1.02331,
              1.24341
            ],
            [
              0.66707,
              0.70384,
              0.72909,
              0.76695,
              0.8226,
              0.90561,
              1.03572,
              1.25562
            ],
            [
              0.68657,
              0.72334,
              0.74861,
              0.78646,
              0.8421,
              0.92513,
              1.05513,
              1.27513
            ],
            [
              0.71682,
              0.7536,
              0.77886,
              0.81672,
              0.87236,
              0.95536,
              1.08546,
              1.30546
            ],
            [
              0.76325,
              0.80005,
              0.82525,
              0.86315,
              0.91875,
              1.00175,
              1.13185,
              1.35185
            ],
            [
              0.83229,
              0.86909,
              0.89429,
              0.93219,
              0.98779,
              1.07079,
              1.20079,
              1.42089
            ],
            [
              0.92962,
              0.96642,
              0.99162,
              1.02952,
              1.08512,
              1.16812,
              1.29822,
              1.51822
            ],
            [
              1.06497,
              1.10177,
              1.12707,
              1.16497,
              1.22057,
              1.30357,
              1.43367,
              1.65377
            ],
            [
              1.2525,
              1.2899,
              1.3155,
              1.3537,
              1.4096,
              1.4929,
              1.6231,
              1.8433
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.50904,
              0.54765,
              0.57661,
              0.6242,
              0.70387,
              0.8457,
              1.11877,
              1.66487
            ],
            [
              0.51235,
              0.55097,
              0.57991,
              0.62751,
              0.70718,
              0.84901,
              1.12214,
              1.66834
            ],
            [
              0.5163,
              0.55492,
              0.58386,
              0.63146,
              0.71113,
              0.85297,
              1.12612,
              1.67232
            ],
            [
              0.52224,
              0.56088,
              0.58981,
              0.63741,
              0.71708,
              0.85893,
              1.13208,
              1.67827
            ],
            [
              0.53112,
              0.56974,
              0.5987,
              0.64628,
              0.72596,
              0.8678,
              1.14091,
              1.68701
            ],
            [
              0.54424,
              0.58287,
              0.61183,
              0.65941,
              0.73909,
              0.88093,
              1.15402,
              1.70012
            ],
            [
              0.56381,
              0.60245,
              0.63141,
              0.679,
              0.75867,
              0.90053,
              1.17363,
              1.71973
            ],
            [
              0.5929,
              0.63156,
              0.66051,
              0.70811,
              0.78778,
              0.92956,
              1.20276,
              1.74896
            ],
            [
              0.63607,
              0.67474,
              0.70372,
              0.75131,
              0.83095,
              0.97275,
              1.24595,
              1.79215
            ],
            [
              0.69839,
              0.73709,
              0.76609,
              0.81369,
              0.89339,
              1.03529,
              1.30849,
              1.85479
            ],
            [
              0.77892,
              0.81762,
              0.84662,
              0.89422,
              0.97392,
              1.11602,
              1.38942,
              1.93572
            ],
            [
              0.87807,
              0.91677,
              0.94577,
              0.99337,
              1.07307,
              1.21527,
              1.48897,
              2.03507
            ],
            [
              1.0016,
              1.0404,
              1.0694,
              1.1171,
              1.197,
              1.3395,
              1.6134,
              2.1596
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.07571,
              0.09382,
              0.1072,
              0.1295,
              0.16713,
              0.23408,
              0.36015,
              0.60991
            ],
            [
              0.07563,
              0.09382,
              0.1072,
              0.12945,
              0.1673,
              0.23403,
              0.36018,
              0.60997
            ],
            [
              0.07561,
              0.09382,
              0.10721,
              0.12952,
              0.16717,
              0.23412,
              0.35954,
              0.61044
            ],
            [
              0.07561,
              0.09391,
              0.10729,
              0.12958,
              0.16733,
              0.23448,
              0.3596,
              0.6104
            ],
            [
              0.07564,
              0.09381,
              0.10718,
              0.12944,
              0.16729,
              0.23401,
              0.36007,
              0.6098
            ],
            [
              0.07564,
              0.09396,
              0.10738,
              0.12954,
              0.16727,
              0.23394,
              0.3604,
              0.6101
            ],
            [
              0.0757,
              0.09386,
              0.10735,
              0.12953,
              0.16723,
              0.23394,
              0.36032,
              0.6101
            ],
            [
              0.07571,
              0.09381,
              0.1073,
              0.12956,
              0.16721,
              0.23392,
              0.3601,
              0.6098
            ],
            [
              0.07562,
              0.09381,
              0.1071,
              0.1294,
              0.1672,
              0.2344,
              0.3595,
              0.6104
            ],
            [
              0.0757,
              0.0938,
              0.1072,
              0.1295,
              0.1672,
              0.2344,
              0.3595,
              0.6104
            ],
            [
              0.0756,
              0.0938,
              0.1071,
              0.1295,
              0.1672,
              0.2339,
              0.3602,
              0.6097
            ],
            [
              0.0755,
              0.0937,
              0.107,
              0.1293,
              0.1671,
              0.2338,
              0.3601,
              0.6098
            ],
            [
              0.0784,
              0.0958,
              0.1088,
              0.1306,
              0.168,
              0.2343,
              0.3597,
              0.61
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.06151,
              0.08937,
              0.11336,
              0.15787,
              0.24474,
              0.42308,
              0.79576,
              1.54449
            ],
            [
              0.06141,
              0.08919,
              0.11327,
              0.15791,
              0.24473,
              0.42325,
              0.79591,
              1.54555
            ],
            [
              0.0614,
              0.08922,
              0.11326,
              0.15791,
              0.24471,
              0.42327,
              0.79584,
              1.5457
            ],
            [
              0.06151,
              0.08923,
              0.11329,
              0.15789,
              0.2447,
              0.42326,
              0.79534,
              1.5457
            ],
            [
              0.06154,
              0.08939,
              0.11338,
              0.15788,
              0.24476,
              0.42304,
              0.7958,
              1.5446
            ],
            [
              0.0615,
              0.08941,
              0.11339,
              0.15791,
              0.24478,
              0.42325,
              0.7958,
              1.5453
            ],
            [
              0.06154,
              0.08945,
              0.11344,
              0.15791,
              0.24481,
              0.4232,
              0.79576,
              1.5449
            ],
            [
              0.06164,
              0.08941,
              0.11349,
              0.15795,
              0.2448,
              0.42332,
              0.7955,
              1.5464
            ],
            [
              0.06181,
              0.08961,
              0.11354,
              0.15798,
              0.24497,
              0.4235,
              0.7959,
              1.5448
            ],
            [
              0.062,
              0.0898,
              0.1136,
              0.1582,
              0.2451,
              0.4239,
              0.7959,
              1.5473
            ],
            [
              0.0623,
              0.0898,
              0.1137,
              0.1583,
              0.2454,
              0.4241,
              0.7959,
              1.5462
            ],
            [
              0.0622,
              0.0897,
              0.1137,
              0.1585,
              0.2456,
              0.4246,
              0.7961,
              1.5464
            ],
            [
              0.0624,
              0.09,
              0.114,
              0.1589,
              0.2463,
              0.4254,
              0.7958,
              1.5442
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.6331,
              0.67359,
              0.70132,
              0.7427,
              0.80325,
              0.89296,
              1.03177,
              1.26317
            ],
            [
              0.63565,
              0.6761,
              0.70384,
              0.74529,
              0.80576,
              0.89546,
              1.03434,
              1.26564
            ],
            [
              0.63885,
              0.67935,
              0.70708,
              0.74845,
              0.80902,
              0.89872,
              1.03762,
              1.26882
            ],
            [
              0.64399,
              0.68449,
              0.7122,
              0.75365,
              0.81412,
              0.90382,
              1.04268,
              1.27408
            ],
            [
              0.65194,
              0.69245,
              0.72018,
              0.76165,
              0.82211,
              0.91182,
              1.05071,
              1.28211
            ],
            [
              0.66449,
              0.70498,
              0.7326,
              0.77405,
              0.83457,
              0.92428,
              1.06312,
              1.29442
            ],
            [
              0.68344,
              0.72397,
              0.75166,
              0.79309,
              0.85362,
              0.94333,
              1.08223,
              1.31363
            ],
            [
              0.7128,
              0.75333,
              0.78103,
              0.82249,
              0.88296,
              0.97276,
              1.11166,
              1.34306
            ],
            [
              0.75685,
              0.79735,
              0.82515,
              0.86655,
              0.92705,
              1.01685,
              1.15575,
              1.38715
            ],
            [
              0.82269,
              0.86309,
              0.89079,
              0.93219,
              0.99279,
              1.08249,
              1.22149,
              1.45299
            ],
            [
              0.91982,
              0.96022,
              0.98792,
              1.02922,
              1.08982,
              1.17962,
              1.31862,
              1.55012
            ],
            [
              1.04917,
              1.08947,
              1.11707,
              1.15847,
              1.21897,
              1.30887,
              1.44797,
              1.67957
            ],
            [
              1.2137,
              1.2538,
              1.2813,
              1.3225,
              1.3829,
              1.4727,
              1.6119,
              1.8436
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.51492,
              0.55231,
              0.58032,
              0.62641,
              0.70384,
              0.84184,
              1.10437,
              1.62157
            ],
            [
              0.51818,
              0.55557,
              0.58359,
              0.62967,
              0.7071,
              0.8451,
              1.10764,
              1.62484
            ],
            [
              0.52213,
              0.55952,
              0.58754,
              0.63363,
              0.71106,
              0.84905,
              1.11162,
              1.62882
            ],
            [
              0.52809,
              0.56549,
              0.5935,
              0.6396,
              0.71703,
              0.85503,
              1.11757,
              1.63468
            ],
            [
              0.53711,
              0.57451,
              0.60253,
              0.64861,
              0.72604,
              0.86404,
              1.12661,
              1.64371
            ],
            [
              0.55055,
              0.58796,
              0.61597,
              0.66206,
              0.73949,
              0.87748,
              1.14002,
              1.65722
            ],
            [
              0.57067,
              0.60808,
              0.6361,
              0.68218,
              0.75961,
              0.89763,
              1.16013,
              1.67723
            ],
            [
              0.60047,
              0.63787,
              0.6659,
              0.71198,
              0.78941,
              0.92736,
              1.18986,
              1.70706
            ],
            [
              0.64376,
              0.68117,
              0.70919,
              0.75525,
              0.83275,
              0.97065,
              1.23325,
              1.75035
            ],
            [
              0.70479,
              0.74219,
              0.77019,
              0.81629,
              0.89379,
              1.03169,
              1.29419,
              1.81119
            ],
            [
              0.78112,
              0.81852,
              0.84652,
              0.89262,
              0.97002,
              1.10802,
              1.37042,
              1.88742
            ],
            [
              0.87987,
              0.91727,
              0.94527,
              0.99127,
              1.06867,
              1.20657,
              1.46887,
              1.98587
            ],
            [
              1.0086,
              1.0481,
              1.0774,
              1.125,
              1.204,
              1.3428,
              1.605,
              2.122
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.08556,
              0.10579,
              0.12041,
              0.14421,
              0.18423,
              0.25365,
              0.38306,
              0.6387
            ],
            [
              0.0856,
              0.10579,
              0.12043,
              0.14414,
              0.18423,
              0.25358,
              0.38313,
              0.63886
            ],
            [
              0.08556,
              0.10575,
              0.12036,
              0.14423,
              0.18421,
              0.25366,
              0.38321,
              0.63839
            ],
            [
              0.0856,
              0.10581,
              0.1203,
              0.14413,
              0.18417,
              0.25399,
              0.38298,
              0.6388
            ],
            [
              0.08565,
              0.10576,
              0.12039,
              0.14414,
              0.18393,
              0.254,
              0.38302,
              0.6388
            ],
            [
              0.08563,
              0.10573,
              0.12033,
              0.14421,
              0.18418,
              0.25358,
              0.38297,
              0.6385
            ],
            [
              0.08554,
              0.10574,
              0.12039,
              0.14414,
              0.1842,
              0.25357,
              0.38301,
              0.6388
            ],
            [
              0.08553,
              0.10574,
              0.12033,
              0.14419,
              0.18398,
              0.254,
              0.3831,
              0.6388
            ],
            [
              0.08556,
              0.10567,
              0.1203,
              0.1442,
              0.1842,
              0.254,
              0.3837,
              0.6388
            ],
            [
              0.0855,
              0.1058,
              0.1205,
              0.1442,
              0.1841,
              0.2542,
              0.3837,
              0.6387
            ],
            [
              0.0854,
              0.1057,
              0.1204,
              0.1444,
              0.1846,
              0.254,
              0.3832,
              0.6389
            ],
            [
              0.0853,
              0.1056,
              0.1204,
              0.1444,
              0.1844,
              0.2541,
              0.3834,
              0.6385
            ],
            [
              0.0849,
              0.1053,
              0.1201,
              0.1442,
              0.1844,
              0.2542,
              0.3834,
              0.639
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.05922,
              0.08592,
              0.10919,
              0.15273,
              0.23743,
              0.40984,
              0.7649,
              1.48697
            ],
            [
              0.05928,
              0.08595,
              0.10922,
              0.15269,
              0.23753,
              0.40994,
              0.76511,
              1.48808
            ],
            [
              0.05925,
              0.08594,
              0.10922,
              0.15273,
              0.2375,
              0.40997,
              0.76514,
              1.4863
            ],
            [
              0.05924,
              0.08595,
              0.10919,
              0.15273,
              0.23748,
              0.40997,
              0.76473,
              1.4872
            ],
            [
              0.05927,
              0.08598,
              0.10918,
              0.15273,
              0.2375,
              0.40999,
              0.76515,
              1.4897
            ],
            [
              0.05927,
              0.08596,
              0.10921,
              0.15274,
              0.23749,
              0.41006,
              0.76512,
              1.4884
            ],
            [
              0.05928,
              0.08596,
              0.10923,
              0.15275,
              0.2375,
              0.41006,
              0.76561,
              1.4866
            ],
            [
              0.05929,
              0.08603,
              0.10927,
              0.15273,
              0.23756,
              0.40998,
              0.7651,
              1.4861
            ],
            [
              0.05932,
              0.08605,
              0.10933,
              0.15282,
              0.23748,
              0.4101,
              0.7651,
              1.4864
            ],
            [
              0.0593,
              0.0861,
              0.1094,
              0.1528,
              0.2376,
              0.41,
              0.7648,
              1.486
            ],
            [
              0.0594,
              0.086,
              0.1093,
              0.1528,
              0.2375,
              0.4101,
              0.7647,
              1.4865
            ],
            [
              0.0595,
              0.0861,
              0.1093,
              0.1528,
              0.2376,
              0.41,
              0.7647,
              1.4858
            ],
            [
              0.0636,
              0.091,
              0.1144,
              0.1578,
              0.242,
              0.4121,
              0.7658,
              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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.49595,
              0.537,
              0.56517,
              0.60737,
              0.66906,
              0.76008,
              0.9002,
              1.13227
            ],
            [
              0.49916,
              0.54021,
              0.56838,
              0.61058,
              0.67228,
              0.7633,
              0.90341,
              1.13554
            ],
            [
              0.50317,
              0.54421,
              0.57239,
              0.61459,
              0.67629,
              0.76731,
              0.90744,
              1.13962
            ],
            [
              0.50924,
              0.55029,
              0.57847,
              0.62067,
              0.68236,
              0.7734,
              0.91351,
              1.14558
            ],
            [
              0.51841,
              0.55945,
              0.58763,
              0.62983,
              0.69153,
              0.78256,
              0.92267,
              1.15481
            ],
            [
              0.53229,
              0.57332,
              0.60123,
              0.64343,
              0.70513,
              0.7962,
              0.93632,
              1.16852
            ],
            [
              0.55345,
              0.59416,
              0.62234,
              0.66453,
              0.72623,
              0.81728,
              0.95743,
              1.18953
            ],
            [
              0.58527,
              0.62629,
              0.65445,
              0.69662,
              0.75831,
              0.84936,
              0.98956,
              1.22166
            ],
            [
              0.63314,
              0.67414,
              0.70227,
              0.74442,
              0.80615,
              0.89725,
              1.03745,
              1.26955
            ],
            [
              0.70439,
              0.74539,
              0.77349,
              0.81559,
              0.87729,
              0.96849,
              1.10869,
              1.34089
            ],
            [
              0.81012,
              0.85112,
              0.87922,
              0.92132,
              0.98302,
              1.07432,
              1.21472,
              1.44712
            ],
            [
              0.96297,
              1.00397,
              1.03207,
              1.07427,
              1.13607,
              1.22747,
              1.36807,
              1.60057
            ],
            [
              1.169,
              1.2121,
              1.2414,
              1.2848,
              1.3477,
              1.44,
              1.5812,
              1.8139
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.32369,
              0.36212,
              0.39123,
              0.43943,
              0.52051,
              0.66309,
              0.93247,
              1.47597
            ],
            [
              0.32702,
              0.36545,
              0.39455,
              0.44276,
              0.52385,
              0.66643,
              0.93581,
              1.47934
            ],
            [
              0.33096,
              0.3694,
              0.3985,
              0.44671,
              0.52779,
              0.67038,
              0.93977,
              1.48332
            ],
            [
              0.33685,
              0.37528,
              0.40437,
              0.45248,
              0.5337,
              0.67627,
              0.94566,
              1.48918
            ],
            [
              0.34567,
              0.3841,
              0.4132,
              0.46141,
              0.54251,
              0.6851,
              0.95451,
              1.49801
            ],
            [
              0.35872,
              0.39718,
              0.42629,
              0.47442,
              0.55563,
              0.69825,
              0.96762,
              1.51112
            ],
            [
              0.37832,
              0.41675,
              0.44586,
              0.49406,
              0.57514,
              0.71776,
              0.98713,
              1.53073
            ],
            [
              0.40741,
              0.44584,
              0.47494,
              0.52314,
              0.60421,
              0.74682,
              1.01616,
              1.55976
            ],
            [
              0.45065,
              0.48909,
              0.51818,
              0.56627,
              0.64742,
              0.79005,
              1.05935,
              1.60285
            ],
            [
              0.5124,
              0.55081,
              0.57989,
              0.62802,
              0.70909,
              0.85169,
              1.12089,
              1.66449
            ],
            [
              0.59852,
              0.63702,
              0.66612,
              0.71432,
              0.79532,
              0.93782,
              1.20702,
              1.75072
            ],
            [
              0.71217,
              0.75267,
              0.78287,
              0.83217,
              0.91417,
              1.05697,
              1.32617,
              1.86977
            ],
            [
              0.8578,
              0.9012,
              0.9332,
              0.985,
              1.0697,
              1.2148,
              1.4845,
              2.0281
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.09078,
              0.11015,
              0.1244,
              0.14799,
              0.18795,
              0.25809,
              0.38692,
              0.64159
            ],
            [
              0.09079,
              0.11015,
              0.12439,
              0.14799,
              0.18795,
              0.25808,
              0.38698,
              0.64155
            ],
            [
              0.09079,
              0.11016,
              0.12439,
              0.148,
              0.18795,
              0.25809,
              0.38748,
              0.6415
            ],
            [
              0.0908,
              0.11017,
              0.1244,
              0.14792,
              0.18796,
              0.25803,
              0.38691,
              0.64158
            ],
            [
              0.09079,
              0.11015,
              0.1244,
              0.14799,
              0.18795,
              0.25808,
              0.38688,
              0.64156
            ],
            [
              0.09079,
              0.11018,
              0.12439,
              0.14801,
              0.18795,
              0.25793,
              0.38698,
              0.64136
            ],
            [
              0.09078,
              0.11016,
              0.1244,
              0.14802,
              0.18796,
              0.25804,
              0.38699,
              0.64146
            ],
            [
              0.0908,
              0.11017,
              0.12442,
              0.14803,
              0.188,
              0.25797,
              0.38736,
              0.6415
            ],
            [
              0.09078,
              0.11015,
              0.12444,
              0.14802,
              0.18802,
              0.2579,
              0.3869,
              0.6416
            ],
            [
              0.0909,
              0.1102,
              0.1245,
              0.1482,
              0.1881,
              0.2584,
              0.3871,
              0.6411
            ],
            [
              0.091,
              0.1104,
              0.1247,
              0.1484,
              0.1884,
              0.2585,
              0.3873,
              0.6415
            ],
            [
              0.0921,
              0.1113,
              0.1255,
              0.149,
              0.189,
              0.2591,
              0.3878,
              0.6416
            ],
            [
              0.1006,
              0.1191,
              0.1326,
              0.1552,
              0.1935,
              0.2619,
              0.3888,
              0.6422
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.05892,
              0.08774,
              0.11256,
              0.15879,
              0.24683,
              0.42189,
              0.79116,
              1.54775
            ],
            [
              0.05891,
              0.08777,
              0.1126,
              0.15882,
              0.24677,
              0.42188,
              0.79149,
              1.5474
            ],
            [
              0.05892,
              0.08773,
              0.11253,
              0.15879,
              0.2468,
              0.42188,
              0.79152,
              1.54752
            ],
            [
              0.05891,
              0.08777,
              0.11261,
              0.15886,
              0.24673,
              0.42188,
              0.79148,
              1.5481
            ],
            [
              0.05892,
              0.08776,
              0.11258,
              0.15879,
              0.24673,
              0.42189,
              0.79109,
              1.5474
            ],
            [
              0.05897,
              0.08772,
              0.11258,
              0.15888,
              0.24689,
              0.42186,
              0.79117,
              1.54867
            ],
            [
              0.05893,
              0.08774,
              0.11255,
              0.15896,
              0.24679,
              0.42188,
              0.79117,
              1.54813
            ],
            [
              0.05893,
              0.08777,
              0.11255,
              0.15903,
              0.24695,
              0.42198,
              0.79113,
              1.5482
            ],
            [
              0.05892,
              0.08779,
              0.11259,
              0.15922,
              0.24692,
              0.42206,
              0.791,
              1.5481
            ],
            [
              0.05897,
              0.08778,
              0.11274,
              0.1591,
              0.24709,
              0.4222,
              0.7912,
              1.5481
            ],
            [
              0.0598,
              0.0885,
              0.1131,
              0.1594,
              0.2474,
              0.4222,
              0.7912,
              1.5486
            ],
            [
              0.0641,
              0.0931,
              0.1176,
              0.1634,
              0.25,
              0.4235,
              0.7915,
              1.5481
            ],
            [
              0.0706,
              0.1004,
              0.1253,
              0.1711,
              0.2575,
              0.4287,
              0.794,
              1.5482
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.49643,
              0.53736,
              0.56549,
              0.60763,
              0.66927,
              0.76026,
              0.90035,
              1.13247
            ],
            [
              0.49964,
              0.54057,
              0.5687,
              0.61084,
              0.67248,
              0.76347,
              0.90356,
              1.13564
            ],
            [
              0.50365,
              0.54458,
              0.57271,
              0.61485,
              0.6765,
              0.76748,
              0.90757,
              1.13972
            ],
            [
              0.50972,
              0.55066,
              0.57878,
              0.62094,
              0.68258,
              0.77356,
              0.91365,
              1.14577
            ],
            [
              0.51889,
              0.55982,
              0.58795,
              0.63009,
              0.69174,
              0.78273,
              0.92282,
              1.15491
            ],
            [
              0.53276,
              0.57369,
              0.60155,
              0.64369,
              0.70534,
              0.79634,
              0.93652,
              1.16882
            ],
            [
              0.55392,
              0.59452,
              0.62265,
              0.66478,
              0.72643,
              0.81744,
              0.95753,
              1.18973
            ],
            [
              0.58574,
              0.62665,
              0.65475,
              0.69686,
              0.75851,
              0.84956,
              0.98966,
              1.22176
            ],
            [
              0.6336,
              0.67448,
              0.70257,
              0.74467,
              0.80625,
              0.89735,
              1.03755,
              1.26965
            ],
            [
              0.70479,
              0.74569,
              0.77379,
              0.81579,
              0.87749,
              0.96859,
              1.10879,
              1.34099
            ],
            [
              0.81052,
              0.85132,
              0.87942,
              0.92142,
              0.98312,
              1.07442,
              1.21482,
              1.44712
            ],
            [
              0.96317,
              1.00407,
              1.03217,
              1.07427,
              1.13607,
              1.22737,
              1.36807,
              1.60047
            ],
            [
              1.1691,
              1.2121,
              1.2414,
              1.2847,
              1.3476,
              1.4398,
              1.581,
              1.8137
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.32301,
              0.36143,
              0.39052,
              0.43873,
              0.51982,
              0.66246,
              0.93175,
              1.47527
            ],
            [
              0.32633,
              0.36476,
              0.39385,
              0.44205,
              0.52316,
              0.66578,
              0.93509,
              1.47854
            ],
            [
              0.33028,
              0.3687,
              0.3978,
              0.446,
              0.5271,
              0.66973,
              0.93904,
              1.48252
            ],
            [
              0.33615,
              0.37459,
              0.40366,
              0.45177,
              0.53299,
              0.67563,
              0.94493,
              1.48838
            ],
            [
              0.34498,
              0.3834,
              0.41249,
              0.4607,
              0.54181,
              0.6845,
              0.95371,
              1.49721
            ],
            [
              0.35803,
              0.39648,
              0.42558,
              0.47371,
              0.55493,
              0.69754,
              0.96692,
              1.51032
            ],
            [
              0.37764,
              0.41606,
              0.44516,
              0.49336,
              0.57444,
              0.71707,
              0.98643,
              1.52993
            ],
            [
              0.40674,
              0.44516,
              0.47425,
              0.52244,
              0.60353,
              0.7462,
              1.01546,
              1.55896
            ],
            [
              0.45002,
              0.48838,
              0.51746,
              0.56563,
              0.64679,
              0.78935,
              1.05865,
              1.60215
            ],
            [
              0.51183,
              0.55022,
              0.5793,
              0.62742,
              0.70849,
              0.85099,
              1.12029,
              1.66389
            ],
            [
              0.59802,
              0.63652,
              0.66562,
              0.71372,
              0.79482,
              0.93732,
              1.20652,
              1.75012
            ],
            [
              0.71177,
              0.75227,
              0.78247,
              0.83177,
              0.91377,
              1.05657,
              1.32577,
              1.86917
            ],
            [
              0.8575,
              0.9009,
              0.9329,
              0.9846,
              1.0694,
              1.2144,
              1.4842,
              2.0277
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.0904,
              0.1098,
              0.12406,
              0.14775,
              0.18774,
              0.25796,
              0.38689,
              0.64152
            ],
            [
              0.09044,
              0.10982,
              0.12407,
              0.14774,
              0.18774,
              0.25796,
              0.38685,
              0.64147
            ],
            [
              0.09041,
              0.10983,
              0.12409,
              0.14775,
              0.18773,
              0.25795,
              0.38682,
              0.64142
            ],
            [
              0.09044,
              0.1098,
              0.12408,
              0.14774,
              0.18777,
              0.2579,
              0.38678,
              0.64149
            ],
            [
              0.09042,
              0.10983,
              0.12407,
              0.14774,
              0.18775,
              0.25795,
              0.38686,
              0.64148
            ],
            [
              0.09042,
              0.10983,
              0.1241,
              0.14776,
              0.18774,
              0.25794,
              0.38684,
              0.64142
            ],
            [
              0.09042,
              0.10983,
              0.12412,
              0.14767,
              0.18769,
              0.25797,
              0.38706,
              0.64137
            ],
            [
              0.09042,
              0.10983,
              0.12412,
              0.14768,
              0.18774,
              0.25802,
              0.38688,
              0.641
            ],
            [
              0.09042,
              0.10982,
              0.12416,
              0.14784,
              0.18773,
              0.2579,
              0.3869,
              0.6413
            ],
            [
              0.0904,
              0.1099,
              0.1242,
              0.1479,
              0.1879,
              0.2581,
              0.387,
              0.6411
            ],
            [
              0.0907,
              0.11,
              0.1244,
              0.1481,
              0.1882,
              0.2583,
              0.3871,
              0.6415
            ],
            [
              0.0917,
              0.111,
              0.1252,
              0.1488,
              0.1888,
              0.2589,
              0.3877,
              0.6415
            ],
            [
              0.1002,
              0.1188,
              0.1324,
              0.155,
              0.1933,
              0.2617,
              0.3887,
              0.6422
            ]
          ]
        },
        "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.00505,
            0.01009,
            0.02018,
            0.04036,
            0.08072,
            0.16145,
            0.3229
          ],
          "values": [
            [
              0.05887,
              0.08773,
              0.11252,
              0.15895,
              0.24672,
              0.42192,
              0.79115,
              1.54736
            ],
            [
              0.05886,
              0.08774,
              0.11254,
              0.15893,
              0.24671,
              0.42192,
              0.79108,
              1.54739
            ],
            [
              0.05887,
              0.08772,
              0.11252,
              0.15884,
              0.24671,
              0.42191,
              0.7911,
              1.54742
            ],
            [
              0.05887,
              0.08775,
              0.11259,
              0.15883,
              0.24684,
              0.42192,
              0.79108,
              1.54739
            ],
            [
              0.05887,
              0.08773,
              0.11255,
              0.15893,
              0.2468,
              0.4219,
              0.79108,
              1.54919
            ],
            [
              0.05892,
              0.0877,
              0.11253,
              0.15885,
              0.24674,
              0.42186,
              0.79145,
              1.54788
            ],
            [
              0.05887,
              0.08772,
              0.1125,
              0.15899,
              0.24693,
              0.42188,
              0.79104,
              1.54833
            ],
            [
              0.05887,
              0.08773,
              0.11252,
              0.15906,
              0.24688,
              0.42197,
              0.7911,
              1.548
            ],
            [
              0.05885,
              0.08775,
              0.1127,
              0.1591,
              0.24693,
              0.422,
              0.79112,
              1.548
            ],
            [
              0.05892,
              0.08772,
              0.11271,
              0.15898,
              0.24707,
              0.4221,
              0.7911,
              1.5484
            ],
            [
              0.0598,
              0.0884,
              0.1131,
              0.1593,
              0.2474,
              0.4222,
              0.7912,
              1.5481
            ],
            [
              0.0641,
              0.0931,
              0.1176,
              0.1633,
              0.25,
              0.4235,
              0.7915,
              1.5482
            ],
            [
              0.0706,
              0.1003,
              0.1254,
              0.1711,
              0.2575,
              0.4287,
              0.7936,
              1.5483
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.07813,
              0.07038,
              0.06278,
              0.04769,
              0.01738,
              -0.04377,
              -0.16711,
              -0.41483
            ],
            [
              0.07802,
              0.07027,
              0.06264,
              0.04757,
              0.01727,
              -0.04389,
              -0.16725,
              -0.41496
            ],
            [
              0.0779,
              0.07014,
              0.06253,
              0.04746,
              0.01715,
              -0.04401,
              -0.16737,
              -0.41507
            ],
            [
              0.07775,
              0.06997,
              0.06238,
              0.0473,
              0.017,
              -0.04416,
              -0.16751,
              -0.41523
            ],
            [
              0.07759,
              0.06982,
              0.06223,
              0.04715,
              0.01685,
              -0.04432,
              -0.16767,
              -0.41537
            ],
            [
              0.07741,
              0.06964,
              0.06207,
              0.04697,
              0.01666,
              -0.04451,
              -0.16786,
              -0.41557
            ],
            [
              0.0772,
              0.06946,
              0.06184,
              0.04674,
              0.01647,
              -0.04471,
              -0.16806,
              -0.41576
            ],
            [
              0.07699,
              0.06925,
              0.06164,
              0.04656,
              0.01627,
              -0.04491,
              -0.16826,
              -0.41596
            ],
            [
              0.07684,
              0.06909,
              0.06148,
              0.04641,
              0.01609,
              -0.04508,
              -0.16843,
              -0.41613
            ],
            [
              0.07669,
              0.06893,
              0.06135,
              0.04625,
              0.01594,
              -0.04522,
              -0.16857,
              -0.41629
            ],
            [
              0.07665,
              0.06887,
              0.06128,
              0.04618,
              0.01588,
              -0.04527,
              -0.16862,
              -0.41633
            ],
            [
              0.07666,
              0.06889,
              0.06129,
              0.0462,
              0.01588,
              -0.04529,
              -0.16863,
              -0.41633
            ],
            [
              0.07688,
              0.06914,
              0.06152,
              0.04642,
              0.01608,
              -0.04509,
              -0.16841,
              -0.41609
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06001,
              0.06793,
              0.07582,
              0.09148,
              0.12271,
              0.18471,
              0.30831,
              0.55507
            ],
            [
              0.05995,
              0.06787,
              0.07574,
              0.09142,
              0.12266,
              0.18465,
              0.30832,
              0.55506
            ],
            [
              0.05992,
              0.06783,
              0.07573,
              0.09139,
              0.12265,
              0.18455,
              0.30842,
              0.5549
            ],
            [
              0.05976,
              0.06767,
              0.07556,
              0.09129,
              0.12243,
              0.1844,
              0.3082,
              0.55459
            ],
            [
              0.05953,
              0.06745,
              0.07532,
              0.09102,
              0.12221,
              0.18429,
              0.30795,
              0.55475
            ],
            [
              0.05929,
              0.06721,
              0.07511,
              0.09076,
              0.12203,
              0.18398,
              0.30781,
              0.55433
            ],
            [
              0.05903,
              0.06694,
              0.07484,
              0.0905,
              0.12171,
              0.18379,
              0.30738,
              0.55402
            ],
            [
              0.05873,
              0.06664,
              0.07454,
              0.09023,
              0.12145,
              0.18337,
              0.30723,
              0.55389
            ],
            [
              0.05842,
              0.06634,
              0.07422,
              0.08993,
              0.1211,
              0.18317,
              0.307,
              0.55374
            ],
            [
              0.05813,
              0.06603,
              0.07393,
              0.08961,
              0.12079,
              0.18283,
              0.30644,
              0.55367
            ],
            [
              0.05787,
              0.0658,
              0.07369,
              0.08941,
              0.1206,
              0.18257,
              0.30639,
              0.55345
            ],
            [
              0.05775,
              0.06567,
              0.07358,
              0.0893,
              0.12057,
              0.18265,
              0.30645,
              0.55326
            ],
            [
              0.05795,
              0.06588,
              0.0738,
              0.08955,
              0.12062,
              0.18269,
              0.30663,
              0.55279
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.08467,
              0.09002,
              0.09545,
              0.10641,
              0.12795,
              0.16994,
              0.25227,
              0.41617
            ],
            [
              0.08463,
              0.08994,
              0.0954,
              0.10634,
              0.1279,
              0.16996,
              0.25254,
              0.41628
            ],
            [
              0.0846,
              0.08992,
              0.09537,
              0.10632,
              0.12786,
              0.16986,
              0.25233,
              0.41618
            ],
            [
              0.08443,
              0.08976,
              0.09522,
              0.10616,
              0.12771,
              0.16973,
              0.25224,
              0.41642
            ],
            [
              0.08419,
              0.08953,
              0.09498,
              0.10592,
              0.12748,
              0.1695,
              0.25198,
              0.41589
            ],
            [
              0.08395,
              0.08929,
              0.09476,
              0.10567,
              0.12722,
              0.16928,
              0.25178,
              0.4157
            ],
            [
              0.08368,
              0.089,
              0.09447,
              0.1054,
              0.12697,
              0.16897,
              0.25134,
              0.41517
            ],
            [
              0.08339,
              0.08872,
              0.09417,
              0.10511,
              0.12667,
              0.16866,
              0.25101,
              0.41533
            ],
            [
              0.08305,
              0.08839,
              0.09385,
              0.10479,
              0.12635,
              0.16838,
              0.25102,
              0.41498
            ],
            [
              0.08276,
              0.08807,
              0.09354,
              0.10448,
              0.12607,
              0.16809,
              0.25077,
              0.41459
            ],
            [
              0.08251,
              0.08784,
              0.0933,
              0.10426,
              0.12586,
              0.16796,
              0.25061,
              0.41441
            ],
            [
              0.08237,
              0.08771,
              0.09317,
              0.10414,
              0.12578,
              0.16786,
              0.25043,
              0.41412
            ],
            [
              0.08255,
              0.08789,
              0.09337,
              0.10436,
              0.126,
              0.16821,
              0.25077,
              0.41415
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.0988,
              0.10684,
              0.11495,
              0.13104,
              0.16283,
              0.22544,
              0.34934,
              0.59635
            ],
            [
              0.09867,
              0.1067,
              0.11482,
              0.13093,
              0.16273,
              0.22529,
              0.34932,
              0.59602
            ],
            [
              0.09854,
              0.10658,
              0.1147,
              0.13081,
              0.16262,
              0.22527,
              0.34906,
              0.5961
            ],
            [
              0.0984,
              0.10643,
              0.11456,
              0.13066,
              0.16248,
              0.22512,
              0.34911,
              0.59559
            ],
            [
              0.09824,
              0.10629,
              0.1144,
              0.13049,
              0.16228,
              0.22492,
              0.34917,
              0.59608
            ],
            [
              0.09807,
              0.10611,
              0.11422,
              0.13032,
              0.1621,
              0.22467,
              0.34869,
              0.59559
            ],
            [
              0.09785,
              0.10589,
              0.11402,
              0.1301,
              0.16191,
              0.2245,
              0.34842,
              0.59578
            ],
            [
              0.09765,
              0.10569,
              0.11381,
              0.1299,
              0.16172,
              0.22429,
              0.34834,
              0.59485
            ],
            [
              0.09745,
              0.10551,
              0.11361,
              0.12971,
              0.16151,
              0.2241,
              0.34803,
              0.59488
            ],
            [
              0.09728,
              0.10535,
              0.11342,
              0.1295,
              0.16131,
              0.2239,
              0.34814,
              0.59421
            ],
            [
              0.09723,
              0.10524,
              0.11334,
              0.12943,
              0.16122,
              0.22377,
              0.34786,
              0.59447
            ],
            [
              0.09722,
              0.10522,
              0.1133,
              0.12935,
              0.16118,
              0.22376,
              0.34767,
              0.5943
            ],
            [
              0.09744,
              0.10539,
              0.11347,
              0.12951,
              0.16132,
              0.22391,
              0.34813,
              0.5943
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.07513,
              0.06736,
              0.05977,
              0.04467,
              0.01437,
              -0.04681,
              -0.17016,
              -0.41783
            ],
            [
              0.07503,
              0.06727,
              0.05969,
              0.04459,
              0.01426,
              -0.04689,
              -0.17023,
              -0.41791
            ],
            [
              0.07493,
              0.06716,
              0.05956,
              0.04446,
              0.01415,
              -0.04702,
              -0.17036,
              -0.41803
            ],
            [
              0.07482,
              0.06705,
              0.05946,
              0.04437,
              0.01405,
              -0.04711,
              -0.17045,
              -0.4181
            ],
            [
              0.07473,
              0.06696,
              0.05936,
              0.04428,
              0.01395,
              -0.04721,
              -0.17055,
              -0.41823
            ],
            [
              0.07467,
              0.06689,
              0.0593,
              0.04418,
              0.01387,
              -0.0473,
              -0.17063,
              -0.41832
            ],
            [
              0.07464,
              0.06687,
              0.05927,
              0.04416,
              0.01385,
              -0.04733,
              -0.17067,
              -0.41835
            ],
            [
              0.07474,
              0.06696,
              0.05939,
              0.04428,
              0.01394,
              -0.04723,
              -0.17058,
              -0.41825
            ],
            [
              0.07504,
              0.06725,
              0.05965,
              0.04454,
              0.01422,
              -0.04696,
              -0.1703,
              -0.41797
            ],
            [
              0.07562,
              0.06784,
              0.06024,
              0.04516,
              0.0148,
              -0.04638,
              -0.1697,
              -0.41738
            ],
            [
              0.07641,
              0.06869,
              0.06105,
              0.04594,
              0.01559,
              -0.04559,
              -0.16892,
              -0.41661
            ],
            [
              0.07742,
              0.06961,
              0.06203,
              0.0469,
              0.01654,
              -0.04466,
              -0.16797,
              -0.41563
            ],
            [
              0.07862,
              0.07085,
              0.06324,
              0.04813,
              0.01775,
              -0.04346,
              -0.1668,
              -0.41443
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.04674,
              0.05465,
              0.06254,
              0.07821,
              0.10948,
              0.1715,
              0.2952,
              0.54187
            ],
            [
              0.0469,
              0.0548,
              0.0627,
              0.0784,
              0.10957,
              0.17154,
              0.29541,
              0.54194
            ],
            [
              0.04683,
              0.05474,
              0.06263,
              0.07836,
              0.10952,
              0.17162,
              0.29558,
              0.5425
            ],
            [
              0.04688,
              0.05479,
              0.06268,
              0.07838,
              0.10964,
              0.17161,
              0.29535,
              0.54208
            ],
            [
              0.04684,
              0.05475,
              0.06263,
              0.07834,
              0.10954,
              0.17143,
              0.29542,
              0.54205
            ],
            [
              0.04694,
              0.05484,
              0.06273,
              0.07844,
              0.10962,
              0.17157,
              0.29542,
              0.54284
            ],
            [
              0.04711,
              0.05502,
              0.06291,
              0.07861,
              0.10984,
              0.17185,
              0.29564,
              0.54241
            ],
            [
              0.0474,
              0.0553,
              0.0632,
              0.0789,
              0.11007,
              0.172,
              0.29586,
              0.54197
            ],
            [
              0.04791,
              0.05581,
              0.06371,
              0.0794,
              0.11059,
              0.1726,
              0.29634,
              0.54319
            ],
            [
              0.04866,
              0.05657,
              0.06446,
              0.08015,
              0.1114,
              0.17348,
              0.29734,
              0.54404
            ],
            [
              0.04966,
              0.05757,
              0.06545,
              0.08111,
              0.11236,
              0.17432,
              0.29799,
              0.54454
            ],
            [
              0.05094,
              0.05887,
              0.06674,
              0.08245,
              0.11366,
              0.17564,
              0.29931,
              0.54569
            ],
            [
              0.05266,
              0.06057,
              0.06847,
              0.08417,
              0.11515,
              0.17705,
              0.30055,
              0.54706
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.07194,
              0.07726,
              0.08272,
              0.09367,
              0.11526,
              0.15729,
              0.23983,
              0.40357
            ],
            [
              0.07187,
              0.07719,
              0.08266,
              0.09361,
              0.11521,
              0.15725,
              0.23981,
              0.40393
            ],
            [
              0.07189,
              0.07725,
              0.08268,
              0.09363,
              0.11524,
              0.15726,
              0.23974,
              0.40374
            ],
            [
              0.07186,
              0.07719,
              0.08264,
              0.09359,
              0.11519,
              0.15724,
              0.23959,
              0.40378
            ],
            [
              0.07181,
              0.07714,
              0.08261,
              0.09356,
              0.11516,
              0.15716,
              0.23976,
              0.40363
            ],
            [
              0.07181,
              0.07714,
              0.08261,
              0.09355,
              0.11515,
              0.15716,
              0.23973,
              0.40369
            ],
            [
              0.07183,
              0.07716,
              0.08262,
              0.09355,
              0.11515,
              0.15721,
              0.23965,
              0.40338
            ],
            [
              0.07181,
              0.07714,
              0.08262,
              0.09354,
              0.11513,
              0.15714,
              0.23979,
              0.40321
            ],
            [
              0.07187,
              0.07718,
              0.08262,
              0.09355,
              0.11513,
              0.15719,
              0.23971,
              0.40348
            ],
            [
              0.07198,
              0.07729,
              0.08275,
              0.09367,
              0.11524,
              0.1572,
              0.2397,
              0.40343
            ],
            [
              0.07226,
              0.07757,
              0.08299,
              0.09392,
              0.11546,
              0.15743,
              0.23985,
              0.40401
            ],
            [
              0.0727,
              0.07804,
              0.08347,
              0.09438,
              0.11587,
              0.15777,
              0.24015,
              0.40442
            ],
            [
              0.07345,
              0.07876,
              0.08421,
              0.09512,
              0.11653,
              0.15834,
              0.24111,
              0.40479
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.09404,
              0.10209,
              0.1102,
              0.12627,
              0.15803,
              0.22052,
              0.34454,
              0.59076
            ],
            [
              0.09399,
              0.10203,
              0.11015,
              0.12623,
              0.15796,
              0.22038,
              0.34439,
              0.5915
            ],
            [
              0.09389,
              0.10196,
              0.11005,
              0.12611,
              0.15785,
              0.22049,
              0.34461,
              0.59075
            ],
            [
              0.09376,
              0.10179,
              0.10992,
              0.12599,
              0.15771,
              0.22036,
              0.34436,
              0.59052
            ],
            [
              0.0936,
              0.10166,
              0.10976,
              0.12584,
              0.15753,
              0.22002,
              0.34393,
              0.59088
            ],
            [
              0.09349,
              0.10154,
              0.10963,
              0.12572,
              0.15746,
              0.21994,
              0.34403,
              0.59083
            ],
            [
              0.09335,
              0.10139,
              0.10951,
              0.12557,
              0.15732,
              0.21984,
              0.3439,
              0.59074
            ],
            [
              0.09329,
              0.10133,
              0.10945,
              0.12553,
              0.15721,
              0.21973,
              0.3438,
              0.59033
            ],
            [
              0.0933,
              0.10135,
              0.10945,
              0.12553,
              0.15723,
              0.21984,
              0.34374,
              0.59074
            ],
            [
              0.09339,
              0.10143,
              0.10953,
              0.12559,
              0.1573,
              0.21973,
              0.34395,
              0.59067
            ],
            [
              0.09361,
              0.10165,
              0.10974,
              0.12573,
              0.15744,
              0.21989,
              0.34388,
              0.5908
            ],
            [
              0.09386,
              0.10188,
              0.10996,
              0.12597,
              0.15758,
              0.22007,
              0.34416,
              0.59044
            ],
            [
              0.09434,
              0.10234,
              0.11036,
              0.12632,
              0.1579,
              0.22022,
              0.34412,
              0.59108
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.04992,
              0.04208,
              0.03439,
              0.01921,
              -0.01118,
              -0.07245,
              -0.19589,
              -0.44366
            ],
            [
              0.04987,
              0.04201,
              0.03434,
              0.01917,
              -0.01124,
              -0.0725,
              -0.19595,
              -0.44371
            ],
            [
              0.04986,
              0.04198,
              0.03433,
              0.01913,
              -0.01126,
              -0.07252,
              -0.19597,
              -0.44373
            ],
            [
              0.04981,
              0.04194,
              0.03428,
              0.01909,
              -0.0113,
              -0.07256,
              -0.196,
              -0.44376
            ],
            [
              0.04976,
              0.0419,
              0.03423,
              0.01905,
              -0.01135,
              -0.07261,
              -0.19605,
              -0.44382
            ],
            [
              0.0497,
              0.04182,
              0.03418,
              0.01897,
              -0.01142,
              -0.07268,
              -0.19612,
              -0.44388
            ],
            [
              0.04964,
              0.04181,
              0.03412,
              0.01891,
              -0.01147,
              -0.07275,
              -0.19616,
              -0.44393
            ],
            [
              0.04958,
              0.04171,
              0.03407,
              0.01886,
              -0.01155,
              -0.07282,
              -0.19624,
              -0.444
            ],
            [
              0.04955,
              0.04168,
              0.03401,
              0.01882,
              -0.01163,
              -0.0729,
              -0.19632,
              -0.44407
            ],
            [
              0.04945,
              0.04158,
              0.03388,
              0.01867,
              -0.01179,
              -0.0731,
              -0.19649,
              -0.4442
            ],
            [
              0.04937,
              0.04147,
              0.03377,
              0.01851,
              -0.01201,
              -0.07334,
              -0.19671,
              -0.44438
            ],
            [
              0.04938,
              0.04145,
              0.03371,
              0.01836,
              -0.01222,
              -0.07359,
              -0.19695,
              -0.44455
            ],
            [
              0.04962,
              0.04158,
              0.03377,
              0.01838,
              -0.01232,
              -0.07377,
              -0.19713,
              -0.44467
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.04068,
              0.04862,
              0.05656,
              0.0723,
              0.10358,
              0.16522,
              0.28869,
              0.53474
            ],
            [
              0.04064,
              0.04858,
              0.05652,
              0.07224,
              0.1035,
              0.16524,
              0.28892,
              0.53541
            ],
            [
              0.0406,
              0.04855,
              0.05649,
              0.07221,
              0.10348,
              0.16513,
              0.28865,
              0.53539
            ],
            [
              0.04053,
              0.04851,
              0.0564,
              0.07217,
              0.10339,
              0.16513,
              0.28861,
              0.53534
            ],
            [
              0.04049,
              0.04846,
              0.05635,
              0.07213,
              0.10336,
              0.16507,
              0.2884,
              0.53492
            ],
            [
              0.04044,
              0.04842,
              0.05631,
              0.07209,
              0.10328,
              0.16503,
              0.28857,
              0.53567
            ],
            [
              0.04036,
              0.0483,
              0.05625,
              0.07195,
              0.10318,
              0.16494,
              0.28849,
              0.53562
            ],
            [
              0.04024,
              0.04823,
              0.05612,
              0.07184,
              0.10303,
              0.16489,
              0.28852,
              0.53447
            ],
            [
              0.04014,
              0.04807,
              0.05602,
              0.07175,
              0.10294,
              0.16467,
              0.28829,
              0.53428
            ],
            [
              0.04,
              0.04795,
              0.05586,
              0.07155,
              0.10274,
              0.16444,
              0.28794,
              0.53492
            ],
            [
              0.03991,
              0.04783,
              0.05571,
              0.07139,
              0.10256,
              0.16431,
              0.28784,
              0.53441
            ],
            [
              0.03987,
              0.04774,
              0.05556,
              0.07124,
              0.10234,
              0.16411,
              0.28758,
              0.53393
            ],
            [
              0.03995,
              0.04778,
              0.05561,
              0.07128,
              0.10227,
              0.16391,
              0.28728,
              0.53424
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06822,
              0.07358,
              0.07902,
              0.09008,
              0.11193,
              0.15448,
              0.23674,
              0.40031
            ],
            [
              0.06818,
              0.07355,
              0.079,
              0.09005,
              0.1119,
              0.15445,
              0.23681,
              0.40017
            ],
            [
              0.06817,
              0.07355,
              0.07896,
              0.09002,
              0.11188,
              0.15443,
              0.23678,
              0.40011
            ],
            [
              0.06809,
              0.07347,
              0.07891,
              0.08993,
              0.11182,
              0.15438,
              0.23673,
              0.40045
            ],
            [
              0.06805,
              0.07342,
              0.07886,
              0.08992,
              0.11177,
              0.15434,
              0.23654,
              0.39973
            ],
            [
              0.068,
              0.07335,
              0.0788,
              0.08983,
              0.11172,
              0.15429,
              0.23651,
              0.40001
            ],
            [
              0.06791,
              0.07327,
              0.07871,
              0.08977,
              0.11161,
              0.15418,
              0.23634,
              0.40014
            ],
            [
              0.06777,
              0.07313,
              0.07859,
              0.08962,
              0.11146,
              0.15402,
              0.2362,
              0.39986
            ],
            [
              0.0676,
              0.07296,
              0.0784,
              0.08943,
              0.11127,
              0.15379,
              0.23593,
              0.39977
            ],
            [
              0.06743,
              0.07278,
              0.0782,
              0.08922,
              0.11105,
              0.15354,
              0.23572,
              0.39952
            ],
            [
              0.06724,
              0.07257,
              0.07797,
              0.08898,
              0.11075,
              0.15319,
              0.23535,
              0.39923
            ],
            [
              0.06708,
              0.0724,
              0.07776,
              0.08872,
              0.11043,
              0.15281,
              0.23503,
              0.39826
            ],
            [
              0.06703,
              0.07227,
              0.07762,
              0.08851,
              0.11018,
              0.15246,
              0.23452,
              0.39851
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.07314,
              0.08108,
              0.08916,
              0.10535,
              0.13731,
              0.20034,
              0.32509,
              0.5715
            ],
            [
              0.0731,
              0.08101,
              0.08913,
              0.1053,
              0.13726,
              0.20029,
              0.32505,
              0.57073
            ],
            [
              0.07307,
              0.08103,
              0.08911,
              0.10527,
              0.13723,
              0.20027,
              0.32477,
              0.57079
            ],
            [
              0.07304,
              0.081,
              0.08905,
              0.10523,
              0.13727,
              0.20032,
              0.32485,
              0.57127
            ],
            [
              0.07301,
              0.08096,
              0.08902,
              0.10521,
              0.13717,
              0.20014,
              0.32481,
              0.57155
            ],
            [
              0.07297,
              0.08093,
              0.08899,
              0.10513,
              0.13709,
              0.20026,
              0.32453,
              0.57148
            ],
            [
              0.07293,
              0.08087,
              0.08892,
              0.10509,
              0.13711,
              0.20009,
              0.32437,
              0.57156
            ],
            [
              0.07287,
              0.08083,
              0.08889,
              0.10505,
              0.13708,
              0.20002,
              0.32458,
              0.57178
            ],
            [
              0.07282,
              0.08074,
              0.08881,
              0.10495,
              0.13693,
              0.1999,
              0.32449,
              0.57058
            ],
            [
              0.0727,
              0.08063,
              0.08865,
              0.10479,
              0.13669,
              0.19975,
              0.32398,
              0.57078
            ],
            [
              0.07254,
              0.08048,
              0.08847,
              0.10456,
              0.13639,
              0.19947,
              0.32382,
              0.57018
            ],
            [
              0.07251,
              0.08037,
              0.08835,
              0.10435,
              0.13608,
              0.19896,
              0.32329,
              0.56987
            ],
            [
              0.07262,
              0.0804,
              0.08831,
              0.1042,
              0.13585,
              0.19857,
              0.32276,
              0.56945
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.2481,
    "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.72697,
              0.77283,
              0.80391,
              0.8501,
              0.91763,
              1.01807,
              1.17457,
              1.43797
            ],
            [
              0.72999,
              0.77586,
              0.80693,
              0.85312,
              0.92066,
              1.02104,
              1.17754,
              1.44094
            ],
            [
              0.73374,
              0.77961,
              0.81063,
              0.85683,
              0.9244,
              1.02472,
              1.18132,
              1.44452
            ],
            [
              0.73945,
              0.78531,
              0.81639,
              0.86257,
              0.93012,
              1.03048,
              1.18708,
              1.45037
            ],
            [
              0.74829,
              0.79415,
              0.8252,
              0.8714,
              0.93896,
              1.03931,
              1.19591,
              1.45911
            ],
            [
              0.76177,
              0.80763,
              0.83867,
              0.88487,
              0.95242,
              1.05282,
              1.20932,
              1.47262
            ],
            [
              0.78235,
              0.82821,
              0.85926,
              0.90543,
              0.97303,
              1.07333,
              1.22993,
              1.49323
            ],
            [
              0.81349,
              0.85936,
              0.89036,
              0.93656,
              1.00416,
              1.10446,
              1.26106,
              1.52436
            ],
            [
              0.85885,
              0.90475,
              0.93575,
              0.98195,
              1.04945,
              1.14985,
              1.30645,
              1.56985
            ],
            [
              0.92189,
              0.96779,
              0.99879,
              1.04499,
              1.11259,
              1.21299,
              1.36949,
              1.63279
            ],
            [
              1.00592,
              1.05182,
              1.08292,
              1.12912,
              1.19672,
              1.29712,
              1.45372,
              1.71722
            ],
            [
              1.11097,
              1.15677,
              1.18787,
              1.23407,
              1.30177,
              1.40227,
              1.55897,
              1.82247
            ],
            [
              1.2287,
              1.2744,
              1.3054,
              1.3516,
              1.4193,
              1.5199,
              1.6767,
              1.9402
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.61257,
              0.65398,
              0.68403,
              0.73238,
              0.81225,
              0.95265,
              1.21807,
              1.74297
            ],
            [
              0.61573,
              0.65713,
              0.68717,
              0.73553,
              0.81545,
              0.95592,
              1.22164,
              1.74614
            ],
            [
              0.61955,
              0.66096,
              0.691,
              0.73935,
              0.81927,
              0.95977,
              1.22552,
              1.75042
            ],
            [
              0.62536,
              0.66678,
              0.69681,
              0.74518,
              0.82505,
              0.96559,
              1.23108,
              1.75608
            ],
            [
              0.63399,
              0.67542,
              0.70544,
              0.75381,
              0.83371,
              0.97431,
              1.23991,
              1.76511
            ],
            [
              0.6471,
              0.6885,
              0.71856,
              0.7669,
              0.84677,
              0.98712,
              1.25272,
              1.77732
            ],
            [
              0.6666,
              0.70802,
              0.73805,
              0.78641,
              0.86632,
              1.00693,
              1.27253,
              1.79773
            ],
            [
              0.69392,
              0.73532,
              0.76537,
              0.81372,
              0.89356,
              1.03396,
              1.29966,
              1.82406
            ],
            [
              0.73002,
              0.77145,
              0.80145,
              0.84985,
              0.92975,
              1.07035,
              1.33595,
              1.86115
            ],
            [
              0.77739,
              0.81869,
              0.84879,
              0.89709,
              0.97699,
              1.11759,
              1.38329,
              1.90839
            ],
            [
              0.83862,
              0.87992,
              0.90992,
              0.95822,
              1.03812,
              1.17862,
              1.44422,
              1.96912
            ],
            [
              0.91567,
              0.95697,
              0.98697,
              1.03537,
              1.11527,
              1.25577,
              1.52167,
              2.04677
            ],
            [
              1.0106,
              1.0518,
              1.0818,
              1.1301,
              1.21,
              1.3504,
              1.6164,
              2.1406
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.08888,
              0.11211,
              0.1287,
              0.15564,
              0.20103,
              0.28093,
              0.4307,
              0.726
            ],
            [
              0.08888,
              0.1121,
              0.12871,
              0.15565,
              0.20107,
              0.28098,
              0.43075,
              0.726
            ],
            [
              0.08888,
              0.11209,
              0.12865,
              0.15564,
              0.20118,
              0.28141,
              0.43016,
              0.7256
            ],
            [
              0.08888,
              0.1121,
              0.12872,
              0.15565,
              0.20105,
              0.28096,
              0.4308,
              0.726
            ],
            [
              0.08888,
              0.1121,
              0.12862,
              0.15563,
              0.20103,
              0.28096,
              0.4304,
              0.7258
            ],
            [
              0.08887,
              0.11209,
              0.12861,
              0.15559,
              0.20106,
              0.2809,
              0.4303,
              0.7257
            ],
            [
              0.08887,
              0.11209,
              0.12862,
              0.15562,
              0.20099,
              0.2809,
              0.4304,
              0.7258
            ],
            [
              0.08889,
              0.11211,
              0.12861,
              0.1556,
              0.2012,
              0.2814,
              0.4301,
              0.7256
            ],
            [
              0.0889,
              0.1121,
              0.1287,
              0.1557,
              0.2011,
              0.2809,
              0.4299,
              0.726
            ],
            [
              0.0889,
              0.1121,
              0.1286,
              0.1557,
              0.2012,
              0.2813,
              0.43,
              0.7255
            ],
            [
              0.0888,
              0.112,
              0.1287,
              0.1555,
              0.201,
              0.2813,
              0.43,
              0.726
            ],
            [
              0.0885,
              0.1118,
              0.1284,
              0.1555,
              0.2009,
              0.2809,
              0.4308,
              0.726
            ],
            [
              0.0881,
              0.1113,
              0.128,
              0.1552,
              0.2007,
              0.2811,
              0.4298,
              0.7252
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06097,
              0.08905,
              0.11279,
              0.15634,
              0.2409,
              0.41282,
              0.76848,
              1.4981
            ],
            [
              0.06097,
              0.08901,
              0.11262,
              0.15628,
              0.24079,
              0.41286,
              0.76938,
              1.4972
            ],
            [
              0.06098,
              0.08902,
              0.11258,
              0.15625,
              0.24099,
              0.41282,
              0.76932,
              1.4964
            ],
            [
              0.06096,
              0.08903,
              0.11272,
              0.15663,
              0.24066,
              0.4124,
              0.76878,
              1.4981
            ],
            [
              0.061,
              0.08901,
              0.11266,
              0.15636,
              0.24061,
              0.41254,
              0.76934,
              1.4983
            ],
            [
              0.06096,
              0.08914,
              0.11286,
              0.15633,
              0.24086,
              0.41286,
              0.7689,
              1.4981
            ],
            [
              0.06097,
              0.08901,
              0.11264,
              0.15638,
              0.24063,
              0.41276,
              0.7694,
              1.4981
            ],
            [
              0.06094,
              0.08913,
              0.11269,
              0.15634,
              0.24078,
              0.4129,
              0.7689,
              1.4981
            ],
            [
              0.06086,
              0.08899,
              0.11266,
              0.1563,
              0.2406,
              0.4125,
              0.7694,
              1.4983
            ],
            [
              0.0608,
              0.0889,
              0.1125,
              0.1564,
              0.2405,
              0.4128,
              0.7694,
              1.4978
            ],
            [
              0.0606,
              0.0887,
              0.1127,
              0.1561,
              0.2408,
              0.4128,
              0.7687,
              1.4981
            ],
            [
              0.0604,
              0.0886,
              0.1124,
              0.156,
              0.2407,
              0.4127,
              0.7694,
              1.4983
            ],
            [
              0.0602,
              0.0884,
              0.112,
              0.1559,
              0.2404,
              0.4126,
              0.7696,
              1.4982
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.76564,
              0.81824,
              0.85408,
              0.9076,
              0.98542,
              1.09837,
              1.26957,
              1.55297
            ],
            [
              0.76887,
              0.82149,
              0.85733,
              0.91085,
              0.98874,
              1.10164,
              1.27284,
              1.55624
            ],
            [
              0.77284,
              0.82545,
              0.86128,
              0.9148,
              0.99262,
              1.10552,
              1.27682,
              1.56012
            ],
            [
              0.77868,
              0.83129,
              0.86711,
              0.92063,
              0.99848,
              1.11138,
              1.28268,
              1.56608
            ],
            [
              0.78738,
              0.83998,
              0.8758,
              0.92933,
              1.00721,
              1.12011,
              1.29131,
              1.57471
            ],
            [
              0.80042,
              0.85302,
              0.88885,
              0.94232,
              1.02022,
              1.13312,
              1.30432,
              1.58772
            ],
            [
              0.81985,
              0.87245,
              0.90833,
              0.96183,
              1.03963,
              1.15253,
              1.32383,
              1.60723
            ],
            [
              0.84826,
              0.90086,
              0.93666,
              0.99016,
              1.06796,
              1.18086,
              1.35216,
              1.63546
            ],
            [
              0.88825,
              0.94065,
              0.97635,
              1.02985,
              1.10765,
              1.22065,
              1.39195,
              1.67535
            ],
            [
              0.94339,
              0.99549,
              1.03099,
              1.08439,
              1.16219,
              1.27519,
              1.44659,
              1.72999
            ],
            [
              1.01562,
              1.06722,
              1.10262,
              1.15582,
              1.23362,
              1.34672,
              1.51822,
              1.80152
            ],
            [
              1.10477,
              1.15597,
              1.19117,
              1.24417,
              1.32187,
              1.43517,
              1.60677,
              1.89017
            ],
            [
              1.2108,
              1.2616,
              1.2965,
              1.3494,
              1.4272,
              1.5407,
              1.7124,
              1.996
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.61344,
              0.65591,
              0.68693,
              0.73693,
              0.81915,
              0.96196,
              1.22867,
              1.75237
            ],
            [
              0.6165,
              0.65898,
              0.69,
              0.74,
              0.82223,
              0.96503,
              1.23164,
              1.75554
            ],
            [
              0.62026,
              0.66274,
              0.69376,
              0.74376,
              0.82599,
              0.96879,
              1.23542,
              1.75922
            ],
            [
              0.62601,
              0.66849,
              0.69951,
              0.74952,
              0.83174,
              0.97457,
              1.24118,
              1.76498
            ],
            [
              0.6349,
              0.67738,
              0.7084,
              0.7584,
              0.84063,
              0.98341,
              1.25011,
              1.77391
            ],
            [
              0.64844,
              0.69093,
              0.72194,
              0.77195,
              0.85417,
              0.99702,
              1.26372,
              1.78742
            ],
            [
              0.66895,
              0.71144,
              0.74246,
              0.79246,
              0.87469,
              1.01743,
              1.28413,
              1.80793
            ],
            [
              0.70001,
              0.7425,
              0.77352,
              0.82353,
              0.90576,
              1.04856,
              1.31526,
              1.83896
            ],
            [
              0.74557,
              0.78805,
              0.81905,
              0.86905,
              0.95135,
              1.09415,
              1.36075,
              1.88455
            ],
            [
              0.81029,
              0.85279,
              0.88379,
              0.93389,
              1.01609,
              1.15889,
              1.42549,
              1.94939
            ],
            [
              0.89902,
              0.94152,
              0.97262,
              1.02262,
              1.10482,
              1.24762,
              1.51422,
              2.03812
            ],
            [
              1.01707,
              1.05977,
              1.09087,
              1.14097,
              1.22317,
              1.36597,
              1.63257,
              2.15647
            ],
            [
              1.1678,
              1.2112,
              1.2426,
              1.293,
              1.3756,
              1.5184,
              1.7851,
              2.3093
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.10291,
              0.12448,
              0.14001,
              0.16685,
              0.2137,
              0.2985,
              0.4555,
              0.7682
            ],
            [
              0.10291,
              0.12439,
              0.14003,
              0.16674,
              0.21406,
              0.29818,
              0.4551,
              0.7677
            ],
            [
              0.10291,
              0.12446,
              0.14002,
              0.16674,
              0.21364,
              0.29855,
              0.4556,
              0.7683
            ],
            [
              0.1029,
              0.12438,
              0.14002,
              0.16675,
              0.214,
              0.29853,
              0.4551,
              0.7678
            ],
            [
              0.1029,
              0.12437,
              0.14002,
              0.1668,
              0.21405,
              0.2986,
              0.4551,
              0.7677
            ],
            [
              0.10289,
              0.12441,
              0.14009,
              0.16667,
              0.21366,
              0.2982,
              0.4556,
              0.7682
            ],
            [
              0.10293,
              0.12443,
              0.14001,
              0.16672,
              0.2141,
              0.2982,
              0.4561,
              0.7675
            ],
            [
              0.10286,
              0.12434,
              0.14,
              0.1666,
              0.214,
              0.2981,
              0.456,
              0.7674
            ],
            [
              0.1027,
              0.1243,
              0.1401,
              0.1667,
              0.2138,
              0.2984,
              0.4549,
              0.7674
            ],
            [
              0.1023,
              0.124,
              0.1397,
              0.1666,
              0.2136,
              0.2978,
              0.4553,
              0.7681
            ],
            [
              0.1017,
              0.1238,
              0.1394,
              0.1661,
              0.213,
              0.2973,
              0.455,
              0.7671
            ],
            [
              0.1009,
              0.1233,
              0.1391,
              0.1657,
              0.2125,
              0.2971,
              0.4549,
              0.7673
            ],
            [
              0.1002,
              0.1228,
              0.1387,
              0.1656,
              0.2123,
              0.2973,
              0.4547,
              0.7677
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06179,
              0.09094,
              0.11538,
              0.15994,
              0.24454,
              0.41517,
              0.76832,
              1.493
            ],
            [
              0.0618,
              0.09097,
              0.1154,
              0.15994,
              0.24457,
              0.41518,
              0.76943,
              1.4939
            ],
            [
              0.0618,
              0.09097,
              0.1154,
              0.15994,
              0.24456,
              0.4151,
              0.76945,
              1.4938
            ],
            [
              0.06181,
              0.09097,
              0.1154,
              0.15994,
              0.24456,
              0.4151,
              0.76965,
              1.4937
            ],
            [
              0.06182,
              0.09095,
              0.11538,
              0.15994,
              0.24459,
              0.41514,
              0.76869,
              1.4931
            ],
            [
              0.06183,
              0.09095,
              0.11537,
              0.15995,
              0.24455,
              0.41511,
              0.76886,
              1.4925
            ],
            [
              0.06182,
              0.09096,
              0.11539,
              0.15994,
              0.24456,
              0.41521,
              0.769,
              1.4928
            ],
            [
              0.06184,
              0.09096,
              0.11536,
              0.15994,
              0.24452,
              0.4154,
              0.7691,
              1.4936
            ],
            [
              0.0618,
              0.09103,
              0.1154,
              0.1598,
              0.2446,
              0.4152,
              0.769,
              1.4935
            ],
            [
              0.0618,
              0.091,
              0.1154,
              0.1599,
              0.2445,
              0.4152,
              0.7689,
              1.4935
            ],
            [
              0.0619,
              0.0909,
              0.1154,
              0.1599,
              0.2446,
              0.4152,
              0.7683,
              1.4937
            ],
            [
              0.0617,
              0.0909,
              0.1153,
              0.1598,
              0.2444,
              0.415,
              0.7684,
              1.4928
            ],
            [
              0.0621,
              0.0911,
              0.1153,
              0.1599,
              0.2446,
              0.4154,
              0.7692,
              1.4923
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.69268,
              0.74102,
              0.77368,
              0.82207,
              0.8922,
              0.99497,
              1.15337,
              1.41777
            ],
            [
              0.69593,
              0.74426,
              0.77693,
              0.82532,
              0.89545,
              0.99824,
              1.15654,
              1.42104
            ],
            [
              0.6999,
              0.74824,
              0.78091,
              0.82929,
              0.89943,
              1.00222,
              1.16062,
              1.42502
            ],
            [
              0.70571,
              0.75406,
              0.78675,
              0.83512,
              0.90528,
              1.00808,
              1.16638,
              1.43108
            ],
            [
              0.71445,
              0.76279,
              0.79547,
              0.84385,
              0.914,
              1.01681,
              1.17511,
              1.43981
            ],
            [
              0.72759,
              0.77593,
              0.80859,
              0.85699,
              0.92712,
              1.02992,
              1.18822,
              1.45272
            ],
            [
              0.74716,
              0.7955,
              0.82818,
              0.87654,
              0.94673,
              1.04943,
              1.20783,
              1.47253
            ],
            [
              0.77604,
              0.82439,
              0.85706,
              0.90546,
              0.97556,
              1.07836,
              1.23666,
              1.50136
            ],
            [
              0.81705,
              0.86535,
              0.89795,
              0.94635,
              1.01655,
              1.11935,
              1.27775,
              1.54225
            ],
            [
              0.87339,
              0.92159,
              0.95419,
              1.00259,
              1.07279,
              1.17559,
              1.33399,
              1.59859
            ],
            [
              0.94642,
              0.99442,
              1.02692,
              1.07532,
              1.14552,
              1.24842,
              1.40682,
              1.67152
            ],
            [
              1.03517,
              1.08287,
              1.11527,
              1.16347,
              1.23377,
              1.33677,
              1.49517,
              1.75987
            ],
            [
              1.1406,
              1.188,
              1.2202,
              1.2683,
              1.3386,
              1.4417,
              1.6002,
              1.8649
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.63025,
              0.67453,
              0.70651,
              0.75771,
              0.84159,
              0.9883,
              1.26717,
              1.81927
            ],
            [
              0.63329,
              0.67757,
              0.70956,
              0.76076,
              0.84464,
              0.99134,
              1.27014,
              1.82224
            ],
            [
              0.63704,
              0.68132,
              0.71331,
              0.76451,
              0.84838,
              0.99512,
              1.27392,
              1.82602
            ],
            [
              0.64275,
              0.68703,
              0.71903,
              0.77021,
              0.8541,
              1.00077,
              1.27958,
              1.83167
            ],
            [
              0.6516,
              0.69589,
              0.72787,
              0.77907,
              0.86295,
              1.00961,
              1.28851,
              1.84061
            ],
            [
              0.66511,
              0.70939,
              0.74138,
              0.79258,
              0.87646,
              1.02312,
              1.30202,
              1.85412
            ],
            [
              0.68558,
              0.72986,
              0.76186,
              0.81305,
              0.89693,
              1.04363,
              1.32243,
              1.87453
            ],
            [
              0.71657,
              0.76085,
              0.79284,
              0.84406,
              0.92786,
              1.07466,
              1.35346,
              1.90556
            ],
            [
              0.76165,
              0.80595,
              0.83795,
              0.88915,
              0.97305,
              1.11975,
              1.39855,
              1.95065
            ],
            [
              0.82509,
              0.86939,
              0.90139,
              0.95259,
              1.03649,
              1.18319,
              1.46199,
              2.01409
            ],
            [
              0.91152,
              0.95582,
              0.98782,
              1.03902,
              1.12292,
              1.26962,
              1.54852,
              2.10052
            ],
            [
              1.02707,
              1.07137,
              1.10347,
              1.15477,
              1.23867,
              1.38557,
              1.66447,
              2.21637
            ],
            [
              1.1763,
              1.2212,
              1.2536,
              1.3052,
              1.3895,
              1.5368,
              1.8159,
              2.3673
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.08603,
              0.10839,
              0.12473,
              0.15172,
              0.19775,
              0.27829,
              0.42752,
              0.7231
            ],
            [
              0.08617,
              0.1084,
              0.12473,
              0.15172,
              0.19779,
              0.27831,
              0.42754,
              0.7231
            ],
            [
              0.08609,
              0.10834,
              0.1247,
              0.15171,
              0.1976,
              0.27783,
              0.42767,
              0.7232
            ],
            [
              0.08608,
              0.10846,
              0.12468,
              0.15186,
              0.19753,
              0.2781,
              0.42813,
              0.7235
            ],
            [
              0.08609,
              0.10853,
              0.12467,
              0.15176,
              0.19753,
              0.2782,
              0.4281,
              0.7235
            ],
            [
              0.08615,
              0.1084,
              0.12476,
              0.15174,
              0.1977,
              0.27833,
              0.4272,
              0.7228
            ],
            [
              0.0861,
              0.10851,
              0.12466,
              0.15174,
              0.19756,
              0.2782,
              0.4282,
              0.7235
            ],
            [
              0.08624,
              0.10845,
              0.12477,
              0.15171,
              0.1976,
              0.2782,
              0.4273,
              0.7234
            ],
            [
              0.0866,
              0.1086,
              0.1249,
              0.1519,
              0.1976,
              0.2779,
              0.4275,
              0.723
            ],
            [
              0.0876,
              0.1091,
              0.1252,
              0.1519,
              0.1975,
              0.2778,
              0.4272,
              0.7232
            ],
            [
              0.0884,
              0.1098,
              0.1255,
              0.1521,
              0.1978,
              0.2777,
              0.4272,
              0.7233
            ],
            [
              0.0893,
              0.1105,
              0.1262,
              0.1522,
              0.1974,
              0.2777,
              0.4272,
              0.7235
            ],
            [
              0.09,
              0.1113,
              0.1266,
              0.1525,
              0.1977,
              0.2781,
              0.4276,
              0.7234
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.0656,
              0.09501,
              0.11935,
              0.16388,
              0.24977,
              0.42595,
              0.7924,
              1.5346
            ],
            [
              0.06561,
              0.09501,
              0.11933,
              0.16388,
              0.24977,
              0.42597,
              0.79242,
              1.5346
            ],
            [
              0.0656,
              0.09501,
              0.11932,
              0.16387,
              0.24976,
              0.42591,
              0.79246,
              1.5346
            ],
            [
              0.06561,
              0.095,
              0.11931,
              0.16387,
              0.24974,
              0.42595,
              0.7924,
              1.5376
            ],
            [
              0.06559,
              0.09501,
              0.11937,
              0.1639,
              0.24982,
              0.42604,
              0.79158,
              1.5346
            ],
            [
              0.06561,
              0.09501,
              0.11936,
              0.1639,
              0.24982,
              0.42603,
              0.7927,
              1.5347
            ],
            [
              0.0656,
              0.095,
              0.1193,
              0.16388,
              0.24977,
              0.42588,
              0.7924,
              1.5354
            ],
            [
              0.06561,
              0.09499,
              0.11933,
              0.16383,
              0.24982,
              0.4259,
              0.7924,
              1.5381
            ],
            [
              0.06558,
              0.095,
              0.1193,
              0.1638,
              0.2499,
              0.426,
              0.7924,
              1.5367
            ],
            [
              0.0657,
              0.0951,
              0.1194,
              0.1639,
              0.2499,
              0.426,
              0.792,
              1.5346
            ],
            [
              0.0658,
              0.0951,
              0.1194,
              0.1638,
              0.25,
              0.4263,
              0.7922,
              1.5356
            ],
            [
              0.0658,
              0.0952,
              0.1195,
              0.1642,
              0.25,
              0.4267,
              0.7912,
              1.5367
            ],
            [
              0.0661,
              0.0954,
              0.12,
              0.1645,
              0.2503,
              0.4259,
              0.7905,
              1.5331
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.73993,
              0.78659,
              0.81811,
              0.86494,
              0.93325,
              1.03417,
              1.19097,
              1.45397
            ],
            [
              0.74296,
              0.78964,
              0.82117,
              0.86796,
              0.93628,
              1.03724,
              1.19394,
              1.45694
            ],
            [
              0.74669,
              0.79337,
              0.82489,
              0.87168,
              0.94001,
              1.04092,
              1.19762,
              1.46062
            ],
            [
              0.7524,
              0.79907,
              0.83064,
              0.87745,
              0.94573,
              1.04668,
              1.20338,
              1.46648
            ],
            [
              0.76122,
              0.80788,
              0.83945,
              0.88627,
              0.95451,
              1.05551,
              1.21221,
              1.47531
            ],
            [
              0.77471,
              0.82138,
              0.85294,
              0.89975,
              0.96802,
              1.06902,
              1.22572,
              1.48872
            ],
            [
              0.79526,
              0.84192,
              0.87344,
              0.92023,
              0.98853,
              1.08953,
              1.24623,
              1.50923
            ],
            [
              0.82619,
              0.87286,
              0.90436,
              0.95116,
              1.01956,
              1.12046,
              1.27726,
              1.54026
            ],
            [
              0.87155,
              0.91825,
              0.94975,
              0.99655,
              1.06485,
              1.16585,
              1.32255,
              1.58555
            ],
            [
              0.93459,
              0.98119,
              1.01279,
              1.05959,
              1.12789,
              1.22889,
              1.38559,
              1.64859
            ],
            [
              1.01832,
              1.06492,
              1.09652,
              1.14332,
              1.21162,
              1.31272,
              1.46942,
              1.73262
            ],
            [
              1.12277,
              1.16947,
              1.20107,
              1.24797,
              1.31637,
              1.41747,
              1.57437,
              1.83757
            ],
            [
              1.2412,
              1.2877,
              1.3193,
              1.3662,
              1.4346,
              1.5359,
              1.6929,
              1.9561
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.61444,
              0.65713,
              0.68818,
              0.73807,
              0.82006,
              0.9627,
              1.22947,
              1.75337
            ],
            [
              0.61759,
              0.66029,
              0.69133,
              0.74123,
              0.82322,
              0.96585,
              1.23264,
              1.75654
            ],
            [
              0.62147,
              0.66417,
              0.69521,
              0.7451,
              0.82709,
              0.96972,
              1.23652,
              1.76032
            ],
            [
              0.62721,
              0.66992,
              0.70093,
              0.75086,
              0.83283,
              0.97547,
              1.24198,
              1.76688
            ],
            [
              0.63582,
              0.67851,
              0.70955,
              0.75945,
              0.84144,
              0.98411,
              1.25091,
              1.77481
            ],
            [
              0.64889,
              0.69159,
              0.72263,
              0.77253,
              0.8545,
              0.99712,
              1.26392,
              1.78772
            ],
            [
              0.6684,
              0.7111,
              0.74214,
              0.79203,
              0.87402,
              1.01663,
              1.28343,
              1.80723
            ],
            [
              0.69577,
              0.73845,
              0.76947,
              0.81939,
              0.90136,
              1.04396,
              1.31056,
              1.83546
            ],
            [
              0.73199,
              0.77465,
              0.80565,
              0.85555,
              0.93755,
              1.08035,
              1.34705,
              1.87225
            ],
            [
              0.77949,
              0.82219,
              0.85319,
              0.90309,
              0.98499,
              1.12759,
              1.39409,
              1.91889
            ],
            [
              0.84082,
              0.88342,
              0.91442,
              0.96432,
              1.04632,
              1.18902,
              1.45572,
              1.98092
            ],
            [
              0.91797,
              0.96057,
              0.99147,
              1.04137,
              1.12337,
              1.26607,
              1.53277,
              2.05777
            ],
            [
              1.0126,
              1.0551,
              1.086,
              1.1359,
              1.2178,
              1.3603,
              1.6272,
              2.1523
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.09089,
              0.11438,
              0.13099,
              0.15797,
              0.20316,
              0.28246,
              0.43101,
              0.7256
            ],
            [
              0.09083,
              0.11444,
              0.13097,
              0.15799,
              0.20338,
              0.28286,
              0.43072,
              0.7254
            ],
            [
              0.09083,
              0.11444,
              0.13097,
              0.15799,
              0.20344,
              0.28291,
              0.4307,
              0.7255
            ],
            [
              0.09079,
              0.11429,
              0.13112,
              0.15796,
              0.20323,
              0.28295,
              0.4307,
              0.7257
            ],
            [
              0.09079,
              0.1143,
              0.13116,
              0.15793,
              0.20315,
              0.28286,
              0.4307,
              0.7257
            ],
            [
              0.0908,
              0.11429,
              0.13105,
              0.15796,
              0.20323,
              0.28287,
              0.4307,
              0.7256
            ],
            [
              0.09081,
              0.11443,
              0.13102,
              0.15798,
              0.20339,
              0.2824,
              0.4307,
              0.7251
            ],
            [
              0.09086,
              0.11442,
              0.13102,
              0.158,
              0.2031,
              0.2825,
              0.431,
              0.7257
            ],
            [
              0.0909,
              0.1144,
              0.131,
              0.158,
              0.2034,
              0.2829,
              0.4307,
              0.7252
            ],
            [
              0.0908,
              0.1143,
              0.131,
              0.158,
              0.2032,
              0.2829,
              0.4307,
              0.7256
            ],
            [
              0.0908,
              0.1143,
              0.1309,
              0.158,
              0.2032,
              0.2825,
              0.4306,
              0.7258
            ],
            [
              0.0906,
              0.1142,
              0.1308,
              0.1579,
              0.2032,
              0.2825,
              0.4306,
              0.7258
            ],
            [
              0.0903,
              0.1139,
              0.1306,
              0.1579,
              0.2031,
              0.2825,
              0.4307,
              0.7257
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06318,
              0.09237,
              0.11665,
              0.16131,
              0.24641,
              0.41817,
              0.77272,
              1.4992
            ],
            [
              0.06318,
              0.09237,
              0.11665,
              0.16132,
              0.24642,
              0.41818,
              0.77263,
              1.4992
            ],
            [
              0.06317,
              0.09238,
              0.11685,
              0.16132,
              0.24639,
              0.41819,
              0.77264,
              1.4993
            ],
            [
              0.06311,
              0.09224,
              0.11662,
              0.16161,
              0.2464,
              0.41799,
              0.77174,
              1.4992
            ],
            [
              0.06317,
              0.09237,
              0.11664,
              0.16131,
              0.24641,
              0.41823,
              0.77268,
              1.4992
            ],
            [
              0.06316,
              0.0924,
              0.11688,
              0.16131,
              0.24643,
              0.41826,
              0.77262,
              1.4994
            ],
            [
              0.06317,
              0.09239,
              0.11686,
              0.16131,
              0.24644,
              0.41826,
              0.7726,
              1.4993
            ],
            [
              0.0631,
              0.09222,
              0.1166,
              0.16153,
              0.24639,
              0.418,
              0.7717,
              1.4992
            ],
            [
              0.06306,
              0.09219,
              0.11653,
              0.1613,
              0.2463,
              0.4178,
              0.7725,
              1.4994
            ],
            [
              0.063,
              0.0921,
              0.1165,
              0.1611,
              0.2463,
              0.418,
              0.7721,
              1.4996
            ],
            [
              0.0627,
              0.0919,
              0.1163,
              0.1611,
              0.2462,
              0.4174,
              0.7723,
              1.4996
            ],
            [
              0.0625,
              0.0919,
              0.1162,
              0.161,
              0.2461,
              0.418,
              0.7721,
              1.4994
            ],
            [
              0.0622,
              0.0915,
              0.116,
              0.1608,
              0.2458,
              0.4171,
              0.7727,
              1.4989
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.68297,
              0.72886,
              0.75992,
              0.80608,
              0.87358,
              0.97397,
              1.13047,
              1.39387
            ],
            [
              0.68527,
              0.73114,
              0.76221,
              0.80837,
              0.87588,
              0.97626,
              1.13284,
              1.39624
            ],
            [
              0.68827,
              0.73416,
              0.76519,
              0.81131,
              0.87888,
              0.97922,
              1.13572,
              1.39912
            ],
            [
              0.693,
              0.73889,
              0.76992,
              0.81603,
              0.8836,
              0.98398,
              1.14048,
              1.40378
            ],
            [
              0.7006,
              0.74646,
              0.77752,
              0.82369,
              0.89121,
              0.99161,
              1.14811,
              1.41151
            ],
            [
              0.71274,
              0.75862,
              0.78964,
              0.83575,
              0.90333,
              1.00362,
              1.16012,
              1.42352
            ],
            [
              0.73194,
              0.77781,
              0.80883,
              0.85497,
              0.92253,
              1.02283,
              1.17943,
              1.44263
            ],
            [
              0.76195,
              0.80782,
              0.83886,
              0.88496,
              0.95256,
              1.05286,
              1.20946,
              1.47266
            ],
            [
              0.80785,
              0.85375,
              0.88475,
              0.93085,
              0.99845,
              1.09875,
              1.25535,
              1.51865
            ],
            [
              0.87659,
              0.92249,
              0.95349,
              0.99959,
              1.06719,
              1.16749,
              1.32399,
              1.58739
            ],
            [
              0.97312,
              1.01892,
              1.05002,
              1.09612,
              1.16362,
              1.26402,
              1.42052,
              1.68382
            ],
            [
              1.10027,
              1.14617,
              1.17717,
              1.22327,
              1.29077,
              1.39127,
              1.54787,
              1.81127
            ],
            [
              1.2557,
              1.3013,
              1.3323,
              1.3784,
              1.4459,
              1.5463,
              1.7029,
              1.9662
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.53068,
              0.57237,
              0.60256,
              0.65109,
              0.73119,
              0.87178,
              1.13757,
              1.66167
            ],
            [
              0.53388,
              0.57558,
              0.60577,
              0.6543,
              0.73436,
              0.87499,
              1.14054,
              1.66564
            ],
            [
              0.5378,
              0.5795,
              0.60968,
              0.65823,
              0.7383,
              0.87905,
              1.14472,
              1.66992
            ],
            [
              0.54383,
              0.58552,
              0.6157,
              0.66426,
              0.7443,
              0.88499,
              1.15058,
              1.67568
            ],
            [
              0.5529,
              0.5946,
              0.62479,
              0.67333,
              0.75343,
              0.89407,
              1.15991,
              1.68481
            ],
            [
              0.56654,
              0.60824,
              0.63845,
              0.68698,
              0.76708,
              0.90766,
              1.17352,
              1.69722
            ],
            [
              0.58708,
              0.6288,
              0.659,
              0.70756,
              0.78763,
              0.92833,
              1.19393,
              1.71903
            ],
            [
              0.61786,
              0.6596,
              0.68981,
              0.73838,
              0.81846,
              0.95906,
              1.22466,
              1.74976
            ],
            [
              0.66338,
              0.70517,
              0.73539,
              0.78395,
              0.86405,
              1.00485,
              1.27045,
              1.79555
            ],
            [
              0.72869,
              0.77059,
              0.80079,
              0.84939,
              0.92959,
              1.07029,
              1.33599,
              1.86119
            ],
            [
              0.81342,
              0.85532,
              0.88562,
              0.93422,
              1.01442,
              1.15502,
              1.42082,
              1.94582
            ],
            [
              0.91677,
              0.95867,
              0.98897,
              1.03757,
              1.11767,
              1.25847,
              1.52397,
              2.04897
            ],
            [
              1.0462,
              1.0881,
              1.1184,
              1.1671,
              1.2471,
              1.3876,
              1.6534,
              2.1776
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.08892,
              0.11213,
              0.12887,
              0.15566,
              0.20112,
              0.28097,
              0.42996,
              0.7261
            ],
            [
              0.08893,
              0.11214,
              0.12875,
              0.15567,
              0.20111,
              0.28097,
              0.43084,
              0.726
            ],
            [
              0.08905,
              0.11221,
              0.1287,
              0.15569,
              0.20109,
              0.28136,
              0.43008,
              0.7258
            ],
            [
              0.08904,
              0.11221,
              0.1287,
              0.15569,
              0.20106,
              0.28139,
              0.43,
              0.7258
            ],
            [
              0.08894,
              0.11215,
              0.12871,
              0.15568,
              0.20111,
              0.28093,
              0.43068,
              0.7259
            ],
            [
              0.08896,
              0.11218,
              0.1287,
              0.15572,
              0.20106,
              0.28141,
              0.43,
              0.7254
            ],
            [
              0.08896,
              0.11216,
              0.1287,
              0.1558,
              0.20129,
              0.28132,
              0.43,
              0.7255
            ],
            [
              0.08895,
              0.1122,
              0.12872,
              0.15573,
              0.2012,
              0.2809,
              0.4303,
              0.7257
            ],
            [
              0.089,
              0.1122,
              0.1288,
              0.1557,
              0.2012,
              0.2814,
              0.4299,
              0.7253
            ],
            [
              0.0891,
              0.1122,
              0.1287,
              0.1557,
              0.2011,
              0.2813,
              0.4301,
              0.7258
            ],
            [
              0.0889,
              0.1122,
              0.1287,
              0.1557,
              0.2011,
              0.2814,
              0.43,
              0.7255
            ],
            [
              0.0888,
              0.1121,
              0.1286,
              0.1556,
              0.2012,
              0.281,
              0.4305,
              0.7259
            ],
            [
              0.0883,
              0.1116,
              0.1282,
              0.1554,
              0.2008,
              0.2807,
              0.4298,
              0.7255
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06168,
              0.08976,
              0.11332,
              0.1569,
              0.24133,
              0.41326,
              0.76937,
              1.4979
            ],
            [
              0.06168,
              0.08973,
              0.11334,
              0.15694,
              0.24146,
              0.41308,
              0.76874,
              1.4982
            ],
            [
              0.06168,
              0.08971,
              0.11335,
              0.15701,
              0.24118,
              0.41267,
              0.76955,
              1.4982
            ],
            [
              0.06168,
              0.08974,
              0.11341,
              0.15702,
              0.24163,
              0.41296,
              0.76902,
              1.4982
            ],
            [
              0.06171,
              0.08972,
              0.1133,
              0.15691,
              0.24155,
              0.41327,
              0.76956,
              1.4965
            ],
            [
              0.06173,
              0.08989,
              0.1134,
              0.15696,
              0.24137,
              0.41323,
              0.76933,
              1.498
            ],
            [
              0.06175,
              0.08981,
              0.11347,
              0.15709,
              0.2417,
              0.41293,
              0.76897,
              1.4982
            ],
            [
              0.0618,
              0.08986,
              0.11346,
              0.15705,
              0.24153,
              0.41314,
              0.7688,
              1.4982
            ],
            [
              0.06192,
              0.08993,
              0.11361,
              0.1575,
              0.24174,
              0.413,
              0.7691,
              1.4983
            ],
            [
              0.062,
              0.0901,
              0.1136,
              0.1573,
              0.2414,
              0.4131,
              0.7696,
              1.4982
            ],
            [
              0.0622,
              0.0904,
              0.1138,
              0.1574,
              0.2417,
              0.4135,
              0.7696,
              1.4963
            ],
            [
              0.0623,
              0.0903,
              0.1139,
              0.1574,
              0.2417,
              0.4136,
              0.7693,
              1.4982
            ],
            [
              0.0625,
              0.0904,
              0.1139,
              0.1575,
              0.2413,
              0.4131,
              0.7698,
              1.4983
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.70103,
              0.75286,
              0.78838,
              0.84164,
              0.91953,
              1.03267,
              1.20407,
              1.48747
            ],
            [
              0.70405,
              0.7559,
              0.79139,
              0.84469,
              0.92255,
              1.03564,
              1.20714,
              1.49054
            ],
            [
              0.70775,
              0.75961,
              0.79511,
              0.84841,
              0.92626,
              1.03942,
              1.21082,
              1.49422
            ],
            [
              0.7134,
              0.76526,
              0.80078,
              0.85408,
              0.93195,
              1.04508,
              1.21647,
              1.49978
            ],
            [
              0.72189,
              0.77375,
              0.80928,
              0.86258,
              0.94048,
              1.05361,
              1.22501,
              1.50841
            ],
            [
              0.73443,
              0.78632,
              0.82184,
              0.87517,
              0.95302,
              1.06612,
              1.23752,
              1.52102
            ],
            [
              0.75308,
              0.805,
              0.84054,
              0.89383,
              0.97173,
              1.08483,
              1.25623,
              1.53973
            ],
            [
              0.78062,
              0.83259,
              0.86816,
              0.92146,
              0.99936,
              1.11256,
              1.28386,
              1.56726
            ],
            [
              0.81965,
              0.87175,
              0.90745,
              0.96085,
              1.03865,
              1.15175,
              1.32315,
              1.60665
            ],
            [
              0.87049,
              0.92309,
              0.95889,
              1.01239,
              1.09029,
              1.20319,
              1.37449,
              1.65779
            ],
            [
              0.93222,
              0.98562,
              1.02172,
              1.07542,
              1.15322,
              1.26592,
              1.43712,
              1.72042
            ],
            [
              1.00557,
              1.05987,
              1.09637,
              1.15027,
              1.22797,
              1.34047,
              1.51137,
              1.79457
            ],
            [
              1.0912,
              1.1465,
              1.1834,
              1.2376,
              1.3151,
              1.4273,
              1.598,
              1.881
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.57089,
              0.61333,
              0.64433,
              0.6943,
              0.77653,
              0.91937,
              1.18607,
              1.70977
            ],
            [
              0.57305,
              0.61549,
              0.64649,
              0.69646,
              0.7787,
              0.92154,
              1.18824,
              1.71184
            ],
            [
              0.57592,
              0.61836,
              0.64935,
              0.69934,
              0.78155,
              0.92439,
              1.19102,
              1.71482
            ],
            [
              0.58047,
              0.62289,
              0.6539,
              0.70388,
              0.78609,
              0.92893,
              1.19558,
              1.71928
            ],
            [
              0.58782,
              0.63026,
              0.66126,
              0.71123,
              0.79346,
              0.9363,
              1.20301,
              1.72661
            ],
            [
              0.59956,
              0.642,
              0.67299,
              0.72297,
              0.8052,
              0.94802,
              1.21472,
              1.73832
            ],
            [
              0.61823,
              0.66067,
              0.69167,
              0.74164,
              0.82387,
              0.96673,
              1.23343,
              1.75703
            ],
            [
              0.64735,
              0.6898,
              0.72079,
              0.77077,
              0.85296,
              0.99586,
              1.26256,
              1.78616
            ],
            [
              0.69231,
              0.73472,
              0.76575,
              0.81575,
              0.89795,
              1.04075,
              1.30745,
              1.83115
            ],
            [
              0.76009,
              0.80249,
              0.83349,
              0.88349,
              0.96569,
              1.10859,
              1.37529,
              1.89889
            ],
            [
              0.85782,
              0.90032,
              0.93132,
              0.98132,
              1.06352,
              1.20642,
              1.47312,
              1.99682
            ],
            [
              0.99097,
              1.03357,
              1.06467,
              1.11467,
              1.19697,
              1.33977,
              1.60657,
              2.13027
            ],
            [
              1.1593,
              1.2023,
              1.2335,
              1.2838,
              1.3663,
              1.5094,
              1.7762,
              2.2999
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.10168,
              0.12364,
              0.13939,
              0.16603,
              0.21322,
              0.2974,
              0.45525,
              0.7679
            ],
            [
              0.10169,
              0.12361,
              0.1396,
              0.16604,
              0.21294,
              0.2975,
              0.45488,
              0.7671
            ],
            [
              0.10171,
              0.12362,
              0.13938,
              0.166,
              0.21289,
              0.29786,
              0.4546,
              0.7668
            ],
            [
              0.10174,
              0.12367,
              0.13938,
              0.16598,
              0.21295,
              0.29773,
              0.4557,
              0.7671
            ],
            [
              0.10175,
              0.12372,
              0.13944,
              0.16617,
              0.21324,
              0.29744,
              0.4552,
              0.7679
            ],
            [
              0.10177,
              0.12366,
              0.13956,
              0.1662,
              0.21338,
              0.29741,
              0.4551,
              0.7678
            ],
            [
              0.10182,
              0.12369,
              0.13966,
              0.16622,
              0.2134,
              0.2975,
              0.4551,
              0.7679
            ],
            [
              0.1019,
              0.12385,
              0.13956,
              0.16623,
              0.2133,
              0.2975,
              0.455,
              0.7678
            ],
            [
              0.1021,
              0.1239,
              0.1395,
              0.1661,
              0.2131,
              0.2979,
              0.4549,
              0.7674
            ],
            [
              0.1028,
              0.1242,
              0.1399,
              0.1665,
              0.2135,
              0.2979,
              0.4556,
              0.7678
            ],
            [
              0.1031,
              0.1245,
              0.1402,
              0.1671,
              0.2142,
              0.2985,
              0.4552,
              0.7683
            ],
            [
              0.1027,
              0.1246,
              0.1409,
              0.168,
              0.2155,
              0.2996,
              0.4564,
              0.7686
            ],
            [
              0.1001,
              0.1245,
              0.1417,
              0.1697,
              0.2173,
              0.3012,
              0.4575,
              0.7691
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06169,
              0.09092,
              0.11533,
              0.15986,
              0.24453,
              0.41532,
              0.7698,
              1.4938
            ],
            [
              0.06169,
              0.09093,
              0.11532,
              0.15993,
              0.24461,
              0.41533,
              0.76871,
              1.4934
            ],
            [
              0.06165,
              0.09093,
              0.11536,
              0.15982,
              0.24463,
              0.41504,
              0.76882,
              1.4937
            ],
            [
              0.06165,
              0.0909,
              0.11536,
              0.15979,
              0.24463,
              0.41546,
              0.76873,
              1.4939
            ],
            [
              0.06169,
              0.09092,
              0.11534,
              0.1599,
              0.24456,
              0.41533,
              0.76911,
              1.494
            ],
            [
              0.06169,
              0.09094,
              0.11533,
              0.15994,
              0.24463,
              0.41511,
              0.76868,
              1.493
            ],
            [
              0.06168,
              0.09094,
              0.11533,
              0.15994,
              0.24457,
              0.41516,
              0.7696,
              1.4931
            ],
            [
              0.06169,
              0.09094,
              0.11535,
              0.15998,
              0.24458,
              0.41526,
              0.7687,
              1.493
            ],
            [
              0.06167,
              0.09099,
              0.11535,
              0.15986,
              0.2447,
              0.4155,
              0.7686,
              1.4939
            ],
            [
              0.0617,
              0.091,
              0.1153,
              0.1598,
              0.2447,
              0.4157,
              0.7686,
              1.4938
            ],
            [
              0.0618,
              0.091,
              0.1154,
              0.1599,
              0.2448,
              0.4153,
              0.769,
              1.4925
            ],
            [
              0.0622,
              0.0913,
              0.1158,
              0.1602,
              0.245,
              0.4154,
              0.7689,
              1.493
            ],
            [
              0.0635,
              0.0926,
              0.1169,
              0.1612,
              0.2459,
              0.4163,
              0.7691,
              1.4926
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.63698,
              0.68483,
              0.71736,
              0.76572,
              0.83599,
              0.93896,
              1.09737,
              1.36197
            ],
            [
              0.64008,
              0.68793,
              0.72045,
              0.76881,
              0.83912,
              0.94205,
              1.10044,
              1.36524
            ],
            [
              0.64384,
              0.6917,
              0.72423,
              0.77259,
              0.84288,
              0.94584,
              1.10422,
              1.36892
            ],
            [
              0.64953,
              0.69739,
              0.72991,
              0.77828,
              0.84857,
              0.95151,
              1.10997,
              1.37448
            ],
            [
              0.65809,
              0.70598,
              0.73849,
              0.78686,
              0.85716,
              0.96011,
              1.11851,
              1.38301
            ],
            [
              0.67081,
              0.71871,
              0.75122,
              0.79959,
              0.8699,
              0.97282,
              1.13132,
              1.39582
            ],
            [
              0.68974,
              0.73765,
              0.77017,
              0.81855,
              0.88886,
              0.99173,
              1.15023,
              1.41473
            ],
            [
              0.71768,
              0.76563,
              0.79816,
              0.84656,
              0.91686,
              1.01976,
              1.17816,
              1.44286
            ],
            [
              0.75785,
              0.80585,
              0.83845,
              0.88685,
              0.95705,
              1.05995,
              1.21845,
              1.48295
            ],
            [
              0.81229,
              0.86049,
              0.89309,
              0.94149,
              1.01169,
              1.11459,
              1.27299,
              1.53769
            ],
            [
              0.87982,
              0.92802,
              0.96072,
              1.00912,
              1.07932,
              1.18212,
              1.34052,
              1.60512
            ],
            [
              0.96207,
              1.01047,
              1.04317,
              1.09147,
              1.16157,
              1.26427,
              1.42257,
              1.68707
            ],
            [
              1.0606,
              1.1089,
              1.1415,
              1.1897,
              1.2595,
              1.3621,
              1.5204,
              1.7849
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.58243,
              0.62647,
              0.65839,
              0.70943,
              0.79335,
              0.94022,
              1.21917,
              1.77087
            ],
            [
              0.58457,
              0.62862,
              0.66054,
              0.71169,
              0.79551,
              0.94237,
              1.22134,
              1.77304
            ],
            [
              0.58749,
              0.63154,
              0.66346,
              0.7145,
              0.79841,
              0.94527,
              1.22422,
              1.77592
            ],
            [
              0.59217,
              0.63623,
              0.66812,
              0.71928,
              0.80309,
              0.94995,
              1.22888,
              1.78068
            ],
            [
              0.59958,
              0.64362,
              0.67553,
              0.72668,
              0.81048,
              0.95731,
              1.23631,
              1.78811
            ],
            [
              0.61138,
              0.65543,
              0.68728,
              0.73842,
              0.82223,
              0.96912,
              1.24802,
              1.79982
            ],
            [
              0.62969,
              0.67375,
              0.70564,
              0.75671,
              0.8406,
              0.98743,
              1.26643,
              1.81823
            ],
            [
              0.65865,
              0.70269,
              0.73461,
              0.78576,
              0.86956,
              1.01636,
              1.29536,
              1.84716
            ],
            [
              0.70315,
              0.74721,
              0.77915,
              0.83025,
              0.91405,
              1.06095,
              1.33985,
              1.89165
            ],
            [
              0.77089,
              0.81489,
              0.84669,
              0.89789,
              0.98179,
              1.12859,
              1.40759,
              1.95929
            ],
            [
              0.87052,
              0.91452,
              0.94642,
              0.99752,
              1.08152,
              1.22832,
              1.50732,
              2.05902
            ],
            [
              1.00547,
              1.04947,
              1.08137,
              1.13257,
              1.21657,
              1.36347,
              1.64247,
              2.19417
            ],
            [
              1.1769,
              1.2213,
              1.2534,
              1.3047,
              1.3889,
              1.536,
              1.815,
              2.3667
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.08877,
              0.11029,
              0.1257,
              0.15205,
              0.19758,
              0.27765,
              0.42719,
              0.7233
            ],
            [
              0.08869,
              0.11016,
              0.12571,
              0.15201,
              0.19743,
              0.27794,
              0.42708,
              0.7234
            ],
            [
              0.08867,
              0.11022,
              0.12569,
              0.15203,
              0.19738,
              0.27774,
              0.42714,
              0.7234
            ],
            [
              0.08865,
              0.11001,
              0.12566,
              0.15219,
              0.19771,
              0.27757,
              0.42713,
              0.7231
            ],
            [
              0.08867,
              0.10996,
              0.12568,
              0.15205,
              0.19738,
              0.27809,
              0.42808,
              0.723
            ],
            [
              0.08863,
              0.10991,
              0.12565,
              0.15201,
              0.19735,
              0.27807,
              0.42806,
              0.723
            ],
            [
              0.08852,
              0.10989,
              0.12568,
              0.15192,
              0.19743,
              0.27815,
              0.4279,
              0.7229
            ],
            [
              0.08837,
              0.10977,
              0.1256,
              0.15212,
              0.19759,
              0.2777,
              0.4271,
              0.7234
            ],
            [
              0.0881,
              0.10967,
              0.1254,
              0.1519,
              0.1975,
              0.2781,
              0.4278,
              0.7229
            ],
            [
              0.0877,
              0.1093,
              0.1252,
              0.1518,
              0.1974,
              0.2777,
              0.4272,
              0.7233
            ],
            [
              0.0869,
              0.1088,
              0.1249,
              0.1518,
              0.1975,
              0.2783,
              0.4273,
              0.7234
            ],
            [
              0.0856,
              0.1084,
              0.1246,
              0.1518,
              0.1978,
              0.278,
              0.4282,
              0.7231
            ],
            [
              0.0838,
              0.108,
              0.1252,
              0.1527,
              0.1991,
              0.2794,
              0.4281,
              0.7235
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06447,
              0.09398,
              0.11846,
              0.16327,
              0.24939,
              0.42554,
              0.79111,
              1.5359
            ],
            [
              0.06446,
              0.09398,
              0.11846,
              0.16318,
              0.24943,
              0.42566,
              0.79122,
              1.5334
            ],
            [
              0.06448,
              0.09399,
              0.11849,
              0.16326,
              0.24939,
              0.42622,
              0.79141,
              1.5346
            ],
            [
              0.06448,
              0.094,
              0.11846,
              0.16325,
              0.24945,
              0.42619,
              0.79148,
              1.5348
            ],
            [
              0.06451,
              0.09403,
              0.11848,
              0.16323,
              0.24934,
              0.42564,
              0.79162,
              1.5348
            ],
            [
              0.06453,
              0.09404,
              0.1185,
              0.16315,
              0.24947,
              0.42642,
              0.79219,
              1.5337
            ],
            [
              0.0645,
              0.094,
              0.11853,
              0.16337,
              0.24953,
              0.42575,
              0.7916,
              1.535
            ],
            [
              0.06451,
              0.09404,
              0.1185,
              0.1632,
              0.24942,
              0.42564,
              0.7922,
              1.5347
            ],
            [
              0.0645,
              0.09407,
              0.11853,
              0.16316,
              0.2495,
              0.4263,
              0.7915,
              1.5345
            ],
            [
              0.0644,
              0.0939,
              0.1185,
              0.1633,
              0.2493,
              0.4257,
              0.7911,
              1.5345
            ],
            [
              0.0645,
              0.094,
              0.1185,
              0.1632,
              0.2493,
              0.4254,
              0.7911,
              1.5332
            ],
            [
              0.0645,
              0.094,
              0.1185,
              0.1632,
              0.2495,
              0.4258,
              0.7921,
              1.5344
            ],
            [
              0.0651,
              0.0947,
              0.1192,
              0.164,
              0.25,
              0.4266,
              0.7919,
              1.5341
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.70835,
              0.75515,
              0.78676,
              0.83361,
              0.90197,
              1.00297,
              1.15967,
              1.42257
            ],
            [
              0.71062,
              0.75737,
              0.789,
              0.83587,
              0.90416,
              1.00514,
              1.16184,
              1.42494
            ],
            [
              0.71356,
              0.76036,
              0.79198,
              0.83885,
              0.90719,
              1.00812,
              1.16492,
              1.42792
            ],
            [
              0.71844,
              0.76521,
              0.79683,
              0.84371,
              0.912,
              1.01297,
              1.16968,
              1.43278
            ],
            [
              0.72619,
              0.77295,
              0.80458,
              0.85146,
              0.91976,
              1.02071,
              1.17751,
              1.44051
            ],
            [
              0.73855,
              0.78531,
              0.81689,
              0.86379,
              0.93212,
              1.03302,
              1.18982,
              1.45272
            ],
            [
              0.75792,
              0.80468,
              0.83626,
              0.88314,
              0.95143,
              1.05243,
              1.20913,
              1.47203
            ],
            [
              0.78847,
              0.83526,
              0.86686,
              0.91366,
              0.98196,
              1.08296,
              1.23966,
              1.50276
            ],
            [
              0.83595,
              0.88265,
              0.91425,
              0.96115,
              1.02945,
              1.13035,
              1.28705,
              1.55015
            ],
            [
              0.90849,
              0.95529,
              0.98689,
              1.03369,
              1.10199,
              1.20289,
              1.35969,
              1.62269
            ],
            [
              1.01382,
              1.06062,
              1.09222,
              1.13902,
              1.20732,
              1.30822,
              1.46492,
              1.72792
            ],
            [
              1.15297,
              1.19977,
              1.23137,
              1.27827,
              1.34657,
              1.44757,
              1.60417,
              1.86727
            ],
            [
              1.3291,
              1.3757,
              1.4073,
              1.4541,
              1.5223,
              1.6234,
              1.7802,
              2.0434
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.52494,
              0.56757,
              0.59857,
              0.64845,
              0.73045,
              0.87317,
              1.13997,
              1.66397
            ],
            [
              0.52819,
              0.57081,
              0.6018,
              0.6517,
              0.73367,
              0.87634,
              1.14284,
              1.66794
            ],
            [
              0.53212,
              0.57474,
              0.60573,
              0.65563,
              0.73761,
              0.88032,
              1.14702,
              1.67212
            ],
            [
              0.53805,
              0.58069,
              0.61169,
              0.66158,
              0.74353,
              0.88606,
              1.15288,
              1.67718
            ],
            [
              0.54706,
              0.58969,
              0.62068,
              0.67058,
              0.75256,
              0.89526,
              1.16181,
              1.68701
            ],
            [
              0.5605,
              0.60313,
              0.63412,
              0.68402,
              0.766,
              0.90872,
              1.17542,
              1.70052
            ],
            [
              0.58062,
              0.62326,
              0.65427,
              0.70415,
              0.78614,
              0.92873,
              1.19563,
              1.71943
            ],
            [
              0.6105,
              0.65313,
              0.68412,
              0.73403,
              0.81601,
              0.95876,
              1.22536,
              1.75046
            ],
            [
              0.65388,
              0.69663,
              0.72764,
              0.77755,
              0.85945,
              1.00205,
              1.26875,
              1.79325
            ],
            [
              0.71399,
              0.75669,
              0.78769,
              0.83759,
              0.91949,
              1.06199,
              1.32889,
              1.85309
            ],
            [
              0.78612,
              0.82872,
              0.85972,
              0.90962,
              0.99162,
              1.13432,
              1.40112,
              1.92532
            ],
            [
              0.87187,
              0.91447,
              0.94547,
              0.99527,
              1.07717,
              1.21997,
              1.48657,
              2.01127
            ],
            [
              0.9755,
              1.0182,
              1.0492,
              1.099,
              1.181,
              1.3233,
              1.5898,
              2.1152
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.09126,
              0.11469,
              0.13133,
              0.15836,
              0.20366,
              0.2827,
              0.43101,
              0.7256
            ],
            [
              0.09127,
              0.11469,
              0.13141,
              0.15831,
              0.20351,
              0.28319,
              0.43093,
              0.7259
            ],
            [
              0.09125,
              0.11469,
              0.13134,
              0.15825,
              0.20352,
              0.28281,
              0.4316,
              0.7259
            ],
            [
              0.09127,
              0.11469,
              0.13152,
              0.15829,
              0.20348,
              0.28311,
              0.43092,
              0.726
            ],
            [
              0.09127,
              0.11469,
              0.13138,
              0.1583,
              0.20356,
              0.28282,
              0.4317,
              0.7259
            ],
            [
              0.09133,
              0.1147,
              0.13127,
              0.15833,
              0.20351,
              0.28277,
              0.4313,
              0.7257
            ],
            [
              0.09133,
              0.11469,
              0.13133,
              0.15829,
              0.20363,
              0.2828,
              0.431,
              0.7255
            ],
            [
              0.09127,
              0.11468,
              0.13139,
              0.15828,
              0.2036,
              0.2828,
              0.4316,
              0.7258
            ],
            [
              0.0913,
              0.1147,
              0.1314,
              0.1583,
              0.2035,
              0.2828,
              0.4314,
              0.7258
            ],
            [
              0.0914,
              0.1147,
              0.1314,
              0.1583,
              0.2036,
              0.2829,
              0.4316,
              0.7258
            ],
            [
              0.0914,
              0.1148,
              0.1316,
              0.1584,
              0.2036,
              0.2829,
              0.4313,
              0.7257
            ],
            [
              0.0914,
              0.1148,
              0.1315,
              0.1584,
              0.2036,
              0.2833,
              0.4309,
              0.7258
            ],
            [
              0.0912,
              0.1147,
              0.1313,
              0.1584,
              0.2037,
              0.2833,
              0.431,
              0.726
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06289,
              0.092,
              0.11644,
              0.16113,
              0.24672,
              0.41809,
              0.77263,
              1.499
            ],
            [
              0.06286,
              0.09202,
              0.11645,
              0.16122,
              0.24627,
              0.41791,
              0.77175,
              1.499
            ],
            [
              0.06284,
              0.09201,
              0.11638,
              0.16112,
              0.24627,
              0.41758,
              0.77217,
              1.4995
            ],
            [
              0.0629,
              0.09208,
              0.11671,
              0.16116,
              0.24644,
              0.41806,
              0.77243,
              1.4996
            ],
            [
              0.06287,
              0.09202,
              0.11641,
              0.16126,
              0.24628,
              0.41762,
              0.77183,
              1.4994
            ],
            [
              0.06286,
              0.09203,
              0.1164,
              0.1612,
              0.24629,
              0.4175,
              0.77219,
              1.4995
            ],
            [
              0.06293,
              0.09216,
              0.1165,
              0.16117,
              0.24634,
              0.41816,
              0.77261,
              1.4994
            ],
            [
              0.06289,
              0.09206,
              0.11643,
              0.16117,
              0.24629,
              0.41754,
              0.772,
              1.4995
            ],
            [
              0.06297,
              0.0921,
              0.11663,
              0.16122,
              0.24627,
              0.4181,
              0.7723,
              1.4996
            ],
            [
              0.0631,
              0.0921,
              0.1169,
              0.1613,
              0.2465,
              0.4181,
              0.7724,
              1.4996
            ],
            [
              0.063,
              0.0922,
              0.1165,
              0.1612,
              0.2468,
              0.4181,
              0.7727,
              1.4987
            ],
            [
              0.0629,
              0.0921,
              0.1164,
              0.1614,
              0.2463,
              0.4178,
              0.7724,
              1.4976
            ],
            [
              0.063,
              0.0921,
              0.1164,
              0.1612,
              0.2459,
              0.4174,
              0.7723,
              1.4993
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.51557,
              0.56194,
              0.59323,
              0.63968,
              0.70749,
              0.80804,
              0.96468,
              1.22817
            ],
            [
              0.51877,
              0.56515,
              0.59642,
              0.64287,
              0.71072,
              0.81124,
              0.96789,
              1.23134
            ],
            [
              0.52277,
              0.56914,
              0.60044,
              0.64687,
              0.71469,
              0.81522,
              0.9719,
              1.23542
            ],
            [
              0.52882,
              0.57518,
              0.60647,
              0.65292,
              0.72074,
              0.82132,
              0.97798,
              1.24128
            ],
            [
              0.53795,
              0.58432,
              0.6156,
              0.66206,
              0.72992,
              0.83045,
              0.98711,
              1.25061
            ],
            [
              0.55154,
              0.5979,
              0.6292,
              0.67564,
              0.74348,
              0.84402,
              1.00072,
              1.26422
            ],
            [
              0.5726,
              0.61897,
              0.65025,
              0.69672,
              0.76453,
              0.86511,
              1.02173,
              1.28513
            ],
            [
              0.60422,
              0.65057,
              0.68186,
              0.72829,
              0.79612,
              0.89666,
              1.05336,
              1.31676
            ],
            [
              0.65238,
              0.69872,
              0.72997,
              0.77635,
              0.84425,
              0.94485,
              1.10155,
              1.36495
            ],
            [
              0.72359,
              0.76989,
              0.80109,
              0.84749,
              0.91529,
              1.01599,
              1.17269,
              1.43619
            ],
            [
              0.82922,
              0.87552,
              0.90672,
              0.95312,
              1.02102,
              1.12172,
              1.27852,
              1.54202
            ],
            [
              0.98267,
              1.02907,
              1.06027,
              1.10667,
              1.17457,
              1.27537,
              1.43237,
              1.69597
            ],
            [
              1.1904,
              1.2385,
              1.2706,
              1.3179,
              1.3865,
              1.4879,
              1.6453,
              1.9094
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.33834,
              0.38066,
              0.41152,
              0.46122,
              0.54289,
              0.68507,
              0.95097,
              1.47557
            ],
            [
              0.34167,
              0.38399,
              0.41485,
              0.46454,
              0.54622,
              0.68847,
              0.95447,
              1.47784
            ],
            [
              0.34561,
              0.38793,
              0.41879,
              0.46849,
              0.55016,
              0.6924,
              0.95837,
              1.48252
            ],
            [
              0.3515,
              0.3938,
              0.42466,
              0.47437,
              0.55607,
              0.69813,
              0.96395,
              1.48877
            ],
            [
              0.3603,
              0.4026,
              0.43347,
              0.48318,
              0.56488,
              0.70697,
              0.97271,
              1.49761
            ],
            [
              0.37341,
              0.41571,
              0.44658,
              0.49629,
              0.57799,
              0.72006,
              0.98592,
              1.51062
            ],
            [
              0.39265,
              0.4352,
              0.46607,
              0.51577,
              0.59724,
              0.73934,
              1.00523,
              1.53003
            ],
            [
              0.42173,
              0.46407,
              0.49496,
              0.54467,
              0.62636,
              0.76841,
              1.03466,
              1.55836
            ],
            [
              0.4649,
              0.50727,
              0.53816,
              0.58787,
              0.66953,
              0.81155,
              1.07785,
              1.60165
            ],
            [
              0.52649,
              0.5689,
              0.59978,
              0.64949,
              0.73109,
              0.87329,
              1.13909,
              1.66399
            ],
            [
              0.61292,
              0.65532,
              0.68632,
              0.73602,
              0.81772,
              0.95992,
              1.22582,
              1.75062
            ],
            [
              0.72807,
              0.77267,
              0.80467,
              0.85547,
              0.93797,
              1.08057,
              1.34677,
              1.87137
            ],
            [
              0.8763,
              0.9241,
              0.958,
              1.0113,
              1.0964,
              1.241,
              1.5079,
              2.0323
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.09101,
              0.11396,
              0.13033,
              0.157,
              0.20209,
              0.28154,
              0.43082,
              0.72606
            ],
            [
              0.09099,
              0.11398,
              0.13027,
              0.15696,
              0.20209,
              0.28156,
              0.43089,
              0.72602
            ],
            [
              0.09116,
              0.11396,
              0.13038,
              0.15696,
              0.20208,
              0.28203,
              0.43082,
              0.72627
            ],
            [
              0.091,
              0.11397,
              0.13027,
              0.15699,
              0.20208,
              0.28161,
              0.43041,
              0.72588
            ],
            [
              0.091,
              0.11394,
              0.13026,
              0.15696,
              0.20209,
              0.28153,
              0.43095,
              0.72608
            ],
            [
              0.091,
              0.11392,
              0.13033,
              0.15695,
              0.20208,
              0.28198,
              0.43081,
              0.72627
            ],
            [
              0.09098,
              0.11395,
              0.13027,
              0.15702,
              0.20222,
              0.28161,
              0.43044,
              0.7258
            ],
            [
              0.09099,
              0.11394,
              0.13038,
              0.15705,
              0.20229,
              0.28205,
              0.4304,
              0.7259
            ],
            [
              0.09116,
              0.11396,
              0.13025,
              0.15706,
              0.20232,
              0.2821,
              0.4304,
              0.7259
            ],
            [
              0.0911,
              0.114,
              0.1304,
              0.1571,
              0.2023,
              0.2816,
              0.4305,
              0.7255
            ],
            [
              0.0912,
              0.1142,
              0.1305,
              0.1575,
              0.2025,
              0.2823,
              0.4305,
              0.7256
            ],
            [
              0.0918,
              0.1149,
              0.1311,
              0.1579,
              0.2029,
              0.282,
              0.4316,
              0.726
            ],
            [
              0.0983,
              0.1206,
              0.1364,
              0.1622,
              0.206,
              0.2843,
              0.4319,
              0.7269
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06101,
              0.0905,
              0.11504,
              0.15996,
              0.24532,
              0.41715,
              0.77184,
              1.49938
            ],
            [
              0.06101,
              0.09049,
              0.11532,
              0.15993,
              0.24531,
              0.41719,
              0.77236,
              1.49904
            ],
            [
              0.061,
              0.0905,
              0.11506,
              0.16005,
              0.24548,
              0.41676,
              0.77218,
              1.49814
            ],
            [
              0.06102,
              0.09061,
              0.11496,
              0.16009,
              0.24541,
              0.4174,
              0.7719,
              1.49962
            ],
            [
              0.06103,
              0.09062,
              0.11498,
              0.15996,
              0.24532,
              0.41736,
              0.77181,
              1.49963
            ],
            [
              0.06105,
              0.09063,
              0.11499,
              0.16002,
              0.24529,
              0.41739,
              0.77199,
              1.49961
            ],
            [
              0.06107,
              0.09053,
              0.11537,
              0.15995,
              0.24537,
              0.41743,
              0.77191,
              1.4996
            ],
            [
              0.06108,
              0.09065,
              0.11512,
              0.15996,
              0.24524,
              0.41763,
              0.77242,
              1.4995
            ],
            [
              0.06117,
              0.09065,
              0.11539,
              0.16006,
              0.24542,
              0.41755,
              0.77241,
              1.4995
            ],
            [
              0.06119,
              0.09072,
              0.1153,
              0.16007,
              0.24571,
              0.4173,
              0.7719,
              1.4996
            ],
            [
              0.0618,
              0.0913,
              0.1158,
              0.1604,
              0.2456,
              0.417,
              0.7714,
              1.4995
            ],
            [
              0.0663,
              0.0958,
              0.1199,
              0.1639,
              0.2484,
              0.4185,
              0.772,
              1.499
            ],
            [
              0.0729,
              0.1033,
              0.1278,
              0.1716,
              0.2551,
              0.423,
              0.7748,
              1.5
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.74317,
              0.79051,
              0.82293,
              0.87299,
              0.94965,
              1.06527,
              1.23987,
              1.52487
            ],
            [
              0.74651,
              0.79385,
              0.82627,
              0.87634,
              0.95299,
              1.06864,
              1.24314,
              1.52804
            ],
            [
              0.75049,
              0.79783,
              0.83025,
              0.88032,
              0.95696,
              1.07252,
              1.24712,
              1.53202
            ],
            [
              0.75652,
              0.80385,
              0.83628,
              0.88635,
              0.96298,
              1.07858,
              1.25318,
              1.53838
            ],
            [
              0.76543,
              0.81278,
              0.84519,
              0.89526,
              0.97191,
              1.08751,
              1.26211,
              1.54711
            ],
            [
              0.77892,
              0.82621,
              0.85866,
              0.90862,
              0.98532,
              1.10082,
              1.27542,
              1.56062
            ],
            [
              0.79901,
              0.84634,
              0.87878,
              0.92883,
              1.00553,
              1.12103,
              1.29573,
              1.58083
            ],
            [
              0.82929,
              0.87656,
              0.90906,
              0.95906,
              1.03576,
              1.15126,
              1.32606,
              1.61106
            ],
            [
              0.87425,
              0.92155,
              0.95405,
              1.00405,
              1.08065,
              1.19615,
              1.37105,
              1.65605
            ],
            [
              0.93769,
              0.98509,
              1.01739,
              1.06749,
              1.14399,
              1.25939,
              1.43439,
              1.71949
            ],
            [
              1.02522,
              1.07262,
              1.10502,
              1.15502,
              1.23152,
              1.34722,
              1.52192,
              1.80712
            ],
            [
              1.14537,
              1.19247,
              1.22467,
              1.27447,
              1.35087,
              1.46647,
              1.64127,
              1.92647
            ],
            [
              1.3036,
              1.35,
              1.3818,
              1.4309,
              1.5068,
              1.6219,
              1.7967,
              2.0817
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.60654,
              0.65102,
              0.6833,
              0.73507,
              0.81995,
              0.96803,
              1.24717,
              1.79747
            ],
            [
              0.60978,
              0.65425,
              0.68654,
              0.7383,
              0.82319,
              0.97126,
              1.25044,
              1.80064
            ],
            [
              0.61382,
              0.65829,
              0.69058,
              0.74234,
              0.82723,
              0.9753,
              1.25442,
              1.80482
            ],
            [
              0.61994,
              0.66441,
              0.69668,
              0.74845,
              0.83334,
              0.98137,
              1.26058,
              1.81078
            ],
            [
              0.62914,
              0.67361,
              0.7059,
              0.75767,
              0.84255,
              0.99061,
              1.26981,
              1.82001
            ],
            [
              0.64306,
              0.68754,
              0.71954,
              0.77131,
              0.85619,
              1.00422,
              1.28342,
              1.83392
            ],
            [
              0.66422,
              0.70835,
              0.74065,
              0.79242,
              0.87732,
              1.02543,
              1.30453,
              1.85493
            ],
            [
              0.69593,
              0.74043,
              0.77272,
              0.8245,
              0.90936,
              1.05746,
              1.33656,
              1.88696
            ],
            [
              0.74364,
              0.78815,
              0.82045,
              0.87225,
              0.95715,
              1.10515,
              1.38425,
              1.93445
            ],
            [
              0.81589,
              0.86039,
              0.89269,
              0.94449,
              1.02929,
              1.17729,
              1.45639,
              2.00689
            ],
            [
              0.92532,
              0.96972,
              1.00212,
              1.05382,
              1.13872,
              1.28662,
              1.56572,
              2.11592
            ],
            [
              1.07957,
              1.12397,
              1.15627,
              1.20807,
              1.29287,
              1.44077,
              1.71977,
              2.27007
            ],
            [
              1.2819,
              1.3265,
              1.3589,
              1.4107,
              1.4954,
              1.6433,
              1.9223,
              2.4727
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.09257,
              0.11624,
              0.13306,
              0.16059,
              0.20791,
              0.2922,
              0.4513,
              0.7657
            ],
            [
              0.09261,
              0.11633,
              0.13305,
              0.16058,
              0.20782,
              0.29222,
              0.4522,
              0.7655
            ],
            [
              0.09257,
              0.11622,
              0.13306,
              0.16059,
              0.20783,
              0.29223,
              0.4523,
              0.7656
            ],
            [
              0.09261,
              0.11632,
              0.13305,
              0.16062,
              0.20774,
              0.29214,
              0.4523,
              0.7653
            ],
            [
              0.09261,
              0.11627,
              0.13306,
              0.16056,
              0.20776,
              0.29216,
              0.4511,
              0.7655
            ],
            [
              0.09266,
              0.11622,
              0.13309,
              0.16061,
              0.20762,
              0.2924,
              0.4512,
              0.7654
            ],
            [
              0.09262,
              0.11618,
              0.13311,
              0.16061,
              0.2078,
              0.2924,
              0.4516,
              0.7653
            ],
            [
              0.09259,
              0.11623,
              0.13327,
              0.1606,
              0.2078,
              0.2923,
              0.4517,
              0.7652
            ],
            [
              0.0926,
              0.1162,
              0.1333,
              0.1606,
              0.2074,
              0.292,
              0.451,
              0.7656
            ],
            [
              0.0926,
              0.1162,
              0.133,
              0.1606,
              0.2076,
              0.2925,
              0.4514,
              0.7652
            ],
            [
              0.0927,
              0.1162,
              0.133,
              0.1605,
              0.2077,
              0.292,
              0.4515,
              0.7653
            ],
            [
              0.0926,
              0.1162,
              0.1331,
              0.1606,
              0.2074,
              0.2923,
              0.4515,
              0.7653
            ],
            [
              0.093,
              0.1167,
              0.1336,
              0.161,
              0.2078,
              0.2923,
              0.4522,
              0.7651
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06274,
              0.09183,
              0.11625,
              0.16108,
              0.24702,
              0.42276,
              0.78543,
              1.526
            ],
            [
              0.06273,
              0.09186,
              0.1162,
              0.16109,
              0.24702,
              0.42279,
              0.78547,
              1.5258
            ],
            [
              0.06273,
              0.09176,
              0.11637,
              0.1611,
              0.24705,
              0.42273,
              0.78774,
              1.5258
            ],
            [
              0.06277,
              0.09182,
              0.11621,
              0.16089,
              0.2472,
              0.4221,
              0.78555,
              1.5249
            ],
            [
              0.06278,
              0.09183,
              0.1162,
              0.16107,
              0.24695,
              0.4226,
              0.78537,
              1.5256
            ],
            [
              0.06277,
              0.09181,
              0.11648,
              0.16112,
              0.24703,
              0.42271,
              0.7854,
              1.5275
            ],
            [
              0.06277,
              0.09177,
              0.11622,
              0.16122,
              0.24717,
              0.42282,
              0.7857,
              1.5265
            ],
            [
              0.06274,
              0.0918,
              0.1162,
              0.16122,
              0.24723,
              0.423,
              0.7857,
              1.5278
            ],
            [
              0.06273,
              0.09187,
              0.1162,
              0.1609,
              0.2472,
              0.4224,
              0.7855,
              1.5252
            ],
            [
              0.0628,
              0.0918,
              0.1161,
              0.1612,
              0.2472,
              0.4226,
              0.7855,
              1.5274
            ],
            [
              0.0629,
              0.0919,
              0.1162,
              0.161,
              0.247,
              0.4222,
              0.7851,
              1.5274
            ],
            [
              0.063,
              0.092,
              0.1163,
              0.161,
              0.2472,
              0.4227,
              0.7856,
              1.5283
            ],
            [
              0.0631,
              0.0923,
              0.1167,
              0.1614,
              0.2478,
              0.4225,
              0.7858,
              1.5287
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.74359,
              0.79094,
              0.82337,
              0.87347,
              0.95009,
              1.06557,
              1.24037,
              1.52547
            ],
            [
              0.74692,
              0.7943,
              0.82671,
              0.8768,
              0.95344,
              1.06894,
              1.24374,
              1.52884
            ],
            [
              0.7509,
              0.79826,
              0.8307,
              0.88078,
              0.95741,
              1.07292,
              1.24772,
              1.53272
            ],
            [
              0.75692,
              0.80429,
              0.83673,
              0.88679,
              0.96342,
              1.07898,
              1.25378,
              1.53878
            ],
            [
              0.76584,
              0.81321,
              0.84563,
              0.89572,
              0.97231,
              1.08761,
              1.26271,
              1.54771
            ],
            [
              0.7793,
              0.82664,
              0.85911,
              0.90907,
              0.98572,
              1.10132,
              1.27602,
              1.56122
            ],
            [
              0.79944,
              0.84677,
              0.87922,
              0.92933,
              1.00593,
              1.12153,
              1.29623,
              1.58133
            ],
            [
              0.82968,
              0.87706,
              0.90946,
              0.95956,
              1.03616,
              1.15156,
              1.32646,
              1.61166
            ],
            [
              0.87465,
              0.92205,
              0.95445,
              1.00455,
              1.08105,
              1.19675,
              1.37155,
              1.65665
            ],
            [
              0.93819,
              0.98549,
              1.01789,
              1.06799,
              1.14449,
              1.26019,
              1.43499,
              1.72009
            ],
            [
              1.02572,
              1.07312,
              1.10552,
              1.15552,
              1.23212,
              1.34772,
              1.52252,
              1.80772
            ],
            [
              1.14597,
              1.19307,
              1.22527,
              1.27517,
              1.35157,
              1.46717,
              1.64197,
              1.92697
            ],
            [
              1.3043,
              1.3507,
              1.3825,
              1.4316,
              1.5075,
              1.6226,
              1.7974,
              2.0825
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.6063,
              0.65077,
              0.68306,
              0.73482,
              0.81971,
              0.96776,
              1.24697,
              1.79727
            ],
            [
              0.60952,
              0.65401,
              0.6863,
              0.73806,
              0.82294,
              0.971,
              1.25014,
              1.80054
            ],
            [
              0.61357,
              0.65805,
              0.69034,
              0.74209,
              0.82698,
              0.97504,
              1.25422,
              1.80452
            ],
            [
              0.61967,
              0.66416,
              0.69644,
              0.74821,
              0.83308,
              0.98118,
              1.26028,
              1.81058
            ],
            [
              0.62889,
              0.67337,
              0.70566,
              0.75742,
              0.8423,
              0.99041,
              1.26951,
              1.81981
            ],
            [
              0.64281,
              0.68729,
              0.7193,
              0.77106,
              0.85594,
              1.00402,
              1.28332,
              1.83382
            ],
            [
              0.66397,
              0.70811,
              0.7404,
              0.79218,
              0.87707,
              1.02513,
              1.30423,
              1.85463
            ],
            [
              0.69569,
              0.74018,
              0.77247,
              0.82426,
              0.90916,
              1.05726,
              1.33636,
              1.88666
            ],
            [
              0.74339,
              0.78795,
              0.82025,
              0.87205,
              0.95685,
              1.10485,
              1.38405,
              1.93435
            ],
            [
              0.81559,
              0.86009,
              0.89239,
              0.94419,
              1.02909,
              1.17709,
              1.45619,
              2.00659
            ],
            [
              0.92502,
              0.96952,
              1.00182,
              1.05362,
              1.13842,
              1.28632,
              1.56542,
              2.11572
            ],
            [
              1.07927,
              1.12367,
              1.15597,
              1.20777,
              1.29257,
              1.44047,
              1.71947,
              2.26977
            ],
            [
              1.2816,
              1.3262,
              1.3585,
              1.4103,
              1.495,
              1.6429,
              1.922,
              2.4724
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.09261,
              0.11627,
              0.13311,
              0.16069,
              0.20785,
              0.29221,
              0.4516,
              0.7659
            ],
            [
              0.09263,
              0.11634,
              0.1331,
              0.1608,
              0.20777,
              0.29216,
              0.4516,
              0.7658
            ],
            [
              0.09261,
              0.11626,
              0.13311,
              0.1607,
              0.20778,
              0.29215,
              0.4516,
              0.7658
            ],
            [
              0.09262,
              0.11637,
              0.1331,
              0.16064,
              0.20757,
              0.29225,
              0.4516,
              0.7658
            ],
            [
              0.09262,
              0.11631,
              0.13309,
              0.16075,
              0.20751,
              0.29261,
              0.4516,
              0.7659
            ],
            [
              0.09278,
              0.11625,
              0.13331,
              0.16068,
              0.20775,
              0.2922,
              0.4522,
              0.7661
            ],
            [
              0.0927,
              0.11628,
              0.13329,
              0.1607,
              0.2079,
              0.2924,
              0.4517,
              0.7654
            ],
            [
              0.09259,
              0.11624,
              0.1332,
              0.1608,
              0.2077,
              0.2921,
              0.4516,
              0.7656
            ],
            [
              0.0926,
              0.1163,
              0.1331,
              0.1607,
              0.2075,
              0.2923,
              0.4517,
              0.7654
            ],
            [
              0.0927,
              0.1162,
              0.133,
              0.1606,
              0.2073,
              0.2922,
              0.4517,
              0.7654
            ],
            [
              0.0926,
              0.1162,
              0.133,
              0.1606,
              0.2077,
              0.2921,
              0.4516,
              0.7653
            ],
            [
              0.0926,
              0.1162,
              0.1331,
              0.1606,
              0.2074,
              0.2924,
              0.4516,
              0.7661
            ],
            [
              0.093,
              0.1167,
              0.1335,
              0.1612,
              0.2078,
              0.2923,
              0.4516,
              0.7652
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06274,
              0.09191,
              0.1162,
              0.1611,
              0.24703,
              0.42211,
              0.7855,
              1.527
            ],
            [
              0.06273,
              0.09186,
              0.11638,
              0.1611,
              0.24705,
              0.42214,
              0.78553,
              1.5269
            ],
            [
              0.06274,
              0.09179,
              0.11657,
              0.1611,
              0.24707,
              0.42218,
              0.78547,
              1.5259
            ],
            [
              0.0627,
              0.0919,
              0.11624,
              0.16087,
              0.24715,
              0.42215,
              0.78571,
              1.5249
            ],
            [
              0.06274,
              0.09176,
              0.11621,
              0.16109,
              0.247,
              0.42205,
              0.78543,
              1.5262
            ],
            [
              0.06276,
              0.09181,
              0.11643,
              0.16113,
              0.24708,
              0.42272,
              0.7857,
              1.5261
            ],
            [
              0.06276,
              0.09181,
              0.11617,
              0.16092,
              0.24717,
              0.42233,
              0.7857,
              1.5263
            ],
            [
              0.06275,
              0.0918,
              0.11616,
              0.16099,
              0.2471,
              0.4223,
              0.7856,
              1.5267
            ],
            [
              0.06267,
              0.09182,
              0.1161,
              0.1613,
              0.2472,
              0.4228,
              0.7856,
              1.5272
            ],
            [
              0.0627,
              0.0919,
              0.1162,
              0.1608,
              0.2471,
              0.4223,
              0.7856,
              1.5275
            ],
            [
              0.0629,
              0.0919,
              0.1162,
              0.1611,
              0.2471,
              0.4223,
              0.7853,
              1.5273
            ],
            [
              0.063,
              0.092,
              0.1162,
              0.161,
              0.2472,
              0.4222,
              0.7856,
              1.5283
            ],
            [
              0.0632,
              0.0922,
              0.1166,
              0.1612,
              0.2475,
              0.4224,
              0.786,
              1.5287
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.51605,
              0.56241,
              0.59371,
              0.64012,
              0.70794,
              0.80847,
              0.96513,
              1.22857
            ],
            [
              0.51925,
              0.56562,
              0.59688,
              0.64333,
              0.71115,
              0.81168,
              0.96835,
              1.23184
            ],
            [
              0.52325,
              0.56961,
              0.60088,
              0.64733,
              0.71515,
              0.81569,
              0.97232,
              1.23572
            ],
            [
              0.52929,
              0.57566,
              0.60694,
              0.65338,
              0.7212,
              0.82176,
              0.97837,
              1.24178
            ],
            [
              0.53843,
              0.58479,
              0.61607,
              0.66252,
              0.73035,
              0.83088,
              0.98751,
              1.25111
            ],
            [
              0.55201,
              0.59837,
              0.62968,
              0.67611,
              0.74394,
              0.8445,
              1.00112,
              1.26452
            ],
            [
              0.57309,
              0.61944,
              0.65071,
              0.69718,
              0.765,
              0.86557,
              1.02223,
              1.28553
            ],
            [
              0.60469,
              0.65103,
              0.6823,
              0.72875,
              0.79657,
              0.89716,
              1.05386,
              1.31716
            ],
            [
              0.65284,
              0.69917,
              0.73042,
              0.77685,
              0.84465,
              0.94525,
              1.10195,
              1.36535
            ],
            [
              0.72399,
              0.77029,
              0.80149,
              0.84789,
              0.91569,
              1.01639,
              1.17309,
              1.43659
            ],
            [
              0.82962,
              0.87592,
              0.90712,
              0.95352,
              1.02132,
              1.12202,
              1.27892,
              1.54242
            ],
            [
              0.98297,
              1.02937,
              1.06057,
              1.10697,
              1.17487,
              1.27567,
              1.43257,
              1.69627
            ],
            [
              1.1906,
              1.2387,
              1.2708,
              1.3181,
              1.3867,
              1.4881,
              1.6455,
              1.9096
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.33794,
              0.38024,
              0.41109,
              0.46078,
              0.54243,
              0.68459,
              0.95046,
              1.47497
            ],
            [
              0.34126,
              0.38356,
              0.41441,
              0.4641,
              0.54575,
              0.68792,
              0.95382,
              1.47804
            ],
            [
              0.34521,
              0.38751,
              0.41836,
              0.46805,
              0.5497,
              0.69192,
              0.95784,
              1.48182
            ],
            [
              0.35108,
              0.39337,
              0.42423,
              0.47393,
              0.55561,
              0.69763,
              0.96345,
              1.48818
            ],
            [
              0.3599,
              0.40218,
              0.43304,
              0.48274,
              0.56442,
              0.70648,
              0.97221,
              1.49701
            ],
            [
              0.373,
              0.41529,
              0.44615,
              0.49585,
              0.57753,
              0.71957,
              0.98542,
              1.51012
            ],
            [
              0.39225,
              0.43478,
              0.46565,
              0.51533,
              0.59679,
              0.73885,
              1.00473,
              1.52943
            ],
            [
              0.42135,
              0.46367,
              0.49454,
              0.54424,
              0.62592,
              0.76808,
              1.03416,
              1.55716
            ],
            [
              0.46454,
              0.50689,
              0.53778,
              0.58747,
              0.66911,
              0.81105,
              1.07735,
              1.60125
            ],
            [
              0.52618,
              0.56857,
              0.59945,
              0.64909,
              0.73069,
              0.87289,
              1.13859,
              1.66359
            ],
            [
              0.61262,
              0.65512,
              0.68602,
              0.73572,
              0.81742,
              0.95962,
              1.22572,
              1.75052
            ],
            [
              0.72797,
              0.77257,
              0.80457,
              0.85527,
              0.93777,
              1.08037,
              1.34657,
              1.87117
            ],
            [
              0.8763,
              0.9241,
              0.958,
              1.0112,
              1.0964,
              1.2409,
              1.5078,
              2.0323
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.09094,
              0.11392,
              0.13043,
              0.15711,
              0.20222,
              0.28199,
              0.43117,
              0.72599
            ],
            [
              0.09098,
              0.11397,
              0.13024,
              0.15716,
              0.20207,
              0.28202,
              0.43078,
              0.72623
            ],
            [
              0.09113,
              0.11393,
              0.13026,
              0.15699,
              0.202,
              0.282,
              0.43034,
              0.72592
            ],
            [
              0.09094,
              0.11393,
              0.13024,
              0.15705,
              0.20223,
              0.28202,
              0.43047,
              0.72565
            ],
            [
              0.09096,
              0.11391,
              0.13026,
              0.15696,
              0.20207,
              0.28201,
              0.43073,
              0.72618
            ],
            [
              0.09095,
              0.11391,
              0.13037,
              0.15701,
              0.202,
              0.282,
              0.43033,
              0.72591
            ],
            [
              0.09105,
              0.11393,
              0.13025,
              0.15699,
              0.20221,
              0.28165,
              0.43038,
              0.7258
            ],
            [
              0.09094,
              0.11392,
              0.13026,
              0.15701,
              0.20222,
              0.28199,
              0.4304,
              0.7258
            ],
            [
              0.09095,
              0.11394,
              0.13029,
              0.157,
              0.20226,
              0.282,
              0.4304,
              0.7259
            ],
            [
              0.091,
              0.114,
              0.1304,
              0.1572,
              0.2023,
              0.2821,
              0.4308,
              0.726
            ],
            [
              0.0911,
              0.1141,
              0.1305,
              0.1574,
              0.2026,
              0.2822,
              0.4305,
              0.7256
            ],
            [
              0.0917,
              0.1148,
              0.1311,
              0.1579,
              0.2029,
              0.282,
              0.4306,
              0.7259
            ],
            [
              0.0982,
              0.1206,
              0.1363,
              0.1622,
              0.2061,
              0.2843,
              0.4318,
              0.7268
            ]
          ]
        },
        "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.00606,
            0.01212,
            0.02423,
            0.04847,
            0.09693,
            0.19387,
            0.38775
          ],
          "values": [
            [
              0.06097,
              0.09045,
              0.11501,
              0.15993,
              0.24525,
              0.41705,
              0.77181,
              1.49929
            ],
            [
              0.06096,
              0.09045,
              0.11501,
              0.16006,
              0.24532,
              0.41698,
              0.77194,
              1.49853
            ],
            [
              0.06096,
              0.09045,
              0.11501,
              0.15999,
              0.24547,
              0.41676,
              0.77215,
              1.49766
            ],
            [
              0.06098,
              0.09056,
              0.11491,
              0.16007,
              0.24565,
              0.41736,
              0.77188,
              1.49954
            ],
            [
              0.06099,
              0.09057,
              0.11494,
              0.15992,
              0.24527,
              0.4173,
              0.77168,
              1.49955
            ],
            [
              0.06101,
              0.0906,
              0.11495,
              0.15992,
              0.24525,
              0.41734,
              0.77187,
              1.49953
            ],
            [
              0.06102,
              0.09049,
              0.11519,
              0.15986,
              0.24531,
              0.41738,
              0.77198,
              1.49952
            ],
            [
              0.061,
              0.09061,
              0.11504,
              0.15991,
              0.2452,
              0.41696,
              0.77236,
              1.4994
            ],
            [
              0.06112,
              0.0906,
              0.11534,
              0.16,
              0.24541,
              0.41746,
              0.77235,
              1.4993
            ],
            [
              0.06115,
              0.09068,
              0.11531,
              0.15999,
              0.24544,
              0.4172,
              0.7717,
              1.4995
            ],
            [
              0.0619,
              0.0912,
              0.1157,
              0.1607,
              0.2457,
              0.4176,
              0.7722,
              1.4996
            ],
            [
              0.0663,
              0.0958,
              0.1198,
              0.164,
              0.2477,
              0.4182,
              0.7719,
              1.499
            ],
            [
              0.0728,
              0.1033,
              0.1277,
              0.1716,
              0.255,
              0.423,
              0.7745,
              1.5
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}