{
  "area": 33.5664,
  "cell_footprint": "sky130_fd_sc_hs__ha",
  "cell_leakage_power": 256.27811,
  "leakage_power": [
    {
      "value": 232.18655,
      "when": "!A&!B"
    },
    {
      "value": 292.22986,
      "when": "!A&B"
    },
    {
      "value": 244.50602,
      "when": "A&!B"
    },
    {
      "value": 256.18999,
      "when": "A&B"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00998,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00887,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B)",
    "internal_power": [
      {
        "fall_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.11971,
              0.12828,
              0.13815,
              0.15908,
              0.20296,
              0.29227,
              0.47139,
              0.83006,
              1.55242
            ],
            [
              0.11966,
              0.12822,
              0.13812,
              0.15918,
              0.20292,
              0.29218,
              0.47123,
              0.82954,
              1.54917
            ],
            [
              0.11961,
              0.12818,
              0.13797,
              0.15901,
              0.20284,
              0.29221,
              0.47126,
              0.8311,
              1.5493
            ],
            [
              0.11959,
              0.12817,
              0.13797,
              0.15893,
              0.20292,
              0.29218,
              0.47204,
              0.82964,
              1.55252
            ],
            [
              0.11965,
              0.12819,
              0.138,
              0.15898,
              0.20281,
              0.29205,
              0.47167,
              0.82925,
              1.54889
            ],
            [
              0.11997,
              0.12844,
              0.13824,
              0.15912,
              0.20296,
              0.29233,
              0.47099,
              0.83094,
              1.55252
            ],
            [
              0.121,
              0.12941,
              0.13911,
              0.15993,
              0.20358,
              0.29274,
              0.47202,
              0.83057,
              1.5528
            ],
            [
              0.12391,
              0.1321,
              0.14158,
              0.16215,
              0.20573,
              0.29493,
              0.47383,
              0.83341,
              1.55525
            ],
            [
              0.13,
              0.13772,
              0.14686,
              0.16691,
              0.20975,
              0.29852,
              0.47749,
              0.83483,
              1.55836
            ],
            [
              0.14038,
              0.14766,
              0.15639,
              0.1756,
              0.21782,
              0.30583,
              0.48404,
              0.84163,
              1.56039
            ],
            [
              0.15443,
              0.1612,
              0.16953,
              0.18808,
              0.22938,
              0.31626,
              0.49363,
              0.85122,
              1.57355
            ],
            [
              0.17611,
              0.18233,
              0.19013,
              0.20779,
              0.24813,
              0.33412,
              0.51075,
              0.86864,
              1.58471
            ],
            [
              0.20722,
              0.21295,
              0.22023,
              0.23685,
              0.27555,
              0.3601,
              0.53601,
              0.89156,
              1.60885
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.0783,
              0.08361,
              0.09023,
              0.10501,
              0.13589,
              0.19837,
              0.32228,
              0.57068,
              1.06929
            ],
            [
              0.07803,
              0.08335,
              0.08998,
              0.10474,
              0.13561,
              0.19812,
              0.32228,
              0.57016,
              1.06916
            ],
            [
              0.07779,
              0.08312,
              0.08976,
              0.10451,
              0.13537,
              0.1977,
              0.32205,
              0.5714,
              1.06916
            ],
            [
              0.07753,
              0.08281,
              0.08946,
              0.1042,
              0.13509,
              0.19756,
              0.32179,
              0.57077,
              1.06835
            ],
            [
              0.07738,
              0.08269,
              0.08932,
              0.10404,
              0.1349,
              0.19737,
              0.3216,
              0.5699,
              1.07098
            ],
            [
              0.07739,
              0.08267,
              0.08928,
              0.10397,
              0.13473,
              0.19701,
              0.32183,
              0.56936,
              1.06851
            ],
            [
              0.07819,
              0.08331,
              0.08986,
              0.10437,
              0.13501,
              0.19728,
              0.32201,
              0.56965,
              1.06788
            ],
            [
              0.08018,
              0.08511,
              0.0914,
              0.10576,
              0.13611,
              0.19831,
              0.32238,
              0.57139,
              1.06917
            ],
            [
              0.08415,
              0.08863,
              0.09473,
              0.10869,
              0.13871,
              0.20057,
              0.32445,
              0.57371,
              1.07424
            ],
            [
              0.09221,
              0.09611,
              0.10179,
              0.11525,
              0.14469,
              0.20595,
              0.33,
              0.57723,
              1.07569
            ],
            [
              0.10446,
              0.10757,
              0.11268,
              0.12541,
              0.15425,
              0.2147,
              0.33788,
              0.58576,
              1.08343
            ],
            [
              0.12501,
              0.12713,
              0.13155,
              0.14343,
              0.17107,
              0.23043,
              0.35236,
              0.59876,
              1.09833
            ],
            [
              0.15564,
              0.15664,
              0.16019,
              0.17102,
              0.19727,
              0.25519,
              0.37551,
              0.6203,
              1.1194
            ]
          ]
        },
        "when": "(B)"
      },
      {
        "fall_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.11743,
              0.126,
              0.13602,
              0.15711,
              0.20119,
              0.29002,
              0.47011,
              0.82737,
              1.55076
            ],
            [
              0.11734,
              0.12593,
              0.13594,
              0.15718,
              0.20094,
              0.29018,
              0.4693,
              0.82852,
              1.55087
            ],
            [
              0.11728,
              0.12583,
              0.13583,
              0.15692,
              0.20079,
              0.29008,
              0.46981,
              0.82724,
              1.54816
            ],
            [
              0.11723,
              0.1258,
              0.13579,
              0.15691,
              0.20078,
              0.29001,
              0.46999,
              0.82718,
              1.55081
            ],
            [
              0.11732,
              0.12584,
              0.13581,
              0.15683,
              0.20073,
              0.29028,
              0.46917,
              0.82883,
              1.54767
            ],
            [
              0.11763,
              0.12605,
              0.13596,
              0.15691,
              0.20096,
              0.28995,
              0.46929,
              0.82908,
              1.55104
            ],
            [
              0.11865,
              0.12699,
              0.13678,
              0.15764,
              0.20139,
              0.29054,
              0.46977,
              0.82854,
              1.55153
            ],
            [
              0.12187,
              0.12976,
              0.1393,
              0.15976,
              0.20317,
              0.29228,
              0.47211,
              0.82958,
              1.55127
            ],
            [
              0.12737,
              0.13486,
              0.14405,
              0.16398,
              0.20708,
              0.2958,
              0.47462,
              0.83282,
              1.55659
            ],
            [
              0.13656,
              0.14374,
              0.15255,
              0.17186,
              0.21405,
              0.30226,
              0.48106,
              0.84023,
              1.56183
            ],
            [
              0.1496,
              0.15633,
              0.16476,
              0.18363,
              0.22487,
              0.31226,
              0.49088,
              0.84939,
              1.57085
            ],
            [
              0.17041,
              0.17669,
              0.18466,
              0.20251,
              0.24284,
              0.32928,
              0.50653,
              0.86486,
              1.58458
            ],
            [
              0.20116,
              0.20698,
              0.21453,
              0.23138,
              0.27004,
              0.3549,
              0.53139,
              0.88747,
              1.60855
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.09004,
              0.09538,
              0.10201,
              0.11681,
              0.14768,
              0.21016,
              0.33457,
              0.58324,
              1.08169
            ],
            [
              0.08997,
              0.0953,
              0.10191,
              0.11668,
              0.14751,
              0.20993,
              0.33454,
              0.5822,
              1.08118
            ],
            [
              0.08987,
              0.0952,
              0.10184,
              0.11659,
              0.14746,
              0.20978,
              0.33398,
              0.58224,
              1.08169
            ],
            [
              0.08971,
              0.09507,
              0.1017,
              0.11648,
              0.14734,
              0.20982,
              0.33402,
              0.58294,
              1.08338
            ],
            [
              0.08972,
              0.09506,
              0.10167,
              0.1164,
              0.14723,
              0.20963,
              0.33364,
              0.58223,
              1.08134
            ],
            [
              0.09004,
              0.09534,
              0.10192,
              0.1166,
              0.14726,
              0.20947,
              0.33391,
              0.58177,
              1.08355
            ],
            [
              0.09146,
              0.0966,
              0.10302,
              0.11746,
              0.14788,
              0.21017,
              0.33414,
              0.5833,
              1.08364
            ],
            [
              0.09439,
              0.09909,
              0.10528,
              0.11943,
              0.14956,
              0.21136,
              0.33533,
              0.58402,
              1.0843
            ],
            [
              0.09924,
              0.10352,
              0.10942,
              0.12321,
              0.15296,
              0.21449,
              0.33806,
              0.58573,
              1.08713
            ],
            [
              0.10851,
              0.11214,
              0.11768,
              0.13093,
              0.16009,
              0.22106,
              0.34451,
              0.59329,
              1.09083
            ],
            [
              0.12186,
              0.12465,
              0.12965,
              0.14228,
              0.17093,
              0.23106,
              0.35345,
              0.60053,
              1.10211
            ],
            [
              0.14472,
              0.14649,
              0.15075,
              0.1625,
              0.1901,
              0.24964,
              0.37136,
              0.61837,
              1.11505
            ],
            [
              0.17966,
              0.18029,
              0.18358,
              0.1942,
              0.22074,
              0.2786,
              0.39988,
              0.64461,
              1.14366
            ]
          ]
        },
        "when": "(A)"
      }
    ],
    "max_capacitance": 0.4139,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.11699,
              0.1279,
              0.13646,
              0.15053,
              0.17327,
              0.21097,
              0.27681,
              0.39781,
              0.63426
            ],
            [
              0.11798,
              0.12889,
              0.13746,
              0.15152,
              0.17427,
              0.21197,
              0.27781,
              0.39879,
              0.63525
            ],
            [
              0.11955,
              0.13046,
              0.13902,
              0.15309,
              0.17583,
              0.21353,
              0.27937,
              0.40035,
              0.63696
            ],
            [
              0.12244,
              0.13334,
              0.14191,
              0.15596,
              0.17872,
              0.21641,
              0.28226,
              0.40325,
              0.63965
            ],
            [
              0.12751,
              0.13841,
              0.14696,
              0.16102,
              0.18377,
              0.22148,
              0.28734,
              0.40832,
              0.64475
            ],
            [
              0.13597,
              0.14685,
              0.15538,
              0.16943,
              0.19218,
              0.22991,
              0.29577,
              0.41669,
              0.65332
            ],
            [
              0.14944,
              0.1603,
              0.16881,
              0.18285,
              0.20562,
              0.24337,
              0.30926,
              0.43028,
              0.66697
            ],
            [
              0.16875,
              0.17983,
              0.18844,
              0.2026,
              0.2255,
              0.26338,
              0.32931,
              0.45031,
              0.68667
            ],
            [
              0.19189,
              0.20366,
              0.21277,
              0.22764,
              0.25144,
              0.29016,
              0.35653,
              0.47757,
              0.71393
            ],
            [
              0.21955,
              0.23213,
              0.24185,
              0.25761,
              0.28263,
              0.32292,
              0.39078,
              0.51223,
              0.74889
            ],
            [
              0.2538,
              0.26729,
              0.2777,
              0.29454,
              0.32106,
              0.36318,
              0.43294,
              0.55562,
              0.79202
            ],
            [
              0.29757,
              0.31207,
              0.32327,
              0.34147,
              0.36977,
              0.41417,
              0.48647,
              0.61067,
              0.84757
            ],
            [
              0.3547,
              0.3703,
              0.3825,
              0.4021,
              0.4329,
              0.4804,
              0.5561,
              0.6828,
              0.9206
            ]
          ]
        },
        "cell_rise,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.10906,
              0.12219,
              0.13302,
              0.15174,
              0.18464,
              0.24531,
              0.36181,
              0.59146,
              1.04977
            ],
            [
              0.11021,
              0.12334,
              0.13416,
              0.15289,
              0.18578,
              0.24645,
              0.36294,
              0.59263,
              1.05094
            ],
            [
              0.11188,
              0.125,
              0.13583,
              0.15455,
              0.18744,
              0.2481,
              0.3646,
              0.59428,
              1.05262
            ],
            [
              0.1145,
              0.12763,
              0.13845,
              0.15718,
              0.19006,
              0.25073,
              0.36724,
              0.59691,
              1.05527
            ],
            [
              0.11853,
              0.13166,
              0.14248,
              0.16119,
              0.19406,
              0.25473,
              0.37115,
              0.60093,
              1.05941
            ],
            [
              0.12448,
              0.1376,
              0.14841,
              0.16709,
              0.19993,
              0.26056,
              0.37704,
              0.60683,
              1.06522
            ],
            [
              0.13305,
              0.14618,
              0.15699,
              0.17564,
              0.20843,
              0.26902,
              0.38546,
              0.61527,
              1.07363
            ],
            [
              0.14368,
              0.15709,
              0.1681,
              0.18707,
              0.22004,
              0.28064,
              0.39698,
              0.62683,
              1.08536
            ],
            [
              0.15587,
              0.16963,
              0.18099,
              0.20048,
              0.23408,
              0.29514,
              0.41158,
              0.64113,
              1.09965
            ],
            [
              0.16894,
              0.18319,
              0.19501,
              0.21528,
              0.24986,
              0.3117,
              0.42853,
              0.65809,
              1.11659
            ],
            [
              0.18167,
              0.19657,
              0.20896,
              0.23029,
              0.26637,
              0.32972,
              0.44752,
              0.67722,
              1.13552
            ],
            [
              0.19227,
              0.20807,
              0.22117,
              0.24377,
              0.28187,
              0.34767,
              0.46747,
              0.69857,
              1.15677
            ],
            [
              0.1983,
              0.2151,
              0.229,
              0.2532,
              0.2939,
              0.3629,
              0.4861,
              0.7204,
              1.1809
            ]
          ]
        },
        "fall_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.02043,
              0.02855,
              0.03509,
              0.04653,
              0.06717,
              0.10672,
              0.18372,
              0.34026,
              0.66252
            ],
            [
              0.02044,
              0.02858,
              0.03511,
              0.04652,
              0.06716,
              0.10674,
              0.18378,
              0.34025,
              0.66289
            ],
            [
              0.02044,
              0.02856,
              0.03511,
              0.04655,
              0.06716,
              0.10674,
              0.18373,
              0.34016,
              0.6641
            ],
            [
              0.02044,
              0.02858,
              0.03511,
              0.04655,
              0.06717,
              0.1067,
              0.18369,
              0.3404,
              0.66246
            ],
            [
              0.02047,
              0.02859,
              0.03515,
              0.04654,
              0.06717,
              0.10676,
              0.1838,
              0.34022,
              0.66282
            ],
            [
              0.02052,
              0.02865,
              0.03521,
              0.04665,
              0.06723,
              0.10668,
              0.18364,
              0.34025,
              0.66238
            ],
            [
              0.02083,
              0.02896,
              0.03549,
              0.0469,
              0.06742,
              0.10685,
              0.18379,
              0.34042,
              0.6631
            ],
            [
              0.02278,
              0.03075,
              0.03716,
              0.04825,
              0.06845,
              0.10748,
              0.18401,
              0.34022,
              0.66261
            ],
            [
              0.02646,
              0.03467,
              0.04108,
              0.05216,
              0.07202,
              0.11022,
              0.18556,
              0.34088,
              0.66259
            ],
            [
              0.03102,
              0.03956,
              0.04615,
              0.05733,
              0.07721,
              0.11509,
              0.18913,
              0.3424,
              0.66265
            ],
            [
              0.03649,
              0.04551,
              0.05238,
              0.06383,
              0.08372,
              0.12143,
              0.19452,
              0.34545,
              0.6637
            ],
            [
              0.0435,
              0.053,
              0.0602,
              0.0721,
              0.0922,
              0.1295,
              0.2014,
              0.3498,
              0.6658
            ],
            [
              0.0527,
              0.0628,
              0.0706,
              0.0831,
              0.1036,
              0.141,
              0.2114,
              0.3568,
              0.669
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.02149,
              0.03532,
              0.04712,
              0.06933,
              0.11324,
              0.20271,
              0.38452,
              0.75204,
              1.49174
            ],
            [
              0.02148,
              0.03531,
              0.04713,
              0.06933,
              0.11325,
              0.20274,
              0.38428,
              0.75306,
              1.49193
            ],
            [
              0.02149,
              0.03533,
              0.04712,
              0.06933,
              0.11324,
              0.20261,
              0.38419,
              0.75238,
              1.49137
            ],
            [
              0.02148,
              0.03527,
              0.04713,
              0.06933,
              0.11323,
              0.20273,
              0.38486,
              0.75221,
              1.4918
            ],
            [
              0.0215,
              0.03531,
              0.04716,
              0.06935,
              0.11322,
              0.2027,
              0.38468,
              0.75204,
              1.48975
            ],
            [
              0.0216,
              0.03539,
              0.04723,
              0.06944,
              0.11332,
              0.20262,
              0.3843,
              0.75158,
              1.4899
            ],
            [
              0.02202,
              0.03583,
              0.04764,
              0.06981,
              0.11356,
              0.20276,
              0.38445,
              0.75155,
              1.48866
            ],
            [
              0.02325,
              0.03725,
              0.04921,
              0.07128,
              0.11463,
              0.2033,
              0.38477,
              0.75273,
              1.48914
            ],
            [
              0.02513,
              0.03935,
              0.05158,
              0.07389,
              0.11699,
              0.2048,
              0.38545,
              0.75192,
              1.4886
            ],
            [
              0.02795,
              0.04235,
              0.05503,
              0.07776,
              0.12073,
              0.20741,
              0.38625,
              0.75255,
              1.49069
            ],
            [
              0.03208,
              0.0466,
              0.05974,
              0.08321,
              0.12655,
              0.21224,
              0.38956,
              0.75359,
              1.4915
            ],
            [
              0.0378,
              0.0524,
              0.066,
              0.0905,
              0.1347,
              0.2203,
              0.3953,
              0.7575,
              1.4913
            ],
            [
              0.0455,
              0.0602,
              0.0743,
              0.0998,
              0.1456,
              0.2318,
              0.4058,
              0.765,
              1.495
            ]
          ]
        },
        "timing_sense": "positive_unate"
      },
      {
        "cell_fall,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.099,
              0.10934,
              0.11751,
              0.13103,
              0.15307,
              0.18987,
              0.25516,
              0.37623,
              0.61284
            ],
            [
              0.10031,
              0.11065,
              0.11881,
              0.13233,
              0.15437,
              0.19118,
              0.25646,
              0.37754,
              0.614
            ],
            [
              0.10222,
              0.11255,
              0.12071,
              0.13422,
              0.15627,
              0.19308,
              0.25837,
              0.37946,
              0.61589
            ],
            [
              0.10551,
              0.11582,
              0.12398,
              0.13748,
              0.15953,
              0.19634,
              0.26162,
              0.38268,
              0.61914
            ],
            [
              0.11097,
              0.12127,
              0.12941,
              0.1429,
              0.16495,
              0.20178,
              0.26707,
              0.3881,
              0.62481
            ],
            [
              0.1198,
              0.13007,
              0.13818,
              0.15165,
              0.17371,
              0.21056,
              0.27588,
              0.39695,
              0.6333
            ],
            [
              0.13337,
              0.14358,
              0.15165,
              0.1651,
              0.18717,
              0.22409,
              0.28945,
              0.41051,
              0.64682
            ],
            [
              0.15079,
              0.16148,
              0.16982,
              0.18362,
              0.20602,
              0.24318,
              0.30869,
              0.42981,
              0.66618
            ],
            [
              0.17092,
              0.18226,
              0.19108,
              0.20559,
              0.22904,
              0.26747,
              0.33368,
              0.45486,
              0.6914
            ],
            [
              0.19476,
              0.2069,
              0.21631,
              0.23167,
              0.25629,
              0.29624,
              0.36427,
              0.48621,
              0.72269
            ],
            [
              0.22382,
              0.23687,
              0.24699,
              0.26345,
              0.28955,
              0.33143,
              0.40148,
              0.52482,
              0.76162
            ],
            [
              0.25977,
              0.27387,
              0.28487,
              0.30277,
              0.33087,
              0.37537,
              0.44837,
              0.57347,
              0.81107
            ],
            [
              0.3043,
              0.3198,
              0.3318,
              0.3514,
              0.3822,
              0.4304,
              0.5079,
              0.6367,
              0.8755
            ]
          ]
        },
        "cell_rise,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.09324,
              0.10637,
              0.11719,
              0.13594,
              0.16884,
              0.22951,
              0.346,
              0.5757,
              1.03407
            ],
            [
              0.09463,
              0.10776,
              0.11859,
              0.13733,
              0.17023,
              0.23089,
              0.34735,
              0.5771,
              1.03564
            ],
            [
              0.09658,
              0.10971,
              0.12053,
              0.13927,
              0.17216,
              0.23283,
              0.34934,
              0.57904,
              1.03732
            ],
            [
              0.09979,
              0.11292,
              0.12373,
              0.14247,
              0.17536,
              0.23603,
              0.35254,
              0.58223,
              1.04068
            ],
            [
              0.10498,
              0.1181,
              0.12891,
              0.14763,
              0.18047,
              0.24113,
              0.3576,
              0.58737,
              1.04581
            ],
            [
              0.11323,
              0.12632,
              0.1371,
              0.15573,
              0.1885,
              0.24908,
              0.36561,
              0.59527,
              1.05372
            ],
            [
              0.12549,
              0.13849,
              0.14923,
              0.16776,
              0.2004,
              0.26088,
              0.37729,
              0.60708,
              1.06553
            ],
            [
              0.14006,
              0.15337,
              0.16432,
              0.18319,
              0.21599,
              0.27641,
              0.39276,
              0.62242,
              1.08096
            ],
            [
              0.15658,
              0.17026,
              0.18153,
              0.20085,
              0.23423,
              0.29513,
              0.41134,
              0.64095,
              1.09925
            ],
            [
              0.175,
              0.18923,
              0.20098,
              0.22105,
              0.25524,
              0.31666,
              0.43335,
              0.66269,
              1.12119
            ],
            [
              0.19485,
              0.20981,
              0.22219,
              0.24337,
              0.27897,
              0.34157,
              0.45892,
              0.68862,
              1.14692
            ],
            [
              0.21527,
              0.23107,
              0.24427,
              0.26687,
              0.30457,
              0.36937,
              0.48847,
              0.71957,
              1.17777
            ],
            [
              0.2347,
              0.2517,
              0.2657,
              0.2899,
              0.3305,
              0.3986,
              0.5207,
              0.755,
              1.2154
            ]
          ]
        },
        "fall_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.01837,
              0.02603,
              0.03239,
              0.04375,
              0.06445,
              0.10422,
              0.18249,
              0.34007,
              0.66283
            ],
            [
              0.01836,
              0.02608,
              0.03238,
              0.04376,
              0.06443,
              0.10421,
              0.1824,
              0.33988,
              0.66261
            ],
            [
              0.01836,
              0.02604,
              0.0324,
              0.04376,
              0.06444,
              0.10422,
              0.18248,
              0.34014,
              0.66264
            ],
            [
              0.01837,
              0.02608,
              0.0324,
              0.04376,
              0.06447,
              0.1042,
              0.18229,
              0.33975,
              0.66271
            ],
            [
              0.01837,
              0.02605,
              0.0324,
              0.04379,
              0.06448,
              0.10416,
              0.18241,
              0.34012,
              0.66279
            ],
            [
              0.01842,
              0.02616,
              0.03254,
              0.04389,
              0.06454,
              0.10423,
              0.18249,
              0.34011,
              0.66258
            ],
            [
              0.01895,
              0.02664,
              0.03297,
              0.04429,
              0.06484,
              0.10441,
              0.1825,
              0.33998,
              0.66269
            ],
            [
              0.02162,
              0.0293,
              0.0355,
              0.04645,
              0.06648,
              0.10542,
              0.183,
              0.34017,
              0.66291
            ],
            [
              0.02509,
              0.03303,
              0.03934,
              0.0504,
              0.07048,
              0.10886,
              0.18489,
              0.34074,
              0.66246
            ],
            [
              0.02945,
              0.03774,
              0.04419,
              0.05536,
              0.0754,
              0.11375,
              0.18893,
              0.34246,
              0.66242
            ],
            [
              0.03491,
              0.04363,
              0.05038,
              0.06178,
              0.08185,
              0.12015,
              0.19428,
              0.34579,
              0.6642
            ],
            [
              0.0421,
              0.0513,
              0.0585,
              0.0704,
              0.0908,
              0.129,
              0.2021,
              0.3508,
              0.6658
            ],
            [
              0.0517,
              0.0618,
              0.0696,
              0.0822,
              0.1034,
              0.1421,
              0.2144,
              0.3594,
              0.6699
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00485,
            0.00969,
            0.01938,
            0.03875,
            0.07751,
            0.15501,
            0.31003,
            0.62005
          ],
          "values": [
            [
              0.02148,
              0.0352,
              0.04705,
              0.06925,
              0.11315,
              0.2027,
              0.38503,
              0.75205,
              1.49214
            ],
            [
              0.02145,
              0.03523,
              0.04705,
              0.06925,
              0.11317,
              0.20258,
              0.38438,
              0.75152,
              1.49119
            ],
            [
              0.02143,
              0.03521,
              0.04706,
              0.06926,
              0.11318,
              0.20262,
              0.3843,
              0.75246,
              1.48849
            ],
            [
              0.02149,
              0.03519,
              0.04705,
              0.06926,
              0.11315,
              0.20271,
              0.38457,
              0.75212,
              1.49023
            ],
            [
              0.02149,
              0.0352,
              0.04706,
              0.06927,
              0.11319,
              0.2027,
              0.38484,
              0.75202,
              1.49218
            ],
            [
              0.02145,
              0.03521,
              0.0471,
              0.06934,
              0.11327,
              0.20254,
              0.38413,
              0.75344,
              1.49068
            ],
            [
              0.02206,
              0.03578,
              0.04761,
              0.06977,
              0.11355,
              0.20283,
              0.38486,
              0.75203,
              1.49007
            ],
            [
              0.02377,
              0.03768,
              0.04963,
              0.07165,
              0.11483,
              0.2034,
              0.38462,
              0.75191,
              1.49028
            ],
            [
              0.02617,
              0.04009,
              0.05228,
              0.07444,
              0.11748,
              0.20511,
              0.38546,
              0.75194,
              1.49076
            ],
            [
              0.02958,
              0.04365,
              0.05611,
              0.07849,
              0.12109,
              0.20777,
              0.38672,
              0.75193,
              1.4907
            ],
            [
              0.03434,
              0.04846,
              0.06137,
              0.08435,
              0.12694,
              0.21227,
              0.38969,
              0.75467,
              1.4891
            ],
            [
              0.0408,
              0.0551,
              0.0683,
              0.0923,
              0.1356,
              0.2201,
              0.3955,
              0.7569,
              1.4916
            ],
            [
              0.0496,
              0.064,
              0.0776,
              0.1027,
              0.1474,
              0.2318,
              0.4062,
              0.7657,
              1.4953
            ]
          ]
        },
        "timing_sense": "positive_unate"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B) | (!A&B)",
    "internal_power": [
      {
        "fall_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.08781,
              0.07562,
              0.06455,
              0.0439,
              0.00468,
              -0.07229,
              -0.22569,
              -0.53258,
              -1.14616
            ],
            [
              0.08757,
              0.07542,
              0.06437,
              0.04374,
              0.00451,
              -0.07247,
              -0.22586,
              -0.53275,
              -1.14633
            ],
            [
              0.08748,
              0.07521,
              0.0642,
              0.04356,
              0.00434,
              -0.07264,
              -0.22604,
              -0.53292,
              -1.14649
            ],
            [
              0.08729,
              0.07504,
              0.06401,
              0.04335,
              0.00411,
              -0.07284,
              -0.22623,
              -0.53312,
              -1.1467
            ],
            [
              0.08708,
              0.07482,
              0.06382,
              0.04312,
              0.00388,
              -0.07309,
              -0.22646,
              -0.53335,
              -1.14691
            ],
            [
              0.08688,
              0.07472,
              0.06361,
              0.04293,
              0.00363,
              -0.07331,
              -0.22667,
              -0.53351,
              -1.14707
            ],
            [
              0.08709,
              0.07488,
              0.06375,
              0.04296,
              0.00363,
              -0.07333,
              -0.22665,
              -0.53348,
              -1.14702
            ],
            [
              0.08861,
              0.07621,
              0.06498,
              0.04403,
              0.00451,
              -0.07259,
              -0.22597,
              -0.53279,
              -1.14634
            ],
            [
              0.0924,
              0.07973,
              0.06828,
              0.04692,
              0.00696,
              -0.07041,
              -0.22392,
              -0.53082,
              -1.14433
            ],
            [
              0.09949,
              0.08649,
              0.07471,
              0.0529,
              0.01237,
              -0.0654,
              -0.21909,
              -0.52601,
              -1.13958
            ],
            [
              0.10984,
              0.09653,
              0.08444,
              0.06215,
              0.02095,
              -0.05752,
              -0.21158,
              -0.51861,
              -1.13222
            ],
            [
              0.12662,
              0.11294,
              0.10051,
              0.07757,
              0.0355,
              -0.04374,
              -0.19843,
              -0.50584,
              -1.11958
            ],
            [
              0.15161,
              0.13749,
              0.12463,
              0.10092,
              0.05773,
              -0.02277,
              -0.17827,
              -0.4862,
              -1.10029
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.04385,
              0.05225,
              0.06139,
              0.08028,
              0.11845,
              0.19476,
              0.34725,
              0.64991,
              1.25951
            ],
            [
              0.04359,
              0.05204,
              0.06118,
              0.08017,
              0.11821,
              0.19473,
              0.34618,
              0.6509,
              1.26066
            ],
            [
              0.04344,
              0.05184,
              0.061,
              0.07988,
              0.11798,
              0.19467,
              0.34704,
              0.65101,
              1.26027
            ],
            [
              0.04322,
              0.05161,
              0.06076,
              0.07964,
              0.11772,
              0.19402,
              0.34579,
              0.64918,
              1.25895
            ],
            [
              0.04304,
              0.05147,
              0.06057,
              0.07941,
              0.11765,
              0.19411,
              0.34536,
              0.64992,
              1.2626
            ],
            [
              0.04305,
              0.05147,
              0.06057,
              0.07936,
              0.11747,
              0.1939,
              0.34571,
              0.65046,
              1.25935
            ],
            [
              0.0437,
              0.05194,
              0.06096,
              0.07966,
              0.11751,
              0.19393,
              0.34653,
              0.65044,
              1.26066
            ],
            [
              0.04533,
              0.05334,
              0.06221,
              0.08071,
              0.11847,
              0.19456,
              0.34658,
              0.65011,
              1.2603
            ],
            [
              0.04869,
              0.05638,
              0.0651,
              0.08323,
              0.12059,
              0.1962,
              0.3479,
              0.65117,
              1.26133
            ],
            [
              0.05565,
              0.06288,
              0.0713,
              0.08918,
              0.12609,
              0.20141,
              0.35214,
              0.65527,
              1.2661
            ],
            [
              0.06607,
              0.07269,
              0.08071,
              0.09798,
              0.13461,
              0.20917,
              0.36035,
              0.66251,
              1.27165
            ],
            [
              0.08374,
              0.08955,
              0.09712,
              0.11376,
              0.14926,
              0.22359,
              0.37366,
              0.67653,
              1.28592
            ],
            [
              0.11003,
              0.11498,
              0.12192,
              0.13778,
              0.1723,
              0.24499,
              0.39481,
              0.69615,
              1.30229
            ]
          ]
        },
        "when": "(!B)"
      },
      {
        "fall_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.0783,
              0.08188,
              0.08677,
              0.09807,
              0.12201,
              0.17061,
              0.26674,
              0.45962,
              0.84715
            ],
            [
              0.07803,
              0.08161,
              0.08652,
              0.09781,
              0.12172,
              0.17035,
              0.26674,
              0.45909,
              0.84703
            ],
            [
              0.07779,
              0.08138,
              0.08629,
              0.09758,
              0.12148,
              0.16994,
              0.26651,
              0.46033,
              0.84703
            ],
            [
              0.07753,
              0.08108,
              0.08599,
              0.09727,
              0.1212,
              0.16979,
              0.26626,
              0.4597,
              0.84622
            ],
            [
              0.07738,
              0.08095,
              0.08585,
              0.0971,
              0.12101,
              0.1696,
              0.26606,
              0.45884,
              0.84885
            ],
            [
              0.07739,
              0.08094,
              0.08581,
              0.09704,
              0.12084,
              0.16924,
              0.2663,
              0.45829,
              0.84637
            ],
            [
              0.07819,
              0.08158,
              0.08639,
              0.09744,
              0.12112,
              0.16951,
              0.26648,
              0.45859,
              0.84575
            ],
            [
              0.08018,
              0.08337,
              0.08793,
              0.09883,
              0.12222,
              0.17055,
              0.26684,
              0.46032,
              0.84703
            ],
            [
              0.08415,
              0.0869,
              0.09126,
              0.10175,
              0.12483,
              0.1728,
              0.26891,
              0.46264,
              0.85211
            ],
            [
              0.09221,
              0.09438,
              0.09832,
              0.10832,
              0.13081,
              0.17819,
              0.27447,
              0.46616,
              0.85356
            ],
            [
              0.10446,
              0.10584,
              0.10921,
              0.11848,
              0.14036,
              0.18693,
              0.28235,
              0.47469,
              0.8613
            ],
            [
              0.12501,
              0.1254,
              0.12809,
              0.13649,
              0.15719,
              0.20267,
              0.29682,
              0.4877,
              0.87619
            ],
            [
              0.15564,
              0.1549,
              0.15673,
              0.16409,
              0.18339,
              0.22742,
              0.31998,
              0.50923,
              0.89726
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.11971,
              0.12654,
              0.13468,
              0.15214,
              0.18908,
              0.26451,
              0.41586,
              0.71899,
              1.33028
            ],
            [
              0.11966,
              0.12648,
              0.13465,
              0.15224,
              0.18904,
              0.26441,
              0.4157,
              0.71847,
              1.32704
            ],
            [
              0.11961,
              0.12645,
              0.1345,
              0.15208,
              0.18896,
              0.26444,
              0.41573,
              0.72003,
              1.32717
            ],
            [
              0.11959,
              0.12644,
              0.1345,
              0.152,
              0.18903,
              0.26442,
              0.41651,
              0.71857,
              1.33038
            ],
            [
              0.11965,
              0.12645,
              0.13453,
              0.15205,
              0.18893,
              0.26428,
              0.41614,
              0.71818,
              1.32676
            ],
            [
              0.11997,
              0.12671,
              0.13478,
              0.15219,
              0.18907,
              0.26457,
              0.41546,
              0.71987,
              1.33038
            ],
            [
              0.121,
              0.12768,
              0.13564,
              0.153,
              0.18969,
              0.26498,
              0.41649,
              0.7195,
              1.33067
            ],
            [
              0.12391,
              0.13037,
              0.13811,
              0.15522,
              0.19184,
              0.26717,
              0.41829,
              0.72235,
              1.33312
            ],
            [
              0.13,
              0.13598,
              0.14339,
              0.15998,
              0.19586,
              0.27075,
              0.42195,
              0.72376,
              1.33623
            ],
            [
              0.14038,
              0.14592,
              0.15293,
              0.16867,
              0.20393,
              0.27807,
              0.42851,
              0.73056,
              1.33826
            ],
            [
              0.15443,
              0.15947,
              0.16606,
              0.18115,
              0.21549,
              0.28849,
              0.43809,
              0.74016,
              1.35141
            ],
            [
              0.17611,
              0.1806,
              0.18666,
              0.20086,
              0.23424,
              0.30635,
              0.45521,
              0.75757,
              1.36257
            ],
            [
              0.20722,
              0.21122,
              0.21677,
              0.22992,
              0.26166,
              0.33233,
              0.48048,
              0.7805,
              1.38672
            ]
          ]
        },
        "when": "(B)"
      },
      {
        "fall_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.07515,
              0.06296,
              0.05193,
              0.03128,
              -0.008,
              -0.08503,
              -0.23845,
              -0.5453,
              -1.15885
            ],
            [
              0.07493,
              0.06272,
              0.05169,
              0.03105,
              -0.00821,
              -0.08524,
              -0.23867,
              -0.54551,
              -1.15905
            ],
            [
              0.07489,
              0.06272,
              0.05165,
              0.03101,
              -0.00826,
              -0.08529,
              -0.23872,
              -0.54556,
              -1.1591
            ],
            [
              0.07469,
              0.06249,
              0.05144,
              0.0308,
              -0.00846,
              -0.08546,
              -0.23887,
              -0.5457,
              -1.15924
            ],
            [
              0.07475,
              0.06256,
              0.05149,
              0.03082,
              -0.00847,
              -0.08549,
              -0.23889,
              -0.5457,
              -1.15924
            ],
            [
              0.07503,
              0.06279,
              0.05171,
              0.031,
              -0.00832,
              -0.08533,
              -0.23867,
              -0.54547,
              -1.15897
            ],
            [
              0.07588,
              0.06362,
              0.05248,
              0.03169,
              -0.00767,
              -0.08469,
              -0.23803,
              -0.54478,
              -1.15827
            ],
            [
              0.07826,
              0.06585,
              0.0546,
              0.03363,
              -0.00594,
              -0.08312,
              -0.23649,
              -0.54321,
              -1.15667
            ],
            [
              0.08328,
              0.07055,
              0.05902,
              0.03764,
              -0.00243,
              -0.0799,
              -0.23346,
              -0.54024,
              -1.15371
            ],
            [
              0.09159,
              0.07845,
              0.06658,
              0.04468,
              0.00403,
              -0.07392,
              -0.2277,
              -0.5346,
              -1.14809
            ],
            [
              0.10316,
              0.08963,
              0.0774,
              0.05492,
              0.01356,
              -0.06505,
              -0.21924,
              -0.52632,
              -1.13989
            ],
            [
              0.1212,
              0.10723,
              0.09459,
              0.07143,
              0.02913,
              -0.05031,
              -0.20511,
              -0.51254,
              -1.12627
            ],
            [
              0.14764,
              0.13326,
              0.12017,
              0.09614,
              0.05265,
              -0.02801,
              -0.18371,
              -0.4917,
              -1.10576
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.04232,
              0.05124,
              0.06071,
              0.08004,
              0.11862,
              0.19525,
              0.34751,
              0.64987,
              1.26022
            ],
            [
              0.04227,
              0.05119,
              0.06069,
              0.07998,
              0.11857,
              0.1952,
              0.34745,
              0.65148,
              1.26177
            ],
            [
              0.0422,
              0.05111,
              0.06057,
              0.07988,
              0.11829,
              0.1951,
              0.34692,
              0.65013,
              1.25908
            ],
            [
              0.04207,
              0.05094,
              0.06033,
              0.07967,
              0.11813,
              0.19466,
              0.34648,
              0.65162,
              1.26025
            ],
            [
              0.04188,
              0.05072,
              0.06024,
              0.07958,
              0.11793,
              0.19416,
              0.34626,
              0.64922,
              1.25967
            ],
            [
              0.04201,
              0.05083,
              0.06025,
              0.0795,
              0.11784,
              0.19458,
              0.34642,
              0.65133,
              1.26281
            ],
            [
              0.04283,
              0.05142,
              0.0607,
              0.07965,
              0.11806,
              0.19408,
              0.34626,
              0.65067,
              1.26084
            ],
            [
              0.04471,
              0.05308,
              0.06205,
              0.08076,
              0.11875,
              0.19483,
              0.34722,
              0.65149,
              1.26109
            ],
            [
              0.04831,
              0.05624,
              0.06511,
              0.08358,
              0.12124,
              0.19699,
              0.34995,
              0.65236,
              1.26253
            ],
            [
              0.05575,
              0.06318,
              0.07165,
              0.08974,
              0.12711,
              0.20261,
              0.35391,
              0.65849,
              1.26709
            ],
            [
              0.06665,
              0.07333,
              0.08145,
              0.09889,
              0.13573,
              0.21083,
              0.3623,
              0.66553,
              1.27437
            ],
            [
              0.085,
              0.0908,
              0.09839,
              0.11521,
              0.15104,
              0.22582,
              0.37624,
              0.67782,
              1.28942
            ],
            [
              0.11187,
              0.11679,
              0.12368,
              0.13979,
              0.17431,
              0.24756,
              0.39841,
              0.70006,
              1.30773
            ]
          ]
        },
        "when": "(!A)"
      },
      {
        "fall_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.09004,
              0.09364,
              0.09854,
              0.10987,
              0.13379,
              0.1824,
              0.27903,
              0.47217,
              0.85956
            ],
            [
              0.08997,
              0.09356,
              0.09845,
              0.10975,
              0.13363,
              0.18216,
              0.27901,
              0.47113,
              0.85904
            ],
            [
              0.08987,
              0.09347,
              0.09837,
              0.10966,
              0.13358,
              0.18201,
              0.27844,
              0.47118,
              0.85956
            ],
            [
              0.08971,
              0.09334,
              0.09823,
              0.10955,
              0.13346,
              0.18206,
              0.27848,
              0.47187,
              0.86124
            ],
            [
              0.08972,
              0.09333,
              0.0982,
              0.10947,
              0.13334,
              0.18186,
              0.27811,
              0.47116,
              0.85921
            ],
            [
              0.09004,
              0.09361,
              0.09845,
              0.10966,
              0.13337,
              0.18171,
              0.27838,
              0.4707,
              0.86141
            ],
            [
              0.09146,
              0.09487,
              0.09956,
              0.11053,
              0.13399,
              0.1824,
              0.27861,
              0.47223,
              0.86151
            ],
            [
              0.09439,
              0.09735,
              0.10182,
              0.11249,
              0.13568,
              0.18359,
              0.2798,
              0.47296,
              0.86216
            ],
            [
              0.09924,
              0.10179,
              0.10596,
              0.11627,
              0.13907,
              0.18672,
              0.28253,
              0.47466,
              0.86499
            ],
            [
              0.10851,
              0.11041,
              0.11421,
              0.124,
              0.1462,
              0.19329,
              0.28897,
              0.48223,
              0.86869
            ],
            [
              0.12186,
              0.12292,
              0.12618,
              0.13535,
              0.15705,
              0.20329,
              0.29791,
              0.48946,
              0.87997
            ],
            [
              0.14472,
              0.14475,
              0.14728,
              0.15557,
              0.17621,
              0.22187,
              0.31582,
              0.5073,
              0.89292
            ],
            [
              0.17966,
              0.17855,
              0.18012,
              0.18726,
              0.20685,
              0.25083,
              0.34435,
              0.53355,
              0.92152
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.11743,
              0.12427,
              0.13255,
              0.15018,
              0.1873,
              0.26226,
              0.41458,
              0.7163,
              1.32862
            ],
            [
              0.11734,
              0.1242,
              0.13248,
              0.15024,
              0.18705,
              0.26242,
              0.41377,
              0.71745,
              1.32874
            ],
            [
              0.11728,
              0.1241,
              0.13236,
              0.14999,
              0.18691,
              0.26232,
              0.41428,
              0.71617,
              1.32602
            ],
            [
              0.11723,
              0.12406,
              0.13233,
              0.14997,
              0.1869,
              0.26224,
              0.41446,
              0.71611,
              1.32868
            ],
            [
              0.11732,
              0.12411,
              0.13234,
              0.1499,
              0.18684,
              0.26251,
              0.41363,
              0.71776,
              1.32554
            ],
            [
              0.11763,
              0.12432,
              0.13249,
              0.14998,
              0.18708,
              0.26219,
              0.41376,
              0.71802,
              1.32891
            ],
            [
              0.11865,
              0.12525,
              0.13332,
              0.1507,
              0.18751,
              0.26277,
              0.41423,
              0.71747,
              1.3294
            ],
            [
              0.12187,
              0.12803,
              0.13583,
              0.15282,
              0.18929,
              0.26451,
              0.41658,
              0.71851,
              1.32914
            ],
            [
              0.12737,
              0.13312,
              0.14058,
              0.15705,
              0.1932,
              0.26803,
              0.41908,
              0.72176,
              1.33446
            ],
            [
              0.13656,
              0.142,
              0.14908,
              0.16493,
              0.20016,
              0.27449,
              0.42553,
              0.72916,
              1.3397
            ],
            [
              0.1496,
              0.15459,
              0.16129,
              0.1767,
              0.21098,
              0.2845,
              0.43535,
              0.73832,
              1.34871
            ],
            [
              0.17041,
              0.17496,
              0.18119,
              0.19558,
              0.22896,
              0.30151,
              0.451,
              0.75379,
              1.36244
            ],
            [
              0.20116,
              0.20525,
              0.21106,
              0.22445,
              0.25615,
              0.32714,
              0.47586,
              0.7764,
              1.38642
            ]
          ]
        },
        "when": "(A)"
      }
    ],
    "max_capacitance": 0.50414,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.14249,
              0.15586,
              0.16637,
              0.18374,
              0.2119,
              0.25826,
              0.33864,
              0.48858,
              0.78381
            ],
            [
              0.14421,
              0.15757,
              0.16809,
              0.18546,
              0.21362,
              0.25997,
              0.34037,
              0.4905,
              0.78554
            ],
            [
              0.14622,
              0.15959,
              0.1701,
              0.18748,
              0.21565,
              0.26201,
              0.34239,
              0.4925,
              0.78764
            ],
            [
              0.14894,
              0.16229,
              0.1728,
              0.19018,
              0.21835,
              0.2647,
              0.34509,
              0.49522,
              0.79024
            ],
            [
              0.15255,
              0.16591,
              0.17642,
              0.19378,
              0.22195,
              0.26831,
              0.34871,
              0.49883,
              0.79377
            ],
            [
              0.15775,
              0.1711,
              0.18159,
              0.19895,
              0.22711,
              0.27349,
              0.3539,
              0.50398,
              0.79918
            ],
            [
              0.16581,
              0.17913,
              0.18959,
              0.20691,
              0.23504,
              0.28144,
              0.36188,
              0.51201,
              0.8068
            ],
            [
              0.17806,
              0.19144,
              0.2019,
              0.21921,
              0.24736,
              0.2938,
              0.37426,
              0.52428,
              0.81931
            ],
            [
              0.19324,
              0.20718,
              0.21808,
              0.23601,
              0.26487,
              0.3119,
              0.39271,
              0.54287,
              0.83765
            ],
            [
              0.21372,
              0.2282,
              0.23951,
              0.25809,
              0.28792,
              0.33623,
              0.41816,
              0.569,
              0.86409
            ],
            [
              0.24184,
              0.25691,
              0.2687,
              0.28804,
              0.31897,
              0.36869,
              0.45222,
              0.60392,
              0.89942
            ],
            [
              0.27977,
              0.29557,
              0.30797,
              0.32827,
              0.36057,
              0.41217,
              0.49747,
              0.65057,
              0.94667
            ],
            [
              0.3298,
              0.3466,
              0.3598,
              0.3814,
              0.4157,
              0.4698,
              0.5582,
              0.7136,
              1.0107
            ]
          ]
        },
        "cell_rise,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.10187,
              0.11584,
              0.12729,
              0.14699,
              0.18104,
              0.2433,
              0.36358,
              0.60249,
              1.07897
            ],
            [
              0.10378,
              0.11775,
              0.1292,
              0.14885,
              0.18297,
              0.24516,
              0.36539,
              0.60438,
              1.08104
            ],
            [
              0.10594,
              0.11992,
              0.13137,
              0.15106,
              0.18513,
              0.24738,
              0.3676,
              0.60632,
              1.08382
            ],
            [
              0.10888,
              0.12286,
              0.13431,
              0.15401,
              0.18807,
              0.25034,
              0.37068,
              0.60952,
              1.08627
            ],
            [
              0.11299,
              0.12696,
              0.13841,
              0.15807,
              0.19214,
              0.25434,
              0.37467,
              0.61323,
              1.09011
            ],
            [
              0.11893,
              0.13289,
              0.14432,
              0.16393,
              0.19801,
              0.2602,
              0.38062,
              0.6193,
              1.09682
            ],
            [
              0.12759,
              0.14149,
              0.15289,
              0.17248,
              0.20646,
              0.26863,
              0.38888,
              0.62765,
              1.10483
            ],
            [
              0.13857,
              0.15273,
              0.16431,
              0.1841,
              0.21823,
              0.28049,
              0.4006,
              0.63918,
              1.11656
            ],
            [
              0.15166,
              0.16613,
              0.17799,
              0.1982,
              0.23287,
              0.29534,
              0.41576,
              0.65502,
              1.13125
            ],
            [
              0.16635,
              0.18126,
              0.19352,
              0.21439,
              0.24982,
              0.31295,
              0.43352,
              0.67249,
              1.14879
            ],
            [
              0.18172,
              0.19724,
              0.21004,
              0.23185,
              0.26853,
              0.33289,
              0.45452,
              0.69352,
              1.16932
            ],
            [
              0.19657,
              0.21297,
              0.22647,
              0.24947,
              0.28797,
              0.35437,
              0.47777,
              0.71847,
              1.19427
            ],
            [
              0.2093,
              0.2268,
              0.2411,
              0.2656,
              0.3064,
              0.3757,
              0.5023,
              0.7464,
              1.2253
            ]
          ]
        },
        "fall_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.02693,
              0.03687,
              0.04497,
              0.05925,
              0.08533,
              0.13487,
              0.23374,
              0.43863,
              0.85824
            ],
            [
              0.02693,
              0.03687,
              0.04496,
              0.05928,
              0.08534,
              0.13486,
              0.23403,
              0.43816,
              0.85786
            ],
            [
              0.02694,
              0.03686,
              0.04497,
              0.05923,
              0.08527,
              0.13486,
              0.23383,
              0.43812,
              0.85753
            ],
            [
              0.02697,
              0.03687,
              0.04499,
              0.05924,
              0.08532,
              0.13488,
              0.23401,
              0.43782,
              0.85787
            ],
            [
              0.02694,
              0.03687,
              0.04498,
              0.05925,
              0.08529,
              0.13488,
              0.23405,
              0.4384,
              0.85786
            ],
            [
              0.02695,
              0.03691,
              0.04497,
              0.05931,
              0.08533,
              0.13486,
              0.23378,
              0.43839,
              0.857
            ],
            [
              0.02695,
              0.03696,
              0.04505,
              0.05935,
              0.08542,
              0.1349,
              0.23403,
              0.43844,
              0.85807
            ],
            [
              0.0284,
              0.03813,
              0.04608,
              0.0602,
              0.08601,
              0.13517,
              0.23393,
              0.43876,
              0.85803
            ],
            [
              0.03103,
              0.04111,
              0.04919,
              0.06328,
              0.08873,
              0.13725,
              0.23513,
              0.43906,
              0.85849
            ],
            [
              0.03408,
              0.04441,
              0.05269,
              0.06704,
              0.09256,
              0.14098,
              0.23767,
              0.43999,
              0.85868
            ],
            [
              0.03789,
              0.04851,
              0.05701,
              0.07164,
              0.09733,
              0.14562,
              0.24166,
              0.44235,
              0.8596
            ],
            [
              0.0432,
              0.0542,
              0.063,
              0.0778,
              0.1037,
              0.1517,
              0.2467,
              0.4459,
              0.8603
            ],
            [
              0.0509,
              0.0622,
              0.0713,
              0.0866,
              0.1128,
              0.1607,
              0.2552,
              0.4516,
              0.8632
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.02333,
              0.03731,
              0.04919,
              0.071,
              0.11429,
              0.20268,
              0.38555,
              0.75604,
              1.49166
            ],
            [
              0.02337,
              0.03723,
              0.04912,
              0.0711,
              0.11407,
              0.203,
              0.38489,
              0.75354,
              1.49533
            ],
            [
              0.02337,
              0.03724,
              0.0492,
              0.07111,
              0.1143,
              0.20264,
              0.3855,
              0.75425,
              1.49291
            ],
            [
              0.02337,
              0.03734,
              0.04921,
              0.07106,
              0.11431,
              0.20295,
              0.38543,
              0.75601,
              1.49376
            ],
            [
              0.02338,
              0.03727,
              0.04921,
              0.07105,
              0.11422,
              0.20286,
              0.38461,
              0.75471,
              1.49237
            ],
            [
              0.0234,
              0.03729,
              0.0491,
              0.07113,
              0.11432,
              0.20279,
              0.38552,
              0.75416,
              1.49294
            ],
            [
              0.02374,
              0.03762,
              0.04937,
              0.07146,
              0.11452,
              0.20311,
              0.38549,
              0.75378,
              1.4946
            ],
            [
              0.02497,
              0.03895,
              0.05094,
              0.07263,
              0.11537,
              0.20346,
              0.38592,
              0.75388,
              1.49165
            ],
            [
              0.02684,
              0.04098,
              0.0532,
              0.07517,
              0.11751,
              0.2044,
              0.38658,
              0.75457,
              1.49583
            ],
            [
              0.02969,
              0.04407,
              0.05651,
              0.07857,
              0.12059,
              0.20691,
              0.38694,
              0.75366,
              1.49697
            ],
            [
              0.03395,
              0.04842,
              0.06121,
              0.08398,
              0.12619,
              0.21164,
              0.38999,
              0.75648,
              1.4929
            ],
            [
              0.0399,
              0.0544,
              0.0676,
              0.0912,
              0.1338,
              0.2188,
              0.3952,
              0.7594,
              1.4925
            ],
            [
              0.0482,
              0.0629,
              0.0764,
              0.1008,
              0.1444,
              0.2295,
              0.4059,
              0.7671,
              1.5016
            ]
          ]
        },
        "sdf_cond": "(!B)",
        "timing_sense": "positive_unate",
        "when": "(!B)"
      },
      {
        "cell_fall,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.18421,
              0.19358,
              0.20119,
              0.21482,
              0.23856,
              0.27985,
              0.3557,
              0.50353,
              0.79829
            ],
            [
              0.18554,
              0.19492,
              0.20252,
              0.21615,
              0.23989,
              0.28119,
              0.35706,
              0.50491,
              0.79968
            ],
            [
              0.18739,
              0.19676,
              0.20437,
              0.21799,
              0.24173,
              0.28303,
              0.35891,
              0.50674,
              0.8015
            ],
            [
              0.1902,
              0.19958,
              0.20717,
              0.22079,
              0.24454,
              0.28584,
              0.36172,
              0.50955,
              0.80434
            ],
            [
              0.19436,
              0.20374,
              0.21134,
              0.22495,
              0.24869,
              0.28998,
              0.36583,
              0.5137,
              0.80853
            ],
            [
              0.20033,
              0.20971,
              0.21731,
              0.23093,
              0.25466,
              0.29596,
              0.37186,
              0.5196,
              0.81438
            ],
            [
              0.20889,
              0.21826,
              0.22587,
              0.23947,
              0.26322,
              0.30451,
              0.38041,
              0.52821,
              0.82302
            ],
            [
              0.22064,
              0.22997,
              0.23753,
              0.25112,
              0.27484,
              0.31612,
              0.39198,
              0.53985,
              0.83463
            ],
            [
              0.23474,
              0.2439,
              0.25139,
              0.26492,
              0.28865,
              0.32995,
              0.40573,
              0.55353,
              0.84855
            ],
            [
              0.25028,
              0.25921,
              0.26659,
              0.28007,
              0.30379,
              0.34511,
              0.42081,
              0.56855,
              0.86349
            ],
            [
              0.26627,
              0.27488,
              0.28209,
              0.29549,
              0.31922,
              0.36059,
              0.43642,
              0.58392,
              0.87862
            ],
            [
              0.28097,
              0.28917,
              0.29617,
              0.30947,
              0.33327,
              0.37467,
              0.45047,
              0.59827,
              0.89227
            ],
            [
              0.2918,
              0.2995,
              0.3063,
              0.3194,
              0.3432,
              0.3846,
              0.4605,
              0.6079,
              0.9027
            ]
          ]
        },
        "cell_rise,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.21152,
              0.22394,
              0.23391,
              0.2511,
              0.28249,
              0.34272,
              0.46156,
              0.69893,
              1.17447
            ],
            [
              0.21251,
              0.22493,
              0.2349,
              0.25207,
              0.28349,
              0.34367,
              0.46255,
              0.69995,
              1.17534
            ],
            [
              0.21408,
              0.22649,
              0.23646,
              0.25367,
              0.28505,
              0.34528,
              0.46411,
              0.70158,
              1.17672
            ],
            [
              0.21696,
              0.22937,
              0.23933,
              0.25653,
              0.28789,
              0.34802,
              0.4668,
              0.7044,
              1.17988
            ],
            [
              0.222,
              0.2344,
              0.24437,
              0.26153,
              0.29295,
              0.35316,
              0.47194,
              0.70945,
              1.18481
            ],
            [
              0.23039,
              0.24278,
              0.25274,
              0.26994,
              0.30131,
              0.3615,
              0.4802,
              0.71782,
              1.19332
            ],
            [
              0.24376,
              0.25613,
              0.26608,
              0.28326,
              0.31462,
              0.37473,
              0.49351,
              0.73107,
              1.20643
            ],
            [
              0.26387,
              0.27615,
              0.28603,
              0.30312,
              0.33439,
              0.39454,
              0.5134,
              0.75075,
              1.22616
            ],
            [
              0.29129,
              0.3033,
              0.31299,
              0.32982,
              0.3608,
              0.42066,
              0.53917,
              0.77655,
              1.25205
            ],
            [
              0.32511,
              0.33688,
              0.34632,
              0.3627,
              0.39315,
              0.45272,
              0.57093,
              0.80819,
              1.28319
            ],
            [
              0.36684,
              0.37839,
              0.3876,
              0.40355,
              0.43349,
              0.49242,
              0.61032,
              0.84722,
              1.32242
            ],
            [
              0.41957,
              0.43097,
              0.43997,
              0.45547,
              0.48477,
              0.54317,
              0.66057,
              0.89687,
              1.37157
            ],
            [
              0.4879,
              0.4992,
              0.508,
              0.5229,
              0.5514,
              0.6091,
              0.7258,
              0.9617,
              1.4357
            ]
          ]
        },
        "fall_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.01939,
              0.02827,
              0.03553,
              0.04869,
              0.07358,
              0.12284,
              0.22422,
              0.43305,
              0.8557
            ],
            [
              0.01938,
              0.02828,
              0.03553,
              0.04869,
              0.0736,
              0.1229,
              0.22413,
              0.43265,
              0.85543
            ],
            [
              0.01938,
              0.02828,
              0.03555,
              0.04868,
              0.07363,
              0.12301,
              0.22418,
              0.43295,
              0.85583
            ],
            [
              0.01938,
              0.02831,
              0.03555,
              0.04871,
              0.0736,
              0.1229,
              0.22417,
              0.43297,
              0.8555
            ],
            [
              0.01938,
              0.02832,
              0.03556,
              0.04872,
              0.07359,
              0.12289,
              0.22445,
              0.43322,
              0.85546
            ],
            [
              0.0194,
              0.02832,
              0.03557,
              0.04871,
              0.07367,
              0.12304,
              0.22437,
              0.43334,
              0.85664
            ],
            [
              0.01945,
              0.02838,
              0.03561,
              0.04875,
              0.0737,
              0.12304,
              0.22443,
              0.43346,
              0.85628
            ],
            [
              0.01963,
              0.02853,
              0.03576,
              0.04889,
              0.07377,
              0.123,
              0.22453,
              0.43282,
              0.85589
            ],
            [
              0.02,
              0.02893,
              0.03617,
              0.04926,
              0.07408,
              0.12328,
              0.22462,
              0.43345,
              0.85523
            ],
            [
              0.02065,
              0.02958,
              0.03678,
              0.04979,
              0.07463,
              0.12358,
              0.22445,
              0.43371,
              0.85621
            ],
            [
              0.02161,
              0.03058,
              0.03771,
              0.05064,
              0.0753,
              0.12422,
              0.22488,
              0.4328,
              0.8564
            ],
            [
              0.0231,
              0.032,
              0.039,
              0.0518,
              0.0764,
              0.1251,
              0.2257,
              0.4332,
              0.8559
            ],
            [
              0.025,
              0.0339,
              0.0408,
              0.0535,
              0.0779,
              0.1264,
              0.2263,
              0.4342,
              0.8555
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.02297,
              0.03679,
              0.04873,
              0.07086,
              0.11359,
              0.20184,
              0.38363,
              0.75356,
              1.48922
            ],
            [
              0.02296,
              0.0368,
              0.04881,
              0.07075,
              0.11341,
              0.20157,
              0.38419,
              0.75335,
              1.49052
            ],
            [
              0.02295,
              0.03682,
              0.04868,
              0.07077,
              0.11336,
              0.20183,
              0.38363,
              0.75127,
              1.48937
            ],
            [
              0.02297,
              0.03682,
              0.04882,
              0.07083,
              0.11357,
              0.20148,
              0.38313,
              0.75116,
              1.48952
            ],
            [
              0.02295,
              0.03681,
              0.04878,
              0.0708,
              0.11342,
              0.20169,
              0.38374,
              0.75305,
              1.49051
            ],
            [
              0.02298,
              0.03681,
              0.04883,
              0.07077,
              0.11355,
              0.20173,
              0.38391,
              0.75135,
              1.49034
            ],
            [
              0.02298,
              0.03684,
              0.04886,
              0.07086,
              0.11362,
              0.20151,
              0.38329,
              0.75361,
              1.4926
            ],
            [
              0.02304,
              0.03693,
              0.04889,
              0.07078,
              0.11366,
              0.20195,
              0.38316,
              0.75171,
              1.49
            ],
            [
              0.02332,
              0.03724,
              0.04916,
              0.07127,
              0.11393,
              0.20188,
              0.38385,
              0.75112,
              1.48977
            ],
            [
              0.02384,
              0.03779,
              0.04977,
              0.07176,
              0.11419,
              0.20227,
              0.38329,
              0.75344,
              1.4903
            ],
            [
              0.02451,
              0.03855,
              0.05072,
              0.07268,
              0.1149,
              0.20237,
              0.3833,
              0.7515,
              1.4898
            ],
            [
              0.0254,
              0.0395,
              0.0518,
              0.0738,
              0.1158,
              0.2031,
              0.3838,
              0.7516,
              1.4913
            ],
            [
              0.0266,
              0.0408,
              0.0533,
              0.0755,
              0.1172,
              0.204,
              0.3849,
              0.7518,
              1.4915
            ]
          ]
        },
        "sdf_cond": "(B)",
        "timing_sense": "negative_unate",
        "when": "(B)"
      },
      {
        "cell_fall,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.12703,
              0.1404,
              0.15092,
              0.16828,
              0.19645,
              0.24279,
              0.32317,
              0.47328,
              0.76798
            ],
            [
              0.12793,
              0.1413,
              0.15181,
              0.1692,
              0.19736,
              0.24371,
              0.32407,
              0.47401,
              0.7693
            ],
            [
              0.12938,
              0.14275,
              0.15326,
              0.17064,
              0.1988,
              0.24516,
              0.32554,
              0.47554,
              0.77073
            ],
            [
              0.132,
              0.14536,
              0.15587,
              0.17324,
              0.20139,
              0.24776,
              0.32814,
              0.47825,
              0.77304
            ],
            [
              0.13648,
              0.14983,
              0.16032,
              0.17768,
              0.20584,
              0.25222,
              0.33261,
              0.48268,
              0.77789
            ],
            [
              0.14399,
              0.15732,
              0.1678,
              0.18514,
              0.21328,
              0.25965,
              0.34007,
              0.49022,
              0.78519
            ],
            [
              0.15626,
              0.16955,
              0.18,
              0.19729,
              0.2254,
              0.27178,
              0.35221,
              0.50233,
              0.79729
            ],
            [
              0.17494,
              0.1882,
              0.1986,
              0.21582,
              0.2439,
              0.2903,
              0.37075,
              0.52091,
              0.81601
            ],
            [
              0.19808,
              0.21175,
              0.22248,
              0.24021,
              0.26894,
              0.31581,
              0.3965,
              0.54678,
              0.84175
            ],
            [
              0.22712,
              0.24125,
              0.25227,
              0.27042,
              0.29976,
              0.34774,
              0.42967,
              0.58029,
              0.87549
            ],
            [
              0.26443,
              0.27922,
              0.29071,
              0.30951,
              0.33963,
              0.38847,
              0.47142,
              0.62322,
              0.91862
            ],
            [
              0.31367,
              0.32927,
              0.34137,
              0.36117,
              0.39247,
              0.44257,
              0.52657,
              0.67907,
              0.97557
            ],
            [
              0.3795,
              0.3962,
              0.4092,
              0.4302,
              0.4633,
              0.5154,
              0.6014,
              0.7551,
              1.0524
            ]
          ]
        },
        "cell_rise,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.08466,
              0.09822,
              0.10932,
              0.12846,
              0.16183,
              0.22333,
              0.34309,
              0.58213,
              1.05807
            ],
            [
              0.08686,
              0.10042,
              0.11151,
              0.13065,
              0.16404,
              0.22554,
              0.34533,
              0.58432,
              1.05994
            ],
            [
              0.08912,
              0.10267,
              0.11378,
              0.13291,
              0.16632,
              0.2279,
              0.34768,
              0.5866,
              1.06242
            ],
            [
              0.09208,
              0.10564,
              0.11672,
              0.13589,
              0.16925,
              0.23086,
              0.35073,
              0.58952,
              1.06598
            ],
            [
              0.09607,
              0.10962,
              0.12071,
              0.13982,
              0.17322,
              0.23485,
              0.35472,
              0.59357,
              1.06951
            ],
            [
              0.10181,
              0.1153,
              0.12633,
              0.14538,
              0.17875,
              0.24032,
              0.36019,
              0.59874,
              1.07482
            ],
            [
              0.10948,
              0.12311,
              0.13418,
              0.15323,
              0.18655,
              0.24816,
              0.36817,
              0.60637,
              1.08323
            ],
            [
              0.11844,
              0.13233,
              0.14368,
              0.16313,
              0.1968,
              0.25854,
              0.37835,
              0.61728,
              1.09406
            ],
            [
              0.12849,
              0.14275,
              0.15445,
              0.17443,
              0.20873,
              0.27091,
              0.3909,
              0.62938,
              1.10555
            ],
            [
              0.13852,
              0.15328,
              0.16548,
              0.18626,
              0.22164,
              0.28476,
              0.40525,
              0.64379,
              1.12029
            ],
            [
              0.14688,
              0.16233,
              0.17515,
              0.19705,
              0.23396,
              0.29884,
              0.42071,
              0.65962,
              1.13622
            ],
            [
              0.15132,
              0.16767,
              0.18117,
              0.20447,
              0.24337,
              0.31077,
              0.43547,
              0.67727,
              1.15357
            ],
            [
              0.1485,
              0.1659,
              0.1803,
              0.2052,
              0.2468,
              0.3173,
              0.4457,
              0.693,
              1.1737
            ]
          ]
        },
        "fall_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.02693,
              0.03685,
              0.04496,
              0.05922,
              0.08533,
              0.13482,
              0.23404,
              0.43846,
              0.85806
            ],
            [
              0.02693,
              0.03685,
              0.04498,
              0.05927,
              0.0853,
              0.13475,
              0.23377,
              0.43866,
              0.85814
            ],
            [
              0.02696,
              0.03691,
              0.04496,
              0.05927,
              0.08531,
              0.13473,
              0.23368,
              0.43858,
              0.85766
            ],
            [
              0.02692,
              0.03685,
              0.04496,
              0.05922,
              0.08532,
              0.13483,
              0.23403,
              0.43856,
              0.85818
            ],
            [
              0.02696,
              0.03689,
              0.04494,
              0.05919,
              0.08531,
              0.13484,
              0.23373,
              0.43844,
              0.85668
            ],
            [
              0.02689,
              0.03683,
              0.04494,
              0.05929,
              0.08525,
              0.13488,
              0.23404,
              0.43831,
              0.85788
            ],
            [
              0.02687,
              0.03685,
              0.045,
              0.0593,
              0.08534,
              0.13485,
              0.23407,
              0.43838,
              0.85841
            ],
            [
              0.02812,
              0.03782,
              0.04582,
              0.05998,
              0.08582,
              0.13528,
              0.2342,
              0.43866,
              0.8579
            ],
            [
              0.03095,
              0.04091,
              0.04899,
              0.06315,
              0.08861,
              0.13717,
              0.23511,
              0.43834,
              0.85811
            ],
            [
              0.03469,
              0.04455,
              0.05257,
              0.06668,
              0.09218,
              0.14074,
              0.23813,
              0.43995,
              0.85712
            ],
            [
              0.0395,
              0.04945,
              0.05751,
              0.07143,
              0.09651,
              0.14464,
              0.2414,
              0.44245,
              0.8596
            ],
            [
              0.0456,
              0.0559,
              0.0641,
              0.078,
              0.1027,
              0.1498,
              0.2452,
              0.4454,
              0.8607
            ],
            [
              0.0539,
              0.0645,
              0.073,
              0.0872,
              0.1114,
              0.1578,
              0.2517,
              0.4496,
              0.8633
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.02129,
              0.03482,
              0.0465,
              0.06829,
              0.11183,
              0.20109,
              0.38406,
              0.75342,
              1.49509
            ],
            [
              0.0213,
              0.03485,
              0.04656,
              0.0683,
              0.11183,
              0.20104,
              0.38403,
              0.75418,
              1.49326
            ],
            [
              0.0213,
              0.03479,
              0.04646,
              0.06832,
              0.11171,
              0.20136,
              0.38389,
              0.75419,
              1.49255
            ],
            [
              0.02132,
              0.03487,
              0.04654,
              0.06828,
              0.11195,
              0.20104,
              0.38429,
              0.75303,
              1.49106
            ],
            [
              0.02135,
              0.03484,
              0.04646,
              0.06834,
              0.11195,
              0.20111,
              0.38431,
              0.75361,
              1.49239
            ],
            [
              0.02134,
              0.03489,
              0.04659,
              0.06842,
              0.11198,
              0.20122,
              0.38393,
              0.75304,
              1.4926
            ],
            [
              0.02226,
              0.03585,
              0.04728,
              0.06895,
              0.11221,
              0.20113,
              0.38411,
              0.75549,
              1.49259
            ],
            [
              0.02352,
              0.03744,
              0.04914,
              0.07085,
              0.11343,
              0.20184,
              0.38514,
              0.75368,
              1.49202
            ],
            [
              0.02565,
              0.03972,
              0.05172,
              0.07361,
              0.11587,
              0.203,
              0.38409,
              0.75481,
              1.49324
            ],
            [
              0.02878,
              0.04314,
              0.05554,
              0.07782,
              0.11977,
              0.20632,
              0.38605,
              0.75356,
              1.49248
            ],
            [
              0.03335,
              0.04788,
              0.06076,
              0.08361,
              0.12599,
              0.21167,
              0.39003,
              0.75545,
              1.4924
            ],
            [
              0.03975,
              0.05433,
              0.06767,
              0.09145,
              0.1347,
              0.2202,
              0.3979,
              0.7608,
              1.493
            ],
            [
              0.0482,
              0.063,
              0.0767,
              0.1018,
              0.146,
              0.2319,
              0.4091,
              0.7721,
              1.5006
            ]
          ]
        },
        "sdf_cond": "(!A)",
        "timing_sense": "positive_unate",
        "when": "(!A)"
      },
      {
        "cell_fall,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.16982,
              0.17922,
              0.18683,
              0.20045,
              0.22422,
              0.26561,
              0.34159,
              0.48963,
              0.78464
            ],
            [
              0.17121,
              0.18061,
              0.18822,
              0.20184,
              0.2256,
              0.26698,
              0.34303,
              0.49096,
              0.78572
            ],
            [
              0.17314,
              0.18255,
              0.19015,
              0.20377,
              0.22754,
              0.26894,
              0.34498,
              0.49298,
              0.78797
            ],
            [
              0.17633,
              0.18574,
              0.19334,
              0.20696,
              0.23073,
              0.27211,
              0.34813,
              0.49615,
              0.79112
            ],
            [
              0.18141,
              0.19081,
              0.19842,
              0.21203,
              0.23581,
              0.27719,
              0.35313,
              0.50121,
              0.79625
            ],
            [
              0.18932,
              0.19872,
              0.20633,
              0.21996,
              0.24373,
              0.28511,
              0.36115,
              0.50906,
              0.80415
            ],
            [
              0.20101,
              0.21038,
              0.21801,
              0.23164,
              0.25541,
              0.29678,
              0.37271,
              0.52078,
              0.81578
            ],
            [
              0.21651,
              0.22574,
              0.2333,
              0.2469,
              0.27063,
              0.31199,
              0.38795,
              0.53592,
              0.83073
            ],
            [
              0.23492,
              0.24384,
              0.25123,
              0.26471,
              0.28839,
              0.32971,
              0.40557,
              0.55353,
              0.84855
            ],
            [
              0.25643,
              0.26497,
              0.27218,
              0.28552,
              0.30911,
              0.35032,
              0.42591,
              0.57381,
              0.86879
            ],
            [
              0.28051,
              0.28862,
              0.29557,
              0.30875,
              0.33235,
              0.3737,
              0.44952,
              0.59672,
              0.89152
            ],
            [
              0.30617,
              0.31387,
              0.32047,
              0.33347,
              0.35707,
              0.39857,
              0.47487,
              0.62287,
              0.91697
            ],
            [
              0.3318,
              0.3391,
              0.3453,
              0.3581,
              0.3817,
              0.4234,
              0.5005,
              0.6499,
              0.9453
            ]
          ]
        },
        "cell_rise,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.20323,
              0.21621,
              0.22676,
              0.2447,
              0.27647,
              0.33698,
              0.45586,
              0.69368,
              1.16917
            ],
            [
              0.20452,
              0.2175,
              0.22804,
              0.24597,
              0.27774,
              0.3382,
              0.4573,
              0.69515,
              1.17074
            ],
            [
              0.20643,
              0.2194,
              0.22994,
              0.24787,
              0.27963,
              0.34014,
              0.45909,
              0.69696,
              1.17252
            ],
            [
              0.20971,
              0.22267,
              0.2332,
              0.25113,
              0.28291,
              0.34342,
              0.46229,
              0.7002,
              1.17578
            ],
            [
              0.21512,
              0.22808,
              0.23862,
              0.25656,
              0.28832,
              0.34881,
              0.46784,
              0.70553,
              1.18121
            ],
            [
              0.2238,
              0.23676,
              0.24729,
              0.26522,
              0.29698,
              0.3575,
              0.47644,
              0.71419,
              1.18992
            ],
            [
              0.23701,
              0.24995,
              0.26046,
              0.27837,
              0.31013,
              0.37063,
              0.48964,
              0.72731,
              1.20313
            ],
            [
              0.25589,
              0.2687,
              0.27912,
              0.29691,
              0.32852,
              0.38896,
              0.50781,
              0.74575,
              1.22126
            ],
            [
              0.28051,
              0.29307,
              0.3033,
              0.32083,
              0.35217,
              0.41239,
              0.53102,
              0.76865,
              1.24435
            ],
            [
              0.3104,
              0.3226,
              0.33252,
              0.34953,
              0.38027,
              0.44021,
              0.55898,
              0.79639,
              1.27169
            ],
            [
              0.34642,
              0.35841,
              0.36806,
              0.38455,
              0.41482,
              0.47412,
              0.59242,
              0.82992,
              1.30512
            ],
            [
              0.39117,
              0.40307,
              0.41247,
              0.42847,
              0.45807,
              0.51677,
              0.63467,
              0.87147,
              1.34687
            ],
            [
              0.4473,
              0.4592,
              0.4685,
              0.484,
              0.5128,
              0.5707,
              0.6878,
              0.9242,
              1.3988
            ]
          ]
        },
        "fall_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.01943,
              0.02837,
              0.03562,
              0.04882,
              0.07374,
              0.12309,
              0.22466,
              0.43342,
              0.85536
            ],
            [
              0.01943,
              0.02833,
              0.03565,
              0.0488,
              0.0738,
              0.12322,
              0.22467,
              0.43372,
              0.85695
            ],
            [
              0.01942,
              0.02834,
              0.03562,
              0.04882,
              0.0738,
              0.12326,
              0.22448,
              0.43324,
              0.85612
            ],
            [
              0.01944,
              0.02837,
              0.03562,
              0.04882,
              0.07376,
              0.12312,
              0.22454,
              0.43333,
              0.85496
            ],
            [
              0.01944,
              0.02838,
              0.03563,
              0.04882,
              0.07374,
              0.12308,
              0.22472,
              0.43343,
              0.85522
            ],
            [
              0.01945,
              0.02837,
              0.03564,
              0.04882,
              0.07381,
              0.12327,
              0.22456,
              0.43361,
              0.85616
            ],
            [
              0.01951,
              0.02842,
              0.03568,
              0.04884,
              0.07384,
              0.12314,
              0.22473,
              0.43344,
              0.85517
            ],
            [
              0.01974,
              0.02861,
              0.03585,
              0.049,
              0.07392,
              0.1233,
              0.22461,
              0.4335,
              0.857
            ],
            [
              0.02006,
              0.02894,
              0.03618,
              0.04928,
              0.07423,
              0.12349,
              0.22489,
              0.43298,
              0.85605
            ],
            [
              0.02072,
              0.02964,
              0.03682,
              0.04979,
              0.07463,
              0.1235,
              0.22453,
              0.43376,
              0.85624
            ],
            [
              0.02177,
              0.03073,
              0.0379,
              0.05078,
              0.07549,
              0.1245,
              0.22496,
              0.43272,
              0.8566
            ],
            [
              0.0234,
              0.0324,
              0.0394,
              0.0523,
              0.0769,
              0.1261,
              0.2269,
              0.4338,
              0.8555
            ],
            [
              0.0257,
              0.0348,
              0.0417,
              0.0543,
              0.0789,
              0.1281,
              0.2292,
              0.4378,
              0.8567
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x9": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00592,
            0.01183,
            0.02366,
            0.04732,
            0.09465,
            0.18929,
            0.37859,
            0.75717
          ],
          "values": [
            [
              0.02474,
              0.0388,
              0.0509,
              0.073,
              0.1159,
              0.20345,
              0.38447,
              0.75272,
              1.48931
            ],
            [
              0.02474,
              0.03886,
              0.05101,
              0.07314,
              0.11582,
              0.20359,
              0.38508,
              0.75257,
              1.49028
            ],
            [
              0.02472,
              0.0388,
              0.0509,
              0.07301,
              0.11586,
              0.20344,
              0.38429,
              0.75261,
              1.49332
            ],
            [
              0.02474,
              0.03884,
              0.05089,
              0.07301,
              0.11593,
              0.20349,
              0.3846,
              0.75273,
              1.49049
            ],
            [
              0.02474,
              0.0388,
              0.05101,
              0.07316,
              0.11571,
              0.20332,
              0.3847,
              0.75263,
              1.48919
            ],
            [
              0.02476,
              0.03888,
              0.051,
              0.07301,
              0.11591,
              0.20351,
              0.3854,
              0.75208,
              1.49024
            ],
            [
              0.02476,
              0.03889,
              0.05104,
              0.07314,
              0.11593,
              0.2035,
              0.38482,
              0.75227,
              1.49032
            ],
            [
              0.02486,
              0.03894,
              0.05106,
              0.07331,
              0.11594,
              0.20342,
              0.38443,
              0.75397,
              1.49225
            ],
            [
              0.02515,
              0.0392,
              0.05145,
              0.0736,
              0.11616,
              0.20381,
              0.38464,
              0.75296,
              1.49008
            ],
            [
              0.02478,
              0.03898,
              0.05118,
              0.0735,
              0.11647,
              0.20411,
              0.38514,
              0.7527,
              1.4896
            ],
            [
              0.02498,
              0.03919,
              0.0514,
              0.07398,
              0.11661,
              0.20423,
              0.3856,
              0.753,
              1.4901
            ],
            [
              0.0257,
              0.0399,
              0.0523,
              0.0746,
              0.1173,
              0.2047,
              0.3851,
              0.7526,
              1.4936
            ],
            [
              0.0268,
              0.041,
              0.0537,
              0.0762,
              0.1185,
              0.2054,
              0.3856,
              0.7533,
              1.4934
            ]
          ]
        },
        "sdf_cond": "(A)",
        "timing_sense": "negative_unate",
        "when": "(A)"
      }
    ]
  }
}