{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_hs__a32oi",
  "cell_leakage_power": 182.40577,
  "leakage_power": [
    {
      "value": 0.20642,
      "when": "!A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 2.17947,
      "when": "!A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 1.47478,
      "when": "!A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 625.49587,
      "when": "!A1&!A2&!A3&B1&B2"
    },
    {
      "value": 0.2964,
      "when": "!A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 2.26939,
      "when": "!A1&!A2&A3&!B1&B2"
    },
    {
      "value": 1.56478,
      "when": "!A1&!A2&A3&B1&!B2"
    },
    {
      "value": 623.59188,
      "when": "!A1&!A2&A3&B1&B2"
    },
    {
      "value": 0.26589,
      "when": "!A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 2.23883,
      "when": "!A1&A2&!A3&!B1&B2"
    },
    {
      "value": 1.53426,
      "when": "!A1&A2&!A3&B1&!B2"
    },
    {
      "value": 624.39187,
      "when": "!A1&A2&!A3&B1&B2"
    },
    {
      "value": 2.37531,
      "when": "!A1&A2&A3&!B1&!B2"
    },
    {
      "value": 4.34827,
      "when": "!A1&A2&A3&!B1&B2"
    },
    {
      "value": 3.64363,
      "when": "!A1&A2&A3&B1&!B2"
    },
    {
      "value": 619.09589,
      "when": "!A1&A2&A3&B1&B2"
    },
    {
      "value": 0.26456,
      "when": "A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 2.23755,
      "when": "A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 1.53293,
      "when": "A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 623.49587,
      "when": "A1&!A2&!A3&B1&B2"
    },
    {
      "value": 1.87419,
      "when": "A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 3.84715,
      "when": "A1&!A2&A3&!B1&B2"
    },
    {
      "value": 3.14251,
      "when": "A1&!A2&A3&B1&!B2"
    },
    {
      "value": 618.50389,
      "when": "A1&!A2&A3&B1&B2"
    },
    {
      "value": 1.44126,
      "when": "A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 3.41419,
      "when": "A1&A2&!A3&!B1&B2"
    },
    {
      "value": 2.70971,
      "when": "A1&A2&!A3&B1&!B2"
    },
    {
      "value": 619.33588,
      "when": "A1&A2&!A3&B1&B2"
    },
    {
      "value": 481.4954,
      "when": "A1&A2&A3&!B1&!B2"
    },
    {
      "value": 438.02382,
      "when": "A1&A2&A3&!B1&B2"
    },
    {
      "value": 460.00795,
      "when": "A1&A2&A3&B1&!B2"
    },
    {
      "value": 60.68487,
      "when": "A1&A2&A3&B1&B2"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00314,
    "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.00706,
          0.00713,
          0.0071,
          0.00706,
          0.00708,
          0.00706,
          0.00703,
          0.00705,
          0.00705,
          0.00793,
          0.00797,
          0.00896,
          0.00924
        ]
      },
      "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.0039,
          0.00401,
          0.00397,
          0.00405,
          0.00411,
          0.00413,
          0.00416,
          0.00413,
          0.00409,
          0.00449,
          0.0043,
          0.00449,
          0.00422
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.0032,
    "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.00716,
          0.00709,
          0.00707,
          0.00707,
          0.00704,
          0.00704,
          0.00703,
          0.00702,
          0.00703,
          0.0079,
          0.00809,
          0.00893,
          0.00921
        ]
      },
      "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.00397,
          0.00397,
          0.00398,
          0.0041,
          0.00415,
          0.00419,
          0.0042,
          0.00417,
          0.00413,
          0.00454,
          0.00435,
          0.00454,
          0.00425
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00281,
    "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.0071,
          0.00717,
          0.00708,
          0.00706,
          0.00706,
          0.00705,
          0.00702,
          0.00704,
          0.00702,
          0.00791,
          0.00795,
          0.00895,
          0.00926
        ]
      },
      "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.00404,
          0.00411,
          0.00408,
          0.00419,
          0.00422,
          0.00425,
          0.00426,
          0.00423,
          0.00418,
          0.00458,
          0.0044,
          0.00459,
          0.00434
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.0032,
    "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.00431,
          0.00428,
          0.00433,
          0.00436,
          0.00438,
          0.00441,
          0.00443,
          0.0044,
          0.00436,
          0.00481,
          0.00467,
          0.0051,
          0.00519
        ]
      },
      "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.00712,
          0.00735,
          0.00727,
          0.00729,
          0.00729,
          0.0073,
          0.00727,
          0.00726,
          0.00726,
          0.00816,
          0.00817,
          0.00913,
          0.00938
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00285,
    "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.00374,
          0.00387,
          0.00383,
          0.00387,
          0.00391,
          0.00394,
          0.00394,
          0.00392,
          0.00385,
          0.00422,
          0.00401,
          0.00422,
          0.00419
        ]
      },
      "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.00722,
          0.0073,
          0.00729,
          0.00723,
          0.00726,
          0.00723,
          0.00722,
          0.00721,
          0.00722,
          0.00813,
          0.0082,
          0.00967,
          0.01014
        ]
      }
    },
    "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.00692,
              0.0047,
              0.00248,
              -0.00198,
              -0.0109,
              -0.02875,
              -0.06444
            ],
            [
              0.00695,
              0.00473,
              0.00249,
              -0.00197,
              -0.01088,
              -0.02873,
              -0.06442
            ],
            [
              0.007,
              0.00479,
              0.00255,
              -0.00191,
              -0.01083,
              -0.02868,
              -0.06437
            ],
            [
              0.00709,
              0.00485,
              0.00262,
              -0.00185,
              -0.01078,
              -0.02863,
              -0.06433
            ],
            [
              0.00717,
              0.00493,
              0.0027,
              -0.00178,
              -0.01072,
              -0.02857,
              -0.06428
            ],
            [
              0.00728,
              0.00503,
              0.00278,
              -0.0017,
              -0.01065,
              -0.02852,
              -0.06423
            ],
            [
              0.00741,
              0.00514,
              0.00289,
              -0.00161,
              -0.01058,
              -0.02846,
              -0.06418
            ],
            [
              0.00754,
              0.00526,
              0.003,
              -0.00152,
              -0.0105,
              -0.0284,
              -0.06414
            ],
            [
              0.00763,
              0.00537,
              0.0031,
              -0.00143,
              -0.01042,
              -0.02834,
              -0.0641
            ],
            [
              0.00769,
              0.00543,
              0.00317,
              -0.00135,
              -0.01035,
              -0.02828,
              -0.06404
            ],
            [
              0.00762,
              0.00539,
              0.00316,
              -0.00134,
              -0.01032,
              -0.02827,
              -0.06401
            ],
            [
              0.00739,
              0.0052,
              0.003,
              -0.00145,
              -0.0104,
              -0.02827,
              -0.06402
            ],
            [
              0.00683,
              0.00469,
              0.00255,
              -0.00183,
              -0.01066,
              -0.02847,
              -0.06414
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02697,
              0.02925,
              0.03148,
              0.03593,
              0.04478,
              0.06241,
              0.09783
            ],
            [
              0.0269,
              0.02919,
              0.03144,
              0.03588,
              0.04474,
              0.06242,
              0.09787
            ],
            [
              0.02683,
              0.02915,
              0.03141,
              0.0359,
              0.04477,
              0.06243,
              0.09784
            ],
            [
              0.02673,
              0.02906,
              0.03134,
              0.03584,
              0.04472,
              0.06243,
              0.09784
            ],
            [
              0.02662,
              0.02896,
              0.03125,
              0.03578,
              0.04468,
              0.06241,
              0.09782
            ],
            [
              0.02653,
              0.02885,
              0.03115,
              0.03568,
              0.04463,
              0.0624,
              0.09783
            ],
            [
              0.02641,
              0.02873,
              0.03103,
              0.03558,
              0.04455,
              0.06233,
              0.09783
            ],
            [
              0.02632,
              0.02863,
              0.03091,
              0.03545,
              0.04442,
              0.06223,
              0.09778
            ],
            [
              0.02628,
              0.02855,
              0.0308,
              0.03533,
              0.04431,
              0.06209,
              0.0977
            ],
            [
              0.02628,
              0.0285,
              0.03075,
              0.03525,
              0.04417,
              0.06201,
              0.09754
            ],
            [
              0.0263,
              0.02854,
              0.03074,
              0.03522,
              0.04411,
              0.06186,
              0.09749
            ],
            [
              0.02634,
              0.02859,
              0.03082,
              0.03525,
              0.04405,
              0.06179,
              0.0973
            ],
            [
              0.02654,
              0.02873,
              0.03096,
              0.0354,
              0.04421,
              0.06172,
              0.09728
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.00695,
              0.00474,
              0.00252,
              -0.00194,
              -0.01085,
              -0.0287,
              -0.0644
            ],
            [
              0.00697,
              0.00476,
              0.00254,
              -0.00192,
              -0.01082,
              -0.02866,
              -0.06436
            ],
            [
              0.00705,
              0.00483,
              0.00261,
              -0.00185,
              -0.01077,
              -0.02861,
              -0.06432
            ],
            [
              0.0071,
              0.00487,
              0.00265,
              -0.00182,
              -0.01074,
              -0.02858,
              -0.06429
            ],
            [
              0.00718,
              0.00495,
              0.00272,
              -0.00175,
              -0.01068,
              -0.02853,
              -0.06424
            ],
            [
              0.00727,
              0.00503,
              0.00279,
              -0.00169,
              -0.01062,
              -0.02849,
              -0.06419
            ],
            [
              0.00738,
              0.00513,
              0.00288,
              -0.00161,
              -0.01056,
              -0.02843,
              -0.06415
            ],
            [
              0.0075,
              0.00524,
              0.00298,
              -0.00152,
              -0.01049,
              -0.02838,
              -0.06411
            ],
            [
              0.00762,
              0.00535,
              0.00309,
              -0.00143,
              -0.01041,
              -0.02832,
              -0.06407
            ],
            [
              0.00772,
              0.00545,
              0.0032,
              -0.00132,
              -0.01032,
              -0.02824,
              -0.06401
            ],
            [
              0.00774,
              0.00549,
              0.00324,
              -0.00127,
              -0.01026,
              -0.0282,
              -0.06397
            ],
            [
              0.00764,
              0.00542,
              0.00319,
              -0.00129,
              -0.01026,
              -0.02817,
              -0.06394
            ],
            [
              0.0073,
              0.00512,
              0.00292,
              -0.00151,
              -0.01041,
              -0.02826,
              -0.06399
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02946,
              0.03169,
              0.0339,
              0.03833,
              0.04715,
              0.06476,
              0.1001
            ],
            [
              0.0294,
              0.03164,
              0.03387,
              0.03831,
              0.04713,
              0.06473,
              0.10014
            ],
            [
              0.02935,
              0.0316,
              0.03383,
              0.03826,
              0.0471,
              0.0647,
              0.10017
            ],
            [
              0.02927,
              0.03152,
              0.03377,
              0.03821,
              0.04707,
              0.06471,
              0.10013
            ],
            [
              0.02918,
              0.03145,
              0.03369,
              0.03817,
              0.04704,
              0.06467,
              0.10006
            ],
            [
              0.02909,
              0.03136,
              0.03363,
              0.03811,
              0.04701,
              0.06466,
              0.10015
            ],
            [
              0.02899,
              0.03127,
              0.03353,
              0.03802,
              0.04693,
              0.06462,
              0.10004
            ],
            [
              0.02891,
              0.03118,
              0.03344,
              0.03793,
              0.04685,
              0.06459,
              0.10011
            ],
            [
              0.02886,
              0.03111,
              0.03335,
              0.03785,
              0.04674,
              0.0645,
              0.10006
            ],
            [
              0.02884,
              0.03106,
              0.0333,
              0.03778,
              0.0467,
              0.06446,
              0.09993
            ],
            [
              0.02887,
              0.03109,
              0.0333,
              0.03773,
              0.04665,
              0.06433,
              0.09987
            ],
            [
              0.02893,
              0.03116,
              0.03338,
              0.0378,
              0.04659,
              0.06432,
              0.09976
            ],
            [
              0.02911,
              0.03132,
              0.03354,
              0.03797,
              0.04675,
              0.06431,
              0.09976
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.00711,
              0.00489,
              0.00268,
              -0.00178,
              -0.01069,
              -0.02854,
              -0.06424
            ],
            [
              0.00716,
              0.00494,
              0.00272,
              -0.00174,
              -0.01065,
              -0.02849,
              -0.06419
            ],
            [
              0.00721,
              0.00499,
              0.00277,
              -0.00169,
              -0.0106,
              -0.02845,
              -0.06415
            ],
            [
              0.00727,
              0.00505,
              0.00282,
              -0.00164,
              -0.01056,
              -0.0284,
              -0.0641
            ],
            [
              0.00734,
              0.00511,
              0.00288,
              -0.00159,
              -0.01051,
              -0.02836,
              -0.06406
            ],
            [
              0.00743,
              0.00519,
              0.00296,
              -0.00152,
              -0.01046,
              -0.02831,
              -0.06402
            ],
            [
              0.00753,
              0.00529,
              0.00304,
              -0.00145,
              -0.0104,
              -0.02827,
              -0.06398
            ],
            [
              0.00765,
              0.00539,
              0.00314,
              -0.00137,
              -0.01033,
              -0.02822,
              -0.06394
            ],
            [
              0.00775,
              0.00549,
              0.00324,
              -0.00128,
              -0.01025,
              -0.02816,
              -0.0639
            ],
            [
              0.00785,
              0.00559,
              0.00333,
              -0.00118,
              -0.01017,
              -0.02808,
              -0.06384
            ],
            [
              0.00787,
              0.00562,
              0.00337,
              -0.00113,
              -0.01012,
              -0.02804,
              -0.06381
            ],
            [
              0.00777,
              0.00554,
              0.00331,
              -0.00117,
              -0.01012,
              -0.02802,
              -0.06379
            ],
            [
              0.0074,
              0.00521,
              0.00301,
              -0.00142,
              -0.01031,
              -0.02815,
              -0.06386
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03186,
              0.03407,
              0.03628,
              0.0407,
              0.04953,
              0.06711,
              0.10245
            ],
            [
              0.03181,
              0.03401,
              0.03624,
              0.04066,
              0.04949,
              0.06706,
              0.10244
            ],
            [
              0.03178,
              0.03398,
              0.0362,
              0.04061,
              0.04943,
              0.06705,
              0.10238
            ],
            [
              0.03172,
              0.03393,
              0.03616,
              0.04057,
              0.0494,
              0.06702,
              0.10238
            ],
            [
              0.03168,
              0.03389,
              0.03613,
              0.04055,
              0.04939,
              0.06702,
              0.10231
            ],
            [
              0.03163,
              0.03385,
              0.03608,
              0.04053,
              0.04937,
              0.06697,
              0.10237
            ],
            [
              0.03157,
              0.03379,
              0.03603,
              0.04048,
              0.04934,
              0.06697,
              0.10235
            ],
            [
              0.03152,
              0.03374,
              0.03597,
              0.04042,
              0.0493,
              0.06693,
              0.10231
            ],
            [
              0.03149,
              0.03372,
              0.03594,
              0.04039,
              0.04926,
              0.06694,
              0.10227
            ],
            [
              0.0315,
              0.03372,
              0.03594,
              0.04039,
              0.04925,
              0.0669,
              0.10221
            ],
            [
              0.03155,
              0.03376,
              0.03596,
              0.04036,
              0.04922,
              0.06687,
              0.10227
            ],
            [
              0.03164,
              0.03386,
              0.03607,
              0.04048,
              0.04924,
              0.06691,
              0.10222
            ],
            [
              0.03187,
              0.03408,
              0.03629,
              0.04071,
              0.04948,
              0.06694,
              0.10233
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0025,
              0.00017,
              -0.0021,
              -0.00663,
              -0.01559,
              -0.03346,
              -0.06916
            ],
            [
              0.00257,
              0.0002,
              -0.00209,
              -0.00662,
              -0.01562,
              -0.0335,
              -0.06921
            ],
            [
              0.00268,
              0.0003,
              -0.00202,
              -0.00658,
              -0.01558,
              -0.03348,
              -0.0692
            ],
            [
              0.00279,
              0.00038,
              -0.00195,
              -0.00653,
              -0.01555,
              -0.03347,
              -0.06919
            ],
            [
              0.00292,
              0.00048,
              -0.00186,
              -0.00647,
              -0.01551,
              -0.03344,
              -0.06918
            ],
            [
              0.00305,
              0.00061,
              -0.00175,
              -0.00638,
              -0.01545,
              -0.03341,
              -0.06917
            ],
            [
              0.00316,
              0.00075,
              -0.00161,
              -0.00626,
              -0.01537,
              -0.03336,
              -0.06914
            ],
            [
              0.00324,
              0.00087,
              -0.00149,
              -0.00614,
              -0.01526,
              -0.03329,
              -0.0691
            ],
            [
              0.00325,
              0.00094,
              -0.00139,
              -0.00602,
              -0.01515,
              -0.0332,
              -0.06905
            ],
            [
              0.00317,
              0.00091,
              -0.00137,
              -0.00596,
              -0.01505,
              -0.03312,
              -0.06899
            ],
            [
              0.0029,
              0.00073,
              -0.00149,
              -0.006,
              -0.01504,
              -0.03305,
              -0.06895
            ],
            [
              0.00234,
              0.00028,
              -0.00185,
              -0.00622,
              -0.01512,
              -0.03307,
              -0.06892
            ],
            [
              0.0014,
              -0.00052,
              -0.00255,
              -0.00678,
              -0.0155,
              -0.03326,
              -0.069
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.01344,
              0.01578,
              0.01804,
              0.02254,
              0.0314,
              0.04908,
              0.0845
            ],
            [
              0.01334,
              0.01569,
              0.01798,
              0.02249,
              0.03137,
              0.04906,
              0.08449
            ],
            [
              0.01324,
              0.01559,
              0.01789,
              0.02245,
              0.03135,
              0.04903,
              0.08446
            ],
            [
              0.01311,
              0.0155,
              0.01781,
              0.02236,
              0.0313,
              0.04901,
              0.08443
            ],
            [
              0.013,
              0.01538,
              0.01769,
              0.02226,
              0.03123,
              0.04899,
              0.0844
            ],
            [
              0.01291,
              0.01526,
              0.01756,
              0.02214,
              0.03113,
              0.04891,
              0.08435
            ],
            [
              0.01286,
              0.01514,
              0.01744,
              0.02201,
              0.03102,
              0.0488,
              0.08431
            ],
            [
              0.01286,
              0.0151,
              0.01737,
              0.02191,
              0.03091,
              0.04869,
              0.08422
            ],
            [
              0.01296,
              0.01515,
              0.01738,
              0.02185,
              0.03082,
              0.04861,
              0.08416
            ],
            [
              0.0132,
              0.01534,
              0.0175,
              0.0219,
              0.03077,
              0.04853,
              0.08403
            ],
            [
              0.01353,
              0.01568,
              0.01782,
              0.02214,
              0.03088,
              0.04852,
              0.08398
            ],
            [
              0.01414,
              0.01623,
              0.01837,
              0.02265,
              0.03123,
              0.04869,
              0.08399
            ],
            [
              0.01518,
              0.01718,
              0.01925,
              0.02349,
              0.03201,
              0.0492,
              0.08421
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.00258,
              0.00028,
              -0.00198,
              -0.00649,
              -0.01545,
              -0.03332,
              -0.06902
            ],
            [
              0.00265,
              0.00028,
              -0.002,
              -0.00652,
              -0.01549,
              -0.03337,
              -0.06907
            ],
            [
              0.0027,
              0.00034,
              -0.00196,
              -0.0065,
              -0.01546,
              -0.03336,
              -0.06907
            ],
            [
              0.00283,
              0.00043,
              -0.00189,
              -0.00645,
              -0.01546,
              -0.03337,
              -0.06908
            ],
            [
              0.00294,
              0.00054,
              -0.0018,
              -0.00639,
              -0.01543,
              -0.03335,
              -0.06909
            ],
            [
              0.00308,
              0.00066,
              -0.00169,
              -0.0063,
              -0.01537,
              -0.03332,
              -0.06907
            ],
            [
              0.00321,
              0.00081,
              -0.00155,
              -0.00619,
              -0.01528,
              -0.03327,
              -0.06904
            ],
            [
              0.00331,
              0.00094,
              -0.00141,
              -0.00606,
              -0.01518,
              -0.0332,
              -0.069
            ],
            [
              0.00336,
              0.00103,
              -0.0013,
              -0.00592,
              -0.01506,
              -0.0331,
              -0.06895
            ],
            [
              0.00333,
              0.00104,
              -0.00125,
              -0.00583,
              -0.01494,
              -0.03301,
              -0.06888
            ],
            [
              0.00315,
              0.00093,
              -0.00131,
              -0.00583,
              -0.01489,
              -0.03293,
              -0.06882
            ],
            [
              0.0027,
              0.00058,
              -0.00159,
              -0.00602,
              -0.01496,
              -0.03292,
              -0.06878
            ],
            [
              0.00179,
              -0.0002,
              -0.00226,
              -0.00653,
              -0.0153,
              -0.03309,
              -0.06885
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.01578,
              0.01802,
              0.02026,
              0.02471,
              0.03355,
              0.05118,
              0.08653
            ],
            [
              0.01571,
              0.01795,
              0.02019,
              0.02465,
              0.03351,
              0.05115,
              0.0865
            ],
            [
              0.01562,
              0.01788,
              0.02013,
              0.02462,
              0.03347,
              0.0511,
              0.08646
            ],
            [
              0.01554,
              0.01783,
              0.02009,
              0.02457,
              0.03343,
              0.0511,
              0.08643
            ],
            [
              0.01547,
              0.01777,
              0.02002,
              0.0245,
              0.03339,
              0.05107,
              0.08642
            ],
            [
              0.01542,
              0.0177,
              0.01995,
              0.02445,
              0.03334,
              0.051,
              0.08638
            ],
            [
              0.01537,
              0.01763,
              0.01989,
              0.02437,
              0.03329,
              0.05094,
              0.08637
            ],
            [
              0.01538,
              0.01762,
              0.01986,
              0.02433,
              0.03321,
              0.05091,
              0.08632
            ],
            [
              0.0155,
              0.01769,
              0.0199,
              0.02433,
              0.03319,
              0.05088,
              0.08626
            ],
            [
              0.01577,
              0.01792,
              0.02008,
              0.02445,
              0.03327,
              0.0509,
              0.08619
            ],
            [
              0.01618,
              0.01832,
              0.02046,
              0.02476,
              0.03345,
              0.05099,
              0.08623
            ],
            [
              0.01691,
              0.019,
              0.02113,
              0.02539,
              0.03394,
              0.05131,
              0.08642
            ],
            [
              0.0181,
              0.02012,
              0.02219,
              0.02641,
              0.03489,
              0.05196,
              0.08685
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.03674,
    "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.08722,
              0.10585,
              0.12376,
              0.15857,
              0.22613,
              0.35871,
              0.62105
            ],
            [
              0.08943,
              0.10808,
              0.12599,
              0.1608,
              0.2284,
              0.36095,
              0.62331
            ],
            [
              0.0922,
              0.11087,
              0.1288,
              0.16364,
              0.23125,
              0.36384,
              0.62622
            ],
            [
              0.09645,
              0.11514,
              0.13314,
              0.16798,
              0.23566,
              0.36828,
              0.63067
            ],
            [
              0.10288,
              0.12171,
              0.13971,
              0.17466,
              0.24237,
              0.37504,
              0.63756
            ],
            [
              0.11286,
              0.13173,
              0.14977,
              0.18476,
              0.25257,
              0.38541,
              0.64793
            ],
            [
              0.12795,
              0.1469,
              0.16507,
              0.20018,
              0.26804,
              0.40096,
              0.66361
            ],
            [
              0.1519,
              0.17041,
              0.1884,
              0.22345,
              0.29148,
              0.42444,
              0.68719
            ],
            [
              0.18215,
              0.20402,
              0.22372,
              0.25911,
              0.32701,
              0.45985,
              0.72266
            ],
            [
              0.21823,
              0.24439,
              0.26762,
              0.3094,
              0.38079,
              0.51364,
              0.77639
            ],
            [
              0.26035,
              0.2918,
              0.32004,
              0.37012,
              0.45532,
              0.59452,
              0.85702
            ],
            [
              0.30887,
              0.34697,
              0.38117,
              0.44197,
              0.54407,
              0.70967,
              0.97877
            ],
            [
              0.3633,
              0.4093,
              0.4511,
              0.525,
              0.6496,
              0.849,
              1.1599
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.10288,
              0.12717,
              0.15069,
              0.19714,
              0.28931,
              0.47241,
              0.83844
            ],
            [
              0.10532,
              0.12988,
              0.15364,
              0.20027,
              0.29244,
              0.47617,
              0.84191
            ],
            [
              0.1084,
              0.13322,
              0.15709,
              0.20398,
              0.29658,
              0.47982,
              0.84609
            ],
            [
              0.11324,
              0.1382,
              0.16226,
              0.20921,
              0.30186,
              0.48548,
              0.85188
            ],
            [
              0.12088,
              0.14585,
              0.17,
              0.21734,
              0.3103,
              0.49432,
              0.86031
            ],
            [
              0.13276,
              0.15769,
              0.18182,
              0.22921,
              0.32241,
              0.5064,
              0.87301
            ],
            [
              0.15057,
              0.17528,
              0.19946,
              0.24687,
              0.34018,
              0.52447,
              0.89153
            ],
            [
              0.17625,
              0.2013,
              0.22525,
              0.2726,
              0.36619,
              0.5506,
              0.91796
            ],
            [
              0.20788,
              0.23744,
              0.26305,
              0.31082,
              0.40406,
              0.58904,
              0.95655
            ],
            [
              0.24465,
              0.28072,
              0.31174,
              0.36613,
              0.46075,
              0.64579,
              1.01359
            ],
            [
              0.28569,
              0.3315,
              0.37007,
              0.43587,
              0.54422,
              0.73082,
              1.09902
            ],
            [
              0.32887,
              0.38817,
              0.43747,
              0.51977,
              0.65097,
              0.85807,
              1.22707
            ],
            [
              0.3724,
              0.4489,
              0.5122,
              0.6173,
              0.7809,
              1.0298,
              1.419
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07984,
              0.1025,
              0.12499,
              0.16979,
              0.25919,
              0.43768,
              0.79459
            ],
            [
              0.07985,
              0.10248,
              0.12499,
              0.16969,
              0.2592,
              0.43768,
              0.79428
            ],
            [
              0.07984,
              0.10242,
              0.12492,
              0.16962,
              0.25913,
              0.43725,
              0.79465
            ],
            [
              0.07987,
              0.10253,
              0.12501,
              0.16982,
              0.25921,
              0.4377,
              0.79467
            ],
            [
              0.07992,
              0.10255,
              0.12497,
              0.16982,
              0.2592,
              0.43769,
              0.79429
            ],
            [
              0.07901,
              0.10231,
              0.12489,
              0.16976,
              0.25915,
              0.43765,
              0.79392
            ],
            [
              0.08012,
              0.10219,
              0.12441,
              0.16953,
              0.25913,
              0.4376,
              0.79384
            ],
            [
              0.08701,
              0.10742,
              0.12795,
              0.1706,
              0.25872,
              0.43769,
              0.79462
            ],
            [
              0.10117,
              0.12197,
              0.14085,
              0.17992,
              0.26196,
              0.43715,
              0.79465
            ],
            [
              0.12045,
              0.1441,
              0.16535,
              0.20329,
              0.27845,
              0.44213,
              0.7941
            ],
            [
              0.14732,
              0.17462,
              0.19864,
              0.24163,
              0.31575,
              0.4653,
              0.7976
            ],
            [
              0.1835,
              0.2158,
              0.2438,
              0.2929,
              0.3769,
              0.5205,
              0.825
            ],
            [
              0.2319,
              0.2707,
              0.304,
              0.3618,
              0.4579,
              0.6168,
              0.8994
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07464,
              0.10632,
              0.13823,
              0.20192,
              0.32914,
              0.58261,
              1.08824
            ],
            [
              0.07486,
              0.10619,
              0.13827,
              0.20204,
              0.32907,
              0.5828,
              1.08792
            ],
            [
              0.07492,
              0.10648,
              0.13814,
              0.20184,
              0.32913,
              0.58254,
              1.08881
            ],
            [
              0.07473,
              0.10651,
              0.13834,
              0.2019,
              0.32901,
              0.58262,
              1.08902
            ],
            [
              0.07475,
              0.10634,
              0.1383,
              0.20198,
              0.3292,
              0.58284,
              1.08759
            ],
            [
              0.07526,
              0.10658,
              0.13836,
              0.20208,
              0.32915,
              0.5821,
              1.0878
            ],
            [
              0.07553,
              0.10656,
              0.13847,
              0.20212,
              0.3291,
              0.58249,
              1.08897
            ],
            [
              0.08002,
              0.10899,
              0.1391,
              0.20212,
              0.32915,
              0.58247,
              1.08763
            ],
            [
              0.0943,
              0.1197,
              0.14752,
              0.20602,
              0.32939,
              0.58225,
              1.08853
            ],
            [
              0.11962,
              0.14553,
              0.1697,
              0.22229,
              0.33618,
              0.58271,
              1.08714
            ],
            [
              0.15523,
              0.18371,
              0.21066,
              0.26042,
              0.36196,
              0.5911,
              1.0888
            ],
            [
              0.2059,
              0.2383,
              0.2682,
              0.3229,
              0.4206,
              0.6254,
              1.0948
            ],
            [
              0.2766,
              0.3139,
              0.3481,
              0.41,
              0.5179,
              0.7078,
              1.1344
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.06747,
              0.08697,
              0.10538,
              0.14077,
              0.20887,
              0.34176,
              0.60431
            ],
            [
              0.06961,
              0.08913,
              0.10755,
              0.14295,
              0.21105,
              0.34395,
              0.60649
            ],
            [
              0.07231,
              0.09188,
              0.11031,
              0.14572,
              0.21385,
              0.34679,
              0.60934
            ],
            [
              0.07648,
              0.09606,
              0.11453,
              0.14999,
              0.21815,
              0.35114,
              0.61367
            ],
            [
              0.08293,
              0.10254,
              0.12103,
              0.15653,
              0.22476,
              0.35783,
              0.62049
            ],
            [
              0.09295,
              0.11253,
              0.13103,
              0.16664,
              0.23494,
              0.36806,
              0.63082
            ],
            [
              0.10936,
              0.12798,
              0.1464,
              0.18195,
              0.25043,
              0.38358,
              0.64642
            ],
            [
              0.13143,
              0.1522,
              0.17026,
              0.20545,
              0.2738,
              0.4069,
              0.66993
            ],
            [
              0.15789,
              0.1825,
              0.20398,
              0.24144,
              0.30929,
              0.44253,
              0.7052
            ],
            [
              0.18898,
              0.21846,
              0.24417,
              0.289,
              0.36325,
              0.4961,
              0.75869
            ],
            [
              0.22495,
              0.26042,
              0.29158,
              0.34562,
              0.43474,
              0.57682,
              0.84012
            ],
            [
              0.26577,
              0.30877,
              0.34647,
              0.41197,
              0.51947,
              0.69057,
              0.96207
            ],
            [
              0.3108,
              0.3629,
              0.4086,
              0.4884,
              0.6197,
              0.8256,
              1.1418
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.11607,
              0.14709,
              0.17722,
              0.23709,
              0.35581,
              0.59214,
              1.06467
            ],
            [
              0.11828,
              0.14973,
              0.18012,
              0.2402,
              0.35906,
              0.59559,
              1.06794
            ],
            [
              0.12117,
              0.15283,
              0.18345,
              0.24373,
              0.36286,
              0.59903,
              1.07162
            ],
            [
              0.12585,
              0.15757,
              0.1884,
              0.24896,
              0.36844,
              0.60484,
              1.07828
            ],
            [
              0.13315,
              0.16501,
              0.19593,
              0.25676,
              0.37633,
              0.61302,
              1.08551
            ],
            [
              0.14471,
              0.17644,
              0.20743,
              0.26847,
              0.38836,
              0.62556,
              1.09812
            ],
            [
              0.16192,
              0.19345,
              0.22435,
              0.28534,
              0.40577,
              0.6434,
              1.11703
            ],
            [
              0.18642,
              0.21802,
              0.24865,
              0.30947,
              0.42973,
              0.66839,
              1.14156
            ],
            [
              0.21706,
              0.25233,
              0.28376,
              0.34441,
              0.46439,
              0.70372,
              1.17785
            ],
            [
              0.25255,
              0.29364,
              0.33007,
              0.39507,
              0.51539,
              0.75369,
              1.22829
            ],
            [
              0.29313,
              0.34272,
              0.38561,
              0.46132,
              0.59062,
              0.82912,
              1.30422
            ],
            [
              0.33697,
              0.39917,
              0.45167,
              0.54167,
              0.69167,
              0.94217,
              1.41827
            ],
            [
              0.382,
              0.4612,
              0.5273,
              0.6379,
              0.8161,
              1.1031,
              1.5871
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0711,
              0.09312,
              0.11528,
              0.15955,
              0.24829,
              0.42623,
              0.78174
            ],
            [
              0.07106,
              0.09313,
              0.11525,
              0.15958,
              0.24836,
              0.42607,
              0.78169
            ],
            [
              0.07098,
              0.09305,
              0.11513,
              0.15956,
              0.2483,
              0.42628,
              0.78274
            ],
            [
              0.07066,
              0.09299,
              0.11515,
              0.15952,
              0.24835,
              0.4262,
              0.78277
            ],
            [
              0.06948,
              0.09252,
              0.11498,
              0.15945,
              0.2483,
              0.42578,
              0.78175
            ],
            [
              0.06874,
              0.09136,
              0.11432,
              0.15928,
              0.24808,
              0.42627,
              0.78214
            ],
            [
              0.07169,
              0.09276,
              0.11429,
              0.15861,
              0.24808,
              0.42626,
              0.78233
            ],
            [
              0.08102,
              0.10009,
              0.11981,
              0.16101,
              0.2475,
              0.42624,
              0.78244
            ],
            [
              0.09412,
              0.11586,
              0.13473,
              0.17225,
              0.25267,
              0.4259,
              0.7818
            ],
            [
              0.11295,
              0.13748,
              0.15903,
              0.19765,
              0.27099,
              0.43202,
              0.78181
            ],
            [
              0.13908,
              0.16753,
              0.19208,
              0.23531,
              0.31017,
              0.45734,
              0.7864
            ],
            [
              0.17405,
              0.208,
              0.2367,
              0.2865,
              0.3709,
              0.5141,
              0.8159
            ],
            [
              0.2206,
              0.2614,
              0.296,
              0.3548,
              0.4517,
              0.6112,
              0.8925
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07697,
              0.1185,
              0.15958,
              0.24272,
              0.40786,
              0.7372,
              1.39804
            ],
            [
              0.07713,
              0.11851,
              0.15993,
              0.2427,
              0.40787,
              0.73814,
              1.39795
            ],
            [
              0.07719,
              0.1185,
              0.1598,
              0.24233,
              0.40786,
              0.73804,
              1.39788
            ],
            [
              0.07718,
              0.11848,
              0.15995,
              0.24272,
              0.40792,
              0.73774,
              1.39816
            ],
            [
              0.0773,
              0.11856,
              0.15976,
              0.24237,
              0.40772,
              0.73774,
              1.39757
            ],
            [
              0.0775,
              0.11864,
              0.15996,
              0.2427,
              0.40774,
              0.73771,
              1.39761
            ],
            [
              0.07787,
              0.11887,
              0.16009,
              0.24251,
              0.40791,
              0.73725,
              1.3979
            ],
            [
              0.08163,
              0.12021,
              0.16027,
              0.24261,
              0.4076,
              0.73826,
              1.39699
            ],
            [
              0.09355,
              0.12903,
              0.16668,
              0.24467,
              0.40774,
              0.73803,
              1.39789
            ],
            [
              0.11333,
              0.14989,
              0.18393,
              0.25685,
              0.41164,
              0.7378,
              1.39791
            ],
            [
              0.14146,
              0.18098,
              0.21834,
              0.28684,
              0.43031,
              0.7418,
              1.398
            ],
            [
              0.183,
              0.2262,
              0.2664,
              0.3405,
              0.4764,
              0.7655,
              1.3988
            ],
            [
              0.243,
              0.2912,
              0.3356,
              0.4156,
              0.56,
              0.8284,
              1.4234
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07057,
              0.08982,
              0.10813,
              0.14342,
              0.2115,
              0.34457,
              0.60753
            ],
            [
              0.07268,
              0.09195,
              0.11028,
              0.1456,
              0.21373,
              0.34681,
              0.60972
            ],
            [
              0.07539,
              0.09474,
              0.11306,
              0.14836,
              0.21646,
              0.34961,
              0.61255
            ],
            [
              0.07955,
              0.09892,
              0.11725,
              0.15262,
              0.22079,
              0.35387,
              0.61694
            ],
            [
              0.08598,
              0.10535,
              0.12374,
              0.15918,
              0.22739,
              0.36058,
              0.62361
            ],
            [
              0.09595,
              0.11535,
              0.13382,
              0.16933,
              0.23759,
              0.37079,
              0.63402
            ],
            [
              0.11204,
              0.13073,
              0.14914,
              0.18463,
              0.25309,
              0.3864,
              0.64968
            ],
            [
              0.13471,
              0.155,
              0.17286,
              0.20807,
              0.27648,
              0.40979,
              0.67327
            ],
            [
              0.16182,
              0.18587,
              0.20702,
              0.24407,
              0.31195,
              0.44535,
              0.70849
            ],
            [
              0.19384,
              0.22251,
              0.2479,
              0.2922,
              0.36604,
              0.49891,
              0.76199
            ],
            [
              0.23102,
              0.26557,
              0.29614,
              0.34955,
              0.43808,
              0.57972,
              0.84342
            ],
            [
              0.27347,
              0.31527,
              0.35227,
              0.41707,
              0.52377,
              0.69357,
              0.96547
            ],
            [
              0.3207,
              0.3714,
              0.4162,
              0.4949,
              0.6251,
              0.8301,
              1.1457
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.13889,
              0.1692,
              0.19892,
              0.25786,
              0.37459,
              0.60702,
              1.07157
            ],
            [
              0.14156,
              0.17206,
              0.20193,
              0.261,
              0.37787,
              0.61051,
              1.07504
            ],
            [
              0.14474,
              0.1754,
              0.20538,
              0.26462,
              0.3817,
              0.61451,
              1.07912
            ],
            [
              0.14955,
              0.18036,
              0.21047,
              0.26992,
              0.38721,
              0.62023,
              1.08488
            ],
            [
              0.15698,
              0.18794,
              0.21818,
              0.27783,
              0.39537,
              0.62847,
              1.09351
            ],
            [
              0.16842,
              0.19937,
              0.22973,
              0.28959,
              0.40744,
              0.64087,
              1.10612
            ],
            [
              0.18536,
              0.21625,
              0.24657,
              0.30654,
              0.42466,
              0.65853,
              1.12403
            ],
            [
              0.20983,
              0.24055,
              0.27078,
              0.33069,
              0.44892,
              0.68321,
              1.14906
            ],
            [
              0.24356,
              0.27538,
              0.3056,
              0.36533,
              0.48362,
              0.71811,
              1.18425
            ],
            [
              0.28357,
              0.32063,
              0.35448,
              0.41606,
              0.53419,
              0.76889,
              1.23549
            ],
            [
              0.33118,
              0.37495,
              0.41424,
              0.48532,
              0.60952,
              0.84422,
              1.31132
            ],
            [
              0.38537,
              0.43927,
              0.48667,
              0.57027,
              0.71327,
              0.95697,
              1.42417
            ],
            [
              0.444,
              0.512,
              0.5711,
              0.673,
              0.8419,
              1.1193,
              1.5938
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0921,
              0.1132,
              0.13487,
              0.17869,
              0.26682,
              0.44489,
              0.80047
            ],
            [
              0.09206,
              0.11322,
              0.13479,
              0.17862,
              0.267,
              0.44465,
              0.80055
            ],
            [
              0.09197,
              0.11318,
              0.13477,
              0.17864,
              0.26685,
              0.44463,
              0.80122
            ],
            [
              0.09176,
              0.11315,
              0.13478,
              0.17858,
              0.26671,
              0.44428,
              0.80072
            ],
            [
              0.09068,
              0.11276,
              0.13464,
              0.17857,
              0.26681,
              0.4449,
              0.80073
            ],
            [
              0.08989,
              0.11164,
              0.13397,
              0.17825,
              0.2666,
              0.4445,
              0.80011
            ],
            [
              0.09269,
              0.11297,
              0.13397,
              0.17758,
              0.26669,
              0.44466,
              0.8012
            ],
            [
              0.10177,
              0.12017,
              0.13938,
              0.18006,
              0.26646,
              0.44465,
              0.8009
            ],
            [
              0.11839,
              0.13678,
              0.15424,
              0.19143,
              0.27138,
              0.44449,
              0.80112
            ],
            [
              0.14101,
              0.16188,
              0.1811,
              0.21675,
              0.28954,
              0.45032,
              0.8012
            ],
            [
              0.17238,
              0.19611,
              0.21778,
              0.25765,
              0.329,
              0.47593,
              0.8046
            ],
            [
              0.21455,
              0.2423,
              0.2674,
              0.3127,
              0.3926,
              0.5331,
              0.8337
            ],
            [
              0.2705,
              0.3037,
              0.3334,
              0.3863,
              0.477,
              0.6318,
              0.9103
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09669,
              0.13776,
              0.17912,
              0.26103,
              0.42487,
              0.75129,
              1.40585
            ],
            [
              0.0965,
              0.13797,
              0.17879,
              0.26123,
              0.4252,
              0.75146,
              1.40436
            ],
            [
              0.09671,
              0.13792,
              0.17888,
              0.26129,
              0.42479,
              0.75173,
              1.40562
            ],
            [
              0.09674,
              0.13787,
              0.17892,
              0.26133,
              0.42491,
              0.75164,
              1.40567
            ],
            [
              0.09671,
              0.13784,
              0.17907,
              0.26135,
              0.42519,
              0.75198,
              1.4057
            ],
            [
              0.09685,
              0.13791,
              0.17893,
              0.26127,
              0.42458,
              0.75147,
              1.40569
            ],
            [
              0.09703,
              0.13817,
              0.17903,
              0.26134,
              0.42501,
              0.75251,
              1.40576
            ],
            [
              0.09854,
              0.13883,
              0.17945,
              0.26111,
              0.42522,
              0.75145,
              1.40395
            ],
            [
              0.10797,
              0.14515,
              0.18361,
              0.26249,
              0.42467,
              0.75226,
              1.40581
            ],
            [
              0.12827,
              0.16318,
              0.19834,
              0.27298,
              0.42824,
              0.75126,
              1.40604
            ],
            [
              0.15705,
              0.1955,
              0.23202,
              0.29987,
              0.44546,
              0.7557,
              1.4059
            ],
            [
              0.1999,
              0.2418,
              0.2809,
              0.3533,
              0.4884,
              0.779,
              1.4064
            ],
            [
              0.2619,
              0.3087,
              0.3513,
              0.4298,
              0.5716,
              0.8392,
              1.4324
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09859,
              0.11721,
              0.13509,
              0.16989,
              0.23748,
              0.37007,
              0.63238
            ],
            [
              0.1011,
              0.11972,
              0.13764,
              0.17244,
              0.24002,
              0.37262,
              0.63491
            ],
            [
              0.10411,
              0.12275,
              0.14066,
              0.17549,
              0.24311,
              0.37566,
              0.63807
            ],
            [
              0.10837,
              0.12706,
              0.14499,
              0.17985,
              0.24746,
              0.38009,
              0.64243
            ],
            [
              0.11452,
              0.13324,
              0.15123,
              0.18613,
              0.25381,
              0.38648,
              0.64891
            ],
            [
              0.12359,
              0.14239,
              0.16042,
              0.1954,
              0.26318,
              0.3959,
              0.65843
            ],
            [
              0.13727,
              0.15609,
              0.17417,
              0.20926,
              0.27716,
              0.41003,
              0.67269
            ],
            [
              0.15798,
              0.17702,
              0.195,
              0.23012,
              0.29823,
              0.43125,
              0.69402
            ],
            [
              0.18481,
              0.20598,
              0.22553,
              0.26165,
              0.32977,
              0.46307,
              0.72608
            ],
            [
              0.21906,
              0.24304,
              0.26499,
              0.30526,
              0.37727,
              0.51081,
              0.77409
            ],
            [
              0.2611,
              0.28925,
              0.31475,
              0.36094,
              0.44178,
              0.58242,
              0.84612
            ],
            [
              0.31067,
              0.34467,
              0.37527,
              0.42997,
              0.52387,
              0.68207,
              0.95407
            ],
            [
              0.3674,
              0.4089,
              0.4463,
              0.5128,
              0.6252,
              0.8091,
              1.1112
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.12061,
              0.14446,
              0.16792,
              0.21452,
              0.30693,
              0.49101,
              0.85888
            ],
            [
              0.12327,
              0.14727,
              0.17082,
              0.21751,
              0.30999,
              0.4942,
              0.86196
            ],
            [
              0.12648,
              0.15063,
              0.17428,
              0.22106,
              0.31366,
              0.49792,
              0.86573
            ],
            [
              0.13145,
              0.15574,
              0.17944,
              0.2264,
              0.31912,
              0.50343,
              0.87143
            ],
            [
              0.13913,
              0.16355,
              0.18738,
              0.23444,
              0.32736,
              0.51183,
              0.87994
            ],
            [
              0.15092,
              0.17539,
              0.1993,
              0.24653,
              0.33963,
              0.52434,
              0.89247
            ],
            [
              0.16851,
              0.19289,
              0.21684,
              0.26412,
              0.35739,
              0.54234,
              0.91073
            ],
            [
              0.19409,
              0.21846,
              0.24232,
              0.28962,
              0.38295,
              0.56799,
              0.93666
            ],
            [
              0.22838,
              0.25533,
              0.2797,
              0.32697,
              0.42038,
              0.60563,
              0.97445
            ],
            [
              0.26903,
              0.30124,
              0.33014,
              0.3821,
              0.47594,
              0.66129,
              1.03039
            ],
            [
              0.31613,
              0.35606,
              0.39119,
              0.45312,
              0.55822,
              0.74452,
              1.11392
            ],
            [
              0.36737,
              0.41837,
              0.46257,
              0.53887,
              0.66477,
              0.86887,
              1.23877
            ],
            [
              0.4209,
              0.4863,
              0.5427,
              0.6392,
              0.7944,
              1.0377,
              1.426
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07986,
              0.10248,
              0.12494,
              0.16985,
              0.25894,
              0.4375,
              0.79368
            ],
            [
              0.07983,
              0.10248,
              0.12501,
              0.16988,
              0.25892,
              0.43729,
              0.79458
            ],
            [
              0.07981,
              0.10249,
              0.12497,
              0.16968,
              0.25906,
              0.43745,
              0.79465
            ],
            [
              0.07986,
              0.10251,
              0.12501,
              0.16988,
              0.25922,
              0.4375,
              0.79452
            ],
            [
              0.07974,
              0.10248,
              0.125,
              0.1697,
              0.25921,
              0.43742,
              0.79468
            ],
            [
              0.07937,
              0.10234,
              0.12489,
              0.16965,
              0.25897,
              0.43758,
              0.79468
            ],
            [
              0.08047,
              0.10258,
              0.12466,
              0.16967,
              0.25911,
              0.43767,
              0.79452
            ],
            [
              0.08526,
              0.10637,
              0.12771,
              0.17095,
              0.25888,
              0.43762,
              0.79459
            ],
            [
              0.09597,
              0.11657,
              0.13654,
              0.17731,
              0.26221,
              0.43755,
              0.79432
            ],
            [
              0.11149,
              0.13369,
              0.1544,
              0.19382,
              0.27321,
              0.44191,
              0.79388
            ],
            [
              0.13419,
              0.15844,
              0.18093,
              0.22286,
              0.30023,
              0.45831,
              0.7982
            ],
            [
              0.1663,
              0.1936,
              0.2186,
              0.2643,
              0.3465,
              0.4975,
              0.8182
            ],
            [
              0.2104,
              0.2423,
              0.2708,
              0.322,
              0.4118,
              0.571,
              0.8715
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.08979,
              0.12201,
              0.15387,
              0.21836,
              0.34652,
              0.60174,
              1.1122
            ],
            [
              0.08982,
              0.12201,
              0.1539,
              0.21835,
              0.34658,
              0.60205,
              1.11203
            ],
            [
              0.0899,
              0.12201,
              0.1539,
              0.21837,
              0.34648,
              0.60221,
              1.11234
            ],
            [
              0.08976,
              0.12193,
              0.1539,
              0.21828,
              0.34631,
              0.60177,
              1.11252
            ],
            [
              0.08982,
              0.12194,
              0.15413,
              0.2184,
              0.34641,
              0.60178,
              1.11241
            ],
            [
              0.08998,
              0.12198,
              0.15389,
              0.21818,
              0.34643,
              0.60218,
              1.11118
            ],
            [
              0.09035,
              0.12215,
              0.15396,
              0.21823,
              0.34629,
              0.60187,
              1.11217
            ],
            [
              0.09266,
              0.12332,
              0.15476,
              0.21834,
              0.34662,
              0.6017,
              1.11128
            ],
            [
              0.1043,
              0.13221,
              0.16091,
              0.22134,
              0.34671,
              0.60172,
              1.11148
            ],
            [
              0.12853,
              0.15481,
              0.18066,
              0.23541,
              0.35288,
              0.60209,
              1.11186
            ],
            [
              0.16352,
              0.19246,
              0.21989,
              0.27048,
              0.37661,
              0.6102,
              1.1124
            ],
            [
              0.214,
              0.2464,
              0.2767,
              0.332,
              0.432,
              0.6432,
              1.1183
            ],
            [
              0.284,
              0.3213,
              0.3559,
              0.4179,
              0.5275,
              0.723,
              1.1568
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07884,
              0.09831,
              0.11669,
              0.15207,
              0.22016,
              0.35306,
              0.61561
            ],
            [
              0.08127,
              0.10075,
              0.11914,
              0.15452,
              0.22264,
              0.35558,
              0.61812
            ],
            [
              0.08422,
              0.1037,
              0.1221,
              0.15749,
              0.22561,
              0.35854,
              0.62108
            ],
            [
              0.08841,
              0.10791,
              0.12635,
              0.16174,
              0.22989,
              0.36283,
              0.62543
            ],
            [
              0.09452,
              0.11406,
              0.13252,
              0.16797,
              0.23614,
              0.36911,
              0.63169
            ],
            [
              0.10373,
              0.12321,
              0.14167,
              0.17718,
              0.24543,
              0.37847,
              0.64112
            ],
            [
              0.11797,
              0.13712,
              0.15551,
              0.19104,
              0.25939,
              0.39255,
              0.65532
            ],
            [
              0.13714,
              0.15794,
              0.17663,
              0.212,
              0.28043,
              0.41373,
              0.67664
            ],
            [
              0.16179,
              0.18486,
              0.20565,
              0.24347,
              0.31207,
              0.44562,
              0.70874
            ],
            [
              0.19263,
              0.21915,
              0.24276,
              0.28511,
              0.35928,
              0.49338,
              0.75679
            ],
            [
              0.22955,
              0.26111,
              0.28891,
              0.338,
              0.42189,
              0.56502,
              0.82892
            ],
            [
              0.27207,
              0.31047,
              0.34407,
              0.40287,
              0.50107,
              0.66287,
              0.93687
            ],
            [
              0.3197,
              0.3667,
              0.4079,
              0.4797,
              0.598,
              0.7872,
              1.093
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.14176,
              0.17312,
              0.20403,
              0.26558,
              0.38778,
              0.63161,
              1.11877
            ],
            [
              0.14426,
              0.17581,
              0.20685,
              0.2685,
              0.39081,
              0.63466,
              1.12194
            ],
            [
              0.14732,
              0.17905,
              0.21018,
              0.27201,
              0.39447,
              0.63842,
              1.12572
            ],
            [
              0.15205,
              0.18396,
              0.21524,
              0.27724,
              0.39985,
              0.64396,
              1.13138
            ],
            [
              0.15947,
              0.19155,
              0.22295,
              0.28514,
              0.40798,
              0.6523,
              1.13981
            ],
            [
              0.17091,
              0.20302,
              0.23456,
              0.29691,
              0.42,
              0.66451,
              1.15212
            ],
            [
              0.18774,
              0.21977,
              0.2513,
              0.31376,
              0.4371,
              0.68195,
              1.16983
            ],
            [
              0.21174,
              0.24365,
              0.27507,
              0.33752,
              0.46101,
              0.70608,
              1.19426
            ],
            [
              0.24447,
              0.27754,
              0.30899,
              0.37129,
              0.49479,
              0.74016,
              1.22855
            ],
            [
              0.28276,
              0.32099,
              0.35611,
              0.42037,
              0.5438,
              0.78929,
              1.27819
            ],
            [
              0.32784,
              0.37283,
              0.41331,
              0.48682,
              0.61612,
              0.86162,
              1.35092
            ],
            [
              0.37907,
              0.43357,
              0.48177,
              0.56757,
              0.71547,
              0.96957,
              1.45897
            ],
            [
              0.434,
              0.5022,
              0.5615,
              0.6649,
              0.838,
              1.1252,
              1.6212
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07052,
              0.0928,
              0.11507,
              0.15949,
              0.24836,
              0.42626,
              0.78213
            ],
            [
              0.07049,
              0.09276,
              0.11504,
              0.15954,
              0.24803,
              0.42616,
              0.7823
            ],
            [
              0.07044,
              0.09275,
              0.11501,
              0.15949,
              0.24809,
              0.42597,
              0.78161
            ],
            [
              0.07027,
              0.09271,
              0.11496,
              0.15936,
              0.24804,
              0.42584,
              0.78265
            ],
            [
              0.06987,
              0.09242,
              0.11474,
              0.15927,
              0.24833,
              0.42575,
              0.78274
            ],
            [
              0.06962,
              0.09203,
              0.11448,
              0.15929,
              0.2482,
              0.42629,
              0.78272
            ],
            [
              0.07182,
              0.09323,
              0.11496,
              0.15885,
              0.24816,
              0.42596,
              0.78217
            ],
            [
              0.07828,
              0.09807,
              0.11879,
              0.16113,
              0.24789,
              0.42623,
              0.78205
            ],
            [
              0.08896,
              0.10981,
              0.12905,
              0.16873,
              0.252,
              0.42565,
              0.78208
            ],
            [
              0.10454,
              0.1267,
              0.1476,
              0.18691,
              0.26443,
              0.43126,
              0.78227
            ],
            [
              0.12705,
              0.15159,
              0.17405,
              0.21606,
              0.2931,
              0.44886,
              0.7869
            ],
            [
              0.1586,
              0.1866,
              0.2118,
              0.2575,
              0.3394,
              0.4901,
              0.8071
            ],
            [
              0.202,
              0.2348,
              0.2638,
              0.3152,
              0.4052,
              0.5639,
              0.8626
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09898,
              0.14218,
              0.18498,
              0.27093,
              0.44202,
              0.78343,
              1.46523
            ],
            [
              0.09898,
              0.14222,
              0.18489,
              0.27105,
              0.44199,
              0.78379,
              1.46541
            ],
            [
              0.099,
              0.14212,
              0.1849,
              0.27089,
              0.44184,
              0.78348,
              1.46601
            ],
            [
              0.09889,
              0.14223,
              0.18508,
              0.27106,
              0.44203,
              0.78351,
              1.46412
            ],
            [
              0.09911,
              0.14217,
              0.18515,
              0.27085,
              0.44201,
              0.78366,
              1.46501
            ],
            [
              0.0992,
              0.14224,
              0.18506,
              0.27059,
              0.44206,
              0.78357,
              1.46421
            ],
            [
              0.09935,
              0.14237,
              0.18516,
              0.27107,
              0.44203,
              0.78383,
              1.46533
            ],
            [
              0.10093,
              0.14297,
              0.18558,
              0.27093,
              0.44166,
              0.78326,
              1.46411
            ],
            [
              0.11009,
              0.1494,
              0.18967,
              0.27221,
              0.44174,
              0.78334,
              1.46567
            ],
            [
              0.12942,
              0.16686,
              0.20429,
              0.28248,
              0.44502,
              0.78363,
              1.4658
            ],
            [
              0.15644,
              0.19759,
              0.2361,
              0.30907,
              0.46171,
              0.7867,
              1.466
            ],
            [
              0.1973,
              0.2416,
              0.2827,
              0.3599,
              0.5036,
              0.8088,
              1.4662
            ],
            [
              0.2561,
              0.3054,
              0.3505,
              0.433,
              0.583,
              0.8674,
              1.4904
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.08202,
              0.10127,
              0.11956,
              0.15483,
              0.22294,
              0.35598,
              0.61895
            ],
            [
              0.08445,
              0.10372,
              0.122,
              0.15729,
              0.2254,
              0.35853,
              0.6215
            ],
            [
              0.0874,
              0.10667,
              0.12499,
              0.16027,
              0.22837,
              0.36147,
              0.62453
            ],
            [
              0.09159,
              0.11089,
              0.12924,
              0.16454,
              0.23266,
              0.36578,
              0.62874
            ],
            [
              0.09768,
              0.11703,
              0.13539,
              0.17077,
              0.23894,
              0.37206,
              0.63508
            ],
            [
              0.10682,
              0.12616,
              0.14454,
              0.17999,
              0.24824,
              0.38144,
              0.6446
            ],
            [
              0.12093,
              0.14,
              0.15834,
              0.19383,
              0.2622,
              0.39553,
              0.65877
            ],
            [
              0.14044,
              0.16092,
              0.17938,
              0.21475,
              0.28323,
              0.41672,
              0.68006
            ],
            [
              0.16545,
              0.18813,
              0.2087,
              0.24629,
              0.31487,
              0.44862,
              0.71214
            ],
            [
              0.19689,
              0.22288,
              0.2462,
              0.28825,
              0.36218,
              0.49638,
              0.76029
            ],
            [
              0.23475,
              0.2656,
              0.29299,
              0.34162,
              0.42512,
              0.56802,
              0.83232
            ],
            [
              0.27867,
              0.31607,
              0.34917,
              0.40727,
              0.50487,
              0.66637,
              0.94037
            ],
            [
              0.3281,
              0.374,
              0.4144,
              0.4853,
              0.6028,
              0.7913,
              1.0968
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.15915,
              0.18871,
              0.21789,
              0.27593,
              0.39104,
              0.62045,
              1.07837
            ],
            [
              0.16187,
              0.19154,
              0.22079,
              0.27891,
              0.3941,
              0.62341,
              1.08124
            ],
            [
              0.1651,
              0.1949,
              0.22424,
              0.28247,
              0.39776,
              0.62715,
              1.08532
            ],
            [
              0.17006,
              0.19998,
              0.22942,
              0.28775,
              0.40319,
              0.63284,
              1.09098
            ],
            [
              0.17772,
              0.20771,
              0.23726,
              0.29576,
              0.41137,
              0.64107,
              1.09951
            ],
            [
              0.18928,
              0.21938,
              0.249,
              0.30766,
              0.42349,
              0.65336,
              1.11182
            ],
            [
              0.20617,
              0.23628,
              0.26593,
              0.3247,
              0.44072,
              0.671,
              1.12963
            ],
            [
              0.23032,
              0.26034,
              0.28998,
              0.34877,
              0.46489,
              0.69543,
              1.15426
            ],
            [
              0.26461,
              0.29481,
              0.3244,
              0.38309,
              0.49934,
              0.72995,
              1.18925
            ],
            [
              0.30746,
              0.34187,
              0.37385,
              0.43327,
              0.54947,
              0.78039,
              1.23989
            ],
            [
              0.35871,
              0.39877,
              0.43562,
              0.50322,
              0.62362,
              0.85462,
              1.31462
            ],
            [
              0.41827,
              0.46657,
              0.51037,
              0.58937,
              0.72707,
              0.96557,
              1.42567
            ],
            [
              0.4843,
              0.5446,
              0.5983,
              0.6935,
              0.8552,
              1.1256,
              1.5925
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09157,
              0.11301,
              0.13465,
              0.17838,
              0.26685,
              0.44457,
              0.80067
            ],
            [
              0.09155,
              0.11291,
              0.13459,
              0.17836,
              0.2666,
              0.44456,
              0.80063
            ],
            [
              0.0915,
              0.11297,
              0.13459,
              0.17857,
              0.26685,
              0.44485,
              0.80122
            ],
            [
              0.09137,
              0.11281,
              0.13463,
              0.17855,
              0.26674,
              0.44406,
              0.80065
            ],
            [
              0.09097,
              0.11267,
              0.1345,
              0.17831,
              0.26667,
              0.44465,
              0.80067
            ],
            [
              0.09063,
              0.11224,
              0.13422,
              0.17839,
              0.26671,
              0.44428,
              0.80051
            ],
            [
              0.09281,
              0.11345,
              0.13457,
              0.17793,
              0.26686,
              0.44403,
              0.80093
            ],
            [
              0.09877,
              0.1182,
              0.13844,
              0.1801,
              0.26659,
              0.44454,
              0.80123
            ],
            [
              0.11119,
              0.12988,
              0.14839,
              0.18765,
              0.27064,
              0.44447,
              0.80044
            ],
            [
              0.12912,
              0.1491,
              0.16844,
              0.20583,
              0.28313,
              0.44979,
              0.79993
            ],
            [
              0.15512,
              0.17676,
              0.19732,
              0.2368,
              0.31183,
              0.46765,
              0.8049
            ],
            [
              0.1917,
              0.2158,
              0.2384,
              0.281,
              0.3599,
              0.5081,
              0.8258
            ],
            [
              0.2421,
              0.2697,
              0.2954,
              0.343,
              0.4284,
              0.5833,
              0.8805
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.11346,
              0.15461,
              0.19539,
              0.27679,
              0.43881,
              0.76118,
              1.40735
            ],
            [
              0.11347,
              0.15462,
              0.19542,
              0.27686,
              0.43892,
              0.76182,
              1.40699
            ],
            [
              0.11352,
              0.15457,
              0.19535,
              0.2767,
              0.43886,
              0.76199,
              1.40599
            ],
            [
              0.11347,
              0.15462,
              0.19544,
              0.2765,
              0.43891,
              0.76147,
              1.40606
            ],
            [
              0.11336,
              0.15462,
              0.19545,
              0.27669,
              0.43893,
              0.76097,
              1.40687
            ],
            [
              0.11349,
              0.15464,
              0.19544,
              0.27685,
              0.43876,
              0.76184,
              1.40639
            ],
            [
              0.1135,
              0.15468,
              0.19517,
              0.27682,
              0.43887,
              0.76221,
              1.40556
            ],
            [
              0.11441,
              0.15484,
              0.19565,
              0.27658,
              0.43864,
              0.76108,
              1.40549
            ],
            [
              0.12152,
              0.15976,
              0.19839,
              0.27761,
              0.43839,
              0.76191,
              1.40682
            ],
            [
              0.14042,
              0.17578,
              0.21194,
              0.28671,
              0.4414,
              0.76141,
              1.4074
            ],
            [
              0.16917,
              0.20748,
              0.24323,
              0.31208,
              0.45733,
              0.7653,
              1.4075
            ],
            [
              0.2122,
              0.2535,
              0.2917,
              0.3642,
              0.4995,
              0.7881,
              1.4076
            ],
            [
              0.274,
              0.3198,
              0.3621,
              0.4397,
              0.5801,
              0.848,
              1.4343
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.10369,
              0.12231,
              0.14022,
              0.17501,
              0.24259,
              0.37516,
              0.63754
            ],
            [
              0.10649,
              0.12512,
              0.14303,
              0.17784,
              0.24542,
              0.37797,
              0.64032
            ],
            [
              0.10968,
              0.12833,
              0.14624,
              0.18107,
              0.24863,
              0.38124,
              0.64363
            ],
            [
              0.11416,
              0.13284,
              0.15076,
              0.18562,
              0.25322,
              0.38583,
              0.64824
            ],
            [
              0.12045,
              0.13915,
              0.15714,
              0.19203,
              0.25968,
              0.39233,
              0.65471
            ],
            [
              0.12924,
              0.14803,
              0.16605,
              0.20102,
              0.26875,
              0.40146,
              0.66391
            ],
            [
              0.14182,
              0.16064,
              0.17872,
              0.21375,
              0.28161,
              0.41444,
              0.677
            ],
            [
              0.16027,
              0.17915,
              0.19717,
              0.23225,
              0.30028,
              0.43324,
              0.69597
            ],
            [
              0.18428,
              0.20474,
              0.22385,
              0.25964,
              0.32769,
              0.46088,
              0.72382
            ],
            [
              0.21487,
              0.23737,
              0.2583,
              0.29731,
              0.36856,
              0.50199,
              0.76519
            ],
            [
              0.25357,
              0.27888,
              0.30225,
              0.34555,
              0.42364,
              0.56342,
              0.82692
            ],
            [
              0.30157,
              0.33087,
              0.35777,
              0.40687,
              0.49427,
              0.64777,
              0.91947
            ],
            [
              0.3592,
              0.3944,
              0.4263,
              0.4839,
              0.584,
              0.756,
              1.0524
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.12414,
              0.14708,
              0.16949,
              0.21371,
              0.30083,
              0.47374,
              0.81817
            ],
            [
              0.1268,
              0.14978,
              0.17219,
              0.21643,
              0.30358,
              0.47645,
              0.82098
            ],
            [
              0.13016,
              0.15317,
              0.17561,
              0.21986,
              0.30704,
              0.47999,
              0.82443
            ],
            [
              0.13534,
              0.1584,
              0.18088,
              0.22518,
              0.31239,
              0.48536,
              0.82986
            ],
            [
              0.14326,
              0.16637,
              0.18889,
              0.23323,
              0.3205,
              0.49354,
              0.83795
            ],
            [
              0.15503,
              0.17818,
              0.20072,
              0.24514,
              0.33248,
              0.50552,
              0.85009
            ],
            [
              0.17198,
              0.19514,
              0.21771,
              0.26216,
              0.34959,
              0.52276,
              0.86741
            ],
            [
              0.19636,
              0.21958,
              0.24216,
              0.28663,
              0.37408,
              0.5473,
              0.89206
            ],
            [
              0.22951,
              0.25465,
              0.27763,
              0.32214,
              0.40974,
              0.58308,
              0.92785
            ],
            [
              0.26857,
              0.29821,
              0.32514,
              0.374,
              0.46223,
              0.63569,
              0.98069
            ],
            [
              0.31307,
              0.34916,
              0.38152,
              0.43938,
              0.53902,
              0.71412,
              1.05952
            ],
            [
              0.36047,
              0.40577,
              0.44597,
              0.51657,
              0.63537,
              0.83057,
              1.17707
            ],
            [
              0.4079,
              0.4654,
              0.516,
              0.6044,
              0.7498,
              0.9819,
              1.3531
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07981,
              0.10251,
              0.12501,
              0.16978,
              0.2591,
              0.43743,
              0.79472
            ],
            [
              0.07979,
              0.10251,
              0.125,
              0.16981,
              0.25897,
              0.43754,
              0.7946
            ],
            [
              0.07984,
              0.10249,
              0.12501,
              0.16987,
              0.25918,
              0.43748,
              0.7947
            ],
            [
              0.07987,
              0.10251,
              0.12501,
              0.16977,
              0.25913,
              0.43744,
              0.79464
            ],
            [
              0.07978,
              0.10248,
              0.12499,
              0.16986,
              0.25922,
              0.4372,
              0.79467
            ],
            [
              0.07964,
              0.10236,
              0.12497,
              0.16981,
              0.25892,
              0.43739,
              0.79468
            ],
            [
              0.08,
              0.10244,
              0.12482,
              0.16962,
              0.25912,
              0.43771,
              0.7946
            ],
            [
              0.08317,
              0.10492,
              0.1267,
              0.17047,
              0.25885,
              0.43768,
              0.79465
            ],
            [
              0.09144,
              0.11253,
              0.13341,
              0.17544,
              0.26148,
              0.43745,
              0.79448
            ],
            [
              0.10339,
              0.12579,
              0.14717,
              0.18826,
              0.27037,
              0.44113,
              0.79433
            ],
            [
              0.12037,
              0.14433,
              0.16712,
              0.21051,
              0.29179,
              0.45543,
              0.7975
            ],
            [
              0.1459,
              0.1716,
              0.1957,
              0.2417,
              0.3273,
              0.4873,
              0.8166
            ],
            [
              0.1832,
              0.2117,
              0.2379,
              0.2868,
              0.3769,
              0.544,
              0.8613
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09776,
              0.1274,
              0.15743,
              0.21791,
              0.33805,
              0.57812,
              1.05681
            ],
            [
              0.0976,
              0.12748,
              0.15741,
              0.2179,
              0.33816,
              0.57826,
              1.05733
            ],
            [
              0.0977,
              0.12759,
              0.15759,
              0.21787,
              0.33785,
              0.57797,
              1.05693
            ],
            [
              0.09748,
              0.12746,
              0.15741,
              0.21777,
              0.33793,
              0.57799,
              1.05666
            ],
            [
              0.09746,
              0.1275,
              0.15743,
              0.21786,
              0.33811,
              0.57801,
              1.05751
            ],
            [
              0.09763,
              0.12766,
              0.15752,
              0.21794,
              0.33799,
              0.57823,
              1.05661
            ],
            [
              0.09788,
              0.12771,
              0.15748,
              0.21793,
              0.33805,
              0.57774,
              1.0568
            ],
            [
              0.10053,
              0.12905,
              0.15828,
              0.2179,
              0.33812,
              0.57822,
              1.05728
            ],
            [
              0.11129,
              0.13762,
              0.16499,
              0.22144,
              0.33831,
              0.57808,
              1.05747
            ],
            [
              0.13478,
              0.16,
              0.1845,
              0.23631,
              0.34628,
              0.5785,
              1.05743
            ],
            [
              0.16907,
              0.19698,
              0.22328,
              0.27235,
              0.37191,
              0.5895,
              1.0568
            ],
            [
              0.2187,
              0.2499,
              0.279,
              0.3329,
              0.4298,
              0.6272,
              1.0677
            ],
            [
              0.2867,
              0.3232,
              0.3563,
              0.417,
              0.5239,
              0.7117,
              1.1142
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.08394,
              0.1034,
              0.12179,
              0.15715,
              0.22525,
              0.35816,
              0.62071
            ],
            [
              0.08667,
              0.10612,
              0.12451,
              0.15988,
              0.22799,
              0.3609,
              0.62346
            ],
            [
              0.08978,
              0.10925,
              0.12764,
              0.16302,
              0.23113,
              0.36404,
              0.62662
            ],
            [
              0.09417,
              0.11367,
              0.13207,
              0.16748,
              0.23561,
              0.36851,
              0.63109
            ],
            [
              0.1004,
              0.11993,
              0.13837,
              0.17381,
              0.24197,
              0.37491,
              0.63753
            ],
            [
              0.10925,
              0.12878,
              0.14725,
              0.18275,
              0.25097,
              0.38399,
              0.64659
            ],
            [
              0.12217,
              0.14153,
              0.15998,
              0.1955,
              0.26381,
              0.39691,
              0.65961
            ],
            [
              0.13986,
              0.16011,
              0.17867,
              0.2141,
              0.28248,
              0.41571,
              0.67855
            ],
            [
              0.16221,
              0.18421,
              0.20433,
              0.24144,
              0.30998,
              0.44341,
              0.70646
            ],
            [
              0.1905,
              0.21486,
              0.23701,
              0.27764,
              0.35055,
              0.48453,
              0.74789
            ],
            [
              0.22591,
              0.25356,
              0.27852,
              0.32383,
              0.40415,
              0.54592,
              0.80972
            ],
            [
              0.26887,
              0.30137,
              0.33037,
              0.38237,
              0.47267,
              0.62887,
              0.90227
            ],
            [
              0.3189,
              0.3586,
              0.3935,
              0.4551,
              0.5594,
              0.735,
              1.0343
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.15063,
              0.18118,
              0.21117,
              0.2705,
              0.38775,
              0.62076,
              1.08517
            ],
            [
              0.15318,
              0.18377,
              0.21375,
              0.27309,
              0.39037,
              0.62339,
              1.08794
            ],
            [
              0.1564,
              0.18703,
              0.21707,
              0.27646,
              0.39375,
              0.62688,
              1.09132
            ],
            [
              0.16148,
              0.19217,
              0.22226,
              0.28169,
              0.39904,
              0.63213,
              1.09658
            ],
            [
              0.16923,
              0.19999,
              0.23014,
              0.28964,
              0.40707,
              0.64022,
              1.10481
            ],
            [
              0.1807,
              0.2115,
              0.24168,
              0.30128,
              0.4188,
              0.652,
              1.11662
            ],
            [
              0.19684,
              0.22766,
              0.25792,
              0.31759,
              0.43519,
              0.66863,
              1.13323
            ],
            [
              0.21933,
              0.2502,
              0.2804,
              0.34009,
              0.45781,
              0.69125,
              1.15616
            ],
            [
              0.25039,
              0.28182,
              0.31203,
              0.37171,
              0.48949,
              0.7231,
              1.18825
            ],
            [
              0.28681,
              0.3226,
              0.35571,
              0.41706,
              0.53489,
              0.76859,
              1.23399
            ],
            [
              0.32872,
              0.37008,
              0.40798,
              0.47752,
              0.60142,
              0.83542,
              1.30102
            ],
            [
              0.37497,
              0.42427,
              0.46877,
              0.54947,
              0.69047,
              0.93457,
              1.40067
            ],
            [
              0.4234,
              0.4837,
              0.5376,
              0.6333,
              0.7974,
              1.0737,
              1.5497
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07039,
              0.09267,
              0.11491,
              0.1595,
              0.24814,
              0.42613,
              0.78193
            ],
            [
              0.07034,
              0.09263,
              0.11485,
              0.15949,
              0.24816,
              0.42584,
              0.78241
            ],
            [
              0.07029,
              0.09268,
              0.11496,
              0.15936,
              0.24808,
              0.42578,
              0.78256
            ],
            [
              0.07017,
              0.09262,
              0.11494,
              0.15947,
              0.24825,
              0.42627,
              0.78243
            ],
            [
              0.07003,
              0.09257,
              0.11486,
              0.15933,
              0.24833,
              0.42601,
              0.78238
            ],
            [
              0.0697,
              0.09228,
              0.1147,
              0.15938,
              0.24823,
              0.42609,
              0.78266
            ],
            [
              0.07091,
              0.09278,
              0.11474,
              0.15918,
              0.24819,
              0.42627,
              0.78266
            ],
            [
              0.07537,
              0.09618,
              0.11741,
              0.16047,
              0.24814,
              0.42624,
              0.78233
            ],
            [
              0.08389,
              0.10495,
              0.1251,
              0.16633,
              0.25116,
              0.42586,
              0.78166
            ],
            [
              0.09574,
              0.1179,
              0.13934,
              0.18036,
              0.26116,
              0.43071,
              0.782
            ],
            [
              0.11298,
              0.13663,
              0.15928,
              0.20245,
              0.28393,
              0.44563,
              0.7866
            ],
            [
              0.1386,
              0.1642,
              0.1882,
              0.234,
              0.3193,
              0.479,
              0.8052
            ],
            [
              0.1765,
              0.2047,
              0.231,
              0.2796,
              0.3695,
              0.5361,
              0.8514
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.11234,
              0.15345,
              0.1945,
              0.27659,
              0.44035,
              0.7668,
              1.41893
            ],
            [
              0.11222,
              0.15346,
              0.19448,
              0.27669,
              0.4404,
              0.76675,
              1.41728
            ],
            [
              0.11238,
              0.15367,
              0.19464,
              0.27686,
              0.43994,
              0.76668,
              1.41812
            ],
            [
              0.11224,
              0.15362,
              0.1945,
              0.27674,
              0.44042,
              0.76682,
              1.41894
            ],
            [
              0.11231,
              0.15365,
              0.19446,
              0.27684,
              0.4404,
              0.76694,
              1.41912
            ],
            [
              0.11234,
              0.15364,
              0.19477,
              0.27684,
              0.43978,
              0.76694,
              1.41842
            ],
            [
              0.11253,
              0.15374,
              0.19463,
              0.27687,
              0.44021,
              0.76654,
              1.41845
            ],
            [
              0.11386,
              0.15424,
              0.19502,
              0.27653,
              0.44029,
              0.76676,
              1.41818
            ],
            [
              0.12193,
              0.16038,
              0.19901,
              0.27813,
              0.44043,
              0.76635,
              1.41824
            ],
            [
              0.14056,
              0.17686,
              0.21337,
              0.28832,
              0.44395,
              0.76641,
              1.41808
            ],
            [
              0.1674,
              0.20689,
              0.24444,
              0.31514,
              0.46201,
              0.7718,
              1.4189
            ],
            [
              0.2072,
              0.2501,
              0.2902,
              0.3654,
              0.5049,
              0.797,
              1.4214
            ],
            [
              0.2643,
              0.3118,
              0.3559,
              0.4372,
              0.5846,
              0.8594,
              1.4509
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.08711,
              0.10635,
              0.12466,
              0.15992,
              0.22802,
              0.36108,
              0.62415
            ],
            [
              0.08984,
              0.10908,
              0.12737,
              0.16266,
              0.23075,
              0.36382,
              0.62679
            ],
            [
              0.09295,
              0.11221,
              0.13051,
              0.16582,
              0.23391,
              0.36698,
              0.62995
            ],
            [
              0.09735,
              0.11664,
              0.13498,
              0.17026,
              0.23841,
              0.37152,
              0.63445
            ],
            [
              0.10358,
              0.1229,
              0.14125,
              0.17662,
              0.24477,
              0.37792,
              0.64089
            ],
            [
              0.11239,
              0.13174,
              0.15014,
              0.18556,
              0.25379,
              0.38701,
              0.65001
            ],
            [
              0.12522,
              0.14445,
              0.16282,
              0.19831,
              0.26662,
              0.39991,
              0.66304
            ],
            [
              0.14309,
              0.16306,
              0.18145,
              0.21687,
              0.28529,
              0.4187,
              0.68205
            ],
            [
              0.16572,
              0.1874,
              0.20733,
              0.24428,
              0.31278,
              0.4464,
              0.70986
            ],
            [
              0.19442,
              0.21837,
              0.24031,
              0.28071,
              0.35346,
              0.48756,
              0.75129
            ],
            [
              0.23042,
              0.25757,
              0.28223,
              0.32726,
              0.40732,
              0.54902,
              0.81312
            ],
            [
              0.27437,
              0.30617,
              0.33477,
              0.38627,
              0.47617,
              0.63217,
              0.90577
            ],
            [
              0.326,
              0.3646,
              0.399,
              0.4598,
              0.5636,
              0.7389,
              1.038
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.16617,
              0.19479,
              0.22295,
              0.27869,
              0.3888,
              0.60748,
              1.04327
            ],
            [
              0.16879,
              0.19742,
              0.22558,
              0.28133,
              0.39145,
              0.61013,
              1.04594
            ],
            [
              0.17208,
              0.20073,
              0.22892,
              0.2847,
              0.39486,
              0.61361,
              1.04922
            ],
            [
              0.17722,
              0.20594,
              0.23417,
              0.28997,
              0.40016,
              0.61892,
              1.05458
            ],
            [
              0.18509,
              0.21385,
              0.2421,
              0.29796,
              0.40822,
              0.62703,
              1.06281
            ],
            [
              0.19664,
              0.22545,
              0.25372,
              0.30967,
              0.42,
              0.6389,
              1.07482
            ],
            [
              0.21294,
              0.24175,
              0.2701,
              0.32611,
              0.43653,
              0.65553,
              1.09143
            ],
            [
              0.23576,
              0.26457,
              0.29292,
              0.34894,
              0.45944,
              0.67851,
              1.11456
            ],
            [
              0.26788,
              0.29679,
              0.32514,
              0.38117,
              0.49175,
              0.71096,
              1.14725
            ],
            [
              0.30822,
              0.34059,
              0.37095,
              0.42769,
              0.53833,
              0.75769,
              1.19419
            ],
            [
              0.35533,
              0.39268,
              0.42737,
              0.49152,
              0.60692,
              0.82652,
              1.26322
            ],
            [
              0.40867,
              0.45307,
              0.49387,
              0.56837,
              0.69987,
              0.92877,
              1.36607
            ],
            [
              0.4664,
              0.5206,
              0.5699,
              0.6586,
              0.8122,
              1.0724,
              1.5197
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09146,
              0.11288,
              0.13465,
              0.1785,
              0.26678,
              0.44467,
              0.80115
            ],
            [
              0.09141,
              0.11284,
              0.1346,
              0.17849,
              0.26676,
              0.44468,
              0.79989
            ],
            [
              0.09138,
              0.11282,
              0.13459,
              0.17851,
              0.26696,
              0.44442,
              0.80039
            ],
            [
              0.09129,
              0.11283,
              0.1346,
              0.17832,
              0.26674,
              0.44418,
              0.80084
            ],
            [
              0.09115,
              0.11276,
              0.13451,
              0.17841,
              0.26674,
              0.44471,
              0.80074
            ],
            [
              0.09074,
              0.11249,
              0.13441,
              0.17829,
              0.26667,
              0.44405,
              0.80043
            ],
            [
              0.09193,
              0.11292,
              0.13445,
              0.17812,
              0.2666,
              0.44468,
              0.80042
            ],
            [
              0.09611,
              0.11625,
              0.13701,
              0.17948,
              0.26675,
              0.44428,
              0.80001
            ],
            [
              0.10549,
              0.12494,
              0.14454,
              0.18522,
              0.26987,
              0.44501,
              0.80071
            ],
            [
              0.11908,
              0.13962,
              0.15973,
              0.19915,
              0.27966,
              0.44898,
              0.80055
            ],
            [
              0.13873,
              0.16028,
              0.18163,
              0.22293,
              0.30223,
              0.46402,
              0.8054
            ],
            [
              0.1675,
              0.1907,
              0.2132,
              0.2564,
              0.3395,
              0.497,
              0.8243
            ],
            [
              0.2103,
              0.2353,
              0.2592,
              0.3052,
              0.392,
              0.5556,
              0.8698
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.12438,
              0.16368,
              0.20271,
              0.2805,
              0.4347,
              0.74323,
              1.35778
            ],
            [
              0.12432,
              0.16364,
              0.20271,
              0.28051,
              0.43453,
              0.74344,
              1.35788
            ],
            [
              0.1242,
              0.1637,
              0.20264,
              0.28012,
              0.43512,
              0.74322,
              1.35872
            ],
            [
              0.12434,
              0.1637,
              0.20271,
              0.2805,
              0.43482,
              0.74281,
              1.35867
            ],
            [
              0.12433,
              0.16368,
              0.20273,
              0.28033,
              0.43454,
              0.74314,
              1.35874
            ],
            [
              0.12437,
              0.1637,
              0.20244,
              0.28043,
              0.43506,
              0.74346,
              1.35701
            ],
            [
              0.12443,
              0.1637,
              0.20273,
              0.28014,
              0.43505,
              0.74267,
              1.35847
            ],
            [
              0.12512,
              0.16404,
              0.20285,
              0.28021,
              0.43475,
              0.7435,
              1.3581
            ],
            [
              0.13202,
              0.169,
              0.20614,
              0.28147,
              0.43476,
              0.74259,
              1.35708
            ],
            [
              0.14997,
              0.18443,
              0.21916,
              0.29096,
              0.43859,
              0.74323,
              1.35748
            ],
            [
              0.1786,
              0.21544,
              0.25042,
              0.31738,
              0.45608,
              0.7485,
              1.3573
            ],
            [
              0.2207,
              0.2605,
              0.2981,
              0.3683,
              0.4989,
              0.774,
              1.3609
            ],
            [
              0.2808,
              0.3253,
              0.3661,
              0.4423,
              0.5807,
              0.8386,
              1.3925
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03338,
              0.04538,
              0.05701,
              0.08001,
              0.1256,
              0.21657,
              0.39804
            ],
            [
              0.03562,
              0.04776,
              0.05952,
              0.08263,
              0.12832,
              0.21927,
              0.40103
            ],
            [
              0.03847,
              0.05073,
              0.06254,
              0.08577,
              0.13148,
              0.22255,
              0.40434
            ],
            [
              0.04286,
              0.0553,
              0.06722,
              0.09057,
              0.13639,
              0.22748,
              0.4093
            ],
            [
              0.04988,
              0.06222,
              0.07423,
              0.09767,
              0.14372,
              0.23502,
              0.4169
            ],
            [
              0.05863,
              0.07299,
              0.08493,
              0.10858,
              0.15464,
              0.24608,
              0.42819
            ],
            [
              0.06887,
              0.08647,
              0.10077,
              0.12494,
              0.17119,
              0.26279,
              0.44489
            ],
            [
              0.08081,
              0.1024,
              0.11998,
              0.14888,
              0.19634,
              0.28785,
              0.46987
            ],
            [
              0.09452,
              0.12113,
              0.14271,
              0.17825,
              0.23368,
              0.32583,
              0.50814
            ],
            [
              0.11002,
              0.14276,
              0.16928,
              0.21303,
              0.28073,
              0.38289,
              0.56481
            ],
            [
              0.12702,
              0.16736,
              0.20007,
              0.2538,
              0.3369,
              0.46132,
              0.65032
            ],
            [
              0.14487,
              0.19457,
              0.23487,
              0.30117,
              0.40347,
              0.55587,
              0.77877
            ],
            [
              0.1624,
              0.2236,
              0.2733,
              0.3548,
              0.4808,
              0.6681,
              0.9404
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.05046,
              0.07096,
              0.09077,
              0.12999,
              0.20742,
              0.36156,
              0.67076
            ],
            [
              0.05228,
              0.07306,
              0.09307,
              0.13234,
              0.21001,
              0.36501,
              0.67197
            ],
            [
              0.05479,
              0.07571,
              0.09582,
              0.13529,
              0.21306,
              0.36755,
              0.67698
            ],
            [
              0.0591,
              0.07998,
              0.10025,
              0.13986,
              0.2179,
              0.37267,
              0.68195
            ],
            [
              0.06634,
              0.08687,
              0.10713,
              0.14681,
              0.22499,
              0.37953,
              0.68934
            ],
            [
              0.07805,
              0.09803,
              0.1181,
              0.15771,
              0.23614,
              0.39111,
              0.7003
            ],
            [
              0.09353,
              0.11568,
              0.13526,
              0.17485,
              0.25308,
              0.40801,
              0.71762
            ],
            [
              0.11133,
              0.13944,
              0.16201,
              0.2011,
              0.2791,
              0.43388,
              0.74335
            ],
            [
              0.13191,
              0.16717,
              0.19552,
              0.24135,
              0.31877,
              0.47362,
              0.78195
            ],
            [
              0.15551,
              0.19949,
              0.23496,
              0.29235,
              0.37965,
              0.53338,
              0.84229
            ],
            [
              0.18267,
              0.2368,
              0.28095,
              0.35282,
              0.46202,
              0.62452,
              0.93132
            ],
            [
              0.21437,
              0.27997,
              0.33417,
              0.42337,
              0.55997,
              0.75877,
              1.06847
            ],
            [
              0.2522,
              0.3303,
              0.3958,
              0.5051,
              0.675,
              0.9237,
              1.2758
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02661,
              0.04206,
              0.05758,
              0.08871,
              0.15066,
              0.275,
              0.5227
            ],
            [
              0.02657,
              0.04205,
              0.05759,
              0.08868,
              0.15072,
              0.27489,
              0.52335
            ],
            [
              0.02659,
              0.04206,
              0.05757,
              0.08866,
              0.15067,
              0.27474,
              0.52308
            ],
            [
              0.02663,
              0.04206,
              0.05759,
              0.0887,
              0.1506,
              0.27465,
              0.5232
            ],
            [
              0.02878,
              0.04263,
              0.05754,
              0.08858,
              0.15069,
              0.27486,
              0.52314
            ],
            [
              0.03428,
              0.04625,
              0.05971,
              0.0888,
              0.15077,
              0.27492,
              0.52339
            ],
            [
              0.04158,
              0.05477,
              0.06642,
              0.09265,
              0.15105,
              0.27473,
              0.52314
            ],
            [
              0.05133,
              0.06656,
              0.07971,
              0.10317,
              0.15598,
              0.27492,
              0.52291
            ],
            [
              0.06459,
              0.08224,
              0.09728,
              0.12333,
              0.17055,
              0.27963,
              0.52325
            ],
            [
              0.08244,
              0.10322,
              0.12089,
              0.15066,
              0.20045,
              0.29754,
              0.52558
            ],
            [
              0.10634,
              0.13134,
              0.15208,
              0.18701,
              0.24413,
              0.33884,
              0.54462
            ],
            [
              0.13855,
              0.16884,
              0.19371,
              0.235,
              0.3015,
              0.408,
              0.5958
            ],
            [
              0.1821,
              0.2189,
              0.249,
              0.2988,
              0.3773,
              0.5009,
              0.6975
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.04649,
              0.07445,
              0.10219,
              0.15726,
              0.2678,
              0.48862,
              0.92933
            ],
            [
              0.04637,
              0.07446,
              0.10204,
              0.15756,
              0.26765,
              0.4881,
              0.92984
            ],
            [
              0.04648,
              0.07412,
              0.10214,
              0.1573,
              0.26795,
              0.48861,
              0.92919
            ],
            [
              0.0463,
              0.07401,
              0.10192,
              0.15733,
              0.26743,
              0.4883,
              0.92895
            ],
            [
              0.04609,
              0.07406,
              0.10211,
              0.15742,
              0.26753,
              0.48865,
              0.92899
            ],
            [
              0.05023,
              0.07483,
              0.1018,
              0.1574,
              0.26742,
              0.48848,
              0.9294
            ],
            [
              0.06057,
              0.08124,
              0.10503,
              0.15751,
              0.26728,
              0.48857,
              0.92962
            ],
            [
              0.07671,
              0.09632,
              0.11638,
              0.16279,
              0.26737,
              0.48828,
              0.92832
            ],
            [
              0.09591,
              0.12111,
              0.14044,
              0.18018,
              0.27454,
              0.48818,
              0.92976
            ],
            [
              0.12041,
              0.15152,
              0.1761,
              0.21604,
              0.29749,
              0.49317,
              0.92943
            ],
            [
              0.15117,
              0.18997,
              0.22068,
              0.27032,
              0.34769,
              0.5198,
              0.9303
            ],
            [
              0.18931,
              0.23822,
              0.2771,
              0.3389,
              0.4321,
              0.5855,
              0.9541
            ],
            [
              0.2373,
              0.298,
              0.3467,
              0.4253,
              0.5416,
              0.7109,
              1.034
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03342,
              0.0454,
              0.05703,
              0.08002,
              0.12561,
              0.21654,
              0.39822
            ],
            [
              0.03571,
              0.04784,
              0.05953,
              0.08262,
              0.12829,
              0.21918,
              0.40109
            ],
            [
              0.03858,
              0.05083,
              0.06264,
              0.08587,
              0.13168,
              0.22266,
              0.40417
            ],
            [
              0.043,
              0.05545,
              0.06737,
              0.09069,
              0.13661,
              0.2277,
              0.40946
            ],
            [
              0.05006,
              0.06241,
              0.07437,
              0.09784,
              0.14398,
              0.23491,
              0.41705
            ],
            [
              0.05887,
              0.07323,
              0.08521,
              0.10866,
              0.155,
              0.2463,
              0.42832
            ],
            [
              0.06915,
              0.08674,
              0.10108,
              0.12525,
              0.17156,
              0.26302,
              0.44513
            ],
            [
              0.08111,
              0.10276,
              0.12032,
              0.14924,
              0.19656,
              0.2882,
              0.47011
            ],
            [
              0.09479,
              0.12144,
              0.14303,
              0.17858,
              0.23377,
              0.32612,
              0.50842
            ],
            [
              0.11019,
              0.14302,
              0.16967,
              0.21328,
              0.28107,
              0.38316,
              0.56511
            ],
            [
              0.12704,
              0.16746,
              0.20032,
              0.25408,
              0.33723,
              0.46172,
              0.65062
            ],
            [
              0.14462,
              0.19437,
              0.23487,
              0.30117,
              0.40367,
              0.55617,
              0.77907
            ],
            [
              0.1615,
              0.223,
              0.273,
              0.3547,
              0.4809,
              0.6684,
              0.9407
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.05534,
              0.07886,
              0.10153,
              0.14642,
              0.23532,
              0.41174,
              0.76612
            ],
            [
              0.05683,
              0.0807,
              0.10365,
              0.14865,
              0.23764,
              0.41468,
              0.76879
            ],
            [
              0.05913,
              0.08308,
              0.10613,
              0.15144,
              0.24079,
              0.41839,
              0.77161
            ],
            [
              0.06317,
              0.08701,
              0.1103,
              0.15579,
              0.24502,
              0.42301,
              0.77638
            ],
            [
              0.07007,
              0.09353,
              0.11669,
              0.16245,
              0.25208,
              0.42995,
              0.78456
            ],
            [
              0.0814,
              0.10415,
              0.1272,
              0.17274,
              0.26269,
              0.44093,
              0.79417
            ],
            [
              0.0976,
              0.12127,
              0.1437,
              0.18906,
              0.27896,
              0.45669,
              0.81205
            ],
            [
              0.11609,
              0.14586,
              0.16989,
              0.21437,
              0.30399,
              0.48176,
              0.83686
            ],
            [
              0.13749,
              0.17472,
              0.20475,
              0.25376,
              0.34223,
              0.51997,
              0.87295
            ],
            [
              0.16208,
              0.20831,
              0.24582,
              0.30679,
              0.40117,
              0.57777,
              0.93139
            ],
            [
              0.19041,
              0.24715,
              0.29359,
              0.36946,
              0.48582,
              0.66612,
              1.01842
            ],
            [
              0.22367,
              0.29217,
              0.34897,
              0.44277,
              0.58737,
              0.79997,
              1.15097
            ],
            [
              0.2634,
              0.3448,
              0.4133,
              0.5279,
              0.7066,
              0.9707,
              1.3523
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02659,
              0.04204,
              0.05754,
              0.08869,
              0.1508,
              0.27501,
              0.52313
            ],
            [
              0.0266,
              0.04206,
              0.05758,
              0.08869,
              0.15079,
              0.27464,
              0.52336
            ],
            [
              0.02659,
              0.04206,
              0.05755,
              0.08864,
              0.15083,
              0.27493,
              0.52289
            ],
            [
              0.0266,
              0.04205,
              0.05758,
              0.08869,
              0.15078,
              0.27502,
              0.52329
            ],
            [
              0.0287,
              0.04258,
              0.05753,
              0.08858,
              0.15075,
              0.27476,
              0.52338
            ],
            [
              0.03416,
              0.04614,
              0.05962,
              0.08888,
              0.1507,
              0.27491,
              0.5234
            ],
            [
              0.04139,
              0.05458,
              0.0662,
              0.09253,
              0.15103,
              0.27475,
              0.52313
            ],
            [
              0.05117,
              0.06628,
              0.07949,
              0.10298,
              0.15589,
              0.27482,
              0.52295
            ],
            [
              0.06437,
              0.082,
              0.09703,
              0.12307,
              0.17053,
              0.27957,
              0.52328
            ],
            [
              0.08221,
              0.10298,
              0.12055,
              0.15041,
              0.20019,
              0.29742,
              0.52553
            ],
            [
              0.10619,
              0.13106,
              0.15194,
              0.1867,
              0.24376,
              0.33852,
              0.54451
            ],
            [
              0.13852,
              0.16871,
              0.19358,
              0.2348,
              0.3013,
              0.4077,
              0.5955
            ],
            [
              0.1825,
              0.219,
              0.249,
              0.2987,
              0.3772,
              0.5007,
              0.6973
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.05399,
              0.08608,
              0.11757,
              0.1805,
              0.30587,
              0.55706,
              1.0587
            ],
            [
              0.05402,
              0.08603,
              0.11759,
              0.18034,
              0.30626,
              0.55726,
              1.05864
            ],
            [
              0.05372,
              0.08595,
              0.11728,
              0.18067,
              0.3062,
              0.55713,
              1.05744
            ],
            [
              0.05341,
              0.08579,
              0.11755,
              0.18051,
              0.30612,
              0.55712,
              1.05857
            ],
            [
              0.05297,
              0.08527,
              0.11715,
              0.18065,
              0.30624,
              0.55675,
              1.0584
            ],
            [
              0.05621,
              0.08516,
              0.11694,
              0.18031,
              0.30615,
              0.55703,
              1.05811
            ],
            [
              0.06536,
              0.09058,
              0.1187,
              0.1797,
              0.30616,
              0.55674,
              1.0585
            ],
            [
              0.08211,
              0.10414,
              0.12869,
              0.18379,
              0.30583,
              0.55696,
              1.05866
            ],
            [
              0.10118,
              0.12916,
              0.15083,
              0.19846,
              0.30945,
              0.5569,
              1.05822
            ],
            [
              0.12597,
              0.15956,
              0.18688,
              0.23188,
              0.32932,
              0.55847,
              1.05738
            ],
            [
              0.15679,
              0.1985,
              0.2321,
              0.28642,
              0.37534,
              0.58053,
              1.0571
            ],
            [
              0.19522,
              0.24732,
              0.289,
              0.356,
              0.4585,
              0.6385,
              1.0748
            ],
            [
              0.2437,
              0.3075,
              0.36,
              0.4433,
              0.5694,
              0.7569,
              1.1414
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03342,
              0.04542,
              0.05699,
              0.08001,
              0.12562,
              0.21656,
              0.39814
            ],
            [
              0.03567,
              0.04785,
              0.05957,
              0.08264,
              0.12837,
              0.21922,
              0.40107
            ],
            [
              0.03855,
              0.05082,
              0.06265,
              0.08589,
              0.13168,
              0.2227,
              0.40451
            ],
            [
              0.04297,
              0.0554,
              0.06733,
              0.09068,
              0.13656,
              0.2277,
              0.40951
            ],
            [
              0.05002,
              0.06237,
              0.07434,
              0.09779,
              0.14392,
              0.23507,
              0.417
            ],
            [
              0.0588,
              0.07317,
              0.08514,
              0.10862,
              0.15494,
              0.24624,
              0.42833
            ],
            [
              0.06909,
              0.08667,
              0.10099,
              0.12518,
              0.17136,
              0.26295,
              0.44506
            ],
            [
              0.08101,
              0.10267,
              0.12022,
              0.14913,
              0.19651,
              0.28812,
              0.47004
            ],
            [
              0.0947,
              0.12135,
              0.14293,
              0.17849,
              0.23381,
              0.32604,
              0.50833
            ],
            [
              0.11019,
              0.14293,
              0.16958,
              0.21318,
              0.28094,
              0.38309,
              0.56502
            ],
            [
              0.12703,
              0.16742,
              0.20027,
              0.25399,
              0.33715,
              0.46162,
              0.65062
            ],
            [
              0.14468,
              0.19447,
              0.23487,
              0.30117,
              0.40357,
              0.55607,
              0.77907
            ],
            [
              0.1618,
              0.2232,
              0.2731,
              0.3547,
              0.4808,
              0.6683,
              0.9406
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.05401,
              0.07657,
              0.09843,
              0.14159,
              0.22692,
              0.39718,
              0.73592
            ],
            [
              0.05561,
              0.07858,
              0.10061,
              0.14388,
              0.22947,
              0.39993,
              0.73861
            ],
            [
              0.05799,
              0.08103,
              0.10322,
              0.14678,
              0.2325,
              0.40309,
              0.74158
            ],
            [
              0.0621,
              0.08496,
              0.1073,
              0.15101,
              0.23691,
              0.40776,
              0.7477
            ],
            [
              0.06909,
              0.09165,
              0.11396,
              0.15767,
              0.24389,
              0.41457,
              0.75497
            ],
            [
              0.0805,
              0.10239,
              0.12452,
              0.16837,
              0.25467,
              0.42572,
              0.76643
            ],
            [
              0.09648,
              0.11969,
              0.14126,
              0.18496,
              0.27093,
              0.44209,
              0.78236
            ],
            [
              0.11474,
              0.14406,
              0.16765,
              0.21043,
              0.29625,
              0.4667,
              0.80803
            ],
            [
              0.13587,
              0.17252,
              0.20202,
              0.25014,
              0.33515,
              0.50538,
              0.84555
            ],
            [
              0.16014,
              0.20569,
              0.24261,
              0.30249,
              0.39462,
              0.56435,
              0.90429
            ],
            [
              0.1881,
              0.24404,
              0.28979,
              0.36442,
              0.47862,
              0.65322,
              0.99202
            ],
            [
              0.22087,
              0.28847,
              0.34447,
              0.43687,
              0.57907,
              0.78747,
              1.12547
            ],
            [
              0.26,
              0.3404,
              0.408,
              0.521,
              0.6969,
              0.9564,
              1.3284
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02661,
              0.04207,
              0.05758,
              0.0887,
              0.15082,
              0.27502,
              0.52285
            ],
            [
              0.02657,
              0.04208,
              0.05755,
              0.08871,
              0.15084,
              0.27484,
              0.52334
            ],
            [
              0.02659,
              0.04205,
              0.05751,
              0.08862,
              0.15084,
              0.27499,
              0.52336
            ],
            [
              0.02661,
              0.04207,
              0.05758,
              0.0887,
              0.15072,
              0.27501,
              0.52336
            ],
            [
              0.02873,
              0.04261,
              0.05754,
              0.08859,
              0.15069,
              0.27497,
              0.52335
            ],
            [
              0.03419,
              0.04615,
              0.05964,
              0.08877,
              0.15079,
              0.27491,
              0.52339
            ],
            [
              0.04142,
              0.05463,
              0.06625,
              0.09258,
              0.15103,
              0.27476,
              0.52314
            ],
            [
              0.05119,
              0.06635,
              0.07955,
              0.10304,
              0.1559,
              0.27482,
              0.52296
            ],
            [
              0.06443,
              0.08208,
              0.09711,
              0.12312,
              0.17048,
              0.27958,
              0.52326
            ],
            [
              0.08225,
              0.1031,
              0.12064,
              0.1505,
              0.20029,
              0.29744,
              0.52563
            ],
            [
              0.10625,
              0.13112,
              0.15206,
              0.18679,
              0.24378,
              0.33858,
              0.54453
            ],
            [
              0.13859,
              0.16871,
              0.19359,
              0.2349,
              0.3014,
              0.4078,
              0.5956
            ],
            [
              0.1823,
              0.2189,
              0.2489,
              0.2988,
              0.3773,
              0.5008,
              0.6974
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.05165,
              0.08216,
              0.11274,
              0.17333,
              0.29396,
              0.5354,
              1.01857
            ],
            [
              0.05168,
              0.08235,
              0.11272,
              0.17316,
              0.29383,
              0.53522,
              1.018
            ],
            [
              0.05143,
              0.0823,
              0.11257,
              0.17327,
              0.29378,
              0.53513,
              1.01826
            ],
            [
              0.05111,
              0.08193,
              0.11244,
              0.17335,
              0.29416,
              0.53551,
              1.01736
            ],
            [
              0.05079,
              0.08187,
              0.1125,
              0.17315,
              0.29379,
              0.53561,
              1.01882
            ],
            [
              0.05438,
              0.0821,
              0.11204,
              0.17328,
              0.29373,
              0.53548,
              1.01871
            ],
            [
              0.06384,
              0.08766,
              0.11451,
              0.17301,
              0.29396,
              0.53546,
              1.01861
            ],
            [
              0.08055,
              0.10168,
              0.12482,
              0.17695,
              0.29361,
              0.53553,
              1.01745
            ],
            [
              0.09962,
              0.1266,
              0.14768,
              0.19297,
              0.29846,
              0.53495,
              1.01845
            ],
            [
              0.12428,
              0.15705,
              0.18353,
              0.22661,
              0.31937,
              0.53823,
              1.01845
            ],
            [
              0.15507,
              0.19582,
              0.22864,
              0.28143,
              0.36663,
              0.56113,
              1.0182
            ],
            [
              0.19326,
              0.24451,
              0.2853,
              0.3506,
              0.4502,
              0.6223,
              1.0362
            ],
            [
              0.2416,
              0.3045,
              0.3561,
              0.4377,
              0.5609,
              0.7421,
              1.1082
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03347,
              0.04547,
              0.0571,
              0.08009,
              0.12561,
              0.21654,
              0.3983
            ],
            [
              0.03581,
              0.04798,
              0.05964,
              0.08279,
              0.12845,
              0.21922,
              0.40124
            ],
            [
              0.03874,
              0.05101,
              0.06283,
              0.086,
              0.13174,
              0.22285,
              0.40436
            ],
            [
              0.0433,
              0.05566,
              0.0676,
              0.09088,
              0.13665,
              0.22798,
              0.40964
            ],
            [
              0.05039,
              0.06274,
              0.07473,
              0.0982,
              0.14418,
              0.23528,
              0.41738
            ],
            [
              0.05937,
              0.07365,
              0.08563,
              0.10915,
              0.15531,
              0.24669,
              0.42865
            ],
            [
              0.06981,
              0.08732,
              0.10162,
              0.12565,
              0.17198,
              0.26351,
              0.44574
            ],
            [
              0.08187,
              0.10346,
              0.12099,
              0.14977,
              0.19707,
              0.28874,
              0.47063
            ],
            [
              0.09555,
              0.12221,
              0.14384,
              0.17927,
              0.23449,
              0.32655,
              0.50893
            ],
            [
              0.11085,
              0.14367,
              0.17037,
              0.21409,
              0.2818,
              0.38347,
              0.56572
            ],
            [
              0.12732,
              0.16789,
              0.20088,
              0.25472,
              0.33787,
              0.46232,
              0.65132
            ],
            [
              0.14412,
              0.19437,
              0.23507,
              0.30157,
              0.40427,
              0.55687,
              0.77977
            ],
            [
              0.1596,
              0.2218,
              0.2722,
              0.3544,
              0.4812,
              0.669,
              0.9414
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.06681,
              0.09821,
              0.12857,
              0.18861,
              0.30717,
              0.54367,
              1.01697
            ],
            [
              0.06778,
              0.09957,
              0.13034,
              0.19077,
              0.30964,
              0.54657,
              1.02004
            ],
            [
              0.06953,
              0.10136,
              0.1323,
              0.19299,
              0.31233,
              0.54975,
              1.02112
            ],
            [
              0.07289,
              0.10461,
              0.13576,
              0.19662,
              0.31622,
              0.55363,
              1.02638
            ],
            [
              0.07908,
              0.11027,
              0.14139,
              0.20264,
              0.32258,
              0.5598,
              1.03321
            ],
            [
              0.08965,
              0.1198,
              0.15062,
              0.21187,
              0.33222,
              0.56981,
              1.04372
            ],
            [
              0.10683,
              0.13555,
              0.1656,
              0.2264,
              0.34689,
              0.58501,
              1.05913
            ],
            [
              0.12699,
              0.16102,
              0.18975,
              0.24966,
              0.36951,
              0.60762,
              1.08096
            ],
            [
              0.15044,
              0.19239,
              0.2269,
              0.28598,
              0.40482,
              0.64248,
              1.11715
            ],
            [
              0.17749,
              0.22921,
              0.27157,
              0.34169,
              0.45957,
              0.69639,
              1.17029
            ],
            [
              0.20882,
              0.27184,
              0.32383,
              0.40987,
              0.54422,
              0.77832,
              1.25032
            ],
            [
              0.24577,
              0.32137,
              0.38457,
              0.48987,
              0.65447,
              0.90437,
              1.37437
            ],
            [
              0.2905,
              0.3799,
              0.4555,
              0.583,
              0.7843,
              1.0869,
              1.5623
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02656,
              0.04202,
              0.05756,
              0.08859,
              0.15072,
              0.27497,
              0.52307
            ],
            [
              0.02656,
              0.04207,
              0.05756,
              0.08869,
              0.15073,
              0.27488,
              0.52328
            ],
            [
              0.02657,
              0.04206,
              0.05757,
              0.08867,
              0.15059,
              0.27503,
              0.52265
            ],
            [
              0.02659,
              0.04204,
              0.05757,
              0.08862,
              0.15075,
              0.27494,
              0.52324
            ],
            [
              0.02856,
              0.04251,
              0.05747,
              0.08864,
              0.15074,
              0.27469,
              0.52346
            ],
            [
              0.03384,
              0.04593,
              0.05947,
              0.08882,
              0.15072,
              0.27478,
              0.52325
            ],
            [
              0.04101,
              0.0542,
              0.06586,
              0.09238,
              0.15099,
              0.27474,
              0.52348
            ],
            [
              0.05057,
              0.0658,
              0.07904,
              0.10265,
              0.15575,
              0.27482,
              0.5229
            ],
            [
              0.06386,
              0.08145,
              0.09639,
              0.12255,
              0.17006,
              0.27943,
              0.52327
            ],
            [
              0.0816,
              0.10243,
              0.11993,
              0.14976,
              0.19961,
              0.29728,
              0.52553
            ],
            [
              0.10568,
              0.13052,
              0.15122,
              0.1861,
              0.24331,
              0.33799,
              0.54423
            ],
            [
              0.13825,
              0.16832,
              0.19305,
              0.2345,
              0.3008,
              0.4072,
              0.5951
            ],
            [
              0.1822,
              0.2192,
              0.2493,
              0.2987,
              0.3768,
              0.5002,
              0.6967
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.07462,
              0.11735,
              0.15925,
              0.24237,
              0.40741,
              0.73722,
              1.39785
            ],
            [
              0.07425,
              0.1171,
              0.1594,
              0.24266,
              0.40748,
              0.73749,
              1.39848
            ],
            [
              0.07377,
              0.11703,
              0.15885,
              0.24241,
              0.40792,
              0.73821,
              1.397
            ],
            [
              0.07304,
              0.11639,
              0.15902,
              0.24222,
              0.40775,
              0.73794,
              1.396
            ],
            [
              0.07197,
              0.11587,
              0.15873,
              0.24239,
              0.40746,
              0.73773,
              1.39613
            ],
            [
              0.07299,
              0.11473,
              0.15785,
              0.2423,
              0.40768,
              0.73748,
              1.39667
            ],
            [
              0.07983,
              0.11694,
              0.15685,
              0.24116,
              0.40788,
              0.73697,
              1.39684
            ],
            [
              0.09523,
              0.12742,
              0.16333,
              0.24139,
              0.40755,
              0.73733,
              1.39722
            ],
            [
              0.1153,
              0.14965,
              0.18094,
              0.25111,
              0.40685,
              0.73741,
              1.39817
            ],
            [
              0.13969,
              0.18131,
              0.216,
              0.27745,
              0.41855,
              0.7366,
              1.39822
            ],
            [
              0.17107,
              0.22083,
              0.26133,
              0.32914,
              0.45399,
              0.7466,
              1.3977
            ],
            [
              0.2103,
              0.2705,
              0.3192,
              0.4001,
              0.5279,
              0.788,
              1.3981
            ],
            [
              0.2593,
              0.3319,
              0.3919,
              0.4899,
              0.6417,
              0.8876,
              1.4409
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03416,
              0.04616,
              0.0578,
              0.0808,
              0.12642,
              0.21737,
              0.39908
            ],
            [
              0.03647,
              0.04862,
              0.06036,
              0.08346,
              0.12915,
              0.22017,
              0.40189
            ],
            [
              0.03934,
              0.05163,
              0.06347,
              0.08668,
              0.13246,
              0.22353,
              0.40533
            ],
            [
              0.0438,
              0.05622,
              0.06814,
              0.0915,
              0.13736,
              0.22851,
              0.41032
            ],
            [
              0.05085,
              0.06324,
              0.0752,
              0.09867,
              0.14477,
              0.23604,
              0.41795
            ],
            [
              0.05989,
              0.07407,
              0.08604,
              0.10964,
              0.15582,
              0.24719,
              0.42919
            ],
            [
              0.07044,
              0.08782,
              0.10204,
              0.12614,
              0.17241,
              0.2639,
              0.44601
            ],
            [
              0.0827,
              0.1041,
              0.1215,
              0.15028,
              0.19741,
              0.2891,
              0.47127
            ],
            [
              0.09692,
              0.12314,
              0.14454,
              0.17989,
              0.23491,
              0.3271,
              0.5093
            ],
            [
              0.11297,
              0.14521,
              0.1716,
              0.21495,
              0.28247,
              0.3844,
              0.56632
            ],
            [
              0.13062,
              0.17034,
              0.20284,
              0.25622,
              0.33902,
              0.46322,
              0.65212
            ],
            [
              0.14944,
              0.19827,
              0.23827,
              0.30397,
              0.40607,
              0.55827,
              0.78087
            ],
            [
              0.1681,
              0.2282,
              0.2774,
              0.3585,
              0.484,
              0.6711,
              0.9431
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0751,
              0.09857,
              0.12145,
              0.16678,
              0.2564,
              0.43471,
              0.79074
            ],
            [
              0.07696,
              0.10063,
              0.12367,
              0.16917,
              0.25896,
              0.43741,
              0.79354
            ],
            [
              0.07938,
              0.10317,
              0.12635,
              0.17203,
              0.26194,
              0.44052,
              0.79676
            ],
            [
              0.08335,
              0.10724,
              0.13051,
              0.17633,
              0.26649,
              0.4452,
              0.80156
            ],
            [
              0.08992,
              0.11377,
              0.1371,
              0.18303,
              0.27338,
              0.4523,
              0.80882
            ],
            [
              0.10057,
              0.12418,
              0.14746,
              0.19343,
              0.28403,
              0.46328,
              0.82007
            ],
            [
              0.11777,
              0.14084,
              0.16393,
              0.20982,
              0.3003,
              0.47969,
              0.83664
            ],
            [
              0.14178,
              0.16708,
              0.18957,
              0.23508,
              0.32539,
              0.50463,
              0.86166
            ],
            [
              0.16965,
              0.20131,
              0.22809,
              0.27412,
              0.36385,
              0.5424,
              0.89945
            ],
            [
              0.20208,
              0.24149,
              0.2749,
              0.33113,
              0.42282,
              0.60108,
              0.95779
            ],
            [
              0.23954,
              0.2882,
              0.32971,
              0.39971,
              0.51032,
              0.68962,
              1.04512
            ],
            [
              0.28297,
              0.34237,
              0.39347,
              0.48037,
              0.61787,
              0.82457,
              1.17787
            ],
            [
              0.3339,
              0.4053,
              0.4674,
              0.5741,
              0.7445,
              1.0014,
              1.3799
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03902,
              0.05448,
              0.06988,
              0.10074,
              0.16261,
              0.28644,
              0.53467
            ],
            [
              0.03903,
              0.05448,
              0.06983,
              0.10075,
              0.16268,
              0.2864,
              0.53429
            ],
            [
              0.03903,
              0.05449,
              0.06987,
              0.10076,
              0.16262,
              0.2865,
              0.53431
            ],
            [
              0.03906,
              0.05449,
              0.06989,
              0.10077,
              0.16259,
              0.28616,
              0.53474
            ],
            [
              0.04112,
              0.05499,
              0.06984,
              0.10076,
              0.1626,
              0.28625,
              0.53405
            ],
            [
              0.04642,
              0.0585,
              0.07195,
              0.10097,
              0.16252,
              0.28635,
              0.53485
            ],
            [
              0.05617,
              0.06678,
              0.0785,
              0.10467,
              0.16285,
              0.28625,
              0.53382
            ],
            [
              0.06856,
              0.08087,
              0.09214,
              0.11511,
              0.1679,
              0.28622,
              0.53407
            ],
            [
              0.08548,
              0.09928,
              0.11221,
              0.13581,
              0.18247,
              0.29141,
              0.53401
            ],
            [
              0.10837,
              0.12415,
              0.13877,
              0.16554,
              0.21231,
              0.30951,
              0.53685
            ],
            [
              0.13901,
              0.15723,
              0.17423,
              0.20487,
              0.25815,
              0.35027,
              0.55609
            ],
            [
              0.17979,
              0.20134,
              0.22123,
              0.2571,
              0.3185,
              0.421,
              0.6083
            ],
            [
              0.2346,
              0.2601,
              0.2838,
              0.3263,
              0.3981,
              0.5161,
              0.709
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.06915,
              0.10125,
              0.13308,
              0.19686,
              0.32337,
              0.57731,
              1.08313
            ],
            [
              0.06923,
              0.10109,
              0.13309,
              0.19675,
              0.32351,
              0.57667,
              1.08357
            ],
            [
              0.06918,
              0.10115,
              0.13307,
              0.19679,
              0.32345,
              0.5772,
              1.08366
            ],
            [
              0.06909,
              0.10122,
              0.13303,
              0.19676,
              0.32334,
              0.57729,
              1.08346
            ],
            [
              0.06882,
              0.10106,
              0.13297,
              0.19685,
              0.32368,
              0.57731,
              1.08352
            ],
            [
              0.06881,
              0.10068,
              0.13274,
              0.1965,
              0.32378,
              0.57735,
              1.08351
            ],
            [
              0.07424,
              0.10273,
              0.13292,
              0.19669,
              0.32374,
              0.57739,
              1.08347
            ],
            [
              0.08805,
              0.1128,
              0.13967,
              0.19798,
              0.3237,
              0.57646,
              1.08342
            ],
            [
              0.10977,
              0.13509,
              0.15834,
              0.20993,
              0.32537,
              0.57731,
              1.08419
            ],
            [
              0.13627,
              0.168,
              0.19444,
              0.23963,
              0.34228,
              0.57774,
              1.08412
            ],
            [
              0.17009,
              0.20905,
              0.24087,
              0.29436,
              0.38515,
              0.5975,
              1.0839
            ],
            [
              0.21236,
              0.261,
              0.3005,
              0.3656,
              0.4668,
              0.6521,
              1.0978
            ],
            [
              0.2647,
              0.325,
              0.3747,
              0.456,
              0.5799,
              0.7674,
              1.1613
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03423,
              0.04622,
              0.05784,
              0.08085,
              0.12644,
              0.21741,
              0.39911
            ],
            [
              0.03659,
              0.04874,
              0.06046,
              0.08359,
              0.12927,
              0.22025,
              0.40198
            ],
            [
              0.03952,
              0.05183,
              0.06363,
              0.08683,
              0.13262,
              0.22368,
              0.40548
            ],
            [
              0.04411,
              0.0565,
              0.06842,
              0.09174,
              0.13761,
              0.22875,
              0.4106
            ],
            [
              0.05121,
              0.06361,
              0.07559,
              0.09904,
              0.14511,
              0.23636,
              0.41812
            ],
            [
              0.06046,
              0.07453,
              0.08652,
              0.11,
              0.15625,
              0.24762,
              0.4296
            ],
            [
              0.07115,
              0.08845,
              0.10264,
              0.12657,
              0.17292,
              0.26442,
              0.44652
            ],
            [
              0.08357,
              0.10488,
              0.12226,
              0.15087,
              0.19807,
              0.28966,
              0.47184
            ],
            [
              0.09772,
              0.124,
              0.14543,
              0.18065,
              0.23566,
              0.32761,
              0.50983
            ],
            [
              0.11361,
              0.14592,
              0.17239,
              0.21582,
              0.28328,
              0.38479,
              0.567
            ],
            [
              0.13089,
              0.17078,
              0.20341,
              0.25691,
              0.33979,
              0.46392,
              0.65272
            ],
            [
              0.14878,
              0.19807,
              0.23837,
              0.30437,
              0.40677,
              0.55897,
              0.78157
            ],
            [
              0.1659,
              0.2268,
              0.2765,
              0.3581,
              0.4843,
              0.6717,
              0.9438
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09545,
              0.12754,
              0.15886,
              0.22081,
              0.34342,
              0.58742,
              1.07467
            ],
            [
              0.09683,
              0.12915,
              0.1607,
              0.22294,
              0.34578,
              0.58996,
              1.07724
            ],
            [
              0.0987,
              0.13122,
              0.16291,
              0.22538,
              0.3485,
              0.59283,
              1.08052
            ],
            [
              0.10193,
              0.13456,
              0.16642,
              0.22914,
              0.35257,
              0.59716,
              1.08498
            ],
            [
              0.10756,
              0.14014,
              0.17209,
              0.23506,
              0.35876,
              0.6037,
              1.09171
            ],
            [
              0.11707,
              0.14934,
              0.18122,
              0.24425,
              0.36819,
              0.61352,
              1.10172
            ],
            [
              0.13273,
              0.16433,
              0.19597,
              0.25889,
              0.38289,
              0.62859,
              1.11733
            ],
            [
              0.15811,
              0.18843,
              0.21944,
              0.28187,
              0.4057,
              0.65135,
              1.14036
            ],
            [
              0.18891,
              0.22543,
              0.2567,
              0.31783,
              0.44099,
              0.68616,
              1.17505
            ],
            [
              0.22489,
              0.26972,
              0.3083,
              0.37419,
              0.49552,
              0.73999,
              1.22839
            ],
            [
              0.26659,
              0.32159,
              0.36881,
              0.44962,
              0.57962,
              0.82212,
              1.30952
            ],
            [
              0.31507,
              0.38177,
              0.43947,
              0.53837,
              0.69737,
              0.94807,
              1.43277
            ],
            [
              0.3725,
              0.452,
              0.5218,
              0.6421,
              0.8367,
              1.1353,
              1.6209
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03875,
              0.0542,
              0.06959,
              0.10051,
              0.16239,
              0.28607,
              0.53446
            ],
            [
              0.03876,
              0.0542,
              0.0696,
              0.1005,
              0.16235,
              0.28611,
              0.53356
            ],
            [
              0.03873,
              0.05423,
              0.06961,
              0.10053,
              0.16228,
              0.28642,
              0.53458
            ],
            [
              0.03875,
              0.05416,
              0.06962,
              0.1005,
              0.16239,
              0.28642,
              0.53447
            ],
            [
              0.0407,
              0.05469,
              0.06959,
              0.1006,
              0.1624,
              0.28613,
              0.53373
            ],
            [
              0.04581,
              0.058,
              0.07154,
              0.10074,
              0.16255,
              0.28624,
              0.53449
            ],
            [
              0.05536,
              0.0661,
              0.07792,
              0.10425,
              0.16275,
              0.28602,
              0.53437
            ],
            [
              0.06751,
              0.07996,
              0.09129,
              0.11442,
              0.16747,
              0.28625,
              0.53428
            ],
            [
              0.08434,
              0.09821,
              0.11114,
              0.13493,
              0.18184,
              0.29087,
              0.53346
            ],
            [
              0.10708,
              0.12297,
              0.13764,
              0.16441,
              0.21135,
              0.30918,
              0.53586
            ],
            [
              0.13766,
              0.1561,
              0.17304,
              0.20386,
              0.25733,
              0.34945,
              0.55599
            ],
            [
              0.17868,
              0.20053,
              0.22035,
              0.2562,
              0.3174,
              0.4199,
              0.6069
            ],
            [
              0.2339,
              0.2597,
              0.2833,
              0.3255,
              0.3973,
              0.5152,
              0.7081
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09816,
              0.14162,
              0.18513,
              0.27091,
              0.44153,
              0.78362,
              1.46449
            ],
            [
              0.09797,
              0.14181,
              0.18478,
              0.27109,
              0.44172,
              0.78317,
              1.4651
            ],
            [
              0.09778,
              0.14165,
              0.18503,
              0.27097,
              0.44159,
              0.78358,
              1.46473
            ],
            [
              0.09743,
              0.14138,
              0.18499,
              0.27087,
              0.44171,
              0.78342,
              1.46464
            ],
            [
              0.09702,
              0.14105,
              0.1849,
              0.27102,
              0.44181,
              0.78334,
              1.46468
            ],
            [
              0.09558,
              0.14052,
              0.18459,
              0.27072,
              0.44206,
              0.78316,
              1.46418
            ],
            [
              0.09796,
              0.13969,
              0.1835,
              0.27063,
              0.44211,
              0.7837,
              1.46463
            ],
            [
              0.10808,
              0.14577,
              0.18547,
              0.26921,
              0.44176,
              0.78362,
              1.4647
            ],
            [
              0.13059,
              0.16325,
              0.19854,
              0.27543,
              0.44082,
              0.78364,
              1.46569
            ],
            [
              0.15637,
              0.19684,
              0.22929,
              0.29737,
              0.449,
              0.78241,
              1.46583
            ],
            [
              0.19047,
              0.23785,
              0.27795,
              0.34453,
              0.48015,
              0.7891,
              1.466
            ],
            [
              0.2339,
              0.2907,
              0.3384,
              0.4184,
              0.5484,
              0.827,
              1.4656
            ],
            [
              0.2874,
              0.3571,
              0.4152,
              0.5118,
              0.6641,
              0.9201,
              1.5015
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03422,
              0.04622,
              0.05784,
              0.08085,
              0.12643,
              0.2174,
              0.39912
            ],
            [
              0.03658,
              0.04872,
              0.06045,
              0.08358,
              0.12925,
              0.22024,
              0.40198
            ],
            [
              0.0395,
              0.0518,
              0.06361,
              0.08683,
              0.13261,
              0.22367,
              0.40546
            ],
            [
              0.04407,
              0.05645,
              0.06839,
              0.09172,
              0.13758,
              0.22873,
              0.41057
            ],
            [
              0.05117,
              0.06356,
              0.07551,
              0.09899,
              0.14507,
              0.23633,
              0.41809
            ],
            [
              0.06038,
              0.07448,
              0.08646,
              0.10993,
              0.1562,
              0.24756,
              0.42955
            ],
            [
              0.07106,
              0.08836,
              0.10256,
              0.12651,
              0.17283,
              0.26435,
              0.44645
            ],
            [
              0.08345,
              0.10476,
              0.12215,
              0.15077,
              0.19799,
              0.28957,
              0.47176
            ],
            [
              0.09757,
              0.12379,
              0.1453,
              0.18052,
              0.23556,
              0.32751,
              0.50974
            ],
            [
              0.11346,
              0.14579,
              0.17224,
              0.21568,
              0.28315,
              0.38469,
              0.56687
            ],
            [
              0.13082,
              0.1707,
              0.20331,
              0.25679,
              0.33961,
              0.46382,
              0.65262
            ],
            [
              0.14885,
              0.19807,
              0.23837,
              0.30427,
              0.40667,
              0.55887,
              0.78147
            ],
            [
              0.1662,
              0.227,
              0.2766,
              0.3582,
              0.4843,
              0.6716,
              0.9437
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.11398,
              0.14533,
              0.17577,
              0.23557,
              0.35323,
              0.58654,
              1.05127
            ],
            [
              0.11573,
              0.14721,
              0.17778,
              0.23778,
              0.35565,
              0.58911,
              1.05384
            ],
            [
              0.11794,
              0.14954,
              0.18018,
              0.24039,
              0.35843,
              0.59203,
              1.05692
            ],
            [
              0.12157,
              0.15318,
              0.18396,
              0.24432,
              0.36262,
              0.59647,
              1.06147
            ],
            [
              0.12748,
              0.15914,
              0.18995,
              0.25047,
              0.369,
              0.60311,
              1.06831
            ],
            [
              0.137,
              0.16858,
              0.1994,
              0.26004,
              0.37867,
              0.61305,
              1.07852
            ],
            [
              0.15225,
              0.1836,
              0.21432,
              0.27486,
              0.39376,
              0.62846,
              1.09433
            ],
            [
              0.17694,
              0.20738,
              0.23781,
              0.29808,
              0.41697,
              0.65159,
              1.11776
            ],
            [
              0.21324,
              0.24573,
              0.27478,
              0.33441,
              0.45268,
              0.68697,
              1.15315
            ],
            [
              0.25592,
              0.2955,
              0.3301,
              0.39062,
              0.50775,
              0.74159,
              1.20729
            ],
            [
              0.30563,
              0.35414,
              0.39675,
              0.47052,
              0.59242,
              0.82452,
              1.28942
            ],
            [
              0.36337,
              0.42247,
              0.47457,
              0.56537,
              0.71367,
              0.95177,
              1.41417
            ],
            [
              0.4309,
              0.5021,
              0.5652,
              0.6761,
              0.858,
              1.1412,
              1.6045
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0466,
              0.06434,
              0.08124,
              0.11367,
              0.17632,
              0.30008,
              0.54715
            ],
            [
              0.04659,
              0.06434,
              0.08125,
              0.11367,
              0.17633,
              0.30009,
              0.54749
            ],
            [
              0.04657,
              0.06435,
              0.08125,
              0.11369,
              0.17633,
              0.29983,
              0.54709
            ],
            [
              0.0466,
              0.06434,
              0.08126,
              0.11368,
              0.17633,
              0.29993,
              0.54691
            ],
            [
              0.04854,
              0.0648,
              0.08122,
              0.11369,
              0.17634,
              0.30009,
              0.54751
            ],
            [
              0.05376,
              0.06819,
              0.08318,
              0.11388,
              0.17634,
              0.3001,
              0.54715
            ],
            [
              0.06519,
              0.07635,
              0.08958,
              0.11748,
              0.17653,
              0.30009,
              0.54715
            ],
            [
              0.08154,
              0.09269,
              0.10317,
              0.12768,
              0.18139,
              0.29985,
              0.54726
            ],
            [
              0.10229,
              0.11407,
              0.12586,
              0.1482,
              0.19579,
              0.30461,
              0.54715
            ],
            [
              0.12985,
              0.14269,
              0.15554,
              0.18034,
              0.22528,
              0.32301,
              0.54978
            ],
            [
              0.16656,
              0.18071,
              0.1951,
              0.22281,
              0.27321,
              0.36352,
              0.56934
            ],
            [
              0.21558,
              0.23136,
              0.24775,
              0.2793,
              0.3361,
              0.4349,
              0.6201
            ],
            [
              0.2808,
              0.2989,
              0.3176,
              0.354,
              0.4199,
              0.5327,
              0.7218
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.11187,
              0.15356,
              0.19438,
              0.27674,
              0.44035,
              0.7666,
              1.41724
            ],
            [
              0.112,
              0.15343,
              0.19451,
              0.27672,
              0.44042,
              0.76653,
              1.41805
            ],
            [
              0.11201,
              0.15329,
              0.19461,
              0.27689,
              0.44019,
              0.76687,
              1.41839
            ],
            [
              0.11176,
              0.1535,
              0.19464,
              0.27685,
              0.44033,
              0.76655,
              1.41876
            ],
            [
              0.11159,
              0.15323,
              0.19457,
              0.2769,
              0.44009,
              0.76661,
              1.41881
            ],
            [
              0.11109,
              0.15293,
              0.19431,
              0.27678,
              0.44027,
              0.76673,
              1.41885
            ],
            [
              0.11037,
              0.15165,
              0.1938,
              0.27646,
              0.43983,
              0.7669,
              1.41872
            ],
            [
              0.11682,
              0.15466,
              0.19404,
              0.27589,
              0.4404,
              0.76677,
              1.41866
            ],
            [
              0.13472,
              0.16845,
              0.20414,
              0.27921,
              0.43948,
              0.76609,
              1.41704
            ],
            [
              0.16357,
              0.19972,
              0.23106,
              0.29868,
              0.44551,
              0.76663,
              1.41841
            ],
            [
              0.19924,
              0.24264,
              0.28009,
              0.34325,
              0.47497,
              0.7715,
              1.4173
            ],
            [
              0.2449,
              0.2976,
              0.3421,
              0.4173,
              0.5419,
              0.8095,
              1.4204
            ],
            [
              0.3021,
              0.3665,
              0.4208,
              0.512,
              0.6573,
              0.9021,
              1.4566
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03868,
              0.05051,
              0.06207,
              0.08499,
              0.13055,
              0.22147,
              0.40322
            ],
            [
              0.04134,
              0.0533,
              0.0649,
              0.08793,
              0.13352,
              0.22445,
              0.40603
            ],
            [
              0.0443,
              0.05642,
              0.06818,
              0.09128,
              0.13704,
              0.22791,
              0.40976
            ],
            [
              0.04854,
              0.06082,
              0.07264,
              0.09588,
              0.14175,
              0.23262,
              0.41439
            ],
            [
              0.05478,
              0.06714,
              0.07906,
              0.1024,
              0.14833,
              0.23951,
              0.42155
            ],
            [
              0.0631,
              0.07653,
              0.08857,
              0.11207,
              0.15816,
              0.24961,
              0.43153
            ],
            [
              0.07347,
              0.08882,
              0.10231,
              0.12646,
              0.17272,
              0.26439,
              0.44659
            ],
            [
              0.0864,
              0.10436,
              0.11986,
              0.1471,
              0.19457,
              0.28649,
              0.46876
            ],
            [
              0.10208,
              0.12373,
              0.14201,
              0.17349,
              0.22651,
              0.31939,
              0.50205
            ],
            [
              0.12054,
              0.14724,
              0.16942,
              0.20681,
              0.26794,
              0.36883,
              0.55195
            ],
            [
              0.14166,
              0.17511,
              0.20253,
              0.24804,
              0.32049,
              0.43578,
              0.62652
            ],
            [
              0.16513,
              0.20737,
              0.24167,
              0.29797,
              0.38587,
              0.52117,
              0.73527
            ],
            [
              0.1908,
              0.2441,
              0.2873,
              0.3575,
              0.4657,
              0.6285,
              0.8762
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.05974,
              0.07865,
              0.09726,
              0.13421,
              0.20745,
              0.35351,
              0.64531
            ],
            [
              0.06182,
              0.08086,
              0.09953,
              0.13657,
              0.2099,
              0.35603,
              0.64785
            ],
            [
              0.06453,
              0.08365,
              0.10238,
              0.13949,
              0.21292,
              0.35907,
              0.65093
            ],
            [
              0.06892,
              0.08808,
              0.10687,
              0.14406,
              0.21759,
              0.36379,
              0.65565
            ],
            [
              0.07592,
              0.09505,
              0.11386,
              0.15108,
              0.22471,
              0.37103,
              0.66288
            ],
            [
              0.08705,
              0.10602,
              0.12478,
              0.16188,
              0.23552,
              0.38188,
              0.67376
            ],
            [
              0.1039,
              0.12299,
              0.1415,
              0.17854,
              0.25216,
              0.39862,
              0.69064
            ],
            [
              0.12392,
              0.14759,
              0.16753,
              0.20421,
              0.2774,
              0.42372,
              0.71573
            ],
            [
              0.14692,
              0.17642,
              0.20136,
              0.24324,
              0.31623,
              0.46167,
              0.75335
            ],
            [
              0.17273,
              0.20943,
              0.24057,
              0.29288,
              0.37508,
              0.52022,
              0.81139
            ],
            [
              0.20135,
              0.24656,
              0.28513,
              0.3503,
              0.45292,
              0.60842,
              0.89832
            ],
            [
              0.23317,
              0.28787,
              0.33507,
              0.41567,
              0.54347,
              0.73487,
              1.03027
            ],
            [
              0.2689,
              0.3339,
              0.3908,
              0.489,
              0.6471,
              0.8856,
              1.2297
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02659,
              0.04209,
              0.05758,
              0.0886,
              0.15068,
              0.27494,
              0.52335
            ],
            [
              0.02661,
              0.04207,
              0.05758,
              0.08863,
              0.15071,
              0.27484,
              0.523
            ],
            [
              0.02658,
              0.04206,
              0.05754,
              0.08871,
              0.1508,
              0.2746,
              0.52311
            ],
            [
              0.02662,
              0.04207,
              0.05751,
              0.08855,
              0.15083,
              0.2747,
              0.52267
            ],
            [
              0.02755,
              0.04225,
              0.05759,
              0.08861,
              0.15074,
              0.27479,
              0.52334
            ],
            [
              0.03085,
              0.04435,
              0.05872,
              0.08876,
              0.15065,
              0.27475,
              0.52299
            ],
            [
              0.03631,
              0.04974,
              0.0629,
              0.09114,
              0.1509,
              0.27463,
              0.52331
            ],
            [
              0.04385,
              0.05837,
              0.07193,
              0.09804,
              0.15421,
              0.27483,
              0.52319
            ],
            [
              0.05442,
              0.07034,
              0.08485,
              0.11198,
              0.16408,
              0.27862,
              0.52276
            ],
            [
              0.06931,
              0.08704,
              0.10302,
              0.13209,
              0.18501,
              0.29096,
              0.52495
            ],
            [
              0.09032,
              0.11039,
              0.12814,
              0.16007,
              0.21658,
              0.31949,
              0.53937
            ],
            [
              0.1203,
              0.14306,
              0.1629,
              0.1984,
              0.2602,
              0.3698,
              0.5754
            ],
            [
              0.1625,
              0.1884,
              0.211,
              0.2513,
              0.3202,
              0.4386,
              0.6486
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.05675,
              0.08313,
              0.1096,
              0.16234,
              0.26743,
              0.47759,
              0.89869
            ],
            [
              0.05666,
              0.0832,
              0.10962,
              0.16236,
              0.26727,
              0.47804,
              0.89772
            ],
            [
              0.05662,
              0.08319,
              0.10955,
              0.16234,
              0.26734,
              0.4779,
              0.89916
            ],
            [
              0.05659,
              0.0831,
              0.10947,
              0.16225,
              0.26741,
              0.47818,
              0.8982
            ],
            [
              0.05626,
              0.08301,
              0.10944,
              0.16223,
              0.2675,
              0.47804,
              0.89771
            ],
            [
              0.05874,
              0.08334,
              0.10918,
              0.16214,
              0.26747,
              0.4779,
              0.89857
            ],
            [
              0.06678,
              0.08849,
              0.11196,
              0.16219,
              0.26744,
              0.47778,
              0.89813
            ],
            [
              0.08269,
              0.10195,
              0.1226,
              0.16792,
              0.2678,
              0.47745,
              0.89701
            ],
            [
              0.10221,
              0.12607,
              0.1454,
              0.18485,
              0.27524,
              0.47762,
              0.89866
            ],
            [
              0.12745,
              0.15679,
              0.18076,
              0.22039,
              0.29943,
              0.48421,
              0.89828
            ],
            [
              0.159,
              0.19561,
              0.22539,
              0.27415,
              0.35096,
              0.51462,
              0.9003
            ],
            [
              0.19766,
              0.24361,
              0.2809,
              0.342,
              0.4347,
              0.5843,
              0.9309
            ],
            [
              0.2451,
              0.3024,
              0.3494,
              0.4264,
              0.5425,
              0.7129,
              1.019
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03874,
              0.05055,
              0.06211,
              0.08505,
              0.13059,
              0.2215,
              0.40322
            ],
            [
              0.04147,
              0.0534,
              0.06503,
              0.08806,
              0.1337,
              0.22467,
              0.40622
            ],
            [
              0.04444,
              0.05658,
              0.06832,
              0.09136,
              0.13717,
              0.22818,
              0.40959
            ],
            [
              0.04873,
              0.061,
              0.07283,
              0.09605,
              0.14183,
              0.23284,
              0.41485
            ],
            [
              0.055,
              0.06737,
              0.07929,
              0.10264,
              0.14864,
              0.23983,
              0.4218
            ],
            [
              0.06335,
              0.07678,
              0.08884,
              0.11236,
              0.15849,
              0.24988,
              0.43192
            ],
            [
              0.07372,
              0.0891,
              0.10261,
              0.12678,
              0.17302,
              0.26472,
              0.447
            ],
            [
              0.08665,
              0.10466,
              0.12017,
              0.14742,
              0.19489,
              0.28684,
              0.46909
            ],
            [
              0.10231,
              0.12401,
              0.14232,
              0.17382,
              0.22685,
              0.31975,
              0.50241
            ],
            [
              0.12075,
              0.14748,
              0.16969,
              0.20713,
              0.26829,
              0.36917,
              0.55233
            ],
            [
              0.14181,
              0.17529,
              0.20275,
              0.24831,
              0.32082,
              0.43614,
              0.62692
            ],
            [
              0.1651,
              0.20747,
              0.24177,
              0.29817,
              0.38617,
              0.52147,
              0.73557
            ],
            [
              0.1903,
              0.2438,
              0.2871,
              0.3575,
              0.4659,
              0.6287,
              0.8766
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.06697,
              0.08888,
              0.11053,
              0.15347,
              0.23868,
              0.40851,
              0.74777
            ],
            [
              0.06885,
              0.09094,
              0.11263,
              0.15568,
              0.24097,
              0.41085,
              0.75015
            ],
            [
              0.07133,
              0.09352,
              0.1153,
              0.15842,
              0.24381,
              0.41376,
              0.75301
            ],
            [
              0.07543,
              0.09767,
              0.11954,
              0.16275,
              0.24827,
              0.41824,
              0.75765
            ],
            [
              0.08206,
              0.10428,
              0.12614,
              0.16946,
              0.25511,
              0.4252,
              0.76447
            ],
            [
              0.09273,
              0.11465,
              0.13645,
              0.17975,
              0.26541,
              0.43563,
              0.77496
            ],
            [
              0.10965,
              0.13099,
              0.15259,
              0.19574,
              0.28138,
              0.45174,
              0.79128
            ],
            [
              0.13068,
              0.15603,
              0.17767,
              0.22031,
              0.30568,
              0.47595,
              0.81555
            ],
            [
              0.15479,
              0.18627,
              0.213,
              0.25819,
              0.3427,
              0.51244,
              0.85185
            ],
            [
              0.18202,
              0.22098,
              0.25402,
              0.31,
              0.39963,
              0.56859,
              0.90749
            ],
            [
              0.21238,
              0.26007,
              0.301,
              0.37039,
              0.48042,
              0.65382,
              0.99142
            ],
            [
              0.24627,
              0.30387,
              0.35377,
              0.43917,
              0.57527,
              0.78127,
              1.11867
            ],
            [
              0.2846,
              0.353,
              0.4128,
              0.5165,
              0.684,
              0.9388,
              1.3121
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02658,
              0.04208,
              0.05754,
              0.08866,
              0.15081,
              0.27475,
              0.52333
            ],
            [
              0.02661,
              0.04205,
              0.05752,
              0.08865,
              0.15064,
              0.27503,
              0.52315
            ],
            [
              0.02657,
              0.04204,
              0.05754,
              0.08868,
              0.15083,
              0.275,
              0.52277
            ],
            [
              0.02663,
              0.04207,
              0.05754,
              0.08861,
              0.15075,
              0.27474,
              0.52335
            ],
            [
              0.02757,
              0.04224,
              0.05758,
              0.0886,
              0.15082,
              0.27473,
              0.52335
            ],
            [
              0.03078,
              0.0443,
              0.05871,
              0.08876,
              0.15059,
              0.27473,
              0.52336
            ],
            [
              0.03621,
              0.04965,
              0.06273,
              0.09112,
              0.15086,
              0.27469,
              0.52347
            ],
            [
              0.04372,
              0.0582,
              0.07177,
              0.09792,
              0.15413,
              0.27483,
              0.52318
            ],
            [
              0.05429,
              0.07015,
              0.08468,
              0.1118,
              0.16394,
              0.27858,
              0.5228
            ],
            [
              0.06915,
              0.08686,
              0.10283,
              0.13192,
              0.1848,
              0.29083,
              0.52496
            ],
            [
              0.09013,
              0.11019,
              0.12795,
              0.15986,
              0.21634,
              0.31928,
              0.53922
            ],
            [
              0.12003,
              0.14274,
              0.1627,
              0.1981,
              0.2599,
              0.3696,
              0.5752
            ],
            [
              0.1622,
              0.1881,
              0.2109,
              0.2512,
              0.32,
              0.4385,
              0.6484
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.06714,
              0.09775,
              0.12826,
              0.18942,
              0.31081,
              0.55282,
              1.03819
            ],
            [
              0.06706,
              0.09779,
              0.12846,
              0.18931,
              0.31064,
              0.55289,
              1.03799
            ],
            [
              0.06692,
              0.09774,
              0.12824,
              0.18942,
              0.31052,
              0.5534,
              1.03744
            ],
            [
              0.06666,
              0.0977,
              0.12812,
              0.18942,
              0.31067,
              0.55328,
              1.03813
            ],
            [
              0.06629,
              0.09735,
              0.12799,
              0.18929,
              0.31042,
              0.55257,
              1.03655
            ],
            [
              0.06748,
              0.09703,
              0.12781,
              0.18935,
              0.31086,
              0.55262,
              1.03657
            ],
            [
              0.07432,
              0.10094,
              0.12907,
              0.18886,
              0.31035,
              0.55257,
              1.03613
            ],
            [
              0.08945,
              0.11267,
              0.13766,
              0.1921,
              0.31055,
              0.5529,
              1.03811
            ],
            [
              0.10934,
              0.1363,
              0.15854,
              0.20668,
              0.31525,
              0.55332,
              1.03796
            ],
            [
              0.13484,
              0.16702,
              0.19402,
              0.23933,
              0.33526,
              0.55553,
              1.03824
            ],
            [
              0.16669,
              0.20629,
              0.23889,
              0.29299,
              0.38238,
              0.57981,
              1.0381
            ],
            [
              0.20603,
              0.25512,
              0.2955,
              0.3618,
              0.465,
              0.6428,
              1.06
            ],
            [
              0.2538,
              0.315,
              0.3651,
              0.4473,
              0.5742,
              0.7636,
              1.1351
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03875,
              0.05056,
              0.0621,
              0.08505,
              0.13062,
              0.22141,
              0.40286
            ],
            [
              0.04145,
              0.05336,
              0.06502,
              0.08806,
              0.13364,
              0.22466,
              0.4064
            ],
            [
              0.04442,
              0.05656,
              0.0683,
              0.09138,
              0.13714,
              0.2282,
              0.40995
            ],
            [
              0.04869,
              0.06097,
              0.07279,
              0.09599,
              0.14183,
              0.23298,
              0.41481
            ],
            [
              0.05495,
              0.06731,
              0.07924,
              0.10259,
              0.14859,
              0.23967,
              0.4216
            ],
            [
              0.06327,
              0.07672,
              0.08877,
              0.11229,
              0.15841,
              0.24967,
              0.43185
            ],
            [
              0.07364,
              0.08902,
              0.10253,
              0.12668,
              0.17293,
              0.26464,
              0.44691
            ],
            [
              0.08658,
              0.10458,
              0.12008,
              0.14733,
              0.19481,
              0.28674,
              0.46901
            ],
            [
              0.10224,
              0.12393,
              0.14223,
              0.17373,
              0.22676,
              0.31965,
              0.50231
            ],
            [
              0.12069,
              0.14741,
              0.16961,
              0.20703,
              0.26819,
              0.36908,
              0.55223
            ],
            [
              0.14176,
              0.17524,
              0.20269,
              0.24823,
              0.32072,
              0.43604,
              0.62682
            ],
            [
              0.1651,
              0.20737,
              0.24177,
              0.29817,
              0.38607,
              0.52137,
              0.73547
            ],
            [
              0.1904,
              0.2439,
              0.2871,
              0.3575,
              0.4658,
              0.6287,
              0.8765
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.06512,
              0.08614,
              0.10689,
              0.14807,
              0.22979,
              0.39261,
              0.71786
            ],
            [
              0.06704,
              0.08823,
              0.10904,
              0.1503,
              0.23208,
              0.39501,
              0.72031
            ],
            [
              0.06958,
              0.09087,
              0.11175,
              0.15311,
              0.23498,
              0.39794,
              0.72333
            ],
            [
              0.07373,
              0.09509,
              0.11604,
              0.15751,
              0.23949,
              0.40246,
              0.72793
            ],
            [
              0.08048,
              0.10179,
              0.12276,
              0.16428,
              0.24638,
              0.40946,
              0.73495
            ],
            [
              0.09125,
              0.11229,
              0.1332,
              0.17471,
              0.25687,
              0.42002,
              0.74558
            ],
            [
              0.10816,
              0.12881,
              0.14953,
              0.19091,
              0.27304,
              0.43633,
              0.76201
            ],
            [
              0.12889,
              0.15375,
              0.17485,
              0.21572,
              0.29758,
              0.46078,
              0.78636
            ],
            [
              0.15264,
              0.18358,
              0.20981,
              0.25397,
              0.33497,
              0.49776,
              0.82315
            ],
            [
              0.17947,
              0.21777,
              0.25038,
              0.3053,
              0.39265,
              0.55458,
              0.87949
            ],
            [
              0.20929,
              0.25627,
              0.29653,
              0.36474,
              0.47262,
              0.64052,
              0.96422
            ],
            [
              0.24257,
              0.29937,
              0.34847,
              0.43247,
              0.56627,
              0.76797,
              1.09267
            ],
            [
              0.2801,
              0.3475,
              0.4065,
              0.5087,
              0.6735,
              0.9235,
              1.2879
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02661,
              0.04208,
              0.0576,
              0.08864,
              0.15084,
              0.27484,
              0.52284
            ],
            [
              0.02661,
              0.04208,
              0.05753,
              0.08865,
              0.15061,
              0.27496,
              0.52335
            ],
            [
              0.02658,
              0.04206,
              0.05759,
              0.0887,
              0.15082,
              0.27499,
              0.52335
            ],
            [
              0.02663,
              0.04207,
              0.05751,
              0.08863,
              0.15077,
              0.27497,
              0.52336
            ],
            [
              0.02758,
              0.04224,
              0.05758,
              0.08858,
              0.15081,
              0.27466,
              0.52284
            ],
            [
              0.03079,
              0.04428,
              0.05873,
              0.08878,
              0.15061,
              0.2747,
              0.52332
            ],
            [
              0.03619,
              0.04969,
              0.06276,
              0.09107,
              0.15085,
              0.27466,
              0.52348
            ],
            [
              0.04374,
              0.05824,
              0.07181,
              0.09796,
              0.15415,
              0.27484,
              0.52319
            ],
            [
              0.05431,
              0.07019,
              0.08473,
              0.11186,
              0.16399,
              0.27859,
              0.5228
            ],
            [
              0.06919,
              0.08693,
              0.10289,
              0.132,
              0.18485,
              0.29087,
              0.52497
            ],
            [
              0.09017,
              0.11025,
              0.12801,
              0.15993,
              0.21639,
              0.31933,
              0.53924
            ],
            [
              0.12009,
              0.14281,
              0.16278,
              0.1982,
              0.2601,
              0.3697,
              0.5752
            ],
            [
              0.1623,
              0.1882,
              0.2109,
              0.2512,
              0.3201,
              0.4385,
              0.6484
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.06404,
              0.09353,
              0.12262,
              0.18129,
              0.29788,
              0.53107,
              0.9959
            ],
            [
              0.06395,
              0.09335,
              0.12271,
              0.18129,
              0.29786,
              0.53039,
              0.99654
            ],
            [
              0.06387,
              0.09325,
              0.12267,
              0.1813,
              0.29765,
              0.53102,
              0.9965
            ],
            [
              0.06372,
              0.09318,
              0.12269,
              0.18125,
              0.29791,
              0.53109,
              0.99648
            ],
            [
              0.0633,
              0.09315,
              0.12248,
              0.18114,
              0.29791,
              0.53112,
              0.99649
            ],
            [
              0.06489,
              0.09297,
              0.12224,
              0.18126,
              0.29798,
              0.53114,
              0.99647
            ],
            [
              0.07204,
              0.0971,
              0.12399,
              0.18086,
              0.29768,
              0.53106,
              0.99676
            ],
            [
              0.08756,
              0.10933,
              0.13325,
              0.18505,
              0.29727,
              0.53074,
              0.99536
            ],
            [
              0.10735,
              0.1334,
              0.15453,
              0.20038,
              0.30294,
              0.53078,
              0.99656
            ],
            [
              0.13262,
              0.16393,
              0.18993,
              0.23343,
              0.32458,
              0.5351,
              0.9967
            ],
            [
              0.16444,
              0.20316,
              0.23491,
              0.28752,
              0.37251,
              0.56103,
              0.9969
            ],
            [
              0.20359,
              0.25179,
              0.2913,
              0.3561,
              0.4561,
              0.6253,
              1.0217
            ],
            [
              0.2513,
              0.3114,
              0.3605,
              0.4412,
              0.5648,
              0.7484,
              1.0993
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03884,
              0.05065,
              0.0622,
              0.08511,
              0.13068,
              0.22147,
              0.40329
            ],
            [
              0.04161,
              0.05355,
              0.06519,
              0.08817,
              0.13373,
              0.22484,
              0.40614
            ],
            [
              0.04467,
              0.0568,
              0.06853,
              0.09165,
              0.13736,
              0.22845,
              0.40988
            ],
            [
              0.04904,
              0.06131,
              0.07312,
              0.09632,
              0.14219,
              0.23336,
              0.4148
            ],
            [
              0.05538,
              0.06778,
              0.0797,
              0.10304,
              0.14905,
              0.24034,
              0.42192
            ],
            [
              0.06384,
              0.07728,
              0.08934,
              0.11288,
              0.15897,
              0.25049,
              0.43209
            ],
            [
              0.0743,
              0.08971,
              0.10322,
              0.12737,
              0.17365,
              0.26515,
              0.44749
            ],
            [
              0.08727,
              0.10534,
              0.12086,
              0.1481,
              0.19556,
              0.28751,
              0.46983
            ],
            [
              0.10294,
              0.1247,
              0.14306,
              0.17458,
              0.22759,
              0.32047,
              0.50313
            ],
            [
              0.12133,
              0.14814,
              0.17041,
              0.2079,
              0.26909,
              0.36992,
              0.5529
            ],
            [
              0.14227,
              0.17583,
              0.20336,
              0.24903,
              0.32162,
              0.43695,
              0.62762
            ],
            [
              0.16517,
              0.20767,
              0.24217,
              0.29867,
              0.38687,
              0.52237,
              0.73637
            ],
            [
              0.1892,
              0.2432,
              0.2867,
              0.3575,
              0.4662,
              0.6294,
              0.8773
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0849,
              0.11486,
              0.14439,
              0.20311,
              0.31972,
              0.55205,
              1.01637
            ],
            [
              0.0863,
              0.11647,
              0.1461,
              0.20497,
              0.3217,
              0.55414,
              1.01864
            ],
            [
              0.08834,
              0.11863,
              0.14841,
              0.20741,
              0.32427,
              0.55678,
              1.02132
            ],
            [
              0.0918,
              0.12219,
              0.15207,
              0.21122,
              0.32823,
              0.56098,
              1.02558
            ],
            [
              0.09765,
              0.12798,
              0.15791,
              0.21724,
              0.33433,
              0.56729,
              1.03201
            ],
            [
              0.10725,
              0.13729,
              0.16715,
              0.22648,
              0.34381,
              0.57674,
              1.04182
            ],
            [
              0.12292,
              0.15214,
              0.18178,
              0.24097,
              0.35825,
              0.59146,
              1.05653
            ],
            [
              0.14638,
              0.17592,
              0.20472,
              0.26346,
              0.38053,
              0.61364,
              1.07876
            ],
            [
              0.17344,
              0.20962,
              0.24087,
              0.29824,
              0.41462,
              0.64733,
              1.11215
            ],
            [
              0.2042,
              0.24855,
              0.28672,
              0.35195,
              0.46703,
              0.69869,
              1.16289
            ],
            [
              0.2388,
              0.29273,
              0.33935,
              0.41913,
              0.54812,
              0.77782,
              1.24082
            ],
            [
              0.27787,
              0.34257,
              0.39887,
              0.49607,
              0.65317,
              0.89817,
              1.35817
            ],
            [
              0.3227,
              0.3991,
              0.4664,
              0.5836,
              0.7748,
              1.0704,
              1.538
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.02658,
              0.04206,
              0.05755,
              0.08857,
              0.15061,
              0.27468,
              0.52343
            ],
            [
              0.02656,
              0.04204,
              0.05754,
              0.08861,
              0.15076,
              0.27498,
              0.5228
            ],
            [
              0.02656,
              0.04203,
              0.05752,
              0.08869,
              0.15069,
              0.27499,
              0.52261
            ],
            [
              0.02662,
              0.04206,
              0.05751,
              0.08865,
              0.15078,
              0.27492,
              0.52286
            ],
            [
              0.02748,
              0.04221,
              0.05751,
              0.08859,
              0.15068,
              0.27506,
              0.52265
            ],
            [
              0.03049,
              0.04413,
              0.05864,
              0.08874,
              0.15065,
              0.27499,
              0.52284
            ],
            [
              0.03597,
              0.04932,
              0.0626,
              0.09097,
              0.15087,
              0.2748,
              0.52343
            ],
            [
              0.04342,
              0.05782,
              0.07145,
              0.0976,
              0.15398,
              0.27486,
              0.52331
            ],
            [
              0.05395,
              0.0698,
              0.08423,
              0.11141,
              0.16367,
              0.2785,
              0.5228
            ],
            [
              0.06874,
              0.0864,
              0.10235,
              0.13142,
              0.18431,
              0.29054,
              0.52535
            ],
            [
              0.08955,
              0.10967,
              0.12742,
              0.1593,
              0.21586,
              0.31884,
              0.53906
            ],
            [
              0.11926,
              0.14216,
              0.1622,
              0.1976,
              0.2595,
              0.369,
              0.5748
            ],
            [
              0.1612,
              0.1875,
              0.2104,
              0.2506,
              0.3196,
              0.4379,
              0.6479
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.09535,
              0.13744,
              0.17861,
              0.26132,
              0.42486,
              0.7524,
              1.40436
            ],
            [
              0.09493,
              0.13715,
              0.17853,
              0.26123,
              0.42468,
              0.75178,
              1.40544
            ],
            [
              0.0949,
              0.13717,
              0.17868,
              0.26131,
              0.42479,
              0.75236,
              1.40542
            ],
            [
              0.09433,
              0.13682,
              0.1787,
              0.26121,
              0.42525,
              0.7512,
              1.40557
            ],
            [
              0.09368,
              0.13656,
              0.17838,
              0.2612,
              0.42527,
              0.75198,
              1.40553
            ],
            [
              0.09283,
              0.13553,
              0.17785,
              0.2609,
              0.42525,
              0.75215,
              1.40508
            ],
            [
              0.09685,
              0.13582,
              0.1764,
              0.26049,
              0.42524,
              0.7523,
              1.40518
            ],
            [
              0.1084,
              0.14396,
              0.18124,
              0.26,
              0.42471,
              0.75234,
              1.4054
            ],
            [
              0.12967,
              0.16321,
              0.19667,
              0.26855,
              0.42429,
              0.75245,
              1.40574
            ],
            [
              0.1542,
              0.19518,
              0.22899,
              0.29371,
              0.43584,
              0.7508,
              1.40607
            ],
            [
              0.18656,
              0.23445,
              0.27496,
              0.34333,
              0.4716,
              0.76213,
              1.4059
            ],
            [
              0.22683,
              0.2846,
              0.3328,
              0.4138,
              0.5447,
              0.8072,
              1.409
            ],
            [
              0.2764,
              0.346,
              0.4046,
              0.5026,
              0.6571,
              0.9072,
              1.4568
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03943,
              0.05125,
              0.06281,
              0.08575,
              0.13133,
              0.22227,
              0.40397
            ],
            [
              0.04213,
              0.05408,
              0.06573,
              0.08876,
              0.1344,
              0.22538,
              0.40711
            ],
            [
              0.04513,
              0.05727,
              0.06901,
              0.09213,
              0.13787,
              0.22891,
              0.41067
            ],
            [
              0.0494,
              0.06168,
              0.07354,
              0.09677,
              0.14261,
              0.23373,
              0.41553
            ],
            [
              0.05568,
              0.06807,
              0.08,
              0.10341,
              0.14937,
              0.24061,
              0.42248
            ],
            [
              0.06414,
              0.07752,
              0.08956,
              0.11311,
              0.15926,
              0.25063,
              0.43263
            ],
            [
              0.07466,
              0.08994,
              0.10341,
              0.12754,
              0.17389,
              0.26548,
              0.44764
            ],
            [
              0.0878,
              0.10565,
              0.12109,
              0.14829,
              0.19578,
              0.28763,
              0.47001
            ],
            [
              0.10377,
              0.12524,
              0.14345,
              0.17485,
              0.22783,
              0.32076,
              0.50344
            ],
            [
              0.12267,
              0.14907,
              0.17113,
              0.20838,
              0.26941,
              0.37027,
              0.55348
            ],
            [
              0.14443,
              0.17742,
              0.20461,
              0.24991,
              0.3222,
              0.43741,
              0.62832
            ],
            [
              0.16867,
              0.21027,
              0.24427,
              0.30027,
              0.38797,
              0.52307,
              0.73717
            ],
            [
              0.1955,
              0.2479,
              0.2905,
              0.3603,
              0.4682,
              0.6308,
              0.8785
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.08257,
              0.10403,
              0.12513,
              0.16702,
              0.24999,
              0.4152,
              0.74497
            ],
            [
              0.08466,
              0.10615,
              0.12728,
              0.16926,
              0.25233,
              0.4176,
              0.74743
            ],
            [
              0.08728,
              0.10886,
              0.13007,
              0.17211,
              0.25522,
              0.42054,
              0.75042
            ],
            [
              0.0915,
              0.11314,
              0.13439,
              0.1765,
              0.25972,
              0.42506,
              0.75501
            ],
            [
              0.09819,
              0.11984,
              0.14113,
              0.1833,
              0.26661,
              0.43205,
              0.76202
            ],
            [
              0.10867,
              0.13026,
              0.15153,
              0.19371,
              0.27707,
              0.44259,
              0.77262
            ],
            [
              0.12524,
              0.14653,
              0.16774,
              0.20984,
              0.2932,
              0.45885,
              0.78906
            ],
            [
              0.14986,
              0.17189,
              0.19266,
              0.23453,
              0.3177,
              0.48329,
              0.81338
            ],
            [
              0.17893,
              0.20633,
              0.23026,
              0.27246,
              0.35495,
              0.5202,
              0.85015
            ],
            [
              0.21224,
              0.24619,
              0.27583,
              0.32715,
              0.41223,
              0.57669,
              0.90619
            ],
            [
              0.24963,
              0.29153,
              0.3283,
              0.39206,
              0.49542,
              0.66252,
              0.99092
            ],
            [
              0.29137,
              0.34247,
              0.38757,
              0.46627,
              0.59447,
              0.79137,
              1.11907
            ],
            [
              0.3382,
              0.3993,
              0.454,
              0.5501,
              0.7083,
              0.9524,
              1.3139
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03903,
              0.05451,
              0.06985,
              0.10073,
              0.16261,
              0.28652,
              0.53387
            ],
            [
              0.03905,
              0.05446,
              0.06989,
              0.10076,
              0.16265,
              0.28634,
              0.53454
            ],
            [
              0.03904,
              0.05446,
              0.06985,
              0.10076,
              0.16258,
              0.28638,
              0.53452
            ],
            [
              0.03907,
              0.05448,
              0.06986,
              0.10076,
              0.16262,
              0.28642,
              0.53477
            ],
            [
              0.03999,
              0.05468,
              0.06992,
              0.10076,
              0.1626,
              0.28645,
              0.53373
            ],
            [
              0.04302,
              0.05671,
              0.07104,
              0.10091,
              0.16268,
              0.2864,
              0.53419
            ],
            [
              0.04961,
              0.06183,
              0.07509,
              0.10334,
              0.1629,
              0.28651,
              0.53383
            ],
            [
              0.0588,
              0.07173,
              0.0842,
              0.10998,
              0.16624,
              0.28655,
              0.53387
            ],
            [
              0.0717,
              0.08548,
              0.09873,
              0.12422,
              0.17592,
              0.29027,
              0.53377
            ],
            [
              0.08966,
              0.10462,
              0.11878,
              0.1459,
              0.19681,
              0.30289,
              0.53654
            ],
            [
              0.11511,
              0.13124,
              0.14668,
              0.17587,
              0.23001,
              0.33093,
              0.55108
            ],
            [
              0.15102,
              0.16846,
              0.18539,
              0.2172,
              0.2756,
              0.382,
              0.5863
            ],
            [
              0.2014,
              0.2202,
              0.2387,
              0.2741,
              0.3384,
              0.453,
              0.6596
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0783,
              0.10825,
              0.13818,
              0.19747,
              0.31606,
              0.55266,
              1.02328
            ],
            [
              0.07826,
              0.10833,
              0.13816,
              0.19765,
              0.31624,
              0.55269,
              1.02497
            ],
            [
              0.07822,
              0.10831,
              0.13816,
              0.19761,
              0.3161,
              0.55215,
              1.02509
            ],
            [
              0.07815,
              0.10823,
              0.13796,
              0.19767,
              0.31607,
              0.55269,
              1.02499
            ],
            [
              0.07795,
              0.10806,
              0.13801,
              0.19752,
              0.31593,
              0.5527,
              1.02498
            ],
            [
              0.07773,
              0.10785,
              0.1379,
              0.19762,
              0.31618,
              0.55281,
              1.02497
            ],
            [
              0.08205,
              0.10952,
              0.13805,
              0.19719,
              0.31623,
              0.55269,
              1.02505
            ],
            [
              0.09422,
              0.11873,
              0.14462,
              0.19914,
              0.316,
              0.55196,
              1.02395
            ],
            [
              0.11592,
              0.13989,
              0.16268,
              0.21167,
              0.31941,
              0.55227,
              1.02522
            ],
            [
              0.14301,
              0.17257,
              0.198,
              0.24203,
              0.33817,
              0.55494,
              1.02535
            ],
            [
              0.17757,
              0.2137,
              0.24437,
              0.29576,
              0.38261,
              0.57813,
              1.0255
            ],
            [
              0.22037,
              0.2653,
              0.3033,
              0.3661,
              0.4649,
              0.6399,
              1.0467
            ],
            [
              0.2727,
              0.3288,
              0.3761,
              0.4544,
              0.576,
              0.7592,
              1.1207
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03951,
              0.05131,
              0.06287,
              0.08581,
              0.13139,
              0.22233,
              0.40402
            ],
            [
              0.04229,
              0.05422,
              0.06586,
              0.0889,
              0.13454,
              0.22551,
              0.40723
            ],
            [
              0.04536,
              0.05748,
              0.06921,
              0.09234,
              0.13808,
              0.22911,
              0.41087
            ],
            [
              0.04972,
              0.06199,
              0.07383,
              0.09709,
              0.14291,
              0.23402,
              0.41583
            ],
            [
              0.05607,
              0.06848,
              0.08042,
              0.10382,
              0.14979,
              0.24099,
              0.4229
            ],
            [
              0.06463,
              0.07801,
              0.09007,
              0.11362,
              0.15976,
              0.25114,
              0.43313
            ],
            [
              0.07522,
              0.09056,
              0.10402,
              0.12813,
              0.17449,
              0.26606,
              0.4482
            ],
            [
              0.08841,
              0.10635,
              0.12181,
              0.14898,
              0.19644,
              0.28828,
              0.47065
            ],
            [
              0.10439,
              0.12592,
              0.14417,
              0.17559,
              0.22854,
              0.32146,
              0.50414
            ],
            [
              0.12326,
              0.14971,
              0.17181,
              0.20915,
              0.2702,
              0.37101,
              0.5542
            ],
            [
              0.14481,
              0.17792,
              0.20518,
              0.25062,
              0.32299,
              0.43823,
              0.62912
            ],
            [
              0.16867,
              0.21047,
              0.24457,
              0.30077,
              0.38857,
              0.52387,
              0.73797
            ],
            [
              0.1943,
              0.2472,
              0.2901,
              0.3603,
              0.4686,
              0.6314,
              0.8792
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.10767,
              0.13728,
              0.1665,
              0.22458,
              0.33976,
              0.56913,
              1.02707
            ],
            [
              0.10929,
              0.13901,
              0.1683,
              0.22648,
              0.34177,
              0.57116,
              1.02934
            ],
            [
              0.11147,
              0.14132,
              0.17071,
              0.22898,
              0.34433,
              0.5739,
              1.03212
            ],
            [
              0.11507,
              0.14502,
              0.17449,
              0.23287,
              0.34835,
              0.57803,
              1.03628
            ],
            [
              0.12095,
              0.15092,
              0.18043,
              0.23894,
              0.3546,
              0.58437,
              1.04271
            ],
            [
              0.1303,
              0.16021,
              0.18973,
              0.24828,
              0.36405,
              0.59408,
              1.05262
            ],
            [
              0.14529,
              0.17488,
              0.20433,
              0.26282,
              0.37864,
              0.60873,
              1.06743
            ],
            [
              0.16937,
              0.19797,
              0.22707,
              0.28532,
              0.40096,
              0.631,
              1.08976
            ],
            [
              0.20206,
              0.23403,
              0.26259,
              0.31999,
              0.43509,
              0.6648,
              1.12325
            ],
            [
              0.23953,
              0.27865,
              0.31328,
              0.37387,
              0.48748,
              0.71629,
              1.17419
            ],
            [
              0.282,
              0.32973,
              0.37206,
              0.44612,
              0.56852,
              0.79552,
              1.25232
            ],
            [
              0.32987,
              0.38757,
              0.43897,
              0.52927,
              0.67827,
              0.91617,
              1.37017
            ],
            [
              0.3841,
              0.4529,
              0.5146,
              0.624,
              0.8056,
              1.0909,
              1.5502
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.03876,
              0.0542,
              0.06961,
              0.1005,
              0.16252,
              0.28609,
              0.53467
            ],
            [
              0.03874,
              0.0542,
              0.0696,
              0.1005,
              0.16234,
              0.28641,
              0.53418
            ],
            [
              0.03874,
              0.05419,
              0.06961,
              0.10049,
              0.16236,
              0.28619,
              0.53435
            ],
            [
              0.03878,
              0.0542,
              0.0696,
              0.10054,
              0.16241,
              0.28624,
              0.5342
            ],
            [
              0.03966,
              0.05437,
              0.06964,
              0.10051,
              0.16239,
              0.28633,
              0.53437
            ],
            [
              0.0426,
              0.05633,
              0.07073,
              0.10066,
              0.16239,
              0.28617,
              0.53417
            ],
            [
              0.04908,
              0.06129,
              0.07464,
              0.10298,
              0.16263,
              0.28614,
              0.53444
            ],
            [
              0.05816,
              0.07112,
              0.08357,
              0.10942,
              0.16595,
              0.28619,
              0.53391
            ],
            [
              0.07096,
              0.08472,
              0.09799,
              0.12362,
              0.17548,
              0.28991,
              0.53385
            ],
            [
              0.08884,
              0.10379,
              0.11801,
              0.14511,
              0.19609,
              0.30237,
              0.53608
            ],
            [
              0.11407,
              0.13033,
              0.14581,
              0.17499,
              0.22926,
              0.33025,
              0.55076
            ],
            [
              0.14967,
              0.16729,
              0.18433,
              0.2162,
              0.2748,
              0.3811,
              0.5855
            ],
            [
              0.1997,
              0.219,
              0.2378,
              0.2731,
              0.3374,
              0.4518,
              0.6591
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.11275,
              0.1542,
              0.1953,
              0.27692,
              0.4385,
              0.76223,
              1.40644
            ],
            [
              0.11277,
              0.15408,
              0.19527,
              0.27682,
              0.43865,
              0.7618,
              1.40663
            ],
            [
              0.11265,
              0.15416,
              0.19513,
              0.27682,
              0.43884,
              0.76106,
              1.40682
            ],
            [
              0.11244,
              0.15409,
              0.19507,
              0.27673,
              0.43897,
              0.76147,
              1.40665
            ],
            [
              0.11184,
              0.1539,
              0.19513,
              0.27657,
              0.43891,
              0.76148,
              1.40671
            ],
            [
              0.11098,
              0.15313,
              0.19478,
              0.27658,
              0.43895,
              0.76203,
              1.40618
            ],
            [
              0.11171,
              0.15222,
              0.19371,
              0.2764,
              0.43898,
              0.76212,
              1.40616
            ],
            [
              0.12004,
              0.15708,
              0.19542,
              0.27527,
              0.43873,
              0.76215,
              1.40545
            ],
            [
              0.13955,
              0.17314,
              0.20781,
              0.28105,
              0.43738,
              0.76217,
              1.4074
            ],
            [
              0.16697,
              0.20526,
              0.23717,
              0.30305,
              0.44678,
              0.76105,
              1.40758
            ],
            [
              0.20184,
              0.24617,
              0.28457,
              0.35032,
              0.47993,
              0.7703,
              1.4073
            ],
            [
              0.2459,
              0.2992,
              0.3448,
              0.4225,
              0.5504,
              0.8122,
              1.4099
            ],
            [
              0.2998,
              0.3646,
              0.4202,
              0.5137,
              0.6637,
              0.9116,
              1.4554
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0395,
              0.05131,
              0.06287,
              0.08581,
              0.13138,
              0.22231,
              0.40401
            ],
            [
              0.04227,
              0.05421,
              0.06586,
              0.08889,
              0.13452,
              0.22549,
              0.40723
            ],
            [
              0.04534,
              0.05746,
              0.06919,
              0.09231,
              0.13807,
              0.22909,
              0.41086
            ],
            [
              0.04968,
              0.06196,
              0.0738,
              0.09706,
              0.14289,
              0.234,
              0.4158
            ],
            [
              0.05602,
              0.06843,
              0.08036,
              0.10376,
              0.14973,
              0.24095,
              0.42282
            ],
            [
              0.06456,
              0.07794,
              0.09,
              0.11356,
              0.1597,
              0.25108,
              0.43306
            ],
            [
              0.07514,
              0.09047,
              0.10392,
              0.12805,
              0.17442,
              0.26598,
              0.44813
            ],
            [
              0.08831,
              0.10624,
              0.12168,
              0.14888,
              0.19635,
              0.28819,
              0.47056
            ],
            [
              0.10428,
              0.12583,
              0.14407,
              0.17548,
              0.22843,
              0.32136,
              0.50404
            ],
            [
              0.12316,
              0.14959,
              0.17169,
              0.20903,
              0.27008,
              0.3709,
              0.55411
            ],
            [
              0.14472,
              0.17782,
              0.2051,
              0.25049,
              0.32286,
              0.43811,
              0.62902
            ],
            [
              0.16867,
              0.21047,
              0.24457,
              0.30067,
              0.38847,
              0.52377,
              0.73777
            ],
            [
              0.1944,
              0.2473,
              0.2902,
              0.3603,
              0.4685,
              0.6313,
              0.8791
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.12432,
              0.15311,
              0.18133,
              0.23718,
              0.34742,
              0.56618,
              1.00197
            ],
            [
              0.12606,
              0.1549,
              0.18326,
              0.23917,
              0.34952,
              0.56829,
              1.00414
            ],
            [
              0.12845,
              0.15737,
              0.18574,
              0.24175,
              0.35216,
              0.57108,
              1.00692
            ],
            [
              0.13226,
              0.16126,
              0.18968,
              0.24577,
              0.35628,
              0.57522,
              1.01118
            ],
            [
              0.13831,
              0.16736,
              0.19582,
              0.25198,
              0.3626,
              0.58167,
              1.01771
            ],
            [
              0.14788,
              0.17687,
              0.20533,
              0.26155,
              0.37225,
              0.59157,
              1.02782
            ],
            [
              0.16288,
              0.19176,
              0.22019,
              0.27639,
              0.38715,
              0.60653,
              1.04283
            ],
            [
              0.18626,
              0.21485,
              0.24316,
              0.29919,
              0.40982,
              0.62913,
              1.06556
            ],
            [
              0.2224,
              0.25119,
              0.27861,
              0.33421,
              0.44441,
              0.66347,
              1.09975
            ],
            [
              0.26531,
              0.30058,
              0.33217,
              0.38822,
              0.49742,
              0.71569,
              1.15139
            ],
            [
              0.31439,
              0.35743,
              0.39602,
              0.46442,
              0.57922,
              0.79592,
              1.23062
            ],
            [
              0.36987,
              0.42207,
              0.46917,
              0.55267,
              0.69237,
              0.91797,
              1.35027
            ],
            [
              0.4325,
              0.4951,
              0.5519,
              0.6534,
              0.8241,
              1.095,
              1.5326
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.0466,
              0.06434,
              0.08123,
              0.11367,
              0.17633,
              0.29984,
              0.54716
            ],
            [
              0.0466,
              0.06434,
              0.08123,
              0.11367,
              0.17632,
              0.30008,
              0.54742
            ],
            [
              0.04661,
              0.06434,
              0.08123,
              0.11369,
              0.17633,
              0.30007,
              0.54739
            ],
            [
              0.04662,
              0.06435,
              0.08124,
              0.11369,
              0.17634,
              0.30007,
              0.54745
            ],
            [
              0.0475,
              0.06452,
              0.08127,
              0.11368,
              0.17633,
              0.30001,
              0.54716
            ],
            [
              0.05047,
              0.06648,
              0.08238,
              0.11381,
              0.17633,
              0.30009,
              0.54723
            ],
            [
              0.05797,
              0.07155,
              0.0863,
              0.11614,
              0.17658,
              0.30006,
              0.54715
            ],
            [
              0.07057,
              0.08301,
              0.09538,
              0.12264,
              0.17993,
              0.29989,
              0.54743
            ],
            [
              0.0866,
              0.09934,
              0.11205,
              0.1369,
              0.18941,
              0.30364,
              0.54715
            ],
            [
              0.10807,
              0.12134,
              0.13457,
              0.16046,
              0.21002,
              0.31624,
              0.5498
            ],
            [
              0.13757,
              0.15134,
              0.16529,
              0.19261,
              0.24464,
              0.34423,
              0.56357
            ],
            [
              0.1789,
              0.19283,
              0.20745,
              0.2367,
              0.2924,
              0.396,
              0.5989
            ],
            [
              0.2366,
              0.2505,
              0.266,
              0.2976,
              0.3576,
              0.4685,
              0.6723
            ]
          ]
        },
        "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.00174,
            0.00348,
            0.00697,
            0.01394,
            0.02788,
            0.05576
          ],
          "values": [
            [
              0.12402,
              0.16344,
              0.20271,
              0.28018,
              0.43512,
              0.74273,
              1.3577
            ],
            [
              0.12415,
              0.16359,
              0.20261,
              0.28024,
              0.43507,
              0.74328,
              1.35816
            ],
            [
              0.12403,
              0.16339,
              0.2027,
              0.28041,
              0.43497,
              0.74248,
              1.3582
            ],
            [
              0.12394,
              0.16342,
              0.20268,
              0.28045,
              0.43517,
              0.7433,
              1.35708
            ],
            [
              0.12388,
              0.16323,
              0.20258,
              0.2803,
              0.43519,
              0.7432,
              1.35707
            ],
            [
              0.12342,
              0.16312,
              0.20252,
              0.28047,
              0.435,
              0.74347,
              1.35755
            ],
            [
              0.12243,
              0.16199,
              0.20197,
              0.2802,
              0.43511,
              0.74323,
              1.35793
            ],
            [
              0.12764,
              0.16445,
              0.20208,
              0.27938,
              0.43503,
              0.74345,
              1.3581
            ],
            [
              0.14422,
              0.17766,
              0.21199,
              0.28349,
              0.43427,
              0.74285,
              1.35758
            ],
            [
              0.17308,
              0.20744,
              0.23838,
              0.30335,
              0.44219,
              0.74266,
              1.35857
            ],
            [
              0.20943,
              0.25055,
              0.28626,
              0.3482,
              0.47345,
              0.751,
              1.3571
            ],
            [
              0.256,
              0.3052,
              0.3479,
              0.4209,
              0.5426,
              0.7933,
              1.3629
            ],
            [
              0.3134,
              0.3737,
              0.4256,
              0.5139,
              0.6563,
              0.8923,
              1.41
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}