{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_ms__fah",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00548,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00847,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00302,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CI) | (B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.11207,
              0.11977,
              0.12893,
              0.1482,
              0.18705,
              0.26485,
              0.41973,
              0.72868
            ],
            [
              0.11179,
              0.1195,
              0.12865,
              0.14794,
              0.18669,
              0.26462,
              0.41944,
              0.72963
            ],
            [
              0.11155,
              0.11926,
              0.12842,
              0.14771,
              0.18659,
              0.26437,
              0.41902,
              0.72825
            ],
            [
              0.11137,
              0.11905,
              0.12822,
              0.14751,
              0.18637,
              0.26393,
              0.41928,
              0.72947
            ],
            [
              0.11124,
              0.11897,
              0.12812,
              0.14738,
              0.18621,
              0.2638,
              0.41899,
              0.72826
            ],
            [
              0.11122,
              0.11894,
              0.1281,
              0.1474,
              0.18632,
              0.26397,
              0.41906,
              0.72881
            ],
            [
              0.11141,
              0.11912,
              0.12828,
              0.14758,
              0.18643,
              0.26419,
              0.41922,
              0.7282
            ],
            [
              0.11194,
              0.11964,
              0.12881,
              0.14811,
              0.18696,
              0.26465,
              0.4194,
              0.72885
            ],
            [
              0.11323,
              0.12094,
              0.13011,
              0.14936,
              0.18826,
              0.26603,
              0.42049,
              0.73086
            ],
            [
              0.11587,
              0.12361,
              0.1328,
              0.15203,
              0.19089,
              0.26869,
              0.42347,
              0.73289
            ],
            [
              0.12046,
              0.1282,
              0.13737,
              0.1566,
              0.19539,
              0.27321,
              0.42832,
              0.73836
            ],
            [
              0.12816,
              0.13583,
              0.14495,
              0.16416,
              0.20289,
              0.28044,
              0.43549,
              0.74566
            ],
            [
              0.14033,
              0.14788,
              0.15684,
              0.176,
              0.21476,
              0.29239,
              0.44713,
              0.7565
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.09152,
              0.09744,
              0.10478,
              0.12027,
              0.15171,
              0.21437,
              0.33905,
              0.58917
            ],
            [
              0.09132,
              0.09723,
              0.10457,
              0.12008,
              0.1515,
              0.21426,
              0.33853,
              0.58958
            ],
            [
              0.09106,
              0.09697,
              0.1043,
              0.11981,
              0.15122,
              0.21401,
              0.33853,
              0.58932
            ],
            [
              0.09088,
              0.09678,
              0.10412,
              0.11962,
              0.15101,
              0.21377,
              0.3383,
              0.58913
            ],
            [
              0.09071,
              0.09659,
              0.10394,
              0.11947,
              0.15088,
              0.21349,
              0.33841,
              0.58799
            ],
            [
              0.09061,
              0.0965,
              0.10382,
              0.11934,
              0.15071,
              0.21363,
              0.33835,
              0.58826
            ],
            [
              0.09072,
              0.0966,
              0.10392,
              0.11946,
              0.15076,
              0.21367,
              0.33843,
              0.58811
            ],
            [
              0.09125,
              0.0971,
              0.10441,
              0.11993,
              0.15129,
              0.21396,
              0.33898,
              0.58827
            ],
            [
              0.09258,
              0.09838,
              0.10569,
              0.12122,
              0.15265,
              0.21549,
              0.34001,
              0.58969
            ],
            [
              0.09514,
              0.10092,
              0.1082,
              0.12367,
              0.15506,
              0.21782,
              0.34253,
              0.59204
            ],
            [
              0.09968,
              0.10539,
              0.11265,
              0.12815,
              0.15941,
              0.22229,
              0.34749,
              0.59633
            ],
            [
              0.10724,
              0.11287,
              0.12006,
              0.13549,
              0.16701,
              0.22952,
              0.35443,
              0.60442
            ],
            [
              0.11945,
              0.12495,
              0.13206,
              0.14737,
              0.17883,
              0.24164,
              0.36612,
              0.61598
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.1033,
              0.11108,
              0.12032,
              0.13965,
              0.17868,
              0.25638,
              0.4114,
              0.72158
            ],
            [
              0.10295,
              0.11077,
              0.12005,
              0.13934,
              0.17828,
              0.2561,
              0.41087,
              0.72015
            ],
            [
              0.10273,
              0.11055,
              0.11981,
              0.13904,
              0.17801,
              0.25604,
              0.41062,
              0.72001
            ],
            [
              0.10251,
              0.11031,
              0.11953,
              0.13883,
              0.17785,
              0.25586,
              0.41078,
              0.72024
            ],
            [
              0.10238,
              0.11017,
              0.11941,
              0.13866,
              0.17762,
              0.2555,
              0.41026,
              0.7209
            ],
            [
              0.10249,
              0.11025,
              0.11942,
              0.13872,
              0.17773,
              0.25549,
              0.41064,
              0.72054
            ],
            [
              0.1029,
              0.11067,
              0.11984,
              0.1391,
              0.17805,
              0.25601,
              0.41097,
              0.72061
            ],
            [
              0.10383,
              0.11157,
              0.12075,
              0.13994,
              0.17889,
              0.25681,
              0.41129,
              0.72205
            ],
            [
              0.10566,
              0.11339,
              0.1225,
              0.14167,
              0.18054,
              0.25817,
              0.41321,
              0.72254
            ],
            [
              0.10898,
              0.11663,
              0.12563,
              0.14472,
              0.18343,
              0.26143,
              0.41585,
              0.72544
            ],
            [
              0.11439,
              0.12183,
              0.13073,
              0.1496,
              0.18821,
              0.26573,
              0.42065,
              0.73079
            ],
            [
              0.12296,
              0.13016,
              0.13887,
              0.15762,
              0.19596,
              0.27319,
              0.42783,
              0.73708
            ],
            [
              0.13585,
              0.14275,
              0.15123,
              0.16962,
              0.20788,
              0.28508,
              0.43899,
              0.74818
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.07264,
              0.07844,
              0.08575,
              0.10122,
              0.13269,
              0.19535,
              0.32012,
              0.57005
            ],
            [
              0.07256,
              0.07836,
              0.08566,
              0.10115,
              0.13257,
              0.19524,
              0.3199,
              0.57064
            ],
            [
              0.07245,
              0.07827,
              0.08557,
              0.10106,
              0.1325,
              0.19517,
              0.31979,
              0.57022
            ],
            [
              0.07248,
              0.07826,
              0.08557,
              0.10104,
              0.13249,
              0.19516,
              0.31988,
              0.57036
            ],
            [
              0.07254,
              0.07831,
              0.08564,
              0.10112,
              0.13246,
              0.19524,
              0.31992,
              0.57054
            ],
            [
              0.07263,
              0.0784,
              0.08571,
              0.10117,
              0.13262,
              0.19535,
              0.31975,
              0.56983
            ],
            [
              0.0729,
              0.07868,
              0.08599,
              0.10146,
              0.13278,
              0.19554,
              0.32031,
              0.57022
            ],
            [
              0.07354,
              0.07938,
              0.08669,
              0.10213,
              0.13357,
              0.19638,
              0.32081,
              0.57073
            ],
            [
              0.075,
              0.08088,
              0.0882,
              0.10362,
              0.13489,
              0.1975,
              0.32238,
              0.57304
            ],
            [
              0.07768,
              0.08355,
              0.09084,
              0.10625,
              0.13746,
              0.20034,
              0.32501,
              0.57538
            ],
            [
              0.0822,
              0.08805,
              0.09536,
              0.11075,
              0.14183,
              0.20426,
              0.32927,
              0.5793
            ],
            [
              0.08972,
              0.0955,
              0.10274,
              0.11806,
              0.14934,
              0.21158,
              0.33654,
              0.58634
            ],
            [
              0.10202,
              0.10769,
              0.11476,
              0.12986,
              0.16115,
              0.22365,
              0.34791,
              0.59711
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.07373,
              0.08178,
              0.09099,
              0.11004,
              0.14871,
              0.22619,
              0.38133,
              0.69119
            ],
            [
              0.07363,
              0.08163,
              0.09079,
              0.1099,
              0.14857,
              0.22619,
              0.38108,
              0.69036
            ],
            [
              0.07352,
              0.08156,
              0.09079,
              0.10984,
              0.14857,
              0.22595,
              0.38076,
              0.69036
            ],
            [
              0.07346,
              0.08144,
              0.09067,
              0.10977,
              0.14847,
              0.226,
              0.38031,
              0.6892
            ],
            [
              0.07343,
              0.08143,
              0.0906,
              0.10968,
              0.1484,
              0.22612,
              0.38086,
              0.68978
            ],
            [
              0.07343,
              0.08141,
              0.09058,
              0.10966,
              0.14839,
              0.22611,
              0.38081,
              0.69025
            ],
            [
              0.07347,
              0.08143,
              0.09061,
              0.10965,
              0.14841,
              0.22576,
              0.3803,
              0.69093
            ],
            [
              0.07381,
              0.08173,
              0.09081,
              0.10987,
              0.14853,
              0.22589,
              0.38042,
              0.69069
            ],
            [
              0.07492,
              0.08262,
              0.09166,
              0.11062,
              0.14918,
              0.22692,
              0.38163,
              0.69093
            ],
            [
              0.07725,
              0.08471,
              0.09351,
              0.11222,
              0.15059,
              0.22792,
              0.38308,
              0.69238
            ],
            [
              0.0809,
              0.08812,
              0.09662,
              0.11489,
              0.15289,
              0.23027,
              0.38425,
              0.69477
            ],
            [
              0.08646,
              0.09323,
              0.10148,
              0.11956,
              0.15721,
              0.23386,
              0.3885,
              0.69705
            ],
            [
              0.09441,
              0.10078,
              0.10867,
              0.1262,
              0.16364,
              0.24003,
              0.39338,
              0.70379
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.0565,
              0.06257,
              0.06981,
              0.08527,
              0.11651,
              0.179,
              0.30342,
              0.55419
            ],
            [
              0.05643,
              0.06251,
              0.06973,
              0.0852,
              0.11644,
              0.1792,
              0.3034,
              0.55414
            ],
            [
              0.05637,
              0.06246,
              0.06966,
              0.08515,
              0.11643,
              0.17914,
              0.30357,
              0.5526
            ],
            [
              0.0563,
              0.06239,
              0.0696,
              0.08507,
              0.1163,
              0.17905,
              0.30332,
              0.554
            ],
            [
              0.05621,
              0.06229,
              0.0695,
              0.08496,
              0.11624,
              0.17895,
              0.30334,
              0.55329
            ],
            [
              0.05621,
              0.0623,
              0.06951,
              0.08493,
              0.11621,
              0.17851,
              0.30377,
              0.55318
            ],
            [
              0.05631,
              0.06241,
              0.06957,
              0.08497,
              0.11614,
              0.17881,
              0.30355,
              0.55244
            ],
            [
              0.05675,
              0.06273,
              0.06987,
              0.08515,
              0.11627,
              0.17902,
              0.3033,
              0.55405
            ],
            [
              0.05765,
              0.06352,
              0.07054,
              0.08575,
              0.11676,
              0.17903,
              0.30374,
              0.553
            ],
            [
              0.0593,
              0.06494,
              0.07184,
              0.08691,
              0.11777,
              0.18037,
              0.30487,
              0.5552
            ],
            [
              0.062,
              0.06735,
              0.0741,
              0.08899,
              0.11967,
              0.18194,
              0.30671,
              0.55603
            ],
            [
              0.06638,
              0.07134,
              0.0779,
              0.09256,
              0.12322,
              0.1851,
              0.30987,
              0.55974
            ],
            [
              0.07338,
              0.07784,
              0.08415,
              0.09849,
              0.12884,
              0.19088,
              0.31472,
              0.56476
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.20673,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.27918,
              0.30266,
              0.31909,
              0.34505,
              0.38594,
              0.45239,
              0.56805,
              0.7854
            ],
            [
              0.28148,
              0.30496,
              0.32139,
              0.34734,
              0.38822,
              0.45467,
              0.57036,
              0.78752
            ],
            [
              0.28448,
              0.30797,
              0.32439,
              0.35035,
              0.39123,
              0.45768,
              0.57339,
              0.79072
            ],
            [
              0.28925,
              0.31273,
              0.32916,
              0.35512,
              0.39599,
              0.46244,
              0.5782,
              0.79553
            ],
            [
              0.29673,
              0.32021,
              0.33663,
              0.36259,
              0.40348,
              0.46992,
              0.58559,
              0.80291
            ],
            [
              0.30796,
              0.33144,
              0.34786,
              0.37381,
              0.41469,
              0.48114,
              0.59688,
              0.81426
            ],
            [
              0.32393,
              0.34739,
              0.36381,
              0.38975,
              0.43062,
              0.49706,
              0.61279,
              0.83019
            ],
            [
              0.34562,
              0.36902,
              0.38541,
              0.41132,
              0.45217,
              0.51859,
              0.63423,
              0.85166
            ],
            [
              0.37442,
              0.39768,
              0.41402,
              0.4399,
              0.48071,
              0.54707,
              0.66265,
              0.88005
            ],
            [
              0.41002,
              0.43305,
              0.44934,
              0.47517,
              0.51594,
              0.5822,
              0.69769,
              0.91499
            ],
            [
              0.45302,
              0.47592,
              0.49212,
              0.51792,
              0.55862,
              0.62482,
              0.74012,
              0.95712
            ],
            [
              0.50807,
              0.53077,
              0.54687,
              0.57267,
              0.61337,
              0.67947,
              0.79457,
              1.01127
            ],
            [
              0.5814,
              0.604,
              0.6201,
              0.6458,
              0.6865,
              0.7526,
              0.8675,
              1.0839
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.24427,
              0.27229,
              0.2927,
              0.32767,
              0.39106,
              0.51227,
              0.75155,
              1.22857
            ],
            [
              0.24626,
              0.27428,
              0.29469,
              0.32966,
              0.39303,
              0.51426,
              0.75354,
              1.23054
            ],
            [
              0.2487,
              0.27672,
              0.29713,
              0.3321,
              0.39546,
              0.51669,
              0.75597,
              1.23292
            ],
            [
              0.25234,
              0.28037,
              0.30078,
              0.33575,
              0.39911,
              0.52034,
              0.75962,
              1.23658
            ],
            [
              0.25753,
              0.28556,
              0.30596,
              0.34094,
              0.40436,
              0.52551,
              0.76475,
              1.24181
            ],
            [
              0.26392,
              0.29194,
              0.31234,
              0.34732,
              0.41074,
              0.5319,
              0.77115,
              1.24812
            ],
            [
              0.27127,
              0.29928,
              0.31968,
              0.35466,
              0.41807,
              0.53928,
              0.77852,
              1.25553
            ],
            [
              0.27939,
              0.30739,
              0.32778,
              0.36276,
              0.42616,
              0.54742,
              0.7867,
              1.26376
            ],
            [
              0.28766,
              0.3156,
              0.33599,
              0.37096,
              0.43437,
              0.55564,
              0.79495,
              1.27195
            ],
            [
              0.29504,
              0.32292,
              0.34329,
              0.37824,
              0.44165,
              0.56298,
              0.80219,
              1.27909
            ],
            [
              0.29963,
              0.32741,
              0.34775,
              0.38268,
              0.44612,
              0.56742,
              0.80672,
              1.28382
            ],
            [
              0.29827,
              0.32597,
              0.34627,
              0.38117,
              0.44447,
              0.56577,
              0.80517,
              1.28217
            ],
            [
              0.2866,
              0.3142,
              0.3344,
              0.3692,
              0.4325,
              0.5539,
              0.7931,
              1.27
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.0254,
              0.04207,
              0.05443,
              0.07532,
              0.11175,
              0.17954,
              0.31522,
              0.59649
            ],
            [
              0.02541,
              0.04207,
              0.05443,
              0.07528,
              0.11163,
              0.17956,
              0.31528,
              0.5964
            ],
            [
              0.02538,
              0.04206,
              0.05442,
              0.07532,
              0.11173,
              0.17951,
              0.31511,
              0.59653
            ],
            [
              0.02539,
              0.04206,
              0.0544,
              0.07533,
              0.11166,
              0.17945,
              0.31495,
              0.59652
            ],
            [
              0.02536,
              0.04205,
              0.05442,
              0.07531,
              0.11168,
              0.17954,
              0.31525,
              0.5965
            ],
            [
              0.02538,
              0.04205,
              0.0544,
              0.07532,
              0.11168,
              0.1794,
              0.31515,
              0.59649
            ],
            [
              0.02534,
              0.04202,
              0.05437,
              0.07528,
              0.11162,
              0.17942,
              0.31504,
              0.59581
            ],
            [
              0.02514,
              0.0419,
              0.05426,
              0.07518,
              0.11165,
              0.17941,
              0.31511,
              0.59641
            ],
            [
              0.02487,
              0.04167,
              0.05404,
              0.07496,
              0.11142,
              0.17914,
              0.31501,
              0.59633
            ],
            [
              0.02456,
              0.04139,
              0.05377,
              0.07469,
              0.11104,
              0.17895,
              0.31474,
              0.5962
            ],
            [
              0.02442,
              0.0412,
              0.0535,
              0.0744,
              0.1108,
              0.1786,
              0.3144,
              0.5956
            ],
            [
              0.0243,
              0.0409,
              0.0532,
              0.0742,
              0.1109,
              0.1784,
              0.3134,
              0.5947
            ],
            [
              0.0245,
              0.0408,
              0.053,
              0.0741,
              0.1106,
              0.1782,
              0.3133,
              0.5936
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02424,
              0.05071,
              0.07274,
              0.11595,
              0.20456,
              0.3861,
              0.7571,
              1.49643
            ],
            [
              0.02424,
              0.05071,
              0.07273,
              0.11592,
              0.20457,
              0.38623,
              0.75738,
              1.49531
            ],
            [
              0.02424,
              0.05071,
              0.07274,
              0.11593,
              0.20457,
              0.38664,
              0.75753,
              1.49524
            ],
            [
              0.02424,
              0.05071,
              0.07273,
              0.11593,
              0.20457,
              0.38669,
              0.75743,
              1.49525
            ],
            [
              0.02423,
              0.0507,
              0.07273,
              0.11594,
              0.20437,
              0.38632,
              0.75577,
              1.4962
            ],
            [
              0.0242,
              0.05069,
              0.07273,
              0.11592,
              0.20443,
              0.38603,
              0.75539,
              1.49741
            ],
            [
              0.02416,
              0.05066,
              0.0727,
              0.11596,
              0.20443,
              0.38632,
              0.75534,
              1.49736
            ],
            [
              0.02403,
              0.05059,
              0.07257,
              0.11583,
              0.20454,
              0.38603,
              0.75554,
              1.49623
            ],
            [
              0.02385,
              0.05039,
              0.07252,
              0.11571,
              0.20447,
              0.38609,
              0.75688,
              1.49565
            ],
            [
              0.02363,
              0.05019,
              0.07228,
              0.11557,
              0.20426,
              0.38613,
              0.75546,
              1.5
            ],
            [
              0.02341,
              0.04995,
              0.07208,
              0.11545,
              0.20419,
              0.38659,
              0.755,
              1.496
            ],
            [
              0.0232,
              0.0497,
              0.0719,
              0.1152,
              0.204,
              0.3863,
              0.7555,
              1.4973
            ],
            [
              0.023,
              0.0495,
              0.0716,
              0.115,
              0.2039,
              0.3866,
              0.7548,
              1.4978
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.28107,
              0.30637,
              0.32408,
              0.35201,
              0.39578,
              0.46596,
              0.58561,
              0.80547
            ],
            [
              0.28337,
              0.30866,
              0.32638,
              0.35431,
              0.39808,
              0.46826,
              0.58789,
              0.80791
            ],
            [
              0.28636,
              0.31166,
              0.32937,
              0.3573,
              0.40106,
              0.47125,
              0.59087,
              0.81088
            ],
            [
              0.29113,
              0.31644,
              0.33415,
              0.36207,
              0.40584,
              0.47602,
              0.59562,
              0.81569
            ],
            [
              0.29857,
              0.32387,
              0.34158,
              0.36951,
              0.41327,
              0.48346,
              0.6031,
              0.8229
            ],
            [
              0.3098,
              0.33509,
              0.3528,
              0.38073,
              0.42449,
              0.49467,
              0.61431,
              0.83426
            ],
            [
              0.32579,
              0.35106,
              0.36876,
              0.39668,
              0.44044,
              0.51061,
              0.63025,
              0.85015
            ],
            [
              0.34762,
              0.37284,
              0.39051,
              0.4184,
              0.46213,
              0.53227,
              0.65187,
              0.87186
            ],
            [
              0.37694,
              0.40202,
              0.41962,
              0.44745,
              0.49114,
              0.56122,
              0.68079,
              0.90065
            ],
            [
              0.41379,
              0.43861,
              0.4561,
              0.48384,
              0.52744,
              0.59742,
              0.71689,
              0.93669
            ],
            [
              0.45842,
              0.48302,
              0.50042,
              0.52812,
              0.57162,
              0.64142,
              0.76062,
              0.98012
            ],
            [
              0.51497,
              0.53937,
              0.55667,
              0.58427,
              0.62777,
              0.69737,
              0.81637,
              1.03537
            ],
            [
              0.5896,
              0.6138,
              0.6311,
              0.6586,
              0.7021,
              0.7717,
              0.8903,
              1.1093
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.23157,
              0.25899,
              0.27879,
              0.31291,
              0.37549,
              0.49627,
              0.73542,
              1.21247
            ],
            [
              0.23357,
              0.26098,
              0.28078,
              0.31491,
              0.37748,
              0.49829,
              0.73741,
              1.21454
            ],
            [
              0.23602,
              0.26344,
              0.28323,
              0.31736,
              0.37994,
              0.50074,
              0.73987,
              1.21692
            ],
            [
              0.23972,
              0.26713,
              0.28692,
              0.32105,
              0.3836,
              0.50448,
              0.74352,
              1.22047
            ],
            [
              0.24494,
              0.27235,
              0.29215,
              0.32627,
              0.38884,
              0.50968,
              0.74877,
              1.22591
            ],
            [
              0.25153,
              0.27893,
              0.29872,
              0.33285,
              0.3954,
              0.51632,
              0.75533,
              1.23232
            ],
            [
              0.2592,
              0.28656,
              0.30635,
              0.34048,
              0.40306,
              0.52397,
              0.76302,
              1.24003
            ],
            [
              0.26769,
              0.295,
              0.31478,
              0.34891,
              0.41151,
              0.53236,
              0.77146,
              1.24856
            ],
            [
              0.27627,
              0.30347,
              0.32324,
              0.35736,
              0.41998,
              0.54093,
              0.77995,
              1.25695
            ],
            [
              0.28388,
              0.31099,
              0.33072,
              0.36483,
              0.42745,
              0.54843,
              0.78739,
              1.26439
            ],
            [
              0.28859,
              0.31556,
              0.33524,
              0.36931,
              0.43191,
              0.55272,
              0.79192,
              1.26882
            ],
            [
              0.28727,
              0.31407,
              0.33367,
              0.36767,
              0.43027,
              0.55117,
              0.79027,
              1.26717
            ],
            [
              0.2756,
              0.3023,
              0.3218,
              0.3557,
              0.4181,
              0.5389,
              0.7781,
              1.2549
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02883,
              0.04664,
              0.05978,
              0.08184,
              0.11967,
              0.18875,
              0.32398,
              0.60214
            ],
            [
              0.02885,
              0.04664,
              0.05973,
              0.08185,
              0.11986,
              0.18877,
              0.32365,
              0.60146
            ],
            [
              0.02884,
              0.04663,
              0.05978,
              0.08183,
              0.11965,
              0.18872,
              0.32398,
              0.60179
            ],
            [
              0.02885,
              0.04664,
              0.05978,
              0.08183,
              0.11968,
              0.18868,
              0.32392,
              0.60146
            ],
            [
              0.02884,
              0.04662,
              0.05977,
              0.08185,
              0.1198,
              0.18875,
              0.32394,
              0.60218
            ],
            [
              0.02883,
              0.04663,
              0.05978,
              0.08184,
              0.11964,
              0.18875,
              0.324,
              0.60197
            ],
            [
              0.02879,
              0.04661,
              0.0597,
              0.08174,
              0.1198,
              0.18875,
              0.32366,
              0.60204
            ],
            [
              0.02865,
              0.04649,
              0.05964,
              0.0817,
              0.11968,
              0.18864,
              0.32388,
              0.60163
            ],
            [
              0.02841,
              0.04634,
              0.05944,
              0.08152,
              0.11951,
              0.18842,
              0.32362,
              0.60188
            ],
            [
              0.028,
              0.04602,
              0.05913,
              0.08118,
              0.11902,
              0.18808,
              0.32348,
              0.6017
            ],
            [
              0.02777,
              0.0457,
              0.0589,
              0.0808,
              0.1187,
              0.1876,
              0.323,
              0.6017
            ],
            [
              0.0278,
              0.0456,
              0.0586,
              0.0807,
              0.1185,
              0.1873,
              0.3216,
              0.6009
            ],
            [
              0.028,
              0.0454,
              0.0585,
              0.0806,
              0.1184,
              0.187,
              0.3215,
              0.5995
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02386,
              0.04949,
              0.07107,
              0.11393,
              0.20269,
              0.38534,
              0.75449,
              1.49961
            ],
            [
              0.02385,
              0.04947,
              0.07108,
              0.11394,
              0.20285,
              0.3855,
              0.75536,
              1.49651
            ],
            [
              0.02385,
              0.04947,
              0.07108,
              0.11393,
              0.20285,
              0.38548,
              0.75539,
              1.49643
            ],
            [
              0.02385,
              0.0495,
              0.07106,
              0.11396,
              0.20272,
              0.38561,
              0.75476,
              1.49617
            ],
            [
              0.02384,
              0.04948,
              0.07106,
              0.11394,
              0.20279,
              0.38568,
              0.75586,
              1.49541
            ],
            [
              0.02378,
              0.04944,
              0.07103,
              0.11392,
              0.20274,
              0.38526,
              0.75579,
              1.49921
            ],
            [
              0.02369,
              0.04933,
              0.07092,
              0.11388,
              0.20281,
              0.38516,
              0.75494,
              1.4997
            ],
            [
              0.02351,
              0.04919,
              0.07078,
              0.11375,
              0.20268,
              0.38513,
              0.75432,
              1.4997
            ],
            [
              0.02329,
              0.04896,
              0.07057,
              0.11362,
              0.20262,
              0.38509,
              0.75553,
              1.49936
            ],
            [
              0.02305,
              0.04867,
              0.07032,
              0.11345,
              0.20244,
              0.38514,
              0.7551,
              1.4974
            ],
            [
              0.02272,
              0.04837,
              0.07007,
              0.11325,
              0.20237,
              0.38547,
              0.7551,
              1.4961
            ],
            [
              0.0225,
              0.0481,
              0.0697,
              0.1131,
              0.2022,
              0.3853,
              0.7547,
              1.4975
            ],
            [
              0.0223,
              0.0478,
              0.0695,
              0.1126,
              0.202,
              0.385,
              0.7542,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.25546,
              0.279,
              0.29545,
              0.32143,
              0.36234,
              0.4288,
              0.54454,
              0.76189
            ],
            [
              0.25713,
              0.28068,
              0.29714,
              0.32312,
              0.36404,
              0.4305,
              0.54623,
              0.76357
            ],
            [
              0.25951,
              0.28307,
              0.29954,
              0.32552,
              0.36643,
              0.4329,
              0.5486,
              0.76578
            ],
            [
              0.26355,
              0.28713,
              0.3036,
              0.32959,
              0.3705,
              0.43699,
              0.55273,
              0.77016
            ],
            [
              0.2702,
              0.29379,
              0.31027,
              0.33627,
              0.3772,
              0.44369,
              0.55939,
              0.77667
            ],
            [
              0.28082,
              0.30442,
              0.32092,
              0.34692,
              0.38787,
              0.45436,
              0.57008,
              0.78728
            ],
            [
              0.29695,
              0.32057,
              0.33707,
              0.36309,
              0.40404,
              0.47055,
              0.58627,
              0.80349
            ],
            [
              0.3203,
              0.34391,
              0.36042,
              0.38644,
              0.42739,
              0.4939,
              0.60962,
              0.82687
            ],
            [
              0.35285,
              0.37642,
              0.39289,
              0.4189,
              0.45983,
              0.52631,
              0.64202,
              0.85925
            ],
            [
              0.39774,
              0.42126,
              0.43773,
              0.46373,
              0.50467,
              0.57115,
              0.68689,
              0.90419
            ],
            [
              0.45452,
              0.47882,
              0.49582,
              0.52272,
              0.56462,
              0.63202,
              0.74812,
              0.96562
            ],
            [
              0.52737,
              0.55247,
              0.57007,
              0.59787,
              0.64127,
              0.71057,
              0.82867,
              1.04687
            ],
            [
              0.6242,
              0.6501,
              0.6684,
              0.6974,
              0.7425,
              0.8139,
              0.9341,
              1.1542
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.19121,
              0.21935,
              0.23977,
              0.27474,
              0.33812,
              0.45946,
              0.69876,
              1.17577
            ],
            [
              0.19346,
              0.22161,
              0.24204,
              0.277,
              0.34038,
              0.46172,
              0.70102,
              1.17804
            ],
            [
              0.19612,
              0.22427,
              0.2447,
              0.27967,
              0.34306,
              0.46435,
              0.70366,
              1.18072
            ],
            [
              0.20001,
              0.22817,
              0.24862,
              0.28358,
              0.34696,
              0.46825,
              0.70757,
              1.18468
            ],
            [
              0.20558,
              0.23376,
              0.2542,
              0.28916,
              0.35252,
              0.47386,
              0.71317,
              1.19011
            ],
            [
              0.2135,
              0.24171,
              0.26216,
              0.29712,
              0.36047,
              0.48177,
              0.72109,
              1.19812
            ],
            [
              0.225,
              0.25325,
              0.27371,
              0.30866,
              0.37198,
              0.49323,
              0.73255,
              1.20953
            ],
            [
              0.24277,
              0.27105,
              0.2915,
              0.32643,
              0.3897,
              0.51084,
              0.75009,
              1.22726
            ],
            [
              0.2642,
              0.29239,
              0.31276,
              0.34762,
              0.41078,
              0.53175,
              0.77095,
              1.24815
            ],
            [
              0.28256,
              0.31082,
              0.33123,
              0.36606,
              0.42914,
              0.54986,
              0.78899,
              1.26609
            ],
            [
              0.29728,
              0.32564,
              0.34607,
              0.3809,
              0.44383,
              0.56442,
              0.80332,
              1.28042
            ],
            [
              0.30717,
              0.33567,
              0.35607,
              0.39087,
              0.45367,
              0.57407,
              0.81297,
              1.28987
            ],
            [
              0.3092,
              0.3378,
              0.3582,
              0.3929,
              0.4555,
              0.5757,
              0.8142,
              1.2908
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02538,
              0.04213,
              0.05448,
              0.07536,
              0.11172,
              0.17953,
              0.31483,
              0.59648
            ],
            [
              0.0254,
              0.04213,
              0.05448,
              0.07537,
              0.11173,
              0.17955,
              0.31505,
              0.59654
            ],
            [
              0.02543,
              0.04219,
              0.05451,
              0.07535,
              0.11187,
              0.1796,
              0.31532,
              0.59646
            ],
            [
              0.02546,
              0.04218,
              0.05449,
              0.07542,
              0.11182,
              0.17951,
              0.31527,
              0.59641
            ],
            [
              0.02552,
              0.04222,
              0.05453,
              0.07547,
              0.11184,
              0.17964,
              0.31535,
              0.59654
            ],
            [
              0.02556,
              0.04229,
              0.05457,
              0.0755,
              0.1119,
              0.17969,
              0.31537,
              0.59639
            ],
            [
              0.02563,
              0.04229,
              0.05465,
              0.07549,
              0.11187,
              0.17969,
              0.31538,
              0.59641
            ],
            [
              0.02564,
              0.04228,
              0.05465,
              0.0755,
              0.11188,
              0.17968,
              0.31532,
              0.59658
            ],
            [
              0.02552,
              0.04217,
              0.05454,
              0.07541,
              0.11179,
              0.17965,
              0.31539,
              0.59647
            ],
            [
              0.02584,
              0.04242,
              0.05472,
              0.07558,
              0.11183,
              0.17959,
              0.31536,
              0.5965
            ],
            [
              0.02761,
              0.0446,
              0.0571,
              0.0782,
              0.1146,
              0.1815,
              0.3161,
              0.5958
            ],
            [
              0.0297,
              0.047,
              0.0599,
              0.0815,
              0.1186,
              0.1863,
              0.3199,
              0.5982
            ],
            [
              0.0325,
              0.0503,
              0.0634,
              0.0856,
              0.1233,
              0.1915,
              0.3248,
              0.6012
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02436,
              0.05092,
              0.07299,
              0.11601,
              0.20451,
              0.38658,
              0.75533,
              1.4968
            ],
            [
              0.02437,
              0.05093,
              0.073,
              0.11602,
              0.20455,
              0.38661,
              0.75604,
              1.49611
            ],
            [
              0.02439,
              0.05094,
              0.073,
              0.11605,
              0.20463,
              0.38635,
              0.75596,
              1.49686
            ],
            [
              0.02443,
              0.05099,
              0.07306,
              0.11606,
              0.20463,
              0.38638,
              0.75471,
              1.4967
            ],
            [
              0.02449,
              0.05105,
              0.07299,
              0.11612,
              0.20454,
              0.38623,
              0.75527,
              1.49682
            ],
            [
              0.02457,
              0.05115,
              0.07314,
              0.11619,
              0.20462,
              0.38633,
              0.75516,
              1.49652
            ],
            [
              0.02468,
              0.05125,
              0.07329,
              0.11625,
              0.20467,
              0.38618,
              0.7556,
              1.49741
            ],
            [
              0.02484,
              0.05136,
              0.07329,
              0.11638,
              0.20471,
              0.38687,
              0.75662,
              1.5005
            ],
            [
              0.02488,
              0.05138,
              0.07334,
              0.11638,
              0.20471,
              0.38632,
              0.75626,
              1.49656
            ],
            [
              0.02524,
              0.05172,
              0.07359,
              0.11653,
              0.20487,
              0.3863,
              0.75546,
              1.4964
            ],
            [
              0.02546,
              0.05201,
              0.07398,
              0.11682,
              0.20491,
              0.38632,
              0.755,
              1.4959
            ],
            [
              0.0257,
              0.0524,
              0.0742,
              0.1172,
              0.2051,
              0.3865,
              0.7557,
              1.4986
            ],
            [
              0.0261,
              0.0528,
              0.0746,
              0.1177,
              0.2053,
              0.3865,
              0.7548,
              1.496
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.23547,
              0.2599,
              0.27713,
              0.30463,
              0.34815,
              0.41812,
              0.53752,
              0.75733
            ],
            [
              0.23742,
              0.26186,
              0.2791,
              0.30661,
              0.35012,
              0.42009,
              0.53948,
              0.75929
            ],
            [
              0.24005,
              0.26449,
              0.28174,
              0.30924,
              0.35277,
              0.42276,
              0.54218,
              0.76199
            ],
            [
              0.24427,
              0.26874,
              0.28599,
              0.3135,
              0.35702,
              0.42701,
              0.54641,
              0.76616
            ],
            [
              0.25099,
              0.27547,
              0.29272,
              0.32023,
              0.36376,
              0.43377,
              0.55319,
              0.77291
            ],
            [
              0.26139,
              0.28586,
              0.30312,
              0.33064,
              0.37417,
              0.44419,
              0.56363,
              0.7835
            ],
            [
              0.27698,
              0.30142,
              0.31867,
              0.34617,
              0.38971,
              0.45973,
              0.57918,
              0.79906
            ],
            [
              0.29952,
              0.3239,
              0.3411,
              0.36855,
              0.41206,
              0.48206,
              0.60151,
              0.82116
            ],
            [
              0.33086,
              0.35509,
              0.37219,
              0.39954,
              0.44299,
              0.51296,
              0.63237,
              0.85195
            ],
            [
              0.37104,
              0.39496,
              0.41184,
              0.43897,
              0.48221,
              0.55206,
              0.67129,
              0.89099
            ],
            [
              0.42122,
              0.44502,
              0.46172,
              0.48862,
              0.53172,
              0.60132,
              0.72032,
              0.93972
            ],
            [
              0.48467,
              0.50837,
              0.52487,
              0.55147,
              0.59427,
              0.66387,
              0.78257,
              1.00147
            ],
            [
              0.567,
              0.5907,
              0.6071,
              0.6334,
              0.6759,
              0.7453,
              0.8638,
              1.0825
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.18515,
              0.21238,
              0.23215,
              0.26628,
              0.3289,
              0.44987,
              0.68885,
              1.16577
            ],
            [
              0.18745,
              0.21468,
              0.23445,
              0.26858,
              0.3312,
              0.45213,
              0.6912,
              1.16814
            ],
            [
              0.19022,
              0.21745,
              0.23722,
              0.27134,
              0.33397,
              0.4549,
              0.69398,
              1.17102
            ],
            [
              0.19432,
              0.22157,
              0.24133,
              0.27547,
              0.33808,
              0.45904,
              0.69805,
              1.17488
            ],
            [
              0.20045,
              0.22769,
              0.24746,
              0.2816,
              0.34419,
              0.46516,
              0.70413,
              1.18111
            ],
            [
              0.20925,
              0.23649,
              0.25626,
              0.2904,
              0.35299,
              0.47394,
              0.71292,
              1.18992
            ],
            [
              0.22227,
              0.24951,
              0.26928,
              0.30341,
              0.366,
              0.48692,
              0.72592,
              1.20293
            ],
            [
              0.24217,
              0.26944,
              0.2892,
              0.32331,
              0.3859,
              0.5068,
              0.74585,
              1.22286
            ],
            [
              0.26469,
              0.29187,
              0.31154,
              0.34558,
              0.4081,
              0.52886,
              0.76795,
              1.24485
            ],
            [
              0.28417,
              0.312,
              0.33215,
              0.36667,
              0.42941,
              0.55012,
              0.78919,
              1.26619
            ],
            [
              0.30112,
              0.32982,
              0.35066,
              0.38599,
              0.44952,
              0.57062,
              0.80982,
              1.28662
            ],
            [
              0.31607,
              0.34597,
              0.36777,
              0.40437,
              0.46887,
              0.59037,
              0.82997,
              1.30697
            ],
            [
              0.3296,
              0.3609,
              0.3841,
              0.4225,
              0.4886,
              0.6111,
              0.8509,
              1.3283
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02797,
              0.04598,
              0.05921,
              0.08138,
              0.11922,
              0.18812,
              0.3234,
              0.60154
            ],
            [
              0.02798,
              0.04598,
              0.05921,
              0.08139,
              0.11924,
              0.18808,
              0.32336,
              0.60164
            ],
            [
              0.02799,
              0.04599,
              0.05924,
              0.0814,
              0.11937,
              0.1882,
              0.32327,
              0.60125
            ],
            [
              0.02802,
              0.04604,
              0.05929,
              0.08146,
              0.1192,
              0.1882,
              0.32317,
              0.60175
            ],
            [
              0.02806,
              0.04605,
              0.05932,
              0.08148,
              0.11922,
              0.18823,
              0.32311,
              0.60183
            ],
            [
              0.0281,
              0.04613,
              0.05935,
              0.08149,
              0.11946,
              0.18826,
              0.32334,
              0.6011
            ],
            [
              0.02818,
              0.04618,
              0.05942,
              0.08158,
              0.11951,
              0.1883,
              0.32337,
              0.60106
            ],
            [
              0.02835,
              0.04633,
              0.05959,
              0.08174,
              0.1195,
              0.18833,
              0.32312,
              0.60188
            ],
            [
              0.02858,
              0.04645,
              0.05973,
              0.08187,
              0.11978,
              0.18846,
              0.32348,
              0.60183
            ],
            [
              0.02866,
              0.04627,
              0.05961,
              0.08188,
              0.11969,
              0.18845,
              0.32316,
              0.60149
            ],
            [
              0.02907,
              0.04658,
              0.05978,
              0.082,
              0.1199,
              0.1883,
              0.323,
              0.6009
            ],
            [
              0.0297,
              0.047,
              0.0601,
              0.0823,
              0.1203,
              0.1885,
              0.3219,
              0.6003
            ],
            [
              0.0304,
              0.0477,
              0.0607,
              0.0828,
              0.1207,
              0.1888,
              0.3225,
              0.5988
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02331,
              0.04898,
              0.0706,
              0.1136,
              0.20253,
              0.38523,
              0.75481,
              1.49688
            ],
            [
              0.02332,
              0.04899,
              0.07057,
              0.11362,
              0.20255,
              0.38515,
              0.75547,
              1.49632
            ],
            [
              0.02334,
              0.04901,
              0.07059,
              0.11364,
              0.20259,
              0.38515,
              0.75608,
              1.49504
            ],
            [
              0.02334,
              0.04901,
              0.07061,
              0.11362,
              0.20253,
              0.38515,
              0.75574,
              1.49509
            ],
            [
              0.02336,
              0.04901,
              0.07065,
              0.11365,
              0.20258,
              0.3852,
              0.75475,
              1.49682
            ],
            [
              0.02337,
              0.04901,
              0.07065,
              0.11366,
              0.20259,
              0.38527,
              0.75477,
              1.49684
            ],
            [
              0.02335,
              0.04901,
              0.07064,
              0.11367,
              0.20265,
              0.38531,
              0.75488,
              1.49676
            ],
            [
              0.02341,
              0.04907,
              0.07066,
              0.11368,
              0.20268,
              0.38528,
              0.75554,
              1.49617
            ],
            [
              0.02352,
              0.049,
              0.07065,
              0.11369,
              0.20261,
              0.38534,
              0.75589,
              1.49661
            ],
            [
              0.02423,
              0.05038,
              0.0721,
              0.11495,
              0.20323,
              0.38511,
              0.75448,
              1.4965
            ],
            [
              0.02507,
              0.05219,
              0.07427,
              0.11714,
              0.20503,
              0.38686,
              0.7561,
              1.4959
            ],
            [
              0.0263,
              0.0548,
              0.0774,
              0.1204,
              0.2074,
              0.3875,
              0.7561,
              1.4959
            ],
            [
              0.0282,
              0.0584,
              0.0822,
              0.1255,
              0.2121,
              0.3899,
              0.7568,
              1.4992
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.15492,
              0.18425,
              0.20529,
              0.23767,
              0.286,
              0.35962,
              0.48111,
              0.70174
            ],
            [
              0.15729,
              0.1866,
              0.20764,
              0.24002,
              0.28834,
              0.36196,
              0.4835,
              0.70393
            ],
            [
              0.16025,
              0.18959,
              0.21063,
              0.24302,
              0.29135,
              0.36498,
              0.48648,
              0.7072
            ],
            [
              0.1649,
              0.19423,
              0.21527,
              0.24765,
              0.29598,
              0.36962,
              0.49112,
              0.71157
            ],
            [
              0.17208,
              0.2014,
              0.22243,
              0.25482,
              0.30315,
              0.37679,
              0.49829,
              0.71901
            ],
            [
              0.18314,
              0.21246,
              0.23348,
              0.26586,
              0.3142,
              0.38785,
              0.50936,
              0.73007
            ],
            [
              0.20015,
              0.22946,
              0.25045,
              0.28282,
              0.33117,
              0.40483,
              0.52634,
              0.74707
            ],
            [
              0.22586,
              0.25516,
              0.27613,
              0.30848,
              0.35686,
              0.43055,
              0.55212,
              0.77284
            ],
            [
              0.26243,
              0.29205,
              0.31316,
              0.34569,
              0.39428,
              0.46814,
              0.58983,
              0.81045
            ],
            [
              0.30815,
              0.33932,
              0.36146,
              0.39533,
              0.44505,
              0.51967,
              0.64169,
              0.86249
            ],
            [
              0.3641,
              0.39714,
              0.42062,
              0.45652,
              0.50882,
              0.58582,
              0.70932,
              0.93052
            ],
            [
              0.43337,
              0.46867,
              0.49377,
              0.53217,
              0.58777,
              0.66797,
              0.79437,
              1.01697
            ],
            [
              0.5216,
              0.5592,
              0.5862,
              0.6277,
              0.6873,
              0.7716,
              0.9015,
              1.1268
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.11626,
              0.14329,
              0.16344,
              0.1983,
              0.26164,
              0.38282,
              0.62222,
              1.09917
            ],
            [
              0.11838,
              0.1454,
              0.16555,
              0.20041,
              0.26375,
              0.38492,
              0.62428,
              1.10124
            ],
            [
              0.12095,
              0.14797,
              0.16812,
              0.20297,
              0.26631,
              0.38752,
              0.62687,
              1.10392
            ],
            [
              0.12481,
              0.15183,
              0.17198,
              0.20683,
              0.27017,
              0.39134,
              0.6307,
              1.10768
            ],
            [
              0.13061,
              0.15763,
              0.17777,
              0.21261,
              0.27594,
              0.39715,
              0.63653,
              1.11341
            ],
            [
              0.1393,
              0.1663,
              0.18644,
              0.22124,
              0.28455,
              0.40576,
              0.64516,
              1.12222
            ],
            [
              0.15179,
              0.17877,
              0.19886,
              0.2336,
              0.29687,
              0.4181,
              0.65754,
              1.13463
            ],
            [
              0.1679,
              0.19512,
              0.21525,
              0.24996,
              0.31319,
              0.43436,
              0.67385,
              1.15086
            ],
            [
              0.18599,
              0.2143,
              0.23501,
              0.27024,
              0.33365,
              0.45483,
              0.6943,
              1.17145
            ],
            [
              0.20506,
              0.23484,
              0.25643,
              0.29262,
              0.35682,
              0.47823,
              0.71759,
              1.19489
            ],
            [
              0.22371,
              0.25534,
              0.27819,
              0.31574,
              0.38099,
              0.50292,
              0.74252,
              1.21952
            ],
            [
              0.23937,
              0.27317,
              0.29777,
              0.33727,
              0.40417,
              0.52667,
              0.76647,
              1.24347
            ],
            [
              0.2481,
              0.2844,
              0.311,
              0.3534,
              0.4229,
              0.5469,
              0.7869,
              1.2642
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.03159,
              0.05401,
              0.06924,
              0.09266,
              0.12973,
              0.19594,
              0.3278,
              0.6034
            ],
            [
              0.03156,
              0.05401,
              0.06924,
              0.09262,
              0.12988,
              0.1961,
              0.32793,
              0.60367
            ],
            [
              0.03158,
              0.054,
              0.06925,
              0.09264,
              0.12975,
              0.196,
              0.32795,
              0.60281
            ],
            [
              0.03159,
              0.05401,
              0.06925,
              0.09264,
              0.12974,
              0.19589,
              0.32789,
              0.60367
            ],
            [
              0.0316,
              0.05402,
              0.06926,
              0.09267,
              0.12975,
              0.19595,
              0.32796,
              0.60279
            ],
            [
              0.03161,
              0.05406,
              0.06931,
              0.09267,
              0.12978,
              0.19606,
              0.32797,
              0.60273
            ],
            [
              0.03169,
              0.05413,
              0.06938,
              0.09271,
              0.12993,
              0.19601,
              0.32794,
              0.60304
            ],
            [
              0.03194,
              0.05439,
              0.06959,
              0.09292,
              0.1299,
              0.19604,
              0.3277,
              0.6027
            ],
            [
              0.03369,
              0.056,
              0.07104,
              0.09408,
              0.13087,
              0.19664,
              0.32804,
              0.60369
            ],
            [
              0.0378,
              0.0609,
              0.0762,
              0.0989,
              0.13448,
              0.19869,
              0.32924,
              0.60388
            ],
            [
              0.04322,
              0.06737,
              0.08333,
              0.1066,
              0.14185,
              0.2047,
              0.3325,
              0.6047
            ],
            [
              0.0499,
              0.0754,
              0.0922,
              0.1165,
              0.1517,
              0.2134,
              0.3389,
              0.6084
            ],
            [
              0.0576,
              0.0848,
              0.1031,
              0.1286,
              0.1645,
              0.2246,
              0.3477,
              0.6131
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.0211,
              0.04757,
              0.07004,
              0.11394,
              0.20321,
              0.38585,
              0.75535,
              1.49719
            ],
            [
              0.02111,
              0.0476,
              0.07004,
              0.11393,
              0.20317,
              0.38576,
              0.75601,
              1.49625
            ],
            [
              0.02112,
              0.04761,
              0.07003,
              0.11392,
              0.20319,
              0.38558,
              0.75532,
              1.49736
            ],
            [
              0.02111,
              0.0476,
              0.07003,
              0.11393,
              0.20318,
              0.38577,
              0.75611,
              1.49715
            ],
            [
              0.0211,
              0.04761,
              0.07004,
              0.11392,
              0.20319,
              0.38557,
              0.75487,
              1.4957
            ],
            [
              0.02108,
              0.04757,
              0.07003,
              0.11395,
              0.20321,
              0.38584,
              0.75544,
              1.50024
            ],
            [
              0.02112,
              0.0476,
              0.07007,
              0.11398,
              0.20325,
              0.38579,
              0.7552,
              1.49757
            ],
            [
              0.02185,
              0.04825,
              0.07051,
              0.11427,
              0.20335,
              0.38568,
              0.75542,
              1.49615
            ],
            [
              0.02325,
              0.05037,
              0.07267,
              0.11585,
              0.20407,
              0.38604,
              0.75519,
              1.49756
            ],
            [
              0.02537,
              0.05343,
              0.07585,
              0.11877,
              0.20612,
              0.38683,
              0.75562,
              1.49699
            ],
            [
              0.02827,
              0.05766,
              0.08041,
              0.12294,
              0.20907,
              0.38821,
              0.75641,
              1.4956
            ],
            [
              0.0321,
              0.0632,
              0.0867,
              0.1289,
              0.2135,
              0.3905,
              0.7566,
              1.4964
            ],
            [
              0.0375,
              0.0701,
              0.095,
              0.1377,
              0.2206,
              0.3946,
              0.758,
              1.4966
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.15481,
              0.18414,
              0.20518,
              0.23758,
              0.28591,
              0.35952,
              0.481,
              0.70156
            ],
            [
              0.15719,
              0.18648,
              0.20753,
              0.23992,
              0.28825,
              0.36186,
              0.48339,
              0.704
            ],
            [
              0.16015,
              0.18948,
              0.21052,
              0.24292,
              0.29126,
              0.36489,
              0.48637,
              0.70707
            ],
            [
              0.16479,
              0.19412,
              0.21516,
              0.24757,
              0.2959,
              0.36952,
              0.491,
              0.71151
            ],
            [
              0.17197,
              0.20129,
              0.22232,
              0.25472,
              0.30306,
              0.3767,
              0.4982,
              0.71887
            ],
            [
              0.18304,
              0.21235,
              0.23337,
              0.26577,
              0.31411,
              0.38775,
              0.50926,
              0.72994
            ],
            [
              0.20006,
              0.22935,
              0.25035,
              0.28273,
              0.33109,
              0.40474,
              0.52623,
              0.74669
            ],
            [
              0.22578,
              0.25506,
              0.27603,
              0.3084,
              0.35679,
              0.43047,
              0.55201,
              0.77272
            ],
            [
              0.26236,
              0.29197,
              0.31309,
              0.34562,
              0.39422,
              0.46807,
              0.58974,
              0.81025
            ],
            [
              0.30811,
              0.33926,
              0.36141,
              0.39527,
              0.44501,
              0.51962,
              0.64169,
              0.86239
            ],
            [
              0.36408,
              0.39712,
              0.4206,
              0.45652,
              0.50882,
              0.58582,
              0.70922,
              0.93042
            ],
            [
              0.43337,
              0.46867,
              0.49377,
              0.53227,
              0.58777,
              0.66797,
              0.79437,
              1.01687
            ],
            [
              0.5216,
              0.5593,
              0.5862,
              0.6278,
              0.6874,
              0.7717,
              0.9015,
              1.1268
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.11623,
              0.14327,
              0.16343,
              0.1983,
              0.26166,
              0.38284,
              0.62223,
              1.09917
            ],
            [
              0.11835,
              0.14538,
              0.16554,
              0.20041,
              0.26377,
              0.38494,
              0.62431,
              1.10134
            ],
            [
              0.12091,
              0.14795,
              0.16811,
              0.20297,
              0.26633,
              0.38755,
              0.62688,
              1.10392
            ],
            [
              0.12477,
              0.15182,
              0.17197,
              0.20683,
              0.2702,
              0.39137,
              0.63074,
              1.10778
            ],
            [
              0.13058,
              0.15761,
              0.17776,
              0.21261,
              0.27596,
              0.39718,
              0.63654,
              1.11351
            ],
            [
              0.13926,
              0.16628,
              0.18642,
              0.22124,
              0.28457,
              0.40578,
              0.64518,
              1.12212
            ],
            [
              0.15176,
              0.17875,
              0.19885,
              0.2336,
              0.29689,
              0.41812,
              0.65756,
              1.13463
            ],
            [
              0.16786,
              0.19509,
              0.21523,
              0.24995,
              0.3132,
              0.43438,
              0.67386,
              1.15086
            ],
            [
              0.18595,
              0.21427,
              0.23498,
              0.27023,
              0.33365,
              0.45483,
              0.6943,
              1.17145
            ],
            [
              0.20505,
              0.23484,
              0.25644,
              0.29264,
              0.35685,
              0.47827,
              0.71759,
              1.19489
            ],
            [
              0.22366,
              0.2553,
              0.27815,
              0.31572,
              0.38098,
              0.50292,
              0.74252,
              1.21952
            ],
            [
              0.23937,
              0.27317,
              0.29767,
              0.33727,
              0.40407,
              0.52667,
              0.76647,
              1.24347
            ],
            [
              0.248,
              0.2843,
              0.311,
              0.3534,
              0.4229,
              0.5469,
              0.7869,
              1.2642
            ]
          ]
        },
        "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.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.03155,
              0.05398,
              0.06925,
              0.09266,
              0.12974,
              0.19589,
              0.32779,
              0.60349
            ],
            [
              0.03152,
              0.05398,
              0.06924,
              0.09263,
              0.12989,
              0.19608,
              0.32785,
              0.60333
            ],
            [
              0.03154,
              0.05398,
              0.06925,
              0.09265,
              0.12976,
              0.19601,
              0.32794,
              0.60282
            ],
            [
              0.03155,
              0.05399,
              0.06925,
              0.09266,
              0.12974,
              0.19585,
              0.32783,
              0.60358
            ],
            [
              0.03154,
              0.05401,
              0.06926,
              0.09268,
              0.12976,
              0.19605,
              0.32795,
              0.60299
            ],
            [
              0.03157,
              0.05404,
              0.06932,
              0.09268,
              0.12979,
              0.1961,
              0.32794,
              0.60264
            ],
            [
              0.03164,
              0.05411,
              0.06937,
              0.09271,
              0.12994,
              0.19597,
              0.3279,
              0.60357
            ],
            [
              0.03189,
              0.05437,
              0.06961,
              0.09294,
              0.1299,
              0.19602,
              0.32769,
              0.60279
            ],
            [
              0.03366,
              0.05598,
              0.07105,
              0.0941,
              0.13087,
              0.19662,
              0.328,
              0.60366
            ],
            [
              0.03777,
              0.06089,
              0.0762,
              0.09888,
              0.13449,
              0.19867,
              0.32919,
              0.60403
            ],
            [
              0.04321,
              0.06737,
              0.08335,
              0.10662,
              0.14187,
              0.2046,
              0.3324,
              0.6048
            ],
            [
              0.0499,
              0.0754,
              0.0923,
              0.1165,
              0.1517,
              0.2132,
              0.3389,
              0.6084
            ],
            [
              0.0576,
              0.0849,
              0.103,
              0.1287,
              0.1645,
              0.2246,
              0.3477,
              0.6134
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00487,
            0.00973,
            0.01945,
            0.03891,
            0.0778,
            0.15561,
            0.31122
          ],
          "values": [
            [
              0.02112,
              0.0476,
              0.07007,
              0.11398,
              0.20323,
              0.38587,
              0.75533,
              1.49567
            ],
            [
              0.02114,
              0.04762,
              0.07007,
              0.11397,
              0.2032,
              0.38577,
              0.75578,
              1.49572
            ],
            [
              0.02114,
              0.04763,
              0.07006,
              0.11395,
              0.20322,
              0.38558,
              0.7555,
              1.49724
            ],
            [
              0.02114,
              0.04761,
              0.07006,
              0.11397,
              0.20321,
              0.38578,
              0.75579,
              1.49582
            ],
            [
              0.02113,
              0.04757,
              0.07007,
              0.11395,
              0.20323,
              0.3856,
              0.75534,
              1.49797
            ],
            [
              0.0211,
              0.0476,
              0.07007,
              0.11398,
              0.20325,
              0.38586,
              0.75542,
              1.49683
            ],
            [
              0.02114,
              0.04762,
              0.0701,
              0.11402,
              0.20328,
              0.38566,
              0.75518,
              1.49755
            ],
            [
              0.02187,
              0.04827,
              0.07055,
              0.11431,
              0.20333,
              0.38567,
              0.75541,
              1.49594
            ],
            [
              0.02326,
              0.05039,
              0.0727,
              0.11588,
              0.20411,
              0.38605,
              0.75518,
              1.49746
            ],
            [
              0.02537,
              0.05344,
              0.07587,
              0.1188,
              0.20616,
              0.3868,
              0.75558,
              1.49695
            ],
            [
              0.02827,
              0.05768,
              0.08043,
              0.12298,
              0.20911,
              0.38832,
              0.75591,
              1.4958
            ],
            [
              0.0322,
              0.0631,
              0.0866,
              0.129,
              0.2135,
              0.3905,
              0.7566,
              1.4965
            ],
            [
              0.0374,
              0.0701,
              0.095,
              0.1377,
              0.2205,
              0.3946,
              0.758,
              1.4967
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CI) | (!A&B&!CI) | (!A&!B&CI) | (A&B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.09336,
              0.08312,
              0.07393,
              0.05619,
              0.021,
              -0.04939,
              -0.19042,
              -0.47271
            ],
            [
              0.09312,
              0.08288,
              0.07367,
              0.0559,
              0.02072,
              -0.04966,
              -0.19069,
              -0.47299
            ],
            [
              0.09286,
              0.08262,
              0.07344,
              0.05568,
              0.0205,
              -0.04989,
              -0.19091,
              -0.47322
            ],
            [
              0.09267,
              0.08241,
              0.07322,
              0.05546,
              0.02028,
              -0.0501,
              -0.19113,
              -0.47343
            ],
            [
              0.09255,
              0.08229,
              0.07311,
              0.05536,
              0.02017,
              -0.05021,
              -0.19124,
              -0.47354
            ],
            [
              0.09255,
              0.08232,
              0.07311,
              0.05535,
              0.02018,
              -0.05021,
              -0.19124,
              -0.47354
            ],
            [
              0.09267,
              0.08245,
              0.07326,
              0.05551,
              0.02033,
              -0.05006,
              -0.19109,
              -0.47339
            ],
            [
              0.09313,
              0.08289,
              0.07369,
              0.05594,
              0.02077,
              -0.04961,
              -0.19064,
              -0.47295
            ],
            [
              0.09416,
              0.08394,
              0.07476,
              0.05701,
              0.02183,
              -0.04853,
              -0.18957,
              -0.47188
            ],
            [
              0.09648,
              0.08625,
              0.07708,
              0.05934,
              0.0242,
              -0.04618,
              -0.18722,
              -0.46953
            ],
            [
              0.10059,
              0.09036,
              0.08117,
              0.06348,
              0.02835,
              -0.04202,
              -0.18305,
              -0.46535
            ],
            [
              0.10759,
              0.0974,
              0.08821,
              0.0705,
              0.03534,
              -0.035,
              -0.176,
              -0.45828
            ],
            [
              0.11882,
              0.10864,
              0.09947,
              0.08175,
              0.04665,
              -0.0237,
              -0.16474,
              -0.44707
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.06942,
              0.07772,
              0.08641,
              0.10396,
              0.13912,
              0.20918,
              0.3492,
              0.62885
            ],
            [
              0.06921,
              0.07752,
              0.0862,
              0.10378,
              0.13884,
              0.20897,
              0.34877,
              0.62887
            ],
            [
              0.06896,
              0.07725,
              0.08593,
              0.10353,
              0.1386,
              0.20868,
              0.34831,
              0.62848
            ],
            [
              0.06876,
              0.07706,
              0.08574,
              0.10332,
              0.13853,
              0.20865,
              0.34855,
              0.62827
            ],
            [
              0.06857,
              0.07687,
              0.08556,
              0.10311,
              0.13834,
              0.2084,
              0.34839,
              0.62809
            ],
            [
              0.06843,
              0.07676,
              0.08545,
              0.10295,
              0.13814,
              0.20834,
              0.34803,
              0.62866
            ],
            [
              0.06847,
              0.07679,
              0.08546,
              0.10307,
              0.13828,
              0.20837,
              0.34815,
              0.62882
            ],
            [
              0.06883,
              0.07717,
              0.08587,
              0.10348,
              0.1387,
              0.20888,
              0.34832,
              0.62878
            ],
            [
              0.06995,
              0.07833,
              0.08702,
              0.10466,
              0.13979,
              0.20997,
              0.34995,
              0.62975
            ],
            [
              0.07229,
              0.08069,
              0.08938,
              0.10695,
              0.14213,
              0.21255,
              0.3522,
              0.63163
            ],
            [
              0.07649,
              0.0849,
              0.09369,
              0.11136,
              0.14653,
              0.2166,
              0.35653,
              0.63657
            ],
            [
              0.08359,
              0.09201,
              0.10078,
              0.11854,
              0.15389,
              0.22401,
              0.36341,
              0.64241
            ],
            [
              0.0952,
              0.10364,
              0.11242,
              0.1301,
              0.16556,
              0.23597,
              0.37533,
              0.65394
            ]
          ]
        },
        "when": "(!B&!CI) | (B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.09152,
              0.0965,
              0.1029,
              0.1165,
              0.14417,
              0.19929,
              0.3089,
              0.52886
            ],
            [
              0.09132,
              0.09629,
              0.10269,
              0.11631,
              0.14396,
              0.19918,
              0.30838,
              0.52926
            ],
            [
              0.09106,
              0.09604,
              0.10242,
              0.11603,
              0.14369,
              0.19893,
              0.30838,
              0.52901
            ],
            [
              0.09088,
              0.09584,
              0.10224,
              0.11585,
              0.14348,
              0.19869,
              0.30815,
              0.52882
            ],
            [
              0.09071,
              0.09565,
              0.10206,
              0.11569,
              0.14335,
              0.19841,
              0.30827,
              0.52768
            ],
            [
              0.09061,
              0.09556,
              0.10194,
              0.11557,
              0.14317,
              0.19855,
              0.3082,
              0.52794
            ],
            [
              0.09072,
              0.09566,
              0.10204,
              0.11568,
              0.14323,
              0.19859,
              0.30828,
              0.5278
            ],
            [
              0.09125,
              0.09616,
              0.10253,
              0.11615,
              0.14376,
              0.19888,
              0.30883,
              0.52796
            ],
            [
              0.09258,
              0.09744,
              0.10381,
              0.11744,
              0.14512,
              0.20041,
              0.30986,
              0.52938
            ],
            [
              0.09514,
              0.09998,
              0.10632,
              0.1199,
              0.14753,
              0.20274,
              0.31238,
              0.53173
            ],
            [
              0.09968,
              0.10446,
              0.11077,
              0.12437,
              0.15188,
              0.20721,
              0.31734,
              0.53602
            ],
            [
              0.10724,
              0.11193,
              0.11818,
              0.13171,
              0.15948,
              0.21444,
              0.32428,
              0.5441
            ],
            [
              0.11945,
              0.12401,
              0.13018,
              0.1436,
              0.1713,
              0.22656,
              0.33598,
              0.55567
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.11207,
              0.11883,
              0.12705,
              0.14443,
              0.17952,
              0.24977,
              0.38958,
              0.66837
            ],
            [
              0.11179,
              0.11856,
              0.12677,
              0.14416,
              0.17915,
              0.24954,
              0.3893,
              0.66932
            ],
            [
              0.11155,
              0.11832,
              0.12654,
              0.14393,
              0.17906,
              0.24928,
              0.38887,
              0.66794
            ],
            [
              0.11137,
              0.11811,
              0.12634,
              0.14373,
              0.17884,
              0.24885,
              0.38913,
              0.66916
            ],
            [
              0.11124,
              0.11803,
              0.12624,
              0.1436,
              0.17867,
              0.24872,
              0.38884,
              0.66795
            ],
            [
              0.11122,
              0.118,
              0.12622,
              0.14362,
              0.17878,
              0.24889,
              0.38891,
              0.6685
            ],
            [
              0.11141,
              0.11818,
              0.1264,
              0.14381,
              0.17889,
              0.24911,
              0.38907,
              0.66789
            ],
            [
              0.11194,
              0.1187,
              0.12693,
              0.14434,
              0.17943,
              0.24956,
              0.38925,
              0.66853
            ],
            [
              0.11323,
              0.12,
              0.12823,
              0.14558,
              0.18072,
              0.25095,
              0.39034,
              0.67055
            ],
            [
              0.11587,
              0.12266,
              0.13092,
              0.14826,
              0.18336,
              0.25361,
              0.39332,
              0.67257
            ],
            [
              0.12046,
              0.12726,
              0.13549,
              0.15283,
              0.18786,
              0.25813,
              0.39817,
              0.67805
            ],
            [
              0.12816,
              0.13489,
              0.14307,
              0.16038,
              0.19536,
              0.26536,
              0.40534,
              0.68535
            ],
            [
              0.14033,
              0.14694,
              0.15496,
              0.17223,
              0.20723,
              0.27731,
              0.41699,
              0.69619
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.08818,
              0.07794,
              0.06874,
              0.05098,
              0.01583,
              -0.05455,
              -0.19556,
              -0.47786
            ],
            [
              0.08789,
              0.07763,
              0.06842,
              0.05068,
              0.01552,
              -0.05485,
              -0.19587,
              -0.47817
            ],
            [
              0.08774,
              0.07749,
              0.06828,
              0.05053,
              0.01536,
              -0.05501,
              -0.19602,
              -0.47832
            ],
            [
              0.08754,
              0.07731,
              0.0681,
              0.05033,
              0.01516,
              -0.0552,
              -0.19622,
              -0.47852
            ],
            [
              0.08752,
              0.07727,
              0.06804,
              0.05029,
              0.01513,
              -0.05523,
              -0.19626,
              -0.47856
            ],
            [
              0.08779,
              0.07751,
              0.06829,
              0.05054,
              0.01537,
              -0.055,
              -0.19602,
              -0.47831
            ],
            [
              0.08848,
              0.07818,
              0.06896,
              0.05119,
              0.01601,
              -0.05435,
              -0.19536,
              -0.47766
            ],
            [
              0.08984,
              0.07957,
              0.07034,
              0.05256,
              0.01738,
              -0.05298,
              -0.194,
              -0.47629
            ],
            [
              0.09205,
              0.08178,
              0.07254,
              0.05477,
              0.0196,
              -0.05077,
              -0.19178,
              -0.47407
            ],
            [
              0.09551,
              0.08523,
              0.07602,
              0.05822,
              0.02306,
              -0.0473,
              -0.1883,
              -0.4706
            ],
            [
              0.10057,
              0.09028,
              0.08106,
              0.06329,
              0.02813,
              -0.04222,
              -0.18323,
              -0.46551
            ],
            [
              0.10841,
              0.09813,
              0.08891,
              0.07113,
              0.03595,
              -0.03439,
              -0.17534,
              -0.4576
            ],
            [
              0.12039,
              0.11013,
              0.10091,
              0.08314,
              0.04801,
              -0.02235,
              -0.16333,
              -0.44558
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.05131,
              0.05967,
              0.06834,
              0.08597,
              0.12118,
              0.19122,
              0.33138,
              0.61159
            ],
            [
              0.05127,
              0.05961,
              0.06829,
              0.08593,
              0.12107,
              0.19114,
              0.33109,
              0.61147
            ],
            [
              0.05124,
              0.05957,
              0.06828,
              0.08581,
              0.12107,
              0.19122,
              0.33118,
              0.61049
            ],
            [
              0.05132,
              0.05966,
              0.06833,
              0.08595,
              0.1212,
              0.19144,
              0.33104,
              0.61167
            ],
            [
              0.05161,
              0.05992,
              0.06861,
              0.08618,
              0.1214,
              0.19162,
              0.33155,
              0.61144
            ],
            [
              0.05206,
              0.0604,
              0.06908,
              0.0867,
              0.12185,
              0.19204,
              0.33186,
              0.61213
            ],
            [
              0.05289,
              0.06123,
              0.06993,
              0.0875,
              0.12269,
              0.19285,
              0.33306,
              0.61246
            ],
            [
              0.05439,
              0.06272,
              0.07143,
              0.08901,
              0.12419,
              0.19425,
              0.33417,
              0.61413
            ],
            [
              0.05673,
              0.06505,
              0.07372,
              0.09127,
              0.12643,
              0.1965,
              0.33672,
              0.61625
            ],
            [
              0.06021,
              0.06853,
              0.07718,
              0.09465,
              0.12982,
              0.20021,
              0.34002,
              0.61947
            ],
            [
              0.06545,
              0.07375,
              0.08248,
              0.1,
              0.13504,
              0.20506,
              0.34501,
              0.62562
            ],
            [
              0.07372,
              0.082,
              0.09065,
              0.10827,
              0.14336,
              0.21341,
              0.35261,
              0.63258
            ],
            [
              0.0868,
              0.09504,
              0.1037,
              0.1212,
              0.15639,
              0.2267,
              0.36606,
              0.64566
            ]
          ]
        },
        "when": "(!A&!CI) | (A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.07264,
              0.0775,
              0.08387,
              0.09744,
              0.12516,
              0.18027,
              0.28997,
              0.50974
            ],
            [
              0.07256,
              0.07743,
              0.08379,
              0.09738,
              0.12504,
              0.18016,
              0.28975,
              0.51032
            ],
            [
              0.07245,
              0.07733,
              0.08369,
              0.09728,
              0.12497,
              0.18008,
              0.28964,
              0.50991
            ],
            [
              0.07248,
              0.07732,
              0.08369,
              0.09727,
              0.12496,
              0.18008,
              0.28973,
              0.51005
            ],
            [
              0.07254,
              0.07737,
              0.08376,
              0.09735,
              0.12493,
              0.18015,
              0.28977,
              0.51023
            ],
            [
              0.07263,
              0.07746,
              0.08383,
              0.09739,
              0.12509,
              0.18027,
              0.2896,
              0.50952
            ],
            [
              0.0729,
              0.07774,
              0.08411,
              0.09769,
              0.12525,
              0.18045,
              0.29016,
              0.50991
            ],
            [
              0.07354,
              0.07844,
              0.08481,
              0.09836,
              0.12604,
              0.1813,
              0.29066,
              0.51042
            ],
            [
              0.075,
              0.07994,
              0.08632,
              0.09985,
              0.12736,
              0.18242,
              0.29223,
              0.51273
            ],
            [
              0.07768,
              0.08261,
              0.08896,
              0.10247,
              0.12993,
              0.18526,
              0.29486,
              0.51507
            ],
            [
              0.0822,
              0.08711,
              0.09348,
              0.10698,
              0.13429,
              0.18918,
              0.29912,
              0.51898
            ],
            [
              0.08972,
              0.09456,
              0.10087,
              0.11428,
              0.14181,
              0.1965,
              0.30639,
              0.52603
            ],
            [
              0.10202,
              0.10675,
              0.11288,
              0.12608,
              0.15362,
              0.20857,
              0.31776,
              0.5368
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.1033,
              0.11014,
              0.11844,
              0.13588,
              0.17115,
              0.2413,
              0.38125,
              0.66127
            ],
            [
              0.10295,
              0.10983,
              0.11818,
              0.13557,
              0.17074,
              0.24102,
              0.38072,
              0.65983
            ],
            [
              0.10273,
              0.10961,
              0.11793,
              0.13527,
              0.17048,
              0.24096,
              0.38048,
              0.6597
            ],
            [
              0.10251,
              0.10937,
              0.11766,
              0.13505,
              0.17032,
              0.24078,
              0.38064,
              0.65993
            ],
            [
              0.10238,
              0.10923,
              0.11753,
              0.13489,
              0.17008,
              0.24042,
              0.38011,
              0.66058
            ],
            [
              0.10249,
              0.10931,
              0.11754,
              0.13495,
              0.1702,
              0.24041,
              0.38049,
              0.66023
            ],
            [
              0.1029,
              0.10973,
              0.11796,
              0.13532,
              0.17052,
              0.24093,
              0.38082,
              0.66029
            ],
            [
              0.10383,
              0.11063,
              0.11887,
              0.13616,
              0.17136,
              0.24173,
              0.38114,
              0.66173
            ],
            [
              0.10566,
              0.11245,
              0.12062,
              0.1379,
              0.17301,
              0.24309,
              0.38306,
              0.66222
            ],
            [
              0.10898,
              0.11569,
              0.12375,
              0.14094,
              0.1759,
              0.24635,
              0.3857,
              0.66512
            ],
            [
              0.11439,
              0.12089,
              0.12885,
              0.14583,
              0.18067,
              0.25065,
              0.3905,
              0.67048
            ],
            [
              0.12296,
              0.12922,
              0.13699,
              0.15385,
              0.18843,
              0.25811,
              0.39768,
              0.67676
            ],
            [
              0.13585,
              0.14181,
              0.14935,
              0.16584,
              0.20034,
              0.26999,
              0.40884,
              0.68787
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.05473,
              0.04447,
              0.03511,
              0.01718,
              -0.01816,
              -0.08869,
              -0.22982,
              -0.51219
            ],
            [
              0.05457,
              0.04433,
              0.03496,
              0.01703,
              -0.01831,
              -0.08883,
              -0.22996,
              -0.51232
            ],
            [
              0.05452,
              0.04428,
              0.03491,
              0.01698,
              -0.01836,
              -0.08889,
              -0.23001,
              -0.51238
            ],
            [
              0.05442,
              0.04416,
              0.03481,
              0.01689,
              -0.01847,
              -0.08899,
              -0.2301,
              -0.51248
            ],
            [
              0.05438,
              0.04412,
              0.03476,
              0.01682,
              -0.01852,
              -0.08905,
              -0.23017,
              -0.51254
            ],
            [
              0.05437,
              0.04412,
              0.03474,
              0.01678,
              -0.01856,
              -0.08908,
              -0.2302,
              -0.51255
            ],
            [
              0.05446,
              0.04415,
              0.03477,
              0.01678,
              -0.01856,
              -0.08908,
              -0.23017,
              -0.51252
            ],
            [
              0.05482,
              0.04445,
              0.03501,
              0.01699,
              -0.01839,
              -0.08888,
              -0.22996,
              -0.51229
            ],
            [
              0.05601,
              0.04548,
              0.03596,
              0.01782,
              -0.01765,
              -0.08818,
              -0.22925,
              -0.51158
            ],
            [
              0.05839,
              0.04765,
              0.03793,
              0.01957,
              -0.01608,
              -0.08672,
              -0.22784,
              -0.51018
            ],
            [
              0.06212,
              0.05105,
              0.04111,
              0.02242,
              -0.01347,
              -0.08429,
              -0.22551,
              -0.50789
            ],
            [
              0.06772,
              0.05633,
              0.04612,
              0.02708,
              -0.0092,
              -0.0803,
              -0.22163,
              -0.50408
            ],
            [
              0.07575,
              0.06404,
              0.05352,
              0.03407,
              -0.00262,
              -0.07404,
              -0.21567,
              -0.49823
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.03241,
              0.0411,
              0.04996,
              0.06781,
              0.10308,
              0.1734,
              0.3132,
              0.5935
            ],
            [
              0.03233,
              0.041,
              0.04988,
              0.06773,
              0.10301,
              0.1732,
              0.3131,
              0.59324
            ],
            [
              0.03226,
              0.04092,
              0.04984,
              0.06764,
              0.10296,
              0.17335,
              0.3134,
              0.59259
            ],
            [
              0.0322,
              0.04086,
              0.04971,
              0.06765,
              0.10289,
              0.17323,
              0.31296,
              0.59398
            ],
            [
              0.03216,
              0.04083,
              0.04969,
              0.06759,
              0.10292,
              0.17312,
              0.31283,
              0.59256
            ],
            [
              0.03219,
              0.04086,
              0.0497,
              0.06747,
              0.10289,
              0.17341,
              0.31262,
              0.59247
            ],
            [
              0.03238,
              0.041,
              0.04985,
              0.06767,
              0.10296,
              0.17335,
              0.31293,
              0.59351
            ],
            [
              0.03292,
              0.04145,
              0.0502,
              0.06798,
              0.10317,
              0.17336,
              0.31336,
              0.59336
            ],
            [
              0.03394,
              0.04231,
              0.05097,
              0.06854,
              0.10369,
              0.17376,
              0.31442,
              0.59361
            ],
            [
              0.03571,
              0.04386,
              0.05247,
              0.06989,
              0.10479,
              0.17487,
              0.31496,
              0.59545
            ],
            [
              0.03854,
              0.04639,
              0.05487,
              0.07226,
              0.10717,
              0.17697,
              0.31695,
              0.59701
            ],
            [
              0.0432,
              0.05069,
              0.05901,
              0.07627,
              0.11113,
              0.18079,
              0.32012,
              0.60014
            ],
            [
              0.05063,
              0.05764,
              0.06571,
              0.08257,
              0.11726,
              0.18705,
              0.32635,
              0.6049
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.0565,
              0.06163,
              0.06793,
              0.0815,
              0.10898,
              0.16391,
              0.27327,
              0.49388
            ],
            [
              0.05643,
              0.06157,
              0.06785,
              0.08143,
              0.10891,
              0.16412,
              0.27325,
              0.49383
            ],
            [
              0.05637,
              0.06152,
              0.06778,
              0.08137,
              0.1089,
              0.16406,
              0.27342,
              0.49228
            ],
            [
              0.0563,
              0.06145,
              0.06772,
              0.0813,
              0.10877,
              0.16397,
              0.27317,
              0.49369
            ],
            [
              0.05621,
              0.06135,
              0.06762,
              0.08119,
              0.1087,
              0.16387,
              0.27319,
              0.49297
            ],
            [
              0.05621,
              0.06136,
              0.06763,
              0.08116,
              0.10868,
              0.16343,
              0.27362,
              0.49287
            ],
            [
              0.05631,
              0.06147,
              0.06769,
              0.08119,
              0.1086,
              0.16373,
              0.27341,
              0.49213
            ],
            [
              0.05675,
              0.06179,
              0.06799,
              0.08138,
              0.10874,
              0.16394,
              0.27316,
              0.49373
            ],
            [
              0.05765,
              0.06258,
              0.06866,
              0.08198,
              0.10923,
              0.16395,
              0.2736,
              0.49269
            ],
            [
              0.0593,
              0.06401,
              0.06996,
              0.08314,
              0.11023,
              0.16529,
              0.27472,
              0.49489
            ],
            [
              0.062,
              0.06641,
              0.07222,
              0.08521,
              0.11214,
              0.16686,
              0.27657,
              0.49572
            ],
            [
              0.06638,
              0.0704,
              0.07602,
              0.08879,
              0.11569,
              0.17001,
              0.27972,
              0.49943
            ],
            [
              0.07338,
              0.0769,
              0.08227,
              0.09472,
              0.12131,
              0.1758,
              0.28457,
              0.50445
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.07373,
              0.08084,
              0.08911,
              0.10626,
              0.14118,
              0.21111,
              0.35118,
              0.63087
            ],
            [
              0.07363,
              0.0807,
              0.08891,
              0.10612,
              0.14104,
              0.2111,
              0.35093,
              0.63004
            ],
            [
              0.07352,
              0.08063,
              0.08891,
              0.10607,
              0.14104,
              0.21087,
              0.35061,
              0.63004
            ],
            [
              0.07346,
              0.0805,
              0.0888,
              0.10599,
              0.14094,
              0.21091,
              0.35016,
              0.62889
            ],
            [
              0.07343,
              0.08049,
              0.08872,
              0.10591,
              0.14087,
              0.21103,
              0.35071,
              0.62947
            ],
            [
              0.07343,
              0.08047,
              0.0887,
              0.10588,
              0.14086,
              0.21103,
              0.35067,
              0.62993
            ],
            [
              0.07347,
              0.08049,
              0.08873,
              0.10588,
              0.14088,
              0.21067,
              0.35015,
              0.63062
            ],
            [
              0.07381,
              0.08079,
              0.08893,
              0.10609,
              0.141,
              0.21081,
              0.35027,
              0.63038
            ],
            [
              0.07492,
              0.08168,
              0.08978,
              0.10684,
              0.14164,
              0.21184,
              0.35148,
              0.63062
            ],
            [
              0.07725,
              0.08377,
              0.09163,
              0.10844,
              0.14305,
              0.21283,
              0.35293,
              0.63206
            ],
            [
              0.0809,
              0.08718,
              0.09474,
              0.11112,
              0.14535,
              0.21519,
              0.3541,
              0.63446
            ],
            [
              0.08646,
              0.09229,
              0.0996,
              0.11579,
              0.14968,
              0.21878,
              0.35835,
              0.63673
            ],
            [
              0.09441,
              0.09984,
              0.10679,
              0.12243,
              0.15611,
              0.22495,
              0.36323,
              0.64348
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.23098,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.28708,
              0.31324,
              0.33164,
              0.36092,
              0.40731,
              0.48283,
              0.61367,
              0.85816
            ],
            [
              0.28938,
              0.31554,
              0.33393,
              0.36321,
              0.40962,
              0.48512,
              0.61602,
              0.86056
            ],
            [
              0.2924,
              0.31856,
              0.33695,
              0.36623,
              0.41262,
              0.48814,
              0.61898,
              0.8635
            ],
            [
              0.29718,
              0.32333,
              0.34173,
              0.371,
              0.4174,
              0.49291,
              0.62374,
              0.86823
            ],
            [
              0.30464,
              0.3308,
              0.3492,
              0.37847,
              0.42487,
              0.50038,
              0.63122,
              0.87573
            ],
            [
              0.3159,
              0.34205,
              0.36044,
              0.38971,
              0.43611,
              0.51162,
              0.64245,
              0.88692
            ],
            [
              0.33199,
              0.35811,
              0.37649,
              0.40575,
              0.45213,
              0.52763,
              0.65849,
              0.90303
            ],
            [
              0.35403,
              0.38007,
              0.39841,
              0.42762,
              0.47396,
              0.54944,
              0.68031,
              0.92466
            ],
            [
              0.38366,
              0.40955,
              0.42781,
              0.45695,
              0.50322,
              0.57864,
              0.70944,
              0.95395
            ],
            [
              0.42081,
              0.44645,
              0.4646,
              0.49365,
              0.53985,
              0.6152,
              0.74599,
              0.99049
            ],
            [
              0.46482,
              0.49032,
              0.50832,
              0.53732,
              0.58332,
              0.65852,
              0.78912,
              1.03352
            ],
            [
              0.51967,
              0.54507,
              0.56307,
              0.59197,
              0.63787,
              0.71287,
              0.84327,
              1.08757
            ],
            [
              0.592,
              0.6174,
              0.6354,
              0.6641,
              0.7099,
              0.7846,
              0.9148,
              1.1588
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.24382,
              0.27195,
              0.29215,
              0.32697,
              0.3911,
              0.51599,
              0.76433,
              1.25937
            ],
            [
              0.24582,
              0.27395,
              0.29414,
              0.32896,
              0.3931,
              0.51799,
              0.76631,
              1.26144
            ],
            [
              0.24826,
              0.27639,
              0.29659,
              0.33141,
              0.39554,
              0.52043,
              0.76878,
              1.26382
            ],
            [
              0.25193,
              0.28005,
              0.30025,
              0.3351,
              0.39926,
              0.5239,
              0.77268,
              1.26768
            ],
            [
              0.25714,
              0.28527,
              0.30548,
              0.3403,
              0.40442,
              0.52932,
              0.77723,
              1.27211
            ],
            [
              0.26366,
              0.29177,
              0.31197,
              0.34682,
              0.41097,
              0.5356,
              0.78437,
              1.27942
            ],
            [
              0.27127,
              0.29935,
              0.31955,
              0.35437,
              0.41845,
              0.54342,
              0.79137,
              1.28643
            ],
            [
              0.2798,
              0.30784,
              0.32803,
              0.36286,
              0.42696,
              0.55193,
              0.79981,
              1.29496
            ],
            [
              0.2884,
              0.31638,
              0.33655,
              0.37138,
              0.43552,
              0.5604,
              0.80905,
              1.30315
            ],
            [
              0.29598,
              0.32389,
              0.34405,
              0.37877,
              0.44299,
              0.56782,
              0.81579,
              1.31059
            ],
            [
              0.30051,
              0.32835,
              0.3485,
              0.38329,
              0.44752,
              0.57202,
              0.81992,
              1.31472
            ],
            [
              0.29877,
              0.32657,
              0.34667,
              0.38147,
              0.44567,
              0.57057,
              0.81817,
              1.31277
            ],
            [
              0.2863,
              0.3141,
              0.3342,
              0.3689,
              0.4331,
              0.5581,
              0.8061,
              1.3001
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02898,
              0.04769,
              0.06161,
              0.08546,
              0.12689,
              0.20347,
              0.35509,
              0.6676
            ],
            [
              0.02898,
              0.04767,
              0.06167,
              0.08539,
              0.12688,
              0.20327,
              0.35486,
              0.66832
            ],
            [
              0.02897,
              0.04768,
              0.06162,
              0.08547,
              0.12691,
              0.20346,
              0.35509,
              0.66734
            ],
            [
              0.02898,
              0.04769,
              0.06159,
              0.08543,
              0.12688,
              0.20346,
              0.35509,
              0.66772
            ],
            [
              0.02898,
              0.04768,
              0.06161,
              0.08547,
              0.12691,
              0.20346,
              0.35509,
              0.66739
            ],
            [
              0.02897,
              0.04768,
              0.06158,
              0.08543,
              0.1269,
              0.20346,
              0.35509,
              0.66776
            ],
            [
              0.02893,
              0.04762,
              0.06156,
              0.08536,
              0.12696,
              0.20337,
              0.355,
              0.66764
            ],
            [
              0.02885,
              0.0475,
              0.06149,
              0.08521,
              0.12664,
              0.20336,
              0.35473,
              0.66864
            ],
            [
              0.02866,
              0.04724,
              0.06122,
              0.08499,
              0.12654,
              0.20319,
              0.35485,
              0.668
            ],
            [
              0.02844,
              0.04693,
              0.06081,
              0.08465,
              0.12609,
              0.20288,
              0.35481,
              0.6681
            ],
            [
              0.0282,
              0.0466,
              0.0606,
              0.0842,
              0.1257,
              0.2024,
              0.3545,
              0.6677
            ],
            [
              0.0281,
              0.0464,
              0.0602,
              0.0839,
              0.1255,
              0.202,
              0.3535,
              0.6676
            ],
            [
              0.028,
              0.0462,
              0.0601,
              0.0837,
              0.125,
              0.2016,
              0.3535,
              0.6661
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02414,
              0.04936,
              0.07061,
              0.11306,
              0.20178,
              0.38575,
              0.75559,
              1.4989
            ],
            [
              0.02415,
              0.04936,
              0.07061,
              0.11306,
              0.2018,
              0.38576,
              0.75557,
              1.49888
            ],
            [
              0.02414,
              0.04936,
              0.0706,
              0.11306,
              0.20176,
              0.38574,
              0.7557,
              1.49891
            ],
            [
              0.02416,
              0.04934,
              0.07045,
              0.11299,
              0.20199,
              0.38487,
              0.7563,
              1.49949
            ],
            [
              0.02415,
              0.04943,
              0.07065,
              0.11307,
              0.20214,
              0.38566,
              0.7556,
              1.49911
            ],
            [
              0.02411,
              0.04932,
              0.07042,
              0.11297,
              0.20198,
              0.38491,
              0.75632,
              1.49931
            ],
            [
              0.02406,
              0.0493,
              0.07057,
              0.11303,
              0.20206,
              0.38586,
              0.75626,
              1.50405
            ],
            [
              0.02394,
              0.04914,
              0.07043,
              0.11291,
              0.20207,
              0.38555,
              0.7562,
              1.4994
            ],
            [
              0.0238,
              0.04903,
              0.07025,
              0.11287,
              0.20169,
              0.38526,
              0.75605,
              1.50423
            ],
            [
              0.02363,
              0.04891,
              0.07005,
              0.1127,
              0.20177,
              0.38527,
              0.75637,
              1.4985
            ],
            [
              0.02344,
              0.04874,
              0.07008,
              0.11274,
              0.20159,
              0.38507,
              0.7562,
              1.5029
            ],
            [
              0.0232,
              0.0485,
              0.0699,
              0.1127,
              0.2019,
              0.3858,
              0.7552,
              1.4991
            ],
            [
              0.0231,
              0.0483,
              0.0697,
              0.1125,
              0.2018,
              0.3859,
              0.7554,
              1.4994
            ]
          ]
        },
        "sdf_cond": "(!B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.25093,
              0.27704,
              0.29542,
              0.32441,
              0.36958,
              0.44254,
              0.57015,
              0.81295
            ],
            [
              0.25295,
              0.27907,
              0.29745,
              0.32643,
              0.37161,
              0.44456,
              0.5722,
              0.81497
            ],
            [
              0.25541,
              0.28153,
              0.2999,
              0.32889,
              0.37407,
              0.44702,
              0.57469,
              0.81741
            ],
            [
              0.2591,
              0.28523,
              0.30361,
              0.33259,
              0.37777,
              0.45071,
              0.57837,
              0.82112
            ],
            [
              0.2646,
              0.29073,
              0.30911,
              0.3381,
              0.38326,
              0.45621,
              0.5839,
              0.82631
            ],
            [
              0.27223,
              0.29842,
              0.31681,
              0.34579,
              0.39094,
              0.46388,
              0.59159,
              0.8342
            ],
            [
              0.28214,
              0.30845,
              0.32686,
              0.35582,
              0.40096,
              0.47387,
              0.60157,
              0.84419
            ],
            [
              0.29414,
              0.32063,
              0.33906,
              0.36801,
              0.41311,
              0.48601,
              0.61371,
              0.85646
            ],
            [
              0.3073,
              0.334,
              0.35245,
              0.3814,
              0.42648,
              0.49936,
              0.62706,
              0.86975
            ],
            [
              0.31999,
              0.34686,
              0.36536,
              0.39429,
              0.43938,
              0.51227,
              0.63999,
              0.88269
            ],
            [
              0.33075,
              0.35771,
              0.37625,
              0.40522,
              0.45032,
              0.52322,
              0.65072,
              0.89352
            ],
            [
              0.33717,
              0.36407,
              0.38277,
              0.41177,
              0.45687,
              0.52987,
              0.65767,
              0.90007
            ],
            [
              0.3349,
              0.3619,
              0.3806,
              0.4098,
              0.4551,
              0.5283,
              0.6562,
              0.899
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.25043,
              0.279,
              0.29991,
              0.33586,
              0.40115,
              0.52639,
              0.77408,
              1.26867
            ],
            [
              0.25282,
              0.28139,
              0.3023,
              0.33826,
              0.40356,
              0.52877,
              0.77643,
              1.27094
            ],
            [
              0.2559,
              0.28447,
              0.30538,
              0.34133,
              0.40661,
              0.53186,
              0.77956,
              1.27422
            ],
            [
              0.2607,
              0.28926,
              0.31017,
              0.34614,
              0.4114,
              0.53665,
              0.78436,
              1.27908
            ],
            [
              0.26816,
              0.29673,
              0.31764,
              0.35359,
              0.41889,
              0.54412,
              0.7918,
              1.28641
            ],
            [
              0.27954,
              0.30812,
              0.32903,
              0.36499,
              0.43025,
              0.55551,
              0.80319,
              1.29762
            ],
            [
              0.29665,
              0.32524,
              0.34615,
              0.38211,
              0.44739,
              0.57262,
              0.82032,
              1.31463
            ],
            [
              0.32174,
              0.35037,
              0.37128,
              0.40724,
              0.47253,
              0.59772,
              0.84546,
              1.33976
            ],
            [
              0.35719,
              0.38588,
              0.4068,
              0.44276,
              0.50802,
              0.6332,
              0.88095,
              1.37525
            ],
            [
              0.40376,
              0.43262,
              0.45358,
              0.48956,
              0.55479,
              0.67989,
              0.92769,
              1.42239
            ],
            [
              0.46192,
              0.49122,
              0.51232,
              0.54842,
              0.61352,
              0.73872,
              0.98662,
              1.48112
            ],
            [
              0.53547,
              0.56547,
              0.58677,
              0.62297,
              0.68827,
              0.81337,
              1.06107,
              1.55567
            ],
            [
              0.6316,
              0.6619,
              0.6835,
              0.7199,
              0.7851,
              0.9101,
              1.1579,
              1.6523
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02703,
              0.04626,
              0.06013,
              0.08313,
              0.12267,
              0.19682,
              0.34832,
              0.66489
            ],
            [
              0.02704,
              0.04626,
              0.06014,
              0.08313,
              0.12265,
              0.19679,
              0.34828,
              0.66473
            ],
            [
              0.02705,
              0.04627,
              0.06014,
              0.08314,
              0.12264,
              0.19675,
              0.34824,
              0.66456
            ],
            [
              0.02705,
              0.04627,
              0.06015,
              0.08313,
              0.12265,
              0.19677,
              0.34825,
              0.66461
            ],
            [
              0.02703,
              0.04625,
              0.06013,
              0.08308,
              0.12265,
              0.19674,
              0.34813,
              0.66381
            ],
            [
              0.02706,
              0.04627,
              0.06013,
              0.08308,
              0.12261,
              0.19672,
              0.34778,
              0.66388
            ],
            [
              0.02712,
              0.04631,
              0.06015,
              0.08301,
              0.12256,
              0.19677,
              0.34797,
              0.6638
            ],
            [
              0.02725,
              0.04639,
              0.06016,
              0.08303,
              0.12253,
              0.1968,
              0.34786,
              0.66449
            ],
            [
              0.02754,
              0.0465,
              0.06023,
              0.08299,
              0.12247,
              0.19663,
              0.34785,
              0.66373
            ],
            [
              0.02804,
              0.04667,
              0.06027,
              0.08305,
              0.12254,
              0.19684,
              0.34791,
              0.66521
            ],
            [
              0.02875,
              0.04685,
              0.06041,
              0.08307,
              0.12259,
              0.19677,
              0.3483,
              0.6639
            ],
            [
              0.0298,
              0.0473,
              0.0607,
              0.0834,
              0.1227,
              0.1969,
              0.3481,
              0.6638
            ],
            [
              0.0312,
              0.0484,
              0.0615,
              0.084,
              0.1234,
              0.1974,
              0.3488,
              0.6636
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02382,
              0.05011,
              0.07209,
              0.11521,
              0.20362,
              0.38555,
              0.75692,
              1.49989
            ],
            [
              0.02382,
              0.05012,
              0.07213,
              0.11519,
              0.20353,
              0.38539,
              0.7552,
              1.5002
            ],
            [
              0.02384,
              0.05013,
              0.0721,
              0.11521,
              0.20361,
              0.38563,
              0.7545,
              1.49767
            ],
            [
              0.02383,
              0.05013,
              0.07205,
              0.11521,
              0.20364,
              0.38539,
              0.75475,
              1.49712
            ],
            [
              0.02383,
              0.05012,
              0.07206,
              0.11525,
              0.20369,
              0.38554,
              0.75513,
              1.4967
            ],
            [
              0.02384,
              0.05013,
              0.07205,
              0.11522,
              0.20353,
              0.38529,
              0.75495,
              1.49841
            ],
            [
              0.02386,
              0.05016,
              0.0721,
              0.11521,
              0.20353,
              0.38554,
              0.75554,
              1.49651
            ],
            [
              0.02396,
              0.05024,
              0.07213,
              0.11526,
              0.20365,
              0.38532,
              0.75644,
              1.4978
            ],
            [
              0.02421,
              0.05042,
              0.07231,
              0.11533,
              0.20367,
              0.38552,
              0.75493,
              1.4977
            ],
            [
              0.02475,
              0.05086,
              0.07271,
              0.11566,
              0.20387,
              0.38552,
              0.75681,
              1.4966
            ],
            [
              0.0252,
              0.0516,
              0.0733,
              0.116,
              0.2041,
              0.3857,
              0.7553,
              1.4961
            ],
            [
              0.0263,
              0.0527,
              0.0743,
              0.1168,
              0.2044,
              0.3858,
              0.7554,
              1.4963
            ],
            [
              0.0282,
              0.0544,
              0.0758,
              0.1179,
              0.2051,
              0.386,
              0.7562,
              1.5011
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.25019,
              0.27696,
              0.29562,
              0.32515,
              0.37163,
              0.44704,
              0.57781,
              0.82254
            ],
            [
              0.25222,
              0.27899,
              0.29766,
              0.32719,
              0.37366,
              0.44907,
              0.57986,
              0.82451
            ],
            [
              0.2547,
              0.28147,
              0.30013,
              0.32966,
              0.37613,
              0.45155,
              0.58233,
              0.82699
            ],
            [
              0.25844,
              0.2852,
              0.30388,
              0.33342,
              0.37987,
              0.45528,
              0.58613,
              0.83083
            ],
            [
              0.26397,
              0.29076,
              0.30942,
              0.33896,
              0.38541,
              0.46084,
              0.59166,
              0.83613
            ],
            [
              0.27175,
              0.29856,
              0.31723,
              0.34676,
              0.39323,
              0.46865,
              0.59951,
              0.84418
            ],
            [
              0.28185,
              0.30871,
              0.3274,
              0.35694,
              0.40341,
              0.47884,
              0.6097,
              0.85433
            ],
            [
              0.29411,
              0.32102,
              0.33973,
              0.36929,
              0.41578,
              0.49123,
              0.62212,
              0.86676
            ],
            [
              0.30768,
              0.33461,
              0.35337,
              0.38296,
              0.42949,
              0.50498,
              0.63588,
              0.88065
            ],
            [
              0.32095,
              0.34786,
              0.36668,
              0.39635,
              0.44294,
              0.5185,
              0.64949,
              0.89429
            ],
            [
              0.33247,
              0.35929,
              0.37816,
              0.40791,
              0.45462,
              0.53022,
              0.66112,
              0.90572
            ],
            [
              0.33977,
              0.36647,
              0.38537,
              0.41527,
              0.46207,
              0.53787,
              0.66897,
              0.91347
            ],
            [
              0.3384,
              0.365,
              0.3841,
              0.4142,
              0.4612,
              0.5372,
              0.6685,
              0.9135
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.24706,
              0.27554,
              0.29613,
              0.33141,
              0.39595,
              0.52096,
              0.76866,
              1.26297
            ],
            [
              0.24944,
              0.27792,
              0.2985,
              0.3338,
              0.39833,
              0.52337,
              0.77107,
              1.26564
            ],
            [
              0.25248,
              0.28095,
              0.30154,
              0.33682,
              0.40137,
              0.52636,
              0.77405,
              1.26862
            ],
            [
              0.25727,
              0.28574,
              0.30633,
              0.34162,
              0.40615,
              0.53114,
              0.77885,
              1.27317
            ],
            [
              0.26465,
              0.29313,
              0.31372,
              0.349,
              0.41354,
              0.53856,
              0.78626,
              1.28051
            ],
            [
              0.27596,
              0.30444,
              0.32502,
              0.3603,
              0.42485,
              0.54984,
              0.79753,
              1.29202
            ],
            [
              0.29273,
              0.32122,
              0.3418,
              0.37708,
              0.4416,
              0.56665,
              0.81435,
              1.30883
            ],
            [
              0.31693,
              0.34543,
              0.36601,
              0.40129,
              0.46582,
              0.59081,
              0.83846,
              1.33306
            ],
            [
              0.35044,
              0.37903,
              0.39962,
              0.43489,
              0.49939,
              0.62439,
              0.87205,
              1.36665
            ],
            [
              0.39446,
              0.42333,
              0.444,
              0.4793,
              0.54382,
              0.66879,
              0.91649,
              1.41089
            ],
            [
              0.44982,
              0.47912,
              0.49992,
              0.53532,
              0.59992,
              0.72482,
              0.97252,
              1.46702
            ],
            [
              0.51977,
              0.54987,
              0.57107,
              0.60667,
              0.67117,
              0.79597,
              1.04377,
              1.53807
            ],
            [
              0.6101,
              0.6415,
              0.6631,
              0.699,
              0.7636,
              0.8883,
              1.136,
              1.6306
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02752,
              0.04671,
              0.06083,
              0.08465,
              0.12602,
              0.20248,
              0.35448,
              0.66763
            ],
            [
              0.02753,
              0.04665,
              0.06082,
              0.08463,
              0.12602,
              0.20247,
              0.35444,
              0.66806
            ],
            [
              0.02754,
              0.04665,
              0.06082,
              0.08464,
              0.12603,
              0.20248,
              0.35446,
              0.66807
            ],
            [
              0.02756,
              0.04671,
              0.0608,
              0.08462,
              0.12599,
              0.20246,
              0.35422,
              0.66872
            ],
            [
              0.02757,
              0.04671,
              0.06081,
              0.08461,
              0.12593,
              0.20246,
              0.35438,
              0.66855
            ],
            [
              0.02761,
              0.04672,
              0.06082,
              0.08466,
              0.12603,
              0.20242,
              0.35401,
              0.66869
            ],
            [
              0.02774,
              0.04673,
              0.06083,
              0.08466,
              0.12606,
              0.20242,
              0.35428,
              0.66882
            ],
            [
              0.02796,
              0.04677,
              0.06087,
              0.08471,
              0.12612,
              0.20258,
              0.3542,
              0.66875
            ],
            [
              0.02835,
              0.04683,
              0.06088,
              0.0848,
              0.1262,
              0.20266,
              0.3545,
              0.66762
            ],
            [
              0.02886,
              0.04704,
              0.06105,
              0.08498,
              0.1263,
              0.20283,
              0.35428,
              0.66852
            ],
            [
              0.02941,
              0.0474,
              0.06133,
              0.08503,
              0.12655,
              0.20278,
              0.3547,
              0.6681
            ],
            [
              0.0302,
              0.0481,
              0.0619,
              0.0855,
              0.1268,
              0.2032,
              0.3546,
              0.668
            ],
            [
              0.0314,
              0.0493,
              0.0629,
              0.0864,
              0.1275,
              0.2039,
              0.3554,
              0.6677
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02393,
              0.04981,
              0.07117,
              0.11378,
              0.20222,
              0.38499,
              0.75525,
              1.49609
            ],
            [
              0.02395,
              0.04982,
              0.07121,
              0.11377,
              0.20243,
              0.38541,
              0.75423,
              1.49652
            ],
            [
              0.02395,
              0.04982,
              0.07118,
              0.11378,
              0.20235,
              0.38547,
              0.75498,
              1.50084
            ],
            [
              0.02395,
              0.04982,
              0.07118,
              0.11378,
              0.20229,
              0.38505,
              0.75465,
              1.49543
            ],
            [
              0.02393,
              0.04981,
              0.07117,
              0.11378,
              0.20236,
              0.38482,
              0.7553,
              1.49834
            ],
            [
              0.02394,
              0.04982,
              0.07118,
              0.11379,
              0.20228,
              0.38562,
              0.7551,
              1.49695
            ],
            [
              0.02398,
              0.04984,
              0.07123,
              0.11378,
              0.2023,
              0.38562,
              0.75444,
              1.49549
            ],
            [
              0.02406,
              0.04991,
              0.0713,
              0.11383,
              0.20224,
              0.38566,
              0.75517,
              1.50004
            ],
            [
              0.02431,
              0.05014,
              0.07152,
              0.11393,
              0.2024,
              0.3854,
              0.75508,
              1.49714
            ],
            [
              0.02507,
              0.05084,
              0.072,
              0.11432,
              0.20244,
              0.38501,
              0.75495,
              1.4988
            ],
            [
              0.02616,
              0.0519,
              0.073,
              0.115,
              0.2031,
              0.3857,
              0.7553,
              1.496
            ],
            [
              0.0274,
              0.0536,
              0.0743,
              0.1159,
              0.2035,
              0.3852,
              0.7551,
              1.4961
            ],
            [
              0.0293,
              0.0558,
              0.0764,
              0.1173,
              0.2046,
              0.3862,
              0.7559,
              1.5004
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.27135,
              0.29638,
              0.31397,
              0.34194,
              0.38624,
              0.4587,
              0.58628,
              0.82905
            ],
            [
              0.27366,
              0.29868,
              0.31627,
              0.34425,
              0.38854,
              0.461,
              0.58854,
              0.83135
            ],
            [
              0.27667,
              0.30169,
              0.31928,
              0.34725,
              0.39155,
              0.46401,
              0.59156,
              0.83438
            ],
            [
              0.28143,
              0.30645,
              0.32405,
              0.35202,
              0.39631,
              0.46877,
              0.59632,
              0.83913
            ],
            [
              0.28886,
              0.31388,
              0.33147,
              0.35945,
              0.40374,
              0.4762,
              0.60376,
              0.84657
            ],
            [
              0.30011,
              0.32512,
              0.34271,
              0.37069,
              0.41498,
              0.48744,
              0.61499,
              0.8578
            ],
            [
              0.31622,
              0.34122,
              0.35881,
              0.38677,
              0.43106,
              0.50351,
              0.63109,
              0.87353
            ],
            [
              0.33835,
              0.3633,
              0.38086,
              0.40881,
              0.45307,
              0.52551,
              0.65309,
              0.89556
            ],
            [
              0.3678,
              0.39264,
              0.41016,
              0.43806,
              0.48228,
              0.55469,
              0.6822,
              0.92475
            ],
            [
              0.40447,
              0.42914,
              0.44658,
              0.47441,
              0.51855,
              0.59088,
              0.71829,
              0.96099
            ],
            [
              0.44872,
              0.47332,
              0.49072,
              0.51852,
              0.56252,
              0.63472,
              0.76202,
              1.00462
            ],
            [
              0.50467,
              0.52917,
              0.54657,
              0.57427,
              0.61817,
              0.69027,
              0.81737,
              1.05987
            ],
            [
              0.5785,
              0.603,
              0.6204,
              0.648,
              0.6919,
              0.7637,
              0.8907,
              1.1331
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.23622,
              0.26488,
              0.28573,
              0.32149,
              0.38612,
              0.5102,
              0.75629,
              1.24757
            ],
            [
              0.23821,
              0.26688,
              0.28772,
              0.32347,
              0.38809,
              0.51231,
              0.75834,
              1.24934
            ],
            [
              0.24066,
              0.26932,
              0.29017,
              0.32592,
              0.39054,
              0.51474,
              0.76069,
              1.25192
            ],
            [
              0.24433,
              0.273,
              0.29385,
              0.32959,
              0.3942,
              0.51853,
              0.76423,
              1.25628
            ],
            [
              0.24952,
              0.27819,
              0.29903,
              0.33479,
              0.39943,
              0.52349,
              0.76957,
              1.26091
            ],
            [
              0.25595,
              0.28462,
              0.30544,
              0.34118,
              0.40589,
              0.53013,
              0.7764,
              1.26732
            ],
            [
              0.2633,
              0.29194,
              0.31278,
              0.34853,
              0.41323,
              0.53744,
              0.78328,
              1.27443
            ],
            [
              0.27139,
              0.3,
              0.32083,
              0.3566,
              0.42129,
              0.5455,
              0.79097,
              1.28256
            ],
            [
              0.2796,
              0.30817,
              0.32897,
              0.3647,
              0.42942,
              0.55364,
              0.79955,
              1.29085
            ],
            [
              0.28694,
              0.31543,
              0.33623,
              0.37191,
              0.43653,
              0.56081,
              0.80659,
              1.29789
            ],
            [
              0.29142,
              0.31981,
              0.34057,
              0.37626,
              0.44099,
              0.56492,
              0.81102,
              1.30252
            ],
            [
              0.28987,
              0.31817,
              0.33887,
              0.37447,
              0.43917,
              0.56337,
              0.80917,
              1.29967
            ],
            [
              0.2779,
              0.306,
              0.3266,
              0.3622,
              0.4268,
              0.551,
              0.797,
              1.287
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02689,
              0.04491,
              0.05822,
              0.08117,
              0.1212,
              0.19626,
              0.34807,
              0.665
            ],
            [
              0.02688,
              0.04482,
              0.05829,
              0.08108,
              0.12121,
              0.19619,
              0.34837,
              0.66439
            ],
            [
              0.02688,
              0.04486,
              0.05828,
              0.08107,
              0.12121,
              0.1962,
              0.34832,
              0.66466
            ],
            [
              0.02688,
              0.04482,
              0.05828,
              0.08108,
              0.12122,
              0.1962,
              0.34836,
              0.66445
            ],
            [
              0.02687,
              0.04487,
              0.05829,
              0.08106,
              0.12121,
              0.19621,
              0.34828,
              0.66476
            ],
            [
              0.02688,
              0.04481,
              0.05827,
              0.08106,
              0.12121,
              0.19619,
              0.34832,
              0.66463
            ],
            [
              0.02687,
              0.04482,
              0.05818,
              0.08111,
              0.12116,
              0.19615,
              0.34817,
              0.66465
            ],
            [
              0.02681,
              0.04475,
              0.0581,
              0.08105,
              0.12106,
              0.19612,
              0.348,
              0.66487
            ],
            [
              0.0267,
              0.0446,
              0.05799,
              0.08083,
              0.12099,
              0.19589,
              0.34829,
              0.66487
            ],
            [
              0.02656,
              0.04436,
              0.05772,
              0.08066,
              0.12067,
              0.19571,
              0.34816,
              0.664
            ],
            [
              0.02649,
              0.0442,
              0.0575,
              0.0803,
              0.1203,
              0.1954,
              0.3477,
              0.6647
            ],
            [
              0.0264,
              0.044,
              0.0574,
              0.08,
              0.1201,
              0.195,
              0.3468,
              0.6642
            ],
            [
              0.0264,
              0.044,
              0.0573,
              0.08,
              0.1199,
              0.1948,
              0.3467,
              0.6627
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02444,
              0.05057,
              0.07247,
              0.11529,
              0.2028,
              0.38386,
              0.75121,
              1.4947
            ],
            [
              0.0244,
              0.0505,
              0.07234,
              0.11507,
              0.20287,
              0.38357,
              0.75389,
              1.49427
            ],
            [
              0.0244,
              0.05049,
              0.07235,
              0.11508,
              0.20286,
              0.38354,
              0.75292,
              1.4945
            ],
            [
              0.02437,
              0.05054,
              0.07237,
              0.11502,
              0.2029,
              0.38397,
              0.75292,
              1.48982
            ],
            [
              0.02442,
              0.05057,
              0.07246,
              0.11527,
              0.20277,
              0.38388,
              0.75115,
              1.49455
            ],
            [
              0.02437,
              0.05048,
              0.07243,
              0.11509,
              0.20293,
              0.38414,
              0.75108,
              1.49073
            ],
            [
              0.02433,
              0.0505,
              0.07226,
              0.11508,
              0.20284,
              0.38415,
              0.75114,
              1.49021
            ],
            [
              0.02417,
              0.05036,
              0.07219,
              0.11515,
              0.2028,
              0.38413,
              0.7515,
              1.49049
            ],
            [
              0.02401,
              0.05024,
              0.07198,
              0.11483,
              0.20285,
              0.38367,
              0.75119,
              1.49453
            ],
            [
              0.02382,
              0.05005,
              0.07181,
              0.11466,
              0.20321,
              0.38393,
              0.75353,
              1.4902
            ],
            [
              0.02356,
              0.04972,
              0.07164,
              0.11455,
              0.20245,
              0.38395,
              0.7518,
              1.4911
            ],
            [
              0.0234,
              0.0494,
              0.0714,
              0.1143,
              0.2025,
              0.3835,
              0.7517,
              1.4902
            ],
            [
              0.0232,
              0.0492,
              0.0711,
              0.1141,
              0.2023,
              0.3834,
              0.7514,
              1.4911
            ]
          ]
        },
        "sdf_cond": "(B&CI)",
        "timing_sense": "positive_unate",
        "when": "(B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.26032,
              0.28645,
              0.30482,
              0.33407,
              0.38043,
              0.45591,
              0.58677,
              0.83128
            ],
            [
              0.26198,
              0.28811,
              0.30648,
              0.33574,
              0.38211,
              0.45761,
              0.58842,
              0.83282
            ],
            [
              0.26432,
              0.29047,
              0.30885,
              0.33812,
              0.38449,
              0.45998,
              0.59085,
              0.83539
            ],
            [
              0.26831,
              0.29446,
              0.31285,
              0.34213,
              0.38851,
              0.46403,
              0.59491,
              0.83932
            ],
            [
              0.27489,
              0.30107,
              0.31947,
              0.34875,
              0.39515,
              0.47067,
              0.60153,
              0.8458
            ],
            [
              0.28541,
              0.31163,
              0.33005,
              0.35935,
              0.40576,
              0.48128,
              0.61213,
              0.85661
            ],
            [
              0.30141,
              0.32765,
              0.34608,
              0.3754,
              0.42183,
              0.49735,
              0.62825,
              0.8728
            ],
            [
              0.32433,
              0.35056,
              0.36899,
              0.3983,
              0.44473,
              0.52024,
              0.65113,
              0.89566
            ],
            [
              0.35498,
              0.38109,
              0.39946,
              0.4287,
              0.47507,
              0.55056,
              0.68139,
              0.92585
            ],
            [
              0.39285,
              0.41866,
              0.43688,
              0.46598,
              0.51222,
              0.58761,
              0.71839,
              0.96279
            ],
            [
              0.43851,
              0.46422,
              0.48232,
              0.51142,
              0.55752,
              0.63282,
              0.76342,
              1.00772
            ],
            [
              0.49527,
              0.52087,
              0.53897,
              0.56797,
              0.61397,
              0.68927,
              0.81987,
              1.06407
            ],
            [
              0.5688,
              0.5943,
              0.6123,
              0.6413,
              0.6873,
              0.7624,
              0.893,
              1.1371
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.19938,
              0.22751,
              0.24772,
              0.28257,
              0.34672,
              0.47174,
              0.72018,
              1.21477
            ],
            [
              0.20174,
              0.22987,
              0.25008,
              0.28493,
              0.34908,
              0.4741,
              0.7217,
              1.21724
            ],
            [
              0.20458,
              0.23272,
              0.25295,
              0.28781,
              0.35199,
              0.47694,
              0.72458,
              1.22032
            ],
            [
              0.20883,
              0.23695,
              0.2572,
              0.29207,
              0.35628,
              0.48108,
              0.72942,
              1.22378
            ],
            [
              0.21513,
              0.24328,
              0.2635,
              0.29836,
              0.36254,
              0.4875,
              0.73592,
              1.23061
            ],
            [
              0.22428,
              0.25243,
              0.27265,
              0.30754,
              0.37172,
              0.4966,
              0.74434,
              1.24022
            ],
            [
              0.23721,
              0.26535,
              0.28559,
              0.32045,
              0.38465,
              0.50955,
              0.75727,
              1.25313
            ],
            [
              0.25612,
              0.28428,
              0.30452,
              0.3394,
              0.40357,
              0.52826,
              0.77691,
              1.27206
            ],
            [
              0.28012,
              0.30823,
              0.32844,
              0.36328,
              0.42739,
              0.55205,
              0.80075,
              1.29595
            ],
            [
              0.30143,
              0.32959,
              0.3498,
              0.38449,
              0.44858,
              0.57322,
              0.82139,
              1.31629
            ],
            [
              0.31897,
              0.34722,
              0.36746,
              0.40223,
              0.46632,
              0.59082,
              0.83872,
              1.33472
            ],
            [
              0.33237,
              0.36077,
              0.38107,
              0.41587,
              0.47977,
              0.60447,
              0.85197,
              1.34747
            ],
            [
              0.3402,
              0.3687,
              0.389,
              0.4237,
              0.4877,
              0.6122,
              0.8606,
              1.3546
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02888,
              0.04759,
              0.0615,
              0.08531,
              0.12683,
              0.2033,
              0.35499,
              0.66721
            ],
            [
              0.02891,
              0.04766,
              0.06153,
              0.08538,
              0.12686,
              0.20342,
              0.35503,
              0.66819
            ],
            [
              0.02893,
              0.04763,
              0.06154,
              0.08534,
              0.12684,
              0.20328,
              0.35496,
              0.66749
            ],
            [
              0.029,
              0.04762,
              0.06163,
              0.08533,
              0.12672,
              0.20344,
              0.35467,
              0.66857
            ],
            [
              0.02898,
              0.04775,
              0.06161,
              0.08545,
              0.12682,
              0.20346,
              0.35499,
              0.66849
            ],
            [
              0.02902,
              0.04774,
              0.06165,
              0.08552,
              0.12703,
              0.20348,
              0.3551,
              0.6676
            ],
            [
              0.0291,
              0.04776,
              0.06175,
              0.08547,
              0.12693,
              0.20335,
              0.35492,
              0.6683
            ],
            [
              0.02903,
              0.04774,
              0.06173,
              0.08545,
              0.12693,
              0.20331,
              0.35493,
              0.66805
            ],
            [
              0.02888,
              0.04763,
              0.06148,
              0.08534,
              0.12689,
              0.2034,
              0.35507,
              0.66775
            ],
            [
              0.02863,
              0.04724,
              0.06112,
              0.08495,
              0.12649,
              0.20295,
              0.35489,
              0.6681
            ],
            [
              0.02859,
              0.04707,
              0.0609,
              0.0847,
              0.1263,
              0.2028,
              0.3541,
              0.6681
            ],
            [
              0.0285,
              0.0468,
              0.0608,
              0.0844,
              0.1261,
              0.2026,
              0.3536,
              0.6678
            ],
            [
              0.0285,
              0.0468,
              0.0607,
              0.0843,
              0.1257,
              0.2024,
              0.3542,
              0.6668
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.0241,
              0.04941,
              0.07054,
              0.11311,
              0.20206,
              0.38571,
              0.75576,
              1.49917
            ],
            [
              0.02411,
              0.04943,
              0.07056,
              0.11312,
              0.2021,
              0.38572,
              0.75598,
              1.49905
            ],
            [
              0.02411,
              0.04942,
              0.07068,
              0.11313,
              0.20218,
              0.38565,
              0.75689,
              1.50216
            ],
            [
              0.02416,
              0.04937,
              0.0706,
              0.11306,
              0.20214,
              0.38543,
              0.75772,
              1.49936
            ],
            [
              0.02412,
              0.04936,
              0.07068,
              0.11311,
              0.20191,
              0.38569,
              0.75572,
              1.49932
            ],
            [
              0.02411,
              0.04939,
              0.07061,
              0.11308,
              0.20186,
              0.38559,
              0.75576,
              1.50133
            ],
            [
              0.02414,
              0.04948,
              0.07073,
              0.11317,
              0.20221,
              0.38557,
              0.75607,
              1.50189
            ],
            [
              0.02416,
              0.04948,
              0.07057,
              0.11308,
              0.2021,
              0.3852,
              0.75631,
              1.49938
            ],
            [
              0.02412,
              0.04943,
              0.07062,
              0.11309,
              0.20201,
              0.38493,
              0.75629,
              1.49933
            ],
            [
              0.02437,
              0.04957,
              0.07076,
              0.11312,
              0.20252,
              0.38602,
              0.75603,
              1.4979
            ],
            [
              0.02454,
              0.04982,
              0.071,
              0.11349,
              0.20213,
              0.385,
              0.7558,
              1.4986
            ],
            [
              0.0248,
              0.05,
              0.0714,
              0.1135,
              0.2024,
              0.3852,
              0.7568,
              1.4985
            ],
            [
              0.0251,
              0.0504,
              0.0714,
              0.1137,
              0.2024,
              0.385,
              0.7557,
              1.498
            ]
          ]
        },
        "sdf_cond": "(!A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.21531,
              0.24199,
              0.26044,
              0.28934,
              0.33434,
              0.40717,
              0.53482,
              0.77756
            ],
            [
              0.21743,
              0.2441,
              0.26255,
              0.29145,
              0.33645,
              0.40928,
              0.53692,
              0.77968
            ],
            [
              0.21998,
              0.24665,
              0.26509,
              0.29399,
              0.33901,
              0.41182,
              0.5394,
              0.78218
            ],
            [
              0.22382,
              0.25049,
              0.26893,
              0.29783,
              0.34282,
              0.41564,
              0.54326,
              0.78602
            ],
            [
              0.2295,
              0.25615,
              0.27459,
              0.30348,
              0.34847,
              0.4213,
              0.54895,
              0.79168
            ],
            [
              0.23772,
              0.26436,
              0.28278,
              0.31167,
              0.35666,
              0.42948,
              0.55709,
              0.79985
            ],
            [
              0.24885,
              0.27547,
              0.29389,
              0.32277,
              0.36777,
              0.44057,
              0.56824,
              0.81092
            ],
            [
              0.26187,
              0.28837,
              0.30678,
              0.33568,
              0.38072,
              0.45356,
              0.58112,
              0.82374
            ],
            [
              0.27313,
              0.29926,
              0.3176,
              0.34655,
              0.39166,
              0.46456,
              0.59215,
              0.83495
            ],
            [
              0.28135,
              0.30696,
              0.32517,
              0.35407,
              0.39924,
              0.47227,
              0.59995,
              0.84249
            ],
            [
              0.28587,
              0.31111,
              0.32915,
              0.35795,
              0.40312,
              0.47612,
              0.60352,
              0.84612
            ],
            [
              0.28367,
              0.30867,
              0.32647,
              0.35507,
              0.40027,
              0.47327,
              0.60087,
              0.84307
            ],
            [
              0.27,
              0.2948,
              0.3125,
              0.3408,
              0.3859,
              0.4589,
              0.5865,
              0.8289
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.2296,
              0.2581,
              0.27898,
              0.31493,
              0.38019,
              0.5054,
              0.75309,
              1.24747
            ],
            [
              0.23091,
              0.25941,
              0.28029,
              0.31624,
              0.38151,
              0.50671,
              0.7544,
              1.24904
            ],
            [
              0.23283,
              0.26133,
              0.28221,
              0.31816,
              0.38345,
              0.50863,
              0.75628,
              1.25072
            ],
            [
              0.23622,
              0.26471,
              0.28559,
              0.32154,
              0.38682,
              0.51201,
              0.75967,
              1.25408
            ],
            [
              0.242,
              0.27047,
              0.29135,
              0.3273,
              0.39257,
              0.51779,
              0.76542,
              1.26001
            ],
            [
              0.25153,
              0.27999,
              0.30087,
              0.33681,
              0.40209,
              0.5273,
              0.77492,
              1.26942
            ],
            [
              0.26665,
              0.29509,
              0.31597,
              0.35192,
              0.41719,
              0.5424,
              0.79003,
              1.28453
            ],
            [
              0.28974,
              0.31819,
              0.33907,
              0.37501,
              0.44028,
              0.5655,
              0.81316,
              1.30766
            ],
            [
              0.32271,
              0.35122,
              0.37211,
              0.40806,
              0.47334,
              0.59855,
              0.84615,
              1.34065
            ],
            [
              0.36493,
              0.39371,
              0.41472,
              0.45074,
              0.51604,
              0.64129,
              0.88899,
              1.38359
            ],
            [
              0.41762,
              0.44672,
              0.46772,
              0.50382,
              0.56912,
              0.69442,
              0.94222,
              1.43682
            ],
            [
              0.48457,
              0.51407,
              0.53527,
              0.57137,
              0.63667,
              0.76207,
              1.00977,
              1.50437
            ],
            [
              0.5712,
              0.6013,
              0.6228,
              0.6591,
              0.7244,
              0.8498,
              1.0976,
              1.5921
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02747,
              0.0461,
              0.05983,
              0.08265,
              0.12221,
              0.1965,
              0.34799,
              0.66473
            ],
            [
              0.02745,
              0.04609,
              0.05982,
              0.08265,
              0.1222,
              0.19646,
              0.34808,
              0.6647
            ],
            [
              0.02743,
              0.04609,
              0.05983,
              0.08262,
              0.12216,
              0.19644,
              0.34822,
              0.66404
            ],
            [
              0.02742,
              0.04607,
              0.05981,
              0.08264,
              0.12217,
              0.19641,
              0.34819,
              0.66427
            ],
            [
              0.02739,
              0.04612,
              0.05976,
              0.08264,
              0.1222,
              0.19652,
              0.34794,
              0.66474
            ],
            [
              0.02739,
              0.04608,
              0.05976,
              0.08261,
              0.12215,
              0.19634,
              0.34814,
              0.66429
            ],
            [
              0.02732,
              0.04597,
              0.05972,
              0.08254,
              0.12204,
              0.19651,
              0.34771,
              0.66488
            ],
            [
              0.02702,
              0.04597,
              0.05972,
              0.08263,
              0.12211,
              0.19644,
              0.34818,
              0.66374
            ],
            [
              0.02686,
              0.046,
              0.05983,
              0.08282,
              0.12242,
              0.19652,
              0.3482,
              0.66475
            ],
            [
              0.02673,
              0.04569,
              0.05963,
              0.0827,
              0.12262,
              0.19685,
              0.3481,
              0.66508
            ],
            [
              0.0268,
              0.04541,
              0.05936,
              0.08265,
              0.12249,
              0.19651,
              0.34799,
              0.6645
            ],
            [
              0.0268,
              0.0451,
              0.059,
              0.0825,
              0.1225,
              0.1966,
              0.348,
              0.663
            ],
            [
              0.0268,
              0.0447,
              0.0585,
              0.0819,
              0.1224,
              0.197,
              0.3477,
              0.6633
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02361,
              0.04991,
              0.07189,
              0.11515,
              0.20363,
              0.38552,
              0.75491,
              1.49669
            ],
            [
              0.02359,
              0.0499,
              0.07189,
              0.11504,
              0.20361,
              0.38554,
              0.75657,
              1.49856
            ],
            [
              0.02359,
              0.04989,
              0.07184,
              0.1151,
              0.20353,
              0.38544,
              0.75513,
              1.49595
            ],
            [
              0.02357,
              0.04985,
              0.07186,
              0.11503,
              0.20357,
              0.38556,
              0.7545,
              1.49789
            ],
            [
              0.02354,
              0.04985,
              0.07182,
              0.11504,
              0.20355,
              0.3855,
              0.75517,
              1.49578
            ],
            [
              0.02351,
              0.04982,
              0.07178,
              0.11499,
              0.20352,
              0.38551,
              0.75517,
              1.5002
            ],
            [
              0.02348,
              0.0498,
              0.07186,
              0.11501,
              0.20349,
              0.38559,
              0.75518,
              1.4964
            ],
            [
              0.02351,
              0.0498,
              0.07191,
              0.11501,
              0.2035,
              0.38559,
              0.7547,
              1.49632
            ],
            [
              0.02369,
              0.05,
              0.07198,
              0.11512,
              0.20353,
              0.38559,
              0.75513,
              1.49733
            ],
            [
              0.02433,
              0.05067,
              0.07266,
              0.1156,
              0.20385,
              0.3854,
              0.75523,
              1.4976
            ],
            [
              0.02499,
              0.05132,
              0.07314,
              0.116,
              0.2041,
              0.3859,
              0.7553,
              1.4993
            ],
            [
              0.026,
              0.0524,
              0.074,
              0.1165,
              0.2046,
              0.3862,
              0.7554,
              1.4974
            ],
            [
              0.0273,
              0.0538,
              0.0753,
              0.1176,
              0.205,
              0.3865,
              0.756,
              1.4994
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.2163,
              0.24326,
              0.26203,
              0.29166,
              0.33818,
              0.41368,
              0.54452,
              0.78939
            ],
            [
              0.21846,
              0.24541,
              0.26418,
              0.2938,
              0.34033,
              0.41582,
              0.54673,
              0.79146
            ],
            [
              0.22103,
              0.24798,
              0.26675,
              0.29637,
              0.34289,
              0.41838,
              0.5493,
              0.79399
            ],
            [
              0.22481,
              0.25177,
              0.27053,
              0.30016,
              0.34668,
              0.42216,
              0.553,
              0.79787
            ],
            [
              0.23046,
              0.2574,
              0.27617,
              0.30577,
              0.3523,
              0.42777,
              0.55862,
              0.80346
            ],
            [
              0.23854,
              0.26548,
              0.28423,
              0.31383,
              0.36036,
              0.43582,
              0.56667,
              0.81149
            ],
            [
              0.25016,
              0.27711,
              0.29585,
              0.32544,
              0.37194,
              0.4474,
              0.57826,
              0.82304
            ],
            [
              0.26555,
              0.29245,
              0.31115,
              0.34071,
              0.3872,
              0.46265,
              0.59348,
              0.83826
            ],
            [
              0.27954,
              0.30627,
              0.32491,
              0.35445,
              0.40094,
              0.47639,
              0.60722,
              0.85195
            ],
            [
              0.28926,
              0.31561,
              0.33421,
              0.36374,
              0.41028,
              0.48581,
              0.61669,
              0.86129
            ],
            [
              0.29432,
              0.32031,
              0.33882,
              0.36834,
              0.4149,
              0.49042,
              0.62102,
              0.86592
            ],
            [
              0.29137,
              0.31717,
              0.33557,
              0.36507,
              0.41177,
              0.48727,
              0.61817,
              0.86237
            ],
            [
              0.2759,
              0.3016,
              0.3198,
              0.3492,
              0.3958,
              0.4716,
              0.6025,
              0.8471
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.23834,
              0.26656,
              0.28701,
              0.3222,
              0.38668,
              0.51153,
              0.75921,
              1.25347
            ],
            [
              0.23998,
              0.2682,
              0.28865,
              0.32383,
              0.38833,
              0.51317,
              0.76085,
              1.25514
            ],
            [
              0.24211,
              0.27032,
              0.29077,
              0.32597,
              0.39042,
              0.51531,
              0.76294,
              1.25722
            ],
            [
              0.24566,
              0.27387,
              0.2943,
              0.32949,
              0.39395,
              0.51884,
              0.7665,
              1.26097
            ],
            [
              0.25169,
              0.27986,
              0.3003,
              0.33549,
              0.39995,
              0.52483,
              0.7725,
              1.26691
            ],
            [
              0.26168,
              0.28984,
              0.31027,
              0.34546,
              0.40993,
              0.53481,
              0.78243,
              1.27682
            ],
            [
              0.27788,
              0.30603,
              0.32646,
              0.36164,
              0.42608,
              0.55099,
              0.79862,
              1.29293
            ],
            [
              0.30322,
              0.33136,
              0.35177,
              0.38695,
              0.45142,
              0.57627,
              0.82391,
              1.31846
            ],
            [
              0.3405,
              0.3687,
              0.38913,
              0.42428,
              0.4887,
              0.61354,
              0.86125,
              1.35585
            ],
            [
              0.39,
              0.41855,
              0.43907,
              0.47432,
              0.53866,
              0.66349,
              0.91119,
              1.40559
            ],
            [
              0.45172,
              0.48072,
              0.50142,
              0.53672,
              0.60112,
              0.72602,
              0.97362,
              1.46812
            ],
            [
              0.53007,
              0.55937,
              0.58027,
              0.61557,
              0.67997,
              0.80477,
              1.05237,
              1.54657
            ],
            [
              0.6306,
              0.6601,
              0.6811,
              0.7166,
              0.781,
              0.9057,
              1.1533,
              1.6475
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02833,
              0.04687,
              0.06094,
              0.08476,
              0.12613,
              0.20269,
              0.35462,
              0.66851
            ],
            [
              0.02834,
              0.04682,
              0.06091,
              0.08478,
              0.12616,
              0.20265,
              0.35434,
              0.66747
            ],
            [
              0.02833,
              0.04682,
              0.06091,
              0.08477,
              0.12618,
              0.20265,
              0.35413,
              0.6678
            ],
            [
              0.0283,
              0.04683,
              0.06092,
              0.08475,
              0.12614,
              0.20267,
              0.35459,
              0.66816
            ],
            [
              0.02826,
              0.04681,
              0.06087,
              0.08476,
              0.12618,
              0.20262,
              0.35463,
              0.66865
            ],
            [
              0.02821,
              0.04678,
              0.06088,
              0.08475,
              0.12617,
              0.20256,
              0.35461,
              0.6687
            ],
            [
              0.0281,
              0.04676,
              0.06088,
              0.08472,
              0.12615,
              0.20244,
              0.35458,
              0.66873
            ],
            [
              0.02779,
              0.04669,
              0.06084,
              0.0847,
              0.12607,
              0.20241,
              0.35452,
              0.66758
            ],
            [
              0.02763,
              0.0469,
              0.06101,
              0.08482,
              0.12614,
              0.20256,
              0.35446,
              0.66869
            ],
            [
              0.02762,
              0.04699,
              0.06116,
              0.08495,
              0.12638,
              0.20275,
              0.35452,
              0.66812
            ],
            [
              0.02804,
              0.04714,
              0.0613,
              0.0852,
              0.12643,
              0.20249,
              0.3544,
              0.6676
            ],
            [
              0.0285,
              0.0472,
              0.0614,
              0.0854,
              0.1267,
              0.2029,
              0.3541,
              0.6668
            ],
            [
              0.0287,
              0.0472,
              0.0612,
              0.0853,
              0.1269,
              0.2033,
              0.3545,
              0.6681
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02344,
              0.04908,
              0.07049,
              0.11323,
              0.20207,
              0.38457,
              0.75542,
              1.49813
            ],
            [
              0.02342,
              0.04908,
              0.07049,
              0.11321,
              0.20216,
              0.38477,
              0.75445,
              1.49746
            ],
            [
              0.02343,
              0.04904,
              0.07046,
              0.11319,
              0.20206,
              0.38463,
              0.7546,
              1.49599
            ],
            [
              0.0234,
              0.04904,
              0.07047,
              0.11325,
              0.20204,
              0.38528,
              0.75602,
              1.49561
            ],
            [
              0.02343,
              0.04902,
              0.07047,
              0.11324,
              0.20202,
              0.38511,
              0.75565,
              1.49565
            ],
            [
              0.02342,
              0.049,
              0.07045,
              0.11321,
              0.20218,
              0.38463,
              0.7552,
              1.49614
            ],
            [
              0.02335,
              0.04895,
              0.07041,
              0.11319,
              0.2023,
              0.38459,
              0.75523,
              1.49618
            ],
            [
              0.02328,
              0.04892,
              0.07034,
              0.11316,
              0.20222,
              0.38482,
              0.75487,
              1.49554
            ],
            [
              0.02326,
              0.04891,
              0.07038,
              0.11323,
              0.20195,
              0.38488,
              0.75437,
              1.49603
            ],
            [
              0.0238,
              0.04948,
              0.07085,
              0.11342,
              0.20202,
              0.38467,
              0.75606,
              1.4958
            ],
            [
              0.02458,
              0.0503,
              0.0716,
              0.114,
              0.2025,
              0.3851,
              0.7549,
              1.4963
            ],
            [
              0.0258,
              0.0515,
              0.0725,
              0.1148,
              0.2028,
              0.385,
              0.755,
              1.4958
            ],
            [
              0.0273,
              0.0533,
              0.074,
              0.1159,
              0.2033,
              0.3858,
              0.7558,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.26284,
              0.2881,
              0.30583,
              0.33399,
              0.37847,
              0.45107,
              0.57871,
              0.82154
            ],
            [
              0.26464,
              0.2899,
              0.30765,
              0.33581,
              0.3803,
              0.4529,
              0.58054,
              0.82337
            ],
            [
              0.26705,
              0.29232,
              0.31007,
              0.33824,
              0.38273,
              0.45533,
              0.58298,
              0.82555
            ],
            [
              0.27103,
              0.29629,
              0.31405,
              0.34223,
              0.38671,
              0.45932,
              0.58698,
              0.82974
            ],
            [
              0.27765,
              0.30293,
              0.32068,
              0.34886,
              0.39335,
              0.46597,
              0.59364,
              0.83636
            ],
            [
              0.28847,
              0.31376,
              0.33151,
              0.35968,
              0.40419,
              0.47681,
              0.60447,
              0.84729
            ],
            [
              0.30585,
              0.33115,
              0.34891,
              0.37708,
              0.42159,
              0.49422,
              0.62191,
              0.86448
            ],
            [
              0.33273,
              0.35805,
              0.3758,
              0.40399,
              0.44851,
              0.52116,
              0.64881,
              0.89166
            ],
            [
              0.37077,
              0.39606,
              0.41379,
              0.44197,
              0.4865,
              0.55916,
              0.68683,
              0.92965
            ],
            [
              0.41918,
              0.44428,
              0.46193,
              0.49003,
              0.53452,
              0.60716,
              0.73479,
              0.97749
            ],
            [
              0.47812,
              0.50302,
              0.52052,
              0.54852,
              0.59282,
              0.66532,
              0.79292,
              1.03562
            ],
            [
              0.55057,
              0.57517,
              0.59267,
              0.62057,
              0.66477,
              0.73727,
              0.86467,
              1.10717
            ],
            [
              0.6415,
              0.6661,
              0.6834,
              0.7112,
              0.7553,
              0.8276,
              0.9551,
              1.1977
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.18714,
              0.21572,
              0.23653,
              0.2723,
              0.337,
              0.46127,
              0.70755,
              1.19867
            ],
            [
              0.18951,
              0.21808,
              0.23891,
              0.27462,
              0.33932,
              0.46343,
              0.70949,
              1.20094
            ],
            [
              0.19236,
              0.22093,
              0.24176,
              0.27749,
              0.34212,
              0.46638,
              0.71233,
              1.20372
            ],
            [
              0.19659,
              0.22517,
              0.24599,
              0.28174,
              0.34645,
              0.47067,
              0.71615,
              1.20768
            ],
            [
              0.20291,
              0.23149,
              0.25232,
              0.28804,
              0.35268,
              0.47694,
              0.72291,
              1.21421
            ],
            [
              0.21197,
              0.24054,
              0.26136,
              0.29711,
              0.36182,
              0.48604,
              0.7323,
              1.22322
            ],
            [
              0.22533,
              0.25389,
              0.27471,
              0.31047,
              0.37512,
              0.49938,
              0.74538,
              1.23643
            ],
            [
              0.24475,
              0.27332,
              0.29414,
              0.32989,
              0.39455,
              0.51883,
              0.76456,
              1.25546
            ],
            [
              0.26398,
              0.29244,
              0.31319,
              0.34892,
              0.41348,
              0.53757,
              0.78345,
              1.27495
            ],
            [
              0.27845,
              0.30697,
              0.32776,
              0.36344,
              0.4279,
              0.55219,
              0.79819,
              1.28889
            ],
            [
              0.28789,
              0.31645,
              0.33726,
              0.37296,
              0.43751,
              0.56152,
              0.80732,
              1.29832
            ],
            [
              0.29077,
              0.31937,
              0.34017,
              0.37587,
              0.44047,
              0.56467,
              0.81067,
              1.30077
            ],
            [
              0.2834,
              0.3121,
              0.3329,
              0.3686,
              0.4332,
              0.5575,
              0.8038,
              1.2936
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02737,
              0.04543,
              0.0588,
              0.0815,
              0.12155,
              0.1965,
              0.34839,
              0.66489
            ],
            [
              0.02738,
              0.04537,
              0.05873,
              0.0815,
              0.12156,
              0.19651,
              0.34839,
              0.66493
            ],
            [
              0.02738,
              0.04538,
              0.05878,
              0.0816,
              0.12157,
              0.1964,
              0.34842,
              0.66438
            ],
            [
              0.0274,
              0.04539,
              0.05876,
              0.08164,
              0.12149,
              0.19653,
              0.34806,
              0.66511
            ],
            [
              0.02741,
              0.04542,
              0.05877,
              0.08167,
              0.12151,
              0.19654,
              0.348,
              0.66509
            ],
            [
              0.02744,
              0.04545,
              0.05881,
              0.08158,
              0.12161,
              0.19656,
              0.34829,
              0.66498
            ],
            [
              0.02746,
              0.04547,
              0.05886,
              0.08172,
              0.12162,
              0.19653,
              0.34819,
              0.66495
            ],
            [
              0.02749,
              0.04551,
              0.05897,
              0.0817,
              0.1217,
              0.19657,
              0.34852,
              0.66477
            ],
            [
              0.02751,
              0.04553,
              0.05889,
              0.08167,
              0.12168,
              0.1966,
              0.3485,
              0.66473
            ],
            [
              0.02738,
              0.0454,
              0.05876,
              0.08155,
              0.12155,
              0.19651,
              0.34847,
              0.6645
            ],
            [
              0.0273,
              0.0452,
              0.0586,
              0.0814,
              0.1212,
              0.1961,
              0.3483,
              0.6646
            ],
            [
              0.0273,
              0.0451,
              0.0585,
              0.0813,
              0.1212,
              0.1958,
              0.3478,
              0.664
            ],
            [
              0.0273,
              0.045,
              0.0584,
              0.0811,
              0.121,
              0.1959,
              0.348,
              0.6633
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02409,
              0.05024,
              0.07197,
              0.11489,
              0.20281,
              0.38411,
              0.75151,
              1.49081
            ],
            [
              0.02414,
              0.0503,
              0.07222,
              0.11489,
              0.20272,
              0.3838,
              0.75126,
              1.48882
            ],
            [
              0.02409,
              0.0502,
              0.07214,
              0.11492,
              0.2028,
              0.38347,
              0.75108,
              1.49432
            ],
            [
              0.0241,
              0.05025,
              0.07199,
              0.11487,
              0.20274,
              0.38411,
              0.75154,
              1.49034
            ],
            [
              0.02409,
              0.05028,
              0.07212,
              0.11493,
              0.20282,
              0.38354,
              0.75122,
              1.49455
            ],
            [
              0.02409,
              0.05023,
              0.07198,
              0.11487,
              0.20276,
              0.38411,
              0.75115,
              1.49063
            ],
            [
              0.02405,
              0.05023,
              0.0721,
              0.11508,
              0.20286,
              0.38377,
              0.75165,
              1.49458
            ],
            [
              0.02406,
              0.05025,
              0.07201,
              0.11508,
              0.20285,
              0.38405,
              0.75292,
              1.49348
            ],
            [
              0.02395,
              0.05013,
              0.07187,
              0.1151,
              0.20282,
              0.38393,
              0.75144,
              1.49434
            ],
            [
              0.02407,
              0.05016,
              0.07208,
              0.11475,
              0.20259,
              0.38366,
              0.75185,
              1.4934
            ],
            [
              0.02416,
              0.05034,
              0.07216,
              0.11493,
              0.2026,
              0.38384,
              0.7511,
              1.4899
            ],
            [
              0.0243,
              0.0505,
              0.0723,
              0.1149,
              0.2029,
              0.3838,
              0.7509,
              1.489
            ],
            [
              0.0244,
              0.0506,
              0.0724,
              0.115,
              0.203,
              0.3843,
              0.7513,
              1.49
            ]
          ]
        },
        "sdf_cond": "(A&CI)",
        "timing_sense": "positive_unate",
        "when": "(A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.15898,
              0.18854,
              0.20949,
              0.24196,
              0.29125,
              0.3688,
              0.50077,
              0.74542
            ],
            [
              0.16132,
              0.19088,
              0.21182,
              0.24428,
              0.29359,
              0.37114,
              0.50312,
              0.74793
            ],
            [
              0.16432,
              0.1939,
              0.21484,
              0.2473,
              0.2966,
              0.37414,
              0.5061,
              0.75078
            ],
            [
              0.16895,
              0.19851,
              0.21946,
              0.25193,
              0.30123,
              0.37877,
              0.51075,
              0.75553
            ],
            [
              0.17614,
              0.20569,
              0.22663,
              0.25909,
              0.3084,
              0.38595,
              0.51793,
              0.76278
            ],
            [
              0.18725,
              0.21674,
              0.23766,
              0.27012,
              0.31943,
              0.39699,
              0.52896,
              0.77363
            ],
            [
              0.20417,
              0.23371,
              0.2546,
              0.28704,
              0.33636,
              0.41395,
              0.54594,
              0.79082
            ],
            [
              0.22974,
              0.25928,
              0.28016,
              0.31261,
              0.36198,
              0.43961,
              0.57161,
              0.81637
            ],
            [
              0.26618,
              0.29603,
              0.31706,
              0.34965,
              0.3992,
              0.477,
              0.60913,
              0.85385
            ],
            [
              0.31198,
              0.34339,
              0.36536,
              0.39915,
              0.44975,
              0.52827,
              0.66079,
              0.90559
            ],
            [
              0.36812,
              0.40151,
              0.42472,
              0.46032,
              0.51332,
              0.59402,
              0.72772,
              0.97302
            ],
            [
              0.43767,
              0.47347,
              0.49827,
              0.53617,
              0.59197,
              0.67567,
              0.81217,
              1.05877
            ],
            [
              0.5264,
              0.5649,
              0.5915,
              0.6321,
              0.6915,
              0.779,
              0.9186,
              1.1676
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.11574,
              0.14408,
              0.16499,
              0.20089,
              0.26581,
              0.39097,
              0.63867,
              1.13437
            ],
            [
              0.11785,
              0.14619,
              0.1671,
              0.203,
              0.26795,
              0.39304,
              0.64073,
              1.13674
            ],
            [
              0.12042,
              0.14876,
              0.16967,
              0.20557,
              0.27047,
              0.39547,
              0.64348,
              1.14002
            ],
            [
              0.1243,
              0.15263,
              0.17352,
              0.20943,
              0.27442,
              0.39955,
              0.64763,
              1.14187
            ],
            [
              0.1301,
              0.15845,
              0.17933,
              0.21521,
              0.28023,
              0.40518,
              0.6533,
              1.14931
            ],
            [
              0.13886,
              0.16721,
              0.18809,
              0.22399,
              0.28897,
              0.41394,
              0.6617,
              1.15802
            ],
            [
              0.1514,
              0.17973,
              0.20058,
              0.2364,
              0.30138,
              0.42648,
              0.67414,
              1.16923
            ],
            [
              0.16777,
              0.19639,
              0.21728,
              0.2531,
              0.31802,
              0.44294,
              0.69125,
              1.18656
            ],
            [
              0.18606,
              0.21589,
              0.23741,
              0.27369,
              0.33884,
              0.46379,
              0.71225,
              1.20735
            ],
            [
              0.20531,
              0.23676,
              0.25921,
              0.29652,
              0.3623,
              0.48746,
              0.73569,
              1.23049
            ],
            [
              0.22397,
              0.25747,
              0.28126,
              0.31992,
              0.38665,
              0.51232,
              0.75992,
              1.25622
            ],
            [
              0.23957,
              0.27557,
              0.30127,
              0.34187,
              0.41027,
              0.53657,
              0.78497,
              1.27937
            ],
            [
              0.2481,
              0.287,
              0.3151,
              0.3588,
              0.4298,
              0.5575,
              0.8061,
              1.3007
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.03162,
              0.05318,
              0.06841,
              0.09253,
              0.13315,
              0.2077,
              0.35691,
              0.66918
            ],
            [
              0.0316,
              0.05318,
              0.06838,
              0.09268,
              0.13307,
              0.20765,
              0.35677,
              0.66928
            ],
            [
              0.03162,
              0.05318,
              0.06842,
              0.09255,
              0.13313,
              0.2075,
              0.35733,
              0.66916
            ],
            [
              0.0316,
              0.05327,
              0.06847,
              0.09257,
              0.13308,
              0.20762,
              0.35712,
              0.66929
            ],
            [
              0.03161,
              0.05316,
              0.06845,
              0.09257,
              0.13314,
              0.2077,
              0.35685,
              0.66923
            ],
            [
              0.03163,
              0.05321,
              0.06842,
              0.0926,
              0.13314,
              0.20749,
              0.35733,
              0.66919
            ],
            [
              0.03169,
              0.05335,
              0.0685,
              0.09265,
              0.13321,
              0.20764,
              0.3572,
              0.66911
            ],
            [
              0.03199,
              0.05352,
              0.06876,
              0.09283,
              0.1333,
              0.2078,
              0.35717,
              0.66937
            ],
            [
              0.03379,
              0.05514,
              0.07004,
              0.09401,
              0.13411,
              0.20821,
              0.35728,
              0.66918
            ],
            [
              0.03801,
              0.05972,
              0.07475,
              0.09833,
              0.13738,
              0.21026,
              0.3581,
              0.66957
            ],
            [
              0.04364,
              0.06598,
              0.08134,
              0.10522,
              0.14391,
              0.2153,
              0.361,
              0.6705
            ],
            [
              0.0506,
              0.0739,
              0.0899,
              0.1142,
              0.1527,
              0.2234,
              0.3667,
              0.6723
            ],
            [
              0.059,
              0.0834,
              0.1,
              0.1253,
              0.1642,
              0.2335,
              0.375,
              0.6767
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02204,
              0.04854,
              0.07083,
              0.11396,
              0.20288,
              0.38621,
              0.75863,
              1.49948
            ],
            [
              0.02206,
              0.04861,
              0.07081,
              0.11399,
              0.20294,
              0.38634,
              0.75849,
              1.49953
            ],
            [
              0.02206,
              0.04865,
              0.07065,
              0.11401,
              0.20291,
              0.38538,
              0.75793,
              1.49845
            ],
            [
              0.02208,
              0.04854,
              0.07067,
              0.11402,
              0.2026,
              0.38578,
              0.75706,
              1.49883
            ],
            [
              0.02207,
              0.0486,
              0.07075,
              0.11397,
              0.20265,
              0.38656,
              0.75738,
              1.4986
            ],
            [
              0.02208,
              0.0486,
              0.07075,
              0.1143,
              0.20293,
              0.38537,
              0.75829,
              1.49974
            ],
            [
              0.02215,
              0.04869,
              0.07087,
              0.11415,
              0.20288,
              0.38609,
              0.75865,
              1.49885
            ],
            [
              0.02299,
              0.04948,
              0.0714,
              0.11444,
              0.20314,
              0.38699,
              0.75669,
              1.49964
            ],
            [
              0.02456,
              0.05177,
              0.07362,
              0.11619,
              0.20376,
              0.38625,
              0.75663,
              1.50061
            ],
            [
              0.02694,
              0.05506,
              0.07717,
              0.11924,
              0.20577,
              0.38649,
              0.75837,
              1.49983
            ],
            [
              0.03015,
              0.0597,
              0.08185,
              0.12358,
              0.20864,
              0.38781,
              0.7558,
              1.4984
            ],
            [
              0.0345,
              0.0657,
              0.0886,
              0.1296,
              0.2127,
              0.3903,
              0.7581,
              1.4993
            ],
            [
              0.0403,
              0.0737,
              0.0979,
              0.1391,
              0.2202,
              0.3943,
              0.7587,
              1.5007
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.20649,
              0.23134,
              0.24948,
              0.27863,
              0.32411,
              0.39734,
              0.52527,
              0.76815
            ],
            [
              0.20865,
              0.2335,
              0.25164,
              0.28079,
              0.32626,
              0.3995,
              0.52748,
              0.77017
            ],
            [
              0.21131,
              0.23615,
              0.25429,
              0.28344,
              0.32892,
              0.40216,
              0.53009,
              0.77276
            ],
            [
              0.2154,
              0.24022,
              0.25837,
              0.28751,
              0.33298,
              0.40621,
              0.53421,
              0.77687
            ],
            [
              0.22165,
              0.24646,
              0.26459,
              0.29372,
              0.33919,
              0.41244,
              0.54035,
              0.78295
            ],
            [
              0.2311,
              0.25589,
              0.27399,
              0.3031,
              0.34857,
              0.4218,
              0.54978,
              0.79254
            ],
            [
              0.24461,
              0.26937,
              0.28744,
              0.31652,
              0.36199,
              0.43522,
              0.56313,
              0.80599
            ],
            [
              0.26237,
              0.28709,
              0.30511,
              0.33418,
              0.37964,
              0.45288,
              0.58084,
              0.8234
            ],
            [
              0.28406,
              0.30866,
              0.32663,
              0.35567,
              0.40114,
              0.47438,
              0.60232,
              0.84515
            ],
            [
              0.30799,
              0.33239,
              0.35028,
              0.37929,
              0.4248,
              0.49807,
              0.62603,
              0.86889
            ],
            [
              0.333,
              0.3571,
              0.37492,
              0.40394,
              0.44942,
              0.52272,
              0.65052,
              0.89322
            ],
            [
              0.35687,
              0.38067,
              0.39837,
              0.42737,
              0.47297,
              0.54627,
              0.67427,
              0.91667
            ],
            [
              0.3762,
              0.3995,
              0.417,
              0.446,
              0.4917,
              0.5652,
              0.6933,
              0.9359
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.22511,
              0.25091,
              0.27047,
              0.30474,
              0.36841,
              0.49278,
              0.74012,
              1.23427
            ],
            [
              0.22751,
              0.25328,
              0.27283,
              0.30714,
              0.3708,
              0.49508,
              0.74255,
              1.23674
            ],
            [
              0.23048,
              0.25629,
              0.27585,
              0.31013,
              0.37378,
              0.49817,
              0.74555,
              1.23972
            ],
            [
              0.23516,
              0.26098,
              0.28053,
              0.31482,
              0.37846,
              0.50286,
              0.75021,
              1.24438
            ],
            [
              0.24233,
              0.26814,
              0.28769,
              0.32196,
              0.38563,
              0.51001,
              0.7574,
              1.25161
            ],
            [
              0.25338,
              0.27922,
              0.29878,
              0.33307,
              0.3967,
              0.52109,
              0.76848,
              1.26262
            ],
            [
              0.27041,
              0.29627,
              0.31582,
              0.35011,
              0.41374,
              0.53811,
              0.78549,
              1.27973
            ],
            [
              0.29644,
              0.3223,
              0.34185,
              0.37611,
              0.43974,
              0.56408,
              0.81135,
              1.30566
            ],
            [
              0.3347,
              0.36048,
              0.37998,
              0.41419,
              0.47777,
              0.60201,
              0.84935,
              1.34355
            ],
            [
              0.38556,
              0.41108,
              0.43048,
              0.46456,
              0.52797,
              0.65219,
              0.89949,
              1.39359
            ],
            [
              0.44832,
              0.47352,
              0.49282,
              0.52672,
              0.58992,
              0.71392,
              0.96112,
              1.45502
            ],
            [
              0.52607,
              0.55087,
              0.56997,
              0.60377,
              0.66677,
              0.79047,
              1.03747,
              1.53147
            ],
            [
              0.6242,
              0.6488,
              0.6677,
              0.7012,
              0.7639,
              0.8873,
              1.1341,
              1.6279
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02769,
              0.04718,
              0.06071,
              0.08334,
              0.12295,
              0.19738,
              0.34887,
              0.66432
            ],
            [
              0.02768,
              0.04715,
              0.06067,
              0.08335,
              0.12297,
              0.19743,
              0.34854,
              0.66412
            ],
            [
              0.02767,
              0.04708,
              0.06071,
              0.08343,
              0.12302,
              0.19738,
              0.34881,
              0.66406
            ],
            [
              0.02767,
              0.04708,
              0.06066,
              0.08336,
              0.12298,
              0.19743,
              0.34853,
              0.66414
            ],
            [
              0.02764,
              0.04707,
              0.06069,
              0.0833,
              0.12301,
              0.19736,
              0.34886,
              0.66477
            ],
            [
              0.0276,
              0.04705,
              0.06066,
              0.08333,
              0.12292,
              0.19741,
              0.34864,
              0.66381
            ],
            [
              0.02754,
              0.04704,
              0.06068,
              0.08333,
              0.12295,
              0.19728,
              0.34889,
              0.66411
            ],
            [
              0.02747,
              0.04703,
              0.06066,
              0.08337,
              0.12298,
              0.19736,
              0.34875,
              0.66458
            ],
            [
              0.02764,
              0.04724,
              0.06087,
              0.08352,
              0.12312,
              0.19751,
              0.34894,
              0.66426
            ],
            [
              0.02789,
              0.04752,
              0.06113,
              0.08383,
              0.12345,
              0.19767,
              0.34892,
              0.66458
            ],
            [
              0.02838,
              0.04814,
              0.06174,
              0.08441,
              0.12384,
              0.19766,
              0.349,
              0.6651
            ],
            [
              0.029,
              0.0489,
              0.0625,
              0.085,
              0.1245,
              0.1981,
              0.3487,
              0.6644
            ],
            [
              0.0301,
              0.0501,
              0.0637,
              0.0861,
              0.1254,
              0.199,
              0.3497,
              0.6639
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.0218,
              0.04706,
              0.06845,
              0.11141,
              0.20096,
              0.38416,
              0.7548,
              1.49614
            ],
            [
              0.02181,
              0.04705,
              0.06849,
              0.11147,
              0.20122,
              0.38433,
              0.75429,
              1.49699
            ],
            [
              0.02181,
              0.047,
              0.06844,
              0.11147,
              0.20074,
              0.38508,
              0.75677,
              1.49584
            ],
            [
              0.02179,
              0.04705,
              0.06846,
              0.11147,
              0.20103,
              0.38517,
              0.75535,
              1.50064
            ],
            [
              0.02181,
              0.0469,
              0.06848,
              0.1114,
              0.20102,
              0.38495,
              0.75682,
              1.49999
            ],
            [
              0.02181,
              0.04692,
              0.06836,
              0.11147,
              0.20106,
              0.38437,
              0.75445,
              1.49682
            ],
            [
              0.0218,
              0.04693,
              0.06833,
              0.11147,
              0.20124,
              0.3851,
              0.75665,
              1.49621
            ],
            [
              0.02179,
              0.04694,
              0.06847,
              0.11147,
              0.20099,
              0.38435,
              0.75419,
              1.49649
            ],
            [
              0.02183,
              0.04693,
              0.06847,
              0.1115,
              0.20077,
              0.38422,
              0.75443,
              1.49674
            ],
            [
              0.02205,
              0.04727,
              0.06866,
              0.11166,
              0.20098,
              0.38449,
              0.75416,
              1.4952
            ],
            [
              0.02253,
              0.0478,
              0.0692,
              0.1121,
              0.2015,
              0.3852,
              0.7566,
              1.4974
            ],
            [
              0.0233,
              0.0487,
              0.07,
              0.1125,
              0.2014,
              0.3841,
              0.7545,
              1.4964
            ],
            [
              0.0242,
              0.0499,
              0.0711,
              0.1133,
              0.2019,
              0.3844,
              0.7553,
              1.4965
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.20646,
              0.23132,
              0.24946,
              0.27862,
              0.32411,
              0.39735,
              0.52531,
              0.76815
            ],
            [
              0.20862,
              0.23347,
              0.25162,
              0.28077,
              0.32626,
              0.3995,
              0.5275,
              0.77026
            ],
            [
              0.21128,
              0.23613,
              0.25428,
              0.28343,
              0.32891,
              0.40216,
              0.53011,
              0.77278
            ],
            [
              0.21537,
              0.24021,
              0.25834,
              0.2875,
              0.33298,
              0.40621,
              0.53421,
              0.77697
            ],
            [
              0.22162,
              0.24645,
              0.26457,
              0.2937,
              0.33919,
              0.41244,
              0.54037,
              0.78302
            ],
            [
              0.23106,
              0.25587,
              0.27396,
              0.30309,
              0.34856,
              0.4218,
              0.54978,
              0.79246
            ],
            [
              0.24458,
              0.26934,
              0.28741,
              0.31651,
              0.36198,
              0.43522,
              0.56313,
              0.80602
            ],
            [
              0.26232,
              0.28705,
              0.30508,
              0.33415,
              0.37963,
              0.45287,
              0.58085,
              0.8234
            ],
            [
              0.284,
              0.30861,
              0.32659,
              0.35563,
              0.40111,
              0.47436,
              0.60231,
              0.84515
            ],
            [
              0.30796,
              0.33236,
              0.35026,
              0.37928,
              0.42479,
              0.49808,
              0.62604,
              0.86889
            ],
            [
              0.33292,
              0.35703,
              0.37485,
              0.40388,
              0.44942,
              0.52272,
              0.65052,
              0.89322
            ],
            [
              0.35687,
              0.38057,
              0.39827,
              0.42727,
              0.47287,
              0.54627,
              0.67427,
              0.91657
            ],
            [
              0.3761,
              0.3994,
              0.4169,
              0.4459,
              0.4917,
              0.5652,
              0.6932,
              0.9358
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.22513,
              0.25093,
              0.27049,
              0.30477,
              0.36843,
              0.4928,
              0.74015,
              1.23427
            ],
            [
              0.22754,
              0.25331,
              0.27286,
              0.30717,
              0.37082,
              0.49512,
              0.74256,
              1.23674
            ],
            [
              0.23051,
              0.25632,
              0.27587,
              0.31016,
              0.37381,
              0.49819,
              0.74558,
              1.23972
            ],
            [
              0.23519,
              0.261,
              0.28055,
              0.31483,
              0.3785,
              0.50287,
              0.75023,
              1.24438
            ],
            [
              0.24234,
              0.26817,
              0.28772,
              0.32199,
              0.38565,
              0.51003,
              0.75743,
              1.25151
            ],
            [
              0.25341,
              0.27925,
              0.29881,
              0.3331,
              0.39672,
              0.5211,
              0.76851,
              1.26272
            ],
            [
              0.27044,
              0.2963,
              0.31585,
              0.35014,
              0.41376,
              0.53814,
              0.78551,
              1.27973
            ],
            [
              0.29647,
              0.32233,
              0.34188,
              0.37613,
              0.43976,
              0.56411,
              0.81139,
              1.30566
            ],
            [
              0.33473,
              0.36051,
              0.38001,
              0.41422,
              0.47781,
              0.60204,
              0.84945,
              1.34365
            ],
            [
              0.3856,
              0.41112,
              0.4305,
              0.4646,
              0.52801,
              0.65219,
              0.89949,
              1.39359
            ],
            [
              0.44832,
              0.47362,
              0.49282,
              0.52682,
              0.59002,
              0.71402,
              0.96122,
              1.45522
            ],
            [
              0.52607,
              0.55097,
              0.57007,
              0.60387,
              0.66687,
              0.79057,
              1.03747,
              1.53157
            ],
            [
              0.6243,
              0.6488,
              0.6678,
              0.7013,
              0.764,
              0.8874,
              1.1342,
              1.628
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02769,
              0.04718,
              0.06068,
              0.08334,
              0.12295,
              0.19742,
              0.34885,
              0.66376
            ],
            [
              0.02768,
              0.04715,
              0.06067,
              0.08336,
              0.12297,
              0.19745,
              0.3486,
              0.66382
            ],
            [
              0.02768,
              0.04708,
              0.06072,
              0.08343,
              0.12303,
              0.1974,
              0.34882,
              0.66406
            ],
            [
              0.02767,
              0.04708,
              0.06067,
              0.08336,
              0.12299,
              0.19745,
              0.3486,
              0.66384
            ],
            [
              0.02764,
              0.04714,
              0.0607,
              0.08333,
              0.12303,
              0.19739,
              0.34885,
              0.66417
            ],
            [
              0.02759,
              0.04711,
              0.06067,
              0.08334,
              0.12292,
              0.19743,
              0.34872,
              0.66436
            ],
            [
              0.02754,
              0.04704,
              0.06069,
              0.08333,
              0.12297,
              0.19727,
              0.34892,
              0.66421
            ],
            [
              0.02748,
              0.04707,
              0.06068,
              0.08339,
              0.12303,
              0.19737,
              0.34877,
              0.66458
            ],
            [
              0.02763,
              0.04727,
              0.06089,
              0.08352,
              0.12314,
              0.19753,
              0.34896,
              0.66428
            ],
            [
              0.0279,
              0.04754,
              0.06114,
              0.08385,
              0.12347,
              0.19769,
              0.34892,
              0.66457
            ],
            [
              0.02839,
              0.04816,
              0.06175,
              0.08441,
              0.1238,
              0.19771,
              0.3488,
              0.6652
            ],
            [
              0.0291,
              0.0489,
              0.0626,
              0.085,
              0.1244,
              0.1982,
              0.3487,
              0.6644
            ],
            [
              0.0301,
              0.0501,
              0.0637,
              0.0862,
              0.1255,
              0.199,
              0.3497,
              0.6639
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.0218,
              0.04694,
              0.06845,
              0.11144,
              0.20099,
              0.38465,
              0.75468,
              1.4955
            ],
            [
              0.02182,
              0.04704,
              0.06847,
              0.11149,
              0.20133,
              0.38419,
              0.75406,
              1.49654
            ],
            [
              0.02182,
              0.04701,
              0.06845,
              0.11148,
              0.20101,
              0.3852,
              0.75455,
              1.49552
            ],
            [
              0.0218,
              0.04706,
              0.06845,
              0.11148,
              0.20102,
              0.38466,
              0.75452,
              1.49603
            ],
            [
              0.02185,
              0.04691,
              0.06845,
              0.11143,
              0.20079,
              0.38437,
              0.75419,
              1.49619
            ],
            [
              0.02183,
              0.04694,
              0.06833,
              0.11147,
              0.20072,
              0.38422,
              0.75412,
              1.4964
            ],
            [
              0.02185,
              0.04694,
              0.06836,
              0.11149,
              0.20081,
              0.38506,
              0.75642,
              1.49701
            ],
            [
              0.02182,
              0.04695,
              0.06851,
              0.11148,
              0.201,
              0.38435,
              0.75406,
              1.49688
            ],
            [
              0.02183,
              0.04693,
              0.06848,
              0.11148,
              0.20078,
              0.38419,
              0.7543,
              1.49851
            ],
            [
              0.02206,
              0.04727,
              0.06879,
              0.11167,
              0.20094,
              0.38445,
              0.75411,
              1.496
            ],
            [
              0.02258,
              0.0479,
              0.0692,
              0.112,
              0.2016,
              0.3841,
              0.7566,
              1.4985
            ],
            [
              0.0232,
              0.0487,
              0.0701,
              0.1125,
              0.2015,
              0.3841,
              0.7546,
              1.4965
            ],
            [
              0.0242,
              0.0499,
              0.0711,
              0.1133,
              0.2019,
              0.3843,
              0.7554,
              1.4965
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.15923,
              0.18882,
              0.20978,
              0.24225,
              0.29153,
              0.36912,
              0.50117,
              0.74617
            ],
            [
              0.16156,
              0.19116,
              0.21211,
              0.24457,
              0.29387,
              0.37146,
              0.50356,
              0.74876
            ],
            [
              0.16456,
              0.19418,
              0.21513,
              0.24759,
              0.29689,
              0.37446,
              0.50656,
              0.7517
            ],
            [
              0.1692,
              0.19881,
              0.21976,
              0.25222,
              0.30151,
              0.3791,
              0.51119,
              0.75633
            ],
            [
              0.17638,
              0.20597,
              0.22692,
              0.25938,
              0.30868,
              0.38627,
              0.51838,
              0.76354
            ],
            [
              0.18749,
              0.21702,
              0.23795,
              0.2704,
              0.31972,
              0.39731,
              0.52941,
              0.77462
            ],
            [
              0.20441,
              0.23398,
              0.25489,
              0.28733,
              0.33665,
              0.41426,
              0.5464,
              0.79148
            ],
            [
              0.22997,
              0.25954,
              0.28045,
              0.31289,
              0.36224,
              0.43991,
              0.57209,
              0.81729
            ],
            [
              0.2664,
              0.29628,
              0.31732,
              0.34992,
              0.39947,
              0.47731,
              0.60956,
              0.85465
            ],
            [
              0.31218,
              0.34363,
              0.36562,
              0.39941,
              0.45004,
              0.52857,
              0.66119,
              0.90639
            ],
            [
              0.3683,
              0.40172,
              0.42496,
              0.46062,
              0.51352,
              0.59432,
              0.72822,
              0.97372
            ],
            [
              0.43787,
              0.47367,
              0.49847,
              0.53647,
              0.59217,
              0.67597,
              0.81257,
              1.05947
            ],
            [
              0.5265,
              0.565,
              0.5917,
              0.6324,
              0.6917,
              0.7793,
              0.919,
              1.1683
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.11569,
              0.14389,
              0.16465,
              0.20032,
              0.26476,
              0.38889,
              0.63473,
              1.12547
            ],
            [
              0.11781,
              0.146,
              0.16678,
              0.20244,
              0.26687,
              0.39097,
              0.63671,
              1.12804
            ],
            [
              0.12038,
              0.14857,
              0.16935,
              0.20501,
              0.26941,
              0.39353,
              0.63956,
              1.13122
            ],
            [
              0.12424,
              0.15244,
              0.1732,
              0.20886,
              0.2733,
              0.39742,
              0.64343,
              1.13367
            ],
            [
              0.13006,
              0.15826,
              0.17904,
              0.21465,
              0.27915,
              0.40313,
              0.64917,
              1.14131
            ],
            [
              0.13882,
              0.16703,
              0.18778,
              0.22344,
              0.28791,
              0.41184,
              0.65753,
              1.14992
            ],
            [
              0.15135,
              0.17954,
              0.20027,
              0.23584,
              0.30033,
              0.42442,
              0.67027,
              1.16103
            ],
            [
              0.16773,
              0.19622,
              0.21699,
              0.25256,
              0.31698,
              0.44096,
              0.68715,
              1.17776
            ],
            [
              0.18603,
              0.21572,
              0.23712,
              0.27319,
              0.33783,
              0.46177,
              0.70818,
              1.19935
            ],
            [
              0.20527,
              0.23658,
              0.25892,
              0.296,
              0.36132,
              0.48545,
              0.73179,
              1.22319
            ],
            [
              0.22394,
              0.25731,
              0.28099,
              0.31943,
              0.38568,
              0.51022,
              0.75602,
              1.24842
            ],
            [
              0.23957,
              0.27537,
              0.30097,
              0.34147,
              0.40937,
              0.53457,
              0.78097,
              1.27157
            ],
            [
              0.2481,
              0.2868,
              0.3148,
              0.3583,
              0.4289,
              0.5556,
              0.8022,
              1.2927
            ]
          ]
        },
        "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.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.03167,
              0.05325,
              0.06844,
              0.09256,
              0.13318,
              0.20779,
              0.35755,
              0.67014
            ],
            [
              0.03167,
              0.05326,
              0.06844,
              0.09256,
              0.13317,
              0.2078,
              0.35729,
              0.66982
            ],
            [
              0.03168,
              0.05326,
              0.06847,
              0.09257,
              0.13313,
              0.20758,
              0.35762,
              0.66902
            ],
            [
              0.03167,
              0.05334,
              0.06845,
              0.0926,
              0.13312,
              0.20769,
              0.35748,
              0.67004
            ],
            [
              0.03169,
              0.05324,
              0.06849,
              0.09257,
              0.13319,
              0.20781,
              0.35717,
              0.66999
            ],
            [
              0.0317,
              0.05338,
              0.06849,
              0.09274,
              0.13318,
              0.20765,
              0.35766,
              0.66892
            ],
            [
              0.03174,
              0.05336,
              0.06855,
              0.09268,
              0.13325,
              0.20763,
              0.35711,
              0.6697
            ],
            [
              0.03203,
              0.0536,
              0.06885,
              0.09286,
              0.13338,
              0.20787,
              0.35733,
              0.67001
            ],
            [
              0.03384,
              0.05522,
              0.07011,
              0.09405,
              0.13414,
              0.20832,
              0.35768,
              0.66995
            ],
            [
              0.03807,
              0.0598,
              0.07483,
              0.09838,
              0.13737,
              0.2103,
              0.35839,
              0.67024
            ],
            [
              0.04368,
              0.06607,
              0.08147,
              0.10542,
              0.14397,
              0.2156,
              0.3614,
              0.6712
            ],
            [
              0.0507,
              0.074,
              0.09,
              0.1142,
              0.1528,
              0.2236,
              0.367,
              0.6731
            ],
            [
              0.0589,
              0.0834,
              0.1002,
              0.1253,
              0.1643,
              0.2337,
              0.3752,
              0.6774
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00545,
            0.01089,
            0.02178,
            0.04356,
            0.08711,
            0.17422,
            0.34845
          ],
          "values": [
            [
              0.02196,
              0.04832,
              0.07035,
              0.11332,
              0.20165,
              0.38371,
              0.75342,
              1.49479
            ],
            [
              0.02197,
              0.04837,
              0.07047,
              0.11334,
              0.20174,
              0.38395,
              0.75408,
              1.49002
            ],
            [
              0.02198,
              0.04842,
              0.07047,
              0.11336,
              0.20171,
              0.38396,
              0.75222,
              1.49524
            ],
            [
              0.02196,
              0.04832,
              0.07028,
              0.11341,
              0.2017,
              0.3831,
              0.75344,
              1.48948
            ],
            [
              0.02196,
              0.04835,
              0.07029,
              0.11336,
              0.20154,
              0.3841,
              0.75398,
              1.4924
            ],
            [
              0.02198,
              0.04839,
              0.07041,
              0.11361,
              0.20171,
              0.38296,
              0.75128,
              1.49318
            ],
            [
              0.02206,
              0.04847,
              0.07054,
              0.11352,
              0.20171,
              0.38362,
              0.75361,
              1.48943
            ],
            [
              0.0229,
              0.04927,
              0.07105,
              0.11381,
              0.20194,
              0.38472,
              0.75207,
              1.48996
            ],
            [
              0.02448,
              0.05156,
              0.07327,
              0.11549,
              0.20258,
              0.38393,
              0.75197,
              1.4916
            ],
            [
              0.02685,
              0.05491,
              0.07686,
              0.11847,
              0.20463,
              0.38425,
              0.7518,
              1.49272
            ],
            [
              0.03009,
              0.05952,
              0.08153,
              0.12299,
              0.20747,
              0.38555,
              0.7512,
              1.4924
            ],
            [
              0.0344,
              0.0655,
              0.0884,
              0.129,
              0.2115,
              0.388,
              0.7534,
              1.4912
            ],
            [
              0.0402,
              0.0736,
              0.0976,
              0.1386,
              0.2191,
              0.392,
              0.7543,
              1.4921
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}