{
  "area": 20.7792,
  "cell_footprint": "sky130_fd_sc_hs__a32oi",
  "cell_leakage_power": 1144.30114,
  "leakage_power": [
    {
      "value": 6.79113,
      "when": "!A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 45.65229,
      "when": "!A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 36.83146,
      "when": "!A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 3790.1771,
      "when": "!A1&!A2&!A3&B1&B2"
    },
    {
      "value": 8.99003,
      "when": "!A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 47.85077,
      "when": "!A1&!A2&A3&!B1&B2"
    },
    {
      "value": 39.02993,
      "when": "!A1&!A2&A3&B1&!B2"
    },
    {
      "value": 3761.70174,
      "when": "!A1&!A2&A3&B1&B2"
    },
    {
      "value": 8.41531,
      "when": "!A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 47.27635,
      "when": "!A1&A2&!A3&!B1&B2"
    },
    {
      "value": 38.45551,
      "when": "!A1&A2&!A3&B1&!B2"
    },
    {
      "value": 3767.30046,
      "when": "!A1&A2&!A3&B1&B2"
    },
    {
      "value": 46.51972,
      "when": "!A1&A2&A3&!B1&!B2"
    },
    {
      "value": 85.37134,
      "when": "!A1&A2&A3&!B1&B2"
    },
    {
      "value": 76.5553,
      "when": "!A1&A2&A3&B1&!B2"
    },
    {
      "value": 3691.15237,
      "when": "!A1&A2&A3&B1&B2"
    },
    {
      "value": 8.43643,
      "when": "A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 47.29719,
      "when": "A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 38.47634,
      "when": "A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 3749.22237,
      "when": "A1&!A2&!A3&B1&B2"
    },
    {
      "value": 39.11331,
      "when": "A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 77.9698,
      "when": "A1&!A2&A3&!B1&B2"
    },
    {
      "value": 69.15372,
      "when": "A1&!A2&A3&B1&!B2"
    },
    {
      "value": 3657.55605,
      "when": "A1&!A2&A3&B1&B2"
    },
    {
      "value": 32.0156,
      "when": "A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 70.87205,
      "when": "A1&A2&!A3&!B1&B2"
    },
    {
      "value": 62.05437,
      "when": "A1&A2&!A3&B1&!B2"
    },
    {
      "value": 3668.91349,
      "when": "A1&A2&!A3&B1&B2"
    },
    {
      "value": 3172.77829,
      "when": "A1&A2&A3&!B1&!B2"
    },
    {
      "value": 2903.65818,
      "when": "A1&A2&A3&!B1&B2"
    },
    {
      "value": 3018.85875,
      "when": "A1&A2&A3&B1&!B2"
    },
    {
      "value": 503.18989,
      "when": "A1&A2&A3&B1&B2"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00575,
    "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.01492,
          0.01463,
          0.01454,
          0.01457,
          0.0146,
          0.01456,
          0.01456,
          0.01457,
          0.01457,
          0.01649,
          0.01677,
          0.0194,
          0.02094
        ]
      },
      "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.00843,
          0.00853,
          0.00794,
          0.00808,
          0.00818,
          0.00821,
          0.00815,
          0.00807,
          0.00786,
          0.00844,
          0.00788,
          0.00858,
          0.00984
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00566,
    "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.01528,
          0.0151,
          0.01481,
          0.0147,
          0.01458,
          0.01457,
          0.01456,
          0.01456,
          0.01457,
          0.01647,
          0.01674,
          0.01937,
          0.0209
        ]
      },
      "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.00863,
          0.00857,
          0.00854,
          0.00829,
          0.00849,
          0.0085,
          0.00846,
          0.00835,
          0.00813,
          0.0087,
          0.00809,
          0.00878,
          0.01003
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00555,
    "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.01491,
          0.01473,
          0.01475,
          0.01464,
          0.01461,
          0.01458,
          0.01455,
          0.01458,
          0.01457,
          0.01648,
          0.01678,
          0.01946,
          0.02109
        ]
      },
      "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.00844,
          0.00827,
          0.00856,
          0.00844,
          0.00854,
          0.00857,
          0.00854,
          0.00841,
          0.00817,
          0.00875,
          0.00819,
          0.00898,
          0.01035
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00584,
    "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.00897,
          0.00918,
          0.00917,
          0.0092,
          0.00916,
          0.00916,
          0.00914,
          0.00899,
          0.00874,
          0.00947,
          0.0091,
          0.01073,
          0.01297
        ]
      },
      "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.0149,
          0.01436,
          0.01468,
          0.01462,
          0.01459,
          0.01457,
          0.01458,
          0.01459,
          0.01457,
          0.01649,
          0.01676,
          0.01959,
          0.02153
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00573,
    "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.00796,
          0.00781,
          0.00775,
          0.00784,
          0.00787,
          0.0079,
          0.00786,
          0.00772,
          0.00747,
          0.00801,
          0.00764,
          0.0091,
          0.0113
        ]
      },
      "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.01502,
          0.01489,
          0.01507,
          0.01499,
          0.01489,
          0.01485,
          0.01486,
          0.01485,
          0.01487,
          0.01683,
          0.01719,
          0.02011,
          0.02216
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!A1&!B1) | (!A1&!B2) | (!A2&!B1) | (!A3&!B1) | (!A2&!B2) | (!A3&!B2)",
    "internal_power": [
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.01492,
              0.01068,
              0.00642,
              -0.00211,
              -0.01918,
              -0.05334,
              -0.12165
            ],
            [
              0.01504,
              0.01079,
              0.00652,
              -0.00201,
              -0.01908,
              -0.05324,
              -0.12156
            ],
            [
              0.01513,
              0.01085,
              0.0066,
              -0.00194,
              -0.01904,
              -0.05317,
              -0.12149
            ],
            [
              0.0153,
              0.01103,
              0.00674,
              -0.00179,
              -0.01888,
              -0.05304,
              -0.12137
            ],
            [
              0.01551,
              0.01122,
              0.00692,
              -0.00166,
              -0.01875,
              -0.05294,
              -0.12128
            ],
            [
              0.01576,
              0.01143,
              0.00712,
              -0.00147,
              -0.01862,
              -0.05281,
              -0.12116
            ],
            [
              0.01601,
              0.01167,
              0.00734,
              -0.00128,
              -0.01845,
              -0.05267,
              -0.12107
            ],
            [
              0.01623,
              0.01189,
              0.00755,
              -0.0011,
              -0.01829,
              -0.05255,
              -0.12097
            ],
            [
              0.01634,
              0.01202,
              0.00769,
              -0.00095,
              -0.01816,
              -0.05245,
              -0.12089
            ],
            [
              0.01625,
              0.01199,
              0.00769,
              -0.0009,
              -0.01808,
              -0.05235,
              -0.12081
            ],
            [
              0.01575,
              0.01158,
              0.00734,
              -0.00117,
              -0.01824,
              -0.05244,
              -0.12084
            ],
            [
              0.01461,
              0.01054,
              0.00642,
              -0.00189,
              -0.01877,
              -0.05279,
              -0.12103
            ],
            [
              0.0134,
              0.00878,
              0.00454,
              -0.00356,
              -0.02011,
              -0.05373,
              -0.12165
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.052,
              0.05643,
              0.06074,
              0.06926,
              0.08613,
              0.11992,
              0.18776
            ],
            [
              0.05188,
              0.05637,
              0.06073,
              0.06925,
              0.08623,
              0.1199,
              0.18766
            ],
            [
              0.05177,
              0.05629,
              0.06066,
              0.06924,
              0.08618,
              0.12,
              0.18778
            ],
            [
              0.05164,
              0.05616,
              0.06057,
              0.06917,
              0.08617,
              0.12005,
              0.18776
            ],
            [
              0.05144,
              0.05598,
              0.06042,
              0.06908,
              0.08614,
              0.11993,
              0.18766
            ],
            [
              0.05124,
              0.0558,
              0.06023,
              0.06893,
              0.086,
              0.11985,
              0.1877
            ],
            [
              0.05102,
              0.05556,
              0.06002,
              0.06874,
              0.08587,
              0.11981,
              0.1878
            ],
            [
              0.05083,
              0.05534,
              0.05977,
              0.06847,
              0.0857,
              0.11971,
              0.18772
            ],
            [
              0.05076,
              0.05516,
              0.05957,
              0.06826,
              0.08545,
              0.11952,
              0.18761
            ],
            [
              0.05086,
              0.05517,
              0.05946,
              0.06809,
              0.08523,
              0.11937,
              0.18744
            ],
            [
              0.05108,
              0.05536,
              0.05963,
              0.06808,
              0.08515,
              0.1191,
              0.18734
            ],
            [
              0.05172,
              0.05591,
              0.06012,
              0.06856,
              0.08537,
              0.11915,
              0.18704
            ],
            [
              0.05344,
              0.05732,
              0.0614,
              0.06967,
              0.08634,
              0.11972,
              0.18722
            ]
          ]
        },
        "when": "(A2&A3&!B1) | (A2&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.01487,
              0.01062,
              0.00636,
              -0.00216,
              -0.01923,
              -0.05338,
              -0.12171
            ],
            [
              0.01498,
              0.01073,
              0.00647,
              -0.00205,
              -0.01912,
              -0.05327,
              -0.12161
            ],
            [
              0.01508,
              0.01084,
              0.00657,
              -0.00196,
              -0.01903,
              -0.05318,
              -0.12151
            ],
            [
              0.01522,
              0.01096,
              0.00669,
              -0.00184,
              -0.01892,
              -0.05307,
              -0.12143
            ],
            [
              0.01537,
              0.0111,
              0.00681,
              -0.00172,
              -0.01882,
              -0.05299,
              -0.12132
            ],
            [
              0.0156,
              0.01129,
              0.00699,
              -0.00158,
              -0.01869,
              -0.05286,
              -0.12122
            ],
            [
              0.01583,
              0.01152,
              0.0072,
              -0.00139,
              -0.01854,
              -0.05276,
              -0.12113
            ],
            [
              0.0161,
              0.01176,
              0.00742,
              -0.0012,
              -0.01838,
              -0.05262,
              -0.12102
            ],
            [
              0.01632,
              0.01199,
              0.00764,
              -0.00101,
              -0.01822,
              -0.0525,
              -0.12093
            ],
            [
              0.01646,
              0.01214,
              0.00781,
              -0.00083,
              -0.01805,
              -0.05235,
              -0.12081
            ],
            [
              0.01633,
              0.01206,
              0.00776,
              -0.00083,
              -0.01801,
              -0.05231,
              -0.12077
            ],
            [
              0.01573,
              0.01154,
              0.00732,
              -0.00117,
              -0.01823,
              -0.05241,
              -0.12082
            ],
            [
              0.0142,
              0.01017,
              0.00606,
              -0.00224,
              -0.01906,
              -0.05298,
              -0.12118
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.05876,
              0.06301,
              0.06727,
              0.0757,
              0.09257,
              0.12617,
              0.19401
            ],
            [
              0.05867,
              0.06295,
              0.06721,
              0.07565,
              0.09253,
              0.12623,
              0.19403
            ],
            [
              0.05855,
              0.06283,
              0.06711,
              0.07557,
              0.09244,
              0.12622,
              0.19399
            ],
            [
              0.0584,
              0.06273,
              0.06699,
              0.07552,
              0.09244,
              0.12616,
              0.19381
            ],
            [
              0.05823,
              0.06259,
              0.06689,
              0.07542,
              0.09237,
              0.12606,
              0.19393
            ],
            [
              0.05803,
              0.06242,
              0.06675,
              0.07531,
              0.09225,
              0.12609,
              0.19397
            ],
            [
              0.05784,
              0.0622,
              0.06656,
              0.07514,
              0.09219,
              0.126,
              0.19395
            ],
            [
              0.05766,
              0.06203,
              0.06638,
              0.07497,
              0.09204,
              0.12586,
              0.19386
            ],
            [
              0.05751,
              0.06186,
              0.06619,
              0.07478,
              0.09182,
              0.12579,
              0.19378
            ],
            [
              0.05755,
              0.0618,
              0.06613,
              0.07469,
              0.09172,
              0.12566,
              0.19365
            ],
            [
              0.05771,
              0.06195,
              0.06618,
              0.07461,
              0.09166,
              0.12547,
              0.19345
            ],
            [
              0.05825,
              0.06244,
              0.06666,
              0.07508,
              0.09185,
              0.12558,
              0.19337
            ],
            [
              0.05964,
              0.06369,
              0.06784,
              0.07613,
              0.09279,
              0.12606,
              0.19372
            ]
          ]
        },
        "when": "(A1&A3&!B1) | (A1&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.01509,
              0.01084,
              0.00658,
              -0.00194,
              -0.019,
              -0.05315,
              -0.12149
            ],
            [
              0.01524,
              0.011,
              0.00674,
              -0.00179,
              -0.01885,
              -0.053,
              -0.12134
            ],
            [
              0.01536,
              0.01111,
              0.00684,
              -0.00169,
              -0.01875,
              -0.05289,
              -0.12123
            ],
            [
              0.01548,
              0.01122,
              0.00695,
              -0.00158,
              -0.01866,
              -0.05281,
              -0.12114
            ],
            [
              0.01566,
              0.0114,
              0.00709,
              -0.00144,
              -0.01853,
              -0.05271,
              -0.12104
            ],
            [
              0.01587,
              0.01157,
              0.00728,
              -0.0013,
              -0.01841,
              -0.05259,
              -0.12095
            ],
            [
              0.01611,
              0.0118,
              0.00748,
              -0.00111,
              -0.01826,
              -0.05248,
              -0.12085
            ],
            [
              0.01637,
              0.01203,
              0.0077,
              -0.00092,
              -0.0181,
              -0.05235,
              -0.12075
            ],
            [
              0.01658,
              0.01224,
              0.00791,
              -0.00074,
              -0.01794,
              -0.05222,
              -0.12066
            ],
            [
              0.01671,
              0.01239,
              0.00806,
              -0.00057,
              -0.01778,
              -0.05208,
              -0.12054
            ],
            [
              0.01655,
              0.01227,
              0.00798,
              -0.0006,
              -0.01777,
              -0.05206,
              -0.12052
            ],
            [
              0.01587,
              0.01169,
              0.00746,
              -0.00102,
              -0.01806,
              -0.05222,
              -0.12061
            ],
            [
              0.01417,
              0.01012,
              0.00601,
              -0.00228,
              -0.01907,
              -0.05295,
              -0.12109
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0636,
              0.06784,
              0.07209,
              0.08056,
              0.09739,
              0.13108,
              0.19873
            ],
            [
              0.06356,
              0.0678,
              0.07204,
              0.0805,
              0.09738,
              0.1311,
              0.19864
            ],
            [
              0.0635,
              0.06774,
              0.07201,
              0.0804,
              0.09728,
              0.13098,
              0.19878
            ],
            [
              0.06339,
              0.06765,
              0.07191,
              0.08037,
              0.09723,
              0.13096,
              0.19874
            ],
            [
              0.06331,
              0.06759,
              0.07184,
              0.08027,
              0.09716,
              0.13093,
              0.19871
            ],
            [
              0.06322,
              0.0675,
              0.07175,
              0.08026,
              0.09717,
              0.13094,
              0.19864
            ],
            [
              0.06313,
              0.0674,
              0.07167,
              0.0802,
              0.09706,
              0.13086,
              0.19867
            ],
            [
              0.06301,
              0.06729,
              0.07156,
              0.08008,
              0.09704,
              0.13078,
              0.19842
            ],
            [
              0.06295,
              0.06723,
              0.07151,
              0.08,
              0.09694,
              0.13079,
              0.1985
            ],
            [
              0.06302,
              0.06724,
              0.07149,
              0.08001,
              0.09695,
              0.13072,
              0.19852
            ],
            [
              0.06323,
              0.06744,
              0.07166,
              0.08004,
              0.09695,
              0.13065,
              0.19847
            ],
            [
              0.0639,
              0.0681,
              0.07228,
              0.08064,
              0.09737,
              0.13089,
              0.19854
            ],
            [
              0.06559,
              0.06963,
              0.07372,
              0.08198,
              0.09852,
              0.13163,
              0.19902
            ]
          ]
        },
        "when": "(A1&A2&!B1) | (A1&A2&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.00573,
              0.00119,
              -0.00319,
              -0.01186,
              -0.02903,
              -0.06324,
              -0.13158
            ],
            [
              0.00591,
              0.00128,
              -0.00311,
              -0.01181,
              -0.02903,
              -0.06326,
              -0.13162
            ],
            [
              0.00614,
              0.00148,
              -0.00301,
              -0.01179,
              -0.02901,
              -0.0633,
              -0.13166
            ],
            [
              0.00635,
              0.00165,
              -0.00287,
              -0.01169,
              -0.02896,
              -0.06328,
              -0.13164
            ],
            [
              0.00656,
              0.00186,
              -0.00268,
              -0.01154,
              -0.02889,
              -0.06323,
              -0.13165
            ],
            [
              0.00678,
              0.00209,
              -0.00247,
              -0.01135,
              -0.02876,
              -0.06314,
              -0.13161
            ],
            [
              0.00691,
              0.00231,
              -0.00224,
              -0.01114,
              -0.0286,
              -0.06304,
              -0.13156
            ],
            [
              0.00692,
              0.00244,
              -0.00206,
              -0.01094,
              -0.02842,
              -0.06292,
              -0.13148
            ],
            [
              0.0067,
              0.00237,
              -0.00203,
              -0.01081,
              -0.02826,
              -0.06279,
              -0.1314
            ],
            [
              0.0061,
              0.00198,
              -0.00228,
              -0.0109,
              -0.02822,
              -0.06272,
              -0.13134
            ],
            [
              0.00492,
              0.00104,
              -0.00302,
              -0.01141,
              -0.02849,
              -0.0628,
              -0.13135
            ],
            [
              0.00288,
              -0.00073,
              -0.00458,
              -0.01261,
              -0.02924,
              -0.06327,
              -0.1316
            ],
            [
              0.0059,
              0.00061,
              -0.00441,
              -0.01394,
              -0.031,
              -0.06442,
              -0.13232
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02418,
              0.02871,
              0.03313,
              0.04171,
              0.05869,
              0.09249,
              0.16023
            ],
            [
              0.02401,
              0.02862,
              0.03303,
              0.0416,
              0.0586,
              0.09253,
              0.16022
            ],
            [
              0.02385,
              0.02847,
              0.03289,
              0.04155,
              0.05859,
              0.09241,
              0.16029
            ],
            [
              0.02369,
              0.0283,
              0.03276,
              0.04148,
              0.05858,
              0.09247,
              0.16013
            ],
            [
              0.02352,
              0.0281,
              0.03257,
              0.04132,
              0.05846,
              0.09237,
              0.1602
            ],
            [
              0.02342,
              0.02794,
              0.03238,
              0.04112,
              0.05832,
              0.09227,
              0.16021
            ],
            [
              0.02343,
              0.02783,
              0.03224,
              0.04095,
              0.05815,
              0.09219,
              0.16008
            ],
            [
              0.02364,
              0.02788,
              0.0322,
              0.04083,
              0.058,
              0.09201,
              0.15994
            ],
            [
              0.02407,
              0.0282,
              0.03239,
              0.04089,
              0.05799,
              0.09192,
              0.15978
            ],
            [
              0.02487,
              0.02892,
              0.03299,
              0.04126,
              0.05811,
              0.09187,
              0.15963
            ],
            [
              0.02617,
              0.03011,
              0.03412,
              0.04222,
              0.05869,
              0.09222,
              0.1598
            ],
            [
              0.02833,
              0.03208,
              0.036,
              0.044,
              0.06016,
              0.09316,
              0.16024
            ],
            [
              0.03179,
              0.0353,
              0.03904,
              0.04678,
              0.06273,
              0.09506,
              0.16142
            ]
          ]
        },
        "when": "(!A1&B2) | (!A2&B2) | (!A3&B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.00563,
              0.00117,
              -0.00319,
              -0.01181,
              -0.02897,
              -0.06316,
              -0.13149
            ],
            [
              0.00591,
              0.00135,
              -0.00305,
              -0.01172,
              -0.0289,
              -0.06312,
              -0.13147
            ],
            [
              0.00606,
              0.00147,
              -0.00298,
              -0.01169,
              -0.02891,
              -0.06315,
              -0.13151
            ],
            [
              0.00632,
              0.00164,
              -0.00289,
              -0.01166,
              -0.02893,
              -0.06319,
              -0.13156
            ],
            [
              0.00657,
              0.00186,
              -0.00268,
              -0.01151,
              -0.02883,
              -0.06315,
              -0.13156
            ],
            [
              0.00685,
              0.00213,
              -0.00243,
              -0.01131,
              -0.02871,
              -0.06309,
              -0.13153
            ],
            [
              0.00706,
              0.00241,
              -0.00216,
              -0.01107,
              -0.02853,
              -0.06297,
              -0.13148
            ],
            [
              0.00719,
              0.00262,
              -0.0019,
              -0.01081,
              -0.02832,
              -0.06283,
              -0.13139
            ],
            [
              0.00714,
              0.0027,
              -0.00175,
              -0.0106,
              -0.0281,
              -0.06266,
              -0.13128
            ],
            [
              0.00677,
              0.00249,
              -0.00185,
              -0.01056,
              -0.02798,
              -0.06253,
              -0.13119
            ],
            [
              0.00585,
              0.00178,
              -0.0024,
              -0.0109,
              -0.0281,
              -0.06253,
              -0.13116
            ],
            [
              0.00398,
              0.00019,
              -0.00378,
              -0.01196,
              -0.02877,
              -0.06288,
              -0.13133
            ],
            [
              0.00481,
              -0.00031,
              -0.0052,
              -0.01424,
              -0.03046,
              -0.06396,
              -0.13197
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03093,
              0.03528,
              0.03953,
              0.04801,
              0.0649,
              0.09865,
              0.16628
            ],
            [
              0.03077,
              0.03509,
              0.03938,
              0.0479,
              0.0648,
              0.09859,
              0.16621
            ],
            [
              0.03061,
              0.03496,
              0.03928,
              0.04784,
              0.06479,
              0.09856,
              0.16621
            ],
            [
              0.03045,
              0.03484,
              0.03915,
              0.04773,
              0.06472,
              0.09849,
              0.16619
            ],
            [
              0.03028,
              0.0347,
              0.03903,
              0.04763,
              0.06461,
              0.09837,
              0.16608
            ],
            [
              0.03017,
              0.03456,
              0.0389,
              0.0475,
              0.06449,
              0.09832,
              0.16609
            ],
            [
              0.03015,
              0.03448,
              0.03881,
              0.04741,
              0.06438,
              0.09825,
              0.166
            ],
            [
              0.03029,
              0.03453,
              0.03882,
              0.04735,
              0.06435,
              0.09815,
              0.16597
            ],
            [
              0.03073,
              0.03487,
              0.03905,
              0.0475,
              0.06438,
              0.09821,
              0.16583
            ],
            [
              0.03161,
              0.03568,
              0.03977,
              0.04803,
              0.06475,
              0.09837,
              0.16584
            ],
            [
              0.03305,
              0.03702,
              0.04104,
              0.04914,
              0.0655,
              0.09883,
              0.16611
            ],
            [
              0.03546,
              0.03931,
              0.04323,
              0.05117,
              0.06722,
              0.09998,
              0.16685
            ],
            [
              0.03937,
              0.04303,
              0.0468,
              0.05453,
              0.07035,
              0.1024,
              0.16846
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.07116,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10532,
              0.12789,
              0.14961,
              0.19174,
              0.27372,
              0.43457,
              0.75294
            ],
            [
              0.10729,
              0.12986,
              0.15162,
              0.19377,
              0.27578,
              0.43658,
              0.75505
            ],
            [
              0.10977,
              0.1324,
              0.1542,
              0.19637,
              0.27842,
              0.43923,
              0.75778
            ],
            [
              0.11367,
              0.13634,
              0.15818,
              0.20045,
              0.28254,
              0.44344,
              0.76196
            ],
            [
              0.11974,
              0.1425,
              0.1644,
              0.20674,
              0.28895,
              0.44988,
              0.76842
            ],
            [
              0.12915,
              0.15202,
              0.17399,
              0.21644,
              0.29876,
              0.45987,
              0.77862
            ],
            [
              0.14368,
              0.16666,
              0.18873,
              0.23124,
              0.31372,
              0.475,
              0.79385
            ],
            [
              0.16662,
              0.18919,
              0.21129,
              0.25393,
              0.33648,
              0.49785,
              0.81681
            ],
            [
              0.19947,
              0.22409,
              0.24641,
              0.28855,
              0.37109,
              0.53254,
              0.85155
            ],
            [
              0.2393,
              0.26825,
              0.2944,
              0.34104,
              0.42376,
              0.58505,
              0.90399
            ],
            [
              0.28699,
              0.32136,
              0.35242,
              0.40768,
              0.50202,
              0.66452,
              0.98322
            ],
            [
              0.34387,
              0.38457,
              0.42177,
              0.48777,
              0.60007,
              0.78407,
              1.10297
            ],
            [
              0.4118,
              0.4604,
              0.5045,
              0.5834,
              0.7181,
              0.9375,
              1.2847
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.08908,
              0.1127,
              0.13506,
              0.17877,
              0.26502,
              0.43643,
              0.77881
            ],
            [
              0.09139,
              0.11532,
              0.13787,
              0.18175,
              0.26818,
              0.43982,
              0.78197
            ],
            [
              0.09424,
              0.11837,
              0.14112,
              0.18518,
              0.27178,
              0.44343,
              0.7865
            ],
            [
              0.09872,
              0.12298,
              0.14588,
              0.19012,
              0.27692,
              0.44883,
              0.79126
            ],
            [
              0.10567,
              0.13003,
              0.15303,
              0.19745,
              0.28456,
              0.45657,
              0.79918
            ],
            [
              0.11622,
              0.14049,
              0.16364,
              0.20831,
              0.29561,
              0.46805,
              0.8107
            ],
            [
              0.13153,
              0.15586,
              0.17893,
              0.22375,
              0.31128,
              0.48398,
              0.82679
            ],
            [
              0.15054,
              0.17768,
              0.20113,
              0.24591,
              0.33356,
              0.50655,
              0.84996
            ],
            [
              0.1704,
              0.20312,
              0.23091,
              0.27844,
              0.36632,
              0.53948,
              0.88375
            ],
            [
              0.19013,
              0.23066,
              0.26434,
              0.32109,
              0.41501,
              0.5884,
              0.93289
            ],
            [
              0.20712,
              0.25846,
              0.30035,
              0.36957,
              0.48102,
              0.66172,
              1.00642
            ],
            [
              0.21977,
              0.28397,
              0.33657,
              0.42267,
              0.55797,
              0.76797,
              1.11687
            ],
            [
              0.2291,
              0.3075,
              0.3723,
              0.4789,
              0.6452,
              0.8971,
              1.2832
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10017,
              0.12858,
              0.15668,
              0.21256,
              0.32389,
              0.54669,
              0.99082
            ],
            [
              0.10011,
              0.12847,
              0.15671,
              0.21267,
              0.32414,
              0.54596,
              0.99061
            ],
            [
              0.10014,
              0.1286,
              0.1568,
              0.21265,
              0.32415,
              0.5461,
              0.99119
            ],
            [
              0.10017,
              0.12852,
              0.15666,
              0.21274,
              0.32389,
              0.54643,
              0.99048
            ],
            [
              0.10043,
              0.12861,
              0.15677,
              0.21274,
              0.32424,
              0.54622,
              0.98984
            ],
            [
              0.1,
              0.12871,
              0.15687,
              0.21278,
              0.32414,
              0.54664,
              0.99129
            ],
            [
              0.09904,
              0.12749,
              0.15625,
              0.21259,
              0.32422,
              0.54668,
              0.99066
            ],
            [
              0.1039,
              0.13038,
              0.15735,
              0.21216,
              0.32423,
              0.54663,
              0.99123
            ],
            [
              0.11776,
              0.14244,
              0.16726,
              0.21818,
              0.32433,
              0.54637,
              0.99119
            ],
            [
              0.13613,
              0.16509,
              0.1909,
              0.2381,
              0.33621,
              0.54727,
              0.99043
            ],
            [
              0.16294,
              0.19565,
              0.22464,
              0.27633,
              0.3689,
              0.56356,
              0.9911
            ],
            [
              0.2,
              0.2381,
              0.271,
              0.329,
              0.4297,
              0.6116,
              1.0081
            ],
            [
              0.25,
              0.2947,
              0.3333,
              0.4,
              0.5131,
              0.7033,
              1.0688
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0667,
              0.0966,
              0.12723,
              0.18798,
              0.3092,
              0.5519,
              1.03575
            ],
            [
              0.06677,
              0.09671,
              0.12716,
              0.18793,
              0.30932,
              0.55216,
              1.03436
            ],
            [
              0.06685,
              0.09677,
              0.12718,
              0.18792,
              0.30936,
              0.55201,
              1.03572
            ],
            [
              0.06698,
              0.09678,
              0.12722,
              0.18783,
              0.30922,
              0.5513,
              1.0365
            ],
            [
              0.06715,
              0.09684,
              0.12726,
              0.18773,
              0.30937,
              0.55169,
              1.03584
            ],
            [
              0.06746,
              0.09696,
              0.12735,
              0.18816,
              0.30967,
              0.55221,
              1.03617
            ],
            [
              0.06935,
              0.09766,
              0.1276,
              0.18815,
              0.30931,
              0.55154,
              1.03504
            ],
            [
              0.07893,
              0.10369,
              0.13102,
              0.18898,
              0.30955,
              0.55095,
              1.03577
            ],
            [
              0.09986,
              0.12088,
              0.14495,
              0.19724,
              0.31103,
              0.55121,
              1.03545
            ],
            [
              0.12831,
              0.1519,
              0.17539,
              0.22118,
              0.32505,
              0.55353,
              1.03554
            ],
            [
              0.16857,
              0.19424,
              0.22,
              0.26838,
              0.36022,
              0.57015,
              1.035
            ],
            [
              0.2236,
              0.2526,
              0.2814,
              0.3349,
              0.4314,
              0.6192,
              1.052
            ],
            [
              0.2981,
              0.33,
              0.3626,
              0.4231,
              0.5317,
              0.7201,
              1.1116
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.07943,
              0.10331,
              0.12581,
              0.16879,
              0.25151,
              0.41292,
              0.73155
            ],
            [
              0.0813,
              0.10521,
              0.12773,
              0.17073,
              0.25347,
              0.41486,
              0.73371
            ],
            [
              0.0837,
              0.10766,
              0.13021,
              0.17324,
              0.25599,
              0.41739,
              0.73616
            ],
            [
              0.08746,
              0.11149,
              0.13411,
              0.17722,
              0.26003,
              0.42145,
              0.7403
            ],
            [
              0.09337,
              0.11754,
              0.14021,
              0.18338,
              0.26627,
              0.42779,
              0.74665
            ],
            [
              0.10258,
              0.12695,
              0.14971,
              0.19299,
              0.27599,
              0.43764,
              0.75675
            ],
            [
              0.11759,
              0.14157,
              0.16442,
              0.2078,
              0.29094,
              0.45264,
              0.77186
            ],
            [
              0.14114,
              0.16517,
              0.18717,
              0.23043,
              0.31372,
              0.47555,
              0.79487
            ],
            [
              0.16978,
              0.19774,
              0.22225,
              0.26537,
              0.34839,
              0.51008,
              0.82935
            ],
            [
              0.204,
              0.23713,
              0.26602,
              0.31626,
              0.40123,
              0.56285,
              0.88189
            ],
            [
              0.24474,
              0.2841,
              0.31846,
              0.37829,
              0.47772,
              0.64262,
              0.96132
            ],
            [
              0.29317,
              0.33987,
              0.38077,
              0.45247,
              0.57127,
              0.76077,
              1.08117
            ],
            [
              0.3508,
              0.4063,
              0.4552,
              0.5406,
              0.6829,
              0.9098,
              1.2629
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.09888,
              0.12894,
              0.15772,
              0.21403,
              0.32548,
              0.5472,
              0.99066
            ],
            [
              0.10102,
              0.13153,
              0.16048,
              0.21703,
              0.32865,
              0.55089,
              0.99454
            ],
            [
              0.10375,
              0.13451,
              0.16366,
              0.22035,
              0.33209,
              0.55468,
              0.99862
            ],
            [
              0.10799,
              0.13891,
              0.16831,
              0.22535,
              0.33741,
              0.55995,
              1.00358
            ],
            [
              0.11466,
              0.14568,
              0.17521,
              0.23254,
              0.34489,
              0.56774,
              1.01161
            ],
            [
              0.12485,
              0.15579,
              0.18532,
              0.24291,
              0.35571,
              0.57879,
              1.02322
            ],
            [
              0.1393,
              0.17018,
              0.19969,
              0.2574,
              0.37036,
              0.59417,
              1.03823
            ],
            [
              0.15769,
              0.19041,
              0.22012,
              0.27761,
              0.39091,
              0.61493,
              1.06006
            ],
            [
              0.1762,
              0.21443,
              0.24776,
              0.30633,
              0.41964,
              0.64349,
              1.08975
            ],
            [
              0.19509,
              0.24009,
              0.27861,
              0.34566,
              0.46166,
              0.68589,
              1.13229
            ],
            [
              0.2119,
              0.26665,
              0.3124,
              0.39028,
              0.52142,
              0.74812,
              1.19432
            ],
            [
              0.22467,
              0.29227,
              0.34787,
              0.44067,
              0.59267,
              0.84177,
              1.28847
            ],
            [
              0.2344,
              0.3166,
              0.3842,
              0.4962,
              0.6754,
              0.9616,
              1.4299
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0885,
              0.11553,
              0.14274,
              0.19783,
              0.30834,
              0.53,
              0.97348
            ],
            [
              0.08851,
              0.11553,
              0.14285,
              0.19763,
              0.30803,
              0.52948,
              0.97245
            ],
            [
              0.08858,
              0.11554,
              0.14276,
              0.19787,
              0.30807,
              0.52931,
              0.97306
            ],
            [
              0.08852,
              0.11545,
              0.14283,
              0.19791,
              0.30815,
              0.52993,
              0.97374
            ],
            [
              0.08718,
              0.11528,
              0.14287,
              0.19765,
              0.30836,
              0.52925,
              0.97357
            ],
            [
              0.08491,
              0.11359,
              0.14232,
              0.19783,
              0.30824,
              0.52993,
              0.97373
            ],
            [
              0.08608,
              0.11308,
              0.14088,
              0.19717,
              0.30835,
              0.52986,
              0.97319
            ],
            [
              0.09321,
              0.11825,
              0.14412,
              0.19714,
              0.30795,
              0.52972,
              0.97366
            ],
            [
              0.10625,
              0.13276,
              0.15642,
              0.20551,
              0.30938,
              0.52975,
              0.97315
            ],
            [
              0.12396,
              0.15421,
              0.18081,
              0.22777,
              0.32319,
              0.53092,
              0.97336
            ],
            [
              0.14978,
              0.18413,
              0.21388,
              0.2663,
              0.35818,
              0.54986,
              0.9732
            ],
            [
              0.1855,
              0.2255,
              0.2596,
              0.3185,
              0.4193,
              0.6002,
              0.9928
            ],
            [
              0.2336,
              0.2812,
              0.321,
              0.389,
              0.503,
              0.6945,
              1.0559
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.06387,
              0.10341,
              0.14314,
              0.22233,
              0.38072,
              0.69858,
              1.33223
            ],
            [
              0.06395,
              0.10334,
              0.14316,
              0.22223,
              0.38129,
              0.69801,
              1.33281
            ],
            [
              0.06398,
              0.10319,
              0.14317,
              0.22251,
              0.38128,
              0.69736,
              1.33253
            ],
            [
              0.06414,
              0.10345,
              0.14313,
              0.22218,
              0.38132,
              0.69875,
              1.33171
            ],
            [
              0.06413,
              0.10354,
              0.14321,
              0.22255,
              0.38129,
              0.69783,
              1.33123
            ],
            [
              0.06473,
              0.10367,
              0.14314,
              0.22246,
              0.38077,
              0.69786,
              1.33208
            ],
            [
              0.06622,
              0.10439,
              0.14347,
              0.22261,
              0.38133,
              0.69793,
              1.33289
            ],
            [
              0.07473,
              0.10877,
              0.14583,
              0.22311,
              0.38136,
              0.69724,
              1.33272
            ],
            [
              0.09123,
              0.12317,
              0.15657,
              0.22907,
              0.38203,
              0.69817,
              1.33233
            ],
            [
              0.11313,
              0.14804,
              0.18189,
              0.24758,
              0.39105,
              0.69818,
              1.33189
            ],
            [
              0.14523,
              0.1826,
              0.2186,
              0.28699,
              0.41865,
              0.70863,
              1.3323
            ],
            [
              0.1903,
              0.2313,
              0.2701,
              0.3428,
              0.4765,
              0.7449,
              1.3381
            ],
            [
              0.2531,
              0.2977,
              0.3409,
              0.4204,
              0.5641,
              0.8235,
              1.3793
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.08312,
              0.10669,
              0.12904,
              0.17196,
              0.25472,
              0.41639,
              0.73602
            ],
            [
              0.08497,
              0.10859,
              0.13095,
              0.17387,
              0.2567,
              0.41836,
              0.73802
            ],
            [
              0.08738,
              0.11102,
              0.13343,
              0.17639,
              0.25921,
              0.42092,
              0.7406
            ],
            [
              0.09115,
              0.11488,
              0.13733,
              0.18036,
              0.26322,
              0.42496,
              0.74465
            ],
            [
              0.09707,
              0.12093,
              0.14342,
              0.18651,
              0.26949,
              0.43128,
              0.75102
            ],
            [
              0.10628,
              0.13036,
              0.15295,
              0.19612,
              0.2792,
              0.44116,
              0.76119
            ],
            [
              0.12097,
              0.14491,
              0.16763,
              0.21097,
              0.29418,
              0.45622,
              0.77622
            ],
            [
              0.14481,
              0.1682,
              0.19034,
              0.23361,
              0.31697,
              0.4792,
              0.7992
            ],
            [
              0.1742,
              0.20145,
              0.22558,
              0.26848,
              0.35166,
              0.51382,
              0.83385
            ],
            [
              0.20949,
              0.24174,
              0.2701,
              0.31984,
              0.40453,
              0.56653,
              0.88639
            ],
            [
              0.25169,
              0.28993,
              0.32365,
              0.3828,
              0.48152,
              0.64632,
              0.96592
            ],
            [
              0.30207,
              0.34737,
              0.38747,
              0.45817,
              0.57617,
              0.76497,
              1.08577
            ],
            [
              0.3626,
              0.4162,
              0.464,
              0.5482,
              0.6893,
              0.9153,
              1.2677
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.12714,
              0.15631,
              0.18465,
              0.2402,
              0.34994,
              0.568,
              1.00317
            ],
            [
              0.12982,
              0.15914,
              0.18757,
              0.24329,
              0.35318,
              0.57125,
              1.00664
            ],
            [
              0.13295,
              0.1624,
              0.19096,
              0.24679,
              0.35679,
              0.57512,
              1.01032
            ],
            [
              0.13756,
              0.16712,
              0.19579,
              0.25181,
              0.36201,
              0.58047,
              1.01578
            ],
            [
              0.14446,
              0.17416,
              0.20294,
              0.25914,
              0.36955,
              0.58826,
              1.02391
            ],
            [
              0.15464,
              0.18433,
              0.21325,
              0.26966,
              0.38041,
              0.59933,
              1.03512
            ],
            [
              0.16909,
              0.19885,
              0.22779,
              0.28428,
              0.39527,
              0.61458,
              1.05063
            ],
            [
              0.18929,
              0.21911,
              0.24802,
              0.3046,
              0.41577,
              0.63542,
              1.07186
            ],
            [
              0.21373,
              0.24708,
              0.27676,
              0.3334,
              0.44464,
              0.66451,
              1.10155
            ],
            [
              0.23995,
              0.2782,
              0.31271,
              0.37489,
              0.4868,
              0.70689,
              1.14419
            ],
            [
              0.26741,
              0.31272,
              0.35306,
              0.42454,
              0.54862,
              0.76962,
              1.20732
            ],
            [
              0.29417,
              0.34927,
              0.39747,
              0.48157,
              0.62437,
              0.86377,
              1.30177
            ],
            [
              0.3195,
              0.3866,
              0.445,
              0.5458,
              0.7133,
              0.9877,
              1.4441
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.12494,
              0.15043,
              0.17685,
              0.23067,
              0.33988,
              0.56054,
              1.00458
            ],
            [
              0.12504,
              0.15041,
              0.17684,
              0.23072,
              0.34012,
              0.56054,
              1.00426
            ],
            [
              0.12506,
              0.15045,
              0.17685,
              0.23069,
              0.34041,
              0.56056,
              1.00456
            ],
            [
              0.12494,
              0.15046,
              0.17686,
              0.23056,
              0.33979,
              0.5604,
              1.00444
            ],
            [
              0.12373,
              0.15031,
              0.17683,
              0.23069,
              0.34007,
              0.56056,
              1.00449
            ],
            [
              0.12145,
              0.14869,
              0.17636,
              0.23068,
              0.34002,
              0.56056,
              1.00463
            ],
            [
              0.12256,
              0.14815,
              0.17486,
              0.2302,
              0.33982,
              0.56057,
              1.00447
            ],
            [
              0.12972,
              0.15329,
              0.17804,
              0.23025,
              0.33961,
              0.56062,
              1.00457
            ],
            [
              0.14583,
              0.1676,
              0.19045,
              0.23855,
              0.34111,
              0.56044,
              1.00413
            ],
            [
              0.1694,
              0.1938,
              0.21649,
              0.26066,
              0.35525,
              0.56216,
              1.00453
            ],
            [
              0.20223,
              0.22918,
              0.25469,
              0.30201,
              0.39018,
              0.58087,
              1.0046
            ],
            [
              0.2475,
              0.2784,
              0.3071,
              0.3594,
              0.454,
              0.6311,
              1.0238
            ],
            [
              0.3084,
              0.3444,
              0.3774,
              0.4371,
              0.5426,
              0.7262,
              1.0877
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.08908,
              0.12858,
              0.16792,
              0.24695,
              0.40468,
              0.71908,
              1.34549
            ],
            [
              0.08908,
              0.12855,
              0.16816,
              0.24708,
              0.40462,
              0.71843,
              1.34713
            ],
            [
              0.08901,
              0.12859,
              0.16792,
              0.24704,
              0.40449,
              0.71908,
              1.34488
            ],
            [
              0.08906,
              0.12851,
              0.16806,
              0.24702,
              0.40389,
              0.71901,
              1.34556
            ],
            [
              0.08915,
              0.12861,
              0.16813,
              0.24699,
              0.40418,
              0.71906,
              1.34704
            ],
            [
              0.08911,
              0.12845,
              0.16797,
              0.24681,
              0.40457,
              0.71897,
              1.34618
            ],
            [
              0.08981,
              0.12882,
              0.16831,
              0.2469,
              0.40392,
              0.71903,
              1.34701
            ],
            [
              0.09405,
              0.13065,
              0.16914,
              0.247,
              0.40405,
              0.71893,
              1.34649
            ],
            [
              0.10762,
              0.14145,
              0.17717,
              0.25076,
              0.40463,
              0.71836,
              1.34702
            ],
            [
              0.13065,
              0.16571,
              0.1983,
              0.26655,
              0.41165,
              0.71894,
              1.34623
            ],
            [
              0.16279,
              0.20032,
              0.23595,
              0.3027,
              0.43607,
              0.7283,
              1.3449
            ],
            [
              0.2087,
              0.2496,
              0.2883,
              0.3601,
              0.4915,
              0.7616,
              1.3527
            ],
            [
              0.2719,
              0.3175,
              0.3602,
              0.438,
              0.5801,
              0.8375,
              1.3935
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.1251,
              0.14764,
              0.16937,
              0.2115,
              0.29347,
              0.45432,
              0.77282
            ],
            [
              0.1274,
              0.14995,
              0.17168,
              0.21382,
              0.2958,
              0.45666,
              0.77522
            ],
            [
              0.1303,
              0.15286,
              0.17462,
              0.21676,
              0.29877,
              0.45959,
              0.77826
            ],
            [
              0.13462,
              0.15724,
              0.17905,
              0.22121,
              0.30324,
              0.4641,
              0.78251
            ],
            [
              0.14079,
              0.16345,
              0.18532,
              0.22756,
              0.30965,
              0.47057,
              0.78926
            ],
            [
              0.14957,
              0.17236,
              0.1943,
              0.23667,
              0.31885,
              0.47987,
              0.79841
            ],
            [
              0.1625,
              0.1854,
              0.20741,
              0.24991,
              0.33229,
              0.49344,
              0.81227
            ],
            [
              0.18228,
              0.20506,
              0.22712,
              0.26977,
              0.35234,
              0.51372,
              0.83276
            ],
            [
              0.21001,
              0.23447,
              0.25712,
              0.29968,
              0.38247,
              0.54413,
              0.86345
            ],
            [
              0.24538,
              0.27255,
              0.29768,
              0.34393,
              0.42792,
              0.58982,
              0.90949
            ],
            [
              0.28985,
              0.32089,
              0.34945,
              0.40143,
              0.49392,
              0.65862,
              0.97862
            ],
            [
              0.34377,
              0.38047,
              0.41397,
              0.47407,
              0.57917,
              0.75997,
              1.08257
            ],
            [
              0.4079,
              0.452,
              0.492,
              0.5636,
              0.6865,
              0.892,
              1.2388
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.11829,
              0.14252,
              0.16613,
              0.21269,
              0.30474,
              0.48781,
              0.85316
            ],
            [
              0.12073,
              0.14509,
              0.16881,
              0.21538,
              0.30753,
              0.49064,
              0.85596
            ],
            [
              0.12359,
              0.14811,
              0.17191,
              0.2186,
              0.31076,
              0.49396,
              0.85931
            ],
            [
              0.12801,
              0.15271,
              0.17661,
              0.22342,
              0.31572,
              0.49902,
              0.86452
            ],
            [
              0.13486,
              0.15972,
              0.18371,
              0.23076,
              0.32323,
              0.50662,
              0.87211
            ],
            [
              0.14526,
              0.17014,
              0.19425,
              0.2414,
              0.33416,
              0.51767,
              0.88334
            ],
            [
              0.16042,
              0.18528,
              0.20955,
              0.25677,
              0.34972,
              0.53334,
              0.89923
            ],
            [
              0.18208,
              0.20726,
              0.23146,
              0.27883,
              0.37185,
              0.5558,
              0.92196
            ],
            [
              0.20792,
              0.23716,
              0.26313,
              0.31086,
              0.40403,
              0.58828,
              0.95475
            ],
            [
              0.23623,
              0.27095,
              0.3018,
              0.35648,
              0.45176,
              0.63619,
              1.00279
            ],
            [
              0.26479,
              0.3077,
              0.34518,
              0.41031,
              0.52012,
              0.70772,
              1.07472
            ],
            [
              0.29127,
              0.34497,
              0.39147,
              0.47117,
              0.60227,
              0.81397,
              1.18247
            ],
            [
              0.3164,
              0.382,
              0.4392,
              0.5373,
              0.6967,
              0.9476,
              1.3447
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10016,
              0.12863,
              0.15675,
              0.21276,
              0.32419,
              0.54678,
              0.99003
            ],
            [
              0.10015,
              0.12847,
              0.15674,
              0.21276,
              0.32426,
              0.54676,
              0.99005
            ],
            [
              0.10012,
              0.12856,
              0.15672,
              0.21271,
              0.32388,
              0.54594,
              0.99139
            ],
            [
              0.10015,
              0.12863,
              0.15685,
              0.21262,
              0.32427,
              0.5464,
              0.99089
            ],
            [
              0.10009,
              0.12855,
              0.15684,
              0.21267,
              0.32424,
              0.54673,
              0.9908
            ],
            [
              0.10004,
              0.12851,
              0.15678,
              0.21279,
              0.32411,
              0.54657,
              0.99094
            ],
            [
              0.09977,
              0.12819,
              0.15656,
              0.21255,
              0.32424,
              0.54619,
              0.98961
            ],
            [
              0.10328,
              0.13058,
              0.1579,
              0.21271,
              0.32403,
              0.54652,
              0.99027
            ],
            [
              0.11294,
              0.13847,
              0.16447,
              0.21736,
              0.32509,
              0.54652,
              0.99097
            ],
            [
              0.12876,
              0.15571,
              0.18131,
              0.2308,
              0.33374,
              0.54755,
              0.9909
            ],
            [
              0.15212,
              0.18113,
              0.20805,
              0.25938,
              0.35628,
              0.55955,
              0.9913
            ],
            [
              0.1863,
              0.2182,
              0.2476,
              0.3016,
              0.4017,
              0.5935,
              1.0055
            ],
            [
              0.2345,
              0.2707,
              0.3034,
              0.3626,
              0.4694,
              0.6635,
              1.0493
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.09288,
              0.12517,
              0.15776,
              0.22276,
              0.35272,
              0.61172,
              1.1292
            ],
            [
              0.09297,
              0.12509,
              0.15749,
              0.22279,
              0.3526,
              0.61136,
              1.1294
            ],
            [
              0.09299,
              0.12499,
              0.15779,
              0.22268,
              0.35271,
              0.61107,
              1.12936
            ],
            [
              0.09296,
              0.1251,
              0.15772,
              0.22276,
              0.35268,
              0.61158,
              1.1279
            ],
            [
              0.09308,
              0.12504,
              0.15781,
              0.22246,
              0.35258,
              0.61124,
              1.12935
            ],
            [
              0.09301,
              0.12511,
              0.15772,
              0.2228,
              0.35241,
              0.61175,
              1.12932
            ],
            [
              0.09371,
              0.12552,
              0.15769,
              0.22288,
              0.35215,
              0.61177,
              1.12945
            ],
            [
              0.09862,
              0.12816,
              0.1593,
              0.22279,
              0.35266,
              0.61186,
              1.12931
            ],
            [
              0.11426,
              0.14061,
              0.16885,
              0.2286,
              0.35318,
              0.61115,
              1.1275
            ],
            [
              0.1423,
              0.16864,
              0.19389,
              0.24721,
              0.36315,
              0.61202,
              1.1283
            ],
            [
              0.18178,
              0.21058,
              0.23804,
              0.29,
              0.39388,
              0.62603,
              1.1288
            ],
            [
              0.2366,
              0.2687,
              0.2995,
              0.3562,
              0.4593,
              0.6681,
              1.1406
            ],
            [
              0.309,
              0.3459,
              0.381,
              0.4453,
              0.5591,
              0.7609,
              1.1935
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.09922,
              0.12306,
              0.14555,
              0.18852,
              0.27123,
              0.43258,
              0.75131
            ],
            [
              0.10141,
              0.12526,
              0.14776,
              0.19074,
              0.27344,
              0.43478,
              0.75369
            ],
            [
              0.1042,
              0.12808,
              0.15059,
              0.19357,
              0.2763,
              0.43764,
              0.75654
            ],
            [
              0.10841,
              0.13234,
              0.15488,
              0.19789,
              0.28064,
              0.44196,
              0.76092
            ],
            [
              0.11446,
              0.13846,
              0.16105,
              0.20413,
              0.28692,
              0.44832,
              0.76729
            ],
            [
              0.12321,
              0.14727,
              0.16993,
              0.21312,
              0.29602,
              0.45752,
              0.77652
            ],
            [
              0.13641,
              0.16035,
              0.18305,
              0.22635,
              0.30942,
              0.47102,
              0.79019
            ],
            [
              0.1561,
              0.18044,
              0.20292,
              0.24619,
              0.32945,
              0.49131,
              0.81065
            ],
            [
              0.18108,
              0.20799,
              0.23235,
              0.27634,
              0.35963,
              0.52176,
              0.84125
            ],
            [
              0.213,
              0.24319,
              0.27028,
              0.31901,
              0.40519,
              0.56754,
              0.88739
            ],
            [
              0.25212,
              0.28724,
              0.31837,
              0.3736,
              0.46952,
              0.63642,
              0.95672
            ],
            [
              0.29837,
              0.34037,
              0.37727,
              0.44187,
              0.55167,
              0.73647,
              1.06067
            ],
            [
              0.3523,
              0.4029,
              0.4475,
              0.525,
              0.6544,
              0.8657,
              1.2165
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.13592,
              0.16683,
              0.19714,
              0.25698,
              0.37561,
              0.61178,
              1.08327
            ],
            [
              0.13823,
              0.16932,
              0.19972,
              0.25963,
              0.37834,
              0.61456,
              1.08624
            ],
            [
              0.14096,
              0.17223,
              0.20275,
              0.26275,
              0.38159,
              0.61789,
              1.08972
            ],
            [
              0.14519,
              0.17666,
              0.20733,
              0.2675,
              0.38644,
              0.62281,
              1.09468
            ],
            [
              0.15178,
              0.18347,
              0.21428,
              0.27466,
              0.39385,
              0.63042,
              1.10241
            ],
            [
              0.16172,
              0.19345,
              0.22441,
              0.28502,
              0.40449,
              0.64126,
              1.11332
            ],
            [
              0.17603,
              0.20773,
              0.23879,
              0.29953,
              0.41917,
              0.65627,
              1.12863
            ],
            [
              0.19602,
              0.22786,
              0.25883,
              0.31972,
              0.43957,
              0.67695,
              1.14946
            ],
            [
              0.22033,
              0.25553,
              0.28714,
              0.34799,
              0.46791,
              0.70554,
              1.17855
            ],
            [
              0.24637,
              0.28647,
              0.32283,
              0.3886,
              0.50893,
              0.74679,
              1.21999
            ],
            [
              0.27347,
              0.32058,
              0.36267,
              0.43785,
              0.56922,
              0.80752,
              1.28112
            ],
            [
              0.29967,
              0.35667,
              0.40657,
              0.49427,
              0.64447,
              0.89857,
              1.37217
            ],
            [
              0.3254,
              0.3942,
              0.4542,
              0.5583,
              0.7328,
              1.0217,
              1.5096
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0874,
              0.11495,
              0.1424,
              0.19773,
              0.30822,
              0.52976,
              0.97304
            ],
            [
              0.08737,
              0.11487,
              0.1425,
              0.19779,
              0.30801,
              0.52964,
              0.97245
            ],
            [
              0.08728,
              0.11487,
              0.1424,
              0.19751,
              0.30824,
              0.52989,
              0.97317
            ],
            [
              0.08725,
              0.11488,
              0.14238,
              0.19772,
              0.30827,
              0.52908,
              0.97308
            ],
            [
              0.08699,
              0.11473,
              0.14246,
              0.19762,
              0.30796,
              0.5297,
              0.97374
            ],
            [
              0.08633,
              0.11437,
              0.14217,
              0.19768,
              0.30805,
              0.5299,
              0.97321
            ],
            [
              0.08722,
              0.1142,
              0.14187,
              0.1972,
              0.30822,
              0.52983,
              0.97238
            ],
            [
              0.0919,
              0.11782,
              0.14425,
              0.19794,
              0.30795,
              0.52988,
              0.9735
            ],
            [
              0.10272,
              0.12755,
              0.15246,
              0.20371,
              0.30968,
              0.52974,
              0.97332
            ],
            [
              0.11793,
              0.14501,
              0.17063,
              0.21891,
              0.31977,
              0.53201,
              0.9722
            ],
            [
              0.14118,
              0.17016,
              0.19747,
              0.2482,
              0.34389,
              0.5455,
              0.9746
            ],
            [
              0.1751,
              0.2073,
              0.2367,
              0.2912,
              0.3906,
              0.5806,
              0.9884
            ],
            [
              0.2228,
              0.2597,
              0.2927,
              0.3523,
              0.4584,
              0.6523,
              1.0349
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.09473,
              0.13727,
              0.17977,
              0.26461,
              0.43353,
              0.77029,
              1.44482
            ],
            [
              0.0945,
              0.13727,
              0.17981,
              0.26462,
              0.43366,
              0.77163,
              1.44356
            ],
            [
              0.09456,
              0.13729,
              0.1798,
              0.2646,
              0.43333,
              0.77167,
              1.44646
            ],
            [
              0.09475,
              0.13719,
              0.17975,
              0.26462,
              0.43371,
              0.77125,
              1.44611
            ],
            [
              0.0948,
              0.13732,
              0.17973,
              0.26471,
              0.43326,
              0.77042,
              1.44642
            ],
            [
              0.09499,
              0.13727,
              0.17981,
              0.26443,
              0.43395,
              0.77095,
              1.44552
            ],
            [
              0.09546,
              0.1375,
              0.17977,
              0.26469,
              0.43344,
              0.77057,
              1.4443
            ],
            [
              0.09901,
              0.13916,
              0.18063,
              0.26463,
              0.43369,
              0.7714,
              1.44412
            ],
            [
              0.11208,
              0.14924,
              0.18789,
              0.2681,
              0.43423,
              0.77057,
              1.44555
            ],
            [
              0.13387,
              0.17187,
              0.2076,
              0.28261,
              0.44062,
              0.77077,
              1.44632
            ],
            [
              0.16481,
              0.2053,
              0.24385,
              0.31622,
              0.46282,
              0.7786,
              1.4444
            ],
            [
              0.2095,
              0.2537,
              0.2951,
              0.3722,
              0.5144,
              0.8099,
              1.4508
            ],
            [
              0.2706,
              0.3197,
              0.3652,
              0.4488,
              0.601,
              0.8815,
              1.4866
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.1029,
              0.12648,
              0.14881,
              0.19169,
              0.27451,
              0.43615,
              0.75599
            ],
            [
              0.10511,
              0.12867,
              0.15102,
              0.19392,
              0.27671,
              0.43838,
              0.75807
            ],
            [
              0.1079,
              0.13145,
              0.15385,
              0.19677,
              0.27955,
              0.44125,
              0.76094
            ],
            [
              0.1121,
              0.13575,
              0.15813,
              0.20108,
              0.28388,
              0.44561,
              0.76528
            ],
            [
              0.11815,
              0.14186,
              0.16431,
              0.20731,
              0.29019,
              0.45193,
              0.7716
            ],
            [
              0.12687,
              0.15069,
              0.1732,
              0.2163,
              0.29927,
              0.46114,
              0.78089
            ],
            [
              0.13998,
              0.1637,
              0.1863,
              0.22957,
              0.3127,
              0.47465,
              0.79453
            ],
            [
              0.15988,
              0.18369,
              0.20613,
              0.24939,
              0.33274,
              0.49495,
              0.81509
            ],
            [
              0.18525,
              0.21166,
              0.23576,
              0.27948,
              0.36294,
              0.52542,
              0.84575
            ],
            [
              0.2178,
              0.24735,
              0.27412,
              0.32254,
              0.40849,
              0.57127,
              0.89189
            ],
            [
              0.25795,
              0.2922,
              0.32287,
              0.37766,
              0.47322,
              0.64022,
              0.96122
            ],
            [
              0.30587,
              0.34657,
              0.38287,
              0.44687,
              0.55607,
              0.74067,
              1.06537
            ],
            [
              0.3622,
              0.4112,
              0.4548,
              0.5314,
              0.6598,
              0.8706,
              1.2213
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.16303,
              0.19299,
              0.22248,
              0.28058,
              0.39556,
              0.62411,
              1.07987
            ],
            [
              0.16549,
              0.19554,
              0.2251,
              0.28326,
              0.39834,
              0.62694,
              1.08284
            ],
            [
              0.16847,
              0.19859,
              0.2282,
              0.28644,
              0.4016,
              0.63015,
              1.08622
            ],
            [
              0.173,
              0.20322,
              0.23291,
              0.29128,
              0.40647,
              0.63531,
              1.09127
            ],
            [
              0.17985,
              0.21023,
              0.24003,
              0.2985,
              0.41391,
              0.6428,
              1.09891
            ],
            [
              0.19,
              0.22048,
              0.25037,
              0.30903,
              0.42466,
              0.65372,
              1.11002
            ],
            [
              0.20441,
              0.23494,
              0.26488,
              0.32369,
              0.43946,
              0.66881,
              1.12523
            ],
            [
              0.22464,
              0.25515,
              0.28516,
              0.34406,
              0.46006,
              0.68965,
              1.14636
            ],
            [
              0.25267,
              0.28373,
              0.31378,
              0.37267,
              0.48885,
              0.71855,
              1.17575
            ],
            [
              0.28422,
              0.32004,
              0.3533,
              0.41419,
              0.53042,
              0.76039,
              1.21769
            ],
            [
              0.31933,
              0.36075,
              0.39886,
              0.46842,
              0.59202,
              0.82222,
              1.27982
            ],
            [
              0.35627,
              0.40577,
              0.45057,
              0.53117,
              0.67237,
              0.91487,
              1.37267
            ],
            [
              0.3948,
              0.4542,
              0.5079,
              0.6032,
              0.7669,
              1.0425,
              1.5125
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.1234,
              0.14939,
              0.17616,
              0.23009,
              0.33977,
              0.56019,
              1.00401
            ],
            [
              0.12346,
              0.1494,
              0.17615,
              0.2301,
              0.33952,
              0.56025,
              1.0031
            ],
            [
              0.12338,
              0.14943,
              0.17614,
              0.23015,
              0.33988,
              0.56005,
              1.00331
            ],
            [
              0.12332,
              0.1493,
              0.17612,
              0.23006,
              0.33979,
              0.56058,
              1.00392
            ],
            [
              0.12309,
              0.14922,
              0.17606,
              0.23004,
              0.33969,
              0.56004,
              1.00247
            ],
            [
              0.12238,
              0.1489,
              0.17588,
              0.22996,
              0.33998,
              0.5602,
              1.00375
            ],
            [
              0.12332,
              0.14883,
              0.17547,
              0.22993,
              0.33972,
              0.56018,
              1.0024
            ],
            [
              0.12781,
              0.15238,
              0.17794,
              0.2304,
              0.33975,
              0.55999,
              1.00232
            ],
            [
              0.13883,
              0.16176,
              0.18592,
              0.23632,
              0.34177,
              0.56014,
              1.00393
            ],
            [
              0.15759,
              0.18134,
              0.20432,
              0.25117,
              0.35122,
              0.5625,
              1.00333
            ],
            [
              0.18507,
              0.21003,
              0.23457,
              0.28235,
              0.37555,
              0.57603,
              1.0033
            ],
            [
              0.2252,
              0.2521,
              0.2782,
              0.3284,
              0.4237,
              0.6109,
              1.0198
            ],
            [
              0.2822,
              0.3122,
              0.3407,
              0.3945,
              0.495,
              0.6835,
              1.0658
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.11833,
              0.16036,
              0.20225,
              0.28547,
              0.45095,
              0.78069,
              1.43779
            ],
            [
              0.11839,
              0.16039,
              0.20222,
              0.28545,
              0.4509,
              0.77918,
              1.43695
            ],
            [
              0.11832,
              0.16035,
              0.20221,
              0.28551,
              0.4504,
              0.78061,
              1.43864
            ],
            [
              0.11835,
              0.16046,
              0.20238,
              0.28517,
              0.451,
              0.77926,
              1.43612
            ],
            [
              0.11834,
              0.16049,
              0.20218,
              0.28554,
              0.45099,
              0.77986,
              1.43674
            ],
            [
              0.11847,
              0.1604,
              0.20229,
              0.28547,
              0.45057,
              0.78017,
              1.43811
            ],
            [
              0.11865,
              0.16037,
              0.20231,
              0.28525,
              0.45101,
              0.78008,
              1.43688
            ],
            [
              0.12021,
              0.16127,
              0.20254,
              0.28544,
              0.45082,
              0.77938,
              1.43628
            ],
            [
              0.12977,
              0.16843,
              0.2077,
              0.28748,
              0.45044,
              0.78053,
              1.43746
            ],
            [
              0.15196,
              0.1882,
              0.22438,
              0.29942,
              0.45566,
              0.78015,
              1.43823
            ],
            [
              0.18368,
              0.22324,
              0.26048,
              0.3303,
              0.4767,
              0.7868,
              1.4382
            ],
            [
              0.23,
              0.2724,
              0.3124,
              0.387,
              0.5256,
              0.8167,
              1.4431
            ],
            [
              0.2935,
              0.3407,
              0.3848,
              0.4657,
              0.6127,
              0.8868,
              1.4781
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.1315,
              0.15405,
              0.17578,
              0.21789,
              0.29986,
              0.46067,
              0.77919
            ],
            [
              0.1341,
              0.15665,
              0.1784,
              0.22054,
              0.3025,
              0.46333,
              0.78192
            ],
            [
              0.13711,
              0.1597,
              0.18146,
              0.22359,
              0.30558,
              0.46642,
              0.78499
            ],
            [
              0.1413,
              0.16392,
              0.18571,
              0.2279,
              0.30994,
              0.47081,
              0.78924
            ],
            [
              0.14715,
              0.16986,
              0.19168,
              0.23396,
              0.31605,
              0.47699,
              0.79576
            ],
            [
              0.15533,
              0.17813,
              0.20003,
              0.2424,
              0.32462,
              0.48563,
              0.80442
            ],
            [
              0.16687,
              0.18976,
              0.21174,
              0.25423,
              0.3366,
              0.49777,
              0.81657
            ],
            [
              0.18366,
              0.20648,
              0.22852,
              0.27112,
              0.35367,
              0.51502,
              0.83406
            ],
            [
              0.20668,
              0.23063,
              0.25315,
              0.29575,
              0.37844,
              0.54003,
              0.85925
            ],
            [
              0.23573,
              0.26154,
              0.28579,
              0.3311,
              0.41504,
              0.57681,
              0.89639
            ],
            [
              0.27261,
              0.30097,
              0.32743,
              0.37674,
              0.46702,
              0.63172,
              0.95142
            ],
            [
              0.31917,
              0.35107,
              0.38067,
              0.43527,
              0.53407,
              0.71127,
              1.03427
            ],
            [
              0.3769,
              0.414,
              0.448,
              0.5101,
              0.6204,
              0.8145,
              1.1579
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.12299,
              0.14667,
              0.16959,
              0.21429,
              0.30194,
              0.47508,
              0.8196
            ],
            [
              0.12539,
              0.14907,
              0.17201,
              0.21668,
              0.30438,
              0.47753,
              0.82214
            ],
            [
              0.1284,
              0.1521,
              0.17506,
              0.21975,
              0.30746,
              0.48063,
              0.82516
            ],
            [
              0.13304,
              0.15682,
              0.1798,
              0.22451,
              0.31222,
              0.48547,
              0.83005
            ],
            [
              0.14013,
              0.16396,
              0.18697,
              0.23174,
              0.31949,
              0.49277,
              0.83724
            ],
            [
              0.1505,
              0.17434,
              0.19739,
              0.24226,
              0.33011,
              0.50338,
              0.84791
            ],
            [
              0.16517,
              0.18909,
              0.21217,
              0.2571,
              0.345,
              0.51839,
              0.86294
            ],
            [
              0.18603,
              0.20997,
              0.23306,
              0.27804,
              0.36603,
              0.5395,
              0.88426
            ],
            [
              0.21157,
              0.23864,
              0.26316,
              0.30837,
              0.39643,
              0.57007,
              0.91495
            ],
            [
              0.23892,
              0.27072,
              0.29939,
              0.35079,
              0.44113,
              0.61496,
              0.95999
            ],
            [
              0.2663,
              0.30478,
              0.33909,
              0.39979,
              0.50382,
              0.68182,
              1.02712
            ],
            [
              0.29097,
              0.33817,
              0.38007,
              0.45347,
              0.57667,
              0.77917,
              1.12767
            ],
            [
              0.313,
              0.3699,
              0.4207,
              0.5098,
              0.6581,
              0.8967,
              1.2787
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10014,
              0.12863,
              0.15684,
              0.21273,
              0.32426,
              0.54668,
              0.99084
            ],
            [
              0.10016,
              0.12858,
              0.15682,
              0.21277,
              0.32421,
              0.54674,
              0.98978
            ],
            [
              0.10014,
              0.12862,
              0.15685,
              0.21277,
              0.32393,
              0.54665,
              0.99025
            ],
            [
              0.10011,
              0.12846,
              0.15682,
              0.21279,
              0.32402,
              0.54676,
              0.99093
            ],
            [
              0.10006,
              0.12862,
              0.15672,
              0.21276,
              0.32419,
              0.54674,
              0.99079
            ],
            [
              0.10011,
              0.12856,
              0.15671,
              0.21281,
              0.32399,
              0.54671,
              0.99097
            ],
            [
              0.09982,
              0.12843,
              0.15666,
              0.21266,
              0.32426,
              0.54667,
              0.99013
            ],
            [
              0.10213,
              0.1298,
              0.1575,
              0.21257,
              0.32399,
              0.5466,
              0.9906
            ],
            [
              0.10898,
              0.13557,
              0.16239,
              0.21624,
              0.32515,
              0.54643,
              0.99113
            ],
            [
              0.12068,
              0.14819,
              0.17469,
              0.22642,
              0.33194,
              0.5482,
              0.99112
            ],
            [
              0.13727,
              0.1663,
              0.19414,
              0.24756,
              0.3491,
              0.55831,
              0.9913
            ],
            [
              0.1625,
              0.1931,
              0.2225,
              0.2782,
              0.3835,
              0.5847,
              1.0053
            ],
            [
              0.2015,
              0.2341,
              0.265,
              0.323,
              0.4324,
              0.6386,
              1.042
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10337,
              0.13341,
              0.16388,
              0.2249,
              0.3475,
              0.59239,
              1.08132
            ],
            [
              0.10326,
              0.13339,
              0.16381,
              0.22506,
              0.3473,
              0.59257,
              1.08083
            ],
            [
              0.10321,
              0.13333,
              0.16367,
              0.22506,
              0.3473,
              0.59256,
              1.08087
            ],
            [
              0.10333,
              0.13329,
              0.16369,
              0.22508,
              0.34764,
              0.59142,
              1.08208
            ],
            [
              0.10328,
              0.13333,
              0.16371,
              0.22507,
              0.34765,
              0.59243,
              1.08151
            ],
            [
              0.10331,
              0.13334,
              0.16391,
              0.22502,
              0.347,
              0.5921,
              1.08167
            ],
            [
              0.1036,
              0.1335,
              0.16386,
              0.22472,
              0.34719,
              0.59163,
              1.08163
            ],
            [
              0.10802,
              0.13619,
              0.16531,
              0.2252,
              0.34731,
              0.59214,
              1.08122
            ],
            [
              0.12237,
              0.148,
              0.17471,
              0.23104,
              0.3487,
              0.59163,
              1.082
            ],
            [
              0.14947,
              0.17497,
              0.19923,
              0.25013,
              0.36021,
              0.59296,
              1.08188
            ],
            [
              0.18783,
              0.21551,
              0.24229,
              0.29273,
              0.39126,
              0.60942,
              1.0803
            ],
            [
              0.2411,
              0.2723,
              0.3018,
              0.3572,
              0.4582,
              0.6558,
              1.0997
            ],
            [
              0.3107,
              0.3469,
              0.3807,
              0.4434,
              0.5553,
              0.7524,
              1.1579
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.1056,
              0.12944,
              0.15193,
              0.1949,
              0.27761,
              0.43893,
              0.75786
            ],
            [
              0.1081,
              0.13195,
              0.15445,
              0.19742,
              0.28013,
              0.44144,
              0.76042
            ],
            [
              0.11099,
              0.13487,
              0.15738,
              0.20036,
              0.28308,
              0.44443,
              0.76336
            ],
            [
              0.11507,
              0.139,
              0.16153,
              0.20455,
              0.28729,
              0.44862,
              0.7676
            ],
            [
              0.12082,
              0.14481,
              0.1674,
              0.21047,
              0.29327,
              0.45465,
              0.77365
            ],
            [
              0.12894,
              0.15302,
              0.17568,
              0.21885,
              0.30174,
              0.46325,
              0.78221
            ],
            [
              0.1406,
              0.16466,
              0.18737,
              0.23067,
              0.31372,
              0.47533,
              0.79453
            ],
            [
              0.15741,
              0.18167,
              0.20428,
              0.2476,
              0.33081,
              0.49262,
              0.81179
            ],
            [
              0.17864,
              0.20462,
              0.22845,
              0.27236,
              0.35566,
              0.51767,
              0.83715
            ],
            [
              0.20539,
              0.23355,
              0.2593,
              0.30655,
              0.39235,
              0.55454,
              0.87429
            ],
            [
              0.23896,
              0.27011,
              0.29845,
              0.35012,
              0.44292,
              0.60962,
              0.92952
            ],
            [
              0.28047,
              0.31597,
              0.34797,
              0.40567,
              0.50777,
              0.68797,
              1.01237
            ],
            [
              0.3304,
              0.3725,
              0.4099,
              0.4761,
              0.591,
              0.789,
              1.1355
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.14566,
              0.17623,
              0.206,
              0.26425,
              0.37889,
              0.60595,
              1.05807
            ],
            [
              0.1479,
              0.1785,
              0.20829,
              0.26657,
              0.38121,
              0.60812,
              1.06044
            ],
            [
              0.15082,
              0.18147,
              0.21126,
              0.26955,
              0.38423,
              0.61127,
              1.06342
            ],
            [
              0.15538,
              0.18607,
              0.21591,
              0.27424,
              0.38897,
              0.61601,
              1.06818
            ],
            [
              0.1623,
              0.19306,
              0.22295,
              0.28133,
              0.39611,
              0.6232,
              1.07551
            ],
            [
              0.17227,
              0.20312,
              0.23306,
              0.29153,
              0.40635,
              0.63355,
              1.08582
            ],
            [
              0.18605,
              0.21695,
              0.24694,
              0.30549,
              0.42045,
              0.64772,
              1.09993
            ],
            [
              0.20489,
              0.23578,
              0.26577,
              0.32437,
              0.43943,
              0.66673,
              1.11926
            ],
            [
              0.22867,
              0.26175,
              0.29203,
              0.35063,
              0.4658,
              0.69332,
              1.14565
            ],
            [
              0.25334,
              0.29078,
              0.3251,
              0.38781,
              0.50329,
              0.73099,
              1.18369
            ],
            [
              0.27833,
              0.32159,
              0.36087,
              0.43199,
              0.55782,
              0.78642,
              1.23932
            ],
            [
              0.30197,
              0.35297,
              0.39877,
              0.48087,
              0.62377,
              0.86887,
              1.32207
            ],
            [
              0.3245,
              0.3846,
              0.4384,
              0.5341,
              0.6986,
              0.9759,
              1.4468
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0873,
              0.11489,
              0.14245,
              0.19782,
              0.30819,
              0.5299,
              0.97364
            ],
            [
              0.08729,
              0.11487,
              0.14246,
              0.19775,
              0.30818,
              0.52921,
              0.97347
            ],
            [
              0.08712,
              0.11482,
              0.1425,
              0.19769,
              0.30809,
              0.5299,
              0.97369
            ],
            [
              0.08712,
              0.11478,
              0.14249,
              0.19764,
              0.30823,
              0.52939,
              0.97333
            ],
            [
              0.08706,
              0.11475,
              0.14247,
              0.19753,
              0.3081,
              0.52953,
              0.97343
            ],
            [
              0.08669,
              0.11445,
              0.14239,
              0.19764,
              0.30796,
              0.52978,
              0.97206
            ],
            [
              0.08691,
              0.11444,
              0.14197,
              0.19762,
              0.30826,
              0.52983,
              0.97344
            ],
            [
              0.09018,
              0.11666,
              0.14357,
              0.19784,
              0.30791,
              0.5299,
              0.97343
            ],
            [
              0.09803,
              0.12377,
              0.14957,
              0.20214,
              0.30979,
              0.52916,
              0.97357
            ],
            [
              0.10919,
              0.13653,
              0.16265,
              0.21352,
              0.31738,
              0.53157,
              0.97353
            ],
            [
              0.12586,
              0.1544,
              0.18219,
              0.23498,
              0.33601,
              0.54293,
              0.9752
            ],
            [
              0.1517,
              0.1819,
              0.2107,
              0.2657,
              0.3708,
              0.5716,
              0.9878
            ],
            [
              0.1917,
              0.224,
              0.2542,
              0.3118,
              0.4198,
              0.6252,
              1.0266
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.11064,
              0.15136,
              0.19208,
              0.27348,
              0.43593,
              0.75973,
              1.40701
            ],
            [
              0.11056,
              0.15133,
              0.19207,
              0.27337,
              0.43594,
              0.75955,
              1.40707
            ],
            [
              0.11039,
              0.15117,
              0.19212,
              0.27348,
              0.43575,
              0.76015,
              1.40806
            ],
            [
              0.11058,
              0.15136,
              0.19208,
              0.27349,
              0.4359,
              0.76016,
              1.40794
            ],
            [
              0.11067,
              0.1513,
              0.1921,
              0.27339,
              0.43594,
              0.7601,
              1.40769
            ],
            [
              0.11072,
              0.15127,
              0.19207,
              0.27313,
              0.43552,
              0.76017,
              1.40755
            ],
            [
              0.11081,
              0.15124,
              0.19221,
              0.27349,
              0.43596,
              0.76023,
              1.40823
            ],
            [
              0.11408,
              0.15281,
              0.19269,
              0.27364,
              0.43552,
              0.75931,
              1.40825
            ],
            [
              0.12525,
              0.16184,
              0.19966,
              0.27713,
              0.43589,
              0.76017,
              1.40656
            ],
            [
              0.14662,
              0.18341,
              0.21856,
              0.29114,
              0.4432,
              0.75911,
              1.40736
            ],
            [
              0.17667,
              0.21625,
              0.25392,
              0.32429,
              0.46678,
              0.76996,
              1.4078
            ],
            [
              0.2198,
              0.2626,
              0.3032,
              0.3785,
              0.5185,
              0.8025,
              1.4157
            ],
            [
              0.2786,
              0.3265,
              0.3707,
              0.4529,
              0.603,
              0.8767,
              1.4559
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10929,
              0.13281,
              0.15519,
              0.19808,
              0.28086,
              0.44252,
              0.76268
            ],
            [
              0.11181,
              0.13538,
              0.1577,
              0.2006,
              0.2834,
              0.44505,
              0.76494
            ],
            [
              0.1147,
              0.13828,
              0.16064,
              0.20357,
              0.28635,
              0.44803,
              0.76772
            ],
            [
              0.11875,
              0.14241,
              0.16478,
              0.20772,
              0.29054,
              0.45225,
              0.77192
            ],
            [
              0.12451,
              0.14819,
              0.17066,
              0.21368,
              0.29653,
              0.45828,
              0.77793
            ],
            [
              0.13264,
              0.1564,
              0.17895,
              0.22205,
              0.30501,
              0.46686,
              0.78694
            ],
            [
              0.14425,
              0.16806,
              0.19064,
              0.23386,
              0.31699,
              0.47897,
              0.79875
            ],
            [
              0.16115,
              0.18497,
              0.20749,
              0.2508,
              0.33413,
              0.49626,
              0.81628
            ],
            [
              0.18266,
              0.20821,
              0.23185,
              0.27554,
              0.35897,
              0.52133,
              0.84155
            ],
            [
              0.20986,
              0.2375,
              0.26301,
              0.31003,
              0.39567,
              0.55825,
              0.87869
            ],
            [
              0.24405,
              0.27458,
              0.30262,
              0.35397,
              0.44662,
              0.61332,
              0.93402
            ],
            [
              0.28657,
              0.32127,
              0.35287,
              0.41007,
              0.51197,
              0.69197,
              1.01707
            ],
            [
              0.3383,
              0.3792,
              0.4159,
              0.4815,
              0.5958,
              0.7937,
              1.1403
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.17191,
              0.2012,
              0.22991,
              0.28623,
              0.39712,
              0.61645,
              1.05297
            ],
            [
              0.17421,
              0.20351,
              0.23223,
              0.28856,
              0.39942,
              0.61885,
              1.05544
            ],
            [
              0.17716,
              0.20648,
              0.23522,
              0.29157,
              0.40247,
              0.62187,
              1.05852
            ],
            [
              0.1818,
              0.21114,
              0.23989,
              0.29628,
              0.40719,
              0.62665,
              1.06328
            ],
            [
              0.1888,
              0.21819,
              0.24698,
              0.3034,
              0.41437,
              0.63386,
              1.07051
            ],
            [
              0.19889,
              0.22835,
              0.25718,
              0.31366,
              0.42468,
              0.64423,
              1.08082
            ],
            [
              0.21281,
              0.24232,
              0.27117,
              0.3277,
              0.43883,
              0.65844,
              1.09513
            ],
            [
              0.23181,
              0.2613,
              0.2902,
              0.34677,
              0.45796,
              0.67768,
              1.11446
            ],
            [
              0.25811,
              0.28787,
              0.31674,
              0.37337,
              0.48468,
              0.70452,
              1.14145
            ],
            [
              0.28763,
              0.32142,
              0.35305,
              0.41142,
              0.52283,
              0.74279,
              1.17999
            ],
            [
              0.3193,
              0.35799,
              0.39392,
              0.46012,
              0.57882,
              0.79922,
              1.23662
            ],
            [
              0.35167,
              0.39687,
              0.43857,
              0.51457,
              0.64937,
              0.88337,
              1.32097
            ],
            [
              0.3841,
              0.4374,
              0.4864,
              0.5749,
              0.7299,
              0.9948,
              1.4481
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.12335,
              0.14942,
              0.17612,
              0.23008,
              0.33981,
              0.56065,
              1.00311
            ],
            [
              0.12331,
              0.14942,
              0.17611,
              0.23001,
              0.34006,
              0.56021,
              1.00254
            ],
            [
              0.12334,
              0.14928,
              0.17611,
              0.23012,
              0.33965,
              0.56021,
              1.00409
            ],
            [
              0.1232,
              0.14928,
              0.17608,
              0.23,
              0.33972,
              0.56032,
              1.00237
            ],
            [
              0.12314,
              0.14929,
              0.17596,
              0.23036,
              0.33995,
              0.5602,
              1.00352
            ],
            [
              0.12276,
              0.14912,
              0.17583,
              0.22996,
              0.33983,
              0.56035,
              1.00238
            ],
            [
              0.12311,
              0.14891,
              0.17569,
              0.22984,
              0.33981,
              0.5602,
              1.00212
            ],
            [
              0.1262,
              0.15125,
              0.17734,
              0.23038,
              0.33952,
              0.56036,
              1.00407
            ],
            [
              0.13402,
              0.15801,
              0.18317,
              0.23468,
              0.3412,
              0.56025,
              1.00249
            ],
            [
              0.14759,
              0.17214,
              0.19655,
              0.24584,
              0.34921,
              0.56284,
              1.00296
            ],
            [
              0.16715,
              0.19281,
              0.21839,
              0.26859,
              0.36741,
              0.57419,
              1.0039
            ],
            [
              0.1971,
              0.2236,
              0.2501,
              0.3023,
              0.4035,
              0.6017,
              1.0201
            ],
            [
              0.2432,
              0.2709,
              0.2983,
              0.3517,
              0.4557,
              0.657,
              1.0562
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.13144,
              0.17203,
              0.21232,
              0.29221,
              0.45056,
              0.76719,
              1.39873
            ],
            [
              0.1315,
              0.17213,
              0.21238,
              0.29232,
              0.45118,
              0.7676,
              1.39889
            ],
            [
              0.13155,
              0.17196,
              0.2124,
              0.29227,
              0.45072,
              0.76631,
              1.39822
            ],
            [
              0.13158,
              0.17194,
              0.21231,
              0.29207,
              0.45061,
              0.76754,
              1.39834
            ],
            [
              0.13161,
              0.17194,
              0.21235,
              0.2923,
              0.45051,
              0.76758,
              1.39771
            ],
            [
              0.13154,
              0.17204,
              0.21245,
              0.29232,
              0.45079,
              0.76753,
              1.39734
            ],
            [
              0.13163,
              0.17222,
              0.2124,
              0.2922,
              0.45053,
              0.76761,
              1.39724
            ],
            [
              0.13315,
              0.17263,
              0.2127,
              0.29204,
              0.45115,
              0.76758,
              1.39874
            ],
            [
              0.14189,
              0.17973,
              0.21756,
              0.29455,
              0.45105,
              0.76695,
              1.39662
            ],
            [
              0.16308,
              0.19858,
              0.23391,
              0.30661,
              0.4565,
              0.7668,
              1.39834
            ],
            [
              0.19424,
              0.23268,
              0.26905,
              0.33759,
              0.4782,
              0.775,
              1.3987
            ],
            [
              0.2391,
              0.2806,
              0.3197,
              0.3931,
              0.5286,
              0.8084,
              1.4067
            ],
            [
              0.3007,
              0.3466,
              0.3896,
              0.4691,
              0.6136,
              0.8802,
              1.4459
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03243,
              0.04642,
              0.05987,
              0.08628,
              0.13858,
              0.24278,
              0.45084
            ],
            [
              0.03441,
              0.04859,
              0.0622,
              0.08878,
              0.14122,
              0.24549,
              0.45374
            ],
            [
              0.03701,
              0.05136,
              0.06508,
              0.0918,
              0.14432,
              0.24869,
              0.45706
            ],
            [
              0.04123,
              0.05565,
              0.06947,
              0.09635,
              0.14908,
              0.25355,
              0.46202
            ],
            [
              0.04801,
              0.06233,
              0.07622,
              0.10324,
              0.15613,
              0.26075,
              0.4693
            ],
            [
              0.05596,
              0.0728,
              0.08658,
              0.11366,
              0.16674,
              0.27155,
              0.48018
            ],
            [
              0.06531,
              0.08579,
              0.10219,
              0.12965,
              0.18285,
              0.28777,
              0.49661
            ],
            [
              0.07622,
              0.10119,
              0.12116,
              0.15354,
              0.20725,
              0.3123,
              0.52122
            ],
            [
              0.08904,
              0.1194,
              0.1437,
              0.18299,
              0.24426,
              0.34935,
              0.55836
            ],
            [
              0.10401,
              0.14089,
              0.17041,
              0.2183,
              0.29233,
              0.40517,
              0.61411
            ],
            [
              0.12131,
              0.16616,
              0.20203,
              0.26017,
              0.3504,
              0.48542,
              0.69822
            ],
            [
              0.14111,
              0.19567,
              0.23917,
              0.30987,
              0.41937,
              0.58317,
              0.82517
            ],
            [
              0.1636,
              0.2297,
              0.2827,
              0.3684,
              0.5012,
              0.7004,
              0.993
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03995,
              0.06003,
              0.07926,
              0.11675,
              0.19104,
              0.33872,
              0.63371
            ],
            [
              0.04164,
              0.062,
              0.08136,
              0.11908,
              0.1935,
              0.34161,
              0.63685
            ],
            [
              0.04404,
              0.06442,
              0.08393,
              0.12184,
              0.19626,
              0.34462,
              0.63975
            ],
            [
              0.04823,
              0.06838,
              0.08796,
              0.12601,
              0.20076,
              0.34858,
              0.64511
            ],
            [
              0.05519,
              0.07478,
              0.09434,
              0.13237,
              0.20732,
              0.35585,
              0.65133
            ],
            [
              0.06467,
              0.08518,
              0.10437,
              0.14247,
              0.21742,
              0.36599,
              0.66233
            ],
            [
              0.07458,
              0.10043,
              0.12034,
              0.15783,
              0.23291,
              0.38156,
              0.67805
            ],
            [
              0.08541,
              0.11739,
              0.14239,
              0.18209,
              0.25651,
              0.40508,
              0.70106
            ],
            [
              0.09706,
              0.13628,
              0.1672,
              0.21634,
              0.29286,
              0.44068,
              0.73631
            ],
            [
              0.1097,
              0.15699,
              0.19489,
              0.25563,
              0.34749,
              0.49578,
              0.79009
            ],
            [
              0.12357,
              0.17967,
              0.22537,
              0.29972,
              0.41332,
              0.57912,
              0.87302
            ],
            [
              0.13881,
              0.20457,
              0.25887,
              0.34857,
              0.48787,
              0.69277,
              0.99787
            ],
            [
              0.1553,
              0.2321,
              0.2958,
              0.4022,
              0.571,
              0.8234,
              1.1851
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02557,
              0.04404,
              0.06266,
              0.0995,
              0.1735,
              0.32102,
              0.61647
            ],
            [
              0.02559,
              0.04411,
              0.06259,
              0.09955,
              0.17324,
              0.32086,
              0.61603
            ],
            [
              0.02552,
              0.04408,
              0.06263,
              0.09951,
              0.17343,
              0.32105,
              0.61592
            ],
            [
              0.02547,
              0.04401,
              0.06259,
              0.09951,
              0.17315,
              0.32083,
              0.61573
            ],
            [
              0.02775,
              0.04438,
              0.06243,
              0.09954,
              0.17328,
              0.32066,
              0.6156
            ],
            [
              0.03334,
              0.04791,
              0.06422,
              0.09953,
              0.17347,
              0.32062,
              0.61603
            ],
            [
              0.03941,
              0.0562,
              0.07069,
              0.10256,
              0.17338,
              0.32106,
              0.61575
            ],
            [
              0.04815,
              0.06744,
              0.08375,
              0.11251,
              0.17712,
              0.32102,
              0.61654
            ],
            [
              0.06023,
              0.08232,
              0.10068,
              0.13226,
              0.19042,
              0.32349,
              0.61561
            ],
            [
              0.0769,
              0.10269,
              0.12371,
              0.15931,
              0.21862,
              0.33932,
              0.61625
            ],
            [
              0.09975,
              0.13013,
              0.15452,
              0.19534,
              0.26259,
              0.37717,
              0.63222
            ],
            [
              0.13091,
              0.16715,
              0.19602,
              0.2435,
              0.3203,
              0.4458,
              0.6786
            ],
            [
              0.1734,
              0.2177,
              0.2518,
              0.308,
              0.3974,
              0.5399,
              0.7731
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03694,
              0.06417,
              0.09144,
              0.1455,
              0.25338,
              0.46958,
              0.90015
            ],
            [
              0.03685,
              0.0642,
              0.09145,
              0.1456,
              0.25399,
              0.46973,
              0.90101
            ],
            [
              0.03667,
              0.06429,
              0.09162,
              0.14567,
              0.25367,
              0.46967,
              0.90066
            ],
            [
              0.03646,
              0.06401,
              0.09139,
              0.14561,
              0.25394,
              0.46936,
              0.90226
            ],
            [
              0.0386,
              0.06389,
              0.09148,
              0.14535,
              0.25386,
              0.46993,
              0.90065
            ],
            [
              0.04548,
              0.06703,
              0.09212,
              0.14553,
              0.25329,
              0.46887,
              0.90184
            ],
            [
              0.05805,
              0.07663,
              0.09815,
              0.1468,
              0.25369,
              0.46998,
              0.90218
            ],
            [
              0.07028,
              0.09503,
              0.11317,
              0.15584,
              0.25457,
              0.46995,
              0.90159
            ],
            [
              0.08593,
              0.11618,
              0.13974,
              0.17773,
              0.26607,
              0.46946,
              0.89983
            ],
            [
              0.10565,
              0.1428,
              0.17167,
              0.21735,
              0.29499,
              0.48028,
              0.9007
            ],
            [
              0.13085,
              0.17573,
              0.21142,
              0.26746,
              0.3517,
              0.51554,
              0.9063
            ],
            [
              0.16354,
              0.21715,
              0.26036,
              0.3295,
              0.4338,
              0.5921,
              0.9428
            ],
            [
              0.207,
              0.27,
              0.322,
              0.4064,
              0.5357,
              0.7232,
              1.0379
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03246,
              0.04644,
              0.05994,
              0.08634,
              0.13859,
              0.24272,
              0.4509
            ],
            [
              0.0345,
              0.04869,
              0.0623,
              0.08881,
              0.14121,
              0.24548,
              0.4538
            ],
            [
              0.03714,
              0.05149,
              0.06521,
              0.09191,
              0.14446,
              0.24877,
              0.45695
            ],
            [
              0.04141,
              0.05583,
              0.06965,
              0.09653,
              0.14921,
              0.25367,
              0.46194
            ],
            [
              0.04826,
              0.06256,
              0.07646,
              0.10348,
              0.15633,
              0.26096,
              0.46949
            ],
            [
              0.05628,
              0.07309,
              0.08688,
              0.11395,
              0.16702,
              0.27178,
              0.48047
            ],
            [
              0.06568,
              0.08613,
              0.10251,
              0.12994,
              0.18313,
              0.28815,
              0.497
            ],
            [
              0.07661,
              0.10155,
              0.12152,
              0.15391,
              0.20756,
              0.31256,
              0.52153
            ],
            [
              0.08936,
              0.1197,
              0.14405,
              0.18339,
              0.24461,
              0.34962,
              0.55862
            ],
            [
              0.10413,
              0.14109,
              0.17068,
              0.21862,
              0.29273,
              0.4055,
              0.61439
            ],
            [
              0.12106,
              0.16609,
              0.20208,
              0.2604,
              0.35046,
              0.48572,
              0.69862
            ],
            [
              0.1402,
              0.19507,
              0.23887,
              0.30957,
              0.41947,
              0.58337,
              0.82547
            ],
            [
              0.1615,
              0.2282,
              0.2815,
              0.3677,
              0.5011,
              0.7004,
              0.9932
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04305,
              0.06572,
              0.08753,
              0.13004,
              0.21418,
              0.38144,
              0.71644
            ],
            [
              0.04453,
              0.06754,
              0.08949,
              0.13222,
              0.21658,
              0.38408,
              0.71931
            ],
            [
              0.04677,
              0.06976,
              0.09189,
              0.13486,
              0.21924,
              0.38735,
              0.7221
            ],
            [
              0.05074,
              0.0734,
              0.09556,
              0.13875,
              0.22353,
              0.39115,
              0.72642
            ],
            [
              0.05747,
              0.07954,
              0.10158,
              0.14488,
              0.22977,
              0.39803,
              0.73288
            ],
            [
              0.06742,
              0.08955,
              0.11121,
              0.15437,
              0.23951,
              0.40795,
              0.74247
            ],
            [
              0.07779,
              0.10514,
              0.12662,
              0.16921,
              0.25433,
              0.4227,
              0.75808
            ],
            [
              0.0892,
              0.12285,
              0.14936,
              0.19255,
              0.27701,
              0.44537,
              0.78119
            ],
            [
              0.10156,
              0.1427,
              0.1753,
              0.22745,
              0.31212,
              0.47972,
              0.81485
            ],
            [
              0.11509,
              0.16457,
              0.20438,
              0.26847,
              0.36629,
              0.53274,
              0.86669
            ],
            [
              0.13017,
              0.18868,
              0.23655,
              0.31472,
              0.43485,
              0.61372,
              0.94702
            ],
            [
              0.14711,
              0.21557,
              0.27217,
              0.36617,
              0.51287,
              0.73037,
              1.06797
            ],
            [
              0.166,
              0.2457,
              0.3119,
              0.4231,
              0.6002,
              0.8666,
              1.2521
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02563,
              0.04411,
              0.0626,
              0.09948,
              0.17347,
              0.3212,
              0.61644
            ],
            [
              0.0256,
              0.04412,
              0.06265,
              0.09961,
              0.17355,
              0.32124,
              0.61616
            ],
            [
              0.02554,
              0.0441,
              0.06265,
              0.09958,
              0.17342,
              0.32116,
              0.6165
            ],
            [
              0.02546,
              0.04396,
              0.06262,
              0.09952,
              0.17341,
              0.32109,
              0.61644
            ],
            [
              0.02766,
              0.04435,
              0.06245,
              0.09955,
              0.1734,
              0.32097,
              0.6156
            ],
            [
              0.0332,
              0.04779,
              0.06411,
              0.0995,
              0.17322,
              0.3212,
              0.6165
            ],
            [
              0.03923,
              0.05607,
              0.07045,
              0.10263,
              0.17335,
              0.32047,
              0.61609
            ],
            [
              0.0479,
              0.0672,
              0.08347,
              0.11234,
              0.17707,
              0.32094,
              0.61661
            ],
            [
              0.05996,
              0.08206,
              0.10042,
              0.13194,
              0.19009,
              0.32351,
              0.61605
            ],
            [
              0.07666,
              0.10246,
              0.12345,
              0.15903,
              0.21831,
              0.33912,
              0.61611
            ],
            [
              0.09953,
              0.12999,
              0.15438,
              0.19518,
              0.26257,
              0.37691,
              0.63207
            ],
            [
              0.13072,
              0.16711,
              0.19603,
              0.2437,
              0.3202,
              0.4457,
              0.6785
            ],
            [
              0.1734,
              0.2178,
              0.2521,
              0.3083,
              0.3974,
              0.5398,
              0.7729
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04276,
              0.07393,
              0.10468,
              0.16579,
              0.28755,
              0.53055,
              1.01541
            ],
            [
              0.04261,
              0.07384,
              0.10471,
              0.16583,
              0.28717,
              0.53058,
              1.0155
            ],
            [
              0.04225,
              0.07366,
              0.10439,
              0.16584,
              0.2876,
              0.52942,
              1.01521
            ],
            [
              0.04187,
              0.07365,
              0.10467,
              0.16582,
              0.28699,
              0.53066,
              1.01569
            ],
            [
              0.04328,
              0.0731,
              0.10427,
              0.16535,
              0.2875,
              0.52971,
              1.01574
            ],
            [
              0.0495,
              0.07534,
              0.10394,
              0.16527,
              0.28733,
              0.52984,
              1.01677
            ],
            [
              0.06235,
              0.08376,
              0.10918,
              0.16576,
              0.28702,
              0.53029,
              1.01584
            ],
            [
              0.07451,
              0.10102,
              0.12277,
              0.1732,
              0.28723,
              0.53013,
              1.01403
            ],
            [
              0.09003,
              0.12314,
              0.14911,
              0.19286,
              0.29578,
              0.53002,
              1.01624
            ],
            [
              0.10981,
              0.14974,
              0.18107,
              0.23102,
              0.32159,
              0.53554,
              1.01625
            ],
            [
              0.13511,
              0.18285,
              0.22119,
              0.28204,
              0.37498,
              0.56704,
              1.0161
            ],
            [
              0.16771,
              0.22455,
              0.27045,
              0.3449,
              0.4581,
              0.6374,
              1.0456
            ],
            [
              0.2114,
              0.2776,
              0.3325,
              0.4224,
              0.5612,
              0.765,
              1.1312
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03247,
              0.04645,
              0.05992,
              0.08628,
              0.1386,
              0.24271,
              0.45095
            ],
            [
              0.03449,
              0.04868,
              0.0623,
              0.08883,
              0.14126,
              0.24544,
              0.45369
            ],
            [
              0.03713,
              0.05148,
              0.0652,
              0.09191,
              0.14446,
              0.24879,
              0.45703
            ],
            [
              0.04139,
              0.05581,
              0.06964,
              0.0965,
              0.14919,
              0.25371,
              0.46187
            ],
            [
              0.04823,
              0.06253,
              0.07643,
              0.10345,
              0.15631,
              0.26092,
              0.46948
            ],
            [
              0.05623,
              0.07305,
              0.08684,
              0.11391,
              0.16698,
              0.27174,
              0.48042
            ],
            [
              0.06562,
              0.08608,
              0.10245,
              0.1299,
              0.18309,
              0.28793,
              0.49664
            ],
            [
              0.07654,
              0.10149,
              0.12147,
              0.15386,
              0.20753,
              0.31254,
              0.5215
            ],
            [
              0.08931,
              0.11965,
              0.144,
              0.18332,
              0.24456,
              0.34959,
              0.5586
            ],
            [
              0.10408,
              0.14105,
              0.17063,
              0.21857,
              0.29266,
              0.40546,
              0.61439
            ],
            [
              0.12109,
              0.1661,
              0.20207,
              0.26037,
              0.35039,
              0.48572,
              0.69852
            ],
            [
              0.14034,
              0.19517,
              0.23887,
              0.30977,
              0.41947,
              0.58337,
              0.82537
            ],
            [
              0.1618,
              0.2285,
              0.2817,
              0.3678,
              0.5011,
              0.7004,
              0.9932
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04265,
              0.06488,
              0.08631,
              0.12799,
              0.2105,
              0.37501,
              0.70289
            ],
            [
              0.04416,
              0.06669,
              0.08828,
              0.13015,
              0.21297,
              0.37712,
              0.70578
            ],
            [
              0.04644,
              0.06901,
              0.09073,
              0.13281,
              0.21564,
              0.38044,
              0.70821
            ],
            [
              0.05041,
              0.07271,
              0.09445,
              0.13673,
              0.2199,
              0.38447,
              0.71337
            ],
            [
              0.05716,
              0.07887,
              0.10048,
              0.14293,
              0.22633,
              0.39133,
              0.7196
            ],
            [
              0.06705,
              0.08892,
              0.11017,
              0.15259,
              0.23607,
              0.40118,
              0.72951
            ],
            [
              0.07734,
              0.10445,
              0.12568,
              0.16747,
              0.25091,
              0.41594,
              0.74498
            ],
            [
              0.08865,
              0.12204,
              0.14832,
              0.19091,
              0.27375,
              0.43877,
              0.76831
            ],
            [
              0.10089,
              0.14173,
              0.17407,
              0.22575,
              0.30904,
              0.47345,
              0.80255
            ],
            [
              0.11427,
              0.16341,
              0.20292,
              0.26648,
              0.36336,
              0.52665,
              0.85469
            ],
            [
              0.12915,
              0.18728,
              0.23481,
              0.31239,
              0.43147,
              0.60822,
              0.93502
            ],
            [
              0.14581,
              0.21377,
              0.27007,
              0.36337,
              0.50897,
              0.72447,
              1.05657
            ],
            [
              0.1643,
              0.2435,
              0.3094,
              0.4198,
              0.5956,
              0.8597,
              1.2414
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02563,
              0.0441,
              0.06266,
              0.09961,
              0.17344,
              0.3212,
              0.61656
            ],
            [
              0.0256,
              0.04412,
              0.06265,
              0.09961,
              0.17354,
              0.32121,
              0.61641
            ],
            [
              0.02554,
              0.0441,
              0.06265,
              0.09954,
              0.17328,
              0.32108,
              0.61654
            ],
            [
              0.02546,
              0.04399,
              0.06262,
              0.0996,
              0.17345,
              0.32076,
              0.61652
            ],
            [
              0.02767,
              0.04434,
              0.06242,
              0.09955,
              0.17334,
              0.32102,
              0.6158
            ],
            [
              0.03321,
              0.04778,
              0.0641,
              0.0995,
              0.17334,
              0.32121,
              0.61656
            ],
            [
              0.03925,
              0.0561,
              0.07048,
              0.10264,
              0.17337,
              0.32119,
              0.61661
            ],
            [
              0.04794,
              0.06725,
              0.08351,
              0.11237,
              0.17706,
              0.32094,
              0.61654
            ],
            [
              0.06001,
              0.08211,
              0.10046,
              0.13199,
              0.19008,
              0.3235,
              0.61528
            ],
            [
              0.07672,
              0.1025,
              0.1235,
              0.15908,
              0.21836,
              0.33915,
              0.61584
            ],
            [
              0.09957,
              0.13001,
              0.15441,
              0.19521,
              0.26259,
              0.37698,
              0.63204
            ],
            [
              0.13071,
              0.16715,
              0.196,
              0.2435,
              0.3202,
              0.4456,
              0.6784
            ],
            [
              0.1734,
              0.2178,
              0.2521,
              0.3082,
              0.3973,
              0.5398,
              0.773
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04175,
              0.07229,
              0.10262,
              0.16254,
              0.28212,
              0.51956,
              0.99809
            ],
            [
              0.0417,
              0.07226,
              0.10254,
              0.16248,
              0.28164,
              0.5206,
              0.99803
            ],
            [
              0.04137,
              0.07218,
              0.10267,
              0.16233,
              0.28181,
              0.52052,
              0.99836
            ],
            [
              0.04101,
              0.07186,
              0.10228,
              0.16238,
              0.28157,
              0.5205,
              0.99724
            ],
            [
              0.04252,
              0.07155,
              0.10216,
              0.1624,
              0.28145,
              0.5207,
              0.99813
            ],
            [
              0.04889,
              0.07394,
              0.10226,
              0.16209,
              0.28133,
              0.5207,
              0.99825
            ],
            [
              0.06177,
              0.08256,
              0.10738,
              0.16225,
              0.28182,
              0.52072,
              0.99819
            ],
            [
              0.07389,
              0.10001,
              0.1212,
              0.17029,
              0.28194,
              0.52068,
              0.99695
            ],
            [
              0.08935,
              0.12201,
              0.14768,
              0.19043,
              0.29103,
              0.5204,
              0.99696
            ],
            [
              0.10937,
              0.14862,
              0.17968,
              0.22884,
              0.31771,
              0.52727,
              0.99718
            ],
            [
              0.1343,
              0.18172,
              0.21971,
              0.27971,
              0.37106,
              0.55853,
              0.9984
            ],
            [
              0.16707,
              0.2234,
              0.26877,
              0.3425,
              0.4542,
              0.6297,
              1.028
            ],
            [
              0.2106,
              0.2764,
              0.3308,
              0.4197,
              0.5571,
              0.7584,
              1.117
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03248,
              0.04651,
              0.05997,
              0.08639,
              0.13864,
              0.24274,
              0.45103
            ],
            [
              0.03459,
              0.04882,
              0.06242,
              0.08893,
              0.1414,
              0.24555,
              0.4539
            ],
            [
              0.03734,
              0.05169,
              0.0654,
              0.09208,
              0.14462,
              0.24886,
              0.45734
            ],
            [
              0.04172,
              0.05616,
              0.07,
              0.09685,
              0.14949,
              0.25389,
              0.46236
            ],
            [
              0.04869,
              0.06301,
              0.07691,
              0.10393,
              0.15672,
              0.26125,
              0.46991
            ],
            [
              0.05694,
              0.07364,
              0.08744,
              0.11456,
              0.16764,
              0.27238,
              0.48106
            ],
            [
              0.06652,
              0.0869,
              0.10321,
              0.13064,
              0.18368,
              0.28873,
              0.49749
            ],
            [
              0.07758,
              0.10248,
              0.12238,
              0.15464,
              0.20821,
              0.31331,
              0.5223
            ],
            [
              0.09021,
              0.12062,
              0.14498,
              0.18431,
              0.24527,
              0.35047,
              0.55951
            ],
            [
              0.10459,
              0.14177,
              0.17146,
              0.21951,
              0.29366,
              0.40631,
              0.61536
            ],
            [
              0.1207,
              0.16612,
              0.20238,
              0.26099,
              0.35134,
              0.48652,
              0.69922
            ],
            [
              0.13826,
              0.19387,
              0.23817,
              0.30957,
              0.41977,
              0.58417,
              0.82617
            ],
            [
              0.1567,
              0.2247,
              0.2788,
              0.366,
              0.5004,
              0.7006,
              0.9938
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.05027,
              0.08008,
              0.10896,
              0.16546,
              0.27711,
              0.49931,
              0.94246
            ],
            [
              0.05133,
              0.08143,
              0.11065,
              0.16743,
              0.27921,
              0.50168,
              0.94542
            ],
            [
              0.05319,
              0.08319,
              0.1125,
              0.16963,
              0.28198,
              0.50437,
              0.94782
            ],
            [
              0.05669,
              0.08631,
              0.11577,
              0.17306,
              0.28574,
              0.50843,
              0.95268
            ],
            [
              0.06302,
              0.09162,
              0.1209,
              0.17849,
              0.29123,
              0.51445,
              0.95811
            ],
            [
              0.07367,
              0.10075,
              0.12944,
              0.18684,
              0.30004,
              0.5231,
              0.96762
            ],
            [
              0.08525,
              0.11597,
              0.14341,
              0.20017,
              0.31334,
              0.53692,
              0.98153
            ],
            [
              0.09815,
              0.13602,
              0.16642,
              0.22137,
              0.33382,
              0.55735,
              1.00226
            ],
            [
              0.11239,
              0.15832,
              0.19525,
              0.25529,
              0.36599,
              0.58914,
              1.03405
            ],
            [
              0.12826,
              0.18324,
              0.22791,
              0.30082,
              0.41605,
              0.63769,
              1.08179
            ],
            [
              0.14646,
              0.21112,
              0.26454,
              0.35251,
              0.49012,
              0.71222,
              1.15442
            ],
            [
              0.16767,
              0.24277,
              0.30567,
              0.41067,
              0.57677,
              0.82777,
              1.26647
            ],
            [
              0.1925,
              0.2795,
              0.3526,
              0.4762,
              0.6748,
              0.9779,
              1.4376
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02566,
              0.04416,
              0.06269,
              0.09948,
              0.1733,
              0.32114,
              0.61656
            ],
            [
              0.02559,
              0.04413,
              0.06268,
              0.09961,
              0.17315,
              0.3212,
              0.61635
            ],
            [
              0.02557,
              0.04413,
              0.06268,
              0.0996,
              0.17345,
              0.32115,
              0.61623
            ],
            [
              0.02547,
              0.04399,
              0.06258,
              0.09958,
              0.17311,
              0.32105,
              0.61653
            ],
            [
              0.02749,
              0.04431,
              0.06251,
              0.09949,
              0.17337,
              0.32122,
              0.61564
            ],
            [
              0.03286,
              0.0476,
              0.06399,
              0.09943,
              0.17338,
              0.32103,
              0.61645
            ],
            [
              0.03884,
              0.05563,
              0.07011,
              0.10241,
              0.1734,
              0.32119,
              0.61663
            ],
            [
              0.04731,
              0.06658,
              0.08295,
              0.11193,
              0.17696,
              0.32098,
              0.61654
            ],
            [
              0.05934,
              0.08136,
              0.09975,
              0.13127,
              0.18984,
              0.32316,
              0.61567
            ],
            [
              0.07599,
              0.10162,
              0.12271,
              0.15821,
              0.21772,
              0.33935,
              0.61595
            ],
            [
              0.09886,
              0.12946,
              0.15386,
              0.19456,
              0.26181,
              0.37709,
              0.63194
            ],
            [
              0.13004,
              0.16687,
              0.19589,
              0.2434,
              0.3199,
              0.445,
              0.678
            ],
            [
              0.173,
              0.2178,
              0.2526,
              0.309,
              0.3977,
              0.5396,
              0.7724
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.05959,
              0.10143,
              0.14193,
              0.22208,
              0.38135,
              0.69818,
              1.33284
            ],
            [
              0.05901,
              0.10124,
              0.14202,
              0.22223,
              0.3815,
              0.69875,
              1.33083
            ],
            [
              0.05846,
              0.101,
              0.14193,
              0.22231,
              0.38128,
              0.69761,
              1.33274
            ],
            [
              0.05756,
              0.1004,
              0.14153,
              0.22225,
              0.38088,
              0.69722,
              1.33241
            ],
            [
              0.05723,
              0.09937,
              0.14101,
              0.22203,
              0.3813,
              0.69826,
              1.3325
            ],
            [
              0.06173,
              0.09937,
              0.13977,
              0.22164,
              0.38145,
              0.69858,
              1.33301
            ],
            [
              0.07244,
              0.10544,
              0.14169,
              0.22028,
              0.38079,
              0.69872,
              1.33298
            ],
            [
              0.08727,
              0.11959,
              0.15192,
              0.22332,
              0.38047,
              0.69867,
              1.3329
            ],
            [
              0.10176,
              0.14356,
              0.17442,
              0.23813,
              0.38289,
              0.69847,
              1.33071
            ],
            [
              0.12116,
              0.16917,
              0.20815,
              0.27068,
              0.40125,
              0.6977,
              1.33141
            ],
            [
              0.14619,
              0.20228,
              0.24792,
              0.32305,
              0.44534,
              0.71653,
              1.3309
            ],
            [
              0.17895,
              0.24411,
              0.2978,
              0.3865,
              0.5252,
              0.7715,
              1.342
            ],
            [
              0.2227,
              0.2975,
              0.3605,
              0.4657,
              0.6302,
              0.8834,
              1.4031
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03342,
              0.04744,
              0.06091,
              0.08734,
              0.1397,
              0.24398,
              0.45235
            ],
            [
              0.03546,
              0.04969,
              0.06335,
              0.08992,
              0.14235,
              0.24673,
              0.45514
            ],
            [
              0.03813,
              0.05251,
              0.06626,
              0.09298,
              0.14556,
              0.24998,
              0.4586
            ],
            [
              0.04241,
              0.05686,
              0.07072,
              0.0976,
              0.15032,
              0.25488,
              0.46347
            ],
            [
              0.04931,
              0.06361,
              0.07752,
              0.10457,
              0.15746,
              0.26213,
              0.47081
            ],
            [
              0.05762,
              0.07416,
              0.08798,
              0.11513,
              0.16818,
              0.27312,
              0.48189
            ],
            [
              0.06738,
              0.08752,
              0.10373,
              0.13112,
              0.18434,
              0.28932,
              0.49827
            ],
            [
              0.0788,
              0.10333,
              0.12306,
              0.15523,
              0.20887,
              0.31393,
              0.52301
            ],
            [
              0.09215,
              0.12193,
              0.146,
              0.18505,
              0.2459,
              0.35107,
              0.56011
            ],
            [
              0.10781,
              0.14394,
              0.17318,
              0.22071,
              0.29452,
              0.40711,
              0.61601
            ],
            [
              0.12592,
              0.16983,
              0.2053,
              0.26312,
              0.35277,
              0.48772,
              0.70062
            ],
            [
              0.1467,
              0.20007,
              0.24307,
              0.31317,
              0.42247,
              0.58597,
              0.82767
            ],
            [
              0.1704,
              0.2349,
              0.2872,
              0.3725,
              0.5051,
              0.7039,
              0.9963
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.06634,
              0.08958,
              0.11195,
              0.15575,
              0.24218,
              0.41368,
              0.75589
            ],
            [
              0.06828,
              0.09158,
              0.11413,
              0.15805,
              0.24463,
              0.41627,
              0.75842
            ],
            [
              0.07064,
              0.09403,
              0.11666,
              0.16075,
              0.24748,
              0.41912,
              0.76148
            ],
            [
              0.07444,
              0.09785,
              0.12052,
              0.16482,
              0.25161,
              0.42351,
              0.76602
            ],
            [
              0.08055,
              0.10387,
              0.12658,
              0.17096,
              0.25789,
              0.4301,
              0.77237
            ],
            [
              0.09041,
              0.11345,
              0.13609,
              0.18046,
              0.26766,
              0.43994,
              0.78269
            ],
            [
              0.10635,
              0.12864,
              0.15102,
              0.19519,
              0.28238,
              0.45485,
              0.79759
            ],
            [
              0.12476,
              0.1519,
              0.1746,
              0.21817,
              0.30494,
              0.47755,
              0.82047
            ],
            [
              0.1454,
              0.17869,
              0.20684,
              0.25401,
              0.34004,
              0.51179,
              0.85475
            ],
            [
              0.16825,
              0.20879,
              0.2433,
              0.30134,
              0.39383,
              0.56436,
              0.90649
            ],
            [
              0.19342,
              0.24214,
              0.28409,
              0.35513,
              0.46852,
              0.64542,
              0.98622
            ],
            [
              0.22137,
              0.27907,
              0.32927,
              0.41537,
              0.55407,
              0.76527,
              1.10697
            ],
            [
              0.2529,
              0.3203,
              0.3795,
              0.4822,
              0.6504,
              0.9092,
              1.2909
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04643,
              0.06494,
              0.08341,
              0.12004,
              0.19329,
              0.34024,
              0.63401
            ],
            [
              0.0464,
              0.06494,
              0.0834,
              0.12006,
              0.19334,
              0.34046,
              0.63538
            ],
            [
              0.04635,
              0.06491,
              0.0834,
              0.12008,
              0.19332,
              0.34022,
              0.63534
            ],
            [
              0.04628,
              0.06489,
              0.08339,
              0.12006,
              0.19332,
              0.34001,
              0.63399
            ],
            [
              0.04841,
              0.0652,
              0.0833,
              0.12007,
              0.19332,
              0.34036,
              0.63406
            ],
            [
              0.05364,
              0.06858,
              0.08493,
              0.12003,
              0.19339,
              0.34005,
              0.63406
            ],
            [
              0.06384,
              0.07656,
              0.09121,
              0.12309,
              0.19325,
              0.34039,
              0.634
            ],
            [
              0.07618,
              0.09099,
              0.10413,
              0.13274,
              0.19708,
              0.34059,
              0.63523
            ],
            [
              0.09349,
              0.10953,
              0.12469,
              0.15232,
              0.21045,
              0.34297,
              0.63531
            ],
            [
              0.11732,
              0.13496,
              0.15176,
              0.18283,
              0.23847,
              0.35907,
              0.63599
            ],
            [
              0.14977,
              0.16945,
              0.1883,
              0.22306,
              0.28491,
              0.39685,
              0.65097
            ],
            [
              0.19362,
              0.21604,
              0.23752,
              0.2771,
              0.3465,
              0.4662,
              0.6978
            ],
            [
              0.2525,
              0.2786,
              0.3037,
              0.3491,
              0.4288,
              0.5635,
              0.792
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.06419,
              0.09549,
              0.12679,
              0.1893,
              0.31371,
              0.56321,
              1.05963
            ],
            [
              0.06406,
              0.09556,
              0.12681,
              0.18916,
              0.31415,
              0.5623,
              1.06105
            ],
            [
              0.06408,
              0.09558,
              0.12689,
              0.18914,
              0.31363,
              0.56308,
              1.05991
            ],
            [
              0.0639,
              0.09548,
              0.12688,
              0.18944,
              0.31413,
              0.56224,
              1.0581
            ],
            [
              0.06332,
              0.09524,
              0.12677,
              0.18935,
              0.31413,
              0.56221,
              1.06065
            ],
            [
              0.06454,
              0.09456,
              0.12632,
              0.18927,
              0.31393,
              0.56203,
              1.05894
            ],
            [
              0.07176,
              0.09887,
              0.12773,
              0.18881,
              0.31388,
              0.56256,
              1.06083
            ],
            [
              0.08822,
              0.1112,
              0.13717,
              0.19265,
              0.31332,
              0.56268,
              1.05836
            ],
            [
              0.10583,
              0.13592,
              0.15891,
              0.20836,
              0.3186,
              0.5624,
              1.0607
            ],
            [
              0.12868,
              0.16469,
              0.19436,
              0.24227,
              0.34112,
              0.56677,
              1.06048
            ],
            [
              0.1574,
              0.20115,
              0.2369,
              0.29594,
              0.39022,
              0.59355,
              1.0585
            ],
            [
              0.19372,
              0.24651,
              0.2904,
              0.3618,
              0.4735,
              0.6594,
              1.0837
            ],
            [
              0.2404,
              0.3035,
              0.3563,
              0.4436,
              0.5799,
              0.7828,
              1.1675
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03346,
              0.04747,
              0.06097,
              0.0874,
              0.13975,
              0.24404,
              0.45241
            ],
            [
              0.03555,
              0.04982,
              0.06345,
              0.09003,
              0.14249,
              0.24686,
              0.45551
            ],
            [
              0.03834,
              0.05272,
              0.06644,
              0.09318,
              0.14576,
              0.2502,
              0.45866
            ],
            [
              0.04274,
              0.05723,
              0.07105,
              0.09792,
              0.15065,
              0.25521,
              0.46375
            ],
            [
              0.04976,
              0.06412,
              0.07804,
              0.10504,
              0.15792,
              0.26258,
              0.47124
            ],
            [
              0.05837,
              0.07477,
              0.08863,
              0.11576,
              0.16875,
              0.2737,
              0.48243
            ],
            [
              0.06836,
              0.0884,
              0.10453,
              0.13191,
              0.18503,
              0.29015,
              0.49905
            ],
            [
              0.07992,
              0.10437,
              0.12405,
              0.15605,
              0.20963,
              0.31475,
              0.52383
            ],
            [
              0.09319,
              0.12301,
              0.14709,
              0.18612,
              0.24689,
              0.35198,
              0.56099
            ],
            [
              0.10837,
              0.14476,
              0.1741,
              0.22178,
              0.29557,
              0.40804,
              0.61689
            ],
            [
              0.1255,
              0.16988,
              0.20567,
              0.26383,
              0.35376,
              0.48862,
              0.70142
            ],
            [
              0.14444,
              0.19867,
              0.24227,
              0.31307,
              0.42287,
              0.58677,
              0.82847
            ],
            [
              0.1648,
              0.2309,
              0.2841,
              0.3705,
              0.5043,
              0.7041,
              0.9969
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.08385,
              0.11567,
              0.14648,
              0.2068,
              0.32586,
              0.5622,
              1.03387
            ],
            [
              0.08543,
              0.11738,
              0.14835,
              0.20889,
              0.32818,
              0.56464,
              1.03664
            ],
            [
              0.08735,
              0.11939,
              0.1505,
              0.21125,
              0.33074,
              0.56747,
              1.03942
            ],
            [
              0.09051,
              0.12258,
              0.15382,
              0.2148,
              0.33455,
              0.57142,
              1.04368
            ],
            [
              0.09579,
              0.12774,
              0.15899,
              0.22014,
              0.3401,
              0.57735,
              1.04961
            ],
            [
              0.10459,
              0.13612,
              0.16729,
              0.22844,
              0.34855,
              0.58629,
              1.05862
            ],
            [
              0.11934,
              0.14972,
              0.18058,
              0.24156,
              0.36185,
              0.59967,
              1.07253
            ],
            [
              0.14073,
              0.17218,
              0.2018,
              0.26218,
              0.38207,
              0.61999,
              1.09286
            ],
            [
              0.16444,
              0.2028,
              0.23579,
              0.29464,
              0.41379,
              0.65112,
              1.12415
            ],
            [
              0.19105,
              0.23731,
              0.27716,
              0.34516,
              0.46307,
              0.69899,
              1.17139
            ],
            [
              0.22086,
              0.27611,
              0.32405,
              0.40611,
              0.53942,
              0.77292,
              1.24332
            ],
            [
              0.25477,
              0.31977,
              0.37677,
              0.47527,
              0.63587,
              0.88687,
              1.35407
            ],
            [
              0.2942,
              0.3697,
              0.4365,
              0.5531,
              0.7457,
              1.0472,
              1.524
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04624,
              0.06475,
              0.08319,
              0.11985,
              0.19308,
              0.3403,
              0.63426
            ],
            [
              0.04622,
              0.06474,
              0.08319,
              0.1198,
              0.19315,
              0.33995,
              0.63422
            ],
            [
              0.04616,
              0.06472,
              0.08319,
              0.11987,
              0.19317,
              0.33993,
              0.63442
            ],
            [
              0.04605,
              0.06467,
              0.08317,
              0.11988,
              0.19317,
              0.34031,
              0.635
            ],
            [
              0.04805,
              0.06489,
              0.08305,
              0.11982,
              0.1931,
              0.34031,
              0.63435
            ],
            [
              0.05306,
              0.06811,
              0.08458,
              0.11981,
              0.19308,
              0.34032,
              0.6344
            ],
            [
              0.06292,
              0.0758,
              0.09058,
              0.12267,
              0.19308,
              0.34029,
              0.63439
            ],
            [
              0.07506,
              0.08999,
              0.10317,
              0.13198,
              0.19671,
              0.3401,
              0.63487
            ],
            [
              0.09215,
              0.10829,
              0.12356,
              0.15133,
              0.20957,
              0.34268,
              0.63404
            ],
            [
              0.11598,
              0.13367,
              0.15051,
              0.1816,
              0.23739,
              0.35862,
              0.635
            ],
            [
              0.14847,
              0.16836,
              0.18722,
              0.22195,
              0.28392,
              0.39605,
              0.65016
            ],
            [
              0.19253,
              0.21536,
              0.23678,
              0.2764,
              0.3458,
              0.465,
              0.6973
            ],
            [
              0.2521,
              0.2786,
              0.3038,
              0.3493,
              0.4287,
              0.5632,
              0.7911
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.09294,
              0.13633,
              0.17936,
              0.26461,
              0.434,
              0.77055,
              1.44551
            ],
            [
              0.09279,
              0.1363,
              0.17912,
              0.26462,
              0.43394,
              0.77088,
              1.44579
            ],
            [
              0.0923,
              0.13618,
              0.17913,
              0.2642,
              0.43404,
              0.77109,
              1.44481
            ],
            [
              0.09196,
              0.13598,
              0.17925,
              0.26461,
              0.43401,
              0.77089,
              1.44507
            ],
            [
              0.09108,
              0.13556,
              0.1788,
              0.26436,
              0.434,
              0.77076,
              1.44599
            ],
            [
              0.09,
              0.13441,
              0.17829,
              0.26418,
              0.43382,
              0.77144,
              1.44473
            ],
            [
              0.09418,
              0.13482,
              0.17679,
              0.26381,
              0.4339,
              0.77176,
              1.44424
            ],
            [
              0.10659,
              0.14325,
              0.18192,
              0.26318,
              0.4331,
              0.7717,
              1.44577
            ],
            [
              0.12723,
              0.16347,
              0.1983,
              0.27249,
              0.43322,
              0.77151,
              1.44624
            ],
            [
              0.14887,
              0.19444,
              0.23171,
              0.29874,
              0.44545,
              0.77055,
              1.44643
            ],
            [
              0.17748,
              0.23042,
              0.2753,
              0.34976,
              0.48305,
              0.78186,
              1.445
            ],
            [
              0.21409,
              0.27636,
              0.329,
              0.4173,
              0.5577,
              0.8304,
              1.4516
            ],
            [
              0.2612,
              0.334,
              0.3962,
              0.5007,
              0.6678,
              0.935,
              1.5016
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.03345,
              0.0475,
              0.06099,
              0.08741,
              0.13977,
              0.24403,
              0.45243
            ],
            [
              0.03557,
              0.04984,
              0.06347,
              0.09003,
              0.14251,
              0.24686,
              0.45529
            ],
            [
              0.03833,
              0.05274,
              0.06646,
              0.09317,
              0.14576,
              0.25019,
              0.45865
            ],
            [
              0.04272,
              0.05721,
              0.07107,
              0.09792,
              0.15066,
              0.25517,
              0.46372
            ],
            [
              0.04973,
              0.06407,
              0.078,
              0.10502,
              0.15789,
              0.26256,
              0.47119
            ],
            [
              0.05829,
              0.0747,
              0.08857,
              0.11571,
              0.1687,
              0.27365,
              0.48244
            ],
            [
              0.06822,
              0.0883,
              0.10445,
              0.13183,
              0.18499,
              0.29,
              0.49899
            ],
            [
              0.07979,
              0.10423,
              0.12393,
              0.15597,
              0.20955,
              0.31468,
              0.52378
            ],
            [
              0.09303,
              0.12289,
              0.14694,
              0.18598,
              0.24667,
              0.35175,
              0.56091
            ],
            [
              0.10824,
              0.14463,
              0.17396,
              0.22163,
              0.29545,
              0.40795,
              0.61688
            ],
            [
              0.1255,
              0.16982,
              0.20559,
              0.26371,
              0.35363,
              0.48842,
              0.70132
            ],
            [
              0.14466,
              0.19877,
              0.24237,
              0.31307,
              0.42277,
              0.58667,
              0.82837
            ],
            [
              0.1655,
              0.2313,
              0.2844,
              0.3707,
              0.5044,
              0.704,
              0.9968
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10229,
              0.13388,
              0.16416,
              0.22293,
              0.338,
              0.56524,
              1.01747
            ],
            [
              0.10408,
              0.13571,
              0.16614,
              0.22508,
              0.34036,
              0.56772,
              1.02014
            ],
            [
              0.10628,
              0.13797,
              0.16844,
              0.22755,
              0.34301,
              0.57049,
              1.02292
            ],
            [
              0.10974,
              0.14144,
              0.17197,
              0.2312,
              0.34685,
              0.57451,
              1.02697
            ],
            [
              0.11525,
              0.14688,
              0.17746,
              0.2368,
              0.35263,
              0.5805,
              1.03331
            ],
            [
              0.12401,
              0.15549,
              0.18602,
              0.24539,
              0.36142,
              0.58958,
              1.04262
            ],
            [
              0.13787,
              0.16913,
              0.19953,
              0.25885,
              0.37483,
              0.60329,
              1.05653
            ],
            [
              0.16158,
              0.19074,
              0.22076,
              0.27974,
              0.39558,
              0.6241,
              1.07746
            ],
            [
              0.19068,
              0.22498,
              0.25475,
              0.31242,
              0.42759,
              0.65584,
              1.10905
            ],
            [
              0.22378,
              0.26507,
              0.30128,
              0.36394,
              0.47733,
              0.70439,
              1.15709
            ],
            [
              0.26089,
              0.31041,
              0.35411,
              0.42974,
              0.55472,
              0.77942,
              1.23032
            ],
            [
              0.30257,
              0.36137,
              0.41347,
              0.50467,
              0.65557,
              0.89437,
              1.34247
            ],
            [
              0.3502,
              0.4189,
              0.4804,
              0.589,
              0.7705,
              1.0576,
              1.5146
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.05672,
              0.07765,
              0.09791,
              0.13669,
              0.21138,
              0.35827,
              0.65188
            ],
            [
              0.05668,
              0.07766,
              0.09791,
              0.1367,
              0.21138,
              0.35828,
              0.65183
            ],
            [
              0.05662,
              0.07765,
              0.09791,
              0.13669,
              0.21142,
              0.35828,
              0.65171
            ],
            [
              0.05651,
              0.0776,
              0.09791,
              0.13669,
              0.21138,
              0.35837,
              0.65188
            ],
            [
              0.0585,
              0.07785,
              0.09781,
              0.13669,
              0.2114,
              0.35828,
              0.65187
            ],
            [
              0.06357,
              0.08106,
              0.09932,
              0.13662,
              0.21141,
              0.35829,
              0.65153
            ],
            [
              0.07406,
              0.08883,
              0.10534,
              0.13951,
              0.21133,
              0.3583,
              0.6519
            ],
            [
              0.09215,
              0.10433,
              0.11805,
              0.14896,
              0.21499,
              0.3585,
              0.65183
            ],
            [
              0.11328,
              0.12704,
              0.14129,
              0.16821,
              0.22804,
              0.36112,
              0.6519
            ],
            [
              0.14206,
              0.15652,
              0.1716,
              0.20087,
              0.25568,
              0.37673,
              0.65244
            ],
            [
              0.18096,
              0.19633,
              0.21256,
              0.24439,
              0.30334,
              0.41446,
              0.6676
            ],
            [
              0.23341,
              0.24989,
              0.26779,
              0.303,
              0.3681,
              0.4835,
              0.7137
            ],
            [
              0.3039,
              0.3222,
              0.3421,
              0.3817,
              0.4549,
              0.5841,
              0.8092
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.11003,
              0.15111,
              0.19207,
              0.27321,
              0.43533,
              0.75892,
              1.40821
            ],
            [
              0.11014,
              0.15112,
              0.19205,
              0.2734,
              0.43561,
              0.76023,
              1.40812
            ],
            [
              0.11007,
              0.15111,
              0.19197,
              0.27346,
              0.43566,
              0.76024,
              1.40806
            ],
            [
              0.10995,
              0.15091,
              0.19175,
              0.27323,
              0.43578,
              0.75904,
              1.40622
            ],
            [
              0.10956,
              0.1508,
              0.19185,
              0.27329,
              0.43601,
              0.75908,
              1.40819
            ],
            [
              0.10762,
              0.15033,
              0.19177,
              0.27345,
              0.43595,
              0.75962,
              1.40842
            ],
            [
              0.10832,
              0.14862,
              0.19034,
              0.27292,
              0.43591,
              0.75893,
              1.40836
            ],
            [
              0.117,
              0.15385,
              0.1922,
              0.27179,
              0.43519,
              0.75931,
              1.40811
            ],
            [
              0.13769,
              0.17028,
              0.20535,
              0.27854,
              0.43511,
              0.76031,
              1.40705
            ],
            [
              0.16125,
              0.20286,
              0.23562,
              0.30209,
              0.44556,
              0.75938,
              1.40692
            ],
            [
              0.1919,
              0.24056,
              0.28198,
              0.35085,
              0.48134,
              0.77067,
              1.408
            ],
            [
              0.2311,
              0.2888,
              0.3378,
              0.4208,
              0.554,
              0.8174,
              1.4128
            ],
            [
              0.2809,
              0.3493,
              0.4078,
              0.5066,
              0.6656,
              0.9218,
              1.464
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0425,
              0.05628,
              0.06963,
              0.09592,
              0.14808,
              0.25232,
              0.46059
            ],
            [
              0.04499,
              0.05901,
              0.07248,
              0.09887,
              0.15122,
              0.25536,
              0.46371
            ],
            [
              0.04789,
              0.06212,
              0.0757,
              0.10228,
              0.15468,
              0.25902,
              0.46734
            ],
            [
              0.0521,
              0.06647,
              0.08017,
              0.10691,
              0.15948,
              0.26393,
              0.4723
            ],
            [
              0.05812,
              0.07258,
              0.08641,
              0.11333,
              0.1661,
              0.2707,
              0.479
            ],
            [
              0.06607,
              0.08146,
              0.09541,
              0.12245,
              0.17542,
              0.28023,
              0.48875
            ],
            [
              0.07558,
              0.09314,
              0.10849,
              0.1359,
              0.18902,
              0.29411,
              0.50287
            ],
            [
              0.08745,
              0.10759,
              0.12499,
              0.15558,
              0.20941,
              0.31464,
              0.52368
            ],
            [
              0.10164,
              0.12557,
              0.14575,
              0.18053,
              0.23977,
              0.34542,
              0.55485
            ],
            [
              0.11804,
              0.14736,
              0.17151,
              0.2121,
              0.27934,
              0.39175,
              0.60123
            ],
            [
              0.13636,
              0.17304,
              0.20269,
              0.25139,
              0.32965,
              0.45642,
              0.67122
            ],
            [
              0.15656,
              0.20277,
              0.23957,
              0.29927,
              0.39267,
              0.53877,
              0.77527
            ],
            [
              0.1797,
              0.2372,
              0.283,
              0.3567,
              0.4703,
              0.6427,
              0.9117
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.05669,
              0.07577,
              0.09434,
              0.13087,
              0.20321,
              0.34692,
              0.6339
            ],
            [
              0.05839,
              0.07758,
              0.09625,
              0.13287,
              0.20527,
              0.34906,
              0.63611
            ],
            [
              0.06066,
              0.08001,
              0.09874,
              0.13549,
              0.20787,
              0.35167,
              0.63881
            ],
            [
              0.06448,
              0.08388,
              0.10269,
              0.13948,
              0.21197,
              0.35584,
              0.64302
            ],
            [
              0.0707,
              0.09007,
              0.10893,
              0.14582,
              0.21836,
              0.36227,
              0.64965
            ],
            [
              0.08084,
              0.0999,
              0.11869,
              0.15555,
              0.22827,
              0.37224,
              0.65933
            ],
            [
              0.09491,
              0.11545,
              0.13396,
              0.1706,
              0.24314,
              0.38724,
              0.67437
            ],
            [
              0.11042,
              0.13577,
              0.15714,
              0.19394,
              0.26629,
              0.41015,
              0.69692
            ],
            [
              0.12732,
              0.15834,
              0.1846,
              0.22838,
              0.30138,
              0.44484,
              0.73155
            ],
            [
              0.14545,
              0.18299,
              0.21509,
              0.26901,
              0.35456,
              0.49761,
              0.78359
            ],
            [
              0.16485,
              0.20957,
              0.24821,
              0.31403,
              0.41915,
              0.57852,
              0.86332
            ],
            [
              0.18567,
              0.23807,
              0.28397,
              0.36307,
              0.49137,
              0.68717,
              0.98397
            ],
            [
              0.208,
              0.2688,
              0.3225,
              0.4159,
              0.5703,
              0.81,
              1.1632
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02558,
              0.04412,
              0.06253,
              0.0995,
              0.17352,
              0.32065,
              0.61551
            ],
            [
              0.02562,
              0.04412,
              0.06263,
              0.09962,
              0.1735,
              0.32118,
              0.61627
            ],
            [
              0.02565,
              0.04411,
              0.06265,
              0.09954,
              0.17351,
              0.32075,
              0.61568
            ],
            [
              0.02564,
              0.04405,
              0.06263,
              0.09953,
              0.17335,
              0.32054,
              0.61557
            ],
            [
              0.02624,
              0.04419,
              0.06265,
              0.09942,
              0.17317,
              0.32071,
              0.61645
            ],
            [
              0.02931,
              0.04585,
              0.06337,
              0.09947,
              0.17329,
              0.3208,
              0.61646
            ],
            [
              0.03454,
              0.0508,
              0.06707,
              0.10144,
              0.17345,
              0.32054,
              0.61647
            ],
            [
              0.04135,
              0.05919,
              0.07564,
              0.1073,
              0.17615,
              0.32083,
              0.61659
            ],
            [
              0.05139,
              0.07053,
              0.08811,
              0.12083,
              0.18465,
              0.32361,
              0.61628
            ],
            [
              0.06623,
              0.0872,
              0.10607,
              0.14058,
              0.20401,
              0.33453,
              0.61771
            ],
            [
              0.08823,
              0.1112,
              0.13166,
              0.16871,
              0.23557,
              0.36022,
              0.62919
            ],
            [
              0.12042,
              0.14584,
              0.16836,
              0.2084,
              0.2797,
              0.4094,
              0.6614
            ],
            [
              0.1667,
              0.1949,
              0.22,
              0.2643,
              0.3418,
              0.4784,
              0.7286
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.05407,
              0.08059,
              0.10707,
              0.16023,
              0.26614,
              0.47743,
              0.9025
            ],
            [
              0.05395,
              0.08056,
              0.10712,
              0.1603,
              0.26614,
              0.47912,
              0.90175
            ],
            [
              0.054,
              0.0805,
              0.10711,
              0.1601,
              0.26652,
              0.47807,
              0.90132
            ],
            [
              0.05383,
              0.08045,
              0.10707,
              0.16,
              0.26644,
              0.47814,
              0.90183
            ],
            [
              0.05366,
              0.08029,
              0.10701,
              0.16013,
              0.26615,
              0.4779,
              0.90232
            ],
            [
              0.05724,
              0.08135,
              0.10688,
              0.16003,
              0.26625,
              0.47861,
              0.90068
            ],
            [
              0.06694,
              0.08809,
              0.11121,
              0.16055,
              0.2661,
              0.47747,
              0.90166
            ],
            [
              0.08192,
              0.10341,
              0.12372,
              0.16832,
              0.26701,
              0.4779,
              0.90232
            ],
            [
              0.09913,
              0.12652,
              0.14875,
              0.18843,
              0.27767,
              0.47796,
              0.90249
            ],
            [
              0.12082,
              0.1543,
              0.1815,
              0.22626,
              0.30566,
              0.48961,
              0.90122
            ],
            [
              0.14762,
              0.1886,
              0.22226,
              0.27656,
              0.36125,
              0.52563,
              0.9075
            ],
            [
              0.18089,
              0.23067,
              0.27175,
              0.3391,
              0.4427,
              0.6028,
              0.9492
            ],
            [
              0.2234,
              0.2829,
              0.3325,
              0.4149,
              0.5431,
              0.7321,
              1.048
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04254,
              0.05633,
              0.06966,
              0.09596,
              0.14812,
              0.25229,
              0.46062
            ],
            [
              0.04508,
              0.05911,
              0.07259,
              0.099,
              0.15134,
              0.25558,
              0.46388
            ],
            [
              0.04802,
              0.06228,
              0.07588,
              0.10243,
              0.15479,
              0.25914,
              0.46728
            ],
            [
              0.05228,
              0.06667,
              0.08042,
              0.10708,
              0.15968,
              0.26404,
              0.4723
            ],
            [
              0.05834,
              0.07283,
              0.08666,
              0.11358,
              0.1663,
              0.27093,
              0.47922
            ],
            [
              0.06632,
              0.08173,
              0.09569,
              0.12278,
              0.1757,
              0.28054,
              0.48921
            ],
            [
              0.07589,
              0.09343,
              0.10879,
              0.13624,
              0.18937,
              0.29445,
              0.50331
            ],
            [
              0.0877,
              0.10789,
              0.12529,
              0.15593,
              0.20976,
              0.31501,
              0.52406
            ],
            [
              0.10188,
              0.12584,
              0.14606,
              0.18088,
              0.24011,
              0.34583,
              0.55527
            ],
            [
              0.11824,
              0.1476,
              0.17178,
              0.21242,
              0.27974,
              0.39214,
              0.60168
            ],
            [
              0.13644,
              0.17317,
              0.20286,
              0.25163,
              0.32997,
              0.45682,
              0.67162
            ],
            [
              0.15625,
              0.20257,
              0.23957,
              0.29937,
              0.39287,
              0.53907,
              0.77557
            ],
            [
              0.1783,
              0.2362,
              0.2823,
              0.3563,
              0.4702,
              0.6428,
              0.912
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.06242,
              0.08402,
              0.10512,
              0.1466,
              0.22873,
              0.39209,
              0.71809
            ],
            [
              0.0639,
              0.08567,
              0.10686,
              0.14843,
              0.23066,
              0.39407,
              0.72023
            ],
            [
              0.06602,
              0.0879,
              0.10917,
              0.1509,
              0.23322,
              0.39662,
              0.7227
            ],
            [
              0.06957,
              0.09154,
              0.11288,
              0.15466,
              0.23711,
              0.40059,
              0.72689
            ],
            [
              0.07547,
              0.0974,
              0.11878,
              0.16065,
              0.24323,
              0.40672,
              0.73317
            ],
            [
              0.08519,
              0.10678,
              0.12809,
              0.16997,
              0.25259,
              0.41628,
              0.74258
            ],
            [
              0.0998,
              0.12176,
              0.14278,
              0.18442,
              0.26692,
              0.43071,
              0.75701
            ],
            [
              0.11613,
              0.143,
              0.1658,
              0.20692,
              0.289,
              0.4525,
              0.77885
            ],
            [
              0.13407,
              0.16678,
              0.19459,
              0.24138,
              0.32304,
              0.48608,
              0.81215
            ],
            [
              0.15346,
              0.19293,
              0.22677,
              0.28385,
              0.37519,
              0.53718,
              0.86229
            ],
            [
              0.17444,
              0.22132,
              0.262,
              0.33143,
              0.44299,
              0.61542,
              0.93882
            ],
            [
              0.19737,
              0.25217,
              0.30027,
              0.38347,
              0.51897,
              0.72697,
              1.05547
            ],
            [
              0.2225,
              0.2859,
              0.3421,
              0.4401,
              0.6026,
              0.8563,
              1.2329
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02561,
              0.04407,
              0.06262,
              0.09958,
              0.17352,
              0.32111,
              0.61586
            ],
            [
              0.02563,
              0.04406,
              0.06259,
              0.0995,
              0.17325,
              0.32083,
              0.61571
            ],
            [
              0.02565,
              0.04412,
              0.06252,
              0.09961,
              0.17353,
              0.32111,
              0.61657
            ],
            [
              0.02563,
              0.04407,
              0.06252,
              0.09957,
              0.17344,
              0.32118,
              0.61646
            ],
            [
              0.02623,
              0.0442,
              0.06265,
              0.09936,
              0.17346,
              0.32088,
              0.6166
            ],
            [
              0.02924,
              0.0458,
              0.06335,
              0.09942,
              0.17338,
              0.32085,
              0.61564
            ],
            [
              0.03444,
              0.05069,
              0.067,
              0.1012,
              0.17344,
              0.32076,
              0.61549
            ],
            [
              0.04124,
              0.05907,
              0.0755,
              0.10737,
              0.17608,
              0.32086,
              0.61662
            ],
            [
              0.05124,
              0.07048,
              0.08794,
              0.12065,
              0.18451,
              0.32343,
              0.61619
            ],
            [
              0.06604,
              0.08703,
              0.10586,
              0.14042,
              0.20388,
              0.33424,
              0.61765
            ],
            [
              0.0879,
              0.111,
              0.13143,
              0.16848,
              0.23541,
              0.36012,
              0.62913
            ],
            [
              0.11998,
              0.14547,
              0.16804,
              0.2082,
              0.2795,
              0.4093,
              0.6615
            ],
            [
              0.166,
              0.1946,
              0.2197,
              0.264,
              0.3417,
              0.4783,
              0.7285
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.06248,
              0.09269,
              0.12286,
              0.18292,
              0.30274,
              0.54209,
              1.02106
            ],
            [
              0.06247,
              0.09276,
              0.12289,
              0.18278,
              0.30271,
              0.54083,
              1.01923
            ],
            [
              0.06243,
              0.09272,
              0.12266,
              0.18268,
              0.30246,
              0.54216,
              1.02064
            ],
            [
              0.06221,
              0.09248,
              0.12274,
              0.18269,
              0.3026,
              0.54137,
              1.01899
            ],
            [
              0.06141,
              0.09213,
              0.12263,
              0.18277,
              0.30263,
              0.5417,
              1.0197
            ],
            [
              0.06434,
              0.09242,
              0.12223,
              0.18279,
              0.30265,
              0.54146,
              1.01784
            ],
            [
              0.07278,
              0.09792,
              0.12513,
              0.18251,
              0.30253,
              0.54134,
              1.01914
            ],
            [
              0.08841,
              0.11189,
              0.13622,
              0.18834,
              0.30247,
              0.54178,
              1.01821
            ],
            [
              0.10522,
              0.13542,
              0.15932,
              0.20639,
              0.31066,
              0.54097,
              1.02081
            ],
            [
              0.12709,
              0.16313,
              0.19298,
              0.24177,
              0.33573,
              0.54789,
              1.0201
            ],
            [
              0.15388,
              0.19768,
              0.23392,
              0.29322,
              0.38706,
              0.57986,
              1.022
            ],
            [
              0.18734,
              0.23997,
              0.28383,
              0.3563,
              0.4688,
              0.6511,
              1.056
            ],
            [
              0.2299,
              0.2925,
              0.3453,
              0.4332,
              0.5704,
              0.777,
              1.144
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04255,
              0.05633,
              0.06967,
              0.09595,
              0.1482,
              0.25225,
              0.46058
            ],
            [
              0.04508,
              0.05911,
              0.07258,
              0.09895,
              0.15127,
              0.25554,
              0.4638
            ],
            [
              0.04801,
              0.06226,
              0.07587,
              0.10243,
              0.15485,
              0.25914,
              0.46735
            ],
            [
              0.05226,
              0.06665,
              0.08038,
              0.10708,
              0.1597,
              0.2641,
              0.47226
            ],
            [
              0.0583,
              0.07279,
              0.08663,
              0.11354,
              0.16634,
              0.27086,
              0.47941
            ],
            [
              0.06628,
              0.08169,
              0.09565,
              0.12272,
              0.17567,
              0.28049,
              0.48908
            ],
            [
              0.07584,
              0.09339,
              0.10875,
              0.13616,
              0.18933,
              0.29439,
              0.50316
            ],
            [
              0.08766,
              0.10784,
              0.12523,
              0.15587,
              0.20971,
              0.31496,
              0.52401
            ],
            [
              0.10183,
              0.12579,
              0.14601,
              0.18082,
              0.24006,
              0.34577,
              0.5552
            ],
            [
              0.11821,
              0.14756,
              0.17174,
              0.21237,
              0.27964,
              0.39209,
              0.60159
            ],
            [
              0.13641,
              0.17315,
              0.20283,
              0.25159,
              0.32992,
              0.45672,
              0.67152
            ],
            [
              0.15629,
              0.20257,
              0.23957,
              0.29937,
              0.39287,
              0.53897,
              0.77557
            ],
            [
              0.1785,
              0.2364,
              0.2824,
              0.3564,
              0.4702,
              0.6428,
              0.912
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.06161,
              0.08281,
              0.10347,
              0.14418,
              0.22478,
              0.38488,
              0.70481
            ],
            [
              0.06314,
              0.08448,
              0.10526,
              0.146,
              0.22669,
              0.38693,
              0.7067
            ],
            [
              0.06526,
              0.08673,
              0.1076,
              0.14853,
              0.22929,
              0.38953,
              0.7094
            ],
            [
              0.06885,
              0.0904,
              0.11134,
              0.15235,
              0.2332,
              0.39352,
              0.71342
            ],
            [
              0.07479,
              0.09631,
              0.11728,
              0.15835,
              0.23926,
              0.39972,
              0.71977
            ],
            [
              0.08455,
              0.10575,
              0.12667,
              0.16772,
              0.24869,
              0.40923,
              0.72923
            ],
            [
              0.09909,
              0.12082,
              0.14144,
              0.18226,
              0.26318,
              0.42377,
              0.74372
            ],
            [
              0.11528,
              0.14192,
              0.16452,
              0.2049,
              0.28536,
              0.4458,
              0.76575
            ],
            [
              0.13305,
              0.1655,
              0.19307,
              0.23938,
              0.31963,
              0.47948,
              0.79925
            ],
            [
              0.15223,
              0.1914,
              0.22497,
              0.28153,
              0.37198,
              0.53084,
              0.84969
            ],
            [
              0.17295,
              0.2195,
              0.25985,
              0.32871,
              0.43926,
              0.60952,
              0.92642
            ],
            [
              0.19547,
              0.24997,
              0.29767,
              0.38027,
              0.51467,
              0.72067,
              1.04387
            ],
            [
              0.2202,
              0.2832,
              0.339,
              0.4363,
              0.5975,
              0.849,
              1.2217
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02561,
              0.04405,
              0.06258,
              0.0996,
              0.17334,
              0.32115,
              0.61598
            ],
            [
              0.02563,
              0.04407,
              0.06255,
              0.09964,
              0.17353,
              0.32094,
              0.61599
            ],
            [
              0.02565,
              0.04407,
              0.06253,
              0.09944,
              0.17341,
              0.32096,
              0.61659
            ],
            [
              0.02563,
              0.04406,
              0.06258,
              0.09957,
              0.17316,
              0.32095,
              0.61656
            ],
            [
              0.02623,
              0.04421,
              0.06265,
              0.09945,
              0.17314,
              0.32115,
              0.61532
            ],
            [
              0.02926,
              0.04582,
              0.06336,
              0.09954,
              0.17335,
              0.32083,
              0.61621
            ],
            [
              0.03445,
              0.05071,
              0.06701,
              0.10141,
              0.17344,
              0.32081,
              0.61654
            ],
            [
              0.04125,
              0.05908,
              0.07551,
              0.10737,
              0.17609,
              0.32086,
              0.61667
            ],
            [
              0.0513,
              0.0705,
              0.08797,
              0.1207,
              0.18436,
              0.32342,
              0.61624
            ],
            [
              0.06607,
              0.08706,
              0.10589,
              0.14043,
              0.20386,
              0.33382,
              0.61757
            ],
            [
              0.08795,
              0.11103,
              0.13145,
              0.16852,
              0.23548,
              0.3601,
              0.6291
            ],
            [
              0.12,
              0.14549,
              0.16806,
              0.2082,
              0.2795,
              0.4092,
              0.6614
            ],
            [
              0.1661,
              0.1946,
              0.2197,
              0.2642,
              0.3417,
              0.4783,
              0.7285
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.06106,
              0.09072,
              0.12025,
              0.17896,
              0.29657,
              0.53194,
              0.99901
            ],
            [
              0.061,
              0.09076,
              0.12026,
              0.17903,
              0.29659,
              0.53153,
              1.00161
            ],
            [
              0.06104,
              0.09073,
              0.12027,
              0.17915,
              0.29633,
              0.53143,
              0.99937
            ],
            [
              0.06085,
              0.09049,
              0.12013,
              0.17904,
              0.29645,
              0.53051,
              1.00109
            ],
            [
              0.06019,
              0.09012,
              0.12007,
              0.17893,
              0.29674,
              0.53135,
              1.00137
            ],
            [
              0.06311,
              0.09065,
              0.11964,
              0.17894,
              0.29651,
              0.53197,
              1.00018
            ],
            [
              0.07171,
              0.09638,
              0.12275,
              0.179,
              0.29621,
              0.5314,
              1.00124
            ],
            [
              0.08736,
              0.11055,
              0.13413,
              0.18498,
              0.29679,
              0.53135,
              0.99886
            ],
            [
              0.10421,
              0.13391,
              0.15764,
              0.20314,
              0.30478,
              0.53035,
              1.00079
            ],
            [
              0.12611,
              0.1617,
              0.1911,
              0.23933,
              0.33085,
              0.53857,
              1.00082
            ],
            [
              0.15288,
              0.19632,
              0.23203,
              0.29048,
              0.38285,
              0.57076,
              1.0032
            ],
            [
              0.18631,
              0.2385,
              0.28192,
              0.3535,
              0.4645,
              0.6429,
              1.0388
            ],
            [
              0.2288,
              0.291,
              0.3433,
              0.4303,
              0.566,
              0.7697,
              1.1269
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0426,
              0.0564,
              0.06974,
              0.09602,
              0.14824,
              0.25236,
              0.46048
            ],
            [
              0.04521,
              0.05924,
              0.07272,
              0.09913,
              0.15145,
              0.25572,
              0.46379
            ],
            [
              0.04826,
              0.0625,
              0.07612,
              0.1026,
              0.155,
              0.25935,
              0.46766
            ],
            [
              0.05259,
              0.067,
              0.08074,
              0.10744,
              0.16004,
              0.26442,
              0.4727
            ],
            [
              0.05873,
              0.07328,
              0.08714,
              0.11405,
              0.16682,
              0.27131,
              0.47991
            ],
            [
              0.06682,
              0.08228,
              0.09626,
              0.12335,
              0.17633,
              0.28116,
              0.48956
            ],
            [
              0.07649,
              0.09406,
              0.10946,
              0.13691,
              0.19009,
              0.29515,
              0.50385
            ],
            [
              0.08835,
              0.1086,
              0.12605,
              0.15664,
              0.21052,
              0.31576,
              0.52484
            ],
            [
              0.10253,
              0.12658,
              0.14684,
              0.1817,
              0.24095,
              0.34667,
              0.55609
            ],
            [
              0.11884,
              0.14828,
              0.17252,
              0.21325,
              0.28061,
              0.39298,
              0.60252
            ],
            [
              0.13682,
              0.17362,
              0.20339,
              0.25232,
              0.33079,
              0.45772,
              0.67252
            ],
            [
              0.15577,
              0.20237,
              0.23947,
              0.29957,
              0.39337,
              0.53987,
              0.77647
            ],
            [
              0.1756,
              0.2342,
              0.2807,
              0.3554,
              0.47,
              0.6432,
              0.9127
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.0769,
              0.10557,
              0.13363,
              0.18897,
              0.29855,
              0.51639,
              0.9516
            ],
            [
              0.07799,
              0.10683,
              0.13505,
              0.19049,
              0.30017,
              0.51814,
              0.95321
            ],
            [
              0.07964,
              0.10864,
              0.13696,
              0.19257,
              0.30237,
              0.52032,
              0.95569
            ],
            [
              0.08259,
              0.11171,
              0.14014,
              0.1959,
              0.30588,
              0.52406,
              0.95935
            ],
            [
              0.08777,
              0.1168,
              0.14529,
              0.20115,
              0.31121,
              0.52965,
              0.96501
            ],
            [
              0.09658,
              0.12515,
              0.15357,
              0.20945,
              0.31963,
              0.53818,
              0.97382
            ],
            [
              0.11149,
              0.13878,
              0.16674,
              0.22246,
              0.33263,
              0.55118,
              0.98673
            ],
            [
              0.12991,
              0.16086,
              0.18794,
              0.24294,
              0.3527,
              0.57098,
              1.00686
            ],
            [
              0.15053,
              0.18762,
              0.2196,
              0.27495,
              0.38386,
              0.60163,
              1.03695
            ],
            [
              0.17324,
              0.21765,
              0.25603,
              0.3217,
              0.43199,
              0.64859,
              1.08279
            ],
            [
              0.19828,
              0.25073,
              0.29657,
              0.37539,
              0.50412,
              0.72062,
              1.15312
            ],
            [
              0.22647,
              0.28747,
              0.34137,
              0.43517,
              0.58967,
              0.83167,
              1.26057
            ],
            [
              0.2586,
              0.3289,
              0.3914,
              0.5014,
              0.6852,
              0.9754,
              1.4257
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.02562,
              0.04415,
              0.06254,
              0.09955,
              0.17329,
              0.3212,
              0.61663
            ],
            [
              0.02566,
              0.04414,
              0.06264,
              0.09951,
              0.17322,
              0.32074,
              0.61662
            ],
            [
              0.02565,
              0.04415,
              0.06258,
              0.09962,
              0.1735,
              0.32095,
              0.61649
            ],
            [
              0.02566,
              0.04409,
              0.06265,
              0.09958,
              0.17339,
              0.3209,
              0.61664
            ],
            [
              0.02619,
              0.0442,
              0.06264,
              0.09943,
              0.17313,
              0.32124,
              0.61593
            ],
            [
              0.02918,
              0.04572,
              0.0633,
              0.09948,
              0.17327,
              0.32066,
              0.61655
            ],
            [
              0.03428,
              0.05053,
              0.06684,
              0.1013,
              0.17341,
              0.32048,
              0.6166
            ],
            [
              0.04103,
              0.05874,
              0.07522,
              0.10713,
              0.17597,
              0.32099,
              0.61665
            ],
            [
              0.05103,
              0.07011,
              0.08761,
              0.12029,
              0.18422,
              0.32335,
              0.61625
            ],
            [
              0.06568,
              0.08656,
              0.10536,
              0.13994,
              0.20342,
              0.33424,
              0.61765
            ],
            [
              0.08717,
              0.11036,
              0.13085,
              0.16788,
              0.23501,
              0.35966,
              0.62841
            ],
            [
              0.11854,
              0.14445,
              0.16721,
              0.2076,
              0.2789,
              0.4088,
              0.6598
            ],
            [
              0.1639,
              0.1932,
              0.2188,
              0.2635,
              0.3412,
              0.4778,
              0.7281
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.08729,
              0.12764,
              0.16757,
              0.24707,
              0.4047,
              0.71801,
              1.34677
            ],
            [
              0.08704,
              0.12759,
              0.16756,
              0.24704,
              0.40461,
              0.719,
              1.34461
            ],
            [
              0.08681,
              0.12722,
              0.16752,
              0.24704,
              0.40475,
              0.71798,
              1.34692
            ],
            [
              0.08632,
              0.12711,
              0.16748,
              0.24701,
              0.40476,
              0.71833,
              1.34681
            ],
            [
              0.08529,
              0.12654,
              0.16715,
              0.24669,
              0.40437,
              0.71883,
              1.34654
            ],
            [
              0.08567,
              0.1253,
              0.16634,
              0.24635,
              0.40398,
              0.71891,
              1.34683
            ],
            [
              0.09141,
              0.12809,
              0.16623,
              0.2456,
              0.40392,
              0.71843,
              1.34606
            ],
            [
              0.10545,
              0.13858,
              0.17345,
              0.24721,
              0.40411,
              0.71759,
              1.34626
            ],
            [
              0.1232,
              0.1603,
              0.1922,
              0.25948,
              0.40562,
              0.71764,
              1.34577
            ],
            [
              0.144,
              0.18839,
              0.22623,
              0.28868,
              0.42247,
              0.71894,
              1.34425
            ],
            [
              0.17102,
              0.22253,
              0.26628,
              0.34009,
              0.46462,
              0.73644,
              1.3453
            ],
            [
              0.20456,
              0.26532,
              0.31699,
              0.4031,
              0.5421,
              0.793,
              1.3563
            ],
            [
              0.2473,
              0.3186,
              0.3796,
              0.4819,
              0.6458,
              0.9033,
              1.4202
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04346,
              0.05729,
              0.07062,
              0.09694,
              0.14923,
              0.25346,
              0.46187
            ],
            [
              0.04602,
              0.06005,
              0.07354,
              0.09999,
              0.15238,
              0.25667,
              0.46509
            ],
            [
              0.04897,
              0.06322,
              0.07683,
              0.10343,
              0.15591,
              0.26031,
              0.46885
            ],
            [
              0.05321,
              0.06764,
              0.08137,
              0.10813,
              0.16076,
              0.26526,
              0.47376
            ],
            [
              0.05929,
              0.07382,
              0.08768,
              0.11464,
              0.16747,
              0.27207,
              0.48066
            ],
            [
              0.06738,
              0.08273,
              0.09671,
              0.12386,
              0.1769,
              0.2817,
              0.49043
            ],
            [
              0.07714,
              0.09456,
              0.1099,
              0.13731,
              0.19062,
              0.29568,
              0.5046
            ],
            [
              0.08926,
              0.1092,
              0.12654,
              0.15706,
              0.21103,
              0.3164,
              0.52556
            ],
            [
              0.10384,
              0.12751,
              0.14757,
              0.18223,
              0.2414,
              0.34728,
              0.55678
            ],
            [
              0.12084,
              0.14969,
              0.17367,
              0.21405,
              0.28125,
              0.39367,
              0.60353
            ],
            [
              0.13997,
              0.17593,
              0.20527,
              0.25372,
              0.33181,
              0.45852,
              0.67362
            ],
            [
              0.16115,
              0.20637,
              0.24277,
              0.30207,
              0.39517,
              0.54117,
              0.77757
            ],
            [
              0.1853,
              0.2415,
              0.2867,
              0.3599,
              0.4732,
              0.6454,
              0.9145
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.08448,
              0.10637,
              0.12782,
              0.17,
              0.25324,
              0.41858,
              0.74815
            ],
            [
              0.08614,
              0.10811,
              0.12959,
              0.1718,
              0.2552,
              0.42054,
              0.75021
            ],
            [
              0.08839,
              0.11042,
              0.13199,
              0.17425,
              0.25773,
              0.42314,
              0.75277
            ],
            [
              0.09202,
              0.11414,
              0.13575,
              0.17813,
              0.26161,
              0.42712,
              0.75686
            ],
            [
              0.09792,
              0.12005,
              0.14169,
              0.18415,
              0.26778,
              0.43322,
              0.76322
            ],
            [
              0.10731,
              0.12936,
              0.15099,
              0.19345,
              0.27706,
              0.44276,
              0.77256
            ],
            [
              0.12216,
              0.14396,
              0.16548,
              0.20786,
              0.29148,
              0.45718,
              0.78699
            ],
            [
              0.14383,
              0.16705,
              0.18812,
              0.23021,
              0.31349,
              0.4791,
              0.80884
            ],
            [
              0.16817,
              0.19643,
              0.22134,
              0.26462,
              0.3474,
              0.51259,
              0.84215
            ],
            [
              0.19498,
              0.22932,
              0.25964,
              0.31227,
              0.39928,
              0.56345,
              0.89219
            ],
            [
              0.2241,
              0.26535,
              0.30206,
              0.3662,
              0.47182,
              0.64132,
              0.96862
            ],
            [
              0.25567,
              0.30447,
              0.34827,
              0.42567,
              0.55437,
              0.75597,
              1.08507
            ],
            [
              0.2903,
              0.3471,
              0.3987,
              0.4905,
              0.6455,
              0.8918,
              1.2625
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04618,
              0.06468,
              0.08314,
              0.11982,
              0.1931,
              0.34004,
              0.63431
            ],
            [
              0.04619,
              0.06469,
              0.08313,
              0.11977,
              0.19308,
              0.33978,
              0.6342
            ],
            [
              0.04619,
              0.06468,
              0.08314,
              0.11986,
              0.19317,
              0.34033,
              0.63438
            ],
            [
              0.04621,
              0.06467,
              0.08314,
              0.11983,
              0.19307,
              0.34037,
              0.63436
            ],
            [
              0.04677,
              0.06475,
              0.08315,
              0.11985,
              0.19317,
              0.34031,
              0.63399
            ],
            [
              0.04961,
              0.06634,
              0.08387,
              0.11989,
              0.19311,
              0.3403,
              0.63436
            ],
            [
              0.05578,
              0.07105,
              0.08746,
              0.12169,
              0.19324,
              0.34007,
              0.6343
            ],
            [
              0.06535,
              0.08087,
              0.09569,
              0.12755,
              0.19596,
              0.34023,
              0.63386
            ],
            [
              0.07841,
              0.09469,
              0.11041,
              0.14068,
              0.20443,
              0.34256,
              0.63413
            ],
            [
              0.09731,
              0.11433,
              0.13081,
              0.16264,
              0.22354,
              0.35364,
              0.63575
            ],
            [
              0.12504,
              0.1426,
              0.15988,
              0.19331,
              0.25674,
              0.37909,
              0.64704
            ],
            [
              0.16543,
              0.18331,
              0.20135,
              0.2366,
              0.3033,
              0.4291,
              0.6803
            ],
            [
              0.2226,
              0.241,
              0.26,
              0.2978,
              0.3688,
              0.5008,
              0.7469
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.08096,
              0.11178,
              0.14262,
              0.20334,
              0.32469,
              0.56663,
              1.05175
            ],
            [
              0.08089,
              0.11188,
              0.14257,
              0.20359,
              0.32483,
              0.56687,
              1.04988
            ],
            [
              0.08088,
              0.11174,
              0.14259,
              0.20359,
              0.3246,
              0.56677,
              1.05127
            ],
            [
              0.08079,
              0.11178,
              0.14257,
              0.20358,
              0.32486,
              0.56672,
              1.04998
            ],
            [
              0.08059,
              0.11169,
              0.14235,
              0.20346,
              0.3247,
              0.56705,
              1.04957
            ],
            [
              0.08035,
              0.1112,
              0.14211,
              0.20347,
              0.32507,
              0.56645,
              1.04842
            ],
            [
              0.08527,
              0.11351,
              0.14259,
              0.20306,
              0.32503,
              0.56629,
              1.04951
            ],
            [
              0.09815,
              0.12369,
              0.15029,
              0.20612,
              0.32463,
              0.56661,
              1.04848
            ],
            [
              0.11899,
              0.14607,
              0.16995,
              0.22045,
              0.3299,
              0.56633,
              1.05151
            ],
            [
              0.14348,
              0.17676,
              0.20508,
              0.25245,
              0.35144,
              0.57145,
              1.05106
            ],
            [
              0.17407,
              0.21436,
              0.24839,
              0.30565,
              0.39996,
              0.60009,
              1.0499
            ],
            [
              0.21208,
              0.26097,
              0.30234,
              0.3715,
              0.4819,
              0.6672,
              1.0796
            ],
            [
              0.2592,
              0.3179,
              0.3681,
              0.4522,
              0.5866,
              0.7905,
              1.1659
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04351,
              0.05733,
              0.07068,
              0.097,
              0.14928,
              0.25353,
              0.46191
            ],
            [
              0.04614,
              0.06019,
              0.07369,
              0.10013,
              0.1525,
              0.25682,
              0.46518
            ],
            [
              0.0492,
              0.06345,
              0.07709,
              0.10366,
              0.15614,
              0.26051,
              0.46894
            ],
            [
              0.05353,
              0.068,
              0.08174,
              0.10849,
              0.16112,
              0.2656,
              0.47408
            ],
            [
              0.0597,
              0.0743,
              0.08818,
              0.11512,
              0.16795,
              0.27257,
              0.48117
            ],
            [
              0.06798,
              0.08333,
              0.09733,
              0.12449,
              0.17752,
              0.28233,
              0.49105
            ],
            [
              0.07782,
              0.0953,
              0.11063,
              0.13808,
              0.19139,
              0.29641,
              0.50537
            ],
            [
              0.08999,
              0.11004,
              0.12741,
              0.15791,
              0.21188,
              0.31724,
              0.52638
            ],
            [
              0.10459,
              0.12831,
              0.14847,
              0.18317,
              0.24233,
              0.34825,
              0.55772
            ],
            [
              0.12151,
              0.15047,
              0.1745,
              0.21503,
              0.28225,
              0.39461,
              0.60449
            ],
            [
              0.14036,
              0.17645,
              0.20588,
              0.2545,
              0.33274,
              0.45952,
              0.67462
            ],
            [
              0.16059,
              0.20597,
              0.24267,
              0.30227,
              0.39577,
              0.54197,
              0.77847
            ],
            [
              0.1822,
              0.2392,
              0.2849,
              0.3589,
              0.4729,
              0.6459,
              0.9153
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.10972,
              0.1398,
              0.16933,
              0.22752,
              0.34263,
              0.57117,
              1.02717
            ],
            [
              0.11098,
              0.14115,
              0.17077,
              0.229,
              0.34416,
              0.57275,
              1.02884
            ],
            [
              0.11276,
              0.14303,
              0.17274,
              0.23112,
              0.3464,
              0.57515,
              1.03102
            ],
            [
              0.11582,
              0.14619,
              0.17596,
              0.23444,
              0.34986,
              0.57862,
              1.03488
            ],
            [
              0.1209,
              0.15128,
              0.18113,
              0.23973,
              0.35526,
              0.5843,
              1.04051
            ],
            [
              0.12918,
              0.15947,
              0.1893,
              0.24796,
              0.36359,
              0.59274,
              1.04892
            ],
            [
              0.14255,
              0.17252,
              0.20221,
              0.26076,
              0.37638,
              0.60563,
              1.06173
            ],
            [
              0.16465,
              0.1933,
              0.22259,
              0.28085,
              0.39615,
              0.62539,
              1.08156
            ],
            [
              0.19245,
              0.22553,
              0.25493,
              0.31214,
              0.42687,
              0.65545,
              1.11165
            ],
            [
              0.22384,
              0.26337,
              0.29871,
              0.361,
              0.47424,
              0.70159,
              1.15699
            ],
            [
              0.25855,
              0.30567,
              0.34799,
              0.42243,
              0.54762,
              0.77282,
              1.22632
            ],
            [
              0.29707,
              0.35247,
              0.40267,
              0.49157,
              0.64137,
              0.88247,
              1.33267
            ],
            [
              0.3407,
              0.4049,
              0.4634,
              0.5685,
              0.747,
              1.0347,
              1.496
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04598,
              0.06445,
              0.08291,
              0.11961,
              0.19282,
              0.34016,
              0.63412
            ],
            [
              0.04598,
              0.06444,
              0.08292,
              0.11963,
              0.19289,
              0.33986,
              0.63515
            ],
            [
              0.04598,
              0.06446,
              0.08292,
              0.11962,
              0.19291,
              0.33999,
              0.63367
            ],
            [
              0.046,
              0.06446,
              0.08293,
              0.11962,
              0.19281,
              0.33977,
              0.63414
            ],
            [
              0.04649,
              0.06455,
              0.08295,
              0.11963,
              0.19288,
              0.33996,
              0.63431
            ],
            [
              0.04922,
              0.06603,
              0.08356,
              0.11964,
              0.19292,
              0.34015,
              0.63523
            ],
            [
              0.05532,
              0.07058,
              0.08705,
              0.12129,
              0.19296,
              0.34003,
              0.63431
            ],
            [
              0.06479,
              0.08029,
              0.09514,
              0.12707,
              0.19551,
              0.33971,
              0.63401
            ],
            [
              0.07775,
              0.09395,
              0.10967,
              0.14003,
              0.2039,
              0.3423,
              0.63509
            ],
            [
              0.09646,
              0.11345,
              0.12989,
              0.16185,
              0.22267,
              0.35306,
              0.63666
            ],
            [
              0.12379,
              0.14145,
              0.15887,
              0.19235,
              0.25593,
              0.37873,
              0.64708
            ],
            [
              0.16351,
              0.18181,
              0.20011,
              0.2355,
              0.3024,
              0.428,
              0.6785
            ],
            [
              0.22,
              0.2391,
              0.2587,
              0.2968,
              0.368,
              0.5003,
              0.7462
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.11754,
              0.16008,
              0.20217,
              0.28511,
              0.45064,
              0.78058,
              1.43596
            ],
            [
              0.11743,
              0.15998,
              0.20214,
              0.28553,
              0.45102,
              0.78058,
              1.43607
            ],
            [
              0.11729,
              0.15977,
              0.20214,
              0.28553,
              0.45107,
              0.7796,
              1.43802
            ],
            [
              0.11691,
              0.15965,
              0.20206,
              0.28548,
              0.45099,
              0.78068,
              1.43778
            ],
            [
              0.1165,
              0.15949,
              0.20181,
              0.28542,
              0.45108,
              0.77952,
              1.4381
            ],
            [
              0.11518,
              0.1588,
              0.2015,
              0.28487,
              0.45096,
              0.78005,
              1.43812
            ],
            [
              0.11646,
              0.15765,
              0.20014,
              0.28487,
              0.45087,
              0.7804,
              1.43796
            ],
            [
              0.1255,
              0.16362,
              0.20266,
              0.28388,
              0.45028,
              0.7807,
              1.43773
            ],
            [
              0.14578,
              0.18077,
              0.21682,
              0.29133,
              0.44947,
              0.78056,
              1.43852
            ],
            [
              0.16954,
              0.21241,
              0.24718,
              0.31587,
              0.46204,
              0.77978,
              1.43842
            ],
            [
              0.1999,
              0.24916,
              0.29185,
              0.36417,
              0.4989,
              0.7928,
              1.4382
            ],
            [
              0.23821,
              0.2963,
              0.3461,
              0.4317,
              0.5714,
              0.8413,
              1.4457
            ],
            [
              0.2862,
              0.3546,
              0.4136,
              0.5145,
              0.6793,
              0.9463,
              1.4991
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.04351,
              0.05732,
              0.07068,
              0.09701,
              0.14931,
              0.25354,
              0.46199
            ],
            [
              0.04615,
              0.06021,
              0.07368,
              0.10016,
              0.15251,
              0.25681,
              0.46538
            ],
            [
              0.0492,
              0.06345,
              0.07706,
              0.10366,
              0.15615,
              0.26054,
              0.46894
            ],
            [
              0.05353,
              0.06796,
              0.08173,
              0.10848,
              0.16115,
              0.2656,
              0.47409
            ],
            [
              0.05967,
              0.07425,
              0.08814,
              0.11509,
              0.16792,
              0.27255,
              0.48113
            ],
            [
              0.06791,
              0.08328,
              0.09729,
              0.12443,
              0.17747,
              0.28229,
              0.49101
            ],
            [
              0.07774,
              0.09522,
              0.11057,
              0.13799,
              0.1913,
              0.29635,
              0.5053
            ],
            [
              0.08989,
              0.10994,
              0.12732,
              0.15782,
              0.21178,
              0.31715,
              0.52633
            ],
            [
              0.1045,
              0.1282,
              0.14833,
              0.18306,
              0.24223,
              0.34813,
              0.55759
            ],
            [
              0.1214,
              0.15035,
              0.17439,
              0.21491,
              0.28208,
              0.3945,
              0.60438
            ],
            [
              0.14029,
              0.17634,
              0.20578,
              0.25438,
              0.33262,
              0.45942,
              0.67452
            ],
            [
              0.16058,
              0.20597,
              0.24267,
              0.30227,
              0.39567,
              0.54187,
              0.77837
            ],
            [
              0.1825,
              0.2394,
              0.2851,
              0.359,
              0.4729,
              0.6458,
              0.9152
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.1273,
              0.1568,
              0.18559,
              0.24203,
              0.35302,
              0.57239,
              1.00897
            ],
            [
              0.12863,
              0.15824,
              0.1871,
              0.24359,
              0.35463,
              0.57415,
              1.01084
            ],
            [
              0.13057,
              0.16021,
              0.18918,
              0.24574,
              0.3569,
              0.57639,
              1.01302
            ],
            [
              0.13381,
              0.16354,
              0.19251,
              0.24921,
              0.36045,
              0.58008,
              1.01687
            ],
            [
              0.13912,
              0.16882,
              0.19788,
              0.25464,
              0.36596,
              0.58578,
              1.02261
            ],
            [
              0.14756,
              0.17723,
              0.20628,
              0.26307,
              0.37454,
              0.59436,
              1.03152
            ],
            [
              0.1609,
              0.19045,
              0.21942,
              0.27616,
              0.38762,
              0.60759,
              1.04463
            ],
            [
              0.18208,
              0.21121,
              0.24005,
              0.29658,
              0.4077,
              0.62761,
              1.06476
            ],
            [
              0.2141,
              0.24441,
              0.27213,
              0.32814,
              0.43888,
              0.65841,
              1.09515
            ],
            [
              0.25071,
              0.28684,
              0.3194,
              0.37734,
              0.48681,
              0.70529,
              1.14139
            ],
            [
              0.29144,
              0.33465,
              0.37368,
              0.44315,
              0.56102,
              0.77742,
              1.21192
            ],
            [
              0.33637,
              0.38747,
              0.43397,
              0.51727,
              0.65857,
              0.88837,
              1.31987
            ],
            [
              0.3865,
              0.4461,
              0.5009,
              0.5995,
              0.7687,
              1.0433,
              1.4854
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.05644,
              0.07739,
              0.09766,
              0.13644,
              0.21121,
              0.35808,
              0.65169
            ],
            [
              0.05644,
              0.0774,
              0.09766,
              0.13646,
              0.21117,
              0.35804,
              0.65177
            ],
            [
              0.05643,
              0.0774,
              0.09766,
              0.13645,
              0.21121,
              0.35806,
              0.65134
            ],
            [
              0.05646,
              0.0774,
              0.09765,
              0.13645,
              0.21122,
              0.35804,
              0.6514
            ],
            [
              0.05694,
              0.07747,
              0.09765,
              0.13643,
              0.21119,
              0.35807,
              0.65154
            ],
            [
              0.05971,
              0.07898,
              0.09832,
              0.13648,
              0.21119,
              0.35805,
              0.6513
            ],
            [
              0.06617,
              0.08359,
              0.1018,
              0.13817,
              0.21123,
              0.35826,
              0.65168
            ],
            [
              0.07972,
              0.09402,
              0.10997,
              0.14399,
              0.21374,
              0.35807,
              0.6515
            ],
            [
              0.09624,
              0.11132,
              0.12667,
              0.15693,
              0.22218,
              0.36065,
              0.65138
            ],
            [
              0.11887,
              0.13415,
              0.14977,
              0.18069,
              0.24105,
              0.37142,
              0.65269
            ],
            [
              0.15087,
              0.16608,
              0.18198,
              0.21374,
              0.27552,
              0.39692,
              0.66463
            ],
            [
              0.19662,
              0.21124,
              0.22734,
              0.26,
              0.3241,
              0.4468,
              0.6963
            ],
            [
              0.2612,
              0.275,
              0.2911,
              0.3252,
              0.3922,
              0.5205,
              0.764
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00333,
            0.00667,
            0.01334,
            0.02668,
            0.05335,
            0.10671
          ],
          "values": [
            [
              0.1314,
              0.17209,
              0.2121,
              0.29231,
              0.45083,
              0.76725,
              1.39843
            ],
            [
              0.13121,
              0.17209,
              0.21235,
              0.29221,
              0.45045,
              0.76759,
              1.39884
            ],
            [
              0.13127,
              0.17188,
              0.21229,
              0.29229,
              0.45054,
              0.76722,
              1.39618
            ],
            [
              0.1312,
              0.17201,
              0.21224,
              0.29228,
              0.4504,
              0.76658,
              1.39767
            ],
            [
              0.13102,
              0.17169,
              0.21235,
              0.29226,
              0.45093,
              0.76632,
              1.3985
            ],
            [
              0.13027,
              0.17144,
              0.21205,
              0.29223,
              0.45051,
              0.7671,
              1.39921
            ],
            [
              0.12934,
              0.16991,
              0.2112,
              0.2921,
              0.45099,
              0.76712,
              1.39926
            ],
            [
              0.13543,
              0.17326,
              0.21194,
              0.29077,
              0.45109,
              0.7672,
              1.39909
            ],
            [
              0.15277,
              0.18756,
              0.22323,
              0.29645,
              0.44969,
              0.76738,
              1.39817
            ],
            [
              0.1798,
              0.21838,
              0.25128,
              0.31809,
              0.46069,
              0.7669,
              1.39848
            ],
            [
              0.21219,
              0.2576,
              0.29742,
              0.36509,
              0.49517,
              0.77882,
              1.3986
            ],
            [
              0.2533,
              0.3072,
              0.354,
              0.4343,
              0.567,
              0.8268,
              1.4064
            ],
            [
              0.3044,
              0.3686,
              0.4242,
              0.5196,
              0.6766,
              0.9324,
              1.4628
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}