{
  "area": 25.5744,
  "cell_footprint": "sky130_fd_sc_lp__fa",
  "cell_leakage_power": 0.0,
  "dont_touch": "true",
  "dont_use": "true",
  "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.00649,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00623,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CIN": {
    "capacitance": 0.00449,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CIN) | (B&CIN)",
    "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.01907,
              0.02987,
              0.03197,
              0.03446,
              0.03746,
              0.04109,
              0.0454,
              0.05055
            ],
            [
              0.01904,
              0.02984,
              0.03192,
              0.03444,
              0.03743,
              0.04107,
              0.04538,
              0.05052
            ],
            [
              0.01903,
              0.02983,
              0.03192,
              0.03442,
              0.03744,
              0.04105,
              0.04537,
              0.05052
            ],
            [
              0.01898,
              0.02978,
              0.03187,
              0.03438,
              0.03738,
              0.04101,
              0.04532,
              0.05046
            ],
            [
              0.01895,
              0.02974,
              0.03183,
              0.03435,
              0.03734,
              0.04098,
              0.04529,
              0.05047
            ],
            [
              0.0189,
              0.02971,
              0.03179,
              0.0343,
              0.0373,
              0.04093,
              0.04523,
              0.05041
            ],
            [
              0.01885,
              0.02966,
              0.03175,
              0.03426,
              0.03725,
              0.04089,
              0.04519,
              0.05036
            ],
            [
              0.0188,
              0.02961,
              0.0317,
              0.0342,
              0.03722,
              0.04083,
              0.04512,
              0.05034
            ],
            [
              0.01875,
              0.02955,
              0.03164,
              0.03416,
              0.03716,
              0.04077,
              0.04509,
              0.05026
            ],
            [
              0.01872,
              0.02952,
              0.03161,
              0.03412,
              0.03713,
              0.04075,
              0.04506,
              0.05022
            ],
            [
              0.01869,
              0.02949,
              0.03158,
              0.03409,
              0.03709,
              0.04072,
              0.04503,
              0.05019
            ],
            [
              0.01866,
              0.02946,
              0.03154,
              0.03406,
              0.03708,
              0.04069,
              0.045,
              0.05016
            ],
            [
              0.01862,
              0.02939,
              0.0315,
              0.03401,
              0.03702,
              0.04063,
              0.04495,
              0.05015
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.00987,
              0.02085,
              0.02297,
              0.0255,
              0.02854,
              0.03219,
              0.03655,
              0.04178
            ],
            [
              0.00983,
              0.0208,
              0.02294,
              0.02547,
              0.02851,
              0.03215,
              0.03653,
              0.04175
            ],
            [
              0.00977,
              0.02074,
              0.02288,
              0.02542,
              0.02845,
              0.0321,
              0.03646,
              0.0417
            ],
            [
              0.00972,
              0.0207,
              0.02283,
              0.02535,
              0.0284,
              0.03205,
              0.03641,
              0.04165
            ],
            [
              0.00965,
              0.02063,
              0.02277,
              0.02529,
              0.02833,
              0.03196,
              0.03635,
              0.04159
            ],
            [
              0.00958,
              0.02056,
              0.02269,
              0.02522,
              0.02827,
              0.03192,
              0.03626,
              0.04151
            ],
            [
              0.0095,
              0.02047,
              0.02261,
              0.02514,
              0.02817,
              0.03184,
              0.03622,
              0.04145
            ],
            [
              0.0094,
              0.02038,
              0.02251,
              0.02505,
              0.0281,
              0.03176,
              0.0361,
              0.04134
            ],
            [
              0.00931,
              0.02028,
              0.02242,
              0.02495,
              0.028,
              0.03167,
              0.03601,
              0.04126
            ],
            [
              0.00921,
              0.02018,
              0.02231,
              0.02485,
              0.0279,
              0.03155,
              0.03595,
              0.04117
            ],
            [
              0.00911,
              0.02005,
              0.0222,
              0.02473,
              0.02779,
              0.03144,
              0.03581,
              0.04107
            ],
            [
              0.009,
              0.01996,
              0.0221,
              0.02464,
              0.02769,
              0.03135,
              0.03573,
              0.04097
            ],
            [
              0.0089,
              0.01985,
              0.02199,
              0.02452,
              0.02758,
              0.03123,
              0.0356,
              0.04087
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.02124,
              0.03206,
              0.03414,
              0.03664,
              0.03966,
              0.04327,
              0.04758,
              0.05274
            ],
            [
              0.02127,
              0.03209,
              0.03418,
              0.03667,
              0.0397,
              0.04331,
              0.04763,
              0.05281
            ],
            [
              0.02124,
              0.03205,
              0.03414,
              0.03665,
              0.03965,
              0.04328,
              0.04758,
              0.05276
            ],
            [
              0.02121,
              0.03202,
              0.03411,
              0.03663,
              0.03963,
              0.04324,
              0.04757,
              0.05273
            ],
            [
              0.0211,
              0.03193,
              0.03404,
              0.03652,
              0.03953,
              0.04314,
              0.04746,
              0.05266
            ],
            [
              0.02105,
              0.03187,
              0.03396,
              0.03646,
              0.03949,
              0.04307,
              0.0474,
              0.05258
            ],
            [
              0.02098,
              0.0318,
              0.0339,
              0.0364,
              0.03941,
              0.043,
              0.04734,
              0.05251
            ],
            [
              0.02091,
              0.03172,
              0.03381,
              0.03632,
              0.03932,
              0.04293,
              0.04725,
              0.05244
            ],
            [
              0.02084,
              0.03166,
              0.03374,
              0.03626,
              0.03927,
              0.04287,
              0.04717,
              0.05233
            ],
            [
              0.02078,
              0.03159,
              0.03368,
              0.03619,
              0.0392,
              0.04281,
              0.04714,
              0.05232
            ],
            [
              0.02072,
              0.03154,
              0.03362,
              0.03612,
              0.03915,
              0.04276,
              0.04704,
              0.05224
            ],
            [
              0.02066,
              0.03146,
              0.03355,
              0.03606,
              0.03908,
              0.0427,
              0.04701,
              0.05213
            ],
            [
              0.02059,
              0.03138,
              0.03347,
              0.03597,
              0.039,
              0.04261,
              0.04692,
              0.0521
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.00989,
              0.02088,
              0.02303,
              0.02556,
              0.02861,
              0.03225,
              0.03663,
              0.04187
            ],
            [
              0.00986,
              0.02087,
              0.023,
              0.02554,
              0.02859,
              0.03224,
              0.03659,
              0.04182
            ],
            [
              0.00984,
              0.02085,
              0.023,
              0.02554,
              0.02857,
              0.03223,
              0.03658,
              0.04183
            ],
            [
              0.0098,
              0.02081,
              0.02296,
              0.02549,
              0.02853,
              0.0322,
              0.03654,
              0.04179
            ],
            [
              0.00976,
              0.02077,
              0.02291,
              0.02545,
              0.02849,
              0.03215,
              0.03648,
              0.04176
            ],
            [
              0.00971,
              0.02071,
              0.02286,
              0.0254,
              0.02844,
              0.0321,
              0.03644,
              0.0417
            ],
            [
              0.00963,
              0.02063,
              0.02278,
              0.02531,
              0.02836,
              0.03203,
              0.03637,
              0.04161
            ],
            [
              0.00953,
              0.02052,
              0.02265,
              0.0252,
              0.02824,
              0.0319,
              0.03628,
              0.04152
            ],
            [
              0.0094,
              0.02039,
              0.02253,
              0.02508,
              0.02811,
              0.03179,
              0.03613,
              0.04139
            ],
            [
              0.00926,
              0.02024,
              0.02239,
              0.02493,
              0.02797,
              0.03164,
              0.036,
              0.04125
            ],
            [
              0.00913,
              0.02008,
              0.02221,
              0.02476,
              0.02782,
              0.03148,
              0.03583,
              0.04108
            ],
            [
              0.00898,
              0.01994,
              0.02207,
              0.02463,
              0.02769,
              0.03133,
              0.0357,
              0.04094
            ],
            [
              0.00884,
              0.01978,
              0.02192,
              0.02446,
              0.02751,
              0.03116,
              0.03556,
              0.04081
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.01889,
              0.02973,
              0.03182,
              0.03432,
              0.03734,
              0.04094,
              0.04526,
              0.05044
            ],
            [
              0.01893,
              0.02976,
              0.03187,
              0.03435,
              0.03735,
              0.04098,
              0.04528,
              0.05045
            ],
            [
              0.01889,
              0.02971,
              0.03181,
              0.03432,
              0.03733,
              0.04096,
              0.04524,
              0.05043
            ],
            [
              0.01884,
              0.02968,
              0.03178,
              0.03427,
              0.03728,
              0.0409,
              0.04522,
              0.05036
            ],
            [
              0.0188,
              0.02964,
              0.03175,
              0.03422,
              0.03724,
              0.04086,
              0.04517,
              0.05034
            ],
            [
              0.01875,
              0.02958,
              0.03168,
              0.03419,
              0.03719,
              0.04081,
              0.04514,
              0.05031
            ],
            [
              0.0187,
              0.02953,
              0.03164,
              0.03413,
              0.03713,
              0.04076,
              0.04506,
              0.05022
            ],
            [
              0.01864,
              0.02947,
              0.03157,
              0.03405,
              0.03708,
              0.0407,
              0.04502,
              0.05017
            ],
            [
              0.01859,
              0.02942,
              0.03151,
              0.03401,
              0.03704,
              0.04063,
              0.04495,
              0.05013
            ],
            [
              0.01855,
              0.02937,
              0.03146,
              0.03397,
              0.03698,
              0.0406,
              0.04492,
              0.05009
            ],
            [
              0.0185,
              0.02932,
              0.03141,
              0.03391,
              0.03694,
              0.04054,
              0.04487,
              0.05007
            ],
            [
              0.01845,
              0.02925,
              0.03134,
              0.03386,
              0.03687,
              0.04048,
              0.04481,
              0.04996
            ],
            [
              0.01837,
              0.02918,
              0.03126,
              0.03377,
              0.03678,
              0.0404,
              0.04472,
              0.0499
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.01148,
              0.02254,
              0.02467,
              0.02721,
              0.03027,
              0.03392,
              0.03832,
              0.04355
            ],
            [
              0.01149,
              0.02256,
              0.0247,
              0.02724,
              0.0303,
              0.03396,
              0.0383,
              0.04358
            ],
            [
              0.01151,
              0.02257,
              0.02471,
              0.02725,
              0.03031,
              0.03397,
              0.03833,
              0.04357
            ],
            [
              0.01151,
              0.02258,
              0.02472,
              0.02726,
              0.03032,
              0.03398,
              0.03835,
              0.04357
            ],
            [
              0.0115,
              0.02257,
              0.0247,
              0.02725,
              0.03029,
              0.03396,
              0.03834,
              0.04359
            ],
            [
              0.01148,
              0.02254,
              0.02467,
              0.02722,
              0.03028,
              0.03394,
              0.03829,
              0.04355
            ],
            [
              0.01143,
              0.02247,
              0.02461,
              0.02716,
              0.03022,
              0.03389,
              0.03823,
              0.04346
            ],
            [
              0.01134,
              0.02237,
              0.02451,
              0.02706,
              0.03012,
              0.03378,
              0.03814,
              0.04339
            ],
            [
              0.01123,
              0.02224,
              0.02438,
              0.02692,
              0.02998,
              0.03365,
              0.03803,
              0.04328
            ],
            [
              0.01111,
              0.02211,
              0.02424,
              0.02679,
              0.02985,
              0.03351,
              0.03789,
              0.04315
            ],
            [
              0.01099,
              0.02195,
              0.02409,
              0.02664,
              0.0297,
              0.03335,
              0.03774,
              0.04299
            ],
            [
              0.01086,
              0.02183,
              0.02396,
              0.02651,
              0.02956,
              0.03324,
              0.03761,
              0.04287
            ],
            [
              0.01075,
              0.02169,
              0.02382,
              0.02637,
              0.02944,
              0.03308,
              0.03747,
              0.04272
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.02639,
    "max_transition": 1.0,
    "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.8492,
              1.06017,
              1.08647,
              1.11547,
              1.14767,
              1.18347,
              1.22357,
              1.26887
            ],
            [
              0.85094,
              1.06194,
              1.08824,
              1.11724,
              1.14954,
              1.18524,
              1.22534,
              1.27074
            ],
            [
              0.85381,
              1.06492,
              1.09122,
              1.12022,
              1.15242,
              1.18822,
              1.22822,
              1.27362
            ],
            [
              0.85889,
              1.06998,
              1.09628,
              1.12538,
              1.15758,
              1.19328,
              1.23338,
              1.27877
            ],
            [
              0.86754,
              1.07861,
              1.10491,
              1.13391,
              1.16621,
              1.20201,
              1.24201,
              1.28741
            ],
            [
              0.88189,
              1.09302,
              1.11932,
              1.14832,
              1.18052,
              1.21632,
              1.25642,
              1.30182
            ],
            [
              0.90493,
              1.11603,
              1.14223,
              1.17133,
              1.20363,
              1.23933,
              1.27943,
              1.32483
            ],
            [
              0.94086,
              1.15196,
              1.17816,
              1.20726,
              1.23946,
              1.27526,
              1.31536,
              1.36076
            ],
            [
              0.99565,
              1.20665,
              1.23285,
              1.26195,
              1.29425,
              1.32995,
              1.37005,
              1.41545
            ],
            [
              1.07779,
              1.28869,
              1.31499,
              1.34409,
              1.37639,
              1.41209,
              1.45219,
              1.49759
            ],
            [
              1.20202,
              1.41292,
              1.43922,
              1.46822,
              1.50052,
              1.53622,
              1.57642,
              1.62172
            ],
            [
              1.38767,
              1.59847,
              1.62477,
              1.65387,
              1.68617,
              1.72187,
              1.76197,
              1.80737
            ],
            [
              1.6678,
              1.8785,
              1.9049,
              1.9339,
              1.9662,
              2.0019,
              2.0421,
              2.0875
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.20472,
              0.58218,
              0.65586,
              0.74411,
              0.85017,
              0.97633,
              1.12707,
              1.30787
            ],
            [
              0.20836,
              0.58586,
              0.65956,
              0.74781,
              0.85387,
              0.98005,
              1.13074,
              1.31154
            ],
            [
              0.21284,
              0.5904,
              0.6641,
              0.75236,
              0.85843,
              0.98462,
              1.13532,
              1.31612
            ],
            [
              0.21959,
              0.59716,
              0.67087,
              0.75916,
              0.86525,
              0.99147,
              1.14218,
              1.32298
            ],
            [
              0.22958,
              0.6072,
              0.68095,
              0.76924,
              0.87535,
              1.00161,
              1.15231,
              1.33311
            ],
            [
              0.24396,
              0.62155,
              0.6953,
              0.78362,
              0.88975,
              1.01602,
              1.16672,
              1.34762
            ],
            [
              0.2649,
              0.64229,
              0.71608,
              0.80444,
              0.91063,
              1.03693,
              1.18773,
              1.36853
            ],
            [
              0.29567,
              0.67281,
              0.74662,
              0.83503,
              0.94126,
              1.06756,
              1.21846,
              1.39936
            ],
            [
              0.34132,
              0.71825,
              0.79215,
              0.88055,
              0.98685,
              1.11325,
              1.26415,
              1.44515
            ],
            [
              0.40814,
              0.78489,
              0.85879,
              0.94729,
              1.05359,
              1.17999,
              1.33099,
              1.51199
            ],
            [
              0.50062,
              0.87852,
              0.95242,
              1.04092,
              1.14722,
              1.27372,
              1.42472,
              1.60582
            ],
            [
              0.62637,
              1.00627,
              1.08017,
              1.16867,
              1.27497,
              1.40147,
              1.55247,
              1.73367
            ],
            [
              0.7966,
              1.1789,
              1.2531,
              1.3417,
              1.4479,
              1.5743,
              1.7254,
              1.9066
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.08071,
              0.21641,
              0.23573,
              0.25793,
              0.2829,
              0.3128,
              0.3478,
              0.3896
            ],
            [
              0.08079,
              0.21656,
              0.23558,
              0.25748,
              0.2836,
              0.3129,
              0.3477,
              0.3901
            ],
            [
              0.08072,
              0.21652,
              0.23564,
              0.2574,
              0.2835,
              0.3129,
              0.3477,
              0.3901
            ],
            [
              0.08071,
              0.21677,
              0.2356,
              0.2575,
              0.2836,
              0.3129,
              0.3477,
              0.3902
            ],
            [
              0.08073,
              0.2166,
              0.2356,
              0.2575,
              0.2836,
              0.3129,
              0.3477,
              0.3901
            ],
            [
              0.08079,
              0.2164,
              0.2356,
              0.2579,
              0.2829,
              0.3128,
              0.3479,
              0.3895
            ],
            [
              0.08075,
              0.2165,
              0.2358,
              0.2575,
              0.2835,
              0.3128,
              0.3477,
              0.39
            ],
            [
              0.0808,
              0.2164,
              0.2355,
              0.2579,
              0.2829,
              0.3135,
              0.3478,
              0.3897
            ],
            [
              0.0808,
              0.2165,
              0.2356,
              0.2574,
              0.2836,
              0.3129,
              0.3476,
              0.3901
            ],
            [
              0.0808,
              0.2165,
              0.2358,
              0.2574,
              0.2835,
              0.3128,
              0.3476,
              0.3901
            ],
            [
              0.0807,
              0.2165,
              0.2356,
              0.2575,
              0.2829,
              0.3127,
              0.3478,
              0.3895
            ],
            [
              0.0808,
              0.2166,
              0.2358,
              0.2574,
              0.2829,
              0.3128,
              0.3475,
              0.39
            ],
            [
              0.0808,
              0.2165,
              0.2357,
              0.2574,
              0.2828,
              0.3135,
              0.3478,
              0.3897
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.05438,
              0.53754,
              0.63487,
              0.75126,
              0.89094,
              1.05861,
              1.25987,
              1.50137
            ],
            [
              0.05426,
              0.53769,
              0.63488,
              0.75149,
              0.8917,
              1.05917,
              1.25973,
              1.50083
            ],
            [
              0.05425,
              0.53755,
              0.63489,
              0.75126,
              0.89123,
              1.05868,
              1.25984,
              1.50134
            ],
            [
              0.05435,
              0.53755,
              0.63486,
              0.75152,
              0.89128,
              1.05872,
              1.25987,
              1.50137
            ],
            [
              0.05426,
              0.53766,
              0.63484,
              0.75147,
              0.8915,
              1.05824,
              1.25949,
              1.50067
            ],
            [
              0.05426,
              0.53756,
              0.63488,
              0.7513,
              0.89121,
              1.05871,
              1.25993,
              1.50139
            ],
            [
              0.05426,
              0.53762,
              0.63483,
              0.75151,
              0.89136,
              1.05822,
              1.2596,
              1.50062
            ],
            [
              0.05439,
              0.53756,
              0.63491,
              0.75124,
              0.89135,
              1.05875,
              1.25996,
              1.50133
            ],
            [
              0.05439,
              0.53747,
              0.63494,
              0.75152,
              0.89156,
              1.05881,
              1.25994,
              1.50134
            ],
            [
              0.05488,
              0.5375,
              0.63488,
              0.75124,
              0.8918,
              1.0583,
              1.2596,
              1.5006
            ],
            [
              0.0567,
              0.5378,
              0.6349,
              0.7514,
              0.8918,
              1.0591,
              1.2598,
              1.5007
            ],
            [
              0.0588,
              0.5387,
              0.6355,
              0.7516,
              0.8924,
              1.0581,
              1.2592,
              1.4999
            ],
            [
              0.062,
              0.54,
              0.637,
              0.7529,
              0.8938,
              1.0602,
              1.2608,
              1.5002
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&CIN)"
      },
      {
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.81737,
              1.02797,
              1.05467,
              1.08407,
              1.11647,
              1.15247,
              1.19277,
              1.23847
            ],
            [
              0.81955,
              1.03014,
              1.05694,
              1.08624,
              1.11874,
              1.15464,
              1.19494,
              1.24064
            ],
            [
              0.82266,
              1.03332,
              1.06012,
              1.08942,
              1.12182,
              1.15782,
              1.19812,
              1.24382
            ],
            [
              0.82815,
              1.03878,
              1.06557,
              1.09488,
              1.12738,
              1.16328,
              1.20368,
              1.24928
            ],
            [
              0.83718,
              1.04791,
              1.07461,
              1.10401,
              1.13641,
              1.17241,
              1.21271,
              1.25831
            ],
            [
              0.85195,
              1.06262,
              1.08932,
              1.11872,
              1.15122,
              1.18712,
              1.22752,
              1.27312
            ],
            [
              0.87586,
              1.08653,
              1.11323,
              1.14253,
              1.17503,
              1.21103,
              1.25133,
              1.29693
            ],
            [
              0.91316,
              1.12376,
              1.15046,
              1.17986,
              1.21226,
              1.24826,
              1.28856,
              1.33426
            ],
            [
              0.97035,
              1.18085,
              1.20765,
              1.23695,
              1.26945,
              1.30535,
              1.34575,
              1.39135
            ],
            [
              1.05599,
              1.26649,
              1.29329,
              1.32259,
              1.35509,
              1.39099,
              1.43139,
              1.47699
            ],
            [
              1.18322,
              1.39372,
              1.42052,
              1.44982,
              1.48232,
              1.51822,
              1.55862,
              1.60422
            ],
            [
              1.37107,
              1.58137,
              1.60817,
              1.63747,
              1.66997,
              1.70597,
              1.74627,
              1.79197
            ],
            [
              1.6515,
              1.8618,
              1.8885,
              1.9179,
              1.9504,
              1.9864,
              2.0267,
              2.0724
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.20226,
              0.57611,
              0.64934,
              0.73691,
              0.84212,
              0.96788,
              1.11837,
              1.29907
            ],
            [
              0.20591,
              0.57982,
              0.65305,
              0.74063,
              0.84584,
              0.97161,
              1.12214,
              1.30284
            ],
            [
              0.21031,
              0.58428,
              0.65752,
              0.74511,
              0.85033,
              0.97609,
              1.12662,
              1.30732
            ],
            [
              0.21674,
              0.59078,
              0.66404,
              0.75165,
              0.85688,
              0.98267,
              1.13318,
              1.31388
            ],
            [
              0.22611,
              0.60021,
              0.6735,
              0.76113,
              0.86637,
              0.99221,
              1.14271,
              1.32341
            ],
            [
              0.23993,
              0.61404,
              0.68736,
              0.77502,
              0.8803,
              1.00612,
              1.15672,
              1.33742
            ],
            [
              0.26049,
              0.63458,
              0.70794,
              0.79564,
              0.90093,
              1.02683,
              1.17743,
              1.35823
            ],
            [
              0.29114,
              0.66531,
              0.73874,
              0.82649,
              0.93186,
              1.05786,
              1.20846,
              1.38916
            ],
            [
              0.33693,
              0.71119,
              0.78465,
              0.87245,
              0.97795,
              1.10385,
              1.25455,
              1.43545
            ],
            [
              0.40393,
              0.77839,
              0.85189,
              0.93969,
              1.04519,
              1.17119,
              1.32199,
              1.50289
            ],
            [
              0.49632,
              0.87222,
              0.94572,
              1.03362,
              1.13912,
              1.26522,
              1.41602,
              1.59692
            ],
            [
              0.62207,
              1.00017,
              1.07367,
              1.16157,
              1.26707,
              1.39317,
              1.54397,
              1.72497
            ],
            [
              0.7923,
              1.1728,
              1.2467,
              1.3347,
              1.4403,
              1.5663,
              1.7172,
              1.8981
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.07868,
              0.21839,
              0.23791,
              0.26041,
              0.28572,
              0.31526,
              0.3501,
              0.3917
            ],
            [
              0.07871,
              0.21847,
              0.23802,
              0.26012,
              0.28635,
              0.31543,
              0.3502,
              0.3915
            ],
            [
              0.07878,
              0.21838,
              0.23799,
              0.26048,
              0.28569,
              0.3153,
              0.3501,
              0.3916
            ],
            [
              0.07871,
              0.21848,
              0.23802,
              0.26012,
              0.2863,
              0.3154,
              0.3502,
              0.3915
            ],
            [
              0.07869,
              0.21852,
              0.23815,
              0.2601,
              0.2862,
              0.3154,
              0.35,
              0.3919
            ],
            [
              0.07878,
              0.2184,
              0.2382,
              0.2601,
              0.2855,
              0.3154,
              0.3502,
              0.3915
            ],
            [
              0.07877,
              0.2183,
              0.2381,
              0.2605,
              0.2856,
              0.3154,
              0.3501,
              0.3916
            ],
            [
              0.0787,
              0.2185,
              0.238,
              0.2602,
              0.2862,
              0.3153,
              0.3499,
              0.3922
            ],
            [
              0.0787,
              0.2184,
              0.2381,
              0.2601,
              0.2856,
              0.3154,
              0.3502,
              0.3916
            ],
            [
              0.0788,
              0.2184,
              0.2382,
              0.2601,
              0.2856,
              0.3154,
              0.3502,
              0.3916
            ],
            [
              0.0788,
              0.2185,
              0.2382,
              0.2606,
              0.2856,
              0.3154,
              0.3501,
              0.3916
            ],
            [
              0.0787,
              0.2185,
              0.2382,
              0.2606,
              0.2857,
              0.3154,
              0.3501,
              0.3916
            ],
            [
              0.0787,
              0.2189,
              0.238,
              0.2604,
              0.2858,
              0.316,
              0.3507,
              0.3916
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.05427,
              0.53758,
              0.63474,
              0.7514,
              0.89161,
              1.05813,
              1.25912,
              1.5001
            ],
            [
              0.05436,
              0.53754,
              0.63489,
              0.75118,
              0.89166,
              1.05804,
              1.25918,
              1.50036
            ],
            [
              0.05434,
              0.53754,
              0.6349,
              0.75107,
              0.89166,
              1.05823,
              1.25906,
              1.50004
            ],
            [
              0.05433,
              0.53755,
              0.63483,
              0.75099,
              0.89167,
              1.05823,
              1.25915,
              1.49954
            ],
            [
              0.05435,
              0.53744,
              0.6348,
              0.75147,
              0.89147,
              1.05944,
              1.25895,
              1.50023
            ],
            [
              0.05436,
              0.53745,
              0.63474,
              0.75148,
              0.89144,
              1.05808,
              1.25877,
              1.50003
            ],
            [
              0.05432,
              0.53748,
              0.63488,
              0.75124,
              0.8916,
              1.05817,
              1.25913,
              1.50035
            ],
            [
              0.05422,
              0.53748,
              0.63478,
              0.75149,
              0.89125,
              1.05893,
              1.25923,
              1.50091
            ],
            [
              0.05421,
              0.53733,
              0.63469,
              0.75137,
              0.89152,
              1.05801,
              1.25916,
              1.50059
            ],
            [
              0.0548,
              0.53725,
              0.63457,
              0.75129,
              0.8911,
              1.058,
              1.2591,
              1.5011
            ],
            [
              0.0565,
              0.5374,
              0.6345,
              0.7508,
              0.8913,
              1.0581,
              1.2592,
              1.5006
            ],
            [
              0.0586,
              0.5381,
              0.6351,
              0.7514,
              0.8914,
              1.0582,
              1.2592,
              1.5005
            ],
            [
              0.0614,
              0.5394,
              0.6365,
              0.7526,
              0.8925,
              1.0593,
              1.26,
              1.5011
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&!CIN)"
      },
      {
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.84749,
              1.05887,
              1.08517,
              1.11417,
              1.14637,
              1.18207,
              1.22217,
              1.26747
            ],
            [
              0.84988,
              1.06144,
              1.08774,
              1.11664,
              1.14884,
              1.18454,
              1.22464,
              1.27004
            ],
            [
              0.85239,
              1.06392,
              1.09022,
              1.11922,
              1.15142,
              1.18712,
              1.22722,
              1.27252
            ],
            [
              0.85628,
              1.06788,
              1.09418,
              1.12318,
              1.15538,
              1.19108,
              1.23118,
              1.27648
            ],
            [
              0.86288,
              1.07441,
              1.10071,
              1.12971,
              1.16191,
              1.19771,
              1.23771,
              1.28311
            ],
            [
              0.8737,
              1.08522,
              1.11162,
              1.14062,
              1.17282,
              1.20852,
              1.24862,
              1.29392
            ],
            [
              0.89233,
              1.10393,
              1.13023,
              1.15923,
              1.19143,
              1.22713,
              1.26723,
              1.31263
            ],
            [
              0.92306,
              1.13456,
              1.16096,
              1.18996,
              1.22216,
              1.25786,
              1.29796,
              1.34336
            ],
            [
              0.97325,
              1.18455,
              1.21085,
              1.23995,
              1.27215,
              1.30795,
              1.34795,
              1.39335
            ],
            [
              1.05209,
              1.26339,
              1.28969,
              1.31869,
              1.35089,
              1.38669,
              1.42669,
              1.47209
            ],
            [
              1.17682,
              1.38802,
              1.41442,
              1.44342,
              1.47562,
              1.51132,
              1.55142,
              1.59682
            ],
            [
              1.36597,
              1.57717,
              1.60347,
              1.63257,
              1.66477,
              1.70057,
              1.74057,
              1.78597
            ],
            [
              1.6541,
              1.8652,
              1.8914,
              1.9205,
              1.9527,
              1.9885,
              2.0285,
              2.0739
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.21604,
              0.5964,
              0.67014,
              0.75834,
              0.86449,
              0.99129,
              1.14257,
              1.32357
            ],
            [
              0.2199,
              0.60029,
              0.67406,
              0.76225,
              0.86841,
              0.99524,
              1.14654,
              1.32754
            ],
            [
              0.22455,
              0.60498,
              0.67876,
              0.76696,
              0.87313,
              0.99992,
              1.15122,
              1.33232
            ],
            [
              0.23145,
              0.61194,
              0.68575,
              0.77397,
              0.88014,
              1.00697,
              1.15828,
              1.33927
            ],
            [
              0.24167,
              0.62219,
              0.69599,
              0.78426,
              0.89046,
              1.01731,
              1.16861,
              1.34971
            ],
            [
              0.25631,
              0.63676,
              0.71058,
              0.79886,
              0.90508,
              1.03192,
              1.18332,
              1.36432
            ],
            [
              0.27752,
              0.65769,
              0.73153,
              0.81983,
              0.92613,
              1.05303,
              1.20433,
              1.38553
            ],
            [
              0.30857,
              0.68844,
              0.76228,
              0.85066,
              0.95696,
              1.08386,
              1.23526,
              1.41636
            ],
            [
              0.35451,
              0.73402,
              0.80785,
              0.89625,
              1.00265,
              1.12955,
              1.28095,
              1.46215
            ],
            [
              0.42202,
              0.80139,
              0.87529,
              0.96359,
              1.07009,
              1.19699,
              1.34839,
              1.52969
            ],
            [
              0.51512,
              0.89702,
              0.97092,
              1.05932,
              1.16572,
              1.29262,
              1.44412,
              1.62532
            ],
            [
              0.64227,
              1.02847,
              1.10227,
              1.19067,
              1.29707,
              1.42407,
              1.57537,
              1.75667
            ],
            [
              0.8154,
              1.206,
              1.2806,
              1.3692,
              1.4756,
              1.6024,
              1.7538,
              1.9351
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.08071,
              0.21664,
              0.23573,
              0.25791,
              0.2829,
              0.3126,
              0.3475,
              0.3897
            ],
            [
              0.08079,
              0.21666,
              0.23572,
              0.25749,
              0.2828,
              0.3126,
              0.3476,
              0.3893
            ],
            [
              0.08076,
              0.21669,
              0.23585,
              0.2575,
              0.2829,
              0.3126,
              0.3475,
              0.3893
            ],
            [
              0.08079,
              0.21671,
              0.23566,
              0.2574,
              0.2831,
              0.3127,
              0.3475,
              0.3892
            ],
            [
              0.08071,
              0.2165,
              0.2357,
              0.2579,
              0.283,
              0.3126,
              0.3475,
              0.3894
            ],
            [
              0.08079,
              0.2168,
              0.2357,
              0.2575,
              0.283,
              0.3125,
              0.3475,
              0.3893
            ],
            [
              0.08073,
              0.2169,
              0.2357,
              0.2575,
              0.2828,
              0.3124,
              0.3474,
              0.3892
            ],
            [
              0.0808,
              0.2167,
              0.2357,
              0.2574,
              0.2829,
              0.3124,
              0.3474,
              0.3892
            ],
            [
              0.0807,
              0.2167,
              0.2357,
              0.2575,
              0.2834,
              0.3124,
              0.3475,
              0.3891
            ],
            [
              0.0807,
              0.2168,
              0.2355,
              0.2574,
              0.2827,
              0.3123,
              0.3474,
              0.3891
            ],
            [
              0.0808,
              0.2168,
              0.2357,
              0.2578,
              0.2829,
              0.3124,
              0.3472,
              0.3891
            ],
            [
              0.0808,
              0.2166,
              0.2357,
              0.2574,
              0.2828,
              0.3125,
              0.3474,
              0.3891
            ],
            [
              0.0807,
              0.2167,
              0.2357,
              0.2576,
              0.2829,
              0.3123,
              0.3473,
              0.3891
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.05778,
              0.53689,
              0.63476,
              0.75136,
              0.89137,
              1.05888,
              1.25924,
              1.50139
            ],
            [
              0.05776,
              0.53695,
              0.63468,
              0.75141,
              0.89179,
              1.05961,
              1.26047,
              1.50032
            ],
            [
              0.05776,
              0.5369,
              0.63475,
              0.75139,
              0.89174,
              1.05956,
              1.25922,
              1.50157
            ],
            [
              0.05776,
              0.53692,
              0.63471,
              0.75135,
              0.89178,
              1.05869,
              1.25995,
              1.5006
            ],
            [
              0.05784,
              0.53687,
              0.6347,
              0.75131,
              0.89118,
              1.05848,
              1.25953,
              1.50108
            ],
            [
              0.05777,
              0.53688,
              0.63475,
              0.75139,
              0.89134,
              1.06027,
              1.25996,
              1.50118
            ],
            [
              0.05776,
              0.53689,
              0.63482,
              0.75143,
              0.89145,
              1.06023,
              1.25988,
              1.50115
            ],
            [
              0.05782,
              0.53699,
              0.63489,
              0.75132,
              0.89115,
              1.05862,
              1.26011,
              1.50142
            ],
            [
              0.05792,
              0.53704,
              0.63478,
              0.75127,
              0.89148,
              1.0593,
              1.25945,
              1.5015
            ],
            [
              0.05857,
              0.53705,
              0.63478,
              0.75126,
              0.8915,
              1.0601,
              1.2593,
              1.5015
            ],
            [
              0.0618,
              0.5373,
              0.6349,
              0.7513,
              0.8915,
              1.06,
              1.2593,
              1.5015
            ],
            [
              0.0645,
              0.5391,
              0.6361,
              0.752,
              0.8924,
              1.0594,
              1.26,
              1.5008
            ],
            [
              0.0684,
              0.5424,
              0.6394,
              0.7552,
              0.8948,
              1.0615,
              1.2613,
              1.5019
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&CIN)"
      },
      {
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.70057,
              0.91724,
              0.94575,
              0.977,
              1.01157,
              1.04967,
              1.09227,
              1.14037
            ],
            [
              0.70289,
              0.91959,
              0.9481,
              0.97937,
              1.01394,
              1.05204,
              1.09464,
              1.14264
            ],
            [
              0.70585,
              0.92254,
              0.95105,
              0.98232,
              1.01682,
              1.05502,
              1.09762,
              1.14562
            ],
            [
              0.71059,
              0.92731,
              0.95581,
              0.98708,
              1.02157,
              1.05978,
              1.10238,
              1.15037
            ],
            [
              0.71861,
              0.9353,
              0.96381,
              0.99511,
              1.02961,
              1.06781,
              1.11031,
              1.15841
            ],
            [
              0.73217,
              0.94872,
              0.97722,
              1.00852,
              1.04302,
              1.08122,
              1.12382,
              1.17182
            ],
            [
              0.75464,
              0.97113,
              0.99963,
              1.03093,
              1.06543,
              1.10353,
              1.14623,
              1.19413
            ],
            [
              0.79029,
              1.00666,
              1.03516,
              1.06636,
              1.10096,
              1.13906,
              1.18166,
              1.22966
            ],
            [
              0.84565,
              1.06185,
              1.09045,
              1.12165,
              1.15615,
              1.19425,
              1.23695,
              1.28485
            ],
            [
              0.92769,
              1.14389,
              1.17249,
              1.20369,
              1.23819,
              1.27629,
              1.31889,
              1.36689
            ],
            [
              1.04892,
              1.26502,
              1.29342,
              1.32462,
              1.35912,
              1.39722,
              1.43982,
              1.48782
            ],
            [
              1.22857,
              1.44427,
              1.47277,
              1.50387,
              1.53827,
              1.57637,
              1.61897,
              1.66697
            ],
            [
              1.4959,
              1.7112,
              1.7395,
              1.7706,
              1.805,
              1.8431,
              1.8856,
              1.9335
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.1984,
              0.57281,
              0.64618,
              0.73393,
              0.83935,
              0.96525,
              1.11587,
              1.29667
            ],
            [
              0.20199,
              0.57649,
              0.64988,
              0.73763,
              0.84305,
              0.96892,
              1.11954,
              1.30034
            ],
            [
              0.20623,
              0.5808,
              0.6542,
              0.74197,
              0.8474,
              0.97327,
              1.12392,
              1.30472
            ],
            [
              0.21263,
              0.5873,
              0.66073,
              0.74852,
              0.85396,
              0.97988,
              1.13048,
              1.31128
            ],
            [
              0.2222,
              0.59694,
              0.67039,
              0.7582,
              0.86367,
              0.98961,
              1.14021,
              1.32101
            ],
            [
              0.23656,
              0.61133,
              0.68481,
              0.77265,
              0.87815,
              1.00412,
              1.15472,
              1.33552
            ],
            [
              0.25803,
              0.63274,
              0.70624,
              0.79411,
              0.89963,
              1.02563,
              1.17633,
              1.35723
            ],
            [
              0.29037,
              0.66492,
              0.73845,
              0.82636,
              0.93196,
              1.05796,
              1.20876,
              1.38956
            ],
            [
              0.33902,
              0.7135,
              0.78705,
              0.87495,
              0.98055,
              1.10665,
              1.25745,
              1.43835
            ],
            [
              0.40978,
              0.78439,
              0.85789,
              0.94589,
              1.05149,
              1.17759,
              1.32839,
              1.50939
            ],
            [
              0.50362,
              0.87992,
              0.95342,
              1.04142,
              1.14702,
              1.27312,
              1.42402,
              1.60502
            ],
            [
              0.62747,
              1.00587,
              1.07947,
              1.16737,
              1.27307,
              1.39917,
              1.54997,
              1.73107
            ],
            [
              0.7904,
              1.1711,
              1.2452,
              1.3334,
              1.439,
              1.5651,
              1.7159,
              1.897
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.07603,
              0.22954,
              0.25107,
              0.27513,
              0.30171,
              0.33228,
              0.3678,
              0.4097
            ],
            [
              0.07602,
              0.22977,
              0.25101,
              0.27498,
              0.30182,
              0.3323,
              0.36772,
              0.40994
            ],
            [
              0.07599,
              0.2297,
              0.25104,
              0.27491,
              0.30175,
              0.33232,
              0.36764,
              0.40997
            ],
            [
              0.07602,
              0.22969,
              0.25092,
              0.27498,
              0.30172,
              0.3323,
              0.36762,
              0.40995
            ],
            [
              0.07606,
              0.22959,
              0.25111,
              0.27517,
              0.30165,
              0.33222,
              0.36784,
              0.40964
            ],
            [
              0.07601,
              0.22957,
              0.25099,
              0.27495,
              0.30171,
              0.33208,
              0.3676,
              0.4099
            ],
            [
              0.07601,
              0.22964,
              0.25108,
              0.27465,
              0.3017,
              0.333,
              0.3678,
              0.4103
            ],
            [
              0.076,
              0.2297,
              0.2509,
              0.275,
              0.3022,
              0.3324,
              0.3675,
              0.4096
            ],
            [
              0.0759,
              0.2295,
              0.2511,
              0.2746,
              0.3015,
              0.333,
              0.3684,
              0.4099
            ],
            [
              0.0759,
              0.2295,
              0.2511,
              0.2745,
              0.3014,
              0.3329,
              0.3676,
              0.4103
            ],
            [
              0.0758,
              0.2297,
              0.2505,
              0.2746,
              0.3014,
              0.332,
              0.3672,
              0.4092
            ],
            [
              0.0758,
              0.229,
              0.2505,
              0.274,
              0.301,
              0.3324,
              0.3671,
              0.4097
            ],
            [
              0.0757,
              0.2287,
              0.25,
              0.274,
              0.3004,
              0.3313,
              0.3674,
              0.4097
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.05426,
              0.5376,
              0.63479,
              0.75132,
              0.89167,
              1.05865,
              1.25949,
              1.50133
            ],
            [
              0.05432,
              0.53759,
              0.63486,
              0.7513,
              0.89128,
              1.05806,
              1.25906,
              1.50111
            ],
            [
              0.05436,
              0.53754,
              0.63482,
              0.75107,
              0.89146,
              1.0581,
              1.25889,
              1.50115
            ],
            [
              0.05436,
              0.53754,
              0.63484,
              0.75119,
              0.89145,
              1.05809,
              1.25877,
              1.50063
            ],
            [
              0.05436,
              0.53753,
              0.6348,
              0.75104,
              0.89137,
              1.05808,
              1.25876,
              1.50061
            ],
            [
              0.05436,
              0.53752,
              0.63479,
              0.7511,
              0.89139,
              1.05808,
              1.25874,
              1.50047
            ],
            [
              0.05435,
              0.53751,
              0.63477,
              0.75113,
              0.8914,
              1.05804,
              1.25886,
              1.50056
            ],
            [
              0.05432,
              0.53748,
              0.63476,
              0.75165,
              0.89151,
              1.0587,
              1.25949,
              1.49984
            ],
            [
              0.05423,
              0.53742,
              0.63475,
              0.75113,
              0.89124,
              1.058,
              1.25903,
              1.49973
            ],
            [
              0.05472,
              0.53737,
              0.63469,
              0.75104,
              0.8911,
              1.058,
              1.2593,
              1.4997
            ],
            [
              0.0566,
              0.5374,
              0.6346,
              0.751,
              0.8922,
              1.0581,
              1.259,
              1.4999
            ],
            [
              0.0585,
              0.5386,
              0.6355,
              0.7514,
              0.8913,
              1.0583,
              1.2586,
              1.5008
            ],
            [
              0.0619,
              0.5405,
              0.6374,
              0.7532,
              0.8926,
              1.0599,
              1.2597,
              1.5015
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&!CIN)"
      },
      {
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.75723,
              0.96788,
              0.99457,
              1.02387,
              1.05627,
              1.09227,
              1.13257,
              1.17827
            ],
            [
              0.7598,
              0.97049,
              0.99714,
              1.02644,
              1.05894,
              1.09494,
              1.13514,
              1.18084
            ],
            [
              0.76269,
              0.97341,
              1.00012,
              1.02942,
              1.06182,
              1.09782,
              1.13812,
              1.18372
            ],
            [
              0.76712,
              0.97788,
              1.00458,
              1.03388,
              1.06628,
              1.10228,
              1.14258,
              1.18827
            ],
            [
              0.77457,
              0.98531,
              1.01201,
              1.04131,
              1.07381,
              1.10971,
              1.15001,
              1.19571
            ],
            [
              0.7871,
              0.99782,
              1.02452,
              1.05382,
              1.08632,
              1.12222,
              1.16252,
              1.20812
            ],
            [
              0.80775,
              1.01843,
              1.04513,
              1.07443,
              1.10683,
              1.14283,
              1.18313,
              1.22883
            ],
            [
              0.84136,
              1.05196,
              1.07866,
              1.10796,
              1.14036,
              1.17636,
              1.21666,
              1.26236
            ],
            [
              0.89405,
              1.10465,
              1.13135,
              1.16065,
              1.19305,
              1.22905,
              1.26925,
              1.31495
            ],
            [
              0.97629,
              1.18679,
              1.21359,
              1.24289,
              1.27529,
              1.31119,
              1.35159,
              1.39719
            ],
            [
              1.10352,
              1.31402,
              1.34072,
              1.37002,
              1.40252,
              1.43842,
              1.47872,
              1.52442
            ],
            [
              1.29527,
              1.50557,
              1.53227,
              1.56167,
              1.59407,
              1.62997,
              1.67027,
              1.71597
            ],
            [
              1.5862,
              1.7964,
              1.8231,
              1.8524,
              1.8848,
              1.9207,
              1.9611,
              2.0067
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.20638,
              0.58656,
              0.66027,
              0.74848,
              0.85466,
              0.98141,
              1.13267,
              1.31367
            ],
            [
              0.20971,
              0.58997,
              0.6637,
              0.7519,
              0.85808,
              0.98484,
              1.13604,
              1.31704
            ],
            [
              0.21387,
              0.5942,
              0.66794,
              0.75614,
              0.86232,
              0.98912,
              1.14032,
              1.32132
            ],
            [
              0.22015,
              0.60047,
              0.67424,
              0.76245,
              0.86865,
              0.99538,
              1.14668,
              1.32767
            ],
            [
              0.22967,
              0.60991,
              0.68367,
              0.77192,
              0.87814,
              1.00491,
              1.15621,
              1.33721
            ],
            [
              0.24397,
              0.62407,
              0.69784,
              0.78613,
              0.89238,
              1.01922,
              1.17052,
              1.35152
            ],
            [
              0.26542,
              0.64512,
              0.71893,
              0.80724,
              0.91353,
              1.04043,
              1.19173,
              1.37283
            ],
            [
              0.29764,
              0.67686,
              0.75067,
              0.83906,
              0.94536,
              1.07226,
              1.22366,
              1.40476
            ],
            [
              0.3461,
              0.72494,
              0.79875,
              0.88715,
              0.99355,
              1.12045,
              1.27185,
              1.45305
            ],
            [
              0.41631,
              0.79499,
              0.86889,
              0.95719,
              1.06369,
              1.19059,
              1.34199,
              1.52319
            ],
            [
              0.51022,
              0.89072,
              0.96452,
              1.05292,
              1.15932,
              1.28622,
              1.43762,
              1.61882
            ],
            [
              0.63417,
              1.01777,
              1.09157,
              1.17987,
              1.28627,
              1.41307,
              1.56447,
              1.74567
            ],
            [
              0.7977,
              1.1848,
              1.259,
              1.3475,
              1.4539,
              1.5806,
              1.7318,
              1.9131
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.07867,
              0.21834,
              0.23783,
              0.26,
              0.28557,
              0.31497,
              0.34971,
              0.39124
            ],
            [
              0.07866,
              0.2183,
              0.23779,
              0.25996,
              0.28553,
              0.31493,
              0.34977,
              0.3913
            ],
            [
              0.07867,
              0.21836,
              0.23774,
              0.25991,
              0.28558,
              0.31498,
              0.34972,
              0.3919
            ],
            [
              0.07868,
              0.21826,
              0.23784,
              0.2601,
              0.28558,
              0.31488,
              0.34982,
              0.3914
            ],
            [
              0.07875,
              0.21833,
              0.23781,
              0.26007,
              0.28555,
              0.31485,
              0.3498,
              0.3913
            ],
            [
              0.07866,
              0.21836,
              0.23775,
              0.25993,
              0.2861,
              0.3152,
              0.3503,
              0.3914
            ],
            [
              0.07873,
              0.2183,
              0.2378,
              0.26,
              0.2856,
              0.3149,
              0.3497,
              0.3913
            ],
            [
              0.07873,
              0.2182,
              0.2378,
              0.2601,
              0.2855,
              0.3149,
              0.3498,
              0.3913
            ],
            [
              0.0787,
              0.2183,
              0.2378,
              0.26,
              0.2856,
              0.3149,
              0.3497,
              0.3913
            ],
            [
              0.0787,
              0.2183,
              0.2382,
              0.2604,
              0.2854,
              0.3151,
              0.3498,
              0.3913
            ],
            [
              0.0787,
              0.2184,
              0.2378,
              0.26,
              0.2856,
              0.3149,
              0.3497,
              0.3913
            ],
            [
              0.0788,
              0.2185,
              0.2378,
              0.2599,
              0.2853,
              0.3151,
              0.3499,
              0.3911
            ],
            [
              0.0787,
              0.2185,
              0.2382,
              0.26,
              0.2853,
              0.315,
              0.3497,
              0.3911
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.05798,
              0.53698,
              0.6348,
              0.75136,
              0.89146,
              1.0585,
              1.25963,
              1.50143
            ],
            [
              0.05798,
              0.53703,
              0.63475,
              0.75122,
              0.89151,
              1.05843,
              1.26027,
              1.50149
            ],
            [
              0.05802,
              0.53701,
              0.63483,
              0.75135,
              0.89157,
              1.05907,
              1.25961,
              1.50102
            ],
            [
              0.05799,
              0.53702,
              0.63476,
              0.75119,
              0.89147,
              1.05878,
              1.25952,
              1.50143
            ],
            [
              0.05802,
              0.53695,
              0.63484,
              0.75132,
              0.89151,
              1.0588,
              1.25991,
              1.50141
            ],
            [
              0.058,
              0.53699,
              0.63476,
              0.75132,
              0.89148,
              1.05855,
              1.25954,
              1.50071
            ],
            [
              0.05803,
              0.53704,
              0.63483,
              0.75128,
              0.89156,
              1.06026,
              1.25949,
              1.50151
            ],
            [
              0.05806,
              0.53705,
              0.63482,
              0.75125,
              0.89147,
              1.06022,
              1.25928,
              1.50152
            ],
            [
              0.05821,
              0.53701,
              0.63481,
              0.7513,
              0.89123,
              1.05933,
              1.25901,
              1.501
            ],
            [
              0.05888,
              0.5371,
              0.63479,
              0.75125,
              0.8913,
              1.0596,
              1.26,
              1.5007
            ],
            [
              0.0613,
              0.5373,
              0.6349,
              0.7514,
              0.8915,
              1.0592,
              1.26,
              1.5012
            ],
            [
              0.0641,
              0.5387,
              0.6358,
              0.752,
              0.8914,
              1.0593,
              1.2596,
              1.5017
            ],
            [
              0.0687,
              0.541,
              0.6381,
              0.754,
              0.8934,
              1.0607,
              1.2606,
              1.5013
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.656,
              0.87584,
              0.90557,
              0.93811,
              0.97379,
              1.01287,
              1.05637,
              1.10497
            ],
            [
              0.65792,
              0.87786,
              0.90762,
              0.94015,
              0.97584,
              1.01494,
              1.05834,
              1.10704
            ],
            [
              0.66029,
              0.88023,
              0.90996,
              0.94251,
              0.97819,
              1.01732,
              1.06082,
              1.10942
            ],
            [
              0.66429,
              0.88426,
              0.914,
              0.94654,
              0.98218,
              1.02138,
              1.06478,
              1.11338
            ],
            [
              0.67135,
              0.89133,
              0.92112,
              0.95361,
              0.98931,
              1.02841,
              1.07181,
              1.12051
            ],
            [
              0.68378,
              0.9037,
              0.93342,
              0.96602,
              1.00162,
              1.04082,
              1.08422,
              1.13282
            ],
            [
              0.7049,
              0.92473,
              0.95453,
              0.98703,
              1.02273,
              1.06183,
              1.10523,
              1.15393
            ],
            [
              0.73826,
              0.95806,
              0.98786,
              1.02036,
              1.05606,
              1.09516,
              1.13856,
              1.18726
            ],
            [
              0.79285,
              1.01255,
              1.04235,
              1.07485,
              1.11055,
              1.14975,
              1.19315,
              1.24175
            ],
            [
              0.87589,
              1.09549,
              1.12529,
              1.15789,
              1.19359,
              1.23269,
              1.27609,
              1.32479
            ],
            [
              1.00432,
              1.22392,
              1.25372,
              1.28622,
              1.32192,
              1.36112,
              1.40442,
              1.45312
            ],
            [
              1.19737,
              1.41677,
              1.44657,
              1.47907,
              1.51477,
              1.55397,
              1.59737,
              1.64607
            ],
            [
              1.4899,
              1.7093,
              1.739,
              1.7716,
              1.8073,
              1.8464,
              1.8899,
              1.9385
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.19122,
              0.56907,
              0.64288,
              0.73128,
              0.83745,
              0.96371,
              1.11457,
              1.29547
            ],
            [
              0.19462,
              0.57254,
              0.64636,
              0.73477,
              0.84094,
              0.9672,
              1.11804,
              1.29904
            ],
            [
              0.19878,
              0.57672,
              0.65055,
              0.73897,
              0.84515,
              0.97147,
              1.12222,
              1.30322
            ],
            [
              0.20514,
              0.58308,
              0.65692,
              0.74535,
              0.85154,
              0.97777,
              1.12868,
              1.30968
            ],
            [
              0.2147,
              0.59262,
              0.66647,
              0.75491,
              0.86111,
              0.98741,
              1.13831,
              1.31921
            ],
            [
              0.2291,
              0.60683,
              0.68071,
              0.76918,
              0.87541,
              1.00172,
              1.15262,
              1.33362
            ],
            [
              0.25078,
              0.62814,
              0.70203,
              0.79052,
              0.89683,
              1.02313,
              1.17403,
              1.35513
            ],
            [
              0.28324,
              0.6602,
              0.7341,
              0.82263,
              0.92886,
              1.05526,
              1.20616,
              1.38726
            ],
            [
              0.33202,
              0.70854,
              0.78245,
              0.87105,
              0.97725,
              1.10365,
              1.25465,
              1.43575
            ],
            [
              0.40193,
              0.77829,
              0.85219,
              0.94079,
              1.04699,
              1.17339,
              1.32439,
              1.50559
            ],
            [
              0.49432,
              0.87222,
              0.94602,
              1.03462,
              1.14082,
              1.26722,
              1.41822,
              1.59942
            ],
            [
              0.61627,
              0.99607,
              1.06987,
              1.15837,
              1.26457,
              1.39087,
              1.54177,
              1.72307
            ],
            [
              0.7775,
              1.1592,
              1.2336,
              1.3223,
              1.4284,
              1.5546,
              1.7055,
              1.8867
            ]
          ]
        },
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.07659,
              0.23635,
              0.25851,
              0.28274,
              0.31051,
              0.34069,
              0.37547,
              0.41668
            ],
            [
              0.07663,
              0.23628,
              0.25844,
              0.2831,
              0.30999,
              0.34065,
              0.37646,
              0.41689
            ],
            [
              0.07659,
              0.23638,
              0.25856,
              0.28279,
              0.31046,
              0.34063,
              0.37541,
              0.41662
            ],
            [
              0.07661,
              0.23621,
              0.25837,
              0.28292,
              0.31039,
              0.34067,
              0.37547,
              0.41658
            ],
            [
              0.07664,
              0.23625,
              0.25841,
              0.28296,
              0.30995,
              0.34071,
              0.37642,
              0.41754
            ],
            [
              0.07663,
              0.23632,
              0.25869,
              0.28272,
              0.3106,
              0.34056,
              0.37565,
              0.41674
            ],
            [
              0.07662,
              0.23628,
              0.25834,
              0.28309,
              0.30998,
              0.34065,
              0.3765,
              0.4169
            ],
            [
              0.07662,
              0.23629,
              0.2584,
              0.2829,
              0.31,
              0.3408,
              0.3764,
              0.4176
            ],
            [
              0.07676,
              0.2364,
              0.2585,
              0.2827,
              0.3104,
              0.3407,
              0.3754,
              0.4168
            ],
            [
              0.0766,
              0.2368,
              0.2583,
              0.2828,
              0.3101,
              0.3414,
              0.3757,
              0.4166
            ],
            [
              0.0766,
              0.2364,
              0.2584,
              0.2831,
              0.31,
              0.3413,
              0.3758,
              0.4173
            ],
            [
              0.0766,
              0.2364,
              0.2586,
              0.2829,
              0.3101,
              0.3405,
              0.3756,
              0.4167
            ],
            [
              0.0768,
              0.2366,
              0.2587,
              0.2828,
              0.3105,
              0.3407,
              0.3754,
              0.4166
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00884,
            0.01061,
            0.01273,
            0.01528,
            0.01833,
            0.02199,
            0.02639
          ],
          "values": [
            [
              0.05432,
              0.53771,
              0.63481,
              0.75125,
              0.89228,
              1.05918,
              1.25887,
              1.50013
            ],
            [
              0.05425,
              0.53771,
              0.63479,
              0.75142,
              0.89186,
              1.05896,
              1.26007,
              1.50061
            ],
            [
              0.05425,
              0.53772,
              0.63477,
              0.75131,
              0.89213,
              1.05894,
              1.25872,
              1.50128
            ],
            [
              0.05426,
              0.53749,
              0.63491,
              0.75148,
              0.89138,
              1.05878,
              1.25997,
              1.50123
            ],
            [
              0.05425,
              0.53759,
              0.63493,
              0.75165,
              0.89114,
              1.05823,
              1.2597,
              1.50054
            ],
            [
              0.05427,
              0.53752,
              0.6348,
              0.7515,
              0.89126,
              1.05872,
              1.25987,
              1.50059
            ],
            [
              0.05425,
              0.53757,
              0.63505,
              0.75132,
              0.89191,
              1.05892,
              1.26003,
              1.50119
            ],
            [
              0.05427,
              0.53756,
              0.6348,
              0.75134,
              0.89162,
              1.05889,
              1.25993,
              1.50045
            ],
            [
              0.05429,
              0.53756,
              0.63473,
              0.75124,
              0.89153,
              1.05874,
              1.25993,
              1.50047
            ],
            [
              0.0551,
              0.53752,
              0.63471,
              0.75131,
              0.8916,
              1.0588,
              1.2599,
              1.5004
            ],
            [
              0.0568,
              0.5375,
              0.6347,
              0.7514,
              0.8923,
              1.0588,
              1.2598,
              1.5009
            ],
            [
              0.0589,
              0.5389,
              0.6358,
              0.7518,
              0.8917,
              1.0588,
              1.2599,
              1.5001
            ],
            [
              0.0621,
              0.5408,
              0.6378,
              0.7541,
              0.8943,
              1.0601,
              1.2601,
              1.5007
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CIN) | (!A&B&!CIN) | (!A&!B&CIN) | (A&B&CIN)",
    "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.01261,
              0.00229,
              0.0002,
              -0.00231,
              -0.00534,
              -0.00897,
              -0.01332,
              -0.01855
            ],
            [
              0.01257,
              0.00225,
              0.00016,
              -0.00234,
              -0.00537,
              -0.00901,
              -0.01336,
              -0.01859
            ],
            [
              0.01257,
              0.00225,
              0.00017,
              -0.00235,
              -0.00537,
              -0.009,
              -0.01336,
              -0.0186
            ],
            [
              0.01254,
              0.00222,
              0.00014,
              -0.00237,
              -0.0054,
              -0.00903,
              -0.01339,
              -0.01862
            ],
            [
              0.01251,
              0.00219,
              0.0001,
              -0.00241,
              -0.00544,
              -0.00907,
              -0.01342,
              -0.01865
            ],
            [
              0.01247,
              0.00215,
              6e-05,
              -0.00244,
              -0.00547,
              -0.0091,
              -0.01346,
              -0.01869
            ],
            [
              0.01243,
              0.00212,
              3e-05,
              -0.00248,
              -0.00551,
              -0.00914,
              -0.01349,
              -0.01872
            ],
            [
              0.0124,
              0.00208,
              -1e-05,
              -0.00252,
              -0.00554,
              -0.00918,
              -0.01353,
              -0.01876
            ],
            [
              0.01237,
              0.00205,
              -4e-05,
              -0.00255,
              -0.00557,
              -0.0092,
              -0.01356,
              -0.01879
            ],
            [
              0.01234,
              0.00203,
              -6e-05,
              -0.00257,
              -0.0056,
              -0.00923,
              -0.01358,
              -0.01881
            ],
            [
              0.01233,
              0.00201,
              -8e-05,
              -0.00259,
              -0.00561,
              -0.00924,
              -0.0136,
              -0.01883
            ],
            [
              0.01232,
              0.002,
              -9e-05,
              -0.0026,
              -0.00563,
              -0.00926,
              -0.01361,
              -0.01884
            ],
            [
              0.01231,
              0.00198,
              -0.00011,
              -0.00261,
              -0.00564,
              -0.00926,
              -0.01361,
              -0.01884
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.00177,
              0.01246,
              0.01456,
              0.01706,
              0.02009,
              0.02369,
              0.02803,
              0.03324
            ],
            [
              0.00174,
              0.01243,
              0.01453,
              0.01703,
              0.02006,
              0.02367,
              0.02798,
              0.03322
            ],
            [
              0.00166,
              0.01236,
              0.01446,
              0.01695,
              0.01998,
              0.02359,
              0.02793,
              0.03315
            ],
            [
              0.0016,
              0.0123,
              0.01439,
              0.0169,
              0.01992,
              0.02354,
              0.02786,
              0.03306
            ],
            [
              0.00153,
              0.01223,
              0.01433,
              0.01684,
              0.01984,
              0.02347,
              0.02775,
              0.03301
            ],
            [
              0.00146,
              0.01216,
              0.01425,
              0.01676,
              0.01978,
              0.02338,
              0.02772,
              0.03293
            ],
            [
              0.00137,
              0.01207,
              0.01416,
              0.01668,
              0.01971,
              0.02333,
              0.02764,
              0.03285
            ],
            [
              0.0013,
              0.01199,
              0.01409,
              0.01661,
              0.01964,
              0.02325,
              0.02759,
              0.03278
            ],
            [
              0.00122,
              0.0119,
              0.01402,
              0.01653,
              0.01956,
              0.02317,
              0.02749,
              0.03269
            ],
            [
              0.00114,
              0.01182,
              0.01392,
              0.01645,
              0.01948,
              0.02309,
              0.0274,
              0.03263
            ],
            [
              0.00108,
              0.01175,
              0.01384,
              0.01636,
              0.01942,
              0.02302,
              0.02736,
              0.03257
            ],
            [
              0.00102,
              0.01166,
              0.01377,
              0.01629,
              0.01931,
              0.02296,
              0.02728,
              0.0325
            ],
            [
              0.00095,
              0.01157,
              0.01367,
              0.0162,
              0.01923,
              0.02286,
              0.02721,
              0.03242
            ]
          ]
        },
        "when": "(!B&!CIN) | (B&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.00987,
              0.02094,
              0.02308,
              0.02563,
              0.0287,
              0.03237,
              0.03677,
              0.04205
            ],
            [
              0.00983,
              0.02089,
              0.02305,
              0.0256,
              0.02866,
              0.03233,
              0.03675,
              0.04202
            ],
            [
              0.00977,
              0.02083,
              0.02299,
              0.02556,
              0.02861,
              0.03228,
              0.03667,
              0.04196
            ],
            [
              0.00972,
              0.02078,
              0.02294,
              0.02549,
              0.02856,
              0.03224,
              0.03662,
              0.04191
            ],
            [
              0.00965,
              0.02072,
              0.02288,
              0.02543,
              0.02849,
              0.03214,
              0.03657,
              0.04186
            ],
            [
              0.00958,
              0.02064,
              0.0228,
              0.02536,
              0.02843,
              0.0321,
              0.03648,
              0.04177
            ],
            [
              0.0095,
              0.02055,
              0.02272,
              0.02527,
              0.02833,
              0.03202,
              0.03643,
              0.04171
            ],
            [
              0.0094,
              0.02046,
              0.02262,
              0.02518,
              0.02826,
              0.03194,
              0.03631,
              0.0416
            ],
            [
              0.00931,
              0.02037,
              0.02252,
              0.02508,
              0.02816,
              0.03185,
              0.03623,
              0.04153
            ],
            [
              0.00921,
              0.02026,
              0.02242,
              0.02498,
              0.02806,
              0.03173,
              0.03617,
              0.04143
            ],
            [
              0.00911,
              0.02013,
              0.02231,
              0.02486,
              0.02794,
              0.03162,
              0.03602,
              0.04134
            ],
            [
              0.009,
              0.02004,
              0.02221,
              0.02477,
              0.02784,
              0.03153,
              0.03595,
              0.04123
            ],
            [
              0.0089,
              0.01994,
              0.0221,
              0.02465,
              0.02774,
              0.03141,
              0.03581,
              0.04113
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.01907,
              0.02996,
              0.03208,
              0.03459,
              0.03762,
              0.04127,
              0.04562,
              0.05081
            ],
            [
              0.01904,
              0.02993,
              0.03203,
              0.03457,
              0.03759,
              0.04125,
              0.04559,
              0.05079
            ],
            [
              0.01903,
              0.02991,
              0.03203,
              0.03455,
              0.03759,
              0.04123,
              0.04558,
              0.05078
            ],
            [
              0.01898,
              0.02986,
              0.03198,
              0.03451,
              0.03753,
              0.04119,
              0.04553,
              0.05073
            ],
            [
              0.01895,
              0.02982,
              0.03194,
              0.03448,
              0.0375,
              0.04116,
              0.0455,
              0.05073
            ],
            [
              0.0189,
              0.0298,
              0.0319,
              0.03443,
              0.03746,
              0.04111,
              0.04545,
              0.05067
            ],
            [
              0.01885,
              0.02975,
              0.03185,
              0.03439,
              0.03741,
              0.04107,
              0.04541,
              0.05062
            ],
            [
              0.0188,
              0.0297,
              0.03181,
              0.03433,
              0.03737,
              0.04101,
              0.04534,
              0.0506
            ],
            [
              0.01875,
              0.02964,
              0.03175,
              0.0343,
              0.03732,
              0.04095,
              0.04531,
              0.05052
            ],
            [
              0.01872,
              0.0296,
              0.03171,
              0.03425,
              0.03729,
              0.04093,
              0.04528,
              0.05048
            ],
            [
              0.01869,
              0.02958,
              0.03169,
              0.03422,
              0.03724,
              0.0409,
              0.04524,
              0.05045
            ],
            [
              0.01866,
              0.02954,
              0.03165,
              0.0342,
              0.03723,
              0.04087,
              0.04521,
              0.05043
            ],
            [
              0.01862,
              0.02948,
              0.03161,
              0.03414,
              0.03718,
              0.04081,
              0.04517,
              0.05042
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.01428,
              0.00397,
              0.00188,
              -0.00063,
              -0.00366,
              -0.00729,
              -0.01164,
              -0.01688
            ],
            [
              0.01426,
              0.00395,
              0.00186,
              -0.00065,
              -0.00368,
              -0.00731,
              -0.01166,
              -0.01689
            ],
            [
              0.01424,
              0.00393,
              0.00184,
              -0.00067,
              -0.00371,
              -0.00734,
              -0.01169,
              -0.01692
            ],
            [
              0.01421,
              0.0039,
              0.00181,
              -0.0007,
              -0.00373,
              -0.00736,
              -0.01172,
              -0.01695
            ],
            [
              0.0142,
              0.00389,
              0.0018,
              -0.00071,
              -0.00374,
              -0.00737,
              -0.01173,
              -0.01696
            ],
            [
              0.01416,
              0.00385,
              0.00176,
              -0.00075,
              -0.00378,
              -0.00741,
              -0.01176,
              -0.01699
            ],
            [
              0.01412,
              0.00381,
              0.00172,
              -0.00079,
              -0.00382,
              -0.00745,
              -0.0118,
              -0.01703
            ],
            [
              0.01409,
              0.00378,
              0.00169,
              -0.00082,
              -0.00385,
              -0.00748,
              -0.01183,
              -0.01706
            ],
            [
              0.01406,
              0.00375,
              0.00166,
              -0.00085,
              -0.00388,
              -0.00751,
              -0.01186,
              -0.01709
            ],
            [
              0.01405,
              0.00373,
              0.00165,
              -0.00086,
              -0.00389,
              -0.00752,
              -0.01188,
              -0.01711
            ],
            [
              0.01403,
              0.00372,
              0.00163,
              -0.00088,
              -0.00391,
              -0.00754,
              -0.01189,
              -0.01712
            ],
            [
              0.01402,
              0.0037,
              0.00161,
              -0.0009,
              -0.00392,
              -0.00755,
              -0.0119,
              -0.01713
            ],
            [
              0.01401,
              0.00368,
              0.00159,
              -0.00092,
              -0.00394,
              -0.00757,
              -0.01192,
              -0.01715
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.00221,
              0.01232,
              0.01441,
              0.01693,
              0.01996,
              0.02355,
              0.02788,
              0.0331
            ],
            [
              0.00219,
              0.0123,
              0.01441,
              0.01691,
              0.01994,
              0.02355,
              0.0279,
              0.03308
            ],
            [
              0.00218,
              0.01228,
              0.01439,
              0.0169,
              0.01991,
              0.02353,
              0.02786,
              0.03306
            ],
            [
              0.00218,
              0.01226,
              0.01436,
              0.01687,
              0.01989,
              0.0235,
              0.02782,
              0.03304
            ],
            [
              0.00215,
              0.01223,
              0.01432,
              0.01683,
              0.01985,
              0.02348,
              0.02782,
              0.03301
            ],
            [
              0.00212,
              0.01219,
              0.0143,
              0.0168,
              0.01983,
              0.02344,
              0.02777,
              0.03297
            ],
            [
              0.0021,
              0.01215,
              0.01425,
              0.01677,
              0.01978,
              0.0234,
              0.02771,
              0.03294
            ],
            [
              0.00207,
              0.0121,
              0.0142,
              0.01671,
              0.01973,
              0.02335,
              0.02773,
              0.0329
            ],
            [
              0.00205,
              0.01203,
              0.01414,
              0.01665,
              0.01968,
              0.02331,
              0.02765,
              0.03285
            ],
            [
              0.00204,
              0.01197,
              0.01407,
              0.01659,
              0.01962,
              0.02322,
              0.02754,
              0.03279
            ],
            [
              0.00203,
              0.01189,
              0.014,
              0.01652,
              0.01958,
              0.02318,
              0.02751,
              0.03274
            ],
            [
              0.00205,
              0.01183,
              0.01395,
              0.01647,
              0.01949,
              0.02311,
              0.02747,
              0.03266
            ],
            [
              0.00208,
              0.01177,
              0.01386,
              0.01639,
              0.01942,
              0.02308,
              0.02742,
              0.03262
            ]
          ]
        },
        "when": "(!A&!CIN) | (A&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.00989,
              0.02096,
              0.02313,
              0.02569,
              0.02877,
              0.03243,
              0.03685,
              0.04214
            ],
            [
              0.00986,
              0.02095,
              0.0231,
              0.02567,
              0.02874,
              0.03242,
              0.03681,
              0.04208
            ],
            [
              0.00984,
              0.02094,
              0.0231,
              0.02567,
              0.02873,
              0.03241,
              0.0368,
              0.0421
            ],
            [
              0.0098,
              0.0209,
              0.02307,
              0.02563,
              0.02869,
              0.03238,
              0.03675,
              0.04205
            ],
            [
              0.00976,
              0.02085,
              0.02302,
              0.02558,
              0.02865,
              0.03233,
              0.0367,
              0.04203
            ],
            [
              0.00971,
              0.0208,
              0.02297,
              0.02553,
              0.02859,
              0.03228,
              0.03666,
              0.04197
            ],
            [
              0.00963,
              0.02072,
              0.02289,
              0.02545,
              0.02852,
              0.03221,
              0.03659,
              0.04188
            ],
            [
              0.00953,
              0.02061,
              0.02276,
              0.02533,
              0.0284,
              0.03208,
              0.0365,
              0.04179
            ],
            [
              0.0094,
              0.02048,
              0.02264,
              0.02521,
              0.02827,
              0.03197,
              0.03635,
              0.04166
            ],
            [
              0.00926,
              0.02033,
              0.0225,
              0.02506,
              0.02813,
              0.03182,
              0.03621,
              0.04152
            ],
            [
              0.00913,
              0.02017,
              0.02232,
              0.02489,
              0.02798,
              0.03166,
              0.03605,
              0.04134
            ],
            [
              0.00898,
              0.02002,
              0.02218,
              0.02476,
              0.02785,
              0.03151,
              0.03591,
              0.04121
            ],
            [
              0.00884,
              0.01987,
              0.02203,
              0.02459,
              0.02766,
              0.03134,
              0.03578,
              0.04107
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.02124,
              0.03214,
              0.03425,
              0.03678,
              0.03981,
              0.04345,
              0.0478,
              0.05301
            ],
            [
              0.02127,
              0.03217,
              0.03428,
              0.03681,
              0.03986,
              0.04349,
              0.04784,
              0.05307
            ],
            [
              0.02124,
              0.03214,
              0.03425,
              0.03678,
              0.0398,
              0.04346,
              0.0478,
              0.05302
            ],
            [
              0.02121,
              0.03211,
              0.03422,
              0.03676,
              0.03978,
              0.04342,
              0.04778,
              0.05299
            ],
            [
              0.0211,
              0.03202,
              0.03414,
              0.03665,
              0.03968,
              0.04332,
              0.04767,
              0.05293
            ],
            [
              0.02105,
              0.03195,
              0.03406,
              0.0366,
              0.03964,
              0.04325,
              0.04762,
              0.05284
            ],
            [
              0.02098,
              0.03188,
              0.03401,
              0.03653,
              0.03956,
              0.04318,
              0.04755,
              0.05277
            ],
            [
              0.02091,
              0.0318,
              0.03391,
              0.03645,
              0.03947,
              0.04311,
              0.04747,
              0.0527
            ],
            [
              0.02084,
              0.03174,
              0.03385,
              0.03639,
              0.03943,
              0.04305,
              0.04739,
              0.05259
            ],
            [
              0.02078,
              0.03168,
              0.03379,
              0.03632,
              0.03936,
              0.04299,
              0.04736,
              0.05258
            ],
            [
              0.02072,
              0.03162,
              0.03373,
              0.03625,
              0.03931,
              0.04294,
              0.04725,
              0.05251
            ],
            [
              0.02066,
              0.03154,
              0.03366,
              0.0362,
              0.03923,
              0.04288,
              0.04723,
              0.0524
            ],
            [
              0.02059,
              0.03146,
              0.03358,
              0.0361,
              0.03916,
              0.04279,
              0.04713,
              0.05237
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.01196,
              0.00166,
              -0.00043,
              -0.00294,
              -0.00597,
              -0.0096,
              -0.01395,
              -0.01919
            ],
            [
              0.01199,
              0.00169,
              -0.0004,
              -0.00291,
              -0.00594,
              -0.00957,
              -0.01392,
              -0.01915
            ],
            [
              0.01195,
              0.00165,
              -0.00044,
              -0.00295,
              -0.00598,
              -0.00961,
              -0.01396,
              -0.01919
            ],
            [
              0.01187,
              0.00157,
              -0.00051,
              -0.00303,
              -0.00605,
              -0.00969,
              -0.01404,
              -0.01927
            ],
            [
              0.01183,
              0.00153,
              -0.00056,
              -0.00307,
              -0.0061,
              -0.00973,
              -0.01408,
              -0.01931
            ],
            [
              0.01177,
              0.00147,
              -0.00062,
              -0.00313,
              -0.00616,
              -0.00979,
              -0.01414,
              -0.01937
            ],
            [
              0.01171,
              0.0014,
              -0.00069,
              -0.00319,
              -0.00622,
              -0.00985,
              -0.01421,
              -0.01944
            ],
            [
              0.01164,
              0.00134,
              -0.00075,
              -0.00326,
              -0.00629,
              -0.00992,
              -0.01427,
              -0.0195
            ],
            [
              0.01158,
              0.00128,
              -0.00081,
              -0.00332,
              -0.00635,
              -0.00998,
              -0.01433,
              -0.01956
            ],
            [
              0.01154,
              0.00124,
              -0.00085,
              -0.00336,
              -0.00639,
              -0.01002,
              -0.01437,
              -0.0196
            ],
            [
              0.01151,
              0.0012,
              -0.00089,
              -0.0034,
              -0.00642,
              -0.01005,
              -0.0144,
              -0.01963
            ],
            [
              0.01148,
              0.00117,
              -0.00092,
              -0.00343,
              -0.00645,
              -0.01008,
              -0.01443,
              -0.01966
            ],
            [
              0.01145,
              0.00113,
              -0.00095,
              -0.00346,
              -0.00649,
              -0.01012,
              -0.01446,
              -0.01969
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.00365,
              0.01439,
              0.01651,
              0.01901,
              0.02201,
              0.02563,
              0.02997,
              0.03515
            ],
            [
              0.00365,
              0.0144,
              0.0165,
              0.01901,
              0.02204,
              0.02565,
              0.02995,
              0.03519
            ],
            [
              0.00365,
              0.01439,
              0.01648,
              0.01901,
              0.02202,
              0.02563,
              0.02997,
              0.03516
            ],
            [
              0.00361,
              0.01437,
              0.01646,
              0.019,
              0.02201,
              0.02564,
              0.02991,
              0.03514
            ],
            [
              0.0036,
              0.01437,
              0.01647,
              0.01898,
              0.022,
              0.02562,
              0.02996,
              0.03517
            ],
            [
              0.00357,
              0.01434,
              0.01644,
              0.01895,
              0.02197,
              0.0256,
              0.02994,
              0.03513
            ],
            [
              0.00354,
              0.0143,
              0.0164,
              0.01891,
              0.02194,
              0.02555,
              0.02987,
              0.03507
            ],
            [
              0.00349,
              0.01424,
              0.01634,
              0.01886,
              0.02189,
              0.02552,
              0.02985,
              0.03503
            ],
            [
              0.00343,
              0.01416,
              0.01628,
              0.01878,
              0.02184,
              0.02543,
              0.02978,
              0.03498
            ],
            [
              0.00336,
              0.01406,
              0.01618,
              0.01869,
              0.02172,
              0.02535,
              0.02967,
              0.03489
            ],
            [
              0.00329,
              0.01396,
              0.01606,
              0.0186,
              0.02163,
              0.02526,
              0.02959,
              0.03481
            ],
            [
              0.0032,
              0.01387,
              0.01597,
              0.0185,
              0.02153,
              0.02517,
              0.0295,
              0.03473
            ],
            [
              0.00311,
              0.01375,
              0.01585,
              0.01837,
              0.02142,
              0.02505,
              0.02939,
              0.03458
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.01148,
              0.02262,
              0.02478,
              0.02734,
              0.03043,
              0.0341,
              0.03854,
              0.04381
            ],
            [
              0.01149,
              0.02265,
              0.02481,
              0.02737,
              0.03046,
              0.03414,
              0.03852,
              0.04385
            ],
            [
              0.01151,
              0.02266,
              0.02482,
              0.02738,
              0.03047,
              0.03415,
              0.03855,
              0.04384
            ],
            [
              0.01151,
              0.02267,
              0.02483,
              0.02739,
              0.03048,
              0.03416,
              0.03856,
              0.04384
            ],
            [
              0.0115,
              0.02265,
              0.02481,
              0.02738,
              0.03045,
              0.03414,
              0.03856,
              0.04385
            ],
            [
              0.01148,
              0.02262,
              0.02478,
              0.02736,
              0.03043,
              0.03412,
              0.03851,
              0.04381
            ],
            [
              0.01143,
              0.02256,
              0.02472,
              0.02729,
              0.03038,
              0.03407,
              0.03845,
              0.04372
            ],
            [
              0.01134,
              0.02245,
              0.02462,
              0.02719,
              0.03028,
              0.03396,
              0.03835,
              0.04365
            ],
            [
              0.01123,
              0.02232,
              0.02449,
              0.02705,
              0.03014,
              0.03383,
              0.03824,
              0.04354
            ],
            [
              0.01111,
              0.02219,
              0.02435,
              0.02692,
              0.03001,
              0.03369,
              0.03811,
              0.04341
            ],
            [
              0.01099,
              0.02204,
              0.0242,
              0.02677,
              0.02985,
              0.03353,
              0.03795,
              0.04325
            ],
            [
              0.01086,
              0.02192,
              0.02407,
              0.02665,
              0.02972,
              0.03342,
              0.03783,
              0.04313
            ],
            [
              0.01075,
              0.02177,
              0.02393,
              0.0265,
              0.02959,
              0.03326,
              0.03769,
              0.04298
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.01889,
              0.02981,
              0.03193,
              0.03446,
              0.03749,
              0.04112,
              0.04548,
              0.0507
            ],
            [
              0.01893,
              0.02984,
              0.03197,
              0.03448,
              0.03751,
              0.04116,
              0.0455,
              0.05071
            ],
            [
              0.01889,
              0.02979,
              0.03192,
              0.03446,
              0.03748,
              0.04114,
              0.04546,
              0.0507
            ],
            [
              0.01884,
              0.02976,
              0.03189,
              0.0344,
              0.03744,
              0.04108,
              0.04543,
              0.05063
            ],
            [
              0.0188,
              0.02972,
              0.03186,
              0.03436,
              0.0374,
              0.04104,
              0.04539,
              0.0506
            ],
            [
              0.01875,
              0.02967,
              0.03179,
              0.03433,
              0.03735,
              0.04099,
              0.04535,
              0.05058
            ],
            [
              0.0187,
              0.02962,
              0.03175,
              0.03426,
              0.03729,
              0.04094,
              0.04528,
              0.05048
            ],
            [
              0.01864,
              0.02956,
              0.03168,
              0.03418,
              0.03723,
              0.04088,
              0.04524,
              0.05044
            ],
            [
              0.01859,
              0.02951,
              0.03162,
              0.03415,
              0.03719,
              0.04081,
              0.04516,
              0.0504
            ],
            [
              0.01855,
              0.02945,
              0.03157,
              0.0341,
              0.03714,
              0.04078,
              0.04514,
              0.05035
            ],
            [
              0.0185,
              0.02941,
              0.03152,
              0.03404,
              0.0371,
              0.04072,
              0.04509,
              0.05033
            ],
            [
              0.01845,
              0.02933,
              0.03144,
              0.03399,
              0.03703,
              0.04066,
              0.04503,
              0.05023
            ],
            [
              0.01837,
              0.02926,
              0.03137,
              0.0339,
              0.03694,
              0.04058,
              0.04494,
              0.05016
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.02617,
    "max_transition": 1.0,
    "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              1.03237,
              1.22747,
              1.25177,
              1.27907,
              1.30987,
              1.34457,
              1.38397,
              1.42887
            ],
            [
              1.03234,
              1.22754,
              1.25174,
              1.27904,
              1.30994,
              1.34474,
              1.38414,
              1.42914
            ],
            [
              1.03382,
              1.22902,
              1.25332,
              1.28062,
              1.31142,
              1.34612,
              1.38562,
              1.43062
            ],
            [
              1.03738,
              1.23267,
              1.25697,
              1.28428,
              1.31507,
              1.34978,
              1.38928,
              1.43417
            ],
            [
              1.04461,
              1.23981,
              1.26411,
              1.29141,
              1.32221,
              1.35691,
              1.39641,
              1.44131
            ],
            [
              1.05752,
              1.25262,
              1.27692,
              1.30422,
              1.33512,
              1.36992,
              1.40932,
              1.45432
            ],
            [
              1.07963,
              1.27473,
              1.29903,
              1.32633,
              1.35713,
              1.39183,
              1.43133,
              1.47623
            ],
            [
              1.11496,
              1.30996,
              1.33426,
              1.36156,
              1.39236,
              1.42716,
              1.46656,
              1.51156
            ],
            [
              1.16935,
              1.36425,
              1.38855,
              1.41585,
              1.44665,
              1.48145,
              1.52085,
              1.56585
            ],
            [
              1.25079,
              1.44569,
              1.47009,
              1.49739,
              1.52819,
              1.56289,
              1.60239,
              1.64729
            ],
            [
              1.37122,
              1.56602,
              1.59032,
              1.61762,
              1.64842,
              1.68322,
              1.72272,
              1.76762
            ],
            [
              1.54867,
              1.74347,
              1.76777,
              1.79507,
              1.82587,
              1.86077,
              1.90017,
              1.94517
            ],
            [
              1.8109,
              2.0056,
              2.0299,
              2.0572,
              2.088,
              2.1228,
              2.1623,
              2.2073
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.17116,
              0.54916,
              0.62214,
              0.71005,
              0.81526,
              0.94144,
              1.09257,
              1.27317
            ],
            [
              0.17444,
              0.55235,
              0.62544,
              0.71325,
              0.81866,
              0.94446,
              1.09594,
              1.27694
            ],
            [
              0.17894,
              0.55736,
              0.63053,
              0.71773,
              0.82321,
              0.94968,
              1.09972,
              1.28202
            ],
            [
              0.18596,
              0.56407,
              0.63721,
              0.72498,
              0.83049,
              0.95578,
              1.10787,
              1.28787
            ],
            [
              0.19636,
              0.57499,
              0.64819,
              0.73557,
              0.8407,
              0.96751,
              1.11741,
              1.29961
            ],
            [
              0.21151,
              0.58971,
              0.66293,
              0.75054,
              0.85637,
              0.98202,
              1.13362,
              1.31452
            ],
            [
              0.23334,
              0.61134,
              0.6847,
              0.77274,
              0.87824,
              1.00403,
              1.15563,
              1.33663
            ],
            [
              0.26499,
              0.6432,
              0.71653,
              0.80372,
              0.90996,
              1.03556,
              1.18726,
              1.36766
            ],
            [
              0.31097,
              0.68879,
              0.76175,
              0.85005,
              0.95525,
              1.08205,
              1.23255,
              1.41455
            ],
            [
              0.37527,
              0.75309,
              0.82589,
              0.91419,
              1.01969,
              1.14619,
              1.29739,
              1.47889
            ],
            [
              0.46212,
              0.84012,
              0.91342,
              1.00162,
              1.10722,
              1.23362,
              1.38482,
              1.56652
            ],
            [
              0.57967,
              0.95877,
              1.03207,
              1.11957,
              1.22557,
              1.35217,
              1.50287,
              1.68517
            ],
            [
              0.7382,
              1.1183,
              1.1924,
              1.2797,
              1.3853,
              1.5118,
              1.6632,
              1.8447
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.09163,
              0.212,
              0.2315,
              0.2539,
              0.2804,
              0.3125,
              0.3484,
              0.3926
            ],
            [
              0.09155,
              0.212,
              0.2314,
              0.2539,
              0.2811,
              0.3116,
              0.3487,
              0.3932
            ],
            [
              0.0916,
              0.212,
              0.2314,
              0.254,
              0.2804,
              0.3125,
              0.3484,
              0.3925
            ],
            [
              0.0915,
              0.212,
              0.2314,
              0.254,
              0.2804,
              0.3119,
              0.3483,
              0.3925
            ],
            [
              0.0916,
              0.212,
              0.2314,
              0.254,
              0.2804,
              0.3125,
              0.3484,
              0.3925
            ],
            [
              0.0916,
              0.2121,
              0.2314,
              0.2538,
              0.2811,
              0.3116,
              0.3487,
              0.3931
            ],
            [
              0.0915,
              0.212,
              0.2316,
              0.2539,
              0.2804,
              0.3125,
              0.3485,
              0.3925
            ],
            [
              0.0915,
              0.2121,
              0.2313,
              0.254,
              0.2804,
              0.3118,
              0.3484,
              0.3925
            ],
            [
              0.0916,
              0.212,
              0.2314,
              0.254,
              0.2804,
              0.3119,
              0.3484,
              0.3926
            ],
            [
              0.0915,
              0.212,
              0.2313,
              0.2539,
              0.2804,
              0.3118,
              0.3483,
              0.3925
            ],
            [
              0.0916,
              0.212,
              0.2314,
              0.254,
              0.2804,
              0.3126,
              0.3483,
              0.3925
            ],
            [
              0.0916,
              0.2122,
              0.2314,
              0.2538,
              0.2806,
              0.3116,
              0.3487,
              0.3925
            ],
            [
              0.0915,
              0.2121,
              0.2318,
              0.2539,
              0.2805,
              0.3125,
              0.3485,
              0.3925
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05407,
              0.53923,
              0.63651,
              0.75273,
              0.89436,
              1.06141,
              1.26309,
              1.50499
            ],
            [
              0.05401,
              0.53951,
              0.63675,
              0.75257,
              0.89276,
              1.06259,
              1.26214,
              1.50555
            ],
            [
              0.05405,
              0.5395,
              0.63649,
              0.75369,
              0.89344,
              1.06122,
              1.26332,
              1.50467
            ],
            [
              0.05414,
              0.53955,
              0.63677,
              0.75269,
              0.89295,
              1.06224,
              1.26175,
              1.5056
            ],
            [
              0.05409,
              0.53935,
              0.63626,
              0.75368,
              0.89377,
              1.06075,
              1.26353,
              1.50453
            ],
            [
              0.05406,
              0.53946,
              0.63652,
              0.75343,
              0.89292,
              1.0626,
              1.2626,
              1.50515
            ],
            [
              0.05408,
              0.53948,
              0.63649,
              0.75278,
              0.89268,
              1.0628,
              1.26255,
              1.505
            ],
            [
              0.05406,
              0.53964,
              0.63674,
              0.75321,
              0.89293,
              1.0619,
              1.26212,
              1.50557
            ],
            [
              0.05398,
              0.5396,
              0.63664,
              0.75264,
              0.89378,
              1.06054,
              1.26332,
              1.50386
            ],
            [
              0.055,
              0.53933,
              0.63647,
              0.75316,
              0.89333,
              1.0619,
              1.2623,
              1.5051
            ],
            [
              0.05633,
              0.5387,
              0.6364,
              0.7529,
              0.8936,
              1.0609,
              1.2633,
              1.5038
            ],
            [
              0.058,
              0.5395,
              0.6366,
              0.7523,
              0.8933,
              1.0607,
              1.2627,
              1.5044
            ],
            [
              0.0607,
              0.5395,
              0.6367,
              0.7529,
              0.8929,
              1.0606,
              1.2624,
              1.5043
            ]
          ]
        },
        "sdf_cond": "(!B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.66923,
              0.81944,
              0.83926,
              0.8619,
              0.88792,
              0.91779,
              0.95225,
              0.99237
            ],
            [
              0.67305,
              0.82319,
              0.84302,
              0.86561,
              0.89185,
              0.92149,
              0.95603,
              0.99614
            ],
            [
              0.67768,
              0.82784,
              0.84766,
              0.8703,
              0.89631,
              0.92617,
              0.96063,
              1.00072
            ],
            [
              0.68458,
              0.83466,
              0.85447,
              0.87711,
              0.90312,
              0.93298,
              0.96744,
              1.00758
            ],
            [
              0.69462,
              0.84467,
              0.8645,
              0.88717,
              0.91322,
              0.94313,
              0.97761,
              1.01771
            ],
            [
              0.70881,
              0.85891,
              0.87872,
              0.90137,
              0.92742,
              0.95722,
              0.99172,
              1.03182
            ],
            [
              0.72902,
              0.879,
              0.89883,
              0.92153,
              0.94753,
              0.97743,
              1.01193,
              1.05203
            ],
            [
              0.75822,
              0.90826,
              0.92806,
              0.95066,
              0.97666,
              1.00656,
              1.04106,
              1.08116
            ],
            [
              0.80195,
              0.95205,
              0.97185,
              0.99445,
              1.02055,
              1.05035,
              1.08485,
              1.12495
            ],
            [
              0.86649,
              1.01639,
              1.03629,
              1.05889,
              1.08499,
              1.11489,
              1.14929,
              1.18949
            ],
            [
              0.95742,
              1.10732,
              1.12712,
              1.14972,
              1.17572,
              1.20582,
              1.24032,
              1.28052
            ],
            [
              1.08257,
              1.23197,
              1.25177,
              1.27437,
              1.30047,
              1.33037,
              1.36477,
              1.40497
            ],
            [
              1.2531,
              1.4017,
              1.4215,
              1.4441,
              1.4701,
              1.5,
              1.5344,
              1.5745
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              1.10737,
              1.45817,
              1.53077,
              1.61767,
              1.72217,
              1.84807,
              1.99807,
              2.17927
            ],
            [
              1.10914,
              1.46024,
              1.53244,
              1.61944,
              1.72444,
              1.84994,
              1.99994,
              2.18114
            ],
            [
              1.11202,
              1.46302,
              1.53552,
              1.62222,
              1.72732,
              1.85282,
              2.00292,
              2.18392
            ],
            [
              1.11708,
              1.46808,
              1.54058,
              1.62728,
              1.73247,
              1.85798,
              2.00798,
              2.18917
            ],
            [
              1.12571,
              1.47671,
              1.54911,
              1.63581,
              1.74101,
              1.86651,
              2.01651,
              2.19801
            ],
            [
              1.14002,
              1.49112,
              1.56352,
              1.65052,
              1.75502,
              1.88092,
              2.03092,
              2.21212
            ],
            [
              1.16303,
              1.51403,
              1.58633,
              1.67343,
              1.77843,
              1.90393,
              2.05403,
              2.23563
            ],
            [
              1.19906,
              1.54996,
              1.62226,
              1.70926,
              1.81386,
              1.94006,
              2.09066,
              2.27146
            ],
            [
              1.25375,
              1.60485,
              1.67705,
              1.76385,
              1.86905,
              1.99455,
              2.14455,
              2.32565
            ],
            [
              1.33589,
              1.68669,
              1.75889,
              1.84589,
              1.95109,
              2.07659,
              2.22659,
              2.40769
            ],
            [
              1.46002,
              1.81082,
              1.88332,
              1.96992,
              2.07482,
              2.20062,
              2.35072,
              2.53192
            ],
            [
              1.64557,
              1.99627,
              2.06857,
              2.15577,
              2.26077,
              2.38627,
              2.53627,
              2.71777
            ],
            [
              1.9254,
              2.2761,
              2.3486,
              2.4355,
              2.5401,
              2.6662,
              2.8162,
              2.9975
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06089,
              0.16882,
              0.18745,
              0.20841,
              0.23407,
              0.26452,
              0.30124,
              0.34614
            ],
            [
              0.06087,
              0.16931,
              0.1869,
              0.20851,
              0.23396,
              0.26464,
              0.30151,
              0.3462
            ],
            [
              0.06093,
              0.16884,
              0.18702,
              0.20844,
              0.23403,
              0.2645,
              0.30121,
              0.34612
            ],
            [
              0.06084,
              0.16885,
              0.18698,
              0.20841,
              0.23408,
              0.26445,
              0.30126,
              0.34617
            ],
            [
              0.06088,
              0.16894,
              0.18694,
              0.20857,
              0.23407,
              0.2646,
              0.30115,
              0.34561
            ],
            [
              0.06088,
              0.16887,
              0.18709,
              0.2084,
              0.23406,
              0.26452,
              0.30123,
              0.34614
            ],
            [
              0.06087,
              0.16883,
              0.18703,
              0.20868,
              0.23408,
              0.26461,
              0.30115,
              0.34562
            ],
            [
              0.06091,
              0.16881,
              0.18703,
              0.2084,
              0.2341,
              0.2645,
              0.3013,
              0.3462
            ],
            [
              0.061,
              0.1689,
              0.187,
              0.2085,
              0.2341,
              0.2644,
              0.3012,
              0.3462
            ],
            [
              0.0609,
              0.1687,
              0.1871,
              0.2089,
              0.2341,
              0.2646,
              0.3011,
              0.3456
            ],
            [
              0.0609,
              0.1693,
              0.1869,
              0.2085,
              0.2342,
              0.2645,
              0.3013,
              0.3458
            ],
            [
              0.0609,
              0.1694,
              0.187,
              0.2085,
              0.234,
              0.2647,
              0.3012,
              0.3456
            ],
            [
              0.0605,
              0.1689,
              0.1871,
              0.2084,
              0.2341,
              0.2646,
              0.3013,
              0.3456
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.0604,
              0.5391,
              0.6354,
              0.752,
              0.8922,
              1.0592,
              1.2601,
              1.502
            ],
            [
              0.0603,
              0.5389,
              0.6357,
              0.7521,
              0.8921,
              1.0597,
              1.2606,
              1.5016
            ],
            [
              0.0604,
              0.539,
              0.6355,
              0.7519,
              0.892,
              1.059,
              1.2604,
              1.5026
            ],
            [
              0.0604,
              0.5391,
              0.6353,
              0.752,
              0.8921,
              1.0595,
              1.2606,
              1.5013
            ],
            [
              0.0603,
              0.539,
              0.6356,
              0.7521,
              0.892,
              1.0594,
              1.2605,
              1.5023
            ],
            [
              0.0604,
              0.5391,
              0.6355,
              0.7521,
              0.8922,
              1.0593,
              1.2601,
              1.502
            ],
            [
              0.0604,
              0.5392,
              0.6352,
              0.7512,
              0.892,
              1.0592,
              1.2603,
              1.5025
            ],
            [
              0.0603,
              0.539,
              0.6358,
              0.7516,
              0.8921,
              1.0598,
              1.261,
              1.502
            ],
            [
              0.0603,
              0.539,
              0.6354,
              0.752,
              0.8921,
              1.0595,
              1.2605,
              1.5027
            ],
            [
              0.0604,
              0.5392,
              0.6355,
              0.752,
              0.8921,
              1.059,
              1.2605,
              1.5027
            ],
            [
              0.0604,
              0.5389,
              0.6355,
              0.752,
              0.8921,
              1.0593,
              1.2602,
              1.5019
            ],
            [
              0.0605,
              0.5387,
              0.6352,
              0.7517,
              0.8921,
              1.0596,
              1.2604,
              1.5025
            ],
            [
              0.0605,
              0.539,
              0.6352,
              0.7521,
              0.8925,
              1.0599,
              1.2605,
              1.5018
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!B&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.59956,
              0.77001,
              0.79397,
              0.82111,
              0.85078,
              0.88472,
              0.92301,
              0.96673
            ],
            [
              0.60325,
              0.77376,
              0.79778,
              0.82465,
              0.85481,
              0.88871,
              0.92697,
              0.97067
            ],
            [
              0.60768,
              0.77817,
              0.80217,
              0.82905,
              0.85923,
              0.89314,
              0.93139,
              0.97509
            ],
            [
              0.61416,
              0.78456,
              0.80859,
              0.83545,
              0.86565,
              0.89956,
              0.93781,
              0.98147
            ],
            [
              0.62354,
              0.794,
              0.81804,
              0.8449,
              0.87503,
              0.90893,
              0.94718,
              0.99091
            ],
            [
              0.6371,
              0.80754,
              0.83158,
              0.85844,
              0.88856,
              0.92246,
              0.96072,
              1.00442
            ],
            [
              0.65693,
              0.82725,
              0.85126,
              0.87813,
              0.90833,
              0.94223,
              0.98043,
              1.02413
            ],
            [
              0.68596,
              0.85616,
              0.88006,
              0.90696,
              0.93716,
              0.97106,
              1.00936,
              1.05306
            ],
            [
              0.72968,
              0.90005,
              0.92395,
              0.95085,
              0.98095,
              1.01475,
              1.05305,
              1.09675
            ],
            [
              0.79409,
              0.96439,
              0.98849,
              1.01529,
              1.04529,
              1.07919,
              1.11749,
              1.16119
            ],
            [
              0.88492,
              1.05492,
              1.07892,
              1.10582,
              1.13602,
              1.16992,
              1.20822,
              1.25192
            ],
            [
              1.00987,
              1.17967,
              1.20367,
              1.23057,
              1.26067,
              1.29457,
              1.33277,
              1.37647
            ],
            [
              1.1808,
              1.3494,
              1.3734,
              1.4001,
              1.4302,
              1.464,
              1.5023,
              1.5458
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              1.06947,
              1.41887,
              1.49147,
              1.57817,
              1.68327,
              1.80917,
              1.95947,
              2.14047
            ],
            [
              1.07164,
              1.42094,
              1.49334,
              1.58034,
              1.68534,
              1.81124,
              1.96144,
              2.14264
            ],
            [
              1.07482,
              1.42422,
              1.49652,
              1.58342,
              1.68862,
              1.81452,
              1.96472,
              2.14552
            ],
            [
              1.08018,
              1.42958,
              1.50198,
              1.58898,
              1.69398,
              1.81987,
              1.97008,
              2.15127
            ],
            [
              1.08931,
              1.43871,
              1.51111,
              1.59821,
              1.70321,
              1.82891,
              1.97961,
              2.16041
            ],
            [
              1.10402,
              1.45352,
              1.52572,
              1.61282,
              1.71812,
              1.84372,
              1.99392,
              2.17512
            ],
            [
              1.12793,
              1.47713,
              1.54983,
              1.63663,
              1.74163,
              1.86763,
              2.01783,
              2.19863
            ],
            [
              1.16526,
              1.51476,
              1.58696,
              1.67406,
              1.77916,
              1.90476,
              2.05496,
              2.23656
            ],
            [
              1.22245,
              1.57185,
              1.64405,
              1.73105,
              1.83635,
              1.96195,
              2.11275,
              2.29325
            ],
            [
              1.30809,
              1.65749,
              1.72969,
              1.81669,
              1.92199,
              2.04759,
              2.19769,
              2.37899
            ],
            [
              1.43522,
              1.78432,
              1.85682,
              1.94392,
              2.04862,
              2.17472,
              2.32492,
              2.50592
            ],
            [
              1.62277,
              1.97187,
              2.04437,
              2.13147,
              2.23617,
              2.36227,
              2.51247,
              2.69337
            ],
            [
              1.9029,
              2.2522,
              2.3245,
              2.4114,
              2.5166,
              2.6422,
              2.7929,
              2.9743
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06306,
              0.19753,
              0.21782,
              0.24064,
              0.26777,
              0.29848,
              0.33436,
              0.37668
            ],
            [
              0.06306,
              0.19742,
              0.21765,
              0.24075,
              0.26749,
              0.29826,
              0.3341,
              0.37648
            ],
            [
              0.06308,
              0.19732,
              0.21763,
              0.24081,
              0.26748,
              0.29821,
              0.33414,
              0.3765
            ],
            [
              0.06309,
              0.19743,
              0.21762,
              0.24088,
              0.26741,
              0.29813,
              0.33406,
              0.37648
            ],
            [
              0.06307,
              0.19711,
              0.21786,
              0.24061,
              0.26737,
              0.29815,
              0.33391,
              0.37639
            ],
            [
              0.06308,
              0.19707,
              0.21787,
              0.24058,
              0.26733,
              0.29811,
              0.33388,
              0.37647
            ],
            [
              0.06313,
              0.1973,
              0.21761,
              0.24079,
              0.26738,
              0.2981,
              0.33403,
              0.37642
            ],
            [
              0.06304,
              0.19738,
              0.21811,
              0.24136,
              0.26743,
              0.29871,
              0.33398,
              0.3766
            ],
            [
              0.063,
              0.1971,
              0.218,
              0.2406,
              0.2675,
              0.2982,
              0.3342,
              0.3763
            ],
            [
              0.0632,
              0.197,
              0.218,
              0.2406,
              0.2674,
              0.2982,
              0.3342,
              0.3766
            ],
            [
              0.0631,
              0.1974,
              0.2176,
              0.2408,
              0.2674,
              0.2981,
              0.3341,
              0.3763
            ],
            [
              0.0631,
              0.1972,
              0.2174,
              0.2405,
              0.2673,
              0.298,
              0.334,
              0.3763
            ],
            [
              0.0627,
              0.1967,
              0.2174,
              0.2402,
              0.267,
              0.2979,
              0.3338,
              0.3763
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.0571,
              0.5399,
              0.6366,
              0.7521,
              0.8926,
              1.0607,
              1.2609,
              1.5042
            ],
            [
              0.057,
              0.54,
              0.6374,
              0.7528,
              0.8927,
              1.0605,
              1.2604,
              1.5029
            ],
            [
              0.057,
              0.5401,
              0.6368,
              0.7522,
              0.8923,
              1.0606,
              1.2606,
              1.5018
            ],
            [
              0.0571,
              0.5399,
              0.6382,
              0.7529,
              0.8928,
              1.0605,
              1.2604,
              1.5029
            ],
            [
              0.057,
              0.5403,
              0.6365,
              0.753,
              0.8929,
              1.0604,
              1.2614,
              1.5025
            ],
            [
              0.0571,
              0.54,
              0.6362,
              0.7526,
              0.8931,
              1.0604,
              1.2605,
              1.5029
            ],
            [
              0.0571,
              0.5401,
              0.6364,
              0.7538,
              0.8926,
              1.0603,
              1.2607,
              1.5024
            ],
            [
              0.0571,
              0.5401,
              0.6369,
              0.7528,
              0.8931,
              1.0597,
              1.2617,
              1.5035
            ],
            [
              0.0571,
              0.5401,
              0.6365,
              0.7529,
              0.8931,
              1.0605,
              1.2615,
              1.5028
            ],
            [
              0.057,
              0.5401,
              0.6365,
              0.7527,
              0.8931,
              1.0604,
              1.2611,
              1.5028
            ],
            [
              0.0571,
              0.5402,
              0.6365,
              0.7528,
              0.893,
              1.0604,
              1.2607,
              1.5026
            ],
            [
              0.0571,
              0.5402,
              0.6366,
              0.7528,
              0.8929,
              1.0604,
              1.2608,
              1.5026
            ],
            [
              0.0571,
              0.5403,
              0.6368,
              0.7528,
              0.8931,
              1.0616,
              1.2613,
              1.5034
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(B&!CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.69644,
              0.85363,
              0.87422,
              0.89756,
              0.92433,
              0.95493,
              0.99011,
              1.03087
            ],
            [
              0.69848,
              0.85575,
              0.87632,
              0.8997,
              0.92646,
              0.95702,
              0.99214,
              1.03294
            ],
            [
              0.70203,
              0.85923,
              0.87985,
              0.90323,
              0.92999,
              0.96061,
              0.99572,
              1.03662
            ],
            [
              0.70822,
              0.86543,
              0.88606,
              0.90944,
              0.9362,
              0.96681,
              1.00198,
              1.04278
            ],
            [
              0.71834,
              0.87565,
              0.89623,
              0.91961,
              0.94638,
              0.97691,
              1.01211,
              1.05281
            ],
            [
              0.73442,
              0.89164,
              0.91227,
              0.93572,
              0.96242,
              0.99302,
              1.02822,
              1.06902
            ],
            [
              0.75953,
              0.91673,
              0.93733,
              0.96073,
              0.98753,
              1.01813,
              1.05333,
              1.09413
            ],
            [
              0.798,
              0.95526,
              0.97586,
              0.99916,
              1.02596,
              1.05646,
              1.09166,
              1.13246
            ],
            [
              0.85645,
              1.01365,
              1.03425,
              1.05765,
              1.08445,
              1.11495,
              1.15015,
              1.19085
            ],
            [
              0.94349,
              1.10059,
              1.12129,
              1.14469,
              1.17139,
              1.20199,
              1.23719,
              1.27799
            ],
            [
              1.07222,
              1.22932,
              1.24992,
              1.27332,
              1.30012,
              1.33062,
              1.36582,
              1.40662
            ],
            [
              1.26167,
              1.41877,
              1.43937,
              1.46277,
              1.48947,
              1.52007,
              1.55527,
              1.59607
            ],
            [
              1.5443,
              1.7013,
              1.7219,
              1.7453,
              1.7721,
              1.8028,
              1.8379,
              1.8788
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.22404,
              0.60089,
              0.67415,
              0.76178,
              0.86689,
              0.99237,
              1.14247,
              1.32387
            ],
            [
              0.22697,
              0.60441,
              0.67664,
              0.76406,
              0.86925,
              0.99524,
              1.14574,
              1.32634
            ],
            [
              0.23095,
              0.60794,
              0.68116,
              0.76882,
              0.87392,
              0.99932,
              1.14942,
              1.33092
            ],
            [
              0.2371,
              0.61445,
              0.68712,
              0.77465,
              0.87994,
              1.00487,
              1.15628,
              1.33587
            ],
            [
              0.24613,
              0.62358,
              0.69617,
              0.78367,
              0.88895,
              1.01431,
              1.16541,
              1.34531
            ],
            [
              0.25919,
              0.63651,
              0.70965,
              0.79731,
              0.90243,
              1.02772,
              1.17832,
              1.35952
            ],
            [
              0.27818,
              0.65535,
              0.72835,
              0.81604,
              0.92143,
              1.04623,
              1.19783,
              1.37773
            ],
            [
              0.30586,
              0.6833,
              0.75629,
              0.84306,
              0.94816,
              1.07496,
              1.22516,
              1.40646
            ],
            [
              0.34672,
              0.72394,
              0.79735,
              0.88515,
              0.99035,
              1.11575,
              1.26645,
              1.44825
            ],
            [
              0.40637,
              0.78399,
              0.85689,
              0.94429,
              1.05019,
              1.17589,
              1.32649,
              1.50839
            ],
            [
              0.48932,
              0.86822,
              0.94092,
              1.02912,
              1.13422,
              1.26082,
              1.41092,
              1.59302
            ],
            [
              0.60397,
              0.98447,
              1.05767,
              1.14527,
              1.25057,
              1.37707,
              1.52767,
              1.70977
            ],
            [
              0.7613,
              1.144,
              1.2174,
              1.3049,
              1.4102,
              1.5365,
              1.6877,
              1.8692
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06433,
              0.17312,
              0.19132,
              0.21301,
              0.23913,
              0.26945,
              0.30584,
              0.35033
            ],
            [
              0.06421,
              0.17307,
              0.19127,
              0.21293,
              0.23875,
              0.2694,
              0.30609,
              0.35066
            ],
            [
              0.0642,
              0.17314,
              0.19136,
              0.21345,
              0.23864,
              0.26918,
              0.306,
              0.35082
            ],
            [
              0.06417,
              0.17315,
              0.19139,
              0.213,
              0.23867,
              0.26921,
              0.30603,
              0.35076
            ],
            [
              0.0642,
              0.17355,
              0.19121,
              0.21298,
              0.23871,
              0.26936,
              0.30616,
              0.35062
            ],
            [
              0.06417,
              0.17312,
              0.19142,
              0.21283,
              0.23871,
              0.26912,
              0.30605,
              0.35069
            ],
            [
              0.06433,
              0.17309,
              0.19132,
              0.21303,
              0.2386,
              0.26942,
              0.3059,
              0.3504
            ],
            [
              0.0642,
              0.1731,
              0.1913,
              0.213,
              0.2388,
              0.2695,
              0.3062,
              0.3506
            ],
            [
              0.0642,
              0.1732,
              0.1913,
              0.213,
              0.2388,
              0.2695,
              0.3062,
              0.3507
            ],
            [
              0.0643,
              0.1731,
              0.1914,
              0.2129,
              0.2386,
              0.2693,
              0.306,
              0.3506
            ],
            [
              0.0642,
              0.1732,
              0.1913,
              0.213,
              0.2388,
              0.2695,
              0.3062,
              0.3507
            ],
            [
              0.0643,
              0.1731,
              0.1913,
              0.213,
              0.2387,
              0.2694,
              0.3061,
              0.3507
            ],
            [
              0.0644,
              0.1732,
              0.1914,
              0.2135,
              0.2387,
              0.2692,
              0.306,
              0.3508
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05824,
              0.54146,
              0.63814,
              0.75418,
              0.89449,
              1.06345,
              1.2646,
              1.50695
            ],
            [
              0.05827,
              0.54037,
              0.63895,
              0.75492,
              0.89536,
              1.06266,
              1.26529,
              1.507
            ],
            [
              0.05823,
              0.54152,
              0.63809,
              0.7541,
              0.8945,
              1.06346,
              1.2647,
              1.50694
            ],
            [
              0.05825,
              0.541,
              0.63848,
              0.75471,
              0.8952,
              1.06338,
              1.2646,
              1.50758
            ],
            [
              0.05825,
              0.54087,
              0.63864,
              0.75485,
              0.89523,
              1.06311,
              1.2649,
              1.50735
            ],
            [
              0.05822,
              0.54173,
              0.63798,
              0.75423,
              0.89417,
              1.06363,
              1.26429,
              1.50734
            ],
            [
              0.05821,
              0.54125,
              0.63827,
              0.7546,
              0.89498,
              1.06358,
              1.26402,
              1.50775
            ],
            [
              0.05819,
              0.54075,
              0.63818,
              0.755,
              0.89536,
              1.06256,
              1.26544,
              1.5067
            ],
            [
              0.05821,
              0.54165,
              0.63795,
              0.75424,
              0.89455,
              1.06373,
              1.26497,
              1.506
            ],
            [
              0.05874,
              0.5409,
              0.63825,
              0.7547,
              0.8946,
              1.0637,
              1.2647,
              1.5054
            ],
            [
              0.0604,
              0.541,
              0.6382,
              0.7546,
              0.8954,
              1.0627,
              1.2653,
              1.5055
            ],
            [
              0.0623,
              0.5411,
              0.6382,
              0.7547,
              0.8952,
              1.0626,
              1.2653,
              1.5051
            ],
            [
              0.065,
              0.5414,
              0.6388,
              0.7549,
              0.8953,
              1.0624,
              1.2641,
              1.5066
            ]
          ]
        },
        "sdf_cond": "(B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.97156,
              1.16687,
              1.19117,
              1.21847,
              1.24937,
              1.28427,
              1.32377,
              1.36877
            ],
            [
              0.9722,
              1.16754,
              1.19184,
              1.21924,
              1.25004,
              1.28494,
              1.32444,
              1.36944
            ],
            [
              0.9742,
              1.16962,
              1.19392,
              1.22122,
              1.25212,
              1.28692,
              1.32642,
              1.37162
            ],
            [
              0.97828,
              1.17368,
              1.19798,
              1.22538,
              1.25618,
              1.29108,
              1.33058,
              1.37567
            ],
            [
              0.98561,
              1.18101,
              1.20541,
              1.23271,
              1.26361,
              1.29851,
              1.33801,
              1.38311
            ],
            [
              0.99922,
              1.19462,
              1.21902,
              1.24632,
              1.27672,
              1.31152,
              1.35112,
              1.39612
            ],
            [
              1.02103,
              1.21633,
              1.24063,
              1.26803,
              1.29893,
              1.33383,
              1.37333,
              1.41843
            ],
            [
              1.05636,
              1.25166,
              1.27596,
              1.30336,
              1.33426,
              1.36906,
              1.40856,
              1.45366
            ],
            [
              1.11035,
              1.30565,
              1.32995,
              1.35725,
              1.38815,
              1.42295,
              1.46245,
              1.50765
            ],
            [
              1.19219,
              1.38739,
              1.41179,
              1.43909,
              1.46999,
              1.50479,
              1.54439,
              1.58939
            ],
            [
              1.31452,
              1.50972,
              1.53412,
              1.56142,
              1.59232,
              1.62722,
              1.66672,
              1.71182
            ],
            [
              1.49777,
              1.69287,
              1.71727,
              1.74457,
              1.77547,
              1.81047,
              1.84997,
              1.89507
            ],
            [
              1.7724,
              1.9675,
              1.9918,
              2.0192,
              2.0501,
              2.085,
              2.1245,
              2.1697
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.16884,
              0.54609,
              0.61915,
              0.70679,
              0.81153,
              0.93804,
              1.08887,
              1.27037
            ],
            [
              0.17306,
              0.55012,
              0.62308,
              0.71108,
              0.81619,
              0.94238,
              1.09304,
              1.27454
            ],
            [
              0.17816,
              0.5556,
              0.62856,
              0.71629,
              0.82157,
              0.9475,
              1.09842,
              1.27962
            ],
            [
              0.18574,
              0.5632,
              0.63624,
              0.72398,
              0.82864,
              0.95549,
              1.10537,
              1.28778
            ],
            [
              0.19686,
              0.57422,
              0.64707,
              0.73522,
              0.84046,
              0.96651,
              1.11731,
              1.29881
            ],
            [
              0.21273,
              0.59036,
              0.66354,
              0.7507,
              0.85654,
              0.98212,
              1.13372,
              1.31352
            ],
            [
              0.23528,
              0.61223,
              0.68572,
              0.77358,
              0.87872,
              1.00513,
              1.15603,
              1.33683
            ],
            [
              0.26747,
              0.64446,
              0.7174,
              0.80566,
              0.91066,
              1.03746,
              1.18766,
              1.36966
            ],
            [
              0.31387,
              0.69035,
              0.76405,
              0.85135,
              0.95745,
              1.08285,
              1.23485,
              1.41535
            ],
            [
              0.37918,
              0.75599,
              0.82889,
              0.91709,
              1.02199,
              1.14909,
              1.29969,
              1.48119
            ],
            [
              0.46802,
              0.84492,
              0.91862,
              1.00602,
              1.11212,
              1.23842,
              1.38892,
              1.57112
            ],
            [
              0.58887,
              0.96697,
              1.04037,
              1.12777,
              1.23367,
              1.36027,
              1.51097,
              1.69297
            ],
            [
              0.7524,
              1.1325,
              1.2055,
              1.2931,
              1.3986,
              1.525,
              1.6759,
              1.8579
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.0918,
              0.2125,
              0.2318,
              0.2545,
              0.2808,
              0.3122,
              0.3496,
              0.393
            ],
            [
              0.09184,
              0.2124,
              0.2317,
              0.2544,
              0.2809,
              0.3124,
              0.3489,
              0.3931
            ],
            [
              0.09183,
              0.2124,
              0.2322,
              0.2543,
              0.281,
              0.3122,
              0.3491,
              0.3931
            ],
            [
              0.09181,
              0.2126,
              0.2318,
              0.2545,
              0.2808,
              0.3122,
              0.3491,
              0.3931
            ],
            [
              0.09178,
              0.2125,
              0.2318,
              0.2543,
              0.281,
              0.3122,
              0.3494,
              0.3931
            ],
            [
              0.0918,
              0.2124,
              0.2319,
              0.2544,
              0.2809,
              0.3124,
              0.3489,
              0.3931
            ],
            [
              0.0919,
              0.2125,
              0.2318,
              0.2542,
              0.2811,
              0.3121,
              0.3492,
              0.3929
            ],
            [
              0.0918,
              0.2125,
              0.2318,
              0.2544,
              0.2809,
              0.3123,
              0.3489,
              0.3931
            ],
            [
              0.0919,
              0.2124,
              0.2322,
              0.2543,
              0.281,
              0.3124,
              0.3491,
              0.393
            ],
            [
              0.0918,
              0.2124,
              0.2318,
              0.2544,
              0.2808,
              0.3124,
              0.3489,
              0.3931
            ],
            [
              0.0919,
              0.2127,
              0.2318,
              0.255,
              0.2807,
              0.3122,
              0.349,
              0.3931
            ],
            [
              0.0918,
              0.2126,
              0.2319,
              0.2544,
              0.2809,
              0.3122,
              0.3498,
              0.3931
            ],
            [
              0.0919,
              0.2126,
              0.2323,
              0.2545,
              0.281,
              0.3122,
              0.3491,
              0.3938
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05377,
              0.53829,
              0.63531,
              0.75228,
              0.8933,
              1.05953,
              1.26332,
              1.50387
            ],
            [
              0.05375,
              0.53863,
              0.6358,
              0.75183,
              0.89326,
              1.06032,
              1.26305,
              1.50344
            ],
            [
              0.05383,
              0.53812,
              0.63547,
              0.75223,
              0.89305,
              1.06039,
              1.26283,
              1.50356
            ],
            [
              0.05385,
              0.53837,
              0.6355,
              0.75238,
              0.89325,
              1.06072,
              1.26273,
              1.50379
            ],
            [
              0.05391,
              0.53889,
              0.63596,
              0.75179,
              0.89321,
              1.06015,
              1.26284,
              1.50296
            ],
            [
              0.05394,
              0.53869,
              0.63577,
              0.7526,
              0.89203,
              1.06125,
              1.26174,
              1.5044
            ],
            [
              0.054,
              0.53891,
              0.63564,
              0.75257,
              0.89256,
              1.06111,
              1.2616,
              1.50467
            ],
            [
              0.05405,
              0.53895,
              0.63598,
              0.75229,
              0.89298,
              1.06074,
              1.2622,
              1.50451
            ],
            [
              0.05412,
              0.53899,
              0.63565,
              0.75258,
              0.89262,
              1.06085,
              1.26232,
              1.50407
            ],
            [
              0.05504,
              0.53894,
              0.63598,
              0.75242,
              0.8927,
              1.061,
              1.2622,
              1.5046
            ],
            [
              0.05651,
              0.5387,
              0.6361,
              0.7524,
              0.8929,
              1.0604,
              1.2623,
              1.5044
            ],
            [
              0.0585,
              0.5387,
              0.6359,
              0.752,
              0.8926,
              1.0608,
              1.2615,
              1.5046
            ],
            [
              0.0616,
              0.5387,
              0.6358,
              0.7524,
              0.8927,
              1.0601,
              1.2609,
              1.5035
            ]
          ]
        },
        "sdf_cond": "(!A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.76649,
              0.92238,
              0.94258,
              0.96562,
              0.99207,
              1.02237,
              1.05737,
              1.09787
            ],
            [
              0.77086,
              0.92654,
              0.94681,
              0.96984,
              0.99634,
              1.02664,
              1.06154,
              1.10214
            ],
            [
              0.77602,
              0.93215,
              0.95235,
              0.97539,
              1.00182,
              1.03212,
              1.06712,
              1.10772
            ],
            [
              0.78344,
              0.93946,
              0.95971,
              0.98277,
              1.00918,
              1.03948,
              1.07448,
              1.11508
            ],
            [
              0.79427,
              0.95003,
              0.97021,
              0.99331,
              1.01971,
              1.05001,
              1.08501,
              1.12561
            ],
            [
              0.80851,
              0.96412,
              0.98432,
              1.00742,
              1.03392,
              1.06422,
              1.09912,
              1.13982
            ],
            [
              0.82774,
              0.98303,
              1.00323,
              1.02633,
              1.05273,
              1.08313,
              1.11803,
              1.15863
            ],
            [
              0.85366,
              1.00846,
              1.02866,
              1.05166,
              1.07816,
              1.10856,
              1.14356,
              1.18416
            ],
            [
              0.89285,
              1.04755,
              1.06785,
              1.09085,
              1.11735,
              1.14765,
              1.18265,
              1.22325
            ],
            [
              0.95369,
              1.10829,
              1.12859,
              1.15159,
              1.17809,
              1.20849,
              1.24339,
              1.28409
            ],
            [
              1.04242,
              1.19672,
              1.21702,
              1.24012,
              1.26652,
              1.29692,
              1.33192,
              1.37252
            ],
            [
              1.16687,
              1.32077,
              1.34097,
              1.36407,
              1.39047,
              1.42087,
              1.45577,
              1.49637
            ],
            [
              1.34,
              1.4928,
              1.5129,
              1.536,
              1.5625,
              1.5927,
              1.6277,
              1.6683
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              1.10137,
              1.45247,
              1.52477,
              1.61157,
              1.71637,
              1.84237,
              1.99287,
              2.17347
            ],
            [
              1.10374,
              1.45504,
              1.52744,
              1.61424,
              1.71934,
              1.84484,
              1.99494,
              2.17654
            ],
            [
              1.10622,
              1.45732,
              1.52962,
              1.61672,
              1.72132,
              1.84732,
              1.99762,
              2.17912
            ],
            [
              1.11008,
              1.46138,
              1.53368,
              1.62058,
              1.72578,
              1.85108,
              2.00157,
              2.18227
            ],
            [
              1.11671,
              1.46781,
              1.54041,
              1.62711,
              1.73191,
              1.85791,
              2.00861,
              2.18941
            ],
            [
              1.12742,
              1.47882,
              1.55102,
              1.63792,
              1.74292,
              1.86872,
              2.01872,
              2.19952
            ],
            [
              1.14613,
              1.49733,
              1.56983,
              1.65663,
              1.76123,
              1.88713,
              2.03753,
              2.21813
            ],
            [
              1.17676,
              1.52796,
              1.60036,
              1.68726,
              1.79196,
              1.91786,
              2.06836,
              2.24886
            ],
            [
              1.22685,
              1.57785,
              1.65025,
              1.73715,
              1.84235,
              1.96785,
              2.11795,
              2.29935
            ],
            [
              1.30569,
              1.65679,
              1.72899,
              1.81589,
              1.92109,
              2.04649,
              2.19689,
              2.37829
            ],
            [
              1.43032,
              1.78142,
              1.85372,
              1.94032,
              2.04552,
              2.17132,
              2.32122,
              2.50252
            ],
            [
              1.61937,
              1.97037,
              2.04267,
              2.12957,
              2.23427,
              2.36027,
              2.51067,
              2.69177
            ],
            [
              1.9072,
              2.2581,
              2.3306,
              2.4175,
              2.5223,
              2.6481,
              2.7981,
              2.9788
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06417,
              0.17322,
              0.19142,
              0.21311,
              0.2388,
              0.26937,
              0.30618,
              0.35022
            ],
            [
              0.06422,
              0.17335,
              0.19146,
              0.21305,
              0.23885,
              0.26943,
              0.30623,
              0.35065
            ],
            [
              0.06421,
              0.17331,
              0.1915,
              0.21308,
              0.23888,
              0.26946,
              0.30614,
              0.35064
            ],
            [
              0.06422,
              0.17317,
              0.19151,
              0.21308,
              0.23889,
              0.26948,
              0.30619,
              0.35072
            ],
            [
              0.06417,
              0.1733,
              0.1915,
              0.2131,
              0.23892,
              0.26993,
              0.30631,
              0.35095
            ],
            [
              0.06419,
              0.17331,
              0.19139,
              0.21306,
              0.23873,
              0.26928,
              0.3061,
              0.3507
            ],
            [
              0.06417,
              0.1733,
              0.1914,
              0.213,
              0.2388,
              0.2692,
              0.3061,
              0.3506
            ],
            [
              0.06418,
              0.1733,
              0.1921,
              0.2136,
              0.2388,
              0.2693,
              0.306,
              0.3509
            ],
            [
              0.0643,
              0.1733,
              0.1914,
              0.2131,
              0.2387,
              0.2693,
              0.3061,
              0.3507
            ],
            [
              0.0642,
              0.1733,
              0.1914,
              0.213,
              0.2388,
              0.2692,
              0.3061,
              0.3507
            ],
            [
              0.0643,
              0.1733,
              0.1916,
              0.2129,
              0.2388,
              0.2692,
              0.3061,
              0.3508
            ],
            [
              0.0642,
              0.1733,
              0.1914,
              0.2131,
              0.2388,
              0.2693,
              0.3061,
              0.3506
            ],
            [
              0.0637,
              0.1727,
              0.1911,
              0.2126,
              0.2383,
              0.269,
              0.3054,
              0.3505
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.0603,
              0.5391,
              0.6358,
              0.7515,
              0.8921,
              1.0595,
              1.2603,
              1.5027
            ],
            [
              0.0604,
              0.5391,
              0.6353,
              0.7525,
              0.8922,
              1.0593,
              1.2599,
              1.5024
            ],
            [
              0.0604,
              0.5392,
              0.6353,
              0.7518,
              0.8921,
              1.0593,
              1.2597,
              1.5025
            ],
            [
              0.0604,
              0.5392,
              0.6358,
              0.752,
              0.8922,
              1.06,
              1.2597,
              1.5017
            ],
            [
              0.0604,
              0.5392,
              0.6355,
              0.7515,
              0.8924,
              1.0594,
              1.2609,
              1.5018
            ],
            [
              0.0605,
              0.5391,
              0.6359,
              0.752,
              0.8911,
              1.0593,
              1.2601,
              1.5013
            ],
            [
              0.0604,
              0.5392,
              0.6357,
              0.7518,
              0.8921,
              1.0599,
              1.2596,
              1.5013
            ],
            [
              0.0604,
              0.5392,
              0.6358,
              0.752,
              0.8921,
              1.0598,
              1.2601,
              1.5011
            ],
            [
              0.0604,
              0.539,
              0.635,
              0.7519,
              0.8922,
              1.0587,
              1.26,
              1.5018
            ],
            [
              0.0604,
              0.539,
              0.6357,
              0.752,
              0.8922,
              1.0599,
              1.2597,
              1.5025
            ],
            [
              0.0603,
              0.5392,
              0.6353,
              0.7515,
              0.8912,
              1.0597,
              1.2606,
              1.5034
            ],
            [
              0.0605,
              0.5391,
              0.6358,
              0.752,
              0.892,
              1.0593,
              1.26,
              1.5022
            ],
            [
              0.0604,
              0.5393,
              0.6357,
              0.752,
              0.8919,
              1.0599,
              1.2599,
              1.5015
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!A&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.59525,
              0.7639,
              0.787,
              0.81311,
              0.84259,
              0.87593,
              0.91384,
              0.9572
            ],
            [
              0.59887,
              0.76736,
              0.79066,
              0.81687,
              0.84644,
              0.87985,
              0.91768,
              0.96102
            ],
            [
              0.60316,
              0.77172,
              0.79502,
              0.82122,
              0.85073,
              0.8841,
              0.9219,
              0.9653
            ],
            [
              0.60962,
              0.77817,
              0.80146,
              0.82766,
              0.85718,
              0.89053,
              0.92834,
              0.97167
            ],
            [
              0.61917,
              0.78771,
              0.811,
              0.83719,
              0.8667,
              0.90006,
              0.93785,
              0.98121
            ],
            [
              0.63342,
              0.80193,
              0.82522,
              0.85141,
              0.88092,
              0.91427,
              0.95202,
              0.99542
            ],
            [
              0.65442,
              0.82291,
              0.8462,
              0.8724,
              0.90193,
              0.93523,
              0.97303,
              1.01643
            ],
            [
              0.68549,
              0.85386,
              0.87706,
              0.90316,
              0.93276,
              0.96616,
              1.00406,
              1.04746
            ],
            [
              0.73246,
              0.90085,
              0.92415,
              0.95045,
              0.97995,
              1.01335,
              1.05115,
              1.09455
            ],
            [
              0.80099,
              0.96939,
              0.99279,
              1.01899,
              1.04849,
              1.08189,
              1.11969,
              1.16309
            ],
            [
              0.89392,
              1.06222,
              1.08552,
              1.11172,
              1.14122,
              1.17462,
              1.21252,
              1.25582
            ],
            [
              1.01777,
              1.18557,
              1.20877,
              1.23497,
              1.26447,
              1.29787,
              1.33567,
              1.37907
            ],
            [
              1.1812,
              1.348,
              1.3712,
              1.3974,
              1.4269,
              1.4603,
              1.4981,
              1.5415
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.95162,
              1.30387,
              1.37637,
              1.46347,
              1.56847,
              1.69457,
              1.84487,
              2.02597
            ],
            [
              0.95392,
              1.30594,
              1.37874,
              1.46574,
              1.57094,
              1.69664,
              1.84794,
              2.02854
            ],
            [
              0.95682,
              1.30882,
              1.38162,
              1.46862,
              1.57382,
              1.69962,
              1.85082,
              2.03142
            ],
            [
              0.96154,
              1.31368,
              1.38637,
              1.47348,
              1.57858,
              1.70428,
              1.85558,
              2.03618
            ],
            [
              0.96951,
              1.32181,
              1.39431,
              1.48141,
              1.58671,
              1.71211,
              1.86331,
              2.04401
            ],
            [
              0.98302,
              1.33522,
              1.40772,
              1.49482,
              1.59972,
              1.72582,
              1.87692,
              2.05762
            ],
            [
              1.00553,
              1.35743,
              1.43003,
              1.51733,
              1.62223,
              1.74843,
              1.89883,
              2.08013
            ],
            [
              1.04116,
              1.39296,
              1.46556,
              1.55276,
              1.65766,
              1.78336,
              1.93426,
              2.11566
            ],
            [
              1.09655,
              1.44825,
              1.52085,
              1.60825,
              1.71295,
              1.83895,
              1.98975,
              2.17075
            ],
            [
              1.17859,
              1.53049,
              1.60279,
              1.69029,
              1.79529,
              1.92099,
              2.07159,
              2.25309
            ],
            [
              1.29942,
              1.65112,
              1.72362,
              1.81092,
              1.91572,
              2.04192,
              2.19242,
              2.37342
            ],
            [
              1.47827,
              1.82997,
              1.90237,
              1.98977,
              2.09487,
              2.22037,
              2.37147,
              2.55257
            ],
            [
              1.7445,
              2.0962,
              2.1687,
              2.2558,
              2.361,
              2.4868,
              2.6376,
              2.8188
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06297,
              0.19344,
              0.21368,
              0.23676,
              0.26312,
              0.29393,
              0.33016,
              0.37332
            ],
            [
              0.063,
              0.19359,
              0.21367,
              0.2367,
              0.2629,
              0.2939,
              0.33008,
              0.37382
            ],
            [
              0.06299,
              0.19352,
              0.21395,
              0.23653,
              0.26298,
              0.29392,
              0.33006,
              0.3738
            ],
            [
              0.06293,
              0.19351,
              0.21395,
              0.23653,
              0.263,
              0.29384,
              0.3301,
              0.37317
            ],
            [
              0.06303,
              0.19351,
              0.21395,
              0.23653,
              0.26301,
              0.29386,
              0.33013,
              0.37319
            ],
            [
              0.06295,
              0.19351,
              0.21395,
              0.23656,
              0.26301,
              0.29386,
              0.33013,
              0.3732
            ],
            [
              0.06294,
              0.19351,
              0.21394,
              0.23658,
              0.26302,
              0.29386,
              0.33011,
              0.37318
            ],
            [
              0.06302,
              0.19349,
              0.21373,
              0.23723,
              0.26304,
              0.29376,
              0.32999,
              0.3733
            ],
            [
              0.06295,
              0.1936,
              0.2138,
              0.2365,
              0.2629,
              0.2938,
              0.3301,
              0.3738
            ],
            [
              0.063,
              0.1936,
              0.214,
              0.2366,
              0.263,
              0.2939,
              0.33,
              0.3738
            ],
            [
              0.0629,
              0.1936,
              0.2137,
              0.2367,
              0.2629,
              0.2938,
              0.33,
              0.3738
            ],
            [
              0.0629,
              0.1933,
              0.2135,
              0.2366,
              0.2629,
              0.2938,
              0.33,
              0.3731
            ],
            [
              0.063,
              0.1935,
              0.214,
              0.2365,
              0.2631,
              0.2939,
              0.3301,
              0.3732
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.0568,
              0.5401,
              0.6374,
              0.7535,
              0.8935,
              1.0614,
              1.2625,
              1.5022
            ],
            [
              0.05687,
              0.5406,
              0.6373,
              0.7527,
              0.8928,
              1.061,
              1.2624,
              1.5028
            ],
            [
              0.05682,
              0.5403,
              0.6374,
              0.7531,
              0.893,
              1.0607,
              1.2624,
              1.5027
            ],
            [
              0.05688,
              0.5405,
              0.637,
              0.7527,
              0.8931,
              1.061,
              1.2624,
              1.5028
            ],
            [
              0.05691,
              0.5403,
              0.6373,
              0.7527,
              0.8927,
              1.0614,
              1.262,
              1.5022
            ],
            [
              0.0568,
              0.5404,
              0.6374,
              0.7535,
              0.8935,
              1.0613,
              1.2624,
              1.5027
            ],
            [
              0.0568,
              0.5405,
              0.6373,
              0.7536,
              0.8933,
              1.0613,
              1.2623,
              1.504
            ],
            [
              0.0568,
              0.5402,
              0.6374,
              0.7535,
              0.8931,
              1.0613,
              1.2623,
              1.5039
            ],
            [
              0.0568,
              0.5403,
              0.6378,
              0.7532,
              0.8934,
              1.061,
              1.2636,
              1.5026
            ],
            [
              0.0568,
              0.5403,
              0.6379,
              0.7532,
              0.8932,
              1.061,
              1.2624,
              1.5034
            ],
            [
              0.0568,
              0.5411,
              0.6374,
              0.7528,
              0.8936,
              1.0611,
              1.2622,
              1.503
            ],
            [
              0.0568,
              0.5403,
              0.6378,
              0.7532,
              0.8932,
              1.0622,
              1.2624,
              1.5036
            ],
            [
              0.0569,
              0.5404,
              0.6374,
              0.7527,
              0.8931,
              1.0614,
              1.2612,
              1.5034
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(A&!CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.58461,
              0.73747,
              0.7576,
              0.78051,
              0.80677,
              0.83684,
              0.87147,
              0.91172
            ],
            [
              0.58791,
              0.74081,
              0.76096,
              0.78389,
              0.81014,
              0.84023,
              0.87487,
              0.91513
            ],
            [
              0.59196,
              0.74489,
              0.76505,
              0.78798,
              0.81423,
              0.84432,
              0.87896,
              0.91923
            ],
            [
              0.59825,
              0.75121,
              0.77136,
              0.79431,
              0.82056,
              0.85064,
              0.8853,
              0.92556
            ],
            [
              0.60811,
              0.76099,
              0.78118,
              0.80412,
              0.83039,
              0.8605,
              0.89515,
              0.93542
            ],
            [
              0.62364,
              0.7765,
              0.79664,
              0.81953,
              0.84577,
              0.87609,
              0.91077,
              0.95112
            ],
            [
              0.64785,
              0.80071,
              0.82085,
              0.84377,
              0.87004,
              0.90013,
              0.93473,
              0.97503
            ],
            [
              0.68483,
              0.83756,
              0.85776,
              0.88066,
              0.90696,
              0.93706,
              0.97166,
              1.01196
            ],
            [
              0.74092,
              0.89375,
              0.91375,
              0.93665,
              0.96295,
              0.99305,
              1.02775,
              1.06805
            ],
            [
              0.82379,
              0.97649,
              0.99659,
              1.01969,
              1.04579,
              1.07589,
              1.11059,
              1.15089
            ],
            [
              0.94572,
              1.09842,
              1.11852,
              1.14142,
              1.16772,
              1.19782,
              1.23252,
              1.27282
            ],
            [
              1.12577,
              1.27837,
              1.29857,
              1.32167,
              1.34797,
              1.37787,
              1.41257,
              1.45287
            ],
            [
              1.3938,
              1.5465,
              1.5667,
              1.5897,
              1.616,
              1.6461,
              1.6808,
              1.7211
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.20864,
              0.58617,
              0.65938,
              0.74709,
              0.85232,
              0.97773,
              1.12857,
              1.30987
            ],
            [
              0.21211,
              0.58952,
              0.66269,
              0.75048,
              0.85592,
              0.98115,
              1.13234,
              1.31324
            ],
            [
              0.21626,
              0.59403,
              0.66715,
              0.75409,
              0.8595,
              0.98582,
              1.13562,
              1.31772
            ],
            [
              0.22246,
              0.6003,
              0.67348,
              0.76045,
              0.86586,
              0.99208,
              1.14198,
              1.32408
            ],
            [
              0.23152,
              0.60949,
              0.68236,
              0.7693,
              0.87491,
              1.00131,
              1.15101,
              1.33321
            ],
            [
              0.24478,
              0.62264,
              0.69588,
              0.78295,
              0.88847,
              1.01452,
              1.16492,
              1.34662
            ],
            [
              0.26466,
              0.64245,
              0.71518,
              0.80291,
              0.90843,
              1.03413,
              1.18543,
              1.36623
            ],
            [
              0.29423,
              0.67166,
              0.74503,
              0.83297,
              0.93846,
              1.06386,
              1.21516,
              1.39576
            ],
            [
              0.33848,
              0.71607,
              0.78935,
              0.87655,
              0.98225,
              1.10855,
              1.25895,
              1.44035
            ],
            [
              0.40289,
              0.78009,
              0.85379,
              0.94159,
              1.04609,
              1.17329,
              1.32429,
              1.50469
            ],
            [
              0.49092,
              0.86952,
              0.94312,
              1.03062,
              1.13592,
              1.26302,
              1.41312,
              1.59492
            ],
            [
              0.60987,
              0.99047,
              1.06347,
              1.15127,
              1.25697,
              1.38277,
              1.53457,
              1.71527
            ],
            [
              0.7694,
              1.1517,
              1.2252,
              1.3128,
              1.4183,
              1.5446,
              1.6959,
              1.877
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06088,
              0.16864,
              0.18685,
              0.20832,
              0.23399,
              0.26442,
              0.30119,
              0.34617
            ],
            [
              0.06087,
              0.16863,
              0.18696,
              0.20828,
              0.234,
              0.26444,
              0.30116,
              0.34611
            ],
            [
              0.06087,
              0.16862,
              0.18696,
              0.20826,
              0.234,
              0.26444,
              0.30114,
              0.34619
            ],
            [
              0.0609,
              0.16861,
              0.18695,
              0.20825,
              0.234,
              0.26442,
              0.30117,
              0.34562
            ],
            [
              0.06089,
              0.16874,
              0.18687,
              0.20884,
              0.234,
              0.26458,
              0.30107,
              0.34558
            ],
            [
              0.06086,
              0.1687,
              0.18676,
              0.20837,
              0.23404,
              0.26437,
              0.3012,
              0.34576
            ],
            [
              0.06087,
              0.16866,
              0.18686,
              0.20832,
              0.23396,
              0.26442,
              0.30116,
              0.34612
            ],
            [
              0.06093,
              0.16883,
              0.18689,
              0.20847,
              0.23395,
              0.2646,
              0.30107,
              0.3456
            ],
            [
              0.06093,
              0.1687,
              0.1868,
              0.2083,
              0.2343,
              0.2647,
              0.3012,
              0.3455
            ],
            [
              0.0609,
              0.1691,
              0.1868,
              0.2083,
              0.2341,
              0.2651,
              0.3014,
              0.3461
            ],
            [
              0.0609,
              0.1687,
              0.1869,
              0.2085,
              0.2339,
              0.2647,
              0.3011,
              0.3455
            ],
            [
              0.0609,
              0.1688,
              0.1869,
              0.2084,
              0.234,
              0.2646,
              0.3015,
              0.3461
            ],
            [
              0.0611,
              0.1688,
              0.1871,
              0.2084,
              0.234,
              0.2645,
              0.3012,
              0.346
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05823,
              0.54169,
              0.63793,
              0.75449,
              0.89421,
              1.06363,
              1.26432,
              1.50793
            ],
            [
              0.05823,
              0.54129,
              0.63829,
              0.75455,
              0.89474,
              1.0637,
              1.26405,
              1.50755
            ],
            [
              0.0582,
              0.54092,
              0.63786,
              0.75521,
              0.89493,
              1.06323,
              1.26526,
              1.50572
            ],
            [
              0.05823,
              0.54095,
              0.63771,
              0.75524,
              0.89496,
              1.06327,
              1.26518,
              1.50565
            ],
            [
              0.0582,
              0.54074,
              0.63835,
              0.75505,
              0.89496,
              1.06323,
              1.26526,
              1.5058
            ],
            [
              0.05822,
              0.54098,
              0.63765,
              0.75523,
              0.89478,
              1.06351,
              1.26489,
              1.50607
            ],
            [
              0.05823,
              0.54076,
              0.63862,
              0.75481,
              0.89524,
              1.06315,
              1.26488,
              1.50758
            ],
            [
              0.05819,
              0.54159,
              0.63813,
              0.75425,
              0.89462,
              1.06368,
              1.26363,
              1.50773
            ],
            [
              0.05815,
              0.54097,
              0.63772,
              0.75511,
              0.89472,
              1.06329,
              1.26585,
              1.50741
            ],
            [
              0.0587,
              0.5413,
              0.63749,
              0.75407,
              0.8953,
              1.0628,
              1.2648,
              1.5068
            ],
            [
              0.0602,
              0.5408,
              0.6376,
              0.7548,
              0.8957,
              1.0622,
              1.2652,
              1.5056
            ],
            [
              0.0619,
              0.5415,
              0.6382,
              0.7549,
              0.8951,
              1.0635,
              1.2636,
              1.5074
            ],
            [
              0.0646,
              0.5419,
              0.6391,
              0.7552,
              0.8953,
              1.0628,
              1.2649,
              1.5055
            ]
          ]
        },
        "sdf_cond": "(A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&CIN)"
      },
      {
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.99507,
              1.19057,
              1.21487,
              1.24217,
              1.27297,
              1.30777,
              1.34727,
              1.39227
            ],
            [
              0.99444,
              1.19004,
              1.21434,
              1.24164,
              1.27254,
              1.30734,
              1.34674,
              1.39174
            ],
            [
              0.99412,
              1.18962,
              1.21402,
              1.24132,
              1.27222,
              1.30692,
              1.34642,
              1.39142
            ],
            [
              0.99418,
              1.18978,
              1.21408,
              1.24137,
              1.27228,
              1.30707,
              1.34658,
              1.39158
            ],
            [
              0.99571,
              1.19121,
              1.21561,
              1.24301,
              1.27381,
              1.30861,
              1.34811,
              1.39311
            ],
            [
              1.00122,
              1.19662,
              1.22092,
              1.24832,
              1.27912,
              1.31392,
              1.35342,
              1.39852
            ],
            [
              1.01423,
              1.20963,
              1.23403,
              1.26133,
              1.29213,
              1.32703,
              1.36653,
              1.41153
            ],
            [
              1.03886,
              1.23396,
              1.25826,
              1.28566,
              1.31646,
              1.35126,
              1.39076,
              1.43576
            ],
            [
              1.08405,
              1.27905,
              1.30335,
              1.33075,
              1.36155,
              1.39635,
              1.43585,
              1.48085
            ],
            [
              1.15909,
              1.35409,
              1.37839,
              1.40569,
              1.43659,
              1.47149,
              1.51089,
              1.55599
            ],
            [
              1.27632,
              1.47122,
              1.49562,
              1.52292,
              1.55382,
              1.58862,
              1.62812,
              1.67312
            ],
            [
              1.45897,
              1.65387,
              1.67817,
              1.70557,
              1.73647,
              1.77127,
              1.81077,
              1.85587
            ],
            [
              1.7338,
              1.9285,
              1.9528,
              1.9801,
              2.011,
              2.0459,
              2.0854,
              2.1304
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.18558,
              0.56486,
              0.6374,
              0.72546,
              0.83035,
              0.95661,
              1.10777,
              1.28777
            ],
            [
              0.18903,
              0.56811,
              0.64148,
              0.7289,
              0.8342,
              0.96003,
              1.11024,
              1.29324
            ],
            [
              0.19365,
              0.57313,
              0.64617,
              0.73336,
              0.839,
              0.96408,
              1.11642,
              1.29762
            ],
            [
              0.20081,
              0.58047,
              0.6535,
              0.74096,
              0.84632,
              0.97257,
              1.12298,
              1.30398
            ],
            [
              0.21133,
              0.59112,
              0.66428,
              0.75118,
              0.85718,
              0.98261,
              1.13391,
              1.31381
            ],
            [
              0.22621,
              0.60575,
              0.67909,
              0.76668,
              0.87162,
              0.99792,
              1.14872,
              1.32932
            ],
            [
              0.24707,
              0.62635,
              0.69976,
              0.78735,
              0.89303,
              1.01943,
              1.16933,
              1.35013
            ],
            [
              0.27666,
              0.65549,
              0.72906,
              0.81691,
              0.92246,
              1.04866,
              1.19936,
              1.37936
            ],
            [
              0.3192,
              0.69799,
              0.77105,
              0.85935,
              0.96475,
              1.09095,
              1.24145,
              1.42265
            ],
            [
              0.37876,
              0.75829,
              0.83139,
              0.91929,
              1.02489,
              1.15169,
              1.30219,
              1.48359
            ],
            [
              0.45942,
              0.84142,
              0.91442,
              1.00302,
              1.10772,
              1.23452,
              1.38592,
              1.56762
            ],
            [
              0.57017,
              0.95507,
              1.02837,
              1.11637,
              1.22207,
              1.34847,
              1.49897,
              1.68137
            ],
            [
              0.7205,
              1.1079,
              1.182,
              1.2703,
              1.376,
              1.5024,
              1.6537,
              1.8348
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.09158,
              0.2119,
              0.2316,
              0.2538,
              0.2804,
              0.3124,
              0.3484,
              0.3924
            ],
            [
              0.09152,
              0.2122,
              0.2312,
              0.2539,
              0.2803,
              0.3117,
              0.3484,
              0.3924
            ],
            [
              0.09151,
              0.212,
              0.2313,
              0.2539,
              0.2804,
              0.3118,
              0.3483,
              0.3924
            ],
            [
              0.09159,
              0.212,
              0.2314,
              0.254,
              0.2803,
              0.3116,
              0.3491,
              0.3924
            ],
            [
              0.09156,
              0.212,
              0.2312,
              0.2539,
              0.2803,
              0.3118,
              0.3482,
              0.3925
            ],
            [
              0.0915,
              0.212,
              0.2314,
              0.2537,
              0.2804,
              0.3116,
              0.3485,
              0.3925
            ],
            [
              0.0915,
              0.2123,
              0.2313,
              0.2544,
              0.2802,
              0.3117,
              0.3484,
              0.3924
            ],
            [
              0.0915,
              0.2119,
              0.2314,
              0.2538,
              0.2804,
              0.3124,
              0.3483,
              0.3924
            ],
            [
              0.0915,
              0.212,
              0.2313,
              0.2539,
              0.2803,
              0.3118,
              0.3482,
              0.3924
            ],
            [
              0.0916,
              0.212,
              0.2313,
              0.2537,
              0.2804,
              0.3115,
              0.3487,
              0.3923
            ],
            [
              0.0916,
              0.2123,
              0.2313,
              0.2544,
              0.2802,
              0.3117,
              0.3484,
              0.3924
            ],
            [
              0.0916,
              0.2122,
              0.2314,
              0.254,
              0.2803,
              0.3116,
              0.349,
              0.3923
            ],
            [
              0.0916,
              0.2122,
              0.2315,
              0.2541,
              0.2803,
              0.3117,
              0.349,
              0.3924
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05584,
              0.53768,
              0.6352,
              0.75137,
              0.89208,
              1.06011,
              1.26091,
              1.50019
            ],
            [
              0.05587,
              0.53816,
              0.63527,
              0.75095,
              0.89208,
              1.05916,
              1.26191,
              1.50436
            ],
            [
              0.05601,
              0.5382,
              0.63532,
              0.75141,
              0.8922,
              1.06019,
              1.26089,
              1.50005
            ],
            [
              0.05594,
              0.53793,
              0.63528,
              0.75104,
              0.89219,
              1.05934,
              1.25917,
              1.50143
            ],
            [
              0.05598,
              0.538,
              0.63528,
              0.75155,
              0.89208,
              1.06023,
              1.26123,
              1.50364
            ],
            [
              0.05608,
              0.53787,
              0.63506,
              0.7518,
              0.89185,
              1.06051,
              1.26034,
              1.50378
            ],
            [
              0.05609,
              0.53801,
              0.63497,
              0.7519,
              0.89131,
              1.06059,
              1.25954,
              1.5012
            ],
            [
              0.05619,
              0.53826,
              0.6347,
              0.75184,
              0.89124,
              1.06031,
              1.26097,
              1.50322
            ],
            [
              0.05643,
              0.53841,
              0.63529,
              0.7514,
              0.89243,
              1.06033,
              1.26053,
              1.50375
            ],
            [
              0.05884,
              0.53829,
              0.63497,
              0.75188,
              0.89222,
              1.0594,
              1.2588,
              1.5038
            ],
            [
              0.06083,
              0.538,
              0.6355,
              0.7516,
              0.8924,
              1.0604,
              1.2614,
              1.5025
            ],
            [
              0.0633,
              0.5404,
              0.6366,
              0.7528,
              0.8928,
              1.0594,
              1.2608,
              1.5036
            ],
            [
              0.0671,
              0.5423,
              0.6387,
              0.7546,
              0.8945,
              1.0622,
              1.2629,
              1.5035
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.74272,
              0.89845,
              0.91868,
              0.94172,
              0.96819,
              0.99847,
              1.03337,
              1.07397
            ],
            [
              0.74727,
              0.90292,
              0.92318,
              0.94622,
              0.97269,
              1.00304,
              1.03794,
              1.07854
            ],
            [
              0.75247,
              0.90807,
              0.9283,
              0.95136,
              0.9778,
              1.00812,
              1.04302,
              1.08362
            ],
            [
              0.75955,
              0.91507,
              0.93532,
              0.95837,
              0.98487,
              1.01518,
              1.05008,
              1.09078
            ],
            [
              0.76934,
              0.92487,
              0.94505,
              0.96811,
              0.99451,
              1.02481,
              1.05981,
              1.10041
            ],
            [
              0.78284,
              0.93772,
              0.95802,
              0.98102,
              1.00752,
              1.03782,
              1.07282,
              1.11332
            ],
            [
              0.80152,
              0.95623,
              0.97653,
              0.99953,
              1.02603,
              1.05633,
              1.09133,
              1.13193
            ],
            [
              0.82901,
              0.98366,
              1.00386,
              1.02696,
              1.05336,
              1.08376,
              1.11866,
              1.15936
            ],
            [
              0.87195,
              1.02655,
              1.04675,
              1.06985,
              1.09635,
              1.12665,
              1.16155,
              1.20215
            ],
            [
              0.93609,
              1.09059,
              1.11079,
              1.13389,
              1.16039,
              1.19069,
              1.22569,
              1.26629
            ],
            [
              1.02512,
              1.17952,
              1.19972,
              1.22272,
              1.24922,
              1.27952,
              1.31452,
              1.35522
            ],
            [
              1.14557,
              1.29937,
              1.31967,
              1.34267,
              1.36917,
              1.39947,
              1.43447,
              1.47507
            ],
            [
              1.3012,
              1.4564,
              1.4769,
              1.5001,
              1.5267,
              1.5572,
              1.5923,
              1.6331
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              1.00757,
              1.35697,
              1.42937,
              1.51627,
              1.62097,
              1.74657,
              1.89757,
              2.07867
            ],
            [
              1.01004,
              1.35954,
              1.43204,
              1.51894,
              1.62354,
              1.74924,
              1.90024,
              2.08124
            ],
            [
              1.01302,
              1.36242,
              1.43492,
              1.52182,
              1.62662,
              1.75232,
              1.90262,
              2.08422
            ],
            [
              1.01738,
              1.36688,
              1.43948,
              1.52608,
              1.63118,
              1.75717,
              1.90768,
              2.08847
            ],
            [
              1.02481,
              1.37441,
              1.44691,
              1.53361,
              1.63861,
              1.76421,
              1.91511,
              2.09591
            ],
            [
              1.03732,
              1.38682,
              1.45912,
              1.54622,
              1.65122,
              1.77712,
              1.92732,
              2.10892
            ],
            [
              1.05813,
              1.40743,
              1.47993,
              1.56663,
              1.67163,
              1.79723,
              1.94823,
              2.12893
            ],
            [
              1.09176,
              1.44106,
              1.51356,
              1.60026,
              1.70536,
              1.83126,
              1.98176,
              2.16266
            ],
            [
              1.14425,
              1.49375,
              1.56615,
              1.65305,
              1.75765,
              1.88325,
              2.03425,
              2.21555
            ],
            [
              1.22649,
              1.57559,
              1.64809,
              1.73509,
              1.83999,
              1.96599,
              2.11619,
              2.29709
            ],
            [
              1.35332,
              1.70282,
              1.77522,
              1.86212,
              1.96672,
              2.09232,
              2.24332,
              2.42462
            ],
            [
              1.54427,
              1.89357,
              1.96607,
              2.05297,
              2.15777,
              2.28387,
              2.43407,
              2.61527
            ],
            [
              1.8341,
              2.1834,
              2.2556,
              2.3426,
              2.4479,
              2.5735,
              2.7237,
              2.9048
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06421,
              0.17327,
              0.19156,
              0.21313,
              0.23895,
              0.26955,
              0.30626,
              0.35081
            ],
            [
              0.06421,
              0.17335,
              0.19142,
              0.2131,
              0.23878,
              0.26935,
              0.30613,
              0.35066
            ],
            [
              0.06433,
              0.1733,
              0.19148,
              0.21306,
              0.23881,
              0.27,
              0.30631,
              0.35084
            ],
            [
              0.0642,
              0.17335,
              0.1914,
              0.21308,
              0.23876,
              0.26932,
              0.3061,
              0.35063
            ],
            [
              0.06433,
              0.1733,
              0.19156,
              0.21323,
              0.23895,
              0.26952,
              0.30619,
              0.35024
            ],
            [
              0.0642,
              0.17325,
              0.19148,
              0.21314,
              0.23895,
              0.26954,
              0.30624,
              0.3507
            ],
            [
              0.0642,
              0.17331,
              0.19137,
              0.21305,
              0.2388,
              0.2693,
              0.3061,
              0.3507
            ],
            [
              0.06421,
              0.1733,
              0.1915,
              0.213,
              0.2388,
              0.2692,
              0.3061,
              0.3507
            ],
            [
              0.0642,
              0.1733,
              0.1915,
              0.2132,
              0.2389,
              0.2696,
              0.3063,
              0.3507
            ],
            [
              0.0643,
              0.1734,
              0.1914,
              0.2131,
              0.2387,
              0.2693,
              0.3062,
              0.3507
            ],
            [
              0.0642,
              0.1733,
              0.1915,
              0.2132,
              0.239,
              0.2695,
              0.3061,
              0.3503
            ],
            [
              0.0642,
              0.1734,
              0.1916,
              0.213,
              0.2388,
              0.2692,
              0.306,
              0.3508
            ],
            [
              0.0667,
              0.1754,
              0.1934,
              0.2149,
              0.2404,
              0.2711,
              0.3073,
              0.3521
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05711,
              0.54,
              0.6364,
              0.7528,
              0.8928,
              1.0607,
              1.2618,
              1.503
            ],
            [
              0.05707,
              0.5399,
              0.6365,
              0.7527,
              0.8928,
              1.0607,
              1.2618,
              1.5027
            ],
            [
              0.0572,
              0.5402,
              0.6364,
              0.7526,
              0.8942,
              1.0604,
              1.2613,
              1.5032
            ],
            [
              0.0571,
              0.5396,
              0.6366,
              0.7529,
              0.8929,
              1.0609,
              1.2613,
              1.5027
            ],
            [
              0.0571,
              0.5397,
              0.6366,
              0.753,
              0.893,
              1.0607,
              1.2614,
              1.5024
            ],
            [
              0.0571,
              0.5403,
              0.6369,
              0.7527,
              0.8927,
              1.0606,
              1.2609,
              1.5033
            ],
            [
              0.057,
              0.5396,
              0.6365,
              0.753,
              0.893,
              1.0608,
              1.2615,
              1.5025
            ],
            [
              0.0571,
              0.5396,
              0.6366,
              0.7529,
              0.8929,
              1.0608,
              1.2613,
              1.5027
            ],
            [
              0.0571,
              0.54,
              0.6365,
              0.7528,
              0.8925,
              1.0607,
              1.2618,
              1.503
            ],
            [
              0.0571,
              0.5401,
              0.6366,
              0.7528,
              0.8929,
              1.0603,
              1.2607,
              1.5026
            ],
            [
              0.0571,
              0.54,
              0.6365,
              0.7528,
              0.8924,
              1.0607,
              1.2618,
              1.5032
            ],
            [
              0.0571,
              0.5403,
              0.6366,
              0.7529,
              0.893,
              1.0606,
              1.2606,
              1.5029
            ],
            [
              0.0572,
              0.54,
              0.6364,
              0.753,
              0.8931,
              1.0604,
              1.2605,
              1.5028
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.64433,
              0.79475,
              0.81458,
              0.83738,
              0.86343,
              0.89311,
              0.92762,
              0.96775
            ],
            [
              0.64854,
              0.79901,
              0.81884,
              0.84144,
              0.86743,
              0.89753,
              0.93202,
              0.97191
            ],
            [
              0.65322,
              0.80365,
              0.82348,
              0.84628,
              0.87214,
              0.90203,
              0.93654,
              0.97666
            ],
            [
              0.65995,
              0.81046,
              0.83027,
              0.85289,
              0.87894,
              0.90882,
              0.94327,
              0.98337
            ],
            [
              0.66948,
              0.81983,
              0.83969,
              0.86233,
              0.88837,
              0.91828,
              0.95271,
              0.99291
            ],
            [
              0.68284,
              0.83315,
              0.85299,
              0.87566,
              0.90166,
              0.93152,
              0.96602,
              1.00612
            ],
            [
              0.70137,
              0.85162,
              0.87144,
              0.89413,
              0.92013,
              0.94993,
              0.98443,
              1.02453
            ],
            [
              0.72806,
              0.87806,
              0.89786,
              0.92056,
              0.94656,
              0.97646,
              1.01096,
              1.05106
            ],
            [
              0.77025,
              0.92015,
              0.94005,
              0.96265,
              0.98875,
              1.01865,
              1.05315,
              1.09325
            ],
            [
              0.83329,
              0.98309,
              1.00299,
              1.02559,
              1.05169,
              1.08159,
              1.11609,
              1.15619
            ],
            [
              0.92032,
              1.07002,
              1.08982,
              1.11252,
              1.13852,
              1.16842,
              1.20282,
              1.24302
            ],
            [
              1.03777,
              1.18667,
              1.20657,
              1.22917,
              1.25527,
              1.28517,
              1.31957,
              1.35977
            ],
            [
              1.193,
              1.3413,
              1.3612,
              1.3839,
              1.41,
              1.44,
              1.4745,
              1.5148
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.90609,
              1.25837,
              1.33087,
              1.41817,
              1.52327,
              1.64917,
              1.80017,
              1.98127
            ],
            [
              0.90803,
              1.26054,
              1.33294,
              1.42024,
              1.52564,
              1.65114,
              1.80214,
              1.98314
            ],
            [
              0.91041,
              1.26282,
              1.33532,
              1.42262,
              1.52772,
              1.65352,
              1.80462,
              1.98532
            ],
            [
              0.91441,
              1.26707,
              1.33948,
              1.42668,
              1.53178,
              1.65768,
              1.80858,
              1.98908
            ],
            [
              0.92151,
              1.27411,
              1.34671,
              1.43381,
              1.53911,
              1.66461,
              1.81571,
              1.99691
            ],
            [
              0.93402,
              1.28652,
              1.35902,
              1.44622,
              1.55122,
              1.67712,
              1.82822,
              2.00912
            ],
            [
              0.95523,
              1.30763,
              1.38013,
              1.46733,
              1.57273,
              1.69833,
              1.84923,
              2.03023
            ],
            [
              0.98866,
              1.34106,
              1.41376,
              1.50076,
              1.60616,
              1.73156,
              1.88266,
              2.06386
            ],
            [
              1.04335,
              1.39565,
              1.46815,
              1.55525,
              1.66055,
              1.78615,
              1.93695,
              2.11825
            ],
            [
              1.12629,
              1.47859,
              1.55109,
              1.63829,
              1.74369,
              1.86929,
              2.02019,
              2.20129
            ],
            [
              1.25452,
              1.60672,
              1.67942,
              1.76642,
              1.87142,
              1.99712,
              2.14842,
              2.32902
            ],
            [
              1.44687,
              1.79907,
              1.87177,
              1.95887,
              2.06397,
              2.18967,
              2.34067,
              2.52147
            ],
            [
              1.7387,
              2.0907,
              2.1633,
              2.2506,
              2.3556,
              2.4814,
              2.6324,
              2.813
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06098,
              0.16938,
              0.18697,
              0.20843,
              0.23399,
              0.26477,
              0.30176,
              0.34616
            ],
            [
              0.06092,
              0.16935,
              0.18694,
              0.20854,
              0.23416,
              0.26453,
              0.30133,
              0.34596
            ],
            [
              0.06091,
              0.16937,
              0.18697,
              0.20842,
              0.23408,
              0.26519,
              0.30148,
              0.3462
            ],
            [
              0.06088,
              0.16886,
              0.18697,
              0.2085,
              0.23417,
              0.26453,
              0.30125,
              0.34616
            ],
            [
              0.06092,
              0.16898,
              0.18703,
              0.20864,
              0.23415,
              0.26469,
              0.30113,
              0.34568
            ],
            [
              0.06084,
              0.16885,
              0.18709,
              0.20846,
              0.23419,
              0.26452,
              0.30125,
              0.34573
            ],
            [
              0.0609,
              0.16889,
              0.18753,
              0.20843,
              0.23409,
              0.26456,
              0.30127,
              0.34617
            ],
            [
              0.06088,
              0.16882,
              0.18713,
              0.20839,
              0.23411,
              0.2645,
              0.3013,
              0.3457
            ],
            [
              0.06086,
              0.1689,
              0.1871,
              0.2091,
              0.2342,
              0.2647,
              0.3011,
              0.3457
            ],
            [
              0.061,
              0.169,
              0.1871,
              0.2086,
              0.2341,
              0.2647,
              0.3011,
              0.3456
            ],
            [
              0.0609,
              0.1688,
              0.187,
              0.2085,
              0.2342,
              0.2645,
              0.3013,
              0.3462
            ],
            [
              0.0609,
              0.169,
              0.187,
              0.2089,
              0.2341,
              0.2647,
              0.3011,
              0.3457
            ],
            [
              0.0608,
              0.1695,
              0.188,
              0.2095,
              0.2351,
              0.2657,
              0.3028,
              0.3466
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05698,
              0.5405,
              0.638,
              0.7537,
              0.8936,
              1.061,
              1.2625,
              1.5038
            ],
            [
              0.0569,
              0.5401,
              0.6374,
              0.7541,
              0.8931,
              1.0613,
              1.2624,
              1.5032
            ],
            [
              0.05699,
              0.5407,
              0.638,
              0.7536,
              0.8935,
              1.061,
              1.2625,
              1.5038
            ],
            [
              0.057,
              0.5406,
              0.6375,
              0.7534,
              0.8934,
              1.061,
              1.2625,
              1.5038
            ],
            [
              0.05689,
              0.5402,
              0.6375,
              0.754,
              0.8929,
              1.0612,
              1.2624,
              1.5037
            ],
            [
              0.05698,
              0.5408,
              0.6381,
              0.7538,
              0.8929,
              1.0611,
              1.2624,
              1.5031
            ],
            [
              0.0569,
              0.5402,
              0.6375,
              0.7541,
              0.8931,
              1.0613,
              1.2624,
              1.5032
            ],
            [
              0.0569,
              0.5402,
              0.6375,
              0.754,
              0.8928,
              1.0612,
              1.2624,
              1.5037
            ],
            [
              0.057,
              0.5404,
              0.6375,
              0.7536,
              0.8935,
              1.0613,
              1.2621,
              1.5033
            ],
            [
              0.0569,
              0.5404,
              0.6374,
              0.7534,
              0.893,
              1.0613,
              1.2621,
              1.5039
            ],
            [
              0.057,
              0.5401,
              0.6371,
              0.7535,
              0.8931,
              1.0605,
              1.2624,
              1.5039
            ],
            [
              0.057,
              0.5407,
              0.6374,
              0.7537,
              0.8933,
              1.0613,
              1.2624,
              1.5029
            ],
            [
              0.0569,
              0.5403,
              0.637,
              0.7536,
              0.8935,
              1.061,
              1.2624,
              1.5038
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.53755,
              0.70674,
              0.72962,
              0.75542,
              0.78464,
              0.81737,
              0.85505,
              0.89826
            ],
            [
              0.5391,
              0.70836,
              0.73125,
              0.75703,
              0.7862,
              0.81922,
              0.85653,
              0.89975
            ],
            [
              0.54181,
              0.71095,
              0.7339,
              0.75969,
              0.78894,
              0.82204,
              0.85964,
              0.90277
            ],
            [
              0.54676,
              0.71596,
              0.73881,
              0.76455,
              0.79382,
              0.82691,
              0.86418,
              0.90741
            ],
            [
              0.55525,
              0.72439,
              0.74729,
              0.77305,
              0.80226,
              0.83526,
              0.87261,
              0.91587
            ],
            [
              0.56958,
              0.73852,
              0.76137,
              0.78709,
              0.81638,
              0.84947,
              0.88667,
              0.92992
            ],
            [
              0.59294,
              0.76154,
              0.78443,
              0.8102,
              0.83941,
              0.87243,
              0.91003,
              0.95313
            ],
            [
              0.62962,
              0.79828,
              0.82119,
              0.84666,
              0.87596,
              0.90906,
              0.94646,
              0.98966
            ],
            [
              0.68696,
              0.85545,
              0.87835,
              0.90415,
              0.93335,
              0.96635,
              1.00395,
              1.04705
            ],
            [
              0.77289,
              0.94129,
              0.96419,
              0.98989,
              1.01909,
              1.05209,
              1.08969,
              1.13279
            ],
            [
              0.89922,
              1.06732,
              1.09022,
              1.11592,
              1.14512,
              1.17802,
              1.21572,
              1.25892
            ],
            [
              1.08667,
              1.25447,
              1.27727,
              1.30297,
              1.33207,
              1.36517,
              1.40267,
              1.44577
            ],
            [
              1.3655,
              1.5331,
              1.556,
              1.5817,
              1.6108,
              1.6439,
              1.6815,
              1.7246
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.21077,
              0.5891,
              0.66232,
              0.74936,
              0.85487,
              0.98132,
              1.13117,
              1.31347
            ],
            [
              0.2135,
              0.5919,
              0.66517,
              0.75224,
              0.85777,
              0.98415,
              1.13414,
              1.31634
            ],
            [
              0.21715,
              0.59526,
              0.66871,
              0.75665,
              0.86219,
              0.98752,
              1.13882,
              1.31972
            ],
            [
              0.22298,
              0.60147,
              0.67444,
              0.76228,
              0.86786,
              0.99338,
              1.14488,
              1.32508
            ],
            [
              0.23184,
              0.61022,
              0.68368,
              0.7717,
              0.87712,
              1.00291,
              1.15341,
              1.33531
            ],
            [
              0.24538,
              0.62364,
              0.69721,
              0.78525,
              0.89077,
              1.01642,
              1.16732,
              1.34872
            ],
            [
              0.2657,
              0.64384,
              0.71735,
              0.80542,
              0.91093,
              1.03663,
              1.18753,
              1.36923
            ],
            [
              0.29633,
              0.67416,
              0.74745,
              0.83556,
              0.94126,
              1.06686,
              1.21806,
              1.39946
            ],
            [
              0.34234,
              0.7201,
              0.79275,
              0.88065,
              0.98625,
              1.11285,
              1.26375,
              1.44505
            ],
            [
              0.40786,
              0.78569,
              0.85839,
              0.94679,
              1.05209,
              1.17789,
              1.32979,
              1.51019
            ],
            [
              0.49352,
              0.87302,
              0.94622,
              1.03412,
              1.14002,
              1.26612,
              1.41692,
              1.59872
            ],
            [
              0.60627,
              0.98747,
              1.06077,
              1.14867,
              1.25397,
              1.38047,
              1.53167,
              1.71357
            ],
            [
              0.755,
              1.1374,
              1.2112,
              1.2991,
              1.4046,
              1.5307,
              1.6819,
              1.8637
            ]
          ]
        },
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.06236,
              0.18925,
              0.20868,
              0.23169,
              0.2584,
              0.2897,
              0.32627,
              0.3698
            ],
            [
              0.06244,
              0.18891,
              0.20868,
              0.23177,
              0.25822,
              0.28942,
              0.32632,
              0.36998
            ],
            [
              0.06241,
              0.18934,
              0.20891,
              0.23172,
              0.2585,
              0.28936,
              0.32603,
              0.36957
            ],
            [
              0.06239,
              0.18892,
              0.20865,
              0.23175,
              0.25841,
              0.28943,
              0.32624,
              0.36993
            ],
            [
              0.06252,
              0.18895,
              0.2086,
              0.23143,
              0.25827,
              0.28995,
              0.32624,
              0.36991
            ],
            [
              0.06241,
              0.18885,
              0.2087,
              0.23177,
              0.25833,
              0.28941,
              0.32628,
              0.36974
            ],
            [
              0.06234,
              0.18893,
              0.20887,
              0.23229,
              0.25833,
              0.28998,
              0.32637,
              0.36971
            ],
            [
              0.06238,
              0.1887,
              0.20863,
              0.23153,
              0.25822,
              0.28935,
              0.32671,
              0.36999
            ],
            [
              0.0624,
              0.1889,
              0.2088,
              0.2316,
              0.2582,
              0.2894,
              0.326,
              0.3703
            ],
            [
              0.0623,
              0.1888,
              0.2091,
              0.2315,
              0.2581,
              0.2892,
              0.3258,
              0.3696
            ],
            [
              0.0622,
              0.1887,
              0.2084,
              0.2312,
              0.2577,
              0.2891,
              0.3257,
              0.3692
            ],
            [
              0.0622,
              0.1884,
              0.2087,
              0.2312,
              0.2577,
              0.2888,
              0.3255,
              0.3691
            ],
            [
              0.0623,
              0.1877,
              0.2076,
              0.2303,
              0.2576,
              0.2881,
              0.3248,
              0.3689
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00877,
            0.01052,
            0.01262,
            0.01515,
            0.01818,
            0.02181,
            0.02617
          ],
          "values": [
            [
              0.05824,
              0.54089,
              0.63792,
              0.75516,
              0.89496,
              1.06324,
              1.26528,
              1.50583
            ],
            [
              0.05828,
              0.54093,
              0.63777,
              0.75518,
              0.89498,
              1.06328,
              1.26519,
              1.50567
            ],
            [
              0.05825,
              0.54137,
              0.63817,
              0.75448,
              0.89475,
              1.06369,
              1.26393,
              1.50759
            ],
            [
              0.05825,
              0.54105,
              0.63845,
              0.75477,
              0.89523,
              1.06323,
              1.26491,
              1.50736
            ],
            [
              0.05824,
              0.54164,
              0.63808,
              0.75383,
              0.89427,
              1.0635,
              1.26467,
              1.50634
            ],
            [
              0.05824,
              0.54153,
              0.63812,
              0.75415,
              0.89455,
              1.06358,
              1.26451,
              1.50715
            ],
            [
              0.05816,
              0.54158,
              0.63811,
              0.75401,
              0.89449,
              1.06356,
              1.2646,
              1.5068
            ],
            [
              0.05817,
              0.54117,
              0.6382,
              0.7545,
              0.89408,
              1.06365,
              1.26418,
              1.508
            ],
            [
              0.0581,
              0.54043,
              0.63891,
              0.75484,
              0.89542,
              1.06236,
              1.26534,
              1.5069
            ],
            [
              0.05889,
              0.54063,
              0.63862,
              0.75403,
              0.8951,
              1.0632,
              1.2643,
              1.5076
            ],
            [
              0.0603,
              0.5403,
              0.6384,
              0.7546,
              0.8944,
              1.0633,
              1.2644,
              1.507
            ],
            [
              0.0615,
              0.5423,
              0.6386,
              0.7554,
              0.8945,
              1.0637,
              1.2641,
              1.5067
            ],
            [
              0.0641,
              0.5437,
              0.6408,
              0.7568,
              0.897,
              1.0644,
              1.2647,
              1.5072
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}