{
  "area": 30.3696,
  "cell_footprint": "sky130_fd_sc_ls__xor3",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00276,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.03223,
          0.0318,
          0.03142,
          0.03125,
          0.03112,
          0.03106,
          0.03109,
          0.0311,
          0.03126,
          0.0341,
          0.03465,
          0.03826,
          0.03966
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.02707,
          0.02465,
          0.0247,
          0.02466,
          0.02434,
          0.02484,
          0.02444,
          0.02447,
          0.02472,
          0.02686,
          0.02722,
          0.02991,
          0.03097
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00759,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.03182,
          0.03211,
          0.03128,
          0.03114,
          0.03092,
          0.03075,
          0.03083,
          0.03078,
          0.03092,
          0.03368,
          0.03422,
          0.03776,
          0.03925
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.01789,
          0.01629,
          0.01551,
          0.0158,
          0.01538,
          0.01574,
          0.0152,
          0.01547,
          0.01564,
          0.01719,
          0.01775,
          0.02008,
          0.02169
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.00438,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.03383,
          0.03388,
          0.03309,
          0.03291,
          0.03282,
          0.03279,
          0.03266,
          0.03274,
          0.03279,
          0.0357,
          0.03616,
          0.03968,
          0.04093
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.02669,
          0.02533,
          0.02393,
          0.02422,
          0.024,
          0.02419,
          0.02396,
          0.02395,
          0.02403,
          0.02627,
          0.02676,
          0.02975,
          0.03114
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A&!B&!C) | (!A&B&!C) | (!A&!B&C) | (A&B&C)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.04992,
              0.03983,
              0.02986,
              0.00992,
              -0.03023,
              -0.11098
            ],
            [
              0.04987,
              0.03978,
              0.02981,
              0.00987,
              -0.0303,
              -0.11103
            ],
            [
              0.04984,
              0.03971,
              0.02976,
              0.00982,
              -0.03033,
              -0.11108
            ],
            [
              0.04979,
              0.03968,
              0.02971,
              0.00977,
              -0.03038,
              -0.11112
            ],
            [
              0.04972,
              0.03961,
              0.02966,
              0.00972,
              -0.03045,
              -0.11119
            ],
            [
              0.04964,
              0.03953,
              0.02957,
              0.00963,
              -0.03053,
              -0.11127
            ],
            [
              0.04958,
              0.03946,
              0.02951,
              0.00956,
              -0.03059,
              -0.11133
            ],
            [
              0.04951,
              0.03938,
              0.02944,
              0.00948,
              -0.03067,
              -0.11141
            ],
            [
              0.04942,
              0.03929,
              0.02933,
              0.00937,
              -0.03078,
              -0.11152
            ],
            [
              0.04929,
              0.03915,
              0.02919,
              0.00922,
              -0.03093,
              -0.11166
            ],
            [
              0.04923,
              0.03909,
              0.02909,
              0.0091,
              -0.03105,
              -0.11176
            ],
            [
              0.04931,
              0.03912,
              0.02909,
              0.00909,
              -0.03107,
              -0.11177
            ],
            [
              0.04962,
              0.03935,
              0.02929,
              0.00924,
              -0.03095,
              -0.11164
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.03846,
              0.04872,
              0.05889,
              0.07914,
              0.11917,
              0.19931
            ],
            [
              0.03843,
              0.04868,
              0.05885,
              0.07904,
              0.11929,
              0.19933
            ],
            [
              0.03837,
              0.04863,
              0.0588,
              0.07899,
              0.11916,
              0.19935
            ],
            [
              0.0383,
              0.04857,
              0.05873,
              0.07899,
              0.11907,
              0.19919
            ],
            [
              0.03826,
              0.04852,
              0.05869,
              0.07889,
              0.11899,
              0.19916
            ],
            [
              0.03818,
              0.04843,
              0.0586,
              0.07878,
              0.11888,
              0.19918
            ],
            [
              0.03805,
              0.04832,
              0.05847,
              0.07868,
              0.11882,
              0.19901
            ],
            [
              0.03792,
              0.04818,
              0.05834,
              0.07851,
              0.11867,
              0.19883
            ],
            [
              0.03778,
              0.04803,
              0.05819,
              0.07839,
              0.11855,
              0.19883
            ],
            [
              0.03766,
              0.04788,
              0.05804,
              0.07816,
              0.1183,
              0.19867
            ],
            [
              0.0376,
              0.0478,
              0.05794,
              0.07812,
              0.11822,
              0.19848
            ],
            [
              0.03758,
              0.04772,
              0.05783,
              0.07804,
              0.11816,
              0.19832
            ],
            [
              0.03778,
              0.04791,
              0.05799,
              0.07802,
              0.11813,
              0.19845
            ]
          ]
        },
        "when": "(!B&!C) | (B&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.04053,
              0.03038,
              0.02042,
              0.00046,
              -0.03972,
              -0.12044
            ],
            [
              0.04047,
              0.03034,
              0.02039,
              0.00043,
              -0.03975,
              -0.12047
            ],
            [
              0.04045,
              0.0303,
              0.02035,
              0.00039,
              -0.03979,
              -0.12051
            ],
            [
              0.04043,
              0.03028,
              0.02033,
              0.00036,
              -0.03982,
              -0.12054
            ],
            [
              0.04036,
              0.0302,
              0.02025,
              0.00029,
              -0.03989,
              -0.12061
            ],
            [
              0.04027,
              0.03011,
              0.02016,
              0.00019,
              -0.03999,
              -0.12071
            ],
            [
              0.04012,
              0.02999,
              0.02004,
              7e-05,
              -0.04011,
              -0.12082
            ],
            [
              0.04001,
              0.02985,
              0.0199,
              -6e-05,
              -0.04024,
              -0.12097
            ],
            [
              0.03983,
              0.0297,
              0.01975,
              -0.00021,
              -0.04039,
              -0.12111
            ],
            [
              0.0397,
              0.02954,
              0.01959,
              -0.00038,
              -0.04055,
              -0.12128
            ],
            [
              0.03961,
              0.02946,
              0.01949,
              -0.00048,
              -0.04065,
              -0.12137
            ],
            [
              0.03958,
              0.02941,
              0.01946,
              -0.00051,
              -0.04068,
              -0.1214
            ],
            [
              0.03976,
              0.02959,
              0.01963,
              -0.00034,
              -0.04052,
              -0.12123
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.04345,
              0.05371,
              0.0639,
              0.08407,
              0.12424,
              0.20465
            ],
            [
              0.0434,
              0.05363,
              0.06383,
              0.08408,
              0.12417,
              0.20473
            ],
            [
              0.04335,
              0.05359,
              0.06377,
              0.08401,
              0.12411,
              0.20462
            ],
            [
              0.04332,
              0.05355,
              0.06373,
              0.08391,
              0.12402,
              0.20436
            ],
            [
              0.04323,
              0.05347,
              0.06366,
              0.0839,
              0.12401,
              0.20431
            ],
            [
              0.04316,
              0.05341,
              0.06355,
              0.08377,
              0.12395,
              0.20461
            ],
            [
              0.04306,
              0.05332,
              0.06347,
              0.08367,
              0.12385,
              0.20403
            ],
            [
              0.04296,
              0.05322,
              0.06339,
              0.08353,
              0.12371,
              0.20415
            ],
            [
              0.04285,
              0.05309,
              0.06327,
              0.08344,
              0.1236,
              0.2043
            ],
            [
              0.04275,
              0.05301,
              0.06317,
              0.08335,
              0.12353,
              0.20373
            ],
            [
              0.04272,
              0.05296,
              0.06314,
              0.08328,
              0.12348,
              0.20415
            ],
            [
              0.0428,
              0.05304,
              0.06321,
              0.08341,
              0.1235,
              0.20414
            ],
            [
              0.04305,
              0.05325,
              0.06342,
              0.08363,
              0.1238,
              0.20398
            ]
          ]
        },
        "when": "(B&!C) | (!B&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.04612,
              0.03605,
              0.02613,
              0.00619,
              -0.034,
              -0.11474
            ],
            [
              0.04599,
              0.03591,
              0.02598,
              0.00604,
              -0.03414,
              -0.11489
            ],
            [
              0.04589,
              0.03581,
              0.02588,
              0.00594,
              -0.03425,
              -0.11499
            ],
            [
              0.04576,
              0.03568,
              0.02576,
              0.00581,
              -0.03437,
              -0.11512
            ],
            [
              0.04563,
              0.03556,
              0.02565,
              0.0057,
              -0.03448,
              -0.11523
            ],
            [
              0.04551,
              0.03544,
              0.02552,
              0.00557,
              -0.03462,
              -0.11536
            ],
            [
              0.04542,
              0.03536,
              0.02542,
              0.00548,
              -0.0347,
              -0.11545
            ],
            [
              0.04538,
              0.0353,
              0.02538,
              0.00543,
              -0.03475,
              -0.1155
            ],
            [
              0.04539,
              0.0353,
              0.02537,
              0.00543,
              -0.03476,
              -0.11549
            ],
            [
              0.0455,
              0.03543,
              0.02549,
              0.00553,
              -0.03464,
              -0.11537
            ],
            [
              0.04585,
              0.03574,
              0.02578,
              0.00581,
              -0.03435,
              -0.11508
            ],
            [
              0.0466,
              0.03639,
              0.02639,
              0.00639,
              -0.03378,
              -0.11449
            ],
            [
              0.04778,
              0.03743,
              0.02741,
              0.00737,
              -0.03281,
              -0.11351
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.02324,
              0.03352,
              0.04374,
              0.06395,
              0.10405,
              0.18437
            ],
            [
              0.02314,
              0.03343,
              0.04365,
              0.06383,
              0.10393,
              0.18413
            ],
            [
              0.02304,
              0.03335,
              0.04356,
              0.0637,
              0.10391,
              0.18406
            ],
            [
              0.02298,
              0.03328,
              0.0435,
              0.06365,
              0.10375,
              0.18393
            ],
            [
              0.0229,
              0.03319,
              0.04342,
              0.06361,
              0.10381,
              0.18402
            ],
            [
              0.02281,
              0.03311,
              0.04333,
              0.06351,
              0.10356,
              0.18394
            ],
            [
              0.02279,
              0.03306,
              0.04329,
              0.06347,
              0.10359,
              0.18385
            ],
            [
              0.02279,
              0.03306,
              0.04328,
              0.06348,
              0.10361,
              0.18369
            ],
            [
              0.02285,
              0.03312,
              0.04332,
              0.06349,
              0.10363,
              0.18387
            ],
            [
              0.02308,
              0.03332,
              0.04352,
              0.06368,
              0.10386,
              0.18403
            ],
            [
              0.02351,
              0.0337,
              0.04386,
              0.06401,
              0.10423,
              0.18469
            ],
            [
              0.02436,
              0.03447,
              0.04456,
              0.06475,
              0.10488,
              0.18526
            ],
            [
              0.0257,
              0.03576,
              0.04588,
              0.06595,
              0.10615,
              0.1862
            ]
          ]
        },
        "when": "(!A&!C) | (A&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.0269,
              0.01681,
              0.00687,
              -0.01309,
              -0.05326,
              -0.13401
            ],
            [
              0.02681,
              0.01668,
              0.00675,
              -0.0132,
              -0.05338,
              -0.13412
            ],
            [
              0.02669,
              0.01659,
              0.00666,
              -0.0133,
              -0.05348,
              -0.13422
            ],
            [
              0.02655,
              0.01645,
              0.0065,
              -0.01344,
              -0.05362,
              -0.13436
            ],
            [
              0.02641,
              0.01631,
              0.00636,
              -0.01358,
              -0.05377,
              -0.13451
            ],
            [
              0.02628,
              0.01619,
              0.00623,
              -0.01372,
              -0.0539,
              -0.13463
            ],
            [
              0.02614,
              0.01605,
              0.00611,
              -0.01384,
              -0.05402,
              -0.13476
            ],
            [
              0.02607,
              0.01597,
              0.00603,
              -0.01393,
              -0.05412,
              -0.13485
            ],
            [
              0.02608,
              0.016,
              0.00606,
              -0.01391,
              -0.05409,
              -0.13482
            ],
            [
              0.02627,
              0.0162,
              0.00624,
              -0.01373,
              -0.05391,
              -0.13464
            ],
            [
              0.0267,
              0.01661,
              0.00667,
              -0.01331,
              -0.05348,
              -0.13422
            ],
            [
              0.02752,
              0.01741,
              0.00747,
              -0.01251,
              -0.05269,
              -0.13342
            ],
            [
              0.02891,
              0.01878,
              0.00881,
              -0.01118,
              -0.05135,
              -0.13207
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.04123,
              0.05145,
              0.06162,
              0.08188,
              0.12195,
              0.20232
            ],
            [
              0.04109,
              0.05134,
              0.0615,
              0.08172,
              0.12186,
              0.20211
            ],
            [
              0.04093,
              0.05119,
              0.06134,
              0.08151,
              0.1217,
              0.20219
            ],
            [
              0.04074,
              0.05098,
              0.06115,
              0.08136,
              0.1215,
              0.20176
            ],
            [
              0.04056,
              0.05081,
              0.06099,
              0.08116,
              0.12129,
              0.20178
            ],
            [
              0.04036,
              0.05059,
              0.06076,
              0.08096,
              0.12108,
              0.20141
            ],
            [
              0.04024,
              0.05048,
              0.06066,
              0.08082,
              0.12099,
              0.20141
            ],
            [
              0.04016,
              0.05041,
              0.06057,
              0.08079,
              0.12093,
              0.20116
            ],
            [
              0.04023,
              0.05046,
              0.06063,
              0.08088,
              0.12102,
              0.20129
            ],
            [
              0.04042,
              0.05066,
              0.06084,
              0.08101,
              0.12116,
              0.20165
            ],
            [
              0.04084,
              0.05109,
              0.06128,
              0.08145,
              0.12152,
              0.20179
            ],
            [
              0.04163,
              0.05185,
              0.06198,
              0.08218,
              0.1224,
              0.20244
            ],
            [
              0.04272,
              0.05296,
              0.06313,
              0.08331,
              0.12322,
              0.20351
            ]
          ]
        },
        "when": "(A&!C) | (!A&C)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.02389,
              0.01416,
              0.00422,
              -0.01584,
              -0.05616,
              -0.13701
            ],
            [
              0.02381,
              0.01408,
              0.00415,
              -0.01591,
              -0.05624,
              -0.13709
            ],
            [
              0.0237,
              0.01396,
              0.00404,
              -0.01602,
              -0.05635,
              -0.1372
            ],
            [
              0.0236,
              0.01385,
              0.00394,
              -0.01613,
              -0.05644,
              -0.1373
            ],
            [
              0.02346,
              0.01374,
              0.00381,
              -0.01624,
              -0.05656,
              -0.13741
            ],
            [
              0.02332,
              0.01358,
              0.00365,
              -0.0164,
              -0.05671,
              -0.13757
            ],
            [
              0.02318,
              0.01345,
              0.00353,
              -0.01653,
              -0.05684,
              -0.13769
            ],
            [
              0.02306,
              0.01331,
              0.00339,
              -0.01666,
              -0.05696,
              -0.1378
            ],
            [
              0.02297,
              0.01322,
              0.00328,
              -0.01674,
              -0.05703,
              -0.13786
            ],
            [
              0.02299,
              0.01316,
              0.00321,
              -0.01679,
              -0.05705,
              -0.13786
            ],
            [
              0.02314,
              0.01324,
              0.0033,
              -0.0167,
              -0.05696,
              -0.13775
            ],
            [
              0.0235,
              0.01349,
              0.00353,
              -0.01647,
              -0.05671,
              -0.13749
            ],
            [
              0.02417,
              0.01405,
              0.00403,
              -0.016,
              -0.05621,
              -0.13698
            ]
          ]
        },
        "related_pin": "C",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.00926,
              0.01969,
              0.02983,
              0.04996,
              0.09002,
              0.17027
            ],
            [
              0.00918,
              0.01963,
              0.02978,
              0.04987,
              0.08993,
              0.1702
            ],
            [
              0.00911,
              0.01955,
              0.02974,
              0.04983,
              0.08987,
              0.16994
            ],
            [
              0.00898,
              0.01942,
              0.0296,
              0.04975,
              0.08981,
              0.17005
            ],
            [
              0.00887,
              0.01931,
              0.02946,
              0.04963,
              0.08964,
              0.16997
            ],
            [
              0.00871,
              0.01914,
              0.02936,
              0.04939,
              0.08959,
              0.16965
            ],
            [
              0.00856,
              0.01898,
              0.02915,
              0.04934,
              0.08936,
              0.16952
            ],
            [
              0.0084,
              0.01879,
              0.02896,
              0.04912,
              0.08916,
              0.16955
            ],
            [
              0.00827,
              0.01861,
              0.02878,
              0.04893,
              0.08903,
              0.16923
            ],
            [
              0.00821,
              0.01849,
              0.02868,
              0.0488,
              0.08892,
              0.16923
            ],
            [
              0.00827,
              0.01847,
              0.02858,
              0.0488,
              0.08886,
              0.16906
            ],
            [
              0.00853,
              0.01871,
              0.02883,
              0.04892,
              0.08907,
              0.16952
            ],
            [
              0.00899,
              0.01907,
              0.02923,
              0.04939,
              0.08932,
              0.16955
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.01658,
              0.00666,
              -0.00323,
              -0.02318,
              -0.06339,
              -0.14417
            ],
            [
              0.01647,
              0.00657,
              -0.00333,
              -0.02328,
              -0.06348,
              -0.14426
            ],
            [
              0.01648,
              0.00655,
              -0.00334,
              -0.02328,
              -0.0635,
              -0.14427
            ],
            [
              0.01649,
              0.00655,
              -0.00334,
              -0.02329,
              -0.06349,
              -0.14427
            ],
            [
              0.01647,
              0.00655,
              -0.00334,
              -0.02329,
              -0.0635,
              -0.14427
            ],
            [
              0.0165,
              0.00656,
              -0.00331,
              -0.02327,
              -0.06346,
              -0.14424
            ],
            [
              0.01656,
              0.00662,
              -0.00326,
              -0.02322,
              -0.06342,
              -0.14419
            ],
            [
              0.01664,
              0.00673,
              -0.00318,
              -0.02313,
              -0.06334,
              -0.1441
            ],
            [
              0.01674,
              0.00686,
              -0.00305,
              -0.02301,
              -0.06322,
              -0.14397
            ],
            [
              0.01694,
              0.00706,
              -0.00285,
              -0.02282,
              -0.06302,
              -0.14377
            ],
            [
              0.01724,
              0.0074,
              -0.00253,
              -0.02251,
              -0.06271,
              -0.14346
            ],
            [
              0.01773,
              0.00787,
              -0.00205,
              -0.02204,
              -0.06225,
              -0.143
            ],
            [
              0.0185,
              0.00863,
              -0.00133,
              -0.02133,
              -0.06154,
              -0.14227
            ]
          ]
        },
        "related_pin": "C",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.02217,
              0.03243,
              0.04263,
              0.0628,
              0.10292,
              0.18334
            ],
            [
              0.02218,
              0.03244,
              0.04264,
              0.06282,
              0.10295,
              0.18314
            ],
            [
              0.02212,
              0.03237,
              0.04259,
              0.06277,
              0.10289,
              0.18323
            ],
            [
              0.02208,
              0.03233,
              0.04253,
              0.06272,
              0.10281,
              0.18307
            ],
            [
              0.02204,
              0.03231,
              0.04249,
              0.0627,
              0.10285,
              0.18313
            ],
            [
              0.022,
              0.03229,
              0.04246,
              0.06266,
              0.10278,
              0.18324
            ],
            [
              0.02202,
              0.03229,
              0.04247,
              0.06265,
              0.10284,
              0.18308
            ],
            [
              0.02213,
              0.03243,
              0.04258,
              0.06274,
              0.10295,
              0.18324
            ],
            [
              0.02233,
              0.03261,
              0.04281,
              0.06298,
              0.10305,
              0.18342
            ],
            [
              0.02258,
              0.03287,
              0.04306,
              0.0632,
              0.10344,
              0.18361
            ],
            [
              0.02296,
              0.03323,
              0.04344,
              0.06361,
              0.10367,
              0.18401
            ],
            [
              0.02345,
              0.03372,
              0.04384,
              0.064,
              0.10413,
              0.18439
            ],
            [
              0.02413,
              0.0344,
              0.0446,
              0.0647,
              0.10468,
              0.18524
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.08319,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.56017,
              0.67512,
              0.74834,
              0.86506,
              1.05997,
              1.41047
            ],
            [
              0.56317,
              0.67812,
              0.75134,
              0.86805,
              1.06294,
              1.41354
            ],
            [
              0.56671,
              0.68165,
              0.75489,
              0.8716,
              1.06652,
              1.41702
            ],
            [
              0.57239,
              0.68734,
              0.76057,
              0.87728,
              1.07218,
              1.42268
            ],
            [
              0.58091,
              0.69585,
              0.76909,
              0.88579,
              1.08071,
              1.43131
            ],
            [
              0.59366,
              0.7086,
              0.78183,
              0.89855,
              1.09352,
              1.44392
            ],
            [
              0.61339,
              0.72837,
              0.80159,
              0.91833,
              1.11323,
              1.46383
            ],
            [
              0.64324,
              0.75817,
              0.83139,
              0.94806,
              1.14306,
              1.49356
            ],
            [
              0.68783,
              0.80275,
              0.87595,
              0.99265,
              1.18765,
              1.53825
            ],
            [
              0.75429,
              0.86929,
              0.94249,
              1.05919,
              1.25419,
              1.60469
            ],
            [
              0.85212,
              0.96722,
              1.04032,
              1.15712,
              1.35222,
              1.70252
            ],
            [
              0.99057,
              1.10577,
              1.17887,
              1.29567,
              1.49087,
              1.84137
            ],
            [
              1.172,
              1.2909,
              1.3653,
              1.483,
              1.6788,
              2.0297
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.34772,
              0.4567,
              0.53531,
              0.67425,
              0.93621,
              1.45167
            ],
            [
              0.35092,
              0.4599,
              0.53849,
              0.67758,
              0.93897,
              1.45554
            ],
            [
              0.35462,
              0.4636,
              0.5422,
              0.68126,
              0.94281,
              1.45932
            ],
            [
              0.36029,
              0.46925,
              0.54787,
              0.68685,
              0.94868,
              1.46418
            ],
            [
              0.3686,
              0.47758,
              0.55618,
              0.69516,
              0.95721,
              1.47291
            ],
            [
              0.38119,
              0.49017,
              0.56877,
              0.70776,
              0.96972,
              1.48522
            ],
            [
              0.39973,
              0.50874,
              0.58729,
              0.72647,
              0.98803,
              1.50433
            ],
            [
              0.42731,
              0.53633,
              0.61493,
              0.75391,
              1.01596,
              1.53166
            ],
            [
              0.46804,
              0.57708,
              0.65569,
              0.79465,
              1.05685,
              1.57295
            ],
            [
              0.5258,
              0.63489,
              0.71339,
              0.85249,
              1.11449,
              1.62979
            ],
            [
              0.60542,
              0.71492,
              0.79362,
              0.93262,
              1.19462,
              1.71012
            ],
            [
              0.70887,
              0.82207,
              0.90177,
              1.04137,
              1.30347,
              1.81967
            ],
            [
              0.8384,
              0.9574,
              1.0394,
              1.1813,
              1.4442,
              1.9606
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.06737,
              0.14672,
              0.20685,
              0.31495,
              0.52571,
              0.9542
            ],
            [
              0.06737,
              0.14672,
              0.2065,
              0.31501,
              0.52569,
              0.95426
            ],
            [
              0.06736,
              0.14672,
              0.2065,
              0.31495,
              0.52572,
              0.9542
            ],
            [
              0.06737,
              0.14672,
              0.20682,
              0.31503,
              0.52568,
              0.9542
            ],
            [
              0.06738,
              0.14672,
              0.20649,
              0.31504,
              0.52572,
              0.9543
            ],
            [
              0.06737,
              0.14673,
              0.20682,
              0.31511,
              0.52565,
              0.9541
            ],
            [
              0.06738,
              0.14672,
              0.20652,
              0.31496,
              0.52572,
              0.9543
            ],
            [
              0.06739,
              0.14674,
              0.20657,
              0.31501,
              0.5258,
              0.9543
            ],
            [
              0.06754,
              0.14675,
              0.2065,
              0.3153,
              0.5274,
              0.9542
            ],
            [
              0.0676,
              0.1469,
              0.2066,
              0.3159,
              0.5259,
              0.9531
            ],
            [
              0.0679,
              0.1474,
              0.2072,
              0.3157,
              0.5268,
              0.9537
            ],
            [
              0.0686,
              0.1479,
              0.2075,
              0.3157,
              0.526,
              0.9538
            ],
            [
              0.0731,
              0.1527,
              0.2114,
              0.3194,
              0.5281,
              0.9545
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05178,
              0.15069,
              0.23763,
              0.41118,
              0.76823,
              1.49892
            ],
            [
              0.05176,
              0.15078,
              0.23727,
              0.41124,
              0.7687,
              1.4991
            ],
            [
              0.05174,
              0.15077,
              0.23724,
              0.4113,
              0.76869,
              1.50188
            ],
            [
              0.05177,
              0.15073,
              0.23754,
              0.41127,
              0.76848,
              1.49869
            ],
            [
              0.0518,
              0.15048,
              0.23761,
              0.41084,
              0.76695,
              1.49693
            ],
            [
              0.05181,
              0.15047,
              0.23761,
              0.41085,
              0.76686,
              1.49762
            ],
            [
              0.05195,
              0.15062,
              0.23738,
              0.41061,
              0.76881,
              1.49865
            ],
            [
              0.05182,
              0.15105,
              0.23774,
              0.41099,
              0.76714,
              1.5018
            ],
            [
              0.05183,
              0.15094,
              0.23783,
              0.41131,
              0.7674,
              1.499
            ],
            [
              0.05196,
              0.15105,
              0.2376,
              0.4116,
              0.7695,
              1.4985
            ],
            [
              0.053,
              0.1517,
              0.2383,
              0.4118,
              0.7673,
              1.498
            ],
            [
              0.0558,
              0.1552,
              0.2409,
              0.4128,
              0.7676,
              1.5031
            ],
            [
              0.0601,
              0.1616,
              0.2472,
              0.4173,
              0.7694,
              1.4986
            ]
          ]
        },
        "sdf_cond": "(!B&!C)",
        "timing_sense": "positive_unate",
        "when": "(!B&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.65034,
              0.7738,
              0.85209,
              0.97526,
              1.17737,
              1.53387
            ],
            [
              0.65348,
              0.77694,
              0.85523,
              0.97841,
              1.18054,
              1.53694
            ],
            [
              0.65722,
              0.78068,
              0.85897,
              0.98212,
              1.18422,
              1.54042
            ],
            [
              0.66288,
              0.78634,
              0.86467,
              0.98787,
              1.18998,
              1.54648
            ],
            [
              0.67156,
              0.79503,
              0.87332,
              0.99651,
              1.19861,
              1.55511
            ],
            [
              0.68429,
              0.80779,
              0.88607,
              1.00922,
              1.21132,
              1.56752
            ],
            [
              0.70383,
              0.82729,
              0.90563,
              1.02873,
              1.23083,
              1.58733
            ],
            [
              0.73346,
              0.85676,
              0.93506,
              1.05826,
              1.26036,
              1.61656
            ],
            [
              0.77565,
              0.89915,
              0.97745,
              1.10055,
              1.30265,
              1.65905
            ],
            [
              0.83279,
              0.95619,
              1.03449,
              1.15769,
              1.35979,
              1.71599
            ],
            [
              0.90712,
              1.03052,
              1.10882,
              1.23202,
              1.43412,
              1.79062
            ],
            [
              0.99937,
              1.12287,
              1.20117,
              1.32437,
              1.52647,
              1.88267
            ],
            [
              1.1127,
              1.2362,
              1.3144,
              1.4377,
              1.6399,
              1.9962
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.56346,
              0.67704,
              0.7566,
              0.89597,
              1.15787,
              1.67417
            ],
            [
              0.56644,
              0.68001,
              0.75953,
              0.899,
              1.16044,
              1.67694
            ],
            [
              0.56999,
              0.68356,
              0.76307,
              0.90262,
              1.16412,
              1.68092
            ],
            [
              0.57547,
              0.68905,
              0.76862,
              0.90795,
              1.16987,
              1.68618
            ],
            [
              0.58398,
              0.69756,
              0.77708,
              0.91654,
              1.17801,
              1.69451
            ],
            [
              0.59687,
              0.71045,
              0.79001,
              0.92932,
              1.19132,
              1.70762
            ],
            [
              0.61676,
              0.73034,
              0.8099,
              0.94923,
              1.21123,
              1.72753
            ],
            [
              0.64672,
              0.76029,
              0.83986,
              0.97916,
              1.24116,
              1.75746
            ],
            [
              0.69207,
              0.80565,
              0.88515,
              1.02465,
              1.28645,
              1.80285
            ],
            [
              0.76009,
              0.87359,
              0.95319,
              1.09249,
              1.35449,
              1.87079
            ],
            [
              0.85522,
              0.96882,
              1.04842,
              1.18782,
              1.44972,
              1.96612
            ],
            [
              0.97737,
              1.09107,
              1.17067,
              1.31007,
              1.57207,
              2.08757
            ],
            [
              1.1274,
              1.2418,
              1.3215,
              1.461,
              1.7227,
              2.2395
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.07243,
              0.15797,
              0.22047,
              0.33161,
              0.54254,
              0.9672
            ],
            [
              0.07243,
              0.15796,
              0.22046,
              0.33163,
              0.54246,
              0.9671
            ],
            [
              0.07244,
              0.15796,
              0.22045,
              0.33167,
              0.5425,
              0.9666
            ],
            [
              0.07243,
              0.15792,
              0.22051,
              0.33163,
              0.54248,
              0.9674
            ],
            [
              0.07241,
              0.15795,
              0.22048,
              0.3316,
              0.54246,
              0.9674
            ],
            [
              0.07243,
              0.15794,
              0.2204,
              0.33177,
              0.5423,
              0.9663
            ],
            [
              0.07243,
              0.15798,
              0.22044,
              0.33157,
              0.5425,
              0.9674
            ],
            [
              0.07244,
              0.15788,
              0.22043,
              0.3318,
              0.5422,
              0.9665
            ],
            [
              0.07238,
              0.158,
              0.2204,
              0.3317,
              0.5425,
              0.9666
            ],
            [
              0.0724,
              0.1579,
              0.2203,
              0.3317,
              0.5424,
              0.9661
            ],
            [
              0.0725,
              0.158,
              0.2206,
              0.3316,
              0.5426,
              0.9674
            ],
            [
              0.0725,
              0.158,
              0.2205,
              0.3318,
              0.5423,
              0.9665
            ],
            [
              0.0726,
              0.1581,
              0.2207,
              0.3319,
              0.5426,
              0.9677
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05566,
              0.15451,
              0.24002,
              0.41252,
              0.7679,
              1.499
            ],
            [
              0.05556,
              0.1542,
              0.2399,
              0.41231,
              0.76876,
              1.5008
            ],
            [
              0.05555,
              0.15425,
              0.23995,
              0.41226,
              0.76881,
              1.5009
            ],
            [
              0.05559,
              0.15455,
              0.24003,
              0.4125,
              0.76789,
              1.4989
            ],
            [
              0.05556,
              0.15418,
              0.23989,
              0.41234,
              0.76868,
              1.5007
            ],
            [
              0.05563,
              0.15452,
              0.24002,
              0.41246,
              0.76785,
              1.4989
            ],
            [
              0.05561,
              0.15453,
              0.24005,
              0.41248,
              0.76786,
              1.499
            ],
            [
              0.0556,
              0.1545,
              0.24003,
              0.41245,
              0.7678,
              1.4989
            ],
            [
              0.05562,
              0.15424,
              0.2401,
              0.4125,
              0.7681,
              1.4991
            ],
            [
              0.0557,
              0.1545,
              0.24,
              0.4124,
              0.7678,
              1.4989
            ],
            [
              0.0556,
              0.1546,
              0.2402,
              0.4126,
              0.7679,
              1.4991
            ],
            [
              0.0558,
              0.1544,
              0.24,
              0.4125,
              0.7674,
              1.4989
            ],
            [
              0.0562,
              0.1551,
              0.2408,
              0.4131,
              0.7691,
              1.4994
            ]
          ]
        },
        "sdf_cond": "(!B&C)",
        "timing_sense": "negative_unate",
        "when": "(!B&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.66685,
              0.79377,
              0.87398,
              0.99967,
              1.20477,
              1.56367
            ],
            [
              0.67005,
              0.79695,
              0.87714,
              1.00284,
              1.20794,
              1.56694
            ],
            [
              0.67375,
              0.80067,
              0.88088,
              1.00662,
              1.21162,
              1.57052
            ],
            [
              0.67949,
              0.80646,
              0.88663,
              1.01228,
              1.21738,
              1.57608
            ],
            [
              0.68789,
              0.81482,
              0.89502,
              1.02071,
              1.22581,
              1.58471
            ],
            [
              0.70077,
              0.8277,
              0.9079,
              1.03362,
              1.23862,
              1.59752
            ],
            [
              0.72013,
              0.84707,
              0.92723,
              1.05293,
              1.25803,
              1.61683
            ],
            [
              0.74926,
              0.87616,
              0.95636,
              1.08206,
              1.28716,
              1.64616
            ],
            [
              0.79155,
              0.91855,
              0.99875,
              1.12445,
              1.32955,
              1.68855
            ],
            [
              0.84939,
              0.97629,
              1.05649,
              1.18219,
              1.38729,
              1.74629
            ],
            [
              0.92462,
              1.05152,
              1.13172,
              1.25742,
              1.46252,
              1.82132
            ],
            [
              1.01837,
              1.14517,
              1.22537,
              1.35107,
              1.55617,
              1.91527
            ],
            [
              1.1331,
              1.2599,
              1.3401,
              1.4659,
              1.671,
              2.03
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.5571,
              0.66334,
              0.74024,
              0.87723,
              1.13807,
              1.65377
            ],
            [
              0.56011,
              0.66635,
              0.74324,
              0.88025,
              1.14104,
              1.65694
            ],
            [
              0.5637,
              0.66993,
              0.74683,
              0.88383,
              1.14462,
              1.66042
            ],
            [
              0.56932,
              0.67556,
              0.75235,
              0.88962,
              1.15008,
              1.66648
            ],
            [
              0.57781,
              0.68405,
              0.76094,
              0.89792,
              1.15871,
              1.67441
            ],
            [
              0.59074,
              0.69698,
              0.77388,
              0.91088,
              1.17172,
              1.68752
            ],
            [
              0.61037,
              0.71661,
              0.7935,
              0.93053,
              1.19133,
              1.70703
            ],
            [
              0.64009,
              0.74633,
              0.82318,
              0.96006,
              1.22096,
              1.73636
            ],
            [
              0.68546,
              0.79175,
              0.86855,
              1.00555,
              1.26635,
              1.78225
            ],
            [
              0.75329,
              0.85949,
              0.93639,
              1.07339,
              1.33419,
              1.84969
            ],
            [
              0.84852,
              0.95472,
              1.03162,
              1.16862,
              1.42932,
              1.94552
            ],
            [
              0.97177,
              1.07817,
              1.15517,
              1.29207,
              1.55297,
              2.06867
            ],
            [
              1.1238,
              1.2309,
              1.308,
              1.4453,
              1.7062,
              2.222
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.07583,
              0.16239,
              0.22602,
              0.3378,
              0.54906,
              0.9724
            ],
            [
              0.07585,
              0.16232,
              0.22563,
              0.33763,
              0.54813,
              0.9722
            ],
            [
              0.07583,
              0.16238,
              0.22606,
              0.33776,
              0.54911,
              0.9724
            ],
            [
              0.07586,
              0.16279,
              0.22579,
              0.33761,
              0.54863,
              0.9712
            ],
            [
              0.07584,
              0.16238,
              0.22569,
              0.33772,
              0.5492,
              0.9725
            ],
            [
              0.07582,
              0.16242,
              0.22607,
              0.3381,
              0.5491,
              0.972
            ],
            [
              0.07585,
              0.16244,
              0.22583,
              0.33838,
              0.5482,
              0.9718
            ],
            [
              0.07585,
              0.16233,
              0.2257,
              0.3377,
              0.5483,
              0.9723
            ],
            [
              0.07589,
              0.1624,
              0.2256,
              0.3376,
              0.549,
              0.9722
            ],
            [
              0.0758,
              0.1623,
              0.2257,
              0.3377,
              0.5483,
              0.9724
            ],
            [
              0.0759,
              0.1625,
              0.2259,
              0.3385,
              0.5482,
              0.9718
            ],
            [
              0.0758,
              0.1624,
              0.2257,
              0.3377,
              0.5494,
              0.9722
            ],
            [
              0.0759,
              0.1625,
              0.2262,
              0.3384,
              0.5484,
              0.9722
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05072,
              0.14752,
              0.23311,
              0.40744,
              0.76557,
              1.497
            ],
            [
              0.05072,
              0.14719,
              0.23304,
              0.4074,
              0.76564,
              1.4973
            ],
            [
              0.05072,
              0.14753,
              0.23306,
              0.4074,
              0.76563,
              1.4972
            ],
            [
              0.05074,
              0.14723,
              0.23325,
              0.4066,
              0.76618,
              1.4981
            ],
            [
              0.05073,
              0.14751,
              0.23344,
              0.40737,
              0.7655,
              1.4969
            ],
            [
              0.05072,
              0.14753,
              0.23309,
              0.40735,
              0.76559,
              1.4971
            ],
            [
              0.05073,
              0.1475,
              0.23341,
              0.40743,
              0.76546,
              1.4969
            ],
            [
              0.05075,
              0.14724,
              0.23313,
              0.40725,
              0.7648,
              1.4991
            ],
            [
              0.05076,
              0.14747,
              0.2333,
              0.4072,
              0.765,
              1.4996
            ],
            [
              0.0507,
              0.1473,
              0.2334,
              0.4074,
              0.7654,
              1.4974
            ],
            [
              0.0508,
              0.1471,
              0.2333,
              0.4071,
              0.7653,
              1.4998
            ],
            [
              0.051,
              0.1476,
              0.2335,
              0.4074,
              0.7648,
              1.4994
            ],
            [
              0.0516,
              0.1481,
              0.234,
              0.4075,
              0.7661,
              1.497
            ]
          ]
        },
        "sdf_cond": "(B&!C)",
        "timing_sense": "negative_unate",
        "when": "(B&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.56031,
              0.67688,
              0.75046,
              0.86739,
              1.06257,
              1.41337
            ],
            [
              0.56335,
              0.67992,
              0.75351,
              0.87044,
              1.06564,
              1.41644
            ],
            [
              0.56699,
              0.68356,
              0.75715,
              0.87408,
              1.06932,
              1.42002
            ],
            [
              0.57256,
              0.68914,
              0.76272,
              0.87965,
              1.07488,
              1.42558
            ],
            [
              0.58109,
              0.69766,
              0.77125,
              0.88819,
              1.08341,
              1.43411
            ],
            [
              0.59379,
              0.71037,
              0.78396,
              0.90089,
              1.09612,
              1.44682
            ],
            [
              0.6136,
              0.73003,
              0.80364,
              0.92053,
              1.11573,
              1.46653
            ],
            [
              0.64338,
              0.75994,
              0.83352,
              0.95046,
              1.14566,
              1.49636
            ],
            [
              0.6879,
              0.80445,
              0.87805,
              0.99495,
              1.19025,
              1.54095
            ],
            [
              0.75409,
              0.87079,
              0.94439,
              1.06129,
              1.25659,
              1.60709
            ],
            [
              0.85152,
              0.96832,
              1.04192,
              1.15892,
              1.35432,
              1.70492
            ],
            [
              0.98907,
              1.10617,
              1.17977,
              1.29677,
              1.49227,
              1.84297
            ],
            [
              1.1696,
              1.2907,
              1.3656,
              1.4837,
              1.6797,
              2.0311
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.32142,
              0.42773,
              0.50485,
              0.6426,
              0.90354,
              1.41977
            ],
            [
              0.32459,
              0.4309,
              0.50801,
              0.64585,
              0.90775,
              1.42344
            ],
            [
              0.32834,
              0.43464,
              0.51176,
              0.64945,
              0.91087,
              1.42642
            ],
            [
              0.33391,
              0.44022,
              0.51733,
              0.65504,
              0.91619,
              1.43198
            ],
            [
              0.34236,
              0.44866,
              0.52575,
              0.66359,
              0.92466,
              1.44211
            ],
            [
              0.35498,
              0.46129,
              0.5384,
              0.67614,
              0.93802,
              1.45392
            ],
            [
              0.37371,
              0.48003,
              0.55715,
              0.695,
              0.95613,
              1.47253
            ],
            [
              0.40176,
              0.50809,
              0.5852,
              0.72306,
              0.98406,
              1.50086
            ],
            [
              0.44327,
              0.54959,
              0.6267,
              0.76445,
              1.02565,
              1.54315
            ],
            [
              0.50283,
              0.60911,
              0.68619,
              0.82399,
              1.08519,
              1.60119
            ],
            [
              0.58492,
              0.69182,
              0.76892,
              0.90672,
              1.16792,
              1.68472
            ],
            [
              0.69027,
              0.80157,
              0.87987,
              1.01847,
              1.28017,
              1.79637
            ],
            [
              0.8216,
              0.9393,
              1.0203,
              1.161,
              1.4233,
              1.9403
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.0693,
              0.14824,
              0.20764,
              0.31704,
              0.52668,
              0.95437
            ],
            [
              0.0693,
              0.14824,
              0.20766,
              0.31635,
              0.52722,
              0.95469
            ],
            [
              0.0693,
              0.14823,
              0.20763,
              0.3171,
              0.52674,
              0.95443
            ],
            [
              0.0693,
              0.14823,
              0.20764,
              0.31708,
              0.52672,
              0.9544
            ],
            [
              0.06931,
              0.14823,
              0.20757,
              0.3174,
              0.52681,
              0.954
            ],
            [
              0.0693,
              0.14824,
              0.20764,
              0.31709,
              0.52672,
              0.9543
            ],
            [
              0.06931,
              0.14824,
              0.20762,
              0.31713,
              0.52675,
              0.9543
            ],
            [
              0.06932,
              0.14825,
              0.20768,
              0.3172,
              0.5268,
              0.9543
            ],
            [
              0.06937,
              0.1483,
              0.2077,
              0.3168,
              0.5268,
              0.954
            ],
            [
              0.0696,
              0.1484,
              0.2078,
              0.3165,
              0.5268,
              0.9545
            ],
            [
              0.0699,
              0.1492,
              0.2086,
              0.3169,
              0.5271,
              0.9547
            ],
            [
              0.0709,
              0.1497,
              0.2093,
              0.3172,
              0.5278,
              0.9547
            ],
            [
              0.0762,
              0.1549,
              0.2131,
              0.3212,
              0.5302,
              0.956
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05016,
              0.14714,
              0.23381,
              0.408,
              0.76753,
              1.49843
            ],
            [
              0.05011,
              0.14708,
              0.23382,
              0.40811,
              0.76603,
              1.4985
            ],
            [
              0.05011,
              0.14731,
              0.23366,
              0.40832,
              0.76636,
              1.49806
            ],
            [
              0.05025,
              0.14715,
              0.23376,
              0.40813,
              0.76584,
              1.49804
            ],
            [
              0.05013,
              0.14717,
              0.23349,
              0.4084,
              0.76692,
              1.49989
            ],
            [
              0.05017,
              0.1473,
              0.23356,
              0.40837,
              0.767,
              1.49855
            ],
            [
              0.0502,
              0.14712,
              0.23388,
              0.40812,
              0.76735,
              1.4992
            ],
            [
              0.05025,
              0.14716,
              0.23393,
              0.40851,
              0.76763,
              1.4974
            ],
            [
              0.05018,
              0.14751,
              0.23393,
              0.40791,
              0.76542,
              1.5
            ],
            [
              0.05025,
              0.1475,
              0.23402,
              0.4086,
              0.7682,
              1.4983
            ],
            [
              0.0516,
              0.1483,
              0.2344,
              0.4081,
              0.7663,
              1.4985
            ],
            [
              0.0549,
              0.1523,
              0.2375,
              0.4104,
              0.7668,
              1.4988
            ],
            [
              0.0596,
              0.1594,
              0.2445,
              0.4144,
              0.7692,
              1.5002
            ]
          ]
        },
        "sdf_cond": "(B&C)",
        "timing_sense": "positive_unate",
        "when": "(B&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.45061,
              0.56467,
              0.63762,
              0.75388,
              0.94844,
              1.29837
            ],
            [
              0.45274,
              0.5668,
              0.63974,
              0.75603,
              0.95062,
              1.30094
            ],
            [
              0.45561,
              0.56967,
              0.64261,
              0.75892,
              0.95344,
              1.30372
            ],
            [
              0.46011,
              0.57418,
              0.64712,
              0.76343,
              0.95801,
              1.30838
            ],
            [
              0.46729,
              0.58137,
              0.65432,
              0.77061,
              0.96521,
              1.31541
            ],
            [
              0.47843,
              0.5925,
              0.66546,
              0.78178,
              0.97632,
              1.32662
            ],
            [
              0.4957,
              0.60975,
              0.68271,
              0.79903,
              0.99363,
              1.34393
            ],
            [
              0.52198,
              0.636,
              0.70893,
              0.82527,
              1.01986,
              1.37026
            ],
            [
              0.56064,
              0.67458,
              0.74748,
              0.86375,
              1.05835,
              1.40855
            ],
            [
              0.61685,
              0.73069,
              0.80349,
              0.91979,
              1.11449,
              1.46489
            ],
            [
              0.70072,
              0.81412,
              0.88682,
              1.00312,
              1.19782,
              1.54812
            ],
            [
              0.81437,
              0.93067,
              1.00397,
              1.12077,
              1.31587,
              1.66647
            ],
            [
              0.9499,
              1.0739,
              1.1511,
              1.2721,
              1.4705,
              1.8223
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.30142,
              0.41018,
              0.48787,
              0.62561,
              0.88624,
              1.40277
            ],
            [
              0.30427,
              0.41306,
              0.4907,
              0.62854,
              0.88885,
              1.40574
            ],
            [
              0.30795,
              0.41674,
              0.49445,
              0.63215,
              0.89291,
              1.40922
            ],
            [
              0.31363,
              0.42246,
              0.50018,
              0.63789,
              0.89865,
              1.41498
            ],
            [
              0.32202,
              0.43086,
              0.50851,
              0.64624,
              0.90717,
              1.42241
            ],
            [
              0.33386,
              0.44278,
              0.52052,
              0.6583,
              0.91897,
              1.43552
            ],
            [
              0.35065,
              0.45966,
              0.53733,
              0.67527,
              0.93573,
              1.45243
            ],
            [
              0.37466,
              0.48377,
              0.56149,
              0.69941,
              0.95986,
              1.47666
            ],
            [
              0.41041,
              0.51949,
              0.59713,
              0.73507,
              0.99555,
              1.51235
            ],
            [
              0.46428,
              0.57287,
              0.65039,
              0.78809,
              1.04859,
              1.56559
            ],
            [
              0.53792,
              0.64772,
              0.72522,
              0.86292,
              1.12382,
              1.64052
            ],
            [
              0.63007,
              0.74417,
              0.82317,
              0.96167,
              1.22287,
              1.73967
            ],
            [
              0.7422,
              0.8632,
              0.9441,
              1.0845,
              1.3471,
              1.8637
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.0654,
              0.14471,
              0.20477,
              0.31483,
              0.52524,
              0.95324
            ],
            [
              0.06535,
              0.14473,
              0.20494,
              0.31416,
              0.5249,
              0.95389
            ],
            [
              0.06542,
              0.14477,
              0.20484,
              0.31393,
              0.52528,
              0.95335
            ],
            [
              0.06534,
              0.1449,
              0.20495,
              0.31416,
              0.52494,
              0.95393
            ],
            [
              0.06534,
              0.14471,
              0.20475,
              0.31408,
              0.526,
              0.9539
            ],
            [
              0.06535,
              0.14479,
              0.20519,
              0.3139,
              0.52501,
              0.95338
            ],
            [
              0.06532,
              0.14489,
              0.20505,
              0.31416,
              0.52499,
              0.9539
            ],
            [
              0.06531,
              0.14492,
              0.20504,
              0.31407,
              0.52499,
              0.9537
            ],
            [
              0.06531,
              0.14473,
              0.20486,
              0.31422,
              0.5254,
              0.953
            ],
            [
              0.06521,
              0.1447,
              0.205,
              0.3143,
              0.5257,
              0.954
            ],
            [
              0.0652,
              0.1448,
              0.2049,
              0.3148,
              0.5252,
              0.9535
            ],
            [
              0.0693,
              0.1481,
              0.2074,
              0.3167,
              0.5268,
              0.9532
            ],
            [
              0.077,
              0.1586,
              0.2187,
              0.327,
              0.5337,
              0.9562
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05271,
              0.14937,
              0.2349,
              0.40812,
              0.76658,
              1.49864
            ],
            [
              0.05284,
              0.14941,
              0.23507,
              0.40762,
              0.76656,
              1.49959
            ],
            [
              0.05276,
              0.14973,
              0.23518,
              0.40838,
              0.76655,
              1.4982
            ],
            [
              0.05277,
              0.1494,
              0.23522,
              0.40839,
              0.76657,
              1.49832
            ],
            [
              0.05281,
              0.14936,
              0.23514,
              0.4081,
              0.76532,
              1.49744
            ],
            [
              0.05283,
              0.14952,
              0.23498,
              0.40827,
              0.76663,
              1.49886
            ],
            [
              0.05299,
              0.14965,
              0.23526,
              0.40807,
              0.76651,
              1.49979
            ],
            [
              0.05315,
              0.14975,
              0.23537,
              0.40771,
              0.7667,
              1.49954
            ],
            [
              0.05301,
              0.14982,
              0.23544,
              0.40828,
              0.7665,
              1.4999
            ],
            [
              0.05295,
              0.14969,
              0.23514,
              0.40783,
              0.7666,
              1.4996
            ],
            [
              0.0551,
              0.1506,
              0.2357,
              0.4084,
              0.7661,
              1.4996
            ],
            [
              0.0588,
              0.155,
              0.2393,
              0.4101,
              0.7668,
              1.4994
            ],
            [
              0.0652,
              0.1617,
              0.2455,
              0.4152,
              0.7685,
              1.4977
            ]
          ]
        },
        "sdf_cond": "(!A&!C)",
        "timing_sense": "positive_unate",
        "when": "(!A&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.42538,
              0.53884,
              0.61155,
              0.72774,
              0.92234,
              1.27287
            ],
            [
              0.42848,
              0.54193,
              0.61464,
              0.73084,
              0.92541,
              1.27594
            ],
            [
              0.43243,
              0.54591,
              0.61861,
              0.73475,
              0.92939,
              1.27962
            ],
            [
              0.43861,
              0.55205,
              0.62474,
              0.74094,
              0.93554,
              1.28608
            ],
            [
              0.44779,
              0.56123,
              0.63393,
              0.7501,
              0.94471,
              1.29521
            ],
            [
              0.46123,
              0.57465,
              0.64734,
              0.76348,
              0.95812,
              1.30842
            ],
            [
              0.48055,
              0.59397,
              0.66665,
              0.78277,
              0.97743,
              1.32773
            ],
            [
              0.50797,
              0.62135,
              0.69401,
              0.81014,
              1.00476,
              1.35526
            ],
            [
              0.54664,
              0.65998,
              0.73259,
              0.84865,
              1.04335,
              1.39365
            ],
            [
              0.59804,
              0.71129,
              0.78389,
              0.89989,
              1.09459,
              1.44469
            ],
            [
              0.65492,
              0.76802,
              0.84052,
              0.95662,
              1.15122,
              1.50182
            ],
            [
              0.72167,
              0.83387,
              0.90577,
              1.02137,
              1.21577,
              1.56617
            ],
            [
              0.8007,
              0.9132,
              0.9853,
              1.1007,
              1.2938,
              1.6437
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.37239,
              0.4864,
              0.56605,
              0.70549,
              0.96737,
              1.48277
            ],
            [
              0.3747,
              0.4887,
              0.56836,
              0.70769,
              0.96975,
              1.48604
            ],
            [
              0.37782,
              0.49182,
              0.57148,
              0.71089,
              0.97285,
              1.48922
            ],
            [
              0.38283,
              0.4968,
              0.57647,
              0.71579,
              0.97788,
              1.49418
            ],
            [
              0.39082,
              0.50477,
              0.58437,
              0.72397,
              0.98551,
              1.50231
            ],
            [
              0.40338,
              0.5173,
              0.59692,
              0.73643,
              0.99822,
              1.51472
            ],
            [
              0.42244,
              0.53633,
              0.61594,
              0.75543,
              1.01723,
              1.53373
            ],
            [
              0.45019,
              0.56407,
              0.6437,
              0.78302,
              1.04496,
              1.56136
            ],
            [
              0.48746,
              0.60137,
              0.68101,
              0.82035,
              1.08235,
              1.59825
            ],
            [
              0.53275,
              0.64689,
              0.72659,
              0.86609,
              1.12799,
              1.64429
            ],
            [
              0.58152,
              0.69612,
              0.77602,
              0.91562,
              1.17732,
              1.69382
            ],
            [
              0.63637,
              0.75077,
              0.83047,
              0.96987,
              1.23167,
              1.74857
            ],
            [
              0.6962,
              0.811,
              0.891,
              1.0307,
              1.2913,
              1.8072
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.06506,
              0.14459,
              0.20513,
              0.31405,
              0.52558,
              0.95423
            ],
            [
              0.06513,
              0.14452,
              0.20473,
              0.31403,
              0.52659,
              0.95394
            ],
            [
              0.06504,
              0.14453,
              0.20468,
              0.31508,
              0.5257,
              0.95398
            ],
            [
              0.06501,
              0.14456,
              0.20476,
              0.31414,
              0.5271,
              0.95414
            ],
            [
              0.06504,
              0.14456,
              0.20476,
              0.31421,
              0.52646,
              0.954
            ],
            [
              0.06498,
              0.14478,
              0.20503,
              0.31431,
              0.52567,
              0.95383
            ],
            [
              0.06498,
              0.14446,
              0.20467,
              0.31502,
              0.52568,
              0.95395
            ],
            [
              0.06493,
              0.14443,
              0.20468,
              0.31422,
              0.52616,
              0.9539
            ],
            [
              0.06477,
              0.14431,
              0.2045,
              0.3142,
              0.5265,
              0.9542
            ],
            [
              0.06458,
              0.1442,
              0.2045,
              0.315,
              0.5256,
              0.9539
            ],
            [
              0.0641,
              0.1439,
              0.2043,
              0.3142,
              0.5255,
              0.9544
            ],
            [
              0.0637,
              0.1428,
              0.2031,
              0.3137,
              0.5249,
              0.9538
            ],
            [
              0.0639,
              0.1433,
              0.2034,
              0.312,
              0.5227,
              0.9519
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05598,
              0.15466,
              0.24016,
              0.41262,
              0.7681,
              1.49953
            ],
            [
              0.05594,
              0.15496,
              0.24031,
              0.41266,
              0.76791,
              1.49889
            ],
            [
              0.05604,
              0.15494,
              0.24039,
              0.41273,
              0.76799,
              1.49897
            ],
            [
              0.05592,
              0.15457,
              0.24032,
              0.41266,
              0.76797,
              1.49894
            ],
            [
              0.05589,
              0.15463,
              0.24027,
              0.41236,
              0.76894,
              1.50092
            ],
            [
              0.05585,
              0.15457,
              0.24029,
              0.4127,
              0.76827,
              1.49935
            ],
            [
              0.05583,
              0.15453,
              0.24024,
              0.41268,
              0.76827,
              1.49927
            ],
            [
              0.05582,
              0.15503,
              0.24023,
              0.41262,
              0.76796,
              1.499
            ],
            [
              0.05587,
              0.15464,
              0.24014,
              0.41257,
              0.76762,
              1.4981
            ],
            [
              0.05613,
              0.155,
              0.24044,
              0.4128,
              0.768,
              1.499
            ],
            [
              0.056,
              0.1553,
              0.2408,
              0.413,
              0.7688,
              1.5007
            ],
            [
              0.0561,
              0.1549,
              0.2399,
              0.4118,
              0.769,
              1.5004
            ],
            [
              0.0562,
              0.1556,
              0.2411,
              0.4117,
              0.7669,
              1.4985
            ]
          ]
        },
        "sdf_cond": "(!A&C)",
        "timing_sense": "negative_unate",
        "when": "(!A&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.5045,
              0.63133,
              0.71149,
              0.83719,
              1.04227,
              1.40127
            ],
            [
              0.50749,
              0.63432,
              0.71449,
              0.8402,
              1.04524,
              1.40424
            ],
            [
              0.51127,
              0.63811,
              0.71828,
              0.84399,
              1.04892,
              1.40772
            ],
            [
              0.51692,
              0.64377,
              0.72394,
              0.84964,
              1.05468,
              1.41368
            ],
            [
              0.52539,
              0.65224,
              0.7324,
              0.85811,
              1.06311,
              1.42211
            ],
            [
              0.5377,
              0.66456,
              0.74472,
              0.87042,
              1.07542,
              1.43432
            ],
            [
              0.55581,
              0.68265,
              0.76279,
              0.88848,
              1.09353,
              1.45263
            ],
            [
              0.58245,
              0.7093,
              0.78947,
              0.91516,
              1.12016,
              1.47906
            ],
            [
              0.62255,
              0.74942,
              0.82955,
              0.95525,
              1.16025,
              1.51915
            ],
            [
              0.68299,
              0.80989,
              0.88999,
              1.01559,
              1.22069,
              1.57969
            ],
            [
              0.75962,
              0.88642,
              0.96652,
              1.09222,
              1.29732,
              1.65652
            ],
            [
              0.83847,
              0.96467,
              1.04467,
              1.17027,
              1.37537,
              1.73447
            ],
            [
              0.9275,
              1.0536,
              1.1332,
              1.2581,
              1.4624,
              1.8211
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.33168,
              0.43912,
              0.51681,
              0.65506,
              0.91607,
              1.43277
            ],
            [
              0.3341,
              0.44153,
              0.51929,
              0.65753,
              0.91867,
              1.43484
            ],
            [
              0.33728,
              0.44471,
              0.52248,
              0.66064,
              0.92188,
              1.43782
            ],
            [
              0.34244,
              0.44987,
              0.52763,
              0.6658,
              0.927,
              1.44308
            ],
            [
              0.35064,
              0.45805,
              0.53578,
              0.67377,
              0.93517,
              1.45041
            ],
            [
              0.3633,
              0.4707,
              0.54837,
              0.68653,
              0.94772,
              1.46412
            ],
            [
              0.38242,
              0.48981,
              0.56752,
              0.70552,
              0.96683,
              1.48233
            ],
            [
              0.41023,
              0.51761,
              0.59527,
              0.73343,
              0.99446,
              1.51106
            ],
            [
              0.44756,
              0.55498,
              0.63263,
              0.77085,
              1.03165,
              1.54855
            ],
            [
              0.49187,
              0.59942,
              0.67719,
              0.81549,
              1.07619,
              1.59319
            ],
            [
              0.54152,
              0.64872,
              0.72672,
              0.86512,
              1.12642,
              1.64222
            ],
            [
              0.59717,
              0.70437,
              0.78207,
              0.91987,
              1.18137,
              1.69767
            ],
            [
              0.6581,
              0.7654,
              0.8432,
              0.9815,
              1.2423,
              1.7581
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.07583,
              0.16234,
              0.22566,
              0.33764,
              0.54822,
              0.97214
            ],
            [
              0.07581,
              0.16241,
              0.22604,
              0.3378,
              0.54912,
              0.97241
            ],
            [
              0.07578,
              0.16242,
              0.22603,
              0.33817,
              0.54858,
              0.97138
            ],
            [
              0.07582,
              0.16241,
              0.22605,
              0.33779,
              0.54912,
              0.97239
            ],
            [
              0.07581,
              0.16241,
              0.22604,
              0.33786,
              0.54909,
              0.9724
            ],
            [
              0.07582,
              0.16243,
              0.22604,
              0.33813,
              0.54891,
              0.972
            ],
            [
              0.07584,
              0.16235,
              0.22562,
              0.33762,
              0.54927,
              0.9722
            ],
            [
              0.07581,
              0.1624,
              0.22604,
              0.33816,
              0.549,
              0.9721
            ],
            [
              0.07581,
              0.16238,
              0.22604,
              0.3382,
              0.549,
              0.972
            ],
            [
              0.0759,
              0.1626,
              0.2257,
              0.3378,
              0.5487,
              0.9713
            ],
            [
              0.0757,
              0.1623,
              0.2256,
              0.3377,
              0.5488,
              0.972
            ],
            [
              0.0749,
              0.1618,
              0.2254,
              0.3376,
              0.5485,
              0.972
            ],
            [
              0.0752,
              0.1613,
              0.2242,
              0.336,
              0.5472,
              0.9716
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05111,
              0.14883,
              0.23556,
              0.40928,
              0.76704,
              1.49991
            ],
            [
              0.05097,
              0.1488,
              0.23557,
              0.40903,
              0.76715,
              1.49801
            ],
            [
              0.05097,
              0.14879,
              0.23544,
              0.40944,
              0.76696,
              1.49753
            ],
            [
              0.05097,
              0.14878,
              0.23547,
              0.40929,
              0.76697,
              1.49775
            ],
            [
              0.051,
              0.14905,
              0.23552,
              0.40939,
              0.76599,
              1.49905
            ],
            [
              0.05103,
              0.14874,
              0.23516,
              0.40924,
              0.76667,
              1.50007
            ],
            [
              0.05099,
              0.14904,
              0.23527,
              0.40934,
              0.76618,
              1.49944
            ],
            [
              0.05111,
              0.14872,
              0.23508,
              0.40917,
              0.76674,
              1.5
            ],
            [
              0.05097,
              0.14879,
              0.23548,
              0.4092,
              0.76728,
              1.4997
            ],
            [
              0.05107,
              0.1489,
              0.23533,
              0.4094,
              0.7675,
              1.4995
            ],
            [
              0.0507,
              0.1492,
              0.2361,
              0.4094,
              0.7673,
              1.4972
            ],
            [
              0.0509,
              0.1488,
              0.2351,
              0.4092,
              0.7671,
              1.4987
            ],
            [
              0.051,
              0.1489,
              0.2358,
              0.4098,
              0.7657,
              1.4991
            ]
          ]
        },
        "sdf_cond": "(A&!C)",
        "timing_sense": "negative_unate",
        "when": "(A&!C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.54136,
              0.6649,
              0.74324,
              0.86645,
              1.06857,
              1.42497
            ],
            [
              0.5436,
              0.66714,
              0.74548,
              0.8687,
              1.07084,
              1.42714
            ],
            [
              0.54661,
              0.67017,
              0.74852,
              0.87172,
              1.07382,
              1.43032
            ],
            [
              0.55153,
              0.6751,
              0.75343,
              0.87665,
              1.07878,
              1.43508
            ],
            [
              0.5593,
              0.68285,
              0.7612,
              0.88442,
              1.08651,
              1.44261
            ],
            [
              0.5713,
              0.69488,
              0.77318,
              0.89642,
              1.09852,
              1.45472
            ],
            [
              0.58957,
              0.71313,
              0.79149,
              0.91473,
              1.11683,
              1.47323
            ],
            [
              0.61664,
              0.74018,
              0.81851,
              0.94176,
              1.14386,
              1.50006
            ],
            [
              0.65492,
              0.77845,
              0.85675,
              0.97995,
              1.18215,
              1.53855
            ],
            [
              0.70819,
              0.83169,
              0.90999,
              1.03319,
              1.23529,
              1.59179
            ],
            [
              0.78762,
              0.91102,
              0.98922,
              1.11242,
              1.31462,
              1.67112
            ],
            [
              0.90857,
              1.03267,
              1.11107,
              1.23447,
              1.43687,
              1.79327
            ],
            [
              1.0608,
              1.195,
              1.2773,
              1.4041,
              1.6085,
              1.966
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.24548,
              0.35032,
              0.42676,
              0.56365,
              0.82432,
              1.33997
            ],
            [
              0.24794,
              0.3528,
              0.42926,
              0.56601,
              0.82647,
              1.34264
            ],
            [
              0.25118,
              0.35604,
              0.43252,
              0.56924,
              0.82956,
              1.34562
            ],
            [
              0.25627,
              0.36114,
              0.43765,
              0.57434,
              0.83491,
              1.35078
            ],
            [
              0.26423,
              0.36911,
              0.4456,
              0.58234,
              0.84274,
              1.35861
            ],
            [
              0.27632,
              0.38119,
              0.45766,
              0.59447,
              0.85499,
              1.37102
            ],
            [
              0.29448,
              0.39931,
              0.47575,
              0.61269,
              0.87341,
              1.38923
            ],
            [
              0.32171,
              0.42643,
              0.50276,
              0.63971,
              0.90036,
              1.41656
            ],
            [
              0.36189,
              0.46637,
              0.5427,
              0.67946,
              0.93995,
              1.45625
            ],
            [
              0.41836,
              0.52283,
              0.59914,
              0.73599,
              0.99689,
              1.51329
            ],
            [
              0.49092,
              0.59852,
              0.67522,
              0.81232,
              1.07312,
              1.58872
            ],
            [
              0.58097,
              0.69357,
              0.77197,
              0.91027,
              1.17157,
              1.68797
            ],
            [
              0.69,
              0.8109,
              0.8913,
              1.0311,
              1.2935,
              1.8106
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.07257,
              0.15802,
              0.22044,
              0.33163,
              0.54245,
              0.96725
            ],
            [
              0.07258,
              0.15797,
              0.22041,
              0.33166,
              0.54246,
              0.96685
            ],
            [
              0.07258,
              0.15804,
              0.22047,
              0.3316,
              0.54254,
              0.96734
            ],
            [
              0.07259,
              0.15801,
              0.22041,
              0.33174,
              0.54242,
              0.9666
            ],
            [
              0.07258,
              0.15805,
              0.22047,
              0.3318,
              0.54235,
              0.9663
            ],
            [
              0.0726,
              0.15806,
              0.22069,
              0.33252,
              0.54344,
              0.9668
            ],
            [
              0.07259,
              0.15807,
              0.22059,
              0.33161,
              0.54269,
              0.9675
            ],
            [
              0.07262,
              0.15834,
              0.22058,
              0.33174,
              0.5423,
              0.9666
            ],
            [
              0.07257,
              0.15803,
              0.22042,
              0.3317,
              0.5425,
              0.967
            ],
            [
              0.0726,
              0.158,
              0.2205,
              0.3317,
              0.5426,
              0.9674
            ],
            [
              0.0725,
              0.1582,
              0.2212,
              0.3317,
              0.5428,
              0.9675
            ],
            [
              0.0751,
              0.1597,
              0.2218,
              0.3332,
              0.5437,
              0.9665
            ],
            [
              0.0858,
              0.1724,
              0.2335,
              0.3422,
              0.5486,
              0.9692
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.04899,
              0.14511,
              0.23181,
              0.40636,
              0.76441,
              1.49621
            ],
            [
              0.04905,
              0.14526,
              0.23146,
              0.40646,
              0.7662,
              1.4981
            ],
            [
              0.04907,
              0.14525,
              0.23144,
              0.40644,
              0.76642,
              1.49803
            ],
            [
              0.04906,
              0.14521,
              0.23139,
              0.40638,
              0.76635,
              1.50133
            ],
            [
              0.04907,
              0.14526,
              0.23143,
              0.40645,
              0.7664,
              1.49671
            ],
            [
              0.04906,
              0.14514,
              0.23151,
              0.4065,
              0.76602,
              1.50201
            ],
            [
              0.049,
              0.14515,
              0.23187,
              0.40633,
              0.7644,
              1.49808
            ],
            [
              0.049,
              0.14515,
              0.23173,
              0.40657,
              0.76533,
              1.49668
            ],
            [
              0.04892,
              0.14531,
              0.23155,
              0.4065,
              0.76632,
              1.5008
            ],
            [
              0.04952,
              0.14545,
              0.23167,
              0.40596,
              0.7654,
              1.4974
            ],
            [
              0.0525,
              0.1483,
              0.2334,
              0.4068,
              0.7655,
              1.4968
            ],
            [
              0.0574,
              0.1533,
              0.2376,
              0.4098,
              0.7657,
              1.4982
            ],
            [
              0.0654,
              0.1605,
              0.2438,
              0.4134,
              0.7691,
              1.4991
            ]
          ]
        },
        "sdf_cond": "(A&C)",
        "timing_sense": "positive_unate",
        "when": "(A&C)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.23512,
              0.34185,
              0.41214,
              0.52605,
              0.71906,
              1.06817
            ],
            [
              0.23689,
              0.3437,
              0.41397,
              0.52789,
              0.72088,
              1.07004
            ],
            [
              0.23919,
              0.34586,
              0.41614,
              0.53004,
              0.72299,
              1.07242
            ],
            [
              0.24288,
              0.34943,
              0.41973,
              0.53358,
              0.72654,
              1.07608
            ],
            [
              0.24881,
              0.35509,
              0.42529,
              0.53914,
              0.73208,
              1.08121
            ],
            [
              0.25831,
              0.36419,
              0.43435,
              0.54812,
              0.74101,
              1.09052
            ],
            [
              0.27345,
              0.37878,
              0.44876,
              0.56245,
              0.75532,
              1.10483
            ],
            [
              0.29754,
              0.40185,
              0.47161,
              0.58516,
              0.77789,
              1.12706
            ],
            [
              0.33575,
              0.43835,
              0.50768,
              0.62097,
              0.81365,
              1.16295
            ],
            [
              0.39409,
              0.49424,
              0.56287,
              0.67559,
              0.86799,
              1.21689
            ],
            [
              0.46702,
              0.56982,
              0.63862,
              0.75122,
              0.94362,
              1.29282
            ],
            [
              0.55337,
              0.66017,
              0.72987,
              0.84477,
              1.03917,
              1.38927
            ],
            [
              0.6534,
              0.7691,
              0.8399,
              0.9548,
              1.1514,
              1.5059
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.16293,
              0.27433,
              0.35289,
              0.49126,
              0.75208,
              1.26687
            ],
            [
              0.16527,
              0.27667,
              0.35526,
              0.49342,
              0.75411,
              1.27054
            ],
            [
              0.16813,
              0.27952,
              0.35815,
              0.49631,
              0.75702,
              1.27342
            ],
            [
              0.17252,
              0.28385,
              0.36247,
              0.50087,
              0.76167,
              1.27658
            ],
            [
              0.17935,
              0.29057,
              0.36924,
              0.50763,
              0.76846,
              1.28411
            ],
            [
              0.18999,
              0.301,
              0.37956,
              0.51785,
              0.77853,
              1.29502
            ],
            [
              0.20657,
              0.31708,
              0.3957,
              0.53418,
              0.79508,
              1.31023
            ],
            [
              0.2324,
              0.34191,
              0.42035,
              0.55882,
              0.81994,
              1.33526
            ],
            [
              0.27038,
              0.37867,
              0.4571,
              0.59534,
              0.85675,
              1.37285
            ],
            [
              0.31846,
              0.42771,
              0.50626,
              0.64509,
              0.90619,
              1.42189
            ],
            [
              0.37665,
              0.48762,
              0.56752,
              0.70732,
              0.96922,
              1.48522
            ],
            [
              0.44497,
              0.56107,
              0.64107,
              0.78247,
              1.04617,
              1.56267
            ],
            [
              0.5247,
              0.6503,
              0.7313,
              0.8727,
              1.1381,
              1.6565
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.053,
              0.1352,
              0.19771,
              0.31045,
              0.5226,
              0.95216
            ],
            [
              0.05302,
              0.13512,
              0.19762,
              0.30944,
              0.52254,
              0.95221
            ],
            [
              0.05285,
              0.13508,
              0.19782,
              0.30958,
              0.52258,
              0.9527
            ],
            [
              0.05269,
              0.13495,
              0.19761,
              0.30916,
              0.52348,
              0.95256
            ],
            [
              0.05249,
              0.13471,
              0.19737,
              0.30944,
              0.5224,
              0.9521
            ],
            [
              0.05219,
              0.13439,
              0.19726,
              0.30902,
              0.52227,
              0.95273
            ],
            [
              0.05163,
              0.13393,
              0.19656,
              0.30901,
              0.52219,
              0.95284
            ],
            [
              0.05078,
              0.13323,
              0.19594,
              0.30834,
              0.5219,
              0.95196
            ],
            [
              0.04939,
              0.132,
              0.19499,
              0.30753,
              0.5214,
              0.95172
            ],
            [
              0.04947,
              0.13031,
              0.1934,
              0.30651,
              0.52151,
              0.9513
            ],
            [
              0.05463,
              0.1332,
              0.1948,
              0.3064,
              0.5205,
              0.952
            ],
            [
              0.0625,
              0.1374,
              0.1995,
              0.3125,
              0.525,
              0.9539
            ],
            [
              0.0731,
              0.1463,
              0.2047,
              0.3158,
              0.5322,
              0.961
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.05085,
              0.15103,
              0.23765,
              0.41104,
              0.7672,
              1.49935
            ],
            [
              0.05082,
              0.15115,
              0.23768,
              0.41118,
              0.7685,
              1.50028
            ],
            [
              0.05079,
              0.15124,
              0.23764,
              0.41114,
              0.76852,
              1.50021
            ],
            [
              0.05067,
              0.15081,
              0.23748,
              0.41083,
              0.7671,
              1.49908
            ],
            [
              0.0505,
              0.15112,
              0.2377,
              0.41102,
              0.76789,
              1.49883
            ],
            [
              0.05019,
              0.15073,
              0.23755,
              0.41115,
              0.76838,
              1.50072
            ],
            [
              0.04968,
              0.15054,
              0.23724,
              0.41054,
              0.76726,
              1.49782
            ],
            [
              0.04875,
              0.15021,
              0.23688,
              0.41081,
              0.76779,
              1.49822
            ],
            [
              0.04862,
              0.14983,
              0.23709,
              0.4108,
              0.76725,
              1.5009
            ],
            [
              0.05128,
              0.15145,
              0.23792,
              0.41111,
              0.76834,
              1.4973
            ],
            [
              0.05652,
              0.15387,
              0.241,
              0.4139,
              0.7681,
              1.5008
            ],
            [
              0.0645,
              0.157,
              0.2433,
              0.4172,
              0.7725,
              1.5007
            ],
            [
              0.0741,
              0.1647,
              0.2476,
              0.4205,
              0.776,
              1.5024
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.29157,
              0.4033,
              0.47536,
              0.59078,
              0.78486,
              1.13497
            ],
            [
              0.29527,
              0.40709,
              0.47913,
              0.59457,
              0.7887,
              1.13894
            ],
            [
              0.29949,
              0.4113,
              0.48337,
              0.59883,
              0.79292,
              1.14292
            ],
            [
              0.30588,
              0.41774,
              0.48979,
              0.60527,
              0.79943,
              1.14968
            ],
            [
              0.31525,
              0.42714,
              0.49922,
              0.6147,
              0.80882,
              1.15881
            ],
            [
              0.329,
              0.44089,
              0.51294,
              0.62843,
              0.82263,
              1.17292
            ],
            [
              0.34869,
              0.46055,
              0.53257,
              0.64806,
              0.84226,
              1.19253
            ],
            [
              0.37676,
              0.48847,
              0.56046,
              0.67587,
              0.87006,
              1.22036
            ],
            [
              0.41648,
              0.52768,
              0.59946,
              0.71475,
              0.90885,
              1.25915
            ],
            [
              0.47234,
              0.58225,
              0.65369,
              0.76869,
              0.96269,
              1.31289
            ],
            [
              0.54172,
              0.64902,
              0.71982,
              0.83442,
              1.02812,
              1.37812
            ],
            [
              0.62407,
              0.73037,
              0.80017,
              0.91347,
              1.10657,
              1.45617
            ],
            [
              0.722,
              0.8281,
              0.8982,
              1.0116,
              1.2034,
              1.5511
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.263,
              0.36623,
              0.44227,
              0.5787,
              0.8391,
              1.35527
            ],
            [
              0.26584,
              0.36907,
              0.44516,
              0.58154,
              0.84217,
              1.35894
            ],
            [
              0.2694,
              0.37263,
              0.44866,
              0.5851,
              0.84546,
              1.36152
            ],
            [
              0.27487,
              0.37811,
              0.4542,
              0.59047,
              0.85108,
              1.36747
            ],
            [
              0.28334,
              0.38657,
              0.46252,
              0.59918,
              0.85946,
              1.37541
            ],
            [
              0.29627,
              0.3995,
              0.47547,
              0.61209,
              0.87233,
              1.38812
            ],
            [
              0.3161,
              0.41935,
              0.49527,
              0.63198,
              0.89193,
              1.40753
            ],
            [
              0.34609,
              0.44934,
              0.52535,
              0.66178,
              0.92226,
              1.43866
            ],
            [
              0.39106,
              0.49431,
              0.57038,
              0.70658,
              0.96715,
              1.48385
            ],
            [
              0.45431,
              0.55742,
              0.63339,
              0.76969,
              1.03009,
              1.54609
            ],
            [
              0.53392,
              0.63622,
              0.71212,
              0.84852,
              1.10842,
              1.62512
            ],
            [
              0.62777,
              0.72997,
              0.80557,
              0.94117,
              1.20167,
              1.71667
            ],
            [
              0.7365,
              0.8391,
              0.9148,
              1.0511,
              1.3099,
              1.826
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.06128,
              0.14168,
              0.20232,
              0.31268,
              0.52562,
              0.95424
            ],
            [
              0.06136,
              0.14158,
              0.20257,
              0.31359,
              0.52461,
              0.95438
            ],
            [
              0.06138,
              0.14154,
              0.20239,
              0.31259,
              0.52483,
              0.95383
            ],
            [
              0.06151,
              0.14163,
              0.20276,
              0.31328,
              0.52473,
              0.95405
            ],
            [
              0.06145,
              0.14176,
              0.20245,
              0.31264,
              0.52483,
              0.95371
            ],
            [
              0.06149,
              0.14167,
              0.2028,
              0.31328,
              0.52467,
              0.95431
            ],
            [
              0.0614,
              0.14161,
              0.20277,
              0.31326,
              0.52465,
              0.95412
            ],
            [
              0.06106,
              0.14162,
              0.20223,
              0.31278,
              0.52542,
              0.95432
            ],
            [
              0.06024,
              0.14094,
              0.20181,
              0.31244,
              0.52548,
              0.9542
            ],
            [
              0.05821,
              0.13942,
              0.20085,
              0.31222,
              0.5248,
              0.9532
            ],
            [
              0.0553,
              0.1374,
              0.1993,
              0.3112,
              0.5236,
              0.9529
            ],
            [
              0.0549,
              0.1356,
              0.1967,
              0.3087,
              0.5219,
              0.9523
            ],
            [
              0.0547,
              0.1356,
              0.1973,
              0.3079,
              0.5181,
              0.9503
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.0478,
              0.1448,
              0.23139,
              0.4063,
              0.76581,
              1.49714
            ],
            [
              0.04783,
              0.14479,
              0.23143,
              0.40598,
              0.76501,
              1.50028
            ],
            [
              0.04782,
              0.1448,
              0.23139,
              0.4063,
              0.76586,
              1.49718
            ],
            [
              0.04783,
              0.14477,
              0.2314,
              0.40618,
              0.76574,
              1.49735
            ],
            [
              0.04792,
              0.14468,
              0.23149,
              0.40535,
              0.7651,
              1.49709
            ],
            [
              0.04785,
              0.14483,
              0.23149,
              0.40536,
              0.76531,
              1.49679
            ],
            [
              0.04778,
              0.14472,
              0.23146,
              0.40566,
              0.76554,
              1.497
            ],
            [
              0.04778,
              0.14473,
              0.23128,
              0.40569,
              0.7645,
              1.49859
            ],
            [
              0.04774,
              0.14466,
              0.23129,
              0.40608,
              0.76536,
              1.4998
            ],
            [
              0.04751,
              0.14453,
              0.23145,
              0.40578,
              0.7644,
              1.4978
            ],
            [
              0.0471,
              0.1442,
              0.2309,
              0.4057,
              0.7655,
              1.4985
            ],
            [
              0.0475,
              0.1441,
              0.2301,
              0.405,
              0.7654,
              1.4981
            ],
            [
              0.0484,
              0.1444,
              0.2312,
              0.4046,
              0.7642,
              1.4979
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.3467,
              0.46997,
              0.54815,
              0.67107,
              0.87287,
              1.22907
            ],
            [
              0.35066,
              0.474,
              0.55218,
              0.67511,
              0.87692,
              1.23314
            ],
            [
              0.35511,
              0.47845,
              0.55663,
              0.67955,
              0.88137,
              1.23742
            ],
            [
              0.36178,
              0.48523,
              0.56342,
              0.68634,
              0.88816,
              1.24418
            ],
            [
              0.37138,
              0.49483,
              0.57303,
              0.69595,
              0.89779,
              1.25381
            ],
            [
              0.38515,
              0.50856,
              0.58676,
              0.70972,
              0.91158,
              1.26772
            ],
            [
              0.40428,
              0.52774,
              0.60592,
              0.72884,
              0.93073,
              1.28683
            ],
            [
              0.43062,
              0.55404,
              0.63219,
              0.75511,
              0.95696,
              1.31326
            ],
            [
              0.46695,
              0.59015,
              0.66816,
              0.79095,
              0.99275,
              1.34895
            ],
            [
              0.51868,
              0.64119,
              0.71899,
              0.84159,
              1.04319,
              1.39949
            ],
            [
              0.58632,
              0.70672,
              0.78402,
              0.90622,
              1.10772,
              1.46382
            ],
            [
              0.66797,
              0.78607,
              0.86197,
              0.98307,
              1.18397,
              1.53977
            ],
            [
              0.7642,
              0.8825,
              0.9587,
              1.0793,
              1.2783,
              1.6327
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.26212,
              0.36607,
              0.44283,
              0.58012,
              0.84113,
              1.35767
            ],
            [
              0.26496,
              0.36892,
              0.44565,
              0.58299,
              0.84375,
              1.35924
            ],
            [
              0.26852,
              0.37248,
              0.44913,
              0.5866,
              0.84718,
              1.36282
            ],
            [
              0.27399,
              0.37798,
              0.45465,
              0.59205,
              0.85274,
              1.36817
            ],
            [
              0.28247,
              0.38645,
              0.46322,
              0.60035,
              0.8615,
              1.37791
            ],
            [
              0.29541,
              0.3994,
              0.47611,
              0.61344,
              0.87436,
              1.39082
            ],
            [
              0.31527,
              0.41927,
              0.49599,
              0.63326,
              0.89423,
              1.41073
            ],
            [
              0.3453,
              0.44931,
              0.52609,
              0.66314,
              0.92426,
              1.44076
            ],
            [
              0.39034,
              0.49432,
              0.57106,
              0.70813,
              0.96895,
              1.48495
            ],
            [
              0.45369,
              0.55746,
              0.63409,
              0.77109,
              1.03199,
              1.54839
            ],
            [
              0.53332,
              0.63622,
              0.71282,
              0.85002,
              1.11032,
              1.62682
            ],
            [
              0.62717,
              0.72997,
              0.80617,
              0.94267,
              1.20347,
              1.71937
            ],
            [
              0.7359,
              0.839,
              0.9154,
              1.0525,
              1.3116,
              1.8278
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.0713,
              0.15667,
              0.21946,
              0.33154,
              0.54157,
              0.96737
            ],
            [
              0.07131,
              0.15673,
              0.21953,
              0.33158,
              0.5414,
              0.96731
            ],
            [
              0.07128,
              0.15672,
              0.21935,
              0.33089,
              0.5427,
              0.96699
            ],
            [
              0.0713,
              0.15676,
              0.21939,
              0.33105,
              0.54171,
              0.96591
            ],
            [
              0.07131,
              0.15677,
              0.21941,
              0.33104,
              0.54181,
              0.96601
            ],
            [
              0.07133,
              0.15676,
              0.21955,
              0.33158,
              0.54163,
              0.96735
            ],
            [
              0.07128,
              0.15674,
              0.21942,
              0.33106,
              0.54181,
              0.96609
            ],
            [
              0.07109,
              0.15689,
              0.21978,
              0.33085,
              0.54214,
              0.967
            ],
            [
              0.07052,
              0.15616,
              0.21958,
              0.33095,
              0.54216,
              0.9673
            ],
            [
              0.06872,
              0.15523,
              0.21835,
              0.3302,
              0.5422,
              0.9671
            ],
            [
              0.065,
              0.1532,
              0.2174,
              0.3292,
              0.5413,
              0.967
            ],
            [
              0.0641,
              0.15,
              0.214,
              0.327,
              0.5404,
              0.9663
            ],
            [
              0.0637,
              0.1508,
              0.214,
              0.3255,
              0.5357,
              0.9624
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.04797,
              0.14628,
              0.23302,
              0.4076,
              0.76522,
              1.49941
            ],
            [
              0.04795,
              0.14597,
              0.23315,
              0.40803,
              0.76671,
              1.49826
            ],
            [
              0.04794,
              0.14593,
              0.23319,
              0.40797,
              0.76673,
              1.49731
            ],
            [
              0.04796,
              0.14597,
              0.23317,
              0.40802,
              0.7667,
              1.49766
            ],
            [
              0.04799,
              0.14628,
              0.23305,
              0.40788,
              0.76626,
              1.50017
            ],
            [
              0.048,
              0.14603,
              0.23309,
              0.40752,
              0.76571,
              1.49886
            ],
            [
              0.04797,
              0.14623,
              0.2331,
              0.40757,
              0.76538,
              1.49924
            ],
            [
              0.04795,
              0.14591,
              0.23327,
              0.40784,
              0.76609,
              1.5002
            ],
            [
              0.04785,
              0.14584,
              0.23307,
              0.40799,
              0.76661,
              1.4994
            ],
            [
              0.04756,
              0.14564,
              0.23291,
              0.40797,
              0.7665,
              1.5001
            ],
            [
              0.0471,
              0.1452,
              0.2328,
              0.407,
              0.7663,
              1.4985
            ],
            [
              0.0476,
              0.1451,
              0.2317,
              0.4066,
              0.766,
              1.4996
            ],
            [
              0.0485,
              0.1454,
              0.2327,
              0.4062,
              0.7649,
              1.4981
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.27042,
              0.39198,
              0.47017,
              0.59383,
              0.79742,
              1.15567
            ],
            [
              0.27174,
              0.39328,
              0.47148,
              0.59518,
              0.79875,
              1.15674
            ],
            [
              0.27348,
              0.39493,
              0.47313,
              0.59683,
              0.80037,
              1.15852
            ],
            [
              0.2764,
              0.39768,
              0.47585,
              0.59952,
              0.80309,
              1.16098
            ],
            [
              0.28126,
              0.4023,
              0.48043,
              0.60406,
              0.80757,
              1.16571
            ],
            [
              0.28952,
              0.41001,
              0.48805,
              0.61158,
              0.81506,
              1.17332
            ],
            [
              0.3033,
              0.42321,
              0.50109,
              0.62459,
              0.82799,
              1.18593
            ],
            [
              0.32583,
              0.44472,
              0.52234,
              0.64567,
              0.84896,
              1.20686
            ],
            [
              0.36233,
              0.47937,
              0.55656,
              0.67959,
              0.88275,
              1.24075
            ],
            [
              0.42045,
              0.53405,
              0.6104,
              0.73289,
              0.93579,
              1.29369
            ],
            [
              0.49832,
              0.61212,
              0.68772,
              0.80962,
              1.01222,
              1.37012
            ],
            [
              0.59127,
              0.70787,
              0.78417,
              0.90807,
              1.11197,
              1.47017
            ],
            [
              0.6998,
              0.8245,
              0.9011,
              1.0243,
              1.2317,
              1.5943
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.14087,
              0.2412,
              0.31555,
              0.45002,
              0.70917,
              1.22427
            ],
            [
              0.14342,
              0.24374,
              0.31817,
              0.45274,
              0.71203,
              1.22804
            ],
            [
              0.14653,
              0.24683,
              0.32128,
              0.45587,
              0.71511,
              1.23122
            ],
            [
              0.15133,
              0.25157,
              0.32588,
              0.4607,
              0.71957,
              1.23508
            ],
            [
              0.15872,
              0.25881,
              0.33317,
              0.46798,
              0.72694,
              1.24251
            ],
            [
              0.1702,
              0.27002,
              0.34446,
              0.4792,
              0.73832,
              1.25402
            ],
            [
              0.18787,
              0.28715,
              0.36161,
              0.4964,
              0.75519,
              1.27003
            ],
            [
              0.2148,
              0.31313,
              0.38745,
              0.52235,
              0.78128,
              1.29636
            ],
            [
              0.25235,
              0.35028,
              0.42457,
              0.55951,
              0.81885,
              1.33505
            ],
            [
              0.29848,
              0.39801,
              0.47269,
              0.6078,
              0.86769,
              1.38359
            ],
            [
              0.35393,
              0.45572,
              0.53142,
              0.66782,
              0.92802,
              1.44382
            ],
            [
              0.41877,
              0.52607,
              0.60187,
              0.73937,
              1.00137,
              1.51737
            ],
            [
              0.4935,
              0.6103,
              0.6873,
              0.8247,
              1.0872,
              1.6044
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.06355,
              0.15347,
              0.21893,
              0.3334,
              0.54673,
              0.9711
            ],
            [
              0.06339,
              0.1534,
              0.2191,
              0.33426,
              0.54642,
              0.97098
            ],
            [
              0.06318,
              0.15332,
              0.21894,
              0.3332,
              0.54607,
              0.9712
            ],
            [
              0.06297,
              0.15316,
              0.21885,
              0.33319,
              0.54635,
              0.97041
            ],
            [
              0.0627,
              0.15284,
              0.21853,
              0.33297,
              0.54574,
              0.97072
            ],
            [
              0.06222,
              0.15249,
              0.21812,
              0.33285,
              0.54567,
              0.97095
            ],
            [
              0.0616,
              0.15199,
              0.21788,
              0.33276,
              0.54628,
              0.97055
            ],
            [
              0.06048,
              0.15123,
              0.21721,
              0.33212,
              0.54552,
              0.97018
            ],
            [
              0.05866,
              0.15008,
              0.21605,
              0.33131,
              0.54505,
              0.9701
            ],
            [
              0.05647,
              0.14744,
              0.21425,
              0.32982,
              0.5441,
              0.97
            ],
            [
              0.0611,
              0.1477,
              0.213,
              0.3288,
              0.5436,
              0.9698
            ],
            [
              0.0689,
              0.1517,
              0.2174,
              0.3334,
              0.5475,
              0.9711
            ],
            [
              0.0802,
              0.1589,
              0.221,
              0.3372,
              0.5547,
              0.9793
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00789,
            0.01579,
            0.03158,
            0.06316,
            0.12633
          ],
          "values": [
            [
              0.0434,
              0.14029,
              0.22729,
              0.40326,
              0.76431,
              1.49719
            ],
            [
              0.04334,
              0.14015,
              0.22742,
              0.40256,
              0.76388,
              1.49741
            ],
            [
              0.04339,
              0.14013,
              0.22727,
              0.40262,
              0.76325,
              1.49971
            ],
            [
              0.04319,
              0.14026,
              0.22744,
              0.40316,
              0.76396,
              1.49693
            ],
            [
              0.04306,
              0.14014,
              0.22741,
              0.40304,
              0.76378,
              1.49715
            ],
            [
              0.04281,
              0.1399,
              0.22721,
              0.40277,
              0.76349,
              1.49768
            ],
            [
              0.04238,
              0.14001,
              0.227,
              0.40304,
              0.76427,
              1.49729
            ],
            [
              0.04186,
              0.13971,
              0.22684,
              0.40247,
              0.76428,
              1.49764
            ],
            [
              0.04305,
              0.13948,
              0.22673,
              0.40225,
              0.76418,
              1.49875
            ],
            [
              0.04593,
              0.14153,
              0.22826,
              0.40355,
              0.76376,
              1.4982
            ],
            [
              0.05129,
              0.14358,
              0.23076,
              0.4063,
              0.7653,
              1.4974
            ],
            [
              0.059,
              0.1473,
              0.2333,
              0.4092,
              0.7681,
              1.4977
            ],
            [
              0.0691,
              0.1549,
              0.2374,
              0.4112,
              0.7697,
              1.5047
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}