{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_hs__a32oi",
  "cell_leakage_power": 711.29813,
  "leakage_power": [
    {
      "value": 3.49861,
      "when": "!A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 25.22031,
      "when": "!A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 17.88269,
      "when": "!A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 2365.59048,
      "when": "!A1&!A2&!A3&B1&B2"
    },
    {
      "value": 4.80342,
      "when": "!A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 26.52596,
      "when": "!A1&!A2&A3&!B1&B2"
    },
    {
      "value": 19.18832,
      "when": "!A1&!A2&A3&B1&!B2"
    },
    {
      "value": 2342.23327,
      "when": "!A1&!A2&A3&B1&B2"
    },
    {
      "value": 4.43606,
      "when": "!A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 26.15794,
      "when": "!A1&A2&!A3&!B1&B2"
    },
    {
      "value": 18.82031,
      "when": "!A1&A2&!A3&B1&!B2"
    },
    {
      "value": 2352.31212,
      "when": "!A1&A2&!A3&B1&B2"
    },
    {
      "value": 27.44446,
      "when": "!A1&A2&A3&!B1&!B2"
    },
    {
      "value": 49.15987,
      "when": "!A1&A2&A3&!B1&B2"
    },
    {
      "value": 41.82545,
      "when": "!A1&A2&A3&B1&!B2"
    },
    {
      "value": 2289.75957,
      "when": "!A1&A2&A3&B1&B2"
    },
    {
      "value": 4.41782,
      "when": "A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 26.13876,
      "when": "A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 18.80272,
      "when": "A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 2340.47323,
      "when": "A1&!A2&!A3&B1&B2"
    },
    {
      "value": 22.21242,
      "when": "A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 43.93106,
      "when": "A1&!A2&A3&!B1&B2"
    },
    {
      "value": 36.59659,
      "when": "A1&!A2&A3&B1&!B2"
    },
    {
      "value": 2281.91998,
      "when": "A1&!A2&A3&B1&B2"
    },
    {
      "value": 17.81076,
      "when": "A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 39.52939,
      "when": "A1&A2&!A3&!B1&B2"
    },
    {
      "value": 32.19492,
      "when": "A1&A2&!A3&B1&!B2"
    },
    {
      "value": 2291.19897,
      "when": "A1&A2&!A3&B1&B2"
    },
    {
      "value": 1979.21045,
      "when": "A1&A2&A3&!B1&!B2"
    },
    {
      "value": 1806.41019,
      "when": "A1&A2&A3&!B1&B2"
    },
    {
      "value": 1886.57059,
      "when": "A1&A2&A3&B1&!B2"
    },
    {
      "value": 319.26363,
      "when": "A1&A2&A3&B1&B2"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00305,
    "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.00726,
          0.00732,
          0.00736,
          0.00736,
          0.00735,
          0.00736,
          0.00733,
          0.00737,
          0.00734,
          0.00835,
          0.00856,
          0.01003,
          0.01101
        ]
      },
      "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.00406,
          0.00408,
          0.00418,
          0.00428,
          0.00429,
          0.00428,
          0.00429,
          0.00419,
          0.00405,
          0.00432,
          0.00409,
          0.00468,
          0.00567
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00331,
    "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.00767,
          0.0074,
          0.00738,
          0.00734,
          0.00735,
          0.00734,
          0.00731,
          0.00734,
          0.00733,
          0.00833,
          0.00854,
          0.01001,
          0.011
        ]
      },
      "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.00409,
          0.00405,
          0.00426,
          0.00434,
          0.00435,
          0.00435,
          0.00434,
          0.00425,
          0.00411,
          0.00438,
          0.00415,
          0.00475,
          0.00573
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00284,
    "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.00765,
          0.00743,
          0.00734,
          0.00738,
          0.00737,
          0.00734,
          0.00732,
          0.00734,
          0.00733,
          0.00834,
          0.00857,
          0.0101,
          0.01115
        ]
      },
      "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.00414,
          0.00425,
          0.00437,
          0.00441,
          0.00441,
          0.00442,
          0.00438,
          0.0043,
          0.00414,
          0.00441,
          0.00422,
          0.00489,
          0.00592
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00312,
    "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.00452,
          0.00449,
          0.00457,
          0.00461,
          0.00461,
          0.00461,
          0.00458,
          0.00449,
          0.00434,
          0.00472,
          0.00475,
          0.00589,
          0.00743
        ]
      },
      "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.0075,
          0.00751,
          0.00751,
          0.00752,
          0.00753,
          0.00754,
          0.00752,
          0.00753,
          0.0075,
          0.00851,
          0.0087,
          0.0102,
          0.01138
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00295,
    "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.00403,
          0.00394,
          0.00403,
          0.00411,
          0.00408,
          0.00409,
          0.00405,
          0.00396,
          0.00379,
          0.00407,
          0.00403,
          0.00502,
          0.00639
        ]
      },
      "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.00767,
          0.00751,
          0.00751,
          0.00751,
          0.00751,
          0.0075,
          0.00748,
          0.00748,
          0.0075,
          0.00854,
          0.00882,
          0.01051,
          0.01183
        ]
      }
    },
    "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.00751,
              0.00516,
              0.00282,
              -0.00187,
              -0.01126,
              -0.03006,
              -0.06765
            ],
            [
              0.00754,
              0.00519,
              0.00285,
              -0.00184,
              -0.01124,
              -0.03004,
              -0.06763
            ],
            [
              0.00762,
              0.00526,
              0.00292,
              -0.00178,
              -0.01119,
              -0.02998,
              -0.06756
            ],
            [
              0.0077,
              0.00534,
              0.00299,
              -0.00171,
              -0.01113,
              -0.02993,
              -0.06752
            ],
            [
              0.00781,
              0.00543,
              0.00307,
              -0.00164,
              -0.01105,
              -0.02986,
              -0.06747
            ],
            [
              0.00793,
              0.00554,
              0.00318,
              -0.00155,
              -0.01097,
              -0.0298,
              -0.06742
            ],
            [
              0.00805,
              0.00565,
              0.00328,
              -0.00146,
              -0.0109,
              -0.02974,
              -0.06736
            ],
            [
              0.00815,
              0.00575,
              0.00337,
              -0.00137,
              -0.01083,
              -0.02968,
              -0.06732
            ],
            [
              0.00819,
              0.0058,
              0.00343,
              -0.00131,
              -0.01077,
              -0.02963,
              -0.06728
            ],
            [
              0.00811,
              0.00575,
              0.00341,
              -0.00133,
              -0.01076,
              -0.02961,
              -0.06725
            ],
            [
              0.0078,
              0.00549,
              0.00318,
              -0.00149,
              -0.01087,
              -0.02967,
              -0.06728
            ],
            [
              0.00712,
              0.00488,
              0.00264,
              -0.00195,
              -0.01121,
              -0.0299,
              -0.06742
            ],
            [
              0.0074,
              0.00484,
              0.00233,
              -0.00262,
              -0.01201,
              -0.03049,
              -0.06782
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02785,
              0.03026,
              0.03261,
              0.03728,
              0.04655,
              0.0651,
              0.10244
            ],
            [
              0.0278,
              0.03023,
              0.03259,
              0.03729,
              0.04657,
              0.06513,
              0.1025
            ],
            [
              0.02772,
              0.03016,
              0.03255,
              0.03726,
              0.04655,
              0.06515,
              0.1025
            ],
            [
              0.02764,
              0.03009,
              0.03249,
              0.03722,
              0.04655,
              0.06519,
              0.10253
            ],
            [
              0.02753,
              0.03,
              0.03241,
              0.03712,
              0.04652,
              0.06511,
              0.10249
            ],
            [
              0.02741,
              0.02989,
              0.03231,
              0.03707,
              0.04646,
              0.06511,
              0.1025
            ],
            [
              0.02731,
              0.02977,
              0.03218,
              0.03696,
              0.04637,
              0.06505,
              0.10246
            ],
            [
              0.02722,
              0.02965,
              0.03206,
              0.03682,
              0.04629,
              0.06503,
              0.10236
            ],
            [
              0.02717,
              0.02956,
              0.03195,
              0.03672,
              0.04617,
              0.06492,
              0.10238
            ],
            [
              0.02722,
              0.02958,
              0.03192,
              0.03663,
              0.04604,
              0.06478,
              0.10231
            ],
            [
              0.02737,
              0.02971,
              0.03204,
              0.03668,
              0.04603,
              0.06469,
              0.10218
            ],
            [
              0.0278,
              0.03008,
              0.03237,
              0.03699,
              0.0462,
              0.06476,
              0.10207
            ],
            [
              0.02884,
              0.03099,
              0.0332,
              0.03771,
              0.04684,
              0.06512,
              0.1023
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.00755,
              0.0052,
              0.00286,
              -0.00182,
              -0.01124,
              -0.03003,
              -0.06761
            ],
            [
              0.00758,
              0.00523,
              0.00289,
              -0.00178,
              -0.01117,
              -0.02997,
              -0.06756
            ],
            [
              0.00766,
              0.0053,
              0.00296,
              -0.00173,
              -0.01112,
              -0.02992,
              -0.06752
            ],
            [
              0.00772,
              0.00536,
              0.00302,
              -0.00169,
              -0.01109,
              -0.02988,
              -0.06748
            ],
            [
              0.00781,
              0.00544,
              0.00309,
              -0.00162,
              -0.01101,
              -0.02983,
              -0.06743
            ],
            [
              0.00792,
              0.00554,
              0.00318,
              -0.00154,
              -0.01096,
              -0.02977,
              -0.06738
            ],
            [
              0.00803,
              0.00565,
              0.00328,
              -0.00145,
              -0.01088,
              -0.02971,
              -0.06733
            ],
            [
              0.00816,
              0.00576,
              0.00339,
              -0.00136,
              -0.0108,
              -0.02965,
              -0.06728
            ],
            [
              0.00825,
              0.00586,
              0.00348,
              -0.00127,
              -0.01073,
              -0.02959,
              -0.06724
            ],
            [
              0.00827,
              0.00589,
              0.00352,
              -0.00122,
              -0.01068,
              -0.02954,
              -0.0672
            ],
            [
              0.0081,
              0.00576,
              0.00342,
              -0.00129,
              -0.01071,
              -0.02956,
              -0.0672
            ],
            [
              0.00762,
              0.00534,
              0.00305,
              -0.00159,
              -0.01093,
              -0.02969,
              -0.06728
            ],
            [
              0.00672,
              0.00436,
              0.00215,
              -0.00237,
              -0.01154,
              -0.03013,
              -0.06757
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03046,
              0.03282,
              0.03515,
              0.03979,
              0.04908,
              0.06767,
              0.10492
            ],
            [
              0.03041,
              0.03278,
              0.03512,
              0.03977,
              0.04904,
              0.06765,
              0.10491
            ],
            [
              0.03036,
              0.03273,
              0.03508,
              0.03973,
              0.04903,
              0.06763,
              0.10488
            ],
            [
              0.03028,
              0.03267,
              0.03502,
              0.03968,
              0.04903,
              0.06761,
              0.10485
            ],
            [
              0.0302,
              0.0326,
              0.03496,
              0.03964,
              0.04895,
              0.06755,
              0.10485
            ],
            [
              0.0301,
              0.03251,
              0.03488,
              0.03957,
              0.04893,
              0.06758,
              0.10487
            ],
            [
              0.03,
              0.0324,
              0.03478,
              0.03951,
              0.04886,
              0.06753,
              0.10485
            ],
            [
              0.02991,
              0.03231,
              0.03468,
              0.0394,
              0.04878,
              0.06748,
              0.10482
            ],
            [
              0.02985,
              0.03225,
              0.03461,
              0.03932,
              0.04872,
              0.06742,
              0.10483
            ],
            [
              0.02989,
              0.03223,
              0.03457,
              0.03928,
              0.04867,
              0.06735,
              0.10472
            ],
            [
              0.03003,
              0.03236,
              0.03467,
              0.03931,
              0.04863,
              0.06729,
              0.10469
            ],
            [
              0.03043,
              0.03274,
              0.03503,
              0.03964,
              0.04882,
              0.06734,
              0.10474
            ],
            [
              0.03145,
              0.03364,
              0.03589,
              0.0404,
              0.0495,
              0.06776,
              0.10492
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.0077,
              0.00536,
              0.00302,
              -0.00167,
              -0.01106,
              -0.02986,
              -0.06745
            ],
            [
              0.00774,
              0.0054,
              0.00306,
              -0.00163,
              -0.01102,
              -0.02982,
              -0.06741
            ],
            [
              0.00781,
              0.00546,
              0.00312,
              -0.00157,
              -0.01096,
              -0.02975,
              -0.06735
            ],
            [
              0.00788,
              0.00553,
              0.00318,
              -0.00151,
              -0.01091,
              -0.0297,
              -0.0673
            ],
            [
              0.00796,
              0.0056,
              0.00325,
              -0.00146,
              -0.01085,
              -0.02965,
              -0.06725
            ],
            [
              0.00807,
              0.00569,
              0.00333,
              -0.00138,
              -0.0108,
              -0.02961,
              -0.06721
            ],
            [
              0.00818,
              0.0058,
              0.00343,
              -0.00129,
              -0.01072,
              -0.02955,
              -0.06717
            ],
            [
              0.00829,
              0.00591,
              0.00353,
              -0.00121,
              -0.01065,
              -0.02949,
              -0.06712
            ],
            [
              0.00838,
              0.00599,
              0.00362,
              -0.00112,
              -0.01058,
              -0.02944,
              -0.06708
            ],
            [
              0.0084,
              0.00602,
              0.00366,
              -0.00107,
              -0.01053,
              -0.02939,
              -0.06704
            ],
            [
              0.00823,
              0.00589,
              0.00354,
              -0.00116,
              -0.01057,
              -0.02941,
              -0.06705
            ],
            [
              0.00772,
              0.00543,
              0.00313,
              -0.0015,
              -0.01083,
              -0.02958,
              -0.06716
            ],
            [
              0.00678,
              0.00434,
              0.00212,
              -0.00239,
              -0.01156,
              -0.03012,
              -0.06753
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03295,
              0.0353,
              0.03762,
              0.04225,
              0.05157,
              0.07008,
              0.10737
            ],
            [
              0.0329,
              0.03525,
              0.03758,
              0.04221,
              0.0515,
              0.07005,
              0.1073
            ],
            [
              0.03285,
              0.0352,
              0.03753,
              0.04219,
              0.05147,
              0.07002,
              0.10731
            ],
            [
              0.03281,
              0.03517,
              0.0375,
              0.04214,
              0.05145,
              0.07,
              0.10714
            ],
            [
              0.03277,
              0.03513,
              0.03747,
              0.04213,
              0.05142,
              0.06998,
              0.10728
            ],
            [
              0.03271,
              0.03508,
              0.03743,
              0.04209,
              0.05138,
              0.06999,
              0.10718
            ],
            [
              0.03266,
              0.03504,
              0.03737,
              0.04204,
              0.05137,
              0.06995,
              0.10714
            ],
            [
              0.03261,
              0.03497,
              0.03732,
              0.04199,
              0.05132,
              0.06994,
              0.10715
            ],
            [
              0.03258,
              0.03495,
              0.03729,
              0.04196,
              0.05128,
              0.06983,
              0.10709
            ],
            [
              0.03265,
              0.03497,
              0.0373,
              0.04197,
              0.0513,
              0.06991,
              0.10714
            ],
            [
              0.03282,
              0.03514,
              0.03745,
              0.04206,
              0.0513,
              0.06993,
              0.1071
            ],
            [
              0.03332,
              0.03562,
              0.0379,
              0.04247,
              0.05164,
              0.07006,
              0.10725
            ],
            [
              0.03451,
              0.0367,
              0.03891,
              0.04342,
              0.05245,
              0.07064,
              0.10755
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.00271,
              0.00024,
              -0.00216,
              -0.00692,
              -0.01637,
              -0.03519,
              -0.07279
            ],
            [
              0.00277,
              0.00027,
              -0.00212,
              -0.00693,
              -0.01636,
              -0.03522,
              -0.07284
            ],
            [
              0.0029,
              0.00036,
              -0.00208,
              -0.00688,
              -0.01636,
              -0.0352,
              -0.07281
            ],
            [
              0.00302,
              0.00046,
              -0.00201,
              -0.00683,
              -0.01633,
              -0.0352,
              -0.07282
            ],
            [
              0.00313,
              0.00057,
              -0.0019,
              -0.00675,
              -0.01628,
              -0.03517,
              -0.07281
            ],
            [
              0.00325,
              0.00069,
              -0.00179,
              -0.00666,
              -0.01622,
              -0.03513,
              -0.0728
            ],
            [
              0.00333,
              0.00081,
              -0.00168,
              -0.00655,
              -0.01614,
              -0.03508,
              -0.07277
            ],
            [
              0.00334,
              0.00087,
              -0.00159,
              -0.00645,
              -0.01604,
              -0.03502,
              -0.07273
            ],
            [
              0.00323,
              0.00084,
              -0.00157,
              -0.0064,
              -0.01598,
              -0.03496,
              -0.07269
            ],
            [
              0.00291,
              0.00061,
              -0.00172,
              -0.00647,
              -0.01598,
              -0.03494,
              -0.07268
            ],
            [
              0.00226,
              9e-05,
              -0.00214,
              -0.00676,
              -0.01614,
              -0.03501,
              -0.0727
            ],
            [
              0.00165,
              -0.0009,
              -0.00301,
              -0.00744,
              -0.01659,
              -0.03528,
              -0.07287
            ],
            [
              0.00356,
              0.00067,
              -0.00206,
              -0.00729,
              -0.01724,
              -0.03599,
              -0.07331
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.01392,
              0.01638,
              0.01876,
              0.02347,
              0.03281,
              0.05142,
              0.08867
            ],
            [
              0.01381,
              0.01631,
              0.01869,
              0.02341,
              0.03277,
              0.0514,
              0.08867
            ],
            [
              0.01371,
              0.01621,
              0.01862,
              0.02338,
              0.03276,
              0.05138,
              0.08868
            ],
            [
              0.0136,
              0.0161,
              0.01854,
              0.02332,
              0.03269,
              0.05133,
              0.08864
            ],
            [
              0.0135,
              0.016,
              0.01843,
              0.02321,
              0.03264,
              0.05133,
              0.08863
            ],
            [
              0.01343,
              0.0159,
              0.01832,
              0.02311,
              0.03255,
              0.05123,
              0.08858
            ],
            [
              0.0134,
              0.01584,
              0.01824,
              0.02302,
              0.03247,
              0.05116,
              0.08852
            ],
            [
              0.01351,
              0.01586,
              0.01822,
              0.02297,
              0.0324,
              0.0511,
              0.08847
            ],
            [
              0.01375,
              0.01603,
              0.01832,
              0.023,
              0.03241,
              0.05103,
              0.08844
            ],
            [
              0.0142,
              0.01643,
              0.01866,
              0.02323,
              0.03249,
              0.05105,
              0.08842
            ],
            [
              0.01492,
              0.01711,
              0.01931,
              0.02376,
              0.03283,
              0.0513,
              0.08845
            ],
            [
              0.01613,
              0.01823,
              0.02038,
              0.02478,
              0.03369,
              0.05178,
              0.08868
            ],
            [
              0.01809,
              0.02006,
              0.02211,
              0.02638,
              0.03515,
              0.05292,
              0.08949
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.00277,
              0.00033,
              -0.00206,
              -0.0068,
              -0.01624,
              -0.03506,
              -0.07265
            ],
            [
              0.00285,
              0.00037,
              -0.00204,
              -0.0068,
              -0.01625,
              -0.03508,
              -0.07269
            ],
            [
              0.00294,
              0.00042,
              -0.00201,
              -0.0068,
              -0.01628,
              -0.03511,
              -0.07271
            ],
            [
              0.00305,
              0.00051,
              -0.00194,
              -0.00675,
              -0.01625,
              -0.03511,
              -0.07273
            ],
            [
              0.00318,
              0.00062,
              -0.00185,
              -0.00668,
              -0.01621,
              -0.03509,
              -0.07273
            ],
            [
              0.00332,
              0.00075,
              -0.00172,
              -0.00659,
              -0.01614,
              -0.03505,
              -0.07271
            ],
            [
              0.00342,
              0.00089,
              -0.00159,
              -0.00647,
              -0.01605,
              -0.035,
              -0.07268
            ],
            [
              0.00348,
              0.00099,
              -0.00148,
              -0.00635,
              -0.01595,
              -0.03493,
              -0.07264
            ],
            [
              0.00342,
              0.001,
              -0.00142,
              -0.00627,
              -0.01586,
              -0.03485,
              -0.07259
            ],
            [
              0.00317,
              0.00083,
              -0.00153,
              -0.00629,
              -0.01583,
              -0.03481,
              -0.07256
            ],
            [
              0.0026,
              0.00037,
              -0.0019,
              -0.00654,
              -0.01595,
              -0.03485,
              -0.07257
            ],
            [
              0.0015,
              -0.0006,
              -0.00275,
              -0.00721,
              -0.0164,
              -0.03511,
              -0.07272
            ],
            [
              0.00332,
              0.00047,
              -0.00223,
              -0.00742,
              -0.01736,
              -0.0358,
              -0.07314
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.01632,
              0.01872,
              0.02106,
              0.02572,
              0.03503,
              0.05362,
              0.09083
            ],
            [
              0.01625,
              0.01863,
              0.02099,
              0.02567,
              0.03498,
              0.05357,
              0.09081
            ],
            [
              0.01621,
              0.01858,
              0.02093,
              0.02563,
              0.03497,
              0.05355,
              0.09075
            ],
            [
              0.01612,
              0.01853,
              0.02089,
              0.02559,
              0.03494,
              0.05353,
              0.09077
            ],
            [
              0.01606,
              0.01847,
              0.02083,
              0.02555,
              0.03488,
              0.05351,
              0.09074
            ],
            [
              0.01602,
              0.01843,
              0.02079,
              0.0255,
              0.03486,
              0.05344,
              0.09067
            ],
            [
              0.01602,
              0.01839,
              0.02076,
              0.02544,
              0.03481,
              0.0534,
              0.09065
            ],
            [
              0.01612,
              0.01845,
              0.02079,
              0.02544,
              0.03479,
              0.05338,
              0.09063
            ],
            [
              0.01639,
              0.01866,
              0.02095,
              0.02556,
              0.03485,
              0.05343,
              0.09068
            ],
            [
              0.01689,
              0.01912,
              0.02135,
              0.02588,
              0.03505,
              0.05354,
              0.09069
            ],
            [
              0.01771,
              0.0199,
              0.02209,
              0.02652,
              0.03552,
              0.05384,
              0.09083
            ],
            [
              0.0191,
              0.02121,
              0.02336,
              0.02772,
              0.03653,
              0.05455,
              0.09129
            ],
            [
              0.0213,
              0.02331,
              0.02537,
              0.02963,
              0.0383,
              0.05597,
              0.09225
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.03933,
    "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.10046,
              0.1216,
              0.14191,
              0.18157,
              0.25895,
              0.41093,
              0.71221
            ],
            [
              0.10247,
              0.12365,
              0.14398,
              0.18367,
              0.26105,
              0.41313,
              0.71437
            ],
            [
              0.10501,
              0.12627,
              0.14663,
              0.18632,
              0.26373,
              0.41586,
              0.7171
            ],
            [
              0.10899,
              0.13029,
              0.15071,
              0.19048,
              0.26795,
              0.42011,
              0.72142
            ],
            [
              0.11517,
              0.13654,
              0.15698,
              0.19681,
              0.27439,
              0.42659,
              0.72797
            ],
            [
              0.12466,
              0.14611,
              0.16663,
              0.20655,
              0.28421,
              0.43655,
              0.738
            ],
            [
              0.1392,
              0.16077,
              0.18137,
              0.22138,
              0.29914,
              0.4516,
              0.75321
            ],
            [
              0.16244,
              0.18342,
              0.20388,
              0.244,
              0.32186,
              0.47437,
              0.77611
            ],
            [
              0.19387,
              0.21757,
              0.2389,
              0.27844,
              0.35629,
              0.50888,
              0.81065
            ],
            [
              0.23176,
              0.25971,
              0.28485,
              0.32998,
              0.40885,
              0.56098,
              0.86279
            ],
            [
              0.27707,
              0.31022,
              0.34009,
              0.39363,
              0.48542,
              0.64042,
              0.94182
            ],
            [
              0.33117,
              0.37057,
              0.40617,
              0.47017,
              0.57937,
              0.75807,
              1.06107
            ],
            [
              0.3956,
              0.4426,
              0.4851,
              0.5614,
              0.6921,
              0.9052,
              1.2416
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.095,
              0.11844,
              0.14113,
              0.18571,
              0.27416,
              0.45026,
              0.80132
            ],
            [
              0.09727,
              0.12105,
              0.14385,
              0.18856,
              0.27716,
              0.45337,
              0.80442
            ],
            [
              0.10012,
              0.12411,
              0.14691,
              0.19189,
              0.2806,
              0.4569,
              0.80855
            ],
            [
              0.10448,
              0.12857,
              0.15166,
              0.19673,
              0.28565,
              0.4621,
              0.81327
            ],
            [
              0.11128,
              0.13546,
              0.15868,
              0.20401,
              0.29308,
              0.46965,
              0.82159
            ],
            [
              0.1216,
              0.14578,
              0.16903,
              0.21455,
              0.30389,
              0.48069,
              0.83226
            ],
            [
              0.13668,
              0.16095,
              0.18408,
              0.22969,
              0.3193,
              0.49639,
              0.84834
            ],
            [
              0.15657,
              0.18273,
              0.20619,
              0.25174,
              0.34142,
              0.51865,
              0.87166
            ],
            [
              0.1776,
              0.20927,
              0.23671,
              0.28418,
              0.37397,
              0.55152,
              0.90455
            ],
            [
              0.19888,
              0.23813,
              0.27111,
              0.32785,
              0.42254,
              0.60026,
              0.95359
            ],
            [
              0.21819,
              0.26751,
              0.30851,
              0.37761,
              0.48992,
              0.67352,
              1.02702
            ],
            [
              0.23437,
              0.29577,
              0.34697,
              0.43257,
              0.56857,
              0.78107,
              1.13767
            ],
            [
              0.2497,
              0.324,
              0.3863,
              0.4914,
              0.658,
              0.9127,
              1.3044
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09521,
              0.1217,
              0.14797,
              0.20025,
              0.30403,
              0.51235,
              0.92694
            ],
            [
              0.09516,
              0.12179,
              0.148,
              0.20006,
              0.30438,
              0.51242,
              0.92719
            ],
            [
              0.09527,
              0.12181,
              0.1479,
              0.2001,
              0.30442,
              0.51244,
              0.92783
            ],
            [
              0.09525,
              0.12177,
              0.14784,
              0.20021,
              0.30418,
              0.51246,
              0.92705
            ],
            [
              0.09536,
              0.12186,
              0.14786,
              0.20025,
              0.3044,
              0.51229,
              0.92817
            ],
            [
              0.09487,
              0.12183,
              0.14802,
              0.20003,
              0.30439,
              0.51226,
              0.92805
            ],
            [
              0.09507,
              0.12125,
              0.14744,
              0.20025,
              0.30425,
              0.51209,
              0.92776
            ],
            [
              0.10115,
              0.12541,
              0.15001,
              0.20035,
              0.30432,
              0.51172,
              0.92815
            ],
            [
              0.11629,
              0.13887,
              0.16141,
              0.20807,
              0.30587,
              0.51232,
              0.9279
            ],
            [
              0.13669,
              0.16301,
              0.18663,
              0.22974,
              0.31958,
              0.5145,
              0.92795
            ],
            [
              0.16529,
              0.19525,
              0.22174,
              0.26938,
              0.35482,
              0.53345,
              0.9286
            ],
            [
              0.2041,
              0.2388,
              0.2693,
              0.3233,
              0.4169,
              0.5839,
              0.9497
            ],
            [
              0.2563,
              0.2973,
              0.3328,
              0.3952,
              0.5013,
              0.6798,
              1.0162
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.07535,
              0.10636,
              0.13777,
              0.20012,
              0.32524,
              0.57436,
              1.07156
            ],
            [
              0.07546,
              0.1065,
              0.13776,
              0.20003,
              0.32521,
              0.57448,
              1.0717
            ],
            [
              0.07522,
              0.10643,
              0.13756,
              0.20008,
              0.32517,
              0.57438,
              1.07182
            ],
            [
              0.07541,
              0.10646,
              0.13766,
              0.20001,
              0.32519,
              0.57454,
              1.07083
            ],
            [
              0.07544,
              0.10646,
              0.13778,
              0.20036,
              0.3251,
              0.57363,
              1.07161
            ],
            [
              0.07566,
              0.10663,
              0.13762,
              0.20031,
              0.32482,
              0.57447,
              1.07148
            ],
            [
              0.07729,
              0.10743,
              0.13791,
              0.20017,
              0.32505,
              0.57447,
              1.07214
            ],
            [
              0.08628,
              0.1129,
              0.14143,
              0.20103,
              0.32524,
              0.57392,
              1.07135
            ],
            [
              0.10742,
              0.12988,
              0.15476,
              0.20947,
              0.3264,
              0.57412,
              1.07154
            ],
            [
              0.13721,
              0.1621,
              0.18568,
              0.23259,
              0.34032,
              0.57525,
              1.07226
            ],
            [
              0.1786,
              0.20603,
              0.23202,
              0.28171,
              0.37579,
              0.59205,
              1.0718
            ],
            [
              0.23473,
              0.2658,
              0.2951,
              0.35,
              0.4481,
              0.6408,
              1.0874
            ],
            [
              0.3083,
              0.3433,
              0.3768,
              0.4399,
              0.5508,
              0.7425,
              1.1454
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.07822,
              0.10044,
              0.12137,
              0.16172,
              0.23967,
              0.39226,
              0.69376
            ],
            [
              0.08018,
              0.10241,
              0.12337,
              0.16374,
              0.24172,
              0.3942,
              0.69587
            ],
            [
              0.08263,
              0.10494,
              0.12592,
              0.16632,
              0.24433,
              0.3969,
              0.69854
            ],
            [
              0.08654,
              0.1089,
              0.1299,
              0.17037,
              0.24841,
              0.40103,
              0.70256
            ],
            [
              0.09261,
              0.11502,
              0.13609,
              0.17662,
              0.25474,
              0.40739,
              0.70896
            ],
            [
              0.10205,
              0.12453,
              0.14565,
              0.18626,
              0.26453,
              0.41726,
              0.71904
            ],
            [
              0.11721,
              0.13929,
              0.16038,
              0.20101,
              0.27942,
              0.43227,
              0.73412
            ],
            [
              0.14008,
              0.16282,
              0.18324,
              0.22367,
              0.30208,
              0.45496,
              0.75695
            ],
            [
              0.16772,
              0.19428,
              0.21758,
              0.25858,
              0.3366,
              0.48964,
              0.79165
            ],
            [
              0.2007,
              0.23217,
              0.25972,
              0.3079,
              0.38923,
              0.5417,
              0.84379
            ],
            [
              0.23988,
              0.27724,
              0.31003,
              0.3675,
              0.46362,
              0.62132,
              0.92262
            ],
            [
              0.28627,
              0.33077,
              0.37007,
              0.43867,
              0.55347,
              0.73737,
              1.04207
            ],
            [
              0.3413,
              0.3944,
              0.4411,
              0.5234,
              0.6608,
              0.8805,
              1.2225
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.10696,
              0.13699,
              0.16597,
              0.22337,
              0.33723,
              0.56456,
              1.01827
            ],
            [
              0.10913,
              0.13947,
              0.16861,
              0.22626,
              0.34028,
              0.56779,
              1.02144
            ],
            [
              0.11187,
              0.14238,
              0.17161,
              0.22952,
              0.34352,
              0.57141,
              1.02462
            ],
            [
              0.11596,
              0.14674,
              0.17627,
              0.23428,
              0.34858,
              0.57647,
              1.03018
            ],
            [
              0.12243,
              0.15333,
              0.18295,
              0.24123,
              0.35593,
              0.58382,
              1.03811
            ],
            [
              0.13242,
              0.16322,
              0.19284,
              0.25146,
              0.36648,
              0.5948,
              1.04882
            ],
            [
              0.14657,
              0.1774,
              0.20707,
              0.26561,
              0.381,
              0.60967,
              1.06423
            ],
            [
              0.16557,
              0.19728,
              0.2271,
              0.28553,
              0.40099,
              0.63004,
              1.08516
            ],
            [
              0.18503,
              0.22236,
              0.25492,
              0.31408,
              0.42955,
              0.65853,
              1.11445
            ],
            [
              0.20523,
              0.2489,
              0.28693,
              0.35395,
              0.4714,
              0.70049,
              1.15639
            ],
            [
              0.22423,
              0.27699,
              0.32191,
              0.39979,
              0.53192,
              0.76282,
              1.21872
            ],
            [
              0.24047,
              0.30517,
              0.35937,
              0.45177,
              0.60477,
              0.85667,
              1.31317
            ],
            [
              0.2559,
              0.3339,
              0.3992,
              0.5098,
              0.6896,
              0.9793,
              1.455
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.08378,
              0.10949,
              0.1351,
              0.18661,
              0.28988,
              0.49744,
              0.91151
            ],
            [
              0.08378,
              0.1095,
              0.1351,
              0.18676,
              0.29021,
              0.4975,
              0.91142
            ],
            [
              0.08366,
              0.10942,
              0.13509,
              0.18667,
              0.29023,
              0.49754,
              0.91182
            ],
            [
              0.08357,
              0.10932,
              0.13512,
              0.18656,
              0.28991,
              0.49691,
              0.91264
            ],
            [
              0.08269,
              0.1092,
              0.13501,
              0.1866,
              0.28983,
              0.49742,
              0.91253
            ],
            [
              0.08123,
              0.10801,
              0.13461,
              0.18665,
              0.29004,
              0.49692,
              0.91251
            ],
            [
              0.08334,
              0.10835,
              0.13391,
              0.18613,
              0.29012,
              0.49743,
              0.91257
            ],
            [
              0.09167,
              0.11468,
              0.13823,
              0.18704,
              0.28961,
              0.49741,
              0.91237
            ],
            [
              0.10634,
              0.13051,
              0.15189,
              0.19692,
              0.29235,
              0.49744,
              0.91234
            ],
            [
              0.12609,
              0.15336,
              0.17748,
              0.22068,
              0.30834,
              0.5001,
              0.91168
            ],
            [
              0.15376,
              0.18497,
              0.21216,
              0.26042,
              0.34557,
              0.52127,
              0.9139
            ],
            [
              0.19162,
              0.2279,
              0.2589,
              0.3139,
              0.4079,
              0.5742,
              0.9364
            ],
            [
              0.2422,
              0.2853,
              0.3219,
              0.3854,
              0.4921,
              0.6714,
              1.0046
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.07516,
              0.11585,
              0.15614,
              0.23703,
              0.39914,
              0.72224,
              1.36834
            ],
            [
              0.0752,
              0.11574,
              0.15601,
              0.23714,
              0.39917,
              0.72279,
              1.36821
            ],
            [
              0.07534,
              0.1159,
              0.15623,
              0.237,
              0.39942,
              0.7228,
              1.37045
            ],
            [
              0.07533,
              0.11594,
              0.15624,
              0.23701,
              0.39939,
              0.72336,
              1.36977
            ],
            [
              0.07553,
              0.1159,
              0.15601,
              0.23727,
              0.39934,
              0.72351,
              1.36935
            ],
            [
              0.07576,
              0.11609,
              0.15632,
              0.237,
              0.39927,
              0.72246,
              1.37121
            ],
            [
              0.07708,
              0.11636,
              0.15657,
              0.23737,
              0.39888,
              0.72287,
              1.36904
            ],
            [
              0.08453,
              0.12093,
              0.15854,
              0.23779,
              0.39939,
              0.72292,
              1.37008
            ],
            [
              0.10187,
              0.13443,
              0.1696,
              0.24347,
              0.39996,
              0.72331,
              1.36902
            ],
            [
              0.12495,
              0.16094,
              0.19434,
              0.26165,
              0.40868,
              0.72197,
              1.37065
            ],
            [
              0.15817,
              0.19674,
              0.23328,
              0.30165,
              0.43546,
              0.7329,
              1.3705
            ],
            [
              0.20429,
              0.2467,
              0.2866,
              0.3604,
              0.4947,
              0.7693,
              1.3751
            ],
            [
              0.2671,
              0.3141,
              0.3578,
              0.439,
              0.585,
              0.8487,
              1.4163
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.08171,
              0.10364,
              0.12446,
              0.16472,
              0.24276,
              0.3956,
              0.69806
            ],
            [
              0.08362,
              0.10562,
              0.12643,
              0.16672,
              0.24475,
              0.3976,
              0.70003
            ],
            [
              0.08614,
              0.10813,
              0.12899,
              0.16928,
              0.24734,
              0.40025,
              0.70267
            ],
            [
              0.08998,
              0.11206,
              0.13295,
              0.17333,
              0.25155,
              0.40433,
              0.70681
            ],
            [
              0.09608,
              0.11819,
              0.13914,
              0.17957,
              0.25777,
              0.41073,
              0.7132
            ],
            [
              0.1055,
              0.12773,
              0.14871,
              0.18925,
              0.26753,
              0.42062,
              0.72316
            ],
            [
              0.12044,
              0.14246,
              0.16347,
              0.20405,
              0.28243,
              0.43567,
              0.73835
            ],
            [
              0.14361,
              0.16584,
              0.1863,
              0.22676,
              0.30509,
              0.45846,
              0.76119
            ],
            [
              0.17199,
              0.19796,
              0.22087,
              0.2616,
              0.33979,
              0.49296,
              0.79575
            ],
            [
              0.20595,
              0.23665,
              0.26375,
              0.31142,
              0.39245,
              0.54533,
              0.84789
            ],
            [
              0.24646,
              0.28285,
              0.3151,
              0.37193,
              0.46742,
              0.62492,
              0.92702
            ],
            [
              0.29467,
              0.33797,
              0.37657,
              0.44437,
              0.55837,
              0.74157,
              1.04667
            ],
            [
              0.3524,
              0.4039,
              0.4497,
              0.5308,
              0.6671,
              0.8859,
              1.2272
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.12868,
              0.1582,
              0.18697,
              0.24397,
              0.35698,
              0.58227,
              1.03217
            ],
            [
              0.13117,
              0.16088,
              0.18979,
              0.24686,
              0.36008,
              0.58548,
              1.03534
            ],
            [
              0.13409,
              0.16394,
              0.19295,
              0.25025,
              0.36355,
              0.58906,
              1.03892
            ],
            [
              0.13847,
              0.1685,
              0.19761,
              0.25507,
              0.36862,
              0.59423,
              1.04448
            ],
            [
              0.14511,
              0.17526,
              0.20448,
              0.26215,
              0.37589,
              0.60179,
              1.05201
            ],
            [
              0.15489,
              0.18517,
              0.21447,
              0.27238,
              0.38638,
              0.61253,
              1.06302
            ],
            [
              0.16893,
              0.19912,
              0.22857,
              0.28654,
              0.40082,
              0.62723,
              1.07783
            ],
            [
              0.18873,
              0.21896,
              0.24831,
              0.30633,
              0.4208,
              0.64761,
              1.09866
            ],
            [
              0.21244,
              0.24637,
              0.27654,
              0.33457,
              0.44912,
              0.67621,
              1.12755
            ],
            [
              0.2377,
              0.27678,
              0.31189,
              0.37557,
              0.4906,
              0.71779,
              1.16979
            ],
            [
              0.26395,
              0.31039,
              0.35138,
              0.42466,
              0.55192,
              0.77972,
              1.23212
            ],
            [
              0.28967,
              0.34597,
              0.39497,
              0.48117,
              0.62767,
              0.87337,
              1.32557
            ],
            [
              0.3155,
              0.3833,
              0.4423,
              0.545,
              0.7163,
              0.9977,
              1.4667
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.10712,
              0.13191,
              0.15712,
              0.20809,
              0.31076,
              0.51774,
              0.93138
            ],
            [
              0.10712,
              0.13187,
              0.15693,
              0.20816,
              0.31069,
              0.51741,
              0.93253
            ],
            [
              0.1071,
              0.13192,
              0.15692,
              0.20788,
              0.31079,
              0.51806,
              0.93308
            ],
            [
              0.10699,
              0.13187,
              0.15691,
              0.20778,
              0.31087,
              0.51832,
              0.93277
            ],
            [
              0.10631,
              0.13172,
              0.157,
              0.20785,
              0.31082,
              0.51792,
              0.93189
            ],
            [
              0.10479,
              0.1307,
              0.15659,
              0.20783,
              0.31082,
              0.51734,
              0.93182
            ],
            [
              0.10684,
              0.13096,
              0.15596,
              0.20766,
              0.3108,
              0.51831,
              0.93234
            ],
            [
              0.11515,
              0.13722,
              0.16023,
              0.20859,
              0.31046,
              0.51747,
              0.93157
            ],
            [
              0.13254,
              0.15289,
              0.17392,
              0.21834,
              0.31345,
              0.51814,
              0.93166
            ],
            [
              0.15605,
              0.17951,
              0.20127,
              0.24232,
              0.32927,
              0.52071,
              0.93169
            ],
            [
              0.1889,
              0.21522,
              0.23941,
              0.28435,
              0.3668,
              0.54239,
              0.9333
            ],
            [
              0.23361,
              0.2638,
              0.2912,
              0.3417,
              0.4312,
              0.5956,
              0.9559
            ],
            [
              0.2933,
              0.3288,
              0.3606,
              0.4183,
              0.5191,
              0.6932,
              1.0246
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09508,
              0.136,
              0.17651,
              0.25799,
              0.4198,
              0.74457,
              1.39043
            ],
            [
              0.095,
              0.13604,
              0.17649,
              0.25803,
              0.41958,
              0.74471,
              1.38929
            ],
            [
              0.09499,
              0.1359,
              0.17651,
              0.25797,
              0.42017,
              0.74457,
              1.3895
            ],
            [
              0.09509,
              0.13606,
              0.1767,
              0.25779,
              0.42021,
              0.74442,
              1.39035
            ],
            [
              0.09516,
              0.13611,
              0.17667,
              0.258,
              0.42006,
              0.74312,
              1.3899
            ],
            [
              0.09515,
              0.13613,
              0.17663,
              0.2579,
              0.42018,
              0.74336,
              1.39043
            ],
            [
              0.09599,
              0.13623,
              0.17673,
              0.2581,
              0.41994,
              0.74338,
              1.38999
            ],
            [
              0.10065,
              0.13869,
              0.17782,
              0.25827,
              0.41971,
              0.74458,
              1.39149
            ],
            [
              0.11488,
              0.14977,
              0.18634,
              0.26197,
              0.42063,
              0.74377,
              1.39058
            ],
            [
              0.13928,
              0.17521,
              0.20814,
              0.27829,
              0.42756,
              0.74354,
              1.38911
            ],
            [
              0.17343,
              0.21174,
              0.24758,
              0.31528,
              0.45313,
              0.753,
              1.3903
            ],
            [
              0.221,
              0.2629,
              0.3021,
              0.375,
              0.5084,
              0.7863,
              1.3964
            ],
            [
              0.2848,
              0.3316,
              0.375,
              0.4547,
              0.5997,
              0.8629,
              1.4349
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.11295,
              0.13409,
              0.15438,
              0.19405,
              0.27139,
              0.42334,
              0.72475
            ],
            [
              0.11529,
              0.13645,
              0.15675,
              0.19641,
              0.27381,
              0.42586,
              0.72723
            ],
            [
              0.11816,
              0.13935,
              0.15966,
              0.19935,
              0.27674,
              0.42876,
              0.73012
            ],
            [
              0.1222,
              0.14342,
              0.16378,
              0.2035,
              0.28092,
              0.43306,
              0.73438
            ],
            [
              0.12802,
              0.14931,
              0.16972,
              0.20951,
              0.287,
              0.43918,
              0.74061
            ],
            [
              0.13659,
              0.15798,
              0.17845,
              0.21834,
              0.29592,
              0.44821,
              0.74964
            ],
            [
              0.1495,
              0.17095,
              0.19152,
              0.23153,
              0.30927,
              0.46169,
              0.76341
            ],
            [
              0.16956,
              0.19081,
              0.21135,
              0.25145,
              0.32938,
              0.48198,
              0.78383
            ],
            [
              0.1962,
              0.21967,
              0.24133,
              0.28161,
              0.35967,
              0.5125,
              0.81455
            ],
            [
              0.2304,
              0.25665,
              0.28074,
              0.32524,
              0.40543,
              0.55846,
              0.86079
            ],
            [
              0.27319,
              0.30343,
              0.33093,
              0.38122,
              0.47042,
              0.62762,
              0.93022
            ],
            [
              0.32527,
              0.36107,
              0.39337,
              0.45177,
              0.55357,
              0.72787,
              1.03467
            ],
            [
              0.3879,
              0.4307,
              0.4694,
              0.5389,
              0.6581,
              0.8571,
              1.1906
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.1116,
              0.13478,
              0.15737,
              0.20224,
              0.29127,
              0.46861,
              0.82287
            ],
            [
              0.11404,
              0.13732,
              0.16003,
              0.20497,
              0.29404,
              0.47143,
              0.82571
            ],
            [
              0.11699,
              0.14041,
              0.16316,
              0.20821,
              0.2974,
              0.47488,
              0.82916
            ],
            [
              0.12144,
              0.14505,
              0.16789,
              0.21305,
              0.30228,
              0.47991,
              0.83415
            ],
            [
              0.12834,
              0.15203,
              0.17495,
              0.22027,
              0.30973,
              0.48737,
              0.84185
            ],
            [
              0.13856,
              0.16237,
              0.18537,
              0.23081,
              0.32045,
              0.49825,
              0.85277
            ],
            [
              0.1535,
              0.17731,
              0.20034,
              0.24588,
              0.3357,
              0.51368,
              0.86849
            ],
            [
              0.17459,
              0.19884,
              0.22193,
              0.2675,
              0.35746,
              0.5357,
              0.89066
            ],
            [
              0.19875,
              0.22743,
              0.25297,
              0.29924,
              0.38924,
              0.56773,
              0.92285
            ],
            [
              0.22454,
              0.25915,
              0.28954,
              0.34349,
              0.43655,
              0.61521,
              0.97059
            ],
            [
              0.24987,
              0.29278,
              0.32993,
              0.39479,
              0.50342,
              0.68642,
              1.04192
            ],
            [
              0.27307,
              0.32637,
              0.37247,
              0.45177,
              0.58207,
              0.79127,
              1.14917
            ],
            [
              0.2962,
              0.3605,
              0.4165,
              0.5135,
              0.6717,
              0.9204,
              1.3109
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09521,
              0.12183,
              0.14794,
              0.20004,
              0.30437,
              0.51208,
              0.92668
            ],
            [
              0.09518,
              0.12181,
              0.14793,
              0.20023,
              0.30422,
              0.5121,
              0.92778
            ],
            [
              0.09526,
              0.12184,
              0.14791,
              0.20023,
              0.30435,
              0.51229,
              0.92751
            ],
            [
              0.09525,
              0.12177,
              0.14796,
              0.20021,
              0.30421,
              0.51227,
              0.92816
            ],
            [
              0.09522,
              0.12181,
              0.14801,
              0.20017,
              0.30416,
              0.51234,
              0.92775
            ],
            [
              0.09498,
              0.12174,
              0.14798,
              0.20007,
              0.30436,
              0.51172,
              0.92769
            ],
            [
              0.09555,
              0.12155,
              0.14769,
              0.20016,
              0.30436,
              0.51237,
              0.92763
            ],
            [
              0.10002,
              0.1251,
              0.15014,
              0.20083,
              0.30422,
              0.51227,
              0.92807
            ],
            [
              0.11132,
              0.1346,
              0.15822,
              0.20673,
              0.30616,
              0.51225,
              0.92775
            ],
            [
              0.12804,
              0.15316,
              0.17691,
              0.22214,
              0.31625,
              0.51452,
              0.92801
            ],
            [
              0.15263,
              0.17965,
              0.20484,
              0.25224,
              0.34142,
              0.52921,
              0.9296
            ],
            [
              0.1877,
              0.2177,
              0.2451,
              0.2959,
              0.3891,
              0.5657,
              0.9461
            ],
            [
              0.2365,
              0.2705,
              0.3014,
              0.3572,
              0.4575,
              0.6386,
              0.9934
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09035,
              0.12196,
              0.15345,
              0.21701,
              0.3431,
              0.59572,
              1.0991
            ],
            [
              0.09036,
              0.12213,
              0.15368,
              0.2168,
              0.34301,
              0.59561,
              1.09949
            ],
            [
              0.09035,
              0.12202,
              0.15353,
              0.21706,
              0.34339,
              0.59565,
              1.09906
            ],
            [
              0.09039,
              0.1219,
              0.15352,
              0.2171,
              0.34328,
              0.59573,
              1.0984
            ],
            [
              0.09045,
              0.12204,
              0.15366,
              0.21676,
              0.34336,
              0.59567,
              1.09957
            ],
            [
              0.09059,
              0.12214,
              0.1537,
              0.21713,
              0.34297,
              0.59463,
              1.09924
            ],
            [
              0.09128,
              0.12255,
              0.15385,
              0.2168,
              0.34322,
              0.59527,
              1.09891
            ],
            [
              0.09796,
              0.12648,
              0.15594,
              0.21766,
              0.34353,
              0.59567,
              1.09956
            ],
            [
              0.11536,
              0.14044,
              0.16729,
              0.22452,
              0.34458,
              0.59496,
              1.09954
            ],
            [
              0.14474,
              0.1708,
              0.19494,
              0.24555,
              0.35679,
              0.59677,
              1.09936
            ],
            [
              0.1856,
              0.21417,
              0.24102,
              0.29152,
              0.38959,
              0.61286,
              1.0993
            ],
            [
              0.2408,
              0.2733,
              0.3034,
              0.3588,
              0.4599,
              0.6592,
              1.1145
            ],
            [
              0.3122,
              0.3493,
              0.3843,
              0.448,
              0.5605,
              0.7572,
              1.1717
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09069,
              0.11287,
              0.1338,
              0.17415,
              0.25208,
              0.4046,
              0.70617
            ],
            [
              0.09295,
              0.11514,
              0.13607,
              0.17643,
              0.25441,
              0.40691,
              0.70848
            ],
            [
              0.09573,
              0.11794,
              0.13888,
              0.17924,
              0.25722,
              0.4097,
              0.71151
            ],
            [
              0.09968,
              0.12194,
              0.14291,
              0.1833,
              0.26129,
              0.41384,
              0.71557
            ],
            [
              0.10542,
              0.12774,
              0.14875,
              0.18921,
              0.26728,
              0.41985,
              0.72156
            ],
            [
              0.114,
              0.13636,
              0.15743,
              0.19797,
              0.27612,
              0.42878,
              0.7306
            ],
            [
              0.12735,
              0.14947,
              0.17053,
              0.21114,
              0.28945,
              0.44222,
              0.74407
            ],
            [
              0.14653,
              0.16971,
              0.19058,
              0.23112,
              0.30955,
              0.46249,
              0.76453
            ],
            [
              0.17084,
              0.19644,
              0.21951,
              0.26148,
              0.3399,
              0.49309,
              0.79535
            ],
            [
              0.20171,
              0.23068,
              0.25654,
              0.30327,
              0.38576,
              0.53912,
              0.84159
            ],
            [
              0.23948,
              0.27333,
              0.30322,
              0.35651,
              0.44882,
              0.60832,
              0.91112
            ],
            [
              0.28457,
              0.32497,
              0.36047,
              0.42307,
              0.52917,
              0.70717,
              1.01567
            ],
            [
              0.338,
              0.3866,
              0.4293,
              0.5042,
              0.6294,
              0.8337,
              1.171
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.13104,
              0.16144,
              0.19125,
              0.2505,
              0.36838,
              0.60354,
              1.07337
            ],
            [
              0.13338,
              0.16398,
              0.1939,
              0.25319,
              0.37116,
              0.60639,
              1.07624
            ],
            [
              0.13616,
              0.16692,
              0.1969,
              0.25641,
              0.37444,
              0.60978,
              1.07962
            ],
            [
              0.14044,
              0.17137,
              0.20147,
              0.26112,
              0.37937,
              0.61476,
              1.08458
            ],
            [
              0.14698,
              0.17807,
              0.20834,
              0.26819,
              0.3866,
              0.62209,
              1.09201
            ],
            [
              0.15671,
              0.1879,
              0.21828,
              0.27831,
              0.39689,
              0.63274,
              1.10302
            ],
            [
              0.17058,
              0.20176,
              0.23212,
              0.29231,
              0.41114,
              0.64724,
              1.11753
            ],
            [
              0.18982,
              0.22105,
              0.25142,
              0.31158,
              0.43064,
              0.66689,
              1.13746
            ],
            [
              0.21234,
              0.24733,
              0.27865,
              0.33882,
              0.45791,
              0.6945,
              1.16555
            ],
            [
              0.23584,
              0.27596,
              0.31212,
              0.37796,
              0.49755,
              0.73419,
              1.20569
            ],
            [
              0.25971,
              0.30694,
              0.34889,
              0.42425,
              0.55592,
              0.79322,
              1.26492
            ],
            [
              0.28277,
              0.33947,
              0.38907,
              0.47697,
              0.62747,
              0.88187,
              1.35367
            ],
            [
              0.3063,
              0.3739,
              0.4329,
              0.5363,
              0.7107,
              1.0001,
              1.4875
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.08317,
              0.10923,
              0.13498,
              0.1867,
              0.28998,
              0.49749,
              0.91203
            ],
            [
              0.08321,
              0.1092,
              0.13495,
              0.18669,
              0.28999,
              0.49726,
              0.9119
            ],
            [
              0.08308,
              0.10917,
              0.13495,
              0.18667,
              0.29022,
              0.49727,
              0.91182
            ],
            [
              0.08297,
              0.10905,
              0.13495,
              0.18652,
              0.28994,
              0.4975,
              0.91276
            ],
            [
              0.08272,
              0.10884,
              0.13482,
              0.18647,
              0.28995,
              0.49696,
              0.91199
            ],
            [
              0.08204,
              0.10852,
              0.13452,
              0.1864,
              0.2898,
              0.49757,
              0.91217
            ],
            [
              0.08396,
              0.10914,
              0.13459,
              0.1863,
              0.29012,
              0.49724,
              0.91226
            ],
            [
              0.08981,
              0.11372,
              0.13793,
              0.18781,
              0.28977,
              0.49735,
              0.91167
            ],
            [
              0.1017,
              0.12513,
              0.14751,
              0.19462,
              0.29294,
              0.49748,
              0.91158
            ],
            [
              0.1183,
              0.14345,
              0.16717,
              0.21174,
              0.30434,
              0.50106,
              0.91211
            ],
            [
              0.1428,
              0.17008,
              0.19516,
              0.24274,
              0.33098,
              0.51601,
              0.9146
            ],
            [
              0.1777,
              0.2081,
              0.2355,
              0.2864,
              0.3796,
              0.555,
              0.9315
            ],
            [
              0.2262,
              0.2608,
              0.292,
              0.348,
              0.4482,
              0.6289,
              0.9821
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09693,
              0.13934,
              0.18168,
              0.26585,
              0.43481,
              0.77159,
              1.4443
            ],
            [
              0.09698,
              0.13954,
              0.18174,
              0.26617,
              0.4344,
              0.77162,
              1.44426
            ],
            [
              0.09695,
              0.13954,
              0.18173,
              0.26624,
              0.43435,
              0.7715,
              1.44217
            ],
            [
              0.09684,
              0.13956,
              0.18171,
              0.26619,
              0.43406,
              0.77169,
              1.44148
            ],
            [
              0.09696,
              0.13939,
              0.18174,
              0.26624,
              0.43443,
              0.7703,
              1.44143
            ],
            [
              0.097,
              0.13938,
              0.18177,
              0.26625,
              0.43435,
              0.77114,
              1.44433
            ],
            [
              0.09783,
              0.1399,
              0.18185,
              0.2659,
              0.43448,
              0.77114,
              1.44173
            ],
            [
              0.10239,
              0.14236,
              0.18273,
              0.2665,
              0.43476,
              0.77143,
              1.44178
            ],
            [
              0.11656,
              0.15325,
              0.19135,
              0.27061,
              0.43516,
              0.77136,
              1.44315
            ],
            [
              0.13954,
              0.17728,
              0.21265,
              0.28627,
              0.44262,
              0.77067,
              1.44169
            ],
            [
              0.17184,
              0.21237,
              0.25035,
              0.32188,
              0.46702,
              0.7803,
              1.444
            ],
            [
              0.217,
              0.2613,
              0.3025,
              0.379,
              0.5201,
              0.8123,
              1.4481
            ],
            [
              0.2774,
              0.3268,
              0.3722,
              0.4562,
              0.6084,
              0.8868,
              1.4854
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09427,
              0.1162,
              0.13702,
              0.17727,
              0.25528,
              0.40817,
              0.71057
            ],
            [
              0.09655,
              0.11848,
              0.1393,
              0.17957,
              0.25761,
              0.41051,
              0.71302
            ],
            [
              0.09931,
              0.12128,
              0.14211,
              0.18239,
              0.26044,
              0.41329,
              0.71572
            ],
            [
              0.10329,
              0.12527,
              0.14614,
              0.18646,
              0.26456,
              0.41742,
              0.71984
            ],
            [
              0.10902,
              0.13112,
              0.15199,
              0.19238,
              0.27053,
              0.42351,
              0.72613
            ],
            [
              0.11758,
              0.1397,
              0.16068,
              0.20115,
              0.27938,
              0.43243,
              0.73514
            ],
            [
              0.13075,
              0.15274,
              0.17377,
              0.21433,
              0.29273,
              0.44588,
              0.74861
            ],
            [
              0.15022,
              0.17293,
              0.19371,
              0.23429,
              0.31286,
              0.4662,
              0.769
            ],
            [
              0.17493,
              0.20009,
              0.22293,
              0.26463,
              0.34319,
              0.49679,
              0.79985
            ],
            [
              0.20642,
              0.23483,
              0.26039,
              0.30683,
              0.38909,
              0.54281,
              0.84609
            ],
            [
              0.24525,
              0.27831,
              0.30777,
              0.36062,
              0.45262,
              0.61212,
              0.91572
            ],
            [
              0.29197,
              0.33127,
              0.36617,
              0.42807,
              0.53357,
              0.71137,
              1.02027
            ],
            [
              0.3478,
              0.395,
              0.4368,
              0.5107,
              0.635,
              0.8387,
              1.1759
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.14754,
              0.17636,
              0.20467,
              0.26085,
              0.37243,
              0.59486,
              1.03897
            ],
            [
              0.15004,
              0.17898,
              0.20734,
              0.26358,
              0.37524,
              0.59775,
              1.04184
            ],
            [
              0.153,
              0.18203,
              0.21049,
              0.26683,
              0.37857,
              0.60112,
              1.04512
            ],
            [
              0.15749,
              0.18665,
              0.21515,
              0.27163,
              0.3835,
              0.60613,
              1.05038
            ],
            [
              0.16427,
              0.19355,
              0.22215,
              0.27877,
              0.39078,
              0.61347,
              1.05761
            ],
            [
              0.1742,
              0.20357,
              0.23224,
              0.28901,
              0.40121,
              0.62412,
              1.06862
            ],
            [
              0.18821,
              0.2176,
              0.24634,
              0.30323,
              0.41566,
              0.6388,
              1.08333
            ],
            [
              0.20785,
              0.23724,
              0.26596,
              0.32294,
              0.43549,
              0.65888,
              1.10356
            ],
            [
              0.23377,
              0.265,
              0.29395,
              0.35085,
              0.46353,
              0.68716,
              1.13225
            ],
            [
              0.26188,
              0.29791,
              0.33096,
              0.39157,
              0.50446,
              0.72809,
              1.17369
            ],
            [
              0.29204,
              0.33423,
              0.37249,
              0.44212,
              0.56512,
              0.78912,
              1.23502
            ],
            [
              0.32297,
              0.37347,
              0.41867,
              0.49997,
              0.64097,
              0.88107,
              1.32667
            ],
            [
              0.3552,
              0.4156,
              0.4695,
              0.5655,
              0.7296,
              1.0037,
              1.4652
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.10665,
              0.1317,
              0.15675,
              0.20803,
              0.31082,
              0.51753,
              0.93225
            ],
            [
              0.10664,
              0.13167,
              0.15674,
              0.20783,
              0.31073,
              0.51788,
              0.93253
            ],
            [
              0.1066,
              0.13162,
              0.15691,
              0.2079,
              0.31105,
              0.51832,
              0.9329
            ],
            [
              0.10652,
              0.13156,
              0.15673,
              0.20803,
              0.3107,
              0.51775,
              0.93142
            ],
            [
              0.10621,
              0.13141,
              0.15683,
              0.20795,
              0.31094,
              0.51775,
              0.93198
            ],
            [
              0.10547,
              0.13105,
              0.15661,
              0.20771,
              0.31076,
              0.51726,
              0.93245
            ],
            [
              0.10734,
              0.13172,
              0.15642,
              0.20755,
              0.31073,
              0.51786,
              0.93231
            ],
            [
              0.11302,
              0.13606,
              0.15984,
              0.20913,
              0.31063,
              0.5176,
              0.93298
            ],
            [
              0.12592,
              0.14717,
              0.16936,
              0.21605,
              0.31352,
              0.51788,
              0.93315
            ],
            [
              0.14495,
              0.16777,
              0.18979,
              0.23293,
              0.32492,
              0.52121,
              0.93238
            ],
            [
              0.17285,
              0.1971,
              0.22041,
              0.26535,
              0.35189,
              0.53702,
              0.9347
            ],
            [
              0.2126,
              0.239,
              0.264,
              0.3118,
              0.4018,
              0.5747,
              0.952
            ],
            [
              0.2677,
              0.2976,
              0.3252,
              0.3772,
              0.473,
              0.6506,
              1.001
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.1115,
              0.1524,
              0.19275,
              0.27339,
              0.434,
              0.75435,
              1.39399
            ],
            [
              0.11167,
              0.15249,
              0.19281,
              0.2732,
              0.43377,
              0.75417,
              1.39409
            ],
            [
              0.11163,
              0.15243,
              0.19276,
              0.27339,
              0.43407,
              0.75375,
              1.39377
            ],
            [
              0.11154,
              0.15247,
              0.19288,
              0.27345,
              0.43416,
              0.75381,
              1.39449
            ],
            [
              0.11162,
              0.15251,
              0.19264,
              0.27316,
              0.43412,
              0.75358,
              1.39303
            ],
            [
              0.11175,
              0.15252,
              0.19289,
              0.2735,
              0.43343,
              0.75433,
              1.3947
            ],
            [
              0.1121,
              0.15267,
              0.19296,
              0.27351,
              0.43346,
              0.75459,
              1.39182
            ],
            [
              0.11514,
              0.15393,
              0.19349,
              0.27339,
              0.4335,
              0.75465,
              1.39339
            ],
            [
              0.12699,
              0.16341,
              0.20043,
              0.27692,
              0.43417,
              0.75375,
              1.39229
            ],
            [
              0.15103,
              0.18636,
              0.22018,
              0.29143,
              0.44058,
              0.75417,
              1.39291
            ],
            [
              0.18475,
              0.22284,
              0.25881,
              0.32613,
              0.46474,
              0.7633,
              1.3926
            ],
            [
              0.2325,
              0.2741,
              0.3125,
              0.3853,
              0.5185,
              0.7965,
              1.3984
            ],
            [
              0.2954,
              0.3423,
              0.3855,
              0.4649,
              0.6082,
              0.8714,
              1.4394
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.11816,
              0.1393,
              0.1596,
              0.19924,
              0.27661,
              0.4287,
              0.72997
            ],
            [
              0.1208,
              0.14193,
              0.16224,
              0.2019,
              0.27927,
              0.43133,
              0.73264
            ],
            [
              0.12389,
              0.14507,
              0.16539,
              0.20506,
              0.28244,
              0.43456,
              0.73585
            ],
            [
              0.12818,
              0.1494,
              0.16975,
              0.20946,
              0.28686,
              0.43898,
              0.74031
            ],
            [
              0.13419,
              0.15546,
              0.17587,
              0.21564,
              0.29312,
              0.4453,
              0.74666
            ],
            [
              0.14259,
              0.16397,
              0.18442,
              0.2243,
              0.30185,
              0.45411,
              0.75563
            ],
            [
              0.15455,
              0.17599,
              0.19652,
              0.23647,
              0.31417,
              0.46657,
              0.76806
            ],
            [
              0.17224,
              0.19355,
              0.21408,
              0.25413,
              0.332,
              0.48451,
              0.78632
            ],
            [
              0.19594,
              0.21876,
              0.24003,
              0.28024,
              0.35818,
              0.51093,
              0.81285
            ],
            [
              0.226,
              0.25091,
              0.2741,
              0.31755,
              0.39734,
              0.55019,
              0.85239
            ],
            [
              0.26417,
              0.29191,
              0.31761,
              0.36543,
              0.45232,
              0.60922,
              0.91152
            ],
            [
              0.31227,
              0.34397,
              0.37307,
              0.42677,
              0.52297,
              0.69377,
              1.00037
            ],
            [
              0.3723,
              0.4096,
              0.4434,
              0.5051,
              0.6138,
              0.8028,
              1.1326
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.11505,
              0.13745,
              0.15919,
              0.202,
              0.28634,
              0.45353,
              0.7866
            ],
            [
              0.11745,
              0.13991,
              0.16163,
              0.20443,
              0.28881,
              0.45603,
              0.78903
            ],
            [
              0.12049,
              0.14295,
              0.1647,
              0.20752,
              0.29192,
              0.45916,
              0.7922
            ],
            [
              0.12513,
              0.14766,
              0.16942,
              0.2123,
              0.2967,
              0.46394,
              0.79692
            ],
            [
              0.1321,
              0.1547,
              0.17651,
              0.21944,
              0.30389,
              0.47119,
              0.80427
            ],
            [
              0.14225,
              0.16486,
              0.18671,
              0.22967,
              0.3142,
              0.48146,
              0.81456
            ],
            [
              0.15657,
              0.17921,
              0.20111,
              0.24411,
              0.32871,
              0.49614,
              0.82928
            ],
            [
              0.17682,
              0.19968,
              0.22159,
              0.26466,
              0.34933,
              0.51683,
              0.85006
            ],
            [
              0.20049,
              0.22699,
              0.25088,
              0.29463,
              0.3794,
              0.54701,
              0.88035
            ],
            [
              0.22524,
              0.25677,
              0.28494,
              0.33558,
              0.42371,
              0.59163,
              0.92509
            ],
            [
              0.24887,
              0.28733,
              0.32134,
              0.3817,
              0.48452,
              0.65812,
              0.99182
            ],
            [
              0.26927,
              0.31637,
              0.35797,
              0.43117,
              0.55367,
              0.75367,
              1.09217
            ],
            [
              0.2879,
              0.344,
              0.3939,
              0.4822,
              0.6297,
              0.8665,
              1.2426
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09517,
              0.12172,
              0.14794,
              0.20022,
              0.30405,
              0.51193,
              0.92774
            ],
            [
              0.09524,
              0.12179,
              0.14796,
              0.20021,
              0.30437,
              0.51225,
              0.92764
            ],
            [
              0.09519,
              0.12185,
              0.14792,
              0.20021,
              0.30433,
              0.51213,
              0.92796
            ],
            [
              0.09521,
              0.12185,
              0.1479,
              0.20025,
              0.30434,
              0.51224,
              0.92805
            ],
            [
              0.09522,
              0.12174,
              0.14791,
              0.2002,
              0.30431,
              0.51237,
              0.92727
            ],
            [
              0.09507,
              0.12179,
              0.14799,
              0.20015,
              0.30415,
              0.51243,
              0.92774
            ],
            [
              0.09528,
              0.12165,
              0.14786,
              0.2002,
              0.30433,
              0.51238,
              0.92779
            ],
            [
              0.09828,
              0.12387,
              0.14932,
              0.20047,
              0.30421,
              0.51215,
              0.92804
            ],
            [
              0.10675,
              0.13114,
              0.15533,
              0.20482,
              0.3059,
              0.51233,
              0.92791
            ],
            [
              0.12016,
              0.14564,
              0.17011,
              0.21722,
              0.31407,
              0.51489,
              0.92799
            ],
            [
              0.13936,
              0.16636,
              0.19216,
              0.24128,
              0.33458,
              0.52656,
              0.9298
            ],
            [
              0.168,
              0.1967,
              0.2238,
              0.2754,
              0.3728,
              0.5581,
              0.9453
            ],
            [
              0.2107,
              0.2417,
              0.2705,
              0.325,
              0.4265,
              0.6169,
              0.9869
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09822,
              0.12776,
              0.15725,
              0.21707,
              0.336,
              0.57342,
              1.0487
            ],
            [
              0.09814,
              0.1279,
              0.1574,
              0.21704,
              0.33597,
              0.57378,
              1.047
            ],
            [
              0.09828,
              0.12786,
              0.15752,
              0.21703,
              0.33595,
              0.57382,
              1.04878
            ],
            [
              0.09827,
              0.12791,
              0.15735,
              0.21707,
              0.33566,
              0.57362,
              1.04722
            ],
            [
              0.09825,
              0.12792,
              0.15733,
              0.21701,
              0.3361,
              0.57384,
              1.04888
            ],
            [
              0.09839,
              0.12796,
              0.15753,
              0.21706,
              0.33578,
              0.57278,
              1.04752
            ],
            [
              0.09891,
              0.12816,
              0.15768,
              0.21709,
              0.33593,
              0.5738,
              1.04724
            ],
            [
              0.10501,
              0.132,
              0.16006,
              0.21766,
              0.33578,
              0.57369,
              1.04728
            ],
            [
              0.12128,
              0.14553,
              0.17108,
              0.22515,
              0.33802,
              0.57298,
              1.04706
            ],
            [
              0.14987,
              0.17505,
              0.19853,
              0.24664,
              0.35092,
              0.57633,
              1.0482
            ],
            [
              0.18997,
              0.21749,
              0.24334,
              0.29259,
              0.38633,
              0.59456,
              1.0476
            ],
            [
              0.24364,
              0.2752,
              0.3043,
              0.3586,
              0.457,
              0.6453,
              1.0705
            ],
            [
              0.3121,
              0.3489,
              0.3828,
              0.445,
              0.5558,
              0.7485,
              1.1343
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.0959,
              0.11808,
              0.139,
              0.17934,
              0.2573,
              0.4098,
              0.71139
            ],
            [
              0.09842,
              0.12061,
              0.14153,
              0.18187,
              0.25984,
              0.41235,
              0.71395
            ],
            [
              0.10143,
              0.12363,
              0.14456,
              0.18492,
              0.26288,
              0.4154,
              0.71701
            ],
            [
              0.10562,
              0.12787,
              0.14882,
              0.18921,
              0.2672,
              0.41968,
              0.72144
            ],
            [
              0.11156,
              0.13387,
              0.15486,
              0.19529,
              0.27334,
              0.4259,
              0.72765
            ],
            [
              0.11996,
              0.14232,
              0.16337,
              0.20388,
              0.282,
              0.43461,
              0.73634
            ],
            [
              0.13215,
              0.15441,
              0.17548,
              0.21608,
              0.29434,
              0.44707,
              0.74887
            ],
            [
              0.14955,
              0.17227,
              0.19323,
              0.23378,
              0.31216,
              0.46502,
              0.76702
            ],
            [
              0.17145,
              0.19606,
              0.21851,
              0.26004,
              0.33842,
              0.49149,
              0.79365
            ],
            [
              0.19905,
              0.22612,
              0.25072,
              0.29595,
              0.37765,
              0.53083,
              0.83319
            ],
            [
              0.23373,
              0.26415,
              0.29159,
              0.34168,
              0.43109,
              0.58992,
              0.89242
            ],
            [
              0.27667,
              0.31187,
              0.34327,
              0.39997,
              0.49947,
              0.67317,
              0.98137
            ],
            [
              0.3289,
              0.3709,
              0.408,
              0.4738,
              0.587,
              0.78,
              1.1129
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.13931,
              0.16914,
              0.19818,
              0.25557,
              0.36906,
              0.59446,
              1.04387
            ],
            [
              0.14159,
              0.17145,
              0.2005,
              0.25793,
              0.37138,
              0.59688,
              1.04624
            ],
            [
              0.1445,
              0.17441,
              0.20349,
              0.26091,
              0.37443,
              0.59988,
              1.04912
            ],
            [
              0.14904,
              0.179,
              0.20813,
              0.2656,
              0.37916,
              0.60469,
              1.05398
            ],
            [
              0.15581,
              0.18584,
              0.21501,
              0.27256,
              0.38618,
              0.61176,
              1.06111
            ],
            [
              0.16544,
              0.19553,
              0.22474,
              0.28236,
              0.39605,
              0.62172,
              1.07112
            ],
            [
              0.1786,
              0.20872,
              0.23797,
              0.29564,
              0.40944,
              0.63513,
              1.08453
            ],
            [
              0.19653,
              0.22667,
              0.25593,
              0.31366,
              0.42755,
              0.65341,
              1.10306
            ],
            [
              0.2183,
              0.25113,
              0.28101,
              0.33879,
              0.45275,
              0.67858,
              1.12865
            ],
            [
              0.24036,
              0.27766,
              0.31169,
              0.37428,
              0.4889,
              0.71489,
              1.16509
            ],
            [
              0.26175,
              0.30502,
              0.34415,
              0.41534,
              0.54122,
              0.76842,
              1.21852
            ],
            [
              0.28127,
              0.33217,
              0.37777,
              0.45987,
              0.60317,
              0.84857,
              1.29887
            ],
            [
              0.3002,
              0.3597,
              0.4128,
              0.5081,
              0.6726,
              0.9504,
              1.4201
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.08302,
              0.10912,
              0.13492,
              0.18657,
              0.29024,
              0.49689,
              0.91146
            ],
            [
              0.08299,
              0.10901,
              0.13495,
              0.18659,
              0.29023,
              0.49709,
              0.91186
            ],
            [
              0.08298,
              0.10901,
              0.13491,
              0.18645,
              0.2901,
              0.49703,
              0.91246
            ],
            [
              0.08292,
              0.10895,
              0.13486,
              0.18649,
              0.28985,
              0.49748,
              0.9123
            ],
            [
              0.08279,
              0.10888,
              0.13485,
              0.18666,
              0.28978,
              0.49702,
              0.91203
            ],
            [
              0.08236,
              0.10868,
              0.13461,
              0.18652,
              0.29014,
              0.49739,
              0.9126
            ],
            [
              0.08331,
              0.10899,
              0.13446,
              0.18623,
              0.29008,
              0.49755,
              0.91214
            ],
            [
              0.08748,
              0.11206,
              0.13682,
              0.18728,
              0.28977,
              0.49742,
              0.91134
            ],
            [
              0.09675,
              0.12064,
              0.14426,
              0.19251,
              0.29234,
              0.49752,
              0.91197
            ],
            [
              0.10991,
              0.13519,
              0.15948,
              0.20601,
              0.30157,
              0.50073,
              0.91122
            ],
            [
              0.12912,
              0.15601,
              0.18136,
              0.23062,
              0.32322,
              0.51381,
              0.9147
            ],
            [
              0.1584,
              0.1869,
              0.2135,
              0.2651,
              0.3618,
              0.5459,
              0.9313
            ],
            [
              0.2021,
              0.2328,
              0.2616,
              0.3153,
              0.4165,
              0.6063,
              0.973
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.11026,
              0.15085,
              0.19135,
              0.27225,
              0.43394,
              0.75601,
              1.40113
            ],
            [
              0.1103,
              0.15108,
              0.19138,
              0.27248,
              0.43387,
              0.75683,
              1.40102
            ],
            [
              0.11034,
              0.15096,
              0.19121,
              0.27211,
              0.43383,
              0.75616,
              1.40059
            ],
            [
              0.11035,
              0.15085,
              0.19145,
              0.27236,
              0.43408,
              0.7568,
              1.40028
            ],
            [
              0.11033,
              0.151,
              0.19141,
              0.27244,
              0.43406,
              0.75686,
              1.40096
            ],
            [
              0.11043,
              0.15111,
              0.19149,
              0.27228,
              0.43355,
              0.75676,
              1.40072
            ],
            [
              0.1108,
              0.15128,
              0.19153,
              0.27203,
              0.4336,
              0.75655,
              1.40004
            ],
            [
              0.11496,
              0.1536,
              0.19246,
              0.27266,
              0.43406,
              0.75668,
              1.40105
            ],
            [
              0.12745,
              0.16332,
              0.2007,
              0.2771,
              0.43447,
              0.7557,
              1.40111
            ],
            [
              0.14996,
              0.18647,
              0.22103,
              0.29259,
              0.44301,
              0.75617,
              1.40109
            ],
            [
              0.18127,
              0.22082,
              0.25776,
              0.32798,
              0.46787,
              0.76819,
              1.3989
            ],
            [
              0.22549,
              0.2686,
              0.3088,
              0.3841,
              0.5224,
              0.8034,
              1.4102
            ],
            [
              0.2836,
              0.3318,
              0.3763,
              0.4586,
              0.6085,
              0.88,
              1.4542
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09948,
              0.12141,
              0.14222,
              0.18247,
              0.26054,
              0.41344,
              0.71592
            ],
            [
              0.10203,
              0.12395,
              0.14475,
              0.18502,
              0.26305,
              0.41599,
              0.7183
            ],
            [
              0.10504,
              0.12701,
              0.1478,
              0.18808,
              0.26611,
              0.41901,
              0.72139
            ],
            [
              0.10922,
              0.13121,
              0.15207,
              0.19237,
              0.27048,
              0.4234,
              0.72574
            ],
            [
              0.11517,
              0.13721,
              0.15811,
              0.19847,
              0.27659,
              0.42954,
              0.732
            ],
            [
              0.12355,
              0.14566,
              0.16662,
              0.20707,
              0.28526,
              0.43827,
              0.74079
            ],
            [
              0.13565,
              0.15771,
              0.17873,
              0.21926,
              0.29761,
              0.45073,
              0.75332
            ],
            [
              0.15318,
              0.17553,
              0.1964,
              0.23696,
              0.31545,
              0.46871,
              0.77147
            ],
            [
              0.1754,
              0.19963,
              0.22188,
              0.26322,
              0.34171,
              0.49519,
              0.79815
            ],
            [
              0.20346,
              0.23008,
              0.25442,
              0.29943,
              0.38096,
              0.53455,
              0.83779
            ],
            [
              0.23886,
              0.26869,
              0.29583,
              0.34561,
              0.4348,
              0.59372,
              0.89702
            ],
            [
              0.28297,
              0.31737,
              0.34837,
              0.40457,
              0.50377,
              0.67727,
              0.98617
            ],
            [
              0.3372,
              0.378,
              0.4144,
              0.4795,
              0.5921,
              0.7848,
              1.1177
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.15439,
              0.18245,
              0.20985,
              0.26407,
              0.37123,
              0.5839,
              1.00777
            ],
            [
              0.15671,
              0.18479,
              0.21221,
              0.26643,
              0.37358,
              0.58634,
              1.01014
            ],
            [
              0.15968,
              0.18779,
              0.21522,
              0.26946,
              0.37662,
              0.58934,
              1.01322
            ],
            [
              0.16429,
              0.19243,
              0.2199,
              0.27416,
              0.38139,
              0.59413,
              1.01808
            ],
            [
              0.17118,
              0.19936,
              0.22684,
              0.28117,
              0.3884,
              0.60118,
              1.02511
            ],
            [
              0.18093,
              0.20916,
              0.23669,
              0.29108,
              0.39842,
              0.61131,
              1.03522
            ],
            [
              0.19428,
              0.22255,
              0.25012,
              0.30455,
              0.41197,
              0.62497,
              1.04893
            ],
            [
              0.2126,
              0.24089,
              0.26846,
              0.32295,
              0.43044,
              0.64352,
              1.06766
            ],
            [
              0.23699,
              0.26659,
              0.29431,
              0.34882,
              0.45642,
              0.6695,
              1.09385
            ],
            [
              0.26309,
              0.29687,
              0.32809,
              0.38597,
              0.49387,
              0.70719,
              1.13169
            ],
            [
              0.28987,
              0.32902,
              0.36488,
              0.43088,
              0.54862,
              0.76282,
              1.18722
            ],
            [
              0.31597,
              0.36197,
              0.40387,
              0.48027,
              0.61467,
              0.84607,
              1.27087
            ],
            [
              0.3418,
              0.3959,
              0.445,
              0.5339,
              0.689,
              0.9522,
              1.3969
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.10656,
              0.13159,
              0.15685,
              0.20781,
              0.31072,
              0.51769,
              0.9328
            ],
            [
              0.10652,
              0.13164,
              0.15677,
              0.20802,
              0.31068,
              0.5174,
              0.93194
            ],
            [
              0.10648,
              0.13154,
              0.15688,
              0.20778,
              0.3107,
              0.51748,
              0.93192
            ],
            [
              0.10645,
              0.13154,
              0.15686,
              0.20786,
              0.31079,
              0.51753,
              0.93182
            ],
            [
              0.10631,
              0.13152,
              0.15684,
              0.20774,
              0.3108,
              0.51813,
              0.93263
            ],
            [
              0.10591,
              0.1313,
              0.15672,
              0.20798,
              0.31075,
              0.51788,
              0.93244
            ],
            [
              0.10673,
              0.1315,
              0.15645,
              0.20769,
              0.31081,
              0.51795,
              0.93252
            ],
            [
              0.11063,
              0.13451,
              0.15878,
              0.2086,
              0.31053,
              0.51778,
              0.93242
            ],
            [
              0.12032,
              0.1428,
              0.16601,
              0.21377,
              0.313,
              0.51771,
              0.93153
            ],
            [
              0.13541,
              0.15893,
              0.18191,
              0.22739,
              0.32222,
              0.52105,
              0.93307
            ],
            [
              0.15718,
              0.18178,
              0.20581,
              0.25306,
              0.34403,
              0.53427,
              0.9352
            ],
            [
              0.1897,
              0.2154,
              0.2406,
              0.2894,
              0.384,
              0.5665,
              0.9503
            ],
            [
              0.2385,
              0.2656,
              0.292,
              0.3427,
              0.4405,
              0.6268,
              0.9945
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.12269,
              0.16184,
              0.20036,
              0.27763,
              0.43128,
              0.73682,
              1.34915
            ],
            [
              0.12267,
              0.16163,
              0.20045,
              0.27746,
              0.43139,
              0.73744,
              1.34959
            ],
            [
              0.12269,
              0.16169,
              0.20043,
              0.27744,
              0.43129,
              0.73673,
              1.34943
            ],
            [
              0.12267,
              0.16174,
              0.20041,
              0.27754,
              0.43138,
              0.7377,
              1.34979
            ],
            [
              0.12274,
              0.16183,
              0.20026,
              0.27762,
              0.4312,
              0.73705,
              1.34909
            ],
            [
              0.12278,
              0.16189,
              0.20035,
              0.27737,
              0.43107,
              0.73781,
              1.34983
            ],
            [
              0.12296,
              0.16198,
              0.20026,
              0.27766,
              0.43141,
              0.73794,
              1.34924
            ],
            [
              0.12585,
              0.16324,
              0.20092,
              0.27739,
              0.43112,
              0.73738,
              1.34987
            ],
            [
              0.13661,
              0.17225,
              0.20797,
              0.2814,
              0.43127,
              0.73715,
              1.34973
            ],
            [
              0.15998,
              0.19436,
              0.22764,
              0.29611,
              0.4395,
              0.73802,
              1.34965
            ],
            [
              0.19318,
              0.23039,
              0.26534,
              0.33085,
              0.46434,
              0.74905,
              1.3482
            ],
            [
              0.2394,
              0.28,
              0.3178,
              0.3889,
              0.5197,
              0.7854,
              1.3592
            ],
            [
              0.3004,
              0.346,
              0.388,
              0.466,
              0.6074,
              0.8639,
              1.4055
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03635,
              0.0501,
              0.06335,
              0.08956,
              0.14147,
              0.24513,
              0.45221
            ],
            [
              0.03839,
              0.05237,
              0.06575,
              0.09202,
              0.14417,
              0.2477,
              0.45501
            ],
            [
              0.04108,
              0.05519,
              0.06865,
              0.09512,
              0.14729,
              0.25105,
              0.45844
            ],
            [
              0.04533,
              0.05951,
              0.07308,
              0.0997,
              0.15201,
              0.25594,
              0.46311
            ],
            [
              0.05209,
              0.06623,
              0.07988,
              0.10661,
              0.15907,
              0.26305,
              0.47038
            ],
            [
              0.06107,
              0.0767,
              0.09029,
              0.11711,
              0.16976,
              0.27403,
              0.48142
            ],
            [
              0.07149,
              0.09062,
              0.10621,
              0.13312,
              0.18594,
              0.29028,
              0.49794
            ],
            [
              0.0838,
              0.10708,
              0.12602,
              0.15734,
              0.2103,
              0.31468,
              0.5225
            ],
            [
              0.09841,
              0.12661,
              0.14965,
              0.18762,
              0.2475,
              0.35163,
              0.55942
            ],
            [
              0.11566,
              0.14988,
              0.17782,
              0.22405,
              0.2964,
              0.40778,
              0.61537
            ],
            [
              0.13597,
              0.17755,
              0.21139,
              0.26746,
              0.35554,
              0.48872,
              0.69972
            ],
            [
              0.1597,
              0.21017,
              0.25127,
              0.31927,
              0.42607,
              0.58767,
              0.82677
            ],
            [
              0.1872,
              0.2484,
              0.2983,
              0.3807,
              0.5103,
              0.7061,
              0.9957
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04726,
              0.06721,
              0.0864,
              0.12433,
              0.19952,
              0.34958,
              0.64934
            ],
            [
              0.0489,
              0.06912,
              0.08844,
              0.12648,
              0.20175,
              0.35202,
              0.65227
            ],
            [
              0.05119,
              0.07141,
              0.09097,
              0.12918,
              0.20474,
              0.35458,
              0.65486
            ],
            [
              0.05513,
              0.07529,
              0.09491,
              0.13331,
              0.20888,
              0.3593,
              0.65978
            ],
            [
              0.0617,
              0.08162,
              0.10115,
              0.13962,
              0.21554,
              0.36576,
              0.66556
            ],
            [
              0.07225,
              0.09174,
              0.11102,
              0.14953,
              0.22535,
              0.37569,
              0.67588
            ],
            [
              0.08379,
              0.10762,
              0.12673,
              0.1648,
              0.24069,
              0.39114,
              0.69186
            ],
            [
              0.09652,
              0.12605,
              0.14971,
              0.18868,
              0.26397,
              0.4145,
              0.71491
            ],
            [
              0.11025,
              0.14661,
              0.17591,
              0.22356,
              0.30009,
              0.44969,
              0.74892
            ],
            [
              0.12501,
              0.16907,
              0.20507,
              0.26402,
              0.35463,
              0.50435,
              0.80339
            ],
            [
              0.14095,
              0.19345,
              0.23698,
              0.30929,
              0.4213,
              0.58692,
              0.88422
            ],
            [
              0.15825,
              0.21987,
              0.27167,
              0.35907,
              0.49657,
              0.70077,
              1.00837
            ],
            [
              0.1767,
              0.2487,
              0.3095,
              0.4133,
              0.5798,
              0.8314,
              1.1944
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02951,
              0.04746,
              0.06534,
              0.10122,
              0.17266,
              0.31626,
              0.60308
            ],
            [
              0.02947,
              0.04747,
              0.06532,
              0.10113,
              0.17282,
              0.3161,
              0.60313
            ],
            [
              0.02946,
              0.04746,
              0.06535,
              0.10116,
              0.17277,
              0.31618,
              0.60336
            ],
            [
              0.02944,
              0.04742,
              0.06523,
              0.10114,
              0.17274,
              0.31624,
              0.60251
            ],
            [
              0.03124,
              0.04769,
              0.06528,
              0.10113,
              0.17269,
              0.31598,
              0.60252
            ],
            [
              0.03653,
              0.05084,
              0.06683,
              0.10114,
              0.17288,
              0.31632,
              0.6029
            ],
            [
              0.04437,
              0.05899,
              0.0729,
              0.10416,
              0.17276,
              0.31636,
              0.60334
            ],
            [
              0.05422,
              0.07157,
              0.08621,
              0.11363,
              0.17641,
              0.31591,
              0.60318
            ],
            [
              0.06766,
              0.08767,
              0.10443,
              0.13366,
              0.18958,
              0.31895,
              0.60275
            ],
            [
              0.08599,
              0.10922,
              0.12861,
              0.16202,
              0.21814,
              0.33457,
              0.60364
            ],
            [
              0.11077,
              0.13813,
              0.16086,
              0.19938,
              0.26335,
              0.37312,
              0.61898
            ],
            [
              0.14455,
              0.1771,
              0.20398,
              0.2491,
              0.3224,
              0.4422,
              0.6651
            ],
            [
              0.1903,
              0.2299,
              0.2621,
              0.3155,
              0.4009,
              0.5385,
              0.7612
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04479,
              0.07243,
              0.10007,
              0.15428,
              0.26403,
              0.48176,
              0.92023
            ],
            [
              0.04467,
              0.07232,
              0.10003,
              0.15441,
              0.26406,
              0.48267,
              0.91944
            ],
            [
              0.04468,
              0.07244,
              0.09982,
              0.15427,
              0.26357,
              0.48241,
              0.92012
            ],
            [
              0.04435,
              0.07229,
              0.09961,
              0.15442,
              0.26395,
              0.48182,
              0.91954
            ],
            [
              0.04541,
              0.07227,
              0.09946,
              0.15447,
              0.2638,
              0.48239,
              0.91872
            ],
            [
              0.05105,
              0.07443,
              0.09978,
              0.1546,
              0.26383,
              0.48249,
              0.91851
            ],
            [
              0.0632,
              0.0828,
              0.10517,
              0.15542,
              0.26361,
              0.48227,
              0.91734
            ],
            [
              0.07816,
              0.1001,
              0.11924,
              0.16357,
              0.26436,
              0.48157,
              0.91923
            ],
            [
              0.09584,
              0.12383,
              0.14627,
              0.18444,
              0.2753,
              0.48141,
              0.91919
            ],
            [
              0.1177,
              0.15236,
              0.17988,
              0.2243,
              0.30329,
              0.49192,
              0.91742
            ],
            [
              0.14502,
              0.18746,
              0.22126,
              0.2762,
              0.35949,
              0.52655,
              0.9231
            ],
            [
              0.18023,
              0.23111,
              0.27259,
              0.3404,
              0.4439,
              0.6029,
              0.9599
            ],
            [
              0.2264,
              0.2868,
              0.3365,
              0.4194,
              0.548,
              0.7351,
              1.0533
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03639,
              0.05015,
              0.06338,
              0.0896,
              0.14161,
              0.24506,
              0.45243
            ],
            [
              0.03849,
              0.05245,
              0.06583,
              0.09215,
              0.14431,
              0.24787,
              0.45489
            ],
            [
              0.04122,
              0.05531,
              0.06877,
              0.09525,
              0.14742,
              0.25119,
              0.45853
            ],
            [
              0.0455,
              0.05971,
              0.07326,
              0.09982,
              0.15222,
              0.2561,
              0.46343
            ],
            [
              0.05231,
              0.06645,
              0.08014,
              0.10678,
              0.15935,
              0.26328,
              0.47077
            ],
            [
              0.06137,
              0.07698,
              0.09058,
              0.11736,
              0.16996,
              0.27431,
              0.48183
            ],
            [
              0.07184,
              0.09097,
              0.10651,
              0.1334,
              0.18621,
              0.29068,
              0.49828
            ],
            [
              0.08414,
              0.10744,
              0.12636,
              0.1577,
              0.21061,
              0.31503,
              0.52286
            ],
            [
              0.09869,
              0.12694,
              0.14999,
              0.18799,
              0.24779,
              0.35201,
              0.55992
            ],
            [
              0.11576,
              0.15006,
              0.17807,
              0.22436,
              0.29681,
              0.40808,
              0.61573
            ],
            [
              0.13568,
              0.17743,
              0.2114,
              0.26762,
              0.35558,
              0.48882,
              0.70002
            ],
            [
              0.15871,
              0.20947,
              0.25087,
              0.31907,
              0.42617,
              0.58797,
              0.82707
            ],
            [
              0.185,
              0.2468,
              0.297,
              0.38,
              0.5098,
              0.7061,
              0.9959
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.05145,
              0.07418,
              0.09619,
              0.13949,
              0.22532,
              0.39644,
              0.73832
            ],
            [
              0.05287,
              0.07585,
              0.09807,
              0.1416,
              0.22754,
              0.39904,
              0.74107
            ],
            [
              0.05493,
              0.07806,
              0.10037,
              0.14403,
              0.23029,
              0.4021,
              0.74356
            ],
            [
              0.05862,
              0.0816,
              0.10404,
              0.14785,
              0.23428,
              0.40615,
              0.74845
            ],
            [
              0.06497,
              0.08751,
              0.10983,
              0.15399,
              0.2406,
              0.41227,
              0.75497
            ],
            [
              0.07542,
              0.09722,
              0.11922,
              0.16313,
              0.25014,
              0.42199,
              0.7653
            ],
            [
              0.0877,
              0.1129,
              0.1343,
              0.17782,
              0.26469,
              0.43663,
              0.77976
            ],
            [
              0.1011,
              0.13236,
              0.15761,
              0.20074,
              0.28704,
              0.45904,
              0.80232
            ],
            [
              0.11566,
              0.15398,
              0.185,
              0.23592,
              0.32163,
              0.49292,
              0.83525
            ],
            [
              0.13143,
              0.17774,
              0.21569,
              0.27819,
              0.37511,
              0.54504,
              0.88649
            ],
            [
              0.14872,
              0.2037,
              0.24949,
              0.32575,
              0.44482,
              0.62502,
              0.96552
            ],
            [
              0.16787,
              0.23227,
              0.28647,
              0.37827,
              0.52377,
              0.74137,
              1.08487
            ],
            [
              0.1889,
              0.2638,
              0.3274,
              0.4361,
              0.6114,
              0.878,
              1.2665
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02952,
              0.04747,
              0.06528,
              0.10121,
              0.17296,
              0.31588,
              0.60338
            ],
            [
              0.0295,
              0.04747,
              0.06532,
              0.1012,
              0.17299,
              0.31595,
              0.60259
            ],
            [
              0.02949,
              0.04745,
              0.06531,
              0.10118,
              0.1729,
              0.31626,
              0.6034
            ],
            [
              0.02943,
              0.04742,
              0.06528,
              0.10106,
              0.17287,
              0.31641,
              0.60338
            ],
            [
              0.03119,
              0.04767,
              0.06531,
              0.10104,
              0.17292,
              0.31626,
              0.60338
            ],
            [
              0.03643,
              0.05074,
              0.06675,
              0.10114,
              0.17282,
              0.31636,
              0.60334
            ],
            [
              0.0442,
              0.05878,
              0.0728,
              0.10407,
              0.17278,
              0.31637,
              0.60303
            ],
            [
              0.05395,
              0.07132,
              0.08595,
              0.11345,
              0.17637,
              0.31596,
              0.60311
            ],
            [
              0.06737,
              0.08738,
              0.10412,
              0.13339,
              0.1895,
              0.31883,
              0.60274
            ],
            [
              0.08573,
              0.10899,
              0.12837,
              0.16176,
              0.21788,
              0.33443,
              0.60367
            ],
            [
              0.11063,
              0.13797,
              0.16071,
              0.19916,
              0.26317,
              0.37245,
              0.61884
            ],
            [
              0.14439,
              0.17722,
              0.20399,
              0.249,
              0.3224,
              0.442,
              0.665
            ],
            [
              0.1904,
              0.2302,
              0.2625,
              0.3156,
              0.4012,
              0.5384,
              0.7611
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.05217,
              0.08378,
              0.11521,
              0.17692,
              0.30124,
              0.54921,
              1.04463
            ],
            [
              0.052,
              0.08378,
              0.11503,
              0.17697,
              0.30102,
              0.54922,
              1.04418
            ],
            [
              0.05187,
              0.08389,
              0.11483,
              0.17713,
              0.30128,
              0.54905,
              1.04484
            ],
            [
              0.05138,
              0.08367,
              0.115,
              0.17706,
              0.30128,
              0.54918,
              1.04467
            ],
            [
              0.05164,
              0.08319,
              0.11448,
              0.17709,
              0.30089,
              0.54915,
              1.04471
            ],
            [
              0.05642,
              0.08425,
              0.11431,
              0.17692,
              0.30069,
              0.54918,
              1.04353
            ],
            [
              0.06766,
              0.09132,
              0.11827,
              0.17657,
              0.30104,
              0.54917,
              1.04439
            ],
            [
              0.08357,
              0.10762,
              0.13076,
              0.18313,
              0.30081,
              0.54916,
              1.04389
            ],
            [
              0.10109,
              0.13208,
              0.15606,
              0.20206,
              0.30795,
              0.54884,
              1.04409
            ],
            [
              0.12315,
              0.16064,
              0.19049,
              0.23925,
              0.33355,
              0.55425,
              1.0445
            ],
            [
              0.15052,
              0.19605,
              0.23232,
              0.2925,
              0.38585,
              0.58265,
              1.0436
            ],
            [
              0.1855,
              0.2399,
              0.28403,
              0.3574,
              0.47,
              0.6529,
              1.0714
            ],
            [
              0.2322,
              0.2956,
              0.3486,
              0.4372,
              0.5757,
              0.7803,
              1.1553
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03638,
              0.05011,
              0.0634,
              0.08957,
              0.14158,
              0.24527,
              0.45243
            ],
            [
              0.03848,
              0.05244,
              0.06579,
              0.09212,
              0.14428,
              0.24796,
              0.45496
            ],
            [
              0.04119,
              0.05527,
              0.06875,
              0.09522,
              0.14735,
              0.25109,
              0.45832
            ],
            [
              0.04547,
              0.05965,
              0.07322,
              0.09986,
              0.1521,
              0.25596,
              0.46331
            ],
            [
              0.05225,
              0.06637,
              0.08005,
              0.10675,
              0.15923,
              0.26315,
              0.47056
            ],
            [
              0.06128,
              0.07689,
              0.0905,
              0.11727,
              0.16989,
              0.27422,
              0.48169
            ],
            [
              0.07173,
              0.09086,
              0.1064,
              0.13331,
              0.18612,
              0.29059,
              0.49819
            ],
            [
              0.08403,
              0.10733,
              0.12624,
              0.15759,
              0.21052,
              0.31493,
              0.52276
            ],
            [
              0.09859,
              0.12682,
              0.14988,
              0.18788,
              0.24769,
              0.35198,
              0.5598
            ],
            [
              0.11572,
              0.14999,
              0.17798,
              0.22423,
              0.29669,
              0.40803,
              0.61562
            ],
            [
              0.13575,
              0.17746,
              0.21139,
              0.26756,
              0.35571,
              0.48872,
              0.69992
            ],
            [
              0.159,
              0.20967,
              0.25097,
              0.31917,
              0.42617,
              0.58787,
              0.82697
            ],
            [
              0.1857,
              0.2473,
              0.2974,
              0.3803,
              0.51,
              0.7061,
              0.9958
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.05034,
              0.07225,
              0.09333,
              0.13494,
              0.21756,
              0.38228,
              0.70996
            ],
            [
              0.05181,
              0.07401,
              0.09525,
              0.13707,
              0.21963,
              0.38405,
              0.7137
            ],
            [
              0.05395,
              0.07622,
              0.09763,
              0.1396,
              0.22245,
              0.3869,
              0.71604
            ],
            [
              0.05766,
              0.07984,
              0.10129,
              0.1435,
              0.22646,
              0.39169,
              0.72074
            ],
            [
              0.06407,
              0.08584,
              0.10732,
              0.14966,
              0.23293,
              0.39826,
              0.72759
            ],
            [
              0.07457,
              0.09563,
              0.11683,
              0.15908,
              0.24247,
              0.40781,
              0.73728
            ],
            [
              0.08658,
              0.11142,
              0.13206,
              0.17383,
              0.25711,
              0.42257,
              0.75123
            ],
            [
              0.09976,
              0.1305,
              0.15525,
              0.19706,
              0.27992,
              0.44486,
              0.77451
            ],
            [
              0.11404,
              0.15176,
              0.18225,
              0.23217,
              0.31491,
              0.47942,
              0.80875
            ],
            [
              0.12947,
              0.17509,
              0.21245,
              0.27384,
              0.36887,
              0.53243,
              0.86019
            ],
            [
              0.14632,
              0.20053,
              0.24562,
              0.32065,
              0.43749,
              0.61292,
              0.93982
            ],
            [
              0.16486,
              0.22837,
              0.28187,
              0.37227,
              0.51527,
              0.72877,
              1.06047
            ],
            [
              0.1851,
              0.2591,
              0.3218,
              0.4289,
              0.6015,
              0.8634,
              1.2438
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.0295,
              0.04741,
              0.06534,
              0.10115,
              0.17296,
              0.31635,
              0.60341
            ],
            [
              0.0295,
              0.04747,
              0.06523,
              0.10118,
              0.17298,
              0.31627,
              0.60243
            ],
            [
              0.02947,
              0.04741,
              0.06533,
              0.10114,
              0.17282,
              0.31592,
              0.6029
            ],
            [
              0.02945,
              0.04743,
              0.06528,
              0.10121,
              0.17276,
              0.31624,
              0.60322
            ],
            [
              0.03118,
              0.04763,
              0.06529,
              0.10109,
              0.1727,
              0.31601,
              0.60295
            ],
            [
              0.03648,
              0.05076,
              0.06676,
              0.10113,
              0.17285,
              0.31633,
              0.60314
            ],
            [
              0.04422,
              0.05883,
              0.07282,
              0.10411,
              0.17278,
              0.31637,
              0.60303
            ],
            [
              0.05402,
              0.0714,
              0.08604,
              0.11351,
              0.17637,
              0.31596,
              0.60311
            ],
            [
              0.06745,
              0.08748,
              0.10422,
              0.13348,
              0.18953,
              0.31885,
              0.60276
            ],
            [
              0.08579,
              0.10907,
              0.12845,
              0.16187,
              0.21786,
              0.33448,
              0.60368
            ],
            [
              0.11066,
              0.13803,
              0.16077,
              0.19923,
              0.26315,
              0.37254,
              0.61888
            ],
            [
              0.14444,
              0.17714,
              0.20397,
              0.2491,
              0.3224,
              0.442,
              0.665
            ],
            [
              0.1904,
              0.2301,
              0.2623,
              0.3155,
              0.401,
              0.5385,
              0.7611
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04974,
              0.08011,
              0.11009,
              0.16993,
              0.28936,
              0.52788,
              1.00423
            ],
            [
              0.04968,
              0.08034,
              0.11014,
              0.16998,
              0.28874,
              0.5269,
              1.00463
            ],
            [
              0.04957,
              0.08027,
              0.11009,
              0.16982,
              0.28916,
              0.52681,
              1.00298
            ],
            [
              0.04922,
              0.07979,
              0.10977,
              0.16992,
              0.28896,
              0.52782,
              1.00472
            ],
            [
              0.04968,
              0.07943,
              0.1099,
              0.16985,
              0.28932,
              0.52787,
              1.00462
            ],
            [
              0.05473,
              0.08112,
              0.10955,
              0.16972,
              0.28933,
              0.52724,
              1.00376
            ],
            [
              0.06621,
              0.08867,
              0.114,
              0.16982,
              0.28917,
              0.52718,
              1.0035
            ],
            [
              0.08188,
              0.10511,
              0.12703,
              0.17696,
              0.28861,
              0.52683,
              1.00482
            ],
            [
              0.09955,
              0.12952,
              0.15295,
              0.19607,
              0.29788,
              0.52635,
              1.00392
            ],
            [
              0.12152,
              0.15783,
              0.18698,
              0.23425,
              0.32373,
              0.534,
              1.00231
            ],
            [
              0.14873,
              0.19312,
              0.22878,
              0.28723,
              0.3771,
              0.56548,
              1.0065
            ],
            [
              0.18395,
              0.23715,
              0.2805,
              0.3521,
              0.4618,
              0.6367,
              1.0368
            ],
            [
              0.2305,
              0.2927,
              0.3446,
              0.4317,
              0.5668,
              0.7657,
              1.1244
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03643,
              0.05021,
              0.06346,
              0.08958,
              0.14152,
              0.24507,
              0.4521
            ],
            [
              0.03862,
              0.05258,
              0.06591,
              0.0923,
              0.14427,
              0.24815,
              0.455
            ],
            [
              0.04142,
              0.05551,
              0.06898,
              0.09543,
              0.14756,
              0.25132,
              0.45866
            ],
            [
              0.04582,
              0.06003,
              0.07357,
              0.10015,
              0.15249,
              0.25632,
              0.46371
            ],
            [
              0.05271,
              0.06689,
              0.08053,
              0.10721,
              0.15966,
              0.26353,
              0.47103
            ],
            [
              0.06198,
              0.07748,
              0.0911,
              0.1179,
              0.17062,
              0.27477,
              0.48199
            ],
            [
              0.07259,
              0.09166,
              0.10715,
              0.134,
              0.1869,
              0.29125,
              0.49865
            ],
            [
              0.08502,
              0.10826,
              0.12715,
              0.15832,
              0.21136,
              0.31584,
              0.52365
            ],
            [
              0.09942,
              0.12779,
              0.15082,
              0.18887,
              0.24835,
              0.35277,
              0.56065
            ],
            [
              0.1161,
              0.15062,
              0.17873,
              0.22514,
              0.29748,
              0.4088,
              0.61648
            ],
            [
              0.13524,
              0.17735,
              0.21158,
              0.26811,
              0.35636,
              0.48952,
              0.70052
            ],
            [
              0.15669,
              0.20827,
              0.24997,
              0.31867,
              0.42627,
              0.58847,
              0.82767
            ],
            [
              0.1802,
              0.2432,
              0.2941,
              0.3781,
              0.5092,
              0.7062,
              0.9964
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.06135,
              0.09142,
              0.12056,
              0.17804,
              0.29231,
              0.51937,
              0.97285
            ],
            [
              0.06227,
              0.0927,
              0.12208,
              0.1799,
              0.29417,
              0.52147,
              0.97516
            ],
            [
              0.06388,
              0.09439,
              0.12403,
              0.18214,
              0.29676,
              0.52441,
              0.97832
            ],
            [
              0.06697,
              0.09727,
              0.12707,
              0.1854,
              0.30024,
              0.52828,
              0.98198
            ],
            [
              0.07267,
              0.10237,
              0.13205,
              0.19071,
              0.30581,
              0.53388,
              0.98791
            ],
            [
              0.08252,
              0.11104,
              0.14033,
              0.19889,
              0.31445,
              0.54253,
              0.99722
            ],
            [
              0.09655,
              0.12546,
              0.15383,
              0.21189,
              0.32745,
              0.55608,
              1.01073
            ],
            [
              0.11157,
              0.14707,
              0.17595,
              0.2326,
              0.34756,
              0.57606,
              1.03096
            ],
            [
              0.12818,
              0.17121,
              0.2066,
              0.26565,
              0.37896,
              0.60716,
              1.06215
            ],
            [
              0.14649,
              0.19816,
              0.24093,
              0.31236,
              0.42816,
              0.65489,
              1.10859
            ],
            [
              0.16705,
              0.22808,
              0.27926,
              0.36541,
              0.50212,
              0.72782,
              1.17992
            ],
            [
              0.19057,
              0.26157,
              0.32197,
              0.42477,
              0.58957,
              0.84157,
              1.29047
            ],
            [
              0.2178,
              0.2999,
              0.3701,
              0.4911,
              0.6882,
              0.9921,
              1.4587
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02951,
              0.04747,
              0.06534,
              0.10107,
              0.17276,
              0.31587,
              0.60255
            ],
            [
              0.02951,
              0.04746,
              0.06526,
              0.10121,
              0.17277,
              0.31647,
              0.60282
            ],
            [
              0.02951,
              0.04745,
              0.06534,
              0.1012,
              0.17281,
              0.31609,
              0.60332
            ],
            [
              0.02945,
              0.04745,
              0.06527,
              0.10116,
              0.17293,
              0.31621,
              0.60326
            ],
            [
              0.03105,
              0.04761,
              0.06528,
              0.10105,
              0.17287,
              0.31591,
              0.6032
            ],
            [
              0.03612,
              0.05054,
              0.06664,
              0.10113,
              0.17288,
              0.31619,
              0.60274
            ],
            [
              0.04375,
              0.05839,
              0.07247,
              0.1039,
              0.1728,
              0.3163,
              0.60292
            ],
            [
              0.05339,
              0.07076,
              0.0854,
              0.11316,
              0.17621,
              0.31628,
              0.60329
            ],
            [
              0.06674,
              0.0867,
              0.10347,
              0.13277,
              0.18922,
              0.31868,
              0.60271
            ],
            [
              0.08505,
              0.10834,
              0.12773,
              0.16112,
              0.21736,
              0.33421,
              0.60339
            ],
            [
              0.11015,
              0.13747,
              0.16022,
              0.19861,
              0.26268,
              0.37187,
              0.61827
            ],
            [
              0.14398,
              0.17726,
              0.20387,
              0.249,
              0.3221,
              0.4415,
              0.6641
            ],
            [
              0.1903,
              0.2306,
              0.2631,
              0.3161,
              0.4013,
              0.5382,
              0.7608
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.07194,
              0.11417,
              0.15564,
              0.23727,
              0.39918,
              0.72312,
              1.37113
            ],
            [
              0.07166,
              0.11402,
              0.15527,
              0.23724,
              0.39963,
              0.72368,
              1.37104
            ],
            [
              0.07129,
              0.11379,
              0.15543,
              0.23719,
              0.39955,
              0.72348,
              1.371
            ],
            [
              0.07057,
              0.11365,
              0.15503,
              0.23716,
              0.39966,
              0.72247,
              1.37089
            ],
            [
              0.06935,
              0.11285,
              0.15479,
              0.23673,
              0.39965,
              0.72317,
              1.37107
            ],
            [
              0.07225,
              0.11193,
              0.15369,
              0.23668,
              0.39917,
              0.7236,
              1.37126
            ],
            [
              0.08123,
              0.1167,
              0.15456,
              0.23542,
              0.39902,
              0.72336,
              1.37112
            ],
            [
              0.09902,
              0.12955,
              0.16334,
              0.23778,
              0.39887,
              0.72355,
              1.37113
            ],
            [
              0.11514,
              0.15442,
              0.1845,
              0.25129,
              0.40039,
              0.72331,
              1.36839
            ],
            [
              0.13677,
              0.18224,
              0.22016,
              0.28229,
              0.41705,
              0.72254,
              1.37009
            ],
            [
              0.16391,
              0.21731,
              0.26174,
              0.33572,
              0.46015,
              0.74038,
              1.3706
            ],
            [
              0.19909,
              0.26179,
              0.31376,
              0.4012,
              0.5394,
              0.7941,
              1.3797
            ],
            [
              0.2453,
              0.3175,
              0.3784,
              0.4825,
              0.6472,
              0.9038,
              1.4382
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03733,
              0.05112,
              0.06439,
              0.09063,
              0.1427,
              0.24654,
              0.45398
            ],
            [
              0.03946,
              0.05343,
              0.06684,
              0.0932,
              0.1454,
              0.24927,
              0.45674
            ],
            [
              0.04219,
              0.0563,
              0.06979,
              0.09628,
              0.14859,
              0.25259,
              0.4601
            ],
            [
              0.04651,
              0.06074,
              0.07432,
              0.10096,
              0.15338,
              0.25743,
              0.46498
            ],
            [
              0.0533,
              0.06747,
              0.08116,
              0.10794,
              0.16047,
              0.26467,
              0.47232
            ],
            [
              0.0626,
              0.07801,
              0.09164,
              0.1185,
              0.1712,
              0.27566,
              0.48334
            ],
            [
              0.07339,
              0.09228,
              0.10768,
              0.13457,
              0.18737,
              0.292,
              0.49987
            ],
            [
              0.08609,
              0.10907,
              0.12784,
              0.15886,
              0.21198,
              0.31653,
              0.52458
            ],
            [
              0.1012,
              0.12901,
              0.15186,
              0.18963,
              0.24921,
              0.35354,
              0.56155
            ],
            [
              0.11903,
              0.15273,
              0.18045,
              0.22644,
              0.29863,
              0.40985,
              0.6176
            ],
            [
              0.14002,
              0.18094,
              0.21453,
              0.27034,
              0.35795,
              0.49092,
              0.70212
            ],
            [
              0.1646,
              0.21427,
              0.25497,
              0.32267,
              0.42927,
              0.59067,
              0.82957
            ],
            [
              0.1932,
              0.2533,
              0.3027,
              0.3849,
              0.5142,
              0.7098,
              0.9992
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.0698,
              0.09267,
              0.11491,
              0.15882,
              0.24583,
              0.41889,
              0.76445
            ],
            [
              0.0715,
              0.09458,
              0.11689,
              0.16095,
              0.24809,
              0.42124,
              0.76697
            ],
            [
              0.07368,
              0.09686,
              0.11933,
              0.16351,
              0.25082,
              0.4241,
              0.77001
            ],
            [
              0.07729,
              0.10053,
              0.12305,
              0.16737,
              0.25483,
              0.42827,
              0.77431
            ],
            [
              0.08322,
              0.10642,
              0.12898,
              0.17346,
              0.26119,
              0.43478,
              0.78099
            ],
            [
              0.09291,
              0.11582,
              0.13833,
              0.18279,
              0.27063,
              0.44452,
              0.79083
            ],
            [
              0.10863,
              0.13084,
              0.15309,
              0.19735,
              0.28517,
              0.45924,
              0.80565
            ],
            [
              0.12694,
              0.1539,
              0.17646,
              0.22013,
              0.30764,
              0.48156,
              0.82794
            ],
            [
              0.14737,
              0.18047,
              0.20847,
              0.25568,
              0.34227,
              0.51563,
              0.86195
            ],
            [
              0.16977,
              0.21013,
              0.24448,
              0.30269,
              0.39567,
              0.56778,
              0.91339
            ],
            [
              0.19421,
              0.24277,
              0.28448,
              0.35579,
              0.46972,
              0.64812,
              0.99212
            ],
            [
              0.22117,
              0.27857,
              0.32847,
              0.41477,
              0.55427,
              0.76707,
              1.11107
            ],
            [
              0.251,
              0.318,
              0.3769,
              0.4797,
              0.6487,
              0.9096,
              1.2944
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04334,
              0.06123,
              0.07895,
              0.11454,
              0.18615,
              0.32893,
              0.61556
            ],
            [
              0.04335,
              0.06121,
              0.07896,
              0.1146,
              0.1859,
              0.32877,
              0.61539
            ],
            [
              0.04335,
              0.06119,
              0.07896,
              0.11456,
              0.18606,
              0.32913,
              0.61602
            ],
            [
              0.04329,
              0.06119,
              0.07893,
              0.11463,
              0.1859,
              0.32898,
              0.61583
            ],
            [
              0.04499,
              0.06143,
              0.07893,
              0.11463,
              0.18605,
              0.3291,
              0.61584
            ],
            [
              0.05004,
              0.06452,
              0.08036,
              0.11457,
              0.18605,
              0.32909,
              0.61559
            ],
            [
              0.06005,
              0.07236,
              0.08636,
              0.11746,
              0.18588,
              0.32873,
              0.61606
            ],
            [
              0.0726,
              0.08686,
              0.09949,
              0.12697,
              0.1897,
              0.32897,
              0.61566
            ],
            [
              0.08967,
              0.10564,
              0.12023,
              0.14685,
              0.20286,
              0.33183,
              0.61608
            ],
            [
              0.11291,
              0.13093,
              0.14745,
              0.17772,
              0.23118,
              0.34779,
              0.61667
            ],
            [
              0.14433,
              0.1649,
              0.18368,
              0.21809,
              0.27831,
              0.38573,
              0.63055
            ],
            [
              0.18644,
              0.2105,
              0.23218,
              0.2717,
              0.3403,
              0.4557,
              0.6787
            ],
            [
              0.2433,
              0.2717,
              0.2974,
              0.3436,
              0.4225,
              0.5545,
              0.7738
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.06743,
              0.09915,
              0.1305,
              0.19367,
              0.31912,
              0.57109,
              1.07336
            ],
            [
              0.06738,
              0.09906,
              0.13064,
              0.19366,
              0.3192,
              0.5712,
              1.0725
            ],
            [
              0.06727,
              0.09922,
              0.13068,
              0.19378,
              0.3192,
              0.57107,
              1.0743
            ],
            [
              0.06717,
              0.09918,
              0.13055,
              0.19377,
              0.31957,
              0.5709,
              1.07227
            ],
            [
              0.06679,
              0.09897,
              0.13064,
              0.1934,
              0.31942,
              0.57126,
              1.07299
            ],
            [
              0.06812,
              0.09849,
              0.13027,
              0.19369,
              0.31901,
              0.57087,
              1.07144
            ],
            [
              0.07566,
              0.10277,
              0.13176,
              0.19322,
              0.31902,
              0.5708,
              1.07357
            ],
            [
              0.09226,
              0.11564,
              0.1414,
              0.19735,
              0.31881,
              0.57066,
              1.07286
            ],
            [
              0.11207,
              0.14112,
              0.16368,
              0.21329,
              0.32421,
              0.57021,
              1.07046
            ],
            [
              0.13663,
              0.17155,
              0.20037,
              0.2476,
              0.34721,
              0.57438,
              1.07044
            ],
            [
              0.16705,
              0.20949,
              0.24444,
              0.30271,
              0.39645,
              0.60184,
              1.0737
            ],
            [
              0.20503,
              0.25633,
              0.29914,
              0.3704,
              0.4812,
              0.6684,
              1.0984
            ],
            [
              0.2538,
              0.315,
              0.3666,
              0.4534,
              0.5894,
              0.7927,
              1.1816
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03737,
              0.05119,
              0.06445,
              0.09068,
              0.14273,
              0.24659,
              0.45399
            ],
            [
              0.03959,
              0.05357,
              0.06697,
              0.09332,
              0.14549,
              0.2494,
              0.45683
            ],
            [
              0.04241,
              0.0565,
              0.07002,
              0.09649,
              0.14882,
              0.25279,
              0.46027
            ],
            [
              0.04685,
              0.06105,
              0.07465,
              0.10128,
              0.15366,
              0.25775,
              0.4653
            ],
            [
              0.05375,
              0.06797,
              0.08165,
              0.10839,
              0.16099,
              0.26519,
              0.47272
            ],
            [
              0.06328,
              0.0786,
              0.09223,
              0.1191,
              0.17187,
              0.2762,
              0.48387
            ],
            [
              0.07423,
              0.09305,
              0.1084,
              0.1353,
              0.18816,
              0.29262,
              0.50049
            ],
            [
              0.08708,
              0.10999,
              0.12872,
              0.15969,
              0.21277,
              0.31731,
              0.52526
            ],
            [
              0.10202,
              0.12997,
              0.15278,
              0.19059,
              0.24992,
              0.35443,
              0.56246
            ],
            [
              0.11941,
              0.15337,
              0.18118,
              0.22732,
              0.29955,
              0.41067,
              0.6185
            ],
            [
              0.13949,
              0.18085,
              0.21472,
              0.27089,
              0.35882,
              0.49172,
              0.70282
            ],
            [
              0.1623,
              0.21277,
              0.25397,
              0.32227,
              0.42937,
              0.59137,
              0.83027
            ],
            [
              0.1878,
              0.2492,
              0.2995,
              0.3827,
              0.5133,
              0.7099,
              0.9997
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.0877,
              0.11873,
              0.1489,
              0.20861,
              0.32681,
              0.56204,
              1.03227
            ],
            [
              0.08894,
              0.12025,
              0.1506,
              0.21048,
              0.32898,
              0.56436,
              1.03464
            ],
            [
              0.09065,
              0.1221,
              0.15261,
              0.21268,
              0.33138,
              0.56699,
              1.03732
            ],
            [
              0.09358,
              0.1251,
              0.15573,
              0.21604,
              0.33502,
              0.57078,
              1.04127
            ],
            [
              0.09864,
              0.13011,
              0.16079,
              0.22132,
              0.34049,
              0.57653,
              1.04721
            ],
            [
              0.10724,
              0.13832,
              0.16893,
              0.22945,
              0.34889,
              0.58536,
              1.05632
            ],
            [
              0.12168,
              0.15178,
              0.18208,
              0.24239,
              0.36187,
              0.59861,
              1.06973
            ],
            [
              0.14277,
              0.1739,
              0.20321,
              0.26296,
              0.38207,
              0.61871,
              1.09006
            ],
            [
              0.16605,
              0.20411,
              0.23679,
              0.2953,
              0.41343,
              0.64959,
              1.12075
            ],
            [
              0.19198,
              0.23792,
              0.27736,
              0.34516,
              0.46237,
              0.69719,
              1.16749
            ],
            [
              0.22082,
              0.27562,
              0.32313,
              0.40492,
              0.53812,
              0.77062,
              1.23922
            ],
            [
              0.25327,
              0.31767,
              0.37417,
              0.47227,
              0.63277,
              0.88387,
              1.34887
            ],
            [
              0.2907,
              0.3655,
              0.4314,
              0.5476,
              0.7402,
              1.0421,
              1.5179
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04317,
              0.06106,
              0.07875,
              0.11436,
              0.18578,
              0.32855,
              0.61507
            ],
            [
              0.04318,
              0.06104,
              0.0788,
              0.11435,
              0.18578,
              0.32865,
              0.61477
            ],
            [
              0.04317,
              0.06104,
              0.07876,
              0.11445,
              0.18587,
              0.32858,
              0.61525
            ],
            [
              0.04314,
              0.06105,
              0.07882,
              0.11442,
              0.18577,
              0.32925,
              0.61558
            ],
            [
              0.04467,
              0.0612,
              0.07875,
              0.11441,
              0.18588,
              0.32882,
              0.6151
            ],
            [
              0.04952,
              0.06414,
              0.08011,
              0.11436,
              0.18583,
              0.3287,
              0.61514
            ],
            [
              0.05927,
              0.07174,
              0.08583,
              0.11711,
              0.18577,
              0.32925,
              0.61524
            ],
            [
              0.07156,
              0.08598,
              0.09863,
              0.12639,
              0.18943,
              0.32855,
              0.61526
            ],
            [
              0.08858,
              0.10456,
              0.1193,
              0.14588,
              0.20231,
              0.33182,
              0.61504
            ],
            [
              0.1118,
              0.12987,
              0.14643,
              0.1767,
              0.23031,
              0.34715,
              0.61595
            ],
            [
              0.14329,
              0.16402,
              0.18292,
              0.21723,
              0.27727,
              0.38498,
              0.63113
            ],
            [
              0.18597,
              0.20995,
              0.23192,
              0.2713,
              0.3398,
              0.4549,
              0.6771
            ],
            [
              0.243,
              0.2721,
              0.298,
              0.344,
              0.4226,
              0.5539,
              0.7735
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.0957,
              0.13897,
              0.18122,
              0.26623,
              0.43494,
              0.77012,
              1.44314
            ],
            [
              0.09562,
              0.13895,
              0.18142,
              0.26599,
              0.43494,
              0.77105,
              1.44309
            ],
            [
              0.09538,
              0.13884,
              0.18142,
              0.2658,
              0.43491,
              0.77121,
              1.44279
            ],
            [
              0.09503,
              0.13854,
              0.18113,
              0.26584,
              0.43495,
              0.77098,
              1.44353
            ],
            [
              0.0943,
              0.13829,
              0.18108,
              0.26615,
              0.43492,
              0.77089,
              1.44354
            ],
            [
              0.0934,
              0.13726,
              0.18045,
              0.26581,
              0.43444,
              0.77061,
              1.44404
            ],
            [
              0.09813,
              0.13813,
              0.17947,
              0.26548,
              0.43447,
              0.77116,
              1.44429
            ],
            [
              0.11097,
              0.14692,
              0.18485,
              0.26508,
              0.43455,
              0.77075,
              1.44438
            ],
            [
              0.13323,
              0.16783,
              0.20185,
              0.27523,
              0.43421,
              0.77053,
              1.44201
            ],
            [
              0.1567,
              0.20053,
              0.23614,
              0.30195,
              0.4478,
              0.77078,
              1.44213
            ],
            [
              0.18707,
              0.23829,
              0.28162,
              0.35415,
              0.48611,
              0.78378,
              1.4441
            ],
            [
              0.22524,
              0.28573,
              0.337,
              0.4236,
              0.5621,
              0.8321,
              1.4498
            ],
            [
              0.2744,
              0.3451,
              0.4054,
              0.5086,
              0.6738,
              0.9388,
              1.5007
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.03737,
              0.05117,
              0.06444,
              0.09067,
              0.14275,
              0.24658,
              0.45401
            ],
            [
              0.03958,
              0.05358,
              0.06697,
              0.0933,
              0.14549,
              0.24937,
              0.45683
            ],
            [
              0.04239,
              0.05649,
              0.07,
              0.09648,
              0.14879,
              0.25276,
              0.46025
            ],
            [
              0.04682,
              0.06102,
              0.07462,
              0.10124,
              0.15363,
              0.25771,
              0.46525
            ],
            [
              0.0537,
              0.06792,
              0.08158,
              0.10833,
              0.16082,
              0.26502,
              0.47266
            ],
            [
              0.06319,
              0.07853,
              0.09217,
              0.11902,
              0.17179,
              0.27602,
              0.48379
            ],
            [
              0.07409,
              0.09293,
              0.10831,
              0.1352,
              0.18807,
              0.29254,
              0.50043
            ],
            [
              0.08692,
              0.10985,
              0.12859,
              0.15958,
              0.21265,
              0.3172,
              0.52517
            ],
            [
              0.10186,
              0.12981,
              0.15262,
              0.19045,
              0.24979,
              0.35432,
              0.56235
            ],
            [
              0.11931,
              0.15324,
              0.18105,
              0.22717,
              0.2994,
              0.41049,
              0.61838
            ],
            [
              0.1395,
              0.18082,
              0.21465,
              0.27077,
              0.35867,
              0.49162,
              0.70272
            ],
            [
              0.16257,
              0.21297,
              0.25407,
              0.32227,
              0.42937,
              0.59117,
              0.83017
            ],
            [
              0.1885,
              0.2497,
              0.2999,
              0.383,
              0.5133,
              0.7099,
              0.9996
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.10461,
              0.13518,
              0.16461,
              0.22245,
              0.33629,
              0.56194,
              1.01137
            ],
            [
              0.10618,
              0.13689,
              0.16646,
              0.22446,
              0.33849,
              0.56425,
              1.01384
            ],
            [
              0.10815,
              0.13896,
              0.16862,
              0.22679,
              0.34096,
              0.56684,
              1.01662
            ],
            [
              0.11141,
              0.14225,
              0.172,
              0.23034,
              0.3447,
              0.57066,
              1.02058
            ],
            [
              0.11668,
              0.14752,
              0.17732,
              0.23571,
              0.35035,
              0.57667,
              1.02661
            ],
            [
              0.12523,
              0.15596,
              0.18571,
              0.24419,
              0.35905,
              0.58562,
              1.03572
            ],
            [
              0.139,
              0.16941,
              0.19905,
              0.25742,
              0.37232,
              0.599,
              1.04933
            ],
            [
              0.16212,
              0.19089,
              0.22013,
              0.2782,
              0.39268,
              0.61963,
              1.07006
            ],
            [
              0.19032,
              0.2243,
              0.25383,
              0.31065,
              0.42453,
              0.65097,
              1.10145
            ],
            [
              0.2221,
              0.26319,
              0.29904,
              0.36159,
              0.47409,
              0.69909,
              1.14909
            ],
            [
              0.25745,
              0.30677,
              0.35006,
              0.42573,
              0.55072,
              0.77352,
              1.22162
            ],
            [
              0.29687,
              0.35527,
              0.40707,
              0.49817,
              0.64917,
              0.88797,
              1.33307
            ],
            [
              0.3414,
              0.4096,
              0.4706,
              0.5791,
              0.7607,
              1.0484,
              1.504
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.05313,
              0.07317,
              0.09229,
              0.12926,
              0.20124,
              0.34396,
              0.62964
            ],
            [
              0.05312,
              0.07319,
              0.0923,
              0.12924,
              0.20126,
              0.34399,
              0.6296
            ],
            [
              0.05312,
              0.07317,
              0.09229,
              0.12926,
              0.20126,
              0.34404,
              0.62973
            ],
            [
              0.05305,
              0.07317,
              0.09229,
              0.12926,
              0.20126,
              0.34398,
              0.62975
            ],
            [
              0.05462,
              0.07333,
              0.09227,
              0.12926,
              0.20132,
              0.34397,
              0.6295
            ],
            [
              0.05951,
              0.07629,
              0.0936,
              0.12924,
              0.20128,
              0.34395,
              0.62968
            ],
            [
              0.06984,
              0.08392,
              0.09941,
              0.13199,
              0.20126,
              0.34401,
              0.62961
            ],
            [
              0.08698,
              0.09932,
              0.11222,
              0.14128,
              0.20471,
              0.34401,
              0.62952
            ],
            [
              0.10774,
              0.12157,
              0.1352,
              0.16077,
              0.21773,
              0.34682,
              0.62965
            ],
            [
              0.13561,
              0.15061,
              0.16543,
              0.19363,
              0.24569,
              0.36243,
              0.63031
            ],
            [
              0.173,
              0.18948,
              0.20586,
              0.23713,
              0.29404,
              0.40017,
              0.64536
            ],
            [
              0.22325,
              0.24162,
              0.25996,
              0.2953,
              0.3594,
              0.4708,
              0.6917
            ],
            [
              0.2907,
              0.3117,
              0.3326,
              0.3729,
              0.4458,
              0.5721,
              0.7882
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.10992,
              0.15068,
              0.19139,
              0.27244,
              0.43389,
              0.75655,
              1.40081
            ],
            [
              0.1098,
              0.15087,
              0.19139,
              0.27242,
              0.4336,
              0.75633,
              1.40087
            ],
            [
              0.10982,
              0.15061,
              0.19131,
              0.27232,
              0.43389,
              0.75562,
              1.40097
            ],
            [
              0.10967,
              0.15078,
              0.19115,
              0.27233,
              0.43389,
              0.75565,
              1.40083
            ],
            [
              0.1094,
              0.15066,
              0.19113,
              0.27226,
              0.43405,
              0.75664,
              1.40067
            ],
            [
              0.10805,
              0.14997,
              0.19108,
              0.27213,
              0.4339,
              0.75639,
              1.39969
            ],
            [
              0.1094,
              0.14908,
              0.19004,
              0.27215,
              0.43411,
              0.75562,
              1.39858
            ],
            [
              0.11879,
              0.1549,
              0.19253,
              0.27124,
              0.43395,
              0.75677,
              1.39875
            ],
            [
              0.14044,
              0.17268,
              0.20686,
              0.27874,
              0.43327,
              0.75617,
              1.40021
            ],
            [
              0.1663,
              0.20631,
              0.23822,
              0.30369,
              0.4454,
              0.75521,
              1.40112
            ],
            [
              0.19867,
              0.24575,
              0.286,
              0.35363,
              0.48152,
              0.76855,
              1.3991
            ],
            [
              0.23951,
              0.2957,
              0.3436,
              0.425,
              0.5567,
              0.8172,
              1.408
            ],
            [
              0.2908,
              0.3574,
              0.4148,
              0.5124,
              0.6695,
              0.9233,
              1.462
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04201,
              0.05557,
              0.06868,
              0.09488,
              0.14681,
              0.25045,
              0.45764
            ],
            [
              0.04452,
              0.05831,
              0.07159,
              0.09778,
              0.14979,
              0.25345,
              0.46047
            ],
            [
              0.04733,
              0.06128,
              0.07461,
              0.10105,
              0.15311,
              0.25679,
              0.46396
            ],
            [
              0.05136,
              0.06541,
              0.07895,
              0.10544,
              0.15771,
              0.2616,
              0.46879
            ],
            [
              0.05733,
              0.07148,
              0.08505,
              0.11175,
              0.16423,
              0.26814,
              0.47564
            ],
            [
              0.06547,
              0.0805,
              0.09415,
              0.12092,
              0.17363,
              0.27789,
              0.48535
            ],
            [
              0.07554,
              0.09268,
              0.10767,
              0.13476,
              0.1876,
              0.29212,
              0.49944
            ],
            [
              0.08816,
              0.10796,
              0.12502,
              0.15518,
              0.20856,
              0.31322,
              0.52101
            ],
            [
              0.10371,
              0.1272,
              0.14704,
              0.18145,
              0.24005,
              0.34506,
              0.55355
            ],
            [
              0.12244,
              0.15102,
              0.17467,
              0.21488,
              0.28162,
              0.39303,
              0.60165
            ],
            [
              0.14473,
              0.18004,
              0.20884,
              0.25691,
              0.33461,
              0.46052,
              0.67372
            ],
            [
              0.17147,
              0.21507,
              0.25057,
              0.30897,
              0.40147,
              0.54687,
              0.78167
            ],
            [
              0.2044,
              0.258,
              0.3015,
              0.3731,
              0.485,
              0.6565,
              0.9243
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.05604,
              0.0747,
              0.09288,
              0.12901,
              0.20082,
              0.34384,
              0.62952
            ],
            [
              0.05789,
              0.07662,
              0.09489,
              0.13106,
              0.20294,
              0.34596,
              0.6318
            ],
            [
              0.06032,
              0.07912,
              0.09743,
              0.13376,
              0.20568,
              0.34874,
              0.63447
            ],
            [
              0.06424,
              0.08309,
              0.10146,
              0.1378,
              0.20983,
              0.35282,
              0.63882
            ],
            [
              0.07056,
              0.08935,
              0.10771,
              0.14409,
              0.21615,
              0.35931,
              0.6452
            ],
            [
              0.08065,
              0.09916,
              0.11745,
              0.15377,
              0.22582,
              0.36899,
              0.65488
            ],
            [
              0.09447,
              0.11461,
              0.13266,
              0.16881,
              0.24076,
              0.38409,
              0.67004
            ],
            [
              0.10945,
              0.13443,
              0.15547,
              0.1919,
              0.26349,
              0.40664,
              0.69248
            ],
            [
              0.12542,
              0.15612,
              0.18205,
              0.22578,
              0.29831,
              0.44081,
              0.7263
            ],
            [
              0.14205,
              0.17935,
              0.21112,
              0.265,
              0.35059,
              0.49293,
              0.77749
            ],
            [
              0.15914,
              0.20355,
              0.24195,
              0.30773,
              0.41314,
              0.57272,
              0.85602
            ],
            [
              0.17647,
              0.22857,
              0.27407,
              0.35317,
              0.48187,
              0.67847,
              0.97467
            ],
            [
              0.1937,
              0.2541,
              0.3072,
              0.4007,
              0.5554,
              0.796,
              1.151
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02952,
              0.04746,
              0.06525,
              0.10122,
              0.17297,
              0.31642,
              0.60335
            ],
            [
              0.02947,
              0.04746,
              0.06533,
              0.10108,
              0.17284,
              0.31593,
              0.60222
            ],
            [
              0.02951,
              0.04746,
              0.06526,
              0.10121,
              0.17288,
              0.31582,
              0.6023
            ],
            [
              0.02953,
              0.04738,
              0.06532,
              0.10113,
              0.17284,
              0.31626,
              0.60258
            ],
            [
              0.03034,
              0.04757,
              0.06529,
              0.10119,
              0.17294,
              0.31623,
              0.60339
            ],
            [
              0.03356,
              0.04943,
              0.06618,
              0.10103,
              0.17291,
              0.31647,
              0.60293
            ],
            [
              0.03942,
              0.05464,
              0.07008,
              0.10304,
              0.1729,
              0.31643,
              0.60254
            ],
            [
              0.04727,
              0.06377,
              0.07915,
              0.10946,
              0.17553,
              0.31605,
              0.60281
            ],
            [
              0.05842,
              0.07637,
              0.09275,
              0.12355,
              0.18461,
              0.31858,
              0.60331
            ],
            [
              0.07465,
              0.09412,
              0.11177,
              0.14447,
              0.20473,
              0.32965,
              0.60442
            ],
            [
              0.09785,
              0.11931,
              0.13857,
              0.1738,
              0.23789,
              0.3563,
              0.61581
            ],
            [
              0.13066,
              0.15479,
              0.17598,
              0.2144,
              0.2834,
              0.4073,
              0.6484
            ],
            [
              0.1757,
              0.2036,
              0.228,
              0.2711,
              0.3465,
              0.4791,
              0.7179
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.05552,
              0.08201,
              0.10831,
              0.16096,
              0.26582,
              0.4761,
              0.89636
            ],
            [
              0.05543,
              0.08197,
              0.10825,
              0.16094,
              0.26593,
              0.47578,
              0.89659
            ],
            [
              0.05543,
              0.082,
              0.10838,
              0.16093,
              0.26598,
              0.47576,
              0.89651
            ],
            [
              0.05518,
              0.08191,
              0.10834,
              0.1609,
              0.26613,
              0.47647,
              0.89504
            ],
            [
              0.05532,
              0.08163,
              0.10804,
              0.16095,
              0.26584,
              0.47709,
              0.89601
            ],
            [
              0.05935,
              0.08317,
              0.10816,
              0.16071,
              0.26592,
              0.4769,
              0.89645
            ],
            [
              0.06938,
              0.0903,
              0.11292,
              0.16151,
              0.26599,
              0.47669,
              0.8948
            ],
            [
              0.08538,
              0.10613,
              0.12612,
              0.16992,
              0.26678,
              0.47578,
              0.89389
            ],
            [
              0.10401,
              0.13036,
              0.15178,
              0.19073,
              0.27878,
              0.47666,
              0.89612
            ],
            [
              0.12725,
              0.1593,
              0.18576,
              0.22946,
              0.30788,
              0.48807,
              0.89683
            ],
            [
              0.15531,
              0.19519,
              0.22748,
              0.2813,
              0.36448,
              0.52578,
              0.9027
            ],
            [
              0.19029,
              0.23857,
              0.27847,
              0.34493,
              0.4473,
              0.6043,
              0.9462
            ],
            [
              0.2345,
              0.2922,
              0.3407,
              0.422,
              0.5491,
              0.7366,
              1.0486
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04206,
              0.05564,
              0.06881,
              0.09492,
              0.14691,
              0.25044,
              0.45768
            ],
            [
              0.04465,
              0.05843,
              0.07172,
              0.09795,
              0.15001,
              0.25372,
              0.46063
            ],
            [
              0.04751,
              0.06146,
              0.07481,
              0.10111,
              0.15336,
              0.25714,
              0.46433
            ],
            [
              0.05157,
              0.06564,
              0.07919,
              0.10565,
              0.15785,
              0.26172,
              0.46913
            ],
            [
              0.05757,
              0.07172,
              0.08534,
              0.11204,
              0.16451,
              0.26844,
              0.47572
            ],
            [
              0.06579,
              0.0808,
              0.09447,
              0.12126,
              0.17398,
              0.27823,
              0.48557
            ],
            [
              0.07586,
              0.09301,
              0.10802,
              0.13512,
              0.18798,
              0.29251,
              0.50013
            ],
            [
              0.08847,
              0.1083,
              0.12539,
              0.15556,
              0.20896,
              0.31366,
              0.52157
            ],
            [
              0.10399,
              0.12752,
              0.14738,
              0.18184,
              0.24044,
              0.34542,
              0.55396
            ],
            [
              0.12264,
              0.15126,
              0.17495,
              0.21522,
              0.28201,
              0.39344,
              0.60208
            ],
            [
              0.14469,
              0.18009,
              0.20896,
              0.25713,
              0.33493,
              0.46092,
              0.67422
            ],
            [
              0.17077,
              0.21467,
              0.25027,
              0.30897,
              0.40167,
              0.54717,
              0.78197
            ],
            [
              0.2024,
              0.2565,
              0.3004,
              0.3724,
              0.4847,
              0.6566,
              0.9245
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.06248,
              0.08404,
              0.10513,
              0.14702,
              0.23013,
              0.39584,
              0.72687
            ],
            [
              0.06415,
              0.08579,
              0.10696,
              0.14894,
              0.23209,
              0.39782,
              0.72889
            ],
            [
              0.06638,
              0.08811,
              0.10933,
              0.15131,
              0.23464,
              0.40045,
              0.73144
            ],
            [
              0.07003,
              0.09181,
              0.11306,
              0.15519,
              0.23858,
              0.40441,
              0.73555
            ],
            [
              0.07599,
              0.09769,
              0.11897,
              0.16114,
              0.24463,
              0.41048,
              0.74171
            ],
            [
              0.08566,
              0.10702,
              0.12817,
              0.17032,
              0.25383,
              0.41979,
              0.75113
            ],
            [
              0.10003,
              0.12185,
              0.14272,
              0.18464,
              0.26803,
              0.43414,
              0.76533
            ],
            [
              0.11594,
              0.14271,
              0.16541,
              0.20674,
              0.2898,
              0.45569,
              0.78684
            ],
            [
              0.13312,
              0.16577,
              0.19351,
              0.24064,
              0.32313,
              0.48839,
              0.81935
            ],
            [
              0.15117,
              0.19068,
              0.22445,
              0.28201,
              0.37431,
              0.53845,
              0.86849
            ],
            [
              0.17007,
              0.217,
              0.25765,
              0.32763,
              0.44025,
              0.61492,
              0.94322
            ],
            [
              0.18977,
              0.24457,
              0.29267,
              0.37647,
              0.51347,
              0.72437,
              1.05747
            ],
            [
              0.2102,
              0.2736,
              0.3295,
              0.4282,
              0.5925,
              0.8491,
              1.2314
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02948,
              0.04746,
              0.06533,
              0.10119,
              0.17299,
              0.31629,
              0.60325
            ],
            [
              0.0295,
              0.04745,
              0.06535,
              0.10117,
              0.17297,
              0.3164,
              0.60238
            ],
            [
              0.02949,
              0.04746,
              0.06529,
              0.10105,
              0.17299,
              0.31631,
              0.60342
            ],
            [
              0.02952,
              0.04739,
              0.0653,
              0.10111,
              0.17272,
              0.31619,
              0.60323
            ],
            [
              0.03027,
              0.04749,
              0.06529,
              0.10115,
              0.17292,
              0.31601,
              0.60246
            ],
            [
              0.03336,
              0.04936,
              0.06616,
              0.10113,
              0.17292,
              0.31646,
              0.60257
            ],
            [
              0.03932,
              0.05457,
              0.06999,
              0.10302,
              0.17289,
              0.31643,
              0.60306
            ],
            [
              0.04712,
              0.06365,
              0.07897,
              0.10933,
              0.17541,
              0.31612,
              0.6032
            ],
            [
              0.05827,
              0.07615,
              0.09256,
              0.12334,
              0.18449,
              0.31839,
              0.60328
            ],
            [
              0.07438,
              0.0939,
              0.11154,
              0.14416,
              0.20439,
              0.32958,
              0.60436
            ],
            [
              0.09748,
              0.11901,
              0.1383,
              0.17356,
              0.23758,
              0.35646,
              0.61571
            ],
            [
              0.13012,
              0.15441,
              0.17574,
              0.2144,
              0.2833,
              0.4072,
              0.6483
            ],
            [
              0.1751,
              0.2033,
              0.2278,
              0.271,
              0.3464,
              0.479,
              0.7177
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.06575,
              0.09662,
              0.12679,
              0.18748,
              0.30812,
              0.54893,
              1.03441
            ],
            [
              0.06557,
              0.09629,
              0.12662,
              0.18753,
              0.30866,
              0.55016,
              1.03282
            ],
            [
              0.06538,
              0.09627,
              0.12687,
              0.18733,
              0.30845,
              0.54931,
              1.03338
            ],
            [
              0.06511,
              0.09619,
              0.12674,
              0.18748,
              0.3085,
              0.55026,
              1.03447
            ],
            [
              0.06457,
              0.09575,
              0.12662,
              0.18733,
              0.30854,
              0.55068,
              1.03361
            ],
            [
              0.06769,
              0.09618,
              0.126,
              0.18729,
              0.3085,
              0.54998,
              1.03347
            ],
            [
              0.07647,
              0.10203,
              0.12919,
              0.18689,
              0.30834,
              0.5501,
              1.03328
            ],
            [
              0.09294,
              0.11626,
              0.14066,
              0.19302,
              0.30819,
              0.55008,
              1.03293
            ],
            [
              0.11115,
              0.14082,
              0.16417,
              0.21154,
              0.31683,
              0.54892,
              1.03315
            ],
            [
              0.13425,
              0.16979,
              0.19916,
              0.24749,
              0.34211,
              0.55632,
              1.03204
            ],
            [
              0.16276,
              0.20566,
              0.24129,
              0.30032,
              0.39452,
              0.58878,
              1.0354
            ],
            [
              0.19776,
              0.24952,
              0.29285,
              0.3649,
              0.4779,
              0.6608,
              1.0689
            ],
            [
              0.2423,
              0.3036,
              0.3556,
              0.4432,
              0.581,
              0.7889,
              1.1587
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04205,
              0.05563,
              0.06881,
              0.09494,
              0.14688,
              0.25046,
              0.45758
            ],
            [
              0.04465,
              0.05838,
              0.0717,
              0.09792,
              0.14995,
              0.25368,
              0.46087
            ],
            [
              0.04747,
              0.06143,
              0.07481,
              0.10118,
              0.15331,
              0.25712,
              0.464
            ],
            [
              0.05153,
              0.0656,
              0.07913,
              0.10557,
              0.15781,
              0.26161,
              0.4691
            ],
            [
              0.05751,
              0.07165,
              0.08529,
              0.11198,
              0.16446,
              0.26846,
              0.47567
            ],
            [
              0.06569,
              0.08072,
              0.09441,
              0.12117,
              0.17389,
              0.27815,
              0.48562
            ],
            [
              0.07576,
              0.09292,
              0.10792,
              0.13502,
              0.18788,
              0.29242,
              0.50002
            ],
            [
              0.08838,
              0.10821,
              0.12528,
              0.15545,
              0.20885,
              0.31348,
              0.52148
            ],
            [
              0.1039,
              0.12742,
              0.14728,
              0.18172,
              0.24033,
              0.34529,
              0.55387
            ],
            [
              0.12257,
              0.15118,
              0.17486,
              0.21512,
              0.2819,
              0.39332,
              0.60196
            ],
            [
              0.14468,
              0.18006,
              0.20892,
              0.25706,
              0.33484,
              0.46082,
              0.67402
            ],
            [
              0.17097,
              0.21477,
              0.25037,
              0.30897,
              0.40157,
              0.54707,
              0.78187
            ],
            [
              0.203,
              0.2569,
              0.3007,
              0.3726,
              0.4848,
              0.6565,
              0.9245
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.06082,
              0.08152,
              0.10173,
              0.1419,
              0.22164,
              0.38057,
              0.69814
            ],
            [
              0.06253,
              0.08332,
              0.10361,
              0.14382,
              0.22363,
              0.38259,
              0.70014
            ],
            [
              0.06481,
              0.08568,
              0.10603,
              0.14628,
              0.22623,
              0.3852,
              0.70288
            ],
            [
              0.06852,
              0.08944,
              0.10984,
              0.15019,
              0.2302,
              0.38923,
              0.70703
            ],
            [
              0.07457,
              0.09542,
              0.11582,
              0.15629,
              0.23633,
              0.39544,
              0.71318
            ],
            [
              0.08433,
              0.10486,
              0.12519,
              0.16558,
              0.24572,
              0.40483,
              0.72287
            ],
            [
              0.09855,
              0.11985,
              0.1399,
              0.18009,
              0.26012,
              0.41934,
              0.73718
            ],
            [
              0.1142,
              0.14043,
              0.16267,
              0.20247,
              0.2821,
              0.4411,
              0.75873
            ],
            [
              0.13098,
              0.16307,
              0.19029,
              0.23643,
              0.31588,
              0.47431,
              0.79175
            ],
            [
              0.14859,
              0.18747,
              0.22068,
              0.27712,
              0.36746,
              0.52491,
              0.84139
            ],
            [
              0.16695,
              0.21314,
              0.25314,
              0.3219,
              0.43252,
              0.60232,
              0.91702
            ],
            [
              0.18597,
              0.23997,
              0.28727,
              0.36967,
              0.50417,
              0.71087,
              1.03277
            ],
            [
              0.2054,
              0.2679,
              0.323,
              0.4202,
              0.5817,
              0.8336,
              1.2075
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02948,
              0.04745,
              0.06535,
              0.1012,
              0.17295,
              0.31604,
              0.60316
            ],
            [
              0.02951,
              0.04739,
              0.06534,
              0.10117,
              0.17294,
              0.31647,
              0.6032
            ],
            [
              0.02948,
              0.04745,
              0.06535,
              0.10123,
              0.17298,
              0.31644,
              0.60246
            ],
            [
              0.02953,
              0.04738,
              0.06531,
              0.10105,
              0.17267,
              0.31589,
              0.60339
            ],
            [
              0.03027,
              0.04749,
              0.06531,
              0.10118,
              0.17295,
              0.3163,
              0.6025
            ],
            [
              0.0334,
              0.04937,
              0.06617,
              0.10113,
              0.1729,
              0.31645,
              0.60299
            ],
            [
              0.03935,
              0.05459,
              0.07002,
              0.10302,
              0.1729,
              0.31644,
              0.60303
            ],
            [
              0.04716,
              0.06374,
              0.07902,
              0.10929,
              0.17541,
              0.31595,
              0.60321
            ],
            [
              0.05829,
              0.07621,
              0.09263,
              0.1234,
              0.18453,
              0.31849,
              0.60341
            ],
            [
              0.07446,
              0.09398,
              0.1116,
              0.14425,
              0.20444,
              0.32959,
              0.60439
            ],
            [
              0.09759,
              0.11911,
              0.13839,
              0.17364,
              0.23773,
              0.35652,
              0.61575
            ],
            [
              0.13028,
              0.1545,
              0.17585,
              0.2145,
              0.2832,
              0.4072,
              0.6484
            ],
            [
              0.1753,
              0.2034,
              0.2279,
              0.2711,
              0.3465,
              0.479,
              0.7177
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.06258,
              0.09203,
              0.12113,
              0.17942,
              0.29587,
              0.5271,
              0.99193
            ],
            [
              0.06257,
              0.09204,
              0.12125,
              0.17929,
              0.29537,
              0.52738,
              0.99276
            ],
            [
              0.06235,
              0.09201,
              0.1211,
              0.17915,
              0.29563,
              0.52866,
              0.9931
            ],
            [
              0.0621,
              0.09185,
              0.12122,
              0.17917,
              0.29569,
              0.52772,
              0.99159
            ],
            [
              0.06189,
              0.09159,
              0.12083,
              0.17936,
              0.29565,
              0.5283,
              0.98981
            ],
            [
              0.06508,
              0.09225,
              0.12066,
              0.17914,
              0.29553,
              0.52842,
              0.99068
            ],
            [
              0.07425,
              0.0985,
              0.1243,
              0.17944,
              0.29552,
              0.5281,
              0.99322
            ],
            [
              0.09054,
              0.11319,
              0.13597,
              0.18621,
              0.29577,
              0.52754,
              0.99372
            ],
            [
              0.10904,
              0.13766,
              0.16043,
              0.20493,
              0.30467,
              0.52691,
              0.99174
            ],
            [
              0.13214,
              0.16663,
              0.19502,
              0.24206,
              0.33132,
              0.53689,
              0.99182
            ],
            [
              0.16055,
              0.20246,
              0.23723,
              0.29473,
              0.38508,
              0.56931,
              0.9945
            ],
            [
              0.19553,
              0.24611,
              0.28855,
              0.3589,
              0.4686,
              0.6431,
              1.0316
            ],
            [
              0.2399,
              0.3002,
              0.3511,
              0.437,
              0.5715,
              0.7734,
              1.1248
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04213,
              0.05572,
              0.06887,
              0.09498,
              0.14696,
              0.25041,
              0.45781
            ],
            [
              0.04484,
              0.0586,
              0.07186,
              0.09811,
              0.15009,
              0.25389,
              0.46079
            ],
            [
              0.04777,
              0.06171,
              0.07511,
              0.10147,
              0.15353,
              0.25743,
              0.46441
            ],
            [
              0.05194,
              0.06607,
              0.07955,
              0.10604,
              0.15824,
              0.2621,
              0.46947
            ],
            [
              0.05802,
              0.07223,
              0.08587,
              0.11255,
              0.16487,
              0.26911,
              0.47624
            ],
            [
              0.06638,
              0.08141,
              0.09511,
              0.1219,
              0.17454,
              0.27867,
              0.48632
            ],
            [
              0.07655,
              0.09374,
              0.10875,
              0.13585,
              0.18872,
              0.29314,
              0.50082
            ],
            [
              0.08924,
              0.10912,
              0.12623,
              0.15636,
              0.20975,
              0.31446,
              0.52244
            ],
            [
              0.10475,
              0.12834,
              0.14824,
              0.18273,
              0.2413,
              0.34629,
              0.55481
            ],
            [
              0.12326,
              0.15196,
              0.17572,
              0.21608,
              0.28292,
              0.39431,
              0.60296
            ],
            [
              0.14486,
              0.1804,
              0.2094,
              0.25776,
              0.33574,
              0.46182,
              0.67502
            ],
            [
              0.16967,
              0.21407,
              0.24987,
              0.30897,
              0.40207,
              0.54787,
              0.78287
            ],
            [
              0.1985,
              0.2536,
              0.2981,
              0.3709,
              0.4842,
              0.6568,
              0.9252
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.07838,
              0.10751,
              0.13611,
              0.19297,
              0.30589,
              0.53103,
              0.981
            ],
            [
              0.0796,
              0.10892,
              0.1376,
              0.19459,
              0.30761,
              0.53288,
              0.9828
            ],
            [
              0.08141,
              0.11082,
              0.13961,
              0.19673,
              0.30992,
              0.53516,
              0.98522
            ],
            [
              0.08446,
              0.11396,
              0.14284,
              0.20006,
              0.31333,
              0.53882,
              0.98898
            ],
            [
              0.08969,
              0.1191,
              0.148,
              0.20532,
              0.31878,
              0.54419,
              0.99451
            ],
            [
              0.0984,
              0.12735,
              0.15617,
              0.21346,
              0.32697,
              0.55271,
              1.00292
            ],
            [
              0.11293,
              0.14075,
              0.16919,
              0.22628,
              0.33976,
              0.56549,
              1.01593
            ],
            [
              0.1312,
              0.16242,
              0.18989,
              0.24632,
              0.3594,
              0.58489,
              1.03536
            ],
            [
              0.15124,
              0.18872,
              0.221,
              0.27758,
              0.38972,
              0.61462,
              1.06445
            ],
            [
              0.17288,
              0.21776,
              0.25656,
              0.32349,
              0.43667,
              0.66019,
              1.10919
            ],
            [
              0.19611,
              0.24921,
              0.29548,
              0.37581,
              0.50732,
              0.73032,
              1.17742
            ],
            [
              0.22147,
              0.28317,
              0.33757,
              0.43307,
              0.59077,
              0.83867,
              1.28187
            ],
            [
              0.2495,
              0.3204,
              0.3834,
              0.4952,
              0.6827,
              0.9797,
              1.4426
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.02948,
              0.04745,
              0.06527,
              0.10112,
              0.17292,
              0.31603,
              0.60328
            ],
            [
              0.0295,
              0.04746,
              0.06525,
              0.10117,
              0.17284,
              0.31642,
              0.60281
            ],
            [
              0.0295,
              0.04743,
              0.06532,
              0.10121,
              0.17286,
              0.31647,
              0.60297
            ],
            [
              0.02951,
              0.04745,
              0.06527,
              0.10111,
              0.1727,
              0.31615,
              0.60312
            ],
            [
              0.0302,
              0.0475,
              0.06531,
              0.10117,
              0.17265,
              0.31648,
              0.60249
            ],
            [
              0.03328,
              0.04926,
              0.06607,
              0.10114,
              0.17276,
              0.31613,
              0.6031
            ],
            [
              0.039,
              0.05429,
              0.06977,
              0.1029,
              0.17289,
              0.31621,
              0.6033
            ],
            [
              0.04678,
              0.06332,
              0.0786,
              0.10905,
              0.17537,
              0.31608,
              0.60321
            ],
            [
              0.05784,
              0.07566,
              0.09211,
              0.12285,
              0.18422,
              0.31826,
              0.60333
            ],
            [
              0.07376,
              0.0933,
              0.11094,
              0.14374,
              0.20388,
              0.32941,
              0.60432
            ],
            [
              0.09651,
              0.11821,
              0.13761,
              0.17291,
              0.23702,
              0.35604,
              0.61555
            ],
            [
              0.12879,
              0.15336,
              0.17503,
              0.2139,
              0.2827,
              0.4067,
              0.6471
            ],
            [
              0.1738,
              0.2023,
              0.2271,
              0.2707,
              0.3462,
              0.4787,
              0.7173
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09341,
              0.135,
              0.17628,
              0.25804,
              0.4205,
              0.74435,
              1.39133
            ],
            [
              0.09315,
              0.1349,
              0.176,
              0.25784,
              0.42041,
              0.74414,
              1.38978
            ],
            [
              0.0929,
              0.13474,
              0.17591,
              0.25782,
              0.42049,
              0.74422,
              1.39098
            ],
            [
              0.09236,
              0.13464,
              0.17605,
              0.2576,
              0.4202,
              0.74397,
              1.39131
            ],
            [
              0.09128,
              0.13411,
              0.17568,
              0.25787,
              0.42053,
              0.74366,
              1.39069
            ],
            [
              0.09185,
              0.13284,
              0.17493,
              0.25725,
              0.42036,
              0.74324,
              1.39108
            ],
            [
              0.09792,
              0.13566,
              0.17486,
              0.25629,
              0.41987,
              0.74357,
              1.39231
            ],
            [
              0.11197,
              0.14615,
              0.18197,
              0.25795,
              0.41985,
              0.74329,
              1.39226
            ],
            [
              0.13154,
              0.16808,
              0.20092,
              0.27034,
              0.42083,
              0.74328,
              1.38969
            ],
            [
              0.15389,
              0.19812,
              0.23567,
              0.29984,
              0.43736,
              0.74444,
              1.39018
            ],
            [
              0.18234,
              0.23391,
              0.27744,
              0.35195,
              0.48033,
              0.76251,
              1.3917
            ],
            [
              0.21776,
              0.27818,
              0.32968,
              0.4171,
              0.5579,
              0.8179,
              1.4018
            ],
            [
              0.2625,
              0.3332,
              0.3937,
              0.4972,
              0.664,
              0.9278,
              1.4661
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04293,
              0.05652,
              0.06972,
              0.09588,
              0.14792,
              0.25173,
              0.45912
            ],
            [
              0.04551,
              0.05932,
              0.07262,
              0.09889,
              0.15101,
              0.25487,
              0.46231
            ],
            [
              0.04836,
              0.06233,
              0.07575,
              0.10214,
              0.15435,
              0.25828,
              0.46579
            ],
            [
              0.05244,
              0.06655,
              0.08009,
              0.10663,
              0.15898,
              0.26304,
              0.47054
            ],
            [
              0.05844,
              0.07263,
              0.08628,
              0.113,
              0.16552,
              0.26969,
              0.47735
            ],
            [
              0.06675,
              0.08171,
              0.09542,
              0.12229,
              0.17502,
              0.27936,
              0.48715
            ],
            [
              0.07699,
              0.09406,
              0.10904,
              0.13615,
              0.18908,
              0.29364,
              0.50157
            ],
            [
              0.0899,
              0.10957,
              0.12655,
              0.15666,
              0.21016,
              0.31499,
              0.52315
            ],
            [
              0.10579,
              0.12905,
              0.14881,
              0.18316,
              0.24171,
              0.34696,
              0.5554
            ],
            [
              0.12506,
              0.15325,
              0.17674,
              0.21683,
              0.28353,
              0.39504,
              0.60373
            ],
            [
              0.14801,
              0.18277,
              0.21133,
              0.25919,
              0.33678,
              0.46282,
              0.67632
            ],
            [
              0.17557,
              0.21847,
              0.25357,
              0.31177,
              0.40407,
              0.54947,
              0.78427
            ],
            [
              0.2094,
              0.262,
              0.305,
              0.3763,
              0.488,
              0.6594,
              0.9274
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.07712,
              0.0982,
              0.1188,
              0.15969,
              0.24078,
              0.40216,
              0.72447
            ],
            [
              0.07892,
              0.10007,
              0.12069,
              0.16162,
              0.2428,
              0.40417,
              0.7264
            ],
            [
              0.08129,
              0.10246,
              0.12317,
              0.16415,
              0.2454,
              0.40684,
              0.72915
            ],
            [
              0.08503,
              0.10626,
              0.12699,
              0.16804,
              0.24932,
              0.41081,
              0.73328
            ],
            [
              0.09101,
              0.11223,
              0.13299,
              0.17409,
              0.25542,
              0.41702,
              0.73959
            ],
            [
              0.10045,
              0.12157,
              0.14229,
              0.18339,
              0.26472,
              0.42642,
              0.74906
            ],
            [
              0.11548,
              0.13625,
              0.15685,
              0.19783,
              0.27917,
              0.44081,
              0.76339
            ],
            [
              0.13532,
              0.15885,
              0.17937,
              0.22005,
              0.30109,
              0.46259,
              0.78488
            ],
            [
              0.15701,
              0.18577,
              0.21082,
              0.25424,
              0.33466,
              0.49566,
              0.81785
            ],
            [
              0.18027,
              0.21531,
              0.24585,
              0.29906,
              0.38609,
              0.54612,
              0.86739
            ],
            [
              0.20472,
              0.24671,
              0.28385,
              0.34873,
              0.45502,
              0.62322,
              0.94272
            ],
            [
              0.23017,
              0.27977,
              0.32397,
              0.40217,
              0.53197,
              0.73447,
              1.05817
            ],
            [
              0.2567,
              0.3144,
              0.3662,
              0.4589,
              0.6152,
              0.8623,
              1.2333
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04334,
              0.06118,
              0.07898,
              0.11454,
              0.18588,
              0.32869,
              0.61596
            ],
            [
              0.04335,
              0.06122,
              0.07894,
              0.11463,
              0.18602,
              0.32912,
              0.61596
            ],
            [
              0.04333,
              0.0612,
              0.07897,
              0.11457,
              0.18588,
              0.32911,
              0.61455
            ],
            [
              0.04335,
              0.0612,
              0.07894,
              0.11457,
              0.18591,
              0.32892,
              0.61593
            ],
            [
              0.04411,
              0.06132,
              0.07895,
              0.11457,
              0.18612,
              0.32893,
              0.61563
            ],
            [
              0.04712,
              0.06316,
              0.07984,
              0.11459,
              0.18592,
              0.3288,
              0.6154
            ],
            [
              0.05378,
              0.06811,
              0.08368,
              0.11658,
              0.18612,
              0.32889,
              0.61589
            ],
            [
              0.06352,
              0.07833,
              0.09246,
              0.12279,
              0.189,
              0.32908,
              0.61579
            ],
            [
              0.07701,
              0.0926,
              0.10766,
              0.13674,
              0.19775,
              0.33174,
              0.61583
            ],
            [
              0.09625,
              0.11278,
              0.12865,
              0.15929,
              0.21749,
              0.34282,
              0.61734
            ],
            [
              0.12385,
              0.14125,
              0.15808,
              0.19059,
              0.25204,
              0.36946,
              0.62861
            ],
            [
              0.16266,
              0.18121,
              0.19946,
              0.2343,
              0.2994,
              0.4205,
              0.661
            ],
            [
              0.2157,
              0.2364,
              0.2564,
              0.2947,
              0.3653,
              0.494,
              0.7297
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.07687,
              0.10692,
              0.13658,
              0.19595,
              0.31377,
              0.5502,
              1.01976
            ],
            [
              0.0768,
              0.10691,
              0.13645,
              0.19594,
              0.31373,
              0.55024,
              1.0213
            ],
            [
              0.07678,
              0.10679,
              0.13659,
              0.19589,
              0.31388,
              0.54993,
              1.02275
            ],
            [
              0.07665,
              0.10669,
              0.13649,
              0.19589,
              0.31393,
              0.55017,
              1.02187
            ],
            [
              0.07635,
              0.10661,
              0.13636,
              0.19587,
              0.31417,
              0.55049,
              1.02081
            ],
            [
              0.07714,
              0.10622,
              0.13623,
              0.19561,
              0.31394,
              0.54994,
              1.02235
            ],
            [
              0.08344,
              0.11007,
              0.13756,
              0.19559,
              0.31354,
              0.55019,
              1.02175
            ],
            [
              0.09829,
              0.12199,
              0.14685,
              0.19992,
              0.31373,
              0.55009,
              1.0218
            ],
            [
              0.11944,
              0.1463,
              0.16868,
              0.21634,
              0.32045,
              0.5498,
              1.01936
            ],
            [
              0.14492,
              0.17719,
              0.20473,
              0.25066,
              0.34448,
              0.55607,
              1.01993
            ],
            [
              0.17644,
              0.21582,
              0.24893,
              0.30494,
              0.39575,
              0.58716,
              1.024
            ],
            [
              0.2147,
              0.26263,
              0.30313,
              0.3716,
              0.48,
              0.658,
              1.0581
            ],
            [
              0.2626,
              0.32,
              0.3691,
              0.4526,
              0.5854,
              0.7865,
              1.1471
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.043,
              0.0566,
              0.0698,
              0.09596,
              0.148,
              0.2518,
              0.45919
            ],
            [
              0.04569,
              0.05948,
              0.07279,
              0.09905,
              0.15117,
              0.25504,
              0.46249
            ],
            [
              0.0486,
              0.0626,
              0.076,
              0.10238,
              0.1546,
              0.25856,
              0.46604
            ],
            [
              0.0528,
              0.06695,
              0.08046,
              0.10701,
              0.15935,
              0.26338,
              0.4709
            ],
            [
              0.05889,
              0.07314,
              0.08678,
              0.11349,
              0.16601,
              0.27019,
              0.47783
            ],
            [
              0.06736,
              0.08231,
              0.09605,
              0.12292,
              0.17564,
              0.27998,
              0.48773
            ],
            [
              0.07768,
              0.09479,
              0.10976,
              0.13688,
              0.18983,
              0.29436,
              0.50228
            ],
            [
              0.09063,
              0.11036,
              0.12738,
              0.1575,
              0.21099,
              0.31579,
              0.52395
            ],
            [
              0.10652,
              0.12987,
              0.14966,
              0.18403,
              0.24259,
              0.34781,
              0.55625
            ],
            [
              0.12561,
              0.15392,
              0.17751,
              0.21767,
              0.28443,
              0.39588,
              0.60463
            ],
            [
              0.1481,
              0.18303,
              0.21173,
              0.2598,
              0.33758,
              0.46362,
              0.67722
            ],
            [
              0.17427,
              0.21767,
              0.25307,
              0.31167,
              0.40447,
              0.55017,
              0.78507
            ],
            [
              0.2052,
              0.2589,
              0.3027,
              0.3748,
              0.4874,
              0.6596,
              0.928
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.09942,
              0.12828,
              0.15661,
              0.21287,
              0.3245,
              0.54685,
              0.99106
            ],
            [
              0.10084,
              0.1298,
              0.1582,
              0.21456,
              0.32625,
              0.5488,
              0.99294
            ],
            [
              0.10276,
              0.13183,
              0.16029,
              0.21669,
              0.32861,
              0.55106,
              0.99532
            ],
            [
              0.10593,
              0.13506,
              0.16359,
              0.22012,
              0.33202,
              0.55475,
              0.99877
            ],
            [
              0.1111,
              0.14025,
              0.16882,
              0.22544,
              0.33744,
              0.56032,
              1.00461
            ],
            [
              0.11948,
              0.14849,
              0.17703,
              0.23366,
              0.34579,
              0.56874,
              1.01332
            ],
            [
              0.13301,
              0.16161,
              0.18999,
              0.24651,
              0.35864,
              0.58157,
              1.02613
            ],
            [
              0.15446,
              0.18249,
              0.21034,
              0.26647,
              0.37832,
              0.60107,
              1.04566
            ],
            [
              0.17944,
              0.21289,
              0.24254,
              0.29753,
              0.40862,
              0.63086,
              1.07495
            ],
            [
              0.20681,
              0.24702,
              0.28252,
              0.34513,
              0.45555,
              0.67659,
              1.11979
            ],
            [
              0.23632,
              0.28426,
              0.32677,
              0.40189,
              0.52732,
              0.74682,
              1.18822
            ],
            [
              0.26817,
              0.32437,
              0.37477,
              0.46447,
              0.61497,
              0.85507,
              1.29297
            ],
            [
              0.303,
              0.368,
              0.4267,
              0.5322,
              0.7118,
              0.9997,
              1.454
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04316,
              0.06103,
              0.07883,
              0.11446,
              0.18587,
              0.32862,
              0.61527
            ],
            [
              0.04319,
              0.06103,
              0.07878,
              0.11445,
              0.18596,
              0.32865,
              0.61497
            ],
            [
              0.04317,
              0.06103,
              0.07881,
              0.11435,
              0.18576,
              0.32864,
              0.61542
            ],
            [
              0.04321,
              0.06104,
              0.07877,
              0.11438,
              0.18577,
              0.32868,
              0.61479
            ],
            [
              0.04386,
              0.06113,
              0.07882,
              0.11438,
              0.18572,
              0.32867,
              0.61497
            ],
            [
              0.04678,
              0.06284,
              0.07962,
              0.11447,
              0.1859,
              0.32863,
              0.61511
            ],
            [
              0.0533,
              0.06765,
              0.08325,
              0.11629,
              0.18595,
              0.32882,
              0.61528
            ],
            [
              0.06289,
              0.07772,
              0.0919,
              0.12239,
              0.18862,
              0.32882,
              0.61489
            ],
            [
              0.07628,
              0.09192,
              0.10692,
              0.13607,
              0.1974,
              0.33154,
              0.61536
            ],
            [
              0.09533,
              0.11192,
              0.12782,
              0.1586,
              0.21689,
              0.3424,
              0.61652
            ],
            [
              0.12252,
              0.14017,
              0.15723,
              0.18977,
              0.25121,
              0.36887,
              0.62888
            ],
            [
              0.16098,
              0.18006,
              0.19841,
              0.2334,
              0.2986,
              0.4198,
              0.6603
            ],
            [
              0.2139,
              0.2352,
              0.2556,
              0.2942,
              0.3648,
              0.4939,
              0.7293
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.11068,
              0.15197,
              0.19248,
              0.27348,
              0.43423,
              0.75421,
              1.3948
            ],
            [
              0.11063,
              0.15203,
              0.19267,
              0.27346,
              0.43388,
              0.75446,
              1.39289
            ],
            [
              0.11051,
              0.15186,
              0.19256,
              0.27339,
              0.43425,
              0.75447,
              1.39373
            ],
            [
              0.11019,
              0.15172,
              0.19233,
              0.27319,
              0.43399,
              0.75462,
              1.39377
            ],
            [
              0.10961,
              0.15145,
              0.19237,
              0.27309,
              0.43384,
              0.75465,
              1.39473
            ],
            [
              0.10846,
              0.15061,
              0.19174,
              0.27297,
              0.43422,
              0.75329,
              1.39479
            ],
            [
              0.11158,
              0.15065,
              0.19071,
              0.27276,
              0.43338,
              0.75355,
              1.39471
            ],
            [
              0.12254,
              0.15851,
              0.19521,
              0.27261,
              0.43364,
              0.75358,
              1.39468
            ],
            [
              0.14475,
              0.17785,
              0.21132,
              0.28213,
              0.43406,
              0.75341,
              1.39227
            ],
            [
              0.1689,
              0.21017,
              0.24428,
              0.30894,
              0.44866,
              0.75406,
              1.39262
            ],
            [
              0.20038,
              0.24835,
              0.28952,
              0.36035,
              0.48869,
              0.77061,
              1.3941
            ],
            [
              0.23947,
              0.29609,
              0.3445,
              0.4282,
              0.5648,
              0.8232,
              1.4037
            ],
            [
              0.2877,
              0.3545,
              0.4121,
              0.5114,
              0.6731,
              0.9317,
              1.4663
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.04299,
              0.05659,
              0.06978,
              0.09595,
              0.14799,
              0.25178,
              0.45918
            ],
            [
              0.04565,
              0.05947,
              0.07276,
              0.09903,
              0.15115,
              0.25501,
              0.46244
            ],
            [
              0.04859,
              0.06256,
              0.07597,
              0.10236,
              0.15458,
              0.25854,
              0.466
            ],
            [
              0.05274,
              0.06689,
              0.08042,
              0.10697,
              0.15932,
              0.26334,
              0.47086
            ],
            [
              0.05883,
              0.07308,
              0.08672,
              0.11343,
              0.16595,
              0.27013,
              0.47776
            ],
            [
              0.06727,
              0.08223,
              0.09596,
              0.12283,
              0.17555,
              0.27989,
              0.48766
            ],
            [
              0.07757,
              0.09469,
              0.10967,
              0.13678,
              0.18972,
              0.29426,
              0.5022
            ],
            [
              0.0905,
              0.11023,
              0.12725,
              0.15735,
              0.21086,
              0.31569,
              0.52382
            ],
            [
              0.10639,
              0.12972,
              0.14952,
              0.18389,
              0.24243,
              0.34769,
              0.55612
            ],
            [
              0.12552,
              0.1538,
              0.17737,
              0.21753,
              0.28428,
              0.39578,
              0.60449
            ],
            [
              0.14803,
              0.18295,
              0.21164,
              0.25968,
              0.33745,
              0.46352,
              0.67712
            ],
            [
              0.17437,
              0.21777,
              0.25307,
              0.31167,
              0.40437,
              0.54997,
              0.78497
            ],
            [
              0.2058,
              0.2593,
              0.3029,
              0.3749,
              0.4875,
              0.6596,
              0.9279
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.1149,
              0.14311,
              0.1706,
              0.22492,
              0.33217,
              0.54498,
              0.96875
            ],
            [
              0.11641,
              0.1447,
              0.17228,
              0.22667,
              0.33395,
              0.54671,
              0.97063
            ],
            [
              0.11845,
              0.14684,
              0.17446,
              0.22894,
              0.33632,
              0.54927,
              0.97317
            ],
            [
              0.12183,
              0.15025,
              0.17788,
              0.23242,
              0.33992,
              0.5528,
              0.97688
            ],
            [
              0.12716,
              0.1556,
              0.18328,
              0.23785,
              0.34545,
              0.5584,
              0.98261
            ],
            [
              0.13564,
              0.16402,
              0.19169,
              0.24627,
              0.35391,
              0.5672,
              0.99132
            ],
            [
              0.14899,
              0.17726,
              0.20487,
              0.2594,
              0.367,
              0.58019,
              1.00443
            ],
            [
              0.17057,
              0.19791,
              0.22523,
              0.27964,
              0.38704,
              0.60012,
              1.02416
            ],
            [
              0.19981,
              0.23031,
              0.25738,
              0.31093,
              0.41778,
              0.63039,
              1.05435
            ],
            [
              0.23206,
              0.26867,
              0.30138,
              0.35955,
              0.46521,
              0.67669,
              1.09989
            ],
            [
              0.26702,
              0.31079,
              0.35011,
              0.42002,
              0.53812,
              0.74802,
              1.16922
            ],
            [
              0.30457,
              0.35627,
              0.40307,
              0.48687,
              0.62897,
              0.85747,
              1.27587
            ],
            [
              0.3452,
              0.4054,
              0.4602,
              0.5595,
              0.7294,
              1.0043,
              1.4391
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.05311,
              0.07316,
              0.09228,
              0.12926,
              0.20131,
              0.34397,
              0.62972
            ],
            [
              0.05311,
              0.07317,
              0.09227,
              0.12926,
              0.20122,
              0.344,
              0.62947
            ],
            [
              0.0531,
              0.07317,
              0.09229,
              0.12926,
              0.20127,
              0.34401,
              0.62942
            ],
            [
              0.05313,
              0.07317,
              0.09228,
              0.12925,
              0.20128,
              0.344,
              0.62935
            ],
            [
              0.05382,
              0.07326,
              0.09228,
              0.12926,
              0.20125,
              0.34396,
              0.62949
            ],
            [
              0.05676,
              0.075,
              0.0931,
              0.12929,
              0.20129,
              0.34396,
              0.62919
            ],
            [
              0.06365,
              0.07988,
              0.09681,
              0.13119,
              0.20133,
              0.34403,
              0.62948
            ],
            [
              0.0768,
              0.09082,
              0.10543,
              0.13729,
              0.20409,
              0.3439,
              0.62959
            ],
            [
              0.09341,
              0.10789,
              0.12236,
              0.15088,
              0.21273,
              0.34663,
              0.62978
            ],
            [
              0.11612,
              0.13087,
              0.14575,
              0.17516,
              0.23225,
              0.35773,
              0.63089
            ],
            [
              0.14769,
              0.16269,
              0.17804,
              0.20863,
              0.26779,
              0.38392,
              0.64252
            ],
            [
              0.19181,
              0.20698,
              0.22296,
              0.2552,
              0.3174,
              0.4354,
              0.6745
            ],
            [
              0.2524,
              0.2682,
              0.2853,
              0.3196,
              0.3861,
              0.5108,
              0.7443
            ]
          ]
        },
        "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.00184,
            0.00367,
            0.00734,
            0.01468,
            0.02936,
            0.05872
          ],
          "values": [
            [
              0.12241,
              0.16165,
              0.20021,
              0.27753,
              0.43081,
              0.73805,
              1.34867
            ],
            [
              0.12231,
              0.1615,
              0.20046,
              0.27754,
              0.43108,
              0.73728,
              1.34863
            ],
            [
              0.12222,
              0.16167,
              0.20043,
              0.27764,
              0.43118,
              0.7381,
              1.34971
            ],
            [
              0.1222,
              0.16163,
              0.20031,
              0.27768,
              0.43071,
              0.73741,
              1.34984
            ],
            [
              0.12176,
              0.16143,
              0.20033,
              0.27756,
              0.43091,
              0.73734,
              1.3498
            ],
            [
              0.12085,
              0.16092,
              0.20001,
              0.27731,
              0.43142,
              0.73777,
              1.34876
            ],
            [
              0.12143,
              0.15994,
              0.19894,
              0.27724,
              0.43133,
              0.73733,
              1.34874
            ],
            [
              0.12987,
              0.16521,
              0.20158,
              0.27641,
              0.43061,
              0.73783,
              1.34786
            ],
            [
              0.14965,
              0.18205,
              0.21539,
              0.28457,
              0.43128,
              0.73768,
              1.34956
            ],
            [
              0.17706,
              0.21497,
              0.24619,
              0.30964,
              0.44456,
              0.73664,
              1.3498
            ],
            [
              0.21053,
              0.25484,
              0.29326,
              0.35945,
              0.48312,
              0.75383,
              1.3481
            ],
            [
              0.25211,
              0.3049,
              0.3505,
              0.4293,
              0.5586,
              0.8056,
              1.3611
            ],
            [
              0.3035,
              0.3663,
              0.4206,
              0.5145,
              0.6689,
              0.9158,
              1.4245
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}