{
  "area": 27.1728,
  "cell_footprint": "sky130_fd_sc_ls__xnor3",
  "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.0028,
    "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.03052,
          0.03046,
          0.0305,
          0.0302,
          0.03019,
          0.0301,
          0.03017,
          0.03031,
          0.03308,
          0.03347,
          0.03673,
          0.03749
        ]
      },
      "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.0233,
          0.02329,
          0.02318,
          0.02304,
          0.02272,
          0.02271,
          0.02274,
          0.02276,
          0.02264,
          0.0246,
          0.02471,
          0.02682,
          0.02722
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00739,
    "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.03194,
          0.0315,
          0.03094,
          0.03097,
          0.03058,
          0.03027,
          0.0302,
          0.03019,
          0.03016,
          0.03273,
          0.03291,
          0.0358,
          0.03638
        ]
      },
      "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.01472,
          0.01431,
          0.01407,
          0.01353,
          0.0137,
          0.01357,
          0.01346,
          0.01351,
          0.01342,
          0.01474,
          0.01501,
          0.01665,
          0.01749
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.00444,
    "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.0316,
          0.03122,
          0.03069,
          0.03063,
          0.03059,
          0.03024,
          0.03028,
          0.03041,
          0.03039,
          0.03311,
          0.03334,
          0.0363,
          0.03687
        ]
      },
      "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.02216,
          0.02266,
          0.0224,
          0.0218,
          0.02173,
          0.02166,
          0.02152,
          0.02151,
          0.02142,
          0.02336,
          0.02368,
          0.02614,
          0.02689
        ]
      }
    },
    "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04812,
              0.03894,
              0.02982,
              0.01147,
              -0.02552,
              -0.09991
            ],
            [
              0.04807,
              0.03889,
              0.02977,
              0.01142,
              -0.02557,
              -0.09997
            ],
            [
              0.04803,
              0.03885,
              0.02973,
              0.01137,
              -0.02561,
              -0.10001
            ],
            [
              0.04797,
              0.03879,
              0.02966,
              0.01131,
              -0.02567,
              -0.10007
            ],
            [
              0.04792,
              0.03874,
              0.02961,
              0.01126,
              -0.02573,
              -0.10012
            ],
            [
              0.04785,
              0.03866,
              0.02953,
              0.01118,
              -0.02581,
              -0.1002
            ],
            [
              0.04778,
              0.0386,
              0.02947,
              0.01112,
              -0.02587,
              -0.10026
            ],
            [
              0.04768,
              0.0385,
              0.02937,
              0.01102,
              -0.02597,
              -0.10036
            ],
            [
              0.04759,
              0.0384,
              0.02926,
              0.0109,
              -0.02608,
              -0.10047
            ],
            [
              0.04747,
              0.03829,
              0.02913,
              0.01077,
              -0.02621,
              -0.10059
            ],
            [
              0.04738,
              0.03819,
              0.02901,
              0.01064,
              -0.02636,
              -0.10072
            ],
            [
              0.04725,
              0.03803,
              0.02883,
              0.01044,
              -0.02656,
              -0.10091
            ],
            [
              0.04727,
              0.03798,
              0.02876,
              0.01034,
              -0.02667,
              -0.101
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.03583,
              0.04539,
              0.05478,
              0.07346,
              0.11047,
              0.18446
            ],
            [
              0.03581,
              0.04535,
              0.05477,
              0.07342,
              0.1105,
              0.1845
            ],
            [
              0.03576,
              0.04531,
              0.05473,
              0.0734,
              0.11045,
              0.18432
            ],
            [
              0.0357,
              0.04527,
              0.05463,
              0.07333,
              0.11044,
              0.18441
            ],
            [
              0.03567,
              0.04523,
              0.05462,
              0.0733,
              0.11039,
              0.18438
            ],
            [
              0.03558,
              0.04515,
              0.05452,
              0.07321,
              0.11024,
              0.1843
            ],
            [
              0.03547,
              0.04502,
              0.05441,
              0.07311,
              0.11015,
              0.18406
            ],
            [
              0.03532,
              0.04488,
              0.05426,
              0.07295,
              0.10997,
              0.18385
            ],
            [
              0.03517,
              0.04471,
              0.0541,
              0.07278,
              0.10983,
              0.1837
            ],
            [
              0.03501,
              0.04453,
              0.05391,
              0.07251,
              0.10953,
              0.18362
            ],
            [
              0.03486,
              0.04436,
              0.05373,
              0.07239,
              0.1094,
              0.18341
            ],
            [
              0.03474,
              0.0442,
              0.05353,
              0.07215,
              0.1092,
              0.18316
            ],
            [
              0.03469,
              0.04415,
              0.0535,
              0.07199,
              0.10913,
              0.1833
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.03788,
              0.0287,
              0.01959,
              0.00122,
              -0.03579,
              -0.11018
            ],
            [
              0.03784,
              0.02868,
              0.01955,
              0.0012,
              -0.03582,
              -0.1102
            ],
            [
              0.03783,
              0.02865,
              0.01954,
              0.00118,
              -0.03583,
              -0.11022
            ],
            [
              0.03777,
              0.02862,
              0.01949,
              0.00115,
              -0.03587,
              -0.11026
            ],
            [
              0.03773,
              0.02857,
              0.01945,
              0.00109,
              -0.03593,
              -0.11031
            ],
            [
              0.03765,
              0.02846,
              0.01935,
              0.00099,
              -0.03603,
              -0.11041
            ],
            [
              0.03751,
              0.02835,
              0.01924,
              0.00087,
              -0.03615,
              -0.11053
            ],
            [
              0.03737,
              0.02818,
              0.01908,
              0.00072,
              -0.0363,
              -0.11068
            ],
            [
              0.03719,
              0.02801,
              0.01891,
              0.00055,
              -0.03647,
              -0.11085
            ],
            [
              0.03702,
              0.02783,
              0.01873,
              0.00036,
              -0.03665,
              -0.11103
            ],
            [
              0.03686,
              0.02769,
              0.01858,
              0.0002,
              -0.0368,
              -0.11119
            ],
            [
              0.03677,
              0.02758,
              0.01846,
              0.0001,
              -0.03692,
              -0.1113
            ],
            [
              0.03672,
              0.02752,
              0.01839,
              3e-05,
              -0.03698,
              -0.11136
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04277,
              0.05233,
              0.06174,
              0.08036,
              0.11747,
              0.19143
            ],
            [
              0.04274,
              0.05229,
              0.06171,
              0.08035,
              0.11751,
              0.19142
            ],
            [
              0.04269,
              0.05226,
              0.06166,
              0.08029,
              0.11737,
              0.19138
            ],
            [
              0.04262,
              0.05217,
              0.06159,
              0.08022,
              0.11739,
              0.19129
            ],
            [
              0.04254,
              0.05211,
              0.06153,
              0.08016,
              0.11732,
              0.19115
            ],
            [
              0.04246,
              0.05202,
              0.06143,
              0.08007,
              0.11713,
              0.19112
            ],
            [
              0.04234,
              0.05191,
              0.06133,
              0.07993,
              0.11707,
              0.19104
            ],
            [
              0.04224,
              0.0518,
              0.06122,
              0.07984,
              0.11694,
              0.19091
            ],
            [
              0.04213,
              0.05168,
              0.06109,
              0.07977,
              0.11692,
              0.19076
            ],
            [
              0.04202,
              0.05156,
              0.06101,
              0.07966,
              0.11678,
              0.19093
            ],
            [
              0.04195,
              0.05152,
              0.06091,
              0.07954,
              0.11661,
              0.19066
            ],
            [
              0.04182,
              0.05139,
              0.06079,
              0.07941,
              0.1166,
              0.19057
            ],
            [
              0.04185,
              0.05138,
              0.06077,
              0.07942,
              0.11658,
              0.19071
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04454,
              0.03543,
              0.02633,
              0.00798,
              -0.02905,
              -0.10345
            ],
            [
              0.0444,
              0.03528,
              0.02619,
              0.00784,
              -0.02918,
              -0.10359
            ],
            [
              0.0443,
              0.03519,
              0.02609,
              0.00774,
              -0.02928,
              -0.10369
            ],
            [
              0.04418,
              0.03505,
              0.02595,
              0.0076,
              -0.02941,
              -0.10382
            ],
            [
              0.04402,
              0.03489,
              0.02579,
              0.00744,
              -0.02958,
              -0.10399
            ],
            [
              0.04386,
              0.03475,
              0.02564,
              0.0073,
              -0.02973,
              -0.10413
            ],
            [
              0.04374,
              0.03462,
              0.02551,
              0.00717,
              -0.02985,
              -0.10425
            ],
            [
              0.04363,
              0.03449,
              0.02541,
              0.00705,
              -0.02996,
              -0.10437
            ],
            [
              0.04357,
              0.03443,
              0.02533,
              0.00698,
              -0.03004,
              -0.10444
            ],
            [
              0.04357,
              0.03442,
              0.02531,
              0.00694,
              -0.03006,
              -0.10446
            ],
            [
              0.04366,
              0.0345,
              0.02536,
              0.00699,
              -0.03001,
              -0.1044
            ],
            [
              0.04381,
              0.0347,
              0.02554,
              0.00716,
              -0.02985,
              -0.10421
            ],
            [
              0.04432,
              0.03503,
              0.02585,
              0.00745,
              -0.02957,
              -0.10392
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.02039,
              0.03,
              0.03942,
              0.05805,
              0.09516,
              0.16922
            ],
            [
              0.02034,
              0.02994,
              0.03941,
              0.058,
              0.09504,
              0.16903
            ],
            [
              0.02029,
              0.02989,
              0.03932,
              0.05795,
              0.09503,
              0.169
            ],
            [
              0.02022,
              0.02982,
              0.03925,
              0.05787,
              0.09496,
              0.16891
            ],
            [
              0.02012,
              0.02972,
              0.03917,
              0.05779,
              0.09488,
              0.16891
            ],
            [
              0.02005,
              0.02964,
              0.03911,
              0.05774,
              0.09484,
              0.16868
            ],
            [
              0.02001,
              0.02962,
              0.03905,
              0.05765,
              0.09468,
              0.16895
            ],
            [
              0.01997,
              0.02957,
              0.03899,
              0.05759,
              0.09475,
              0.16868
            ],
            [
              0.01996,
              0.02951,
              0.03893,
              0.05753,
              0.09468,
              0.16863
            ],
            [
              0.02001,
              0.02957,
              0.03896,
              0.05756,
              0.09466,
              0.16872
            ],
            [
              0.02022,
              0.02973,
              0.03915,
              0.0577,
              0.09483,
              0.16879
            ],
            [
              0.02057,
              0.03003,
              0.03934,
              0.05799,
              0.09513,
              0.16904
            ],
            [
              0.02119,
              0.03063,
              0.04001,
              0.05854,
              0.0956,
              0.16988
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.02374,
              0.01461,
              0.00551,
              -0.01285,
              -0.04987,
              -0.12427
            ],
            [
              0.02366,
              0.01454,
              0.00541,
              -0.01294,
              -0.04996,
              -0.12435
            ],
            [
              0.02358,
              0.01444,
              0.00532,
              -0.01303,
              -0.05005,
              -0.12445
            ],
            [
              0.02345,
              0.01433,
              0.00522,
              -0.01314,
              -0.05015,
              -0.12456
            ],
            [
              0.02333,
              0.0142,
              0.00508,
              -0.01327,
              -0.05029,
              -0.12468
            ],
            [
              0.02322,
              0.01407,
              0.00496,
              -0.01339,
              -0.05042,
              -0.12481
            ],
            [
              0.02307,
              0.01393,
              0.00482,
              -0.01354,
              -0.05056,
              -0.12496
            ],
            [
              0.02295,
              0.01382,
              0.00471,
              -0.01365,
              -0.05068,
              -0.12508
            ],
            [
              0.02289,
              0.01376,
              0.00465,
              -0.01372,
              -0.05074,
              -0.12514
            ],
            [
              0.02295,
              0.01382,
              0.00471,
              -0.01367,
              -0.05069,
              -0.12508
            ],
            [
              0.02314,
              0.014,
              0.00489,
              -0.01349,
              -0.05051,
              -0.1249
            ],
            [
              0.02353,
              0.01439,
              0.00526,
              -0.01311,
              -0.05015,
              -0.12453
            ],
            [
              0.02423,
              0.01506,
              0.00592,
              -0.01246,
              -0.04949,
              -0.12387
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04036,
              0.04992,
              0.05932,
              0.07795,
              0.11506,
              0.18897
            ],
            [
              0.0402,
              0.04975,
              0.05917,
              0.07777,
              0.11494,
              0.18903
            ],
            [
              0.04003,
              0.04959,
              0.059,
              0.0776,
              0.11476,
              0.18885
            ],
            [
              0.03984,
              0.04938,
              0.0588,
              0.07746,
              0.11449,
              0.18843
            ],
            [
              0.03967,
              0.04922,
              0.05862,
              0.07727,
              0.11435,
              0.18845
            ],
            [
              0.03944,
              0.04901,
              0.05843,
              0.07704,
              0.11419,
              0.18822
            ],
            [
              0.03929,
              0.04884,
              0.05824,
              0.07688,
              0.11398,
              0.18815
            ],
            [
              0.03918,
              0.04874,
              0.05814,
              0.07677,
              0.11387,
              0.188
            ],
            [
              0.03916,
              0.04872,
              0.05813,
              0.07676,
              0.11389,
              0.18797
            ],
            [
              0.03922,
              0.04879,
              0.05821,
              0.07681,
              0.11394,
              0.18802
            ],
            [
              0.03942,
              0.04897,
              0.05838,
              0.07703,
              0.11414,
              0.1883
            ],
            [
              0.03962,
              0.04914,
              0.05854,
              0.07721,
              0.11431,
              0.18834
            ],
            [
              0.04017,
              0.04971,
              0.05912,
              0.07765,
              0.11462,
              0.18874
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.02296,
              0.01403,
              0.00488,
              -0.01363,
              -0.05081,
              -0.12534
            ],
            [
              0.02286,
              0.01395,
              0.00479,
              -0.01371,
              -0.05091,
              -0.12543
            ],
            [
              0.02277,
              0.01384,
              0.00469,
              -0.01381,
              -0.051,
              -0.12552
            ],
            [
              0.02264,
              0.01371,
              0.00457,
              -0.01393,
              -0.05111,
              -0.12564
            ],
            [
              0.02249,
              0.01357,
              0.00443,
              -0.01407,
              -0.05126,
              -0.12578
            ],
            [
              0.02235,
              0.01341,
              0.00426,
              -0.01423,
              -0.0514,
              -0.12593
            ],
            [
              0.02217,
              0.01324,
              0.0041,
              -0.01439,
              -0.05157,
              -0.12609
            ],
            [
              0.02204,
              0.0131,
              0.00395,
              -0.01452,
              -0.0517,
              -0.12621
            ],
            [
              0.02192,
              0.01297,
              0.00383,
              -0.01465,
              -0.05179,
              -0.1263
            ],
            [
              0.02185,
              0.01287,
              0.00372,
              -0.01473,
              -0.05186,
              -0.12634
            ],
            [
              0.02187,
              0.01282,
              0.00367,
              -0.01478,
              -0.0519,
              -0.12637
            ],
            [
              0.02197,
              0.01287,
              0.00371,
              -0.01474,
              -0.05183,
              -0.12629
            ],
            [
              0.02225,
              0.01305,
              0.00385,
              -0.01459,
              -0.05167,
              -0.1261
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.00874,
              0.01837,
              0.0277,
              0.04619,
              0.08319,
              0.15706
            ],
            [
              0.00866,
              0.0183,
              0.02763,
              0.04618,
              0.08316,
              0.15716
            ],
            [
              0.00857,
              0.0182,
              0.02755,
              0.04606,
              0.08301,
              0.15689
            ],
            [
              0.00848,
              0.01813,
              0.02749,
              0.04596,
              0.08292,
              0.15695
            ],
            [
              0.00833,
              0.01797,
              0.02735,
              0.04581,
              0.0828,
              0.15669
            ],
            [
              0.0082,
              0.01784,
              0.02722,
              0.04569,
              0.0827,
              0.1565
            ],
            [
              0.00802,
              0.01764,
              0.02701,
              0.04553,
              0.08255,
              0.15641
            ],
            [
              0.00783,
              0.01743,
              0.02681,
              0.04537,
              0.08239,
              0.15624
            ],
            [
              0.00765,
              0.01723,
              0.02662,
              0.04521,
              0.08225,
              0.15605
            ],
            [
              0.00751,
              0.01702,
              0.02642,
              0.04497,
              0.08208,
              0.15614
            ],
            [
              0.00744,
              0.01691,
              0.02625,
              0.0449,
              0.08186,
              0.15579
            ],
            [
              0.00745,
              0.01693,
              0.02627,
              0.04482,
              0.08182,
              0.15575
            ],
            [
              0.00758,
              0.017,
              0.0264,
              0.04497,
              0.08189,
              0.15583
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.01511,
              0.00612,
              -0.00295,
              -0.02132,
              -0.05838,
              -0.1328
            ],
            [
              0.01511,
              0.0061,
              -0.00297,
              -0.02134,
              -0.05839,
              -0.13282
            ],
            [
              0.01507,
              0.0061,
              -0.003,
              -0.02135,
              -0.05841,
              -0.13283
            ],
            [
              0.01507,
              0.00606,
              -0.003,
              -0.02135,
              -0.05841,
              -0.13283
            ],
            [
              0.01507,
              0.00608,
              -0.003,
              -0.02135,
              -0.0584,
              -0.13283
            ],
            [
              0.01507,
              0.00605,
              -0.00301,
              -0.02136,
              -0.05841,
              -0.13283
            ],
            [
              0.01509,
              0.00611,
              -0.00297,
              -0.02133,
              -0.05839,
              -0.1328
            ],
            [
              0.01517,
              0.00615,
              -0.00292,
              -0.02129,
              -0.05833,
              -0.13275
            ],
            [
              0.01522,
              0.00625,
              -0.00285,
              -0.02123,
              -0.05828,
              -0.13268
            ],
            [
              0.01535,
              0.00638,
              -0.00272,
              -0.0211,
              -0.05814,
              -0.13255
            ],
            [
              0.01555,
              0.00658,
              -0.00253,
              -0.02092,
              -0.05797,
              -0.13237
            ],
            [
              0.0159,
              0.00692,
              -0.0022,
              -0.02061,
              -0.05763,
              -0.13204
            ],
            [
              0.01639,
              0.0074,
              -0.00174,
              -0.02017,
              -0.05723,
              -0.13162
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.02163,
              0.0312,
              0.04061,
              0.0592,
              0.09638,
              0.17052
            ],
            [
              0.02158,
              0.03114,
              0.04054,
              0.05919,
              0.09639,
              0.17026
            ],
            [
              0.02152,
              0.0311,
              0.04048,
              0.05909,
              0.09621,
              0.17026
            ],
            [
              0.0215,
              0.03107,
              0.04045,
              0.05912,
              0.09631,
              0.17021
            ],
            [
              0.02144,
              0.031,
              0.04039,
              0.05902,
              0.0961,
              0.17032
            ],
            [
              0.0214,
              0.03096,
              0.04036,
              0.05898,
              0.09609,
              0.17025
            ],
            [
              0.02142,
              0.03098,
              0.04039,
              0.05902,
              0.09619,
              0.17021
            ],
            [
              0.0215,
              0.03108,
              0.04048,
              0.05908,
              0.09616,
              0.17034
            ],
            [
              0.02165,
              0.03122,
              0.04064,
              0.05922,
              0.09639,
              0.17026
            ],
            [
              0.02185,
              0.03142,
              0.04083,
              0.05943,
              0.09654,
              0.17052
            ],
            [
              0.02213,
              0.0317,
              0.0411,
              0.0597,
              0.09685,
              0.17075
            ],
            [
              0.02248,
              0.03202,
              0.04137,
              0.06002,
              0.09716,
              0.17119
            ],
            [
              0.02285,
              0.03242,
              0.04183,
              0.06036,
              0.09733,
              0.17131
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      }
    ],
    "max_capacitance": 0.07668,
    "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.67274,
              0.78899,
              0.86149,
              0.97486,
              1.15917,
              1.48037
            ],
            [
              0.67607,
              0.79228,
              0.86478,
              0.97815,
              1.16244,
              1.48364
            ],
            [
              0.68006,
              0.79629,
              0.86879,
              0.98212,
              1.16632,
              1.48762
            ],
            [
              0.68583,
              0.80212,
              0.87462,
              0.98798,
              1.17228,
              1.49358
            ],
            [
              0.6947,
              0.81101,
              0.88351,
              0.99691,
              1.18111,
              1.50251
            ],
            [
              0.70787,
              0.82409,
              0.89659,
              1.00992,
              1.19422,
              1.51542
            ],
            [
              0.72764,
              0.84403,
              0.91653,
              1.02993,
              1.21413,
              1.53553
            ],
            [
              0.75777,
              0.87396,
              0.94646,
              1.05976,
              1.24406,
              1.56546
            ],
            [
              0.80085,
              0.91705,
              0.98965,
              1.10295,
              1.28725,
              1.60865
            ],
            [
              0.85979,
              0.97599,
              1.04849,
              1.16189,
              1.34609,
              1.66729
            ],
            [
              0.93652,
              1.05272,
              1.12522,
              1.23862,
              1.42292,
              1.74422
            ],
            [
              1.03317,
              1.14937,
              1.22187,
              1.33527,
              1.51957,
              1.84077
            ],
            [
              1.1531,
              1.2692,
              1.3417,
              1.4552,
              1.6395,
              1.961
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.5828,
              0.69072,
              0.76838,
              0.90745,
              1.17207,
              1.69597
            ],
            [
              0.58592,
              0.69384,
              0.77149,
              0.91058,
              1.17514,
              1.69914
            ],
            [
              0.5898,
              0.69771,
              0.77542,
              0.9145,
              1.17892,
              1.70412
            ],
            [
              0.59586,
              0.70378,
              0.78143,
              0.92051,
              1.18508,
              1.70898
            ],
            [
              0.605,
              0.71292,
              0.79057,
              0.92965,
              1.19421,
              1.71811
            ],
            [
              0.61891,
              0.72682,
              0.80448,
              0.94352,
              1.20812,
              1.73212
            ],
            [
              0.63971,
              0.74762,
              0.82535,
              0.96443,
              1.22903,
              1.75413
            ],
            [
              0.67192,
              0.77984,
              0.85746,
              0.99656,
              1.26116,
              1.78496
            ],
            [
              0.72043,
              0.82835,
              0.90605,
              1.04485,
              1.30995,
              1.83395
            ],
            [
              0.79389,
              0.90179,
              0.97949,
              1.11839,
              1.38339,
              1.90769
            ],
            [
              0.90062,
              1.00862,
              1.08632,
              1.22532,
              1.48992,
              2.01362
            ],
            [
              1.04497,
              1.15307,
              1.23077,
              1.36967,
              1.63457,
              2.15857
            ],
            [
              1.2304,
              1.339,
              1.4168,
              1.5559,
              1.8208,
              2.3451
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.07257,
              0.14856,
              0.20479,
              0.30405,
              0.49036,
              0.8645
            ],
            [
              0.07257,
              0.14856,
              0.20479,
              0.30404,
              0.49035,
              0.8645
            ],
            [
              0.07256,
              0.14857,
              0.2048,
              0.30406,
              0.49047,
              0.8643
            ],
            [
              0.07263,
              0.14854,
              0.20478,
              0.30414,
              0.49053,
              0.8641
            ],
            [
              0.07258,
              0.14855,
              0.20483,
              0.30409,
              0.49058,
              0.8641
            ],
            [
              0.07257,
              0.14856,
              0.20477,
              0.30401,
              0.4903,
              0.8645
            ],
            [
              0.07257,
              0.14861,
              0.20476,
              0.30426,
              0.4904,
              0.8649
            ],
            [
              0.07257,
              0.14886,
              0.2048,
              0.3042,
              0.4907,
              0.8638
            ],
            [
              0.0726,
              0.1486,
              0.2048,
              0.3044,
              0.4904,
              0.8648
            ],
            [
              0.0726,
              0.1488,
              0.2047,
              0.304,
              0.4904,
              0.8644
            ],
            [
              0.0725,
              0.1486,
              0.2048,
              0.3041,
              0.4901,
              0.8648
            ],
            [
              0.0726,
              0.1486,
              0.2048,
              0.3041,
              0.4903,
              0.8647
            ],
            [
              0.0728,
              0.1486,
              0.205,
              0.3046,
              0.4911,
              0.8639
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.0525,
              0.14872,
              0.23453,
              0.40842,
              0.76689,
              1.5009
            ],
            [
              0.0525,
              0.1487,
              0.23444,
              0.40837,
              0.76694,
              1.5008
            ],
            [
              0.05254,
              0.14917,
              0.23453,
              0.40785,
              0.76755,
              1.5014
            ],
            [
              0.05253,
              0.14872,
              0.23458,
              0.40837,
              0.76693,
              1.5009
            ],
            [
              0.05251,
              0.14871,
              0.23451,
              0.40837,
              0.76693,
              1.5009
            ],
            [
              0.05251,
              0.14871,
              0.23453,
              0.40837,
              0.76693,
              1.5008
            ],
            [
              0.05252,
              0.14886,
              0.23469,
              0.40786,
              0.76775,
              1.5017
            ],
            [
              0.05254,
              0.1487,
              0.23455,
              0.4084,
              0.767,
              1.5009
            ],
            [
              0.05255,
              0.1487,
              0.2346,
              0.4086,
              0.7676,
              1.5013
            ],
            [
              0.0526,
              0.1487,
              0.2346,
              0.4085,
              0.7678,
              1.5014
            ],
            [
              0.0525,
              0.1487,
              0.2346,
              0.4084,
              0.767,
              1.5011
            ],
            [
              0.0527,
              0.1489,
              0.2348,
              0.4086,
              0.7674,
              1.5014
            ],
            [
              0.0532,
              0.1494,
              0.2352,
              0.4089,
              0.7676,
              1.5013
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.60696,
              0.71515,
              0.78299,
              0.89041,
              1.06817,
              1.38427
            ],
            [
              0.61011,
              0.71829,
              0.78614,
              0.89356,
              1.07134,
              1.38744
            ],
            [
              0.61414,
              0.72232,
              0.79017,
              0.89759,
              1.07542,
              1.39152
            ],
            [
              0.61999,
              0.72818,
              0.79602,
              0.90345,
              1.08128,
              1.39738
            ],
            [
              0.62929,
              0.73747,
              0.80532,
              0.91275,
              1.09051,
              1.40661
            ],
            [
              0.64322,
              0.75116,
              0.81901,
              0.92644,
              1.10422,
              1.42012
            ],
            [
              0.66442,
              0.77259,
              0.84044,
              0.94783,
              1.12563,
              1.44173
            ],
            [
              0.69627,
              0.80444,
              0.87226,
              0.97966,
              1.15756,
              1.47366
            ],
            [
              0.74448,
              0.85265,
              0.92045,
              1.02785,
              1.20575,
              1.52185
            ],
            [
              0.81689,
              0.92509,
              0.99289,
              1.10029,
              1.27819,
              1.59419
            ],
            [
              0.92412,
              1.03232,
              1.10012,
              1.20762,
              1.38552,
              1.70152
            ],
            [
              1.08127,
              1.18947,
              1.25727,
              1.36467,
              1.54267,
              1.85887
            ],
            [
              1.2993,
              1.4087,
              1.4767,
              1.5843,
              1.7625,
              2.0788
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.32276,
              0.426,
              0.50243,
              0.64075,
              0.90576,
              1.42977
            ],
            [
              0.32606,
              0.42931,
              0.5057,
              0.64411,
              0.9088,
              1.43274
            ],
            [
              0.32996,
              0.4332,
              0.50961,
              0.648,
              0.91271,
              1.43662
            ],
            [
              0.33576,
              0.43899,
              0.51543,
              0.6537,
              0.91883,
              1.44227
            ],
            [
              0.34444,
              0.44768,
              0.5241,
              0.66246,
              0.92733,
              1.45181
            ],
            [
              0.35745,
              0.46069,
              0.53712,
              0.67538,
              0.94032,
              1.46412
            ],
            [
              0.37665,
              0.47991,
              0.55631,
              0.69467,
              0.95943,
              1.48383
            ],
            [
              0.40536,
              0.50863,
              0.58506,
              0.72349,
              0.98866,
              1.51276
            ],
            [
              0.44741,
              0.5507,
              0.62711,
              0.76545,
              1.03005,
              1.55495
            ],
            [
              0.50706,
              0.61033,
              0.68669,
              0.82499,
              1.08969,
              1.61449
            ],
            [
              0.58982,
              0.69352,
              0.76992,
              0.90822,
              1.17292,
              1.69712
            ],
            [
              0.69727,
              0.80487,
              0.88227,
              1.02107,
              1.28587,
              1.81067
            ],
            [
              0.8336,
              0.947,
              1.0267,
              1.1674,
              1.433,
              1.9577
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.06741,
              0.13863,
              0.1925,
              0.28956,
              0.47622,
              0.85265
            ],
            [
              0.06747,
              0.13862,
              0.19249,
              0.28958,
              0.47624,
              0.85267
            ],
            [
              0.06747,
              0.13863,
              0.1925,
              0.28952,
              0.47619,
              0.8527
            ],
            [
              0.06742,
              0.13864,
              0.1925,
              0.28953,
              0.47619,
              0.8526
            ],
            [
              0.06747,
              0.13862,
              0.1925,
              0.28956,
              0.47623,
              0.8527
            ],
            [
              0.06753,
              0.13831,
              0.19217,
              0.28962,
              0.47545,
              0.8533
            ],
            [
              0.06747,
              0.13863,
              0.19247,
              0.28957,
              0.4762,
              0.8526
            ],
            [
              0.06748,
              0.1386,
              0.19247,
              0.28957,
              0.4762,
              0.8526
            ],
            [
              0.06744,
              0.1387,
              0.1925,
              0.2896,
              0.4762,
              0.8526
            ],
            [
              0.0676,
              0.1385,
              0.1927,
              0.2897,
              0.476,
              0.8525
            ],
            [
              0.0677,
              0.1387,
              0.1925,
              0.2898,
              0.4766,
              0.8533
            ],
            [
              0.068,
              0.1389,
              0.1932,
              0.2902,
              0.4764,
              0.8524
            ],
            [
              0.0705,
              0.1405,
              0.1944,
              0.291,
              0.4779,
              0.8536
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04842,
              0.14397,
              0.23066,
              0.4059,
              0.76731,
              1.49879
            ],
            [
              0.0484,
              0.14407,
              0.23078,
              0.40561,
              0.76778,
              1.49839
            ],
            [
              0.04841,
              0.14403,
              0.23076,
              0.40562,
              0.76777,
              1.49827
            ],
            [
              0.04844,
              0.14398,
              0.23059,
              0.40626,
              0.76583,
              1.49885
            ],
            [
              0.0484,
              0.14395,
              0.23069,
              0.40581,
              0.76777,
              1.50054
            ],
            [
              0.04844,
              0.14398,
              0.23059,
              0.40624,
              0.76617,
              1.49848
            ],
            [
              0.04841,
              0.14403,
              0.23079,
              0.40566,
              0.76607,
              1.50264
            ],
            [
              0.0486,
              0.1442,
              0.23074,
              0.40636,
              0.76689,
              1.5003
            ],
            [
              0.04854,
              0.1442,
              0.23094,
              0.40617,
              0.76697,
              1.5023
            ],
            [
              0.04855,
              0.14433,
              0.23094,
              0.4063,
              0.7676,
              1.5005
            ],
            [
              0.0495,
              0.1449,
              0.2314,
              0.4063,
              0.7679,
              1.502
            ],
            [
              0.0525,
              0.1485,
              0.2341,
              0.4084,
              0.7681,
              1.5003
            ],
            [
              0.0567,
              0.1549,
              0.2399,
              0.411,
              0.768,
              1.5006
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.58472,
              0.69234,
              0.76026,
              0.86801,
              1.04627,
              1.36287
            ],
            [
              0.58797,
              0.69558,
              0.76351,
              0.87126,
              1.04954,
              1.36604
            ],
            [
              0.59188,
              0.69952,
              0.76743,
              0.87516,
              1.05342,
              1.37002
            ],
            [
              0.59776,
              0.70539,
              0.77331,
              0.88106,
              1.05937,
              1.37588
            ],
            [
              0.60707,
              0.71469,
              0.78262,
              0.89037,
              1.06861,
              1.38521
            ],
            [
              0.621,
              0.72862,
              0.79655,
              0.90429,
              1.08252,
              1.39912
            ],
            [
              0.64212,
              0.74976,
              0.81769,
              0.92543,
              1.10373,
              1.42023
            ],
            [
              0.67396,
              0.78157,
              0.84946,
              0.95726,
              1.13556,
              1.45206
            ],
            [
              0.72212,
              0.82975,
              0.89765,
              1.00535,
              1.18365,
              1.50025
            ],
            [
              0.79459,
              0.90209,
              0.96999,
              1.07769,
              1.25609,
              1.57269
            ],
            [
              0.90132,
              1.00902,
              1.07682,
              1.18452,
              1.36292,
              1.67962
            ],
            [
              1.05747,
              1.16507,
              1.23287,
              1.34057,
              1.51907,
              1.83577
            ],
            [
              1.2715,
              1.3809,
              1.4491,
              1.5572,
              1.7359,
              2.0528
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.30793,
              0.40797,
              0.48292,
              0.6198,
              0.8839,
              1.40827
            ],
            [
              0.31122,
              0.41127,
              0.48621,
              0.62297,
              0.88715,
              1.41074
            ],
            [
              0.31509,
              0.41515,
              0.49009,
              0.62684,
              0.89096,
              1.41522
            ],
            [
              0.32095,
              0.42101,
              0.49595,
              0.63284,
              0.89695,
              1.42128
            ],
            [
              0.32963,
              0.42968,
              0.50463,
              0.64152,
              0.90562,
              1.43001
            ],
            [
              0.34265,
              0.4427,
              0.51764,
              0.65455,
              0.91836,
              1.44262
            ],
            [
              0.3619,
              0.46196,
              0.53691,
              0.67382,
              0.93793,
              1.46223
            ],
            [
              0.39081,
              0.49088,
              0.56581,
              0.70266,
              0.96656,
              1.49106
            ],
            [
              0.43332,
              0.53337,
              0.60826,
              0.74509,
              1.00935,
              1.53295
            ],
            [
              0.4938,
              0.59381,
              0.66869,
              0.80549,
              1.06929,
              1.59319
            ],
            [
              0.57692,
              0.67762,
              0.75252,
              0.88932,
              1.15332,
              1.67732
            ],
            [
              0.68397,
              0.78867,
              0.86467,
              1.00217,
              1.26667,
              1.79167
            ],
            [
              0.8191,
              0.9296,
              1.0079,
              1.147,
              1.4115,
              1.9366
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.06616,
              0.13777,
              0.1921,
              0.29005,
              0.47693,
              0.85354
            ],
            [
              0.06615,
              0.13777,
              0.1921,
              0.29007,
              0.47695,
              0.85356
            ],
            [
              0.06616,
              0.13776,
              0.19209,
              0.28992,
              0.47682,
              0.85345
            ],
            [
              0.06616,
              0.13775,
              0.19204,
              0.29051,
              0.47646,
              0.8537
            ],
            [
              0.06617,
              0.13781,
              0.19211,
              0.29002,
              0.47691,
              0.8535
            ],
            [
              0.06616,
              0.13772,
              0.19202,
              0.29052,
              0.47656,
              0.8536
            ],
            [
              0.06616,
              0.13776,
              0.19206,
              0.29039,
              0.47715,
              0.8536
            ],
            [
              0.06616,
              0.1378,
              0.19211,
              0.29043,
              0.4772,
              0.8536
            ],
            [
              0.06618,
              0.1378,
              0.1921,
              0.2901,
              0.4771,
              0.8536
            ],
            [
              0.0662,
              0.1381,
              0.1925,
              0.29,
              0.4769,
              0.8531
            ],
            [
              0.0664,
              0.138,
              0.1923,
              0.2903,
              0.4774,
              0.8536
            ],
            [
              0.0667,
              0.1384,
              0.1926,
              0.2903,
              0.4763,
              0.8539
            ],
            [
              0.0695,
              0.1409,
              0.1943,
              0.2918,
              0.477,
              0.854
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.0464,
              0.14085,
              0.22749,
              0.40364,
              0.76444,
              1.49843
            ],
            [
              0.04642,
              0.14083,
              0.22729,
              0.40361,
              0.76464,
              1.49828
            ],
            [
              0.04641,
              0.14084,
              0.22725,
              0.40383,
              0.76475,
              1.49904
            ],
            [
              0.0464,
              0.14086,
              0.22749,
              0.40364,
              0.76441,
              1.49951
            ],
            [
              0.0464,
              0.14086,
              0.22749,
              0.40364,
              0.76446,
              1.49905
            ],
            [
              0.0464,
              0.14087,
              0.22752,
              0.40355,
              0.76615,
              1.49887
            ],
            [
              0.04643,
              0.1409,
              0.22753,
              0.40341,
              0.76454,
              1.49956
            ],
            [
              0.04644,
              0.14095,
              0.22765,
              0.40348,
              0.76469,
              1.50009
            ],
            [
              0.04645,
              0.14105,
              0.22756,
              0.40372,
              0.7662,
              1.4988
            ],
            [
              0.04654,
              0.14105,
              0.22762,
              0.40335,
              0.7671,
              1.4985
            ],
            [
              0.0477,
              0.1418,
              0.228,
              0.4038,
              0.7648,
              1.5
            ],
            [
              0.0506,
              0.1455,
              0.2309,
              0.4049,
              0.766,
              1.5013
            ],
            [
              0.0549,
              0.1517,
              0.2365,
              0.4088,
              0.7674,
              1.5003
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.65139,
              0.76798,
              0.84069,
              0.95434,
              1.13897,
              1.46087
            ],
            [
              0.65465,
              0.77125,
              0.84396,
              0.95758,
              1.14224,
              1.46414
            ],
            [
              0.65853,
              0.77511,
              0.84782,
              0.96149,
              1.14612,
              1.46802
            ],
            [
              0.66441,
              0.78099,
              0.85372,
              0.96733,
              1.15197,
              1.47398
            ],
            [
              0.67322,
              0.78981,
              0.86253,
              0.97611,
              1.16081,
              1.48271
            ],
            [
              0.68652,
              0.80311,
              0.87582,
              0.98952,
              1.17412,
              1.49602
            ],
            [
              0.70649,
              0.82308,
              0.89583,
              1.00943,
              1.19413,
              1.51603
            ],
            [
              0.73661,
              0.85316,
              0.92586,
              1.03956,
              1.22426,
              1.54616
            ],
            [
              0.78005,
              0.89665,
              0.96935,
              1.08295,
              1.26765,
              1.58955
            ],
            [
              0.83919,
              0.95579,
              1.02849,
              1.14219,
              1.32679,
              1.64869
            ],
            [
              0.91572,
              1.03232,
              1.10502,
              1.21862,
              1.40332,
              1.72522
            ],
            [
              1.01147,
              1.12807,
              1.20077,
              1.31447,
              1.49917,
              1.82107
            ],
            [
              1.1299,
              1.2465,
              1.3191,
              1.4329,
              1.6176,
              1.9395
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.52491,
              0.62471,
              0.69905,
              0.835,
              1.09867,
              1.62207
            ],
            [
              0.52807,
              0.62787,
              0.70221,
              0.83816,
              1.10184,
              1.62524
            ],
            [
              0.53192,
              0.63172,
              0.70606,
              0.84201,
              1.10572,
              1.62902
            ],
            [
              0.53787,
              0.63767,
              0.712,
              0.84796,
              1.11158,
              1.63508
            ],
            [
              0.54708,
              0.64688,
              0.72116,
              0.85719,
              1.12061,
              1.64471
            ],
            [
              0.56095,
              0.66076,
              0.7351,
              0.87105,
              1.13472,
              1.65802
            ],
            [
              0.58203,
              0.68184,
              0.75618,
              0.89213,
              1.15583,
              1.67923
            ],
            [
              0.61407,
              0.71387,
              0.78821,
              0.92416,
              1.18786,
              1.71116
            ],
            [
              0.66268,
              0.76245,
              0.83685,
              0.97275,
              1.23645,
              1.75985
            ],
            [
              0.73619,
              0.83609,
              0.91039,
              1.04629,
              1.31009,
              1.83379
            ],
            [
              0.84302,
              0.94282,
              1.01712,
              1.15312,
              1.41652,
              1.94162
            ],
            [
              0.98737,
              1.08727,
              1.16167,
              1.29767,
              1.56127,
              2.08507
            ],
            [
              1.1725,
              1.2729,
              1.3474,
              1.4836,
              1.7475,
              2.272
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.07256,
              0.14925,
              0.20571,
              0.30566,
              0.493,
              0.866
            ],
            [
              0.07256,
              0.1495,
              0.20563,
              0.306,
              0.49215,
              0.8655
            ],
            [
              0.07254,
              0.14925,
              0.20571,
              0.30556,
              0.49203,
              0.8662
            ],
            [
              0.07255,
              0.14951,
              0.20563,
              0.30558,
              0.49213,
              0.8655
            ],
            [
              0.07256,
              0.14951,
              0.20559,
              0.306,
              0.49216,
              0.8655
            ],
            [
              0.07255,
              0.14924,
              0.20571,
              0.30556,
              0.492,
              0.8663
            ],
            [
              0.07255,
              0.14928,
              0.20574,
              0.30572,
              0.4931,
              0.866
            ],
            [
              0.07256,
              0.14929,
              0.20566,
              0.3057,
              0.4929,
              0.8664
            ],
            [
              0.07258,
              0.1492,
              0.2057,
              0.3054,
              0.4922,
              0.8652
            ],
            [
              0.0725,
              0.1492,
              0.2057,
              0.3055,
              0.492,
              0.8658
            ],
            [
              0.0726,
              0.1495,
              0.2057,
              0.3058,
              0.4933,
              0.8657
            ],
            [
              0.0726,
              0.1493,
              0.2058,
              0.3057,
              0.492,
              0.8657
            ],
            [
              0.0726,
              0.1494,
              0.2059,
              0.3059,
              0.492,
              0.8653
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04694,
              0.13968,
              0.22571,
              0.4014,
              0.76418,
              1.49926
            ],
            [
              0.04695,
              0.14008,
              0.22573,
              0.40141,
              0.76418,
              1.49926
            ],
            [
              0.04693,
              0.13967,
              0.22568,
              0.40144,
              0.76421,
              1.4992
            ],
            [
              0.04695,
              0.14007,
              0.22574,
              0.40144,
              0.76422,
              1.4993
            ],
            [
              0.04698,
              0.13987,
              0.22582,
              0.40118,
              0.76395,
              1.4996
            ],
            [
              0.04694,
              0.13966,
              0.22569,
              0.4014,
              0.76418,
              1.4992
            ],
            [
              0.04694,
              0.13975,
              0.22563,
              0.40143,
              0.7642,
              1.4991
            ],
            [
              0.04693,
              0.13966,
              0.22572,
              0.40143,
              0.7642,
              1.4992
            ],
            [
              0.04695,
              0.14004,
              0.22581,
              0.4014,
              0.7642,
              1.4993
            ],
            [
              0.0469,
              0.1398,
              0.2255,
              0.4016,
              0.7643,
              1.4986
            ],
            [
              0.047,
              0.1398,
              0.2256,
              0.4015,
              0.7635,
              1.4998
            ],
            [
              0.0471,
              0.14,
              0.226,
              0.4014,
              0.7641,
              1.4995
            ],
            [
              0.0477,
              0.1408,
              0.2261,
              0.4018,
              0.7646,
              1.5002
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.4378,
              0.54517,
              0.61295,
              0.72041,
              0.89841,
              1.21477
            ],
            [
              0.44089,
              0.54826,
              0.61603,
              0.72348,
              0.90149,
              1.21784
            ],
            [
              0.44493,
              0.5523,
              0.62007,
              0.72752,
              0.90553,
              1.22182
            ],
            [
              0.4512,
              0.55858,
              0.62635,
              0.73379,
              0.91182,
              1.22818
            ],
            [
              0.4607,
              0.56806,
              0.63584,
              0.74329,
              0.92131,
              1.23761
            ],
            [
              0.47451,
              0.58188,
              0.64964,
              0.75709,
              0.93512,
              1.25142
            ],
            [
              0.49437,
              0.60175,
              0.6695,
              0.77693,
              0.95493,
              1.27123
            ],
            [
              0.52269,
              0.63005,
              0.69781,
              0.80524,
              0.98326,
              1.29966
            ],
            [
              0.56307,
              0.67042,
              0.73814,
              0.84555,
              1.02355,
              1.33995
            ],
            [
              0.61802,
              0.72529,
              0.79299,
              0.90049,
              1.07849,
              1.39489
            ],
            [
              0.68042,
              0.78762,
              0.85522,
              0.96262,
              1.14072,
              1.45712
            ],
            [
              0.75317,
              0.85947,
              0.92667,
              1.03367,
              1.21157,
              1.52787
            ],
            [
              0.8391,
              0.9458,
              1.0131,
              1.1198,
              1.2966,
              1.6124
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.38968,
              0.4977,
              0.57536,
              0.71445,
              0.97888,
              1.50357
            ],
            [
              0.39203,
              0.50003,
              0.57774,
              0.71665,
              0.9815,
              1.50634
            ],
            [
              0.39517,
              0.50316,
              0.58087,
              0.71975,
              0.98462,
              1.50942
            ],
            [
              0.40038,
              0.50836,
              0.58605,
              0.72481,
              0.98977,
              1.51398
            ],
            [
              0.40874,
              0.51669,
              0.59438,
              0.73314,
              0.99811,
              1.52231
            ],
            [
              0.42193,
              0.52986,
              0.60748,
              0.74658,
              1.01102,
              1.53532
            ],
            [
              0.44232,
              0.55022,
              0.6279,
              0.76667,
              1.03163,
              1.55573
            ],
            [
              0.47322,
              0.5811,
              0.65878,
              0.7975,
              1.06246,
              1.58646
            ],
            [
              0.51728,
              0.62517,
              0.70277,
              0.84185,
              1.10635,
              1.63045
            ],
            [
              0.57514,
              0.68309,
              0.76069,
              0.89969,
              1.16449,
              1.68889
            ],
            [
              0.64362,
              0.75202,
              0.82972,
              0.96872,
              1.23362,
              1.75832
            ],
            [
              0.72527,
              0.83347,
              0.91117,
              1.05037,
              1.31517,
              1.83947
            ],
            [
              0.8225,
              0.9311,
              1.009,
              1.1477,
              1.4118,
              1.9366
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.0653,
              0.13673,
              0.19116,
              0.28984,
              0.47705,
              0.85353
            ],
            [
              0.06529,
              0.13673,
              0.19114,
              0.28998,
              0.4775,
              0.85349
            ],
            [
              0.0653,
              0.13673,
              0.19115,
              0.28955,
              0.47744,
              0.85353
            ],
            [
              0.06531,
              0.13674,
              0.19118,
              0.28929,
              0.47705,
              0.85353
            ],
            [
              0.06532,
              0.13672,
              0.19118,
              0.29001,
              0.47757,
              0.85355
            ],
            [
              0.0653,
              0.13671,
              0.19118,
              0.29001,
              0.47757,
              0.85354
            ],
            [
              0.0653,
              0.13674,
              0.19117,
              0.28926,
              0.47659,
              0.85347
            ],
            [
              0.06537,
              0.13705,
              0.19125,
              0.28938,
              0.47662,
              0.8534
            ],
            [
              0.06523,
              0.13668,
              0.19118,
              0.28998,
              0.4762,
              0.8535
            ],
            [
              0.06511,
              0.1367,
              0.1912,
              0.2895,
              0.4766,
              0.8535
            ],
            [
              0.0649,
              0.1365,
              0.1912,
              0.2894,
              0.4766,
              0.8525
            ],
            [
              0.0643,
              0.1353,
              0.19,
              0.2885,
              0.4767,
              0.8533
            ],
            [
              0.0646,
              0.1357,
              0.1899,
              0.2874,
              0.4743,
              0.8507
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.05263,
              0.14914,
              0.23465,
              0.40815,
              0.76693,
              1.49945
            ],
            [
              0.05264,
              0.14881,
              0.23475,
              0.40844,
              0.76797,
              1.50177
            ],
            [
              0.05262,
              0.14879,
              0.23474,
              0.4085,
              0.76792,
              1.50173
            ],
            [
              0.05262,
              0.14873,
              0.23472,
              0.40863,
              0.76776,
              1.50125
            ],
            [
              0.0526,
              0.14871,
              0.23471,
              0.40862,
              0.76766,
              1.50126
            ],
            [
              0.05254,
              0.14899,
              0.23458,
              0.40821,
              0.76686,
              1.50031
            ],
            [
              0.05255,
              0.14865,
              0.23466,
              0.40861,
              0.76768,
              1.5013
            ],
            [
              0.05253,
              0.14865,
              0.23465,
              0.40856,
              0.76765,
              1.5013
            ],
            [
              0.05253,
              0.14871,
              0.23452,
              0.40834,
              0.7669,
              1.5006
            ],
            [
              0.05258,
              0.14897,
              0.2346,
              0.4086,
              0.7676,
              1.5014
            ],
            [
              0.0529,
              0.1495,
              0.2349,
              0.4087,
              0.7679,
              1.5016
            ],
            [
              0.0528,
              0.1489,
              0.2349,
              0.4088,
              0.7678,
              1.5012
            ],
            [
              0.053,
              0.1493,
              0.235,
              0.4073,
              0.7658,
              1.5016
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.4832,
              0.59029,
              0.65783,
              0.76481,
              0.94224,
              1.25797
            ],
            [
              0.48532,
              0.59239,
              0.65993,
              0.76695,
              0.94436,
              1.26024
            ],
            [
              0.48819,
              0.59528,
              0.66282,
              0.76982,
              0.94724,
              1.26282
            ],
            [
              0.49283,
              0.59993,
              0.66746,
              0.7745,
              0.95193,
              1.26778
            ],
            [
              0.50023,
              0.60733,
              0.67488,
              0.78192,
              0.95931,
              1.27511
            ],
            [
              0.51192,
              0.61903,
              0.68659,
              0.79361,
              0.97102,
              1.28652
            ],
            [
              0.53021,
              0.63731,
              0.70487,
              0.81189,
              0.98933,
              1.30493
            ],
            [
              0.5586,
              0.66568,
              0.73321,
              0.84026,
              1.01776,
              1.33356
            ],
            [
              0.60161,
              0.70863,
              0.77615,
              0.88315,
              1.06065,
              1.37645
            ],
            [
              0.66499,
              0.77189,
              0.83929,
              0.94639,
              1.12389,
              1.43969
            ],
            [
              0.75912,
              0.86572,
              0.93312,
              1.04012,
              1.21772,
              1.53332
            ],
            [
              0.89567,
              1.00267,
              1.07007,
              1.17717,
              1.35487,
              1.67097
            ],
            [
              1.0699,
              1.1833,
              1.2533,
              1.3629,
              1.5422,
              1.859
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.27199,
              0.37402,
              0.44903,
              0.58544,
              0.84943,
              1.37327
            ],
            [
              0.27457,
              0.37662,
              0.45172,
              0.58823,
              0.85197,
              1.37594
            ],
            [
              0.27813,
              0.38021,
              0.45524,
              0.59168,
              0.85567,
              1.37952
            ],
            [
              0.28377,
              0.38588,
              0.46092,
              0.59735,
              0.86138,
              1.38538
            ],
            [
              0.29231,
              0.39445,
              0.46948,
              0.60595,
              0.86998,
              1.39421
            ],
            [
              0.30465,
              0.40684,
              0.48199,
              0.61845,
              0.88239,
              1.40632
            ],
            [
              0.32222,
              0.42447,
              0.4995,
              0.63617,
              0.89973,
              1.42443
            ],
            [
              0.34754,
              0.44984,
              0.5249,
              0.66153,
              0.92506,
              1.44886
            ],
            [
              0.38532,
              0.48751,
              0.56251,
              0.69896,
              0.96305,
              1.48755
            ],
            [
              0.44087,
              0.54269,
              0.61753,
              0.75399,
              1.01789,
              1.54249
            ],
            [
              0.51522,
              0.61892,
              0.69392,
              0.83042,
              1.09442,
              1.61792
            ],
            [
              0.60947,
              0.71707,
              0.79347,
              0.93087,
              1.19497,
              1.71877
            ],
            [
              0.7255,
              0.8396,
              0.9175,
              1.056,
              1.3212,
              1.8464
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.0649,
              0.13625,
              0.19057,
              0.28846,
              0.47561,
              0.8529
            ],
            [
              0.06493,
              0.13633,
              0.1906,
              0.28845,
              0.47553,
              0.85218
            ],
            [
              0.06498,
              0.13658,
              0.19082,
              0.28844,
              0.475,
              0.85303
            ],
            [
              0.06491,
              0.13625,
              0.19053,
              0.28868,
              0.47572,
              0.85292
            ],
            [
              0.06491,
              0.13634,
              0.19059,
              0.28844,
              0.47553,
              0.85178
            ],
            [
              0.06494,
              0.13658,
              0.19081,
              0.28842,
              0.47522,
              0.85277
            ],
            [
              0.06495,
              0.13659,
              0.19082,
              0.28844,
              0.47513,
              0.853
            ],
            [
              0.06492,
              0.13625,
              0.19055,
              0.28868,
              0.4757,
              0.8529
            ],
            [
              0.06496,
              0.13642,
              0.19064,
              0.28845,
              0.4756,
              0.8519
            ],
            [
              0.06484,
              0.1364,
              0.1907,
              0.2885,
              0.4755,
              0.852
            ],
            [
              0.0646,
              0.1364,
              0.1908,
              0.2885,
              0.4753,
              0.8528
            ],
            [
              0.0661,
              0.1371,
              0.1914,
              0.2889,
              0.4758,
              0.8529
            ],
            [
              0.0726,
              0.145,
              0.1989,
              0.2953,
              0.4798,
              0.8547
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04873,
              0.14164,
              0.22698,
              0.40252,
              0.76472,
              1.49823
            ],
            [
              0.04868,
              0.14152,
              0.22718,
              0.40232,
              0.76457,
              1.49798
            ],
            [
              0.0487,
              0.14169,
              0.22703,
              0.40255,
              0.76473,
              1.49793
            ],
            [
              0.04873,
              0.14171,
              0.22706,
              0.40256,
              0.76469,
              1.49809
            ],
            [
              0.04876,
              0.14172,
              0.22714,
              0.40257,
              0.76472,
              1.49872
            ],
            [
              0.04882,
              0.14172,
              0.22721,
              0.40256,
              0.7647,
              1.49778
            ],
            [
              0.04898,
              0.142,
              0.22727,
              0.4023,
              0.76388,
              1.50162
            ],
            [
              0.0489,
              0.14223,
              0.22751,
              0.40217,
              0.76424,
              1.4998
            ],
            [
              0.04882,
              0.14203,
              0.2274,
              0.4027,
              0.76472,
              1.4994
            ],
            [
              0.04892,
              0.14209,
              0.2272,
              0.40252,
              0.7645,
              1.4993
            ],
            [
              0.0513,
              0.1434,
              0.2282,
              0.4024,
              0.7647,
              1.4989
            ],
            [
              0.0551,
              0.1472,
              0.2315,
              0.4044,
              0.7654,
              1.4991
            ],
            [
              0.0617,
              0.1532,
              0.2361,
              0.408,
              0.7665,
              1.5004
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.56436,
              0.68061,
              0.75313,
              0.8665,
              1.05077,
              1.37227
            ],
            [
              0.56663,
              0.68289,
              0.75542,
              0.86879,
              1.05304,
              1.37444
            ],
            [
              0.56969,
              0.68598,
              0.75851,
              0.87188,
              1.05612,
              1.37762
            ],
            [
              0.57476,
              0.69103,
              0.76357,
              0.87694,
              1.06118,
              1.38258
            ],
            [
              0.58282,
              0.69908,
              0.77163,
              0.885,
              1.06931,
              1.39081
            ],
            [
              0.59542,
              0.71168,
              0.78422,
              0.89761,
              1.08192,
              1.40332
            ],
            [
              0.61492,
              0.73117,
              0.80371,
              0.91713,
              1.10143,
              1.42273
            ],
            [
              0.64463,
              0.76087,
              0.8334,
              0.94686,
              1.13106,
              1.45236
            ],
            [
              0.68853,
              0.80475,
              0.87725,
              0.99065,
              1.17495,
              1.49645
            ],
            [
              0.75049,
              0.86669,
              0.93909,
              1.05249,
              1.23689,
              1.55809
            ],
            [
              0.83992,
              0.95612,
              1.02852,
              1.14192,
              1.32622,
              1.64772
            ],
            [
              0.97767,
              1.09367,
              1.16617,
              1.27957,
              1.46407,
              1.78567
            ],
            [
              1.1681,
              1.2905,
              1.3648,
              1.4795,
              1.6649,
              1.9871
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.24254,
              0.34132,
              0.41579,
              0.55211,
              0.81575,
              1.33987
            ],
            [
              0.24487,
              0.34366,
              0.41812,
              0.55443,
              0.81802,
              1.34224
            ],
            [
              0.24805,
              0.34684,
              0.42134,
              0.55764,
              0.82108,
              1.34522
            ],
            [
              0.25317,
              0.35197,
              0.42647,
              0.5628,
              0.82627,
              1.35028
            ],
            [
              0.26121,
              0.36002,
              0.43446,
              0.57068,
              0.83418,
              1.35881
            ],
            [
              0.27347,
              0.37227,
              0.44675,
              0.58311,
              0.84675,
              1.37082
            ],
            [
              0.29187,
              0.39063,
              0.4651,
              0.60147,
              0.86522,
              1.38863
            ],
            [
              0.31926,
              0.41792,
              0.49234,
              0.62864,
              0.89216,
              1.41656
            ],
            [
              0.35916,
              0.45766,
              0.53196,
              0.66825,
              0.93175,
              1.45655
            ],
            [
              0.4146,
              0.51328,
              0.5876,
              0.72379,
              0.98759,
              1.51239
            ],
            [
              0.48622,
              0.58782,
              0.66282,
              0.79922,
              1.06272,
              1.58712
            ],
            [
              0.57717,
              0.68307,
              0.75937,
              0.89697,
              1.16117,
              1.68517
            ],
            [
              0.6889,
              0.8019,
              0.8798,
              1.0186,
              1.2837,
              1.809
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.07263,
              0.14851,
              0.20476,
              0.30421,
              0.49077,
              0.86372
            ],
            [
              0.07255,
              0.14851,
              0.20476,
              0.30419,
              0.49066,
              0.86384
            ],
            [
              0.07257,
              0.14851,
              0.20476,
              0.30417,
              0.49065,
              0.86382
            ],
            [
              0.07254,
              0.14852,
              0.20476,
              0.30416,
              0.49055,
              0.864
            ],
            [
              0.07263,
              0.14864,
              0.20472,
              0.30464,
              0.49179,
              0.8648
            ],
            [
              0.07263,
              0.14851,
              0.20476,
              0.30414,
              0.49061,
              0.8638
            ],
            [
              0.07267,
              0.14853,
              0.20473,
              0.30415,
              0.49052,
              0.864
            ],
            [
              0.07255,
              0.14855,
              0.2048,
              0.30407,
              0.4902,
              0.8647
            ],
            [
              0.07263,
              0.14852,
              0.2048,
              0.3042,
              0.4907,
              0.8638
            ],
            [
              0.0726,
              0.1486,
              0.2049,
              0.3041,
              0.4904,
              0.8645
            ],
            [
              0.0725,
              0.1486,
              0.205,
              0.3044,
              0.4904,
              0.8649
            ],
            [
              0.0731,
              0.1491,
              0.2054,
              0.3047,
              0.4909,
              0.8638
            ],
            [
              0.0813,
              0.1564,
              0.2111,
              0.3092,
              0.4931,
              0.8658
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04553,
              0.13921,
              0.22568,
              0.40216,
              0.76505,
              1.50039
            ],
            [
              0.04548,
              0.13927,
              0.22599,
              0.40224,
              0.76407,
              1.4997
            ],
            [
              0.04552,
              0.13956,
              0.2256,
              0.4023,
              0.76474,
              1.50341
            ],
            [
              0.04553,
              0.13955,
              0.2256,
              0.40229,
              0.76474,
              1.50331
            ],
            [
              0.04546,
              0.13929,
              0.22601,
              0.40247,
              0.76411,
              1.4995
            ],
            [
              0.04547,
              0.13931,
              0.22591,
              0.40211,
              0.76428,
              1.49949
            ],
            [
              0.04554,
              0.13925,
              0.22573,
              0.40217,
              0.76512,
              1.49944
            ],
            [
              0.0455,
              0.13935,
              0.22572,
              0.40239,
              0.76456,
              1.50314
            ],
            [
              0.04543,
              0.13938,
              0.22616,
              0.40247,
              0.76406,
              1.4996
            ],
            [
              0.04621,
              0.13977,
              0.22588,
              0.4025,
              0.7649,
              1.5005
            ],
            [
              0.0489,
              0.1424,
              0.2278,
              0.4025,
              0.7641,
              1.4992
            ],
            [
              0.0533,
              0.1462,
              0.2314,
              0.4054,
              0.766,
              1.4994
            ],
            [
              0.0604,
              0.1523,
              0.2363,
              0.4087,
              0.7674,
              1.5006
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.4998,
              0.61633,
              0.68903,
              0.80262,
              0.98726,
              1.30917
            ],
            [
              0.50276,
              0.61929,
              0.69197,
              0.80556,
              0.99024,
              1.31194
            ],
            [
              0.50659,
              0.6231,
              0.69579,
              0.80939,
              0.99402,
              1.31592
            ],
            [
              0.51243,
              0.62897,
              0.70166,
              0.81527,
              0.99987,
              1.32188
            ],
            [
              0.5212,
              0.63772,
              0.7104,
              0.82401,
              1.00871,
              1.33061
            ],
            [
              0.53396,
              0.65049,
              0.72317,
              0.83676,
              1.02142,
              1.34332
            ],
            [
              0.55264,
              0.66916,
              0.74183,
              0.85541,
              1.04003,
              1.36183
            ],
            [
              0.58032,
              0.69681,
              0.76948,
              0.88306,
              1.06776,
              1.38956
            ],
            [
              0.62243,
              0.73895,
              0.81165,
              0.92515,
              1.10985,
              1.43175
            ],
            [
              0.68519,
              0.80169,
              0.87429,
              0.98789,
              1.17259,
              1.49429
            ],
            [
              0.76142,
              0.87792,
              0.95052,
              1.06422,
              1.24892,
              1.57072
            ],
            [
              0.84217,
              0.95807,
              1.03057,
              1.14417,
              1.32877,
              1.65067
            ],
            [
              0.9347,
              1.0505,
              1.1227,
              1.2357,
              1.4195,
              1.7409
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.32097,
              0.42216,
              0.49752,
              0.63445,
              0.89867,
              1.42337
            ],
            [
              0.3234,
              0.42457,
              0.49987,
              0.637,
              0.90066,
              1.42514
            ],
            [
              0.32664,
              0.4278,
              0.50304,
              0.64023,
              0.90412,
              1.42782
            ],
            [
              0.33194,
              0.43311,
              0.50843,
              0.64533,
              0.90951,
              1.43427
            ],
            [
              0.34046,
              0.4416,
              0.51688,
              0.65402,
              0.91799,
              1.44151
            ],
            [
              0.35381,
              0.45496,
              0.53031,
              0.66727,
              0.93142,
              1.45572
            ],
            [
              0.37431,
              0.47544,
              0.55073,
              0.68779,
              0.95153,
              1.47623
            ],
            [
              0.40517,
              0.50631,
              0.58159,
              0.71864,
              0.98236,
              1.50706
            ],
            [
              0.44903,
              0.55017,
              0.62548,
              0.76245,
              1.02635,
              1.55115
            ],
            [
              0.50489,
              0.60612,
              0.68159,
              0.81849,
              1.08269,
              1.60709
            ],
            [
              0.57132,
              0.67262,
              0.74812,
              0.88542,
              1.14942,
              1.67342
            ],
            [
              0.65177,
              0.75277,
              0.82797,
              0.96497,
              1.22927,
              1.75317
            ],
            [
              0.7473,
              0.8483,
              0.9236,
              1.0608,
              1.3244,
              1.8493
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.07255,
              0.14949,
              0.20562,
              0.30579,
              0.4924,
              0.86532
            ],
            [
              0.07256,
              0.1495,
              0.20569,
              0.30529,
              0.49207,
              0.86544
            ],
            [
              0.07258,
              0.14919,
              0.20603,
              0.30542,
              0.49246,
              0.86539
            ],
            [
              0.07255,
              0.14951,
              0.20567,
              0.30574,
              0.49327,
              0.86562
            ],
            [
              0.07261,
              0.14917,
              0.20572,
              0.30534,
              0.49227,
              0.86522
            ],
            [
              0.07256,
              0.1493,
              0.20586,
              0.3055,
              0.49205,
              0.8654
            ],
            [
              0.07254,
              0.14921,
              0.20568,
              0.30526,
              0.49202,
              0.8655
            ],
            [
              0.07253,
              0.14916,
              0.20563,
              0.30533,
              0.49217,
              0.8653
            ],
            [
              0.07252,
              0.1493,
              0.20581,
              0.3055,
              0.4921,
              0.8654
            ],
            [
              0.0725,
              0.1492,
              0.2056,
              0.3053,
              0.4919,
              0.866
            ],
            [
              0.0725,
              0.1491,
              0.2057,
              0.3052,
              0.4918,
              0.8663
            ],
            [
              0.0717,
              0.1487,
              0.2054,
              0.3055,
              0.492,
              0.8662
            ],
            [
              0.072,
              0.1483,
              0.2045,
              0.304,
              0.4914,
              0.8651
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.0473,
              0.14182,
              0.22817,
              0.40384,
              0.76503,
              1.49947
            ],
            [
              0.04723,
              0.1418,
              0.22811,
              0.4035,
              0.76452,
              1.50068
            ],
            [
              0.04721,
              0.14168,
              0.22823,
              0.40321,
              0.76518,
              1.50049
            ],
            [
              0.04729,
              0.1418,
              0.22813,
              0.4038,
              0.76483,
              1.49997
            ],
            [
              0.04722,
              0.14201,
              0.22822,
              0.40316,
              0.7653,
              1.50004
            ],
            [
              0.04723,
              0.14175,
              0.22812,
              0.40371,
              0.76525,
              1.49853
            ],
            [
              0.04721,
              0.14174,
              0.22819,
              0.4036,
              0.76432,
              1.5004
            ],
            [
              0.0472,
              0.14173,
              0.22819,
              0.40357,
              0.76431,
              1.5004
            ],
            [
              0.0472,
              0.14176,
              0.22811,
              0.40378,
              0.76454,
              1.5002
            ],
            [
              0.04722,
              0.14165,
              0.22838,
              0.4038,
              0.7654,
              1.4985
            ],
            [
              0.0471,
              0.1421,
              0.2285,
              0.4037,
              0.7658,
              1.5016
            ],
            [
              0.0473,
              0.1417,
              0.2278,
              0.4041,
              0.7651,
              1.5032
            ],
            [
              0.0473,
              0.1419,
              0.2285,
              0.4035,
              0.7647,
              1.4989
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.30225,
              0.40836,
              0.47537,
              0.58182,
              0.75883,
              1.07437
            ],
            [
              0.30622,
              0.41228,
              0.4793,
              0.58577,
              0.76278,
              1.07824
            ],
            [
              0.31066,
              0.41684,
              0.48385,
              0.59032,
              0.76735,
              1.08292
            ],
            [
              0.31748,
              0.42346,
              0.49051,
              0.597,
              0.77404,
              1.08958
            ],
            [
              0.3272,
              0.43332,
              0.5004,
              0.60691,
              0.78396,
              1.09951
            ],
            [
              0.34132,
              0.44747,
              0.51456,
              0.62106,
              0.79815,
              1.11382
            ],
            [
              0.36103,
              0.4672,
              0.53423,
              0.64073,
              0.81782,
              1.13343
            ],
            [
              0.38861,
              0.49465,
              0.56161,
              0.66805,
              0.84516,
              1.16066
            ],
            [
              0.428,
              0.53352,
              0.60034,
              0.70667,
              0.88365,
              1.19925
            ],
            [
              0.48312,
              0.58765,
              0.65419,
              0.76029,
              0.93719,
              1.25259
            ],
            [
              0.55122,
              0.65332,
              0.71932,
              0.82512,
              1.00182,
              1.31722
            ],
            [
              0.63277,
              0.73417,
              0.79917,
              0.90367,
              1.07967,
              1.39467
            ],
            [
              0.7304,
              0.8319,
              0.8972,
              1.0019,
              1.1768,
              1.4898
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.27503,
              0.38118,
              0.45832,
              0.59707,
              0.86176,
              1.38617
            ],
            [
              0.278,
              0.38415,
              0.46134,
              0.59986,
              0.86432,
              1.38954
            ],
            [
              0.28168,
              0.38784,
              0.46504,
              0.60349,
              0.86814,
              1.39352
            ],
            [
              0.28747,
              0.39363,
              0.47081,
              0.60932,
              0.87382,
              1.39908
            ],
            [
              0.29637,
              0.40254,
              0.47979,
              0.61842,
              0.88308,
              1.40701
            ],
            [
              0.31017,
              0.41634,
              0.4935,
              0.63211,
              0.89671,
              1.42152
            ],
            [
              0.33128,
              0.43747,
              0.51469,
              0.65334,
              0.91793,
              1.44153
            ],
            [
              0.36313,
              0.46931,
              0.54648,
              0.68503,
              0.94956,
              1.47436
            ],
            [
              0.41064,
              0.51683,
              0.59405,
              0.73245,
              0.99695,
              1.52205
            ],
            [
              0.47785,
              0.58397,
              0.66109,
              0.79969,
              1.06409,
              1.58879
            ],
            [
              0.56392,
              0.66952,
              0.74662,
              0.88512,
              1.14912,
              1.67402
            ],
            [
              0.67067,
              0.77577,
              0.85227,
              0.99057,
              1.25517,
              1.77917
            ],
            [
              0.8002,
              0.9054,
              0.9823,
              1.1204,
              1.3838,
              1.9082
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.06252,
              0.13422,
              0.18924,
              0.28744,
              0.47586,
              0.85274
            ],
            [
              0.06251,
              0.13427,
              0.18906,
              0.28746,
              0.47522,
              0.8528
            ],
            [
              0.06257,
              0.13423,
              0.18927,
              0.28744,
              0.47591,
              0.85267
            ],
            [
              0.06262,
              0.13428,
              0.18929,
              0.28747,
              0.47578,
              0.85272
            ],
            [
              0.06259,
              0.13468,
              0.18901,
              0.28808,
              0.4751,
              0.85206
            ],
            [
              0.06265,
              0.13443,
              0.18914,
              0.28761,
              0.47619,
              0.85263
            ],
            [
              0.06257,
              0.13425,
              0.18932,
              0.2875,
              0.47576,
              0.85275
            ],
            [
              0.06226,
              0.13408,
              0.18894,
              0.288,
              0.47506,
              0.85218
            ],
            [
              0.06152,
              0.13368,
              0.18891,
              0.28785,
              0.4743,
              0.8527
            ],
            [
              0.05968,
              0.13255,
              0.18811,
              0.28734,
              0.4744,
              0.8523
            ],
            [
              0.057,
              0.131,
              0.1869,
              0.2859,
              0.4742,
              0.8524
            ],
            [
              0.0568,
              0.1292,
              0.184,
              0.2842,
              0.4725,
              0.8513
            ],
            [
              0.0566,
              0.1296,
              0.1846,
              0.2832,
              0.4689,
              0.8486
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.05047,
              0.14701,
              0.23324,
              0.40754,
              0.76765,
              1.50131
            ],
            [
              0.05045,
              0.14722,
              0.23342,
              0.4078,
              0.76676,
              1.50169
            ],
            [
              0.05045,
              0.14741,
              0.23345,
              0.40786,
              0.76655,
              1.50164
            ],
            [
              0.05046,
              0.14724,
              0.23342,
              0.40781,
              0.76673,
              1.50163
            ],
            [
              0.05046,
              0.14711,
              0.2335,
              0.40723,
              0.76733,
              1.49978
            ],
            [
              0.05049,
              0.14709,
              0.23328,
              0.40765,
              0.7675,
              1.50154
            ],
            [
              0.05046,
              0.14708,
              0.23343,
              0.40717,
              0.76739,
              1.50034
            ],
            [
              0.05047,
              0.14706,
              0.23332,
              0.40765,
              0.76749,
              1.50163
            ],
            [
              0.05039,
              0.14698,
              0.23337,
              0.40777,
              0.76685,
              1.5008
            ],
            [
              0.05036,
              0.14687,
              0.23325,
              0.40733,
              0.7672,
              1.4997
            ],
            [
              0.0496,
              0.1467,
              0.233,
              0.4075,
              0.7668,
              1.5014
            ],
            [
              0.0497,
              0.146,
              0.232,
              0.4068,
              0.7677,
              1.5016
            ],
            [
              0.05,
              0.1466,
              0.2327,
              0.4059,
              0.7658,
              1.5009
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.26963,
              0.37333,
              0.4395,
              0.54541,
              0.72233,
              1.03817
            ],
            [
              0.2715,
              0.37526,
              0.44149,
              0.54737,
              0.72426,
              1.03994
            ],
            [
              0.27387,
              0.3776,
              0.44381,
              0.54974,
              0.72664,
              1.04242
            ],
            [
              0.27768,
              0.38125,
              0.44749,
              0.55337,
              0.73033,
              1.04608
            ],
            [
              0.28376,
              0.38727,
              0.45349,
              0.55939,
              0.73632,
              1.05191
            ],
            [
              0.29361,
              0.39685,
              0.46306,
              0.56889,
              0.74578,
              1.06162
            ],
            [
              0.30932,
              0.41217,
              0.47827,
              0.58411,
              0.76096,
              1.07673
            ],
            [
              0.33436,
              0.43662,
              0.50258,
              0.60838,
              0.78522,
              1.10096
            ],
            [
              0.37391,
              0.47504,
              0.54078,
              0.64646,
              0.82325,
              1.13875
            ],
            [
              0.43634,
              0.53518,
              0.60044,
              0.70579,
              0.88239,
              1.19809
            ],
            [
              0.52532,
              0.62432,
              0.68892,
              0.79382,
              0.97022,
              1.28562
            ],
            [
              0.63437,
              0.73837,
              0.80417,
              0.91057,
              1.08777,
              1.40367
            ],
            [
              0.7654,
              0.8792,
              0.9464,
              1.0535,
              1.2339,
              1.5531
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.15337,
              0.25122,
              0.3244,
              0.45912,
              0.72147,
              1.24477
            ],
            [
              0.15594,
              0.25383,
              0.32697,
              0.46177,
              0.72405,
              1.24734
            ],
            [
              0.15912,
              0.25704,
              0.3302,
              0.46502,
              0.72758,
              1.25022
            ],
            [
              0.16404,
              0.26195,
              0.33528,
              0.46992,
              0.73254,
              1.25658
            ],
            [
              0.17161,
              0.2695,
              0.34286,
              0.47756,
              0.7402,
              1.26421
            ],
            [
              0.18318,
              0.28099,
              0.35435,
              0.48915,
              0.75189,
              1.27592
            ],
            [
              0.20114,
              0.29868,
              0.37201,
              0.50697,
              0.76975,
              1.29383
            ],
            [
              0.22845,
              0.32549,
              0.39893,
              0.53391,
              0.79692,
              1.31986
            ],
            [
              0.26795,
              0.36465,
              0.43813,
              0.57321,
              0.83625,
              1.36095
            ],
            [
              0.31801,
              0.41643,
              0.49028,
              0.62551,
              0.88869,
              1.41249
            ],
            [
              0.37968,
              0.48012,
              0.55512,
              0.69192,
              0.95532,
              1.47882
            ],
            [
              0.45337,
              0.55887,
              0.63427,
              0.77217,
              1.03697,
              1.56097
            ],
            [
              0.5399,
              0.6549,
              0.7313,
              0.8693,
              1.1355,
              1.6609
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.0574,
              0.13136,
              0.1875,
              0.28731,
              0.4755,
              0.85279
            ],
            [
              0.05734,
              0.13128,
              0.18723,
              0.28707,
              0.47606,
              0.85312
            ],
            [
              0.05724,
              0.13124,
              0.18728,
              0.28709,
              0.47534,
              0.85231
            ],
            [
              0.05711,
              0.13116,
              0.18751,
              0.28753,
              0.47568,
              0.853
            ],
            [
              0.05695,
              0.13105,
              0.18704,
              0.28713,
              0.47548,
              0.85271
            ],
            [
              0.05669,
              0.13083,
              0.18682,
              0.28677,
              0.47517,
              0.8529
            ],
            [
              0.05639,
              0.13059,
              0.18678,
              0.28664,
              0.47451,
              0.85298
            ],
            [
              0.05566,
              0.13016,
              0.18652,
              0.28637,
              0.47423,
              0.85203
            ],
            [
              0.05454,
              0.12946,
              0.18582,
              0.28593,
              0.47501,
              0.85278
            ],
            [
              0.05273,
              0.12818,
              0.18446,
              0.28494,
              0.475,
              0.8524
            ],
            [
              0.0569,
              0.1278,
              0.1836,
              0.284,
              0.4738,
              0.8523
            ],
            [
              0.0656,
              0.1331,
              0.1886,
              0.2884,
              0.4756,
              0.8532
            ],
            [
              0.0781,
              0.1425,
              0.1946,
              0.2939,
              0.483,
              0.8594
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04444,
              0.13786,
              0.22438,
              0.40089,
              0.76386,
              1.49939
            ],
            [
              0.04437,
              0.13785,
              0.22426,
              0.40063,
              0.7639,
              1.49949
            ],
            [
              0.04442,
              0.13811,
              0.22437,
              0.40053,
              0.76409,
              1.49886
            ],
            [
              0.04435,
              0.13781,
              0.22439,
              0.40091,
              0.76415,
              1.50036
            ],
            [
              0.04426,
              0.13781,
              0.22442,
              0.40089,
              0.76412,
              1.50032
            ],
            [
              0.04415,
              0.13779,
              0.22444,
              0.40085,
              0.7642,
              1.50038
            ],
            [
              0.04393,
              0.13778,
              0.22422,
              0.40083,
              0.76409,
              1.50038
            ],
            [
              0.04354,
              0.1377,
              0.22427,
              0.40104,
              0.76424,
              1.4992
            ],
            [
              0.04394,
              0.13769,
              0.22418,
              0.4008,
              0.76399,
              1.49959
            ],
            [
              0.04645,
              0.13951,
              0.22524,
              0.40145,
              0.76404,
              1.498
            ],
            [
              0.0515,
              0.14194,
              0.228,
              0.4032,
              0.7648,
              1.4999
            ],
            [
              0.0595,
              0.1455,
              0.2311,
              0.4067,
              0.7676,
              1.5
            ],
            [
              0.0703,
              0.1529,
              0.2348,
              0.4091,
              0.7698,
              1.5026
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.30894,
              0.4235,
              0.49496,
              0.60714,
              0.79053,
              1.11127
            ],
            [
              0.31052,
              0.42513,
              0.4966,
              0.6088,
              0.79219,
              1.11294
            ],
            [
              0.31257,
              0.42718,
              0.49871,
              0.61086,
              0.79427,
              1.11522
            ],
            [
              0.31593,
              0.43043,
              0.50196,
              0.61413,
              0.79753,
              1.11848
            ],
            [
              0.32141,
              0.43579,
              0.5073,
              0.61938,
              0.80281,
              1.12361
            ],
            [
              0.33043,
              0.44461,
              0.51613,
              0.62827,
              0.81167,
              1.13262
            ],
            [
              0.34512,
              0.4589,
              0.53043,
              0.64256,
              0.82594,
              1.14693
            ],
            [
              0.36868,
              0.48206,
              0.55337,
              0.66551,
              0.84886,
              1.16976
            ],
            [
              0.40605,
              0.5185,
              0.58967,
              0.70172,
              0.88505,
              1.20605
            ],
            [
              0.4654,
              0.57587,
              0.64669,
              0.75849,
              0.94169,
              1.26249
            ],
            [
              0.55572,
              0.66362,
              0.73362,
              0.84492,
              1.02782,
              1.34862
            ],
            [
              0.66887,
              0.78067,
              0.85157,
              0.96347,
              1.14687,
              1.46767
            ],
            [
              0.8049,
              0.9257,
              0.997,
              1.1101,
              1.2973,
              1.6211
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.15164,
              0.25069,
              0.32467,
              0.46012,
              0.72304,
              1.24717
            ],
            [
              0.15427,
              0.25334,
              0.32731,
              0.46295,
              0.72588,
              1.24874
            ],
            [
              0.15752,
              0.25661,
              0.33076,
              0.46624,
              0.72891,
              1.25322
            ],
            [
              0.16254,
              0.26161,
              0.33566,
              0.47135,
              0.73428,
              1.25678
            ],
            [
              0.17022,
              0.26925,
              0.34337,
              0.47907,
              0.74197,
              1.26581
            ],
            [
              0.18205,
              0.28092,
              0.35506,
              0.49084,
              0.75378,
              1.27772
            ],
            [
              0.20012,
              0.29865,
              0.37292,
              0.50862,
              0.77142,
              1.29513
            ],
            [
              0.2277,
              0.32561,
              0.39971,
              0.53572,
              0.79848,
              1.32236
            ],
            [
              0.26754,
              0.36488,
              0.43913,
              0.57508,
              0.83835,
              1.36235
            ],
            [
              0.31793,
              0.41682,
              0.49135,
              0.6275,
              0.89069,
              1.41429
            ],
            [
              0.37995,
              0.48072,
              0.55632,
              0.69372,
              0.95742,
              1.48152
            ],
            [
              0.45407,
              0.55977,
              0.63567,
              0.77417,
              1.03927,
              1.56327
            ],
            [
              0.5407,
              0.6559,
              0.7326,
              0.871,
              1.1373,
              1.6631
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.06666,
              0.14496,
              0.20229,
              0.30299,
              0.4902,
              0.86473
            ],
            [
              0.06655,
              0.14458,
              0.20218,
              0.30307,
              0.49019,
              0.86451
            ],
            [
              0.06648,
              0.14454,
              0.20203,
              0.30278,
              0.49102,
              0.86351
            ],
            [
              0.06633,
              0.14448,
              0.20201,
              0.30283,
              0.48997,
              0.86398
            ],
            [
              0.06616,
              0.14437,
              0.20189,
              0.30279,
              0.49037,
              0.86395
            ],
            [
              0.06593,
              0.14421,
              0.20169,
              0.30305,
              0.49006,
              0.86362
            ],
            [
              0.06555,
              0.14396,
              0.20183,
              0.3023,
              0.48993,
              0.86488
            ],
            [
              0.06491,
              0.14362,
              0.20135,
              0.30239,
              0.48978,
              0.8643
            ],
            [
              0.06376,
              0.14301,
              0.20105,
              0.30185,
              0.48928,
              0.8632
            ],
            [
              0.06136,
              0.14153,
              0.20008,
              0.3015,
              0.4891,
              0.8642
            ],
            [
              0.0629,
              0.1396,
              0.1983,
              0.3,
              0.4876,
              0.8628
            ],
            [
              0.0713,
              0.1441,
              0.2014,
              0.3023,
              0.4895,
              0.8641
            ],
            [
              0.0842,
              0.1521,
              0.2065,
              0.3081,
              0.4982,
              0.8705
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04455,
              0.1394,
              0.22628,
              0.40267,
              0.76468,
              1.50004
            ],
            [
              0.04466,
              0.1393,
              0.22634,
              0.40204,
              0.76493,
              1.49874
            ],
            [
              0.0445,
              0.13941,
              0.22641,
              0.40252,
              0.76432,
              1.50058
            ],
            [
              0.04438,
              0.13967,
              0.22628,
              0.40201,
              0.76486,
              1.49917
            ],
            [
              0.04433,
              0.13932,
              0.22626,
              0.40222,
              0.76487,
              1.49937
            ],
            [
              0.04421,
              0.13928,
              0.22624,
              0.40222,
              0.76486,
              1.49915
            ],
            [
              0.0439,
              0.13923,
              0.22619,
              0.40255,
              0.76444,
              1.49983
            ],
            [
              0.04343,
              0.13903,
              0.22605,
              0.40223,
              0.76379,
              1.50007
            ],
            [
              0.04388,
              0.13893,
              0.22609,
              0.40202,
              0.76463,
              1.49912
            ],
            [
              0.04634,
              0.14049,
              0.22692,
              0.4024,
              0.76464,
              1.4983
            ],
            [
              0.0514,
              0.14275,
              0.2295,
              0.4045,
              0.7653,
              1.4988
            ],
            [
              0.0596,
              0.1463,
              0.232,
              0.4073,
              0.7684,
              1.5002
            ],
            [
              0.0703,
              0.1532,
              0.2357,
              0.4103,
              0.7705,
              1.5033
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.36362,
              0.48017,
              0.55282,
              0.66623,
              0.85063,
              1.17227
            ],
            [
              0.36788,
              0.48444,
              0.55715,
              0.67059,
              0.85499,
              1.17674
            ],
            [
              0.37274,
              0.48945,
              0.56206,
              0.67553,
              0.85996,
              1.18142
            ],
            [
              0.37974,
              0.49645,
              0.56912,
              0.68254,
              0.86699,
              1.18877
            ],
            [
              0.38991,
              0.50659,
              0.57927,
              0.6927,
              0.87717,
              1.19901
            ],
            [
              0.40394,
              0.52068,
              0.59336,
              0.70681,
              0.89129,
              1.21302
            ],
            [
              0.42305,
              0.53982,
              0.61249,
              0.72596,
              0.91043,
              1.23203
            ],
            [
              0.44836,
              0.56514,
              0.63776,
              0.75118,
              0.93566,
              1.25736
            ],
            [
              0.48363,
              0.60027,
              0.6728,
              0.78615,
              0.97065,
              1.29245
            ],
            [
              0.53432,
              0.65039,
              0.72259,
              0.83579,
              1.02009,
              1.34169
            ],
            [
              0.60072,
              0.71492,
              0.78692,
              0.89972,
              1.08392,
              1.40502
            ],
            [
              0.68127,
              0.79327,
              0.86387,
              0.97577,
              1.15927,
              1.48047
            ],
            [
              0.7768,
              0.8894,
              0.9603,
              1.0717,
              1.2536,
              1.5731
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.25204,
              0.34845,
              0.42203,
              0.55763,
              0.82121,
              1.34627
            ],
            [
              0.25497,
              0.35138,
              0.42488,
              0.56046,
              0.824,
              1.34824
            ],
            [
              0.25858,
              0.35498,
              0.42857,
              0.56413,
              0.82754,
              1.35222
            ],
            [
              0.26431,
              0.36072,
              0.43421,
              0.56981,
              0.83335,
              1.35768
            ],
            [
              0.27314,
              0.36957,
              0.44299,
              0.5787,
              0.84231,
              1.36681
            ],
            [
              0.28688,
              0.38332,
              0.45686,
              0.59246,
              0.8561,
              1.38102
            ],
            [
              0.30803,
              0.40448,
              0.47801,
              0.61344,
              0.87693,
              1.40103
            ],
            [
              0.34017,
              0.43662,
              0.51021,
              0.64564,
              0.90896,
              1.43366
            ],
            [
              0.38831,
              0.48479,
              0.55834,
              0.69367,
              0.95705,
              1.48125
            ],
            [
              0.45637,
              0.5528,
              0.62621,
              0.76179,
              1.02519,
              1.55029
            ],
            [
              0.54262,
              0.63872,
              0.71222,
              0.84752,
              1.11102,
              1.63522
            ],
            [
              0.64917,
              0.74507,
              0.81827,
              0.95347,
              1.21687,
              1.74167
            ],
            [
              0.7784,
              0.8747,
              0.9482,
              1.0835,
              1.3457,
              1.8703
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.07189,
              0.14817,
              0.20475,
              0.30462,
              0.49122,
              0.86627
            ],
            [
              0.07184,
              0.14819,
              0.2048,
              0.30507,
              0.49272,
              0.86606
            ],
            [
              0.0718,
              0.14819,
              0.20489,
              0.30471,
              0.49163,
              0.86593
            ],
            [
              0.07191,
              0.1483,
              0.20515,
              0.3048,
              0.49193,
              0.86505
            ],
            [
              0.07187,
              0.14853,
              0.20504,
              0.3049,
              0.49217,
              0.86516
            ],
            [
              0.07183,
              0.14828,
              0.20522,
              0.30482,
              0.49188,
              0.86507
            ],
            [
              0.0719,
              0.14821,
              0.20482,
              0.3047,
              0.49138,
              0.86625
            ],
            [
              0.07163,
              0.14813,
              0.20488,
              0.30478,
              0.49176,
              0.8654
            ],
            [
              0.07132,
              0.14787,
              0.20466,
              0.30498,
              0.49313,
              0.8658
            ],
            [
              0.06994,
              0.14723,
              0.20419,
              0.3045,
              0.4916,
              0.8656
            ],
            [
              0.0668,
              0.1458,
              0.2034,
              0.304,
              0.4909,
              0.8656
            ],
            [
              0.0656,
              0.1426,
              0.2002,
              0.3014,
              0.4902,
              0.8648
            ],
            [
              0.0657,
              0.1433,
              0.2004,
              0.2999,
              0.4864,
              0.8621
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02912,
            0.05824,
            0.11647
          ],
          "values": [
            [
              0.04386,
              0.13753,
              0.22438,
              0.40049,
              0.76422,
              1.5008
            ],
            [
              0.04386,
              0.13779,
              0.22427,
              0.40112,
              0.76396,
              1.49863
            ],
            [
              0.04384,
              0.13755,
              0.22433,
              0.40062,
              0.76384,
              1.50005
            ],
            [
              0.04395,
              0.13779,
              0.22425,
              0.40111,
              0.76397,
              1.49832
            ],
            [
              0.04389,
              0.13751,
              0.22427,
              0.40098,
              0.76416,
              1.49862
            ],
            [
              0.044,
              0.13751,
              0.22439,
              0.40068,
              0.76415,
              1.50008
            ],
            [
              0.04395,
              0.13776,
              0.22424,
              0.40113,
              0.76387,
              1.49877
            ],
            [
              0.04389,
              0.13752,
              0.22429,
              0.40066,
              0.76373,
              1.50001
            ],
            [
              0.04383,
              0.13748,
              0.22407,
              0.40115,
              0.76386,
              1.4988
            ],
            [
              0.04374,
              0.13737,
              0.22418,
              0.40095,
              0.7642,
              1.5004
            ],
            [
              0.0435,
              0.1374,
              0.2243,
              0.4011,
              0.7642,
              1.4993
            ],
            [
              0.0439,
              0.1371,
              0.2231,
              0.4005,
              0.7642,
              1.5001
            ],
            [
              0.0445,
              0.1377,
              0.2242,
              0.4,
              0.7626,
              1.4988
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "negative_unate",
        "when": "(A&B)"
      }
    ]
  }
}